Научная статья на тему 'On the stability and boundedness of solutions to certain second order di erential equation'

On the stability and boundedness of solutions to certain second order di erential equation Текст научной статьи по специальности «Математика»

CC BY
5
0
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
Second order / Stability / Boundedness / Lyapunov function

Аннотация научной статьи по математике, автор научной работы — Adetunji A. Adeyanju, Daniel O. Adams

In this paper, we investigate by means of second method of Lyapunov, sufficient conditions that guarantee uniform-asymptotic stability of the trivial solution and ultimate boundedness of all solutions to a certain second order differential equation. We construct a complete Lyapunov function in order to discuss the qualitative properties mentioned earlier. The boundedness result in this paper is new and also complement some boundedness results in literature obtained by using an incomplete Lyapunov function together with a signum function. Finally, we demonstrate the correctness of our results with two numerical examples and graphical representation of the trajectories of solutions to the examples using Maple software.

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

Текст научной работы на тему «On the stability and boundedness of solutions to certain second order di erential equation»

DIFFERENTIAL EQUATIONS AND

CONTROL PROCESSES N. 3, 2023 Electronic Journal, reg. N &C77-39410 at 15.04.2010 ISSN 1817-2172

http://diffjournMl.spbu.ru/ e-mail: jodiff@mail.ru

Ordinary differential equations

On the stability and boundedness of solutions to certain second

order differential equation

Adetunji A. Adeyanju1, Daniel O. Adams2

1,2Department of Mathematics, Federal University of Agriculture, Abeokuta, Nigeria. e-mail: 1adeyanjuaa@funaab.edu.ng/tjyanju2000@yahoo.com e-mail: 2adamsdo@funaab.edu.ng/danielogic2008@yahoo.com

Abstract. In this paper, we investigate by means of second method of Lya-punov, sufficient conditions that guarantee uniform-asymptotic stability of the trivial solution and ultimate boundedness of all solutions to a certain second order differential equation. We construct a complete Lyapunov function in order to discuss the qualitative properties mentioned earlier. The boundedness result in this paper is new and also complement some boundedness results in literature obtained by using an incomplete Lyapunov function together with a signum function. Finally, we demonstrate the correctness of our results with two numerical examples and graphical representation of the trajectories of solutions to the examples using Maple software.

Keywords: Second order, Stability, Boundedness, Lyapunov function. 1 Introduction

Our concern in this paper is to investigate sufficient conditions for the stability and boundedness of solutions to the second order differential equation of the

form:

X = H (Y),

Y = -F(X, Y)Y - G(X) + P(t, X, Y), (1)

where X, Y : R+ ^ Rn, G, H : Rn ^ Rn, P : R+ x Rn x Rn ^ Rn, F is an n x n continuous symmetric positive definite matrix function depending on the arguments displayed explicitly, R = (-to, to) represents the real line, R+ = [0, to), Rn represent the real n-dimensional Euclidean space equipped with the usual norm || • || and the dots which appear in (1) indicate differentiation with respect to the independent variable t. The conditions for the existence and uniqueness of solutions of (1) with any predetermined initial conditions will be assumed (see, Rao [16]). We shall denote the scalar product (X, Y) of any vectors X, Y in Rn with respective components (xi, x2,..., xn) and (y\,y2,..., yn) by ^^=1 xiVi. Particularly, (X, X) = ||X||2.

A. M. Lyapunov (1892) in his Ph.D. Thesis titled " The general problems of the stability of motion", studied sufficient conditions for the stability of solutions of non-linear system of differential equations by two distinct methods: the first(or indirect) and second(or direct) methods of Lyapunov (Lyapunov [12]). Since these two methods were introduced, the second method has gained wider acceptance and has been employed in all the listed papers in our reference to study qualitative behaviour of solutions of differential equations(see, [1]-[23]). This method (i.e. the second method) enables us to determine the qualitative properties of solutions of differential equations without necessarily finding the solutions themselves.

However, to use the second method of Lyapunov, one needs to construct a positive definite function, whose derivative with respect to variable t along the solution path of the equation being considered is negative semi-definite. This positive definite function is called Lyapunov function. Unfortunately, the method is not without any difficulty or challenge. One major challenge of the method has to do with, how to construct a suitable Lyapunov function especially for non-linear differential equations.

In [19], Tejumola gave necessary conditions for the boundedness of solutions

to the following scalar differential equations:

x = h(y),

y = -f (x,y)y - g(x)+ p(t,x,y). (2)

We note that system (2) is the scalar form of system (1). Later Omeike et. al. [14] with the aid of an incomplete Lyapunov function supplemented with signum function, extended the boundedness results obtained by Tejumola[19] to the corresponding n-dimensional system of equations given in (1).

Very recent, Adeyanju([2],[3]) examined some conditions for the stability of the zero solution, boundedness and uniform-ultimate boundedness of solutions of the second order non-linear differential equation:

XX + F(X, X)X + G(X) = P(t, X, X), (3)

where X : R+ ^ Rn, G : Rn ^ Rn, P : R+ x Rn x Rn ^ Rn and F is an n x n continuous symmetric positive definite matrix function that depends on the arguments displayed explicitly. The boundedness property of solutions to (3) has also been studied by Omeike et. al.[15].

Motivated by the works of Tejumola [19] and Omeike et.al. [14], we will with the aid of a complete Lyapunov function, examine conditions that ensure the boundedness of solutions of (1) with less restricted assumptions. Furthermore, we will also prove a theorem on the stability of the trivial solution to the system (1) which was not discussed in [14] or elsewhere to the best of our knowledge in literature.

2 Preliminary Results

The following established algebraic results are required to prove our main results.

lemma 1 ([10],[20]). Let A be a real n x n symmetric positive definite matrix. Then for X e Rn

Sa\\X||2 <{AX,X)< AJX||2,

where 5a and Aa are, respectively, the least and greatest eigenvalues of the matrix A.

lemma 2 ([9],[20]). Let G(0) = 0 = H(0) and assume that the matrices A, Jg(X) and Jh(Y) are symmetric and positive definite such that A commutes pairwise with each of Jg(X) and Jh(Y) for all X,Y e Rn. Then,

(G(X),AX) = i XTAJg(aX)Xda, Jo

r 1

T

{H (Y),AY) = Y1 AJh(aY)Yda,

o

where Jg(X) and Jh(Y) are respectively the Jacobian matrices and of G(X) and H (Y) (j = 1,2,...,n). j j

lemma 3 [9]. Let G(0) = 0 and assume that Jg(X) is symmetric for all

arbitrary X e Rn. Then

d f1

— {G(aX ),X )da = {G(X ),X). dt J o

Lemma 4 [11]. Suppose f (0) = 0. Let V be a continuous functional defined on CH = C with V(0) = 0 and let u(s) be a function, non-negative and continuous for 0 < s < oo, u(s) —y to as s ^ to with u(0) = 0. If for all ip e C, u(|0(0)|) < V(p), V(p) > 0,V(tf) < 0, then the zero solution of x = f (xt)(t > 0), is stable.

If we define Z = {p e CH : V^(p) = 0}, then the zero solution of x = f (xt)(t > 0), is asymptotically stable, provided that the largest invariant set in Z is Q = {0}.

3 Main Results

First, we introduce some basic assumptions to be used in proving our results. Basic Assumptions:

Suppose that A/, Ag, Ah, Sf, 5g, 5h are some positive constants and let all the basic assumptions imposed on functions F(X,Y), G(X), and H(Y) hold such

that G(0) = 0 and H(0) = 0. In addition, let the following assumptions hold for all X,Y e Rn:

(i) the matrices Jg(X), Jh(Y) and F(X, Y) are symmetric and positive definite such that their eigenvalues satisfy:

Sg < Xt(jg (X)) < Ag ,

Sh < X(Jh(Y)) < Ah, Sf < Xi(F(X, Y)) < Af,

(i = 1, 2,...,n),

(ii) there exists a function a(t) e C 1[0, to) such that 0 < a0 < a(t) < a1, -ft < a'(t) < 0, where

ft > max |a1Ah, aS^^A^I . Now to the main results of the paper.

Theorem 1 Suppose all the assumptions listed under the basic assumptions hold. Then the trivial solution of (1) is uniformly stable and uniformly-asymptotically stable when P(t,X,Y) = 0.

Proof

To prove this theorem, we depend on the continuously-differentiable scalar function V = V(t, X, Y) define as

V = a(t)(X,X) + fti {G(aX),X)da + fti {H(aY),Y)da, (4)

J0 J0

where a(t) and ft are as defined under the basic assumptions.

Obviously, the Lyapunov function defined in (4) becomes zero when X = 0 and Y = 0. On applying Lemma 1, Lemma 2 and assumptions listed in (i) of

basic assumptions to (4), we have for some positive constants D0 and Dj

V =a(t){X, X) + pi {G(aX),X)da + pi {H(aY),Y)da

J0 J 0

=a(t){X, X) + pi f {JG(a1a2X )X1X)aldalda2 J J 0 0

+P i f {Jh(aaY)Y,Y)axdaxda2 00

>a0 || X ||2 +1 pSg || X ||2 +2PSh || Y ||2 >D0(||X ||2 + ||Y ||2),

where, D0 = 2 min{2a0 + pSg,pSh}. Similarly, we have

V =a(t){X, X) + pi i {JG(ala1X )X)X)aldalda1 J J 0 0

+p i f {Jh(a^Y)Y,Y)axdaxda2 00

<a1 || X ||2 +1 pAg || X ||2 +2pAh || Y ||2 <D1(||X ||2 + ||Y ||2), where, D1 = 2 min{2a1 + pAg,pAh}.

Hence,

D0(||X||2 + ||Y||2) < V < D1(|X||2 + ||Y||2). (5)

Thus, the function V defined by (4) satisfies

V(X,Y) — o as ||X||2 + ||Y||2 — o. (6)

Inequalities (5) and (6) show that the scalar function V is non-negative for all X,Y e Rn and V = 0 if and only if X = 0 and Y = 0.

Next, we show that the derivative V of the function V in (4) exists, and that there are finite constants D2, D3 such that

V < -D2 < 0 if ||X||2 + ||Y||2 > D|. (7)

Using Lemma 3, we obtain the time derivative of the scalar function defined in (4) along the system (1) as

V = a'(t) (X, X ) + 2a(t) {X, H (Y )) + ft (H (Y ), —F (X, Y )Y ). (8)

By Schwartz's inequality and (i) of Theorem 1, we have

2|(X, H (Y ))| < Ah{|| X ||2 + || Y y2}.

Again, we apply Lemma 1, Lemma 2 and the above inequality in (8) to obtain

V < —(ft — aiAh) || X ||2 — (ftôh ôf — aiAh) || Y ||2 . (9)

From the definition of ft, it is possible to get a positive constant D4, such that

V < -D4{|| X ||2 + || Y ||2} < 0, whenever || X ||2 + || Y ||2> D2, (10)

where D4 = min{ft — a1Ah, ftôhôf — a1Ah}.

The two inequalities (5) and (10) guarantee uniform stability of the trivial solution of (1).

To prove the asymptotic stability of the trivial solution, we consider a set defines by

S = {(X, Y) : V(X,Y) = 0}.

Applying the famous LaSalle's invariance principle to this set, we note that (X, Y) G S implies that X = Y = 0. This shows that the largest invariant set contained in S is (0, 0). Hence, we conclude by Lemma 4 that the trivial solution of (1) is uniformly-asymptotically stable when P(t,X,Y) = 0. This completes the proof of the theorem.

Theorem 2 Further to the assumptions of Theorem 1, let P(t,X,Y) in (1) satisfies

(iii)

II P(t,X,Y) ||< y || Y ||, s s

uniformly in t > 0 and 0 < y < . Then there exists a finite constant K whose magnitude depends only on the constants Af, Ag, Ah, Sf, Sg, Sh such that every solution (X(t), Y(t)) of (1) ultimately satisfies

||X(t)||< K, ||Y(t)|| < K. (11)

proof

The prove of this theorem still rests on the Lyapunov function defined in (4). In the proof of Theorem 1, we have demonstrated that the Lyaounov function satisfies (5) which is also correct when P(t,X,Y) = 0. However, the derivative of V when P(t,X,Y) = 0 is

V = a'(t){X, X )+a(t){X,H (Y ))+p {H (Y), -F (X,Y )Y )+p {H (Y ),P (t,X,Y)). From the proof of Theorem 1 and (iii) of Theorem 2, we have

V < - (p - axAh) || X ||2 -{pShSf - axAh) || Y ||2 +pAhl || Y ||2 < - (p - axAh) || X ||2 -(p(ShSf - AhY) - axAh) || Y ||2 <- Db{| X ||2 + || Y ||2}, (12)

where D5 = min{p-a1Ah,p(ShSf - AhY) -a1Ah}. Then, there exists a positive constant D6 such that

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

V < -1 provided || X ||2 + || Y ||2> D6. (13)

By following the Yoshizawa-type technique used in [[13], [23] ], it can be shown from inequalities (5) and (12) that we can always find a positive constant D7 such that every solution (X(t), Y(t)) of (1) satisfies

|| X ||2 + || Y ||2< D7. (14)

On setting K = y/D7 in (14), we obtain (11) with little simplification. This completes the proof of the theorem.

4 Examples

The following examples are given as special cases of (1) when n = 2. Example 1

Our first example is when P(t,X,Y) = 0. Suppose in (1) we have

X =

x 1 X 2

= H (Y) =

3y1 + cos y1 - 1 3y2 + cos y2 - 1

, Y = y1 , G(X) =

y2

5x1 + sin x1 5x2 + sin x2

F(X, Y) =

2 + 2-2 , -I

sin yi + 1

2 + 2-2 ,1

x2 sin y2+1 _

and a(t) = 1 + exp

—8.5t

1

1

We obtain the following Jacobian matrices Jh(Y) and Jg(X) of H(Y) and G(X) respectively as,

Jh(Y) =

3 — sin yl 0 0 3 — sin y2

Jg (X) =

5 + cos xi 0 0 5 + cos x2

It is evident from the above that matrices F(X,Y), Jh(Y) and Jg(X) are symmetric and positive definite with the following as eigenvalues.

Ai(F(X,Y)) = 3 + 2 . 21 , A2(F(X,Y)) = 1+ 2 . 21 ,

x\ sin2 yi + 1 x2 sin2 y2 + 1

Ai(Jh(Y)) = 3 — sin yi, \2(Jh(Y)) = 3 — sin y2, Al(Jg (X)) = 5 + cos xi, A2(Jg (X)) = 5 + cos x2. Thus, with some elementary calculations, we obtain for i = 1, 2,

Sf = 1 < Ai(F(X,Y)) < 4 = Af Sh = 2 < Ai(Jh(Y)) < 4 = Ah, Sg = 4 < Ai(Jg (X)) < 6 = Ag.

Also, 0 < a0 = 1 < a(t) = 1 + exp-85t < ai = 2 and —8.5 < a'(t) = —8.5exp—8 5t < 0. Thus,

/3 = 8.5 > max< aiAh,

aiAh ShSf

= max {8,4} = 8.

Hence, all the assumptions of Theorem 1 hold and, the trivial solution of this example is uniform-asymptotically stable.

The next example is when P(t,X,Y) = 0.

Example 2

Suppose in addition to Example 1, we have

P (t,X,Y ) =

1

4 + sin t

Hence,

P(t, X, Y) || = |

1

<

4 + sin t 1

W5

Y

|yi|—i

M—i

i+x2

|y i |—i i

i+x2

I

Therefore,

1 thóf 1 0 <Y = ^ < -if = ^

' V5 Ah 2

Again, all the assumptions of Theorem 2 hold. Hence, solutions of equation in Example 2 are uniform-ultimately bounded.

Graphically, with the aid of Maple software, we illustrate the stability and boundedness of solutions to the Example 2 as shown below.

5 Conclusion

By constructing a new and complete Lyapunov function, we have been able to prove some results on the uniform-asymptotic stability of the trivial solution and uniform-ultimate boundedness of all solutions to certain systems of second order differential equations studied in this paper. With these new results, we have improved on some of the existing results in the literature.

Statements and Declarations

There is no competing interests as regard this paper.

ORCID

Adeyanju, Adetunji Adedotun: https://orcid.org/0000-0002-9013-6002. Adams, Daniel Oluwasegun: https://orcid.org/0000-0002-4137-1858.

References

[1] T. A. Ademola, M. O. Ogundiran, P. O. Arawomo and O. A. Adesina, Boundedness results for a certain third order nonlinear differential equations, Appl. Math. Comput. 216 (2010), 3044-3049.

[2] A. A. Adeyanju, On uniform-ultimate boundedness and periodicity results of solutions to certain second order non-linear vector differential equations, Proyecciones Journal of Mathematics, 42(3)(2023), 757-773. doi. 10.22199/issn.0717-6279-5421

[3] A. A. Adeyanju, Stability and Boundedness Criteria of Solutions of a Certain System of Second Order Differential Equations, ANNALI DELL'UNIVERSITA' DI FERRARA. 68(1)(2022),1-13.

[4] A. A. Adeyanju and D. O. Adams, Some new results on the stability and boundedness of solutions of certain class of second order vector differential equations, International Journal of Mathematical Analysis and Optimization: Theory and Applications. 7 (2021), 108-115.

[5] A. A. Adeyanju, Existence of a limiting regime in the sense of demidovic for a certain class of second order nonlinear vector differential equations, Journal of the Differential equations and control processes, no. 4 (2018), 63-79.

[6] A. U. Afuwape, Ultimate boundedness results for a certain system of third-order non-linear differential equations, J. Math. Anal. Appl. 97 (1983), 140-150.

[7] A. U. Afuwape and M. O. Omeike, Further ultimate boundedness of solutions of some system of third order nonlinear ordinary differential equations, Acta Univ. Palack. Olomuc. Fac. Rerum Natur Math. 43 (2004), 7-20.

[8] E. N. Chukwu, On the boundedness of solutions of third-order differential equations, Ann. Mat. Pura Appl. 4 (1975), 123-149.

[9] J. O. C. Ezeilo and H. O. Tejumola, Boundedness and periodicity of solutions of a certain system of third-order non-linear differential equations, Ann. Mat. Pura Appl. 66 (1964), 283-316.

[10] J. O. C. Ezeilo and H. O. Tejumola, Further results for a system of third order ordinary differential equations, Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur. 58 (1975) 143-151.

[11] Ezeilo, J.O.C.: On the existence of almost periodic solutions of some dis-sipative second order differential equations. Ann. Mat. Pura Appl. 65(4), (1964) 389-406, .

[12] A. M. Lyapunov, Problemé général de la stabilité du movement. Reprinted in Annals of Mathematical Studies no. 17, Princeton University Press Princeton, N.J. (Russian Edition 1892) (1949).

[13] F. W. Meng, Ultimate boundedness results for a certain system of third order nonlinear differential equations, J. Math. Anal. Appl. 177 (1993), 496-509.

[14] M. O. Omeike, A. A. Adeyanju, D. O. Adams and A. L. Olutimo, Boundedness of certain system of second order differential equations, Kragujevac Journal of Mathematics. 45 (2021), 787-796.

[15] M. O. Omeike, O. O. Oyetunde and A. L. Olutimo, Boundedness of solutions of certain system of second-order ordinary differential equations, Acta Univ. Palack. Olomuc. Fac. Rerum. Natur. Math. 53 (2014), 107-115.

[16] M. R. Rao, Ordinary Differential Equations, Affiliated East-West Private Limited, London, 1980.

[17] R. Reissig, G. Sansone and R. Conti, Nonlinear Differential Equations of Higher Order, Noordhoff, Groninge, 1974.

[18] H. O. Tejumola, Boundedness criteria for solutions of some second-order differential equations, Accademia Nazionale Dei Lincei Serie VII 50(4) (1971), 204-209.

[19] H. O. Tejumola, Boundedness theorems for some systems of two differential equations, Atti. Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur. 51(6) (1971), 472-476.

[20] C. Tunc, On the stability and boundedness of solutions of nonlinear vector differential equations of third-order, Nonlinear Anal. 70(6) (2009), 22322236.

[21] C. Tunc, Boundedness of solutions of certain third-order nonlinear differential equations, J. Inequal. Appl. Math. 6(1) (2005), 1-6.

[22] C. Tunc and M. Ates, Stability and boundedness results for solutions of certain third-order nonlinear vector differential equations, Nonlinear Dyn. 45(3-4) (2006), 273-281.

[23] T. Yoshizawa, Stability Theory by Lyapunov's Second Method, Publications of the Mathematical Society of Japan, Tokyo, 1966.

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