[論文レビュー] Differential Operators on Conic Manifolds: Maximal Regularity and Parabolic Equations

Sandro Coriasco, Elmar Schrohe+1 more|ArXiv.org|Jan 20, 2002

Advanced Mathematical Physics Problems参考文献 22被引用数 17

ひとこと要約

本稿では、錐特異点をもつ多様体上の楕円型微分作用素に対して最大正則性を確立し、重み付きソボレフ空間における非線形項 $|u|^eta$ や $u^\alpha$ を含む非線形放物型方程式 $(\partial_t - a(u)\Delta)u = f(u)$ の一意解法を証明する。Fuchs型作用素と $|u|^eta$ のリプシッツ連続性を分析することで、適切な $p,q$ および補間空間に属する初期データに対し、$L_q$-ベースの最大正則性空間内での解の存在と一意性を示す。

ABSTRACT

We study an elliptic differential operator A on a manifold with conic points. Assuming A to be defined on the smooth functions supported away from the singularities, we first address the question of possible closed extensions of A to L^p Sobolev spaces and then explain how additional ellipticity conditions ensure maximal regularity for the operator A. Investigating the Lipschitz continuity of the maps f(u)=|u|^α, with real α\ge 1, and f(u)=u^α, with αa natural number, and using a result of Clément and Li, we finally show unique solvability of a quasilinear equation of the form \dot{u} - a(u) Δu = f(u) in suitable spaces.

研究の動機と目的

• 錐特異点をもつ多様体上の楕円型微分作用素に対して、閉拡張および最大正則性を確立すること。
• 錐多様体上の重み付きソボレフ空間において、非線形写像 $f(u) = |u|^\alpha$ および $f(u) = u^\alpha$ のリプシッツ連続性を分析すること。
• 最大正則性理論を応用して、$u - u^3$ のような非線形項をもつ非線形放物型方程式の一意解法を証明すること。
• 非線形項が正則性を保ち、一意解の存在を許容するための指数 $\alpha$ の最適範囲を特定すること。
• 滑らかな領域からの結果を特異幾何に一般化するために、$L_q$-最大正則性枠組みを錐多様体へ拡張すること。

提案手法

• 錐特異点近傍における $t^{-\mu}$-退化を示すFuchs型微分作用素を用いて、錐点をもつ多様体上の作用素をモデル化する。
• 頂点付近の特異的挙動を扱うために、重み付き錐ソボレフ空間 $\mathcal{H}^{s,\delta}_q({\mathbb{B}})$ を構成する。
• 有界虚数力の理論を適用して、線形化問題における最大 $L_q$-正則性を確立する。
• ClémentとLiの結果を活用して、非線形問題を線形最大正則性枠組みに還元する。
• 埋め込みと補間推定を用いて、重み付きソボレフ空間における $|u|^\alpha$ および $u^\alpha$ のリプシッツ連続性を確立する。
• 埋め込み $\mathcal{H}^{s,\delta}_q({\mathbb{B}}) \hookrightarrow \mathcal{H}^{s,\tilde{\gamma}}_q({\mathbb{B}})$（$\tilde{\gamma} \leq \delta$）を用いて、非線形項を制御する。

実験結果

リサーチクエスチョン

• RQ1 錐多様体上でのFuchs型微分作用素が、$L_p$-ソボレフ空間へ閉拡張をもつための条件は何か？
• RQ2 どのような追加の楕円的条件が、このような作用素に対して最大 $L_q$-正則性を保証するか？
• RQ3 どの指数 $\alpha \geq 1$ に対して、写像 $u \mapsto |u|^\alpha$ が関連する重み付きソボレフ空間でリプシッツ連続となるか？
• RQ4 最大正則性枠組みを、錐特異点をもつ多様体上の非線形放物型方程式へどのように拡張できるか？
• RQ5 方程式 $(\partial_t - a(u)\Delta)u = |u|^\alpha$ が最大正則性空間内で一意解をもつための $\alpha$ の最適範囲は何か？

主な発見

• 適切な楕円的条件のもとで、錐多様体上でのFuchs型作用素に対して最大 $L_q$-正則性が成り立ち、線形化問題の適切な定式化が保証される。
• $\alpha \leq \alpha^*$ のとき、有界集合上で $\mathcal{H}^{s,\delta}_q({\mathbb{B}})$ 内で写像 $u \mapsto |u|^\alpha$ はリプシッツ連続であり、ここで $\alpha^*$ は $n$, $p$, および $q$ に依存する。
• $2p/q' < n+1$ の場合、臨界指数は $\alpha^* = \frac{n+1-2\gamma-2\beta}{n+1-2\delta}$ であり、$2p/q' \geq n+1$ の場合、$\alpha^* = \frac{n+1}{2}(1 - \frac{1}{\alpha}) + \frac{\delta}{\alpha}$ となる。ただし $\delta < \frac{n+1}{2}$ である。
• 非線形放物型方程式 $(\partial_t - a(u)\Delta)u = |u|^\alpha + g$ は、$T_1 > 0$ を十分小さくとり、初期データ $u_0 \in \mathcal{C}^\infty_{\rm comp}(\text{int}\,{\mathbb{B}})$ を与えると、$W^1_q([0,T_1]; E_0) \cap L_q([0,T_1]; E_1) \cap \mathcal{C}([0,T_1]; E_{1-1/q,q})$ 内に一意解をもつ。
• Ginzburg-Landau型方程式 $\dot{u} - \Delta u = u - u^3$ は、適切に $p,q$ を選べば、任意の初期データ $u_0 \in E_{1-1/q,q}$ に対して、同じ最大正則性空間内で一意解をもつ。
• 解空間 $E_{1-1/q,q}$ は実補間空間 $(E_1, E_0)_{1/q,q}$ に一致し、$n \geq 4$ および $T_0 > 0$ の場合に結果が成り立つ。