# On modeling two immune effectors two strain antigen interaction

- El-Sayed M Ahmed
^{1}and - Hala A El-Saka
^{2}Email author

**4**:6

https://doi.org/10.1186/1753-4631-4-6

© Ahmed and El-Saka; licensee BioMed Central Ltd. 2010

**Received: **18 August 2010

**Accepted: **25 November 2010

**Published: **25 November 2010

## Abstract

In this paper we consider the fractional order model with two immune effectors interacting with two strain antigen. The systems may explain the recurrence of some diseases e.g. tuberculosis (TB). The stability of equilibrium points are studied. Numerical solutions of this model are given. Using integer order system the system oscillates. Using fractional order system the system converges to a stable internal equilibrium. Ulam-Hyers stability of the system has been studied.

## Keywords

## 1 Introduction

Immune system (IS) is known to be multifunctional and multi-pathways i.e. a given function is performed by more than one effector. And each effector, typically perform more than one function [1]. This guarantees to a great extent the resilience of the immune network [2]. Also many antigens evolve with time hence they are multi strains. This explains why some diseases re-appear e.g. tuberculosis (Tb). Therefore modeling the interaction of two immune effectors with two strain antigen is an important problem.

The use of fractional-orders differential and integral operators in mathematical models has become increasingly widespread in recent years [3]. Several forms of fractional differential equations have been proposed in standard models.

Differential equations of fractional order have been the focus of many studies due to their frequent appearance in various applications in fluid mechanics, economic, viscoelasticity, biology, physics and engineering. Recently, a large amount of literatures developed concerning the application of fractional differential equations in nonlinear dynamics [3].

In this paper we study the fractional-order model with two immune effectors interacting with two strain antigen. In sec.2 we present the fractional-order model, study their equilibrium and their local stability and solve it numerically. In sec.3 the Ulam-Hyers stability is presented. In sec. 4 our conclusions are presented.

Now we give the definition of fractional-order integration and fractional-order differentiation:

**Definition 1**The fractional integral of order

*β*∈

*R*

^{+}of the function

*f*(

*t*)

*, t >*0 is defined by

*α*∈ (

*n −*1

*, n*) of

*f*(

*t*)

*, t >*0 is defined by

The following properties are some of the main ones of the fractional derivatives and integrals

Let *β, γ* ∈ *R*^{+} and *α* ∈ (0, 1). Then

(i) ${I}_{a}^{\beta}:{L}^{1}\to {L}^{1}$ and if *f* (*y*) ∈ *L* ^{1}, then ${I}_{a}^{\gamma}{I}_{a}^{\beta}f(y)={I}_{a}^{\gamma +\beta}f(y)$.

(ii) ${\mathrm{lim}}_{\beta \to n}{I}_{a}^{\beta}f(y)={I}_{a}^{n}f(y)$ uniformly on [a,b], *n* = 1, 2, 3*,...*, where ${I}_{a}^{1}f(y)={\displaystyle {\int}_{a}^{y}f(s)ds}$.

(iii) ${\mathrm{lim}}_{\beta \to 0}{I}_{a}^{\beta}f(y)=f(y)$ weakly.

(iv) If *f*(*y*) is absolutely continuous on [*a, b*], then ${\mathrm{lim}}_{\alpha \to 1}{D}_{*}^{\alpha}f(y)=\frac{df(y)}{dy}$.

(v) If *f*(*y*) = *k ≠ 0, k* is a constant, then ${D}_{*}^{\alpha}k=0$.

The following lemma can be easily proved (see [7]).

**Lemma 1** Let *β* ∈ (0, 1) if *f* ∈ *C*[0*, T* ], then *I*^{
β
}*f*(*t*)*|*_{
t
} _{= 0} = 0

### 2 The fractional-order model

*x*

_{1}

*, x*

_{2}be two strains of an antigen and

*y*

_{1}

*, y*

_{2}be two immune effectors then the fractionalorder IS model is given by:

where 0 *< α ≤* 1 and *a*_{1}*, a*_{2}*, b*_{1}*, b*_{2}*, c*_{1}*, c*_{2}*, d*_{1}*, d*_{2} are positive constants. The constants *c*_{1}*, c*_{2} are the mutation rates of the antigen strains.

There are several equilibria e.g. the zero equilibrium (0, 0, 0, 0), the interior equilibrium $\left(\frac{{d}_{1}}{{b}_{1}},\frac{{d}_{2}}{{b}_{2}},\frac{{c}_{1}{d}_{2}}{{b}_{2}{d}_{1}}+\frac{{a}_{1}}{{b}_{1}},\frac{{c}_{2}{d}_{1}}{{b}_{1}{d}_{2}}+\frac{{a}_{2}}{{b}_{2}}\right)\text{and}\left(\frac{{d}_{1}}{{b}_{1}},-\frac{{c}_{2}{d}_{1}}{{a}_{2}{b}_{1}},\frac{{a}_{1}{a}_{2}-{c}_{1}{c}_{2}}{{a}_{2}{b}_{1}},0\right),\left(-\frac{{c}_{1}{d}_{2}}{{a}_{1}{b}_{2}},\frac{{d}_{2}}{{b}_{2}},0,\frac{{a}_{1}{a}_{2}-{c}_{1}{c}_{2}}{{a}_{1}{b}_{2}}\right).$

It is direct to see that the zero solution is unstable (notice that by definition *a*_{1} *> > c*_{1}*, a*_{2} *> > c*_{2}*, b*_{1} *> a*_{1}*, b*_{1} *> d*_{1}*, b*_{2} *> a*_{2}*, b*_{2} *> d*_{2}).

*a*

_{1}= 1.0

*, a*

_{2}= 1.0

*, b*

_{1}= 2.0

*, b*

_{2}= 2.0

*, c*

_{1}= 1.0

*×*10

^{−3}

*, c*

_{2}= 1.0

*×*10

*−*3

*, d*

_{1}= 1.0

*, d*

_{2}= 1.0

*, x*

_{1}(0) = 0.3

*, x*

_{2}(0) = 0.5

*, y*

_{1}(0) = 0.5

*, y*

_{2}(0) = 0.3 and different 0

*< α*≤ 1.

In Figure 1 we take *α* = 1.0. In Figure 2 we take *α* = 0.9. In Figure 3 we take *α* = 0.85. In Figure 4 we take *α* = 0.8. In Figure 5 we take *α* = 1.0. In Figure 6 we take *α* = 0.9. In Figure 7 we take *α* = 0.85. In Figure 8 we take *α* = 0.8. The relation between the two strains of an antigen *x*_{1}(*t*) and *x*_{2}(*t*) are given in Figures 1234 for different 0 *< α* ≤ 1. The relation between the two immune effectors *y*_{1}(*t*) and *y*_{2}(*t*) are given in Figures 5678 for different 0 *< α* ≤ 1.

The Figures 12345678 show that by using the integer order system (*α* = 1) the system oscillates (Figures 1 and 5) and by using the fractional order system (0 *< α <* 1) the system converges to a stable internal equilibrium $\left(\frac{{d}_{1}}{{b}_{1}},\frac{{d}_{2}}{{b}_{2}},\frac{{c}_{1}{d}_{2}}{{b}_{2}{d}_{1}}+\frac{{a}_{1}}{{b}_{1}},\frac{{c}_{2}{d}_{1}}{{b}_{1}{d}_{2}}+\frac{{a}_{2}}{{b}_{2}}\right)=(0.5,0.5,0.5005,0.5005)$ (Figures 234, 678). In Figures 234 the system converges (0.5, 0.5). In Figures 678 the system converges to (0.5005, 0.5005).

### 3 Ulam-Hyers stability for systems of equations

*y*(

*t*) which is close to solve an equation. Is there an exact solution

*x*(

*t*) of the equation which is close to

*y*(

*t*)?. Mathematically the following system can be studied ([10], [11]):

the system (5) is Ulam-Hyers (UH) stable if it has an exact solution and if ∀*ε >* 0 there is

*δ >* 0 such that if *x*_{
a
} (*t*) is an approximation for the solution of (5) then there is an exact

*x*(

*t*) of (5) which is close to

*x*

_{ a }i.e.,

This definition has applicable significance since it means that if one is studying an UH stable system then one does not have to reach the exact solution (which usually is quite difficult or time consuming). All what is required is to get a function which satisfies (6). UH stability guarantees that there is a close exact solution. This is quite useful in many applications e.g. numerical analysis, optimization, biology and economics etc., where finding the exact solution is quite difficult. It also helps, if the stochastic effects are small, to use deterministic model to approximate a stochastic one.

We begin by realizing that UH stability is independent of the more familiar Lyapunov stability which states that the system (5) is Lyapunov stable if both *x*(*t*)*, y*(*t*) are exact solutions of (5) and for all *ε >* 0 there is *δ >* 0 such that *| x*(0) *− y*(0) *|< δ* implies *| x*(*t*) *− y*(*t*) *|< ε* for all *t >* 0.

whose *x* = 0 solution is Lyapunov unstable while it is UH stable [11].

UH stability has been studied for functional equations [12], and linear differential equations [13].

*h*(

*t*) is small hence linearize in it. Substituting in (5), (6) one finally gets

Thus we have:

**Proposition (1):**The system (5) is locally UH stable if there is a constant

*K*such that

the system is Ulam-Hyers stable if the Jacobian matrix of *f* with respect to *x*_{1}*, x*_{2}*,..., x*_{
n
} is bounded non-singular. Applying to the model (3) we conclude that the model (3) is Ulam-Hyers stable (with *α* = 1).

## 4 Conclusions

Concluding, the model represents two immune effectors interacting with two strain antigen. The systems may explain the recurrence of some diseases e.g. tuberculosis (TB). Using integer order system the system oscillates. Using fractional order system the system converges to a stable internal equilibrium. Ulam-Hyers stability of the system has been studied.

Now we like to argue that fractional order equations are more suitable than integer order ones in modeling biological, economic and social systems (generally complex adaptive systems) where memory effects are important. From equation (1) it is clear that the fractional order derivative at time *t* depends on the state of the system at all time *t′ ≤ t* hence it naturally accomodates the memory effects. This relation is discussed further in [14].

Also it is known that fractional order derivatives is naturally related to fractals [15]. It is known that fractal structures are abundant in complex adaptive systems.

It is important to notice that Immune system (IS) is known to be multifunctional and multi-pathways i.e. a given function is performed by more than one effector. And each effector, typically perform more than one function [1]. Therefore realistic models require more than one effector for the immune system [16]. This aspect has been included in our model.

## Declarations

### Acknowledgements

We thank the referees for their comments.

## Authors’ Affiliations

## References

- Ahmed E: Comments on introducing the immune system, Nonlin. Med Biophys. 2009Google Scholar
- Whitcare J, Bender A: Network Buffering. ArXiv, nonlin 0912.1961. 2009Google Scholar
- Podlubny I: Fractional differential equations. 1999, Academic PressGoogle Scholar
- El-Sayed AMA: Fractional differential-difference equations. Journal of Fractional Calculus. 1996, 10: 101-106.MathSciNetMATHGoogle Scholar
- El-Sayed AMA: Nonlinear functional differential equations of arbitrary orders, Nonlinear Analysis: Theory, Methods and Applications. 1998, 33 (2): 181-186.Google Scholar
- El-Sayed AMA, Gaafar FM: Fractional order differential equations with memory and fractional-order relayation-oscillation model, (PU.M.A). Pure Math. and Appl. 2001, 12:Google Scholar
- El-Sayed AMA, Gaafar FM, Hashem HH: On the mayimal and minimal solutions of arbitrary orders nonlinear functional integral and differential equations. Math. Sci. Res. J. 2004, 8 (11): 336-348.MathSciNetMATHGoogle Scholar
- Gorenflo R, Mainardi F: Fractional Calculus: Integral and Differential Equations of Fractional Order, in A. Carpinteri and F. Mainardi (Eds). Fractals and Fractional Calculus in Continuum Mechanics, Springer, Wien. 1997, 223-276.View ArticleGoogle Scholar
- Podlubny I, El-Sayed AMA: On two definitions of fractional calculus, Solvak Academy of science-institute of eyperimental phys. UEF-03-96 ISBN 80-7099-252-2. 1996Google Scholar
- Hyers HD: On the stability of linear functional equations. Proc. Natl. Acad. Sci. USA. 1941, 27: 222-10.1073/pnas.27.4.222.View ArticleADSMathSciNetGoogle Scholar
- Miura T, Takahashi SE, Choda H: On Hyers-Ulam stability of real continuous function valued differentiable map. Tokyo J.Math. 2001, 24: 467-10.3836/tjm/1255958187.View ArticleMathSciNetMATHGoogle Scholar
- Rassias TM: On the stability of functional equations in Banach spaces. J. Math. Anal. Appl. 2000, 251-264.Google Scholar
- Li Y, Shen Y: Hyers-Ulamstability of nonhomogeneous linear differential equation of second order. Int J Math Mathl Sci. 2009, ID 576852Google Scholar
- Stanislavsky AA: Memory effects and macroscopic manifestation of randomness. Phys. Rev. 2000, 61: 4752-4759.ADSGoogle Scholar
- Katie G: Continuous nowhere differentiable functions. Spurrier. 2004, [http://people.virginia.edu/˜kgs5c/seniorthesis.pdf]Google Scholar
- Arnaout R, Nowak MA: Competitive coexistence in antiviral immunity. J theor Biol. 2000, 204: 431-441. 10.1006/jtbi.2000.2027.View ArticleGoogle 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 (<url>http://creativecommons.org/licenses/by/2.0</url>), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.