Research Article | Open Access
Periodic Solutions of Second Order Nonlinear Difference Equations with Singular -Laplacian Operator
We obtain some existence results of solutions for discrete periodic boundary value problems with singular -Laplacian operator , , , and by using the upper and lower solutions method and Brouwer degree theory, where is a constant, , , , and is a parameter. We also give some examples with singular nonlinearities to illustrate our main results.
In this paper we present some existence results for the discrete periodic boundary value problems with singular -Laplacian operator where is a constant, , , , is a parameter, and with is an integer.
These problems are originated in the study that a particle moves on a straight line, subject to a restoring force with relativistic effects, which can be described by the differential equation of motion: where is the rest mass of the particle and is the speed of light in the vacuum (see [1–3]). Assume that . The existence and multiplicity of solutions for (2) subjected to Dirichlet, Robin, periodic, or Neumann boundary conditions have been studied by various methods, such as the method of lower and upper solutions, topological degree theory, and critical point theory; see [4–8] and the references therein.
An interesting question is which techniques and theorems regarding the continuous differential equations can be adapted for difference equations (see Kelly and Peterson , Agarwal , and Bereanu and Mawhin [11, 12]). The purpose of this paper is to show that some known existence and multiplicity results of periodic solution for singular perturbations of the singular -Laplacian operator also hold for the corresponding difference equation and develop some results for the singular difference equation boundary value problems; see [12–17].
In the case and , Bereanu and Mawhin  proved that the discrete periodic problem with an attractive nonlinearity has at least one positive solution if and only if . When , they also showed that the repulsive singular periodic problem has at least one positive solution if and only if .
In the case , the problem (1) is the classical discrete periodic problem This problem has been studied by Ma and Lu [15–17] where the existence of positive solution needs a necessary condition or (see ). For other results concerning the existence of solutions for singular nonlinear difference equation boundary value problems, see, for example, [9, 10, 18].
It is interesting to remark that, in contrast to the classical case, the periodic problem with discrete relativistic acceleration has at least one solution for any and any forcing term (see [12, Corollary 2]). Note that, for this type of problems, in some sense, the same situation occurs also if we add a singular nonlinearity.
In order to explain the main result, let us introduce some notation. For any , we write and . For , we put and note that .
Motivated by the above results from [12, 14–17], we consider the discrete periodic problem where , , and . If either or and , then we prove that the above problem has at least one solution (see Example 14). In the case , we show that the periodic problem with repulsive singular term with and , is solvable (see Example 18) provided that On the other hand, we also consider the periodic problem with attractive singularity where , , and with and . If either or and in both cases , then the problem (12) has at least one solution (see Example 19). Moreover, in the pure attractive case, that is, , it follows that (12) is solvable if either or and (Theorem 21).
The rest of the paper is organized as follows. In Section 2, we introduce some notations and auxiliary results. In Section 3 we establish the method of non-well-ordered lower and upper solutions and give an application on the discrete periodic problem with the strong repulsive nonlinearities. In addition, we introduce some methods to construct lower and upper solutions. Finally, in Section 4 we give some applications to deal with the singular perturbations periodic problems.
2. Some Notations and Auxiliary Results
In this section, we first introduce some notations. Let with ; we denote .
For , set , . If , we write (resp., ) if (resp., ) for all . The following assumption upon (called singular) is made throughout the paper:
() is an increasing homeomorphism with .
The model example is
Let with be fixed and . Then we denote where for and if , define where for .
Let be a continuous function. Then its Nemytskii operator is given by It follows that is continuous and takes bounded sets into bounded sets.
Let be the projectors defined by If , we write and we will consider the following closed subspaces of :
Let the vector space be endowed with the orientation of and the norm . Its elements can be associated with the coordinates and correspond to the elements of of the form
Now, we recall the following technical result given as Lemma 1 from .
Lemma 1. For each , there exists a unique such that Moreover, the function is continuous.
Lemma 2. Let be a continuous operator which takes bounded sets into bounded sets and consider the abstract discrete periodic problem: A function is a solution of (21) if and only if is a fixed point of the continuous operator defined by , where satisfying Furthermore, for all and for any solution of (21).
An easy adaption of the proof of [12, Theorem 3] provides the following useful result.
Lemma 5. Assume that (24) has a lower solution and an upper solution such that , and Then
The next result is an elementary estimation of the oscillation of a periodic function.
Lemma 6. If is a -periodic function, then
Proof. Let be such that , and let be such that . We have that Then, multiplying both inequalities and using that , for all , it follows that and the proof is completed.
3. The Method of Lower and Upper Solutions and Application
In 2008, Bereanu and Mawhin  proved that problem (24) has at least one solution if it has a lower solution and an upper solution with . In the following result we prove some additional concerning the location of the solution. In particular, we have a posteriori estimations which will be very useful in the sequel (Remark 8).
and define the continuous function by
Let us consider the modified periodic problem and let be the fixed point operator associated with (37).
It is not difficult to verify that is a lower solution and is an upper solution of the problem (37). Moreover, by computation, is a lower solution of (37) and is an upper solution of (37). Notice that which together with (33) imply that So, we can consider the open bounded set It follows that Clearly, any constant function between and is contained in , so .
Next, let us consider such that and . Notice that one has . This implies that there exists such that or . In the first case we can assume that . If , then , . This together with is an increasing homeomorphism implying . On the other hand, we have that which is a contradiction. If , then from boundary condition , , we can get that and , which implies that . This together with implies that ; this is a contradiction. Analogously, one can obtain a contradiction in the second case. Consequently,
Now, let be such that . It follows from (43) that and . We infer that there exists such that or , implying that . Then, and, consequently,
We have divided two cases to discuss.
Case 1. Assume that there exists such that . Using (45), we deduce that , implying that is a solution of (24) and (34) holds. Actually, in this case, there exists such that or .
Case 2. Assume that for all . Then, from Lemma 5 applied to , it follows that This together with the additivity property of the Brouwer degree implies that which together with the existence property of the Brouwer degree imply that there exists such that . It follows that there exists such that and . Then, using once again the fact that , it follows that and is a solution of (24). Moreover, from , it follows that (34) is true.
As an application of Theorem 7, we deal with singular strong nonlinearities. Consider the following discrete periodic problem: where and are continuous functions such that and . Under those assumptions we have the following theorem.
Proof. First, we define some notations as follows:
From (50), there exists such that
where , .
Let , be the continuous functions given by and consider the auxiliary periodic problem From , it follows that and are lower and upper solutions of (54), respectively.
If , then (54) has a solution satisfying from Lemma 4 and [12, Remark 3] (without any additional assumption). If condition (33) holds, then (54) has a solution satisfying (34). Obviously, the solution satisfies Next, we will prove that . From (55), there exists such that . Suppose on the contrary that , summing from to for (54); then we have
This together with (52) implies that which is a contradiction. Hence, , implying that is also a solution of (49).
Now, we give a method to construct the lower solution and the upper solution of the following discrete periodic problem: where is a continuous singular nonlinearity and .
The following result gives a method to construct a lower solution to (58), getting also control on its localization.
Theorem 10. Suppose that there exist and such that If then (58) has a lower solution such that
Proof. Consider the function . We have two cases.
Case 1. Assume that . Taking and using that , it follows from (59) that is a lower solution of (58).
Case 2. Assume that . Let . Then using and [12, Proposition 3], it follows that there exists such that Let us take and for . Then we define Let ; then . On the other hand, we have that Since , Lemma 6 implies (61). Now, we will show that is the lower solution of (58). By using (60), it follows that ; this together with the definitions of , , and implies that From (59) and (61), we deduce that Consequently,
By a similar argument, it is easy to prove the following theorem.
Theorem 11. Suppose that there exist and such that If then (58) has an upper solution such that
4. Some Applications for Singular Perturbations Problems
4.1. Strong Repulsive Perturbations
Consider the discrete periodic problem where , , and is continuous and satisfies
The main result of this subsection is the following theorem.
Proof. Notice that from (73) it follows that there exists a constant sufficiently small such that
which means that is an upper solution of (72).
Now we construct a lower solution of (72) by applying Theorem 10. Consider the continuous function defined by given by and defined by
Case 1. Assume that . This together with (73) implies that so there exists such that . In order to apply Theorem 10, define It follows that and , meaning that condition (60) is fulfilled. One has that for all . So, condition (59) holds. Then, from Theorem 10 we infer that (72) has a lower solution . Therefore, from Theorem 9, we can obtain the result.
Case 2. Assume that and . It follows that Then, there exists such that , since . The result follows by a similar argument to that used in Case 1.
Example 14. Consider the repulsive singular periodic problem where , , and . If either or , , then (83) has at least one solution.
In the case , there exists such that (83) has at least two solutions provided that holds true. In fact, in this case, problem (83) has two strict upper solutions , and a strict lower solution such that . Thus, the result follows from Lemma 4 and Theorem 9.
4.2. Mixed Singularities
Consider the discrete periodic problem where , , and is continuous and satisfies Let the continuous function defined by , given by and , , defined by
The following lemma plays a key role to prove the main result in this subsection.
Proof. Since , there exists such that . Let us take and by
Then it follows that conditions (59) and (60) hold. Thus, from Theorem 10 we infer that (84) has a lower solution such that .
On the other hand, using the fact that , there exists such that . Consider by Then, it follows that conditions (69) and (70) hold. Therefore, from Theorem 11 we can get that (84) has an upper solution such that . The result follows from Lemma 4.
Let us consider the discrete periodic problem where , , , and . We have the following theorem.
Theorem 17. If and then (91) has at least one solution.
Proof. We have divided two cases.
Case 1. Assume that . In this case one has that implying that