首页 理论教育微积分基本定理简介-高等数学书籍检索

微积分基本定理简介-高等数学书籍检索

【摘要】:众所周知,原函数的概念与作为积分和极限的定积分的概念是从两个完全不同的角度引进的,那么它们之间有什么关系呢?

众所周知,原函数的概念与作为积分和极限的定积分的概念是从两个完全不同的角度引进的,那么它们之间有什么关系呢?本节由引例出发,探讨这两个概念之间的关系,并通过这个关系得出利用原函数计算定积分的公式,即牛顿莱布尼茨公式.

一、引例

讨论作直线运动的物体的路程函数st)与速度函数vt)之间的关系,一方面,物体从t=at=b这段时间所经过的路程978-7-111-33187-2-Chapter05-63.jpg,另一方面

s=sb)-sa),

所以

978-7-111-33187-2-Chapter05-64.jpg

说明978-7-111-33187-2-Chapter05-65.jpg等于vt)的原函数在区间[ab]上的增量.

从上节例2的计算结果

978-7-111-33187-2-Chapter05-66.jpg

中也可以得到978-7-111-33187-2-Chapter05-67.jpg等于sinx的原函数在区间[ab]上的增量.

为得出一般性的结论,接下来讨论变上限的积分及其重要性质.

二、积分上限函数

定义5.2 设函数fx)在区间[ab]上连续,且x为[ab]上任意一点,则fx)在区间[ax]上也连续,定积分978-7-111-33187-2-Chapter05-68.jpgdt存在.于是,对于任意的x∈[ab],有唯一确定的978-7-111-33187-2-Chapter05-69.jpg与之对应,所以在[ab]上定义了一个函数,称之为函数fx)在区间[ab]上的积分上限的函数,记作Φx)(见图5-4),

978-7-111-33187-2-Chapter05-70.jpg

图5-4

978-7-111-33187-2-Chapter05-71.jpg

关于积分上限函数的性质,有如下定理.

定理5.4 如果函数fx)在区间[ab]上连续,则积分上限的函数978-7-111-33187-2-Chapter05-72.jpg

在[ab]上可导,并且它的导数

978-7-111-33187-2-Chapter05-73.jpg

证 设自变量x有增量Δx,使xx∈(ab),则函数Φx)具有增量

978-7-111-33187-2-Chapter05-74.jpg

再利用积分中值定理,则有

ΔΦ=fξ)Δx

ξ介于xxx之间于是,有

978-7-111-33187-2-Chapter05-75.jpg

由于fx)在[ab]上连续,且当Δx→0时,ξx,有

978-7-111-33187-2-Chapter05-76.jpg

x=a,取Δx>0,则同理可证Φ+a)=fa);若x=b,取Δx<0,则同理可证Φ-b)=fb).

推论5.3(原函数存在定理) 若函数fx)在区间[ab]上连续,则函数

978-7-111-33187-2-Chapter05-77.jpg

就是fx)在区间[ab]上的一个原函数.

推论5.4 设fx)在[ab]上连续,ux),vx)在[ab]上可导且

aux),vx)≤bx∈[ab],

978-7-111-33187-2-Chapter05-78.jpg

例1 求下列函数的导数:

978-7-111-33187-2-Chapter05-79.jpg

3)Φx)=∫x0ft)(x-t)dt.

解 1)Φ′x)=978-7-111-33187-2-Chapter05-80.jpg.

2)Φ′x)=978-7-111-33187-2-Chapter05-81.jpg.

978-7-111-33187-2-Chapter05-82.jpg

所以

978-7-111-33187-2-Chapter05-83.jpg

例2 求978-7-111-33187-2-Chapter05-84.jpg.

解 当x>1时,有(www.chuimin.cn)

978-7-111-33187-2-Chapter05-85.jpg

因此978-7-111-33187-2-Chapter05-86.jpg,由洛必达法则,得

978-7-111-33187-2-Chapter05-87.jpg

例3 设函数fx)在区间[ab]上连续,在(ab)内可导,且f′x)≤0,证明

978-7-111-33187-2-Chapter05-88.jpg

在(ab)内单调递减.

978-7-111-33187-2-Chapter05-89.jpg,因为fx)在区间[ab]上连续,由积分中值定理可知存在一点ξ∈(ax),使得

978-7-111-33187-2-Chapter05-90.jpg

978-7-111-33187-2-Chapter05-91.jpg

又由f′x)≤0可知,fx)在(ab)内单调递减,

所以

fx)≤fξ).

从而有F′x)≤0,即Fx)在(ab)内单调递减.三、牛顿—莱布尼茨公式

定理5.5 如果函数Fx)是连续函数fx)在区间[ab]上的一个原函数,则

978-7-111-33187-2-Chapter05-92.jpg

证 已知Fx)是fx)的一个原函数,积分上限的函数978-7-111-33187-2-Chapter05-93.jpg也是fx)的一个原函数,于是这两个原函数之差Fx)-Φx)在[ab]上必定是某一常数C,即

Fx)-Φx)=Caxb).

在上式中,令x=a,则

Fa)-Φa)=C.

978-7-111-33187-2-Chapter05-94.jpg

因此C=Fa),因而

978-7-111-33187-2-Chapter05-95.jpg

在上式中令x=b,即得978-7-111-33187-2-Chapter05-96.jpg.

有时也写成

978-7-111-33187-2-Chapter05-97.jpg

例4 计算定积分978-7-111-33187-2-Chapter05-98.jpg.

978-7-111-33187-2-Chapter05-99.jpg

例5 计算978-7-111-33187-2-Chapter05-100.jpg.

978-7-111-33187-2-Chapter05-101.jpg.

例6 计算978-7-111-33187-2-Chapter05-102.jpg.

解 要去掉绝对值符号,必须分区间积分,显然点x=2为区间的分界点,

978-7-111-33187-2-Chapter05-103.jpg

例7 计算978-7-111-33187-2-Chapter05-104.jpg,其中,978-7-111-33187-2-Chapter05-105.jpg.

978-7-111-33187-2-Chapter05-106.jpg

于是

978-7-111-33187-2-Chapter05-107.jpg

例8 设函数fx)在区间[0,1]上连续,且满足

978-7-111-33187-2-Chapter05-108.jpg

978-7-111-33187-2-Chapter05-109.jpgfx).

978-7-111-33187-2-Chapter05-110.jpg

978-7-111-33187-2-Chapter05-111.jpg,所以

978-7-111-33187-2-Chapter05-112.jpg