[論文レビュー] Boundedness of Maximal Calder\'on-Zygmund Operators on Non-homogeneous Metric Measure Spaces

Suile Liu, Yan Meng+1 more|arXiv (Cornell University)|Aug 27, 2013

Advanced Harmonic Analysis Research参考文献 18被引用数 4

ひとこと要約

本稿では、上付きの倍加および幾何学的倍加条件を満たす非同次な距離測度空間上における、最大Calderón-Zygmund作用素の Lp(µ) 有界性（p ∈ (1, ∞)）と弱型 (1,1) 有界性の同値性を確立する。新しいCotlar型不等式を証明し、Calderón-Zygmund作用素の L2(µ) 有界性を活用することで、すべての p ∈ (1, ∞) における Lp(µ) 有界性および弱型 (1,1) 有界性が直接的に導かれることが示され、非同次調和解析分野における先行研究を著しく改善する。

ABSTRACT

Let $(\cx,\,d,\,\mu)$ be a metric measure space and satisfy the so-called upper doubling condition and the geometrically doubling condition. In this paper, the authors show that for the maximal Calder\'on-Zygmund operator associated with a singular integral whose kernel satisfies the standard size condition and the H\"ormander condition, its $L^p(\mu)$ boundedness with $p\in(1,\infty)$ is equivalent to its boundedness from $L^1(\mu)$ into $L^{1,\infty}(\mu)$. Moreover, applying this, together with a new Cotlar type inequality, the authors show that if the Calder\'on-Zygmund operator $T$ is bounded on $L^2(\mu)$, then the corresponding maximal Calder\'on-Zygmund is bounded on $L^p(\mu)$ for all $p\in(1,\infty)$, and bounded from $L^1(\mu)$ into $L^{1,\infty}(\mu)$. These results essentially improve the existing results.

研究の動機と目的

• 非同次な距離測度空間上における最大Calderón-Zygmund作用素の Lp(µ) 有界性（p ∈ (1, ∞)）と弱型 (1,1) 有界性の同値性を確立すること。
• 上付きおよび幾何学的倍加の設定に特化した新しいCotlar型不等式を証明すること。
• Calderón-Zygmund作用素 T が L2(µ) 上で有界であるならば、すべての p ∈ (1, ∞) に対して Lp(µ) 有界性および最大作用素の弱型 (1,1) 有界性が成立することを示すこと。
• 倍加測度フレームワークを超えたCalderón-Zygmund理論における既存結果を拡張・改善すること。

提案手法

• 上付きおよび幾何学的倍加条件を測度空間の構造として導入・利用する。
• 標準的なサイズ条件およびHörmander条件を満たす核を用いて最大Calderón-Zygmund作用素を定義する。
• T∗(f)(x) を Tf の最大関数および ∥f∥L∞(µ) に関連付ける新しいCotlar型不等式を確立し、端点推定に不可欠な役割を果たす。
• Cotlar型不等式を弱型推定および L2(µ) 有界性と組み合わせ、強型推定を導出する。
• dyadic分解および被覆議論を用いて、最大作用素のレベル集合を制御する。
• 非同次設定におけるJohn-Nirenberg不等式および最大関数推定を活用し、弱型ノルムを制御する。

実験結果

リサーチクエスチョン

• RQ1 非同次な距離測度空間上において、最大Calderón-Zygmund作用素の Lp(µ) 有界性は、その弱型 (1,1) 有界性と同値であるか？
• RQ2 上付きおよび幾何学的倍加の設定において、L2(µ) 有界性と端点推定を結ぶ新しいCotlar型不等式を確立できるか？
• RQ3 Calderón-Zygmund作用素 T が L2(µ) 上で有界であるならば、すべての p ∈ (1, ∞) に対して Lp(µ) 有界性および最大作用素の弱型 (1,1) 有界性が成立するか？
• RQ4 上付きおよび幾何学的倍加条件は、古典的倍加空間と比較して、最大Calderón-Zygmund作用素の挙動にどのように影響を与えるか？
• RQ5 この一般化された設定において、最大関数およびdyadic分解を用いて端点推定を制御できるか？

主な発見

• 上付きおよび幾何学的倍加距離測度空間上では、最大Calderón-Zygmund作用素のすべての p ∈ (1, ∞) における Lp(µ) 有界性が、L1(µ) から L1,∞(µ) への有界性と同値である。
• 新しいCotlar型不等式が確立された：f ∈ L2(µ) ∩ L∞(µ) に対して T∗(f)(x) ≤ C3[M(5)(Tf)(x) + ∥f∥L∞(µ)] が成り立ち、これは端点推定に不可欠である。
• Calderón-Zygmund作用素 T が L2(µ) 上で有界であるならば、対応する最大Calderón-Zygmund作用素は、すべての p ∈ (1, ∞) に対して Lp(µ) 上で有界であり、かつ L1(µ) から L1,∞(µ) へ有界である。
• T∗ の弱型 (1,1) 推定は、f = g + h の分解を用いて制御され、g が定数倍の t によって点ごとに支配され、T∗(h) のレベル集合の測度が O(1/t)∥f∥L1(µ) であることが示される。
• T∗(h)(x) の分解における E(x), F(x), G(x), H(x) の項の推定は、新しいCotlar不等式および最大関数の有界性を用いて制御され、期待される弱型推定が得られる。
• 従来の研究よりも著しく進歩しており、完全な倍加性やHörmander条件を越えた強い核の正則性といった、より強い仮定の必要性が排除された。