微分学＜3＞——高阶导数

高阶导数

高阶导数的概念

定义3.1 高阶导数

若$y=f\left(x\right)$的前$n-1$阶导函数均存在,且第$n-1$阶导函数可导,则将$f\left(x\right)$的第$n-1$阶导函数的求导产物称为$f\left(x\right)$的$n$阶导函数,记作${\left[f^{\left(n-1\right)}\left(x\right)\right]}^{\prime }=f^{\left(n\right)}\left(x\right)$或$\frac{d^{n}y}{{\left(dx\right)}^n}=\frac{d^{n}y}{d{x}^n}$,$\frac{d^{n}f}{{\left(dx\right)}^n}=\frac{d^{n}f}{d{x}^n}$,在工程问题中,一阶导数$f^{\prime }\left(x\right)$又通常记为$\dot{x}$,二阶导数$f^{\prime \prime }\left(x\right)$又通常记为$\ddot{x}$。
定义$f^{\left(0\right)}\left(x\right)=f\left(x\right)$。

高阶导数的运算法则

定理3.1

若$f\left(x\right)$,$g\left(x\right)$均可导,则${\left[\alpha f\left(x\right)+\beta g\left(x\right)\right]}^{\left(n\right)}=\alpha f^{\left(n\right)}\left(x\right)+\beta g^{\left(n\right)}\left(x\right)$。

定理3.2 Lebniz公式

若$f\left(x\right)$,$g\left(x\right)$均可导,则${\left(f\left(x\right)\cdot g\left(x\right)\right)}^{\left(n\right)}={\sum }_{k=0}^n\left(C_n^k{f}^{\left(n-k\right)}{g}^{\left(k\right)}\right)$。

第1类数学归纳法,对求导阶数$n$进行归纳。
$n=1$时,${\left(f\left(x\right)\cdot g\left(x\right)\right)}^{\prime }=C_1^1{f}^{\prime }\left(x\right)\cdot g\left(x\right)+C_1^0{g}^{\prime }\left(x\right)\cdot f\left(x\right)$,满足归纳假设。
设前$n$阶导数中归纳假设均成立,对$n+1$阶进行讨论,
$$\begin{array}{lc}& {\left(f\left(x\right)g\left(x\right)\right)}^{\left(n+1\right)}\\ =& {\left[{\left(f\left(x\right)g\left(x\right)\right)}^{\left(n\right)}\right]}^{\prime }\\ =& {\left[{\sum }_{k=0}^n\left(C_k^n{f}^{\left(n-k\right)}{g}^{\left(k\right)}\right)\right]}^{\prime }\\ =& {\sum }_{k=0}^n\left(C_n^k{f}^{\left(n-k+1\right)}{g}^{\left(k\right)}\right)+{\sum }_{k=0}^n\left(C_n^k{f}^{\left(n-k\right)}{g}^{\left(k+1\right)}\right)\\ =& C_n^0{f}^{\left(n+1\right)}\left(x\right)g^{\left(0\right)}\left(x\right)+{\sum }_{k=1}^n\left[C_n^k{f}^{\left(\left(n+1\right)-k\right)}\left(x\right)g^{\left(k\right)}\left(x\right)\right]+{\sum }_{k=1}^n\left[C_n^{k-1}{f}^{\left(\left(n+1\right)-k\right)}\left(x\right)g^{\left(k\right)}\left(x\right)\right]+C_n^n{f}^{\left(0\right)}\left(x\right)g^{\left(n+1\right)}\left(x\right)\end{array}$$
根据组合数公式$C_{n+1}^k=C_n^{k-1}+C_n^k$,上述多项式可以合并为${\sum }_{k=0}^{n+1}\left(C_{n+1}^k{f}^{\left(\left(n+1\right)-k\right)}{g}^{\left(k\right)}\right)$,与Lebniz公式一致。

高阶微分

定义3.2 高阶微分

若$y=f\left(x\right)$的前$n-1$阶微分均存在,且第$n-1$阶微分可微,则将$f\left(x\right)$的第$n-1$阶微分的微分产物称为$f\left(x\right)$的$n$阶微分,一阶微分与一阶导数在一元函数中存在形式不变性,高阶微分一般不符合形式不变性。