The Solution of Modified Fractional Bergman’s Minimal Blood Glucose-Insulin Model

Abstract

In the present paper, we use analytical techniques to solve fractional nonlinear differential equations systems that arise in Bergman’s minimal model, used to describe blood glucose and insulin metabolism, after intravenous tolerance testing. We also discuss the stability and uniqueness of the solution.

1. Introduction

Mathematical modeling is a very important branch of applied mathematics. By using this approach, we can convert a real world problem into a mathematical module and then analyze it in a better manner. In the 1990s when researchers were faced with the blood or blood’s constituent dynamical transport phenomena, they used classical theory to describe these processes [1,2,3]. After that, many researchers conducted research in that direction to remove the complexity of this phenomenon [1,2,3,4,5,6,7].

Regarding research modules , one of the most important modules is Bergman’s minimal model [4,5,6]. In this model, a body is described as a compartment with a basal concentration of glucose and insulin. Bergman’s minimal model has two variations. the first describes glucose kinetics, and the second describes insulin kinetics. The two models have mostly been used to understand the kinetics during IVGTT test (Glucose Tolerance Test) [7,8].

In applied mathematics, one of the most used concepts is the derivative. Derivatives show the rate of change of a function. This is helpful to describe many real phenomena. After this research, mathematicians faced some complex problems of the real world; to solve them, mathematicians introduced the fractional derivative [9,10,11,12,13]. The concept of fractional calculus has great importance in many branches and is also important for modeling real world problems [14,15,16,17].

For this reason, many researchers have engaged in a great amount of research work, conferences, and paper publications. Various definitions of fractional derivatives have been given to date. Recently, researchers have described a new fractional derivative operator named the Caputo–Fabrizio fractional derivative [18,19,20,21]. In this paper, we use this operator to describe the Bergman’s minimal glucose-insulin model and solve it by the iterative technique.

2. The Caputo–Fabrizio Fractional Order Derivative

Singularity at the end point of the interval is the main problem that is faced with the definition of the fractional order derivative. To avoid this problem, Caputo and Fabrizio recently proposed a new fractional order derivative that does not have any singularity. The novel fractional derivative given by Caputo and Fabrizio is more suitable to describe the rate of change in concentration of the model because its kernel is non-local and non-singular. The definition is based on the convolution of a first-order derivative and the exponential function, given in the following definition:

Definition 1.

Let $f\in H^1(a,b),b>a,\alpha \in [0,1]$. Then, the new fractional order Caputo derivative is defined as:

$$D_t^{\alpha }\left(\mathrm{f}(\mathrm{t})\right)=\frac{M(\alpha )}{\left(1-\alpha \right)}{\int }_a^t{\mathrm{f}}^{\prime }\left(x\right)e^{\left[-\alpha \frac{t-x}{1-\alpha }\right]}\mathrm{dx}.$$

(1)

Here $M(\alpha )$ denotes the normalization function such that $M(0)=M(1)=1;$for detail, see [18]. If the function does not belong to $H^1(a,b)$, then the derivative can be written as

$$D_t^{\alpha }\left(\mathrm{f}(\mathrm{t})\right)=\frac{\alpha M(\alpha )}{\left(1-\alpha \right)}{\int }_a^t\left(\mathrm{f}\left(t\right)-\mathrm{f}\left(x\right)\right)e^{\left[-\alpha \frac{t-x}{1-\alpha }\right]}\mathrm{dx}.$$

(2)

Remark 1.

The authors state that if $\sigma =\frac{1-\alpha }{\alpha }\in [0,\infty ),\alpha =\frac{1}{1+\sigma }\in [0,1],$ then Equation (2) reduces to

$$D_t^{\alpha }\left(\mathrm{f}(\mathrm{t})\right)=\frac{N(\sigma )}{\sigma }{\int }_a^t{\mathrm{f}}^{\prime }\left(x\right)e^{\left[-\frac{t-x}{\sigma }\right]}\mathrm{dx},N(0)=N(\infty )=1$$

(3)

and

$$\underset{\sigma \to 0}{lim}\frac{1}{\sigma }{e}^{\left[-\frac{t-x}{1-\alpha }\right]}=\delta (x-t).$$

(4)

As we have defined a new derivative above, then there should be its anti-derivative; the integral of this new fractional derivative is given by Losada and Nieto [19].

Definition 2.

The fractional integral of order $\alpha \left(0<\alpha <1\right)$ of the function f is defined below:

$$I_{\alpha }^t\left(f(t)\right)=\frac{2\left(1-\alpha \right)}{\left(2-\alpha \right)M\left(\alpha \right)}f\left(t\right)+\frac{2\alpha }{\left(2-\alpha \right)M\left(\alpha \right)}{\int }_0^{t}f(s)ds,t\ge 0.$$

(5)

Remark 2.

It is clear from Equation (5) that the fractional integral of order $\alpha \left(0<\alpha <1\right)$ is an average of function f and its integral of order 1. Hence we get the condition [19]:

$$\frac{2\left(1-\alpha \right)}{\left(2-\alpha \right)M\left(\alpha \right)}+\frac{2\alpha }{\left(2-\alpha \right)M\left(\alpha \right)}=1,$$

(6)

the above term yields an explicit formula,

$$M\left(\alpha \right)=\frac{2}{\left(2-\alpha \right)},0<\alpha <1.$$

(7)

Due to the above relation, Nieto and Losada [19] anticipated that the new Caputo derivative of order $0<\alpha <1$could be written as:

$${}_0^{CF}{D}_t^{\alpha }\left(\mathrm{f}(\mathrm{t})\right)=\frac{1}{\left(1-\alpha \right)}{\int }_a^t{\mathrm{f}}^{\prime }\left(x\right)e^{\left[-\alpha \frac{t-x}{1-\alpha }\right]}\mathrm{dx}.$$

(8)

Theorem 1.

Here $f(t)$ denotes the normalization function such as

$$f^{\left(s\right)}(a)=0,s=1,2,\dots ,n$$

(9)

then, we have

$$D_t^{\alpha }\left(D_t^n\left(f\left(t\right)\right)\right)=D_t^n\left(D_t^{\alpha }\left(f\left(t\right)\right)\right)$$

(10)

For more detail see [18,19].

3. Bergman’s Minimal Model Fractional Module

The minimal model of the glucose insulin kinetics has been proposed to describe the time course of these concentrations. We will use the standard formulation of the minimal model represented by the following system of differential equations:

$$\left.\begin{array}{c}{}_0^{CF}{D}_t^{\alpha }\left(G(t)\right)=-\left(p_1+X(t)\right)G(t)+p_1{G}_b,0<\alpha <1\hfill \\ {}_0^{CF}{D}_t^{\beta }\left(X(t)\right)=-p_{2}X(t)+p_3\left(I(t)-I_b\right),0<\beta <1\hfill \\ {}_0^{CF}{D}_t^{\gamma }\left(I(t)\right)=p_6{\left[G(t)-p_5\right]}^{+}t-p_4\left(I(t)-I_b\right),0<\gamma <1\hfill \end{array}\right\}$$

(11)

subject to initial conditions,

$$G\left(0\right)=G_0,X\left(0\right)=X_0,I\left(0\right)=I_0$$

(12)

The parameters for the minimal model (11) are given in

Table 1. Parameter used in minimal model (11).

Parameter	Unit	Description
G(t)	(mg/dL)	Blood glucose concentration
X(t)	(1/min)	The effect of active insulin
I(t)	(mU/L)	Blood insulin concentration
$G_b$	(mg/dL)	Basal blood glucose concentration
$I_b$	(mU/L)	Basal blood insulin concentration
$p_1$	(1/min)	Insulin-independent glucose clearance rate
$p_2$	(1/min)	Active insulin clearance rate (upt. decrease)
$p_3$	(L/(min2·mU))	Increase in uptake ability caused by insulin
$p_4$	(1/min)	Decay rate of blood insulin
$p_5$	(mg/dL)	The target glucose level
$p_6$	(mUdL/L·mg·min)	Pancreatic release rate after glucose bolus

.

This model can be used to describe the pancreas as the source of insulin. In a healthy individual, a small amount of insulin is always created and cleared [4]. This helps to keep the basal concentration $I_b$. The glucose-independent production and clearance of insulin is proportional to the blood insulin concentration. If the insulin level is above basal concentration, clearance increases. On the other hand, if the insulin level is below basal concentration, production increases. When the glucose level gets high, the pancreas reacts by releasing more insulin at a given rate. To explain this mathematically, one has to derive a function describing the reaction of the pancreas. This function was derived by Bergman et al. and adjusted by Gaetano et al. [7,8] to become Pancreas(t) $={\left[G(t)-p_5\right]}^{+}t,$ where ${\left[G(t)-p_5\right]}^{+}=$ max ($\left[G(t)-p_5\right]$, 0).

4. Existence of the Coupled Solutions

By using the Fixed-Point theorem, we define the existence of the solution. First, transform Equation (11) into an integral equation as follows:

$$G\left(t\right)-G\left(0\right)={}_0^{CF}{I}_t^{\alpha }\left[-\left(p_1+X(t)\right)G(t)+p_1{G}_b\right],$$

(13)

$$X(t)-X\left(0\right)={}_0^{CF}{I}_t^{\beta }\left[-p_{2}X(t)+p_3\left(I(t)-I_b\right)\right],$$

(14)

$$I(t)-I(0)={}_0^{CF}{I}_t^{\beta }\left[p_6{\left[G(t)-p_5\right]}^{+}t-p_4\left(I(t)-I_b\right)\right],$$

(15)

on using the definition defined by Nieto, we get

$$\begin{array}{c}G\left(t\right)=G\left(0\right)+\frac{2(1-\alpha )}{(2-\alpha )M(\alpha )}\left\{-\left(p_1+X(t)\right)G(t)+p_1{G}_b\right\}\hfill \\ +\frac{2\alpha }{(2-\alpha )M(\alpha )}{\int }_0^t\left[-\left(p_1+X(s)\right)G(s)+p_1{G}_b\right]ds,\hfill \end{array}$$

(16)

and

$$\begin{array}{c}X(t)=X\left(0\right)+\frac{2(1-\beta )}{(2-\beta )M(\beta )}\left[-p_{2}X(t)+p_3\left(I(t)-I_b\right)\right]\hfill \\ +\frac{2\beta }{(2-\beta )M(\beta )}{\int }_0^t\left[-p_{2}X(s)+p_3\left(I(s)-I_b\right)\right]ds,\hfill \end{array}$$

(17)

we also have

$$\begin{array}{c}I(t)=I\left(0\right)+\frac{2(1-\gamma )}{(2-\gamma )M(\gamma )}\left[p_6{\left[G(t)-p_5\right]}^{+}t-p_4\left(I(t)-I_b\right)\right]\hfill \\ +\frac{2\gamma }{(2-\gamma )M(\gamma )}{\int }_0^t\left[p_6{\left[G(s)-p_5\right]}^{+}t-p_4\left(I(s)-I_b\right)\right]ds.\hfill \end{array}$$

(18)

Let us consider the following kernels:

$$K_1(t,G)=-\left(p_1+X(t)\right)G(t)+p_1{G}_b,$$

(19)

$$K_2(t,X)=-p_{2}X(t)+p_3\left(I(t)-I_b\right),$$

(20)

$$K_3(t,I)=p_6{\left[G(t)-p_5\right]}^{+}t-p_4\left(I(t)-I_b\right).$$

(21)

Theorem 2.

Show that $K_1,K_2,$ and $K_3$ satisfy Lipschiz condition.

Proof. 

First we prove this condition for $K_1$. Let G and $G_1$ be two functions, then we have

$$∥K_1(t,G)-K_1(t,G_1)∥=∥\left(-\left(p_1+X(t)\right)G\left(t\right)\right)-\left(-\left(p_1+X(t)\right)G_1\left(t\right)\right)∥,$$

(22)

on using the Cauchy’s inequality, we get

$$∥K_1(t,G)-K_1(t,G_1)∥\le ∥\left(p_1+X(t)\right)∥∥\left(G\left(t\right)-G_1\left(t\right)\right)∥,$$

(23)

or

$$∥K_1(t,G)-K_1(t,G_1)∥\le H∥\left(G\left(t\right)-G_1\left(t\right)\right)∥,$$

(24)

where

$$∥\left(p_1+X(t)\right)∥\le H.$$

(25)

Additionally, for $K_2,$

$$\begin{array}{c}∥K_2(t,X)-K_2(t,X_1)∥=\hfill \\ ∥\left(-p_{2}X(t)+p_3\left(I\left(t\right)-I_b\right)\right)-\left(-p_2{X}_1(t)+p_3\left(I\left(t\right)-I_b\right)\right)∥,\hfill \end{array}$$

(26)

on using the Cauchy’s inequality, we get

$$∥K_2(t,X)-K_2(t,X_1)∥\le ∥\left(p_2\right)∥∥\left(X\left(t\right)-X_1\left(t\right)\right)∥,$$

(27)

or

$$∥K_2(t,X)-K_2(t,X_1)∥\le H_1∥\left(X\left(t\right)-X_1\left(t\right)\right)∥,$$

(28)

where

$$∥\left(p_2\right)∥\le H_1.$$

(29)

Similarly, for $K_3,$

$$\begin{array}{c}∥K_3(t,I)-K_3(t,I_1)∥=\hfill \\ ∥\left[p_6{\left[G(t)-p_5\right]}^{+}t-p_4\left(I\left(t\right)-I_b\right)\right]-\left[p_6{\left[G(t)-p_5\right]}^{+}t-p_4\left(I_1\left(t\right)-I_b\right)\right]∥,\hfill \end{array}$$

(30)

by Cauchy’s inequality

$$∥K_3(t,I)-K_3(t,I_1)∥\le ∥p_4∥∥\left(I\left(t\right)-I_1\left(t\right)\right)∥,$$

(31)

or

$$∥K_3(t,I)-K_3(t,I_1)∥\le H_2∥\left(I\left(t\right)-I_1\left(t\right)\right)∥,$$

(32)

where

$$∥p_4∥\le H_2.$$

(33)

We consider the following recursive formula

$$G_n\left(t\right)=\frac{2(1-\alpha )}{(2-\alpha )M\left(\alpha \right)}{K}_1(t,G_{n-1})+\frac{2\alpha }{(2-\alpha )M\left(\alpha \right)}{\int }_0^t{K}_1(s,G_{n-1})ds,$$

(34)

and

$$X_n\left(t\right)=\frac{2(1-\beta )}{(2-\beta )M\left(\beta \right)}{K}_2(t,X_{n-1})+\frac{2\beta }{(2-\beta )M\left(\beta \right)}{\int }_0^t{K}_2(s,X_{n-1})ds,$$

(35)

as well as

$$I_n\left(t\right)=\frac{2(1-\gamma )}{(2-\gamma )M\left(\gamma \right)}{K}_3(t,I_{n-1})+\frac{2\gamma }{(2-\gamma )M\left(\gamma \right)}{\int }_0^t{K}_3(s,I_{n-1})ds.$$

(36)

Now the difference between the consecutive terms is

$$\begin{array}{c}{U}_n\left(t\right)=G_n\left(t\right)-G_{n-1}\left(t\right)=\frac{2(1-\alpha )}{(2-\alpha )M\left(\alpha \right)}{K}_1(t,G_{n-1})-\frac{2(1-\alpha )}{(2-\gamma )M\left(\alpha \right)}{K}_1(t,G_{n-2})\hfill \\ +\frac{2\alpha }{(2-\gamma )M\left(\alpha \right)}{\int }_0^t\left\{K_1(s,G_{n-1})-K_1(s,G_{n-1})\right\}ds,\hfill \end{array}$$

(37)

$$\begin{array}{c}{V}_n\left(t\right)=X_n\left(t\right)-X_{n-1}\left(t\right)=\frac{2(1-\beta )}{(2-\beta )M\left(\beta \right)}{K}_2(t,X_{n-1})-\frac{2(1-\beta )}{(2-\beta )M\left(\beta \right)}{K}_2(t,X_{n-1})\hfill \\ +\frac{2\beta }{(2-\beta )M\left(\beta \right)}{\int }_0^t\left\{K_2(s,X_{n-1})-K_2(s,X_{n-1})\right\}ds,\hfill \end{array}$$

(38)

and

$$\begin{array}{c}{W}_n\left(t\right)=I_n\left(t\right)-I_{n-1}\left(t\right)=\frac{2(1-\gamma )}{(2-\gamma )M\left(\gamma \right)}{K}_3(t,I_{n-1})-\frac{2(1-\gamma )}{(2-\gamma )M\left(\gamma \right)}{K}_3(t,I_{n-1})\hfill \\ +\frac{2\gamma }{(2-\gamma )M\left(\gamma \right)}{\int }_0^t\left\{K_3(s,I_{n-1})-K_3(s,I_{n-2})\right\}ds.\hfill \end{array}$$

(39)

It is worth noting that

$$\begin{array}{c}{G}_n\left(t\right)=\sum _{i=0}^{\infty }{U}_i\left(t\right),\hfill \\ X_n\left(t\right)=\sum _{i=0}^{\infty }{V}_i\left(t\right),\hfill \\ I_n\left(t\right)=\sum _{i=0}^{\infty }{W}_i\left(t\right).\hfill \end{array}$$

Now take norm on both sides of Equations (37)–(39), respectively

$$\begin{array}{c}∥U_n\left(t\right)∥=∥G_n\left(t\right)-G_{n-1}\left(t\right)∥=\hfill \\ ∥\begin{array}{c}\frac{2(1-\alpha )}{(2-\alpha )M\left(\alpha \right)}{K}_1(t,G_{n-1})-\frac{2(1-\alpha )}{(2-\alpha )M\left(\alpha \right)}{K}_1(t,G_{n-2})\hfill \\ +\frac{2\alpha }{(2-\alpha )M\left(\alpha \right)}{\int }_0^t\left\{K_1(s,G_{n-1})-K_1(s,G_{n-2})\right\}ds\hfill \end{array}∥,\hfill \end{array}$$

(40)

and

$$\begin{array}{c}∥V_n\left(t\right)∥=∥X_n\left(t\right)-X_{n-1}\left(t\right)∥=\hfill \\ ∥\begin{array}{c}\frac{2(1-\alpha )}{(2-\beta )M\left(\beta \right)}{K}_2(t,X_{n-1})-\frac{2(1-\beta )}{(2-\beta )M\left(\beta \right)}{K}_2(t,X_{n-2})\hfill \\ +\frac{2\beta }{(2-\beta )M\left(\beta \right)}{\int }_0^t\left\{K_2(s,X_{n-1})-K_2(s,X_{n-2})\right\}ds\hfill \end{array}∥,\hfill \end{array}$$

(41)

as well as

$$\begin{array}{c}∥W_n\left(t\right)∥=∥I_n\left(t\right)-I_{n-1}\left(t\right)∥=\hfill \\ ∥\begin{array}{c}\frac{2(1-\gamma )}{(2-\gamma )M\left(\gamma \right)}{K}_3(t,I_{n-1})-\frac{2(1-\gamma )}{(2-\gamma )M\left(\gamma \right)}{K}_3(t,I_{n-2})\hfill \\ +\frac{2\gamma }{(2-\gamma )M\left(\gamma \right)}{\int }_0^t\left\{K_3(s,I_{n-1})-K_3(s,I_{n-2})\right\}ds\hfill \end{array}∥.\hfill \end{array}$$

(42)

From Equations (40)–(42), by using triangular inequality

$$\begin{array}{c}∥U_n\left(t\right)∥=∥G_n\left(t\right)-G_{n-1}\left(t\right)∥\hfill \\ \le \frac{2(1-\alpha )}{(2-\alpha )M\left(\alpha \right)}∥K_1(t,G_{n-1})-K_1(t,G_{n-2})∥\hfill \\ +\frac{2\alpha }{(2-\alpha )M\left(\alpha \right)}∥{\int }_0^t\left\{K_1(s,G_{n-1})-K_1(s,G_{n-2})\right\}∥ds,\hfill \end{array}$$

(43)

$$\begin{array}{c}∥V_n\left(t\right)∥=∥X_n\left(t\right)-X_{n-1}\left(t\right)∥\hfill \\ =\frac{2(1-\beta )}{(2-\beta )M\left(\beta \right)}∥K_2(t,X_{n-1})-K_2(t,X_{n-2})∥\hfill \\ +\frac{2\beta }{(2-\beta )M\left(\beta \right)}∥{\int }_0^t\left\{K_2(s,X_{n-1})-K_2(s,X_{n-2})\right\}ds∥,\hfill \end{array}$$

(44)

and

$$\begin{array}{c}∥W_n\left(t\right)∥=∥I_n\left(t\right)-I_{n-1}\left(t\right)∥\hfill \\ =\frac{2(1-\gamma )}{(2-\gamma )M\left(\gamma \right)}∥K_3(t,I_{n-1})-K_3(t,I_{n-2})∥\hfill \\ +\frac{2\gamma }{(2-\gamma )M\left(\gamma \right)}∥{\int }_0^t\left\{K_3(s,I_{n-1})-K_3(s,I_{n-2})\right\}ds∥.\hfill \end{array}$$

(45)

Since the kernel satisfies the Lipchitz condition, we obtain:

$$\begin{array}{c}∥U_n\left(t\right)∥=∥G_n\left(t\right)-G_{n-1}\left(t\right)∥\hfill \\ \le \frac{2(1-\alpha )}{(2-\alpha )M\left(\alpha \right)}H∥G_{n-1}-G_{n-2}∥\hfill \\ +\frac{2\alpha }{(2-\alpha )M\left(\alpha \right)}K{\int }_0^t∥G_{n-1}-G_{n-2}∥ds,\hfill \end{array}$$

$$\begin{array}{c}∥V_n\left(t\right)∥=∥X_n\left(t\right)-X_{n-1}\left(t\right)∥\hfill \\ \le \frac{2(1-\beta )}{(2-\beta )M\left(\beta \right)}{H}_1∥X_{n-1}-X_{n-2}∥\hfill \\ +\frac{2\beta }{(2-\beta )M\left(\beta \right)}{J}_1{\int }_0^t∥X_{n-1}-X_{n-2}∥ds,\hfill \end{array}$$

$$\begin{array}{c}∥W_n\left(t\right)∥=∥I_n\left(t\right)-I_{n-1}\left(t\right)∥\hfill \\ \le \frac{2(1-\gamma )}{(2-\gamma )M\left(\gamma \right)}{H}_2∥I_{n-1}-I_{n-2}∥\hfill \\ +\frac{2\gamma }{(2-\gamma )M\left(\gamma \right)}{J}_2{\int }_0^t∥I_{n-1}-I_{n-2}∥ds.\hfill \end{array}$$

☐

Theorem 3.

Show that the Bergman’s Minimal Model Fractional Module is the minimal model of the glucose insulin kinetics having a solution.

Proof. 

As we have seen that the above Equations (43)–(45) are bounded, and we have proven that the kernels satisfy Lipschiz condition, therefore following the results obtained in Equations (43)–(45) using the recursive technique, we get the following relation

$$∥U_n\left(t\right)∥\le ∥G\left(0\right)∥+\left\{{\left\{\frac{2(1-\alpha )}{(2-\alpha )M\left(\alpha \right)}H\right\}}^n+{\left\{\frac{2\alpha }{(2-\alpha )M\left(\alpha \right)}Kt\right\}}^n\right\},$$

(46)

and

$$∥V_n\left(t\right)∥\le ∥X\left(0\right)∥+\left\{{\left\{\frac{2(1-\beta )}{(2-\beta )M\left(\beta \right)}{H}_1\right\}}^n+{\left\{\frac{2\beta }{(2-\beta )M\left(\beta \right)}{J}_{1}t\right\}}^n\right\},$$

(47)

as well as

$$∥W_n\left(t\right)∥\le ∥I\left(0\right)∥+\left\{{\left\{\frac{2(1-\gamma )}{(2-\gamma )M\left(\gamma \right)}{H}_2\right\}}^n+{\left\{\frac{2\gamma }{(2-\gamma )M\left(\gamma \right)}{J}_{2}t\right\}}^n\right\}.$$

(48)

Therefore, the above solutions exist and are continuous. Nonetheless, to show that the above is a solution of Equation (11), we get

$$\left.\begin{array}{c}G\left(t\right)=G_n\left(t\right)-P_n\left(t\right)\hfill \\ X\left(t\right)=X_n\left(t\right)-Q_n\left(t\right)\hfill \\ I\left(t\right)=I_n\left(t\right)-R_n\left(t\right)\hfill \end{array}\right\},$$

(49)

where $P_n$, $Q_n$ and $R_n$ are remainder terms of series solution. Thus,

$$\begin{array}{c}G\left(t\right)-G_n\left(t\right)=\frac{2(1-\alpha )}{(2-\gamma )M\left(\alpha \right)}{K}_1\left(t,G-P_n\left(t\right)\right)\hfill \\ +\frac{2\alpha }{(2-\alpha )M\left(\alpha \right)}{\int }_0^t{K}_1\left(s,G-P_n\left(s\right)\right)ds,\hfill \end{array}$$

(50)

and

$$\begin{array}{c}X\left(t\right)-X_n\left(t\right)=\frac{2(1-\beta )}{(2-\beta )M\left(\beta \right)}{K}_2\left(t,X-Q_n\left(t\right)\right)\hfill \\ +\frac{2\beta }{(2-\beta )M\left(\beta \right)}{\int }_0^t{K}_2\left(s,X-Q_n\left(s\right)\right)ds,\hfill \end{array}$$

(51)

as well as

$$\begin{array}{c}I\left(t\right)-I_n\left(t\right)=\frac{2(1-\gamma )}{(2-\gamma )M\left(\gamma \right)}{K}_3\left(t,I-R_n\left(t\right)\right)\hfill \\ +\frac{2\gamma }{(2-\gamma )M\left(\gamma \right)}{\int }_0^t{K}_3\left(s,I-R_n\left(s\right)\right)ds.\hfill \end{array}$$

(52)

It follows from the above that:

$$\begin{array}{c}G\left(t\right)-\frac{2(1-\alpha )}{(2-\alpha )M\left(\alpha \right)}{K}_1(t,G)-G\left(0\right)-\frac{2\alpha }{(2-\alpha )M\left(\alpha \right)}{\int }_0^t{K}_1(s,G)ds\hfill \\ =P_n\left(t\right)+\frac{2(1-\alpha )}{(2-\alpha )M\left(\alpha \right)}{K}_1(t,G)+\frac{2\alpha }{(2-\alpha )M\left(\alpha \right)}{\int }_0^t\left\{K_1\left(s,G-P_n\left(t\right)\right)-K_1\left(s,G\right)\right\}ds.\hfill \end{array}$$

(53)

Now, applying the norm on both sides and using the Lipchitz condition, we get

$$\begin{array}{c}∥G\left(t\right)-\frac{2(1-\alpha )}{(2-\alpha )M\left(\alpha \right)}{K}_1(t,G)-G\left(0\right)-\frac{2\alpha }{(2-\alpha )M\left(\alpha \right)}{\int }_0^t{K}_1(s,G)ds∥\hfill \\ \le ∥P_n\left(t\right)∥+\left\{\frac{2(1-\alpha )}{(2-\alpha )M\left(\alpha \right)}H+\frac{2\alpha }{(2-\alpha )M\left(\alpha \right)}Kt\right\}∥P_n\left(t\right)∥,\hfill \end{array}$$

(54)

similarly, we get

$$\begin{array}{c}∥X\left(t\right)-\frac{2(1-\beta )}{(2-\beta )M\left(\beta \right)}{K}_2(t,X)-X\left(0\right)-\frac{2\beta }{(2-\beta )M\left(\beta \right)}{\int }_0^t{K}_2(s,X)ds∥\hfill \\ \le ∥Q_n\left(t\right)∥+\left\{\frac{2(1-\beta )}{(2-\beta )M\left(\beta \right)}{H}_1+\frac{2\beta }{(2-\beta )M\left(\beta \right)}{J}_{1}t\right\}∥Q_n\left(t\right)∥,\hfill \end{array}$$

(55)

and

$$\begin{array}{c}∥I\left(t\right)-\frac{2(1-\gamma )}{(2-\gamma )M\left(\gamma \right)}{K}_3(t,I)-I\left(0\right)-\frac{2\gamma }{(2-\gamma )M\left(\gamma \right)}{\int }_0^t{K}_3(s,I)ds∥\hfill \\ \le ∥R_n\left(t\right)∥+\left\{\frac{2(1-\gamma )}{(2-\gamma )M\left(\gamma \right)}{H}_2+\frac{2\gamma }{(2-\gamma )M\left(\gamma \right)}{K}_{2}t\right\}∥R_n\left(t\right)∥.\hfill \end{array}$$

(56)

On taking the limit $n\to \infty$ of Equations (54)–(56), we get

$$G\left(t\right)=\frac{2(1-\alpha )}{(2-\alpha )M\left(\alpha \right)}{K}_1(t,G)+G\left(0\right)+\frac{2\alpha }{(2-\alpha )M\left(\alpha \right)}{\int }_0^t{K}_1(s,G)ds,$$

(57)

$$X\left(t\right)=\frac{2(1-\beta )}{(2-\beta )M\left(\beta \right)}{K}_2(t,X)+X\left(0\right)+\frac{2\beta }{(2-\beta )M\left(\beta \right)}{\int }_0^t{K}_2(s,X)ds,$$

(58)

and

$$I\left(t\right)=\frac{2(1-\gamma )}{(2-\gamma )M\left(\gamma \right)}{K}_3(t,I)+I\left(0\right)+\frac{2\gamma }{(2-\gamma )M\left(\gamma \right)}{\int }_0^t{K}_3(s,I)ds.$$

(59)

Equations (57)–(59) is the solution of the system (11); therefore, we can say that a solution exists. ☐

Uniqueness of the Solutions

In this part, we want to show that solutions presented in the above section are unique.

To prove this, we can another solutions for system (11), say $G\left(t\right),X\left(t\right),andI\left(t\right)$; then:

$$\begin{array}{c}G\left(t\right)-G_1\left(t\right)=\frac{2(1-\alpha )}{(2-\alpha )M\left(\alpha \right)}\left\{K_1(t,G)-K_1(t,G_1)\right\}\hfill \\ +\frac{2\alpha }{(2-\alpha )M\left(\alpha \right)}{\int }_0^t\left\{K_1(s,G)-K_1(s,G_1)\right\}ds,\hfill \end{array}$$

(60)

apply the norm both sides of Equation (60),

$$\begin{array}{c}∥G\left(t\right)-G_1\left(t\right)∥\le \frac{2(1-\alpha )}{(2-\alpha )M\left(\alpha \right)}\left\{∥K_1(t,G)-K_1(t,G_1)∥\right\}\hfill \\ +\frac{2\alpha }{(2-\alpha )M\left(\alpha \right)}{\int }_0^t\left\{∥K_1(s,G)-K_1(s,G_1)∥\right\}ds.\hfill \end{array}$$

(61)

On using the Lipchitz condition, having the fact in mind that the solution is bounded, we get

$$∥G\left(t\right)-G_1\left(t\right)∥<\frac{2(1-\alpha )}{(2-\alpha )M\left(\alpha \right)}HD+{\left\{\frac{2\alpha }{(2-\alpha )M\left(\alpha \right)}\left(J_{1}Dt\right)\right\}}^n$$

(62)

this is true for any n; hence,

$$G\left(t\right)=G_1\left(t\right)$$

Similarly, we get

$$X\left(t\right)=X_1\left(t\right)$$

and

$$I\left(t\right)=I_1\left(t\right).$$

Hence, it shows the uniqueness of the solution of system (11).

5. Application of Caputo–Fabrizio Derivative to Bergman’s Minimal Model

Watugala introduced the Sumudu transform in early 1990s [20]. The Sumudu transform is defined over the set of functions:

$$A=\{f(t)\left|\exists M,{\tau }_1,{\tau }_2>0,\left|f(t)\right|<M{e}^{\left|t\right|{\tau }_j},ift\in {(-1)}^j\times [0,\infty )\}\right.,$$

(63)

the Sumudu transform is defined by

$$\tilde{G}(u)=ST[f(t)]={\int }_0^{\infty }f(ut)e^{-t}dt,u\in (-{\tau }_1,{\tau }_2)$$

(64)

for detail, see [15,16,21].

Theorem 4.

Let $f\left(t\right)$ be a function for which the Caputo–Fabrizio exists; then, the Sumudu transform of the Caputo–Frabrizio fractional derivative of $f\left(t\right)$ is given as:

$$ST\left({}_0^{CF}{\mathrm{D}}_{\mathrm{t}}^{\alpha }\right)\left(f(t)\right)=M(\alpha )\left[\frac{ST\left(f\left(t\right)\right)-f\left(0\right)}{1-\alpha +\alpha u}\right].$$

(65)

Solution of Fractional Module by Sumudu Transform

Since the Bergman’s Minimal Model Fractional Module has three equations, it may be challenging to get the exact solution. To obtain the best solution, we will use an iterative technique with the help of the Sumudu Transform.

Applying the Sumudu transform on both sides of (11), we get

$$M(\alpha )\left[\frac{ST\left(G\left(t\right)\right)-G\left(0\right)}{1-\alpha +\alpha u}\right]=ST\left\{-\left(p_1+X(t)\right)G(t)+p_1{G}_b\right\},$$

(66)

or

$$ST\left(G\left(t\right)\right)=G\left(0\right)+\frac{\left(1-\alpha +\alpha u\right)}{M(\alpha )}ST\left\{-\left(p_1+X(t)\right)G(t)+p_1{G}_b\right\}.$$

(67)

Applying the inverse Sumudu transform on both sides of (67), we get

$$\left(G\left(t\right)\right)=G\left(0\right)+S{T}^{-1}\left\{\frac{\left[1-\alpha +\alpha u\right]}{M(\alpha )}ST\left\{-\left(p_1+X(t)\right)G(t)+p_1{G}_b\right\}\right\},$$

(68)

and in the same manner

$$\left(X\left(t\right)\right)=X\left(0\right)+S{T}^{-1}\left\{\frac{\left(1-\beta +\beta u\right)}{M(\beta )}ST\left\{-p_{2}X(t)+p_3\left(I(t)-I_b\right)\right\}\right\},$$

(69)

and

$$\left(I\left(t\right)\right)=I\left(0\right)+S{T}^{-1}\left\{\frac{\left(1-\gamma +\gamma u\right)}{M(\gamma )}ST\left\{p_6{\left[G(t)-p_5\right]}^{+}t-p_4\left(I(t)-I_b\right)\right\}\right\}.$$

(70)

We next obtain the following recursive formula from (68)–(70):

$$G_{n+1}\left(t\right)=G_n\left(0\right)+S{T}^{-1}\left\{\frac{\left[1-\alpha +\alpha u\right]}{M(\alpha )}ST\left\{-\left(p_1+X_n(t)\right)G_n(t)+p_1{G}_b\right\}\right\},$$

(71)

$$X_{n+1}\left(t\right)=X_n\left(0\right)+S{T}^{-1}\left\{\frac{\left(1-\alpha +\alpha u\right)}{M(\alpha )}ST\left\{-p_2{X}_n(t)+p_3\left(I_n(t)-I_b\right)\right\}\right\},$$

(72)

and

$$I_{n+1}\left(t\right)=I_n\left(0\right)+S{T}^{-1}\left\{\frac{\left(1-\alpha +\alpha u\right)}{M(\alpha )}ST\left\{p_6{\left[G_n(t)-p_5\right]}^{+}t-p_4\left(I_n(t)-I_b\right)\right\}\right\}.$$

(73)

The solution is thus provided as:

$$G(t)=\underset{n\to \infty }{lim}{G}_n(t)$$

(74)

$$X(t)=\underset{n\to \infty }{lim}{X}_n(t)$$

(75)

$$I(t)=\underset{n\to \infty }{lim}{I}_n(t)$$

(76)

we get the required solution.

6. Numerical Solution

As a particular instance to be treated, we assume the base level blood glucose concentration to be $G_b=92$ mg/dL, while the base level blood concentration of insulin to be $I_b=7.3$ mU/L. The glucose clearance rate independent of insulin is $p_1=0.03082$min⁻¹, the rate of clearance of active insulin (decrease of uptake) is $p_2=0.02093$ min⁻¹, the increase in uptake ability caused by insulin is $p_3=1.062\times {10}^{-5}$L/(min²·mU), the decay rate of blood insulin is $p_4=0.3$ min⁻¹, the target glucose level is $p_5=89.5$ mg/dL, and the rate of pancreatic release after glucose bolus is $p_6=0.3349\times {10}^{-2}$ mUdL/L·mg·min. Substituting the above values in (74)–(76) with $G_0$ = 287 mg/DL, $X_0=0$ mg/DL, and $I_0=403.4$ mg/DL, the numerical solution is described by Figure 1.

7. Conclusions

This paper is an attempt to describe the existence and uniqueness of the Bergman Minimal Model which is extended by Caputo–Fabrizio fractional derivative in the context of glucose and insulin levels in blood. We obtain the approximate solution of the Model and a numerical solution of the system which shows that effect of time on the concentrations $G(t),X(t),$ and $I(t)$.