1 Introduction

Crisp differential equations are popular models to approach various phenomena in the real world when the conditions/hypotheses are clear. If the occurrence of the phenomenon or the initial data is not precisely known, fuzzy differential equations [13] and stochastic fuzzy differential equations [48] appear to be a natural way to model the aleatory and epistemic uncertainty. For example these equations are used to model cell growth and the dynamics of populations [4, 69], dry friction [10], tumor growth [11], and the phenomenon of nuclear disintegration [12] and the transition from HIV to AIDS [13] under uncertainty. It would have better application prospect to investigate the foundational theory of fuzzy differential equation deeply. Especially, there are many approaches to interpret a solution for various fuzzy differential equations. As for most differential equations, the Lipschitz condition is a popular assumption as regards the uniqueness of the local solution. Also, the relationship between crisp differential equations defined in terms of the Hukuhara derivative and set differential equations was investigated by Lakshmikantham et al. [14]. As we observe, the uniqueness of the solution does not hold although the Lipschitz condition is added to the ordinary differential equation with min-max terms.

One of the earliest suggestions to define the concept of differentiability for fuzzy functions and, in consequence, to study fuzzy differential equations is the Hukuhara derivative [2, 15]. Naturally, the solution of fuzzy differential equations interpreted by the Hukuhara derivative became fuzzier as time went by [16]. Recently, there were two extensions of the concept of Hukuhara derivatives with different differences [1, 17]. The different definition of the Hukuhara derivative will lead to a different level-cut system. The new generalization of the Hukuhara difference, due to Stefanini [17], raising the fuzzy differential equations associated with the level-cut system involving the min-max terms, is as follows:

$$ \left \{ \textstyle\begin{array}{l} \min\{u'(t),v'(t)\}=F(t,u(t),v(t)), \\ \max\{u'(t),v'(t)\}=G(t,u(t),v(t)),\quad t\in I. \end{array}\displaystyle \right . $$
(1)

There are more results on the Hukuhara derivative in the references, for example in [1823].

In this paper, we consider the differential system (1) with min-max terms subject to the initial value conditions \(u(0)=u_{0}\), \(v(0)=v_{0}\), where \(I=[0,1]\) is an interval, \(F,G \in C(I \times R\times R, R)\). We say the pair \((u(t),v(t))\) is a solution of system (1) if \(u,v \in C(I)\) and \(u(t)\), \(v(t)\) satisfy equations (1) and the initial value conditions.

2 Existence results

Theorem 2.1

Let \(F, G :I \times R\times R\rightarrow R\) be two continuous functions, F and G being Lipschitz continuous relative to their last two arguments, i.e. there exist real numbers \(L_{1}, L_{2}, L_{3}, L_{4}> 0\) such that, for \((t, u_{1}, v_{1}), (t, u_{2}, v_{2})\in I\times R \times R \),

$$\begin{aligned}& \bigl\vert F(t,u_{1},v_{1})-F(t,u_{2},v_{2}) \bigr\vert \leq L_{1}\vert u_{1}-u_{2}\vert +L_{2}\vert v_{1}-v_{2}\vert , \\& \bigl\vert G(t,u_{1},v_{1})-G(t,u_{2},v_{2}) \bigr\vert \leq L_{3}\vert u_{1}-u_{2}\vert +L_{3}\vert v_{1}-v_{2}\vert . \end{aligned}$$

Moreover, if \(f,g\in C(I)\) and \(f(t)\leq g(t)\) for all \(t\in I\) implies that \(F(t,f(t), g(t))\leq G(t,f(t), g(t))\), then the problem (1) has at least one solution on I provided \(u_{0}\leq v_{0}\).

Proof

Let \(u(t)=\int_{0}^{t}f(s)\,ds+u_{0}\) and \(v(t)=\int _{0}^{t}g(s)\,ds+v_{0}\), where \(f,g\in C(I)\). It is easy to see that the pair \((u(t),v(t))\) is a solution of (1) if and only if the pair \((f(t),g(t))\) is a solution of following group integral equations with min-max terms:

$$\begin{aligned}& \min\bigl\{ f(t),g(t)\bigr\} = F\biggl(t, \int_{0}^{t}f(s)\,ds+u_{0}, \int_{0}^{t}g(s)\,ds+v_{0}\biggr), \\& \max\bigl\{ f(t),g(t)\bigr\} = G\biggl(t, \int_{0}^{t}f(s)\,ds+u_{0}, \int_{0}^{t}g(s)\,ds+v_{0}\biggr),\quad t \in I. \end{aligned}$$

Define the successive iterations \(\{f_{n}(t)\}\) and \(\{g_{n}(t)\}\) by

$$\begin{aligned}& f_{0}(t)=0,\qquad g_{0}(t)=0, \\& f_{n+1}(t) = F\biggl(t, \int_{0}^{t}f_{n}(s)\,ds+u_{0}, \int_{0}^{t}g_{n}(s)\,ds+v_{0} \biggr), \end{aligned}$$
(2)
$$\begin{aligned}& g_{n+1}(t) = G\biggl(t, \int_{0}^{t}f_{n}(s)\,ds+u_{0}, \int_{0}^{t}g_{n}(s)\,ds+v_{0} \biggr),\quad t\in I, n=0,1,\ldots. \end{aligned}$$
(3)

Since \(u_{0}\leq v_{0}\), we have \(F(t,u_{0},v_{0})\leq G(t,u_{0},v_{0})\). Thus \(f_{1}(t)\leq g_{1}(t)\) for all \(t\in I\). Also, for \(t\in I\), by \(\int_{0}^{t}f_{1}(s)\,ds+u_{0}\leq\int_{0}^{t}g_{1}(s)\,ds+v_{0}\) and the assumptions, we see that \(f_{2}(t)\leq g_{2}(t)\) for all \(t\in I\). By mathematical induction, we conclude that \(f_{n}(t)\leq g_{n}(t)\) for all \(t\in I\) and \(n\in\mathbb{N}\).

Next, we would prove that the successive iterations \(\{f_{n}(t)\}\) and \(\{g_{n}(t)\}\) are uniformly convergent on I. To this end, we choose a constant \(c>0\) satisfying \(\frac{L_{1}+L_{2}+L_{3}+L_{4}}{c}<1\) and introduce the norm \(\|\cdot\|\) in \(C(I)\) by

$$\|x\|=\sup\bigl\{ e^{-ct}\bigl\vert x(t)\bigr\vert :t\in I\bigr\} \quad \mbox{for } x\in C(I). $$

Then \(|x(t)|\leq e^{ct} \|x\|\) for all \(t\in I\).

On the other hand, from the successive iterations, we see that

$$\begin{aligned} \bigl\vert f_{n+1}(t)-f_{n}(t)\bigr\vert =&\biggl\vert F\biggl(t, \int_{0}^{t}f_{n}(s)\,ds+u_{0}, \int _{0}^{t}g_{n}(s)\,ds+v_{0} \biggr) \\ &{}-F\biggl(t, \int_{0}^{t}f_{n-1}(s)\,ds+u_{0}, \int_{0}^{t}g_{n-1}(s)\,ds+v_{0} \biggr)\biggr\vert \\ \leq& L_{1} \int_{0}^{t}\bigl\vert f_{n}(s)-f_{n-1}(s) \bigr\vert \,ds+L_{2} \int _{0}^{t}\bigl\vert g_{n}(s)-g_{n-1}(s) \bigr\vert \,ds \\ \leq& L_{1} \int_{0}^{t}e^{cs}\,ds\|f_{n}-f_{n-1} \|+L_{2} \int_{0}^{t}e^{cs}\,ds\| g_{n}-g_{n-1}\| \\ \leq& \frac{ L_{1}}{c} e^{ct}\|f_{n}-f_{n-1}\|+ \frac{L_{2}}{c}e^{ct}\| g_{n}-g_{n-1}\|. \end{aligned}$$

Thus

$$ e^{-ct}\bigl\vert f_{n+1}(t)-f_{n}(t)\bigr\vert \leq\frac{ L_{1}}{c} \|f_{n}-f_{n-1}\|+\frac { L_{2}}{c} \|g_{n}-g_{n-1}\|. $$

This implies that

$$ \|f_{n+1}-f_{n}\| \leq\frac{L_{1}}{c} \|f_{n}-f_{n-1}\|+\frac{ L_{2}}{c} \|g_{n}-g_{n-1} \|. $$

Similarly, we have

$$ \|g_{n+1}-g_{n}\| \leq\frac{ L_{3}}{c} \|f_{n}-f_{n-1}\|+\frac{ L_{4}}{c} \|g_{n}-g_{n-1} \|. $$

From the above two inequalities, we see that

$$\begin{aligned} \|f_{n+1}-f_{n}\| +\|g_{n+1}-g_{n}\| \leq& \frac{ L_{1}+L_{3}}{c} \| f_{n}-f_{n-1}\|+\frac{ L_{2}+L_{4}}{c} \|g_{n}-g_{n-1}\| \\ \leq& \frac{ L_{1}+L_{3}+L_{2}+L_{4}}{c} \bigl(\Vert f_{n}-f_{n-1}\Vert +\Vert g_{n}-g_{n-1}\Vert \bigr). \end{aligned}$$

Let \(\gamma=\frac{L_{1}+L_{3}+L_{2}+L_{4}}{c}\), then \(\gamma<1\) and

$$ \|f_{n+1}-f_{n}\| +\|g_{n+1}-g_{n}\| \leq\gamma^{n} \bigl(\Vert f_{1}\Vert +\Vert g_{1}\Vert \bigr). $$

Then, for any \(k\in\mathbb{N}\), we have

$$ \Vert f_{n+k}-f_{n}\Vert +\Vert g_{n+k}-g_{n} \Vert \leq\sum_{i=1}^{k}\gamma ^{n+i-1} \bigl(\Vert f_{1}\Vert + \Vert g_{1} \Vert \bigr)\leq\frac{\gamma^{n}}{1-\gamma} \bigl(\Vert f_{1}\Vert + \Vert g_{1}\Vert \bigr). $$

This means that both successive iterations \(\{f_{n}(t)\}\) and \(\{g_{n}(t)\} \) are uniformly convergent on I. Let \(\lim_{n\rightarrow\infty }f_{n}(t)=\bar{f}(t)\), \(\lim_{n\rightarrow\infty}g_{n}(t)=\bar{g}(t)\), then \(\bar{f}(t)\leq\bar{g}(t)\) for \(t\in I\). Also, we have

$$\begin{aligned}& \bar{f}(t) = \min\bigl\{ \bar{f}(t),\bar{g}(t)\bigr\} =F\biggl(t, \int_{0}^{t}\bar {f}(s)\,ds+u_{0}, \int_{0}^{t}\bar{g}(s)\,ds+v_{0}\biggr), \\& \bar{g}(t) = \max\bigl\{ \bar{f}(t),\bar{g}(t)\bigr\} =G\biggl(t, \int_{0}^{t}\bar {f}(s)\,ds+u_{0}, \int_{0}^{t}\bar{g}(s)\,ds+v_{0}\biggr), \quad t\in I. \end{aligned}$$

Then \(u(t)=\int_{0}^{t}\bar{f}(s)\,ds+u_{0}\), \(v(t)=\int_{0}^{t}\bar{g}(s)\,ds+v_{0}\) is a solution of problem (1) on I. The proof of Theorem 2.1 is complete. □

Define the successive iteration

$$\begin{aligned}& u_{0}(t)=0,\qquad v_{0}(t)=0, \\& v_{n+1}(t) = F\biggl(t, \int_{0}^{t}u_{n}(s)\,ds+u_{0}, \int_{0}^{t}v_{n}(s)\,ds+v_{0} \biggr), \\& u_{n+1}(t) = G\biggl(t, \int_{0}^{t}u_{n}(s)\,ds+u_{0}, \int_{0}^{t}v_{n}(s)\,ds+v_{0} \biggr),\quad t\in I, n=0,1,\ldots, \end{aligned}$$

then we have the following theorem.

Theorem 2.2

Suppose that \(F, G :I \times R\times R\rightarrow R\) are two continuous functions, Lipschitz continuous relative to their last two arguments. Moreover, if \(F(t,f(t), g(t))\leq G(t,f(t), g(t))\) for all \(f,g\in C(I)\) and \(t\in I\), then both the successive iteration pairs \((P_{n} (t), Q_{n}(t))\) and \((U_{n}(t),V_{n}(t))\) converge to the solutions of problem (1) on I, where

$$\begin{aligned}& \bigl(P_{n}(t),Q_{n}(t)\bigr)=\biggl( \int_{0}^{t}f_{n}(s)\,ds+u_{0}, \int_{0}^{t}g_{n}(s)\,ds+v_{0} \biggr), \\& \bigl(U_{n}(t),V_{n}(t)\bigr)=\biggl( \int_{0}^{t}u_{n}(s)\,ds+u_{0}, \int_{0}^{t}v_{n}(s)\,ds+v_{0} \biggr),\quad n=0,1,\ldots. \end{aligned}$$

Proof

It follows from the proof of Theorem 2.1 that the successive iteration pair \(\{(P_{n}(t), Q_{n}(t))\}\) converges to the solution of problem (1) on I. Thus it is sufficient to prove that the pair \(\{(U_{n}(t),V_{n}(t))\}\) converges to the solution of problem (1) on I. Since \(F(t,f(t), g(t))\leq G(t,f(t), g(t))\) for all \(f,g\in C(I)\) and \(t\in I\), we have

$$v_{n}(t)=\min\bigl\{ u_{n}(t),v_{n}(t)\bigr\} \quad \mbox{and} \quad u_{n}(t)=\max\bigl\{ u_{n}(t),v_{n}(t) \bigr\} . $$

With similar arguments to the proof of Theorem 2.1, we see that \((u_{n}(t),v_{n}(t))\) uniformly converge to the continuous functions \(u(t)\) and \(v(t)\) on I. Thus the pair \((U_{n}(t),V_{n}(t))\) converges to the pair \((\int_{0}^{t}u(s)\,ds+u_{0},\int_{0}^{t}v(s)\,ds+v_{0})\), which is a solution of problem (1) on I. The proof is complete. □

Remark 2.1

The popular examples for the functions F and G in Theorem 2.2 are \(F(t,x,y)=\min\{f_{1}(t,x,y), \ldots,f_{k}(t,x,y)\}\) and \(G(t,x,y)=\max\{g_{1}(t,x,y),\ldots,g_{k}(t,x,y)\}\), where \(f_{i}\) and \(g_{i}\) are Lipschitz continuous relative to their last two arguments. Following the Appendix, we see that both min function and max function are also Lipschitz continuous.

Next, we show an example to illustrate that the initial value problem (1) admits a solution on I although some assumptions in Theorem 2.1 and Theorem 2.2 do not hold.

Example 2.1

Consider the following system with min-max terms:

$$ \left \{ \textstyle\begin{array}{l} \min\{x'(t),y'(t)\}= a x(t)+3,\qquad x(0)=x_{0}, \\ \max\{x'(t),y'(t)\} = a y(t)+1,\qquad y(0)=y_{0},\quad t\in[0,1], \end{array}\displaystyle \right . $$
(4)

where \(a\neq0\) is a constant.

By direct computations, the corresponding solutions of the subsystems

$$ \left \{ \textstyle\begin{array}{l} x'(t) = a x(t)+3,\qquad x(0)=x_{0}, \\ y'(t)= a y(t)+1,\qquad y(0)=y_{0} \end{array}\displaystyle \right . $$

and

$$ \left \{ \textstyle\begin{array}{l} y'(t) = a x(t)+3,\qquad x(0)=x_{0}, \\ x'(t)= a y(t)+1,\qquad y(0)=y_{0}, \end{array}\displaystyle \right . $$

are given as follows:

$$ \left \{ \textstyle\begin{array}{l} x(t) = (x_{0}+\frac{3}{a}) e^{at}-\frac{3}{a}, \\ y(t) = (y_{0}+\frac{1}{a}) e^{at}-\frac{1}{a} \end{array}\displaystyle \right . $$
(5)

and

$$ \left \{ \textstyle\begin{array}{l} x(t) = (\frac{x_{0}+y_{0}}{2}+\frac{2}{a}) e^{at}+(\frac {x_{0}-y_{0}}{2}+\frac {1}{a}) e^{-at}-\frac{3}{a}, \\ y(t) = (\frac{x_{0}+y_{0}}{2}+\frac{2}{a}) e^{at}-(\frac {x_{0}-y_{0}}{2}+\frac {1}{a}) e^{-at}-\frac{1}{a}, \end{array}\displaystyle \right . $$
(6)

respectively.

For equations (5) and (6), it is sufficient for the pair \((x(t), y(t))\) to be a solution of (4) that \(a x(t)+3\leq a y(t)+1\) for all \(t\in I\). Thus, if \(a(x_{0}-y_{0})+2\leq0\) then (5) is a solution of problem (4) in \([0,1]\). Similarly, if \(a(x_{0}-y_{0})\leq0\) then (6) is a solution of problem (4) in \([0,1]\). Thus for the problem (4), we can conclude the following.

Conclusion 2.1

If \(a(x_{0}-y_{0})\leq-2\), then the initial value problem (4) has two solutions on \([0,1]\), which are given by (5) and (6), respectively. If \(-2< a(x_{0}-y_{0})\leq0\), then the initial value problem (4) has a unique solution on \([0,1]\), which is given by (6). If \(a(x_{0}-y_{0})> 0\), then the initial value problem (4) has no solution on \([0,1]\).

3 Application to the fuzzy differential equation

Let us denote by \(\mathbb{R}_{F}\) the class of fuzzy subsets of the real axis (i.e. \(u : R \rightarrow[0, 1]\)) satisfying the following properties [16, 24, 25]:

  1. (i)

    u is normal, i.e. there exists \(s_{0}\in R\) such that \(u(s_{0}) = 1\),

  2. (ii)

    u is a convex fuzzy set (i.e. \(u(ts + (1-t)r ) \geq \min\{u(s), u(r )\}\), for \(t\in[0, 1]\), \(s, r\in R\)),

  3. (iii)

    u is upper semicontinuous on R,

  4. (iv)

    \(\operatorname{cl}\{s \in R|u(s) > 0\}\) is compact where cl denotes the closure of a subset.

Then \(\mathbb{R}_{F}\) is called the space of fuzzy numbers. For \(x, y \in \mathbb{R}_{F} \), if there exists a fuzzy number \(z \in\mathbb{R}_{F}\) such that \(y + z = x\), then z is called the H-difference of x, y and is denoted by \(x \ominus y \) (see e.g. [26]). If there exists a fuzzy number \(z \in\mathbb{R}_{F}\) such that \(y + z = x\) or \(y=x+(-1)z\), then z is called the gH-difference of x and y and is denoted by \(x \ominus_{g} y \) (see e.g. [17]).

If \(v\in\mathbb{R}_{f}\) then the α-level set

$$[v]^{\alpha}=\bigl\{ s|v(s)\geq\alpha\bigr\} , \quad \alpha\in(0,1 ] \quad \mbox{and}\quad [v]^{0}=\bigcup_{\alpha\in(0,1]}[v]^{\alpha}$$

are closed bounded intervals, which is denoted \([v]^{\alpha}= [\underline {v}_{\alpha},\bar{v}_{\alpha}]\).

Lemma 3.1

For \(x, y\in\mathbb{R}_{f}\) and k be scalar. For \(\alpha \in(0,1]\),

$$\begin{aligned}& {[x+y]}^{\alpha}=[\underline{x}_{\alpha}+ \underline{y}_{\alpha},\bar {x}_{\alpha}+\bar{y}_{\alpha}], \\& {[x-y]}^{\alpha}=[\underline{x}_{\alpha}-\underline{y}_{\alpha}, \bar {x}_{\alpha}-\bar{y}_{\alpha}], \\& {[x\odot y]}^{\alpha}=\bigl[\min\{\underline{x}_{\alpha}\underline {y}_{\alpha},\underline{x}_{\alpha}\bar{y}_{\alpha}, \bar{x}_{\alpha}\underline {y}_{\alpha},\bar{x}_{\alpha}\bar{y}_{\alpha}\},\max\{\underline{x}_{\alpha}\underline {y}_{\alpha},\underline{x}_{\alpha}\bar{y}_{\alpha}, \bar{x}_{\alpha}\underline {y}_{\alpha},\bar{x}_{\alpha}\bar{y}_{\alpha}\}\bigr]. \end{aligned}$$

Definition 3.1

[17]

For fuzzy value functions \(f:[a,b]\rightarrow\mathbb{R}_{f}\). If \(x\in(a,b)\) and \(x+h\in(a, b)\), the gH-derivative of f at x is defined as the limit

$$\lim_{h\rightarrow0}\frac{f(x+h)\ominus_{g} f(x)}{h}=f'(x) $$

provided that the gH-differences exist for small h.

Also, the fuzzy derivative, in terms of level-cuts, is

$$\bigl[f'(x)\bigr]^{\alpha}=\bigl[\min\bigl\{ \underline{f}_{\alpha}'(x),\bar{f}_{\alpha}'(x)\bigr\} ,\max \bigl\{ \underline{f}_{\alpha}'(x), \bar{f}_{\alpha}'(x)\bigr\} \bigr]. $$

Example 3.1

Consider the following fuzzy differential equation:

$$ u'(t)=au(t)+\gamma,\quad t\in[0,1],\qquad u(0)=u_{0}, $$
(7)

where \(a\in R\), \(u_{0}, \gamma\in\mathbb{R}_{F}\) are given by \([\gamma ]^{\alpha}=[\alpha-1,1-\alpha]\) and \([u_{0}]^{\alpha}=[\underline {u}_{0\alpha },\bar{u}_{0\alpha}]\) and \(\underline{u}_{0\alpha}<\bar {u}_{0\alpha}\) for some \(\alpha\in[0,1]\), ′ denotes the gH-derivative.

By the definition of the gH-derivative, the level-cut of a fuzzy derivative for a fuzzy-valued function \(u(t)\) should be given by

$$\bigl[u'(t)\bigr]^{\alpha}=\bigl[\min\bigl\{ \underline{u}'_{\alpha}(t),\bar{u}'_{\alpha}(t)\bigr\} ,\max \bigl\{ \underline{u}'_{\alpha}(t), \bar{u}'_{\alpha}(t)\bigr\} \bigr]. $$

Thus the α-level-cut system of (7) should be

$$ \left \{ \textstyle\begin{array}{l} \min\{\underline{u}'_{\alpha}(t),\bar{u}'_{\alpha}(t)\}= a \underline {u}_{\alpha}(t)+\alpha-1,\qquad \underline{u}_{\alpha}(0)=\underline {u}_{0\alpha}, \\ \max\{\underline{u}'_{\alpha}(t),\bar{u}'_{\alpha}(t)\} = a \bar {u}_{\alpha}(t)+1-\alpha, \qquad \bar{u}_{\alpha}(0)=\bar{u}_{0\alpha},\quad t\in[0,1]. \end{array}\displaystyle \right . $$

Noting the claims in Conclusion 2.1, we have

$$ \left \{ \textstyle\begin{array}{l} \underline{u}_{\alpha}(t) = (\underline{u}_{0\alpha}+\frac{\alpha-1}{a}) e^{at}-\frac{\alpha-1}{a}, \\ \bar{u}_{\alpha}(t) = (\bar{u}_{0\alpha}+\frac{1-\alpha}{a}) e^{at}-\frac {1-\alpha}{a} \end{array}\displaystyle \right . $$
(8)

and

$$ \left \{ \textstyle\begin{array}{l} \underline{u}_{\alpha}(t) = \frac{\underline{u}_{0\alpha}+\bar {u}_{0\alpha}}{2} e^{at}+(\frac{\underline{u}_{0\alpha}-\bar {u}_{0\alpha }}{2}+\frac{\alpha-1}{a}) e^{-at}-\frac{\alpha-1}{a}, \\ \bar{u}_{\alpha}(t) = \frac{\underline{u}_{0\alpha}+\bar {u}_{0\alpha }}{2} e^{at}-(\frac{\underline{u}_{0\alpha}-\bar{u}_{0\alpha }}{2}+\frac {\alpha-1}{a}) e^{-at}-\frac{1-\alpha}{a}. \end{array}\displaystyle \right . $$
(9)

Obviously, if both \(a\underline{u}_{\alpha}(t)+\alpha-1\leq a\bar {u}_{\alpha}(t)+1-\alpha\) and \(\underline{u}_{\alpha}(t)\leq\bar {u}_{\alpha}(t)\) hold on \([0,1]\), then the pair \((\underline{u}_{\alpha}(t), \bar {u}_{\alpha}(t))\) would be a solution of (7) on \([0,1]\). Thus, for (8), if

$$a(\underline{u}_{0\alpha}-\bar{u}_{0\alpha})\leq0\quad \mbox{and}\quad \biggl[(\underline{u}_{0\alpha}-\bar{u}_{0\alpha})+\frac{2\alpha -2}{a} \biggr]e^{at}\leq\frac{2\alpha-2}{a} $$

for all \(t\in[0,1]\), \(\alpha\in[0,1]\), then it is a solution of problem (7). Also, if

$$a(\underline{u}_{0\alpha}-\bar{u}_{0\alpha})+2(\alpha-1)\leq0 \quad \mbox{and}\quad \biggl[(\underline{u}_{0\alpha}-\bar{u}_{0\alpha})+ \frac{2\alpha -2}{a}\biggr]e^{-at}\leq\frac{2\alpha-2}{a} $$

for all \(t\in[0,1]\), \(\alpha\in[0,1]\), then (9) is a solution of problem (7). Next we would discuss the solutions of problems (7) by three cases: \(a>0\), \(a<0\), and \(a=0\).

Case 1. \(a>0\): If \(\underline{u}_{0\alpha}-\bar{u}_{0\alpha }\leq\frac{2\alpha-2}{a}(e^{a}-1)\), then both (8) and (9) are solutions of problem (7).

If \(\frac{2\alpha-2}{a}(e^{a}-1)<\underline{u}_{0\alpha}-\bar {u}_{0\alpha }\leq0 \), then there is a unique solution (8) on \([0,1]\).

Case 2. \(a<0\): If \(2(\alpha-1)(e^{a}-1)\leq a(\underline {u}_{0\alpha}-\bar{u}_{0\alpha})\leq2(1-\alpha)\), by direct computation, we see that there is a unique solution of problem (7) on \([0,1]\), which is given by (9).

Case 3. \(a=0\): In this case, it is easy to see that, when \(2(1-\alpha)\leq\bar{u}_{0\alpha}-\underline{u}_{0\alpha}\) for all \(\alpha\in[0,1]\), both

$$\left \{ \textstyle\begin{array}{l} \underline{u}_{\alpha}(t) = (\alpha-1)t+\underline{u}_{0\alpha}, \\ \bar{u}_{\alpha}(t) = (1-\alpha)t+\bar{u}_{0\alpha} \end{array}\displaystyle \right . $$

and

$$\left \{ \textstyle\begin{array}{l} \underline{u}_{\alpha}(t) = (1-\alpha)t+\underline{u}_{0\alpha}, \\ \bar{u}_{\alpha}(t) = (\alpha-1)t+\bar{u}_{0\alpha}, \end{array}\displaystyle \right . $$

are solutions of problems (7) on \([0,1]\).

When \(2(1-\alpha)> \bar{u}_{0\alpha}-\underline{u}_{0\alpha}\) for all \(\alpha\in[0,1]\), then

$$\left \{ \textstyle\begin{array}{l} \underline{u}_{\alpha}(t) = (\alpha-1)t+\underline{u}_{0\alpha}, \\ \bar{u}_{\alpha}(t) = (1-\alpha)t+\bar{u}_{0\alpha}, \end{array}\displaystyle \right . $$

is the unique solution of problems (7) on \([0,1]\).

Example 3.2

Consider the following fuzzy differential equation:

$$ u'(t)=a\odot u(t)+\gamma,\quad t\in J, \qquad u(0)=u_{0}, $$
(10)

where \(J\subset R\) is an interval, \(a, u_{0}, \gamma\in\mathbb{R}_{F}\) are given by \([a]^{\alpha}=[\underline{a}_{\alpha},\bar{a}_{\alpha}]\) with \(\underline{a}_{\alpha}>0\), \([\gamma]^{\alpha}=[\alpha-1,1-\alpha]\) and \([u_{0}]^{\alpha}=[\underline{u}_{0\alpha},\bar{u}_{0\alpha}]\) and \(\underline{u}_{0\alpha}<\bar{u}_{0\alpha}\) for some \(\alpha\in[0,1]\), ′ denotes the gH-derivative, ⊙ denotes the fuzzy product of two fuzzy number.

First of all, by the definitions of gH-derivative and fuzzy product, we can translate the fuzzy equation (10) into the α-level-cuts systems as follows:

$$ \left \{ \textstyle\begin{array}{l} \min\{\underline{u}'_{\alpha}(t),\bar{u}'_{\alpha}(t)\}= \min\{ \underline {a}_{\alpha}\underline{u}_{\alpha}(t), \underline{a}_{\alpha}\bar {u}_{\alpha}(t),\bar{a}_{\alpha}\underline{u}_{\alpha}(t),\bar{a}_{\alpha}\bar {u}_{\alpha}(t)\}+\alpha-1, \\ \max\{\underline{u}'_{\alpha}(t),\bar{u}'_{\alpha}(t)\} = \max\{ \underline {a}_{\alpha}\underline{u}_{\alpha}(t), \underline{a}_{\alpha}\bar {u}_{\alpha}(t),\bar{a}_{\alpha}\underline{u}_{\alpha}(t),\bar{a}_{\alpha}\bar {u}_{\alpha}(t)\}+1-\alpha, \\ \underline{u}_{\alpha}(0)=\underline{u}_{0\alpha},\qquad \bar{u}_{\alpha}(0)=\bar{u}_{0\alpha},\quad t\in J. \end{array}\displaystyle \right . $$

Since \(\underline{a}_{\alpha}>0\), we have \(\underline{a}_{\alpha}\underline {u}_{\alpha}(t)\leq\underline{a}_{\alpha}\bar{u}_{\alpha}(t)\) and \(\bar {a}_{\alpha}\underline{u}_{\alpha}(t)\leq\bar{a}_{\alpha}\bar {u}_{\alpha}(t)\) for all \(t\in J\). Thus

$$\min\bigl\{ \underline{a}_{\alpha}\underline{u}_{\alpha}(t), \underline {a}_{\alpha}\bar{u}_{\alpha}(t),\bar{a}_{\alpha}\underline{u}_{\alpha}(t),\bar {a}_{\alpha}\bar{u}_{\alpha}(t) \bigr\} =\min\bigl\{ \underline{a}_{\alpha}\underline {u}_{\alpha}(t), \bar{a}_{\alpha}\underline{u}_{\alpha}(t)\bigr\} $$

and

$$\max\bigl\{ \underline{a}_{\alpha}\underline{u}_{\alpha}(t), \underline {a}_{\alpha}\bar{u}_{\alpha}(t),\bar{a}_{\alpha}\underline{u}_{\alpha}(t),\bar {a}_{\alpha}\bar{u}_{\alpha}(t) \bigr\} =\max\bigl\{ \underline{a}_{\alpha}\bar{u}_{\alpha}(t), \bar{a}_{\alpha}\bar{u}_{\alpha}(t)\bigr\} . $$

Thus the α-level-cuts systems can be rewriten as

$$ \left \{ \textstyle\begin{array}{l} \min\{\underline{u}'_{\alpha}(t),\bar{u}'_{\alpha}(t)\}= \min\{ \underline {a}_{\alpha}\underline{u}_{\alpha}(t), \bar{a}_{\alpha}\underline {u}_{\alpha}(t)\}+\alpha-1, \\ \max\{\underline{u}'_{\alpha}(t),\bar{u}'_{\alpha}(t)\} = \max\{ \underline {a}_{\alpha}\bar{u}_{\alpha}(t), \bar{a}_{\alpha}\bar{u}_{\alpha}(t)\}+1-\alpha, \\ \underline{u}_{\alpha}(0)=\underline{u}_{0\alpha},\qquad \bar{u}_{\alpha}(0)=\bar{u}_{0\alpha},\quad t\in J. \end{array}\displaystyle \right . $$
(11)

It follows from Theorem 2.2 that both of the pairs \((P_{n} (t), Q_{n}(t))\) and \((U_{n}(t),V_{n}(t))\) converge to the solutions of the problem (11).

In fact, if \(\underline{a}_{\alpha}\underline{u}_{\alpha}(t)\leq\bar {a}_{\alpha}\underline{u}_{\alpha}(t)\) then \(\underline{u}_{\alpha}(t)\geq 0\). Thus \(\max\{\underline{a}_{\alpha}\bar{u}_{\alpha}(t), \bar{a}_{\alpha}\bar{u}_{\alpha}(t)\}=\bar{a}_{\alpha}\bar{u}_{\alpha}(t)\). Similarly, if \(\underline{a}_{\alpha}\bar{u}_{\alpha}(t)\geq \bar{a}_{\alpha}\bar{u}_{\alpha}(t)\) then \(\bar{u}_{\alpha}(t)\leq0\). Thus \(\max\{\underline{a}_{\alpha}\bar{u}_{\alpha}(t), \bar{a}_{\alpha}\bar{u}_{\alpha}(t)\}=\underline{a}_{\alpha}\bar {u}_{\alpha}(t)\). Then the α-cuts system (11) can be reduced to the following subsystem:

$$ \left \{ \textstyle\begin{array}{l} \min\{\underline{u}'_{\alpha}(t),\bar{u}'_{\alpha}(t)\}= \underline {a}_{\alpha}\underline{u}_{\alpha}(t)+\alpha-1, \\ \max\{\underline{u}'_{\alpha}(t),\bar{u}'_{\alpha}(t)\} = \bar{a}_{\alpha}\bar{u}_{\alpha}(t) +1-\alpha, \\ \underline{u}_{\alpha}(0)=\underline{u}_{0\alpha},\qquad \bar{u}_{\alpha}(0)=\bar{u}_{0\alpha},\quad t\in J \end{array}\displaystyle \right . $$
(12)

or

$$ \left \{ \textstyle\begin{array}{l} \min\{\underline{u}'_{\alpha}(t),\bar{u}'_{\alpha}(t)\}= \bar {a}_{\alpha}\underline{u}_{\alpha}(t) +\alpha-1, \\ \max\{\underline{u}'_{\alpha}(t),\bar{u}'_{\alpha}(t)\} = \underline {a}_{\alpha}\bar{u}_{\alpha}(t) +1-\alpha, \\ \underline{u}_{\alpha}(0)=\underline{u}_{0\alpha},\qquad \bar{u}_{\alpha}(0)=\bar{u}_{0\alpha},\quad t\in J. \end{array}\displaystyle \right . $$
(13)

Following similar arguments to Example 3.1, we see that there would be two solutions for the problems (12) and (13) subject to a certain additional restriction. The details can be found in Figure 1 and Figure 2.

Figure 1
figure 1

Two level-set solutions of fuzzy differential equation ( 10 ) for \(\pmb{J=[0,\frac{1}{2}]}\) , \(\pmb{[a]^{\alpha}=[2+\alpha ,4-\alpha ]}\) , \(\pmb{[u_{0}]^{\alpha}=[3+\alpha,5-\alpha]}\) . We have \(\alpha=\frac{1}{4}\) (left), \(\frac{1}{2}\) (right) and \(\frac{3}{4}\) (bottom). All these level-set solutions are assigned to the subsystem (12). The dash lines (red) and solid lines (blue) sketch the two level-cut solutions, respectively.

Figure 2
figure 2

Two level-set solutions of fuzzy differential equation ( 10 ) for \(\pmb{J=[0,\frac{1}{2}]}\) , \(\pmb{[a]^{\alpha}=[2+\alpha ,4-\alpha ]}\) , \(\pmb{[u_{0}]^{\alpha}=[-8+\alpha, -2-\alpha]}\) . We have \(\alpha=\frac {1}{4}\) (left), \(\frac{1}{2}\) (right) and \(\frac{3}{4}\) (bottom). All these level-set solutions are assigned to the subsystem (13). The dash lines (red) and solid lines (blue) sketch the two level-cut solutions, respectively.

4 Two counterexamples

Recently, Alikhani et al. [27] considered the following initial value problem for the first-order fuzzy integro-differential equation of Volterra type:

$$ u'(t)=f\bigl(t,u(t)\bigr)+ \int_{a}^{t}k\bigl(t,s,u(s)\bigr)\,ds, \quad t\in J, \qquad u(a)=u_{0}, $$
(14)

where \(J\subset R\) is an interval, \(f \in C(J \times\mathbb{R}_{F}, \mathbb{R}_{F} )\) and \(k\in C(J \times J\times\mathbb{R}_{F} , \mathbb {R}_{F})\). They established the following two results. Unfortunately, both of them are wrong. Two counterexamples are presented in this section.

Theorem 4.1

([27], Theorem 1)

Let \(f : J \times\mathbb{R}_{F} \rightarrow\mathbb{R}_{F}\) and \(k: J \times J \times\mathbb{R}_{F} \rightarrow\mathbb{R}_{F}\) be bonded continuous functions. Then the problem (14) has at least a proper solution which is (i)-differentiable on J. Moreover, if f and k are Lipschitz continuous relative to their last argument, i.e. there exist real numbers \(L_{1}, L_{2} >0\) such that

$$\begin{aligned}& D\bigl(k(t, s, x), k(t, s, y)\bigr)\leq L_{1}D(x, y)\quad \textit{for } (t, s, x), (t, s, y)\in J\times J \times\mathbb{R}_{F} , \\& D\bigl(f (t, x), f (t, y)\bigr)\leq L_{2}D(x, y)\quad \textit{for } (t, x), (t, y)\in J \times\mathbb{R}_{F} . \end{aligned}$$

Then the proper solution of the problem (14) is unique on J.

Theorem 4.2

([27], Theorem 2)

Let \(f : J \times\mathbb{R}_{F} \rightarrow\mathbb{R}_{F}\) and \(k: J \times J \times\mathbb{R}_{F} \rightarrow\mathbb{R}_{F}\) be bounded continuous and Lipschitz continuous functions as mentioned in Theorem  2.1. Let the sequence \(u_{n} : J \rightarrow \mathbb{R}_{F}\) given by

$$u_{0}(t) = u_{0},\qquad u_{n+1}(t) = u_{0} \ominus(-1) \int_{a}^{t} f\bigl(s, u_{n}(s)\bigr)\,ds \ominus(-1) \int_{a}^{t} \int_{a}^{s}k\bigl(s, r, u_{n}(r)\bigr)\,dr \,ds $$

be defined for any \(n \in\mathbb{N}\). Then the problem (14) has a unique proper solution which is (ii)-differentiable on J. Furthermore, the successive iteration

$$u_{0}(t) = u_{0},\qquad u_{n+1}(t) = u_{0}\ominus(-1) \int_{a}^{t} f\bigl(s, u_{n}(s)\bigr)\,ds \ominus(-1) \int_{a}^{t} \int_{a}^{s}k\bigl(s, r, u_{n}(r)\bigr)\,dr \,ds $$

converges to this solution.

Example 4.1

Consider the following fuzzy differential equation:

$$ u'(t)=3(t-2)^{2}\mu_{0}, \quad t \in[0,2],\qquad u(0)=\mu_{1}\in\mathbb{R}_{F}, $$
(15)

where \(\mu_{0}\), \(\mu_{1}\) are given by

$$\mu_{0}(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} 0,& \mbox{as } x< 0, \\ 1-(x-1)^{2}, &\mbox{as } x\in[0,2], \\ 0,& \mbox{as } x>2 \end{array}\displaystyle \right . $$

and

$$\mu_{1}(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} 0,& \mbox{as } x>0, \\ 1-(x+1)^{2}, &\mbox{as } x\in[-2,0], \\ 0,& \mbox{as } x< -2. \end{array}\displaystyle \right . $$

Let \(a=0\), \(J=[0,2]\), \(k(t,s,u)\equiv0\), \(f(t,u(t))=3(t-2)^{2}\mu_{1}\), then all the assumptions in Theorem 4.1 hold. Unfortunately, there are no the proper solutions of the problem (15) on J. More details now follow.

Theorem 4.3

There is a unique mixed solution and no proper solution for (15) on J.

Proof

Since \([\mu_{0}]^{\alpha}=[1-\sqrt{1-\alpha}, 1+\sqrt {1-\alpha}]\) and \([\mu_{1}]^{\alpha}=[-1-\sqrt{1-\alpha},-1+\sqrt {1-\alpha}]\), if u is (i)-differentiable, then we transform equation (15) into the α-level system

$$\bigl[\underline{u}^{\prime\alpha}(t),\bar{u}^{\prime\alpha}(t) \bigr]=3(t-2)^{2}[\mu _{0}]^{\alpha}= 3(t-2)^{2}[1-\sqrt{1-\alpha}, 1+\sqrt{1-\alpha}] $$

subject to the initial conditions

$$ \bigl[u(0)\bigr]^{\alpha}=[\mu_{1}]^{\alpha}= [-1-\sqrt {1-\alpha}, -1+\sqrt{1-\alpha}]. $$
(16)

Then

$$\begin{aligned}& \underline{u}^{\alpha}(t) = -1-\sqrt{1-\alpha }+(t-2)^{3}(1- \sqrt{1-\alpha}), \\& \bar{u}^{\alpha}(t) = -1+\sqrt{1-\alpha}+(t-2)^{3}(1-\sqrt{1+ \alpha}). \end{aligned}$$

Noting that \(\underline{u}^{\alpha}(t)\leq\bar{u}^{\alpha}(t)\), we see that \(t\in[1,2]\). This implies that the problem (15) has an (i)-solution on \([1,2]\). Similarly, if u is (ii)-differentiable, then we transform equation (15) into the α-level system

$$\bigl[\bar{u}^{\prime\alpha}(t),\underline{u}^{\prime\alpha}(t) \bigr]=3(t-2)^{2}[1-\sqrt {1-\alpha}, 1+\sqrt{1-\alpha}] $$

subject to the same initial conditions (16). Then for \(t\in[0,1]\),

$$\begin{aligned}& \bar{u}^{\alpha}(t) = -1-\sqrt{1-\alpha }+(t-2)^{3}(1-\sqrt{1- \alpha}), \\& \underline{u}^{\alpha}(t) = -1+\sqrt{1-\alpha}+(t-2)^{3}(1-\sqrt {1+\alpha}). \end{aligned}$$

Then the problem (15) has a (ii)-solution on \([0,1]\). Thus there is a unique mixed solution and no proper solution for (15) on J. □

Example 4.2

Let us consider the linear first-order fuzzy differential equation

$$ y'(t)=y(t),\qquad y(0)=\gamma, $$

where \([\gamma]^{\alpha}=[\alpha-1,1-\alpha]\). By direct computations, all the assumptions in Theorem 4.1 and Theorem 4.2 hold for the problem (15); then there would have to be a unique proper solution. But there are two proper solutions of problem (15) ([3], Example 4.1): (i) the solution \(y(t)=e^{t}\gamma\) and (ii) the solution \(y(t)=\cosh(t)\gamma\ominus(-1)\sinh(t)\gamma\). Thus the results in both Theorem 4.1 and Theorem 4.2 are invalid.

5 Conclusions

As we know, the crisp differential equations are popular models to approach the various phenomena in the real world when the conditions/hypotheses are clear. Also, the stochastic fuzzy differential equation is a candidate to describe the occurrence of the phenomenon or the unknown initial data. In this paper, we build a relationship between differential system with min-max terms and fuzzy differential equations, and we investigate the existence and multiple solutions for a class of first-order differential system with min-max terms. As applications, the existence results for some linear fuzzy differential equations are obtained. Work in progress uses fixed point theorems for nonlinear operators to study the existence and multiple solutions of interval and fuzzy differential equations (see e.g. [28, 29]).