
We present a theoretical study of bladder cancer treatment with Bacillus Calmette-Guerin (BCG) and interleukin 2 (IL-2) using a system biology approach to translate the treatment process into a mathematical model. We investigated the influence of IL-2 on effector cell proliferation, presented as a distributed feedback control in integral form. The variables in the system of Ordinary Differential Equations (ODE) are the main participants in the immune response after BCG instillations: BCG, immune cells, tumor cells infected with BCG, and non-infected with BCG. IL-2 was involved in the tumor-immune response without adding a new equation. We use the idea of reducing the system of integro-differential equations (IDE) to a system of ODE and examine the local stability analysis of the tumor-free equilibrium state of the model. A significant result of the model analysis is the requirements for the IL-2 dose and duration, depending on the treatment regimen and tumor growth. We proved that the BCG+IL-2 treatment protocol is more effective in this model, using the spectral radius method. Moreover, we introduced a parameter for individual control of IL-2 in each injection using the Cauchy matrix for the IDE system, and we obtained conditions under which this system would be exponentially stable in a tumor-free equilibrium.
Citation: Irina Volinsky, Svetlana Bunimovich-Mendrazitsky. Mathematical analysis of tumor-free equilibrium in BCG treatment with effective IL-2 infusion for bladder cancer model[J]. AIMS Mathematics, 2022, 7(9): 16388-16406. doi: 10.3934/math.2022896
[1] | Ahmed Ghezal, Mohamed Balegh, Imane Zemmouri . Solutions and local stability of the Jacobsthal system of difference equations. AIMS Mathematics, 2024, 9(2): 3576-3591. doi: 10.3934/math.2024175 |
[2] | Hashem Althagafi, Ahmed Ghezal . Solving a system of nonlinear difference equations with bilinear dynamics. AIMS Mathematics, 2024, 9(12): 34067-34089. doi: 10.3934/math.20241624 |
[3] | M. T. Alharthi . Correction: On the solutions of some systems of rational difference equations. AIMS Mathematics, 2025, 10(2): 2277-2278. doi: 10.3934/math.2025105 |
[4] | M. T. Alharthi . On the solutions of some systems of rational difference equations. AIMS Mathematics, 2024, 9(11): 30320-30347. doi: 10.3934/math.20241463 |
[5] | Eunjung Lee, Dojin Kim . Stability analysis of the implicit finite difference schemes for nonlinear Schrödinger equation. AIMS Mathematics, 2022, 7(9): 16349-16365. doi: 10.3934/math.2022893 |
[6] | Shulan Kong, Chengbin Wang, Yawen Sun . A recursive filter for a class of two-dimensional nonlinear stochastic systems. AIMS Mathematics, 2025, 10(1): 1741-1756. doi: 10.3934/math.2025079 |
[7] | Yeyang Jiang, Zhihua Liao, Di Qiu . The existence of entire solutions of some systems of the Fermat type differential-difference equations. AIMS Mathematics, 2022, 7(10): 17685-17698. doi: 10.3934/math.2022974 |
[8] | Abdulghani R. Alharbi . Traveling-wave and numerical solutions to nonlinear evolution equations via modern computational techniques. AIMS Mathematics, 2024, 9(1): 1323-1345. doi: 10.3934/math.2024065 |
[9] | Ibraheem M. Alsulami, E. M. Elsayed . On a class of nonlinear rational systems of difference equations. AIMS Mathematics, 2023, 8(7): 15466-15485. doi: 10.3934/math.2023789 |
[10] | Nan Li, Jiachuan Geng, Lianzhong Yang . Some results on transcendental entire solutions to certain nonlinear differential-difference equations. AIMS Mathematics, 2021, 6(8): 8107-8126. doi: 10.3934/math.2021470 |
We present a theoretical study of bladder cancer treatment with Bacillus Calmette-Guerin (BCG) and interleukin 2 (IL-2) using a system biology approach to translate the treatment process into a mathematical model. We investigated the influence of IL-2 on effector cell proliferation, presented as a distributed feedback control in integral form. The variables in the system of Ordinary Differential Equations (ODE) are the main participants in the immune response after BCG instillations: BCG, immune cells, tumor cells infected with BCG, and non-infected with BCG. IL-2 was involved in the tumor-immune response without adding a new equation. We use the idea of reducing the system of integro-differential equations (IDE) to a system of ODE and examine the local stability analysis of the tumor-free equilibrium state of the model. A significant result of the model analysis is the requirements for the IL-2 dose and duration, depending on the treatment regimen and tumor growth. We proved that the BCG+IL-2 treatment protocol is more effective in this model, using the spectral radius method. Moreover, we introduced a parameter for individual control of IL-2 in each injection using the Cauchy matrix for the IDE system, and we obtained conditions under which this system would be exponentially stable in a tumor-free equilibrium.
This paper is devoted to study the expressions forms of the solutions and periodic nature of the following third-order rational systems of difference equations
xn+1=yn−1znzn±xn−2,yn+1=zn−1xnxn±yn−2, zn+1=xn−1ynyn±zn−2, |
with initial conditions are non-zero real numbers.
In the recent years, there has been great concern in studying the systems of difference equations. One of the most important reasons for this is a exigency for some mechanization which can be used in discussing equations emerge in mathematical models characterizing real life situations in economic, genetics, probability theory, psychology, population biology and so on.
Difference equations display naturally as discrete peer and as numerical solutions of differential equations having more applications in ecology, biology, physics, economy, and so forth. For all that the difference equations are quite simple in expressions, it is frequently difficult to realize completely the dynamics of their solutions see [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19] and the related references therein.
There are some papers dealed with the difference equations systems, for example, The periodic nature of the solutions of the nonlinear difference equations system
An+1=1Cn,Bn+1=BnAn−1Bn−1,Cn+1=1An−1, |
has been studied by Cinar in [7].
Almatrafi [3] determined the analytical solutions of the following systems of rational recursive equations
xn+1=xn−1yn−3yn−1(±1±xn−1yn−3),yn+1=yn−1xn−3xn−1(±1±yn−1xn−3). |
In [20], Khaliq and Shoaib studied the local and global asymptotic behavior of non-negative equilibrium points of a three-dimensional system of two order rational difference equations
xn+1=xn−1ε+xn−1yn−1zn−1,yn+1=yn−1ζ+xn−1yn−1zn−1, zn+1=zn−1η+xn−1yn−1zn−1. |
In [9], Elabbasy et al. obtained the form of the solutions of some cases of the following system of difference equations
xn+1=a1+a2yna3zn+a4xn−1zn, yn+1=b1zn−1+b2znb3xnyn+b4xnyn−1,zn+1=c1zn−1+c2znc3xn−1yn−1+c4xn−1yn+c5xnyn. |
In [12], Elsayed et al. have got the solutions of the systems of rational higher order difference equations
An+1=1An−pBn−p,Bn+1=An−pBn−pAn−qBn−q, |
and
An+1=1An−pBn−pCn−p,Bn+1=An−pBn−pCn−pAn−qBn−qCn−q,Cn+1=An−qBn−qCn−qAn−rBn−rCn−r. |
Kurbanli [25,26] investigated the behavior of the solutions of the following systems
An+1=An−1An−1Bn−1,Bn+1=Bn−1Bn−1An−1, Cn+1=1CnBn,An+1=An−1An−1Bn−1,Bn+1=Bn−1Bn−1An−1, Cn+1=Cn−1Cn−1Bn−1. |
In [32], Yalçınkaya has obtained the conditions for the global asymptotically stable of the system
An+1=BnAn−1+aBn+An−1,Bn+1=AnBn−1+aAn+Bn−1. |
Zhang et al. [39] investigated the persistence, boundedness and the global asymptotically stable of the solutions of the following system
Rn=A+1Qn−p, Qn=A+Qn−1Rn−rQn−s. |
Similar to difference equations and systems were studied see [21,22,23,24,27,28,29,30,31,32,33,34,35,36,37,38].
In this section, we obtain the expressions form of the solutions of the following three dimension system of difference equations
xn+1=yn−1znzn+xn−2,yn+1=zn−1xnxn+yn−2, zn+1=xn−1ynyn+zn−2, | (1) |
where n∈N0 and the initial conditions are non-zero real numbers.
Theorem 1. We assume that {xn,yn,zn} are solutions of system (1).Then
x6n−2=ak3nn−1∏i=0(a+(6i)k)(a+(6i+2)k)(a+(6i+4)k),x6n−1=bf3nn−1∏i=0(g+(6i+1)f)(g+(6i+3)f)(g+(6i+5)f),x6n=c3n+1n−1∏i=0(d+(6i+2)c)(d+(6i+4)c)(d+(6i+6)c),x6n+1=ek3n+1(a+k)n−1∏i=0(a+(6i+3)k)(a+(6i+5)k)(a+(6i+7)k), |
x6n+2=f3n+2(g+2f)n−1∏i=0(g+(6i+4)f)(g+(6i+6)f)(g+(6i+8)f),x6n+3=hc3n+2(d+c)(d+3c)n−1∏i=0(d+(6i+5)c)(d+(6i+7)c)(d+(6i+9)c), |
y6n−2=dc3nn−1∏i=0(d+(6i)c)(d+(6i+2)c)(d+(6i+4)c),y6n−1=ek3nn−1∏i=0(a+(6i+1)k)(a+(6i+3)k)(a+(6i+5)k),y6n=f3n+1n−1∏i=0(g+(6i+2)f)(g+(6i+4)f)(g+(6i+6)f),y6n+1=hc3n+1(d+c)n−1∏i=0(d+(6i+3)c)(d+(6i+5)c)(d+(6i+7)c),y6n+2=k3n+2(a+2k)n−1∏i=0(a+(6i+4)k)(a+(6i+6)k)(a+(6i+8)k),y6n+3=bf3n+2(g+f)(g+3f)n−1∏i=0(g+(6i+5)f)(g+(6i+7)f)(g+(6i+9)f), |
and
z6n−2=gf3nn−1∏i=0(g+(6i)f)(g+(6i+2)f)(g+(6i+4)f),z6n−1=hc3nn−1∏i=0(d+(6i+1)c)(d+(6i+3)c)(d+(6i+5)c),z6n=k3n+1n−1∏i=0(a+(6i+2)k)(a+(6i+4)k)(a+(6i+6)k),z6n+1=bf3n+1(g+f)n−1∏i=0(g+(6i+3)f)(g+(6i+5)f)(g+(6i+7)f), |
z6n+2=c3n+2(d+2c)n−1∏i=0(d+(6i+4)c)(d+(6i+6)c)(d+(6i+8)c),z6n+3=ek3n+2(a+k)(a+3k)n−1∏i=0(a+(6i+5)k)(a+(6i+7)k)(a+(6i+9)k), |
where x−2=a, x−1=b, x0=c, y−2=d, y−1=e, y0=f, z−2=g, z−1=h and z0=k.
Proof. For n=0 the result holds. Now assume that n>1 and that our assumption holds for n−1, that is,
x6n−8=ak3n−3n−2∏i=0(a+(6i)k)(a+(6i+2)k)(a+(6i+4)k),x6n−7=bf3n−3n−2∏i=0(g+(6i+1)f)(g+(6i+3)f)(g+(6i+5)f),x6n−6=c3n−2n−2∏i=0(d+(6i+2)c)(d+(6i+4)c)(d+(6i+6)c),x6n−5=ek3n−2(a+k)n−2∏i=0(a+(6i+3)k)(a+(6i+5)k)(a+(6i+7)k),x6n−4=f3n−1(g+2f)n−2∏i=0(g+(6i+4)f)(g+(6i+6)f)(g+(6i+8)f),x6n−3=hc3n−1(d+c)(d+3c)n−2∏i=0(d+(6i+5)c)(d+(6i+7)c)(d+(6i+9)c), |
y6n−8=dc3n−3n−2∏i=0(d+(6i)c)(d+(6i+2)c)(d+(6i+4)c),y6n−7=ek3n−3n−2∏i=0(a+(6i+1)k)(a+(6i+3)k)(a+(6i+5)k),y6n−6=f3n−2n−2∏i=0(g+(6i+2)f)(g+(6i+4)f)(g+(6i+6)f), |
y6n−5=hc3n−2(d+c)n−2∏i=0(d+(6i+3)c)(d+(6i+5)c)(d+(6i+7)c),y6n−4=k3n−1(a+2k)n−2∏i=0(a+(6i+4)k)(a+(6i+6)k)(a+(6i+8)k),y6n−3=bf3n−1(g+f)(g+3f)n−2∏i=0(g+(6i+5)f)(g+(6i+7)f)(g+(6i+9)f), |
and
z6n−8=gf3n−3n−2∏i=0(g+(6i)f)(g+(6i+2)f)(g+(6i+4)f),z6n−7=hc3n−3n−2∏i=0(d+(6i+1)c)(d+(6i+3)c)(d+(6i+5)c),z6n−6=k3n−2n−2∏i=0(a+(6i+2)k)(a+(6i+4)k)(a+(6i+6)k),z6n−5=bf3n−2(g+f)n−2∏i=0(g+(6i+3)f)(g+(6i+5)f)(g+(6i+7)f),z6n−4=c3n−1(d+2c)n−2∏i=0(d+(6i+4)c)(d+(6i+6)c)(d+(6i+8)c),z6n−3=ek3n−1(a+k)(a+3k)n−2∏i=0(a+(6i+5)k)(a+(6i+7)k)(a+(6i+9)k). |
It follows from Eq (1) that
x6n−2=y6n−4z6n−3z6n−3+x6n−5=(k3n−1(a+2k)n−2∏i=0(a+(6i+4)k)(a+(6i+6)k)(a+(6i+8)k) )(ek3n−1(a+k)(a+3k)n−2∏i=0(a+(6i+5)k)(a+(6i+7)k)(a+(6i+9)k) )(ek3n−1(a+k)(a+3k)n−2∏i=0(a+(6i+5)k)(a+(6i+7)k)(a+(6i+9)k) )+(ek3n−2(a+k)n−2∏i=0(a+(6i+3)k)(a+(6i+5)k)(a+(6i+7)k) )=(k3n(a+2k)n−2∏i=0(a+(6i+4)k)(a+(6i+6)k)(a+(6i+8)k))(a+3k)n−2∏i=0(a+(6i+9)k)[(k(a+3k)n−2∏i=0(a+(6i+9)k))+(1n−2∏i=0(a+(6i+3)k))]=(k3n(a+2k)n−2∏i=0(a+(6i+4)k)(a+(6i+6)k)(a+(6i+8)k))[k+((a+3k)n−2∏i=0(a+(6i+9)k)n−2∏i=0(a+(6i+3)k))]=(k3n(a+2k)n−2∏i=0(a+(6i+4)k)(a+(6i+6)k)(a+(6i+8)k))[k+(a+(6n−3)k)]=ak3na(a+2k)(a+(6n−2)k)n−2∏i=0(a+(6i+4)k)(a+(6i+6)k)(a+(6i+8)k). |
Then we see that
x6n−2=k3nn−1∏i=0(a+(6i)k)(a+(6i+2)k)(a+(6i+4)k). |
Also, we see from Eq (1) that
y6n−2=z6n−4x6n−3x6n−3+y6n−5=(c3n−1(d+2c)n−2∏i=0(d+(6i+4)c)(d+(6i+6)c)(d+(6i+8)c) )(hc3n−1(d+c)(d+3c)n−2∏i=0(d+(6i+5)c)(d+(6i+7)c)(d+(6i+9)c) )(hc3n−1(d+c)(d+3c)n−2∏i=0(d+(6i+5)c)(d+(6i+7)c)(d+(6i+9)c) )+(hc3n−2(d+c)n−2∏i=0(d+(6i+3)c)(d+(6i+5)c)(d+(6i+7)c) )=(c3n(d+2c)n−2∏i=0(d+(6i+4)c)(d+(6i+6)c)(d+(6i+8)c))(d+3c)n−2∏i=0(d+(6i+9)c)[(c(d+3c)n−2∏i=0(d+(6i+9)c))+(1n−2∏i=0(d+(6i+3)c))]=(c3n(d+2c)n−2∏i=0(d+(6i+4)c)(d+(6i+6)c)(d+(6i+8)c))[c+d+(6n−3)c]=c3n[d+(6n−2)c](d+2c)n−2∏i=0(d+(6i+4)c)(d+(6i+6)c)(d+(6i+8)c). |
Then
y6n−2=dc3nn−1∏i=0(d+(6i)c)(d+(6i+2)c)(d+(6i+4)c). |
Finally from Eq (1), we see that
z6n−2=x6n−4y6n−3y6n−3+z6n−5=(f3n−1(g+2f)n−2∏i=0(g+(6i+4)f)(g+(6i+6)f)(g+(6i+8)f) )(bf3n−1(g+f)(g+3f)n−2∏i=0(g+(6i+5)f)(g+(6i+7)f)(g+(6i+9)f) )(bf3n−1(g+f)(g+3f)n−2∏i=0(g+(6i+5)f)(g+(6i+7)f)(g+(6i+9)f) )+(bf3n−2(g+f)n−2∏i=0(g+(6i+3)f)(g+(6i+5)f)(g+(6i+7)f) )=(f3n(g+2f)n−2∏i=0(g+(6i+4)f)(g+(6i+6)f)(g+(6i+8)f))(g+3f)n−2∏i=0(g+(6i+9)f)[(f(g+3f)n−2∏i=0(g+(6i+9)f))+(1n−2∏i=0(g+(6i+3)f))]=(f3n(g+2f)n−2∏i=0(g+(6i+4)f)(g+(6i+6)f)(g+(6i+8)f))[f+((g+3f)n−2∏i=0(g+(6i+9)f)n−2∏i=0(g+(6i+3)f))]=(f3n(g+2f)n−2∏i=0(g+(6i+4)f)(g+(6i+6)f)(g+(6i+8)f))[f+(g+(6n−3)f)]=f3n(g+(6n−2)f)(g+2f)n−2∏i=0(g+(6i+4)f)(g+(6i+6)f)(g+(6i+8)f). |
Thus
z3n−2=gf3nn−1∏i=0(g+(6i)f)(g+(6i+2)f)(g+(6i+4)f). |
By similar way, one can show the other relations. This completes the proof.
Lemma 1. Let {xn,yn,zn} be a positive solution of system (1), then all solution of (1) is bounded and approaching to zero.
Proof. It follows from Eq (1) that
xn+1=yn−1znzn+xn−2≤yn−1, yn+1=zn−1xnxn+yn−2≤zn−1,zn+1=xn−1ynyn+zn−2≤xn−1, |
we see that
xn+4≤yn+2, yn+2≤zn, zn≤xn−2, ⇒ xn+4<xn−2,yn+4≤zn+2, zn+2≤xn, xn≤yn−2, ⇒ yn+4<yn−2,zn+4≤xn+2, xn+2≤yn, yn≤zn−2, ⇒ zn+4<zn−2, |
Then all subsequences of {xn,yn,zn} (i.e., for {xn} are {x6n−2}, {x6n−1}, {x6n}, {x6n+1}, {x6n+2}, {x6n+3} are decreasing and at that time are bounded from above by K,L and M since K=max{x−2,x−1,x0,x1,x2,x3}, L=max{y−2,y−1,y0,y1,y2,y3} and M=max{z−2,z−1,z0,z1,z2,z3}.
Example 1. We assume an interesting numerical example for the system (1) with x−2=−.22,x−1=−.4, x0=.12,y−2=−.62, y−1=4, y0=.3,z−2=.4,z−1=.53 andz0=−2. (See Figure 1).
In this section, we get the solution's form of the following system of difference equations
xn+1=yn−1znzn+xn−2,yn+1=zn−1xnxn+yn−2, zn+1=xn−1ynyn−zn−2, | (2) |
where n∈N0 and the initial values are non-zero real numbers with x−2≠±z0,≠−2z0, z−2≠y0,≠2y0,≠3y0 and y−2≠2x0,≠±x0.
Theorem 2. Assume that {xn,yn,zn} are solutions of (2). Then for n=0,1,2,...,
x6n−2=(−1)nk3na2n−1(a+2k)n, x6n−1=(−1)nbf3n(f−g)2n(3f−g)n, x6n=(−1)nc3n+1d2n(2c−d)n,x6n+1=ek3n+1(a−k)n(a+k)2n+1, x6n+2=(−1)nf3n+2gn(2f−g)2n+1, x6n+3=(−1)nhc3n+2(c−d)2n+1(c+d)n+1, |
y6n−2=(−1)nc3nd2n−1(2c−d)n, y6n−1=ek3n(a−k)n(a+k)2n, y6n=(−1)nf3n+1gn(2f−g)2n,y6n+1=(−1)nhc3n+1(c−d)2n(c+d)n+1, y6n+2=(−1)nk3n+2a2n(a+2k)n+1, y6n+3=(−1)nbf3n+2(f−g)2n+1(3f−g)n+1, |
and
z6n−2=(−1)nf3ngn−1(2f−g)2n, z6n−1=(−1)nhc3n(c−d)2n(c+d)n, z6n=(−1)nk3n+1a2n(a+2k)n,z6n+1=(−1)nbf3n+1(f−g)2n+1(3f−g)n, z6n+2=(−1)n+1c3n+2d2n+1(2c−d)n, z6n+3=−ek3n+2(a−k)n(a+k)2n+2, |
where x−2=a, x−1=b, x0=c, y−2=d, y−1=e, y0=f, z−2=g, z−1=h and z0=k.
Proof. The result is true for n=0. Now suppose that n>0 and that our claim verified for n−1. That is,
x6n−8=(−1)n−1k3n−3a2n−3(a+2k)n−1, x6n−7=(−1)n−1bf3n−3(f−g)2n−2(3f−g)n−1, x6n−6=(−1)n−1c3n−2d2n−2(2c−d)n−1,x6n−5=ek3n−2(a−k)n−1(a+k)2n−1, x6n−4=(−1)n−1f3n−1gn−1(2f−g)2n−1, x6n−3=(−1)n−1hc3n−1(c−d)2n−1(c+d)n, |
y6n−8=(−1)n−1c3n−3d2n−3(2c−d)n−1, y6n−7=ek3n−3(a−k)n−1(a+k)2n−2, y6n−6=(−1)n−1f3n−2gn−1(2f−g)2n−2,y6n−5=(−1)n−1hc3n−2(c−d)2n−2(c+d)n, y6n−4=(−1)n−1k3n−1a2n−2(a+2k)n, y6n−3=(−1)n−1bf3n−1(f−g)2n−1(3f−g)n, |
and
z6n−8=(−1)n−1f3n−3gn−2(2f−g)2n−2, z6n−7=(−1)n−1hc3n−3(c−d)2n−2(c+d)n−1, z6n−6=(−1)n−1k3n−2a2n−2(a+2k)n−1,z6n−5=(−1)n−1bf3n−2(f−g)2n−1(3f−g)n−1, z6n−4=(−1)nc3n−1d2n−1(2c−d)n−1, z6n−3=−ek3n−1(a−k)n−1(a+k)2n. |
Now from Eq (2), it follows that
x6n−2=y6n−4z6n−3z6n−3+x6n−5=((−1)n−1k3n−1a2n−2(a+2k)n)(−ek3n−1(a−k)n−1(a+k)2n)(−ek3n−1(a−k)n−1(a+k)2n)+(ek3n−2(a−k)n−1(a+k)2n−1)=((−1)nk3na2n−2(a+2k)n)(−k+a+k)=(−1)nk3na2n−1(a+2k)n,y6n−2=z6n−4x6n−3x6n−3+y6n−5=((−1)nc3n−1d2n−1(2c−d)n−1)((−1)n−1hc3n−1(c−d)2n−1(c+d)n)((−1)n−1hc3n−1(c−d)2n−1(c+d)n)+((−1)n−1hc3n−2(c−d)2n−2(c+d)n)=((−1)nc3nd2n−1(2c−d)n−1)c+c−d=(−1)nc3nd2n−1(2c−d)n,z6n−2=x6n−4y6n−3y6n−3−z6n−5=((−1)n−1f3n−1gn−1(2f−g)2n−1)((−1)n−1bf3n−1(f−g)2n−1(3f−g)n)((−1)n−1bf3n−1(f−g)2n−1(3f−g)n)−((−1)n−1bf3n−2(f−g)2n−1(3f−g)n−1)=((−1)n−1f3ngn−1(2f−g)2n−1)(f−3f+g)=(−1)nf3ngn−1(2f−g)2n. |
Also, we see from Eq (2) that
x6n−1=y6n−3z6n−2z6n−2+x6n−4=((−1)n−1bf3n−1(f−g)2n−1(3f−g)n)((−1)nf3ngn−1(2f−g)2n)((−1)nf3ngn−1(2f−g)2n)+((−1)n−1f3n−1gn−1(2f−g)2n−1)=((−1)nbf3n(f−g)2n−1(3f−g)n)(−f+2f−g)=(−1)nbf3n(f−g)2n(3f−g)n,y6n−1=z6n−3x6n−2x6n−2+y6n−4=(−ek3n−1(a−k)n−1(a+k)2n)((−1)nk3na2n−1(a+2k)n)((−1)nk3na2n−1(a+2k)n)+((−1)n−1k3n−1a2n−2(a+2k)n)=(ek3n(a−k)n−1(a+k)2n)−k+a=ek3n(a−k)n(a+k)2n,z6n−1=x6n−3y6n−2y6n−2−z6n−4=((−1)n−1hc3n−1(c−d)2n−1(c+d)n)((−1)nc3nd2n−1(2c−d)n)((−1)nc3nd2n−1(2c−d)n)−((−1)nc3n−1d2n−1(2c−d)n−1)=((−1)n−1hc3n(c−d)2n−1(c+d)n)c−(2c−d)=(−1)nhc3n(c−d)2n(c+d)n. |
Also, we can prove the other relations.
Example 2. See below Figure 2 for system (2) with the initial conditions x−2=11,x−1=5, x0=13,y−2=6, y−1=7, y0=3,z−2=14, z−1=9 andz0=2.
Here, we obtain the form of solutions of the system
xn+1=yn−1znzn+xn−2,yn+1=zn−1xnxn−yn−2, zn+1=xn−1ynyn+zn−2, | (3) |
where n∈N0 and the initial values are non-zero real numbers with x−2≠±z0,≠2z0, z−2≠±y0,≠−2y0 and y−2≠x0,≠2x0,≠3x0.
Theorem 3. If {xn,yn,zn} are solutions of system (3) where x−2=a, x−1=b, x0=c, y−2=d, y−1=e, y0=f, z−2=g, z−1=h and z0=k. Then for n=0,1,2,...,
x6n−2=k3na2n−1(a−2k)n, x6n−1=(−1)nbf3n(f−g)n(f+g)2n, x6n=(−1)nc3n+1dn(d−2c)2n,x6n+1=(−1)nek3n+1(a−k)2n(a+k)n+1, x6n+2=(−1)nf3n+2g2n(2f+g)n+1, x6n+3=(−1)nhc3n+2(c−d)2n+1(3c−d)n+1, |
y6n−2=(−1)nc3ndn−1(d−2c)2n, y6n−1=(−1)nek3n(a−k)2n(a+k)n, y6n=(−1)nf3n+1g2n(2f+g)n,y6n+1=(−1)nhc3n+1(c−d)2n+1(3c−d)n, y6n+2=−k3n+2a2n+1(a−2k)n, y6n+3=(−1)nbf3n+2(f−g)n(f+g)2n+2, |
and
z6n−2=(−1)nf3ng2n−1(2f+g)n, z6n−1=(−1)nhc3n(c−d)2n(3c−d)n, z6n=k3n+1a2n(a−2k)n,z6n+1=(−1)nbf3n+1(f−g)n(f+g)2n+1, z6n+2=(−1)nc3n+2dn(2c−d)2n+1, z6n+3=(−1)n+1ek3n+2(a−k)2n+1(a+k)n+1. |
Proof. As the proof of Theorem 2 and so will be left to the reader.
Example 3. We put the initials x−2=8,x−1=15, x0=13,y−2=6,y−1=7, y0=3,z−2=14,z−1=19 andz0=2, for the system (3), see Figure 3.
The following systems can be treated similarly.
In this section, we deal with the solutions of the following system
xn+1=yn−1znzn−xn−2,yn+1=zn−1xnxn+yn−2, zn+1=xn−1ynyn+zn−2, | (4) |
where n∈N0 and the initial values are non-zero real with x−2≠z0,≠2z0,≠3z0, z−2≠±y0,≠2y0 and y−2≠±x0,≠−2x0.
Theorem 4. The solutions of system (4) are given by
x6n−2=(−1)nk3nan−1(a−2k)2n, x6n−1=(−1)nbf3n(f−g)2n(f+g)n, x6n=(−1)nc3n+1d2n(d+2c)n,x6n+1=−ek3n+1(a−k)2n+1(a−3k)n, x6n+2=(−1)n+1f3n+2g2n+1(2f−g)n, x6n+3=(−1)n+1hc3n+2(c−d)n(c+d)2n+2, |
y6n−2=(−1)nc3nd2n−1(d+2c)n, y6n−1=ek3n(a−k)2n(a−3k)n, y6n=(−1)nf3n+1g2n(2f−g)n,y6n+1=(−1)nhc3n+1(c+d)2n+1(c−d)n, y6n+2=−k3n+2an(a−2k)2n+1, y6n+3=(−1)nbf3n+2(f−g)2n+1(f+g)n+1, |
and
z6n−2=(−1)nf3ng2n−1(2f−g)n, z6n−1=(−1)nhc3n(c+d)2n(c−d)n, z6n=(−1)nk3n+1an(a−2k)2n,z6n+1=(−1)nbf3n+1(f−g)2n(f+g)n+1, z6n+2=(−1)nc3n+2d2n(2c+d)n+1, z6n+3=ek3n+2(a−k)2n+1(a−3k)n+1, |
where x−2=a, x−1=b, x0=c, y−2=d, y−1=e, y0=f, z−2=g, z−1=h and z0=k.
Example 4. Figure 4 shows the behavior of the solution of system (4) with x−2=18,x−1=−15, x0=3,y−2=6, y−1=.7, y0=−3, z−2=4,z−1=−9 andz0=5.
In this section, we obtain the solutions of the difference system
xn+1=yn−1znzn−xn−2,yn+1=zn−1xnxn−yn−2, zn+1=xn−1ynyn−zn−2, | (5) |
where the initials are arbitrary non-zero real numbers with x−2≠z0, z−2≠y0 and y−2≠x0.
Theorem 5. If {xn,yn,zn} are solutions of system (5) where x−2=a, x−1=b, x0=c, y−2=d, y−1=e, y0=f, z−2=g, z−1=h and z0=k. Then
x6n−2=k3na3n−1, x6n−1=bf3n(f−g)3n, x6n=c3n+1d3n,x6n+1=ek3n+1(k−a)3n+1, x6n+2=f3n+2g3n+1, x6n+3=hc3n+2(c−d)3n+2, |
y6n−2=c3nd3n−1, y6n−1=ek3n(k−a)3n, y6n=f3n+1g3n,y6n+1=hc3n+1(c−d)3n+1, y6n+2=k3n+2a3n+1, y6n+3=bf3n+2(f−g)3n+2, |
and
z6n−2=f3ng3n−1, z6n−1=hc3n(c−d)3n, z6n=k3n+1a3n,z6n+1=bf3n+1(f−g)3n+1, z6n+2=c3n+2d3n+1, z6n+3=ek3n+2(k−a)3n+2. |
Example 5. Figure 5 shows the dynamics of the solution of system (5) with x−2=18,x−1=−15,x0=3,y−2=6,y−1=.7, y0=−3,z−2=4,z−1=−9 andz0=5.
This paper discussed the expression's form and boundedness of some systems of rational third order difference equations. In Section 2, we studied the qualitative behavior of system xn+1=yn−1znzn+xn−2,yn+1=zn−1xnxn+yn−2, zn+1=xn−1ynyn+zn−2, first we have got the form of the solutions of this system, studied the boundedness and gave numerical example and drew it by using Matlab. In Section 3, we have got the solution's of the system xn+1=yn−1znzn+xn−2,yn+1=zn−1xnxn+yn−2, zn+1=xn−1ynyn−zn−2, and take a numerical example. In Sections 4–6, we obtained the solution of the following systems respectively, xn+1=yn−1znzn+xn−2,yn+1=zn−1xnxn−yn−2, zn+1=xn−1ynyn+zn−2, xn+1=yn−1znzn−xn−2,yn+1=zn−1xnxn+yn−2, zn+1=xn−1ynyn+zn−2, and xn+1=yn−1znzn−xn−2,yn+1=zn−1xnxn−yn−2, zn+1=xn−1ynyn−zn−2. Also, in each case we take a numerical example to illustrates the results.
This project was funded by the Deanship of Scientific Research (DSR) at King Abdulaziz University, Jeddah, under grant no. (G: 233–130–1441). The authors, therefore, acknowledge with thanks DSR for technical and financial support.
All authors declare no conflicts of interest in this paper.
[1] |
V. A. Kuznetsov, I. A. Makalkin, M. A. Taylor, A. S. Perelson, Nonlinear dynamics of immunogenic tumours: parameter estimation and global analysis, B. Math. Biol., 56 (1994), 295–321. https://doi.org/10.1016/S0092-8240(05)80260-5 doi: 10.1016/S0092-8240(05)80260-5
![]() |
[2] |
L. G. De Pillis, A. E. Radunskaya, C. L. Wiseman, A validated mathematical model of cell-mediated immune response to tumor growth, Cancer Res., 65 (2005), 7950–7958. https://doi.org/10.1158/0008-5472.CAN-05-0564 doi: 10.1158/0008-5472.CAN-05-0564
![]() |
[3] |
L. G. De Pillis, W. Gu, A. E. Radunskaya, Mixed immnotherapy and chemotherapy of tumors: modeling, applications and biological interpretations, J. Theor. Biol., 238 (2006), 841–862. https://doi.org/10.1016/j.jtbi.2005.06.037 doi: 10.1016/j.jtbi.2005.06.037
![]() |
[4] |
L. G. De Pillis, A. Eladdadi, A. Radunskaya, Modeling cancer-immune responses to therapy, J. Pharmacokinet Phar., 41 (2014), 461–478. https://doi.org/10.1007/s10928-014-9386-9 doi: 10.1007/s10928-014-9386-9
![]() |
[5] |
D. Kirschner, J. C. Panetta, Modeling immunotherapy of the tumor–immune interaction, J. Math. Biol., 37 (1998), 235–252. https://doi.org/10.1007/s002850050127 doi: 10.1007/s002850050127
![]() |
[6] |
F. Castiglione, B. Piccoli, Cancer immunotherapy, mathematical modeling and optimal control, J. Theor. Biol., 247 (2007), 723–732. https://doi.org/10.1016/j.jtbi.2007.04.003 doi: 10.1016/j.jtbi.2007.04.003
![]() |
[7] |
H. M. Byrne, Dissecting cancer through mathematics: from the cell to the animal model, Nat. Rev. Cancer, 10 (2010), 221–230. https://doi.org/10.1038/nrc2808 doi: 10.1038/nrc2808
![]() |
[8] |
N. Kronik, Y. Kogan, V. Vainstein, Z. Agur, Improving alloreactive CTL immunotherapy for malignant gliomas using a simulation model of their interactive dynamics, Cancer Immunol. Immun., 57 (2008), 425–439. https://doi.org/10.1007/s00262-007-0387-z doi: 10.1007/s00262-007-0387-z
![]() |
[9] |
A. B. Weiner, A. S. Desai, J. J. Meeks, Tumor Location May Predict Adverse Pathology and Survival Following Definitive Treatment for Bladder Cancer: A National Cohort Study, Eur. Urol. Oncol., 2 (2019), 304–310. https://doi.org/10.1016/j.euo.2018.08.018 doi: 10.1016/j.euo.2018.08.018
![]() |
[10] |
F. Bray, J. Ferlay, I. Soerjomataram, R. L. Siegel, L. Torre, A. Jemal, Global cancer statistics 2018: Globocan estimates of incidence and mortality worldwide for 36 cancers in 185 countries, CA: a cancer journal for clinicians, 68 (2018), 394–424. https://doi.org/10.3322/caac.21492 doi: 10.3322/caac.21492
![]() |
[11] |
M. P. Zeegers, F. E. Tan, E. Dorant, P. A. van Den Brandt, The impact of characteristics of cigarette smoking on urinary tract cancer risk: a meta-analysis of epidemiological studies, Cancer, 89 (2000), 630–639. https://doi.org/10.1002/1097-0142(20000801)89:3<630::AID-CNCR19>3.0.CO;2-Q doi: 10.1002/1097-0142(20000801)89:3<630::AID-CNCR19>3.0.CO;2-Q
![]() |
[12] |
A. Morales, D. Eidinger, A. W. Bruce, Intracavity Bacillus Calmette-Guerin in the treatment of superficial bladder tumors, J. Urol., 116 (1976), 180–182. https://doi.org/10.1016/S0022-5347(17)58737-6 doi: 10.1016/S0022-5347(17)58737-6
![]() |
[13] |
C. Pettenati, M. A. Ingersoll, Mechanisms of BCG immunotherapy and its outlook for bladder cancer, Nat. Rev. Urol., 15 (2018), 615–625. https://doi.org/10.1038/s41585-018-0055-4 doi: 10.1038/s41585-018-0055-4
![]() |
[14] |
C. F. Lee, S. Y. Chang, D. S. Hsieh, D. S. Yu, Immunotherapy for bladder cancer using recombinant bacillus Calmette-Guerin DNA vaccines and interleukin-12 DNA vaccine, J. Urol., 171 (2004), 1343–1347. https://doi.org/10.1097/01.ju.0000103924.93206.93 doi: 10.1097/01.ju.0000103924.93206.93
![]() |
[15] |
R. L. Steinberg, L. J. Thomas, S. L. Mott, M. A. O'Donnell, Multi-perspective tolerance evaluation of bacillus Calmette-Guerin with interferon in the treatment of non-muscle invasive bladder cancer, Bladder Cancer, 5 (2019), 39–49. https://doi.org/10.3233/BLC-180203 doi: 10.3233/BLC-180203
![]() |
[16] |
A. Shapiro, O. Gofrit, D. Pode, The treatment of superficial bladder tumor with IL-2 and BCG, J. Urol., 177 (2007), 81–82. https://doi.org/10.1016/S0022-5347(18)30509-3 doi: 10.1016/S0022-5347(18)30509-3
![]() |
[17] |
S. Bunimovich-Mendrazitsky, E. Shochat, L. Stone, Mathematical Model of BCG Immunotherapy in Superficial Bladder Cancer, B. Math. Biol., 69 (2007), 1847–1870. https://doi.org/10.1007/s11538-007-9195-z doi: 10.1007/s11538-007-9195-z
![]() |
[18] |
O. Nave, S. Hareli, M. Elbaz, I. H. Iluz, S. Bunimovich-Mendrazitsky, BCG and IL-2 model for bladder cancer treatment with fast and slow dynamics based on SPVF method—stability analysis, Math. Biosci. Eng., 16 (2019), 5346–5379. https://doi.org/10.3934/mbe.2019267 doi: 10.3934/mbe.2019267
![]() |
[19] |
T. Lazebnik, N. Aaroni, S. Bunimovich-Mendrazitsky, PDE based geometry model for BCG immunotherapy of bladder cancer, Biosystems, 200 (2021), 104319. https://doi.org/10.1016/j.biosystems.2020.104319 doi: 10.1016/j.biosystems.2020.104319
![]() |
[20] |
E. Guzev, S. Halachmi, S. Bunimovich-Mendrazitsky, Additional extension of the mathematical model for BCG immunotherapy of bladder cancer and its validation by auxiliary tool, Int. J. Nonlin. Sci. Num., 20 (2019), 675–689. https://doi.org/10.1515/ijnsns-2018-0181 doi: 10.1515/ijnsns-2018-0181
![]() |
[21] |
S. Bunimovich-Mendrazitsky, I. Chaskalovic, J. C. Gluckman, A mathematical model of combined bacillus Calmette-Guerin (BCG) and interleukin (IL)-2 immunotherapy of superficial bladder cancer, J. Theor. Biol., 277 (2011), 27–40. https://doi.org/10.1016/j.jtbi.2011.02.008 doi: 10.1016/j.jtbi.2011.02.008
![]() |
[22] |
S. Bunimovich-Mendrazitsky, S. Halachmi, N. Kronik, Improving Bacillus Calmette Guérin (BCG) immunotherapy for bladder cancer by adding interleukin-2 (IL-2): a mathematical model, Math. Med. Biol., 33 (2016), 159–188. https://doi.org/10.1093/imammb/dqv007 doi: 10.1093/imammb/dqv007
![]() |
[23] |
L. Shaikhet, S. Bunimovich-Mendrazitsky, Stability analysis of delayed immune response BCG infection in bladder cancer treatment model by stochastic perturbations, Comput. Math. Method. M., 2018 (2018), 9653873. https://doi.org/10.1155/2018/9653873 doi: 10.1155/2018/9653873
![]() |
[24] |
E. Fridman, L. Shaikhet, Simple LMIs for stability of stochastic systems with delay term given by Stieltjes integral or with stabilizing delay, Syst. Control Lett., 124 (2019), 83–91. https://doi.org/10.1016/j.sysconle.2018.12.007 doi: 10.1016/j.sysconle.2018.12.007
![]() |
[25] |
I. Volinsky, S. D. Lombardo, P. Cheredman, Stability Analysis and Cauchy Matrix of a Mathematical Model of Hepatitis B Virus with Control on Immune System near Neighborhood of Equilibrium Free Point, Symmetry, 13 (2021), 166. https://doi.org/10.3390/sym13020166 doi: 10.3390/sym13020166
![]() |
[26] | R. P. Agarwal, L. Berezansky, E. Braverman, A. Domoshnitsky, Nonoscillation Theory of Functional Differential Equations with Applications, Springer: New York, NY, USA, 2012. |
[27] |
I. Volinsky, Stability Analysis of a Mathematical Model of Hepatitis B Virus with Unbounded Memory Control on the Immune System in the Neighborhood of the Equilibrium Free Point, Symmetry, 13 (2021), 1437. https://doi.org/10.3390/sym13081437 doi: 10.3390/sym13081437
![]() |
[28] |
R. F. M. Bevers, K. H. Kurth, D. H. J. Schamhart, Role of urothelial cells in BCG immunotherapy for superficial bladder cancer, Brit. J. Cancer, 91 (2004), 607–612. https://doi.org/10.1038/sj.bjc.6602026 doi: 10.1038/sj.bjc.6602026
![]() |
[29] | L. M. Wein, J. T. Wu, D. H. Kirn, Validation and analysis of a mathematical model of a replication-competent oncolytic virus for cancer treatment: Implications for virus design and delivery, Cancer Res., 63 (2003), 1317–1324. |
[30] |
J. Wigginton, D. Kirschner, A model to predict cell-mediated immune regulatory mechanisms during human infection with Mycobacterium tuberculosis, J. Immunol., 166 (2001), 1951–1967. https://doi.org/10.4049/jimmunol.166.3.1951 doi: 10.4049/jimmunol.166.3.1951
![]() |
[31] | F. Biemar, M. Foti, Global progress against cancer-challenges and opportunities, Cancer Biol. Med., 10 (2013), 183–186. |
1. | Khalil S. Al-Basyouni, Elsayed M. Elsayed, On Some Solvable Systems of Some Rational Difference Equations of Third Order, 2023, 11, 2227-7390, 1047, 10.3390/math11041047 | |
2. | Ibraheem M. Alsulami, E. M. Elsayed, On a class of nonlinear rational systems of difference equations, 2023, 8, 2473-6988, 15466, 10.3934/math.2023789 | |
3. | E.M. Elsayed, B.S. Alofi, The periodic nature and expression on solutions of some rational systems of difference equations, 2023, 74, 11100168, 269, 10.1016/j.aej.2023.05.026 | |
4. | Hashem Althagafi, Dynamics of difference systems: a mathematical study with applications to neural systems, 2025, 10, 2473-6988, 2869, 10.3934/math.2025134 |