二、积分上限的函数及其导数
定理2. 若 f (x) C[a, b] , 则变上限函数
x
y
(x) a f (t) d t
是 f (x) 在[a , b]上的一个原函数 .
y f (x)
( x)
证: x, x h [a, b] , 则有
O a x b x
(x
h) h
t
d dx
a
f (t) d t
(x)
( x)
a
f
(t) d t
f [(x)](x) f [ (x)] (x)
1 et2 d t
例1. 求 lim cos x
0
x0
x2
0
解: 原式 洛 lim ecos2 x ( sin x) 1
函数 , 则
b
f (x) dx F (b) F (a) ( 牛顿 - 莱布尼茨公式)
a
证:
根据定理 2,
x
a
f
( x) dx
是
f
( x) 的一个原函数
,
故
x
F(x) a f (x)dx C
令 x a, 得C F(a), 因此
x
a
f
(x)
dx
F ( x)
F
(a)
再令 x b, 得
x0
2x
2e
例3. 设 f (x)在[0, )内连续,且 f (x) 0, 证明
x
F
(x)
0
t
f
(t)
d
t
x
0
f
(t)