6

EllipticKを含む積分 【解けるだけ解いてみた】

110
0
$$$$

https://mathlog.info/articles/8arKGgS7ltjRvRKuAkJL

の記事に書かれている積分の解法を載せる.

定義

\begin{eqnarray} β_n:=\binom{2n}{n}2^{-2n},A:=\sum_{0≤n}β_n^3 ,Κ(x):=\int_0^1\frac{dt}{\sqrt{1-t^2}\sqrt{1-t^2x^2}}, κ(x):=\sum_{0≤n}β_n^2x^n \end{eqnarray}
$P_n(x)$…ルジャンドル多項式
$ρ_n(x):=P_n(\sqrt{x})$

EllipticKを含む積分

命題1
\begin{eqnarray} \int_0^1 Κ(x)^2dx=\frac{1}{2}\int_0^1 Κ'(x)^2dx=\frac{π^4}{32}\sum_{0≤n}(4n+1)β_n^6 \end{eqnarray}

\begin{eqnarray} κ(1-x)=π\sum_{0≤n}(-1)^n\left(2n+\frac{1}{2}\right)β_n^3ρ_n(x) \end{eqnarray}
を用いる.
これにより
\begin{eqnarray} \int_0^1 κ(1-x)^2x^{-1/2}dx=\frac{π^2}{2}\sum_{0≤n}(4n+1)β_n^6 \end{eqnarray}
がわかり,
\begin{eqnarray} \int_0^1 κ(1-x)^2x^{-1/2}dx=\frac{8}{π^2}\int_0^1 Κ'(x)dx \end{eqnarray}
であるため,命題の右側が成り立つ.
また,Landen Transformを用いれば
\begin{eqnarray} \int_0^1 Κ'(x)^2dx&=&\int_0^1 \frac{x}{\sqrt{1-x^2}}Κ(x)^2dx\\ &=&\int_0^1 \left(\frac{2x}{1+x^2}Κ\left(\frac{2x}{1+x^2}\right)\right)^2\frac{dx}{x} \left(x→\frac{2x}{1+x^2}\right)\\ &=&4\int_0^1 xΚ(x^2)^2dx \end{eqnarray}
より命題が示された

命題2
\begin{eqnarray} \int_0^1\frac{Κ(x)}{\sqrt{1-x^2}}\ln\frac{1}{1-x^2}dx=\frac{\Gamma\left(\frac{1}{4}\right)^4}{24} \end{eqnarray}

この積分ではモーメントを用いて解きます.
反復ベータ積分を用いる事により,
\begin{eqnarray} \frac{\ln\frac{1}{1-x^2}}{\sqrt{1-x^2}}= \sum_{0≤m< n}\frac{β_n x^{2n}}{m+\frac{1}{2}} \end{eqnarray}
が簡単にわかり,
ある記事

https://mathlog.info/articles/uWdcYqKmmNPThJr6iYDE

を用いるとこの関数のモーメントがわかり,次のようになります.

\begin{eqnarray} \int_0^1x^{2n}\frac{\ln\frac{1}{1-x^2}}{\sqrt{1-x^2}}dx&=&πβ_n\left(\ln2+\sum_{k=1}^n\frac{1}{2k}\right)\\ \int_0^1x^{2n+1}\frac{\ln\frac{1}{1-x^2}}{\sqrt{1-x^2}}dx&=&\frac{1}{(2n+1)β_n}\sum_{k=0}^n\frac{1}{k+\frac{1}{2}} \end{eqnarray}

これを用いて解いていきましょう.

\begin{eqnarray} \int_0^1 Κ(x)\frac{\ln\frac{1}{1-x^2}}{\sqrt{1-x^2}}dx&=&\frac{π}{2}\sum_{0≤n}β_n^2\int_0^1\frac{\ln\frac{1}{1-x^2}}{\sqrt{1-x^2}}dx\\ &=&\frac{π^2A}{2}\ln2+\frac{π^2}{4}\sum_{0< k≤n}\frac{β_n^3}{k}\\ &=&\frac{π^3}{6}A \end{eqnarray}

途中にある級数はNKSさんの記事

https://mathlog.info/articles/g6YRPjtQQB0RABORiehA

に並んでいる物の1つです.
実はこの一覧の級数も大半は証明できていて公開しようか迷っているところです.

命題3
\begin{eqnarray} \int_0^1 \frac{xΚ(x)^2}{\sqrt{1-x^2}}\ln\frac{1}{1-x^2}dx=\frac{π^4}{4}\sum_{0≤n}β_n^4 \end{eqnarray}

わからん.

命題4
\begin{eqnarray} \int_0^1\frac{Κ(x)\ln\frac{1}{x}}{1-x^2}dx=\frac{7}{4}ζ(3) \end{eqnarray}

ここでは楕円積分のモーメント
\begin{eqnarray} \int_0^1 x^{2n-1}Κ(x)dx=\frac{1}{4n^2β_n^2}\sum_{k=0}^{n-1}β_k^2 \end{eqnarray}
を途中用います.

\begin{eqnarray} \int_0^1\frac{Κ(x)\ln\frac{1}{x}}{1-x^2}dx&=&\frac{π}{2}\int_0^1\ln\frac{1}{x}\sum_{0≤k≤n}β_k^2x^{2n}dx\\ &=&\frac{π}{2}\sum_{0≤k≤n}\frac{β_k^2}{(2n+1)^2}\\ &=&\frac{π}{2}\int_0^1\sum_{0≤n}β_n^2x^{2n+1}Κ(x)dx\\ &=&\int_0^1xΚ(x)^2dx \end{eqnarray}

最後の積分は僕が超級で解説したものであり,
命題が成り立つ事がわかります.

命題5
\begin{eqnarray} \int_0^1 \frac{Κ'(x)\ln\frac{1}{x}}{1-x^2}dx=\frac{π^3}{8} \end{eqnarray}

先ほどの$\ln$のモーメントを用います.

\begin{eqnarray} \int_0^1\frac{Κ'(x)\ln\frac{1}{x}}{1-x^2}dx&=&\frac{1}{2}\int_0^1 Κ(x)\frac{\ln\frac{1}{1-x^2}}{x\sqrt{1-x^2}}dx\\ &=&\frac{π}{4}\left(\int_0^1\frac{\ln\frac{1}{1-x^2}}{x\sqrt{1-x^2}}dx+\sum_{0≤k< n}\frac{β_n}{(2k+1)n}\right)\\ &=&\frac{π}{2}\int_0^1\frac{\ln\frac{1}{1-x^2}}{x\sqrt{1-x^2}}dx\\ &=&\frac{π}{4}\sum_{0< n}\frac{1}{n^2β_n} \end{eqnarray}

命題6
\begin{eqnarray} \int_0^1\frac{xΚ(x)Κ'(x)}{1-t^2x^2}dx =\frac{π}{4}Κ(t)^2 \end{eqnarray}
命題7
\begin{eqnarray} \int_0^1\frac{Κ'(x)}{1-t^2x^2}dx=\frac{π}{2}Κ(t) \end{eqnarray}

NKSさんから次の積分を教えてもらいました.

$f$$(-∞,1)$で実数値を取る複素関数で,$|x|<1$で正則ならば
\begin{eqnarray} \int_0^1x^{n-1}\Im f\left(\frac{1}{x}+i0\right)dx=π[x^n]f(x) \end{eqnarray}

証明には複素積分を用います.
この公式は凄まじく,これからやる積分以外でも使うことができるので,興味のある方は色々な関数を入れてみると良いかもしれません.
また,超幾何級数の接続公式を用いると

\begin{eqnarray} κ\left(\frac{1}{x}\right)=\sqrt{x}(κ(x)+iκ(1-x)) \end{eqnarray}

がわかります.(κの定義の積分表示から計算することも可能)

先ほどの公式に,$f(x)=κ(x)$,$f(x)=κ(x)^2$
を順次いれる.
\begin{eqnarray} \int_0^1x^{n-1/2}κ(1-x)dx=π[x^n]κ(x) \end{eqnarray}
\begin{eqnarray} ⇔\int_0^1\frac{κ(1-x)}{1-tx}\frac{dx}{\sqrt{x}}=πκ(t) \end{eqnarray}
\begin{eqnarray} \int_0^1x^n\Im(κ(x)^2+2iκ(x)κ(1-x)-κ(1-x)^2)dx=π[x^n]κ(x)^2 \end{eqnarray}
\begin{eqnarray} ⇔\int_0^1\frac{κ(x)κ(1-x)}{1-xt}dx=\frac{π}{2}κ(t)^2 \end{eqnarray}
より2つの命題がわかる.

命題8
\begin{eqnarray} \int_0^1\frac{Κ'(x)\tanh^{-1}x}{x}dx=πβ(2) \end{eqnarray}
命題9
\begin{eqnarray} \int_0^1\frac{Κ(x)Κ'(x)}{x}\ln\frac{1}{1-x^2}dx=\frac{7π}{8}ζ(3) \end{eqnarray}

命題8は命題7について,両辺tで積分することでわかる.
命題9は命題6について,両辺にtを掛け,積分すればわかる.

命題10
\begin{eqnarray} \int_0^1\frac{Κ(x)}{1+x}dx=\frac{π^2}{8} \end{eqnarray}

Landen Transformを用いる.

\begin{eqnarray} \int_0^1\frac{Κ(x)}{1+x}dx&=&\int_0^1\frac{2x}{1+x^2}Κ(x^2)dx\\ &=&\int_0^1\frac{2x}{(1+x^2)^2}Κ\left(\frac{2x}{1+x^2}\right)dx\\ &=&\frac{1}{2}\int_0^1\frac{xΚ(x)}{\sqrt{1-x^2}}dx \left(\frac{2x}{1+x^2}→x\right)\\ &=&\frac{π}{4}\sum_{0≤n}\frac{β_n}{2n+1} \end{eqnarray}

おわりに

まだまだ解けている積分はあるので隙間時間に書いて投稿しようと思っています.

参考文献

ellipticKを含む積分:

https://mathlog.info/articles/8arKGgS7ltjRvRKuAkJL

二項係数付きマクローリン級数の微分方程式の導出およびmomentの計算:

https://mathlog.info/articles/uWdcYqKmmNPThJr6iYDE

反復ベータ積分の応用:楕円積分のモーメントを計算する:

https://mathlog.info/articles/fUEhApCXiJebkQH25wUf

二項係数の3乗が入った二重級数まとめ:

https://mathlog.info/articles/g6YRPjtQQB0RABORiehA

a-Legendre多項式とa-Landen変換:

https://mathlog.info/articles/TTQQyar4Gf1SczwUxjvE

非整数階積分と随伴作用素:

https://mathlog.info/articles/27q3fS0ovkICZr4ic1mH

投稿日:4日前
更新日:3日前

この記事を高評価した人

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

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

バッジはありません。

投稿者

KBHM
KBHM
136
8778
怠惰

コメント

他の人のコメント

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