1. 微分的应用
1.1 一元函数的微分
1.1.1 单调性、极值、渐近线
导数给出了函数的走向,它对我们分析函数的图形性质很有作用,这里就用微分学的知识来了解函数的性质。一阶导数对函数的影响是最直接的,这里先看一阶导数。对于区间上的常值函数,它的导数处处为零,反之由中值定理知,导数恒为零的函数为常值,故函数在区间上的充要条件是。这个结论还说明了导数相同的函数的差函数为常数,这对在证明函数相等很有用,比如可以证明。
利用中值定理容易证明,区间上函数必定单调上升(下降)的充要条件是()。当等号不成立时,函数还是严格单调上升(下降)的。在部分点等号成立时,利用反证法可知,只要等号不在一个区间恒成立,函数也是严格单调上升(下降)的。
我们已经知道,对任意函数,如果是极值点,则有。反之则不一定(比如的零点),使得的点一般称为静止点。如果在的领域内可导,则两侧的导数同号时为一般静止点,异号时为极值点(且根据具体情况可判定极大还是极小)。一般地,如果,但,则由泰勒公式知式(1)成立。进而可以证明,为奇数时是一般静止点,为偶数时,若则是极小点,若则是极大点。
有了以上结论,我们就能画出函数的大致曲线,只要弄清楚零点、单调性即可。另外有时还会有渐近线,它其实就是以下三种情况之一:(1)时;(2)时;(3)式(2)分别存在有限极限。前两个分别以和为渐近线,第三个以为渐近线。
1.1.2 凸函数
最后来看二阶导数在函数图形上的体现,导数可以看做是曲线的切线斜率,那么二阶导数则可刻画了斜率的变化。可以想象,当时函数曲线上凸,而当时函数曲线下凸。如何严格地表述这样的曲线?可以这样说,连接曲线上任意两点形成直线,这两点间的函数值都在直线一侧。受此启发,定义在任意点式(3)都成立的函数为下凸(上凸)函数,等号不成立时也叫严格下凸(上凸)函数。
以上凸函数的定义中并未假定函数可导,所以不好描述导数的性质,为此换做观察曲线上变化割线的性质。具体来讲,比如对下凸函数,设,利用定义容易证明式(4)成立它们还可以作为凸函数的等价定义。右边的不等式说明任意点右侧,随着单调减小,但左边的不等式又说明它是有下界的,从而存在右极限(或极限为无穷)。同样可证存在左极限(或极限为无穷),当然,如果是端点,其中只有一个成立。当是区间内点时,显然在处连续。
其实凸函数不一定可导,比如字形的是下凸函数,但在不可导。当可导时,容易证明下凸(上凸)的充要条件是,单调上升(下降)。这个充要条件还等价于:曲线在它任何一条切线的上方。若二阶可导,还可以证明,下凸(上凸)的充要条件是()。这些比较直观,证明也很简单,请自行论证。
上面的结论说明,如果连续且,而在领域内,可见在左右两侧分别为上、下凸函数,所以曲线在左右领域内分别在切线的两侧。更一般的,如果在处可导,且左右领域的点分别落在切线的两侧,则称为的拐点。
式(3)对二阶可导的凸函数还有进一步推广,设,且记。对下凸函数可有式(5)成立,个式子乘上相加便有式(6)成立。凸函数的这个结论,可以用来很容易地证明一些不等式,比如令,可以证明。
1.2 多元函数的微分
1.2.1 切线、法平面
现在利用微分的方法复习空间的点线面,请先复习空间解析几何的基本内容。空间曲线的表达式,最简单的就是参数方程,一阶连续导数确定了曲线在处的切矢量,切线连续变化的曲线称为光滑曲线。曲线还有可能表示为两个曲面的交集(式(7)左),利用向量值函数隐函数的结论可得到切矢量,约去分母便得式(7)右。
现在来看空间的曲面,如果都连续,它被称为光滑曲面。考察曲面上经过的任意曲线,带入曲面方程有,由曲面的可微性易知曲线光滑,对求导得式(8)。该式表明所有曲线在处的切线在同一平面上,这个平面被称为曲面在点的法平面,它的法向量为所示。曲面还可能是用式(9)左边的参数方程表示的,用前两者可以确定隐函数。带入第三个式子就得到曲面表达式,算出法向量后约去分母便可导法向量(式(9)右)。
1.2.2 曲率
不知你有没有注意,平面曲线的二阶导数虽然表示斜率的变化速度,但由于斜率不与角度成正比,二阶导数其实并不能反映曲线的弯曲程度。要准确的度量曲线的弯曲程度,我们必须考察角度本身的变化率,具体讲就是在某点切线角度相比长度的变化率。如果式(10)的极限存在,则称为点的曲率,而称为曲率半径。
如果曲线以参数方程表示,首先有,再由也容易得到,从而容易有曲率的表达式(11),后者是坐标方程下的结果。对于极坐标方程,可以写成参数方程,带入式(11)可得式(12)。特别地,对于圆,易知其曲率半径就是。
1.2.3 极值
类似一元函数的结论,对于偏导数处处存在的函数,如果皆成立,那么称为的静止点。静止点什么时候是极值点?再假设有连续的二阶偏微分,使用泰勒公式即得式(13)。如果记对称矩阵,则式(13)的值取决于关于的二次型。二次型正定(负定),则静止点是极大点(极小点),否则就不确定。
上面的极值假定变量可以在一个领域内变化,但实际问题中往往还有限制条件。比如已知,求的极值,这样的问题被称为条件极值。其实如果在局部,则根据可以得到关于的隐函数,将它们带入即将问题转化为无条件极值问题。
但很多时候,这样的隐函数无法直接写出,或者结果会破坏原本的对称性,从而使计算变得复杂。我们已经有了个方程,现在需要再找个“好”的方程。我们仍然以为自变量考虑问题,由的极值首先有,注意其中为函数。如果能使等式中只有自变量的微分,则微分系数都为,这就得到了另外的个方程。
可以同样对求微分,由于,则可以选择参数,使得中的系数为。这时的系数必定是零,它们就是要找的个方程。
现在来总结一下需要解的方程,为方便讨论,把也看作是未知数,并记为式(14)左。原先的个方程其实就是,求的方程其实是,而最后的个方程便是。这个方法称为拉格朗日乘数法,式(14)更便于记忆。但还要注意,我们求得的只是“静止点”,还需根据实际情况确定是否是极值。
2. 积分的应用
2.1 一元函数的积分
2.1.1 平面面积,体积
之前我们把定积分作为面积的一种定义,现在来看看这个定义的合理性,以及定积分更广泛的应用。首先我们来给出平面图形面积的一个直观定义,对于多边形,它们总可以分割为若干个三角形。对于一般平面图形,我们总可以构造两个多边形,把围住而被围住,显然的面积不小于的面积。所有满足条件的的面积有上确界,所有满足条件的的面积有下确界,当时称可求积,且称为的面积。
对于任意图形,容易证明它可求积的充要条件是,存在多边形序列,它们的面积极限相同。这个条件真好适合定积分的定义,所以对于可积函数,用定积分定义面积是合理的。对于复杂的图形(定义域为),记截得的线段长为(连续),则图形面积为式(15)左。若是的参数方程,且连续,则还可用式(15)右边计算。
以上定义面积方法其实可以推广开来,如果要求的量在上连续,将它分成若干部分,每一部分使用某个可积分的近似值代替。然后证明误差部分趋于,这样所求量就等于定积分。对于每个具体的问题,证明误差部分趋于零是必须的,有时候也是困难的,对的论证非常必要。但下面的结论,我只打算给出粗略的描述,具体证明请参考教材。
有些图形用极坐标描述更方便,对定义在上的扇形,可以证明其面积为式(16)。类似地,可以用多面体来的近似来定义体积,使用多个棱柱计算更方便。若立体定义在上,且处的截面面积为,则可以证明其体积为。
2.1.2 长度、旋转面、曲线质量
现在讨论平面里的一条曲线段,它由参数方程给出。在线上取若干个点,用线段按顺序连接它们,然后用这些线段的长度之和的极限定义的长度。若曲线段自身不相交且不封闭,可以证明它的长度为式(17)。当曲线首尾相连时,可以拆成两段计算,容易证明这种情况公式仍然成立。如果把看成的函数,且连续,从而存在。就可以看做的函数,由知公式(18)成立。
对于一般曲面的面积,在后面会给出一般方法,这里只讨论一类特殊曲面的面积。对于定义在上的曲线,将它绕轴旋转一周,曲线的路径形成旋转面。可以用曲线上的分段线段的旋转面(圆台侧面)作为旋转面面积,已经知道每个线段旋转面的面积是(为线段长),从而可以证明旋转面面积为(为曲线长度),整理即得式(19)成立。
更一般地,曲线每一点的密度为(也可能是其它意义),那么曲线的质量是多少呢?同样的方法,将曲线分割为若干小段,用所有段的质量和的极限作为重量的定义。这样极限也被称为第一型曲线积分,记作。类似长度的分析,可以用关于参数方程表示,并将第一型曲线积分转化为一元积分(式(20))。
2.2 多元函数的积分
2.2.1 平面面积、体积
重积分本身就是对面积(体积)的积分,因此将积分函数设为便可求平面面积和体积(式(21)),然后可以通过累次积分或换元法求得重积分。
2.2.2 曲面面积、曲面质量
现在来看一般空间曲面的面积,先介绍一个基本结论:设平面之间的夹角为,则容易证明上任何图形在上的垂直投影的面积是原图形的。为了定义曲面面积,我们将曲面分割为多个小区域,每个区域在平面上的垂直投影是。对于每个区域,可以用它上面的任一点的法平面被投影分割的部分来近似,为此还要假设有连续偏导数。
设的面积分别为,由于的法向量为,故的夹角满足式(22)左。所以曲面的近似面积如式(22)右所示,它其实就是上的一个积分和,因此曲面面积为式(23)的重积分。如果由参数给出,重新计算便得式(24)的重积分。
类似于第一型曲线积分,如果曲面上的密度为(或其它意义),则曲面质量被称作第一型曲面积分。该积分记作,上面的曲面面积其实就是。可以将微分展开,从而将第一型曲面积分转化为二重积分(比如式(25),也可以写成关于参变量的重积分)。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· 10年+ .NET Coder 心语 ── 封装的思维:从隐藏、稳定开始理解其本质意义
· 地球OL攻略 —— 某应届生求职总结
· 提示词工程——AI应用必不可少的技术
· Open-Sora 2.0 重磅开源!
· 周边上新:园子的第一款马克杯温暖上架