敲黑板,定积分也有换元和分部积分法

本文始发于个人公众号:TechFlow,原创不易,求个关注


今天是高等数学的第14篇文章,我们一起来看看定积分的换元法和分部积分法。

我们之前在不定积分的内容当中曾经介绍过换元法和分部积分法这两种求解不定积分的方法,今天我们来探索将这两种方法应用在定积分上。有一点需要注意,虽然不定积分和定积分只有一字之差,但是在数学上其实它们是两个完全不同的概念。不定积分求解的是函数的原函数,而定积分则是求解的曲形的面积,也就是一个具体的值。

我们用Python来举例的话,不定积分有些像是高阶函数,我们传入一个函数,得到一个函数。而定积分则就是一个计算的函数,我们传入一个函数,得到一个值。由于有了牛顿-莱布尼茨公式,我们求解定积分的时候也需要求解原函数,但这只是计算过程相似,并不是它的定义。所以不要把两者弄混淆了。


换元法


在我们写出换元法的公式之前,我们先写清楚它的作用区间。这个是数学的惯例,我们写一个公式或者是定理或者是式子,都需要标明适用范围。我们假设函数f(x)在区间[a, b]上连续。

函数x=ϕ(t)满足:

  1. ϕ(α)=a,ϕ(β)=b
  2. ϕ(t)在区间[α,β],或者[β,α]上具有连续导数,值域是[a, b],那么:

abf(x)dx=αβf[ϕ(t)]ϕ(t)dt

这个式子成立非常明显,但为了严谨,我们还是来证明一遍。

等式的左边很简单就是我们常见的积分函数,我们假设f(x)在区间[a, b]上的原函数是F(x),那么等式左边根据牛顿-莱布尼茨公式,可以得到:

abf(x)dx=F(b)F(a)

所以我们重点关注的是等式右边,等式右边也做类似处理,我们假设Φ(t)=F(ϕ(t))

我们对Φ(t)求导,可以得到:

Φ(t)=dFdϕdϕdt=f(x)ϕ(t)=f[ϕ(t)]ϕ(t)

通过求导我们可以发现,Φ(t)f[ϕ(t)]ϕ(t)的原函数。所以:

αβf[ϕ(t)]ϕ(t)dt=Φ(β)Φ(α)=F[ϕ(β)]F[ϕ(α)]=F(b)F(a)

所以我们就证明完了,整个证明过程并不难,比较困难的点在于我们在处理等式右边的时候是怎么想到令Φ(t)=F(ϕ(t))的呢?这是一个非常巧妙的点。想到这个不太容易,如果是我从头开始证明,我可能会往ϕ(t)的原函数上想,估计不太容易想到将F(x)引入进来。

我们理解了换元求解定积分的方法之后,我们一起来看一道例题来熟悉一下。这个例题还是经典的三角换元:

0aa2x2dx(a>0)

我们很容易想到我们可以令x=asint,这样的话dx=acostdt。当x=0时,t=0,当x=a时,t=π2,我们代入原式可以得到:

0aa2x2dx=a20π2cos2tdt=a220π2(1+cos2t)dt=a22[t+12sin2t]0π2=πa24

明白了原理之后,我们也可以将换元公式反过来用。也就是说当我们凑到t=ϕ(x)的情况时,也一样可以使用换元公式。

我们再来看一个例子:

0π2cos5xsinxdx

我们很容易凑到t=cosx时,dt=sinxdx,当x=0时,t=1, 当x=π2时,t=0。我们代入原式,可以得到:

0π2cos5xsinxdx=10t5dt=01t5dt=[t6]01=16


分部积分法


不定积分的分部积分法是根据求导公式推导得出的,它在定积分当中同样适用,我们只需要稍作变形就可以推导出来:

abu(x)v(x)dx=[u(x)v(x)dx]ab=[u(x)v(x)v(x)u(x)dx]ab=[u(x)v(x)]ababv(x)u(x)dx

我们把上面的式子可以简写成:abuvdx=[uv]ababvudx

来看个例子:0πxcosxdx

我们令u = x, dv = cosx,那么v = sinx,我们代入就可以得到:

0πxcosxdx=[xsinx]0π0πsinxdx=0+[cosx]0π=2

和不定积分一样,分部积分法和换元法可以结合使用,得到更强大的效果。我们来看个例子:01exdx

我们令t=x,于是x=t2,dx=2tdt,并且当x=0时,t=0,当x=1时,t=1。我们代入可得:

01exdx=201tetdt=201td(et)

我们使用分部积分法,令u=t, dv = et,所以v=et,代入可以得到:

201td(et)=2([tet]0101etdt)=2(ee+1)=2


总结


换元法和分部积分法是求解定积分和不定积分的两大最重要的方法,这两个方法说起来容易,理解起来也不难,但是很容易遗忘。尤其是我们长时间不使用的情况下,经常会忘记,而在用的时候又经常会想不起来,典型的书到用时方恨少问题。所以我们经常拿出来复习回顾一下,还是很有必要的。

今天的文章就到这里,原创不易,需要你一个关注的支持~

posted @   Coder梁  阅读(2628)  评论(0编辑  收藏  举报
编辑推荐:
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· Linux系列:如何用heaptrack跟踪.NET程序的非托管内存泄露
· 开发者必知的日志记录最佳实践
· SQL Server 2025 AI相关能力初探
阅读排行:
· winform 绘制太阳,地球,月球 运作规律
· 震惊!C++程序真的从main开始吗?99%的程序员都答错了
· 【硬核科普】Trae如何「偷看」你的代码?零基础破解AI编程运行原理
· AI与.NET技术实操系列(五):向量存储与相似性搜索在 .NET 中的实现
· 超详细:普通电脑也行Windows部署deepseek R1训练数据并当服务器共享给他人
点击右上角即可分享
微信分享提示