[論文レビュー] Topics in the theory of positive solutions of second-order elliptic and parabolic partial differential equations

Yehuda Pinchover|ArXiv.org|Dec 18, 2005

Nonlinear Partial Differential Equations参考文献 58被引用数 4

ひとこと要約

本稿は、非コンパクトなリーマン多様体上の2階楕円型・放物型偏微分方程式の正の解の理論における最近の進展について包括的なサーベイを提示している。主な焦点は臨界性理論、一般化された主要固有値、グリーン関数および熱核の挙動に向けられている。主な貢献として、バリー・シモンが提起したシュレーディンガー作用素に関するリウヴィル定理に関する未解決問題が完全に解かれたことである。

ABSTRACT

The purpose of the paper is to review a variety of recent developments in the theory of positive solutions of general linear elliptic and parabolic equations of second-order on noncompact Riemannian manifolds, and to point out a number of their consequences.

研究の動機と目的

• 非コンパクトなリーマン多様体上での一般線形2階楕円型・放物型偏微分方程式の正の解の理論における最近の発展をレビューすること。
• シュレーディンガー作用素に関するバリー・シモンの正性結果を、より広いクラスの作用素および重みへと拡張すること。
• 臨界性、亜臨界性、および基底状態が正の解の構造において果たす役割を明確化すること。
• 臨界性理論と熱核の長時間挙動および放物型コーシー問題との間の関係を確立すること。
• シュレーディンガー作用素に関するリウヴィル理論における未解決問題を解消すること（定理11.2）。

提案手法

• 正の解における無限遠での最小成長の概念と一般化された主要固有値を導入する。
• 一般化された最大原理およびカットオフ関数技法を用いて、正性と臨界性を分析する。
• ピコネ恒等式および関数解析的手法を用いて、ポテンシャル項を含む $p$-ラプラシアン作用素を研究する。
• 臨界性の文脈において、$p$-グリーン関数とその最小成長特性を定義・分析する。
• 積分表現およびマーティン境界論を用いて、正の解を特徴付ける。
• 摂動論を適用して、不確定なおよび compact な台を持つ摂動の下での臨界性の安定性を研究する。

実験結果

リサーチクエスチョン

• RQ1 不確定な重みを有する2階楕円型作用素に対して、一般化された主要固有値 $\lambda_0(P, \Omega, V)$ はどのように特徴づけられるか？
• RQ2 作用素の臨界性は、最小成長を有する正の解の存在および一意性とどのように関係するか？
• RQ3 臨界性と熱核の長時間挙動との間の正確な関係は何か？
• RQ4 どのような条件下で、放物型方程式の正のコーシー問題が一意でないか？
• RQ5 ポテンシャルを伴う $p$-ラプラシアンは摂動の下でどのように振る舞い、関連する汎関数が臨界的または亜臨界的となるのはいつか？

主な発見

• 一般化された主要固有値 $\lambda_0(P, \Omega, V)$ は適切に定義されており、正の解の存在の閾値を特徴づける。
• 関数 $Q(u) = \int_\Omega (|\nabla u|^p + V|u|^p)\,dx$ は $\Omega$ において亜臨界的または臨界的であり、臨界性は方程式 $Q'(u) = 0$ の正の上界解が一意に存在することと同値である。
• $1 < p \leq d$ の場合、臨界性は無限遠での最小成長を有する一意な正の解および極の位置での除去可能な特異性の存在と対応する。
• 臨界的汎関数に対して、Poincaré型不等式（13.6）が成り立ち、下界には重み $W$ と線形汎関数項が含まれる。
• 汎関数 $Q_{V+sV_0}$ は $s \in (\tau_-, \tau_+)$ において亜臨界のままであり、$\tau_+ > 0$ かつ $\tau_- < 0$ であり、臨界性は閾値 $s = \tau_+$ で発生する。
• 正の摂動 $V_0$ の下で $Q_V$ の臨界性が保たれるのは、$\int_\Omega V_0 \varphi_0^p\,dx > 0$ であるとき、かつそのときに限る。ここで $\varphi_0$ は基底状態である。