5.2.6 Extrema on Open Intervals (开区间求极值)

开区间或无界区间上极值问题的处理方法和特殊情况

定义

开区间或无界区间上的极值是指函数在这些区间内的最大值或最小值。与闭区间不同，开区间上的函数可能不存在极值，或者极值只能通过导数为零的临界点或端点行为来判断。

设函数 \(f(x)\) 在开区间 \((a,b)\) 上可导，若 \(x_0 \in (a,b)\) 是 \(f(x)\) 的极值点，则必有 \(f'(x_0) = 0\)（费马定理）。对于无界区间如 \((a, +\infty)\) 或 \((-\infty, b)\)，需要检查临界点处的导数符号变化，以及当 \(x \to a^+\) 或 \(x \to \pm\infty\) 时函数的行为。

关键区别： - 闭区间 \([a,b]\) 上的连续函数必存在最大值和最小值 - 开区间 \((a,b)\) 上的函数可能不存在最大值或最小值 - 无界区间上的函数需要检查无穷远处的极限行为

核心公式

• \(f'(x_0) = 0 \text{ 是 } x_0 \text{ 为极值点的必要条件（费马定理）}\)
• \(\text{第一导数测试：若 } f'(x) \text{ 在 } x_0 \text{ 处从正变负，则 } x_0 \text{ 为极大值点；从负变正，则为极小值点}\)
• \(f''(x_0) > 0 \Rightarrow x_0 \text{ 为极小值点；} f''(x_0) < 0 \Rightarrow x_0 \text{ 为极大值点（第二导数测试）}\)
• \(\lim_{x \to a^+} f(x) \text{ 和 } \lim_{x \to b^-} f(x) \text{ 决定开区间端点处的函数行为}\)
• \(\text{对于无界区间，需检查 } \lim_{x \to +\infty} f(x) \text{ 或 } \lim_{x \to -\infty} f(x) \text{ 来判断是否存在全局极值}\)

易错点

• ⚠️ 误认为开区间上的连续函数必存在最大值和最小值。实际上，开区间上的函数可能在端点处趋于无穷或某个值，导致不存在全局极值。例如 \(f(x) = x\) 在 \((0,1)\) 上无最大值和最小值
• ⚠️ 只检查导数为零的点，忽视了无界区间端点处的极限行为。在 \((a, +\infty)\) 上，必须同时分析临界点和 \(\lim_{x \to +\infty} f(x)\)
• ⚠️ 混淆极值点与极值。极值点是 \(x\) 的值，极值是 \(f(x)\) 的值。在开区间上，即使存在极值点，也可能不存在全局最大值或最小值
• ⚠️ 在使用第二导数测试时，若 \(f''(x_0) = 0\)，错误地认为 \(x_0\) 不是极值点。此时需要用第一导数测试或更高阶导数来判断