- About this Journal
- Abstracting and Indexing
- Aims and Scope
- Annual Issues
- Article Processing Charges
- Articles in Press
- Author Guidelines
- Bibliographic Information
- Citations to this Journal
- Contact Information
- Editorial Board
- Editorial Workflow
- Free eTOC Alerts
- Publication Ethics
- Reviewers Acknowledgment
- Submit a Manuscript
- Subscription Information
- Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 246343, 18 pages
Boundedness of Solutions for a Class of Sublinear Reversible Oscillators with Periodic Forcing
School of Mathematics, Shandong University, Jinan, Shandong 250100, China
Received 3 February 2013; Accepted 30 April 2013
Academic Editor: Wenchang Sun
Copyright © 2013 Tingting Zhang and Jianguo Si. 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.
We study the boundedness of all solutions for the following differential equation where are odd functions, is an even function, are smooth -periodic functions, is a nonzero constant, and is a small parameter. A sufficient and necessary condition for the boundedness of all solutions of the above equation is established. Moreover, the existence of Aubry-Mather sets is obtained as well.
It is well known that the longtime behavior for periodically forced planar systems can be very intricate. For example, there are equations having unbounded solutions but with infinitely many zeros and with nearby unbounded solutions having randomly prescribed number of zeros and also periodic solutions; see . In contrast to such unbounded phenomenon Littlewood  suggested to study the boundedness of all the solutions of the following differential equation: in the following two cases:(i)superlinear case: as ;(ii)sublinear case: and as . Later, one calls this subject as Littlewood boundedness problem.
The first result in superlinear case is obtained by Morris , who showed that all solutions of are bounded, where . Later, a series results in superlinear case were obtained by several authors, see [4–13] and references therein. However, in general, it is harder to study the Lagrange stability of sublinear systems since smoothness of sublinear term is insufficient. There are only a few works in sublinear case so far. In 1999, Küpper and You  proved the first result in the study of the equation where and . Later, Liu  proved the same result for more general equation where satisfying the sublinear condition (ii) and some inequalities, and . In 2004, Ortega and Verzini  studied the boundedness of (4) in a special case with the variational method. In 2009, Wang  gave a sufficient and necessary condition for the boundedness of all solutions for sublinear equation where .
As is widely known, there is a deep similarity between reversible and Hamiltonian dynamics. Many fundamental results of the Hamiltonian systems possess reversible counterparts. On boundedness problem for sublinear reversible systems, the first results were obtained by Li , later, Yang , in the study of a sublinear reversible systems Recently, Wang  gave a sufficient and necessary condition for the boundedness of all solutions of the differential equation with , .
By the discussions about the sublinear Hamiltonian equation (1.3) in  motivations, we will study the boundedness of all solutions for a sublinear reversible system like where and . Furthermore, we also show that (8) has solutions of Mather type. The results obtained in [18–20] can be regarded as corollary of result of this paper.
Remark 1. Using the method of this paper we also can consider the more general equation provided of adding suitable conditions for . For convenience, we only consider the case .
Throughout this paper, we denote two universal positive constants without regarding their values by and , and suppose that the following conditions hold:(A1), and , and are odd, is even, and , are both -periodic functions, ;(A2) there is some positive constant such that the inequalities are satisfied for and all , where .
We decompose as , where is the average of and has zero mean value. That is and . If we write that , then it is easy to see that and have the same sign when with .
Now we state the main results of this paper.
Theorem 3. Assume that and - hold. Then there exists an such that for any , every solution of (8) is bounded if and only if .
Theorem 4. Under the conditions of Theorem 3, there is an such that, for any , (8) has a solution of Mather type with rotation number . More precisely:(i)if is rational, the solutions , , are periodic solutions of period q; moreover, in this case
(ii)if is irrational, the solution is either a usual quasi-periodic solution or a generalized one.
We recall that a solution is called generalized quasi-periodic if the closed set is a Denjoys minimal set.
2. Reversible Systems and Action-Angle Variables
In this section, we will assume that and . Firstly, we consider (8) which is equivalent to the following system: where . Then we can obtain that (13) is reversible with respect to the transformation by (A1).
Lemma 5. There exists a -invariant diffeomorphism such that (13) is transformed into the following system: where .
Proof. Introduce a transformation :
where will be determined later. Under this transformation, the system (13) is transformed into a new system as follows:
Now, we define the function by
Since , so we can obtain . Then the new system can be expressed as in (14) by direct computation.
It is easy to know that by (A1), then we can obtain that the transformation is a -invariant diffeomorphism.
Let us consider the auxiliary system which is a time-independent Hamiltonian system with Hamiltonian
Assume that is the solution of (18) with initial conditions , and let be the minimal period. We can find that and satisfy(i), ;(ii), ;(iii), ;(iv); (v); (vi), ;(vii).
Then we introduce the transformation which is where . It is easy to see that by . Since , this transformation is invariant with respect to the involutions and , and we can find that the mapping is a generalized canonical transformation by (iv). In fact, where .
Under the transformation , the system (18) is transformed into the simpler form where .
The original system (13) is transformed into the system where
Let Clearly, is odd in and is even in by the definitions of and . Thus, by the evenness of and the oddness of and we have This implies that system (24) is reversible with respect to the involutions .
Lemma 6. For , the following inequalities hold:(1),
where , , and .
Proof. (1) It is easy to know that is a sum of terms of the form
where . Meanwhile, is a sum terms of the form
Hence, we obtain
by the assumptions on and the definitions of and .
(2) From the expression of , we have
We can find that where .
(3) From the expression of , we have
(4) From the expression of , we can obtain that
(5) From the definition of , we have
(6) From the definition of , we can obtain Hence, we can know that where .
(7) From the expression of , we have
For , we define the domain
Lemma 7. There exists a -invariant diffeomorphism : such that for some . Under this transformation, (24) is transformed into the system where with
Lemma 8. For large enough, the following conclusions hold:(i), (ii).
Proof. In view of
By , we have for large enough. Hence, is uniquely determined by the contraction mapping principle. Moreover, , for some , as a consequence of the implicit function theorem and
Above all, if , from (47) and (49), we get
We note that and the right side hand is sum of the term where , , . The highest order term in is the one with , namely, . We move the part to the left hand side of (52). Since for large enough, this also provides immediately a bound on . The rest part .
Now, we proceed inductively by assuming that for the estimates hold and we wish to conclude that the same estimate holds for .
Indeed, if , we have by This proves (i) of Lemma 8.
Now we check (ii). In fact, since we have From (47), we have for sufficiently large and therefore we obtain .
By the estimates in Lemma 6, we can prove the following inequalities.
Lemma 9. For , the following inequalities hold:(1), (2), (3), (4), (5), (6), (7).
Proof. (1) From the estimates (1) and (5) of Lemmas 6 and 8, it follows that (2) Since
we can prove that
Their proofs are similar to the proofs in (1).
Next, we check the last part of . We get by the estimate in Lemma 6 and the definition of .
(3) It is clearly by (3) in Lemma 6.
(4) It is clearly by (4) in Lemmas 6 and 8.
(5) We have that From the last inequalities and (5) in Lemma 6, we obtain (6) Since we just have to prove that In fact, so we have proved (6).
(7) We have by (7) in Lemma 6.
3. The Proof of Boundedness
We define the functions , , , , , , and as Then system (41) is equivalent to the following system:
In addition, one can verify that system (70) is reversible with respect to involution .
Then some estimates on the functions and are given.
Lemma 10. The following inequalities hold:(1), (2), (3), (4), (5), (6), (7), for .