Skip to main content
Advertisement
Browse Subject Areas
?

Click through the PLOS taxonomy to find articles in your field.

For more information about PLOS Subject Areas, click here.

  • Loading metrics

Mathematical modeling and cost-effective intervention strategies for diabetes management: A data-driven and numerical analysis approach

  • S. Nivetha ,

    Contributed equally to this work with: S. Nivetha, Mini Ghosh

    Roles Conceptualization, Data curation, Formal analysis, Investigation, Methodology, Software, Validation, Visualization, Writing – original draft

    Affiliation Department of Mathematics, School of Advanced Sciences, Vellore Institute of Technology, Chennai, Tamil Nadu, India

  • Mini Ghosh

    Contributed equally to this work with: S. Nivetha, Mini Ghosh

    Roles Conceptualization, Formal analysis, Investigation, Methodology, Supervision, Validation, Visualization, Writing – review & editing

    minighosh@vit.ac.in

    Affiliation Department of Mathematics, School of Advanced Sciences, Vellore Institute of Technology, Chennai, Tamil Nadu, India

Abstract

Diabetes mellitus is a chronic, non-communicable disease that continues to pose a major global health burden. Effective management strategies require not only clinical interventions but also robust modeling frameworks to guide public health decisions. In this study, we develop a compartmental model to describe the dynamics of diabetes under both pharmacological and non-pharmacological interventions. The model is solved using a Nonstandard Finite Difference (NSFD) scheme, which preserves key properties such as positivity and boundedness, and demonstrates superior stability compared to classical numerical methods (RK4 and Forward Euler). The model parameters are estimated by fitting to annual diabetes prevalence data from the United States (2000–2022). A global sensitivity analysis using Partial Rank Correlation Coefficients (PRCC) identifies the most influential parameters driving disease dynamics. To evaluate intervention strategies, the model is extended with three time-dependent control measures, followed by a cost-effectiveness analysis to assess their relative efficiency. Our findings highlight the critical parameters influencing diabetes progression and suggest optimal intervention strategies that balance effectiveness with economic feasibility. These results provide valuable insights for improving diabetes management and support evidence-based public health planning.

Introduction

Diabetes mellitus is a chronic metabolic disorder and a major global public health concern. Characterized by sustained elevated blood glucose levels, diabetes can lead to serious complications such as cardiovascular diseases, kidney failure, neuropathy, and vision impairment if not properly managed. According to the World Health Organization (WHO) and the International Diabetes Federation (IDF), approximately one in nine adults worldwide is currently living with diabetes, with the majority residing in low and middle income countries [1,2]. The global prevalence of diabetes has been rising steadily, driven by demographic transitions, urbanization, and sedentary lifestyles. This growing burden not only affects individual well-being but also places substantial pressure on healthcare systems. As emphasized by the IDF, improving the lives of people living with diabetes and preventing the disease in those at risk remains a key public health mission.

Numerous factors contribute to the development of diabetes, among which obesity is one of the most significant [3,4]. Excess body weight increases the risk of insulin resistance, impairing the body’s ability to regulate blood glucose effectively. This interaction often creates a feedback loop where obesity and diabetes coexist, worsening health outcomes. This close relationship commonly termed “diabesity” is driven by shared metabolic defects such as insulin resistance and hormonal imbalances [5]. In particular, central obesity markedly increases the risk of both diabetes and cardiovascular disease. Effective management typically requires a combination of lifestyle modifications and, in some cases, pharmacological interventions [6]. Genetic factors, along with environmental and lifestyle influences, also play a vital role in the development of diabetes. Genetic epidemiology explores how gene variants and environmental factors interact to shape diabetes risk, highlighting the complex nature of both type 1 and type 2 diabetes [7,8]. Additionally, epigenetic mechanisms further influence disease susceptibility throughout life.

To better understand the complex mechanisms underlying diabetes, epidemiology plays an important role. Beyond infectious disease modeling, mathematical models are increasingly used to study the mechanisms of non-communicable diseases such as diabetes, cancer, etc. To address the growing burden of diabetes, mathematical modeling has emerged as a valuable tool for understanding disease mechanisms and informing public health strategies. For instance, recent models have simulated pancreatic islet adaptation to insulin resistance and provided realistic long-term predictions of disease progression [9]. Reviews of the field underscore the growing importance of such models and the need for deeper mechanistic insights into diabetes and its complications [10]. Other models have explored transitions from diabetes to its complication stages, demonstrating the potential for cost-effective intervention strategies [11]. These efforts reinforce the value of mathematical modeling in guiding research, prevention, and treatment strategies for diabetes.

In the study of nonlinear dynamical systems, particularly when analytical solutions are not feasible, numerical methods serve as essential tools for exploring system behavior. Standard schemes such as the Forward Euler and fourth-order Runge–Kutta (RK4) methods are widely used due to their simplicity and effectiveness in approximating solutions of ordinary differential equations. These methods have been successfully applied in modeling various infectious diseases, including HIV-AIDS, COVID-19, and historical influenza, providing meaningful insights into disease dynamics [1214]. While RK4 offers improved accuracy over Euler for small step sizes, both methods may encounter limitations especially when applied to discrete-time compartmental models failing to preserve crucial properties such as positivity, boundedness, and long-term stability [15,16].

To overcome these challenges, the Nonstandard Finite Difference (NSFD) method has been proposed as a robust alternative. NSFD schemes are specifically designed to maintain key qualitative features of the continuous system, including positivity, conservation laws, and dynamic consistency, regardless of step size [17,18]. Moreover, NSFD methods have been shown to accurately capture complex nonlinear behaviors, such as backward and Hopf bifurcations, making them particularly suitable for biological and epidemiological modeling [19]. Applications of NSFD to diseases like hepatitis B, dengue, diarrhea, and malaria have further demonstrated its superior performance over traditional methods [15,1921].

In recent years, optimal control theory has been applied to diabetes models to identify time-dependent intervention strategies that minimize disease burden while considering associated costs [22]. Complementing this, cost-effectiveness analysis enables evaluation of these strategies from an economic perspective, assisting policymakers in the efficient allocation of limited healthcare resources [23]. Furthermore, models have increasingly incorporated stochastic effects, environmental factors such as endocrine-disrupting chemicals, and behavioral influences to better capture disease dynamics and complexities. These studies apply Pontryagin’s Maximum Principle to identify effective control strategies that mitigate disease progression and related complications. Research highlights the importance of addressing co-morbid behaviors such as alcohol consumption and obesity while accounting for treatment variability and environmental exposures [2427]. Numerical simulations validate these approaches, providing actionable insights for disease management and policy planning. In addition, optimal control and cost-effective frameworks have also been extensively used beyond diseases for example in suppressing nonlinear computer virus transmission [28]. Similar approaches have also been successfully implemented in TB behavioral control [29], HCV elimination strategy evaluation in prisons [30], malaria–VL co-infection control [31], and even dual addiction dissemination modeling [32].

Additionally, recent work has focused on combining awareness initiatives with treatment and psychological follow-up to effectively control type 2 diabetes. By applying optimal control methods with time-dependent controls for awareness and treatment, these models identify cost-efficient strategies for reducing disease prevalence. Computational simulations confirm that integrating education and therapy offers both significant health benefits and economic feasibility [33,34]. Finally, fractional-order diabetes models incorporating insulin therapy and awareness controls have been developed to optimize treatment strategies. Stability and cost-effectiveness analyses of these models, supported by numerical simulations, demonstrate the benefits of combined interventions [35].

In contrast to existing diabetes models, the present study integrates both pharmacological and non-pharmacological (lifestyle-based) interventions together with obesity-induced diabetes progression and the transition between treatment types within a unified dynamical framework. Existing mathematical models on diabetes are relatively limited in number, and most of them consider general treatment effects without distinguishing between these intervention strategies or validating the theoretical findings with real-time data. To address this gap, our model is calibrated using observed prevalence data, providing a quantitative validation of the system dynamics and enabling an evidence-based assessment of intervention outcomes.

From the mathematical and computational perspective, a tailored Nonstandard Finite Difference (NSFD) scheme is developed to ensure positivity, boundedness, and dynamic consistency of numerical solutions features not explicitly guaranteed in most earlier diabetes models. Furthermore, we integrate Partial Rank Correlation Coefficient (PRCC) based global sensitivity analysis with optimal control and cost effectiveness assessments to quantitatively evaluate and compare intervention strategies. To the best of our knowledge, this comprehensive integration of mechanistic modeling, real-time data calibration, numerically stable discretization, sensitivity analysis, optimal control, and cost-effectiveness evaluation has not been reported previously in the context of diabetes dynamics.

The paper is structured as follows. Sect 1 presents the formulation of the mathematical model together with the existence of equilibrium points and the stability analysis. Sect 2 describes the data fitting using the maximum likelihood method, followed by numerical simulations of the diabetes model, including the PRCC-based sensitivity analysis. Sect 3 introduces the NSFD scheme together with its convergence, consistency, and error analysis. Sect 4 focuses on the optimal control and cost-effectiveness analyses to evaluate the efficiency of different intervention strategies. Sect 5 provides the results and discussion. Finally, Sect 6 concludes the study with the main findings.

1 Mathematical model formulation

Diabetes is one of the main chronic diseases that affect global health. It typically arises in individuals due to factors such as lifestyle changes, genetic predisposition, and other metabolic issues. In its early stages, diabetes can often be managed or even reversed through non-pharmacological interventions such as a healthy lifestyle, regular exercise, yoga, and proper diet. In more advanced stages, pharmacological treatment, including insulin therapy, becomes necessary. Individuals who manage their diabetes effectively by following a healthy routine often inspire others to adopt similar habits, a phenomenon supported by peer influence studies [36,37]. In our model, this behavioral effect is captured by the transition from the diabetic compartment (D) to the non-pharmacological treatment compartment (TN), represented using a mass-action term, . This term reflects motivation through peer support and social influence, driving individuals to adopt lifestyle-based management strategies even though diabetes is not an infectious disease and cannot be transmitted from person to person.

By incorporating these considerations, we formulated a mathematical model using a compartmental framework. In this model, the total human population is divided into five compartments: susceptible individuals (S), individuals with diabetes (D), individuals undergoing pharmacological treatment (TP), which includes insulin administration and medication, individuals undergoing non-pharmacological treatment (TN), involving healthy lifestyle interventions such as yoga, walking, and dietary control [38,39], and restrained individuals (R). The restrained compartment represents individuals whose diabetes is effectively controlled or in remission as a result of sustained treatment and behavioural changes. While not biologically cured, these individuals maintain glucose levels within a regulated range and are at reduced risk of diabetes-related complications. The interactions among these compartments capture the dynamics of disease progression, treatment response, and transitions into long-term controlled states within the population.

  1. Λ is the recruitment rate of individuals entering the susceptible compartment.
  2. β is the baseline rate at which individuals develop diabetes.
  3. is the proportion of individuals who develop diabetes due to overweight.
  4. The term represents the proportion of individuals who develop diabetes due to genetic or other complications.
  5. η is a modification parameter such that , indicating that overweight individuals have a higher likelihood of developing diabetes compared to those with genetic or other factors. The total rate of diabetes development is given by , where .
  6. ω is the relapse rate the rate at which individuals who were under control (restrained) return to the diabetic state.
  7. ψ is the rate at which individuals initiate non-pharmacological treatment, including interventions such as lifestyle modification, diet, and physical activity.
  8. δ is the rate at which individuals move to pharmacological treatment, such as oral medications or insulin therapy.
  9. γ is the rate at which individuals under treatment (pharmacological ) achieve controlled or managed diabetes. θ denotes the rate at which individuals in the non-pharmacological treatment compartment transition to the restrained (controlled) diabetes state.
  10. and represent the rates at which individuals discontinue non-pharmacological and pharmacological treatments, respectively, and return to the D compartment.
  11. ϕ denotes the proportion of individuals under non-pharmacological treatment who transition to pharmacological treatment due to health deterioration.
  12. μ is the natural death rate.
  13. , , and represent the excess mortality rates due to diabetes-related complications in individuals, and in those in the pharmacological and non-pharmacological treatment compartments, respectively.

Based on the above assumptions and the schematic representation in Fig 1, we develop the following mathematical model for diabetes.

(1)
thumbnail
Fig 1. A schematic diagram illustrating the diabetes model with five compartments: S denotes susceptible individuals, D represents individuals with diabetes, corresponds to those receiving non-pharmacological treatment, indicates individuals under pharmacological treatment and R stands for those who have controlled or restrain.

https://doi.org/10.1371/journal.pone.0339463.g001

1.1 Positivity and the bounded nature of the solution

From the system, we obtain the following

All the rates mentioned above are non-negative at the bounding planes. Therefore, starting from the interior of the non-negative bounded cone , we will stay within this cone. This is because the vector direction is inward on all the bounding planes. Consequently, the solutions of the model will remain non-negative. Additionally, according to the compartmental model, the total human population

This gives,

Therefore, every solution is bounded by . This gives us the biologically feasible region of the compartmental model (1) by the below positively invariant set:

1.2 Existence of equilibrium points

In the proposed diabetes model, three biologically feasible equilibrium points are identified. These equilibria are determined by setting the right-hand sides of the system of differential equations to zero and solving for the steady-state values of the variables. Each equilibrium corresponds to a distinct diabetes scenario and provides insight into the long-term dynamics of diabetes within the population.

  1. Diabetes-Free Equilibrium (DFE): This equilibrium represents a scenario in which no individual in the population is affected by diabetes. It is given by
  2. Diabetic Equilibrium without Non-Pharmacological Treatment: This equilibrium, denoted by
    characterizes the state where individuals have developed diabetes and are undergoing pharmacological treatment, but no non-pharmacological interventions are present. The components of the unique equilibrium are given by:
  3. Endemic Equilibrium: This equilibrium describes a situation in which all compartments are active, indicating persistent presence of the diabetes and its treatments in the population. It is given by
    where:
    N  is positive if and the constants Ai are defined as follows:

1.3 Stability analysis

Theorem 1.1. The Diabetes-Free Equilibrium is locally asymptotically stable under certain parameter restrictions.

Proof: Proof of the theorem is available in S1 File. □

Theorem 1.2. The equilibrium point E1 (Diabetic Equilibrium without Non-Pharmacological Treatment) is locally asymptotically stable under certain conditions.

Proof: Proof of the theorem is available in S1 File. □

In Figs 2 and 3, we graphically examine the stability of the equilibrium point E1 (Diabetic Equilibrium without Non-Pharmacological Treatment) using 2D and 3D phase portraits, respectively. Fig 2 presents the 2D phase portraits for the pairs (D,TP) and (D,R). In both plots, ten trajectories are initiated from different initial conditions, and all trajectories converge to the same equilibrium point. Fig 3 displays 3D phase portraits for the variable combinations , (R,TP,D), , and (R,TN,D). Here as well, each plot starts from ten different initial conditions. Since the equilibrium point corresponds to the absence of non-pharmacological treatment, all trajectories begin with TN = 0. Despite this, in all four 3D projections, the trajectories converge to the same equilibrium point. These results clearly demonstrate that the equilibrium point E1 (Diabetic Equilibrium without Non-Pharmacological Treatment) is asymptotically stable. All simulations for Figs 2 and 3 are performed using the parameter values listed in Table 1.

thumbnail
Fig 2. 2D phase portraits showing the stability of the equilibrium point for the pairs (a) and (b) (D, R). Each trajectory is initiated from a different initial condition, and all trajectories converge to the same equilibrium point.

This indicates local asymptotic stability of E1 in these two-dimensional projections.

https://doi.org/10.1371/journal.pone.0339463.g002

thumbnail
Fig 3. 3D phase portraits illustrating the convergence of trajectories toward the equilibrium point for the combinations (a) (R, ), (b) , (c) and (d) .

Each plot displays ten trajectories starting from different initial conditions, with TN = 0 initially, consistent with . The consistent convergence in all subplots confirms the asymptotic stability of E1.

https://doi.org/10.1371/journal.pone.0339463.g003

thumbnail
Table 1. Model parameters, their descriptions, values, and sources.

https://doi.org/10.1371/journal.pone.0339463.t001

Theorem 1.3. The equilibrium point E2 (Endemic Equilibrium) is locally asymptotically stable under appropriate parameter conditions.

Proof: Proof of the theorem is available in S1 File. □

Figs 4 and 5 illustrate the graphical analysis of the stability of the endemic equilibrium point E2 using both 2D and 3D phase portraits. In Fig 4, 2D phase portraits are shown for the variable pairs (D,TP), and (D,R). For each pair, trajectories originating from ten different initial conditions are plotted. In all cases, the trajectories converge to the same equilibrium point, indicating local stability in the corresponding phase planes. Fig 5 provides 3D phase portraits for various combinations of the model variables: , (R,TP,D), , and (R,TN,D). Each plot also includes ten trajectories starting from distinct initial conditions. Across all projections, the trajectories consistently converge to the endemic equilibrium point E2. These phase space analyses confirm that the endemic equilibrium E2 is asymptotically stable under the given model dynamics. All simulations for Figs 4 and 5 are performed using the parameter values listed in Table 1

thumbnail
Fig 4. 2D phase portraits showing the stability of the endemic equilibrium point for the variable pairs (a) , and (b) (D, R).

Each trajectory starts from a different initial condition and converges to the same equilibrium point, indicating asymptotic stability in these phase planes.

https://doi.org/10.1371/journal.pone.0339463.g004

thumbnail
Fig 5. 3D phase portraits illustrating the convergence of trajectories toward the endemic equilibrium point for various variable combinations: (a) , (b) , (c) , and (d) .

Ten trajectories are shown in each plot, each starting from a different initial condition. The consistent convergence across all plots supports the asymptotic stability of E2.

https://doi.org/10.1371/journal.pone.0339463.g005

2 Numerical simulation

To validate the analytical findings, numerical simulations are conducted by fitting the model to real-world diabetes data and estimating the relevant parameters. Sensitivity analysis using PRCC is performed, and the effects of parameter variations are examined through time evolution and contour plots.

2.1 Data fitting

Fitting the diabetes model to real-world data plays a crucial role in understanding diabetes dynamics and informing effective control strategies. In this study, the Maximum Likelihood Estimation (MLE) method is employed to fit the model and estimate its parameters, with a detailed description of the method provided in [40]. The dataset is obtained from the CDC Diabetes Surveillance System (https://gis.cdc.gov/grasp/diabetes/diabetesatlas-surveillance.html) and consists of annual U.S. diabetes data from 2000 to 2022. Using these 23 data points, we estimate seven key parameters of the model.

The estimated parameters in our model include β, η, , ψ, δ, θ, and , which are obtained through the data-fitting procedure described earlier. The parameters , ω, γ, and are sourced from published literature, whereas ϕ, , and are assumed based on biological reasoning and treatment progression patterns. The constant recruitment rate Λ and the natural death rate μ are treated as demographic constants. Here, “demography” refers specifically to the quantitative natural mortality rate μ, calculated from an average life expectancy of 78 years (i.e., per year). The fitted curve is shown in Fig 6, and the complete set of parameter values is summarized in Table 1.

thumbnail
Fig 6. The diabetes model is fitted to the number of new cases, with a 95% confidence interval.

Yearly diabetes data from the United States, covering the years 2000 to 2022, is used.

https://doi.org/10.1371/journal.pone.0339463.g006

2.2 Sensitivity analysis using PRCC

The Partial Rank Correlation Coefficient (PRCC) sensitivity analysis assesses the influence of individual input parameters on the model’s output while controlling for the effects of other variables. This technique is especially valuable for complex, nonlinear models, as it helps identify the parameters that most strongly affect model behavior. A higher PRCC value indicates a greater sensitivity of the output to the corresponding parameter.

In this study, we performed 1000 simulations using U.S. datasets to determine which parameters significantly influence the variables: D (Individuals with Diabetes), TN (Non-Pharmacological Treatment), TP (Pharmacological Treatment), and R (Restrain). Parameters with absolute PRCC values exceeding 0.5 are considered to have a strong impact on these variables.

Fig 7(a) reveals that the parameters and , are most influential for D. Similarly, Fig 7(b) shows that significantly affect TN. In Fig 7(c), the parameters are found to be important for (TP). Lastly, Fig 7(d) indicates that and μ play a significant role in determining (R) for the US dataset.

thumbnail
Fig 7. Partial Rank Correlation Coefficients (PRCC) for various model parameters with respect to: (a) individuals with diabetes, (b) individuals undergoing non-pharmacological treatment, (c) individuals undergoing pharmacological treatment, and (d) restrained individuals.

https://doi.org/10.1371/journal.pone.0339463.g007

2.3 Variation in model parameters and its effect on diabetes prevalence

This section presents the approximate numerical solutions of the model equations using fourth and fifth-order Runge-Kutta methods, implemented via MATLAB’s ode45 solver, with parameter values provided in Table 1. The numerical simulations provide a clear understanding of the system’s temporal dynamics. In addition, they serve to confirm the theoretical findings and illustrate how changes in critical parameters influence the behavior of the model.

The contour plot in Fig 8(a) illustrates that the number of individuals in the diabetes compartment D(t) increases with a rise in β (the baseline rate at which individuals develop diabetes), and decreases as ψ (the rate at which individuals initiate non-pharmacological treatment) increases. Fig 8(b) similarly shows that D(t) increases with a rise in β while it decreases as δ (the rate at which individuals initiate pharmacological treatment) increases. This implies that effective implementation of both non-pharmacological interventions (e.g., lifestyle modifications) and pharmacological treatments can substantially reduce the diabetes burden in the population, even when the incidence rate remains high.

thumbnail
Fig 8. Contour plots showing the effect of parameter combinations on the diabetic population D(t): (a) and (b) .

https://doi.org/10.1371/journal.pone.0339463.g008

The contour plots in Fig 9 clearly indicate that the relapse parameters ω (relapse from restrain back to diabetes), (failure of non-pharmacological treatment), and (failure of pharmacological treatment) have a substantial impact on increasing the diabetes population. Therefore, effective control and reduction of these relapse/failure rates can significantly reduce the burden of diabetes in the population.

thumbnail
Fig 9. Contour plots showing the combined effect of the transmission rate and relapse parameters on the diabetic population D(t).

(a) , where ω is the relapse rate from Restrain back to Diabetes, (b) , where is the failure rate of non-pharmacological treatment and (c) , where is the failure rate of pharmacological treatment.

https://doi.org/10.1371/journal.pone.0339463.g009

The time variation plots in Fig 10 illustrate the dynamics of the individuals in diabetes compartments over time. Fig 10(a) shows that as the parameter β increases, the number of individuals developing diabetes also rises. This indicates a strong positive correlation between β and the incidence of diabetes. Higher values of β may reflect factors such as increased lifestyle-related risks or a lack of preventive measures.

thumbnail
Fig 10. Time variation plots showing the effect of key parameters on individuals with diabetes: (a) the baseline rate at which individuals develop diabetes , (b) risk factors and and (c) treatment rates and .

https://doi.org/10.1371/journal.pone.0339463.g010

Fig 10(b) illustrates the impact of the parameters (the proportion of individuals who develop diabetes due to overweight) and (the proportion who develop diabetes due to genetic or other complications). The figure indicates that, compared to , plays a more significant role in increasing the number of diabetes cases, highlighting the greater influence of overweight and lifestyle-related factors.

Fig 10(c) shows the effect of treatment parameters ψ (rate at which individuals initiate non-pharmacological treatment) and δ (rate at which individuals move to pharmacological treatment). The results suggest that δ is more effective than ψ in reducing the impact of diabetes, emphasizing the stronger role of pharmacological interventions in managing the condition.

Fig 11(a) shows the effect of treatment parameters ψ (the rate at which individuals initiate non-pharmacological treatment) and δ (the rate at which individuals move to pharmacological treatment). The results suggest that δ is more effective than ψ in promoting restraining the progression of diabetes, emphasizing the stronger role of pharmacological interventions in managing the condition.

thumbnail
Fig 11. Effect of treatment initiation rates (, ) and restrain rates (, γ) on restrained compartment.

https://doi.org/10.1371/journal.pone.0339463.g011

Fig 11(b) demonstrates how variations in the restrain rates θ (diabetes controlled from the TN compartment) and γ (diabetes controlled from the TP compartment) influence the temporal evolution of the restrained population. As either parameter increases, the peak of restrained individuals rises and occurs earlier, reflecting accelerated diabetes control dynamics. The scenario with the highest values of both parameters (, ) yields the earliest and most pronounced peak in the restrain (controlled) compartment. These results highlight the importance of enhancing the transition processes in both TN and TP compartments to improve overall diabetes control outcomes.

In Fig 12, we analyse the influence of relapse and treatment failure rates on diabetes progression and diabetes controlled(restrain) outcomes. Here, ω denotes relapse from the restrained compartment back to the diabetes compartment, represents failure from the non-pharmacological treatment compartment, and represents failure from the pharmacological treatment compartment.

thumbnail
Fig 12. Effect of relapse and treatment failure () on restrained individuals and diabetic prevalence.

https://doi.org/10.1371/journal.pone.0339463.g012

Fig 12(a) presents the dynamics of the diabetes compartment. When all relapse and failure pathways are absent , the diabetic population remains comparatively lower. Introducing relapse alone already produces a notable increase in the diabetic burden, and when both failure rates and are also included, the number of individuals with diabetes becomes significantly higher. Among the three mechanisms, relapse contributes the strongest increase in diabetic prevalence compared to the treatment failure mechanisms.

Fig 12(b) shows the dynamics of the restrained compartment. The restrained population is highest when relapse and treatment failure are absent. The inclusion of relapse alone reduces the restrained class, and the reduction becomes severe when both treatment failure pathways are active together. Thus, both relapse and treatment failure mechanisms weaken diabetes controlled outcomes, and relapse has a more pronounced negative impact compared to the other two failure rates.

For simulations, we used , , , and all other parameter values are provided in Table 1.

3 Nonstandard finite difference (NSFD) method

3.1 Development of a nonstandard finite difference scheme

In this section, we construct and analyze a Nonstandard Finite Difference (NSFD) method designed to preserve the qualitative dynamics of the continuous system (1), particularly the non-negativity of all state variables. Let

represent the discrete approximation of the continuous state vector X(tn), where , , and denotes the step size.

Motivated by the methodology introduced by Mickens [17,18], we develop a NSFD scheme that maintains the essential properties of the original model, such as positivity and boundedness of the solutions, while ensuring numerical stability. The proposed scheme is constructed to respect the nonlinearities and interactions in the system (1), offering a dynamically consistent discretization suitable for long-term simulation and analysis.

(2)

where the function

is referred to as the nonstandard denominator function, which satisfies as .

The system can also be expressed as:

(3)

Next, the NSFD scheme given in (3) is reformulated into the following explicit form:

(4)

where

Theorem 3.1. According to [46,47], consider a nonlinear system of the form

where

is a C1 diffeomorphism, and let X0 be an equilibrium point of the system. Then X0 is locally asymptotically stable if all eigenvalues of the Jacobian matrix evaluated at the equilibrium,

have absolute values less than one:

Proposition 3.2. The NSFD scheme in (4) preserves the positivity of the system variables.

Proof: Suppose the initial conditions satisfy . Since all the model parameters are positive and the denominators in the NSFD scheme remain strictly positive for any h > 0, it follows that . Consequently, this ensures that , , , and for all n. Hence, the proposed NSFD scheme preserves the positivity of all state variables for any positive time step h. □

Proposition 3.3. The NSFD method defines the discrete dynamical system in (3) within a biologically feasible region.

Proof: Let us define the total population at time step n as . By summing all the equations in the system (3), we derive the following discrete relation:

Solving this equation yields the bound:

where the initial total population is . This result implies that as . Therefore, the proposed NSFD scheme preserves the boundedness of the feasible region Ω for a properly chosen denominator function . □

3.2 Consistency verification

Verifying the consistency of a numerical scheme is fundamental to its reliability, as it ensures that the discrete model accurately reflects the behavior of the original continuous system. In general, this is achieved by approximating differential operators using Taylor series expansions. By truncating higher-order terms, we can obtain approximations of a desired accuracy. These omitted terms result in what is known as the truncation or discretization error. A consistent numerical scheme is one where this error vanishes as the time step and mesh size approach zero, thus aligning the numerical solution more closely with the exact solution.

Following the approach presented by [48], we apply Taylor series expansion to demonstrate the consistency of the proposed numerical method given in equation (3). Starting with the first equation of the scheme (3), we proceed as follows:

After applying the Taylor series, we obtain

As , , we get

In a similar manner, the remaining equations of the proposed scheme (3) can be derived by applying the Taylor series expansion to each corresponding differential equation. This process ensures that all discrete approximations accurately reflect the dynamics of the original continuous system. Consequently, it can be concluded that the developed numerical method demonstrates first-order consistency, as the local truncation errors tend to zero linearly with the time step size h.

3.3 Numerical accuracy and convergence properties of the NSFD approach

In this subsection, following the approach in [15,4952], we analyze the convergence and error bounds of the NSFD scheme given in equation (3). A numerical scheme is said to be convergent of order p if the global error en, defined as with e0 = 0, satisfies the required error bounds (see [53]).

Let be any initial condition for the continuous-time model (1). Since both the continuous-time model (1) and the discrete-time model (3) are bounded, it is reasonable to define the numerical solution within the same bounded region.

For each arbitrary but fixed step size h  > 0, we denote

We denote the right-hand side functions of system (1) as corresponding to each of the five equations, respectively.

Due to the boundedness of the state variables , and the continuity of the functions , we can define

(5)

and

(6)

Likewise, we can represent the right-hand side of all the eqution of NSFD model (4) as respectively. It is straightforward to verify that

(7)

Assume that exists and is bounded for all h > 0. Let us define

(8)

The constructed NSFD scheme (4) is shown to be first-order convergent. Furthermore, the error can be estimated by the following bound:

(9)

for all , where the constants m , , and are defined in equations (6), (5), and (8), respectively.

Proof: Applying Taylor’s theorem, we obtain

(10)

As a consequence of Taylor’s theorem and equation (7), we obtain the following :

(11)

Next,

(12)

where for are defined in equation (6), and (for ) denote points lying between and . Let us denote for each

It follows from (10), (11), (12), that

Similarly,

Hence,

Therefore, we have that:

(13)

where are defined in (6), (5), and (8), respectively. It follows from (13) and the initial condition e0 = 0 that the result holds. that

Applying the well-known inequality for , we deduce the following result.

This establishes the desired result. Hence, the proof is complete. □

3.4 Numerical validation

This section presents numerical experiments to validate the performance of the NSFD method in comparison with Euler and RK4 schemes. Simulations were performed using the parameter values in Table 1 for various step sizes . For small step sizes (), all three methods yield stable solutions. However, for larger step sizes (h > 1.25), the Euler and RK4 methods become unstable and diverge, whereas the NSFD method continues to produce biologically consistent and bounded results.

3.5 Stability and convergence analysis

Tables 2 and 3 provide insight into the numerical behavior of each method. The spectral radius of the Jacobian matrix (Table 2) confirms that the NSFD scheme remains stable with radius less than one across all tested step sizes. In contrast, the Euler and RK4 methods exhibit spectral radii greater than one for larger step sizes, indicating instability. The convergence summary (Table 3) further highlights that only NSFD maintains convergence for all step sizes tested, while RK4 and Euler diverge for and , respectively.

thumbnail
Table 2. Spectral radius ρ for different step sizes and numerical schemes.

https://doi.org/10.1371/journal.pone.0339463.t002

thumbnail
Table 3. Convergence behavior (C: Convergent, D: Divergent) of each method for different step sizes.

https://doi.org/10.1371/journal.pone.0339463.t003

3.6 Simulation results

Fig 13 shows the dynamics of the diabetic population D(t) for different methods across step sizes. The NSFD method closely follows the expected trajectory, while divergence is clearly observed in RK4 and Euler for larger h. Fig 14 presents the evolution of TN(t), TP(t), and R(t) at h = 2, reinforcing the superior stability of NSFD under coarse discretization.To reduce redundancy, only a subset of figures is included in the manuscript. Selected compartments at h = 2 are shown to represent the comparative performance of all methods.

thumbnail
Fig 13. Comparison of different numerical techniques for various step sizes (h) (a) , (b) , (c) , (d) , (e) and (f) in simulating the dynamics of individuals with diabetes.

https://doi.org/10.1371/journal.pone.0339463.g013

thumbnail
Fig 14. Comparison of different numerical techniques for various step sizes (h) in simulating the dynamics of individuals: (a) under non-pharmacological treatment, (b) under pharmacological treatment, and (c) restrained individuals.

https://doi.org/10.1371/journal.pone.0339463.g014

Fig 15 displays the combined population dynamics for all compartments. The NSFD scheme remains stable across all step sizes, while RK4 and Euler produce unrealistic and unstable solutions for larger h, confirming NSFD’s robustness.

thumbnail
Fig 15. Comparison of NSFD techniques for various step sizes (h): (a) , (b) , and (c) in simulating the dynamics of the entire population.

https://doi.org/10.1371/journal.pone.0339463.g015

3.7 Error and convergence analysis of Forward Euler, RK4, and NSFD methods

In this section, we analyze the numerical behavior of model (4) over the time interval [0,50], using the parameter values listed in Table 1. Since an exact analytical solution is not available, we consider the numerical solution obtained using the fourth-order Runge–Kutta (RK4) method with a very small step size of h = 10−3 as the reference solution.

Table 4 presents the absolute errors and estimated convergence rates for the Euler method, RK4 method, and Nonstandard Finite Difference (NSFD) method, calculated at the final simulation time. The total absolute error is defined as:

thumbnail
Table 4. Comparison of error and convergence rates for Euler, RK4, and NSFD methods.

https://doi.org/10.1371/journal.pone.0339463.t004

and the corresponding convergence rate is computed using the standard formula (see [53]):

From Table 4, we observe that both the Euler and NSFD methods exhibit convergence rates close to one, confirming their first-order accuracy. This is consistent with their theoretical properties and validates Theorem 3.3 of [53] for the NSFD scheme. On the other hand, the RK4 method shows a significantly higher rate initially, consistent with its expected fourth-order accuracy. However, a slight decline in convergence rate is observed for finer step sizes, likely due to numerical round-off and cumulative error effects phenomena similarly noted in Example 4.1 of [53].

The numerical investigation demonstrates that the NSFD method outperforms classical schemes by preserving stability across a wide range of step sizes, maintaining convergence even under coarse time discretization, and capturing biologically meaningful long-term dynamics. Thus, the NSFD scheme serves as a reliable and efficient approach for simulating chronic disease dynamics, particularly in scenarios where standard methods fail due to numerical instability.

4 Optimal control

Optimal control analysis plays a vital role in various fields, particularly in the modeling and management of chronic diseases like diabetes. It enables researchers to design and evaluate strategies aimed at minimizing the burden of the disease and enhancing the effectiveness of intervention measures. In this study, we develop and analyze a mathematical model for diabetes to assess the impact of different control strategies such as prevention, early diagnosis, lifestyle modifications, and treatment adherence on the disease dynamics. The insights gained from this analysis can provide valuable guidance for public health decision-makers in formulating effective policies and interventions for managing and controlling diabetes.

Given this, we incorporate three control parameters into the Diabetes model, which is represented by the system (1), which are:

  1. u1: This control focuses on raising awareness to reduce the risk of developing diabetes. It includes public health education campaigns, lifestyle counseling, and dissemination of information about risk factors such as unhealthy diet, lack of physical activity, and obesity. Implementing effective u1 strategies can encourage behavioral changes that help prevent the onset of diabetes.
  2. u2: The control u2 targets the promotion of non-pharmacological treatments in the management of diabetes. These include regular physical activity, dietary modifications, weight management, and other lifestyle-based interventions that are essential for maintaining glycemic control and preventing disease progression. The treatment rate associated with these non-pharmacological efforts is represented by  +  , where ψ denotes the baseline treatment rate in the absence of control, and τ is a positive parameter that measures the effectiveness of the control strategy. Specifically, τ quantifies how much the treatment rate improves in response to the implementation of u2. A higher value of τ indicates that even small efforts in promoting lifestyle changes can lead to substantial improvements in health outcomes. Therefore, enhancing u2 can play a crucial role in delaying disease progression, improving patient outcomes, and reducing the dependency on pharmacological interventions during the early or pre-diabetic stages.
  3. u3: The control u3 is introduced to enhance pharmacological treatment for individuals with diabetes. This includes improving access to essential medications such as insulin and oral hypoglycemic agents, promoting adherence to prescribed treatment regimens, and ensuring consistent medical follow-up. The treatment rate associated with pharmacological intervention is modeled as δ  +  , where δ denotes the baseline pharmacological treatment rate, and ρ is a positive parameter that reflects the effectiveness of the control u3. In this context, ρ captures the degree to which the pharmacological treatment rate increases in response to the intensity of the control effort. A higher value of ρ indicates that greater improvement in treatment outcomes can be achieved even with moderate investment in pharmacological interventions. By optimizing u3, the model aims to reduce diabetes-related complications, improve long-term health outcomes, and lower healthcare costs associated with disease progression.

The pre-fixed period over which the three controls are applied, denoted by tp, is bounded, and each control function is assumed to be Lebesgue integrable on [0,tp]. When a control function equals zero, it indicates that no effort is applied for that specific intervention, while a value of one represents the maximum possible effort. Accordingly, each control is taken to lie within the interval [0,1]. For clarity, these three controls have been incorporated into the model (1).

(14)

For fixed tp, the objective functional is provided by

where are the weight constants.

The goal is to determine the control parameters such that

where Γ is the control set, defined as

The Lagrangian of this problem is:

The Hamiltonian formed for our problem is:

(15)

where are the adjoint variables . Following are the differential equations that represent the adjoint variables.

(16)

Let be optimum solution of respectively.

Let be a solution of system (16). By using [54,55], we state and prove the below theorem.

Theorem 4.1. There exist optimal controls , such that subject to extended system of equations (14).

Proof: To validate this theorem, we employ [56], We note that the controls in this instance are not negative. To minimize the issue, the objective functional in must satisfy the required convexity. By definition, the collection of control variables, is convex. The integrand of the functional J is convex on Γ, and its state variables are bounded. Since there are optimal controls for minimizing the convexity on Γ (14),(16) We utilize Pontryagin’s maximum principle to derive the necessary conditions to find the optimal solutions in the following manner since there are optimal controls for minimizing the functional subject of systems. Assuming that (z,u) represents the best solution to an optimal control problem, it follows that , a non-trivial vector function, must satisfy the following conditions:

Theorem 4.2. The optimal controls which minimize J over the region Γ is given by:

where

Proof: We use results in [55] and previous Theorem 4.1 to establish this theorem. Using the optimally condition: , we get,

Here 0 is the lower bound and 1 is the upper bound for the controls . This indicates that , if and if

Hence for these optimal controls we have found the Optimum values of J. □

4.1 Cost-effectiveness analysis and numerical simulations of intervention strategies

This section presents a detailed numerical optimal control analysis performed over a 25-year period using MATLAB. The simulations employ the parameter set given in Table 1, with and .

The weight constants in the objective functional were chosen as follows: and C6 = 500. The values of C1, C2, and C3 were set equally to assign equal importance to minimizing the sizes of all relevant population compartments. The ordering reflects the relative cost of implementing the control measures, with pharmacological treatment considered less expensive than lifestyle-based interventions such as yoga and exercise, while also accounting for their relative significance in the model. The equations are solved iteratively using a combination of forward and backward difference approximation methods [54]. Initially, the forward difference approximation is used to solve the state equations, and then the backward difference approximation is applied to solve the adjoint equations.

A cost-effectiveness analysis (CEA) is conducted to assess the economic feasibility of the proposed control strategies. The analysis is performed under three distinct scenarios (Scenario I through Scenario III), each representing different assumptions or conditions for intervention:

  • Scenario I: (Only one control strategy is applied)
    1. ⋄ Strategy 1: (, ) Implementing measures such as creating awareness among individuals to reduce the risk of developing diabetes through lifestyle changes and education.
    2. ⋄ Strategy 2: (, ) Promoting non-pharmacological treatments, including regular physical exercise, dietary modifications, and weight management, to improve glycemic control.
    3. ⋄ Strategy 3: (, ) Enhancing pharmacological treatment by increasing medication adherence, access to drugs, and timely medical interventions.
  • Scenario II: (Two control strategies are applied)
    1. ⋄ Strategy 4: (, , u3 = 0) This approach focuses on raising awareness to lower diabetes risk, alongside encouraging lifestyle changes such as diet and exercise to manage the condition naturally.
    2. ⋄ Strategy 5: (, , u2 = 0) Combining educational efforts with increased access to and adherence to pharmacological treatments aims to improve patient outcomes through both prevention and medication.
    3. ⋄ Strategy 6: (, , u1 = 0) This strategy prioritizes medical treatment and lifestyle modifications together, targeting comprehensive diabetes management without specific awareness campaigns.
  • Scenario III: (All three control strategies are applied)
    1. ⋄ Strategy 7: This comprehensive approach simultaneously implements awareness programs to reduce diabetes risk (), promotes non-pharmacological treatments such as lifestyle modifications (), and enhances pharmacological treatment access and adherence () to achieve maximum control over the disease.

These scenarios enable a detailed comparison of different intervention strategies under various conditions, providing a comprehensive analysis of the cost-effectiveness and overall impact of the proposed diabetes control measures.

4.2 Cost-effectiveness analysis

To determine the most cost-effective control intervention strategy for each of the scenarios (I-III) analyzed in the previous section, a cost-effectiveness analysis (CEA) is performed. Three approaches are employed for this analysis: the Infection Averted Ratio (IAR) [57], the Average Cost-Effectiveness Ratio (ACER), and the Incremental Cost-Effectiveness Ratio (ICER) [5759]. The definitions of these approaches are as follows:

Definition 4.3. ( Infection Averted Ratio (IAR)) The Infection Averted Ratio (IAR) is defined as:

In the present scenario

where the number of diabetes cases averted is the difference between the total number of diabetes cases in the absence of any control measures and the total number of diabetes cases under the implemented control strategy. The strategy with the highest IAR value is considered the most cost-effective [57,59,60].

Definition 4.4. ( Average Cost-Effectiveness Ratio (ACER)) The Average Cost-Effectiveness Ratio (ACER) is given by:

where the total cost incurred in executing a particular intervention strategy is computed as:

Definition 4.5. (Incremental Cost-Effectiveness Ratio (ICER))

Incremental Cost-Effectiveness Ratio (ICER) measures the change in costs and health benefits between two different intervention strategies competing for the same limited resources.

Considering strategies p and q as two competing control intervention strategies, ICER is defined as:

This process is repeated progressively for all strategies. A strategy with higher costs but fewer benefits is considered dominant and is eliminated from further analysis. The final ICER values help identify the most cost-effective strategy among the three, providing a basis for decision-making in resource allocation.

4.2.1 Scenario-I.

In this scenario, each control measure is applied individually to evaluate its independent impact on diabetes management. This helps identify the effectiveness and significance of each strategy before exploring combined interventions. Fig 16 illustrates the dynamics of the diabetes and restrained compartments. In Fig 16(a), which represents individuals in the diabetes compartment, the number of diabetes cases varies across different strategies, with Strategy 1 resulting in the lowest diabetes count. Similarly, the Fig 16(b) shows the restraint compartment, where strategy 3 plays an important role in increasing the number of restrained individuals. Fig 17 presents the control profiles for the three strategies, indicating that the u2 control (non-pharmacological treatment) needs to be maintained for a longer duration to be effective.

thumbnail
Fig 16. Effect of individual control strategies on diabetes dynamics: (a) shows the variation in the diabetic population under different strategies, with Strategy 1 resulting in the lowest diabetes burden; (b) illustrates the restrained population, where Strategy 3 leads to the highest number individuals in the restrained (controlled) state.

https://doi.org/10.1371/journal.pone.0339463.g016

thumbnail
Fig 17. Control profiles corresponding to the three strategies.

The control u2 (non-pharmacological treatment) is maintained over a longer period, highlighting its sustained importance in effective diabetes management.

https://doi.org/10.1371/journal.pone.0339463.g017

The Incremental Cost-Effectiveness Ratio (ICER) analysis is presented using six columns in Table 5, which include the strategy, diabetes cases averted, cost, IAR (Incremental Averted Ratio), ACER (Average Cost-Effectiveness Ratio), and ICER values. The strategies are first arranged in ascending order based on the number of diabetes cases averted, and their corresponding IAR, ACER, and ICER values are computed. From Table 5, it is observed that Strategy 1 has a higher IAR and a lower ACER, suggesting that Strategy 1 is more effective compared to the other individual strategies. This effectiveness is also visualized in Fig 18. Furthermore, Strategy 3 exhibits the highest ICER value, indicating it is less cost-effective and, therefore, excluded from further analysis. A refined comparison is then presented in Table 6, where Strategy 1 shows a lower ICER compared to Strategy 2. Thus, based on the IAR, ACER, and ICER metrics, Strategy 1 is identified as the most effective option to control diabetes under Scenario I, which is also shown in Fig 16.

thumbnail
Table 5. ICER(Incremental cost-effectiveness ratio) for scenario I.

https://doi.org/10.1371/journal.pone.0339463.t005

thumbnail
Table 6. ICER (Incremental cost-effectiveness ratio) for scenario I.

https://doi.org/10.1371/journal.pone.0339463.t006

4.2.2 Scenario-II.

In Scenario II, two control strategies are applied together to assess their combined impact on diabetes dynamics. This helps determine whether paired interventions are more effective than using each control individually. Fig 19 displays the progression of both the diabetes and restrained compartments under the application of two combined control strategies. Fig 19(a) highlights the trends in the diabetic population, revealing that Strategy 5 leads to the most significant reduction in diabetes cases. In contrast, Fig 19(b) shows that Strategy 6 contributes most effectively to boosting the number of restrained individuals. Meanwhile, the control effort trends are depicted in Fig 20, where it is evident that Strategy 5 requires sustained implementation over a longer period to achieve meaningful impact.

thumbnail
Fig 19. Effect of two combined control strategies on diabetes dynamics: (a) depicts the diabetic population, with Strategy 4 yielding the lowest number of cases; (b) shows the restrained population, where Strategy 6 achieves the highest restrain level.

https://doi.org/10.1371/journal.pone.0339463.g019

thumbnail
Fig 20. Control profiles corresponding to the three strategies.

https://doi.org/10.1371/journal.pone.0339463.g020

The cost-effectiveness assessment for Scenario II is presented in Table 7, which outlines key metrics including the number of diabetes cases averted, total cost, Incremental Averted Ratio (IAR), Average Cost-Effectiveness Ratio (ACER), and Incremental Cost-Effectiveness Ratio (ICER) for each strategy. The strategies are arranged in order of increasing diabetes cases averted, and corresponding values for IAR, ACER, and ICER are calculated. With a lower ACER and a higher IAR, Strategy 5 exhibits a favorable balance and is therefore more cost-effective than the other strategies, as shown in Table 7. This trend is visualized in Fig 21. In contrast, Strategy 6 has the highest ICER, making it the least efficient and subsequently excluded from further evaluation. A focused comparison between the remaining strategies in Table 8 reveals that Strategy 5 continues to outperform, with a lower ICER than Strategy 4. Therefore, Strategy 5 emerges as the most cost-effective intervention in Scenario II for managing diabetes, which is also shown in Fig 19.

thumbnail
Table 7. ICER(Incremental cost-effectiveness ratio) for scenario II.

https://doi.org/10.1371/journal.pone.0339463.t007

thumbnail
Table 8. ICER(Incremental cost-effectiveness ratio) for scenario II.

https://doi.org/10.1371/journal.pone.0339463.t008

4.2.3 Scenario-III.

The simulation results for the optimal control system under Scenario III, where Strategy 7 (all three control measures applied simultaneously) is implemented, are illustrated in Fig 22. A comparison between the no-control case and Strategy 7 demonstrates a notable reduction in the number of diabetes individuals and a corresponding increase in the number of individuals entering the restrained state when the strategy is applied. Additionally, the cost-effectiveness of Strategy 7 is evaluated using the Incremental Averted Ratio (IAR) and Average Cost-Effectiveness Ratio (ACER), with the outcomes summarized in Table 9. Fig 23 presents the contour profile of Strategy 7, illustrating the intensity and duration of the control measures over time.

thumbnail
Fig 22. Effect of Strategy 7 (all controls applied) on diabetes and restrain dynamics compared to the no-control scenario.

https://doi.org/10.1371/journal.pone.0339463.g022

thumbnail
Fig 23. Contour profiles of control measures for Strategy 7 over time.

https://doi.org/10.1371/journal.pone.0339463.g023

thumbnail
Table 9. ICER(Incremental cost-effectiveness ratio) for scenario III.

https://doi.org/10.1371/journal.pone.0339463.t009

4.3 Identifying the strategy with the best cost-effectiveness

After evaluating the performance of all control strategies within their respective scenarios, we proceed to a comprehensive comparison of the most effective strategies identified: Strategy 1 from Scenario I, Strategy 5 from Scenario II, and Strategy 7 from Scenario III. These selected strategies are further analyzed to determine the most cost-effective approach using the Incremental Cost-Effectiveness Ratio (ICER) methodology.

For each strategy pair, ICER values are calculated as previously described. Any strategy that is dominated meaning it incurs higher costs with comparatively fewer health benefits is excluded from further analysis. According to Table 10, Strategy 7 is found to be less cost-effective and is subsequently removed from consideration. The refined comparison in Table 11 indicates that Strategy 1 offers the best balance of effectiveness and cost efficiency.

thumbnail
Table 10. Incremental Cost-Effectiveness Ratio (ICER) for optimal strategies across scenarios.

https://doi.org/10.1371/journal.pone.0339463.t010

thumbnail
Table 11. Incremental Cost-Effectiveness Ratio (ICER) for optimal strategies across scenarios.

https://doi.org/10.1371/journal.pone.0339463.t011

This analysis underscores the value of the control u1 which emphasizes awareness creation and early interventions. It proves to be the most impactful and economically viable strategy for managing diabetes.

5 Results and discussion

Diabetes is one of the major chronic diseases, causing severe illness and long-term health complications. In this study, we incorporated obesity as one parameter, and genetic and other complications as another, such that their sum equals one. Two types of treatment were considered: non-pharmacological (e.g., lifestyle modification, yoga, exercise) and pharmacological (e.g., proper medication, insulin administration).

An important behavioral assumption in the model is that individuals following non-pharmacological treatment who controlled or successfully manage diabetes inspire their friends and neighbors to adopt similar strategies. This peer influence is modeled through a mass action term representing the transition from the diabetic compartment (D) to the non-pharmacological treatment compartment (TN). The proposed compartmental model for diabetes exhibits three equilibrium points: the diabetes-free equilibrium (E0), the diabetic equilibrium without non-pharmacological treatment (E1), and the endemic equilibrium (E2). We established the local and global stability of these equilibria both analytically and graphically.

The model was fitted to real-world diabetes data from the United States spanning 2000 to 2022, and the model parameters were estimated accordingly. Partial Rank Correlation Coefficient (PRCC) sensitivity analysis was conducted for the compartments D, TN, TP, and R to identify the most influential parameters. The parameters and ω were found to be particularly sensitive, indicating their critical roles in disease control and the promotion of diabetes restrain.

Further investigation using contour plots revealed that increasing the parameters ψ (rate of initiating non-pharmacological treatment) and δ (rate of initiating pharmacological treatment) significantly reduces the diabetic population. Conversely, parameters such as and contribute to the increase in diabetic individuals, with having a more pronounced effect than . Parameters and γ were found to promote recovery and restraint from diabetes.

In addition to these, the relapse and treatment failure parameters also played a critical role in shaping long-term disease outcomes. The parameter ω (relapse after restrain) was found to be the most influential among all failure pathways, producing a substantial increase in the diabetic population even when treatment options are available. Treatment failure from non-pharmacological and pharmacological interventions, represented by and respectively, also increased the diabetic burden, but their impacts were comparatively weaker than relapse. These results emphasise that preventing relapse and sustaining treatment adherence are more crucial than simply increasing treatment intensity. Continuous follow-up, lifestyle maintenance, and behavioural reinforcement are therefore essential to achieve durable control.

To ensure reliable numerical solutions, we compared the Forward Euler, RK4, and NSFD methods. The NSFD scheme demonstrated superior stability and accuracy, particularly for larger step sizes, where Euler and RK4 methods tended to diverge. It preserved convergence, boundedness, and the system’s qualitative behavior, confirming its robustness through error analysis. Overall, the NSFD method proved to be a reliable tool for simulating chronic disease dynamics.

The study was extended to include optimal control and cost-effectiveness analysis by introducing three controls: u1 (awareness campaigns), u2 (promotion of non-pharmacological treatment), and u3 (promotion of pharmacological treatment). Three scenarios were considered:

  • Scenario I: Only one control applied. Strategy 1 (u1 only) was found to be the most effective.
  • Scenario II: Two controls applied. Strategy 5 (combining u1 and u3) was superior among the three strategies.
  • Scenario III: All three controls applied.

Ultimately, cost-effectiveness analysis indicated that Scenario I, with only awareness control (u1), is the most cost-effective strategy for managing diabetes.

6 Conclusion

Diabetes remains a major chronic disease with severe global health and economic impacts. This study developed and analysed a compartmental model incorporating both pharmacological and non-pharmacological interventions, with peer influence modelled through a mass–action mechanism. Stability of the three equilibrium points was established analytically and numerically.

Model fitting to U.S. prevalence data (2000–2022) and sensitivity analysis highlighted the importance of treatment uptake and lifestyle adoption in reducing the diabetic population. Numerical results confirmed the reliability of the NSFD method compared to Euler and RK4. Optimal control analysis further showed that awareness campaigns, particularly when combined with lifestyle promotion, represent the most cost-effective intervention.

Overall, the findings underscore the need for preventive strategies and timely medical treatment to curb diabetes prevalence. Moreover, our analysis indicates that relapse (ω) and treatment failure rates (, ) substantially sustain the long-term diabetic burden, emphasizing the necessity of continued follow-up, adherence support, and prevention of treatment discontinuation even after initial controlled stage. Future extensions may consider stochastic effects, fractional-order models, or co-morbidity for a more comprehensive framework.

Supporting information

S1 File. Appendix. This file contains the mathematical proofs of Theorems 1.1, 1.2, and 1.3.

https://doi.org/10.1371/journal.pone.0339463.s001

(PDF)

Acknowledgments

Both authors gratefully acknowledge Vellore Institute of Technology, Chennai, for providing the research facilities that supported this study. We also thank the reviewers and the editor for their valuable feedback, which helped improve the quality of the manuscript.

References

  1. 1. Organization WH. Diabetes; 2024. https://www.who.int/news-room/fact-sheets/detail/diabetes
  2. 2. Federation ID. International Diabetes Federation; 2024. https://idf.org/
  3. 3. Diabetes NI, Digestive, (NIDDK) KD. Health Risks of Overweight and Obesity; 2024. https://www.niddk.nih.gov/health-information/weight-management/adult-overweight-obesity/health-risks
  4. 4. Gupta G, Wadhwa R, Pandey P, Singh SK, Gulati M, Sajita S. Obesity and diabetes: pathophysiology of obesity-induced hyperglycemia and insulin resistance. Pathophysiology of obesity-induced health complications. 2020. p. 97.
  5. 5. Verma S, Hussain ME. Obesity and diabetes: an update. Diabetes Metab Syndr. 2017;11(1):73–9. pmid:27353549
  6. 6. Leong KS, Wilding JP. Obesity and diabetes. Baillieres Best Pract Res Clin Endocrinol Metab. 1999;13(2):221–37. pmid:10761864
  7. 7. Permutt MA, Wasson J, Cox N. Genetic epidemiology of diabetes. J Clin Invest. 2005;115(6):1431–9. pmid:15931378
  8. 8. Tremblay J, Hamet P. Environmental and genetic contributions to diabetes. Metabolism. 2019;100S:153952. pmid:31610851
  9. 9. De Gaetano A, Hardy T, Beck B, Abu-Raddad E, Palumbo P, Bue-Valleskey J, et al. Mathematical models of diabetes progression. Am J Physiol Endocrinol Metab. 2008;295(6):E1462-79. pmid:18780774
  10. 10. Ajmera I, Swat M, Laibe C, Le Novère N, Chelliah V. The impact of mathematical modeling on the understanding of diabetes and related complications. CPT Pharmacometrics Syst Pharmacol. 2013;2(7):e54. pmid:23842097
  11. 11. Boutayeb A, Twizell EH, Achouayb K, Chetouani A. A mathematical model for the burden of diabetes and its complications. Biomed Eng Online. 2004;3(1):20. pmid:15222886
  12. 12. Simangunsong L, Mungkasi S. Fourth order Runge-Kutta method for solving a mathematical model of the spread of HIV-AIDS. In: AIP Conference Proceedings. 2021. https://doi.org/10.1063/5.0052550
  13. 13. Hadi RC, Gunawan PH. Determining optimal parameters and performance of spread COVID-19 in Bekasi City using SIR Model and RK4 Method. In: 2024 7th International Conference on Informatics and Computational Sciences (ICICoS). 2024. p. 279–83. https://doi.org/10.1109/icicos62600.2024.10636893
  14. 14. Rosli NF, Ibrahim N. Solving influenza infection model using Runge-Kutta fourth order method and Euler method. In: International Conference on the Applications of Science and Mathematics. 2024. p. 3–12.
  15. 15. Gümüş M, Türk K. Dynamical behavior of a hepatitis B epidemic model and its NSFD scheme. J Appl Math Comput. 2024;70(4):3767–88.
  16. 16. He JJ, Aljohani A, Mustafa S, Shokri A, Khalsaraei MM, Mukalazi H. Stability analysis of a nonlinear malaria transmission epidemic model using an effective numerical scheme. Sci Rep. 2024;14(1):17413. pmid:39075079
  17. 17. Mickens RE. Nonstandard finite difference schemes: methodology and applications. Singapore: World Scientific; 2020.
  18. 18. Mickens RE. Applications of nonstandard finite difference schemes. Singapore: World Scientific; 2000.
  19. 19. Ijaz Khan M, Al-Khaled K, Raza A, Khan SU, Omar J, Galal AM. Mathematical and numerical model for the malaria transmission: Euler method scheme for a malarial model. Int J Mod Phys B. 2022;37(16):2350158.
  20. 20. Sarkar T, Srivastava PK, Biswas P. Modeling dengue with saturated incidence, vaccination, and treatment rates: Numerical insights and nonlinear behavior. Nonlinear Dynamics. 2025;:1–43.
  21. 21. Alsulami A, Shahid N, Ahmed N, Almalahi M, Mustafa A, Aldwoah K. Mathematical insights into epidemic spread: a computational and numerical perspective. PLoS One. 2025;20(6):e0323975. pmid:40493587
  22. 22. Lenhart S, Workman JT. Optimal Control Applied to Biological Models. Boca Raton, FL: Chapman and Hall/CRC. 2007.
  23. 23. O’Regan D. Coincidence theory for multimaps. Applied Mathematics and Computation. 2012;219(4):2026–34.
  24. 24. Imken I, Fatmi NI. A new mathematical model of drinking alcohol among diabetes population taking anti-diabetic drugs: an optimal control approach. Communications in Mathematical Biology and Neuroscience. 2024;2024(2024):25.
  25. 25. Anusha SM, Athithan S. Dynamical behaviour of a stochastic mathematical model and optimal control for Type 2 diabetes. Mathematical Modelling of Engineering Problems. 2024;11(3).
  26. 26. LOGAPRAKASH P, MONİCA C. Optimal control of diabetes model with the impact of endocrine-disrupting chemical: an emerging increased diabetes risk factor. Mathematical Modelling and Numerical Simulation with Applications. 2023;3(4):318–34.
  27. 27. El Mansouri A, Smouni I, Khajji B, Labzai A, Belam M, Tidli Y. Optimal control in a mathematical model of a spread of the obesity epidemic and its impact on diabetes. Commun Math Biol Neurosci. 2023;2023.
  28. 28. Wang J, Zhong L, Chang X. SEIQRS model analysis and optimal control with two delays. PLoS One. 2025;20(6):e0319417. pmid:40465799
  29. 29. Saini P, Bhattacharyya S. Impact of multiple consultations and switching in treatment-seeking in tuberculosis: mathematical modelling and optimal control. PLoS One. 2025;20(6):e0324330. pmid:40493553
  30. 30. Kwon JA, Chambers GM, Luciani F, Zhang L, Kinathil S, Kim D, et al. Hepatitis C treatment strategies in prisons: a cost-effectiveness analysis. PLoS One. 2021;16(2):e0245896. pmid:33571196
  31. 31. Agusto FB, ELmojtaba IM. Optimal control and cost-effective analysis of malaria/visceral leishmaniasis co-infection. PLoS One. 2017;12(2):e0171102. pmid:28166308
  32. 32. Teklu SW, Kotola BS, Alemneh HT. Smoking and alcoholism dual addiction dissemination model analysis with optimal control theory and cost-effectiveness. PLoS One. 2024;19(10):e0309356. pmid:39401240
  33. 33. Kouidere A, Labzai A, Ferjouchia H, Balatif O, Rachik M. A new mathematical modeling with optimal control strategy for the dynamics of population of diabetics and its complications with effect of behavioral factors. Journal of Applied Mathematics. 2020;2020:1–12.
  34. 34. Mollah S, Biswas S. Optimal control for the complication of Type 2 diabetes: the role of awareness programs by media and treatment. Int J Dyn Control. 2023;11(2):877–91. pmid:35975278
  35. 35. Balakrishnan GP, Chinnathambi R, Rihan FA. A fractional-order control model for diabetes with restraining and time-delay. J Appl Math Comput. 2023;69(4):3403–20.
  36. 36. Pienaar MA, Reid M. A diabetes peer support intervention: patient experiences using the Mmogo-method®. Health SA. 2021;26:1512. pmid:33604060
  37. 37. Miller TA, Dimatteo MR. Importance of family/social support and impact on adherence to diabetic therapy. Diabetes Metab Syndr Obes. 2013;6:421–6. pmid:24232691
  38. 38. Raveendran AV, Chacko EC, Pappachan JM. Non-pharmacological treatment options in the management of diabetes mellitus. Eur Endocrinol. 2018;14(2):31–9. pmid:30349592
  39. 39. Gillett M, Royle P, Snaith A, Scotland G, Poobalan A, Imamura M, et al. Non-pharmacological interventions to reduce the risk of diabetes in people with impaired glucose regulation: a systematic review and economic evaluation. Health Technol Assess. 2012;16(33):1–236, iii–iv. pmid:22935084
  40. 40. White LF, Pagano M. A likelihood-based method for real-time estimation of the serial interval and reproductive number of an epidemic. Stat Med. 2008;27(16):2999–3016. pmid:18058829
  41. 41. Centers for Disease Control and Prevention CDC. Births and Natality Statistics. 2025. https://www.cdc.gov/nchs/fastats/births.htm
  42. 42. McInnes N, Hall S, Lochnan HA, Harris SB, Punthakee Z, Sigal RJ, et al. Diabetes remission and relapse following an intensive metabolic intervention combining insulin glargine/lixisenatide, metformin and lifestyle approaches: results of a randomised controlled trial. Diabetes Obes Metab. 2023;25(11):3347–55. pmid:37580972
  43. 43. Roborel deClimens A, Pain E, Boss A, Shaunik A. Understanding reasons for treatment discontinuation, attitudes and education needs among people who discontinue type 2 diabetes treatment: results from an online patient survey in the USA and UK. Diabetes Therapy. 2020;11(8):1873–81.
  44. 44. Lean ME, Leslie WS, Barnes AC, Brosnahan N, Thom G, McCombie L, et al. 5-year follow-up of the randomised Diabetes Remission Clinical Trial (DiRECT) of continued support for weight loss maintenance in the UK: an extension study. Lancet Diabetes Endocrinol. 2024;12(4):233–46. pmid:38423026
  45. 45. Moya ED, Pietrus A, Bernard S. Mathematical model for the study of obesity in a population and its impact on the growth of diabetes. Mathematical Modelling and Analysis. 2023;28(4):611–35.
  46. 46. Adamu EM, Patidar KC, Ramanantoanina A. An unconditionally stable nonstandard finite difference method to solve a mathematical model describing Visceral Leishmaniasis. Mathematics and Computers in Simulation. 2021;187:171–90.
  47. 47. Jódar L, Villanueva RJ, Arenas AJ, González GC. Nonstandard numerical methods for a mathematical model for influenza disease. Mathematics and Computers in Simulation. 2008;79(3):622–33.
  48. 48. Shaikh TS, Fayyaz N, Ahmed N, Shahid N, Rafiq M, Khan I, et al. Numerical study for epidemic model of hepatitis-B virus. Eur Phys J Plus. 2021;136(4):1–22.
  49. 49. Hoang MT. Dynamically consistent nonstandard finite difference schemes for a virus-patch dynamic model. J Appl Math Comput. 2021;68(5):3397–423.
  50. 50. Hoang MT. Reliable approximations for a hepatitis B virus model by nonstandard numerical schemes. Mathematics and Computers in Simulation. 2022;193:32–56.
  51. 51. Hoang MT. Dynamical analysis of a generalized hepatitis B epidemic model and its dynamically consistent discrete model. Mathematics and Computers in Simulation. 2023;205:291–314.
  52. 52. Misra AK, Jha N, Patel R. Modeling the effects of insects and insecticides on agricultural crops with NSFD method. J Appl Math Comput. 2020;63(1–2):197–215.
  53. 53. Ascher UM, Petzold LR. Computer methods for ordinary differential equations and differential-algebraic equations. Philadelphia: SIAM; 1998.
  54. 54. Lenhart S, Workman JT. Optimal control applied to biological models. Boca Raton: Chapman and Hall/CRC; 2007.
  55. 55. Pontryagin LS. Mathematical theory of optimal processes. London: Routledge; 2018.
  56. 56. Chambers ML. The mathematical theory of optimal processes. Journal of the Operational Research Society. 1965;16(4):493–4.
  57. 57. Agusto FB, Leite MCA. Optimal control and cost-effective analysis of the 2017 meningitis outbreak in Nigeria. Infect Dis Model. 2019;4:161–87. pmid:31193915
  58. 58. Agusto FB, ELmojtaba IM. Optimal control and cost-effective analysis of malaria/visceral leishmaniasis co-infection. PLoS One. 2017;12(2):e0171102. pmid:28166308
  59. 59. Agusto FB. Optimal isolation control strategies and cost-effectiveness analysis of a two-strain avian influenza model. Biosystems. 2013;113(3):155–64. pmid:23810937
  60. 60. Okyere E, Olaniyi S, Bonyah E. Analysis of Zika virus dynamics with sexual transmission route using multiple optimal controls. Scientific African. 2020;9:e00532.