Conditions | E0 | E1 | E∗ |
R10<1 and R20<1 | Yes (GAS) | No | No |
R10<1 and R20>1 | Yes (Unstable) | Yes (GAS) | No |
R10>1 and R20<1 | Yes (Unstable) | No | Yes (GAS) |
R10>1 and R20>1 | Yes (Unstable) | Yes (Unstable) | Yes (GAS) |
This paper deals with a new analytical model for microfluidic passive mixers. Two common approaches already exist for such a purpose. On the one hand, the resolution of the advection-diffusion-reaction equation (ADRE) is the first one and the closest to physics. However, ADRE is a partial differential equation that requires finite element simulations. On the other hand, analytical models based on the analogy between microfluidics and electronics have already been established. However, they rely on the assumption of homogeneous fluids, which means that the mixer is supposed to be long enough to obtain a perfect mixture at the output. In this paper, we derive an analytical model from the ADRE under several assumptions. Then we integrate these equations within the electronic-equivalent models. The resulting models computed the relationship between pressure and flow rate in the microfluidic circuit but also takes the concentration gradients that can appear in the direction perpendicular to the channel into account. The model is compared with the finite element simulation performed with COMSOL Multiphysics in several study cases. We estimate that the global error introduced by our model compared to the finite element simulation is less than 5% in every use case. In counterparts, the cost in terms of computational resources is drastically reduced. The analytical model can be implemented in a large range of modelling and simulation languages, including SPICE and hardware description language such as Verilog-AMS. This feature is very interesting in the context of the in silico prototyping of large-scale microfluidic devices or multi-physics devices involving microfluidic circuits, e.g. lab-on-chips.
Citation: Alexi Bonament, Alexis Prel, Jean-Michel Sallese, Christophe Lallement, Morgan Madec. Analytic modelling of passive microfluidic mixers[J]. Mathematical Biosciences and Engineering, 2022, 19(4): 3892-3908. doi: 10.3934/mbe.2022179
[1] | Yan’e Wang , Zhiguo Wang, Chengxia Lei . Asymptotic profile of endemic equilibrium to a diffusive epidemic model with saturated incidence rate. Mathematical Biosciences and Engineering, 2019, 16(5): 3885-3913. doi: 10.3934/mbe.2019192 |
[2] | Yoichi Enatsu, Yukihiko Nakata . Stability and bifurcation analysis of epidemic models with saturated incidence rates: An application to a nonmonotone incidence rate. Mathematical Biosciences and Engineering, 2014, 11(4): 785-805. doi: 10.3934/mbe.2014.11.785 |
[3] | Pan Yang, Jianwen Feng, Xinchu Fu . Cluster collective behaviors via feedback pinning control induced by epidemic spread in a patchy population with dispersal. Mathematical Biosciences and Engineering, 2020, 17(5): 4718-4746. doi: 10.3934/mbe.2020259 |
[4] | Jummy F. David, Sarafa A. Iyaniwura, Michael J. Ward, Fred Brauer . A novel approach to modelling the spatial spread of airborne diseases: an epidemic model with indirect transmission. Mathematical Biosciences and Engineering, 2020, 17(4): 3294-3328. doi: 10.3934/mbe.2020188 |
[5] | Chang-Yuan Cheng, Shyan-Shiou Chen, Xingfu Zou . On an age structured population model with density-dependent dispersals between two patches. Mathematical Biosciences and Engineering, 2019, 16(5): 4976-4998. doi: 10.3934/mbe.2019251 |
[6] | Yicang Zhou, Zhien Ma . Global stability of a class of discrete age-structured SIS models with immigration. Mathematical Biosciences and Engineering, 2009, 6(2): 409-425. doi: 10.3934/mbe.2009.6.409 |
[7] | Zongwei Ma, Hongying Shu . Viral infection dynamics in a spatial heterogeneous environment with cell-free and cell-to-cell transmissions. Mathematical Biosciences and Engineering, 2020, 17(3): 2569-2591. doi: 10.3934/mbe.2020141 |
[8] | Yujie Sheng, Jing-An Cui, Songbai Guo . The modeling and analysis of the COVID-19 pandemic with vaccination and isolation: a case study of Italy. Mathematical Biosciences and Engineering, 2023, 20(3): 5966-5992. doi: 10.3934/mbe.2023258 |
[9] | Zhen Jin, Guiquan Sun, Huaiping Zhu . Epidemic models for complex networks with demographics. Mathematical Biosciences and Engineering, 2014, 11(6): 1295-1317. doi: 10.3934/mbe.2014.11.1295 |
[10] | Qian Yan, Xianning Liu . Dynamics of an epidemic model with general incidence rate dependent on a class of disease-related contact functions. Mathematical Biosciences and Engineering, 2023, 20(12): 20795-20808. doi: 10.3934/mbe.2023920 |
This paper deals with a new analytical model for microfluidic passive mixers. Two common approaches already exist for such a purpose. On the one hand, the resolution of the advection-diffusion-reaction equation (ADRE) is the first one and the closest to physics. However, ADRE is a partial differential equation that requires finite element simulations. On the other hand, analytical models based on the analogy between microfluidics and electronics have already been established. However, they rely on the assumption of homogeneous fluids, which means that the mixer is supposed to be long enough to obtain a perfect mixture at the output. In this paper, we derive an analytical model from the ADRE under several assumptions. Then we integrate these equations within the electronic-equivalent models. The resulting models computed the relationship between pressure and flow rate in the microfluidic circuit but also takes the concentration gradients that can appear in the direction perpendicular to the channel into account. The model is compared with the finite element simulation performed with COMSOL Multiphysics in several study cases. We estimate that the global error introduced by our model compared to the finite element simulation is less than 5% in every use case. In counterparts, the cost in terms of computational resources is drastically reduced. The analytical model can be implemented in a large range of modelling and simulation languages, including SPICE and hardware description language such as Verilog-AMS. This feature is very interesting in the context of the in silico prototyping of large-scale microfluidic devices or multi-physics devices involving microfluidic circuits, e.g. lab-on-chips.
Population migration is a common phenomenon. With the migration of population, infectious diseases can easily spread from one area to another, so it is meaningful to consider population migration when studying the spread of infectious diseases [1,2,3,4,5,6,7].
Wang and Mulone [2] established an SIS infectious disease model with standard incidence based on two patches. It is proved that the basic reproduction number is the threshold of the uniform persistence and disappearance of the disease. The dispersal rate of the population will make the infectious disease persist or disappear in all patches. There will be no the phenomena that infectious diseases persists in one patch but disappears in the other.
Sun et al. [3] put forward an SIS epidemic model with media effect in a two patches setting. Under the assumption that the migration matrix is irreducible, it is proved that if the basic reproduction number is greater than 1 then the system persists and solutions converge to an endemic equilibrium and that if the basic reproduction number is less than 1 then solutions tend to an equilibrium without disease.
Gao et al. [5,6] studied an SIS multi-patch model with variable transmission coefficients. Their results show that the basic reproduction number R0 is a threshold parameter of the disease dynamics.
All the patch models referenced above assume that the migration matrix is irreducible. The studies in which the migration matrix is reducible are few. Therefore, based on the case of two patches, we consider that the individuals can only migrate from one patch to the other. In this case, the migration matrix is reducible. It can characterize the phenomenon that individuals migrate in one direction between two regions, such as, from the rural patch to the urban one [8] and from a small community hospital to a large teaching hospital [4].
It is well known that the incidence rate plays an important role in the modeling of infectious disease. Considering the saturation phenomenon for numerous infected individuals, Capasso and Serio [9] first introduce a nonlinear bounded function g(I) to form the interaction term g(I)S in 1978. It can characterize the behavioral changes of individuals, such as wearing masks or reducing their social activities and direct contact with others with the increase of infectious individuals. After that, the saturation incidence rate has attracted much attention and various nonlinear types of incidence rate are employed. The most commonly used types are Holling type Ⅱ λSI1+αI [10,11,12] and βSI1+αS [13], Monod-Haldane type λSI1+αI2 [14], Beddington-DeAngelis type λSI1+αS+βI [15,16,17] and Crowley-Martin type λSI(1+αS)(1+βI) [18,19].
In this paper, we consider infectious disease transmission models with saturation incidence rate. The rest of this paper is organized as follows: In Section 2, we establish a two-patch SIS model with saturating contact rate and one-directing population dispersal. We discuss the existence of disease-free equilibrium, boundary equilibrium and endemic equilibrium and prove the global asymptotic stability of the equilibriums in Section 3. In Section 4, we perform simulations to illustrate the results and analyze the effect of the contact rate and population migration on epidemic transmission. Finally, we discuss in Section 5.
In the two patches, the population is divided into two states: susceptible and infective. Thus we can establish a two-patch SIS model with saturating contact rate and one-directing population dispersal
{dS1(t)dt=A1−d1S1−β1S1I11+α1I1−mS1+γ1I1,dS2(t)dt=A2−d2S2−β2S2I21+α2I2+mS1+γ2I2,dI1(t)dt=β1S1I11+α1I1−d1I1−mI1−γ1I1,dI2(t)dt=β2S2I21+α2I2−d2I2+mI1−γ2I2, | (2.1) |
where Si is the number of susceptible population in patch i (i=1,2), Ii is the number of infective population in patch i (i=1,2), Ai is the recruitment into patch i (i=1,2), di is the natural mortality rate, γi is the recovery rate of an infective individual in patch i (i=1,2), m is the migration rate form patch 1 to patch 2. Since the individuals can migrate from the first patch to the second, patch 1 is the source patch and patch 2 is the sink patch. The initial conditions is
Si(0)>0, Ii(0)≥0, i=1,2, I1(0)+I2(0)>0. | (2.2) |
Denote the population in patch i by Ni. Then Ni=Si+Ii. From system (2.1), the differential equations governing the evolution of N1 and N2 are
{dN1(t)dt=A1−(d1+m)N1,dN2(t)dt=A2−d2N2+mN1. | (2.3) |
Obviously, system (2.3) has a unique equilibrium (N∗1,N∗2)=(A1d1+m,A2d2+mA1d2(d1+m)) which is globally asymptotically stable for (2.3). So (2.1) is equivalent the following system
{dN1(t)dt=A1−(d1+−m)N1,dN2(t)dt=A2−d2N2+mN1,dI1(t)dt=β1(N1−I1)I11+α1I1−d1I1−mI1−γ1I1,dI2(t)dt=β2(N2−I2)I21+α2I2−d2I2+mI1−γ2I2. | (2.4) |
Because limt→∞Ni(t)→N∗i (i=1,2), system (2.4) leads to the following limit system
{dI1(t)dt=β1(N∗1−I1)I11+α1I1−d1I1−mI1−γ1I1,dI2(t)dt=β2(N∗2−I2)I21+α2I2−d2I2+mI1−γ2I2. | (2.5) |
Let Ω={(I1,I2)|0≤I1≤N∗1,0≤I2≤N∗2}. Then Ω is invariant region for system (2.5).
Define the basic reproduction number in the two patches respectively by R10=β1A1(d1+γ1+m)2=β1d1+γ1+mN∗1, R20=β2(d2+γ2)N∗2. The basic reproduction number R10 gives the expected secondary infections in the source patch produced by a primary infected individual in the source patch when the population is supposed to be in the disease-free equilibrium. The basic reproduction number R20 gives the expected secondary infections in the sink patch produced by a primary infected individual in the sink patch when the population is supposed to be in the disease-free equilibrium. Then we have the following theorem.
Theorem 3.1. For the system (2.5), we have
(i) The disease-free equilibrium E0:=(0,0) always exists;
(ii) The boundary equilibrium E1:=(0,β2N∗2−d2−γ2(d2+γ2)α2+β2) exists if R20>1;
(iii) There is a unique epidemic equilibrium E∗ if R10>1.
Proof. (ⅰ) can be easily proved.
Let
β1(N∗1−I1)I11+α1I1−d1I1−mI1−γ1I1=0, | (3.1) |
β2(N∗2−I2)I21+α2I2−d2I2+mI1−γ2I2=0. | (3.2) |
From Eq (3.1), we can have I1=0 always satisfies Eq (3.1). When I1=0, from Eq (3.2), we have
I2=β2N∗2−d2−γ2(d2+γ2)α2+β2. |
If R20>1, then I2=β2N∗2−d2−γ2(d2+γ2)α2+β2>0. So The boundary equilibrium E1:=(0,β2N∗2−d2−γ2(d2+γ2)α2+β2) exists if R20>1. The conclusion (ⅱ) is proved.
If R10>1, Eq (3.1) has a positive solution I∗1=β1N∗1−(d1+m+γ1)(d1+m+γ1)α1+β1. Solve Eq (3.2), we have
I2=(β2N∗2−d2−γ2+mα2I1)±√(β2N∗2−d2−γ2+mα2I1)2+4[(d2+γ2)α2+β2]mI12[(d2+γ2)α2+β2]. | (3.3) |
Substituting I∗1 into Eq (3.3), we have
I∗2=(β2N∗2−d2−γ2+mα2I∗1)±√(β2N∗2−d2−γ2+mα2I∗1)2+4[(d2+γ2)α2+β2]mI∗12[(d2+γ2)α2+β2]. |
Since I∗2≥0 is meaning only, we take
I∗2=(β2N∗2−d2−γ2+mα2I∗1)+√(β2N∗2−d2−γ2+mα2I∗1)2+4[(d2+γ2)α2+β2]mI∗12[(d2+γ2)α2+β2]. |
So if R10>1, there is a unique epidemic equilibrium E∗=(I∗1,I∗2), where I∗1=β1N∗1−(d1+m+γ1)(d1+m+γ1)α1+β1 and I∗2=(β2N∗2−d2−γ2+mα2I∗1)+√(β2N∗2−d2−γ2+mα2I∗1)2+4[(d2+γ2)α2+β2]mI∗12[(d2+γ2)α2+β2]. The conclusion (ⅲ) is proved.
This completes the proof of the theorem.
From the above analysis, we have the following theorem.
Theorem 3.2. For the system (2.5), we have
(i) If R10<1 and R20<1, there is the disease-free equilibrium E0 only;
(ii) If R10<1 and R20>1, there are the disease-free equilibrium E0 and the boundary equilibrium E1;
(iii) If R10>1 and R20<1, there are the disease-free equilibrium E0 and the epidemic equilibrium E∗;
(iv) If R10>1 and R20>1, there are the disease-free equilibrium E0, the boundary equilibrium E1 and the epidemic equilibrium E∗.
Remark 3.1. Define the basic reproduction number R0 of the system (2.5) by the spectral radius of the next generation matrix [20], we have
R0=ρ(β1d1+γ1+mN∗10−mβ2N∗2(d2+γ2)(d1+γ1+m)β2(d2+γ2)N∗2), |
where ρ(A) denotes the spectral radius of a matrix A. So from the above analysis, we know that R0=max{R10,R20}.
The next, we shall discuss the local stability of the disease-free equilibrium firstly. Then we discuss the global asymptotical stability.
Theorem 3.3. For the system (2.5), we have
(i) If R10<1 and R20<1, the disease-free equilibrium E0 is locally asymptotically stable;
(ii) If R10>1 or R20>1, the disease-free equilibrium E0 is unstable.
Proof. The linearized system of (2.5) at the equilibrium E0 is
{dI1(t)dt=(β1N∗1−d1−m−γ1)I1,dI2(t)dt=(β2N∗2−d2−γ2)I2+mI1. | (3.4) |
The associated characteristic equation of the linearized system of (3.4) at the equilibrium E0 is
F(λ)=|λ−(β1N∗1−(d1+m+γ1))0−mλ−(β2N∗2−d2−γ2)|=0 | (3.5) |
It is easy to see that the two eigenvalues of characteristic Eq (3.5) are
λ1=β1N∗1−(d1+m+γ1)=(R10−1)(d1+m+γ1) |
and
λ2=β2N∗2−d2−γ2=(R20−1)(d2+γ2). |
So, when R10<1 and R20<1, the disease-free equilibrium E0 is locally asymptotically stable; However, if R10>1 or R20>1, the disease-free equilibrium E0 is unstable.
Remark 3.2. From Theorem 3.3, we know that for the system (2.5), if R0<1 the disease-free equilibrium E0 is locally asymptotically stable; if R0>1, the disease-free equilibrium E0 is unstable.
Theorem 3.4. For the system (2.5), if R10<1 and R20<1, the disease-free equilibrium E0 is globally asymptotically stable.
Proof. Since Ii1+αiIi≤Ii for i=1,2, from system (2.5), we can obtain that
{dI1(t)dt≤(β1N∗1−d1−m−γ1)I1,dI2(t)dt≤(β2N∗2−d2−γ2)I2+mI1. | (3.6) |
Define an auxiliary linear system using the right hand side of (3.6) as follows
{dI1(t)dt=(β1N∗1−d1−m−γ1)I1,dI2(t)dt=(β2N∗2−d2−γ2)I2+mI1. |
It can be rewritten as
(I1I2)′=(β1N∗1−d1−m−γ10mβ2N∗2−d2−γ2)(I1I2). | (3.7) |
if R10<1 and R20<1, we can solve (3.7) and know that limt→∞I1(t)=0 and limt→∞I2(t)=0. By the comparison principle [21], we can conclude that when R10<1 and R20<1, all non-negative solutions of (2.5) satisfy limt→∞Ii(t)=0 for i=1,2. So the disease-free equilibrium E0 is globally asymptotically stable.
In this subsection, we will discuss the local stability of the boundary equilibrium firstly. Then discuss the global asymptotical stability.
Theorem 3.5. For the system (2.5), if R10<1 and R20>1, the boundary equilibrium E1 is globally asymptotically stable.
Proof. The Jacobian matrix at the boundary equilibrium E1 of system (2.5) is
J=(β1N∗1−d1−m−γ10m(d2+γ2)(1−R20)−(β2α2+α22)((d2+γ2)(R20−1)(d2+γ2)α2+β2)2(1+α2(d2+γ2)(R20−1)(d2+γ2)α2+β2)2). |
The two eigenvalues of the Jacobian matrix are
λ1=β1N∗1−(d1+m+γ1)=(R01−1)(d1+m+γ1) |
and
λ2=(d2+γ2)(1−R02)−(β2α2+α22)((d2+γ2)(R2−1)(d2+γ2)α2+β2)2(1+α2(d2+γ2)(R2−1)(d2+γ2)α2+β2)2. |
So, when R10<1 and R20>1, λ1<0 and λ2<0. That is the boundary equilibrium E1 is locally asymptotically stable.
For every (I1(0),I2(0))∈Ω, assume the solution of the system (2.5) with initial value (I1(0),I2(0)) is (I1(t),I2(t)). Since
dI1(t)dt=(β1+(d1+γ1)α1+mα1)(β1N∗1−d1−m−γ1β1+(d1+γ1)α1+mα1−I1)I11+α1I1, |
if R10<1, dI1(t)dt<0, then I1(t) is positive and decreasing and limt→∞I1(t)=0. So for sufficiently small positive number ϵ1, there exists a T, such that I1(T)=ϵ1 and I1(t)<ϵ1 when t>T.
The following, we prove that for any ϵ>0, there exists a T∗>T such that |I2(T∗)−β2N∗2−d2−γ2β2+(d2+γ2)α2|<ϵ. And because E1=(0,β2N∗2−d2−γ2β2+(d2+γ2)α2) is locally asymptotically stable, we have E1 is globally asymptotically stable.
Since
dI2(t)dt=(β2+(d2+γ2)α2)(β2N∗2−d2−γ2β2+(d2+γ2)α2−I2)I21+α2I2+mI1, |
if I2(T)<β2N∗2−d2−γ2β2+(d2+γ2)α2, then dI2(t)dt>0 for t>T. So I2(t) is increasing and there exists T∗1 such that |I2(T∗1)−β2N∗2−d2−γ2β2+(d2+γ2)α2|<ϵ;
if I2(T)>β2N∗2−d2−γ2β2+(d2+γ2)α2, there are two cases:
ⅰ) I2(t) is decreasing for t>T. In this case, there exists T∗2>T, such that |I2(T∗2)−β2N∗2−d2−γ2β2+(d2+γ2)α2|<ϵ;
ⅱ) There exists T1>T, such that dI2(T1)dt>0. That is
(β2+(d2+γ2)α2)(β2N∗2−d2−γ2β2+(d2+γ2)α2−I2(T1))I2(T1)1+α2I2(T1)+mI1(T1)>0. |
Since I1(t)<ϵ1 for t>T, we have
(β2+(d2+γ2)α2)(β2N∗2−d2−γ2β2+(d2+γ2)α2−I2(T1))I2(T1)1+α2I2(T1)+mϵ1>0. |
Since I2(T)>β2N∗2−d2−γ2β2+(d2+γ2)α2, we have
(β2+(d2+γ2)α2)(β2N∗2−d2−γ2β2+(d2+γ2)α2−I2(T1))α2+β2+(d2+γ2)α2β2N∗2−d2−γ2+mϵ1>0. |
So
I2(T1)−β2N∗2−d2−γ2β2+(d2+γ2)α2<α2+β2+(d2+γ2)α2β2N∗2−d2−γ2(d2+γ2)α2+β2mϵ1. |
If only ϵ1<(d2+γ2)α2+β2(α2+β2+(d2+γ2)α2β2N∗2−d2−γ2)mϵ, then |I2(T∗2)−β2N∗2−d2−γ2β2+(d2+γ2)α2|<ϵ. It is completed.
In this subsection, we will discuss the local stability of the epidemic equilibrium firstly and then discuss the global asymptotical stability.
Theorem 3.6. For the system (2.5), if R10>1, the epidemic equilibrium E∗ is locally asymptotically stable.
Proof. The Jacobian matrix at the epidemic equilibrium E∗ of system (2.5) is
J=(−β1I1∗1+α1I∗1+β1(N∗1−I∗1)(1+α1I∗1)2−d1−m−γ10mβ2N∗2−2β2I∗2−2β2α2I∗22−(d2+γ2)(1+α2I∗2)2(1+α2I∗2)2)=((d1+m+γ1)1−R10−(β1α1d1+m+γ1+α21)I∗21(1+α1I∗1)20mβ2N∗2−2β2I∗2−2β2α2I∗22−(d2+γ2)(1+α2I∗2)2(1+α2I∗2)2). |
The two eigenvalues of the Jacobian matrix are
λ1=(d1+m+γ1)1−R10−(β1α1d1+m+γ1+α21)I∗21(1+α1I∗1)2 |
and
λ2=β2N∗2−2β2I∗2−2β2α2I∗22−(d2+γ2)(1+α2I∗2)2(1+α2I∗2)2. |
It is easy to see that if R10>1, λ1<0. The next, we need only prove the second eigenvalue λ2<0 if R10>1. Since (1+α2I∗2)2>0, we need only prove β2N∗2−2β2I∗2−2β2α2I∗22−(d2+γ2)(1+α2I∗2)2<0. Let
G(I∗2)=β2N∗2−2β2I∗2−2β2α2I∗22−(d2+γ2)(1+α2I∗2)2. |
Since I∗2≥(β2N∗2−d2−γ2+mα1I∗1)(d2+γ2)α2+β2, so
G(I∗2)=β2N∗2−2β2I∗2−2β2α2I∗22−(d2+γ2)(1+α2I∗2)2≤β2N∗2−(β2+(d2+γ2)α2)(β2N∗2−d2−γ2+mα1I∗1)(d2+γ2)α2+β2−d2−γ2=−mα1I∗1<0. |
This completes the proof.
Theorem 3.7. For the systeml (2.5), if R10>1, the epidemic equilibrium E∗ is globally asymptotically stable.
Proof. Since E∗ is stable when R10>1, we need only prove E∗ is globally attractive.
Consider the equation
dI1(t)dt=I1(β1(N∗1−I1)1+α1I1−d1−m−γ1). |
Let
f1(I1)=β1(N∗1−I1)1+α1I1−d1−m−γ1. |
Then f′1(I1)=β1−1−N∗1α1(1+α1I1)2<0. So f1(I1) is a monotonic decreasing function for all I1>0. Furthermore, f1(0)>0, f1(N∗1)<0 and f1(I∗1)=0 when R10>1. That means if I1∈(0,I∗1), f1(I1)>0 and dI1(t)dt>0; if I1∈(I∗1,N∗1), f1(I1)<0 and dI1(t)dt<0. Hence limt→∞I1(t)=I∗1. By Eq (3.3), limt→∞I2(t)=I∗2. Thus E∗ is globally asymptotically stable.
The results about the existence and stability of equilibria are summarized in Table 1.
Conditions | E0 | E1 | E∗ |
R10<1 and R20<1 | Yes (GAS) | No | No |
R10<1 and R20>1 | Yes (Unstable) | Yes (GAS) | No |
R10>1 and R20<1 | Yes (Unstable) | No | Yes (GAS) |
R10>1 and R20>1 | Yes (Unstable) | Yes (Unstable) | Yes (GAS) |
Remark 3.3. From Theorems 3.5 and 3.7, we know that for the system (2.5), if R0>1, the infectious disease is uniformly persistent. However, the infectious disease is not always uniformly persistent in every patch. If R0>1, but R10<1, the disease is uniformly persistent in the sink patch, but is extinct in the source patch. If R10>1, the disease is always uniformly persistent in every patch. This is a different conclusion resulted by the reducible migration matrix.
Remark 3.4. From Theorem 3.5, in the case that R10<1 and R20>1, the infection does not persist in the source patch but is able to persist in the sink patch. So, in the early stage of the spread of infectious disease, the sink patch should assess the reproduction number R20 reasonably and take control measures timely to prevent the epidemic.
In this section, we carry on numerical simulations to verify the theoretical conclusions, reveal the influence of the migration rate form patch 1 to patch 2 on the basic reproduction number, the transmission scale and transmission speed, and discuss the influence of the parameters α1 and α2 that measure the inhibitory effect on the basic reproduction number, the transmission scale and transmission speed.
To numerically illustrate the theoretical results, we need to choose some parameter values (see Table 2).
Parameter | Description | Value |
A1 | the recruitment rate of the population in patch 1 | 0.018 (Figures 1 and 2) |
0.03 (Figure 3) | ||
A2 | the recruitment rate of the population in patch 2 | 0.0005 (Figure 1) |
0.004 (Figures 2 and 3) | ||
β1 | the transmission rate in patch 1 | 0.00001 |
β2 | the transmission rate in patch 2 | 0.00005 |
α1 | the parameter that measure the inhibitory effect in patch 1 | 0.02 |
α2 | the parameter that measure the inhibitory effect in patch 1 | 0.02 |
d1 | the death rate in patch 1 | 0.0003 |
d2 | the death rate in patch 2 | 0.0003 |
γ1 | the death rate in patch 1 | 0.0001 |
γ2 | the death rate in patch 2 | 0.0001 |
m | the migration rate form the patch 1 to the patch 2 | 0.00005 |
We verify the theoretical conclusions firstly. Denote the density of the infective individuals in patch 1 by i1(t)=I1(t)N∗1. Denote the density of the infective individuals in patch 2 by i2(t)=I2(t)N∗2. Figure 1 shows the evolution of the density of infective individuals in the two patches when R10=0.8889 and R20=0.7500. As predicted by the analytic calculation, the infectious disease in the two patches will disappear eventually. Figure 2 shows the evolution of the density of infective individuals in the two patches when R10=0.8889 and R20=1.8750. We can see the infectious disease will be endemic in patch 2 and the infectious disease in patch 1 will disappear eventually. Figure 3 shows the evolution of the density of infective individuals in the two patches when R10=1.4815 and R20=2.2917. We can see the infectious disease will be endemic in the two patches. And we can see the infectious disease will be endemic in the two patches if R10>1 from the subfigures (c) and (d) of Figure 4.
Second, we reveal the influence of the migration rate m on the transmission in Figure 5. With the increasing of m, the density of infective individuals in patch 1 i1 is decreasing, however the density of infective individuals in patch 2 i2 is increasing.
Third, we reveal the parameters α1 and α2 on the transmission scale and transmission speed. We can see that when α1 is increasing, the density of infective individuals in patch 1 i1 is decreasing from Figure 6 and When α2 is increasing, the density of infective individuals in patch 2 i1 is decreasing from Figure 7.
Many scholars have studied infectious disease transmission with population migration [1,2,3,4,5,6,7], assuming that the migration matrix is irreducible, and found that the propagation dynamics of infectious diseases is determined by the basic reproduction number of the system. When the basic reproduction number is less than 1, the infectious disease eventually becomes extinct; when the basic reproduction number is larger than 1, the infectious disease is epidemic eventually. Since the migration matrix is irreducible, all patches are a connected whole. In all patches, infectious diseases are either extinct or epidemic. That is there is not the phenomenon that infectious diseases are extinct in some patches but epidemic in the others.
Because the studies about the spread of infectious diseases with reducible migration matrix are rare, in this paper, we proposed a two-patch SIS model with saturating contact rate and one-directing population dispersal, discussed the global asymptotic stability of the disease-free equilibrium, the boundary equilibrium and the endemic equilibrium respectively, and revealed the influence of saturating contact rate and migration rate on basic reproduction number and the transmission scale. We have the following main conclusions:
1) If R10>1 then the system tends to a global endemic equilibrium in which infected individuals are present in both patches provided initially there were infected individuals in the source patch; If R10<1 and R20>1 then the system converges to an equilibrium with infected individuals only in the sink patch; If R10<1 and R20<1 then the system converges to the disease-free equilibrium.
2) When migration rate is increasing, the density of infective individuals in the source patch is decreasing; but the density of infective individuals in the sink patch is increasing;
3) With the increasing of the parameter αi (i=1,2) in saturating contact rate, the density of infective individuals in patch i (i=1,2) is decreasing.
The similar conclusions can be obtained for the two patch SI model
{dS1(t)dt=A1−d1S1−β1S1I11+α1I1−mS1,dS2(t)dt=A2−d2S2−β2S2I21+α2I2+mS1,dI1(t)dt=β1S1I11+α1I1−d1I1−mI1,dI2(t)dt=β2S2I21+α2I2−d2I2+mI1. |
We can generalize the current model in many aspects to increase realism. For instance, the infection rate can be given by β(I)SI. We can give the properties on function β(I) such that β(I) is decreasing and tends to 0 when I tends to infinity. The mortality rates of the susceptible and infected individuals are the same in the current model. In fact, the disease-induced death rate can not be neglected sometimes. So the disease-induced death rate can be considered. It is also significant to consider heterogeneous number of contacts for each individual on complex network. There are many paper on this topic [22,23]. One can investigate the multi-patch epidemic model with reducible migration matrix.
This work is supported by the National Natural Sciences Foundation of China (Nos.12001501, 12071445, 11571324, 61603351), Shanxi Province Science Foundation for Youths (201901D211216), the Fund for Shanxi '1331KIRT'.
All authors declare no conflicts of interest in this paper.
[1] |
P. Cui, S. Wang, Application of microfluidic chip technology in pharmaceutical analysis: A review, J. Pharmaceut. Ana., 9 (2019), 238–247. https://doi.org/10.1016/j.jpha.2018.12.001 doi: 10.1016/j.jpha.2018.12.001
![]() |
[2] | M. Tokeshi, Applications of microfluidic systems in biology and medicine, Springer, (2019). https://doi-org/10.1007/978-981-13-6229-3 |
[3] |
S. Li, Z. Ma, Z. Cao, L. Pan, Y. Shi, Advanced wearable microfluidic sensors for healthcare monitoring, Small, 16 (2020), 1903822. https://doi.org/10.1002/smll.201903822 doi: 10.1002/smll.201903822
![]() |
[4] |
M. Yew, Y. Ren, K. S. Koh, C. Sun, C. Snape, A review of state-of-the-art microfluidic technologies for environmental applications: Detection and remediation, Global Challenges, 3 (2019), 1800060. https://doi.org/10.1002/gch2.201800060 doi: 10.1002/gch2.201800060
![]() |
[5] | U. Hashim, P. N. A. Diyana, T. Adam, Numerical simulation of Microfluidic devices, 2012 10th IEEE International Conference on Semiconductor Electronics (ICSE), (2012), 26–29. https://doi.org/10.1109/SMElec.2012.6417083 |
[6] | D. Erickson, Towards numerical prototyping of labs-on-chip: Modeling for integrated microfluidic devices, Microfluid Nanofluid, 1 (2005), 301–318. https://doi-org/10.1007/s10404-005-0041-z |
[7] |
P. Hadikhani, S. Majidi, A. Afshari, Numerical simulation of droplet formation in different microfluidic devices, P. I. Mech. Eng. C-J Mec., 234 (2020), 3776–3788. https://doi.org/10.1177/0954406220916480 doi: 10.1177/0954406220916480
![]() |
[8] |
J. Wang, V. G. J. Rodgers, P. Brisk, W. H. Grover, Instantaneous simulation of fluids and particles in complex microfluidic devices. PLOS ONE, 12 (2017), e0189429. https://doi.org/10.1371/journal.pone.0189429 doi: 10.1371/journal.pone.0189429
![]() |
[9] | R. Qiao, N. R. Aluru, A compact model for electroosmotic flows in microfluidic devices, J. Micromec.h Microeng., 12 (2002), 625–635. |
[10] |
W. Jeon, C. B. Shin, Design and simulation of passive mixing in microfluidic systems with geometric variations, CAN. J. Chem. Eng., 152 (2009), 575–582. https://doi.org/10.1016/j.cej.2009.05.035 doi: 10.1016/j.cej.2009.05.035
![]() |
[11] | A. Maha, D. O. Barrett, D. E. Nikitopoulos, S. A. Soper, M. C. Murphy, Simulation and design of micromixers for microfluidic devices, P. SoC Photo-Opt. Ins., International Society for Optics and Photonics, (2003), 183–193. https://doi.org/10.1117/12.530788 |
[12] |
J. Koo, C. Kleinstreuer, Liquid flow in microchannels: Experimental observations and computational analyses of microfluidics effects, J. Micromech. Microeng., 13 (2003), 568–579. https://doi.org/10.1088/0960-1317/13/5/307 doi: 10.1088/0960-1317/13/5/307
![]() |
[13] |
C. Y. Lee, W. T. Wang, C. C. Liu, L. M. Fu, Passive mixers in microfluidic systems: A review, CAN. J. Chem. Eng., 288 (2016), 146–160. https://doi.org/10.1016/j.cej.2015.10.122 doi: 10.1016/j.cej.2015.10.122
![]() |
[14] |
Y. K. Suh, S. Kang, A Review on Mixing in Microfluidics, Micromachines, 1 (2010), 82–111. https://doi.org/10.3390/mi1030082 doi: 10.3390/mi1030082
![]() |
[15] | P. Tabeling, Introduction to Microfluidics, Oxford University Press, USA, 2005. |
[16] | W. Hundsdorfer, J. Verwer, Numerical Solution of Time-Dependent Advection-Diffusion-Reaction Equations, Springer-Verlag Berlin Heidelberg, 2003. |
[17] |
I. M. Hsing, R. Srinivasan, M. P. Harold, K. F. Jensen, M. A. Schmidt, Finite element simulation strategies for microfluidic devices with chemical reactions, Proceedings of International Solid State Sensors and Actuators Conference (Transducers '97), 2 (1997), 1015–1018. https://doi.org/10.1109/SENSOR.1997.635357 doi: 10.1109/SENSOR.1997.635357
![]() |
[18] | Comsol, COMSOL Multiphysics® Modeling Software, 2019. |
[19] | Microfluidics Software—For Simulating Microfluidics Devices. Available from: https://www.comsol.fr/microfluidics-module |
[20] |
C. Prud'homme, V. Chabannes, V. Doyeux, M. Ismail, A. Samake, G. Pena, Feel++: A computational framework for Galerkin Methods and Advanced Numerical Methods, ESAIM Proceed., 38 (2012), 429–455. https://doi.org/10.1051/proc/201238024 doi: 10.1051/proc/201238024
![]() |
[21] | N. Zaidon, A. N. Nordin, A. F. Ismail, Modelling of microfluidics network using electric circuits, 2015 IEEE Regional Symposium on Micro and Nanoelectronics (RSM), (2015), 1–4. https://doi.org/10.1109/RSM.2015.7354954 |
[22] |
K. W. Oh, K. Lee, B. Ahn, E. P. Furlani, Design of pressure-driven microfluidic networks using electric circuit analogy, Lab Chip, 12 (2012), 515–545. https://doi.org/10.1039/C2LC20799K doi: 10.1039/C2LC20799K
![]() |
[23] |
M. H. V. Werts, V. Raimbault, R. Texier-Picard, R. Poizat, O. Français, L. Griscomab, et al., Quantitative full-colour transmitted light microscopy and dyes for concentration mapping and measurement of diffusion coefficients in microfluidic architectures, Lab Chip, 12 (2012), 808–820. https://doi.org/10.1039/c2lc20889j doi: 10.1039/c2lc20889j
![]() |
[24] |
F. A. Perdigones, A. Luque, J. M. Quero, Correspondence between electronics and fluids in mems: designing microfluidic systems using electronics, IEEE Indust. Electron. Magaz., 8 (2014), 6–17. https://doi.org/10.1109/MIE.2014.2318062 doi: 10.1109/MIE.2014.2318062
![]() |
[25] | H. Xie, X. Zhao, H. Yang, Experimental and numerical study on a planar passive micromixer with semicircle mixing elements, 2010 IEEE/ASME International Conference on Advanced Intelligent Mechatronics, (2010), 1013–1016. https://doi.org/10.1109/AIM.2010.5695817 |
[26] |
H. L. The, H. L. Thanh, T. Dong, Q. B. Ta, N. Tran-Minh, F. Karlsen, An effective passive micromixer with shifted trapezoidal blades using wide Reynolds number range, Chem. Eng. Res. Des., 93 (2015), 1–11. https://doi.org/10.1016/j.cherd.2014.12.003 doi: 10.1016/j.cherd.2014.12.003
![]() |
[27] | K. Kundert, O. Zinke, The Designer's Guide to Verilog-AMS, Springer US, 2004. https://doi.org/10.1109/BMAS.2009.5338896 |
[28] | Y. Zeng, F. Azizi, C. H. Mastrangelo, Behavioral modeling of solute tracking in microfluidics, 2009 IEEE Behavioral Modeling and Simulation Workshop, (2009), 1–6. https://doi.org/10.1109/BMAS.2009.5338896 |
[29] |
A. Voig, J. Schreiter, P. Frank, C. Pini, C. Mayr, A. Richter, Method for the computer-aided schematic design and simulation of hydrogel-based microfluidic systems, IEEE T Comput. Aid. D. 39 (2010), 1635–1648. https://doi.org/10.1109/TCAD.2019.2925354 doi: 10.1109/TCAD.2019.2925354
![]() |
[30] |
Y. Gendrault, M. Madec, C. Lallemen, J. Haiech, Modeling biology with HDL languages: A first step toward a genetic design automation tool inspired from microelectronics, IEEE T Bio-med. Eng. 61 (2014), 1231–1240. https://doi.org/10.1109/TBME.2014.2298559 doi: 10.1109/TBME.2014.2298559
![]() |
[31] | M. Madec, L. Hebrard, J. B. Kammerer, A. Bonament, E. Rosati, C. Lallement, Multiphysics simulation of biosensors involving 3d biological reaction-diffusion phenomena in a standard circuit EDA environment, IEEE T. Circuits-I Regular Papers, (2019), 1–10. https://doi.org/10.1109/TCSI.2018.2885223 |
[32] | A. Bonament, A. Prel, J. M. Sallese, M. Madec, C. Lallement, Compact model for continuous microfluidic mixer, 2020 27th International Conference on Mixed Design of Integrated Circuits and System (MIXDES), (2020), 35–39. https://doi.org/10.23919/MIXDES49814.2020.9155997 |
Conditions | E0 | E1 | E∗ |
R10<1 and R20<1 | Yes (GAS) | No | No |
R10<1 and R20>1 | Yes (Unstable) | Yes (GAS) | No |
R10>1 and R20<1 | Yes (Unstable) | No | Yes (GAS) |
R10>1 and R20>1 | Yes (Unstable) | Yes (Unstable) | Yes (GAS) |
Parameter | Description | Value |
A1 | the recruitment rate of the population in patch 1 | 0.018 (Figures 1 and 2) |
0.03 (Figure 3) | ||
A2 | the recruitment rate of the population in patch 2 | 0.0005 (Figure 1) |
0.004 (Figures 2 and 3) | ||
β1 | the transmission rate in patch 1 | 0.00001 |
β2 | the transmission rate in patch 2 | 0.00005 |
α1 | the parameter that measure the inhibitory effect in patch 1 | 0.02 |
α2 | the parameter that measure the inhibitory effect in patch 1 | 0.02 |
d1 | the death rate in patch 1 | 0.0003 |
d2 | the death rate in patch 2 | 0.0003 |
γ1 | the death rate in patch 1 | 0.0001 |
γ2 | the death rate in patch 2 | 0.0001 |
m | the migration rate form the patch 1 to the patch 2 | 0.00005 |
Conditions | E0 | E1 | E∗ |
R10<1 and R20<1 | Yes (GAS) | No | No |
R10<1 and R20>1 | Yes (Unstable) | Yes (GAS) | No |
R10>1 and R20<1 | Yes (Unstable) | No | Yes (GAS) |
R10>1 and R20>1 | Yes (Unstable) | Yes (Unstable) | Yes (GAS) |
Parameter | Description | Value |
A1 | the recruitment rate of the population in patch 1 | 0.018 (Figures 1 and 2) |
0.03 (Figure 3) | ||
A2 | the recruitment rate of the population in patch 2 | 0.0005 (Figure 1) |
0.004 (Figures 2 and 3) | ||
β1 | the transmission rate in patch 1 | 0.00001 |
β2 | the transmission rate in patch 2 | 0.00005 |
α1 | the parameter that measure the inhibitory effect in patch 1 | 0.02 |
α2 | the parameter that measure the inhibitory effect in patch 1 | 0.02 |
d1 | the death rate in patch 1 | 0.0003 |
d2 | the death rate in patch 2 | 0.0003 |
γ1 | the death rate in patch 1 | 0.0001 |
γ2 | the death rate in patch 2 | 0.0001 |
m | the migration rate form the patch 1 to the patch 2 | 0.00005 |