Abstract
Multiple periodic solutions for the equation
are obtained via variational method and saddle-point theorem of Brezis and Nirenberg. Our main results extend some earlier results. An example is given.
Similar content being viewed by others
1 Introduction
Let \(\mathbb{Z}\), \(\mathbb{N}\). And \(\mathbb{R}\) be the sets of all integers, all positive integers, and all real numbers respectively. Set \(\mathbb{Z}[a,b]=\{ a,a + 1,\ldots,b\}\) for \(a \le b\), \(a,b \in \mathbb{Z}\).
We consider the existence of multiple solutions for the following difference equation:
Here \(\Delta x_{n} = x_{n + 1} - x_{n}\), \(\Delta^{2} x_{n} = \Delta ( \Delta x_{n})\), the odd integer \(\delta > 0\) is the ratio, real sequences \(\{ p_{n}\}\), \(\{ q_{n}\}\) and the function \(F(n,x) = \int_{0}^{x} \nabla F ( n,s ) \,ds\) satisfy
for a fixed \(T \in \mathbb{Z}\).
Difference equations are widely found in mathematics itself and in its applications to combinatorial analysis, quantum physics, chemical reactions, and so on. Many authors were interested in difference equations and obtained many significant conclusions; see, for instance, the papers [1–3, 5–20]. Various methods have been used to deal with the existence of solutions to discrete problems, we refer to the fixed point theorems in cones in [12] and the variational method in [2, 3, 5–11, 13, 14, 18–20]. In 2003, in [10, 11] Yu and Guo made a new variational structure to handle discrete equations and obtained good conclusions on the solvability condition of a periodic solution. This new variational structure represents an important advance as it allows us to prove multiplicity results as well.
When \(\delta = 1\), equation (1) has been considered in [17] and [19]. When \(\delta \ne 1\) and \(\nabla F ( n,x ) = 0\), equation (1) has been also studied. For example, in [1] and [8], the authors were interested in the results on disconjugacy, disfocality, oscillation, and the asymptotic behavior. In [20] the authors were interested in the results on the existence of positive solutions. However, to the best of our knowledge, when \(\delta \ne 1\) and \(\nabla F ( n,x ) \ne 0\), besides [6] and [18], in the literature there are no results on the solvability condition of periodic solutions for equation (1). By employing the mountain pass lemma, in [6] the authors proved that there are at least two nontrivial periodic solutions of equation (1) under the following conditions:
-
(a)
\(q_{n}<0\), \(\forall n \in \mathbb{Z}[1,T]\).
-
(b)
For each \(n \in \mathbb{Z}\), \(\lim_{x \to 0}\frac{\nabla F ( n,x ) }{ \vert x \vert ^{\delta }} = 0\).
-
(c)
There exist constants \(a _{1} > 0\), \(a _{2} > 0\), and \(\beta > \delta +1\) such that
$$ F ( n,x ) \le - a_{1} \vert x \vert ^{\beta } + a_{2},\quad \forall x \in \mathbb{R}. $$
To get the critical points, condition (c) is essential, especially, \(\beta > \delta + 1\). Later, by virtue of the saddle-point theorem, in [18] the authors obtained the periodic solution of equation (1) under condition (a) and the following assumptions:
-
(d)
There are constants \(R_{1} > 0\) and \(\alpha \in (1,2)\) such that
$$ \frac{\alpha }{2}(\delta + 1)F ( n,x ) \le x\nabla F(n,x) < 0\quad \text{for } n \in \mathbb{Z}\text{ and } \vert x \vert \ge R_{1}. $$ -
(e)
There are constants \(a_{3} > 0\), \(a_{4} > 0\), and \(\gamma \in (1, \alpha ]\) such that
$$ F(n,x) \le - a_{3} \vert x \vert ^{\frac{\gamma }{2}(\delta + 1)} + a_{4},\quad \forall x \in \mathbb{R}. $$
From condition (e) we have \(\beta = \frac{\gamma }{2}(\delta + 1) < \delta + 1\).
Hence it is natural for us to consider the case \(\beta = \delta + 1\). In the present papere, the motivation comes from the recent papers [6, 7, 14, 18]. By virtue of the minimax methods with variational techniques, the solvability conditions on multiple periodic solutions are proved for difference equation when \(\beta = \delta + 1\). In particular, our results complement and generalize the results in [6] and [18].
2 Preliminaries
To obtain multiple periodic solutions via variational techniques, we state the corresponding variational structure for equation (1). Let S be the sequence
Define
This yields that S is a vector space. For any fixed \(T \in \mathbb{N}\), let \(E_{T}\) be the subspace of S defined as
Define the inner product \(\langle \cdot , \cdot \rangle _{E_{T}}\) and norm \(\Vert \cdot \Vert _{E_{T}}\) in \(E_{T}\) as follows:
Obviously, the space \(E_{T}\) is finite dimensional. Set
Since \(\delta + 1 \ge 2\), by the Hölder inequality we have
On the other hand, we have
Obviously,
for all \(u \in E_{T}\). Let
Then \(\varphi \in C^{1}(E_{T},\mathbb{R})\), and we have the partial derivative
via \(x_{0} = x_{T}\), \(x_{1} = x_{T + 1}\). Thus \(x \in E_{T}\) satisfies \(\varphi '(x) = 0\) if and only if x satisfies equation (1) for any \(n \in \mathbb{Z}[1,T]\). To seek the T-periodic solutions for equation (1) is to find the critical points of functional φ since \(x_{n} = x_{T + n}\) and \(\nabla F(n + T,x) = \nabla F(n,x)\).
Set the \(T \times T\) matrix
From the matrix theory we know that
are the eigenvalues of P and \(\lambda_{0} = 0,\lambda_{1} > 0,\lambda _{2} > 0,\ldots,\lambda_{T - 1} > 0\). Thus we have
Let
Then
Set \(V = W^{ \bot }\). Clearly, \(E_{T} = V \oplus W\). For convenience, we identify \(x \in E_{T}\) with \(x = (x_{1},x_{2},\ldots,x_{T})^{T}\).
3 Main results and proofs
Set
We study equation (1) under the following conditions:
-
(F1)
\(q_{\max } - q_{\min } < p_{\min } \lambda_{1}^{\frac{ \delta + 1}{2}}\frac{1}{T^{\delta + 1}}\).
-
(F2)
There exist constants \(\rho_{0} > 0\) and
$$a_{1} \in \biggl( \biggl( \frac{q _{\max } - q_{\min }}{p_{\min } \lambda_{1}^{\frac{\delta + 1}{2}}} \biggr) ^{\frac{1}{\delta + 1}}, \frac{1}{T} \biggr) $$such that
$$ \frac{q_{\max } - p_{\min } \lambda_{1}^{\frac{\delta + 1}{2}}a_{1} ^{\delta + 1}}{\delta + 1} \vert x \vert ^{\delta + 1} \le F(n,x) \le \frac{q_{ \min }}{\delta + 1} \vert x \vert ^{\delta + 1} $$for all \(n \in \mathbb{Z}\) and \(\vert x \vert \le \rho_{0}\).
-
(F3)
\(\lim \sup_{ \vert x \vert \to \infty } \frac{F(n,x)}{ \vert x \vert ^{\delta + 1}} < - \frac{A}{\delta + 1}\), where \(A = \max_{n \in \mathbb{Z}[1,T]}[2^{\delta + 1}(p_{n} + p_{n + 1}) - q _{n}]\).
-
(F4)
There are constants \(\rho_{1} > 0\) and \(a_{2} \in (0,\frac{1}{T})\) such that
$$-\frac{ p_{\min } \lambda_{1}^{\frac{\delta + 1}{2}}a_{2} ^{\delta + 1}}{\delta + 1} \vert x \vert ^{\delta + 1}\le F(n,x)\le0 $$for all \(n \in \mathbb{Z}\) and \(\vert x \vert \le \rho_{1}\).
-
(F5)
\(\lim \sup_{ \vert x \vert \to \infty } \frac{F(n,x)}{ \vert x \vert ^{\delta + 1}} < - \frac{B}{\delta + 1}\), where \(B = \max_{n \in \mathbb{Z}[1,T]}[2^{\delta + 1}(p_{n} + p_{n + 1})]\).
Now we state our main results.
Theorem 3.1
Under hypotheses (F1), (F2), and (F3), equation (1) has at least two nontrivial T-periodic solutions.
For the particular case \(q_{n} = 0\) in Theorem 3.1, we easily obtain the following result.
Corollary 3.2
Under hypotheses (F4) and (F5), equation (1) has at least two nontrivial T-periodic solutions.
Remark 3.3
Theorem 3.1 generalizes Theorem 3.2 in [6]. On the one hand, the sequence \(\{ q_{n}\}\) can be sign-changing. However, \(\{ q_{n}\}\) is negative in Theorem 3.2 of [6]. On the other hand, conditions (F2) and (F3) in our Theorem 3.1 are weaker than the corresponding conditions in Theorem 3.2. There are functions F satisfying Theorem 3.1 but not fulfilling Theorem 3.2 in [6] and Theorem 1.3 in [18]. For example, set
and
Clearly, \(\{ q_{n} \} \) and \(\{ p_{n} \} \) are T-periodic, \(p_{\min } = 1 > 0\), and
which implies that \(\{ q_{n} \} \) and \(\{ p_{n} \} \) satisfy (F1) in Theorem 3.1 but do not satisfy the corresponding condition of Theorem 3.2 of [6]. A simple computation yields
Put \(a_{1} = \frac{1}{2T}\). Clearly,
and
So F satisfies (F2). Further, we have
which implies that such a function F satisfies condition (F3) of Theorem 3.1 but does not satisfy the corresponding condition of Theorem 3.2 in [6] and the corresponding condition of Theorem 1.3 in [18]. Moreover, our conclusion complements the results of Theorem 3.2 in [6] and Theorem 1.3 in [18].
The proof of Theorem 3.1 uses the following saddle-point theorem of Brezis and Nirenberg.
Lemma 3.4
([4])
Let X be a Banach space with \(X = X_{1} + X _{2}\), where \(\dim X_{2} < \infty \), and let φ be a \(C^{1}\) function on X with \(\varphi ( 0 ) = 0\) satisfying the PS condition. Suppose that, for some \(\delta_{0} > 0\),
- (\(I_{1}\)):
-
\(\varphi ( v ) \ge 0\), for \(v \in X_{1}\) with \(\Vert v \Vert \le \delta_{0}\), and
- (\(I_{2}\)):
-
\(\varphi ( v ) \le 0\), for \(v \in X_{2}\) with \(\Vert v \Vert \le \delta_{0}\).
If φ is bounded from below and \(\inf_{X}\varphi < 0\), then φ has at least two nonzero critical points.
Proof of Theorem 3.1
Set
First, we claim that φ satisfies the PS condition. Now let \(\{ x^{ ( k ) }\}\) be a sequence for φ such that \(\{ \varphi (x^{ ( k ) })\} \) is bounded and \(\varphi '(x ^{ ( k ) }) \to 0\) as \(k \to \infty \). Then we need to verify that there is a convergent subsequence of \(\{ x^{ ( k ) }\}\). Since \(E_{T}\) is finite dimensional, we only need to prove that \(\{ x^{ ( k ) }\}\) is bounded.
By (F3) there exist constants \(b_{1} > \frac{A}{\delta + 1}\), \(b_{2} > 0\) satisfying
for all \(n \in \mathbb{Z} [ 1,T ] \) and \(x \in \mathbb{R}\). In view of (2) and (3), for any \(k \in \mathbb{N}\), we obtain
Since \(\{ \varphi (x^{ ( k ) })\} \) is bounded and \(b_{1} - \frac{A}{\delta + 1} > 0\), \(\{ x^{ ( k ) }\}\) is bounded in \(E_{T}\). In the finite-dimensional space \(E_{T}\), such a bounded consequence \(\{ x^{ ( k ) }\}\) has a convergent subsequence. Hence φ satisfies the PS condition.
Clearly, \(\varphi ( 0 ) = 0\) by (F2). Hence \(x = 0\) is a trivial solution of equation (1).
On the one hand, for any \(w \in W\) with \(\Vert w \Vert \le \rho \) and \(n \in \mathbb{Z} [ 1,T ] \), due to (F2), we obtain
So condition (\(I_{1}\)) of Lemma 3.4 is verified.
For all \(x \in E_{T}\), by the Hölder inequality we have
Then a simple computation yields
On the other hand, by (F2) and (5), for all \(n \in \mathbb{Z} [ 1,T ] \) and \(x \in V = W^{ \bot } \) with \(\Vert x \Vert \le \rho \), we have
Since \(a_{1} < \frac{1}{T}\), we have \(a_{1}\sqrt{T} < \frac{1}{ \sqrt{T}} \). Then
Thus by (6), (7), and \(p_{\min } > 0\), we conclude that
Thus condition (\(I_{2}\)) of Lemma 3.4 is verified. Moreover, we have
Next, we consider two cases.
-
Case 1:
\(\inf_{E_{T}}\varphi < 0\). Then the proof of Theorem 3.1 is finished directly due to Lemma 3.4.
-
Case 2:
\(\inf_{E_{T}}\varphi \ge 0\). Due to (8), we obtain
$$ \varphi ( x ) = \inf_{E_{T}}\varphi = 0\quad \text{for all } x \in E_{T}. $$
This means that all \(x \in V\) with \(\Vert x \Vert \le \rho \) are solutions of equation (1). Hence the proof of Theorem 3.1 is finished. □
The proof of Corollary 3.2 is omitted since it is similar to that of Theorem 3.1.
References
Agarwal, R.P.: Difference Equations and Inequalities. Theory, Methods, and Applications, 2nd edn. Monographs and Textbooks in Pure and Applied Mathematics, vol. 228. Dekker, New York (2000)
Agarwal, R.P., Perera, K., O’Regan, D.: Multiple positive solutions of singular and nonsingular discrete problems via variational methods. Nonlinear Anal. 58, 69–73 (2004)
Agarwal, R.P., Perera, K., O’Regan, D.: Multiple positive solutions of singular discrete p-Laplacian problems via variational methods. Adv. Differ. Equ. 2005, 93–99 (2005)
Brezis, H., Nirenberg, L.: Remarks on finding critical points. Commun. Pure Appl. Math. 44, 939–963 (1991)
Cabada, A., Iannizzotto, A., Tersian, S.: Multiple solutions for discrete boundary value problems. J. Math. Anal. Appl. 356, 418–428 (2009)
Cai, X.C., Yu, J.S.: Existence theorems of periodic solutions for second-order nonlinear difference equations. Adv. Differ. Equ. 2008, Article ID 247071 (2008)
Chen, S.J., Tang, C.L.: Multiple periodic solutions for superquadratic first-order discrete Hamiltonian systems. Appl. Math. Comput. 208, 495–500 (2009)
Chen, S.Z.: Disconjugacy, disfocality, and oscillation of second order difference equation. J. Differ. Equ. 107, 383–394 (1994)
D’Agui, G., Mawhin, J., Sciammett, A.: Positive solutions for a discrete two point nonlinear boundary value problem with p-Laplacian. J. Math. Anal. Appl. 447, 383–397 (2017)
Guo, Z.M., Yu, J.S.: The existence of periodic and subharmonic solutions of subquadratic second order difference equations. J. Lond. Math. Soc. (2) 68(2), 419–430 (2003)
Guo, Z.M., Yu, J.S.: Existence of periodic and subharmonic solutions for second-order superlinear difference equations. Sci. China Ser. A 46(4), 506–515 (2003)
Jiang, D., Chu, J., O’Regan, D., Agarwal, R.P.: Positive solutions for continuous and discrete boundary value problems to the one-dimension p-Laplacian. Math. Inequal. Appl. 7, 523–534 (2004)
Jiang, Q., Ma, S., Hu, Z.H.: Existence of multiple periodic solutions for second-order discrete Hamiltonian systems with partially periodic potentials. Electron. J. Differ. Equ. 2016, Article ID 307 (2016)
Luo, Z.M., Zhang, X.Y.: Existence of nonconstant periodic solutions for a nonlinear discrete system involving the p-Laplacian. Bull. Malays. Math. Sci. Soc. (2) 35(2), 373–382 (2012)
Pankov, A., Zakharchenko, N.: On some discrete variational problems. Acta Appl. Math. 65, 295–303 (2005)
Pankov, A., Zakharchenko, N.: Solutions in discrete nonlinear Schrödinger equation with saturable non-linearity. Proc. R. Soc. Lond. Ser. A 464, 3219–3236 (2008)
Peil, T., Peterson, A.: Criteria for C-disfocality of a self-adjoint vector difference equation. J. Math. Anal. Appl. 179, 512–524 (1993)
Ren, Z., Li, J., Shi, H.: Existence of periodic solutions for second-order nonlinear difference equations. J. Nonlinear Sci. Appl. 9, 1505–1514 (2016)
Yu, J.S., Guo, Z.M., Zou, X.F.: Periodic solutions of second order self-adjoint difference equations. J. Lond. Math. Soc. 71, 146–160 (2005)
Zhang, R.Y., Wang, Z.C., Yu, J.S.: Necessary and sufficient conditions for the existence of positive solutions of nonlinear difference equations. Fields Inst. Commun. 42, 385–396 (2004)
Acknowledgements
The authors sincerely thank the reviewers for their valuable suggestions and useful comments that have led to the present improved version.
Funding
The work is supported by the Science Foundation of Education Department for Hubei Provincial, China (No. D20172905).
Author information
Authors and Affiliations
Contributions
SM chose the problem and drafted the manuscript with ZHH. QJ conceived the solution method. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Ma, S., Hu, Z. & Jiang, Q. Multiple periodic solutions for the second-order nonlinear difference equations. Adv Differ Equ 2018, 265 (2018). https://doi.org/10.1186/s13662-018-1713-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1713-9