直交多項式

数学における直交多項式列（ちょっこうたこうしきれつ、）または直交多項式系 (system of orthogonal polynomials) は、多項式の成す族（多項式列）であって、それに属するどの二つの多項式も適当な内積に関して直交するものをいう。
最も広く用いられる直交多項式列はと呼ばれる一群で、エルミート多項式列、ラゲール多項式列、列やそれらの特別の場合としてのゲーゲンバウアー多項式列、チェビシェフ多項式列 (やに使われている)、ルジャンドル多項式列 (ガウス・ルジャンドル公式による求積に使われている) などが含まれる。
直交多項式系に関する分野は、19世紀後半にチェビシェフによる連分数の研究から発展し、マルコフとスティルチェスが続いた。直交多項式系に関して業績・貢献のある数学者は多数いる (後述する)。
一変数および実測度の場合の定義.
実数直線上定義された非減少函数 が任意に与えられたとき、函数 の に関するルベーグ–スティルチェス積分
が定義できる。この積分が任意の多項式に対して有限であるとき、多項式の対 に対して内積
が定義される。この演算は多項式全体の成すベクトル空間上の半正定値内積であり、 が無限個の増加点を持つならば正定値になる。この内積に関して通常の仕方で直交性が定義できる（つまり二つの多項式が直交するとはそれらの内積が零であることをいう）。
このとき多項式列 が直交系であるとは、 のとき常に関係式
を満たすことを言う。即ち直交多項式列は単項式列 に与えられた内積に関するグラム–シュミットの直交化を施して得られる。
正規直交系.
通常はさらに正規直交系、すなわち
となることも要求する (これを課すことにより直交多項式列は一意に定まる)。
絶対連続の場合.
 がルベーグ測度 に対して絶対連続であるとき、すなわち適当な区間 （ および となってもよい）上に台を持つ非負函数 を密度函数 ("weight function") として
と書けるとき、内積も
の形に与えられる。しかし多くの直交多項式系の例において、測度 は の不連続点集合が正の測度を持ち、このような密度函数 を与えることはできない。
直交多項式列の例.
古典直交多項式列.
もっともよく利用される直交多項式系は、実数直線上の適当な区間に台を持つ測度に対して直交するものである。例えば：
離散直交多項式列.
適当な離散測度に関して直交する多項式列はであるという。この場合、測度が有限台、つまり多項式の無限列ではなく有限列となることもある。列は離散直交多項式列の例であり、特別の場合としてハーン多項式列および双対ハーン多項式列を含む。したがってさらに特別の場合として、クラウチューク多項式列、などが含まれる。
篩直交多項式列.
、例えば列、、列など、は修正された漸化式を持つ。
単位円上の直交多項式列.
ガウス平面上の適当な曲線に関する直交多項式系も考えられる。実数直線上を除いてもっとも重要な場合は、考える曲線が単位円の場合である。には例えば列がある。
三角形や円板のような平面領域上で定義された直交多項式の族も存在する。それらの中には、ヤコビ多項式列を用いて書き表すことができるものもある。例えばゼルニケ多項式列は単位円板上で直交する。
性質.
実数直線上の非負測度に関する一変数直交多項式列は以下のような性質を満たす。
モーメントとの関係.
直交多項式列 をモーメント を用いて
と表すことができる。ここに任意定数 は の正規化に関するものである。
漸化式.
直交多項式列 は以下の形の漸化式
を満足する。逆の結果は を見よ。
零点.
測度 が区間 に台を持つならば の零点は全て に属する (この性質を応用したのが直交多項式による多項式補間、ガウス求積、ガウス＝クロンロッド求積法である。)。
交絡性質.
以下のような交絡性質 (interlacing property): 
を満たす。
重根の非存在.
の零点は全て相異なる実根である（重根を持たない）。
多変数の直交多項式列.
列はアフィンルート系の選び方に依存して決まる多変数直交多項式系である。マクドナルド多項式列はその特別の場合として他の多くの多変数直交多項式族、例えば列、列、列、列などを含む。列はある種の階数 の非被約ルート系に対するマクドナルド多項式の特別な場合である。
研究者・専門家.
直交多項式に関して業績・貢献のある数学者として以下が挙げられる。