[論文レビュー] On the interplay among maximum principles, compact support principles and Keller-Osserman conditions on manifolds

Bruno Bianchini, Luciano Mari+2 more|arXiv (Cornell University)|Jan 6, 2018

Nonlinear Partial Differential Equations参考文献 16被引用数 10

ひとこと要約

本稿は、リーマン多様体上の非線形作用素の構造と多様体の幾何的性質の相互作用に注目し、曲率と体積成長に基づく鋭い幾何的閾値を同定することで、非線形偏微分方程式（quasilinear PDEs）における最大原理、コンパクトな台を持つ性質、Liouville型定理の成立を規定する。Omori-Yau型の原理とKeller-Osserman条件を統合的に用いることで、特に平均曲率型作用素やp-Laplacian作用素に対して、これらの定性的性質が成立するか否かが、多様体の幾何と非線形作用素構造の相互作用に強く依存することを示した。

ABSTRACT

This paper is about the influence of Geometry on the qualitative behaviour of solutions of quasilinear PDEs on Riemannian manifolds. Motivated by examples arising, among others, from the theory of submanifolds, in particular by the study of entire graphs with prescribed mean curvature, we consider classes of coercive differential inequalities of the form $$ \mathrm{div}\left( \frac{φ(| abla u|)}{| abla u|} abla u ight) \ge b(x)f(u) l(| abla u|) \qquad ext{(respectively, $\le$ or $=$)} $$ on domains of a manifold $M$, for suitable $φ,b,f,l$, with emphasis on mean curvature type operators. We investigate the validity of strong maximum principles, compact support principles and Liouville type theorems; in particular, the goal is to identify sharp thresholds, involving curvatures or volume growth of geodesic balls in $M$, to guarantee the above properties under appropriate Keller-Osserman type conditions, and to discuss the geometric reasons behind the existence of such thresholds. The paper also aims to give a unified view of recent results in the literature. The bridge with Geometry is realized by studying the validity of weak and strong maximum principles at infinity, in the spirit of Omori-Yau's Hessian and Laplacian principles and subsequent improvements.

研究の動機と目的

• リーマン多様体上の幾何的条件を同定し、非線形偏微分方程式に対して強い最大原理、コンパクトな台を持つ性質、Liouville型定理の成立を保証すること。
• 曲率、体積成長、非線形PDEの挙動の相互作用を分析することで、最近の文献における結果を統一的かつ拡張すること。
• Keller-Osserman型条件を用いて、コンパクトに台を持つ解やLiouville性質の発生に鋭い閾値を確立すること。
• 無限遠におけるOmori-YauのHessianおよびラプラシアン原理が、解の定性的な挙動をどのように決定するかを調査すること。
• p-Laplacianや平均曲率型作用素などの作用素に対して、幾何（曲率と体積成長）と定性的PDE性質を結びつける包括的な枠組みを提供すること。

提案手法

• 無限遠におけるOmori-Yau最大原理を用いて、非線形不等式の弱いおよび強い最大原理を解析する。
• 径数化技術および仮想的距離関数を用い、PDE問題をモデル多様体上の径数型常微分方程式（ODE）への比較に還元する。
• 事前推定および比較定理（特にBishop-Gromov体積比較）を用いて、曲率の上限と解の挙動との関係を定式化する。
• Keller-Osserman条件（KO∞）を導入・分析し、Liouville型定理およびコンパクトな台を持つ性質の必要十分条件としての役割を示す。
• Ricci曲率の下界を表すODEの解を用いて、体積成長の明示的漸近的推定を導出する。特に、(m-1)κ²(1+r²)^{α/2}の曲率下界に対して有効である。
• 新規のODE補題を適用し、非空のcut-locusが存在する場合でも、解の台の特定とコンパクトな台を持つ性質の証明を可能にする。特にp-Laplacianに対して有効である。

実験結果

リサーチクエスチョン

• RQ1 リーマン多様体にどのような幾何的条件が満たされると、非線形PDEの解に対して無限遠における強い最大原理が成立するか？
• RQ2 曲率と体積成長がどのような条件下で、強制的（coercive）な非線形不等式の解に対してコンパクトな台を持つ性質が成立するか？
• RQ3 Keller-Osserman型条件は、Liouville型定理およびコンパクトに台を持つ解の存在とどのように関係するか？
• RQ4 曲率の下界（例：リッチ曲率）と体積成長率が、非自明な非負解の非存在の閾値をどのように決定するか？
• RQ5 仮想的距離関数と径数化技術を用いることで、グローバルなPDE問題をモデル空間上のODE比較にどのように還元できるか？

主な発見

• 強い最大原理が無限遠で成立するための必要十分条件は、多様体が無限遠における弱い最大原理を満たすことであり、これは非負解に対するLiouville性質と同値である。
• コンパクトな台を持つ性質が成立するのは、Keller-Osserman条件（KO₀）が満たされる場合に限る。反例によりその鋭さが示された。
• リッチ曲率が−(m−1)κ²(1+r²)^{α/2}で下から押さえられる多様体に対して、体積成長はα > −2のときlim sup_{r→∞} log vol(B_r)/r^{1+α/2} < ∞を満たし、α = −2のときlog vol(B_r)/log r ≤ (m−1)κ̄ + 1を満たす。ここでκ̄ = (1+√(1+4κ²))/2である。
• 多様体が極点を持つ場合、リッチ曲率が上記の下界を満たすとき、初期条件g(0)=0, g'(0)≥1を満たすモデルODE g'' − κ²(1+t²)^{α/2}g ≥ 0 の解は、α ≥ 0のときg(r) ≍ exp(2κ/(2+α) r^{1+α/2})を満たし、α ∈ (−2,0)のときg(r) ≍ r^{−α/4} exp(2κ/(2+α) r^{1+α/2})を満たす。
• Liouville性質（SL）が成立するのは、Keller-Osserman条件（KO∞）が満たされる場合に限る。これは、KO∞が満たされない場合に非自明な非負解が存在することから、鋭さが保証される。
• p-Laplacianおよび平均曲率型作用素に対して、コンパクトに台を持つ解の存在は、同一の（KO₀）条件によって支配され、非空のcut-locusが存在する場合でも、2番目のODE補題により解の台を特定可能である。