一个原函数, 则
b a
f
(x)d x
F ( x)
b a
F (b)
于是
0 | F(x) | |
x x
f (t)dt |
xx
| f (t) | dt Mx
x
x
由夹逼定理及点 x 的任意性, 即可得 F (x) C([a,b]) .
7
定理1说明: 定义在区间[a,b] 上的 积分上限函数是连续的.
积分上限函数是否可导?
8
由 F(x x) F(x)
xx
f (t)dt,
x
如果 f (x) C([a,b]), 则由积分中值定理, 得
xx
F(x x) F(x) x f (t)dt f ( )x ,
( 在 x 与 x x 之间)
故 lim F (x x) F (x) lim f ( )x
x0
推论2 基本初等函数在其定义域内原函数存在.
推论3 初等函数在其有定义的区间内原函数存在.
17
2. 微积分基本公式
如果 f (x) C([a,b]), 则
x
f (t)dt
为 f (x) 在[a,b] 上
a
的一个原函数.
若已知 F (x) 为 f (x) 的原函数, 则有
x
a f (t)dt F (x) C0.
( x)
F(x) ( a f (t)dt ) f ((x)) (x) .
14
例3
e1 t2 d t
计算 lim x0
cos x
x2
.
解
e1 t2 d t
cos x et2 d t