Abstract and Applied Analysis

Volume 2011 (2011), Article ID 602713, 15 pages

http://dx.doi.org/10.1155/2011/602713

## A Note on Stability of an Operator Linear Equation of the Second Order

^{1}Department of Mathematics, Pedagogical University, Podchorążych 2, 30-084 Kraków, Poland^{2}Mathematics Section, College of Science and Technology, Hongik University, Jochiwon 339-701, Republic of Korea

Received 3 April 2011; Accepted 7 June 2011

Academic Editor: Dumitru Baleanu

Copyright © 2011 Janusz Brzdȩk and Soon-Mo Jung. 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.

#### Abstract

We prove some Hyers-Ulam stability results for an operator linear equation of the second order that is patterned on the difference equation, which defines the Lucas sequences (and in particular the Fibonacci numbers). In this way, we obtain several results on stability of some linear functional and differential and integral equations of the second order and some fixed point results for a particular (not necessarily linear) operator.

#### 1. Introduction

Let , , , , and stand, as usual, for the sets of complex numbers, real numbers, integers, nonnegative integers, and positive integers, respectively. Let be a nonempty set, a Banach space over a field , , and , and , denote the complex roots of the equation Clearly we have ,

In what follows, denotes the family of all functions mapping into and is a linear space over with the operations given by for all , , . Throughout this paper, we assume that is a nontrivial subgroup of the group and is an additive operator (i.e., for ).

We investigate the Hyers-Ulam stability of the operator equation for functions with . Namely, we show under suitable assumptions that for every function satisfying (1.4) approximately, that is,

there exists a unique solution of the equation that is “near” to . This kind of issues arise during study of the real-world phenomena, where we very often apply equations; however, in general, those equations are satisfied only with some error. Sometimes that error is neglected and it is believed that this will have only a minor influence on the final outcome. Since it is not always the case, it seems to be of interest to investigate when we can neglect the error, why, and to what extent.

One of the tools for systematic treatment of the problem described above seems to be the notion of Hyers-Ulam stability and some ideas inspired by it. That notion of stability was motivated by a question of Ulam (cf. [1, 2]), and a solution to it published by Hyers in [3]. At the moment, it is a very popular subject of investigation in the areas of, for example, functional, differential, integral equations, but also in other fields of mathematics (for information on this kind of stability and further references see, e.g., [4–8]). Also, the Hyers-Ulam stability is related to the notions of shadowing and controlled chaos (see, e.g., [9–12]).

If for (with and a fixed mapping ), then (1.4) takes the form which is a linear functional equation in a single variable of second order (for some information and further references on the functional equations in single variable, we refer to [13–15]). Stability of (1.6) has been already investigated in [16–23]. A particular case of (1.6), with and , is the difference equation If , then solutions of the difference equation (1.7) are called the Lucas sequences (see, e.g., [24]); in some special cases they are given specific names; that is, the Fibonacci numbers (, , , and ), the Lucas numbers (, , , and ), the Pell numbers (, , , and ), the Pell-Lucas (or companion Lucas) numbers (, , , and ), and the Jacobsthall numbers (, , , and ).

#### 2. The Main Result

Now we will present a theorem that is the main result of this paper. In this section, we consider only the case Some complementary results for the case where or will be given in the fourth section.

For simplicity, we write in the sequel Next, for a given and , the equality means that for every .

We say that is closed with respect to the uniform convergence (abbreviated in the sequel to *c.u.c.*) provided the following holds true: if for , and , then , where the symbol means that the sequence tends uniformly to . Moreover, we use in the sequel the following two hypotheses: and for ; for , .

Now, we are in a position to formulate the main result of this paper.

Theorem 2.1. *Let , , , and let with satisfying the inequality
**
Suppose that (2.1), , and are valid and one of the following three collections of hypotheses is fulfilled. ** for , , is c.u.c., and
** is injective, for , is c.u.c., , and
** is injective, , , is c.u.c., , and conditions (2.5) and (2.6) hold true. **Then there exists a unique function with , that satisfies (1.4) and
**
moreover, is given by (3.30) and
**
where
*

*Remark 2.2. *Clearly, if is a linear subspace of and is linear (over ), then and are valid. However, if is “only” additive, is a linear subspace of but over (i.e., actually a divisible subgroup of ), and , then and hold, as well. This shows that it makes sense to assume only instead of linearity of .

Below, before the proof of Theorem 2.1, we provide simple and natural examples of linear operators that satisfy the assumptions of Theorem 2.1 (with suitable ).(i)Let , , and , where is linear and bounded and is fixed for each . Then with . Hence (2.5) holds with . Next, let , , and be bijective, linear, bounded, and . Then where . Clearly, as above, that inequality yields (2.6) with . If additionally is bounded, then analogously as before we obtain that (2.5) holds, as well, with some .(ii)Let , , , the family of all continuous functions mapping the interval into , , , continuous, and for , . Then it is easily seen that is fulfilled with , .(iii)Let , , be the family of all continuously differentiable functions with and . Then is satisfied with , .

#### 3. Proof of Theorem 2.1

The subsequent lemma will be useful in the proof of Theorem 2.1.

Lemma 3.1. *Assume that (2.1), , and are valid and one of the collections of hypotheses is fulfilled with some . Let , with for , be solutions of (1.4) and . Then .*

* Proof. *Let for . Then, by (1.2) and (1.4),
for . Consequently, for each ,
if or holds, and
if holds. This means that .

Now, in view of the definition of ,
which means that
So, analogously as before, for each , in the case of , we have
and, in the case of or ,
It is easily seen that in each of those cases the above two inequalities imply that .

Now, we have all tools to prove Theorem 2.1.

To this end, fix . Then or . First consider the situation: . Clearly this means that () or () must be valid, which yields . Write Note that, by and , for . Further, for each , from (1.2) we get whence, according to (2.4) and (2.5), and consequently This means that, for each , is a Cauchy sequence, and therefore, there exists the limit . Moreover, (3.11) yields , whence because is c.u.c. and .

Observe that, for every , Further, by (2.5), for each , which yields So, in view of (1.2) and (3.13), we have and, by (3.11) with and ,

Now, consider the case when . Then, according to the assumptions, is injective, (2.6) holds, and , that is, Write Then, for each , we have (because is such that ), and next, by (2.6), This yields So, for each , is a Cauchy sequence, and consequently there exists the limit . Note that, by (3.22), , whence (because for and is c.u.c.), and again by (3.22), with and ,

It is easy to observe that Further, by (2.6), for each , So, by (3.18), (3.23), and (3.25), we have This and (3.23) yield , that is, . Repeating yet that reasoning twice, we get (i.e., (3.12) holds) and consequently

Thus we have proved that, for , in either case inequalities (3.17) or (3.24), respectively, hold and is a solution to (1.4), with (3.12) fulfilled. Define by Then, by (3.12), and it follows from (3.16) and (3.29), respectively, that Moreover, and consequently whence, by (3.17) and (3.24), respectively, we obtain (2.8).

For the proof of the statement concerning uniqueness of , take with . Suppose that is a solution of (1.4) such that . Then we have and therefore, by Lemma 3.1, . This completes the proof of Theorem 2.1.

#### 4. Complementary Results

In this section, we consider the cases that are complementary to those of Theorem 2.1, that is, when and (2.1) may not be fulfilled. We will use the following assumptions: for , for , ,

where and denote the real and imaginary parts of the complex number (if is a real number, then simply and ). Observe that, in the case , and become just and . Note also that if is a real linear subspace of , then and are fulfilled.

The next theorem complements Theorem 2.1 when is valid (however, with a bit stronger assumption on ). The cases of and are more complicated, and some results concerning them will be published separately.

Theorem 4.1. *Let , , , and , with , satisfy (2.4). Suppose that for , , and
**
Then there exists a unique function , with , that satisfies (1.4) and inequality (2.7); moreover,
*

* Proof. *We apply a well-known method of complexification of the real Banach space . Namely, (see, e.g., [25, page 39], [26], or [27, 1.9.6, page 66]) is a complex Banach space with the linear structure and the Taylor norm given by
Note that

Analogously as before we write
for each function . Next,

Let be given by for , and
for every and . Since and is a subgroup of the group (i.e., the function defined by for , is in ), it is easily seen that and

Next, for each , we have , whence, in view of and , for each ,
and consequently
Thus, we have obtained that for and . Analogously, for every , , we get
which means that (because is a group and holds). Moreover,
Thus we have proved that and for .

Now, we show that is c.u.c. with regard to the Taylor norm. To this end, take and for such that (with respect to the Taylor norm). Then, by (4.4),
which means that and . Consequently, . Hence, .

Note yet that, according to (4.1) and (4.4), for every , we have
because for each .

In this way, we have shown that the assumptions of Theorem 2.1() are satisfied (with , , , and replaced by , , , and , resp.) and consequently there is a solution of the equation
such that
Observe that is a solution of (1.4) and, by (4.4), (4.2) holds.

It remains to prove the statement concerning uniqueness of . So, let , with , be a solution of (1.4) such that . Write for . It is easily seen that and . Moreover,
Hence, by Lemma 3.1 (with and replaced by and , resp.), , which yields .

#### 5. Final Remarks on Fixed Points and Open Problems

Theorems 2.1 and 4.1 can be actually expressed in the terms of fixed points. Namely, they may be reformulated as follows.

Theorem 5.1. *Let , , , , and , with , satisfying the inequality
**
Suppose that , , and one of the following two conditions are valid: *(a)*Condition (2.1) and one of the collections of hypotheses are fulfilled; *(b)*the collection of hypotheses is fulfilled and for . **Then there exists a unique with such that is a fixed point of and
**
moreover, if is valid, then (2.8) holds and if is valid, then (4.2) holds with .*

If is linear, then Theorems 2.1 and 4.1 can also be expressed in the following way (cf. [7]).

Theorem 5.2. *Let , where is the identity operator given by for . Suppose that , , and one of conditions , are valid with some , . Then, for every with and
**
there exists a unique with and such that i.e., for and ; moreover, if is valid, then (2.8) holds and if is valid, then (4.2) holds with .*

In connection with the results presented in this paper, there arise several natural questions (apart from those regarding the situation where (2.1) is not fulfilled). We mention here some of them.

The first one concerns optimality of estimations (2.8) and (4.2). It is known that in general they are not the best possible, and for suitable comments and examples, see [17]. It seems that this issue deserves a more systematic treatment.

Another question concerns the case where for some when is valid (and analogous situations for and ). In general, the assumption for is necessary in the case of , as it follows from nonstability results in [18]. But maybe in some particular situation some partial stability results are possible.

One more question is whether methods similar to those used in this paper can be applied for a bit more general equation of the form with a nontrivially given function . Also, it is interesting if these methods can be applied for a higher-order operator linear equation, for example, for the third-order equation For related results, in some particular situations and obtained with different methods, we refer to [19, 28].

#### Acknowledgment

This research was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (no. 2011-0004919).

#### References

- S. M. Ulam,
*A Collection of Mathematical Problems*, Interscience Publishers, New York, NY, USA, 1960. - S. M. Ulam,
*Problems in Modern Mathematics*, John Wiley & Sons, New York, NY, USA, 1964. - 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 · View at Google Scholar · View at Zentralblatt MATH - D. H. Hyers, G. Isac, and T. M. Rassias,
*Stability of Functional Equations in Several Variables*, Birkhäauser, Boston, Mass, USA, 1998. - S.-M. Jung,
*Hyers-Ulam-Rassias Stability of Functional Equations in Mathematical Analysis*, Hadronic Press, Palm Harbor, Fla, USA, 2001. - Z. Moszner, “On the stability of functional equations,”
*Aequationes Mathematicae*, vol. 77, no. 1-2, pp. 33–88, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - B. Paneah, “A new approach to the stability of linear functional operators,”
*Aequationes Mathematicae*, vol. 78, no. 1-2, pp. 45–61, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Tabor and J. Tabor, “Stability of the Cauchy functional equation in metric groupoids,”
*Aequationes Mathematicae*, vol. 76, no. 1-2, pp. 92–104, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - W. Hayes and K. R. Jackson, “A survey of shadowing methods for numerical solutions of ordinary differential equations,”
*Applied Numerical Mathematics*, vol. 53, no. 2–4, pp. 299–321, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - K. Palmer,
*Shadowing in Dynamical Systems*, Kluwer Academic Publishers, Dodrecht, The Netherlands, 2000. - S. Pilyugin,
*Shadowing in Dynamical Systems*, vol. 1706 of*Lecture Notes in Mathematics*, Springer, Berlin, Germany, 1999. - S. Stević, “Bounded solutions of a class of difference equations in Banach spaces producing controlled chaos,”
*Chaos, Solitons and Fractals*, vol. 35, no. 2, pp. 238–245, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - K. Baron and W. Jarczyk, “Recent results on functional equations in a single variable, perspectives and open problems,”
*Aequationes Mathematicae*, vol. 61, no. 1-2, pp. 1–48, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - M. Kuczma,
*Functional Equations in A Single Variable*, Polish Scientific, Warsaw, Poland, 1968. - M. Kuczma, B. Choczewski, and R. Ger,
*Iterative Functional Equations*, Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, UK, 1990. - R. P. Agarwal, B. Xu, and W. Zhang, “Stability of functional equations in single variable,”
*Journal of Mathematical Analysis and Applications*, vol. 288, no. 2, pp. 852–869, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Brzdęk and S.-M. Jung, “A note on stability of a linear functional equation of second order connected with the Fibonacci numbers and Lucas sequences,”
*Journal of Inequalities and Applications*, Article ID 793947, 10 pages, 2010. View at Google Scholar · View at Zentralblatt MATH - J. Brzdęk, D. Popa, and B. Xu, “Note on nonstability of the linear recurrence,”
*Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg*, vol. 76, pp. 183–189, 2006. View at Publisher · View at Google Scholar - J. Brzdęk, D. Popa, and B. Xu, “Hyers-Ulam stability for linear equations of higher orders,”
*Acta Mathematica Hungarica*, vol. 120, no. 1-2, pp. 1–8, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - S.-M. Jung, “Functional equation $f(x)=pf(x-1)-qf(x-2)$ and its Hyers-Ulam stability,”
*Journal of Inequalities and Applications*, Article ID 181678, 10 pages, 2009. View at Google Scholar · View at Zentralblatt MATH - S.-M. Jung, “Hyers-Ulam stability of Fibonacci functional equation,”
*Iranian Mathematical Society*, vol. 35, no. 2, pp. 217–227, 2009. View at Google Scholar · View at Zentralblatt MATH - D. Popa, “Hyers-Ulam-Rassias stability of a linear recurrence,”
*Journal of Mathematical Analysis and Applications*, vol. 309, no. 2, pp. 591–597, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - D. Popa, “Hyers-Ulam stability of the linear recurrence with constant coefficients,”
*Advances in Difference Equations*, no. 2, pp. 101–107, 2005. View at Google Scholar · View at Zentralblatt MATH - P. Ribenboim,
*My Numbers, My Friends*, Springer, New York, NY, USA, 2000, Popular lectures on number theor. - M. Fabian, P. Habala, P. Hájek, V. Montesinos Santalucía, J. Pelant, and V. Zizler,
*Functional Analysis and Infinite-Dimensional Geometry*, Springer, New York, NY, USA, 2001. - J. Ferrera and G. A. Muñoz, “A characterization of real Hilbert spaces using the Bochnak complexification norm,”
*Archiv der Mathematik*, vol. 80, no. 4, pp. 384–392, 2003. View at Google Scholar · View at Zentralblatt MATH - R. V. Kadison and J. R. Ringrose,
*Fundamentals of the Theory of Operator Algebras. V. I*, Graduate Studies in Mathematics, American Mathematical Society, Providence, RI, USA, 1997, Elementary theory, Reprint of the 1983 original. - T. Trif, “Hyers-Ulam-Rassias stability of a linear functional equation with constant coefficients,”
*Nonlinear Functional Analysis and Applications*, vol. 11, no. 5, pp. 881–889, 2006. View at Google Scholar · View at Zentralblatt MATH