Skip to content

导数与微分

导数概念

引例

的邻域内,为切线所成夹角。

导数的本质是增量比的极限。

定义

定义在区间上,让自变量在处加一个增量,其中,则可得函数的增量。若函数增量与自变量增量的比值在时的极限存在,则称函数处可导,并称这个极限为在点处的导数,记作,即

下面三句话等价:

  1. 处可导。
  2. 处导数存在。
  3. 。(为有限数)

单侧导数分为左导数和右导数。

所以处可导的充要条件是其左导数和右导数存在且相等。

的左右,如的左右出现了单侧的不同的切线,那这个就是一个角点,该角点处不可导。

处导数为无穷,如处利用导数的极限定义计算得到为正无穷,那么该点的导数为无穷导数,通常被认为是不存在的。

💻 计算机专业视角

导数 = 自动微分(autodiff)要算的那个东西。 PyTorch / TensorFlow 里一句 loss.backward() 求的就是各参数的导数 ,整套模型训练全靠它。定义式 直接对应数值微分里的前向差分 (f(x+h)-f(x))/h:取一个很小的 来近似导数。但 取太大不准、取太小又被浮点舍入吞掉,所以实践中宁可用自动微分(精确)或中心差分 (f(x+h)-f(x-h))/(2h)(误差更小)。「左导数 右导数才可导」也对应工程直觉:分段定义的函数要在接缝处左右斜率一致才算光滑。

🌱 大一新生提示

一句话:导数就是「这一瞬间变化有多快」,几何上是切线的斜率。 想成自变量走了一小步, 是对应的变化量,二者之比是「平均变化率」;让这一步无限缩短(),平均变化率就变成「瞬时变化率」,这就是导数。要可导,必须从左边逼近从右边逼近得到同一个斜率——像 处左斜率 、右斜率 对不上,那个尖角(角点)就不可导。

定理:为可导的偶函数,则为奇函数,若为可导的奇函数,则为偶函数。

该证明是准备部分的定理。

证明:首先已知,证明

同理得证

定理:为可导的周期为的周期函数,则也是以为周期的周期函数。

证明:已知,求证

例题:是二阶可导的以2为周期的奇函数,且,比较的大小。

解:为二阶奇函数,

例题:

解:

导数的几何意义

导数在几何上就是曲线在点处切线的斜率。

切线方程:

法线方程:

可导与连续的关系

定理:可导必连续,连续不一定可导。

证明:已知连续定义:,即

可导定义:

定理:处连续,且,则

证明:

连续,可以推出

💻 计算机专业视角

「可导 ⇒ 连续,连续 ⇏ 可导」正是 ReLU 能用、阶跃函数不能用的根本原因。 深度学习最常用的激活函数 处处连续,但在 处是个角点——左导数 、右导数 ,并不可导。工程上的对策是「次梯度」:在 处随便取 里一个值(框架一般取 )照常反向传播。真正没法救的是完全断开的函数:阶跃 / 取整函数不连续,更谈不上可导,梯度几乎处处为 ,模型学不动——这就是为什么神经元不用硬阈值、而改用连续激活函数。

🌱 大一新生提示

这是高频易错点,务必记牢方向:可导一定连续,连续不一定可导。 「可导」比「连续」要求更高——可导意味着「既不断开、又足够光滑(有唯一切线)」。所以一个函数只要在某点不连续(断开 / 跳跃),就立刻不可导;但反过来不成立: 处连续(图像没断),却因为有个尖角而不可导。做题判断时先看连不连续,再看光不光滑。

函数求导法则

四则运算

若函数可导:

  1. 和差的导数:
  2. 积的导数:
  3. 商的导数:

证明

证明:令

反函数导数

定理:可导,且

则存在反函数,且,即

可导,且就是指严格单调,而严格单调必有反函数。

例题:的导数。

解:首先反三角函数就是三角函数的反函数。

,即

,就

二阶反函数导数定理:

其中称为微分的幂,而叫幂的微分。

例题:的反函数是,且,求

解:

其中根据变限积分求导公式:

复合函数的导数

定理:可导,处可导,则

💻 计算机专业视角

链式法则 = 反向传播(backpropagation)的数学内核。 神经网络就是一长串复合函数 ,要求某层参数的梯度,就得把各层导数连乘起来——这正是 的逐层推广。反向传播之所以「反向」,是因为按链式法则从输出端的 往输入端逐项乘 Jacobian 最省计算。连乘也解释了两大顽疾:每项都小于 连乘就梯度消失,每项都大于 连乘就梯度爆炸;残差连接、归一化、LSTM 门控本质都是在驯服这条连乘链。

🌱 大一新生提示

链式法则口诀:「由外向里,一层层剥,导数连乘」。 复合函数像套娃 是里层、 是外层。求导时先对外层求导(把里层当成一个整体不动),再乘以里层的导数,即 。比如 ——先 (外层),再乘 的导数 (里层)。套了几层就连乘几个导数,千万别漏掉最里面那一项。

例题:,则为?

解:原式=

根据导数的四则运算,需要导数的乘积为每一项求导乘以其他不求导项的和,而时为0,只要它不求导,其他的项都必然是0,所以原式的后面的结果都是0。

分段函数的导数

在分段点用定义:

判断。如果相等就挖去这个点,否则就包含这个点。

非分段点使用导数公式求导:当 ,当

对数求导法

对于多项相乘、相除、开方、乘方的式子,一般先取对数再求导,设,则①等式两边取对数:。②两边对自变量求导,得

💻 计算机专业视角

先取对数再求导,就是机器学习里无处不在的「对数导数技巧」(log-derivative trick)。 强化学习的策略梯度 REINFORCE 用到恒等式 ,把对概率求梯度转成对「对数概率」求梯度;最大似然估计 (MLE) 也总是优化对数似然 而不是 。原因和这里完全一样:连乘 取对数后变成连加 ,求导从麻烦的「积的导数」退化成「各项导数相加」,又快又稳,还顺手避免了大量小概率连乘导致的浮点下溢。

🌱 大一新生提示

遇到「一大堆东西连乘、连除、开方、乘方」的求导,先取对数能把难度砍一半。 因为 能把乘除变加减、把指数搬下来:。两边取对数后再对 求导,左边按链式法则得到 ,右边变成一堆简单分式相加,最后把 乘回去即可。注意取的是 (带绝对值),这样不要求 也能放心用。

例题:的导数。

解:取对数:

两边对x求导:

幂指函数求导法

非常重要。

对于,除了对数求导法外还可以使用指数函数

然后求导得到

例题:的导数。

解:

例题:求解的整数最大值。

解:

令导数结果为0,因为时都不为0,所以只有一个驻点

大于0,所以导数大于0,函数在该区间增。相反时函数在区间减。

研究驻点左侧情况,求对应的极限:

研究驻点右侧情况,求对应的极限:

所以必然在两点取得整数最大值,而全部六次方后,所以为最大整数解。

高阶导数

定义

高阶导数定义:,其中的某邻域内有定义,也在该邻域内。

在区间上连续,称阶连续可导。

定理:

都是阶可导,则:

  • 莱布尼兹公式:
💻 计算机专业视角

高阶导数 = 泰勒展开和二阶优化的原料。 把函数在一点的各阶导数凑起来就是泰勒级数,计算机算 全靠它。优化里更直接:只用一阶导(梯度)是梯度下降,用上二阶导(Hessian 矩阵,即多元版的「二阶导数」)就是牛顿法,收敛快得多,代价是要算并求逆 Hessian。数值上二阶导可用差分 近似——这正是物理引擎、有限差分法解微分方程时离散化加速度 / 扩散项的标准套路。

🌱 大一新生提示

高阶导数就是「导数的导数的导数……」,一层套一层地反复求。 一阶导 描述变化快慢,二阶导 描述「变化快慢本身又在怎么变」——物理上位移的一阶导是速度、二阶导是加速度,就是这个意思。求法有两条路:①归纳法,连续求几次找规律(如 );②两个函数乘积的 阶导用莱布尼茨公式,它的系数恰好是杨辉三角对应的那一行。

归纳法

即依次求导得出规律。

,如,则得到

例题:阶导数。

解:而不断求导会发现正负号会++--++--地变化而难以归纳为公式,所以需要另想办法。

使用诱导公式:

莱布尼茨公式

定义:阶可导,则

展开:

莱布尼兹公式里的系数与准备章节的因式分解公式的二次项公式的系数一致,可以使用杨辉三角形来记忆:

例题:已知函数,求

解:根据莱布尼兹公式:

隐函数与参数方程的导数以及相关变化率

隐函数求导法

设函数由方程确定的可导函数,则①方程两边对自变量求导,(就是将看作中间变量)得到一个关于的方程。②解该方程就可以得出

💻 计算机专业视角

隐函数求导对应「隐函数定理」,是深度学习里隐式层(implicit layers)反向传播的基础。 没法显式解成 、只满足方程 时,照样能对方程两边求导解出 。这套思想撑起了一类新模型:深度平衡模型 (DEQ)、Neural ODE 的不动点 / 平衡点 没有闭式解,却能借隐函数定理直接对「解」求梯度做反向传播,省去存储整个迭代过程的显存。优化里的灵敏度分析、对最优性条件 求参数导数,也是同一招。

🌱 大一新生提示

隐函数求导的关键心法:把 始终看成「 的函数」。 方程里只要出现 ,对 求导时就要把它当复合函数、额外乘一个 (这其实就是链式法则)。比如对 求导得 ,对 求导得 。两边求完导后会得到一个含 的方程,像解普通方程一样把 解出来即可。要在某点求具体值时,记得把该点的 一起代进去。

例题:是由方程确定的隐函数,求

解:两边求导:

参数方程函数导数

定理:设函数由参数方程确定,其中为参数,且对于都可导,,则:

一阶导数:

二阶导数:

例题:由方程为参数)确定,求

解:求参数方程的二阶导数首先就要求出其一阶导数:

当所求是极坐标方程时,可以使用进行转换为参数方程然后进行求导。

相关变化率

已知都是可导函数,而变量之间存在一定的关系,从而导致变化率之间也存在一定关系,这就是相关变化率。。

列出依赖于的相关变化率关系式,然后等式两端对求导。

💻 计算机专业视角

相关变化率 = 对时间用链式法则,是物理仿真和动画的每帧更新逻辑。 两个量通过几何 / 物理关系绑在一起,对时间 求导就把它们的变化速度联系起来。游戏引擎、物理模拟每一帧都在做这件事:由约束方程对时间求导得到速度 / 角速度关系,再积分推进状态。机器学习里训练动态系统(RNN 沿时间展开、Neural ODE 沿 积分)的「随时间反向传播 (BPTT)」,本质也是这条「对 的链式法则」。

🌱 大一新生提示

相关变化率题型套路:先写出量与量之间的等式,再「整体对时间 求导」。 经典例子:往气球里打气,半径在变、体积也在变,二者由 绑定;两边对 求导得 ,知道其中一个变化率就能求另一个。要点是每个变量都是时间的函数,求导时别忘了乘上它对 的导数(又是链式法则)。

函数微分

定义

有一个边长为的正方形,变化了,其面积

时,将这个变化定义为,前项为线性主部,后面为误差。这个就是的微分。

增量,这个定义为,叫做的微分。

由此,可导必可微,可微必可导。

所以可微就是用简单线性取代复杂线性,如图用直线取替代曲线。微分就是瞬时改变量,而导数就是瞬时改变速率。

💻 计算机专业视角

微分 = 局部线性近似(linear approximation),是几乎所有数值算法的第一步。 说的是:在一点附近用切线(直线)代替曲线,误差是高阶无穷小 。这就是「线性化」:牛顿法用它把非线性方程一步步逼成线性方程求根;扩展卡尔曼滤波 (EKF) 用它线性化非线性系统;反向传播本身也是把每层局部线性化后再传梯度。连浮点误差分析都靠它——用 估计输入的微小扰动被放大多少(即条件数)。记住「用直线近似曲线」这一句,半部数值计算都通了。

🌱 大一新生提示

微分和导数是一对好搭档:导数是「变化率」,微分是「按这个变化率,自变量动一点点 ,函数大约动多少 」。 公式 的本质,是「用切线那条直线代替弯曲的曲线」去估算变化量——只要 够小,直线和曲线几乎贴合,误差小到可以忽略。这也是「可导 可微」的直观含义:能求斜率,就能用直线做近似。近似计算如 用的就是它。

基本运算

四则运算

若函数可导:

  1. 和差的微分:
  2. 积的微分:
  3. 商的微分:
  4. 复合函数的微分:链式求导法则

微分形式不变性

定义:可微,可微,则可微,且。即对哪个变量求导都是一样的,即

一阶微分形式不变性指:,无论是什么(类似导数的链式求导法则)。

例题:,求

解:

基本求导公式

对幂指函数

原函数导函数原函数导函数

三角与反三角函数

原函数导函数原函数导函数

双曲与反双曲函数

  • 双曲正弦:
  • 双曲余弦:
  • 双曲正切:
  • 双曲余切:
  • 双曲正割:
  • 双曲余割:
  • 反双曲正弦:
  • 反双曲余弦:
  • 反双曲正切:
原函数导函数原函数导函数