クラウゼン関数

クラウゼン関数テンプレート:Mathのグラフ

クラウゼン関数（クラウゼンかんすう、テンプレート:Lang-en-short）は、トーマス・クラウゼンによって導入された超越的な単一変数の関数である。定積分、テンプレート:仮リンクなどによっても表現される。多重対数関数 、テンプレート:仮リンク、ポリガンマ関数、リーマンゼータ関数、ディリクレベータ関数などと深い関わりがある。

オーダー2のクラウゼン関数:単にクラウゼン関数とも呼ばれることもある。次の式で与えられる。

${\mathrm{Cl}}_2(\phi )=-\underset{0}{\overset{\phi }{\int }}\log |2\sin \frac{x}{2}|dx:$

範囲$0<\phi <2\pi$では式中の正弦関数は正の値を取るから、絶対値は無視しても良い。クラウゼン関数はまた、フーリエ級数を用いて次のようにも表せる。

${\mathrm{Cl}}_2(\phi )=\sum _{k=1}^{\mathrm{\infty }}\frac{\sin k\phi }{k^2}=\sin \phi +\frac{\sin 2\phi }{2^2}+\frac{\sin 3\phi }{3^2}+\frac{\sin 4\phi }{4^2}+\cdots$

クラウゼン関数は、関数の一つとして現代の様々な分野で研究されている。特に、対数積分や多重対数積分の評価に用いられる。また超幾何関数の和や中心二項係数の逆数に関連する和、ポリガンマ関数の和、ディリクレのL関数にも応用される。

基本的な性質

$k\in \mathbb{Z}$において$\sin k\pi =0$であるから、（オーダー2の）クラウゼン関数は、$\pi$の整数倍で0を取る。

${\mathrm{Cl}}_2(m\pi )=0,m=0,\pm 1,\pm 2,\pm 3,\cdots$

また $\theta =\frac{\pi }{3}+2m\pi [m\in \mathbb{Z}]$で最大値を取る。

${\mathrm{Cl}}_2(\frac{\pi }{3}+2m\pi )=1.01494160\dots$

$\theta =-\frac{\pi }{3}+2m\pi [m\in \mathbb{Z}]$で最小値をとる。

${\mathrm{Cl}}_2(-\frac{\pi }{3}+2m\pi )=-1.01494160\dots$

次の式の成立は、関数の定義より直ちに示される。

${\mathrm{Cl}}_2(\theta +2m\pi )={\mathrm{Cl}}_2(\theta )$

${\mathrm{Cl}}_2(-\theta )=-{\mathrm{Cl}}_2(\theta )$

詳しくは テンプレート:Harvtxtを見よ。

一般的な定義

テンプレート:Multiple image より一般に、クラウゼン関数は2つの一般化がある。

${\mathrm{S}}_z(\theta )=\sum _{k=1}^{\mathrm{\infty }}\frac{\sin k\theta }{k^z}$

${\mathrm{C}}_z(\theta )=\sum _{k=1}^{\mathrm{\infty }}\frac{\cos k\theta }{k^z}$

ここで、定数zは実部が1より大きい複素数である。この定義は解析接続によって複素平面上に拡張できる。

z を非負整数に置き換えて、フーリエ級数を用いて、一般クラウゼン関数（テンプレート:Lang）は次のように定義される。

${\mathrm{Cl}}_{2m+2}(\theta )=\sum _{k=1}^{\mathrm{\infty }}\frac{\sin k\theta }{k^{2m+2}}$

${\mathrm{Cl}}_{2m+1}(\theta )=\sum _{k=1}^{\mathrm{\infty }}\frac{\cos k\theta }{k^{2m+1}}$

${\mathrm{Sl}}_{2m+2}(\theta )=\sum _{k=1}^{\mathrm{\infty }}\frac{\cos k\theta }{k^{2m+2}}$

${\mathrm{Sl}}_{2m+1}(\theta )=\sum _{k=1}^{\mathrm{\infty }}\frac{\sin k\theta }{k^{2m+1}}$

SLのクラウゼン関数は、グレーシャー–クラウゼン関数${\mathrm{Gl}}_m(\theta )$（テンプレート:Lang、ジェームズ・ウィットブレッドリー・グレーシャーの名を冠する）と言われる場合もある。

ベルヌーイ多項式との関係

SL-type Clausen function は$\theta$の多項式でベルヌーイ多項式と近い関係を持つ。これは、 ベルヌーイ多項式のフーリエ級数による表示より明らかである。

$B_{2n-1}(x)=\frac{2(-1{)}^n(2n-1)!}{(2\pi {)}^{2n-1}}\sum _{k=1}^{\mathrm{\infty }}\frac{\sin 2\pi kx}{k^{2n-1}}.$

$B_{2n}(x)=\frac{2(-1{)}^{n-1}(2n)!}{(2\pi {)}^{2n}}\sum _{k=1}^{\mathrm{\infty }}\frac{\cos 2\pi kx}{k^{2n}}.$

$x=\theta /2\pi$を代入して、項を並べ替えると次のような表示が得られる。

${\mathrm{Sl}}_{2m}(\theta )=\frac{(-1{)}^{m-1}(2\pi {)}^{2m}}{2(2m)!}{B}_{2m}\left(\frac{\theta }{2\pi }\right),$

${\mathrm{Sl}}_{2m-1}(\theta )=\frac{(-1{)}^m(2\pi {)}^{2m-1}}{2(2m-1)!}{B}_{2m-1}\left(\frac{\theta }{2\pi }\right),$

ここでベルヌーイ多項式$B_n(x)$はベルヌーイ数$B_n\equiv B_n(0)$を用いて次のように定義される。

$B_n(x)=\sum _{j=0}^n(\genfrac{}{}{0ex}{}{n}{j})B_j{x}^{n-j}.$

以上の式から分かるSLタイプのクラウゼン関数の評価は次の通り。

${\mathrm{Sl}}_1(\theta )=\frac{\pi }{2}-\frac{\theta }{2},$

${\mathrm{Sl}}_2(\theta )=\frac{{\pi }^2}{6}-\frac{\pi \theta }{2}+\frac{{\theta }^2}{4},$

${\mathrm{Sl}}_3(\theta )=\frac{{\pi }^2\theta }{6}-\frac{\pi {\theta }^2}{4}+\frac{{\theta }^3}{12},$

${\mathrm{Sl}}_4(\theta )=\frac{{\pi }^4}{90}-\frac{{\pi }^2{\theta }^2}{12}+\frac{\pi {\theta }^3}{12}-\frac{{\theta }^4}{48}.$

倍角の公式

$0<\theta <\pi$において、クラウゼン関数の倍角の公式は積分の結果から直接証明できる。テンプレート:Harvtxtでは証明なしに使われている。

${\mathrm{Cl}}_2(2\theta )=2{\mathrm{Cl}}_2(\theta )-2{\mathrm{Cl}}_2(\pi -\theta )$

カタランの定数$K={\mathrm{Cl}}_2\left(\frac{\pi }{2}\right)$を用いれば、次のような関係も成り立つ。

${\mathrm{Cl}}_2\left(\frac{\pi }{4}\right)-{\mathrm{Cl}}_2\left(\frac{3\pi }{4}\right)=\frac{K}{2}$

$2{\mathrm{Cl}}_2\left(\frac{\pi }{3}\right)=3{\mathrm{Cl}}_2\left(\frac{2\pi }{3}\right)$

より高次のクラウゼン関数の倍角公式も、上記の式で変数$\theta$を他のダミーの変数$x$に置き換えて、$[0,\theta ]$の範囲で積分をして求めることができる。

${\mathrm{Cl}}_3(2\theta )=4{\mathrm{Cl}}_3(\theta )+4{\mathrm{Cl}}_3(\pi -\theta )$

${\mathrm{Cl}}_4(2\theta )=8{\mathrm{Cl}}_4(\theta )-8{\mathrm{Cl}}_4(\pi -\theta )$

${\mathrm{Cl}}_5(2\theta )=16{\mathrm{Cl}}_5(\theta )+16{\mathrm{Cl}}_5(\pi -\theta )$

${\mathrm{Cl}}_6(2\theta )=32{\mathrm{Cl}}_6(\theta )-32{\mathrm{Cl}}_6(\pi -\theta )$

より一般には$m,m\ge 1$について

${\mathrm{Cl}}_{m+1}(2\theta )=2^m[{\mathrm{Cl}}_{m+1}(\theta )+(-1{)}^m{\mathrm{Cl}}_{m+1}(\pi -\theta )]$

一般の倍角公式を用いて、オーダー2の場合のカタランの定数に関わる式も一般化できる。 $m\in \mathbb{Z}\ge 1$において、

${\mathrm{Cl}}_{2m}\left(\frac{\pi }{2}\right)=2^{2m-1}[{\mathrm{Cl}}_{2m}\left(\frac{\pi }{4}\right)-{\mathrm{Cl}}_{2m}\left(\frac{3\pi }{4}\right)]=\beta (2m)$

$\beta (x)$はディリクレベータ関数。

倍角の公式の証明

定義より、

${\mathrm{Cl}}_2(2\theta )=-\underset{0}{\overset{2\theta }{\int }}\log |2\sin \frac{x}{2}|dx$

正弦関数の倍角の公式$\sin x=2\sin \frac{x}{2}\cos \frac{x}{2}$を用いて、

$\begin{array}{cc}& -\underset{0}{\overset{2\theta }{\int }}\log \left|(2\sin \frac{x}{4})(2\cos \frac{x}{4})\right|dx\\ =& -\underset{0}{\overset{2\theta }{\int }}\log |2\sin \frac{x}{4}|dx-\underset{0}{\overset{2\theta }{\int }}\log |2\cos \frac{x}{4}|dx\end{array}$

$x=2y,dx=2dy$のように、変数を置換して、

$\begin{array}{cc}& -2\underset{0}{\overset{\theta }{\int }}\log |2\sin \frac{x}{2}|dx-2\underset{0}{\overset{\theta }{\int }}\log |2\cos \frac{x}{2}|dx\\ =& 2{\mathrm{Cl}}_2(\theta )-2\underset{0}{\overset{\theta }{\int }}\log |2\cos \frac{x}{2}|dx\end{array}$

最後に$y=\pi -x,x=\pi -y,dx=-dy$と置換して余弦関数の加法定理$\cos (x-y)=\cos x\cos y-\sin x\sin y$を用いれば、

$\begin{array}{cc}& \cos \left(\frac{\pi -y}{2}\right)=\sin \frac{y}{2}\\ ⟹& {\mathrm{Cl}}_2(2\theta )=2{\mathrm{Cl}}_2(\theta )-2\underset{0}{\overset{\theta }{\int }}\log |2\cos \frac{x}{2}|dx\\ =& 2{\mathrm{Cl}}_2(\theta )+2\underset{\pi }{\overset{\pi -\theta }{\int }}\log |2\sin \frac{y}{2}|dy\\ =& 2{\mathrm{Cl}}_2(\theta )-2{\mathrm{Cl}}_2(\pi -\theta )+2{\mathrm{Cl}}_2(\pi )\end{array}$

となる。

${\mathrm{Cl}}_2(\pi )=0$

であるから、

${\mathrm{Cl}}_2(2\theta )=2{\mathrm{Cl}}_2(\theta )-2{\mathrm{Cl}}_2(\pi -\theta ).◻$

派生

クラウゼン関数のフーリエ級数展開表示の微分によって次の式の成立が分かる。

$\frac{d}{d\theta }{\mathrm{Cl}}_{2m+2}(\theta )=\frac{d}{d\theta }\sum _{k=1}^{\mathrm{\infty }}\frac{\sin k\theta }{k^{2m+2}}=\sum _{k=1}^{\mathrm{\infty }}\frac{\cos k\theta }{k^{2m+1}}={\mathrm{Cl}}_{2m+1}(\theta )$

$\frac{d}{d\theta }{\mathrm{Cl}}_{2m+1}(\theta )=\frac{d}{d\theta }\sum _{k=1}^{\mathrm{\infty }}\frac{\cos k\theta }{k^{2m+1}}=-\sum _{k=1}^{\mathrm{\infty }}\frac{\sin k\theta }{k^{2m}}=-{\mathrm{Cl}}_{2m}(\theta )$

$\frac{d}{d\theta }{\mathrm{Sl}}_{2m+2}(\theta )=\frac{d}{d\theta }\sum _{k=1}^{\mathrm{\infty }}\frac{\cos k\theta }{k^{2m+2}}=-\sum _{k=1}^{\mathrm{\infty }}\frac{\sin k\theta }{k^{2m+1}}=-{\mathrm{Sl}}_{2m+1}(\theta )$

$\frac{d}{d\theta }{\mathrm{Sl}}_{2m+1}(\theta )=\frac{d}{d\theta }\sum _{k=1}^{\mathrm{\infty }}\frac{\sin k\theta }{k^{2m+1}}=\sum _{k=1}^{\mathrm{\infty }}\frac{\cos k\theta }{k^{2m}}={\mathrm{Sl}}_{2m}(\theta )$

微分積分学の基本定理を使えば、次のようにも表現できる。

$\frac{d}{d\theta }{\mathrm{Cl}}_2(\theta )=\frac{d}{d\theta }[-\underset{0}{\overset{\theta }{\int }}\log |2\sin \frac{x}{2}|dx]=-\log |2\sin \frac{\theta }{2}|={\mathrm{Cl}}_1(\theta )$

逆正接積分との関係

テンプレート:仮リンクは、$0<z<1$において、次のように定義される。

${\mathrm{Ti}}_2(z)=\underset{0}{\overset{z}{\int }}\frac{{\tan }^{-1}x}{x}dx=\sum _{k=0}^{\mathrm{\infty }}(-1{)}^k\frac{z^{2k+1}}{(2k+1{)}^2}$

クラウゼン関数との関係は次のようになる。

${\mathrm{Ti}}_2(\tan \theta )=\theta \log (\tan \theta )+\frac{1}{2}{\mathrm{Cl}}_2(2\theta )+\frac{1}{2}{\mathrm{Cl}}_2(\pi -2\theta )$

逆正接積分との関係の証明

テンプレート:仮リンクの定義より、

${\mathrm{Ti}}_2(\tan \theta )=\underset{0}{\overset{\tan \theta }{\int }}\frac{{\tan }^{-1}x}{x}dx$

$\underset{0}{\overset{\tan \theta }{\int }}\frac{{\tan }^{-1}x}{x}dx=[{\tan }^{-1}x\log x{]}_0^{\tan \theta }-\underset{0}{\overset{\tan \theta }{\int }}\frac{\log x}{1+x^2}dx=$

$\theta \log \tan \theta -\underset{0}{\overset{\tan \theta }{\int }}\frac{\log x}{1+x^2}dx$

$x=\tan y,y={\tan }^{-1}x,dy=\frac{dx}{1+x^2}$を置換して、

$\theta \log \tan \theta -\underset{0}{\overset{\theta }{\int }}\log (\tan y)dy$

$y=x/2,dy=dx/2$を置換して、

$\begin{array}{cc}& \theta \log \tan \theta -\frac{1}{2}\underset{0}{\overset{2\theta }{\int }}\log (\tan \frac{x}{2})dx\\ =& \theta \log \tan \theta -\frac{1}{2}\underset{0}{\overset{2\theta }{\int }}\log \left(\frac{\sin (x/2)}{\cos (x/2)}\right)dx\\ =& \theta \log \tan \theta -\frac{1}{2}\underset{0}{\overset{2\theta }{\int }}\log \left(\frac{2\sin (x/2)}{2\cos (x/2)}\right)dx\\ =& \theta \log \tan \theta -\frac{1}{2}\underset{0}{\overset{2\theta }{\int }}\log (2\sin \frac{x}{2})dx+\frac{1}{2}\underset{0}{\overset{2\theta }{\int }}\log (2\cos \frac{x}{2})dx\\ =& \theta \log \tan \theta +\frac{1}{2}{\mathrm{Cl}}_2(2\theta )+\frac{1}{2}\underset{0}{\overset{2\theta }{\int }}\log (2\cos \frac{x}{2})dx.\end{array}$

倍角公式の証明のように$x=(\pi -y)$と置換すれば、

$\underset{0}{\overset{2\theta }{\int }}\log (2\cos \frac{x}{2})dx={\mathrm{Cl}}_2(\pi -2\theta )-{\mathrm{Cl}}_2(\pi )={\mathrm{Cl}}_2(\pi -2\theta )$

したがって、

${\mathrm{Ti}}_2(\tan \theta )=\theta \log \tan \theta +\frac{1}{2}{\mathrm{Cl}}_2(2\theta )+\frac{1}{2}{\mathrm{Cl}}_2(\pi -2\theta ).◻$

バーンズのG関数との関係

実数$0<z<1$について、オーダー2のクラウゼン関数は、バーンズのG関数とガンマ関数で書くことができる。

${\mathrm{Cl}}_2(2\pi z)=2\pi \log \left(\frac{G(1-z)}{G(1+z)}\right)+2\pi z\log \left(\frac{\pi }{\sin \pi z}\right)$

または、

${\mathrm{Cl}}_2(2\pi z)=2\pi \log \left(\frac{G(1-z)}{G(z)}\right)-2\pi \log \mathrm{\Gamma }(z)+2\pi z\log \left(\frac{\pi }{\sin \pi z}\right)$

詳しくはテンプレート:Harvtxtを見よ。

多重対数関数との関係

クラウゼン関数は単位円上の多重対数関数の実部と虚部を表す。

${\mathrm{Cl}}_{2m}(\theta )=\mathrm{\Im }({\mathrm{Li}}_{2m}(e^{i\theta })),m\in \mathbb{Z}\ge 1$

${\mathrm{Cl}}_{2m+1}(\theta )=\mathrm{\Re }({\mathrm{Li}}_{2m+1}(e^{i\theta })),m\in \mathbb{Z}\ge 0$

これは、多重対数関数の級数による定義より簡単に示される。

${\mathrm{Li}}_n(z)=\sum _{k=1}^{\mathrm{\infty }}\frac{z^k}{k^n}⟹{\mathrm{Li}}_n\left(e^{i\theta }\right)=\sum _{k=1}^{\mathrm{\infty }}\frac{{\left(e^{i\theta }\right)}^k}{k^n}=\sum _{k=1}^{\mathrm{\infty }}\frac{e^{ik\theta }}{k^n}$

オイラーの定理より、

$e^{i\theta }=\cos \theta +i\sin \theta$

さらにド・モアブルの定理より、

$(\cos \theta +i\sin \theta {)}^k=\cos k\theta +i\sin k\theta \Rightarrow {\mathrm{Li}}_n\left(e^{i\theta }\right)=\sum _{k=1}^{\mathrm{\infty }}\frac{\cos k\theta }{k^n}+i\sum _{k=1}^{\mathrm{\infty }}\frac{\sin k\theta }{k^n}$

したがって、

${\mathrm{Li}}_{2m}\left(e^{i\theta }\right)=\sum _{k=1}^{\mathrm{\infty }}\frac{\cos k\theta }{k^{2m}}+i\sum _{k=1}^{\mathrm{\infty }}\frac{\sin k\theta }{k^{2m}}={\mathrm{Sl}}_{2m}(\theta )+i{\mathrm{Cl}}_{2m}(\theta )$

${\mathrm{Li}}_{2m+1}\left(e^{i\theta }\right)=\sum _{k=1}^{\mathrm{\infty }}\frac{\cos k\theta }{k^{2m+1}}+i\sum _{k=1}^{\mathrm{\infty }}\frac{\sin k\theta }{k^{2m+1}}={\mathrm{Cl}}_{2m+1}(\theta )+i{\mathrm{Sl}}_{2m+1}(\theta )$

ポリガンマ関数との関係

クラウゼン関数は正弦関数とポリガンマ関数の線型結合によってあらわすことができる。

${\mathrm{Cl}}_{2m}\left(\frac{q\pi }{p}\right)=\frac{1}{(2p{)}^{2m}(2m-1)!}\sum _{j=1}^p\sin \left(\frac{qj\pi }{p}\right)[{\psi }_{2m-1}\left(\frac{j}{2p}\right)+(-1{)}^q{\psi }_{2m-1}\left(\frac{j+p}{2p}\right)].$

この系に、フルヴィッツのゼータ関数との関係式もある。

${\mathrm{Cl}}_{2m}\left(\frac{q\pi }{p}\right)=\frac{1}{(2p{)}^{2m}}\sum _{j=1}^p\sin \left(\frac{qj\pi }{p}\right)[\zeta (2m,\frac{j}{2p})+(-1{)}^q\zeta (2m,\frac{j+p}{2p})].$

テンプレート:Collapse top $p$,$q$ を$0<q/p<1$を満たす正整数として、偶数のクラウゼン関数は次のように書ける。

${\mathrm{Cl}}_{2m}\left(\frac{q\pi }{p}\right)=\sum _{k=1}^{\mathrm{\infty }}\frac{\sin (kq\pi /p)}{k^{2m}}$

この式を、m番目の式が$kp+m$と合同になるようにp個の部分の和に分ける。

$\begin{array}{cc}& {\mathrm{Cl}}_{2m}\left(\frac{q\pi }{p}\right)\\ =& \sum _{k=0}^{\mathrm{\infty }}\frac{\sin [(kp+1)\frac{q\pi }{p}]}{(kp+1{)}^{2m}}+\sum _{k=0}^{\mathrm{\infty }}\frac{\sin [(kp+2)\frac{q\pi }{p}]}{(kp+2{)}^{2m}}+\sum _{k=0}^{\mathrm{\infty }}\frac{\sin [(kp+3)\frac{q\pi }{p}]}{(kp+3{)}^{2m}}+\cdots \\ & \cdots +\sum _{k=0}^{\mathrm{\infty }}\frac{\sin [(kp+p-2)\frac{q\pi }{p}]}{(kp+p-2{)}^{2m}}+\sum _{k=0}^{\mathrm{\infty }}\frac{\sin [(kp+p-1)\frac{q\pi }{p}]}{(kp+p-1{)}^{2m}}+\sum _{k=0}^{\mathrm{\infty }}\frac{\sin [(kp+p)\frac{q\pi }{p}]}{(kp+p{)}^{2m}}\end{array}$

二重和を用いて次のように書ける。

$\begin{array}{cc}& {\mathrm{Cl}}_{2m}\left(\frac{q\pi }{p}\right)=\sum _{j=1}^p\left\{\sum _{k=0}^{\mathrm{\infty }}\frac{\sin [(kp+j)\frac{q\pi }{p}]}{(kp+j{)}^{2m}}\right\}\\ =& \sum _{j=1}^p\frac{1}{p^{2m}}\left\{\sum _{k=0}^{\mathrm{\infty }}\frac{\sin [(kp+j)\frac{q\pi }{p}]}{(k+(j/p){)}^{2m}}\right\}\end{array}$

正弦関数の加法定理$\sin (x+y)=\sin x\cos y+\cos x\sin y$の応用

$\sin [(kp+j)\frac{q\pi }{p}]=\sin (kq\pi +\frac{qj\pi }{p})=\sin kq\pi \cos \frac{qj\pi }{p}+\cos kq\pi \sin \frac{qj\pi }{p}$

$\sin m\pi \equiv 0,\cos m\pi \equiv (-1{)}^m⟺m=0,\pm 1,\pm 2,\pm 3,\dots$

$\sin [(kp+j)\frac{q\pi }{p}]=(-1{)}^{kq}\sin \frac{qj\pi }{p}$

を適応して、

${\mathrm{Cl}}_{2m}\left(\frac{q\pi }{p}\right)=\sum _{j=1}^p\frac{1}{p^{2m}}\sin \left(\frac{qj\pi }{p}\right)\left\{\sum _{k=0}^{\mathrm{\infty }}\frac{(-1{)}^{kq}}{(k+(j/p){)}^{2m}}\right\}$

内側の総和を非交代和に変形するために、上部で式をp個の部分に分けたようにして、式を2つの部分に分ける。

$\begin{array}{cc}& \sum _{k=0}^{\mathrm{\infty }}\frac{(-1{)}^{kq}}{(k+(j/p){)}^{2m}}=\sum _{k=0}^{\mathrm{\infty }}\frac{(-1{)}^{(2k)q}}{((2k)+(j/p){)}^{2m}}+\sum _{k=0}^{\mathrm{\infty }}\frac{(-1{)}^{(2k+1)q}}{((2k+1)+(j/p){)}^{2m}}\\ =& \sum _{k=0}^{\mathrm{\infty }}\frac{1}{(2k+(j/p){)}^{2m}}+(-1{)}^q\sum _{k=0}^{\mathrm{\infty }}\frac{1}{(2k+1+(j/p){)}^{2m}}\\ =& \frac{1}{2^p}[\sum _{k=0}^{\mathrm{\infty }}\frac{1}{(k+(j/2p){)}^{2m}}+(-1{)}^q\sum _{k=0}^{\mathrm{\infty }}\frac{1}{(k+\left(\frac{j+p}{2p}\right){)}^{2m}}]\end{array}$

$m\in \mathbb{Z}\ge 1$において、ポリガンマ関数は次のように展開される。

${\psi }_m(z)=(-1{)}^{m+1}m!\sum _{k=0}^{\mathrm{\infty }}\frac{1}{(k+z{)}^{m+1}}$

故に、内側の総和は次のように変形される。

$\frac{1}{2^{2m}(2m-1)!}[{\psi }_{2m-1}\left(\frac{j}{2p}\right)+(-1{)}^q{\psi }_{2m-1}\left(\frac{j+p}{2p}\right)]$

これを元の二重和に代入して、元の式を得る。

${\mathrm{Cl}}_{2m}\left(\frac{q\pi }{p}\right)=\frac{1}{(2p{)}^{2m}(2m-1)!}\sum _{j=1}^p\sin \left(\frac{qj\pi }{p}\right)[{\psi }_{2m-1}\left(\frac{j}{2p}\right)+(-1{)}^q{\psi }_{2m-1}\left(\frac{j+p}{2p}\right)]$

一般化対数正弦積分との関係

一般化された対数正弦積分は次のように定義される。

$ℒs_n^m(\theta )=-\underset{0}{\overset{\theta }{\int }}{x}^m{\log }^{n-m-1}|2\sin \frac{x}{2}|dx$

クラウゼン関数は一般化対数正弦積分の一種である。つまり、

${\mathrm{Cl}}_2(\theta )=ℒs_2^0(\theta )$

クンマーの関係

エルンスト・クンマーとロジャースは次の式を発見した。$0\le \theta \le 2\pi$について、

${\mathrm{Li}}_2(e^{i\theta })=\zeta (2)-\theta (2\pi -\theta )/4+i{\mathrm{Cl}}_2(\theta )$

ロバチェフスキー関数との関係

ロバチェフスキー関数Λ（またはЛ）は本質的には、変数を変えただけで、クラウゼン関数と同義である。

$\mathrm{\Lambda }(\theta )=-\underset{0}{\overset{\theta }{\int }}\log |2\sin (t)|dt={\mathrm{Cl}}_2(2\theta )/2$

ただし、ロバチェフスキー関数という名はあまり正確でない。というのも、ロバチェフスキーは双曲体積の公式において、わずかに異なる関数を用いている。

$\underset{0}{\overset{\theta }{\int }}\log |\sec (t)|dt=\mathrm{\Lambda }(\theta +\pi /2)+\theta \log 2.$

ディリクレのL関数との関係

有理数値$\theta /\pi$において、 $\sin (n\theta )$は巡回群における元の周期軌道として捉えられている。故にクラウゼン関数${\mathrm{Cl}}_s(\theta )$はフルヴィッツのゼータ函数に関連する和として表現できるテンプレート:要出典。これは、ディリクレのL関数の特殊な値の計算を簡易にする。

加速度

クラウゼン関数の加速度は次のように与えられる。$|\theta |<2\pi$において、

$\frac{{\mathrm{Cl}}_2(\theta )}{\theta }=1-\log |\theta |+\sum _{n=1}^{\mathrm{\infty }}\frac{\zeta (2n)}{n(2n+1)}{\left(\frac{\theta }{2\pi }\right)}^{2n}$

ここで、 $\zeta (s)$はリーマンゼータ関数。より早く収束する形は次のように表現される。

$\frac{{\mathrm{Cl}}_2(\theta )}{\theta }=3-\log [|\theta |(1-\frac{{\theta }^2}{4{\pi }^2})]-\frac{2\pi }{\theta }\log \left(\frac{2\pi +\theta }{2\pi -\theta }\right)+\sum _{n=1}^{\mathrm{\infty }}\frac{\zeta (2n)-1}{n(2n+1)}{\left(\frac{\theta }{2\pi }\right)}^{2n}.$

収束は、nが大きくとき$\zeta (n)-1$が急速に0に近づくことより説明できる。両方の形は、テンプレート:仮リンクを求める際の再足し上げの技法で得られるテンプレート:Harv。

特別な値

バーンズのG関数をG、カタランの定数をK、ギーゼキング定数をVとする。クラウゼン関数の特殊な値には、次のようなものがある。

${\mathrm{Cl}}_2\left(\frac{\pi }{2}\right)=K$

${\mathrm{Cl}}_2\left(\frac{\pi }{3}\right)=V$

${\mathrm{Cl}}_2\left(\frac{\pi }{3}\right)=3\pi \log \left(\frac{G\left(\frac{2}{3}\right)}{G\left(\frac{1}{3}\right)}\right)-3\pi \log \mathrm{\Gamma }\left(\frac{1}{3}\right)+\pi \log \left(\frac{2\pi }{\sqrt{3}}\right)$

${\mathrm{Cl}}_2\left(\frac{2\pi }{3}\right)=2\pi \log \left(\frac{G\left(\frac{2}{3}\right)}{G\left(\frac{1}{3}\right)}\right)-2\pi \log \mathrm{\Gamma }\left(\frac{1}{3}\right)+\frac{2\pi }{3}\log \left(\frac{2\pi }{\sqrt{3}}\right)$

${\mathrm{Cl}}_2\left(\frac{\pi }{4}\right)=2\pi \log \left(\frac{G\left(\frac{7}{8}\right)}{G\left(\frac{1}{8}\right)}\right)-2\pi \log \mathrm{\Gamma }\left(\frac{1}{8}\right)+\frac{\pi }{4}\log \left(\frac{2\pi }{\sqrt{2-\sqrt{2}}}\right)$

${\mathrm{Cl}}_2\left(\frac{3\pi }{4}\right)=2\pi \log \left(\frac{G\left(\frac{5}{8}\right)}{G\left(\frac{3}{8}\right)}\right)-2\pi \log \mathrm{\Gamma }\left(\frac{3}{8}\right)+\frac{3\pi }{4}\log \left(\frac{2\pi }{\sqrt{2+\sqrt{2}}}\right)$

${\mathrm{Cl}}_2\left(\frac{\pi }{6}\right)=2\pi \log \left(\frac{G\left(\frac{11}{12}\right)}{G\left(\frac{1}{12}\right)}\right)-2\pi \log \mathrm{\Gamma }\left(\frac{1}{12}\right)+\frac{\pi }{6}\log \left(\frac{2\pi \sqrt{2}}{\sqrt{3}-1}\right)$

${\mathrm{Cl}}_2\left(\frac{5\pi }{6}\right)=2\pi \log \left(\frac{G\left(\frac{7}{12}\right)}{G\left(\frac{5}{12}\right)}\right)-2\pi \log \mathrm{\Gamma }\left(\frac{5}{12}\right)+\frac{5\pi }{6}\log \left(\frac{2\pi \sqrt{2}}{\sqrt{3}+1}\right)$

一般にはバーンズのG関数を用いて、

${\mathrm{Cl}}_2(2\pi z)=2\pi \log \left(\frac{G(1-z)}{G(z)}\right)-2\pi \log \mathrm{\Gamma }(z)+2\pi z\log \left(\frac{\pi }{\sin \pi z}\right)$

オイラーのテンプレート:仮リンクを使えば、

${\mathrm{Cl}}_2(2\pi z)=2\pi \log \left(\frac{G(1-z)}{G(z)}\right)-2\pi \log \mathrm{\Gamma }(z)+2\pi z\log (\mathrm{\Gamma }(z)\mathrm{\Gamma }(1-z))$

一般の特別な値

高次のクラウゼン関数の特殊な値には次のようなものがある。

${\mathrm{Cl}}_{2m}(0)={\mathrm{Cl}}_{2m}(\pi )={\mathrm{Cl}}_{2m}(2\pi )=0$

${\mathrm{Cl}}_{2m}\left(\frac{\pi }{2}\right)=\beta (2m)$

${\mathrm{Cl}}_{2m+1}(0)={\mathrm{Cl}}_{2m+1}(2\pi )=\zeta (2m+1)$

${\mathrm{Cl}}_{2m+1}(\pi )=-\eta (2m+1)=-\left(\frac{2^{2m}-1}{2^{2m}}\right)\zeta (2m+1)$

${\mathrm{Cl}}_{2m+1}\left(\frac{\pi }{2}\right)=-\frac{1}{2^{2m+1}}\eta (2m+1)=-\left(\frac{2^{2m}-1}{2^{4m+1}}\right)\zeta (2m+1)$

ここで$\beta (x)$はディリクレベータ関数、$\eta (x)$はテンプレート:仮リンク、$\zeta (x)$はリーマンゼータ関数。

積分

クラウゼン関数を直接積分した値は簡単に証明できる。

$\underset{0}{\overset{\theta }{\int }}{\mathrm{Cl}}_{2m}(x)dx=\zeta (2m+1)-{\mathrm{Cl}}_{2m+1}(\theta )$

$\underset{0}{\overset{\theta }{\int }}{\mathrm{Cl}}_{2m+1}(x)dx={\mathrm{Cl}}_{2m+2}(\theta )$

$\underset{0}{\overset{\theta }{\int }}{\mathrm{Sl}}_{2m}(x)dx={\mathrm{Sl}}_{2m+1}(\theta )$

$\underset{0}{\overset{\theta }{\int }}{\mathrm{Sl}}_{2m+1}(x)dx=\zeta (2m+2)-{\mathrm{Cl}}_{2m+2}(\theta )$

フーリエ解析の手法を用いれば、$[0,\pi ]$の範囲で、クラウゼン関数${\mathrm{Cl}}_2(x)$の自乗の積分は次のように書ける。

$\underset{0}{\overset{\pi }{\int }}{\mathrm{Cl}}_2^2(x)dx=\zeta (4),$

$\underset{0}{\overset{\pi }{\int }}t{\mathrm{Cl}}_2^2(x)dx=\frac{221}{90720}{\pi }^6-4\zeta (\bar{5},1)-2\zeta (\bar{4},2),$

$\underset{0}{\overset{\pi }{\int }}{t}^2{\mathrm{Cl}}_2^2(x)dx=-\frac{2}{3}\pi [12\zeta (\bar{5},1)+6\zeta (\bar{4},2)-\frac{23}{10080}{\pi }^6].$

$\zeta$は多重ゼータ値。

他の積分評価

多くの三角関数や、対数三角関数の積分は、クラウゼン関数、カタランの定数$K$、$\log 2$、ゼータ関数の特殊値$\zeta (2),\zeta (3)$を用いて表すことができる。

証明には、基礎的なものよりほんの少し難しい三角関数の積分と、クラウゼン関数のフーリエ級数表示の積分が必要とされる。

$\underset{0}{\overset{\theta }{\int }}\log (\sin x)dx=-\frac{1}{2}{\mathrm{Cl}}_2(2\theta )-\theta \log 2$

$\underset{0}{\overset{\theta }{\int }}\log (\cos x)dx=\frac{1}{2}{\mathrm{Cl}}_2(\pi -2\theta )-\theta \log 2$

$\underset{0}{\overset{\theta }{\int }}\log (\tan x)dx=-\frac{1}{2}{\mathrm{Cl}}_2(2\theta )-\frac{1}{2}{\mathrm{Cl}}_2(\pi -2\theta )$

$\underset{0}{\overset{\theta }{\int }}\log (1+\cos x)dx=2{\mathrm{Cl}}_2(\pi -\theta )-\theta \log 2$

$\underset{0}{\overset{\theta }{\int }}\log (1-\cos x)dx=-2{\mathrm{Cl}}_2(\theta )-\theta \log 2$

$\underset{0}{\overset{\theta }{\int }}\log (1+\sin x)dx=2K-2{\mathrm{Cl}}_2(\frac{\pi }{2}+\theta )-\theta \log 2$

$\underset{0}{\overset{\theta }{\int }}\log (1-\sin x)dx=-2K+2{\mathrm{Cl}}_2(\frac{\pi }{2}-\theta )-\theta \log 2$

出典

• テンプレート:Abramowitz Stegun ref
• テンプレート:Cite journal
• テンプレート:Cite journal
• Leonard Lewin, (Ed.). Structural Properties of Polylogarithms (1991) American Mathematical Society, Providence, RI. テンプレート:ISBN2ISBN 0-8218-4532-2
• テンプレート:Cite web
• テンプレート:Cite journal
• テンプレート:Cite journal
• テンプレート:Cite arXiv
• テンプレート:Cite journal
• テンプレート:Cite news
• テンプレート:Cite arXiv