Professional Documents
Culture Documents
Ulam Stability of
Operators
Authors
Janusz Brzdek
˛
Pedagogical University, Department of Mathematics,
Podchorażych
˛ 2, 30-084 Kraków, Poland
Dorian Popa
Technical University of Cluj-Napoca, Department of
Mathematics, 28 Memorandumului Street, 400114,
Cluj-Napoca, Romania
Ioan Raşa
Technical University of Cluj-Napoca, Department of
Mathematics, 28 Memorandumului Street, 400114,
Cluj-Napoca, Romania
Bing Xu
Sichuan University, Department of Mathematics,
No. 29 Wangjiang Road, 610064, Chengdu, China
Series Editor
Themistocles M. Rassias
Academic Press is an imprint of Elsevier
125 London Wall, London EC2Y 5AS, United Kingdom
525 B Street, Suite 1800, San Diego, CA 92101-4495, United States
50 Hampshire Street, 5th Floor, Cambridge, MA 02139, United States
The Boulevard, Langford Lane, Kidlington, Oxford OX5 1GB, United Kingdom
Copyright
c 2018 Elsevier Inc. All rights reserved.
No part of this publication may be reproduced or transmitted in any form or by any means, electronic
or mechanical, including photocopying, recording, or any information storage and retrieval system,
without permission in writing from the publisher. Details on how to seek permission, further information
about the Publisher’s permissions policies and our arrangements with organizations such as the
Copyright Clearance Center and the Copyright Licensing Agency, can be found at our website:
www.elsevier.com/permissions.
This book and the individual contributions contained in it are protected under copyright by the Publisher
(other than as may be noted herein).
Notices
Knowledge and best practice in this field are constantly changing. As new research and experience
broaden our understanding, changes in research methods, professional practices, or medical treatment
may become necessary.
Practitioners and researchers must always rely on their own experience and knowledge in evaluating and
using any information, methods, compounds, or experiments described herein. In using such information
or methods they should be mindful of their own safety and the safety of others, including parties for
whom they have a professional responsibility.
To the fullest extent of the law, neither the Publisher nor the authors, contributors, or editors, assume any
liability for any injury and/or damage to persons or property as a matter of products liability, negligence
or otherwise, or from any use or operation of any methods, products, instructions, or ideas contained in
the material herein.
ISBN: 978-0-12-809829-5
Janusz Brzdek,
˛ Dorian Popa, Ioan Raşa, Bing Xu
ACKNOWLEDGMENT
We thank the Elsevier staff for guidance throughout the publishing process; we espe-
cially thank Susan E. Ikeda and her team. We are also grateful to all the anonymous
referees for carefully reviewing and improving our preliminary proposal of this mono-
graph.
Janusz Brzdek,
˛ Dorian Popa, Ioan Raşa, Bing Xu
June 30, 2017
ix
PREFACE
The aim of this book is not to present a survey of various papers dealing with the Ulam
stability. We would not be able to do this in one book, because this area of research
is too vast at the moment. Moreover, there are several such books published already
and we do not want to copy their approach. Rather, we try to propose a somewhat
new systematic approach to investigating Ulam stability. Therefore, after presenting
some general results we show numerous examples of applications in various forms
of difference, differential, functional and integral equations. Certainly, we use various
previously published results, but in this book they are very often extended, generalized,
and/or modified. So, it can be said that this book contains numerous outcomes that are
new and unpublished, so far.
In this way we would like to show possible directions for future research and thus
stimulate further investigations of Ulam stability as well as other related areas of math-
ematics. For this reason we do not tend to obtain the most general version of outcomes
and further possible generalizations of them can be easily visible in many cases.
In the first chapter we present a brief introduction to the subject and cite several
somewhat randomly selected results, providing references to sources with more de-
tailed information on Ulam stability.
Our book presents, for the first time in unified and systematic way, some novel
approaches to Ulam stability of numerous, mainly linear, operators. Moreover, it has a
unique position of presenting up-to-date knowledge on subjects that have been treated
only marginally in other similar books published. It includes, in particular, a lot of in-
formation on stability of several difference equations, functional equations in a single
variable, various types of differential equations, and some integral equations.
It collects and compares suitable results from papers that have been published sev-
eral years ago but also those published very recently; also, it unifies, complements,
generalizes, and updates that information. Whenever it is suitable, open problems have
been stated that suggest further possible exploration in the corresponding areas. The
book is of interest to specialized researchers in the fields of various types of analysis,
operator theory, difference and functional equations and inequalities, and differential
and integral equations.
Janusz Brzdek,
˛ Dorian Popa, Ioan Raşa, Bing Xu
June 30, 2017
xi
ABOUT THE AUTHORS
xiii
CHAPTER 1
Abstract
We describe the origin of Ulam stability theory, methods, and approaches, as well as some
relevant results on this topic. In particular, we mention the preliminary result of G. Pólya and
G. Szegö (published in 1925), describe the problem of S.M. Ulam (1909-1984), posed in
1940, and the partial solution to it that was published in 1941 by D.H. Hyers. Next, we present
the further analogous outcomes of Ulam and Hyers (e.g., those published in 1945, 1947,
1952) and the results of T. Aoki (1950), D.G. Bourgin (1949, 1951), Th.M. Rassias (1978), J.
Rätz (1980), P. Găvruţa (1994) and others. We then discuss the stability results for various
equations (difference, differential, functional, and integral) providing suitable examples of
them. We also depict the notions of superstability and hyperstability, and we present some
remarks on the notion of nonstability.
1. Historical background
The stability problem of functional equations was originally raised by Stanisław Marcin
Ulam (cf. [73, 144]) in the fall term of the year 1940, when he gave a wide ranging
talk before the Mathematics Club of the University of Wisconsin, discussing a num-
ber of unsolved problems. Among these was the following question concerning the
approximate homomorphisms of groups:
We are given a group G1 and a metric group G2 with metric d. Given ε > 0, does
there exist a δ > 0 such that if f : G1 → G2 satisfies
d( f (xy), f (x) f (y)) ≤ δ, x, y ∈ G1 ,
then a homomorphism g : G1 → G2 exists with
d( f (x), g(x)) ≤ ε, x ∈ G1 ?
The first partial answer to Ulam’s question came within a year, when D.H. Hyers
[73] proved a result that can be stated as follows:
Clearly,
δ
kgn (x + y) − gn (x) − gn (y)k ≤
, x, y ∈ E1 , n ∈ N,
2n
whence letting n → ∞ we obtain the additivity of g. Next, (1.1) with m = 0, yields
k f (x) − g(x)k ≤ δ, x ∈ E1 . (1.2)
Note that, for any additive g̃ : E1 → E2 , satisfying the inequality
k f (x) − g̃(x)k ≤ δ, x ∈ E1 ,
we have
kg(x) − g̃(x)k ≤ 2δ, x ∈ E1 ,
which implies that g = g̃.
Clearly, if f is continuous at point y ∈ E1 , then from (1.2) we deduce that g is
bounded in a neighborhood of y, and consequently g is continuous.
Finally, if for a fixed x, the function f x : R 3 t → f (tx) is continuous, then the func-
4 Ulam stability of operators
tion R 3 t → g(tx) is additive and bounded on any finite interval, whence continuous
and therefore linear. So, the assumption of continuity of f x for each x ∈ E1 implies the
linearity of g.
Th.M. Rassias in [125] considered a particular case of that stability result with
Φ(x, y) = K(kxk p + kyk p ), for K ≥ 0 and p ∈ [0, 1), but under the additional assumption
of the continuity of the function R 3 t → f (tx) for each fixed x ∈ E1 . He obtained in
this way not only the additivity, but also the linearity of g. In view of a large influence
of [125] and numerous other Rassias papers (see, e.g., [122, 127, 128, 131]), on the
further study of stability problem for functional equations, the stability phenomenon
of such type has been very often called the Hyers-Ulam-Rassias stability.
It is easily seen that the method of proof of Theorem 2 works also in the case
Ch. 1. Introduction to Ulam stability 5
where (E1 , +) is "only" a semigroup. But J. Rätz [132] noticed even more (see also
[13]). Namely, let (G, ∗) be a power-associative groupoid, i.e., G is a non-empty set
endowed with a binary operation ∗ : G × G → G such that the left powers satisfy
xm+n = xm ∗ xn , m, n ∈ N, x ∈ G.
Let (Y, | · |) be a topological vector space over the field Q of rationals, with Q topol-
ogized by its usual absolute value | · |. The stability results [132, Theorems 4 and 5]
have been obtained by a direct method and can be stated as follows.
Let us finally mention one more stability result proved by P. Găvruţa [68] for the
Cauchy equation (with inequality (1.3)); it can be stated as follows.
If f : X → Y satisfies
k f (x + y) − f (x) − f (y)k ≤ Φ(x, y), x, y ∈ X,
then there exists a unique mapping g : X → Y such that
g(x + y) = g(x) + g(y), x, y ∈ X,
6 Ulam stability of operators
and
1
k f (x) − g(x)k ≤ Φ̃(x, x), x ∈ X.
2
Besides the above results a great number of papers on stability have been pub-
lished, generalizing and extending Ulam’s problem in various directions and to other
equations or operators (see, e.g., [2, 14, 26, 32, 33, 34, 38, 39, 63, 70, 75, 81, 86, 97,
129, 140, 146]), in particular to various conditional versions of the homomorphism
equation (see, e.g., [36, 45]). For some discussions on suitable terminology we refer
to [108, 109, 110, 111].
3. Approximate isometries
Let (E1 , dE1 ) and (E2 , dE2 ) be metric spaces. A mapping I : E1 → E2 is called an
isometry if I satisfies the equation
dE2 (I(x), I(y)) = dE1 (x, y), x, y ∈ E1 .
D.H. Hyers and S.M. Ulam [76] proved the following stability result for isometries
between real Hilbert spaces.
Theorem 6. Let E be a complete real Hilbert space. Let ε > 0 and T be a surjection
of E into itself that is an ε-isometry, that is,
|ρ(T (x), T (y)) − ρ(x, y)| < ε, x, y ∈ E,
where ρ denotes the inner product in E. Assume that T (0) = 0. Then the limit
T (2n x)
I(x) = lim
n→∞ 2n
exists for every x ∈ E and the transformation I is a surjective isometry of E into itself,
which satisfies
kT (x) − I(x)k < 10ε, x ∈ E.
This result of Hyers and Ulam was the first one concerning the stability of isome-
tries and was generalized further by D.G. Bourgin [22] as follows.
Subsequently, D.H. Hyers and S.M. Ulam [77] studied a stability problem for
spaces of continuous mappings and obtained the next theorem.
Theorem 8. Let S 1 and S 2 be compact metric spaces and C(S i ) denote the space of
real-valued continuous mappings on S i equipped with the supremum norm k · k∞ . If a
homeomorphism T : C(S 1 ) → C(S 2 ) satisfies the inequality
kT ( f ) − T (g)k∞ − k f − gk∞ ≤ ε, f, g ∈ C(S 1 ), (1.5)
for some ε > 0, then there exists an isometry I : C(S 1 ) → C(S 2 ) such that
kT ( f ) − I( f )k∞ ≤ 21ε, f ∈ C(S 1 ).
This result was significantly generalized by D.G. Bourgin in [23] in the following
way.
Theorem 9. Let S 1 and S 2 be completely regular Hausdorff spaces and let T : C(S 1 ) →
C(S 2 ) be a surjective mapping satisfying inequality (1.5) for some ε > 0. Then there
exists a linear isometry I : C(S 1 ) → C(S 2 ) such that
kT ( f ) − I( f )k∞ ≤ 10ε, f ∈ C(S 1 ).
J. Gevirtz [71] established the following stability result for isometries between ar-
bitrary Banach spaces.
Later, M. Omladic̆ and P. S̆emrl [114] showed that the bound 5ε in (1.6) can be
replaced by 2ε.
Recently, G. Dolinar [57] proved a somewhat surprising stability result for isome-
tries. Namely, he showed that, for each real p > 1 and every finite-dimensional real
Banach spaces E1 and E2 , every surjective T : E1 → E2 satisfying the inequality
kT (x) − T (y)k − kx − yk ≤ εkx − yk p , x, y ∈ E1 ,
for some ε > 0, must be an isometry.
On the other hand, R.L. Swain [141] considered the stability of isometries on
bounded metric spaces and proved the following result.
Theorem 12. Let M be a subset of a compact metric space (E, d) and let ε > 0 be
given. Then there exists a δ > 0 such that if T : M → E satisfies the inequality
|d(T (x), T (y)) − d(x, y)| < δ, x, y ∈ M, (1.7)
then there exists an isometry I : M → E with
d(T (x), I(x)) < ε, x ∈ M.
Finally, let us recall that the subsequent stability result for isometries on bounded
subsets of Rn was obtained by J.W. Fickett [62].
for some ε > 0. If a mapping T : M → Rn satisfies inequality (1.7), then there exists
an isometry I : M → Rn such that
|T (x) − I(x)| ≤ d(M)Kn+1 (ε/d(M)), x ∈ M.
Recently, S.M. Jung and B. Kim [87] investigated the stability of isometries on
restricted domains. For further information on the stability of isometries and related
topics, we refer to [7, 18, 99, 128, 130, 139].
Theorem 14. Let D ⊂ Rn be an open convex set with non-empty interior and a function
f : D → R satisfy
f (tx + (1 − t)y) ≤ t f (x) + (1 − t) f (y) + ε, x, y ∈ D, 0 ≤ t ≤ 1.
Let B be a closed bounded convex subset of D. Then there exists a convex function
g : B → R such that
| f (x) − g(x)| ≤ kn ε, x ∈ B,
where
n2 + 3n
kn = .
4n + 4
Next, let us recall a result of Z. Kominek [93] for the Jensen equation.
Theorem 15. Let D ⊂ Rn be a bounded set with a nonempty interior and Y be a Ba-
nach space. Assume that there exists x0 ∈ D such that D0 := D − x0 satisfies the con-
dition
1
D0 ⊂ D0 .
2
Then, for each function f : D → Y such that
x + y f (x) + f (y)
sup f − < ∞,
x,y∈D 2 2
there exists g : Rn → Y such that
x + y g(x) + g(y)
g = , x, y ∈ Rn ,
2 2
10 Ulam stability of operators
and
sup k f (x) − g(x)k < ∞.
x∈D
The first author treating Hyers-Ulam stability of the quadratic equation was F. Skof
[138], who proved the following.
Theorem 16. Let X be a normed vector space and Y a Banach space. If a function
f : X → Y fulfills
k f (x + y) + f (x − y) − 2 f (x) − 2 f (y)k ≤ δ, x, y ∈ X,
for some δ > 0, then for every x ∈ X the limit
f (2n x)
g(x) = lim
n→∞ 22n
Since then, the stability problem for the quadratic equation has been extensively
investigated by a number of mathematicians in, e.g., [56, 80, 124, 127].
The Hyers-Ulam-Rassias stability of the pexiderized versions of the additive, Jensen,
and quadratic equations, i.e., of the following three equations
f (x + y) = g(x) + h(y),
x + y g(x) + h(y)
f = ,
2 2
f (x + y) + g(x − y) = h(x) + k(y),
has been studied in [79, 95, 96]. In particular the subsequent theorem has been proved
in [96].
Theorem 18. Let S be a nonempty set and X be a real (or complex) Banach space.
Consider f : S → S , h : S → X, g : S → R (or C) with
|g(x)| ≤ λ, x ∈ S,
for some 0 ≤ λ < 1. Suppose that ϕ s : S → X satisfies
kϕ s (x) − g(x)ϕ s ( f (x)) − h(x)k ≤ δ x ∈ S,
where δ > 0 is a constant. Then there exists a unique function ϕ : S → X that satisfies
equation (1.8) and
δ
kϕ s (x) − ϕ(x)k ≤ , x ∈ S.
1−λ
Moreover,
ρ(ϕ s , ϕ) − γ(ρ(ϕ s , ϕ)) ≤ δ.
The following quite general stability results for difference equations have been
obtained in [40, Theorems 1 and 2].
εn−1 λn
lim inf >1 (1.11)
n→∞ εn
and
d(an (x), an (y)) ≥ λn d(x, y), x, y ∈ G, n ∈ N0 . (1.12)
Then there exists a unique sequence {yn }n∈N0 ⊂ G such that
yn+1 = an (yn ) + bn , n ∈ N0 (1.13)
and
d(xn , yn ) ≤ Mεn−1 , n ∈ N, (1.14)
with an M ∈ R+ .
Theorem 21. Let (X, d) be a metric space, {xn }n∈N0 ⊂ X, {an }n∈N0 ⊂ X X , {εn }n∈N0 ⊂
(0, ∞), and
d(xn+1 , an (xn )) ≤ εn , n ∈ N0 .
Ch. 1. Introduction to Ulam stability 13
Let S be a nonempty set, X be a Banach space over a field K ∈ {R, C}, and the
functions F : S → X, f : S → S and ai : S → K for i = 1, . . . , m be given. A natural
generalization of a particular case of equation (1.8) is the linear functional equation of
the order m ∈ N of the form
m
X
ϕ( f m (x)) = a j (x)ϕ( f m− j (x)) + F(x), (1.16)
j=1
r j ( f (x)) = r j (x), x ∈ S , j = 2, . . . , m.
Now we are in a position to present a result that follows from [42, Theorem 1].
Theorem 22. Let ε0 : S → R+ and (H) be valid. Assume that 0 < am (S ) and ϕ s : S →
14 Ulam stability of operators
The next stability result, for a simplified form of (1.16) (with constant functions
a j ), can be deduced from [41, Theorem 2].
with
δ
kϕ s (x) − ϕ(x)k ≤ , x ∈ S. (1.21)
|1 − |r1 || · ... · |1 − |rm ||
Ch. 1. Introduction to Ulam stability 15
Moreover, in the case where 1◦ or 3◦ holds, ϕ is the unique solution of (1.20) such that
sup kϕ s (x) − ϕ(x)k < ∞.
x∈S
The issue of stability of functional equations in one variable has been investigated
also for multi-valued functions; for suitable results and references we refer the reader
to [39]. Here, we provide only one example of such results.
Let S be a nonempty set, (Y, d) be a metric space, and n(Y) be the family of all
nonempty subsets of Y. Write
δ(A) := sup {d(x, y) : x, y ∈ A}
for nonempty sets A ⊂ Y and, given F : S → n(Y), denote by clF the multifunction
defined by
(clF)(x) := clF(x) , x ∈ S.
Remember that each f : S → Y with
f (x) ∈ F(x) , x ∈ S,
is said to be a selection of the multifunction F.
The following result has been obtained in [115, Theorem 2] (see also [43]).
1) If Y is complete and
Ψ(F(ξ(x))) ⊂ F(x) , x ∈ S,
then, for each x ∈ S , the limit
lim cl Ψn ◦ F ◦ ξn (x) =: f (x)
n→∞
exists (with respect to the Hausdorff distance in n(Y)) and f is a unique selection
of the multifunction clF such that
Ψ ◦ f ◦ ξ = f.
2) If
F(x) ⊂ Ψ(F(ξ(x))) , x ∈ S,
16 Ulam stability of operators
6. Iterative stability
D. Brydak [27] (cf. [49, Definition 2]) introduced the notion of stability, which later
has been called iterative stability. Namely, let I = (0, d] for a d > 0, and ξ : I → I,
a, h : I → R be given functions. For the linear equation
ϕ(ξ(x)) = a(x)ϕ(x) + h(x), x ∈ I, (1.22)
(for functions ϕ : I → R) it means that there exists a real constant κ > 0 such that, for
every ε > 0 and every continuous function ψ : I → R satisfying the condition
n−1
X h(ξi (x))
ψ(ξn (x)) − Gn (x)ψ(x) − Gn (x) ≤ ε, x ∈ I, n ∈ N, (1.23)
i=0
Gi+1 (x)
there exists a continuous solution ϕ of equation (1.22) such that
|ψ(x) − ϕ(x)| ≤ κε, x ∈ I, (1.24)
where
n−1
Y
Gn (x) := a(ξi (x)), x ∈ I. (1.25)
i=0
D. Brydak [27] proved that if equation (1.22) has a continuous solution, the limit
G(x) := lim Gn (x)
n→∞
n-th order
F(y(n) (x), y(n−1) (x), . . . , y0 (x), y(x), x) = 0. (1.26)
Namely, for an arbitrary ε > 0, consider the differential inequality
|F(y(n) (x), y(n−1) (x), . . . , y0 (x), y(x), x)| ≤ ε, x ∈ I, (1.27)
for the n times continuously differentiable functions y : I → R. If for each function
y : I → R satisfying (1.27), there exists a solution y0 : I → R of (1.26) such that
|y(x) − y0 (x)| ≤ K(ε), x ∈ I, (1.28)
where K(ε) depends on ε only and
lim K(ε) = 0,
ε→0
then we say that the differential equation (1.26) is Hyers-Ulam stable (or has the Hyers-
Ulam stability); if the domain I is not the whole space R, then we say that it has the
local Hyers-Ulam stability. When the above statement also holds with ε and K(ε)
replaced with some appropriate functions ϕ, Φ : I → R+ (nonnegative reals), respec-
tively, then we say that the differential equation (1.26) has the generalized Hyers-Ulam
stability (or the Hyers-Ulam-Rassias stability).
It seems that the Hyers-Ulam stability of differential equations was investigated
first by M. Obłoza [113] in the following way.
Theorem 25. Given real constants a and b, let g, r : (a, b) → R be continuous func-
tions with
Z b
|g(x)|dx < ∞.
a
Assume that ε > 0 is an arbitrary real number. Assume that a differentiable function
y : (a, b) → R satisfies the inequality
|y0 (x) + g(x)y(x) − r(x)| ≤ ε, x ∈ (a, b),
and a function y0 : (a, b) → R is such that
y00 (x) + g(x)y0 (x) = r(x), x ∈ (a, b),
and y(τ) = y0 (τ) for some τ ∈ (a, b). Then there exists a constant δ > 0 with
|y(x) − y0 (x)| ≤ δ, x ∈ (a, b).
Theorem 26. Let a, b, ε ∈ R, a < b, and ε > 0. For every differentiable function y :
18 Ulam stability of operators
The result of Alsina and Ger was extended by T. Miura, S. Miyajima, and S.E.
Takahasi [104, 105, 142] and by S.E. Takahasi, H. Takagi, T. Miura, and S. Miyajima
[143] to the first-order linear differential equations and linear differential equations of
higher order with constant coefficients. In particular, the following result has been
proved in [105].
Theorem 27. Let X be a non-zero complex Banach space with a norm k · k, D = d/dt
be the differential operator, and P(z) a polynomial of degree n ∈ N with complex coef-
ficients. Then the following conditions are equivalent.
(i) P(z) = 0 has no purely imaginary solutions.
(ii) P(D) : C n (R, X) → C(R, X) has the Hyers-Ulam stability.
(iii) The equation P(D) f = 0 has the Hyers-Ulam stability.
Moreover, if P(D) has the Hyers-Ulam stability, then for each ε ≥ 0, g ∈ C(R, X)
and f ∈ C n (R, X) with
kP(D) f − gk∞ ≤ ε,
the element f0 ∈ C n (R, X), satisfying the conditions
P(D) f0 = g, k f − f0 k∞ < ∞,
is uniquely determined, where
k f k∞ := sup k f (t)k, f ∈ C(R, X).
t∈R
Extensions of the outcomes of Takahasi, Takagi, and Miura have been obtained by
S.M. Jung [82, 83, 84, 91]. Let us recall here a result in [83].
Theorem 28. Let X be a complex Banach space and let I = (a, b) be an open interval,
where a, b ∈ R ∪ {±∞} are arbitrarily given with a < b. Assume that g : I → C and
h : I → X are continuous functions such that g(t) and the function
Z t !
t → h(t) exp g(u)du
a
Ch. 1. Introduction to Ulam stability 19
for every t ∈ I.
I.A. Rus [134, 135] obtained some results on the stability of differential equa-
tions using Gronwall lemma and the technique of weakly Picard operators. Recently,
G. Wang, M. Zhou, and L. Sun [145] and Y. Li and Y. Shen [98] proved the Hyers-
Ulam stability of the linear differential equation of the first order and the linear differ-
ential equation of the second order with constant coefficients by using the method of
integral factor. For some related outcomes we refer to [35, 147, 148].
Some extensions of the results given in [84, 98, 105] were obtained by D.S. Cîm-
pean and D. Popa, and by D. Popa and I. Raşa X for the linear differential equations of
the n-th order (see [54, 120, 121]). It seems that the first paper on Hyers-Ulam stability
of partial differential equations was written by A. Prástaro and Th.M. Rassias [122];
for recent results on this subject we refer the reader to [1, 55, 100, 101, 133, 137].
The issue of Hyers-Ulam-Rassias stability and Hyers-Ulam stability have also been
investigated for integral equations, and for suitable information we refer to [6, 35, 46,
47, 64, 65, 69, 85, 103, 106, 136]. Here we present only few such outcomes. To this
end, let us recall that, for a given continuous function f and a fixed real number c, the
integral equation
Z x
y(x) = f (τ, y(τ))dτ (1.29)
c
is called a Volterra integral equation of the second kind. If for each function y(x)
20 Ulam stability of operators
satisfying
Z x
y(x) − f (τ, y(τ))dτ ≤ ψ(x) (1.30)
c
where ψ(x) ≥ 0 for all x, there exists a solution y0 (x) of the Volterra integral equation
(1.29) and a constant C > 0 with
|y(x) − y0 (x)| ≤ Cψ(x) (1.31)
for all x, where C is independent of y(x) and y0 (x); then we say that the integral
equation (1.29) has the Hyers-Ulam-Rassias stability. If ψ(x) is a constant function
in the above inequalities, we say that the integral equation (1.29) has the Hyers-Ulam
stability.
For instance, S.M. Jung [85] has proved the following result on the Hyers-Ulam-
Rassias stability and the Hyers-Ulam stability of integral equation (1.29).
Theorem 29. Let K and L be positive constants with 0 < KL < 1 and let I = [a, b] be
given for fixed real numbers a, b with a < b. Assume that f : I × C → C is a continu-
ous function which satisfies a Lipschitz condition,
| f (x, y) − f (x, z)| ≤ L|y − z|, (1.32)
for any x ∈ I and all y, z ∈ C. If a continuous function y : I → C satisfies
Z x
y(x) − f (τ, y(τ))dτ ≤ ψ(x)
c
for all x and for some c ∈ I, where ψ : I → (0, ∞) is a continuous function with
Z x
| ψ(τ)dτ| ≤ Kψ(x)
c
for each x ∈ I, then there exists a unique continuous function y0 : I → C such that
Z x
y0 (x) = f (τ, y0 (τ))dτ,
c
1
|y(x) − y0 (x)| ≤ ψ(x)
1 − KL
for all x ∈ I.
Theorem 30. Given a ∈ R and r > 0, let I(a; r) denote a closed interval {x ∈ R|a − r ≤
x ≤ a + r} and let f : I(a; r) × C → C be a continuous function that satisfies a Lip-
schitz condition (1.32) for all x ∈ I(a; r) and y, z ∈ C, where L is a constant with
Ch. 1. Introduction to Ulam stability 21
In 2009 L.P. Castro and A. Ramos [46] investigated Hyers-Ulam stability for a
generalized Volterra integral equation of the form
Z x
y(x) = f (x, τ, y(τ))dτ (1.33)
a
on a finite and on an infinite intervals.
Theorem 31. Let K and L be positive constants with 0 < KL < 1 and assume that f :
[a, b] × [a, b] × C → C is a continuous function that additionally satisfies the Lipschitz
condition
| f (x, τ, y) − f (x, τ, z)| ≤ L|y − z| (1.34)
for any x, τ ∈ [a, b] and all y, z ∈ C. If a continuous function y : [a, b] → C satisfies
Z x
y(x) − f (x, τ, y(τ))dτ ≤ ψ(x) (1.35)
a
for all x ∈ [a, b], and where ψ : [a, b] → (0, ∞) is a continuous function with
Z x
ψ(τ)dτ ≤ Kψ(x) (1.36)
a
for each x ∈ [a, b], then there exists a unique continuous function y0 : [a, b] → C such
that
Z x
y0 (x) = f (x, τ, y0 (τ))dτ, (1.37)
a
1
|y(x) − y0 (x)| ≤ ψ(x) (1.38)
1 − KL
for all x ∈ [a, b].
22 Ulam stability of operators
Theorem 32. Let K and L be positive constants with 0 < KL < 1 and assume f : R ×
R × C → C is a continuous function that additionally satisfies the Lipschitz condition
(1.34), for any x, τ ∈ R and all y, z ∈ C. If a continuous function y : R → C satisfies
(1.35), for all x ∈ R and for some a ∈ R, where ψ : R → (0, ∞) is a continuous function
satisfying (1.36), for each x ∈ R, then there exists a unique continuous function y0 :
R → C which satisfies (1.37) and (1.38) for all x ∈ R.
Let us mention that M. Gachpazan and O. Baghani [64] proved a result on the
Hyers-Ulam stability of the following nonhomogeneous nonlinear Volterra integral
equation:
Z x
y(x) = f (x) + ϕ F(x, τ, y(τ))dτ ,
a
where x ∈ [a, b], with −∞ < a < b < ∞.
Using that result and a theorem of Pl. Kannappan [92], J.A. Baker [19] proved
further the following superstability outcome for the cosine equation.
Ch. 1. Introduction to Ulam stability 23
Since then, numerous similar results have been published and we refer to the survey
[33] for more information and references concerning the notions of superstability and
hyperstability (which quite often are confused).
Probably the first hyperstability result was published in [23] and concerned ring
homomorphisms. However, the term "hyperstability" was used for the first time in
[102].
As mentioned before, the following extension of Theorem 3 is valid.
It has a very nice simple form, but it has been improved in [94] to show that, in
the case p < 0, each f : E1 → E2 satisfying (1.39) must actually be additive (and the
completeness of E2 is not necessary in such a situation). Below, we present a slightly
more general theorem from [28].
exists (not necessarily finite) for every x ∈ X \ f −1 (0), then either f is bounded or it is
a solution of (1.41) on X.
Later on, in [51] and [52], analogous results have been proved for the equation
f (x + f (x)n y) = λ f (x) f (y) (1.45)
where n is a positive integer and λ is a nonzero complex number.
A survey of the stability results for the functional equations of Gołab-Schinzel
˛ type
can be found in [2]. Stability of few other similar equations have been investigated in
[37, 48, 61, 112]. For a survey on stability outcomes for the translation equation
F(t, F(s, x)) = F(s + t, x)
we refer to [123].
10. Nonstability
In connection with the stability result in [125], depicted by Theorem 3, and an easy
observation that its proof actually works for p < 0, Th.M. Rassias asked a natural
question about an analogous result for p ≥ 1. This problem was raised by him during
the 27th International Symposium on Functional Equations (cf. [126]). Very soon
Z. Gajda [66] gave an affirmative answer to the question for p > 1 (using the direct
method) and provided a simple counterexample showing that this is not the case for
26 Ulam stability of operators
p = 1. Namely, he showed that, for each K > 0, there exists a function f : R → R such
that
| f (x + y) − f (x) − f (y)| ≤ K(|x| + |y|), x, y ∈ R, (1.46)
e ∈ [0, ∞) and any additive function g : R → R
and there does not exist any constant K
with
| f (x) − g(x)| ≤ K|x|,
e x ∈ R. (1.47)
The example is depicted below.
Clearly, φ is continuous and |φ(x)| ≤ µ for all x ∈ R. So, we may define a continuous
function f : R → R by
∞
X φ(2n x)
f (x) := , x ∈ R,
n=0
2n
Moreover,
∞
X µ
| f (x)| ≤ n
= 2µ, x ∈ R.
n=0
2
e ∈ [0, ∞) and
It can be shown (see [66]) that (1.46) holds with K := 6µ and for every K
every additive function g : R → R condition (1.47) does not hold.
After that Th.M. Rassias and P. S̆emrl [131] have noticed that the unbounded con-
tinuous function f : R → R, defined by
x log2 (x + 1), x ≥ 0,
(
f (x) =
x log2 |x − 1|, x < 0,
satisfies the inequality
| f (x + y) − f (x) − f (y)| ≤ |x| + |y|, x ∈ R,
and f (x)/x → ∞ as x → ∞, whence no continuous additive function g : R → R can
satisfy the condition
| f (x) − g(x)|
sup < ∞,
x∈R0 |x|
Ch. 1. Introduction to Ulam stability 27
where R0 := R \ {0}.
Further issues connected with the notion of nonstability are discussed in the last
chapter of this book.
REFERENCES
1. M.R. Abdollahpour, R. Aghayari, M.Th. Rassias, Hyers-Ulam stability of associated Laguerre dif-
ferential equations in a subclass of analytic functions, J. Math. Anal. Appl. 437 (2016) 605–612.
2. R.P. Agarwal, J. Brzdek,
˛ J. Chudziak, Stability problem for the composite type functional equations,
Expo. Math., to appear.
3. R.P. Agarwal, B. Xu, W. Zhang, Stability of functional equations in single variable, J. Math. Anal.
Appl. 288 (2003) 852–869.
4. L. Aiemsomboon, W. Sintunavarat, On generalized hyperstability of a general linear equation, Acta
Math. Hungar. 149 (2016) 413–422.
5. L. Aiemsomboon, W. Sintunavarat, Two new generalised hyperstability results for the Drygas func-
tional equation, Bull. Aust. Math. Soc. 95 (2017) 269–280.
6. M. Akkouchi, Hyers-Ulam-Rassias stability of nonlinear Volterra integral equations via a fixed point
approach, Acta Univ. Apulensis Math. Inform. 26 (2011) 257–266.
7. P. Alestalo, Isometric approximation in bounded sets and its applications, In: Developments in
Functional Equations and Related Topics (J. Brzdek, ˛ K. Ciepliński, Th. M. Rassias, eds.), Springer
Optimization and Its Applications, to appear.
8. M. Almahalebi, On the hyperstability of σ-Drygas functional equation on semigroups, Aequationes
Math. 90 (2016) 849–857.
9. C. Alsina, R. Ger, On some inequalities and stability results related to the exponential function, J.
Inequal. Appl. 2 (1998) 373–380.
10. T. Aoki, On the stability of the linear transformation in Banach spaces, J. Math. Soc. Japan 2 (1950)
64–66.
11. R. Badora, J. Chmieliński, Decomposition of mappings approximately inner product preserving,
Nonlinear Anal. TMA 62 (2005) 1015–1023.
12. A. Bahyrycz, Hyperstability of some functional equation on restricted domain: direct and fixed point
methods, Bull. Iran. Math. Soc. 42 (2016) 959–974.
13. A. Bahyrycz, J. Brzdek,˛ Remarks on stability of the equation of homomorphism for square sym-
metric groupoids, In: (Th. M Rassias, ed.) Handbook of Functional Equations: Stability Theory, pp.
37–57, Springer Optimization and Its Applications, Springer, 2014.
14. A. Bahyrycz, K. Ciepliński, On an equation characterizing multi-Jensen-quadratic mappings and its
Hyers-Ulam stability via a fixed point method, J. Fixed Point Theory Appl. 18 (2016) 737–751.
15. A. Bahyrycz, J. Olko, Hyperstability of general linear functional equation. Aequationes Math. 90
(2016) 527–540.
16. A. Bahyrycz, Zs. Páles, M. Piszczek, Asymptotic stability of the Cauchy and Jensen functional
equations, Acta Math. Hungar. 150 (2016) 131–141.
17. A. Bahyrycz, M. Piszczek, Hyperstability of the Jensen functional equation, Acta Math. Hungar.
142 (2014) 353–365.
18. J.A. Baker, Isometries in normed spaces, Amer. Math. Monthly 78 (1971) 655–658.
19. J.A. Baker, The stability of the cosine equation, Proc. Amer. Math. Soc. 80 (1980) 411–416.
20. J.A. Baker, The stability of certain functional equations, Proc. Amer. Math. Soc. 112 (1991) 729–
732.
21. J.A. Baker, J. Lawrence, F. Zorzitto, The stability of the equation f (x + y) = f (x) f (y), Proc. Amer.
Math. Soc. 74 (1979) 242–246.
22. D.G. Bourgin, Approximate isometries, Bull. Amer. Math. Soc. 52 (1946) 704–714.
23. D.G. Bourgin, Approximately isometric and multiplicative transformations on continuous function
rings, Duke Math. J. 16 (1949) 385–397.
24. D.G. Bourgin, Classes of transformations and bordering transformations, Bull. Amer. Math. Soc. 57
28 Ulam stability of operators
(1951) 223–237.
25. R.D. Bourgin, Approximate isometries on finite dimensional Banach spaces, Trans. Amer. Math.
Soc. 207 (1975) 309–328.
26. N. Brillouët-Belluot, J. Brzdȩk, K. Ciepliński, On some recent developments in Ulam’s type stabil-
ity, Abstr. Appl. Anal. 2012 (2012), Art. ID 716936, 41 pp.
27. D. Brydak, On the stability of the functional equation ϕ[ f (x)] = g(x)ϕ(x) + F(x), Proc. Amer. Math.
Soc. 26 (1970) 455–460.
28. J. Brzdek,
˛ Hyperstability of the Cauchy equation on restricted domains, Acta Math. Hungar. 141
(2013) 58–67.
29. J. Brzdek,
˛ Remarks on hyperstability of the Cauchy functional equation, Aequationes Math. 86
(2013) 255–267.
30. J. Brzdek,
˛ A hyperstability result for the Cauchy equation, Bull. Aust. Math. Soc. 89 (2014) 33–40.
31. J. Brzdek,
˛ Remarks on stability of some inhomogeneous functional equations, Aequationes Math.
89 (2015) 83–96.
32. J. Brzdek,
˛ L. Cădariu, K. Ciepliński, Fixed point theory and the Ulam stability, J. Funct. Space.
2014 (2014), Art. ID 829419, 16 pp.
33. J. Brzdek,
˛ K. Ciepliński, Hyperstability and superstability, Abstr. Appl. Anal. 2013 (2013), Art. ID
401756, 13 pp.
34. J. Brzdek,
˛ K. Ciepliński, Z. Leśniak, On Ulam’s type stability of the linear equation and related
issues, Discrete Dyn. Nat. Soc. 2014 (2014), Art. ID 536791, 14 pp.
35. J. Brzdek,
˛ N. Eghbali, On approximate solutions of some delayed fractional differential equations,
Appl. Math. Lett. 54 (2016) 31–35.
36. J. Brzdek,
˛ W. Fechner, M.S. Moslehian, J. Sikorska, Recent developments of the conditional stability
of the homomorphism equation, Banach J. Math. Anal. 9 (2015) 278–326.
37. J. Brzdek,
˛ A. Najdecki, B. Xu, Two general theorems on superstability of functional equations.
Aequationes Math. 89 (2015) 771–783.
38. J. Brzdek,
˛ M. Piszczek, On stability of the linear and polynomial functional equations in single
variable, In: (Th. M Rassias, ed.) Handbook of Functional Equations: Stability Theory, pp. 59–81,
Springer Optimization and Its Applications, Springer, 2014.
39. J. Brzdek,
˛ M. Piszczek, Selections of set-valued maps satisfying some inclusions and the Hyers-
Ulam stability, In: (Th. M Rassias, ed.) Handbook of Functional Equations: Stability Theory, pp.
83–100, Springer Optimization and Its Applications, Springer, 2014.
40. J. Brzdek,
˛ D. Popa, B. Xu, The Hyers-Ulam stability of nonlinear recurrences, J. Math. Anal. Appl.
335 (2007) 443–449.
41. J. Brzdek,
˛ D. Popa, B. Xu, Hyers-Ulam stability for linear equations of higher orders, Acta Math.
Hungar. 120 (2008) 1–8.
42. J. Brzdek,
˛ D. Popa, B. Xu, On approximate solutions of the linear functional equation of higher
order, J. Math. Anal. Appl. 373 (2011) 680–689.
43. J. Brzdek,
˛ D. Popa, B. Xu, Selections of set-valued maps satisfying a linear inclusion in a single
variable, Nonlinear Anal. TMA 74 (2011) 324–330.
44. J. Brzdek,
˛ D. Popa, B. Xu, Remarks on stability of the linear functional equation in single variable.
In: (P.M. Pardalos, P.G. Georgiev, H.M. Srivastava, eds.) Nonlinear Analysis: Stability, Approxi-
mation, and Inequalities, pp. 91–119, Springer Optimization and Its Applications, vol. 68, Springer,
New York, 2012.
45. J. Brzdek,
˛ J. Sikorska, A conditional exponential functional equation and its stability, Nonlinear
Anal. TMA 72 (2010) 2923–2934.
46. L.P. Castro, A. Ramos, Hyers-Ulam-Rassias stability for a class of nonlinear Volterra integral equa-
tions, Banach J. Math. Anal. 3 (2009) 36–43.
47. L.P. Castro, A. Ramos, Hyers-Ulam and Hyers-Ulam-Rassias stability of Volterra integral equations
with delay, In: Integral methods in science and engineering, Vol. 1, pp. 85-94, Birkhäuser, Boston
2010.
48. A. Charifi, B. Bouikhalene, S. Kabbaj, J.M. Rassias, On the stability of a Pexiderized Gołab- ˛
Schinzel equation, Comput. Math. Appl. 59 (2010) 3193–3202.
Ch. 1. Introduction to Ulam stability 29
79. K.W. Jun, Y.H. Lee, On the Hyers-Ulam-Rassias stability of a pexiderized quadratic inequality,
Math. Inequal. Appl. 4 (2001) 93–118.
80. S.M. Jung, On the Hyers-Ulam stability of the functional equations that have the quadratic property,
J. Math. Anal. Appl. 222 (1998) 126–137.
81. S.M. Jung, Hyers-Ulam-Rassias Stability of Functional Equations in Mathematical Analysis,
Hadronic Press, Palm Harbor, 2001.
82. S.M. Jung, Hyers-Ulam stability of linear differential equation of first order, III, J. Math. Anal. Appl.
311 (2005) 139–146.
83. S.M. Jung, Hyers-Ulam stability of linear differential equations of first order, II, Appl. Math. Lett.
19 (2006) 854–858.
84. S.M. Jung, Hyers-Ulam stability of a system of first order linear differential equations with constant
coefficients, J. Math. Anal. Appl. 320 (2006) 549–561.
85. S.M. Jung, A fixed point approach to the stability of a Volterra integral equation, Fixed Point Theory
Appl. 2007, Art. ID 57064, 9 pp.
86. S.M. Jung, Hyers-Ulam-Rassias Stability of Functional Equations in Nonlinear Analysis, Springer,
New York, 2011.
87. S.M. Jung, B. Kim, Stability of isometries on restricted domains, J. Korean Math. Soc. 37 (2000)
125–137.
88. S.M. Jung, D. Popa, Th.M. Rassias, On the stability of the linear functional equation in a single
variable on complete metric groups, J. Glob. Optim. 59 (2014) 165–171.
89. S.M. Jung, M.Th. Rassias, A linear functional equation of third order associated to the Fibonacci
numbers, Abstr. Appl. Anal. 2014 (2014), Art. ID 137468, 7 pp.
90. S.M. Jung, M.Th. Rassias, C. Mortici, On a functional equation of trigonometric type, Appl. Math.
Comput. 252 (2015) 294–303.
91. S.M. Jung, H. Şevli, Power series method and approximate linear differential equations of second
order, Adv. Difference Equ. 2013 (2013) 1–9.
92. P1. Kannappan, The functional equation f (xy) + f (xy−1 ) = 2 f (x) f (y) for groups, Proc. Amer. Math.
Soc. 19 (1968) 69–74.
93. Z. Kominek, On a local stability of the Jensen functional equation, Demonstratio Math. 22 (1989)
499–507.
94. Y.H. Lee, On the stability of the monomial functional equation, Bull. Korean Math. Soc. 45 (2008)
397–403.
95. Y.H. Lee, K.W. Jun, A generalization of the Hyers-Ulam-Rassias stability of Jensen’s equation, J.
Math. Anal. Appl. 238 (1999) 305–315.
96. Y.H. Lee, K.W. Jun, A generalization of the Hyers-Ulam-Rassias stability of the Pexider equation,
J. Math. Anal. Appl. 246 (2000) 627–638.
97. Y.H. Lee, S.M. Jung, M.Th. Rassias, On an n-dimensional mixed type additive and quadratic func-
tional equation, Appl. Math. Comput. 228 (2014), 13–16.
98. Y. Li, Y. Shen, Hyers-Ulam stability of linear differential equations of second order, Appl. Math.
Lett. 23 (2010) 306–309.
99. J. Lindenstrauss, A. Szankowski, Nonlinear perturbations of isometries, Astérisque 131 (1985) 357–
371.
100. N. Lungu, D. Popa, Hyers-Ulam stability of a first order partial differential equation, J. Math. Anal.
Appl. 385 (2012) 86–91.
101. N. Lungu, D. Popa, On the Hyers-Ulam stability of a first order partial differential equation,
Carpathian J. Math. 28 (2012) 77–82.
102. Gy. Maksa, Zs. Páles, Hyperstability of a class of linear functional equations, Acta Math. Acad.
Paedag. Nyregyháziensis 17 (2001) 107–112.
103. T. Miura, G. Hirasawa, S.E. Takahasi, T. Hayata, A note on the stability of an integral equation,
in: (Th.M. Rasssias, J. Brzdek,
˛ eds.) Functional Equations in Mathematical Analysis, pp. 207–222,
Springer Optimization and its Applications, vol. 52, Springer, New York-Dordrecht-Heidelberg-
London, 2012.
104. T. Miura, S. Miyajima, S.E. Takahasi, A characterization of Hyers-Ulam stability of first order linear
Ch. 1. Introduction to Ulam stability 31
Abstract
In this chapter we suggest a new approach to the issue of Ulam stability. The majority of
the existing results on Ulam stability are given for equations or operators acting on normed
or metric spaces. We consider linear spaces endowed with gauges and investigate Ulam
stability of linear operators acting on such spaces.
In this way we give a very general characterization for the Ulam stability of linear operators
that is applied to the study of stability of some differential operators and some classical
operators in approximation theory.
1. Introduction
It seems that the Ulam (often also called Hyers-Ulam) stability of linear operators was
considered for the first time in [16, 17, 27], where a characterization has been ob-
tained of such stability and a representation of the corresponding constants for linear
operators. For the linear differential operator with constant coefficients in a Banach
space, the authors of [27] proved that it is stable in this sense if and only if the char-
acteristic equation has no pure imaginary solutions. Similar results are obtained in
Many examples of semigauges and gauges will be displayed throughout the book.
For the moment, let’s mention a simple but universal example.
is a semigauge on A/N.
Proof. Clearly
ρA (e
e 0) = inf ρA (0 − z) = ρA (0) = 0.
z∈N
Example 3. Let (A, k·k) be a normed space and N be a dense linear subspace of A.
Then ρA := k·k is a gauge, but e
ρA ≡ 0 is only a semigauge on A/N.
Definition 3. We say that L is Ulam stable with constant K ≥ 0 if for each x ∈ A such
that ρB (Lx) ≤ 1 there exists z ∈ N with ρA (x − z) ≤ K.
Remark 1. Clearly K(L) is a subinterval of [0, +∞). The following example exhibits
a nonzero operator L, for which K(L) = [0, +∞).
Now, let (A, ρA ), (B, ρB ), (C, ρC ) be linear spaces endowed with semigauges. Let
V : A → B, U : B → C be linear operators, Ulam stable with constants K ≥ 0 respec-
tively, J > 0.
Remark 2. Clearly B(L) is a subinterval of [0, +∞). The next example presents an
operator L , 0 for which B(L) = (0, +∞).
Proposition 2. Let L be bounded and x ∈ A. If ρ(L) > 0 or ρA (x) < +∞, then
ρB (Lx) ≤ ρ(L)ρA (x). (2.1)
Proof. 1) Let ρA (x) = 0 and let H ∈ B(L). Then ρB (Lx) ≤ HρA (x) implies ρB (Lx) = 0,
so (2.1) is satisfied.
2) Let 0 < ρA (x) < +∞. Then
!
Lx
ρB ≤H
ρA (x)
for all H ∈ B(L), which yields
!
Lx
ρB ≤ inf B(L) = ρ(L).
ρA (x)
This entails (2.1).
3) If ρA (x) = +∞, then by hypothesis ρ(L) > 0, and (2.1) is trivially satisfied.
Theorem 38. Let V : (A, ρA ) → (B, ρB ) and U : (B, ρB ) → (C, ρC ) be bounded linear
operators. Then UV : (A, ρA ) → (C, ρC ) is bounded, and
ρ(UV) ≤ ρ(U)ρ(V).
Proof. Let ε > 0 be given. There exist 0 < G < ρ(U) + ε and 0 < H < ρ(V) + ε such
that
ρC (Uy) ≤ GρB (y), y ∈ B,
Janne olikin kelpo mies, johon saattoi luottaa. Kaikessa koetti hän
tehdä isäntänsä mieliksi ja aina olisi kovimpaan kohtaan käynyt, jos
Tuomas vain olisi antanut. Janne oli kohta huomannut isännän ja
emännän epäselvät välit ja alkanut kysyvin katsein seurailla
Tuomasta. Ja raskaina hetkinään oli Tuomas vähitellen kertonutkin
hänelle, miten asiat olivat, saadakseen hetkeksi helpotusta painaville
ajatuksilleen.
*****
*****
Iida oli vienyt pojan ulos tuvasta ja Anna oli Tuomaan kanssa
kahden.
— Mitä sinä puhut? Uskalla? Kyllä sitä… kun sinä vain edes
kerrankaan…
*****
— Miten niin?
— Puhutaan? Kylilläkö?
— Se niljainen perkele!
— Sepä se.
— Kuulehan!
Tuomas seisahti.
— No mitä nyt?
Sitä vain, että parasta se olisi sinulle, kun muuttaisit muille maille.
Möisit torppasi ja tavarasi ja painuisit pakoon pahoja ihmisiä.
— Onhan se niinkin.
Tuomas oli kuullut, että Heikki aikoi myydä talonsa. Ja kun sattui
olemaan hyvää aikaa, päätti hän käydä kysymässä asian
todenperäisyyttä. Tuomasta oli viime päivinä alkanut kyllästyttää
toisen maan viljeleminen. Vaikka Heinämäki olikin kuin omansa ja
vielä pitkäaikainen vuokrasopimus, oli kyllästyminen tullut sitä
voimakkaammaksi, kuta enemmän alkoi ajatella, että maa, jota viljeli,
oli Isotalon maata, metsät, joissa liikkui, Isotalon metsiä.
— Ihanko tosissa?
— Älähän.
— Kyllähän minä siinä mielessä tulin, että ostan vaikka heti, jos
vain hyväksyt tämmöisen ostajan. Olisihan noita rahojakin joku
tuhansinen aluksi.
— Mitäpä minä niillä… pääasia on, kun saan jättää talon oikeisiin
käsiin.
Sovittiin, että kauppa päätetään heti. Tuomas saa talon
huomisesta lähtien käsiinsä.
Nyt se jää toiselle tuokin. Mitähän isä sanoisi, jos eläisi? Ja äiti?
Sanoisivatkohan: Suotta jätit. Olisit pysynyt vanhoilla juurillasi.
Mutta eihän hänellä oikeastaan mitään juuria ollutkaan. Vieraassa
maaperässähän hän eli. Toisen maata. Ikuisen vihamiehen ja
häpäisijän.
Jääköön toiselle!
*****
— Minuako?
— Niin.
— Mitä?
— Se myydään.
— Ole hulluttelematta.
— Työlläni.
Anna naurahti.
Niin ei olisi saanut tapahtua. Eikä saakaan vasta enää. Kun saa
oikeutensa, niin vähemmän epäilee tästä lähtien. Eikähän Isotalo ole
koskaan kieltänytkään. Ja viis', jos olisikin! Alkoi vistottaa joskus se
Isotalon kotielämä. Naisia yksi melkein joka sormelle. Ei sano heistä
välittävänsä, vaan pitäisikö se niitä talossaan muuten, jos ei välittäisi.