Abstract
By constructing a Lyapunov functional, we obtain some sufficient conditions which guarantee the stability and boundedness of solutions for some nonlinear differential equations of third order with delay. Our result improve and generalize existing results in the relevant literature of nonlinear third order differential equations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider nonlinear third order delay differential equation of the form
where \(r>0\), and the functions \(a(t), \, b(t),\, c(t), \, e(t),\, f(x), \quad \Psi (x),\) and \(\Phi (x)\) are continuous in their respective arguments and \(f^{\prime }(x), \quad \Psi ^{\prime }(x), \Phi ^{\prime }(x)\) exist and are continuous for all \(x\).
The asymptotic property of solutions of third order differential equations has received a considerable amount of attention. In numerous places in the literature, for example [1–21], the authors dealt with the problems by considering Lyapunov functions or functionals and obtained the criteria for the stability.
In 1974, Hara [8] investigated the asymptotic behavior of solutions of the differential equation without delay of the form
and showed that all solutions of the Eq. (1.2) are uniformly bounded and satisfy \(x(t)\rightarrow 0,\, x'(t)\rightarrow 0\) and \(x''(t)\rightarrow 0\). More recently in 2005, Sadek in [13] establishes conditions under which all solutions of third order differential equation with delay of the form,
tend to the zero solution as \(t\rightarrow \infty \). Our objective in this paper is to extend the results verified by Sadek [13] to obtain sufficient conditions for the stability and the boundedness of solutions of delay differential equation (1.1) for the cases \(e(t)\equiv 0\) and \(e(t)\ne 0\). Clearly the equation discussed in Sadek [13] is a special case of Eq. (1.1) when \(\Psi (x)=\Phi (x)=1\). We shall use appropriate Lyapounov function and impose suitable conditions on the functions \(f(x)\), \(\Psi (x)\) and \(\Phi (x)\). On the other hand, we can find the same result for the Eq. (1.1) without delay by putting \(r=0\), witch is generalization of Hara [8] results.
2 Preliminaries
First, we will give some basic definitions and important stability criteria for the general non-autonomous delay differential system. We consider
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 \le H\}\), and for \(H_{1}<H\), there exists \(L(H_{1})>0\), with \(|f(t,\phi )|<L(H_{1})\) when \(\Vert \phi \Vert <H_{1}\).
Definition 2.1
[5] An element \(\psi \in C\) is in the \(\omega -limit\) set of \(\phi \), say \(\Omega (\phi )\), if \(x(t,0,\phi )\) is defined on \([0,+\infty )\) and there is a sequence \(\{t_{n}\}, {t_{n}}\rightarrow \infty \), as \(n\rightarrow \infty \), with \(\Vert x_{t_{n}}(\phi )-\psi \Vert \rightarrow 0\) as \(n\rightarrow \infty \) where \(x_{t_{n}}(\phi )=x(t_{n}+\theta ,0,\phi )\, for \) \(-r \le \theta \le 0\).
Definition 2.2
[5] A set \(Q\subset C_{H}\) is an invariant set if for any \(\phi \in Q\), the solution of (2.1), \(x(t,0,\phi )\), is defined on \([0,\infty )\) and \(x_{t}(\phi )\in Q \) for \( t \in [0,\infty )\).
Lemma 2.3
[3] If \(\phi \in C_{H} \)is such that the solution \( x_{t}(\phi )\) of (2,1) with \(x_{0}(\phi )=\phi \) is defined on \([0,\infty )\) and \(\Vert x_{t}(\phi )\Vert \le H_{1} <H\) for \(t\in [0,\infty )\), then \(\Omega (\phi )\) is a non-empty, compact, invariant set and
Lemma 2.4
[3] 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 such that:
-
(i)
\(W_{1}(|\phi (0)|)\le V(t,\phi ) \le W_{2}(\Vert \phi \Vert )\) where \(W_{1}(r)\), \(W_{2}(r)\) are wedges.
-
(ii)
\(V'_{(2,1)}(t,\phi )\le 0\), for \(\phi \in C_{H}\).
Then the zero solution of (2.1) is uniformly stable.
If \(Z=\{\phi \in C_{H}:V'_{(2,1)}(t,\phi )=0\}\), then the zero solution of (2.1) is asymptotically stable, provided that the largest invariant set in Z is \(Q=\{0\}\).
3 Assumptions and main results
First, we state some assumptions on the functions that appeared in (1.1). Suppose that there are positive constants \(a_{0},\, b_{0},\, c_{0},\) \(\psi _{0},\, \psi _{1},\, \phi _{0},\, \phi _{1}, \, A,\, B,\, C,\, N_{1}\), \(\delta _{0}\), and \(\delta _{1}\) such that the followings conditions are satisfied
-
(i)
\(\displaystyle 0<\, a_{0}\le a(t)\le A;\) \(\displaystyle 0<b_{0}\le b(t)\le B;\) \(\displaystyle 0< c_{0}\le c(t)\le C\), \(t\ge 0,\)
-
(ii)
\(\displaystyle 0<\psi _{0}\le \Psi (x)\le \psi _{1}\) and \(\displaystyle 0<\phi _{0}\le \Phi (x)\le \phi _{1}\) for all \(x,\)
-
(iii)
\(\displaystyle f(0)=0,\, \frac{f(x)}{x}\ge \delta _{0}>0\) \((x\ne 0),\) and \(\displaystyle |f^{\prime }(x)|\le \delta _{1}\), for all \(x,\)
-
(iv)
\(\displaystyle \int _{-\infty }^{+\infty }\left| \Psi ^{\prime }(u)\right| du <\infty \) and \(\displaystyle \int _{-\infty }^{+\infty }\left| \Phi ^{\prime }(u)\right| du <\infty , \)
-
(v)
\(\displaystyle \int _{0}^{\infty }\left| c^{\prime }(s)\right| ds\le N_{1}< \infty \) and \(c^{\prime }(t)\rightarrow 0\) as \(t\rightarrow \infty \).
For the case \(e(t)\equiv 0\), the following result is introduced.
Theorem 3.1
In addition to conditions (i)–(v) being satisfied, suppose that the following conditions hold
-
(H1)
\(\displaystyle \frac{\psi _{1}C}{b_{0}\phi _{0}}\delta _{1}<\mu <a_{0}\),
-
(H2)
\(\displaystyle \mu a^{\prime }(t)+\Psi (x)\Phi (x)b^{\prime }(t)-\Psi ^{2} (x)\frac{\delta _{1}}{\mu }c^{\prime }(t)<\mu b_{0}\phi _{0}-\psi _{1} C\delta _{1}\).
Then every solution of (1.1) is uniformly asymptotically stable, provided that
Proof
We use the following differential system which is equivalent to Eq. (1.1)
The proof depend on some fundamental properties of a continuously differentiable Lyapunov functional \(V=V(t,x,y,z)\) defined as
such that \(F(x)=\int _{0}^{x}f(u)du\), and \(\lambda \) is a positive constant which will be determined later in the proof. To show that V is a positive function, we rewrite V above thus
where
By using hypotheses, we obtain
\(V_{2}\) can be rearranged as the following
from hypothesis \((H_{1})\), \(\displaystyle a_{0}-\mu >0,\) then \(\displaystyle \frac{a(t)\mu }{\Psi ^{2}(x)}-\frac{\mu ^{2}}{\Psi ^{2}(x) }>0\), it follows that there is a positive constant \(k_{1}\) such that
from which we deduce that \(V_{2}\) is positive definite. Furthermore, from hypotheses (i) and (ii), we obtain
Hence, it is evident from (H1) and the terms contained in the last inequality, that there exist sufficiently small positive constant \(k_{2}\), such that
Using (3.2) we get
Therefore we can find a continuous function \(W_{1}(|\varphi (0)|)\) with
The existence of a continuous function \(W_{2}(\Vert \varphi \Vert )\) which satisfies the inequality \(V(t,\varphi )\le W_{2}(\Vert \varphi \Vert )\), is easily verified.
The derivative of the Lyapunov functional \(V(t,x_{t},\!y_{t},\!z_{t})\), along a solution \((x(t),\,\! y(t),\! \, z(t))\) of the system (3.1), with respect to \(t\) is after simplifying
where
By the assumptions (i)–(iii), (H1)–(H2), and using the Schwartz inequality \(2|uv|\le u^{2} +v^{2}\) we find
Taking \( k_{3}=\frac{1}{2} \max \{A-\mu ,B\}\) then
From (iii) \(\vert f^{\prime }(x)\vert \le \delta _{1},\) and using the Schwartz inequality again we have
and
from which we deduce that
Choosing \(\displaystyle \frac{C\delta _{1}}{2\psi _{0}^{2} }\left( 1+\frac{\mu }{\psi _{0}}\right) =\lambda \), and using condition (H1) we get
We define the Lyapounov functional \(W=W(t,x_{t},y_{t},z_{t})\) as
where
and \(\gamma \) is a positive constant which will be determined later in the proof. It is easily verified that
from conditions (ii) and (iv) we obtain
where \(\omega _{1}(t) = \min \{x(0),x(t)\}\), \(\omega _{2}(t)=\max \{x(0),x(t)\}\). We get also
Using the inequality (3.3) we have
Putting \(\displaystyle \gamma =\frac{k_{2}}{k_{3}}\) we obtain
where \(\displaystyle K= \exp -\displaystyle \left( \frac{k_{3}(N_{2}+N_{3})}{k_{2}}+\frac{N_{1}}{c_{0}}\right) \). If we take
then
It can also be followed that the largest invariant set in \(Z\) is \(Q = \{0\}\), where
That is, the only solution of system (3.1) for which \(W'_{(3.1)}(t,x_{t},y_{t},z_{t})=0\) is the solution \(x = y= z= 0\). The above discussion guarantees that the null solution of Eq. (1.1) is uniformly asymptotically stable.
The proof of the theorem is now completed. \(\square \)
Example
We consider the following third order delay differential equation
It can be seen that
An easy computations show that conditions (H1) and (H2) are satisfied. Indeed,
We have also
It is straightforward to verify that
Similarly,
Thus all the assumptions of Theorem 3.1. hold, this shows that every solution of (3.4) is uniformly asymptotically stable.
In the case \(e(t)\ne 0\) we have the following result:
Theorem 3.2
If the assumptions of Theorem 3.1 hold true, and in addition
then all solutions of the Eq. (1.1) are bounded.
Proof
The remaining of this proof follows the strategy indicated in the proof of Theorem 2 in [12] and hence it omitted. \(\square \)
References
Ademola, A.T., Arawomo, P.O.: Uniform stability and boundedness of solutions of nonlinear delay differential equations of third order. Math. J. Okayama Univ. 55, 157–166 (2013)
Ademola, A.T., Arawomo, O., Ogunlaran, M., Oyekan, E.A.: Uniform stability, boundedness and asymptotic behaviour of solutions of some third order nonlinear delay differential equations. Differ. Equ. Control Process. N4 (2013)
Burton, T.A.: Mathematics in science and engineering. Stability and periodic solutions of ordinary and functional differential equations, vol. 178. Academic Press Inc, Orlando (1985)
Burton, T.A., Hering, R.H.: Lyapunov theory for functional differential equations. Rocky Mt. J. Math. 24(1), 3–17 (1994)
Burton, T.A.: Volterra integral and differential equations. In: mathematics in science and engineering, vol. 202, 2nd edn (2005)
Graef, J.R., Moussadek, R.: Some properties of monotonic solutions of \(x^{\prime \prime \prime }+p(t)x^{\prime }+q(t)f(x)=0\). Pan. Am. Math. J. 22(2), 31–39 (2012)
Hara, T.: Remarks on the asymptotic behavior of the solutions of certain non-autonomous differential equations. Proc. Jpn. Acad. 48, 549–552 (1972)
Hara,T.: On the asymptotic behavior of the solutions of some third and fourth order non-autonomous differential equations. Publ. Res. Inst. Math. Sci. 9649–673 (1973)
Hara, T.: On the asymptotic behavior of solutions of certain non-autonomous differential equations. Osaka J. Math. 12(2), 26–282 (1975)
Krasovskii, N.N.: Stability of motion. Stanford University Press, Stanford (1963)
Omeike, M.O.: New results on the stability of solution of some non-autonomous delay differential equations of the third order. Differ. Equ. Control Process. 2010(1), 18–29 (2010)
Omeike, M.O.: Stability and boundedness of solutions of some non-autonomous delay differential equation of the third order. An. Stiint. Univ. Al. I. Cuza Iasi. Mat. (N.S.) 55(1), 49–58 (2009)
Sadek, A.I.: On the stability of solutions of some non-autonomous delay differential equations of the third order. Asymptot. Anal. 43(1–2), 1–7 (2005)
Sadek, A.I.: Stability and boundedness of a kind of third-order delay differential system. Appl. Math. Lett. 16(5), 657–662 (2003)
Tunç, C.: On asymptotic stability of solutions to third order nonlinear differential equations with retarded argument. Commun. Appl. Anal. 11(4), 515–528 (2007)
Tunç, C.: On the asymptotic behavior of solutions of certain third-order nonlinear differential equations. J. Appl. Math. Stoch. Anal. 2005(1), 2935 (2005)
Tunç, C.: On the stability and boundedness of solutions to third order nonlinear differential equations with retarded argument. Nonlinear Dyn. 57(1–2), 97–106 (2009) (EJQTDE, 2010, no. 12, p. 18)
Tunç, C.: Some stability and boundedness conditions for non-autonomous differential equations with deviating arguments. Electron. J. Qual. Theory Differ. Equ. 1, 1–12 (2010)
Tunç, C.: Stability and boundedness of solutions of nonlinear differential equations of third-order with delay. J. Differ. Equ. Control Process. (Differentsialprimnye Uravneniyai Protsessy Upravleniya) 3, 1–13 (2007)
Yoshizawa, T.: Stability theory by Liapunov’s second method. The Mathematical Society of Japan, Tokyo (1966)
Zhu, Y.F.: On stability, boundedness and existence of periodic solution of a kind of third order nonlinear delay differential system. Ann. Differ. Equ. 8(2), 249–259 (1992)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Remili, M., Beldjerd, D. On the asymptotic behavior of the solutions of third order delay differential equations . Rend. Circ. Mat. Palermo 63, 447–455 (2014). https://doi.org/10.1007/s12215-014-0169-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12215-014-0169-3