- Research Article
- Open Access
Existence and Lyapunov Stability of Periodic Solutions for Generalized Higher-Order Neutral Differential Equations
Boundary Value Problems volume 2011, Article number: 635767 (2010)
Existence and Lyapunov stability of periodic solutions for a generalized higher-order neutral differential equation are established.
In recent years, there is a good amount of work on periodic solutions for neutral differential equations (see [1–11] and the references cited therein). For example, the following neutral differential equations
have been studied in [1, 3, 8], respectively, and existence criteria of periodic solutions were established for these equations. Afterwards, along with intensive research on the -Laplacian, some authors [4, 11] start to consider the following -Laplacian neutral functional differential equations:
and by using topological degree theory and some analysis skills, existence results of periodic solutions for (1.2) have been presented.
In general, most of the existing results are concentrated on lower-order neutral functional differential equations, while studies on higher-order neutral functional differential equations are rather infrequent, especially on higher-order -Laplacian neutral functional differential equations. In this paper, we consider the following generalized higher-order neutral functional differential equation:
where is given by with being a constant, is a continuous function defined on and is periodic with respect to with period , that is, for all , and , are constants.
Since the neutral operator is divided into two cases and , it is natural to study the neutral differential equation separately according to these two cases. The case has been studied in . Now we consider (1.3) for the case . So throughout this paper, we always assume that , and the paper is organized as follows. We first transform (1.3) into a system of first-order differential equations, and then by applying Mawhin's continuation theory and some new inequalities, we obtain sufficient conditions for the existence of periodic solutions for (1.3). The Lyapunov stability of periodic solutions for the equation will then be established. Finally, an example is given to illustrate our results.
First, we recall two lemmas. Let and be real Banach spaces and let be a Fredholm operator with index zero; here denotes the domain of . This means that is closed in and . Consider supplementary subspaces , of , , respectively, such that , . Let and denote the natural projections. Clearly, and so the restriction is invertible. Let denote the inverse of .
Let be an open bounded subset of with . A map is said to be -compact in if is bounded and the operator is compact.
Lemma 2.1 (see ).
Suppose that and are two Banach spaces, and suppose that is a Fredholm operator with index zero. Let be an open bounded set and let be -compact on . Assume that the following conditions hold:
(3), where is an isomorphism.
Then, the equation has a solution in .
Lemma 2.2 (see ).
If and , then
where is a fixed real number with and
For the sake of convenience, throughout this paper we denote by a positive real number, and for any continuous function , we write
Let be the operator on given by
The operator has a continuous inverse on satisfying the following:
We split it into the following two cases.
Case 1 ().
Define an operator by
Clearly, and . Note also that . Therefore, has a continuous inverse with ; here . Hence,
Case 2 ().
From the definition of the linear operator , we have
Since , the operator has a bounded inverse with
and so, for any ,
On the other hand, from , we have
Now, for any , if satisfies
then we have
So, we have
So, exists and satisfies
This proves (1) and (2) of Lemma 2.3. Finally, (3) is easily verified.
By Hale's terminology , a solution of (1.3) is that such that and (1.3) is satisfied on . In general, does not belong to But we can see easily from that a solution of (1.3) must belong to . Equation (1.3) is transformed into
Lemma 2.5 (see ).
If , then
Now we consider (2.22). Define the conjugate index by . Introducing new variables
Using the fact that and by Lemma 2.3, (1.3) can be rewritten as
It is clear that, if is a -periodic solution to (2.25), then must be a -periodic solution to (1.3). Thus, the problem of finding a -periodic solution for (1.3) reduces to finding one for (2.25).
Define the linear spaces
with norm . Obviously, and are Banach spaces. Define
Then, (2.25) can be rewritten as the abstract equation . From the definition of , one can easily see that and . So, is a Fredholm operator with index zero. Let and be defined by
It is easy to see that . Moreover, for all , if we write , we have and so . This is to say and So, is a Fredholm operator with index zero. Let denote the inverse of , then we have
From (2.30) and (2.33), it is clear that and are continuous, and is bounded, and so is compact for any open bounded . Hence, is -compact on . For the function defined as (2.24), we have the following.
If and , then
From , there is a point such that . Let . Then, . From , there is a point such that . Let . Then, Continuing this way, we get from a point such that . Let . Then, From , we have , so there is a point such that ; hence, we have . Let . Then, Continuing this way, we get from that there is a point such that . Let . Then, By Lemma 2.2, we have
By Lemma 2.5 and Lemma 2.2, we have
Combining (2.35) and (2.36), we get
Similarly, we get
This completes the proof of Lemma 2.6.
In particular, if we take , then and
In this case, (2.34) is transformed into
3. Main Results
For the sake of convenience, we list the following assumptions which will be used repeatedly in the sequel.
(H1)There exists a constant such that
H2There exists a constant such that
H3 There exist nonnegative constants such that
H4 There exist nonnegative constants such that
for all .
If and hold, then (1.3) has at least one nonconstant -periodic solution.
Consider the equation
Let . If , then
We first claim that there exists a constant such that
Integrating the last equation of (3.6) over , we have
By the continuity of , there exists such that
From assumption , we get (3.7). As a consequence, we have
On the other hand, multiplying both sides of the last equation of (3.6) by and integrating over , using assumption we have
It is easy to see that there exists a constant (independent of ) such that
From , there exists a point such that . By Hölder's inequality, we have
From , there exists a point such that , and we have
Continuing this way for , we get
Meanwhile, from (3.10), we get
Let . Then, obviously , and .
Let . If , then , which means that and . We see that
Now take . By the analysis above, it is easy to see that , , and conditions (1) and (2) of Lemma 2.1 are satisfied.
Next we show that condition (3) of Lemma 2.1 is also satisfied. Define an isomorphism as follows:
Let , . Then, for all ,
From , it is obvious that for all . Therefore,
which means that condition (3) of Lemma 2.1 is also satisfied. By applying Lemma 2.1, we conclude that equation has a solution on ; that is, (1.3) has a -periodic solution with .
Finally, observe that is not constant. For, if (constant), then from (1.3) we have , which contradicts the assumption that . The proof is complete.
If and hold, then (1.3) has at least one nonconstant -periodic solution if one of the following conditions holds:
Let be defined as in Theorem 3.1. If then from the proof of Theorem 3.1 we have
We claim that is bounded.
Multiplying both sides of (3.23) by and integrating over , by using assumption we have
Applying Hölder's inequality, we have
Applying Lemma 2.6 and (3.26), we have
If and , then it is easy to see that there exists a constant (independent of ) such that
If , then it is easy to see that there exists a constant (independent of ) such that
From , there exists a point such that . By Hölder's inequality, we have
This proves the claim, and the rest of the proof of the theorem is identical to that of Theorem 3.1.
If (1.3) takes the form
where and , then the results of Theorems 3.1 and 3.2 still hold.
If , then (1.3) is transformed into
and the results of Theorems 3.1 and 3.2 still hold.
Next, we study the Lyapunov stability of the periodic solutions of (3.32).
Assume that holds. Then every -periodic solution of (3.32) is Lyapunov stable.
Then, system (3.32) is transformed into
Suppose now that is a -periodic solution of (3.34). Let be any arbitrary solution of (3.34). For any , write . Then, it follows from (3.34) that
Let . Then,
Take , and define a function by
Let . It is obvious that and . From and Lemma 2.3, we get
Hence, is a Lyapunov function for nonautonomous (3.32) (see [15, page 50]), and so the -periodic solution of (3.32) is Lyapunov stable.
Finally, we present an example to illustrate our result.
Consider the -order delay differential equation
Here is a constant with . Comparing with (1.3), we have and
Observe that has period and satisfies
Pick . Then,
for all with . Hence, holds. On the other hand, since
assumption holds with .
If , then by (1) of Theorem 3.2, (3.40) has at least one nonconstant -periodic solution.
If , then
So by (2) of Theorem 3.2, (3.40) has at least one nonconstant -periodic solution.
Lu S, Ge W: On the existence of periodic solutions for neutral functional differential equation. Nonlinear Analysis: Theory, Methods & Applications 2003, 54(7):1285-1306. 10.1016/S0362-546X(03)00187-1
Lu S:Existence of periodic solutions for a -Laplacian neutral functional differential equation. Nonlinear Analysis: Theory, Methods & Applications 2009, 70(1):231-243. 10.1016/j.na.2007.11.053
Lu S, Ge W, Zheng Z: Periodic solutions to neutral differential equation with deviating arguments. Applied Mathematics and Computation 2004, 152(1):17-27. 10.1016/S0096-3003(03)00530-7
Peng S:Periodic solutions for -Laplacian neutral Rayleigh equation with a deviating argument. Nonlinear Analysis: Theory, Methods & Applications 2008, 69(5-6):1675-1685. 10.1016/j.na.2007.07.007
Ren J, Cheng Z: Periodic solutions for generalized high-order neutral differential equation in the critical case. Nonlinear Analysis: Theory, Methods & Applications 2009, 71(12):6182-6193. 10.1016/j.na.2009.06.011
Shen J, Liang R: Periodic solutions for a kind of second order neutral functional differential equations. Applied Mathematics and Computation 2007, 190(2):1394-1401. 10.1016/j.amc.2007.02.137
Wang Q, Dai B: Three periodic solutions of nonlinear neutral functional differential equations. Nonlinear Analysis: Real World Applications 2008, 9(3):977-984. 10.1016/j.nonrwa.2007.01.014
Wang K, Lu S: On the existence of periodic solutions for a kind of high-order neutral functional differential equation. Journal of Mathematical Analysis and Applications 2007, 326(2):1161-1173. 10.1016/j.jmaa.2006.03.078
Wu J, Wang Z: Two periodic solutions of second-order neutral functional differential equations. Journal of Mathematical Analysis and Applications 2007, 329(1):677-689. 10.1016/j.jmaa.2006.06.084
Zhang MR: Periodic solutions of linear and quasilinear neutral functional-differential equations. Journal of Mathematical Analysis and Applications 1995, 189(2):378-392. 10.1006/jmaa.1995.1025
Zhu Y, Lu S:Periodic solutions for -Laplacian neutral functional differential equation with deviating arguments. Journal of Mathematical Analysis and Applications 2007, 325(1):377-385. 10.1016/j.jmaa.2005.10.084
Gaines RE, Mawhin JL: Coincidence Degree, and Nonlinear Differential Equations, Lecture Notes in Mathematics, vol. 568. Springer, Berlin, Germany; 1977:i+262.
Zhang M:Nonuniform nonresonance at the first eigenvalue of the -Laplacian. Nonlinear Analysis: Theory, Methods & Applications 1997, 29(1):41-51. 10.1016/S0362-546X(96)00037-5
Hale JK: Theory of Functional Differential Equations. Springer, New York, NY, USA; 1977.
Glendinning P: Stability, Instability and Chaos: An Introduction to the Theory of Nonlinear Differential Equations, Cambridge Texts in Applied Mathematics. Cambridge University Press, Cambridge, UK; 1994:xiv+388.
This paper is partially supported by the National Natural Science Foundation of China (10971202), and the Research Grant Council of Hong Kong SAR, China (project no. HKU7016/07P).