レムニスケート周率とレムニスケート関数

定義

レムニスケートの周長の長さと 2a2a の比をレムニスケート周率といって ϖ\varpi で表す。

ϖ=201dr1r4 \varpi = 2\int_0^1 \dfrac{dr}{\sqrt{1-r^4}} と表される。

この記事ではレムニスケート周率とレムニスケート関数について解説します。

レムニスケート

レムニスケート曲線とは,極方程式 r2=a2cos2θr^2 = a^2\cos 2\theta もしくは直交座標の方程式 (x2+y2)2=a2(x2y2)(x^2+y^2)^2=a^2(x^2-y^2) で表される曲線です。

lem01

基本的な性質は レムニスケート曲線とその性質 をご覧ください。

レムニスケート周率

円周率のレムニスケート版を考えます。

定義

レムニスケートの周長の長さと 2a2a の比をレムニスケート周率といって ϖ\varpi で表す。

ϖ=201dr1r4 \varpi = 2\int_0^1 \dfrac{dr}{\sqrt{1-r^4}} と表される。

詳しい証明は 算術幾何平均とレムニスケートの長さ をご覧ください。

レムニスケート周率は 2.622052.62205 \cdots と続きます。

円周率との関係

円周率とレムニスケート周率の比は具体的に計算することができます。

定理

M(1.2)=πϖ M(1.\sqrt{2}) = \dfrac{\pi}{\varpi} ただし,M(a.b)M(a.b)a,ba,b の算術幾何平均である。

詳しい計算は,算術幾何平均とレムニスケートの長さ をどうぞ。

数論との関連

レムニスケート周率は,整数論で登場することがあります。以下の定理は証明しません。興味がある人は解析的整数論やゼータ関数について勉強してみてください。

定理

m,n=(m,n)(0,0)1(m+ni)4=ϖ415 \sum_{\substack{m,n=-\infty\\ (m,n) \neq (0,0)}}^{\infty} \dfrac{1}{(m+ni)^4} = \dfrac{\varpi^4}{15}

レムニスケート関数

定義

定理

レムニスケート関数 sl x\mathrm{sl} \ x0ydr1r4 \int_{0}^y \dfrac{dr}{\sqrt{1-r^4}} 逆関数と定義する。

cl x\mathrm{cl} \ xy1dr1r4 \int_{y}^1 \dfrac{dr}{\sqrt{1-r^4}} 逆関数と定義する。

レムニスケート関数は三角関数の類似型です。実際, arcsin\arcsinarcsiny=0ydt1t2 \arcsin y = \int_0^y \dfrac{dt}{\sqrt{1-t^2}} と表現することができることを思い出しましょう。→ 逆三角関数(Arcsin,Arccos,Arctan)の意味と性質

arcsin といった記法にならって arcsl y=0ydr1r4arccl y=y1dr1r4 \mathrm{arcsl} \ y = \int_0^y \dfrac{dr}{\sqrt{1-r^4}}\\ \mathrm{arccl} \ y = \int_y^1 \dfrac{dr}{\sqrt{1-r^4}} と表記します。

性質

レムニスケート関数には三角関数と似た関係式があります。

次の性質は逆関数の積分の形から従います。

性質1

レムニスケート関数は,2ϖ2\varpi を周期とする関数である。

性質2

sl 0=0, sl ϖ2=1, sl ϖ=0cl 0=1, cl ϖ2=0, cl ϖ=1 \mathrm{sl} \ 0 = 0, \ \mathrm{sl} \ \dfrac{\varpi}{2} = 1, \ \mathrm{sl} \ \varpi = 0\\ \mathrm{cl} \ 0 = 1 , \ \mathrm{cl} \ \dfrac{\varpi}{2} = 0 , \ \mathrm{cl} \ \varpi = -1

次の性質もまた積分を用いますが,少々計算が大変です。cos2x+sin2x=1\cos^2 x + \sin^2 x = 1 の類似と思ってください。

性質3

sl x+cl x+sl x cl x=1 \mathrm{sl} \ x + \mathrm{cl} \ x + \mathrm{sl} \ x \ \mathrm{cl} \ x = 1

証明

s=1r21+r2s = \sqrt{\dfrac{1-r^2}{1+r^2}} とおくと ds=r1r21+r2r1+r21r21+r2dr=2r21r4(1+r2)dr\begin{align*} ds &= \dfrac{-\dfrac{r}{\sqrt{1-r^2}} \sqrt{1+r^2} - \dfrac{r}{\sqrt{1+r^2}} \sqrt{1-r^2}}{1+r^2} dr\\ &= -\dfrac{2r^2}{\sqrt{1-r^4} (1+r^2)} dr \end{align*} である。さて, 1s4=1(1r2)2(1+r2)2=2r2(1+r2)2\begin{align*} 1-s^4 &= 1-\dfrac{(1-r^2)^2}{(1+r^2)^2}\\ &= \dfrac{2r^2}{(1+r^2)^2} \end{align*} を用いると, dr1r4=ds1s4 \dfrac{dr}{\sqrt{1-r^4}} = - \dfrac{ds}{\sqrt{1-s^4}} が得らる。

従って, 0ydr1r4=1y21+y21ds1s4 \int_0^y \dfrac{dr}{\sqrt{1-r^4}} = \int_{\sqrt{\frac{1-y^2}{1+y^2}}}^1 \dfrac{-ds}{\sqrt{1-s^4}} つまり arcsl y=arccl 1y21+y2 \mathrm{arcsl} \ y = \mathrm{arccl} \ \sqrt{\frac{1-y^2}{1+y^2}} を得る。y=sl xy = \mathrm{sl} \ x を代入することで x=arccl 1sl2x1+sl2x x = \mathrm{arccl} \ \sqrt{\frac{1-\mathrm{sl}^2 x}{1+\mathrm{sl}^2 x}} となる。逆関数の定義より cl x=1sl2x1+sl2x \mathrm{cl} \ x = \sqrt{\frac{1-\mathrm{sl}^2 x}{1+\mathrm{sl}^2 x}} である。整理することで式を得る。

次に紹介するものは加法定理の類型です。

性質4

sl (x+y)=sl x cl y+cl x sl y1sl x sl y cl x cl ycl (x+y)=cl x cl y+sl x sl y1sl x sl y cl x cl y \mathrm{sl}\ (x+y) = \dfrac{\mathrm{sl}\ x \ \mathrm{cl}\ y + \mathrm{cl}\ x \ \mathrm{sl}\ y}{1- \mathrm{sl}\ x \ \mathrm{sl}\ y\ \mathrm{cl}\ x\ \mathrm{cl}\ y}\\ \mathrm{cl}\ (x+y) = \dfrac{\mathrm{cl}\ x \ \mathrm{cl}\ y + \mathrm{sl}\ x \ \mathrm{sl}\ y}{1- \mathrm{sl}\ x \ \mathrm{sl}\ y\ \mathrm{cl}\ x\ \mathrm{cl}\ y}

S=sl x cl yS = \mathrm{sl} \ x \ \mathrm{cl} \ yC=cl x sl yC = \mathrm{cl} \ x \ \mathrm{sl} \ y とすると sl (x+y)=S+C1SC \mathrm{sl} \ (x+y) = \dfrac{S+C}{1-SC} となります。tan\tan の加法定理を思わせる関係式になっています。

証明は省略します。

レムニスケート関数は,解析的整数論でしばしば登場する概念です。