Next Article in Journal
Testing the Effectiveness of Voxels for Structural Analysis
Previous Article in Journal / Special Issue
Inferring the Timing of Antiretroviral Therapy by Zero-Inflated Random Change Point Models Using Longitudinal Data Subject to Left-Censoring
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Numerical and Theoretical Treatments of the Optimal Control Model for the Interaction Between Diabetes and Tuberculosis

by
Saburi Rasheed
1,
Olaniyi S. Iyiola
2,*,
Segun I. Oke
3 and
Bruce A. Wade
1
1
Department of Mathematics, University of Louisiana at Lafayette, Lafayette, LA 70504, USA
2
Department of Mathematics, Morgan State University, Baltimore, MD 21251, USA
3
Department of Physics, Chemistry and Mathematics, Alabama A&M University, Huntsville, AL 35811, USA
*
Author to whom correspondence should be addressed.
Algorithms 2025, 18(6), 348; https://doi.org/10.3390/a18060348
Submission received: 2 May 2025 / Revised: 2 June 2025 / Accepted: 3 June 2025 / Published: 5 June 2025

Abstract

:
We primarily focus on the formulation, theoretical, and numerical analyses of a non-autonomous model for tuberculosis (TB) prevention and control programs in a population where individuals suffering from the double trouble of tuberculosis and diabetes are present. The model incorporates four time-dependent control functions, saturated treatment of non-infectious individuals harboring tuberculosis, and saturated incidence rate. Furthermore, the basic reproduction number of the autonomous form of the proposed optimal control mathematical model is calculated. Sensitivity indexes regarding the constant control parameters reveal that the proposed control and preventive measures will reduce the tuberculosis burden in the population. This study establishes that the combination of campaigns that teach people how the development of tuberculosis and diabetes can be prevented, a treatment strategy that provides saturated treatment to non-infectious individuals exposed to tuberculosis infections, and prompt effective treatment of individuals infected with tuberculosis disease is the optimal strategy to achieve zero TB by 2035.

1. Introduction

Tuberculosis (TB) disease outbreak is a pandemic that is still present and its eradication has been a global health challenge for a long time [1,2,3]. It is an agelong respiratory illness. As noted by World Health Organization (WHO) in 2024, several years of progress achieved in the fight to end TB have been reversed because of the pandemic and countless other formidable challenges [4]; making TB the world’s deadliest infectious disease today, only second to the novel coronavirus during the pandemic in 2020. Subsequently, another report circulated by the Centers for Disease Control and Prevention (CDC) [5], in 2024, emphasized that there are still increasing TB incidences in the US.
Mycobacterium tuberculosis is a germ that causes tuberculosis infections. It is a pathogen that is ejected into the air when humans are sick with active tuberculosis disease and cough, talk, sing, or sneeze. When this airborne germ is inhaled by other humans, they contract tuberculosis in latent or active form depending on their immune response [6,7]. People with latent tuberculosis infections (LTBIs) are non-infectious and by the WHO’s estimate, around 1.7 billion people have LTBIs globally. If those exposed to the latent form of tuberculosis are not treated using the treatment regimen recommended by the WHO, preventing and controlling will be a difficult task since around 5 to 10 percent of the population exposed to TB would develop active TB in their lifetime [3].
Treatments are available for both inactive and active TB infections. Individuals hosting the sleeping bacteria in their bodies, i.e., latently infected persons, are administered some antibiotics by their healthcare providers, and this treatment regimen could last for three to four months [4,8]. Active TB disease can also be treated by several medications like isoniazid, rifabutin (Mycobutin), rifampin (Rimactane), pyrazinamide, ethambutol (Myambutol) and so on. Another way to ensure TB patients adhere to and comply with the treatment regimen is through Directly Observed Therapy, Short-course (DOTS) for TB infections [9]. This TB control strategy (DOTS for TB) was recommended by WHO towards the end of the 20th century and it is touted as the most proven, cost-effective tuberculosis treatment strategy [8]. Several countries have hence adopted DOTS for TB as a control measure towards TB prevention and control [4,9].
While tuberculosis is associated with poverty and its incidence is higher in poorer nations, noninsulin-dependent diabetes mellitus (NIDDM), alternatively named Type 2 diabetes, is a noncommunicable disease mostly common in rich nations in the past, but it is now prevalent in many TB-endemic, low- and middle-income countries (LMIC) [10,11,12]. NIDDM is also a global health threat and it happens due to insulin failure or the inability of the body to properly regulate the glucose in the blood plasma. Risk factors for NIDDM include obesity, poor diets, family history of diabetes, sedentary lifestyles, ethnicity, triglycerides (high cholesterol), non-alcoholic fatty liver disease, tuberculosis disease, etc. It has also been confirmed that there is a relationship between hyperglycemia (too much glucose present in the blood plasma) and the chronic complications, such as nephropathy (diabetic kidney disease), retinopathy, neuropathy, among people living with NIDDM [13,14].
There have also been reported cases of comorbidity of tuberculosis and other non-infectious diseases, particularly cardiovascular disease, cancer, noninsulin-dependent diabetes mellitus, etc. The bidirectional link between tuberculosis and noninsulin-dependent diabetes has been established through several research findings [3,12,14,15,16,17]. NIDDM is an increasing risk factor for tuberculosis disease as a result of immunodeficiency. People who are suffering from NIDDM with untreated tuberculosis infections in the latent form are at a greater risk of acquiring active tuberculosis disease due to weaker immune systems [3,14]. It is also a known fact that NIDDM is responsible for a high risk of treatment failure, mortality, and relapse among patients with active tuberculosis infections. Tuberculosis can also lead to glucose intolerance and severely affect glycemic control [18]. As of today, there is no known cure for NIDDM, but it can be well managed with patient education, healthy diets, lifestyle changes, expertise availability, medication, screening for complications associated with diabetes, proper glycemic control, and sustained observational follow-up [19,20].
The convergence, comorbidity, and concomitant conditions of tuberculosis and noninsulin-dependent diabetes mellitus have been presented in several epidemiological studies [7,12,14,17,21,22,23]. Moualeu et al. [12] developed and analyzed a compartmental TB model that assesses the impact of NIDDM in the spread of the tuberculosis disease in a community. Pan et al. [24] presented a mathematical modeling study on the effect of NIDDM on TB disease control in thirteen countries with a high burden of TB disease. Carvalho et al. [25] studied and assessed the role of diabetes in the progression of TB using a non-integer order model. Jajarmi et al. [26] used a fractional modeling approach to investigate the clinical implications of the comorbidity of tuberculosis and NIDDM. Moya et al. [27] examined the effectiveness of TB disease treatment therapy while taking into consideration the impact of associated diseases (NIDDM and HIV/AIDS). Awad et al. [28] used a mathematical modeling approach that utilized a recently developed age-structure NIDDM and TB co-infection dynamics to predict, estimate, and investigate the impact of noninsulin-dependent diabetes mellitus on mycobacterium tuberculosis epidemiology in Indonesia between 2020 and 2050. Agwu et al. [7] extended the study carried out in [12] by presenting the optimal control and some cost-effectiveness strategies for the mathematical model of TB and NIDDM co-infection dynamics. In [29], a deterministic mathematical model of the SEIS type that accounts for the saturated treatment of individuals exposed to mycobacterium TB in the latent form, along with crowding and psychological effects, was introduced to further study the impact of NIDDM in the transmission mechanism of TB in a community. Recently, Afolabi et al. [30] employ supervised machine learning algorithms to develop models that effectively predict diabetes from patients electronic health records (EHRs). For more detailed work on integer and non-integer compartmental models, see [31,32,33,34,35,36,37].
Over the years, several mathematical epidemiologists have developed and incorporated control strategies into disease models. Oke et al. [38] incorporated both pharmaceutical and non-pharmaceutical intervention strategies into a deterministic COVID-19 model used to garner insight into the transmission mechanism of the pandemic in the USA, South Africa, Italy, and Nigeria. Omede et al. [39] proposed and analyzed the autonomous and non-autonomous mathematical model of the third wave of the novel coronavirus in Nigeria. Olaniyi et al. [40] analyzed a malaria transmission model with protected travelers and partial immunity, where four preventive and control measures are implemented.
Following the lead of the aforementioned studies above, we formulate and analyze a non-autonomous deterministic model that evaluates the effect of the optimal treatment and prevention of the active and latent forms of tuberculosis infections among diabetic patients and nondiabetic individuals towards attaining the WHO’s global strategy to end the present TB epidemic by 2035. The remainder of this manuscript proceeds as follows: the autonomous form of the proposed non-autonomous model formulated in Section 2 is detailed in Section 3 and analyzed; Section 4 is dedicated to the theoretical analysis of non-autonomous mathematical model using the Pontryagin’s Maximum Principle; we illustrate the numerical simulation outputs of the several intervention strategies considered in this work in Section 5 and the last section summarizes our findings.

2. Non-Autonomous Mathematical Model System Formulation

This section is about formulating the optimal control model problem for the co-morbid association of noninsulin-dependent diabetes mellitus and tuberculosis. The model that we present here is a slight modification of the model for tuberculosis transmission proposed in [29], and it is its generalization. The optimal control’s primary goal is to identify the most effective approach to employ in the effort to eradicate TB in the population, that is, we want to derive optimal prevention and treatment strategies that come with minimal costs of implementation. Below are the definitions of the time-dependent controls that will be incorporated into the model that characterizes the dynamical transmission of mycobacterium TB disease in a human population compose of non-diabetic and diabetic individuals:
(a)
u 1 ( t ) represents a TB prevention effort that screens for LTBIs among key groups of people in the population (i.e., people living with HIV or NIDDM, TB patients, family members, coworkers, and roommates) and promptly provides saturated treatment to those who have TB infections in the latent form. The cost of implementing this control includes identifying and screening key individuals who are at risk of being latently infected with tuberculosis, providing medications or directly observed treatment (DOT) to patients, and also non-death productivity losses by the patients.
(b)
u 2 ( t ) is the tuberculosis and diabetes intervention to prevent people from developing either or both diseases. This is carried out through health and wellness promotions in the community, i.e., community awareness campaigns that encourage those diagnosed with pre-diabetes or gestational diabetes to go for routine screening with a diagnostic test for diabetes mellitus. Healthy diets and lifestyles advocacy. Prevention efforts towards developing complications are aimed at diabetic patients who are free of complications. Mass sensitization in the community on tuberculosis prevention. The cost of implementing this intervention strategy includes providing health education at home, hospitals, schools, and through mass and social media.
(c)
u 3 ( t ) denotes TB control strategy that provides treatment to non-diabetic individuals suffering from active tuberculosis disease. The cost of implementing this control involves the amount spent on receiving treatment for tuberculosis by the patients, health care, allocation of resources for the treatment and management of people suffering from active tuberculosis infections and so on.
(d)
u 4 ( t ) represents the TB treatment effort that caters to people living with tuberculosis and diabetes. The cost of implementing the control u 4 ( t ) includes the expenses when receiving simultaneous treatment for tuberculosis and noninsulin-dependent diabetes mellitus, management of diabetic complications, health care workers, funding TB-NIDDM clinics, and so on.
The population is divided into nine categories where S ( t ) denotes the compartment of susceptible persons to both diabetes and TB, L ( t ) is the compartment for non-diabetic individuals exposed to tuberculosis, A ( t ) stands for the compartment of non-diabetic individuals infected with tuberculosis, D ( t ) is the compartment for diabetic individuals that do not develop complications, L d ( t ) represents the compartment of individuals with diabetes without complications and exposed to tuberculosis, A d ( t ) denote the compartment of actively infected individuals with tuberculosis and diabetic without complications, C ( t ) is the class of individuals with complications of NIDDM, L c ( t ) denotes the compartment for individuals exposed to tuberculosis and have NIDDM with complications, and A c ( t ) is the class of infected individuals with tuberculosis and have NIDDM with complications. For simplicity, we let S = : S ( t ) , C = : C ( t ) , A = : A ( t ) , A d = : A d ( t ) , D = : D ( t ) , A c = : A c ( t ) , L = : L ( t ) , L d = : L d ( t ) , and L c : = L c ( t ) .
The following model assumptions are considered:
  • The homogeneous mixing of individuals in the population and people in different classes interact.
  • It is assumed that no individual in the population has permanent immunity to tuberculosis.
  • The tuberculosis infection progression is from latency to the active disease stage, i.e., people first harbor tuberculosis infections in latent form and later become infectious either through exogenous reinfection or endogenous reactivation.
  • We also assume the bidirectional link between tuberculosis and diabetes, i.e., diabetic patients can develop tuberculosis and tuberculosis patients can also become diabetic.
Hence, the non-autonomous model is as follows:
d S d t = Λ ( ( 1 u 2 ( t ) ) λ T + μ + ( 1 u 2 ( t ) ) σ 1 ) S + u 3 ( t ) A + u 1 ( t ) L 1 + q a L d D d t = σ 1 ( 1 u 2 ( t ) ) S ( ϕ ( 1 u 2 ( t ) ) λ T + μ + ( 1 u 2 ( t ) ) σ 2 ) D + u 4 A d ( t ) + u 1 ( t ) L d 1 + q a L d d C d t = σ 2 ( 1 u 2 ( t ) ) D ( μ + φ ( 1 u 2 ( t ) ) λ T + d c ) C + u 4 ( t ) A c + u 1 ( t ) L c 1 + q a L c d L d t = ( 1 u 2 ( t ) ) λ T S ( α 1 ( 1 u 2 ( t ) ) λ T + ( 1 u 2 ( t ) ) τ 1 + r 1 + μ ) L u 1 ( t ) L 1 + q a L d L d d t = ϕ ( 1 u 2 ( t ) ) λ T D + ( 1 u 2 ( t ) ) τ 1 L ( α 2 ( 1 u 2 ( t ) ) λ T + r 2 + ( 1 u 2 ( t ) ) τ 2 + μ ) L d u 1 ( t ) L d 1 + q a L d d L c d t = φ ( 1 u 2 ( t ) ) λ T C + ( 1 u 2 ( t ) ) τ 2 L d ( μ + α 3 ( 1 u 2 ( t ) ) λ T + r 3 + d 1 ) L c u 1 ( t ) L c 1 + q a L c d A d t = ( α 1 ( 1 u 2 ( t ) ) λ T + r 1 ) L ( μ + δ 1 + u 3 ( t ) + γ 1 ( 1 u 2 ( t ) ) σ 1 ) A d A d d t = ( α 2 ( 1 u 2 ( t ) ) λ T + r 2 ) L d + γ 1 ( 1 u 2 ( t ) ) σ 1 A ( μ + δ 2 + u 4 ( t ) + γ 2 ( 1 u 2 ( t ) ) σ 2 ) A d d A c d t = ( α 3 ( 1 u 2 ( t ) ) λ T + r 3 ) L c + γ 2 ( 1 u 2 ( t ) ) σ 2 A d ( μ + u 4 ( t ) + δ 3 + d 2 ) A c
subject to the following initial conditions 0 < S ( 0 ) = S 0 , 0 < D ( 0 ) = D 0 , 0 < C ( 0 ) = C 0 , 0 L ( 0 ) = L 0 , 0 < L d ( 0 ) = L d 0 , 0 < L c ( 0 ) = L c 0 , 0 A ( 0 ) = A 0 , 0 < A d ( 0 ) = A d 0 , 0 < A c ( 0 ) = A c 0 , with λ T = λ 1 ( A ) + λ 2 ( A d ) + λ 3 ( A c ) where
λ 1 ( A ) = ω A 1 + b A , λ 2 ( A d ) = ω β 2 A d 1 + b A d and λ 3 ( A c ) = ω β 1 A c 1 + b A c
are saturated incidence rates first introduced by Capasso and Serio [41]. We assume that β 1 > β 2 > 1 to take into account the increased infectiousness of people suffering from the comorbidity of complications of NIDDM and active tuberculosis disease [10,12]. We emphasize that without the controls (i.e., u 1 ( t ) , u 2 ( t ) , u 3 ( t ) , u 4 ( t ) = 0 ), the model Equation (1) reduces to the autonomous compartmental model introduced in [29] with no saturated treatment of LTBIs and per-capita treatment of active TB. Refer to Table 1 for the biological definitions and values of the parameters used in model (1).
We also let N : = S ( t ) + D ( t ) + C ( t ) + L ( t ) + L d ( t ) + L c ( t ) + A ( t ) + A d ( t ) + A c ( t ) be the total human population. Suppose that η = min { d c , d 1 , d 2 , δ 1 , δ 2 , δ 3 } . From (1), it can be shown that
N ( t ) = Λ μ N ( t ) ( d c C + d 1 L c + d 2 A c + δ 1 A + δ 2 A d + δ 3 A c ) Λ μ N ( t ) η ( C + L c + A c + A + A d + A c ) Λ μ N ( t ) .
Assume that N is constant and Λ (the recruitment rate) is positive, so, N Λ μ when the initial value is N ( 0 ) Λ μ . Define the domain where the model is meaningful biologically below
D = ( S ( t ) , D ( t ) , C ( t ) , L ( t ) , L d ( t ) , L c ( t ) , A ( t ) , A d ( t ) , A c ( t ) ) R + 9 such that N ( t ) Λ μ .
Hence, in this work, the state variables S , D , C , L , L d , L c , A , A d , and A c are restricted to the set D . Let u j = u j ( t ) for j = 1 , , 4 . D is a set (domain) such that it is positively invariant with respect to (1), that is, any solution that begins in D stays there for all t > 0 . Hence, the proposed optimal control mathematical model (1) is mathematically and epidemiologically (biologically insightful) well posed in the region D .
Assume that for j = 1 , , 4 , u j ( t ) are Lebesgue integrable and bounded control functions. Define a Lebesgue measurable control set by
U = u j ( t ) | 0 t t f , u j ( t ) [ 0 , 1 ] , for j = 1 , , 4 .
Minimizing the total count of infectious and exposed individuals in the population and also the implementation costs of those intervention strategies ( u 1 , u 2 , u 3 , and u 4 ) that are put in place is the objective of the optimal control technique. We propose the following objective functional J, defined as
J ( u 1 , u 2 , u 3 , u 4 ) = 0 t f P 1 L + P 2 L d + P 3 L c + P 4 A + P 5 A d + P 6 A c + 1 2 j = 1 4 Q i u i 2 ( t ) d x ,
t f is the elapsed time for the implementation of those control strategies, P j for j = 1 , , 6 represent the positive weight constants of both individuals exposed to and infected with TB, and Q 1 , , Q 4 denote the positive weight constants of u j , for j = 1 , , 4 , the optimal controls. Note that quadratic treatment costs are assumed, that is, they are not linear in nature. Thus, we want to have u 1 * , u 2 * , u 3 * , and u 4 * , the optimal control that satisfies
J ( u 1 * , u 2 * , u 3 * , u 4 * ) = m i n { ( J ( u j ) : u j U , j = 1 , , 4 ) } ,
where U is the Lebesgue measurable control set.

3. Analysis of the Mathematical Model with Constant Control Parameters

The four time-dependent control parameters, in this section, are considered as constants. We then find the equilibrium point (tuberculosis-free equilibrium), basic reproduction number, sensitivity analysis, and stability criteria for the model (1) where u 1 = : u 1 ( t ) , u 2 = : u 2 ( t ) , u 3 = : u 3 ( t ) , and u 4 = : u 4 ( t ) .

3.1. Equilibrium Points

The autonomous model (when we assume constant control parameters) will have the following tuberculosis-free equilibrium point
T 0 = Λ μ + ( 1 u 2 ) σ 1 , σ 1 ( 1 u 2 ) Λ ( μ + ( 1 u 2 ) σ 1 ) ( μ + ( 1 u 2 ) σ 2 ) , σ 1 ( 1 u 2 ) 2 σ 2 Λ μ ( μ + ( 1 u 2 ) σ 1 ) ( μ + ( 1 u 2 ) σ 2 ) , 0 , 0 , 0 , 0 , 0 , 0 .
Hence, using the Next Generation Matrix approach [29,31,44,45], the basic reproduction number of the autonomous model is given below as
R 0 = R c + R d + R s 1 + R s 2
where
R c = σ 1 ( 1 u 2 ) 2 σ 2 Λ r 3 β 1 φ ω ( μ + ( 1 u 2 ) σ 1 ) ( μ + d c ) ( μ + ( 1 u 2 ) σ 2 ) B 5 B 6 , R d = ϕ σ 1 ( 1 u 2 ) Λ ω ( μ + ( 1 u 2 ) σ 1 ) ( μ + ( 1 u 2 ) σ 2 ) β 1 r 3 ( 1 u 2 ) τ 2 B 3 B 5 B 6 + r 2 β 2 B 3 B 4 + β 1 r 2 γ 2 ( 1 u 2 ) σ 2 B 3 B 4 B 6 , R s 1 = Λ ω ( μ + ( 1 u 2 ) σ 1 ) r 1 B 1 B 2 + r 1 β 2 γ 1 ( 1 u 2 ) σ 1 B 1 B 2 B 4 + r 1 β 1 γ 1 γ 2 ( 1 u 2 ) 2 σ 1 σ 2 B 1 B 2 B 4 B 6 , R s 2 = Λ ω ( μ + ( 1 u 2 ) σ 1 ) β 1 r 3 ( 1 u 2 ) 2 τ 1 τ 2 B 1 B 3 B 5 B 6 + β 2 r 2 ( 1 u 2 ) τ 1 B 1 B 3 B 4 + β 1 γ 2 σ 2 ( 1 u 2 ) 2 r 2 τ 1 B 1 B 3 B 4 B 6 ,
and B 1 = r 1 + μ + u 1 + ( 1 u 2 ) τ 1 , B 2 = μ + δ 1 + u 3 + γ 1 ( 1 u 2 ) σ 1 , B 3 = r 2 + ( 1 u 2 ) τ 2 + μ + u 1 , B 4 = μ + δ 2 + u 4 + γ 2 ( 1 u 2 ) σ 2 , B 5 = μ + r 3 + d 1 + u 1 , and B 6 = μ + u 4 + δ 3 + d 2 . The following result on the local stability of the equilibrium point ( T 0 ) was discussed in [29].
Theorem 1
([29]). The tuberculosis-free equilibrium point denoted by T 0 will be locally asymptotically stable if R 0 < 1 and unstable if R 0 > 1 .
It should be noted that Theorem 1 is a direct consequence of a theorem in [44] and its epidemiological significance is that tuberculosis disease will be under control in a case when the important threshold R 0 is below unity since a small number of people infected with tuberculosis in the population will not lead to a spike in new TB cases whenever R 0 < 1 .
Theorem 2.
The partial derivatives of R 0 with respect to the constant control parameters u 1 , u 3 , and u 4 are negative.
Proof. 
See Appendix A. □
By Theorem 2, we can conclude that increasing the constant controls u 1 , u 3 and u 4 will result in a reduction in the value of the threshold parameter, R 0 , thereby helping in lowering the cases of tuberculosis in the population.

3.2. Sensitivity Analysis

Since the model system (1) with constant control parameters has a lot of parameters, we consider it imperative to perform the sensitivity analysis to know those parameters that contribute significantly to the transmission mechanism of TB in a population where people are either diabetes free or living with diabetes. We perform the local sensitivity analysis on the variable R 0 using the elastic index or normalized forward sensitivity index technique and the model parameter values in Table 1. We describe below the elastic index on R 0 with respect to a parameter u 1 :
E u 1 R 0 = R 0 u 1 × u 1 R 0 .
Those parameters in Table 2 whose sensitive indices are negative (positive) will decrease (increase) the value of R 0 . It should be emphasized that the parameters u 1 , u 2 , u 3 , and u 4 have a negative sensitivity index, and as a consequence, they will lower the value of R 0 , hence, they can be used as control parameters. If the values of the parameters, such as β 1 , β 2 , σ 1 , ϕ , and r 3 with positive sensitivity, are decreased, the value of the reproduction number will also be decreased. For example, reducing each of the following parameters ( ϕ , σ 1 , and r 3 ) values by 75%, the value of R 0 is reduced by 25.79%, 27.93%, and 48.40%, respectively. Also, if β 1 and β 2 are simultaneously decreased by 75 % (since β 1 > β 2 ) , the basic reproduction number ( R 0 ) is decreased by 72.44%. This suggests that reducing the number of individuals with uncomplicated diabetes exposed to latent Mycobacterium tuberculosis (TB), preventing the development of uncomplicated diabetes, and controlling infectious TB among people with diabetes and its complications can significantly lower the community burden of TB. Furthermore, reducing the rate of TB transmission from infectious individuals living with the comorbidity of diabetes can help control the TB epidemic in a community. Finally, decreasing all the values of the five parameters ϕ , β 1 , β 2 , σ 1 , and r 3 by 75% at the same time will give a corresponding reduction in the value of the basic reproduction number, such that R 0 = 0.6399 < 1 . It should be emphasized that the parameters u 1 , u 2 , u 3 , and u 4 have negative sensitivity index, and as a consequence, will lower the value of R 0 , hence, they can be used as control parameters.

4. Theoretical Study of the Optimal Control Model Problem

Dynamic optimization is also a term for the theory of optimal control. This is a crucial tool in Mathematics, and is particularly used in decision-making that involves complex biological systems [46]. This section provides a detailed analysis of the non-autonomous, time-dependent TB-DM model (1). The approach we will take has been implemented extensively in several mathematical models that incorporate control strategies [7,37,38,39,40].

4.1. Existence of an Optimal Control

Theorem 3.
Suppose that J is the objective functional as given in (2) and defined on the non-empty Lebesgue measurable control set U, and subject to (1) such that the initial conditions, at t = 0 , are non-negative. Therefore, there exists ( u 1 * , u 2 * , u 3 * , u 4 * ) , an optimal control quadruple, denoted by u * for which
J ( u 1 * , u 2 * , u 3 * , u 4 * ) = m i n { ( J ( u j ) ) : u j U , j = 1 , 2 , 3 , 4 ) } .
Suppose that x = ( S , D , C , L , L d , L c , A , A d , A c ) , U = [ 0 , 1 ] 4 is the Lebesgue measurable admissible control set, ν = ( u 1 , u 2 , u 3 , u 4 ) , and g ( t , x , ν ) denotes the right-hand side of (1) given by
g ( t , x , ν ) = Λ ( ( 1 u 2 ) λ T + μ + ( 1 u 2 ) σ 1 ) S + u 3 A + u 1 L 1 + q a L σ 1 ( 1 u 2 ) S ( ϕ ( 1 u 2 ) λ T + μ + ( 1 u 2 ) σ 2 ) D + u 4 A d + u 1 L d 1 + q a L d σ 2 ( 1 u 2 ) D ( μ + φ ( 1 u 2 ) λ T + d c ) C + u 4 A c + u 1 L c 1 + q a L c ( 1 u 2 ) λ T S ( α 1 ( 1 u 2 ) λ T + r 1 + ( 1 u 2 ( t ) ) τ 1 + μ ) L u 1 L 1 + q a L ϕ ( 1 u 2 ) λ T D + ( 1 u 2 ( t ) ) τ 1 L ( α 2 ( 1 u 2 ) λ T + r 2 + ( 1 u 2 ) τ 2 + μ ) L d u 1 L d 1 + q a L d φ ( 1 u 2 ) λ T C + ( 1 u 2 ) τ 2 L d ( μ + α 3 ( 1 u 2 ) λ T + r 3 + d 1 ) L c u 1 L c 1 + q a L c ( α 1 ( 1 u 2 ) λ T + r 1 ) L ( μ + δ 1 + u 3 + γ 1 ( 1 u 2 ) σ 1 ) A ( α 2 ( 1 u 2 ) λ T + r 2 ) L d + γ 1 ( 1 u 2 ) σ 1 A ( μ + δ 2 + u 4 + γ 2 ( 1 u 2 ) σ 2 ) A d ( α 3 ( 1 u 2 ) λ T + r 3 ) L c + γ 2 ( 1 u 2 ) σ 2 A d ( μ + u 4 + δ 3 + d 2 ) A c .
Let f ( t , x , u j ) for j = 1 , 2 , 3 , 4 be the integrand of J, the objective functional, mentioned in (2). By Theorem 2.2 in [46], it is sufficient to prove the following properties to ensure that an optimal control exists:
(I) The permissible control set, U, is closed and convex.
(II) The boundedness of the state system by a linear function in both the control and state variables.
(III) For each j = 1 , 2 , 3 , 4 , f ( t , x , u j ) is convex in u j .
(IV) There exist positive constants Ψ 1 , Ψ 2 and Ψ 3 > 1 such that the Lagrangian is bounded below by
Ψ 1 ( | u j | ) Ψ 3 2 Ψ 2 , j = 1 , 2 , 3 , 4 .
We establish properties (I)–(IV) as follows:
Proof. 
See Appendix B. □

4.2. Characterization of the Optimal Control

Pontryagin’s maximum principle [47] is used in this section to establish the necessary conditions that an optimal control pair must meet. Now, if we use the principle, we see that (1) and (2) will be transformed into a problem whereby the Hamiltonian function, denoted by H, is minimized pointwise with respect to the following control variables u j , for j = 1 , 2 , 3 , 4 . Define the Hamiltonian H below:
H = P 1 L + P 2 L d + P 3 L c + P 4 A + P 5 A d + P 6 A c + 1 2 Q 1 u 1 2 + Q 2 u 2 2 + Q 3 u 3 2 + Q 4 u 4 2 + λ S Λ ( ( 1 u 2 ) λ T + μ + ( 1 u 2 ) σ 1 ) S + u 3 A + u 1 L 1 + q a L + λ D σ 1 ( 1 u 2 ) S ( ϕ ( 1 u 2 ) λ T + μ + ( 1 u 2 ) σ 2 ) D + u 4 A d ( t ) + u 1 L d 1 + q a L d + λ C σ 2 ( 1 u 2 ) D ( μ + φ ( 1 u 2 ) λ T + d c ) C + u 4 A c + u 1 L c 1 + q a L c + λ L ( 1 u 2 ) λ T S ( α 1 ( 1 u 2 ) λ T + ( 1 u 2 ) τ 1 + r 1 + μ ) L u 1 L 1 + q a L + λ L d ϕ ( 1 u 2 ) λ T D + ( 1 u 2 ) τ 1 L ( α 2 ( 1 u 2 ) λ T + r 2 + ( 1 u 2 ) τ 2 + μ ) L d u 1 L d 1 + q a L d + λ L c φ ( 1 u 2 ) λ T C + ( 1 u 2 ) τ 2 L d ( μ + α 3 ( 1 u 2 ) λ T + r 3 + d 1 ) L c u 1 L c 1 + q a L c + λ A ( α 1 ( 1 u 2 ) λ T + r 1 ) L ( μ + δ 1 + u 3 + γ 1 ( 1 u 2 ) σ 1 ) A + λ A d ( α 2 ( 1 u 2 ) λ T + r 2 ) L d + γ 1 ( 1 u 2 ) σ 1 A ( μ + δ 2 + u 4 + γ 2 ( 1 u 2 ) σ 2 ) A d + λ A c ( α 3 ( 1 u 2 ) λ T + r 3 ) L c + γ 2 ( 1 u 2 ) σ 2 A d ( μ + u 4 + δ 3 + d 2 ) A c ,
where λ S , λ L , λ A , λ D , λ L d , λ A d , λ C , λ L c , and λ A c are the adjoint variables. The next result is the necessary conditions for the optimal control.
Theorem 4.
If there is an optimal control quadruple given by ( u 1 * , u 2 * , u 3 * , u 4 * ) such that the objective functional, J, in (2), is minimized over the admissible control set U, and subject to the state system (1), then there are the adjoint variables λ S , λ D , λ C , λ L , λ L d , λ L c , λ A , λ A d , λ A c satisfying the following adjoint system:
d λ S d t = ( 1 u 2 ) ω A 1 + b A + β 2 A d 1 + b A d + β 1 A c 1 + b A c ( λ S λ L ) + μ λ S + σ 1 ( 1 u 2 ) ( λ S λ D ) d λ D d t = ϕ ( 1 u 2 ) ( λ D λ L d ) ω A 1 + b A + β 2 A d 1 + b A d + β 1 A c 1 + b A c + μ λ D + σ 2 ( 1 u 2 ) ( λ D λ C ) d λ C d t = φ ( 1 u 2 ) ω A 1 + b A + β 2 A d 1 + b A d + β 1 A c 1 + b A c ( λ C λ L c ) + ( μ + d c ) λ C d λ L d t = u 1 ( 1 + q a L ) 2 ( λ L λ S ) P 1 + α 1 ( 1 u 2 ) ω A 1 + b A + β 2 A d 1 + b A d + β 1 A c 1 + b A c + r 1 ( λ L λ A ) + μ λ L + ( 1 u 2 ) τ 1 ( λ L λ L d ) d λ L d d t = u 1 ( 1 + q a L d ) 2 ( λ L d λ D ) P 2 + α 2 ( 1 u 2 ) ω A 1 + b A + β 2 A d 1 + b A d + β 1 A c 1 + b A c + r 2 ( λ L d λ A d ) + τ 2 ( 1 u 2 ) ( λ L d λ L c ) + μ λ L d d λ L c d t = α 3 ( 1 u 2 ) ω A 1 + b A + β 2 A d 1 + b A d + β 1 A c 1 + b A c + r 3 ( λ L c λ A c ) P 3 + ( μ + d 1 ) λ L c + u 1 ( 1 + q a L c ) 2 ( λ L c λ C ) d λ A d t = ( λ A λ A d ) γ 1 ( 1 u 2 ) σ 1 + ( μ + δ 1 ) λ A P 4 + ( λ A λ S ) u 3 + Υ ˜ ( 1 + b A ) 2 d λ A d d t = ( λ A d λ D ) u 4 P 5 + λ A d ( μ + δ 2 ) + γ 2 σ 2 ( 1 u 2 ) ( λ A d λ A c ) + β 2 Υ ˜ ( 1 + b A d ) 2 d λ A c d t = ( λ A c λ C ) u 4 P 6 + ( μ + δ 3 + d 2 ) λ A c + β 1 Υ ˜ ( 1 + b A c ) 2 ,
with transversality conditions
λ S ( t f ) = λ L ( t f ) = λ A ( t f ) = λ D ( t f ) = λ L d ( t f ) = λ A d ( t f ) = λ C ( t f ) = λ L c ( t f ) = λ A c ( t f ) = 0
and
u 1 * = m i n m a x 0 , ( λ L λ S ) L 1 + q a L + ( λ L d λ D ) L d 1 + q a L d + ( λ L c λ C ) L c 1 + q a L c Q 1 , 1 u 2 * = m i n m a x 0 , T 1 + T 2 Q 2 , 1 u 3 * = m i n m a x 0 , ( λ A λ S ) A Q 3 , 1 u 4 * = m i n m a x 0 , ( λ A d λ D ) A d + ( λ A c λ C ) A c Q 4 , 1
where
T 1 = ω A 1 + b A + β 2 A d 1 + b A d + β 1 A c 1 + b A c ( ( λ L λ S ) S + α 1 L ( λ A λ L ) + ϕ D ( λ L d λ D ) + α 2 L d ( λ A d λ L d ) + φ C ( λ L c λ C ) + α 3 L c ( λ A c λ L c ) ) , T 2 = σ 1 S ( λ D λ S ) + γ 1 σ 1 A ( λ A d λ A ) + ( λ C λ D ) σ 2 D + ( λ L c λ L d ) τ 2 L d + γ 2 σ 2 A d ( λ A c λ A d ) + ( λ L d λ L ) τ 1 L ,
and
Υ ˜ = ω ( 1 u 2 ) [ S ( λ S λ L ) + ϕ D ( λ D λ L d ) + φ C ( λ C λ L c ) ] + ω ( 1 u 2 ) [ α 1 L ( λ L λ A ) + α 2 L d ( λ L d λ A d ) + α 3 L c ( λ L c λ A c ) ] .
Proof. 
We take the partial derivatives of the piecewise continuous Hamiltonian function, H, given by (6) with respect to each corresponding state variable to obtain the adjoint system stated in (7). By the Pontryagin maximum principle [47], there exist adjoint variables ( λ S , λ D , λ C , λ L , λ L d , λ L c , λ A , λ A d , λ A c ) such that
d λ S d t = H S , d λ L d t = H L , d λ A d t = H A , d λ D d t = H D , d λ L d d t = H L d , d λ A d d t = H A d , d λ C d t = H C , d λ L c d t = H L c , d λ A c d t = H A c ,
with transversality conditions stated in (8).
Also, for us to obtain the optimal controls (9), we solve the following equations:
H u j = 0
for u j * , j = 1 , 2 , 3 , 4 .
Lastly, using the standard control arguments involving the bounds on the control parameters, we then conclude that for j = 1 , 2 , 3 , 4
u j * = 0 , if J j * 0 J j * , if 0 J j * 1 1 , if J j * 1
and for which
J 1 * = ( λ L λ S ) L 1 + q a L + ( λ L d λ D ) L d 1 + L d + ( λ L c λ C ) L c 1 + q a L c Q 1 J 2 * = T 1 + T 2 Q 2 J 3 * = ( λ A λ S ) A Q 3 J 4 * = ( λ A d λ D ) A d + ( λ A c λ C ) A c Q 4

5. Numerical Simulations

The goal next is to execute the numerical simulations of the optimality system, which is comprised of the model system (1), and adjoint equations (co-state system) (7) with the following initial conditions S 0 = 3 , 850 , 000 , D 0 = 250 , 000 ; C 0 = 10 , 050 ; L 0 = 78 , 000 ; L d 0 = 95 , 000 ; L c 0 = 2500 ; A 0 = 9200 ; A d 0 = 15 , 000 ; A c 0 = 590 , along with the characterization of the optimal control (9), and transversality conditions (8) using the forward-backward sweep procedure in [46]. We choose the following weight constants P 1 = 8000 , P 2 = 2 , P 3 = 41 , P 4 = 1 , P 5 = 1 , P 6 = 45 , Q 1 = 6 , Q 2 = 1 , Q 3 = 1 , Q 4 = 8000 for the aim of demonstrating the optimal level of preventive and treatment strategies needed to minimize the number of people actively and latently infected with Mycobacterium TB.
The forward-backward sweep methods begin with initial guesses of u j , for j = 1 , , 4 (control variables) and solve (1) and the non-autonomous state system in forward time by employing a Runge-Kutta iterative solver of order four accuracy. The adjoint (co-state) system (7) is then solved in reverse time with both iterative solutions of the state systems and the transversality constraints (8). We keep the admissible controls current by utilizing a convex combination of the controls that have been used previously and the characterization value.
Next, we will illustrate the impact of the control strategies that focus on the prevention of active TB/LTBI and Diabetes; the treatment of active cases of TB among diabetic and non-diabetic individuals and the prevention of the incidence of diabetes/TB and the prompt treatment of TB infections, either in the active or latent form. The baseline values of the model parameters in Table 1 were used for the simulations. The final time for implementing these control strategies is 10 years.

5.1. Intervention Strategy with Prevention of TB and Diabetes

Under this intervention strategy, the focus is mainly on preventing the populace from developing diabetes and tuberculosis infections in either the latent or active form. This preventive effort involves a treatment effort that provides a saturated treatment of TB infections in the latent form and mass sensitization of the community on how to prevent developing tuberculosis and diabetes. We use the control parameters u 1 ( t ) and u 2 ( t ) to minimize J, the objective functional (2), while u 3 , u 4 = 0 . In Figure 1, we observe that TB disease persists in the infected classes ( A , A d , and A c ) with or without the control strategy being executed (Figure 1a–c). At the end of the 10-year implementation period of this control strategy, only 1476 and 1082 TB infections were averted in the A and A d classes, respectively. We observe in Figure 1d–e that the number of people exposed to Mycobaterium TB in latent form in each L and L d compartments approach zero at the final time t f . The number of individuals latently infected with TB and diabetic (with its complications) decreased significantly with this control strategy and persists without control (Figure 1f).

5.2. Intervention Strategy with Only Treatment of Active Cases of TB

Here, the control strategy involves the combination of treatment efforts of tuberculosis among diabetic and non-diabetic individuals, that is, the control variables u 3 and u 4 are used to minimize the objective functional, J. The simulation results in Figure 2a,b establish that this intervention strategy will significantly reduce the population of infected humans in A and A d compartments to two and eight people, respectively, at the end of executing this intervention strategy. The infected individuals in the A c class (Figure 2c) increased rapidly, and the mycobacterium TB disease is not under control, in fact, more than ten times its original population size, even with the implementation of this intervention strategy in place. The TB disease persists in all the infected classes A , A d , and A c (Figure 2a–c) when the control variables are not used and also in the latently infected population L c with or without implementing the control strategy. We do not notice any clear difference in the populations of the exposed individuals ( L , L d , and L c ) when the intervention strategy is used or not. It is observed that the individuals in the L d and L compartments decrease sharply at the end of 10 years (see Figure 2d–f).

5.3. Intervention Strategy with Prevention and Treatment

The control strategy combines all the control functions ( u 1 ( t ) , u 2 ( t ) , u 3 ( t ) and u 4 ( t ) ) and we assume they are nonzero, i.e., providing saturated treatment of latent tuberculosis infections (LTBIs), the treatment of infectious TB cases among diabetic and nondiabetic patients, and preventing the incidence of both diabetes and tuberculosis diseases. Figure 3 demonstrates how the implementation of all the control measures helps to control the spread of TB disease in the population. In Figure 3a–c, we see that the infected population A, and the latently infected populations L , L d approach zero at the end of the implementation period. The populations in the A d , A c and L c compartments reduced considerably by 99.94%, 95.06% and 99.9%, respectively (Figure 3e,f). In the uncontrolled case, tuberculosis disease persists in all the following compartments ( A , A d , A c , L c ), and the population of latently infected individuals (L and L d ) declines sharply in 10 years.
In Figure 4, the optimal control profile graphs of different intervention strategies implemented are shown. It is observed that in the intervention strategy with the prevention of active TB and diabetes (Figure 4a), the control parameter u 1 ( t ) should be sustained at the maximum bound throughout the control period and u 2 ( t ) may be kept at the minimum level for the first 4 years and ought to be carried on at the highest bound throughout the rest of the implementation of this control strategy. For the intervention strategy with treatment effort towards active tuberculosis disease (Figure 4b), the control variables u 3 ( t ) and u 4 should be maintained at the peak level for the implementation of this intervention strategy. Lastly, for the control strategy that combines all the control parameters, it is significant to mention that the control variable u 1 ( t ) is to be upheld at the maximum bound throughout. u 3 ( t ) and u 4 ( t ) should sustain maximum efforts for 9 and 6 years, respectively. The control variable u 2 ( t ) may be used at the lowest bound for the first 4.5 years and then should be maintained at its peak bound for the remaining years during the implementation period (see Figure 4c).

6. Conclusions

The analysis of a non-autonomous (optimal control) mathematical model that captures the transmission mechanism of tuberculosis in a population where individuals are either diabetic or not was presented in this study. By taking the time-dependent control variables as constants, we compute R 0 (basic reproduction number), an important threshold in epidemiology, of the autonomous form of (1). Subsequently, the tuberculosis-free equilibrium point, T 0 , was established to be locally asymptotically stable whenever R 0 is below unity and unstable whenever R 0 exceeds unity. Through sensitivity indexes of the autonomous model parameters relative to R 0 , we justified the development of (1). Using the normalized forward sensitivity/elasticity index approach, those parameters that would have direct and indirect relationships with the future course of tuberculosis transmission in a population where some individuals are diabetic were identified. We further established that by reducing the rate at which people develop noncomplicated form of diabetes, rate (per-capita) at which noninfectious TB advances to active TB disease among those living with diabetes and its associated complications, and the modification parameter for increased rate of contracting active tuberculosis disease from those suffering from the double burden of tuberculosis and diabetes with/without complications, will result in a considerable decrease in the value of R 0 . Also, by increasing the time-independent control parameters u 1 , u 2 , u 3 and u 4 , the tuberculosis disease burden in the population will be diminished.
The analysis of the non-autonomous model (1) is built on the theory of optimal control. To find optimal intervention strategies for tuberculosis prevention and control, we considered the following four time-dependent functions which, in short, are the treatment efforts that screen for and diagnose LTBIs among key groups and immediately provide saturated treatment, preventive measures towards the development of either or both tuberculosis and diabetes diseases through community sensitization programs on radio, social media, television, etc., and the treatment efforts of infectious TB disease for people living with or without diabetes. We presented the theoretical analysis of the non-autonomous model problemand several simulation results of the four intervention (control) strategies considered in this work. It was noted that without the control strategies utilized, achieving control over the tuberculosis epidemic in the population will be a considerable challenge. The intervention strategy that has all four controls implemented is the optimal control strategy for preventing and controlling tuberculosis in the population, thereby, resulting in very few latent and active tuberculosis cases at the end of the implementation period of 10 years.

Author Contributions

Conceptualization, S.R.; Methodology, S.R., O.S.I. and S.I.O.; Software, S.R., O.S.I. and S.I.O.; Validation, S.I.O., O.S.I. and B.A.W.; Formal analysis, S.R.; Investigation, S.R., O.S.I. and B.A.W.; Data curation, S.R.; Writing—original draft, S.R.; Writing—review & editing, S.R., O.S.I., S.I.O. and B.A.W.; Visualization, S.R. and S.I.O.; Supervision, O.S.I. and B.A.W. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The Matlab codes employed to run the numerical experiments are available upon request to the authors.

Acknowledgments

We are grateful to the three anonymous reviewers and the handling editor for careful reading, constructive comments, and helpful suggestions, which have led to an improvement of the paper.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Appendix A. Proof of Theorem 2

Since R 0 u 1 = R c u 1 + R d u 1 + R s 1 u 1 + R s 2 u 1 , it is clear that
R c u 1 = ω σ 1 ( 1 u 2 ) 2 σ 2 Λ r 3 β 1 φ ( μ + ( 1 u 2 ) σ 1 ) ( μ + d c ) ( μ + ( 1 u 2 ) σ 2 ) B 5 2 B 6 R d u 1 = ϕ ω σ 1 ( 1 u 2 ) Λ θ 2 ( μ + ( 1 u 2 ) σ 1 ) ( μ + ( 1 u 2 ) σ 2 ) , R s 1 u 1 = Λ ω θ 1 ( μ + ( 1 u 2 ) σ 1 ) B 1 2 , R s 2 q 1 = Λ ( B 1 + B 3 ) θ 3 ( μ + σ 1 ) B 1 2 B 3 2 ,
where
θ 1 = r 1 B 2 + r 1 β 2 γ 1 ( 1 u 2 ) σ 1 B 2 B 4 + r 1 β 1 γ 1 γ 2 ( 1 u 2 ) 2 σ 1 σ 2 B 2 B 4 B 6 , θ 2 = β 1 r 3 ( B 3 + B 5 ) ( 1 u 2 ) τ 2 B 3 2 B 5 2 B 6 + r 2 β 2 B 3 2 B 4 + β 1 r 2 γ 2 ( 1 u 2 ) σ 2 B 3 2 B 4 B 6 , and θ 3 = β 1 r 3 ( 1 u 2 ) 2 τ 1 τ 2 B 5 B 6 + β 2 r 2 ( 1 u 2 ) τ 1 B 4 + β 1 γ 2 ( 1 u 2 ) 2 σ 2 r 2 τ 1 B 4 B 6 + β 1 r 3 ( 1 u 2 ) 2 τ 1 τ 2 B 1 B 3 B 5 2 B 6 ( B 1 + B 3 ) .
Hence, R 0 u 1 < 0 . Following similar approach, it can easily be verified that R 0 u 3 < 0 and R 0 u 4 < 0 .

Appendix B. Proof of Theorem 3

Since the control set U = [ 0 , 1 ] 4 , by definition, the closure condition in (I) is established. Also, suppose that y ˜ and z ˜ are any arbitrarily two points in U such that z ˜ = ( z ˜ 1 , z ˜ 2 , z ˜ 3 , z ˜ 4 ) and y ˜ = ( y ˜ 1 , y ˜ 2 , y ˜ 3 , y ˜ 4 ) . By applying the definition of a convex set provided in [46], we conclude that
( 1 λ ˜ ) z ˜ j + λ ˜ y ˜ j [ 0 , 1 ] ,
λ ˜ [ 0 , 1 ] , j = 1 , 2 , 3 , 4 . Hence, ( 1 λ ˜ ) z ˜ + λ ˜ y ˜ U and that proves the convexity of U.
It should be noted that we can write g ( t , x , ν ) in (5) as h 1 ( t , x ) ν + h 2 ( t , x ) , such that
h 2 ( t , x ) = Λ λ T S μ S σ 1 S σ 1 S ϕ λ T D μ D σ 2 D σ 2 D μ C φ λ T C d c C λ T S α 1 λ T L τ 1 L r 1 L μ L ϕ λ T D + τ 1 L α 2 λ T L d r 2 L d τ 2 L d μ L d φ λ T C + τ 2 L d μ L c α 3 λ T L c r 3 L c d 1 L c α 1 λ T L + r 1 L μ A δ 1 A γ 1 σ 1 A α 2 λ T L d + r 2 L d + γ 1 σ 1 A μ A d δ 2 A d γ 2 σ 2 A d α 3 λ T L c + r 3 L c + γ 2 σ 2 A d μ A c δ 3 A c d 2 A c
and
h 1 ( t , x ) = L 1 + q a L σ 1 S + λ T S A 0 L d 1 + q a L d σ 1 S + ϕ λ T D + σ 2 D 0 A d L c 1 + q a L c φ λ T C σ 2 D 0 A c L 1 + q a L λ T S + α 1 λ T L + τ 1 L 0 0 L d 1 + q a L d ϕ λ T D + τ 1 L + α 2 λ T L d + τ 2 L d 0 0 L c 1 + q a L c φ λ T C + α 3 λ T L c τ 2 L d 0 0 0 γ 1 σ 1 A α 1 λ T L A 0 0 γ 1 σ 1 A α 2 λ T L d + γ 2 σ 2 A d 0 A d 0 α 3 λ T L c γ 2 σ 2 A d 0 A c .
We follow the concept used in [40] to prove the boundedness of the state system. Then,
g ( t , x , ν ) h 1 ( t , x ) ν + h 2 ( t , x ) b 1 ν + b 2
for some constants b 1 , b 2 > 0 given by
b 1 = m a x { s 1 , s 2 , s 3 } ω 2 s 1 ( μ + b Λ ) 2 μ 2 Λ 4 + ω s 2 ( μ + b Λ ) μ 2 Λ 3 + 1 + s 3 μ 2 Λ 2 b 2 = m a x { s 4 , s 5 , s 6 } ω 2 s 4 ( μ + b Λ ) 2 μ 2 Λ 4 + ω s 5 ( μ + b Λ ) μ 2 Λ 3 + Λ 2 θ ,
where
s 1 = ( 1 + β 2 + β 1 ) 2 ( 1 + ϕ 2 + α 1 2 + α 2 2 + φ 2 + α 3 2 ) s 2 = 2 ( 1 + β 2 + β 1 ) ( α 1 r 1 + α 2 r 2 + ϕ τ 1 + α 2 γ 1 σ 1 + φ τ 2 + α 3 r 3 + α 3 γ 2 σ 2 ) s 3 = σ 1 2 + σ 2 2 + r 1 2 + r 2 2 + 2 r 2 γ 1 σ 1 + τ 2 2 + γ 1 2 σ 1 2 + τ 1 2 + r 3 2 + 2 r 3 γ 2 σ 2 + γ 2 2 σ 2 2 s 4 = ( 1 + β 2 + β 1 ) 2 ( 2 + 2 ( α 1 2 + α 2 2 + α 3 2 + ϕ 2 + φ 2 ) 2 ( α 1 + ϕ α 2 + φ α 3 ) ) s 5 = 2 σ 1 ( 1 γ 1 α 1 ϕ + γ 1 α 2 ) 2 τ 1 ( 1 α 1 + ϕ α 2 ) 2 σ 2 ( φ γ 2 α 3 ϕ + α 2 γ 2 ) 2 τ 2 ( ϕ α 2 + α 3 φ ) s 6 = 2 ( σ 1 2 + γ 1 2 σ 1 2 + γ 2 2 σ 2 2 + σ 2 2 + τ 1 2 + τ 2 2 ) 2 ( α 1 τ 1 τ 2 + σ 1 σ 2 + γ 1 σ 1 γ 2 σ 2 ) and θ = 6 μ 2 + s 6 μ 2 + 6 ( μ 2 + q a Λ ) 2 .
That completes the proof of (II).
Let the integrand of the objective functional (2) be the Lagrangian of the following form
f ( t , x , ν ) = P 1 L + P 2 L d + P 3 L c + P 4 A + P 5 A d + P 6 A c + 1 2 i = 1 4 Q i u i 2 ( t ) : = f 1 ( t , x ) + f 2 ( t , ν )
where
f 1 ( t , x ) = P 1 L + P 2 L d + P 3 L c + P 4 A + P 5 A d + P 6 A c , and f 2 ( t , ν ) = 1 2 i = 1 4 Q i u i 2 ( t ) .
Therefore, it is sufficient to prove that f 2 ( t , ν ) is convex in ν , the control variable. We see that f 2 ( t , ν ) is a finite linear combination of the functions denoted by χ i = u i 2 2 and Q i for i = 1 , 2 , 3 , 4 are positive coefficients. Now, we need to prove the convexity of the map χ : U R defined by χ ( u ) = u 2 2 . Also, as defined for a convex function in [46], choose λ ˜ [ 0 , 1 ] and z ˜ , y ˜ U . Then,
χ ( ( 1 λ ˜ ) z ˜ + λ ˜ y ˜ ) ( ( 1 λ ˜ ) χ ( z ˜ ) + λ ˜ χ ( y ˜ ) ) = 1 2 ( ( 1 λ ˜ ) z ˜ + λ ˜ y ˜ ) 2 1 2 ( 1 λ ˜ ) z ˜ 2 + λ ˜ y ˜ 2 = 1 2 [ λ ˜ ( λ ˜ 1 ) ( y ˜ 2 2 y ˜ z ˜ + z ˜ 2 ) ] = 1 2 λ ˜ ( λ ˜ 1 ) ( y ˜ z ˜ ) 2 0 .
Since λ ˜ [ 0 , 1 ] , we have that χ ( λ ˜ y ˜ + ( 1 λ ˜ ) z ˜ ) λ ˜ χ ( y ˜ ) + ( 1 λ ˜ ) χ ( z ˜ ) . Hence, the condition (III) is satisfied.
Finally, to verify the final condition (IV), we see that the Lagrangian given by
f ( t , x , ν ) = P 1 L + P 2 L d + P 3 L c + P 4 A + P 5 A d + P 6 A 6 + 1 2 i = 1 4 Q i u i 2 ( t ) 1 2 i = 1 4 Q i u i 2 ( t ) Ψ 1 i = 1 4 u i 2 Ψ 3 2 Ψ 2
where Ψ 1 = 1 2 m i n { Q i , i = 1 , 2 , 3 , 4 } , Ψ 2 0 and Ψ 3 = 2 .

References

  1. abcNEWS, Kansas Faces One of the Largest Tuberculosis Outbreaks in Us History. Available online: https://abcnews.go.com/Health/kansas-faces-largest-tuberculosis-outbreak-us-history-health/story?id=118174420 (accessed on 30 January 2025).
  2. Orcau, À.; Caylà, J.A.; Martínez, J.A. Present epidemiology of tuberculosis. prevention and control programs. Enfermedades Infecc. Microbiol. Clin. 2011, 29, 2–7. [Google Scholar] [CrossRef] [PubMed]
  3. CDC. 2024 Tuberculosis (TB) Surveillance Report. Available online: https://www.cdc.gov/tb/risk-factors/diabetes.html (accessed on 21 May 2025).
  4. WHO. Global Tuberculosis Report 2024. Available online: https://www.who.int/teams/global-programme-on-tuberculosis-and-lung-health/tb-reports/global-tuberculosis-report-2024 (accessed on 21 May 2025).
  5. CDC, Provisional 2024 Tuberculosis Data, United States. Available online: https://www.cdc.gov/tb-data/2024-provisional/index.html (accessed on 21 May 2025).
  6. Cao, H.; Song, B.; Zhou, Y. Treatment strategies for the latent tuberculosis infections. J. Math. Biol. 2023, 86, 93. [Google Scholar] [CrossRef] [PubMed]
  7. Agwu, C.O.; Omame, A.; Inyama, S.C. Analysis of mathematical model of diabetes and tuberculosis co-infection. Int. J. Appl. Comput. Math. 2023, 9, 36. [Google Scholar] [CrossRef]
  8. Suárez, I.; Fünger, S.M.; Kröger, S.; Rademacher, J.; Fätkenheuer, G.; Rybniker, J. The diagnosis and treatment of tuberculosis. Dtsch. Aerzteblatt Int. 2019, 116, 729–735. [Google Scholar] [CrossRef]
  9. World Health Organization. Communicable Diseases Cluster. What is Dots?: A Guide to Understanding the Who-Recommended tb Control Strategy Known as Dots; Technical Report; World Health Organization: Geneva, Switzerland, 1999. [Google Scholar]
  10. Jeon, C.Y.; Murray, M.B. Diabetes mellitus increases the risk of active tuberculosis: A systematic review of 13 observational studies. PLoS Med. 2008, 5, e152. [Google Scholar]
  11. Krishna, S.; Jacob, J.J. Diabetes Mellitus and Tuberculosis, Endotext; MDText. com, Inc.: South Dartmouth, MA, USA, 2021. [Google Scholar]
  12. Moualeu, D.; Bowong, S.; Tewa, J.; Emvudu, Y. Analysis of the impact of diabetes on the dynamical transmission of tuberculosis. Math. Model. Nat. Phenom. 2012, 7, 117–146. [Google Scholar] [CrossRef]
  13. Tan, G.H.; Nelson, R.L. Pharmacologic treatment options for non-insulin-dependent diabetes mellitus. Mayo Clin. Proc. 1996, 71, 763–768. [Google Scholar] [CrossRef]
  14. Yorke, E.; Atiase, Y.; Akpalu, J.; Sarfo-Kantanka, O.; Boima, V.; Dey, I.D. The bidirectional relationship between tuberculosis and diabetes. Tuberc. Res. Treat. 2017, 2017, 1702578. [Google Scholar] [CrossRef]
  15. Bates, M.; Marais, B.J.; Zumla, A. Tuberculosis comorbidity with communicable and noncommunicable diseases. Cold Spring Harb. Perspect. Med. 2015, 5, a017889. [Google Scholar] [CrossRef]
  16. Vento, S.; Lanzafame, M. Tuberculosis and cancer: A complex and dangerous liaison. Lancet Oncol. 2011, 12, 520–522. [Google Scholar] [CrossRef]
  17. van Crevel, R.; Critchley, J.A. The interaction of diabetes and tuberculosis: Translating research to policy and practice. Trop. Med. Infect. Dis. 2021, 6, 8. [Google Scholar] [CrossRef]
  18. Nichols, G.P. Diabetes among young tuberculous patients, a review of the association of the two diseases. Am. Rev. Tuberc. Pulm. Dis. 1957, 76, 1016–1030. [Google Scholar]
  19. Garg, M.; Baliga, K. Management of type 2 diabetes (niddm). Med. J. 2002, 58, 53. [Google Scholar] [CrossRef]
  20. Lefèbvre, P.J.; Scheen, A.J. Management of non-insulin-dependent diabetes mellitus. Drugs 1992, 44, 29–38. [Google Scholar] [CrossRef]
  21. Restrepo, B.I. Diabetes and Tuberculosis, Understanding the Host Immune Response Against Mycobacterium Tuberculosis Infection; Springer: Cham, Switzerland, 2018; pp. 1–21. [Google Scholar]
  22. Root, H.F. The association of diabetes and tuberculosis. New Engl. J. Med. 1934, 210, 127–147. [Google Scholar] [CrossRef]
  23. Alavi, S.M.; Khoshkhoy, M.M. Pulmonary tuberculosis and diabetes mellitus: Co-existence of both diseases in patients admitted in a teaching hospital in the southwest of iran. Casp. J. Intern. Med. 2012, 3, 421. [Google Scholar]
  24. Pan, S.-C.; Ku, C.-C.; Kao, D.; Ezzati, M.; Fang, C.-T.; Lin, H.-H. Effect of diabetes on tuberculosis control in 13 countries with high tuberculosis: A modelling study. Lancet Diabetes Endocrinol. 2015, 3, 323–330. [Google Scholar] [CrossRef] [PubMed]
  25. Carvalho, A.R.; Pinto, C.M. Non-integer order analysis of the impact of diabetes and resistant strains in a model for tb infection. Commun. Nonlinear Sci. Numer. Simul. 2018, 61, 104–126. [Google Scholar] [CrossRef]
  26. Jajarmi, A.; Ghanbari, B.; Baleanu, D. A new and efficient numerical method for the fractional modeling and optimal control of diabetes and tuberculosis co-existence. Chaos Interdiscip. J. Nonlinear Sci. 2019, 29, 093111. [Google Scholar] [CrossRef]
  27. Moya, E.D.; Pietrus, A.; Oliva, S.M. A mathematical model for the study of effectiveness in therapy in tuberculosis taking into account associated diseases. Contemp. Math. 2021, 2, 77–102. [Google Scholar]
  28. Awad, S.F.; Critchley, J.A.; Abu-Raddad, L.J. Impact of diabetes mellitus on tuberculosis epidemiology in indonesia: A mathematical modeling analysis. Tuberculosis 2022, 134, 102164. [Google Scholar] [CrossRef] [PubMed]
  29. Rasheed, S.; Iyiola, O.S.; Oke, S.I.; Wade, B.A. Exploring a mathematical model with saturated treatment for the co-dynamics of tuberculosis and diabetes. Mathematics 2024, 12, 3765. [Google Scholar] [CrossRef]
  30. Afolabi, S.; Ajadi, N.; Jimoh, A.; Adenekan, I. Predicting diabetes using supervised machine learning algorithms on e-health records. Inform. Health 2025, 2, 9–16. [Google Scholar] [CrossRef]
  31. Afolabi, Y.; Wade, B. Dynamics of transmission of a monkeypox epidemic in the presence of an imperfect vaccination. Results Appl. Math. 2023, 19, 100391. [Google Scholar] [CrossRef]
  32. Iyiola, O.; Oduro, B.; Akinyemi, L. Analysis and solutions of generalized chagas vectors re-infestation model of fractional order type. Chaos Solitons Fractals 2021, 145, 110797. [Google Scholar] [CrossRef]
  33. Brauer, F.; Castillo-Chavez, C. Mathematical Models in Population Biology and Epidemiology; Springer: New York, NY, USA, 2012. [Google Scholar]
  34. Blackwood, J.C.; Childs, L.M. An introduction to compartmental modeling for the budding infectious disease modeler. Lett. Biomath. 2018, 5, 195–221. [Google Scholar] [CrossRef]
  35. Iyiola, O.; Oduro, B.; Zabilowicz, T.; Iyiola, B.; Kenes, D. System of time fractional models for COVID-19: Modeling, analysis and solutions. Symmetry 2021, 13, 787. [Google Scholar] [CrossRef]
  36. Biala, T.A.; Afolabi, Y.O.; Khaliq, A. How efficient is contact tracing in mitigating the spread of COVID-19? A mathematical modeling approach. Appl. Math. Model. 2022, 103, 714–730. [Google Scholar] [CrossRef]
  37. Dere, Z.O.; Cogan, N.G.; Karamched, B.R. Optimal control strategies for mitigating antibiotic resistance: Integrating virus dynamics for enhanced intervention design. Math. Biosci. 2025, 386, 109464. [Google Scholar] [CrossRef]
  38. Oke, S.I.; Ekum, M.I.; Akintande, O.J.; Adeniyi, M.O.; Adekiya, T.A.; Achadu, O.J.; Matadi, M.B.; Iyiola, O.S.; Salawu, S.O. Optimal control of the coronavirus pandemic with both pharmaceutical and non-pharmaceutical interventions. Int. J. Dyn. Control 2023, 11, 2295–2319. [Google Scholar] [CrossRef]
  39. Omede, B.I.; Odionyenma, U.B.; Ibrahim, A.A.; Bolaji, B. Third wave of covid-19: Mathematical model with optimal control strategy for reducing the disease burden in nigeria. Int. J. Dyn. Control 2023, 11, 411–427. [Google Scholar] [CrossRef] [PubMed]
  40. Olaniyi, S.; Okosun, K.; Adesanya, S.; Lebelo, R. Modelling malaria dynamics with partial immunity and protected travellers: Optimal control and cost-effectiveness analysis. J. Biol. Dyn. 2020, 14, 90–115. [Google Scholar] [CrossRef] [PubMed]
  41. Capasso, V.; Serio, G. A generalization of the kermack-mckendrick deterministic epidemic model. Math. Biosci. 1978, 42, 43–61. [Google Scholar] [CrossRef]
  42. Mengistu, A.K.; Witbooi, P.J. Mathematical Analysis of tb Model with Vaccination and Saturated Incidence Rate; Wiley: Hoboken, NJ, USA, 2020. [Google Scholar]
  43. Egonmwan, A.O.; Okuonghae, D. Analysis of a mathematical model for tuberculosis with diagnosis. J. Appl. Math. Comput. 2019, 59, 129–162. [Google Scholar] [CrossRef]
  44. den Driessche, P.V.; Watmough, J. Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission. Math. Biosci. 2002, 180, 29–48. [Google Scholar] [CrossRef]
  45. Baba, I.A.; Abdulkadir, R.A.; Esmaili, P. Analysis of tuberculosis model with saturated incidence rate and optimal control. Phys. A Stat. Mech. Its Appl. 2020, 540, 123237. [Google Scholar] [CrossRef]
  46. Lenhart, S.; Workman, J.T. Optimal Control Applied to Biological Models; CRC Press: Boca Raton, FL, USA, 2007. [Google Scholar]
  47. Pontryagin, L.S. Mathematical Theory of Optimal Processes; Routledge: New York, NY, USA, 2018. [Google Scholar]
Figure 1. Simulation results of the model (1) showing the variation in exposed and infected populations, the intervention strategy with prevention of active TB is implemented.
Figure 1. Simulation results of the model (1) showing the variation in exposed and infected populations, the intervention strategy with prevention of active TB is implemented.
Algorithms 18 00348 g001
Figure 2. Simulation results of the model (1) showing the variation in the exposed and infected populations when the intervention strategy with only treatment of active cases of TB is implemented.
Figure 2. Simulation results of the model (1) showing the variation in the exposed and infected populations when the intervention strategy with only treatment of active cases of TB is implemented.
Algorithms 18 00348 g002
Figure 3. Simulation results of the model (1) showing the variation in exposed and infected populations when the intervention strategy that combines all the control efforts is implemented.
Figure 3. Simulation results of the model (1) showing the variation in exposed and infected populations when the intervention strategy that combines all the control efforts is implemented.
Algorithms 18 00348 g003
Figure 4. Simulation results showing the profiles of the control functions used for each intervention strategy implemented.
Figure 4. Simulation results showing the profiles of the control functions used for each intervention strategy implemented.
Algorithms 18 00348 g004
Table 1. Model parameters, their definitions and numerical values.
Table 1. Model parameters, their definitions and numerical values.
Model ParameterDescriptionBaseline Values Per YearRangeReference
Λ Constant per-capita recruitment rate667,685[600,000, 700,000] [12]
σ 1 Rate of acquiring diabetes mellitus without developing complications0.009[0.00466, 0.0133] [12]
σ 2 Rate of acquiring complicated form of diabetes mellitus0.01[0.00413, 0.0159][7]
d 1 Death rate as a result of severe complications associated with diabetes in the L c compartment0.005[0.00376, 0.00624] [7]
d 2 Death rate as a result of severe complications associated with diabetes in the A c ( t ) compartment0.1 × d 1 [0.000398, 0.000602] [7]
α 1 Exogenous reinfection rate0.05[0.0221, 0.0779] [6]
α 2 Exogenous reinfection rate 1.01 × α 1 [0.00897, 0.0920] [7]
α 3 Exogenous reinfection rate 1.01 × α 2 [0.0349, 0.0671] [7]
d c Death rate as a result of complications linked directly to diabetes in the C ( t ) compartment0.1 × d 1 [0.000398, 0.000602] [7]
δ 1 Mortality rate owing to active tuberculosis in the A compartment0.0025[0.00219, 0.00281] [6]
δ 2 Mortality rate owing to active tuberculosis in the A d compartment 1.25 × δ 1 [0.00158, 0.00467] [7]
δ 3 Mortality rate owing to active tuberculosis in the A c compartment 1.25 × δ 2 [0.000807, 0.00701] [7]
ϕ Modification parameter that adjusts the accelerated rate of contracting the Mycobaterium TB in the latent form among diabetic individuals that experienced no complication1.01[0.459, 1.543] [7]
φ Modification parameter that adjusts the accelerated rate of developing LTBIs among those having diabetes with complications2.851[2.247, 3.455]Assumed
γ 1 Modification parameter that adjusts the accelerated rate at which individuals in the A ( t ) class acquire noncomplicated form of diabetes1.01[1, 1.5] [7]
γ 2 Modification parameter that adjusts the accelerated rate at which those in the A d ( t ) class acquire complicated form of diabetes1.05[1, 1.5] [7]
τ 1 Rate of acquiring diabetes mellitus without developing complications in the L compartment1.01[1, 2] [7]
τ 2 Rate of acquiring diabetes mellitus without developing complications in the L d compartment1.01[1, 2] [7]
ω Transmission probability per contact with infectious diabetic and non-diabetic individuals 1.65 × 10 7 [ 1.43 × 10 7 , 1.87 × 10 7 ]  [42]
q a Saturating factor 6.7 × 10 10 [ 4.53 × 10 10 , 8.87 × 10 10 ]  [6]
β 1 Modification parameter5.597[5.168, 6.026]Assumed
β 2 Modification parameter5.14[4.723, 5.557]Assumed
r 1 Per-capita rate at which latent TB infections progress to infectious TB disease among individuals without diabetes0.023[0.00565, 0.0404] [42]
r 2 Per-capita rate at which latent TB infections progress to infectious TB disease among individuals with noncomplicated form of diabetes 2 × r 1 [0.0169, 0.0751] [7]
r 3 Per-capita rate at which latent TB infections progress to infectious TB disease among individuals with complicated form of diabetes 2 × r 2 [0.0827, 0.101] [7]
bSaturation0.7[0, 1]Assumed
μ Natural mortality rate per-capita0.02041[0.0202, 0.02189] [43]
Table 2. Sensitivity index of parameters of model system (1) with constant control parameters.
Table 2. Sensitivity index of parameters of model system (1) with constant control parameters.
ParameterIndexParameterIndex
r 1 0.0247 r 2 0.2561
r 3 0.5733 β 1 0.6768
β 2 0.2891 τ 1 0.2228
σ 1 0.3219 σ 2 0.0591
ω 1 Λ 1
ϕ 0.3438 φ 0.1575
γ 1 0.0012 u 2 −0.3958
u 1 −1.1599 γ 2 0.00024755
d c −0.0038 u 4 −0.9211
δ 1 −0.00016905 δ 2 −0.0017
δ 3 −0.0050 μ −1.4621
d 1 −0.0055 d 2 −0.00064477
τ 2 0.1358 u 3 −0.0338
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

Rasheed, S.; Iyiola, O.S.; Oke, S.I.; Wade, B.A. Numerical and Theoretical Treatments of the Optimal Control Model for the Interaction Between Diabetes and Tuberculosis. Algorithms 2025, 18, 348. https://doi.org/10.3390/a18060348

AMA Style

Rasheed S, Iyiola OS, Oke SI, Wade BA. Numerical and Theoretical Treatments of the Optimal Control Model for the Interaction Between Diabetes and Tuberculosis. Algorithms. 2025; 18(6):348. https://doi.org/10.3390/a18060348

Chicago/Turabian Style

Rasheed, Saburi, Olaniyi S. Iyiola, Segun I. Oke, and Bruce A. Wade. 2025. "Numerical and Theoretical Treatments of the Optimal Control Model for the Interaction Between Diabetes and Tuberculosis" Algorithms 18, no. 6: 348. https://doi.org/10.3390/a18060348

APA Style

Rasheed, S., Iyiola, O. S., Oke, S. I., & Wade, B. A. (2025). Numerical and Theoretical Treatments of the Optimal Control Model for the Interaction Between Diabetes and Tuberculosis. Algorithms, 18(6), 348. https://doi.org/10.3390/a18060348

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop