[论文解读] On a Hardy-Littlewood theorem

Elijah Liflyand, Ulrich Stadtmüller|arXiv (Cornell University)|Mar 7, 2013

Mathematics and Applications参考文献 17被引用 3

一句话总结

本文将经典的 Hardy-Littlewood 定理从傅里叶级数的绝对收敛性推广到实轴上的函数，证明若一个函数及其通过修正 Hilbert 变换得到的共轭函数均属于有界变差类且在无穷远处趋于零，则其傅里叶变换是可积的。该结果通过 Hardy 型不等式与实轴上的 Hardy 空间 $ H^1(\mathbb{R}) $ 推导得出，原始的周期性定理在函数具有紧支集时被证明是此新结果的特例。

ABSTRACT

A known Hardy-Littlewood theorem asserts that if both the function and its conjugate are of bounded variation, then their Fourier series are absolutely convergent. It is proved in the paper that the same result holds true for functions on the whole axis and their Fourier transforms with certain adjustments. The proof of the original Hardy-Littlewood theorem is derived from the obtained assertion. It turned out that the former is a partial case of the latter when the function is supposed to be of compact support. A similar result as the obtained one but for radial functions is derived from the one-dimensional case.

研究动机与目标

• 将经典的 Hardy-Littlewood 定理从傅里叶级数的绝对收敛性推广至实轴上的函数。
• 建立 $ \mathbb{R} $ 上函数的傅里叶变换可积性的条件，以傅里叶级数的收敛性替换为傅里叶变换的 $ L^1 $-可积性。
• 证明当函数具有紧支集时，原始的 Hardy-Littlewood 定理是新结果的特例。
• 通过 Leray 公式与一维理论，将一维结果推广至高维中的径向函数。

提出的方法

• 使用修正 Hilbert 变换 $ \widetilde{f}(x) $，其通过加入校正项 $ \frac{t}{1+t^2} $ 确保有界函数下存在。
• 应用恒等式 $ \frac{d}{dx}\widetilde{f}(x) = \mathcal{H}f'(x) $ 几乎处处成立，依赖分部积分与局部绝对连续性，适用于 Lebesgue 点。
• 通过验证 $ \|f'\|_{L^1} + \|\mathcal{H}f'\|_{L^1} < \infty $，证明 $ f' \in H^1(\mathbb{R}) $，利用 $ f $ 与 $ \widetilde{f} $ 的有界变差性质。
• 采用 Hardy 型不等式：$ \int_{\mathbb{R}} \frac{|\widehat{f'}(x)|}{|x|} dx \leq \|f'\|_{H^1} $，将傅里叶变换的 $ L^1 $-范数与 $ H^1 $-范数联系起来。
• 利用关系式 $ \widehat{\mathcal{H}f'}(x) = i \operatorname{sign}(x) \widehat{f'}(x) $，将 $ \widetilde{f} $ 的傅里叶变换与 $ \widehat{f'} $ 关联，从而实现 $ \widehat{\widetilde{f}} $ 的 $ L^1 $-可积性。
• 应用 Leray 公式处理径向函数，将多维傅里叶变换化为一维振荡积分，再对所得核函数应用主定理。

实验结果

研究问题

• RQ1 在何种条件下，实轴上函数 $ f $ 的傅里叶变换 $ \widehat{f} $ 是可积的？
• RQ2 经典的 Hardy-Littlewood 定理关于傅里叶级数的绝对收敛性，能否作为实轴上更广泛结果的特例被导出？
• RQ3 如何将共轭函数的概念适配于非周期性、有界变差的实轴函数，其中标准 Hilbert 变换可能不存在？
• RQ4 基于其径向轮廓的一维性质，何种条件可确保 $ \mathbb{R}^n $ 中径向函数的傅里叶变换是 Lebesgue 可积的？
• RQ5 H^1(\mathbb{R}) $ 空间与 Hardy 型不等式在将经典傅里叶分析结果推广至非周期性情形方面，其作用程度如何？

主要发现

• 若 $ f $ 在 $ \mathbb{R} $ 上属于有界变差类，且在无穷远处趋于零，其共轭函数 $ \widetilde{f} $ 也属于有界变差类，则 $ \widehat{f} $ 与 $ \widehat{\widetilde{f}} $ 均在 $ \mathbb{R} $ 上可积。
• 共轭函数的导数满足 $ \frac{d}{dx}\widetilde{f}(x) = \mathcal{H}f'(x) $ 几乎处处成立，这对于将其与 $ H^1(\mathbb{R}) $ 空间关联至关重要。
• 在给定假设下，函数 $ f' $ 属于实轴上的 Hardy 空间 $ H^1(\mathbb{R}) $，因为 $ \|f'\|_{L^1} $ 与 $ \|\mathcal{H}f'\|_{L^1} $ 均有限。
• Hardy 型不等式 $ \int_{\mathbb{R}} \frac{|\widehat{f'}(x)|}{|x|} dx \leq \|f'\|_{H^1} $ 暗示 $ \|\widehat{f}\|_{L^1} \leq \|f'\|_{H^1} $，从而确立了 $ \widehat{f} $ 的可积性。
• 当 $ f $ 具有紧支集时，原始的 Hardy-Littlewood 定理作为特例被恢复，因为此时修正 Hilbert 变换退化为标准形式，且紧支集函数的傅里叶变换是可积的。
• 对于 $ \mathbb{R}^n $ 中的径向函数，若其关联核函数 $ I(t) $ 的 $ (n-1) $ 阶导数满足一维定理的条件，则 $ f $ 的多维傅里叶变换是可积的。