Skip to main content

Theory and Modern Applications

Generalized stability of classical polynomial functional equation of order n

Abstract

We study a general n th order polynomial functional equation Δ y n f(x)=n!f(y) on linear spaces and prove its generalized stability.

MSC:39B52, 39B82.

Introduction

The problem of the stability of functional equations started in 1940 by S. M. Ulam [1] when he proposed the question ‘Let G 1 be a group and let G 2 be a metric group with the metric d. Givenε>0, does there exist aδ>0such that iff: G 1 G 2 satisfies the inequalityd(f(xy),f(x)f(y))<δfor allx,y G 1 , then there exists a homomorphismH: G 1 G 2 withd(f(x),H(x))<εfor allx G 1 ?’ In the following year, the answer of this question for the case of a mapping f between Banach spaces E 1 and E 2 satisfying f(x+y)f(x)f(y)ε for all x,y E 1 and for some ε>0 was attested by D. H. Hyers [2]. It was shown that for each x E 1 , the additive mapping A: E 1 E 2 defined by A(x)= lim n 2 n f( 2 n x) has a property that A(x)f(x)ε for all x E 1 . Furthermore, the mapping A is also unique. Since then, this kind of stability was known as the Hyers-Ulam stability and became a fundamental stability theory concept of functional equations. In 1950, T. Aoki [3] published a paper on the stability of the additive mappings in Banach spaces, while in 1978, Th. M. Rassias [4] extended the problem to f(x+y)f(x)f(y)ε( x p + y p )x,y E 1 , for some ε0 and some 0p<1. Subsequently, in 1994, P. Gavruta [5] generalized the problem to f(x+y)f(x)f(y)ϕ(x,y) with certain conditions imposed on the function ϕ. This type of stability is referred to as the generalized stability.

In recent years, a number of researchers [6, 7] have investigated stability problem of various types of functional equations which are mostly based on the Cauchy additive functional equation of the form f(x+y)=f(x)+f(y), the classical quadratic functional equation f(x+y)+f(xy)=2f(x)+2f(y) [8], and the functional equations of higher degree [9, 10]. The stability problem of functional equations can be determined on various domains of functions. There were related efforts on functions being defined on groupoid. A typical work was carried out by A. Gilányi [11] in 1999, who proved the Hyers-Ulam stability of monomial functional equation on a power-associative, power-symmetric groupoid. Such efforts investigate a viable further investigation on generalizing the stability problem.

In this paper, we will prove the general solution of functional equations of the form

Δ y n f(x)=n!f(y)
(1)

which is the diagonalization of a symmetric n-additive function. We will refer to (1) in this paper as a classical polynomial functional equation of order n. (1) was called a monomial functional equation in [11]. Proof of generalized stability of functional equation based on (1) is elucidated as follows. If n is a positive integer, X is a linear space, Y is a Banach space, and a function f:XY satisfies

Δ y n f ( x ) n ! f ( y ) ϕ(x,y),

where ϕ: X 2 [0,) is a function which satisfies certain conditions, then there exists a unique function A n :XY satisfying (1) and

f ( x ) A n ( x ) i = 0 τ ( 2 i x ) 2 i n ,

where τ:X[0,) is a function related to the function ϕ.

Basic theorems and lemmas

In this section, we provide some basic theorems and lemmas concerning the difference operators as well as multi-additive functions. For further details and proofs, please refer to the book by S. Czerwik [12]. Throughout the section, we shall let X and Y be two linear spaces and let f:XY be an arbitrary function.

Definition 1 Define the difference operator Δ h with the span hX by

Δ h f(x)=f(x+h)f(x)for allxX.

For each positive integer n, we define the iterates Δ h n by the recurrence

Δ h n + 1 f= Δ h ( Δ h n f ) .

We may also write the iterated operators Δ h 1 Δ h n shortly as Δ h 1 h n .

Some properties of the difference operator are shown in the following lemmas.

Lemma 1 The difference operators commute; that is, for all h 1 , h 2 X,

Δ h 1 Δ h 2 f= Δ h 2 Δ h 1 f.

Lemma 2 Let n be a positive integer. Then, for allx,hX,

Δ h n f(x)= k = 0 n ( 1 ) n k ( n k )f(x+kh).
(2)

We then recall the definition of an n-additive function and its diagonalization along with their useful properties.

Definition 2 Let n be a positive integer. A function A n :XY will be called an n-additive function if it is additive in each of its arguments; i.e., for each 1in and for all x 1 ,, x n , y i X,

A n ( x 1 ,, x i + y i ,, x n )= A n ( x 1 ,, x i ,, x n )+ A n ( x 1 ,, y i ,, x n ).

Lemma 3 Let A n : X n Ybe an n-additive function, where n is a positive integer, and let r be a rational number. Then, for all x 1 ,, x n X,

A n ( x 1 ,,r x i ,, x n )=r A n ( x 1 ,, x i ,, x n ).
(3)

In particular, whenr=0, A n ( x 1 ,,0,, x n )=0.

Definition 3 The diagonalization of an n-additive function A n : X n Y, where n is a positive integer, is the function A n :XY defined by

A n (x)= A n (x,,x)for allxX.
(4)

Lemma 4 Let A n :XYbe the diagonalization of an n-additive function, where n is a positive integer, and let r be a rational number. Then, for allxX,

A n (rx)= r n A n (x).

Definition 4 A function f: X n Y will be called symmetric if it is invariant under a permutation of its arguments; that is,

f ( x 1 , , x n ) =f( x 1 ,, x n )

for all x 1 ,, x n X and ( x 1 ,, x n ) denotes any permutation of ( x 1 ,, x n ).

Lemma 5 Let A n :XYbe the diagonalization of a symmetric n-additive function, where n is a positive integer. Then, for allx,yX,

A n (x+y)= k = 0 n ( n k ) A n ( x , , x k , y , , y n k ).

Later on, we can state the relation between an n-additive function and the difference operator of its diagonalization as shown below.

Theorem 5 Let A n : X n Ybe a symmetric n-additive function, where n is a positive integer, and let A n :XYbe the diagonalization of A n . Ifmnis an integer, then, for allx, h 1 ,, h m X,

Δ h 1 h m A n (x)={ n ! A n ( h 1 , , h n ) if m = n , 0 if m > n .

We thereafter define a polynomial function of order n and then provide the consequent result often used.

Definition 6 Let n be a nonnegative integer. A function f:XY which satisfies

Δ h n + 1 f(x)=0,

for all x,hX, will be called a polynomial function of order n.

Theorem 7 Iff:XYis a polynomial function of order n, then, for allx, h 1 ,, h n + 1 X,

Δ h 1 , , h n + 1 f(x)=0.

Generalized polynomial functional equations

In this section, we will show that the general solution of the proposed functional equation (1) is the diagonalization of a symmetric n-additive function.

Theorem 8 Let X and Y be two linear spaces. Let n be a positive integer. A functionf:XYsatisfies the functional equation (1) if and only iff(x)= A n (x)for allxXwhere A n :XYis the diagonalization of a symmetric n-additive function.

Proof Suppose a function f:XY satisfies (1). Define a function A n : X n Y by

A n ( x 1 ,, x n )= 1 n ! Δ x 1 x n f(0)for all x 1 ,, x n X.

Since the difference operators commute, it immediately follows that A n is symmetric under any permutation of its arguments. Next, we will show that A n is additive in the first argument. From the definition of A n and by the definition and the commutative property of the difference operators, we have

Noting that Δ h n + 1 f(x)= Δ h n f(x+h) Δ h n f(x)=n!f(h)n!f(h)=0 for all x,hX, and, by virtue of Theorem 7, we have Δ x 2 x n Δ x Δ y f(0)=0, which in turn implies that

A n (x+y, x 2 ,, x n )= A n (x, x 2 ,, x n )+ A n (y, x 2 ,, x n )

for all x,y, x 2 ,, x n X. Thus, A n is additive in the first argument. Taking into account the symmetry of A n , we conclude that A n is n-additive.

Setting x=0 in (1) gives

Δ y n f(0)=n!f(y).

If we let A n :XY be the diagonalization of A n , that is, A n (x)= 1 n ! Δ x n f(0) for all xX, then the above equation simply states that f(x)= A n (x) for all xX.

Conversely, if f(x)= A n (x) where A n :XY is the diagonalization of a symmetric n-additive function, then Theorem 5 tells us that

Δ y n A n (x)=n! A n (y),

which yields the function equation (1). Thus, the proof is complete. □

Theorem 8 proves that the general solution of the functional equation (1) is the diagonalization of a symmetric n-additive function. Hence, if a function f:XY satisfies (1), then, with the aid of Lemma 4, we have

f(rx)= r n f(x)
(5)

for all rational numbers r and for all xX.

Generalized stability

In this section, we aim to prove the stability of the functional equation (1). Let us start with some lemmas that will be used in the proof of the main theorem. It should be noted that we will adopt the usual extension of the binomial coefficients, that is ( n m ) =0 for all integers m>n0.

Lemma 6 Let m and n be nonnegative integers. Then

i = 0 m ( 1 ) i ( n i )( n m i )={ 0 if m is odd , ( 1 ) m / 2 ( n m / 2 ) if m is even .

Proof Simply equate the coefficients of x m in both sides of the identity

( 1 x ) n ( 1 + x ) n = ( 1 x 2 ) n .

 □

Lemma 7 Let X and Y be two linear spaces and letf:XYbe a function. Then, for allxX,

Δ 2 x n f(0)= k = 0 n ( n k ) Δ x n f(kx).

Proof From Lemma 2, we have

k = 0 n ( n k ) Δ x n f(kx)= k = 0 n ( n k ) l = 0 n ( 1 ) n l ( n l )f(kx+lx).

Evaluate the sums over k and l by summing over k+l and l. Thus,

k = 0 n ( n k ) Δ x n f(kx)= m = 0 2 n l = 0 m ( 1 ) n l ( n m l )( n l )f(mx).

By Lemma 6, the inner sum over l vanishes for all odd values of m, and the remaining sums for all even values of m give

k = 0 n ( n k ) Δ x n f(kx)= p = 0 n ( 1 ) n p ( n p )f(2px)= Δ 2 x n f(0).

 □

Lemma 8 Letϕ: X 2 [0,)be a function. If a functionf:XYsatisfies the inequality

Δ y n f ( x ) n ! f ( y ) ϕ(x,y) for all x,yX,

then

Δ 2 x n f ( 0 ) 2 n Δ x n f ( 0 ) k = 1 n ( n k )ϕ(kx,x)+ ( 2 n 1 ) ϕ(0,x) for all xX.

Proof From Lemma 7, we obtain, for every xX,

Δ 2 x n f(0) 2 n Δ x n f(0)= k = 0 n ( n k ) Δ x n f(kx) 2 n Δ x n f(0).

Using the identity k = 0 n ( n k ) = 2 n , we will have

Δ 2 x n f ( 0 ) 2 n Δ x n f ( 0 ) = k = 0 n ( n k ) ( Δ x n f ( k x ) n ! f ( x ) ) 2 n ( Δ x n f ( 0 ) n ! f ( x ) ) = k = 1 n ( n k ) ( Δ x n f ( k x ) n ! f ( x ) ) ( 2 n 1 ) ( Δ x n f ( 0 ) n ! f ( x ) ) .

From the assumption in the lemma, Δ x n f(kx)n!f(x)ϕ(kx,x). Therefore,

Δ 2 x n f ( 0 ) 2 n Δ x n f ( 0 ) k = 1 n ( n k )ϕ(kx,x)+ ( 2 n 1 ) ϕ(0,x).

 □

We will now move on to the proof of the generalized stability of the functional equation (1).

Theorem 9 Let X be a linear space and let Y be a Banach space. Letϕ: X 2 [0,)be a function and n be a positive integer. Define a functionτ:X[0,)by

τ(x)= 1 2 n n ! ( ϕ ( 0 , 2 x ) + ( 2 n + 1 1 ) ϕ ( 0 , x ) + k = 1 n ( n k ) ϕ ( k x , x ) ) for all xX.

Moreover, assume that

i = 0 τ ( 2 i x ) 2 i n converges and lim m ϕ ( 2 m x , 2 m y ) 2 m n =0 for all x,yX.
(6)

If a function f:XY satisfies the inequality

Δ y n f ( x ) n ! f ( y ) ϕ(x,y) for all x,yX,
(7)

then there exists a unique function A n :XYsatisfying the functional equation (1) and

f ( x ) A n ( x ) i = 0 τ ( 2 i x ) 2 i n for all xX.
(8)

In addition, A n (x)= lim m f ( 2 m x ) 2 m n for allxX.

Proof Assume all conditions in the theorem. For every xX, we have

n! ( f ( 2 x ) 2 n f ( x ) ) = ( n ! f ( 2 x ) Δ 2 x n f ( 0 ) ) + ( Δ 2 x n f ( 0 ) 2 n Δ x n f ( 0 ) ) + 2 n ( Δ x n f ( 0 ) n ! f ( x ) ) .

By the inequality (7),

Δ 2 x n f ( 0 ) n ! f ( 2 x ) ϕ(0,2x)and Δ x n f ( 0 ) n ! f ( x ) ϕ(0,x).

By Lemma 8,

Δ 2 x n f ( 0 ) 2 n Δ x n f ( 0 ) k = 1 n ( n k )ϕ(kx,x)+ ( 2 n 1 ) ϕ(0,x).

Therefore,

f ( 2 x ) 2 n f ( x ) 1 n ! ( Δ 2 x n f ( 0 ) n ! f ( 2 x ) + Δ 2 x n f ( 0 ) 2 n Δ x n f ( 0 ) + 2 n Δ x n f ( 0 ) n ! f ( x ) ) 1 n ! ( ϕ ( 0 , 2 x ) + k = 1 n ( n k ) ϕ ( k x , x ) + ( 2 n 1 ) ϕ ( 0 , x ) + 2 n ϕ ( 0 , x ) ) = 2 n τ ( x ) .

Dividing the above inequality by 2 n , we arrive at

f ( 2 x ) 2 n f ( x ) τ(x)for allxX.
(9)

We can now follow the standard steps to prove the stability. Let m1 be an integer. For every xX,

f ( 2 m x ) 2 m n f ( x ) = i = 0 m 1 ( f ( 2 i + 1 x ) 2 ( i + 1 ) n f ( 2 i x ) 2 i n ) i = 0 m 1 1 2 i n f ( 2 i + 1 x ) 2 n f ( 2 i x ) .

Using inequality (9), we get

f ( 2 m x ) 2 m n f ( x ) i = 0 m 1 τ ( 2 i x ) 2 i n .
(10)

From the conditions (6), we finally have f ( 2 m x ) 2 m n f(x) i = 0 τ ( 2 i x ) 2 i n . Next, we will show that the sequence { f ( 2 m x ) 2 m n } m = 0 is a Cauchy sequence. For any integers k,l>0, using inequality (9), we have

f ( 2 k + l x ) 2 ( k + l ) n f ( 2 k x ) 2 k n = 1 2 k n f ( 2 l 2 k x ) 2 l n f ( 2 k x ) i = 0 τ ( 2 i + k x ) 2 ( i + k ) n .

From the conditions (6), the rightmost term in the above inequality vanishes when k, which implies that the sequence { f ( 2 m x ) 2 m n } m = 0 is a Cauchy sequence in the Banach space Y. Hence, we can define a function A n :XY by

A n (x)= lim m f ( 2 m x ) 2 m n for allxX.

From the inequality (10), if we let m, then we obtain the inequality (8).

Next, we will show that the function A n satisfies the functional equation (1). Replacing x and y, respectively, by 2 m x and 2 m y in the inequality (7) and dividing the result by 2 m n , we obtain

1 2 m n Δ 2 m y n f ( 2 m x ) n ! f ( 2 m y ) 2 m n ϕ ( 2 m x , 2 m y ) 2 m n .
(11)

Recalling the definition of A n and noting that

lim m 1 2 m n Δ 2 m y n f ( 2 m x ) = lim m 1 2 m n k = 0 n ( 1 ) n k ( n k ) f ( 2 m ( x + k y ) ) = k = 0 n ( 1 ) n k ( n k ) A n ( x + k y ) = Δ y n A n ( x ) .

Now taking the limit of (11) as m and using the conditions (6), we will see that A n indeed satisfies the functional equation (1).

We still need to prove the uniqueness of A n . Assume that there exists another function A ˜ n :XY which satisfies the functional equation (1) as well as the inequality (8). We have already shown in Theorem 8 that a solution of the functional equation (1) satisfies (5), that is, for every rational number r and for every xX,

A n (rx)= r n A n (x)and A ˜ n (rx)= r n A ˜ n (x).

Hence, for every positive integer m,

A n ( x ) A ˜ n ( x ) = 1 2 m n A n ( 2 m x ) A ˜ n ( 2 m x ) 1 2 m n ( A n ( 2 m x ) f ( 2 m x ) + f ( 2 m x ) A ˜ n ( 2 m x ) ) 2 2 m n i = 0 τ ( 2 i 2 m x ) 2 i n = 2 i = 0 τ ( 2 i + m x ) 2 ( i + m ) n .

Taking the limit as m, and using the conditions (6), we will have A n (x)= A ˜ n (x) which asserts the uniqueness of A n . This completes the proof. □

We will also give a stability theorem with the conditions slightly different from those in Theorem 9.

Theorem 10 Let X be a linear space and let Y be a Banach space. Letϕ: X 2 [0,)be a function and n be a positive integer. Define a functionτ:X[0,)by

τ(x)= 1 2 n n ! ( ϕ ( 0 , 2 x ) + ( 2 n + 1 1 ) ϕ ( 0 , x ) + k = 1 n ( n k ) ϕ ( k x , x ) ) for all xX.

Moreover, assume that

i = 1 2 i n τ ( 2 i x ) converges and lim m 2 m n ϕ ( 2 m x , 2 m y ) =0 for all x,yX.
(12)

If a function f:XY satisfies the inequality

Δ y n f ( x ) n ! f ( y ) ϕ(x,y) for all x,yX,
(13)

then there exists a unique function A n :XYsatisfying the functional equation (1) and

f ( x ) A n ( x ) i = 1 2 i n τ ( 2 i x ) for all xX.
(14)

In addition, A n (x)= lim m 2 m n f( 2 m x)for allxX.

Proof We can follow the beginning of the proof of Theorem 9. But the inequality (9) will be replaced by

2 n f ( x 2 ) f ( x ) 2 n τ ( x 2 ) for allxX,

which will ends up at a bound similar to (10), that is,

2 m n f ( 2 m x ) f ( x ) i = 1 2 i n τ ( 2 i x ) .

The rest of the proof can be carried out in the same fashion as that of Theorem 9. □

The following corollary states the Hyers-Ulam stability of the functional equation (1).

Corollary 1 Let X be a linear space and let Y be a Banach space. Let n be a positive integer and letε>0be a constant. If a functionf:XYsatisfies the inequality

Δ y n f ( x ) n ! f ( y ) ε for all x,yX,
(15)

then there exists a unique function A n :XYsatisfying the functional equation (1) and

f ( x ) A n ( x ) ( 3 2 n 1 ( 2 n 1 ) n ! ) ε for all xX.
(16)

Proof The function ϕ(x,y)=ε satisfies the conditions in Theorem 9 and we will get τ(x)= 3 2 n 1 2 n n ! ε. Hence, there exists a unique function A n :XY satisfying the functional equation (1) with the bound

f ( x ) A n ( x ) i = 0 τ ( 2 i x ) 2 i n = ( 3 2 n 1 ( 2 n 1 ) n ! ) ε.

 □

Finally, we will give a result related to the problem extended by T. Aoki and Th. M. Rassias in the following corollary.

Corollary 2 Let X be a linear space and let Y be a Banach space. Let n be a positive integer, letε>0be a constant and letp>0be a constant withpn. If a functionf:XYsatisfies the inequality

Δ y n f ( x ) n ! f ( y ) ε ( x p + y p ) for all x,yX,
(17)

then there exists a unique function A n :XYsatisfying the functional equation (1) and

f ( x ) A n ( x ) ( 2 p + 3 2 n 2 + k = 1 n ( n k ) k p ( 2 n 2 p ) n ! ) ε x p for all xX.
(18)

Proof The function ϕ(x,y)=ε( x p + y p ) satisfies the conditions (6) in Theorem 9 when 0<p<n and satisfies the conditions (12) in Theorem 10 when p>n. In either case, we will have

τ(x)= ( 2 p + 3 2 n 2 + k = 1 n ( n k ) k p 2 n n ! ) ε x p .

Once we evaluate the bound according to Theorem 9 and Theorem 10, we will get the result as desired in the corollary. □

References

  1. Ulam SM: A Collection of Mathematical Problems. Interscience, New York; 1968.

    Google Scholar 

  2. Hyers DH: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 1941, 27: 222–224. 10.1073/pnas.27.4.222

    Article  MathSciNet  Google Scholar 

  3. Aoki T: On the stability of the linear transformation in Banach spaces. J. Math. Soc. Jpn. 1950, 2: 64–66. 10.2969/jmsj/00210064

    Article  MATH  Google Scholar 

  4. Rassias TM: On the stability of linear mappings in Banach spaces. Proc. Am. Math. Soc. 1978, 72: 297–300. 10.1090/S0002-9939-1978-0507327-1

    Article  MATH  Google Scholar 

  5. Gavruta P: A generalization of the Hyers-Ulam-Rassias stability of approximately additive mappings. J. Math. Anal. Appl. 1994, 184: 431–436. 10.1006/jmaa.1994.1211

    Article  MATH  MathSciNet  Google Scholar 

  6. Forti GL: Hyers-Ulam stability of functional equations in several variables. Aequ. Math. 1995, 50: 143–190. 10.1007/BF01831117

    Article  MATH  MathSciNet  Google Scholar 

  7. Park W, Bae J: On a Cauchy-Jensen functional equation and its stability. J. Math. Anal. Appl. 2006, 323: 634–643. 10.1016/j.jmaa.2005.09.028

    Article  MATH  MathSciNet  Google Scholar 

  8. Lee Y, Chung S: Stability of a quadratic Jensen type functional equation in the spaces of generalized functions. J. Math. Anal. Appl. 2006, 324: 1395–1406. 10.1016/j.jmaa.2006.01.041

    Article  MATH  MathSciNet  Google Scholar 

  9. Chang I, Jung Y: Stability for the functional equation of cubic type. J. Math. Anal. Appl. 2007, 334: 85–96. 10.1016/j.jmaa.2006.12.034

    Article  MATH  MathSciNet  Google Scholar 

  10. Najati A: On the stability of a quartic functional equation. J. Math. Anal. Appl. 2008, 340: 569–574. 10.1016/j.jmaa.2007.08.048

    Article  MATH  MathSciNet  Google Scholar 

  11. Gilányi A: Hyers-Ulam stability of monomial functional equations on a general domain. Proc. Natl. Acad. Sci. USA 1999, 96: 10588–10590. 10.1073/pnas.96.19.10588

    Article  MathSciNet  Google Scholar 

  12. Czerwik S: Functional Equations and Inequalities in Several Variables. World Scientific, Singapore; 2002.

    Book  MATH  Google Scholar 

Download references

Acknowledgements

We are very grateful to the referees for their valuable suggestions that improved this article.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Paisan Nakmahachalasint.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

PN initiated the study and conceived the way of proofs. TE carried out the results and drafted the manuscript. PU verified mathematical correctness of proofs. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Eungrasamee, T., Udomkavanich, P. & Nakmahachalasint, P. Generalized stability of classical polynomial functional equation of order n. Adv Differ Equ 2012, 135 (2012). https://doi.org/10.1186/1687-1847-2012-135

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2012-135

Keywords