[論文レビュー] The comparsion principle for viscosity solutions of fully nonlinear subelliptic equations in Carnot groups

Changyou Wang|ArXiv.org|Sep 4, 2003

Nonlinear Partial Differential Equations参考文献 14被引用数 7

ひとこと要約

この論文は、Carnot群における完全非線形の下垂的微分方程式の粘性解について、Jensenの一意性定理をユークリッド空間から部分リーマン幾何へ拡張する比較原理を確立する。Carnot群の構造と粘性解の技法を活用し、解変数における単調性を伴う退化下垂的または一様下垂的条件下で一意性を証明する。

ABSTRACT

For any Carnot group $\bf G$ and a bounded domain $Ω\subset \bf G$, we prove that viscosity solutions in $C(\bar\Om)$ of the fully nonlinear subelliptic equation $F(u, abla_h u, abla^2_h u)=0$ are unique when $F\in C(R imes R^m imes {\Cal S}(m))$ satisfies (i) $F$ is degenerate subelliptic and decreasing in $u$ or (ii) $F$ is uniformly subelliptic and nonincreasing in $u$. This extends Jensen's uniqueness theorem from the Euclidean space to the sub-Riemannian setting of the Carnot group.

研究の動機と目的

• Carnot群の部分リーマン幾何的設定において、完全非線形下垂的微分方程式の粘性解の比較原理を確立すること。
• 元来ユークリッド空間で有効であったJensenの一致定理を、粘性解の観点から部分リーマン的文脈へ一般化すること。
• 二つの条件下で粘性解の一意性を証明すること：(i) 退化下垂的でuに関して減少する、または (ii) 一様下垂的でuに関して非増加する。
• 非ユークリッド的で階層的リー群の設定、特に固有の幾何構造を持つ環境において、完全非線形方程式の粘性解理論を拡張すること。
• ユークリッドの場合と類似した存在性、一意性、コンパクト性に関する結果の基礎を提供すること。

提案手法

• 水平微分作用素および水平ヘッセ行列を用いた、Carnot群に適応された粘性解の概念を用いる。水平勾配 ∇hu および水平ヘッセ行列 ∇²hu を定義する。
• 摂動法を適用し、関数族 uρ(x) = u(x₀ + ρx) を考案し、ρ → 0 の極限におけるスケーリングされた挙動を解析する。
• CILの結果に基づく粘性下位/上位解のコンパクト性定理を用い、極限に移行して上半連続包に対する不等式 (4.7) を導出する。
• 半凸関数に対するJensenの最大原理を用い、ヘッセ行列の差が負半定値となる点を抽出することで、2階微分項の比較を可能にする。
• スケーリングされたPDE (4.10) において ρ → 0 の極限をとることで、行列 Akl^ij および水平ベクトル場から導かれる係数を含む極限方程式 (4.7) と (4.8) を導出する。
• 特に非等方的スケーリング δλ および擬距離 dG を用いたCarnot群構造の不変性と斉次性を活用し、スケーリング下でも下垂的構造が保たれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 粘性解の比較原理は、ユークリッド空間からCarnot群の部分リーマン幾何へ拡張可能か？
• RQ2 演算子 F にどのような構造的条件が課されると、下垂的設定における粘性解の一意性が成立するか？
• RQ3 F の退化性または一様下垂的性に加え、u に関する単調性が解の一意性に与える影響は何か？
• RQ4 Jensenの一意性定理は、非ユークリッド的で階層的リー群の設定へどの程度一般化可能か？
• RQ5 水平ヘッセ行列とCarnot群の固有幾何が、粘性解の安定性および比較において果たす役割は何か？

主な発見

• 任意の有界領域 Ω ⊂ G に対して、C(Ω̄) 内の完全非線形下垂的微分方程式 F(u, ∇hu, ∇²hu) = 0 の粘性解に対して、比較原理が成り立つ。ここで G はCarnot群である。
• 二つの条件下で粘性解の一意性が確立される：(i) F が退化下垂的で u に関して減少する、または (ii) F が一様下垂的で u に関して非増加する。
• スケーリング関数 uρ を用いた吹き出し法と粘性解のコンパクト性に依拠し、極限不等式 (4.7) を導出する。この不等式は、上位解の性質に矛盾する。
• ヘッセ行列項の極限挙動は、行列 Akl^ij = aik(x₀)ajl(x₀) を用いて得られ、スケーリング下での水平2階微分構造を捉える。
• 矛盾は、下位解条件が F ≥ 0 を与え、上位解条件が F ≤ −cδ < 0 を与えるという事実に起因する。これは比較原理に反する。
• 本結果により、R^n におけるJensenの一意性定理が任意のCarnot群へ一般化され、下垂的PDEにおける存在性、一意性、安定性に関する基礎的ツールが確立される。