ロドリゲスの公式

3次元ベクトルの回転に関する公式については「ロドリゲスの回転公式」をご覧ください。

数学におけるロドリゲスの公式（ロドリゲスのこうしき、英: Rodrigues' formula、かつてはアイヴォリー＝ヤコビの公式 英: Ivory–Jacobi formula とも）とはルジャンドル多項式を生成する公式であり、1816年に(オランド・ロドリゲス)（英語版）、1824年に(ジェームズ・アイヴォリー)（英語版）、1827年にカール・グスタフ・ヤコビによって独立に発見された。「ロドリゲスの公式」という名前がハイネによって提唱されたのは1878年であるが、これは1865年にエルミートがこの公式の最初の発見者はロドリゲスだと指摘したことによる。

この用語は同様の直交多項式系の生成公式を示す際にも使われる。

リチャード・アスキーは2005年にロドリゲスの公式の歴史を詳細に綴った記事を執筆した。^[1]

ステートメント

ロドリゲスはルジャンドル多項式　${\displaystyle P_{n}(x)}$ を次のように記述した：

${\displaystyle P_{n}(x)={1 \over 2^{n}n!}{d^{n} \over dx^{n}}\left[(x^{2}-1)^{n}\right]}$ 

スツルム＝リウヴィル型微分方程式の解として得られる直交函数系において同様の公式が成立することも多く、直交多項式系が得られるような場合についてはそれらの公式もロドリゲスの公式と呼ばれる。例えば以下のようなものがある。

• ラゲールの多項式 ${\displaystyle L_{n}(x)}$ 

${\displaystyle L_{n}(x)=e^{x}{d^{n} \over dx^{n}}\left(x^{n}e^{-x}\right)}$ 

• エルミート多項式 ${\displaystyle H_{n}(x)}$ 

${\displaystyle H_{n}(x)=(-1)^{n}e^{x^{2}}{d^{n} \over dx^{n}}e^{-x^{2}}}$ 

• ゲーゲンバウアー多項式 ${\displaystyle C_{n}^{(\alpha )}(x)}$ 

${\displaystyle C_{n}^{(\alpha )}(x)={\frac {(-2)^{n}}{n!}}{\frac {\Gamma (n+\alpha )\Gamma (n+2\alpha )}{\Gamma (\alpha )\Gamma (2n+2\alpha )}}(1-x^{2})^{-\alpha +1/2}{\frac {d^{n}}{dx^{n}}}\left[(1-x^{2})^{n+\alpha -1/2}\right]}$ 

脚注

1. ^ Askey, Richard (2005), “The 1839 paper on permutations: its relation to the Rodrigues formula and further developments”, in Altmann, Simón L.; Ortiz, Eduardo L., Mathematics and social utopias in France: Olinde Rodrigues and his times, History of mathematics, 28, Providence, R.I.: American Mathematical Society, pp. 105–118, ISBN (978-0-8218-3860-0), https://books.google.co.jp/books?id=oTyJYUx8Jr4C&pg=PA105&redir_esc=y&hl=ja