Volume 2013, Issue 1 432509
Research Article
Open Access

Solvability of Some Boundary Value Problems for Fractional p-Laplacian Equation

Taiyong Chen

Corresponding Author

Taiyong Chen

Department of Mathematics, China University of Mining and Technology, Xuzhou 221116, China cumt.edu.cn

Search for more papers by this author
Wenbin Liu

Wenbin Liu

Department of Mathematics, China University of Mining and Technology, Xuzhou 221116, China cumt.edu.cn

Search for more papers by this author
First published: 23 October 2013
Citations: 1
Academic Editor: Chuanzhi Bai

Abstract

This paper considers the existence of solutions for two boundary value problems for fractional p-Laplacian equation. Under certain nonlinear growth conditions of the nonlinearity, two new existence results are obtained by using Schaefer′s fixed point theorem. As an application, an example to illustrate our results is given.

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 [48]. 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 [1013]. 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 [1621] 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 [2327] 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 lC[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 hY, 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 : XX by
()
where N : XY is the Nemytskii operator defined by
()
Clearly, the fixed points of the operator F are solutions of FBVP (5) and (6).

Lemma 6. Given hY, 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 : XX 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

  • (H) there exist nonnegative functions a, b, cY such 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 : XX 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).

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