- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Abstract and Applied Analysis

Volume 2012 (2012), Article ID 719192, 11 pages

http://dx.doi.org/10.1155/2012/719192

## Nontrivial Solution of Fractional Differential System Involving Riemann-Stieltjes Integral Condition

Cisco School of Informatics, Guangdong University of Foreign Studies, Guangzhou 510006, China

Received 14 September 2012; Accepted 25 October 2012

Academic Editor: Xinguang Zhang

Copyright © 2012 Ge-Feng Yang. 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.

#### Abstract

We study the existence and uniqueness of nontrivial solutions for a class of fractional differential system involving the Riemann-Stieltjes integral condition, by using the Leray-Schauder nonlinear alternative and the Banach contraction mapping principle, some sufficient conditions of the existence and uniqueness of a nontrivial solution of a system are obtained.

#### 1. Introduction

HIV is a retrovirus that targets the CD4^{+} T lymphocytes, which are the most abundant white blood cells of the immune system. To this day, there have already been over 16 million people who died of AIDS. Although HIV infects other cells also, it wreaks the most havoc on the CD4^{+} T cells by causing their decline and destruction, thus decreasing the resistance of the immune system [1–3]. Mathematical models have been proven valuable in understanding the dynamics of HIV infection [4–6]. Perelson et al. [7, 8] developed a simple model for the primary infection with HIV. In this model, four categories of cells were defined: uninfected CD4^{+} T cells, latently infected CD4^{+} T cells, productively infected CD4^{+} T cells, and virus population. And the following two equations describe the evolution of the system:
where all parameters and variables are nonnegative. is the assumed constant rate of the production of CD4^{+} T-cells, is their per capita death rate, is the rate of infection of CD4^{+} T-cells by virus, and is the rate of disappearance of infected cells. Recently Arafa1 et al. introduced fractional order into a model of infection of CD4^{+} T cells. The new system is described by the following set of FODEs of order :
, and denote the concentration of uninfected CD4^{+} T cells, infected CD4^{+} T cells, and free HIV virus particles in the blood, respectively. represents death rate of infected T cells and includes the possibility of death by the bursting of infected T cells, hence . The parameter is the rate at which infected cells return to uninfected class while is the death rate of virus and is the average number of viral particles produced by an infected cell.

Motivated by HIV model, in this paper, we consider the existence of nontrivial solution for fractional differential system where is a parameter, ,, is the standard Riemann-Liouville derivative. denotes the Riemann-Stieltjes integral, and are functions of bounded variation.

In the recent years, there has been a significant development in fractional order differential equations involving fractional derivatives. For example, Ahmad and Nieto [9] considered a coupled system of nonlinear fractional differential equations with three-point boundary conditions where satisfy certain conditions. Applying the Schauder fixed point theorem, an existence result is proved provided that are given continuous functions and satisfy some growth conditions. For a detailed description of recent work on fractional differential equation, we refer the reader to some recent papers (see [10–17]).

The rest of the paper is organized as follows. Section 2 gives preliminaries and lemmas about fractional calculus. In Section 3, we present the main results and the proof of the results. In addition, an example is given to illustrate the application of the main results.

#### 2. Preliminaries and Lemmas

For the convenience of the reader, we present here some definitions from fractional calculus which are to be used in the later sections.

*Definition 2.1 (see [18–20]). *The Riemann-Liouville fractional integral of order of a function is given by
provided that the right-hand side is pointwise defined on .

*Definition 2.2 (see [18–20]). *The Riemann-Liouville fractional derivative of order of a function is given by
where , denotes the integer part of number , provided that the right-hand side is pointwise defined on .

Lemma 2.3 (see [18–20]). *(1) If , then
**(2) If , then
*

Lemma 2.4 (see [18–20]). * Assume that with a fractional derivative of order that belongs to . Then
**
where , is the smallest integer greater than or equal to . *

Let ; by standard discussion, we easily reduce the system (1.1) to the following modified problems: and the system (2.6) is equivalent to the system (1.1).

Lemma 2.5 (see [21]). * Let , if , then the unique solution of the linear problems
**
is
**
respectively, where
**
are the Green functions of the boundary value problems (2.7).*

By Lemma 2.4, the unique solution of the problem is . Let and define

As in [14], if , we can get that the Green function for the following nonlocal system are given by, respectively,

Clearly, are continuous on ; thus there exist positive constants such that

It is well known that is a solution of the system (2.6) if and only if is a solution of the following nonlinear integral equation system: Obviously, the system (2.16) is equivalent to the following integral equation:

Lemma 2.6 (see [22]). *Let be a real Banach space and a bounded open subset of , where ; is a completely continuous operator. Then, either there exists such that or there exists a fixed point .*

#### 3. Main Results

The following definition introduces the Carathèodory conditions imposed on a map .

*Definition 3.1. *Let . A map is said to satisfy the Carathéodory conditions if the following conditions hold:(i)for each , the mapping is Lebesgue measurable;(ii)for a.e. , the mapping is continuous on .

Throughout the paper we always assume the following conditions hold. are functions of bounded variation such that , where are defined by (2.11). and satisfy the Carathéodory condition.

Theorem 3.2. * Suppose that hold. If , and there exist nonnegative functions such that
**
In addition, there exists such that for some . Then there exists a constant , such that, for any , the system (1.1) has at least one nontrivial solution .*

*Proof. *Let be endowed with the ordering if for all , and is defined as usual by maximum norm. Clearly, it follows that is a Banach space. By (2.17) and (2.6), problem (1.1) has a solution if and only if solves the following operator equation:
in . So we only need to seek a fixed point of in . By Ascoli-Arzela Theorem, it is obvious that the operator is a completely continuous operator.

Since , and a.e. , we know . On the other hand, by for some , we have

Let
where is defined by (2.15). Define the set
Suppose such that . Then, for any , and noticing that
we have
Thus we take
Then for any and , by (3.7), one has
Consequently,
This contradicts , by Lemma 2.6, has a fixed point . Since , then , Thus let
and then the system (1.1) has at least one nontrivial solution for any . This completes the proof of Theorem 3.2.

Theorem 3.3. * Suppose that hold. If , and there exist nonnegative functions such that
**
In addition, there exists such that for some . Then there exists a constant , such that, for any , the system (1.1) has unique nontrivial solution .*

*Proof. * Let be given in Theorem 3.2; we will show that is a contraction. In fact,
If we choose
Then by (3.13) and (3.14), we have
which implies that is indeed a contraction. Finally, we use the Banach fixed point theorem to deduce the existence of a unique solution to the system (1.1).

Corollary 3.4. * Suppose that hold. If ,
**
In addition, there exists a nonnegative function such that satisfies
**
Then there exists a constant , such that, for any , the system (1.1) has at least one nontrivial solution .*

*Proof. * We prove satisfies the conditions of Theorem 3.2. Let
and choose such that . By (3.16), there exists such that
Take , and the measure of is 0. Thus for any , we have
From Theorem 3.2 we know the system (1.1) has at least one nontrivial solution.

*Example 3.5. * Consider the following fractional differential system:
where
Then the system (3.21) is equivalent to the following 4-point BVP with coefficients of both signs
Clearly, holds. Let
Then also is satisfied.

On the other hand, we have
and , which imply all conditions of Theorem 3.2 are satisfied, by Theorem 3.2, there exists a constant , such that for any , the system (3.21) has at least one nontrivial solution .

#### References

- P. W. Nelson and A. S. Perelson, “Mathematical analysis of delay differential equation models of HIV-1 infection,”
*Mathematical Biosciences*, vol. 179, no. 1, pp. 73–94, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - L. Wang and M. Y. Li, “Mathematical analysis of the global dynamics of a model for HIV infection of $\mathrm{CD}{4}^{+}$ T cells,”
*Mathematical Biosciences*, vol. 200, no. 1, pp. 44–57, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - R. V. Culshaw and S. Ruan, “A delay-differential equation model of HIV infection of CD4
^{+}T-cells,”*Mathematical Biosciences*, vol. 165, pp. 27–39, 2000. View at Google Scholar - T. C. Henry and Y. M. W. Frederic, “On the behavior of solutions in viral dynamical models,”
*Biosystems*, vol. 73, pp. 157–161, 2004. View at Google Scholar - M. Merdan and T. Y. Khan, “Homotopy perturbation method for solving viral dynamical model,”
*Fen Bilimleri Dergisi*, vol. 31, pp. 65–77, 2010. View at Google Scholar - L. M. Petrovic, D. T. Spasic, and T. M. Atanackovic, “On a mathematical model of a human root dentin,”
*Dental Materials*, vol. 21, pp. 125–128, 2005. View at Google Scholar - A. S. Perelson, “Modeling the interaction of the immune system with HIV,” in
*Mathematical and Statistical Approaches to AIDS Epidemiology*, vol. 83 of*Lecture Notes in Biomathematics*, pp. 350–370, Springer, Berlin, Germany, 1989. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - A. S. Perelson, D. E. Kirschner, and R. D. Boer, “Dynamics of HIV infection of CD4+ T cells,”
*Mathematical Biosciences*, vol. 114, pp. 81–125, 1993. View at Google Scholar - B. Ahmad and J. J. Nieto, “Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions,”
*Computers & Mathematics with Applications*, vol. 58, no. 9, pp. 1838–1843, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - X. Zhang, L. Liu, and Y. Wu, “Multiple positive solutions of a singular fractional differential equation with negatively perturbed term,”
*Mathematical and Computer Modelling*, vol. 55, no. 3-4, pp. 1263–1274, 2012. View at Publisher · View at Google Scholar - C. S. Goodrich, “Existence and uniqueness of solutions to a fractional difference equation with nonlocal conditions,”
*Computers & Mathematics with Applications*, vol. 61, no. 2, pp. 191–202, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - C. S. Goodrich, “Positive solutions to boundary value problems with nonlinear boundary conditions,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 75, no. 1, pp. 417–432, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - B. Ahmad and J. J. Nieto, “Existence results for higher order fractional differential inclusions with nonlocal boundary conditions,”
*Nonlinear Studies*, vol. 17, no. 2, pp. 131–138, 2010. View at Google Scholar · View at Zentralblatt MATH - X. Zhang and Y. Han, “Existence and uniqueness of positive solutions for higher order nonlocal fractional differential equations,”
*Applied Mathematics Letters*, vol. 25, no. 3, pp. 555–560, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - W. Jiang, “The existence of solutions to boundary value problems of fractional differential equations at resonance,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 74, no. 5, pp. 1987–1994, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - X. Zhang, L. Liu, and Y. Wu, “The eigenvalue problem for a singular higher order fractional differential equation involving fractional derivatives,”
*Applied Mathematics and Computation*, vol. 218, no. 17, pp. 8526–8536, 2012. View at Publisher · View at Google Scholar - X. Zhang, L. Liu, and Y. Wu, “Existence results for multiple positive solutions of nonlinear higher order perturbed fractional differential equations with derivatives,”
*Applied Mathematics and Computation*, vol. 219, no. 4, pp. 1420–1433, 2012. View at Publisher · View at Google Scholar - I. Podlubny,
*Fractional Differential Equations*, vol. 198 of*Mathematics in Science and Engineering*, Academic Press, San Diego, Calif, USA, 1999. - K. S. Miller and B. Ross,
*An Introduction to the Fractional Calculus and Fractional Differential Equations*, A Wiley-Interscience Publication, John Wiley & Sons, New York, NY, USA, 1993. - A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo,
*Theory and Applications of Fractional Differential Equations*, vol. 204, Elsevier Science B.V., Amsterdam, The Netherlands, 2006. - Z. Bai and H. Lü, “Positive solutions for boundary value problem of nonlinear fractional differential equation,”
*Journal of Mathematical Analysis and Applications*, vol. 311, no. 2, pp. 495–505, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - K. Deimling,
*Nonlinear Functional Analysis*, Springer, Berlin, Germany, 1985.