You are on page 1of 7

Volume: 03, June 2014, Pages: 1060-1066

International Journal of Computing Algorithm


ISSN: 2278-2397

Perturbation of Ac - Mixed Type Functional Equation: A Fixed Point Approach


M. Arunkumar1, C. Devi Shyamala Mary2
1

Department of Mathematics, Government Arts College, Tiruvannamalai - 606 603,


Tamil Nadu, India.

Department of Mathematics, St.Joseph's College of Arts and Science, Cuddalore - 607 001,
Tamil Nadu, India.
E.mail: annarun2002@yahoo.co.in, shyam.mary@gmail.com

Abstract: In this paper, we obtain the and generalized Ulam - Hyers stability of a AC mixed type
functional equation

f 2 x y f 2 x y 4 f x y f x y 6 f y using fixed point

method.
Key WordsAdditive functional equations, cubic functional equations, Mixed type AC functional
equations, generalized Ulam Hyers stability, fixed point

1. INTRODUCTION

= k 2 f x y f x y 2 1 k 2 f x

The study of stability problems for functional


equations is related to a question of Ulam [19]
concerning
the
stability
of
group
homomorphisms and affirmatively answered
for Banach spaces by Hyers [8]. It was further
generalized and excellent results obtained by
number of authors [2, 5 13, 15, 17].

(1.2)

Over the last six or seven decades, the above


problem was tackled by numerous authors and
its solutions via various forms of functional
equations like additive, quadratic, cubic,
quartic, mixed type functional equations which
involves only these types of functional
equations were discussed. We refer the
interested readers for more information on
such
problems
to
the
monographs
[1,4,7,9,10,11,16,19].
The general solution and Ulam stability of
mixed type additive and cubic functional
equation of the form
3 f x y z f x y z f x y z

f x y z 4 f x f y f z
= 4 f x y f x z f y z

(1.1)
introduced by J.M. Rassias [14]. The stability
of generalized mixed type functional equation
of
the
form
f x ky f x ky

Integrated Intelligent Research (IIR)

for fixed integers k with k 0,1 in quasi Banach spaces was investigated by M. Eshaghi
Gordji and H. Khodaie [6].
Recently, M.Arunkumar, et. al., [3] introduced
and investigated the general solution and
generalized Ulam Hyers stability of the AC mixed type functional equation
f (2 x y ) f (2 x y )
= 4[ f ( x y ) f ( x y )] 6 f ( y ) (1.3)

having solution

f ( x) = ax bx 3 .

(1.4)

The solution of the functional equation (1.3) is


given in the following lemmas.
Lemma 1.1 [3] Let U and V be real vector
spaces. If f : U V be a mapping satisfying
(1.3) and let g : U V be a mapping given
by

g ( x) = f (2 x) 8 f ( x)

(1.5)

for all x U then

g (2 x) = 2 g ( x)

(1.6)

for all x U such that g is additive.


Lemma 1.2 [3] Let U and V be real vector
spaces. If f : U V be a mapping satisfying

1060

Volume: 03, June 2014, Pages: 1060-1066

International Journal of Computing Algorithm


ISSN: 2278-2397

(1.3) and let h : U V be a mapping given


by

2. STABILITY RESULTS FIXED POINT


METHOD: ADDITIVE CASE

h( x) = f (2 x) 2 f ( x)

(1.7)

for all x U then

Theorem 2.1 Let F : U V be a mapping for


which there exists a function : U 2 (0, ]
with the condition

h(2 x ) = 8h( x)

lim

(1.8)

(2.1)

for all x U such that h is cubic.


Remark 1.3 [3] If f : U V be a mapping
satisfying (1.3) and let g , h : U V be a
mapping defined in (1.5) and (1.8) then

1
f ( x) = (h( x) g ( x))
6

with i 2 if i 0 and i 12 if i 1 such that


the functional inequality
F ( x , y ) ( x, y )

(2.2)
(1.9)

for all x U .
Now, we present the following theorem due to
B. Margolis and J.B. Diaz [12] for fixed point
theory.
Theorem 1.4. [12] Suppose that for a complete
generalized metric space , d and a strictly
contractive mapping T : with Lipschitz
constant L . Then, for each given x , either
d T n x, T n 1 x

1
in x, in y 0
in

for all n 0 ,

for all x, y U . If there exists L L i 1 such


that the function
x
x x ,
2

has the property


x

(2.3)
Then there exists a unique additive mapping
A : U V satisfying (1.3) and
f (2 x) 8 f ( x) A( x )

or there exists a natural number n0 such that


i) d T n x, T n 1 x for all n n0 ;

L
i x
i

Li 1
x
1 L

(2.4)
for all x U .

ii) The sequence T n x is convergent to a fixed


to a fixed point y* of T

y : d T n0 x, y ;

iv) d y , y *

1
d y , Ty
1 L

Consider

the
set
and introduce the

p p : U V , p 0 0

iii) y* is the unique fixed point of T in the set

Proof:

generalized metric on ,

d g , h inf K 0, p x q x K x , x U

for all y .

The generalized Ulam-Hyers stability using


fixed method for additive, cubic and mixed
cases are discussed in Section 2,3 and 4,
respectively.
Through out this paper, let U be a vector
space and V Banach space. Define a mapping
F : U V by
F ( x, y ) f (2 x y ) f (2 x y )
4[ f ( x y ) f ( x y )] 6 f ( y )

for all x, y U .

Integrated Intelligent Research (IIR)

It is easy to see that ,d is complete. Define


T :

by

Tp x

1
p i x for all x U .
i

Now for all p, q ,


d p , q K p x q x K x , x U ,

1
1
1
p i x
q i x K i x , x U ,
i
i

1
1
p i x
q i x LK x , x U ,
i
i

T p x T q x LK x , x U ,
d Tp , Tq LK .

This gives d Tp,Tq Ld p, q , for all p, q ,


i.e., T is a strictly contractive mapping of ,

1061

Volume: 03, June 2014, Pages: 1060-1066

International Journal of Computing Algorithm


ISSN: 2278-2397

with Lipschitz constant L . Letting ( x, y ) by


( x, x) in (2.2), we obtain

x
x
g ( x) 2 g
2
2

(2.13)

f (3x) 4 f (2 x) 5 f ( x) ( x, x)

(2.5)

for all x U . Replacing ( x, y ) by ( x,2 x) in


(2.2), we get

f (4 x) 4 f (3 x) 6 f (2 x) 4 f ( x) ( x,2 x)

for all x U . Using (2.3) for the case i 1 , it


reduces to
x
g ( x) 2 g ( x)
2

for all x U ,

i.e., d g ,Tg 1 d g ,Tg 1 L0 .


(2.6)

From above two cases, we arrive

for all x U . Now, from (2.5) and (2.6), we


have

d g , Tg L1i .

Now from the fixed point alternative in both


cases, it follows that there exists a fixed point
A of T in such that

f (4 x) 10 f (2 x) 16 f ( x)
4 f (3 x) 4 f (2 x) 5 f ( x)
f (4 x) 4 f (3 x) 6 f (2 x) 4 f ( x )
4 ( x, x) ( x, 2 x)

A( x ) lim

(2.14)

(2.7)

for all x U . To prove A : U V is additive.


Putting x, y by in x, in y in (2.2) and divide

for all x U . From (2.7), we arrive

f (4 x) 10 f (2 x) 16 f ( x) ( x)

(2.8)

where

( x) = 4 ( x, x) ( x,2 x)

(2.9)

f (4 x) 8 f (2 x) 2( f (2 x) 8 f ( x)) ( x)
(2.10)
for all x U . Using (1.5) in (2.10), we
obtain

g (2 x) 2 g ( x) ( x)

by in . It follows from (2.1) that


A x, y lim

for all x U . It is easy to see from (2.8) that

(2.11)

for all x U . From (2.11), we arrive


g (2 x )
( x)
g ( x)
2
2

d f , A

x
2

Integrated Intelligent Research (IIR)

in x, in y

in

1
d f , Tf
1 L

this implies
L1i
d f , Tf
1 L

which yields

Again replacing x , in (2.11), we get

lim

for all x U and K 0 . Again using the fixed


point alternative, we obtain

for all x U . Using (2.3) for the case i 0 , it


reduces to

i.e., d g ,Tg L d g ,Tg L L1 .

n
i

f (2 x) 8 f ( x) A( x ) K x

d f , A

for all x U

F in x, in y

for all x, y U , i.e., A satisfies (1.3).


According to the alternative fixed point, since
A is the unique fixed point of T in the set
A : d f , A , A is the unique function
such that

(2.12)

g (2 x )
g ( x) L ( x)
2

1
f ( in 1 x) 8 f (in x)
in

f (2 x) 8 f ( x) A( x )

L1i
x
1 L

this completes the proof of the theorem.


The following Corollary is an immediate
consequence of Theorem 2.1 concerning the
stability of (1.3).

1062

Volume: 03, June 2014, Pages: 1060-1066

International Journal of Computing Algorithm


ISSN: 2278-2397

Corollary 4.2 Let F : U V be a mapping and


there exists real numbers and s such that

Thus

s
s
x y ,

F ( x, y )
s
s
x y ,

x s y s x

s 1;

1
s ;
2
1
, s ;
2

2s

2s

(2.15)
for all x, y U then there exists a unique
additive function A : U V
such that
5,

s
s
9 2 x
,

s
2 2

s
f (2x) 8 f ( x) A(x) 4 2s x
,

2s
22

s
s
2s
14 2 2 x
,

2 22s

2s

2s

for all x, y U . Now,

2s

has

we

the

have

property

for all x U . Hence

i 1 5 ,

s 1
s 1 9 2
s
i 2 s || x || ,

s 1 4 2 s
2s
i 2 2 s || x || ,

14 2 s 2 2 s
2s
is 1
|| x || ,
22 s

n
i
s
s

n x in y ,
in x, in y in i

in
nx s n y s ,
i
in i

n x s n y s nx
i
i
n i
i

But

5,

s1
9 2 || x ||s,

s
2
x
x x x
x 4 , , x, 4 2s 2s
2
2 2 2 2s || x || ,
2

14 2s 22s
2s

|| x || .
2s
2

Proof: Setting

holds.

5
,
i
9 2 s 1
s

|| i x || ,
s

i
1
i x
s
i
4 2 || x ||2 s ,
i
i 2 2 s

14 2 s 2 2 s
2s

|| i x || ,
2s

for all x U .

is

x
x x
2
L
x
i x ,
i

Now

(2.16)

s
s
x y ,

x, y, z
s
s
x y ,

s
s
x y x

(2.1)

in y

2s

i 1 ( x ),

s 1 ( x ),
i

4 s 1
i ( x ),

4 s 1
i ( x ),

for all x U . Hence the (2.3) holds either,

as n ,

L 2 s 1

as n ,

if i 1 .

as n ,

Now from (2.4), we prove the following cases


for (ii).

as n .

Case: 1 L 2s 1 for s 1 if i 0 .

Integrated Intelligent Research (IIR)

for s 1 if i 0 and L

1
2 s 1

for s 1

1063

Volume: 03, June 2014, Pages: 1060-1066


s 1 1 0

f (2 x ) 8 f ( x) A( x)

2
1 2

s 1

9 2 s 1
s

|| x ||
s
2

2
s

9 2 s 1
s

|| x ||
2 2 2s
s 1

2 2s

Case: 2

1
s 1 9 2 s 1
2
s
f (2 x ) 8 f ( x) A( x)
|| x ||
s
1

1 s 1 2
2
2 s 9 2 s 1

s
s

|| x ||
2 2 2s

9 2 || x ||

s 1

2s 2

In similar manner we can prove the following


cases
if i 0 ,

L 2 4 s 1

if i 1 ,

24 s 1

for s 1 if

i 1,

f (2 x) 2 f ( x) C ( x)

if i 0 and L

s
s
x y ,

s
s
F ( x, y )
x y ,

x s y s x

s 3;

2
s ;
3
2
s ;
3

2s

2s

24 s 1

for all x, y U , then there exists a unique


cubic function C : U V such that
5
7 ,

s
9 2 s 1 x

,
s
82

2s
f (2 x) 8 f ( x) A( x )
4 22s x

8 22s

14 2 s 22 s x

8 22s

for s 1 if

The proof of the following theorem and


corollary is similar to that of Theorem 2.1 and
Corollary 2.2. Hence the details of the proof is
omitted.
3. STABILITY RESULTS FIXED POINT
METHOD: CUBIC CASE
Theorem 3.1 Let F : U V be a mapping for
which there exist a function : U 2 (0, ]
with the condition
1
( in x, in y ) 0
i3n

with i 2 if i 0 and

(3.4)

Corollary 3.2: Let F : U V be a mapping and


there exists real numbers and s such that

for (i), (ii) and (iii) respectively. Hence the


proof is complete.

Li 1
x
1 L

for all x U .

i 1

lim

(3.3)

(3.5)
1

for s 1 if i 0 , L

L 2 4 s 1 for s 1

L
i x .
i3

L2

Then there exists a unique cubic mapping


C : U V satisfying (1.3) and

for s 1 if i 1 .

1
L 1
2

has the property

11

x
x x ,
2

9 2 || x ||

1
L s 1
2

International Journal of Computing Algorithm


ISSN: 2278-2397

(3.1)
1
i
2

if i 1 such that

(3.6)
for all x U .
4. STABILITY RESULTS FIXED POINT
METHOD: MIXED CASE
Theorem 4.1 Let F : U V be a mapping for
which there exist a function : U 2 (0, ]
with conditions (3.1) and (4.1) where i 2 if
i 0 and i

1
2

if i 1 such that the functional

F ( x , y ) ( x, y )

(4.1)

(3.2)

for all x, y U . If there exists L L i 1 such


that the function

Integrated Intelligent Research (IIR)

inequality

the functional inequality


F ( x , y ) ( x, y )

2s

for all x, y, z, w U . If there exists L L i 1


such that the function

1064

Volume: 03, June 2014, Pages: 1060-1066

International Journal of Computing Algorithm


ISSN: 2278-2397

x
x x ,
2

for all x, y U , then there exists a unique


additive mapping A : U V and unique cubic
mapping C : U V such that

has the (3.3) and (4.3), then there exists a


unique additive mapping A : U V and a
unique cubic mapping C : U V satisfying
(1.3) and
f ( x) A( x ) C ( x )

1 Li 1
x
31 L

(4.2)

for all x U .
Proof: By Theorems 3.1 and 4.1, there exists a
unique additive function A1 : U V and a
unique cubic function C1 : U V such that
f (2 x) 8 f ( x ) A1 ( x)

Li 1
x
1 L

(4.3)

5 7 ,

9 2s 1
1
s

x ,

s
8 2 s
3 2 2

4 22 s 1
1
2s

x ,

2
s
2
s

22

3
7
8

14 2 s 22 s

1
1

2
s
2
s

22
3
7 8 2

2s

(4.5)
for all x U .

and
f (2 x ) 2 f ( x ) C1 ( x )

Li 1
x
1 L

(4.4)

for all x U . Now from (4.3) and (4.4), one


can see that
1
1
f (2x) 8f (x) A1(x) f (2x) 2f (x) C1(x)
f (x) A1(x) C1(x)

6
6
6
6 6
6
6
6
1
f (2 x) 8 f ( x) A1 ( x) f (2 x) 8 f ( x) A1 ( x)
6

1 Li 1
Li 1

x
x
6 1 L
1 L

for all x U . Thus we obtain (4.2) by defining


A1 ( x, x )
x U

f ( x) A( x) C ( x)

1
A( x, x)
6

1
6

and C1 ( x, x ) C ( x, x) for all

The following corollary is the immediate


consequence of Theorem 4.6, using
Corollaries 4.3 and 4.5 concerning the stability
of (I.8).
Corollary 4.2 Let F : U V be a mapping and
there exists real numbers and s such that
,

s
s
x y , s 1, 3;

1 3
F ( x, y)
s
s
x y , s , ;

2 2

x s y s x 2 s y 2 s

(4.4)

1 3
s , ;
2 2

REFERENCES

[1] J. Aczel and J. Dhombres, Functional


Equations in Several Variables, Cambridge
Univ, Press, 1989.
[2] T. Aoki, On the stability of the linear
transformation in Banach spaces, J. Math. Soc.
Japan, 2 (1950), 64-66.
[3] M.
Arunkumar,
P.
Agilan,
S.
Ramamoorthi, Perturbation of AC-mixed type
functional equation, Proceedings of National
conference on Recent Trends in Mathematics
and Computing (NCRTMC-2013), 7-14, ISBN
978-93-82338-68-0.
[4] S. Czerwik, Functional Equations and
Inequalities in Several Variables, World
Scientific, River Edge, NJ, 2002.
[5] P. Gavruta, A generalization of the HyersUlam-Rassias stability of approximately
additive mappings, J. Math. Anal. Appl., 184
(1994), 431-436.
[6] M. Eshaghi Gordji, H. Khodaie, Solution
and stability of generalized mixed type cubic,
quadratic and additive functional equation in
quasi- Banach spaces, arxiv: 0812. 2939v1
Math FA, 15 Dec 2008.
[7] M. Eshaghi Gordji, H. Khodaei, J.M.
Rassias, Fixed point methods for the stability
of general quadratic functional equation, Fixed
Point Theory 12 (2011), 1, 71-82.
[8] D.H. Hyers, On the stability of the linear
functional equation, Proc.Nat. Acad.Sci.,
U.S.A.,27 (1941) 222-224.

Integrated Intelligent Research (IIR)

1065

Volume: 03, June 2014, Pages: 1060-1066

International Journal of Computing Algorithm


ISSN: 2278-2397

[9] D.H. Hyers, G. Isac, Th.M. Rassias,


Stability of functional equations in several
variables,Birkhauser, Basel, 1998.
[10] S.M. Jung, Hyers-Ulam-Rassias Stability
of Functional Equations in Mathematical
Analysis, Hadronic Press, Palm Harbor, 2001.
[11] Pl. Kannappan, Functional Equations and
Inequalities with Applications, Springer
Monographs in Mathematics, 2009.
[12] B.Margoils, J.B.Diaz, A fixed point
theorem of the alternative for contractions on a
generalized complete metric space, Bull.Amer.
Math. Soc. 126 74 (1968), 305-309.
[13] J.M. Rassias, On approximately of
approximately linear mappings by linear
mappings, J. Funct. Anal. USA, 46, (1982)
126-130.
[14] J.M. Rassias, K.Ravi, M.Arunkumar and
B.V.Senthil Kumar, Ulam Stability of Mixed
type Cubic and Additive functional equation,
Functional Ulam Notions (F.U.N) Nova
Science Publishers, 2010, Chapter 13, 149 175.
[15] Th.M. Rassias, On the stability of the
linear
mapping
in
Banach
spaces,
Proc.Amer.Math. Soc., 72 (1978), 297-300.
[16] Th.M. Rassias, Functional Equations,
Inequalities and Applications, Kluwer
Acedamic Publishers, Dordrecht, Bostan
London, 2003.
[17] K. Ravi, M. Arunkumar and J.M. Rassias,
On the Ulam stability for the orthogonally
general Euler-Lagrange type functional
equation,
International
Journal
of
Mathematical Sciences, Autumn 2008 Vol.3,
08, 36-47.
[18] S.M. Jung, J.M. Rassias, A fixed point
approach to the stability of a functional
equation of the spiral of Theodorus, Fixed
Point Theory Appl. 2008, Art. ID 945010, 7
pp.
[19] S.M. Ulam, Problems in Modern
Mathematics,
Science
Editions,Wiley,
NewYork, 1964.

Integrated Intelligent Research (IIR)

1066