1 直交多項式の基本
1.1 直交性の定義と内積
1.1.1 重み付き内積
直交多項式を扱うには、空間上に内積を定める必要がある。典型的には実数区間 \([a,b]\) 上で、重み関数 \(w(x)\) を用いた内積 \[ \langle f,g\rangle=\int_a^b f(x)g(x)\,w(x)\,dx \] で定義する。ここで重みは、積分が収束すること、さらに多項式族に対して内積が適切に正則（少なくとも非退化）であることを保証するために選ばれる。離散的な場面では和 \[ \langle f,g\rangle=\sum_{k} f(x_k)g(x_k)\,w_k \] の形をとることが多い。内積の定義は、後述する「直交性」の意味と同値であるため、対象とする分野（近似理論、物理、数値法）に応じて最初に固定する。
1.1.2 直交条件（ゼロ内積）
ある多項式列 \(\{p_n(x)\}_{n\ge 0}\) が、次数を揃えたときに互いに直交するとは、各組 \(m\ne n\) に対し \[ \langle p_m,p_n\rangle=0 \] が成り立つことを指す。多くの理論では、直交性に加えて「内積の値が 0 でない（非退化）」ことが必要になる。さらに、直交多項式系では次数が通常単調増加する（たとえば \(\deg p_n=n\)）ように選ばれ、直交性と次数条件が結びつくことで、係数の再帰関係や母関数といった構造が導かれる。
1.2 直交多項式の存在と正規化
1.2.1 標準形とモニック化
直交多項式は一般に定数倍の自由度をもつ。そこで扱いやすい形として、基準となる族ごとに「標準形」が定められることが多い。代表的には先頭係数（高次係数）を 1 に揃えるモニック化がある。すなわち \[ \tilde p_n(x)=\frac{1}{a_n}p_n(x) \] のようにして \(\tilde p_n(x)=x^n+\cdots\) を満たす多項式を用いる。モニック化は再帰式の係数表示を簡潔にし、一般論の議論で便利である一方、物理応用では規格化定数や重みとの組が自然に出る正規化（後述）を優先する場合もある。
1.2.2 正規化定数の意味
内積空間では、直交する多項式の長さ（ノルム） \[
| \|p_n\|^2=\langle p_n,p_n\rangle |
|---|
\] が重要な情報になる。これを用いて正規直交系 \[
| \left\langle \frac{p_m}{\|p_m\|},\frac{p_n}{\|p_n\|}\right\rangle=\delta_{mn} |
|---|
\] を構成することも可能である。さらに、正規化定数は、係数展開や再現核（後述）で現れるため、場面によっては計算上の効率を左右する。直交性が保証するのは「相互に成分が混ざらない」性質であり、正規化は「展開係数のスケール」を決める操作として位置づけられる。
1.3 例（代表的な族の概観）
直交多項式の代表的な族は、重み関数と区間（または離散点の集合）の選び方によって特徴づけられる。代表例としては、ガウス型の重みと結びつくヘルミート多項式、指数型の重みと結びつくラゲール多項式、区間と折り畳みのある重みで現れるレジャンドル多項式、重みによる対称性を持つチェビシェフ多項式などがある。これらはすべて「同程度の次数の多項式が、内積のもとで互いに打ち消し合う」という同じ骨格を共有するが、生成母関数、根の配置、再帰関係の係数形が異なる。したがって「何を内積に採用するか」が、実質的にどの族が自然に生じるかを決める。
2 代表的な直交多項式
2.1 ヘルミート多項式
2.1.1 ガウス型重みとの関係
ヘルミート多項式は、ガウス型の重み \[ w(x)=e^{-x^2} \] を用いた内積において直交する多項式系として導かれる。実数全体での積分 \[ \int_{-\infty}^{\infty} p_m(x)p_n(x)e^{-x^2}\,dx \] がゼロになることが直交性の基礎である。ガウス形の指数は、物理（量子調和振動子）でも確率論（正規分布）でも自然に出現するため、ヘルミート多項式は広い分野で応用される。さらに、重みの対称性（偶奇）により、各多項式の偶奇構造が内積に反映され、計算が整う。
2.1.1.1 生成母関数と基本性質
生成母関数は、次数ごとの多項式を一つの式で束ね、係数比較によって性質を系統的に得る道具になる。ヘルミート多項式については、一般形の生成母関数から微分・再帰関係が導出され、また積の積分評価（ガウス型）とも整合する。生成母関数を用いると、次数ごとの導関数関係や、零点（根）の分布がどのように推移するかを解析しやすくなる。直交性と生成機構が互いに整合している点が、ヘルミート多項式の計算上の利点である。
2.2 ラゲール多項式
2.2.1 ガンマ型重みとの関係
ラゲール多項式は、ガンマ型の重み \[ w(x)=x^{\alpha}e^{-x} \quad (x\ge 0) \] のもとで、\(\alpha>-1\) を仮定して直交する多項式系として現れる。内積は \[ \int_0^\infty p_m(x)p_n(x)x^\alpha e^{-x}\,dx \] で与えられる。指数減衰 \(e^{-x}\) により大域的な収束が得られ、端点 \(x=0\) では \(x^\alpha\) が振る舞いを制御する。この端点近傍の性質が、根の位置や境界条件付き問題での自然な出現につながる。
2.2.2 取り扱いにおける注意点
ラゲール多項式はパラメータ \(\alpha\) に依存し、その値により直交性の成立条件が変わる。特に \(\alpha\) が許容範囲外だと、内積が発散したり非退化になったりして理論が崩れる。また正規化の流儀（先頭係数の取り方や標準化）により、同じ記号でも係数のスケールが異なることがある。計算では「どの内積で」「どの規格化」を採用しているかを明確にする必要がある。これは応用上の単位系や物理定義（正規化因子の選択）とも関係する。
2.3 レジャンドル多項式
2.3.1 区間と重みの選び方
レジャンドル多項式は、区間 \([-1,1]\) における重み \(w(x)=1\) で定義される直交多項式系の典型例である。内積は \[ \int_{-1}^{1} p_m(x)p_n(x)\,dx \] で与えられ、異なる次数の組で積分値がゼロになる。重みが一定であることから、対称性に基づく簡明な性質が表に出やすい。さらに、区間が有限であるため、根の分布（区間内の配置）を幾何学的に捉えやすい点も特徴である。
2.3.2 物理での典型的登場
レジャンドル多項式は球面調和関数の一部として現れ、拡散やポテンシャルに関連する場の展開で頻出する。境界値問題で座標変数が分離された際、角度方向の方程式がレジャンドル型に帰着し、それを解として与えることが多い。直交性はモード間の非混合を意味し、境界条件を各モードに独立に割り当てる計算を可能にする。結果として、係数の決定が最小二乗性やフーリエ型展開の考え方に沿う形で行える。
2.4 チェビシェフ多項式
2.4.1 離散的・連続的な直交性
チェビシェフ多項式は、重み \[ w(x)=\frac{1}{\sqrt{1-x^2}} \quad (x\in[-1,1]) \] のもとでの連続直交が有名である。内積は \[ \int_{-1}^{1} \frac{p_m(x)p_n(x)}{\sqrt{1-x^2}}\,dx \] によりゼロ条件が設定される。さらに、離散点（例えば極値点や根の集合）に基づく離散直交が成り立つ場合があり、数値計算で特に重宝される。連続と離散の両面を持つことが、補間やガウス型積分、スペクトル法におけるチェビシェフ系の強みにつながる。
2.4.2 近似理論との結びつき
チェビシェフ多項式は、区間上の近似誤差を抑える設計（最適性に関する議論）と深く関係する。代表的には、複数のノードを端点近くまで均等に配置する発想と親和性が高く、結果として高次数でも振動が抑制されやすい。直交性は係数計算を簡潔にし、さらに再帰式や高速変換により実装面の効率も確保できる。これらにより、工学計算での多項式近似の標準的候補として位置づけられる。
3 構成法と漸化式
3.1 3項間代数（一般形）
3.1.1 係数の意味（結合の構造）
直交多項式には、通常「3項間の再帰」（たとえば \(n\) 次から \(n\pm1\) 次への関係）が現れる。最も一般的な形として、モニック化した多項式 \(P_n(x)\) に対し \[ P_{n+1}(x)=(x-\alpha_n)P_n(x)-\beta_n P_{n-1}(x) \] のような形が成り立つ。ここで \(\alpha_n,\beta_n\) は内積や重みの情報から決まり、\(\beta_n\) はしばしば正の量として現れる（非退化性に対応）。この 3項間の構造は、多項式空間が内積に関して「直交基底」へ分解される過程と整合する。結果として、再帰係数は近似誤差、根の振る舞い、さらに数値積分の精度といったテーマに波及する。
3.1.2 漸化式からの具体計算
漸化式が得られると、低次から高次へ多項式の係数を順に構成できる。実装上は、先頭係数の取り方（モニックか規格化か）によって係数表示が変わるため、計算では統一が重要になる。さらに、再帰式は数値的安定性の観点でも注意が必要で、次数が高い場合には丸め誤差の影響を評価する手続きが求められる。とはいえ、多くの直交系では 3項間代数が効率的な計算手段となり、スペクトル法の基底生成や根探索に利用される。
3.2 グラム‐シュミット過程による構成
3.2.1 ベース多項式の選択
内積が与えられたとき、例えば多項式空間の基底として \(1,x,x^2,\dots\) を選び、グラム‐シュミット過程で直交化することで直交多項式を構成できる。手続きは、各段階で「前の直交多項式の方向への成分を差し引く」操作として定義される。直交性はこの構成により自動的に保証され、さらに次数が増えるほど係数が整理されていく。計算は一般に煩雑になり得るが、重みの特別な形では積分が閉形式で評価でき、係数が明示的に得られることがある。
3.2.2 計算の工夫
実際の計算では、積分評価の代わりに既知の特別関数との同一視や、差分・微分方程式に基づく最短経路を使うことが多い。例えば重みが古典的な型（ガウス、ガンマ、有限区間での多項式重み）に属する場合、直交多項式は既存の関数族として表せる。その結果、グラム‐シュミットの逐次計算を省略しつつ、直交性や再帰係数だけを抽出できる。工夫は理論面の理解と計算面の効率の両立に関わる。
3.3 生成母関数
3.3.1 生成母関数の利点
生成母関数は、多項式列 \(\{p_n\}\) を一つの級数でまとめ、係数比較により多くの性質を同時に導ける。例えば微分や代入により、母関数の変換が次数の操作（シフトや次数の関係）に対応する。これにより、再帰式、微分方程式、対称性といった情報を統一的に扱える。さらに、積分公式に結びつく場面では、ガウス型の積分や正規化係数の評価が母関数の枠組みで整理されやすい。
3.3.2 題数比較による性質の導出
母関数の両辺で係数を揃えると、再帰関係や導関数関係、あるいは特定の積分値が自然に得られる。具体例として、母関数に対する偏微分操作を行うと、多項式の次数に比例する係数が現れるため、次数ごとの式が連鎖的に導かれる。結果として、零点の漸近評価や、直交性の整合性（内積と生成機構が矛盾しないこと）も確認しやすい。
4 性質と応用
4.1 根（零点）の性質
4.1.1 対称性と単純な根
直交多項式の根の性質は、内部構造（3項間再帰や内積の性質）から導かれることが多い。典型的には、次数 \(n\) の多項式は零点を \(n\) 個持ち、その多くは重複しない（単純な根）ことが示される。さらに重みが偶対称なら、多項式の偶奇性により根の対称配置が現れる。これにより根探索や区間近似の設計が安定し、数値計算におけるノード生成に利用される。
4.1.2 順序関係と範囲
根の配置は多くの場合、対応する内積領域（有限区間、半無限区間、全実数など）に強く拘束される。たとえば有限区間で直交する系では、根が区間内部に整列する性質が得られることが多い。半無限領域でも、端点近傍の挙動が重みにより管理され、根の順序が特定の形で制限される。これらの範囲制約は、最良近似の設計やガウス型数値積分の精度保証と連動する。
4.2 近似理論での役割
4.2.1 最小二乗近似
直交多項式は最小二乗近似と相性が良い。内積空間において、関数 \(f\) を直交多項式系で有限和に近似するとき、係数は直交性により内積の比から決まる。すなわち直交基底では相互干渉が起きず、誤差の大きさが各モードの寄与に分解されるため、最小二乗性（ある意味での最適近似）が明確になる。これにより近似の品質評価や打ち切り誤差の見通しが立つ。
4.2.2 フーリエ級数との対応
直交多項式による展開は、フーリエ級数の一般化として理解できる。通常のフーリエ級数は三角関数が直交基底になる例だが、直交多項式では基底が多項式に置き換わる。共通点は、内積に基づいて係数を抽出し、残差を直交成分として扱える点にある。結果として、直交多項式展開はフーリエ解析と同様の構造を持ち、収束問題や誤差評価を類似の言葉で議論できる。
4.3 数値解析への応用
4.3.1 スペクトル法の考え方
スペクトル法では、未知関数を直交基底で展開し、係数（モード）の未知数を解くことで偏微分方程式などを離散化する。直交性により、微分演算や境界条件が係数空間で整理され、連立方程式の構造が明確になる。さらに直交多項式は高精度に対応しやすく、適切な端点条件では指数関数的な収束が期待される場合もある。基底の選定は内積の定義（境界や重み）に依存するため、直交多項式の理論は設計指針として機能する。
4.3.2 ガウス型の数値積分
ガウス型数値積分は、直交多項式の零点をノードに選ぶことで高い精度を得る方法である。零点に基づく重み付けにより、多項式の次数に対して厳密性（ある次数まで正確に積分できる性質）が得られる。これは直交性と再現性の議論から導かれ、ガウス型が最適な次数まで正確であることが示される。特に多項式近似と数値積分の相互作用として理解でき、スペクトル法の積分処理にも応用される。
4.4 物理・工学モデルとの接続
4.4.1 境界値問題との関連
境界値問題では、変数分離によって空間方向の方程式が直交多項式型の固有値問題に帰着することがある。すると境界条件の組に応じて、許される固有関数がレジャンドル型やチェビシェフ型などの直交多項式に対応し、固有値スペクトルが係数として現れる。直交性はモード分解を可能にし、初期条件や外力の与え方を各モードへ割り当てる際の計算を単純化する。
4.4.2 微分方程式からの導出
古典的な直交多項式は、多くの場合二階の常微分方程式（しばしば自己共役型）を満たす。重み関数が定める微分作用素が固有系となり、固有関数として直交多項式が現れる。さらに3項間再帰は、固有値問題に関連する演算の整合性から導けることがある。この枠組みにより、直交性・根の挙動・生成機構が同じ構造の別表現として結びつくため、数学と物理の橋渡しが容易になる。
5 直交多項式の一般化
5.1 クリストッフェル‐ダルブー公式
5.1.1 再現性核としての見方
クリストッフェル‐ダルブー公式は、直交多項式の部分和がどのように「再現性」を持つかを記述する恒等式として知られる。概念的には、次数 \(n\) までの直交多項式から構成される再現核が明示され、任意の関数に対する近似の働きが核の性質として整理される。これにより、極端な点での挙動や、局所的な近似性能の見通しをつけることができる。再現核という観点は、近似理論や調和解析での一般的な発想と整合する。
5.1.2 近似誤差との関係
再現核の形から、切り捨てによる誤差がどのように増減するかを評価する道筋が得られる。核がどれだけ鋭く局所化しているか、また重みや区間端でどのような特異性が出るかが、誤差の振る舞いに影響する。よってクリストッフェル‐ダルブー公式は、単なる恒等式ではなく、近似の定量化に使える道具として位置づく。応用では、数値積分やスペクトル法の安定性解析にも関わる。
5.2 直交多項式系の一般理論
5.2.1 連続／離散の内積の違い
一般理論では、内積が連続積分か離散和かによって性質が変わる。連続では重み関数が領域上の密度として働き、端点や特異点が解析上の焦点になる。離散では格子点やサンプル点の配置が本質となり、同じ形式の再帰式が現れても解釈や安定性が異なる。さらに、どちらの場面でも3項間代数が成立しやすく、そのため一般論の骨格が共有される点が大きな共通項である。
5.2.2 重みの取り扱い
重みは、内積空間を定めるだけでなく、生成母関数、再帰係数、自己共役性に関連する。一般化では、重みが必ずしも滑らかでなく、部分的に特異性を含む場合もある。その場合は、正則性（積分の収束、内積の非退化）を確保する条件が重要になる。重みの扱いを適切に行うことで、既存の古典直交系からの拡張や、新たな直交多項式系の構成が可能になる。
5.3 q直交多項式などの発展
5.3.1 変形された直交性の考え方
q直交多項式は、変数や演算に q を含む変形（差分的な置換など）を導入した文脈で現れる。ここでは、通常の微分やスケール変換の代わりに、q による差分演算が中心になることが多い。直交性の内積も同様に変形された形になり、古典的な直交多項式と類似の3項間構造が保たれる場合がある。直交性という基本概念は保たれつつ、対称性や極限挙動が新しい枠組みで整理される点が特徴である。
5.3.2 連続極限との関係
q が 1 に近づく極限をとると、q直交多項式は古典的な直交多項式に漸近的に結びつくことがある。この極限は、変形された理論が既存の枠組みを包含することを示す手がかりになる。極限計算は技術的に難しい場合もあるが、対応関係が明確になると、q系の性質を古典系の直観で理解する助けになる。結果として、一般化研究は単なる形式拡張ではなく、連続極限を通じた整合性の検証という側面を持つ。