本 Wiki 开启了 HTTPS。但由于同 IP 的 Blog 也开启了 HTTPS,因此本站必须要支持 SNI 的浏览器才能浏览。为了兼容一部分浏览器,本站保留了 HTTP 作为兼容。如果您的浏览器支持 SNI,请尽量通过 HTTPS 访问本站,谢谢!
这里会显示出您选择的修订版和当前版本之间的差别。
两侧同时换到之前的修订记录前一修订版后一修订版 | 前一修订版 | ||
math:linear_algebra:matrix_engineers:week2 [2023/11/27 11:11] – [Elementry Matrix] codinghare | math:linear_algebra:matrix_engineers:week2 [2023/11/28 02:28] (当前版本) – [使用 LU 分解求解方程] codinghare | ||
---|---|---|---|
行 122: | 行 122: | ||
初等矩阵用 $M$ 表示。初等矩阵的数量表示一共应用了多少次(初等)变换。 | 初等矩阵用 $M$ 表示。初等矩阵的数量表示一共应用了多少次(初等)变换。 | ||
==初等矩阵的逆矩阵== | ==初等矩阵的逆矩阵== | ||
+ | 初等矩阵的逆矩阵并不需要计算。以之前的 $R3 = 2R2 + R3$ 为例,如果我们希望被改变的矩阵回到原来的状态,那么只需要对该运算进行反向操作即可,即 $R3 = -2R2 + R3$,也就是初等矩阵中,只需要将原来的 $2$ 变为 $-2$ 即可。 | ||
+ | <WRAP center round box 100%> | ||
+ | 初等矩阵的逆矩阵就是对代表变换的元素求负。 | ||
+ | </ | ||
===LU Decomposition=== | ===LU Decomposition=== | ||
+ | 假设 $A$ 通过如下三个矩阵进行高斯消元: | ||
+ | $$ | ||
+ | M_3M_2M_1A = U | ||
+ | $$ | ||
+ | $U$ 实际上是 3 次变换后的 $A$。如果希望还原 $A$,那么我们需要对 $U$ 连续进行三次逆矩阵变换。基于 $A$ 的三次变换是左乘,因此应用到 $U$ 上的逆矩阵应该做右乘,即: | ||
+ | $$ | ||
+ | A = M^{-1}_1M^{-1}_2M^{-1}_3U | ||
+ | $$ | ||
+ | 假设高斯消元法的三次操作分别如下,那么对应的逆矩阵也如图所示: | ||
+ | \\ \\ | ||
+ | {{ : | ||
+ | \\ | ||
+ | 我们发现,这$M^{-1}_1$, | ||
+ | \\ \\ | ||
+ | {{ : | ||
+ | \\ | ||
+ | 得到的矩阵 $L$ 是一个包含了之前三次初等变换的**下三角矩阵**。由于高斯消元得到的结果 $U$ 是一个**上三角矩阵**,因此我们把一个矩阵可以写成一个下三角矩阵与一个上三角矩阵的乘积的形式,称之为 $LU$ **分解**(// | ||
+ | $$ | ||
+ | A = LU | ||
+ | $$ | ||
+ | ==使用 LU 分解求解方程== | ||
+ | 相对于高斯消元法来说,$LU$ 分解会将 $Ax=b$ 分解为 $LUx=b$ 来进行求解。具体来说为两个步骤: | ||
+ | - 首先令 $Ux = y$,求出 $Ly = b$ 中 $y$ 的值。 | ||
+ | - 其次根据 $y$ 的值再根据 $Ux=y$ 进行 $x$ 的求解。 | ||
+ | 下面是一个具体的例子。假设有如下的 $LU$ 分解: | ||
+ | $$ | ||
+ | A = | ||
+ | \begin{pmatrix} | ||
+ | 3& | ||
+ | -3& | ||
+ | 6& | ||
+ | \end{pmatrix} | ||
+ | = | ||
+ | \begin{pmatrix} | ||
+ | 1& | ||
+ | -1& | ||
+ | 2& | ||
+ | \end{pmatrix} | ||
+ | \begin{pmatrix} | ||
+ | 3& | ||
+ | 0& | ||
+ | 0& | ||
+ | \end{pmatrix} | ||
+ | =LU | ||
+ | $$ | ||
+ | 如果有: | ||
+ | $$ | ||
+ | b= | ||
+ | \begin{pmatrix} | ||
+ | | ||
+ | 3\\ | ||
+ | 2 | ||
+ | \end{pmatrix} | ||
+ | $$ | ||
+ | 那么令 $Ux = y$,根据 $Ly=b$可以列出方程组: | ||
+ | \[ | ||
+ | \begin{align*} | ||
+ | y1 &= −3\\ | ||
+ | −y1 + y2 &= 3\\ | ||
+ | 2y1 − 5y2 + y3 &= 2 | ||
+ | \end{align*} | ||
+ | \] | ||
+ | 通过上面方程组,使用 //Forward subsitutaion// | ||
+ | < | ||
+ | //LU// 分解的优势在于将参与运算的 $A$ 做了预处理;这样无论是什么样的 $b$,都可以使用预处理好的 $LU$ 进行计算;在需要计算大量不同的 $b$ 的时候会大大提升效率。 | ||
+ | </ | ||