球面調和関数
球面調和関数(きゅうめんちょうわかんすう、英: spherical harmonics[1])あるいは球関数(きゅうかんすう、英: spherical functions[2])は以下のいずれかを意味する関数である:
- n 次元ラプラス方程式の解となる斉次多項式を単位球面に制限する事で得られる関数。
- 次元 n が 3 の場合の 1 の意味での球面調和関数で、球面座標 (r, θ, φ) で書いたラプラス方程式の変数分離解を記述するのに用いる事ができる関数 テンプレート:SubSup(θ, φ).
本項では 1 及び 2 双方の意味の球面調和関数について述べるが、特に断りがない限り、「球面調和関数」という言葉を 1 の意味で用いる。
Contents
定義
テンプレート:Mathbf を実数全体の集合とし、テンプレート:Mathbf を複素数全体の集合とし、n 個の実数からなる組の集合を Rn とし、Rn の元を (x1, …, xn) ∈ Rn と書き表すことにする。
Rn 上の複素数値関数
- φ: Rn → C
が2階微分可能なとき、Δφ を
- [math]\Delta\phi=\sum_{i=1}^n\frac{\partial^2}{\partial x_i{}^2}\phi[/math]
と定義し、Δ をラプラス作用素という。さらに Rn 上の多項式 p(x1, …, xn) で
- Δp = 0
を満たすものを調和多項式という[3]。なおラプラス作用素は回転行列 R に対し、
- Δp(R(x)) = R(Δp(x))
を満たすので[4]、調和多項式の定義は座標系のとり方に依存しない。
調和多項式 p が k 次の斉次多項式であるとき、p を単位球面 テンプレート:NumBlk に制限した制限写像
- [math]Y=p|_{S^{n-1}} \colon S^{n-1} \to \mathbf{R}[/math]
を k 次の球面調和関数という[5]。
(n 次元空間 Rn における)k 次の球面調和関数全体の集合を テンプレート:Mathcalk とすると、テンプレート:Mathcalk は テンプレート:Mathbf 上のベクトル空間であり、 テンプレート:NumBlk である[6]。
帯球関数
en を Rn 上のベクトル
- en = (0, ..., 0, 1) ∈ Rn
とする。 テンプレート:Math theorem 次の事実が成立する[7]。
具体的表記
帯球関数を具体的に書き表す為、記号を導入する。自然数 n と非負の実数 x に対しポッホハマー記号 (x)n を
- [math](x)_n := \frac{\Gamma (x+n)}{\Gamma(x)}[/math]
により定義する。ここで Γ(x) はガンマ関数である。さらにガウスの超幾何関数を
- [math]{}_2F_1(-k,b;c;z)=\sum_{i=0}^k (-1)^i \binom{k}{i} \frac{(b)_i}{(c)_i} z^i[/math]
- [math]P_k^{(\alpha)}(z):= \,_2F_1\!\left(-k,2\alpha+k;\alpha+\frac{1}{2};\frac{1-z}{2}\right)[/math]
により定義する[注 2]。このとき、次が成立する。
- [math]Z_k^{n}(x_1,\ldots,x_n):=P_k^{((n-2)/2)}(x_n)[/math] は k 次の帯球関数である[8]。
すでに述べたように、k 次の帯球関数は定数倍を除いて一意なので、全ての k 次帯球関数は上述したものの定数倍として表記可能である。
3次元空間における球面調和関数
3次元空間 R3 の場合、R3 を球面座標 (r, θ, φ) で表すと、下記の テンプレート:SubSup(θ, φ) が球面調和関数になる事が知られている。 テンプレート:NumBlk ここで テンプレート:NumBlk であり、テンプレート:SubSup(t) はルジャンドルの陪多項式[9] テンプレート:NumBlk である。すなわち テンプレート:SubSup(t) はルジャンドルの陪微分方程式
- [math](1-t^2)y''(t)-2t\,y'(t)+\left[k(k+1)-\frac{m^2}{1-t^2}\right]y(t)=0[/math]
の解である。なお、ルジャンドルの陪微分方程式は条件 (テンプレート:EquationNote) を満たすとき、およびそのときだけ解を持つことが知られている。また、テンプレート:SubSup(θ, φ) の定義における係数は、後述するノルムが1になるよう選んだものである。
テンプレート:SubSup(θ, φ) が球面調和関数の定義を満たすことは自明ではないが、p を p(r, θ, φ) = rk テンプレート:SubSup(θ, φ) と定義した上で直交座標に変換すると p が斉次多項式になっている事を確認できる。
なお、本項では、「球面調和関数」という言葉をラプラス方程式の解となる斉次多項式(の球面への制限)一般を指す用語として用いるが、物理の教科書などでは上述した テンプレート:SubSup(θ, φ) のみを球面調和関数と呼んでいるものも多い。
Ykm(θ, φ) の意義
テンプレート:SubSup(θ, φ) は斉次多項式に関する3次元空間のラプラス方程式を変数分離で解く事で自然に得られる。k 次の斉次多項式 p に対し、変数分離形
- p(r, θ, φ) = R(r) Θ(θ) Φ(φ)
でラプラス方程式 Δp = 0 を解くと、変数分離形の解は必ず
- [math]p(r,\theta,\phi)=r^k(AY_k{}^m(\theta,\phi)+BY_k{}^{-m}(\theta,\phi)),[/math] m は整数で k ≤ テンプレート:Mabs
と書ける事を証明できる。
テンプレート:Math proof また、3次元空間の場合、k 次球面調和関数全体のなすベクトル空間 テンプレート:Mathcalk の次元は、(テンプレート:EquationNote) より
- [math]\operatorname{dim}_{\mathbf{C}}\mathcal{H}_k=2k+1[/math]
なので、(テンプレート:EquationNote) より、以下の結論が得られる:
球面上の完全直交性
本節では、球面調和関数の空間に内積を定義し、球面調和関数がこの内積に関して完全直交性を満たすことを示す。
球面調和関数に対する内積
n 次元空間 Rn の単位球面 Sn − 1 を (テンプレート:EquationNote) のように定義し、dS を Sn−1 上の面素とし、Sn − 1 上定義された2つの球面調和関数 f, g の内積を テンプレート:NumBlk により定義する。なお、面素 dS は球面座標 (r, θ1, …, θn − 1) を
- [math]x_j=\begin{cases} r\sin\theta_1\cdots\sin\theta_{j-1}\cos\theta_j &\text{if }1\le j\le n-1\\ r\sin\theta_1\cdots\sin\theta_n &\text{if }j=n \end{cases}[/math]
を用いて
- [math]\mathrm{d}S=\prod_{j=1}^{n-1}\sin^{j-1}\theta_j\,\mathrm{d}\theta_1\cdots\mathrm{d}\theta_{n-1}[/math]
と書ける[10]。特に 3 次元空間の場合は球面座標 (r, θ, φ) に対し、
- [math]\mathrm{d} S=\sin\theta\,\mathrm{d}\theta\,\mathrm{d}\varphi[/math]
である。
直交性
k 次球面調和関数全体のなすベクトル空間を テンプレート:Mathcalk とすると、以上のように定義された内積に対し、以下の事実が成立する事が知られている。 テンプレート:Math theorem 特に 3 次元空間では次が成立する。 テンプレート:Math theorem
完全直交性
テンプレート:Mathcalk が更に強い性質を満たすことも証明可能である。Sn − 1 上の自乗可積分函数全体の空間
- L2(Sn − 1) = { f: Sn − 1 → C | f は可測かつ テンプレート:Bra-ketSn − 1 が有限値 }
は テンプレート:Mathcalk を使って直交分解可能である[11]: テンプレート:Math theorem これを言い換えると、以下の系が従う: テンプレート:Math theorem
特に 3 次元の場合は、上述の事実とテンプレート:EquationNoteから以下が成立する: テンプレート:Math theorem
3次元空間における完全直交性
3 次元空間 R3 の球面座標 (r, θ, φ) に対し、
- [math]\mathrm{d}x\,\mathrm{d}y\,\mathrm{d}z = r^2\sin\theta \,\mathrm{d}r\,\mathrm{d}\theta\,\mathrm{d}\varphi[/math]
が成立する。そこで、R 上の関数 χ, ξ に対し、χ, ξ の内積を テンプレート:NumBlk により定義し、さらに R3 の関数 f1, f2 の内積を テンプレート:NumBlk とする。f1, f2 が
- f1(x) = χ1(r) Y1(θ, φ), f2(x) = χ2(r) Y2(θ, φ)
と変数分離形で書けていた場合には、(テンプレート:EquationNote), (テンプレート:EquationNote), (テンプレート:EquationNote) で定義した内積は以下の性質を満たす。
- [math]\langle f_1|f_2 \rangle = \langle \chi_1|\chi_2 \rangle_{R} \langle Y_1|Y_2 \rangle_{S}[/math]
(テンプレート:EquationNote), (テンプレート:EquationNote), (テンプレート:EquationNote) の内積を用いて自乗可積分な関数全体の集合をそれぞれ L2(S2, sin θ dθ dφ), L2(R, r2 dr), L2(R3, dx dy dz) と書くと、ヒルベルト空間の一般論から、次が成立する[注 3]。
上述した定理とテンプレート:EquationNoteから、以下の結論が従う。 テンプレート:Math theorem
{{safesubst:#invoke:Anchor|main}}Ykm(θ, φ) の具体例
いくつかの球面調和関数の具体的な表式を示す。
- [math]\begin{align} Y_{0}^{0}&=\frac{1}{\sqrt{4\pi}}\\ Y_{1}^{0}&=\sqrt{\frac{3}{4\pi}}\,\cos\theta\\ Y_{1}^{\pm1}&=\mp\sqrt{\frac{3}{8\pi}}\,\sin\theta\,e^{\pm i\varphi}\\ Y_{2}^{0}&=\sqrt{\frac{5}{16\pi}}\,(3\cos^2\theta-1)\\ Y_{2}^{\pm1}&=\mp\sqrt{\frac{15}{8\pi}}\,\sin\theta\cos\theta\,e^{\pm i\varphi}\\ Y_{2}^{\pm2}&=\sqrt{\frac{15}{32\pi}}\,\sin^2\theta\,e^{\pm2i\varphi}\\ Y_{3}^{0}&=\sqrt{\frac{7}{16\pi}}\,(5\cos^{3}\theta-3\cos\theta)\\ Y_{3}^{\pm1}&=\mp\sqrt{\frac{21}{64\pi}}\,\sin\theta\,(5\cos^{2}\theta-1)\,e^{\pm i\varphi}\\ Y_{3}^{\pm2}&=\sqrt{\frac{105}{32\pi}}\,\sin^{2}\theta\cos\theta\,e^{\pm2i\varphi}\\ Y_{3}^{\pm3}&=\mp\sqrt{\frac{35}{64\pi}}\,\sin^{3}\theta\,e^{\pm3i\varphi} \end{align}[/math]
代数的性質
加法定理
球面調和関数には「加法定理」と呼ばれる性質がある。これは三角関数における加法定理
- [math]\cos(\theta'-\theta)=\cos\theta'\cos\theta + \sin\theta\sin\theta'[/math]
を一般化したものと捉えることができる。上式の右辺は球面調和関数に、左辺はルジャンドル多項式に置き換えられる。
二つの単位ベクトル x および y を考え、それらの球面座標をそれぞれ (θ, φ) および (θ′, φ′) とする。このとき、加法定理は以下のように表すことができる[12]:
ここで Pℓ は ℓ 次のルジャンドル多項式である。この表式は実数調和関数・虚数調和関数の双方について成り立つ[注 4]。この結果は単位球面上のポアソン核の性質を用いて、あるいはベクトル y を z 軸に沿うように幾何的に回転させたのちに右辺を直接計算することにより解析的に証明することができる[13]。
特に、x = y の場合はウンゼルトの定理[14]
- [math]\sum_{m=-\ell}^\ell Y_{\ell m}^*(\theta,\varphi) \, Y_{\ell m}(\theta,\varphi) = \frac{2\ell + 1}{4\pi}[/math]
に帰着する。この式は一次元の三角関数における恒等式 cos2 θ + sin2θ = 1 を二次元に拡張したものとみなすことができる。
式 (テンプレート:EquationNote) の左辺 Pℓ(x⋅y) は ℓ 次の帯球調和関数の定数倍である。この観点から、より高次元の場合にも次のように一般化することができる。Yj を n 次元超球面上の ℓ 次の球面調和関数の張る空間 Hℓ の任意の正規直交基底とする。このとき、単位ベクトル x に対応する ℓ 次の帯球調和関数 テンプレート:SubSup は以下のように書き下せる[15]。
さらに、帯球調和関数 テンプレート:SubSup(y) は適切なゲーゲンバウアー多項式の定数倍として表すことができる: テンプレート:NumBlk x および y が球面座標で表される場合、(テンプレート:EquationNote) および (テンプレート:EquationNote) を組み合わせると (テンプレート:EquationNote) が得られる。最後に、x = y の場合を評価すると次の恒等式が得られる:
- [math]\frac{\dim \mathbf{H}_\ell}{\omega_{n-1}} =\sum_{j=1}^{\dim(\mathbf{H}_\ell)}|Y_j({\boldsymbol{x}})|^2.[/math]
ここで ωn − 1 は (n − 1) 次元超球の体積である。
クレブシュ–ゴルダン係数
クレブシュ–ゴルダン係数とは、二つの球面調和関数の積を球面調和関数の線形結合で展開する際の展開係数である。ウィグナーの3-j記号やラカー係数、スレーター積分など様々な計算方法があるが、本質は同じである。抽象的には、クレブシュ–ゴルダン係数は二つの回転群の既約表現のテンソル積を既約表現の和で表わすときの係数と見ることができる。よって、適切に正規化すれば多重度と一致する。
パリティ
原点に対する点対称操作で符号が替わらない(偶関数)かあるいは符号が逆になる(奇関数)かに依って、球面調和関数に対する「パリティ」が定義される。原点を不動点とする点対称操作は PΨ(テンプレート:Vec) = Ψ(−テンプレート:Vec) と表わせる。立体角で表わせば、{θ, φ} を {π − θ, π + φ} に置き換える操作になる。ルジャンドル陪多項式(Associated Legendre polynomials)はパリティとして (−1)ℓ + m を、指数関数は (−1)m を与えるので、両者を併せると球面調和関数のパリティは(mには依らずに) (−1)ℓ となる。
- [math]Y_\ell^m(\theta,\phi) \; \rightarrow \; Y_\ell^m(\pi-\theta,\pi+\phi) = (-1)^\ell Y_\ell^m(\theta,\phi)[/math]
このことは、高次元に一般化した場合にも成り立つ。ℓ 次の球面調和関数に点対称操作を施した場合、符号の変化は (−1)ℓ となる。 (これは調和多項式が次数の偶・奇に併せて空間反転で偶関数・奇関数であること、球面調和函数が調和多項式の球面上への制限であることからも容易に理解できる。)
量子力学での応用
量子力学で、球対称なポテンシャル V(r) に対する1粒子シュレーディンガー方程式(代表的なものは水素原子のシュレーディンガー方程式)
- [math]\left\{ -\frac{\hbar^2}{2m}\nabla^2+V(r)\right\}\psi(\boldsymbol{r})=E\psi(\boldsymbol{r})[/math]
を解いたときに、球面調和関数が現れる。量子力学では テンプレート:SubSup の ℓ, m を量子数と呼び、それぞれ ℓ を方位量子数、m を磁気量子数という。
球面調和関数は軌道角運動量 ℓ と密接な関係がある。球面調和関数は ℓ2 と ℓz の同時固有関数になっており、その固有値はそれぞれ ħ2ℓ(ℓ + 1), mħ である。すなわち
- [math]\boldsymbol{\ell}^2Y_\ell^m=\hbar^2\ell(\ell+1)Y_\ell^m[/math]
- [math]\ell_z Y_\ell^m=m\hbar Y_\ell^m[/math]
となる。また、上昇下降演算子 ℓ+, ℓ− を球面調和関数に作用させると
- [math]\ell_+ Y_\ell^m=\hbar\sqrt{(\ell-m)(\ell+m+1)}\, Y_\ell^{m+1}[/math]
- [math]\ell_- Y_\ell^m=\hbar\sqrt{(\ell+m)(\ell-m+1)}\, Y_\ell^{m-1}[/math]
- [math]\ell_+ Y_\ell^\ell=0,\quad\ell_- Y_\ell^{-\ell}=0[/math]
となる。
脚注
注釈
出典
- ↑ 文部省 『学術用語集 物理学編』 日本物理学会編、培風館、1990-09。全国書誌番号:90057219。ISBN 4-563-02195-4。OCLC 23241821。
- ↑ ブリタニカ百科事典
- ↑ 野村 2006, p. 9
- ↑ 野村 2006, pp. 5–6.
- ↑ 野村 2006, p. 12.
- ↑ 野村 2006, p. 10.
- ↑ 引用エラー: 無効な
<ref>
タグです。 「:0
」という名前の引用句に対するテキストが指定されていません - ↑ 野村 2006, p. 20.
- ↑ 日本測地学会 2004.
- ↑ 野村 2006, p. 13.
- ↑ 引用エラー: 無効な
<ref>
タグです。 「:2
」という名前の引用句に対するテキストが指定されていません - ↑ Angular Momentum In Quantum Mechanics. Princeton University Press.
- ↑ Watson & Whittaker 1927, p. 395.
- ↑ Unsöld 1927.
- ↑ Stein & Weiss 1971, §IV.2.
文献
参考文献
- Jean Gallier (Department of Computer and Information Science University of Pennsylvania) (2013年). “Notes on Spherical Harmonics and Linear Representations of Lie Groups (PDF)”. ペンシルバニア大学. . 2017/08/29閲覧.
- 野村隆昭 (2006年). “極座標・回転群・SL(2, R) (PDF)”. 九州大学. . 2017閲覧.
- Brian C.Hall (July 1, 2013). Quantum Theory for Mathematicians, Graduate Texts in Mathematics 267. Springer.
- 高知大学自然科学系 田部井隆雄、神奈川県温泉地学研究所 里村幹夫、京都大学大学院理学研究科 福田洋一 (2004年). “4-4. ルジャンドルの多項式, 陪多項式”. 日本測地学会. . 2017閲覧.
- Watson, G. N.; Whittaker, E. T. (1927), A Course of Modern Analysis, Cambridge University Press, p. 392
- Unsöld, Albrecht (1927). “Beiträge zur Quantenmechanik der Atome”. Annalen der Physik 387 (3): 355–393. Bibcode 1927AnP...387..355U. doi:10.1002/andp.19273870304. ISSN 0003-3804. LCCN 50013519. OCLC 5854993.
- (November 1, 1971) Introduction to Fourier Analysis on Euclidean Spaces, Princeton mathematical series. Princeton, N.J.: Princeton University Press. ISBN 978-0-691-08078-9. OCLC 919508312.
その他の文献
- 小出昭一郎 『量子力学1』 裳華房〈基礎物理学選書〉、1990-10-05、改訂版、89-96。全国書誌番号:91005557。ISBN 4-7853-2132-6。OCLC 835016094。
- L. I. Schiff [1955] (1968). Quantum Mechanics, 3rd, Singapore etc.: McGraw Hill, 79-80. ISBN 0-07-085643-5. OCLC 632275975.
- Christian Helanow (2009年). “Spherical harmonics: a theoretical and graphical study (PDF)”. . 2017閲覧.
- Joṥe Alvarado (2007年12月4日). “Group Theoretical Aspects of Quantum Mechanics (PDF)”. . 2016閲覧.
- 野村隆昭:「球面調和函数と群の表現」、ISBN: 978-4535798182、日本評論社 (2018年7月)。
- Edmonds, A. R.: "Angular Momentum in Quantum Mechanics", Princeton University Press, ISBN 978-0691025896 (1996). Reprint version.
- 山内恭彦:「回転群とその表現」、岩波書店、ISBN 978-4000051460 (1988年11月)。