Atherosclerosis, the formation of life-threatening plaques in blood vessels, is a form of cardiovascular disease. In this paper, we analyze a simplified model of plaque growth to derive physically meaningful results about the growth of plaques. In particular, the main results of this paper are two conditions, which express that the immune response increases as LDL cholesterol levels increase and that diffusion prevails over inflammation in a healthy artery.
1. Introduction
Atherosclerosis is a type of cardiovascular disease characterized by the accumulation of fatty deposits within the arterial intima, which can eventually expand into the lumen and obstruct blood flow. Stiff plaques are susceptible to rupture due to blood shear stress, leading to the formation of blood clots which can block the lumen entirely and lead to myocardial infarction (heart attack) [1]. According to the Center of Disease Control, cardiovascular disease is the leading cause of death in America, leading to 1 in every 4 deaths. Furthermore, 49% of all Americans possess at least one of the three major risk factors for cardiovascular disease: smoking, high low density lipoprotein (LDL) levels, and high blood pressure [2]. Thus, examining which factors in the plaque formation process are most important in causing plaque growth is of utmost importance in being able to treat patients with cardiovascular disease.
Atherosclerosis can be modeled as a multistage disease, starting with inflammation, leading to plaque growth and finally to plaque rupture and cardiac infarction [3]. Herein, we focus on inflammation and deem that plaques are stable if the inflammation cascade culminates in a return to the equilibrium state.
In this work, we study two types of lipids: high density lipoproteins (HDL) and low density lipoproteins (LDL). Both are composed of dense lipids covered by a surface protein, with molecules such as vitamin E attached for defensive purposes (3–15 for LDL molecules, 0-1 for HDL molecules) [4]. When free radicals come in contact with HDL or LDL molecules, they preferentially oxidize the vitamin E molecules attached to the protein coat. When these outer molecules have already all been oxidized, the core is oxidized. This forms oxidized LDL (ox-LDL), which acts as an irritant to the body, as well as oxidized HDL (ox-HDL), which does not seem to have any adverse effects [3]. However, HDL molecules are six times more prevalent than LDL molecules in the bloodstream and can thus act as a buffer against the buildup of ox-LDL [4].
The presence of ox-LDL causes endothelial cells to release monocyte chemoattractant protein (MPC-1), which attracts monocytes into the intima. These monocytes mature into macrophages, which phagocytize ox-LDL molecules [5]. These macrophages lose motility after having ingested the offensive molecules and turn into so-called foam cells [6]. Foam cells then cause positive feedback, releasing chemokines that lead to the recruitment of more macrophages [5]. Prompted by growth factors emitted by macrophages, smooth muscle cells from the media migrate into the intima [3].
Foam and smooth muscle cells within the intima eventually necrotize, breaking apart into detritus that coagulates into the fatty core of a plaque. This core is covered by a brittle cap of extracellular matrix (ECM) excreted by smooth muscle cells. As the plaque expands into the artery over time, blood stress on these types of plaques, called thin-capped fibroatheromas, along with the degrading effects of matrix metalloproteinases produced by macrophages, causes the plaque to rupture. The rupture of plaque releases blood clotting factors, with blood clots potentially blocking all blood flow and causing heart attack and death. Rupture, rather than complete blockage of the artery, is estimated to cause a vast majority of heart attack cases [6].
From a mathematical standpoint, much work has been done in creating realistic simulations of plaque formation via systems of partial differential equations, with novelties including different types of grids [6], inclusion of many different types of molecules [5], and the inclusion of fluid structure interaction [7].
However, comparatively little has been done in the way of mathematical stability analysis. El Khatib et al. studied a system of two partial differential equations in 2 dimensions and showed that small deviations from equilibria can lead to travelling wave solutions leading to runaway inflammation [8]. Ibragimov et al. linearized their system of differential equations and developed an ansatz based on the eigenfunctions of the von Neumann problem to find specific conditions for stability [9]. They found that the equilibrium point of the system is unstable when disease effects dominate diffusion. The primary drawback of this approach is that the ansatz relies on certain initial conditions and thus does not fully capture the dynamics of plaque growth.
Energy estimate analyses are more applicable in proving stability for large systems of differential equations, where relying on an ansatz can become unwieldy. Ibragimov et al. performed an energy stability analyses in [10, 11], respectively, and derived conditions sufficient for linearized stability. However, this approach entails the imposition of a large number of conditions, many of which can not be readily interpreted physically. The main novelty of this work is to consider a somewhat simplified differential equation system that still captures the key aspects of the plaque formation process and to derive 2 simple and sufficient criteria for linear stability.
The presentation of this work is as follows. Governing differential equations for a model of plaque growth along with the formulation of the computational domain are outlined in Section 2. Section 3 presents a rigorous stability analysis for the linearization of the differential equations derived as well as sufficient conditions for the system equilibrium to be asymptotically stable. Section 4 then numerically validates the criteria found in Section 3.
2. Mathematical Modeling2.1. Domain of Interest
Here, we study the evolution of species concentrations in the intima, as pictured in Figure 1. We assume that the intima is of fixed volume. This is a reasonable assumption as we are studying perturbations from equilibrium, more likely when total plaque growth is limited to relatively small fibrous atheromas, which do not extend extremely far into the intima. As in [9], we take the intima to be approximately shaped like a thin annulus, with some intimal thickening. We assume the outer boundary of the intima (separating it from the media) is impermeable to all chemical species.
Computational domain.
2.2. Modeling Assumptions
We make a number of simplifying assumptions to obtain a differential equation system capturing the key aspects of the plaque formation process. The most important aspect is that we only consider the species LDL/ox-LDL (L), macrophages (M), and necrotic lipids (N). We assume that all LDL molecules entering the intima are quickly oxidized, becoming ox-LDL. We also assume that monocytes entering the intimal region quickly mature into macrophages. We assume that macrophages are attracted directly to the presence of ox-LDL molecules. We assume that the time span between the creation and eventual necrosis of foam cells is relatively short in comparison to the length of the disease progression. Finally, we assume that neutrophils and other immune cells clear lipid accumulation at a rate proportional to the concentration of lipids present.
2.3. Governing Differential Equations
We model plaque growth with a system of reaction-diffusion equations of the form(1)∂f∂t+∇·J→f=Qf.
We assume that the concentration flux for species f is of the form J→f=f∇(μfg)-∇(Dff) (where f can represent LDL/ox-LDL (L), macrophages (M), and necrotic lipids (N)) with terms addressing the effects of Keller-Segel chemotaxis (towards species g) and Fickian diffusion, respectively. Df is the coefficient of diffusion, and μf is the chemotactic sensitivity coefficient of f towards g [10]; both are assumed to remain constant for any fixed species across the domain due to relative intimal homogeneity. Macrophages are the only species considered that responds to chemotactic influences, so we assume that μL=μN=0. Necrotic lipids are assumed to be immobile due to their dense structure, and so we take DN=0.
The principal contributor to the reaction terms is the reaction L+M→N. We make the simplifying assumption that this reaction is 1st order in each reactant (i.e., that the rate of formation of necrotic lipids ∝LM), with reaction rates of kL and kM. We also assume that the rate of formation of lipids is the same as the rate of destruction of macrophages (i.e., that LDL compose an insignificant portion of the lipid mass) and that neutrophils are already dispersed throughout the intima and will destroy plaque at a rate proportional to the amount present with reaction rate kN.
Finally, for mathematical simplicity, we impose no-flux conditions on the boundary. As in [10], we instead add source terms to our system to represent LDL and macrophage inputs into the system. We model LDL molecule input to be constant at a rate of L0 and consider a variable influx of macrophages depending on the LDL concentration: f(L), where f is sigmoidal to account for saturation as the LDL concentration increases without bound.
With the above considerations, we have the following governing differential equation system:(2)∂L∂t=DL∇2L-kLLM+L0,∂M∂t+∇·μM∇L=DM∇2M-kMLM+fL,∂N∂t=kMLM-kNN.
3. Stability Analysis
In order to study the asymptotic stability of system equilibria, we linearize our system, introducing the equilibrium values of all reactants in the process, Le, Me, and Ne. We let(3)L=Le+a,M=Me+b,N=Ne+c,where the equilibrium values, in terms of system parameters, are(4)(Le,Me,Ne)=f-1kML0kL,L0kLf-1kML0/kL,L0kMkLkN,
for perturbations a, b, and c. We now substitute these into (2), effecting a multivariate taylor series expansion of the different terms and preserving solely linear terms (it can be seen that the constant terms cancel due to the stipulations on the values of Le, Me, and Ne). We then obtain the system(5)∂a∂t=Da∇2a-k1a-k2b,(6)∂b∂t+χa∇2a=Db∇2b-k3a-k4b,(7)∂c∂t=k6a+k4b-k5c,where we have the parameters(8)k1=kLMe,k2=kLLe,k3=kMMe-f′Le,k4=kMLe,k5=kN,k6=kMMe,χa=μMe,Da=DL,Db=DM.
Next, we will perform a complete energy estimate analysis on our linearized system.
Our first step is to multiply the equation for all species f by f and integrate by parts over the domain using Green’s identities with no-flux boundary conditions. We obtain(9)12∂∂t∫a2=-Da∫∇a2-k1∫a2-k2∫ab,12∂∂t∫b2=χa∫∇b·∇a-Db∫∇b2-k3∫ab-k4∫b2,12∂∂t∫c2=k6∫ac+k4∫bc-k5∫c2.
Now we prove a lemma deriving a bound on an energy functional.
Lemma 1.
Given equations (9), one has that(10)12∂∂t∫xa2+yb2+zc2≤k6ϵ1z+k3ϵ4y+k2ϵ5-k1x∫a2+k4ϵ2z+k34ϵ4-k4y+k24ϵ5x∫b2+k64ϵ1+k44ϵ2-k5z∫c2+χaϵ3y-Dax∫∇a2+χa4ϵ3-Dby∫∇b2.
Proof.
In order to separate products of terms, we apply Cauchy’s inequality, which states that for any a,b∈R and ϵ∈R+(11)ϵa2+b24ϵ≥ab.Thus, for the weights ϵi(i∈{1,2,3,4,5,6}), we have the system of inequalities:(12)12∂∂t∫a2≤k2ϵ5-k1∫a2+k24ϵ5∫b2-Da∫∇a2,(13)12∂∂t∫b2≤(k3ϵ4)∫a2+k34ϵ4-k4∫b2+(χaϵ3)∫∇a2+χa4ϵ3-Db∫∇b2,(14)12∂∂t∫c2≤(k6ϵ1)∫a2+(k4ϵ2)∫b2+k64ϵ1+k44ϵ2-k5∫c2.Now, we add together (12), (13), and (14), weighted by x,y,z∈R+, respectively, to obtain the desired result.
Stability requires all perturbations to go to zero at all points in space as time increases. We first note that it is a necessary (but not sufficient) condition for limt→∞∫f=0 for all species f involved.
Theorem 2.
The ordinary differential equation system associated with (5)–(7) is stable if and only if k1k4>k2k3.
Proof.
Integrating over the entire region and using the homogenous Neumann boundary conditions, we have the ordinary differential equation system(15)ddtarbrcr=-k1-k20-k3-k40k6k4-k5arbrcr,where fr=∫f for any chemical species f. In order for our ODE system (15) to be stable, the eigenvalues of the above matrix must all be negative [12]. The characteristic polynomial of the above matrix, A, is(16)det(A-λI)=-k5-λ-k1-λ-k4-λ-k2k3=-λ+k5λ2+k1+k4λ+k1k4-k2k3.The zeroes of this equation are λ1=-k5, which is always negative, as well as(17)λ2,3=-(k1+k4)±k1+k42-4(k1k4-k2k3)2=-k1+k4±k1-k42+4k2k32.Clearly both of these zeros are real, with taking the negative sign above leading to a negative value for λ2. In order for the third zero to also be negative, we require(18)λ3<0⟺k1+k4>k1-k42+4k2k3⟺k1k4>k2k3.
We now build up a series of lemmas in order to prove the existence of an everywhere positive energy functional that decays to zero as time increases without bound. Herein, we assume that(19)k1k4>k2k3,which follows from Theorem 2, as well as(20)χa2<4DbDak3k2,and the reasons for the sufficiency of this condition will become more apparent via the following lemmas.
Lemma 3.
There exist x, y, and z positive such that one simultaneously satisfies(21)k6ϵ1z+k3ϵ4y+k2ϵ5-k1x<0,k4ϵ2z+k34ϵ4-k4y+k24ϵ5x<0,where one sets ϵ1=k6/k5, ϵ2=k4/k5, and ϵ4=ϵ5=k1/2k2.
Proof.
We may reformulate the stability condition derived in Theorem 2 as(22)2k1k4k2k3>2.As all of the ki’s are positive, we may then write(23)1>12k1k4/k2k3-1=2k3k24k1k4-2k2k3.Rearranging, we may then say that(24)k2k3>2k224k1k4-2k2k3.As we have set ϵ4=ϵ5=k1/2k2, this is equivalent to(25)k1-k2ϵ5k3ϵ4>k2ϵ54k4-k3/ϵ4.
As this inequality holds for all parameter values in our parameter space, we may choose x and y to be positive constants such that the ratio y/x lies in between these two bounds. Then,(26)k1-k2ϵ5k3ϵ4>yx>k2ϵ54k4-k3/ϵ4.
Now, ϵ5=k1/2k2 implies that k1-k2ϵ5>0. Similarly ϵ4=k1/2k2 along with the stability condition derived in Theorem 2 implies that 4k4-k3/ϵ4>0. This means we may multiply out terms to obtain the system of inequalities:(27)k1-k2ϵ5x>k3ϵ4y,k4-k34ϵ4y>k24ϵ5x.
Then, we have that(28)0<k1-k2ϵ5x-k3ϵ4yk6ϵ1,0<k4-k3/4ϵ4y-k2/4ϵ5xk4ϵ2.We can then choose z to be some positive constant less than the right hand sides of the above equation. Rearranging, we then have giving the desired result.
Lemma 4.
There exists ϵ3 positive such that one can satisfy(29)χaϵ3y<Dax,(30)χa4ϵ3<Db.
Proof.
From (20), we may assert the bound:(31)Dak3χak2>χa4Db.Choosing ϵ3 such that it lies between these two bounds, we have(32)Dak3χak2>ϵ3>χa4Db.
Rearranging this inequality using the bound on y/x derived earlier gives the desired result.
The next theorem describes the conditions for asymptotic stability.
Theorem 5.
The equilibrium solution (Le,Me,Ne) is asymptotically stable given that
f′(Le)>0,
χa2<4DbDak3/k2.
Proof.
We define an energy functional, F(a,b,c)=ϕ(t), equal to the left hand side of (10). From lemmas provided earlier, we know that there exist constants ϵi and x, y, and z such that each of the coefficients in the definition of the functional is positive. As each of the coefficients on the right hand side is negative given the appropriate choice of constants, we may conclude for some positive M (the absolute value of the maximum of the coefficients of the RHS) that(33)dϕdt<-Mϕt.This implies that the functional decays exponentially and that it is thus asymptotically stable.
The first criterion that f′(Le)>0 is necessary for the equilibrium of the linearized system of partial differential equations to be stable. Physically, as f is the macrophage response to an LDL presence in the intima, this condition implies that an increased number of macrophages must permeate the intima if LDL/ox-LDL levels increase. This is characteristic of a healthy immune response, as the presence of LDL causes endothelial cells to release monocyte chemoattractant protein, attracting monocytes that later mature into macrophages [5].
The second criterion that χa2<4DbDak3/k2 represents loosely that the force of chemotaxis (represented by χa) should be countered by diffusive forces (represented by the product DaDb). As chemotaxis results in an aggregation of chemical species in one place, a large value of χa could result in a runaway immune cascade leading to plaque growth and eventual rupture. A strong propensity towards diffusion indicated by large values of the diffusion coefficients would temper this aggregation by opposing the concentration of species in one region.
4. Numerical Results
In this section, we evaluate the robustness of the stability criteria:(34)k1k4>k2k3equivalentlyf′Le>0,(35)χa2<4DbDak3k2.
4.1. Bipolar Coordinates
Similar to [6], we implement our original differential equation system (2) in a 2-dimensional bipolar coordinate system. The conversion between bipolar and rectangular coordinates is given by (36)x=dsinhτcoshτ-cosσ,y=dsinσcoshτ-cosσ,where curves of constant τ describe nonconcentric circles (with greater τ corresponding to smaller radius) and where the angle σ can vary between -π and π.
The computational domain, τext<τ<τint and -π≤σ≤π, is thus an off-center annulus and so meets the requirements for our modeling assumptions to hold. We implement our equations in MATLAB using the method of lines, discretizing in the space variables σ and τ and solving a system of ordinary differential equations, with each equation corresponding to a grid point in our discretization.
Specifically, our grid points are(37)τi,σjfori=1,2,…,m,j=1,2,…n,Δτ=τi+1-τi=τint-τextm-1,Δσ=σj+1-σj=2πn,where we take σn+k=σk for consistency.
Denoting the value of L at point (τi,σj) by L(i,j) (and similarly for M and N), we have the system of equations: (38)dLi,jdt=DL∇2Li,j-kLLi,jMi,j,dMi,jdt+μ∇Mi,j·∇Li,j+μMi,j∇2Li,j=DM∇2Mi,j-kMLi,jMi,j+fLi,j,dN(i,j)dt=kML(i,j)M(i,j)-kNN(i,j),where we discretize the Laplacian operator as(39)∇2L(i,j)=1h(i,j)2L(i+1,j)-2L(i,j)+L(i-1,j)Δτ2vvvvvvvv+Li,j+1-2Li,j+Li,j-1Δσ2,and similarly for M(i,j) for (i=2,3,…,m-1) and (j=1,2,…,n).
At the boundaries τint and τext, we employ the one-sided approximation:(40)dL(1,j)dt=1h1,j-3F1,j+4F2,j-F3,j2Δτvvvvvvvv+G1,j+1-G1,j-12Δσ-kLL1,jM1,j,where F and G are the τ and σ components of the flux. Due to the no-flux boundary conditions, we may assert that(41)F1,j=Fm,j=0,Fi,j=Li+1,j-Li-1,j2hi,jΔτforj≠1,m,G(i,j)=Li,j+1-Li,j-12h(i,j)Δσ.A similar approximation scheme is used for M at the boundary.
4.2. Numerical Experiments
Setting parameter values that satisfy the second stability criterion, we first attempt to investigate the robustness of the strict first criterion. Letting(42)It=∫Lt2+Mt2+Nt2dA,
our previous stability results should show that I→C as t→∞, where C is some constant (as the perturbations from equilibrium should approach 0). Approximating this integral as a Riemann sum over grid points over time, we have numerical confirmation that this criterion holds strongly. For instance, the first two images are for f′(Le)>0 while the latter two are for f′(Le)<0, starting with different initial conditions.
Mathematically, f′(Le)<0 implies the existence of an eigenvalue with positive real part of the coefficient matrix A in the proof of Theorem 2. It is well known that this causes the space-integral of at least one of the reactants to diverge over time in the context of the linear system. f′(Le)>0 is thus a necessary condition for stability of the linearized system and seems to also be necessary for the stability of the initial system, as illustrated by Figures 2–5.
Spatial integrals of squared perturbations over time for f′(Le)>0.
Spatial integrals of squared perturbations over time for f′(Le)>0.
Spatial integrals of squared perturbations over time for f′(Le)<0.
Spatial integrals of squared perturbations over time for f′(Le)<0.
On the other hand, setting parameter values that satisfy the first stability criterion and investigating the second stability criterion results in no such confirmation: the criterion does not seem to be necessary, only sufficient.
5. Conclusion
The model that we have developed encompasses the salient features of atherosclerotic plaque development, including lipid oxidation, foam cell formation, and necrosis, as well as plaque buildup. We provide sufficient conditions for a stable artery during the first inflammatory stages of atherosclerosis. Specifically, our first stability criterion reproduces the intuitive result that the influx of macrophages to phagocytize oxidized molecules should increase when the LDL concentration is increased from equilibrium in a healthy artery. The second criterion loosely says that diffusive forces must dominate inflammatory forces of chemotaxis in a healthy artery, in accordance with the results of [10]. We then numerically verify that these criteria are sufficient. A forthcoming study will include parameter estimation to increase the reliability of the model.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
CrowtherM. A.Pathogenesis of atherosclerosis20052005436441Centers for Disease Control and Prevention2014http://www.cdc.gov/dhdsp/data_statistics/fact_sheets/docs/fs_heart_disease.pdfMcKayC.McKeeS.MottramN.MulhollandT.WilsonS.Towards a model of atherosclerosis2004CobboldC. A.SherrattJ. A.MaxwellS. R. J.Lipoprotein oxidation and its significance for atherosclerosis: a mathematical approach2002641659510.1006/bulm.2001.02672-s2.0-0036378346HaoW.FriedmanA.The LDL-HDL profile determines the risk of atherosclerosis: a mathematical model201493e9049710.1371/journal.pone.00904972-s2.0-84897971085FokP. W.Growth of necrotic cores in atherosclerotic plaque2012294301327dqr01210.1093/imammb/dqr0122-s2.0-84870001803MR3000269CalvezV.HouotJ.MeunierN.RaoultA.RusnakovaG.Mathematical and numerical modeling of early atherosclerotic lesions201030114El KhatibN.GenieysS.KazmierczakB.VolpertV.Mathematical modelling of atherosclerosis as an inflammatory disease200936719084877488610.1098/rsta.2009.0142MR25568192-s2.0-73349125450IbragimovA. I.McNealC. J.RitterL. R.WaltonJ. R.A mathematical model of atherogenesis as an inflammatory response20052243053332-s2.0-3104443397710.1093/imammb/dqi011IbragimovA. I.McNealC. J.RitterL. R.WaltonJ. R.Stability analysis of a model of atherogenesis: an energy estimate approach20089212114210.1080/174867007018655542-s2.0-42349106646MR2412333IbragimovA. I.McNealC. J.RitterL. R.WaltonJ. R.Stability analysis of a model of atherogenesis: an energy estimate approach II201011167882-s2.0-76949093879MR266951310.1080/17486700802713430PerkoL.20013rdSpringerTexts in Applied Mathematics10.1007/978-1-4613-0003-8MR1801796