球面調和関数

球面調和関数あるいは球関数は以下のいずれかを意味する関数である：

n}} 次元ラプラス方程式の解となる斉次多項式を単位球面に制限する事で得られる関数。
次元 n}} が 3}} の場合の 1 の意味での球面調和関数で、球面座標 }} で書いたラプラス方程式の変数分離解を記述するのに用いる事ができる関数 SubSup.本項では 1 及び 2 双方の意味の球面調和関数について述べるが、特に断りがない限り、「球面調和関数」という言葉を 1 の意味で用いる。

1. 定義
-----

R}} を実数全体の集合とし、C}} を複素数全体の集合とし、n}} 個の実数からなる組の集合を Rsup とし、Rsup の元を (//x//sub と書き表すことにする。

Rsup 上の複素数値関数

が2階微分可能なとき、Δ//φ//}} を

と定義し、Δ}} をラプラス作用素という。さらに Rsup 上の多項式 //p//(//x//sub で

を満たすものを調和多項式という。なおラプラス作用素は回転行列 R}} に対し、

を満たすので野村、調和多項式の定義は座標系のとり方に依存しない。

調和多項式 p}} が k}} 次の斉次多項式であるとき、p}} を単位球面 に制限した制限写像

を k}} 次の球面調和関数という野村。

k}} 次の球面調和関数全体の集合を //H}}sub// とすると、//H}}sub// は C}} 上のベクトル空間であり、 である野村。

2. 帯球関数
-------

//e//sub を Rsup 上のベクトル

とする。 次の事実が成立する:0}}。

2.1. 具体的表記
----------

帯球関数を具体的に書き表す為、記号を導入する。自然数 n}} と非負の実数 x}} に対しポッホハマー記号 sub を

により定義する。ここで Γ}} はガンマ関数である。さらにガウスの超幾何関数を

により定義し、さらに超球多項式を

により定義する。このとき、次が成立する。

は k}} 次の帯球関数である野村。すでに述べたように、k}} 次の帯球関数は定数倍を除いて一意なので、全ての k}} 次帯球関数は上述したものの定数倍として表記可能である。

3. 3次元空間における球面調和関数
------------------

3次元空間 Rsup の場合、Rsup を球面座標 }} で表すと、下記の SubSup が球面調和関数になる事が知られている。 ここで であり、SubSup はルジャンドルの陪多項式 である。すなわち SubSup はルジャンドルの陪微分方程式

の解である。なお、ルジャンドルの陪微分方程式は条件  を満たすとき、およびそのときだけ解を持つことが知られている。また、SubSup の定義における係数は、後述するノルムが1になるよう選んだものである。

SubSup が球面調和関数の定義を満たすことは自明ではないが、p}} を //p// =}} //r//sup と定義した上で直交座標に変換すると p}} が斉次多項式になっている事を確認できる。

なお、本項では、「球面調和関数」という言葉をラプラス方程式の解となる斉次多項式一般を指す用語として用いるが、物理の教科書などでは上述した SubSup のみを球面調和関数と呼んでいるものも多い。

3.1. //Yk}}m}}// の意義
----------------------------------

SubSup は斉次多項式に関する3次元空間のラプラス方程式を変数分離で解く事で自然に得られる。k}} 次の斉次多項式 p}} に対し、変数分離形

でラプラス方程式 1=Δ//p// = 0}} を解くと、変数分離形の解は必ず

m}} は整数で //k// ≤ mabs　 と書ける事を証明できる。

また、3次元空間の場合、k}} 次球面調和関数全体のなすベクトル空間 //H}}sub// の次元は、 より

なので、 より、以下の結論が得られる：

4. 球面上の完全直交性
------------

本節では、球面調和関数の空間に内積を定義し、球面調和関数がこの内積に関して完全直交性を満たすことを示す。

4.1. 球面調和関数に対する内積
-----------------

n}} 次元空間 Rsup の単位球面 //S//sup を  のように定義し、d//S//}} を //S//sup 上の面素とし、//S//sup 上定義された2つの球面調和関数 //f//, //g//}} の内積を により定義する。なお、面素 d//S//}} は球面座標 (//r//, //θ//sub を

を用いて

と書ける野村。特に 3}} 次元空間の場合は球面座標 }} に対し、

である。

4.2. 直交性
--------

k}} 次球面調和関数全体のなすベクトル空間を //H}}sub// とすると、以上のように定義された内積に対し、以下の事実が成立する事が知られている。

2つの非負整数 Math 特に 3}} 次元空間では次が成立する。

4.3. 完全直交性
----------

//H}}sub// が更に強い性質を満たすことも証明可能である。//S//sup 上の自乗可積分函数全体の空間

  は可測かつ が有限値   は //// を使って直交分解可能である： これを言い換えると、以下の系が従う：

特に 次元の場合は、上述の事実とから以下が成立する：

5. 3次元空間における完全直交性
-----------------

次元空間 の球面座標 に対し、

が成立する。そこで、 上の関数 に対し、 の内積を により定義し、さらに の関数 の内積を とする。 が

と変数分離形で書けていた場合には、, ,  で定義した内積は以下の性質を満たす。

, ,  の内積を用いて自乗可積分な関数全体の集合をそれぞれ と書くと、ヒルベルト空間の一般論から、次が成立する。

上述した定理とから、以下の結論が従う。

6. の具体例
-------

いくつかの球面調和関数の具体的な表式を示す。

7. 代数的性質
--------

7.1. 加法定理
---------

球面調和関数には「加法定理」と呼ばれる性質がある。これは三角関数における加法定理

を一般化したものと捉えることができる。上式の右辺は球面調和関数に、左辺はルジャンドル多項式に置き換えられる。

二つの単位ベクトル および を考え、それらの球面座標をそれぞれ および とする。このとき、加法定理は以下のように表すことができる：

ここで は 次のルジャンドル多項式である。この表式は実数調和関数・虚数調和関数の双方について成り立つ。この結果は単位球面上のポアソン核の性質を用いて、あるいはベクトル を 軸に沿うように幾何的に回転させたのちに右辺を直接計算することにより解析的に証明することができる。

特に、 の場合はウンゼルトの定理

に帰着する。この式は一次元の三角関数における恒等式 を二次元に拡張したものとみなすことができる。

式  の左辺 は 次のの定数倍である。この観点から、より高次元の場合にも次のように一般化することができる。 を 次元超球面上の 次の球面調和関数の張る空間 の任意の正規直交基底とする。このとき、単位ベクトル に対応する 次の帯球調和関数 は以下のように書き下せる。

さらに、帯球調和関数 は適切なゲーゲンバウアー多項式の定数倍として表すことができる： および が球面座標で表される場合、 および  を組み合わせると  が得られる。最後に、 の場合を評価すると次の恒等式が得られる：

ここで は 次元超球の体積である。

7.2. クレブシュ–ゴルダン係数
-----------------

クレブシュ–ゴルダン係数とは、二つの球面調和関数の積を球面調和関数の線形結合で展開する際の展開係数である。ウィグナーの3-j記号やラカー係数、スレーター積分など様々な計算方法があるが、本質は同じである。抽象的には、クレブシュ–ゴルダン係数は二つの回転群の既約表現のテンソル積を既約表現の和で表わすときの係数と見ることができる。よって、適切に正規化すれば多重度と一致する。

7.3. パリティ
---------

原点に対する点対称操作で符号が替わらないかあるいは符号が逆になるかに依って、球面調和関数に対する「パリティ」が定義される。原点を不動点とする点対称操作は と表わせる。立体角で表わせば、 を に置き換える操作になる。ルジャンドル陪多項式はパリティとして を、指数関数は を与えるので、両者を併せると球面調和関数のパリティは となる。

このことは、高次元に一般化した場合にも成り立つ。 次の球面調和関数に点対称操作を施した場合、符号の変化は となる。

8. 量子力学での応用
-----------

量子力学で、球対称なポテンシャル に対する1粒子シュレーディンガー方程式

を解いたときに、球面調和関数が現れる。量子力学では の を量子数と呼び、それぞれ を方位量子数、 を磁気量子数という。

球面調和関数は軌道角運動量 と密接な関係がある。球面調和関数は と の同時固有関数になっており、その固有値はそれぞれ である。すなわち

となる。また、上昇下降演算子 を球面調和関数に作用させると

となる。

9. 脚注
-----

9.1. 注釈
-------

9.2. 出典
-------

10. 文献
------

10.1. 参考文献
----------

10.2. その他の文献
------------

野村隆昭:「球面調和函数と群の表現」、ISBN: 978-4535798182、日本評論社 。
Edmonds, A. R.: "Angular Momentum in Quantum Mechanics",　Princeton University Press, ISBN 978-0691025896 . Reprint version.
山内恭彦：「回転群とその表現」、岩波書店、ISBN 978-4000051460 。
[1]
Kendall Atkinson and Weimin Han: "Spherical Harmonics and Approximations on the Unit Sphere: An Introduction", Springer, ISBN 978-3-642-25982-1 .

11. 関連項目
--------

調和関数

12. 外部リンク
---------