[論文レビュー] Elliptic systems of pseudodifferential equations in a refined scale on a closed manifold

Vladimir Mikhailets, Alexandr A. Murach|ArXiv.org|Nov 14, 2007

advanced mathematical theories被引用数 5

ひとこと要約

本稿では、閉じたコンpact多様体上のHörmander–Volevich–Paneah空間の精密化されたヒルベルトスケール上における、楕円型擬微分作用素系の有界性およびフレドホルム性を確立する。主な貢献は、解が右辺の局所的滑らかさを精密化された形で引き継ぐことを証明することであり、古典的なソボレフスケールの結果を漸近的にゆっくり変化する関数で定義されるより細かいスケールへ一般化する。

ABSTRACT

We study a system of pseudodifferential equations that is elliptic in the sense of Petrovskii on a closed compact smooth manifold. We prove that the operator generated by the system is Fredholm one on a refined two-sided scale of the functional Hilbert spaces. Elements of this scale are the special isotropic spaces of Hörmander--Volevich--Paneah.

研究の動機と目的

• 古典的なソボレフ空間から、一般化された滑らかさを持つより精密なヒルベルト空間スケールへの、楕円型擬微分作用素系のフレドホルム理論の拡張。
• Petrovskii-楕円型系に関連する作用素が、精密化されたHörmander–Volevich–Paneah空間スケールにおける有界性およびフレドホルム性を調査すること。
• 局所的正則性の結果を確立し、解の局所的滑らかさが、精密化されたスケールにおけるデータの滑らかさと一致することを示すこと。
• 滑らかさパラメータに依存しない、この精密化されたスケールにおける事前推定および同型定理を提供すること。

提案手法

• 無限遠における漸近的にゆっくり変化する関数 $ \varphi $ を用いて、二重方向のヒルベルト空間スケール $ H^{s,\rho} $ を定義し、古典的なソボレフスケールを一般化する。
• Fourier変換と重み付き $ L^2 $-ノルム $ \langle \xi \rangle^{2s} \varphi^2(\langle \xi \rangle) $ を用いて、$ H^{s,\varphi}(\Gamma) $ のノルムを定義する。
• 古典的擬微分作用素の理論およびその主記号を用いて、Petrovskiiの意味での系の楕円型性を特徴付ける。
• 核および余核の解析を通じて、作用素 $ A: \prod_{k=1}^p H^{s+m_k,\varphi}(\Gamma) \to (H^{s,\varphi}(\Gamma))^p $ のフレドホルム性を確立する。
• 傾斜投影作用素 $ P $ および $ P^+ $ を用いて、定義域および値域を分解し、像の間の位相的同型を証明する。
• 滑らかさパrameter $ s $ および $ \varphi $ に依存しない形での事前推定式 $ \|u_k\|_{s+m_k,\varphi} \leq c(\|f_j\|_{s,\varphi} + \|u_k\|_{s-\sigma}) $ を導出する。

実験結果

リサーチクエスチョン

• RQ1 Petrovskii-楕円型擬微分方程式系に関連する作用素は、精密化されたHörmander–Volevich–Paneah空間スケールにおいてもフレドホルム的であるか？
• RQ2 データの滑らかさを漸近的にゆっくり変化する関数で測定した精密化された滑らかさを、解の局所的正則性が向上させることができるか？
• RQ3 作用素のフレドホルム指数は、滑らかさパrameter $ s $ および $ \varphi $ に依存しないか？
• RQ4 この精密化されたスケールにおいて、$ s $ および $ \varphi $ に一様な事前推定式を確立できるか？
• RQ5 解作用素が、核に直交する部分空間間で位相的同型となるのはどのような条件下か？

主な発見

• すべての $ s \in \mathbb{R} $、$ \varphi \in \mathcal{M} $ に対して、作用素 $ A: \prod_{k=1}^p H^{s+m_k,\varphi}(\Gamma) \to (H^{s,\varphi}(\Gamma))^p $ は有界かつフレドホルム的であり、核 $ N $ および余核 $ N^+ $ を持つ。
• 作用素 $ A $ のフレドホルム指数は $ \dim N - \dim N^+ $ であり、$ s $ および $ \varphi $ に依存せず、スカラーの場合の一般化である。
• 滑らかさパrameter $ s $ および $ \varphi $ に一様な事前推定式が成り立つ：任意の $ \sigma > 0 $ に対して、$ \sum_{k=1}^p \|u_k\|_{s+m_k,\varphi} \leq c\left( \sum_{j=1}^p \|f_j\|_{s,\varphi} + \sum_{k=1}^p \|u_k\|_{s-\sigma} \right) $。
• 核 $ N $ および余核 $ N^+ $ が自明であるとき、作用素 $ A $ は対応する部分空間間で位相的同型である。
• $ P $ の像への作用素 $ A $ の制限は、$ P^+ $ の像へ位相的同型を誘導するが、これは $ s $ および $ \varphi $ に依存しない。
• 領域 $ \Gamma_0 $ における方程式 $ Au = f $ の解 $ u $ は、$ f $ の局所的滑らかさを引き継ぐ：$ f \in (H^{s,\varphi}_{\mathrm{loc}}(\Gamma_0))^p $ ならば、$ u \in \prod_{k=1}^p H^{s+m_k,\varphi}_{\mathrm{loc}}(\Gamma_0) $ である。