Abstract
In this paper, we give sufficient conditions for the boundedness, uniform asymptotic stability and square integrability of the solutions to a certain fourth order non-autonomous differential equations with delay by using Lyapunov’s second method. The results obtained essentially improve, include and complement the results in the literature.
Similar content being viewed by others
1 Introduction
In mathematical literature, ordinary differential equations have been studied for more than 300 years since the seventeenth century after the concepts of differentiation and integration were formulated by Newton and Leibniz. By means of ordinary differential equations, researchers can explain many natural phenomena like gravity, projectiles, wave, vibration, nuclear physics, and so on. In addition, in Newtonian mechanics, the system’s state variable changes over time, and the law that governs the change of the system’s state is normally described by an ordinary differential equation. The question concerning the stability of ordinary differential equations has been originally raised by the general problem of the stability of motion [1].
However, thereafter along with the development of technology, it have been seen that the ordinary differential equations cannot respond to the needs arising in sciences and engineering. For example, in many applications, it can be seen that physical or biological background of a modeling system shows that the change rate of the system’s current status often depends not only on the current state but also on the history of the system. This usually leads to the so-called retarded functional differential equations [2].
In particular, for more results on the stability, boundedness, convergence, etc. of ordinary or functional differential equations of fourth order, see the book of Reissig et al. [3] as a good survey for the works done by 1974 and the papers of Burton [4], Cartwright [5], Ezeilo [6–9], Harrow [10, 11], Tunç [12–18], Remili et al. [19–23], Wu [24] and others and the references therein. This information indicates the importance of investigating the qualitative properties of solutions of retarded functional differential equations of fourth order.
In this paper, we study the uniform asymptotic stability of the solutions for \(p(t,x,x^{\prime},x^{\prime\prime}, x^{\prime\prime \prime })\equiv0\) and also square integrability and boundedness of solutions to the fourth order nonlinear differential equation with delay
For convenience, we get
We write (1) in the system form
where r is a positive constant to be determined later, the functions a, b, c, d are continuously differentiable functions and the functions f, h, g, q, p are continuous functions depending only on the arguments shown. Also derivatives \(g^{\prime}(x)\), \(q^{\prime}(x)\), \(f^{\prime}(x)\) and \(h^{\prime}(x)\) exist and are continuous. The continuity of the functions a, b, c, d, p, g, \(g^{\prime}\), q, \(q^{\prime}\), f and h guarantees the existence of the solutions of equation (1). If the right-hand side of system (2) satisfies a Lipschitz condition in \(x(t)\), \(y(t)\), \(z(t)\), \(w(t)\) and \(x(t-r)\), and there exist solutions of system (2), then it is the unique solution of system (2).
Assume that there are positive constants \(a_{0}\), \(b_{0}\), \(c_{0}\), \(d_{0}\), \(f_{0}\), \(g_{0}\), \(q_{0}\), \(a_{1}\), \(b_{1}\), \(c_{1}\), \(d_{1}\), \(f_{1}\), \(g_{1}\), \(q_{1}\), m, M, δ and \(\eta_{1}\) such that the following assumptions hold:
-
(A1)
\(0< a_{0}\leq a(t)\leq a_{1}\); \(0< b_{0}\leq b(t)\leq b_{1}\); \(0< c_{0}\leq c(t)\leq c_{1}\); \(0< d_{0}\leq d(t)\leq d_{1}\) for \(t\geq0\).
-
(A2)
\(0< f_{0}\leq f(x)\leq f_{1}\); \(0< g_{0}\leq g(x)\leq g_{1}\); \(0< q_{0}\leq q(x)\leq q_{1}\) for \(x\in R\) and \(0< m<\min \{ f_{0},g_{0},1 \} \), \(M>\max \{ f_{1},g_{1},1 \} \).
-
(A3)
\(\frac{h(x)}{x}\geq\delta>0\) for \(x\neq0\), \(h(0)=0\).
-
(A4)
\(\int_{0}^{\infty} ( \vert a^{\prime}(t) \vert + \vert b^{\prime}(t) \vert + \vert c^{\prime}(t) \vert + \vert d^{\prime}(t) \vert ) \,dt<\eta_{1}\).
-
(A5)
\(\vert p(t,x,y,z,w) \vert \leq \vert e(t) \vert \).
Motivated by the results of references, we obtain some new results on the uniform asymptotic stability and boundedness of the solutions by means of Lyapunov’s functional approach. Our results differ from those obtained in the literature (see, [1–44] and the references therein). By this way, we mean that this paper has a contribution to the subject in the literature, and it may be useful for researchers working on the qualitative behaviors of solutions of functional differential equations of higher order. In view of all the mentioned information, the novelty and originality of the current paper can be checked.
2 Preliminaries
We also consider the functional differential equation
where \(f:I\times C_{H}\rightarrow \mathbb{R} ^{n}\) is a continuous mapping, \(f(t,0)=0\), \(C_{H}:=\{\phi\in(C[-r,0],\mathbb{R} ^{n}): \Vert \phi \Vert \leq H\}\), and for \(H_{1}< H\), there exists \(L(H_{1})>0\) with \(\vert f(t,\phi) \vert < L(H_{1})\) when \(\Vert \phi \Vert < H_{1}\).
Lemma 1
[29]
Let \(V(t,\phi):I\times C_{H}\rightarrow \mathbb{R} \) be a continuous functional satisfying a local Lipschitz condition, \(V(t,0)=0 \), and wedges \(W_{i}\) such that
-
(i)
\(W_{1}( \Vert \phi \Vert )\leq V(t,\phi)\leq W_{2}( \Vert \phi \Vert )\).
-
(ii)
\(V_{\text{(3)}}^{\prime}(t,\phi)\leq -W_{3}( \Vert \phi \Vert )\).
Then the zero solution of equation (3) is uniformly asymptotically stable.
3 The main results
Lemma 2
[35]
Let \(h(0)=0\), \(xh(x)>0\) (\(x\neq0\)) and \(\delta (t)-h^{\prime}(x)\geq0\) (\(\delta(t)>0\)), then \(2\delta(t)H(x)\geq h^{2}(x)\), where \(H(x)=\int_{0}^{x}h(s)\,ds\).
Theorem 1
In addition to the basic assumptions imposed on the functions a, b, c, d, p, f, h, g and q, suppose that there are positive constants \(h_{0}\), \(\delta_{0}\), \(\delta_{1}\), \(\eta_{2}\) and \(\eta_{3}\) such that the following conditions are satisfied:
-
(i)
\(h_{0}-\frac{a_{0}m\delta_{0}}{d_{1}}\leq h^{\prime}(x)\leq \frac{h_{0}}{2}\) for \(x\in R\).
-
(ii)
\(\delta_{1}=\frac{d_{1}h_{0}a_{1}M}{c_{0}m}+\frac {c_{1}M+\delta _{0}}{a_{0}m}< b_{0}q_{0}\).
-
(iii)
\(\int_{-\infty}^{+\infty} ( \vert g^{\prime }(s) \vert + \vert q^{\prime}(s) \vert + \vert f^{\prime }(s) \vert ) \,ds<\eta_{2}\).
-
(iv)
\(\int_{0}^{\infty} \vert e(t) \vert \,dt<\eta_{3}\).
Then any solution \(x(t)\) of equation (1) and its derivatives \(x^{\prime}(t)\), \(x^{\prime\prime}(t)\) and \(x^{\prime \prime\prime}(t)\) are bounded and satisfy
provided that
Proof
To prove the theorem, we define a Lyapunov functional
where
and
with \(H(x)=\int_{0}^{x}h(s)\,ds\), \(\alpha=\frac{1}{a_{0}m}+\varepsilon \), \(\beta=\frac{d_{1}h_{0}}{c_{0}m}+\varepsilon\), and η are positive constants to be determined later in the proof. We can rearrange 2V as
where
Let
then
By using conditions (A1)-(A3), (i)-(ii) and inequalities (5), (6), we have
and
Thus, it is clear from the above inequalities that there exists a positive constant \(D_{0}\) such that
From Lemma 2, (A3) and (i), it follows that there is a positive constant \(D_{1}\) such that
In this way, V is positive definite. From (A1)-(A3), it is clear that there is a positive constant \(U_{1}\) such that
From (iii), we have
where \(\alpha_{1}(t)=\min \{ x(0),x(t) \} \) and \(\alpha _{2}(t)=\max \{ x(0),x(t) \} \). From inequalities (5), (9) and (10), it follows that
where \(D_{2}=\frac{D_{1}}{2}e^{-\frac{\eta_{1}+\eta_{2}}{\eta}}\). Also, it is easy to see that there is a positive constant \(U_{2}\) such that
for all x, y, z, w and all \(t\geq0\).
Now, we show that \(\overset{.}{W}\) is a negative definite function. The derivative of the function V along any solution \(( x(t),y(t),z(t),w(t) ) \) of system (2), with respect to t, is after simplifying
where
By regarding conditions (A1), (A2), (i), (ii) and inequality (6), (7), we have the following:
In that case,
and
By taking \(h_{1}=\max \{ \vert h_{0}-\frac{a_{0}m\delta_{0}}{d_{1}} \vert ,\frac{h_{0}}{2} \} \), we get
If we choose \(\sigma=d_{1}h_{1}(\alpha+\beta+1)\), we have
Thus, there exists a positive constant \(D_{3}\) such that
From (8), and the Cauchy-Schwarz inequality, we obtain
where \(\lambda_{1}=\max \{ a_{1} ( 1+\alpha ) ,b_{1} ( 1+2\alpha+\beta ) ,c_{1} ( 1+\alpha ) \} \). Using condition (iii) and Lemma 2, we can write
hereby,
such that \(\lambda_{2}=\max \{ 2\beta+(\alpha+1)h_{0},\alpha h_{0}+1,\alpha+1 \} \). By taking \(\frac{1}{\eta}=\frac{1}{D_{0}}\max \{ \lambda_{1},\lambda_{2} \} \), we obtain
From (A4), (A5),(iii), (10), (11), (13) and the Cauchy-Schwarz inequality, we get
where \(D_{4}=\max \{ \alpha,\beta,1 \} \). Integrating (15) from 0 to t and using condition (iv) and the Gronwall inequality, we have
Because of inequalities (11) and (16), we write
where \(K_{2}=\frac{K_{1}}{D_{2}}\). Clearly, (17) implies that
Hence
Now, we prove the square integrability of solutions and their derivatives. We define \(F_{t}=F(t,x(t),y(t),z(t),w(t))\) as
where \(\rho>0\). It is easy to see that \(F_{t}\) is positive definite since \(W=W(t,x,y,z,w)\) is already positive definite. Using the estimate
by (15), we have the following:
By choosing \(\rho=D_{3}e^{-\frac{\eta_{1}+\eta_{2}}{\eta}}\), we obtain
Integrating inequality (20) from 0 to t and using again the Gronwall inequality and condition (iv), we get
Therefore,
which implies that
which completes the proof of the theorem. □
Remark 1
If \(p(t,x,y,z,w)\equiv0\), similarly to the above proof, inequality (14) becomes
where \(\mu=D_{3}e^{-\frac{\eta_{1}+\eta_{2}}{\eta}}\). It can also be observed that the only solution of system (2) for which \(\overset{.}{W_{(2)}}(t,x,y,z,w)=0\) is the solution \(x=y=z=w=0\). The above discussion guarantees that the trivial solution of equation (1) is uniformly asymptotically stable, and the same conclusion as in the proof of the theorem can be drawn for square integrability of solutions of equation (1).
Example 1
We consider the following fourth order nonlinear differential equation with delay:
by taking \(g(x)=\frac{5x+2e^{x}+2e^{-x}}{e^{x}+e^{-x}}\), \(q(x)=\frac{\sin x+9e^{x}+9e^{-x}}{e^{x}+e^{-x}}\), \(f(x)=\frac{x\cos x+x^{4}+1}{x^{4}+1}\), \(h(x)=\frac {x}{x^{2}+1}\), \(a(t)= e^{-2t}\sin3t+2\), \(b(t)=\frac{\sin2t+11t^{2}+11}{t^{2}+1}\), \(c(t)=e^{-t}\sin t+3\), \(d(t)=\frac{\sin^{2}t+t^{2}+1}{5t^{2}+5}\), \(r=\frac {1}{17}\) and \(p(t,x,x^{\prime}x^{\prime\prime}, x^{\prime\prime\prime })=\frac{2\sin t}{t^{2}+1+(x^{\prime}x^{\prime\prime})^{2}+(xx^{\prime \prime\prime})^{2}}\).
We obtain easily the following: \(g_{0}=0.33\), \(g_{1}=3.7\), \(f_{0}=0.5\), \(f_{1}=1.5\), \(q_{0}=8.5\), \(q_{1}=9.5\), \(a_{0}=1\), \(a_{1}=3\), \(b_{0}=10\), \(b_{1}=12\), \(c_{0}=2\), \(c_{1}=4\), \(d_{0}=0.2\), \(d_{1}=0.3\), \(m=0.3\), \(M=3.8\), \(h_{0}=2\), \(\alpha=\frac{23}{6}\), \(\beta=\frac{3}{2}\), \(\delta _{0}=\frac{17}{8}\) and \(\delta_{1}=69.15\). Also we have
Consequently,
Thus all the assumptions of Theorem 1 hold. This shows that every solution of equation (23) is bounded and square integrable.
4 Conclusion
A class of nonlinear retarded functional differential equations of fourth order is considered. Sufficient conditions are established guaranteeing the uniform asymptotic stability of the solutions for \(p(t,x,x^{\prime },x^{\prime\prime},x^{\prime\prime\prime})\equiv0\) and also square integrability and boundedness of solutions of equation (1) with delay. In the proofs of the main results, we benefit from Lyapunov’s functional approach. The results obtained essentially improve, include and complement the results in the literature.
References
Lyapunov, AM: The General Problem of the Stability of Motion. Taylor & Francis, London (1992) Translated from Edouard Davaux’s French translation (1907) of the 1892 Russian original and edited by A. T. Fuller
Smith, H: An Introduction to Delay Differential Equations with Applications to the Life Sciences. Texts in Applied Mathematics, vol. 57. Springer, New York (2011)
Reissig, R, Sansone, G, Conti, R: Non-linear Differential Equations of Higher Order. Noordhoff, Leyden (1974) Translated from the German
Burton, TA: Stability and Periodic Solutions of Ordinary and Functional Differential Equations Mathematics in Science and Engineering, vol. 178. Academic Press, San Diego (1985)
Cartwright, ML: On the stability of solutions of certain differential equations of the fourth order. Q. J. Mech. Appl. Math. 9, 185-194 (1956)
Ezeilo, JOC: A stability result for solutions of a certain fourth order differential equation. J. Lond. Math. Soc. 37, 28-32 (1962)
Ezeilo, JOC: On the boundedness and the stability of solutions of some differential equations of the fourth order. J. Math. Anal. Appl. 5, 136-146 (1962)
Ezeilo, JOC: Stability results for the solutions of some third and fourth order differential equations. Ann. Mat. Pura Appl. 66(4), 233-249 (1964)
Ezeilo, JOC, Tejumola, HO: On the boundedness and the stability properties of solutions of certain fourth order differential equations. Ann. Mat. Pura Appl. 95(4), 131-145 (1973)
Harrow, M: A stability result for solutions of a certain fourth order homogeneous differential equations. J. Lond. Math. Soc. 42, 51-56 (1967)
Harrow, M: Further results on the boundedness and the stability of solutions of some differential equations of the fourth order. SIAM J. Math. Anal. 1, 189-194 (1970)
Tunç, C: Some stability results for the solutions of certain fourth order delay differential equations. Differ. Equ. Appl. 4, 165-174 (2004)
Tunç, C: Stability and boundedness of solutions to certain fourth order differential equations. Electron. J. Differ. Equ. 35, 1 (2006)
Tunç, C: Some remarks on the stability and boundedness of solutions of certain differential equations of fourth-order. Comput. Appl. Math. 26(1), 1-17 (2007)
Tunç, C: On the stability and the boundedness properties of solutions of certain fourth order differential equations. Istanb. Üniv. Fen Fak. Mat. Derg. 54, 161-173 (1997)
Tunç, C: A note on the stability and boundedness results of solutions of certain fourth order differential equations. Appl. Math. Comput. 155(3), 837-843 (2004)
Tunç, C: Some stability and boundedness results for the solutions of certain fourth order differential equations. Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 44, 161-171 (2005)
Tunç, C: Stability and boundedness of solutions to certain fourth order differential equations. Electron. J. Differ. Equ. 2006, 35 (2006)
Remili, M, Oudjedi, DL: Uniform stability and boundedness of a kind of third order delay differential equations. Bull. Comput. Appl. Math. 2(1), 25-35 (2014)
Remili, M, Oudjedi, DL: Stability and boundedness of the solutions of non autonomous third order differential equations with delay. Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 53(2), 139-147 (2014)
Remili, M, Beldjerd, D: On the asymptotic behavior of the solutions of third order delay differential equations. Rend. Circ. Mat. Palermo 63(3), 447-455 (2014)
Remili, M, Rahmane, M: Sufficient conditions for the boundedness and square integrability of solutions of fourth-order differential equations. Proyecciones 35(1), 41-61 (2016)
Remili, M, Rahmane, M: Boundedness and square integrability of solutions of nonlinear fourth-order differential equations. Nonlinear Dyn. Syst. Theory 16(2), 192-205 (2016)
Wu, X, Xiong, K: Remarks on stability results for the solutions of certain fourth-order autonomous differential equations. Int. J. Control 69(2), 353-360 (1998)
Abou-El-Ela, AMA, Sadek, AI: A stability result for certain fourth order differential equations. Ann. Differ. Equ. 6(1), 1-9 (1990)
Adesina, OA, Ogundare, BS: Some new stability and boundedness results on a certain fourth order nonlinear differential equation. Nonlinear Stud. 19(3), 359-369 (2012)
Andres, J, Vlcek, V: On the existence of square integrable solutions and their derivatives to fourth and fifth order differential equations. Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 28(1), 65-86 (1989)
Barbashin, EA: The construction of Liapunov function. Differ. Uravn. 4, 2127-2158 (1968)
Bereketoglu, H: Asymptotic stability in a fourth order delay differential equation. Dyn. Syst. Appl. 7(1), 105-115 (1998)
Chin, PSM: Stability results for the solutions of certain fourth-order autonomous differential equations. Int. J. Control 49(4), 1163-1173 (1989)
Chukwu, EN: On the stability of a nonhomogeneous differential equation of the fourth order. Ann. Mat. Pura Appl. 92(4), 1-11 (1972)
Elsgolts, L: Introduction to the Theory of Differential Equations with Deviating Arguments. Holden-Day, San Francisco (1966) Translated from the Russian by Robert J. McLaughlin
Hu, CY: The stability in the large for certain fourth order differential equations. Ann. Differ. Equ. 8(4), 422-428 (1992)
Hara, T: On the asymptotic behavior of the solutions of some third and fourth order nonautonomous differential equations. Publ. Res. Inst. Math. Sci., Ser. A 9, 649-673 (1974)
Hara, T: On the asymptotic behavior of solutions of some third order ordinary differential equations. Proc. Jpn. Acad. 47, 903-908 (1971)
Korkmaz, E, Tunç, C: On some qualitative behaviors of certain differential equations of fourth order with multiple retardations. J. Appl. Anal. Comput. 6(2), 336-349 (2016)
Krasovskii, NN: On the stability in the large of the solution of a nonlinear system of differential equations (Russian). Prikl. Mat. Meh. 18, 735-737 (1954)
Omeike, PSM: Boundedness of solutions to fourth-order differential equation with oscillatory restoring and forcing terms. Electron. J. Differ. Equ. 2007, 104 (2007)
Rauch, LL: Oscillations of a third order nonlinear autonomous system. Contributions to the theory of nonlinear oscillations. Ann. Math. Stud. 20, 39-88 (1950)
Shair, A: Asymptotic properties of linear fourth order differential equations. Proc. Am. Math. Soc. 59(1), 45-51 (1976)
Sinha, ASC: On stability of solutions of some third and fourth order delay-differential equations. Inf. Control 23, 165-172 (1973)
Tejumola, HO: Further results on the boundedness and the stability of certain fourth order differential equations. Atti Accad. Naz. Lincei, Rend. Cl. Sci. Fis. Mat. Nat. 52(8), 16-23 (1972)
Tiryaki, A, Tunç, C: Constructing Liapunov functions for some fourth-order autonomous differential equations. Indian J. Pure Appl. Math. 26(3), 225-232 (1995)
Yoshizawa, T: Stability Theory by Liapunov’s Second Method. The Mathematical Society of Japan, Tokyo (1966)
Acknowledgements
The author states his sincere thanks to the referee(s) for the careful and detailed reading of the manuscript and very helpful suggestions that improved the manuscript substantially.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Author’s contributions
The author read and approved the final manuscript.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Korkmaz, E. Stability and square integrability of derivatives of solutions of nonlinear fourth order differential equations with delay. J Inequal Appl 2017, 134 (2017). https://doi.org/10.1186/s13660-017-1353-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1353-8