大学数学基礎解説

sinの弧長とレムニスケートの関係

三角関数,大学数学,楕円積分

427

大学1年生レベル

$\sin$ の弧長について

こんばんは、たしです。
今回はsinの弧長についての話です。以前はてなブログでまとめたものの再掲なので、細かい式変形や詳細な説明は省きます。丁寧な記事が見たい方ははてなブログの記事をどうぞ

sin 長さ

$\sin θ$ の弧長( $0 < θ < 2 π$ )は以下の積分で求まる.
$\int_{0}^{2 π} \sqrt{1 + \cos^{2} θ} d θ$

この公式は $f (x)$ の弧長が $\sqrt{1 + f^{'} (x)}$ の積分で求まるという高校レベルの知識から得られます。従って、あとはこの積分を計算するだけなのですが、みなさんはこの積分計算できるでしょうか？

実はこの積分はかなり曲者で恐らく高校範囲では解けません。そこで今回は大学初年度の知識(ガンマ関数、ベータ関数)を用いてこの積分に挑んでみようと思います。

次の等式が成り立つ。

$\int_{0}^{π} \sqrt{1 + \cos^{2} θ} d θ = \int_{0}^{\frac{π}{2}} \sqrt{\sin x} + \frac{1}{\sqrt{\sin x}} d x$

注意: 対称性から、 $0 < θ < π$ の積分が求まれば十分です。
$\int_{0}^{2 π} \sqrt{1 + \cos^{2} θ} d θ = 2 \int_{0}^{π} \sqrt{1 + \cos^{2} θ} d θ$

【略証】

右辺で

t = \sqrt{\sin x}

の変数変換を行い、その後

t = \cos θ

と変換すれば求まる。

\int_{0}^{\frac{π}{2}} \sqrt{\sin x} + \frac{1}{\sqrt{\sin x}} d x = 2 \int_{0}^{1} \sqrt{\frac{1 + t^{2}}{1 - t^{2}}} d t = \int_{0}^{π} \sqrt{1 + \cos^{2} θ} d θ

よって、 $\sqrt{\sin x} と \frac{1}{\sqrt{\sin x}}$ の積分が求まれば良いのですが、実はこの積分はガンマ関数という関数を用いて表すことができます。ガンマ関数の詳細な定義や性質は割愛します。

$Γ (s) : ガンマ関数, - 1 < s に対して次の等式が成り立つ$
$\int_{0}^{\frac{π}{2}} (\sin θ)^{s} d θ = \frac{\sqrt{π}}{2} \frac{Γ (\frac{s + 1}{2})}{Γ (\frac{s}{2} + 1)} = \frac{\sqrt{π}}{s} \frac{Γ (\frac{s + 1}{2})}{Γ (\frac{s}{2})}$

【略証】

ベータ関数の性質

B (x, y) = \int_{0}^{1} t^{x - 1} (1 - t)^{y - 1} d t = 2 \int_{0}^{\frac{π}{2}} (\sin θ)^{2 x - 1} (\cos θ)^{2 y - 1} d θ

および、ガンマ関数とベータ関数の関係式

B (x, y) = \frac{Γ (x) Γ (y)}{Γ (x + y)}

を用いることで以下の等式が示せる。

\int_{0}^{\frac{π}{2}} (\sin θ)^{s} d θ = \frac{1}{2} B (\frac{s + 1}{2}, \frac{1}{2}) = \frac{Γ (\frac{s + 1}{2}) Γ (\frac{1}{2})}{2 Γ (\frac{s}{2} + 1)} = \frac{\sqrt{π} Γ (\frac{s + 1}{2})}{2 Γ (\frac{s}{2} + 1)}

これより、 $s = \frac{1}{2}$ とすることで
$\int_{0}^{\frac{π}{2}} (\sin x)^{\frac{1}{2}} d x = 2 \sqrt{π} \frac{Γ (\frac{3}{4})}{Γ (\frac{1}{4})}$
$s = - \frac{1}{2}$ とすることで、
$\int_{0}^{\frac{π}{2}} (\sin x)^{- \frac{1}{2}} d x = \frac{\sqrt{π}}{2} \frac{Γ (\frac{1}{4})}{Γ (\frac{3}{4})}$ が得られます。

これで終わりでもいいのですが、実は $Γ (\frac{1}{4}) と Γ (\frac{3}{4})$ の比は、さらに有名な数学定数を用いて表すことができます。それがレムニスケート周率 $ϖ (= 2.62205755 . . .)$ です。この定数は知らない方も多いかもしれませんが、簡単に言うと円周率の親戚みたいなものです。円に対応する図形にレムニスケートというものがあり、円周率 $π$ に対応するのがレムニスケート周率 $ϖ$ です。以下の積分からも何となく二つの定数が似ていると思えるのではないでしょうか。

$π = 2 \int_{0}^{1} \frac{1}{\sqrt{1 - x^{2}}} d x$ $ϖ = 2 \int_{0}^{1} \frac{1}{\sqrt{1 - x^{4}}} d x$

このレムニスケート周率を用いると、先ほどのガンマ関数の値は次のように書けます。

$\frac{Γ (\frac{3}{4})}{Γ (\frac{1}{4})} = \frac{\sqrt{π}}{2 ϖ}$

【略証】

レムニスケート周率の定義式において

t = x^{4}

と変数変換することで、ベータ関数に帰着できる。

ϖ = 2 \int_{0}^{1} \frac{1}{\sqrt{1 - x^{4}}} d x = \frac{1}{2} \int_{0}^{1} t^{- \frac{3}{4}} (1 - t)^{- \frac{1}{2}} d t = \frac{1}{2} B (\frac{1}{4}, \frac{1}{2}) = \frac{\sqrt{π}}{2} \frac{Γ (\frac{1}{4})}{Γ (\frac{3}{4})}

よって、これを先ほどの結果に代入することで、
$\int_{0}^{\frac{π}{2}} (\sin x)^{\frac{1}{2}} d x = 2 \sqrt{π} \frac{Γ (\frac{3}{4})}{Γ (\frac{1}{4})} = \frac{π}{ϖ}$ $\int_{0}^{\frac{π}{2}} (\sin x)^{- \frac{1}{2}} d x = \frac{\sqrt{π}}{2} \frac{Γ (\frac{1}{4})}{Γ (\frac{3}{4})} = ϖ$
が得られます。