想了想,还是写Markdown更容易保存;作为考研高数的完整笔记,内容多了以后电子文档增删查改起来容易些。
part Ⅰ主要内容为 极限 与 一元微积分,涉及较多方面。
只要数学家名称与定理名称较为常见、有广为接受的中文翻译,就都用中文表示了;两篇文章都主要限定在
如有纰漏,可以邮件联系我以订正。为了不影响主干内容的连贯,部分例题被折叠了起来。
注意
可证明,对
形式的式子,是可以直接对 与 运用泰勒公式的(只要运用正确,精度足够),自然对所谓的“等价无穷小”也是成立的,这在求极限中非常实用、方便; 第一、第二数学归纳法是极其好用的工具,需要熟练掌握并学会灵活运用(实为严格的演绎法)。归纳法不仅能运用在定理证明中,甚至可以配合单调有界定理证明数列极限的存在性。
例如设
, ,且当 时有 ,试证极限 存在。 观察到
,于是猜想 可能单调递增;做归纳假设 成立,则有 ,因此由第一归纳法,数列 确为单调递增。下证数列有界,首先有 ,再次运用归纳法,假设 ,则 ,同时容易知道 ,因此数列有界;最后,根据单调有界定理可知,该数列极限存在。 在点
处使用泰勒公式的条件: 在含点 的某个开区间 内有 阶导数,则 可以按 展开到 阶; 求极限
时使用洛必达法则的条件:除了要求分子分母满足不定式条件, 与 的导数在 的某个邻域内应均存在,且导数比值的极限为一广义常数 时,才有 成立;其中 可以是无穷大。 不要混淆了记号。
与 均为右极限的记号,定义为: , , 当 时,有 ,则称 为 在点 处的右极限。从实数轴上看,右极限是“从数轴的右侧逼近”、“从数轴的正侧逼近”的单侧极限,与之对应的是左极限。 但是一般而言,导数的右极限
存在不等价于右导数 存在!!!导数的左极限与左导数的关系同理。 数学辅助工具上,个人十分推荐 Mathematica:无论是优化问题、矩阵求逆等数值计算,还是不定积分、微分方程、泰勒 / 洛朗级数等符号计算,Mathematica都能处理自如;此外,微软用Python语言开发的 Z3 也是一个强大的工具。Wolfram|Alpha 是基于Mathematica的,提供了图形化的在线网页界面,可以十分方便地进行常见的运算,让初学者不需要任何代码也可以借助计算机完成一些数学计算。
对于函数图像,可以通过 Desmos 简单绘制,Desmos同样提供了在线网站,可以便捷得画出简单或复杂函数的图像。如果对一些简单函数如
的图像不熟悉,可以通过Desmos直接画出其图像;对一些相对复杂的函数Desmos也能胜任,甚至还能从中看出函数在间断点的极限。
初等数学简记
二项式定理:
, ; 次方的差公式: , - 特别地,平方差公式的一个有趣应用是对根式差极限的处理:
; - 当
时,有:
- 特别地,平方差公式的一个有趣应用是对根式差极限的处理:
令上式
则得到 次方和公式,注意当 为正偶数时 没有实数根,自然也不能在 内分解因式。当 为奇数时,有: ; - 特别地,当
且 为奇数时,有: ;
- 特别地,当
中学数列通项求法大全:高中数学:求数列通项公式的十一种方法(方法全,例子全,归纳细)
一般
元 次方程解法:对于一般的 元 次方程组,可以将其改写为二次型的形式, 其中 是三阶实对称矩阵,- 如果
或 不满秩,则方程可以因式分解,秩 则可以分解为一个一次式的平方,秩 则可以分解为两个一次式的乘积,由此可以解得结果。 - 如果
与 均满秩,则计算 的特征值 (即计算行列式 ,广义特征值),因式分解 即可——这是一定能因式分解的。
- 如果
对数函数的一些性质:
(于是自然有 、 等) ,换底公式
设
,则 能被表为 的充要条件是 是完全平方数且 是偶数,其中 。如果 是奇数,则可以表为 的形式。具体的步骤是:
记
,将 写为判断
是否是完全平方数,如果不是则不能化简判断
的奇偶性,如果
是偶数则计算 与 ,有如果
是奇数则对根号内乘 以将 写为偶数 ,化为偶数情况
实际在操作时只需要通过
判断原式能否化简,如果能被化简直接设变量接着“凑”就好了,例如化简 ,设 ,两边平方得 ,所以 、 ,容易看出来令 即可。另外,
一定不能被表为 ,其中 。需要确定参数取值范围时,参变分离是个好方法。
一些显而易见的概念就不再提及了,例如
与 的大致图像,本文默认读者对这些内容已经有所了解。
三角函数的性质
三角函数关系助记
青柠色代表按垂直 (两侧)
的关系,浅紫色代表按水平
(按层)
的关系,橙色代表按同侧邻居的关系
(
英文命名关系:在中心垂线的右边的三角函数英文首字母都是“c”;
中文命名关系:在中心垂线的左边的三角函数首字都是“正”,右边的首字都是“余”;从上到下,第一层函数名字的次字都是“弦”,第二层次字都是“切”,第三层次字都是“割”;
平方数量关系:除去第一层的三角函数间有
,同水平上的三角函数平方分别等于同侧邻近的另一三角函数平方 ,即 、 ;
展开/收起2道运用这一性质的积分实例
求积分
: 不过,这个积分结果还有另一个形式,事实上二者表达的是同一个式子,只是利用不同的方法计算得到: 当然,还可用按有理分式来积分,不过如此便繁琐了。凡是涉及
形式的积分,都可以试试利用或 的这一性质求解。计算
;利用三角函数的性质,换元
:
反函数数量关系 1:第一、三层的两个三角函数,他们反函数的和函数在定义域上值都为
,即 、 ,定义域分别为 、 、 ;反函数数量关系 2:特殊例子,
,, ;, 倒数关系:任何过中心点的长线两端的三角函数互为倒数,即
、 、 ;导数关系:
- 左侧第一层的三角函数的导数等于同侧第一层的三角函数、右侧的取相反数,即
、 ; - 左侧第二层的三角函数导数等于同侧第三层三角函数平方、右侧的取相反数,即
、 ; - 左侧第三层的三角函数导数等于自己与同侧第二层三角函数的乘积、右侧的取相反数,即
、 ;
- 左侧第一层的三角函数的导数等于同侧第一层的三角函数、右侧的取相反数,即
以上只是个人发现的助记办法,欲了解原理需另加推导。此外,各三角函数的反函数导数按层也有着符号上的关系(右侧的取相反数),分别为
值得注意的是,由于定义域的问题,
再次强调:
三角函数齐次化:
Desmos图形计算器 - Graphing Calculator
三角函数相关公式
个人认为,要深入学习、理解三角函数,就不应该再借助几何直观。三角函数可以用几何图形定义,也可以用级数定义,但按复函数的方式来定义应该才是最广泛适用的,如此也能方便地把三角函数诸多性质推广到复数域。
复指数的定义——欧拉公式(Euler's formula):
角的和差:
有时会需要降幂扩角:
以上公式的初等数学推导可以参考:三角函数公式及推导(详尽解释)
推论:辅助角公式
“万能公式”:在我的理解中,“万能公式”之所以“万能”,是因为它可以用统一的方法将三角函数方程转换为多项式方程。万能公式的一个重要运用就是针对任何三角函数有理分式的积分,都可以将其转换为多项式的有理分式的积分,而有理分式的积分是有通法的——尽管步骤上可能比一些技巧性的解法更繁复一些。
换句话说,任何形如
从几何上看或许是最直观的:
也可以不用倍角的关系表示,这点在积分结果化简的过程中常用到:
由于常见的三角函数是复平面上的解析函数,因此上述等式在复数域恒成立。
实数理论及实数完备性
不在此讨论了(实在没有精力和时间细致讨论实数的完备性问题了),参考这篇写得不错的知乎文章即可:实数的完备性定理;
或直接参考维基百科:Completeness of the real numbers
数列极限
收敛性
数列
柯西收敛准则:数列
此外,众所周知数列极限存在等价于任意子列的极限存在,所以针对不好直接处理的数列,可以先证明其极限存在,再任意找到一个方便处理的子列,计算子列极限,这时子列极限等于原数列的极限。
根据定义还可以推导出对于数列的两个子列,当两个子列的并等于原数列时,原数列的极限存在的充要条件是两子列极限存在且相等。这一思想最简单的应用是分别取奇偶子列,然后证明奇偶子列的极限存在且相等。例如计算极限
数列极限的计算
对等差数列
↑ 有趣的是,当
对等比数列
级数收敛性
例如计算极限
印象中用这一方法来证明极限为
线性递推式 (通项公式)
对于线性递推定义的数列,欲求其通项,通用的方法至少有两种,一是利用差分方程,二是利用可相似对角化矩阵的快速幂方法。
关于差分方程方法,一些一阶非齐次常系数线性差分方程的解在 高等数学工具 PartⅡ 中有给出,位于常微分方程一节;对于一些二阶差分方程的解,可以参考文章差分方程基本理论。由于如果读者非常熟悉差分方程理论,那么线性递推式通项求解是很显然的问题,因此这里主要以一个例子给出矩阵快速幂的方法,对于一些没有接触过差分方程的读者而言,只需要有一定的线性代数基础即可学会这种方法——不过作者认为,用差分方程的方法求解才是最泛用的,也是最接近本质的。
回到正题,如果数列是按与前几项的线性关系式迭代定义的,例如
典型如斐波那契数列:记斐波那契第
能够看出,可以把
斐波那契数列的其他简单性质,可以参考:斐波那契数列相关问题精讲
幂级数 (累和数列极限)
一定条件下,通过对逐项求积与逐项求导将级数化成一般函数的幂级数形式(如果有必要),进而转化为相应的有限次运算的初等函数求解。这里以两个简单的例子作为示范,计算
对
,由于泰勒级数的任何一项 次数都应 (否则成洛朗级数了),所以想到取 (而不是 ),则 恰为极限式,又在 范围内有 所以对
,观察到若取 则极限式形式为 ,显然应当逐项求积化为 形式,记 , 因此
黎曼积分定义 (累和数列极限)
按黎曼积分的定义,若
尽管该方法实质是处理累和数列极限的,但一些累乘式可以通过取对数转化为累和式,进而用该方法求解!例如例题2。
如果是第一次阅读到这里,下面的折叠内容建议展开,因为这除了说明如何使用黎曼积分的定义解决数列极限(不只能解决累和式的极限)以外,第二题的法一还展现了另一种独特的技巧。
展开/收起4道用黎曼积分定义解决累和式极限问题
下给出题目。
求
;十分简单但经典的题目,对式子提出
即可解决,求
;法一,利用Stirling公式:
根据Stirling公式,
可以证明,对 形式的式子,是可以直接对 与 运用泰勒公式的,同理在此处可以用Stirling公式近似 。法二,转换为定积分问题处理:根号下的式子显然是一个累乘分式,欲转化为黎曼积分,首先要将其变为累和式,所以对原式取对数,记
, 于是,
求
;为将原式中的
转换为 形式,首先从根号下式子抽出 : 对于剩下的部分,根据黎曼积分的定义,很自然地想到无论是 取 还是 都都不影响积分的值,因此 与 这点微小的差异在积分号下也就被“抹平”了,所以应当有 上式同时取极限,得到 因此,根据夹逼准则,有 这可以说是放缩与夹逼准则的运用,但我认为,从实质上更确切地讲,这应该是黎曼积分的性质:黎曼积分的定义式中,用以求和的每一段小区间上的值(其实是这一区间上定义的简单函数的值),可以是函数在这一小区间上的左边界点 (体现在 ),也可以是右边界点 (体现在 ),只要函数可积,最终的值都是一样的。不过,说这种解法是通过黎曼积分定义配合夹逼准则求解的,也没有问题。求
;令
,取对数得 ,于是 因此 。
同样地,按累次积分的黎曼和定义,也可以处理累次积分对应的级数和。例如,
不妨先考虑
,由于函数形式 表示的是小区间 的右端点值,每个小区间长度是 ,所以用以近似函数在小区间上定积分值的矩形面积是 ,而这样的小区间与相应的矩形有 个(因为变量 的累加号上标为 ),总长度为 ,所以这一级数表示的是从 (因为变量 的求和号下标,即起始值为 , 除 得 , 的极限为 )起到 上 的定积分。再考虑
,按同样的步骤分析,函数形式 表示的是小区间 的右端点值,每个小区间长度是 ,而这样的小区间有 个,所以总长度为 ,因此这一级数表示的是从 起到 上 的定积分。由于
的每个小区间长度与 的每个小区间长度的乘积恰好为 ,所以这个极限不需要再做进一步处理。如果将原式改为 ,那么就应该在前两步分析得到的定积分结果基础上再乘 ,因为极限可以被拆分为综上所述,该极限为
,这是一个累次积分。
所以,原式中的
最后,在以上分析中也可以将
夹逼准则 (累和数列极限)
如果别的方法不合适,可以试试放缩配合夹逼准则求极限。这个方法的缺点是要求“未卜先知”,需要通过观察想到或猜算极限式可能的值与可能的放缩技巧,但如果有合适的放缩,通常是能解题的。
展开/收起2道用夹逼准则解决数列极限的问题
求
与 ;对于这两个极限,分别有
与
注意到
,而多项式分式的极限( )只与分子分母最高次项系数有关,从这一点可以判断出两个原式的极限应该是相等的。对上述式子分别取极限,得到故根据夹逼准则,最终有
求
;法一,利用调和级数的性质:
根据调和级数的前
项的和函数公式,其中
,于是法二,利用夹逼准则:众所周知有
,因此猜想该极限也可能为 ,故进行放缩左右式的极限均为
,所以
夹逼准则进阶
一般来说,如果函数在分离出小积分测度(通常转换为
; .
一式不能视为
但是又如何找到正确的放缩呢?这并不是任何情况下都没有章法可寻的,首先将极限和式化为一个统一的形式,即写为
这样做的原因是黎曼积分定义求解数列和式极限是有通式的,即只要提出来
进一步地,如何“对式子影响最小的因子”(下简称“最小因子”)呢?举几个例子,对于
- 如果“最小因子”是
,那么优先考虑通过去掉或增加“ ”以放缩,转极限为积分; - 如果“最小因子”是
(或 等),那么优先考虑令 (或 等)为 或 以放缩,直接求解极限。
这个方法可能不是万能的,但至少他提供了一种如何放缩的思路。
通常而言,除了过分简单的题目外,放缩都会搭配黎曼积分定义使用,他们不是毫不相干的,即:虽然有的级数不能直接转化为黎曼积分,但可以通过放缩间接地转化为积分。
O' Stolz定理
处理数列极限的强有力工具,某种意义上是洛必达法则的离散形式(他们的共同之处在于,当满足一定条件后,不定分式的极限等于他们分子分母各自导数/变化量的比式的极限);该定理可以通过Toeplitz定理简洁证明。在我看来,O' Stolz定理值得单独列为一节。
O' Stolz定理能够处理的类型为 "
O' Stolz定理 对于
: 严格单调递增且 ;
或,
: 严格单调递减且 、 ;
在满足以上两点任意一个的基础上,如果还满足
尤其对
在此给出一道例题以供参考:试求极限
解法一:利用黎曼积分定义
解法二:利用 O' Stolz定理
Toeplitz定理 (累和数列极限)
Toeplitz定理 设
海涅定理与中值定理
一般来说,函数可明显被表示为两个同样的函数对于不同自变量取值的差,就可以利用中值定理,往往能简洁地解决问题。
海涅定理(归结原则)
设
递推数列极限存在性
有些时候,可以通过对式子直接取极限解得极限值,尤其是对于递推式,但首先要解决的是极限的存在性问题——如果极限不存在,直接对等式两边取极限就是错误的操作。这里列出通常证明极限存在性的方法。
从单调性出发
- 如果
是单调递增函数且 ,则 单调递增:因为 , ; - 如果
是单调递增函数且 ,则 单调递减,类比上文推导; - 如果
单调递减,通常 的单调性没有明显规律。
函数局部增时: 单调有界定理
由上文的结论可知,当满足
这是最简单的证明数列极限存在性的方法,注意:只需要从某一项开始数列单调并有界即可。
函数局部减时: 上下极限
这种方法更为“高级”,应用范围极广,(在实数域内)比后文的压缩映射原理更泛用。
由于可导的初等函数一定在点的某个邻域内单调,所以仅依靠单调有界定理 (适用于单调增) 和该方法 (适用于单调减,但也可以用于单调增),几乎可以解决所有的递归数列极限存在性问题。但由于该方法过于强大,很少有参考答案会用这种方法,所以或许解题时优先考虑压缩映射原理更合适?
该方法首先需要说明数列有界,因为若有界则数列的上下极限必然存在且有限;记上极限为
压缩映射原理 (Banach不动点原理)
压缩映射:称
压缩映射原理 设
压缩映射原理是完备性的一种体现,常微分方程初值问题中的Lipschitz常数正是这里的
具体到实函数 / 实数列
, 则 收敛于唯一的一点 且 ;当
可微时, , 则 收敛且收敛点是 上 唯一的不动点(可以联系微分中值定理).
鉴于通常的高数课和数分课并不讲授压缩映射原理(我也是在泛函分析课程种才学到),在需要过程的题目中可以仿照该定理的证明过程间接运用它,而最好不要直接“甩”出定理。
例如设
解:算出前几项,或者计算
现在对递推式变形得
完全仿照泛函分析中度量空间里压缩映射原理证明的过程,容易知道
,注意到,
根据柯西收敛准则,
是收敛的。于是可以“大大方方”地等式两边取取极限,因为数列极限存在且唯一(当然唯一了,关键是存在性!)。也可以先假设极限存在,解出四次方程的正根,不妨设为
,利用极限的性质有 ,最后依极限的定义,仿照上式从 入手证明 收敛到 即可,不再赘述。这样做步骤似乎更简单一点,不过通常的压缩映射原理证明过程是和上一种方法类似的。如果在范围内恒有
,则根据微分中值定理,有 或 ,证明更为简洁。这种方法最为简洁、固定,不需要像第一种、第二种方法构造放缩,如果条件合适,可以优先考虑。
函数极限
最基本的多项式分式极限,这里给出两个简单的例子:
两无穷大量相加减的极限计算,一般会通过通分、提取无穷大因子或中值定理等方法,将其转换为分式极限,这样会便于处理。
极限性质与洛必达法则
函数极限的性质:
如果读者对洛必达法则不熟悉,可以参考:《数学分析》38洛必达法则的证明;简而言之,洛必达法则是用于计算当
,即当 时, ; ,即当 时, ;
如果有
有些极限是泰勒公式无法解决的,这就是洛必达法则大显身手的时候了,例如
泰勒公式
泰勒公式 / 泰勒级数 (Taylor series),麦克劳林级数 (Maclaurin series),不愧是被誉为数学分析一元微分学皇冠上的明珠。泰勒公式的存在使得许多极限的计算都变得十分容易,这里在给出常见函数的泰勒公式时一并给出其泰勒级数与相应的收敛域——这本应该在下一篇文章的幂级数部分再给出。
诸如
一般情况下泰勒公式只能“从外往里”用,“从里到外”是没有依据的。例如求极限
泰勒公式的一般形式是:若
展开/收起1个泰勒多项式与函数关系辨析的例子
以一个例题来说明泰勒多项式和函数性质的关系。
设
且 ,判断以下说法是否正确: 在 内为上凹函数
下逐个分析四个命题:
第一个说法是正确的,但原因并不是
,因为题干没有明确指明 在 处是几阶可导的,所以我们不能把 当作是“有效”的泰勒公式。对于这种较为抽象的函数,常常需要用到最基本的方法,这里尝试用定义求导: 所以确有 ,进一步可推得 在 的某个邻域内连续。第二个说法是错误的,因为我们没有任何条件能够
保证 在 上可导。可以举一反例,令 取 ,其中 确为 ,但 仅在 处连续,自然不可能在 的某个邻域上均可导——甚至都不是连续的。第三个说法也是错误的,实际上我们连
是否在 处二阶可导都不能确定(因为求不出 具体形式,按定义无法计算二阶导数),可以参考反例中所构造的函数。第四个说法还是错误的,同样可以参考反例中所构造的函数。
综上所述,除非函数足够光滑,我们不能随意认为如果
,对 就有 ,更不能认为就有 。一般来说,这需要泰勒级数收敛到原函数且满足逐项求导的条件才成立,至少是在幂级数的收敛区间上才成立。
此外,凹凸函数经常联系到一阶的带拉格朗日余项的泰勒公式,因为这时若
计算
由此可以得到
特别地,
注意利用好
但
注意
正确做法应该是先处理幂指函数,再利用
直接计算在
处各阶导数的值,注意到 是偶函数,因此奇数阶泰勒多项式系数值为 ,故只需计算偶数阶导数值。有 , , , , ,所以:利用
的泰勒公式,设待定系数,有 也就是说 对比系数,考察 项系数有 ,考察 项系数有 ,考察 项系数有 ,考察 项系数有 ,综上所述有 , , ,所以
利用好奇函数的泰勒级数只有奇数幂、偶函数的泰勒级数只有偶数幂的结论,做选择题确认无穷小阶时往往能事半功倍!
重要补充
首先记录一些特殊的极限
,可以用Stirling公式证明 (可以从 导出,也可以直接研究 的导数) ,该极限求法利用了第二积分中值定理,其中
,因此 ;在前文泰勒公式中有推导,实际上有
1 | library(tidyverse) |
此外还有一些特殊的等价无穷小与泰勒公式(起码要混个脸熟!)
,利用洛必达法则易证; ,利用洛必达法则易证;当
,也可以利用因式分解证明: 事实上有 ,利用洛必达法则易证,也可以简便地使用泰勒公式直接展开(等价无穷小):注:这样只能计算一阶,因为第一步所运用的 ln(1+x)~x 精度不够
只要第一步 ln(1+x) 展到足够的阶,这一方法可以计算到指定精度
事实上有
,在后文会用多种方法给出这一函数泰勒展式的推导过程。应当注意,该函数是奇函数 (泰勒级数只有奇项,这在解决重积分时对化简式子可能有帮助),而且导数为
;类似的 也是奇函数,其导数为 ,他的泰勒级数每一项恰等于 泰勒级数每一项的相反数,也就是说 ——再次说明了这两个函数均为奇函数,而且令 后一个函数就会变为另一个函数。补充:如果需要更高阶的
泰勒展开,实际上有很多种方法均可供选择。在上文对一阶展开的计算中,所使用的解法是最“笨拙”的从外到里、逐步展开。当然,这也是最直接的方法,不需要任何技巧。尽管对于一阶的泰勒展开,这样“朴素”的处理看起来并无不妥,但当尝试计算高阶泰勒展开时,计算将会变得异常复杂——如果不使用计算机辅助运算的话。这里补充一些解法,以说明计算高阶泰勒展开时,除了直接展开外,我们还有很多更简便的办法。以
三阶泰勒展开 的计算为例:直接展开:即使是直接展到三阶已然很麻烦了,但这一方法好在普遍适用。
其中,
所用到的式子是 , 所用到的式子是 ,以上讨论都限定于 时。这里略去了繁琐的计算过程。多次求导:前文已经提到
的一阶导数是十分简洁的—— (这需要一定的观察力,或者经验),根据导数与泰勒系数的关系,我们知道 因此只需要算出 的直到三阶导数:由此也可以计算出
,计算量相较于直接展开有一定减少。而且,这也是一种普遍适用的方法,当然对于其他的函数而言,计算起来并不一定有直接展开来得快,具体要看目标函数求导是否方便。间接展开:以上两种方法都是普遍适用的方法,除此之外具体问题具体分析,对于特别的函数,我们可以考虑特别的技巧与方法,从而快速计算出泰勒展式。例如在这一例子中,我们已经观察到目标函数的导数形式
结构简单,所以可考虑将 展为泰勒级数,再利用逐项求积定理,逐项积分从而得到目标函数的泰勒级数,这样就避免了直接对目标函数展开。利用 ,有 逐项求积,在 的邻域上有 对于这一函数,此方法较于前两种通用解法具有显著优越性,一方面,计算量大大降低;另一方面,给出了任意阶泰勒系数的表达式,即通项 (这个通项公式用以计算泰勒级数的第 个奇数项的系数——由于偶数项为 ,所以没有单独给出偶数次通项的必要)。
虽然
是显而易见的,但我仍然认为这一式子有着巨大潜力,这一点尤其表现在配合幂指函数计算极限时。例如欲计算极限
,其中 是任一正数。这个极限相对复杂,首先我们提取零因子,将其化为 接下来套用幂 指 化 ( ),上式直接转写为 可以看到,灵活运用这一等价无穷小的计算过程是非常简洁的——尤其对于指数和底数位置均含有变量 、需要转写为幂指函数以方便下一步讨论时,在提取了零因子后常常可以利用这个等价无穷小直接消掉式子中的指数。当然,处理这个极限也可以“一股脑”地使用泰勒公式,这也是我第一次计算这个极限采取的解法,但未免也太过繁琐了。常用杂例:
最后,由基本泰勒公式 / 泰勒级数可以导出一些特别级数的和函数,例如:
,这个级数难以通过逐项求导来解出,不过容易“凑”出来,实际上就是 麦克劳林级数的偶数项; ,实际上就是 麦克劳林级数的奇数项,同上式的和为 ;
中值定理处理函数极限
如果观察到极限式可以被写做同一函数的不同取值的差,那么就可以运用中值定理。
有的问题不能考虑泰勒公式,而只能考虑洛必达法则;当然也有的问题只能考虑中值定理,而不能考虑洛必达法则或泰勒公式,这三种常用方法都有其擅长的领域。
例如,设
综上所述,由夹逼定理知
除了拉格朗日中值定理,这道题也可以使用柯西中值定理,变形得
展开/收起2道中值定理计算函数极限的具体例子
有些时候,在极限的计算中可以巧妙运用中值定理,达到事半功倍的效果。
计算
;解:由拉格朗日中值定理,有
其中 ,因此由夹逼定理有 综上, 。计算
;解:先将分子写为幂指函数形式以便处理,
法一:多次利用等价无穷小,
时有 由于 ,因此 综上, ;这一方法的过程中所用到的恒等变形是一个十分常见的技巧,如果不这样做就只能硬算 与 的 阶泰勒公式了。法二:利用中值定理,
在法一计算
时可以用中值定理,这样可以避免后续技巧性的变形。设 ,则分子等于 ,由拉格朗日中值定理, ,其中 介于 与 ,由夹逼定理同样可以计算得 。
幂指型函数极限
一般对于幂指型函数考虑取
定理 如果
这个想法是自然的,因为当
但如果
渐近线
渐近线按斜率可以分为三种,对于函数
垂直(铅直)渐近线:
是 的间断点且 ,则 是 的一个垂直间断点;水平渐近线:
,则 是 的一个水平间断点;斜渐近线:
,则 是 的一个斜渐近线。根据定义,利用高阶无穷小,对斜渐近线求法有现成公式:
只要这两个极限存在,即 存在且为常数,那么斜渐近线或水平渐近线就存在,这也是斜渐近线或水平渐近线的一种定义。
因此,想要求出函数的渐近线:
- 首先找出函数的所有无穷间断点,对应铅直渐近线;
- 接下来观察当
时 是否具有线性趋势(计算极限),对应水平 / 斜渐近线。
特别说明,铅直渐近线只要求函数在一点处某侧的极限为无穷大即可,不需要两侧极限都为无穷大;若函数在某点
此外,应注意若只有极限
以上是通常的方法(也是最基本的、按定义处理问题的方法),在此补充三个方法:
- 洛朗展开式(斜渐近线或水平渐近线)
- 凑斜率
(斜渐近线或水平渐近线) 代入直线(斜渐近线或水平渐近线)
这些方法都只适用于计算斜渐近线或水平渐近线,其中后两种方法可以处理隐函数。
应用洛朗展开式计算渐近线:当函数
满足洛朗展开的tiao只要 在无穷远点处的洛朗展式为 形式,就可以断言 的渐近线为 ;反之,如果 的洛朗展开式不是这样的形式,则可以判定 不存在斜渐近线或水平渐近线。例如,考虑一个函数
,不难计算其在无穷远点 处的洛朗展式为 ,所以可以直接认定 的渐近线为 。
接下来的两种方法适用于求隐函数的渐近线。
凑斜率:这种方法是从定义导出的,所以也是严谨的,极限
存在的充要条件是 存在斜渐近线或水平渐近线。以曲线 为例,设可能的斜渐近线或水平渐近线为 的形式,由定义有斜率 ,所以可以考虑通过对曲线方程变形以“变”出斜率(毕竟我们解不出来隐函数 的具体形式)——等号两端同除 得 ,再同时取 的极限得 ,解得 ,所以渐近线是存在的,而且斜率为 。得到了斜率后,欲进一步求截距则需要回到定义
中去,在这个问题中 。注意到 ,从而有 又易知 有且仅有一条渐近线,综上所述 的渐近线为 。值得注意的是,在通过 间接计算 时要考虑 而不考虑 :尽管这两个等式都是成立的,但前者的极限显然更容易处理,因为分子和分母的每一项都是 次的,相比之下后者就棘手的多,分母均为 次项而分子均为 次项。
微分学 · 导数与中值定理
一元实函数的可微性与可导性等价。
关于微分的应用,主要在曲率、曲率圆等部分,参考:什么是曲率和曲率半径?,本文不做涉及。
隐函数以及隐函数求导,在下一篇文章 高等数学工具 PartⅡ 中。
可导性与可积性
设函数在
若左右导数均存在,则函数既左连续又右连续,则函数在该点连续!但不一定有导数存在,因为左右导数值可能不相等。
有以下经典的例题:
切记,导数的右极限
但利用拉格朗日中值定理容易证明,如果函数
补充:对于在点
该定理可以推广到多元的情形,以二元为例,对于在点
对一元实函数而言,在某点可导则连续,连续则黎曼可积;连续不一定可导,黎曼可积不一定连续(黎曼可积充要条件为几乎处处连续,可以得出对积分的改进,是放宽可积对函数光滑的要求)。
尽管可导函数的导函数不一定连续,但可能含有第二类震荡间断点,而一定不含有第一类间断点,进一步地:可导函数的导函数,在导函数有定义的点中,一定没有第一类间断点和第二类无穷间断点。
因此:如果某函数有第一类间断点和第二类无穷间断点,则该函数一定不存在原函数;连续函数必有原函数。
注意原函数的定义,要求函数的不定积分的导数仍等于其自身,因此一些含有第二类间断点的函数仍是可能有原函数的,而不仅仅是连续函数才有原函数;此外,对于含且仅含可数个第一类可去间断点的函数,容易知道其 (黎曼) 变限积分必然存在,但该函数的原函数却不存在,因为他的变限积分 (不定积分) 在任意一点处的导数值等于此点该函数原本的极限值,而与这一点原本的函数值无关,即相当于函数被“平滑”了,第一类间断点被“抹去”了。
另外,如果只是知道函数在某点可导且导数值不为
- 定理1:若
在 上可导,则 在 上没有第一类间断点 - 定理2:含有第一类间断点的函数不存在不定积分
- 达布定理(导数的介质性):若
在 上可导且 ,则对任意介于 与 的 , ,
补充二元实函数的情形:
间断点的分类:
第一类间断点
可去间断点:在点
处极限存在,但函数在该点无定义或函数值不等于极限值。如果
为可去间断点,则在 处补充定义 后可以使得 在这一点连续,这是可去间断点的一个特征。跳跃间断点:在点
处的左右极限存在但不相等。
第二类间断点
在点
处的左极限或右极限不存在,则称该点为第二类间断点。第二类间断点包含无穷间断点、震荡间断点等,是某侧极限不存在的间断点。
关于函数单调性:我们都知道,如果函数可微,那么导数大于等于
勒贝格定理:单调函数是几乎处处可微的。我对这一定律最深刻的印象,是在周民强编著的《实变函数论》中,短短数字,却证了足足三页。
函数微分
按现代微积分学,对一元实函数而言可微性与可导性是等价的。对于可导函数
微分的形式不变性:
反函数求导
反函数导数:设
注意多元函数的偏导数不再有这些性质,因为偏微分符号
变限积分的导数
当
以上式子,尤其是第
第
此外,若函数的变限积分连续,则变限积分在某点的导数值等于函数在该点的极限值,而与函数在该点的值无关——这也是为什么导函数在其定义域内必然没有第一类间断点。
无穷小的阶
计算通常形式函数在某点的无穷小阶,展成泰勒多项式即可,例如
求导降
当
最后应当注意,对变限积分做变量替代时,同时别忘了也要对积分限做处理。特此强调!
- 例如对
做换元 ,则原式应等于 - 例如对
做换元 ,则原式应等于
如果积分的上限和下限均为
若两个积分限是非同阶无穷小,则取阶较小的阶作为 “
”,公式 “的 阶 ” 仍成立。这里蕴含的思路是将积分限拆开,函数可以拆为变上限积分与变下限积分的差,所以取较小的阶即可。的 阶 的 阶 例如当
时 是 的 阶无穷小。首先 ,因此可以不考虑 (该结论源于第二积分中值定理);被积函数 的阶易见为 ,积分上限函数 的阶为 、积分下限函数 的阶为 ,因此整个式子的阶为 。若两个积分限是同阶但不等价无穷小,则可以任取上限或下限的一个阶作为 “
”,公式 “的 阶 ” 仍成立。的 阶 的 阶 例如当
时 是 的 阶无穷小,这时 ,故 。若两个积分限是等价无穷小,切记不可随意地取上限减下限的阶甚至直接任取上限或下限的阶作为的“
”!这时可以考虑利用一些技巧避免直接讨论积分限,例如积分中值定理。的 阶 有两种典型错误,例如当
时, 本应该是 的 阶无穷小:- 第一种典型错误是认为此时公式 “
” 中 “的 阶 的 阶 ” 应取的 阶 的阶,即 ,如此操作会得到阶为 的错误答案; - 第二种典型错误是认为上限
和下限 的阶均为 ,故 “ ” 取的 阶 ,函数的阶为 ,这也是错误的,因为这种情况下 “ ” 可能等于的 阶 ,但也可能大于 ,无法直接确定。
正确的做法是利用第一积分中值定理,
,其中 ;注意到在 的某个邻域内,当 时有 ,对该式同时除 并取 的极限,极限均存在,且有 ,因此 也是 的同阶无穷小,所以 的阶等于 的阶等于 。- 第一种典型错误是认为此时公式 “
无穷小阶是可以进行运算的,但是两个函数做加减法时,无穷小阶也做相应加减法,当且仅当两个函数的阶不等时成立!这时取两函数阶中较小的一个作为新函数的阶;如果两函数阶相等,阶除了可能保持不变,也十分有可能会增大!典型如
如果
是 的 阶无穷小;- 当
时, 是 的 阶无穷小,当 时为一非零常数,当 时为无穷大; - 当
时, 是 的 阶无穷小,当 时无法确定 的阶!只能确定他的阶应当大于等于 !
形如
- 泰勒公式
- 利用高阶无穷小的性质,逐阶计算
- 计算
的各阶导数
记
复杂函数快速微分法
对于一些复杂的复合函数,直接按链式法则笔算求导是不太可取的,因为计算量过于大。
对数求导法示例
对数求导法不仅可以用来计算
为什么要取对数呢?因为对数函数的导数恒大于
因此,只要被求导的式子是由一系列函数的乘积和自变量幂复合的,就可以尝试对数求导法。
以函数
首先对等式两边取对数,得到
定义求导法示例
按定义求导也大有用处,因为通过按定义求导,可以将函数在某点的导数问题转换为极限问题,从而能够利用泰勒公式、洛必达法则与等价无穷小替换等多种强大的工具。
还是以函数
其他方法
一些其他方法也能方便地计算导数。具体问题具体分析,没有一种方法能方便地解决所有问题。
参考有理积分中快速确认待定系数的办法(这在后文会重点介绍),针对多项式分式的一阶或高阶导数,如果求导的点是函数的零点,则只讨论这一点的零因式、将其他部分视为一个抽象整体是一个不错的思想,如此能够大大简化计算量。
例如,设函数
代
参数方程求导
设函数
高阶导数
求高阶微分,通常有三种常规方法:数学归纳法、泰勒公式和莱布尼茨公式。
数学归纳法举例,如计算
的 阶导数 。注意到 对于形如 的 (类幂) 函数,其 阶导数有通式 ,用归纳法自证不难,因此泰勒公式方法举例,如计算
在 处、 的 阶导数 ,这种求 点处高阶导数值且形式规整的函数就非常适合用泰勒公式计算。容易知道,有 ,对比泰勒级数 的系数,得 。莱布尼茨公式:
此外,注意到三角函数与负幂多项式函数的高阶微分是有通式的,都可以被视为
如果无法简单地观察出通式,且泰勒公式也不方便使用,那么都应该考虑是否可以用莱布尼茨公式及其推广加以解决。例如,当
极值充分条件与必要条件
极值必要条件
若
极值第一充分条件
设
- 若
时 , 时 ,则 在点 取得极小值。 - 若
时 , 时 ,则 在点 取得极大值。
极值第二充分条件
设
- 若
,则 在该点取得极大值。 - 若
,则 在该点取得极小值。
极值第三充分条件
设
- 当
为偶数, 在 处取得极值。若 则取得极大值,反之若 取得极小值。 - 当
为奇数, 在 处一定不取得极值,尽管该点为驻点。这时,点 是 的拐点。
极值第二充分条件是极值第三充分条件在
凸性与拐点
凸函数的一种定义是对区间
如果
若一元实函数在某区间上为凸函数,直观感受是区间内任何一点的切线都在原本函数图像下方 / 任何两点的连线都在函数图像上方,如下图所示。
凸函数的一个重要性质是琴生不等式,这部分内容放在下一篇文章的不等式主题中再做详细介绍。
拐点是指函数的严格凹凸性在此改变的点,如果函数二阶可导,则在拐点左右侧表现为二阶导数异号。通俗地讲,如果函数在点
易见,若函数在某点二阶可导,则该点为函数拐点的必要条件是该点二阶导数为
直观上看,若函数二阶可导,则拐点表现为:在这一点上,切线两端分别位于原本函数图像的上方与下方。
拐点充分条件与必要条件
拐点必要条件
若点
拐点第一充分条件
设
- 若在邻域
内 均异号,则 是 的拐点。 - 若
与 异号,则 不是 的拐点。
拐点第二充分条件
设
拐点第三充分条件
设
- 当
为偶数,点 不是 的拐点; 在 处取得极值。若 则取得极大值,反之若 取得极小值。 - 当
为奇数,点 是 的拐点, 在 不取极值。
导数在经济学的应用
基本概念
需求函数
,其中 为某产品的需求量, 为价格;价格函数
为需求函数的反函数,有时也不加以区分称为需求函数;供给函数
,其中 为某产品的供给量;成本函数
,其中成本 是生产产品的总投入, 代表产量, 由固定成本 与可变成本 两部分组成,有 称 为平均成本,也记为 ,有收益函数
,也称收入函数,其中收益 是产品售出后所得收入,是销售量 与销售单价 的积;利润函数
,其中利润 是收益扣除成本后的余额。
边际分析
不严谨总结:
在经济学中,若
- 边际成本
:设成本函数为 ,其中 为产量,则边际成本函数为 ; - 边际收益
:设收益函数为 ,其中 为产量,则边际收入函数为 ; - 边际利润
:设利润函数为 ,其中 为销售量,则边际利润函数为 。
边际的经济学意义显而易见,不再赘述。
谈到边际,几乎都是以产量或销售量作为自变量的!
弹性分析
不严谨总结:
设
需求的价格弹性:设需求函数为
( 为价格),则需求对价格的弹性为 由于 是单调递减函数,因此 ,从而 。在经济学中该式被解释为当价格为 时,每提价 (降价) ,则需求量将减少 (增加) 。有时规定需求对价格的弹性
,则式子取负,即供给的价格弹性:设供给函数为
( 为价格),则供给对价格的弹性为 由于 是单调递增函数,因此 ,从而 。在经济学中该式被解释为当价格为 时,每提价 (降价) ,则供给量将增加 减少) 。
谈到弹性,几乎都是以价格
注意,如果给出的需求弹性与供给弹性均为绝对值(正值),在利用公式解弹性函数与供给函数前,应当为需求弹性加上负号,而不要给供给弹性加负号!
罗尔中值定理
罗尔中值定理 若
罗尔中值定理的证明可以考虑费马定理。
广义罗尔中值定理
广义罗尔中值定理 若
广义罗尔中值定理可以通过构造函数
罗尔定理重要推论
若
阶可导函数 在某区间上有 个相异实根,则 在区间内至少有 个实根。循环使用罗尔中值定理即可证明:根据条件,应用罗尔中值定理——若区间上有
个相异实根,则一阶导数有 个实根,再应用罗尔中值定理,则二阶导数有 个实根……如此循环操作直至 阶导数。若区间
上 的 阶导数 ( ),则方程 在 上至多 个实根。如果
在 上有 个零点,则根据推论 1 即可导出矛盾;这一推论在使得证明函数有且仅有 个实根极其方便。如果
至多有 个根,则 至多有 个根。
拉格朗日中值定理
拉格朗日中值定理 若
拉格朗日中值定理的证明,构造函数
柯西中值定理
柯西中值定理 若
洛必达法则可以由柯西中值定理证明,柯西中值定理的证明通过构造函数
泰勒中值定理
泰勒中值定理 若
其实这就是带拉格朗日余项的泰勒公式,其中的拉格朗日余项
上述余项在数学分析教材里一般都有推导,证明的方式多种多样,作者曾见识过利用卷积定理与拉普拉斯变换得到积分余项的,惊奇之余感到有趣。此外还有柯西余项,相对而言并不太常用。此外,
当
达布定理
达布定理 设
达布定理又称为导数的介值定理,其证明考虑摄动法,即构造函数
微分学 · 微分方程解存在性问题
等式存在性 1:分析还原法
对于证明一个关于含
这是最简单也最死板的方法,但熟悉后可能对于多数简易情形都能够立刻解决。
单变量微分方程解的存在性问题
一些常见的辅助函数可以归为以下情形,记
证
,构造 ;证
,构造 ;证
,构造 ;特别地,证
,构造 ;特别地,证
,构造 ;证
,构造 ;证
,构造 ;证
与 的线性关系式 ,构造 ;原理涉及ODE中首次积分的概念,其中 、 是待定系数, 。之所以取
而非 ,是因为 在区间的两端点处值可能不等,进而不满足罗尔中值定理条件,此时需要确定 以构造出一个满足使用罗尔中值定理条件的 (即端点值相同的 )。
在我看来记住
- 当原式只包含
与 而给出条件却是关于 的,这时可以按上述方法对 进行构造,也可以尝试积分还原,例如当 在 上具有二阶导数且 时欲证 使得 ,可以先构造 证明 使得 、再构造 证明,还可用直接对待证式积分得 ,接下来只需要证明该式满足微分中值定理条件即可;
如果方程包含两个函数但只有一个变量,通常会构造
有时也会用到拉格朗日中值定理,当直观感受到待证式的含义是存在一个切线斜率等价于平均变化率的情况,就可以应用。少见应用柯西中值定理。有时会结合介值定理与积分中值定理配合证明零点,如对
展开/收起3道利用罗尔中值定理证明根存在性的问题
使用罗尔定理证明根的存在性,重点是构造在两点处值相等的辅助函数。
设
在 上连续、在 内可导,试证 使得 ;题目完全没告诉
在区间端点的取值,看来只能自己构造出端点值相等的函数了。注意到导数与变量相乘了,是 、 式的情况。待证式中出现了 ,似乎得注意构造时端点的值。于是想到
,满足端点处取值相等(都为 ),验证: 所以利用罗尔中值定理有 ,其中 ,即设
在 上连续、在 内可导,试证 使得 ;同样地,没有给出端点值。第一感觉正是
式的情况,注意到含 项的因子 ,想到令 ,但 端点值并不相等,而且进行验证: 可以发现的确 的确不是所需求的函数, 项缺少因子 。但这启发了我,注意到 ,不妨保留 里的 ,把 移至 ,于是构造 ,在 作用下端点处取值皆为 ,进行验证: 看起来还是不合适,但以上二式指出了: 求导后与待证式只差一个 ,这可以通过 的作用来弥补,因为 求导后相对而言括号内的式子是“只增不减”的。令 ,端点处的值符合条件(仍然都是 ),做验证: 大功告成!根据罗尔中值定理,证毕。设
在 上连续、在 内二阶可导且有 与 ,试证 ,使得 ;首先想到可能是
式的特殊情况,构造 ,观察验证其导数: 似乎只要罗尔中值定理满足条件,就可以得到待证明的结论。易知 (或者说 )在 上可微、在 上连续,同时注意到给出信息中的极限式代表着 在 、 处的导数,除了能得出 、 ,还有 ,但此时若验证 ,可以得知 ,因此大方向似乎没错(毕竟形式正确,只是端点处值不相等),但条件不完全满足。那么接下来利用完整的 式进行构造构造以符合罗尔中值定理的条件。令: 这时有 ,注意到只要满足罗尔中值定理的条件,则 ,由于指数函数恒正,因此当 和 不为零时必有 ,故只需要解上面的方程得到合适的 、 即可。上面的方程等价为: 这里的通解是关于 与 的一个线性式,不过解题只需要一个特解,取 ,则 ;根据前文论证,找出一组非零的 、 后只需利用罗尔中值定理,问题便得证,故证毕。最后,说明为什么
在端点处的值存在,以 为例,利用拉格朗日中值定理:
多变量微分方程解的存在性问题
大同小异,相较于单变量方程解的存在性问题,一般是运用两次以上的中值定理。如果对变量
本质上和单变量方程解的存在性问题是一样的,熟悉基础的微分方程,善于观察,敢于尝试,通常考研中这部分不会非常为难考生,难的反而是习题集中的。
一般来说:
部分求证关于
与 的等式但不要求二者不能相等的题目,令 ,找到合适的 就能解出;但观察发现,有的题直接令 即可,简单且高效;若
在区间两端值相等且证明结果不限制两变量的关系,可能是对构造的不同函数,在整个区间上利用两次拉格朗日中值定理,其中这两次中值定理结果等式的有一端的结果可以通过两等式整体相加减乘除消去,从而得证;若限制两变量必须不等或是有严格大小关系(可能是给出
在端点的值但二者不相等、无法用第 条构造适当的函数),且待证式是关于两个不同变量作自变量的 运算的值之等式,则可能是以中间变量作分割点 ,分别在分割出的两个小区间上利用拉格朗日中值定理(比较常见的是对 运用中值定理),代入、消去 得到关于 与 的等式;接下来只需要证明确实存在如此的 满足条件即可;
更具象的例子参考下列例题。
展开/收起3道多变量方程解的存在性问题
设
在 上连续、在 内可导( ),试证 使得 ;法一,观察式子:
令
,由于 ,因此 ,于是待证式是trivial的。法二,利用柯西中值定理与拉格朗日中值定理:
设
,由于 、 在 上连续、在 内可导,根据柯西中值定理,有 注意到 ,等价变形: 对左式运用拉格朗日中值定理,得
设
在 上连续、在 内可导( ),且有 ,试证 使得 ;凡是两变量方程解存在性问题,给出了函数在端点的值都为
,那么大概率是利用两次拉格朗日中值定理,其中中值定理等式右边的形状相同的,最后取二者的比值以消去中值定理等式右边的式子。这道题中 是 乘 ,完全可以改编为 乘 的情况。将等式左边的
乘到右边再等式两边同时乘 ,得 ,这很显然是单变量问题中 式的情况(如果熟悉微分方程,这是显而易见的)。注意到 ,分别构造:再分别运用拉格朗日中值定理,有
两式相除,得
证毕。设
在 上连续、在 内二阶可导且 、 ,试证 且 ,使得 ;有时需要利用中间变量,如果有第一小问,可以考虑第一小问的结果是否可以作为中间变量。如果没有给出第一小问,可先假设该点存在,分别利用拉格朗日中值定理,根据待证结果逆推该点,证明该点的存在性。
假设
,使得在 上利用拉格朗日中值定理,有 使得在 上再次利用拉格朗日中值定理,有 最终使得 ;如果成立,自然地 ,因此只需说明 的存在。下证点 的存在性。 若 使得 ,则 ,解得 或 ,后者可被证明:构造函数 ,由于 连续且 、 ,所以一定存在一点 ,使得 ,证毕。类似地,还可以证在同样的条件下,存在
;若 且 ,则存在 。
等式存在性 2:微分方程法
如果希望证明的式子明显是某种可以迅速解决的ODE结构,那么就可以考虑利用微分方程求解。实际上这也是在利用中值定理,但是他给出了更”本质“与”通用“的辅助函数构造方法。其构造的思想是,将可能存在的根
实际上前者所谓”围绕中值定理的分析还原法“,也是脱胎于微分方程的,所以二者几乎是同一种方法,只是思考方式不同。
这里以一个具体的问题作为案例,若
先证
接着观察式子
这样的思想也可以用于不等式。例如设
如果给了条件
,则构造 ,有 即 单调递增;如果给了条件
,则构造 ,有 即 单调递增;如果给了条件
,则构造 ,有 ,即 下凸;
而这个问题给出的条件是
等式存在性 3:费马引理与介值定理(零点定理)等
这种方法较为灵活,思想也比较简单,就是想办法证明可微函数极值、最值在区间内(根据费马引理,可微函数极值点一定是驻点),或证明连续函数介于某正数与某负数之间,所以区间内一定存在一点使得函数值为
泰勒公式证明不等式存在性
泰勒公式(见后文)包治百病;更严谨的说,是泰勒中值定理或带拉格朗日余项的泰勒公式。通常来说,不等式用泰勒公式是容易证明的,有的等式也可以通过泰勒公式解决。详细用法参考例题。
利用微分中值定理,还能证明一些积分不等式,这部分内容将放在积分不等式章节一并说明。
展开/收起2道微分中值定理证明不等式成立题目
下给出题目:
设
在 上具有 阶连续导数,试证:- 若
,则 ,使得 ; - 若
在 内取得极值,则 使得 .
首先证 题。因为 在 上具有 阶连续导数,根据在点 处展开的泰勒公式,当 , 使得其中
,分别代, 与 入 ,得到 其中 、 ,将二式相加并除 ,得到 最后,对于连续函数 , ,因此根据介值定理, 使得 ,证毕。注:最后一步也可以简单地令
。 不妨设 在 的极值点为 ,自然地在 处导数值为 ;根据在点 处展开的泰勒公式(泰勒中值定理),有 其中 ,分别令 为 与 再令得到的两式相减,在 的情况下可以得到 取 ,由于 ,结果既证。事实上,取 也是可以的。值得一提的是,最后的式子前之所以是小于或等于号,是因为
可能为 ,否则由于 ,最后的式子前的符号应改为严格小于号。- 若
设
在 上有连续的二阶导数且 、 ,试证 ;设
,容易知道 且 ,在点 处利用泰勒公式(泰勒中值定理): 分别取 与 ,得 即 其中 、 ,当 令 ,此时 ;当 令 ,此时 ,证毕。
积分学
展开/收起关于积分的一些感想
有界函数黎曼可积的充要条件:间断点集为零测集。
有趣的是,多重黎曼积分的定义其实是足够“好”的,只有一重黎曼积分的性质过于差,需要用勒贝格积分“弥补缺陷”。
勒贝格可积的定义为函数正负部的积分均有限,非负可测函数的勒贝格积分定义为
黎曼函数可测,在
当
达布和(上下和):对一个分割
达布定理(上下积分):上下积分也是上下和在
黎曼可积第一充要条件:
黎曼可积第二充要条件(可积准则):
黎曼可积第三充要条件略。
如果说黎曼积分的达布和是按
不定积分若存在则均连续,可以得出变限积分也必然是连续的。对于一元函数而言,函数的连续性是函数可微的必要条件;同理,函数也应当有一定的连续性、足够光滑才能保证可积性。对于黎曼积分,这一条件是比较强的,要求不连续点集为零测集;对于推广的一些积分,例如勒贝格积分,将可积的条件与限制做了进一步减弱。
有些不定积分涉及了一些无法用初等函数表达的部分,但在计算的过程中这部分可能是能够抵消的,从而最后算出的不定积分结果中只包含初等表达式。例如
还有一些不定积分也难以直接计算,需要通过“循环”来找出结果,这种情况的例子可以参考后文中表格法部分给出的示例。
需要着重强调的是,分段函数的不定积分在分段点必须是连续的。例如,计算不定积分
但注意,接下来不能说
三角函数相关积分专题
三角函数与其𝑛次方的不定积分
其中
求
注意
①
更多内容可参考这两篇文章:
对
记
三角函数有理分式积分
通常来说,观察原式,利用三角变换、换元与分部积分可以解决涉及三角函数的积分问题;这里总结一些经验规律,帮助快速计算。
首先,任何三角函数的有理分式都可以通过所谓“万能代换”转化为关于
- 如若
,则换元 ,凑 ; - 如若
,则换元 ,凑 ; - 如若
,则换元 ,凑 ;
以上两个方法,“万能代换”法与经验法则,是处理三角函数有理式积分最常见的通用办法。针对特定的积分计算,也会有一些奇妙精简而技巧性强的解法,这就需要具体问题具体分析了。
展开/收起3个三角函数有理分式积分问题
这里只给出三个例子,对于参悟三角函数积分当然是远远不够的。
求不定积分
;解:该不定积分需分情况讨论,不过
与 的结果是显而易见的,分别为 与 ,在这里讨论 的情形。Tip: 式子不成立,所以不讨论。如果经验不足,而且没有熟悉上文中关于凑微分的技巧,这个积分就会变得不好处理:无论是用“万能代换”化被积式为复杂有理分式,还是讨论
、 大小利用 将分母化出“ ”来,都是很难进一步操作的。没有头绪该怎么办呢?根据上文中的经验法则:
所以有 ,于是可以知道这里应该凑 :求定积分
;解:由于
,所以被积函数是 的偶函数,根据经验法则,应凑 ,所以我们先“变”出 : 接着换元 即可:求定积分
;解:乍一看加号前后两个不定积分似乎有相似之处,毕竟
是 的倒数——但朝这个方向思考就走向歧途了,这道题只需要按常规思路分析即可,两个不定积分之间没有任何关系。首先处理后者,因为注意到
——第二个定积分是可以直接凑微分求解的,即 接着处理前者,直接将分子各项拆散分别讨论,有 综上, 。客观来说,这个积分的计算过程并没有用到多么高超复杂的技巧,但如果一开始就走偏了方向,一直往倒数方面去考虑,就陷入思维困境了……此外,如果读者熟悉三角函数,能观察到
则这个定积分的计算还可以再简便一点。
𝑛𝑥相关三角积分 (黎曼引理)
注:Wallis公式及其推论在后文专门给出。
任何两个互不相同的三角函数系函数乘积在
三角函数系中任何函数的平方在
推广:黎曼引理:若
黎曼引理相关推论请参考这篇文章:如何通俗易懂地理解黎曼引理?
Wallis公式、Stirling公式及推论
对以下公式均有
上述推论都是显而易见的,拆开积分区间后利用
试积分
严格来说,Wallis公式是指
一般用来处理双阶乘极限的问题,不过
Stirling公式是阶乘的一种收敛速率较低但经典的近似:
Stirling公式可以通过Wallis公式导出,Wallis公式准确来说应该是指
复合反三角函数积分
复合反三角函数的积分,基本上离不开分部积分公式,配合一些换元法也可以减少运算量。
法一:将被积分的反三角函数整体换元
如求积分
,可以对积分式整体换元(但涉及到积分 ,如果对此不熟悉则只能采取下面的另一种方法): 处理这个积分也可以直接做分部积分,但运算量会稍大: 其中对 的求导容易犯错,因为要处理的内容略多,法二:(利用换元)凑成
的形式,然后分部积分如当
、 时,求解 ,Tip:
是没有初等表达式的,不可能先解出 再求他的定积分。正确的做法是:首先,
如此得到直 接 分 部 积 分 的形式;当然,注意到 ,可以适当构造使得分部积分的第一部分在 时也为 ,于是分部积分第一部分结果为 ,只留下反三角函数的被积式: 如上两种方式都能得到 形式的式子,最后,只需要计算这个积分:
三角函数积分杂例
利用下文的区间再现方法可导出:
利用好三角函数的周期性,对于积分
三角函数的导数有很好的性质,
Fejér公式(比黎曼-勒贝格引理更有内涵的结果):设
分部积分表格法
尤其针对
一般而言,对于
第 |
第 |
第 |
第 |
第 |
||
---|---|---|---|---|---|---|
第一行 | ||||||
第二行 |
第一行从左到右依次求导,第二行从左到右依次积分,直到第一行中出现
𝕬:所谓表格法本质上还是多次运用的分部积分法,故以前
只要被积式是乘积的形式,且一个容易积分、另一个容易求导,就可以利用表各法快速解决,例如:
但有些时候表格法可能不如其他方法那样便捷,需要权衡后再使用,毕竟方法是死板的,选择是多样的。
𝕭:当表格第一行某列出现原本函数(第
以积分
第 |
第 |
第 |
第 |
|
---|---|---|---|---|
第一行 | ||||
第二行 |
可以观察到第一行中第
区间再现
区间再现值得专门指出,这是一个有极大作用的积分技巧。
尽管区间再现实质上不过是原理简单的换元法(令
如果式子能通过区间变换得到右部含原式的等式,譬如式子含逻辑斯蒂函数的,即形如
展开/收起5个运用区间再现简化积分的典型例子
下给出题目。
例题 1:求积分
;根据区间再现公式,
因此,例题 2:求积分
;根据区间再现公式,
即
,因此,注:上式的第一步若直接将绝对值号展开并用“万能公式”求解,步骤会比较麻烦,尽管也能得到相同的结果。
例题 3:求积分
;根据区间再现公式,
因此
。例题4:求积分
;记原式为
,根据区间再现公式(或者说换元 ,二者是等价的),因此
且 ,故完全类似地,可以积分
,其中 。例题5:求积分
;根据区间再现公式,
特别地,当定积分是形如
有理分式积分
通用算法 (分式分解)
这里只考虑真分式,因为当分式不是真分式时,总能通过带余除法化为多项式和真分式的和。
根据代数知识,有理分式
解出待定系数后,有理分式被化为一系列确定系数的分式和,分母多项式的非零次数最高为
对于
,容易知道:对
的积分相对麻烦,不宜直接计算积分,但可以导出递推式: 毋需多言,其中 、 。其中,等式右边的第一个积分可以直接计算:
等式右边的第二个积分则需要利用分部积分法递推解决。
记第二个积分为
,容易知道 时 ;当 ,不便直接计算,递推求解: 综上所述,在 时,有
如何快速确定待定系数?
以上是有理分式积分在理论上的通用算法,而在实际操作中有更方便的手段。
在设定好待定系数后、需要求解待定系数时,通用算法所给出的求解方法是将含有待定系数的式子通分相加,令其与原被积式相等以得到一个方程,通过比对方程两端含
第一种情况,针对分母为一次项的部分
第二种情况,针对分母为一次项及其幂的部分
第三种情况,针对分母为二次项及其幂的部分
最后,综上所述有
如何避免繁琐的递推积分?
在确定好待定系数后,唯一还比较繁琐步骤的就是计算积分
倒代换法
对于分母次数很高而分子次数很低的有理分式积分,取合适的倒代换可以极大简化计算量。虽然究其根本也不过是换元法,但这一类换元法对有理积分十分重要,就和所谓区间再现一样,在此特别强调。
上一个例子里通过倒换换元将分母次数降低、分母次数升高,然后研究换元后的积分——毕竟分母次数低而分子次数高的有理积分,比分母次数高而分子次数低的有理积分要好处理的多。
但上例中只讨论了换元后的积分就解出了原积分,有时仅仅这样做是不够的,还需要将换元后的式子与原积分相联系,这需要一定的洞察力。例如设
只有合适的换元才能达到简化积分的目的,
简单无理式的积分
基本无理式积分表
先给出简单无理式积分表,用于计算一些不能明显凑微分的无理式积分。
以下公式中如果没有特别说明,都认为
换元
虽然这两个不定积分从形式上看较为复杂,但他们的定积分计算在换元后却十分简单
称形如
,此时记 为有理数 的公分母,则作换元 即可 ,此时记 为有理数 的分母,则作换元 即可 ,此时记 为有理数 的分母,则作换元 即可
简单无理式积分技巧举例
积分是需要灵活、变通处理的,对于含无理式的积分尤甚。比如
例如定积分
至少有两种解法,其一是作换元 ,有: 其二是作换元 ,有: 再者如 ,同样地至少有两种解法,其一是作三角换元 : 其二是作换元 :对于积分
的计算还可以联系到平面几何,其一是令 ,则易见该积分的意义是求四分之一单位圆的面积,因此结果易知为 ;简单推广一下,有: 其二是作换元 ,过程不再赘述;联系到第一种方法,这里进行三角代换是有意义的,如此操作也能直接导出其原函数。不定积分
较为重要,如果能熟记当然是最好。在几何上作平移(如
)还可以类似得到:对于积分
(我们当然都知道结论 ,这里是该结论的推导过程),除了同样按平面几何上意义求解(参考卓里奇数学分析第一卷第317页,该不定积分对三角函数推导比较重要),还可以通过“拆补”的巧妙构造来计算: 所以 的一种基本定义就是通过不定积分 。巧妙的凑微分有时也是必要的。例如求积分
,除了直接换元还可以凑微分。凑微分的做法是:凑 微 分 对于根号下的式子,除了三角代换,配方也是一个妙招。例如计算定积分
,类似处理有理分式积分中分母的方法:
特殊无理式积分
对形如
的积分,首先可以尝试做作换元 。以积分
为例,注意到: 因此,根据上文给出的方法,令 ,有 、 ,故若上述操作积分不能解出或计算量较大,则可以考虑三角代换,灵活利用三角函数间的关系。例如对积分
,可以做换元 ,则原式立刻可化为 ,利用Wallis公式容易计算得结果为 。再者,对于不定积分
,有两种三角代换可以解决:利用
;利用双曲三角函数;
对形如
的积分(即含有二次根号下二次三项式 的积分,要求 时 、 时 ),常规的方法是三角代换——这是因为 ,若记 、 ,则 一定可以化为以下三种情形: 、 与 ,即 一定可以化为以下三种情形: 、 与 ,分别令 、 与 即可将无理式化为三角有理式。但是如此操作较为麻烦,因为经过了三角函数“中转”;可以将其总结为以下“欧拉代换”,即可直接得到有理式。注意,代换可以解得
为 的有理函数:- 若
,则令 ,两端平方可以消去 项 - 若
,则令 ,两端平方可以消去 项并分离出因式 - 若
,则令 ,其中 是方程 的一个实根
- 若
积分中值定理
第一积分中值定理
第一积分中值定理 若
第一积分中值定理可以通过介值定理与最值定理导出,也可以用拉格朗日中值定理证明,做辅助函数
注:注意
放缩,原式不小于
是显然的,同时注意到 ,故原式小于 ;运用下文提到的第二积分中值定理,
,有 界 量 无 穷 小 量
综上所述,这种情况下直接运用第一积分中值定理是没有理论支持的。不过,该极限仍可以考虑第一中值定理,需做适当放缩(相较于直接放缩有点“脱裤子放屁”的意思):
对多元函数的重积分,第一中值定理也是有效的,将一重积分替换为多重积分、
尤其是对于二重积分,有定理:若
第二积分中值定理
第二积分中值定理 若
第二积分中值定理是第一积分中值定理的推广,可以用柯西中值定理证明,做辅助函数
该定理在一些场景下有妙用;譬如确定混合变限积分函数无穷小的阶。以
普遍的积分不等式
若
,则 ;- 特例 1:恒有
; - 特例 2:若
在 上连续,分别记 在 上的最大值与最小值为 和 ,则 ; - 特例 3:若
在 上有连续导数且 ,则有 ,必要时可以对两边同时求导 / 积分;
- 特例 1:恒有
空间中的柯西不等式:更多关于不等式的内容,参见下一偏文章 高等数学工具 PartⅡ;通常来说,考研高数涉及到的积分不等式,并不会包括Hölder不等式、Schur不等式等相对深刻的不等式。但如果读者希望扩展视野,可以轻击跳转到那篇文章,这些更多的不等式在分析学中有巨大的威力和重要的地位。
积分的不等式问题,常常涉及将常数转为变量,将定积分转为变限积分,这是比较通用的解法。例如,当
一般来说,结合中值定理、换元等方法或许能更快地解决问题。
展开/收起1道积分不等式问题
设
在 上有连续导数,且 ,求证 ;首先分部积分,
由于 ,因此 ,所以 ;注意到
,于是:第 二 积 分 中 值 定 理
特殊的积分不等式
特殊积分不等式没有那么泛用,在此将记录一些典型的特殊积分不等式,以启发思路。
证:
总结:对于需要被积式在积分区间内时正时负而需要判断积分结果符号的,可以尝试将原式的正部分和负部分分离,再利用积分变换将积分限化为相同,通常来说就可以判断符号了。注 : 被 积 式 化 为 了 一 个 恒 正 的 函 数 证:
记 ,注意到 且 ,因此 在 上严格小于 ,于是不等式成立。证:
和上一道题方法类似的,
观察 ,容易知道 且 ,因此 在 上严格小于 ,于是不等式成立。
反常积分及其敛散性
反常积分是指一类定积分的极限存在的积分。
迪利克雷积分:
欧拉 (瑕) 积分:
正态分布概率积分:
相关参考:
比较判别法及其延伸
- 比较判别法
- 设
、 在 上连续,且 ,则:- 若
收敛,则 收敛(可推广为控制收敛定理); - 若
发散,则 发散;
- 若
- 设
、 在 上连续,且 ,其中 为二者瑕点,则:- 若
收敛,则 收敛(可推广为控制收敛定理); - 若
发散,则 发散;
- 若
- 设
- 推论:极限比式判别法
- 设非负函数
、 在 上连续,且 :- 若
且有限,则 、 同敛散性; - 若
,当 收敛,则 收敛; - 若
,当 发散,则 发散;
- 若
- 设
、 在 上连续,且 ,其中 为二者瑕点,则:- 若
且有限,则 、 同敛散性; - 若
,当 收敛,则 收敛; - 若
,当 发散,则 发散;
- 若
- 设非负函数
可见,无穷区间上的积分与瑕积分的收敛判别法在形式上是一致的。
简单情形:
收 敛 发 散 与 收 敛 发 散
可推广为以下重要情形:
或 且 收 敛 发 散 上式成立的的前提是
上不含瑕点,对于 上的无穷积分同理——如果被积式在 有意义。或 且 收 敛 发 散 上式成立的前提是
上没有其他瑕点(常见于 是瑕点而 ),用同阶无穷小替换后不改变敛散性。对于在更一般区间
上的积分 ,如果 ,则- 当
时,积分是定积分,结果为一个有限数。 - 当
时,积分的性质与 无关,若 则积分为定积分,若 则积分为发散的瑕积分。
综上所述,对于
型积分只有在 时才有讨论的价值,其余情况都是平凡、显而易见的,所以只需要知道如何判断 的敛散性即可。以上两个重要公式只是基本的例子,可以按需对积分进行换元、放缩等。
- 当
如果分母包含多个项,则对于以上两个重要公式,只要有一个项满足收敛条件,积分就收敛,换句话说
只要满足最弱的条件即可,事实上这点根据比较判别法的极限形式来看是显然的。例如,对于无穷积分 ,虽然 ,但 ,所以积分收敛;同理,瑕积分 也是收敛的,进而导出 也是收敛的。对于包含多个瑕点的瑕积分或包含瑕点的无穷积分,需要将其积分限拆分为一个个小区间,保证每个小区间上的积分要么是定积分,要么是只含有一个瑕点的瑕积分,要么是不含瑕点的无穷积分,然后再对这些小区间上反常积分的敛散性进行讨论。反常积分在较大的区间上收敛的充要条件是这样一个大区间被拆分为一个个小区间后,在每个小区间上的反常积分收敛。
例如
收敛,因为在瑕点 处 ,满足“ ”的条件;但且 发散,因为 式已证明是收敛的, 式中的瑕点为 ,而 在 上有界且恒大于 ,换元 , 在瑕点 处可认为对被积式有 (这当然不是一个“等价无穷小”,只能说是“同阶无穷小”,但这里只考虑敛散性而不在乎具体的值,方便起见同阶无穷小也用“ ”表示了),相当于“ ”的情况( ),必然发散,所以综合 式与 式,反常积分发散。
值得注意的是,
同类型的函数,瑕积分与无穷积分敛散性条件的不等号常常是反向的。
可以结合现有知识推导一些积分的敛散性,如:
收敛(而且还等于 ),因为标准正态分布的 满足 ; 在 时的敛散性只与 有关,当 时收敛、当 时发散; 对 均收敛,因为该积分正是非负实数集上的 函数;
柯西收敛准则
无穷积分
迪利克雷判别法
迪利克雷判别法与阿贝尔判别法合称AD判别法。
1. 无穷限反常积分:
- 若
在 上有界、 在上 单调,且 ,则 收敛。
2. 瑕积分:
- 设
,其中 为其瑕点,若 在 上有界, 在 上单调,且 ,则瑕积分 收敛。
3. 反常含参积分的一致收敛性:
若:
在 上一致有界,即:
, 对于 单调;
- 当
, 关于 单调且在 上一致收敛趋于 ,即
- 当
则
在 上一致收敛。
阿贝尔判别法
阿贝尔判别法与迪利克雷判别法合称
1. 无穷限反常积分:
- 若
收敛、 在 上单调有界,则无穷限反常积分 收敛。
2. 瑕积分:
- 设
,其中 为其瑕点,若 收敛, 在 上单调有界,则瑕积分 收敛。
3. 反常含参积分的一致收敛性:
若:
在 上一致收敛;
, 对于 单调;
在 上一致有界,即:
则
在 上一致收敛。
欧拉积分简介
第一类欧拉积分为
这里主要简介
两个欧拉积分的定义是容易记忆的。对于
伽马函数
是亚纯函数,负整数点均为奇点且是一阶奇点;与此同时, 是全纯函数
更多关于欧拉积分的内容,可以参考任何一本数学分析教材;本文简介欧拉积分,只是因为他们可以帮助快速计算反常积分。
毕竟本文还是偏向于高等数学的工具书性质。
留数定理计算实积分(暂略)
暂略,但可以参考以下文章,均写得十分精彩:
有这些文章大概已经足够,我想也不需要我再在这里重申了。
积分之“猜”的经验
不少的不定积分标准计算过程较为技巧性,较为复杂,较为令人意想不到。针对不定积分(与一些需要用牛顿-莱布尼茨公式计算的定积分),如果一时间没有想到合适的计算思路,不妨“猜一猜”——实在想不到那就不去想了,来”猜“吧!毕竟,计算导数可比计算积分简单了太多太多。当然,如果能写出标准计算步骤的话,则尽量还是按标准分析求解;”猜“原函数虽然是非常不严谨的,但是它也有它存在的意义:
- 在”猜“的过程中,很容易发现部分起初没有观察到的细节,从而提供一些灵感与思路,帮助我们写出标准过程;
- 如果能正确”猜“出原函数,自然就可以逆着写出标准过程,因为积分是微分的逆过程,至少是对一元函数而言。
以下是我的一些经验。
我们知道,类指数函数
例如不定积分
,在尝试了多次分部积分却依然没有什么进展后,我就停止了标准思路的寻找,开始了对原函数的猜测。注意到被积式中含有 与”并不常见同 组合在一起“的函数 ,所以我猜原函数可能是 ,检验一下: 瞧瞧,多么轻松!这道积分的正常分析步骤应该是注意到
然后分部积分,以抵消掉没有初等表达式的积分:再如不定积分
,注意到分母为 ,猜测原函数可能是 的形式,而分子又含有 ,所以猜测原函数可能是 的形式。综上,猜测原函数可能为 ,检验一下: 求导的结果与被积式相差 倍,所以原函数应该为 。这道积分的正常分析步骤应该是先换元
,即 ,然后拆分被积式并分部积分,抵消掉没有初等表达式的积分:
可谓屡试不爽。