- Research
- Open access
- Published:
Existence of time periodic solutions for a class of non-resonant discrete wave equations
Advances in Difference Equations volume 2015, Article number: 120 (2015)
Abstract
In this paper, a class of discrete wave equations with Dirichlet boundary conditions are obtained by using the center-difference method. For any positive integers m and T, when the existence of time mT-periodic solutions is considered, a strongly indefinite discrete system needs to be established. By using a variant generalized weak linking theorem, a non-resonant superlinear (or superquadratic) result is obtained and the Ambrosetti-Rabinowitz condition is improved. Such a method cannot be used for the corresponding continuous wave equations or the continuous Hamiltonian systems; however, it is valid for some general discrete Hamiltonian systems.
1 Introduction
The existence of time periodic solutions for a nonlinear wave equation of the form
with the Dirichlet boundary conditions
had been established in Vitt [1] when the distributed self-oscillating systems been considered.
We note that the eigenvalues of the operator \(\partial_{tt}-\partial_{xx}\) in the space of functions \(u ( x,t ) \), \(2\pi/\omega \)-periodic in time and such that, say, \(u ( \cdot,t ) \in H_{0}^{1} ( 0,\pi ) \) for all t, are \(-\omega^{2}l^{2}+j^{2}\), \(l\in Z\), \(j\geq1\). Therefore, when \(\omega^{2}\) is irrational, the eigenvalues accumulate to 0. In this case, the inverse operator of \(\partial_{tt}-\partial_{xx}\) is unbounded and the standard implicit function theorem is not applicable. When \(\omega^{2}\) is rational, the number of 0-spectra is infinite, thus, this will introduce the presence of an infinite-dimensional bifurcation equation. Consequently, when we consider the existence of the time periodic solutions for problem (1)-(2), two main difficulties must be overcome: the ‘small denominators’ problem and the presence of an infinite-dimensional bifurcation equation. To this end, two main methods are used, that is, the variations viewpoint (see Rabinowitz [2] and BrĂ©zis and Coron [3]) and the KAM theory (see Berti and Bolle [4] and Gentile and Mastropietro [5]).
Let Z be a set of all integers, R be a set of all real numbers, and \(Z^{+}= \{ 0,1,2,\ldots \} \). For any integers k and l with \(k< l\), denote \([ k,l ] = \{ k,k+1,\ldots ,l \} \). By using the center-difference method for the space variable x and the time variable t, we can obtain a discrete analog of (1)-(2) of the form
where \(h>0\) is the time step size, N is a positive integer and the space step size is \(\pi/ ( N+1 ) \). Let
then we have
where
and
Problem (4) can be rewritten by the vector and matrix as
where
and
which implies that
For a given positive integer T, we assume that the function \(f:Z\times R\rightarrow R\) is continuous about the two variables and satisfies the periodic condition
Let \(L=- ( \varDelta ^{2}+\delta^{2}A ) \). For any positive integers T and m, \(\sigma ( L ) \) denotes the spectrum of the linear operator L in \(E_{mT}\) which will be defined in the next section. We can see that \(\sigma ( L ) \cap ( 0,\infty ) \neq \emptyset\) and \(\sigma ( L ) \cap ( -\infty,0 ) \neq \emptyset \). In this paper, we will consider the existence of mT-periodic solutions for problem (4) when the condition \(0\notin \sigma ( L ) \) holds. However, 0 is the spectrum point of the linear operator \(\partial_{tt}-\partial_{xx}\) for problem (1)-(2). Thus, our method cannot be used for the corresponding continuous wave equations.
Clearly, system (5) is also a discrete second order Hamiltonian system. Recently, the existence of T-periodic solutions for system (5) has also been extensively studied when A is symmetric matrix and L is positive definite. By using critical point theory, many solvability conditions are given, such as the superquadratic condition and subquadratic condition (see Deng et al. [6] and Yan et al. [7]), the convex condition (see Jiang [8]), and the asymptotically linear condition (see Guo and Yu [9]). Our method can be extended to a general system, however, the linear operator L is strongly indefinite. On the other hand, in the superquadratic case, all papers required the Ambrosetti-Rabinowitz condition, that is, there exist constants \(\mu >2\) and \(M>0\) such that
where
In this paper, we will give a more general condition.
In fact, system (5) is also a discrete analog of the second order Hamiltonian system of the form
The existence of periodic solutions of (8) have also been extensively discussed since Poincaré [10]. The importance of periodic solutions for finite-dimensional Hamiltonian system was pointed out by Poincaré in [10]. Poincaré stressed their importance formulating a conjecture. This conjecture stimulates the systematic study of periodic solutions by Poincaré himself, Lyapunov [11], Birkhoff and Lewis [12], Moser [13], Weinstein [14], Rabinowitz [15], Ekeland and Lasry [16], etc. In Pugh and Robinson [17] a positive answer to the conjecture was given, but only in a generic sense (namely in the \(C^{2}\)-category of Hamiltonian functions): the periodic orbits are dense on every compact and regular energy surface. However, for specific systems, the conjecture is still open (and far from having been proved); see [18].
Since Rabinowitz’s pioneering work [15] of 1978, variational methods have been widely used in the study of existence of solutions of Hamiltonian systems; see Long [19] and Luan and Mao [20]. Recently, some authors had improved Ambrosetti-Rabinowitz condition by using the linking theorem; for example, see Schechter and Zou [21] and Chen and Ma [22]. In [21], the authors considered the existence of solutions for a Schrödinger equation and the classical Ambrosetti-Rabinowitz condition is replaced by a general superquadratic condition: there exist constants \(a>0\) and \(p>2\) such that
In [22], Chen and Ma established the existence of periodic solutions of (8) by using a similar method. However, the condition (9) will be improved in our result.
In the next section of the present paper, we will give some preliminary results which will be used in the proof of the main results. The exact spectrum of the linear operator L in \(E_{mT}\) will be given. In this case, we easily give the conditions \(0\notin\sigma ( L ) \), \(\sigma ( L ) \cap ( 0,\infty ) \neq\emptyset\), and \(\sigma ( L ) \cap ( -\infty,0 ) \neq\emptyset\). Thus, in this paper, we only consider the non-resonant strongly indefinite problem. Our approach is based on an application of a variant generalized weak linking strongly indefinite problem developed by Schechter and Zou [21]; also see Chen and Ma [22]. Thus, a variant generalized weak linking theorem is also given in this section. In Section 3, our main result will be obtained by using the variant generalized weak linking theorem, and the Ambrosetti-Rabinowitz condition will be improved.
2 Some preliminary results
In this section, we recall some basic facts which will be used in the proof of the main results.
Let
For any given positive integers T and m, \(E_{mT}\) is defined by
\(E_{mT}\) can be equipped with the inner product \(\langle\cdot ,\cdot \rangle_{mT}\) and norm \(\Vert \cdot \Vert _{mT}\) as follows:
Clearly, we can also define one other norm for \(E_{mT}\). Note that the space \(E_{mT}\) is finite dimensional, thus, they are equivalent.
It is easy to see that \(( E_{mT}, \langle\cdot,\cdot \rangle_{mT} ) \) is a finite-dimensional Hilbert space and linearly homeomorphic to \(R^{mT\times N}\). For convenience, we identify \(U\in E_{mT}\) with \(U=\operatorname{col} ( U_{1},U_{2},\ldots ,U_{mT} ) \). In this case, we will consider the existence of solutions for the discrete wave equation
with the space Dirichlet boundary conditions
and the time periodic boundary conditions
or the discrete Hamiltonian system
with the time periodic boundary conditions
Define the functional H on \(E_{mT}\) as follows:
A vector \(W\in E_{mT}\) is called a critical point of the functional H if the gradient of H at W is zero, i.e.,
At the same time, \(c=H ( W ) \) is called a critical value of H. So we can obtain the following result.
Lemma 1
A vector \(W \in E_{mT}\) is a critical point of the functional \(H ( U ) \) (or \(-H ( U ) \)) if, and only if, W is a solution of problem (10)-(12), in fact, it is also a solution of (13)-(14).
Its proof is similar to Lemma 1 in [23], thus, it will be omitted.
In the following, we will consider the eigenvalue problem of the form
with the boundary conditions (11) and (12).
It is well known that the eigenvalue problem
has the eigenvalues
and that the eigenvalue problem
has the eigenvalues
See Cheng [24]. Thus, we see that all eigenvalues of the linear problem (16)-(11)-(12) are
for \(k\in [ 1,N ] \) and \(l\in [ 1,mT ] \). That is,
We note that
and
Thus, we have
and
In this paper, we require \(\sigma ( L ) \cap ( 0,\infty ) \neq\emptyset\) and \(\sigma ( L ) \cap ( -\infty ,0 ) \neq\emptyset\). Clearly, \(\sigma ( L ) \cap ( -\infty,0 ) \neq\emptyset\), thus, we only assume that the condition
holds, where \(\delta>0\). On the other hand, we also need to suppose that the conditions
hold for \(( k,l ) \in [ 1,N ] \times [ 1,mT ] \). In this case, we have \(0\notin\sigma ( L ) \). Throughout this paper, we always assume that the conditions (18) and (19) hold.
The abstract critical point theorem plays an important role in proving our main results. Let E be a Hilbert space with norm \(\Vert \cdot \Vert \) and inner product \(\langle\cdot,\cdot \rangle\) and have an orthogonal decomposition \(E=N\oplus N^{\perp}\), where \(N\in E\) is a closed and separable subspace. Since N is separable, we can define a new norm \(\vert v\vert _{\omega}\) satisfying \(\vert v\vert _{\omega}\leq \Vert v\Vert \) for all \(v\in N\) and such that the topology induced by this norm is equivalent to the weak topology of N on bounded subset of N. For \(u=v+w\in E\) with \(v\in N\) and \(w\in N^{\perp}\), we define \(\vert u\vert _{\omega }^{2}=\vert v\vert _{\omega}^{2}+\Vert w\Vert ^{2}\), then \(\vert u\vert _{\omega}\leq \Vert u\Vert \) for \(u\in E\). Particularly, if \(\{ u_{n}=v_{n}+w_{n} \} _{n=1}^{\infty }\in E\) is \(\vert \cdot \vert _{\omega}\)-bounded and \(u_{n}\rightarrow_{\vert \cdot \vert _{\omega}}u\), then \(v_{n}\rightharpoonup v\) weakly in N, \(w_{n}\rightarrow w\) strongly in \(N^{\perp}\), \(u_{n}\rightharpoonup v+w\) weakly in E (see [21]).
Let \(E=E^{-}\oplus E^{+}\), \(z_{0}\in E^{+}\) with \(\Vert z_{0}\Vert =1\). For any \(u\in E\), we write \(u=u^{-}\oplus sz_{0}\oplus w^{+}\) with \(u^{-}\in E^{-}\), \(s\in R\), \(w^{+}\in ( E^{-}\oplus Rz_{0} ) ^{\perp}:=E_{1}^{+}\). For \(R>0\), let
with \(p_{0}=s_{0}z_{0}\in Q\), \(s_{0}>0\). We define
For \(I\in C^{1} ( E,R ) \), define \(h: [ 0,1 ] \times \overline{Q}\rightarrow E\) is \(\vert \cdot \vert _{\omega}\) -continuous, \(h ( 0,u ) =u\), \(I ( h ( s,u ) ) \leq I ( u ) \) for \(u\in\overline{Q}\), for any \(( s_{0},u_{0} ) \in [ 0,1 ] \times\overline{Q}\), there is a \(\vert \cdot \vert _{\omega}\)-neighborhood \(U_{ ( s_{0},u_{0} ) }\) such that
where \(E_{\mathrm{fin}}\) denotes various finite-dimensional subspaces of E whose exact dimensions are irrelevant and depend on \(( s_{0},u_{0} ) \). Denote
then \(\varGamma \neq\emptyset\) since \(id\in \varGamma \).
The variant weak linking theorem is as follows.
Lemma 2
(see [21])
The family of \(C^{1}\)-functional \(\{ H_{\lambda} \} \) has the form
Assume that
-
(a)
\(K ( u ) \geq0\), \(u\in E\), \(H_{1}=H\);
-
(b)
\(I ( u ) \rightarrow\infty\) or \(K ( u ) \rightarrow \infty\) as \(\Vert u\Vert \rightarrow\infty\);
-
(c)
\(H_{\lambda}\) is \(\vert \cdot \vert _{\omega}\)-upper semicontinuous, \(H_{\lambda}^{\prime}\) is weakly sequentially continuous on E. Moreover, \(H_{\lambda}\) maps bounded sets to bounded sets;
-
(d)
\(\sup_{\partial Q}H_{\lambda}\leq\inf_{D}H_{\lambda}\) for \(\lambda \in [ 1,2 ]\).
Then, for almost all \(\lambda\in [ 1,2 ] \), there exists a sequence \(\{ u_{n} \} \) such that
where
3 Main result
First of all, we state the following conditions.
-
(i)
\(xf ( n,x ) \geq0\) for \(x\in R\) and \(n\in Z\).
-
(ii)
There exist \(0< a<1\) and \(r>0\) such that
$$\int_{0}^{x}f (j,s )\,ds\leq\frac{a\sigma_{\min }^{+}}{2}x^{2} \quad \mbox{for } \vert x\vert \leq r. $$ -
(iii)
There exist \(\rho>0\) and \(d>1\) such that
$$\int_{0}^{x}f ( j,s )\,ds\geq\frac{d\sigma_{\max}^{+}}{2}x^{2} \quad \mbox{for } \vert x\vert >\rho, $$where
$$\sigma_{\min}^{+}=\min \bigl\{ \lambda_{kl}>0, ( k,l ) \in [ 1,N ] \times [ 1,mT ] \bigr\} $$and
$$\sigma_{\max}^{+}=\max \bigl\{ \lambda_{kl}>0, ( k,l ) \in [ 1,N ] \times [ 1,mT ] \bigr\} . $$
Theorem 1
The function \(f:Z\times R\rightarrow R\) is continuous about the second variable and there exists a positive integer T such that
Suppose that the above conditions (i)-(iii), (18), and (19) hold. Then for any positive integer m, for problem (10)-(12) there at least exists a non-zero time mT-periodic solution.
Proof
In view of Lemma 2, we need to prove that the conditions (a)-(d) hold. First of all, we give some symbols.
When the conditions (18) and (19) hold, we can denote
and
Clearly, we have
and
That is, the linear operator \(L=- ( \varDelta ^{2}-\delta^{2}A )\) has a sequence of eigenvalues
and the corresponding eigenvectors \(\varUpsilon _{j}\) for \(j=-p,\ldots,-1,1,\ldots,q\). (Clearly, we have \(p+q=mTN\).)
Let
Then \(E_{mT}=E=E^{-}\oplus E^{+}\) and for any \(U\in E_{mT}\) we have \(U=U^{-}+U^{+}\), where \(U^{-}\in E^{-}\) and \(U^{+}\in E^{+}\). Clearly, we have also \(E^{0}=\ker L= \{ 0 \} \).
For any \(U,V\in E_{mT}\), \(U=U^{+}+U^{-}\) and \(V=V^{+}+V^{-}\), we can define an equivalent new inner product \(\langle\cdot \rangle\) and the corresponding norm \(\Vert \cdot \Vert \) in \(E_{mT}\) by
see [25]. Therefore, H can be rewritten as
where
In order to apply Lemma 2, we consider the family of functional defined by
In the following, we give the proofs for the conditions (a)-(d) in Lemma 2.
(a) \(K ( U ) \geq0\), \(U\in E_{mT}\), \(H_{1}=H\).
Let
When \(xf ( n,x ) \geq0\), we find that (a) holds.
(b) \(I ( U ) \rightarrow\infty\) or \(K ( U ) \rightarrow \infty\) as \(\Vert U\Vert \rightarrow\infty\). We will prove that \(K ( U ) \rightarrow\infty\) as \(\Vert U\Vert \rightarrow\infty\). In fact, this is clear when the condition (iii) holds.
(c) \(H_{\lambda}\) is \(\vert \cdot \vert _{\omega}\)-upper semicontinuous, \(H_{\lambda}^{\prime}\) is weakly sequentially continuous on E. Moreover, \(H_{\lambda}\) maps bounded sets to bounded sets.
The condition (iii) implies that
Thus, if \(U_{n}\rightarrow_{\vert \cdot \vert _{\omega}}U\) and \(H_{\lambda} ( U_{n} ) \geq a\), then \(H_{\lambda} ( U ) \geq a\), which means that \(H_{\lambda}\) is \(\vert \cdot \vert _{\omega}\)-upper semicontinuous. The other cases are clear.
(d) \(\sup_{\partial Q}H_{\lambda}\leq\inf_{D}H_{\lambda}\) for \(\lambda \in [ 1,2 ]\).
Note by the condition (ii), letting \(s_{0}=r\), for \(U\in S= \{ U\mid U\in E^{+},\| U\| =s_{0} \} \) we have
Let \(z_{0}=\varUpsilon _{1}/\Vert \varUpsilon _{1}\Vert \) and
we have \(D\subset S\), which implies that
Now, we choose \(\rho>0\) of the condition (ii) and let
For \(U\in\partial Q\), we have
That is, the condition (d) holds.
In view of Lemma 2, we find that for almost all \(\lambda\in [ 1,2 ] \) there exists a sequence \(\{ U^{ ( n ) } \} \subset\overline{Q}\) such that
and
Note that the function \(H_{\lambda} ( U ) \) is finite dimensional continuous, thus, there exist \(\{ U^{ ( n ) } \} \subset \overline{Q}\) and \(U^{\ast}\in\overline{Q}\) such that
The proof is complete. □
Remark 1
The symbols \(\sigma_{\min}^{-}\) and \(\sigma_{\max }^{-} \) have not been used. In fact, similarly, if we discuss the functional \(-H ( U ) \), then the corresponding result can also be obtained. It is omitted.
Remark 2
From the proofs of (a)-(d), we can see that the conditions (ii)-(iii) need only to be hold locally. For convenience, we use the present state.
Remark 3
Our result is new; see Deng et al. [6] and Yan et al. [7]. Clearly, the sublinear case can also be established. It will be omitted.
Remark 4
For an mT-dimensional discrete system of the form
when B is a symmetric positive definite, negative definite, or infinite definite matrix, our method is also valid.
Remark 5
The superlinear condition (iii) cannot be used for the corresponding continuous wave equations or the continuous Hamiltonian systems because their eigenvalues are unbounded.
Remark 6
Our method is not suitable for the corresponding continuous wave equations. When \(\omega^{2}\) is irrational, the eigenvalues of the operator \(\partial_{tt}-\partial_{xx}\) accumulate to 0. However, if \(\omega^{2}\) is rational, the number of 0-spectrum is infinite.
Remark 7
All conditions of Theorem 1 are easily satisfied. For the conditions (18) and (19), for example, let \(\delta=1\), \(m=1\) and \(T=2\), the condition (18) clearly holds for any N. At the same time, note that
and
for all \(k\in [ 1,N ] \). Thus, the condition (19) also holds. For the nonlinear term, the conditions (i)-(iii) are also easy satisfied. For example, for \(\delta=1\), \(m=1\), \(T=2\), and \(N=2\), we have
In this case, we let \(f ( -x ) =-f ( x ) \) and
Then all conditions of Theorem 1 are satisfied. However, such a function is not valid for the corresponding continuous wave equations or the continuous Hamiltonian systems.
References
Vitt, VA: Distributed self-oscillating systems Zh. Tekh. Fiz. 4, 144-157 (1934) (in Russian)
Rabinowitz, P: Periodic solutions of nonlinear hyperbolic partial differential equations. Commun. Pure Appl. Math. 20, 145-205 (1967)
Brézis, H, Coron, JM: Periodic solutions of nonlinear wave equations and Hamiltonian systems. Am. J. Math. 103(3), 559-570 (1981)
Berti, M, Bolle, P: Cantor families of periodic solutions for completely resonant nonlinear wave equations. Duke Math. J. 134, 359-419 (2006)
Gentile, G, Mastropietro, V: Construction of periodic solutions of nonlinear wave equation with Dirichlet boundary conditions by the Lindstedt series method. J. Math. Pures Appl. 83, 1019-1065 (2004)
Deng, XQ, Shi, HP, Xie, XL: Periodic solutions of second order discrete Hamiltonian systems with potential indefinite in sign. Appl. Math. Comput. 218, 148-156 (2011)
Yan, SH, Wu, XP, Tang, CL: Multiple periodic solutions for second-order discrete Hamiltonian systems. Appl. Math. Comput. 234, 142-149 (2014)
Jiang, LQ: Existence of periodic solutions for convex discrete Hamiltonian systems. Math. Sci. Res. J. 16(3), 64-81 (2012)
Guo, ZM, Yu, JS: Multiplicity results for periodic solutions to second-order difference equations. J. Dyn. Differ. Equ. 18(4), 943-960 (2006)
Poincaré, H: Les Méthodes Nouvelles de la Mécanique Céleste. Gauthier-Villars, Paris (1892)
Lyapunov, AM: Problème général de la stabilité du mouvement. Ann. Fac. Sci. Toulouse 2, 203-474 (1907)
Birkhoff, GD, Lewis, DC: On the periodic motions near a given periodic motion of a dynamical system. Ann. Math. 12, 117-133 (1933)
Moser, J: Periodic orbits near an equilibrium and a theorem by Alan Weinstein. Commun. Pure Appl. Math. 29, 727-747 (1976)
Weinstein, A: Normal modes f or a nonlinear Hamiltonian system. Invent. Math. 20, 47-57 (1973)
Rabinowitz, P: Periodic solutions of Hamiltonian systems. Commun. Pure Appl. Math. 31, 157-184 (1978)
Ekeland, I, Lasry, JM: On the number of periodic trajectories for a Hamiltonian flow on a convex energy surface. Ann. Math. 112(2), 283-319 (1980)
Pugh, CC, Robinson, RC: The \(C^{1}\) closing lemma, including Hamiltonians. Ergod. Theory Dyn. Syst. 3, 261-313 (1983)
Biasco, L, Gregorio, LD: Periodic solutions of Birkhoff-Lewis type for the nonlinear wave equation. Discrete Contin. Dyn. Syst. suppl., 102-109 (2007)
Long, YM: Multiple solutions of perturbed superquadratic second order Hamiltonian systems. Trans. Am. Math. Soc. 311(2), 749-780 (1989)
Luan, S, Mao, A: Periodic solutions for a class of nonautonomous Hamiltonian systems. Nonlinear Anal. 61(8), 1413-1426 (2005)
Schechter, M, Zou, W: Weak linking theorems and Schrödinger equations with critical Sobolev exponent. ESAIM Control Optim. Calc. Var. 9, 601-619 (2003)
Chen, GW, Ma, SW: Periodic solutions for Hamiltonian systems without Ambrosetti-Rabinowitz condition and spectrum 0. J. Math. Anal. Appl. 379, 842-851 (2011)
Bai, L, Zhang, G: Nontrivial solutions for a nonlinear discrete elliptic equation with periodic boundary conditions. Appl. Math. Comput. 210, 321-333 (2009)
Cheng, SS: Partial Difference Equations. Taylor & Francis, London (2003)
Stuart, CA: Bifurcation into spectral gaps. Bull. Belg. Math. Soc. suppl., pp. 59 (1995)
Acknowledgements
The authors would like to thank the anonymous referees for their careful review and helpful comments. This work was supported by the National Natural Science Foundation of China (No. 11371277). The project was completed while the first author was visiting Trent University and supported by a grant from the Natural Sciences and Engineering Research Council of Canada.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Zhang, G., Feng, W. & Yan, Y. Existence of time periodic solutions for a class of non-resonant discrete wave equations. Adv Differ Equ 2015, 120 (2015). https://doi.org/10.1186/s13662-015-0457-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-015-0457-z