- Research
- Open Access

# Theory of fractional hybrid differential equations with linear perturbations of second type

- Hongling Lu
^{1}, - Shurong Sun
^{1}Email author, - Dianwu Yang
^{1}and - Houshan Teng
^{1}

**2013**:23

https://doi.org/10.1186/1687-2770-2013-23

© Lu et al.; licensee Springer. 2013

**Received:**30 November 2012**Accepted:**22 January 2013**Published:**11 February 2013

## Abstract

In this paper, we develop the theory of fractional hybrid differential equations with linear perturbations of second type involving Riemann-Liouville differential operators of order $0<q<1$. An existence theorem for fractional hybrid differential equations is proved under the *φ*-Lipschitz condition. Some fundamental fractional differential inequalities which are utilized to prove the existence of extremal solutions are also established. Necessary tools are considered and the comparison principle which will be useful for further study of qualitative behavior of solutions is proved.

**MSC:**34A40, 34A12, 34A99.

## Keywords

- fractional differential inequalities
- existence theorem
- comparison principle

## 1 Introduction

Fractional differential equations have been of great interest recently. It is caused both by the intensive development of the theory of fractional calculus itself and by the applications; see [1–14]. Although the tools of fractional calculus have been available and applicable to various fields of study, there are few papers on the investigation of the theory of fractional differential equations; see [15–19]. The differential equations involving Riemann-Liouville differential operators of fractional order $0<q<1$ are very important in modeling several physical phenomena [20–22] and therefore seem to deserve an independent study of their theory parallel to the well-known theory of ordinary differential equations.

where $f\in C(J\times \mathbb{R},\mathbb{R}\setminus \{0\})$ and $g\in \mathcal{C}(J\times \mathbb{R},\mathbb{R})$. They established the existence and uniqueness results and some fundamental differential inequalities for hybrid differential equations initiating the study of theory of such systems and proved utilizing the theory of inequalities, its existence of extremal solutions and a comparison result.

From the above works, we develop the theory of fractional hybrid differential equations involving Riemann-Liouville differential operators of order $0<q<1$. In this paper, we initiate the basic theory of fractional hybrid differential equations of mixed perturbations of second type involving three nonlinearities and prove the basic result such as the strict and nonstrict fractional differential inequalities, an existence theorem and maximal and minimal solutions *etc.* We claim that the results of this paper are a basic and important contribution to the theory of nonlinear fractional differential equations.

## 2 Fractional hybrid differential equation

Let ℝ be a real line and $J=[{t}_{0},{t}_{0}+a)$ be a bounded interval in ℝ for some ${t}_{0},a\in \mathbb{R}$ with $a>0$. Let $C(J\times \mathbb{R},\mathbb{R})$ denote the class of continuous functions $f:J\times \mathbb{R}\to \mathbb{R}$.

**Definition 2.1** [19]

where $n=[\alpha ]+1$, $[\alpha ]$ denotes the integer part of number *α*, provided that the right-hand side is pointwise defined on $({t}_{0},+\mathrm{\infty})$.

**Definition 2.2** [19]

provided that the right-hand side is pointwise defined on $({t}_{0},+\mathrm{\infty})$.

where $f,g\in C(J\times \mathbb{R},\mathbb{R})$.

- (i)
the function $t\mapsto x-f(t,x)$ is continuous for each $x\in \mathbb{R}$, and

- (ii)
*x*satisfies the equations in (2.1).

The theory of strict and nonstrict differential inequalities related to ODEs and hybrid differential equations is available in the literature (see [24, 25, 28, 29]). It is known that differential inequalities are useful for proving the existence of extremal solutions of ODEs and hybrid differential equations defined on *J*.

## 3 Existence result

In this section, we prove the existence results for FHDE (2.1) on the closed and bounded interval $J=[{t}_{0},{t}_{0}+a]$ under mixed Lipschitz and compactness conditions on the nonlinearities involved in it.

We place FHDE (2.1) in the space $C(J,\mathbb{R})$ of continuous real-valued functions defined on *J*. Define a supremum norm $\parallel \cdot \parallel $ in $C(J,\mathbb{R})$ by $\parallel x\parallel ={sup}_{t\in J}|x(t)|$. Clearly, $C(J,\mathbb{R})$ is a Banach algebra with respect to the above norm.

We prove the existence of a solution for FHDE (2.1) by a fixed point theorem in the Banach algebra due to Dhage [30].

**Definition 3.1**Let

*X*be a Banach space. A mapping $T:X\to X$ is called

*φ*-Lipschitzian if there exists a continuous and nondecreasing function $\phi :{R}^{+}\to {R}^{+}$ such that

for all $x,y\in X$, where $\phi (0)=0$.

Further, if *φ* satisfies the condition $\phi (r)<r$, $r>0$, then *T* is called a nonlinear contraction with a control function *φ*.

**Lemma 3.1** [30]

*Let*

*S*

*be a nonempty*,

*closed convex and bounded subset of the Banach algebra*

*X*

*and let*$A:X\to X$

*and*$B:S\to X$

*be two operators such that*

- (a)
*A**is nonlinear contraction*, - (b)
*B**is completely continuous*, - (c)
$Ax+Bx\in S$

*for all*$x\in S$.

*Then the operator equation* $Ax+Bx=x$ *has a solution in* *S*.

We consider the following hypotheses in what follows.

(A_{0}) The function $x\mapsto x-f(t,x)$ is increasing in ℝ for all $t\in J$.

_{1}) There exist constants $M\ge L>0$ such that

for all $t\in J$ and $x,y\in \mathbb{R}$.

_{3}) There exists a continuous function $h\in C(J,\mathbb{R})$ such that

for all $x\in \mathbb{R}$.

**Lemma 3.2** [19]

*Let* $0<q<1$ *and* $u\in {L}^{1}(0,T)$.

(H_{1}) *The equality* ${D}^{q}{I}^{q}u(t)=u(t)$ *holds*.

_{2})

*The equality*

*holds almost everywhere on* *J*.

The following lemma is useful in what follows.

**Lemma 3.3**

*Assume that hypothesis*(A

_{0})

*holds*.

*Then*,

*for any*$h\in C(J,\mathbb{R})$

*and*$0<q<1$,

*the function*$x\in C(J,\mathbb{R})$

*is a solution of the FHDE*

*and*

*if and only if*

*x*

*satisfies the hybrid integral equation*(

*HIE*)

*Proof*Let

*x*be a solution of the Cauchy problem (3.1) and (3.2). Since the Riemann-Liouville fractional integral ${I}^{q}$ is a monotone operator, thus we apply the fractional integral ${I}^{q}$ on both sides of (3.1). By Lemma 3.2, we have

*i.e.*,

Thus, (3.3) holds.

*x*satisfies HIE (3.3). Then applying ${D}^{q}$ on both sides of (3.3), (3.1) is satisfied. Again, substituting $t={t}_{0}$ in (3.3) yields

The map $x\mapsto x-f(t,x)$ is increasing in ℝ for all $t\in J$, the map $x\mapsto x-f({t}_{0},x)$ is injective in ℝ, hence $x({t}_{0})={x}_{0}$. The proof is completed. □

Now, we are in a position to prove the following existence theorem for FHDE (2.1).

**Theorem 3.1** *Assume that hypotheses* (A_{0})-(A_{2}) *hold*. *Then FHDE* (2.1) *has a solution defined on* *J*.

*Proof*Set $X=C(J,\mathbb{R})$ and define a subset

*S*of

*X*defined by

where $N=|{x}_{0}-f({t}_{0},{x}_{0})|+L+{F}_{0}+\frac{{a}^{q}}{\mathrm{\Gamma}(q+1)}{\parallel h\parallel}_{{L}^{1}}$ and ${F}_{0}={sup}_{t\in J}|f(t,0)|$.

*S*is a closed, convex and bounded subset of the Banach algebra

*X*. Now, using the hypotheses (A

_{0})-(A

_{2}), it can be shown by an application of Lemma 3.3, FHDE (2.1) is equivalent to the nonlinear HIE

We will show that the operators *A* and *B* satisfy all the conditions of Lemma 3.1.

*A*is a Lipschitz operator on

*X*with the Lipschitz constant

*L*. Let $x,y\in X$. Then by hypothesis (A

_{1}),

*t*, we obtain

for all $x,y\in X$. This shows that *A* is a nonlinear contraction on *X* with a control function *φ* defined by $\phi =\frac{Lr}{M+r}$.

*B*is a compact and continuous operator on

*S*into

*X*. First, we show that

*B*is continuous on

*S*. Let $\{{x}_{n}\}$ be a sequence in

*S*converging to a point $x\in S$. Then, by the Lebesgue dominated convergence theorem,

for all $t\in J$. This shows that *B* is a continuous operator on *S*.

*B*is a compact operator on

*S*. It is enough to show that $B(S)$ is a uniformly bounded and equicontinuous set in

*X*. On the one hand, let $x\in S$ be arbitrary. Then by hypothesis (A

_{2}),

*t*,

for all $x\in S$. This shows that *B* is uniformly bounded on *S*.

for all ${t}_{1},{t}_{2}\in J$ and for all $x\in S$. This shows that $B(S)$ is an equicontinuous set in *X*. Now, the set $B(S)$ is a uniformly bounded and equicontinuous set in *X*, so it is compact by the Arzela-Ascoli theorem. As a result, *B* is a complete continuous operator on *S*.

_{1}), we have

*t*,

Thus, all the conditions of Lemma 3.1 are satisfied and hence the operator equation $Ax+Bx=x$ has a solution in *S*. As a result, FHDE (2.1) has a solution defined on *J*. This completes the proof. □

## 4 Fractional hybrid differential inequalities

We discuss a fundamental result relative to strict inequalities for FHDE (2.1).

**Lemma 4.1** [17]

*Let*$m:{\mathbb{R}}_{+}\to \mathbb{R}$

*be locally Hölder continuous such that for any*${t}_{1}\in (0,+\mathrm{\infty})$,

*we have*

*Then it follows that*

**Theorem 4.1**

*Assume that hypothesis*(A

_{0})

*holds*.

*Suppose that there exist functions*$y,z:J\to \mathbb{R}$

*that are locally Hölder continuous such that*

*and*

*one of the inequalities being strict*.

*Then*

*implies*

*for all* $t\in J$.

*Proof* Suppose that inequality (4.4) is strict. Assume that the claim is false. Then there exists a ${t}_{1}\in J$, ${t}_{1}>0$, such that $y({t}_{1})=z({t}_{1})$ and $y(t)<z(t)$ for ${t}_{0}\le t<{t}_{1}$.

_{0}), we get $Y(t)<Z(t)$ for all ${t}_{0}\le t<{t}_{1}$. Setting $m(t)=Y(t)-Z(t)$, ${t}_{0}\le t\le {t}_{1}$, we find that $m(t)\le 0$, ${t}_{0}\le t\le {t}_{1}$ and $m({t}_{1})=0$. Then by Lemma 4.1, we have ${D}^{q}m({t}_{1})\ge 0$. By (4.3) and (4.4), we obtain

This is a contradiction to $y({t}_{1})=z({t}_{1})$. Hence, the conclusion (4.6) is valid and the proof is complete. □

The next result is concerned with nonstrict fractional differential inequalities which require a kind of one-sided *φ*-Lipshitz condition.

**Theorem 4.2**

*Assume that the conditions of Theorem*4.1

*hold*.

*Suppose that there exists a real number*$M>0$

*such that*

*for all*${x}_{1},{x}_{2}\in \mathbb{R}$

*with*${x}_{1}\ge {x}_{2}$.

*Then*$y(0)\le z(0)$

*implies*,

*provided*$M{a}^{q}\le \frac{1}{\mathrm{\Gamma}(1-q)}$,

*for all* $t\in J$.

*Proof*

Also, we have ${z}_{\epsilon}(0)>z(0)\ge y(0)$. Hence, by an application of Theorem 4.1 with $z={z}_{\epsilon}$ yields that $y(t)<{z}_{\epsilon}(t)$ for all $t\in J$. By the arbitrariness of $\epsilon >0$, taking the limits as $\epsilon \to 0$, we have $y(t)\le z(t)$ for all $t\in J$. This completes the proof. □

**Remark 4.1** Let $f(t,x)\equiv 0$ and $g(t,x)=x$. We can easily verify that *f* and *g* satisfy the condition (4.7).

## 5 Existence of maximal and minimal solutions

In this section, we prove the existence of maximal and minimal solutions for FHDE (2.1) on $J=[{t}_{0},{t}_{0}+a]$. We need the following definition in what follows.

**Definition 5.1** A solution *r* of FHDE (2.1) is said to be maximal if for any other solution *x* to FHDE (2.1), one has $x(t)\le r(t)$ for all $t\in J$. Similarly, a solution *ρ* of FHDE (2.1) is said to be minimal if $\rho (t)\le x(t)$ for all $t\in J$, where *x* is any solution of FHDE (2.1) on *J*.

where $f,g\in C(J\times \mathbb{R},\mathbb{R})$.

An existence theorem for FHDE (5.1) can be stated as follows.

**Theorem 5.1** *Assume that hypotheses* (A_{0})-(A_{2}) *hold*. *Then*, *for every small number* $\epsilon >0$, *FHDE* (5.1) *has a solution defined on* *J*.

*Proof* The proof is similar to Theorem 3.1 and we omit the details. □

Our main existence theorem for a maximal solution for FHDE (2.1) is as follows.

**Theorem 5.2** *Assume that hypotheses* (A_{0})-(A_{2}) *hold*. *Then FHDE* (2.1) *has a maximal solution defined on* *J*.

*Proof*Let ${\{{\epsilon}_{n}\}}_{0}^{\mathrm{\infty}}$ be a decreasing sequence of positive real numbers such that ${lim}_{n\to \mathrm{\infty}}{\epsilon}_{n}=0$. By Theorem 5.1, then there exists a solution $r(t,{\epsilon}_{n})$ of the FHDE defined on

*J*

*u*of FHDE (2.1), any solution of auxiliary problem (5.2) satisfies

for all $t\in J$ and $n\in \mathbb{N}\cup \{0\}$.

*J*. To finish, it is enough to prove that the sequence $r(t,{\epsilon}_{n})$ is equicontinuous in $C(J,R)$. Let ${t}_{1},{t}_{2}\in J$ with ${t}_{1}<{t}_{2}$ be arbitrary. Then

*f*is continuous on a compact set $J\times [-N,N]$, it is uniformly continuous there. Hence,

uniformly for all $n\in \mathbb{N}$.

for all $t\in J$.

*J*. Now, since $r(t,{\epsilon}_{n})$ is a solution of FHDE (5.2), we have

for all $t\in J$. Thus, the function *r* is a solution of FHDE (2.1) on *J*. Finally, from inequality (5.3), it follows that $u(t)\le r(t)$ for all $t\in J$. Hence, FHDE (2.1) has a maximal solution on *J*. This completes the proof. □

## 6 Comparison theorems

The main problem of differential inequalities is to estimate a bound for the solution set for the differential inequality related to FHDE (2.1). In this section, we prove that the maximal and minimal solutions serve as bounds for the solutions of the related differential inequality to FHDE (2.1) on $J=[{t}_{0},{t}_{0}+a]$.

**Theorem 6.1**

*Assume that hypotheses*(A

_{0})-(A

_{2})

*hold*.

*Suppose that there exists a real number*$M>0$

*such that*

*for all*${x}_{1},{x}_{2}\in \mathbb{R}$

*with*${x}_{1}\ge {x}_{2}$,

*where*$M{a}^{q}\le \frac{1}{\mathrm{\Gamma}(1-q)}$.

*Furthermore*,

*if there exists a function*$u\in C(J,\mathbb{R})$

*such that*

*Then*

*for all* $t\in J$, *where* *r* *is a maximal solution of FHDE* (2.1) *on* *J*.

*Proof*Let $\epsilon >0$ be arbitrary small. By Theorem 5.2, $r(t,\epsilon )$ is a maximal solution of FHDE (5.1) and the limit

*J*and the function

*r*is a maximal solution of FHDE (2.1) on

*J*. Hence, we obtain

Now, we apply Theorem 4.2 to inequalities (6.1) and (6.4) and conclude that $u(t)<r(t,\epsilon )$ for all $t\in J$. This further, in view of limit (6.3), implies that inequality (6.2) holds on *J*. This completes the proof. □

**Theorem 6.2**

*Assume that hypotheses*(A

_{0})-(A

_{2})

*hold*.

*Suppose that there exists a real number*$M>0$

*such that*

*for all*${x}_{1},{x}_{2}\in \mathbb{R}$

*with*${x}_{1}\ge {x}_{2}$,

*where*$M{T}^{q}\le \frac{1}{\mathrm{\Gamma}(1-q)}$.

*Furthermore*,

*if there exists a function*$u\in C(J,\mathbb{R})$

*such that*

*Then*

*for all* $t\in J$, *where* *ρ* *is a minimal solution of FHDE* (2.1) *on* *J*.

Note that Theorem 6.1 is useful to prove the boundedness and uniqueness of the solutions for FHDE (2.1) on *J*. A result in this direction is as follows.

**Theorem 6.3**

*Assume that hypotheses*(A

_{0})-(A

_{2})

*hold*.

*Suppose that there exists a function*$G:J\times {\mathbb{R}}_{+}\to {\mathbb{R}}_{+}$

*such that*

*for all*${x}_{1},{x}_{2}\in \mathbb{R}$.

*If an identically zero function is the only solution of the differential equation*

*then FHDE* (2.1) *has a unique solution on* *J*.

*Proof*By Theorem 3.1, FHDE (2.1) has a solution defined on

*J*. Suppose that there are two solutions ${u}_{1}$ and ${u}_{2}$ of FHDE (2.1) existing on

*J*. Define a function $m:J\to \mathbb{R}$ by

for almost everywhere $t\in J$, and $m({t}_{0})=0$.

for all $t\in J$. Then we can get ${u}_{1}={u}_{2}$ in view of hypothesis (A_{0}). This completes the proof. □

## 7 Existence of extremal solutions in a vector segment

## Declarations

### Acknowledgements

Dedicated to Professor Hari M Srivastava.

This research is supported by the Natural Science Foundation of China (11071143, 60904024, 61174217), Natural Science Outstanding Youth Foundation of Shandong Province (JQ201119) and supported by Shandong Provincial Natural Science Foundation (ZR2012AM009, ZR2010AL002, ZR2011AL007), also supported by Natural Science Foundation of Educational Department of Shandong Province (J11LA01).

## 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.MATHGoogle Scholar - Podlubny I:
*Fractional Differential Equations, Mathematics in Science and Engineering*. Academic Press, New York; 1999.Google Scholar - Samko SG, Kilbas AA, Marichev OI:
*Fractional Integral and Derivative, Theory and Applications*. Gordon & Breach, New York; 1993.Google 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.017MATHMathSciNetView ArticleGoogle Scholar - Zhao Y, Sun S, Han Z, Li Q: Positive solutions to boundary value problems of nonlinear fractional differential equations.
*Abstr. Appl. Anal.*2011, 2011: 1-16.MathSciNetGoogle Scholar - Zhou Y, Jiao F, Li J: Existence and uniqueness for
*p*-type fractional neutral differential equations.*Nonlinear Anal. TMA*2009, 71: 2724-2733. 10.1016/j.na.2009.01.105MATHMathSciNetView ArticleGoogle Scholar - Zhou Y, Jiao F, Li J: Existence and uniqueness for fractional neutral differential equations with infinite delay.
*Nonlinear Anal. TMA*2009, 71: 3249-3256. 10.1016/j.na.2009.01.202MATHMathSciNetView ArticleGoogle Scholar - Zhou Y, Jiao F: Nonlocal Cauchy problem for fractional evolution equations.
*Nonlinear Anal., Real World Appl.*2010, 11: 4465-4475. 10.1016/j.nonrwa.2010.05.029MATHMathSciNetView ArticleGoogle Scholar - Wang J, Zhou Y: A class of fractional evolution equations and optimal controls.
*Nonlinear Anal., Real World Appl.*2011, 12: 262-272. 10.1016/j.nonrwa.2010.06.013MATHMathSciNetView ArticleGoogle Scholar - Agarwal RP, Zhou Y, He Y: Existence of fractional neutral functional differential equations.
*Comput. Math. Appl.*2010, 59: 1095-1100. 10.1016/j.camwa.2009.05.010MATHMathSciNetView ArticleGoogle Scholar - Li CF, Luo XN, Zhou Y: Existence of positive solutions of boundary value problem for fractional differential equations.
*Comput. Math. Appl.*2010, 59: 1363-1375. 10.1016/j.camwa.2009.06.029MATHMathSciNetView ArticleGoogle Scholar - Diethelm K:
*The Analysis of Fractional Differential Equations*. Springer, Berlin; 2010.MATHView ArticleGoogle Scholar - Sun S, Zhao Y, Han Z, Xu M: Uniqueness of positive solutions for boundary value problems of singular fractional differential equations.
*Inverse Probl. Sci. Eng.*2012, 20: 299-309. 10.1080/17415977.2011.603726MATHMathSciNetView ArticleGoogle Scholar - Lakshmikantham V, Vatsala AS: Basic theory of fractional differential equations.
*Nonlinear Anal. TMA*2008, 69: 2677-2682. 10.1016/j.na.2007.08.042MATHMathSciNetView ArticleGoogle Scholar - Lakshmikantham V, Vatsala AS: Theory of fractional differential inequalities and applications.
*Commun. Appl. Anal.*2007, 11: 395-402.MATHMathSciNetGoogle Scholar - Lakshmikantham V: Theory of fractional functional differential equations.
*Nonlinear Anal. TMA*2008, 69: 3337-3343. 10.1016/j.na.2007.09.025MATHMathSciNetView ArticleGoogle Scholar - Lakshmikantham V, Devi JV: Theory of fractional differential equations in Banach space.
*Eur. J. Pure Appl. Math.*2008, 1: 38-45.MATHMathSciNetGoogle Scholar - Kilbas AA, Srivastava HH, Trujillo JJ:
*Theory and Applications of Fractional Differential Equations*. Elsevier, Amsterdam; 2006.MATHGoogle Scholar - Caputo M: Linear models of dissipation whose Q is almost independent II.
*Geophys. J. R. Astron. Soc.*1967, 13: 529-539. 10.1111/j.1365-246X.1967.tb02303.xView ArticleGoogle Scholar - Diethelm K, Ford NJ: Analysis of fractional differential equations.
*J. Math. Anal. Appl.*2002, 265: 229-248. 10.1006/jmaa.2000.7194MATHMathSciNetView ArticleGoogle Scholar - Diethelm K, Ford NJ: Multi-order fractional differential equations and their numerical solution.
*Appl. Math. Comput.*2004, 154: 621-640. 10.1016/S0096-3003(03)00739-2MATHMathSciNetView ArticleGoogle Scholar - Dhage BC: On
*α*-condensing mappings in Banach algebras.*Math. Stud.*1994, 63: 146-152.MATHMathSciNetGoogle Scholar - Dhage BC, Lakshmikantham V: Basic results on hybrid differential equations.
*Nonlinear Anal., Real World Appl.*2010, 4: 414-424.MATHMathSciNetGoogle Scholar - Dhage, BC, Jadhav, NS: Basic results in the theory of hybrid differential equations with linear perturbations of second type (submitted)Google Scholar
- Dhage BC: A nonlinear alternative in Banach algebras with applications to functional differential equations.
*Nonlinear Funct. Anal. Appl.*2004, 8: 563-575.MathSciNetGoogle Scholar - Dhage BC: Fixed point theorems in ordered Banach algebras and applications.
*Panam. Math. J.*1999, 9: 93-102.MathSciNetGoogle Scholar - Lakshmikantham V, Leela S:
*Differential and Integral Inequalities*. Academic Press, New York; 1969.MATHGoogle Scholar - Zhao Y, Sun S, Han Z, Li Q: Theory of fractional hybrid differential equations.
*Comput. Math. Appl.*2011, 62: 1312-1324. 10.1016/j.camwa.2011.03.041MATHMathSciNetView ArticleGoogle Scholar - Dhage BC: A fixed point theorem in Banach algebras with applications to functional integral equations.
*Kyungpook Math. J.*2004, 44: 145-155.MATHMathSciNetGoogle Scholar - Heikkilä S, Lakshmikantham V:
*Monotone Iterative Technique for Nonlinear Discontinuous Differential Equations*. Dekker, New York; 1994.Google 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.