1. Introduction
Fractional calculus is a generalization of ordinary differentiation and integration on an arbitrary order that can be noninteger. This subject, as old as the problem of ordinary differential calculus, can go back to the times when Leibniz and Newton invented differential calculus. As is known to all, the problem for fractional derivative was originally raised by Leibniz in a letter, dated September 30, 1695. A fractional derivative arises from many physical processes, such as a non-Markovian diffusion process with memory [
1], charge transport in amorphous semiconductors [
2], and propagations of mechanical waves in viscoelastic media [
3], and so forth. Moreover, phenomena in electromagnetics, acoustics, viscoelasticity, electrochemistry, and material science are also described by differential equations of fractional order [
4–
8]. For instance, Pereira et al. [
9] considered the following fractional Van der Pol equation:
()
where
Dλ is the fractional derivative of order
λ and
α is a control parameter that reflects the degree of nonlinearity of the system. Equation (
1) is obtained by substituting the capacitance by a fractance in the nonlinear RLC circuit model.
Recently, fractional differential equations have been of great interest due to the intensive development of the theory of fractional calculus itself and its applications. For example, for fractional initial value problems, the existence and multiplicity of solutions (or positive solutions) were discussed in [10–13]. On the other hand, for fractional boundary value problems (FBVPs), Agarwal et al. [14] considered a two-point boundary value problem at nonresonance, and Bai [15] considered a m-point boundary value problem at resonance. For more papers on FBVPs, see [16–21] and the references therein.
The turbulent flow in a porous medium is a fundamental mechanics problem. For studying this type of problems, Leibenson [
22] introduced the
p-Laplacian equation as follows:
()
where
ϕp(
s) = |
s|
p−2s,
p > 1. Obviously,
ϕp is invertible and its inverse operator is
ϕq, where
q > 1 is a constant such that 1/
p + 1/
q = 1.
In the past few decades, many important results relative to (
2) with certain boundary value conditions have been obtained. We refer the reader to [
23–
27] and the references cited therein. For boundary value problems of fractional
p-Laplacian equations, Chen and Liu [
28] considered an antiperiodic boundary value problem with the following form:
()
where 0 <
α,
β ≤ 1, 1 <
α +
β ≤ 2, and
is Caputo fractional derivative. Under certain nonlinear growth conditions of the nonlinearity, an existence result was obtained by using degree theory. In addition, Yao et al. [
29] studied a three-point boundary value problem given by
()
where
is the standard Riemann-Liouville derivative with 1 <
α ≤ 2, 0 <
β,
γ ≤ 1,
0 ≤
α −
γ − 1,
ξ ∈ (0,1), and the constant
a is a positive number satisfying
aξα−γ−2 ≤ 1 −
γ. The monotone iterative technique was applied to establish the existence results on multiple positive solutions in [
29].
Motivated by the works mentioned previously, in this paper, we investigate the existence of solutions for fractional
p-Laplacian equation of the form
()
subject to either boundary value conditions
()
or
()
where 0 <
α,
β ≤ 1, 1 <
α +
β ≤ 2,
is a Caputo fractional derivative, and
f : [0,1] ×
ℝ2 →
ℝ is continuous.
Note that the nonlinear operator
reduces to the linear operator
when
p = 2 and the additive index law
()
holds under some reasonable constraints on the function
u(
t) [
30].
The rest of this paper is organized as follows. Section 2 contains some necessary notations, definitions, and lemmas. In Section 3, based on Schaefer’s fixed point theorem, we establish two theorems on existence of solutions for FBVP (5) and (6) (Theorem 7) and FBVP (5) and (7) (Theorem 8). Finally, in Section 4, an explicit example is given to illustrate the main results. Our results are different from those of bibliographies listed in the previous texts.
2. Preliminaries
For the convenience of the reader, we present here some necessary basic knowledge and definitions about fractional calculus theory, which can be found, for instance, in [31, 32].
Definition 1. The Riemann-Liouville fractional integral operator of order α > 0 of a function u : (0, +∞) → ℝ is given by
()
provided that the right side integral is pointwise defined on (0, +
∞).
Definition 2. The Caputo fractional derivative of order α > 0 of a continuous function u : (0, +∞) → ℝ is given by
()
where
n is the smallest integer greater than or equal to
α, provided that the right side integral is pointwise defined on (0, +
∞).
Lemma 3 (see [33].)Let α > 0. Assume that . Then the following equality holds:
()
where
ci ∈
ℝ,
i = 0,1, …,
n − 1; here
n is the smallest integer greater than or equal to
α.
Lemma 4 (see [34].)For fixed l ∈ C[0,1], let one define
()
Then the equation
Gl(
a) = 0 has a unique solution
.
In this paper, we take Y = C[0,1] with the norm ∥y∥∞ = max t∈[0,1] | y(t)| and with the norm . By means of the linear functional analysis theory, we can prove that X is a Banach space.
3. Existence Results
In this section, two theorems on existence of solutions for FBVP (5) and (6) and FBVP (5) and (7) will be given under nonlinear growth restriction of f.
As a consequence of Lemma 3, we have the following results that are useful in what follows.
Lemma 5. Given h ∈ Y, the unique solution of
()
is
()
where
()
Proof. Assume that x(t) satisfies the equation of FBVP (13); then Lemma 3 implies that
()
From the boundary value condition
, one has
()
Thus, we have
()
By condition
x(0) = 0, we get
c1 = 0. The proof is complete.
Define the operator
F :
X →
X by
()
where
N :
X →
Y is the Nemytskii operator defined by
()
Clearly, the fixed points of the operator
F are solutions of FBVP (
5) and (
6).
Lemma 6. Given h ∈ Y, the unique solution of
()
is
()
where
()
here
η(
h)∈(0,1) is a constant dependent on
h(
t).
Proof. Assume that x(t) satisfies the equation of FBVP (21); then Lemma 3 implies that
()
From condition
, one has
()
Based on Lemma
4, we know that (
25) has a unique solution
. Moreover, by the integral mean value theorem, there exists a constant
η(
h)∈(0,1) such that
, which implies that
. Thus, we have
()
Hence
()
From condition
x(0) = 0, we get
c1 = 0. The proof is complete.
Define the operator
P :
X →
X by
()
where
η(
x)∈(0,1) and
N is the Nemytskii operator defined by (
20). Clearly, the fixed points of the operator
P are solutions of FBVP (
5) and (
7).
Our first result, based on Schaefer’s fixed point theorem and Lemma 5, is stated as follows.
Theorem 7. Let f : [0,1] × ℝ2 → ℝ be continuous. Assume that
Then FBVP (
5) and (
6) has at least one solution, provided that
()
Proof. We will use Schaefer’s fixed point theorem to prove that F has a fixed point. The proof will be given in the following two steps.
Step 1. F : X → X is completely continuous.
Let Ω ⊂ X be an open bounded subset. By the continuity of f, we can get that F is continuous and is bounded. Moreover, there exists a constant T > 0 such that , for all , t ∈ [0,1]. Thus, in view of the Arzelà-Ascoli theorem, we need only to prove that is equicontinuous.
For 0 ≤ t1 < t2 ≤ 1 and , we have
()
Since
tα is uniformly continuous on [0,1], we can obtain that
is equicontinuous. A similar proof can show that
is equicontinuous. This, together with the uniform continuity of
ϕq(
s) on [−
T,
T], yields that
is also equicontinuous.
Step 2 (priori bounds). Set
()
Now it remains to show that the set
Ω is bounded.
From Lemma 3 and boundary value condition x(0) = 0, one has
()
Thus, we get
()
That is,
()
For x ∈ Ω, we have
()
So, from (
H), we obtain that
()
which, together with
and (
35), yields that
()
In view of (
30), from (
38), we can see that there exists a constant
M1 > 0 such that
()
Thus, from (
35), we get
()
Combining (
39) with (
40), we have
()
As a consequence of Schaefer’s fixed point theorem, we deduce that F has a fixed point which is the solution of FBVP (5) and (6). The proof is complete.
Our second result, based on Schaefer’s fixed point theorem and Lemma 6, is stated as follows.
Theorem 8. Let f : [0,1] × ℝ2 → ℝ be continuous. Suppose that (H) holds; then FBVP (5) and (7) has at least one solution, provided that (30) is satisfied.
Proof. The proof work is similar to the proof of Theorem 7, so we omit the details.
4. An Example
In this section, we will give an example to illustrate our main results.
Example 1. Consider the following fractional p-Laplacian equation:
()
Corresponding to (
5), we get that
p = 3,
α = 1/2,
β = 3/4, and
()
Choose
a(
t) = 10,
b(
t) = 1/6, and
c(
t) = 0. By a simple calculation, we can obtain that ∥
b∥
∞ = 1/6, ∥
c∥
∞ = 0 and
()
Obviously, (
42) subject to boundary value conditions (
6) (or (
7)) satisfies all assumptions of Theorem
7 (or Theorem
8). Hence, FBVP (
42) and (
6) (or FBVP (
42) and (
7)) has at least one solution.
Acknowledgments
This work was supported by the Fundamental Research Funds for the Central Universities (2012QNA50) and the National Natural Science Foundation of China (11271364).