8.2 换元积分法与分布积分法

一、换元积分法

定理 4:(第一类换元积分法)
\quad设函数 f(x)f(x)f(x) 在区间 III 上有定义,φ(x)\varphi(x)φ(x) 在区间 JJJ 上可导,且 φ(J)⊂I\varphi(J) \subset Iφ(J)⊂I. 若不定积分 ∫f(x)dx=F(x)+C\int f(x) dx = F(x)+C∫f(x)dx=F(x)+C 在区间 III 上存在,则不定积分 ∫f(φ(t))φ′(t)dt\int f(\varphi(t))\varphi'(t)dt∫f(φ(t))φ′(t)dt 在区间 JJJ 上也存在,且满足:
∫f(φ(t))φ(t)dt=F(φ(t))+C,t∈J,C为任意常数.\int f(\varphi(t)) \varphi(t)dt = F(\varphi(t)) + C,\quad t \in J,C \text{为任意常数}. ∫f(φ(t))φ(t)dt=F(φ(t))+C,t∈J,C为任意常数.

证明:

\quad易知,F(x)F(x)F(x) 在区间 III 上可导,φ(t)\varphi(t)φ(t) 在区间 JJJ 上可导,且 φ(J)⊂I\varphi(J) \subset Iφ(J)⊂I. 由复合函数的求导法则可得:
导数形式:[F(φ(t))]′=F′(φ(t))⋅φ′(t)=f(φ(t))φ′(t),t∈J微分形式:dF(φ(t))=f(φ(t))φ′(t)dt,t∈J\begin{aligned} \text{导数形式:}[F(\varphi(t))]' &= F'(\varphi(t)) \cdot \varphi'(t) = f(\varphi(t))\varphi'(t) ,\quad t \in J \\ \\ \text{微分形式:}dF(\varphi(t)) &= f(\varphi(t))\varphi'(t)dt,\quad t \in J \end{aligned} 导数形式:[F(φ(t))]′微分形式:dF(φ(t))​=F′(φ(t))⋅φ′(t)=f(φ(t))φ′(t),t∈J=f(φ(t))φ′(t)dt,t∈J​
因此,F(φ(t))F(\varphi(t))F(φ(t)) 是 f(φ(t))φ′(t)f(\varphi(t))\varphi'(t)f(φ(t))φ′(t) 在区间 JJJ 上的一个原函数,由原函数的性质,定理得证。

证毕

注意:由于 dF(x)=f(x)dxdF(x) =f(x)dxdF(x)=f(x)dx,dφ(t)=φ′(t)dtd\varphi(t) = \varphi'(t)dtdφ(t)=φ′(t)dt,于是:
∫f(φ(t))φ′(t)dt=φ(t)=x∫f(x)dx=F(x)+C=x=φ(t)F(φ(t))+C\int f(\varphi(t))\varphi'(t)dt \xlongequal{\varphi \left( t \right) = x} \int f(x) dx = F(x) + C \xlongequal{x = \varphi(t)} F(\varphi(t)) + C ∫f(φ(t))φ′(t)dtφ(t)=x∫f(x)dx=F(x)+Cx=φ(t)F(φ(t))+C
因此,第一类换元积分法 又称为 “凑微分法”.

定理5:(第二类换元积分法)
\quad 设函数 f(x)f(x)f(x) 在区间 III 上有定义,函数 φ(t)\varphi(t)φ(t) 在区间 JJJ 上可导、φ(J)⊂I\varphi(J) \subset Iφ(J)⊂I,且 x=φ(t)x = \varphi(t)x=φ(t) 在区间 JJJ 上存在反函数 t=φ−1(x),x∈It = \varphi^{-1}(x),x \in It=φ−1(x),x∈I. 则若不定积分 ∫f(x)dx=F(x)+C\int f(x) dx = F(x)+C∫f(x)dx=F(x)+C 在区间 III 上存在、不定积分 ∫f(φ(t))φ′(t)dt=G(t)+C\int f(\varphi(t))\varphi'(t)dt=G(t) + C∫f(φ(t))φ′(t)dt=G(t)+C 在区间 JJJ 上也存在时,不定积分
∫f(x)dx=G(φ−1(x))+C\int f(x)dx = G(\varphi^{-1}(x)) + C ∫f(x)dx=G(φ−1(x))+C
在区间 III 上同样存在.
证明:
\quad由复合函数的求导法则可得:
[F(φ(t))]′=F′(φ(t))⋅φ′(t)=f(φ(t))φ′(t),t∈J[F(\varphi(t))]' = F'(\varphi(t)) \cdot \varphi'(t) = f(\varphi(t))\varphi'(t) ,\quad t \in J [F(φ(t))]′=F′(φ(t))⋅φ′(t)=f(φ(t))φ′(t),t∈J
显然,函数 F(φ(t))F(\varphi(t))F(φ(t))、G(t)G(t)G(t) 均是函数 f(φ(t))f(\varphi(t))f(φ(t)) 在区间 JJJ 上的原函数.
\quad由原函数的性质,存在常数 C1C_1C1​ 使得:
F(φ(t))=G(t)+C1F(\varphi(t)) = G(t) + C_1 F(φ(t))=G(t)+C1​
从而有:
F(x)=G(φ−1(x))+C1F(x) = G(\varphi^{-1}(x)) + C_1 F(x)=G(φ−1(x))+C1​
等式两边同时对 xxx 求导,则有:
f(x)=[G(φ−1(x))]′f(x) = [G(\varphi^{-1}(x))]' f(x)=[G(φ−1(x))]′
因此,函数 [G(φ−1(x))][G(\varphi^{-1}(x))][G(φ−1(x))] 也是函数 f(x)f(x)f(x) 在区间 III 上的一个原函数,即有:
∫f(x)dx=G(φ−1(x))+C.\int f(x)dx = G(\varphi^{-1}(x)) + C. ∫f(x)dx=G(φ−1(x))+C.

证毕

注意

(1)在定理条件成立的情况下,有
∫f(x)dx=x=φ(t)∫f(φ(t))φ′(t)dt=G(t)+c=t=φ−1(x)G(φ−1(x))+C.\int f(x)dx \xlongequal{x = \varphi(t)} \int f(\varphi(t))\varphi'(t)dt=G(t) + c \xlongequal{t = \varphi^{-1}(x)} G(\varphi^{-1}(x)) + C. ∫f(x)dxx=φ(t)∫f(φ(t))φ′(t)dt=G(t)+ct=φ−1(x)G(φ−1(x))+C.
因此,第二类换元积分法 又称为 代入换元法.
(2)定理条件中的 “∫f(x)dx=F(x)+C\int f(x) dx =F(x) + C∫f(x)dx=F(x)+C 在区间 III 上存在” 是 必不可少 的!
示例:f(x)={1,x∈(0,8]0,x=0f\left( x \right) =\begin{cases}\begin{matrix}1,& x\,\,\in \left( 0,8 \right]\\\end{matrix}\\\begin{matrix}0,& x=0\\\end{matrix}\\\end{cases}f(x)={1,​x∈(0,8]​0,​x=0​​,显然,函数 x=t3,t∈[0,2]x=t^3,t \in [0,2]x=t3,t∈[0,2] 在区间 [0,2][0,2][0,2] 上存在反函数,并且在区间 (0,2](0,2](0,2] 上成立:
∫f(t3)⋅(t3)′dt=∫3t2dt=t3+C\int f(t^3)\cdot (t^3)'dt = \int 3t^2 dt = t^3 + C ∫f(t3)⋅(t3)′dt=∫3t2dt=t3+C
当 t=0t=0t=0 时,成立:(t3+C)′∣t=0=(f(t3)⋅t3)∣t=0(t^3+C)' |_{t=0} = (f(t^3)\cdot t^3)|_{t=0}(t3+C)′∣t=0​=(f(t3)⋅t3)∣t=0​,因此在区间 [0,2][0,2][0,2] 上成立:
∫f(t3)⋅(t3)′dt=∫3t2dt=t3+C\int f(t^3)\cdot (t^3)'dt = \int 3t^2 dt = t^3 + C ∫f(t3)⋅(t3)′dt=∫3t2dt=t3+C
但显然,函数 f(x)f(x)f(x) 在 区间 [0,8][0,8][0,8] 上有第一类间断点 000,因此没有原函数.
(3)通过 (2)可以看出,理条件中的 “∫f(x)dx=F(x)+C\int f(x) dx =F(x) + C∫f(x)dx=F(x)+C 在区间 III 上存在” 必不可少,这样一来,定理挺长的,我们可以通过增强定理条件,对其进行简化:
(增强版的第二类换元积分法):
\quad 设函数 f(x)f(x)f(x) 在区间 III 上有定义,函数 φ(t)\varphi(t)φ(t) 在区间 JJJ 上可导、φ(J)⊂I\varphi(J) \subset Iφ(J)⊂I,且 x=φ(t)x = \varphi(t)x=φ(t) 在区间 JJJ 上存在可导的反函数 t=φ−1(x),x∈It = \varphi^{-1}(x),x \in It=φ−1(x),x∈I. 则不定积分 ∫f(φ(t))φ′(t)dt=G(t)+C\int f(\varphi(t))\varphi'(t)dt=G(t) + C∫f(φ(t))φ′(t)dt=G(t)+C 在区间 JJJ 上存在时,不定积分
∫f(x)dx=G(φ−1(x))+C\int f(x)dx = G(\varphi^{-1}(x)) + C ∫f(x)dx=G(φ−1(x))+C
在区间 III 上也存在.
证明:
\quad 由反函数求导定理及复合函数求导定理,此时:
ddxG(φ−1(x))=G′(φ−1(x))⋅[φ−1(x)]′=f(φ(t))φ′(t)⋅1φ(t)=f(φ(t))=f(x)\frac{d}{dx}G(\varphi^{-1}(x)) = G'(\varphi^{-1}(x))\cdot [\varphi^{-1}(x)]' = f(\varphi(t))\varphi'(t)\cdot \frac{1}{\varphi(t)} = f(\varphi(t))=f(x) dxd​G(φ−1(x))=G′(φ−1(x))⋅[φ−1(x)]′=f(φ(t))φ′(t)⋅φ(t)1​=f(φ(t))=f(x)
因此,G(φ−1(x))G(\varphi^{-1}(x))G(φ−1(x)) 是函数 f(x)f(x)f(x) 在区间 III 上的一个原函数,即:
∫f(x)dx=G(φ−1(x))+C\int f(x)dx = G(\varphi^{-1}(x)) + C ∫f(x)dx=G(φ−1(x))+C

证毕

数学分析:换元积分法与分部积分法相关推荐

  1. 5.3 定积分的换元积分法和分部积分法

    本篇开始我们总结定积分的积分方法,在不定积分的学习时,我们总结了换元积分法和分部积分法,对于定积分来说,和不定积分的积分方法是十分类似的,这里只说两点区别,详细的关于不定积分的积分方法请参考本系列博客 ...

  2. 换元积分法和分部积分法

    文章目录 定积分换元积分法 定积分分部积分法 疑惑? 推广的分部积分公式 余项 积分型 拉格朗日型 柯西型 点火公式 $\int_0^{\frac{\pi}{2}}\sin^nxdx$ Wallis公 ...

  3. 复旦大学《数学分析》教学大纲,读后有感

    该<分析>大纲读后,犹如时间倒转,回到19世纪的马克思撰写<数学手稿>时代,-- 但是,时光不能倒流.进入20世纪,数学公理化时代终于到来了.1930年,哥德尔紧致性定理:19 ...

  4. 数学分析 - 定积分(待修改)

    简介:不定积分是求导的逆运算,定积分是某种特殊和式的极限 定积分的概念 || 由例子引出定积分:曲边梯形的面积 在区间[a, b]中,取n-1个分点将区间分为n个小区间[xi, xi+1], i=1, ...

  5. 0403分部积分法-不定积分

    1 分部积分法原理 分部积分法由两个函数乘积推导得出. 设函数u=u(x)及v=v(x)u=u(x)及v=v(x)u=u(x)及v=v(x)具有连续导数,则两个函数乘积的导数公式为 (uv)′=u′v ...

  6. 数学分析笔记7:定积分

    定积分的定义与性质 定积分的定义 定积分的概念来源于求和运算的连续化,我们目前已知的求和手段都是有限求和,为了将求和运算扩充到无限个数求和,必须引入极限手段.扩充手段有两种--可列情形对应的是级数理论 ...

  7. 数学分析笔记8:广义积分

    广义积分的定义与计算 定积分的定义存在某种程度的缺陷,比如:我们经常要计算一个无穷区间的积分,这样,我们就没办法按照分割-取点-求和-取极限四个步骤来定义积分.有时候,函数在我们要计算积分的区间上无界 ...

  8. 转载:概率与梳理统计||数学基础

    导言:本文从微积分相关概念,梳理到概率论与数理统计中的相关知识,但本文之压轴戏在本文第4节(彻底颠覆以前读书时大学课本灌输给你的观念,一探正态分布之神秘芳踪,知晓其前后发明历史由来),相信,每一个学过 ...

  9. 数学与计算机的微妙关系

    数学与计算机的微妙关系 一.高等数学 1.为什么要学习高等数学 2.高等数学的分类 3.高等数学的应用 1)生活上 2)科技上 4.高等数学发展阶段 1) 解析几何学建立 2) 微积分的创立 3) 集 ...

最新文章

  1. 【Python】实现将testlink上的用例指定格式保存至Excel,用于修改上传
  2. python绘图内容怎么保存_将绘图保存到图像文件,而不是使用Matplotlib显示 - python...
  3. 弹性盒子内容体居右对其_弹性盒子侧轴对齐方式
  4. Codeforces Round #540 (Div. 3)(部分题解)
  5. debian下ror新建项目报错解决
  6. sql三表查询_SQL第五关:多表查询
  7. css 平行四边形 梯形 组合_微课|人教版五年级数学上册6.4组合图形的面积(P99)...
  8. opencv +opencv_contrib+CMake+VS2015
  9. Android Bitmap 开源图片框架分析(精华四)
  10. abb限位开关已打开drv1_软限位开关的设置原理与应用
  11. qt使用QProcess实现进程通信
  12. Hadoop配置和启动
  13. CAD制图软件中如何设置CAD打印样式表(CTB)?
  14. JavaScript教程-18-JavaScript中的内置对象Global
  15. css3复习知识点概括1(根据W3S顺序)
  16. win7上怎么安装linux系统安装教程,怎么装系统双系统安装教程 win7 linux
  17. 统计csv表格中某一元素的个数(count函数)
  18. 2023最新SSM计算机毕业设计选题大全(附源码+LW)之java面向中小学生的植物科普网站6s4f9
  19. 市面上U盘便宜种类多 如何鉴别便宜U盘好坏呢
  20. 骞云科技携手 EMC,联袂打造超融合基础架构云管方案

热门文章

  1. 使用javaGUI做一个MC版俄罗斯方块(二)
  2. 新媒体营销方式有哪几种
  3. Activiti6.0(三)实现一个请假流程
  4. 用借款方实际付出的手续费(或利息)计算真实的手续费率(或利率),或快速估算年利率
  5. Unity-Creating Project folder failed!
  6. spss分析 sus量表高低分组
  7. 擎天哥as3教程系列第四回——设计模式运用自如
  8. CPU 与 GPU 渲染:如何选择及原因?
  9. permission denied (publickey)问题的解决
  10. 封装实现电子宠物系统的企鹅类正确输入健康值和亲密度