Numerical Study on Stochastic Diabetes Mellitus Model with Additive Noise

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.


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. is 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. e existing deterministic mathematical models of diabetes mellitus [2] need to be revised so that it can simulate the fact more really. erefore, 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. e 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][6][7][8][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. ese 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][12][13][14][15] and numerical simulation of SDEs [10]. ese 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. en, 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. ese 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.

Generated Differential Equation Model
. Here, we consider a stochastic model which can describe the dynamic behaviour of diabetes mellitus.
Let (Ω, F, P) be a canonical Wiener space, F t t∈R + be its natural normal filtration, and W(t)(t ∈ R + ) be a standard one-dimensional Brownian motion defined on the space (Ω, F, P). We assume that Ω ≔ ω ∈ C(R + , R) : ω(0) � 0 { } endowed with the compact-open topology. In the realization, W t (ω) ≔ ω(t), 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 t ∈ R + ; the quantity of diabetes mellitus which has complications in a special research region at time t is written as C(t)(C(t) ∈ R + ), and C(0) � C 0 ; N(t) is on behalf of the scale of the population which has diabetes mellitus in a special research region at time t, namely, N(t) � C(t) + D(t). Here, D(t)(D(t) ∈ R + ) 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 I(t); μ(t) stands for the mortality rate, the chance of a diabetes mellitus person who is developing a complication is written as λ(t), the proportion whose complications are mended is shown as c(t), the parameter ](t) presents the rate at which diabetic patients with complication become severely disable, the parameter δ(t) shows the mortality rate due to complications, θ(t) ≔ c(t) + μ(t) + ](t) + δ(t) denotes the sum of the above parameters, and g 1 (t) and g 2 (t) are functions with respect to t, which denote the uncertain influences [2].

Basic Notations and Assumptions.
We make use of the following notations which is similar to [11]: where A is a random matrix and | · | is the operator norm. (v) Unless otherwise stated, the norms ‖ · ‖ 2 and ‖ · ‖ L 2 (Ω,P) 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) e initial values C 0 and D 0 are bounded; that is, for K 1 > 0 (ii) Assume that the function λ : R ⟶ R is continuous, measurable function and the function θ : R ⟶ R is continuous, too (iii) e functions λ and θ are globally bounded with respect to t. at is, there exists a positive constant J such that holds for t ∈ R + (iv) e functions g 1 (t) and g 2 (t) are globally bounded.
at is, there exists a constant K 2 > 0 such that 2 Computational and Mathematical Methods in Medicine (1) can be rewritten in the matrix-vector form as follows: where and Δ ≔ (s, t) ∈ R 2 , s ≤ t . By the conclusions in [3], SDE (1) generates a stochastic flow φ : Δ × R 2 × Ω ⟶ R 2 when the solution of SDE (1) exists uniquely, which is usually written as φ(s, t, x 0 , ω) ≔ φ(s, t, ω)x 0 on the metric dynamical systems (Ω, F, P, θ t ). e stochastic flow φ is given by

Existence of Equation (1)'s Solutions.
e following result guarantees the existence of solutions for SDEs and is a direct consequence of eorem 3.2.4 in [17].
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. en, SDE (1) has a uniqueness solution
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

Computational and Mathematical Methods in Medicine
By the similar way, we can prove that It follows from the definition of random matrix and Hypothesis 2.1 (iii) that we obtain is 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 is completes the check of the second hypothesis. erefore, the conclusion of eorem 3.2 follows from Lemma 3.1. e proof is finished. In this section, we investigate the mean-square uniformly asymptotic stability of the solution φ(s, t, ω)X 0 of SDE (1). e pullback method is a powerful tool to the proof of uniformly asymptotic stability. To be precise, let us introduce some related definition [18].
Proof. First and foremost, let φ(t − τ, t, θ −τ ω)X 0 be another solution of SDE (1) and ϵ > 0 be an arbitrary constant. If ‖X 0 − X 0 ‖ ≤ ϵ, 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 e Itô isometry and the global Lipschitz condition of the function B imply that By the Gronwall inequality, there exists a number M 1 such that where erefore, by the fact that M 1 ⟶ 0 as τ ⟶ −∞, we obtain that en, by Definition 3.1, it is mean-square asymptotically stable.
is completes the proof. Computational and Mathematical Methods in Medicine e Euler-Maruyama scheme is applied to SDE (6), and we have the following form where t k � kΔt, k � 0, 1, 2, . . . , N and ΔW k � W k+1 − W k . e Milstein scheme is applied to SDE (6), and we have the following form e following result shows that the numerical approximation X k 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 X 0 ∈ L 2 (Ω, P), the coefficients of SDE (1) satisfy eorem 3.3; then, the numerical approximation X k 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 X(t k , ω) denotes the theoretical solution of SDE (1) at the time t k . From the expression of X(t, ω), we obtain en, it implies that where We notice from the Cauchy-Schwarz inequality and the global Lipschitz condition of function b that we can obtain en, 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 M 2 such that where By the fact that M 2 tends to zero as Δt k ⟶ 0, that is, we obtain erefore, it is mean-square convergent, and the convergence order is 0.5. We have established the theorem. □

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: at 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. It follows from eorem 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]: Computational and Mathematical Methods in Medicine t � 500, Brownian trajectories are generated by the following method: where Utilizing eorem 3.2 and the one-step numerical scheme (EM scheme [19]) to solve SDE (43) with the initial value X 0 , we obtain en, we obtain a numerically computed solution of SDE (43).
And, we obtain the graphs for numerical approximations to the solutions in the time interval [0, 500] as shown in Figure 1.
As we see, there exist random phenomena with different starting points X 0 � 0.65 and X 0 � 0.1 at time t � 0. 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.

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 t � 0 in the same graph. In Figures 2 and 3, their starting points (X 0 , Y 0 ) are (0.70, 0.10) and (0.65, 0.11), respectively. As time goes on, the trajectories tend to be more and more close and the difference of two numerical solutions becomes zero, too.
is presents the fact that whatever starting points we select, two numerical solutions arrive at the same trajectory when time goes forward. at is to say, the solution of SDE (49) is a stochastic process which is different for every ω ∈ Ω. ese confirm the fact that the numerical results are close to the epidemic disease tendency of diabetes mellitus in Fujian Province, PR China.
Secondly, to check the stability of the true solution, we plot the curves from different starting points at time t � 0 in the same graph in a long time, such as 40 years. As we see from Figures 4 and 5, the starting points (X 0 , Y 0 ) are (0.70, 0.10), (0.65, 0.11), and (0.79, 0.09), respectively. As time progresses, the trajectories become close in a given small neighbourhood of one orbit. is 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.

Control Policy and Its Practical Use.
As we can see, the graph of N(t) shows that the total number of diabetes  mellitus oscillates at the beginning and increases later. However, the graph of C(t) 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 N(t) and C(t) both can exist random periodic phenomenon with the period of approximately 10 years. erefore, efforts should be taken to move the situation out of the current endemic case. at 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.

Conclusion
e main result of this article is the numerical simulation of stochastic diabetes mellitus model. e 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
e data used to support the findings of this study is real and reliable.

Computational and Mathematical Methods in Medicine
Conflicts of Interest e authors declare that they have conflicts of interest. e 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.