17

積分botの数式

839
1
$$$$

以下の等式について考える.

\begin{align*} \int_0^{\pi}\frac{\sin^{2n}x}{(1-2r\cos x+r^2)^{n+1}}\,dx=\frac{\pi}{2^{2n}(1-r^2)}\binom{2n}n,\qquad |r|<1 \end{align*}

この等式は, 積分botの問題を解いてみた2 積分botの数式を漸化式で解く議論 などで示されているが, ここでは別の角度から考えてみる. まず, 以下のような多項式を定義する.

\begin{align*} \sum_{n=0}^{\infty}C_n(x;\alpha)t^n:=\frac 1{(1-2tx+t^2)^{\alpha}} \end{align*}

これはGegenbauer多項式と呼ばれている直交多項式になっており, 直交性

\begin{align*} \int_{-1}^1C_n(x;\alpha)C_m(x;\alpha)(1-x^2)^{\alpha-\frac 12}\,dx=0\quad (n\neq m) \end{align*}

を満たす. また, 等式

\begin{align*} t\frac d{dt}\frac 1{(1-2tx+t^2)^{\alpha}}=\alpha\left(\frac{1-t^2}{(1-2tx+t^2)^{\alpha+1}}-\frac 1{(1-2tx+t^2)^{\alpha}}\right) \end{align*}

の係数を比較することによって, $(\alpha^{-1}n+1)C_n(x;\alpha)=C_n(x;\alpha+1)-C_{n-2}(x;\alpha+1)$を得る. これを変形すると,

\begin{align*} C_n(x;\alpha+1)=(\alpha^{-1}n+1)C_n(x;\alpha)+(\alpha^{-1}(n-2)+1)C_{n-2}(x;\alpha)+\cdots+\begin{cases} C_0(x;\alpha),\quad n\in2\mathbb{Z}\\ (\alpha^{-1}+1)C_1(x;\alpha),\quad n\in 2\mathbb{Z}+1 \end{cases} \end{align*}

という表示が得られる. これらを用いて最初の式を示す. $|r|<1, u=\cos x$として,

\begin{align*} \int_0^{\pi}\frac{\sin^{2n}x}{(1-2r\cos x+r^2)^{n+1}}\,dx&=\int_{-1}^1\frac{(1-u^2)^{n-\frac 12}}{(1-2ru+u^2)^{n+1}}\,du\\ &=\sum_{0\leq k}r^k\int_{-1}^1C_k(u;n+1)(1-u^2)^{n-\frac 12}\,du\\ &=\sum_{0\leq k}r^{2k}\int_{-1}^1C_{2k}(u;n+1)(1-u^2)^{n-\frac 12}\,du,\quad (C_k(-u)=(-1)^kC_k(u))\\ &=\sum_{0\leq k}r^{2k}\int_{-1}^1((n^{-1}2k+1)C_{2k}(u;n)+\cdots+C_0(u;n))(1-u^2)^{n-\frac 12}\,du\\ &=\sum_{0\leq k}r^{2k}\int_{-1}^1C_0(u;n)(1-u^2)^{n-\frac 12}\,du\\ &=\pi\sum_{0\leq k}r^{2k}\frac{\binom{2n}n}{2^{2n}}\\ &=\frac{\pi}{2^{2n}(1-r^2)}\binom{2n}n \end{align*}

途中の変形で直交性によって$C_0$以外の項が全て消えることによって計算が上手くいっていることが分かる. ($C_0=1$であることに注意).

このように, 直交多項式を用いることによって, 比較的見通しの良い計算で積分の等式を示すことができることもある.

投稿日:20231026
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

Wataru
Wataru
479
34483
超幾何関数, 直交関数, 多重ゼータ値などに興味があります

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中