∑

数学知识体系

Observatory Archive of Mathematics
⌕2026/8/31
概念

直接法

高斯消元将矩阵化为上三角,LU 分解分解为下上三角之积,对称正定矩阵的 Cholesky 分解更省一半计算。

所属主题:计算数学 ↗
阅读路径

参考可汗学院 Get ready 机制:先修概念 → 当前概念 → 进阶概念,✓ 表示已读。

先修概念

已是本主题的起点

当前概念

直接法计算数学

01定义

直接法在有限步内精确求解线性方程组:高斯消元把矩阵化为上三角后回代,等价于 LU 分解;对称正定矩阵用 Cholesky 分解省一半运算。O(n3)O(n^3) 的代价与数值稳定性(选主元)是直接法的核心议题。
A 稠密矩阵 消元 L U A = LU 解 Ax=b:先解 Ly=b(前代),再解 Ux=y(回代) 部分选主元:每步选列中最大元,压制舍入误差 A 对称正定 ⇒ A = LLᵀ(Cholesky,运算减半) n ≤ 几千的直接法,更大更稀疏则换迭代法
LU 分解:消元的矩阵语言

02核心要点

01

消元与分解

高斯消元的每一步对应初等下三角矩阵左乘:累积即 A=LUA=LU;分解一次、多右端回代——多右端场景分解的成本被摊薄。选主元(行交换)保证数值稳定。

02

稳定性与条件数

向后误差分析:计算解是「邻近问题」的精确解;误差上界 ≈κ(A)⋅u\approx\kappa(A)\cdot u——条件数 κ\kappa 放大舍入,病态矩阵再多位有效数字也难救。

03

稀疏直接法

稀疏矩阵消元会产生填充(fill-in):最小度、嵌套剖分等排序重排把填充压到最少——PDE 离散后的大型稀疏系统靠排序技术才能直接求解。

03关键公式

A=LU (PA=LU),A=LLT (A≻0),∥A−1∥∥A∥=κ(A)A=LU\ (PA=LU),\quad A=LL^T\ (A\succ 0),\quad \|A^{-1}\|\|A\|=\kappa(A)

04历史沿革

高斯 1810 年代用消元法解正规方程(并冠以其名);LU 分解与矩阵观点在 20 世纪中期成型;Cholesky 分解由班基耶维奇 1924 年前后手稿提出。

05应用与延伸

结构力学的小规模精确求解、最小二乘拟合(正规方程/QR)、卡尔曼滤波的时间更新、电力系统潮流计算。

06交互演示

高斯消元:2×2 方程组的几何解调整第二条直线:相交=唯一解,平行=无解/无穷解

07相关概念