Notations
V5GIThroughout this paper, we will consider the following.
Used by Theorem 0.1, Lemma 1, Theorem 0.2, Lemma 2, Theorem 0.3, Theorem 0.4, Lemma 3, Theorem 0.5, Theorem 0.6
Mathematical Analysis of Autonomous and Nonautonomous Hepatitis B Virus Transmission Models
- arXiv
- 2305.08210v1 · PDF · 14 May 2023
- Categories
- math.DS
- Journal
- Computational Science and Its Applications - ICCSA 2023 Workshops, LNCS 14105, pp. 327-343, Springer, 2023
- DOI
- 10.1007/978-3-031-37108-0_21
- Licence
- CC BY 4.0 The site shows the text.
Abstract
This study presents an improved mathematical model for Hepatitis B Virus (HBV) transmission dynamics by investigating autonomous and nonautonomous cases. The novel model incorporates the effects of medical treatment, allowing for a more comprehensive understanding of HBV transmission and potential control measures. Our analysis involves verifying unique solutions’ existence, ensuring solutions’ positivity over time, and conducting a stability analysis at the equilibrium points. Both local and global stability are discussed; for local stability, we use the Jacobian matrix and the basic reproduction number, R_0. For global stability, we construct a Lyapunov function and derive necessary and sufficient conditions for stability in our models, establishing a connection between these conditions and R_0. Numerical simulations substantiate our analytical findings, offering valuable insights into HBV transmission dynamics and the effectiveness of different interventions. This study advances our understanding of Hepatitis B Virus (HBV) transmission dynamics by presenting an enhanced mathematical model that considers both autonomous and nonautonomous cases.
Items 22
Theorem 0.1 (Local Existence)
7JB3For any given t_0 \in \mathbb{R} and u_0=(x_0,y_0,z_0) \in \mathbb{R}_+ ^3 there exists T_{max} = T_{max}(t_0, u_0) such that the system from (?) has a solution (x(t;u_0), y(t;t_0,u_0), z(t;t_0,u_0)) on [t_0 , t_0+T_{max}). Furthermore, If T_{max}<\infty then the solution will blow up, i.e.,
\limsup_{t\rightarrow T_{max}} \left( \vert x(t_0+t ;t_0,u_0) \vert + \vert y(t_0+t ;t_0,u_0) \vert + \vert z(t_0+t ;t_0,u_0) \vert \right) \\ = +\infty
Proof
WHOZIt is clear that this function f(u(t)) in equation ? is continuous, and its derivatives with respect to x, y, and z are also continuous. Therefore, the system (?) has a unique local solution.
It is well known that solutions of ordinary differential equations may blow up in finite time.
Lemma 1
8M1Ksuppose (x(t_0) , y(t_0),z(t_0))\in \mathbb{R}_+^3 is the initial value of the system ?, then the solution (x(t) , y(t), z(t)) is positive for all t \in [ t_0, t_0 + T_{max} ).
Uses Notations
Proof
3ON1Notice that z(t) has an explicit solution that depends on y(t). Thus, if y(t) is positive, that implies z(t) is also positive for all t\geq t_0.
Then, it is enough to show the positiveness for x and y. By contradiction suppose not, then there exists \tau \in [t_0,t_0+T_{max}) such that x(t)>0 , y(t)>0 and z(t)>0 on [t_0,\tau) this implies one of the following cases
x(\tau)=0 \,\,\, \text{and} \,\,\, y(\tau)>0 x(\tau)>0 \,\,\, \text{and}\,\,\, y(\tau)=0 x(\tau)=0 \,\,\, \text{and} \,\,\, y(\tau)=0
Claim Case (i) is not possible.
Proof.
From the basic definition of the derivative, we have.
\frac{dx}{dt}(\tau) = \lim_{t \rightarrow \tau} \frac{x(t)-x(\tau)}{t-\tau}=\lim_{t \rightarrow \tau} \frac{x(t)}{t-\tau} \leq 0 \quad \quad\rightarrow \quad (1)
from the first equation in ? we have
\begin{aligned}
\frac{dx}{dt}(\tau) &= \Lambda -\mu_1 x(\tau) - (1-\eta) \beta x(\tau)v(\tau) +qy(\tau)\\
&= \Lambda + qy(\tau) \geq py(\tau) > 0 \quad \, \, \quad \quad\rightarrow \quad (2)
\end{aligned}
That is a contradiction. Therefore, case(1) is not possible.
Claim Case (ii) is not possible.
Proof.
We know that
\frac{dy}{dt}(\tau) = \lim_{t \rightarrow \tau} \frac{y(t)-y(\tau)}{t-\tau}=\lim_{t \rightarrow \tau} \frac{y(t)}{t-\tau} \leq 0 \quad \quad\rightarrow \quad (3)
from the second equation in ? we have
\frac{dy}{dt}(\tau) = (1-\eta)\beta v(\tau)x(\tau) >0 \quad \, \, \quad \quad\quad \quad\rightarrow \quad (4)
from (3) and (4) we have a contradiction, thus, case(2) is not possible.
Similarly, case(iii) is also not possible.
Therefore, the statement in the lemma is correct.
Proof
FDH1From the basic definition of the derivative, we have.
\frac{dx}{dt}(\tau) = \lim_{t \rightarrow \tau} \frac{x(t)-x(\tau)}{t-\tau}=\lim_{t \rightarrow \tau} \frac{x(t)}{t-\tau} \leq 0 \quad \quad\rightarrow \quad (1)
from the first equation in ? we have
\begin{aligned}
\frac{dx}{dt}(\tau) &= \Lambda -\mu_1 x(\tau) - (1-\eta) \beta x(\tau)v(\tau) +qy(\tau)\\
&= \Lambda + qy(\tau) \geq py(\tau) > 0 \quad \, \, \quad \quad\rightarrow \quad (2)
\end{aligned}
That is a contradiction. Therefore, case(1) is not possible.
Proof
RR2KWe know that
\frac{dy}{dt}(\tau) = \lim_{t \rightarrow \tau} \frac{y(t)-y(\tau)}{t-\tau}=\lim_{t \rightarrow \tau} \frac{y(t)}{t-\tau} \leq 0 \quad \quad\rightarrow \quad (3)
from the second equation in ? we have
\frac{dy}{dt}(\tau) = (1-\eta)\beta v(\tau)x(\tau) >0 \quad \, \, \quad \quad\quad \quad\rightarrow \quad (4)
from (3) and (4) we have a contradiction, thus, case(2) is not possible.
Theorem 0.2 (Global Existence "Boundedness")
QHNXFor given t_0 \in \mathbb{R} and (x_0,y_0,z_0) \in \mathbb{R}_+^ 3, the solution (x(t),y(t),z(t)) exists for all t \geq t_0 and moreover,
0\leq x(t)+y(t) \leq M \quad \quad \text{and} \quad 0\leq z(t)\leq e^{\mu_3(t-t_0)}z_0 + (1-\epsilon)\, M \left( \frac{1-e^{-\mu_3(t-t_0)}}{\mu_3}\right)
where M=Max\left\lbrace x_0 + y_0 \, \, , \, \, \frac{\Lambda}{min(\mu_1 ,\mu_2)} \right\rbrace
Uses Notations
Proof
2TU9 It is enough to show that |x(t)|+|y(t)| < \infty on (t_0\, ,\, t_0+T_{max}).
By adding the first two equations in ? we get
\begin{aligned}
\frac{dx}{dt}+\frac{dy}{dt} &= \Lambda -\mu_1 x -\mu_2 y \\
&\leq & \Lambda - min \lbrace \mu_1,\mu_2 \rbrace [x(t)+y(t)].
\end{aligned}
Let v(t)=x(t)+y(t) the equation Proof becomes
v(t) \leq \Lambda - min \lbrace \mu_1,\mu_2\rbrace \, v(t).
By the ODE comparison principle, we have
v(t)\leq Max\left\lbrace v_0 \, \, , \, \, \frac{\Lambda }{\text{min}(\mu_1 ,\mu_2)} \right\rbrace
then 0.1 implies that T_{max} = +\infty.
It is clear that for t large, we have
v (t)\leq \frac{\Lambda }{\text{min}\lbrace\mu_1 ,\mu_2 \rbrace}
Which means both x(t) and y(t) are bounded. It is clear that z(t) is also bounded directly by solving the third equation in system ?.
Uses Theorem 0.1
Lemma 2
JXXQThe system ? is exponentially stable at its equilibrium points (\bar{x}, \bar{y}, \bar{z}) if the following conditions hold
\begin{aligned}
\begin{cases}
2\mu_1 + (1-\eta)\beta \bar{z} & > \quad (1-\eta)\beta \frac{\Lambda}{min(\mu_1 , \mu_2)} + q \\
2 \mu_2 + q & > \quad(1-\eta)\beta \left( \bar{z} + \frac{\Lambda}{min(\mu_1, \mu_2)} \right) + (1-\epsilon )p \\
2\mu_3 & > \quad (1-\epsilon)p + \frac{(1-\eta)\Lambda \beta}{min(\mu_1 , \mu_2)}
\end{cases}
\end{aligned}
Proof
7J57In fact, it is enough to show that
|x-\bar{x}| \rightarrow 0, \quad |y-\bar{y}|\rightarrow 0, \quad and \quad |z-\bar{z}|\rightarrow 0 , \quad as \quad t \rightarrow \infty
Since x-\bar{x}, y-\bar{y}, and z-\bar{z} satisfies the system ?. From system ? we have
\begin{aligned}
\begin{cases}
\frac{d}{dt}(x-\bar{x}) = -(\mu_1+(1-\eta)\beta\bar{z})(x-\bar{x})+ q(y-\bar{y})-(1-\eta)\beta x (z-\bar{z})\\
\frac{d}{dt}(y-\bar{y})= (1-\eta)\beta \bar{z}(x-\bar{x})-(q+\mu_2)(y-\bar{y})+(1-\eta)\beta x (z-\bar{z}) \\
\frac{d}{dt}(z-\bar{z}) = (1-\epsilon)p(y-\bar{y}) -\mu_3 (z-\bar{z})
\end{cases} \end{aligned}
Now, let X=x-\bar{x}, Y=y-\bar{y} and Z=z-\bar{z} then system Proof becomes
\begin{aligned}
\frac{dX}{dt} &= -(\mu_1+(1-\eta)\beta\bar{z})X+ qY -(1-\eta)\beta x Z \\
\frac{dY}{dt}&= (1-\eta)\beta \bar{z}X-(q+\mu_2)Y+(1-\eta)\beta x Z \\
\frac{dZ}{dt} &= (1-\epsilon)pY -\mu_3 Z
\end{aligned}
Now, since X=X_+ - X_-, where X_+ and X_- are the positive and negative parts of the function X, and also we have
XX_+=(X_+-X_-)X_+ = X_+^2
-XX_-=-(X_+-X_-)X_- = X_-^2
(X_+ \pm X_-)^2=X_+^2 + X_-^2= |X|^2
This implies that
\dot{X} X_+=\frac{1}{2} \frac{d}{dt}X_+^2 \quad\quad\text{and} \quad\quad -\dot{X} X_-=\frac{1}{2} \frac{d}{dt}X_-^2
Now multiplying equation ? by X_+ gives
\dot{X}X_+ = -[\mu_1 + (1-\eta)\beta \bar{z}]XX_++qYX_+ - (1-\eta)\beta x ZX_+
\frac{1}{2} \frac{d}{dt}X_+^2 = -[\mu_1 + (1-\eta)\beta \bar{z}]X_+^2 +qYX_+ - (1-\eta)\beta x ZX_+
If we multiply equation ? by X_- we get
\frac{1}{2} \frac{d}{dt}X_-^2 = -[\mu_1 + (1-\eta)\beta \bar{z}]X_-^2 +qYX_- + (1-\eta)\beta x ZX_-
adding equation ? and equation ? we get
\frac{1}{2} \frac{d}{dt}(X_+^2 +X_-^2)= -[\mu_1 + (1-\eta)\beta \bar{z}](X_+^2 +X_-^2) +qY(X_+ - X_-) + (1-\eta)\beta x Z(X_+ - X_-)
\begin{aligned}
\frac{1}{2} \frac{d}{dt}|X|^2 &= -[\mu_1 + (1-\eta)\beta \bar{z}]|X|^2 +q(Y_+ - Y_-)(X_+ - X_-) + (1-\eta)\beta x (Z_+ -Z_-)(X_+ - X_-)\\
&= -[\mu_1 + (1-\eta)\beta \bar{z}]|X|^2 + q(Y_+X_+ +Y_-X_- -Y_-X_+ - Y_+X_-) \\& & +(1-\eta) \beta x (X_+Z_- +X_-Z_+ -X_+Z_+ - X_-Z_-)\\
&\leq & -[\mu_1 + (1-\eta)\beta \bar{z}]|X|^2 + \frac{1}{2} q Y_+^2 + \frac{1}{2} qX_+^2 + \frac{1}{2} q Y_-^2 +\frac{1}{2} X_-^2 - q(Y_-X_++ Y_+X_-) \\
& & + \frac{1}{2} (1-\eta)\beta x (X_+^2 + Z_-^2 + X_-^2 +Z_+^2) - (1-\eta) \beta x (X_+Z_+ + X_-Z_-)\\
&\leq & -[\mu_1 + (1-\eta)\beta \bar{z}]|X|^2 + \frac{1}{2} q |Y|^2 + \frac{1}{2} (1-\eta)\beta x |X|^2 + \frac{1}{2} q|X|^2+ \frac{1}{2} (1-\eta)\beta x |Z|^2 \\
& & - q(Y_-X_+ + Y_+X_-) - (1-\eta) \beta x (X_+Z_+ - X_-Z_-)
\end{aligned}
Thus,
\begin{split}
\frac{1}{2}\frac{d}{dt} |X|^2 \leq & -[\mu_1 + (1-\eta)\beta \bar{z} - \frac{1}{2}q- \frac{1}{2} (1-\eta)\beta x]|X|^2 + \frac{1}{2} q |Y|^2 + \frac{1}{2} (1-\eta)\beta x |Z|^2\\ \quad & - q(Y_-X_+ + Y_+X_-) - (1-\eta) \beta x (X_+Z_+ - X_-Z_-)
\end{split}
Similarly, by using the same computational technique, we got
\begin{split}
\frac{1}{2}\frac{d}{dt} |Y|^2 \leq & \frac{1}{2}(1-\eta)\beta \bar{z}|X|^2 -[(q+\mu_2) - \frac{1}{2}(1-\eta)\beta \bar{z} -\frac{1}{2}(1-\eta)\beta x ]|Y|^2 + \frac{1}{2} (1-\eta)\beta x |Z|^2 \\ \quad & - (1-\eta) \beta \bar{z} (X_+Y_-+ X_-Y_+) - (1-\eta) \beta x (Z_+Y_- + Z_-Y_+)
\end{split}
and
\frac{1}{2}\frac{d}{dt} |Z|^2 \leq -[\mu_3 - \frac{1}{2}(1-\epsilon)]|Z|^2 + \frac{1}{2}(1-\epsilon)p |Y|^2 - (1-\epsilon)p(Y_+Z_- +Y_-Z_+)
Now, by adding ? , ? and ? we get
\begin{split}
\frac{1}{2} \frac{d}{dt} \left( |X|^2+|Y|^2 + |Z|^2 \right) \leq & -\left[ \mu_1 + \frac{1}{2}(1-\eta)\beta \bar{z} - \frac{1}{2}q- \frac{1}{2} (1-\eta)\beta x \right] |X|^2 \\ \quad & - \left[\mu_2 + \frac{1}{2}q -\frac{1}{2}(1-\eta)\beta \bar{z} -\frac{1}{2}(1-\eta)\beta x - (1-\epsilon)p \right]|Y|^2 \\
\quad & - \left[\mu_3 - \frac{1}{2}(1-\epsilon)p- (1-\eta)\beta x \right]|Z|^2 - [ q(Y_+X_- + Y_-X_+)\\
\quad & +(1-\eta) \beta x (X_+Z_+ + X_-Z_-) +(1-\eta)(X_+Y_- + X_-Y_+) \\
\quad & \quad \, \, \, (1-\eta)\beta x (Z_+Y_- Z_-Y_+) + (1-\epsilon)p(Y_+Z_- +Y_-Z_+) ]
\end{split}
Therefore,
\frac{d}{dt} \left( |X|^2+|Y|^2 + |Z|^2 \right) \leq -\nu_1 |X|^2 -\nu_2 |Y|^2 -\nu_3 |Z|^2 - W
where
\begin{cases}
\nu_1 &= 2\mu_1 + (1-\eta)\beta \bar{z} - (1-\eta)\beta x - q \\
\nu_2 &= \mu_2 + q - (1-\eta)\beta \bar{z} - (1-\eta)\beta x - (1-\epsilon)p \\
\nu_3 &= 2\mu_3 - (1-\epsilon)p- (1-\eta)\beta x \\
W mmm &= q(Y_+X_- + Y_-X_+) +(1-\eta) \beta x (X_+Z_+ + X_-Z_-) +(1-\eta)(X_+Y_- + X_-Y_+) \\
\quad &\quad +(1-\eta)\beta x (Z_+Y_- Z_-Y_+) + (1-\epsilon)p(Y_+Z_- + Y_-Z_+)
\end{cases}
Condition ? guaranteed that \nu_1, \nu_2, an \nu_3 are always positive. Since W\geq 0, then the inequity ? still holds after removing W.
Now Let k= \text{min}n \left\lbrace \nu_1, \nu_2, \nu_3 \right\rbrace and let V(t)=|X(t)|^2 +|Y(t)|^2 + |Z(t)|^2 then the inequality ? becomes
\frac{dV(t)}{dt} \leq -k V(t)
0 \leq V(t)\leq V_0 e^{-kt} \longrightarrow 0 \quad \text{as} \quad t \rightarrow \infty
Used by Proof
Theorem 0.3
FJIFThe autonomous dynamic systems ? is exponentially stable if R_0<1 and conditions ? are satisfied.
Uses Notations
Proof
MCTMConsider the Lyapunov function
V(x,y,z)= \frac{1}{2}[(x-\Lambda/\mu_1)^2 + y^2+z^2]
which is clearly positive, and by following some computations in the proof of Lemma 2 we get V'\leq 0. That completed the proof.
Uses Lemma 2
Theorem 0.4
NY7BThe solution of system ? is exponentially stable at the endemic equilibrium ? if conditions ?.
Uses Notations
Proof
861NThe proof follows by Lemm 2.
Uses Lemma 2
Remark
J79CThe uniform strictly contracting property, together with the existence of a pullback absorbing, implies the existence of a global attractor that consists of a single entire solution.
Lemma 3
NUMFLet \Lambda:\mathbb{R}\rightarrow [\Lambda_m\, ,\, \Lambda_M], then for any (x_0,y_0,z_0) \in \mathbb{R}_+^3 := \lbrace (x,y,z)\in \mathbb{R}^3 : x\geq 0, y\geq 0, z\geq 0 \rbrace all the solutions of the system (? - ?) corresponding to the initial point are:
Non-negative for all Uniformly bounded.
Uses Notations
Proof
9FQJThe proof is similar to the positiveness of the autonomous case that was introduced earlier. Set \Vert X(t) \Vert_1 = x(t)+y(t)+z(t), if we combine the three equations in (? - ?) we get:
\dot{x}(t)+\dot{y}(t)+\dot{z}(t)= \Lambda(t) -\mu_1 x -(\mu_2 -(1-\epsilon)p ) y - \mu_3 z
assume \mu_2 > (1-\epsilon)p and let \alpha= min{\mu_1 , \mu_2 - (1-\epsilon)p, \mu_3}, then we get
\frac{d}{dt}\Vert X(t) \Vert_1 \leq \Lambda_M -\alpha \Vert X(t) \Vert_1
this implies that
\Vert X(t) \Vert_1 \leq max \lbrace x_0+y_0+z_0 , \frac{\Lambda_M}{\alpha} \rbrace
Thus, the set B_\epsilon= \lbrace (x,y,z) \in \mathbb{R}_+^3 : \epsilon \leq x(t)+y(t)+z(t) \leq \frac{\Lambda_M}{\alpha} + \epsilon \rbrace is positively invariant and absorbing in \mathbb{R}_+^3.
Theorem 0.5
QPR6The nonautonomous system (? - ?) satisfies a uniform strictly contracting property, if \mu_2 > (1-\epsilon)p.
Uses Notations
Proof
41NSLet
\begin{aligned}
\begin{cases}
(x_1,y_1,z_1) &=\quad(x(t,t_0,x_0^1),y(t,t_0,y_0^1),z(t,t_0,z_0^1))\\
\text{and } (x_2,y_2,z_2)& = \quad(x(t,t_0,x_0^2),y(t,t_0,y_0^2),z(t,t_0,z_0^2))
\end{cases}
\end{aligned}
and are two solutions of the system (? - ? ) by similar computational in autonomous case we get
\begin{aligned}\begin{cases}
\frac{d}{dt}(x_1 - x_2) = -(\mu_1+(1-\eta)\beta z_1))(x_1 - x_2)+ q(y_1-y_2)-(1-\eta)\beta x_2 (z_1-z_2)\\
\frac{d}{dt}(y_1 - y_2)= (1-\eta)\beta z_1(x_1-x_2)-(q+\mu_2)(y_1-y_2)+(1-\eta)\beta x (z_1-z_2) \\
\frac{d}{dt}(z_1-z_2) = (1-\epsilon)p(y_1-y_2) -\mu_3 (z_1-z_2)
\end{cases} \end{aligned}
Now, let X=x_1 - x_2, Y=y_1 - y_2 and Z=z_1-z_2 then system Proof becomes
\begin{aligned}
\frac{dX}{dt} &= -(\mu_1+(1-\eta)\beta z_1)X+ qY -(1-\eta)\beta x_2 Z \\
\frac{dY}{dt}&= (1-\eta)\beta z_1 X-(q+\mu_2)Y+(1-\eta)\beta x_2 Z \\
\frac{dZ}{dt} &= (1-\epsilon)pY -\mu_3 Z
\end{aligned}
This implies that
\begin{split}
\frac{1}{2}\frac{d}{dt} |X|^2 \leq & -[\mu_1 + (1-\eta)\beta z_1 - \frac{1}{2}q- \frac{1}{2} (1-\eta)\beta x_2]|X|^2 + \frac{1}{2} q |Y|^2 + \frac{1}{2} (1-\eta)\beta x_2 |Z|^2\\ \quad & - q(Y_-X_+ + Y_+X_-) - (1-\eta) \beta x (X_+Z_+ - X_-Z_-)
\end{split}
Similarly, by using the same computational technique, we got
\begin{split}
\frac{1}{2}\frac{d}{dt} |Y|^2 \leq & \frac{1}{2}(1-\eta)\beta z_1|X|^2 -[(q+\mu_2) - \frac{1}{2}(1-\eta)\beta \bar{z} -\frac{1}{2}(1-\eta)\beta x_2 ]|Y|^2 + \frac{1}{2} (1-\eta)\beta x_2 |Z|^2 \\ \quad & - (1-\eta) \beta z-1 (X_+Y_-+ X_-Y_+) - (1-\eta) \beta x (Z_+Y_- + Z_-Y_+)
\end{split}
and
\frac{1}{2}\frac{d}{dt} |Z|^2 \leq -[\mu_3 - \frac{1}{2}(1-\epsilon)]|Z|^2 + \frac{1}{2}(1-\epsilon)p |Y|^2 - (1-\epsilon)p(Y_+Z_- +Y_-Z_+)
Now, by adding ? , ? and ? we get
\begin{split}
\frac{1}{2} \frac{d}{dt} \left( |X|^2+|Y|^2 + |Z|^2 \right) \leq & -\left[ \mu_1 + \frac{1}{2}(1-\eta)\beta z_1 - \frac{1}{2}q- \frac{1}{2} (1-\eta)\beta x_2 \right] |X|^2 \\ \quad & - \left[\mu_2 + \frac{1}{2}q -\frac{1}{2}(1-\eta)\beta z_1 -\frac{1}{2}(1-\eta)\beta x_2 - (1-\epsilon)p \right]|Y|^2 \\
\quad & - \left[\mu_3 - \frac{1}{2}(1-\epsilon)p- (1-\eta)\beta x \right]|Z|^2 - [ q(Y_+X_- + Y_-X_+)\\
\quad & +(1-\eta) \beta x (X_+Z_+ + X_-Z_-) +(1-\eta)(X_+Y_- + X_-Y_+) \\
\quad & \quad \, \, \, (1-\eta)\beta x_2 (Z_+Y_- Z_-Y_+) + (1-\epsilon)p(Y_+Z_- +Y_-Z_+) ]
\end{split}
Since x_2 and z_1 are bounded, assume that \gamma_2= max \lbrace x_2 \rbrace and \gamma_1 = max \lbrace z_1 \rbrace.
Therefore,
\frac{d}{dt} \left( |X|^2+|Y|^2 + |Z|^2 \right) \leq -\nu_1 |X|^2 -\nu_2 |Y|^2 -\nu_3 |Z|^2 - W
where
\begin{aligned}
\nu_1 &= & 2\mu_1 + (1-\eta)\beta \gamma_1 - (1-\eta)\beta \gamma_2 - q \\
\nu_2 &= & \mu_2 + q - (1-\eta)\beta \gamma_1 - (1-\eta)\beta \gamma_2 - (1-\epsilon)p \\
\nu_3 &= & 2\mu_3 - (1-\epsilon)p- (1-\eta)\beta \gamma_2 \\
W &= & q(Y_+X_- + Y_-X_+) +(1-\eta) \beta x (X_+Z_+ + X_-Z_-) +(1-\eta)(X_+Y_- + X_-Y_+) \\
\quad &\quad & +(1-\eta)\beta x (Z_+Y_- Z_-Y_+) + (1-\epsilon)p(Y_+Z_- + Y_-Z_+)
\end{aligned}
Let \alpha= min\lbrace \nu_1,\nu_2\nu_3\rbrace, then equation ? becomes
\frac{d}{dt} \left( |X|^2+|Y|^2 + |Z|^2 \right) \leq -\alpha( |X|^2 + |Y|^2+ |Z|^2 ) - W
Which has a solution
|X|^2+|Y|^2 + |Z|^2 \leq K e^{-\alpha (t-t_0)}(|X_0|^2+|Y_0|^2 + |Z_0|^2)
Notice that, for \nu_1, \nu_2, \nu_3 to following positive conditions must hold.
\begin{aligned}
2\mu_1 + (1-\eta)\beta b_1 & > & (1-\eta)\beta \frac{\Lambda_M}{min(\mu_1 , \mu_2)} + q \\
2 \mu_2 + q & > & (1-\eta)\beta \left( b_1 + \frac{\Lambda_M}{min(\mu_1, \mu_2)} \right) + (1-\epsilon )p \\
2\mu_3 & > & (1-\epsilon)p + \frac{(1-\eta) \beta \Lambda_M}{min(\mu_1 , \mu_2)}
\end{aligned}
Uses Proof
Theorem 0.6
B51TSuppose \Lambda : \mathbb{R} \rightarrow [\Lambda_m\, ,\, \Lambda_M], where 0<\Lambda_m<\Lambda-M < \infty, is continuous, then the system (? - ? ) has a pullback attractor \mathcal{A}= \lbrace A(t) : \,\, t\in \mathbb{R} \rbrace inside \mathbb{R}_+^3. Moreover, if \mu_2> (1-\epsilon)p, and the conditions (? - ? ) hold, then the solution of the system is exponentially stable.
Uses Notations
Proof
JLDWThe proof follows the previous proofs.
Source and licence
The text on this page is from arXiv:2305.08210v1 by Abdallah Alsammani, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/2305/2305.08210.jsonl.