直交多項式

数学における直交多項式列（ちょっこうたこうしきれつ、orthogonal polynomial sequence）または直交多項式系 (system of orthogonal polynomials) は、多項式の成す族（多項式列）であって、それに属するどの二つの多項式も適当な内積に関して直交するものをいう。
最も広く用いられる直交多項式列は正交多項式と呼ばれる一群で、エルミート多項式列、ラゲール多項式列、Polinomios de Jacobi列やそれらの特別の場合としてのゲーゲンバウアー多項式列、チェビシェフ多項式列（Узлы ЧебышёваやClenshaw–Curtis quadratureに使われている）、ルジャンドル多項式列（ガウス・ルジャンドル公式による求積に使われている）などが含まれる。
直交多項式系に関する分野は、19世紀後半にチェビシェフによる連分数の研究から発展し、マルコフとスティルチェスが続いた。直交多項式系に関して業績・貢献のある数学者は多数いる（後述する）。

**一変数および実測度の場合の定義**
実数直線上定義された非減少函数 α が任意に与えられたとき、函数 f の α に関するルベーグ–スティルチェス積分
 
が定義できる。この積分が任意の多項式に対して有限であるとき、多項式の対 f, g に対して内積
 
が定義される。この演算は多項式全体の成すベクトル空間上の半正定値内積であり、α が無限個の増加点を持つならば正定値になる。この内積に関して通常の仕方で直交性が定義できる（つまり二つの多項式が直交するとはそれらの内積が零であることをいう）。
このとき多項式列  が直交系であるとは、m ≠ n のとき常に関係式
 
を満たすことを言う。即ち直交多項式列は単項式列 1, x, x2, … に与えられた内積に関するグラム–シュミットの直交化を施して得られる。

**正規直交系**
通常はさらに正規直交系、すなわち
 
となることも要求する (これを課すことにより直交多項式列は一意に定まる)。

**絶対連続の場合**
がルベーグ測度 dx に対して絶対連続であるとき、すなわち適当な区間 （ および  となってもよい）上に台を持つ非負函数 W を密度函数 (weight function) として
 
と書けるとき、内積も
 
の形に与えられる。しかし多くの直交多項式系の例において、測度 dα(x) は α の不連続点集合が正の測度を持ち、このような密度函数 W を与えることはできない。

**直交多項式列の例**

**古典直交多項式列**
もっともよく利用される直交多項式系は、実数直線上の適当な区間に台を持つ測度に対して直交するものである。例えば：- 古典直交多項式列: ヤコビ多項式列、ラゲール多項式列、エルミート多項式列、およびそれらの特別の場合のゲーゲンバウアー多項式列、チェビシェフ多項式列、ルジャンドル多項式列。- 威尔逊多项式列: ヤコビ多項式列の一般化であり、特別の場合としてMeixner–Pollaczek polynomials列、continuous Hahn polynomials列および古典直交多項式列などを含み、アスキースキームによって記述される。- 阿斯基-威尔逊多项式列はウィルソン多項式列に径数  を導入 (q類似) して与えられる。

**離散直交多項式列**
適当な離散測度に関して直交する多項式列はlabel=離散直交系であるという。この場合、測度が有限台、つまり多項式の無限列ではなく有限列となることもある。Racah polynomials列は離散直交多項式列の例であり、特別の場合としてハーン多項式列および双対ハーン多項式列を含む。したがってさらに特別の場合としてMeixner polynomials、クラウチューク多項式列、Charlier polynomialsなどが含まれる。

**篩直交多項式列**
、例えばsieved ultraspherical polynomials列、sieved Jacobi polynomials、sieved Pollaczek polynomials列など、は修正された漸化式を持つ。

**単位円上の直交多項式列**
ガウス平面上の適当な曲線に関する直交多項式系も考えられる。実数直線上を除いてもっとも重要な場合は、考える曲線が単位円の場合である。orthogonal polynomials on the unit circleには例えば罗杰斯-斯泽格多项式列がある。
三角形や円板のような平面領域上で定義された直交多項式の族も存在する。それらの中には、ヤコビ多項式列を用いて書き表すことができるものもある。例えばゼルニケ多項式列は単位円板上で直交する。
単位正方形の半分の直角二等辺三角形上での直交多項式の族として Appell多項式がある.

**性質**
実数直線上の非負測度に関する一変数直交多項式列は以下のような性質を満たす。

**モーメントとの関係**
直交多項式列 をモーメント  を用いて
 
と表すことができる。ここに任意定数  は  の正規化に関するものである。

**漸化式**
直交多項式列 は以下の形の漸化式
 
を満足する。逆の結果は Théorème de Favardを見よ。

**クリストッフェル–ダルブーの公式**

**零点**
測度 dα が区間 math|a, b に台を持つならば Pn の零点は全て math|a, b に属する (この性質を応用したのが直交多項式による多項式補間、ガウス求積、ガウス＝クロンロッド求積法である。)。

**交絡性質**
以下のような交絡性質 (interlacing property): 
 m > n ならば  の各零点は必ず  の任意の二つの零点の間にある。
を満たす。

**重根の非存在**
の零点は全て相異なる実根である（重根を持たない）。

**多変数の直交多項式列**
列はアフィンルート系の選び方に依存して決まる多変数直交多項式系である。マクドナルド多項式列はその特別の場合として他の多くの多変数直交多項式族、例えばJack polynomials列、Hall–Littlewood polynomials列、Heckman–Opdam polynomials列、Koornwinder polynomials列などを含む。阿斯基-威尔逊多项式列はある種の階数 1 の非被約ルート系に対するマクドナルド多項式の特別な場合である。

**関連項目**
 阿佩爾序列- アスキースキーム、超幾何直交多項式列（及びそのq類似）に対する退化図式- 二項型多項式列- Biorthogonal polynomials- Série de Fourier généralisée- Mesure secondaire- シェファー列- 陰計算- ロドリゲスの公式- Christoffel–Darboux formula

**研究者・専門家**
直交多項式に関して業績・貢献のある数学者として以下が挙げられる。
*セゲー・ガーボル
*セルゲイ・ベルンシュテイン
*Naum Iljitsch Achijeser
*Arthur Erdélyi
*Yakov Geronimus
*ヴォルフガンク・ハーン
*Theodore Seio Chihara
*ムーラッド・イスマイル (en) 
*ワリード・アルサラム (en)
*リチャード・アスキー (en, fr, de)
*ウォルター・ゴーチ (en)

**出典**

**参考文献**
 773
*cite book | last=Ismail|first=Mourad E. H. | title=Classical and Quantum Orthogonal Polynomials in One Variable | year=2005 | isbn=0-521-78201-5 | url = http://www.cambridge.org/us/catalogue/catalogue.asp?isbn=9780521782012 | publisher=:en:Cambridge University Press | location=Cambridge-  isbn = 0-486-43808-2
*last4=Swarttouw
*urlname=Orthogonal_polynomials- arxiv = math.CA/0512424- George E. Andrews, Richard Askey, and Ranjan Roy: Special Functions, Cambridge Univ. Press, ISBN 978-0-52178988-2 (1999).- Richard Beals and Roderick Wong: Special Functions and Orthogonal Polynomials(2nd ed.), Cambridge Univ. Press, ISBN 978-1-10710698-7 (2016). - Géza Freud：Orthogonal Polynomials, Pergamon Press,  ISBN 978-1-48312698-2 (1971).- G. Sansone: Orthogonal Functions, (Revised English Edition), Dover, 978-0-486-66730-0 (1991).- Theodore S. Chihara: An Introduction to Orthogonal Polynomials, Dover, ISBN 978-0-486-47929-3 (2011).- Herbert Stahl and Vilmos Totik: General Orthogonal Polynomials, Cambridge Univ. Press, ISBN 978-0-521-41534-7 (1992).- Khrushchev, Sergey: Orthogonal Polynomials and Continued Fractions: From Euler's Point of View, Cambridge Univ. Press, ISBN 978-0-521-85419-1 (2008).
和書：- 伏見康治、赤井逸：「復刊 直交関数系　増補版」、共立出版、ISBN 978-4-320-03478-5 (2011年)．- 青本和彦：「直交多項式入門」、数学書房、ISBN 978-4-903342-72-6 (2013年).

**外部リンク**
 直交多項式の意味といくつかの例- 直交多項式理論からみえてくる可積分系