2.6_课后习题

2.6 课后习题

练习2.1 设 A=[aij]Rn×nA = [a_{ij}] \in \mathbb{R}^{n \times n} , 且 a110a_{11} \neq 0 , 经过第一步 LU 分解后得到 A(2)=[a110A22]A^{(2)} = \left[ \begin{array}{cc} a_{11} & * \\ 0 & A_{22} \end{array} \right] .

证明:(1)若 AA 对称,则 A22A_{22} 也对称;

(2) 若 AA 对称正定, 则 A22A_{22} 也对称正定;
(3) 若 AA 严格行对角占优, 则 A22A_{22} 也是严格行对角占优.

练习2.2 (定理2.3)设 ARn×nA \in \mathbb{R}^{n \times n} 非奇异且列对角占优. 证明: AA 存在LU分解且 LL 中的元素的绝对值都不超过1.

练习2.3 设 ARn×nA \in \mathbb{R}^{n \times n} 非奇异. 证明: 存在置换矩阵 PP , 使得 PAPA 的所有顺序主子矩阵都非奇异.

练习2.4 设矩阵 A=[1472583612]A = \begin{bmatrix} 1 & 4 & 7\\ 2 & 5 & 8\\ 3 & 6 & 12 \end{bmatrix} ,计算 AA 的LU分解和PLU分解

练习2.5 计算 A=[42423784814]A = \begin{bmatrix} 4 & 2 & 4 \\ 2 & 37 & 8 \\ 4 & 8 & 14 \end{bmatrix} 的Cholesky分解, 并求解 Ax=bAx = b , 其中 b=[697]b = \begin{bmatrix} 6 \\ -9 \\ 7 \end{bmatrix} .

练习2.6 设矩阵 A=[21012a0a2]A = \begin{bmatrix} 2 & -1 & 0 \\ -1 & 2 & a \\ 0 & a & 2 \end{bmatrix} , 问: 当 aa 取何值时, AA 存在 Cholesky 分解?

练习2.7 证明Cholesky分解的唯一性

练习2.8设 ARn×nA\in \mathbb{R}^{n\times n} 对称非奇异,且存在分解 A=LDMA = LDM^{\top} ,其中 L,MRn×nL,M\in \mathbb{R}^{n\times n} 是单位下三角矩阵, DRn×nD\in \mathbb{R}^{n\times n} 是对角矩阵.证明: L=ML = M

练习2.9 设 AA 对称且非零, 试证明: 存在置换矩阵 PP 使得

PAPT=[BETEC],P A P ^ {\mathsf {T}} = \left[ \begin{array}{c c} B & E ^ {\mathsf {T}} \\ E & C \end{array} \right],

其中 BRB\in \mathbb{R}BR2×2B\in \mathbb{R}^{2\times 2} ,且非奇异

练习2.10 设 λ0\lambda \neq 0 , 矩阵 A=[λ2λ11]A = \begin{bmatrix} \lambda & 2\lambda \\ 1 & 1 \end{bmatrix} , 当 λ\lambda 取何值时, κ(A)\kappa_{\infty}(A) 达到最小.

练习2.11 设 ARm×nA \in \mathbb{R}^{m \times n} , 其中 mnm \geq n , 证明: AA2=A22\| A^{\top} A \|_2 = \| A \|_2^2 .

m=nm = n 时, 证明: κ2(ATA)=(κ2(A))2\kappa_{2}(A^{\mathsf{T}}A) = (\kappa_{2}(A))^2 .

以下为可选题

练习2.12 设 A=[aij]Rn×nA = [a_{ij}] \in \mathbb{R}^{n \times n} 对称正定, 证明: aij2<aiiajja_{ij}^2 < a_{ii}a_{jj} .

练习 2.132.13^{*} (定理1.56) 设 ARn×nA \in \mathbb{R}^{n \times n} 严格列对角占优, 记

δmin1jn(ajji=1,ijnaij).\delta \triangleq \min _ {1 \leq j \leq n} \left(| a _ {j j} | - \sum_ {i = 1, i \neq j} ^ {n} | a _ {i j} |\right).

证明: A11δ1\| A^{-1}\| _1\leq \delta^{-1}

练习2.14 (验证等式(2.3))证明:

L=L1L2Ln1=[1000l21100l31l3210ln1ln2ln31].L = L _ {1} L _ {2} \dots L _ {n - 1} = \left[ \begin{array}{c c c c c} 1 & 0 & 0 & \dots & 0 \\ l _ {2 1} & 1 & 0 & \dots & 0 \\ l _ {3 1} & l _ {3 2} & 1 & \dots & 0 \\ \vdots & \vdots & & \ddots \\ l _ {n 1} & l _ {n 2} & l _ {n 3} & \dots & 1 \end{array} \right].

练习2.15 将 ARn×nA \in \mathbb{R}^{n \times n} 写成分块形式

A=[A11A12A21A22],A = \left[ \begin{array}{c c} A _ {1 1} & A _ {1 2} \\ A _ {2 1} & A _ {2 2} \end{array} \right],

其中 A11Rk×kA_{11} \in \mathbb{R}^{k \times k} ( 1kn1 \leq k \leq n ) 非奇异. 我们称矩阵 S=A22A21A111A12S = A_{22} - A_{21}A_{11}^{-1}A_{12}AAA11A_{11} 的 Schur 补 (通常简称 Schur 补).

(1) 假设 AA 存在 LU 分解, 证明: 对于不选主元的 Gauss 消去法, 第 kk 步后, A22A_{22} 已被 SS 覆盖.
(2) 假设 A21=A12TA_{21} = A_{12}^{\mathsf{T}} , 且 A11A_{11}A22-A_{22} 都正定, 证明 AA 非奇异.

练习 2.162.16^{*} 假定已知 AA 的LU分解: A=LUA = LU ,试设计算法计算 A1A^{-1} 的第 (i,j)(i,j) 个元素

练习 2.172.17^{*}A,BRn×nA, B \in \mathbb{R}^{n \times n} 是两个上三角矩阵, αR\alpha \in \mathbb{R} 是给定常数, 且 ABαIAB - \alpha I 非奇异. 试设计求解 (ABαI)x=f(AB - \alpha I)x = f 的算法, 使得运算量为 O(n2)\mathcal{O}(n^2) .

以下为实践题

练习2.18 设 LRn×nL \in \mathbb{R}^{n \times n} 是非奇异下三角矩阵, BRm×nB \in \mathbb{R}^{m \times n} , 统计以下运算的计算量 (加减乘除, 只需给出最高次项):

(1) 计算 L1L^{-1} ; (2) 计算 L2L^2 ; (3) 计算 LLLL^\top ; (4) 计算 BLBL .

练习2.19 写出按列存储方式下三角方程组 Ly=bLy = b 的求解算法, 并编写相应的MATLAB程序.

练习2.20 利用列主元LU分解,给出计算矩阵的逆的实用算法,并编写相应的MATLAB程序

练习2.21 根据算法2.11, 编写求解对角占优三对角线性方程组的追赶法MATLAB程序.

练习2.22 考虑线性方程组 Ax=fAx = f ,其中:

A=[b1c1αa1cn1βan1bn],f=[f1f2fn],A = \left[ \begin{array}{c c c c} b _ {1} & c _ {1} & & \alpha \\ a _ {1} & \ddots & \ddots & \\ & \ddots & \ddots & c _ {n - 1} \\ \beta & & a _ {n - 1} & b _ {n} \end{array} \right], \quad f = \left[ \begin{array}{c} f _ {1} \\ f _ {2} \\ \vdots \\ f _ {n} \end{array} \right],

AA 是三对角矩阵另加两个非零元素 (分别位于东北角和西南角). 设计求解该线性方程组的直接算法并编写 MATLAB 程序.

练习2.23 设 ARn×nA \in \mathbb{R}^{n \times n} 是非奇异三对角矩阵, 给出求解 Ax=bAx = b 的列主元 LU 分解算法, 并并编写相应的 MATLAB 程序. 要求: PA=LUPA = LU 中置换矩阵 PP 用向量表示, LLUU 只存储非零元

素. (用两个向量 LaRnL_{a} \in \mathbb{R}^{n}LIZnL_{I} \in \mathbb{Z}^{n} 表示 LL , 其中 LaL_{a} 存储非零元素的值, LIL_{I} 存储这些非零元素的行标, 即 La(j)L_{a}(j) 表示 lLI(j),jl_{L_{I}(j), j} ; 用 UaRn×3U_{a} \in \mathbb{R}^{n \times 3} 表示 UU , 其中第一列表示 UU 的主对角线元素, 第二列表示 UU 的次对角线元素, 第三列表示 UU 的第二条次对角线元素, 即 Ua(i,j)U_{a}(i, j) 表示 ui,i+j1u_{i, i+j-1} .)

练习2.24带状矩阵的LU分解.设 AAnn 阶带状矩阵,上带宽为 L<nL < n ,下带宽为 M<nM < n ,编写一个函数,计算 AA 的LU分解(不带选主元),并统计运算量.