直交多項式

数学における**直交多項式列**（ちょっこうたこうしきれつ、）または**直交多項式系** (system of orthogonal polynomials) は、多項式の成す族（多項式列）であって、それに属するどの二つの多項式も適当な内積に関して直交するものをいう。

最も広く用いられる直交多項式列はと呼ばれる一群で、エルミート多項式列、ラゲール多項式列、列やそれらの特別の場合としてのゲーゲンバウアー多項式列、チェビシェフ多項式列（やに使われている）、ルジャンドル多項式列（ガウス・ルジャンドル公式による求積に使われている）などが含まれる。

直交多項式系に関する分野は、19世紀後半にチェビシェフによる連分数の研究から発展し、マルコフとスティルチェスが続いた。直交多項式系に関して業績・貢献のある数学者は多数いる（後述する）。

## 一変数および実測度の場合の定義
実数直線上定義された非減少函数  が任意に与えられたとき、函数  の  に関するルベーグ&ndash;スティルチェス積分
: \int f(x) \; d\alpha(x)
が定義できる。この積分が任意の多項式に対して有限であるとき、多項式の対  に対して内積
: \langle f, g \rangle = \int f(x) g(x) \; d\alpha(x)
が定義される。この演算は多項式全体の成すベクトル空間上の半正定値内積であり、 が無限個の増加点を持つならば正定値になる。この内積に関して通常の仕方で直交性が定義できる（つまり二つの多項式が直交するとはそれらの内積が零であることをいう）。

このとき多項式列  が直交系であるとは、 のとき常に関係式
: \langle P_m, \, P_n \rangle = 0
を満たすことを言う。即ち直交多項式列は単項式列  に与えられた内積に関するグラム–シュミットの直交化を施して得られる。
### 正規直交系
通常はさらに正規直交系、すなわち
:  \langle P_n, P_n \rangle = 1
となることも要求する (これを課すことにより直交多項式列は一意に定まる)。

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

## 直交多項式列の例
### 古典直交多項式列

もっともよく利用される直交多項式系は、実数直線上の適当な区間に台を持つ測度に対して直交するものである。例えば：
* 古典直交多項式列: ヤコビ多項式列、ラゲール多項式列、エルミート多項式列、およびそれらの特別の場合のゲーゲンバウアー多項式列、チェビシェフ多項式列、ルジャンドル多項式列。
* 列: ヤコビ多項式列の一般化であり、特別の場合として列、列および古典直交多項式列などを含み、アスキースキームによって記述される。
* 列はウィルソン多項式列に径数 q を導入 (q類似) して与えられる。
### 離散直交多項式列
適当な離散測度に関して直交する多項式列はであるという。この場合、測度が有限台、つまり多項式の無限列ではなく有限列となることもある。列は離散直交多項式列の例であり、特別の場合としてハーン多項式列および双対ハーン多項式列を含む。したがってさらに特別の場合として、クラウチューク多項式列、などが含まれる。
### 篩直交多項式列
、例えば列、、列など、は修正された漸化式を持つ。
### 単位円上の直交多項式列
ガウス平面上の適当な曲線に関する直交多項式系も考えられる。実数直線上を除いてもっとも重要な場合は、考える曲線が単位円の場合である。には例えば列がある。

三角形や円板のような平面領域上で定義された直交多項式の族も存在する。それらの中には、ヤコビ多項式列を用いて書き表すことができるものもある。例えばゼルニケ多項式列は単位円板上で直交する。
単位正方形の半分の直角二等辺三角形上での直交多項式の族として Appell多項式がある.

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

### モーメントとの関係
直交多項式列 をモーメント  を用いて
:  P_n(x) = c_n \det\begin{pmatrix}
m_0 & m_1 &  m_2 &\cdots & m_n \\
m_1 & m_2 &  m_3 &\cdots & m_{n+1} \\
\vdots&\vdots&\vdots&\vdots&\vdots \\
m_{n-1} &m_n& m_{n+1} &\cdots &m_{2n-1}\\
1 & x & x^2 & \cdots & x^{n}
\end{pmatrix}
と表すことができる。ここに任意定数  は  の正規化に関するものである。

### 漸化式
直交多項式列 は以下の形の漸化式
:  P_n(x) = (A_n x + B_n) P_{n-1}(x) + C_n P_{n-2}(x)
を満足する。逆の結果は を見よ。

### クリストッフェル＝ダルブーの公式

### 零点

測度  が区間  に台を持つならば  の零点は全て  に属する (この性質を応用したのが直交多項式による多項式補間、ガウス求積、ガウス＝クロンロッド求積法である。)。
#### 交絡性質
以下のような交絡性質 (interlacing property): 
:  ならば  の各零点は必ず  の任意の二つの零点の間にある。
を満たす。
#### 重根の非存在
の零点は全て相異なる実根である（重根を持たない）。

## 多変数の直交多項式列
列はアフィンルート系の選び方に依存して決まる多変数直交多項式系である。マクドナルド多項式列はその特別の場合として他の多くの多変数直交多項式族、例えば列、列、列、列などを含む。列はある種の階数  の非被約ルート系に対するマクドナルド多項式の特別な場合である。

## 関連項目
* 
* アスキースキーム、超幾何直交多項式列（及びそのq類似）に対する退化図式
* 二項型多項式列
* 
* 
* 
* シェファー列
* 陰計算
* ロドリゲスの公式
* 

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

## 出典

## 参考文献
* 
*
*
* 
*
*
*
*

* 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,  (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年).

## 外部リンク
*直交多項式の意味といくつかの例
*可積分系
* 小竹悟：「解ける量子力学模型と直交多項式（解説）」、日本物理学会誌、Vol.71, No.3 (2016), pp.156-163.