Legendre polynomials
で定義されるルジャンドル多項式は区間 [−1, 1] 上の直交関数系であり、