[論文レビュー] Sublinear Elliptic Operators

Karl K. Brustad|arXiv (Cornell University)|Feb 12, 2018

Numerical methods in inverse problems参考文献 1被引用数 3

ひとこと要約

本稿は、対称行列空間内の凸体と関連付けることで、第二階の非線形楕円型作用素について包括的な理論を確立する。すべての非線形作用素が一意に凸体に対応することを証明し、退化・一様楕円型の性質を幾何学的に特徴づける。Pucci作用素および支配的p-Laplacian作用素への応用は、極値点の表現を通じて得られる。

ABSTRACT

We investigate second order elliptic equations \[F(\mathcal{H}u) = 0\] where the function $F\colon S(n) o\mathbb{R}$ on the space of symmetric $n imes n$ matrices is assumed to be sublinear. There is very little to be found in the literature devoted particularly to sublinear elliptic operators. When examples of such operators occur, they are often merely treated as members of the larger class of convex operators. That class has been thoroughly investigated and many of its aspects are well understood. There is, however, something to be said about sublinear operators that do not, in general, apply to convex operators.

研究の動機と目的

• 非線形偏微分方程式において重要であるが、未だ十分に研究が進んでいない非線形楕円型作用素の体系的理論の構築。
• 非線形作用素と対称行列空間内における凸体との間の一対一対応の確立。
• 関連する凸体の幾何的性質を用いて、退化および一様楕円型非線形作用素の特徴づけ。
• 非線形作用素に対する比較原理、重ね合わせ則、基本解の導出。
• 特にPucci作用素および支配的p-Laplacian作用素に対して、粘性解および正則性に関する既知の結果を非線形設定へと拡張。

提案手法

• 非線形作用素を F(X) = max_{Y∈K} ⟨Y,X⟩ の形に表現し、K を S(n) 内の凸体とすることで、作用素論と凸幾何学を結びつける。
• 凸体の極値点構造を用いて、Pucci作用素を P_{λ,Λ}(X) = max_{P∈Pr(n)} tr((λI + (Λ−λ)P)X) として特徴づけ、閉じた表現を得る。
• 一様楕円型が、K ⊆ K_{λ,Λ} なる包含関係と同値であることを証明する。ここで K_{λ,Λ} はPucci作用素に対応する凸体である。
• この理論を応用して、一様楕円型非線形方程式の粘性解が C^{2,α} 正則であることを示す。
• F(X) = max_{Y∈K} ⟨Y,X⟩ と K の支持関数の双対性を用いて、比較原理および安定性結果を導出する。
• 上界・下界の畳み込みおよび粘性解の技法を用いて、上位解および下位解を解析し、符号反転において非対称な振る舞いを示す。

実験結果

リサーチクエスチョン

• RQ1 非線形楕円型作用素は、対称行列空間における凸幾何学を用いて、どのように体系的に分類・特徴づけられるか？
• RQ2 非線形作用素 F(X) = max_{Y∈K} ⟨Y,X⟩ が退化または一様楕円型であるための、凸体 K ⊂ S(n) における正確な幾何的条件は何か？
• RQ3 非線形設定において、上位解と下位解が符号反転に対して非対称に振る舞うのはなぜか？線形またはp-Laplacianの場合とは異なるのはなぜか？
• RQ4 Pucci作用素および支配的p-Laplacian作用素は、凸体内の極値行列の最大値としてどのように表現できるか？
• RQ5 凸体の極値点構造が、解の正則性および比較性の性質を決定づける役割を果たすのはどのような理由か？

主な発見

• すべての非線形作用素 F: S(n) → ℝ は、一意に S(n) 内の凸体 K ⊂ S(n) から生じ、F(X) = max_{Y∈K} ⟨Y,X⟩ と表される。
• Pucci作用素 P_{λ,Λ}(X) は、P_{λ,Λ}(X) = max_{P∈Pr(n)} tr((λI + (Λ−λ)P)X) として特徴づけられ、これは Λ tr(X⁺) − λ tr(X⁻) に簡略化される。
• 非線形作用素が定数 0 < λ ≤ Λ に対して一様楕円型であるための必要十分条件は、その関連する凸体 K が、Pucci作用素に対応する凸体 K_{λ,Λ} に含まれること、すなわち K ⊆ K_{λ,Λ} であることである。
• 一様楕円型非線形方程式の粘性解は C^{2,α} 正則であり、これは古典的な凸作用素に関する結果を非線形設定へと拡張する。
• 凸体 K_{λ,Λ} の極値点の集合は、ちょうど {λI} ∪ (Λ−λ)Pr(n) に一致する。これは直交射影および単位行列に対応する。
• 上位解と下位解は符号反転に対して対称ではない：u が上位解であれば −u は下位解であるが、逆は一般には成り立たない。