Научная статья на тему 'SECOND-ORDER STOCHASTIC DIFFERENTIAL EQUATIONS: STABILITY, DISSIPATIVITY, PERIODICITY. IV. - A SURVEY'

SECOND-ORDER STOCHASTIC DIFFERENTIAL EQUATIONS: STABILITY, DISSIPATIVITY, PERIODICITY. IV. - A SURVEY Текст научной статьи по специальности «Математика»

CC BY
17
4
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
RANDOM VARIABLE / STOCHASTIC PROCESS / WIENER PROCESS / STOCHASTIC INTEGRAL / STOCHASTIC DIFFERENTIAL / ITO FORMULA / STOCHASTIC DIFFERENTIAL EQUATION

Аннотация научной статьи по математике, автор научной работы — Shumafov Magomet M.

This paper is a continuation of the previous papers and presents the fourth part of the author’s work. The paper reviews results concerning qualitative properties of second-order stochastic differential equations and systems. In the first part we gave a short overview on stability of solutions of the second-order stochastic differential equations and systems by Lyapunov functions techniques and introduced some mathematical preliminaries from probability theory and stochastic processes. In the second part the construction of Ito’s and Stratonovich’s stochastic integrals is given. In the third part, analog of the chain rule for stochastic differentials (Ito’s formula) is presented. The stochastic differential equations in the sense of Ito and in the sense of Stratonovich are introduced. The existence and uniqueness theorem for solutions of stochastic differential equations is formulated. In the present fourth part of the work basic facts from the theory of stability of stochastic differential equations are briefly given. The basic definitions of stability in different senses of stochastic differential systems are presented, the basic general theorems on stability are formulated in terms of the existence of Lyapunov functions, which are stochastic analogs of the classical Lyapunov’s theorems on stability. The concept of stochastic dissipative systems is given. A theorem is formulated which gives conditions for existence of periodic and stationary solutions in terms of auxiliary functions for differential equations with a random periodic in time right-hand side, which is a periodic or stationary process.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «SECOND-ORDER STOCHASTIC DIFFERENTIAL EQUATIONS: STABILITY, DISSIPATIVITY, PERIODICITY. IV. - A SURVEY»

МАТЕМАТИКА MATHEMATICS

Обзорная статья

УДК 517.953

ББК 22.161.62

Ш 96

doi: 10.53598/2410-3225-2021-2-281-15-26

Second-order stochastic differential equations: stability, dissipativity, periodicity. IV. - A survey*

(Peer-reviewed)

Magomet M. Shumafov

Adyghe State University, Maikop, Russia, [email protected]

Abstract. This paper is a continuation of the previous papers and presents the fourth part of the author's work. The paper reviews results concerning qualitative properties of second-order stochastic differential equations and systems. In the first part we gave a short overview on stability of solutions of the second-order stochastic differential equations and systems by Lyapunov functions techniques and introduced some mathematical preliminaries from probability theory and stochastic processes. In the second part the construction of Ito's and Stratonovich 's stochastic integrals is given. In the third part, analog of the chain rule for stochastic differentials (Ito's formula) is presented. The stochastic differential equations in the sense of Ito and in the sense of Stratonovich are introduced. The existence and uniqueness theorem for solutions of stochastic differential equations is formulated. In the present fourth part of the work basic facts from the theory of stability of stochastic differential equations are briefly given. The basic definitions of stability in different senses of stochastic differential systems are presented, the basic general theorems on stability are formulated in terms of the existence of Lyapunov functions, which are stochastic analogs of the classical Lyapunov's theorems on stability. The concept of stochastic dissipative systems is given. A theorem is formulated which gives conditions for existence of periodic and stationary solutions in terms of auxiliary functions for differential equations with a random periodic in time right-hand side, which is a periodic or stationary process.

Keywords: random variable, stochastic process, Wiener process, stochastic integral, stochastic differential, Ito formula, stochastic differential equation

Review article

Стохастические дифференциальные уравнения второго порядка: Устойчивость, диссипативность и периодичность. IV. - Обзор**

(Рецензирована)

Магомет Мишаустович Шумафов

Адыгейский государственный университет, Майкоп, Россия, [email protected]

* Continuation. No.No. 4 (252) 2019, 4 (271) 2020, 1 (276) 2021.

This work represents the extended text of the plenary report of the Third International Scientific Conference "Autumn Mathematical Readings in Adygea" (AMRA - 3), October 15-20, 2019, Adyghe State University, Maikop, Republic of Adygea.

" Продолжение. №№ 4 (252) 2019, 4 (271) 2020, 1 (276) 2021.

Статья представляет собой расширенный текст пленарного доклада на Третьей международной научной конференции «Осенние математические чтения в Адыгее» (ОМЧА - 3), 15-20 октября 2019 г., АГУ, Майкоп, Республика Адыгея.

Аннотация. Настоящая статья является продолжением предыдущей статьи и представляет собой четвертую часть работы автора. В работе делается обзор результатов исследований качественных свойств решений стохастических дифференциальных уравнений и систем второго порядка. В первой части был дан краткий обзор результатов работ по стохастической устойчивости решений дифференциальных уравнений и систем второго порядка с использованием аппарата функций Ляпунова. Были приведены некоторые предварительные сведения из теории вероятностей и теории случайных процессов. Во второй части дана конструкция стохастических интегралов Ито и Стратоновича. В третьей части дано понятие стохастического дифференциала, приведена формула Ито дифференцирования сложной функции для стохастических дифференциалов, дано определение стохастического дифференциального уравнения в форме Ито и в форме Стратоновича, сформулирована теорема существования и единственности для решений стохастических дифференциальных уравнений. В настоящей, четвертой, части работы даются вкратце основные сведения из теории устойчивости стохастических дифференциальных уравнений Ито. Приводятся основные определения устойчивости в различных смыслах стохастических дифференциальных систем, формулируются основные общие теоремы об устойчивости в терминах существования функций Ляпунова, являющиеся стохастическими аналогами классических теорем Ляпунова об устойчивости. Дается понятие о стохастических диссипативных системах. Приводится теорема, дающая условия существования периодических и стационарных решений в терминах вспомогательных функций для дифференциальных уравнений со случайной периодической по времени правой частью, представляющей собой периодический или стационарный процесс.

Ключевые слова: случайная величина, стохастический процесс, винеровский процесс, стохастический интеграл, стохастический дифференциал, формула Ито, стохастическое дифференциальное уравнение

This paper is a continuation of the previous papers [1-3]. We continue the section "2. Some Mathematical Preliminaries", where some basic notions and facts from probability theory and stochastic analysis, including the stochastic differential equations are introduced. In [3] the notion of stochastic differential is introduced and presented the chain rule, Ito's formula, for stochastic differentials. The definition of stochastic differential equations in the Ito and in the Stratonovich forms is given and formulated the existence and uniqueness theorem for solutions of stochastic differential equations.

Here below we briefly present basic facts from the theory of stability of stochastic differential equations. The basic definitions of stability in different senses of stochastic differential systems are given, the basic general theorems on stability are formulated in terms of the existence of Lyapunov functions, which are stochastic analogs of the classical Lyapunov's theorems on stability. The concept of stochastic dissipative systems is given. A theorem is formulated which gives conditions for existence of periodic and stationary solutions in terms of auxiliary functions for differential equations with a random periodic in time right-hand side, which is a periodic or stationary process.

We keep the general numeration of sections, definitions, theorems and formulas in the work and continue this here.

2.18. Stability of Stochastic Differential Equations

Roughly speaking, the stability means insensitivity of the state of the system to small changes in the initial state or the parameters of the system. The basic facts and methods on the theory of stability of deterministic systems described by ordinary differential equations can be found, for instance, in the books [4-9]. As for the theory of stability of stochastic differential equations, for a detailed account and further references, we refer to the books by Kushner [10], Khasminsky [11], L. Arnold [12], Mao [13]. We will essentially follow the Khasmin-sky's monograph [11].

2.18.1. Assumptions. Basic Definitions

Consider a stochastic differential equation (in the sense of Ito)

m

dx(t) = b(t,x(t))dt + X< (t,x(t))d%r (t) (2.27)

r =1

with the respect to process x (t ) = x (t,c), where x (t), b (t, x), ar(t, x) are vector functions: xW: [t0,b(^): [t0,»)x[Rn^n, <Jr(•,•):[to,<»)x[Rn^n, £(t) (r = 1,..., m) are independent Wiener processes.

We assume that the assumptions of the existence-and-uniqueness theorem 2.1 (see [3]), taking into account the remark 5 to this theorem, are fulfilled. Also assume that b (t, x)

and < (t,x) are continuous with respect to t. Furthermore, let us assume that x0 = x0 (c) is with probability 1 a constant. Then for any given initial value x(V0) = x0 e the equation (2.27) has a unique (up to equivalence) global solution defined on [t0, <»), that is denoted by x(t; t0,x0) = x(t,c ; t0,x0): x(t0; t0,x0) = x0. The theorem 2.1 also implies that the solution

x (t; t0, x0;c) has continuous sample paths (for almost all c) and provides the finiteness of

ii .|2

the moment Ex (t,c ; t0, x0N

^0 ,

Assume furthermore that

b(t,0) = 0 and <(t,0) = 0 for all t > t0.

So, the equation (2.27) has the unique solution x(t) = 0 corresponding to the initial value x(t0) = 0. This solution is called the trivial solution.

Let Sh ={xe:||x\\ <hj , 0<h <^. Denote by C1,2(K+xSh,D£+) the family of all nonnegative functions V(t,x) defined on R+ x Sh such that they are continuously differen-tiable in coordinates x. of x = (x1,...,xn). Define the differential operator L associated with equation (2.27) by

L = - + Xb (t,x) —+1 Y(<(t,x)<(t,x)T) , (2.28)

dt X }dxt 2XA 'j dx,dx/

where <(t, x ) = <(t, x) ,...,< (t, x)) is n x m -matrix with column-vectors <(t, x) (t, x), T denotes transposition.

If V e C1'2 then we have (in symbolic form)

ttss \ dV L d V 1T T d d V LV (t, x) = — + 1 b — IV + -I gg —,— IV,

v ' dt \ dx) 2 ^ dx dx) where b = b(t,x) = (b (t,x),...,bn (t,x)), < = <(t,x) = (<ir (t,x)) (i = 1,...,n ; r = 1,...,m), d/dx = (d/ dx,..., dldxn), (*,*) denotes the inner product (scalar product).

If x(t) = x(t,c) is a solution of the equation (2.27) and x(t)e Sh, then the v (t ) = V (t, x (t)) has, in accordance with Ito's theorem (see [3], section 2.16.2), a stochastic differential (see (2.18))

f

m

dv(t) = dV(t,x(t)) = LV(t,x(t))dt + ^ -v ;,ar(t,x(t)) dÇr(t).

r=1

0V ( t, x (t ))

V 0x У

(This explains why the differential operator L is defined as above.) The latter differential relation can be rewritten in the integral form as

f

0V ( x ( 5 ))

V (t, x (t))-V (t0, x (t0 )) = J LV (s, x (s)) ds + XJ V: V " (s, x (s)) d^r (s).

to '= t„ ^ ^ J

Calculating the expectation of the left-and right-hand sides of the latter and using the properties of stochastic integrals and Fubini's theorem, we get

t

E[V(t,x(t))-V(to,x(to))] = JE(LV(s,x(s)))ds .

to

(Here we assume that the expectations of the left and the right there exist.) Now, a stable system should have the property that v (t) does not increase. In the deterministic case <j{t,x) = 0 it is required the inequality V = 8V/dt + (b(t,x),dV/dx^<0.

But in the stochastic case, it makes sense to require instead of V<0 the inequality E( dv (t ))< 0 (i.e. " dv (t )< 0 on the average"). Since

E( dv (t)) = E( LV (t, x (t))) (E( d£ (t)) = 0)

the requirement E( dv (t)) < 0 will be satisfied if

LV(t, x)< 0 for all t > t0, x e 0£n.

This is the stochastic analog of the requirement that V < 0 in the deterministic case and LV< 0 reduces to the V<0 if a(t,x) = 0.

Let us know formulate basic definitions of stochastic stability. The concept of stability of the trivial solution x (t, c) = 0 of stochastic differential equations as in deterministic case

can be given in various senses. We shall confine ourselves to those which are popular in the mathematical literature.

Definition 50 ([11, p. 162, 155, 157, 171]). 1. A trivial solution x (t, c) = 0 of equation (2.27) is said to be stable in probability or stochastically stable (in the strong sense) for t > 0 if for any t0 > 0 and s > 0

limP< c : supllx(t,c ;t0,x0)|| > s I = 0.

Otherwise, it is said to be stochastically unstable.

2. The trivial solution x ( t, co) = 0 of equation (2.27) is said to be stochastically asymptotically stable (in the strong sense) if it is stochastically stable and moreover

lim PC : lim x (t ; L, x„ ) = 0> = 1.

x0 ^0 (. t V 0 0/ )

3. The trivial solution x (t, c) = 0 of equation (2.28) is said to be stochastically asymptotically stable in the large if it is stochastically stable abd, moreover, for all t0 > 0,

x0

p{c:limx(t,c ;t0,x0) = 0| = 1.

4. The trivial solution x (t, c) = 0 of equation (2.27) is said to be exponentially stable in mean square, if for some positive constants A and a

El x (t,c ; t0, x0 )||2 <A|x0fexp {-a(t - t0 )| on [t0, ro) for all x0 e[n.

To formulate stochastic stability theorems, we need the following definitions (first introduced by A.M. Lyapunov [4]; see also [5-9]).

Definition 51. 1. A continuous scalar function V (x) defined on a spherical neighborhood of the zero point Sh= {xe : ||x|| < h| ( 0 < h < ro ) is said to be positive-definite (in the sense of Lyapunov) if V (0) = 0, V (x) > 0 for all x e SA, x ^ 0.

2. A continuous scalar function V (t, x) defined on [t0, ro)x SA is said to be positive-definite (in the sense of Lyapunov) if V(t,0) = 0 and there exists a positive-definite function W (x) such that V (t, x)> W(x) for all (t, x)e[t0, ro)x Sh, x ^ 0 .

3. A continuous scalar function V is said to be negative-definite if -V is positive-definite.

4. A continuous non-negative scalar function V (t, x) is said to be decrescent (or is said to have an arbitrary small upper bound or to have an infinitesimal upper limit as

x ^ 0 ) if limsup V (t, x) = 0. (This relation holds if there exists a positive-definite function

t >t0

U (x) such that 0 < V (t, x)< U (x) for all (t, x)e[t0, ro)x S )

5. A continuous scalar function V(t, x) is said to be radially unbounded if lim inf V (t, x) = ro .

||x||^ro t >t0

Notice that every positive-definite function V (x) that is independent of t is decrescent.

2.18.2. Basic general theorems

Suppose the assumptions at the beginning of the subsection 2.18.1 are fulfilled. Denote by Cl0'2 ([t0, ro)x S , [+) the family of all nonnegative functions V (t, x)

defined on a half-cylinder [i0, ro)x SA that is everywhere, with the possible exception of the set {x = 0|, continuously differentiable with respect to t and continuously twice differenti-able with respect to every component of x. It is clear that the family C1'2 c Cl0'2.

The following theorems are analogous to the well-known theorems of Lyapunov for deterministic systems.

Theorem 2.2 ([11, p. 152]). Suppose that there exists a positive-definite function V (t, x)e C12 ([t0, ro)x S , [+) such that

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

LV (t, x )< 0

for all t > t0 and 0 < IIxll < h, where L is the differential operator (2.28).

Then the trivial solution x (t, c) = 0 of the equation (2.27) is stochastically stable.

Theorem 2.3 ([11, p. 155]). Suppose that there exists a positive-definite function V(t,x)e Cg2 ([t0,ro)xSA , 0&+) that has an infinitesimal upper limit as x ^ 0 (i.e. V is

decrescent) and LV (t, x) is negative-definite:

LV (t, x )<-W ( x )< 0 ( W ( 0) = 0 )

for all (t, x)e[t0, Sh.

Then the trivial solution x (t, c) = 0 of equation (2.27) is stochastically asymptotically stable.

The following theorem is a generalization of the well-known theorem of Barbashin and Krasovsky [9, p. 248] to stochastic equations.

Theorem 2.4 ([11, p. 158]). Suppose that there exists a positive-definite function V(t,x)e Cq2 ([t0,that has an infinitesimal upper limit as x ^ 0 (i.e. V is

decrescent) and V (t, x) is radially unbounded function,

infV(t,xas ||x|| ^ro,

t>0

such that LV (t, x) is negative-definite.

Then the trivial solution x (t, c) = 0 of equation (2.27) is stochastically asymptotically stable in the large.

Remark. For an autonomous equation

m

dx (t) = b (x (t)) dt + ^ ar (x (t)) d£r (t),

r=1

b(0) = <rr (0) = 0, it is sufficient to consider a function V(t,x) = V(x) that is independent of t .

The following theorem gives sufficient conditions for exponential stability in mean square of stochastic systems in terms of Lyapunov functions. It may be viewed as a generalization of well-known theorem for deterministic systems (see [7, section 11]).

Theorem 2.5 ([11, p. 171]). The trivial solution x (t, c) = 0 of the system (2.27) is exponentially stable in mean square for t > t0 if there exists a function V (t, x)e C12 ([t0, ro)xr^+), such that

kx ||x||2 < V (t, x) < k2 ||x||2, LV (t, x )<-k3||x||2 for some positive constants k, k2, k3.

Remark. In [11, p. 171] the theorem 2.4 is formulated for the system (2.27) to be exponentially stability in p th mean (p eN; in theorem 2.5 p = 2). If the system (2.27) is linear one, i.e.

m

dx(t) = b(t)x(t)dt + Yuar (t)x(t)d£r (t), (2.29)

r=1

where b (t), ar (t) are n x n-matrices, the theorem 2.4 can be precised and specified.

Theorem 2.6 ([11, p. 185]). A necessary condition for exponential stability in mean square of the system (2.29) is that for every positive-definite quadratic form (in x ) whose coefficients are continuous bounded functions of time there exists a positive-definite quadratic form V(t, x) such that

LV = -W.

The same condition, with the phrase "for every ..." replaced by "for some ..." is also sufficient.

Remark. If matrices b (x) and ar(x) in (2.29) are constant: b(x) = b, ar (x) s ar, i.e. the system (2.29) is autonomous, then the forms V(t,x) and W(t,x) in statement of theorem 2.6 may be replaced by forms V ( x ) and W ( x ) with constant coefficients [11, p. 185].

2.19. Dissipativity and stability in the weak sense of stochastic differential systems

In this and the two next sections we consider a differential equation of the form [11, p. 10]

dx

— = F (x, t) + a(x, t)£(t,c), (2.30)

where x = x (t t e[t0, œ), F ( x, t ) = ( F ( x, t ),..., F ( x, t )) is a Borel-measurable

function defined for (x,i) e[R"x[i0,oo), cr(x,i) is a nxm-matrix, ¿¡(t,a>) is a separable measurable stochastic process with values in [Rm.

We dwell on the dissipativity, stability (in the week sense) and periodicity properties of solutions of the equation (2.30).

Definition 52 ([11, p. 13]). A stochastic process <^(t,c) ( t > 0 ) is said to be bounded in probability if the random variables t, c)| are bounded in probability uniformly in t, i.e.

sup P{|k( t,a>)\> RW 0 as R ^œ.

t >0

Let x (t,c, x0, t0 ) be a solution of(2.30) with initial condition x (t,c, x0, t0 ) = x0 (c).

Definition 53 ([11, p.13]). The system (2.30) will be called dissipative if the random variables ||x ( t,c, x0, t0 )|| are bounded in probability uniformly in t > t0 whenever x0 (c) satisfies the relation

P{||xo (c)||< R0} = 1.

Now let us formulate a general theorem that gives sufficient conditions in terms of Lyapunov functions under which the system (2.30) would be dissipative.

Theorem 2.7 ([11, p. 13]). Let V(x, t) be a non-negative function, defined on the domain D=№"x [0,oo), which satisfies the globalLipschitz condition with respect to x :

|V(x2,t)-V(x,t)| <B\\x2 -xj for all (x, t), (x2, t) g D with Lipschitz constant B.

Suppose V (x, t) satisfies the conditions:

a) v = cinf v (x, t)^ro as R ^ro, wher ={xe[R":||x|| >r};

d°V /

h) -< -Cj V ( q - const > 0 ), where ¿/ V/dt /.s Lyapunov's operator for deter-

dt

ministic part dx/ dt = F (x, t) of the system (2.30).

Let F and a satisfy the local Lipschitz conditions

||F(x2)-F(xi)||<br\x2 -xi||,

||a(x2)-a(xi)||< br ||x2 -xi||, in the domain U , = {xe[n:||x^ <r| with a Lipschitz constant BR which generally depends on R.

Assume that a also satisfy the condition

sup ||a(x, t)< c2.

Rn x{t>t0 }

Then the system (2.30) is dissipative for every stochastic process %(t, c) such that

sup E||£( t,c)||<ro.

t >0

Remark. Another dissipativity theorems can be find in [11; see section 1.4]. 2.20. Stability in the weak sense

In the section 2.18 we have considered stability in the strong sense for stochastic Ito's differential equations. Here in this section we consider stability in the weak sense for stochastic differential equation of the form (2.30).

Consider the equation (2.30) with F(0,t) = a(0,t) = 0 for all t in [0,ro).

Definition 53 ([11, p. 22]). A solution x (t, c) = 0 of the system (2.30) is said to be:

1. (Weakly) stable in probability (for t > t0) if for every s> 0 and §> 0 there exists and r > 0 such that t > t0 and ||x0|| < r, then

P{ll x (t

,c; t0r> x0

2. (Weakly) asymptotically stable in probability if it is stable (weakly) in probability and, for each s> 0 there exists an r = r such that for t ^ro

P{||x (t,c; t0, x0 0 if Ix, | < r.

3. Stable (weakly) in probability in the large if it is stable (weakly) in probability and if furthermore for every x0, s> 0 and 5> 0 there exists a T = T (x0 ,£,$) such that

P{||x(t,c, t0,x0^>e}< J

for all t > T.

A similar definition is given for asymptotic stability in probability in the large.

Remark. There are also another types of stability of the trivial solution of (2.30) (see [11, p. 22]).

Now we formulate a theorem that gives effective sufficient conditions for stability in terms of the existence of a Lyapunov function for the shortened system dx/dt = F(x,t).

Theorem 2.8 ([11, p.24]). Suppose that for the system (2.30) there exists a positive-definite Lyapunov function V (x, t), i.e.

inf V (x, t ) = V > 0 for r > 0,

t>0, ||x||>r V ' ' r J

satisfying the global Lipschitz condition

|V(x2,t)-V(x1,t)|< B\\x2 -x\\ for all (jc,, t), (jc2 , t) e [R" x oo), and conditions

V ( 0, t ) = 0,

^<-ClV, ||o-(*,i)||<C2V(*,i)

( c, c2 > 0 are constant).

Suppose moreover that the process ||<^(t, c)|| satisfies the law of large numbers: for each s> 0, S > 0 there exists a T > 0 such that for all t > T

P<

* ds -1 s> ds

>0}<S ,

and the condition

sup EK t ^)||< fc

t>0 BC

2

Then the trivial solution x(t, co) = 0 of the systems (2.30) is asymptotically stable in probability in the large.

Remark. In [11, p. 25] a theorem of stability in p th mean of trivial solution of (2.30) is also proved.

2.21. Stationary and periodic solutions of stochastic differential equations

An important part of the qualitative theory of stochastic differential equations is the study of existence conditions and properties of periodic and stationary solutions of differential equations whose right-hand side is a periodic or stationary process in for fixed values of the space variable x. In this section we present a general theorem that allows to give effective sufficient conditions for the existence of stationary and periodic solutions in terms of Lyapunov's type functions.

First we remind the definition of stationary process.

A stochastic process t) = ^(t,c) (-<»<t<ro) with values in is said to be stationary (in the restricted sense) if for every finite sequence of numbers tj,..., tB the joint distribution of the random variables + h)+ h) is independent of h .

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

If we replace the arbitrary number h in the definition of stationary process by a multiple of a fixed number 0, h = k0 (k = ±1, ±2, ...), we get the definition of periodic stochastic process with period 0.

A stochastic process £(t) is said to be stationary in the wide sense if

E%(t) = m = const, K (s, t) = K (t - s), where E is an expectation, K is a covariance function

K(s,t) = cov(4(s),4(t)) .

If t) is a stationary stochastic process with finite expectation and finite variance, then ) shall also be stationary process in the wide sense. Notice that, for Gaussian processes these both notions coincide. If t) is a 6-periodic stochastic process, then the functions E£( t ) = m (t), var^(t ) = D (t) and K (s, t) are periodic with the same period 6:

m (t + 6) = m (t), D (t + 6) = D (t), K(s + 6, t + 6) = K(s, t) .

A process that satisfies the latter relations is said to be periodic process in the wide sense.

The following theorem holds.

Theorem 2.9 ([11, p.51]). Suppose that the vector F(x,t) and the matrix a(x,t) are 6 -periodic in t and that they satisfy a local Lipschitz condition; let further F (0, t) be absolutely integrable over every finite interval, and

sup||a(x,t)|| <ro.

x,t

Assume moreover that for the shortened system

— = F (x, t), dt y '

there exists a Lyapunov function V (x, t) satisfying the global Lipschitz condition

|V(x2,t)-V(x,t)| <B-||x2 -x|| (B = const)

for all (x1, t), (x2, t) e [R" x [0, x), and the following conditions:

1. V (x, t) is nonnegative, and

infV (x, t) —^ ro as 11x11 —^ ro. t>0 v ' 11 11

2. d°V/dt is bounded above, and

d°V || I,

sup--> -ro as ||x|| — ro.

t>0 dt

Then the system (2.30) has a 6-periodic solution for each 6 -periodic stochastically continuous process ,c) with finite expectation.

If F and a are independent of t and t,c) is a stationary process, then the

same conditions imply the existence of a stationary solution.

A theorem that gives conditions for convergence to a periodic solution of the system (2.30) is presented and proved in [11, p. 55].

To be continued.

References:

1. Shumafov M.M. Second-order stochastic differential equations: stability, dissipativity, periodicity. I: A survey // The Bulletin of the Adyghe State University. Ser.: Natural-Mathematical and Technical Sciences. 2019. Iss. 4 (251). P. 11-27. URL: http://vestnik.adygnet.ru

2. Shumafov M.M. Second-Order Stochastic Differential Equations: Stability, Dissipativity, Periodicity. II: A Survey // The Bulletin of the Adyghe State University. Ser.: Natural-Mathematical and Technical Sciences. 2020. Iss. 4 (271). P. 11-25. URL: http://vestnik.adygnet.ru

3. Shumafov M.M. Second-Order Stochastic Differential Equations: Stability, Dissipativity, Periodicity. III: A Survey// The Bulletin of the Adyghe State University. Ser.: Natural-Mathematical and Technical Sciences. 2021. Iss. 4 (276). P. 11-21. URL: http://vestnik.adygnet.ru

4. Lyapunov A.M. The General Problem of the Stability of Motion: Diss. for the Dr. of Mathem. Sciences. Kharkov, 1892. 251 p. [English translations] 1. Stability of Motion. New York; London: Academic Press, 1966. 203 p. 2. The General Problem of the Stability of Motion. London: Taylor & Francis, 1992. 270 p.

5. Chetaev N.G. Stability of Motion. 3rd edn. Moscow: Nauka, 1965. 207 p. [English translation of 2nd ed.: Oxford: Pergamon Press, 1961.]

6. Malkin I.G. Theory of Stability of Motion. 2nd ed. Moscow: Nauka, 1966. 530 p. [English transation: Atomic Energy Commission Transl. 1958.]

7. Krasovsky N.N. Certain Problems in the Theory of Stability of Motion. Moscow: Fizmat-giz, 1959. 211 p. [English translation: Stanford: Stanford University Press, 1963.]

8. LaSalle J.P., Lefschetz, S. Stability by Lyapunov's Direct Methods with Applications. New York: Academic Press, 1961. 168 p.

9. Demidovich B.P. Lectures on mathematical theory of stability. Moscow: Nauka, 1967.

472 p.

10. Kushner H.J. Stochastic Stability and Control. New York: Academic Press, 1967. 198 p.

11. Khasminsky R.Z. Stochastic Stability of Differential Equations. 2nd ed. Heidelberg; Dordrecht; London; New York: Springer, 2012. 339 p.

12. Arnold L. Stochastic Differential Equations: Theory and Applications. New York: John Wiley and Sons, 1974. 228 p.

13. Mao X. Stochastic Differential Equations and Applications. 2nd ed. Chichester: Horwood Publishing Limited, 2007. 422 p.

Список литературы:

1. Shumafov M.M. Second-order stochastic differential equations: stability, dissipativity, periodicity. I: A survey // The Bulletin of the Adyghe State University. Ser.: Natural-Mathematical and Technical Sciences. 2019. Iss. 4 (251). P. 11-27. URL: http://vestnik.adygnet.ru

2. Shumafov M.M. Second-Order Stochastic Differential Equations: Stability, Dissipativity, Periodicity. II: A Survey// The Bulletin of the Adyghe State University. Ser.: Natural-Mathematical and Technical Sciences. 2020. Iss. 4 (271). P. 11-25. URL: http://vestnik.adygnet.ru

3. Shumafov M.M. Second-Order Stochastic Differential Equations: Stability, Dissipativity, Periodicity. III: A Survey// The Bulletin of the Adyghe State University. Ser.: Natural-Mathematical and Technical Sciences. 2021. Iss. 1 (276). P. 11-21. URL: http://vestnik.adygnet.ru

4. Ляпунов А.М. Общая задача об устойчивости движения: дис. ... д-ра мат. наук. Харьков, 1892.251 с.

5. Четаев Н.Г. Устойчивость движения. 3-е изд. Москва: Наука, 1965. 207 с.

6. Малкин И.Г. Теория устойчивости движения. 2-е изд. Москва: Наука, 1966. 530 с.

7. Красовский Н.Н. Некоторые задачи теории устойчивости движения. Москва: Физма-тгиз, 1959. 211 c.

8. LaSalle J.P., Lefschetz, S. Stability by Lyapunov's Direct Methods with Applications. New York: Academic Press, 1961. 168 p.

9. Демидович Б.П. Лекции по математической теории устойчивости. Москва: Наука, 1967. 472 с.

10. Кушнер Г.Дж. Стохастическая устойчивость и управление. Москва: Мир, 1967.

200 с.

11. Хасьминский Р.З. Устойчивость систем дифференциальных уравнений при случайных возмущениях. Москва: Наука, 1969. 368 с.

12. Arnold L. Stochastic Differential Equations: Theory and Applications. New York: John Wiley and Sons, 1974. 228 p.

13. Mao X. Stochastic Differential Equations and Applications. 2nd ed. Chichester: Horwood Publishing Limited, 2007. 422 p.

The article was submitted 20.04.2021; approved after reviewing 21.05.2021; accepted for publication 22.05.2021.

Статья поступила в редакцию 20.04.2021; одобрена после рецензирования 21.05.2021; принята к публикации 22.05.2021.

© М.М. Шумафов, 2021

i Надоели баннеры? Вы всегда можете отключить рекламу.