[论文解读] Inversion and extension of the finite Hilbert transform on (-1,1)

Guillermo P. Curbera, Susumu Okada+1 more|arXiv (Cornell University)|Jan 18, 2019

Advanced Harmonic Analysis Research参考文献 21被引用 7

一句话总结

本文研究了在 $(-1,1)$ 上的重排不变（r.i.）空间 $X$ 上，有限希尔伯特变换 $T$ 的最优定义域，证明当 $0 < \underline{\alpha}_X \leq \overline{\alpha}_X < 1$ 时，$T$ 在 $X$ 上已达到最优定义，除了 $L^2(-1,1)$，其值域是稠密但不闭的。本文提出一种新方法，证明 $T$ 在 $L^2$ 上也达到最优定义，从而将机翼方程的可解性扩展到更广泛的 r.i. 空间类。

ABSTRACT

The principle of optimizing inequalities, or their equivalent operator theoretic formulation, is well established in analysis. For an operator, this corresponds to extending its action to larger domains, hopefully to the largest possible such domain (i.e, its extit{optimal domain}). Some classical operators are already optimally defined (e.g., the Hilbert transform in $L^p(\mathbb{R})$, $1

研究动机与目标

• 确定有限希尔伯特变换 $T$ 能够连续延拓且保持有界的最大可能定义域。
• 解决长期存在的问题：在 $L^2(-1,1)$ 上，$T$ 是否已达到最优定义，尽管其值域是稠密但不闭的。
• 将机翼方程的可解性从 $L^p(-1,1)$（$p \neq 2$）推广到更广泛的重排不变（r.i.）空间类。
• 证明对于满足 $0 < \underline{\alpha}_X \leq \overline{\alpha}_X < 1$ 的 r.i. 空间 $X$（不包括 $L^2$），$T$ 已达到最优定义。
• 提出一种基于 $L^2$-范数估计与对偶性的新方法，与其它情形中使用的弗雷德霍姆理论方法不同。

提出的方法

• 利用泛分析中不等式优化原理，将最优定义域 $[T,X]$ 定义为 $T$ 可连续延拓的最大空间。
• 应用一种基于 $L^2$ 的新方法，涉及对单位模函数 $\theta$ 取 $\|T(f\theta)\|_2$ 的上确界，导出关键范数估计 $\|f\|_2 \leq \frac{4}{\beta} \sup_A \|T(f\chi_A)\|_2$。
• 利用对偶性与一致有界性原理，证明若对所有博雷尔集 $A$ 都有 $T(f\chi_A) \in L^2$，则 $f \in L^2$。
• 利用 $T: L^2 \to L^2$ 是单射且值域稠密的事实，并借助特定反例 $f_a(x) = \chi_{(a,1)}(x)/\sqrt{1-x^2}$ 分析值域的结构。
• 结合弗雷德霍姆理论与塔拉格朗德关于 $L^0$-值测度的分解定理，分析满足 $0 < \underline{\alpha}_X \leq \overline{\alpha}_X < 1$ 的 r.i. 空间上 $T$ 的最优定义域。
• 利用递减重排与洛伦兹空间技术分析 $T$ 在一般 r.i. 空间上的行为，特别关注博伊德指标 $\underline{\alpha}_X$ 与 $\overline{\alpha}_X$ 的作用。

实验结果

研究问题

• RQ1 在 $L^2(-1,1)$ 上，有限希尔伯特变换 $T$ 是否已达到最优定义，尽管其值域是真稠密子空间？
• RQ2 在 $(-1,1)$ 上的哪些重排不变空间 $X$ 满足 $T$ 已达到最优定义，即无法进一步延拓到更大的空间？
• RQ3 已知机翼方程在 $L^p(-1,1)$（$p \neq 2$）上可解，其可解性是否可推广到更广泛的 r.i. 空间类？
• RQ4 重排不变空间 $X$ 的博伊德指标 $\underline{\alpha}_X$ 与 $\overline{\alpha}_X$ 与其上 $T$ 的最优定义域之间有何关系？
• RQ5 用于 $L^2$ 上 $T$ 的基于 $L^2$ 的方法能否推广到其他 r.i. 空间（如 $L^{2,q}$，$q \neq 2$）？

主要发现

• 尽管值域是真稠密子空间，有限希尔伯特变换 $T$ 在 $L^2(-1,1)$ 上已达到最优定义，这是通过一种基于 $L^2$-范数估计的新方法实现的。
• 对于满足 $0 < \underline{\alpha}_X \leq \overline{\alpha}_X < 1$ 的 r.i. 空间 $X$（不包括 $L^2$），变换 $T_X$ 已达到最优定义，该结论通过弗雷德霍姆理论与塔拉格朗德分解定理得到证明。
• 机翼方程的解从 $L^p(-1,1)$ 推广到所有满足 $0 < \underline{\alpha}_X \leq \overline{\alpha}_X < 1$ 的 r.i. 空间 $X$。
• 建立了一个关键范数估计：$\|f\|_{L^2} \leq \frac{4}{\beta} \sup_{A \in \mathcal{B}} \|T(f\chi_A)\|_{L^2}$，其中 $\beta > 0$ 为绝对常数，该估计通过变换表征了 $L^2$ 成员资格。
• $\mathbf{F}^p(\mathbb{T})$ 空间（$1 < p < 2$）在精神上类似于 $T$ 的最优定义域，提示了奇异积分算子最优延拓的更广泛原理。
• 结果表明，对所有满足 $0 < \underline{\alpha}_X \leq \overline{\alpha}_X < 1$ 的 r.i. 空间，有 $[T,X] = X$，包括 $L^2$，尽管 $L^2$ 的证明在本质上与其他情形不同。