原函数与变上限积分
原函数
变上限积分
设
为
- 是上限
的函数 - 类似地有变下限函数,可化为负的变上限函数
连续性
变上限函数是闭区间上的连续函数
可导性
设
原函数存在性定理
连续的函数必定有原函数
- 仅仅是充分条件
- 不连续的函数也有原函数
- 牛顿莱布尼兹公式
- 函数的可积性与是否存在原函数无关
- 符号函数可积但无原函数
- 有原函数但不可积(无界)
复合变限积分函数求导
应用
- 求极限
- 带积分的函数形态研究
- 不等式的证明
- 积分形式化为变上限函数,然后用函数不等式
牛顿 - 莱布尼兹公式
设
- 证明
- 构造变上限积分
,有 - 令
即得
- 构造变上限积分
- 用于定积分的计算
定理(减弱条件)
设函数
- 有的函数在端点上没有原函数,仍然可以运用牛顿 - 莱布尼兹公式
定理(进一步减弱条件)
……除了有限个点外,满足