关于L²空间中序列fₙ→0时xfₙ是否收敛于0的疑问（关联位置算子闭性证明）

Hey，这个问题其实挺有代表性的，我来帮你拆解清楚～首先直接给结论：答案是否定的——存在满足条件的序列fₙ，虽然fₙ在L²(ℝ)中收敛到0，但xfₙ并不收敛到0。我们先构造一个反例，再回头看你关心的位置算子闭性该怎么正确证明。

反例构造 #

我们可以构造一个“尖峰”序列，让它的能量集中在越来越大的x处：

• 对每个正整数n，定义fₙ：它的支撑集是区间[n, n + 1/n³]，在这个区间上fₙ(x) = n，其余地方为0。
• 计算fₙ的L²范数：
  ||fₙ||₂² = ∫_{ℝ} |fₙ(x)|² dx = ∫_{n}^{n+1/n³} n² dx = n² * (1/n³) = 1/n
  显然当n→∞时，||fₙ||₂ → 0，也就是fₙ在L²中收敛到0。
• 再计算xfₙ的L²范数：
  ||xfₙ||₂² = ∫_{ℝ} |x fₙ(x)|² dx ≥ ∫_{n}^{n+1/n³} n² * n² dx = n⁴ * (1/n³) = n
  当n→∞时，这个范数趋向于无穷大，显然不可能收敛到0。

这个反例的核心逻辑很直观：fₙ的“质量”都堆在越来越远的地方，虽然整体L²范数很小，但乘以x之后，大x的权重把范数彻底放大了，导致xfₙ的范数直接发散。

位置算子闭性的正确证明 #

你原来想通过f=0的特殊情况来推导，但其实这个特殊情况不成立，不过没关系，我们换个思路直接证明闭性：

假设fₙ→f（L²范数收敛），且xfₙ→g（L²范数收敛），我们需要证明f∈D(x)（即xf∈L²）且g=xf。

我们利用紧支集光滑函数的稠密性来完成证明：

1. 任取φ∈C_c^∞(ℝ)（这类函数在L²中是稠密的），考虑内积<xfₙ, φ>：因为xfₙ→g，所以<xfₙ, φ> → <g, φ>。
2. 另一方面，我们可以把内积改写为：
   <xfₙ, φ> = ∫ℝ xfₙ(x)φ(x)dx = ∫ℝ fₙ(x) * (xφ(x))dx = <fₙ, xφ>
   注意xφ(x)是L²中的函数——因为φ有紧支集，xφ在紧集外为0，且在紧集上有界，所以平方可积。
3. 由于fₙ→f在L²中，所以<fₙ, xφ> → <f, xφ> = ∫ℝ f(x)xφ(x)dx = <xf, φ>。
4. 结合1和3的结果，对所有φ∈C_c^∞，都有<g, φ> = <xf, φ>。而C_c^∞在L²中稠密，这就意味着g=xf几乎处处成立；同时g∈L²，所以xf∈L²，即f∈D(x)。

这样就完成了位置算子闭性的证明，完全不需要依赖“fₙ→0则xfₙ→0”这个错误的假设。

备注：内容来源于stack exchange，提问作者Laplacian