[论文解读] Summability of Multi-Dimensional Trigonometric Fourier Series

Ferenc Weisz|arXiv (Cornell University)|Jun 8, 2012

Advanced Harmonic Analysis ResearchMathematics被引用 21

一句话总结

本文建立了多维三角级数和傅里叶变换的多种求和方法——费耶尔、里斯、θ-求和及矩形求和——的有界性与几乎处处收敛性结果。证明了这些求和方法的极大算子从 Hardy 空间 $H^p$ 到 $L^p$ 有界，当 $p > p_0$ 时成立，且在 $p=1$ 时获得弱型估计，从而确保几乎处处收敛。结果推广至傅里叶变换，并通过 Wiener 类及核函数傅里叶变换的可积性，给出了求和核的精确条件。

ABSTRACT

We consider the summability of one- and multi-dimensional trigonometric Fourier series. The Fej{é}r and Riesz summability methods are investigated in detail. Different types of summation and convergence are considered. We will prove that the maximal operator of the summability means is bounded from the Hardy space $H_p$ to $L_p$, for all $p>p_0$, where $p_0$ depends on the summability method and the dimension. For $p=1$, we obtain a weak type inequality by interpolation, which ensures the almost everywhere convergence of the summability means. Similar results are formulated for the more general $θ$-summability and for Fourier transforms.

研究动机与目标

• 建立多维三角级数在各种求和方法下的 $L^p$ 有界性与几乎处处收敛性。
• 刻画确保 $f \in L^p$ 和 $f \in L(\log L)^{d-1}$ 时在 $L^p$ 和几乎处处收敛的求和核（如 $\theta$-函数）的条件。
• 将求和理论推广至矩形求和与受限求和，包括锥形与类锥形区域。
• 分析与求和方法相关的极大算子的行为，并将其与 Hardy 空间及极大函数联系起来。
• 通过研究 $\mathbb{R}^d$ 上傅里叶变换的 $\theta$-求和，将结果从周期情形推广至非周期情形。

提出的方法

• 使用 Hardy 空间 $H^p(T^d)$ 和 $H^p(\mathbb{R}^d)$ 的理论，特别是原子分解与极大函数。
• 应用实分析技巧，包括插值与弱型估计，证明极大算子从 $H^p$ 到 $L^p$ 的有界性。
• 采用核分析：通过其傅里叶变换刻画求和核（如费耶尔、里斯、博赫纳-里斯与 $\theta$-核）的 $L^1$-范数与 $L^\infty$-范数。
• 引入并分析 $\ell^q$-求和（三角形、圆形、立方体形）与矩形求和，区分无限制与受限收敛。
• 应用 Wiener 类 $W(C, \ell^1)$ 与 $\hat{\theta} \in E'_\infty$ 的条件，刻画 $\theta$-均值的收敛性。
• 利用极大函数估计与弱型不等式，推导几乎处处收敛结果，尤其在勒贝格点与强勒贝格点处。

实验结果

研究问题

• RQ1 对于哪些 $p > p_0$，$\ell^q$-求和方法的极大算子从 $H^p(T^d)$ 有界到 $L^p(T^d)$？
• RQ2 求和核 $\theta$ 需满足何种条件，才能保证对所有 $f \in L(\log L)^{d-1}(T^d)$，有 $\sigma_\theta^n f$ 几乎处处收敛？
• RQ3 极大算子 $\sigma_\theta^*$ 的有界性与 $\hat{\theta}$ 的可积性及衰减性有何关系？
• RQ4 在何种条件下，$\mathbb{R}^d$ 上傅里叶变换的 $\theta$-求和对所有 $f \in L^1(\mathbb{R}^d)$ 几乎处处收敛？
• RQ5 Wiener 类 $W(C, \ell^1)$ 与 $\theta$-均值在勒贝格点处的收敛性之间的确切关系为何？

主要发现

• 对于所有 $p > p_0$，$\ell^q$-求和方法的极大算子从 $H^p(T^d)$ 有界到 $L^p(T^d)$，其中 $p_0$ 依赖于 $q$ 与 $d$。
• 在 $p = 1$ 时，通过插值得到弱型 $(1,1)$ 不等式，确保求和方法的几乎处处收敛。
• 若 $\theta \in W(C, \ell^1)(\mathbb{R}^d)$，$\theta(0) = 1$，且 $\|K_\theta^n\|_{E'_\infty(T^d)} \leq C$，并在原点外紧集上一致衰减，则 $\theta$-求和方法 $\sigma_\theta^n f$ 对所有 $f \in L(\log L)^{d-1}(T^d)$ 几乎处处收敛于 $f$。
• 对于 $\mathbb{R}^d$ 上傅里叶变换的 $\theta$-求和，若 $\hat{\theta} \in E_\infty(\mathbb{R}^d)$，则对所有 $f \in L^1(\mathbb{R}^d)$，在 $f$ 的勒贝格点处几乎处处收敛。
• 逆命题成立：若对所有 $f \in L^1(\mathbb{R}^d)$，$\sigma_\theta^n f$ 在勒贝格点处几乎处处收敛于 $f$，则必有 $\hat{\theta} \in E_\infty(\mathbb{R}^d)$，从而建立了精确条件。
• 若 $\theta = \prod_{j=1}^d \theta_j$，且每个 $\theta_j \in V^2_1(\mathbb{R})$ 或 $\theta_j \in Mv^1_1(\mathbb{R})$，则 $\theta$-均值在 $f \in L(\log L)^{d-1}(T^d)$ 的勒贝格点处几乎处处收敛。