数学 › 特殊関数と漸近解析 › 直交多項式

Rodrigues の公式

定理 7.2(「直交多項式」§7) ・ ✓公理まで証明済み

古典的な重みに対して yn(x)=1w(x)dndxn[σ(x)nw(x)]y_n(x)=\dfrac1{w(x)}\dfrac{d^n}{dx^n}\bigl[\sigma(x)^nw(x)\bigr] とおく。

  1. yny_n は次数 nn 以下の多項式で、xnx^n の係数は ℓn=∏j=n−12n−2(t1+js2)\ell_n=\prod_{j=n-1}^{2n-2}(t_1+js_2) である。
  2. deg⁡p<n\deg p\lt n の多項式 pp について ∫p yn w dx=0\int p\,y_n\,w\,dx=0。
  3. ℓn≠0\ell_n\neq0 なら deg⁡yn=n\deg y_n=n で、yn/ℓny_n/\ell_n は μ\mu の直交多項式 PnP_n であり、∫yn2 w dx=(−1)nn! ℓn∫σnw dx\displaystyle\int y_n^2\,w\,dx=(-1)^nn!\,\ell_n\int\sigma^nw\,dx。
  4. 微分方程式 σPn′′+τPn′=(n(n−1)s2+nt1)Pn\sigma P_n''+\tau P_n'=\bigl(n(n-1)s_2+nt_1\bigr)P_n が成り立つ。

本文で読む(証明と前後の説明)→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています(前提の定理類 3 件、定義なども含めて 3 件)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

前提をたどる 証明が使う定理・定義(直接 1 件)

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

これを使っている定理 証明で参照している 2 件

関連するノック 2 問