ルジャンドル多項式
が非負整数 のときの解は の両点においても正則であり、かつ級数は途中で止まって多項式となる。さらに 、 において値 1 を取るという初期条件を課すと、解は一意に定まる。これを 次のルジャンドル多項式と呼び、普通は と記す。また、全ての非負整数についての 次のルジャンドル多項式全体が成す関数族を総称的にルジャンドル多項式と呼ぶ。ルジャンドル多項式は後述する関数空間の内積に関して直交系を成す。ただし、この内積についての各 の大きさは 1 ではないため (これは という初期条件を課したためである)、正規直交系にはなっていない点は注意を要する。各ルジャンドル多項式 は 次多項式で、ロドリゲスの公式