• Research
• Open Access

# A Mellin transform method for solving fuzzy differential equations

Advances in Difference Equations20162016:296

https://doi.org/10.1186/s13662-016-1027-8

• Received: 6 September 2016
• Accepted: 14 November 2016
• Published:

## Abstract

In this paper, we introduce the fuzzy Mellin transform and investigate some of its operator properties. We then establish the connections with the two-side fuzzy Laplace transform. By using a fuzzy Mellin transform, we solve some fuzzy differential equations under strongly generalized differentiable conditions. Finally, some simple applications are given.

## Keywords

• fuzzy Mellin transform
• fuzzy Laplace transform
• fuzzy differential equation

## 1 Introduction

The first definition of differentiability for fuzzy-valued functions was proposed by Puri and Ralesu in , which is based on the Hukuhara difference of sets. The definition of fuzzy-valuedness as a generalization of the Hurahara derivative for set-valued mappings is a rather restrictive concept of derivative. In order to overcome the limitations, some new notions of difference were given, such as the generalized difference  and the generalized Hurahara difference .

Bica et al. proved the convergence of the method of successive approximations and used to approximate the solution of the nonlinear Hammerstein fuzzy integral equation, and then they proposed the notion of numerical stability of the algorithm with respect to the choice of the first iteration in . Cabral et al. considered fuzzy differential equations with parameters and initial conditions interactive in two differential ways: differential inclusion and the extension principle . Under generalized differentiability Mosleh et al. presented an approach for approximating the fuzzy linear system of differential equations in . The airfoil and the Chebyshev polynomials methods for solving the fuzzy Fredholm integro-differential equation with Cauchy kernel under generalized H-differentiability was discussed in . Moreover, Chalco-Cano et al. discussed the formulation and procedure for solving fuzzy differential equations via a differential inclusion and gave several examples showing the corrected and incorrect procedure for solving differential equations in . Agarwal et al. proposed the notion of a differential equation of fractional order with uncertainty and presented the concept of the solution . Malinowski established mathematical foundations of random fuzzy fractional integral equations which involved a fuzzy integral of fractional order . For more study on fuzzy fractional differential equations one may refer to .

Recently, Salahshour et al. dealt with the solutions of fuzzy Volterra integral equations with separable kernel by using a fuzzy differential transform method in . Moreover, the fuzzy Laplace transform was expressed by Salahshour et al. in . And the existence theorem was given for a fuzzy-valued function which possesses the fuzzy Laplace transform. Ahmadi et al. investigated the Laplace transform formula on the fuzzy nth-order derivative by using the strongly generalized differentiability concept in . The fuzzy Laplace transforms method for solving fuzzy fractional differential equations was proposed by Salahshour et al. in .

By the change of variables $$x=\exp(-t)$$ of the classical Mellin transform, one can obtain its Laplace transform. By using this connection with the two-side fuzzy Laplace transform, we can deduce the operator properties of the fuzzy Mellin transform. Then we may use the Mellin transform technology to solve some kinds of fuzzy differential equations. That is the main result of this paper. Some simple applications are given in the last section.

## 2 Preliminaries

We denote the sets of all nonempty convex compact subsets of metric space $$(\mathcal{X}, d)$$ by $$\mathcal{K}(\mathcal{X})$$. The Hausdorff metric for $$X_{1},X_{2}\in\mathcal{K}(\mathcal{X})$$ is defined as
$$D(X_{1},X_{2})=\inf\bigl\{ X_{1}\subset N(X_{2},\varepsilon) \text{ and } X_{2}\subset N(X_{1},\varepsilon)\bigr\} ,$$
where $$N(X_{1},\varepsilon)=\{x_{1}\in\mathcal {X} \mid d(x_{1},x_{2})<\varepsilon \text{ for some } x_{2}\in X_{1}\}$$.

A real-valued mapping $$\nu:\mathcal{X}\rightarrow[0,1]$$ is called a fuzzy set.

Let us denote by $$\mathcal{E}$$ the set of all fuzzy sets satisfying the following four conditions:
1. (i)

ν is normal, i.e., $$\exists x_{1} \in\mathcal{X}$$ with $$\nu(x_{1})=1$$;

2. (ii)

ν is convex (i.e., $$\nu(\lambda x_{1}+(1-\lambda )x_{2})\geq\min\{\nu(x_{1}),\nu(x_{2})\}$$, $$\forall\lambda\in [0,1]$$, $$x_{1}, x_{2} \in\mathcal{X}$$);

3. (iii)

ν is semicontinuous on $$\mathcal{X}$$;

4. (iv)

$$\overline{\{x_{1}\in\mathcal{X}; \nu(x_{1})>0\}}$$ is compact, where denotes the closure of B.

For $$0< r \leq1$$, the r-level set of ν is denoted by $$[\nu]^{r} = \{x_{1}\in\mathcal{X} \mid \nu(x_{1})\geq r\}$$ and $$[\nu]^{0}=\overline{\{ x_{1}\in\mathcal{X} \mid \nu(x_{1})>0\}}$$.

Zadeh’s extension principle implies
$$(\nu_{1}+\nu_{2}) (x_{1})=\sup _{y\in\mathcal{X}}\min\bigl\{ \nu_{1}(y),\nu _{2}(x_{1}-y) \bigr\} ,\quad x\in\mathcal{X},$$
and
$$(k \nu) (x_{1})=\nu(x_{1}/k), \quad k>0, \quad \text{and} \quad (k \nu) (x_{1})=\tilde {0}\in\mathcal{E},\quad k=0.$$
In particular, for $$\nu_{1},\nu_{2}\in\mathcal{E}$$, $$\mathcal{X}\subset \mathbb{R}$$, and $$\lambda\in\mathbb{R}$$, we have
$$[\nu_{1}\oplus\nu_{2}]^{r}=[\nu_{1}]^{r}+[ \nu_{2}]^{r}, \qquad [\lambda\nu _{1}]^{r}= \lambda[\nu_{1}]^{r},\quad \forall r\in[0,1],$$
where $$[\nu_{1}]^{r}+[\nu_{2}]^{r}$$ means the usual addition of two closed convex intervals of $$\mathbb{R}$$ and $$\lambda[\nu]^{r}$$ means the usual product between a scalar and an intervals of $$\mathbb{R}$$.

A mapping $$f:\mathcal{X}\rightarrow\mathcal{E}$$, $$\mathcal{X}\subset \mathbb{R}$$ is called a fuzzy-valued function. Some authors have considered the Laplace transform of fuzzy-valued functions and called it a fuzzy Laplace transform (see [15, 16, 18]). Notice that the kernels functions of Laplace transform and Mellin transform are both complex-valued functions. In order to compute ($$k\in \mathbb{C}$$, $$\nu\in\mathcal{E}$$), we have to modify the above definitions. The notion of the complex membership function proposed by Tamir et al. in  seems to be suitable.

The complex membership function is defined as
$$\nu(t)=\nu_{1}(t)+\mathrm{i}\nu_{2}(t),$$
where $$\nu_{1},\nu_{2}:\mathbb{R}\rightarrow[0,1]$$ and $$t\in\mathbb {R}$$. For convenience, denote $$(\nu_{1},\nu_{2})$$ by ν. Then, for $$\nu=(\nu_{1},\nu_{2})$$ the $$(\alpha_{1},\alpha_{2})$$-level set is denoted by
$$[\nu]^{(\alpha_{1},\alpha_{2})}=[\nu_{1}]^{\alpha_{1}}\cap[\nu _{2}]^{\alpha_{2}}.$$
It is easy to see that the $$(\alpha_{1},\alpha_{2})$$-level of ν is always compact and convex. In order to ensure that ν is normal, we define the following set:
$$\widehat{\mathcal{E}}' = \bigl\{ (\nu_{1}, \nu_{2})\in\mathcal{E}\times \mathcal{E} \mid \exists t_{0}\in \mathbb{R}\mbox{ s.t. }\nu_{1}(t_{0})=\nu _{2}(t_{0})=1\bigr\} ,$$
(2.1)
where $$\mathcal{E}=\{\nu \mid \nu:\mathbb{R}\rightarrow[0, 1]\}$$.

We define $$\hat{0}\in\mathcal{E}$$ by $$\hat{0}(t)=1$$ when $$t=0$$ and $$\hat{0}(t)=0$$ otherwise. The zero element on $$\widehat {\mathcal{E}}'$$ then reads $$\hat{0}_{2}(t)=(\hat {0}(t),\hat{0}(t))\in\mathcal{E} \times\mathcal{E}$$.

For $$f=(u_{f},v_{f}), g=(u_{g},v_{g})\in\widehat{\mathcal{E}}'$$, we give the notions of addition and scalar multiplication as follows:
\begin{aligned} &f+g=(u_{f}+u_{g},v_{f}+v_{g}), \\ &c\odot f = (au_{f}-bv_{f},av_{f}+bu_{f}) \quad (c=a+\mathrm{i}b). \end{aligned}
(2.2)
The Hausdorff distance $$D_{1}:\mathcal{E}\times\mathcal{E}\rightarrow [0,\infty)$$ is defined by
$$D_{1}(\nu_{1},\nu_{2})=\sup\bigl\{ D \bigl([\nu_{1}]^{r},[\nu_{2}]^{r}\bigr) \mid r\in[0,1]\bigr\} .$$
(2.3)
For $$f=(u_{f},v_{f}),g=(u_{g},v_{g})\in\widehat{\mathcal{E}}'$$, we then define the Hausdorff distance $$D_{2}:\widehat{\mathcal{E}}' \rightarrow[0,\infty)$$ by
$$D_{2}(f,g)=D_{1}\bigl((u_{f},v_{f}),(u_{g},v_{g}) \bigr)=\max\bigl\{ D_{1}(u_{f},u_{g}),D_{1}(v_{f},v_{g}) \bigr\} .$$
(2.4)
$$(\widehat{\mathcal{E}}' ,D_{2})$$ is a complete metric space. Using the method given by Karpenko et al. , one can show that $$(\widehat {\mathcal{E}}' ,D_{2})$$ is isometrically embedded in a Banach space.

A mapping $$F:[a, b]\rightarrow\widehat{\mathcal{E}}'$$ is called complex fuzzy-valued function. In order to investigate differentiability of the complex membership function, we need the notion of the difference of two fuzzy numbers. There are some different definitions such as the Hukuhara difference, the generalized Hukuhara difference, the generalized difference, and so on. But we only consider the following H-difference in this paper.

Let $$x,y \in\widehat{\mathcal{E}}'$$. If there exists $$z\in \widehat{\mathcal{E}}'$$ such that $$x=y+ z$$, then z is called the H-difference of x and y and it is denoted by $$x-y$$.

Let $$F(x)=(u_{f}(x),v_{f}(x))$$ and assume that $$u_{f}(x)$$ and $$v_{f}(x)$$ are both fuzzy Riemann-integrable, which was introduced by Stefanini and Bede.

### Definition 1



Let u be a fuzzy-valued function on $$[a,\infty]$$, and $$u(x;r)=[\underline{u}(x;r),\bar{u}(x;r)]$$. Assume that the endpoint functions $$\underline{u}(x;r)$$ and $$\bar{u}(x;r)$$ are both Riemann-integrable on $$[a,\infty]$$ for every $$b\geq a$$, and assume that there are two positive $$\underline{M}(r)$$ and $$\bar{M}(r)$$ such that $$\int_{a}^{b}|\underline{u}(x;r)|\, \mathrm{d}x \leq\underline{M}(r)$$ and $$\int_{a}^{b}|\bar{u}(x;r)|\, \mathrm{d}x \leq\bar{M}(r)$$ for every $$b\geq a$$. Then $$u(x)$$ is improper fuzzy Riemann-integrable on $$[a,\infty]$$, and the improper fuzzy Riemann-integral is denoted by $$Iu(x)$$.

Furthermore, one can obtain
$$Iu(x;r)= \int_{a}^{\infty}u(x;r)\, \mathrm{d}x= \biggl[ \int_{a}^{\infty}\underline {u}(x;r)\, \mathrm{d}x, \int_{a}^{\infty}\bar{u}(x;r)\, \mathrm{d}x \biggr].$$
(2.5)

### Definition 2

Let $$F:[a, b]\rightarrow\widehat{\mathcal{E}}'$$ be a complex fuzzy-valued function and let $$F(x)=(u_{f}(x),v_{f}(x))$$. Assume that $$u_{f}(x)$$ and $$v_{f}(x)$$ are both fuzzy Riemann-integrable. Then $$F(x)$$ is improper fuzzy Riemann-integrable and the improper fuzzy Riemann-integral is denoted by $$IF(x)=(Iu_{f}(x),Iv_{f}(x))$$.

### Definition 3

We call a complex fuzzy-valued function $$F:(a, b)\rightarrow\widehat {\mathcal{E}}'$$ strongly generalized differentiable at $$x\in(a, b)$$ if there exists some $$F'(x)\in\widehat{\mathcal{E}}'$$ such that
1. (i)
there exist the differences $$F(x+x_{0})-F(x)$$, $$F(x)-F(x-x_{0})$$ and
$$\lim_{x_{0}\rightarrow0^{+}}\frac{F(x+x_{0})-F(x)}{x_{0}}=\lim_{x_{0}\rightarrow0^{+}} \frac{F(x)-F(x-x_{0})}{x_{0}}=F'(x),$$
or

1. (ii)
there exist the differences $$F(x)-F(x+x_{0})$$, $$F(x-x_{0})-F(x)$$ and
$$\lim_{x_{0}\rightarrow0^{+}}\frac{F(x)-F(x+x_{0})}{-x_{0}}=\lim_{x_{0}\rightarrow0^{+}} \frac{F(x-x_{0})-F(x)}{-x_{0}}=F'(x),$$
or

1. (iii)
there exist the differences $$F(x+x_{0})-F(x)$$, $$F(x-x_{0})-F(x)$$ and
$$\lim_{x_{0}\rightarrow0^{+}}\frac{F(x+x_{0})-F(x)}{x_{0}}=\lim_{x_{0}\rightarrow0^{+}} \frac{F(x-x_{0})-F(x)}{-x_{0}}=F'(x),$$
or

1. (iv)
there exist the differences $$F(x)-F(x+x_{0})$$, $$F(x)-F(x-x_{0})$$ and
$$\lim_{x_{0}\rightarrow0^{+}}\frac{F(x)-F(x+x_{0})}{-x_{0}}=\lim_{x_{0}\rightarrow0^{+}} \frac{F(x)-F(x-x_{0})}{x_{0}}=F'(x).$$

Furthermore, one can obtain
$$DF(x)=F'(x)=\bigl[Du_{f}(x),Dv_{f}(x)\bigr].$$

## 3 The fuzzy Mellin transform

### Definition 4

The fuzzy Mellin transform of a complex fuzzy-valued function $$f(t)$$ is defined by
$$\mathcal{M}\bigl[f(t)\bigr](s)= \int_{0}^{\infty}t^{s-1}\odot f(t)\, \mathrm{d}t,$$
(3.1)
where $$s\in\mathbb{C}$$.
We then have
\begin{aligned} \mathcal{M}[f](s) &= \biggl( \int_{0}^{\infty}t^{s-1}\odot u_{f}(t)\, \mathrm {d}t, \int_{0}^{\infty}t^{s-1}\odot v_{f}(t)\, \mathrm{d}t \biggr) \\ &=\bigl(\mathcal{M}[u_{f}](s),\mathcal{M}[v_{f}](s)\bigr). \end{aligned}
(3.2)
We can establish the connection with the fuzzy Laplace transform defined by the authors in [16, 22, 23]. Let $$x=e^{-t}$$. We have the Laplace transform
$$\mathcal{L}\bigl[f(t)\bigr](s)= \int_{-\infty}^{+\infty}e^{-st}\odot f \bigl(e^{-t}\bigr)\, \mathrm{d}t.$$
(3.3)
By using this formula, we can obtain the following propositions.

### Proposition 1

$$\mathcal{L}\bigl[f\bigl(e^{-t}\bigr)\bigr](s)= \mathcal{M}\bigl[f(t)\bigr](s).$$
(3.4)
For the definitions of $$|\cdot|$$ and converges absolutely we refer the reader to . If the function $$F(t):=f(e^{-t})$$ satisfies $$\delta_{-}<\delta_{+}$$, then the fuzzy Laplace transform converges absolutely for $$\delta_{-} <\operatorname{Re}(s)<\delta_{+}$$, where
\begin{aligned}& \delta_{-} := \inf\bigl\{ \delta \mid \bigl\vert F(t)\bigr\vert = O \bigl(e^{\delta t}\bigr), t\rightarrow \infty\bigr\} , \\& \delta_{+} := \sup\bigl\{ \delta \mid \bigl\vert F(t)\bigr\vert = O \bigl(e^{\delta t}\bigr), t\rightarrow -\infty\bigr\} . \end{aligned}
By (3.4), if $$\delta_{-}<\delta_{+}$$, then for $$\delta _{-}<\operatorname{Re}(s)<\delta_{+}$$ the fuzzy Mellin transform converges absolutely, where
\begin{aligned}& \delta_{-} := \inf\bigl\{ \delta \mid \bigl\vert f(t)\bigr\vert = O \bigl(t^{-\delta}\bigr), t\rightarrow 0+\bigr\} , \\& \delta_{+} := \sup\bigl\{ \delta \mid \bigl\vert f(t)\bigr\vert = O \bigl(t^{-\delta}\bigr), t\rightarrow \infty\bigr\} . \end{aligned}
If the fuzzy Mellin transform $$\mathcal{M}[f(t)](s)$$ converges absolutely in the vertical strip $$\delta_{-}<\operatorname{Re}(s)<\delta_{+}$$, then one can obtain
\begin{aligned}& \lim_{t\rightarrow0^{+}}t^{s}\odot f(t)=\hat{0},\quad \operatorname{Re}(s)>\delta_{-}, \\& \lim_{t\rightarrow\infty}t^{s}\odot f(t)=\hat{0},\quad \operatorname{Re}(s)< \delta_{+}. \end{aligned}
Furthermore, for $$\delta_{-}<\alpha\leq \operatorname{Re}(s)\leq\beta<\delta_{+}$$, the fuzzy Mellin transform converges absolutely and uniformly, and
$$\lim_{\vert \operatorname{Im}(s)\vert \rightarrow\infty} \tilde{f}(s)=\hat{0}$$
for $$\alpha< \operatorname{Re}(s)< \beta$$. Then we give the inversion formula for the fuzzy Mellin transform
$$f(t)=\mathcal{M}^{-1}\bigl[\tilde{f}(s)\bigr](t)= \frac{1}{2\pi i}\odot \int_{c-i\infty}^{c+i\infty}t^{-s}\odot\tilde{f}(s)\, \mathrm{d}s$$
(3.5)
with $$\delta_{-}< c<\delta_{+}$$.

### Example 1

Let $$f(t)=(u_{f}\odot e^{-t}, v_{f}\odot e^{-t})=a\odot e^{-t}$$ with $$a=(u_{f},v_{f})\in\widehat{\mathcal{E}}'$$, then
\begin{aligned} \mathcal{M}\bigl[a\odot e^{-t}\bigr](s)&= \biggl( \int_{0}^{\infty}t^{s-1}\odot u_{f} \odot e^{-t}\, \mathrm{d}t, \int_{0}^{\infty}t^{s-1}\odot v_{f} \odot e^{-t}\, \mathrm{d}t \biggr) \\ &= \bigl(u_{f}\odot\Gamma(s), v_{f}\odot\Gamma(s) \bigr)=a \odot\Gamma (s), \quad \operatorname{Re}(s)>0. \end{aligned}
(3.6)
Thus, for $$t>0$$, $$a\in\widehat{\mathcal{E}}'$$, $$c>0$$,
$$a\odot e^{-t}=\mathcal{M}^{-1}\bigl[a\odot \Gamma(s)\bigr](t)=\frac{1}{2\pi i}\odot pv \int_{c-i\infty}^{c+i\infty}t^{-s}\odot a\odot\Gamma (s) \, \mathrm{d}s.$$
(3.7)

In fact, the fuzzy Mellin transform is a linear operator in the domain of the strips of convergence. Then we have the following property.

### Proposition 2

If $$\mathcal{M}[f_{j}(t)](s)=\tilde{f}_{j}(s)$$ for $$\alpha _{j}<\operatorname{Re}(s)<\beta_{j}$$, then
$$\mathcal{M} \Biggl[\sum_{j=1}^{n}c_{j} \odot f_{j}(t) \Biggr](s)=\sum_{j=1}^{n}c_{j} \odot\mathcal{M}\bigl[f_{j}(t)\bigr](s),$$
(3.8)
where $$\alpha<\Re(s)<\beta$$, $$\alpha\triangleq\max\{\alpha _{1},\ldots,\alpha_{n}\}$$, and $$\beta\triangleq\min\{\beta_{1},\ldots,\beta _{n}\}$$.

### Proposition 3

Let $$\mathcal{M}[f(t)](s)=\tilde{f}(s)$$ for $$\alpha<\Re (s)<\beta$$,
$$\mathcal{M}\bigl[f(\lambda t)\bigr](s)=\lambda^{-s}\odot\mathcal{M} \bigl[f(t)\bigr](s).$$

### Proof

By a fuzzy Laplace transformation we obtain
\begin{aligned} \mathcal{M}\bigl[f(\lambda t)\bigr](s)&=\mathcal{L}\bigl[f\bigl( \lambda e^{-\tau }\bigr)\bigr](s)=\mathcal{L}\bigl[f\bigl(e^{-(\tau-\log\lambda)} \bigr)\bigr](s) \\ &=e^{-s\log\lambda}\odot\mathcal{L}\bigl[f\bigl(e^{-\tau}\bigr)\bigr](s)= \lambda ^{-s}\odot\mathcal{M}\bigl[f(t)\bigr](s), \end{aligned}
(3.9)
where $$\lambda>0$$, $$t>0$$, $$\alpha<\Re(s)<\beta$$. □

### Example 2

$$\mathcal{M}\bigl[c\odot e^{-\lambda t}\bigr](s)=c\odot\lambda^{-s} \odot\Gamma (s), \quad \operatorname{Re}(s)>0,c\in\widehat{\mathcal{E}}', \lambda>0.$$

### Proposition 4

For $$\lambda\neq0$$ and $$t>0$$, we have
$$\mathcal{M}\bigl[f\bigl(t^{\lambda}\bigr)\bigr](s)=\frac{1}{|\lambda|}\odot \mathcal {M}\bigl[f(\tau)\bigr]\biggl(\frac{s}{\lambda}\biggr).$$

### Proof

For $$\lambda\neq0$$ and $$t>0$$, by using the fuzzy Laplace transformation, we have
\begin{aligned} \mathcal{M}\bigl[f\bigl(t^{\lambda}\bigr)\bigr](s)&= \mathcal{L}\bigl[f\bigl(e^{-\lambda\tau }\bigr)\bigr](s)=\frac{1}{|\lambda|}\odot \mathcal{L}\bigl[f\bigl(e^{-\tau}\bigr)\bigr]\biggl(\frac {s}{\lambda} \biggr) \\ &=\frac{1}{|\lambda|}\odot\mathcal{M}\bigl[f(\tau)\bigr]\biggl(\frac{s}{\lambda} \biggr), \end{aligned}
(3.10)
where $$\lambda\alpha<\operatorname{Re}(s)<\lambda\beta$$, and $$\lambda\beta <\operatorname{Re}(s)<\lambda\alpha$$, according to $$\lambda>0$$ or $$\lambda< 0$$, respectively. □

### Example 3

Let $$\lambda>0$$, $$c\in\widehat{\mathcal{E}}'$$, and $$\gamma\neq0$$,
$$\mathcal{M}\bigl[c\odot e^{-\lambda t^{\gamma}}\bigr](s)=c\odot \frac{\lambda ^{-s/\gamma}}{|\gamma|}\odot\Gamma\biggl(\frac{s}{\gamma}\biggr).$$
(3.11)

### Proposition 5

$$\mathcal{M}\bigl[(\log t)^{n}\odot f(t)\bigr](s)=\frac{\mathrm{d}^{n}}{\mathrm{d}s^{n}} \mathcal{M}\bigl[f(t)\bigr](s).$$

### Proof

Let $$\mathcal{M}[f(t)](s)=\tilde{f}(s)$$ for $$\alpha<\operatorname{Re}(s)<\beta$$. Then, by using a fuzzy Laplace transformation, we have
\begin{aligned} \mathcal{M}\bigl[(\log t)^{n}\odot f(t)\bigr](s)&= \mathcal{L}\bigl[f\bigl(e^{-\tau}\bigr) \odot \log\bigl(e^{-\tau} \bigr)^{n}\bigr](s)=\mathcal{L}\bigl[(-\tau)^{n}\odot f \bigl(e^{-\tau}\bigr)\bigr](s) \\ &=\frac{\mathrm{d}^{n}}{\mathrm{d}s^{n}}\mathcal{L}\bigl[f\bigl(e^{-\tau}\bigr)\bigr](s)= \frac {\mathrm{d}^{n}}{\mathrm{d}s^{n}}\mathcal{M}\bigl[f(t)\bigr](s), \end{aligned}
(3.12)
where $$\operatorname{Re}(s)\in(\alpha,\beta)$$ and $$n\in\mathbb{N}$$. □

### Example 4

For $$a>0$$, $$c\in\widehat{\mathcal{E}}'$$
\begin{aligned} &\mathcal{M}\bigl[c\odot(\log t)^{n}\odot\delta(t-a)\bigr](s)=c\odot\frac {\mathrm{d}^{n}}{\mathrm{d}s^{n}}a^{s-1}=c \odot(\log a)^{n}\odot a^{s-1}, \\ &\mathcal{M}\bigl[c\odot(\log t)^{n}\odot e^{-t}\bigr](s)=c \odot\frac {\mathrm{d}^{n}}{\mathrm{d}s^{n}}\Gamma(s)\quad \bigl(0< \operatorname{Re}(s)\bigr). \end{aligned}
(3.13)

### Proposition 6

$$\mathcal{M}\bigl[t^{\lambda}\odot f(t)\bigr](s)=\mathcal{M}\bigl[f(t) \bigr](s+\lambda).$$

### Proof

By using the fuzzy Laplace transformation, one can obtain
\begin{aligned} \mathcal{M}\bigl[t^{\lambda}\odot f(t)\bigr](s)&=\mathcal{L} \bigl[e^{-\lambda\tau }\odot f\bigl(e^{-\tau}\bigr)\bigr](s) \\ &=\mathcal{L}\bigl[f\bigl(e^{-\tau}\bigr)\bigr](s+\lambda)=\mathcal{M} \bigl[f(t)\bigr](s+\lambda), \end{aligned}
(3.14)
where $$\operatorname{Re}(s)\in(\alpha-\operatorname{Re}(\lambda),\beta-\operatorname{Re}(\lambda))$$. □

### Example 5

For $$a>0$$, $$c\in\widehat{\mathcal{E}}'$$ we have
\begin{aligned} &\mathcal{M}\bigl[c\odot t^{\lambda} \odot\delta(t-a)\bigr](s)=c\odot a^{s+\lambda-1}, \\ &\mathcal{M}\bigl[c\odot t^{\lambda}\odot e^{-t}\bigr](s)=c\odot \Gamma (s+\lambda)\quad \bigl(-\operatorname{Re}(\lambda)< \operatorname{Re}(s) \bigr). \end{aligned}
(3.15)
In particular, when $$\lambda=1$$, we have
$$\mathcal{M}\bigl[t\odot f(t)\bigr](s)=\mathcal{M}\bigl[f(t)\bigr](s+1),\quad \operatorname{Re}(s)\in(\alpha -1,\beta-1).$$
Moreover, we can obtain the following proposition.

### Proposition 7

$$\mathcal{M}\bigl[t^{-1}\odot f\bigl(t^{-1}\bigr)\bigr](s)= \mathcal{M}\bigl[f(t)\bigr](1-s),\quad \Re (s)\in\bigl(-(\beta-1),-(\alpha-1) \bigr)$$
and
$$\mathcal{M}\biggl[f\biggl(\frac{1}{t}\biggr)\biggr](s)=\mathcal{M} \bigl[f(t)\bigr](-s),\quad \operatorname{Re}(s)\in (-\beta,-\alpha).$$

### Example 6

$$\mathcal{M}\biggl[c\odot\frac{e^{-a/t}}{t}\biggr](s)=c\odot a^{s-1} \odot\Gamma (1-s),\quad \operatorname{Re}(s)< 1.$$

### Proposition 8

$$\mathcal{M}\bigl[f'(t)\bigr](s)=-(s-1)\odot \mathcal{M}\bigl[f(t)\bigr](s-1).$$
(3.16)

### Proof

Let $$\mathcal{M}[f(t)](s)=\tilde{f}(s)$$ for $$\alpha<\operatorname{Re}(s)<\beta$$. By using the fuzzy Laplace transformation,
\begin{aligned} \mathcal{M}\bigl[f'(t)\bigr](s)&=\mathcal{L} \bigl[f'\bigl(e^{-t}\bigr)\bigr](s)=\mathcal {L} \bigl[-e^{t}\odot Df\bigl(e^{-t}\bigr)\bigr](s) \\ &=-\mathcal{L}\bigl[Df\bigl(e^{-t}\bigr)\bigr](s)|_{s\rightarrow s-1} \\ &=-s \odot\mathcal {L}\bigl[f\bigl(e^{-t}\bigr)\bigr](s)|_{s\rightarrow s-1} \\ &=-(s-1)\odot\mathcal{M}\bigl[f(t)\bigr](s-1), \end{aligned}
(3.17)
where $$\alpha+1 <\operatorname{Re}(s)<\beta+1$$. □
Moreover, we have:
1. (1)

$$\mathcal{M}[D^{n}f(t)](s)=(1-s)_{n}\odot\tilde{f}(s-n)$$ where $$\operatorname{Re}(s)\in(\alpha+n,\beta+n)$$, $$(a_{n}):=a(a+1)\cdots(a+n-1)$$.

2. (2)

$$\mathcal{M}[t\odot f'(t)](s)=-s\odot\mathcal{M}[f(t)](s)$$, and the strip of convergence is unchanged.

3. (3)
$$\mathcal{M}[(t\odot Df(t))^{n}](s)=(-s)^{n}\odot\mathcal{M}[f(s)](s)$$. For $$n=2$$ it implies
$$\mathcal{M}\bigl[t^{2}\odot D^{2}f(t)+t\odot Df(t)\bigr](s)=s^{2}\odot\mathcal{M}\bigl[f(t)\bigr](s).$$
(3.18)

4. (4)

$$\mathcal{M}[D^{2}f(t)+\frac{1}{t}\odot Df(t)](s)=(s-2)^{2}\odot\mathcal {M}[f(t)](s-2)$$ for $$\operatorname{Re}(s)\in(\alpha-2,\beta-2)$$.

We consider the following integral operator:
$$I_{-}f(t):= \int_{0}^{t}f(\tau)\, \mathrm{d}\tau,\qquad I_{+}f(t)= \int^{\infty }_{t}f(\tau)\, \mathrm{d}\tau.$$
(3.19)

### Proposition 9

$$\mathcal{M}\bigl[I_{-}f(t)\bigr](s)=-\frac{1}{s} \mathcal{M}\bigl[f(t)\bigr](s+1),\quad \alpha-1< \operatorname{Re}(s)< \min\{ \beta-1,-1\}.$$
(3.20)

### Proof

\begin{aligned} \begin{aligned}[b] \mathcal{M}\bigl[I_{-}f(t)\bigr](s)&=\mathcal{L} \bigl[I_{-}f\bigl(e^{-\tau }\bigr)\bigr](s)=\mathcal{L} \bigl[I_{+}\bigl(e^{-\tau}\odot f\bigl(e^{-\tau}\bigr) \bigr)\bigr](s) \\ &=\frac{1}{s}\odot\mathcal{L}\bigl[e^{-\tau}\odot f \bigl(e^{-\tau }\bigr)\bigr](s)=-\frac{1}{s}\odot\mathcal{M} \bigl[f(t)\bigr](s+1) \end{aligned} \end{aligned}
(3.21)
holds for $$\alpha-1<\operatorname{Re}(s)<\min\{\beta-1,-1\}$$.
Similarly, we can obtain
$$\mathcal{M}\bigl[I_{+}f(t)\bigr](s)=-\frac{1}{s} \odot\mathcal{M}\bigl[f(t)\bigr](s+1)$$
(3.22)
for $$\alpha-1<\operatorname{Re}(s)<\beta-1$$. □

### Example 7

We have
\begin{aligned} \mathcal{M}\bigl[c\odot e^{-t^{2}}\bigr](s)&=\bigl(\mathcal{M} \bigl[u_{c}\odot e^{-t^{2}}\bigr](s),\mathcal{M} \bigl[v_{c}\odot e^{-t^{2}}\bigr](s)\bigr) \\ &= \biggl( \frac {1}{2}\Gamma \biggl(\frac{s}{2} \biggr) \biggr)\odot c \end{aligned}
for $$\alpha=0<\operatorname{Re}(s)<\infty=\beta$$. Thus,
$$\mathcal{M}\bigl[I_{+}\bigl(c\odot e^{-t^{2}}\bigr)\bigr](s)=-c \odot\frac{1}{2s}\odot \Gamma \biggl(\frac{s+1}{2} \biggr).$$

### Definition 5

The fuzzy Mellin convolution product, denoted by $$f*g$$, of a real-valued function $$f(t)$$ and a fuzzy-valued function $$g(t)$$, is defined by
$$f(t)*g(t)= \int_{0}^{\infty}\frac{1}{\tau}\odot f\biggl( \frac{t}{\tau}\biggr)\odot g(\tau)\, \mathrm{d}\tau.$$
(3.23)

Suppose that the real-valued function $$f(t)$$ and the fuzzy-valued function $$g(t)$$ are both defined on the positive part of the real axis and that both of them have the Mellin transform $$\tilde{f}(s)$$ and $$\tilde{g}(s)$$ for $$\alpha<\operatorname{Re}(s)<\beta$$. Then we can obtain the following convolution rule.

### Proposition 10

$$\mathcal{M}\bigl[f(t)*g(t)\bigr](s)=\mathcal{M}\bigl[f(t)\bigr](s) \odot\mathcal{M}\bigl[g(t)\bigr](s)$$
(3.24)
for $$\alpha<\operatorname{Re}(s)<\beta$$.

### Proof

\begin{aligned} \mathcal{M}\bigl[f(t)*g(t)\bigr](s)&= \int_{0}^{\infty}t^{s-1}\odot \int_{0}^{\infty}f\biggl(\frac{r}{\tau}\biggr)\odot g(\tau)\, \mathrm{d}\tau\, \mathrm{d}t \\ &= \int_{0}^{\infty}t^{s-1}\odot f\biggl( \frac{t}{\tau}\biggr)\, \mathrm{d}t \int _{0}^{\infty}\frac{1}{\tau}\odot g(\tau)\, \mathrm{d}\tau \\ &=\mathcal{M}\bigl[f(t)\bigr](s)\odot\mathcal{M}\bigl[g(t)\bigr](s). \end{aligned}
(3.25)
In fact, by using the fuzzy Laplace transformation, we can also obtain
\begin{aligned} \begin{aligned}[b] \mathcal{M}\bigl[f(t)*g(t)\bigr](s)&=\mathcal{L}\bigl[f \bigl(e^{-t}\bigr)\star g\bigl(e^{-t}\bigr)\bigr]=\mathcal{L} \bigl[f\bigl(e^{-t}\bigr)\bigr]\odot\mathcal{L}\bigl[g \bigl(e^{-t}\bigr)\bigr] \\ &=\mathcal{M}\bigl[f(t)\bigr](s)\odot\mathcal{M}\bigl[g(t)\bigr](s). \end{aligned} \end{aligned}
(3.26)
□

## 4 Applications

Consider the inhomogeneous fuzzy differential system (Euler’s differential equation)
$$\bigl\{ t^{2}\odot D^{2}+a_{1}\odot t\odot D + a_{2}\bigr\} U(t)=f(t),\quad t>0.$$
(4.1)
By using the Mellin transform, the equation becomes
$$\bigl(s^{2}-(a_{1}-1)s+a_{2}\bigr) \odot\widetilde{U}(s)=\tilde{f}(s).$$
(4.2)

### Example 8

Consider the fuzzy Euler’s differential equation
$$\bigl\{ t^{2}\odot D^{2}+2\odot t\odot D -2 \bigr\} U(t)=c \odot\bigl(u(a-t) t^{-3}\bigr),\quad a>0,c\in\widehat{ \mathcal{E}}'.$$
By (4.2), a particular solution of the system is found to be
$$\widetilde{U}(s)=c\odot\frac{a^{s-3}}{(s+1)(s-2)(s-3)}= \biggl( \frac {1}{4}\frac{a^{s-3}}{s-3}-\frac{1}{3a}\frac{a^{s-2}}{s-2}+ \frac {1}{12a^{4}}\frac{a^{s+1}}{s+1} \biggr)\odot c$$
(4.3)
for $$\operatorname{Re}(s)>3$$. By the inverse Mellin transform, we get
$$U(t)=\frac{1}{4}\odot u(a-t)\odot \biggl(t^{-3}- \frac {1}{3a}t^{-2}+\frac{1}{12a^{4}}t \biggr)\odot c.$$

### Example 9

Consider the fuzzy Euler differential equation
$$\bigl\{ t^{2}\odot D^{2}+2\odot t\odot D -2 \bigr\} U(t)=c \odot\bigl(\delta(x-a)\bigr),\quad a>0,c\in\widehat{\mathcal{E}}'.$$
Using the same Mellin transform method, we have
$$\widetilde{U}(s)=\frac{a^{s-1}}{(s+1)(s-2)}\odot c= \biggl( \frac {a}{3}\frac{a^{s-2}}{s-2}-\frac{1}{3a^{2}}\frac{a^{s+1}}{s+1} \biggr) \odot c.$$
(4.4)
There exist three solutions corresponding to different strips of convergence:
1. (i)
For $$\operatorname{Re}(s)<-2$$, one can get
$$U(t)=c\odot u(t-a)\odot \biggl\{ \frac{t}{3a^{2}}-\frac{a}{3t^{2}} \biggr\} .$$

2. (ii)
For $$-1<\operatorname{Re}(s)<2$$, we obtain
$$U(t)=c\odot \biggl\{ -\frac{tu(a-t)}{3a^{2}}-\frac{au(t-a)}{3t^{2}} \biggr\} .$$

3. (iii)
For $$\operatorname{Re}(s)>2$$, we have
$$U(t)=c\odot u(a-t)\odot \biggl\{ \frac{a}{3t^{2}}-\frac{t}{3a^{2}} \biggr\} .$$

### Example 10

Consider the following abstract integral equation:
$$\int_{0}^{\infty}\kappa(t\tau)\odot U(\tau)\, \mathrm{d} \tau=\psi(t),\quad x>0$$
with a real-valued function $$\kappa(t)$$ and a given fuzzy-valued function $$\psi(t)$$.
By using the fuzzy Mellin transform and the convolution rule, we have
$$U(t)=\mathcal{M}^{-1}\bigl[\tilde{\varphi}(s)\odot\tilde{\psi }(1-s) \bigr](t)= \int_{0}^{\infty}\varphi(t\tau)\odot f(\tau)\, \mathrm{d} \tau,$$
where $$\tilde{\varphi}(s)=1/\tilde{\mathcal{\kappa}}(1-s)$$.

### Example 11

Consider the following fuzzy partial differential equation:
$$\bigl(D_{0+}^{\alpha}U (\cdot, y)\bigr) (x)=- \frac{\mathrm{d}}{\mathrm{d} y}U(x,y)\quad \bigl(x,y\in\mathbb{R}^{+}\bigr)$$
(4.5)
with initial valued condition $$U(x,0)=f(x)\in\widehat{\mathcal {E}}'$$, $$x>0$$. The operator $$D_{0+}^{\alpha}$$ is defined by
$$\bigl(D_{0^{+}}^{\alpha}U(\cdot,y)\bigr) (x)= \biggl(x\frac{\mathrm{d}}{\mathrm{d} x} \biggr) \biggl[\frac{1}{\Gamma(1-\alpha)}\odot \int_{0}^{x} \biggl(\log\frac {x}{u} \biggr)^{-\alpha}\odot U(\cdot,y)\, \mathrm{d}u \biggr], \quad \alpha \in(0,1).$$
(4.6)
Assume that there is a given function $$\mathcal{K}(x)$$ such that, for every $$x,y>0$$,
$$\biggl\vert \frac{\partial}{\partial y}U(x,y)\biggr\vert \leq\mathcal{K}(x),$$
where $$\mathcal{K}(x)$$ has a Mellin transform.
By the property of the Mellin transform, the equation can be transformed into a first order ordinary fuzzy differential equation
$$(-v-\mathrm{i}t)^{\alpha}\odot\mathcal{M}\bigl[U(\cdot,y) \bigr](v+\mathrm {i}t)=-\frac{\partial}{\partial y}\mathcal{M}\bigl[U(\cdot,y)\bigr](v+ \mathrm {i}t)\quad (s=v+\mathrm{i}t),$$
(4.7)
which has the solution
$$\mathcal{M}\bigl[U(\cdot,y)\bigr](v+\mathrm{i}t)=A(v+\mathrm{i}t) \odot e^{-(-v-\mathrm{i}t)^{\alpha}y},$$
(4.8)
where $$A(v+\mathrm{i}t)=\mathcal{M}[f](v+\mathrm{i}t)$$.
By using the convolution formula, the solution of the fuzzy differential equation is given by
$$U(x,y)= \int_{0}^{\infty}f(t)\odot G\biggl(\frac{x}{t},y \biggr)\odot\frac{\mathrm{d}t}{t},\quad x,y>0,$$
(4.9)
where the function
$$G(x,y)=\frac{1}{2\pi} \int_{-\infty}^{+\infty}e^{-(-v-\mathrm {i}t)^{\alpha}}x^{-v-\mathrm{i}t}\, \mathrm{d}t.$$

## Declarations

### Acknowledgements

The authors would like to thank the referees for their detailed suggestions, which helped to improve the original manuscript. This work is supported by the National Natural Science Foundation of China (Grant No. 41301493). 