Professional Documents
Culture Documents
Mean Value Theorems and Functional Equations (PDFDrive)
Mean Value Theorems and Functional Equations (PDFDrive)
» 1
\ ÿ =/ία» -/'ιι/Ιίχ-ο)
\
ti 1
World Scientific
MEAN VALUE
THEOREMS
AND
FUNCTIONAL
EQUATIONS
MEAN VALUE
THEOREMS
AND
FUNCTIONAL
EQUATIONS
P. K . S ah o o
T. Riedel
University of Louisville
Louisville, KY, USA
World Scientific
wlk Singapore · New Jersey · London •Hong Kong
Published by
For photocopying of material in this volume, please pay a copying fee through the Copyright
Clearance Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to
photocopy is not required from the publisher.
ISBN 981-02-3544-5
Prasanna Sahoo
Thomas Riedel
Preface
This book would not have been completed without the support and en
couragement from Robert Powers. He read a part of the manuscript and
made many constructive criticisms for improvement. We are very grateful
to him. We are also thankful to Elias Deeba for his many suggestions for
improvement. We express our gratitude to Mario Martelli for providing us
some valuable references and reprints of his papers related to Rolle’s the
orem. We are extremely thankful to Jürg Rätz for bringing our attention
to his work on Cauchy’s mean value theorem for divided differences. In
this book, we have used results from many researchers and we have made
honest efforts to pay credit to appropriate researchers. If we have missed
anyone, we are sorry. If there is any resemblance with any published proof
to a proof in this book it is because we could not improve the original proof
of the author. We thank students who regularly attended our seminar on
mean value theorems and functional equations, where the idea for writing
this book was conceived. While this book was in its final form of revision,
the first author visited a number of universities including the Technical Uni
versity of Braunschweig (Germany), the University of Waterloo (Canada),
the Aizu University (Japan), the Indian Statistical Institute (India) and the
Sambalpur University (India) during his sabbatical in the Fall term of 1995.
He would like to thank these universities for providing him with excellent
work environment and hospitalities.
This book was typeset by authors in I^IJjX, a macro package written by
Leslie Lamport for Donald Knuth’s TJjX typesetting package. The bibliog
raphy and index were compiled using BibTeX and Makelndex, respectively.
Prasanna Sahoo
Thomas Riedel
Contents
Preface vü
Bibliography 233
Index 242
Chapter 1
In this section, we define additive functions and then examine their behavior
under various regularity assumptions such as continuity, differentiability,
measurability, monotonicity.
equation
for all x, y € R.
The functional equation (1.1) was first treated by A.M. Legendre (1791)
and C.F. Gauss (1809) but A.L. Cauchy (1821) first found its general contin
uous solution. The equation ( 1.1) has a privileged position in mathematics.
It is encountered in almost all mathematical disciplines.
Proof: First, let us fix x and then we integrate both sides of ( 1.1) with
respect to the variable y to get
/ ( l + *) = / ( l) + /(* ). (1.3)
f'(x) = m,
f(x) = mx + c, (1.4)
The right side of the above equality is invariant under the interchange of x
and y. Hence it follows that
y f(x) = xf(y)
f(x) = 771,
X
/( 0 ) = 0 . (1.6)
for all x € E. Thus, so far, we have shown that an additive function is zero
at the origin and it is an odd function. Next, we will show that an additive
Continuous Additive Functions 5
Hence
f{nx) = f(-(-n)x)
= - f{-nx)
= “ (“ « )/(* )
= n/(æ ).
Thus, we have shown /(næ) = n f(x) for all integers n and all x € R. Next,
let r be an arbitrary rational number. Hence, we have
k
r ~ t
where k is an integer and i is a natural number. Further, kx = £(rx). Using
the integer homogeneity of / , we obtain
that is
f(r) = m r
f{rn) = m rn
= /ta /« )
= lim f(r n)
n —»oo
= lim m rn
n —»oo
= mx.
U« J ( y - x + t ) + f ( x - t )
y -x + t-*t
= f(t)+ f{ x - t)
= /(*) + /(* )- /(* )
= /(x ).
/(s i) / /(s 2)
Xl X2
Xl f ( Xl) =έΠ
*2 /(*a) Ψ ’
X = riX i+ T 2 X i·
(since the rational numbers Q are dense in reals R and hence Q 2 is dense
in R2). Now,
G cG ,
the graph G of our non-linear additive function / is also dense in R2. The
proof of the theorem is now complete.
The graph of an additive continuous function is a straight line that
passes through the origin. The graph of a non-linear additive function
is dense in the plane. Next, we introduce the concept of Hamel basis to
construct a discontinuous additive function.
Let us consider the set
whose elements are rational linear combination of 1, \/2, \/3. Further, this
rational combination is unique. That is if an element s € 5 has two different
rational linear combinations, for instance,
then u = u ',v = v' and w = w'. To prove this we note that this assumption
implies that
a + by/2 + cy/ 3 = 0.
by/ 2 + cy/ 3 = —a
Discontinuous Additive Functions 9
This implies that b or c is zero; otherwise, we may divide both sides by 2be
and get
/ jr _ a2 —262 -3c 2
26c
contradicting the fact that y/6 is an irrational number. If 6 = 0, then we
have a 4- cy/ 3 = 0; this implies that c = 0 (else = —7 , is a rational
number contrary to the fact that v 3 is an irrational number). Similarly if
c = 0, we obtain that 6 = 0. Thus both 6 and c are zero. Hence it follows
immediately that a = 0.
If we call
B = { 1 , λ/2 ,λ/3 }
x - n 61 + J-- + rnbn
10 Additive and Biadditive Functions
Hence
f i( x) - f 2 {x) = f(x)
= f ( r ih + r262 + · · · + rnbn)
= ffrib i) + H--- 1-f{Tnbn)
= n f ib 1) + r 2/ ( 62) + · · · + rnf(bn)
= ri[fi(bi) - f2(bl)\ + 1*2[/life) “ / 2(&2)]
H--- Hfn[/l(&n) ~ f2(bn)]
0.
Proof: For each real number x there can be found 61, 62, " ·, 6η in B and
rational numbers r i,r 2, ...,rn with
We define f(x) to be
This defines f(x) for all x. This definition is unambiguous since, for each
x, the choice of 61, 62, •■•,6n, 7’i,r 2, —,rn is unique, except for the order in
which bi and r* are selected. For each 6 in B, we have f(b) = g(b) by
definition of /. Next, we show that / is additive on the reals. Let x and y
be any two real numbers. Then
where r i,r 2,...,r n, s i,s 2, —, sm are rational numbers and û i,û 2, ...,o n, 61,
62,..., 6m are members of the Hamel basis B. The two sets {ai, 02, ...,û n}
and {6i , 62,..., 6m} may have some members in common. Let the union of
these two sets be {ci,c 2, ...,q }. Then £ < m + n, and
where u\tu2l..., v i, v2, ..., V£ are rational numbers, several of which may
be zero. Now
and
if x € £ \{6}
if x = 6.
f(x) < M , x € R,
Therefore / is bounded from below and hence by Theorem 1.7, we see that
/ is linear. This completes the proof.
Proof: Let x = (£ 1, 2:2) and y = (2/1, 2/2) be any two arbitrary points in
the plane. The additivity of / yields
that is
We define A i ^ ) = f(x 1,0) and ^ 2(22) = / ( 0, 2:2) and claim that A\ and
A2 are additive. This can be seen from
f ( x , y ) = A i ( x ) + A 2(y)
14 Additive and Biadditive Functions
D efin itio n 1.8 The complex number system C is the set of ordered pairs
of real numbers (x, y) with addition and multiplication defined by
(z, y) + (w, v) = (x + u, y + v)
(x, y)(u, v) = (xu - yv, xv + yu)
for all x, y, u, v e R.
as
(x, y) = x + iy.
and
/(* ) = /ι(*) + *Λ Μ .
h j{ x )- c k jx
Additive Functions on the Real and Complex Plane 17
where Ckj {k,j = 1, 2) are real constants. Thus, using the form of f(z) and
the form of fkj, we get
a —bi a+ bi
C1 Z + C2 z ,
f{z) = cz,
that is f is linear.
/'(z i+ Z 2) = /'(z i)
18 Additive and Biadditive Functions
f'{z) = c,
f(z) = cz + b,
The only examples of biadditive functions which come readily to mind are
a multiple of the product of independent variables. Thus if m is a constant
and we define / by
f ( xi y) = mxy, x ,2/€ R
then / is biadditive. The question arises, are there any other biadditive
functions?
Biadditive Functions 19
/(x , y) = mxy
for all z G R.For fixed z, defining φ(χ) = /(x , z),we seethat the equation
(1.18) reduces to
Again, using the additivity of / , we see that k is also additive and hence it
is linear. Thus k(y) — m y for some arbitrary constant m. This in (1.21)
yields
for all y € E and for all nonzero x in E. If x = 0, then from (1.17), we see
that f(0,y) = 0 and therefore (1.24) holds for all æ, y € E. Now the proof
is complete.
In the next theorem, we present a general representation for the biad
ditive function in terms of a Hamel basis.
the r*., Sj being rational while the bj are elements of a Hamel basis B and
the dkj arbitrary depending upon bk and bj.
Proof: Let B be a Hamel basis for the set of reals E. Then every real
number x can be represented as
n
X
k=1
with bk € E and with rational coefficient r^. Similarly, any other real
number y can also be represented as
m
y = Y l sj bj (1.27)
J=1
with bj € E and with rational coefficient sj. Since / is biadditive
for all £ i,£ 2, 2/1, 2/2 € E. From (1.28) and (1.29), using induction, we have
or
7ΎΙ
f(t,y ) = — f(x, y).
n
That is
for all x,y € E. Next, substituting 12 = —x\= x in (1.28) and using (1.34)
we obtain
From (1.35) and (1.33) we conclude that (1.32) is valid for all rational
numbers. The same argument applies to the second variable and so we
have for all rational numbers r and all real x and y
m
f{x,y) = / ( X/fcfcfc, J 2 sjbj
>=1 J=1
. m
= £ / * / Ufc, Y^Sjbj
n m
fc=l J=1
n m
= E E ri=sJ ttW'
fc=l J=1
where ajy = / ( 6fc, 6j). This completes the proof of the theorem.
for all x, y € ]0 , 1[. This problem was stated as an open problem in Ebanks,
Sahoo and Sander (1990). It should be noted that if f(x) = AA(x) —A (l),
where A is an additive function on reals, then it satisfies the functional
equation (1.37). If / is assumed to be continuous (or measurable), then
Daroczy and Jar ai (1979) have shown that f(x) = Aax —a, where a is an
arbitrary constant. Recently, Maksa (1993) has posed the following problem
at the Thirtieth International Symposium on Functional Equations: Find
all functions / : [0 , 1] —>R satisfying the functional equation
for all x,y € [0 , 1]. One can easily show that if / is a solution of (1.38),
then / is skew symmetric about that is f{x) = —/ ( l -re), and / ( 0) = 0 .
Further, it is easy to note that Maksa’s equation (1.38) implies equation
Some Open Problems 23
(1.37). To see this replace x by l —x in (1.38) and add the resulting equation
to (1.38) to obtain
for all x, y € ]0,1[. Daroczy and Jarai (1979) have also found the measurable
solution of this functional equation. They have shown that any measurable
solution of (1.39) is of the form f(x) = ax2 - ax + blogx + c, where a, b
and c are arbitrary constants. Equation (1.39) appears as a problem posed
by Lajko in 1974 when (1.39) holds for all x and y in R. Eliezer (1974) has
determined the differentiable solution of Lajko’s problem. Eliezer proved
that if / is differentiable and satisfies (1.39) for all x and y in E, then
f(x) = ax2 —ax + c, where a and c are arbitrary constants.
Now at the .first sight the above two functional equations (1.37) and
(1.39) seem harmless - it looks as though anyone could solve them, but
nobody has succeeded finding all the general solutions of these equations
without any regularity assumptions of the unknown function / .
Chapter 2
25
26 Lagrange’s Mean Value Theorem and Related Functional Equations
f( x i) - f ( x 2)
— — = / (Φ ι,Χ ϊ)) ■ (2.1)
Proof: The proof follows the idea that the mean value theorem is just a
‘rotated version’ of Rolle’s theorem. We consider the function
This is the equation of the line intersecting the graph of / at (x i,f(x i))
and (x2,/(x 2))· If we now define
then g is the result of rotating / and shifting it down to the x-axis. Since
both / and h are continuous on [21, 2:2] and differentiable on ]xi,x 2[ so
is p, and with a little algebra we find that g(xi) = 0 (2:2) = 0 and thus
g satisfies the hypotheses of Rolle’s theorem. Now we may apply Rolle’s
theorem which results in the existence of an η G]xi,x 2[, where
X2 ~
and thus
/ ( l 2) - / ( * l)
X2—Xl
The proof of the theorem is now complete.
The following is a pictorial proof of the Lagrange’s mean value theorem.
This proof was given by Swann (1997).
Intuitively, the assumptions of the theorem mean that the graph of the
function /(x ) is smooth between (x i,f(x i)) and (χ2» /(ζ 2)) and has no
sharp corners and vertical tangents since / is differentiable on the interval
]xi,x 2[. If the graph of f(x ) is not a straight line, some part of the graph
will be above the line through (x i,f(x i)) and (2:2, f f a ) ) or below this line.
Imagine a line that is parallel to the line through the points (xj, f(x i)) and
28 Lagrange’s Mean Value Theorem and Related Functional Equations
Xi η X2
(^ 21/ ( 22)) but far above the line. Move it down toward the line, keeping
it parallel to the line through (x i,/(x i)) and (x2»/(^ 2))· Since there are
no corners on the graph, when the line first hits the graph at some point
(77, /(??)), surely it will be tangent to the graph at such a point. So, if our
definition of the derivative as the slope of a line that is tangent to the graph
at (77, /(rç)) is any good, the slope of this tangent line must be / '( η). But
since this line is parallel to the line through (x itf(x i)) and (x2,f(x 2)), it
will have the same slope as this line, that is
X2 Xl
A similar argument holds if some of the graph is below the line. The
above figure gives a geometrical illustration of this proof.
We close this section with another proof of Lagrange’s theorem that
does not use Proposition 2.1 and Proposition 2.2. This following proof is
due to Tucker (1997) and Velleman (1998) (see Horn (1998)).
Start with a nonempty interval [xi, xq\on which / is differentiable and
define
Lagrange's Mean Value Theorem 29
Then y divides the interval [rci, x2] into two subintervals of length h =
Observe that
where
f(y) - f(x 1)
_ _ .................. _,nH / t e ) - f(y)
m i = ---- s7---- and m 2 -----
= ---------
h
/ ( f c ) - / ( « i) m
III.
1 — Û1
such that
/(ftn) ~~ f i an) _ ^
for all n = 1, 2,.... and lim (6n - an) = 0. Let η be the unique point in the
n—»00
intersection of these intervals. If η = ûjv for some iV, then η = a« for all
n > TV, so that
m
On V
If both the quotients are within e of /'(??), then so is their convex combi
nation, which means the m is within e of f'(rj) for any e > 0. W ith a little
30 Lagrange's Mean Value Theorem and Related Functional Equations
care, one can show that η is strictly between x\ and £ 2· We leave this to
the reader.
The mean value theorem (MVT) has the following geometric interpretation.
The tangent line to the graph of the function / at 77(2:1, 2:2) is parallel to the
secant line joining the points (xi, f{xi)) and (2:2, f(x 2 ))- This is illustrated
in Figure 2.1.
In this section we establish some results of differential and integral cal
culus using Lagrange’s mean value theorem.
Lem m a 2.1 If f(x ) = 0 for all x in ]a, b[, then f is a constant on [a, b].
Proof: Let 2:1, 2:2 be any two points in ]û,6[,and suppose f(x 1) Φ f(x 2),
then, by the mean value theorem there is a c G]a, b[ such that
m = 0,
X2 ~ 2?i
contradicting the hypothesis that f(x ) = 0 for all x G]a, b[.
An immediate consequence is the following:
Lem m a 2.2 If f(x ) = gf(x) for all x in ]o, b[, then f and g differ by a
constant on [a, 6].
Proof: Let h(x) = f{x) —g{x), then hf(x) = 0, so by Lemma 2.1 h(x) = c,
where c is a constant. Thus, / and g differ by a constant.
Lem m a 2.3 If f f(x) > 0 (< 0) for all x in ]a, b[, then f is a strictiy
increasing (decreasing) function on [a,b].
Proof: Let X\ < X2 be in [a, 6], then by the mean value theorem there is a
c in ]xi,x 2[» such that
/( x 2) - / ( x l) =
X2 - X \
and since x2 - x\> 0 we have f{x 2) - f(x 1) > 0 or f(x i) < f(x 2), and /
is increasing.
An easy consequence of this is the following:
Lem m a 2.4 If f"(x) > 0 for all x in ]a, b[, then f is a concave wp on
the interval [0 , 6].
Applications of the MVT 31
(2.2)
This theorem can also be established by invoking the mean value theorem.
Besides these theoretical applications, the mean value theorem has other
applications. The next seven examples illustrate some other applications
of the mean value theorem.
Exam ple 2.1 The mean value theorem can be used to prove Bernoulli’s
inequality: If x > - 1, then
(1 + x)n > 1 + nx
for all n G R.
First, we suppose x > 0 and let f(t) = (1 + i)n, for t G [0, x]. Thus /
satisfies the hypotheses of the mean value theorem and we have an η G ]0, x[
with
/(*)-/(o)=(*-o)m
Thus we have
and hence (1 + x)n > 1 + nx. The case when —1 < x < 0 can be handled
similarly by considering f(t) = (1 + t)n for t G [x,0].
Exam ple 2.2 The mean value theorem can be used in proving the in
equality
To prove this, let f(t) = In i for t G [1, 6] and 6 > 1. The function /
satisfies the hypothesis of the mean value theorem. Hence, there exists an
η g] 1, b[ such that
/(& )- / ( l) = (6 - !)/'(» ,)
32 Lagrange’s Mean Value Theorem and Related Functional Equations
which is
and thus
Since 6 > 1, it follows that 0 < £ < 1. Letting i = J,w e have x > 1 + ln z
if 0 < x < 1. Next the right-hand side of the inequality (2.4) yields
ln 6 < 6 —1
If x = 1, then clearly left side of (2.3) is equal to right side of (2.3). Thus,
we have shown that for any x > 0, the inequality (2.3) holds with equality
if and only if x = 1.
This inequality is widely used in information theory to establish the
nonnegativity of the directed divergence. This inequality is further used
for proving the arithmetic mean is greater than or equal to the geometric
mean.
Exam ple 2.3 The mean value theorem can be used in establishing the
following inequality
Then, evidently, / is continuous on [a, b]. Applying the mean value theorem
to / , we obtain
ba —aa
— -----= α η *. (2.6)
b —a v 7
Exam ple 2.4 The mean value theorem can be used for showing that
(l + is an increasing function of x while ( l + ^ ) 2+1 is a decreasing
function of x for x > 0.
/(<) = In i, t > 0.
Since
s K 1+«)] = έ [ι(1
η(Ι+
1)"1η(ι)1
= ln(x + 1) - ln(x) + x
x+1 x
= ln(x + 1) —ln(x) —
x +1
> 0, by (2.7),
η x+1
= ln(x + 1) —ln(x) + (x + 1)
x+1 x
Exam ple 2.5 The mean value theorem can be used in establishing the
formula
i
b LOf+1
xa dx = --- - (2.8)
o o: + 1
_ZL „i«
e++ ii n
1 / 'l°, + 2a + .-- + na \ 1 1
α +1 \ na+l / < a +1 + n ’
Thus we have
i
b fra+1
xa dx = ----
0 Û + 1
This approach has some advantages over the traditional approach found in
many calculus textbooks.
Exam ple 2.6 Let / be a function defined on ]a, &[, and suppose f(c )
exists for some c ]a, b[. Let g be differentiable on an interval containing
/(c+ h) for h sufficiently small, and suppose g’ is continuous at /(c). Then
g o / is differentiable at c and
36 Lagrange’s Mean Value Theorem and Related Functional Equations
Hence
f(c + h )- f(c )
fl'(/(c))/'(c ) = lim o'(0) lim
ft—»U ft—»U h
f(c + h) - f(c)'
= lim s'W
h
g(f(c + h ))- g (f(c))
= lim
Λ—»0 h
= ( s ° / ) '( c ) ·
Exam ple 2.7 The mean value theorem can also be used in introducing an
infinite family of means, known as Stolarsky’s mean (see Stolarsky (1975)).
Define f(x) = xa, where a is a real parameter. We apply the mean value
theorem to / on the interval [x,y\. There exists a point η with x < η < y
(which depends on the x, y and a) such that
/ Μ * .» ) ) - ί ψ Μ
x y
which is
n~i(x,y) = v ^ r ,
In the last example, we have seen that one can construct an infinite
class of means given two positive real numbers x and y using the mean value
theorem. It is easy to extend the definitions of the arithmetic and geometric
means to n positive real numbers. It is obvious that the arithmetic mean
of n positive numbers is
X l "l· X2 Xn
A(XijX2,—,Xn)
n
whereas the geometric mean is
if x ^ y
if x = y.
Given three positive real numbers æ, y and z one can construct an infinite
class of means by using a different quotient which approximates a second
38 Lagrange's Mean Value Theorem and Related Functional Equations
derivative. Using the mean value theorem for divided difference (see The
orem 2.10), we have
/(* )
+
m
(x - y ){x - z) {y-z){y-x) (z- x/(Z)
){z- y ) = ;2/ " ( » )
where min{x,2/, z} < η < max{x,y, z}. As in the previous example, we let
f(t) = ta to obtain
2 f za (y - x) + ya (æ - z) + xa (z - y) \1
Vot{x i 2/» z) =
a{a - 1) i (z - y) (z - x) (y - x) }
If we put a = 3, then we get
x +y + z
773(2:, 2/ ,z ) =
7?_i(x,2/,z) = ÿxÿz·
(z - y ) ( z - x) (y - x)
limiVa(x,yiZ) =
Q—»U
\ 2 [l l n ( f ) + 3/·η (|) + zln
2 [zj/ In+ iz In ( f ) + xy In ( f )]
Um7?0 (x ,2 /,z )
z 2 ln z y2\ny x2lnæ
= exp (~ l
{z-x){z-y) {y-x){y-z) (x-y)(x
In view of this integral, one can define the logarithmic mean between three
positive real numbers as
Ι(Χ’3
/’2
)=ΓΓ© < zd td s-
r/ x (z- x )(z- y )
L(x' y' Z) = 7(}nz- ïnx)(\ nz- ü^ y
The above can be generalized in the case of n positive real numbers ®i, x
as
L{x i , x 2
in —1
xndtidt2 " 'd t n-1.
It should also be noted that the function L(x, y) can also be represented
by the following integral. That is
-1
dt
tx + (1 - t)y\
-1 -1
X 2»···» Xn ) — (n dt
f n w—1
where Γη = \(ίι»^2»*··»^η) \
U ^ 0, < 1 /» tn = 1 — ^ =
I i= l J i= l
dt\dt2 ’ ' ' d tn —i·
40 Lagrange's Mean Value Theorem and Related Functional Equations
In this section, we illustrate a functional equation that arises from the mean
value theorem and then we present a systematic study of this functional
equation and its various generalizations. These functional equations char
acterize polynomials of various degrees. To this end we need some notation
which we introduce at this point:
D efinition 2.1 For distinct real numbers Xi,X2 , —»®n, the divided dif
ference of the function / : R —>R is defined as
/M = /(® i)
and
«alliai
Xl —X2
and
Obviously η depends on Xi and æ2 and one may ask for what / the mean
value η depends on x\ and æ2 in a given manner. From this point of view,
equation (2.11) appears as a functional equation with unknown function /
and given η.
The following theorem was established by Aczél (1963) and also inde
pendently by Haruki (1979). The proof of the following theorem is based
on the proof which appeared in Aczél (1985). This theorem is related to
equation (2.11).
Associated Functional Equations 41
and substituting
u = x +y and v = x -y (2.19)
h(u) = au + b.
f(x) = ax2 + bx + c.
So we have indeed proved that all solutions of equation (2.12) are of the
form
f(x) = ax2 + bx + c
h(x) = ax + b,
f( x ) - /(y ) = - y) / '
if and only if
f(x) = ax2 + bx + c
that is
ah2(l - 20) = 0.
This proves the if part of the theorem. Next, we prove the converse of
the theorem. Letting ® and h = y —x in equation (2.22), we see that
where o, 6,c are arbitrary constants (see E3338 (1991) and Rudin (1989)).
This result was shown independently by Baker, Jacobson and Sahoo, and
Falkowitz in 1991.
In a recent paper, Kannappan, Sahoo and Jacobson (1995) established
the following theorem. We present the proof of the following theorem based
on their proof.
44 Lagrange’s Mean Value Theorem and Related Functional Equations
/(g ) - g(y)
= h(sx + ty) (2.25)
x-y
ax + b if s = 0 = t
ax+ b if s = 0, t Φ 0
ax + b if s φ 0, t = 0
f{x) = < (2.26)
a tx 2 + ax + b if s = t φ 0
+b, if s = —t φ 0
ßx + b ifs 2 φ ί 2
ay + b if s = 0 = t
ay + b ifs = 0 t φ 0
ay + b if ε φ 0, t = 0
g(y) = < (2.27)
a ty 2 + ay + b if s = t φ 0
^ i+ c , ifs = —t Φ 0
ßy + b if s2 Φ t2
arbitrary with h(0) = a if s = 0 = t
a if s = 0, t φ 0
a if ε φ 0, t = 0
h(y) = < (2.28)
ay + a if s = t φ 0
A(y) - (c-6)t
if s = —t Φ 0, y φ0
y y ’
ß i f s 2 ^ t 2,
f(x) - g(y)
= h(0)
x-y
which is
where a = h(0) and 6 = p(0). Letting equation (2.31) into equation (2.30),
we obtain
for all y € ÏFL Letting x = 0 in equation (2.30) and using equation (2.33),
we see that /(0) = 6. Thus equation (2.31) holds for all x in M. Hence from
equation (2.31) and equation (2.33), we get the solution of (2.25) for this
case as asserted in Theorem 2.5.
Subtracting equation (2.39) from equation (2.40) and using equation (2.41),
we get
u = x + y and v = x —y (2.43)
which is
h(u) = a u + a (2.45)
Associated Functional Equations 47
for all real nonzero u in R (where a — /i(0)). Notice that equation (2.45)
also holds for u = 0. Using equation (2.45) in equation (2.25), we get
/(* ) - 9{y) = (x - y ) (a tx + a ty + a)
J(I )- «, / ο (218)
for all real nonzero x, y and x+y. Next we show that A in equation (2.49)
is additive on the set of reals. In order for A to be additive it must satisfy
for all real nonzero x. From equation (2.25) with s = —t, we get
f{x)-g{x) + f(y )- g (y )
= ~{x - y) h((x - y)t) + {x-y) h(-(x - y)t) (2.61)
= - 2 + 2 (6 - c).
,2.64)
for all real nonzero x. Evidently the above also holds for x = 0. Hence A
is an additive function on the set of reals. From equation (2.48), equation
(2.34) and equation (2.35), we obtain
fix ) = Δ ΐ μ +b
9( y) = ψ +c (2.67)
m =
for all nonzero x and y with ty φ sx. Subtracting equation (2.68) from
equation (2.37) and using s + 1 φ 0, we get
/ι(χ) = α ι + 6, (2.70)
where a and 6 are arbitrary constants. Letting equation (2.70) into equation
(2.68) and simplifying the resulting expression, we get
axy (2.71)
50 Lagrange’s Mean Value Theorem and Related Functional Equations
for all nonzero x and y with tx φ sy and sx Φ ty. Since s ^ i, we see that
a = 0 and 6 = c. Hence equation (2.70) becomes
h{x) = 6. (2.72)
From equation (2.72), equation (2.34) and equation (2.35), we obtained the
asserted form of / , g and h. This completes the proof of the theorem.
Rem ark 3. We have seen in Chapter 1 that the Cauchy functional equation
A(x + y) = A(x) + A(y) has discontinuous solutions in addition to the
continuous solutions of the form A(x) = ax, where a is an arbitrary real
constant. Since an additive function appears in the solution of (2.25) for the
subcase s = —i, it follows that (2.25) has discontinuous solutions. However,
all continuous solutions of (2.25) are polynomials of low degree.
The following corollary is obvious from the above theorem.
ax + 6 if s = 0= t
ax + c if s = 0, t Φ 0
ax + c if ε φ 0, t = 0
f(x) = <
a t a? + ûx + 6 if ε = ίφ 0
+ if s = —t φ 0
ßx + b if s ^ t 2
arbitrary if s = 0 = t
a if s = 0 , t Φ 0
a ifs Φ 0 , t = 0
ay + a if β = ί φ 0
Mv) if s = -t φ 0 , y Φ 0
y ’
ß if s2 Φ <2>
where A : R R is an additive function and a, 6, c, a, β are arbitrary real
constants.
Associated Functional Equations 51
f isx + ty) = M z m
y-x
ax2 + bx + c if s = ^ = t
m =
k bx + c otherwise,
Notice that the Theorem 2.5 and Theorem 2.3 characterize low degree
polynomials. Originally the equation (2.12) appeared in the form
and thus it was not clear what the generalization of it would be for higher or
der polynomials. Ideas came from the notions of divided difference. Bailey
(1992) generalized Aczél’s and Haruki’s result and established the following
theorem.
Proof: Using the definition of divided difference, from equation (2.73), one
obtains
Therefore, if we define
q(x) = <
I /'(0 ) if i = 0
q(x) = ax2 + bx + c
so that
W ithout being aware of the result of Crstici and Neagu (1987), in 1992
Bailey posed the question whether every continuous (or differentiable) /
satisfying the functional equation
/ ( 0) = 0 (2.80)
and
f(a ) = 0 (2.81)
for some a φ 0 in R. Note that there are many choices for such an a. First
substitute (χ,Ο ,α) for (x i,x 2»^3) in (2.79) to get
_ _ i f o L = g(x + y) (2.83)
χ(χ - y) y(x - y)
for all X ty Φ 0 and x Φ y . Define
54 Lagrange’s Mean Value Theorem and Related Functional Equations
Φ ) - v {y ) = ( χ - y ) 9 ( χ + y) ( 2 ·8 5 )
q (x ) - q (y ) = { χ - y ) s ( χ + y)
u+ v . u —v
x = --- and v = ----
2 2
so that
for all v φ ut —u. (Here note that v can be zero since x — y is allowed.)
Hence for fixed u = we get
g {v )= aiv + bi (2.91)
for all υ € R \{112,- 112}. Since the sets { « i,—ωι} and {« 2, —« 2} are
disjoint, we get
g{v) = a v + b (2.93)
for all x,y € R\S. Fix a nonzero u € R. Let v € R such that (u± v)/2 S
and put x = (u + v)/2 and y = (u —v)/2. Then x + y = u and x —y = v
and use (2.98) to get
For each fixed u, the equation (2.99) shows that g is linear in v, that
is of the form av + 6, except on the finite set 25 ± u. To conclude that
g is linear on the reals, one has to note that, if one takes two suitable
different values of u, which is now treated as a parameter, the exceptional
sets involved are disjoint and so g(v) = αυ + b for all real v with the same
constants everywhere.
Substituting this for g in (2.95), we obtain
for all xty € R \S. Choosing any y € R \S in (2.100) yields that f(x) =
ax2 + bx + c for x € R \5, for some constant c, which is the required form
of / in (2.96). This completes the proof of the lemma.
Theorem 2.8 Let f , g : R —>R satisfy the functional equation (2.78) for
distinct xi,x2> ·">£*»> for Xi φ Xj (i φ i, i , j = l,2 ,...,n ). Then f
is a polynomial of degree at most n and g is linear, that is, a polynomial of
first degree.
η—2 \
f(x) = -x(yi - x )··· (ÿn.2 - x )g z+ (2.101)
fc=i /
and
-*(*+»+!>)
respectively for χ φ y and χ Φ 0, yt 2/1, 2/n-2·
Now the above equation can be rewritten as
where l(x) = x(ÿl. x)/.^ n_3_x) for x,y φ 0,yi,...,yn-3. Then by Lemma
2.5 and the arbitrary choice of xty Φ 0 ,2 /i,2 /n —3 we get that g is linear
(and l{x) is quadratic). Hence by (2.101), / is a polynomial of degree at
most n. This proves the theorem.
Note that the above theorem is a straight forward generalization of
the previous theorem. Schwaiger (1995) has also established this result
independently.
The functional equation
In this section, we prove the mean value theorem for divided differences
and then present some applications toward the study of means. We begin
this section with an integral representation of divided differences. Some of
the results of this section can be found in the books of Isaacson and Keller
(1966) and Ostrowski (1973). In this section will denote the nth
derivative of a function / while / ' will represent the first derivative of / .
where n > 1.
First we show that the integral on the right side of the above equation is
equal to the divided difference of / based on the two distinct points x0 and
x\. Consider the integral
Since x\Φ x0, introducing a new variable z for t\(xi - x0) + x0, we get
that is
dz
dt\ =
x\- x 0
The MVT for Divided Differences 59
Since t\= 0, the new variable z — xQ and similarly if t\= 1, then z = x\.
Hence, we have
Jo1f'(ti(xi-Xo)+Xo)dti = £ f(z) 7 ^ 2
_ J £ /'(*)<**
Xj ““3Co
_ f(x\)-f(x0)
X \ —X 0
= f[x0,x l]·
dw
dtn =
Xn X n —1
W 0 = i n —1 ( S n - 1 — ® n - 2 ) H---------- M l (® 1 “ ® o) + æ o*
lü l = ί η — 1 (® n ~ * n - 2 ) "I---------- M l (® 1 — ® o ) + X o ·
60 Lagrange's Mean Value Theorem and Related Functional Equations
/•l
/ dti dt2 · · · / / (n) ( x0 + Σ tk(Xk " ) dtn
Jo Jo #Λ
Xn 2-n—1
= /[Ζο,Ζΐ»···»Ζη]
provided /(x) has the first derivative. Because of this unique extension
now we can allow some of the nodes, that is x0,x i, —,Χη» to coalesce if /
is suitably differentiable.
Now we present the mean value theorem for divided differences.
Theorem 2.10 Let f : [a, b] —>R be a real valued function with continu
ous nth derivative and x0,x lf ...,x n in [a, 6]. Then there exists a point η in
the interval [min{x0,x i,...,x n}, max{x0,x i,...,x n}] such that
TT f tk~ l T -T f tk~ l
m I dtk — ffaoiXli ^ Ml I I dtk,
k = 1 1'° fc=l «'O
for some η € [min{x0, x i , x n}, max{x0,x i,...,x n}]· This yields the as
serted result
f[X o ,X l,~ ,X n \ j
m , , , /'(& )- 2 / M + /'(a )
/( ’b' a’ ai = ----- T b^âÿ— ·
f[b, b, a, a] =
- [/Μ>β]-/[Μ>β1]
1 7fM l—/(M l /[b,<*!-/[<*,a]]
b—a b—a b—a J
= ί Α μ [/[*>&] _ 2/(6, a] + /[a, a]]
_ /'(6) - 2/f6,a]+/'(a)
- F ïp ·
62 Lagrange's Mean Value Theorem and Related Functional Equations
Note that in the above formula (/(2n-1)) 1 denotes the inverse function of
/(2η-1). If n = 1, then Μ]?(α,δ) reduces
M j(a,b) = u r 1 ( « C T
Exam ple 2.8 If f(x) = xm, where m is a positive integer greater than
or equal to n, then Μ ” (α, δ) = ^ .
Letting m = 2n and
in (2.106), we get
Therefore
= ( ^ î( 2 n - l) !n ( û + 6)
_ a+b
~ 2 ’
= (an6np
= \/α6.
would be nice to know for what other functions besides the power function
the functional mean asymptotically tends to the geometric mean.
As point of our departure, we point out that there are other means
which arise as the limiting case of M ” (a,6) as n -* oo. For example, if
f(x) = e®, then
lim M f(a,b) =
n—»00 ’ ' 2
definition
By the induction hypothesis, the right side of the above expression yields
Λ+1 71+1
Separating the terms based on the left and right endpoints from the above
expansion, we get
/(* ο
a?l - a^n+l ΠΓ
^1-Γ
“ΤxΓ
k +ΐ
X^I- - τ Σ / to)£Π5 ^3
Xn+l x j — Xk
fcjÉj
/(«n+ l) TT 1 _ 1 fV (* ) f f 1
2*1 ®7i+l k 9 ^ti+I Xk Xl Xn+1 ·_« " fc_2 Xj
fc“ 2 J fcii
Rearranging, we get
71+1
! y ·' /(X j)
n — — n ^ —
‘7’·.
j _2 X I —
*En+l i^ x j- x k i£ x j- x k
*Φ3
71+1 , n -
Λ>.)Π—
k=2 x\- Xk
+ /(^ « )Π ϊ^
{y /fa )
Xj " Xj Xj " X^^.],
k*3
66 Lagrange's Mean Value Theorem and Related Functional Equations
A /!«<> ft i
L · (xj - Xl)(Xj - Xn+l) Xj - x k
This gives
n+ 1 ,n-f-1n+1 ·.n1
/ ( * ι ) Π + Σ Λ χί ) Π + /(»«+>)Π x . . - à
fc=2 1 k 3=2 W 1» k fc= l X n + 1 Xk
/ b llX2i = = ÉzA
J I 1» X\—X2 Xj —352
£—1
^ 2
k=0
I l “l2
£—1
_ \ ^~ k £ - l- k _ \ Λ ~Pi„P2
— 2_^χιχ2 — 2^ ê 1 2*
fc=0 Ρι+Ρ2=^-1
where pi and P2 are nonnegative integers.
Limiting Behavior of Mean Values 67
Next, we consider
/[Z1,Z2»Z3]
= /fol»33]-/[s2,s3]
X \ — X2
Σ *?*r- P2+P3=£-1
P1+P3=£-1
Σ *?*P
*1 -X2
/[ζι,Χ2,··.,2*] =
Pi+-"+Pk=t-k+1
where pi,p 2 »—»Pfc are nonnegative integers. Hence
£—1
Pl+-+Pi=l J=1
for some ηχ in ]l,x[. Since f{t) = i2, the mean value ηχ is given by
1/
ηχ = -{χ + 1).
Vx “ 1 + 1) “ 1 1
hm --- - = lim ----- --- =
x->i+ x — 1 x-»i+ x —1 2
x-»0+ X —0 x-»0+ [X \ X )J
= Urn +? +^ + = £·
x-»o+ [x V 2 3! /J 2
These two examples indicate that as x approaches the left end point of the
interval from the right, the mean value ηχ approaches the midpoint between
x and the left end point of the interval. This is true for many functions by
the following theorem.
lim V* ~ a 1
x—»a+ x —a 2
χ-»α+ (x —a)
Limiting Behavior of Mean Values 69
in two different ways. First, using the mean value theorem, we get
= 1i n i M z m
x -*a + X — CL
= /"(a )
x —»a+ X — CL
to
χ-*α+ X — CL
*
2
Here we have used the notation [χι,···,χηΐί(χ)]to denote the n-point di
vided difference, f[xi, ...,x n]» of /· We will use this new notation through
out this section only. Further, if a € R and n e N, then the generalized
binomial coefficient (J) is defined as
70 Lagrange's Mean Value Theorem and Related Functional Equations
k- 1
In the case where k = 0, the product —i) is understood to be 1.
We now consider a variable interval [a, a+ x] where 0 < x < b —a. Let
0 < m i < · · · < rrin < 1. Then x\ = a + m ix, x2 = a + m2x1· · · , xn =
a + τϊΐγχΧ are n distinct points in [a, a + x\. If / : [a, 6] —*■R is (n —l)-times
continuously differentiable, then, by the mean value theorem for n-point
divided difference applied to / on the interval [û + m\x,a + mnx], there
exists a mean value in the interval [a + m ix, a + mnx] such that (2.110) is
satisfied. To emphasize the dependence on the variable x we denote this
mean value by ηχ. There may be many possible choices for ηχ. Therefore,
the correspondence x —>ηχ involves a choice function. Our goal is to study
the behavior of ηχ as x goes to zero.
The following theorem is due to Powers, Riedel and Sahoo (1998).
where 0 < m i < ... < rrin < 1, ηχ is the mean value given in (2.110) for
[a + m ix ,. . . , a + mnx\f(x)], and 0 < x < 6 - a.
Since p(t) is a polynomial of degree at most (η —1), the left and right side
of (2.110) yield the same constant and they cancel, thus we may assume
Limiting Behavior of Mean Values 71
f ( a + m i x ) = (im i x ) 0tg ( a + m i x ) .
which is
First, we use the product rule of derivative to determine /(η-1>(ί) and then
substitute t = ηχ to obtain
3 -1
In the case where j = 0, the product J J ( a —i) is understood to be 1. Using
i=0
equations (2.114) and (2.115) we can rewrite equation (2.110) as follows
<=I Π (ιη 4- m j)
JÎ4*
3-1
η mfg(a + m,ix)
n
<=1
J
3=1
f j -1 (2.116)
71—1 / -\ Π (Ω - ί )
i=0______
(n - 1 )!
Σ ■ δ (" ϊ)
Now we can take the lim it as x approaches 0 from the right and observe
that 7]x tends to a. It follows from the hypotheses on g that each summand
on the right-hand side of (2.116) is zero except when j = n — 1. Thus
n- 2
Π (α - * ) o t-(n -l)' n m£ lim g(a + mix)
χ—»0+__________
(^ )
i= 0
lim \g(ηχ) n
(η - 1)! x—o+
<=1
S*i
3=1
a—(n—1)
lim f e z f V 1 ÿ rn?
*-.0+ \ x J ( a \2—Ê n
V n —1/ i = l J J ( T O j_ m i)
3=1
(2.117)
k—O
where lime(x) = 0.
Using Theorem 2.15 and following the proof of Theorem 2.14, one can
establish the following theorem. However, we present the entire proof for
the sake of completeness.
U .) J
where 0 < πΐ\ < ... < mn < 1, ηχ is the mean value given in (2.110) for
[a + 77iix,... , a + mnx\f{x)\, and 0 < x < b - a.
[a + 7 7 i i x , . . . , a + 7 7 i n x ; / ( i ) ] = 5 1 — / f o + m »g )— (2.119)
i=1 * - 1 1 ( 7 7 , - rrij)
3=1
[a + m\x,.. . , 0 + rrinX;/(<)]
k!
£=0 .
-Σ i= 1
Xn-1J J ( m i ~ m j )
J=1
Now we can rearrange these terms to obtain expressions corresponding to
divided differences in the m*:
(« —1)1 ' k\
i_1 ni’"
s**
i-TOi)
i-l (2.120)
e(niix)x^m^
+Σ
Limiting Behavior of Mean Values 75
where lim e(?7x — a) = 0. Using the hypotheses of the theorem and the
ϊλτ-»α
above equation, the right hand side of equation (2.110) becomes
/ « (e )
“ û)
(n - 1 )! (n — 1)! T (n - l)\(k - (n - 1))! {Vx
(2.121)
- a) (Vx - a)fe~(n~1}
(n - 1 ) !
Since lim e(rriix) = 0 (i = 1 ,... , n) and lim β(ηχ —a) — 0, it follows that
s-»0+ s-»0+
^ “ « Π (m i- m j)’
3-1
which after taking the roots yields the desired lim it. The proof of the
theorem is complete.
Suppose / is continuous on the interval [a, 6] and is differentiable at a
with f ( a ) Φ 0. For each x €]a,6[, let ξχ be the value determine by the
integral mean value theorem where
/J a /(< ) dt = / ( ξ χ ) ( ι - a).
X — CL
The last equation can be written in terms of the 2-point divided difference
as
lto i
x-»o+ x ( 2 \
0 ) 2
This was the result established by Jacobson (1982) which follows im
mediately from Theorem 2.16. Similarly, the results obtained by Bao-lin
(1997) also follow immediately from Theorem 2.16. Finally, we note that
the right-hand side of (2.118) with n = 2 is the Stolarsky mean of order k
(see Stolarsky (1975)), that is
-m\'
m i - ra2.
Cauchy’s MVT and Functional Equations 77
Proof: Define h{x) = \f(xi) - f(x 2)] g{x) - \g{x1) -g(x2)] f(x) for all
x € I. Then h is differentiable on I and, furthermore, we have
If one asks for what / and g the mean value η depends on x\ and X2
in a given manner, then equation (2.122) appears as a functional equation.
This functional equation was investigated by Aumann (1936) by assuming
(2.123)
Theorem 2.18 Let f,g : [a, 6] —» R be real valued functions with contin
uous nth derivatives and g^n\t) φ 0 on [a, b]. Further, let x0,xi, in
[a, 6]. Then there exists a point η € [mm{x0,x i,...,x n},max{x0,x i,...,x n}]
Cauchy’s MVT and, Functional Equations 79
such that
P roof. W ithout loss of generality we may assume x0 < x\ < · · · < xn.
If x0 = x\ = · · · = xn, then from the definition of divided differences and
the fact that / and g are n times continuously differentiable, (2.125) holds
with x0 = x\= · · · = xn = η.
Next suppose x0 < xn. For xQ< t < xn» define
F(x0)- F (x n)
(2.127)
and
G{x0) - G(æn)
gfaoi ®1» ···» Xix] “ (2.128)
Since g^n\t) φ 0 on [a, 6], one can conclude that g[x0iXι» —>^n] Φ 0. Next,
we define
h% Xi ) ..·, Xn—i]»
80 Lagrange’s Mean Value Theorem and Related Functional Equations
where
with x0 < t < xn. Differentiating H(t) with respect to t, wehave from the
properties of divided differences (see Schumaker (1981))
h H i,
/ι[ί, f rXi, ···, Xn—
T
l ■j — f c ( , ) ( « 0 )
j(2.133)
for some ξ(ί) in the interval [x0,xn]. Thus, from (2.132) and (2.133), we
have
H '(t) = (2.134)
n!
Since H is differentiable and H satisfies (2.130), we obtain
Η'{θ) = 0 (2.135)
for some Θ in ]x0,xn[· From (2.134) and (2.136) and calling ξ{θ) to be η,
we have
(rj)
- ^ T = 0. (2.136)
We conclude this chapter with three open problems. The first open prob
lem is the following. Find the general solution /,p,/i,fc : E E of the
functional equation
The second open problem is the following. Find the general solution
/ , h : R —» R of the functional equation
.....Zn] = h ^T1 j,
where g is a continuous and strictly monotone function.
The third problem is the following. Let wi,W2 , ..., wn be a priori chosen
real parameters. Find the general solution of the functional equation
83
84 Pompeiu 's Mean Value Theorem and Associated Functional Equations
F(x) = t f Q ) . (3.2)
f*(0 - /( ; ) - \r(}). M
Applying the mean value theorem to F on the interval [x,y] C [£, J], we
get
that is
xif(x2)-x2f(xi)
= / (ξ ) - ξ / '( ξ ) ·
X \ - X2
y = f ( x i) + (x - xi)·
X2 — X l
Stomate Type Equations 85
This line intersects the y-axis at the point (0, y), where y is
y=f(X l)+i M ^ m {o _ X l )
X2
_ X2 Î(x i) - X iff a ) - S i/(S 2) + a;i/(a;i)
-Xl
S l/(S 2 )- S 2 /(S l)
æi -
The equation of the tangent line at the point (ξ, /(£)) is
2/ = ( * - « / '« ) + / « ) ·
This tangent line intersects the y-axis at the point (0,2/), where
y = -ξ / '( « + / « ) ·
If this tangent line intersects the 2/-axis at the same point as the secant line
joining the points (® i,/(® i)) and (a:2,/ ( ^ 2))> then we have
•''m - 'W -m - sm
X l — X2
which is the equation (3.1) in Theorem 3.1. Hence the geometric meaning
of this is that the tangent at the point (ξ, /(£)) intersects on the y-axis
at the same point as the secant line connecting the points (® i,/(® i)) and
(x2 , f(x 2)). This is illustrated in the Figure 3.1.
/{ s 1} = f(x 1),
86 Pompeiu’s Mean Value Theorem and Associated Functional Equations
and
_ ®η/{®1ί®2ι···ι®η-ΐ} ®ΐ/{®2»®3»··Μ®η}
J i® l »X2»···» j “ “
X \-X n
if.
/{ S l,x_ 2}
, _ * i/(* l )- * l /(* i)
= ---- --- -----
*2 — Xl
and
/{ » l .-2..... Xn} = t ( f [ ^
i= l *
if and only if
K x) = / ( 0) = b O ^ x e R . (3.9)
x f ( y ) - y ί ( χ ) = (x-y)b (3.10)
f ( y ) = [ /(!)-b]y + b = ay + b (3.11)
Next, putting x = -1 and y = 2 in (3.8) and then using (3.9) and (3.12),
we get
that is
/ ( —l) = —a + b. (3.13)
Together with (3.13), we see that (3.11) holds for all y € E. Next, substi
tuting x = 1 and y = —1 in (3.8), we obtain
h(0) = b
so that (3.9) holds for all x € E. Hence we have the asserted solution (3.7)
and the proof is now complete.
The following lemma sets the path for a generalization of Theorem 3.2.
88 Pompeiu’s Mean Value Theorem and Associated Functional Equations
* Μ - ν Φ ) =h{x + y)
X - y
f(x) = g(x), x G R.
xf(y) - 1w { x ) = X9{y) - y f i x ) » x ty e R t χ φ y,
whence
f(x) - g(x) _ f(y) - g(y) _ x
-------- = -------- , x,y € χφy.
χ y
£ fl(a )-/(<*)
a
Thus, from the above equation, we have
f(x )= g {x ), x€R\{0}.
The following corollary follows from Lemma 3.1 and Theorem 3.2.
if and only if
f(x) = ax + b (3.15)
x[f(y)-b]=y[f(x)-b]· (318)
f(x) = ax + b
h(x) = arbitrary with h(0) = b.
90 Pompeiu ’s M ean Value Theorem and Associated Functional Equations
Letting x = 0 in (3.20), we get h(0) = /(0) = b and hence (3.21) holds for
all x € R.
-!'(’?)- Ψ Η ) — H I)
that is
Next, we show that h(x) = b holds for all x € R except the case when
s = —t. If s = —t, then h(x) can be defined arbitrarily at x = 0 and
h(x) = b for all æ € R \{0}.
g
If s φ -t, then we show that h(0) = b. Letting x = 1 and y = -- in
(3.26), we obtain
that is
h(0) = b
and hence we have h(x) = b for all x € R. This completes the proof of the
theorem.
We close this section by pointing out the connection between the two
functional equations:
and
x-y
It was remarked in Kuczma (1989) that if one defines
Thus, to solve the first functional equation if 0 is not in the domain, one
may apply the above transformation and then solve the second functional
equation to obtain the solution of the first functional equation. If 0 is in the
domain, then we can solve the second equation on an interval not containing
0 and then check whether the solutions obtained admit extensions to the
whole domain satisfying the first equation.
Here it is assumed that neither g(x) nor g*(x) is ever zero in [a, b].
Obviously ξ depends on x\ and x2 and one may ask for what / and g the
mean value ζ depends on X\and x2 in a given manner. From this point of
view (3.27) becomes a functional equation. The right side of (3.27) can be
replaced by an unknown function h to get
we also assume that g(n) = 0 for some κ G R. This is done to make the
proof less technical and easily readable.
if and only if
f(x) = ag(x) + ß
h(x) = ß (3.30)
g[x) = arbitrary, ^
If we choose a = /s (l) - M l) and β = he( 1), then from (3.33) we see that
F(x) = [ l- G ( x ) ] J ï( i± i) . (3.36)
= [ G fo )- G (x )] ff(^ ) (3.37)
for all x, y € fit Since g is continuous and monotonie so also G (see (3.31)
and (3.33)). Hence, continuity and monotonicity of G imply that
l- G (x )
G(x) V 2 / G(y) V 2 /
_ G(ÿ) - G(x) ( x + ÿ \
(3.39)
G(x)G(y) \ 2 J
in (3.39), we obtain
1 - G(2z - 1) . 1 - G(2w - 1)
G(2z - 1) H {Z )~ G(2w - 1) H(W)
G(2z- 1) - G(2m — 1) tr ,
G (2 z- l)G (2 u > - l) H (z + W (3·41)
for all z,w € E\{^(x0 + 1)}. Putting z = 2—w in (3.41) and using (3.35),
we get
An Equation of Kuczma 95
for z e E \{^(x0 + 1)} and w € E \{^(x0 + 1)» ^(3 - x0)}· Now using
(3.42) in (3.43), we see that
G (2 ;- 1 )- G (2 u ,- 1 )
G(2z — l)G(2w —1) 1 1
G (2 z - l)- G (3 - 2 iu )
H(z —w + 1)
G (2 z- l)G (3 - 2 u i)
t = z+ w -2 and s = z- w (3.46)
so that
0(1 + t + s) - G (l + j - s)
G (l + t - s ) y '
G(1 + t + s) —G(1 —t + s)
G ( l - t + s) 1 ' '
and
, x G(1 + s + 1) - G(1 + « - 1) G{l + t - s) . .
*(*·5) “ G(l + s + t ) - G ( l + t- s ) G[l + a-1) (3-50)
or
Case 1. First, we treat the case when w(t) φ 0 for t G R \{0}. We fix
s = ξ GR \ {0}and obtain from (3.51)
f(x) = α9(χ) + 7 [ 1 - 9 { χ ) ] φ ( 1 - γ ^ + β
h{x) = 7 φ{χ)+β
g(x) = arbitrary,
= [ 9 ( 3 / )- 5 ( χ ) ] ^ ( ^ ) (3.59)
Thus, if y Φ κ, we have
7o b ( 7 + 1 ) - 9 ( 7 - 1)] = [ 9 (7 + 1 ) - 5 (7 - D ] Φ(κ)-
Case 2. Next, we consider the case when w(t) = 0 for all t G R. Hence
from (3.49) we have H(t) = 0 for all t G R. From (3.36) and the fact that
G is continuous with (2(1) = 1 we have f(x) = ag{x). Thus, we get the
asserted solution with β = 0. Since no more cases are left, the proof of the
theorem is now complete.
, K (b - a f
(3.60)
- 180 n 4
Equations Motivated by Simpson’s Rule 99
where K — sup {| (x) | |x e [a, 6]}. It is easy to note from this inequality
that if / is four times continuously differentiable and / (4)(x) = 0, then
/
Ja
f { t ) dt
b —a
6n l f ( x o) + 4 / ( x i) + · · · + 2/(x2n—2 ) + 4 / ( x 2n - l ) + / f e n ) ] ·
/
Ja
m d
b —a
t = [/(x0) + 4 /(1 ,) + /(x 2)].
"6
y-x
[ vm d t =
Jx
(Ψ ) + f ( y ) (3.61)
û(y)-g(x) =
y - x
6
/(z )+ 4 / (Ψ) + f ( y ) (3.62)
and
if and only if
9(y) = y f { y ) - y f { - y ) + b.
Using (3.69) twice to replace the terms on the left side of (3.72), we get
{x-z)f(x+z)+(x+z)f{x-z)+(x-z)f(x+2y+z)+(x+2y+z)f(x-z)
= 2(x —z)f(x + y + z)
+ (x + y + z)[f(x - y - z ) + f ( x + y - z)]. (3.73)
for all UyVyto € R. From (3.80), (3.79) and (3.81), after some simplifications,
we see that
Thus, we have
Hence
Letting
in (3.85), we get
we get A0{-u) = -A0(u) for u φ 0,1. But A0(2) = 2A0{\) and A0{-2) =
2i40(- l), that is Α ,(- Ι) = —A>(1)· Hence A0(—u) = - A0(u) for all u φ 0.
Changing u to —u in (3.86) and using the fact that h is even, we obtain
for all u,v € R\ {0}. This in turn gives a Cauchy equation (see Aczél and
Dhombres (1988))
and hence
for all x € R \{0}. But in view of /(0) = —g(0), we see that (3.92) holds
for all x € R. Next, replacing a: by —a: in (3.90), we get
that is
If g(x) satisfies (3.95), so does g(x) —g{0). Thus, without loss of generality
we may suppose that p(0) = 0. Then (3.95) reduces to
which is
- (2/ + χ ) 9 ( χ - y ) + ( x - y ) g { - y - χ)
= y [g{x) + g { - x ) ] - 2 y g ( - y ) - χ\ρ(χ) - g { - x ) ] = 0. (3.97)
(y + x) \
9 (y - x ) + g{x - y)] + (y - x) \g(x + y) + g(-y - x)]
= 2?/ \g(y) + g(-y)] - 2y \g{x) + g(-x)]. (3.98)
Equations Motivated by Simpson’s Rule 105
(3.99)
Interchanging x and y in (3.100) and using the fact that φ is even, we get
Again interchanging u with v in the above and using the fact that φ is even,
we get
u2φ(2ν) = υ2φ(2u)
Defining
φ(χ) = g(x) - g(-x) (3.105)
for all x,y € R. The general solution of (3.106) can be obtained from
Theorem 3.6. Hence, we have
Defining
for all x,y G E.The general solution of (3.115) can be obtained from
Theorem 3.7. Therefore
φ(χ) = 3aa? + 2bx* + cx + d0 1
g(x) = —oæ3 —bx2 —i4.(æ) —dOJ J
Rem ark. It follows easily from Theorem 3.S that the solution of (3.62) is
g{x) = Sax4 + 2bx3 +cx2 + dx + a and f(x) = 12aæ3 + 6bx2 + 2cr + d as
predicted. Note that the general solution is obtained without any regularity
assumptions on / and g.
From Theorem 3.9 and (3.124), we have the asserted solution (3.122). This
completes the proof.
to the fact that in Simpson’s rule one partitions the interval into subin
tervals of equal lengths. However, there is no reason why one should be
restricted to such an equal partition. If we allow unequal partition, then
the middle term is no longer of the form 4/ but rather it is of the
form af(sx + ty), where a ,s ,t are constants. Taking this into account we
have a generalization of (3.62) as
Note that the functional equation (3.127) includes the functional equa
tion
f ( x ) - g( y) = { x - y ) M x + y)
which was studied by Haruki (1979) and Aczél (1985), and the functional
equation
f ( x ) - 9( y) = f a - y ) H s x +*2/)
Therefore
where a and b are constants. Note that (3.131) holds even for x = 0, since
6 = g(0). Letting (3.131) in (3.130), we have
where c = /(0). Hence we have the asserted solution and the proof is now
complete.
Now we proceed to find the general solution of (3.126) with no regularity
assumptions imposed on f,g and h.
Theorem 3.10 . Let s and t be real parameters. The real valued functions
f,g ,h : R —» R satisfy the functional equation (8.126) for all x,y e R if
and only if
ax2 + (6 + d)x + c if s = 0= t
ax2 + (6 + d)x + c ifs = 0, t φ 0
ax2 + (6 + d)x + c if s φ 0, t = 0
/(x) = 3ax4 + 26x3 + cx2 + (d + 2ß)x + a i/ s = tφ0
2ax3 +cx2 + 2ßx - À(x) + a i/s = -t Φ 0
ax2 -f-(i> -f-d)x c ΐ / 0 φ 82 φ ί 2 φ 0
ax+ 1 if s = 0 = t
ax+ - ifs = 0 t φ 0
ax+ 1 if s φ 0 t = 0
Φ ) =
2ax3 + 6x2 + cx —A(x) + β ifs = t φ 0
Sax2 + cx + /?, ifs = -t φ 0
ÛX+ 1 if 0 Φ s2 φ ί 2 φ 0
Some Generalizations 111
G(x) + G(y)
F (x )- F (y ) = (x - y) (3.135)
for all x,y € E. The general solution of (3.135) can be obtained from
Lemma 3.2 as
where a,6,c are arbitrary constants. Hence from (3.134) and (3.136), we
have
f(x) = ax2 + {b + d)x + c
g(x) = ax + 1 (3.137)
h(x) arbitrary with h(0) = d, t
f ( x ) - f(y ) = (χ -y) \
h(ty)+ s(*) + sfo)]· (3.138)
112 Pompeiu’s Mean Value Theorem and Associated Functional Equations
and
for all x e R\{0}. Letting (3.146) and (3.147) into (3.126) and rearranging
terms, we get
where
The solution of the functional equation (3.150) can be obtained from The
orem 3.7 as
φ(χ) = 3αχ3 + 26x2 + cx + d 1 ,
ψ(χ) = —αχ3 —bx2 —A(x) —d, J
where A : R —*■R and a,6,c,ci are constants. From (3.152), (3.151) and
(3.146), we have the asserted solution
Subcase 3.2. Next, suppose s = -t. Then from (3.148), we have h(tx) =
h(-tx) for all x € R \{0}. That is, h is an even function in R. Now with
s = —t and using the evenness of h, from (3.149), we have
for all χ Φ 0. By (3.155), (3.158) holds for x — 0 also. Adding (3.156) and
(3.157) and using (3.158), we have
(x + y)H(x + y) + (x - y)H(x - y)
= 2xH (x) + 2x[H(2y) - H(y)]. (3.159)
where
and
Adding (3.165) to (3.164) and using the fact that φ is odd and ψ is even,
we obtain
that is
2x2ip(y) = 2y2ip(x)
and hence
(; :)(;)-© ·
Since det ^ ^ φ 0, this yields that both a and 6 are zero which is a
contradiction.
Now we return to equation (3.149). Using (3.148) in (3.149), we have
where a,b,c,d are arbitrary constants. Since no more cases are left, the
proof of the theorem is now complete.
The following result is obvious from Theorem 3.10 and it was established
in Kannappan, Sahoo and Jacobson (1995) to answer a problem posed by
Walter Rudin (1989). For a direct proof see Theorem 2.5 in Chapter 2.
f ( x) - 9(y) = (χ - y) H s* +ty)
dx + c if s = 0= t
dx + c ifs = 0, t φ 0
dx + c ifs ^ 0, t —0
f{x) =
cx2 + dx + a if s = tΦ0
a - A(x) if s = —t φ 0
dx + c if 0 φ s2 φ ί 2 φ 0
arbitrary with h(0) = d if s = 0 = t
d if s = 0 , t φ 0
d if β φ 0 , t = 0
h(x) = < if s = t φ 0
f +d
ifs = -t φ 0 ,
d if 0 φ ε 2 φ ί 2 Φ 0 ,
if 9{χ) = f ( x ) and
ax2 + (6 + d)x + c if s = 0 = t
ax2 + bx + c ifs = 0, t φ 0
ax2 + bx + c ifs Φ 0, t = 0
3ax4 + 2bx3 + cx2 + (d + 2β)χ + a if s = t ^ 0
2ax3 +cx2 + (2β - d)x - A(x) + a ifs = -t φ 0
-26six3 + βχ2 + (27 + a - d )x + 6 if 0 ^ s2 φ t2 φ 0
αχ+ νφ if s = 0 = t
ax + 1W ) if s = 0 t φ 0
(6+5)
φ{χ) = i ax + i/ s Φ 0 t = 0
2ax3 + bx2 + cx - A(x) + β + 1 ifs = t φ 0
3ax2 + C X - $A0(x) + β, ifs = -t φ 0
6s(s - 2t)x2 + βχ + A(sx) + 7 + a if 0 φ 8 2 φ ί 2 φ 0
αχ + ψ . if s = 0 = t
ax + ^ 2 ^ —h(tx) if s = 0 < ^ 0
ψ{χ) = ax + & ^ - h ( s x ) i/ s ^ 0 < = 0
2ax3 + bx2 + cx —A(x) + β — | i/ s = t φ 0
Sax2 + cx + $A0(x) + ß - d , i/s = —t φ 0
bt(t —2s)x2 + ßx + A(tx) + 7 if 0 ^ s2 φ t2 φ 0
arbitrary with h(0) = d if s = 0 = t
h(x) =
arbitrary
arbitrary ,
if s = 0, < ^ 0
i/s ^ 0 <= 0
a(f)V(f)2+A(f)+d if β = ί φ 0
- « ( !) - ^ ( f ) + K ( f ) . i/s = -< ^ 0,
k —bx2 —A(x) —d i / 0 φ ε 2 φ ί 2 Φ0,
f(x )= g (x ) (3.188)
for all x ,2/ € R with x φν· But (3.190) holds even for x — y.
Now we consider several cases.
Case 1. Suppose s = 0 = t. Then (3.190) yields
Hence by Theorem 3.10, (3.188) and (3.191) we obtain the asserted solution
Hence, we have
h(-ty)-h(ty) = d - H (y ), (3.201)
which is
where
F(x) = f ( x) + àx
K(x) = h(-tx) - ±A0 (f) (3.205)
Φ (χ ) = φ{χ) + 5 i 4 o ( i ) .
Thus from Theorem 3.10, (3.188), (3.202) and (3.205), we again have the
asserted solution
f(x) = 2arc3 + cx2 + (2β —d)x —A(x) + a
g{x) = f{x)
φ(χ) = 3ax2 + cx - %Ao(x) + β
ψ(χ) = 3ax2 + cx + \A0(x) + β —d
Μ*) = -«(f)2- ^ ( f ) +K ( ï ) . * # o J
where a, 6, c, d, a, β are arbitrary constants and A, A0 : R —>R are additive
functions.
Defining
n *) = /(f) 1
» (*) = *d) (3.209)
ψ(χ) = Ψ (ϊ) /
Some Generalizations 123
and
F ( ? ) = F ( 0 ) + ys ^ + φ( 0) + (3·212)
respectively. Letting (3.211) and (3.212) into (3.210), we obtain (after some
simplifications)
x P (y )- y P (x )
= (x-y)(s + t)[h(x + y )- h(x) - h(y)], (3.215)
where
P(x)= 3g x 3 + 26x2 + cx + d
(3.217)
(s + 1) h(x) = - ax3 —bx2 —A(x) —d,
3a stxy (s —t)(x —y )= 0
124 Pompeiu’s Mean Value Theorem and Associated Functional Equations
where a = φ(0) - ψ(0). Letting (3.218) and (3.219) into (3.189), we obtain
where
(3.221)
where β ,7,5 are arbitrary constants. Hence from (3.222), (3.221), (3.219)
and (3.218), we have
/(* ) *>ïg.+p3*+(zy
2 b s tx 3
s+t
+ a - ï ÿ x+ s
φ{χ)
ψ(χ)
h(x)
' ' _ S+ t S+ t 8 + f
Since no more cases are left, the proof of the theorem is now complete.
Some Open Problems 125
= bP(y) - Ψ(χ)} Φ
for all x,y E [a, 6]. In particular, it will be interesting to know if this
functional equation has a continuous solution φ : [a, 6] —>R which is neither
constant nor strictly monotonie on the open interval ]a, b[.
In section 3.4, we determined the general solution of the functional
equation
where x i,x 2»—»^n axe distinct real numbers and W\,W2 , —,Wn are given
real parameters. Find all real valued functions /, h, φι,..., φη on the real line
which satisfy the functional equation (3.224) for distinct χι,χζ»—»®n € R.
126 Pompeiu’s Mean Value Theorem and Associated Functional Equations
Lagrange’s mean value theorem for functions in one variable can be ex
tended to functions in two variables or more. The main goal of this chapter
is to present some results regarding the mean value theorem for functions
in two variables and then to discuss Cauchy’s mean value theorem for func
tions in two variables. Further, we study some functional equations arising
from the mean value theorem for functions in two variables. The functional
equations studied in this chapter are related to the characterizations of low
degree polynomials in two variables. Finally, we point out some open prob
lems in the area of functional equations that are related to our topic of
discussion.
Proof: Let (x, y) and (u, v) be any two points in the plane R2. Let h = u—x
and k = v —y. Let £ be line-segment obtained by joining the points (x, y)
and (u, v). The co-ordinates of any point on this line-segment are given by
12'
128 Two-dimensional Mean Value Theorems and Functional Equations
which is
for some (η, ξ) on the line-segment joining the points (x, y) and (u, v). Since
the partial derivatives are zero at every points, we see that
f(x,y) = f(u,v)
Mean Value Type Functional Equations 129
/(u ,v )- /(x , y)
= (u-x)g(u + x,v + y) + (v-y)h(u + x,v + y),
for all x, y € R if, and only if, there exist constants a, b, and c such that
is given by
Φ 0 = f ( x)+9{x)- i4·11)
we have
f u + v\ _
F(x) = f(x,v + y)
G(x) = /(x fv), (4.19)
H(x) = f(x ,v - y ).
(F - G )(u ) = A(u) + ß
(G —H) (u) = A{u) + a (4.21)
(F —H) (u) = 2A(u) + a + ß, J
which is
for all x,y,v e E. For a fixed x, (4.23) is a Jensen equation and using
Lemma 4.2 we have A(x, y) = B(x,y) 4-C(x), where B is additive in the
second variable y. Since B is additive in the second variable, we have
(u + x)gi(u - x ,v - y ) + (v + y)g2(u - x ,v - y )
= (u—x)gi(u + x, v + y) + (v - y)g2{u + x, v + y) + aix + hy.
f{u,v + y )- f{ u ,v - y )
= -22/pi (2u, 2v) + 4û2U2/ + 4b2vy + 2c%y. (4.34)
134 Two-dimensional Mean Value Theorems and Functional Equations
Adding (4.33) to (4.34) and subtracting the resulting equation from (4.32),
we get
Using the above theorem Kannappan and Sahoo (1998) established the
following property of quadratic functions in two variables analogous to
Theorem 2.5 of Chapter 2.
Proof: Suppose the polynomial f(x, y) = aa;2 +bx + cy2 +dy + exy + a is
a solution of (4.43). Then from (4.43), we obtain
Since / has partial derivatives with respect to x and 2/, so also B. Thus
Recently, Riedel and Sahoo (1997) found the general solution of the func
tional equation (4.4) when η = sx + tu and ξ = sy + tv for real a priori
136 Two-dimensional Mean Value Theorems and Functional Equations
f {u,v) - f (x,y)
= (u —x) g (sx + tuysy + tv) + (v —y)h (sx + tu,sy + tv) , (4.46)
f (x, y) = ax + by + c
g (xf y) = arbitrary with p(0,0) = a if s = t = 0, (4.47)
h (x,y) = arbitrary, with h(0,0) = b J
f(x ,y ) = ax + by + c '
g(x,y) = a >ifs = 0 or t = 0, but not both, or s2 Φ t2
h (x» y) — b
(4.48)
h (x, y) = 7 X + 6y + 6
A (tx) J B (ty ) J c
ffa y )
9(x,y) Φ +^ “ ΪΜ * .» )
h{x,y) arbitrary
for χ φ 0; or for y φ 0 ►ifs = - ί φ 0 ,
A (tx)B jty ) I c
/ ( * . y) t t
9(x,y) arbitrary
h(x,y)
(4.50)
/ (x,2/) = ax + by + c (4.53)
where c isan arbitrary real constant. Thus the solution of (4.46) becomes
/ (x, 2/) = ax + by + c
g (xf y) = arbitrary with g (0,0) = a (4.54)
h (x, y) = arbitrary with h (0,0) = 6, ,
/ (w, v) - / (æ, 2/) = {u- x)g (sx, «2/) + (v - y) h (sx, sy). (4.55)
/ (u, v) = au + bv + c, (4.56)
and
g(x ,y ) = ° \ (4.60)
h(x >y) = b. j
/ f r , y) = ax + by + c '
g(x,y) = a (4.61)
h(x,y) = 6,
ug (tu, tv) + vh (tu, tv) —xg (tx, ty) —yh (tx, ty)
= (u —x)g (sx + tu, sy + tv) + (v —y)h (sx + tu, sy + tv ). (4.63)
ο o
for all x, u, v, y in R with (us —xi) + (vs —yt) φ 0. Now consider several
subcases:
2ax + 2by
= (u + x)g (u - χ,υ - y) + (v + y) h(u - x ,v - y)
- (u - x ) g { u + x,v + y )- {v - y )h { u + x,v + y), (4.69)
which is
Hence, we have
h (u - x, v - y) = (<*o + β) ( v - y )- ao (u - x) + 6,
which is
β-δ = η (4.78)
U9 (^,0) + xg (x,0) = (u + x) g (u + x ,0 ).
Hence
Therefore
vh (0, v ) = B (v ), (4.83)
/(* .» ) = + +c
« (* .» ) = ψ +ψ ~ ΙΚ * ,ν ) (4.86)
h (x, y) = arbitrary,
142 Two-dimensional Mean Value Theorems and Functional Equations
f t 2 - s2 t2 - s2 \ f t 2 - s 2 t2 —s2 \ , ,.
xg i — -— x, — -— y j + yh I — -— x, — -— y j = a x + by, (4.88)
f(x,y) = ax + by + c. (4.90)
au + bv —ax —by
= (u —x) g (sx + tu, sy + tv) + (v —y)h (sx + tu, sy + tv ).
a (s + 1) x = (s + 1) xg (x, y ), (4.93)
g(x,y) = a, (4.94)
Generalized Mean Value Type Equations 143
for all x € R \{0} and y € l . A similar argument yields h(x, y) = b for all
x € R and y € R\ {0}. Letting u = 1+x and v = 1 + y in (4.46) and then
using (4.90), we have
a + b = g{x,y)+h(x,y)
y) = δ» (4.95)
/(£» y) = ax + by + c
g{x,y) = a ►
(4.96)
h (æ, y) = b
f(u ,v )- f(x ,y )
= (u - x)fx{su + tx, sv + ty) + (v - y)fy{su + tx, sv + ty),
The mean value theorem for functions in two variables can be generalized
to include two functions as follows:
Theorem 4.5 For all real valued Junctions g and, f in R2 with continuous
partial derivatives fx) fy> gx and gy and for all distinct pairs (x, y) and
(u,v) in R2, there exists an intermediate point (??,£) on the line segment
joining the points (x, y) and (u, v) such that
Proof: The proof is analogous to the one for the one variable case. We
define an auxiliary function
Φ (Μ ) = [f(u,v)-f{s,t)][g{u1v)-g{x1y)]-[f(u,v)-f(xiy)][g{ui v)-g{s,t)]i
We conclude this chapter with the following problems. The equation that
appears in the above theorem yields a functional equation for given η and
ξ. Assuming η(χ, u) = x + u and ξ(ν, y) = v + y, and replacing the partial
derivatives of / and g by unknown functions h, k, £, m in the above equation,
one obtains
147
148 Some Generalizations of Lagrange's Mean Value Theorem
differentiable on the open interval ]a, 6[, there exists a η € ]α, 6[ such that
(5.1)
This mean value theorem was derived using Rolle’s theorem which states
that for every real-valued function g : [a, 6] —> R with g(a) = g(b), con
tinuous on [a, 6] and differentiable on the open interval ]a, 6[ there exists a
η € ]α, 6[ such that
g'(v) = o. (5.2)
(5.3)
then g(a) = g(b) and the two results are now equivalent. Hence, from here
after we shall not distinguish between Rolle’s theorem and Lagrange’s mean
value theorem, and consider them both as the mean value theorem. Let
us examine how the mean value theorem is deduced from Rolle’s theorem.
The usual proof of the mean value theorem is to apply the Rolle’s theorem
to functions suitably designed to yield the desired result. Frequently, no
mention is made of how these functions are discovered.
Notice that (5.1) can be represented as a determinant, namely
1 Γ(η) 0
m - m - (b - a )m = b m i
a f(a ) 1
x f(x) 1
b f(b) 1
a f(a) 1
It is easy to see that one may use the above determinant instead of g and can
deduce the same result. From analytic geometry we know that the above
MVTs for Real Functions 149
Proof: Assume that there is only one point d €]a,6[ where the function
/ is not differentiable. By applying the mean value theorem to / on [a,d]
and [d, 6] respectively, we obtain
M - f ( a ) = (d - a )f'(c i),
and
for some c\e]a,d[ and c2 €]d,b[. Adding the above two, we get
where
The proof can obviously be extended to the case when / is not differentiable
at more than one point.
a i + ol2 + · · · + an+χ = 1
and
n+1
/ ( 6)- /(a ) = (6 - û) ^ a i /'(c i). (5.5)
i= l
Proof: Assume that there is only one point d g]û, 6[ where the function
/ is not differentiable. By applying the mean value theorem to / on [a, d]
and [d, b] respectively, we get
M - f ( a ) = (d - a )f'(c 1)1
and
m - m = ( b - d ) f ( c 2),
for some ci ε ]a, d[ and C2 € ]ci, 6[. Adding the two equations, we get
which is
if χ €]a,6]
(5.7)
if x = a.
which is
(5.8)
for all x g]û, 6]. In view of (5.7), to establish the theorem we have to show
that there exists a point η g]û, 6[ such that g'(r]) = 0.
From (5.7), we see that g(a) = 0. If g(b) = 0, then by Rolle’s theorem
there exists an η g]û, 6[ such that ς'(η) = 0 and theorem is established. If
152 Some Generalizations of Lagrange’s Mean Value Theorem
g(b) φ 0, then either g(b) > 0 or g(b) < 0. Suppose g(b) > 0. Then from
(5.8), we see that
j {b) = - Æ . < 0.
Since g is continuous and g'{b) < 0, there exists a point x\ in ]a, 6[ such
that
Hence, we have g(a) < g{b) < g{xi) and by intermediate value theorem
there exists a x0 €]o,xi[ such that g(x0) = p(&)· Now applying the Rolle’s
theorem to the function g on the interval [xol 6] we have gf{q) = 0 for some
η € ]α, b[.
A similar argument applies if g(b) < 0 , and now the proof of the theorem
is complete.
The geometrical interpretation of this theorem is the following. If the
curve y = f(x) has a continuously turning tangent in a < x < 6, and if
the tangents at x = a and x = b are parallel, then there is an intermediate
point η such that the tangent there passes through the point a. The Figure
5.2 geometrically illustrates the mean value theorem of Flett.
The following theorem removes the boundary assumption on the deriva
tive of / , that is f( a ) = f{b).
f ( v ) - f ( a ) = (j1- a ) - 1 in - û)2·
From this it is easy to check that ψ'(α) = Ψ{ο) — /'(a ). Applying Flett’s
mean value theorem to ψ, we get
for some η g]û, b[. Using the definition of the auxiliary function, we get the
asserted result
Proof: If f(b) = /(a ), then by Rolle’s theorem there exists a point η € ]α, 6[
such that /'(rç) = 0. If f(b ) = 0, then letting η = 6 we have /'(rç) = 0.
Next, suppose [/(6) —f(a)] f f(b) < 0. This implies that either /'(&) < 0
and f(b) > f(a) or f(b ) > 0 and f(b) < f(a). In the first case, since / is
continuous on [a, 6] and f(b) > f(a) with / decreasing at 6, the function /
has a maximum at η € ]α, b[. Hence /'(rç) = 0. Similarly, in the second case
/ has a minimum at some point η € ]α, 6[ and hence /'(rç) = 0. The proof
of the lemma is now complete.
The following lemma is obvious from the one above.
m - m - m m - m > 0. (5.9)
b —a b —a
f ( v ) - f ( a ) = (. v - a ) f ( v ) ·
( f(x)-f(a) if x € ]a, 6]
h(x) = ^ (5.10)
\ m if x = a.
[h(b)-h(a)]h'(b)= 1
b —a b —a b —a
by (5.9), we see that
[M & )-M ûP '(6) < 0.
{
tf« 6ja.il (511)
j f(a) if x = a.
Then h is continuous on the interval [a, 6] and differentiable on ]a,6]. Dif
ferentiating h, we get
m = .M z M +m
(x —aY x —a
for all x in a < x < b. First, consider the case when
m - m = (b - a )n b ). (5.12)
Using (5.11) and (5.12), we have
Thus, using Theorem 5.3 we have Theorem 5.1. It can be shown that i?^
f( y ) - f( x ) = (f'(v ),y -x )
MVTs for Real Valued Functions on the Plane 157
Proof: Let a = (01,02) and b = (61,62) be any two points on the plane
R 2. Let h\= 61 —ûi and h2 = 62 —a2. Let C be the line segment obtained
by joining the points a and 6. The co-ordinates of any point on this line
segment is given by (ûi 4-h\t, a2 + h^t) for some t € [0, 1]. We define a
function F : [0, l] -» R by
F(t) = /(ß i + hit, a2 + h2t)
Since f'(a ) = f(b ), we see that JP'(O) = F'(l). Applying Flett’s mean
value theorem to F, we get
H Q ~~F(0) _ p / / . v
■ <o-0..... - F ( U
l(b - a, /'(a )) - f(b) + /(a)] [{b - a, /'(&)) - f(b) + f(a)} > 0, (5.16)
Proof: Let a = (01, 02) and 6 = (61, 62) be any two points on the plane
K2. Let hi = 61 —ûi and h2 = b2 —a2. Let C be the line segment obtained
by joining the points a and b. The co-ordinates of any point on this line
segment C is given by
F '(0) = (61 - ûi) /«(αχ, a2) + (62 - û2)/î/(ûi, Û2) = (b - a, f(a )) · (5.19)
Similarly, we have
D efin itio n 5.2 Let X and Y be any two subsets of R 2 Then the set
{ x + {y - x)t I x e X , y € Y, t e [0,1]}
Note that if X and V are convex and compact sets, then [.X , Y] is also
a convex and compact set in R 2. In fact, [.X , Y\ is the convex hull of the
set X U Y.
Now we present a result due to Clarke and Ledyaev (1993).
Theorem 5.6 Let X and Y be convex and compact sets in R2, and let
a function f : R 2 —>R be continuously differentiable on [X,Y]. Then there
exists a point 77€ [X, Y] such that
Proof: Let x € X and y € Y be any two points. We apply the mean value
theorem for real valued functions in two variables to the function / to get
However, the function f(x ) has no critical point in ]0,1[, that is the deriva
tive f(x ) is never zero in ]0,1[. Therefore, the mean value theorem does
not extend in a straightforward manner to 2-dimensional vector valued
functions on the reals.
MVTs for Vector Valued Functions on the Reals 161
We have seen that Rolle’s theorem is equivalent to the mean value the
orem for functions from the reals into the reals. In this section and in the
remaining sections of this chapter we will focus on Rolle’s theorem rather
than the mean value theorem. The reason for this is that Rolle’s theorem
has a natural extension in higher dimensions. In this section, we present a
generalization due to Sanderson (1972).
(«. ί'(η)) = o,
F'iv) = 0
(v, /'(??)> = 0
(v, /'(??)) = 0
which yields
Similarly, Cauchy’s mean value theorem can be deduced from the above
theorem by letting f(t) = (h(t), g(t)) and υ = (g(b) - g(a), h{a) - h(b)).
162 Some Generalizations of Lagrange's Mean Value Theorem
(v, /'(??)) = 0 ,
Proof: Let c and d be two distinct points in [a, 6]. We apply the above
theorem to / on the interval [c, d]. Hence, we conclude that there is a point
η G ]c, d[ such that the nonzero vector v is orthogonal to /'(rç), and the
proof of the theorem is now complete.
The above two theorems can be further generalized to the followings
theorems. We will leave their proof to the reader.
(v, f lk\ v ) ) = 0,
{v, f W (v ))= 0 ,
ri + Γ2 H--- l·rn = l
MVTs for Vector Valued Functions on the Plane 163
and
Note that if n = 1, then the above theorem reduces to the well known
Lagrange’s mean value theorem.
We have seen that for vector valued functions on the reals there is no
straightforward generalization of the mean value theorem. In this section,
we will illustrate with an example that there is no straightforward general
ization of the mean value theorem for vector valued functions on the plane
either.
A function / from R 2 into R 2 is a pair of functions
. ί« = /ι(*.ΐί)
\v = M x ,y ),
(
dfi(x,y) dfi(x,y)\
dx dy 1
d h ( x ty ) dh(x,y) I
dx dy /
and denoted by /'(x ,2/). This matrix is also known as the Jacobian of the
function /(x , y). By
/É ù M l e/i_fa.g)\
I dx oy 1
I d h (v £ ) d h fa ) \
\ dx /
that is the set {(x,y) € R21||(x-x0, 2/“ 2/o)ll < r}. Similarly, let Br{x0,y0)
denote the open ball, that is the set {(x,2/) € R21||(x - x0, V “ 2/o)|| < r}·
Let Sr(x0iy0) = {(re,2/) € R21||(x-xe. 2/“ 2/o)|| = r} denote the boundary
of the set Dr(^o»2/o)·
Now we illustrate with an example that the straightforward general
ization of Rolle’s theorem to higher dimensions fails. Consider the vector
valued function / : R 2 —» R 2 defined by
/ d(x*+xy2—x) d(x3+xy2—x)
f ixiV) — I d(yx2+ys-y) d(yx2+y3-y)
\ dx dy
which is
Λ - Γ ΐ ί “ * +ΐ - > )
and hence
5 )·
Thus the mean value theorem fails for vector valued functions on the plane.
Next, we present an important but simple result due to Furi and Martelli
(1995). We need some propositions which we state without proof.
P roposition 5.1 Let Dr(x01y0) be a closed disk in the plane R 2 and let
f : Dr(x01y0) —» R . If f has an extreme point at (77, ξ) € Br(x0,y0) and it
is differentiable at (η, ξ), then
f ( v . Q = (0,0).
MVTs for Vector Valued Functions on the Plane 165
P roposition 5.2 Let Dr(x0iy0) be a closed disk in the plane R 2 and let
f : D r(x0, y0) —>R be continuous. Then f has a maximum and a minimum
on D r(x01y0).
Note that the above two propositions are identical to their one-dimensional
version stated in Proposition 2.1 and Proposition 2.2 of Chapter 2.
For clarity and notationai simplicity we shall not distinguish between
column and row displays, and in the remaining portion of this section, we
shall display all column vectors as row vectors.
Theorem 5.12 Let Dr(x0,y0) be a closed disk in the plane R 2 and let
the vector valued function f : Dr(x0,y0) —* R be continuous on Dr(x0,y0)
and differentiable on Br(x0,y0). Assume that there exists a nonzero vector
(u,v) in R 2 such that the inner product {{u,v), f{x,y)) is constant on the
boundary of Dr(x0, y0). Then there exists a vector (77, ξ) € Br(x0,y0) such
that
(u,v),
s'fa.O = (M )·
Hence, we have
that is
/ 8 ( / i( » ,t) ) δ ( / ι( Ί ,ϊ» \ \
Let
Then
That is < v, S(x) > is constant on the boundary. By the above theorem,
there exists a point η g]û,6[such that
m - f ( a ) + (a - b )f'(V)]t = 0.
Hence if t Φ 0, then
m - f ( a ) = (b - a )f'(V).
Proof: If f(a) = f(b) and g(a) = g(b) then there is nothing to prove.
Assume
m = cφ ), m ) .
Let
Then
< v, 5(a) > = < v, 5(6) > = g(a) f(b) - g{b) f(a).
That is < υ, S(x) > is constant on the boundary. By the Theorem 5.12,
there exists a point η e ]o, 6[such that
Hence if t Φ 0, then
m -mw(v)+m - swi m -
The proof of the theorem is now complete.
Theorem 5.12 can be generalized to vector valued functions from Rm
into Rn. The proof of the following theorem is similar to the Theorem 5.12
and we leave this to the reader.
[u, f ' ( v ) x ) = 0
Hence φ'{0) = (v ,f(a )(b - a)) = (v ,/'( 6)(6 - a)) = φ'( 1). Applying
Flett’s mean value theorem to φ on the interval [0,1], we obtain
= φ{ί0) - φ(0)
for some tQ g]0 , 1[. Using the fact that φ(0) = v f (a) and letting a —t(b —
a) = η into the above equality, we obtain
Since t0(b —a) = η — a, the above equality yields the asserted result and
the proof is now complete.
also not valid for holomorphic functions of a complex variable. To see this,
consider the function
f(z) = ez - l.
f(2km) = e2fcwi —1 = 0
f i * ) = e*
has no zeros in the complex plane. Hence, Rolle’s theorem is false in the
complex domain without any changes.
Let us consider another example. Let f(z) = (z2 - l) (z - i\J3). It is
easy to see that the polynomial / has zeros at the vertices z — 1, z — —1 and
z — iyj3 of an isosceles triangle. If Rolle’s theorem were valid, the derivative
of / would be zero on each side of the triangle. But the derivative of / is
f ( z ) =3
* Λ
which has a zero at z = a point interior to the triangle.
As the second example shows, the concept of a critical point lying be
tween two real zeros usually is replaced in the complex plane by concept of
a critical point situated in some region containing the zeros of a given func
tion. In the second example that region is a closed triangle but a circular
disk may be the most convenient choice.
The efforts made towards devising some complex plane counterparts to
Rolle’s theorem began about one hundred and fifty years ago with Gauss
and have continued to the present day. Jean Dieudonne (1930) published
a necessary and sufficient condition for the existence of a zero of f { z ) in
the interior of a circular disk with diameter ab when / is holomorphic and
/(a ) = f(b) = 0. Marsden (1985) furnished some results about the relative
locations of the zeros of a complex polynomial and zeros of its derivative.
Marsden concluded in his 1985 paper that none of the results so far has the
generality and simplicity of Rolle’s theorem. Hence it remains a challenge
for the future to find a true analogue of Rolle’s theorem in complex domain.
In 1992, Evard and Jafari (1992) gave the following generalization of
Rolle’s theorem to holomorphic functions of a complex variable.
170 Some Generalizations of Lagrange's Mean Value Theorem
φ(ί) = (6i - ûi) u(a + t(b - a)) + (&2 - ß2) v{a + t(b - a))
0 '( * i ) = O
for some <1 G]0 , 1[. Letting z\ — a 4-h(b — a), we get from the above
equation
(6 1 - Û i)
ih n i /L ,d v (Zl)
+(&2 “ Û2) = 0.
(6l _ 0l ) _ ô ï“ + (62- e2) - ÿ i
Thus
du(zy)
= 0
dx
MVTs for Functions on the Complex Plane 171
which is
R e (f'(z1))= 0 .
and
Proof: Let
Re (s'(zi)) = 0
and
Im (:g\z2)) = 0.
and
0 = Im {g'(z2)) = I m (f'{z2)) - Im *
/(z) = e* - z.
f'(z) = e* - 1.
Therefore, we have
f(2km ) = e2M - 1 = 0
f'{2m) = /'(4πζ),
that is, the derivatives of / at the end points of the interval [2πζ, 4πζ] are
equal. Now we show that
x l, ^ _ /(*) - / (2™ )
/(2 )= z- 2m
has no solution on the interval ]2πζ, 4πζ[. Rewriting the above equation,
one obtains
[1 + 2πζ —z]ez — 1,
which is
Comparing the real and imaginary parts, we get the following system of
equations
interval ]2mt 4m[ such that [1 + 2πζ—z] ez = 1 has a solution. Thus Flett’s
theorem is false in the complex domain without any changes.
For distinct a and b in (C, [a, 6] denotes the set {a + t(b —a) 11 G [0,1]}
and it is referred to as a line segment or a closed interval in C. Similarly,
by ]a, 6[ we mean the set {a + t(b —a) 11 G ]0,1[}. Now we give a general
ization of Flett’s theorem for holomorphic functions of a complex variable
in the spirit of Evard and Jafari (1992). This thoeorem is due to Davitt,
Powers, Riedel and Sahoo (1998).
and
which is
φ(ί) = (6i —ai) u(a + t(b —a)) + (62 —02) ^(a + t{b —a))
χ ^ (ζ) ,, ν^Ϊί(ζ)
$ '( < ) = (6 1 - a i ) (6 1— a i)— 5 -— I- (6 2 —
174 Some Generalizations of Lagrange's Mean Value Theorem
Thus, we obtain
where z\— a + t\(b —a). Farther, since z\= a + <1(6 —a) and <1 G [0,1],
we have
Hence the equation <1 |6- a |2 Re (/'(z i)) = φ{ίι)—φ(0)+^ [φ'( 1) - φ;(0)] ί2
reduces to
^ ( / (Ζ,)) - ίι |6 - α|2 + 2 |6 - α | 2
Using (5.23), (5.24) and the fact that z\ — a + t\(b — a) in the above
equation, we obtain
( o —a, z\—a)
and
v v " (b —a, Z2 - a )
f(z) = ez - z,
v ' 27Γ2/1
So
, * , sin(ÿi) - ÿi
cos(ÿi) - 1 = --- -----.
yi
176 Some Generalizations of Lagrange’s Mean Value Theorem
27Γ2/2
which is
_ sin(ÿ2) = Â z i .
2/2
This equation has exactly one solution in ]0, 2π[, and 2/2 « 2.33112 (see
Figure 5.4). Thus 22 « 2.33112z. Trahan (1966) gave a new proof of Flett’s
theorem replacing the boundary condition f(a ) = f(b ) by
and
Proof:We first note that if / is linear then equation (5.26) holds for
any ze G . Now assume that / is not linear, using Taylor’stheorem, we
have that there is an integer k > 1 and a function h(z) analytic in G with
h(a) Φ 0 such that
has a zero inthe open disk D about ^ of radius ^|6 — a|. We proceed
by writing the function in equation (5.28) as a sum of twofunctions, one
of which has a known zero in this disk and dominates the other. Then we
will use Rouche’s theorem to finish the proof.
Using equation (5.27) we can calculate the derivative of / to be
f(b) - m b_ a
f (a) = Φ(ζ) +h(b) ip(z), (5.32)
MVTs for Functions on the Complex Plane 179
where
we will now show that φ and ψ have the same number of zeros in a suitably
restricted area. If 6 is in Νχ = |\
z—a| < J^ ) l then we note that
Ψι being a k-th degree polynomial has exactly one zero in the sector Ds of
D , where
f z —a\ π 1
£>» = { < -|6 —a|; with arg
z \ b - a) < k J ’
If z is on the boundary dDSl then we have
The latter inequality holds since \h\z)\ < 1 and \ z - a\ < |6 - a|. To
estimate ψ we need to split dDs. If z — 5 (0 + 6) + 5 (6 - a)ei26, for |0| < ^ ,
(that is z is on the circular arc), then, using el2e = cos(20) + i sin(20) we
get
\ φ ( |2
_ Qpfe = 1 + (k + 1) ((k + 1) cosfc(0) - 2 cos(fc0)) cosfc(0). (5.36)
\ψ(ζ)\2
>1 or \Ψ(ζ)\ > |6 —a| . (5.37)
|6 - a\2k
If, on the other hand z is on one of the line segments of Ds, that is z =
a + t(b —a)e±Mr/ fc, for 0 < t < cos (ξ ), then we obtain
\ψ{ζ)\= (1 + {k + 1 )tk) \
b- a\k > |6 - o|fc, (5.38)
where the last inequality holds since we assume z € N\. Thus by Rouche’s
theorem,
have the same number of zeros in the interior of D , namely one. This
concludes the proof.
Theorem 5.13 in section 4 of this chapter due to Furi and Martelli (1995).
It is valid if one replaces the range space Rn by a Hilbert space H. The proof
is identical to the proof of Theorem 5.13. It is also true when the range
space Rn is replaced by a Banach space F and the inner product (u, f f{r))x)
is replaced by φ(ΐ'{τι)χ), where φ is a continuous linear functional.
Furi and Martelli (1995) have conjectured that Theorem 5.13 is false if
the domain of / , Rm, is replaced by an infinite dimensional Banach space
E. Notice that the multidimensional versions of Proposition 5.2 is no longer
true in E. It is well known that the unit closed ball D i(0) is not compact
in E and consequently, there are continuous functions / : D i( 0) —>R such
that the image of / is an open interval.
Recently Ferrer (1996) provided an example which showed that Theorem
5.13 fails in infinite dimension. This proves Furi and Martelli’s conjecture
to be true. To establish the conjecture he gave an example of a function
/ from the space I2 of square summable real sequences into R with the
following properties:
Ferrer’s proof makes use of the fact that the unit ball in the Hilbert space
I2 (with the /2-norm) is not compact, and thus / is constructed to be
unbounded on this set. Ferrer then shows that there is nopoint η in the
open unit ball such that /'(rç) = 0.
The proof of this theorem goes well beyond the scopeof this book and
the interested reader is referred to the original article.
Chapter 6
Recall that the derivative of a real function / , that is a function from the
real line R into itself, at a point x is given by the lim it
182 Mean Value Theorems for Some Generalized Derivatives
provided this lim it exists. The limit exists m il mean it exists and is finite.
If a function has a finite derivative, then its graph is continuous and devoid
of sharp corners and vertical tangents. In this sense, differentiable functions
are functions with nice graphs.
Over the years, mathematicians have proposed many generalizations of
derivatives by altering the right side of the definition of derivative stated
in the previous page. If we replace the difference quotient by
a central difference quotient t then we obtain a generalized
derivative. This generalized derivative is called the symmetric derivative
of the function / . Interested readers are referred to the book by Thomson
(1994) for treatments on symmetric derivatives of real functions and related
topics. Formally, we define it as follow.
lim f ( x + h) - f (x ~ h)
h-* 0 ‘I h
Symmetrie Differentiation of Real Functions 183
exists.
/ · ( * ) = am
h—
*■*0
Λ 2h
= lf\ x )+ lf(x )= n x ),
if h < 0
_ j 1 if h > 0
■\-l if h < 0 .
Λ—»0 2h
= lim 0
h—*0
= 0.
if χ φ 0
if x — 0.
J w /i->o 2/i
/i->o 2/i
= lim 0
h —*0
= 0.
f —% if x Φ 0
/S (* H n0 -
iff n.
x= 0
if χ Φ 0
if x — 0.
M if χ φ 0
X
/ μ = j
if x = 0.
m - S s . m + h ) i m ~ h)
IM l-fcl
= lim h ~h
h—*o 2h
-»«I
/i->o h 2
if h > 0
= lim
h—>0 1
J
[w if h < 0
= lim \
I it if h > 0
/i—0 I
14 if h < 0 .
= 00.
Hence this function has no symmetric derivative. The graph of this function
is shown in the Figure 6.3.
188 Mean Value Theorems for Some Generalized Derivatives
Exam ple 6.5 The function f(x) = |x| does not satisfy the ordinary mean
value theorem on the interval [—1, 2].
if χ φ 0
if x —0 .
Note that the range of f a{x) is the set {0 , —1, 1}. The slope of the secant
line is which is Since the range of f a{x) does not contain this
value therefore there is no η such that
Lem m a 6.1 Let f be continuous on the interval [a, b] and let f be sym
metrically differentiable on ]g , b[. If f(b) > f(a), then there exists a point
η € ]a, b[ such that
Further, if f(b) < f(a), then there exists a point ξ €]o,6[ such that
H 0 <o.
Proof: Suppose f(b) > /(a ). Let k be a real number such that f(a) < k <
f(b). The set
f{x + h ) > k
and
f(x - h) < k .
Therefore
r (0 < o.
nn) >0
and
/* (i) < 0.
or
or
or
If the inequalities in (6.1) are true, then we apply Lemma 6.1 to / on the
interval [a, x\] to obtain
f a(v) > 0
for some η g]û,x i[c]û,6[. Again applying Lemma 6.1 to / on the interval
[a,x2], we obtain
for some ξ E]a,X2 [c]a,b[. The other cases can be handled in a similar
manner and the proof of the theorem is now complete.
Now we prove the quasi-mean value theorem for symmetrically differ
entiable function.
Proof: Define g by
Prom the above theorem, we see that the slope of the secant line through
the points (a, f(a)) and (&,/(&)) can not be equal to the value of the sym
metric derivative of / at an intermediate point. Now the question arises
what additional condition or conditions should be imposed on the symmet
ric derivative of / so that the regular mean value theorem will hold for
functions that are symmetrically differentiable. We will show that if the
symmetric derivative of / has the Darboux property then the regular mean
value theorem will hold.
D efin itio n 6.2 A real valued function / defined on the interval [a, b] is
said to have the Darboux property if whenever η and ξ are in [a, 6], and y is
any number between /(η) and /(£), then there exists a number 7 between
η and ζ such that y = / ( 7 ).
We know from calculus that every continuous function has the interme
diate value property, that is the Darboux property. The Darboux property
was believed by some mathematicians in 19th century to be equivalent to
the property of continuity. In 1875, Darboux showed that this belief was
not justified. It can be shown that a function having the Darboux property
can be discontinuous everywhere.
» . wb —a
Proof: By the above theorem, we obtain η and ξ in ]a, b[ such that
Since f s(x) has the Darboux property, there exists a 7 in ]o,6[ such that
6.3 A n A pplication
f'(x) = f ( x ) .
for some η € ]x, x + h[. Taking lim it of both sides as h —» 0 and knowing
that the lim it of the left side exists, one obtains
/*(*) = /'(* )·
f( a ) = / » .
The following result was proved by Reich (1969) which is the symmetric
derivative version of a result established by lYahan (1966). This results gen
eralizes the quasi-mean value theorem for functions with symmetric deriva
tives. For / differentiable on [g , 6], we adopt the convention / ;(6) = f s{b).
m >m >m .
Hence applying Lemma 6.1 to / on the interval [y, 6], we obtain / s(£) < 0 for
some ζ € ]y, b[. Again applying Lemma 6.1 to / on the interval [a, 6], we get
f s(v) ^ 0 f°r some η € ]a, b[. The case when f(b ) > 0 and f(b) < f(a) can
be handled in a similar manner. This completes the proof of the theorem.
In the next theorem, we present a version of Flett’s mean value theorem
for symmetrically differentiable functions.
( n - a ) f s( v ) > f ( v ) - f ( a )
and
({ - « )/·({ )< M - M -
if x € ]a
h(x) = I 1 ’«
(a) if x = a.
h*{x)=-MEL+m
x —a x —a
m - f(a) 1
m - > 0,
b —a b —a
for some ζ, η g]û, &]. By the definition of h this amounts to the following
inequalities:
and
Theorem 6.9 Let f and g be continuous on the interval [a, 6] and sym
metrically differentiable on the open interval ]a, 6[. Further, let f and g
Dini Derivatives of Real Functions 195
be both differentiable at the end points a and b of the interval [a, 6] with
g'(a) φ Ο Φ g'(b). Suppose g(x) φ g(a) for all x G ]α, 6] and
m m - M / 'M m - f(a)
> 0.
.9'(b) g(b) - g(a) .9 '{p ) 9(b)-g{a)'
and
f /(s)
_ {J 9«!*)-*(«)
h(x)= (x)
I ig'{a,
# * *= «
and proceed in a manner similar to the proof of Theorem 6.8.
The importance of Dini derivatives was felt in the last few decades when
nonsmooth optimization problems arose in economics and engineering. The
typical feature of Dini derivatives is that they always exist and admit very
useful calculus rules, as well. This section is concerned with the Dini deriva
tives of a real valued function of one variable. We present only some of their
basic properties, a comprehensive account of these derivatives can be found
in the excellent paper by Giorgi and Komlosi (1992). We begin this section
with the definition of Dini derivatives and then provide some examples for
illustration.
D efin ition 6.3 Let / :]α, 6[—>E be a real valued function and let c G ]α, 6[
be an arbitrary point. The four Dini derivatives of / at c are defined as
follows:
where δ is a positive real number such that the neighborhood \ x—c| < δ
is contained in ]a,6[. The quantities f +{c) and /+(c) are called the upper
and lower right Dini derivative of / at c while / “ (c) and /-(c) are called
the upper and lower left Dini derivative of / at c.
x s m (^) if x>0
f(x) = 0 if x= 0
x [3 + sin (£)] if x < 0.
and
The graph of f{x) and are shown in Figure 6.4 and Figure 6.5,
respectively. From these graphs, it is easy to visualize the Dini deriva
tives of / . Now we describe some rules for Dini derivatives by using the
corresponding rules for limsup and liminf.
From the definition of Dini derivatives, it is easy to note that
Non differentiable functions with finite Dini derivatives are closely related
to differentiable functions: they are continuous and almost everywhere dif
ferentiable.
Theorem 6.10 Let f : [a, b] —>R and cbe a point in ]a, b[. If each of the
four Dini derivatives at c is finite, then the difference quotient
f(x) - /(c)
x —c
is bounded around c, and hence f is continuous at c.
Proof: Suppose / is not continuous at c. Then there exists an e > 0 and
a sequence {Cn} converging to c such that
Hence
f(Cn) - f(c)
00
Cn C
as Cn —» c. This implies that at least one of the four Dini derivatives is not
finite which is a contradiction.
We state the following theorem without giving a proof. The interested
reader should see Young (1916) for a proof.
The following example shows that if all four Dini derivatives are not
finite, continuity is in general not ensured.
Exam ple 6.7 Consider the function / : R —>R defined by
/( Ι ) = ( χ2 11 * * °
[l +x if x < 0.
This can be seen from the definition of Dini derivatives. For example,
= inf δ
δ>ο
= 0,
= 0,
= inf oo
δ>0
= oo,
and
Theorem 6.12 Let / : [a, 6] —>E be real valued function defined on the
interval [a, b] and c be a point in ]a, b[. If f+(c) > 0 and f-(c) > 0, then f
is locally strictly increasing at c.
200 Mean Value Theorems for Some Generalized Derivatives
Proof: Suppose /+(c) > 0 and /-(c) > 0. Then there exists x i,x 2 € [a, b]
with x\< c < X 2 such that
f(x) - f(c) ^ 0
x —c
for every x G]xi,x2[, x Φ c. Hence, we have
and
Similarly, if f +(c) < 0 and / “ (c) < 0, then / is locally strictly decreas
ing at the point c. The proof of this statement is analogous to the proof of
the above theorem.
Theorem 6.13 Let f : [a, 6] —>R be real valued function defined on the
interval [a, b]. If f is locally strictly increasing at every point of[a,b], then
f is strictly increasing on [a,b].
f ( x l) > f ( x 2)·
We define a set T by
x0 = supT.
Then clearly x\ < x0 < x2l since / is strictly locally increasing at x\ and
x2. Again using the fact that / is locally strictly increasing at x0, we get
and
for some δ > 0. By the definition of x0, if x0 < x < x2 then x & T and
hence
Using (6.7) and (6.8), we see that f(x 0) < f{x) < f(x i) for any x0 < x <
x0 4- δ, thus
On the other hand there exists χ' \n x0 —δ < x' < x0 such that x' € T.
Hence by (6.6) and the definition of T, one has
This contradicts the fact that f(x i) > f{x0)· This contradiction proves
that / is strictly increasing on [a, b] and the proof of the theorem is now
complete.
In this section, we study the mean value theorem and its various gener
alizations for nondifferentiable functions using Dini derivatives. Our first
theorem is due to Castagnoli (1983). In this theorem no extra conditions
are imposed on the function.
Theorem 6.14 Let f : [a, 6] —> E be real valued function with f(a) =
/(&).Then there exist η, ξ € [a, b] such that
and
Proof: We shall establish (6.9) and leave the proof of (6.10) to the reader
as the proof is similar to the proof of (6.9).
202 Mean Value Theorems for Some Generalized Derivatives
Suppose there does not exist an η € [a, b] such that either f+{r)) < 0 or
f-(v) ^ 0· This implies that
Theorem 6.15 Let f : [a,b\ —>R be a real valued function with f(a) =
f(b). Suppose f assumes a minimum m and a maximum M on [a,b]. If
m < f(a) = f(b), then there exists η g]û,6[ such that
Proof: Let η € [a, b] such that /(rç) = m. Suppose m < f(a) = /(&), then
η € ]α, b[. Since in this case we have
Γ ( ν ) < 0 </+(*?)
holds. The proof of the other part of the theorem follows by similar argu
ments and the proof of the theorem is now complete.
{f(x)\xe[a,b]} = [m,M\.
Suppose M > f(a). Then, there exists d €]a,&[ such that f(d) = M .
Let f(a) < y < M . Since / is continuous there are two points d\ G ]a,d[
and d2 € ]d, b[ such that / assumes the value y. That is
m ) = y = f(d 2).
Put 771 — dlf 772 = d, 773 = d, 774 = d2. It is not difficult to show that the
inequalities are fulfilled with this choice.
Suppose m < f(a). The proof goes by the same arguments of the
previous case. The proof of the theorem is now complete.
The following theorem can be easily deduced from the above theorem
and we leave its proof to the reader.
Next, we present an extension of the Flett type mean value theorem due
to Lakshminarasimhan (1966).
if x € ]a, 6]
if x = a.
204 Mean Value Theorems for Some Generalized Derivatives
From the above equality, we see that if g(b) > 0, then g'(b) < 0. Hence g is
a decreasing function at 6, while g(a) — 0. Since g is continuous in [a, 6], it
attains maximum at a point η € ]α, b[. Hence
But
g+iv) = . M iM + / +M
(7? - α)2 η —a
and
(7? - α)2 η- a
Hence we have the inequalities
If, on the other hand, g(b) < 0, then g,(b) > 0, so that g is increasing at b
while g(a) = 0. Hence, g attains its minimum at a point ξ €]α,6[; so that
or
/ * ( ,) <
or
r (s) < ξ- α
</,«)■
Proof: Define h : [a, 6] —>R by
Ci i s h m if χ g]a b]
h(x) = { x~a
| / 7(a) if x = a.
Then evidently, h satisfies the conditions of the previous theorem and hence
this theorem follows.
In addition to the above, a Cauchy type mean value theorem- and its
generalizations have been studied. Since the development of these theorems
are quite parallel to the usual Cauchy type mean value theorem, we shall
206 Mean Value Theorems for Some Generalized Derivatives
not pursue these developments here and rather leave them to reader as an
exercise.
In this chapter, we examined Rolle’s theorem and Lagrange’s mean value
theorem and their generalizations for functions with symmetric derivatives
and Dini derivatives. There are many other generalized derivatives such
as approximate derivative, preponderant derivative, qualitative derivative,
congruent derivative, selective derivative, path derivative, Csaszar's deriva
tive, and Garg’s derivative (see Bruckner (1994)). For some of these gen
eralized derivatives some results related to Lagrange’s mean value theorem
exist and other results can be established. Because of the introductory
nature of this book we refrain from mean value type results for these gen
eralized derivatives.
Chapter 7
The mean value theorem for integrals is established using the second fun
damental theorem of calculus, which states that if f(x) is continuous on an
interval [a, b] and F(x) = f* f(t)d t for x € [a, 6], then F'(x) = f(x) for all
x € ]o, 6[. This result is attributed to Isaac Barrow (1630-1677) who was the
first to realize that differentiation and integration are inverse operations.
The mean value theorem of integral calculus states that
207
208 Some Integral Mean Value Theorems and Related Topics
M ( x , y ) ) = i * f( t ) d t · (7.1)
y —x
Proof: Let us define
m = P m d t,
Ja
where a is a constant in }x,y[ and z €]x,y[. Since / is continuous on
the interval [x,j/], the function F is also continuous on [x,y] and F is
also differentiable on the open interval ]x, y[. By the second fundamental
theorem of calculus, we have F'(x) = f(x). Now we apply the mean value
theorem of differential calculus to the function F. Then there exists a point
ζ in the interval }x,y[ depending on x and y such that
y —x
that is
îa f ( t ) d t - s :m d t
= ί ( ξ ( χ ,ν ) ) ·
y-x
Hence, we have the asserted statement
y —χ
and the proof of the theorem is now complete.
A generalization of the mean value theorem of integral calculus is the
following:
H (x)= f
Ja
f(t)g(t)dt
The Integral MVT and Generalizations 209
g(t)dt.
-Γ
Ja
H(x) G(x) 1
D(x) = H(a) G(a) I
H(b) G(b) 1
&(*) G(x) 1
D(x) = 0 0 1
H(b) 0(b) 1
D '(i)= 0
210 Some Integral Mean Value Theorems and Related Topics
0 = ^ (ξ )
Η '(ξ) σ (ξ) 1 /(C)p(O 0 (f) 0
0 0 1 = 0 0 1
m G(b) 1 H(b) G(b) 1
= 9(0 [-m)G(b)+H(b)].
Hence
m
m =
G(b)
that is
Ja 9(t)dt
(V~o)f(v)=
Ja
f -f(x)dx. (7.3)
Since f(a ) — f(b), at least one of them is not the left end point a of the
interval [a, b], Suppose t2 φ a. Then t2 φ b, otherwise / becomes a constant
function. In this situation, we have
F(t?) = 0,
that is
F(v) = 0,
that is
F(V) = 0,
that is
for some η € [tutzl· From the above cases we conclude that (7.3) holds for
77 € ]a, b[. The proof is now complete.
212 Some Integral Mean Value Theorems and Related Topics
Fig. 7.2 A n Illustration of the Integral Mean Value Theorem of Flett Type.
P n = { Xo, Xl , - - - , Xn}
In the above Riemann sum, there are many ways of choosing the “sample
points” c i,C2, ...,Cn. We will choose these sample points in such a way that
The Integral MVT and Generalizations 213
Ci = Xi-i + 1Axi
for i — 1,2 ,..., η. If we choose the sample points ci, C2, ..., Cn in this manner,
then the above Riemann sum becomes a function of t for a fixed partition
and we denote this by
= Σ f fr *“ 1 + 1Δχ%) Axi.
i= l
Notice that by choosing the different values for t, we obtain the various
Riemann sums. For example, if t = 0, the 7^(0) represents the left endpoint
Riemann sum. Similarly Tin ( 5) and 7^(1) represent the midpoint and
right endpoint Riemann sums, respectively.
In the following theorem, we address the question: For a given partition
does there exists a point η g]0, 1[ such that Tlniv) — Ja f i x) dx- In the
case 71 = 1, the following theorem yields the integral mean value theorem.
Thus in this sense this theorem is a generalization of the integral mean
value theorem.
= / f(x)dx.
Ja
P roof: If n = 1, then this is just the integral mean value theorem. Suppose
n > 1. The function 7Zn(t) is continuous on the interval [0,1] since the
functions / (xj-i + tA xi) are composites of the continuous function /(x )
with the continuous function χ7·_ι + ίΔχ*. Hence, the function Tln(t) is
214 Some Integral Mean Value Theorems and Related Topics
integrable, and
f
Jo
7ln {t)d t= [ Y , f (xi-1 + 1Axi) Axi dt
Jo Li=l
n
= V ] I /(x j- i + tA xi) Axidt
i=l Λ
n -a-
= Σ / /(<*)**
j=l ■'»I-·
= f
Ja
f(x) dx,
where c* = Xi-i + 1Ax*. Now applying the integral mean value theorem to
the continuous function Tln(t) on the interval [0, 1], we get
η η(η) = [ l Kn(t)dt
Jo
for some η G]0, 1[. Since the right hand integral is equal to fa f(x) dx, we
obtain
Simplifying this we get Tlz (t) = 3Î2 + 6<+ 5. Integrating f(x) = x2 from 0
to 3, we obtain JQ3 f(x) dx = 9. Therefore, we have the quadratic equation
3<2 + 6<+ 5 = 9. Solving this equation, we see that η = 0.5276. The Figure
7.3 illustrates this theorem geometrically with n = 3.
Now we present yet another generalization of the integral mean value
theorem known as Bonnet’s mean value theorem. As the name suggests,
this theorem was discovered by Ossian Bonnet in 1849. Bonnet pointed out
that his mean value theorem has many applications. However, we shall not
discuss its applications here and refer the interested reader to the paper by
Bonnet (1849) and the book by Bressoud (1994).
The Integral MVT and Generalizations 215
Let
n
Sm ('P)= Σ m ) ( t k - t k-i). (7.7)
k=m+l
that is
ώ
A < f f{ t)d t< B (7.8)
Jx
for each x in [a, 6]. Let A(V) and B(V) be the lower and upper bounds of
SmitP) for all m = 1 , 2 , n. Hence
which is
that is
S (T )> g(b)A (P ).
Therefore, we obtain
g (b )A (P )< S (P )< g (b )B (P ).
The Integral MVT and Generalizations 217
As the partition becomes finer, the sum «S ^) tends to the integral f{t)g(t) dt,
that is
and
g(b) lim A{V) < lim S{V) < g{b) lim B(V\
that is
Ag(b)< f
Ja
f(t)g(t)dt < Bg(b). (7.14)
Φ (ν)= [ f{t)9(t)dt
Ja
for some η € ]α, 6[. This implies that there exists a point η in ]a, 6[ such
that
The property (M l) is called internality while (M2) and (M3) are called
symmetry and homogeneity, respectively. The condition (M l) is the abso
lutely essential part of the definition. The conditions (M 2) and (M3) are
often unnecessary. However, in this book we will treat them to be equally
important in defining a mean. Recall that the mean value theorem of inte
gral calculus says that if / : [a, 6] —►R is a continuous function, then there
exists an intermediate value η in ]a, b[ depending on a and 6 such that
/(»?M)) = J /(*)<&.
It is easy to see that η(α, 6) satisfies the properties (M l) and (M 2). Now by
selecting an appropriate function / , which ensures the homogeneity condi
tion on 77, it is possible to generate various existing means.
To construct the arithmetic mean between two positive numbers a and
6 consider the function f(x) = x. Then using the integral mean value
theorem, we obtain
1 1 * . 1 ^- e2 e+6
= --- / xdx = --------- = ---- .
b —a, Ja b —a 2 2
Integral Representation of Means 219
Thus, the arithmetic mean A(û, 6) of two positive numbers a and b has the
following integral representation
1 rb
A(a,b) = -— - J xdx.
= / fa M ) )
r(M )
= b h [ i{x)dx
b - a J a x2
6 —a I x a
1 1_ 1
b —a a b
ab'
Thus, we have
η2(α,ΰ) = ab
or
Tj{a, b) = Vo6.
This shows that the geometric mean, G{a,b), has the following integral
representation
l— = — ("L é c .
G2(a
[α,6) b - a J a x2
compute
In 77(0 , 6) = f(v(a,b))
= jp — f In* dx
b —a J a
[x lnx - x ]‘
b —a
1
[61η6-α1ηα- (6 -a)]
b —a
61n6 —aln a
-1
b —a
lne
■ ' W -
Therefore
1
Γ66 1
jj(e ,6) = -
a°
which is the identric mean. Thus, the identric mean can be represented as
follows
ln(/(a,6)) = *
b- a Ja
f \nxdx.
Note that the identric mean like other means is symmetric and homogeneous
of degree one. The identric mean, arithmetic mean and the geometric mean
satisfy the following ordering
min{a, 6} < G(a, 6) < /(a, 6) < A(a, 6) < max{a, 6}.
If we take f(x) = J and apply the mean value theorem, then we have
1 = /(»?M ))
ji(a,b)
= b h jafix)dx
1 Πb t
dx
b - a Ja x
1 ib
b —a
ln 6 —lna
b —a
Hence
V{a>,b)= b a
ln 6 —lna
Therefore, the integral representation of the logarithmic mean, L(a, 6), is
1 1 1*1
L (a,6) b —a j a x X'
Ir5
Ja g(x) dx
a i„h \ = i ï gw xdx
9 ’ Sa δ(χ) dx
1 _ I«9{x)j<lx
Lg(û, b) f£g(x)dx
G g(a , b) g (x ) d x
aQ= a and b0 = b
_ a t ^ l \_ an +
ßn+1 — «A(ûn» On) — g
Therefore
(b n -O n )2
0 — bn+1 Qn+1 —
2 (v ^ + \ /Q 2’
Hence
The function M (l,x ) can be expressed in closed form in terms of the fol
lowing complete elliptic integral
1 2 [% dB
M( l , x ) π J0^ ι _ ( ι _ χ 2) 5ίη2θ
Gauss derived this closed form in 1866. The lim it M (l,x ) satisfies an
hypergeometric differential equation
^ ~ x )U +{33;2~ i ) t + xy=o·
An integral of the form j ^f(x) + g(x) y/(x - a)(x - b){x - c) j dx, where
f(x ), g(x) are rational functions and a, 6, c are distinct constants, can not
be integrated in terms of “known” functions. These integrals are called the
elliptic integrals since they first occurred in trying to find the arc length
of anellipse.Euler and others studied elliptic integrals. Anintegral of
the form[J —, -- de is called a complete elliptic integral. Here
u y a2 cos2 0+b2 sin2 Θ
a and b are real constants. Legendre used the arithmetic-geometric mean
iteration to evaluate the complete elliptic integrals. A complete elliptic
integral , de is equal to ötcjtttt» that is
° J0 v ^ 2« * 2 θ+b2 sin2 Θ M 2M(a,b)
ή ______________________________ de π
Jo y/a2 cos2 θ + 62 sin2 θ 2 Μ (α,6)
Thus, the above elliptic integral can be evaluated by evaluating M (a, 6).
Modifications of the arithmetic-geometric iteration of Gauss also have
been examined by many authors. For an account of various modifications
the interested reader should refer to Hie book of Bullen, Mitrinovic and
224 Some Integral Mean Value Theorems and Related Topics
Vasic (1988). Here, we present two such modifications. For two positive
numbers a and b let us denote
ai l \ a>n + bn
ßn+l —A (ûn» 0n) _
bn+1 — G ( û n + lj^ n ) — \ Q n+ lb ni
then the sequences {an} and {6n} have a common lim it and it is given by
y/b2 - a2
lim On = lim bn = --- τη-τ.
n—»00 n-»oo COS
Similarly, if we define
b n + l = G (o>nibn) = y/^n bn
ai l \ + bn+l
Q>n+1 — A (û n , bn + i) — 2
y/a{b-a)
lim an = lim bn = —— 7—7=—
n-» 00 n-» 00 COS
In this section, we characterize all functions that have the same mean values
as their derivative. To prove a characterization theorem, the following result
is needed. This result is called the Bernstein Theorem and we refer the
reader to the book of Walter (1985) for its proof.
For the next theorem we will need to impose the following conditions
on the function / : R —>R:
The mean value theorems for differential and integral calculus then state
that the mean values W (x,a) and w(x, a) are well defined for all x,a € R
and are given by the following equations for χ φ a:
r f(s) ds
f(W (x ,a ))= Ja-J U (7.16)
x —a
f'(w (x ,a ))= f{ x )~ f[a)· (7.17)
x —a
Theorem 7.7 Let f : R -» R satisfy (i), (ii) and (iii) above. If for every
x, a € R we have that
f(x) = a e ^ + μ.
In f'{a + t ( x - a ) ) t dt
w {x) = —--- ---------- > 0.
Hence ui~1(y) exists and is as often differentiable as / is. We now let x > a.
W ith y = w(x) > a, it follows from (7.17) that
where
Γ)2/(α) · {//)
For n > 2, we can solve (7.26) for Dn+1f(a), thus this derivative is deter
mined by the derivatives of lower order (and one also notices that by (7.24)
the kth derivative of w is a function of the first k derivatives of /).
Thus all derivatives are determined through the function value and the
first two derivatives. It remains to show that / is in fact analytic, since
then the theorem of identity yields theresult.This immediately follows
from the fact thatthe sign of £ = B(a)and A = A(û) areconstant and
the Bernstein Theorem.
It is clear that all derivatives of / ( after possible multiplication by —1)
are positive or alternating in sign. This completes the proof of the theorem.
the excellent book by Borwein and Borwein (1987). The Borwein brothers
posed some open problems in 1992 regarding the iteration of means. In this
section, we present some of their open problems.
Let a and b be two positive real numbers. A Gaussian mean iteration
associated with two means U and V is the two-term iterations
ßn+l = ^(On»^n)
bn+1 = ^(ûn» bn)
with initial values aQ= a and ba = 6. The common lim it of {an} and {6n}
when it exists, is called the Gaussian compound of U and V and denoted
by
V (g )V = V (g)V (a,b).
is given by
where
HP( a , b ) = ^ ± ^ , p € R \{0 }.
If U (a, b) = A(a, b) and V(a, b) = G (a, 6), then in closed form UÇQV is
given by
Then Stieltjes (1891) showed that the limit function is G(a,b, c), the geo
metric mean of a, b and c.
If, on the other hand we define recursively
a /_ l _ \_ a n + bn + Cn
ßn+l — A\0,n , bn i Cn) — g
o? 4-6? 4-c?
bn +1 = -^2(anj bn ,C n ) = ~ —r ,
a n + b n + Cn
Cn+1 - f-“ T
— 2If(lmn bhm rC n\) —
- (I +^ + )* >
then the three sequences {an}, {6n} and {cn} also converge to a common
lim it. W hat can be said about the lim it function? In general, what can be
said about multidimensional Gaussian compounds?
Recall that the Stolarsky mean 7?a(z»2/) is defined as
<7-28>
/M ) = / 9(s)M,
f(a,b) = - j= + B,
Some Open Problems 231
where A and B are arbitrary constants. Haruki and Rassias (1995) posed
the following problem. Let / : R + x R + —» R be a continuous function in
R+ x R+. Is the only continuous solution of the functional equation (7.28)
given by /(a , b) = <j>(ab), where φ : R+ —*■R is an arbitrary continuous
function?
Bibliography
233
234 Bibliography
R.M. Davitt, R.C. Powers, T. Riedel, and P.K. Sahoo. Flett’s mean value
theorem for holomorphic functions. Math. Magazine (To appear), 1998.
J.B. Diaz and R. Vyborny. On a mean value theorem of the weak differential
calculus of vector valued functions. Contributions to Differential Equations,
1:271-273, 1963.
J.B. Diaz and R. Vyborny. On mean value theorems for strongly continuous
vector valued functions. Contributions to Differential Equations, 3:107-118,
1964.
J.B. Diaz and R. Vyborny. A fractional mean value theorem, and Taylor
theorem, for strongly continuous vector valued functions. Czechoslovak
Math. J., 15:299-304, 1965.
J.B. Diaz and R. Vyborny. On some mean value theorems of the differential
calculus. Bull. Austral. Math. Soc.y5:227-238, 1971.
J. Dieudonne. Sur une generalisation du theoreme de Rolle aux fonctions
d’une variable complexe. Ann. of Math., 31:79-116, 1930.
E3338. A characterizatic of low degree polynomials. Amer. Math. Monthly,
98:268-269, 1991.
R.J. Easton and S.G. Wayment. A mean value theorem. Amer. Math.
Monthly, 77:170-172, 1970.
B.R. Ebanks, P.K. Sahoo, and W. Sander. Determination of measurable
sum form information measures satisfying (2,2)-additivity of degree (α, β).
Radovi Matematicki, 6:77-96,1990.
C.J. Eliezer. A solution to / { ( l-x)(l-y)}+f{xy) = f{x(l-y)}+ f{y(l-
x)}. Aequationes Math., 10:311-312,1974.
J.P. Evans. The extended law of the mean by a translation-rotation of
axes. Amer. Math. Monthly, 67:580-581,1960.
J.C. Evard and F. Jafari. A complex Rolle’s theorem. Amer. Math.
Monthly, 99:858-861, 1992.
J. Ferrer. Rolle’s theorem fails in h- Amer. Math. Monthly, 103:161-165,
1996.
T.M. Flett. A mean value theorem. Math. Gazette., 42:38-39, 1958.
T.M. Flett. Some historical notes and speculations concerning the Mean
Value Theorems of differential calculus. Bull Inst. Math. Appl., 10:66-72,
1974.
M. Furi and M. Martelli. On the mean value theorem, inequality, and
inclusion. Amer. Math. Monthly, 98:840-847, 1991.
M. Furi and M. Martelli. A multidimensional version of Rolle’s theorem.
Amer. Math. Monthly, 102:243-249, 1995.
Bibliography 237
64] L. Gajek and D. Zagrodny. Geometric mean value theorems for Dini
derivatives. J. Math. Anal. Appl, 191:56-76,1995.
65] C.F. Gauss. Theoria motus corporum caelestium. Perthes-Besser, Hamburg,
1809.
66] G. Giorgi and S. Komlosi. Dini derivatives in optimization -Part I. Revista
di Matematica per le scienze economiche e sociali, 10:3-30,1992.
67] D.B. Goodner. Mean value theorems for functions with finite derivatives.
Amer. Math. Monthly, 67:852-855,1960.
68] G. Hamel. Eine Basis aller Zahlen und die unstetigen Lösungen der Funk
tionalgleichung f(x + y) = /(x) + f(y). Math. Ann., 60:459-462, 1905.
69] H. Haruki. New characterizations of the arithmetic-geometric mean of
Gauss and other well-known mean values. Publ. Math. Debrecen, 38:323-
332, 1991.
70] H. Haruki and Th. M. Rassias. A new analogue of Gauss functional equa
tion. Internat. J. Math. & Math. Sei., 18:749-756, 1995.
71] Sh. Haruki. A property of quadratic polynomials. Amer. Math. Monthly,
86:577-579, 1979.
72] J.B. Hiriart-Urruty. Mean value theorems in nonsmooth analysis. Numer.
Fund. Anal. Optimization, 2:1-30,1980.
73] R.A. Horn. Editor’s endnotes . Amer. Math. Monthly, 105:494-494,1998.
74] A. Horwitz. Means and divided differences. Jour. Math. Anal. Appl.,
191:618-632, 1995.
75] E. Isaacson and H.B. Keller. Analysis of Numerical Methods. Wiley, New
York, 1966.
76] B. Jacobson. On the mean value theorem for integrals. Amer. Math.
Monthly, 89:300-301, 1982.
77] G.J. Janusz. Calculus. Wm. C. Brown, Bubuque, Iowa, 1994.
78] E. Kamke. Zur definition der affinen abbildung. Jahresbericht der
Deutschen Mathematischer-Vereinigung, 36:145-156,1927.
79] PL. Kannappan. Divided differences and polinomials. C.R. Math. Report,
Canada, 16:187-192,1994.
80] PL. Kannappan and B. Crstici. Two functional identities characterizing
polynomials. Itinerant Seminar on Functional Equations, Approximation
and Convexity, Cluj-Napooa, 175-180,1989.
81] PL. Kannappan and P.G. Laird. Functional equations and second degree
polynomials. Jour. Rar.anujw* h>oth. S e e 5:95-110,1993.
238 Bibliography
24?
Index 243
Taylor’s formula, 72
Taylor’s polynomial, 75
Taylor’s theorem, 178
Thews, Κ., 225
Thomson, B.S., 182
Trahan, D.H., 147, 154, 158, 176, 193,
204
Tucker, T.W., 28
Uvarov, V.B., 72
Vasic, RM ., 224