Open Access

A Note on Stability of a Linear Functional Equation of Second Order Connected with the Fibonacci Numbers and Lucas Sequences

Journal of Inequalities and Applications20102010:793947

https://doi.org/10.1155/2010/793947

Received: 26 April 2010

Accepted: 15 July 2010

Published: 2 August 2010

Abstract

We prove the Hyers-Ulam stability of a second-order linear functional equation in single variable (with constant coefficients) that is connected with the Fibonacci numbers and Lucas sequences. In this way we complement, extend, and/or improve some recently published results on stability of that equation.

1. Introduction

In this paper , , , and stand, as usual, for the sets of complex numbers, real numbers, integers, and positive integers, respectively. Let be a nonempty set, , be a Banach space over a field , , , and denote the complex roots of the equation
(1.1)

Moreover, , , and (only for bijective ) for and .

The problem of stability of functional equations was motivated by a question of Ulam asked in 1940 and a solution to it by Hyers published in [1]. Since then numerous papers have been published on that subject and we refer to [27] for more details, some discussions and further references; for examples of very recent results see, for example, [812]. Jung has proved in [5] (see also [13]) some results on solutions and stability of the functional equation
(1.2)

in the case where and for . The result on stability (see [5, Theorem ]) can be stated as follows.

Theorem 1.1.

Let , , , , , and satisfy the inequality
(1.3)
Then there is a unique solution of the functional equation
(1.4)
with
(1.5)

If and , then solutions of the difference equation (1.4) are called the Lucas sequences (see, e.g., [14]); in some special cases they are called with specific names; for example; the Fibonacci numbers ( , , and ), the Lucas numbers ( , , and ), the Pell numbers ( , , and ), the Pell-Lucas (or companion Lucas) numbers ( , , and ), and the Jacobsthal numbers ( , , and ).

For some information and further references concerning the functional equations in single variable we refer to [1517]; for an ample survey on stability results for those equations see [2]. Let us mention yet that the problem of stability of functional equations is connected to the notions of controlled chaos (see [18]) and shadowing (see [1921]).

Remark 1.2.

If is bijective, then, with , (1.2) can be written in the following equivalent form:
(1.6)

Clearly, (1.1) is the characteristic equation of (1.6).

In view of Remark 1.2, from [22,Theorem ] (see also [23]) the following stability result, concerning (1.2), can be derived.

Theorem 1.3.

Let for , be bijective, , and satisfy the inequality
(1.7)
Then there is a unique solution of (1.2) with
(1.8)

Theorem 1.3 appears to be much more general than Theorem 1.1 (obtained by a different method of proof). But on the other hand, estimation (1.5) is significantly sharper than (1.8) in numerous cases (take, e.g., and , with some large ). Therefore, there arises a natural question if the method applied in [5] can be modified so as to prove a more general equivalent of Theorem 1.3, but with an estimation better than (1.8). In this paper, we show that this is the case. Namely, we prove the following.

Theorem 1.4.

Let and satisfy inequality (1.7). Suppose that and one of the following two conditions is valid:

() for ;

() for and is bijective.

Then there exists a solution of (1.2) such that
(1.9)

Moreover, if condition is valid, then there exists exactly one solution of (1.2) with .

Remark 1.5.

Note that, for bijective , Theorem 1.4 improves estimation (1.8) in some cases (take, e.g., , , or , ); however, in some other situations (e.g., , ), estimation (1.8) is better. Theorem 1.4 also complements Theorem 1.3 because can be quite arbitrary in the case of .

2. Proof of Theorem 1.4

Clearly, and . We start with the case .

Fix and first assume that . Write
(2.1)
Then, for each and ,
(2.2)
whence
(2.3)
and consequently
(2.4)
This means that, for each , is a Cauchy sequence and therefore there exists the limit . Further, for every ,
(2.5)
and, by (2.4) with and ,
(2.6)
Now, assume that . This means that is bijective. Let
(2.7)
Then, for each and ,
(2.8)
and next, by (1.7),
(2.9)
Hence,
(2.10)
So, for each , is a Cauchy sequence and consequently there exists the limit . Note that, for every , (2.5) holds and, by (2.10) with and ,
(2.11)
Thus, we have proved that, for , inequality (2.6) holds and is a solution to (1.2). Define by
(2.12)
Then, for , it follows from (2.5) that
(2.13)
and, by (1.1) and (2.6),
(2.14)

In the case where is bijective, the uniqueness of results from [22, Proposition ], in view of Remark 1.2.

Now, assume that . Then (see, e.g., [24, page 39], [25], or [26, 27]) is a complex Banach space with the linear structure and the Taylor norm given by
(2.15)

Clearly, for all .

Define by for . Then,
(2.16)
So, by the previous part of the proof, there exists a solution of (1.2) such that
(2.17)

Write for , . Clearly, , given by for , is a solution of (1.2), and (1.9) holds.

It remains to prove the statement concerning uniqueness of . So, let be a solution of (1.2) with . Let for . It is easily seen that is a solution of (1.2). Moreover, for every ,
(2.18)

Hence, by [22, Proposition ], , which yields .

3. Consequences of Theorem 1.4

Now we present some consequences of Theorem 1.4 and some results from [22, 28, 29].

Theorem 3.1.

Let and satisfy (1.7). Suppose that one of the following three conditions is valid:

(i) for and ;

(ii) for and is bijective;

(iii)(ii) holds and .

Then there exists a solution of (1.2) such that
(3.1)
where
(3.2)

Moreover, if for , then there exists exactly one solution of (1.2) such that .

Proof.

If (i) is valid, then Theorem 1.4 yields (3.1) with . Further, by (1.7),
(3.3)
and for are roots of the equation
(3.4)
Hence, by [22, Theorem ], there is a solution of the functional equation
(3.5)
such that
(3.6)

(The last equality is due to the fact that .) It is easily seen that is a solution to (1.2).

Next, consider the case of (ii). Then, in view of Theorem 1.4, there is a solution of (1.2) satisfying (3.1) with . Further,
(3.7)

with . Hence, according to [22, Theorem ], there exists a function satisfying (1.6) and inequality (3.1), with . Now, it is enough to note that is a solution to (1.2), as well.

Finally, if (iii) holds, then it is enough to use [22, Theorem ] and Theorem 1.4 (the case of ).

The statement concerning uniqueness results from [22, Proposition ].

Remark 3.2.

If for some (or, equivalently, for some ), then (1.2) can be nonstable, by which we mean that there is a function such that (1.7) holds with some real and for each solution of (1.2) (see, e.g., [28], [22, Example ], or [29]).

Remark 3.3.

Note that, in the case where are real numbers, we have
(3.8)
with
(3.9)

4. Some Critique and Final Remarks

Functional equation (1.2) has been patterned on difference equation (1.4). However, if we want to apply the results of Theorems 1.1–3.1 to the Lucas sequences we come across two obstacles. The first one concerns the domain of and arises from the difference equation (1.4) being written in "wrong" historical form, inconsistent with the general concept of functional equations. Actually it should be written as the functional equation
(4.1)

which corresponds to (1.6). The second obstacle is connected with the restrictions on . For some interesting cases (Fibonacci, Lucas, or Pell numbers), we have (or, if somebody prefers, ) and such case is not covered if is not bijective (which is the case when and or, equivalently, ). All these obstacles can be overcome if, instead of Theorems 1.1–3.1, we use the following result derived from [29, Theorem ].

Proposition 4.1.

Let , , and for , , and
(4.2)

Then there is a solution of (4.1) that satisfies (1.8).

For instance, if and (the case of the Fibonacci and Lucas numbers), we have the following.

Corollary 4.2.

Let , , , and be a sequence in with
(4.3)
Then there is a sequence in such that
(4.4)

Proof.

Note that . Thus, by Proposition 4.1, there is a sequence in such that (4.4) is valid.

Remark 4.3.

If and (the case of Jacobsthal numbers), then one of the roots of (1.1) is equal to and therefore (4.1) is not stable (see [28]), by which we mean that, for each , there is such that and for every solution of (1.6); for such function can be chosen with, for example, and (in [28, the proofs of Lemma and Theorem ] take ).

Declarations

Acknowledgments

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. 2010-0007143).

Authors’ Affiliations

(1)
Department of Mathematics, Pedagogical University, Kraków, Poland
(2)
Mathematics Section, College of Science and Technology, Hongik University, Jochiwon, Republic of Korea

References

  1. Hyers DH: On the stability of the linear functional equation. Proceedings of the National Academy of Sciences of the United States of America 1941, 27: 222–224. 10.1073/pnas.27.4.222MathSciNetView ArticleMATHGoogle Scholar
  2. Agarwal RP, Xu B, Zhang W: Stability of functional equations in single variable. Journal of Mathematical Analysis and Applications 2003, 288(2):852–869. 10.1016/j.jmaa.2003.09.032MathSciNetView ArticleMATHGoogle Scholar
  3. Czerwik S: Functional Equations and Inequalities in Several Variables. World Scientific, River Edge, NJ, USA; 2002:x+410.View ArticleMATHGoogle Scholar
  4. Hyers DH, Isac G, Rassias ThM: Stability of Functional Equations in Several Variables, Progress in Nonlinear Differential Equations and Their Applications, 34. Birkhäuser, Boston, Mass, USA; 1998:vi+313.View ArticleMATHGoogle Scholar
  5. Jung S-M: Functional equation and its Hyers-Ulam stability. Journal of Inequalities and Applications 2009, 2009:-10.Google Scholar
  6. Moszner Z: On the stability of functional equations. Aequationes Mathematicae 2009, 77(1–2):33–88. 10.1007/s00010-008-2945-7MathSciNetView ArticleMATHGoogle Scholar
  7. Paneah B: A new approach to the stability of linear functional operators. Aequationes Mathematicae 2009, 78(1–2):45–61. 10.1007/s00010-009-2956-zMathSciNetView ArticleMATHGoogle Scholar
  8. Cădariu L, Radu V: Fixed point methods for the generalized stability of functional equations in a single variable. Fixed Point Theory and Applications 2008, 2008:-15.Google Scholar
  9. Chudziak J: Stability problem for the Gołąb-Schinzel type functional equations. Journal of Mathematical Analysis and Applications 2008, 339(1):454–460. 10.1016/j.jmaa.2007.07.006MathSciNetView ArticleMATHGoogle Scholar
  10. Ciepliński K: Stability of the multi-Jensen equation. Journal of Mathematical Analysis and Applications 2010, 363(1):249–254. 10.1016/j.jmaa.2009.08.021MathSciNetView ArticleMATHGoogle Scholar
  11. Miheţ D: The probabilistic stability for a functional equation in a single variable. Acta Mathematica Hungarica 2009, 123(3):249–256. 10.1007/s10474-008-8101-yMathSciNetView ArticleMATHGoogle Scholar
  12. Sikorska J: On a pexiderized conditional exponential functional equation. Acta Mathematica Hungarica 2009, 125(3):287–299. 10.1007/s10474-009-9019-8MathSciNetView ArticleMATHGoogle Scholar
  13. Jung S-M: Hyers-Ulam stability of Fibonacci functional equation. Bulletin of the Iranian Mathematical Society 2009, 35(2):217–227, 282.MathSciNetMATHGoogle Scholar
  14. Ribenboim P: My Numbers, My Friends, Popular Lectures on Number Theory. Springer, New York, NY, USA; 2000:xii+375.MATHGoogle Scholar
  15. Baron K, Jarczyk W: Recent results on functional equations in a single variable, perspectives and open problems. Aequationes Mathematicae 2001, 61(1–2):1–48. 10.1007/s000100050159MathSciNetView ArticleMATHGoogle Scholar
  16. Kuczma M: Functional Equations in a Single Variable, Monografie Matematyczne. Volume 46. Polish Scientific Publishers, Warszawa, Poland; 1968:383 pp.Google Scholar
  17. Kuczma M, Choczewski B, Ger R: Iterative Functional Equations, Encyclopedia of Mathematics and Its Applications. Volume 32. Cambridge University Press, Cambridge, UK; 1990:xx+552.View ArticleMATHGoogle Scholar
  18. Stević S: Bounded solutions of a class of difference equations in Banach spaces producing controlled chaos. Chaos, Solitons & Fractals 2008, 35(2):238–245. 10.1016/j.chaos.2007.07.037MathSciNetView ArticleMATHGoogle Scholar
  19. Hayes W, Jackson KR: A survey of shadowing methods for numerical solutions of ordinary differential equations. Applied Numerical Mathematics 2005, 53(2–4):299–321.MathSciNetView ArticleMATHGoogle Scholar
  20. Palmer K: Shadowing in Dynamical Systems, Mathematics and Its Applications. Volume 501. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2000:xiv+299.View ArticleMATHGoogle Scholar
  21. Pilyugin SY: Shadowing in Dynamical Systems, Lecture Notes in Mathematics. Volume 1706. Springer, Berlin, Germany; 1999:xviii+271.MATHGoogle Scholar
  22. Brzdęk J, Popa D, Xu B: Hyers-Ulam stability for linear equations of higher orders. Acta Mathematica Hungarica 2008, 120(1–2):1–8. 10.1007/s10474-007-7069-3MathSciNetView ArticleMATHGoogle Scholar
  23. Trif T: Hyers-Ulam-Rassias stability of a linear functional equation with constant coefficients. Nonlinear Functional Analysis and Applications 2006, 11(5):881–889.MathSciNetMATHGoogle Scholar
  24. Fabian M, Habala P, Hájek P, Montesinos Santalucía V, Pelant J, Zizler V: Functional Analysis and Infinite-Dimensional Geometry, CMS Books in Mathematics/Ouvrages de Mathématiques de la SMC, 8. Springer, New York, NY, USA; 2001:x+451.View ArticleMATHGoogle Scholar
  25. Ferrera J, Muñoz GA: A characterization of real Hilbert spaces using the Bochnak complexification norm. Archiv der Mathematik 2003, 80(4):384–392.MathSciNetMATHGoogle Scholar
  26. Kadison RV, Ringrose JR: Fundamentals of the Theory of Operator Algebras. Vol. I. Elementary Theory, Pure and Applied Mathematics. Volume 100. Academic Press, New York, NY, USA; 1983:xv+398.MATHGoogle Scholar
  27. Kadison RV, Ringrose JR: Fundamentals of the Theory of Operator Algebras. Vol. I. Elementary Theory, Graduate Studies in Mathematics. Volume 15. American Mathematical Society, Providence, RI, USA; 1997:xvi+398.MATHGoogle Scholar
  28. Brzdęk J, Popa D, Xu B: Note on nonstability of the linear recurrence. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 2006, 76: 183–189. 10.1007/BF02960864View ArticleMathSciNetMATHGoogle Scholar
  29. Popa D: Hyers-Ulam stability of the linear recurrence with constant coefficients. Advances in Difference Equations 2005, 2005(2):101–107. 10.1155/ADE.2005.101View ArticleMathSciNetMATHGoogle Scholar

Copyright

© Janusz Brzdęk and Soon-Mo Jung. 2010

This article is published under license to BioMed Central Ltd. 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.