我的第一篇文章

Wed, 01 Jan 2025 00:00:00 GMT

我的第一篇文章#

在这里开始写正文。

测试文章

Wed, 01 Jan 2025 00:00:00 GMT

该定理指出了极值点和不同阶导数之间的关系。

If f(k)(x∗)=0f^{(k)}(x^*)=0f(k)(x∗)=0 for k=1,2,...,nk=1,2,...,nk=1,2,...,n, f(n+1)(x∗)≠0f^{(n+1)}(x^*)\neq 0f(n+1)(x∗)=0, and f(n+1)(x)f^{(n+1)}(x)f(n+1)(x) is continuous in a neighborhood of x∗x^*x∗, then x∗x^*x∗ is a local extremum iffn+1iff\enspace n+1iffn+1 is even.

Furthermore, for even n+1n+1n+1, if f(n+1)(x∗)>0f^{(n+1)}(x^*)>0f(n+1)(x∗)>0, then x∗x^*x∗ is a local minimum; if f(n+1)(x∗)<0f^{(n+1)}(x^*)<0f(n+1)(x∗)<0, then x∗x^*x∗ is a local maximum.

通俗理解#

该定理处理的是这样一种特殊情况：你找到了一个临界点 x∗x^*x∗ ，即一阶导数 f′(x∗)=0f'(x^*)=0f′(x∗)=0 ，但当你用传统的二阶导数测试时，发现二阶导数竟然也是零，即 f′′(x∗)=0f''(x^*)=0f′′(x∗)=0 。

这时你该怎么办？这个定理告诉你，不要放弃，继续求更高阶的导数，直到找到一个不为零的导数。这个第一个不为零的导数的阶数 (n+1n+1n+1) 和它的正负号，将共同决定这个临界点的性质。

想象我们正开车沿着一条奇怪的函数曲线道路行驶：

f′(x∗)=0f'(x^*)=0f′(x∗)=0 ：你在 x∗x^*x∗ 这个点停下了车，这是一个潜在的山顶或山谷底。
f′′(x∗)=0f''(x^*)=0f′′(x∗)=0 ：你本想看看车头的朝向（二阶导数）来判断是山顶还是谷底。但发现车头既没有朝上也没有朝下，它正好是水平的！传统的二阶导数测试法失效了。
f′′′(x∗)=0,...,fn(x∗)=0f'''(x^*)=0,...,f^n(x^*)=0f′′′(x∗)=0,...,fn(x∗)=0 ：你继续检查更高阶的“姿态”。三阶、四阶…直到第 nnn 阶导数都显示车是“水平”的。
fn+1(x∗)≠0f^{n+1}(x^*)\neq 0fn+1(x∗)=0 ：终于，在第 n+1n+1n+1 阶导数，你发现了一个明确的信号！车终于不再是“水平”状态了，它有了一个明确的“倾斜”趋势。

现在来到了问题的关键，n+1n+1n+1 是奇数还是偶数？

如果是奇数，这意味着车的“倾斜”趋势是单方向，也就是说，你停车的点只是一个拐点，并不是极值点。
如果是偶数，这意味着车的“倾斜”趋势是对称的，说明你确实停在一个极值点上了。

如何理解单方向和对称？

核心是泰勒展开，我们知道，函数 f(x)f(x)f(x) 在点 x∗x^*x∗ 附近的行为可以用一个多项式来近似。根据定理，前 nnn 阶导数都为零，所以函数在 x∗x^*x∗ 附近的变化主要由第一个非零导数——即第 n+1n+1n+1 阶导数来决定。

近似公式为

f(x)≈f(x∗)+f(n+1)(x∗)(n+1)!(x−x∗)n+1f(x)\approx f(x^*)+\frac{f^{(n+1)}(x^*)}{(n+1)!}(x-x^*)^{n+1}f(x)≈f(x∗)+(n+1)!f(n+1)(x∗)(x−x∗)n+1

这里，(x−x∗)n+1(x-x^*)^{n+1}(x−x∗)n+1 的奇偶性决定了函数在 x∗x^*x∗ 左右两侧的行为。

当 n+1n+1n+1 是奇数时，(x−x∗)n+1(x-x^*)^{n+1}(x−x∗)n+1 是一个奇函数，这意味着：如果 x>x∗x>x^*x>x∗ ，即 xxx 在 x∗x^*x∗ 右侧，则 (x−x∗)n+1>0(x-x^*)^{n+1}>0(x−x∗)n+1>0 ；如果 x<x∗x<x^*x<x∗ ，即 xxx 在 x∗x^*x∗ 左侧，则 (x−x∗)n+1<0(x-x^*)^{n+1}<0(x−x∗)n+1<0 ；

结合导数符号，假设 f(n+1)(x∗)>0f^{(n+1)}(x^*)>0f(n+1)(x∗)>0 （负数的情况类似）：在右侧（x>x∗x>x^*x>x∗），f(x∗)+f(n+1)(x∗)(n+1)!(x−x∗)n+1>0f(x^*)+\frac{f^{(n+1)}(x^*)}{(n+1)!}(x-x^*)^{n+1}>0f(x∗)+(n+1)!f(n+1)(x∗)(x−x∗)n+1>0 ，所以 f(x)>f(x∗)f(x)>f(x^*)f(x)>f(x∗) ；在左侧（x<x∗x<x^*x<x∗），f(x∗)+f(n+1)(x∗)(n+1)!(x−x∗)n+1<0f(x^*)+\frac{f^{(n+1)}(x^*)}{(n+1)!}(x-x^*)^{n+1}<0f(x∗)+(n+1)!f(n+1)(x∗)(x−x∗)n+1<0 ，所以 f(x)<f(x∗)f(x)<f(x^*)f(x)<f(x∗) ；

这意味着函数左右两侧的单调性相同，不是左右对称的，这就是单方向的含义。

同理，如果 n+1n+1n+1 是偶数，(x−x∗)n+1(x-x^*)^{n+1}(x−x∗)n+1 就是一个偶函数，函数两侧的单调性不同，这就是对称的含义。

那么是哪种极值点？这就由 fn+1(x∗)f^{n+1}(x^*)fn+1(x∗) 的正负号决定。

如果 fn+1(x∗)>0f^{n+1}(x^*)>0fn+1(x∗)>0 ，这意味着车头开始翘起，准备进入一个上坡路段，所以你现在就在谷底，因此 x∗x^*x∗ 是一个极小值点；如果 fn+1(x∗)<0f^{n+1}(x^*)<0fn+1(x∗)<0 ，这意味着车头开始低下，准备进入一个下坡路段，所以你现在就在山顶，因此 x∗x^*x∗ 是一个极大值点；

简而言之，上述定理可以概述为两句话：

前奇数阶导数均为零，某偶数阶导数不得零则是极值点。
前偶数阶导数均为零，某奇数阶导数不得零则是拐点。

高阶导数的意义#

高阶导数并不仅仅是数学符号，它们实际上分别描述了函数行为中一层又一层精妙的“变化的变化”。

我们继续用一个经典的比喻来贯穿始终：想象你正在开车，而函数 f(x)f(x)f(x) 描述的是你的车在时间 xxx 时行驶的距离。

什么是一阶导数#

一阶导数反映的是你的瞬时速度，它告诉你在某一时刻，你开得有多快（导数的大小），以及你的方向（正负号）。

f′(x)>0f'(x)>0f′(x)>0 ：你在向前开，即位置 f(x)f(x)f(x) 在增加；
f′(x)<0f'(x)<0f′(x)<0 ：你在向后开，即位置 f(x)f(x)f(x) 在减少；
f′(x)=0f'(x)=0f′(x)=0 ：你瞬间停止，车停了。

f′(x)f'(x)f′(x) 越大，你在时间 xxx 时的速度就越大；反之就越小。

总之，一阶导数回答的问题是：它正在变化吗？有多快？什么方向？

什么是高阶导数#

二阶导数就是一阶导数的导数，它直接告诉你速度是如何变化的，也就是所谓的加速度：

f′′(x)>0f''(x)>0f′′(x)>0 ：你正在踩油门，即速度 f′(x)f'(x)f′(x) 在增加；
f′′(x)<0f''(x)<0f′′(x)<0 ：你正在踩刹车，即速度 f′(x)f'(x)f′(x) 在减少；
f′′(x)=0f''(x)=0f′′(x)=0 ：速度 f′(x)f'(x)f′(x) 在这一瞬间没有变化，可能是匀速，也可能是速度变化的转折点。

而对于原函数，二阶导数揭示了函数的弯曲方向或凹凸性：

f′′(x)>0f''(x)>0f′′(x)>0 ：原函数是“凹下”的，像一个大碗的形状 ∪\cup∪ ，这意味着函数在该点的切线始终位于函数曲线下方。在开车比喻中，即使你在刹车（速度 f′(x)f'(x)f′(x) 在减），但如果加速度是正的（f′′(x)>0f''(x)>0f′′(x)>0），意味着你刹车的力度在变小，车即将重新加速；
f′′(x)<0f''(x)<0f′′(x)<0 ：原函数是“凸起”的，像一个小山的形状 ∩\cap∩ ，这意味着函数在该点的切线始终位于函数曲线上方。在开车比喻中，即使你在加速（速度 f′(x)f'(x)f′(x) 在增加），但如果加速度是负的（f′′(x)<0f''(x)<0f′′(x)<0），意味着你踩油门的力度在变小，车即将重新减速；

三阶及更高阶的导数则代表了更精细的描述：

对于三阶导数，它是二阶导数的导数，描述加速度是如何变化的；另一方面，从原函数的角度来说，三阶导数描述了函数凹凸性的变化率，它告诉你函数从凹下变为凸起（或反之）的过程是突然的还是渐进的。

而更高阶导数则描述了更复杂的弯曲。

最终，所有这些高阶导数的意义都凝聚在泰勒展开这个强大的工具中：

泰勒公式告诉我们，函数在一点附近的行为，可以由它在这一点各阶导数的信息完美地重构出来。第一个非零的高阶导数，就像泰勒级数中的“主导项”，决定了函数在无穷小邻域内的最主要形状。这就是 Theorem 1.1 成立的深层原因。