Periodic Solutions of Second Order Nonlinear Difference Equations with Singular ϕ-Laplacian Operator
Abstract
We obtain some existence results of solutions for discrete periodic boundary value problems with singular ϕ-Laplacian operator , 2 ≤ k ≤ N − 1, u1 = uN, and Δu1 = ΔuN−1 by using the upper and lower solutions method and Brouwer degree theory, where κ > 0 is a constant, r = (r2, …, rN−1), m = (m2, …, mN−1), , and λ > 0 is a parameter. We also give some examples with singular nonlinearities to illustrate our main results.
1. Introduction
An interesting question is which techniques and theorems regarding the continuous differential equations can be adapted for difference equations (see Kelly and Peterson [9], Agarwal [10], 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].
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 a < b; we denote .
For , set ∥u∥∞ = max1≤k≤p|uk|, . If , we write α ≤ β (resp., α < β) if αk ≤ βk (resp., αk < βk) for all 1 ≤ k ≤ p. The following assumption upon ϕ (called singular) is made throughout the paper:
(Hϕ) is an increasing homeomorphism with ϕ(0) = 0.
Now, we recall the following technical result given as Lemma 1 from [12].
Lemma 1. For each h = (h2, …, hN−1), there exists a unique γ≔Qϕ(h) such that
Lemma 2. Let be a continuous operator which takes bounded sets into bounded sets and consider the abstract discrete periodic problem:
Now, we state the method of upper and lower solutions for discrete periodic problem (24) according to Bereanu and Mawhin [12].
Definition 3. A function α = (α1, …, αN) (resp., β = (β1, …, βN)) is called a lower solution (resp., an upper solution) for (24) if ∥Δα∥∞ < a (resp., ∥Δβ∥∞ < a) and
Lemma 4 (see [12], Theorem 3.)If (24) has a lower solution α and an upper solution β such that α ≤ β, then (24) has a solution u such that α ≤ u ≤ β. Moreover, if α and β are strict, then α < u < β, and
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
The next result is an elementary estimation of the oscillation of a periodic function.
Lemma 6. If is a N-periodic function, then
Proof. Let be such that , and let be such that . We have that
3. The Method of Lower and Upper Solutions and Application
In 2008, Bereanu and Mawhin [12] 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).
Theorem 7. Assume that (24) has a lower solution α and an upper solution β such that
Proof. Let
Let us consider the modified periodic problem
It is not difficult to verify that α is a lower solution and β is an upper solution of the problem (37). Moreover, by computation, α1 = −u* − 2 is a lower solution of (37) and β1 = u* + 2 is an upper solution of (37). Notice that
Next, let us consider u ∈ ∂Ω such that and ∥u∥∞ = u* + 2. Notice that one has ∥Δu∥∞ < a. 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
Now, let u ∈ ∂Ω be such that . It follows from (43) that ∥u∥∞ < u* + 2, ∥Δu∥∞ < a and . We infer that there exists such that or , implying that . Then,
We have divided two cases to discuss.
Case 1. Assume that there exists u ∈ ∂Ω such that . Using (45), we deduce that ∥u∥∞ < u*, implying that u is a solution of (24) and (34) holds. Actually, in this case, there exists such that or .
Case 2. Assume that for all u ∈ ∂Ω. Then, from Lemma 5 applied to g, it follows that
Remark 8. Assume that (24) has a lower solution α and an upper solution β. From Lemma 4 and Theorem 7, we deduce that (24) has at least one solution u satisfying (34). In particular,
Theorem 9. Assume that (49) has a lower solution α > 0 and an upper solution β > 0. Then (49) has at least one solution u which satisfies (34).
Proof. First, we define some notations as follows:
Let , be the continuous functions given by
If α ≤ β, then (54) has a solution u satisfying α ≤ u ≤ β from Lemma 4 and [12, Remark 3] (without any additional assumption). If condition (33) holds, then (54) has a solution u satisfying (34). Obviously, the solution u satisfies
This together with (52) implies that
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 u1 > 0 and such that
Proof. Consider the function ψ = c + e. We have two cases.
Case 1. Assume that Ψ+ = 0. Taking α ≡ u1 and using that c + e ≤ 0, it follows from (59) that α is a lower solution of (58).
Case 2. Assume that Ψ+ > 0. Let . Then using
By a similar argument, it is easy to prove the following theorem.
Theorem 11. Suppose that there exist u2 > 0 and such that
4. Some Applications for Singular Perturbations Problems
4.1. Strong Repulsive Perturbations
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
Now we construct a lower solution of (72) by applying Theorem 10. Consider the continuous function defined by
Case 1. Assume that . This together with (73) implies that
Case 2. Assume that and . It follows that
Example 14. Consider the repulsive singular periodic problem
In the case r < 0, there exists s0 < 0 such that (83) has at least two solutions provided that e ≤ s0 holds true. In fact, in this case, problem (83) has two strict upper solutions β1, β2 > 0 and a strict lower solution α > 0 such that β1 < α < β2. Thus, the result follows from Lemma 4 and Theorem 9.
4.2. Mixed Singularities
The following lemma plays a key role to prove the main result in this subsection.
Proof. Since , there exists z > aN/2 such that γ*(z)≤−E. Let us take u1 = z − aN/2 > 0 and by
On the other hand, using the fact that , there exists u2 ≥ z such that γ*(u2)≥−E. Consider by
Remark 16. From Lemma 15, the solution u of (84) is a positive solution since 0 < u1 ≤ α ≤ u ≤ β < u2 + aN/2.
Proof. We have divided two cases.
Case 1. Assume that M− = 0. In this case one has that
Case 2. Assume that M− > 0. Notice that the minimum of u ↦ −Ru + (aN/2)R+ + M−/(u−aN/2)λ is attained in and
Example 18. Consider the discrete periodic problem with repulsive singularity:
Example 19. Consider the periodic problem with attractive singularity
In connection with Example 19, if r = 0, then we have the following theorem.
Theorem 20. Consider the discrete periodic problem with attractive singularity
Proof. We will use the same strategy as in the proof of Lemma 15. In this case one has that g0(k, u) = −mk/uλ.
Clearly, it follows from (100) that there exists z > aN/2 such that E < Mz−λ. Let us define u1 = z − aN/2 > 0 and by
Using again (100), it follows that there exists u2 > z such that E ≥ M(u2) −λ. Let us define by dk = −mk(u2) −λ. Then it follows that conditions (69) and (70) are true. Hence, from Theorem 11 we infer that (99) has an upper solution β such that u2 ≤ β < u2 + aN/2.
Consequently, (99) has a lower solution α and an upper solution β such that α ≤ β. The result follows from Lemma 4.
In the “pure” attractive case we have the following result concerning (84).
Theorem 21. Assume that (85) and
Proof. Notice that from (102) it follows that any sufficiently small positive constant α is a lower solution of (84). The construction of an upper solution β ≥ α for (84) is similar as in Lemma 15. Then the result follows from Lemma 4.
Example 23. Let us consider again problem (97), with the condition m > 0. If either or and , then (97) has at least one solution.
Example 24. Let λ > 0, μ ≥ 1 with μ > λ and consider the discrete periodic problem
Conflict of Interests
The authors declare that they have no conflict of interests.
Authors’ Contribution
Ruyun Ma completed the main study, carried out the results of this paper, and drafted the paper. Yanqiong Lu checked the proofs and verified the calculation. All the authors read and approved the final paper.
Acknowledgments
The authors are very grateful to the anonymous referees for their valuable suggestions. This work was supported by the NSFC (no. 11361054), SRFDP (no. 20126203110004), and Gansu provincial National Science Foundation of China (no. 1208RJZA258).