- Research
- Open Access
- Published:

# Stability analysis of a dynamical model of tuberculosis with incomplete treatment

*Advances in Difference Equations*
**volume 2020**, Article number: 499 (2020)

## Abstract

A simple deterministic epidemic model for tuberculosis is addressed in this article. The impact of effective contact rate, treatment rate, and incomplete treatment versus efficient treatment is investigated. We also analyze the asymptotic behavior, spread, and possible eradication of the TB infection. It is observed that the disease transmission dynamics is characterized by the basic reproduction ratio \(\Re _{0}\); if \(\Re _{0}<1\), there is only a disease-free equilibrium which is both locally and globally asymptotically stable. Moreover, for \(\Re _{0}>1\), a unique positive endemic equilibrium exists which is globally asymptotically stable. The global stability of the equilibria is shown via Lyapunov function. It is also obtained that incomplete treatment of TB causes increase in disease infection while efficient treatment results in a reduction in TB. Finally, for the estimated parameters, some numerical simulations are performed to verify the analytical results. These numerical results indicate that decrease in the effective contact rate *λ* and increase in the treatment rate *γ* play a significant role in the TB infection control.

## 1 Introduction

Tuberculosis (TB) is an infectious disease caused by mycobacterium tuberculosis, which most frequently affects the lungs (pulmonary TB). However, in rare conditions, brain, kidney, skin, spinal cord, and central nervous system are also affected. It is an ancient disease whose existence evidences are found in the relics of ancient Egypt, China, and India [1]. TB is a communicable disease and can be spread through air by active pulmonary TB patients that propel the TB bacteria into the atmosphere by spit, cough, or sneezing. An individual needs to breathe in few TB bacteria to become infected. Approximately 10 percent of infected individuals develop active TB disease, while the remaining 90 percent remain in their latent stage. Latently infected individuals do not transmit TB infection as they are asymptomatic. Moreover, individuals with immune compromised diseases (HIV and diabetic patients) are at higher risk of TB infection. The symptoms and signs of active TB include: coughing that lasts for about two weeks, fever, chest pain, weight loss, fatigue, night sweats. TB is a curable infectious disease using drug therapy [2]; however, inappropriate or incomplete treatments can cause a severe resistant form of TB. Although BCG vaccine is available to control TB, its effectiveness to prevent the disease is still controversial, with a reported efficacy rate of 50 percent [3].

In spite of significant work done in TB control and treatment, still one-third of population across the world is latently infected, producing a source for active TB in the future. Globally, in 2018 about 10 million TB new cases were reported, causing more than 1.4 million deaths. Besides this, approximately 1.2 million TB patients died with HIV-negative and 0.25 million people died with HIV-positive in 2018. Most of the deaths were reported in middle and low income countries like India, Nigeria, Indonesia, Pakistan, Philippines, and South Africa. Southeast Asia contributed approximately 44 percent incidence of TB worldwide [4].

Mathematical modeling has a great role in predicting the transmission dynamics and construction of control strategies for a disease. These models also enhance our knowledge about the basic transmission dynamics of the diseases. Distinct models for TB transmission dynamics have been developed [5–9] either to provide strategies for TB spread/control or to evaluate its rampaged effect. In 1962 the first model for TB transmission was formulated by Waaler and Anderson[5]. Okuonghae [9] presented a model to study the impact of heterogeneity in transmission of TB. Yang et al.[10] studied TB transmission models in which they investigated incomplete treatment and studied the role of slow and fast transmission on the TB infection. Zhang and Feng [11] proposed a TB model to study its spread in a host population incorporating incomplete treatment and isolation. Trauera et al. [12] proposed a model investigating the transmission of TB infection in badly endemic areas of Asia-Pacific. They studied the impact of partial and temporary vaccine efficacy. Liu and Zhang [13] developed a TB model to study the role of treatment and vaccination on TB transmission. Their results showed that TB can be controlled if treatment rate or vaccine rate or its efficacy maintain a specific value of threshold.

Keeping the above-mentioned literature and discussion in mind, in our present work we are going to develop a TB transmission model in order to study its dynamics. On the basis of this model the role of efficient treatment and incomplete treatment will be studied. Further, to show the stability of equilibrium states, the Lyapunov–LaSalle method will be used as in [14]. In this connection, the total host population is separated into five disjoint groups, namely susceptible \(S(t)\), exposed stage \(E(t)\), active TB stage \(I(t)\), which is also termed infectious, treated population \(T(t)\), and recovered population \(R(t)\). The parameter *π* shows the recruitment rate which occurs in the susceptible class only. Susceptible individuals acquire the TB infection from infectious individuals as a result of close contact with each other at a rate \(\lambda S(t)(I(t)+\beta T(t))\), where *λ* is the effective contact rate, while \(\beta (0\leq \beta <1)\) shows reduction in infectiousness depending on the stage of treatment. The natural death rate is *η*, while the disease-related death rates are \(\delta _{1}\) and \(\delta _{2}\) respectively for infectious \(I(t)\) and treated \(T(t)\) classes with \(\delta _{1}>\delta _{2}\). *α* expresses the transfer rate from class \(E(t)\) to class \(I(t)\). Parameter *γ* shows the treatment rate for infectious class. The individuals leave the treated class at a rate *θ*, a fraction \(p\theta T\) of which enter the recovered class due to efficient treatment and \((1-p)\theta T\) reenter the exposed class due to incomplete or inappropriate treatment. The parameter *p* (\(0< p\leq 1\)) reflects the part of efficient treatment. It is assumed that at the exposed stage individuals do not cause infection and the treated individuals can cause infection i.e. can transmit the TB infection. The aforementioned assumptions about the transmission model and the transfer process among distinct classes lead to the following system of autonomous differential equations:

To write model (1) in a simple form, we use the following substitutions:

Thus, model (1) will take the form

Initial conditions for the proposed model are \(S_{0}>0\), \(E_{0}\geq 0\), \(I_{0}\geq 0\), \(T_{0}\geq 0\), \(R_{0}\geq 0\) at \(t=0\). For the future study of the topic, we suggest to the readers that they consider the model for the fractional order case. Besides, the existence, stability, and numerical simulations may be obtained with the help of recent development in the subject as given in [15–22].

The current work is organized as follows. Section 2 is for discussion of some fundamental properties of the model. The basic reproduction ratio and stability analysis of the disease-free equilibrium are discussed in Sect. 3. Section 4 is devoted to highlighting the existence, uniqueness, and stability of positive endemic equilibrium. Section 5 is for numerical simulations. Conclusion and discussion of the findings are highlighted in Sect. 6.

## 2 Positivity and boundedness

Since the proposed model in the present research work shows human population, it is essential to disclose that all the state variables are nonnegative. For this purpose, we shall state and prove the result below.

### Theorem 2.1

*The solution of system* (2) *with given initial conditions will always remain nonnegative for* \(t>0\).

### Proof

Suppose \(t_{s}=\sup \{{t>0: S_{0}>0, E_{0}>0,I_{0}>0, T_{0}>0, R_{0}>0 \}}\). The first equation of system (2) is recalled here as follows:

Letting \(\zeta (t)=\lambda (I+\beta T)\) yields

which implies that

hence

Thus, we have

In the same manner it can be disclosed that other variables are also nonnegative for \(t>0\). Hence the required result is obtained. □

Next, for the proposed TB model, we consider a biologically feasible domain \(\Psi \subset \mathbb{R}^{5}_{+}\), where \(\Psi = \{(S(t), E(t), I(t), T(t), R(t))\epsilon \mathbb{R}^{5}_{+}:0 \leq N(t)\leq \frac{\pi }{\eta } \}\).

### Lemma 2.2

*The closed set* Ψ *is positively invariant in* \(\mathbb{R}^{5}_{+}\).

### Proof

From system (2), we have

which implies

It is obvious that \(\frac{dN}{dt}\leq 0\), provided \(N(t)\geq \frac{\pi }{\eta }\), this gives

Clearly, \(N(t)\leq \frac{\pi }{\eta }\) if \(N(0)\leq \frac{\pi }{\eta }\). Moreover, for \(N(0)>\frac{\pi }{\eta }\), then the solutions either enter Ψ in finite time or \(N(t)\) asymptotically approaches \(\frac{\pi }{\eta }\) as \(t\rightarrow \infty \). Hence the required result is obtained. □

Thus, it is meaningful to study the proposed TB model in feasible region Ψ. For the upcoming results, we suggest the readers some recent related results for the stabilities and numerical techniques given in [23–29].

## 3 Stability of disease-free equilibrium (DFE)

The DFE of our proposed TB transmission model can be obtained by taking the right-hand sides of the model equal to zero, and we get the following result:

where \(S_{0}=\frac{\pi }{\eta }\).

Now, to examine the qualitative behavior of model (2), it is necessary to determine a threshold quantity, called basic reproduction ratio \((\Re _{0})\). For this purpose, the next generation operator method [30] is used. For computation of \(\Re _{0}\), the corresponding matrices are as follows:

Using \(\Re _{0}=\rho (\mathfrak{F}\mathfrak{V}^{-1})\), where \(\rho (A)\) is the spectral radius of matrix A, so \(\Re _{0}\) is obtained as follows:

\(\Re _{0}\) shows the average number of newly generated TB infection by a single actively TB patient.

In the case when \(p=1\), there is no inappropriate or incomplete treatment (100 percent efficient treatment). If we replace \(\Re _{0}\) by \(\Re _{01}\) in this case, then

Obviously, \(\Re _{01}<\Re _{0}\), thus incomplete treatment (efficient treatment) causes increase (decrease) in the TB infection.

Next we use Theorem 2 in [30] to present the result below.

### Theorem 3.1

*The DFE* \((\xi )\)*of our proposed model is locally asymptotically stable* (*LAS*) *if* \(\Re _{0}<1\), *but for* \(\Re _{0}>1\)*it is unstable*.

### Proof

The system of equations of model (2) at equilibrium state is

The Jacobian matrix of the above system at DFE state is

A characteristic equation of the above matrix with eigenvalues *μ* is

After performing some simplification, we get

Thus

or

To determine the nature of the eigenvalues in (4), we use the Routh–Hurwitz criteria. To do this, we obtain the characteristic equation of (4)

where

Clearly, \(a_{1}>0\) and \(a_{3}= ( h_{1}h_{2}h_{3}-\alpha \gamma (1-p)\theta ) (1- \Re _{0} )>0\) as \(\Re _{0}<1\), also it is obvious that \(a_{1}a_{2}>a_{3}\).

Therefore the Routh–Hurwitz criterion is satisfied. Hence we have obtained that either all the roots of the characteristic equation are negative or have negative real part. Thus the required result is obtained. □

The biological implication of the above theorem is that TB can be completely controlled when \(\Re _{0}<1\). It is indispensable to disclose that the DFE is globally asymptotically stable (GAS) in order to guarantee that the eradication of TB is independent of the initial size of population. Thus, we obtain the following result.

### Theorem 3.2

*The DFE of model* (2) *is GAS in* Ψ *if* \(\Re _{0}<1\).

### Proof

Assume that

is a Lyapunov function, where \(A_{1}=\alpha h_{3}\), \(A_{2}=h_{1}h_{3}\) and \(A_{3}=\alpha (\lambda \beta S + (1-p)\theta )\).

The derivative of the above Lyapunov function gives

Using the values of *Ė*, *İ*, *Ṫ* in (6), we obtain

Now, taking into account the values of \(A_{1}\), \(A_{2}\), and \(A_{3}\), we get

Thus \(\dot{\Omega }<0\) if \(\Re _{0}< 1\). Therefore the singleton set *ξ* is the largest compact invariant set in Ψ. Thus, by LaSalle’s invariance principle [16], the DFE is GAS in Ψ. □

The above statement indicates that a population can get rid of the TB infection if and only if \(\Re _{0}<1\).

## 4 Endemic equilibrium (EE)

### 4.1 Existence

Let \(\Xi =(S^{*}, E^{*}, I^{*}, T^{*}, R^{*})\) be the EE of model (2). We obtain the expressions for EE of proposed model (2) as given below:

where \(x=\frac{\lambda (h_{3}+\beta \gamma )}{h_{3}}\).

It is obvious that a unique positive EE exists if \(\Re _{0}>1\). The above results are summarized in the lemma given below.

### Lemma 4.1

*The proposed TB model* (2) *has a unique positive EE provided* \(\Re _{0}>1\).

### 4.2 Global stability (GS)

Here, we present an important result regarding the GS of the EE. This result is presented in the form of a theorem stated and proved below.

### Theorem 4.2

*Let* \(\Re _{0}>1\). *Then the EE* \(\Xi =(S^{*}, E^{*}, I^{*}, T^{*}, R^{*})\)*of system* (2) *is GAS*.

### Proof

To show that the EE is GAS, a Lyapunov function as given in [14, 31, 32] is considered here as follows:

here positive constants *A* and *B* are to be evaluated later. Further, the EE \(\Xi =(S^{*}, E^{*}, I^{*}, T^{*}, R^{*})\) satisfies

On differentiating Π, we get

Placing the values of *Ṡ*, *Ė*, *İ*, and *Ṫ*, we get

After simplification, we have

We choose positive constants *A* and *B* such that

The solution of the above equations gives

Now, using the above results in (9), we get

Making use of the second equation in (8) and multiplying \(E^{*}\) to the third equation in (10) yields

Hence, on comparison it follows that

Now, consider a function \(g_{1}(X)\) where \(X=(m_{1}, m_{2}, m_{3}, m_{4})\) and \(m_{1}=\frac{S}{S^{*}}\), \(m_{2}=\frac{E}{E^{*}}\), \(m_{3}=\frac{I}{I^{*}}\), \(m_{4}=\frac{T}{T^{*}}\). Multiplying \(g_{1}(X)\) with the above equation, we obtain

Multiplying *B* to the fourth equation in (8) and \(T^{*}\) to the second equation in (10) yields

Comparing the above equations, we get

Also, consider a function \(g_{2}(X)\), where \(X=(m_{1}, m_{2}, m_{3}, m_{4})\) and \(m_{1}=\frac{S}{S^{*}}\), \(m_{2}=\frac{E}{E^{*}}\), \(m_{3}=\frac{I}{I^{*}}\), \(m_{4}=\frac{T}{T^{*}}\). Multiplying \(g_{2}(X)\) with the above equation, we obtain

On plugging equation (12) and equation (13) into equation (11), we get

Now, we choose the functions \(g_{1}(X)\) and \(g_{2}(X)\) to get zero coefficients of \(E^{*}\) and \(I^{*}\). So we have

Using these values of \(g_{1}(X)\) and \(g_{2}(X)\) along with making use of variables \(m_{1}\), \(m_{2}\), \(m_{3}\), and \(m_{4}\) in (14), we obtain

As

Since, for real numbers \(v_{1}, v_{2}, v_{3}, \ldots, v_{n}\geq 0\), the following inequality holds:

As a special case, when

then

Using the above inequality, we have

Thus from (15) we get

Therefore LaSalle’s invariance principle [33] ensures that EE is GAS provided \(\Re _{0}>1\). Hence the required result is obtained. □

## 5 Numerical simulation

Here, we are going to demonstrate the behavior of the proposed TB infection model through numerical simulation. System (2) is further used to determine the impact of some intervention strategies to control the TB infection from spread. The iterative scheme RK-4 is utilized to solve the system, while the simulation is conducted through the MATLAB software. The parameter values for simulations are either from Ronoh et al. [34] or reasonably chosen estimates. To do this, consider the parametric values as follows:

and the calculated value of \(\Re _{0}\) is

The initial conditions are as follows:

at the initial level not treated or recovered population is considered. Using the above data, the resulting graph is presented in Fig. 1. From this figure, it can be seen that the trajectories of the solutions of model (2) converge to the EE point, this indicates that the disease persists in the host population if \(\Re _{0}>1\), which provides justification to our statement that EE is GAS if \(\Re _{0}>1\).

Moreover, to assess the role of effective contact rate and treatment rate on TB transmission, we decrease the contact rate *λ* and increase the treatment rate *γ*. In this case, the parameter values are as follows:

and the calculated value of \(\Re _{0}\) is

Using the above data with the same initial conditions, we present the resulting graph in Fig. 2. From this figure, it can be seen that the trajectories of the solutions of model (2) converge to the DFE point. This indicates that the disease will die out in the host population if \(\Re _{0}<1\), which provides justification to our statement that DFE is GAS if \(\Re _{0}<1\).

## 6 Conclusions

This paper is focused on the analysis of a mathematical model to assess the TB transmission in a host population. The threshold quantity \(\Re _{0}\) is obtained using the next-generation method. It is shown that there are two possible equilibria of the model, one is DFE which exists and is locally and globally asymptotically stable if \(\Re _{0}<1\), in this case the TB disease dies out. The other is EE which exists and is GAS if \(\Re _{0}>1\), in this case TB becomes endemic. Moreover, it is investigated that incomplete treatment causes increase in the TB infection. The numerical results also show that decrease in the effective contact rate and increase in treatment coverage can minimize the spread of the TB infection.

## References

Morse, D., Brothwell, D.R., Ucko, P.J.: Tuberculosis in ancient Egypt. Am. Rev. Respir. Dis.

**90**, 524–541 (1964)Averting HIV and AIDS: AIDS, HIV and Tuberculosis (TB) (2006). http://www.avert.org/tuber.htm

Colditz, G.A., Brewer, T.F., Berkey, C.S., Wilson, M.E., Burdick, E., Fineberg, H.V., et al.: Efficacy of BCG vaccines in the prevention of tuberculosis. Meta-analysis of the published literature. JAMA

**271**, 698–702 (1994)World, H.: Organization. Global tuberculosis report (2019) https://www.who.int/tb/data

Waaler, H., Geser, A., Andersen, S.: The use of mathematical models in the study of the epidemiology of tuberculosis. Am. J. Public Health Nation’s Health

**52**, 1002–1013 (1962)Aparicio, J.P., Castillo-Chavez, C.: Mathematical modelling of tuberculosis epidemics. Math. Biosci. Eng.

**6**(2), 209–237 (2009)Castillo-Chavez, C., Song, B.: Dynamical models of tuberculosis and their applications. Math. Biosci. Eng.

**1**(2), 361–404 (2004)Feng, Z., Castillo-Chavez, C., Capurro, A.F.: A model for tuberculosis with exogenous reinfection. Theor. Popul. Biol.

**57**(3), 235–247 (2000)Okuonghae, D.: A mathematical model of tuberculosis transmission with heterogeneity in disease susceptibility and progression under a treatment regime for infectious cases. Appl. Math. Model.

**37**(10–11), 6786–6808 (2013)Yang, Y., Li, J., Ma, Z., et al.: Global stability of two models with incomplete treatment for tuberculosis. Chaos Solitons Fractals

**43**, 79–85 (2010)Zhang, Z., Feng, G.: Global stability for a tuberculosis model with isolation and incomplete treatment. Comput. Appl. Math. (2004)

Trauera, J.M., Denholm, J.T., McBryde, E.S.: Construction of a mathematical model for tuberculosis transmission in highly endemic regions of the Asia-Pacific. J. Theor. Biol.

**358**, 74–84 (2014)Liu, J., Zhang, T.: Global stability for tuberculosis model. Math. Comput. Model.

**54**, 836–845 (2011)Guo, H., Li, M.Y.: Global stability in a mathematical model of tuberculosis. Can. Appl. Math. Q.

**14**, 185–197 (2006)Khan, A., Abdeljawad, T., Gomez-Aguilar, J.F., Khan, H.: Dynamical study of fractional order mutualism parasitism food web module. Chaos Solitons Fractals

**134**, 109685 (2020)Khan, A., Gomez-Aguilar, J.F., Abdeljawad, T., Khan, H.: Stability and numerical simulation of a fractional order plant nectar pollinator model. Alex. Eng. J.

**59**, 49–59 (2020)Khan, H., Tunc, C., Khan, A.: Green function’s properties and existence theorems for nonlinear singular-delay-fractional differential equations. Discrete Contin. Dyn. Syst., Ser. S (2020)

Khan, H., Gomez-Aguilar, J.F., Alkhazzan, A., Khan, A.: A fractional order HIV-TB coinfection model with nonsingular Mittag-Leffler law. Math. Methods Appl. Sci.

**46**(6), 3786–3806 (2020)Khan, H., Khan, A., Jarad, F., Shah, A.: Existence and data dependence theorems for solutions of an ABC-fractional order impulsive system. Chaos Solitons Fractals

**131**, 109477 (2020)Khan, A., Khan, H., Gómez-Aguilar, J.F., Abdeljawad, T.: Existence and Hyers-Ulam stability for a nonlinear singular fractional differential equations with Mittag-Leffler kernel. Chaos Solitons Fractals

**127**, 422–427 (2019)Khan, H., Jarad, F., Abdeljawad, T., Khan, A.: A singular ABC-fractional differential equation with

*p*-Laplacian operator. Chaos Solitons Fractals**129**, 56–61 (2019)Khan, A., Gomez-Aguilar, J.F., Khan, T.S., Khan, H.: Stability analysis and numerical solutions of fractional order HIV/AIDS model. Chaos Solitons Fractals

**122**, 119–128 (2019)Panda, S.K., Abdeljawad, T., Ravichandran, C.: A complex valued approach to the solutions of Riemann–Liouville integral, Atangana–Baleanu integral operator and non-linear telegraph equation via fixed point method. Chaos Solitons Fractals

**130**, 109439 (2020)Abdeljawad, T., Hajji, M.A., Al-Mdallal, Q.M., Jarad, F.: Analysis of some generalized ABC-fractional logistic models. Alex. Eng. J. (2020)

Shah, K., Abdeljawad, T., Mahariq, I., Jarad, F.: Qualitative analysis of a mathematical model in the time of COVID-19. BioMed Res. Int.

**2020**, Article ID 5098598 (2020)Tunç, Ç.: New results on the stability and boundedness of nonlinear differential equations of fifth order with multiple deviating arguments. Bull. Malays. Math. Sci. Soc.

**36**(3), 671–682 (2013)Tunç, Ç.: A study of the stability and boundedness of the solutions of nonlinear differential equations of the fifth order. Indian J. Pure Appl. Math.

**33**(4), 519–529 (2002)Atangana, A.: Modelling the spread of COVID-19 with new fractal-fractional operators: can the lockdown save mankind before vaccination? Chaos Solitons Fractals

**136**, 109860 (2020)Tunç, Ç.: A note on the stability and boundedness results of solutions of certain fourth order differential equations. Appl. Math. Comput.

**155**(3), 837–843 (2004)Van den Driessche, P., Watmough, J.: Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission. Math. Biosci.

**180**, 29–48 (2002)Ma, Z., Liu, J., Li, J.: Stability analysis for differential infectivity epidemic models. Nonlinear Anal., Real World Appl.

**4**, 841–856 (2003)McCluskey, C.C.: Lyapunov functions for tuberculosis models with fast and slow progression. Math. Biosci. Eng.

**3**, 513–525 (2006)LaSalle, J.P.: The Stability of Dynamical Systems, vol. 25. SIAM, Philadelphia (1976)

Rono, M., Jaroudi, R., Fosto, P., Kamdoum, V., Mtendechere, N., Wairimu, J., Auma, R., Lugoye, J.: A mathematical model of tuberculosis with drug resistance effects. Appl. Math.

**7**, 1303–1306 (2016)

### Acknowledgements

Not applicable.

### Availability of data and materials

Not applicable.

## Funding

This research was funded by the Deanship of Scientific Research at Princess Nourah bint Abdulrahman University through the Fast-track Research Funding Program and the second author is thankful.

## Author information

### Authors and Affiliations

### Contributions

All the authors have equal contributions in this article. All authors read and approved the final manuscript.

### Corresponding authors

## Ethics declarations

### Competing interests

The authors have no conflict of interests regarding the publication of this paper.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Ullah, I., Ahmad, S., Al-Mdallal, Q. *et al.* Stability analysis of a dynamical model of tuberculosis with incomplete treatment.
*Adv Differ Equ* **2020**, 499 (2020). https://doi.org/10.1186/s13662-020-02950-0

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-020-02950-0

### Keywords

- Tuberculosis
- Deterministic model
- Basic reproduction ratio
- Local stability
- Global stability
- Lyapunov function