- Research
- Open access
- Published:

# Invariance of Hyers-Ulam stability of linear differential equations and its applications

*Advances in Difference Equations*
**volumeÂ 2015**, ArticleÂ number:Â 277 (2015)

## Abstract

We prove that the generalized Hyers-Ulam stability of linear differential equations of *n*th order (defined on *I*) is invariant under any monotone one-to-one correspondence \(\tau: I \to J\) which is *n* times continuously differentiable. Moreover, using this result, we investigate the generalized Hyers-Ulam stability of the linear differential equation of second order and the Cauchy-Euler equation.

## 1 Introduction

Throughout this paper, let *n* be a positive integer and let *I* and *J* be non-degenerate intervals of **R**. We will consider the (linear) differential equation of *n*th order

defined on *I*, where \(y : I \to\mathbf{R}\) is an *n* times continuously differentiable function.

For an arbitrary \(\varepsilon> 0\), assume that an *n* times continuously differentiable function \(y : I \to\mathbf{R}\) satisfies the differential inequality

for all \(x \in I\). If for each function \(y : I \to\mathbf{R}\) satisfying the inequality (2), there exists a solution \(y_{0} : I \to\mathbf{R}\) of the differential equation (1) such that

for any \(x \in I\), where \(K(\varepsilon)\) depends on *Îµ* only and satisfies \(\lim_{\varepsilon\to0} K(\varepsilon) = 0\), then we say that the differential equation (1) satisfies (or has) the Hyers-Ulam stability (or the local Hyers-Ulam stability if the domain *I* is not the whole space **R**). When the above statement also holds even though we replace *Îµ* and \(K(\varepsilon)\) with some appropriate \(\varphi(x)\) and \(\Phi(x)\), respectively, then we say that the differential equation (1) satisfies the generalized Hyers-Ulam stability (or the Hyers-Ulam-Rassias stability). For a more detailed definition of the Hyers-Ulam stability, refer to [1â€“4].

ObÅ‚oza seems to be the first author who investigated the Hyers-Ulam stability of linear differential equations (see [5, 6]): Given real-valued constants *a* and *b*, let \(g, r : (a,b) \to\mathbf{R}\) be continuous functions with \(\int_{a}^{b} | g(x) | \,dx < \infty\). Assume that \(\varepsilon> 0\) is an arbitrary real number. ObÅ‚oza proved that if a differentiable function \(y : (a,b) \to\mathbf{R}\) satisfies the inequality \(| y'(x) + g(x) y(x) - r(x) | \leq\varepsilon\) for all \(x \in(a,b)\) and if a function \(y_{0} : (a,b) \to\mathbf{R}\) satisfies \(y'_{0}(x) + g(x) y_{0}(x) = r(x)\) for all \(x \in(a,b)\) and \(y(\tau) = y_{0}(\tau)\) for some \(\tau\in(a,b)\), then there exists a constant \(\delta> 0\) such that \(| y(x) - y_{0}(x) | \leq\delta\) for all \(x \in(a,b)\).

Thereafter, Alsina and Ger [7] proved that if a differentiable function \(y : (a,b) \to\mathbf{R}\) satisfies the differential inequality \(| y'(x) - y(x) | \leq\varepsilon\), then there exists a function \(y_{0} : (a,b) \to\mathbf{R}\) such that \(y_{0}'(x) = y_{0}(x)\) and \(| y(x) - y_{0}(x) | \leq3\varepsilon\) for all \(x \in(a,b)\). This result of Alsina and Ger was generalized by Takahasi *et al.* [8]. Indeed, they proved the Hyers-Ulam stability of the Banach space valued differential equation \(y'(x) = \lambda y(x)\) (see also [9â€“19]).

Assume that there exists a monotone one-to-one correspondence \(\tau: I \to J\), which is *n* times continuously differentiable. Let \(\sigma: J \to I\) be the inverse of *Ï„*. If we make a change of variable \(t = \tau(x)\) and define an *m* times continuously differentiable function \(z : J \to\mathbf{R}\) by \(z(t) = y(\sigma(t))\), where *m* is an appropriate positive integer (possibly \(m = n\)), then we can substitute \(x = \sigma(t)\), \(y(x) = z(t)\), and

in (1) for each \(k \in\{ 1, 2, \ldots, n \}\), where \(a_{k,i} \in\mathbf{N}_{0}\) and \(b_{k,j} \in\{ 0, 1, \ldots, k \}\), to reduce the linear differential equation (1) to another equation of the form

defined on *J*. For this case, an *n* times continuously differentiable function \(y : I \to\mathbf{R}\) is a solution of the differential equation (1) if and only if the function \(z : J \to\mathbf{R}\) is a solution of the differential equation (4).

The main goal of this paper is to prove that the (generalized) Hyers-Ulam stability of the linear differential equations is invariant under any monotone one-to-one correspondence which is *n* times continuously differentiable. In other words, if the differential equation (1) has the (generalized) Hyers-Ulam stability, then the reduced differential equation (4) also has the (generalized) Hyers-Ulam stability, and *vice versa*.

Moreover, we investigate the generalized Hyers-Ulam stability of the linear differential equation of second order and the Cauchy-Euler equation.

## 2 Hyers-Ulam stability is invariant

In the following main theorem, we prove that the (generalized) Hyers-Ulam stability of the linear differential equation of *n*th order is invariant.

### Theorem 2.1

*Assume that the linear differential equation* (1) *defined on*
*I*
*can be reduced to another differential equation* (4) *defined on*
*J*
*via a monotone one*-*to*-*one correspondence*
\(\tau: I \to J\)
*which is*
*n*
*times continuously differentiable*. *If the differential equation* (1) *has the* (*generalized*) *Hyers*-*Ulam stability*, *so does the reduced differential equation* (4).

### Proof

If the differential equation (1) has the Hyers-Ulam stability and if an *n* times continuously differentiable function \(y : I \to\mathbf{R}\) satisfies the inequality (2) for all \(x \in I\) and for some \(\varepsilon> 0\), then there exists a solution \(y_{0} : I \to\mathbf{R}\) of the differential equation (1) such that the inequality (3) holds for any \(x \in I\), where \(K(\varepsilon)\) depends on *Îµ* only and satisfies \(\lim_{\varepsilon\to0} K(\varepsilon) = 0\).

Since the differential equation (4) can be reduced from (1) by using a monotone one-to-one correspondence \(\tau: I \to J\) and there exists the inverse \(\sigma: J \to I\) of *Ï„*, if we define a function \(z : J \to\mathbf{R}\) by \(z(t) = y(\sigma(t))\), then we can reduce the inequality (2) to a new inequality

for all \(t \in J\). Moreover, if we set \(z_{0}(t) = y_{0}(\sigma(t))\), then the inequality (3) is reduced to

for all \(t \in J\).

Finally, it is obvious that \(z_{0}\) is a solution of the differential equation (4) by considering the last part of the Introduction.

To prove this theorem for the case of generalized Hyers-Ulam stability, we consider the inequalities

and

instead of (2) and (3), respectively, where \(\varphi, \Phi: I \to[0,\infty)\) are continuous functions. Then the inequalities (5) and (6) are replaced by

and

respectively, where \(\psi:= \varphi\circ\sigma\) and \(\Psi:= \Phi\circ\sigma\).

The rest of the proof runs analogously to the first part of this proof.â€ƒâ–¡

By exchanging the roles of the monotone one-to-one correspondence \(\tau: I \to J\) and its inverse \(\sigma: J \to I\), we can prove a corollary to TheoremÂ 2.1.

### Corollary 2.2

*If the differential equation* (4) *has the* (*generalized*) *Hyers*-*Ulam stability*, *so does the original differential equation* (1).

## 3 Stability of linear differential equation of second order

Throughout this section, we assume that *I* is a non-degenerate interval of **R**. We now consider the linear inhomogeneous differential equation of the second order

where \(f, g, r : I \to\mathbf{R}\) are given continuous functions. The Hyers-Ulam stability of the differential equation (7) has been proved under various additional conditions (see [20â€“24]). We will now investigate the generalized Hyers-Ulam stability of the linear differential equation (7) under weaker conditions in comparison with those of [20â€“24].

The proof of the following lemma can be found in [25], SectionÂ 2.16.

### Lemma 3.1

*Assume that the homogeneous differential equation corresponding to* (7),

*has a general solution*
\(y_{h} : I \to\mathbf{R}\)
*of the form*

*where*
\(c_{1}\)
*and*
\(c_{2}\)
*are arbitrary real*-*valued constants*. *Then the inhomogeneous linear differential equation* (7) *has a general solution*
\(y : I \to\mathbf{R}\)
*of the form*

*where*
\(a_{1}\)
*and*
\(a_{2}\)
*are arbitrarily chosen points of*
*I*
*and*

*is the Wronskian of*
\(y_{1}\)
*and*
\(y_{2}\).

We now investigate the generalized Hyers-Ulam stability of the linear inhomogeneous differential equation of the second order (7) in the class of twice continuously differentiable functions.

### Theorem 3.2

*Let*
\(f, g, r : I \to\mathbf{R}\)
*be continuous functions*. *Assume that the homogeneous differential equation* (8) *has a general solution*
\(y_{h} : I \to\mathbf{R}\)
*of the form*
\(y_{h}(x) = c_{1} y_{1}(x) + c_{2} y_{2}(x)\), *where*
\(c_{1}\)
*and*
\(c_{2}\)
*are arbitrary real*-*valued constants*. *If a twice continuously differentiable function*
\(y : I \to\mathbf{R}\)
*satisfies the inequality*

*for all*
\(x \in I\), *where*
\(\varphi: I \to[0,\infty)\)
*is given such that each of the following integrals exists*, *then there exists a solution*
\(y_{0} : I \to\mathbf{R}\)
*of* (7) *such that*

*for all*
\(x \in I\), *where*
\(a_{1}\), \(a_{2}\)
*are arbitrarily chosen points of*
*I*.

### Proof

If we define a continuous function \(s : I \to\mathbf{R}\) by

for all \(x \in I\), then it follows from (9) that

for all \(x \in I\). In view of LemmaÂ 3.1 and (10), there exist real-valued constants \(\alpha_{1}\) and \(\alpha_{2}\) such that

where \(a_{1}, a_{2} \in I\) are arbitrarily chosen and \(W(y_{1}, y_{2})(t) \neq0\) for all \(t \in I\) because \(y_{1}\) and \(y_{2}\) are linearly independent.

We now define a function \(y_{0} : I \to\mathbf{R}\) by

for each \(x \in I\). According to LemmaÂ 3.1, it is obvious that \(y_{0}\) is a solution of (7). Moreover, it follows from (11), (12), and (13) that

for any \(x \in I\).â€ƒâ–¡

If we set \(c := a_{1} = a_{2}\) in TheoremÂ 3.2 and use the equality (14), then we obtain the following corollary.

### Corollary 3.3

*Let*
\(f, g, r : I \to\mathbf{R}\)
*be continuous functions*. *Assume that the homogeneous differential equation* (8) *has a general solution*
\(y_{h} : I \to\mathbf{R}\)
*of the form*
\(y_{h}(x) = c_{1} y_{1}(x) + c_{2} y_{2}(x)\), *where*
\(c_{1}\)
*and*
\(c_{2}\)
*are arbitrary real*-*valued constants*. *If a twice continuously differentiable function*
\(y : I \to\mathbf{R}\)
*satisfies the inequality* (9) *for all*
\(x \in I\), *where*
\(\varphi: I \to[0,\infty)\)
*is given such that the following integral exists*, *then there exists a solution*
\(y_{0} : I \to\mathbf{R}\)
*of* (7) *such that*

*for all*
\(x \in I\), *where*
*c*
*is an arbitrarily chosen point of*
*I*.

## 4 Hyers-Ulam stability of Cauchy-Euler equation

In this section, we consider the (inhomogeneous) Cauchy-Euler (differential) equation

where *Î±* and *Î²* are real-valued coefficients and \(r : (0,\infty) \to\mathbf{R}\) is a differentiable function, and we will investigate the generalized Hyers-Ulam stability of this differential equation. Indeed, the generalized Hyers-Ulam stability of the Cauchy-Euler equation (15) has been proved under some additional conditions (see [26, 27]).

By using TheoremÂ 2.1 and CorollaryÂ 3.3, we prove the generalized Hyers-Ulam stability of the Cauchy-Euler equation (15) for the case of \((\alpha- 1)^{2} - 4 \beta> 0\).

### Theorem 4.1

*If the real*-*valued constants*
*Î±*
*and*
*Î²*
*are given with*
\((\alpha- 1)^{2} - 4 \beta> 0\), *then the Cauchy*-*Euler equation* (15) *has the generalized Hyers*-*Ulam stability*. *In particular*, *let*
*c*
*be a positive real*-*valued constant and let*
\(m_{1}\), \(m_{2}\)
*be the distinct roots of the indicial equation*
\(m^{2} + (\alpha- 1) m + \beta= 0\), *i*.*e*.,

*If*
\(r : (0,\infty) \to\mathbf{R}\)
*is a differentiable function and*
\(y : (0,\infty) \to\mathbf{R}\)
*is a twice continuously differentiable function such that the inequality*

*holds for any*
\(x \in(0,\infty)\), *where*
\(\varphi: (0,\infty) \to[0,\infty)\)
*is a given function such that the following integral exists*, *then there exists a solution*
\(y_{0} : (0,\infty) \to\mathbf{R}\)
*of the inhomogeneous Cauchy*-*Euler equation* (15) *such that*

*for all*
\(x \in(0,\infty)\).

### Proof

If we define a monotone one-to-one correspondence \(\tau: (0,\infty) \to\mathbf{R}\) by

then \(x = e^{t}\) for each \(t \in\mathbf{R}\). We now define a twice continuously differentiable function \(z : \mathbf{R} \to\mathbf{R}\) by

and we get

Using these relations, we can reduce the Cauchy-Euler equation (15) to the linear differential equation

Similarly, the inverse \(\sigma: \mathbf{R} \to(0,\infty)\) of *Ï„* given by \(\sigma(t) := e^{t} = x\) reduces the linear differential equation (18) to the Cauchy-Euler equation (15).

Furthermore, by CorollaryÂ 3.3, the linear differential equation (18) has the generalized Hyers-Ulam stability. Therefore, due to TheoremÂ 2.1, the Cauchy-Euler equation (15) has the generalized Hyers-Ulam stability.

In fact, as we did for (18), we can apply the monotone one-to-one correspondence *Ï„* to reduce the inequality (17) to

for all \(t \in\mathbf{R}\). According to (13) and CorollaryÂ 3.3 with \(z(t)\), \(\alpha-1\), *Î²*, \(r(e^{t})\), \(\varphi(e^{t})\), and \((\ln c)\) instead of \(y(x)\), \(f(x)\), \(g(x)\), \(r(x)\), \(\varphi(x)\), and *a*, respectively, there exist real-valued constants \(c_{1}\) and \(c_{2}\) such that

and

for any \(t \in\mathbf{R}\).

If we set \(t = \ln x\) and \(z_{0}(t) = y_{0}(x)\) in the previous equality for \(z_{0}(t)\) and if we substitute *Î¶* for \(e^{\eta}\) in the integrals, then we get

which is a solution of the inhomogeneous Cauchy-Euler equation (15). Moreover, if we set \(t = \ln x\), \(z(t) = y(x)\), \(z_{0}(t) = y_{0}(x)\), and if we substitute *Î¶* for \(e^{\eta}\) in the integral of the last inequality for \(| z(t) - z_{0}(t) |\), then we obtain the inequality for \(| y(x) - y_{0}(x) |\) given in the statement of this theorem.â€ƒâ–¡

If we set \(\varphi(x) = \varepsilon\) in TheoremÂ 4.1, then we get the following corollary.

### Corollary 4.2

*Assume that the real*-*valued constants*
*Î±*, *Î²*
*are given with*
\((\alpha- 1)^{2} - 4 \beta> 0\)
*and*
*Îµ*
*is an arbitrarily given positive constant*. *Let*
*c*
*be a positive real*-*valued constant and let*
\(m_{1}\), \(m_{2}\)
*be given as* (16). *If*
\(r : (0,\infty) \to\mathbf{R}\)
*is a differentiable function and*
\(y : (0,\infty) \to\mathbf{R}\)
*is a twice continuously differentiable function such that the inequality*

*holds for any*
\(x \in(0,\infty)\), *then there exists a solution*
\(y_{0} : (0,\infty) \to\mathbf{R}\)
*of the inhomogeneous Cauchy*-*Euler equation* (15) *such that*

*for all*
\(x \in(0,\infty)\).

### Proof

According to TheoremÂ 4.1, there exists a solution \(y_{0} : (0,\infty) \to\mathbf{R}\) of the inhomogeneous Cauchy-Euler equation (15) such that

for all \(x \in(0,\infty)\). We can integrate the last inequality case by case and obtain the inequality for \(| y(x) - y_{0}(x) |\).â€ƒâ–¡

We now consider the case when \((\alpha-1)^{2} - 4\beta= 0\) and use TheoremÂ 2.1 and CorollaryÂ 3.3 to prove the generalized Hyers-Ulam stability of the inhomogeneous Cauchy-Euler equation (15).

### Theorem 4.3

*If the real*-*valued constants*
*Î±*
*and*
*Î²*
*are given with*
\(\alpha\neq1\)
*and*
\(\beta= \frac{(\alpha- 1)^{2}}{4}\), *then the Cauchy*-*Euler equation* (15) *has the generalized Hyers*-*Ulam stability*. *In particular*, *let*
*c*
*be a positive real*-*valued constant and let*
\(\lambda= -\frac{\alpha- 1}{2}\). *If*
\(r : (0,\infty) \to\mathbf{R}\)
*is a differentiable function and*
\(y : (0,\infty) \to\mathbf{R}\)
*is a twice continuously differentiable function such that the inequality*

*holds for each*
\(x \in(0,\infty)\), *where*
\(\varphi: (0,\infty) \to[0,\infty)\)
*is a given function such that the following integral exists*, *then there exists a solution*
\(y_{0} : (0,\infty) \to\mathbf{R}\)
*of the inhomogeneous Cauchy*-*Euler equation* (15) *with*
\(\beta= \frac{(\alpha-1)^{2}}{4}\)
*such that*

*for all*
\(x \in(0,\infty)\).

### Proof

Analogously to the proof of TheoremÂ 4.1, we define a monotone one-to-one correspondence \(\tau: (0,\infty) \to\mathbf{R}\) and a twice continuously differentiable function \(z : \mathbf{R} \to\mathbf{R}\) by \(\tau(x) = \ln x = t\) and \(z(t) = y(x) = y(e^{t})\), respectively. In a similar way to the first part of the proof of TheoremÂ 4.1, the Cauchy-Euler equation (15) has the generalized Hyers-Ulam stability.

In particular, we apply the monotone one-to-one correspondence *Ï„* to reduce the inequality (21) to

for any \(t \in\mathbf{R}\). According to (13) and CorollaryÂ 3.3 with \(z(t)\), \(\alpha-1\), \(\frac{(\alpha-1)^{2}}{4}\), \(r(e^{t})\), \(\varphi(e^{t})\), and \((\ln c)\) instead of \(y(x)\), \(f(x)\), \(g(x)\), \(r(x)\), \(\varphi(x)\), and *a*, respectively, there exist real-valued constants \(c_{1}\) and \(c_{2}\) such that

and

for all \(t \in\mathbf{R}\).

If we set \(t = \ln x\) and \(z_{0}(t) = y_{0}(x)\) in the previous equality for \(z_{0}(t)\) and if we substitute *Î¶* for \(e^{\eta}\) in the integrals, then we get

which is obviously a solution of the inhomogeneous Cauchy-Euler equation (15) with \(\beta= \frac{(\alpha-1)^{2}}{4}\). Furthermore, if we set \(t = \ln x\), \(z(t) = y(x)\), \(z_{0}(t) = y_{0}(x)\), and if we substitute *Î¶* for \(e^{\eta}\) in the integral of the previous inequality for \(| z(t) - z_{0}(t) |\), then we get the inequality for \(| y(x) - y_{0}(x) |\) described in the statement of the present theorem.â€ƒâ–¡

If we set \(\varphi(x) = \varepsilon\) in TheoremÂ 4.3, then we obtain the following corollary.

### Corollary 4.4

*Assume that the real*-*valued constants*
*Î±*
*and*
*Î²*
*are given with*
\(\alpha\neq1\), \(\beta= \frac{(\alpha- 1)^{2}}{4}\)
*and*
*Îµ*
*is an arbitrarily given positive constant*. *Let*
*c*
*be a positive real*-*valued constant and let*
\(\lambda= -\frac{\alpha- 1}{2}\). *If*
\(r : (0,\infty) \to\mathbf{R}\)
*is a differentiable function and*
\(y : (0,\infty) \to\mathbf{R}\)
*is a twice continuously differentiable function such that the inequality*

*holds for all*
\(x \in(0,\infty)\), *then there exists a solution*
\(y_{0} : (0,\infty) \to\mathbf{R}\)
*of the inhomogeneous Cauchy*-*Euler equation* (15) *with*
\(\beta= \frac{(\alpha-1)^{2}}{4}\)
*such that*

*for all*
\(x \in(0,\infty)\).

### Proof

According to TheoremÂ 4.3, there exists a solution \(y_{0} : (0,\infty) \to\mathbf{R}\) of the inhomogeneous Cauchy-Euler equation (15) with \(\beta= \frac{(\alpha-1)^{2}}{4}\) such that

for all \(x \in(0,\infty)\).â€ƒâ–¡

We apply TheoremÂ 2.1 and CorollaryÂ 3.3 to prove the generalized Hyers-Ulam stability of the Cauchy-Euler equation (15) for the case of \((\alpha-1)^{2} - 4\beta< 0\).

### Theorem 4.5

*If the real*-*valued constants*
*Î±*
*and*
*Î²*
*are given with*
\((\alpha- 1)^{2} - 4 \beta< 0\), *then the Cauchy*-*Euler equation* (15) *has the generalized Hyers*-*Ulam stability*. *In particular*, *let*
\(c > 0\)
*be a given real*-*valued constant and let*

*If*
\(r : (0,\infty) \to\mathbf{R}\)
*is a differentiable function and*
\(y : (0,\infty) \to\mathbf{R}\)
*is a twice continuously differentiable function such that the inequality* (17) *holds for all*
\(x \in(0,\infty)\), *where*
\(\varphi: (0,\infty) \to[0,\infty)\)
*is a given function such that the following integral exists*, *then there exists a solution*
\(y_{0} : (0,\infty) \to\mathbf{R}\)
*of the inhomogeneous Cauchy*-*Euler equation* (15) *such that*

*for all*
\(x \in(0,\infty)\).

### Proof

In a similar way to the proofs of TheoremsÂ 4.1 andÂ 4.3, we conclude that the Cauchy-Euler equation (15) has the generalized Hyers-Ulam stability.

Using the monotone one-to-one correspondence \(\tau: (0,\infty) \to\mathbf{R}\) defined by \(\tau(x) = \ln x\), we can reduce the inequality (17) to (19) and we apply (13) and CorollaryÂ 3.3 to verify the existence of real-valued constants \(c_{1}\) and \(c_{2}\) such that

and

for all \(t \in\mathbf{R}\), where \(\mu> 0\).

If we set \(t = \ln x\) and \(z_{0}(t) = y_{0}(x)\) in the previous equality for \(z_{0}(t)\) and if we substitute *Î¶* for \(e^{\eta}\) in the integrals, then we get

which is obviously a solution of the inhomogeneous Cauchy-Euler equation (15) with \((\alpha- 1)^{2} - 4 \beta< 0\). Finally, if we let \(t = \ln x\), \(z(t) = y(x)\), \(z_{0}(t) = y_{0}(x)\), and if we substitute *Î¶* for \(e^{\eta}\) in the integral of the inequality for \(| z(t) - z_{0}(t) |\), then we obtain the inequality for \(| y(x) - y_{0}(x) |\) given in the present theorem.â€ƒâ–¡

If we set \(\varphi(x) = \varepsilon\) in TheoremÂ 4.5, then we can easily prove the following corollary.

### Corollary 4.6

*Assume that the real*-*valued constants*
*Î±*
*and*
*Î²*
*are given with*
\((\alpha- 1)^{2} - 4 \beta< 0\)
*and*
*Îµ*
*is an arbitrarily given positive constant*. *Let*
\(c > 0\)
*be a given real*-*valued constant and let*

*If a differentiable function*
\(r : (0,\infty) \to\mathbf{R}\)
*and a twice continuously differentiable function*
\(y : (0,\infty) \to\mathbf{R}\)
*satisfy the inequality* (20) *for all*
\(x \in(0,\infty)\), *then there exists a solution*
\(y_{0} : (0,\infty) \to\mathbf{R}\)
*of the inhomogeneous Cauchy*-*Euler equation* (15) *such that*

*where*
\(m_{x}\)
*and*
\(m_{c}\)
*are defined in* (23) *and* (25).

### Proof

According to TheoremÂ 4.5, there exists a solution \(y_{0} : (0,\infty) \to\mathbf{R}\) of the inhomogeneous Cauchy-Euler equation (15) such that

for all \(x \in(0,\infty)\).

If \(0 < c \leq x\) then we set

where \([z]\) denotes the greatest integer not exceeding the given real number *z*. Then we have

for each \(x \geq c\). Hence, it follows from (22) and (24) that

for any \(x \geq c\). Moreover, if we substitute \(\eta= \ln\frac{x}{\zeta}\) in the above integrals, then we have

for all \(x \geq c\).

If \(0 < x < c\) then we set

Then we obtain

for any \(0 < x < c\). Thus, it follows from (22) and (26) that

for each \(0 < x < c\). Furthermore, if we substitute \(\eta= \ln\frac{x}{\zeta}\) in the last integrals, then we have

for all \(0 < x < c\).â€ƒâ–¡

## References

Czerwik, S: Functional Equations and Inequalities in Several Variables. World Scientific, Singapore (2002)

Hyers, DH, Isac, G, Rassias, TM: Stability of Functional Equations in Several Variables. BirkhÃ¤user, Boston (1998)

Jung, S-M: Hyers-Ulam-Rassias Stability of Functional Equations in Nonlinear Analysis. Springer, New York (2011)

Sahoo, PK, Kannappan, P: Introduction to Functional Equations. CRC Press, Boca Raton (2011)

ObÅ‚oza, M: Hyers stability of the linear differential equation. Rocz. Nauk.-Dydakt. Pr. Mat.

**13**, 259-270 (1993)ObÅ‚oza, M: Connections between Hyers and Lyapunov stability of the ordinary differential equations. Rocz. Nauk.-Dydakt. Pr. Mat.

**14**, 141-146 (1997)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' = \lambda y\). Bull. Korean Math. Soc.

**39**, 309-315 (2002)GÄƒvruÅ£a, P, Jung, S-M, Li, Y: Hyers-Ulam stability for second-order linear differential equations with boundary conditions. Electron. J. Differ. Equ.

**2011**, 80 (2011)Huang, J, Jung, S-M, Li, Y: On Hyers-Ulam stability of nonlinear differential equations. Bull. Korean Math. Soc.

**52**, 685-697 (2015)Jung, S-M: Hyers-Ulam stability of linear differential equations of first order. Appl. Math. Lett.

**17**, 1135-1140 (2004)Jung, S-M: Hyers-Ulam stability of linear differential equations of first order, II. Appl. Math. Lett.

**19**, 854-858 (2006)Jung, S-M: Hyers-Ulam stability of a system of first order linear differential equations with constant coefficients. J.Â Math. Anal. Appl.

**320**, 549-561 (2006)Miura, T, Jung, S-M, Takahasi, S-E: Hyers-Ulam-Rassias stability of the Banach space valued linear differential equations \(y' = \lambda y\). J. Korean Math. Soc.

**41**, 995-1005 (2004)Miura, T, Oka, H, Takahasi, S-E, Niwa, N: Hyers-Ulam stability of the first order linear differential equation for Banach space-valued holomorphic mappings. J. Math. Inequal.

**3**, 377-385 (2007)Popa, D, RaÅŸa, I: On the Hyers-Ulam stability of the linear differential equation. J. Math. Anal. Appl.

**381**, 530-537 (2011)Popa, D, RaÅŸa, I: Hyers-Ulam stability of the linear differential operator with non-constant coefficients. Appl. Math. Comput.

**219**, 1562-1568 (2012)Rus, IA: Ulam stability of ordinary differential equations. Stud. Univ. BabeÅŸâ€“Bolyai, Math.

**54**, 125-134 (2009)Wang, G, Zhou, M, Sun, L: Hyers-Ulam stability of linear differential equations of first order. Appl. Math. Lett.

**21**, 1024-1028 (2008)Alqifary, QH, Jung, S-M: On the Hyers-Ulam stability of differential equations of second order. Abstr. Appl. Anal.

**2014**, Article ID 483707 (2014)CÃ®mpean, DS, Popa, D: On the stability of the linear differential equation of higher order with constant coefficients. Appl. Math. Comput.

**217**, 4141-4146 (2010)Ghaemi, MB, Gordji, ME, Alizadeh, B, Park, C: Hyers-Ulam stability of exact second-order linear differential equations. Adv. Differ. Equ.

**2012**, Article ID 36 (2012)Li, Y, Shen, Y: Hyers-Ulam stability of nonhomogeneous linear differential equations of second order. Int. J. Math. Math. Sci.

**2009**, Article ID 576852 (2009)Li, Y, Shen, Y: Hyers-Ulam stability of linear differential equations of second order. Appl. Math. Lett.

**23**, 306-309 (2010)Kreyszig, E: Advanced Engineering Mathematics, 4th edn. Wiley, New York (1979)

Jung, S-M, Min, S: On approximate Euler differential equations. Abstr. Appl. Anal.

**2009**, Article ID 537963 (2009)Mortici, C, Rassias, TM, Jung, S-M: The inhomogeneous Euler equation and its Hyers-Ulam stability. Appl. Math. Lett.

**40**, 23-28 (2015)

## Acknowledgements

The authors are very grateful to anonymous referees for their kind comments and suggestions. This research was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (No.Â 2013R1A1A2005557). This work was supported by 2015 Hongik University Research Fund.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Choi, G., Jung, SM. Invariance of Hyers-Ulam stability of linear differential equations and its applications.
*Adv Differ Equ* **2015**, 277 (2015). https://doi.org/10.1186/s13662-015-0617-1

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-015-0617-1