同学们,今天我们来学习泛函分析中一个非常核心且深刻的主题:无界线性算子及其伴随算子。我们将从大家熟悉的“有界线性算子”出发,逐步过渡到更一般、也更具挑战性的“无界线性算子”,并最终引入其伴随算子的概念。这个过程将帮助我们理解现代偏微分方程等领域的数学基础。
一:有界线性算子
在开始之前,让我们先快速回顾一下有界线性算子的定义。
定义 (有界线性算子):
设 EEE 和 FFF 是两个巴拿赫空间(Banach Space)。一个从 EEE 到 FFF 的线性映射 A:E→FA: E \to FA:E→F 称为有界线性算子,如果存在一个常数 c≥0c \geq 0c≥0,使得对所有 u∈Eu \in Eu∈E 都有:
∥Au∥F≤c∥u∥E \|Au\|_F \leq c \|u\|_E ∥Au∥F≤c∥u∥E
这个最小的常数 (c) 被称为算子 (A) 的范数,记作 (|A|),其定义为:
∥A∥L(E,F)=supu≠0∥Au∥F∥u∥E \|A\|_{\mathcal{L}(E,F)} = \sup_{u \neq 0} \frac{\|Au\|_F}{\|u\|_E} ∥A∥L(E,F)=u=0sup∥u∥E∥Au∥F
例子 1 (积分算子): 考虑空间 E=F=L2([0,1])E = F = L^2([0,1])E=F=L2([0,1])。定义算子 A:L2([0,1])→L2([0,1])A: L^2([0,1]) \to L^2([0,1])A:L2([0,1])→L2([0,1]) 为: (Au)(x)=∫01K(x,y)u(y)dy (Au)(x) = \int_0^1 K(x,y) u(y) dy (Au)(x)=∫01K(x,y)u(y)dy 其中核函数 K(x,y)K(x,y)K(x,y)
满足 ∬∣K(x,y)∣2dxdy<∞\iint |K(x,y)|^2 dx dy < \infty∬∣K(x,y)∣2dxdy<∞。根据施瓦茨不等式,可以证明 AAA 是有界的,且 ∥A∥≤(∬∣K(x,y)∣2dxdy)1/2\|A\| \leq \left( \iint |K(x,y)|^2 dx dy \right)^{1/2}∥A∥≤(∬∣K(x,y)∣2dxdy)1/2。例子 2 (微分算子 - 有界情况): 在有限维空间中,比如 E=P2E = \mathcal{P}_2E=P2(次数 ≤2≤ 2≤2 的多项式),赋予 L2([0,1])L^2([0,1])L2([0,1]) 范数。定义导数算子 A:E→L2([0,1])A: E \to L^2([0,1])A:E→L2([0,1]) 为 $ (Ap)(x) =
p’(x) $。由于 EEE 是有限维的,AAA 是有界线性算子。
二、无界线性算子
在许多实际问题中,特别是偏微分方程和量子力学中,我们遇到的算子往往不是在整个空间上定义的,或者即使定义了,也不满足有界性条件。这就引出了“无界线性算子”的概念。
定义 (无界线性算子):
设 EEE 和 (F) 是两个巴拿赫空间。一个无界线性算子 AAA 是一个从 EEE 的某个线性子空间 D(A)⊂ED(A) \subset ED(A)⊂E 映射到 FFF 的线性映射。集合 D(A)D(A)D(A) 称为 AAA 的定义域(Domain)。
定(图(Graph))
为了研究无界算子,我们需要一个新的工具:算子的图。
G(A)={
[u,Au]∣u∈D(A)}⊂E×F G(A) = \{ [u, Au] \mid u \in D(A) \} \subset E \times F G(A)={[u,Au]∣u∈D(A)}⊂E×F
这是一个在乘积空间 E×FE \times FE×F 中的子集。
定义 (闭算子):
一个算子 AAA 被称为闭的(Closed),如果它的图 G(A)G(A)G(A) 在 E×FE \times FE×F 中是闭集。
如何验证一个算子是闭的?
取一个序列 (un)⊂D(A)(u_n) \subset D(A)(un)⊂D(A),使得 un→uu_n \to uun→u 在 EEE 中,且 Aun→fAu_n \to fAun→f 在 FFF 中。要证明 AAA 是闭的,只需验证两点:
(a) u∈D(A)u \in D(A)u∈D(A)
(b) f=Auf = Auf=Au
例子 3 (微分算子 - 无界情况): 考虑 E=F=L2(R)E = F = L^2(\mathbb{R})E=F=L2(R)。定义算子 A:D(A)⊂L2(R)→L2(R)A: D(A) \subset L^2(\mathbb{R}) \to L^2(\mathbb{R})A:

最低0.47元/天 解锁文章
73

被折叠的 条评论
为什么被折叠?



