Previous Page  4 / 11 Next Page
Information
Show Menu
Previous Page 4 / 11 Next Page
Page Background

O.G. Styrt, A.P. Krishchenko

18

ISSN 1812-3368. Вестник МГТУ им. Н.Э. Баумана. Сер. Естественные науки. 2017. № 1

The inequality

 

2

inf { ( )}

( )

2

x

y

G x

G x

is always true, and, thus, the localizing set is

  

2

def

2

*

= ( , )

:

( )

.

2

y

x y

G x G

We have

*

( )

;

G x G

so,

   

2

= ( , )

:

( ) ,

x y

y x

def

*

( ) = 2(

( )).

x

G G x

The

graphs

of the functions



= ( )

y

x

are located in the upper and the lower

semiplains respectively symmetrically to each other across the axis

,

Ox

and the

bound of the localizing set equals

 

   

=

.

Also,

 

  

 

def

2

=

= ( , 0)

:

,

x

x K

where the set

def

*

=

: ( ) =

K x G x G

consists of all global maximum points of the

function

( ).

G x

The set

def

2

= \

U

is defined by the inequality

| |> ( )

y x

and has two connected

components

U

and

U

given by the inequalities

> ( )

y x

and



< ( )

y

x

respectively. The set

2

U

is defined by the inequality

 

( ),

y x

and, thus,

 

{ } = .

U Ox

The set

*

\ =

: ( ) < ,

K x G x G

being open, is the union of some countable

family

of pairwise disjoint intervals. The connected components of the set

 

\

are exactly all the subsets of the form

 

    

def

2

= {( , )

:

} = ( , )

:

,

( ) ,

.

I

x y

x I

x y

x I y x I

Statement 1.

The function

h

is decreasing on each trajectory of the system (5).

The proof follows from non-positivity of the function

.

h

Corollary 1.

The set

is positively invariant. In other words, any trajectory, once

entering

,

never leaves it.

The set

is given by the inequality

*

.

h G

It remains to apply Statement 1.

Corollary 2.

The bound



of the set

is semipermeable: trajectories can

intersect it only entering the localizing set

.

The set of all equilibrium points is the set

 

def

2

0

0

= ( , 0)

:

,

x

x K

def

0

= {

: ( ) = 0}

.

K x g x

If

,

x K

then

x

is a global maximum point of the function

,

G

implying

( ) = ( ) = 0

g x G x

and

0

.

x K

Thus,

0

.

K K

It follows that

  

0

.

According to