[论文解读] On necessary and sufficient conditions for $L^p$-estimates of Riesz transforms associated to elliptic operators on $\RR^n$ and related estimates

Pascal Auscher|arXiv (Cornell University)|Jun 2, 2005

Advanced Harmonic Analysis Research参考文献 29被引用 57

一句话总结

本文確立了在 $\mathbb{R}^n$ 上，與二階橢圓型微分算子（以散度形式表示）相關的 Riesz 变换及其相關算子（例如，平方函數、半群）在 $L^p$ 穩定性方面的必要與充分條件。文章引入了四個與半群及其梯度相關的臨界指數，用以確定這些算子有界性的完整 $p$ 範圍，統一並推廣了先前的研究成果，特別是透過新穎的 $L^p$-有界性準則，區分了 $p<2$ 與 $p>2$ 兩種情況。

ABSTRACT

This article focuses on $L^p$ estimates for objects associated to elliptic operators in divergence form: its semigroup, the gradient of the semigroup, functional calculus, square functions and Riesz transforms. We introduce four critical numbers associated to the semigroup and its gradient that completely rule the ranges of exponents for the $L^p$ estimates. It appears that the case $p&lt;2$ already treated earlier is radically different from the case $p&gt;2$ which is new. We thus recover in a unified and coherent way many $L^p$ estimates and give further applications. The key tools from harmonic analysis are two criteria for $L^p$ boundedness, one for $p&lt;2$ and the other for $p&gt;2$ but in ranges different from the usual intervals $(1,2)$ and $(2,\infty)$.

研究动机与目标

• 確立與 $\mathbb{R}^n$ 上以散度形式表示的橢圓型算子相關的 Riesz 變換及其相關算子（例如，平方函數、半群）在 $L^p$-有界性方面的必要與充分條件。
• 透過引入源自半群及其梯度的四個臨界指數，統一並推廣先前的 $L^p$ 評估，這些指數決定了相關算子有界性的完整 $p$ 範圍。
• 解決 $p<2$ 與 $p>2$ 兩種情況之間的差異，表明後者在本質上是全新的，需要不同的分析工具。
• 提出一個一致的框架，使用新的 $L^p$-有界性準則——一個適用於 $p<2$，另一個適用於 $p>2$——這些準則超越了標準的區間 $(1,2)$ 與 $(2,\infty)$。

提出的方法

• 引入四個源自半群 $e^{-tL}$ 及其梯度 $\nabla e^{-tL}$ 的臨界指數，用以決定相關算子的 $L^p$-有界性範圍。
• 應用兩種新的 $L^p$-有界性準則：一個適用於 $p<2$，另一個適用於 $p>2$，兩者均適用於與傳統 $(1,2)$ 和 $(2,\infty)$ 區間不同的範圍。
• 利用非對角 $L^2$ 評估與 $L^2$ 上的解析函數演算，推導出平方函數與 Riesz 變換的評估。
• 運用良好的 lambda 不等式與適應於 Sobolev 函數的 Calderón-Zygmund 分解技術，以控制梯度的弱型行為。
• 應用超收斂性與 $W^{1,p}$ 橢圓型估計，將半群行為與梯度及 Riesz 變換的 $L^p$-有界性聯繫起來。
• 利用 Kato 圖與 Hardy-Littlewood-Sobolev 評估，分析函數演算與 $L^p$-有界性之間的相互作用。

实验结果

研究问题

• RQ1 對於 $\mathbb{R}^n$ 上以散度形式表示的一般橢圓型算子 $L$，Riesz 變換 $\nabla L^{-1/2}$ 的 $L^p$-有界性之必要與充分條件為何？
• RQ2 Riesz 變換有界性的 $p$ 範圍在 $p<2$ 與 $p>2$ 時有何差異？此差異的本質原因為何？
• RQ3 源自半群及其梯度的四個臨界指數在決定相關算子 $L^p$-估計完整範圍中扮演何種角色？
• RQ4 能否使用超越傳統 Calderón-Zygmund 理論的新準則，統一描述 $p \neq 2$ 時平方函數與函數演算的 $L^p$-有界性？
• RQ5 針對 $p<2$ 與 $p>2$ 的新 $L^p$-有界性準則，在結構與應用上與標準 $L^p$ 理論有何不同？

主要发现

• 本文識別出與半群 $e^{-tL}$ 及其梯度 $\nabla e^{-tL}$ 相關的四個臨界指數，這些指數完全決定了 Riesz 變換、平方函數及其他相關算子的 $L^p$-估計成立的 $p$ 範圍。
• 對於 $p>2$，Riesz 變換 $\nabla L^{-1/2}$ 的 $L^p$-有界性透過一個適用於傳統 $(2,\infty)$ 區間以外範圍的新 $L^p$-有界性準則確立，標誌著對先前結果的重大推廣。
• 垂直平方函數 $G_L(f)$ 的 $L^p$-有界性由包含四個臨界指數的必要與充分條件所表徵，推廣了已知的 $L^2$ 結果。
• Riesz 變換 $\nabla L^{-1/2}$ 在 $L^p$ 上有界，當且僅當 $p$ 位於由臨界指數定義的區間內，且 $p<2$ 與 $p>2$ 兩種情況分別由不同的準則所主導。
• 本文證明了在適當範圍內，有 $\|L^{1/2}f\|_{L^p} \sim \|\nabla f\|_{L^p}$，確認了 Kato 猜想的 $L^p$ 版本，並擴展了經典的 $L^2$ 結果。
• Calderón-Zygmund 分解方法被適應於 Sobolev 函數，進而使 $L^p$-Poincaré 不等式與非光滑係數背景下梯度的 $L^p$-有界性得以證明。