はじめに
3次元球面座標で定義された有界なスカラー関数 がLaplace方程式 を満たすとき、 は一般に
で書くことができる[
小話1
]。ここで、 は第一種Legendre陪関数である。これを の球面調和関数展開という。
球面調和関数展開は電磁気学で多重極子を考えるときなどに登場する重要な概念である。本記事ではできるだけ議論を端折らずに上記の一般解を導出し、関連する数学の話をまとめる。
球面調和関数
調和関数とは、Laplace方程式の解となるスカラー関数 のことである。
特に、これを3次元球面座標系 において (変数分離を用いて) 解いた解 を球面調和関数という[
小話2
]。
実数値関数の範囲での球面調和関数の概形 *[1]
By Twistar48 - Own work , CC BY-SA 4.0, Link
球面調和関数を表すにはLegendre倍関数が不可欠である。Legendre陪関数とは、以下のLegendreの陪微分方程式の解である。
これが解を持つのは のときである。Legendreの陪微分方程式は2階の常微分方程式なので、二つの線型独立な解として と を持つ。物理学に耐えうる「良い性質」を満たす方を第一種Legendre陪関数 と呼び、他方の で発散するものを第二種Legendre陪関数 と呼ぶ。第一種Legendre関数は人気者なのだが、第二種の項は物理的要請 (連続性、有界性といった境界条件) によってほとんど消されてしまう。今回は が有界な場合を考えているので、登場するのは第一種のみである。
一般解の導出
球面座標における3次元Laplace方程式
の一般解の形が で書けると仮定して変数分離法で解く[
小話3
]。
方程式に代入して
この両辺を で割ると[
小話4
]
である。左辺は の関数、右辺は のみの関数となっているから、この等式が成り立つためには両辺が定数でなければならない。分離定数 を導入して、
を得る。
方程式(R) について
である。まともに解くのは大変なので、解を推測して代入してみる。
式を見ると、「 で2回微分して 倍した項」と「 で1回微分して 倍した項」と「 で0回微分して 倍した項」とが互いに打ち消しあっているから、これら3項の次数は等しいはずである。したがって、 は の 次関数 ( は整数) である。そこで、. ( は定数) とおいて方程式(L) に代入すると、
を得る。これが任意の において成り立つためには、分離定数は
でなければならないとわかる[
小話5
]。改めて、方程式(L)
を解くと、この方程式は . のほかに . ( は定数) を解にもつ。 と は互いに線型独立な解だから、 の一般解はこれら二つの線型結合である[
小話6
]。
方程式(L) について
である。両辺を 倍して、
この左辺は のみの関数、右辺は のみの関数だから、この等式が成り立つためには両辺が定数でなければならない。分離定数 を導入して
を得る。
---- 方程式(LL) について
の解は
である。いま球面座標を考えているから、 が境界条件である。これを満たすためには、分離定数が ( は 以上の整数) でなければならない。したがって、
である。
---- 方程式(LR) について
ここで、 とおき、 と変数変換すると、
であるから、
整理すると
これはLegendreの陪微分方程式であり、 はLegendre陪関数
である。第二種Legendre陪関数 は のとき、すなわち北極 と南極 において値が発散してしまうから、解として不適。
以上より、球面座標における3次元Laplace方程式の1つの解は
である。任意定数 は各 に対して境界条件を解くことによって定まるから、改めてそれぞれを とおくと、一般解はこれらの に関する和で表せる。
系が 軸対称 ( について回転対称) の場合
の値は に依存しないから、
である。変数分離して得られた式(LL) において
より、 である。このとき、 に関するLegendreの陪微分方程式は
となる (ただし とした)。これはLegendreの微分方程式と呼ばれ、その解をLegendre関数という。特に、 において発散しない解 をLegendre多項式という[
小話7
]。ポテンシャルの一般解は
となる。これはポテンシャルの多重極展開の式 (単極子 + 双極子 + 四重極子 + 八重極子 + ...) にあたる。特に、 がモノポールに、 がポテンシャルの基準に、 が双極子に、それぞれ対応する。
こんな展開いつ使うの?
地球の磁場は球面調和関数展開で表すことができる。
地球の中心を原点にとった球面座標で考える。 がそれぞれ緯度、経度にあたる。地球の磁場 は、絶縁体中 (宇宙) で時間変化しない磁場とみなすことができる[
小話8
]。Maxwell方程式は
となる。 は渦なしの静ベクトル場だから、あるスカラー関数 が存在して、
と表せる。このときの を磁気ポテンシャルという。
磁場の発散はゼロであるから[
小話9
]、磁気ポテンシャル は
すなわち、Laplace方程式
の解である。したがって、地磁気のポテンシャルは球面調和関数の和で表せる。このとき、 は内部Gauss係数、 は外部Gauss係数と呼ばれる。数学への多大な貢献で知られるガウスは、それまであまり調べられていなかった地磁気の「強さ」を研究した人物でもあった。地球は北極をS極、南極をN極とする棒磁石でおおむね近似できると言われているが、実際には地磁気の生成はそれほど単純ではないため、z軸対称な系ではない。
球面座標におけるその他の2階偏微分方程式
Helmholtz方程式
波動方程式や拡散方程式を球面座標で解こうとすると、以下のHelmholtz方程式が現れる。
これは でLaplace方程式になる。この一般解は
である。ここで、 方向の変動を展開する は球面調和関数である。 方向の変動を展開する は球Bessel関数と呼ばれる。
球面座標におけるシュレーディンガー方程式
水素原子中の電子の波動関数を求めたいとき、以下のシュレーディンガー方程式を解くことになる。
これは と変数分離して解くことができて、 方向の変動 は球面調和関数になる。 方向の変動はラゲールの陪多項式で表すことができる。
まとめ
3次元球面座標で定義されたスカラー関数 がLaplace方程式 を満たすとき、 は球面調和関数の和で表すことができる。特に z軸対称 ( に関する回転対称) な場合には、解は多重極子 (単極子 + 双極子 + 四重極子 + ...) の和の形で表せる。Laplace方程式以外にも、2階偏微分方程式を球面座標で解くと 方向の変動は球面調和関数で展開できる場合が多い。
小話
あまり追いきれていない細かい話をメモとしてまとめた。真偽不明とまでは行かないものの、要出典の話が多い。
小話1
といったべき関数によるテイラー展開 (Laurent展開と言うべき?) のような側面と、 といった周波数成分によるフーリエ展開のような側面の両方を併せ持つ点が個人的な推しポイント。
小話2
球面調和関数の定義は他にも「次元Laplace方程式の解のうち単位球面上に限った関数」というものもある。
小話3
今回のLaplace方程式だけでなく、波動方程式とかシュレーディンガー方程式とか、物理学で登場する偏微分方程式ではしばしばこの「一般解が変数分離できると仮定」して解く変数分離法が用いられる。これで実際うまく行っているから物理的には良いのだが、個人的には「変数分離された解を仮定して得られた解が、本当に『その微分方程式の解を全て表すことのできる一般解』である保証はないのではないか」という疑問をずっと拭えないでいる。まあ、物理で登場するような「性質のいい」偏微分方程式には常微分方程式と同様に解の存在と一意性が成り立つ[要出典]
ので、積分定数の数が足りていれば大丈夫と考えて良いのだろうとは思うのだが...。今回のケースでは一般解の定数 が無限個ある ( は から まで動く) ので、どう理解すべきか悩ましい。
小話4
両辺を で割っているが、 となる点においてゼロ除算をしていることにはならないのだろうか。どうやら の零点が高々可算個であれば、測度論を用いて「ほとんどいたるところで」大丈夫ということになるらしい[要出典]
。
小話5
この段階では、厳密には は一般に実数の値を取ってよい。物理の文脈でLaplace方程式を解こうとすると、物理的に満たされるべき条件によって結局 が自然数に限られることが多い[要出典]
。分離定数 は、実際には実数全体を動けるほど自由な定数ではなく、せいぜい . である。
小話6
しれっと であるかのような解の書き方をしたが、 でも同型の解になる。 のとき、求めた解 は
となるが、改めて と置き直すことで
の形に表すことができる。
小話7
Legendre多項式 は 次多項式であって
と表すことができる (ロドリゲスの公式)。これを用いて Legendre陪関数は
と表される。
小話8
厳密には地球の磁場も変化している。地球の磁場自体が数年のスケールでゆったりと変化していたり、地球の高層では磁気嵐が発生したりしている。しかし、それでは の仮定が満たされていないではないか!ということで、 の効果を無視できる時間スケールを見積もってみよう。Maxwell方程式は
であり、地球電磁気では
Ohmの法則:
電気伝導度
大気電流 [A/m]
物性:
大気の誘電率 [F/m]
であるTY。これらを方程式に代入すると
右辺の最後の の大きさは、真空の透磁率[N/A] と、上で示した大気電流の大きさより、[N/m] くらいのオーダーになる。したがって、 の効果が無視できるかどうかは の大きさ次第であり、例えばこれが となる
くらいの時間スケールであれば、 とみなすことができる。すなわち、「◯月◯日のガウス係数はAで、その翌日のガウス係数はBだ」という議論は可能だが、「◯時◯分のガウス係数はコレで、その1時間後にはこう変化する」という主張は、 の仮定が成り立たない可能性があり、危険な議論である。
近年のデータ社会の中で、物理的に意義のあるデータのサンプリング周期を検討することは割と重要な要素だと思うのだが、この点に触れている文献はあまり見られないので、ここに記した。
小話9
一般的な静電場とは異なり静磁場が球面調和関数で展開できるのは、単磁荷 (モノポール) が存在しないからだと言える。もし大きめのモノポールを作ってしまった方がおられるならば、地磁気に影響しないよう地球磁気圏の外側 (高度約 1,000,000 km 以上) へ移動して実験していただきたい。