[論文レビュー] Square function and heat flow estimates on domains

Oana Ivanovici, Fabrice Planchon|arXiv (Cornell University)|Dec 15, 2008

Advanced Harmonic Analysis Research参考文献 15被引用数 10

ひとこと要約

本稿は、ガウス型熱核評価とスペクトル理論を用いて、ディリクレ境界条件を満たす領域上での平方関数評価および熱流動の境界評価を確立する。熱流動局在化を用いた $ L^p $ 平方関数評価の自己完備的証明を提供し、$ L^p $ ノルムと熱流動微分の平方関数との等価性を示し、分散型 PDE への応用を可能にする。

ABSTRACT

The first purpose of this note is to provide a proof of the usual square function estimate on Lp (?). It turns out to follow directly from a generic Mikhlin multiplier theorem obtained by Alexopoulos, which mostly relies on Gaussian bounds on the heat kernel. We also provide a simple proof of a weaker version of the square function estimate, which is enough in most instances involving dispersive PDEs. Moreover, we obtain, by a relatively simple integration by parts, several useful Lp (?; H) bounds for the derivatives of the heat ?ow with values in a given Hilbert space H.

研究の動機と目的

• 滑らかな境界をもつ領域における $ L^p(\bar{\Omega}) $ 上の平方関数評価の自己完備的証明を提供し、完全な関数計算理論に依存しないようにする。
• 部分積分と放物型評価を用いて、ヒルベルト空間 $ H $ 値をとる熱流動の微分に対する $ L^p $ 界を確立する。
• 熱流動作用素 $ Q_t = \sqrt{t}\nabla S(t) $ および $ \mathbf{Q}_t = t\partial_t S(t) $ が、$ \|f\|_{L^p} $ と等価な平方関数評価を満たすことを示す。
• ガウス型熱核評価に基づくミヒリン＝ホルンダーア乗数定理を用いて、古典的平方関数評価を領域へと拡張する。
• 複素補間とスペクトル計算のみを用いて、分散型 PDE に適した弱い平方関数評価 (1.3) の直接的かつ初等的な証明を提供する。

提案手法

• ガウス型熱核評価に基づくアレクソポロスによる一般化されたミヒリン乗数定理を用い、$ L^p(\Omega) $ 上での平方関数評価を導出する。
• スペクトル局在化と熱核評価を用いて、$ \mathbb{R}^n $ におけるラデマッハ関数の議論を領域へと適応する。
• スペクトル射影作用素と熱流動作用素のほぼ直交性を証明することで、平方関数評価を熱流動局在化に還元する。
• 部分積分を用いて、$ S(t) = e^{t\Delta_D} $ とおくとき、$ \nabla S(t)f $ および $ \partial_t S(t)f $ に対する $ L^p(\Omega; H) $ 界を導出する。
• 平方関数の代表者として、熱流動類似物 $ Q_t = \sqrt{t}\nabla S(t) $ および $ \mathbf{Q}_t = t\partial_t S(t) $ を定義する。
• 複素補間と正則関数計算を用いて、$ \mathrm{Re}\, z > 0 $ の範囲で $ \| (z - \Delta_D)^{-1} \|_{L^p \to L^p} \lesssim |\mathrm{Im}\, z|^{-1} $ の解像度推定を正当化し、扇型領域へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 完全なトライベル＝リゾルキン理論に依存せずに、熱核評価から直接 $ L^p(\Omega) $ 上での平方関数評価を証明できるか？
• RQ2 熱流動を用いた $ L^p $ 平方関数評価を導出するために必要な最小限の仮定（境界の正則性、係数構造など）は何か？
• RQ3 部分積分と基本的な放物型評価のみを用いて、熱流動の微分に対する $ L^p $ 界をどのように確立できるか？
• RQ4 スペクトル乗数定理は、ディリクレ境界条件を満たす領域へとどの程度適応可能か？
• RQ5 分散型 PDE の平方関数評価を証明する際、熱流動アプローチはスペクトル局在化を置き換えることができるか？

主な発見

• ガウス型熱核評価に基づくミヒリン＝ホルンダーア乗数定理から、すべての $ p \in (1,\infty) $ に対して $ \|f\|_{L^p} \approx \left\| \left\{ \sum_j |\Psi(-2^{-2j}\Delta_D)f|^2 \right\}^{1/2} \right\|_{L^p} $ が成り立つ。
• 弱い平方関数評価 (1.3) は $ p \in [2,\infty) $ に対して成り立ち、右辺は $ \| \Psi(-2^{-2j}\Delta_D)f \|_{L^p} $ の $ \ell^2 $-和を含み、複素補間とスペクトル計算のみを用いて証明可能である。
• 作用素 $ Q_t = \sqrt{t}\nabla S(t) $ および $ \mathbf{Q}_t = t\partial_t S(t) $ は、すべての $ 1 < p < \infty $ に対して平方関数評価 $ \|f\|_{L^p} \approx \left\| \left( \int_0^\infty |Q_t f|^2 \frac{dt}{t} \right)^{1/2} \right\|_{L^p} $ を満たす。
• $ Q_t $ および $ \mathbf{Q}_t $ はすべての $ 1 < p < \infty $ に対して $ L^p(\Omega) $ 上で有界であり、その $ L^p $ 作用素ノルムは $ \Psi $ の $ C^N $-セミノルムによって制御される。
• 解像度推定 $ \| (z - \Delta_D)^{-1} \|_{L^p \to L^p} \lesssim |\mathrm{Im}\, z|^{-1} $ は、扇型領域 $ |\arg z| < \pi - \epsilon $ において一様に成り立ち、スペクトル乗数の定義に不可欠である。
• 領域上での熱核はガウス型評価を満たし、これがミヒリン＝ホルンダーア乗数定理の根拠となり、完全な関数計算を用いずに平方関数評価を導出可能である。