1. Banach 空间的级数
如果
(
X
,
∣
∣
⋅
∣
∣
)
(X,||\cdot||)
(X,∣∣⋅∣∣) 是赋范向量空间,
(
x
n
)
n
=
1
∞
(x_n)_{n=1}^\infty
(xn)n=1∞ 是向量
x
n
∈
X
x_n\in X
xn∈X 的序列,则
∑
n
=
1
∞
x
n
\sum_{n=1}^\infty x_n
∑n=1∞xn 是一个级数,对每个整数
k
≥
1
k\ge 1
k≥1 称
s
k
:
=
∑
n
=
1
k
x
n
s_k:=\sum_{n=1}^k x_n
sk:=∑n=1kxn 是级数的前k项部分和。如果序列
(
s
k
)
k
=
1
∞
(s_k)_{k=1}^\infty
(sk)k=1∞ 在X中收敛,则称级数
∑
n
=
1
∞
x
n
\sum_{n=1}^\infty x_n
∑n=1∞xn 为收敛的,有
∑
n
=
1
∞
x
n
=
s
\sum_{n=1}^\infty x_n = s
∑n=1∞xn=s
s为级数的和。
emmm似乎和高数里面的级数没什么区别
收敛性: 如果级数满足 ∑ n = 1 ∞ ∣ ∣ x n ∣ ∣ < ∞ \sum_{n=1}^\infty ||x_n|| <\infty ∑n=1∞∣∣xn∣∣<∞ ,则级数收敛,其和满足 ∣ ∣ ∑ n = 1 ∞ x n ∣ ∣ ≤ ∑ n = 1 ∞ ∣ ∣ x n ∣ ∣ ||\sum_{n=1}^\infty x_n||\le \sum_{n=1}^\infty ||x_n|| ∣∣∑n=1∞xn∣∣≤∑n=1∞∣∣xn∣∣
1.1. Neumann级数 ∑ n = 0 ∞ A n \sum_{n=0}^\infty A_n ∑n=0∞An
- 如果 ( X , ∣ ∣ ⋅ ∣ ∣ ) (X,||\cdot||) (X,∣∣⋅∣∣) 是Banach空间, A ∈ L ( X ) A\in \mathcal L(X) A∈L(X) (这里A是一个线性算子) 满足 ∣ ∣ A ∣ ∣ < 1 ||A||<1 ∣∣A∣∣<1
- 连续线性算子 ( I − A ) : X → X (I-A):X\to X (I−A):X→X 是双射,其逆 ( I − A ) − 1 : X → X (I-A)^{-1}:X\to X (I−A)−1:X→X也是连续线性算子
- ( I − A ) − 1 = ∑ n = 0 ∞ A n a n d ∣ ∣ ( I − A ) − 1 ∣ ∣ ≤ 1 1 − ∣ ∣ A ∣ ∣ (I-A)^{-1}= \sum_{n=0}^\infty A^n ~~ and ~~ ||(I-A)^{-1}||\le\frac{1}{1-||A||} (I−A)−1=∑n=0∞An and ∣∣(I−A)−1∣∣≤1−∣∣A∣∣1
简单的证明
∣
∣
A
∣
∣
<
1
||A||<1
∣∣A∣∣<1 有 $\sum_{n=0}^\infty ||A^n|| \le \sum_{n=0}^\infty ||A||^n <\infty $ (中间这一步可以由柯西不等式出来
∣
∣
A
2
∣
∣
≤
∣
∣
A
∣
∣
⋅
∣
∣
A
∣
∣
||A^2|| \le ||A||\cdot||A||
∣∣A2∣∣≤∣∣A∣∣⋅∣∣A∣∣ )
(补充一个定理:如果X为赋范向量空间,Y是Banach空间,则
(
L
(
X
;
Y
)
,
∣
∣
⋅
∣
∣
L
(
X
;
Y
)
)
(\mathcal{L}(X;Y),||\cdot||_{\mathcal{L}(X;Y)})
(L(X;Y),∣∣⋅∣∣L(X;Y)) 是Banach空间,这里应该有证明但是我懒得写了写不下了 )
又有刚才的级数收敛性,可以知道这个级数是收敛的。 B ∈ L ( X ) B \in \mathcal{L} (X) B∈L(X) 为级数和,即 B = ∑ n = 0 ∞ A n : = lim k → ∞ B k , B k : = ∑ n = 0 k A n B = \sum_{n=0}^\infty A^n := \lim_{k \to \infty} B_k, ~~ B_k:=\sum_{n=0}^k A^n B=∑n=0∞An:=limk→∞Bk, Bk:=∑n=0kAn
(B是线性算子的乘积嘛,所有还是线性算子, L ( X ) \mathcal L (X) L(X) 是线性算子的集合,肯定包含了B嘛)
再给它分别左乘和右乘A,有
A B = lim k → ∞ A B k = lim k → ∞ ( B k + 1 − I ) = B − I AB = \lim_{k\to\infty} AB_k = \lim_{k\to \infty} (B_{k+1} - I) = B-I AB=limk→∞ABk=limk→∞(Bk+1−I)=B−I
B A = lim k → ∞ B k A = lim k → ∞ ( B k + 1 − I ) = B − I BA = \lim_{k\to\infty} B_kA = \lim_{k\to \infty} (B_{k+1} - I) = B-I BA=limk→∞BkA=limk→∞(Bk+1−I)=B−I
联立有
I = B ( I − A ) = ( I − A ) B I=B(I-A) = (I-A)B I=B(I−A)=(I−A)B
由于 ( I − A ) ∈ L ( X ) (I-A)\in \mathcal{L}(X) (I−A)∈L(X) 既有左逆又有右逆,所有是双射。
1的双射证明完成,开始搞2
( I − A ) − 1 = B = ∑ n = 0 ∞ A n (I-A)^{-1} = B =\sum_{n=0}^\infty A^n (I−A)−1=B=∑n=0∞An
有展开式 1 1 − z = ∑ n = 0 ∞ z n \frac{1}{1-z} = \sum_{n=0}^\infty z^n 1−z1=∑n=0∞zn ,所以
∣ ∣ ( I − A ) − 1 ∣ ∣ ≤ ∑ n = 0 ∞ ∣ ∣ A n ∣ ∣ ≤ ∑ n = 0 ∞ ∣ ∣ A ∣ ∣ n = 1 1 − ∣ ∣ A ∣ ∣ ||(I-A)^{-1}||\le \sum_{n=0}^\infty ||A^n||\le\sum_{n=0}^\infty ||A||^n = \frac{1}{1-||A||} ∣∣(I−A)−1∣∣≤∑n=0∞∣∣An∣∣≤∑n=0∞∣∣A∣∣n=1−∣∣A∣∣1
1.2. 相关定理
- 如果X是Banach空间,Y是赋范向量空间,则集合
U : = { A ∈ L ( X ; Y ) ; A : X → Y 是 双 射 , 且 A − 1 ∈ L ( Y ; X ) } \mathcal{U}:= \{A\in\mathcal{L}(X;Y);A:X\to Y 是双射,且 A^{-1}\in \mathcal{L}(Y;X)\} U:={A∈L(X;Y);A:X→Y是双射,且A−1∈L(Y;X)}
是赋范向量空间 ( L ( X ; Y ) , ∣ ∣ ⋅ ∣ ∣ L ( X ; Y ) ) (\mathcal{L}(X;Y),||\cdot||_{\mathcal{L}(X;Y)}) (L(X;Y),∣∣⋅∣∣L(X;Y)) 中的开集
又设
A
∈
U
A\in\mathcal{U}
A∈U ,如果
∣
∣
B
−
A
∣
∣
<
1
∣
∣
A
−
1
∣
∣
||B-A||<\frac{1}{||A^{-1}||}
∣∣B−A∣∣<∣∣A−1∣∣1 则
B
∈
U
B\in \mathcal{U}
B∈U ,此时
∣
∣
B
−
1
∣
∣
≤
∣
∣
A
−
1
∣
∣
1
−
∣
∣
A
−
1
(
B
−
A
)
∣
∣
≤
∣
∣
A
−
1
∣
∣
1
−
∣
∣
A
−
1
∣
∣
∣
∣
B
−
A
∣
∣
||B^{-1}||\le\frac{||A^{-1}||}{1-||A^{-1}(B-A)||}\le\frac{||A^{-1}||}{1-||A^{-1}||||B-A||}
∣∣B−1∣∣≤1−∣∣A−1(B−A)∣∣∣∣A−1∣∣≤1−∣∣A−1∣∣∣∣B−A∣∣∣∣A−1∣∣
∣
∣
B
−
1
−
A
−
1
∣
∣
≤
∣
∣
A
−
1
∣
∣
2
∣
∣
B
−
A
∣
∣
1
−
∣
∣
A
−
1
(
B
−
A
)
∣
∣
≤
∣
∣
A
−
1
∣
∣
2
∣
∣
B
−
A
∣
∣
1
−
∣
∣
A
−
1
∣
∣
∣
∣
B
−
A
∣
∣
||B^{-1}-A^{-1}||\le\frac{||A^{-1}||^2||B-A||}{1-||A^{-1}(B-A)||}\le\frac{||A^{-1}||^2||B-A||}{1-||A^{-1}||||B-A||}
∣∣B−1−A−1∣∣≤1−∣∣A−1(B−A)∣∣∣∣A−1∣∣2∣∣B−A∣∣≤1−∣∣A−1∣∣∣∣B−A∣∣∣∣A−1∣∣2∣∣B−A∣∣
因而
A
∈
U
→
A
−
1
∈
U
A\in\mathcal{U}\to A^{-1}\in \mathcal{U}
A∈U→A−1∈U 是连续的
- 简单的证明
A ∈ U A\in\mathcal{U} A∈U , L ( X ) \mathcal{L}(X) L(X) 是Banach空间 (因为X是Banach空间嘛,前面提到有定理。) ,如果有
∣ ∣ B − A ∣ ∣ < 1 ∣ ∣ A − 1 ∣ ∣ ||B-A||<\frac{1}{||A^{-1}||} ∣∣B−A∣∣<∣∣A−1∣∣1
则有 ∣ ∣ A − 1 ( B − A ) ∣ ∣ ≤ ∣ ∣ A − 1 ∣ ∣ ∣ ∣ B − A ∣ ∣ < 1 ||A^{-1}(B-A)||\le ||A^{-1}||~~||B-A|| < 1 ∣∣A−1(B−A)∣∣≤∣∣A−1∣∣ ∣∣B−A∣∣<1 ,前面证明了如果 ∣ ∣ A ∣ ∣ < 1 ||A||<1 ∣∣A∣∣<1 连续线性算子 ( I − A ) : X → X (I-A):X\to X (I−A):X→X 是双射,这里把A 换成 − A − 1 ( B − A ) -A^{-1}(B-A) −A−1(B−A) ,可知 ( I + A − 1 ( B − A ) ) (I+A^{-1}(B-A)) (I+A−1(B−A)) 是双射,有双射
B = A + B − A = A ( I + A − 1 ( B − A ) ) B = A + B - A = A(I+A^{-1}(B-A)) B=A+B−A=A(I+A−1(B−A))
B − 1 = ( I + A − 1 ( B − A ) ) − 1 A − 1 B^{-1} = (I+A^{-1}(B-A))^{-1}A^{-1} B−1=(I+A−1(B−A))−1A−1
B也是有连续逆的双射 , B ∈ L ( X ; Y ) B\in \mathcal{L}(X;Y) B∈L(X;Y)
还是用前面证明的不等式 ∣ ∣ ( I − A ) − 1 ∣ ∣ ≤ 1 1 − ∣ ∣ A ∣ ∣ ||(I-A)^{-1}||\le\frac{1}{1-||A||} ∣∣(I−A)−1∣∣≤1−∣∣A∣∣1,有
∣ ∣ B − 1 ∣ ∣ ≤ ∣ ∣ ( I + A − 1 ( B − A ) ) − 1 ∣ ∣ ∣ ∣ A − 1 ∣ ∣ ≤ ∣ ∣ A − 1 ∣ ∣ 1 − ∣ ∣ A − 1 ( B − A ) ∣ ∣ ≤ ∣ ∣ A − 1 ∣ ∣ 1 − ∣ ∣ A − 1 ∣ ∣ ∣ ∣ ( B − A ) ∣ ∣ ||B^{-1}||\le ||(I+A^{-1}(B-A))^{-1}|| ~~||A^{-1}||\le \frac{||A^{-1}||}{1-||A^{-1}(B-A)||} \le \frac{||A^{-1}||}{1-||A^{-1}||~~||(B-A)||} ∣∣B−1∣∣≤∣∣(I+A−1(B−A))−1∣∣ ∣∣A−1∣∣≤1−∣∣A−1(B−A)∣∣∣∣A−1∣∣≤1−∣∣A−1∣∣ ∣∣(B−A)∣∣∣∣A−1∣∣
如果 ∣ ∣ B − A ∣ ∣ < 1 ∣ ∣ A − 1 ∣ ∣ ||B-A||<\frac{1}{||A^{-1}||} ∣∣B−A∣∣<∣∣A−1∣∣1 , B − 1 − A − 1 = B − 1 ( A − B ) A − 1 B^{-1} - A^{-1} = B^{-1}(A-B)A^{-1} B−1−A−1=B−1(A−B)A−1
所以
∣ ∣ B − 1 − A − 1 ∣ ∣ ≤ ∣ ∣ B − 1 ( A − B ) A − 1 ∣ ∣ ≤ ∣ ∣ A − 1 ∣ ∣ 2 ∣ ∣ B − A ∣ ∣ 1 − ∣ ∣ A − 1 ( B − A ) ∣ ∣ ≤ ∣ ∣ A − 1 ∣ ∣ 2 ∣ ∣ B − A ∣ ∣ 1 − ∣ ∣ A − 1 ∣ ∣ ∣ ∣ B − A ∣ ∣ ||B^{-1} - A^{-1}||\le||B^{-1}(A-B)A^{-1}||\le\frac{||A^{-1}||^2||B-A||}{1-||A^{-1}(B-A)||}\le\frac{||A^{-1}||^2||B-A||}{1-||A^{-1}||||B-A||} ∣∣B−1−A−1∣∣≤∣∣B−1(A−B)A−1∣∣≤1−∣∣A−1(B−A)∣∣∣∣A−1∣∣2∣∣B−A∣∣≤1−∣∣A−1∣∣∣∣B−A∣∣∣∣A−1∣∣2∣∣B−A∣∣