On the Existence and Uniqueness of Solutions for Local Fractional Differential Equations

Abstract

In this manuscript, we prove the existence and uniqueness of solutions for local fractional differential equations (LFDEs) with local fractional derivative operators (LFDOs). By using the contracting mapping theorem (CMT) and increasing and decreasing theorem (IDT), existence and uniqueness results are obtained. Some examples are presented to illustrate the validity of our results.

1. Introduction

Differential equations (DEs) with fractional order are generalizations of ordinary differential equations to non-integer order. Indeed, fractional differential equations have been subjected to many studies due to their frequent occurrence in different applications in physics, fluid mechanics, physiology, engineering, electrochemistry, and signals [1,2,3,4,5,6,7,8]. Therefore, numerical and analytical techniques have been developed to deal with fractional differential equations [9,10,11].

The existence and uniqueness of solutions of differential equations with the Riemann-Liouville fractional derivative and the Caputo fractional derivative using the Schauder fixed point theorem, the lower and upper solution method, the contracting mapping principle and the Leray-Schauder theory have been investigated in some papers [12,13,14,15].

Very recently in [16], the author studied the existence and uniqueness of solutions of some classes of differential equations with local fractional derivative operators. In this paper, we are interested in the existence and uniqueness of DEs with LFDOs of the form:

$$D_{\mathsf{\chi }}^{2\mathsf{\alpha }}\mathsf{\gamma }(\mathsf{\chi })=\mathrm{\Omega }(\mathsf{\chi },\mathsf{\gamma }),\mathsf{\gamma }(\mathsf{\upsilon })=y_0,D_{\mathsf{\chi }}^{\mathsf{\alpha }}\mathsf{\gamma }(\mathsf{\upsilon })={\mathsf{\gamma }}_1$$

(1)

$$D_{\mathsf{\chi }}^{3\mathsf{\alpha }}\mathsf{\gamma }(\mathsf{\chi })=\mathrm{\Omega }(\mathsf{\chi },\mathsf{\gamma }),\mathsf{\gamma }(\mathsf{\upsilon })=y_0,D_{\mathsf{\chi }}^{\mathsf{\alpha }}\mathsf{\gamma }(\mathsf{\upsilon })={\mathsf{\gamma }}_1,D_{\mathsf{\chi }}^{2\mathsf{\alpha }}\mathsf{\gamma }(\mathsf{\upsilon })={\mathsf{\gamma }}_2$$

(2)

and a system of DEs with LFDOs of the form

$$D_{\mathsf{\tau }}^{\mathsf{\alpha }}\mathrm{{\rm X}}=\mathrm{\Phi }(\mathsf{\tau },\mathrm{{\rm X}}),\mathrm{{\rm X}}(\mathsf{\mu })={\mathrm{{\rm X}}}_0$$

(3)

where

$$\mathrm{{\rm X}}=\left[\begin{array}{c}{\mathsf{\chi }}_1\\ {\mathsf{\chi }}_2\\ ⋮\\ {\mathsf{\chi }}_n\end{array}\right],\mathrm{\Phi }(\mathsf{\tau },\mathrm{{\rm X}})=\left[\begin{array}{c}{\mathrm{\Phi }}_1(\mathsf{\tau },{\mathsf{\chi }}_1,{\mathsf{\chi }}_2,\mathrm{...},{\mathsf{\chi }}_n)\\ {\mathrm{\Phi }}_2(\mathsf{\tau },{\mathsf{\chi }}_1,{\mathsf{\chi }}_2,\mathrm{...},{\mathsf{\chi }}_n)\\ ⋮\\ {\mathrm{\Phi }}_n(\mathsf{\tau },{\mathsf{\chi }}_1,{\mathsf{\chi }}_2,\mathrm{...},{\mathsf{\chi }}_n)\end{array}\right],{\mathrm{{\rm X}}}_0=\left[\begin{array}{c}{\mathsf{\chi }}_{10}\\ {\mathsf{\chi }}_{20}\\ ⋮\\ {\mathsf{\chi }}_{n0}\end{array}\right]$$

and $D^{\mathsf{\alpha }},D^{2\mathsf{\alpha }}$, and $D^{3\mathsf{\alpha }}$ are the LFDOs of order $\mathsf{\alpha },2\mathsf{\alpha }$, and $3\mathsf{\alpha }$ respectively and $\mathsf{\upsilon },\mathsf{\mu }\in [\mathsf{\sigma },\mathsf{\omega }]$. By using a variety of tools including the (CMT) and (IDT), existence and uniqueness results are obtained.

The rest of this paper is organized as follows. In Section 2, we give some necessary notations, definitions, and theorems. In Section 3, we study the existence and uniqueness of solutions of local fractional differential Equations (1)–(3) by using the contracting mapping theorem. Examples are given to illustrate our results in Section 4. Finally, in Section 5 we outline the main conclusions.

2. Basic Definitions and Preliminaries

In this section, we present some basic definitions and theorems that are used to prove our new results (see [16]).

Definition 1.

Let us consider that $\mathrm{\Psi }:[\mathsf{\sigma },\mathsf{\omega }]\times R^{\mathsf{\alpha }}\to R^{\mathsf{\alpha }}$ is LF continuous. We say that $\mathrm{\Psi }(\mathsf{\chi },\mathsf{\gamma })$ satisfies a Lipschitz continuous (LC) if exists $0<\mathsf{\eta }<1$ such that for all $\mathsf{\chi }\in [\mathsf{\sigma },\mathsf{\omega }]$

$$\left|\mathrm{\Psi }(\mathsf{\chi },{\mathsf{\gamma }}_1)-\mathrm{\Psi }(\mathsf{\chi },{\mathsf{\gamma }}_2)\right|\le {\mathsf{\eta }}^{\mathsf{\alpha }}\left|{\mathsf{\gamma }}_1-{\mathsf{\gamma }}_2\right|,0<\mathsf{\alpha }\le 1$$

Definition 2.

A generalized normed linear space on $\mathrm{\Lambda }$ of fractional dimension $\mathsf{\alpha },$ is a mapping ${\Vert \cdot \Vert }_{\mathsf{\alpha }}:\mathrm{\Lambda }\to R^{\mathsf{\alpha }},$ if it satisfies the following properties:

1. 

${\Vert {\mathsf{\chi }}^{\mathsf{\alpha }}\Vert }_{\mathsf{\alpha }}\ge 0$ & ${\Vert {\mathsf{\chi }}^{\mathsf{\alpha }}\Vert }_{\mathsf{\alpha }}=0$ if and only if ${\mathsf{\chi }}^{\mathsf{\alpha }}=0^{\mathsf{\alpha }}$

2. 

${\Vert {\mathsf{\kappa }}^{\mathsf{\alpha }}{\mathsf{\chi }}^{\mathsf{\alpha }}\Vert }_{\mathsf{\alpha }}=\left|{\mathsf{\kappa }}^{\mathsf{\alpha }}\right|{\Vert {\mathsf{\chi }}^{\mathsf{\alpha }}\Vert }_{\mathsf{\alpha }}$

3. 

${\Vert {\mathsf{\chi }}^{\mathsf{\alpha }}+{\mathsf{\gamma }}^{\mathsf{\alpha }}\Vert }_{\mathsf{\alpha }}\le {\Vert {\mathsf{\chi }}^{\mathsf{\alpha }}\Vert }_{\mathsf{\alpha }}+{\Vert {\mathsf{\gamma }}^{\mathsf{\alpha }}\Vert }_{\mathsf{\alpha }}$, for ${\mathsf{\chi }}^{\mathsf{\alpha }},{\mathsf{\gamma }}^{\mathsf{\alpha }}\in \mathrm{\Lambda }$ and $\mathsf{\kappa }\in R$

Definition 3.

Let $\left(X,{\Vert \cdot \Vert }_{\mathsf{\alpha }}\right)$ be a generalized Banach space (GBS), and let $T:X\to X$ be a map. If a number ${\mathsf{\beta }}^{\mathsf{\alpha }}\in (0^{\mathsf{\alpha }},1^{\mathsf{\alpha }})$ and

$${\Vert T({\mathsf{\chi }}^{\mathsf{\alpha }})-T({\mathsf{\gamma }}^{\mathsf{\alpha }})\Vert }_{\mathsf{\alpha }}\le {\mathsf{\beta }}^{\mathsf{\alpha }}{\Vert {\mathsf{\chi }}^{\mathsf{\alpha }}-{\mathsf{\gamma }}^{\mathsf{\alpha }}\Vert }_{\mathsf{\alpha }}$$

for ${\mathsf{\chi }}^{\mathsf{\alpha }},{\mathsf{\gamma }}^{\mathsf{\alpha }}\in X$. Then $T$ is called contraction mapping (CM) on GBS $\left(X,{\Vert \cdot \Vert }_{\mathsf{\alpha }}\right)$.

Definition 4.

Let $\left(X,{\Vert \cdot \Vert }_{\mathsf{\alpha }}\right)$ be a GBS and let $T:X\to X$. If ${\mathsf{\chi }}^{\mathsf{\alpha }}\in X$ and ${\Vert T{\mathsf{\chi }}^{\mathsf{\alpha }}-{\mathsf{\chi }}^{\mathsf{\alpha }}\Vert }_{\mathsf{\alpha }}=0$, then ${\mathsf{\chi }}^{\mathsf{\alpha }}$ is called a fixed point (FP) of $T$.

Theorem 1.

(CMT): A contracting mapping $T$ defined on a complete GBS $\left(X,{\Vert \cdot \Vert }_{\mathsf{\alpha }}\right)$ has a unique FP.

Proof. 

See [14].

Theorem 2.

Assume that $\mathrm{\Omega }\in C_{\mathsf{\alpha }}[\mathsf{\sigma },\mathsf{\omega }]$ ($C_{\mathsf{\alpha }}$ is called a LF continuous set) and $\mathrm{\Omega }\in D_{\mathsf{\alpha }}(\mathsf{\sigma },\mathsf{\omega })$ ($D_{\mathsf{\alpha }}$ is called a LF derivative set). Then a point $\mathsf{\tau }\in (\mathsf{\sigma },\mathsf{\omega })$ with

$$\mathrm{\Omega }(\mathsf{\omega })-\mathrm{\Omega }(\mathsf{\sigma })={\mathrm{\Omega }}^{(\mathsf{\alpha })}(\mathsf{\tau }){(\mathsf{\omega }-\mathsf{\sigma })}^{\mathsf{\alpha }},0<\mathsf{\alpha }\le 1$$

Proof. 

See [14].

Theorem 3.

(Increasing and Decreasing Theorem)

• If ${\mathrm{\Omega }}^{(\mathsf{\alpha })}(\mathsf{\chi })>0$ on $[\mathsf{\sigma },\mathsf{\omega }]$, then $\mathrm{\Omega }(\mathsf{\chi })$ is an increasing on that interval.
• If ${\mathrm{\Omega }}^{(\mathsf{\alpha })}(x)<0$ on $[\mathsf{\sigma },\mathsf{\omega }]$, then $\mathrm{\Omega }(\mathsf{\chi })$ is a decreasing on that interval.

Proof. 

See in [14].

3. Main Results

Here, we investigate the existence and uniqueness of solutions of the LFDEs (1), (2) and (3). First, we prove the existence and uniqueness of solutions of the LFDEs by applying (the CMT).

Theorem 4.

Let us consider that $T:X\to X$ is a map on the complete GBS $\left(X,{\Vert \cdot \Vert }_{\mathsf{\alpha }}\right)$ such that for some $m\ge 1,T^m$ is contracting. Then $T$ has a unique FP.

Proof. 

Since $T^m$ is CM on $X$, then we have $T^m$ has a unique FP ${\mathsf{\xi }}^{\mathsf{\alpha }}.$

$$\begin{array}{cc}\hfill {\Vert T{\mathsf{\xi }}^{\mathsf{\alpha }}-{\mathsf{\xi }}^{\mathsf{\alpha }}\Vert }_{\mathsf{\alpha }}& ={\Vert T^{m+1}{\mathsf{\xi }}^{\mathsf{\alpha }}-T^m{\mathsf{\xi }}^{\mathsf{\alpha }}\Vert }_{\mathsf{\alpha }}\hfill \\ & ={\Vert T^m(T{\mathsf{\xi }}^{\mathsf{\alpha }})-T^m({\mathsf{\xi }}^{\mathsf{\alpha }})\Vert }_{\mathsf{\alpha }}\hfill \\ & \le {\mathsf{\beta }}^{\mathsf{\alpha }}{\Vert T{\mathsf{\xi }}^{\mathsf{\alpha }}-{\mathsf{\xi }}^{\mathsf{\alpha }}\Vert }_{\mathsf{\alpha }}\hfill \end{array}$$

Moreover, since ${\mathsf{\beta }}^{\mathsf{\alpha }}\in (0^{\mathsf{\alpha }},1^{\mathsf{\alpha }})$, then ${\Vert T{\mathsf{\xi }}^{\mathsf{\alpha }}-{\mathsf{\xi }}^{\mathsf{\alpha }}\Vert }_{\mathsf{\alpha }}=0,$ in other words, $T{\mathsf{\xi }}^{\mathsf{\alpha }}={\mathsf{\xi }}^{\mathsf{\alpha }}.$ Therefore, ${\mathsf{\xi }}^{\mathsf{\alpha }}$ is FP of $T$. For uniqueness, assume that ${\mathsf{\xi }}_1^{\mathsf{\alpha }},{\mathsf{\xi }}_2^{\mathsf{\alpha }}$ are FPs of $T$ such that $T{\mathsf{\xi }}_1^{\mathsf{\alpha }}={\mathsf{\xi }}_1^{\mathsf{\alpha }},T{\mathsf{\xi }}_2^{\mathsf{\alpha }}={\mathsf{\xi }}_2^{\mathsf{\alpha }}$ then ${\mathsf{\xi }}_1^{\mathsf{\alpha }},{\mathsf{\xi }}_2^{\mathsf{\alpha }}$ FPs of $T^m$. Therefore ${\mathsf{\xi }}_1^{\mathsf{\alpha }}={\mathsf{\xi }}_2^{\mathsf{\alpha }}.$

Theorem 5.

Assume that $\mathrm{\Omega }:[\mathsf{\sigma },\mathsf{\omega }]\times R^{\mathsf{\alpha }}\to R^{\mathsf{\alpha }}$ is LF continuous map. Then $\mathrm{\Omega }$ is LC.

Proof. 

Since $\frac{{\partial }^{\mathsf{\alpha }}\mathrm{\Omega }}{\partial {\mathsf{\gamma }}^{\mathsf{\alpha }}}$ is LF continuous, then it attains a maximum value, denoted by

$${\mathsf{\eta }}^{\mathsf{\alpha }}=\underset{(\mathsf{\chi },\mathsf{\gamma })\in Dom\mathrm{\Omega }}{\max }\left|\frac{{\partial }^{\mathsf{\alpha }}\mathrm{\Omega }(\mathsf{\chi },\mathsf{\gamma })}{\partial {\mathsf{\gamma }}^{\mathsf{\alpha }}}\right|$$

Now, let us consider $(\mathsf{\chi },{\mathsf{\gamma }}_1),(\mathsf{\chi },{\mathsf{\gamma }}_2)\in Dom\mathrm{\Omega }$.

Using Theorem 2, there is a point $(\mathsf{\chi },\mathsf{\tau })\in Dom\mathrm{\Omega }$ such that:

$$\left|\mathrm{\Omega }(\mathsf{\chi },{\mathsf{\gamma }}_1)-\mathrm{\Omega }(\mathsf{\chi },{\mathsf{\gamma }}_2)\right|=\left|\frac{{\partial }^{\mathsf{\alpha }}\mathrm{\Omega }(\mathsf{\chi },\mathsf{\tau })}{\partial {\mathsf{\gamma }}^{\mathsf{\alpha }}}\right|\left|{\mathsf{\gamma }}_1-{\mathsf{\gamma }}_2\right|\le {\mathsf{\eta }}^{\mathsf{\alpha }}\left|{\mathsf{\gamma }}_1-{\mathsf{\gamma }}_2\right|$$

Theorem 6.

If $\mathsf{\upsilon }\in [\mathsf{\sigma },\mathsf{\omega }]$ closed interval, ${\mathsf{\beta }}_0,{\mathsf{\beta }}_1\in R^{\mathsf{\alpha }}$ and $\mathrm{\Omega }:[\mathsf{\sigma },\mathsf{\omega }]\times R^{\mathsf{\alpha }}\to R^{\mathsf{\alpha }}$ is an LF continuous function and satisfies a LC, then the LFDE:

$$D_{\mathsf{\chi }}^{2\mathsf{\alpha }}\mathsf{\gamma }(\mathsf{\chi })=\mathrm{\Omega }(\mathsf{\chi },\mathsf{\gamma })$$

(4)

subject to the initial conditions

$$\mathsf{\gamma }(\mathsf{\upsilon })={\mathsf{\beta }}_0,{\mathsf{\gamma }}^{(\mathsf{\alpha })}(\mathsf{\upsilon })={\mathsf{\beta }}_1$$

(5)

has a unique solution in $C_{\mathsf{\alpha }}[\mathsf{\sigma },\mathsf{\omega }].$

Proof. 

Let the map $T:C_{\mathsf{\alpha }}[\mathsf{\sigma },\mathsf{\omega }]\to C_{\mathsf{\alpha }}[\mathsf{\sigma },\mathsf{\omega }]$ be defined by

$$T\mathsf{\zeta }(\mathsf{\chi })={\mathsf{\beta }}_0+\frac{{(\mathsf{\chi }-\mathsf{\upsilon })}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\mathsf{\beta }}_1+\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{\mathsf{\upsilon }}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\tau })}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}\mathrm{\Omega }(\mathsf{\tau },\mathsf{\zeta }(\mathsf{\tau })){(d\mathsf{\tau })}^{\mathsf{\alpha }}}$$

(6)

and ${\mathsf{\zeta }}_1(\mathsf{\chi }),{\mathsf{\zeta }}_2(\mathsf{\chi })\in C_{\mathsf{\alpha }}[\mathsf{\sigma },\mathsf{\omega }].$

We first prove by induction that

$$\begin{array}{cc}\hfill {\Vert T^n{\mathsf{\zeta }}_1(\mathsf{\chi })-T^n{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}& \le \frac{{\mathsf{\eta }}^{n\mathsf{\alpha }}{\left|\mathsf{\chi }-\mathsf{\upsilon }\right|}^{2n\mathsf{\alpha }}}{{\mathrm{\Gamma }}^n(1+2\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}\hfill \\ & \le \frac{{\mathsf{\eta }}^{n\mathsf{\alpha }}{\left|\mathsf{\omega }-\mathsf{\sigma }\right|}^{2n\mathsf{\alpha }}}{{\mathrm{\Gamma }}^n(1+2\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }},n=1,2,\mathrm{......}\hfill \end{array}$$

(7)

In fact, for $n=1$, we obtain

$$\begin{array}{cc}\hfill {\Vert T{\mathsf{\zeta }}_1(\mathsf{\chi })-T{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}& =\left|T{\mathsf{\zeta }}_1(\mathsf{\chi })-T{\mathsf{\zeta }}_2(\mathsf{\chi })\right|\hfill \\ & =\left|\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{\mathsf{\upsilon }}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\tau })}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}\left[\mathrm{\Omega }(\mathsf{\tau },{\mathsf{\zeta }}_1(\mathsf{\tau }))-\mathrm{\Omega }(\mathsf{\tau },{\mathsf{\zeta }}_2(\mathsf{\tau }))\right]{(d\mathsf{\tau })}^{\mathsf{\alpha }}}\right|\hfill \\ & \le \left|\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{\mathsf{\upsilon }}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\tau })}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\mathsf{\eta }}^{\mathsf{\alpha }}\left|{\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\right|{(d\mathsf{\tau })}^{\mathsf{\alpha }}}\right|\hfill \\ & \le {\mathsf{\eta }}^{\mathsf{\alpha }}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}\left|\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{\mathsf{\upsilon }}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\tau })}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{(d\mathsf{\tau })}^{\mathsf{\alpha }}}\right|\hfill \\ & \le \frac{{\mathsf{\eta }}^{\mathsf{\alpha }}{\left|\mathsf{\chi }-\mathsf{\upsilon }\right|}^{2\mathsf{\alpha }}}{\mathrm{\Gamma }(1+2\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}\hfill \\ & \le \frac{{\mathsf{\eta }}^{\mathsf{\alpha }}{\left|\mathsf{\omega }-\mathsf{\sigma }\right|}^{2\mathsf{\alpha }}}{\mathrm{\Gamma }(1+2\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}\hfill \end{array}$$

For $n=2$,

$$\begin{array}{cc}\hfill {\Vert T^2{\mathsf{\zeta }}_1(\mathsf{\chi })-T^2{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}=& \left|T^2{\mathsf{\zeta }}_1(\mathsf{\chi })-T^2{\mathsf{\zeta }}_2(\mathsf{\chi })\right|\hfill \\ & =\left|\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{\mathsf{\upsilon }}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\tau })}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}\left[\mathrm{\Omega }(\mathsf{\tau },T{\mathsf{\zeta }}_1(\mathsf{\tau })-\mathrm{\Omega }(\mathsf{\tau },T{\mathsf{\zeta }}_2(\mathsf{\tau }))\right]{(d\mathsf{\tau })}^{\mathsf{\alpha }}}\right|\hfill \\ & \le \left|\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{\mathsf{\upsilon }}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\tau })}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\mathsf{\eta }}^{\mathsf{\alpha }}\left|T{\mathsf{\zeta }}_1(\mathsf{\chi })-T{\mathsf{\zeta }}_2(\mathsf{\chi })\right|{(d\mathsf{\tau })}^{\mathsf{\alpha }}}\right|\hfill \\ & \le \frac{{\mathsf{\eta }}^{2\mathsf{\alpha }}{\left|\mathsf{\chi }-\mathsf{\upsilon }\right|}^{2\mathsf{\alpha }}}{\mathrm{\Gamma }(1+2\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}\left|\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{\mathsf{\upsilon }}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\tau })}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{(d\mathsf{\tau })}^{\mathsf{\alpha }}}\right|\hfill \\ & \le \frac{{\mathsf{\eta }}^{2\mathsf{\alpha }}{\left|\mathsf{\chi }-\mathsf{\upsilon }\right|}^{4\mathsf{\alpha }}}{{\mathrm{\Gamma }}^2(1+2\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}\hfill \\ & \le \frac{{\mathsf{\eta }}^{2\mathsf{\alpha }}{\left|\mathsf{\omega }-\mathsf{\sigma }\right|}^{4\mathsf{\alpha }}}{{\mathrm{\Gamma }}^2(1+2\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}\hfill \end{array}$$

We suppose the desired inequality holds for $n=k$.

$$\begin{array}{cc}\hfill {\Vert T^k{\mathsf{\zeta }}_1(\mathsf{\chi })-T^k{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}& \le \frac{{\mathsf{\eta }}^{k\mathsf{\alpha }}{\left|\mathsf{\chi }-\mathsf{\upsilon }\right|}^{2k\mathsf{\alpha }}}{{\mathrm{\Gamma }}^n(1+2\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}\hfill \\ & \le \frac{{\mathsf{\eta }}^{k\mathsf{\alpha }}{\left|\mathsf{\omega }-\mathsf{\sigma }\right|}^{2k\mathsf{\alpha }}}{{\mathrm{\Gamma }}^n(1+2\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}\hfill \end{array}$$

Then,

$$\begin{array}{cc}\hfill {\Vert T^{k+1}{\mathsf{\zeta }}_1(\mathsf{\chi })-T^{k+1}{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}& =\left|T^{k+1}{\mathsf{\zeta }}_1(\mathsf{\chi })-T^{k+1}{\mathsf{\zeta }}_2(\mathsf{\chi })\right|\hfill \\ & =\left|\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{\mathsf{\upsilon }}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\tau })}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}\left[\mathrm{\Omega }(\mathsf{\tau },T^k{\mathsf{\zeta }}_1(\mathsf{\tau })-\mathrm{\Omega }(\mathsf{\tau },T^k{\mathsf{\zeta }}_2(\mathsf{\tau }))\right]{(d\mathsf{\tau })}^{\mathsf{\alpha }}}\right|\hfill \\ & \le \left|\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{\mathsf{\upsilon }}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\tau })}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\mathsf{\eta }}^{\mathsf{\alpha }}\left|T^k{\mathsf{\zeta }}_1(\mathsf{\chi })-T^k{\mathsf{\zeta }}_2(\mathsf{\chi })\right|{(d\mathsf{\tau })}^{\mathsf{\alpha }}}\right|\hfill \\ & \le \left|\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{\mathsf{\upsilon }}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\tau })}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\mathsf{\eta }}^{\mathsf{\alpha }}{\Vert T^k{\mathsf{\zeta }}_1(\mathsf{\chi })-T^k{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}{(d\mathsf{\tau })}^{\mathsf{\alpha }}}\right|\hfill \\ & \le \frac{{\mathsf{\eta }}^{(k+1)\mathsf{\alpha }}{\left|\mathsf{\chi }-\mathsf{\upsilon }\right|}^{2k\mathsf{\alpha }}}{{\mathrm{\Gamma }}^k(1+2\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}\left|\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{\mathsf{\upsilon }}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\tau })}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{(d\mathsf{\tau })}^{\mathsf{\alpha }}}\right|\hfill \\ & \le \frac{{\mathsf{\eta }}^{(k+1)\mathsf{\alpha }}{\left|\mathsf{\chi }-\mathsf{\upsilon }\right|}^{2(k+1)\mathsf{\alpha }}}{{\mathrm{\Gamma }}^{k+1}(1+2\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}\hfill \\ & \le \frac{{\mathsf{\eta }}^{(k+1)\mathsf{\alpha }}{\left|\mathsf{\omega }-\mathsf{\sigma }\right|}^{2(k+1)\mathsf{\alpha }}}{{\mathrm{\Gamma }}^{k+1}(1+2\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}\hfill \end{array}$$

Hence, the estimates (7) hold.

Now, we have

$$\frac{{\mathsf{\eta }}^{n\mathsf{\alpha }}{\left|\mathsf{\omega }-\mathsf{\sigma }\right|}^{2n\mathsf{\alpha }}}{{\mathrm{\Gamma }}^n(1+2\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}\to 0\mathrm{as}n\to \infty$$

So far $n$ sufficiently large

$$0<\frac{{\mathsf{\eta }}^{n\mathsf{\alpha }}{\left|\mathsf{\omega }-\mathsf{\sigma }\right|}^{2n\mathsf{\alpha }}}{{\mathrm{\Gamma }}^n(1+2\mathsf{\alpha })}<1$$

and Tⁿ is a contraction on $C_{\mathsf{\alpha }}[\mathsf{\sigma },\mathsf{\omega }].$

Therefore $T$ has a unique fixed point in $C_{\mathsf{\alpha }}[\mathsf{\sigma },\mathsf{\omega }],$ which gives a unique solution to the local fractional differential.

Theorem 7.

If $\mathsf{\upsilon }\in [\mathsf{\sigma },\mathsf{\omega }]$, ${\mathsf{\beta }}_0,{\mathsf{\beta }}_1,{\mathsf{\beta }}_2\in R^{\mathsf{\alpha }}$ and $\mathrm{\Omega }:[\mathsf{\sigma },\mathsf{\omega }]\times R^{\mathsf{\alpha }}\to R^{\mathsf{\alpha }}$ is a local fractional continuous function and satisfies a Lipschitz continuous, then the local fractional differential equation:

$$D_{\mathsf{\chi }}^{3\mathsf{\alpha }}\mathsf{\gamma }(\mathsf{\chi })=\mathrm{\Omega }(\mathsf{\chi },\mathsf{\gamma })$$

(8)

$$\mathsf{\gamma }(\mathsf{\upsilon })={\mathsf{\beta }}_0,{\mathsf{\gamma }}^{(\mathsf{\alpha })}(\mathsf{\upsilon })={\mathsf{\beta }}_1,{\mathsf{\gamma }}^{(2\mathsf{\alpha })}(\mathsf{\upsilon })={\mathsf{\beta }}_2$$

(9)

has a unique solution in $[\mathsf{\sigma },\mathsf{\omega }].$

Proof. 

Let the map $T:C_{\mathsf{\alpha }}[\mathsf{\sigma },\mathsf{\omega }]\to C_{\mathsf{\alpha }}[\mathsf{\sigma },\mathsf{\omega }]$ be defined by

$$T\mathsf{\zeta }(\mathsf{\chi })={\mathsf{\beta }}_0+\frac{{(\mathsf{\chi }-\mathsf{\upsilon })}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\mathsf{\beta }}_1+\frac{{(\mathsf{\chi }-\mathsf{\upsilon })}^{2\mathsf{\alpha }}}{\mathrm{\Gamma }(1+2\mathsf{\alpha })}{\mathsf{\beta }}_2+\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{\mathsf{\upsilon }}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\tau })}^{2\mathsf{\alpha }}}{\mathrm{\Gamma }(1+2\mathsf{\alpha })}\mathrm{\Omega }(\mathsf{\tau },\mathsf{\zeta }(\mathsf{\tau })){(d\mathsf{\tau })}^{\mathsf{\alpha }}}$$

(10)

and ${\mathsf{\zeta }}_1(\mathsf{\chi }),{\mathsf{\zeta }}_2(\mathsf{\chi })\in C_{\mathsf{\alpha }}[\mathsf{\sigma },\mathsf{\omega }].$

We claim that for all $n$,

$$\begin{array}{cc}\hfill {\Vert T^n{\mathsf{\zeta }}_1(\mathsf{\chi })-T^n{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}& \le \frac{{\mathsf{\eta }}^{n\mathsf{\alpha }}{\left|\mathsf{\chi }-\mathsf{\upsilon }\right|}^{3n\mathsf{\alpha }}}{{\mathrm{\Gamma }}^n(1+3\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}\hfill \\ & \le \frac{{\mathsf{\eta }}^{n\mathsf{\alpha }}{\left|\mathsf{\omega }-\mathsf{\sigma }\right|}^{3n\mathsf{\alpha }}}{{\mathrm{\Gamma }}^n(1+3\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }},n=1,2,\mathrm{......}\hfill \end{array}$$

(11)

The case is $n=1$ has already shown. The induction step is as follows:

$$\begin{array}{cc}\hfill {\Vert T^{n+1}{\mathsf{\zeta }}_1(\mathsf{\chi })-T^{n+1}{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}& =\left|T^{n+1}{\mathsf{\zeta }}_1(\mathsf{\chi })-T^{n+1}{\mathsf{\zeta }}_2(\mathsf{\chi })\right|\hfill \\ & =\left|\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{\mathsf{\upsilon }}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\tau })}^{2\mathsf{\alpha }}}{\mathrm{\Gamma }(1+2\mathsf{\alpha })}\left[\mathrm{\Omega }(\mathsf{\tau },T^n{\mathsf{\zeta }}_1(\mathsf{\tau })-\mathrm{\Omega }(\mathsf{\tau },T^n{\mathsf{\zeta }}_2(\mathsf{\tau }))\right]{(d\mathsf{\tau })}^{\mathsf{\alpha }}}\right|\hfill \\ & \le \left|\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{\mathsf{\upsilon }}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\tau })}^{2\mathsf{\alpha }}}{\mathrm{\Gamma }(1+2\mathsf{\alpha })}{\mathsf{\eta }}^{\mathsf{\alpha }}\left|T^n{\mathsf{\zeta }}_1(\mathsf{\chi })-T^n{\mathsf{\zeta }}_2(\mathsf{\chi })\right|{(d\mathsf{\tau })}^{\mathsf{\alpha }}}\right|\hfill \\ & \le \left|\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{\mathsf{\upsilon }}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\tau })}^{2\mathsf{\alpha }}}{\mathrm{\Gamma }(1+2\mathsf{\alpha })}{\mathsf{\eta }}^{\mathsf{\alpha }}{\Vert T^n{\mathsf{\zeta }}_1(\mathsf{\chi })-T^n{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}{(d\mathsf{\tau })}^{\mathsf{\alpha }}}\right|\hfill \\ & \le \frac{{\mathsf{\eta }}^{(n+1)\mathsf{\alpha }}{\left|\mathsf{\chi }-\mathsf{\upsilon }\right|}^{3n\mathsf{\alpha }}}{{\mathrm{\Gamma }}^n(1+3\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}\left|\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{\mathsf{\upsilon }}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\tau })}^{2\mathsf{\alpha }}}{\mathrm{\Gamma }(1+2\mathsf{\alpha })}{(d\mathsf{\tau })}^{\mathsf{\alpha }}}\right|\hfill \\ & \le \frac{{\mathsf{\eta }}^{(n+1)\mathsf{\alpha }}{\left|\mathsf{\chi }-\mathsf{\upsilon }\right|}^{3(n+1)\mathsf{\alpha }}}{{\mathrm{\Gamma }}^{n+1}(1+3\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}\hfill \\ & \le \frac{{\mathsf{\eta }}^{(k+1)\mathsf{\alpha }}{\left|\mathsf{\omega }-\mathsf{\sigma }\right|}^{3(n+1)\mathsf{\alpha }}}{{\mathrm{\Gamma }}^{n+1}(1+3\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}\hfill \end{array}$$

Hence, the estimates (11) hold.

Now, we have

$$\frac{{\mathsf{\eta }}^{n\mathsf{\alpha }}{\left|\mathsf{\omega }-\mathsf{\sigma }\right|}^{3n\mathsf{\alpha }}}{{\mathrm{\Gamma }}^n(1+3\mathsf{\alpha })}{\Vert {\mathsf{\zeta }}_1(\mathsf{\chi })-{\mathsf{\zeta }}_2(\mathsf{\chi })\Vert }_{\mathsf{\alpha }}\to 0\mathrm{as}n\to \infty$$

So far $n$ is sufficiently large

$$0<\frac{{\mathsf{\eta }}^{n\mathsf{\alpha }}{\left|\mathsf{\omega }-\mathsf{\sigma }\right|}^{3n\mathsf{\alpha }}}{{\mathrm{\Gamma }}^n(1+3\mathsf{\alpha })}<1$$

and Tⁿ is a contraction on $C_{\mathsf{\alpha }}[\mathsf{\sigma },\mathsf{\omega }].$

Therefore $T$ has a unique fixed point in $C_{\mathsf{\alpha }}[\mathsf{\sigma },\mathsf{\omega }].$ This gives an unique solution to the local fractional differential.

Next, we apply the increasing and decreasing test to prove the uniqueness of the solution of the system of LFDEs.

Theorem 8.

If $\mathsf{\mu }\in [\mathsf{\sigma },\mathsf{\omega }]$, and $\mathrm{\Phi }:[\mathsf{\sigma },\mathsf{\omega }]\times R_n^{\mathsf{\alpha }}\to R_n^{\mathsf{\alpha }}$ is LF continuous and satisfies a Lipschitz continuous, then there is at most one solution $X(\mathsf{\tau })$ of the local fractional differential system

$$D_{\mathsf{\tau }}^{\mathsf{\alpha }}X=\mathrm{\Phi }(\mathsf{\tau },X)$$

(12)

that satisfies a given initial condition $X(\mathsf{\mu })=X_0\in R_n^{\mathsf{\alpha }}.$

Proof. 

Suppose that $\mathrm{\Phi }(\mathsf{\tau },X)$ satisfies the LC.

$${\Vert \mathrm{\Phi }(\mathsf{\tau },X)-\mathrm{\Phi }(\mathsf{\tau },Y)\Vert }_{\mathsf{\alpha }}\le {\mathsf{\eta }}^{\mathsf{\alpha }}{\Vert X-Y\Vert }_{\mathsf{\alpha }}$$

For any $(\mathsf{\tau },X),(\mathsf{\tau },Y)\in Dom\mathrm{\Phi }$. Let $X(\mathsf{\tau })=\left[{\mathsf{\chi }}_1(\mathsf{\tau }),{\mathsf{\chi }}_2(\mathsf{\tau }),\mathrm{...},{\mathsf{\chi }}_n(\mathsf{\tau })\right]$ and $Y(\mathsf{\tau })=\left[{\mathsf{\gamma }}_1(\mathsf{\tau }),{\mathsf{\gamma }}_2(\mathsf{\tau }),\mathrm{...},{\mathsf{\gamma }}_n(\mathsf{\tau })\right]$ be two solutions of (12) such that $X(\mathsf{\mu })=Y(\mathsf{\mu })=X_0.$

Let $\mathsf{\vartheta }(\mathsf{\tau })={\Vert X(\mathsf{\tau })-Y(\mathsf{\tau })\Vert }_{\mathsf{\alpha }}^2={\displaystyle \sum _{i=1}^n{\left[{\mathsf{\chi }}_i(\mathsf{\tau })-{\mathsf{\gamma }}_i(\mathsf{\tau })\right]}^2},$ then

$$\begin{array}{cc}\hfill \frac{d^{\mathsf{\alpha }}}{d{\mathsf{\tau }}^{\mathsf{\alpha }}}\mathsf{\vartheta }(\mathsf{\tau })& ={\displaystyle \sum _{i=1}^{n}2\left[{\mathsf{\chi }}_i(\mathsf{\tau })-{\mathsf{\gamma }}_i(\mathsf{\tau })\right]\left[{\mathsf{\chi }}_i^{(\mathsf{\alpha })}(\mathsf{\tau })-{\mathsf{\gamma }}_i^{(\mathsf{\alpha })}(\mathsf{\tau })\right]}\hfill \\ & ={\displaystyle \sum _{i=1}^{n}2\left[{\mathsf{\chi }}_i(\mathsf{\tau })-{\mathsf{\gamma }}_i(\mathsf{\tau })\right]\left[{\mathrm{\Phi }}_i(\mathsf{\tau },X(\mathsf{\tau })-{\mathrm{\Phi }}_i(\mathsf{\tau },Y(\mathsf{\tau })\right]}\hfill \\ & =2\left[X(\mathsf{\tau })-Y(\mathsf{\tau })\right]\left[\mathrm{\Phi }(\mathsf{\tau },X(\mathsf{\tau })-\mathrm{\Phi }(\mathsf{\tau },Y(\mathsf{\tau })\right]\hfill \end{array}$$

Since $\frac{d^{\mathsf{\alpha }}}{d{\mathsf{\tau }}^{\mathsf{\alpha }}}\mathsf{\vartheta }(\mathsf{\tau })\le \left|\frac{d^{\mathsf{\alpha }}}{d{\mathsf{\tau }}^{\mathsf{\alpha }}}\mathsf{\vartheta }(\mathsf{\tau })\right|,$ we obtain

$$\begin{array}{cc}\hfill \frac{d^{\mathsf{\alpha }}}{d{\mathsf{\tau }}^{\mathsf{\alpha }}}\mathsf{\vartheta }(\mathsf{\tau })& \le 2\left|\mathrm{\Phi }(\mathsf{\tau },X(\mathsf{\tau })-\mathrm{\Phi }(\mathsf{\tau },Y(\mathsf{\tau })\right|\left|X-Y\right|\hfill \\ & \le 2{\Vert \mathrm{\Phi }(\mathsf{\tau },X)-\mathrm{\Phi }(\mathsf{\tau },Y)\Vert }_{\mathsf{\alpha }}{\Vert X-Y\Vert }_{\mathsf{\alpha }}\hfill \\ & \le 2{\mathsf{\eta }}^{\mathsf{\alpha }}{\Vert X-Y\Vert }_{\mathsf{\alpha }}^2=2{\mathsf{\eta }}^{\mathsf{\alpha }}\mathsf{\vartheta }(\mathsf{\tau }).\hfill \end{array}$$

Hence, we have

$${\mathsf{\vartheta }}^{(\mathsf{\alpha })}(\mathsf{\tau })-2{\mathsf{\eta }}^{\mathsf{\alpha }}\mathsf{\vartheta }(\mathsf{\tau })\le 0$$

$$\left({\mathsf{\vartheta }}^{(\mathsf{\alpha })}(\mathsf{\tau })-2{\mathsf{\eta }}^{\mathsf{\alpha }}\mathsf{\vartheta }(\mathsf{\tau })\right)E_{\mathsf{\alpha }}(-2{\mathsf{\eta }}^{\mathsf{\alpha }}{\mathsf{\tau }}^{\mathsf{\alpha }})\le 0$$

$$\frac{d^{\mathsf{\alpha }}}{d{\mathsf{\tau }}^{\mathsf{\alpha }}}\left[\mathsf{\vartheta }(\mathsf{\tau })E_{\mathsf{\alpha }}(-2{\mathsf{\eta }}^{\mathsf{\alpha }}{\mathsf{\tau }}^{\mathsf{\alpha }})\right]\le 0$$

Thus, $\mathsf{\vartheta }(\mathsf{\tau })E_{\mathsf{\alpha }}(-2{\mathsf{\eta }}^{\mathsf{\alpha }}{\mathsf{\tau }}^{\mathsf{\alpha }})$ is a decreasing function.

Therefore $\mathsf{\vartheta }(\mathsf{\tau })E_{\mathsf{\alpha }}(-2{\mathsf{\eta }}^{\mathsf{\alpha }}{\mathsf{\tau }}^{\mathsf{\alpha }})\le$ $\mathsf{\vartheta }(\mathsf{\sigma })E_{\mathsf{\alpha }}(-2{\mathsf{\eta }}^{\mathsf{\alpha }}{\mathsf{\sigma }}^{\mathsf{\alpha }})=0,$ for $\mathsf{\tau }>\mathsf{\sigma }$.

Since $\mathsf{\vartheta }(\mathsf{\tau })\ge 0$, we obtain $\mathsf{\vartheta }(\mathsf{\tau })=0$, for $\mathsf{\tau }>\mathsf{\sigma }$. Hence, $X(\mathsf{\tau })=Y(\mathsf{\tau }),$ for $\mathsf{\tau }>\mathsf{\sigma }$.

Now, let us consider the case where $\mathsf{\tau }<\mathsf{\sigma }$.

Since $-\frac{d^{\mathsf{\alpha }}}{d{\mathsf{\tau }}^{\mathsf{\alpha }}}\mathsf{\vartheta }(\mathsf{\tau })\le \left|\frac{d^{\mathsf{\alpha }}}{d{\mathsf{\tau }}^{\mathsf{\alpha }}}\mathsf{\vartheta }(\mathsf{\tau })\right|,$ we have

$$-\frac{d^{\mathsf{\alpha }}}{d{\mathsf{\tau }}^{\mathsf{\alpha }}}\mathsf{\vartheta }(\mathsf{\tau })\le 2{\mathsf{\eta }}^{\mathsf{\alpha }}\mathsf{\vartheta }(\mathsf{\tau })$$

$${\mathsf{\vartheta }}^{(\mathsf{\alpha })}(\mathsf{\tau })+2{\mathsf{\eta }}^{\mathsf{\alpha }}\mathsf{\vartheta }(\mathsf{\tau })\ge 0$$

$$\left({\mathsf{\vartheta }}^{(\mathsf{\alpha })}(\mathsf{\tau })+2{\mathsf{\eta }}^{\mathsf{\alpha }}\mathsf{\vartheta }(\mathsf{\tau })\right)E_{\mathsf{\alpha }}(2{\mathsf{\eta }}^{\mathsf{\alpha }}{\mathsf{\tau }}^{\mathsf{\alpha }})\ge 0$$

$$\frac{d^{\mathsf{\alpha }}}{d{\mathsf{\tau }}^{\mathsf{\alpha }}}\left[\mathsf{\vartheta }(\mathsf{\tau })E_{\mathsf{\alpha }}(2{\mathsf{\eta }}^{\mathsf{\alpha }}{\mathsf{\tau }}^{\mathsf{\alpha }})\right]\ge 0$$

So $\mathsf{\vartheta }(\mathsf{\tau })E_{\mathsf{\alpha }}(2{\mathsf{\eta }}^{\mathsf{\alpha }}{\mathsf{\tau }}^{\mathsf{\alpha }})$ is an increasing function.

Therefore $\mathsf{\vartheta }(\mathsf{\tau })E_{\mathsf{\alpha }}(2{\mathsf{\eta }}^{\mathsf{\alpha }}{\mathsf{\tau }}^{\mathsf{\alpha }})\le$ $\mathsf{\vartheta }(\mathsf{\sigma })E_{\mathsf{\alpha }}(2{\mathsf{\eta }}^{\mathsf{\alpha }}{\mathsf{\sigma }}^{\mathsf{\alpha }})=0,$ for $\mathsf{\tau }<\mathsf{\sigma }$.

Since $\mathsf{\vartheta }(\mathsf{\tau })\ge 0$, we obtain $\mathsf{\vartheta }(\mathsf{\tau })=0$, for $\mathsf{\tau }<\mathsf{\sigma }$.

Hence, $X(\mathsf{\tau })=Y(\mathsf{\tau }),$ for $\mathsf{\tau }<\mathsf{\sigma }$.

4. Applications

To illustrate the application of our results, let us consider the following examples.

Example 1.

The local fractional IVP

$${\mathsf{\gamma }}^{(2\mathsf{\alpha })}+\mathsf{\gamma }=\frac{{\mathsf{\chi }}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })},\mathsf{\gamma }(0)=1,{\mathsf{\gamma }}^{(\mathsf{\alpha })}(0)=0.$$

(13)

has a unique solution.

For this initial value problem, the integral operator $T$ is defined as

$$\begin{array}{cc}\hfill T\mathsf{\zeta }(\mathsf{\chi })& =1+\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{0}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\eta })}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}\left[\frac{{\mathsf{\eta }}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}-\mathsf{\zeta }(\mathsf{\eta })\right]{(d\mathsf{\eta })}^{\mathsf{\alpha }}}\hfill \\ & =1+\frac{{\mathsf{\eta }}^{3\mathsf{\alpha }}}{\mathrm{\Gamma }(1+3\mathsf{\alpha })}-\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{0}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\eta })}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}\mathsf{\zeta }(\mathsf{\eta }){(d\mathsf{\eta })}^{\mathsf{\alpha }}}\hfill \end{array}$$

It is clear that $T\mathsf{\zeta }(\mathsf{\chi })$ is CM.

Now let $\mathsf{\zeta }(\mathsf{\chi })={\cos }_{\mathsf{\alpha }}({\mathsf{\chi }}^{\mathsf{\alpha }})-{\sin }_{\mathsf{\alpha }}({\mathsf{\chi }}^{\mathsf{\alpha }})-\frac{{\mathsf{\chi }}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}$. Then

$$\begin{array}{cc}\hfill T\mathsf{\zeta }(\mathsf{\chi })& =1+\frac{{\mathsf{\chi }}^{3\mathsf{\alpha }}}{\mathrm{\Gamma }(1+3\mathsf{\alpha })}-\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{0}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\eta })}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}\left[{\cos }_{\mathsf{\alpha }}({\mathsf{\eta }}^{\mathsf{\alpha }})-{\sin }_{\mathsf{\alpha }}({\mathsf{\eta }}^{\mathsf{\alpha }})-\frac{{\mathsf{\eta }}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}\right]{(d\mathsf{\eta })}^{\mathsf{\alpha }}}\hfill \\ & ={\cos }_{\mathsf{\alpha }}({\mathsf{\chi }}^{\mathsf{\alpha }})-{\sin }_{\mathsf{\alpha }}({\mathsf{\chi }}^{\mathsf{\alpha }})-\frac{{\mathsf{\chi }}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}\hfill \end{array}$$

In other words, $T\mathsf{\zeta }(\mathsf{\chi })=\mathsf{\zeta }(\mathsf{\chi })$, so $\mathsf{\zeta }(\mathsf{\chi })$ is a unique fixed point of $T$, which gives a unique solution to the local fractional IVP (13).

Example 2.

The LFDE

$${\mathsf{\gamma }}^{(3\mathsf{\alpha })}-\mathsf{\gamma }+\frac{{\mathsf{\chi }}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}=0,\mathsf{\gamma }(0)=1,{\mathsf{\gamma }}^{(\mathsf{\alpha })}(0)=2,{\mathsf{\gamma }}^{(2\mathsf{\alpha })}(0)=1$$

(14)

has a unique solution.

For this initial value problem, the integral operator $T$ is defined as

$$T\mathsf{\zeta }(\mathsf{\chi })=1+\frac{2{\mathsf{\chi }}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}+\frac{{\mathsf{\chi }}^{2\mathsf{\alpha }}}{\mathrm{\Gamma }(1+2\mathsf{\alpha })}+\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{0}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\eta })}^{2\mathsf{\alpha }}}{\mathrm{\Gamma }(1+2\mathsf{\alpha })}\left[\mathsf{\zeta }(\mathsf{\eta })-\frac{{\mathsf{\eta }}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}\right]{(d\mathsf{\eta })}^{\mathsf{\alpha }}}$$

Then $T\mathsf{\zeta }(\mathsf{\chi })$ is a contracting map.

Now let $\mathsf{\zeta }(\mathsf{\chi })=E_{\mathsf{\alpha }}({\mathsf{\chi }}^{\mathsf{\alpha }})+\frac{{\mathsf{\chi }}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}$

Therefore,

$$\begin{array}{cc}\hfill T\mathsf{\zeta }(\mathsf{\chi })& =1+\frac{2{\mathsf{\chi }}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}+\frac{{\mathsf{\chi }}^{2\mathsf{\alpha }}}{\mathrm{\Gamma }(1+2\mathsf{\alpha })}+\frac{1}{\mathrm{\Gamma }(1+\mathsf{\alpha })}{\displaystyle \underset{0}{\overset{\mathsf{\chi }}{\int }}\frac{{(\mathsf{\chi }-\mathsf{\eta })}^{2\mathsf{\alpha }}}{\mathrm{\Gamma }(1+2\mathsf{\alpha })}\left[E_{\mathsf{\alpha }}({\mathsf{\eta }}^{\mathsf{\alpha }})+\frac{{\mathsf{\eta }}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}-\frac{{\mathsf{\eta }}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}\right]{(d\mathsf{\eta })}^{\mathsf{\alpha }}}\hfill \\ & =E_{\mathsf{\alpha }}({\mathsf{\chi }}^{\mathsf{\alpha }})+\frac{{\mathsf{\chi }}^{\mathsf{\alpha }}}{\mathrm{\Gamma }(1+\mathsf{\alpha })}\hfill \end{array}$$

In other words, $T\mathsf{\zeta }(\mathsf{\chi })=\mathsf{\zeta }(\mathsf{\chi })$, so $\mathsf{\zeta }(\mathsf{\chi })$ is a unique FP of $T$, which gives a unique solution to the LFDE (14).

5. Conclusions

We have presented some existence and uniqueness results for an initial value problem of local fractional differential equations (LFDEs) and a system of LFDEs with local fractional derivative operators. The proof of the existence and uniqueness of the solutions is proved by applying the contracting mapping theorem while the uniqueness of solutions for system of LFDEs is proved by applying the increasing and decreasing theorem. The present work can be extended to nonlinear differential equations with local fractional derivative operators.