Bulletin of Mathematical Analysis and Applications ISSN: 1821-1291, URL:

advertisement
Bulletin of Mathematical Analysis and Applications
ISSN: 1821-1291, URL: http://www.bmathaa.org
Volume 2 Issue 2(2010), Pages 84-92.
GENERALIZED HYERS-ULAM STABILITY OF A 2-VARIABLE
RECIPROCAL FUNCTIONAL EQUATION
K. RAVI, J.M. RASSIAS AND B.V. SENTHIL KUMAR
Abstract. In this paper, we obtain the general solution and generalized
Hyers-Ulam stability of 2-variable reciprocal functional equation
𝐹 (π‘₯ + 𝑒, 𝑦 + 𝑣) =
𝐹 (π‘₯, 𝑦)𝐹 (𝑒, 𝑣)
.
𝐹 (π‘₯, 𝑦) + 𝐹 (𝑒, 𝑣)
1. Introduction
In 1940, S.M. Ulam [8], while he was giving a talk before the Mathematics
Club of Wisconsin, he listed a number of important unsolved problems. One of the
problem is the stability of functional equation. Over the last four or five decades, the
above problem was tackled by numerous authors and its solutions via various forms
of functional equation like additive, quadratic, cubic, quartic functional equations
were discussed. To know more about the various forms of functional equations and
its solutions, one can refer to the interesting monographs ([1] ,[2]).
Recently, K. Ravi and B.V. Senthil Kumar [4] investigated the generalized
Hyers-Ulam stability for a new 2-dimensional reciprocal functional mapping 𝑓 :
𝑋 → π‘Œ satisfying the Rassias reciprocal functional equation
𝑓 (π‘₯ + 𝑦) =
𝑓 (π‘₯)𝑓 (𝑦)
.
𝑓 (π‘₯) + 𝑓 (𝑦)
(1.1)
where 𝑋 and π‘Œ are the spaces of non-zero real numbers. The reciprocal function
𝑓 (π‘₯) = π‘₯𝑐 is the solution of the functional equation (1.1).
Definition 1.1. A mapping 𝑓 : 𝑋 → π‘Œ is called reciprocal if 𝑓 satisfies the
functional equation (1.1).
Later, K. Ravi, J.M. Rassias and B.V. Senthil Kumar [5] introduced the Reciprocal Difference Functional equation (RDF equation)
(
)
π‘₯+𝑦
𝑓 (π‘₯)𝑓 (𝑦)
𝑓
− 𝑓 (π‘₯ + 𝑦) =
(1.2)
2
𝑓 (π‘₯) + 𝑓 (𝑦)
2000 Mathematics Subject Classification. 39B22, 39B52, 39B72.
Key words and phrases. Reciprocal functional equation; 2-variable reciprocal functional equation; Generalized Hyers-Ulam stability.
c
⃝2010
Universiteti i Prishtinës, Prishtinë, Kosovë.
Submitted January, 2010. Published May, 2010.
84
GENERALIZED HYERS-ULAM STABILITY OF A 2-VARIABLE RECIPROCAL FUNCTIONAL EQUATION
85
and the Reciprocal Adjoint Functional equation (RAF equation)
(
)
π‘₯+𝑦
3𝑓 (π‘₯)𝑓 (𝑦)
𝑓
+ 𝑓 (π‘₯ + 𝑦) =
2
𝑓 (π‘₯) + 𝑓 (𝑦)
(1.3)
and investigated the Hyers-Ulam stability, Generalized Ulam stability and the extended Ulam stability for the above two functional equations (1.2) and (1.3).
S.M. Jung [3] applied fixed point method and investigated its Hyers-Ulam stability for the reciprocal functional equation (1.1).
Very recently, K. Ravi, J.M. Rassias and B.V. Senthil Kumar [6] discussed the
Hyers-Ulam stability, Generalized Hyers-Ulam stability, the Extended Ulam stability and Refined Ulam stability for the generalized reciprocal functional equation
(or GRF equation)
(π‘š
)
∏π‘š
∑
𝑓 (π‘₯𝑖 )
[ (𝑖=1
)]
(1.4)
𝑓
𝛼𝑖 π‘₯𝑖 = ∑
∏π‘š
π‘š
𝛼
𝑓
(π‘₯
)
𝑖=1
𝑖
𝑖
𝑖=1
𝑗=1,π‘—βˆ•=𝑖
for arbitrary but fixed real∑numbers (𝛼1 , 𝛼2 , . . . , π›Όπ‘š ) βˆ•= (0, 0, . . . , 0), so that 0 <
π‘š
𝛼 = 𝛼1 + 𝛼2 + ⋅ ⋅ ⋅ + π›Όπ‘š = 𝑖=1 𝛼𝑖 βˆ•= 1 and 𝑓 : 𝑋 → π‘Œ with 𝑋 and π‘Œ are the sets
of non-zero real numbers.
The stability of new reciprocal functional equations
𝑓 [(π‘˜1 − π‘˜2 )π‘₯ + (π‘˜1 − π‘˜2 )𝑦] =
𝑓 (π‘˜1 π‘₯ − π‘˜2 𝑦)𝑓 (π‘˜1 𝑦 − π‘˜2 π‘₯)
𝑓 (π‘˜1 π‘₯ − π‘˜2 𝑦) + 𝑓 (π‘˜1 𝑦 − π‘˜2 π‘₯)
(1.5)
where π‘˜1 and π‘˜2 are any integers with π‘˜1 βˆ•= π‘˜2 and
𝑓 [(π‘˜1 + π‘˜2 )π‘₯ + (π‘˜1 + π‘˜2 )𝑦] =
𝑓 (π‘˜1 π‘₯ + π‘˜2 𝑦)𝑓 (π‘˜1 𝑦 + π‘˜2 π‘₯)
𝑓 (π‘˜1 π‘₯ + π‘˜2 𝑦) + 𝑓 (π‘˜1 𝑦 + π‘˜2 π‘₯)
(1.6)
where π‘˜1 and π‘˜2 are any integers with π‘˜1 βˆ•= −π‘˜2 was discussed by K. Ravi, J.M.
Rassias and B.V. Senthil Kumar in [7].
In this paper, the authors discuss the general solution and generalized HyersUlam stability for a new 2-variable reciprocal functional equation of the form
𝐹 (π‘₯ + 𝑒, 𝑦 + 𝑣) =
𝐹 (π‘₯, 𝑦)𝐹 (𝑒, 𝑣)
.
𝐹 (π‘₯, 𝑦) + 𝐹 (𝑒, 𝑣)
(1.7)
Definition 1.2. A mapping 𝐹 : 𝑋 × π‘‹ → π‘Œ is called a 2-variable reciprocal
mapping if there exist π‘Ž(βˆ•= 0), 𝑏(βˆ•= 0) ∈ ℝ such that
𝐹 (π‘₯, 𝑦) =
π‘Žπ‘
.
𝑏π‘₯ + π‘Žπ‘¦
Throughout this paper, we assume that 𝑋 and π‘Œ are the sets of non-zero
real numbers. In Section 2 of this paper, we show the relationship between the
reciprocal functional equation (1.1) and (1.7). In Section 3, we establish that the
π‘Žπ‘
is the general solution of the 2-variable reciprocal funcfunction 𝐹 (π‘₯, 𝑦) = 𝑏π‘₯+π‘Žπ‘¦
tional equation (1.7). In Section 4, we obtain the generalized Hyers-Ulam stability
for the functional equation (1.7). In Section 5, we compare the stability results
obtained for the 2-variable reciprocal functional equation (1.7) with the stability
results obtained for the 1-variable reciprocal functional equation (1.1) in [4].
86
K. RAVI, J.M. RASSIAS AND B.V. SENTHIL KUMAR
2. RELATION BETWEEN (1.1) AND (1.7)
The 2-variable reciprocal functional equation (1.7) induces the reciprocal functional equation (1.1).
Theorem 2.1. Let 𝐹 : 𝑋 ×𝑋 → π‘Œ be a mapping satisfying (1.7) and let π‘Ÿ : π‘₯ → π‘Œ
be a mapping given by
π‘Ÿ(π‘₯) = 𝐹 (π‘₯, π‘₯)
(2.1)
for all π‘₯ ∈ 𝑋, then π‘Ÿ satisfies (1.1).
Proof. From (1.7) and (2.1), we get
π‘Ÿ(π‘₯ + 𝑦) = 𝐹 (π‘₯ + 𝑦, π‘₯ + 𝑦)
𝐹 (π‘₯, π‘₯)𝐹 (𝑦, 𝑦)
𝐹 (π‘₯, π‘₯) + 𝐹 (𝑦, 𝑦)
π‘Ÿ(π‘₯)π‘Ÿ(𝑦)
=
π‘Ÿ(π‘₯) + π‘Ÿ(𝑦)
=
for all π‘₯, 𝑦 ∈ 𝑋.
β–‘
Theorem 2.2. Let π‘Ž(βˆ•= 0), 𝑏(βˆ•= 0) ∈ ℝ and π‘Ÿ : 𝑋 → π‘Œ be a mapping satisfying
(1.1). If 𝐹 : 𝑋 × π‘‹ → π‘Œ is a mapping given by
𝐹 (π‘₯, 𝑦) =
π‘Žπ‘π‘Ÿ(π‘₯)π‘Ÿ(𝑦)
π‘Žπ‘Ÿ(π‘₯) + π‘π‘Ÿ(𝑦)
(2.2)
for all π‘₯, 𝑦 ∈ 𝑋, then 𝐹 satisfies (1.7).
Proof. From (1.1) and (2.2), we have
𝐹 (π‘₯ + 𝑒, 𝑦 + 𝑣) =
=
π‘Žπ‘π‘Ÿ(π‘₯ + 𝑒)π‘Ÿ(𝑦 + 𝑣)
π‘Žπ‘Ÿ(π‘₯ + 𝑒) + π‘π‘Ÿ(𝑦 + 𝑣)
π‘Ÿ(π‘₯)π‘Ÿ(𝑒) π‘Ÿ(𝑦)π‘Ÿ(𝑣)
π‘Žπ‘ π‘Ÿ(π‘₯)+π‘Ÿ(𝑒)
π‘Ÿ(𝑦)+π‘Ÿ(𝑣)
π‘Ÿ(π‘₯)π‘Ÿ(𝑒)
π‘Ÿ(𝑦)π‘Ÿ(𝑣)
π‘Ž π‘Ÿ(π‘₯)+π‘Ÿ(𝑒)
+ 𝑏 π‘Ÿ(𝑦)+π‘Ÿ(𝑣)
π‘Žπ‘π‘Ÿ(π‘₯)π‘Ÿ(𝑒)π‘Ÿ(𝑦)π‘Ÿ(𝑣)
π‘Žπ‘Ÿ(π‘₯)π‘Ÿ(𝑒)[π‘Ÿ(𝑦) + π‘Ÿ(𝑣)] + π‘π‘Ÿ(𝑦)π‘Ÿ(𝑣)[π‘Ÿ(π‘₯) + π‘Ÿ(𝑒)]
π‘Žπ‘π‘Ÿ(π‘₯)π‘Ÿ(𝑒)π‘Ÿ(𝑦)π‘Ÿ(𝑣)
=
π‘Ÿ(π‘₯)π‘Ÿ(𝑦)[π‘Žπ‘Ÿ(𝑒) + π‘π‘Ÿ(𝑣)] + π‘Ÿ(𝑒)π‘Ÿ(𝑣)[π‘Žπ‘Ÿ(π‘₯) + π‘π‘Ÿ(𝑦)]
=
=
π‘Žπ‘π‘Ÿ(π‘₯)π‘Ÿ(𝑦) π‘Žπ‘π‘Ÿ(𝑒)π‘Ÿ(𝑣)
π‘Žπ‘Ÿ(π‘₯)+π‘π‘Ÿ(𝑦) π‘Žπ‘Ÿ(𝑒)+π‘π‘Ÿ(𝑣)
π‘Žπ‘π‘Ÿ(π‘₯)π‘Ÿ(𝑦)
π‘Žπ‘π‘Ÿ(𝑒)π‘Ÿ(𝑣)
π‘Žπ‘Ÿ(π‘₯)+π‘π‘Ÿ(𝑦) + π‘Žπ‘Ÿ(𝑒)+π‘π‘Ÿ(𝑣)
=
𝐹 (π‘₯, 𝑦)𝐹 (𝑒, 𝑣)
𝐹 (π‘₯, 𝑦) + 𝐹 (𝑒, 𝑣)
for all π‘₯, 𝑒, 𝑦, 𝑣 ∈ 𝑋.
β–‘
3. GENERAL SOLUTION OF EQUATION (1.7)
Theorem 3.1. A mapping 𝐹 : 𝑋 × π‘‹ → π‘Œ satisfies (1.7) if and only if there exist
two reciprocal mappings π‘Ÿ1 , π‘Ÿ2 : 𝑋 → π‘Œ such that
π‘Ÿ1 (π‘₯)π‘Ÿ2 (𝑦)
𝐹 (π‘₯, 𝑦) =
π‘Ÿ1 (π‘₯) + π‘Ÿ2 (𝑦)
for all π‘₯, 𝑦 ∈ 𝑋.
GENERALIZED HYERS-ULAM STABILITY OF A 2-VARIABLE RECIPROCAL FUNCTIONAL EQUATION
87
Proof. Assume that 𝐹 is a solution of (1.7). Define 𝐹1 (π‘₯) = 𝐹 (π‘₯, 0), 𝐹2 (𝑦) =
𝐹 (0, 𝑦), for all π‘₯, 𝑦 ∈ 𝑋. It is easy to verify that 𝐹1 , 𝐹2 are reciprocal functions.
Let 𝐹1 (π‘₯) = π‘Ÿ1 (π‘₯) and 𝐹2 (π‘₯) = π‘Ÿ2 (π‘₯), for all π‘₯ ∈ 𝑋. Hence
π‘Ÿ1 (π‘₯)π‘Ÿ2 (𝑦)
=
π‘Ÿ1 (π‘₯) + π‘Ÿ2 (𝑦)
π‘Ž 𝑏
π‘₯𝑦
π‘Ž
π‘₯
+
𝑏
𝑦
π‘Žπ‘
𝑏π‘₯ + π‘Žπ‘¦
= 𝐹 (π‘₯, 𝑦), for all π‘₯, 𝑦 ∈ 𝑋.
=
Conversely, assume that there exist two reciprocal mappings π‘Ÿ1 , π‘Ÿ2 : 𝑋 → π‘Œ such
(π‘₯)π‘Ÿ2 (𝑦)
, for all π‘₯, 𝑦 ∈ 𝑋. Hence,
that 𝐹 (π‘₯, 𝑦) = π‘Ÿπ‘Ÿ11(π‘₯)+π‘Ÿ
2 (𝑦)
𝐹 (π‘₯ + 𝑒, 𝑦 + 𝑣) =
=
π‘Ÿ1 (π‘₯ + 𝑒)π‘Ÿ2 (𝑦 + 𝑣)
π‘Ÿ1 (π‘₯ + 𝑒) + π‘Ÿ2 (𝑦 + 𝑣)
π‘Ÿ1 (π‘₯)π‘Ÿ1 (𝑒) π‘Ÿ2 (𝑦)π‘Ÿ2 (𝑣)
π‘Ÿ1 (π‘₯)+π‘Ÿ1 (𝑒) π‘Ÿ2 (𝑦)+π‘Ÿ2 (𝑣)
π‘Ÿ1 (π‘₯)π‘Ÿ1 (𝑒)
π‘Ÿ2 (𝑦)π‘Ÿ2 (𝑣)
π‘Ÿ1 (π‘₯)+π‘Ÿ1 (𝑒) + π‘Ÿ2 (𝑦)+π‘Ÿ2 (𝑣)
π‘Ÿ1 (π‘₯)π‘Ÿ1 (𝑒)π‘Ÿ2 (𝑦)π‘Ÿ2 (𝑣)
π‘Ÿ1 (π‘₯)π‘Ÿ1 (𝑒)[π‘Ÿ2 (𝑦) + π‘Ÿ2 (𝑣)] + π‘Ÿ2 (𝑦)π‘Ÿ2 (𝑣)[π‘Ÿ1 (π‘₯) + π‘Ÿ1 (𝑒)]
π‘Ÿ1 (π‘₯)π‘Ÿ1 (𝑒)π‘Ÿ2 (𝑦)π‘Ÿ2 (𝑣)
=
π‘Ÿ1 (π‘₯)π‘Ÿ2 (𝑦)[π‘Ÿ1 (𝑒) + π‘Ÿ2 (𝑣)] + π‘Ÿ1 (𝑒)π‘Ÿ2 (𝑣)[π‘Ÿ1 (π‘₯) + π‘Ÿ2 (𝑦)]
=
=
π‘Ÿ1 (π‘₯)π‘Ÿ2 (𝑦) π‘Ÿ1 (𝑒)π‘Ÿ2 (𝑣)
π‘Ÿ1 (π‘₯)+π‘Ÿ2 (𝑦) π‘Ÿ1 (𝑒)+π‘Ÿ2 (𝑣)
π‘Ÿ1 (π‘₯)π‘Ÿ2 (𝑦)
π‘Ÿ1 (𝑒)π‘Ÿ2 (𝑣)
π‘Ÿ1 (π‘₯)+π‘Ÿ2 (𝑦) + π‘Ÿ1 (𝑒)+π‘Ÿ2 (𝑣)
=
𝐹 (π‘₯, 𝑦)𝐹 (𝑒, 𝑣)
𝐹 (π‘₯, 𝑦) + 𝐹 (𝑒, 𝑣)
for all π‘₯, 𝑒, 𝑦, 𝑣 ∈ 𝑋.
β–‘
4. GENERALIZED HYERS-ULAM STABILITY OF EQUATION (1.7)
Theorem 4.1. Let 𝐹 : 𝑋 2 → π‘Œ be a mapping for which there exists a function
πœ™ : 𝑋 4 → π‘Œ with the condition
π‘™π‘–π‘š
−𝑛
πœ™(2−𝑛 π‘₯, 2−𝑛 π‘₯, 2−𝑛 𝑦, 2−𝑛 𝑦)
𝑛→∞ 2
=0
such that the functional inequality
𝐹 (π‘₯, 𝑦)𝐹 (𝑒, 𝑣) 1
𝐹 (π‘₯ + 𝑒, 𝑦 + 𝑣) −
≤ πœ™(π‘₯, 𝑒, 𝑦, 𝑣)
𝐹 (π‘₯, 𝑦) + 𝐹 (𝑒, 𝑣)
2
(4.1)
(4.2)
holds for all π‘₯, 𝑒, 𝑦, 𝑣 ∈ 𝑋. Then there exists a unique 2-variable reciprocal mapping
𝑅 : 𝑋 2 → π‘Œ satisfying the functional equation (1.7) and
∣𝐹 (π‘₯, 𝑦) − 𝑅(π‘₯, 𝑦)∣ ≤
∞
∑
2−𝑖−1 πœ™(2−𝑖−1 π‘₯, 2−𝑖−1 π‘₯, 2−𝑖−1 𝑦, 2−𝑖−1 𝑦)
𝑖=0
for all π‘₯, 𝑦 ∈ 𝑋. The mapping 𝑅(π‘₯, 𝑦) is defined by
−𝑛
𝑅(π‘₯, 𝑦) =π‘™π‘–π‘š
𝐹 (2−𝑛 π‘₯, 2−𝑛 𝑦)
𝑛→∞ 2
for all π‘₯, 𝑦 ∈ 𝑋.
(4.3)
88
K. RAVI, J.M. RASSIAS AND B.V. SENTHIL KUMAR
Proof. Replacing (π‘₯, 𝑒, 𝑦, 𝑣) by ( π‘₯2 , π‘₯2 , 𝑦2 , 𝑦2 ) in (4.2), we obtain
1 ( π‘₯ 𝑦 ) 1 ( π‘₯ π‘₯ 𝑦 𝑦 )
.
(4.4)
,
≤ πœ™ , , ,
𝐹 (π‘₯, 𝑦) − 𝐹
2
2 2
2 2 2 2 2
Now, replacing (π‘₯, 𝑦) by ( π‘₯2 , 𝑦2 ) in (4.4), dividing by 2 and adding the resulting
inequality with (4.4), we arrive
1
1 ( π‘₯ 𝑦 ) ∑ 1 ( π‘₯
π‘₯
𝑦
𝑦 )
πœ™ 𝑖+1 , 𝑖+1 , 𝑖+1 , 𝑖+1 .
𝐹 (π‘₯, 𝑦) − 2 𝐹 2 , 2 ≤
𝑖+1
2
2 2
2
2
2
2
2
𝑖=0
Proceeding further and using induction on a positive integer 𝑛, we get
∣𝐹 (π‘₯, 𝑦) − 2−𝑛 𝐹 (2−𝑛 π‘₯, 2−𝑛 𝑦)∣ ≤
𝑛−1
∑
2−𝑖−1 πœ™(2−𝑖−1 π‘₯, 2−𝑖−1 π‘₯, 2−𝑖−1 𝑦, 2−𝑖−1 𝑦)
𝑖=0
≤
∞
∑
2−𝑖−1 πœ™(2−𝑖−1 π‘₯, 2−𝑖−1 π‘₯, 2−𝑖−1 𝑦, 2−𝑖−1 𝑦)
𝑖=0
(4.5)
−𝑛
−𝑛
for all π‘₯, 𝑦 ∈ 𝑋. In order to prove the convergence of the sequence {2 𝐹 (2 π‘₯, 2−𝑛 𝑦)},
replacing (π‘₯, 𝑦) by (2−𝑝 π‘₯, 2−𝑝 𝑦) in (4.5) and multiplying by 2−𝑝 , we find that for
𝑛>𝑝>0
∣2−𝑛−𝑝 𝐹 (2−𝑛−𝑝 π‘₯, 2−𝑛−𝑝 𝑦) − 2−𝑝 𝐹 (2−𝑝 π‘₯, 2−𝑝 𝑦)∣
= 2−𝑝 ∣2−𝑛 𝐹 (2−𝑛−𝑝 π‘₯, 2−𝑛−𝑝 𝑦) − 𝐹 (2−𝑝 π‘₯, 2−𝑝 𝑦)∣
≤
∞
∑
2−𝑝−𝑖 πœ™(2−𝑝−𝑖 π‘₯, 2−𝑝−𝑖 π‘₯, 2−𝑝−𝑖 𝑦, 2−𝑝−𝑖 𝑦)
𝑖=0
→ 0 as 𝑝 → ∞.
This shows that the sequence {2−𝑛 𝐹 (2−𝑛 π‘₯, 2−𝑛 𝑦)} is a Cauchy sequence. Allow
𝑛 → ∞ in (4.5), we arrive (4.3). To show that 𝑅 satisfies (1.4), replacing (π‘₯, 𝑒, 𝑦, 𝑣)
by (2−𝑛 π‘₯, 2−𝑛 𝑒, 2−𝑛 𝑦, 2−𝑛 𝑣) in (4.2) and multiplying by 2−𝑛 , we obtain
𝐹 (2−𝑛 π‘₯, 2−𝑛 𝑦)𝐹 (2−𝑛 𝑒, 2−𝑛 𝑣) 2−𝑛 𝐹 (2−𝑛 (π‘₯ + 𝑒), 2−𝑛 (𝑦 + 𝑣)) −
𝐹 (2−𝑛 π‘₯, 2−𝑛 𝑦) + 𝐹 (2−𝑛 𝑒, 2−𝑛 𝑣)
≤ 2−𝑛 πœ™(2−𝑛 π‘₯, 2−𝑛 𝑒, 2−𝑛 𝑦, 2−𝑛 𝑣). (4.6)
Allow 𝑛 → ∞ in (4.6), we see that 𝑅 satisfies (1.7) for all (π‘₯, 𝑒, 𝑦, 𝑣) ∈ 𝑋 4 . To
prove 𝑅 is unique 2-variable reciprocal function satisfying (1.7), let 𝑆 : 𝑋 2 → π‘Œ be
another 2-variable reciprocal function which satisfies (1.7) and the inequality (4.3).
Clearly 𝑆 and 𝑅 satisfy (1.7) and using (4.3), we arrive
βˆ£π‘†(π‘₯, 𝑦) − 𝑅(π‘₯, 𝑦)∣
= 2−𝑛 βˆ£π‘†(2−𝑛 π‘₯, 2−𝑛 𝑦) − 𝑅(2−𝑛 π‘₯, 2−𝑛 𝑦)∣
(
)
≤ 2−𝑛 βˆ£π‘†(2−𝑛 π‘₯, 2−𝑛 𝑦) − 𝐹 (2−𝑛 π‘₯, 2−𝑛 𝑦)∣ + ∣𝐹 (2−𝑛 π‘₯, 2−𝑛 𝑦) − 𝑅(2−𝑛 π‘₯, 2−𝑛 𝑦)∣
≤2
∞
∑
2−𝑛−𝑖−1 πœ™(2−𝑛−𝑖−1 π‘₯, 2−𝑛−𝑖−1 π‘₯, 2−𝑛−𝑖−1 𝑦, 2−𝑛−𝑖−1 𝑦)
(4.7)
𝑖=0
for all (π‘₯, 𝑦) ∈ 𝑋 2 . Allow 𝑛 → ∞ in (4.7) and using (4.1), we find that 𝑅 is unique
which completes the proof of Theorem 4.1.
β–‘
GENERALIZED HYERS-ULAM STABILITY OF A 2-VARIABLE RECIPROCAL FUNCTIONAL EQUATION
89
Corollary 4.2. Let 𝐹 : 𝑋 × π‘‹ → π‘Œ be a mapping for which there exists a constant
𝑐 (independent of x,y)≥ 0 such that the functional inequality
𝐹 (π‘₯, 𝑦)𝐹 (𝑒, 𝑣) 𝑐
(4.8)
𝐹 (π‘₯ + 𝑒, 𝑦 + 𝑣) −
≤
𝐹 (π‘₯, 𝑦) + 𝐹 (𝑒, 𝑣)
2
holds for all π‘₯, 𝑒, 𝑦, 𝑣 ∈ 𝑋. Then there exists a unique mapping 𝑅 : 𝑋 2 → π‘Œ
satisfying the functional equation (1.7) and
∣𝐹 (π‘₯, 𝑦) − 𝑅(π‘₯, 𝑦)∣ ≤ 𝑐
(4.9)
for all π‘₯, 𝑦 ∈ 𝑋.
Proof. Taking πœ™(π‘₯, 𝑒, 𝑦, 𝑣) = 𝑐, for all π‘₯, 𝑒, 𝑦, 𝑣 ∈ 𝑋 in Theorem 4.1, the proof of
Corollary 4.2 follows immediately by similar arguments.
β–‘
Corollary 4.3. For any fixed πœƒ ≥ 0 and 𝑝 > −1, if 𝐹 : 𝑋 2 → π‘Œ satisfies
)
𝐹 (π‘₯, 𝑦)𝐹 (𝑒, 𝑣) 1 ( 𝑝
≤ πœƒ ∣π‘₯∣ + βˆ£π‘’βˆ£π‘ + βˆ£π‘¦βˆ£π‘ + βˆ£π‘£βˆ£π‘
𝐹 (π‘₯ + 𝑒, 𝑦 + 𝑣) −
𝐹 (π‘₯, 𝑦) + 𝐹 (𝑒, 𝑣)
2
(4.10)
for all π‘₯, 𝑒, 𝑦, 𝑣 ∈ 𝑋, then there exists a 2-variable reciprocal function 𝑅 : 𝑋 2 → π‘Œ
such that
)
2πœƒ ( 𝑝
∣π‘₯∣ + βˆ£π‘¦βˆ£π‘
(4.11)
∣𝐹 (π‘₯, 𝑦) − 𝑅(π‘₯, 𝑦)∣ ≤ 𝑝+1
2
−1
for all π‘₯, 𝑦 ∈ 𝑋.
(
)
Proof. Letting πœ™(π‘₯, 𝑒, 𝑦, 𝑣) = πœƒ ∣π‘₯βˆ£π‘ + βˆ£π‘’βˆ£π‘ + βˆ£π‘¦βˆ£π‘ + βˆ£π‘£βˆ£π‘ , for all π‘₯, 𝑒, 𝑦, 𝑣 ∈ 𝑋 in
(
)
𝑝
𝑝
Theorem 4.1, we obtain πœ™(π‘₯, π‘₯, 𝑦, 𝑦) = 2πœƒ ∣π‘₯∣ + βˆ£π‘¦βˆ£ . From (4.3), we get
∞
( π‘₯ 𝑝 𝑦 𝑝 )
∑
1
2πœƒ
𝑖+1 + 𝑖+1 𝑖+1
2
2
2
𝑖=0
)
πœƒ(
1 )−1 ( 𝑝
𝑝
≤ 𝑝 1 − 𝑝+1
∣π‘₯∣ + βˆ£π‘¦βˆ£
2
2
)
2πœƒ ( 𝑝
𝑝
≤ 𝑝+1
∣π‘₯∣ + βˆ£π‘¦βˆ£
2
−1
∣𝐹 (π‘₯, 𝑦) − 𝑅(π‘₯, 𝑦)∣ ≤
for all π‘₯, 𝑦 ∈ 𝑋.
β–‘
Corollary 4.4. Let 𝐹 : 𝑋 2 → π‘Œ be a mapping and there exist real numbers
π‘Ž, 𝑏 : 𝜌 = π‘Ž + 𝑏 > −1. If there exists 𝑐1 such that
π‘Ž
𝑏
π‘Ž
𝑏
𝐹 (π‘₯, 𝑦)𝐹 (𝑒, 𝑣) (4.12)
𝐹 (π‘₯ + 𝑒, 𝑦 + 𝑣) −
≤ 𝑐1 ∣π‘₯∣ 2 βˆ£π‘’βˆ£ 2 βˆ£π‘¦βˆ£ 2 βˆ£π‘£βˆ£ 2
𝐹 (π‘₯, 𝑦) + 𝐹 (𝑒, 𝑣)
for all π‘₯, 𝑒, 𝑦, 𝑣 ∈ 𝑋, then there exists a unique 2-variable reciprocal function 𝑅 :
𝑋 2 → π‘Œ satisfying the functional equation (1.7) and
2𝑐1 ( 𝜌 𝜌 )
∣𝐹 (π‘₯, 𝑦) − 𝑅(π‘₯, 𝑦)∣ ≤ 𝜌+1
∣π‘₯∣ 2 βˆ£π‘¦βˆ£ 2
(4.13)
2
−1
for all π‘₯, 𝑦 ∈ 𝑋.
90
K. RAVI, J.M. RASSIAS AND B.V. SENTHIL KUMAR
π‘Ž
𝑏
π‘Ž
𝑏
Proof. Considering πœ™(π‘₯, 𝑒, 𝑦, 𝑣) = 2𝑐1 ∣π‘₯∣ 2 βˆ£π‘’βˆ£ 2 βˆ£π‘¦βˆ£ 2 βˆ£π‘£βˆ£ 2 , for all π‘₯, 𝑒, 𝑦, 𝑣 ∈ 𝑋 in The𝜌
𝜌
orem 4.1, we have πœ™(π‘₯, π‘₯, 𝑦, 𝑦) = 2𝑐1 ∣π‘₯∣ 2 βˆ£π‘¦βˆ£ 2 . From (4.3), we obtain
∞
𝜌
𝜌
∑
1 π‘₯ 2 𝑦 2
∣𝐹 (π‘₯, 𝑦) − 𝑅(π‘₯, 𝑦)∣ ≤ 2𝑐1
2𝑖+1 2𝑖+1
2𝑖+1
𝑖=0
(
)
𝑐1
1 −1 𝜌 𝜌
≤ 𝜌 1 − 𝜌+1
∣π‘₯∣ 2 βˆ£π‘¦βˆ£ 2
2
2
(
)
𝜌
𝜌
2𝑐1
∣π‘₯∣ 2 βˆ£π‘¦βˆ£ 2
≤ 𝜌+1
2
−1
for all π‘₯, 𝑦 ∈ 𝑋.
β–‘
Corollary 4.5. Let π‘˜ > 0 and 𝛼 > − 12 be real numbers, and 𝐹 : 𝑋 2 → π‘Œ be a
mapping satisfying the functional inequality
𝐹 (π‘₯, 𝑦)𝐹 (𝑒, 𝑣) 𝐹 (π‘₯ + 𝑒, 𝑦 + 𝑣) −
𝐹 (π‘₯, 𝑦) + 𝐹 (𝑒, 𝑣)
( 𝛼 𝛼 𝛼 𝛼
))
1 ( 2𝛼
≤ π‘˜ ∣π‘₯∣ 2 βˆ£π‘’βˆ£ 2 βˆ£π‘¦βˆ£ 2 βˆ£π‘£βˆ£ 2 +
∣π‘₯∣ + βˆ£π‘’βˆ£2𝛼 + βˆ£π‘¦βˆ£2𝛼 + βˆ£π‘£βˆ£2𝛼
2
(4.14)
for all π‘₯, 𝑒, 𝑦, 𝑣 ∈ 𝑋. Then there exists a unique 2-variable reciprocal mapping
𝑅 : 𝑋 2 → π‘Œ satisfying the functional equation (1.7) and
(
(
))
2π‘˜
∣𝐹 (π‘₯, 𝑦) − 𝑅(π‘₯, 𝑦)∣ ≤ 2𝛼+1
∣π‘₯βˆ£π›Ό βˆ£π‘¦βˆ£π›Ό + ∣π‘₯∣2𝛼 + βˆ£π‘¦βˆ£2𝛼
(4.15)
2
−1
for all π‘₯, 𝑦 ∈ 𝑋.
(
( 𝛼 𝛼 𝛼 𝛼
Proof. Choosing πœ™(π‘₯, 𝑒, 𝑦, 𝑣) = 2π‘˜ ∣π‘₯∣ 2 βˆ£π‘’βˆ£ 2 βˆ£π‘¦βˆ£ 2 βˆ£π‘£βˆ£ 2 + 21 ∣π‘₯∣2𝛼 + βˆ£π‘’βˆ£2𝛼 + βˆ£π‘¦βˆ£2𝛼 +
))
(
βˆ£π‘£βˆ£2𝛼 , for all π‘₯, 𝑒, 𝑦, 𝑣 ∈ 𝑋 in Theorem 4.1, we have πœ™(π‘₯, π‘₯, 𝑦, 𝑦) = 2π‘˜ ∣π‘₯βˆ£π›Ό βˆ£π‘¦βˆ£π›Ό +
(
))
∣π‘₯∣2𝛼 + βˆ£π‘¦βˆ£2𝛼 . From (4.3), we get
∞
∑
1 ( π‘₯ 𝛼 𝑦 𝛼 ( π‘₯ 2𝛼 𝑦 2𝛼 ))
𝑖+1 + 𝑖+1 + 𝑖+1 2𝑖+1 2𝑖+1
2
2
2
𝑖=0
))
π‘˜ (
1 )−1 ( 𝛼 𝛼 ( 2𝛼
≤ 2𝛼 1 − 2𝛼+1
∣π‘₯∣ βˆ£π‘¦βˆ£ + ∣π‘₯∣ + βˆ£π‘¦βˆ£2𝛼
2
2
(
(
))
2π‘˜
≤ 2𝛼+1
∣π‘₯βˆ£π›Ό βˆ£π‘¦βˆ£π›Ό + ∣π‘₯∣2𝛼 + βˆ£π‘¦βˆ£2𝛼
2
−1
∣𝐹 (π‘₯, 𝑦) − 𝑅(π‘₯, 𝑦)∣ ≤ 2π‘˜
for all π‘₯, 𝑦 ∈ 𝑋.
β–‘
5. COMPARISON OF RECIPROCAL FUNCTIONAL EQUATIONS (1.1)
AND (1.7)
In this section, we compare the stability results obtained in Corollaries 4.2,
4.3, 4.4 and 4.5 for the 2-variable reciprocal functional equation (1.7) with the 1variable reciprocal functional equation (1.1).
Result 5.1. The stability result obtained in Corollary 4.2 for 2-variable reciprocal
functional equation (1.7) coincides with the stability result obtained in Theorem 2.1
GENERALIZED HYERS-ULAM STABILITY OF A 2-VARIABLE RECIPROCAL FUNCTIONAL EQUATION
91
[4] for 1-variable reciprocal functional equation (1.1).
Proof. Replacing (𝑦, 𝑣) by (π‘₯, 𝑒) in (4.8), we arrive
𝐹 (π‘₯, π‘₯)𝐹 (𝑒, 𝑒) 𝑐
𝐹 (π‘₯ + 𝑒, π‘₯ + 𝑒) −
≤ .
𝐹 (π‘₯, π‘₯) + 𝐹 (𝑒, 𝑒)
2
Now, replacing 𝑒 by 𝑦 in (5.1), we obtain
𝐹 (π‘₯, π‘₯)𝐹 (𝑦, 𝑦) 𝑐
≤ .
𝐹 (π‘₯ + 𝑦, π‘₯ + 𝑦) −
𝐹 (π‘₯, π‘₯) + 𝐹 (𝑦, 𝑦)
2
(5.1)
(5.2)
Taking 𝑓 (π‘₯) = 𝐹 (π‘₯, π‘₯) (where 𝑓 is a reciprocal function) in the equation (5.2), we
arrive the inequality (2.1) in [4]. Now, replacing 𝑦 by π‘₯ in equation (4.9), we obtain
∣𝐹 (π‘₯, π‘₯) − 𝑅(π‘₯, π‘₯)∣ ≤ 𝑐.
Taking π‘Ÿ(π‘₯) = 𝑅(π‘₯, π‘₯) (where π‘Ÿ is a reciprocal function) in the above inequality, we
get
βˆ£π‘“ (π‘₯) − π‘Ÿ(π‘₯)∣ ≤ 𝑐
which satisfies the result (2.3) in paper [4].
Result 5.2. The stability result obtained in Corollary 4.3 for 2-variable reciprocal
functional equation (1.7) coincides with the stability result obtained in Theorem 3.4
[4] for 1-variable reciprocal functional equation (1.1).
Proof. Replacing (𝑦, 𝑣) by (π‘₯, 𝑒) in (4.10), we obtain
(
)
𝐹 (π‘₯, π‘₯)𝐹 (𝑒, 𝑒) (5.3)
𝐹 (π‘₯ + 𝑒, π‘₯ + 𝑒) −
≤ πœƒ ∣π‘₯βˆ£π‘ + βˆ£π‘’βˆ£π‘ .
𝐹 (π‘₯, π‘₯) + 𝐹 (𝑒, 𝑒)
Now, substituting 𝑒 bu 𝑦 in (5.3), we get
(
)
𝐹 (π‘₯, π‘₯)𝐹 (𝑦, 𝑦) 𝐹 (π‘₯ + 𝑦, π‘₯ + 𝑦) −
≤ πœƒ ∣π‘₯βˆ£π‘ + βˆ£π‘¦βˆ£π‘ .
𝐹 (π‘₯, π‘₯) + 𝐹 (𝑦, 𝑦)
(5.4)
Next, replacing 𝑦 by π‘₯ in (4.11), we arrive
4πœƒ
∣π‘₯βˆ£π‘ .
(5.5)
2𝑝+1 − 1
Taking 𝐹 (π‘₯, π‘₯) = 𝑓 (π‘₯), 𝑅(π‘₯, π‘₯) = π‘Ÿ(π‘₯) (where 𝑓 and π‘Ÿ are reciprocal functions) in
(5.4) and (5.5), we obtain the inequalities (3.40) and (3.41) respectively in [4].
∣𝐹 (π‘₯, π‘₯) − 𝑅(π‘₯, π‘₯)∣ ≤
Result 5.3. The stability result obtained in Corollary 4.4 for 2-variable reciprocal
functional equation (1.7) coincides with the stability result obtained in Theorem 3.1
[4] for 1-variable reciprocal functional equation (1.1).
Proof. Replacing (𝑦, 𝑣) by (π‘₯, 𝑒) in (4.12), we arrive
𝐹 (π‘₯, π‘₯)𝐹 (𝑒, 𝑒) (5.6)
𝐹 (π‘₯ + 𝑒, π‘₯ + 𝑒) −
≤ 𝑐1 ∣π‘₯βˆ£π‘Ž βˆ£π‘’βˆ£π‘ .
𝐹 (π‘₯, π‘₯) + 𝐹 (𝑒, 𝑒)
Now, replacing 𝑒 by 𝑦 in (5.6), we obtain
𝐹 (π‘₯, π‘₯)𝐹 (𝑦, 𝑦) ≤ 𝑐1 ∣π‘₯βˆ£π‘Ž βˆ£π‘¦βˆ£π‘ .
𝐹 (π‘₯ + 𝑦, π‘₯ + 𝑦) −
𝐹 (π‘₯, π‘₯) + 𝐹 (𝑦, 𝑦)
(5.7)
Replacing 𝑦 by π‘₯ in (4.13), we have
∣𝐹 (π‘₯, π‘₯) − 𝑅(π‘₯, π‘₯)∣ ≤
2𝑐1
∣π‘₯∣𝜌 .
−1
2𝜌+1
(5.8)
92
K. RAVI, J.M. RASSIAS AND B.V. SENTHIL KUMAR
Taking 𝐹 (π‘₯, π‘₯) = 𝑓 (π‘₯), 𝑅(π‘₯, π‘₯) = π‘Ÿ(π‘₯) (where 𝑓 and π‘Ÿ are reciprocal functions) in
(5.7) and (5.8), we obtain the inequalities (3.1) and (3.2) respectively in [4].
Result 5.4. The stability result obtained in Corollary 4.5 for 2-variable reciprocal
functional equation (1.7) coincides with the stability result obtained in Theorem 4.1
[4] for 1-variable reciprocal functional equation (1.1).
Proof. Replacing (𝑦, 𝑣) by (π‘₯, 𝑒) in (4.14), we arrive
(
))
(
𝐹 (π‘₯, π‘₯)𝐹 (𝑒, 𝑒) ≤ π‘˜ ∣π‘₯βˆ£π›Ό βˆ£π‘’βˆ£π›Ό + ∣π‘₯∣2𝛼 + βˆ£π‘’βˆ£2𝛼 . (5.9)
𝐹 (π‘₯ + 𝑒, π‘₯ + 𝑒) −
𝐹 (π‘₯, π‘₯) + 𝐹 (𝑒, 𝑒)
Substituting 𝑒 by 𝑦 in (5.9) to get
))
(
(
𝐹 (π‘₯, π‘₯)𝐹 (𝑦, 𝑦) 𝐹 (π‘₯ + 𝑦, π‘₯ + 𝑦) −
≤ π‘˜ ∣π‘₯βˆ£π›Ό βˆ£π‘¦βˆ£π›Ό + ∣π‘₯∣2𝛼 + βˆ£π‘¦βˆ£2𝛼 .
𝐹 (π‘₯, π‘₯) + 𝐹 (𝑦, 𝑦)
(5.10)
Next, replacing 𝑦 by π‘₯ in (4.15), we obtain
6π‘˜
∣π‘₯∣2𝛼 .
(5.11)
22𝛼+1 − 1
Taking 𝐹 (π‘₯, π‘₯) = 𝑓 (π‘₯), 𝑅(π‘₯, π‘₯) = π‘Ÿ(π‘₯) (where 𝑓 and π‘Ÿ are reciprocal functions) in
(5.10) and (5.11), we obtain the inequalities (4.1) and (4.2) respectively in [4].
∣𝐹 (π‘₯, π‘₯) − 𝑅(π‘₯, π‘₯)∣ ≤
References
[1] J. Aczel and J. Dhombres, Functional Equations in Several Variables, Cambridge Univ.
Press, 1989.
[2] D.H. Hyers, G. Isac and Th.M. Rassias,Stability of Functional Equations in Several Variables, Birkhauser, Basel, 1998.
𝑓 (π‘₯)𝑓 (𝑦)
[3] S.M. Jung,A fixed point approach to the stability of the equation 𝑓 (π‘₯ + 𝑦) = 𝑓 (π‘₯)+𝑓 (𝑦) , The
Australian J. Math. Anal. Appl. 6(1)(2009), 1–6.
[4] K. Ravi and B.V. Senthil Kumar,Ulam-Gavruta-Rassias stability of Rassias Reciprocal functional equation, Global J. of Appl. Math. and Math. Sci., (article in press), 2008.
[5] K. Ravi, J.M. Rassias and B.V. Senthil Kumar,Ulam stability of Reciprocal Difference and
Adjoint Funtional Equations, The Australian Journal of Mathematical Analysis and Applications (article in press), 2008.
[6] K. Ravi, J.M. Rassias and B.V. Senthil Kumar,Ulam stability of Generalized reciprocal
funtional equation in several variables, Int. J. App. Math. and Stat., 19(D10)(2010),
1–19.
[7] K. Ravi, J.M. Rassias and B.V. Senthil Kumar,Stability of reciprocal funtional equations
involving mixed product-sum of norms, Novi Sad Journal of Mathematics(Submitted), 2010.
[8] S.M. Ulam,Problems in Modern Mathematics, Chapter VI, Wiley-Interscience, New York,
1964.
K. Ravi
Department of Mathematics,Sacred Heart College,Tirupattur-635 601, TamilNadu,India
E-mail address: shckravi@yahoo.co.in
J.M. Rassias
Pedagogical Department E.E., Section of Mathematics and Informatics, National and
Capodistrian University of Athens, 4, Agamemnonos Str., Aghia Paraskevi, Athens, Attikis 15342, GREECE
E-mail address: jrassias@primedu.uoa.gr,jrass@otenet.gr,loannis.Rassias@primedu.uoa.gr
B.V. Senthil Kumar
Department of Mathematics, C.Abdul Hakeem College of Engg. and Tech.,Melvisharam
- 632 509, TamilNadu, India
E-mail address: bvssree@yahoo.co.in
Download