Millions of people are affected by leukemia. It is important to understand the progression dynamics of this disease to be able to minimize the damage that is caused by it. This article provides a mathematical framework to develop strategies to control leukemia. Bifurcation analysis is a powerful mathematical tool used to deal with the nonlinear dynamics of any process. Several factors must be considered, and multiple objectives must be met simultaneously. Bifurcation analysis and Multiobjective Nonlinear Model Predictive Control (MNLMPC) calculations are performed on three leukemia models. The MATLAB program MATCONT was used to perform the bifurcation analysis. The MNLMPC calculations were performed using the optimization language PYOMO in conjunction with the state-of-the-art global optimization solvers IPOPT and BARON. The bifurcation analysis revealed the existence of limit points and branch in the models. The limit and branch points were beneficial because they enabled the multiobjective nonlinear model predictive control calculations to converge to the Utopia point in both problems, which is the most beneficial solution. A combination of bifurcation analysis and multiobjective nonlinear model predictive control for leukemia models is the main contribution of this paper.
Deininger MW, et al. [1] investigated the molecular biology of chronic myeloid leukemia. Topaly J, et al. [2] researched the synergistic activity of the new ANL-specific tyrosine kinase inhibitor STI571 and the effect of chemotherapeutic drugs on BCR-ABL-positive chronic myelogenous leukemia cells. Deininger MW and co-workers [3,4] studied the effect of imatinib on patients with chronic myeloid leukemia. Goldman JM, et al. [5] described the treatments for chronic myeloid leukemia patients. Mackey MC, et al. [6] studied the periodic behavior of chronic myelogenous leukemia. Baccarani M, et al. [7] studied the effect of Imatinib and pegylated human recombinant interferon-alpha2 b on early chronic-phase chronic myeloid leukemia. Moore H, et al. [8] developed a mathematical model of chronic myelogenous leukemia. Adimy M, et al. [9] performed a mathematical study of the hematopoiesis process with applications to chronic myelogenous leukemia. Michor F, et al. [10], studied the dynamics of chronic myeloid leukemia. Nanda S, et al. [11], performed single objective optimal control of a mathematical model of chronic myelogenous leukemia. Liso A, et al. and Ommen HB, et al. [12,13] and Cucuianu A, et al. [14] performed theoretical studies of mathematical models involving myelogenous leukemia. Dohner H, et al. [15] provided recommendations for the diagnosis and management of acute myeloid leukemia in adults. Komarova NL. [16], Stiehl T, et al. [17], Maclean AL, et al. [18,19], Agarwal M, et al. [20], and Clapp G, et al. [21] performed mathematical investigations of problems involving leukaemia. Crowell HL, et al. [22] studied feedback mechanisms control coexistence in a stem cell model of acute myeloid leukaemia. Austin R, et al. [23], described harnessing the immune system in acute myeloid leukaemia. Zeidan AM, et al. [24] described the economic burden associated with acute myeloid leukemia treatment. Masarova L, et al. [25] performed additional investigations about harnessing the immune system against leukemia. Lichtenegger FS, et al. [26] presented more developments in immunotherapy of acute myeloid leukemia. Krupar R, et al. [27], provided an analysis of anti-leukemia immune response and immune evasion in acute myeloid leukemia. Sharp JA, et al. [28] and Khatun MS, et al. [29] performed single-objewctive optimal control studies of ,myeloid leukaemia treatment , Journal of Theoretical Biology, Volume 470, 2019, Pages 30-42, ISSN 0022-5193. In this work, bifurcation analysis is performed in conjunction with Multiobjective Nonlinear Model Predictive Control (MNLMPC) for three leukemia models that are described in Nanda S, et al. [11] , Khatun MS, et al. [29] and Sharp JA, et al. [28] (Model 1, Model 2, and Model 3). This paper is organized as follows. First, the leukemia models are presented. The numerical procedures (Bifurcation Analysis and Multiobjective Nonlinear Model Predictive Control (MNLMPC) are then described. This is followed by the results and discussion, and conclusions.
The model equations are
Here represent the naive T cell population and the effector T cell population and the cancer cell population, respectively.The base values of the parameters are sn = 0.29; dn = 0.35; de = 0.40; dc = 0.012; kn = 0.066; = 140; = 0.39; = 0.65; Cmax = 16000; rc = 0.011; = 0.079; = 0.058. u1 and u2 are the bifurcation and control parameters. The naive T cells, upon encountering antigens from cancer cells, differentiate into effector T cells that target and destroy the tumor. However, cancer can also negatively impact naive T cells, potentially impairing their function or even causing their death, which can hinder the body's ability to fight the cancer. The negative terms in the differential equations indicate this fact.
Here Sval, Ival, Wval represent susceptible cells, infected cells and immune cells. The base values of the parameters are A = 1.5; = 0.01; = 0.0005; = 0.003; = 0.0001;b0 = 0.03. u1 and u2 are the bifurcation and control parameters.
The model equations are
Here represent haematopoietic stem cells, progenitor cells, terminally differentiated cells, leukaemia stem cells, and fully differentiated leukaemia cells.
The base parameter values are
= 0.5; = 0.43; = 0.27; = 0.14; = 0.44; = 0.05; = 0.275; = 0.3; k1 = 1; k2 = 1;
= 0.015; = 0.01. u is the bifurcation parameter and control variable.
The MATLAB software MATCONT is used to perform the bifurcation calculations. Bifurcation analysis deals with multiple steady-states and limit cycles. Multiple steady states occur because of the existence of branch and limit points. Hopf bifurcation points cause limit cycles . A commonly used MATLAB program that locates limit points, branch points, and Hopf bifurcation points is MATCONT Dhooge A, et al. [30]; Dhooge AW, et al. [31]. This program detects Limit Points(LP), Branch Points(BP), and Hopf bifurcation points(H) for an ODE system
Let the bifurcation parameter be Since the gradient is orthogonal to the tangent vector,
The tangent plane at any point must satisfy
where A is
where is the Jacobian matrix. For both limit and branch points, the matrix must be singular. The n+1 th component of the tangent vector = 0 for a Limit Point (LP) and for a Branch Point (BP) the matrix must be singular. At a Hopf bifurcation point,
@ indicates the bialternate product while is the n-square identity matrix. Hopf bifurcations cause limit cycles and should be eliminated because limit cycles make optimization and control tasks very difficult. More details can be found in Kuznetsov YA. [32,33] and Govaerts WJF. [34].
Flores Tlacuahuaz A. [35] developed a Multiobjective Nonlinear Model Predictive Control (MNLMPC) method that is rigorous and does not involve weighting functions or additional constraints. This procedure is used for performing the MNLMPC calculations Here (j = 1, 2..n) represents the variables that need to be minimized/maximized simultaneously for a problem involving a set of ODE
Being the final time value, and n the total number of objective variables and. u the control parameter. This MNLMPC procedure first solves the single objective optimal control problem independently optimizing each of the variables individually. The minimization/maximization of will lead to the values . Then the optimization problem that will be solved is
This will provide the values of u at various times. The first obtained control value of u is implemented and the rest are discarded. This procedure is repeated until the implemented and the first obtained control values are the same or if the Utopia point
where ( for all j) is obtained.
Pyomo (Hart, et al. [36] is used for these calculations. Here, the differential equations are converted to a Nonlinear Program (NLP) using the orthogonal collocation method The NLP is solved using IPOPT (Wächter A, et al. [37] and confirmed as a global solution with BARON Tawarmalani M, et al. [38].
The steps of the algorithm are as follows
Optimize and obtain at various time intervals ti. The subscript i is the index for each time step.
Minimize and get the control values for various times.
Implement the first obtained control values
Repeat steps 1 to 3 until there is an insignificant difference between the implemented and the first obtained value of the control variables or if the Utopia point is achieved. The Utopia point is when for all j.
Sridhar LN. [39] proved that the MNLMPC calculations to converge to the Utopia solution when the bifurcation analysis revealed the presence of limit and branch points. This was done by imposing the singularity condition on the co-state equation Upreti SR. [40]. If the minimization of lead to the value and the minimization of lead to the value The MNLPMC calculations will minimize the function . The multiobjective optimal control problem is
Differentiating the objective function results in
The Utopia point requires that both and are zero. Hence
the optimal control co-state equation (Upreti; 2013) is
is the Lagrangian multiplier. is the final time. The first term in this equation is 0 and hence
At a limit or a branch point, for the set of ODE is singular. Hence there are two different vectors-values for where and . In between there is a vector where . This coupled with the boundary condition will lead to This makes the problem an unconstrained optimization problem, and the only solution is the Utopia solution.
For the bifurcation analysis of model 1, u1 is the bifurcation parameter and the other parameter values are sn = 0.29; dn = 0.35; de = 0.40; dc = 0.012; kn = 0.066; = 0.0020; = 0.39; = 0.65; Cmax = 16000; rc = 0.011; = 0.079; = 0.158; u2 = 1.62; a limit point was found at values of (0.458808 0.639024 0.140437 0.059894 ). This is shown in figure 1a.
When u2 is the bifurcation parameter and the other parameter values a reSn = 0.29; dn = 0.35; de = 0.40; dc = 0.012; kn = 0.066; = 0.0020; = 0.39; = 0.65; Cmax = 16000; rc = 0.011; = 0.079; = 0.1; u1 = 0.059894; a limit point was found at values of (0.463059 1.015647 0.135093 1.603523). This is shown in figure 1b.
For the bifurcation analysis of model 2, when u1 is the bifurcation parameter and the other parameter values are
A = 0.082; = 0.01; = 0.0005; = 0.003; =0.0001; b0 = 0.03; u2 = 0;
A branch point occurred at [sval, ival, wval, u1] values of (6.200000 0.000000 0.666667 0.003226). This is shown in figure 2a.
When u2 is the bifurcation parameter and the other parameter values are
A = 0.082; = 0.01; = 0.0005; = 0.003; = 0.0001; b0 = 0.03; u1 = 0;
A branch point occurred at [sval, ival, wval, u2] values of (8.200000 0.0 0.0 0.0010). This is shown in figure 2b.
For the bifurcatiom analysis of model 3, u is the bifurcation parameter and the other parameter values are
= 0.5; = 0.43; = 0.27; = 0.14; = 0.44; = 0.04; = 0.275; = 0.3; k1 = 1; k2 = 1; = 0.015; = 0.01; a limit point at [sval;aval;dval;lval;tval,u] values of ( 0.72 0.354939 0.554995 0.282254 0.037634 0.006633 ). This is shown in figure 3.
For the MNLMPC calculations involving model 1, was minimized was maximized individually and resulted in values of 0 and 2000. The overall optimal control problem will involve the minimization of was minimized subject to the equations governing the model. This led to a value of zero (the Utopia solution. The various concentration profiles for this MNLMPC calculation are shown in figures 4a-c. (Figures 4a-c) indicate the variation of tn, te and c versus time.
The obtained control profile of u1 and u2 exhibited noise (Figures 4d, e). This issue was addressed using the Savitzky-Golay Filter. The smoothed version of this profile is shown in figures 4f, g. The MNLMPC control values obtained for u1 and u2 are 0.0624 and 0.00443. The MNLMPC calculations converged to the Utopia solution, validating the analysis by Sridhar LN. [39], which demonstrated that the presence of a limit point/branch point enables the MNLMPC calculations to reach the optimal (Utopia) solution.
For the MNLMPC calculations involving model 2, was minimized was maximized individually and resulted in values of 0 and 200. The overall optimal control problem will involve the minimization of
was minimized subject to the equations governing the model. This led to a value of zero (the Utopia solution. The various concentration profiles for this MNLMPC calculation are shown in figures 5a-c. (Figures 5a-c) indicate the variation sval, ival, wval versus time.
The obtained control profile of u1 and u2 exhibited noise (Figures 5d, e). This issue was addressed using the Savitzky-Golay Filter. The smoothed version of this profile is shown in figures 4f, g. The MNLMPC control values obtained for u1 and u2 are 0.002779 and 0.02749. The MNLMPC calculations converged to the Utopia solution, validating the analysis by Sridhar LN. [39], which demonstrated that the presence of a limit point/branch point enables the MNLMPC calculations to reach the optimal (Utopia) solution.
For the MNLMPC calculations involving model 3, was minimized was maximized individually and resulted in values of 0 and 5.47269. The overall optimal control problem will involve the minimization of was minimized subject to the equations governing the model. This led to a value of zero (the Utopia solution. The MNLMPC control values obtained for u was 0.6345. The various concentration profiles for this MNLMPC calculation are shown in figures 6a-6f. (Figures 6a-e) show the variation of sval, aval, dval, lval, tval with respect to time while fig 6f shows the variation of the control variable. The MNLMPC calculations converged to the Utopia solution, validating the analysis by Sridhar LN. [39], which demonstrated that the presence of a limit point/branch point enables the MNLMPC calculations to reach the optimal (Utopia) solution.
Model 1 and Model 3 displayed limit points, while Model 2 demonstrated a branch point. In all three instances, the MNLMPC calculations converged to the Utopia solution, validating the analysis of Sridhar LN. [39] which showed that the existence of a limit point or a branch point allows the MNLMPC calculations to achieve the best possible (Utopia) solution.
Bifurcation analysis and Multiobjective nonlinear model predictive control calculations were performed on three leukemia models. The bifurcation analysis revealed the existence of limit and branch points. The limit and branch points (which cause multiple steady-state solutions from a singular point) are very beneficial as they enable the Multiobjective nonlinear model predictive control calculations to converge to the Utopia point (The best possible solution) in both models. A combination of bifurcation analysis and multiobjective nonlinear model predictive control for leukemia disease models is the main contribution of this paper.
All data used is presented in the paper.
The author, Dr. Lakshmi N Sridhar has no conflict of interest.
Dr. Sridhar thanks Dr. Carlos Ramirez and Dr. Suleiman for encouraging him to write single-author papers.
SignUp to our
Content alerts.
This work is licensed under a Creative Commons Attribution 4.0 International License.
Are you the author of a recent Preprint? We invite you to submit your manuscript for peer-reviewed publication in our open access journal.
Benefit from fast review, global visibility, and exclusive APC discounts.