AAA Abstract and Applied Analysis 1687-0409 1085-3375 Hindawi Publishing Corporation 10.1155/2014/546046 546046 Research Article On the Stability of a Functional Equation Associated with the Fibonacci Numbers Mortici Cristinel 1,2 http://orcid.org/0000-0001-8395-8748 Rassias Michael Th. 3 http://orcid.org/0000-0002-6812-016X Jung Soon-Mo 4 Zhang Chengjian 1 Valahia University of Târgovişte Bulevardul Unirii 18, 130082 Târgovişte Romania valahia.ro 2 Academy of Romanian Scientists Splaiul Independenţei 54 050094 Bucharest Romania aos.ro 3 Department of Mathematics ETH Zürich Raemistrasse 101, 8092 Zürich Switzerland ethz.ch 4 Mathematics Section College of Science and Technology Hongik University Sejong 339-701 Republic of Korea hongik.ac.kr 2014 2072014 2014 05 05 2014 08 07 2014 20 7 2014 2014 Copyright © 2014 Cristinel Mortici et al. 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.

We prove the Hyers-Ulam stability of the generalized Fibonacci functional equation F(x)-g(x)F(h(x))=0, where g and h are given functions.

1. Introduction

In 1940, Ulam  gave a wide ranging talk before the mathematics club of the University of Wisconsin in which he discussed a number of important unsolved problems. Among them was the question concerning the stability of group homomorphisms.

Let G 1 be a group and let G 2 be a metric group with the metric d ( · , · ) . Given ε > 0 , does there exist a δ > 0 such that if a function h : G 1 G 2 satisfies the inequality d ( h ( x y ) , h ( x ) h ( y ) ) < δ , for all x , y G 1 , then there exists a homomorphism H : G 1 G 2 with d ( h ( x ) , H ( x ) ) < ε , for all x G 1 ?

The case of approximately additive functions was solved by Hyers  under the assumption that G1 and G2 are Banach spaces. Indeed, he proved the following theorem.

Theorem 1.

Let f:G1G2 be a function between Banach spaces such that (1)  f(x+y)-f(x)-f(y)ε, for some ε>0 and for all x,yG1. Then, the limit (2)A(x)=limn2-nf(2nx) exists for each xG1, and A:G1G2 is the unique additive function such that (3)f(x)-A(x)ε, for any xG1. Moreover, if f(tx) is continuous in t, for each fixed xG1, then the function A is linear.

Hyers proved that each solution of the inequality f(x+y)-f(x)-f(y)ε can be approximated by an exact solution; say an additive function. In this case, the Cauchy additive functional equation, f(x+y)=f(x)+f(y), is said to have the Hyers-Ulam stability.

Since then, the stability problems of a large variety of functional equations have been extensively investigated by several mathematicians (cf. ).

In this paper, we investigate the Hyers-Ulam stability of the functional equation (4)F(x)-g(x)F(h(x))=0, where g and h are given functions.

In Section 2, we prove that the functional equation (4) has a large class of nontrivial solutions. Section 3 is devoted to the investigation of the Hyers-Ulam stability problems for (4). In the last section, we prove the Hyers-Ulam stability of (4) when g is a constant function, which is a generalization of the papers [4, 7, 14]. More precisely, Jung  proved the Hyers-Ulam stability of the generalized Fibonacci functional equation (5)f(x)=pf(x-1)-qf(x-2) in the class of functions f:RX, where X is a real (or complex) Banach space.

Theorem 2 (see [<xref ref-type="bibr" rid="B6">7</xref>, Theorem 3.1]).

Assume that the quadratic equation x2-px+q=0 has real solutions a and b with 0<|b|<1<|a|. If a function f:RX satisfies the inequality (6)f(x)-pf(x-1)+qf(x-2)ε for all xR and for some ε>0, then there exists a unique solution F:RX of (5) such that (7)f(x)-F(x)|a|-|b||a-b|·ε(|a|-1)(1-|b|) for all xR.

A similar case for 0<|b|<1<|a| with |b|1/2 was investigated by Brzdęk et al.  and Trif  who obtained the estimate (8)f(x)-F(x)4ε|2|b|-1|·(2|a|-1). If either 0<|b|<1/2 and |a|>3/2-|b| or 1/2<|b|<3/4 and |a|>(5-6|b|)/(6-8|b|), then the inequality (7) is sharper than that of (8).

In Section 4 of this paper, we improve the results of papers [4, 7, 14] in the sense that we estimate f(x)-F(x) even when both |a| and |b| are larger or smaller than 1. Moreover, we deal with a functional equation (4) that is regarded as a more generalized form of the Fibonacci functional equation (5).

In this paper, R, Z, and N stand for the sets of real numbers, integers, and positive integers, respectively.

2. Solutions of (<xref ref-type="disp-formula" rid="EEq1.1">4</xref>)

Evidently, (4) admits the trivial solution F=0. In order to avoid the trivial case, we search in this section for a class of nontrivial solutions of (4).

Let D be a subset of R. A function h:DD is said to be of disjoint iterated images, shortly (DII)-function, if

there exists a partition (9)D=n1Dn;

h maps bijectively Dn onto Dn+1 for each integer n1.

As an example for a (DII)-function, we introduce a function h:(0,1](0,1] defined by (10)h(x)=1n+2(nx+1n+1),xDn(1n+1,1n], for all nN. For every nN, this function is linear on Dn and it transforms each Dn onto Dn+1.

We are now in a position to prove that the set of all solutions of (4) is not empty but it is an infinite set.

Theorem 3.

Let h:DD be a (DII)-function and g:DR{0}. There is a one-to-one correspondence between the set of all solutions F:DR of the functional equation (4) and the set of all functions φ:D1R.

Proof.

Given a φ:D1R, we define a function F on D1 as (11)F(x)=φ(x), for all xD1. Assume that F is defined on Dn-1 for some n2. If xDn, then h-1(x)Dn-1 and we put (12)F(x)=1g(h-1(x))F(h-1(x)), for all xDn. By this inductive procedure, F is completely defined.

We now show that F is a solution of (4). Let z be any point of D and let n2 be an integer such that h(z)Dn. Put x=h(z) in (12) to get (13)F(h(z))=1g(z)F(z), which is (4).

Conversely, we associate to every solution F of (4) the function φ=F|D1.

We notice that a (DII)-function h is injective as we see the following: if x,yDn for some nN with xy but h(x)=h(y), then h(x)=h(y)Dn+1 and, hence, x=y because h maps bijectively Dn onto Dn+1, a contradiction. If xDm and yDn for some m,nN with mn, it is then obvious that h(x)h(y) because h(x)Dm+1, h(y)Dn+1, and Dm+1Dn+1=. But h is not surjective, since Imh=DD1.

We now study the set of solutions of (4) under the assumption that h:DD is a bijection. For any pair of points x,yD, we use the notation xy if there exists a kZ with y=hk(x). Since “” is an equivalence relation in D, let (14)D=iIΔi be the corresponding partition in “-equivalence classes” Δi=xi^  (iI); that is, (15)Δi={hk(xi)  kZ}.

Theorem 4.

Given a subset D of R, let h:DD be a bijective function and g:DR{0}. Assume that (16)D=iIΔi is a partition of D corresponding to the equivalence relation with the property (15). Then, there exists a one-to-one correspondence between the set of all solutions F:DR of the functional equation (4) and the set of all real sequences {yi}iI.

Proof.

For any real sequence {yi}iI, we define F(xi)=yi for all iI, where I is the index set for the partition corresponding to the equivalence relation with the property (15). We further define the function F:DR by (17)F(h(xi))=1g(xi)F(xi)=1g(xi)yi,F(h-1(xi))=g(h-1(xi))F(xi)=g(h-1(xi))yi. In general, if F is defined at hk(xi) and h-k(xi), then F is defined at hk+1(xi) and h-k-1(xi) by (18)F(hk+1(xi))=1g(hk(xi))F(hk(xi)),F(h-k-1(xi))=g(h-k-1(xi))F(h-k(xi)). For each iI, we can use such an inductive procedure to define the function F on Δi and we see that F|Δi is uniquely determined by the value of yi.

Conversely, every solution F:DR of (4) can be associated to the real sequence {F(xi)}iI.

Corollary 5.

Given a subset D of R, let h:DD be a bijective function and αR{0}. Assume that (19)D=iIΔi is a partition of D corresponding to the equivalence relation with the property (15). Then there exists a one-to-one correspondence between the set of all solutions F:DR of the functional equation (20)F(x)-αF(h(x))=0 and the set of all real numbers {yi}iI.

3. Hyers-Ulam Stability of (<xref ref-type="disp-formula" rid="EEq1.1">4</xref>)

The above conditions imposed on the function h were necessary for showing that the functional equations (4) and (20) have large classes of nontrivial solutions. The stability results presented in the sequel are valid also under weaker conditions as we shall see in the following theorems.

Theorem 6.

Given real numbers a and b with a<b, let h:(a,b)(a,b) and g:(a,b)I be given functions, where I(0,1) is an interval of length l. Assume that a bounded function f:(a,b)R satisfies the inequality (21)|f(x)-g(x)f(h(x))|ε for all x(a,b) and for some ε>0. Then, for every αI, there exists a solution F:(a,b)R of (20) such that (22)|f(x)-F(x)|ε+l|f|1-α, for any x(a,b), where |f|=supx(a,b)|f(x)|.

Proof.

First, we prove that (23)|f(x)-αf(h(x))|λ, for all x(a,b), where we set λ=ε+l|f|. Indeed, it follows from (21) that (24)|f(x)-αf(h(x))||f(x)-g(x)f(h(x))|+|g(x)f(h(x))-αf(h(x))|ε+|g(x)-α|·|f(h(x))|ε+l|f|=λ, for every x(a,b).

By replacing x with hk(x) and then multiplying with αk both sides of (23), we get (25)|αkf(hk(x))-αk+1f(hk+1(x))|λαk, for all x(a,b) and kN. Since (26)|f(x)-αnf(hn(x))|k=0n-1|αkf(hk(x))-αk+1f(hk+1(x))|k=0n-1λαk=λ1-αn1-α, we have (27)|f(x)-αnf(hn(x))|λ1-αn1-α, for any x(a,b) and nN.

The inequality (25) shows that the sequence {αnf(hn(x))}nN is a Cauchy sequence for every x(a,b). Thus, we can define a function F:(a,b)R by (28)F(x)=limnαnf(hn(x)), for all x(a,b). Hence, it follows from (23) that (29)|F(x)-αF(h(x))|=|limnαnf(hn(x))-limnαn+1f(hn+1(x))|=limn|αn(f(hn(x))-αf(hn+1(x)))|limnαnλ=0, for each x(a,b), which implies that F is a solution of (20).

Finally, inequality (22) is an immediate consequence of (27) if we take the limit as n.

4. When <inline-formula><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M218"><mml:mrow><mml:mi>g</mml:mi></mml:mrow></mml:math></inline-formula> Is Constant

In the case of g(x)=s{-1,+1} for all xR, we investigate the Hyers-Ulam stability of the functional equation (30)F(x)-sF(h(x))=0, where h:RR and F:RX are functions and X is a real Banach space.

Theorem 7.

Let X be a real Banach space and let s be a real number with |s|<1. If a function f:RX satisfies the inequality (31)f(x)-sf(h(x))ε, for all xR and for some ε>0, then there exists a solution F:RX of (30) such that (32)f(x)-F(x)ε1-|s|, for all xR.

Proof.

By replacing x with hk(x) and multiplying with sk both sides of (31), we get (33)skf(hk(x))-sk+1f(hk+1(x))ε|s|k, for all xR and k{0,1,2,}. By (33), we have (34)f(x)-snf(hn(x))k=0n-1skf(hk(x))-sk+1f(hk+1(x))k=0n-1ε|s|k=ε1-|s|n1-|s|, for all xR and nN. Hence, we get (35)f(x)-snf(hn(x))ε1-|s|n1-|s|, for any xR and nN.

The inequality (33) shows that the sequence {snf(hn(x))}nN is a Cauchy sequence for any fixed xR. Thus, since X is a complete space, we can define a function F:RX by (36)F(x)=limnsnf(hn(x)), for all xR.

It follows from (31) that (37)F(x)-sF(h(x))=limnsnf(hn(x))-limnsn+1f(hn+1(x))=limnsnf(hn(x))-sf(hn+1(x))limnsnε=0, which implies that F is a solution of (30).

Finally, the inequality (32) immediately follows from (35) provided that we take the limit as n.

Assume now that h:RR is bijective. A similar theorem can be proved when |s|>1.

Theorem 8.

Let X be a real Banach space, let h:RR be a bijective function, and let sR be given with |s|>1. If a function f:RX satisfies the inequality (38)f(x)-sf(h(x))ε, for all xR and for some ε>0, then there exists a solution F:RX of (30) such that (39)f(x)-F(x)ε|s|-1, for all xR.

Proof.

By replacing x with h-1(x) and dividing by s both sides of (38), we get (40)f(x)-1sf(h-1(x))ε|s|, for any xR. Since the constant 1/|s| is less than 1, our assertion follows from Theorem 7. In particular, we have (41)F(x)=limns-nf(h-n(x)), for each xR.

Corollary 9.

Let X be a real Banach space, let h:RR be a bijective function, and let sR be given with |s|1. If a function f:RX satisfies the inequality (42)f(x)-sf(h(x))ε, for any xR and for some ε>0, then there exists a solution F:RX of (30) such that (43)f(x)-F(x)ε||s|-1|, for all xR.

By combining the results of Theorems 7 and 8, we can present a stability result of the following functional equation (44)F(x)-pF(h(x))+qF(h(h(x)))=0, where h:RR is bijective and the range space of the function F:RX is a real Banach space.

Theorem 10.

Let p and q be given real numbers such that the quadratic equation x2-px+q=0 has distinct real solutions a and b with |a|1 and |b|1. Assume that a bijective function h:RR is given and X is a real Banach space. If a function f:RX satisfies (45)f(x)-pf(h(x))+qf(h(h(x)))ε, for all xR and for some ε>0, then there exists a solution F:RX of (44) such that (46)f(x)-F(x)1|a-b|(1||a|-1-1|+1||b|-1-1|)ε, for all xR.

As we mentioned in the Introduction, our result extends Jung’s result in , since (47)1|a-b|(1||a|-1-1|+1||b|-1-1|)ε=|a|-|b||a-b|·ε(|a|-1)(1-|b|) when 0<|b|<1<|a|. Moreover, Jung’s result is a particular case of Theorem 10 when we set h(x)=x-1 in (45).

Proof of Theorem <xref ref-type="statement" rid="thm4.4">10</xref>.

If we set (48)u(x)=f(x)-af(h(x)), then the inequality (45) yields (49)u(x)-bu(h(x))ε, for all xR. According to Corollary 9, there exists a solution U:RX of (50)U(x)-bU(h(x))=0 with (51)u(x)-U(x)ε||b|-1|, for any xR.

If we set (52)v(x)=f(x)-bf(h(x)), then the inequality (45) yields (53)v(x)-av(h(x))ε, for any xR. In view of Corollary 9 again, there exists a solution V:RX of (54)V(x)-aV(h(x))=0 with (55)v(x)-V(x)ε||a|-1|, for all xR.

We now define a function F:RX by (56)Fλ(x)=(1-λ)U(x)+λV(x), for any xR, where λ is a real number. Then, it follows from (50) and (54) that (57)Fλ(x)-pFλ(h(x))+qFλ(h(h(x)))=  Fλ(x)-bFλ(h(x))-a(Fλ(h(x))-bFλ(h(h(x))))=  (1-λ)((U(h(x))-bU(h(h(x))))U(x)-bU(h(x))hhhhhhhhhhh-a(U(h(x))-bU(h(h(x)))))+λ(V(x)-bV(h(x))-a(V(h(x))-bV(h(h(x)))))=  λ(V(x)-bV(h(x))-a(V(h(x))-bV(h(h(x)))))=  λ((1-ba)V(x)-a(1-ba)V(h(x)))=  λ(1-ba)(V(x)-aV(h(x)))=  0, for all xR, which implies that Fλ is a solution of (44) for every fixed real number λ.

We now set (58)λ=-ab-a and assert that the function (59)F(x)=bb-aU(x)-ab-aV(x) satisfies the requirements of this theorem. Indeed, it follows from (51) and (55) that (60)f(x)-(bb-aU(x)-ab-aV(x))=1|b-a|(b-a)f(x)-(bU(x)-aV(x))|b||b-a|U(x)-(f(x)-af(h(x)))+|a||b-a|V(x)-(f(x)-bf(h(x)))=|b||b-a|U(x)-u(x)+|a||b-a|V(x)-v(x)|b||b-a|·ε||b|-1|+|a||b-a|·ε||a|-1|=  1|a-b|(1||a|-1-1|+1||b|-1-1|)ε, for any xR.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

Soon-Mo Jung was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (no. 2013R1A1A2005557). The work of Cristinel Mortici was supported by a Grant of the Romanian National Authority for Scientific Research, CNCS-UEFISCDI Project no. PN-II-ID-PCE-2011-3-0087. Cristinel Mortici’s final remarks for improving this paper were made during his visit at CERN laboratories in Geneva, Switzerland.

Ulam S. M. A Collection of Mathematical Problems 1960 New York, NY, USA Interscience Hyers D. H. 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.222 MR0004076 Brzdęk J. Jung S.-M. 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 2010 2010 10 793947 10.1155/2010/793947 MR2678910 2-s2.0-77957841408 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/BF02960864 MR2293441 2-s2.0-70350247624 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-3 MR2431355 2-s2.0-38349072035 Czerwik S. Functional Equations and Inequalities in Several Variables 2002 London, UK World Scientific 10.1142/9789812778116 MR1904790 Jung S.-M. Functional equation f(x)=pf(x-1)-qf(x-2) and its Hyers-Ulam stability Journal of Inequalities and Applications 2009 2009 10 181678 10.1155/2009/181678 MR2563559 2-s2.0-73449097450 Jung S.-M. Hyers-Ulam stability of Fibonacci functional equation Bulletin: Iranian Mathematical Society 2009 35 2 217 227 MR2642936 Jung S.-M. Popa D. Rassias M. T. On the stability of the linear functional equation in a single variable on complete metric groups Journal of Global Optimization 2014 59 1 165 171 10.1007/s10898-013-0083-9 MR3182526 Jung S.-M. Rassias M. T. A linear functional equation of third order associated with the Fibonacci numbers Abstract and Applied Analysis 2014 2014 7 137468 10.1155/2014/137468 Kuczma M. Functional Equations in a Single Variable 1968 Warszawa, Poland Polish Scientific MR0228862 Lee Y.-H. Jung S.-M. Rassias M. T. On an n-dimensional mixed type additive and quadratic functional equation Applied Mathematics and Computation 2014 228 13 16 10.1016/j.amc.2013.11.091 MR3151889 Popa D. Hyers-Ulam stability of the linear recurrence with constant coefficients Advances in Difference Equations 2005 2 101 107 10.1155/ADE.2005.101 MR2197125 ZBL1095.39024 2-s2.0-34347257936 Trif T. Hyers-Ulam-Rassias stability of a linear functional equation with constant coefficients Nonlinear Functional Analysis and Applications 2006 11 5 881 889 MR2309592