# Existence and uniqueness of the solution to uncertain fractional differential equation

## Abstract

The paper proves an existence and uniqueness theorem of the solution to an uncertain fractional differential equation by Banach fixed point theorem under Lipschitz and linear growth conditions. Then, the paper presents an existence theorem for the solution of an uncertain fractional differential equation by Schauder fixed point theorem under continuity condition.

## Introduction

Fractional differential equation has been a classical research field of differential equations. The study of fractional differential equations attracted many mathematicians, physicists, and engineers. Fractional differential equations have important applications such as in rheology, viscoelasticity, electrochemistry, and electromagnetism. A fractional differential equation is a differential equation including fractional derivatives. There are several kinds of fractional derivatives such as the Riemann-Liouville type, Caputo type, Grünwald-Letnikov type, and Riesz type. Some references about fractional differential equations may be seen in [1-8].

Stochastic fractional differential equations were used to model dynamical systems affected by random noises [9-15]. Generally, there are two types of stochastic fractional differential equations. One is of the form

$$\begin{array}{@{}rcl@{}} D^{\alpha}x(t)=f(t,x(t))+g(t,x(t))\frac{\mathrm{d}{W(t)}}{\mathrm{d}{t}} \end{array}$$

where D α x(t) denotes the fractional derivative of the function x(t), and W(t) is the Wiener process. The other is of the form

$$\begin{array}{@{}rcl@{}} \mathrm{d} x(t)=f(t,x(t))\mathrm{d}{t}+g(t,x(t))\mathrm{d}{{B^{H}_{t}}} \end{array}$$

where $${B_{t}^{H}}$$ is the fractional Brownian motion.

Recently in , the concept of uncertain fractional differential equations was introduced based on the uncertainty theory. The Riemann-Liouville type of uncertain fractional differential equation

$$\begin{array}{@{}rcl@{}} D^{\,p} X_{t}=f(t, X_{t})+ g(t, X_{t}) \frac{\mathrm{d}{C_{t}}}{\mathrm{d} t} \end{array}$$

and the Caputo type of uncertain fractional differential equation

$$\begin{array}{@{}rcl@{}} {~}^{c}D^{\,p} X_{t}=f(t, X_{t})+ g(t, X_{t}) \frac{\mathrm{d}{C_{t}}}{\mathrm{d} t} \end{array}$$

were dealt with where C t is the canonical Liu process. The solutions were provided by the Mittag-Leffler function for linear uncertain fractional differential equations. An application to the price of a zero-coupon bond with a maturity date was presented.

Analytical solutions were presented only for some special uncertain fractional differential equations in . In order to understand what kinds of uncertain fractional differential equations have solutions, we in this paper will give some sufficient conditions to guarantee the existence of solutions of uncertain fractional differential equations. That is, we will show the existence and uniqueness of solutions for uncertain fractional differential equations. The structure of the paper is as follows: Firstly, some concepts and results in uncertainty theory will be reviewed. Then, the fractional derivatives and uncertain fractional differential equations will be recalled. Finally, an existence and uniqueness theorem and an existence theorem will be proved.

## Preliminary

Uncertainty theory was founded by Liu in 2007  and refined in 2010 . Basic concepts in uncertainty theory include uncertain measure, uncertainty space, product uncertain measure, and uncertain variable. Let Γ be a nonempty set and be a σ-algebra over Γ. Each element $$\Lambda \in \mathcal {L}$$ is called an event. Set function defined on is called an uncertain measure if it satisfies three axioms: (normality) , (duality) for any event Λ, and (countable subadditivity) for every countable sequence of events Λ 1,Λ 2,. The triplet is called an uncertainty space. The product uncertain measure is an uncertain measure satisfying where are uncertainty spaces and Λ k are arbitrarily chosen events from $$\mathcal {L}_{k}$$ for k=1,2,, respectively. An uncertain variable is defined as a function ξ from an uncertainty space to the set R of real numbers such that {ξB} is an event for any Borel set B.

The uncertainty distribution Φ:R→[ 0,1] of an uncertain variable ξ is defined by for xR. The expected value of an uncertain variable ξ is defined by provided that at least one of the two integrals is finite. The variance of ξ is defined by V[ ξ]=E[(ξE[ξ])2].

A normal uncertain variable with expected value e and variance σ 2 has the uncertainty distribution

$$\begin{array}{@{}rcl@{}} \Phi(x)=\left(1+\exp\left(\frac{\pi (e-x)}{\sqrt{3} \sigma}\right)\right)^{-1},\; x\in R \end{array}$$

which is denoted by .

The uncertain variables ξ 1,ξ 2,ξ m are said to be independent  if for any Borel sets B 1,B 2,B m of real numbers. For numbers a and b, E[ a ξ+b η]=a E[ ξ]+b E[ η] if ξ and η are independent uncertain variables.

Liu  defined uncertain process as a function X t from to the set of real numbers where S is a totally ordered set such that {X t B} is an event for any Borel set B at each time tS.

### Definition1.

 An uncertain process C t is called a canonical Liu process if it satisfies the following: (i) C 0=0 and almost all sample paths are Lipschitz continuous, (ii) C t has stationary and independent increments, and (iii) every increment C s+t C s is a normal uncertain variable with expected value 0 and variance t 2, denoted by .

For any partition of closed interval [ a,b] with a=t 1<t 2<<t k+1=b, the mesh is written as Δ= max1≤ik|t i+1t i |. Then, the uncertain integral of X t with respect to C t is defined by Liu  as

$$\begin{array}{@{}rcl@{}} {\int_{a}^{b}} X_{t} {\mathrm{d}}C_{t}={\lim}_{\Delta\to 0}\sum_{i=1}^{k}X_{t_{i}}\cdot\left(C_{t_{i+1}}-C_{t_{i}}\right) \end{array}$$

provided that the limit exists almost surely and is finite. If there exist two uncertain processes μ t and σ t such that $$Z_{t}=Z_{0}+{\int _{0}^{t}}\mu _{s}{\mathrm {d}}s+{\int _{0}^{t}}\sigma _{s}{\mathrm {d}}C_{s}$$ for any t≥0, then we say Z t has an uncertain differential dZ t =μ t dt+σ t dC t . An uncertain differential equation driven by a canonical Liu process C t is defined as

$$\begin{array}{@{}rcl@{}} \mathrm{d}{X_{t}}=f(t, X_{t})\mathrm{d}{t}+g(t,X_{t})\mathrm{d}{C_{t}} \end{array}$$
((1))

where f and g are two given functions. A solution X t of the uncertain differential equation is equivalent to a solution of the uncertain integral equation

$$\begin{array}{@{}rcl@{}} X_{t}=X_{0}+{\int_{0}^{t}} f(s,X_{s})\mathrm{d}{s}+{\int_{0}^{t}} g(s,X_{s})\mathrm{d}{C_{s}}. \end{array}$$

For an uncertain differential equation (1) in a multidimensional case, X t is a multidimensional state, C t is a multidimensional canonical Liu process, f(t,X t ) is a vector-valued function, and g(t,X t ) is a matrix-valued function.

An existence and uniqueness theorem of solution for the uncertain differential equation (1) was proved by Chen and Liu . Meanwhile, Chen and Liu  obtained an analytic solution to linear uncertain differential equations. Liu  and Yao  presented some methods for solving nonlinear uncertain differential equations. Yao and Chen  introduced a numerical method for solving the uncertain differential equation. Some extensions of the uncertain differential equation were studied such as the uncertain delay differential equation by Barbacioru , Ge and Zhu , and Liu and Fei  and the backward uncertain differential equation by Ge and Zhu . The uncertain differential equation has been applied in some fields such as uncertain finance , uncertain optimal control , and uncertain differential game .

### Lemma1.

 Suppose that C t is an l-dimensional canonical Liu process, and Y t is an integrable n×l-dimensional uncertain process on [ a,b] with respect to t. Then, the inequality

$$\begin{array}{@{}rcl@{}} \begin{array}{ll} \displaystyle\left\|{\int_{a}^{b}}Y_{t}(\gamma){dC}_{t}(\gamma)\right\|_{\infty}\leq K_{\gamma}{\int_{a}^{b}}\|Y_{t}(\gamma)\|_{\infty}dt \end{array} \end{array}$$

holds, where K γ is the Lipschitz constant of the sample path C t (γ) with the norm · .

## Uncertain fractional differential equations

In the sequel, we will always assume p(0,1]. The Riemann-Liouville type of uncertain fractional differential equation and the Caputo type of uncertain fractional differential equation in the one-dimensional case were introduced in . Now we state those concepts in a multidimensional case. Let C t =(C 1t ,C 2t ,,C lt )τ be an l-dimensional canonical Liu process.

### Definition2.

Suppose that f:[ 0,R nR n and g:[ 0,R nR n×l are two functions. Then,

$$\begin{array}{@{}rcl@{}} D^{\,p} X_{t}=f(t, X_{t})+ g(t, X_{t}) \frac{\mathrm{d}{C_{t}}}{\mathrm{d} t} \end{array}$$
((2))

is called an uncertain fractional differential equation of the Riemann-Liouville type. A solution of (2) with the initial condition

$$\begin{array}{@{}rcl@{}} {\lim}_{t\to 0+} t^{1-p}X_{t}=x_{0} \end{array}$$

is an uncertain process X t such that

$$X_{t}= t^{p-1}x_{0} + \frac{1}{\Gamma(\,p)} {\int_{0}^{t}} (t-s)^{p-1}f(s, X_{s})\mathrm{d}{s} + \frac{1}{\Gamma(\,p)} {\int_{0}^{t}} (t-s)^{p-1}g(s, X_{s})\mathrm{d}{C_{s}}$$
((3))

holds almost surely.

### Definition3.

Suppose that f:[ 0,R nR n and g:[ 0,R nR n×l are two functions. Then,

$$\begin{array}{@{}rcl@{}} {~}^{c}D^{\,p} X_{t}=f(t, X_{t})+ g(t, X_{t}) \frac{\mathrm{d}{C_{t}}}{\mathrm{d} t} \end{array}$$
((4))

is called an uncertain fractional differential equation of the Caputo type. A solution of (4) is an uncertain process X t such that

$$X_{t}= X_{0} + \frac{1}{\Gamma(\,p)} {\int_{0}^{t}} (t-s)^{p-1}f(s, X_{s})\mathrm{d}{s} + \frac{1}{\Gamma(\,p)} {\int_{0}^{t}} (t-s)^{p-1}g(s, X_{s})\mathrm{d}{C_{s}}$$
((5))

holds almost surely.

### Remark1.

(i) The pth Riemann-Liouville fractional order derivative of the function u:[ 0,T]→R n is defined by

$$\begin{array}{@{}rcl@{}} D^{\,p} u(t)=\frac{1}{\Gamma(1-p)}\frac{\mathrm{d}}{\mathrm{d}{t}}{\int_{0}^{t}}(t-s)^{-p} u(s)\mathrm{d}{s}, \quad t>0. \end{array}$$

(ii) The pth Caputo fractional order derivative of the function u:[ 0,T]→R n is defined by

$$\begin{array}{@{}rcl@{}} {~}^{c} D^{\,p} u(t)=\frac{1}{\Gamma(1-p)}{\int_{0}^{t}} (t-s)^{-p}{u'(s)}\mathrm{d}{s}, \quad t>0 \end{array}$$

where u (s) is the first-order derivative of u(s). (iii) The relation between the Riemann-Liouville and Caputo fractional order derivatives is

$$\begin{array}{@{}rcl@{}} D^{\,p} u(t)={}^{c}D^{\,p} u(t)+\frac{t^{-p}}{\Gamma(1-p)}u(0). \end{array}$$

(iv) The gamma function

$$\begin{array}{@{}rcl@{}} \Gamma(\alpha)=\int_{0}^{\infty}t^{\alpha-1}e^{-t}\mathrm{d}{t}, \quad \alpha>0 \end{array}$$

has the properties

$$\begin{array}{@{}rcl@{}} \Gamma(\alpha+1)=\alpha\Gamma(\alpha), \; \alpha>0; \; \Gamma(1)=1; \; \Gamma\left(\frac{1}{2}\right)=\sqrt{\pi}. \end{array}$$

## Existence and uniqueness

For simplicity, we use |·| to denote a norm in R n or R n×l. Let D [a,b] denote the space of continuous R n-valued functions on [ a,b], which is a Banach space with the norm

$$\begin{array}{@{}rcl@{}} \|x_{t}\|=\max_{t\in[a,b]}|x_{t}|, \quad \text{for}\ x_{t}\in D_{[a,b]}. \end{array}$$

Give two functions f(t,x):[ 0,TR nR n, and g(t,x):[ 0,TR nR n×l. Now we introduce the following mapping Φ on D [0,T]: for X t D [0,T],

$$\Phi(X_{t})=\displaystyle t^{p-1}x_{0}+ \frac{1}{\Gamma(\,p)} {\int_{0}^{t}} (t-s)^{p-1}f(s, X_{s})\mathrm{d}{s} + \frac{1}{\Gamma(\,p)} {\int_{0}^{t}} (t-s)^{p-1}g(s, X_{s})\mathrm{d}{C_{s}}$$
((6))

where x 0 is a given initial state.

### Lemma2.

For uncertain process X t D [0,T], the mapping Ψ defined by

$$\begin{array}{@{}rcl@{}} \Psi(X_{t})&=&\left(t^{p-1}-\tilde{a}\right)x_{0}+X_{a}+\frac{1}{\Gamma(\,p)} {\int_{a}^{t}} (t-s)^{p-1}f(s, X_{s})\mathrm{d}{s} \\ &&+\, \frac{1}{\Gamma(\,p)} {\int_{a}^{t}} (t-s)^{p-1}g(s, X_{s})\mathrm{d}{C_{s}}, \quad t>a\ge 0 \end{array}$$
((7))

is sample-continuous where $$\tilde {a}=a^{p-1}$$ if a>0 or 1 if a=0, and f and g satisfy the linear growth condition

$$\begin{array}{@{}rcl@{}} |\,f(t,x)|+|\,g(t,x)|\leq L(1+|x|), \quad \forall x\in{R}^{n}, \quad t\in[\!0,+\infty) \end{array}$$

where L is a positive constant.

### Proof.

In fact, for γΓ and t>r>a, we have

$$\begin{array}{l} |\Psi(X_{t}(\gamma))-\Psi(X_{r}(\gamma))| \\[.4cm] =\displaystyle \left| \left(t^{p-1}-r^{p-1}\right)x_{0}+\frac{1}{\Gamma(\,p)}{\int_{r}^{t}}(t-s)^{p-1}f(s, X_{s}(\gamma))\mathrm{d}{s} \right.\\[.4cm] \quad+\displaystyle\frac{1}{\Gamma(\,p)}{\int_{r}^{t}}(t-s)^{p-1}g(s, X_{s}(\gamma)){\mathrm{d}}C_{s}(\gamma) \\[.4cm] \quad+\displaystyle\frac{1}{\Gamma(\,p)}{\int_{a}^{r}}\left[(t-s)^{p-1}-(r-s)^{p-1}\right]f(s, X_{s}(\gamma))\mathrm{d}{s} \\[.4cm] \quad+\displaystyle\left.\frac{1}{\Gamma(\,p)}{\int_{a}^{r}}\left[(t-s)^{p-1}-(r-s)^{p-1}\right]g(s, X_{s}(\gamma)){\mathrm{d}}C_{s}(\gamma)\right|\\[.4cm] \leq\displaystyle \left(r^{p-1}-t^{p-1}\right)|x_{0}|+ \frac{1}{\Gamma(\,p)}{\int_{r}^{t}}(t-s)^{p-1}|\,f(s, X_{s}(\gamma))|\mathrm{d}{s} \\[.4cm] \quad+\displaystyle\frac{1}{\Gamma(\,p)}\left|{\int_{r}^{t}}(t-s)^{p-1}g(s, X_{s}(\gamma)){\mathrm{d}}C_{s}(\gamma)\right| \\[.4cm] \quad+\displaystyle\frac{1}{\Gamma(\,p)}{\int_{a}^{r}}\left[(t-s)^{p-1}-(r-s)^{p-1}\right]|\,f(s, X_{s}(\gamma))|\mathrm{d}{s} \\[.4cm] \quad+\displaystyle\frac{1}{\Gamma(\,p)}\left|{\int_{a}^{r}}\left[(t-s)^{p-1}-(r-s)^{p-1}\right]g(s, X_{s}(\gamma)){\mathrm{d}}C_{s}(\gamma)\right|\\[.4cm] \leq\displaystyle \left(r^{p-1}-t^{p-1}\right)|x_{0}|+ \frac{1}{\Gamma(\,p)}{\int_{r}^{t}}(t-s)^{p-1}|\,f(s, X_{s}(\gamma))|\mathrm{d}{s} \\[.4cm] \quad+\displaystyle\frac{K_{\gamma}}{\Gamma(\,p)}{\int_{r}^{t}}(t-s)^{p-1}|g(s, X_{s}(\gamma))|\mathrm{d}{s} \\[.4cm] \quad+\displaystyle\frac{1}{\Gamma(\,p)}{\int_{a}^{r}}\left[(t-s)^{p-1}-(r-s)^{p-1}\right]|\,f(s, X_{s}(\gamma))|\mathrm{d}{s} \\[.4cm] \quad+\displaystyle\frac{K_{\gamma}}{\Gamma(\,p)}{\int_{a}^{r}}\left[(t-s)^{p-1}-(r-s)^{p-1}\right]\left|g(s, X_{s}(\gamma))\right|{\mathrm{d}}s \text{\quad (by Lemma~1)}\\[.4cm] \leq\displaystyle \left(r^{p-1}-t^{p-1}\right)|x_{0}|+ \frac{L}{\Gamma(\,p+1)}(1+\|X_{t}(\gamma)\|)(1+K_{\gamma})\left[(t-a)^{p}-(r-a)^{p}\right] \end{array}$$

by the linear growth condition. Thus, |Ψ(X t (γ))−Ψ(X r (γ))|→0 as |tr|→0. That is, Ψ(X t ) is sample-continuous. □

### Theorem1.

(Existence and uniqueness) The uncertain fractional differential equation (2) (or (4)) has a unique solution X t in [ 0,+) if the coefficients f(t,x) and g(t,x) satisfy the Lipschitz condition

$$\begin{array}{@{}rcl@{}} |\,f(t,x)-f(t,y)|+|g(t,x)-g(t,y)|\leq L|x-y|, \quad \forall x,y\in{R}^{n},\quad t\in[\!0,+\infty) \end{array}$$

and the linear growth condition

$$\begin{array}{@{}rcl@{}} |\,f(t,x)|+|g(t,x)|\leq L(1+|x|), \quad \forall x\in{R}^{n}, \quad t\in[\!0,+\infty) \end{array}$$

where L is a positive constant. Furthermore, X t is sample-continuous.

### Proof.

We only prove the theorem for the uncertain fractional differential equation (2). A similar process of the proof is suitable to the uncertain fractional differential equation (4). Let T>0 be an arbitrarily given number, and let Φ be a mapping defined by (6) on D [0,T].

Give γΓ. For λ[ 0,T), assume c>0 such that λ+cT. Define a mapping ψ on D [λ,λ+c]: for X t D [λ,λ+c], t[ λ,λ+c],

$$\begin{array}{@{}rcl@{}} \psi(X_{t})=\displaystyle \left(t^{p-1}-\tilde{\lambda}\right)x_{0}+ X_{\lambda} \!\!\! &+& \!\!\! \frac{1}{\Gamma(\,p)} \int_{\lambda}^{t} (t-s)^{p-1}f(s, X_{s})\mathrm{d}{s} \\ \!\!\!&+&\!\!\! \frac{1}{\Gamma(\,p)} \int_{\lambda}^{t} (t-s)^{p-1}g(s, X_{s})\mathrm{d}{C_{s}} \end{array}$$

where $$\tilde {\lambda }=\lambda ^{p-1}$$ if λ>0 or 1 if λ=0. For X t (γ)D [λ,λ+c], we know that ψ(X t (γ))D [λ,λ+c] by Lemma 2.

Let X t (γ),Y t (γ)D [λ,λ+c]. For any t[ λ,λ+c], we have

$$\begin{array}{l} \left\|\psi(X_{t}(\gamma))-\psi(Y_{t}(\gamma))\right\|=\displaystyle\max_{t\in [\lambda,\lambda+c]}\left|\psi(X_{t}(\gamma))-\psi(Y_{t}(\gamma))\right| \\[.4cm] \leq\displaystyle\max_{t\in [\lambda,\lambda+c]}\left|\frac{1}{\Gamma(\,p)}\int_{\lambda}^{t}(t-s)^{p-1}\left[\,f(s, X_{s}(\gamma))-f(s, Y_{s}(\gamma))\right]{\mathrm{d}}s\right. \\[.4cm] \quad\left.+\displaystyle\frac{1}{\Gamma(\,p)}\int_{\lambda}^{t}(t-s)^{p-1}\left[g(s, X_{s}(\gamma))-g(s, Y_{s}(\gamma))\right]{\mathrm{d}}C_{s}(\gamma)\right|\\[.4cm] \leq\displaystyle \max_{t\in [\lambda,\lambda+c]}\left\{\frac{1}{\Gamma(p)} \int_{\lambda}^{t}(t-s)^{p-1}|\,f(s, X_{s}(\gamma))-f(s, Y_{s}(\gamma))|{\mathrm{d}}s \right. \\[.4cm] \quad+\displaystyle\left.\frac{K_{\gamma}}{\Gamma(\,p)}\int_{\lambda}^{t}(t-s)^{p-1}|g(s, X_{s}(\gamma))-g(s, Y_{s}(\gamma))|{\mathrm{d}}s \right\}\\[.4cm] \displaystyle \leq \frac{(1+K_{\gamma})L}{\Gamma(\,p)}\max_{t\in [\lambda,\lambda+c]}\int_{\lambda}^{t}(t-s)^{p-1}|X_{s}(\gamma)-Y_{s}(\gamma)|{\mathrm{d}}s \text{\quad (by Lipschitz condition)} \\[.4cm] \displaystyle \leq \frac{(1+K_{\gamma})Lc^{p}}{\Gamma(\,p+1)}\|X_{t}(\gamma)-Y_{t}(\gamma)\|. \end{array}$$

Let ρ(γ)=(1+K γ )L c p/Γ(p+1). By taking a suitable c=c(γ)>0 such that ρ(γ)(0,1). That is, ψ is a contraction mapping on D [λ,λ+c]. Thus, by the well-known Banach fixed point theorem, we have a unique fixed point X t (γ) of ψ in D [λ,λ+c]. Furthermore, $$X_{t}(\gamma)={\lim }_{k\to \infty }\psi (X_{t,k}(\gamma))$$ where

$$\begin{array}{@{}rcl@{}} X_{t,k}(\gamma)=\psi(X_{t,k-1}(\gamma)), \; k=1,2,\cdots \end{array}$$

for any given X t,0(γ)=x t D [λ,λ+c].

Assume that [ 0,c],[ c,2c],,[ k c,T] are the subsets of [ 0,T] with k c<T≤(k+1)c. The above process implies that the mapping ψ has a unique fixed point $$X_{t}^{(i+1)}(\gamma)$$ with $$X_{\textit {ic}}^{(i+1)}(\gamma)=X_{\textit {ic}}^{(i)}(\gamma)$$ on the interval [ i c,(i+1)c] for i=0,1,2,,k, where we set (k+1)c=T. Define X t (γ) on the interval [ 0,T] by setting

$$\begin{array}{@{}rcl@{}} X_{t}(\gamma)= \left\{\begin{array}{ll} X^{(1)}_{t}(\gamma), & t\in [\!0, c],\\[.2cm] X^{(2)}_{t}(\gamma), & t\in [\!c, 2c],\\[.2cm] \cdots\\[.2cm] X^{(k+1)}_{t}(\gamma), & t\in [\!kc,T]. \end{array}\right. \end{array}$$

It is easy to see that X t (γ) is the unique fixed point of Φ defined by (6) in D [0,T]. In addition, $$X_{t}(\gamma)={\lim }_{k\to \infty }\Phi (X_{t,k}(\gamma))$$ where

$$\begin{array}{@{}rcl@{}} X_{t,k}(\gamma)=\Phi(X_{t,k-1}(\gamma)), \; k=1,2,\cdots \end{array}$$

for any given X t,0(γ)=x t D [0,T]. Since X t,k are uncertain vectors for k=1,2,, we know that X t is an uncertain vector by Theorem 3 in the Appendix. It follows from the arbitrariness of T>0 that X t is the unique solution of uncertain fractional differential equation (2). Furthermore, since X t (γ) is in D [0,T], X t is sample-continuous. The theorem is proved. □

If the functions f and g do not satisfy the Lipschitz condition and linear growth condition, we present the following existence theorem just for continuous f and g.

### Theorem2.

(Existence) Let f(t,x) and g(t,x) be continuous in

$$\begin{array}{@{}rcl@{}} G=[\!0,T]\times\left\{x\in R^{n} : |x-x_{0}|\le b\right\}. \end{array}$$

Then, uncertain fractional differential equation of the Caputo type (4) has a solution X t in t[ 0,T] with the crisp initial condition X 0=x 0R n.

### Proof.

For any γΓ, let c>0 be a positive number such that

$$\begin{array}{@{}rcl@{}} \frac{M\left(1+K_{\gamma}\right)}{\Gamma(\,p+1)}c^{p}=b \end{array}$$

where K γ is the Lipschitz constant of the canonical Liu process C t , and M= max(t,x)G| f(t,x)||g(t,x)|. Denote

$$\begin{array}{@{}rcl@{}} H&=&\left\{{\vphantom{\frac{M(1+K_{\gamma})}{\Gamma(p+1)}}}X_{t}(\gamma)\in D_{[0,h]}\right. : X_{t}\, \text{is an uncertain vector and} \\ &&\quad\qquad\qquad\qquad\; \left.\|X_{t}(\gamma)-x_{0}\|\le \frac{M(1+K_{\gamma})}{\Gamma(\,p+1)}h^{p} \right\} \end{array}$$

where h= min{T,c}.

It is easy to see that H is a closed convex set. Define a mapping Φ on H by

$$\begin{array}{@{}rcl@{}} \Phi(X_{t}(\gamma))=x_{0} &+& \frac{1}{\Gamma(\,p)} {\int_{0}^{t}} (t-s)^{p-1}f(s, X_{s}(\gamma))\mathrm{d}{s} \\ &+& \frac{1}{\Gamma(\,p)} {\int_{0}^{t}} (t-s)^{p-1}g(s, X_{s}(\gamma))\mathrm{d}{C_{s}(\gamma)}, \quad 0\le t\le h. \end{array}$$
((8))

For X t (γ)H, we have

$$\begin{array}{@{}rcl@{}} \|\Phi(X_{t}(\gamma))-x_{0}\|&=& \max_{0\le t\le h}|\Phi(X_{t}(\gamma))-x_{0}| \\ &\le& \max_{0\le t\le h}\left\{\frac{1}{\Gamma(\,p)} {\int_{0}^{t}} (t-s)^{p-1}|\,f(s, X_{s}(\gamma))|\mathrm{d}{s} \right. \\ &\quad& \left. +\, \frac{K_{\gamma}}{\Gamma(\,p)} {\int_{0}^{t}} (t-s)^{p-1}|g(s, X_{s}(\gamma))|\mathrm{d}{s} \right\} \\ &\le& \max_{0\le t\le h} \frac{M(1+K_{\gamma})}{\Gamma(\,p)} {\int_{0}^{t}} (t-s)^{p-1}\mathrm{d}{s} \\ &\le& \frac{M(1+K_{\gamma})}{\Gamma(\,p+1)}h^{p}. \end{array}$$
((9))

That is Φ(X t (γ))H, and the mapping Φ is bounded uniformly in X t (γ)H. In addition, for 0≤t 1<t 2h, it is easy to verify

$$\begin{array}{@{}rcl@{}} |\Phi(X_{t_{1}}(\gamma))-\Phi(X_{t_{2}}(\gamma))|&=&\left|\frac{1}{\Gamma(\,p)} \int_{t_{1}}^{t_{2}} (t_{2}-s)^{p-1}f(s, X_{s}(\gamma))\mathrm{d}{s}\right. \\ && +\frac{1}{\Gamma(\,p)} \int_{t_{1}}^{t_{2}} (t_{2}-s)^{p-1}g(s, X_{s}(\gamma))\mathrm{d}{C_{s}(\gamma)} \\ && +\frac{1}{\Gamma(\,p)}\int_{0}^{t_{1}}\left[(t_{2}-s)^{p-1}-(t_{1}-s)^{p-1}\right]f(s, X_{s}(\gamma))\mathrm{d}{s} \\ && \left.+\frac{1}{\Gamma(\,p)}\int_{0}^{t_{1}}\left[(t_{2}-s)^{p-1}-(t_{1}-s)^{p-1}\right]g(s, X_{s}(\gamma)){\mathrm{d}}C_{s}(\gamma) \right| \\ &\le& \frac{M\left(1+K_{\gamma}\right)}{\Gamma(\,p+1)}\left({t_{2}^{p}}-{t_{1}^{p}}\right) \end{array}$$

which comes to a conclusion that Φ is equicontinuous for X t (γ)H in [ 0,h]. It follows from the Ascoli-Arzela theorem that Φ is a compact mapping on H.

Let X t,i (γ) converge to X t (γ) in H as i. That is, X t,i (γ) converges to X t (γ) uniformly in t[ 0,h]. Thus,

$$\begin{array}{@{}rcl@{}} \Phi(X_{t,i}(\gamma))&=&\frac{1}{\Gamma(\,p)} {\int_{0}^{t}} (t-s)^{p-1}f(s, X_{s,i}(\gamma))\mathrm{d}{s} \\ && +\,\frac{1}{\Gamma(\,p)} {\int_{0}^{t}} (t-s)^{p-1}g(s, X_{s,i}(\gamma))\mathrm{d}{C_{s}(\gamma)} \\ & \to & \frac{1}{\Gamma(\,p)} {\int_{0}^{t}} (t-s)^{p-1}f(s, X_{s}(\gamma))\mathrm{d}{s} \\ && +\,\frac{1}{\Gamma(\,p)} {\int_{0}^{t}} (t-s)^{p-1}g(s, X_{s}(\gamma))\mathrm{d}{C_{s}(\gamma)} \\ &=&\Phi(X_{t}(\gamma)) \end{array}$$

uniformly in t[ 0,h]. This shows that Φ is continuous on H.

It follows from the Schauder fixed point theorem that Φ has a fixed point X t (γ) on H. Hence,

$$\begin{array}{@{}rcl@{}} X_{t}(\gamma)=x_{0} &+& \frac{1}{\Gamma(\,p)} {\int_{0}^{t}} (t-s)^{p-1}f(s, X_{s}(\gamma))\mathrm{d}{s} \\ &+& \frac{1}{\Gamma(\,p)} {\int_{0}^{t}} (t-s)^{p-1}g(s, X_{s}(\gamma))\mathrm{d}{C_{s}(\gamma)} \end{array}$$
((10))

for t[ 0,h]. By the extension method, there exists X t (γ) satisfying (10) in t[ 0,T]. That is, X t is a solution of (4). Therefore, the conclusion of the theorem is proved. □

## Conclusions

For uncertain fractional differential equations of the Riemann-Liouville type and Caputo type, an existence and uniqueness theorem of solution was presented by employing the Banach fixed point theorem under sufficient conditions that the drift and diffusion functions are linear growing and Lipschitzian. If the drift and diffusion functions are just continuous, an existence theorem of solution for the uncertain fractional differential equation of the Caputo type was proved by employing the Schauder fixed point theorem. The existence and uniqueness of solution to the uncertain fractional differential equation will give a theoretical foundation for studying the stability of uncertain fractional differential equations and uncertain finance.

## Appendix

### Theorem3.

Let ξ 1,ξ 2, be uncertain variables and $${\lim }_{i\to \infty }\xi _{i}=\xi$$ almost surely. Then, ξ is an uncertain variable.

### Proof.

Let Then, is a σ-algebra. For a,bR, since

$$\begin{array}{@{}rcl@{}} \xi=\sup_{n\ge 1}\inf_{i\ge n} \xi_{i} =\inf_{n\ge 1}\sup_{i\ge n} \xi_{i}, \end{array}$$

we have

$$\begin{array}{@{}rcl@{}} \{\xi< b\} =\left\{\sup_{n\ge 1}\inf_{i\ge n} \xi_{i}< b\right\}=\bigcup_{k\ge 1}\bigcap_{n\ge 1}\bigcup_{i\ge n}\left\{\xi_{i}\le b-\epsilon_{k}\right\}, \end{array}$$
$$\begin{array}{@{}rcl@{}} \{\xi> a\} =\left\{\inf_{n\ge 1}\sup_{i\ge n} \xi_{i}> a\right\}=\bigcup_{k\ge 1}\bigcap_{n\ge 1}\bigcup_{i\ge n}\{\xi_{i}\ge a+\epsilon_{k}\} \end{array}$$

where {ε k } is a sequence of positive numbers converging decreasingly to zero. Since ξ i are uncertain variables for all i, we know that {ξ i bε k } and {ξ i a+ε k } are events. Hence, {ξ<b} and {ξ>a} are events and then {a<ξ<b} is an event. That is, . Since the smallest σ-algebra containing all open intervals of R is just Borel algebra over R, the class contains all Borel sets. That is, for any Borel set B, {ξB} is an event. Therefore, ξ is an uncertain variable. □

## References

1. Ahmad, B, Nieto, JJ: Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions. Comput. Math. Appl. 58, 1838–1843 (2009).

2. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier Science BV (2006).

3. Lakshmikantham, V, Vatsala, AS: Basic theory of fractional differential equations. Nonlinear Anal. TMA. 69, 2677–2682 (2008).

4. Lakshmikantham, V, Leela, S, Vasundhara Devi, J: Theory of Fractional Dynamic Systems. Cambridge Academic Publishers, Cambridge (2009).

5. Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Differential Equations. John Wiley, New York (1993).

6. Oldham, KB, Spanier, J: The Fractional Calculus. Academic Press, New York (1974).

7. Podlubny, I: Fractional Differential Equation. Academic Press, San Diego (1999).

8. Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives, Theory and Applications. Gordon and Breach Science Publishers, New York (1993).

9. Ciotir, I, Răscanu, A: Viability for differential equations driven by fractional Brownian motion. J. Differential Equations. 247, 1505–1528 (2009).

10. Cui, J, Yan, L: Existence result for fractional neutral stochastic integro-differential equations with infinite delay. J Phys. A: Math. Theor. 44(33), 335201 (2011).

11. El-Borai, MM, EI-Said EI-Nadi, K, Fouad, HA: On some fractional stochastic delay differential equations. Comput. Math. Appl. 59, 1165–1170 (2010).

12. Mandelbrot, BB, Van Ness, JW: Fractional Brownian motions, fractional noises and applications. SIAM Rev. 10, 422–437 (1968).

13. Nualart, D, Răscanu, A: Differential equations driven by fractional Brownian motion. Collectanea Mathematica. 53, 55–81 (2002).

14. Ren, Y, Bi, Q, Sakthivel, R: Stochastic functional differential equations with infinite delay driven by G-Brownian motion. Math. Methods Appl. Sci. 36(13), 1746–1759 (2013).

15. Sakthivel, R, Revathi, P, Ren, Y: Existence of solutions for nonlinear fractional stochastic differential equations. Nonlinear Anal. TMA. 81, 70–86 (2013).

16. Zhu, Y: Uncertain fractional differential equations and an interest rate model. Math. Methods Appl. Sci (2014). doi:10.1002/mma.3335.

17. Liu, B: Uncertainty Theory. 2nd ed. Springer-Verlag, Berlin (2007).

18. Liu, B: Uncertainty Theory: A Branch of Mathematics for Modeling Human Uncertainty. Springer-Verlag, Berlin (2010).

19. Liu, B: Some research problems in uncertainy theory. J Uncertain Syst. 3(1), 3–10 (2009).

20. Liu, B: Fuzzy process, hybrid process and uncertain process. J Uncertain Syst. 2(1), 3–16 (2008).

21. Chen, X, Liu, B: Existence and uniqueness theorem for uncertain differential equations. Fuzzy Optimization Decis. Making. 9(1), 69–81 (2010).

22. Liu, Y: An analytic method for solving uncertain differential equations. J. Uncertain Syst. 6(4), 244–249 (2012).

23. Yao, K: A type of nonlinear uncertain differential equations with analytic solution. J. Uncertainty Anal. Appl. 1, Article 8 (2013).

24. Yao, K, Chen, X: A numerical method for solving uncertain differential equations. J. Intell. Fuzzy Syst. 25(3), 825–832 (2013).

25. Bărbăcioru, IC: Uncertainty functional differential equations for finance. Surveys Mathematics Appl. 5, 275–284 (2010).

26. Ge, X, Zhu, Y: Existence and uniqueness theorem for uncertain delay differential equations. J. Comput. Inf. Syst. 8(20), 8341–8347 (2012).

27. Liu, H, Fei, W: Neutral uncertain delay differential equations. Inf. Int. Interdiscip. J. 16(2), 1225–1232 (2013).

28. Ge, X, Zhu, Y: A necessary condition of optimality for uncertain optimal control problem. Fuzzy Optimization Decis. Making. 12(1), 41–51 (2013).

29. Liu, B: Toward uncertain finance theory. J. Uncertainty Anal. Appl. 1, Article 1 (2013).

30. Zhu, Y: Uncertain optimal control with application to a portfolio selection model. Cybern. Syst. Int. J. 41(7), 535–547 (2010).

31. Yang, X, Gao, J: Uncertain differential games with application to capitalism. J Uncertainty Anal. App. 1, Article 17 (2013).

## Acknowledgements

This work is supported by the National Natural Science Foundation of China (No. 61273009).

## Author information

Authors

### Corresponding author

Correspondence to Yuanguo Zhu.

## Rights and permissions 