[論文レビュー] Lectures on the Kato square root problem

Pascal Auscher|arXiv (Cornell University)|Aug 4, 2001

Numerical methods in inverse problems参考文献 12被引用数 10

ひとこと要約

本稿は、発散型形式の楕円型作用素に対するカトーの平方根問題を、局所的T(b)定理とCarleson測度の推定を含む高度な調和解析的手法を用いて解決する。具体的には、このような作用素の平方根の定義域が形式的定義域と一致することを示し、複素係数を有する場合でも成り立つ。証明はT(1)およびT(b)定理、熱流体力学的手法、および扇形分解を用いて、振動積分を制御し、複素係数を有する状況下での平方関数の有界性を確立する。

ABSTRACT

This is the text of a series of three lectures given at the CMA of the Australian National University on the recent solution of the square root problem for divergence form elliptic operators, a long-standing conjecture posed by Kato in the early 60's. In this text, the motivations for this problem and its situation are given. The ideas from harmonic analysis on the T(1) theorem and T(b) theorem for square functions are described. In particular, an apparently new formulation of a local T(b) theorem for square functions is stated. The ideas of the full proof are presented. I want to thank the CMA at the Australian National University for inviting me during the special program on scattering theory and spectral problems and for the nice and stimulating atmosphere created by the mathematicians at the CMA.

研究の動機と目的

• 発散型形式の楕円型作用素の平方根の定義域が形式的定義域に一致するかどうかを問う、長年の未解決問題であるカトーの平方根問題を解消すること。
• 臨界指数 α = 1/2 において、従来の抽象的関数解析的手法が不十分であった状況を、複素係数作用素に特化した新しい調和解析的手法を導入することで拡張すること。
• 特にCarleson測度推定の文脈において、問題の幾何的性質に適合した平方関数のための局所的T(b)定理を確立すること。
• 作用素Lに関連する平方関数がL²(ℝⁿ)上で有界であることを、停止時刻の議論とCⁿの扇形分解を用いて証明すること。
• 非自己共役作用素であっても、複素係数を有する場合に、作用素L + κの平方根が適切に定義され、その定義域が形式的定義域V^Nに一致することを示すこと。

提案手法

• 調和解析におけるT(1)およびT(b)定理を用いて、作用素Lに関連する平方関数の有界性を制御する。
• 問題の幾何的性質に適合したベクトル値関数に置き換えたbを用いた、平方関数のための新規な局所的T(b)定理を適用する。
• 熱流体力学的およびリゾルベント作用素を、表現式 (I + t²L)⁻¹ を用いて定義・分析し、平方関数 θ_t = tL(I + t²L)⁻¹ を導出する。
• Cⁿを錐C_wに扇形分解することで局所化を行い、平方関数推定における内積の制御を可能にする。
• 2つの停止条件を用いた停止時刻の議論を実施する：1つは ∫_Q' (w*|∇f_Q) の実部に基づくもの、もう1つは勾配のL²ノルムに基づくもので、推定が成立する「良い」立方体を特定する。
• プランシュレの定理と補題32からの楕円的推定を用いて、| (θ_t 1)(x) |² dx dt / t がCarleson測度であることを示すことで、問題を帰着させる。

実験結果

リサーチクエスチョン

• RQ1 発散型形式の楕円型作用素に対して、複素係数を有する場合に、(L + κ)^{1/2} の定義域が形式的定義域V^Nに一致するかどうか、カトーが提唱した仮説を検証する。
• RQ2 標準的なT(1)定理が臨界指数 α = 1/2 で失敗する状況下で、T(b)定理をベクトル値作用素および複素係数を有する状況に適応可能かどうか。
• RQ3 与えられた強楕円的および有界性条件の下で、作用素Lに関連する平方関数がL²(ℝⁿ)上で有界かどうか。
• RQ4 Cⁿにおける錐の局所化を組み込んだ幾何的制約を反映した、平方関数のための局所的T(b)定理を定式化可能かどうか。
• RQ5 測度 |(θ_t 1)(x)|² dx dt / t がCarleson測度であるための条件は何か。その条件が成立すれば、平方関数の有界性および平方根問題の解決が保証される。

主な発見

• 作用素 (L + κ)^{1/2} の定義域は形式的定義域V^Nに一致し、発散型形式の楕円型作用素に対してカトーの平方根問題が解決された。
• 作用素族 (θ_t) がリゾルベント (I + t²L)^{-1} によって定義される状況下で、T(1)およびT(b)定理を適用することにより、関連する平方関数がL²(ℝⁿ)上で有界であることが示された。
• 測度 |(θ_t 1)(x)|² dx dt / t はCarleson測度である。これは、平方関数の有界性および平方根問題の解決と同値である。
• ベクトル値関数 f_Q^ε に置き換えたbを用いた、平方関数のための新しい局所的T(b)定理が定式化された。証明は、2つの停止条件を用いた停止時刻の議論に依存する。
• 近似関数 f_Q^ε = (I + ε²ℓ(Q)²L)^{-1}f_Q の勾配は、εに依存しない一様なL²(3Q)推定を満たし、T(b)条件の有効性を保証する。
• 証明により、∫_Q |∇f_Q^ε|² ≤ C|Q| および |∫_Q ∇f_Q^ε| ≥ δ|Q| がεが十分に小さいとき成り立つことが示され、T(b)定理に必要なサイズおよびサイズ制御が確認された。