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

The Research of Solution of Levinson — Smith Equation

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

23

The origin is an asymptotically stable equilibrium point if this system. Show that it

attracts all trajectories of the system.

In the notations above,

( , ) =1,

f x y

2 2

( ) =

.

(1 )

x

g x

x

Thus,

2

2

( ) =

,

2(1 )

x

G x

x

*

=1/ 2 < .

G



Take a localizing function

2 def

=

( ).

2

y h

G x

The localizing set

2

 

is defined by the inequality

( , ) 1/ 2,

h x y

i. e.

2

2

2

1.

1

x y

x

 

The condition (6) holds and, by Corollary 4, any trajectory enters localizing set

and then never leaves it.

Inside

,

we have

( , ) <1/ 2.

h x y

All sets

2

( , )

: ( , )

,

x y

h x y c

< 1 / 2

c

are

bounded. They are also positively invariant since

2

( , ) = 0.

h x y y

 

By LaSalle theorem, the equilibrium point

(0,0)

attracts all trajectories in

.

A perturbed system.

Consider the perturbed Levinson — Smith equation

= ;

= ( , )

( ) ( ).

x y

y f x y y g x e t

 

(7)

We suppose that

f

and

g

are Lipschitz functions. We also assume that

f

is a

function lower bounded by a number

> 0

and

e

is a bounded continuous function.

Set

def

0

( ) = ( ) .

x

G x g t dt

We have

= .

G g

Suppose that

def

*

= sup{ ( )} < .

x

G G x



Since

the function

e

is bounded, its set of values

E

is contained in the segment

[ ; ]

c c

for some

> 0.

c

Take a localizing function

2 def

=

( ).

2

y h

G x

Its derivative with respect to the system

(7) is

= ( )

= ( )

( ( , )

( ) ( )) = ( ( ) ( , ) ).

h G x x yy g x y y f x y y g x e t

y e t f x y y

 

 

 

The universal section

h

s

is contained in the union of the axis

Ox

and the set

 

2

2

2

( , )

: ( , )

( , )

: ( , )

( , )

:

.

x y

f x y y E x y

f x y y c

x y

y c

  

  

   

Therefore, for each

( , )

,

h

x y s

we have

/ ,

y c

 

2

*

2

( , )

.

2

c

h x y

G

 

Hence,

2

def

*

sup

( , )

2

= sup{ ( , )}

,

2

x y s h

c

h

h x y

G

 

and, thus, the corresponding localizing set is contained in the subset

2

ˆ



defined

by the inequality

2

2

*

2

( )

.

2

2

y

c

G x

G

  

Consequently,

ˆ

is a localizing set.