- Research
- Open access
- Published:
Infinity of subharmonics for Duffing equations with convex and oscillatory nonlinearities
Boundary Value Problems volume 2016, Article number: 223 (2016)
Abstract
The existence of infinity of subharmonics for Duffing equations with convex and oscillatory nonlinearities is shown. This result is a corollary of two theorems. These theorems, one for a weak sub-quadratic potential and another for a geometric case, roughly speaking, are complementary. The approach of this paper is based on the phase-plane analysis for the time map and using the Poincaré-Birkhoff twist theorem.
1 Introduction and the main results
Many problems in differential equations and dynamical systems are associated with the perturbations of an autonomous system. One usually concerns the existence of special kind of persistent solutions under perturbation. Recently, there are many researches on this subject using the assumption of ‘oscillatory nonlinearity’ which can be considered as a kind of nondegenerate condition at infinity in view of bifurcation; see [1, 2] and [3]. The approaches of these researches are based on the analysis of the time map for the related autonomous system combining the PoincarĂ©-Birkhoff twist theorem for the planar homeomorphism and topological degree theory.
Consider the Duffing equation
where \(g, p: {{\mathbb {R}}}\to{ {\mathbb {R}}}\) are continuous and p 2Ï€-least periodic. The related autonomous system of (1.1) is
Its energy integral is
where h is a parameter and G is the primitive of g.
It is easy to see that, if \(\liminf_{\vert x\vert \to \infty} \operatorname {sgn}(x) g(x)>0\), \(\gamma_{h}\) is a star-shaped closed curve for h large enough, its least period is the so-called time map, or period function,
where \(x_{-}=G^{-1}_{-}(h)<0<x_{+}=G^{-1}_{+}(h)\) with \(G^{-1}_{-}\), \(G^{-1}_{+}\) the left and right inverse of G, respectively.
The condition called ‘oscillatory nonlinearity’ can be expressed in terms of the time map as
In the study of bifurcations, under a small forced perturbation, the existence of persistent periodic solutions usually needs a setting of nondegenerate conditions which include the nonvanishing of the derivative of the period function (see, for instance, Chicone [4]). Thus, the condition \((\tau_{0})\) can be interpreted reasonably as a kind of nondegenerate condition at infinity for ‘global persistence’ under ‘large force’. We can understand \((\tau_{0})\) in a generalized meaning entailing that
Besides \((\tau_{0})\), some growth condition on \(g(x)\) is needed to guarantee the existence of 2Ï€-periodic solution and infinitely many subharmonics.
In [1], Ding, Iannacci, and Zanolin showed the existence of 2Ï€-periodic solution and infinitely many subharmonics under the assumptions that \(g(x)\) is globally Lipschitz and has linear growth at infinity, that is,
One of the authors generalized the above result in [2] by dropping the globally Lipschitz property and assuming the following growth conditions on \(g(x)\).
Later, Capietto, Mawhin, and Zanolin weakened the condition \((G_{0})\) in [3] to the following geometric one
They showed the existence of 2Ï€-periodic solution by developing a new continuation theorem with two functionals. Wang showed in [5] the existence of infinitely many subharmonic solutions under the same assumptions as in [3].
In this paper, we consider the Duffing equation (1.1) with convex potential. More precisely, we assume
We will prove that the convexity of the potential and the oscillatory nonlinearity imply that the existence of the infinity of persistent subharmonic solutions, that is, we have the following.
Theorem 1.1
Assume that \((g_{1})\), \((g_{2})\) and \((\tau_{0})\). Then equation (1.1) has at least one 2Ï€-periodic solution and infinitely many subharmonic solutions \(x_{k}(t)\) with minimal period \(2k\pi\). Moreover,
This theorem is a corollary of two theorems. One is in [2] and the other one is the following theorem. It considers the equation with so-called ‘weak sub-quadratic potential’ (see the condition \((G_{1})\) in the following).
Theorem 1.2
Assume \((g_{1})\) and
Then equation (1.1) has at least one 2Ï€-periodic solution, and for each \(j\in{\Bbb {N}}\) there is \(m_{j}^{*}\in{\Bbb {N}}\), such that for every \(k\ge m_{j}^{*}\) with k primes with j, there is at least one periodic solution \(x_{k}(\cdot)=x_{j,k}(\cdot)\) with minimal period \(2k\pi\). Moreover, \(x_{j,k}(\cdot)\) has exactly 2j zeros in the interval \([0,2k\pi)\) and satisfies
Theorem 1.2 is meaningful itself. We recall that the condition \((G_{1})\) is firstly introduced in [6] to guarantee the existence of 2Ï€-periodic solution. Moreover, Ding and Zanolin introduced in [7] the following sub-linear condition on the time map to guarantee the existence of infinitely many subharmonic solutions.
where \(\tau^{\pm}(h):= \vert \int_{0}^{x_{\pm}}\frac{d s}{\sqrt{h-G(s)}}\vert \).
If we consider the forced equation (1.1), we can prove that \((\tau_{1}) \Rightarrow(G_{1})\).
Actually, if the assumption \((G_{1})\) is false, then we have
which implies that
and thus there are sequences \(\{x_{m}^{\pm}\}\) with \(x_{m}^{\pm}\to\pm\infty\) as \(m\to\infty\), such that
and
Then
where \(h_{m}^{\pm}=G(x_{m}^{\pm})\), which contradicts \((\tau_{1})\).
Therefore Theorem 1.2 is a generalization of the results both in [6] and in [7].
Now we prove Theorem 1.1. Assume that \(G(x)\) is convex, then \(G(x)\le xg(x)\). \((G_{2})\) implies that \(G(x)\ge \frac{a}{2}x^{2}\), it follows that \(g(x)\ge \frac{a}{2}x\) for \(\vert x\vert \gg1\). Therefore \(\frac{G(x)}{g^{2}(x)}\leq\frac{x}{g(x)}\leq\frac{2}{a}\) for \(\vert x\vert \gg1\). Thus \((G_{0})\) holds. Hence under the assumption \((g_{1})\) and \((g_{2})\) we see that either \((G_{1})\) or \((g_{0})\) and \((G_{0})\) hold. Then Theorem 1.1 is a corollary of Theorem 1.2 and Theorem A in [2].
The key point of our argument is the estimation of the return time when the solution completes j clock-wise turns around the origin in the phase plane for given j under a forced perturbation.
In the rest of the paper we will give the details of the proof for Theorem 1.2.
2 Duffing equation with weak sub-quadratic potential
Rewrite equation (1.1) as the following equivalent form:
We will apply the PoinacrĂ©-Birkhoff twist theorem to obtain the existence of the \(2k\pi\)-periodic solution for equation (2.1) under the assumption of a weak sub-quadratic potential. The existence of a 2Ï€-periodic solution then follows from the Massera theorem.
The key point of applying the Poincaré-Birkhoff twist theorem is constructing an annulus \(\mathcal {A}\) in the \((x,y)\) phase plane bounded by two star-shaped curves \(\gamma^{+}\) and \(\gamma^{-}\), such that the solution starting from \(\gamma^{+}\) and \(\gamma^{-}\) will move more than and less than j clock-wise turns in the time interval \([t_{0}, t_{0}+2k\pi]\), respectively.
When the solution passes through the origin at some time, we cannot compute how many clock-wise turns it moves. To avoid this problem, we introduce a modified equation such that if \(z(t)=(x(t),y(t))\) is a solution of the modified equation, then \(z(t_{0})\neq(0,0)\) for some \(t_{0}\) implies that \(z(t)\neq(0,0)\) for all t. Moreover, the twist property of the fixed point obtained by using the Poinacré-Birkhoff twist theorem will help us to guarantee that the \(2k\pi\)-periodic solution we showed for the modified equation is exactly the \(2k\pi\)-periodic solution of the original equation (2.1) for sufficiently large k.
Denote by \(P=\max\{ \vert p(t)\vert \mid t\in[0,2\pi] \}\) and \({\mathcal {B}}_{\mu_{0}}(g)\) the set of all the continuously differentiable functions \(f(x)\) satisfying
where \(\mu_{0}\) is sufficient small such that \(\liminf_{\vert x\vert \to\infty} \operatorname {sgn}(x) g(x)>\mu_{0}+P\).
We consider the following modified equation:
where \(H(t,x,y)=\frac{y^{2}}{2}+K(x^{2}+y^{2})[F(x)-xp(t)]+(1-K(x^{2}+y^{2}))x^{2}\), \(F(x)=\int_{0}^{x} f(\xi)\,d\xi\) with \(f\in{\mathcal {B}}_{\mu_{0}}(g)\), and \(K\in C^{\infty}(\Bbb {R})\) satisfies that
with some given constants \(R_{2}>R_{1}>0\).
Let \(z(t;t_{0},z_{0})=(x(t;t_{0},z_{0}),y(t;t_{0},z_{0}))\) be the solution of (2.2) satisfying the initial condition \(z(t_{0};t_{0},z_{0})=z_{0}=(x_{0},y_{0})\). Then we have the following fundamental lemma.
Lemma 2.1
Assume that g satisfies \((g_{1})\) and \(f\in{\mathcal {B}}_{\mu_{0}}(g)\) for sufficiently small \(\mu_{0}\). Then each initial value problem associated with (2.2) has a unique solution \(z(t;t_{0},z_{0})=(x(t;t_{0},z_{0}),y(t;t_{0},z_{0}))\) which is well defined for \(t\in\Bbb {R}\) and \(z_{0}\neq(0,0)\) implying that \(z(t;t_{0}, z_{0})\neq(0,0)\) for all t. Moreover, for any \(L>0\), there is \(E=E(L)>0\) such that
where
Proof
f is a continuously differentiable function. The existence and uniqueness of the solution associated to the initial condition is ensured by the existence-uniqueness theorem. Moreover, the solution has continuity with respect to initial conditions. It is easy to see that \(z(t)\equiv(0,0)\) is the solution of (2.2) satisfying the initial condition \(z(t_{0};t_{0},z_{0})=(0,0)\), from which it follows that \(z_{0}\neq(0,0) \Rightarrow z(t;t_{0},z_{0})\neq(0,0)\), ∀t.
Note that equation (2.2) is the same as the equation
for \(x^{2}+y^{2} \ge R_{2}^{2}\). Then we have, for \(\vert z(t;t_{0},z_{0})\vert \gg1\),
An obvious induction shows that for any \(L>0\), there is \(E=E(L)>0\) such that
Moreover, \(l(t)\rightarrow+\infty\Leftrightarrow \vert z(t)\vert \rightarrow +\infty\). Then the above estimation implies that the global existence of the solution of (2.2) is a consequence of the continuation theorem. The lemma is thus proved. □
If \(z_{0}\neq(0,0)\) we can represent the solution \(z(t;t_{0},z_{0})\) by means of polar coordinates as
where \(\vert \cdot \vert \) is Euclidean norm of \({\Bbb {R}}^{2}\). Sometimes we write \(r(t;t_{0},z_{0})=\vert z(t;t_{0},z_{0})\vert \) and \(\theta(t;t_{0},z_{0})=\operatorname {Arg}(z(t;t_{0},z_{0}))\) for ease of notation.
Moreover, we have the following.
Lemma 2.2
Assume that the conditions of Lemma 2.1 hold. Then there is \(R_{0}>R_{2}>R_{1}>0\), such that \(\theta' (t;t_{0},r_{0},\theta_{0})<0\) whenever \(r(t;t_{0},r_{0},\theta_{0})\ge R_{0}\).
Proof
From \((g_{1})\) and \(\liminf_{\vert x\vert \to\infty} \operatorname {sgn}(x) g(x)>\mu_{0}+P\) we have \(d_{1}>0\) such that \(x(f(x)-p(t))>0\) for \(\vert x\vert \ge d_{1}\) and \(t\in\Bbb {R}\). For \(\vert z(t)\vert \ge R_{2}\), we have
Let \(R_{0}\) be a constant such that \(R_{0}\ge2\max\{d_{1},R_{2},\max\{ \vert g(x)\vert : \vert x\vert \leq d_{1}\}+\mu_{0}\}\). Then for \(r(t)\ge R_{0}\), either \(\vert x(t)\vert \ge d_{1}\), and we have \(y^{2}(t)+(f(x(t))-p(t))x(t)>0\), or \(\vert x(t)\vert < d_{1}\), which implies \(\vert y(t)\vert >\vert x(t)\vert \) and \(\vert y(t)\vert >1/2r(t)\ge1/2R_{0}\), then \(y^{2}(t)>-(f(x(t))-p(t))x(t)\). Hence \(\theta'(t)<0\) for \(r(t)\ge R_{0}\).
Lemma 2.2 concludes that \(z(t;t_{0},z_{0})\) moves clock-wise around the origin O if \(\vert z(t;t_{0}, z_{0})\vert \ge R_{0}\). □
Lemma 2.3
Assume that the conditions of Lemma 2.1 hold. Then for any solution \(z(t;t_{0},z_{0})\) of (2.2) with \(z_{0}\neq(0,0)\), we have
Proof
Note that in equation (2.2) \(yx'=y^{2}>0\) whenever \(x=0\) and \(y\neq0\). Then for any solution \(z(t;t_{0},z_{0})\) of (2.2) with \(z_{0}\neq(0,0)\), we have \(\theta' (t;t_{0},r_{0},\theta _{0})<0\) whenever \(\theta(t;t_{0},r_{0},\theta_{0})=k\pi+1/2\pi\), \(k\in \Bbb {Z}\). Thus Lemma 2.3 in [7] shows that we have \(\theta (t_{2};t_{0},r_{0},\theta_{0})-\theta(t_{1};t_{0},r_{0},\theta_{0})<\pi\) for all \(t_{2}>t_{1}\). This proves the lemma. □
The following lemma is similar to that in [7] with the modified proof as in [7].
Lemma 2.4
Assume that the conditions of Lemma 2.1 hold. Then for any constant \(j\in{\Bbb {N}}\) there is \(K_{j}>R_{0}\) and there is a continuous increasing function \(\zeta=\zeta _{j}:[K_{j}, +\infty)\rightarrow{\Bbb {R}}^{+}\), with \(\zeta_{j} (s)>s\), \(\forall s\geq K_{j}\) such that the following inference holds for each \(z(t)\) as the solution of (2.2):
Proof
Let \(z(t)\) be a solution of (2.2) and suppose that \(z(t)\ge R_{0}\) for each \(t\in I\), with I an interval. Denote
Then
for \(z(t)\in E_{1}\). Moreover, let \(I_{1}\subset I\) be a nondegenerate interval such that \(z(t)\in E_{1}\) for all \(t\in I_{1}\). Then
From the assumption \((g_{1})\), the definition of f and \(\mu_{0}\) sufficiently small, we have for \(z=(x,y)\),
Then for r sufficiently large, using similar argument as in [7], Lemma 2.7, we have two continuous increasing functions \(L_{\pm }: [r_{1},+\infty)\) with \(r_{1}>R_{0}\) sufficiently large, such that
and
Without loss of generality, we suppose that \(L_{-}(r)< r <L_{+}(r)\). Using (2.3) we have
from which it follows that
where \(\xi_{1}(r)=(L_{-})^{-1}(L_{+}(r))\) and \((\xi _{1})^{-1}(r)=(L_{+})^{-1}(L_{-}(r))\) with \(r<\xi_{1}(r)\) and \((\xi _{1})^{-1}(r)\to+\infty\) for \(r\to+\infty\).
Denote by \(E_{2}=\{ (x,y): y\le0\}\) and \(I_{2}\subset I\) be a nondegenerate interval such that \(z(t)\in E_{2}\) for all \(t\in I_{2}\). We can use a similar argument to above to obtain a continuous increasing function \(\xi_{2}: [r_{2},+\infty)\) with \(r_{2}>R_{0}\) sufficiently large, such that
Moreover, \(r<\xi_{2}(r)\) and \((\xi_{2})^{-1}(r)\to+\infty\) for \(r\to +\infty\).
Choose a continuous increasing function \(\eta(r)\ge\max\{\xi _{i}(r),i=1,2\}\) with \((\eta)^{-1}(r)\to+\infty\) for \(r\to+\infty\). Denote \(\zeta_{1}(r)=\eta\circ\eta\circ\eta(r)\). Let \(K_{1}\) be large enough such that \(K_{1}\ge\zeta_{1}(R_{0})\). Thus (2.4) and (2.5) show that if \(\vert z(t_{0})\vert \ge K_{1}\), then \(\zeta_{1}^{-1}(\vert z(t_{0})\vert )\le \vert z(t)\vert \le\zeta_{1}(\vert z(t_{0})\vert )\) before \(z(t)\) completes 1 clock-wise turn around the origin O. That is, if \(\vert z(t_{0})\vert \ge K_{1}\), \(\theta (t)\ge\theta(t_{0})-2\pi\) and \(\vert z(t)\vert \ge R_{0}\), \(\forall t\in[t_{0},t_{1}]\) then \(\zeta_{1}^{-1}(\vert z(t_{0})\vert )\le \vert z(t_{1})\vert \le\zeta_{1}(\vert z(t_{0})\vert )\). In other words, for \(r\ge K_{1}\),
The lemma is thus proved by induction. □
Let \(T_{j}(t_{0},z_{0})\) denote the minimum time in which the solution \(z(t;t_{0}, z_{0})\) of (2.2) completes j clock-wise turns, \(j\in \Bbb {N}\). In the proof of the next lemma we will use Lemma 2.4 to show that \(T_{j}(t_{0},z_{0})\) is well defined for sufficiently large \(z_{0}\). Let \(T^{+}_{j}(t_{0},z_{0})\) denote the minimum time such that if \(T\ge T^{+}_{j}(t_{0},z_{0})\) then the solution \(z(t;t_{0}, z_{0})\) of (2.2) completes at least j clock-wise turns in \([t_{0},t_{0}+T]\). Moreover, denote
Then we have the following estimations of the twist properties for the solutions of (2.2).
Lemma 2.5
Assume that the conditions of Lemma 2.1 hold. Then there exists a sequence \(\{h_{m}^{-}\}\) with \(\lim_{m\to\infty} h_{m}^{-}=+\infty\) such that \(T_{j}^{+}(h_{m}^{-})<+\infty\). Moreover, if \((G_{1})\) holds, then there exists another sequence \(\{h_{m}^{+}\}\) with \(\lim_{m\to\infty} h_{m}^{+}=+\infty\) such that \(\lim_{m\to\infty} T_{j}^{-}(h_{m}^{+})=+\infty\).
Proof
For sufficiently large h, let
Then for for any \(j\in\Bbb {N}\) and \(m\in\Bbb {N}\), let \(r^{(m)}\ge\max\{ m,K_{j+1} \}\) and choose \(h^{-}_{m}\) sufficiently large such that \(r^{-}(h^{-}_{m})\ge\zeta_{j+1}(r^{(m)})\). Let
It is easy to see that
Denote by \(L_{m}= \frac{2(j+1)\pi}{a}\). For any solution \(z(t;t_{0},z_{0})\), \(z_{0}\in\gamma_{h^{-}_{m}} \), there are two cases as follows.
-
(1)
If \(r^{(m)}\leq \vert z(t;t_{0},z_{0})\vert \leq \zeta_{j+1}(r^{+}(h^{-}_{m}))\) for \(t\in[t_{0},t_{0}+L_{m}]\), then
$$\theta(t_{0}+L_{m};t_{0},z_{0})- \theta_{0}= \int_{t_{0}}^{t_{0}+L_{m}}\theta '(t)\,dt \leq-aL_{m}\leq-2(j+1)\pi. $$ -
(2)
If there exists a time \(t_{1}'\in [t_{0},t_{0}+L_{m}) \) such that \(\vert z(t_{1}';t_{0},z_{0})\vert < r^{(m)}\) or \(\vert z(t_{1}';t_{0},z_{0})\vert >\zeta _{j+1}(r^{+}(h^{-}_{m}))\), then we have \(t_{1}\in [t_{0},t_{1}') \) such that \(\vert z(t;t_{0},z_{0})\vert \ge R_{0}\) for \(t\in[t_{0},t_{1}]\) and
$$\bigl\vert z(t_{1};t_{0},z_{0})\bigr\vert < r^{(m)},\qquad \vert z_{0}\vert \ge r^{-} \bigl(h^{-}_{m}\bigr)\ge\zeta_{j+1}\bigl(r^{(m)}\bigr), $$or
$$\bigl\vert z(t_{1};t_{0},z_{0})\bigr\vert > \zeta_{j+1}\bigl(r^{+}\bigl(h^{-}_{m}\bigr)\bigr),\qquad \vert z_{0}\vert \le r^{+}\bigl(h^{-}_{m}\bigr). $$
According to Lemma 2.4, it follows that \(z(t;t_{0},z_{0})\) completes at least \(j+1\) clock-wise turns in \([t_{0},t_{1}]\). That is,
which implies that
by using Lemma 2.3.
Hence for both cases, we show that the solution \(z(t;t_{0},z_{0})\), \(z_{0}\in\gamma_{h^{-}_{m}} \) completes at least j clock-wise turns in \([t_{0},t_{0}+L_{m}]\). Moreover, the above argument shows that for \(T\ge L_{m}\), the solution \(z(t;t_{0},z_{0})\), \(z_{0}\in\gamma_{h^{-}_{m}} \) completes at least j clock-wise turns in \([t_{0},t_{0}+T]\), from which it follows that \(T_{j}^{+}(h_{m}^{-})\leq L_{m}<+\infty\).
By the way, using the same method as employed above we can prove that if \(\vert z_{0}\vert \ge\zeta_{j+1}(K_{j+1})\) then \(T_{j}(t_{0},z_{0})\) is well defined.
On the other hand, from the assumption \((G_{1})\), we have a sequence \(\{x_{m}\}\) with \(x_{m}\to+\infty\) as \(m\to\infty\), such that \(\lim_{m\to+\infty}\frac{G(x_{m})}{x_{m}^{2}}=0\). For any given \(L>0\), choose \(m_{0}\), such that
where \(E=E(L)\) is defined as in Lemma 2.1.
Consider the solution \(z(t;t_{0},z_{0})\) starting from \(z_{0}\in \gamma_{h^{+}_{m}}\), where
If \(T_{j}(t_{0},z_{0})\le L\), then Lemma 2.1 implies that
which implies that
Note that the solution \(z(t;t_{0},z_{0})\), \(z_{0}\in\gamma_{h^{+}_{m}} \), completes at least j clock-wise turns around the origin O in \([t_{0},t_{0}+T_{j}(t_{0},z_{0})]\), then it intersects with the x-axis and y-axis which implies that there exist \(t_{1},t_{2}\in [t_{0},t_{0}+T_{j}(t_{0},z_{0})]\) such that
or
If \(y(t_{2})=0\) then \(G(x(t_{2}))\ge G(x_{m})\), which implies \(x(t_{2})\ge x_{m}\). If \(y(t_{1})=0\) then \(G(x(t_{1}))\ge G(x_{m})\), which implies \(x(t_{1})\ge x_{m}\). In both cases we have
Therefore
This is a contradiction. Hence we have proved that \(T_{j}(t_{0},z_{0})>L\) for \(z_{0}\in\gamma_{h^{+}_{m}}\) and \(f\in{\mathcal {B}}_{\mu_{0}}\), which implies that \(T_{j}^{-}(h_{m}^{+})\ge L\). Since L is arbitrary we have
The lemma is thus proved. □
Now we are in the position to prove Theorem 1.2.
Proof of Theorem 1.2
It follows from Lemma 2.5 that there exist sequences \(\{ h^{-}_{l}\}\) and \(\{h^{+}_{l}\}\) such that \(\lim_{l\to+\infty}h^{-}_{l}=+\infty\), \(\lim_{l\to+\infty }h^{+}_{l}=+\infty\), \(T_{j}^{+}(h^{-}_{l})<+\infty\), and \(\lim_{l\to+\infty }T_{j}^{-}(h^{+}_{l})=+\infty\). Let \(h_{m}^{-}\) be large enough such that \(r^{-}(h_{m}^{-})\ge K_{j+1}\), \(h^{-}_{m}\ge\zeta_{j+1}(R_{0})\) and \(T_{j}(0,z_{0})\) is well defined for every solution \(z(t;z_{0})=(x(t;x_{0},y_{0}),y(t;x_{0},y_{0}))\) starting from \(z_{0}\in\gamma _{h_{m}^{-}}\) at \(t=0\). Then there is \(m_{j}^{*}\in{\mathbb {N}}\), such that, for every \(k\ge m_{j}^{*}\), where k primes with j, we can choose \(l=l(m,k)\) sufficiently large, such that \(h_{m}^{-}< h_{l}^{+}\) and
Denote by \({\mathcal {A}}_{m,l}\) the annulus bounded by \(\gamma_{h_{m}^{-}}\) and \(\gamma_{h_{l}^{+}}\). Consider the Poincaré map
The uniqueness of the solution to initial value problems for equation (2.2) guarantees that \({\mathcal {P}}_{k}\) is an area-preserving homeomorphism such that \({\mathcal {P}}_{k}(O)=O\). Moreover, \({\mathcal {A}}_{m,l}\) are annuli bounded by strictly star-shaped Jordan curves around the origin and the inequality (2.6) implies that \({\mathcal {P}}_{k}\) is boundary twisting on the annulus \({\mathcal {A}}_{m,l}\), that is,
Hence we can use a recent version of the Poincaré-Birkhoff fixed point theoremFootnote 1 (Rebelo, [8], Corollary 2) to obtain at least two fixed points of \({\mathcal {P}}_{k}\), \(z_{1},z_{2}\in\mathcal{A}_{m,l}\) with \(z_{1}\neq z_{2}\). These fixed points are initial points of two \(2k\pi\)-periodic solutions
of (2.2), such that \(z_{1}(t)\) and \(z_{2}(t)\) satisfy
We assert that
If the assertion would not hold, then there exists \(t_{1}'\in(0,2k\pi]\) such that \(\vert z_{1}(t_{1}')\vert \leq R_{2}\) (or \(t_{2}'\in(0,2k\pi]\) such that \(\vert z_{2}(t_{2}')\vert \leq R_{2}\)). It follows that there exists \(t_{1}\in(0,t_{1}')\) such that \(\vert z_{1}(0)\vert =\vert z_{1}\vert \ge r^{-}(h^{-}_{m}) \ge\zeta_{j+1}(K_{j+1})\), \(\vert z_{1}(t_{1})\vert \le K_{j+1}\), and \(\vert z_{1}(t)\vert \ge R_{0}>R_{2}\) for \(t\in[0,t_{1}]\). According to Lemma 2.4, we have
Then Lemma 2.3 implies that
This is a contradiction. Hence \(z_{1}(t)>R_{2}\), \(\forall t \in\Bbb {R}\) (or \(z_{2}(t)>R_{2}\), \(\forall t\in \Bbb {R}\)).
Therefore we have proved that \(z_{i}(t)\) is exactly the \(2k\pi\)-periodic solution of the equation
and \(z_{i}(t)\) completes exactly j clock-wise turns around the origin O in \([0,2k\pi)\) which implies \(x_{i}(t)\) has exactly 2j zeros in \([0,2k\pi)\), where \(x_{i}(t)=\Pi_{1}(z_{i}(t))\), \(\Pi_{1}(\cdot)\) is the projection for the first component, \(i=1,2\).
Moreover, in the above argument we can choose the same \({\mathcal {A}}_{m,l}\) for any \(f\in{\mathcal {B}}_{\mu_{0}}\), \({\mu_{0}}\) sufficiently small. Further, denote the two \(2k\pi\)-periodic solutions obtained above by \(z_{f,1}(t)= z_{1}(t)\) and \(z_{f,2}(t)=z_{2}(t)\). It is easy to find a compact annulus \({\mathcal {C}}_{m,l}\) such that \(z_{f,i}(t)\), \(i=1,2\), are in \({\mathcal {C}}_{m,l}\).
Now consider equation (2.1) with \(g, p: {\mathbb {R}}\to {\mathbb {R}}\) continuous and p 2Ï€-least periodic. We construct the equations
with \(f_{q}\in{\mathcal {B}}_{\mu_{0}}\), \(f_{q}\to g\) in \({\mathcal {C}}_{m,l}\) as \(q\to\infty\). As showed previously, we have two sequences of \(2k\pi\)-periodic solutions \(z_{1}^{(q)}(t)=z_{f_{q},1}(t)\) and \(z_{2}^{(q)}(t)=z_{f_{q},2}(t)\) for the equation
in \({\mathcal {C}}_{m,l}\). Moreover, \(x_{i}^{(q)}(t)=\Pi_{1}(z_{i}^{(q)}(t))\) has exactly 2j zeros in \([0,2k\pi)\), \(i=1,2\). If \(t_{*}\) is the zero time of \(x_{i}^{(q)}(t)\), i.e. \(x_{i}^{(q)}(t_{*})=0\), then \(\vert x_{i}^{(q)'}(t_{*})\vert \ge c\), where c is a positive constant which is independent of q and i. By a standard compactness argument (see, for example, in [9]), we obtain a \(2k\pi\)-periodic solution \(z_{j,k}(t)\) (as the limitation for some subsequence of \(\{z_{1}^{(q)}(t)\}\) and \(\{z_{2}^{(q)}(t)\}\)) for equation (2.1) in \({\mathcal {C}}_{m,l}\). Then we obtain a \(2k\pi\)-periodic solution \(x_{j,k}(t)=\Pi_{1}(z_{j,k}(t))\) for equation (1.1). Since \(p(t)\) is 2Ï€-least periodic, \(x_{j,k}(t)\) has exactly 2j zeros in \([0,2k\pi)\) and k is prime with j, and \(x_{j,k}(t)\) has a minimal period \(2k\pi\). Actually, the solution \(z_{j,k}(t)=(r_{k}(t)\cos\theta _{k}(t),r_{k}(t)\sin\theta_{k}(t))\) satisfies
Moreover, \(z_{j,k}(t)\) moves exactly j clock-wise turns around the origin O in \([0,2k\pi)\). Suppose, by contradiction, that \(z_{j,k}(t)\) has a minimal period \(2l\pi\) with \(l\in\Bbb {N}\) such that \(1\leq l< k\). Then (2.7) implies that \(z_{j,k}(t)\) moves exactly q clock-wise turns around the origin O in \([0,2l\pi)\) with \(q\in\Bbb {N}\) such that \(1\leq q< j\). On the other hand, from the additivity property of the rotation we easily see that \(z_{j,k}(t)\) moves exactly kq and lj clock-wise turns around the origin O in \([0,2lk\pi)\). It follows that \(kq=lj\). Then
This contradicts that k is prime with j. The same argument works for the case when \(j=1\). Hence we have proved that \(z_{j,k}(t)\) (\(x_{j,k}(t)\)) has a minimal period \(2k\pi\).
Theorem 1.2 is thus proved. □
Notes
Usually, we can use the generalized version of the Poincaré-Birkhoff fixed point theorem by Ding [10] as in [1, 7, 9]. The result in [10], however, requires an extra assumption, i.e. the strictly star-shapedness of the outer boundary of the annular region, as recently pointed out in [11]. Now we refer to [8], Corollary 2, which is a direct reduction to the classical Poincaré-Birkhoff theorem for the standard annulus, already settled in [12]. We also refer to other versions of the Poincaré-Birkhoff theorem due to Franks [13], and Qian-Torres [14], where independent proofs are given.
References
Ding, T, Iannacci, R, Zanolin, F: Existence and multiplicity results for periodic solutions of semilinear Duffing equations. J. Differ. Equ. 105, 364-409 (1993)
Qian, D: Time maps and Duffing equations with resonance-crossing. Sci. China Ser. A 23, 471-479 (1993)
Capietto, A, Mawhin, J, Zanolin, F: A continuation theorem for periodic boundary value problems with oscillatory nonlinearities. Nonlinear Differ. Equ. Appl. 2, 133-163 (1995)
Chicone, C: Bifurcations of nonlinear oscillations and frequency entrainment near resonance. SIAM J. Math. Anal. 23, 1577-1608 (1992)
Wang, Z: Infinity of periodic solutions for Duffing equations with resonance-crossing. Chin. Ann. Math. 18, 421-432 (1997)
Fernandes, L, Zanolin, F: Periodic solutions of a second order differential equation with one-sided growth restrictions on the restoring term. Arch. Math. 51, 151-163 (1988)
Ding, T, Zanolin, F: Subharmonic solutions of second order nonlinear equations: a time-map approach. Nonlinear Anal. TMA 20, 509-532 (1993)
Rebelo, C: A note on the Poincaré-Birkhoff fixed point theorem and periodic solutions of planar systems. Nonlinear Anal. 29, 291-311 (1997)
Ding, T, Zanolin, F: Periodic solutions of Duffing’s equations with superquadratic potential. J. Differ. Equ. 97, 328-378 (1992)
Ding, W: A generalization of the Poincaré-Birkhoff theorem. Proc. Am. Math. Soc. 88, 341-346 (1983)
Calvez, PL, Wang, J: Some remarks on the Poincaré-Birkhoff theorem. Proc. Am. Math. Soc. 138, 703-715 (2010)
Brown, M, Neumann, WD: Proof of the Poincaré-Birkhoff fixed point theorem. Mich. Math. J. 24, 21-31 (1977)
Franks, J: Generalizations of the Poincaré-Birkhoff theorem. Ann. Math. 128, 139-151 (1988)
Qian, D, Torres, P: Periodic motions of linear impact oscillators via the successor map. SIAM J. Math. Anal. 36, 1707-1725 (2005)
Acknowledgements
This work is supported by the National Natural Science Foundation of China No. 11271277 and the Foundation of Wuxi Institute of Technology No. ZK201501.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All the authors contributed equally and significantly in writing this article. All the authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Wu, Y., Qian, D. Infinity of subharmonics for Duffing equations with convex and oscillatory nonlinearities. Bound Value Probl 2016, 223 (2016). https://doi.org/10.1186/s13661-016-0729-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0729-x