ルジャンドル多項式
where is the Legendre polynomials, which is equivalent to