[論文レビュー] H-log spaces of continuous functions, potentials, and elliptic boundary value problems

H. Beirão da Veiga|arXiv (Cornell University)|Mar 13, 2015

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

ひとこと要約

本稿では、$ \beta > 0 $ に対して $ D^{0,\beta}(\bar{\Omega}) $ と表記されるH-log空間と呼ばれるBanach空間の族を導入し、Hölder空間と連続関数の間の中間的正則性を提供する。外部力 $ f \in D^{0,\alpha}(\bar{\Omega}) $、$ \alpha > 1 $ である2階楕円型境界値問題に対して、解の2階微分は $ \nabla^2 u \in D^{0,\alpha-1}(\bar{\Omega}) $ を満たし、この結果は最適であり、古典的Hölder連続性を超える洗練された正則性スケールを提供する。

ABSTRACT

In these notes we study a family of Banach spaces, denoted $\, D^{0,\,\al}(\Ov)\,,$ $\,\al \in\,\R^+\,,$ and called H-log spaces. For $\,0\,1\,,$ satisfy $\, a^2\,u\in\, D^{0,\,\al-\,1}(\Ov)\,$. This result is optimal, since $\, a^2\,u\in\, D^{0,\,β}(\Ov)\,,$ for some $\,β>\,\al-1\,,$ is false in general. We present a preliminary study on this subject.

研究の動機と目的

• 2階楕円型境界値問題の文脈において、古典的Hölder空間と連続関数の間のギャップを埋めるため。
• 解の2階微分が連続性を越えて向上する中間関数空間を同定し、古典的解の正則性を向上させることを目的とする。
• 中間的正則性を有するBanach空間の新族、$ D^{0,\alpha}(\bar{\Omega}) $ を定義・研究すること。
• 外力 $ f \in D^{0,\alpha}(\bar{\Omega}) $、$ \alpha > 1 $ のとき、ヘッシアン $ \nabla^2 u \in D^{0,\alpha-1}(\bar{\Omega}) $ が成り立つことを確立し、これが最適であること。
• Hölder連続性と連続性の間を補間する、洗練された正則性スケールを提供し、古典的解に対する「最小仮定問題」を解消すること。

提案手法

• 対象となる $ \alpha > 0 $ に対して、対数的連続モジュラスを用いてH-log空間 $ D^{0,\alpha}(\bar{\Omega}) $ を定義し、$ \|f\|_{H(\alpha)} $ を含む、対数的Hölder型セミノルムに基づくノルムを用いる。
• コンパクト埋め込みを確立する：$ C^{0,\lambda}(\bar{\Omega}) \subset D^{0,\alpha}(\bar{\Omega}) \subset C_*(\bar{\Omega}) \subset D^{0,\beta}(\bar{\Omega}) \subset C(\bar{\Omega}) $、$ \alpha > 1 > \beta > 0 $、$ 0 < \lambda \leq 1 $。
• 分割関数と compact な台を持つ切断関数 $ \zeta $ を用いて問題を局所化し、$ \text{supp}(\phi) \subset |x| < 2R $ を満たすようにする。
• 解作用素 $ \boldsymbol{S} $ と作用素 $ \boldsymbol{L} $（ラプラシアン）を用いて、恒等式 $ \boldsymbol{S}\boldsymbol{L}\phi = \phi $ を導出し、正則性推定に応用可能にする。
• $ \zeta $ の $ W^{2,\alpha} $-型ノルムにおける制御を通じて、$ \|\nabla^2 u\|_{\alpha-1; R} \leq C_\theta(R) (\|\boldsymbol{L}u\|_{\alpha; 2R} + \|u\|_{1,\alpha; 2R}) $ という主要な推定を導出する。
• 反射を用いた平坦境界上の鏡像と局所微分同相写像による半球への写像を経て、内部推定を境界に拡張し、有限被覆論法により全体的推定を得る。

実験結果

リサーチクエスチョン

• RQ1 $ C^{0,\lambda}(\bar{\Omega}) $ と $ C(\bar{\Omega}) $ の間で、$ f \in X(\bar{\Omega}) $ である楕円型問題の解に対して $ \nabla^2 u \in C(\bar{\Omega}) $ を保証する関数空間を定義可能か？
• RQ2 外力 $ f \in D^{0,\alpha}(\bar{\Omega}) $、$ \alpha > 1 $ のとき、$ \nabla^2 u $ の正則性の向上は連続性を越えてどの程度達成可能か？
• RQ3 Hölder正則性と連続性の間を補間する空間スケールが存在し、$ \nabla^2 u $ が $ f $ の正則性の厳密に中間のレベルを継承するか？
• RQ4 外力 $ f \in C_*(\bar{\Omega}) $ のとき、2階微分の正則性は連続性を越えて向上可能か？ もし可能であれば、正確な正則性クラスは何か？
• RQ5 反射と局所座標変換を用いて、ゼロDirichlet境界条件の下で内部正則性推定を境界に拡張する方法は何か？

主な発見

• 外力 $ f \in D^{0,\alpha}(\bar{\Omega}) $、$ \alpha > 1 $ のとき、Dirichlet問題 $ -\Delta u = f $、$ u = 0 $ on $ \Gamma $ の解 $ u $ に対して、$ \nabla^2 u \in D^{0,\alpha-1}(\bar{\Omega}) $ が成り立ち、正則性の転送が鋭い形で確立される。
• 結果 $ \nabla^2 u \in D^{0,\alpha-1}(\bar{\Omega}) $ は最適である：一般には $ \nabla^2 u \in D^{0,\beta}(\bar{\Omega}) $（$ \beta > \alpha - 1 $）は成り立たない。
• H-log空間 $ D^{0,\alpha}(\bar{\Omega}) $ は、$ \alpha > 1 > \beta > 0 $、$ 0 < \lambda \leq 1 $ の下で、次のコンパクト埋め込みの鎖を満たす：$ C^{0,\lambda}(\bar{\Omega}) \subset D^{0,\alpha}(\bar{\Omega}) \subset C_*(\bar{\Omega}) \subset D^{0,\beta}(\bar{\Omega}) \subset C(\bar{\Omega}) $。
• 切断関数 $ \zeta $ の $ W^{2,\alpha} $-型ノルムにおけるノルムは、$ C_\theta(R) \sim R^{-(2+\alpha)} $ で有界であり、局所化の議論における正則性の伝播を制御する。
• 内部正則性推定 $ \|\nabla^2 u\|_{\alpha-1; R} \leq C_\theta(R) (\|\boldsymbol{L}u\|_{\alpha; 2R} + \|u\|_{1,\alpha; 2R}) $ が、$ 0 < 2R < 1 $ に対して、恒等式 $ \boldsymbol{S}\boldsymbol{L}\phi = \phi $ を用いて確立される。
• 境界正則性結果は、平坦境界上の反射と局所微分同相写像を経て半球から一般の領域に拡張され、有限被覆論法によりグローバル推定に至る。