Millions of people are affected by Alzheimer's disease, which is a progressive neurodegenerative disorder. 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 slow down the progression of Alzheimer's disease. 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 two Alzheimer’s disease 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 in the models. The limit 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 Alzheimer’s disease models is the main contribution of this paper.
Chao CC, et al. [1] discussed the transforming growth factor beta in Alzheimer’s disease. Lue LF, et al. [2] showed that the soluble amyloid beta peptide concentration is a predictor of synaptic change in Alzheimer's disease. Mehta PD, et al. [3] investigated the plasma and cerebrospinal fluid levels of amyloid β proteins 1-40 and 1-42 in Alzheimer disease. Penkowa M, et al. [4] showed the impaired inflammatory response and increased oxidative stress and neurodegeneration after brain injury in interleukin-6-deficient mice. Penkowa M, et al. [5] demonstrated that the Interleukin-6 deficiency reduces the brain inflammatory response and increases oxidative stress and neurodegeneration after kainic acid-induced seizures. Wyss-Coray T, et al. [6] showed that TGF-β1 promotes microglial amyloid-β clearance and reduces plaque burden in transgenic mice. Jacobsen JS, et al. [7], investigated the early-onset behavioural and synaptic deficits in a mouse model of Alzheimer's disease. Wyss-Coray T. [8] showed that the TGF-β pathway was a potential target in neurodegeneration and Alzheimer’s disease. Das P, et al. [9] demonstrated the dysfunction of TGF-β signaling in Alzheimers disease. Tobinick E, et al. [10] used the TNF-alpha modulation for treatment of Alzheimer’s disease. Green KN, et al. [11], investigated the role of calcium in the pathogenesis of Alzheimer's disease and transgenic models. Lyketsos CG, et al. [12] showed that naproxen and celecoxib do not prevent AD in early results from a randomized controlled trial. Town T, et al. [13] demonstrated that. blocking TGF-β–smad2/3 innate immune signaling mitigates Alzheimer-like pathology. Cheung KH, et al. [14], illustrated the mechanism of Ca2+ disruption in Alzheimer's disease by presenilin regulation of InsP3 receptor channel gating. Bezprozvanny I, et al. [15] researched the neuronal calcium mishandling and the pathogenesis of Alzheimer's disease. Bojarski L, et al. [16] investigated the calcium dysregulation in Alzheimer's disease. Martin BK, et al. [17] researched the cognitive function over time in the Alzheimer ’s disease and produced results of a randomized, controlled trial of naproxen and celecoxib.
Lopez JR, et al. [18] Increased intraneuronal resting [Ca2+] in adult Alzheimer's disease mice. Nelson O, et al. [19], investigated familial Alzheimer's disease mutations in presenilins and studied the effects on endoplasmic reticulum calcium homeostasis and correlation with clinical phenotypes. Puri IK, et al. [20], studied Mathematical models for the pathogenesis of Alzheimer's disease. Berridge MJ. [21] Tested the calcium hypothesis of Alzheimer's disease. Imbimbo BP, et al. [22] investigated whether NSAIDs are useful to treat Alzheimer’s disease or mild cognitive impairment. Berridge MJ. [23] studied the effect of calcium signalling on Alzheimer's disease. Anastasio TJ. [24] performed data-driven modelling of Alzheimer's disease pathogenesis. Camandola S, et al. [25] studied the aberrant subcellular neuronal calcium regulation in aging and Alzheimer's disease. Ho M, et al. [26] showed that the effects of metal chelators on γ-secretase indicate that calcium and magnesium ions facilitate cleavage of Alzheimer's amyloid precursor substrate. Itkin A, et al. [27], demonstrated that calcium ions promote the formation of amyloid b-peptide (1-40) oligomers causally implicated in neuronal toxicity of Alzheimer's disease. Müller M, et al. [28] studied the constitutive cAMP response element binding protein (CREB) activation by Alzheimer's disease presenilin-driven inositol trisphosphate receptor (InsP3R) Ca2+ signaling.
Schmidt V, et al. [29] performed quantitative modelling of amyloidogenic processing and its influence by SORLA in Alzheimer's disease. Ma T, et al. [30] studied mitochondrial modulation of store-operated Ca2+ entry in model cells of Alzheimer's disease. Woods NK, et al. [31] studied the effect of neuronal calcium signaling on Alzheimer's disease. De Kimpe L, et al. [32] showed that disturbed Ca2+ homeostasis increases glutaminyl cyclase expression, connecting two early pathogenic events in Alzheimer's disease in vitro. Berridge MJ. [33] investigated the dysregulation of neural calcium signaling in Alzheimer's disease. Cabezas I, et al. [34] investigated the role of glial cells in Alzheimer's disease. Chen JH, et al. [35] studied strategies involving protection of TGF-β1 against neuroinflammation and neurodegeneration in Aβ1–42-induced Alzheimer’s disease in model rats. Von Bernhardi R, et al. [36] studied the role of TGFβ signaling in the pathogenesis of Alzheimer’s disease. Bertsch M, et al. [37] and Hao W, et al. [38] developed mathematical models for the onset and progression of Alzheimer’s disease. Forloni G, et al. [39] performed research involving oligomers and inflammation in Alzheimer’s disease.
Kinney JW, et al. [40] conclude that inflammation is a central mechanism in Alzheimer’s disease. Zhu M, et al. [41] investigated whether inflammation be resolved in Alzheimer’s disease. Ozben T, et al. [42] studied neuro-inflammation and anti-inflammatory treatment options for Alzheimer’s disease. Ali MM, et al. [43] provide recommendations for anti-inflammatory treatments in Alzheimer’s disease. Ciuperca IS, et al. [44] developed an in vitro mathematical model involving Alzheimer's disease and prions. Andrade-Restrepo M, et al. [45] modelled the spatial propagation of Aβ oligomers in Alzheimer’s disease. Rivers-Auty J, et al. [46] investigated the use of anti-inflammatories in Alzheimer’s disease-potential therapy. Huang LK, et al. [47] performed clinical trials of new drugs for Alzheimer's disease. Li H, et al. [48] developed a mathematical model of Alzheimer’s disease with prion proteins interactions and treatment. Hu J, et al. [49] performed optimal control calculations of a stochastic reaction diffusion model for Alzheimer’s disease with impulse and time-varying delay. Hao W, et al. [50] developed a strategy for optimal anti-amyloid-beta therapy for Alzheimer’s disease via a personalized mathematical model. Al-Ghraiybah NF, et al. [51] studied glial cell-mediated neuroinflammation in Alzheimer’s disease. Pal S, et al. [52] modelled Anti-amyloid-Beta Therapy for Alzheimer’s Disease. Van Dyck CH, et al. [53] investigated Lecanemab in early Alzheimer’s disease. Ciuperca I, et al. [54] performed a qualitative analysis of an A β-monomer model with inflammation processes for Alzheimer’s disease. Caluwé J, et al. [55] discuss he progression towards Alzheimer's disease described as a bistable switch arising from the positive loop between amyloids and Ca2+.
Torres N, et al. [56], performed optimal control calculations involving anti-inflammatory treatments of Alzheimer’s disease. All the optimal control work involving Alzheimer’s disease involved single-objective optimal control. In this article we perform multiobjective nonlinear model predictive control in conjunction with bifurcation analysis for two Alzheimer’s disease. The work Caluwé J, et al. [55] and Ciuperca I, et al. [54] capture analytically the dynamics of the Alzheimer’s disease models and represent theoretically most of the features and hence these two models will be used for the calculations in this paper. These models will be referred to as model 1 and model 2. This paper is organized as follows. First, the Alzheimer’s disease 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
The parameter values are
a and c represent the concentrations of Aβ and the intracellular Ca2+. represent the synthesis rate of Aβ and the rate at which Ca2+ enters the cytoplasm. These are the bifurcation and control parameters, respectively.
The model equations are
The parameter values are
b and bp represent the oligomer concentration and the concentration of oligomers in plaques. mval and mcap represent the monomer and microglial cell concentrations. ival represents the interleukin concentration. Sigma and d are the degradation rates of microglial cells and the degradation rate of monomers. These are the bifurcation and control parameters, respectively.
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. [57]; Dhooge A, et al. [58]). 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. [59]; Kuznetsov YA. [60]) and Govaerts WJF. [61].
Flores TA, et al. [62] 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 WE, et al. [63] 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. [64] and confirmed as a global solution with BARON Tawarmalani M, et al.[65].
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.
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. [66] 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 [67]. 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.
Bifurcation analysis for model 1 revealed the existence of limit points for both the bifurcation parameters v1 and v2. The coordinates for the 2 limit points are (a,c,v1)=( 1.682845, 56.040073, 0.007876) and (a,c,v2)=( 1.672121, 60.828416, 4.519333 ). These limit points are shown in figures 1a,b. The limit points cause the profiles to change direction and this is shown in the figures.
The variables, a and c, which are the concentrations of Aβ and the intracellular Ca2+were minimized. was minimized individually and each of them led to a value of . 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 1b-d.
The obtained control profile of s exhibited noise (Figures 1e,f). This was remedied using the Savitzky-Golay Filter. The smoothed-out version of this profile is shown in figures 1g,h. The MNLMPC control values obtained for v1 and v2 are 0.00039 v2 0.001017.
Bifurcation analysis for model 2 revealed the existence of limit points for both the bifurcation parameters sigma and d.
The coordinates for the 2 limit points are (b, bp, mval, mcap, ival, sigma) = (0.557430, 0.929049, 0.527934, 0.499842, 0.178902, 0.177014) and (b, bp, mval, mcap, ival, d) = (0.310730, 0.517884, 0.394164, 0.991528, 0.235058, 0.473347). These limit points are shown in figures 2a,b. The limit points cause the profiles to change direction and this is shown in the figures.
The variables b and bp which are the oligomer concentration and the concentration of oligomers in plaques were minimized. was minimized individually and each of them led to a value of 0 . 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 2c-g. The obtained control profile of s exhibited noise (Figures 2h,i). This was remedied using the Savitzky-Golay Filter. The smoothed-out version of this profile is shown in figures 2j,k. The MNLMPC control values obtained for sigma and d are 0.2499 and 0.5683.
In both the cases, the MNLMPC calculations converged to the Utopia solution, validating the analysis of Sridhar LN. [66], which showed that the presence of a limit point enables the MNLMPC calculations to reach the best possible (Utopia) solution. The limit points cause a change in the direction of the profiles, and this singularity creates a turning point which enables the MNLMPC to converge to the Utopia solution.
Bifurcation analysis and multiobjective nonlinear model predictive control calculations were performed on two Alzheimer's disease models. The bifurcation analysis revealed the existence of limit points. The limit points (which produced multiple steady-state solutions originating from a singular point) are very beneficial as they caused the multiojective nonlinear model predictive 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 Alzheimer's 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.