请输入您要查询的字词:

 

单词 SecondIntegralMeanvalueTheorem
释义

second integral mean-value theorem


If the real functions f and g are continuousMathworldPlanetmath and f monotonic on the interval  [a,b],  then the equation

abf(x)g(x)𝑑x=f(a)aξg(x)𝑑x+f(b)ξbg(x)𝑑x(1)

is true for a value ξ in this interval.

Proof.  We can suppose that  f(a)f(b)  since otherwise any value of ξ between a and b would do.

Let’s first prove the auxiliary result, that if a function φ is continuous on an open interval I containing [a,b]  then

limh0abφ(x+h)-φ(x)h𝑑x=φ(b)-φ(a).(2)

In fact, when we take an antiderivative Φ of φ, then for every nonzero h the function

xΦ(x+h)-Φ(x)h

is an antiderivative of the integrand of (2) on the interval  [a,b].  Thus we have

abφ(x+h)-φ(x)h𝑑x=Φ(b+h)-Φ(x)h-Φ(a+h)-Φ(x)hφ(b)-φ(a)ash 0.

The given functions f and g can be extended on an open interval I containing  [a,b]  such that they remain continuous and f monotonic.  We take an antiderivative G of g and a nonzero number h having small absolute valueMathworldPlanetmathPlanetmath.  Then we can write the identity

abf(x+h)G(x+h)-f(x)G(x)h𝑑x=abf(x+h)[G(x+h)-G(x)]h𝑑x-abf(x+h)-f(x)hG(x)𝑑x.(3)

By (2), the left hand side of (3) may be written

abf(x+h)G(x+h)-f(x)G(x)h𝑑x=f(b)G(b)-f(a)G(a)+ε1(h)(4)

where  ε1(h)0  as  h0.  Further, the function

x{f(x+h)[G(x+h)-G(x)]hforh 0f(x)g(x)  for  h= 0

is continuous in a rectangle  axb,-δhδ,  whence we have

abf(x+h)[G(x+h)-G(x)]h𝑑x=abf(x)g(x)𝑑x+ε2(h)(5)

where  ε2(h)0  as  h0.  Because of the monotonicity of f, the expressionf(x+h)-f(x)h does not change its sign when  axb.  Then the usual integral mean value theorem guarantees for every h (sufficiently near 0) a number ξh of the interval  [a,b]  such that

abf(x+h)-f(x)hG(x)𝑑x=G(ξh)abf(x+h)-f(x)h𝑑x,

and the auxiliary result (2) allows to write this as

abf(x+h)-f(x)hG(x)𝑑x=G(ξh)[f(b)-f(a)+ε3(h)](6)

with  ε3(h)0  as  h0.  Now the equations (4), (5) and (6) imply

f(b)G(b)-f(a)G(a)+ε1(h)=abf(x)g(x)𝑑x+ε2(h)+G(ξh)[f(b)-f(a)+ε3(h)].(7)

Because  f(b)-f(a)0,  the expression G(ξh) has a limit L for  h0.  By the continuity ofG there must be a number ξ between a and b such that  G(ξ)=L.  Letting then h tend to 0 we thus get the limiting equation

f(b)G(b)-f(a)G(a)=abf(x)g(x)𝑑x+G(ξ)[f(b)-f(a)],

which finally gives

abf(x)g(x)𝑑x=f(a)[G(ξ)-G(a)]+f(b)[G(b)-G(ξ)]=f(a)aξg(x)𝑑x+f(b)ξbg(x)𝑑x

Q.E.D.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 7:05:08