- Research
- Open Access

# Positive solutions for a coupled system of nonlinear differential equations of mixed fractional orders

- Yige Zhao
^{1}, - Shurong Sun
^{1, 2}Email author, - Zhenlai Han
^{1, 3}and - Wenquan Feng
^{1}

**2011**:10

https://doi.org/10.1186/1687-1847-2011-10

© Zhao et al; licensee Springer. 2011

**Received:**11 November 2010**Accepted:**14 June 2011**Published:**14 June 2011

## Abstract

In this article, we study the existence of positive solutions for a coupled system of nonlinear differential equations of mixed fractional orders

where 2 < *α* ≤ 3, 3 < *β* ≤ 4,
,
are the standard Riemann-Liouville fractional derivative, and *f*, *g* : [0, 1] × [0, +∞) → [0, +∞) are given continuous functions, *f*(*t*, 0) ≡ 0, *g*(*t*, 0) ≡ 0. Our analysis relies on fixed point theorems on cones. Some sufficient conditions for the existence of at least one or two positive solutions for the boundary value problem are established. As an application, examples are presented to illustrate the main results.

## Keywords

- Positive solution
- coupled system
- fractional Green's function
- fixed point theorem

## 1 Introduction

Fractional differential equations have been of great interest recently. It is caused by the both intensive development of the theory of fractional calculus itself and applications, see [1–6]. Recently, there are a large number of papers dealing with the existence of solutions of nonlinear fractional differential equations by the use of techniques of nonlinear analysis (fixed point theorems, Leray-Schauder theory, Adomian decomposition method, etc.), see [7–21]. The articles [13–21] considered boundary value problems for fractional differential equations.

where 2 < *α* ≤ 3 is a real number, *f* ∈ *C*([0,1] × [0, +∞); (0, +∞)) and
is the Riemann-Liouville fractional differentiation. Using the properties of the Green function, they obtained some existence criteria for one or two positive solutions for singular and nonsingular boundary value problems by means of the Krasnosel'skii fixed point theorem and a mixed monotone method.

where 3 < *α* ≤ 4 is a real number, *f* ∈ *C*([0, 1] × [0, +∞), (0, +∞)) and
is the Riemann-Liouville fractional differentiation. Using the properties of the Green function, they gave some multiple positive solutions for singular and nonsingular boundary value problems, and also they gave uniqueness of solution for singular problem by means of Leray-Schauder nonlinear alternative, a fixed point theorem on cones and a mixed monotone method.

On the other hand, the study of coupled systems involving fractional differential equations is also important as such systems occur in various problems, see [22–30].

where 0 < *s*, *p* < 1, and *f*, *g* : [0, 1) × [0, +∞) → [0, +∞) are two given continuous functions,
,
and *D*
^{
s
}, *D*
^{
p
} are two standard Riemann-Liouville fractional derivatives. They established the existence results by a nonlinear alternative of Leray-Schauder type and Krasnosel'skii fixed point theorem on a cone.

where 1 < *α*, *β* ≤ 2, *μ*, *ν* > 0, *α* - *ν* ≥ 1, *β* - *μ ≥* 1, *f*, *g* : [0, 1] × ℝ × ℝ → ℝ are given functions and *D* is the standard Riemann-Liouville fractional derivative. By means of Schauder fixed point theorem, an existence result for the solution was obtained.

where 2 < *α* ≤ 3, 3 < *β* ≤ 4,
,
are the standard Riemann-Liouville fractional derivative, and *f*, *g* : [0, 1] × [0, +∞) → [0, +∞) are given continuous functions, *f*(*t*, 0) ≡ 0, *g*(*t*, 0) ≡ 0. Our analysis relies on fixed point theorems on cones. Some sufficient conditions for the existence of at least one or two positive solutions for the boundary value problem are established. Finally, we present some examples to demonstrate our results.

The article is organized as follows. In Sect. 2, we shall give some definitions and lemmas to prove our main results. In Sect. 3, we establish existence results of at least one or two positive solutions for boundary value problem (1.1) by fixed point theorems on cones. In Sect. 4, examples are presented to illustrate the main results.

## 2 Preliminaries

For the convenience of readers, we give some background materials from fractional calculus theory to facilitate analysis of problem (1.1). These materials can be found in the recent literature, see [20, 21, 31–33].

**Definition 2.1**[31] The Riemann-Liouville fractional derivative of order

*α*> 0 of a continuous function

*f*: (0, +∞) → ℝ is given by

where *n* = [*α*]+1, [*α*] denotes the integer part of number *α*, provided that the right side is pointwise defined on (0, +∞).

**Definition 2.2**[31] The Riemann-Liouville fractional integral of order

*α*> 0 of a function

*f*: (0, +∞) → ℝ is given by

provided that the right side is pointwise defined on (0, +∞).

From the definition of the Riemann-Liouville derivative, we can obtain the following statement.

**Lemma 2.1**[31]

*Let α*> 0.

*If we assume u*∈

*C*(0, 1) ∩

*L*(0, 1),

*then the fractional differential equation*

*has u*(*t*) = *c*
_{1}
*t*
^{
α - 1}+ *c*
_{2}
*t*
^{
α - 2}+ ⋯ + *c*
_{
n
}
*t*
^{
α - n
}, *c*
_{
i
} ∈ ℝ, *i* = 1, 2,..., *n*, *as unique solutions, where n is the smallest integer greater than or equal to α*.

**Lemma 2.2**[31]

*Assume that u*∈

*C*(0, 1) ∩

*L*(0, 1)

*with a fractional derivative of order α*> 0

*that belongs to C*(0, 1) ∩

*L*(0, 1).

*Then*

*where n is the smallest integer greater than or equal to α*.

In the following, we present the Green function of fractional differential equation boundary value problem.

*Here G*
_{1} (*t*, *s*) *is called the Green function of boundary value problem* (2.1) *and* (2.2).

**Lemma 2.4** [20] *The function G*
_{1}(*t*, *s*) *defined by* (2.3) *satisfies the following conditions:*

(A1) *G*
_{1} (*t*, *s*) = *G*
_{1}(1 - *s*, 1 - *t*), *for t*, *s* ∈ (0, 1);

(A2) *t*
^{
α - 1}(1 - *t*)*s*(1 - *s*)^{
α - 1}≤ Γ(*α*)*G*
_{1} (*t*, *s*) ≤ (*α* - 1)*s*(1 - *s*)^{
α - 1}, *for t*, *s* ∈ (0, 1);

(A3) *G*
_{1} (*t*, *s*) > 0, *for t*, *s* ∈ (0, 1);

(A4) *t*
^{
α - 1}(1 - *t*)*s*(1 - *s*)^{
α - 1}≤ Γ(*α*)*G*
_{1} (*t*, *s*) ≤ (*α* - 1)(1 - *t*) *t*
^{
α - 1}, *for t*, *s* ∈ (0, 1).

*Here G*
_{2}(*t*, *s*) *is called the Green function of boundary value problem* (2.4) *and* (2.5).

**Lemma 2.6** [21] *The function G*
_{2}(*t*, *s*) *defined by* (2.6) *satisfies the following conditions:*

(B1) *G*
_{2}(*t*, *s*) = *G*
_{2}(1 - *s*, 1 - *t*), *for t*, *s* ∈ (0, 1);

(B2) (*β* - 2)*t*
^{
β - 2}(1 - *t*)^{2}
*s*
^{2}(1 - *s*)^{
β - 2}≤ Γ(*β*)*G*
_{2}(*t*, *s*) ≤ *M*
_{0}
*s*
^{2}(1 - *s*)^{
β - 2}, *for t*, *s* ∈ (0, 1);

(B3) *G*
_{2}(*t*, *s*) > 0, *for t*, *s* ∈ (0, 1);

(B4) (*β* - 2)*s*
^{2}(1 - *s*)^{
β - 2}
*t*
^{
β - 2}(1 - *t*)^{2} ≤ Γ(*β*)*G*
_{2}(*t*, *s*) ≤ *M*
_{0}
*t*
^{
β - 2}(1 - *t*)^{2}, *for t*, *s* ∈ (0, 1),

*here M*
_{0} = max{*β* - 1, (*β* - 2)^{2}}.

The following two lemmas are fundamental in the proofs of our main results.

**Lemma 2.7** [32] *Let E be a Banach space, and let P* ⊂ *E be a cone in E*. *Assume* Ω_{1}, Ω_{2} *are open subsets of E with*
, *and let S* : *P* → *P be a completely continuous operator such that, either*

(D1) ||*Sw*|| ≤ ||*w*||, *w* ∈ *P* ∩ ∂Ω_{1}, ||*Sw*|| ≥ ||*w*||, *w* ∈ *P* ∩ ∂Ω_{2}, *or*

(D2) ||*Sw*|| ≥ ||*w*||, *w* ∈ *P* ∩ ∂Ω_{1}, ||*Sw*|| ≤ ||*w*||, *w* ∈ *P* ∩ ∂Ω_{2}.

*Then S has a fixed point in*
.

**Lemma 2.8** [33] *Let E be a Banach space, and let P* ⊂ *E be a cone in E*. *Assume* Ω_{1}, Ω_{2} *and* Ω_{3} *are open subsets of E with*
, and let
*be a completely continuous operator such that*

(E1) ||*Sw*|| ≥ ||*w*||, ∀ *w* ∈ *P* ∩ ∂Ω_{1};

(E2) ||*Sw*|| ≤ ||*w*||, *Sw* ≠ *w*, ∀ *w* ∈ *P* ∩ ∂Ω_{2};

(E3) ||*Sw*|| ≥ ||*w*||, ∀ *w* ∈ *P* ∩ ∂Ω_{3}.

*Then S has two fixed points w*
_{1} *and w*
_{2} *in*
*with*
and
.

## 3 Main results

In this section, we establish the existence results of positive solutions for boundary value problem (1.1).

**Lemma 3.1** *Suppose that f*, *g* : [0, 1] × [0, +∞) → [0, +∞) *are continuous. Then* (*u*, *v*) ∈ *C*[0, 1] × *C*[0, 1] *is a solution of* (1.1) *if and only if* (*u*, *v*) ∈ *C*[0, 1] × *C*[0, 1] *is a solution of system* (3.1).

This proof is similar to that of Lemma 3.3 in [25], so is omitted.

*E*=

*C*[0, 1] be endowed with the norm ||

*u*|| = max

_{0≤t≤ 1}|

*u*(

*t*)|. De ne the cone

*P*⊂

*E*by

**Lemma 3.2** *T* : *P* → *P is completely continuous*.

Thus we have *T* (*P*) ⊂ *P*.

The operator *T* : *P* → *P* is continuous in view of continuity of *G*(*t*, *s*), *f*(*t*, *u*), and *g*(*t*, *u*). For any bounded set *M*, *T* (*M*) is uniformly bounded and equicontinuous. This proof is similar to that of Lemma 2.1.1 in [20], so is omitted. By means of Arzela-Ascoli Theorem, *T* : *P* → *P* is completely continuous. This completes the proof.

We consider the following hypotheses in what follows.

(*A*
_{1})
;

(*A*
_{2})
;

(*A*
_{3})
;

(*A*
_{4})
;

*A*

_{5})

*f*(

*t*,

*u*) and

*g*(

*t*,

*u*) are two increasing functions with respect to

*u*, and there exists

*N*> 0 such that

where *n*
_{1} = max_{0≤t,s≤ 1}
*G*
_{1}(*t*, *s*), *n*
_{2} = max_{0≤t,s≤ 1}
*G*
_{2}(*t*, *s*).

**Theorem 3.1** *Assume that hypotheses* (*A*
_{1}) *and* (*A*
_{2}) *hold*. *Then the boundary value problem* (1.1) *has at least one positive solution* (*u*, *v*).

*A*

_{2}), there exist positive constants

*μ*

_{1},

*μ*

_{2},

*C*

_{1}, and

*C*

_{2}such that

Now, from (3.4), (3.7), and Lemma 2.7, we guarantee that *T* has a fix point
, and clearly (*u*, *v*) is a positive solution of (1.1). The proof is completed.

**Theorem 3.2** *Assume that hypotheses* (*A*
_{3}) *and* (*A*
_{4}) *hold. Then the boundary value problem* (1.1) *has at least one positive solution* (*u*, *v*).

*A*

_{4}), there exist positive constants

*δ*

_{1},

*δ*

_{2},

*C*

_{4}, and

*C*

_{5}such that

Now, from (3.10), (3.13), and Lemma 2.7, we guarantee that *T* has a fix point
, and clearly (*u*, *v*) is a positive solution of (1.1). The proof is completed.

**Theorem 3.3** *Assume that hypotheses* (*A*
_{2}), (*A*
_{3}), *and* (*A*
_{5}) *hold. Then the boundary value problem* (1.1) *has at least two positive solutions* (*u*
_{1}, *v*
_{1}) *and* (*u*
_{2}, *v*
_{2}).

So, we can choose *p*
_{2}, *p*
_{3}, and *N* such that *p*
_{3} < *N* < *p*
_{2} and satisfy the above three inequalities. By Lemma 2.8, we guarantee that *T* has two fix points
and
. Then the boundary value problem (1.1) at least two positive solutions (*u*
_{1}, *v*
_{1}) and (*u*
_{2}, *v*
_{2}). This completes the proof.

Thus we have *T*' (*P*') ⊂ *P*'.

The operator *T*': *P*' → *P*' is continuous in view of continuity of *G*(*t*, *s*), *f*(*t*, *u*), and *g*(*t*, *u*). For any bounded set *M*', *T*' (*M*') is uniformly bounded and equicontinuous. This proof is similar to that of Lemma 3.1 in [21], so is omitted. By means of Arzela-Ascoli Theorem, *T*': *P*' → *P*' is completely continuous.

*Remark* **3.1** Theorems 3.1 and 3.2 also hold for the boundary value problem (1.1).

*Proof*. This proof is similar to that of Theorems 3.1 and 3.2, so is omitted.

**Theorem 3.4** *If conditions* (*A*
_{5}) *in the Theorem 3.3 is replaced by*

*f*(

*t*,

*u*)

*and g*(

*t*,

*u*)

*are two increasing functions with respect to u, and there exists N*' > 0

*such that*

*where n*
_{1} = max_{0 ≤ t,s ≤1}
*G*
_{1}(*t*, *s*), *n*
_{2} = max_{0 ≤ t,s ≤1}
*G*
_{2}(*t*, *s*).

*Then the conclusion of Theorem 3.3 also holds*.

*Proof*. This proof is similar to that of Theorem 3.3, so is omitted.

*Remark* **3.2** In this article, conditions *f*(*t*, 0) ≡ 0 and *g*(*t*, 0) ≡ 0 are too strong for the boundary value problem (1.1). So, we will give some new existence criteria for the boundary value problem (1.1) without conditions *f*(*t*, 0) ≡ 0 and *g*(*t*, 0) ≡ 0 in a new paper.

## 4 Examples

In this section, we will present examples to illustrate the main results.

So (*A*
_{1}) and (*A*
_{2}) hold. Thus, by Theorem 3.1, the boundary value problem (4.1) has a positive solution.

So (*A*
_{3}) and (*A*
_{4}) hold. Thus, by Theorem 3.2, the boundary value problem (4.2) has a positive solution.

## Declarations

### Acknowledgements

This research is supported by the Natural Science Foundation of China (11071143, 60904024, 11026112), China Postdoctoral Science Foundation funded project (200902564), and supported by Shandong Provincial Natural Science Foundation (ZR2010AL002, ZR2009AL003, Y2008A28), also supported by University of Jinan Research Funds for Doctors (XBS0843) and University of Jinan Innovation Funds for Graduate Students (YCX09014).

## Authors’ Affiliations

## References

- Miller KS, Ross B:
*An Introduction to the Fractional Calculus and Fractional Differential Equation.*Wiley, New York; 1993.Google Scholar - Oldham KB, Spanier J:
*The Fractional Calculus.*Academic Press, New York; 1974.Google Scholar - Podlubny I:
*Fractional Differential Equations, Mathematics in Science and Engineering.*Academic Press, New York, Lindon, Toronto; 1999.Google Scholar - Samko SG, Kilbas AA, Marichev OI:
**Fractional Integral and Derivative.**In*Theory and Applications*. Gordon and Breach, Yverdon; 1993.Google Scholar - Kilbas AA, Trujillo JJ:
**Differential equations of fractional order: methods, results and problem.***I Appl Anal*2001,**78:**153-192.MathSciNetView ArticleMATHGoogle Scholar - Kilbas AA, Trujillo JJ:
**Differential equations of fractional order: methods, results and problems.***II Appl Anal*2002,**81:**435-493.MathSciNetView ArticleMATHGoogle Scholar - Delbosco D, Rodino L:
**Existence and uniqueness for a nonlinear fractional differential equation.***J Math Anal Appl*1996,**204:**609-625. 10.1006/jmaa.1996.0456MathSciNetView ArticleMATHGoogle Scholar - Li Q, Sun S:
**On the existence of positive solutions for initial value problem to a class of fractional differential equation.**In*Proceedings of the 7th Conference on Biological Dynamic System and Stability of Differential Equation*. World Academic Press Chongqing, II; 2010:886-889.Google Scholar - Li Q, Sun S, Zhang M, Zhao Y:
**On the existence and uniqueness of solutions for initial value problem of fractional differential equations.***J Univ Jinan*2010,**24:**312-315.Google Scholar - Li Q, Sun S, Han Z, Zhao Y:
**On the existence and uniqueness of solutions for initial value problem of nonlinear fractional differential equations.***2010 Sixth IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, Qingdao*2010, 452-457.View ArticleGoogle Scholar - Zhang S:
**The existence of a positive solution for nonlinear fractional differential equation.***J Math Anal Appl*2000,**252:**804-812. 10.1006/jmaa.2000.7123MathSciNetView ArticleMATHGoogle Scholar - Jafari H, Gejji VD:
**Positive solutions of nonlinear fractional boundary value problems using Adomian decomposition method.***Appl Math Comput*2006,**180:**700-706. 10.1016/j.amc.2006.01.007MathSciNetView ArticleMATHGoogle Scholar - Bai Z, Lü H:
**Positive solutions for boundary value problem of nonlinear fractional differential equation.***J Math Anal Appl*2005,**311:**495-505. 10.1016/j.jmaa.2005.02.052MathSciNetView ArticleMATHGoogle Scholar - Qiu T, Bai Z:
**Existence of positive solutions for singular fractional equations.***Electron J Differ Equ*2008,**146:**1-9.MathSciNetMATHGoogle Scholar - Zhang S:
**Positive solutions for boundary-value problems of nonlinear fractional differential equations.***Electron J Differ Equ*2006,**36:**1-12.View ArticleMathSciNetGoogle Scholar - Zhang M, Sun S, Zhao Y, Yang D:
**Existence of positive solutions for boundary value problems of fractional differential equations.***J Univ Jinan*2010,**24:**205-208.Google Scholar - Zhao Y, Sun S:
**On the existence of positive solutions for boundary value problems of non-linear fractional differential equations.**In*Proceedings of the 7th Conference on Biological Dynamic System and Stability of Differential Equation*. World Academic Press Chongqing, II; 2010:682-685.Google Scholar - Zhao Y, Sun S, Han Z, Zhang M:
**Existence on positive solutions for boundary value problems of singular nonlinear fractional differential equations.***2010 Sixth IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, Qingdao*2010, 480-485.View ArticleGoogle Scholar - Zhao Y, Sun S, Han Z, Li Q:
**The existence of multiple positive solutions for boundary value problems of nonlinear fractional differential equations.***Commun Nonlinear Sci Numer Simul*2011,**16:**2086-2097. 10.1016/j.cnsns.2010.08.017MathSciNetView ArticleMATHGoogle Scholar - Yu Y, Jiang D:
*Multiple Positive Solutions for the Boundary Value Problem of A Nonlinear Fractional Differential Equation.*Northeast Normal University; 2009.Google Scholar - Xu X, Jiang D, Yuan C:
**Multiple positive solutions for the boundary value problem of a nonlinear fractional differential equation.***Nonlinear Anal*2009,**71:**4676-4688. 10.1016/j.na.2009.03.030MathSciNetView ArticleMATHGoogle Scholar - Ladaci S, Loiseau JL, Charef A:
**Fractional order adaptive high-gain controllers for a class of linear systems.***Commun Nonlinear Sci Numer Simul*2008,**13:**707-714. 10.1016/j.cnsns.2006.06.009MathSciNetView ArticleMATHGoogle Scholar - Yang A, Ge W:
**Positive solutions for boundary value problems of N-Dimension nonlinear fractional differential system.***Bound Value Probl*2008,**2008:**1-15.MathSciNetView ArticleGoogle Scholar - Bai C, Fang J:
**The existence of a positive solution for a singular coupled system of nonlinear fractional differential equations.***Appl Math Comput*2004,**150:**611-621. 10.1016/S0096-3003(03)00294-7MathSciNetView ArticleMATHGoogle Scholar - Su X:
**Boundary value problem for a coupled system of nonlinear fractional differential equations.***Appl Math Lett*2009,**22:**64-69. 10.1016/j.aml.2008.03.001MathSciNetView ArticleMATHGoogle Scholar - Gejji VD:
**Positive solutions of a system of nonlinear fractional differential equations.***J Math Anal Appl*2005,**302:**56-64. 10.1016/j.jmaa.2004.08.007MathSciNetView ArticleMATHGoogle Scholar - Wang J, Xiang H, Liu Z:
**Positive solution to nonzero boundary values problem for a coupled system of nonlinear fractional differential equations.***Int J Differ Equ*2010,**2010:**1-12.MathSciNetView ArticleMATHGoogle Scholar - Ahmad B, Nieto JJ:
**Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions.***Comput Math Appl*2009,**58:**1838-1843. 10.1016/j.camwa.2009.07.091MathSciNetView ArticleMATHGoogle Scholar - Ahmad B, Alsaedi A:
**Existence and uniqueness of solutions for coupled systems of higher-order nonlinear fractional differential equations.***Fixed Point Theory Appl*2010,**2010:**1-17.MathSciNetView ArticleMATHGoogle Scholar - Babakhani A:
**Positive solutions for system of nonlinear fractional differential equations in two dimensions with delay.***Abstr Appl Anal*2010,**2010:**1-16.MathSciNetView ArticleMATHGoogle Scholar - Kilbas AA, Srivastava HH, Trujillo JJ:
*Theory and Applications of Fractional Differential Equations.*Elsevier, Amsterdam; 2006.Google Scholar - Krasnoselskii MA:
**Positive Solution of Operator Equation.***Noordho, Groningen*1964.Google Scholar - Kang P, Wei Z:
**Three positive solutions of singular nonlocal boundary value problems for systems of nonlinear second-order ordinary differential equations.***Nonlinear Anal*2009,**70:**444-451. 10.1016/j.na.2007.12.014MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.