Abstract and Applied Analysis
Volume 2012, Article ID 404928, 26 pages
http://dx.doi.org/10.1155/2012/404928
Existence of Subharmonic Periodic Solutions to a Class of Second-Order Non-Autonomous Neutral Functional Differential Equations
1Department of Mathematics, Hunan University, Changsha 410082, China
2Department of Mathematics, Wilfrid Laurier University, Waterloo, ON, Canada N2L 3C5
Received 27 December 2011; Accepted 18 January 2012
Academic Editor: Gaston Mandata N'Guerekata
Copyright © 2012 Xiao-Bao Shu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Abstract
By introducing subdifferentiability of lower semicontinuous convex function and its conjugate function, as well as critical point theory and operator equation theory, we obtain the existence of multiple subharmonic periodic solutions to the following second-order nonlinear nonautonomous neutral nonlinear functional differential equation ,
1. Introduction
The existence of periodic solutions for differential system has received a great deal of attention in the last few decades. Different from ordinary differential equations and partial differential equations that do not contain delay variate, it is very difficult to study the existence of periodic solutions for functional differential equations. For this reason, many mathematicians developed different approaches such as the averaging method [1], the Massera-Yoshizawa theory [2, 3], the Kaplan-York [4] method of coupled systems, the Grafton cone mapping method [5], the Nussbaum method of fixed point theory [6] and Mawhin [7] coincidence degree theory.
However, the critical point theory was rarely used in the literature, and most of the existing results were established for autonomous functional differential equations while little was done for nonautonomous equations via critical point theory.
In this paper, by using critical point and operator equation theories, we study the existence of the following second-order nonlinear and nonautonomous mixed-type functional differential equation:
Our basic assumptions are the following and to be given in Section 4:, and ; there exists a continuously differentiable function such that where and denote and , respectively; for all .
2. Variational Structure
Fix , where is a positive integer and
It is obvious that is a Sobolev space by defining the inner product and the norm as follows:
Moreover, can be expressed as
Let us consider the functional defined on by
For all and , we know that
It is then easy to see that where denotes the Frechet differential of the function . By the periodicity of , , and , we have Similarly, we have Hence, Therefore, the Euler equation corresponding to the functional is
It is not difficult to see that (2.10) is equivalent to (1.1). Thus, system (1.1) is the Euler equation of the functional . It follows that it is possible to obtain -periodic solutions of system (1.1) by seeking critical points of the functional .
Since has neither a supremum nor an infimum, we do not seek critical points of the functional by the extremum method. But we may use operator equation theory. First via the dual variational principle, we obtain new operator equations (see (4.16)) related to (1.1). Then solutions to system (1.1) are obtained by seeking critical points of operator equation (4.16).
In this paper, our main tool is the following.
Lemma 2.1 (Maintain Pass Theorem). Let be a real Banach space. If satisfies the Palais-Smale condition as well as the following additional conditions:(1)there exist constants and such that , where ,(2) and there exists such that , then is a positive critical value of , where
The rest of this paper is organized as follows. Subdifferentiability of lower semicontinuous convex function and its conjugate function are introduced in Section 3. In Section 4, we first give the definition of the weak solution to (1.1), then we establish the new operator equation (4.16) related to (1.1) by the conjugate function of and show that we can obtain solution to (1.1) from the solution to operator equation (4.16). In Section 5, by seeking critical points of operator equation (4.16), we obtain the result that there exist multiple subharmonic periodic solutions to system (1.1). Finally in Section 6, an example and a remark are given to illustrate our result.
3. The Subdifferentiability and the Conjugate Function of the Lower Semicontinuous Convex Function
Let be a space of all given -periodic functions in and a Banach space, where is a positive integer. Denote . Let be a lower semicontinuous convex function. Generally, is not always differentiable in conventional sense, but we may generalize the definition of “derivative” as follows.
Definition 3.1. Let . We say that is a subgradient of at point if
For all , the set of all subgradients of at point will be called the sub-differential of at point and will be denoted by .
By the definition of Subdifferentiability of function , we may define its conjugate function by
where denotes the duality relation of and . So it is not difficult to obtain the following propositions.
Proposition 3.2. is a lower semicontinuous convex function ( may have functional value , but not functional value ).
Proposition 3.3. If , then .
Proposition 3.4 (Yang inequality). One has
Proposition 3.5. One has
Proposition 3.6. does not always equal .
Proof. Let and such that and . We consider the two convex sets in defined by By Hahn-Banach Theorem, we know that there exists and such that So, we have Thus , and
Since is a lower semicontinuous convex function that does not always equal , we may define its conjugate function by where denotes the duality relation of and .
Theorem 3.7. Let be a lower semicontinuous convex function that does not always equal , then .
Proof. We divide our proof into two parts. First we show that holds when and then holds for all lower semicontinuous convex functions that do not always equal .
(i) The case when .
From the definition of and Yang inequality, it is obvious that holds.
Next, to prove holds, suppose to the contrary that there exist a point , such that holds.
Consider the two convex sets
By the Hahn-Banach Theorem, we know that there exist and such that
So, it follows that . Let . Using and (3.11), one obtains that
Thus, we have
Then, by the definition of , we obtain that
That is to say,
which is a contradiction to (3.12).
(ii) For all , by Proposition 3.6, we know that . Choose , and define function by
Then is a lower semicontinuous convex function that is not always equal to and satisfies . By the result of (i), we have that . On the other hand, we have
That is, .
Corollary 3.8. Let be a lower semicontinuous convex function that is not always equal to . Then if and only if
Proof. One has
4. Weak Solution to (1.1)
Define an operator . By (2.6) and as well as we may define a weak solution to (1.1) as follows.
Definition 4.1. For , we say that is a weak solution to (1.1), if
for all , where
when , where .
Our objective is to define the conjugate function of by using the definition of Subdifferentiability of lower semicontinuous convex function and by making use of the dual variational structure. So we add three more conditions on function as follows: is a continuously differentiable and strictly convex function and satisfies for , there exist constants , such that when we have
The conjugate function of function is defined by
for .
Then is a continuously differentiable and strictly convex function. By the duality principle (Corollary 3.8), we have that
where and denote and , respectively.
Example 4.2. Let . Then
Proof. The above expression holds since
Let denote the value field of operator . Then is a closed set. Let be the orthogonal projection operator of and . Then it is not difficult to see that maps continuous continuation into a compact operator of .
Let where .
Remark 4.3. In fact, for all , or , can be expressed as
So, it follows that
Thus can also be expressed as
We want to satisfy
where , that is, .
If is a solution to (4.16) and if , , then by the duality principle and (4.16), we have
Thus, is a weak solution to (1.1).
5. Existence of Solutions to Operator Equation (4.16)
In this section, we discuss the existence of solutions to operator equation (4.16) by using the critical point theory. Our main result is the following.
Theorem 5.1. Under assumptions , problem (1.1) has at least one nontrivial weak -periodic solution.
To prove this theorem, we state and prove the following lemmas first.
Let , and
It is not difficult to verify that , where , that is, the operator is a symmetric operator.
We may obtain solutions to (4.16) by seeking critical points of functional defined by
may be regarded as the restriction to of function defined on since both functions have identical component on . Moreover Since there exist and such that
So if is a critical point of on , then there exists such that Hence, is a solution to (4.16). That is, is a solution to (4.16).
Lemma 5.2. The following two conditions are equivalent:(1), when ;(2).
Proof. For all let .
. By and , it is easy to see that . That is,
. By
it follows that
Lemma 5.3. Let satisfy assumptions and . Then there exist constants and such that where .
Proof. Let
where denotes the ball of radius centered at the origin. By , one knows . On the other hand, by Lemma 5.2 and , we have
By the convexity of function , one has
Let run all over the ball of radius centered at , and choose the maximum of . Then it is not difficult to see that
By we have that
Lemma 5.4. is a strictly convex function and satisfies where are constants, and are constants, depending on , and .
Proof. By Corollary 3.8 and , we have , for all . Moreover, by the definition of , we know that .
Now we show that (5.17) holds. By one obtains . So, by Proposition 3.3 and Example 4.2, it is easy to see that
where .
Similar arguments to the proof of Lemma 5.3 show that there exists a constant such that
Therefore, it follows that
Next we show that (5.18) holds. Again as in the proof of Lemma 5.3, we can estimate by
where . By Lemma 5.3 again and the duality principle
when , we have
Since there exists a constant such that when , we have
Choose
Then it is not difficult to see
Finally, we show that (5.19) holds. By , for all , there exists so that when , we have
Now, for all , choose and let . Then whenever , we have
That is,
Lemma 5.5. There exist constants and depending on , such that and when .
Proof. By (5.19), we have
So, as , we obtain . That is,
when .
We next show the validity of the second part of the inequality.
For all , let . Then
Since is a convex function for all , we have
So, by (5.34) we obtain
By the convexity of again, it is easy to see that
So, we further obtain that
By Lemma 5.4, there exists such that
Let . Then by (5.34), (5.39), and (5.40), we have
Lemma 5.6. Let (weakly convergent sequence on ) and satisfy Then
Proof. (I) First, we show that the terms in have equicontinuous integrals, that is, for all , there exists such that
Since is convex, we have
So, from and the above equality, we have
By and the assumption that , it is not difficult to see
Now suppose to the contrary that does not have equicontinuous integrals, that is, there exists and functions , as well as measurable sets , such that the following inequalities
hold. Then choose . It is not difficult to obtain and
which is contradictory to (5.46) and (5.47).
(II) For all , we divide into the following three subsets:
where . By inequality (5.17), we know that there exist constants and such that
By the convexity of the function on