• Nem Talált Eredményt

JJ II

N/A
N/A
Protected

Academic year: 2022

Ossza meg "JJ II"

Copied!
24
0
0

Teljes szövegt

(1)

volume 7, issue 5, article 181, 2006.

Received 01 May, 2006;

accepted 02 August, 2006.

Communicated by:K. Nikodem

Abstract Contents

JJ II

J I

Home Page Go Back

Close Quit

Journal of Inequalities in Pure and Applied Mathematics

STABILITY OF THE GENERALIZED SINE FUNCTIONAL EQUATIONS, II

GWANG HUI KIM

Department of Mathematics Kangnam University Suwon 449-702, Korea EMail:ghkim@kangnam.ac.kr

c

2000Victoria University ISSN (electronic): 1443-5756 127-06

(2)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page2of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

Abstract

The aim of this paper is to study the stability problem of the generalized sine functional equations as follows:

g(x)f(y) =f x+y

2 2

−f

x+σy 2

2

, f(x)g(y) =f

x+y 2

2

−f

x+σy 2

2

, g(x)g(y) =f

x+y 2

2

−f

x+σy 2

2

.

2000 Mathematics Subject Classification:39B82, 39B62, 39B52.

Key words: Stability, Superstability, Functional equation, Functional equality, Sine functional equation.

This work was supported by the Kangnam University research grant, 2005.

Contents

1 Introduction. . . 3

2 Stability of the Equation (S˜gf). . . 6

3 Stability of the Equation (S˜f g). . . 14

4 Stability of the Equation (S˜gg). . . 18

5 Applications to Banach Algebra . . . 20 References

(3)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page3of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

1. Introduction

The stability problem of functional equations was raised by S. M. Ulam [11].

Most research follows the Hyers-Ulam stability method which is to construct convergent sequences using an iteration process. In 1979, J. Baker, J. Lawrence and F. Zorzitto in [4] postulated that iffsatisfies the stability inequality|E1(f)−

E2(f)| ≤ε, then eitherf is bounded orE1(f) =E2(f). This is now frequently referred to as Superstability. Baker [3] showed the superstability of the cosine functional equationf(x+y) +f(x−y) = 2f(x)f(y)which is also called the d’Alembert functional equation. The stability of the generalized cosine func- tional equation has been investigated in many papers ([1], [2], [3], [8], [9]).

The superstability of the generalised sine functional equation (S) f(x)f(y) = f

x+y 2

2

−f

x−y 2

2

,

has recently been investigated by Cholewa [5], and by Badora and Ger [2].

In this paper, we will introduce the generalized functional equations of the sine equation (S) as follows :

g(x)f(y) = f

x+y 2

2

−f

x+σy 2

2

, (S˜gf)

f(x)g(y) = f

x+y 2

2

−f

x+σy 2

2

, (S˜f g)

g(x)g(y) = f

x+y 2

2

−f

x+σy 2

2

. (S˜gg)

(4)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page4of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

For the caseg =f, they imply (S)˜ f(x)f(y) = f

x+y 2

2

−f

x+σy 2

2

.

Considering the particular caseσ(y) = −yin the above functional equations, they imply the following functional equations: (S),

g(x)f(y) = f

x+y 2

2

−f

x−y 2

2

, (Sgf)

f(x)g(y) = f

x+y 2

2

−f

x−y 2

2

, (Sf g)

g(x)g(y) = f

x+y 2

2

−f

x−y 2

2

. (Sgg)

Given mappings f, g : G → C, we define a difference operator DS˜gf : G×G→Cas

DS˜gf(x, y) :=g(x)f(y)−f

x+y 2

2

+f

x+σy 2

2

.

The aim of this paper is to investigate the stability for the generalized sine functional equations (S˜gf), (S˜f g), (S˜gg) under the conditions|DS˜gf(x, y)| ≤ε,

|DS˜f g(x, y)| ≤ ε, and|DS˜gg(x, y)| ≤ ε. From the obtained results, we obtain naturally the stability for the equations (S), (S), (S˜ gf), (Sf g), (Sgg) as corollaries, which can be found in the paper [10].

(5)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page5of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

In this paper, let(G,+)be a uniquely 2-divisible Abelian group,Cthe field of complex numbers,Rthe field of real numbers, and letσbe an endomorphism of Gwith σ(σ(x)) = xfor all x ∈ Gwith a notation σ(x) = σx. The prop- ertiesg(x) = g(σx)andg(x) = −g(σx)with respect toσ will be represented respectively, as even and odd functions for convenience.

We may assume thatfandgare nonzero functions andεis a nonnegative real constant. If all the results of this article are given by the Kannappan condition f(x+y+z) = f(x+z +y) in [7], we will obtain the same results for the semigroup(G,+).

(6)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page6of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

2. Stability of the Equation ( S ˜

gf

)

We will investigate the stability of the generalized functional equation (S˜gf) of the sine functional equation (S). From the results we obtain the stability of the functional equations (S), (S), (S˜ gf).

Theorem 2.1. Suppose thatf, g :G→Csatisfy the inequality

(2.1)

g(x)f(y)−f

x+y 2

2

+f

x+σy 2

2

≤ε ∀x, y ∈G.

Then eitherg is bounded orf andg are solutions of the functional equation (S).˜

Proof. Let g be unbounded. Then we can choose a sequence{xn}in G such that

(2.2) 06=|g(2xn)| → ∞, as n→ ∞.

Inequality (2.1) may equivalently be written as

(2.3) |g(2x)f(2y)−f(x+y)2+f(x+σy)2| ≤ε ∀x, y ∈G.

Takingx=xnin (2.3) we obtain

f(2y)− f(xn+y)2 −f(xn+σy)2 g(2xn)

≤ ε

|g(2xn)|,

(7)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page7of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

that is, using (2.2) (2.4) f(2y) = lim

n→∞

f(xn+y)2−f(xn+σy)2

g(2xn) ∀y∈G.

Using (2.1) we have 2ε≥

g(2xn+x)f(y)−f

xn+ x+y 2

2

+f

xn+ x+σy 2

2

+

g(2xn+σx)f(y)−f

xn+ σx+y 2

2

+f

xn+σ(x+y) 2

2

≥ |(g(2xn+x) +g(2xn+σx))f(y)

− f

xn+ x+y 2

2

−f

xn+σ(x+y) 2

2!

+ f

xn+x+σy 2

2

−f

xn+σ(x+σy) 2

2!

for allx, y ∈Gand everyn ∈N. Consequently, 2ε

|g(2xn)| ≥

g(2xn+x) +g(2xn+σx) g(2xn) f(y)

f xn+ x+y2 2

−f

xn+ σ(x+y)2 2

g(2xn)

(8)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page8of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

+

f xn+ x+σy2 2

−f

xn+σ(x+σy)2 2

g(2xn)

for allx, y ∈ Gand everyn ∈N. Taking the limit asn −→ ∞with the use of (2.2) and (2.4), we conclude that, for everyx∈G, there exists the limit

h(x) := lim

n→∞

g(2xn+x) +g(2xn+σx) g(2xn) , where the functionh:G→Csatisfies the equation

(2.5) h(x)f(y) =f(x+y)−f(x+σy) ∀x, y ∈G.

From the definition ofh, we get the equalityh(0) = 2, which jointly with (2.5) implies that f is an odd function w.r.t. σ, namely, f(y) = −f(σy). Keeping this in mind, by means of (2.5), we infer the equality

f(x+y)2 −f(x+σy)2 = [f(x+y) +f(x+σy)][f(x+y)−f(x+σy)]

= [f(x+y) +f(x+σy)]h(x)f(y)

=

f(2x+y) +f(2x+σy) f(y)

=

f(y+ 2x)−f(y+σ(2x)) f(y)

=h(y)f(2x)f(y).

The oddness off forcesf(x+σx) = 0for allx ∈ G. Puttingx = yin (2.5) we conclude with the above result that

f(2y) =f(y)h(y) ∀y ∈G.

(9)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page9of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

This, in turn, leads to the equation

(2.6) f(x+y)2−f(x+σy)2 =f(2x)f(2y) ∀x, y ∈G, which, in the light of the unique 2-divisibility ofG, gives (S).˜

Next, by showing thatg =f, we will prove thatg is also a solution of (S).˜ Iff is bounded, choosey0 ∈ Gsuch thatf(2y0) 6= 0, and then by (2.3) we obtain

|g(2x)| −

f(x+y0)2−f(x+σy0)2 f(2y0)

f(x+y0)2−f(x+σy0)2

f(2y0) −g(2x)

≤ ε

|f(2y0)|

and it follows thatg is also bounded onG.

Since the unbounded assumption ofg implies thatf is also unbounded, we can choose a sequence{yn}such that06=|f(2yn)| → ∞asn→ ∞.

A slight change applied after equation (2.2) gives us g(2x) = lim

n→∞

f(x+yn)2−f(x+σyn)2

f(2yn) ∀x∈G.

Since we have shown that f satisfies (2.6) whenever g is unbounded, the above limit equation is represented as

g(2x) = f(2x) ∀x∈G.

By the 2-divisibility of groupG, we obtainf =g. Therefore we have shown thatgalso satisfies (S).˜

(10)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page10of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

Theorem 2.2. Suppose thatf, g :G→Csatisfy the inequality

(2.7)

g(x)f(y)−f

x+y 2

2

+f

x+σy 2

2

≤ε,

which satisfies one of three cases g(0) = 0, g(x) = −g(σx), f(x)2 =f(σx)2 for allx, y ∈G. Then eitherf is bounded orgsatisfies (S).˜

Proof. We use an equivalent equation of (2.7)

(2.8) |g(2x)f(2y)−f(x+y)2+f(x+σy)2| ≤ε ∀x, y ∈G.

Letf be unbounded. Then we can choose a sequence{yn}inGsuch that

(2.9) 06=|f(2yn)| → ∞, as n→ ∞.

Takingy=ynin (2.8) we obtain

g(2x)− f(x+yn)2−f(x+σyn)2 f(2yn)

≤ ε

|f(2yn)|, for allx∈Gand alln ∈N. This with (2.9) implies that

(2.10) g(2x) = lim

n→∞

f(x+yn)2−f(x+σyn)2

f(2yn) for all x∈G.

An obvious slight change in the steps of the proof applied after formula (2.4) of Theorem2.1allows one to state the existence of a limit function

h2(y) := lim

n→∞

f(y+ 2yn) +f(σy+ 2yn) f(2yn) ,

(11)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page11of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

whereh2 :G→Csatisfies the equation

(2.11) g(x)h2(y) = g(x+y) +g(x+σy) ∀x, y ∈G.

From the definition ofh2, we have the equalityh2(y) = h2(σy). Clearly, this applies also to the function˜h2 := 12h2. Moreover,h˜2(0) = 12h2(0) = 1and (2.12) g(x+y) +g(x+σy) = 2g(x)˜h2(y) ∀x, y ∈G.

Under (2.12), we know that

(2.13) g(0) = 0 =⇒g(x) = −g(σx) =⇒g(x+σx) = 0 =⇒g(0) = 0.

Puttingy=xin (2.12), we get by (2.13) a duplication formula g(2x) = 2g(x)˜h2(x).

Using the oddness and duplication of g, we obtain, by means of (2.12), the equation

g(x+y)2 −g(x+σy)2 = (g(x+y) +g(x+σy)(g(x+y)−g(x+σy)

= 2g(x)˜h2(y)[g(x+y)−g(x+σy)]

=g(x)[g(x+ 2y)−g(x+ 2σy)]

=g(x)[g(x+ 2y) +g(σx+ 2y)]

= 2g(x)g(2y)˜h2(x) =g(2x)g(2y),

which holds true for allx, y ∈G, and, in the light of the unique 2-divisibility of G, gives (S).˜

(12)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page12of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

In the last case f(x)2 = f(σx)2, the proof is completed by showing that g(0) = 0. Suppose that this is not the case. Then in what follows, without loss of generality, we may assume that g(0) = 1 (replacing, if necessary, the functiongbyg/g(0)andf byf /g(0)).

Puttingx = 0in (2.8) with a given condition and the 2-divisibility of group G, we obtain the inequality

|f(y)| ≤ε ∀y∈G.

This inequality means that f is globally bounded – a contradiction. Thus the claimg(0) = 0holds, so the proof of the theorem is completed.

By puttingσx = −x in Theorems 2.1 and 2.2 respectively, we obtain the following corollaries, respectively.

Corollary 2.3 ([10]). Suppose thatf, g:G→Csatisfy the inequality

g(x)f(y)−f

x+y 2

2

+f

x−y 2

2

≤ε

for all x, y ∈ G. Then either g is bounded or f and g are solutions of the equation (S).

Corollary 2.4 ([10]). Suppose thatf, g:G→Csatisfy the inequality

g(x)f(y)−f

x+y 2

2

+f

x−y 2

2

≤ε,

which satisfies one of three casesg(0) = 0, g(−x) = −g(x), f(x)2 =f(−x)2 for allx, y ∈G. Then eitherf is bounded orgsatisfies (S).

(13)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page13of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

Corollary 2.5. Suppose thatf :G→Csatisfies the inequality

f(x)f(y)−f

x+y 2

2

+f

x+σy 2

2

≤ε ∀x, y ∈G.

Then eitherf is bounded orf is a solution of the equation (S).˜ Corollary 2.6 ([5]). Suppose thatf :G→Csatisfies the inequality

f(x)f(y)−f

x+y 2

2

+f

x−y 2

2

≤ε ∀x, y ∈G.

Then eitherf is bounded orf is a solution of the equation (S).

(14)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page14of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

3. Stability of the Equation ( S ˜

f g

)

We will investigate the stability of the generalized functional equation (S˜f g) for the sine functional equation (S). The obtained results imply the stability for the functional equations (S), (S), (S˜ f g).

Theorem 3.1. Suppose thatf, g :G→Csatisfy the inequality

(3.1)

f(x)g(y)−f

x+y 2

2

+f

x+σy 2

2

≤ε ∀x, y ∈G.

Then eitherf is bounded orgsatisfies (S).˜

Proof. Letf be an unbounded solution of the stability inequality (3.1). Then, there exists a sequence{xn}inGsuch that06=|f(2xn)| → ∞asn → ∞.

Puttingx = 2x, y = 2y in inequality (3.1), taking x = xn in the obtained inequality, dividing both sides by |f(2xn)|and taking the limit asn → ∞we obtain that

(3.2) g(2y) = lim

n→∞

f(xn+y)2−f(xn+σy)2

f(2xn) ∀y∈G.

An obvious slight change in the steps of the proof applied after (2.4) of Theorem2.1in the stability inequality (3.1) allows, with an application of (3.2), us to state the existence of a limit function

h3(x) := lim

n→∞

f(2xn+x) +f(2xn+σx) f(2xn) ,

(15)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page15of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

where the functionh3 :G→Csatisfies the equation

(3.3) h3(x)g(y) = g(x+y)−g(x+σy) ∀x, y ∈G.

From the definition of h3, we obtain the equality h3(0) = 2, which with (3.3) implies thatg is odd, i.e.,g(y) = −g(σy). The oddness ofg implies that g(x+σx) = 0for allx ∈ G. Keeping this in mind and puttingx =yin (3.3) we conclude that

g(2y) = g(y)h3(y) for all x, y ∈G.

Keeping all of these in mind, and by means of (3.3), if we make a slight change of the calculations applied after formula (2.5) of Theorem2.1, we con- clude that the equation

g(x+y)2−g(x+σy)2 =g(2x)g(2y)

is valid for allx, y ∈ Gwhich, in the light of the unique 2-divisibility ofG,g gives (S).˜

Theorem 3.2. Suppose thatf, g :G→Csatisfy the inequality

(3.4)

f(x)g(y)−f

x+y 2

2

+f

x+σy 2

2

≤ε,

which satisfies one of the three cases f(0) = 0, f(x) = −f(σx), f(x)2 = f(σx)2 for allx, y ∈G. Then eitherg is bounded orf satisfies (S).˜

(16)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page16of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

Proof. For an unbounded solutiongof the stability inequality (3.4), there exists a sequence{yn}inGsuch that06=|g(2yn)| → ∞asn→ ∞.

Following a slight modification in the steps of the proof applied after formula (2.9), we may state the existence of a limit function

h4(y) := lim

n→∞

g(y+ 2yn) +g(σy+ 2yn) g(2yn) , whereh4 :G→Csatisfies the equation

f(x)h4(y) = f(x+y) +f(x+σy) ∀x, y ∈G.

Using similar proof steps applied after formula (2.11) in Theorem 2.2, we then arrive at the desired result.

Considering the caseσ(x) =−xin Theorem3.1and Theorem3.2, we have the following corollaries.

Corollary 3.3 ([10]). Suppose thatf, g:G→Csatisfy the inequality

f(x)g(y)−f

x+y 2

2

+f

x−y 2

2

≤ε ∀x, y ∈G.

Then eitherf is bounded orgsatisfies (S).

Corollary 3.4 ([10]). Suppose thatf, g:G→Csatisfy the inequality

f(x)g(y)−f

x+y 2

2

+f

x−y 2

2

≤ε,

(17)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page17of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

which satisfies one of the three cases f(0) = 0, f(x) = −f(−x), f(x)2 = f(−x)2for allx, y ∈G. Then eitherg is bounded orf satisfies (S).

Remark 1. Applying g = f in Theorem 3.1 and Theorem 3.2, Corollary 3.3 and Corollary3.4, we obtain Corollary2.5and Corollary2.6.

(18)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page18of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

4. Stability of the Equation ( S ˜

gg

)

We will investigate the stability of the generalized functional equation (S˜gg) of the sine functional equation (S).

Theorem 4.1. Suppose thatf, g :G→Csatisfy the inequality

(4.1)

g(x)g(y)−f

x+y 2

2

+f

x+σy 2

2

≤ε ∀x, y ∈G.

Then eitherg is bounded org satisfies (S).˜

Proof. Let g be an unbounded solution of the stability inequality (4.1). Then, there exists a sequence{xn}inGsuch that the relationship (2.2) holds true.

Puttingx = 2x, y = 2y in inequality (4.1), taking x = xn, dividing both sides by|g(2xn)|and taking the limit asn → ∞, we obtain that

(4.2) g(2y) = lim

n→∞

f(xn+y)2−f(xn+σy)2 g(2xn)

for allx∈G.

A slight change in the steps of the proof applied after formula (2.4) in the stability inequalities (4.1) and (4.2), allows one to state the existence of a limit function

h5(x) := lim

n→∞

g(2xn+x) +g(2xn+σx) g(2xn) ,

(19)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page19of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

where the functionh5 :G→Csatisfies the equation

(4.3) h5(x)g(y) = g(x+y)−g(x+σy) ∀x, y ∈G.

From the definition of h5, we obtain the equalityh5(0) = 2, which with (4.3) implies thatg(y) = −g(σy). Keeping this in mind, by means of (4.3), a slight modification applied in the proof after formula (2.5) of Theorem 2.1, gives us the equation

g(x+y)2−g(x+σy)2 =g(2x)g(2y)

valid for allx, y ∈Gwhich, in the light of the unique 2-divisibility ofG, implies (S).˜

By puttingσx=−xorg =fin Theorem4.1we obtain the following corol- lary and the above Corollary2.5and Corollary2.6as Remark1, respectively.

Corollary 4.2 ([10]). Suppose thatf, g:G→Csatisfy the inequality

g(x)g(y)−f

x+y 2

2

+f

x−y 2

2

≤ε ∀x, y ∈G.

Then eitherg is bounded org satisfies (S).

(20)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page20of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

5. Applications to Banach Algebra

The stability results in Sections 2to4can be extended to Banach algebra. For simplicity, we will combine them according to the following theorems.

Theorem 5.1. Let (E,k · k) be a semisimple commutative Banach algebra.

Assume thatf, g :G→E satisfy the inequality

g(x)f(y)−f

x+y 2

2

+f

x+σy 2

2

≤ε ∀x, y ∈G.

For an arbitrary linear multiplicative functionalx ∈E,

(i) either the superpositionx◦g is bounded orf andg are solutions of the equation (S),˜

(ii) either the superpositionx◦fis bounded or (S) for˜ gprovides us with one of the following casesg(0) = 0, g(x) = −g(σx)orf(x)2 =f(σx)2. Proof. The proofs of each case are very similar, so it suffices to show the proof of case (i). Assume that (i) holds and fix an arbitrarily linear multiplicative functional x ∈ E. As is well known we have kxk = 1whence, for every x, y ∈G, we have

ε≥

g(x)f(y)−f

x+y 2

2

+f

x+σy 2

2

= sup

kyk=1

y g(x)f(y)−f

x+y 2

2

+f

x+σy 2

2!

(21)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page21of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

x(g(x))·x(f(y))−x f

x+y 2

2!

+x f

x+σy 2

2! , which states that the superpositionsx◦gandx◦f yield a solution of the sta- bility inequality (2.1) of Theorem2.1. Since, by assumption, the superposition x ◦g is unbounded, an appeal to Theorem 2.1 shows that the superpositions x ◦gandx◦f solve the generalized sine equation (S), respectively. In other˜ words, bearing the linear multiplicativity of x in mind, for all x, y ∈ G, the generalized sine differenceS(x, y)˜ for the functionsf org falls into the kernel ofx, respectively. Therefore, in view of the unrestricted choice ofx, we infer that

S(x, y)˜ ∈\

{kerx :x is a multiplicative member ofE}

for all x, y ∈ G. Since the algebra E has been assumed to be semisimple, the last term of the above formula coincides with the singleton{0}, i.e.

f(x)f(y)−f

x+y 2

2

+f

x+σy 2

2

= 0 ∀x, y ∈G,

as claimed, also this is true forg. Case (ii) is similar.

Since the proofs of the following two theorems also use the same argument as Theorem5.1, we will omit their proofs for the sake of brevity.

Theorem 5.2. Let (E,k · k) be a semisimple commutative Banach algebra.

Assume thatf, g :G→E satisfy the inequality

f(x)g(y)−f

x+y 2

2

+f

x+σy 2

2

≤ε ∀x, y ∈G.

(22)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page22of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

For an arbitrary linear multiplicative functionalx ∈E,

(i) either the superpositionx◦f is bounded orgis a solution of the equation (S),˜

(ii) either the superpositionx◦gis bounded orfis a solution of the equation (S) under one of the cases˜ g(0) = 0, g(x) =−g(σx)orf(x)2 =f(σx)2. Theorem 5.3. Let (E,k · k) be a semisimple commutative Banach algebra.

Assume thatf, g :G→E satisfy the inequality

g(x)g(y)−f

x+y 2

2

+f

x+σy 2

2

≤ε ∀x, y ∈G.

For an arbitrary linear multiplicative functionalx ∈ E, either the super- positionx◦gis bounded org is a solution of the equation (S).˜

Remark 2. By applyingσx=−xorg =fin Theorem5.1to Theorem5.3, we can obtain the same number of corollaries in Section2to Section4.

(23)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page23of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

References

[1] R. BADORA, On the stability of cosine functional equation, Rocznik Naukowo-Dydak., Prace Mat., 15 (1998), 1–14.

[2] R. BADORA AND R. GER, On some trigonometric functional inequali- ties, Functional Equations- Results and Advances, (2002), 3–15.

[3] J.A. BAKER, The stability of the cosine equation, Proc. Amer. Math. Soc., 80 (1980), 411–416.

[4] J. BAKER, J. LAWRENCEANDF. ZORZITTO, The stability of the equa- tionf(x+y) = f(x)f(y), Proc. Amer. Math. Soc., 74 (1979), 242–246.

[5] P.W. CHOLEWA, The stability of the sine equation, Proc. Amer. Math.

Soc., 88 (1983), 631–634.

[6] P. de PLACE FRIIS, d’Alembert’s and Wilson’s equations on Lie groups, Aequationes Math., 67 (2004), 12–25.

[7] Pl. KANNAPPAN, The functional equationf(xy)+f(xy−1) = 2f(x)f(y) for groups, Proc. Amer. Math. Soc., 19 (1968), 69–74.

[8] Pl. KANNAPPANANDG.H. KIM, On the stability of the generalized co- sine functional equations, Annales Acadedmiae Paedagogicae Cracovien- sis - Studia mathematica, 1 (2001), 49–58.

[9] G.H. KIM, The Stability of the d’Alembert and Jensen type functional equations, Jour. Math. Anal & Appl., preprint (2006).

(24)

A Stability of the generalized sine functional equations, II

Gwang Hui Kim

Title Page Contents

JJ II

J I

Go Back Close

Quit Page24of24

J. Ineq. Pure and Appl. Math. 7(5) Art. 181, 2006

http://jipam.vu.edu.au

[10] G.H. KIM, A Stability of the generalized sine functional equations, to ap- pear.

[11] S.M. ULAM, Problems in Modern Mathematics, Chap. VI, Science ed.

Wiley, New York, 1964.

Hivatkozások

KAPCSOLÓDÓ DOKUMENTUMOK

Hyers [10] proved the stability of the linear functional equation for the case when the groups G 1 and G 2 are Banach spaces.. Aoki discussed the Hyers-Ulam stability theorem

Key words: Hyers-Ulam stability, Quadratic functional equation, Amenable semigroup, Morphism of semigroup.... Hyers-Ulam Stability Bouikhalene Belaid,

Since then, several mathematicians have been attracted to the results of Hyers and Rassias and investigated a number of stability problems of different functional equations... We

RASSIAS, On the Hyers- Ulam stability of approximately Pexider mappings, Math. ELQORACHI

RASSIAS, On the generalized Hyers-Ulam stability of the quadratic functional equation with a general involution, Nonlinear Funct.. ELQORACHI, Ulam-Gavrutˇa-Rassias stability of

Theorem 1.2 ([20]). Rassias stimulated several mathematicians working in the theory of functional equations to investigate this kind of stability for a variety of significant

Theorem 1.2 ([20]). Rassias stimulated several mathematicians working in the theory of functional equations to investigate this kind of stability for a variety of significant

CZERWIK, The stability of the quadratic functional equation, Stability of mappings of Hyers- Ulam type, Hadronic Press Collect.. CZERWIK, On the stability of the quadratic