 Research
 Open access
 Published:
Periodic solutions of second order difference systems with even potential
Advances in Difference Equations volume 2014, Article number: 215 (2014)
Abstract
In this article, we study the multiplicity and minimality of periodic solutions to difference systems, which are globally superquadratic or subquadratic. A new technique is given to detect the minimal period of periodic solutions to autonomous systems. Some weaker conditions than a globally subquadratic condition are obtained to guarantee the existence of periodic solutions with prescribed minimal period to autonomous system.
1 Introduction
On one hand, difference equations have been widely used to describe reallife situations in computer science, economics, neural network, ecology, cybernetics, etc. On the other hand, they are also natural consequences of the discretization of differential equations. So it is worthwhile to explore this topic. Many tools are used to study the existence of all kinds of solutions to discrete systems. A powerful tool is critical point theory, which firstly was introduced by Guo and Yu in 2003 to study the existence of periodic solutions to a difference system (cf. [1–3]). Since then, the study of discrete dynamic systems has got considerable development. We refer to boundary value problems (cf. [4, 5]), periodic solutions (cf. [6, 7]), homoclinic orbits (cf. [8, 9]), and heteroclinic orbits (cf. [10, 11]).
As is well known, the minimal periodic problem is an important but difficult problem. As far as the author knows, the study of solutions with a prescribed minimal period began in 2004. In that year, by estimating the energy of a variational functional, Yu et al. (cf. [12]) studied the existence of subharmonic solutions with a prescribed minimal period to a discrete forced pendulum equation. More recently, by making use of the Clark dual method, Bin (cf. [13]), Long (cf. [14]) and Long et al. (cf. [15]) studied the existence and multiplicity of periodic solutions with a prescribed minimal period to difference systems. Because of the lack of methods, results in this field are scarce.
It is well known that the Nehari manifold has been introduced by Nehari in 1960 (cf. [16, 17]) and developed by Szulkin and Weth in 2010 (cf. [18]). It has been used widely to study the existence of ground state solutions to ordinary differential systems, partial differential systems, and difference systems (cf. [19–21]). A ground state solution is a solution which possesses the minimal energy of all solutions. Since such a minimality can be used to prove the minimal periods of solutions, it has been used to study the existence of period solutions with prescribed minimal period to ordinary differential equations (cf. [22–25]).
Motivated by the above references, in this paper, one attempts to make use of a Nehari manifold to study the multiplicity and minimality of periodic solutions to difference systems. When the systems are globally superquadratic or subquadratic, by restricting our discussion to the Nehari manifold, firstly, we study the existence of multiple periodic solutions to nonautonomous systems; secondly, we study the existence of periodic solutions with a prescribed minimal period to autonomous systems. Also, some subquadratic conditions, which are weaker than the globally subquadratic condition, are obtained to guarantee the existence of periodic solutions with prescribed minimal period to autonomous system.
For convenience, we denote by ℕ, ℤ, ℝ the sets of all natural numbers, integers, and real numbers, respectively. For a,b\in \mathbb{Z} with a\le b, define Z[a,b]=\{a,a+1,\dots ,b\}. For m\in \mathbb{N}, denote by {\mathbb{R}}^{m} the Euclidean space with the usual inner product (\cdot ,\cdot ) and norm \cdot .
Consider the nonautonomous difference system
where {x}_{n}\in {\mathbb{R}}^{m}, △ is a difference operator defined by \mathrm{\u25b3}{x}_{n}={x}_{n+1}{x}_{n} and {\mathrm{\u25b3}}^{2}{x}_{n}=\mathrm{\u25b3}(\mathrm{\u25b3}{x}_{n}).
Assume that:
(F1) there exists an even function F\in {C}^{2}(\mathbb{R}\times {\mathbb{R}}^{m},\mathbb{R}) such that f(t,z) is the gradient of F(t,z) with respect to z, i.e.,
(F2) there exists a positive integer T>0 such that
(F3) there exists a \alpha >1 such that
where {f}^{\prime}(t,\cdot ) denotes the Hermite matrix of F(t,\cdot );
(F4) there exists a \beta \in (0,1) such that
Remark 1 If F satisfies (F1), (F2), and (F3), without loss of generality, we can assume that F(t,0)=0 for all t\in \mathbb{R}. Otherwise, there exists a twice continuously differentiable function g(t) such that F(t,0)=g(t). Let \stackrel{\u02c6}{F}(t,z)=F(t,z)g(t). Then \stackrel{\u02c6}{F} also satisfies (F1), (F2), and (F3) with F replaced by \stackrel{\u02c6}{F}. Similarly, if F satisfies (F1), (F2), and (F4), we can assume that F(t,0)=0 for all t\in \mathbb{R}.
For a nonautonomous system, we have the following two results.
Theorem 1 Suppose that F satisfies (F1), (F2), and (F3). Then (1) has at least m[(T1)/2]1 distinct pairs of different Tperiodic solutions.
Theorem 2 Suppose that F satisfies (F1), (F2), and (F4). Then (1) has at least m[(T1)/2]1 distinct pairs of different Tperiodic solutions.
Consider the autonomous difference system
Assume that F satisfies
(F5) there exists an even function F\in {C}^{2}({\mathbb{R}}^{m},\mathbb{R}) such that f(z) is the gradient of F(z), i.e.,
(F6) there exists a {\alpha}^{\prime}>1 such that
where {f}^{\prime}(\cdot ) denotes the Hermite matrix of F(\cdot );
(F7) there exists a {\beta}^{\prime}\in (0,1) such that
Remark 2 If F satisfies (F5) and (F6) (respectively, (F5) and (F7)), without loss of generality, we can assume that F(0)=0.
For an autonomous system, we have the following two results.
Theorem 3 Suppose that F satisfies (F5) and (F6). Then, for any integer P>1, (2) possesses at least a periodic solution with minimal period P.
Theorem 4 Suppose that F satisfies (F5) and (F7). Then, for any integer P>1, (2) possesses at least a periodic solution with minimal period P.
Now, one weakens the conditions (F5) and (F7). Assume that F satisfies the following conditions:
(F8) there exists an even function F\in {C}^{1}({\mathbb{R}}^{m},\mathbb{R}) such that f(z) is the gradient of F(z), i.e.,
(F9) there exist constants {G}_{1}>0, 0<\gamma <2 such that for all x\in {\mathbb{R}}^{m} and x\ge {G}_{1},
(F10) there exist constants 0<{G}_{2}<1, {M}_{1}>0 and 0<{\gamma}^{\prime}<2 such that for all x\in {\mathbb{R}}^{m} and x<{G}_{2},
Remark 3 Assume that F satisfies (F8) and (F9). Then there exist some positive constants {M}_{2} and {M}_{3} such that, for all x\in {\mathbb{R}}^{m},
Theorem 5 Suppose that F satisfies (F8), (F9), and (F10). Then, for any integer P>1, (2) possesses at least a periodic solution with minimal period P.
The rest of this paper is divided into two parts. In Section 2, we study the multiplicity of periodic solutions to a nonautonomous system. In Section 3, firstly, we study the existence of periodic solutions with a prescribed minimal period to an autonomous system, which is globally superquadratic or subquadratic; secondly, some conditions, which are weaker than the globally subquadratic condition, are given to guarantee the existence of periodic solutions with prescribed minimal period to autonomous system.
2 Nonautonomous difference system
2.1 Preparations
By a similar argument to [2], we can build the space {E}_{T}
{E}_{T} is a Hilbert space equipping with the following norm and inner product
It is easy to check that {E}_{T} is linearly homeomorphic to {\mathbb{R}}^{mT}, which can also be identified with {\mathbb{R}}^{mT}.
For any s>1, we can also define {L}^{s} norm on {E}_{T} as follows:
Obviously, \parallel \cdot \parallel ={\parallel \cdot \parallel}_{2}. Since the space {E}_{T} is a finitedimensional space, all norms defined on it are equivalent. Hence, there exists a {C}_{1,s}>1 such that
The variational functional corresponding to (1) defined on {E}_{T} is
where x={({x}_{1}^{\tau},{x}_{2}^{\tau},\dots ,{x}_{T}^{\tau})}^{\tau}, A={P}^{1}CP, C=diag{(B,B,\dots ,B)}_{mT\times mT}. Here τ denotes the transposition of a vector and B, P are matrices defined in [2].
Since {E}_{T} is linearly homeomorphic to {\mathbb{R}}^{mT}, it follows from (F1) that J can be viewed as a twice continuously differentiable functional defined on a finitedimensional Hilbert space. Thus, for any x,y,z\in {E}_{T}, one has
It is easy to check that the critical points of J are Tperiodic solutions of (1).
Similarly to reference [12], the eigenvalues of B can be given by
By matrix theory, A has T eigenvalues {\lambda}_{0},{\lambda}_{1},\dots ,{\lambda}_{T1}, each of multiplicity m. Clearly, 0 is an eigenvalue of A and set \eta ={({\eta}_{1},{\eta}_{2},\dots ,{\eta}_{m})}^{\tau} the eigenvector associated to 0. If T is even, {\lambda}_{T/2}=4 is also an eigenvalue of A and set {\eta}^{\prime}={({\eta}_{1}^{\prime},{\eta}_{2}^{\prime},\dots ,{\eta}_{m}^{\prime})}^{\tau}, the eigenvector associated to {\lambda}_{T/2}. For any k\in Z[1,\lfloor (T1)/2\rfloor ], where \lfloor \cdot \rfloor denotes the upper integral function, set
where {a}_{k},{b}_{k}\in {\mathbb{R}}^{m}. Then {\eta}_{n}^{k,1}, {\eta}_{n}^{k,2} are eigenvectors of A corresponding to eigenvalue {\lambda}_{k}. Denote by {W}_{i} (i=1,2,3,4) the spaces defined as follows:
Then dim({W}_{1})=m, dim({W}_{2})=dim({W}_{3})=m\lfloor (T1)/2\rfloor and dim({W}_{4})=m if T is even. Also, we have
Thus, for any x\in {E}_{T}, {x}_{n} has the form of
where a, b, {a}_{k}, {b}_{k} (k=1,2,\dots ,\lfloor (T1)/2\rfloor) are all constant vectors of {\mathbb{R}}^{m}.
Now, we define a subspace of {E}_{T} as follows:
Obviously, {\tilde{E}}_{T}={W}_{3}. Thus dim({\tilde{E}}_{T})=m\lfloor (T1)/2\rfloor. For any x\in {\tilde{E}}_{T}, no matter T is even or odd, {x}_{n} has a Fourier expansion
Consider the following eigenvalue problem:
Problem (3) has \lfloor (T1)/2\rfloor eigenvalues, each of them of multiplicity m. The eigenvalues of (3) are {\lambda}_{k}=4{sin}^{2}(k\pi /T), where k=1,2,\dots ,\lfloor (T1)/2\rfloor. Obviously, the smallest eigenvalue is {\lambda}_{1} and the largest eigenvalue is {\lambda}_{\lfloor (T1)/2\rfloor}, which is denoted by {\lambda}_{max}.
Now we give a useful lemma. Since the proof is standard, we omit it.
Lemma 1 If x is a critical point of J restricted on {\tilde{E}}_{T}, then x is also a critical point of J on {E}_{T}.
At the end of this subsection, two useful lemmas are given.
Suppose that H be a real Banach space and M is a closed symmetric {C}^{1}submanifold of H with 0\notin M. Suppose that \varphi \in {C}^{1}(M,\mathbb{R}).
Lemma 2 [26]
Suppose that ϕ is even and bounded below. Define
where {\mathrm{\Gamma}}_{j}:=\{A\subset M:A=A,A\subset H\setminus \{0\},A\mathit{\text{is compact and}}\gamma (A)\ge j\}. If {\mathrm{\Gamma}}_{k}\ne \mathrm{\varnothing} for some k\ge 1 and if ϕ satisfies the (PS)_{ c } for all c={c}_{j}, j=1,2,\dots ,k, then ϕ has at least k distinct pairs of critical points.
Lemma 3 [18]
If ϕ is bounded below and satisfies the (PS) condition, then c:={inf}_{M}\varphi is attained and is a critical value of ϕ.
2.2 Superquadratic case
In this subsection, we consider the existence of multiple periodic solutions of (1), where F satisfies (F1), (F2), and (F3). Arguing similarly to [25], we can prove the following lemma.
Lemma 4 If F satisfies (F1), (F2), and (F3), then 0<(1+\alpha )F(t,x)\le (f(t,x),x) for all x\in {\mathbb{R}}^{m}\setminus \{0\}. Also,
where \overline{M}={max}_{\{t\mid 0\le t\le T\}}{max}_{x=1}F(t,x) and \underline{M}={min}_{\{t\mid 0\le t\le T\}}{min}_{x=1}F(t,x).
Let h(x)=\u3008{J}^{\prime}(x),x\u3009. Define a Nehari manifold ℳ on {\tilde{E}}_{T} as follows:
By a similar argument to reference [22], one can prove the following lemma.
Lemma 5 ℳ is {C}^{1}manifold with dimension m\lfloor (T1)/2\rfloor 1. If {x}_{0} is a critical point of J restricted on ℳ, then {x}_{0} is also a critical point of J restricted on {\tilde{E}}_{T}.
By Lemmas 1 and 5, to search for periodic solutions of (1), we need find critical points of J restricted on ℳ.
Lemma 6 Fixing x\in {\tilde{E}}_{T}\setminus \{0\}, there exists a unique {t}_{x}>0 such that {t}_{x}x\in \mathcal{M}.
Proof Fixing x\in {\tilde{E}}_{T}\setminus \{0\}, define {\phi}_{x}(t):=J(tx) for t\in (0,+\mathrm{\infty}). Obviously, {\phi}_{x}\in {C}^{2}. It is easy to check that {\phi}_{x}^{\prime}(t)=0 if and only if tx\in \mathcal{M}.
If 0<t<1/\parallel x\parallel is small enough, then t{x}_{n}<1. It follows from Lemma 4 that F(n,t{x}_{n})\le \overline{M}{t{x}_{n}}^{\alpha +1}. Thus
Since \alpha >1, there exists a {t}_{1}>0 depending only on \parallel x\parallel such that
Denote by {A}_{0}(x)=\{n\in Z[1,T]\mid {x}_{n}\ne 0\}. Obviously, {A}_{0}(x)\ne \mathrm{\varnothing}. If t>1/min\{{x}_{n}\mid n\in {A}_{0}(x)\}, then t{x}_{n}>1 for all n\in {A}_{0}(x). It follows from Lemma 4 again that
Since \alpha >1, {\phi}_{x}(t)<0 when t>1 is large enough. Thus the Rolle Mean Value Theorem implies that there exists a {t}_{x}>0 such that
Claim: There exists a unique {t}_{x}>0 satisfying (4).
Suppose, to the opposite, that there exist 0<{t}_{1}<{t}_{2} satisfying (4). By a direct computation, we have
For i=1,2, since {\phi}_{x}^{\prime}({t}_{i})=0, then {t}_{i}\u3008x,Ax\u3009={\sum}_{n=1}^{T}(f(n,{t}_{i}{x}_{n}),{x}_{n}). It follows from (F3) that
Thus, there exists a {t}_{3}\in ({t}_{1},{t}_{2}) satisfying {\phi}_{x}({t}_{3})={min}_{{t}_{1}\le {t}_{3}\le {t}_{2}}{\phi}_{x}(t). Consequently, {\phi}_{x}^{\prime}({t}_{3})=0 and {\phi}_{x}^{\prime \prime}({t}_{3})\ge 0. However, by a similar argument to (5), {\phi}_{x}^{\prime \prime}({t}_{3})<0, which is a contradiction. Thus {t}_{x} is unique. □
Since {\phi}_{x}^{\prime}({t}_{x})=0 and {\phi}_{x}^{\prime \prime}({t}_{x})<0, then {\phi}_{x}({t}_{x})={max}_{t\in (0,\mathrm{\infty})}{\phi}_{x}(t). Hence J(tx) restricted on (0,\mathrm{\infty}) attains its maximum at {t}_{x}.
Lemma 7 J satisfies the (PS) condition on ℳ.
Proof Assume that \{{x}^{k}\}\subset \mathcal{M} is a (PS) sequence for J. Then there exists a {M}_{4}\ge 0 such that J({x}^{k})\le {M}_{4} for all m\in \mathbb{N} and {J}^{\prime}({x}^{k})\to 0 as k\to \mathrm{\infty}. Set
Since F is continuous, there exists a {M}_{5}>0 such that
Then
Thus \underline{M}{C}_{1,1+\alpha}^{(1+\alpha )}{\parallel {x}^{k}\parallel}^{1+\alpha}1/2{\lambda}_{max}{\parallel {x}^{k}\parallel}^{2}\le {M}_{4}+T{M}_{5}. Since \alpha >1, \{\parallel {x}^{k}\parallel \} is bounded. Since {\tilde{E}}_{T} is a finitedimensional space, there exists a convergent subsequence of \{{x}^{k}\}. □
Define a new map
It follows from Lemma 6 that g is a bijection whose inverse {g}^{1} is given by {g}^{1}(x)=x/\parallel x\parallel.
Lemma 8 {C}_{1}={inf}_{x\in \mathcal{M}}J(x)>0.
Proof For any x\in \mathcal{M}, since J(x)={sup}_{t\in (0,+\mathrm{\infty})}J(tx)={sup}_{t\in (0,+\mathrm{\infty})}J(tx/\parallel x\parallel ), it follows that
To prove that {C}_{1}>0, one only need to show that {inf}_{x\in {S}^{1}}{sup}_{t\in (0,+\mathrm{\infty})}J(tx)>0.
Arguing similarly to Lemma 6, there exists a {t}_{4}>0, which is independent of x, such that
Setting t={t}_{4}/2, one gets
Thus
□
Proof of Theorem 1 Because of (F2), ℳ is a closed symmetric manifold and 0\notin \mathcal{M}. It follows from Lemma 5 that ℳ is a {C}^{1} manifold with dimension m\lfloor (T1)/2\rfloor 1. By Lemmas 7 and 8, J is bounded from below and satisfies the (PS) condition. It is easy to check that J is even. Then Lemma 2 implies that J has at least m\lfloor (T1)/2\rfloor 1 distinct pairs of critical points. Thus (1) possesses at least m\lfloor (T1)/2\rfloor 1 distinct pairs of periodic solutions. □
2.3 Subquadratic case
In this subsection, we consider the multiplicity of periodic solutions of (1), where F satisfies (F1), (F2), and (F4). In order to prove Theorem 2, we consider the functional {J}_{1}=J and the Nehari manifold {\mathcal{M}}_{1} is defined as {\mathcal{M}}_{1}:=\{x\in {\tilde{E}}_{T}\setminus \{0\}\mid \u3008{J}_{1}^{\prime}(x),x\u3009=0\}. Since the technique of the proof of Theorem 2 is just the same as that of Theorem 1, where J and ℳ are replaced by {J}_{1} and {\mathcal{M}}_{1}, we omit it here.
3 Autonomous difference equations
3.1 Variational framework
In this section, we consider the existence of periodic solutions with any prescribed minimal period of (2), that is, for any given positive integer P, we search for periodic solutions of (2) with minimal period P.
The argument of this subsection is similar to that in Section 2.1. Let
and equip {E}_{P} with the inner product {\u3008\cdot ,\cdot \u3009}_{P} as follows:
Then {E}_{P} is a Hilbert space, which is homeomorphic to {\mathbb{R}}^{mP}. Denote by {\parallel \cdot \parallel}_{P} the norm introduced by {\u3008\cdot ,\cdot \u3009}_{P}.
Define the {L}^{s} norm on {\tilde{E}}_{P} by
Then {L}^{s} is equivalent to {\parallel \cdot \parallel}_{P} and there exists {C}_{2,s}>0 such that
The variational functional corresponding to (2) defined on {E}_{P} is
where #D is a matrix of order mp. Then I is twice continuously differentiable. The critical points of I are Pperiodic solutions of (2).
Define a subspace of {E}_{P} as follows:
Then the eigenvalue problem
has \lfloor (P1)/2\rfloor solutions, each of them of multiplicity m. The smallest eigenvalue is {\overline{\lambda}}_{1}=4{sin}^{2}(\pi /P) and the largest eigenvalue is {\overline{\lambda}}_{\lfloor (P1)/2\rfloor}, which is denoted by {\overline{\lambda}}_{max}.
Lemma 9 If x is a critical point of I restricted on {\tilde{E}}_{P}, then x is also a critical point of I on the whole space {E}_{P}.
At the end of this subsection, we define a Nehari manifold \overline{\mathcal{M}} on {\tilde{E}}_{P} as follows:
3.2 Superquadratic case
In this subsection, we assume that F satisfies (F5) and (F6). The main target of this subsection is to prove Theorem 3. A similar argument to Section 2.2, one can check the following facts:

(i)
0<(1+\alpha )F(x)\le (f(x),x) for all x\in {\mathbb{R}}^{m}\setminus \{0\}. Also,
F(x)\le {\overline{M}}^{\prime}{x}^{\alpha +1},\phantom{\rule{1em}{0ex}}\text{when}x\le 1,\phantom{\rule{2em}{0ex}}F(x)\ge {\underline{M}}^{\prime}{x}^{\alpha +1}\phantom{\rule{1em}{0ex}}\text{when}x\ge 1,
where {\overline{M}}^{\prime}={max}_{x=1}F(x) and {\underline{M}}^{\prime}={min}_{x=1}F(x);

(ii)
\overline{\mathcal{M}} is a {C}^{1} manifold;

(iii)
critical points of I restricted on \overline{\mathcal{M}} are also critical points of I restricted on {\tilde{E}}_{P};

(iv)
for any x\in {\tilde{E}}_{P}\setminus \{0\}, there exists a unique {t}_{x} such that {t}_{x}x\in \overline{\mathcal{M}} and I({t}_{x}x)={max}_{t\in (0,\mathrm{\infty})}I(tx);

(v)
I restricted on \overline{\mathcal{M}} satisfies the (PS) condition;

(vi)
I restricted on \overline{\mathcal{M}} is bounded from below and {C}_{2}={inf}_{x\in \overline{\mathcal{M}}}I(x)>0.
Proof of Theorem 3 It follows from Lemma 3 that {C}_{2} is a critical value. Denote by \tilde{x} the critical point of I corresponding to {C}_{2}. Then \tilde{x} is a Pperiodic solution of (2). It is easy to check that \tilde{x} is a nonconstant periodic solution.
Claim: \tilde{x} has P as its minimal period.
Suppose, to the opposite, that there exists a positive integer k\ge 2 such that \tilde{x} has P/k as its minimal period. Define \tilde{y}=\{{\tilde{y}}_{l}\mid l\in Z[1,P]\} as follows:
Since \tilde{x}\in \overline{\mathcal{M}}, then \tilde{y}\in {\tilde{E}}_{P}\setminus \{0\}. Thus there exists a {r}_{\tilde{y}}>0 such that {r}_{\tilde{y}}\tilde{y}\in \overline{\mathcal{M}}. Then
This contradicts {r}_{\tilde{y}}\tilde{y}\in \overline{\mathcal{M}}. Hence \tilde{x} has P as its minimal period. □
3.3 Subquadratic case (I)
In this subsection, we assume that F satisfies (F5) and (F7). A similar argument to Section 2.2, we can prove the following facts:

(I)
0<(f(x),x)\le (1+{\beta}^{\prime})F(x) for all x\in {\mathbb{R}}^{m}\setminus \{0\}. Also,
F(x)\ge {\underline{M}}^{\prime}{x}^{{\beta}^{\prime}+1},\phantom{\rule{1em}{0ex}}\text{when}x\le 1,\phantom{\rule{2em}{0ex}}F(x)\le {\overline{M}}^{\prime}{x}^{{\beta}^{\prime}+1},\phantom{\rule{1em}{0ex}}\text{when}x\ge 1,
where {\underline{M}}^{\prime}, {\overline{M}}^{\prime} are defined in Section 3.2;

(II)
\overline{\mathcal{M}} is a {C}^{1} manifold;

(III)
critical points of I restricted on \overline{\mathcal{M}} are critical points of I restricted on {\tilde{E}}_{P};

(IV)
for any x\in {\tilde{E}}_{P}\setminus \{0\}, there exists a unique {t}_{x} such that {t}_{x}x\in \overline{\mathcal{M}} and {I}_{1}({t}_{x}x)={min}_{t\in (0,\mathrm{\infty})}{I}_{1}(tx);

(V)
I restricted on \overline{\mathcal{M}} satisfies the (PS) condition.
Lemma 10 Assume that F satisfies (F5) and (F7). Then I restricted on {\tilde{E}}_{P} is bounded from below.
Proof It follows from Fact (I) that F(x)\le {\overline{M}}^{\prime}{x}^{{\beta}^{\prime}+1} when x\ge 1. Since F is continuous, there exists a {M}_{6}>0 such that F(x)\le {M}_{6} when x\le 1. Consequently, F(x)\le {\overline{M}}^{\prime}{x}^{{\beta}^{\prime}+1}+{M}_{6} for all x\in {\mathbb{R}}^{m}. Thus
Since {\beta}^{\prime}\in (0,1), there exists a constant {C}_{3} such that {I}_{1}(x)\ge {C}_{3} for all x\in {\tilde{E}}_{P}. □
Because of Lemma 10, I restricted on \overline{\mathcal{M}} is bounded from below. Denote by {C}_{4}={inf}_{x\in \overline{\mathcal{M}}}I(x). A similar argument to Lemma 8, we can prove that {C}_{4}<0.
Proof of Theorem 4 It follows from Lemma 3 that {C}_{4} is a critical value. Denote by \stackrel{\u02c6}{x} the critical point of I corresponding to {C}_{4}. Then \stackrel{\u02c6}{x} is a nonconstant Pperiodic solution of (2). By a similar discussion to the proof of Theorem 3, we can prove that \stackrel{\u02c6}{x} has P as its minimal period. □
3.4 Subquadratic case (II)
In this subsection, we assume that F satisfies (F8), (F9), and (F10). By a similar argument to Lemma 10, we have the following lemma.
Lemma 11 Assume that F satisfies (F8), (F9), and (F10). Then I restricted on {\tilde{E}}_{P} is bounded from below.
Lemma 12 {C}_{5}={inf}_{x\in {\tilde{E}}_{P}}I(x)<0.
Proof By (F10), F(z)\ge {M}_{1}{z}^{{\gamma}^{\prime}} if x<{G}_{2}. Then, for any x\in {\tilde{E}}_{P} with {\parallel x\parallel}_{P}<{G}_{2}, we have
Since 0<{\gamma}^{\prime}<2, if 0<{\parallel x\parallel}_{P}<min\{{G}_{2},{[{M}_{1}{C}_{3,{\gamma}^{\prime}}^{{\gamma}^{\prime}}/{\overline{\lambda}}_{max}]}^{1/(2{\gamma}^{\prime})}\}, then
Hence {C}_{5}={inf}_{x\in {\tilde{E}}_{P}}I(x)<0. □
Lemma 13 I restricted on {\tilde{E}}_{P} satisfies the (PS) condition.
Proof Assume that \{{x}^{k}\}\subset {\tilde{E}}_{P} is a (PS) sequence for I. Then there exists a {M}_{7}\ge 0 such that I({x}^{k})\le {M}_{7} for all k\in \mathbb{N} and {I}^{\prime}({x}^{k})\to 0 as k\to \mathrm{\infty}. Then
Thus 1/2{\overline{\lambda}}_{1}{\parallel {x}^{k}\parallel}^{2}{M}_{2}{C}_{2,\gamma}^{\gamma}{\parallel {x}^{k}\parallel}^{\gamma}\le {M}_{3}P+{M}_{7}. Since \gamma <2, it follows that \{{x}_{k}\} is bounded. Since {\tilde{E}}_{T} is a finitedimensional space, there exists a convergent subsequence of \{{x}^{k}\}. □
Proof of Theorem 5 Let \{{x}^{k}\}\subset {\tilde{E}}_{P} be a minimal sequence of I, that is, I({x}^{k})\to {C}_{5} as k\to \mathrm{\infty}. By the Ekeland variational principle, {I}^{\prime}({x}^{k})\to 0 as k\to \mathrm{\infty}. Since I satisfies the (PS) condition, {C}_{5} is a critical point of I restricted on {\tilde{E}}_{P}. Denote by \overline{x} the critical point of I corresponding to critical value {C}_{5}. Then \overline{x} is a periodic solution of (2). It is easy to check that \overline{x} is a nonconstant Pperiodic solution. By a similar discussion to the proof of Theorem 3, we can prove that \overline{x} has P as its minimal period. □
References
Guo ZM, Yu JS: Existence of periodic and subharmonic solutions for secondorder superlinear difference equations. Sci. China Ser. A 2003, 46: 506515. 10.1007/BF02884022
Guo ZM, Yu JS: Existence of periodic and subharmonic solutions to subquadratic secondorder equations. J. Lond. Math. Soc. 2003, 68: 419430. 10.1112/S0024610703004563
Guo ZM, Yu JS: Periodic and subharmonic solutions for superquadratic discrete Hamiltonian systems. Nonlinear Anal. 2003, 55: 969983. 10.1016/j.na.2003.07.019
Tian Y, Du ZJ, Ge WG: Existence results for discrete SturmLiouville problem via variational methods. J. Differ. Equ. Appl. 2007, 13: 467478. 10.1080/10236190601086451
Yu JS, Guo ZM: Boundary value problems of discrete generalized EmdenFoeler equation. Sci. China Ser. A 2006, 49: 13031314. 10.1007/s114250061999z
Mawhin J: Periodic solutions of second order nonlinear difference systems with ϕ Laplacian: a variational approach. Nonlinear Anal. 2012, 75: 46724687. 10.1016/j.na.2011.11.018
Zhang H, Li ZX: Periodic solutions for a class of nonlinear discrete Hamiltonian systems via critical point theory. J. Differ. Equ. Appl. 2010, 16: 13811391. 10.1080/10236190902821689
Lin XY, Tang XH: Existence of infinitely many homoclinic orbits in discrete Hamiltonian systems. J. Math. Anal. Appl. 2011, 373: 5972. 10.1016/j.jmaa.2010.06.008
Ma MJ, Guo ZM: Homoclinic orbits for second order selfadjoint difference equations. J. Math. Anal. Appl. 2006, 323: 513521. 10.1016/j.jmaa.2005.10.049
Xiao HF, Yu JS: Heteroclinic orbits for a discrete pendulum equation. J. Differ. Equ. Appl. 2011, 17: 12671280. 10.1080/10236190903167991
Zhang H, Li ZX: Heteroclinic orbits and heteroclinic chains for a discrete Hamiltonian system. Sci. China Ser. A 2010, 53: 15551564. 10.1007/s1142501040094
Yu JS, Long YH, Guo ZM: Subharmonic solutions with prescribed minimal period of a discrete forced pendulum equation. J. Dyn. Differ. Equ. 2004, 16: 575586. 10.1007/s1088400442922
Bin HH: Subharmonics with minimal periods for convex discrete Hamiltonian systems. Abstr. Appl. Anal. 2013., 2013: Article ID 508247
Long YH: Applications of Clark duality to periodic solutions with minimal period for discrete Hamiltonian systems. J. Math. Anal. Appl. 2008, 342: 726741. 10.1016/j.jmaa.2007.10.075
Long YH, Guo ZM, Shi HP: Multiple periodic solutions with minimal period for second order discrete system. Acta Appl. Math. 2010, 110: 181191. 10.1007/s104400089396y
Nehari Z: On a class of nonlinear secondorder differential equations. Trans. Am. Math. Soc. 1960, 95: 101123. 10.1090/S00029947196001118988
Nehari Z: Characteristic values associated with a class of nonlinear second order differential equations. Acta Math. 1961, 105: 141175. 10.1007/BF02559588
Szulkin A, Weth T: The method of Nehari manifold. In Handbook of Nonconvex Analysis and Applications. International Press, Somerville; 2010.
Pankov A: Periodic nonlinear Schrödinger equation with application to photonic crystals. Milan J. Math. 2005, 73: 259287. 10.1007/s0003200500478
Pankov A: On decay of solutions to nonlinear Schrödinger equations. Proc. Am. Math. Soc. 2008, 136: 25652570. 10.1090/S0002993908094847
Szulkin A, Weth T: Ground state solutions for some indefinite variational problems. J. Funct. Anal. 2009, 257: 38023822. 10.1016/j.jfa.2009.09.013
Ambrosetti A, Mancini G: Solutions of minimal period for a class of convex Hamiltonian systems. Math. Ann. 1981, 255: 405421. 10.1007/BF01450713
Deng ST: Minimal periodic solutions of a class of Hamiltonian systems. Acta Math. Sin. 1984, 27: 664675. (in Chinese)
Magrone, P: Critical point methods for indefinite nonlinear Elliptic equations and Hamiltonian systems. PhD thesis, Universitá Degli Studi Di Roma ‘Tor Vergata’ (2001)
Xiao YM: Periodic solutions with prescribed minimal period for the second order Hamiltonian systems with even potentials. Acta Math. Sin. Engl. Ser. 2010, 26: 825830. 10.1007/s1011400983052
Szulkin A:LjusternikSchnirelmann theory on {C}^{1}manifold. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 1988, 5: 119139.
Acknowledgements
This project is supported by NSFC (No. 11126063).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as 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
Xiao, H. Periodic solutions of second order difference systems with even potential. Adv Differ Equ 2014, 215 (2014). https://doi.org/10.1186/168718472014215
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718472014215