- Research
- Open
- Published:

# Optimal Hyers-Ulam’s constant for the linear differential equations

*Journal of Inequalities and Applications***volume 2016**, Article number: 201 (2016)

## Abstract

In this paper, we will obtain the optimal Hyers-Ulam’s constant for the first-order linear differential equations $p(t)y'(t) - q(t)y(t) - r(t) = 0$.

## Introduction

The question concerning the stability of functional equations has been originally raised by Ulam [1]: *Given a metric group*
$(G, \cdot, d)$, *a positive number*
*ε*, *and a function*
$f : G \to G$
*that satisfies the inequality*
$d ( f(xy), f(x)f(y) ) \leq\varepsilon$
*for all*
$x, y \in G$, *do there exist an homomorphism*
$a : G \to G$
*and a constant*
*δ*
*depending only on*
*G*
*and*
*ε*
*such that*
$d ( a(x), f(x) ) \leq\delta$
*for all*
$x \in G$?

If the answer to this question is affirmative, then the functional equation $a(xy) = a(x)a(y)$ is said to be stable. A first answer to this question was given by Hyers [2] in 1941, who proved that the Cauchy additive equation is stable in Banach spaces. In general, a functional equation is said to be stable in the sense of Hyers and Ulam (or the equation has the Hyers-Ulam stability) if for each solution to the perturbed equation, there exists a solution to the equation that differs from the solution to the perturbed equation with a small error. We recommend the reader to refer [3] for the exact definition of Hyers-Ulam stability and an excellent survey on that subject.

After Hyers’ result, mathematicians extended and generalized Hyers’ theorem in various directions. Aoki [4] and Rassias [5] provided a generalization of the Hyers theorem for additive and linear mappings, respectively. Găvruţa [6] generalized it by considering a general control function instead of *ε*.

Obloza [7, 8] investigated the Hyers-Ulam stability for the linear differential equations. Thereafter, Alsina and Ger [9] considered a differentiable function $f : I \to{\mathbf{R}}$ that satisfies the differential inequality $| y'(t) - y(t) | \leq\varepsilon$ and proved that there exists a solution $f_{0} : I \to{\mathbf{R}}$ of the differential equation $y'(t) = y(t)$ such that $| f(t) - f_{0}(t) | \leq3\varepsilon$ for any $t \in I$. In this paper, we prove that $| f(t) - f_{0}(t) | \leq\varepsilon$ for any $t \in I$. So, our result is a better estimation. Miura *et al.* [10, 11], Takahasi *et al.* [12, 13], and Jung [14] also generalized their results.

Furthermore, the Hyers-Ulam stability for the nonhomogeneous linear differential equations of the form $y'(t) + g(t)y(t) + h(t) = 0$ has been investigated by many mathematicians (see [13, 15–18]).

In particular, Wang *et al.* [18] used the method of integrating factor to prove the Hyers-Ulam stability of the nonhomogeneous linear differential equations of the form

### Proposition 1.1

([18])

*Let*
$I = (a,b)$
*be an interval with*
$-\infty\leq a < b \leq\infty$. *Assume that*
$p, q, r : I \to{\mathbf{R}}$
*are continuous real functions such that*
$p(t) \neq0$
*and*
$| q(t) | \geq\mu$
*for all*
$t \in I$
*and some constant*
$\mu> 0$. *If a continuously differentiable function*
$y : I \to{\mathbf{R}}$
*satisfies the differential inequality*

*then there exist a constant*
$K > 0$
*and a solution*
$z : I \to{\mathbf{R}}$
*of differential equation* (1) *such that*

*where*
*K*
*is called a Hyers*-*Ulam constant*.

In the proof of the proposition, Wang *et al.* assumed that $|q(t)| \geq1$ by saying without the loss of generality. Indeed, their proof is just for the case of $|q(t)| \geq1$, and they said nothing about general cases. In this paper, we clearly generalize their assumption for the proof.

It seems that in Proposition 1.1, Wang *et al.* denoted a Hyers-Ulam constant *K* as $2\exp \{ |\int_{a}^{b}\frac{q(s)}{p(s)}\,ds | \}-1$. In this case, the constant *K* is very big when $b-a$ is a big number. Here, we find a Hyers-Ulam constant *K* that is independent of *a* and *b*.

After we introduce two examples, we will prove that, under the same assumptions of Proposition 1.1, we have a Hyers-Ulam constant *K* in (3) equal to $\frac{1}{\mu}$, where *μ* is a lower bound of the function $|q(t)|$.

## Motivation

In this section, we assume that *a* and *b* are given real numbers with $a < b$. Before we prove our main theorem, in the following two examples, we will see the reason why we try to obtain our main theorem.

### Example 2.1

Let us consider the inequality

where $p(t) = 1$, $q(t) = 1 + e^{-t} \geq1$, and $r(t) = -\frac{3}{2}$. Then the function $y(t) = e^{t}$ satisfies

The general solution of the differential equation $z'(t) - ( 1 + e^{-t} ) z(t) + \frac{3}{2} = 0$ is of the form $z(t) = c \exp\{ -e^{-t} + t \} + \frac{3}{2} e^{t}$. Therefore, we have

if and only if

Now, an upper bound of the left side of (6) is $- ( \frac{1}{e^{b}} + \frac{1}{2} ) \exp\{ e^{-b} \}$, and a lower bound of the right side of (6) is $( \frac{1}{e^{b}} - \frac{1}{2} ) \exp\{ e^{-b} \}$. So, for any $b \in{\mathbf{R}}$, we can find a constant $c \in{\mathbf{R}}$ such that

If we choose a constant *c* satisfying (7), then it follows from (5) and (6) that

Hence, we may expect to have a Hyers-Ulam constant less than that in Proposition 1.1. Meanwhile, if we use the estimation in Proposition 1.1 for Example 2.1, then we have

so that the left side of (8), the Wang estimation, goes to ∞ as $b-a$ goes to ∞, whereas our estimation is expected to be bounded as we see in Theorem 3.1.

### Example 2.2

Let us consider the inequality

Then the function $y(t) = -\frac{1}{\delta} + \frac{1}{\delta} e^{\delta t}$ satisfies inequality (9). The general solution of the differential equation $z^{\prime}(t) - \delta z(t) = 0$ is of the form $z(t) = ce^{\delta t}$ for some constant *c*. So, we have

Therefore, if *K* is a constant such that $0 < K < \frac{1}{\delta}$, then there is no solution of $z^{\prime}(t) - \delta z(t) = 0$ that satisfies

Hence, if there exists a constant $K < \frac{1}{\delta}$ such that

then we should have $c - \frac{1}{\delta} < 0$. In this case, it follows from the last inequality that

This means that we should have *c* such that

which implies

where $K < \frac{1}{\delta}$. So, we have

Therefore, a Hyers-Ulam constant *K* that is independent of *a* and *b* might be less than $\frac{1}{\delta}$. However, by our main theorem in the next section we will see that $K := \frac{1}{\delta}$ is the optimal Hyers-Ulam constant, which is a better estimation than that in [9].

## Main theorem

In this section, let $I = (a,b)$ be an arbitrary interval, where $-\infty\leq a < b \leq\infty$. Now, we are in the position to introduce our main theorem.

### Theorem 3.1

*Let*
$p, q, r : I \to{\mathbf{R}}$
*be continuous real functions such that*
$p(t) \neq0$
*and*
$| q(t) | \geq\mu$
*for all*
$t \in I$
*and some*
$\mu> 0$. *Moreover*, *assume that*
$\frac{q(t)}{p(t)}$
*and*
$\frac{r(s)}{p(s)} \exp \{ -\int_{a}^{s} \frac{q(u)}{p(u)} \, du \}$
*are integrable on*
$(a,c)$
*for each*
$c \in I$. *If a continuously differentiable function*
$y : I \to{\mathbf{R}}$
*satisfies the differential inequality* (2) *for all*
$t \in I$, *then there exists a solution*
$z : I \to{\mathbf{R}}$
*of the differential equation* (1) *such that*

### Proof

We use the method of integrating factor of Wang *et al.* [18].

*Case* 1: Assume that $p(t) > 0$ and $q(t) \geq\mu> 0$. In view of (2), we have

Multiplying the formula by $\frac{1}{p(t)} \exp\{ -\int^{t}_{a} \frac{q(s)}{p(s)}\, ds \}$, we get

Since *y* is continuous, we can choose $t_{0} \in I$ such that $y(t_{0})$ is finite. For any $t \in I$, integrating (12) from $t_{0}$ to *t* and then multiplying by $\exp \{ \int^{t}_{a} \frac{q(s)}{p(s)} \,ds \}$, we get

Since $\int_{t_{0}}^{b} \frac{q(s)}{p(s)} \,ds \to0$ as $t_{0} \to b$, we can choose $t_{0} \in I$ such that $\int_{t_{0}}^{b} \frac{q(s)}{p(s)} \,ds < \ln2$. Therefore, by (13) we obtain

If we define the function $z : I \to{\mathbf{R}}$ by

then inequality (14) implies the validity of (11). Moreover, it is easy to see that *z* is a solution of the differential equation (1).

*Case* 2: Let $p(t) > 0$ and $q(t) \leq-\mu< 0$. In this case, we have $\frac{-q(t)}{\mu} \ge1$. Then, instead of (12), we have the inequality

Then, we can choose $t_{0} \in I$ such that $y(t_{0})$ is finite. For each $t \in I$, we integrate the last inequality from $t_{0}$ to *t* and then multiply by $\exp \{ \int^{t}_{a} \frac{q(s)}{p(s)} \,ds \}$ to obtain inequality (13) for all $t \in I$.

Since $\int_{a}^{t_{0}} ( -\frac{q(s)}{p(s)} ) \,ds \to0$ as $t_{0} \to a$, we can choose $t_{0} \in I$ such that $\int_{a}^{t_{0}} ( -\frac{q(s)}{p(s)} ) \,ds < \ln2$. Similarly as in Case 1, by using (13) we obtain

If we define the function $z : I \to{\mathbf{R}}$ by formula (15), then *z* is a solution of the differential equation (1), and (16) implies the validity of (11).

*Case* 3: For the cases $p(t) < 0$, $q(t) \geq\mu> 0$ and $p(t) < 0$, $q(t) \leq-\mu< 0$, we can prove our assertion by similar calculations. □

### Remark 3.2

In Theorem 3.1, the right side of (11) is the optimal Hyers-Ulam constant, which is independent of the interval $(a,b)$ for $a, b \in{\mathbf{R}}$. This means that there is no *α*, $0 < \alpha< 1$, such that (11) becomes

In (10) of Example 2.2 with $\mu= \delta$, if we have

then we should have $b-a < \frac{1}{\delta} \ln\frac{1 + \alpha}{1 - \alpha}$. So, we cannot have (17) if $b-a > \frac{1}{\delta} \ln\frac{1 + \alpha}{1 - \alpha}$. Hence, our Hyers-Ulam constant is an optimal Hyers-Ulam constant for any interval $(a,b)$ with $a, b \in{\mathbf{R}}$.

## References

- 1.
Ulam, SM: A Collection of Mathematical Problems. Interscience, New York (1960)

- 2.
Hyers, DH: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA

**27**, 222-224 (1941) - 3.
Brillouët-Belluot, N, Brzdȩk, J, Ciepliński, K: On some recent developments in Ulam’s type stability. Abstr. Appl. Anal.

**2012**, Article ID 716936 (2012) - 4.
Aoki, T: On the stability of the linear transformation in Banach spaces. J. Math. Soc. Jpn.

**2**, 64-66 (1950) - 5.
Rassias, TM: On the stability of the linear mapping in Banach spaces. Proc. Am. Math. Soc.

**72**, 297-300 (1978) - 6.
Găvruţa, P: A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings. J. Math. Anal. Appl.

**184**, 431-436 (1994) - 7.
Obloza, M: Hyers stability of the linear differential equation. Rocz. Nauk.-Dydakt., Pr. Mat.

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

**14**, 141-146 (1997) - 9.
Alsina, C, Ger, R: On some inequalities and stability results related to the exponential function. J. Inequal. Appl.

**2**, 373-380 (1998) - 10.
Miura, T, Takahasi, SE, Choda, H: On the Hyers-Ulam stability of real continuous function valued differential map. Tokyo J. Math.

**24**, 467-476 (2001) - 11.
Miura, T, Miyajima, S, Takahasi, SE: A characterization of Hyers-Ulam stability of first order linear differential operators. J. Math. Anal. Appl.

**286**, 136-146 (2003) - 12.
Takahasi, SE, 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) - 13.
Takahasi, SE, Takagi, H, Miura, T, Miyajima, S: The Hyers-Ulam stability constant of first order linear differential operators. J. Math. Anal. Appl.

**296**, 403-409 (2004) - 14.
Jung, S-M: Hyers-Ulam stability of linear differential equations of first order. Appl. Math. Lett.

**17**, 1135-1140 (2004) - 15.
Miura, T, Hirasawa, G, Takahasi, SE: Note on the Hyers-Ulam-Rassias stability for the first order linear differential equation $y'(t) + p(t)y(t) + q(t) = 0$. Int. Math. Sci.

**22**, 1151-1158 (2004) - 16.
Jung, S-M: Hyers-Ulam stability of linear differential equations of first order (II). Appl. Math. Lett.

**19**, 854-858 (2006) - 17.
Jung, S-M: Hyers-Ulam stability of linear differential equations of first order (III). J. Math. Anal. Appl.

**311**, 139-146 (2005) - 18.
Wang, G, Zhou, M, Sun, L: Hyers-Ulam stability of linear differential equations of first order. Appl. Math. Lett.

**21**, 1024-1028 (2008)

## Acknowledgements

This research was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (NRF-2015R1D1A1A01059467). Soon-Mo Jung was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (No. 2015R1D1A1A02061826).

## Author information

## 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

#### Received

#### Accepted

#### Published

#### DOI

### MSC

- 34A40
- 34D10
- 34A30
- 39B82

### Keywords

- linear differential equation
- Hyers-Ulam stability
- integrating factor
- perturbation