[論文レビュー] Fundamental solution of the Laplacian in the hyperboloid model of hyperbolic geometry

Howard S. Cohl, E. G. Kalnins|arXiv (Cornell University)|Jan 20, 2012

Mathematics and Applications参考文献 19被引用数 4

ひとこと要約

本稿では、一定の負の曲率を持つd次元双曲空間のハイパボロイドモデルにおけるラプラス＝ベルトラミ作用素の球対称な基本解（グリーン関数）を導出する。測地的極座標と双曲的特殊関数を用いて、超幾何関数、第二種関数の関連ルジャンドル関数、および積分表現を含む複数の同等な表現が提示され、無限遠における減衰が消失する条件下での一意性が証明される。

ABSTRACT

Due to the isotropy of $d$-dimensional hyperbolic space, one expects there to exist a spherically symmetric fundamental solution for its corresponding Laplace-Beltrami operator. The $R$-radius hyperboloid model of hyperbolic geometry $\Hi_R^d$ with $R>0$, represents a Riemannian manifold with negative-constant sectional curvature. We obtain a spherically symmetric fundamental solution of Laplace's equation on this manifold in terms of its geodesic radius. We give several matching expressions for this fundamental solution including a definite integral over reciprocal powers of the hyperbolic sine, finite summation expression over hyperbolic functions, Gauss hypergeometric functions, and in terms of the associated Legendre function of the second kind with order and degree given by $d/2-1$ with real argument greater than unity. We also demonstrate uniqueness for a fundamental solution of Laplace's equation on this manifold in terms of a vanishing decay at infinity.

研究の動機と目的

• R半径のハイパボロイドモデルにおける双曲空間上のラプラス＝ベルトラミ作用素の球対称基本解を構成すること。
• この基本解を双曲的および特殊関数の観点から、複数の同等な解析的表現形式で提示すること。
• 無限遠における減衰が消失する条件の下で解の一意性を確立すること。
• 負の曲率を有する非コンパクトリーマン多様体上の調和解析の理解を拡張すること。
• 積分、級数、特殊関数の形によるグリーン関数のさまざまな表現を統合すること。

提案手法

• 曲率が $-1/R^2$ である定曲率リーマン多様体における測地的極座標を用いてハイパボロイドモデルをパラメータ化する。
• 測地的極座標における径方向調和関数を導出し、測地的距離 $\rho$ の関数として基本解を構成する。
• 逆双曲正弦関数の累乗を含む定積分を用いて基本解を表現する。
• 有限和としての双曲関数の和およびガウス超幾何関数の観点から解を表現する。
• 解を、実数部が1より大きい引数 $>1$ を持つ、次数および階数 $d/2 - 1$ の第二種関連ルジャンドル関数 $Q_{d/2-1}$ として特定する。
• 最大原理と無限遠における減衰条件を用いて、2つの解の差が恒等的にゼロであることを示し、一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 d次元ハイパボロイドモデルにおけるラプラス＝ベルトラミ作用素の球対称基本解の明示的形は何か？
• RQ2 この基本解は、積分、級数、特殊関数を含む複数の同等な数学的形でどのように表現できるか？
• RQ3 ハイパボロイド空間における基本解の一意性を保証する条件は何か？
• RQ4 無限遠における減衰挙動は、グリーン関数の一意性にどのように影響するか？
• RQ5 基本解と第二種関連ルジャンドル関数との関係は何か？

主な発見

• 基本解は $\sinh^{-d+1}\rho$ 項を含む定積分として表現され、直接的な解析的表現が得られる。
• 解はすべての $d \geq 2$ に対して有効な双曲関数の有限和として示され、有効である。
• 解はパラメータが次元 $d$ に依存するガウス超幾何関数 $F(a,b;c;z)$ の形で表現される。
• 解は引数 $\cosh\rho > 1$ を持つ第二種関連ルジャンドル関数 $Q_{d/2-1}(\cosh\rho)$ として特定される。
• 無限遠でゼロに減衰する $C^\infty$ 関数の範囲で、基本解は強最大原理を用いて一意であることが証明された。
• 解は $-\Delta \mathcal{H}_R^d = \delta_g$ を満たし、測地的距離 $\rho \to \infty$ のときゼロに減衰するため、物理的および数学的整合性が確認される。