弱收敛与弱星收敛在希尔伯特空间中的区别

在泛函分析中，理解序列的不同收敛方式至关重要。弱收敛与弱星收敛是两种核心的弱拓扑收敛概念，它们在希尔伯特空间中既有联系又有根本区别。本指南将通过清晰的对比和具体的步骤，帮助你彻底理解并区分它们。

1. 理解弱收敛 (Weak Convergence)

弱收敛的定义与空间上的连续线性泛函直接相关。

1. 理解这个定义：设 H 是一个希尔伯特空间，{x_n} 是 H 中的一个序列，x 是 H 中的一个元素。我们说序列 {x_n} 弱收敛到 x，记作 x_n ⇀ x，如果对于 H 上每一个连续线性泛函 f，都有数列 {f(x_n)} 收敛到 f(x)。
2. 牢记关键点：这里的“每一个”连续线性泛函，是由希尔伯特空间的完备对偶结构决定的。根据里斯表示定理，H 上的每个连续线性泛函 f 都对应一个固定的元素 y ∈ H，使得对任意 z ∈ H，有 f(z) = ⟨z, y⟩ (其中 ⟨·, ·⟩ 是 H 的内积)。因此，x_n ⇀ x 等价于：对于任意 y ∈ H，都有内积序列 ⟨x_n, y⟩ 收敛到 ⟨x, y⟩。
3. 想象这样一个例子：考虑希尔伯特空间 L^2[0,1] (平方可积函数空间)。一个典型的弱收敛但不强收敛(即按范数收敛)的序列是 {sin(nπx)}。这个序列的范数(‖sin(nπx)‖ = 1/√2)并不趋于0，但对于任意固定的函数 y ∈ L^2[0,1]，根据黎曼-勒贝格引理，内积 ⟨sin(nπx), y⟩ = ∫₀¹ sin(nπx) y(x) dx 都会随着 n→∞ 而趋于0。因此，该序列弱收敛到零函数。

2. 理解弱星收敛 (Weak* Convergence)

弱星收敛的定义发生在对偶空间上，其检验范围通常比弱收敛更小。

1. 理解这个定义：设 X 是一个赋范空间，X* 是其对偶空间(所有连续线性泛函构成的空间)。设 {f_n} 是 X* 中的一个序列，f 是 X* 中的一个元素。我们说序列 {f_n} 弱星收敛到 f，记作 f_n ⇀* f，如果对于 X 中每一个元素 x，都有数列 {f_n(x)} 收敛到 f(x)。
2. 牢记关键点：弱星收敛的检验“探测器”是原空间 X 中的元素，而不是整个对偶空间 X* 的元素。这通常意味着检验的集合更小，条件更弱。
3. 连接到希尔伯特空间：当 X 本身是一个希尔伯特空间 H 时，H 与它的对偶空间 H* 通过里斯表示定理是等距同构的。我们可以把 H* 中的每个泛函 f 与 H 中唯一的元素 y 对应起来，即 f(·) = ⟨·, y⟩。此时，弱星收敛 f_n ⇀* f 的定义变为：对于原空间 H 中任意 x，有 f_n(x) → f(x)，即 ⟨x, y_n⟩ → ⟨x, y⟩ (其中 y_n 和 y 是 f_n 和 f 对应的代表元)。

3. 严格区分：关键差异所在

现在，我们可以清晰地指出两者在希尔伯特空间 H 中的核心区别。

1. 观察收敛主体：
   • 弱收敛 (⇀)：描述的是原空间 H 中的序列 {x_n} 向 H 中的某个元素 x 的收敛。
   • 弱星收敛 (⇀*)：描述的是*对偶空间 `H** 中的序列{f_n}向H*中的某个泛函f` 的收敛。
2. 对比检验泛函的集合：
   • 对于 H 中的序列 {x_n}，x_n ⇀ x 要求：对所有 y ∈ H，有 ⟨x_n, y⟩ → ⟨x, y⟩。
   • 对于 H* 中的序列 {f_n} (对应 {y_n})，f_n ⇀* f (对应 y_n ⇀* y) 要求：对所有 x ∈ H，有 ⟨x, y_n⟩ → ⟨x, y⟩。
3. 揭示本质联系：注意，两个条件中检验“内积收敛”的数学形式完全一样，都是 ⟨·, ·⟩ 作用在两个变元上。根本区别在于，哪个变元是序列，哪个变元是遍历的测试元素。
   • 在弱收敛中，第一个变元是序列 {x_n}，第二个变元是遍历的测试元素 y。
   • 在弱星收敛中，第一个变元是遍历的测试元素 x，第二个变元是序列 {y_n}。
4. 得出结论：在希尔伯特空间 H 中，将 H 与 H* 等同看待后：
   • H 中序列的弱收敛，等价于 H* 中序列的弱星收敛（当把 x_n 看作 H* 中的元素时）。
   • 因此，在这种等同下，*一个序列在 H 中的弱收敛与它作为 `H` 元素时的弱星收敛是同一回事**。但必须时刻清楚序列被视作哪个空间的元素。
   • 然而，当我们独立讨论两个空间时，弱收敛的拓扑通常强于弱星收敛的拓扑。这是因为弱收敛要求与对偶空间中所有元素配对，而弱星收敛只要求与原空间中所有元素配对。

4. 实际判断收敛的步骤

在实际问题或练习题中，你可以遵循以下步骤进行判断。

1. 确定序列所在的原始空间：首先明确你的序列 {v_n} 是一个希尔伯特空间 H 中的元素序列，还是其对偶空间 H* 中的泛函序列（通常可由代表元序列表示）。
2. 选择正确的收敛概念：
   • 如果序列在 H 中，检查弱收敛 (⇀)。
   • 如果序列在 H* 中，检查弱星收敛 (⇀*)。
3. 构建内积表达式：
   • 对于 H 中的 {x_n}，写出内积 ⟨x_n, y⟩，其中 y 是 H 中的任意测试元素。
   • 对于 H* 中的 {f_n} (对应 {y_n})，写出内积 ⟨x, y_n⟩，其中 x 是 H 中的任意测试元素。
4. 分析内积序列的极限：对于任意固定的测试元素 (y 或 x)，分析数值序列 ⟨x_n, y⟩ 或 ⟨x, y_n⟩ 是否收敛到一个与测试元素相关的线性极限。
5. 验证线性泛函的性质：如果上一步的极限对于每个测试元素都存在，确认这个极限映射是否构成 H 上的一个连续线性泛函。在希尔伯特空间中，这通常意味着极限映射可以表示为内积 ⟨·, z⟩ 的形式。如果可以，则 z 就是弱/弱星极限。
6. 运用反例与等价条件：有时，证明不收敛比证明收敛更容易。可以寻找一个特定的测试元素，使得内积序列不收敛。对于希尔伯特空间中的序列，也有一个实用的等价条件：x_n ⇀ x 当且仅当序列 {‖x_n‖} 有界且 x_n 在 H 的一个稠密子集上收敛。