[论文解读] Some Problems in Harmonic Analysis

Loukas Grafakos, Diogo Oliveira e Silva+3 more|arXiv (Cornell University)|Jan 23, 2017

Acoustic Wave Phenomena Research参考文献 46被引用 24

一句话总结

本文在2016年为纪念迈克尔·克里斯特而举办的会议上，由顶尖研究者提出16个调和分析领域的开放问题。研究内容涵盖球面上的卷积不等式、流形上的广义加性能量、与奇异测度相关的极大函数，以及具有几何条件的稀疏极大算子在 $L^p$ 有界的判定，关键成果包括通过关于帽长的几何积分条件对 $L^2$ 有界性进行刻画。

ABSTRACT

In May 2016, we organized a conference in harmonic analysis in honor of Professor Michael Christ, on the campus of the University of Wisconsin in Madison. We are happy to present sixteen open problems, almost all of which were contributed by participants of a problem session held in the afternoon of May 19, 2016.

研究动机与目标

• 在2016年纪念迈克尔·克里斯特的会议之后，识别并形式化现代调和分析中的关键开放问题。
• 研究一种通过反射定义的新球面上卷积的Riesz–Sobolev型不等式是否成立。
• 在低维情况下，确定单位球面与抛物面上广义加性能量的最优界。
• 为与平面凸域相关的稀疏极大算子的 $L^p$ 有界性，建立必要且充分的几何条件。
• 将已知的与曲面测度相关的极大函数结果推广至具有更弱傅里叶衰减的更一般奇异测度。

提出的方法

• 使用对称递减重排与凸对偶性，将齐次空间上的卷积不等式重新表述。
• 应用富比尼定理与变量替换，分析球面卷积算子的 $L^1$-范数。
• 采用两点对称化与球面上的几何分析，研究卷积算子的行为。
• 将帽长 $\Lambda(\theta,\delta)$ 定义为凸域上曲面测度傅里叶衰减的代理量。
• 利用傅里叶变换估计 $|\widehat{\sigma}(R\theta)| \leq C_\Omega \Lambda(\theta, R^{-1})$，建立几何与分析性质之间的联系。
• 通过积分 $\sup_\theta \int_0^{\delta_0} \Lambda(\theta,\delta)^2 \frac{d\delta}{\delta} < \infty$ 建立 $L^2$-有界性准则。

实验结果

研究问题

• RQ1 对于 $d > 1$ 的球面 $S^d$，基于反射的卷积是否满足Riesz–Sobolev不等式？
• RQ2 在 $S^2$ 上，广义加性能量 $\mathbb{E}_2(A)$ 是否对任意 $\epsilon > 0$ 满足 $\|A\|^{2+\epsilon}$ 的有界性？
• RQ3 在 $S^1$ 上，$\mathbb{E}_3(A)$ 是否满足 $\mathbb{E}_3(A) \lesssim_\epsilon \|A\|^{3+\epsilon}$？
• RQ4 若对 $p \neq 2$ 有 $\sup_\theta \int_0^{\delta_0} \Lambda(\theta,\delta)^p \frac{d\delta}{\delta} < \infty$，稀疏极大算子 $\mathcal{M}$ 是否在 $L^p(\mathbb{R}^2)$ 上有界？
• RQ5 对于满足维数与光滑性条件的奇异测度 $\mu$，极大算子 $\mathscr{M}$ 是否将 $H^1(\mathbb{R}^d)$ 映射到弱-$L^1$？

主要发现

• 在 $S^1$ 上，由于 A. Baernstein 的结果，Riesz–Sobolev 不等式成立，因为反射卷积退化为稀释的标准卷积。
• 球面卷积 $f*g$ 的 $L^1$-范数在对称递减重排下增加，因为雅可比行列式 $|x-y|^{-(d-1)}$ 关于距离是对称且递减的。
• 稀疏极大算子 $\mathcal{M}$ 的 $L^2$-有界性等价于 $\sup_\theta \int_0^{\delta_0} \Lambda(\theta,\delta)^2 \frac{d\delta}{\delta} < \infty$ 的有限性，从而确立了精确的几何条件。
• 对于参数化为 $C + \exp(-1/|t|^a)$ 的单个平坦点的区域，$L^2$ 有界性成立当且仅当 $a < 2$，将几何平坦性与分析行为联系起来。
• $L^p$ 有界性的必要条件为 $\|\mathcal{M}\|_{L^p \to L^p} \gtrsim \sup_\theta \left( \int_0^{\delta_0} \Lambda(\theta,\delta)^p \frac{d\delta}{\delta} \right)^{1/p}$，提示该积分条件可能也是充分的。
• $\mathscr{M}$ 的 $H^1 \to L^{1,\infty}$ 有界性在球面与具有非零曲率的超曲面上的曲面测度下是已知的，但对更一般的测度仍为开放问题。