控制L²范数之和

嘿，这个问题挺有意思的！先直接给结论：答案是否定的——不存在这样的统一常数 ( C > 0 )，能满足对所有 ( f \in L^2(\mathbb{R}) ) 都有 ( \sum_{n=1}^\infty |\psi_n f|{L^2(\mathbb{R})} \leq C |f|{L^2(\mathbb{R})} )。换句话说，你提到的算子 ( \psi: L^2(\mathbb{R}) \rightarrow \ell^1(\mathbb{N}, L^2(\mathbb{R})) ) 并不是有界算子。

下面我给你构造一个具体的反例来验证这一点：

构造反例 #

1. 划分区间：我们把 ( \mathbb{R} ) 拆成一列互不相交的区间 ( {I_n}{n=1}^\infty )，其中每个 ( I_n ) 的长度为 ( \frac{1}{n^4} )（比如可以取 ( I_n = [S{n-1}, S_n) )，其中 ( S_0 = 0 )，( S_n = S_{n-1} + \frac{1}{n^4} )，总长度 ( \sum_{n=1}^\infty \frac{1}{n^4} < \infty )，剩下的实数部分所有 ( \psi_n ) 都取0）。
2. 定义 ( \psi_n )：令 ( \psi_n(x) = 1 ) 当 ( x \in I_n )，否则 ( \psi_n(x) = 0 )。显然 ( \psi_n \geq 0 )，而且对任意 ( x \in \mathbb{R} )，( x ) 最多属于一个 ( I_n )，因此 ( \sum_{n=1}^\infty \psi_n(x) \leq 1 )，完全满足题设条件。
3. 构造测试函数 ( f )：定义 ( f(x) = n ) 当 ( x \in I_n )，否则 ( f(x) = 0 )。先验证 ( f \in L^2(\mathbb{R}) )：

   \|f\|_{L^2(\mathbb{R})}^2 = \sum_{n=1}^\infty \int_{I_n} n^2 dx = \sum_{n=1}^\infty n^2 \cdot \frac{1}{n^4} = \sum_{n=1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6} < \infty
   

   所以 ( f ) 确实是 ( L^2 ) 中的函数。
4. 计算范数之和：现在计算 ( \sum_{n=1}^\infty |\psi_n f|_{L^2(\mathbb{R})} )：

   \|\psi_n f\|_{L^2(\mathbb{R})} = \left( \int_{I_n} n^2 dx \right)^{1/2} = n \cdot \frac{1}{n^2} = \frac{1}{n}
   

   因此 ( \sum_{n=1}^\infty |\psi_n f|{L^2(\mathbb{R})} = \sum{n=1}^\infty \frac{1}{n} )，这是发散的调和级数，趋向于无穷大。

对比L¹的情况 #

你提到L¹的情况很容易用Tonelli定理解决，这里再补充一下：在L¹中，我们可以交换求和和积分的顺序：

\sum_{n=1}^\infty \|\psi_n f\|_{L^1(\mathbb{R})} = \sum_{n=1}^\infty \int_{\mathbb{R}} |\psi_n(x) f(x)| dx = \int_{\mathbb{R}} \sum_{n=1}^\infty \psi_n(x) |f(x)| dx \leq \int_{\mathbb{R}} |f(x)| dx = \|f\|_{L^1(\mathbb{R})}

所以取 ( C=1 ) 就满足估计。但L²的情况不行，因为L²的范数涉及平方积分，无法直接得到这样的控制，上面的反例正好利用了这一点——让每个 ( \psi_n f ) 的L²范数之和发散，而 ( f ) 本身的L²范数却是有限的。

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