【多元函数的极值公式】在数学中,研究多元函数的极值问题是优化问题的重要组成部分。与一元函数相比,多元函数的极值不仅涉及函数的导数,还需要考虑偏导数、海森矩阵等复杂概念。本文将对多元函数极值的相关公式进行总结,并通过表格形式展示其关键内容。
一、多元函数极值的基本概念
对于一个二元或更多元的可微函数 $ f(x_1, x_2, \ldots, x_n) $,我们通常关注其局部极大值和局部极小值。这些极值点称为临界点(critical points),它们是函数梯度为零的点。
二、极值存在的条件
1. 必要条件(驻点)
设函数 $ f(x_1, x_2, \ldots, x_n) $ 在点 $ (x_0^1, x_0^2, \ldots, x_0^n) $ 处可微,则该点为极值点的必要条件是:
$$
\frac{\partial f}{\partial x_i}(x_0^1, x_0^2, \ldots, x_0^n) = 0 \quad (i=1,2,\ldots,n)
$$
即所有偏导数在该点为零。
2. 充分条件(海森矩阵)
若函数在某点处的二阶偏导数存在且连续,则可以通过海森矩阵(Hessian matrix)判断该点是否为极值点。
- 若海森矩阵正定,则该点为局部极小值点;
- 若海森矩阵负定,则该点为局部极大值点;
- 若海森矩阵不定(既有正特征值也有负特征值),则该点为鞍点。
三、极值计算公式汇总
| 项目 | 公式说明 | 说明 |
| 一阶偏导数 | $ \frac{\partial f}{\partial x_i} = 0 $ | 极值点的必要条件 |
| 二阶偏导数 | $ \frac{\partial^2 f}{\partial x_i \partial x_j} $ | 构建海森矩阵的元素 |
\frac{\partial^2 f}{\partial x_1^2} & \cdots & \frac{\partial^2 f}{\partial x_1 \partial x_n} \\
\vdots & \ddots & \vdots \\
\frac{\partial^2 f}{\partial x_n \partial x_1} & \cdots & \frac{\partial^2 f}{\partial x_n^2}
\end{bmatrix} $
| 正定性判断 | $ \text{det}(H_k) > 0 $ 且 $ \frac{\partial^2 f}{\partial x_1^2} > 0 $ | 对于二元函数,使用行列式和主对角线元素判断 |


