The Existence of Positive Solutions for Singular Impulse Periodic Boundary Value Problem
Abstract
We obtain new result of the existence of positive solutions of a class of singular impulse periodic boundary value problem via a nonlinear alternative principle of Leray-Schauder. We do not require the monotonicity of functions in paper (Zhang and Wang, 2003). An example is also given to illustrate our result.
1. Introduction
Because of wide interests in physics and engineering, periodic boundary value problems have been investigated by many authors (see [1–19]). In most real problems, only the positive solution is significant.
-
(A1)
(1.4) -
(A2)
(1.5)
Nieto [10] introduced the concept of a weak solution for a damped linear equation with Dirichlet boundary conditions and impulses. These results will allow us in the future to deal with the corresponding nonlinear problems and look for solutions as critical points of weakly lower semicontinuous functionals.
-
There exist nonnegative valued ξ(x), η(x) ∈ C((0, ∞)) and P(t), Q(t) ∈ L1[0,2π] such that
-
(1.7)
-
(1.8)Here, δj, Aj, Bj are some constants.
In this paper, the nonlinear term f(t, u) is singular at u = 0, and positive solution of PBVP (1.1) is obtained by a nonlinear alternative principle of Leray-Schauder type in cone. We do not require the monotonicity of functions η, ξ/η used in [19]. An example is also given to illustrate our result.
This paper is organized as follows. In Section 1, we give a brief overview of recent results on impulsive and periodic boundary value problems. In Section 2, we present some preliminaries such as definitions and lemmas. In Section 3, the existence of one positive solution for PBVP (1.1) will be established by using a nonlinear alternative principle of Leray-Schauder type in cone. An example is given in Section 4.
2. Preliminaries
Consider the space PC[J, R] = {u : u is a map from J into R such that u(t) is continuous at t ≠ tk, left continuous at t = tk, and exists, for k = 1,2, …l.}. It is easy to say that PC[J, R] is a Banach space with the norm ∥u∥pc = supt∈J |u(t)|. Let PC1[J, R] = {u ∈ PC[J, R] : u′(t) exists at t ≠ tk and is continuous at t ≠ tk, and , exist and u′(t) is left continuous at t = tk, for k = 1,2, …l.} with the norm . Then, PC1[J, R] is also a Banach space.
Lemma 2.1 (see [15].)u ∈ PC1(J, R)∩C2(J′, R) is a solution of PBVP (1.1) if and only if u ∈ PC(J) is a fixed point of the following operator T:
The following nonlinear alternative principle of Leray-Schauder type in cone is very important for us.
Lemma 2.2 (see [4].)Assume that Ω is a relatively open subset of a convex set K in a Banach space PC[J, R]. Let be a compact map with 0 ∈ Ω. Then, either
- (i)
T has a fixed point in , or,
- (ii)
there is a u ∈ ∂Ω and a λ < 1 such that u = λTu.
3. Main Results
In this section, we establish the existence of positive solutions of PBVP (1.1).
Theorem 3.1. Assume that the following three hypothesis hold:
-
H1 there exists nonnegative functions ξ(u), η(u), γ(u) ∈ C(0, +∞) and p(t), q(t) ∈ L1([0,2π]) such that
-
H2 there exists a positive number r > 0 such that
-
H3 for the constant r in (H2), there exists a function Φr > 0 such that
Proof. The existence of positive solutions is proved by using the Leray-Schauder alternative principle given in Lemma 2.2. We divide the rather long proof into six steps.
Step 1. From (3.3), we may choose n0 ∈ {1,2, …} such that
Step 2. We claim that any fixed point u of (3.11) for any λ ∈ [0,1) must satisfies ∥u∥≠r.
Otherwise, we assume that u is a solution of (3.11) for some λ ∈ [0,1) such that ∥u∥ = r. Note that fn(t, u) ≥ 0. u(t) ≥ 1/n for all t ∈ J and r ≥ u(t)≥(1/n) + σ∥u − 1/n∥. By the choice of n0, 1/n ≤ 1/n0 < r. Hence, for all t ∈ J, we get
Step 3. From the above claim and the Leray-Schauder alternative principle, we know that operator (3.9) (with λ = 1) has a fixed point denoted by un in . So, (3.7) (with λ = 1) has a positive solution un with
Step 4. We show that {un} have a uniform positive lower bound; that is, there exists a constant δ > 0, independent of n ∈ N0, such that
Step 5. We prove that
Step 6. Now, we pass the solution un of the truncation equation (3.7) (with λ = 1) to that of the original equation (1.1). The fact that ∥un∥<r and (3.22) show that is a bounded and equi-continuous family on [0,2π]. Then, the Arzela-Ascoli Theorem guarantees that has a subsequence , converging uniformly on [0,2π]. From the fact ∥un∥<r and (3.20), u satisfies δ ≤ u(t) ≤ r for all t ∈ J. Moreover, also satisfies the following integral equation:
4. An Example
To see this, we will apply Theorem 3.1.
Acknowledgments
The authors are grateful to the anonymous referees for their helpful suggestions and comments. Zhaocai Hao acknowledges support from NSFC (10771117), Ph.D. Programs Foundation of Ministry of Education of China (20093705120002), NSF of Shandong Province of China (Y2008A24), China Postdoctoral Science Foundation (20090451290), ShanDong Province Postdoctoral Foundation (200801001), and Foundation of Qufu Normal University (BSQD07026).