Journal of Applied Mathematics
Volume 2011, Issue 1 813137
Research Article
Open Access

Generalized Hyers-Ulam Stability of the Second-Order Linear Differential Equations

A. Javadian, 

A. Javadian

Department of Physics, Semnan University, P. O. Box 35195-363, Semnan, Iran semnan.ac.ir

Search for more papers by this author
E. Sorouri, 

E. Sorouri

Department of Mathematics, Semnan University, P. O. Box 35195-363, Semnan, Iran semnan.ac.ir

Search for more papers by this author
G. H. Kim, 

Corresponding Author

G. H. Kim

Department of Mathematics, Kangnam University, Yongin, Gyeonggi 446-702, Republic of Korea kangnam.ac.kr

Search for more papers by this author
M. Eshaghi Gordji, 

M. Eshaghi Gordji

Department of Mathematics, Semnan University, P. O. Box 35195-363, Semnan, Iran semnan.ac.ir

Search for more papers by this author
First published: 06 December 2011
https://doi.org/10.1155/2011/813137
Citations: 6
Academic Editor: Kuppalapalle Vajravelu

Abstract

We prove the generalized Hyers-Ulam stability of the 2nd-order linear differential equation of the form y′′ + p(x)y′ + q(x)y = f(x), with condition that there exists a nonzero y1 : I → X in C2(I) such that and I is an open interval. As a consequence of our main theorem, we prove the generalized Hyers-Ulam stability of several important well-known differential equations.

1. Introduction

The stability problem of functional equations started with the question concerning stability of group homomorphisms proposed by Ulam [1] during a talk before a Mathematical Colloquium at the University of Wisconsin, Madison. In 1941, Hyers [2] gave a partial solution of Ulam’s problem for the case of approximate additive mappings in the context of Banach spaces. In 1978, Rassias [3] generalized the theorem of Hyers by considering the stability problem with unbounded Cauchy differences ∥f(x + y) − f(x) − f(y)∥≤ϵ(∥x∥p + ∥y∥p), (ϵ > 0,   p ∈ [0,1)). This phenomenon of stability that was introduced by Rassias [3] is called the Hyers-Ulam-Rassias stability (or the generalized Hyers-Ulam stability).

Let X be a normed space over a scalar field 𝕂, and let I be an open interval. Assume that for any function f : I → X satisfying the differential inequality
()
for all t ∈ I and for some ϵ ≥ 0, there exists a function f0 : I → X satisfying
()
for all t ∈ I; here K(t) is an expression for ϵ with lim ϵ→0 K(ϵ) = 0. Then, we say that the above differential equation has the Hyers-Ulam stability.

If the above statement is also true when we replace ϵ and K(ϵ) by φ(t) and ϕ(t), where φ,   ϕ : I → [0, ∞) are functions not depending on f and f0 explicitly, then we say that the corresponding differential equation has the Hyers-Ulam-Rassias stability (or the generalized Hyers-Ulam stability).

The Hyers-Ulam stability of differential equation y′ = y was first investigated by Alsina and Ger [4]. This result has been generalized by Takahasi et al. [5] for the Banach space-valued differential equation y′ = λy. In [6], Miura et al. also proved the Hyers-Ulam-Rassias stability of linear differential of first order, y′ + g(t)y(t) = 0, where g(t) is a continuous function, while the author [7] proved the Hyers-Ulam-Rassias stability of linear differential of the form c(t)y′(t) = y(t). Jung [8] proved the Hyers-Ulam-Rassias stability of linear differential of first order of the form c(t)y′(t) + g(t)y(t) + h(t) = 0.

In this paper, we investigate the generalized Hyers-Ulam stability of differential equations of the form
()
We assume that X is a complex Banach space, I = (a, b) is an arbitrary interval, and y1 : I → X is a nonzero solution of corresponding homogeneous equation of (1.3), where
()

2. Main Results

Taking some idea from [8], we are going to investigate the stability of the 2nd-order linear differential equations. For the sake of convenience, all the integrals and derivations will be viewed as existing and ℜ(ω) denotes the real part of complex number ω. Moreover, let I = (a, b) be an open interval, where a, b ∈ ℝ ⋃ {±∞} are arbitrarily given with a < b.

Theorem 2.1. Let X be a complex Banach space. Assume that p, q : I → ℂ and f : I → X are continuous functions and y1 : I → X is a nonzero twice continuously differentiable function which satisfies the differential equation (1.4). If a twice continuously differentiable function y : I → X satisfies

()
for all x ∈ I, where k = y(a)/y1(a) ∈ X and φ : I → (0, ∞) is a continuous function, then there exists a unique x0 ∈ X such that
()

Proof. We assume that

()
for all x ∈ I. It follows from (1.4), (2.1), and (2.3) that
()
so, we have
()
For simplicity, we use the following notation:
()
for all s ∈ I. By making use of this notation and by (2.5), we get
()
for all l, x ∈ I. Since is assumed to be integrable on I, we may select l0 ∈ I, for any given ϵ > 0, such that l, x ≥ l0 implies ∥z(x) − z(l)∥<ϵ. That is, {z(l)} l∈I is a Cauchy net. By completeness of X, there exists an x0 ∈ X such that z(l) converges to x0 as l → b. It follows from (2.7) and the previous argument that, for any x ∈ I,
()
as l → b. Moreover,
()
is a solution of (1.3).

Now, we prove the uniqueness property of x0. Assume that x1, x2 ∈ X satisfy inequality (2.2) in place of x0. Then, we have

()
thus,
()
where 𝒜 denotes ((2y1(u)′/y1(u)) + p(u)).

It follows from the integrability hypothesis that

()
as s → b. This implies that x1 = x2 and the proof is complete.

Remark 2.2. It follows from Theorem 2.1 that

()
is the general solution of the differential equation (1.3), where c1, c2 are arbitrary elements of X and y1(x) is a nonzero solution of the corresponding homogeneous equation (1.3).

Remark 2.3. If we replace ℂ by ℝ in the proof of Theorem 2.1 and we assume that p, q are real-valued continuous functions, then we can see that Theorem 2.1 is true for a real Banach space X.

Hence, every 2nd-order linear differential equation has the generalized Hyers-Ulam stability with the condition that there exists a solution of corresponding homogeneous equation or there exists a general solution in the ordinary differential equations.

Example 2.4. Consider the second-order linear differential equation with constant coefficients

()
Let b2 − 4c ≥ 0, , and let f : I → ℝ,   φ : I → [0, ∞) be continuous functions. Assume that y : I → ℝ is a twice continuously differential function satisfying the differential inequality
()
for all x ∈ I. On the other hand, by ordinary differential equations, we know that y1(x) = exp (mx) is a solution of corresponding homogeneous equation of (2.14). It follows from Theorem 2.1, Remark 2.3, and (2.14) that there exists a solution y0 : I → ℝ of (2.14) such that
()
for all x ∈ I and that
()

Example 2.5. Consider (2.14). Let b2 − 4c < 0, , and let f : I → ℝ, φ : I → [0, ∞) be continuous functions. Let y : I → ℝ be a twice continuously differential function satisfying the differential inequality of (2.15) for all x ∈ I. It follows from the ordinary differential equations that y1(x) = exp (αx)cos (βx). Then it follows from Theorem 2.1, Remark 2.3, and (2.15) that there exists a solution y0 : I → ℝ of (2.14) such that

()
for all x ∈ I, where k = y(a)/(exp (αa)cos (βa)) and x0 ∈ ℝ is unique and
()

Example 2.6. Consider the equation

()
Let I = (a, b) be an open interval, where a, b ∈ [1, +∞] are arbitrarily given with a < b, f : I → ℝ and φ : I → [0, ∞) are continuous functions. Assume that y : I → ℝ is a twice continuously differential function satisfying the differential inequality
()
for all x ∈ I. By the trial of y0(x) = x, we see that it is a solution of corresponding homogeneous equation of (2.20). Then it follows from Theorem 2.1, Remark 2.3, and (2.21) that there exists a solution y0 : I → ℝ of (2.20) such that
()
for all x ∈ I, where k = y(a)/a and x0 ∈ ℝ is unique and
()

Remark 2.7. We know that Eulars differential equation of second order has the general solution in ordinary differential equations, then we can use Theorem 2.1 and Remark 2.3 for the Hyers-Ulam-Rassias stability in this case.

Let p be a real constant, and I = [−1,1]. We know that Legender’s differential equation
()
has the general solution
()
where
()
and a0, a1 are arbitrary constants. By Theorem 2.1 and Remark 2.3, Legender’s differential equation has Hyers-Ulam-Rassias stability.
Hermite’s differential equation
()
where p is a real constant, has the general solution
()
that
()
for all x ∈ ℝ, and a0, a1 are arbitrary constants. Thus Hermites differential equation has generalized Hyers-Ulam stability.
It is well known from the ordinary differential equations that
()
for all x ∈ ℝ, is a solution of Bessel’s differential equation
()
that p ≥ 0.

Then Bessel’s differential equation has Hyers-Ulam-Rassias stability.

We know from the ordinary differential equations that Laguerre, Chebyshev, and Gauss hypergeometric differential equations have the general solution. Then we can show that those have generalized Hyers-Ulam stability.

Acknowledgment

The third author of this work was partially supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (Grant no. 2011–0005197).

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.