Abstract
In this article, we study the following mpoint boundary value problem on time scales,
where
AMS Subject Classification: 34B10; 34B18; 39A10.
Keywords:
positive solutions; cone; multipoint; boundary value problem; time scale1 Introduction
The study of dynamic equations on time scales goes back to its founder Hilger [1], and is a new area of still theoretical exploration in mathematics. Motivating the subject is the notion that dynamic equations on time scales can build bridges between continuous and discrete mathematics. Further, the study of time scales has led to several important applications, e.g., in the study of insect population models, neural networks, heat transfer, epidemic models, etc. [2].
Multipoint boundary value problems of ordinary differential equations (BVPs for short) arise in a variety of different areas of applied mathematics and physics. For example, the vibrations of a guy wire of a uniform cross section and composed of N parts of different densities can be set up as a multipoint boundary value problem [3]. Many problems in the theory of elastic stability can be handled by the method of multipoint problems [4]. Small size bridges are often designed with two supported points, which leads into a standard twopoint boundary value condition and large size bridges are sometimes contrived with multipoint supports, which corresponds to a multipoint boundary value condition [5]. The study of multipoint BVPs for linear secondorder ordinary differential equations was initiated by Il'in and Moiseev [6]. Since then many authors have studied more general nonlinear multipoint BVPs, and the multipoint BVP on time scales can be seen as a generalization of that in ordinary differential equations.
Recently, the existence and multiplicity of positive solutions for nonlinear differential equations on time scales have been studied by some authors [711], and there has been some merging of existence of positive solutions to BVPs with pLaplacian on time scales [1219].
He [20] studied
subject to one of the following boundary conditions
where
Anderson [21] studied
subject to one of the following boundary conditions
by using a functionaltype cone expansioncompression fixedpoint theorem, the author gets the existence of at least one positive solution to BVP (1.3), (1.4) and BVP (1.3), (1.5).
However, to the best of the authors' knowledge, up to now, there are few articles concerned with the existence of mpoint boundary value problem with pLaplacian on time scales. So, in this article, we try to fill this gap. Motivated by the article mentioned above, in this article, we consider the following mpoint BVP with onedimensional pLaplacian,
where ϕ_{p}(s) = s^{p2}s,p > 1,h ∈ C_{ld}((0,T), (0, +∞)),
We will assume throughout
(S1) h ∈ C_{ld }((0, T), [0, ∞)) such that
(S2) f ∈ C([0, ∞), (0, ∞)), f ≢ 0 on
(S3) By ϕ_{q }we denote the inverse to ϕ_{p}, where
(S4) By t ∈ [a, b] we mean that
2 Preliminaries
In this section, we will give some background materials on time scales.
Definition 2.1. [7,22] For
for all
If
Definition 2.2. [7,22] For
for all s ∈ U. For
for all s ∈ V.
Definition 2.3. [22] If F^{Δ }(t) = f(t), then we define the "Δ" integral by
If F^{∇ }(t) = f(t), then we define the "∇" integral by
Lemma 2.1. [23]The following formulas hold:
(i)
(ii)
(iii)
(iv)
Lemma 2.2. [7, Theorem 1.75 in p. 28] If f ∈ C_{rd }and
According to [23, Theorem 1.30 in p. 9], we have the following lemma, which can be proved easily. Here, we omit it.
Lemma 2.3. Let
(i) If
where the integral on the right is the usual Riemann integral from calculus.
(ii) If [a, b] consists of only isolated points, then
(iii) If
(iv) If
In what follows, we list the fixed point theorems that will be used in this article.
Theorem 2.4. [24]Let E be a Banach space and P ⊂ E be a cone. Suppose Ω_{1}, Ω_{2 }⊂ E open and bounded,
(i) ∥Ax∥ ≤ ∥x∥, ∀x ∈ ∂Ω_{1 }∩ P, ∥Ax∥ ≥ ∥x∥, ∀x ∈ ∂Ω_{2 }∩ P;
(ii) ∥Ax∥ ≥ ∥x∥, ∀x ∈ ∂Ω_{1 }∩ P, ∥Ax∥ ≤ ∥x∥, ∀x ∈ ∂Ω_{2 }∩ P.
Then, A has a fixed point in
Theorem 2.5. [25]Let P be a cone in the real Banach space E. Set
If α and γ are increasing, nonnegative continuous functionals on P, let θ be a nonnegative continuous functional on P with θ(0) = 0 such that for some positive constants r, M,
for all
If
(i) γ(Au) > r for all u ∈ ∂P(γ, r);
(ii) θ(Au) < b for all u ∈ ∂P(θ, r);
(iii)
Then, A has at least two fixed points u_{1 }and u_{2 }such that
Let a, b, c be constants, P_{r }= {u ∈ P : ∥u∥ < r}, P(ψ, b, d) = {u ∈ P : a ≤ ψ(u), ∥u∥ ≤ b}.
Theorem 2.6. [26]Let
(i)
(ii) ∥Au∥ < a for all
(iii) ψ(Au) > b for all u ∈ P(ψ, b, d) with ∥Au∥ > d.
Then, A has at least three fixed points u_{1},u_{2}, and u_{3 }satisfying
Let the Banach space E = C_{ld}[0, T] be endowed with the norm ∥u∥ = sup_{t ∈ [0,T] }u(t), and cone P ⊂ E is defined as
It is obvious that ∥u∥ = u(T) for u ∈ P. Define A : P → E as
for t ∈ [0, T].
In what follows, we give the main lemmas which are important for getting the main results.
Lemma 2.7. A : P → P is completely continuous.
Proof. First, we try to prove that A : P → P.
Thus, (Au)^{Δ }(T) = 0 and by Lemma 2.1 we have (Au)^{Δ∇ }(t) = h(t)f(t, u(t)) ≤ 0 for t ∈ (0, T). Consequently, A : P → P.
By standard argument we can prove that A is completely continuous. For more details, see [27]. The proof is complete.
Lemma 2.8. For u ∈ P, there holds
Proof. For u ∈ P, we have u^{Δ∇ }(t) ≤ 0, it follows that u^{Δ }(t) is nonincreasing. Therefore, for 0 < t < T,
and
thus
Combining (2.1) and (2.3) we have
as u(0) ≥ 0, it is immediate that
The proof is complete.
3 Existence of at least one positive solution
First, we give some notations. Set
Theorem 3.1. Assume in addition to (S1) and (S2), the following conditions are satisfied, there exists
(H1)
(H2)
Then, BVP (1.6) has at least one positive solution.
Proof. Cone P is defined as above. By Lemma 2.7 we know that A : P → P is completely continuous. Set Ω_{r }= {u ∈ E, ∥u∥ < r}. In view of (H1), for u ∈ ∂ Ω_{r }∩ P,
which means that for u ∈ ∂Ω_{r }∩ P, Au ≤ u.
On the other hand, for u ∈ P, in view of Lemma 2.8, there holds
which implies that for u ∈ ∂Ω_{ρ}∩P, ∥Au∥ ≥ ∥u∥ Therefore, the immediate result of Theorem 2.4 is that A has at least one fixed point u ∈ (Ω_{ρ}\Ω_{r}) ∩ P. Also, it is obvious that the fixed point of A in cone P is equivalent to the positive solution of BVP (1.6), this yields that BVP (1.6) has at least one positive solution u satisfies r ≤ ∥u∥ ≤ ρ. The proof is complete.
Here is an example.
Example 3.2. Let
where
and h(t) = 1, T = 4, ξ_{1 }= 2, ξ_{2 }= 3, δ = 2, β_{1 }= β_{2 }= 1,p = q = 2. In what follows, we try to calculate Λ, B. By Lemmas 2.2 and 2.3, we have
where
Thus,
(i)
(ii)
Thus, if all the conditions in Theorem 3.1 satisfied, then BVP (3.1) has at least one positive solution lies between 100 and 1000.
4 Existence of at least two positive solutions
In this section, we will apply fixed point Theorem 2.5 to prove the existence of at least two positive solutions to the nonlinear BVP (1.6).
Fix
and define the increasing, nonnegative, continuous functionals γ, θ,α on P by
We can see that, for u ∈ P, there holds
In addition, Lemma 2.8 implies that
We also see that
For convenience, we give some notations,
Theorem 4.1. Assume in addition to (S1), (S2) there exist positive constants
(H3) f(t, u) > ϕ_{p}(c/M) for t ∈ [ξ_{1},T] u ∈ [c,Tc/ξ_{1}];
(H4) f(t, u) < ϕ_{p}(b/K) for t ∈ [0,ξ_{m2}], u ∈ [b,Tb/ξ_{m2}];
(H5) f(t, u) > ϕ_{p}(a/L) for t ∈ [η,T], u ∈ [a,Ta/η].
Then BVP (1.6) has at least two positive solutions u_{1 }and u_{2 }such that
Proof. From Lemma 2.7 we know that A : P(γ, c) → P is completely continuous. In what follows, we will prove the result step by step.
Step one: To verify (i) of theorem 2.5 holds.
We choose u ∈ ∂P(γ,c), then
As a consequence of (H3),
Since Au ∈ P, we have
Thus, (i) of Theorem 2.5 is satisfied.
Step two: To verify (ii) of Theorem 2.5 holds.
Let u ∈ ∂P(θ,b), then
From (H4) we know that
Thus, (ii) of Theorem 2.5 holds.
Step three: To verify (iii) of Theorem 2.5 holds.
Choose
Now, let u ∈ ∂P(α, a), then, α(u) = min_{t∈[η,T] }u(t) = u(η) = a. Recalling that
From assumption (H5) we know that
and so
Therefore, all the conditions of Theorem 2.5 are satisfied, thus A has at least two fixed points in P(γ,c), which implies that BVP (1.6) has at least two positive solutions u_{1},u_{2 }which satisfies (4.1). The proof is complete.
Example 4.2. Let
where
and h(t) = t, T = 8, ξ_{1 }= 1, ξ_{2 }= 2, δ = 1, β_{1 }= 1, β_{2 }= 2,p = 3/2, q = 3. In what follows, we try to calculate K, M, L. By Lemmas 2.2 and 2.3, we have
Let a = 10^{6}, b = 10^{8}, c = 10^{9}, then we have
(i)
(ii)
(iii)
Thus, if all the conditions in Theorem 4.1 are satisfied, then BVP (4.2) has at least two positive solutions satisfying (4.1).
5 Existence of at least three positive solutions
Let
In this section, we will use fixed point Theorem 2.6 to get the existence of at least three positive solutions.
Theorem 5.1. Assume that there exists positive number d, ν, g satisfying
(H6) f(t, u) < ϕ_{p}(d/R), t ∈ [0,T],u ∈ [0,d];
(H7) f(t, u) > ϕ_{p}(ν/D), t ∈ [ξ_{1}, T], u ∈ [ν, Tυ/ξ_{1}];
(H8) f(t, u) ≤ ϕ_{p}(g/R), t ∈ [0,T],u ∈ [0,g],
then BVP (1.6) has at least three positive solutions u_{1}, u_{2}, u_{3 }satisfying
Proof. From Lemma 2.8 we know that A : P → P is completely continuous. Now we only need to show that all the conditions in Theorem 2.6 are satisfied.
For
Thus,
In what follows, we try to prove that (i) of theorem 2.6 holds. Choose
It remains to prove (iii) of Theorem 2.6 holds. For u ∈ P(ψ, ν, Tυ/ξ_{1}), with ∥Au∥ > Tν/ξ_{1}, in view of Lemma 2.8, there holds
Therefore, all the conditions in Theorem 2.6 are satisfied. Thus, BVP (1.6) has at least three positive solutions satisfying (5.1). The proof is complete.
Example 5.2. Let
where
and h(t) = e^{t}, T = 2, ξ_{1 }= 1/2, ξ_{2 }= 1, δ = 3, β_{1 }= 2, β_{2 }= 3, p = 4, q = 4/3. In what follows, we try to calculate D, R. By Lemmas 2.2 and 2.3, we have
Let d = 40, ν = 50, g = 400, then we have
(i) f(t, u) < 7.027 = (40/20.8832)^{3 }= ϕ_{p}(d/R), for t ∈ [0, 2], u ∈ [0, 40];
(ii) f(t, u) > 23.2375 = (50/17.5216)^{3 }= ϕ_{p}(ν/D), for t ∈ [1/2, 2], u ∈ [50, 200];
(iii) f(t, u) < 7027.305 = (400/20.8832)^{3 }= ϕ_{p}(g/R), for t ∈ [0, 2], u ∈ [0, 400].
Thus, if all the conditions in Theorem 5.1 are satisfied, then BVP (5.2) has at least three positive solutions satisfying (5.1).
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
WG and HL conceived of the study, and participated in its coordination. JZ drafted the manuscript. All authors read and approved the final manuscript.
Acknowledgements
The authors were very grateful to the anonymous referee whose careful reading of the manuscript and valuable comments enhanced presentation of the manuscript. The study was supported by Preresearch project and Excellent Teachers project of the Fundamental Research Funds for the Central Universities (2011YYL079, 2011YXL047).
References

Hilger, S: Analysis on measure chainsa unified approach to continuous and discrete calculus. Results Math. 18, 18–56 (1990)

Agarwal, RP, Bohner, M, Li, WT: Nonoscillation and Oscillation Theory for Functional Differential Equations. Pure and Applied Mathematics Series, Dekker, FL (2004)

Moshinsky, M: Sobre los problemas de condiciones a la frontiera en una dimension de caracteristicas discontinuas. Bol Soc Mat Mexicana. 7, 10–25 (1950)

Timoshenko, S: Theory of Elastic Stability. McGrawHill, New York (1961)

Zou, Y, Hu, Q, Zhang, R: On numerical studies of multipoint boundary value problem and its fold bifurcation. Appl Math Comput. 185, 527–537 (2007). Publisher Full Text

Il'in, VA, Moiseev, EI: Nonlocal boundary value problem of the second kind for a SturmLiouville operator. Diff Equ. 23, 979–987 (1987)

Agarwal, RP, Bohner, M: Basic calculus on time scales and some of its applications. Results Math. 35, 3–22 (1999)

Agarwal, RP, O'Regan, D: Nonlinear boundary value problems on time scales. Nonlinear Anal. 44, 527–535 (2001). Publisher Full Text

Anderson, D: Solutions to secondorder threepoint problems on time scales. J Diff Equ Appl. 8, 673–688 (2002). Publisher Full Text

Kaufmann, ER: Positive solutions of a threepoint boundary value problem on a time scale. Electron J Diff Equ. 82, 1–11 (2003)

Chyan, CJ, Henderson, J: Twin solutions of boundary value problems for differential equations on measure chains. J Comput Appl Math. 141, 123–131 (2002). Publisher Full Text

Agarwal, RP, Lü, HSh, O'Regan, D: Eigenvalues and the onedimensional pLaplacian. J Math Anal Appl. 266, 383–400 (2002). Publisher Full Text

Sun, H, Tang, L, Wang, Y: Eigenvalue problem for pLaplacian threepoint boundary value problem on time scales. J Math Anal Appl. 331, 248–262 (2007). Publisher Full Text

Geng, F, Zhu, D: Multiple results of pLaplacian dynamic equations on time scales. Appl Math Comput. 193, 311–320 (2007). Publisher Full Text

He, Z, Jiang, X: Triple positive solutions of boundary value problems for pLaplacian dynamic equations on time scales. J Math Anal Appl. 321, 911–920 (2006). Publisher Full Text

Hong, S: Triple positive solutions of threepoint boundary value problems for pLaplacian dynamic equations. J Comput Appl Math. 206, 967–976 (2007). Publisher Full Text

Graef, J, Kong, L: Firstorder singular boundary value problems with pLaplacian on time scales. J Diff Equ Appl. 17, 831–839 (2011). Publisher Full Text

Anderson, DR: Existence of solutions for a firstorder pLaplacian BVP on time scales. Nonlinear Anal. 69, 4521–4525 (2008). Publisher Full Text

Goodrich, CS: Existence of a positive solution to a firstorder pLaplacian BVP on a time scale. Nonlinear Anal. 74, 1926–1936 (2011). Publisher Full Text

He, ZM: Double positive solutions of boundary value problems for pLaplacian dynamic equations on time scales. Appl Anal. 84, 377–390 (2005). Publisher Full Text

Anderson, DR: Twin npoint boundary value problem. Appl Math Lett. 17, 1053–1059 (2004). Publisher Full Text

Bohner, M, Peterson, A: Advances in Dynamic Equations on Time Scales. Birkhauser, Boston (2003)

Bohner, M, Peterson, A: Dynamic Equations on Time Scales. An Introduction with Applications, Birkhauser, Boston (2001)

Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones. Academic Press, San Diego (1988)

Avery, RI, Henderson, J: Two positive fixed points of nonlinear operators on ordered Banach spaces. Comm Appl Nonlinear Anal. 8, 27–36 (2001)

Leggett, RW, Williams, LR: Multiple positive fixed points of nonlinear operators on ordered Banach spaces. Indiana Univ Math J. 28, 673–688 (1979). Publisher Full Text

Zhao, J: Nonlocal boundary value problems of ordinary differential equations and dynamical equations on time scales. Doctoral thesis, Beijing Institute of Technology (2009)