Research Article | Open Access

# On Approximate Euler Differential Equations

**Academic Editor:**Paul Eloe

#### Abstract

We solve the inhomogeneous Euler differential equations of the form and apply this result to the approximation of analytic functions of a special type by the solutions of Euler differential equations.

#### 1. Introduction

The stability problem for functional equations starts from the famous talk of Ulam and the partial solution of Hyers to the Ulam's problem (see [1, 2]). Thereafter, Rassias [3] attempted to solve the stability problem of the Cauchy additive functional equation in a more general setting.

The stability concept introduced by Rassias’ theorem significantly influenced a number of mathematicians to investigate the stability problems for various functional equations (see [4–10] and the references therein).

Assume that and are a topological vector space and a normed space, respectively, and that is an open subset of . If for any function satisfying the differential inequality

for all and for some , there exists a solution of the differential equation

such that for any , where is an expression of only, then we say that the above differential equation satisfies the Hyers-Ulam stability (or the local Hyers-Ulam stability if the domain is not the whole space ). We may apply these terminologies for other differential equations. For more detailed definition of the Hyers-Ulam stability, refer to [1, 3, 5, 6, 8–11].

Obloza seems to be the first author who has investigated the Hyers-Ulam stability of linear differential equations (see [12, 13]). Here, we will introduce a result of Alsina and Ger (see [14]): if a differentiable function is a solution of the differential inequality , where is an open subinterval of , then there exists a solution of the differential equation such that for any .

This result of Alsina and Ger has been generalized by Takahasi, Miura, and Miyajima: they proved in [15] that the Hyers-Ulam stability holds for the Banach space-valued differential equation (see also [16]).

Using the conventional power series method, the first author investigated the general solution of the inhomogeneous Hermite differential equation of the form

under some specific condition, where is a real number and the convergence radius of the power series is positive. This result was applied to prove that every analytic function can be approximated in a neighborhood of by a Hermite function with an error bound expressed by (see [17–20]).

In Section 2 of this paper, using power series method, we will investigate the general solution of the inhomogeneous Euler (or Cauchy) differential equation

where and are fixed complex numbers and the coefficients of the power series are given such that the radius of convergence is . Moreover, using the idea from [17–19], we will approximate some analytic functions by the solutions of Euler differential equations.

In this paper, denotes the set of all nonnegative integers.

#### 2. General Solution of Inhomogeneous Euler Equations

The second-order Euler differential equation

which is sometimes called the second-order Cauchy differential equation, is one of the most famous differential equations and frequently appears in applications.

The quadratic equation

is called the auxiliary equation of the Euler differential equation (2.1), and every solution of (2.1) is of the form

where and are complex constants (see [21, Section 2.7]).

Theorem 2.1. *Let and be complex constants such that no root of the auxiliary equation (2.2) is a nonnegative integer. If the radius of convergence of power series is at least , then every solution of the inhomogeneous Euler differential equation (1.4) can be expressed by
**
for all , where is a solution of the Euler differential equation (2.1).*

*Proof. * Assume that is a function given by (2.4), where is a solution of the homogeneous Euler differential equation (2.1). We first prove that the function , defined by , satisfies the inhomogeneous equation (1.4).

Indeed, we have
which proves that is a particular solution of the inhomogeneous equation (1.4). Moreover, each power series appearing in the above equalities has the same radius of convergence as (which can be verified by using the ratio test). Since every solution to (1.4) can be expressed as a sum of a solution of the homogeneous equation and a particular solution of the inhomogeneous equation, every solution of (1.4) is certainly of the form (2.4).

We will now apply the ratio test to the power series in (2.4). Indeed, by setting , we get
and hence we have
which implies that the power series given in (2.4) has the same radius of convergence as power series , which is at least . That is, given in (2.4) is well defined on its domain .

#### 3. Approximate Euler Differential Equations

In this section, assume that and are complex constants and is a positive constant. For a given , we denote by the set of all functions with the properties (a) and (b):

(a) is expressible by a power series whose radius of convergence is at least ; (b) for any where we set for .Let be a sequence of positive real numbers such that the radius of convergence of the series is at least and let and satisfy either and or . If a function is defined by , then certainly belongs to with . So, the set is not empty if . In particular, if is small and is large, then is a large class of analytic functions .

We will now solve the approximate Euler differential equations in a special class of analytic functions, .

Theorem 3.1. *Let and be complex constants such that no root of the auxiliary equation (2.2) is a nonnegative integer. If a function satisfies the differential inequality
**
for all and for some , then there exists a solution of the Euler differential equation (2.1) such that
**
for any .*

*Proof. *Since belongs to , it follows from (a) and (b) that
for all . By considering (3.1) and (3.3), we get
for any . This inequality, together with (b), yields that
for each .

Now, suppose that an arbitrary is given. Then we can choose an arbitrary constant . By Abel's formula (see [22, Theorem 6.30] ), we have
where we set
Since for any and , it follows from (3.5) and (3.6) that
If we let in the above inequality, then we obtain
for all and for any . Since as , we get
for every .

Finally, it follows from (3.3), Theorem 2.1, and (3.10) that there exists a solution of the Euler differential equation (2.1) such that
for any .

#### 4. An Example

We fix , and suppose that a small is given. We can choose a constant such that

We will consider the function which can be expressed by the power series , whose radius of convergence is .

If we set and for any , then it follows from (b) that

Thus, we have

for any , which enables us to choose . Thus, it holds that .

Moreover, we have

for all . It now follows from Theorem 3.1 that there exist complex numbers and with

for any .

#### Acknowledgments

The authors would like to express their cordial thanks to the referees for their useful remarks and constructive comments which have improved the first version of this paper. This work was supported by National Research Foundation of Korea Grant funded by the Korean Government (no. 2009-0071206).

#### References

- D. H. Hyers, “On the stability of the linear functional equation,”
*Proceedings of the National Academy of Sciences of the United States of America*, vol. 27, pp. 222–224, 1941. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - S. M. Ulam,
*A Collection of Mathematical Problems*, Interscience, New York, NY, USA, 1960. View at: MathSciNet - Th. M. Rassias, “On the stability of the linear mapping in Banach spaces,”
*Proceedings of the American Mathematical Society*, vol. 72, no. 2, pp. 297–300, 1978. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - T. Aoki, “On the stability of the linear transformation in Banach spaces,”
*Journal of the Mathematical Society of Japan*, vol. 2, pp. 64–66, 1950. View at: Google Scholar | Zentralblatt MATH | MathSciNet - S. Czerwik,
*Functional Equations and Inequalities in Several Variables*, World Scientific, Singapore, 2002. View at: MathSciNet - G. L. Forti, “Hyers-Ulam stability of functional equations in several variables,”
*Aequationes Mathematicae*, vol. 50, no. 1-2, pp. 143–190, 1995. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - P. Găvruţa, “A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings,”
*Journal of Mathematical Analysis and Applications*, vol. 184, no. 3, pp. 431–436, 1994. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - D. H. Hyers, G. Isac, and Th. M. Rassias,
*Stability of Functional Equations in Several Variables*, Birkhäuser, Boston, Mass, USA, 1998. View at: MathSciNet - D. H. Hyers and Th. M. Rassias, “Approximate homomorphisms,”
*Aequationes Mathematicae*, vol. 44, no. 2-3, pp. 125–153, 1992. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Th. M. Rassias, “On the stability of functional equations and a problem of Ulam,”
*Acta Applicandae Mathematicae*, vol. 62, no. 1, pp. 23–130, 2000. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - S.-M. Jung,
*Hyers-Ulam-Rassias Stability of Functional Equations in Mathematical Analysis*, Hadronic Press, Palm Harbor, Fla, USA, 2001. View at: MathSciNet - M. Obłoza, “Hyers stability of the linear differential equation,”
*Rocznik Naukowo-Dydaktyczny. Prace Matematyczne*, no. 13, pp. 259–270, 1993. View at: Google Scholar | Zentralblatt MATH | MathSciNet - M. Obłoza, “Connections between Hyers and Lyapunov stability of the ordinary differential equations,”
*Rocznik Naukowo-Dydaktyczny. Prace Matematyczne*, no. 14, pp. 141–146, 1997. View at: Google Scholar | Zentralblatt MATH | MathSciNet - C. Alsina and R. Ger, “On some inequalities and stability results related to the exponential function,”
*Journal of Inequalities and Applications*, vol. 2, no. 4, pp. 373–380, 1998. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - S.-E. Takahasi, T. Miura, and S. Miyajima, “On the Hyers-Ulam stability of the Banach space-valued differential equation ${y}^{\prime}=\lambda y$,”
*Bulletin of the Korean Mathematical Society*, vol. 39, no. 2, pp. 309–315, 2002. View at: Google Scholar | Zentralblatt MATH | MathSciNet - T. Miura, S.-M. Jung, and S.-E. Takahasi, “Hyers-Ulam-Rassias stability of the Banach space valued linear differential equations ${y}^{\prime}=\lambda y$,”
*Journal of the Korean Mathematical Society*, vol. 41, no. 6, pp. 995–1005, 2004. View at: Google Scholar | Zentralblatt MATH | MathSciNet - S.-M. Jung, “Legendre's differential equation and its Hyers-Ulam stability,”
*Abstract and Applied Analysis*, vol. 2007, Article ID 56419, 14 pages, 2007. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - S.-M. Jung, “Approximation of analytic functions by Hermite functions,”
*Bulletin des Sciences Mathematiques*. In press. View at: Publisher Site | Google Scholar - S.-M. Jung, “Approximation of analytic functions by airy functions,”
*Integral Transforms and Special Functions*, vol. 19, no. 12, pp. 885–891, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - S.-M. Jung, “An approximation property of exponential functions,”
*Acta Mathematica Hungarica*, vol. 124, no. 1-2, pp. 155–163, 2009. View at: Publisher Site | Google Scholar | MathSciNet - E. Kreyszig,
*Advanced Engineering Mathematics*, John Wiley & Sons, New York, NY, USA, 4th edition, 1979. View at: MathSciNet - W. R. Wade,
*An Introduction to Analysis*, Prentice-Hall, Upper Saddle River, NJ, USA, 2nd edition, 2000.

#### Copyright

Copyright © 2009 Soon-Mo Jung and Seungwook Min. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.