About the Local Stability of the Four Cauchy Equations Restricted on a Bounded Domain and of Their Pexiderized Forms
Abstract
The Ulam-Hyers stability of functional equations is widely studied from various points of view by many authors. The present paper is concerned with local stability of the four Cauchy equations restricted on a bounded domain. These results can be easily adapted to the corresponding Pexiderized equations.
1. Introduction
It is well known that the problem of stability was posed, for the additive equation, by S. Ulam and was solved by Hyers [1] in 1941, with reference to the equation valid on the whole space. Afterwards, stability was widely studied by many authors, from various points of view, considering further equations on the whole space or putting them in very general settings (see, for instance, [2, 3]).
It has to be remarked that in the classical paper [1] by Hyers as well as in case of restricted domains studied in [4, 5], the solutions of the “equation” correlated to the inequality (3) on the given domain are either additive functions on the whole space (in cases of the general result by Hyers and of the domain Ka defined in (5)) or the restrictions to Df = [0, r) of functions F additive on R2 (in case of a domain like E0 defined in (4)).
On the contrary, when a restricted domain like that in (6) is assumed, the local solution of the corresponding additive equation, restricted to the same set, is different from the restriction on the domain of f of some function, which is additive in the whole space R2 (see [7]).
Therefore, in order to adhere to the sense of Ulam’s question in case of a restricted domain like E(a, b; r) too, the locally δ-additive function f has to be compared with the local solution of the corresponding exact equation restricted to the same set E(a, b; r).
In this frame, in Section 2, first the local stability of the additive Cauchy equation restricted to E(a, b; r) will be proved (Theorem 1); then, as a consequence of this result, the local stability of the logarithmic Cauchy equation (2) will be proved (Theorem 6).
These results can be easily extended to the Pexiderized forms of the same equations.
This problem will be the object of Section 3 of the present paper, where results of local stability of (7) and (8) will be proved (Theorems 15 and 16, resp.).
2. About the Additive and the Logarithmic Cauchy’s Equations
2.1. A Result on Local Stability of the Additive Equation
For E(a, b; r) as defined in (6), the projections are Ex = [a, a + r), Ey = [b, b + r), Ex+y = [a + b, a + b + r), and the domain Df of functions f satisfying (9) is Df = Ex ∪ Ey ∪ Ex+y.
A positive answer is given by the following.
Theorem 1. Let f : Df → (S, ∥·∥), (S, ∥·∥) being a Banach space, satisfy (9) for some δ > 0 and every (x, y) ∈ E(a, b; r), defined in (6), for given (a, b) ∈ R2 and r > 0; Df = Ex ∪ Ey ∪ Ex+y.
Then there exists (at least) a function H : R → S, additive on R2, such that the function F : Df → S defined by
- (i)
F is a (local) solution of the additive equation restricted on E(a, b; r);
- (ii)
F approaches uniformly f on Df, and
()holds for every t ∈ Df.
In order to prove Theorem 1, let us premise two lemmas.
Lemma 2. Let f : Df = Ex ∪ Ey ∪ Ex+y → (S, ∥·∥) satisfy the condition (9) restricted to the set E = E(a, b; r) defined in (6). Then the functions γi : [0, r) → S, i = 1,2, 3, defined by
Proof of Lemma 2. Let us prove (15) firstly for i = 1, j = 2. For t ∈ [0, r) the points (a + t, b) and (a, b + t) belong to E(a, b; r); hence, from (9) both the following inequalities hold
Similarly we prove (15), for i = 1, j = 3, assuming the pairs (a, b) and (a + t, b) with t ∈ [0, r), from the formulas
In order to prove (16) let us assume (ξ, η) ∈ E0 = E(0,0; r).
For i = 1, from (15) and (9) we get
Similarly, for i = 2, a and b interchanged.
As for γ3 with (ξ, η) ∈ E0 = E(0,0; r), from (9)
Lemma 2 is proved.
Lemma 3. If f : Df = Ex ∪ Ey ∪ Ex+y → (S, ∥·∥), S being a Banach space, satisfies (9) on E = E(a, b; r), then each of the functions γi(t), i = 1,2, 3, defined in (14) for t ∈ [0, r), is uniformly approached on [0, r) by the restriction of a function Hi : R → S additive on R2.
The following inequalities hold:
Proof of Lemma 3. Since each function γ1, γ2, γ3 is 4δ-additive on E(0,0; r) (from Lemma 2), formula (23) follows immediately from a known result [4, Lemma 2]:
“Let f : [0, d) → (X, ∥·∥), X a Banach space, be δ-additive on Ed = {(x, y) ∈ R2 : 0 ≤ x < d, 0 ≤ y < d, x + y < d}.
Then there exists at least one additive function L : R → X such that
Lemma 3 is proved.
Proof of Theorem 1. According to (24) in Lemma 3, each function γi(t), i = 1,2, 3, defined in (14) for t ∈ [0, r), namely,
Let us define Fi : Df → S, i = 1,2, 3, as follows:
Moreover, thanks to Lemmas 2 and 3, each function Fi approaches uniformly f on Df as in formula (13); in fact, for arbitrary (x, y) ∈ E(a, b; r),
On the projection Ex+y, where x + y = a + b + t and γ3(x + y − a − b) = f(x + y) − f(a + b), we get from Lemma 3 and formula (9)
Remark 4. The foregoing study was developed as though the projections Ex, Ey, and Ex+y were pairwise disjoint.
If two of them overlap, for instance Ex∩Ey is nonempty, in every common point the values given by the different parts of formulas of approximating function F have to be the same.
More in particular, if the set Df = Ex ∪ Ey ∪ Ex+y is connected, in (28) the equations
2.2. A Result on Local Stability of the Logarithmic Equation
Lemma 5. Let S be a real linear space; if φ : Df = Jx ∪ Jy ∪ Jxy → S satisfies (2) on the bounded domain J = J(a, b; r) defined in (32), then there exists a function h0 : R → S, additive on R2, such that
Proof of Lemma 5. By the usual substitutions
The local stability of the logarithmic equation (2) is stated by the following.
Theorem 6. Let (S, ∥·∥) be a Banach space; if f : Df = Jx ∪ Jy ∪ Jxy → (S, ∥·∥) satisfies
- (i)
L is a local solution of the logarithmic equation on the restricted domain J(a, b; r);
- (ii)
L approaches uniformly fon Df, and
()holds for every t ∈ Df.
Proof of Theorem 6. The usual substitutions x = eu, y = ev (like in proof of Lemma 5) transform the inequality (39) restricted to the set J(a, b; r) into
Now, we can follow the same line of proof as in Section 2.1 by defining the functions γi : [0, r) → S, i = 1,2, 3, related to g; namely,
Now let us come back to f, by the substitutions which transformed (39) into (42), beginning by the transformation of functions Gi defined in (44); on Jx (from Eu)
By the definition
In order to prove the approximation stated in (41), let us begin by the projection Jx: for x ∈ Jx; then u = ln x, g(u) = f(x), and u ∈ [a, a + r); hence, from (44)
Therefore, (41) is true with L = L1 or L = L2 or L = L3, and Theorem 6 is proved.
Remark 7. Remarks about the consequence of a possible overlapping of the projections of the given restricted domain, like those in Remark 4, could be repeated here.
2.3. About the Pexiderized Forms of the Foregoing Equations
Remark 8. In case of a Pexiderized equation on restricted domain, overlapping of the projections of the given bounded domain obviously produces no changes in the result.
3. About the Remaining Two Cauchy Equations (7) φ(x + y) = φ(x)φ(y) and (8) φ(xy) = φ(x)φ(y) on a Bounded Restricted Domain
3.1. Preliminaries
As for (7) φ(x + y) = φ(x)φ(y) the restricted domain is assumed to be E(a, b; r) defined in (6); the domain of (8) φ(xy) = φ(x)φ(y) is J(a, b; r) defined in (32) for fixed real a, b and r > 0.
Let us premise the local solutions of the above equations (see papers [8, 9] and [10], resp.).
Lemma 9. Let φ : Dφ = Ex ∪ Ey ∪ Ex+y → R satisfy (7) restricted to E(a, b; r) defined in (6).
If and only if there exists some (x′, y′) ∈ E(a, b; r), (x′ ∈ Ex, y′ ∈ Ey) such that φ(x′) ≠ 0 and φ(y′) ≠ 0, the following properties (P1), (P2), (P3) hold:
- (P1)
φ(t) ≠ 0 for every t ∈ Ex+y (hence for every t ∈ Dφ);
- (P2)
sgn φ(t) is constant on each projection Ex, Ey, Ex+y (not necessarily the same in different projections);
- (P3)
φ(t) is given on Dφ by the following formulas:
- (i)
if t ∈ Ex, φ(t) = AeG(t)−G(a),
- (ii)
if t ∈ Ey, φ(t) = BeG(t)−G(b),
- (iii)
if t ∈ Ex+y, φ(t) = ABeG(t)−G(a+b),
-
where G : R → R is additive on R2; A ≠ 0, B ≠ 0 are constant.
- (i)
Remark 10. Notice that φ restricted to each of the projections Ex, Ey, Ex+y is the restriction of a solution Φ : R → R of the equation
Since this equation can be written as
Lemma 11 (see [10].)The general nowhere vanishing solution φ : Dφ = Jx ∪ Jy ∪ Jxy → R of (8) restricted to the set J(a, b; r) defined in (32) is given by the following formulas:
3.2. How the Question of Local Stability of (7) or (8) Has to Be Properly Formulated?
Moreover, it is known (see [8, 9]) that the local solutions of the restricted equations (7) or (8), which vanish somewhere, are expressed by formulas containing arbitrary functions; therefore, the problem of the local stability seems to be significant in the set of nowhere vanishing functions f.
The stability results which follow are framed in this context.
3.3. A Sign Property concerning the Perturbed Forms of the Exponential Equation and the Power Equation
Here, we will be concerned with the condition (7)δ′, (x, y) ∈ E(a, b; r) defined in (6) for some fixed δ > 0, in the set of functions f : Df = Ex ∪ Ey ∪ Ex+y → R, such that f(t) ≠ 0 for every t ∈ Df.
Let us premise a remark about signs of nowhere vanishing functions f satisfying (7)δ′ on E(a, b; r). From Lemma 9, Property (P2), it is known that every nowhere vanishing solution of the exponential Cauchy equation restricted to E(a, b; r) keeps a constant sign in each of the projections Ex, Ey, Ex+y of E(a, b; r).
Moreover, from (7)δθ′ for (x, y) = (a + ξ, b + ξ), 0 ≤ ξ < r/2, θ′′′ = θ(a + ξ, b + ξ), f(a + b + 2ξ) = ; hence, f(t) has constant sign in Ex+y.
As a consequence, from (62), (64) it follows that f has constant signs also in Ex and in Ey (the signs of f(a) and of f(b), resp.).
This proves the following.
Lemma 13. Every nowhere vanishing function f : Df = Ex ∪ Ey ∪ Ex+y → R satisfying (7)δ in E(a, b; r) keeps constant sign in each of the projections Ex, Ey, Ex+y of E(a, b; r).
Similarly, we can prove a sign property concerning the perturbed form of the power equation.
Therefore, from Lemma 13, it follows that g(u) has constant sign (=sgn g(a)) in [a, a + r), whence f(x) has constant sign (=sgn f(ea)) in [ea, ea+r); similarly for g(v) in [b, b + r), namely for f(y) in [eb, eb+r) and for g(u + v) in [a + b, a + b + r), namely f(xy) in [ea+b, ea+b+r).
Hence, the following result is proved.
Lemma 14. Every nowhere vanishing function f : Df = Jx ∪ Jy ∪ Jxy → R satisfying (65) restricted to J(a, b; r) has constant signs in each of the projections Jx, Jy, Jxy of J(a, b; r).
3.4. A Result of Local Stability for the Exponential Cauchy Equation
In the set of functions f : Df = Ex ∪ Ey ∪ Ex+y → R such that f(t) ≠ 0 for every t ∈ Df, let us consider the inequality (7)δ′, with (x, y) ∈ E(a, b; r) for some fixed δ > 0.
Theorem 15. If the function f : Df = Ex ∪ Ey ∪ Ex+y → R, is nowhere vanishing in its domain Df and satisfies (7)δ′, for some given δ > 0 and every (x, y) ∈ E(a, b; r) defined in (6) for given (a, b) ∈ R2 and r > 0, then there exists (at least) an additive function H : R → R such that the function F : Df → R
- (i)
F is a nowhere vanishing local solution of the exponential Cauchy equation F(x + y) = F(x)F(y) restricted to E(a, b; r);
- (ii)
the values F(t) are near the values f(t) on Df; more exactly
()
3.5. A Result on Local Stability of the Power Cauchy Equation
In the set of nowhere vanishing functions f : Df = Jx ∪ Jy ∪ Jxy → R, let us consider the inequality (65), (x, y) ∈ J(a, b; r) ⊂ R2 defined in (32), for some given δ > 0.
-
for u ∈ Eu = [a, a + r) then g(u) = f(x), G(u) = G(ln x) = f(ea) · e−H(a) · eH(ln x),
-
similarly for v ∈ Ev = [b, b + r) then g(v) = f(y), G(ln y) = f(eb) · e−H(b) · eH(ln y),
-
and for u + v ∈ Eu+v = [a + b, a + b + r): G(ln (xy)) = f(ea)f(eb) · e−H(a)−H(b) · eH(ln xy).
This proves the following property of local stability of the “power” Cauchy equation.
Theorem 16. Let the nowhere vanishing function f : Df ⊂ R+ → R satisfy the condition (65) for some given δ > 0 and every (x, y) ∈ J(a, b; r) defined in (32), for given (a, b) ∈ R2 and r > 0; Df = Jx ∪ Jy ∪ Jxy; then there exists (at least) an additive function H : R → R such that the function Φ : Df → R defined by
- (i)
Φ is a local solution of the Cauchy equation Φ(xy) = Φ(x)Φ(y) restricted to J(a, b; r);
- (ii)
the values of Φ(t) are near the values f(t) in Df; more exactly
()