ガウス＝クズミン＝ヴィルズィング作用素

数学の分野における**ガウス＝クズミン＝ヴィルズィング作用素**（ガウス＝クズミン＝ヴィルズィングさようそ、）とは、カール・ガウス、およびエデュアルト・ヴィルズィングの名にちなむ、連分数の研究に現れるある作用素のことを言う。リーマンゼータ関数とも関連している。

## 導入

ガウス＝クズミン＝ヴィルズィング作用素は、ガウス写像

:h(x)=1/x-\lfloor 1/x \rfloor \,

の転送作用素である。この作用素は関数 f に対して

:[Gf](x) = \sum_{n=1}^\infty \frac {1}{(x+n)^2} f \left(\frac {1}{x+n}\right)

のように作用する。そのゼロ番目の固有関数は

:\frac 1{\ln 2}\ \frac 1{1+x}

であり、これは固有値 1 に対応する。この固有関数は、与えられた整数がある連分数展開に現れる確率を表し、ガウス＝クズミン分布として知られている。このようなことが従う原因の一つに、ガウス写像が連分数に対する切断シフト作用素として働くことが挙げられる。すなわち、

: x=[0;a_1,a_2,a_3,\dots]\,

をある数 0&nbsp;h(x)=[0;a_2,a_3,\dots] \,

となる。その他の固有値は数値的に計算することが出来る。次の固有値は *λ*1 = −0.3036630029...  で、その絶対値は**ガウス＝クズミン＝ヴィルズィング定数**（**Gauss–Kuzmin–Wirsing constant**）として知られている。その他の固有関数の解析的な形状は知られていない。また固有値が無理数であるかどうかも知られていない。

## リーマンゼータとの関係

ガウス＝クズミン＝ヴィルズィング作用素は、リーマンゼータ関数と関係している。ここでそのようなゼータ関数は

:\zeta(s)=\frac{1}{s-1}-s\int_0^1 h(x) x^{s-1} \; dx

と書け、変数変換によって

:\zeta(s)=\frac{s}{s-1}-s\int_0^1 x \left[Gx^{s-1} \right]\, dx 

と出来ることに注意されたい。

## 行列成分

関数 *f*(*x*) および g(x)=[Gf](x) に対し、x=1 でのテイラー展開を考える。すなわち

:f(1-x)=\sum_{n=0}^\infty (-x)^n \frac{f^{(n)}(1)}{n!}

とし、*g*(*x*) も同様の形式で表現する。ガウス＝クズミン＝ヴィルズィング作用素は *x*&nbsp;=&nbsp;0 における性質が良くないため、この展開は *x*&nbsp;=&nbsp;1 において行われている。したがって 1-x についての展開を扱う上で、正の 0&nbsp;&le;&nbsp;*x*&nbsp;&le;&nbsp;1 のみを考えることになる。このとき、ガウス＝クズミン＝ヴィルズィング作用素はテイラー係数の上で

:(-1)^m \frac{g^{(m)}(1)}{m!} = \sum_{n=0}^\infty G_{mn} (-1)^n \frac{f^{(n)}(1)}{n!},

のように作用する。ここでその作用素の行列成分は

:G_{mn}=\sum_{k=0}^n (-1)^k {n \choose k} {k+m+1 \choose m} \left[ \zeta (k+m+2)- 1\right]

で与えられる。この作用素は大変よく構成されており、数値的に非常に扱いやすいものとなっている。ここで各成分は有限のであることに注意されたい。ガウス＝クズミン定数は、行列の左上の *n* × *n* の部分を数値的に対角化することによって、容易に高精度で計算することが出来る。この作用素を対角化する閉形式表現は知られていない。すなわち、固有値あるいは固有ベクトルに対する閉形式表現は知られていないということである。

## リーマンゼータ
リーマンゼータは次のように書くことが出来る。

:\zeta(s)=\frac{s}{s-1}-s \sum_{n=0}^\infty (-1)^n {s-1 \choose n} t_n

ここで t_n は上述の行列成分によって与えられる。すなわち

:t_n=\sum_{m=0}^\infty \frac{G_{mn}} {(m+1)(m+2)} 

である。直和を計算することで、次が得られる。

:t_n=1-\gamma + \sum_{k=1}^n (-1)^k {n \choose k} \left[ \frac{1}{k} - \frac {\zeta(k+1)} {k+1} \right]

ここで \gamma はオイラー＝マスケローニの定数である。このような t_n は下降階乗（falling factorial）展開に対して、スティルチェス定数と同様の役割を果たす。今

:a_n=t_n - \frac{1}{2(n+1)}

とすれば、*a*0 = &minus;0.0772156... や *a*1 = &minus;0.00474863... のような値が得られる。これらの値は急速に小さくなるが、振動的である。これらの値のいくつかの陽的な和は計算することが出来る。それらは、スターリング数を係数とする多項式に下降階乗を表現し直し、解くことによって、スティルチェス定数に陽的な形で関連付けることが出来る。より一般に、リーマンゼータは多項式のシェファー列に関する展開として表現し直すことが出来る。

このようなリーマンゼータの展開は  で調べられている。その係数は次のような形をもって、減少である。

:\left(\frac{2n}{\pi}\right)^{1/4}e^{-\sqrt{4\pi n}}
\cos\left(\sqrt{4\pi n}-\frac{5\pi}{8}\right) +
\mathcal{O} \left(\frac{e^{-\sqrt{4\pi n}}}{n^{1/4}}\right).

## 注釈


## 一般的な参考文献
* A. Ya. Khinchin, *Continued Fractions*, 1935, English translation University of Chicago Press,  1961  *(See section 15).*
* K. I. Babenko, *On a Problem of Gauss*, Soviet Mathematical Doklady **19**:136–140 (1978) MR 57 #12436
* K. I. Babenko and S. P. Jur'ev, *On the Discretization of a Problem of Gauss*, Soviet Mathematical Doklady **19**:731–735 (1978). MR 81h:65015
* A. Durner,  *On a Theorem of Gauss–Kuzmin–Lévy.* Arch. Math. **58**, 251–256, (1992). MR 93c:11056
* A. J. MacLeod, *High-Accuracy Numerical Values of the Gauss–Kuzmin Continued Fraction Problem.* Computers Math. Appl. **26**, 37–44, (1993).
* E. Wirsing, *On the Theorem of Gauss–Kuzmin–Lévy and a Frobenius-Type Theorem for Function Spaces.* Acta Arith. **24**, 507–528, (1974). MR 49 #2637

## 発展的な参考文献
* Giedrius Alkauskas, *[https://arxiv.org/pdf/1210.4083v3 Transfer operator for the Gauss' continued fraction map. I. Structure of the eigenvalues and trace formulas]* (2013).
* Keith Briggs, *[http://keithbriggs.info/documents/wirsing.pdf A precise computation of the Gauss–Kuzmin–Wirsing constant]* (2003) *(Contains a very  extensive collection of references.)*
* Phillipe Flajolet and Brigitte Vallée, *[http://pauillac.inria.fr/algo/flajolet/Publications/gauss-kuzmin.ps On the Gauss–Kuzmin–Wirsing Constant]* (1995).
* Linas Vepstas  The Bernoulli Operator, the Gauss–Kuzmin–Wirsing Operator, and the Riemann Zeta (2004) (PDF)

## 外部リンク
* 
*