[論文レビュー] Poincare inequality and the uniqueness of solutions for the heat equation associated with subelliptic diffusion operators

Bumsik Kim|arXiv (Cornell University)|May 2, 2013

Geometric Analysis and Curvature Flows参考文献 17被引用数 6

ひとこと要約

本稿は、$K>0$ を満たす一般化された曲率次元条件 $CD(-K,\rho_2,\kappa,d)$ を満たす部分リーマン多様体における球上で、グローバルなポincare不等式を確立し、それを用いて部分楕円型熱方程式の解の一意性を証明する。主な結果は、非負かつ $L^p$ 解が、この曲率条件下で初期データによって一意に決定されることであり、幾何解析および熱核推定を用いて、古典的一意性結果を部分楕円的設定へと拡張する。

ABSTRACT

In this paper we study global Poincare inequalities on balls in a large class of sub-Riemannian manifolds satisfying the generalized curvature dimension inequality introduced by F.Baudoin and N.Garofalo. As a corollary, we prove the uniqueness of solutions for the subelliptic heat equation. Our results apply in particular to CR Sasakian manifolds with Tanaka-Webster-Ricci curvature bounded from below and Carnot groups of step two.

研究の動機と目的

• 一般化された曲率次元不等式 $CD(-K,\rho_2,\kappa,d)$ を満たす部分リーマン多様体における球上でグローバルな Poincaré 不等式を確立すること。
• この曲率条件下で、部分楕円型熱方程式 $\left(\frac{\partial}{\partial t}-L\right)u=0$ の非負解の一意性を証明すること。
• 初期データが $L^p$ に属する場合に、$1 \leq p \leq \infty$ の $L^p$ 解が一意に決定されることを示すこと。

提案手法

• 下界が得られるディリクレ熱核と $CD(-K,\rho_2,\kappa,d)$ 条件下でのソボレフ型推定を用いて、球上で Poincaré 不等式を導出する。
• Moser の反復法と $L$-ラプラシアンの劣調和関数の平均値推定を用いて、正則性および一意性の性質を回復する。
• Li-Yau 型推定から導かれる熱核推定と放物型ハルナック不等式を用いて、解の成長および崩壊を制御する。
• 部分積分と $L^1$ 劣調和関数論を用いて、非負の $L^1$ 劣調和関数が恒等的に 0 でなければならないことを示し、一意性に帰着する。
• 確率的完備性と演算子 $L$ の超局所性を活用し、$L^1$ 調和関数が定数でなければならないことを示し、これにより $L^1$ 解の一意性が導かれる。
• 関数 $\psi_\epsilon(x,t) = \max(0, v(x,t+\epsilon) - P_t(v(\cdot,\epsilon)))$ を用いた摂動論法を適用し、問題を劣調和関数論へと還元する。

実験結果

リサーチクエスチョン

• RQ1 曲率条件 $CD(-K,\rho_2,\kappa,d)$ を満たし $K>0$ である多様体上の部分楕円型拡散作用素に対して、グローバルな Poincaré 不等式が成立するか？
• RQ2 この曲率条件下で、部分楕円型熱方程式の非負解の一意性は証明可能か？
• RQ3 $1 \leq p \leq \infty$ の $L^p$ 解が、初期データ $f \in L^p(\mathbb{M})$ によって一意に決定されるか？
• RQ4 $L^1$ における劣調和関数論の理論を部分楕円的設定に拡張し、一意性を証明できるか？
• RQ5 熱核推定と曲率次元条件が、楕円性の欠如下でどのように作用して一意性結果を導くか？

主な発見

• グローバルな Poincaré 不等式が成立する：任意の $f \in C^\infty(\mathbb{M})$ に対して、$\int_{B(x_0,r)} |f - f_{B(x_0,r)}|^2 d\mu \leq C_{p1} r^2 e^{C_{p2} K r^2} \int_{B(x_0,r)} \Gamma(f) d\mu$ が成り立ち、定数 $C_{p1}, C_{p2} > 0$ は $\rho_2, \kappa, d$ に依存する。
• 非負解の一意性が証明された：任意の解 $u$ は $u(x,t) = P_t f(x)$ として一意に与えられる。ここで $P_t$ は熱半群である。
• $1 < p < \infty$ の場合、部分楕円型熱方程式の $L^p$ 解は、初期データ $f \in L^p(\mathbb{M})$ によって一意に決定され、$t \to 0^+$ のとき $u(\cdot,t) \to f$ が $L^p$ で成り立つ。
• $L^1$ 解は一意に決定される：$u$ が非負の $L^1$ 劣調和関数で、$t \to 0^+$ のとき $u(\cdot,t) \to 0$ が $L^1$ で成り立つならば、$u \equiv 0$ である。
• 任意の $L^1$ 劣調和関数が、$CD(-K,\rho_2,\kappa,d)$ 条件を満たすならば、定数関数でなければならない。これは $L^1$ 解の一意性を示唆する。
• 証明は、$L^1$ 調和関数が定数関数であること、すなわち $L$ の超局所性と $L^1$ 劣調和関数の非負性に起因する。