1. 定义
注意，本文中正定和半正定矩阵不要求是对称或Hermite的。
2. 性质
3. 作用
（1）Ax=b直接法求解
| cholesky | 实对称正定矩阵求解 |
| 复共轭对称正定矩阵求解 | |
| LDL | 实对称非正定矩阵求解 |
| 复共轭对称非正定矩阵求解 | |
| 复对称矩阵求解 | |
| LU | 实非对称矩阵求解 |
| 复非对称矩阵求解 |
（2）特征值求解
在ARPACK（隐式重启Arnoldi算法）中，对K*x=lambda*M*x该广义特征值问题
M必须得是
| Mode | Operator | M |
| Shift | OP = inv[M]*K, and B = M. | 对称-正定 或Hemitian-正定 |
| Shift-and-invert | OP = (inv[K - sigma*M])*M, and B = M. | 对称-半正定 或Hemitian-半正定 |
注释：
- OP：operator，表示Arnoldi过程中与向量作用的算子，用户需要提供矩阵向量乘积w ← OPv
- M-inner product: <x,y> =
。
- M-orthogonal: x, y称为M-orthogonal若<x,y> = 0
- B: 用来定义M-inner product中的矩阵，用户需要提供矩阵向量乘积w ← Mv
Slepc有提及，若M不是正定也不是半正定的话，可以用EPS_GHIEP求解。
特征值中，正定或半正定性质对于 M 矩阵来说是一个优良属性，因为它确保了问题的物理可解性和数值计算的稳定性。例如，在结构动力学中，M 作为质量矩阵时，其正定性意味着系统的质量分布是非负的，这是物理上合理的。正定或半正定的 M 矩阵也有助于保证广义特征值问题解的良好性质，如确保所有特征值是实数且特征向量是良定义的。
然而，在某些情况下，M 矩阵可能不是正定或半正定的，这并不意味着广义特征值问题就无法求解。这些情况下，问题可能更加复杂，需要特别的数值方法来处理可能出现的数值不稳定性或解的不确定性。
