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

The Research of Solution of Levinson — Smith Equation

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

21

Without loss of generality, we can assume that

*

= .

x



It follows from Lemma 2 and the condition (6) that, for

,

there exist numbers

0

0

t

and

> 0

such that

f

 

on

once

0

.

t t

Since

2

0

=

t

fy dt



0

( ) =

t

h dt



0

*

0

| = ( ) ,

t

h h t

h



the integral

2

0

t

fy dt



is convergent. On the other hand,

,

f

 

2

2

0

fy y

  

once

0

t t

and, thus, the integral

2

0

t

y dt



is convergent. Hence, the

integrals

2

0

t

y dt



and

2

0

0

(

( )) =

2

t

t

y

h G x dt

dt





are also convergent.

On

,

we have

*

*

( )

h h G G x

  

implying

*

*

( )

0.

h G x h G

   

Since the

integral

0

(

( ))

t

h G x dt



is convergent,

*

*

= .

h G

Therefore, by Proposition 1,

dist( ( ), )

0.

t

t



  

As said above, on

,

we have

*

( ),

h G G x

 

*

( )

( ) 0,

h G x G G x

   

*

( )

( ) 0,

h G x G G x

   

2

*

=

( )

( )

0,

2

y

h G x y G G x y

 

and, since the

integral

2

0

t

y dt



is convergent, so is the integral

*

0

( )

.

t

G G x y dt



Also, recall that

the function

( ) = ( )

y t x t

is of constant sign and the function

( )

x t

is strictly

monotonous. It follows from above that the integral

*

0

( ) =

t

G G x ydt



*

*

( )0

( )

x

x t

G G x dx

is convergent and, thus, so is the integral

*

*

0

( ) .

x

G G x dx

This completely proves Theorem 1.

Corollaries and examples. Corollary 4.

Suppose that the condition (6) holds and

the integrals

*

0

( )

G G x dx



and

0

*

( )

G G x dx



are divergent. Then any trajectory

either enters the set

and then never leaves it or tends to some equilibrium point

.

p



Corollary 5.

Suppose that the condition (6) holds, the function g has period

> 0,

T

0,

g

and

0

( ) = 0.

T

g t dt

Then any trajectory either enters the set

and then never

leaves it or tends to some equilibrium point

.

p



The function

( )

G x

is upper bounded since, for all

,

x