- Research
- Open access
- Published:
Aboodh transform and the stability of second order linear differential equations
Advances in Difference Equations volume 2021, Article number: 296 (2021)
Abstract
In this paper, we introduce a new integral transform, namely Aboodh transform, and we apply the transform to investigate the Hyers–Ulam stability, Hyers–Ulam–Rassias stability, Mittag-Leffler–Hyers–Ulam stability, and Mittag-Leffler–Hyers–Ulam–Rassias stability of second order linear differential equations.
1 Introduction
In [1], Ulam proposed the universal Ulam stability problem in metric groups. In [2], Hyers gave the first affirmative answer to the question of Ulam for additive functional equations in Banach spaces. Since then the Hyers result has produced many significant generalizations [3–8]. Furthermore, useful non-stability results for various functional equations have been given by Gajda [9], Bodaghi, Senthil Kumar, and Rassias [10], Alessa et al. [11] and Karthikeyan, Park, Rassias, and Lee [12].
The theory of stability is an important branch of the qualitative theory of differential equations. During the last decades many interesting results have been investigated on different types differential equations (for more details, see [13–18]).
A generalization of Ulam’s problem was proposed by replacing functional equations with differential equations: The differential equation \(\phi (f, x, x', x'', \ldots , x^{(n)} ) = 0 \) has the Hyers–Ulam stability if, for given \(\epsilon >0\) and a function x such that
there exists a solution \(x_{a}\) of the differential equation such that \(\vert x(t) - x_{a}(t) \vert \leq K(\epsilon ) \) and
If the preceding statement is also true when we replace ϵ and \(K(\epsilon )\) with \(\phi (t) \) and \(\varphi (t)\), where ϕ, φ are appropriate functions not depending on x and \(x_{a}\) explicitly, then we say that the corresponding differential equation has the generalized Hyers–Ulam stability or Hyers–Ulam–Rassias stability.
Alsina and Ger [19] investigated the stability of the differential equation \(x'(t) - x(t)\). They proved the following celebrated theorem.
Theorem 1.1
([19])
Let \(f : I \to {\mathbf{{R}}} \) be a differentiable function, which is a solution of the following differential inequality \(\Vert x'(t) - x(t) \Vert \leq \epsilon \), where I is an open interval of R. Then there is a solution \(g : I \to \mathbf{{R}}\) of \(x'(t) = x(t)\) such that, for any \(t \in I\), we have \(\Vert f(t) - g(t) \Vert \leq {3}\epsilon \).
This result was generalized by Takahasi et al. [20], who proved the Hyers–Ulam stability for the Banach space-valued differential equation \(y' (t) = \lambda y(t)\). Furthermore, the Hyers–Ulam stability has been proved for the first order linear differential equations in more general settings [21–25].
In 2007, Wang, Zhou, and Sun [26] established the Hyers–Ulam stability of a class of first order linear differential equations.
Many different methods for solving differential equations have been used to study the Hyers–Ulam stability problem for various differential equations. But some initial conditions have more significant advantage for solving differential equations. In 2011, Gavruta, Jung, and Li [27] studied the Hyers–Ulam stability for the second order linear differential equation \(y'' + \beta (x) y = 0 \) with initial and boundary conditions using Taylor’s formula.
In 2014, Alqifiary and Jung [28] investigated the generalized Hyers–Ulam stability of
by using the Laplace transform method. In 2020, Murali and Selvan [29] established the Mittag-Leffler–Hyers–Ulam stability of the first order linear differential equation for both homogeneous and non-homogeneous cases by using Laplace transformation. The Hyers–Ulam stability of differential equations has been given attention, and it was established by many authors (see [30–34]).
Recently, Murali, Selvan, and Park [35] investigated the Hyers–Ulam stability of various differential equations by using the Fourier transform method (also [36, 37]).
In this paper, our main intention is to establish the Hyers–Ulam stability and the Mittag-Leffler–Hyers–Ulam stability of the following second order linear differential equations:
and
for all \(t \in I\), \(u(t) \in C^{2}(I)\) and \(q(t) \in C(I)\), \(I = [a, b]\), \(-\infty < a < b < \infty \), by using a new integral transform method, i.e., Aboodh transform method.
2 Preliminaries
In this section, we introduce some standard notations and definitions which will be very useful to obtain our main results.
Throughout this paper, F denotes the real field R or the complex field C. A function \(f : (0, \infty )\to \mathbf{{F}}\) is said to be of exponential order if there exist constants \(A, B \in \mathbf{{R}}\) such that \(|f(t)| \leq A e^{tB}\) for all \(t > 0\).
Definition 2.1
The Aboodh integral transform is defined, for a function of exponential order \(f(t)\), by
provided that the integral exists for some ξ, where \(\xi \in (k_{1} , k_{2})\). \(\mathcal{A}\) is called the Aboodh integral transform operator.
Let f and g be Lebesgue integrable functions on \((- \infty , +\infty )\). Let S denote the set of x for which the Lebesgue integral
exists. This integral defines a function h on S called the convolution of f and g. We also write \(h = f * g\) to denote this function.
Definition 2.2
([40])
The Mittag-Leffler function of one parameter, denoted by \(E_{\alpha }(z)\), is defined as
where \(z , \alpha \in \mathbf{{C}}\) and \(\operatorname{Re}(\alpha ) > 0\). If we put \(\alpha = 1\), then the above equation becomes
Definition 2.3
([40])
A generalization of \(E_{\alpha }(z)\) is defined as a function
where \(z , \alpha , \beta \in \mathbf{{C}}\), \(\operatorname{Re}(\alpha ) > 0\) and \(\operatorname{Re}(\beta ) > 0\).
Let \(I,J\subseteq \mathbf{{R}}\) be intervals. Throughout this paper, we denote the space of k continuously differentiable functions from I to J by \(C^{k}(I,J)\) and denote \(C^{k}(I,I)\) by \(C^{k}(I)\). Furthermore, \(C(I,J)=C^{0}(I,J)\) denotes the space of continuous functions from I to J. In addition, \(\mathbf { R}_{+}:=[0,\infty )\). From now on, we assume that \(I=[a,b]\), where \(-\infty < a< b<\infty \).
Here, we give some definitions of various forms of Hyers–Ulam stability and Mittag-Leffler–Hyers–Ulam stability of differential equations (1.1) and (1.2).
Definition 2.4
We say that differential equation (1.1) has the Hyers–Ulam stability if there exists a constant \(L > 0\) satisfying the following condition: For every \(\epsilon >0 \) and some \(u(t) \in C^{2}(I)\) satisfying the inequality
for all \(t \in I\), there exists a solution \(v \in C^{2}(I)\) satisfying the differential equation \(v''(t) + \mu ^{2} v = 0 \) and \(\vert u(t) - v(t) \vert \leq L \epsilon \) for all \(t \in I\). We call such L the Hyers–Ulam stability constant for (1.1).
Definition 2.5
We say that differential equation (1.1) has the Hyers–Ulam–Rassias stability with respect to \(\phi \in C(\mathbf {R}_{+} , \mathbf {R}_{+} )\) if there exists a constant \(L_{\phi } > 0\) with the following property: For every \(\epsilon > 0\) and some \(u(t) \in C^{2}(I)\) satisfying the inequality
for all \(t \in I\), there exists a solution \(v \in C^{2}(I)\) satisfying the differential equation \(v''(t) + \mu ^{2} v = 0 \) and
for all \(t \in I\). We call such L the Hyers–Ulam–Rassias stability constant for (1.1).
Definition 2.6
We say that differential equation (1.2) has the Hyers–Ulam stability if there exists a constant \(L > 0\) satisfying the following condition: For every \(\epsilon >0 \) and some \(u(t) \in C^{2}(I)\) satisfying the inequality
for all \(t \in I\), there exists some \(v \in C^{2}(I)\) satisfying \(v''(t) + \mu ^{2} v = q(t) \) and
for all \(t \in I\). We call such L the Hyers–Ulam stability constant for (1.2).
Definition 2.7
We say that differential equation (1.2) has the Hyers–Ulam–Rassias stability with respect to \(\phi \in C(\mathbf {R}_{+} , \mathbf {R}_{+} )\) if there exists a constant \(L_{\phi } > 0\) such that, for every \(\epsilon > 0\) and some \(u(t) \in C^{2}(I)\) satisfying the inequality
for all \(t \in I\), there exists some \(v \in C^{2}(I)\) satisfying the differential equation \(v''(t) + \mu ^{2} v = q(t) \) and
for all \(t \in I\). We call such L the Hyers–Ulam–Rassias stability constant for (1.2).
Definition 2.8
We say that differential equation (1.1) has the Mittag-Leffler–Hyers–Ulam stability if there exists a positive constant L satisfying the following condition: For every \(\epsilon >0 \) and some \(u(t) \in C^{2}(I)\) satisfying the inequality
for all \(t \in I\), there exists a solution \(v \in C^{2}(I)\) satisfying \(v''(t) + \mu ^{2} v = 0 \) and
for all \(t \in I\). We call such L the Mittag-Leffler–Hyers–Ulam stability constant for (1.1).
Definition 2.9
We say that differential equation (1.1) has the Mittag-Leffler–Hyers–Ulam–Rassias stability with respect to \(\phi : (0, \infty ) \to (0, \infty )\) if there exists a positive constant \(L_{\phi } \) satisfying the following condition: For every \(\epsilon >0 \) and some \(u(t) \in C^{2}(I)\) satisfying the inequality
for all \(t \in I\), there exists a solution \(v \in C^{2}(I)\) satisfying \(v''(t) + \mu ^{2} v = 0 \) and
for all \(t \in I\). We call such \(L_{\phi }\) the Mittag-Leffler–Hyers–Ulam–Rassias stability constant for (1.1).
Definition 2.10
We say that differential equation (1.2) has the Mittag-Leffler–Hyers–Ulam stability if there exists a positive constant L satisfying the following condition: For every \(\epsilon >0 \) and some \(u(t) \in C^{2}(I)\) satisfying the inequality
for all \(t \in I\), there exists a solution \(v \in C^{2}(I)\) satisfying the linear differential equation \(v''(t) + \mu ^{2} v = q(t) \) and
for all \(t \in I\). We call such L the Mittag-Leffler–Hyers–Ulam stability constant for (1.2).
Definition 2.11
We say that differential equation (1.2) has the Mittag-Leffler–Hyers–Ulam–Rassias stability with respect to \(\phi : (0, \infty ) \to (0, \infty )\) if there exists a positive constant \(L_{\phi }\) satisfying the following condition: For every \(\epsilon >0 \) and some \(u(t) \in C^{2}(I)\) satisfying the inequality
for all \(t \in I\), there exists a solution \(v \in C^{2}(I)\) satisfying the linear differential equation \(v''(t) + \mu ^{2} v = q(t) \) and \(\vert u(t) - v(t) \vert \leq L_{\phi } \phi (t) \epsilon E_{ \alpha }(t)\) for all \(t \in I\). We call such \(L_{\phi }\) the Mittag-Leffler–Hyers–Ulam–Rassias stability constant for (1.2).
3 Hyers–Ulam stability for (1.1)
In this section, we prove the Hyers–Ulam stability, Hyers–Ulam–Rassias stability, Mittag-Leffler–Hyers–Ulam stability, and Mittag-Leffler–Hyers–Ulam–Rassias stability of differential equation (1.1) by using the Aboodh transform.
Theorem 3.1
Differential equation (1.1) is Hyers–Ulam stable.
Proof
Let \(\epsilon >0\). Suppose that \(u(t) \in C^{2}(I)\) satisfies
for all \(t \in I\). We prove that there exists a real number \(L > 0\) which is independent of ϵ and u such that \(\vert u(t) - v(t) \vert \leq L \epsilon \) for some \(v \in C^{2}(I)\) satisfying \(v''(t) + \mu ^{2} v = 0 \) for all \(t \in I\). Define a function \(p: (0, \infty ) \rightarrow \mathbf{{F}}\) such that \(p(t) =: u''(t) + \mu ^{2} u(t)\) for all \(t >0 \). In view of (3.1), we have \(|p(t)| \leq \epsilon \). Taking the Aboodh transform to \(p(t)\), we have
and thus
In view of (3.2), a function \(u_{0}: (0, \infty ) \longrightarrow \mathbf{{F}}\) is a solution of (1.1) if and only if
If there exist constants l and m in F such that \(\xi ^{2} + \mu ^{2} = (\xi -l) (\xi -m)\) with \(l+m = 0\) and \(lm=\mu ^{2}\), then (3.2) becomes
Set
We have \(v(0) = u(0)\) and \(u'(0) = v'(0)\). Taking the Aboodh transform to \(v(t)\), we obtain
On the other hand, \(\mathcal{A} \{ v''(t) + \mu ^{2} v \} = (\xi ^{2} + \mu ^{2}) \mathcal{A} \{ v \} - v(0) - \frac{v'(0)}{\xi }\). Using (3.4), we get \(\mathcal{A} \{ v''(t) + \mu ^{2} v \} = 0\). Since \(\mathcal{A}\) is one-to-one and linear, \(v''(t) + \mu ^{2} v = 0\). This means that \(v(t)\) is a solution of (1.1). It follows from (3.3) and (3.4) that
The above equalities show that
Taking modulus on both sides and using \(|p(t)| \leq \epsilon \), we get
for all \(t> 0\), where
where \(\int _{0}^{t} e^{-\mathcal{R}(l)x} \,dx\) and \(\int _{0}^{t} e^{-\mathcal{R}(m)x} \,dx\) exist. Hence \(\vert u(t) - v(t) \vert \leq \frac{\mathcal{K}}{|l-m|} \epsilon = L \epsilon \). By Definition 2.4, linear differential equation (1.1) has the Hyers–Ulam stability. This finishes the proof. □
By using the same technique as in Theorem 3.1, we can also prove the Hyers–Ulam–Rassias stability of differential equation (1.1). The method of the proof is similar, but we include it for the sake of completeness.
Theorem 3.2
Differential equation (1.1) is Hyers–Ulam–Rassias stable.
Proof
Assume that \(u(t) \in C^{2}(I)\) satisfies
for all \(t \in I\), \(\epsilon >0\) and an integrable function \(\phi \in C(\mathbf {R}_{+} , \mathbf {R}_{+} )\). We show that there exists a real number \(L_{ \phi } > 0\) such that \(\vert u(t) - v(t) \vert \leq L_{ \phi } \epsilon \phi (t) \) for some \(v \in C^{2}(I)\) satisfying \(v''(t) + \mu ^{2} v = 0 \) for all \(t \in I\).
Define a function \(p: (0, \infty ) \rightarrow \mathbf{{F}}\) such that \(p(t) =: u''(t) + \mu ^{2} u(t)\) for all \(t >0 \). By (3.5), we have \(|p(t)| \leq \epsilon \phi (t) \). Now, taking the Aboodh transform to \(p(t)\), we have
We know the function \(u_{0}: (0, \infty ) \longrightarrow \mathbf{{F}}\) is a solution of (1.1) if and only if
If there exist two constants l and m in F such that \(\xi ^{2} + \mu ^{2} = (\xi -l) (\xi -m)\) with \(l+m = 0\) and \(lm=\mu ^{2}\), then (3.6) becomes
Let \(v(t) =u(0) ( \frac{l e^{lt} - m e^{mt}}{l-m} ) + u'(0) ( \frac{ e^{lt} - e^{mt}}{l-m} )\). Then \(v(0) = u(0)\) and \(u'(0) = v'(0)\). Taking again the Aboodh transform to \(v(t)\), we have
Furthermore, \(\mathcal{A} \{ v''(t) + \mu ^{2} v \} = (\xi ^{2} + \mu ^{2}) \mathcal{A} \{ v \} - v(0) - \frac{v'(0)}{\xi }\). Thus, using (3.8), we get \(\mathcal{A} \{ v''(t) + \mu ^{2} v \} = 0\), and so \(v''(t) + \mu ^{2} v = 0\). Applying (3.7) and (3.8), we get
Therefore, \(u(t) - v(t) = p(t) * ( \frac{ e^{lt} - e^{mt}}{l-m} )\). Using \(|p(t)| \leq \epsilon \phi (t)\), we get
for all \(t> 0\), where
where \(\int _{0}^{t} e^{-\mathcal{R}(l)x} \phi (x) \,dx\) and \(\int _{0}^{t} e^{-\mathcal{R}(m)x} \phi (x) \,dx\) exist for all \(t>0\) and an integrable function ϕ. Hence \(\vert u(t) - v(t) \vert \leq \frac{\mathcal{K}_{\phi } \phi (t)}{|l-m|} \epsilon = L_{\phi } \epsilon \phi (t)\). □
Theorem 3.3
Differential equation (1.1) has Mittag-Leffler–Hyers–Ulam stability.
Proof
Let \(\epsilon >0\). Suppose that \(u(t) \in C^{2}(I)\) satisfies
for all \(t \in I\). We prove that there exists a real number \(L > 0\) which is independent of ϵ and u such that \(\vert u(t) - v(t) \vert \leq L \epsilon E_{\alpha }(t) \) for some \(v \in C^{2}(I)\) satisfying \(v''(t) + \mu ^{2} v = 0 \) for all \(t \in I\). Define a function \(p: (0, \infty ) \rightarrow \mathbf{{F}}\) such that \(p(t) =: u''(t) + \mu ^{2} u(t)\) for all \(t >0 \). In view of (3.9), we have \(|p(t)| \leq \epsilon E_{\alpha }(t)\). Taking the Aboodh transform to \(p(t)\), we have
and thus
By (3.10), a function \(u_{0}: (0, \infty ) \longrightarrow \mathbf{{F}}\) is a solution of (1.1) if and only if
If there exist constants l and m in F such that \(\xi ^{2} + \mu ^{2} = (\xi -l) (\xi -m)\) with \(l+m = 0\) and \(lm=\mu ^{2}\), then (3.10) becomes
Set
We have \(v(0) = u(0)\) and \(v'(0) = u'(0)\). Taking the Aboodh transform to \(v(t)\), we obtain
On the other hand, \(\mathcal{A} \{ v''(t) + \mu ^{2} v \} = (\xi ^{2} + \mu ^{2}) \mathcal{A} \{ v \} - v(0) - \frac{v'(0)}{\xi }\). Using (3.12), we get \(\mathcal{A} \{ v''(t) + \mu ^{2} v \} = 0\). Since \(\mathcal{A}\) is one-to-one and linear, \(v''(t) + \mu ^{2} v = 0\). This means that \(v(t)\) is a solution of (1.1). It follows from (3.11) and (3.12) that
The above equalities show that
and by using \(|p(t)| \leq \epsilon E_{\alpha }(t)\), we get
for all \(t> 0\), where
where \(\int _{0}^{t} e^{-\mathcal{R}(l)x} \,dx\) and \(\int _{0}^{t} e^{-\mathcal{R}(m)x} \,dx\) exist. Hence \(\vert u(t) - v(t) \vert \leq L \epsilon E_{\alpha }(t)\). By Definition 2.8, linear differential equation (1.1) has the Hyers–Ulam stability. This finishes the proof. □
The following corollary proves the Mittag-Leffler–Hyers–Ulam–Rassias stability of differential equation (1.1). The method of proof is similar to the proof of Theorem 3.3.
Corollary 3.4
For every \(\epsilon >0\), let \(u(t)\) be a twice continuously differentiable function on I which satisfies the inequality
for all \(t \in I\). Then there exists a real number \(L_{\phi } > 0\) which is independent of ϵ and u such that
for some \(v \in C^{2}(I)\) satisfying \(v''(t) + \mu ^{2} v = 0 \) for all \(t \in I\).
4 Hyers–Ulam stability for (1.2)
In this section, we investigate the Hyers–Ulam stability, the Hyers–Ulam–Rassias stability, the Mittag-Leffler–Hyers–Ulam stability, and the Mittag-Leffler–Hyers–Ulam–Rassias stability of non-homogeneous differential equation (1.2).
Firstly, we prove the Hyers–Ulam stability of linear differential equation (1.2).
Theorem 4.1
Non-homogeneous linear differential equation (1.2) has Hyers–Ulam stability.
Proof
For every \(\epsilon >0\) and for each solution \(u(t) \in C^{2}(I)\) satisfying
for all \(t \in I\), we prove that there exists a real number \(L > 0\) which is independent of ϵ and u such that \(\vert u(t) - v(t) \vert \leq L \epsilon \) for some \(v \in C^{2}(I)\) satisfying \(v''(t) + \mu ^{2} v = q(t) \) for all \(t \in I\). Define a function \(p: (0, \infty ) \rightarrow \mathbf{{F}}\) such that \(p(t)=: u''(t) + \mu ^{2} u(t)-q(t) \) satisfies \(|p(t)| \leq \epsilon \). Taking the Aboodh transform to \(p(t)\), we have
Equality (4.2) shows that a function \(u_{0}: (0, \infty ) \longrightarrow \mathbf{{F}}\) is a solution of (1.2) if and only if
If there exist constants l and m in F such that \(\xi ^{2} + \mu ^{2} = (\xi -l) (\xi -m)\) with \(l+m = 0\) and \(lm=\mu ^{2}\), then (4.2) becomes
Set \(r(t) = \frac{ e^{lt} - e^{mt}}{l-m} \) and
Then \(v(0) = u(0)\) and \(u'(0) = v'(0)\). Once more, taking the Aboodh transform to \(v(t)\), we have
On the other hand,
By (4.4), the last equality becomes \(\mathcal{A} \{ v''(t) + \mu ^{2} v \} = \mathcal{A} \{q \} \). Since \(\mathcal{A}\) is one-to-one and linear, \(v''(t) + \mu ^{2} v = q(t)\), which shows that \(v(t)\) is a solution of (1.2). Now, relations (4.3) and (4.4) necessitate that
and hence \(u(t) - v(t) = p(t) * r(t)\). Taking modulus on both sides of the last equality and using \(|p(t)| \leq \epsilon \), we get
for all \(t> 0\), where
where the integrals \(\int _{0}^{t} e^{-\mathcal{R}(l)x} \,dx\) and \(\int _{0}^{t} e^{-\mathcal{R}(m)x} \,dx\) exist. Hence \(\vert u(t) - v(t) \vert \leq \frac{\mathcal{K}}{|l-m|} \epsilon = L \epsilon \). Therefore, linear differential equation (1.2) has the Hyers–Ulam stability. □
In analogous way to Theorem 4.1, we have the following result which proves the Hyers–Ulam-Rassias stability of differential equation (1.2).
Theorem 4.2
Differential equation (1.2) has Hyers–Ulam–Rassias stability.
Proof
Let \(\epsilon >0\) and \(\phi \in C(\mathbf {R}_{+} , \mathbf {R}_{+} )\). Suppose that \(u(t) \in C^{2}(I)\) satisfies
for all \(t \in I\). We prove that there exists a real number \(L_{\phi } > 0\) such that \(\vert u(t) - v(t) \vert \leq L_{\phi } \epsilon \phi (t) \) for some \(v \in C^{2}(I)\) satisfying \(v''(t) + \mu ^{2} v = q(t) \) for all \(t \in I\). Define a function \(p: (0, \infty ) \rightarrow \mathbf{{F}}\) by \(p(t) =: u''(t) + \mu ^{2} u(t) - q(t) \) for all \(t >0 \). In view of (4.5), we have \(|p(t)| \leq \epsilon \phi (t)\). Now, taking the Aboodh transform to \(p(t)\), we get
In addition, by (4.6), a function \(u_{0}: (0, \infty ) \rightarrow \mathbf{{F}}\) is a solution of (1.2) if and only if
However, (4.6) becomes
Assume that there exist constants l and m in F such that \(\xi ^{2} + \mu ^{2} = (\xi -l) (\xi -m)\) with \(l+m = 0\) and \(lm=\mu ^{2}\). Putting \(r(t) = \frac{ e^{lt} - e^{mt}}{l-m} \) and
one can easily obtain \(v(0) = u(0)\) and \(u'(0) = v'(0)\). Taking the Aboodh transform to \(v(t)\), we have
Furthermore, \(\mathcal{A} \{ v'' + \mu ^{2} v\} = (\xi ^{2} + \mu ^{2}) \mathcal{A} \{ v \} - v(0) - \frac{v'(0)}{\xi } \). By (4.8), we obtain \(\mathcal{A} \{ v''(t) + \mu ^{2} v \} = \mathcal{A} \{q \}\). The last equality implies that \(v''(t) + \mu ^{2} v(t) = q(t)\). This means that \(v(t)\) is a solution of (1.2). Hence, by (4.7) and (4.8), we obtain
Thus \(u(t) - v(t) = p(t) * r(t) \). Then, by using \(|p(t)| \leq \epsilon \phi (t)\), we get
for all \(t> 0\), where
where the integrals \(\int _{0}^{t} e^{-\mathcal{R}(l)x} \phi (x) \,dx\) and \(\int _{0}^{t} e^{-\mathcal{R}(m)x} \phi (x) \,dx\) exist for all \(t>0\) and an integrable function ϕ. Hence
This finishes the proof. □
By using the same technique as in Theorem 3.1, we can also prove the Mittag-Leffler–Hyers–Ulam stability of differential equation (1.2). The method of the proof is similar, but we include it for the sake of completeness.
Theorem 4.3
Differential equation (1.2) is Mittag-Leffler–Hyers–Ulam stable.
Proof
For every \(\epsilon >0\) and for each solution \(u(t) \in C^{2}(I)\) satisfying
for all \(t \in I\), we prove that there exists a real number \(L > 0\) which is independent of ϵ and u such that \(\vert u(t) - v(t) \vert \leq L \epsilon E_{\alpha }(t) \) for some \(v \in C^{2}(I)\) satisfying \(v''(t) + \mu ^{2} v = q(t) \) for all \(t \in I\). Then the function \(p: (0, \infty ) \rightarrow \mathbf{{F}}\) defined by \(p(t)=: u''(t) + \mu ^{2} u(t)-q(t) \) satisfies \(|p(t)| \leq \epsilon E_{\alpha }(t) \). Taking the Aboodh transform to \(p(t)\), we have
Equality (4.10) shows that a function \(u_{0}: (0, \infty ) \to \mathbf{{F}}\) is a solution of (1.2) if and only if
If there exist constants l and m in F such that \(\xi ^{2} + \mu ^{2} = (\xi -l) (\xi -m)\) with \(l+m = 0\) and \(lm=\mu ^{2}\), then (4.10) becomes
Set \(r(t) = \frac{ e^{lt} - e^{mt}}{l-m} \) and
Then \(v(0) = u(0)\) and \(v'(0) = u'(0)\). Once more, taking the Aboodh transform to \(v(t)\), we obtain
On the other hand, \(\mathcal{A} \{ v''(t) + \mu ^{2} v\} = (\xi ^{2} + \mu ^{2}) \mathcal{A} \{ v \} - v(0) - \frac{v'(0)}{\xi } \). By (4.12), the last equality becomes \(\mathcal{A} \{ v''(t) + \mu ^{2} v \} = \mathcal{A} \{q \} \). Since \(\mathcal{A}\) is one-to-one and linear, \(v''(t) + \mu ^{2} v = q(t)\), which shows that \(v(t)\) is a solution of (1.2). Now, relations (4.11) and (4.12) necessitate that
and hence \(u(t) - v(t) = p(t) * r(t)\). Taking modulus on both sides of the last equality and using \(|p(t)| \leq \epsilon E_{\alpha }(t)\), we get
where \(L = \vert \int _{0}^{t} ( \frac{ e^{l(t-x)} - e^{m(t-x)}}{l-m} ) \,dt \vert \) and the integral exists for all \(t>0\). Hence linear differential equation (1.2) has the Mittag-Leffler–Hyers–Ulam stability. □
In analogous way to Theorem 4.3, we have the following corollary which proves the Mittag-Leffler–Hyers–Ulam–Rassias stability of differential equation (1.2).
Corollary 4.4
For every \(\epsilon >0\), let \(u(t)\) be a twice continuously differentiable function on I which satisfies the inequality
for all \(t \in I\). Then there exists a real number \(L_{\phi } > 0\) which is independent of ϵ and u such that
for some \(v \in C^{2}(I)\) satisfying \(v''(t) + \mu ^{2} v = q(t) \) for all \(t \in I\).
5 Examples and remarks
In this section, we provide some examples to make it easier to understand the main results of this paper.
Example 5.1
We consider the following homogeneous linear differential equation of second order:
where \(\mu ^{2} = 1\), with the initial conditions \(u(0) = u'(0) = 1\). Letting \(p(t) = u''(t) + u(t)\) in Theorem 3.1 and taking the Aboodh transform, we get
By the initial conditions, we have \(\mathcal{A}\{ u \} = \frac{\xi P(\xi ) + \xi + 1}{\xi (\xi ^{2} + 1)}\). If a continuously differentiable function \(u : [0, \infty ) \to \mathbf{{F}}\) of exponential order satisfies
for all \(t \geq 0\) and for some \(\epsilon > 0\), then, by Theorem 3.1, there exists a solution \(v : [0, \infty ) \to \mathbf{{F}}\) of differential equation (5.1) such that
for all \(t \geq 0\). In fact, \(v(t) = c_{1} \cos t + c_{2} \sin t \) for some constants \(c_{1}, c_{2} \in \mathbf{{F}}\).
Example 5.2
Let us take the non-homogeneous linear differential equation
with the initial conditions \(u(0) = u'(0) = -1\). Here \(q(t) = t\) is a function of exponential order and \(\mu ^{2} = 3\).
If a continuously differentiable function \(u : [0, \infty ) \to \mathbf{{F}}\) of exponential order satisfies
for all \(t \geq 0\) and some \(\varepsilon > 0\), then, by Theorem 4.1, there exists a solution \(v : [0, \infty ) \to \mathbf{{F}}\) of differential equation (5.2) such that \(v(t)\) is of exponential order and
for all \(t \geq 0\). In fact, \(v(t) = c_{1} \cos \sqrt{3} t + c_{2} \sin \sqrt{3} t + \frac{1}{3} t \) for some constants \(c_{1}, c_{2} \in \mathbf{{F}}\).
Example 5.3
Consider the non-homogeneous linear differential equation
with the initial conditions
where \(q(t) = 4 e^{3t}\) is a function of exponential order with \(\mu ^{2} = 2\).
Letting \(p(t) = u''(t) + 2 u(t) - 4 e^{3t}\) in Theorem 4.1 and taking the Aboodh transform, we get
By the initial conditions, we have
If a continuously differentiable function \(u : [0, \infty ) \to \mathbf{{F}}\) of exponential order satisfies
for all \(t \geq 0\) and some \(\epsilon > 0\), then, by Theorem 4.1, there exists a solution \(v : [0, \infty ) \to \mathbf{{F}}\) of differential equation (5.3) such that
for all \(t \geq 0\). In fact, \(v(t) = c_{1} \cos \sqrt{2} t + c_{2} \sin \sqrt{2} t + 4 e^{3t} \) for some constants \(c_{1}, c_{2} \in \mathbf{{F}}\).
Example 5.4
Consider the linear differential equation
with the initial conditions
where \(q(t) = 2 \cos t \) is a function of exponential order with \(\mu ^{2} = 2\).
Letting \(p(t) = u''(t) + 9 u(t) - 2 \cos t\) in Theorem 4.1 and taking the Aboodh transform, we get
By the initial conditions, we have
If a continuously differentiable function \(u : [0, \infty ) \to \mathbf{{F}}\) of exponential order satisfies
for all \(t \geq 0\) and some \(\epsilon > 0\), then, by Theorem 4.1, there exists a solution \(v : [0, \infty ) \to \mathbf{{F}}\) of differential equation (5.4) such that
for all \(t \geq 0\). In fact, \(v(t) = c_{1} \cos 3 t + c_{2} \sin 3 t + \frac{2}{5} \cos t \) for some constants \(c_{1}, c_{2} \in \mathbf{{F}}\).
Remark 5.5
The above examples are also true when we replace ϵ and Kε with \(\phi (t) \varepsilon \) and \(K \phi (t) \epsilon \), respectively, where \(\phi (t)\) is an increasing function. In this case, we see that the corresponding differential equations have the Hyers–Ulam–Rassias stability.
Remark 5.6
Differential equations (5.1), (5.2), (5.3), and (5.4) have the Mittag-Leffler–Hyers–Ulam stability when \(\alpha > 0\). Moreover, they also have the Mittag-Leffler–Hyers–Ulam–Rassias stability when \(\phi (t)\) is an increasing function and \(\alpha > 0\).
6 Conclusion
In this paper, we introduced a new integral transform, namely Aboodh transform, and we applied the transform to investigate the Hyers–Ulam stability, the Hyers–Ulam–Rassias stability, the Mittag-Leffler–Hyers–Ulam stability, and the Mittag-Leffler–Hyers–Ulam–Rassias stability of second order linear differential equations with constant coefficients.
In other words, we established sufficient criteria for the Hyers–Ulam stability of second order linear differential equations with constant coefficients by using the Aboodh transform method. Moreover, this paper provides a new method to investigate the Hyers–Ulam stability of differential equations. This is the first attempt to use the Aboodh transformation to prove the Hyers–Ulam stability for linear differential equations of second order. Furthermore, this paper shows that the Aboodh transform method is more convenient for investigating the stability problems for linear differential equations with constant coefficients. Readers can also apply this terminology to various problems on differential equations.
Availability of data and materials
Not applicable.
References
Ulam, S.M.: Problem in Modern Mathematics. Willey, New York (1960)
Hyers, D.H.: On the stability of a linear functional equation. Proc. Natl. Acad. Sci. USA 27, 222–224 (1941)
Aoki, T.: On the stability of the linear transformation in Banach spaces. J. Math. Soc. Jpn. 2, 64–66 (1950)
Jung, S., Popa, D., Rassias, M.T.: On the stability of the linear functional equation in a single variable on complete metric spaces. J. Glob. Optim. 59, 13–16 (2014)
Lee, Y., Jung, S., Rassias, M.T.: Uniqueness theorems on functional inequalities concerning cubic–quadratic–additive equation. J. Math. Inequal. 12, 43–61 (2018)
Rassias, J.M.: On approximately of approximately linear mappings by linear mappings. J. Funct. Anal. 46, 126–130 (1982)
Rassias, T.M.: On the stability of the linear mappings in Banach spaces. Proc. Am. Math. Soc. 72, 297–300 (1978)
Gavruta, P., Gavruta, L.: A new method for the generalized Hyers–Ulam–Rassias stability. Int. J. Nonlinear Anal. Appl. 2, 11–18 (2010)
Gajda, Z.: On stability of additive mappings. Int. J. Math. Math. Sci. 14, 431–434 (1991)
Bodaghi, A., Senthil Kumar, B.V., Rassias, J.M.: Stabiliies and non-stabilities of the reciprocal-nonic and the reciprocal-decic functional equations. Bol. Soc. Parana. Mat. 38(3), 9–22 (2020)
Alessa, N., Tamilvanan, K., Loganathan, K., Karthik, T.S., Rassias, J.M.: Orthogonal stability and nonstability of a generalized quartic functional equation in quasi-β-normed spaces. J. Funct. Spaces 2021, Article ID 5577833 (2021)
Karthikeyan, S., Park, C., Rassias, J.M., Lee, J.: Stability of n-variable additive functional equation in paranormed spaces. Preprint
Svetlin, G.G., Khaled, Z.: New results on IBVP for class of nonlinear parabolic equations. Adv. Theory Nonlinear Anal. Appl. 2(4), 202–216 (2018)
Nguyen, D.P., Nguyen, L., Le, D.L.: Modified quasi boundary value method for inverse source biparabolic. Adv. Theory Nonlinear Anal. Appl. 4(3), 132–142 (2020)
Nguyen, D.P., Luu, V.C.H., Karapinar, E., Singh, J., Binh, H.D., Nguyen, H.C.: Fractional order continuity of a time semi-linear fractional diffusion-wave system. Alex. Eng. J. 59, 4959–4968 (2020)
Kim, I.: Semilinear problems involving nonlinear operators of monotone type. Res. Nonlinear Anal. 2, 25–35 (2019)
Marino, G., Scardamaglia, B., Karapinar, E.: Strong convergence theorem for strict pseudo-contractions in Hilbert spaces. J. Inequal. Appl. 2016 Paper No. 134 (2016)
Karapinar, E., Binh, H.D., Nguyen, H.L., Nguyen, H.C.: On continuity of the fractional derivative of the time-fractional semilinear pseudo-parabolic systems. Adv. Differ. Equ. 2021 Paper No. 70 (2021)
Alsina, C., Ger, R.: On some inequalities and stability results related to the exponential function. J. Inequal. Appl. 2, 373–380 (1998)
Takahasi, S.E., Miura, T., Miyajima, S.: On the Hyers–Ulam stability of the Banach space-valued differential equation \(y'= \alpha y\). Bull. Korean Math. Soc. 39, 309–315 (2002)
Jung, S.: Hyers–Ulam stability of linear differential equation of first order. Appl. Math. Lett. 17, 1135–1140 (2004)
Jung, S.: Hyers–Ulam stability of linear differential equations of first order (III). J. Math. Anal. Appl. 311, 139–146 (2005)
Jung, S.: Hyers–Ulam stability of linear differential equations of first order (II). Appl. Math. Lett. 19, 854–858 (2006)
Jung, S.: Hyers–Ulam stability of a system of first order linear differential equations with constant coefficients. J. Math. Anal. Appl. 320, 549–561 (2006)
Jung, S.: Approximate solution of a linear differential equation of third order. Bull. Malays. Math. Sci. Soc. 35(4), 1063–1073 (2012)
Wang, G., Zhou, M., Sun, L.: Hyers–Ulam stability of linear differential equations of first order. Appl. Math. Lett. 21, 1024–1028 (2008)
Gavruta, P., Jung, S.M., Li, Y.: Hyers–Ulam stability for the second order linear differential equations with boundary conditions. Electron. J. Differ. Equ. 2011, Paper No. 80 (2011)
Alqifiary, Q.H., Jung, S.: Laplace transform and generalized Hyers–Ulam stability of differential equations. Electron. J. Differ. Equ. 2014, Paper No. 80 (2014)
Murali, R., Selvan, A.P.: Mittag-Leffler–Hyers–Ulam stability of a linear differential equations of first order using Laplace transforms. Can. J. Appl. Math. 2(2), 47–59 (2020)
Buakird, A., Saejung, S.: Ulam stability with respect to a directed graph for some fixed point equations. Carpath. J. Math. 35, 23–30 (2019)
Li, T., Zada, A., Faisal, S.: Hyers–Ulam stability of nth order linear differential equations. J. Nonlinear Sci. Appl. 9, 2070–2075 (2016)
Murali, R., Selvan, A.P.: Hyers–Ulam stability of a free and forced vibrations. Kragujev. J. Math. 44(2), 299–312 (2020)
Murali, R., Park, C., Selvan, A.P.: Hyers–Ulam stability for an nth order differential equation using fixed point approach. J. Appl. Anal. Comput. 11, 614–631 (2021)
Fukutaka, R., Onitsuka, M.: Best constant in Hyers–Ulam stability of first-order homogeneous linear differential equations with a periodic coefficient. J. Math. Anal. Appl. 473, 1432–1446 (2019)
Murali, R., Selvan, A.P., Park, C.: Ulam stability of linear differential equations using Fourier transform. AIMS Math. 5, 766–780 (2019)
Murali, R., Selvan, A.P.: Fourier transforms and Ulam stabilities of linear differential equations. In: Front. Funct. Equ. Anal. Inequal., pp. 195–217. Springer, Cham (2019)
Rassias, J.M., Murali, R., Selvan, A.P.: Mittag-Leffler–Hyers–Ulam stability of linear differential equations using Fourier transforms. J. Comput. Anal. Appl. 29, 68–85 (2021)
Alshikh, A.A., Mahgob, M.M.A.: A comparative study between Laplace transform and two new integrals “ELzaki” transform and Aboodh transform. Pure Appl. Math. J. 5(5), 145–150 (2016)
Aboodh, K.S.: Solving porous medium equation using Aboodh transform homotopy perturbation method. Pure Appl. Math. J. 4(6), 271–276 (2016)
Kalvandi, V., Eghbali, N., Rassias, J.M.: Mittag-Leffler–Hyers–Ulam stability of fractional differential equations of second order. J. Math. Ext. 13(1), 1–15 (2019)
Acknowledgements
We would like to express our sincere gratitude to the anonymous referee for his/her helpful comments that will help to improve the quality of the manuscript.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The authors equally conceived of the study, participated in its design and coordination, drafted the manuscript, participated in the sequence alignment, and read and approved the final manuscript.
Corresponding authors
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Not applicable.
Additional information
Abbreviations
Not applicable.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Murali, R., Selvan, A.P., Park, C. et al. Aboodh transform and the stability of second order linear differential equations. Adv Differ Equ 2021, 296 (2021). https://doi.org/10.1186/s13662-021-03451-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03451-4