Computational and Mathematical Methods in Medicine
Volume 2019 (2019), Article ID 5409180, 8 pages
https://doi.org/10.1155/2019/5409180

Research Article

Numerical Study on Stochastic Diabetes Mellitus Model with Additive Noise

Zhifang Zhang,¹ Qingyi Zhan,² and Xiangdong Xie³

¹Fujian Center for Disease Control and Prevention, Fuzhou, Fujian 350002, China
²College of Computer and Information Science, Fujian Agriculture and Forestry University, Fuzhou 350002, China
³Department of Mathematics, Ningde Normal University, Ningde, Fujian 352100, China

Correspondence should be addressed to Zhifang Zhang; zhangzf1981@163.com and Qingyi Zhan; zhan2017@fafu.edu.cn

Received 31 October 2018; Accepted 26 February 2019; Published 10 June 2019

Academic Editor: Esmaeil Ebrahimie

Copyright © 2019 Zhifang Zhang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

This article focuses on the numerical analysis and simulation of the stochastic diabetes mellitus model with additive noise. The existence and uniqueness theorem of the solution under some appropriate assumptions is established. And, the mean square stability and convergence of numerical solutions are proposed, too. The practical use of these theorems is demonstrated in the numerical computations of the stochastic diabetes mellitus model and the value for the forecast of the tendency of diabetes mellitus in a given time.

1. Introduction

At present, with the development of the society and the increment of the economy, diabetes mellitus is becoming more and more popular in the world. In fact, diabetes mellitus is the name given to a group of different conditions in which there is not the right amount of insulin to stabilize the amount of sugar in the body. As we know, there exist two forms of diabetes mellitus. Type I diabetes mellitus, which depends on insulin, most often occurs in young people, while type II diabetes mellitus, which does not depend on insulin, usually develops in the aged.

It is well known that there are many finished works which utilize two methods to investigate the diabetes mellitus in the view of mathematical model. One pays attention to microscopic action of the nosogenesis of diabetes mellitus and forms many mathematical models such as ordinary differential equations and partial differential equation (refer [1] and the references therein). Another takes account of the macroscopic case of the size of population of diabetes mellitus in a given time. This leads to insight into the control of diabetes mellitus, and with the current alarming increase in the incidence of the disease of a given considered region, this area has gained increased interest and importance.

However, due to many uncertainties or random influences, where these uncertainties come from the influence of diet, physical activity level, and the age dynamical distribution of population, noises should be taken into account. The existing deterministic mathematical models of diabetes mellitus [2] need to be revised so that it can simulate the fact more really. Therefore, we expand it to the case of stochastic differential equations (SDEs), whose applications describe many natural phenomena in meteorology, biology, and so on [3, 4]. As far as we know, till now, there has been little investigation of the diabetes mellitus mathematical model in the view of SDEs in the literature. Stochastic numerical analysis is still an interesting method of studying epidemic disease tendency of diabetes mellitus.

The main motivations of this work are twofold. On one side of the coin, the classical results about the deterministic mathematical model of diabetes mellitus are the base of this research. A variety of mathematical models have been used for different aspects of diabetes mellitus, and many important results, which can reveal the facts of diabetes mellitus, are obtained (refer [2, 5–9] and the references therein). On the other hand, it has been attracted by some random phenomena which often appear in the population dynamics of diabetes mellitus. These need numerical simulations to direct the control policy of diabetes mellitus. Furthermore, it is the fact that there exists our earlier work [10, 11] on stability analysis and numerical simulation of SDEs. For example, there are some work on numerical analysis of SDEs [11–15] and numerical simulation of SDEs [10]. These carry out the foundation of numerical analysis [16].

In this work, we first prove the existence and uniqueness theorem of the solution of the stochastic diabetes mellitus model under some assumptions. Then, the mean square stability and convergence are proposed. And, numerical examples are shown to illustrate the possibility of the stochastic mathematical model of diabetes mellitus and the value in the forecast of the tendency of diabetes mellitus in a given time. These results show that, under some appropriate conditions, SDEs can simulate the epidemic disease tendency of diabetes mellitus more accurately, whose value can be well estimated by the numerical approximative solution.

A more detailed outline of this paper is as follows. Section 2 shows some relevant concepts and norms which will be utilized later. Section 3 is devoted to the theoretical analysis of the stochastic diabetes mellitus model, that is, the existence of the solution, mean square stability, and convergence. Section 4 presents numerical experiments of the stochastic diabetes mellitus model in some given areas. Illustrative numerical results for the main theorem are included. Section 5 is addressed to the conclusions of this article.

2. Preliminaries

2.1. Generated Differential Equation Model

Here, we consider a stochastic model which can describe the dynamic behaviour of diabetes mellitus.

Let be a canonical Wiener space, be its natural normal filtration, and be a standard one-dimensional Brownian motion defined on the space . We assume that endowed with the compact-open topology. In the realization, , where , which means that the elements of can be identified with the paths of the Wiener process. Based on the conclusions of deterministic ordinary differential equations about diabetes mellitus in [1, 2], we consider a class of Itô SDEs in the form of

where ; the quantity of diabetes mellitus which has complications in a special research region at time t is written as , and ; is on behalf of the scale of the population which has diabetes mellitus in a special research region at time t, namely, . Here, presents the quantity of diabetes mellitus which has no complications in a special research region at time t; the morbidity of diabetes mellitus in a special research region at time t is represented as ; stands for the mortality rate, the chance of a diabetes mellitus person who is developing a complication is written as , the proportion whose complications are mended is shown as , the parameter presents the rate at which diabetic patients with complication become severely disable, the parameter shows the mortality rate due to complications, denotes the sum of the above parameters, and are functions with respect to t, which denote the uncertain influences [2].

2.2. Basic Notations and Assumptions

We make use of the following notations which is similar to [11]:

(i)Let be the space of all square-integrable random variables .(ii)The norm of a random variable is defined as

(iii)The norm of a stochastic process is defined as where and .(iv)We define the norm of random matrix where A is a random matrix and is the operator norm.(v)Unless otherwise stated, the norms and are usually denoted as in sequels.

In this paper, we also make the following assumptions which are used for the theoretical analysis [11].

Hypothesis 2.1.

(i)The initial values and are bounded; that is,

 for (ii)Assume that the function is continuous, measurable function and the function is continuous, too(iii)The functions λ and θ are globally bounded with respect to t. That is, there exists a positive constant J such that

 holds for (iv)The functions and are globally bounded. That is, there exists a constant such that

 holds for

2.3. Equivalent Form

SDE (1) can be rewritten in the matrix-vector form as follows:

where

We define

and By the conclusions in [3], SDE (1) generates a stochastic flow when the solution of SDE (1) exists uniquely, which is usually written as on the metric dynamical systems . The stochastic flow φ is given by

3. Theoretical Results

3.1. Existence of Equation (1)’s Solutions

The following result guarantees the existence of solutions for SDEs and is a direct consequence of Theorem 3.2.4 in [17].

Lemma 3.1. Suppose that and are continuous and satisfy the following conditions for some constant L:

(i) for all and (ii) for all and (iii)Let be any -valued random variable such that and is independent of

Then, there exists a unique solution of the stochastic differential equation:

By the conclusions of Lemmas 3.1, we obtain the following theorem:

Theorem 3.2. Suppose that SDE (1) satisfies Hypothesis 2.1 and the initial conditions are given in Section 2.1.
Then, SDE (1) has a uniqueness solution for all .

Proof. In order to utilize Lemma 3.1 to this problem, we only need to check that the conditions of this theorem satisfy its three hypotheses.
First and foremost, Hypothesis (iii) obviously holds.
Secondly, by the assumptions of SDE (1), we obtain that

where

It follows from the definition of random matrix and Hypothesis 2.1(ii) that we obtain

where

By the similar way, we can prove that

It follows from the definition of random matrix and Hypothesis 2.1 (iii) that we obtain

This completes the check of the first hypothesis. Last but not least, it follows from Hypothesis 2.1 (iv) that

By the same way, we can obtain that

This completes the check of the second hypothesis.
Therefore, the conclusion of Theorem 3.2 follows from Lemma 3.1. The proof is finished.

3.2. Mean-Square Asymptotical Stability

In this section, we investigate the mean-square uniformly asymptotic stability of the solution of SDE (1). The pullback method is a powerful tool to the proof of uniformly asymptotic stability. To be precise, let us introduce some related definition [18].

Definition 3.1. The solution of SDE (1) is said to be mean-square asymptotically stable if, for any given , every other solution of SDE (1) satisfies

for any bounded -measurable bounded initial values and , respectively, where .

Theorem 3.3. Assume that for any initial values and , the coefficients of SDE (1) satisfy Theorem 3.2, then the solution of SDE (1) is mean-square asymptotically stable.

Proof. First and foremost, let be another solution of SDE (1) and be an arbitrary constant. If , it follows from (9) and the method which is used to estimate [10] that

It follows from the Cauchy–Schwarz inequality and the Lipschitz condition of the function b that we have

The Itô isometry and the global Lipschitz condition of the function B imply that

By the Gronwall inequality, there exists a number such that

where

Therefore, by the fact that as , we obtain that

Then, by Definition 3.1, it is mean-square asymptotically stable.
This completes the proof.

3.3. Mean-Square Convergence

The finite time interval is divided into N subintervals with the length . The exact solution of SDE (1) in has the form

The Euler–Maruyama scheme is applied to SDE (6), and we have the following form

where and .

The Milstein scheme is applied to SDE (6), and we have the following form

The following result shows that the numerical approximation to the solution of SDE (1) is mean-square convergent to the exact solution of SDE (1) under some conditions.

Theorem 3.4. Assume that, for any initial value , the coefficients of SDE (1) satisfy Theorem 3.3; then, the numerical approximation to the solution of SDE (1) by Euler–Maruyama scheme and Milstein scheme is mean-square convergent, and the convergence order is 0.5.

Proof. We are interested in the mean square convergence to zero of the error

where denotes the theoretical solution of SDE (1) at the time . From the expression of , we obtain

Then, it implies that

where

We notice from the Cauchy–Schwarz inequality and the global Lipschitz condition of function b that we can obtain

Then, the Itô isometry and the global Lipschitz condition of the function B imply that

It follows from the Gronwall inequality that there exists a number such that

where

By the fact that tends to zero as , that is,

we obtain

Therefore, it is mean-square convergent, and the convergence order is 0.5. We have established the theorem.

4. Numerical Experiments

4.1. Experimental Preparation

Based on the sampling statistical data from Fujian Province, PR China, shown in Table 1, we consider the following stochastic differential equations of diabetes mellitus:

That is,

which are obtained by the fitting method in a one-dimensional space of real numbers. And, due to the randomness of sampling data and the periodic property of the considered noise, the sine and cosine functions are used to control the intensity of the added noise.

Table 1: Sampling statistical data from Fujian Province, PR China, in five years (2012–2016).

2012
0.0211
0.0089
0.0573
0.00526
0.00191

2013
0.0401
0.0101
0.1010
0.00611
0.00081

2014
0.0612
0.0293
0.1536
0.00650
0.00118

2015
0.0812
0.0387
0.2006
0.00706
0.00157

2016
0.0991
0.0591
0.2436
0.00664
0.00198

It follows from Theorem 3.2 that there exist solutions of SDE (43). As shown in [10], in order to obtain the Brownian trajectory, we can construct the positive time path and reflect it against point zero. We select the meshes as follows [14, 19]:

Brownian trajectories are generated by the following method:

where

Utilizing Theorem 3.2 and the one-step numerical scheme (EM scheme [19]) to solve SDE (43) with the initial value , we obtain

Then, we obtain a numerically computed solution of SDE (43).

And, we obtain the graphs for numerical approximations to the solutions in the time interval as shown in Figure 1.

(a)

(b)

Figure 1: Numerical solutions and with corresponding different starting points and and .

As we see, there exist random phenomena with different starting points and at time . And, it shows the fact that the numerical results can match the reality very well, where the reality means the real statistic data of diabetes mellitus in Fujian Province, PR China.

4.2. Numerical Results

To begin with, in order to check the convergence of numerical approximations, we plot the curves from different starting points at the time in the same graph. In Figures 2 and 3, their starting points are and , respectively. As time goes on, the trajectories tend to be more and more close and the difference of two numerical solutions becomes zero, too. This presents the fact that whatever starting points we select, two numerical solutions arrive at the same trajectory when time goes forward. That is to say, the solution of SDE (49) is a stochastic process which is different for every . These confirm the fact that the numerical results are close to the epidemic disease tendency of diabetes mellitus in Fujian Province, PR China.

(a)

(b)

Figure 2: Convergence of the numerical solution with different starting points.

(a)

(b)

Figure 3: Convergence of the numerical solution with different starting points.

Secondly, to check the stability of the true solution, we plot the curves from different starting points at time in the same graph in a long time, such as 40 years. As we see from Figures 4 and 5, the starting points are , , and , respectively. As time progresses, the trajectories become close in a given small neighbourhood of one orbit. This also reflects the fact that if the starting points we choose are in a given region, as we move forward in time, numerical solutions arrive at the tolerant neighbourhood of one orbit which depend on different . In other words, the solution of SDE (49) is not sensitive to the change of the initial value.

Figure 4: Stability of the numerical solution in 40 years.

Figure 5: Stability of the numerical solution in 40 years.

4.3. Control Policy and Its Practical Use

As we can see, the graph of shows that the total number of diabetes mellitus oscillates at the beginning and increases later. However, the graph of shows that the number of diabetes mellitus with complication decreases at first and then increases, too. Moreover, Figures 4 and 5 also present the fact that and both can exist random periodic phenomenon with the period of approximately 10 years. Therefore, efforts should be taken to move the situation out of the current endemic case. That is, we need to employ proper measure, such as nutrition supplement, gene therapy, physical activity and health education, and the number of incidence of diabetes mellitus will not exacerbate at least.

5. Conclusion

The main result of this article is the numerical simulation of stochastic diabetes mellitus model. The results show that the methods are effective and the numerical results can match the results of theoretical analysis and reality. Although some progresses are made, more simple and practical models and methods will be shown in our future work.

Data Availability

The data used to support the findings of this study is real and reliable.

Conflicts of Interest

The authors declare that they have conflicts of interest. The funding did not lead to any conflicts of interest regarding the publication of this manuscript. And, there are no other possible conflicts of interest in the manuscript.

Acknowledgments

This work was supported by the Science Research Projection of the Education Department of Fujian Province (No. JT180122), the Natural Science Foundation of Fujian Province (No. 2015J01019), and the Education Reform Fund of Fujian Agriculture and Forestry University (No. 111418136).

References

A. Makroglou, J. Li, and Y. Kuang, “Mathematical models and software tools for the glucose-insulin regulatory system and diabetes: an overview,” Applied Numerical Mathematics, vol. 56, no. 3-4, pp. 559–573, 2006.

A. I. Enagi, M. Bawa, and A. M. Sani, “Mathematical study of diabetes and its complication using the homotopy perturbation method,” International Journal of Mathematics and Computer Science, vol. 12, no. 1, pp. 43–63, 2017.

L. Arnold, Random Dynamical Systems, Springer, Berlin, Germany, 2nd edition, 2003.

X. Xie and Q. Zhan, “Uniqueness of limit cycles for a class of cubic system with an invariant straight line,” Nonlinear Analysis: Theory, Methods & Applications, vol. 70, no. 12, pp. 4217–4225, 2009.

S. Bernard, S. P. Nuiro, and A. Pietrus, “Diabetes, complications and limit cycles,” Applied Mathematics E-Notes, vol. 15, pp. 197–206, 2015.

W. Boutayeb, M. Lamlili, A. Boutayeb, and M. Derouich, “A simulation model for the dynamics of a population of diabetics with and without complications using optimal control,” in Lecture Notes in Computer Science, pp. 589–598, Springer, Berlin, Germany, 2015.

A. Boutayeb, E. Twizell, K. Achouayb, and A. Chetouani, “A mathematical model for the burden of diabetes and its complications,” BioMedical Engineering Online, vol. 3, no. 1, p. 20, 2004.

A. P. Jones, J. B. Homer, D. L. Murphy, J. D. K. Essien, B. Milstein, and D. A. Seville, “Understanding Diabetes population dynamics through simulation modeling and experimentation,” American Journal of Public Health, vol. 96, no. 3, pp. 488–494, 2006.

M. Javanbakht, A. Mashayekhi, H. R. Baradaran, A. A. Haghdoost, and A. Afshin, “Projection of diabetes population size and associated economic burden through 2030 in Iran: evidence from micro-simulation Markov model and Bayesian meta-analysis,” PLoS One, vol. 10, no. 7, Article ID e0132505, 2015.

Q. Zhan, “Mean-square numerical approximations to random periodic solutions of stochasatic differential equations,” Advances in Difference Equations, vol. 2015, no. 1, p. 17, 2015.

Q. Zhan, “Shadowing orbits of a class of random differential equations,” Applied Numerical Mathematics, vol. 136, pp. 206–214, 2019.

C. Feng, H. Zhao, and B. Zhou, “Pathwise random periodic solutions of stochastic differential equations,” Journal of Differential Equations, vol. 251, no. 1, pp. 119–149, 2011.

Y. Li, B. Zdzislaw, and J. Zhou, “Conceptual analysis and random attractor for dissipative random dynamical systems,” Acta Mathematica Scientia, vol. 28, no. 2, pp. 253–268, 2008.

P. Wang, “A-stable Runge-Kutta methods for stiff stochastic differential equations with multiplicative noise,” Computational and Applied Mathematics, vol. 34, no. 2, pp. 773–792, 2015.

T. Wang, “Optimal point-wise error estimate of a compact difference scheme for the coupled Gross-Pitaevskii equations in one dimension,” Journal of Scientific Computing, vol. 59, no. 1, pp. 158–186, 2014.

Q. Zhan, X. Xie, and Z. Zhang, “Stability results of a class of differential equations and application in medicine,” Abstract and Applied Analysis, vol. 2009, pp. 1–8, 2009.

X. Mao, Stochastic Differential Equations and Applications, Horwood, Sawston, Cambridge, UK, 2nd edition, 2008.

R. Khasminskii, Stochastic Stability of Differential Equations, Springer, Berlin, Germany, 2nd edition, 2011.

G. Milstein, Numerical Integration of Stochastic Differential Equations, Kluwer Academic Publishers, Norwell, MA, USA, 1995.