测试文章

1703 字
9 分钟
测试文章

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

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

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

通俗理解#

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

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

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

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

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

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

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

近似公式为

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

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

n+1n+1 是奇数时,(xx)n+1(x-x^*)^{n+1} 是一个奇函数,这意味着: 如果 x>xx>x^* ,即 xxxx^* 右侧,则 (xx)n+1>0(x-x^*)^{n+1}>0 ; 如果 x<xx<x^* ,即 xxxx^* 左侧,则 (xx)n+1<0(x-x^*)^{n+1}<0

结合导数符号,假设 f(n+1)(x)>0f^{(n+1)}(x^*)>0 (负数的情况类似): 在右侧(x>xx>x^*),f(x)+f(n+1)(x)(n+1)!(xx)n+1>0f(x^*)+\frac{f^{(n+1)}(x^*)}{(n+1)!}(x-x^*)^{n+1}>0 ,所以 f(x)>f(x)f(x)>f(x^*) ; 在左侧(x<xx<x^*),f(x)+f(n+1)(x)(n+1)!(xx)n+1<0f(x^*)+\frac{f^{(n+1)}(x^*)}{(n+1)!}(x-x^*)^{n+1}<0 ,所以 f(x)<f(x)f(x)<f(x^*)

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

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

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

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

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

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

高阶导数的意义#

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

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

什么是一阶导数#

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

  • f(x)>0f'(x)>0 :你在向前开,即位置 f(x)f(x) 在增加;
  • f(x)<0f'(x)<0 :你在向后开,即位置 f(x)f(x) 在减少;
  • f(x)=0f'(x)=0 :你瞬间停止,车停了。

f(x)f'(x) 越大,你在时间 xx 时的速度就越大;反之就越小。

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

什么是高阶导数#

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

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

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

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

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

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

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


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

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

文章分享

如果这篇文章对你有帮助,欢迎分享给更多人!

测试文章
https://hac.he.cn/posts/test/theorem-11/
作者
HAC
发布于
2025-01-01
许可协议
CC BY-NC-SA 4.0
随机文章 随机推荐

评论区

Profile Image of the Author
HAC
观之非易,行且克难
Greetings
欢迎来到我的博客!这里主要分享我的学习笔记与兴趣爱好。
音乐
封面

音乐

暂未播放

0:00 0:00
暂无歌词
分类
标签
站点统计
文章
2
分类
1
标签
1
总字数
1,887
运行时长
0
最后活动
0 天前

文章目录