Tiryaki 2010
Tiryaki 2010
Tiryaki 2010
To cite this article: Aydin Tiryaki & Devrim Çakmak (2010): Sahoo- and Wayment-type integral
mean value theorems, International Journal of Mathematical Education in Science and Technology,
41:4, 565-573
This article may be used for research, teaching, and private study purposes. Any
substantial or systematic reproduction, redistribution, reselling, loan, sub-licensing,
systematic supply, or distribution in any form to anyone is expressly forbidden.
The publisher does not give any warranty express or implied or make any representation
that the contents will be complete or accurate or up to date. The accuracy of any
instructions, formulae, and drug doses should be independently verified with primary
sources. The publisher shall not be liable for any loss, actions, claims, proceedings,
demand, or costs or damages whatsoever or howsoever caused arising directly or
indirectly in connection with or arising out of the use of this material.
International Journal of Mathematical Education in Science and Technology 565
6. Conclusion
In this article, we have obtained a simple and elegant root-finding family of
Schröder’s method. In addition, new and simple derivations based on power mean
for cubically convergent Schröder-type methods are also presented. Finally, we
provide numerical tests that show that these new methods are competitive to other
known methods for multiple roots of nonlinear equations.
Acknowledgement
R. Behl gratefully acknowledges the financial support of CSIR, New Delhi.
Downloaded by [University of Saskatchewan Library] at 21:58 14 July 2012
References
[1] A.M. Ostrowski, Solution of Equations in Euclidean and Banach Space, 3rd ed., Academic
Press, New York, 1973.
[2] J.F. Traub, Iterative Methods for the Solution of Equations, Prentice Hall, Englewood
Cliffs, NJ, 1964.
[3] J.E. Dennis and R.B. Schnable, Numerical Methods for Unconstrained Optimization and
Nonlinear Equations, Prentice-Hall, Englewood Cliffs, NJ, 1983.
[4] E. Schröder’s, Über unendlich viele Algorithmen zur Auflösung der Gleichungen, Math.
Ann. 2 (1870), pp. 317–365.
[5] W. Werner, Some improvement of classical methods for the solution of nonlinear equations,
in Numerical Solution of Nonlinear Equations, Lecture Notes in Mathematics, Vol. 878,
Springer, Berlin/Heidelberg, 1981, pp. 426–440.
[6] E. Hansen and M. Patrick, A family of root finding methods, Numer. Math. 27 (1977),
pp. 257–269.
[7] L.D. Petković, M.S. Petković, and D. Živković, Hansen-Patrick’s family is of Laguerre’s
type, Novi SAD J. Math. 33 (2003), pp. 109–115.
[8] L.B. Rall, Convergence of the Newton process to multiple solutions, Numer. Math. 9
(1966), pp. 23–37.
[9] K.C. Gupta, V. Kanwar, and S. Kumar, A family of ellipse methods for solving non-linear
equations, Int. J. Math. Educ. Sci. Technol. 40 (2009), pp. 571–575.
[10] P.S. Bulle, The Power Means, Hand book of Means and Their Inequalities, Kluwer,
Dordrecht, The Netherlands, 2003.
of integral mean value theorems which are given by Wayment [An integral
mean value theorem, Math. Gazette 54 (1970), pp. 300–301] and Sahoo
[Some results related to the integral mean value theorem, Int. J. Math. Ed.
Sci. Tech. 38(6) (2007), pp. 818–822]. The importance of our results are
illustrated by interesting examples.
Keywords: Flett’s mean value theorem; integral mean value theorem;
Rolle’s theorem
AMS Subject Classifications: 26A06; 26A24
1. Introduction
We know that the following three theorems usually covered in a first-semester
Downloaded by [University of Saskatchewan Library] at 21:58 14 July 2012
calculus course, and they are used to solve a great variety of practical problems of
optimization, business and economics, etc. Let f be a real continuous function on a
closed interval [a, b], and consider the difference f(b) f(a) between the values of f at
the endpoints of [a, b] . If derivative f 0 (a) exists, we can use f 0 (a) to estimate f(b) f(a)
by writing
If f(a) ¼ f(b), then the mean value theorem reduces to Rolle theorem which is also
the another most fundamental results in mathematical analysis and it is stated below.
Theorem B (Rolle theorem): Let f be a real continuous function on [a, b] and
differentiable in (a, b). Furthermore, let f(a) ¼ f(b). Then there is a point c 2 (a, b) such
that f 0 (c) ¼ 0.
Recently, Qazi [1] proved the equivalence between the mean value theorem and
the Rolle theorem. The other well-known result is the mean value theorem for
integrals which is established using the second fundamental theorem of calculus and
it is stated below.
International Journal of Mathematical Education in Science and Technology 567
In 1999, Davitt et al. [3] gave a generalization of Flett’s mean value theorem and
removed the boundary assumption on the derivatives of the function f, i.e.
f 0 (a) ¼ f 0 (b).
Theorem E: Let f : [a, b] ! R be differentiable on [a, b]. Then there exists a point
c 2 (a, b) such that
1 f 0 ðbÞ f 0 ðaÞ
f ðcÞ f ðaÞ ¼ f 0 ðcÞðc aÞ ðc aÞ2 : ð7Þ
2 ba
We refer the interested reader to [1–17] for an account on Flett’s mean value
theorem and its various generalizations. Among the many other extensions of the
Flett theorem, we focus on that of Sahoo [13] and Wayment [17].
In 1970, Wayment [17] proved the following result which is an integral version of
Flett’s mean value theorem.
Theorem F: If f is a real continuous function on [a, b] and f(a) ¼ f(b), then there exists
a point c 2 (a, b) such that
Zc
ðc aÞ f ðcÞ ¼ f ðsÞds: ð8Þ
a
Now, let us go back to the integral mean value theorem. This result gives
conditions which guarantee the existence of a point c in (a, b) for which
Rb
f ðsÞds ð9Þ
f ðcÞ ¼ a :
ba
Similarly, Theorem F gives conditions which guarantee the existence of a point c
in (a, b) for which
Rc
f ðsÞds
f ðcÞ ¼ a : ð10Þ
ca
It is easy to see
R b that there
R c are nine
R b possible difference quotients having for
numerators one of a f ðsÞds, a f ðsÞds, c f ðsÞds, and for denominators one of b a,
c a, b c. Theorems C and F show that under appropriate conditions two of these
nine quotients are equal to f(c).
Recently, Sahoo [13] proved some other related integral mean value theorems
and he found conditions for each of the other seven cases, that is, conditions which
568 Classroom Notes
guarantee the existence of a number which equals the desired quotient. In addition
to this, he gave a generalization of Wayment’s integral mean value theorem and
removed the boundary assumption of the real function f, i.e. f(a) ¼ f(b).
Theorem G: If f is continuous on [a, b], then there exists a point c 2 (a, b) such that
Zc
1 f ðbÞ f ðaÞ
f ðsÞds ¼ ðc aÞ f ðcÞ ðc aÞ2 : ð11Þ
a 2 b a
It is easy to see that if f(a) ¼ f(b), then this result reduces to Wayment’s integral
mean value theorem.
In the last decades, there has been an increasing interest in obtaining sufficient
conditions for each of the other seven cases for the related integral mean value
Downloaded by [University of Saskatchewan Library] at 21:58 14 July 2012
theorems [13,14,17]. However, all of the results obtained in the literature involve the
continuity restriction on the function f on a closed interval [a, b]. For example, none
of them are applied on theffi following type functions: f(x) ¼ ([jxj] 1)2, f(x) ¼ x [jxj]
pffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
and f ðxÞ ¼ x þ x ½jxj on the interval [0, 1]. Note that, if we replace f(a) by
limx!aþ f(x) and f(b) by limx!b f(x) in the results given in Sahoo [13], then his results
also work for this type of functions given above. However, this is not explicitly
stated.
In this article, we will give sufficient conditions for the existence of the number
c 2 (a, b) such that the integral equalities of other seven cases hold. Our condition
does not require f to be continuous on [a, b], and each proof uses an auxiliary
function. Thus, our results present a different set of Sahoo [13] and Wayment [17]
type integral mean value theorems.
2. Main results
We recall a class of functions F . The function f is said to belong to the class F if
(i) f is a real continuous function in the open interval (a, b),
(ii) f is define in the endpoints a and b,
(iii) limx!aþ f(x) and limx!b f(x) exist.
According to the above conditions, limx!aþ f(x) and limx!b f(x) are not
necessarily equal to f(a) and f(b), respectively. It is easy to see that if
limx!aþ f(x) ¼ f(a) and limx!b f(x) ¼ f(b), then the function f 2 F is continuous on
[a, b]. We see that all of the above-mentioned results can be applied to the continuous
function f on [a, b] that is normally found in the literature. On the other hand, if
f 2 F , then none of them can be applied. One can now ask the question whether all
of the results in the literature remain valid if the function f belongs to the class F .
Thus, it will be interesting to find similar results for Sahoo [13] and Wayment [17]
type integral mean value theorems with F class functions.
Let f 2 F and
Z
1 b
Mð f Þ ¼ f ðsÞds, ð12Þ
2 a
Z b
1
I1 ð f Þ ¼ ðb sÞ f ðsÞds, ð13Þ
ba a
International Journal of Mathematical Education in Science and Technology 569
Z b
1
I2 ð f Þ ¼ ðs aÞ f ðsÞds: ð14Þ
ba a
Then it is easily seen that h is continuous on [a, b] and differentiable on (a, b).
A direct calculation shows h(a) ¼ 0 and
Downloaded by [University of Saskatchewan Library] at 21:58 14 July 2012
Z Zb
ba b
hðbÞ ¼ f ðsÞds ðb sÞ f ðsÞds ¼ ðb aÞ½Mð f Þ I1 ð f Þ ¼ 0: ð16Þ
2 a a
Therefore by Rolle’s theorem, there is a point c 2 (a, b) such that h0 (c) ¼ 0. By the
second fundamental theorem of calculus, we have
Z x Z x
0 1 1
h ðxÞ ¼ f ðsÞds þ ðx aÞ f ðxÞ f ðsÞds: ð17Þ
2 a 2 a
œ
Example 1: Consider the function f(x) ¼ ([jxj] 1)2 on the interval [0, 1]. f is
continuous on (0, 1), f(0) ¼ 1, f ð1Þ ¼ 0, limx!0þ f(x) ¼ 1 and limx!1 f(x) ¼ 1 6¼ f(1).
Hence, f 2 F and Mð f Þ ¼ I1 ð f Þ ¼ 12 : By using Theorem 1, we can find a point
c 2 (0, 1) such that (8) holds. Indeed, all of the points in open interval (0, 1) are such a
point c.
In general, we do not have M( f ) ¼ I1( f ) for every function f on [a, b].
Example 2: Consider the function f(x) ¼ x [jxj] on the interval [0, 1]. f is
continuous on (0, 1), f(0) ¼ 0, f(1) ¼ 0, f ð1Þ ¼ 0, limx!0þ f(x) ¼ 0 and limx!1 f(x) ¼
1 6¼ f(1). Thus, f 2 F . But Mð f Þ ¼ 14 while I1 ð f Þ ¼ 16 : Hence, Theorem 1 cannot be
applied to the function f(x) ¼ x [jxj] on the interval [0, 1].
In this connection, we have the following generalization.
Theorem 2: Let f 2 F . Then there is a point c 2 (a, b) such that
Rc
f ðsÞds 6½Mð f Þ I1 ð f Þ
f ðcÞ ¼ a þ ðc aÞ: ð19Þ
ca ðb aÞ2
Proof: Apply the Theorem 1 to the auxiliary function
6½Mð f Þ I1 ð f Þ
HðxÞ ¼ f ðxÞ ð2x a bÞ: ð20Þ
ðb aÞ2
570 Classroom Notes
b
6½Mð f Þ I1 ð f Þ
¼ I1 ð f Þ ðb sÞð2s a bÞds
ðb aÞ3 a
6½Mð f Þ I1 ð f Þ ðb aÞ3
¼ I1 ð f Þ þ
ðb aÞ3 6
¼ I1 ð f Þ þ ½Mð f Þ I1 ð f Þ
¼ Mð f Þ: ð22Þ
From Theorem 1, we know that there is a point c 2 (a, b) such that
Rc
HðsÞds
HðcÞ ¼ a : ð23Þ
ca
Since
Zc Zc Z
6½Mð f Þ I1 ð f Þ c
HðsÞds ¼ f ðsÞds ð2s a bÞds
a a ðb aÞ2 a
Zc
6½Mð f Þ I1 ð f Þ
¼ f ðsÞds ðc aÞðc bÞ, ð24Þ
a ðb aÞ2
we have
Rc
6½Mð f Þ I1 ð f Þ af ðsÞds 6½Mð f Þ I1 ð f Þ
f ðcÞ ð2c a bÞ ¼ ðc bÞ, ð25Þ
ðb aÞ2 ca ðb aÞ2
which yields Equation (19). œ
Applying Theorem 2 to Example 2, we can find that there is a point c 2 (0, 1) such
that (19) holds. Indeed, all of the points in open interval (0, 1) are such as point c.
We shall also give an other example.
pffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
Example 3: Consider the function f ðxÞ ¼ x þ x ½jxj on the interval [0, 1]. It is
easy to see that f 2 F , and by using Theorem 2 we can find c ¼ 25 36.
The proof of the following theorems can be obtained easily by the method used
in the above theorems with a slight modification. We shall give only the auxiliary
functions h and H that are used in the proofs.
Theorem 3: Let f 2 F . If M( f ) ¼ I1( f ), then there is a point c 2 (a, b) such that
Rb
f ðsÞds
f ðcÞ ¼ c : ð26Þ
bc
International Journal of Mathematical Education in Science and Technology 571
Theorem 5: Let f 2 F . If 2M( f ) ¼ I1( f ), then there is a point c 2 (a, b) such that
Rc
f ðsÞds
f ðcÞ ¼ a : ð29Þ
ba
Proof: Apply the Rolle theorem to the function
Z x Z x
hðxÞ ¼ ðb aÞ f ðsÞds ðx sÞ f ðsÞds: ð30Þ
a a
œ
Theorem 6: Let f 2 F . Then there is a point c 2 (a, b) such that
Rc
a f ðsÞds 6½2Mð f Þ I1 ð f Þ
f ðcÞ ¼ þ ½ð2c a bÞðb aÞ þ ðc aÞðb cÞ : ð31Þ
ba ðb aÞ3
6½2Mð f Þ I1 ð f Þ
HðxÞ ¼ f ðxÞ ð2x a bÞ: ð32Þ
ðb aÞ2
Theorem 7: Let f 2 F . If 2M( f ) ¼ I1( f ), then there is a point c 2 (a, b) such that
Rb
a f ðsÞds ð33Þ
f ðcÞ ¼ :
bc
œ
Theorem 8: Let f 2 F . Then there is a point c 2 (a, b) such that
Rb
f ðsÞds 6½2Mð f Þ I1 ð f Þ
f ðcÞ ¼ a þ ð2c a bÞ: ð35Þ
bc ðb aÞ2
572 Classroom Notes
œ
Downloaded by [University of Saskatchewan Library] at 21:58 14 July 2012
6½2Mð f Þ I2 ð f Þ
HðxÞ ¼ f ðxÞ þ ð2x a bÞ: ð39Þ
ðb aÞ2
œ
Theorem 11: Let f 2 F . If 2M( f ) ¼ I2( f ), then there is a point c 2 (a, b) such that
Rb
c f ðsÞds ð40Þ
f ðcÞ ¼ :
ba
œ
Theorem 12: Let f 2 F . Then there is a point c 2 (a, b) such that
Rb
f ðsÞds 6½2Mð f Þ I2 ð f Þ
f ðcÞ ¼ c þ 3
ðb cÞðc aÞ ð2c a bÞðb aÞ : ð42Þ
ba ðb aÞ
Proof: Apply Theorem 11 to the function (39). œ
Sahoo [13] proved the following results by using Lagrange mean value theorem.
Here, we shall also prove these results by using Rolle theorem as follows.
Theorem 13: Let f 2 F . Then there is a point c 2 (a, b) such that
Rb
c f ðsÞds ð43Þ
f ðcÞ ¼ :
ca
International Journal of Mathematical Education in Science and Technology 573
Z b
hðxÞ ¼ ðx aÞ f ðsÞds: ð44Þ
x
œ
Theorem 14: Let f 2 F . Then there is a point c 2 (a, b) such that
Rc
f ðsÞds
f ðcÞ ¼ a : ð45Þ
bc
Proof: Apply the Rolle theorem to the function
Downloaded by [University of Saskatchewan Library] at 21:58 14 July 2012
Z x
hðxÞ ¼ ðb xÞ f ðsÞds: ð46Þ
a
References
[1] M.A. Qazi, The mean value theorem and analytic functions of a complex variable, J. Math.
Anal. Appl. 324 (2006), pp. 30–38.
[2] T.M. Flett, A mean value theorem, Math. Gazette 42 (1958), pp. 38–39.
[3] R.M. Davitt, R.C. Powers, T. Riedel, and P.K. Sahoo, Flett’s mean value theorem for
holomorphic functions, Math. Mag. 72(4) (1999), pp. 304–307.
[4] M. Das, T. Riedel, and P.K. Sahoo, Hyers–Ulam stability of Flett’s points, Appl. Math.
Lett. 16(3) (2003), pp. 269–271.
[5] U. Abel and M. Ivan, The differential mean value of divided differences, J. Math. Anal.
Appl. 325(1) (2007), pp. 560–570.
[6] U. Abel, M. Ivan, and T. Riedel, The mean value theorem of Flett and divided differences,
J. Math. Anal. Appl. 295(1) (2004), pp. 1–9.
[7] D.B. Goodner, An extended mean value theorem, Math. Mag. 36(1) (1963), pp. 15–16.
[8] B. Jacobson, On the mean value theorem for integrals, Amer. Math. Month. 89(5) (1982),
pp. 300–301.
[9] R.E. Myers, Some elementary results related to the mean value theorem, The Two-year
College Math. J. 8(1) (1977), pp. 51–53.
[10] Yu.G. Nikonorov, On the integral mean value theorem, Siberian Math. J. 34(6) (1993),
pp. 1135–1137.
[11] Z. Bao-lin, A note on the mean value theorem for integrals, Amer. Math. Month. 104(6)
(1997), pp. 561–562.
[12] T. Riedel and M. Sablik, A different version of Flett’s mean value theorem and an
associated functional equation, Acta Math. Sin. (Engl. Ser.) 20(6) (2004), pp. 1073–1078.
[13] P.K. Sahoo, Some results related to the integral mean value theorem, Int. J. Math. Ed. Sci.
Tech. 38(6) (2007), pp. 818–822.
[14] P.K. Sahoo and T.R. Riedel, Mean Value Theorems and Functional Equations,
World Scientific, River Edge, NJ, 1998.
[15] J. Tong, On Flett’s mean value theorem, Int. J. Math. Ed. Sci. Tech. 35(6) (2004),
pp. 936–941.
[16] D.H. Trahan, A new type of mean value theorem, Math. Mag. 39(5) (1966), pp. 264–268.
[17] S.G. Wayment, An integral mean value theorem, Math. Gazette 54 (1970), pp. 300–301.