单调正l²序列的自卷积问题：a*a是否属于l²？

算力阿峰

2026-5-19

问题解答：l²中单调正序列的自卷积是否仍在l²中？

嘿，这个问题很有针对性！结论是否——存在满足条件的序列，它的自卷积并不属于l²空间，下面给你一个具体的反例：

构造反例序列

取半无限序列 (a_n = \frac{1}{(n+1)^{1/2} \log(n+2)})（其中 (n = 0,1,2,\dots)）：

验证 (a \in l^2)：计算平方和 (\sum_{n=0}^\infty a_n^2 = \sum_{m=1}^\infty \frac{1}{m (\log m)^2})（令 (m=n+1)）。用积分判别法，积分 (\int_2^\infty \frac{1}{x (\log x)^2} dx = -\frac{1}{\log x}\bigg|_2^\infty = \frac{1}{\log 2})，是收敛的，因此 (a \in l^2)。
验证单调性：显然 (a_n) 是正序列，且随着 (n) 增大，分母的两个因子都严格递增，因此 (a_n) 单调递减，完全符合题目要求。

证明自卷积 (a*a \notin l^2)

自卷积的定义是 ((aa)k = \sum{i=0}^k a_i a_{k-i})。我们通过估计下界来证明其平方和发散：
当 (k) 足够大时，考虑 (i) 取 (\lfloor k/2 \rfloor \leq i \leq k)，共约 (k/2) 项。由于 (a_n) 单调递减，有 (a_i \geq a_k)，(a_{k-i} \geq a_{k/2})，因此：
[
(aa)k \geq \frac{k}{2} \cdot a_k \cdot a{k/2}
]
代入 (a_k) 和 (a_{k/2}) 的表达式，当 (k) 很大时近似有：
[
a_k \approx \frac{1}{k^{1/2} \log k}, \quad a_{k/2} \approx \frac{\sqrt{2}}{k^{1/2} \log k}
]
代入后得到：
[
(aa)_k \geq \frac{k}{2} \cdot \frac{1}{k^{1/2} \log k} \cdot \frac{\sqrt{2}}{k^{1/2} \log k} = \frac{\sqrt{2}}{2} \cdot \frac{1}{(\log k)^2}
]
因此平方项满足 ((aa)k^2 \geq \frac{1}{2 (\log k)^4})。而级数 (\sum{k=1}^\infty \frac{1}{(\log k)^4}) 是发散的——因为 (\log k) 的增长远慢于任何多项式，对于任意小的 (\epsilon>0)，当 (k) 足够大时 (\frac{1}{(\log k)^4} > \frac{1}{k^\epsilon})，而 (\sum \frac{1}{k^\epsilon}) 当 (\epsilon \leq 1) 时发散。