ルジャンドル多項式
ここで formula_4 は球ベッセル関数、formula_5 はルジャンドル多項式である。これを「レイリーの公式」と呼ぶ。これはルジャンドル多項式が完全系であることなどから導出できる。