惯性指数

惯性指数（Inertia Index）是二次型矩阵的一个重要特性，在研究二次型或二次曲面时常被用来描述其性质。它由 正惯性指数 和 负惯性指数 构成，定义如下：

定义

一个实二次型 $f(x_1,\ldots,x_n)$ 由实对称矩阵 $A$ 表示，以下特征值均按代数重数计：

$$f(x_1, x_2, \dots, x_n) = x^T A x, \quad x = \begin{bmatrix} x_1 \\ x_2 \\ \vdots \\ x_n \end{bmatrix}.$$

惯性指数的定义基于矩阵 $A$ 的特征值分布：

• 正惯性指数：矩阵 $A$ 的正特征值的个数。
• 负惯性指数：矩阵 $A$ 的负特征值的个数。
• 零惯性指数：矩阵 $A$ 的零特征值的个数（如果 $A$ 是非奇异矩阵，零特征值数为 0）。

几何意义

惯性指数决定了二次曲面的类型。例如，三维空间中二次曲面 $f(x, y, z) = 1$ 的惯性指数反映了以下几何性质：

• 正惯性指数：对应正平方项；在非空正水平集上提供受约束的正方向。
• 负惯性指数：对应负平方项；与正方向组合可产生双曲面，不能用“向内开口”统一描述。
• 零惯性指数：对应方向的平方项为 0，表示曲面在该方向上是柱面或简化曲面。

示例

以 $f(x, y, z) = \frac{x^2}{a^2} + \frac{y^2}{b^2} - \frac{z^2}{c^2} = 1$ 为例：

• 对应矩阵 $A = \mathrm{diag}\left(\frac{1}{a^2}, \frac{1}{b^2}, -\frac{1}{c^2}\right)$。
• 特征值分别是 $\frac{1}{a^2}, \frac{1}{b^2}$（正值），以及 $-\frac{1}{c^2}$（负值）。
• 正惯性指数为 2，负惯性指数为 1。

惯性定理

惯性指数与矩阵的对称性和正定性相关，并满足 惯性定理：
对实对称二次型，包括退化情形，先用正交变换在新坐标中写成如下形式（$\lambda_i,\mu_j>0$，另有 $n-p-q$ 个零方向）：

$$f(x) = \sum_{i=1}^p \lambda_i x_i^2 - \sum_{j=p+1}^{p+q} \mu_j x_j^2,$$

其中 $p$ 是正惯性指数，$q$ 是负惯性指数，二次型的惯性指数 $(p, q)$ 是固定不变的。

应用场景

惯性指数被广泛用于以下领域：

• 几何学：分类二次曲面的类型（椭球面、双曲面等）。
• 物理学：研究系统的稳定性，尤其是拉格朗日力学中的能量二次型。
• 线性代数：用来研究对称矩阵的正定性、负定性和不定性。

惯性定理更强的内容是：任意可逆实矩阵 $S$ 的合同变换 $A\mapsto S^TAS$ 都保持 $(p,q,n-p-q)$，不只对正交变换成立。再分别缩放非零平方项，可化成 $y_1^2+\cdots+y_p^2-y_{p+1}^2-\cdots-y_{p+q}^2$；这一步一般不是正交变换，特征值大小可变，符号计数保持不变。

对无一次项的三维水平集 $f=1$，惯性为 $(3,0,0)$ 时是椭球面，$(2,1,0)$ 时是单叶双曲面，$(1,2,0)$ 时是双叶双曲面，$(2,0,1)$ 时是椭圆柱面；若无正方向则为空集。含一次项或改变右端常数时，还需平移配方并另行分类。