球面調和関数

球面調和関数（きゅうめんちょうわかんすう、）あるいは球関数（きゅうかんすう、）は以下のいずれかを意味する関数である：
本項では 1 及び 2 双方の意味の球面調和関数について述べるが、特に断りがない限り、「球面調和関数」という言葉を 1 の意味で用いる。
定義.
 を実数全体の集合とし、 を複素数全体の集合とし、 個の実数からなる組の集合を とし、 の元を と書き表すことにする。
 上の複素数値関数
が2階微分可能なとき、 を
と定義し、 をラプラス作用素という。さらに 上の（複素数値の）多項式 で
を満たすものをという。なおラプラス作用素は回転行列 に対し、
を満たすので、調和多項式の定義は座標系のとり方に依存しない。
調和多項式 が 次の斉次多項式であるとき、 を単位球面
に制限した制限写像
を 次の球面調和関数という。
（ 次元空間 における） 次の球面調和関数全体の集合を ' とすると、' は 上のベクトル空間であり、
である。
帯球関数.
 を 上のベクトル
とする。
次の事実が成立する。
具体的表記.
帯球関数を具体的に書き表す為、記号を導入する。自然数 と非負の実数 に対しポッホハマー記号 を
により定義する。ここで はガンマ関数である。さらにガウスの超幾何関数を
により定義し、さらに超球多項式を
により定義する。このとき、次が成立する。
すでに述べたように、 次の帯球関数は定数倍を除いて一意なので、全ての 次帯球関数は上述したものの定数倍として表記可能である。
3次元空間における球面調和関数.
3次元空間 の場合、 を球面座標 で表すと、下記の が球面調和関数になる事が知られている。
ここで
であり、 はルジャンドルの陪多項式
である。すなわち はルジャンドルの陪微分方程式
の解である。なお、ルジャンドルの陪微分方程式は条件 () を満たすとき、およびそのときだけ解を持つことが知られている。また、 の定義における係数は、後述するノルムが1になるよう選んだものである。
 が球面調和関数の定義を満たすことは自明ではないが、 を と定義した上で直交座標に変換すると が斉次多項式になっている事を確認できる。
なお、本項では、「球面調和関数」という言葉をラプラス方程式の解となる斉次多項式（の球面への制限）一般を指す用語として用いるが、物理の教科書などでは上述した のみを球面調和関数と呼んでいるものも多い。
"Y"("θ", "φ") の意義.
 は斉次多項式に関する3次元空間のラプラス方程式を変数分離で解く事で自然に得られる。 次の斉次多項式 に対し、変数分離形
でラプラス方程式 を解くと、変数分離形の解は必ず
と書ける事を証明できる。
また、3次元空間の場合、 次球面調和関数全体のなすベクトル空間 " の次元は、() より
なので、() より、以下の結論が得られる：
球面上の完全直交性.
本節では、球面調和関数の空間に内積を定義し、球面調和関数がこの内積に関して完全直交性を満たすことを示す。
球面調和関数に対する内積.
 次元空間 の単位球面 を () のように定義し、 を 上の面素とし、 上定義された2つの球面調和関数 の内積を
により定義する。なお、面素 は球面座標 を
を用いて
と書ける。特に 次元空間の場合は球面座標 に対し、
である。
直交性.
 次球面調和関数全体のなすベクトル空間を " とすると、以上のように定義された内積に対し、以下の事実が成立する事が知られている。
特に 次元空間では次が成立する。
\begin{cases}1&\text{if }k=j,\, m=s,\\
0&\text{otherwise.}\end{cases}</math>
完全直交性.
" が更に強い性質を満たすことも証明可能である。 上の自乗可積分函数全体の空間
は " を使って直交分解可能である：
これを言い換えると、以下の系が従う：
特に 次元の場合は、上述の事実とから以下が成立する：
3次元空間における完全直交性.
 次元空間 の球面座標 に対し、
が成立する。そこで、 上の関数 に対し、 の内積を
により定義し、さらに の関数 の内積を
とする。 が
と変数分離形で書けていた場合には、(), (), () で定義した内積は以下の性質を満たす。
(), (), () の内積を用いて自乗可積分な関数全体の集合をそれぞれ と書くと、ヒルベルト空間の一般論から、次が成立する。
上述した定理とから、以下の結論が従う。
の具体例.
いくつかの球面調和関数の具体的な表式を示す。
代数的性質.
加法定理.
球面調和関数には「加法定理」と呼ばれる性質がある。これは三角関数における加法定理
を一般化したものと捉えることができる。上式の右辺は球面調和関数に、左辺はルジャンドル多項式に置き換えられる。
二つの単位ベクトル および を考え、それらの球面座標をそれぞれ および とする。このとき、加法定理は以下のように表すことができる：
ここで は 次のルジャンドル多項式である。この表式は実数調和関数・虚数調和関数の双方について成り立つ。この結果は単位球面上のポアソン核の性質を用いて、あるいはベクトル を 軸に沿うように幾何的に回転させたのちに右辺を直接計算することにより解析的に証明することができる。
特に、 の場合はウンゼルトの定理
に帰着する。この式は一次元の三角関数における恒等式 を二次元に拡張したものとみなすことができる。
式 () の左辺 は 次のの定数倍である。この観点から、より高次元の場合にも次のように一般化することができる。 を 次元超球面上の 次の球面調和関数の張る空間 の任意の正規直交基底とする。このとき、単位ベクトル に対応する 次の帯球調和関数 は以下のように書き下せる。
さらに、帯球調和関数 は適切なゲーゲンバウアー多項式の定数倍として表すことができる：
 および が球面座標で表される場合、() および () を組み合わせると () が得られる。最後に、 の場合を評価すると次の恒等式が得られる：
ここで は 次元超球の体積である。
クレブシュ–ゴルダン係数.
クレブシュ–ゴルダン係数とは、二つの球面調和関数の積を球面調和関数の線形結合で展開する際の展開係数である。ウィグナーの3-j記号やラカー係数、スレーター積分など様々な計算方法があるが、本質は同じである。抽象的には、クレブシュ–ゴルダン係数は二つの回転群の既約表現のテンソル積を既約表現の和で表わすときの係数と見ることができる。よって、適切に正規化すれば多重度と一致する。
パリティ.
原点に対する点対称操作で符号が替わらない（偶関数）かあるいは符号が逆になる（奇関数）かに依って、球面調和関数に対する「パリティ」が定義される。原点を不動点とする点対称操作は と表わせる。立体角で表わせば、 を に置き換える操作になる。ルジャンドル陪多項式（Associated Legendre polynomials）はパリティとして を、指数関数は を与えるので、両者を併せると球面調和関数のパリティは（mには依らずに） となる。
このことは、高次元に一般化した場合にも成り立つ。 次の球面調和関数に点対称操作を施した場合、符号の変化は となる。
（これは調和多項式が次数の偶・奇に併せて空間反転で偶関数・奇関数であること、球面調和函数が調和多項式の球面上への制限であることからも容易に理解できる。）
量子力学での応用.
量子力学で、球対称なポテンシャル に対する1粒子シュレーディンガー方程式（代表的なものは水素原子のシュレーディンガー方程式）
を解いたときに、球面調和関数が現れる。量子力学では の を量子数と呼び、それぞれ を方位量子数、 を磁気量子数という。
球面調和関数は軌道角運動量 と密接な関係がある。球面調和関数は と の同時固有関数になっており、その固有値はそれぞれ である。すなわち
となる。また、上昇下降演算子 を球面調和関数に作用させると
となる。