Abstract
Some existence and multiplicity of periodic solutions are obtained for nonautonomous second order Hamiltonian systems with sublinear nonlinearity by using the least action principle and minimax methods in critical point theory.
Mathematics Subject Classification (2000): 34C25, 37J45, 58E50.
Keywords:
Control function; Periodic solutions; The least action principle; Minimax methods1 Introduction and main results
Consider the second order systems
where T > 0 and F : [0, T] × ℝ^{ℕ }→ ℝ satisfies the following assumption:
(A) F (t, x) is measurable in t for every x ∈ ℝ^{ℕ }and continuously differentiable in x for a.e. t ∈ [0, T], and there exist a ∈ C(ℝ^{+}, ℝ^{+}), b ∈ L^{1}(0, T ; ℝ^{+}) such that
for all x ∈ ℝ^{ℕ }and a.e. t ∈ [0, T].
The existence of periodic solutions for problem (1.1) has been studied extensively, a lot of existence and multiplicity results have been obtained, we refer the readers to [113] and the reference therein. In particular, under the assumptions that the nonlinearity ∇F (t, x) is bounded, that is, there exists p(t) ∈ L^{1}(0, T ; ℝ^{+}) such that
for all x ∈ ℝ^{ℕ }and a.e. t ∈ [0, T], and that
Mawhin and Willem in [3] have proved that problem (1.1) admitted a periodic solution. After that, when the nonlinearity ∇F (t, x) is sublinear, that is, there exists f(t), g(t) ∈ L^{1}(0, T ; ℝ^{+}) and α ∈ [0, 1) such that
for all x ∈ ℝ^{ℕ }and a.e. t ∈ [0, T], Tang in [7] have generalized the above results under the hypotheses
Subsequently, Meng and Tang in [13] further improved condition (1.5) with α ∈ (0, 1) by using the following assumptions
Recently, authors in [14] investigated the existence of periodic solutions for the second order nonautonomous Hamiltonian systems with pLaplacian, here p > 1, it is assumed that the nonlinearity ∇F (t, x) may grow slightly slower than x^{p1}, a typical example with p = 2 is
solutions are found as saddle points to the corresponding action functional. Furthermore, authors in [12] have extended the ideas of [14], replacing in assumptions (1.4) and (1.5) the term x with a more general function h(x), which generalized the results of [3,7,10,11]. Concretely speaking, it is assumed that there exist f(t), g(t) ∈ L^{1}(0, T; ℝ^{+}) and a nonnegative function h ∈ C([0, +∞), [0, +∞)) such that
for all x ∈ ℝ^{ℕ }and a.e. t ∈ [0, T], and that
where h be a control function with the properties:
if α = 0, h(t) only need to satisfy conditions (a)(c), here C*, K_{1 }and K_{2 }are positive constants. Moreover, α ∈ [0, 1) is posed. Under these assumptions, periodic solutions of problem (1.1) are
obtained. In addition, if the nonlinearity ∇F (t, x) grows more faster at infinity with the rate like
An interesting question naturally arises: Is it possible to handle both the case such as (1.8) and some cases like (1.4), (1.5), in which only f(t) ∈ L^{1}(0, T ; ℝ^{+}) and α ∈ [0, 1)? In this paper, we will focus on this problem.
We now state our main results.
Theorem 1.1. Suppose that F satisfies assumption (A) and the following conditions:
(S_{1}) There exist constants C ≥ 0, C* > 0 and a positive function h ∈ C(ℝ^{+}, ℝ^{+}) with the properties:
where
for all x ∈ ℝ^{ℕ }and a.e. t ∈ [0, T];
(S_{2}) There exists a positive function h ∈ C(ℝ^{+}, ℝ^{+}) which satisfies the conditions (i)(iv) and
Then, problem (1.1) has at least one solution which minimizes the functional φ given by
on the Hilbert space
with the norm
Theorem 1.2. Suppose that (S_{1}) and assumption (A) hold. Assume that
Then, problem (1.1) has at least one solution in
Theorem 1.3. Suppose that (S_{1}), (S_{3}) and assumption (A) hold. Assume that there exist δ > 0, ε > 0 and an integer k > 0 such that
for all x ∈ ℝ^{ℕ }and a.e. t ∈ [0, T], and
for all x ≤ δ and a.e. t ∈ [0, T], where
Theorem 1.4. Suppose that (S_{1}), (S_{2}) and assumption (A) hold. Assume that there exist δ > 0, ε > 0 and an integer k ≥ 0 such that
for all x ≤ δ and a.e. t ∈ [0, T]. Then, problem (1.1) has at least three distinct solutions in
Remark 1.1.
(i) Let α ∈ [0, 1), in Theorems 1.11.4, ∇F(t, x) does not need to be controlled by x^{2α }at infinity; in particular, we can not only deal with the case in which ∇F(t, x) grows slightly faster than x^{2α }at infinity, such as the example (1.8), but also we can treat the cases like (1.4), (1.5).
(ii) Compared with [12], we remove the restriction on the function f(t) as well as the restriction on the range of α ∈ [0, 1] when we are concerned with the cases like (1.8).
(iii) Here, we point out that introducing the control function h(t) has also been used in [12,14], however, these control functions are different from ours because of the distinct characters of h(t).
Remark 1.2. From (i) of (S_{1}), we see that, nonincreasing control functions h(t) can be permitted. With respect to the detailed example on this assertion, one can see Example 4.3 of Section 4.
Remark 1.3. There are functions F(t, x) satisfying our theorems and not satisfying the results in [114]. For example, consider function
where f(t) ∈ L^{1}(0, T; ℝ^{+}) and f(t) > 0 for a.e. t ∈ [0, T]. It is apparent that
for all x ∈ ℝ^{ℕ }and t ∈ [0, T]. (1.12) shows that (1.4) does not hold for any α ∈ [0, 1), moreover, note f(t) only belongs to L^{1}(0, T; ℝ^{+}) and no further requirements on the upper bound of
On the other hand, take
and
Hence, (S_{1}) and (S_{2}) are hold, by Theorem 1.1, problem (1.1) has at least one solution which minimizes
the functional φ in
What's more, Theorem 1.1 can also deal with some cases which satisfy the conditions (1.4) and (1.5). For instance, consider function
where q(t) ∈ L^{1}(0, T; ℝ^{ℕ}). It is not difficult to see that
for all x ∈ ℝ^{ℕ }and a.e. t ∈ [0, T]. Choose
Our paper is organized as follows. In Section 2, we collect some notations and give a result regrading properties of control function h(t). In Section 3, we are devote to the proofs of main theorems. Finally, we will give some examples to illustrate our results in Section 4.
2 Preliminaries
For
and
where
It follows from assumption (A) that the corresponding function φ on
is continuously differentiable and weakly lower semicontinuous on
for all
In order to prove our main theorems, we prepare the following auxiliary result, which will be used frequently later on.
Lemma 2.1. Suppose that there exists a positive function h which satisfies the conditions (i), (iii), (iv) of (S_{1}), then we have the following estimates:
Proof. It follows from (iv) of (S_{1}) that, for any ε > 0, there exists M_{1 }> 0 such that
By (iii) of (S_{1}), there exists M_{2 }> 0 such that
which implies that
where M := max{M_{1}, M_{2}}. Hence, we obtain
for all t > 0 by (i) of (S_{1}). Obviously, h(t) satisfies (1) due to the definition of h(t) and (2.4).
Next, we come to check condition (2). Recalling the property (iv) of (S_{1}) and (2.2), we get
Therefore, condition (2) holds.
Finally, we show that (3) is also true. By (iii) of (S_{1}), one arrives at, for every β > 0, there exists M_{3 }> 0 such that
Let θ ≥ 1, using (2.5) and integrating the relation
over an interval [1, S] ⊂ [1, +∞), we obtain
Thus, since
for all t ≥ M_{3}. That is,
which completes the proof. □
3 Proof of main results
For the sake of convenience, we will denote various positive constants as C_{i}, i = 1, 2, 3,.... Now, we are ready to proof our main results.
Proof of Theorem 1.1. For
which implies that
Taking into account Lemma 2.1 and (S_{2}), one has
As u → +∞ if and only if
Hence, by the least action principle, problem (1.1) has at least one solution which
minimizes the function φ in
Proof of Theorem 1.2. First, we prove that φ satisfies the (PS) condition. Suppose that
for all n. Hence, we get
for large n. On the other hand, it follows from Wirtinger's inequality that
for all n. Combining (3.4) with (3.5), we obtain
for all large n. By (3.1), (3.6), Lemma 2.1 and (S_{3}), one has
This contradicts the boundedness of {φ(u_{n})}. So,
In order to apply the saddle point theorem in [2,3], we only need to verify the following conditions:
(φ1) φ(u) → +∞ as u → +∞in
(φ2) φ(u) → ∞ as u(t) → +∞.
In fact, for all
which implies that
By Wirtinger's inequality, one has
Hence, for ε small enough, (φ_{1}) follows from (3.7).
On the other hand, by (S_{3}) and Lemma 2.1, we get
which implies that
Thus, (φ_{2}) is verified. The proof of Theorem 1.2 is completed. □
Proof of Theorem 1.3. Let
and ψ = φ. Then, ψ ∈ C^{1}(E, ℝ) satisfies the (PS) condition by the proof of Theorem 1.2. In view of Theorem 5.29 and Example 5.26 in [2], we only need to prove that
We see that
for all x ∈ ℝ^{ℕ }and a.e. t ∈ [0, T]. By (S_{1}) and Lemma 2.1, one has
for all x ≥ δ, a.e. t ∈ [0, T] and some Q(t) ∈ L^{1}(0, T; ℝ^{+}) given by
Now, it follows from (1.10) that
for all x ∈ ℝ^{ℕ }and a.e. t ∈ [0, T]. Hence, we obtain
for all u ∈ H_{k}. Then, (ψ_{1}) follows from the above inequality.
For
So, (ψ_{2}) is obtained. At last, (ψ_{3}) follows from (φ_{1}) which are appeared in the proof of Theorem 1.2. Then the proof of Theorem 1.3 is completed. □
Proof of Theorem 1.4. From the proof of Theorem 1.1, we know that φ is coercive which implies that φ satisfies the (PS) condition. With the similar manner to [4,7], we can get the multiplicity results, here we omit the details. □
4 Examples
In this section, we give some examples to illustrate our results.
Example 4.1. Consider the function
where d(t) ∈ L^{1}(0, T; ℝ^{ℕ}). Let
Example 4.2. Consider the function
where A(t), B(t) are suitable functions which insure assumption (A) hold. Also, put
Example 4.3. Consider the function
We observe that
which means ∇F(t, x) is bounded, moreover, one has
Then, by the results in [3,7,12], problem (1.1) has one solution which minimizes the functional φ in
In fact, our Theorem 1.1 can also handle this case. In this situation, let
and
So, by Theorem 1.1, problem (1.1) has one solution which minimizes the functional
φ in
Remark 4.1. Unlike the control functions in [12], where h(t) is nondecreasing, here control function
Example 4.4. Consider the function
where k(t) ∈ L^{1}(0, T; ℝ^{ℕ}). It is easy to check that
The above inequality leads to (1.4) hold with
Take
So, by the theorems in [3,7,12,13], problem (1.1) has at least one solution in
Indeed, our Theorem 1.2 can also deal with this case. Let
Furthermore, one has
Hence, (S_{1}) and (S_{3}) are true, by Theorem 1.2, problem (1.1) has at least one solution in
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
All authors typed, read and approved the final manuscript.
Acknowledgements
The authors would like to thank Professor Huicheng Yin for his help and many valuable discussions, and the first author takes the opportunity to thank Professor Xiangsheng Xu and the members at Department of Mathematics and Statistics at Mississippi State University for their warm hospitality and kindness. This Project is Supported by National Natural Science Foundation of China (Grant No. 11026213, 10871096), Natural Science Foundation of the Jiangsu Higher Education Institutions (Grant No. 10KJB110006) and Foundation of Nanjing University of Information Science and Technology (Grant No. 20080280).
References

Berger, MS, Schechter, M: On the solvability of semilinear gradient operators. Adv Math. 25, 97–132 (1977). Publisher Full Text

Rabinowitz, PH: Minimax methods in critical point theory with applications to differential equations. CBMS Reg Conf Ser in Math, Providence, RI: American Mathematical Society (1986)

Mawhin, J, Willem, M: Critical Point Theory and Hamiltonian Systems, New York: SpringerVerlag (1989)

Brezis, H, Nirenberg, L: Remarks on finding critical points. Comm Pure Appl Math. 44, 939–963 (1991). Publisher Full Text

Long, YM: Nonlinear oscillations for classical Hamiltonian systems with bieven subquadratic potentials. Nonlinear Anal. 24, 1665–1671 (1995). Publisher Full Text

Tang, CL: Periodic solutions for nonautonomous second order systems. J Math Anal Appl. 202, 465–469 (1996). Publisher Full Text

Tang, CL: Periodic solutions for nonautonomous second order systems with sublinear nonlinearity. Proc Amer Math Soc. 126, 3263–3270 (1998). Publisher Full Text

Tang, CL, Wu, XP: Periodic solutions for second order systems with not uniformly coercive potential. J Math Anal Appl. 259, 386–397 (2001). Publisher Full Text

Ekeland, I, Ghoussoub, N: Certain new aspects of the calculus of variations in the large. Bull Amer Math Soc. 39, 207–265 (2002). Publisher Full Text

Zhao, F, Wu, X: Periodic solutions for a class of nonautonomous second order systems. J Math Anal Appl. 296, 422–434 (2004). Publisher Full Text

Zhao, F, Wu, X: Existence and multiplicity of periodic solution for a class of nonautonomous secondorder systems with linear nonlinearity. Nonlinear Anal. 60, 325–335 (2005)

Wang, Z, Zhang, J: Periodic solutions of a class of second order nonautonomous Hamiltonian systems. Nonlinear Anal. 72, 4480–4487 (2010). Publisher Full Text

Meng, Q, Tang, XH: Solutions of a secondorder Hamiltonian with periodic boundary conditions. Comm Pure Appl Anal. 9, 1053–1067 (2010)

Wang, Z, Zhang, J: Periodic solutions of nonautonomous second order Hamiltonian systems with pLaplacian. Election J Differ Equ. 2009, 1–12 (2009)