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

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

数学の分野におけるガウス=クズミン=ヴィルズィング作用素(ガウス=クズミン=ヴィルズィングさようそ、: Gauss–Kuzmin–Wirsing operator)とは、カール・ガウスロディオン・クズミン英語版およびエデュアルト・ヴィルズィングの名にちなむ、連分数の研究に現れるある作用素のことを言う。リーマンゼータ関数とも関連している。

導入[編集]

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

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 < x < 1 の連分数表現とすれば、そのガウス写像は

h(x)=[0;a_2,a_3,\dots] \,

となる。その他の固有値は数値的に計算することが出来る。次の固有値は λ1 = −0.3036630029... オンライン整数列大辞典の数列 A038517 で、その絶対値はガウス=クズミン=ヴィルズィング定数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 = 0 における性質が良くないため、この展開は x = 1 において行われている。したがって 1-x についての展開を扱う上で、正の 0 ≤ x ≤ 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)}

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

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

\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).

注釈[編集]

  1. ^ A. Yu. Eremin, I. E. Kaporin, and M. K. Kerimov, "The calculation of the Riemann zeta-function in the complex domain", U.S.S.R. Comput. Math. and Math. Phys. 25 (1985), no. 2, 111–119
  2. ^ A. Yu. Yeremin, I. E. Kaporin, and M. K. Kerimov, "Computation of the derivatives of the Riemann zeta-function in the complex domain", U.S.S.R. Comput. Math. and Math. Phys. 28 (1988), no. 4, 115–124
  3. ^ Luis Báez-Duarte, "A New Necessary and Sufficient Condition for the Riemann Hypothesis" (2003) ArXiv math.NT/0307215
  4. ^ Luis Báez-Duarte, "A sequential Riesz-like criterion for the Riemann hypothesis", Internation Journal of Mathematics and Mathematical Sciences, 21, pp. 3527–3537 (2005)
  5. ^ Philippe Flajolet and Linas Vepstas, "On differences of zeta values", J. Comput. Appl. Math. 220, No. 1-2, 58-73 (2008).

一般的な参考文献[編集]

  • A. Ya. Khinchin, Continued Fractions, 1935, English translation University of Chicago Press, 1961 ISBN 0-486-69630-8 (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

発展的な参考文献[編集]

外部リンク[編集]