[論文レビュー] Heat Kernel for Simply-Connected Riemann Surfaces

T. Harri Jones, Dan Kučerovský|arXiv (Cornell University)|Jul 30, 2010

Advanced Numerical Analysis Techniques参考文献 5被引用数 5

ひとこと要約

本稿では、3つの単連結なリーマン面（ユークリッド平面、双曲平面、球面）における微分形式の熱核を、それらの普遍被覆を用いて導出する。また、普遍被覆のデック変換の和をとることで、任意のリーマン面における熱核を構成する手法を確立し、すべての形式レベルの熱核を0形式の熱核で表現する。

ABSTRACT

From the uniformization theorem, we know that every Riemann surface has a simply-connected covering space. Moreover, there are only three simply-connected Riemann surfaces: the sphere, the Euclidean plane, and the hyperbolic plane. In this paper, we collect the known heat kernels, or Green's functions, for these three surfaces, and we derive the differential forms heat kernels as well. Then we give a method for using the heat kernels on the universal cover to generate the heat kernel on the underlying surface.

研究の動機と目的

• 3つの単連結なリーマン面（ユークリッド平面、双曲平面、球面）における微分形式（0-形式、1-形式、2-形式）の熱核を体系的に導出すること。
• 普遍被覆および被覆群の作用を用いて、任意のリーマン面上での熱核の構成法を確立すること。
• すべての形式レベルの熱核（1-形式および2-形式）を0-形式の熱核で表現することで、異なる形式および曲面における構成を単純化すること。
• 3つのモデル曲面における0-形式の熱核の明示的公式を提供し、高次の形式の熱核の基礎的構成要素とする。
• 曲面上の熱方程式の解が、普遍被覆上でのG-周期的解に引き上げられることを証明し、群不変性を用いて基底多様体への射影を可能にする。

提案手法

• ユニフォーマリゼーション定理を用いて、3つの単連結なリーマン面がすべてのリーマン面の普遍被覆であることを特定する。
• 各モデル曲面における0-形式（関数）の熱核を導出する：ユークリッド平面上ではガウス型、双曲平面上ではルジャンドル関数を含む積分表現、球面上では球面調和関数の級数。
• 微分作用素を0-形式の熱核に作用させることで1-形式および2-形式の熱核を構成する：$ K_1 = (I + *_{\bf{x}}*_{\bf{y}}) \int_t^\infty d_{\bf{x}}d_{\bf{y}}K_0(\cdot,\cdot,\tau)d\tau $ および $ K_2 = *_{\bf{x}}*_{\bf{y}}K_0 $。
• G-周期関数および等長変換不変性の理論を適用し、普遍被覆上のG-不変な初期データがG-不変な解を与えることを示す。
• 射影定理を用いる：普遍被覆上のG-周期的解は、被覆写像 $\pi$ を通じて基底多様体上に一意に下方に降下する。
• 一般のリーマン面 $M$ における熱核を $ K_M({\bf{x}},{\bf{y}},t) = \sum_{g \in G} K_U(\widetilde{{\bf{x}}}, g \cdot \widetilde{{\bf{y}}}, t) $ として構成する。ここで $G$ は被覆群、$U$ は普遍被覆である。

実験結果

リサーチクエスチョン

• RQ1 3つの単連結なリーマン面（ユークリッド平面、双曲平面、球面）における微分形式の熱核をどのように明示的に構成できるか？
• RQ2 これらの曲面上で、0-形式の熱核と1-形式および2-形式の熱核との関係は何か？
• RQ3 一般のリーマン面上での熱核は、その普遍被覆および被覆群の作用からどのように再構成できるか？
• RQ4 普遍被覆上の熱方程式の解が、基底多様体上で定義された解に下方に降下するための条件は何か？
• RQ5 等長変換不変性は、群作用の下で熱核のG-周期性を保つために果たす役割は何か？

主な発見

• ユークリッド平面上の0-形式の熱核は、標準的なガウス型である：$ K_0({\bf{x}},{\bf{y}},t) = \frac{1}{4\pi t} \exp\left(-\frac{d_{\mathbb{R}^2}^2({\bf{x}},{\bf{y}})}{4t}\right) $。
• 双曲平面上の0-形式の熱核は、関連ルジャンドル関数を含む積分で表される：$ K_0 = \frac{1}{2\pi} \int_0^\infty P_{-1/2+i\rho}(\cosh d) \rho \exp\left(-\left(\frac{1}{4}+\rho^2\right)t\right) \tanh \pi\rho \, d\rho $。
• 球面上の0-形式の熱核は、球面調和関数の級数である：$ K_0 = \frac{1}{4\pi} \sum_{n=0}^\infty (2n+1) \exp(-n(n+1)t) P_n(\cos d) $。
• 1-形式の熱核は、0-形式の熱核から次のように導出される：$ K_1({\bf{x}},{\bf{y}},t) = (I + *_{\bf{x}}*_{\bf{y}}) \int_t^\infty d_{\bf{x}}d_{\bf{y}}K_0(\cdot,\cdot,\tau)\,d\tau $。
• 2-形式の熱核は $ K_2({\bf{x}},{\bf{y}},t) = *_{\bf{x}}*_{\bf{y}}K_0({\bf{x}},{\bf{y}},t) $ で与えられ、0-形式の熱核と双対性を持つ。
• 任意のリーマン面 $M$ における熱核は、デック変換の和をとることで得られる：$ K_M({\bf{x}},{\bf{y}},t) = \sum_{g \in G} K_U(\widetilde{{\bf{x}}}, g \cdot \widetilde{{\bf{y}}}, t) $。