The authors study the boundary value problems for a -Laplacian functional dynamic equation on a time scale, , , , , , . By using the twin fixed-point theorem, sufficient conditions are established for the existence of twin positive solutions.

Let be a closed nonempty subset of , and let have the subspace topology inherited from the Euclidean topology on . In some of the current literature, is called a time scale (or measure chain). For notation, we shall use the convention that, for each interval of of , will denote time scales interval, that is, .

In this paper, let be a time scale such that , 0, . We are concerned with the existence of positive solutions of the -Laplacian dynamic equation on a time scale

where is the -Laplacian operator, that is, , , , where ; and

the function is continuous,

the function is left dense continuous (i.e., and does not vanish identically on any closed subinterval of . Here, denotes the set of all left dense continuous functions from to ,

is continuous and ,

is continuous, for all ,

is continuous and satisfies that there are such that

-Laplacian problems with two-, three-, m-point boundary conditions for ordinary differential equations and finite difference equations have been studied extensively, for example see [1–4] and references therein. However, there are not many concerning the -Laplacian problems on time scales, especially for -Laplacian functional dynamic equations on time scales.

The motivations for the present work stems from many recent investigations in [5–8] and references therein. Especially, Kaufmann and Raffoul [8] considered a nonlinear functional dynamic equation on a time scale and obtained sufficient conditions for the existence of positive solutions. In this paper, we apply the twin fixed-point theorem to obtain at least two positive solutions of boundary value problem (BVP for short) (1.1) when growth conditions are imposed on . Finally, we present two corollaries, which show that under the assumptions that is superlinear or sublinear, BVP (1.1) has at least two positive solutions.

Given a nonnegative continuous functional on a cone of a real Banach space , we define for each the sets

The following twin fixed-point lemma due to [9] will play an important role in the proof of our results.

Lemma 1.1.

Let be a real Banach space, a cone of , and two nonnegative increasing continuous functionals, a nonnegative continuous functional, and . Suppose that there are two positive numbers and such that

is completely continuous. There are positive numbers such that

and

(i) for ,

(ii) for ,

(iii) and for .

Then, has at least two fixed points and satisfying

We note that is a solution of (1.1) if and only if

Let be endowed with the norm and is concave and nonnegative valued on , and .

Clearly, is a Banach space with the norm and is a cone in . For each , extend to with for .

Define as

We seek a fixed point, , of in the cone . Define

Then, denotes a positive solution of BVP (1.1).

It follows from (2.2) that

Lemma 2.1.

Let be defined by (2.2). If , then

(i).

(ii) is completely continuous.

(iii), .

(iv) is decreasing on .

The proof is similar to the proofs of Lemma  2.3 and Theorem  3.1 in [7], and is omitted.

Fix such that , and set

Throughout this paper, we assume and .

Now, we define the nonnegative, increasing, continuous functionals , , and on by

We have

Then,

We also see that

For the notational convenience, we denote , and , by

Theorem 2.2.

Suppose that there are positive numbers such that

Assume satisfies the following conditions:

for , uniformly in ,

for , uniformly in ,

for , uniformly in .

Then, BVP (1.1) has at least two positive solutions of the form

where , and , .

Proof.

By the definition of operator and its properties, it suffices to show that the conditions of Lemma 1.1 hold with respect to .

First, we verify that implies .

Since , one gets for . Recalling that (2.7), we know for . Then, we get

Secondly, we prove that implies .

Since implies , it holds that for , and for all implies

Then,

So, we have

Finally, we show that

It is obvious that . On the other hand, and (2.7) imply

Thus,

By Lemma 1.1, has at least two different fixed points and satisfying

Let

which are twin positive solutions of BVP (1.1). The proof is complete.

In analogy to Theorem 2.2, we have the following result.

Theorem 2.3.

Suppose that there are positive numbers such that

Assume satisfies the following conditions:

for , uniformly in ,

for , uniformly in ,

for , uniformly in ,

Then, BVP (1.1) has at least two positive solutions of the form

Now, we give theorems, which may be considered as the corollaries of Theorems 2.2 and 2.3.

Let

and choose , , such that

From above, we deduce that .

Theorem 2.4.

If the following conditions are satisfied:

, , uniformly in ,

there exists a such that for all , one has

Then, BVP (1.1) has at least two positive solutions of the form

Proof.

First, choose , one gets

Secondly, since , there is sufficiently small such that

Without loss of generality, suppose . Choose so that . For , we have and . Thus,

Thirdly, since , there is sufficiently large such that

Without loss of generality, suppose . Choose . Then,

We get now , and then the conditions in Theorem 2.2 are all satisfied. By Theorem 2.2, BVP (1.1) has at least two positive solutions. The proof is complete.

Theorem 2.5.

If the following conditions are satisfied:

, uniformly in ; ,

there exists a such that for all , one has

Then, BVP (1.1) has at least two positive solutions of the form

The proof is similar to that of Theorem 2.4 and we omitted it.

The following Corollaries are obvious.

Corollary 2.6.

If the following conditions are satisfied:

, , uniformly in ,

there exists a such that for all , one has

Then, BVP (1.1) has at least two positive solutions of the form

Corollary 2.7.

If the following conditions are satisfied:

, uniformly in , ;

there exists a such that for all , one has

Then, BVP (1.1) has at least two positive solutions of the form

Example 3.1.

Let , , , , , .

We consider the following boundary value problem:

where and ; , .

Choosing , , , , direct calculation shows that

Consequently, and satisfies

for , uniformly in ,

for , uniformly in ,

for , uniformly in ,

Then all conditions of Theorem 2.3 hold. Thus, with Theorem 2.3, the BVP (3.1) has at least two positive solutions.

This paper is supported by Grants nos. (10871052) and (10901060) from the NNSF of China, and by Grant (no. 10151009001000032) from the NSF of Guangdong.

1. Avery, R, Henderson, J: Existence of three positive pseudo-symmetric solutions for a one-dimensional p-Laplacian. Journal of Mathematical Analysis and Applications. 277(2), 395–404 (2003). Publisher Full Text

2. Liu, Y, Ge, W: Twin positive solutions of boundary value problems for finite difference equations with p-Laplacian operator. Journal of Mathematical Analysis and Applications. 278(2), 551–561 (2003). Publisher Full Text

3. Cabada, A: Extremal solutions for the difference ϕ-Laplacian problem with nonlinear functional boundary conditions. Computers & Mathematics with Applications. 42(3–5), 593–601 (2001). PubMed Abstract | Publisher Full Text

4. Wong, F-H: Existence of positive solutions for m-Laplacian boundary value problems. Applied Mathematics Letters. 12(3), 11–17 (1999). Publisher Full Text

5. Kaufmann, ER: Positive solutions of a three-point boundary-value problem on a time scale. Electronic Journal of Differential Equations. 82, 1–11 (2003)

6. He, Z: Double positive solutions of three-point boundary value problems for p-Laplacian dynamic equations on time scales. Journal of Computational and Applied Mathematics. 182(2), 304–315 (2005). Publisher Full Text

7. Bian, L, He, X, Sun, H: Multiple positive solutions of m-point BVPs for third-order p-Laplacian dynamic equaitons on time scales. Advance in Difference Equations. 2009, (2009)

8. Kaufmann, ER, Raffoul, YN: Positive solutions for a nonlinear functional dynamic equation on a time scale. Nonlinear Analysis: Theory, Methods & Applications. 62(7), 1267–1276 (2005). PubMed Abstract | Publisher Full Text

9. Avery, RI, Chyan, CJ, Henderson, J: Twin solutions of boundary value problems for ordinary differential equations and finite difference equations. Computers & Mathematics with Applications. 42(3–5), 695–704 (2001). PubMed Abstract | Publisher Full Text