[論文レビュー] Spherical Harmonics in p Dimensions

Christopher Frye, Costas Efthimiou|arXiv (Cornell University)|May 16, 2012

Electromagnetic Scattering and Analysis被引用数 5

ひとこと要約

本稿は、直交多項式および調和解析を用いて、p次元ユークリッド空間における球面調和関数および関連するルジャンドル多項式の包括的でアクセス可能な導出を提供する。Laplace方程式の変数分離法およびGreen関数法による任意次元での解法を可能にする、Poisson核を一般化した重要な生成関数の恒等式 $\sum_{n=0}^{\infty} r^n N(p,n) P_n(t) = \frac{1 - r^2}{(1 - 2rt + r^2)^{p/2}}$ を確立する。

ABSTRACT

The authors prepared this booklet in order to make several useful topics from the theory of special functions, in particular the spherical harmonics and Legendre polynomials for any dimension, available to undergraduates studying physics or mathematics. With this audience in mind, nearly all details of the calculations and proofs are written out, and extensive background material is covered before beginning the main subject matter. The reader is assumed to have knowledge of multivariable calculus and linear algebra as well as some level of comfort with reading proofs.

研究の動機と目的

• 物理学および数学の上級学部生向けに、$\mathbb{R}^p$ における球面調和関数の自己完結的でアクセス可能な取り扱いを構築すること。
• $\mathbb{R}^3$ からの球面調和関数およびルジャンドル多項式の理論を、任意の次元 $p$ に一般化すること。
• p次元における球面調和関数の直交性、完全性、および生成関数構造を確立すること。
• 像法およびGreen関数法を用いてLaplace方程式の境界値問題を解く応用を行うこと。
• 中心的な結果として、Poisson核恒等式 $\sum_{n=0}^{\infty} r^n N(p,n) P_n(t) = \frac{1 - r^2}{(1 - 2rt + r^2)^{p/2}}$ を導出すること。

提案手法

• $p$次元球座標におけるラプラシアンを、合成関数の法則および座標変換を用いて導出する。
• 調和同次多項式を導入し、球面調和関数を単位球面 $S^{p-1}$ への制限として定義する。
• ヒルベルト空間論および内積構造を用いて、球面調和関数の直交性と完全性を確立する。
• Rodriguesの公式および漸化式を用いて、$p$次元における直交多項式を構成する。
• 外部の単位球の外側に源とその像電荷を配置することで、$\mathbb{R}^p$ におけるラプラシアンのGreen関数を像法を用いて構成する。
• Greenの定理を用い、積分解の比較を通じて、調和関数のPoisson核表現を導出する。

実験結果

リサーチクエスチョン

• RQ1 調和多項式および直交関数論を用いて、$\mathbb{R}^3$ から任意の次元 $p$ への球面調和関数をどのように一般化できるか？
• RQ2 p次元におけるルジャンドル多項式の生成関数の明示的形は何か？ そしてPoisson核とどのように関係するか？
• RQ3 像法は、$\mathbb{R}^p$ におけるラプラシアンのGreen関数を構成するためにどのように適用できるか？
• RQ4 単位球面上の調和関数の積分表現は、境界上のデータを用いてどのように表されるか？
• RQ5 L^2(S^{p-1}) における球面調和関数の完全性は、p次元における調和関数の展開をどのように保証するか？

主な発見

• 本稿は、Poisson核をp次元に一般化した生成関数恒等式 $\sum_{n=0}^{\infty} r^n N(p,n) P_n(t) = \frac{1 - r^2}{(1 - 2rt + r^2)^{p/2}}$ を導出する。
• 球面調和関数 $Y_{n,j}$ は、$L^2(S^{p-1})$ の完全正規直交基底をなしており、球面上の任意の平方可積分関数の展開が可能である。
• ラプラシアンのGreen関数は、$G(x;x_0) = \frac{1}{(2-p)\Omega_{p-1}} \left( \frac{1}{|x - x_0|^{p-2}} - \frac{1}{(|x_0| \cdot |x - x_0'|)^{p-2}} \right)$ として構成され、単位球面上で0となることを保証する。
• 単位球上のDirichlet問題の解は、$V(x_0) = \frac{1}{\Omega_{p-1}} \int_{S^{p-1}} f(\xi) \frac{1 - |x_0|^2}{(1 + |x_0|^2 - 2|x_0|\cos\theta)^{p/2}} d\Omega_{p-1}$ で与えられ、Poisson核の形と一致する。
• p次元における次数 $n$ の線形独立な球面調和関数の数を数える次元依存の正規化係数 $N(p,n)$ が、生成関数に明示的に用いられている。
• 像法は、$p$次元において厳密に適用され、像点は $x_0' = x_0 / |x_0|^2$ に位置する。