[論文レビュー] Analyticity and loss of derivatives

Makhlouf Derridj, David S. Tartakoff|ArXiv.org|Apr 7, 2005

Advanced Differential Equations and Dynamical Systems参考文献 2被引用数 3

ひとこと要約

この論文は、Kohnが研究したように、高い階数の微分の損失を伴う平方和作用素の解析的超特異性を確立する。高次の時間微分 $T^p$ の新しいバランスの取れた局所化を構築し、再帰的交換子解析を繰り返し適用することで、著者らは $Pu = f$ の解が $f$ が解析的である任意の点で実解析的であることを示し、階数の階乗的増加を示す $C^u$-型の境界を得る。

ABSTRACT

We prove local real analytic hypoellipticity for a sum of squares of complex vector fields studied by J.J. Kohn in a paper to appear in the Annals of Mathematics entitled "Hypoellipticity and loss of derivatives". The operator exhibits a loss of many derivatives but is nonetheless hypoelliptic, and, using L2 methods, we prove analytic hypoellipticity.

研究の動機と目的

• Kohnの最近の研究で特定された、顕著な微分の損失を伴う超特異作用素に対して、解析的超特異性を確立すること。
• 時間微分 $T = -2i\partial_t$ の高次のべきに対する特別な局所化を構築することで、微分の制御が不十分な状況を克服すること。
• 高次の微分の損失を段階的な局所化で管理することで、$z=0$ を含む全近傍にわたり、$z\neq0$ の領域での既知の解析性結果を拡張すること。
• 再帰的交換子技術と重み付きシュワーツ不等式を用いて、$H^{-(k-1)/2}$ の制御しか得られない場合でも、解が実解析的であることを示すこと。
• 各サイクルで微分の数を $3/4$ の要因で繰り返し減少させることで、$p$ に依存しない一様な境界に到達すること。

提案手法

• $L$, $\overline{L}$, $T$, $z$, $\overline{z}$ の微分をバランスさせる新しい局所化作用素 $(T^{p_1,p_2})_\varphi$ を導入し、$z=0$ の近傍で $\varphi$ が $z$ に依存しないようにする。
• 交換子の恒等式を用いて、$[L, (T^{p_1,p_2})_\varphi]$ と $[\overline{L}, (T^{p_1,p_2})_\varphi]$ を低次の局所化作用素で表し、$\overline{L}$ と $\overline{z}^kL$ の制御を保持する。
• $v = (T^{p/2,p/2})_\varphi u$ にあらかじめ推定を適用し、主要項 $\|\overline{L}v\|_0^2 + \|\overline{z}^kLv\|_0^2$ を分離し、部分積分と重み付きシュワーツ不等式を用いて交換子 $[P, (T^{p/2,p/2})_\varphi]$ を評価する。
• 各サイクルで自由な $T$-微分の数を最大 $p/2$ 減少させ、制御が失われた場合に $H^{-(k-1)/2}$ 項を用いて再局所化を行う新しい関数を導入する。
• $T^{3p/4}$ に対して新たな局所化を用い、各反復で次数を $3/4$ の要因で減少させ、自由微分の数を有界な数にまで減らす。
• すべてのネストされた開集合が、$Pu$ が解析的である単一の解析的領域 $\Omega_1$ に含まれることを用い、定数が $p$ に依存しないことを保証する。

実験結果

リサーチクエスチョン

• RQ1 Kohnの最近の結果のように、大きな微分の損失を伴う平方和作用素に対して、解析的超特異性を確立できるか？
• RQ2 標準的なベクトル場 $\overline{L}$ や $\overline{z}^kL$ が高次の推定に不十分な場合、微分の制御の喪失をどのように管理できるか？
• RQ3 再帰的局所化が失敗した場合、あらかじめ推定における $H^{-(k-1)/2}$ 項の役割は何か？
• RQ4 各反復で $3/4$ の減少要因を持つ再帰的局所化スキームでも、高次の微分に対して一様な境界が得られるか？
• RQ5 $T^p$ のバランスの取れた局所化を用いて、$z \neq 0$ での解の解析性を $z = 0$ にまで拡張することは可能か？

主な発見

• $f$ が実解析的である任意の開集合で、$Pu = f$ の解 $u$ は実解析的である。これは、あらかじめ推定が微分を $-(k-1)/2$ 階数までしか制御しないにもかかわらず成り立つ。
• 著者らは、$L$, $\overline{L}$, $T$, $z$, $\overline{z}$ の微分をバランスさせる新しい局所化作用素 $(T^{p_1,p_2})_\varphi$ を構築し、高次の微分の再帰的制御を可能にする。
• 交換子推定により、各反復で自由な $T$-微分の数は最大 $p/2$ 減少し、その後 $T^{3p/4}$ に対して新たな局所化を用い、各反復で次数を $3/4$ の要因で減少させる。
• $\log_{4/3}p$ 回の反復後、微分の数は有界な数にまで減少し、$p$ に依存しない一様な境界が得られる。
• 最終的な推定で $|D^{|α|}u|_{L^∞(\Omega_0)} \leq C C^p p^p$ が得られ、これは標準的な基準により $\Omega_0$ における $u$ の解析性を示す。
• 推定における定数は $p$ に依存せず、$Pu$ の解析性にのみ依存し、あらかじめ推定における大きな微分の損失があっても、この手法は依然として有効である。