Volume 2012, Issue 1 652465
Research Article
Open Access

Solutions for p-Laplacian Dynamic Delay Differential Equations on Time Scales

Hua Su

Corresponding Author

Hua Su

School of Mathematics and Quantitative Economics, Shandong University of Finance and Economics, Shandong Jinan, 250014, China sdie.edu.cn

Search for more papers by this author
Lishan Liu

Lishan Liu

School of Mathematical Sciences, Qufu Normal University, Qufu 273165, China qfnu.edu.cn

Search for more papers by this author
Xinjun Wang

Xinjun Wang

School of Economics, Shandong University, Jinan 250014, China sdu.edu.cn

Search for more papers by this author
First published: 10 May 2012
Academic Editor: Rudong Chen

Abstract

Let T be a time scale. We study the existence of positive solutions for the nonlinear four-point singular boundary value problem with p-Laplacian dynamic delay differential equations on time scales, subject to some boundary conditions. By using the fixed-point index theory, the existence of positive solution and many positive solutions for nonlinear four-point singular boundary value problem with p-Laplacian operator is obtained.

1. Introduction

The study of dynamic equations on time scales goes back to its founder Hilger [1] and is a new area of still fairly theoretical exploration in mathematics. Boundary value problems for delay differential equations arise in a variety of areas of applied mathematics, physics, and variational problems of control theory (see [2, 3]). In recent years, many authors have begun to pay attention to the study of boundary-value problems or with p-Laplacian equations or with p-Laplacian dynamic equations on time scales (see [414] and the references therein).

In [7], Sun and Li considered the existence of positive solution of the following dynamic equations on time scales:
(1.1)
(1.2)
where β, γ ≥ 0,  β + γ > 0,   η ∈ (0, ρ(T)),   0 < α < T/η. They obtained the existence of single and multiple positive solutions of the problem (1.1) and (1.2) by using fixed-point theorem and Leggett-Williams fixed-point theorem (see [15]), respectively.
In [4], Anderson discussed the following dynamic equation on time scales:
(1.3)
He obtained some results for the existence of one positive solution of the problem (1.3) based on the limits and f = lim uf(u)/u.

In [5], Kaufmann studied the problem (1.3) and obtained the existence results of at least two positives solutions.

In [14], Wang et al. discussed the following dynamic equation on time scales by using Avery-Peterson fixed theorem (see [14]):
(1.4)
(1.5)
(1.5')
They obtained some results for the existence three positive solutions of the problem (1.4), (1.5) and (1.4), and (1.5′), respectively.
In [15], Lee and Sim discussed the following equation:
(1.6)
By applying the global bifurcation theorem and figuring the shape of unbounded subcontinua of solutions, they obtain many different types of global existence results of positive solutions.

However, there are not many concerning the p-Laplacian problems on time scales. Especially, for the singular multipoint boundary value problems for p-Laplacian dynamic delay differential equations on time scales, with the author’s acknowledge, no one has studied the existence of positive solutions in this case.

Recently, in [16], we have studied the existence of positive solutions for the following nonlinear two-point singular boundary value problem with p-Laplacian operator:
(1.7)
By using the fixed-point theorem of cone expansion and compression of norm type, the existence of positive solution and infinitely many positive solutions for nonlinear singular boundary value problem (1.7) with p-Laplacian operator is obtained.
Now, motivated by the results mentioned above, in this paper, we study the existence of positive solutions for the following nonlinear four-point singular boundary value problem with higher-order p-Laplacian dynamic delay differential equations operator on time scales (SBVP):
(1.8)
(1.9)
or
(1.10)
where ϕp(s) is p-Laplacian operator, that is, ϕp(s) = |s|p−2s,   p > 1, , 1/p + 1/q = 1. ξ,   η ∈ (0, T), τ ∈ [0, T] is prescribed and ξ < η, g : (0, T)→[0, ), α > 0, β ≥ 0, γ > 0, δ ≥ 0 and B0,   B1 are both nondecreasing continuous odd functions defined on (−, +).

In this paper, by constructing one integral equation which is equivalent to the problem (1.8), (1.9) and (1.8), and (1.10), we research the existence of positive solutions for nonlinear singular boundary value problem (1.8), (1.9) and (1.8), and (1.10) when g and f satisfy some suitable conditions.

Our main tool of this paper is the following fixed point index theory.

Theorem 1.1 (see [17], [18].)Suppose that E is a real Banach space, KE is a cone, let Ωr = {uK : ∥u∥ ≤ r}. Let operator TrK be completely continuous and satisfy Txx,   xΩr. Then

  • (i)

    if ∥Tx∥ ≤ ∥x∥,   xΩr, then i(T, Ωr, K) = 1;

  • (ii)

    if ∥Tx∥ ≥ ∥x∥,   xΩr, then i(T, Ωr, K) = 0.

This paper is organized as follows. In Section 2, we present some preliminaries and lemmas that will be used to prove our main results. In Section 3, we discuss the existence of single solution of the systems (1.8) and (1.9). In Section 4, we study the existence of at least two solutions of the systems (1.8) and (1.9). In Section 5, we discuss the existence of single and many solutions of the systems (1.8) and (1.10). In Section 6, we give two examples as the application.

2. Preliminaries and Lemmas

For convenience, we can found some basic definitions in [1, 19, 20].

In the rest of this paper, T is closed subset of R with 0 ∈ Tk, TTk. And let B = {uCld[−τ, T]}, then B is a Banach space with the norm ∥u∥ = max t∈[−τ,T] |u(t)|. And let
(2.1)
Obviously, K is a cone in B. Set Kr = {uK : ∥u∥ ≤ r}.

Definition 2.1. u(t) is called a solution of SBVP (1.8) and (1.9) if it satisfies the following:

  • (1)

    uC[−τ, 0]∩Cld(0, T),

  • (2)

    u(t) > 0 for all t ∈ (0, T) and satisfies conditions (1.9),

  • (3)

    holds for t ∈ (0, T).

In the rest of the paper, we also make the following assumptions:
  • (H1)  fCld([0, +) 2, [0, +)),

  • (H2) g(t) ∈ Cld((0, T), [0, +)) and there exists t0 ∈ (0, T), such that

    (2.2)

  • (H3) ζ(t) ∈ C([−τ, 0], ζ(t) > 0 on [−τ, 0) and ζ(0) = 0,

  • (H4) B0,   B1 are both increasing, continuous, odd functions defined on (−, +), and at least one of them satisfies the condition that there exists one b > 0 such that

    (2.3)

It is easy to check that condition (H2) implies that
(2.4)
We can easily get the following Lemmas.

Lemma 2.2. Suppose that condition (H2) holds. Then there exists a constant θ ∈ (0, 1/2) that satisfies

(2.5)
Furthermore, the function
(2.6)
is positive continuous functions on [θ, Tθ]; therefore, A(t) has minimum on [θ, Tθ]. Hence, we suppose that there exists L > 0 such that A(t) ≥ L,   t ∈ [θ, Tθ].

Proof. At first, it is easily seen that A(t) is continuous on [θ, Tθ]. Nest, let

(2.7)
Then, from condition (H2), we have the function A1(t) is strictly monotone nondecreasing on [θ, Tθ] and A1(θ) = 0, the function A2(t) is strictly monotone nonincreasing on [θ, Tθ] and A2(Tθ) = 0, which implies L = min t∈[θ,Tθ]A(t) > 0. The proof is complete.

Lemma 2.3 (see [16].)Let uK and θ of Lemma 2.2, then

(2.8)

Lemma 2.4. Suppose that conditions (H1),   (H2),   (H3), and (H4) hold, u(t) ∈ BCld(0,1) is a solution of the following boundary value problems:

(2.9)
(2.10)
or
(2.10')
where
(2.11)
Then, is a positive solution to the SBVP (1.8) and (1.9) or (1.8) and (1.10).

Proof. It is easy to check that satisfies (1.8) and (1.9) or (1.8) and (1.10).

So in the rest section of this paper, we focus on SBVP (2.9), (2.10), and (2.9), (2.10′).

Lemma 2.5. Suppose that conditions (H1), (H2), (H3),   or (H1), (H2), (H3), (H4), hold, u(t) ∈ BCld(0,1) is a solution of boundary value problems (2.9), (2.10) or (2.9), (2.10′), respectively, if and only if u(t) ∈ B is a solution of the following integral equation, respectively:

(2.12)
where
(2.13)
(2.13')
Here σ,   ϱ is unique solution of the equation, respectively,
(2.14)
where
(2.15)
Equation g1(t) = g2(t), has unique solution in (0, T). Because g1(t), is strictly monotone increasing on [0, T), and g1(0) = 0, , is strictly monotone decreasing on (0, T], and g2(T) = 0, .

Proof. We only proof the first section of the results.

Necessity. Obviously, for t ∈ (−τ, 0), we have u(t) = ζ(t).

If t ∈ (0, T), by the equation of the boundary condition and we have uΔ(ξ) ≥ 0,   uΔ(η) ≤ 0, then there exist is a constant σ ∈ [ξ, η]⊂(0, T) such that uΔ(σ) = 0.

Firstly, by integrating the equation of the problems (2.9) on (σ, t), we have

(2.16)
then
(2.17)
thus
(2.18)

By uΔ(σ) = 0 and condition (2.16), t = η on (2.16), we have

(2.19)
By the equation of the boundary condition (2.10), we have
(2.20)
then
(2.21)
Then, by (2.18) and let t = T on (2.18), we have
(2.22)
Then
(2.23)
Similarly, for t ∈ (0, σ), by integrating the equation of problems (2.9) on (0, σ), we have
(2.24)
Therefore, for any t ∈ [0, T], u(t) can be expressed as equation
(2.25)
where w(t) is expressed as (2.13).

Sufficiency. Suppose that . Then by (2.13), we have

(2.26)
So, . These imply that (2.9) holds. Furthermore, by letting t = 0 and t = T on (2.13) and (2.26), we can obtain the boundary value equations of (2.10). The proof is complete.

Now, we define an operetor equation T given by
(2.27)
where is given by (2.13) and (2.13′).

From the definition of and above discussion, we deduce that for each . Moreover, we have the following Lemma.

Lemma 2.6. is completely continuous.

Proof. We only proof the completely continuous of T.

Because

(2.28)
is continuous, decreasing on [0, T], and satisfies that (Tu)Δ(σ) = 0, then, TuK for each uK and (Tu)(σ) = max t∈[0,T] (Tu)(t). This shows that TKK. Furthermore, it is easy to check by Arzela-ascoli Theorem that T : KK is completely continuous.

Lemma 2.7. Suppose that conditions (H1), (H2), and (H3) hold, the solution u(t) ∈ K of problem (2.9) and (2.10) satisfy

(2.29)

Proof. Firstly, we can have

(2.30)
The proof is complete.

For convenience, we set
(2.31)
where L is the constant from Lemma 2.2. By Lemma 2.5, we can also set
(2.32)

3. The Existence of Single Positive Solution to (1.8) and (1.9)

In this section, we present our main results.

Theorem 3.1. Suppose that condition (H1),   (H2), and (H3) hold. Assume that f also satisfies

  • (A1): f(u1, u2) ≥ (mr)p−1, for θru2r, 0 ≤ u1H,

  • (A2): f(u1, u2) ≤ (MR)p−1, for 0 ≤ u2R,   0 ≤ u1H,

where m ∈ (θ*, ), M ∈ (0, θ*).

Then, the SBVP (2.9), (2.10) has a solution u such that ∥u∥ lies between r and R. Furthermore by Lemma 2.4, is a positive solution to the SBVP (1.8) and (1.9).

Proof of Theorem 3.1. Without loss of generality, we suppose that r < R. For any uK, by Lemma 2.3, we have

(3.1)
We define two open subset Ω1 and Ω2 of E:
(3.2)
For any uΩ1, by (3.1), we have
(3.3)
For t ∈ [θ, Tθ] and uΩ1, we shall discuss it from three perspectives.
  • (i)

    If σ ∈ [θ, Tθ], thus for uΩ1, by (A1) and Lemma 2.4, we have

(3.4)
  • (ii)

    If σ ∈ (Tθ, T], thus for uΩ1, by (A1) and Lemma 2.4, we have

(3.5)
  • (iii)

    If σ ∈ (0, θ), thus for uΩ1, by (A1) and Lemma 2.4, we have

(3.6)

Therefore, no matter under which condition, we all have

(3.7)
Then by Theorem 1.1, we have
(3.8)

On the other hand, for uΩ2, we have u(t)≤∥u∥ = R, and by (A2), we know that

(3.9)
thus
(3.10)
Then, by Theorem 1.1, we have
(3.11)

Therefore, by (3.8), and (3.11), r < R, we have

(3.12)
Then operator T has a fixed point , and r ≤ ∥u∥≤R. This completes the proof of Theorem 3.1.

Theorem 3.2. Suppose that condition (H1), (H2), and (H3) hold. Assume that f also satisfies

  • (A3): ,

  • (A4): .

Then, the SBVP (2.9), (2.10) has a solution u which is bounded in ∥·∥. Furthermore, by Lemma 2.4, is a positive solution to the SBVP (1.8), (1.9).

Proof of Theorem 3.2. First, by , for , there exists an adequately small positive number ρ, as 0 ≤ u2ρ,   u2 ≠ 0,   u1H, we have

(3.13)
Then let R = ρ,   M = θ*/4 ∈ (0, θ*), thus by (3.13),
(3.14)
So condition (A2) holds.

Next, by condition (A4), , then for , there exists an appropriately big positive number rR, as u2θr,   u1H, we have

(3.15)
Let m = 2θ* > θ*, thus by (3.15), condition (A1) holds. Therefore, by Theorem 3.1, we know that the results of Theorem 3.2 hold. The proof of Theorem 3.2 is complete.

Theorem 3.3. Suppose that conditions (H1), (H2), (H3) hold. Assume that f also satisfies

  • (A5): ,

  • (A6): .

Then, the SBVP (2.9), (2.10) has a solution u which is bounded in ∥·∥. Furthermore by Lemma 2.4, is a positive solution to the SBVP (1.8), (1.9).

Proof of Theorem 3.3. First, by condition (A6), , then for , there exists an adequately small positive number r, as 0 ≤ u2r,   u2 ≠ 0,   u1H, we have

(3.16)
thus when θru2r,   u1H, we have
(3.17)
Let m = 2θ* > θ*, so by (3.17), condition (A1) holds.

Next, by condition (A5): , then for , there exists an suitably big positive number ρr, as u2ρ,   u1H, we have

(3.18)
If f is unbounded, by the continuity of f on [0, ) 2, then exists constant R  (≠r) ≥ ρ, and a point (u01, u02)∈[0, ) 2 such that
(3.19)
Thus, by ρu02R,   u1H, we know
(3.20)
Choose M = θ*/4 ∈ (0, θ*). Then, we have
(3.21)
If f is bounded, we suppose , there exists an appropriately big positive number , then choose M = θ*/4 ∈ (0, θ*), we have
(3.22)
Therefore, condition (A2) holds. Therefore, by Theorem 3.1, we know that the results of Theorem 3.3 holds. The proof of Theorem 3.3 is complete.

4. The Existence of Many Positive Solutions to (1.8) and (1.9)

Next, we will discuss the existence of many positive solutions.

Theorem 4.1. Suppose that conditions (H1), (H2), (H3), and (A2) in Theorem 3.1 hold. Assume that f also satisfies

  • (A7): f0 = +,

  • (A8): f = +.

Then, the SBVP (2.9), (2.10) has at last two solutions u1,   u2 such that
(4.1)
Furthermore, by Lemma 2.4, , −τtT is a positive solution to the SBVP (1.8), (1.9).

Proof of Theorem 4.1. First, by condition (A7), for any N > 2/θL, there exists a constant ρ* ∈ (0, R) such that

(4.2)
Set , for any , by (4.2) and Lemma 2.3, similar to the previous proof of Theorem 3.1, we can have from three perspectives
(4.3)
Then by Theorem 1.1, we have
(4.4)
Next, by condition (A8), for any , there exists a constant ρ0 > 0 such that
(4.5)
We choose a constant ρ* > max  {R, ρ0/θ}, obviously ρ* < R < ρ*. Set . For any , by Lemma 2.3, we have
(4.6)
Then by (4.5) and also similar to the previous proof of Theorem 3.1, we can also have from three perspectives
(4.7)
Then by Theorem 1.1, we have
(4.8)

Finally, set ΩR = {uK : ∥u∥<R}, For any uΩR, by (A2), Lemma 2.3 and also similar to the latter proof of Theorem 3.1, we can also have

(4.9)
Then by Theorem 1.1, we have
(4.10)
Therefore, by (4.4), (4.8), (4.10), ρ* < R < ρ*, we have
(4.11)
Then T has fixed-point , and fixed-point . Obviously, u1,   u2 are all positive solutions of problem (2.9), (2.10) and ρ* < ∥u1∥<R < ∥u2∥<ρ*. The proof of Theorem 4.1 is complete.

Theorem 4.2. Suppose that conditions (H1), (H2), (H3), and (A1) in Theorem 3.1 hold. Assume that f also satisfies

  • (A9): f0 = 0,

  • (A10): f = 0.

Then, the SBVP (2.9), (2.10) has at last two solutions u1,   u2 such that 0 < ∥u1∥<r < ∥u2∥. Furthermore, by Lemma 2.4, , −τtT is a positive solution to the SBVP (1.8), (1.10).

Proof of Theorem 4.2. First, by f0 = 0, for ϵ1 ∈ (0, θ*), there exists a constant ρ* ∈ (0, r) such that

(4.12)
Set , for any , by (4.12), we have
(4.13)
that is
(4.14)
Then by Theorem 1.1, we have
(4.15)

Next, let , and note that f*(x) is monotone increasing with respect to x ≥ 0. Then from f = 0, it is easy to see that

(4.16)
Therefore, for any ϵ2 ∈ (0, θ*), there exists a constant ρ* > r such that
(4.17)
Set , for any , by (4.17), we have
(4.18)
that is
(4.19)
Then by Theorem 1.1, we have
(4.20)

Finally, set Ωr = {uK : ∥u∥<r}. For any uΩr, by (A1), Lemma 2.3 and also similar to the previous proof of Theorem 3.1, we can also have

(4.21)
Then by Theorem 1.1, we have
(4.22)
Therefore, by (4.15), (4.20), (4.22), ρ* < r < ρ*, we have
(4.23)
Then T have fixed point , and fixed point . Obviously, u1,   u2 are all positive solutions of problem (1.8), (1.9) and ρ* < ∥u1∥<r < ∥u2∥<ρ*. The proof of Theorem 4.2 is complete.

Similar to Theorem 3.1, we also obtain the following Theorems.

Theorem 4.3. Suppose that conditions (H1), (H2), (H3) and (A2) in Theorem 3.1, (A4) in Theorem 3.2 and (A6) in Theorem 3.3 hold. Then, the SBVP (2.9), (2.10) has at last two solutions u1,   u2 such that 0 < ∥u1∥<R < ∥u2∥. Furthermore by Lemma 2.4, , −τtT is a positive solution to the SBVP (1.8), (1.10).

Theorem 4.4. Suppose that conditions (H1), (H2), (H3) and (A1) in Theorem 3.1, (A3) in Theorem 3.2 and (A5) in Theorem 3.3 hold. Then, the SBVP (2.9), (2.10) have at last two solutions u1,   u2 such that 0 < ∥u1∥<r < ∥u2∥. Furthermore by Lemma 2.4, , , −τtT is a positive solution to the SBVP (1.8), (1.10).

5. The Existence of Many Positive Solutions to (1.8) and (1.10)

In the following, we will deal with problem (1.8), (1.10), the method is similar to that in Sections 3 and 4, so we omit many proof in this section.

Theorem 5.1. Suppose that condition (H1), (H2), (H3), (H4) hold. Assume that f also satisfies

  • f(u1, u2) ≥ (mr)p−1, for θru2r,   0 ≤ u1H,

  • f(u1, u2) ≤ (MR)p−1, for 0 ≤ u2R,   0 ≤ u1H,

where m ∈ (θ*, ),   M ∈ (0, θ**). Then, the SBVP (2.9), (2.13) has a solution u such that ∥u∥ lies between r and R. Furthermore by Lemma 2.4, , −τtT is a positive solution to the SBVP (1.8), (1.10).

Theorem 5.2. Suppose that condition (H1), (H2), (H3), (H4) hold. Assume that f also satisfies

  • ,

  • .

Then, the SBVP (2.9), (2.13) has a solution u which is bounded in ∥·∥. Furthermore by Lemma 2.4, , −τtT is a positive solution to the SBVP (1.8), (1.10).

Theorem 5.3. Suppose that condition (H1), (H2), (H3), (H4) hold. Assume that f also satisfies

  • ,

  • .

Then, the SBVP (2.9), (2.13) has a solution u which is bounded in ∥·∥. Furthermore by Lemma 2.4, , −τtT is a positive solution to the SBVP (1.8), (1.10).

Theorem 5.4. Suppose that conditions (H1), (H2), (H3), (H4) and in Theorem 5.1 hold. Assume that f also satisfies

  • f0 = +,

  • f = +.

Then, the SBVP (2.9), (2.13) has at least two solutions u1, u2 such that
(5.1)
Furthermore by Lemma 2.4, , −τtT is a positive solution to the SBVP (1.8), (1.10).

Theorem 5.5. Suppose that conditions (H1), (H2), (H3), (H4) and in Theorem 5.1 hold. Assume that f also satisfies

  • f0 = 0,

  • f = 0.

Then, the SBVP (2.9), (2.13) has at least two solutions u1, u2 such that 0 < ∥u1∥<r < ∥u2∥. Furthermore by Lemma 2.4, , −τtT is a positive solution to the SBVP (1.8), (1.10).

Theorem 5.6. Suppose that conditions (H1), (H2), (H3), (H4) and (A2) in Theorem 5.1, (A4) in Theorem 5.2 and in Theorem 3.3 hold. Then, the SBVP (2.9), (2.13) has at least two solutions u1,   u2 such that 0 < ∥u1∥<R < ∥u2∥. Furthermore by Lemma 2.4, , −τtT is a positive solution to the SBVP (1.8), (1.10).

Theorem 5.7. Suppose that conditions (H1), (H2), (H3), (H4) and in Theorem 5.1, in Theorem 5.2 and in Theorem 3.3 hold. Then, the SBVP (2.9), (2.13) has at least two solutions u1,   u2 such that 0 < ∥u1∥<r < ∥u2∥. Furthermore by Lemma 2.4, , −τtT is a positive solution to the SBVP (1.8), (1.10).

6. Application

In the section, we present two simple examples to explain our result.

Example 6.1. Let T = {1 − (1/2) N}∪{1}, where N denotes the set of all nonnegative integers. Consider the following 3-order singular boundary value problem (SBVP) with p-Laplacian

(6.1)
where
(6.2)
So, by Lemma 2.4, we discuss the following SBVP:
(6.3)
where
(6.4)
Then obviously,
(6.5)
so conditions (H1), (H2), (H3) hold.

Next,

(6.6)
then , that is, , so condition (A3) holds.

For θ = 1/4, it is easy to see by calculating that

(6.7)
Because of
(6.8)
then
(6.9)
so condition (A4) holds. Then by Theorem 3.2, SBVP (6.3) has at least a positive solution u(t). So, is the positive solution of SBVP (6.1).

Example 6.2. Consider the following 3-order singular boundary value problem (SBVP) with p-Laplacian:

(6.10)
where
(6.11)
So, by Lemma 2.4, we discuss the following SBVP:
(6.12)
where
(6.13)
Then obviously,
(6.14)
so conditions (H1), (H2), (H3), (A7), (A8) hold.

Next,

(6.15)
we choose R = 3,   M = 2, and for θ = 1/4, because of the monotone increasing of f(u1, u2, u3) on [0, ) 3, then
(6.16)
Therefore, by
(6.17)
we know that
(6.18)
so condition (A2) holds. Then by Theorem 4.1, SBVP (6.12) has at least two positive solutions v1,   v2 and 0 < ∥v1∥ < 3 < ∥v2∥. Then, by Lemma 2.4, are the positive solutions of the SBVP (6.10).

Acknowledgments

The first the second authors were supported financially by Shandong Province Natural Science Foundation (ZR2009AQ004), NSFC (11026108, 11071141), and the third author was supported by Shandong Province planning Foundation of Social Science (09BJGJ14), and Shandong Province Natural Science Foundation (Z2007A04).

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.