[論文レビュー] On ancient solutions of the heat equation

Fanghua Lin, Qi S. Zhang|arXiv (Cornell University)|Dec 12, 2017

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

ひとこと要約

本稿は、ユークリッド空間および非負リッチ曲率をもつリーマン多様体上での熱方程式のすべての正の古代解に対して明示的な積分表現を提供する。これらの解は、$ s > 0 $ における楕円型方程式 $\Delta h - s h = 0$ の正の解のラプラス変換として表現され、球面および正の時間軸上のボレル測度の族を用いて、負の時間における完全モノトーン関数を介して完全な特徴付けがなされる。

ABSTRACT

An explicit representation formula for all positive ancient solutions of the heat equation in the Euclidean case is found. In the Riemannian case with nonnegative Ricci curvature, a similar but less explicit formula is also found. Here it is proven that any positive ancient solution is the standard Laplace transform of positive solutions of the family of elliptic operator $Δ- s$ with $s>0$. Further relaxation of the curvature assumption is also possible. It is also shown that the linear space of ancient solutions of polynomial growth has finite dimension and these solutions are polynomials in time.

研究の動機と目的

• $\mathbb{R}^n \times (-\infty, 0]$ 上での熱方程式の正の古代解を特徴付けること。これは放物型偏微分方程式分野における根本的な未解決問題である。
• 曲率の仮定を可能な限り緩和して、非負リッチ曲率をもつリーマン多様体へこの特徴付けを拡張すること。
• 多項式成長を示す古代解の空間に有限次元構造を与えること。
• 無限遠における放物型マーティン境界を、$ s > 0 $ に対する楕円型方程式 $\Delta u - s u = 0$ のマーティン境界の和集合として同定すること。

提案手法

• 正の古代解に対して $ u(x, -t) $ が $ t $ に関して完全モノトーンであることに着目し、完全モノトーン関数に関するベルンシュタインの定理を応用する。
• ラプラス変換の表現を用いて、$ u(x,t) $ を $ s \in [0, \infty) $ における $ e^{st} $ と方程式 $\Delta h - s h = 0$ の正の解 $ h(s,x) $ の積分として表す。ここで $ \rho(s) $ はボレル測度である。
• 解を $ u(x,t) = \int_0^\infty \int_{S^{n-1}} e^{st + \sqrt{s}\, x \cdot \xi} \, d\mu(\xi,s) \, d\rho(s) $ の形に表現する。ここで $ \mu $ は球面上のボレル測度、$ \rho $ は $[0,\infty)$ 上のボレル測度である。
• 逆ラプラス変換および測度論的議論を用いて、楕円型方程式を満たす調和的類似関数 $ h(s,x) $ の族から解を回復する。
• ハーナックの不等式およびショーケの定理を用いて、解空間の極値点が楕円型方程式の最小正の解として同定されることを示す。
• ラドン＝ニコディム微分を用いて、解の時間方向マージナル測度が基準測度に関して絶対連続であることを示し、球面上の固有関数を用いた表現が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{R}^n \times (-\infty, 0]$ 上での熱方程式の正の古代解の完全な集合は何か？
• RQ2 このような解の表現を非負リッチ曲率をもつリーマン多様体へ拡張できるか？
• RQ3 時間に関して多項式成長を示す古代解の空間の構造は何か？
• RQ4 無限遠における放物型マーティン境界は、$\Delta u - s u = 0$（$ s > 0 $）の楕円型方程式のマーティン境界とどのように関係するか？
• RQ5 解空間はパrameter $ s > 0 $ をもつ楕円型方程式の解のラプラス変換として分解可能か？

主な発見

• $\mathbb{R}^n \times (-\infty, 0]$ 上での熱方程式のすべての正の古代解は、非負のボレル測度 $\mu$ および $\rho$ が存在して、$ u(x,t) = \int_0^\infty \int_{S^{n-1}} e^{st + \sqrt{s}\, x \cdot \xi} \, d\mu(\xi,s) \, d\rho(s) $ の形に表現可能である。
• 解 $ u(x, -t) $ は $ t $ に関して完全モノトーンであり、これによりベルンシュタインの定理を適用して積分表現が導かれる。
• 非負リッチ曲率をもつリーマン多様体上では、正の古代解は $\Delta h - s h = 0$ の正の解のラプラス変換として表現されるが、ユークリッドの場合ほど明示的な式ではない。
• 空間的・時間的多項式成長を示す古代解の線形空間は有限次元であり、このような解は時間に関する多項式である。
• 無限遠における放物型マーティン境界は、$ s > 0 $ に対する楕円型方程式 $\Delta u - s u = 0$ のマーティン境界の和集合として同定され、解の構造に幾何的解釈が与えられる。
• 解の時間マージナル測度は基準測度に関して絶対連続であり、そのラドン＝ニコディム微分は楕円型方程式 $\Delta h = s h $ を満たす。これはスペクトル分解が確認されることを示している。