Abstract
By applying the fixed point theorem in cones, some new and general results on the existence of positive solution to second order generalized Sturm-Liouville dynamical system on time scale
are obtained. The first-order Δ-derivatives are involved in the nonlinear terms explicitly.
Mathematics Subject Classification (2000) 39A10
Similar content being viewed by others
1 Introduction
Time scales theory allows us to handle systematically the continuous and discrete problems and to setup a certain structure, which is to play the role of generalizing continuous and discrete [1, 2], as well as more general systems simultaneously. The study of time scales has led to several important applications, for example, in the study of insect population models, phytoremediation of metals, wound healing, and epidemic models [3–5].
Dynamic systems have been the subject of numerous investigations and are also used of various real processes and phenomena in physics, such as, dynamics of gas flow, Newtonian fluid mechanics, nuclear physics, boundary layer theory, and so on, which during their evolutionary processes experience an abrupt change of state at certain moments of time, we refer to Wang [6], Zhang [7] and the references therein. Recently, there have seen a significant development and have made substantial progress on discussing the solutions for the dynamic systems on time scales, the main research theories used is the fixed point theorems in cones. Furthermore, noting an operation on the space of functions from one state space to other state space has to be defined, generalizing the continuous and discrete operations [8]. Applying the operation on the space of functions to discuss the solutions for the dynamical systems on time scales, it can bridge the gap between the continuous and discrete, mainly, can avoid the respective study in the solutions of continuous and discrete systems. That is to say, the field of dynamic systems on time scales contains and extends the classical dynamical systems for differential and difference. For the related results, we refer to [9–12]. Specially, the first-order derivatives are involved in the nonlinear terms explicitly in dynamic system, which describe more complicated phenomena and possess some value of applications. But very little work has been done on the existence of solutions to this variety of dynamical systems on time scales. Based on the known results of boundary value problems for the differential and difference equation, the lower order derivatives are involved in the nonlinear terms explicitly. This study is devoted to proving the existence of solutions for a generalized Sturm-Liouville dynamical system on time scales
where σ(·) is the forward jump operator, a, b, c, d, a k , b k , ξ k , h i and f i (i = 1, 2) satisfy
(A 1) a, b, c, d ∈ [0, ∞), a k , b k ∈ (0, ∞)(k = 1, 2, ..., m-2), , , t 1 < ξ 1 < ⋯ < ξ m-2< t 2;
(A 2) and there exists such that h i (t 0) > 0, .
A solution u(t) := (u 1(t), u 2(t)) of the system (S) is positive if, for each i = 1, 2, u i (t) ≥ 0 for all , and there is at least one nontrivial component of u(t).
We would like to mention some results of Li and Sun [9], which motivated us to consider our problem (S). In [9], the authors have studied the existence criteria of at least triple nonnegative solutions for a dynamical system on a measure chain
where α, β, γ, δ ≥ 0, f i : [a, b] × [0, ∞) × [0, ∞) → [0, ∞) is continuous, the main tools used is the fixed point theorems in cones. In addition, Sun et al. [11] considered a discrete system with parameter
where λ > 0 is a constant, T and n ≥ 2 are two fixed positive integers. They have established the existence of one positive solution by using the theory of fixed point index. Inspired by [6, 7, 9, 13, 14] et al, this study establishes some new and more general results for the existence of multiple positive solutions to the dynamical system (S). The results are even new for the general time scales as well as in special case of the continuous and discrete dynamical systems. Our results extend the known results of Li and Sun [9] (a k = 0, b k = 0 (k = 1, 2, ..., m - 2)) from another point of view, our Theorem 3.2 improve the main results of Shao and Zhang [12]. Specially, taking , our Theorem 3.2 extend the main results of Zhang and Liu [7]; taking , our Theorem 3.3 improve the main results of Sun et al. [11].
The rest of the paper is organized as follows. Section 2 provides some background material for discussing the generalized Sturm-Liouville dynamical system (S). An important lemma and a criterion for the existence of three positive solutions to the dynamical system (S) are established, the results are tested on an example, and a general result for dynamical system is considered in Section 3.
2 Preliminaries
Let γ and θ be nonnegative continuous convex functionals on a cone P, α be a nonnegative continuous concave functional on P, β be a nonnegative continuous functional on P, and m 1, m 2, m 3 and m 4 be positive numbers. We define the following convex sets
and a closed set
To prove our main results, we state the Avery and Peterson fixed point theorem [15].
Lemma 2.1 Let P be a cone in a real Banach space . Let γ and θ be nonnegative continuous convex functionals on P, α be a nonnegative continuous concave functional on P, and β be a nonnegative continuous functional on P satisfying β(λu) ≤ λβ(u) for 0 ≤ λ ≤ 1, such that for some positive numbers ε and m 4,
Suppose is completely continuous and there are positive numbers m 1, m 2 and m 3 with m 1 < m 2 such that
(B 1) {u ∈ P(γ, θ, α, m 2, m 3, m 4): α(u) > m 2} ≠ ∅, α(Tu) > m 2 for u ∈ P (γ, θ, α, m 2, m 3, m 4);
(B 2) α(Tu) > m 2 for u ∈ P (γ,α, m 2, m 4) with θ(Tu) > m 3 ;
(B 3) 0 ∉ Q(γ, β, m 1, m 4) and β (Tu) < m 1 for u ∈ Q(γ,β, m 1, m 4) with β (u) = m 1.
Then T has at least three fixed points such that
In order to discuss conditions for the existence of at least three positive solutions to the generalized Sturm-Liouville dynamical system (S), we firstly define x(t) = a(t - t 1) + b, y(t) = c(σ(t 2) - t) + d, . It is easy to see that x(t) and y(t) are solutions of the problem -x ΔΔ(t) = 0, x(t 1) = b, x Δ(t 1) = a and -y ΔΔ(t) = 0, y(σ(t 2)) = d, y Δ(σ(t 2)) = -c, respectively. Let G(t, s) be Green's function of the boundary value problem
It is known [16] that
for and , where r = bc + ad + ac(σ(t 2) - t 1).
Define
Obviously, η and ω exist, and satisfy
Further,
For the Green's function G(t, s), we have
since
Furthermore, we obtain
Where ,
Where . Obviously, .
Denote
Lemma 2.2 Assume (A 1) holds. If E ≠ 0, then for (i = 1, 2), the system
has a unique solution
where
Proof. The proof is similar to Lemma 2.2 [17], we omit it. □
In addition, we give a necessary hypothesis:
Lemma 2.3 If (A 1) and (A 3) hold, then for with g i ≥ 0 (i = 1, 2), there exists τ 1 ∈ (0, 1) such that the unique solution u = (u 1, u 2) of the system (2.3) satisfies
Proof. The proof is similar to Lemma 2.2 [18], we omit it. □
3 Main results
Let with the sup norm. Set , Let , the norm of is defined by
then is a Banach space. The cone is defined by
Let the nonnegative continuous concave functional α, the nonnegative continuous convex functionals β and γ, and the nonnegative continuous functional θ be defined on the cone P by
Since the first-order Δ-derivatives are involved in the nonlinear terms explicitly to the system (S), we give the following lemma.
Lemma 3.1 Assume (A 1) holds. If u = (u 1, u 2) ∈ P, then
where
Proof. In fact, it stuffices to prove that
holds. Suppose to contrary, there exists t 0 such that . Since u = (u 1, u 2) ∈ P, we choose that D such that , and is countable and contains no right-scattered elements of , u i (t) (i = 1, 2) is continuous on and differentiable in each t ∈ D, so u i (t) (i = 1, 2) is pre-differentiable with D. Let such that t 1 < t 0 < t 2, and the compact intervals such that U 1 has endpoints t 1, t 0, U 2 has endpoints t 0, σ(t 2).
For the endpoint t 1, from the mean value theorem on time scales [1, p25], one has that
u i (t) (i = 1, 2) is concave on , it follows that .
We have
so we have
For the endpoint σ(t 2), one has that
again, u i (t) (i = 1, 2) is concave on , it follows that . We have
we get
From the discussion results of the above cases, we can obtain that for t = t 0,
this is a contradiction. The proof is complete. □
To prove our main results, we recommend notation
where σ 2(t 2) = σ(σ(t 2)), and for i = 1, 2,
Theorem 3.2 Suppose (A 1)-(A 3) hold and f i (t, 0, 0, 0, 0) ≢ 0 (i = 1, 2) for . Assume that there exist positive numbers m 1, m 2 and m 4 such that m 1 < m 2 ≤ and
(C 1) if , v 1, v 2 ≥ 0, v 1 + v 2 ∈ [0, τ 2 m 4] and w 1 + w 2 ∈ [-m 4, m 4], then
;
(C 2) there exists i 0 ∈ {1, 2}, such that
for , v l, v 2 ≥ 0, and w 1 + w 2 ∈ [-m 4, m 4];
(C 3) if , v 1, v 2 ≥ 0, v 1 + v 2 ∈ [0, m 1] and w 1 + w 2 ∈ [-m 4, m 4], then
Then the system (S) has at least three positive solutions u 1, u 2, and u 3 satisfying
Proof. Define the operator T by
where for . For u = (u 1, u 2) ∈ P, from Lemma 2.2 we note that the system (S) has a solution u if and only if u is the fixed point of u(t) = (Tu)(t). Hypothesis (A 3) implies that A(h i f i ) ≥ 0, B(h i f i ) ≥ 0 (i = 1, 2). By Equation 2.4, we have (T i )(t) ≥ 0 (i = 1, 2) for , (T i )(t) (i = 1, 2) is concave on and satisfies , , (i = 1, 2) Further we can obtain that , since for i = 1, 2,
on the other hand, for , Equation 2.2 implies that there exists τ 1 ∈ (0, 1) such that
Thus, we can conclude that Tu ∈ P. Furthermore, it is easy to check that the operator T is completely continuous by using Arzela-Ascoli lemma, and so the conditions of Lemma 2.1 hold with respect to T. α, γ, θ, and β are defined by Equation 3.2, we also note that α, γ, θ, β : P → [0, ∞) are continuous nonnegative functionals such that α(u) ≤ θ(u) = β(u) for all u ∈ P, β satisfies β(λu) ≤ λβ(u) for 0 ≤ λ ≤ 1, and |u| ≤ εγ (u) for all , where ε = max{τ 2, 1}. We now show that if assumption (C 1) is satisfied, then
In fact, for , we have . By Lemma 3.1, it holds , and so assumption (C 1) implies , for . On the other hand, for u ∈ P, we have proved that Tu = (T 1, T 2) ∈ P, it follows that
Thus,
Therefore, Equation 3.4 holds.
To check condition (B 1) in Lemma 2.1, we choose u 0 = (u 10, u 20), taking , . where . It is not difficult to verify that u i 0(t) ≥ 0 (i = 1, 2), u i 0(t) (i = 1, 2) is concave on and satisfies . By the properties of u i 0(t) (i = 1, 2), we can obtain
Equations 3.5 and 3.6 imply that , thus we get u 0 ∈ P and so α(u 0) > m 2, θ(u 0) > m 2, γ(u 0) ≤ m 4 Further, and . For , there is for . Hence by assumption (C 2), one has that for . So we obtain that, for i 0 = 1, 2
Thus,
So we get α(Tu) > m 2 for and condition (B 1) in Lemma 2.1 is satisfied.
We now prove that condition (B 2) in Lemma 2.1 holds. In fact, if u = (u 1, u 2) ∈ P (γ, α, m 2, m 4) with , then
Finally, we assert that condition (B 3) in Lemma 2.1 also holds. (0, 0) ∉ Q(γ, β, m 1, m 4), since β((0, 0)) = 0 < m 1. Assume that u = (u 1, u 2) ∈ Q(γ, β, m 1, m 4) with β(u) = m 1, assumption (C 3) implies that
Hence,
Therefore, the conditions of Lemma 2.1 are fulfillled, thus the system (S) has at least three positive solutions u 1, u 2, and u 3, such that Equation 3.3 hold. □
From the above argument, we could consider naturally the general dynamic system on time scales .
where a, b, c, d, a k , b k , ξ k (k = 1, 2, ..., m - 2) satisfy (A 1) and h i , f i (i = 1, 2) fulfill the condition
and there exists such that .
We obtain a result, the proof of the result is omitted.
Theorem 3.3 Suppose (A 1), and (A 3) hold, and f i (t, 0, ..., 0) ≢ 0 (i = 1, 2,...,n) for . Assume that there exist positive numbers such that and
(C 4) if , v 1, v 2, ..., v n ≥ 0, and , then
(C 5) there exists i 0 ∈ {1, 2, ..., n}, such that
for , v 1, v 2, ..., v n ≥ 0, and ;
(C 6) if , v 1, v 2, ..., v n ≥ 0, and , then
where are positive constants and are similar to L i , , N i (i, i 0 = 1, 2, ..., n), respectively.
Then the system (GS) has at least three positive solutions , , and satisfying
Let , h i (t) = 1, (i = 1, 2), m = 4. Consider the system
where
It is easy to check that hypotheses (A 1)-(A 3) hold and f(t, 0, 0, 0, 0) ≢ 0 on . By some calculations, we have , , λ 1 = 1, , , . If we choose , m 2 = 1, m 4 = 2.5 × 105, then for , , w 1 + w 2 ∈ [-2.5 × 105, 2.5 × 105]; for v 1 + v 2 ∈[1, 4], w 1 + w 2 ∈[-2.5 × 105, 2.5 × 105]; for , , w 1 + w 2 ∈ [-2.5 × 105, 2.5 × 105]. Thus all hypotheses of Theorem 3.2 hold. So the system (3.7) has at least three positive solutions , and such that with , hold.
References
Bohner M, Peterson A: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston 2001.
Bohner M, Peterson A: Advances in Dynamic Equations on Time Scales. Birkhäusere, Boston 2003.
Jones MA, Song B, Thomas DM: Controlling wound healing through debridement. Math Comput Modelling 2004, 40: 1057-1064. 10.1016/j.mcm.2003.09.041
Atici FM, Biles DC, Lebedinsky A: An appilcation of time scales to economics. Math Comput Model 2006, 43: 718-726. 10.1016/j.mcm.2005.08.014
Tisdell C, Zaidi A: Basic qualitative and quantitative results for solutions to nonlinear, dynamic equations on time scales with an application to economic modelling. Nonlinear Anal 2008, 68: 3504-3524. 10.1016/j.na.2007.03.043
Wang H: On the number of positive solutions of nonlinear systems. J Math Anal Appl 2003, 281: 287-306.
Zhang X, Liu L: A necessary and sufficient condition of existence of positive solutions for nonlinear singular differential systems. J Math Anal Appl 2007, 327: 400-414. 10.1016/j.jmaa.2006.04.031
Agarwal RP, O'Regan D, Wong PJY: Positive Solutions of Differential, Difference and Integral Equations. Kluwer, Dordrecht 1999.
Li W, Sun H: Multiple positive solutions for nonlinear dynamical systems on a measure chain. J Comput Appl Math 2004, 162: 421-430. 10.1016/j.cam.2003.08.032
Choi S, Im D, Koo N: Stability of linear dynamic systems on time scales. Adv Differ Equ 2008, 670203.
Sun J, Zhao Y, Li W: Existence of positive solution for second-order nonlinear discrete system with parameter. Math Comput Model 2005, 41: 493-499. 10.1016/j.mcm.2004.04.006
Shao N, Zhang Y: Existence of positive solutions for semipositone dynamic system on time scales. Electron J Differ Equ 2008, 114: 1-10.
Atici FM, Guseinov GSh: On Green's functions and positive solutions for boundary value problem on time scales. J Comput Appl Math 2002, 141: 75-99. 10.1016/S0377-0427(01)00437-X
Zhang Y: A multiplicity result for a generalized Sturm-Liouville problem on time scales. J Differ Equ Appl 2010, 16: 963-974. 10.1080/10236190802660476
Avery RI, Peterson AC: Three positive fixed points of nonlinear operators on ordered Banach spaces. Comput Math Appl 2001, 42: 313-322. 10.1016/S0898-1221(01)00156-0
Erbe L, Peterson A: Positive solutions for a nonlinear differential equation on a measure chain. Boundary Value Problems and Related Topics. Math Comput Modelling 2000,32(5-6):571-585.
Ma R: Multiple positive solutions for nonlinear m -point boundary value problem. Appl Math Comput 2004, 148: 249-262. 10.1016/S0096-3003(02)00843-3
Zhang Y, Sun H: Three positive solutions for a generalized Sturm-Liouville multipoint BVP with dependence on the first order derivative. Dyn Syst Appl 2008, 17: 313-3240.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
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
Zhang, Y. Multiplicity results for a generalized Sturm-Liouville dynamical system on time scales. Adv Differ Equ 2011, 24 (2011). https://doi.org/10.1186/1687-1847-2011-24
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2011-24