 Research Article
 Open Access
 Published:
On Homoclinic Solutions of a Semilinear Laplacian Difference Equation with Periodic Coefficients
Advances in Difference Equations volume 2010, Article number: 195376 (2010)
Abstract
We study the existence of homoclinic solutions for semilinear Laplacian difference equations with periodic coefficients. The proof of the main result is based on BrezisNirenberg's Mountain Pass Theorem. Several examples and remarks are given.
1. Introduction
This paper is concerned with the study of the existence of homoclinic solutions for the Laplacian difference equation
where is a sequence or real numbers, is the difference operator ,
is referred to as the Laplacian difference operator, and functions and are periodic in and satisfy suitable conditions.
In the theory of differential equations, a trajectory , which is asymptotic to a constant as is called doubly asymptotic or homoclinic orbit. The notion of homoclinic orbit is introduced by Poincaré [1] for continuous Hamiltonian systems.
Recently, there is a large literature on the use of variational methods to the existence of homoclinic or heteroclinic orbits of Hamiltonian systems; see [2–7] and the references therein.
In the recent paper of Li [8] a unified approach to the existence of homoclinic orbits for some classes of ODE's with periodic potentials is presented. It is based on the Brezis and Nirenberg's mountainpass theorem [9]. In this paper we extend this approach to homoclinic orbits for discrete Laplacian type equations.
Discrete boundary value problems have been intensively studied in the last decade. The studies of such kind of problems can be placed at the interface of certain mathematical fields, such as nonlinear differential equations and numerical analysis. On the other hand, they are strongly motivated by their applicability to mathematical physics and biology.
The variational approach to the study of various problems for difference equations has been recently applied in, among others, the papers of Agarwal et al. [10], Cabada et al. [11], Chen and Fang [12], Fang and Zhao [13], Jiang and Zhou [14], Ma and Guo [15], Mihăilescu et al. [16], Kristály et al. [17].
Along the paper, given two integer numbers , we will denote . Moreover, for every , we consider the following function
It is obvious that for all and . Moreover
Suppose that
Denote
Let us consider functions satisfying the following assumptions.
(F_{1}) The function is continuous in and periodic in .
(F_{2}) The potential function of
satisfies the Rabinowitz's type condition:
There exist and such that
(F_{3}) as .
Further we consider the semilinear eigenvalue Laplacian difference equation
where and we are looking for its homoclinic solutions, that is, solutions of (1.10) such that as .
In order to obtain homoclinic solutions of (1.10), we will use variational approach and BrezisNirenberg mountain pass theorem [9].
To this end, consider the functional , defined as
Our main result is the following.
Theorem 1.1.
Suppose that the function is positive and periodic and the functions satisfy assumptions −. Then, for each , (1.10) has a nonzero homoclinic solution , which is a critical point of the functional .
Moreover, given a nontrivial solution of problem (1.10), there exist two integer numbers such that for all and , the sequence is strictly monotone.
The paper is organized as follows. In Section 2, we present the proof of the main result and discuss the optimality of the condition . In Section 3, we give some examples of equations modeled by this kind of problems and present some additional remarks.
2. Proof of the Main Result
Let be a sequence, and
It is well known that if , then . Indeed, if , there exists a positive integer number , such that for all satisfying it is verified that and, as consequence, and the series is convergent too.
Consider now the functional , defined as
with given in (1.7) and defined in (1.8).
We have the following result.
Lemma 2.1.
The functional is well defined, differentiable, and its critical points are solutions of (1.10).
Proof.
By using the inequality for nonnegative and and
and the inclusion for , it follows that
Now, let us see that the series is convergent: by using , it follows that there exist and sufficiently large such that
Then, the series is convergent and the functional is well defined on .
It is Gâteaux differentiable and for :
and partial derivatives
are continuous functions.
Moreover the functional is continuously Fréchetdifferentiable in . It is clear, by (2.7), that the critical points of are solutions of (1.10).
To obtain homoclinic solutions of (1.10) we will use mountainpass theorem of Brezis and Nirenberg [9]. Recall its statement. Let be a Banach space with norm , and be a functional. satisfies the condition if every sequence of such that
has a convergent subsequence. A sequence such that (2.8) holds is referred to as sequence.
Theorem 2.2 (mountainpass theorem, Brezis and Nirenberg [9]).
Let be a Banach space with norm , and suppose that there exist , and such that

(i)
if ,

(ii)
.
Let , where
Then, there exists a sequence for . Moreover, if satisfies the condition, then is a critical value of , that is, there exists such that and .
Note that, by assumption (1.5), the norm in is equivalent to
Lemma 2.3.
Suppose that − hold, then there exist , and such that and

(1)
if ,

(2)
.
Proof.
By , there exists such that
Let ( defined in (1.6)), then, for , ,
which implies that for all .
Hence, by (2.11)
By , there exist , such that for all and .
Take , , if . Then, since
if is sufficiently large.
Then, we can take large enough, such that for , and (2.14) holds.
Lemma 2.4.
Suppose that the assumptions of Lemma 2.3 hold. Then, there exists and a bounded sequence for .
Proof.
By Lemma 2.3 and Theorem 2.2 there exists a sequence such that
where
and is defined in the proof of Lemma 2.3.
We will prove that the sequence is bounded in . We have for
and, by ,
which implies that the sequence is bounded in .
Now we are in a position to prove Theorem 1.1.
Proof of Theorem 1.1.
For any , the sequence , given in Lemma 2.4, is bounded in and, in consequence, as . Let takes its maximum at . There exists a unique , such that and let . Then takes its maximum at . By the periodicity of and , it follows that
Since is bounded in , there exists , such that weakly in . The weak convergence in implies that for every . Indeed, if we take a test function , , if , then
Moreover, for any
which implies that , which means that for every ,
Let us take with compact support, that is, there exist , such that if and if . The set of such elements is dense in because if and is such that if , if , then as . Taking in (2.22), due to the finite sums and the continuity of functions , we obtain, passing to a limit, that
From the density of in , we deduce that the previous equality is fulfilled for all and, in consequence, is a critical point of the functional , that is, is a solution of (1.10).
It remains to show that .
Assuming, on the contrary, that , we conclude that
By , for a given , there exists , such that if then, for every , the following inequalities holds:
By (2.24), for every , there exists a positive integer such that for all it follows that . Since the maximum value of is attained at , it follows that for and every
Then, by (2.25), for and every :
which implies that
Since is bounded in , and is arbitrary, by (2.28) we obtain a contradiction with . The proof of the first part is complete.
Now, let be a nonzero homoclinic solution of problem (1.10). Assume that it attains positive local maximums and/or negative local minimums at infinitely many points . In particular we can assume that . In consequence and .
From this, multiplying in (1.10) by , we have
By means of condition we arrive at the following contradiction:
Suppose now that function vanishes at infinitely many points . From condition we conclude that and, in consequence, . Therefore it has an unbounded sequence of positive local maximums and negative local minimums, in contradiction with the previous assertion.
As a direct consequence of the two previous properties, we deduce that, for large enough, function has constant sign and it is strictly monotone.
To illustrate the optimality of the obtained results, we present in the sequel an example in which it is pointed out that condition cannot be removed to deduce the existence result proved in Theorem 1.1.
Example 2.5.
Let be a periodic sequence, , and be fixed. Consider problem (1.10) with
It is obvious that condition holds. Since we have that condition is trivially fulfilled. Concerning to condition , we have that
It is clear that for all and that for all if and only if .
When , the inequality holds if and only if either or and
As consequence, the inequality for all is satisfied if and only if , that is, condition does not hold.
Let us see that this problem has only the trivial solution for small values of the parameter .
Since , it is not difficult to verify that, for , the function is strictly decreasing for every integer . So, for in that situation, we have that
Suppose that there is a nontrivial solution of the considered problem, and moreover it takes some positive values. Let be such that . In such a case we deduce the following contradiction:
Analogously it can be verified that the solution has no negative values on .
3. Remarks and Examples
In this section we will consider some examples and remarks on applications and extensions of Theorem 1.1 to the existence of homoclinic solutions of difference equations of following types:

(A)
Secondorder discrete Laplacian equations of the form
(3.1)
with.

(B)
Higher evenorder difference equations. A model equation is the fourthorder extended FisherKolmogorov equation
(3.2)
with.

(C)
Secondorder difference equations with cubic and quintic nonlinearities of the forms
(3.3)
arising in mathematical physics and biology.
(A) SecondOrder DiscreteLaplacian Equations.
The spectrum of the Dirichlet problem for (3.1), subject to Dirichlet boundary conditions
is studied in [17]. It is proved that if , and is a given function, then there exist two positive constants and with such that no is an eigenvalue of problem while any is an eigenvalue of problem . Moreover, we have
where and . Note that if is positive and then
where is a constant depending on , which implies that and as . It implies that for a given , there exists such that for any , the problem has a solution for every .
We extend this phenomenon, looking for homoclinic solutions of (3.1). Applying Theorem 1.1 with and , we obtain the following.
Corollary 3.1.
Suppose that the function is positive and periodic and . Then, for each , (3.1) has a nonzero homoclinic solution.
Moreover, given a nontrivial solution of problem (3.1), there exist two integer numbers such that for all and , the sequence is strictly monotone.
(B) Higher EvenOrder Difference Equations.
The statement of Theorem 1.1 can be extended to higher evenorder difference equations. For simplicity we consider the fourthorder difference equations of the form
where for each , satisfy the assumptions −.
We consider the functional ,
where
which is well defined for ,.
Note that the series is convergent because
while is convergent since .
Now following the steps of the proof of Theorem 1.1 one can prove the following.
Theorem 3.2.
Suppose that , the function is positive and periodic and the functions satisfy assumptions − and ,. Then, for each , (3.8) has a nonzero homoclinic solution , which is a critical point of the functional .
A typical example of (3.8) is (3.2), which is a discretization of a fourthorder extended FisherKolmogorov equation. Homoclinic solutions for fourthorder ODEs are studied in [7] using variational approach and concentrationcompactness arguments. As a consequence of Theorem 3.2 we obtain the following corollary.
Corollary 3.3.
Suppose that , the function is positive and periodic and . Then, for each , (3.2) has a nonzero homoclinic solution .
(C) SecondOrder Difference Equations with Cubic and Quintic Nonlinearities.
Our next example is (3.3), known as stationary GinzubrgLandau equation with cubicquintic nonlinearity. We refer to [18, 19] and references therein. From physical point of view it is interesting the case ,,. Theorem 1.1 can be applied for with , periodic, and positive. Then satisfies assumptions − with and as a consequence we have the following corollary.
Corollary 3.4.
Suppose that the functions , and are periodic and and are positive. Then, for each , (3.3) has a nonzero homoclinic solution .
Moreover, given a nontrivial solution of problem (1.10), there exist two integer numbers such that for all and , the sequence is strictly monotone.
Moreover, we can prove that if in addition to conditions − the following condition holds:
(F_{4}) ,
the homoclinic solution of (1.10) is positive.
Indeed, let be a homoclinic solution of (1.10) and assume that holds. Suppose that there exists such that and let be such that . In consequence , which implies that
in contradiction with . Then for every .
If for some , we know that and, in consequence, , and we arrive at a contradiction as in the previous case.
We summarize above observations in the following.
Theorem 3.5.
Suppose that the function is positive and periodic and the functions satisfy assumptions , , and . Then, for each , (1.10) has a nonzero homoclinic solution . If moreover holds, is a positive solution on that is strictly monotone for large enough.
In the case we can estimate the maximum of the solution , provided the additional assumption
(F_{5}) Assume that for all and function has the form , where is periodic in , and for each , is increasing in for .
Let be the inverse function of for . We have that is increasing in for . Let be a positive homoclinic solution of (1.10) in view of last theorem and is its maximum. Note that, in view of the periodicity of coefficients, if is a solution of (1.10), then is also a solution of (1.10). Hence, we may assume that . Then and
and hence by properties of and
Thus
We summarize above observation in the following.
Corollary 3.6.
Let and suppose that the functions and satisfy assumptions of Theorem 3.5. Then, if in addition, satisfies condition , the positive homoclinic solution of the equation
satisfies the estimate (3.15).
Our next example, concerning Theorem 3.5, are (3.4) and
where .
Positive homoclinic solutions of corresponding differential equation are studied in [3] and periodic solutions in [20]. We suppose that the coefficients , , and are periodic and there are constants ,,,, and such that
By Theorem 3.5, (3.17) has a positive solution , which is a critical point of the functional ,
Clearly, the positive solution of (3.17) is a positive solution of (3.4) too.
Further, let take its positive maximum at , then and, since , we have from (3.4) that
In view of (3.18), the last inequality implies
or
We obtain a positive lower bound for in the case
and (3.22) shows that blows up, that is, tends to as .
We summarize above facts in the following.
Corollary 3.7.
Let and and be periodic sequences.
Assume that there are constants ,,,, and such that (3.18) holds. Then,
has a positive homoclinic solution and for ,
Let . By the last statement, if is the solution of the equation
then
Let be such that . Since is an infinite sequence of integers, by Dirichlet principle, there exists a fixed and a subsequence of , still denoted by , such that and . Note that if , then or .
Dedication
This work is dedicated to Professor Gheorghe Moroşanu on the occasion of his 60th birthday.
References
Poincaré H: Les Méthodes Nouvelles de la Mécanique Céleste. GauthierVillars, Paris, France; 1899.
Coti Zelati V, Rabinowitz PH: Homoclinic orbits for second order Hamiltonian systems possessing superquadratic potentials. Journal of the American Mathematical Society 1991,4(4):693727. 10.1090/S08940347199111192003
Grossinho M, Minhós F, Tersian S: Positive homoclinic solutions for a class of second order differential equations. Journal of Mathematical Analysis and Applications 1999,240(1):163173. 10.1006/jmaa.1999.6606
Omana W, Willem M: Homoclinic orbits for a class of Hamiltonian systems. Differential and Integral Equations 1992,5(5):11151120.
Rabinowitz PH: Homoclinic orbits for a class of Hamiltonian systems. Proceedings of the Royal Society of Edinburgh. Section A 1990,114(12):3338. 10.1017/S0308210500024240
Tanaka K: Homoclinic orbits in a first order superquadratic Hamiltonian system: convergence of subharmonic orbits. Journal of Differential Equations 1991,94(2):315339. 10.1016/00220396(91)90095Q
Tersian S, Chaparova J: Periodic and homoclinic solutions of extended FisherKolmogorov equations. Journal of Mathematical Analysis and Applications 2001,260(2):490506. 10.1006/jmaa.2001.7470
Li C: A unified proof on existence of homoclinic orbits for some semilinear ordinary differential equations with periodic potentials. Journal of Mathematical Analysis and Applications 2010,365(2):510516. 10.1016/j.jmaa.2009.11.013
Brezis H, Nirenberg L: Remarks on finding critical points. Communications on Pure and Applied Mathematics 1991,44(89):939963. 10.1002/cpa.3160440808
Agarwal RP, Perera K, O'Regan D: Multiple positive solutions of singular and nonsingular discrete problems via variational methods. Nonlinear Analysis: Theory, Methods & Applications 2004,58(12):6973. 10.1016/j.na.2003.11.012
Cabada A, Iannizzotto A, Tersian S: Multiple solutions for discrete boundary value problems. Journal of Mathematical Analysis and Applications 2009,356(2):418428. 10.1016/j.jmaa.2009.02.038
Chen P, Fang H:Existence of periodic and subharmonic solutions for secondorder Laplacian difference equations. Advances in Difference Equations 2007, 2007:9.
Fang H, Zhao D: Existence of nontrivial homoclinic orbits for fourthorder difference equations. Applied Mathematics and Computation 2009,214(1):163170. 10.1016/j.amc.2009.03.061
Jiang L, Zhou Z:Three solutions to Dirichlet boundary value problems for Laplacian difference equations. Advances in Difference Equations 2008, 2008:10.
Ma M, Guo Z: Homoclinic orbits for second order selfadjoint difference equations. Journal of Mathematical Analysis and Applications 2006,323(1):513521. 10.1016/j.jmaa.2005.10.049
Mihăilescu M, Rădulescu V, Tersian S: Eigenvalue problems for anisotropic discrete boundary value problems. Journal of Difference Equations and Applications 2009,15(6):557567. 10.1080/10236190802214977
Kristály A, Mihăilescu M, Rădulescu V, Tersian S: Spectral estimates for a nonhomogeneous difference problem. Communications in Contemporary Mathematics. In press
Efremidis NK, Christodoulides DN: Discrete GinzburgLandau solitons. Physical Review E 2003., 67:
Maruno K, Ankiewicz A, Akhmediev N: Dissipative solitons of the discrete complex cubicquintic GinzburgLandau equation. Physics Letters A 2005,347(4–6):231240. 10.1016/j.physleta.2005.08.028
Grossinho MR, Sanchez L: A note on periodic solutions of some nonautonomous differential equations. Bulletin of the Australian Mathematical Society 1986,34(2):253265. 10.1017/S000497270001011X
Acknowledgment
S. Tersian is thankful to Department of Mathematical Analysis at University of Santiago de Compostela, Spain, where a part of this work was prepared during his visit. A. Cabada partially supported by Ministerio de Educación y Ciencia, Spain, project MTM200761724.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Cabada, A., Li, C. & Tersian, S. On Homoclinic Solutions of a Semilinear Laplacian Difference Equation with Periodic Coefficients. Adv Differ Equ 2010, 195376 (2010). https://doi.org/10.1155/2010/195376
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2010/195376
Keywords
 Banach Space
 Hamiltonian System
 Difference Equation
 Laplacian Equation
 Variational Approach