Abstract

We establish the existence and uniqueness of a positive and nondecreasing solution to a singular boundary value problem of a class of nonlinear fractional differential equation. Our analysis relies on a fixed point theorem in partially ordered sets.

1. Introduction

Many papers and books on fractional differential equations have appeared recently. Most of them are devoted to the solvability of the linear fractional equation in terms of a special function (see, e.g., [1, 2]) and to problems of analyticity in the complex domain [3]. Moreover, Delbosco and Rodino [4] considered the existence of a solution for the nonlinear fractional differential equation , where and , is a given continuous function in . They obtained results for solutions by using the Schauder fixed point theorem and the Banach contraction principle. Recently, Zhang [5] considered the existence of positive solution for equation , where and is a given continuous function by using the sub- and super-solution methods.

In this paper, we discuss the existence and uniqueness of a positive and nondecreasing solution to boundary-value problem of the nonlinear fractional differential equation

(1.1)

where , is the Caputo's differentiation and with (i.e., is singular at ).

Note that this problem was considered in [6] where the authors proved the existence of one positive solution for (1.1) by using Krasnoselskii's fixed point theorem and nonlinear alternative of Leray-Schauder type in a cone and assuming certain hypotheses on the function . In [6] the uniqueness of the solution is not treated.

In this paper we will prove the existence and uniqueness of a positive and nondecreasing solution for the problem (1.1) by using a fixed point theorem in partially ordered sets.

Existence of fixed point in partially ordered sets has been considered recently in [7–12]. This work is inspired in the papers [6, 8].

For existence theorems for fractional differential equation and applications, we refer to the survey [13]. Concerning the definitions and basic properties we refer the reader to [14].

Recently, some existence results for fractional boundary value problem have appeared in the literature (see, e.g., [15–17]).

2. Preliminaries and Previous Results

For the convenience of the reader, we present here some notations and lemmas that will be used in the proofs of our main results.

Definition 2.1.

The Riemman-Liouville fractional integral of order of a function is given by

(2.1)

provided that the right-hand side is pointwise defined on .

Definition 2.2.

The Caputo fractional derivative of order of a continuous function is given by

Let , and is a continuous function with . Suppose that is a continuous function on . Then the function defined by

(2.8)

is continuous on [0,1], where is the Green function defined in Lemma 2.5.

Now, we present some results about the fixed point theorems which we will use later. These results appear in [8].

Theorem 2.8.

Let be a partially ordered set and suppose that there exists a metric in such that is a complete metric space. Assume that satisfies the following condition: if is a non decreasing sequence in such that then . Let be a nondecreasing mapping such that

(2.9)

where is continuous and nondecreasing function such that is positive in , and . If there exists with then has a fixed point.

satisfies condition (2) of Theorem 2.8. Moreover, for , as the function is continuous in , satisfies condition (2.10).

3. Main Result

Theorem 3.1.

Let , , is continuous and , is a continuous function on . Assume that there exists such that for with and

(3.1)

Then one's problem (1.1) has an unique nonnegative solution.

Proof.

Consider the cone

(3.2)

Note that, as is a closed set of , is a complete metric space.

Now, for we define the operator by

(3.3)

By Lemma 2.7, . Moreover, taking into account Remark 2.6 and as for by hypothesis, we get

(3.4)

Hence, .

In what follows we check that hypotheses in Theorems 2.8 and 2.9 are satisfied.

Firstly, the operator is nondecreasing since, by hypothesis, for

(3.5)

Besides, for

(3.6)

As the function is nondecreasing then, for ,

(3.7)

and from last inequality we get

(3.8)

Put . Obviously, is continuous, nondecreasing, positive in , and .

Thus, for

(3.9)

Finally, take into account that for the zero function, , by Theorem 2.8 our problem (1.1) has at least one nonnegative solution. Moreover, this solution is unique since satisfies condition (2.10) (see comments at the beginning of this section) and Theorem 2.9.

Remark 3.2.

In [6, lemma 3.2] it is proved that is completely continuous and Schauder fixed point theorem gives us the existence of a solution to our problem (1.1).

Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.