解线性方程组线性方程组3-初等行变换与LDU分解 - 图1时,是把增广矩阵线性方程组3-初等行变换与LDU分解 - 图2#card=math&code=%28A%2C%20b%29&id=E6T7c)化成(简化)行阶梯形,再从最后一个非零行开始解(所谓 back substitution)。如果系数矩阵线性方程组3-初等行变换与LDU分解 - 图3直接就是上三角形的矩阵,那解方程就很方便了。

    线性方程组3-初等行变换与LDU分解 - 图4是方阵。如果可以把线性方程组3-初等行变换与LDU分解 - 图5写成一个下三角矩阵线性方程组3-初等行变换与LDU分解 - 图6与上三角矩阵线性方程组3-初等行变换与LDU分解 - 图7的乘积:线性方程组3-初等行变换与LDU分解 - 图8, 那么解方程线性方程组3-初等行变换与LDU分解 - 图9,在线性方程组3-初等行变换与LDU分解 - 图10是可逆矩阵时,就能变成解线性方程组3-初等行变换与LDU分解 - 图11. 因为线性方程组3-初等行变换与LDU分解 - 图12是下三角矩阵,所以线性方程组3-初等行变换与LDU分解 - 图13也是下三角的,会容易计算。最后直接用back substitution就能解出线性方程组3-初等行变换与LDU分解 - 图14.

    通常我们要求线性方程组3-初等行变换与LDU分解 - 图15 的对角元都是1,这样当线性方程组3-初等行变换与LDU分解 - 图16有LU分解时,矩阵线性方程组3-初等行变换与LDU分解 - 图17就唯一确定了。

    计算LU分解的算法,就是初等行变换!不过要注意,我们假设方阵线性方程组3-初等行变换与LDU分解 - 图18的第1列不能全是0(这样的矩阵没有LU分解)。

    线性方程组3-初等行变换与LDU分解 - 图19%7Bn%20%5Ctimes%20n%7D#card=math&code=A%3D%28a%7Bij%7D%29%7Bn%20%5Ctimes%20n%7D&id=YegNq). 如果![](https://g.yuque.com/gr/latex?a%7B11%7D%5Cneq%200#card=math&code=a%7B11%7D%5Cneq%200&id=glHRx), 我们取线性方程组3-初等行变换与LDU分解 - 图20. 如果![](https://g.yuque.com/gr/latex?a%7B11%7D%3D0#card=math&code=a%7B11%7D%3D0&id=vreTZ). 假设![](https://g.yuque.com/gr/latex?a%7Bi1%7D%3Da%5Cneq%200#card=math&code=a_%7Bi1%7D%3Da%5Cneq%200&id=LjUR8). 我们令线性方程组3-初等行变换与LDU分解 - 图21是把第线性方程组3-初等行变换与LDU分解 - 图22行与第1行对调的初等矩阵。这时我们对

    线性方程组3-初等行变换与LDU分解 - 图23%0A#card=math&code=P_1%20A%20%3D%20%5Cleft%28%20%5Cbegin%7Barray%7D%7Bc%7Cccc%7D%0A%20%20%20%20a%20%26%20%26%20w%5E%5Ctop%20%26%20%5C%5C%20%5Chline%0A%20%20%20%20%20%20%26%20%26%20%20%20%20%20%20%20%20%20%20%20%20%20%20%26%20%5C%5C%0A%20%20%20%20v%20%26%20%26%20%20%20%20%20%20%20%20%20%20%20A%27%20%26%20%5C%5C%0A%20%20%20%20%20%20%26%20%26%20%20%20%20%20%20%20%20%20%20%20%20%20%20%26%0A%20%20%5Cend%7Barray%7D%20%5Cright%29%0A&id=BJxGF)

    来计算LU分解。第一步是用线性方程组3-初等行变换与LDU分解 - 图24把它下面的其它元素全部消成0, 即用矩阵

    线性方程组3-初等行变换与LDU分解 - 图25%0A#card=math&code=P2%20%3D%20%5Cleft%28%20%5Cbegin%7Barray%7D%7Bc%7Cccc%7D%0A%20%20%20%20%20%20%20%20%20%20%20%201%20%26%20%26%200%20%26%20%5C%5C%20%5Chline%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%26%20%26%20%20%20%26%20%5C%5C%0A%20%20%20%20-%20cv%20%26%20%26%20I%7Bn-1%7D%20%26%20%5C%5C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%26%20%26%20%20%20%26%0A%20%20%5Cend%7Barray%7D%20%5Cright%29%0A&id=n7d4j)

    左乘线性方程组3-初等行变换与LDU分解 - 图26, 这里线性方程组3-初等行变换与LDU分解 - 图27. 此时我们写:

    线性方程组3-初等行变换与LDU分解 - 图28%0A%20%20%5Cleft(%20%5Cbegin%7Barray%7D%7Bc%7Cc%7D%0A%20%20%20%20a%20%26%20%20%20%20%20%20w%5E%5Ctop%20%5C%5C%20%5Chline%0A%20%20%20%20%20%20%26%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%5C%5C%0A%20%20%20%200%20%26%20A’-cvw%5E%5Ctop%20%5C%5C%0A%20%20%20%20%20%20%26%0A%20%20%5Cend%7Barray%7D%20%5Cright)%0A#card=math&code=P1%20A%20%3D%20%5Cleft%28%20%5Cbegin%7Barray%7D%7Bc%7Cccc%7D%0A%20%20%20%20%20%20%20%20%20%20%20%201%20%26%20%26%200%20%26%20%5C%5C%20%5Chline%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%26%20%26%20%20%20%26%20%5C%5C%0A%20%20%20%20%20cv%20%26%20%26%20I%7Bn-1%7D%20%26%20%5C%5C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%26%20%26%20%20%20%26%0A%20%20%5Cend%7Barray%7D%20%5Cright%29%0A%20%20%5Cleft%28%20%5Cbegin%7Barray%7D%7Bc%7Cc%7D%0A%20%20%20%20a%20%26%20%20%20%20%20%20w%5E%5Ctop%20%5C%5C%20%5Chline%0A%20%20%20%20%20%20%26%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%5C%5C%0A%20%20%20%200%20%26%20A%27-cvw%5E%5Ctop%20%5C%5C%0A%20%20%20%20%20%20%26%0A%20%20%5Cend%7Barray%7D%20%5Cright%29%0A&id=z0trj)

    这时线性方程组3-初等行变换与LDU分解 - 图29线性方程组3-初等行变换与LDU分解 - 图30阶矩阵. 我们重复上面的步骤:线性方程组3-初等行变换与LDU分解 - 图31%20%3D%20L’U’#card=math&code=P%27%28A%27-cvw%5E%5Ctop%29%20%3D%20L%27U%27&id=TfLZw). 设线性方程组3-初等行变换与LDU分解 - 图32:

    线性方程组3-初等行变换与LDU分解 - 图33%20P_1%20A%0A%20%20%3D%20%5Cleft(%20%5Cbegin%7Barray%7D%7Bc%7Cccc%7D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%201%20%26%20%26%20%200%20%26%20%5C%5C%20%5Chline%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%26%20%26%20%20%20%20%26%20%5C%5C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20cv’%20%26%20%26%20L’%20%26%20%5C%5C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%26%20%26%20%20%20%20%26%0A%20%20%5Cend%7Barray%7D%20%5Cright)%0A%20%20%5Cleft(%20%5Cbegin%7Barray%7D%7Bc%7Cccc%7D%0A%20%20%20%20%20%20a%20%26%20%26%20w%5E%5Ctextsf%7BT%7D%20%26%20%5C%5C%20%5Chline%0A%20%20%20%20%20%20%20%20%26%20%26%20%20%20%20%20%20%20%20%20%20%20%20%20%20%26%20%5C%5C%0A%20%20%20%20%20%200%20%26%20%26%20%20%20%20%20%20%20%20%20%20%20U’%20%26%20%5C%5C%0A%20%20%20%20%20%20%20%20%26%20%26%20%20%20%20%20%20%20%20%20%20%20%20%20%20%26%0A%20%20%5Cend%7Barray%7D%20%5Cright)%0A#card=math&code=%5Cleft%28%20%5Cbegin%7Barray%7D%7Bc%7Cccc%7D%0A%20%20%20%201%20%26%20%26%20%200%20%26%20%5C%5C%20%5Chline%0A%20%20%20%20%20%20%26%20%26%20%20%20%20%26%20%5C%5C%0A%20%20%20%200%20%26%20%26%20P%27%20%26%20%5C%5C%0A%20%20%20%20%20%20%26%20%26%20%20%20%20%26%0A%20%20%5Cend%7Barray%7D%20%5Cright%29%20P_1%20A%0A%20%20%3D%20%5Cleft%28%20%5Cbegin%7Barray%7D%7Bc%7Cccc%7D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%201%20%26%20%26%20%200%20%26%20%5C%5C%20%5Chline%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%26%20%26%20%20%20%20%26%20%5C%5C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20cv%27%20%26%20%26%20L%27%20%26%20%5C%5C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%26%20%26%20%20%20%20%26%0A%20%20%5Cend%7Barray%7D%20%5Cright%29%0A%20%20%5Cleft%28%20%5Cbegin%7Barray%7D%7Bc%7Cccc%7D%0A%20%20%20%20%20%20a%20%26%20%26%20w%5E%5Ctextsf%7BT%7D%20%26%20%5C%5C%20%5Chline%0A%20%20%20%20%20%20%20%20%26%20%26%20%20%20%20%20%20%20%20%20%20%20%20%20%20%26%20%5C%5C%0A%20%20%20%20%20%200%20%26%20%26%20%20%20%20%20%20%20%20%20%20%20U%27%20%26%20%5C%5C%0A%20%20%20%20%20%20%20%20%26%20%26%20%20%20%20%20%20%20%20%20%20%20%20%20%20%26%0A%20%20%5Cend%7Barray%7D%20%5Cright%29%0A&id=joLy0)

    如此继续,就能逐渐下降到线性方程组3-初等行变换与LDU分解 - 图34阶矩阵。

    这里注意如果线性方程组3-初等行变换与LDU分解 - 图35的第1列全是0,那么只要对线性方程组3-初等行变换与LDU分解 - 图36的第(1,1)元素的余子式矩阵来计算,即直接下降到计算一个线性方程组3-初等行变换与LDU分解 - 图37阶的方阵的LU分解。

    最后我们得到形如线性方程组3-初等行变换与LDU分解 - 图38的分解,其中线性方程组3-初等行变换与LDU分解 - 图39是(交换两行这类)初等矩阵的乘积,线性方程组3-初等行变换与LDU分解 - 图40是下三角矩阵,对角元全是线性方程组3-初等行变换与LDU分解 - 图41是上三角矩阵。这就是线性方程组3-初等行变换与LDU分解 - 图42 的LU分解。

    例:矩阵线性方程组3-初等行变换与LDU分解 - 图43的LU分解是

    线性方程组3-初等行变换与LDU分解 - 图44

    矩阵线性方程组3-初等行变换与LDU分解 - 图45 的LU分解是

    线性方程组3-初等行变换与LDU分解 - 图46


    为了让分解更对称,可以用LDU分解。它与LU分解的区别是,LDU的矩阵U是对角元全是1的上三角矩阵。而LU分解中的矩阵U的对角元,出现在LDU分解的对角矩阵D中。我们看下面的例子:

    线性方程组3-初等行变换与LDU分解 - 图47的LU分解是

    线性方程组3-初等行变换与LDU分解 - 图48

    而它的LDU分解是

    线性方程组3-初等行变换与LDU分解 - 图49


    实对称矩阵的LU分解或LDU分解有更漂亮的形式:如果线性方程组3-初等行变换与LDU分解 - 图50是实对称矩阵的LU分解,那么从线性方程组3-初等行变换与LDU分解 - 图51可以期望线性方程组3-初等行变换与LDU分解 - 图52同理,可以期望形如线性方程组3-初等行变换与LDU分解 - 图53的分解。把实对称正定矩阵分解为线性方程组3-初等行变换与LDU分解 - 图54的形式,其中线性方程组3-初等行变换与LDU分解 - 图55的对角元素均为正数,这样的分解称为Cholesky分解。我们在对称矩阵的话题中讨论这个分解。