球対称函数

数学における球対称函数（きゅうたいしょうかんすう、）または動径函数（; 放射函数）は、各点における値がその点の偏角成分に依らず動径成分（原点からその点までの距離）のみに依存して決まる函数を言う。

例えばユークリッド平面  上で定義された函数  が二次元の球対称函数であるとは、適当な一変数非負値函数  を用いて

の形に表される。球対称函数はと対照を成すものであり、ユークリッド空間上で定義された任意の下降函数 （例えば連続かつな函数）は球対称成分（動径成分）と球面的成分（偏角成分）からなる級数に分解される（展開）。

函数が球対称（回転対称、動径的）であるための必要十分条件はそれが原点を固定する任意の回転変換のもとで不変となることである。言葉を変えれば、-次元ユークリッド空間  上の函数  が球対称となる必要十分条件は、-次元特殊直交群  の任意の元  に対して  を満たすことである。球対称函数のこのような特徴付けはシュヴァルツ超函数の球対称性を定義するのにも利用できる。 上のシュヴァルツ超函数  は任意の試験函数  と回転変換  に対し
 
を満たすとき、球対称であるという。

任意の函数  が与えられたとき、その球対称成分（動径成分）  は原点を中心とする球面上で平均をとることによって与えられる。特に  が局所可積分ならばこれは

と書くことができる。ただし、 は -次元球面  の表面積であり、 および  とした。このことから、フビニの定理により、局所可積分函数はほとんど全ての  において球対称成分は矛盾なく定義されることが従う。

球対称函数のフーリエ変換はふたたび球対称である。それゆえ球対称函数はフーリエ解析において決定的な役割を果たす。さらに言えば、球対称函数のフーリエ変換は典型的には無限遠において非球対称函数よりも強く減衰する振舞いを示す。原点の近傍において有界な球対称函数に対して、そのフーリエ変換は動径  の函数  よりも速く減少する。ベッセル函数は特別なクラスの球体種函数で、フーリエ解析においてラプラス作用素の球対称固有函数として自然に現れる。これらは自然にフーリエ変換の球対称部分と看做せる。

関連項目 
 極座標系
 動径基底函数

参考文献 
.

外部リンク 
 

調和解析
回転対称性
写像
数学に関する記事