在微积分和数学分析中,驻点是一个极其重要的概念,它为我们理解函数的局部行为提供了关键线索。简单来说,驻点就是函数图像上“停止”上升或下降的点,也就是变化率为零的点。但这只是一个初步的认识,驻点背后的细节和寻找方法才是其核心价值所在。

什么是驻点?

驻点 (Stationary Point) 是指函数在其定义域内的某个点,在该点处函数的一阶导数(或梯度)等于零。

  • 对于单变量函数 f(x):

    一个点 x₀ 如果满足 f'(x₀) = 0,那么 x₀ 就称为函数 f(x) 的一个驻点。

    从几何上看,这意味着在点 (x₀, f(x₀)) 处,函数的切线是水平的(斜率为零)。函数图像在这一点既不向上倾斜也不向下倾斜。

  • 对于多变量函数 f(x₁, x₂, ..., xₙ):

    一个点 (x₀₁, x₀₂, ..., x₀ₙ) 如果满足其在该点的梯度向量为零向量,即所有的偏导数都等于零:

    ∂f/∂x₁ |(x₀₁, …, x₀ₙ) = 0
    ∂f/∂x₂ |(x₀₁, …, x₀ₙ) = 0

    ∂f/∂xₙ |(x₀₁, …, x₀ₙ) = 0

    那么 (x₀₁, x₀₂, ..., x₀ₙ) 就称为函数 f 的一个驻点。

    对于二维函数 f(x, y),这意味着在该点 (x₀, y₀, f(x₀, y₀)) 处,函数的切平面是水平的。

需要注意的是,驻点是可导函数特有的概念。如果函数在某点不可导,即使该点可能是极值点(例如 f(x) = |x|x=0 处),它也不是驻点,而是被称为临界点(或称奇异点)。驻点是临界点的一种特殊情况。

为什么驻点很重要?

驻点之所以重要,是因为它们是函数局部极值点(局部最大值或局部最小值)和鞍点候选点

  • 局部极值点: 如果一个函数在某点取到局部最大值或局部最小值,并且在该点可导,那么该点一定是驻点。

    想象一个山峰(局部最大值)或山谷(局部最小值)的顶点,在这些点,如果你沿着任何水平方向移动,都不会立即向上或向下,这对应于在该点切线是水平的。

  • 鞍点: 驻点不一定是极值点。对于多变量函数,驻点还可能是鞍点。鞍点就像马鞍的中心,在一个方向上看是局部最大值,而在另一个方向上看是局部最小值。在鞍点处,切平面也是水平的。

因此,在寻找函数的局部最大值、局部最小值或鞍点时,第一步通常就是找到所有的驻点。然后,我们再利用二阶导数检验(如单变量的二阶导数检验或多变量的海森矩阵检验)来判断每个驻点是局部最大值点、局部最小值点还是鞍点。

驻点在哪里?

驻点存在于函数的定义域内,只要函数在该点可导且其一阶导数(或梯度)为零。它们通常出现在函数的图像上那些“平缓”的地方:

  • 曲线的波峰、波谷。
  • 曲线的某些拐点(例如 f(x) = x³x=0 处,虽然是驻点,但不是极值点,是鞍点的一种退化形式)。
  • 多维曲面的“山顶”、“山谷”底部或“马鞍”的中心。

驻点的位置取决于函数的具体形式。不同的函数可以有不同数量的驻点,甚至没有驻点(例如 f(x) = eˣ 的导数恒不为零)。

如何寻找驻点?

寻找驻点的过程是基于其定义:计算一阶导数(或偏导数),然后将它们设为零并求解。

寻找单变量函数 f(x) 的驻点:

  1. 计算一阶导数 f'(x): 对给定的函数 f(x) 关于 x 求导。

  2. 设置导数等于零:f'(x) = 0

  3. 解方程: 求解方程 f'(x) = 0 得到所有满足条件的 x 值。这些 x 值就是驻点的横坐标。

  4. 找到对应的纵坐标: 将求得的每一个 x 值代回原函数 f(x),计算出对应的 yf(x)。由此得到驻点的坐标 (x, f(x))

示例:寻找函数 f(x) = x³ - 6x² + 5 的驻点

1. 计算导数:f'(x) = 3x² - 12x

2. 设置导数等于零:3x² - 12x = 0

3. 解方程:
3x(x - 4) = 0
因此,x = 0x = 4

4. 计算纵坐标:
x = 0 时,f(0) = 0³ - 6(0)² + 5 = 5。驻点是 (0, 5)
x = 4 时,f(4) = 4³ - 6(4)² + 5 = 64 - 6(16) + 5 = 64 - 96 + 5 = -27。驻点是 (4, -27)

所以,函数 f(x) = x³ - 6x² + 5 有两个驻点:(0, 5)(4, -27)

寻找多变量函数 f(x, y) 的驻点:

  1. 计算所有一阶偏导数: 对函数 f(x, y) 分别关于 xy 求偏导,得到 ∂f/∂x∂f/∂y

  2. 设置所有偏导数等于零: 构建一个方程组:

    ∂f/∂x = 0
    ∂f/∂y = 0

  3. 解方程组: 求解这个由偏导数等于零组成的方程组,找到所有满足这两个方程的 (x, y) 对。这些 (x, y) 对就是驻点的横纵坐标。

  4. 找到对应的函数值 (可选但常用): 将求得的每一个 (x, y) 对代回原函数 f(x, y),计算出对应的 zf(x, y)。由此得到驻点的坐标 (x, y, f(x, y))

示例:寻找函数 f(x, y) = x² + y² - 4x + 2y 的驻点

1. 计算偏导数:
∂f/∂x = ∂/∂x (x² + y² - 4x + 2y) = 2x - 4
∂f/∂y = ∂/∂y (x² + y² - 4x + 2y) = 2y + 2

2. 设置偏导数等于零:
2x - 4 = 0
2y + 2 = 0

3. 解方程组:
从第一个方程 2x - 4 = 0,解得 2x = 4,即 x = 2
从第二个方程 2y + 2 = 0,解得 2y = -2,即 y = -1

4. 计算函数值:
x = 2, y = -1 代入原函数:
f(2, -1) = (2)² + (-1)² - 4(2) + 2(-1) = 4 + 1 - 8 - 2 = -5

所以,函数 f(x, y) = x² + y² - 4x + 2y 有一个驻点:(2, -1, -5)

一个函数有多少个驻点?

一个函数可以有零个、一个、有限多个,甚至无限多个驻点。

  • 零个驻点: 例如 f(x) = x³ + x,其导数 f'(x) = 3x² + 1 恒大于 0,所以没有驻点。例如 f(x, y) = eˣ + eʸ,其偏导数 ∂f/∂x = eˣ∂f/∂y = eʸ 恒不为 0,所以没有驻点。

  • 一个驻点: 例如 f(x) = x²,其导数 f'(x) = 2x,令 2x = 0 得到 x = 0,只有一个驻点 (0, 0)。 例如 f(x, y) = x² + y²,其偏导数 ∂f/∂x = 2x, ∂f/∂y = 2y,方程组 2x=0, 2y=0 只有一个解 (0, 0),所以只有一个驻点 (0, 0, 0)

  • 有限多个驻点: 例如多项式函数通常有有限个驻点,其个数取决于多项式的次数。上面的例子 f(x) = x³ - 6x² + 5 有两个驻点。

  • 无限多个驻点: 例如 f(x) = sin(x),其导数 f'(x) = cos(x)。令 cos(x) = 0 的解是 x = π/2 + nπ (其中 n 是整数),有无限多个驻点。例如 f(x, y) = sin(x),其偏导数 ∂f/∂x = cos(x), ∂f/∂y = 0。方程组 cos(x)=0, 0=0 的解是 x = π/2 + nπy 可以是任意实数,这表示有一条无限长的直线上的所有点都是驻点。

因此,驻点的数量并非固定,完全取决于函数的具体形式和其导数方程的解集。

总结

驻点是函数图像上导数或梯度为零的点,它们是寻找局部极值和鞍点的基础。通过计算函数的一阶导数(对于多变量函数是所有偏导数),并将它们设为零来建立方程(组),然后求解这些方程,就可以找到函数的驻点。驻点的数量因函数而异,可能没有、有一个、有限多个或无限多个。

理解并能熟练地寻找驻点,是深入分析函数性质、解决最优化问题以及理解微积分应用的关键一步。

什么是驻点