Previous Article in Journal
Fermi Condensation Flows Induced by Ricci Flows in the String σ Model
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Integrable Models for the Spread of Disease

Department of Mathematical Sciences, Kent State University at Stark, 6000 Frank Ave NW, North Canton, OH 44720, USA
Mod. Math. Phys. 2025, 1(2), 8; https://doi.org/10.3390/mmphys1020008
Submission received: 1 July 2025 / Revised: 10 September 2025 / Accepted: 16 September 2025 / Published: 22 September 2025

Abstract

The integrable versions of SIR epidemic models are introduced. The exact solutions of these models are derived. The advantage of these models is the possibility of full analysis of obtained solutions and the simplicity of explicit formulas for the important metrics of spread of disease. The effectiveness of these formulas is illustrated by applications to the spread of COVID-19.

1. Introduction

In 1760, to show the effectiveness of inoculation, Daniel Bernoulli [1] introduced a mathematical model to estimate the life expectancy of a population affected by smallpox virus.
A general model of spread of a disease was developed in 1927 by Kermack and McKendrick [2] with its special case: SIR model. This model splits a population into three compartments: susceptible (S) to the infection, infectious (I) and removed (R) (recovered, isolated or deceased).
In [3], Norman Bailey studied deterministic and stochastic mathematical models in epidemiology. He introduced an integrable version of the SIR model.
For a presentation of mathematical models in epidemiology before the year 2000, see the survey article of H. W. Hethcote [4].
The SIR model has been solved numerically by various numerical methods: Taylor approximation, Pade approximations, time series, spectral truncation method and so on. Disadvantages of approximation methods are the error estimates requirements, which are not always possible to satisfy.
In 2014, T. Harko, F. S. N. Lobo and M. K. Mak [5] obtained an exact analytical solution to the SIR model (containing integrals that can only be evaluated numerically), and the effectiveness of various control strategies for epidemic models was studied in [6].
Intensive biological, medical and mathematical studies of the COVID-19 pandemic were conducted in 2020–2025 [7,8,9,10,11,12,13,14,15,16,17,18,19].
An accurate analytic expression and approximation of solutions for the SIR model with applications to COVID-19 was obtained in 2021 by Kröger and Schlickeiser [14,15,16].
In [13], G. Gaeta introduced A-SIR model with numerical analysis of the spread of disease by taking into account the presence of asymptomatic (undetected) infectives.
In [11], a new class of kinetic epidemic models was introduced which was capable of incorporating the social heterogeneity of a population. The numerical simulations confirmed the ability of the model to describe the rapid spread of infection. In [8], the discrete-time epidemic model is considered with the goal of investigating the daily behavior of reproduction number. The approximation methods used in this paper are the time series and spectral truncation. In [9], the kinetic model was proposed and studied for disease spread where the disease transmission depends on viral loads of compartments. Analysis of epidemic dynamics was performed based on stability and bifurcation theory. In [10], a SIR-like kinetic model was proposed where contact rates depend on the behavioral patterns adopted across the population. In [19], a comprehensive overview is given about the capabilities of artificial intelligence in disease forecasting with a large bibliography therein.
In this paper, we introduce new integrable versions of Gaeta’s model. The spread of diseases of these models is similar to the dynamics of the SIR model with additional details and practical formulas for important metrics. The model’s efficiency is illustrated by applications to COVID-19.
In Section 2, the modified Gaeta’s epidemic model is studied. The results of Section 2 are formulated in Theorem 1.
In Section 3, another integrable epidemic model is considered, which is a combination of Bailey’s and Gaeta’s model. The results of Section 3 are formulated in Theorem 2.
This research did not receive any specific grant from funding agencies in the public, commercial, or not-for-profit sectors.

2. Modified Gaeta Model

Consider A-SIR (or Gaeta’s) model [13]:
S ( t ) = a S ( t ) ( I ( t ) + J ( t ) ) , I ( t ) = a ξ S ( t ) ( I ( t ) + J ( t ) ) b I ( t ) ,
J ( t ) = a ( 1 ξ ) S ( t ) ( I ( t ) + J ( t ) ) η J ( t ) R ( t ) = b I ( t ) , U ( t ) = η J ( t ) , t t 0 ,
S ( t 0 ) + I ( t 0 ) + J ( t 0 ) + R ( t 0 ) + U ( t 0 ) = 1 .
Here, S ( t ) = s ( t ) / N is a proportion of susceptible population at time t, s ( t ) is a number of susceptible people out of local population N, and I ( t ) and J ( t ) are the proportions of symptomatic and asymptomatic infectious people (infectives), correspondingly. R ( t ) and U ( t ) are the proportions of removed (recovered or isolated) infectives out of symptomatic and asymptomatic compartments correspondingly with constant removal rates b > 0 and η > 0 . a > 0 is the constant rate of transmission of infection, ξ is the probability to detect infected individuals, and T = 1 / b , T 1 = 1 / η are the duration times of a disease (in days). In this paper, we will assume that the rates of removal are the same: b = η , T 1 = T .
Note that the functions S ( t ) , I ( t ) , J ( t ) , R ( t ) , U ( t ) are less or equal to 1 and non-negative.
A ratio of
α 0 : = a S ( t 0 ) / b
is called a basic reproduction number.
The spread of disease starts if S ( t 0 ) < 1 , I ( t 0 ) > 0 , which in the case J ( t 0 ) 0 means
α 0 = a S ( t 0 ) / b > 1 .
Indeed, from
I ( t 0 ) = a S ( t 0 ) ( I ( t 0 ) + J ( t 0 ) ) b I ( t 0 ) > 0
or
a S ( t 0 ) ( I ( t 0 ) + J ( t 0 ) ) b I ( t 0 ) I ( t 0 ) ( S ( t 0 ) a b ) > 0 ,
we get
a S ( t 0 ) > b , S ( t 0 ) > b / a .
A number
k : = b / a
is called the epidemic threshold.
In this section, we will discuss an integrable version of Gaeta’s model:
S ( t ) = a ( I ( t ) + J ( t ) ) S ( t ) , I ( t ) = a ξ ( I ( t ) + J ( t ) ) S ( t ) b I ( t ) , R ( t ) = b I ( t ) ,
J ( t ) = a ( 1 ξ ) ( I ( t ) + J ( t ) ) S ( t ) η J ( t ) , U ( t ) = η J ( t ) , t > t 0 .
S ( t 0 ) + I ( t 0 ) + J ( t 0 ) + R ( t 0 ) + U ( t 0 ) = 1 , a , b , η are positive constants , 0 ξ 1 .
In this model, it is assumed that the rate of increase of infectives I ( t ) is proportional to ( I ( t ) + J ( t ) ) S ( t ) . The advantage of this model is that it is integrable with simple explicit formulas for the behavior of the spread of infection.
From (1), we have
I S : = d I d S = I ( t ) S ( t ) = ξ + I ( t ) b a ( I ( t ) + J ( t ) ) S ( t ) ,
J S : = d J d S = J ( t ) S ( t ) = ξ 1 + J ( t ) η a ( I ( t ) + J ( t ) ) S ( t ) ,
η I S + b J S = η ξ + b ( ξ 1 ) + b η a S ( t ) .
By integration
η I ( t ) + b J ( t ) = ( η ξ + b ξ b ) S ( t ) + 2 S ( t ) η b / a + b C 1 .
If
b = η
we get
b ( I ( t ) + J ( t ) ) = b S ( t ) + 2 b 2 S ( t ) / a + b C 1
I ( t ) + J ( t ) = C 1 S ( t ) + 2 k S ( t ) , b = η .
Applying the initial condition at t = t 0 to (3) and assuming R ( t 0 ) = U ( t 0 ) = 0 , we have
C 1 = J 0 + I 0 + S 0 2 k S 0 = 1 2 k S 0 ,
or
C 1 = 1 2 k S 0 = D 2 k 2 , D : = 1 2 k S 0 + k 2 .
From the first Equation (1),
( 2 S ( t ) ) t : = d d t 2 S ( t ) = a ( I ( t ) + J ( t ) ) .
Further,
b ( 2 S ( t ) ) t = a b ( I ( t ) + J ( t ) ) = a b C 1 a b S ( t ) + 2 a b k S ( t ) ,
and by substitution v = S ( t ) , we get
2 v t = a C 1 a v 2 + 2 a k v .
By separation of variables
d v v 2 2 k v C 1 = a d t 2 .
After integration, we get
1 2 k 2 + C 1 ln v k k 2 + C 1 v k + k 2 + C 1 = C 2 + a ( t t 0 ) / 2 , v = S ( t ) .
or
1 2 D ln v k D v k + D = C 2 + a ( t t 0 ) / 2 , D = k 2 + C 1 = k 2 2 k S 0 + 1 .
From (5) at initial time t = t 0 and notation S 0 : = S ( t 0 ) < 1 , we get
C 2 = 1 2 D ln S 0 k D S 0 k + D = 1 2 D ln D + k S 0 D k + S 0 .
Note that if
α 0 : = S 0 / k > 1 , then k 2 < k < S 0 < 1 .
From (1), it follows that S ( t ) is a decreasing function and
k < S ( t ) < S ( t 0 ) < 1 .
Denoting v = S ( t ) , we get
k v + D = k S + 1 S 0 + ( S 0 k ) 2 > k S + ( S 0 k ) > 0
and
k v D = k S 1 S 0 + ( S 0 k ) 2 < k S ( S 0 k ) < 0 ,
so, in the case of (7), we have
v k D v k + D = k v + D v k + D = 2 D v k + D 1 > 0 .
Solving
1 2 D ln k v + D v k + D = C 2 + a ( t t 0 ) 2
for v, we get
S ( t ) = v = k D + 2 D 1 + exp { D ( 2 C 2 + a ( t t 0 ) ) } ,
or
S ( t ) = k D tanh D C 2 + a ( t t 0 ) / 2 , D = k 2 2 k S 0 + 1 .
Note that a sigmoid function (8) appeared in the original Bernoulli paper [1] and later in the logistic equation of Verhulst.
Further, by substitution of (4) and (8) into (3), we get
I ( t ) + J ( t ) = 4 D 2 exp { D ( 2 C 2 + a ( t t 0 ) ) } ( 1 + exp { D ( 2 C 2 + a ( t t 0 ) ) } ) 2 , exp ( 2 D C 2 ) = ( D + k S 0 ) D k + S 0 ,
or
I ( t ) + J ( t ) = D 2 s e c h 2 D C 2 + a ( t t 0 ) / 2 .
Note that the function s e c h 2 ( · ) appeared also in paper [2] and later in the theory of solitons.
Since the maximum value D 2 of D 2 s e c h 2 ( D ( C 2 + a ( t t 0 ) / 2 ) is achieving at time when C 2 + a ( t m a x t 0 ) / 2 = 0 , we get
I m a x + J m a x = D 2 ,
or a (new) formula for the maximum value of infectives in terms of k , S 0 , N :
i m a x + j m a x = N D 2 = N ( k 2 2 k S 0 + 1 ) ,
and an explicit (new) formula for the peak time:
t m a x t 0 = 2 C 2 / a = 1 a D ln D + k S 0 D k + S 0 .
Note that from the SIR model ( ξ = 1 , J ( t ) 0 ), another formula is well known for the maximum value of infectives:
i m a x S I R = N 1 k + k ln k 1 I 0 ,
which is close to (12) if S 0 1 , I 0 0 , k 1 , ln ( k ) ( k 1 ) .
Introducing a rate of new cases of infectives
L ( t ) = I ( t ) + J ( t ) = 4 a D 3 exp { D ( 2 C 2 + a ( t t 0 ) ) } ( 1 exp { D ( 2 C 2 + a ( t t 0 ) ) } ) ( 1 + exp { D ( 2 C 2 + a ( t t 0 ) ) } ) 3 ,
we have in view of (6)
L = 4 a D 3 e a D ( t t 0 ) ( D + k S 0 ) ( D k + S 0 ) ( D k e a D ( t t 0 ) ( D + k S 0 ) + S 0 ) ( D k + e a D ( t t 0 ) ( D + k S 0 ) + S 0 ) 3
or
L ( t ) = 4 a D 3 exp ( a D ( t t 0 ) ) ( 1 S 0 ) ( D k exp ( a D ( t t 0 ) ) ( D + k S 0 ) + S 0 ) ( D ( exp ( a D ( t t 0 ) ) + 1 ) ( exp ( a D ( t t 0 ) ) 1 ) ( S 0 k ) ) 3 .
Further, from the equation of critical numbers of L ( t )
L ( t ) = ( I + J ) = 4 a 2 D 4 e D ( 2 C 2 + a ( t t 0 ) ) ( e 4 C 2 D + 2 a t D + e 2 a D t 0 4 e D ( 2 C 2 + a ( t t 0 ) ) ) ( e 2 C 2 D + a t D ) + e a D t 0 ) 4 = 0
we get an explicit formula for a peak time t = τ m a x of new cases
τ m a x = 1 a D ln ( 2 ± 3 ) e a D τ 0 2 C 2 D , τ m a x τ 0 = 1 a D ln ( 2 ± 3 ) e 2 C 2 D
or
τ m a x τ 0 = 1 a D ln ( 2 3 ) ( D k + S 0 ) D + k S 0 .
The peak value of the rate of new cases is given by formula
L m a x = L ( τ m ) = 2 a D 3 3 3 / 2 = 2 a ( 1 2 k S 0 + k 2 ) 3 / 2 3 3 / 2 .
Furthermore, from
I ( t ) = a ξ ( I ( t ) + J ( t ) ) S ( t ) b I ( t ) ,
using (8) and (10), we get
I ( t ) = 4 a ξ D 2 exp [ D ( 2 C 2 + a ( t t 0 ) ) ] ( 1 + exp [ D ( 2 C 2 + a ( t t 0 ) ) ] ) 2 k D + 2 D 1 + exp [ D ( 2 C 2 + a ( t t 0 ) ) ] b I ( t ) ,
and by the substitutions
y : = D ( 2 C 2 + a ( t t 0 ) ) , z : = e y = D + k S 0 D k + S 0 exp [ a D ( t t 0 ) ] ,
we have
I ( t ) + b I ( t ) = 4 a ξ D 2 z ( z + 1 ) 2 k D + 2 D z + 1 .
Multiplying by integrating factor exp [ b ( t t 0 ) ] , we get
( I ( t ) exp [ b ( t t 0 ) ] ) t = 4 a ξ D 2 z exp [ b ( t t 0 ) ] ( z + 1 ) 2 k D + 2 D z + 1 .
Since
b ( t t 0 ) = k y / D 2 C 2 , exp [ b ( t t 0 ) ] = exp ( k y / D ) exp ( 2 k C 2 ) ,
exp [ b ( t t 0 ) ] = z k / D exp ( 2 k C 2 ) = z k / D D + k S 0 D k + S 0 k / D , d z = y t z d t = a z D d t ,
we have
d I ( t ) e b ( t t 0 ) = 4 a ξ D 2 z e 2 k C 2 z k D ( z + 1 ) 2 k D + 2 D z + 1 d t
= 4 a ξ D 2 z e 2 k C 2 z k D ( z + 1 ) 2 a z D k D + 2 D z + 1 d z ,
and by integration
I ( t ) z k / D e 2 k C 2 = 4 ξ D e 2 k C 2 z 0 z z 1 k D ( z 1 + 1 ) 2 k D + 2 D z 1 + 1 d z 1 + I 0
or
I ( t ) z k / D = 4 ξ D z 0 z z 1 k D ( z 1 + 1 ) 2 k D + 2 D z 1 + 1 d z 1 + I 0 e 2 k C 2 .
By substitution
z = exp [ ( 2 C 2 + a ( t t 0 ) ) D ] = z 0 e a D ( t t 0 ) , z 0 = z ( t 0 ) = D + k S 0 D k + S 0
we have
I ( t ) z 0 exp [ a D ( t t 0 ) ] k / D = 4 ξ D z 0 z z 1 k / D ( z 1 + 1 ) 2 k D + 2 D z 1 + 1 d z 1 + I 0 z 0 k / D ,
or
I ( t ) = exp [ a k ( t 0 t ) ] 4 ξ D z 0 z ( z 1 / z 0 ) Q ( z 1 + 1 ) 2 k D + 2 D z 1 + 1 d z 1 + I 0 , Q = k / D .
The integral above in general is a combination of hypergeometric functions.
Theorem 1. 
Let b = η and (7) is satisfied. Then, the solutions of (1) are given by formulas
I ( t ) = exp [ a k ( t 0 t ) ] 4 ξ D z 0 z ( z 1 / z 0 ) Q exp { a k ( t t 0 ) } ( z 1 + 1 ) 2 k D + 2 D z 1 + 1 d z 1 + I 0 ,
S ( t ) = k D + 2 D 1 + exp { D ( 2 C 2 + a ( t t 0 ) ) } 2 ,
J ( t ) = 4 D 2 exp { D ( 2 C 2 + a ( t t 0 ) ) } ( 1 + exp { D ( 2 C 2 + a ( t t 0 ) ) } ) 2 I ( t ) ,
U ( t ) = b t 0 t J ( t ) 1 ) d t 1 , R ( t ) = 1 I ( t ) J ( t ) S ( t ) U ( t ) , R ( t 0 ) = U ( t 0 ) = 0 ,
C 2 = 1 2 D ln ( z 0 ) , z 0 = D + k S 0 D k + S 0 , D = k 2 2 k S 0 + 1 , Q = k / D .
The maximum number of infectives
i m a x + j m a x = N ( k 2 2 k S 0 + 1 )
is attained at the peak time:
t m a x = t 0 + 1 a D ln D k + S 0 D + k S 0 .
The rate of new cases of infectives is given by
L ( t ) = I ( t ) + J ( t )
= 4 a D 3 exp ( a D ( t t 0 ) ) ( 1 S 0 ) ( D k exp ( a D ( t t 0 ) ) ( D + k S 0 ) + S 0 ) ( D ( exp ( a D ( t t 0 ) ) + 1 ) ( exp ( a D ( t t 0 ) ) 1 ) ( S 0 k ) ) 3 .
The maximum value of the rate of new cases
L m a x = 2 a ( 1 2 k S 0 + k 2 ) 3 / 2 3 3 / 2
is attained at the peak time:
t = τ m a x = τ 0 + 1 a D ln ( 2 3 ) ( D k + S 0 ) D + k S 0 .
Remark 1. 
For the modified SIR model, we have ξ = 1 so, J ( t ) = U ( t ) 0 and the solutions are simplified:
I ( t ) = 4 D 2 exp { D ( 2 C 2 + a ( t t 0 ) ) } ( 1 + exp { D ( 2 C 2 + a ( t t 0 ) ) } ) 2 ,
S ( t ) = k D + 2 D 1 + exp { D ( 2 C 2 + a ( t t 0 ) ) } 2 , R ( t ) = 1 I ( t ) S ( t ) .
Remark 2. 
If Q = k / D is given, then one can find k from the quadratic
Q = k ( k 2 2 k S 0 + 1 ) 1 / 2 .
Further, if C 1 = 1 2 k S 0 > 0 , or α 0 = S 0 / k > 2 S 0 S 0 > 2 then
D = k 2 + 1 2 k S 0 > k , Q = k / D < 1 .
Remark 3. 
In the case Q = 1 from
Q = k / D = k ( k 2 2 k S 0 + 1 ) 1 / 2 = 1
we get
k = 1 / ( 2 S 0 ) , that is , C 1 = 1 2 k S 0 = 0
and integral in (19) is simplified:
I ( t ) exp [ a k ( t t 0 ) ] = 4 k 2 ξ z 0 z 0 z 2 z ( z + 1 ) 3 d z + I 0 = I 0 4 k 2 ξ z 0 1 + 2 z ( z + 1 ) 2 1 + 2 z 0 ( z 0 + 1 ) 2 ,
where
z 0 = D + k S 0 D k + S 0 = 2 k S 0 S 0 = 1 S 0 S 0 ,
or
I ( t ) = exp [ a k ( t 0 t ) ] I 0 + 4 ξ k 2 S 0 2 ( 1 S 0 ) ( e a k ( t t 0 ) 1 ) S 0 + ( 2 S 0 ) e a k ( t t 0 ) ( S 0 + ( 1 S 0 ) e a k ( t t 0 ) ) 2 .
This formula may be simplified in case J 0 0 , S 0 = 1 I 0 J 0 1 I 0 :
I ( t ) I 0 exp [ a k ( t 0 t ) ]
× 1 + 4 k 2 ξ ( 1 I 0 ) 2 ( exp [ a k ( t t 0 ) ] 1 ) ( 1 I 0 + ( 1 + I 0 ) exp [ a k ( t t 0 ) ] ) ( 1 I 0 + I 0 exp [ a k ( t t 0 ) ] ) 2 .
Furthermore, if S 0 1 I 0 1 , we get
I ( t ) I 0 exp [ a k ( t t 0 ) ] 1 + 4 k 2 ξ ( exp [ 2 a k ( t t 0 ) ] 1 ) ( 1 + I 0 exp [ a k ( t t 0 ) ] ) 2 .
Example 1. 
To illustrate our formulas for the spread of COVID-19, consider statistics of infectious people [20] for Niue Island with population N = 1622 :
( 11 / 20 / 2022 , 14 ) , ( 12 / 18 / 2022 , 54 ) , ( 12 / 27 / 2022 , 174 ) ,
( 1 / 5 / 2023 , 185 ) , ( 1 / 8 / 2023 , 149 ) , ( 1 / 24 / 2023 , 21 ) ,
which means that on 20 November 2022, there were 14 infectious people and so on.
Also, the new cases maximum increase l m a x = 43 happened on 27 December 2022.
By taking 20 November 2022 as the initial day t = 0, we get adjusted data shifted in time:
( 0 , 14 ) , ( 28 , 54 ) , ( 37 , 174 ) , ( 46 , 185 ) , ( 49 , 149 ) , ( 65 , 21 )
From the exponential model
i ( t ) i ( 0 ) k t / T
one can obtain a simple estimate for the epidemic threshold
k i 1 / i 2 T / Δ t , Δ t = t 2 t 1 ,
where i 1 , i 2 are the numbers of infectives at days t 1 , t 2 correspondingly and T is a duration period of infection.
By taking data (see statistics above): i 1 = 14 , i 2 = 54 , Δ t = 28 days and choosing T = 14 days, we get the estimate
k = 14 / 54 14 / 28 0.5 .
From (10), by taking the parameters k = a = 0.5 , S 0 = 1 14 / N , N = 1622 , τ 0 t 0 = 27 , we get the time behavior for the number of infectious (symptomatic and asymptomatic) people:
i ( t ) + j ( t ) = N ( I ( t ) + J ( t ) ) 1650 exp [ 0.5 ( 9.42 + 0.5 ( t 27 ) ) ] ( 1 + exp [ 0.5 ( 9.42 + 0.5 ( t 27 ) ) ] ) 2 .
Further from (20), by taking the parameters mentioned above and ξ = 0.45 , we get the time behavior for the number of symptomatic infectious people:
i ( t ) = N I ( t ) 8341.98 ( 7.6 10 8 + 15,497.05 e 0.25 t + 854.06 e 0.5 t ) e 0.25 t ( 98,094.75 + e 0.25 t ) 2
i ( t ) = N I ( t ) 8341.98 ( 7.6 10 8 + 15,497.05 exp [ 0.25 t ] + 854.06 exp [ 0.5 t ] ) ( 98,094.75 + exp [ 0.25 t ] ) 2 exp [ 0.25 t ]
with the maximum value
i m a x ( 46 ) 183 .
From (12) and (13)
i m a x + j m a x = N ( k 2 2 k S 0 + 1 ) 413 , t m a x 45.85 .
From (16)
τ m a x = τ 0 + 1 a D ln ( 2 3 ) ( D k + S 0 ) D + k S 0 27 + 13.6 40 .
From (17)
l m a x = 2 a N ( 1 2 k S 0 + k 2 ) 3 / 2 3 3 / 2 41 .
Our estimates for i m a x , t m a x , l m a x are close to the statistical values:
i s t a t m a x 185 , t s t a t m a x 46 , , l s t a t m a x 43 , τ s t a t m a x 37 .
From our estimates, one can see that the symptomatic infectives (185) are about 45 % of infectives (413).
Note that from statistics in Italy, only 10 % of infectives are symptomatic [13].
This example is just an illustration of simplicity of application of this model. The actual number of asymptomatic infectives for Niue Island is unknown.
For illustration of Formulas (22) and (23), see the Figure 1 below.

3. Bailey–Gaeta Model

In [1], Norman Bailey introduced a homogeneous and integrable version of the SIR model:
S ( t ) = a I ( t ) I ( t ) + S ( t ) S ( t ) , I ( t ) = a I ( t ) I ( t ) + S ( t ) S ( t ) b I ( t ) , R ( t ) = b I ( t ) .
Combining this model with Gaeta’s model, consider the Bailey–Gaeta model:
S ( t ) = a ( I ( t ) + J ( t ) ) S ( t ) I ( t ) + J ( t ) + S ( t ) , I ( t ) = a ξ ( I ( t ) + J ( t ) ) S ( t ) I ( t ) + J ( t ) + S ( t ) b I ( t ) ,
J ( t ) = a ( 1 ξ ) ( I ( t ) + J ( t ) ) S ( t ) I ( t ) + J ( t ) + S ( t ) η J ( t ) , R ( t ) = b I ( t ) , U ( t ) = η J ( t )
I ( t ) + J ( t ) + S ( t ) + R ( t ) + U ( t ) = 1 , η = b , t 0 t < .
By calculations
I S = I ( t ) / S ( t ) = ξ + b I ( t ) ( I ( t ) + J ( t ) + S ( t ) ) a ( I ( t ) + J ( t ) ) S ( t )
J S = J ( t ) S ( t ) = ξ 1 + η J ( t ) ( I ( t ) + J ( t ) + S ( t ) ) a ( I ( t ) + J ( t ) ) S ( t )
we get
b J S + η I S = b ξ b η ξ + b η ( I ( t ) + J ( t ) + S ( t ) ) a S ( t ) .
Assuming η = b , we get
b ( J S + I S ) = b + b 2 ( I ( t ) + J ( t ) + S ( t ) ) a S ( t ) ,
or
( J + I + S ) S = k ( I ( t ) + J ( t ) + S ( t ) ) / S ( t ) , k = b / a
and by separation of variables
d ( J + I + S ) ( I + J + S ) = k d S S ( t ) .
After integration
I ( t ) + J ( t ) + S ( t ) = C 1 S k ( t ) , C 1 = c o n s t .
From the initial conditions
R 0 = R ( t 0 ) = 0 , U 0 = U ( t 0 ) = 0 , I 0 = I ( t 0 ) , J 0 = J ( t 0 ) , S 0 = S ( t 0 ) ,
in view of (25), we get I 0 + J 0 + S 0 = 1 .
So, from the initial condition at t = t 0 , we have
I 0 + J 0 + S 0 = C 1 S 0 k , C 1 = I 0 + J 0 + S 0 S 0 k = 1 S 0 k .
I ( t ) + J ( t ) + S ( t ) = S k ( t ) S 0 k , I ( t ) + J ( t ) = S k ( t ) S 0 k S ( t ) .
Further from (24), we have
S ( t ) a S ( t ) = I + J I + J + S = 1 S I + J + S = 1 S 0 k S 1 k ,
or by separation of variables
d S S ( 1 S 0 k S 1 k ) = a d t .
By integration
S 0 S d S S ( 1 S 0 k S 1 k ) = a ( t t 0 )
ln S k 1 S 0 k S 0 k 1 ( 1 S 0 ) = a ( 1 k ) ( t t 0 )
S k 1 = S 0 k 1 S 0 + ( 1 S 0 ) e a ( 1 k ) ( t t 0 ) .
Denoting
A ( t ) : = S 0 + ( 1 S 0 ) exp [ a ( 1 k ) ( t t 0 ) ] ,
we get
S ( t ) = S 0 A 1 k 1 ( t ) , exp [ a ( 1 k ) ( t t 0 ) ] = A ( t ) S 0 1 S 0
and from (27)
I ( t ) + J ( t ) = ( A ( t ) S 0 ) A 1 k 1 ( t )
or
I ( t ) + J ( t ) = ( 1 S 0 ) e a ( 1 k ) ( t t 0 ) S 0 + ( 1 S 0 ) exp [ a ( 1 k ) ( t t 0 ) ] 1 k 1 .
To find the critical points S = S c of I ( t ) + J ( t ) , we solve
I ( t ) + J ( t ) = k S k 1 S 0 k 1 S ( t ) = 0 , S c = S 0 k k 1 k 1 .
So, the maximum value of I ( t ) + J ( t ) is
( I ( t ) + J ( t ) ) m a x = I ( t ) + J ( t ) | S = S c = ( 1 k ) k k 1 k S 0 k 1 k = ( 1 k ) k / S 0 k 1 k ,
or
( i B ( t ) + j B ( t ) ) m a x = N ( I ( t ) + J ( t ) ) m a x = N ( 1 k ) k / S 0 k / ( 1 k ) .
where in i B ( t ) = N I ( t ) a subindex B means that the formula is obtained by using the Bailey–Gaeta model.
From
S = S 0 A 1 / ( k 1 ) = S c = S 0 k / k 1 / ( k 1 ) , A = S 0 / k ,
or
S 0 + ( 1 S 0 ) exp [ a ( 1 k ) ( t t 0 ) ] = S 0 / k
one can find the time t = t B m a x when the maximum is achieved:
t B m a x = t 0 + 1 a ( 1 k ) ln ( 1 k ) S 0 k ( 1 S 0 ) .
Introducing a rate of new cases of infectives
L ( t ) : = I ( t ) + J ( t ) = k S k 1 S 0 k 1 S ( t ) = k A S 0 1 1 S ( t ) ,
in view of
S ( t ) = S 0 A ( 2 k ) / ( k 1 ) A ( t ) / ( k 1 ) ,
A ( t ) = ( 1 S 0 ) a ( 1 k ) e a ( 1 k ) ( t t 0 ) = a ( 1 k ) ) ( A S 0 )
we get
L : = I ( t ) + J ( t ) = a ( S 0 k A ) ( A S 0 ) A ( 2 k ) / ( k 1 ) ,
and
L ( t ) = a ( A 2 k 2 A ( 1 + k ) S 0 + ( 2 k ) S 0 2 ) 1 k A ( 2 k 3 ) / ( 1 k ) A ( t ) .
To find the peak time, we solve L [ A ] = 0 for A = A c or
a ( A 2 k 2 A ( 1 + k ) S 0 + ( 2 k ) S 0 2 ) = 0 , A = 1 + k ± ( 1 k ) m 2 k 2 S 0 , m = 1 + 4 k .
So, excluding A c from
A c = S 0 + ( 1 S 0 ) exp [ a ( 1 k ) ( t c t 0 ) ] , A c = 1 + k ± ( 1 k ) m 2 k 2 S 0
we get t c = τ B m a x :
τ B m a x = τ 0 + 1 a ( 1 k ) ln ( 1 k ) ( 1 + 2 k m ) S 0 2 k 2 ( 1 S 0 ) , m = 1 + 4 k ,
and a maximum value (for other values, we have nonsense: L < 0 )
L B m a x ( t ) = a S 0 2 ( 1 k ) 2 ( m 1 ) ( 1 + 2 k m ) 2 k / ( k 1 ) k 3 1 + k ( 1 k ) m k 2 S 0 2 k k 1 .
Furthermore, from (24)
I ( t ) + b I ( t ) a ξ S ( t ) = I + J I + J + S = 1 S I + J + S = 1 S 0 k S 1 k ( t )
I ( t ) + b I ( t ) = a ξ S ( 1 S 0 k S 1 k )
( I e b ( t t 0 ) ) = a ξ S ( 1 S 0 k S 1 k ) e b ( t t 0 ) ,
or in view of (29)
( I exp [ b ( t t 0 ) ] ) = a ξ S 0 A 1 / ( k 1 ) ( 1 S 0 A 1 ) exp [ b ( t t 0 ) ] .
By integration, we get
I e b ( t t 0 ) I 0 a ξ S 0 = t 0 t e b ( t t 0 ) d t S 0 + ( 1 S 0 ) e ( a b ) ( t t 0 ) 1 1 k S 0 t 0 t e b ( t t 0 ) d t S 0 + ( 1 S 0 ) e ( a b ) ( t t 0 ) 2 k 1 k .
Here, the integrals on the right side are in general the hypergeometric functions.
Theorem 2. 
Let b = η , 0 < k < 1 , 0 < ξ 1 . Then, the solutions of (24) are given by formulas
I B ( t ) = I 0 + a ξ S 0 t 0 t ( ( S 0 + ( 1 S 0 ) e ( a b ) ( t 1 t 0 ) ) S 0 ) e b ( t 1 t 0 ) d t 1 S 0 + ( 1 S 0 ) e ( a b ) ( t 1 t 0 ) 2 k 1 k e b ( t t 0 ) ,
S B ( t ) = S 0 S 0 + ( 1 S 0 ) e a ( 1 k ) ( t t 0 ) 1 k 1 ,
J B ( t ) = ( 1 S 0 ) e a ( 1 k ) ( t t 0 ) S 0 + ( 1 S 0 ) e a ( 1 k ) ( t t 0 ) 1 k 1 I B ( t ) ,
U B ( t ) = b t 0 t J B ( t ) d t 1 , R B ( t ) = 1 I B ( t ) J B ( t ) S B ( t ) U B ( t ) ,
where a subindex B means that the formula is obtained by using the Bailey–Gaeta model.
The maximum value of i B ( t ) + j B ( t )
( i B ( t ) + j B ( t ) ) m a x = N ( 1 k ) k / S 0 k / ( 1 k ) .
is achieved at time
t B m a x = t 0 + 1 a ( 1 k ) ln ( 1 k ) S 0 k ( 1 S 0 ) .
The rate of new cases of infectives
L B ( t ) = a ( S 0 k A ) ( A S 0 ) A ( 2 k ) / ( k 1 ) , A : = S 0 + ( 1 S 0 ) exp { a ( 1 k ) ( t t 0 ) }
has the maximum
L B m a x ( t ) = a S 0 2 ( 1 k ) 2 ( m 1 ) ( 1 + 2 k m ) 2 k / ( k 1 ) k 3 1 + k ( 1 k ) m k 2 S 0 2 k k 1 , m = 1 + 4 k ,
that is achieved at time:
τ B m a x = τ 0 + 1 a ( 1 k ) ln ( 1 k ) ( 1 + 2 k 1 + 4 k ) S 0 2 k 2 ( 1 S 0 ) .
Remark 4. 
For the Bailey model, we have ξ = 1 , so J ( t ) = U ( t ) 0 , and the solutions are simplified:
I ( t ) = ( 1 S 0 ) e a ( 1 k ) ( t t 0 ) S 0 + ( 1 S 0 ) exp [ a ( 1 k ) ( t t 0 ) ] 1 k 1 ,
S ( t ) = S 0 S 0 + ( 1 S 0 ) exp { a ( 1 k ) ( t t 0 ) } 1 k 1 , R ( t ) = 1 I ( t ) J ( t ) S ( t ) U ( t ) .
Remark 5. 
In a simple case k = b / a = 0.5 from Theorem 2, we have
I ( t ) e a ( t t 0 ) / 2 I 0 a ξ S 0 = t 0 t e a ( t t 0 ) / 2 d t S 0 + ( 1 S 0 ) e a ( t t 0 ) / 2 2 S 0 t 0 t e a ( t t 0 ) / 2 d t S 0 + ( 1 S 0 ) e a ( t t 0 ) / 2 3
= ( 1 S 0 ) ( e a ( t t 0 ) / 2 ( 2 S 0 ) 2 e a ( t t 0 ) / 2 ( 1 S 0 ) S 0 ) a ( ( 1 S 0 ) e a ( t t 0 ) / 2 + S 0 ) 2
I ( t ) = I 0 + ξ S 0 ( 1 S 0 ) ( e a ( t t 0 ) / 2 ( 2 S 0 ) 2 e a ( t t 0 ) / 2 ( 1 S 0 ) S 0 ) ( ( 1 S 0 ) e a ( t t 0 ) / 2 + S 0 ) 2 e a ( t 0 t ) / 2
or from i B = N I ( t ) , we get
i B ( t ) = N exp [ a ( t 0 t ) / 2 ]
× I 0 + ξ S 0 ( 1 S 0 ) ( exp [ a ( t t 0 ) / 2 ] ( 2 S 0 ) 2 exp [ a ( t 0 t ) / 2 ] ( 1 S 0 ) S 0 ) ( ( 1 S 0 ) exp [ a ( t 0 t ) / 2 ] + S 0 ) 2 .
Note that from (36) one can obtain the analytical formula for peak value and peak time of symptomatic infectives i B , but it contains roots of cubic and is complicated.
Example 2. 
For Niue Island, by taking k = a = 0.5 , N = 1622 , S 0 = 1 14 / 1622 , τ 0 t 0 = 27 , we get from (30)
i B ( t ) + j B ( t ) 14 e 0.25 ( t 27 ) ( 0.99 + 0.086 e 0.25 ( t 27 ) ) .
From (36), by taking ξ = 0.45 , we get
i B ( t ) 1.29 10 9 e 0.25 t ( 49,047.37 + e 0.25 t + 0.056 e 0.5 t ) ( 98,094.75 + e 0.25 t ) 2 .
Further, from (31) and (32)
i B m a x + j B m a x 409 , t B m a x t 0 = 1 a ( 1 k ) ln ( 1 k ) S 0 k ( 1 S 0 ) 46 .
From (34)
τ B m a x = τ 0 + 1 a ( 1 k ) ln ( 1 k ) ( 1 + 2 k m ) S 0 2 k 2 ( 1 S 0 ) 41 .
Furthermore, from (35) and (38)
i B m a x i ( t ) | t = 46 184 , l B m a x 39.36 .
Statistical values are
i s t a t m a x = 185 l s t a t m a x = 43 , t s t a t m a x = 46 τ s t a t m a x = 37 .
For illustration of Formulas (37) and (38), see the Figure 2 below.

4. Conclusions and Discussion

In this paper, the integrable versions of the Gaeta (SIR-A) model and Bailey–Gaeta model are introduced. They describe the dynamics of the spread of infectious disease.
The explicit solutions of these models are derived. The simplicity of these formulas allows us also to derive and analyze the function that describes the rate of new cases of disease transmission. The formulas for critical metrics (maximum values of infectives and their peak times) for the spread of disease are obtained by using the explicit solutions. These formulas could not be derived by using numerical solutions. The analysis is performed by using classical tools of analysis: calculations of derivatives, finding the critical numbers, extrema and so on. The real dynamics of spreading disease depend on numerous factors. The models considered here cannot capture the full picture of the spread of disease since they are deterministic and they contain a small number of parameters. But by using important average metrics that could be found from statistical data (a basic reproduction number, local population, duration time of a disease), one can obtain theoretical behavior of disease spread and make some predictions. An example of Niue Island COVID-19 dynamics shows that the theoretical behavior of disease spread is surprisingly close to the actual COVID-19 statistics.

Funding

This research received no external funding.

Acknowledgments

The author would like to express his gratitude for the critical comments made by four referees, which led to major improvements in the paper.

Conflicts of Interest

The author declares no conflicts of interest.

References

  1. Bernoulli, D. Essay d’une nouvelle analyse de la mortalite causee par la petite verole et des avantages de l’inoculation pour la prevenir. Mem. Math. Phys. Acad. R. Sci. Paris 1760, 1–45. [Google Scholar]
  2. Kermack, W.O.; McKendrick, A.G. A contribution to the mathematical theory of epidemics. Proc. R. Soc. Lond. A 1927, 115, 700–721. [Google Scholar]
  3. Bailey, N.T.J. The Mathematical Theory of Infectious Diseases and Its Applications, 2nd ed.; Hafner Press [Macmillan Publishing Co., Inc.]: New York, NY, USA, 1975; p. xvi+413. [Google Scholar]
  4. Hethcote, H.W. The mathematics of infectious diseases. SIAM Rev. 2000, 42, 599–653. [Google Scholar] [CrossRef]
  5. Harko, T.; Lobo, F.S.N.; Mak, M.K. Exact analytical solutions of the Susceptible-Infected-Recovered (SIR) epidemic model and of the SIR model with equal death and birth rates. Appl. Math. Comput. 2014, 236, 184–194. [Google Scholar] [CrossRef]
  6. Feng, Z. Final and peak epidemic sizes for SEIR models with quarantine and isolation. Math. Biosci. Eng. 2007, 4, 675–686. [Google Scholar] [CrossRef] [PubMed]
  7. Cadoni, M.; Gaeta, G. Size and timescale of epidemics in the SIR framework. Physica D 2020, 411, 132626. [Google Scholar] [CrossRef] [PubMed]
  8. Demongeot, J.; Magal, P. Spectral Method in Epidemic Time Series: Application to COVID-19 Pandemic. Biology 2022, 11, 1825. [Google Scholar] [CrossRef] [PubMed]
  9. Della Marca, R.; Loy, N.; Tosin, A. An SIR model with viral load-dependent transmission. J. Math. Biol. 2023, 86, 61. [Google Scholar] [CrossRef] [PubMed]
  10. Della Marca, R.; Loy, N.; Menale, M. Intransigent vs. volatile opinions in a kinetic epidemic model with imitation game dynamics. Math. Med. Biol. J. IMA 2023, 40, 111–140. [Google Scholar] [CrossRef] [PubMed]
  11. Dimarco, G.; Perthame, B.; Toscani, G.; Zanella, M. Kinetic models for epidemic dynamics with social heterogeneity. J. Math. Biol. 2021, 83, 4. [Google Scholar] [CrossRef] [PubMed]
  12. Estrada, E. COVID-19 and SARS-CoV-2. Modeling the present, looking at the future. Phys. Rep. 2020, 869, 1–51. [Google Scholar] [CrossRef] [PubMed]
  13. Gaeta, G. A simple SIR model with a large set of asymptomatic infectives. Math. Eng. 2021, 3, 1–39. [Google Scholar] [CrossRef]
  14. Kröger, M.; Schlickeiser, R. Analytical solution of the SIR-model for the temporal evolution of epidemics. Part A: Time-independent reproduction factor. J. Phys. A Math. Theor. 2021, 53, 505601. [Google Scholar] [CrossRef]
  15. Kröger, M.; Schlickeiser, R. Analytical solution of the SIR-model for the temporal evolution of epidemics. Part B: Semi-time case. J. Phys. A Math. Theor. 2021, 54, 175601. [Google Scholar] [CrossRef]
  16. Kröger, M.; Schlickeiser, R. Verification of the accuracy of the SIR model in forecasting based on the improved SIR model with a constant ratio of recovery to infection rate by comparing with monitored second wave data. R. Soc. Open Sci. 2021, 8, 211379. [Google Scholar] [CrossRef] [PubMed]
  17. Linka, K.; Peirlinck, M.; Costabal, F.S.; Kuhl, E. Outbreak dynamics of COVID-19 in Europe and the effect of travel restrictions. Comput. Methods Biomech. Biomed. Eng. 2020, 23, 710–717. [Google Scholar] [CrossRef] [PubMed]
  18. Turkyilmazoglu, M. Explicit formulae for the peak time of an epidemic from the SIR model. Physica D 2021, 422, 132902. [Google Scholar] [CrossRef] [PubMed]
  19. Ye, Y.; Pandey, A.; Bawden, C.; Sumsuzzman, D.M.; Rajput, R.; Shoukat, A.; Singer, B.H.; Moghadas, S.M.; Galvani, A.P. Integrating artificial intelligence with mechanistic epidemiological modeling: A scoping review of opportunities and challenges. Nat. Commun. 2025, 16, 581. [Google Scholar] [CrossRef] [PubMed]
  20. COVID-19 Coronavirus Pandemic. Available online: https://www.worldometers.info/coronavirus/ (accessed on 1 June 2025).
Figure 1. Niue Island COVID-19 dynamics. Dates 20 November 2022–24 January2023. Modified Gaeta’s model. The green (middle) curve is the time behavior given by statistics of COVID-19. The red (lower) curve is the time behavior of symptomatic infectives given by (23). The black (upper) curve is the time behavior of symptomatic and asymptomatic infectives given by (22).
Figure 1. Niue Island COVID-19 dynamics. Dates 20 November 2022–24 January2023. Modified Gaeta’s model. The green (middle) curve is the time behavior given by statistics of COVID-19. The red (lower) curve is the time behavior of symptomatic infectives given by (23). The black (upper) curve is the time behavior of symptomatic and asymptomatic infectives given by (22).
Mmphys 01 00008 g001
Figure 2. Niue Island COVID-19 dynamics. Dates 20 November 2022–24 January 2023. Bailey–Gaeta model. The green (middle) curve is the time behavior given by statistics of COVID-19. The red (lower) curve is the time behavior of symptomatic infectives given by (38). The black (upper) curve is the time behavior of symptomatic and asymptomatic infectives given by (37).
Figure 2. Niue Island COVID-19 dynamics. Dates 20 November 2022–24 January 2023. Bailey–Gaeta model. The green (middle) curve is the time behavior given by statistics of COVID-19. The red (lower) curve is the time behavior of symptomatic infectives given by (38). The black (upper) curve is the time behavior of symptomatic and asymptomatic infectives given by (37).
Mmphys 01 00008 g002
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Hovhannisyan, G. On Integrable Models for the Spread of Disease. Mod. Math. Phys. 2025, 1, 8. https://doi.org/10.3390/mmphys1020008

AMA Style

Hovhannisyan G. On Integrable Models for the Spread of Disease. Modern Mathematical Physics. 2025; 1(2):8. https://doi.org/10.3390/mmphys1020008

Chicago/Turabian Style

Hovhannisyan, Gro. 2025. "On Integrable Models for the Spread of Disease" Modern Mathematical Physics 1, no. 2: 8. https://doi.org/10.3390/mmphys1020008

APA Style

Hovhannisyan, G. (2025). On Integrable Models for the Spread of Disease. Modern Mathematical Physics, 1(2), 8. https://doi.org/10.3390/mmphys1020008

Article Metrics

Back to TopTop