In this paper, we introduce a fuzzy Mellin transform method for solving Hermite fuzzy differential equations. The fuzzy Mellin transform reduce the problem of solving a Hermite fuzzy differential equation to a problem of solving a difference equation, whose inverse transform gives the solution of the fuzzy differential equation at hands. Under some conditions, we also give some Hyers-Ulam stability result of Hermite fuzzy differential equations.
The Ulam stability of functional equations was originally raised by Ulam in 1940 in a talk given at Wisconsin University [1]. Hyers firstly gave the results on the Ulam stablity in the case of Banach space [2]. Aoki generalized Hyers’ theorem for approximately additive mappings [3]. Th.M. Rassias provided a generalized version of Hyers’ result which allows the Cauchy difference to be unbounded [4]. J.M. Rassias and Xu generalized the Hyers stability result by introducing two weaker conditions controlled by a product of different powers of norms and a mixed product-sum of powers of norms, respectively [5–8]. Furthermore, Jung proved the Ulam–Hyers stability of linear functional equations [9–11]. By applying a fixed point theorem in a generalized complete metric space, Wang et al. presented the Hyers–Ulam–Rassias stability, Hyers–Ulam stability and four types of Mittag–Leffler–Ulam stability for fractional differential equations [12].
The study on fuzzy differential equations has been rapidly advancing in recent years. Fuzzy differential equations have exited considerable interests in both mathematics and engineering areas. Many research papers have been published to consider solutions of fuzzy differential equations [13–16].
Agarwal et al. proposed the concept of solutions for fractional differential equations with uncertainty [17]. They considered the Riemann-Liouville differentiability to solve the equation which is a combination of Hukuhara difference and Riemann-Liouville derivative. In a few papers by Bede and Gal, the shortcomings of applications of Hukuhara difference were discussed [18]. The existence and uniqueness of the solution were later established in [19, 20], and in [21–24], authors derived the explicit solution of the fuzzy fractional differentiable equation using the Riemann-Liouville H-derivative. Allahviranloo et al. introduced the fuzzy Caputo fractional differential equation (FCFDE) under the Generalized Hukuhara differentiability and obtained the analytical solution of the Cauchy problem [25]. By Adomian decomposition method, Abbasbandy et al. solved the fuzzy system of Fredholm integral equation of the second kind [26]. In the paper [27], the authors proposed an improved predictor-corrector (IPC) method and gave some examples to show that the proposed method is more accurate. Salahshour et al. considered the fuzzy Volterra integral with separable kernel by using fuzzy differential transform method [28].
Various methods for solving the fuzzy differential equation are available in literature. Salahshour et al. applied fuzzy Laplace transform to solve fuzzy differential equations [29, 30]. Butera er al. proposed a Mellin transform method for solving multi-order differential equations [31]. Butzer et al. presented a new approach to fractional integration and differentiation in terms of Mellin analysis [32]. Motivated by their work, we introduce the notion of fuzzy Mellin transform (See [33]), and use the Mellin transform method to solve Hermite fuzzy differential equations. The fuzzy Mellin transform reduces the problem of solving a fuzzy differential equation to a problem of solving a fuzzy difference equation, whose inverse transform gives the solution of the fuzzy differential equation at hands. Furthermore, we consider the Hyers-Ulam stability of the Hermite fuzzy differential equation associated with the inhomogeneous Hermite fuzzy differential equation.
This paper is organized as follows. In Section 2, we review relating basic definitions and theoretical backgrounds needed in the paper. In Section 3, we solve the Hermite fuzzy differential equations by Mellin transform method and give the main results on its Hyers-Ulam stability.
Preliminaries
Let be a metric space. We denote the set of convex compact subsets of by . For , the Hausdorff metric is defined as
where .
Denote the space of fuzzy sets by in which the fuzzy set satisfies the following conditions:
μ is normal, i.e., there exists an such that μ (a) =1;
μ is convex, i.e., μ (ta + (1 - t) b) ≥ min {μ (a) , μ (b)} , for ;
μ is semi-continuous on ;
the closure of the set is compact.
For 0 < γ ≤ 1, is called a γ-level set of μ. And let .
Let . The γ-level set [μ] γ can be explicitly represented as a closed and bounded interval, i.e., [μ] γ : = μ (γ) = [μl (γ) , μr (γ)] for each γ ∈ [0, 1].
For , the addition μ + ν and scalar multiplication λ · ν can be defined, levelwise, by
and
for all γ ∈ [0, 1].
A mapping is called a fuzzy-valued function.
The supremum metric between μ and ν is defined by ,
it can be show that is a complete metric space.
Definition 1. [22] Let be a fuzzy-valued function, and it can be represented by [Fl (t; r), Fr(t; r)]. For any fixed r ∈ [0, 1], assume that the endpoint functions Fl(t; r) and Fr(t; r)) are both Riemann-integrable on [a, b] for b ≥ a. If there exist two positive Ml (r) and Mr (r) such that and for every b ≥ a, then F (t) is improper fuzzy Riemann-integrable on [a, ∞).
Remark 1. The improper fuzzy Riemann-integral is a fuzzy number and it can be represented as the following
We denote the space of Riemann-integrable complex fuzzy-valued functions on the bounded interval by .
Remark 2. There are some different definitions such as the Hukuhara difference, the generalized Hukuhara difference, the generalized difference, and so on. Some authors have considered the connections between these different differences and defined various notions of derivative based on these differences. In this paper, we adopt the follow H-difference.
Let . If there exists such that x = y + z, then z is called the H-difference of x and y and it is denoted by x ⊖ y.
Definition 2. We call a mapping strongly generalized differentiable at t0 if there exists some F′(t0) such that
(i) there exist differences F (t0 + h) - F(t0), F(t0)-F (t0-h) and F′(t0) =
(ii) there exist differences Ft0) - F (t0 + h), F(t0 - h) - F (t0) and
or
(iii) there exist differences F (t0 + h) - F (t0) , F (t0 - h) - F (t0) and F′ (t0) =
or
(iv) there exist differences F (t0) - F (t0 + h) , F (t0) - F (t0 - h) and F′ (t0) =
Moreover, if F′ (t0) is (i)-differentiable, then we have
where r ∈ [0, 1] . And in this paper, we only consider the (i)-differentiable.
The Laplace transform and Fourier transform of fuzzy-valued functions have been studied by many authors (See [29, 35–37]). By Fourier or Laplace transform, the image function of a fuzzy-valued function can be represented by the endpoint function model such as a interval form [fl (xr) , fr (xr)].
We then continue to define the fuzzy Mellin transform for a fuzzy-valued function.
Definition 3. Let be a fuzzy-valued function. The fuzzy Mellin transform of the fuzzy-valued function F is defined as follows:
where
Remark 3. For 0 ≤ r ≤ 1, if F (t) is a fuzzy-valued function, then we have
Example 1. Let F (t) = e-λ·t with [λ] r = [1 + r, 3 - r]. We have
Definition 4. The inversion formula for the fuzzy Mellin transform is defined as
Example 2. Let [λ] r = [1 + r, 3 - r] , r ∈ [0, 1] be a triangular fuzzy number.
We can establish the connection with the fuzzy Laplace transform defined by the authors in papers [30, 35]. We then have the following theorem:
Theorem 1.
Proof. By a change of variables x = exp(- t), we have
□
By using Theorem 1, we have the following example.
Example 3. Let . Assume that a ≠ 0 .
Definition 5. The fuzzy Mellin convolution product, denoted by F * G, of two functions and , is defined by
Moreover, for 0 ≤ r ≤ 1, if F is a fuzzy-valued function, then we can obtain
Theorem 2.If , and s = c + it, then
Proof.
□
In fact, by using fuzzy Laplace transform, we can obtain another proof as follows:
In order to get a series solution of the fuzzy differential equation, we need the following theorem related with the level convergence of a sequence of fuzzy numbers.
Theorem 3. [38] Let μk be a sequence of fuzzy numbers such that and for each λ ∈ [0, 1]. Then the pair of functions α and β determines a fuzzy number if and only if the sequences of functions {μk,l (λ)} and {μk,r (λ)} are eventually equi-left-continuous at each λ ∈ [0, 1] and eventually equi-right-continuous at λ = 0.
Thus, it is deduced that the series and define a fuzzy number if the sequences and satisfy the conditions of above theorem (for more details see [38]).
Hyers-Ulam stability of Hermite fuzzy differential equation
The fuzzy Mellin transform method can be used in solving the fuzzy ordinary differential equation with polynomial coefficients, such as Hermite differential equation, Euler differential equation and Legendre differential equation. We here consider the following Hermite fuzzy differential equation,
where ν > 0 and Hν (t) is a fuzzy-valued function.
Lemma 1.Let . Assume that H″ (t), H′ (t) and Hν (t) exist. If the fuzzy Mellin transforms of H″ (t), H′ (t) and Hν (t) exist, then we have
and
where .
Proof. By the classic Mellin transform, we can get the following properties:
and
where f (t) is a real-valued function. Then for any r ∈ [0, 1], we have
Similarly, one can obtain
□
Lemma 2.Assume that the fuzzy Mellin transforms of H″(t), H′(t) and Hν (t) exist. Then the Hermite Equation (3.1) can be transformed as the following:
Proof. By Lemma 1, we have
Then, we can obtain
and
Then, the Equation (3.8) is obvious, and the proof is complete.
□
Theorem 4.Assume that the fuzzy Mellin transforms of H″(t), H′(t) and Hν (t) exist. The solution of (3.1) can be expressed as a power series,
where are arbitrary constants.
Proof. By Lemma 2, we have
Therefore, we further have
It is apparent that the Mellin transform does not give directly; rather we must solve a fuzzy difference Equation (3.14).
Setting s = -2x and , we can reduce the difference Equation (3.14) to standard form. Thus, we only need to solve
where is an arbitrary fuzzy constant. It is easy to see that T (x) is not the only solution of the difference equation, since we can multiply T (x) by any function that satisfies
At this point, we appeal to the fact that is a Mellin transform, defined only in some strip α < Re (x) < β. Therefore, (3.15) is valid only in the overlap of the strips
and there is no such overlap unless β > α + 2. Thus, Y (x) cannot have poles, since they would give rise to a row of poles in S (x) separated by exactly two units. Also, Y (x) cannot grow faster that |x| as Im (x)→ ∞ in the inversion strip, otherwise the inversion integral would diverge. Therefore, by (3.17), Y (x) is a bounded entire function, and thus equal to a constant by Liouville’s theorem. Hence, (3.16) is the only acceptable solution, and even then only if Re (ν) < -2, and we have
The poles of (x - ν/2 -1) ! lie at x = (ν/2 - k) , k = 0, 1, 2, . . . , with residues (-1) k/k !. Thus,
Closing the contour to the right leads to the expansion
where is an arbitrary constant. □
Remark 4. Let
In fact, the solution of (3.1) can also be expressed by
where μl (r) and μr (r) are arbitrary real endpoint functions such that .
We then consider the general solution of the following inhomogeneous Hermite fuzzy differential equation
for all t ∈ (- ρ, ρ), where ν is given real number and the coefficients of the power series are given such the radius of convergence is ρ > 0.
(H1) Assume that for each there exists the fuzzy number sequence such that the following recurrence formula
holds.
(H2) For t ∈ (- ρ, ρ) , r ∈ [0, 1], the following two series
and
are both converged in the setting of Theorem 3, where , .
Theorem 5.Assume that hypotheses (H1)-(H2) are satisfied. And assume that the radius of convergence of the power series is ρ, where ρ is either a positive real number or the infinity. If the solution of the inhomogeneous Hermite fuzzy differential equation (3.23) can be represented by a power series, then the solution can be expressed by
for all t ∈ (- ρ, ρ), where Hν (t) is a solution of the Hermite Equation (3.1).
Proof. See that the solution of the inhomogeneous Hermite fuzzy differential Equation (3.23) can be represented by a power series. Assume that can be defined by (3.25), where Hν (t) is a solution of the Hermite differential fuzzy Equation (3.1). Set
We shall show that Hp (t) is a solution of inhomogeneous Hermite fuzzy differential Equation (3.23). For simplicity, let , and ai (r) = [ai,l (r) , ai,r (r)] for r ∈ [0, 1]. By (H1) and (H2), we have
where
We can also obtain that
We can similarly get the following:
Finally, it follows from (3.26) that
The above equation implies that
which proves that Hp (t) is a particular solution of the inhomogeneous Equation (3.23). Every solution of (3.23) can be expressed as a sum of a solution Hν (t) of the homogeneous equation and a particular solution Hp (t) of the inhomogeneous equation. Hence, the solution can be expressed by (3.25). □
Theorem 6.Assume that hypotheses (H1)-(H2) are satisfied. Let ν ≥ 1, and be an analysis function which can be represented by a power-series expansion centered at t = 0. Assume that the radius of convergence of the power series is ρ, where ρ is either a positive real number or the infinity. Suppose that there exists a constant ɛ > 0 such that for t ∈ (- ρ, ρ)
Also, suppose that for any t ∈ (- ρ, ρ)
and
where K is a constant. Then there exists a solution of (3.1), such that
for all t ∈ [- ρ, ρ], where C is some constant which depends on ρ, ν and H.
Moreover, the Hermite fuzzy differential Equation (3.1) is Hyers-Ulam stable.
Proof. Since the power series is absolutely convergent on its interval of convergence, which includes the interval [- ρ, ρ], and the power series is continuous on [- ρ, ρ], there exists a constant K > 0 with
for all t ∈ (- ρ, ρ).
On the other hand, we have
Then, we have
where C0 is a positive constant satisfying
for all . (The above product diverges to 0 as n→ ∞ because of ν ≥ 1, and C0 depends on ν.)
Since the power series absolutely converges on its convergence interval, and so
is absolutely convergent.
Analogously, we obtain
where C1 is a positive constant satisfying
for all . (The above product diverges to 0 as n→ ∞ because of ν ≥ 1, and C0 depends on ν.)
In view of, H (t) is a solution of the inhomogeneous Hermite equation. Set C2 = 2K · max {C0/2, C1/6}. Then there exists a solution z (t) of Hermite equation such that
Then, the Hyers-Ulam stability result of (3.1) is easy to show. □
Example 4. Consider the fuzzy-valued function which can be expressed by the power series
where r ∈ [0, 1]. And set for r ∈ [0, 1], , , and a3k+2 = 0.
Thus, we have
for all x ∈ (ρ, ρ). Then, Theorem 6 implies that there exists an Hermite function Hν : (- ρ, ρ) satisfying
for all x ∈ (ρ, ρ).
Competing interests
The authors declare that they have no competing interests.
References
1.
S.M.Ulam, A Collection of Mathematical Problems, New York, 1968.
2.
D.H.Hyers, On the stability of the linear functional equation, Proceedings of the National Academy of Sciences of the United States of America27 (1941), 222–224.
3.
T.Aoki, On the stability of the linear transformation in Banach spaces, Journal of the Mathematical Society of Japan2 (1950), 64–66.
4.
T.M.Rassias, On the stability of the linear mapping in Banach spaces, Proceedings ofthe American Mathematical Society72 (1978), 297–300.
5.
J.M.Rassias, On approximation of approximately linear mappings by linear mappings, Journal of Functional Analysis46 (1982), 126–130.
6.
T.Z.Xu, J.M.Rassias and W.X.Xu, Stability of a general mixed additive-cubic functional equation in non-Archimedean fuzzy normed spaces, Journal of Mathematical Physics51 (2010), 1–19.
7.
Z.P.Yang, T.Z.Xu and M.Qi, Ulam-hyers stability for fractional differential equations in quaternionic analysis, Advances in Applied Clifford Algebras26 (2016), 1–10.
8.
T.Z.Xu, Z.P.Yang and J.M.Rassias, Direct and fixed point approaches to the stability of an AQ-functional equation in non-Archimedean normed spaces, Journal of Computional Analysis and Applications17 (2014), 697–706.
9.
S.M.Jung and J.Roh, Hyers-Ulam stability of the time independent Schrodinger equations, Applied Mathematics Letters74 (2017), 147–153.
10.
S.M.Jung, D.Popa and T.M.Rassias, On the stability of the linear functional equation in a single variable on complete metric groups, Journal of Global Optimization59 (2014), 165–171.
11.
S.M.Jung, On the Hyers-Ulam stability of the functional equations that have the quadratic property, Journal ofMath-ematical Analysis and Applications222 (1998), 126–137.
12.
J.R.Wang, L.L.Lii and Y.Zhou, New concepts and results in stability of fractional differential equations, Communications in Nonlinear Science and Numerical Simulation17 (2012), 2530–2538.
13.
Y.H.Shen, On the Ulam stability of first order linear fuzzy differential equations under generalized differentiability, Fuzzy Sets and Systems280 (2015), 27–57.
14.
S.Abbasbandy and A.Shirzadi, Homotopy analysis method for multiple solutions of the fractional Sturm-Liouville problems, Numerical Algorithms54 (2010), 521–532.
15.
T.Allahviranloo, S.Abbasbandy, S.Salahshour and A.Hakimzadeh, A new method for solving fuzzy linear differential equations, Soft Computing92 (2011), 181–197.
16.
T.Allahviranloo and S.Salahshour, Euler method for solving hybrid fuzzy differential equation, Soft Computing15 (2011), 1247–1253.
17.
R.P.Agarwal, V.Lakshmikantham and J.J.Nieto, On the concept of solution for fractional differential equations with uncertainty.Nonlinear Analysis: Theory, Methods and Applications72 (2010), 2859–2862.
18.
B.Bede and S.G.Gal, Generalizations of the differentiability of fuzzy-number-valued functions with applications to fuzzy differential equations, Fuzzy Sets and Systems151 (2005), 581–599.
19.
H.C.Wu, The improper fuzzy Riemann integral and its numerical integration, Information Sciences111 (1999), 109–137.
20.
M.Friedman, M.Ma and A.Kandel, Numerical solution of fuzzy differential and integral equations, Fuzzy Sets and Systems106 (1999), 35–48.
21.
A.G.Muhammad, S.Ahmed, K.Majid and I.B.Syeda, A novel analytical solution of a fractional diffusion problem by homotopy analysis transform method, Neural Computing and Applications23 (2013), 1643–1647.
22.
L.Stefanini and B.Bede, Generalized Hukuhara differentiability of interval-valued functions and interval differential equations.Nonlinear Analysis: Theory, Methods and Applications71 (2009), 1311–1328.
23.
J.J.Buckley and T.Feuring, Introduction to fuzzy partial differential equations, Fuzzy Sets and Systems105 (1999), 241–248.
24.
M.Qi, Z.P.Yang and T.Z.Xu, A reproducing kernel method for solving nonlocal fractional boundary value problems with uncertainty, Soft Computing21 (2017), 4019–4028.
25.
T.Allahviranloo, A.Armand and Z.Gouyandeh, Fuzzy fractional differential equations under generalized fuzzy Caputo derivative, Journal ofIntelligent & Fuzzy Systems26 (2014), 1481–1490.
26.
S.Abbasbandy and T.Allahviranloo, The Adomian decomposition method applied to the fuzzy system of Fredholm integral equation of the second kind, International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems14 (2006), 101–110.
27.
T.Allahviranloo, S.Abbasbandy, N.Ahmady and E.Ahmady, Improved predictoraAScorrector method for solving fuzzy initial value problems, Information Sciences179 (2009), 945–955.
28.
S.Salahshour and T.Allahviranloo, Application of fuzzy differential transform method for solving fuzzy Volterra integral equations, Applied Mathematical Modelling37 (2013), 1016–1027.
29.
S.Salahshour and E.Haghi, Solving fuzzy heat equation by fuzzy Laplace transforms, Communications in Computer and Information Science81 (2010), 512–521.
30.
S.Salahshour, T.Allahviranloo and S.Abbasbandy, Solving fuzzy fractional differential equation by fuzzy Laplace transforms, Communications in Nonlinear Science and Numerical Simularion17 (2012), 1372–1381.
31.
S.Butera and M.D.Paola, Fractional differential equations solved by using Mellin transform, Communications in Nonlinear Science and Numerical Simularion19 (2014), 2220–2227.
32.
P.L.Butzer, A.A.Kilbas and J.J.Trujillo, Fractional calculus in the Mellin setting and Hadamard-type fractional integrals, Journal of Mathematical Analysis and Applcations269 (2002), 1–27.
33.
P.L.Butzer and S.Jansche, A direct approach to the Mellin transform, Jounral of Fourier Analysis and Applications3 (1997), 325–375.
34.
M.B.Ahmadi, N.A.Kiani and N.Mikaeilvand, Laplace transform formula on fuzzy nth-order derivative and its application in fuzzy ordinary differential equations, Soft Computing18 (2014), 2461–2469.
35.
S.Salahshour and T.Allahviranloo, Applications of fuzzy Laplace transforms, Soft Computing17 (2013), 145–158.
36.
Z.Gouyandeh, T.Allahviranloo, S.Abbasbandy and A.Armand, A fuzzy solution of heat equation under generalized Hukuhara differentiability by fuzzy Fourier transform, Fuzzy Sets and Systems (2016). 10.1016/ j.fss.2016.04.010
37.
X.Sun and Z.P.Yang, A Mellin transform method for solving fuzzy differential equations, Advances in Difference Equations2016 (2016), 296.
38.
O.Taloa and F.Basarb, Determination of the duals of classical sets of sequences of fuzzy numbers and related matrix transformations, Computers and Mathematics with Applications58 (2009), 717–733.