1. Introduction

Due to the unification of the theory of differential and difference equations, there have been many investigations working on the existence of positive solutions to boundary value problems for dynamic equations on time scales. Also there is much attention paid to the study of multipoint boundary value problem with -Laplacian; see [1–10].

For convenience, throughout this paper we denote as the -Laplacian operator, that is, , . , where .

In [11], the author discussed the positive solutions of a -point boundary value problem for a second-order dynamic equation on a time scale

where ,  , and with . And he got the existence of at least two positive solutions of the above problem by means of a fixed point theorem in a cone.

Zhao and Ge [9] considered the following multi-point boundary value problem with one-dimensional -Laplacian:

where , , , , , . By using a fixed point theorem in a cone, they obtained the existence of at least one, two, or three positive solutions under some sufficient conditions.

Motivated by the above results, in this paper, we investigate the nonlocal boundary value problem with -Laplacian

where and .

For convenience, we list the following hypotheses:

By using the Four functionals fixed point theorem and Five functionals fixed point theorem, we obtain the existence criteria of at least one positive solution and three positive solutions for the BVP (1.3). As an application, an example is worked out finally. The remainder of this paper is organized as follows. Section 2 is devoted to some preliminary discussions. We give and prove our main results in Section 3.

2. Preliminaries

The basic definitions and notations on time scales can be found in [12, 13]. In the following, we will provide some background materials on the theory of cones in Banach spaces. For more details, please refer to [14, 15].

Definition 2.1. Let be a Banach space. A nonempty, closed set is said to be a cone provided that the following hypotheses are satisfied:(1)if , , then (2)if , , then

Every cone induces a partial ordering “” on defined by if and only if

Definition 2.2. A map is said to be a nonnegative continuous concave functional on a cone of a real Banach space if is continuous and for all and . Similarly, we say that the map is a nonnegative continuous convex functional on a cone of a real Banach space if is continuous and for all and .

Let and be nonnegative continuous concave functionals on , and let and be nonnegative continuous convex functionals on ; then for positive numbers and , define the sets

The following lemma can be found in [16].

Lemma 2.3 (four functionals fixed point theorem). If P is a cone in a real Banach space E, and are nonnegative continuous concave functionals on , and are nonnegative continuous convex functionals on , and there exist nonnegative positive numbers and , such that is a completely continuous operator, and is a bounded set. If (i)(ii), for all with and (iii), for all with (iv), for all with and , (v), for all with then has a fixed point in .

We are now in a position to present the Five functionals fixed point theorem (see [17]). Let be nonnegative continuous convex functionals on and nonnegative continuous concave functionals on . For nonnegative numbers and define the following convex sets:

Lemma 2.4 (five functionals fixed point theorem). Let be a cone in a real Banach space . Suppose that there exist nonnegative numbers and , nonnegative continuous concave functionals and on , and nonnegative continuous convex functionals and on , with Suppose that is completely continuous and there exist nonnegative numbers with such that (i) and for (ii) and for (iii) for with (iv) for with then A has at least three fixed points such that

Consider the Banach space equipped with the norm . Suppose , with . For the sake of convenience, we take the notations

Define a cone

and an operator by

Lemma 2.5. .

Proof. For , ,
From the definition of , it is clear that
is continuous, and is the maximum value of on .
Let , then is continuous, is delta differentiable on , and is continuously differentiable. Moreover is monotonically increasing for and . Then by the chain rule [12, Theorem , page 31], we obtain where is in the interval . So, . This completes the proof.

3. Main Results and an Example

Theorem 3.1. Assume that (H1), (H2), and (H3) hold, if there exist constants , , , with , , and suppose that satisfies the following conditions: (A1) for all (A2) for all then the BVP (1.3) has a fixed point such that

Define maps

and let , and be defined by (2.1).

In order to complete the proof of Theorem 3.1, we first need to prove the following lemma.

Lemma 3.2. is bounded and is completely continuous.

Proof. For all , , which means that is a bounded set.
According to Lemma 2.5, it is clear that .
In view of the continuity of , there exists a constant such that , for all , . Consider
which means that is uniformly bounded.
In addition, for all , we have
Applying the Arzelà-Ascoli theorem on time scales [18], one can show that is relatively compact.
Now we prove that is continuous. Let be a sequence in which converges to uniformly on . Because is relatively compact, the sequence admits a subsequence converging to uniformly on . In addition,
Observe that Hence, by the Lebesgue's dominated convergence theorem on time scales [19], insert into the above equality and then let , we obtain From the definition of , we know that on . This shows that each subsequence of uniformly converges to . Therefore the sequence uniformly converges to . This means that is continuous at . So, is continuous on since is arbitrary. Thus, is completely continuous. This completes the proof.

Proof of Theorem 3.1. Let Clearly, . By direct calculation, So, which means that (i) in Lemma 2.3 is satisfied.
For all with and , we have