| この項目「 バーンズのG関数」は翻訳されたばかりのものです。不自然あるいは曖昧な表現などが含まれる可能性があり、このままでは読みづらいかもしれません。(原文: 英語版 "Barnes G-function" 13:19, 28 October 2015)
修正、加筆に協力し、現在の表現をより自然な表現にして下さる方を求めています。 ノートページや 履歴も参照してください。 (2015年11月) |
数学において、バーンズの G-関数(バーンズのGかんすう、英: Barnes G-function)G(z) は、スーパー階乗を複素数にまで拡張した特殊関数 である。これはガンマ関数、K関数、グレイシャーの定数に関連するものであり、数学者であるエルンスト・ウィリアム・バーンズ(英語版)にちなみ名付けられた[1]。 これは(初等函数を掛ける違いを除いて)二重ガンマ関数の特殊な場合である。
正式には、バーンズの G-関数は以下のワイエルシュトラスの乗積表示
![{\displaystyle G(1+z)=(2\pi )^{z/2}{\text{exp}}\left(-{\frac {z+z^{2}(1+\gamma )}{2}}\right)\,\prod _{k=1}^{\infty }\left\{\left(1+{\frac {z}{k}}\right)^{k}{\text{exp}}\left({\frac {z^{2}}{2k}}-z\right)\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54b47c5cda984ad7a750f52c15438737fe200355)
の形で定義される。ここで γ はオイラーの定数であり、exp(x) = ex は指数関数である。また、∏ は総乗の Π-記法である。
函数等式および整数引数に対する挙動[編集]
バーンズの G-関数は、正規化条件 G(1) = 1 のもと以下の函数等式
![{\displaystyle G(z+1)=\Gamma (z)\,G(z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5f6a788b185002508896ec997d4f92770256b6e)
を満たす。このバーンズ函数の満たす函数等式とガンマ函数の満たす函数等式
![{\displaystyle \Gamma (z+1)=z\,\Gamma (z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8226f5dd6ee55fc11fdc588a5232a8390eaa73d0)
との類似性に注目せよ。この函数等式を用いることにより、バーンズ G が整数引数に対して以下の通り
![{\displaystyle G(n)={\begin{cases}0&{\text{if }}n=0,-1,-2,\dots \\\prod _{i=0}^{n-2}i!&{\text{if }}n=1,2,3\dots \end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d286e28a273dc9313198f2524e88a09f6f3eae4a)
を値とすることが導かれる(特に、G(1) = G(2) = 1 が従う。またこれにより、
![{\displaystyle G(n)={\frac {(\Gamma (n))^{n-1}}{K(n)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9263c8438bc4e8f64d974b8205a7342ed85ffc0d)
がわかる。ただし Γ(x) はガンマ関数を、K はK関数を表す。上記の函数等式は、凸条件 d3/dx3G(x) ≥ 0 を追加すれば、一意にバーンズ G-函数を定義する[2]。
反射公式[編集]
バーンズの G-関数に対する差分方程式は、ガンマ関数の函数等式と合わせて、バーンズの G-関数の反射公式(英語版)(相反公式)
![{\displaystyle \log G(1-z)=\log G(1+z)-z\log 2\pi +\int _{0}^{z}\pi x\cot \pi x\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34c9a6e4fef0da8ba6f97af4752ba9c952c75aaa)
(1)
を得るのに用いることができる(もともとはヘルマン・キンケリン(英語版)によって証明された)。右辺に現れる対数正接積分は(二次の)クラウセン関数(英語版)を用いると、
![{\displaystyle 2\pi \log \left({\frac {G(1-z)}{G(1+z)}}\right)=2\pi z\log \left({\frac {\sin \pi z}{\pi }}\right)+\operatorname {Cl} _{2}(2\pi z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91f1df9d1db987186b7e44d57d7739c25818fdba)
と評価することができる。この結果の証明は、対数余接積分 Lc(z) の以下のような評価と dlog(sin πx)⁄dx = π⋅cot πx なる事実によるものである。部分積分により
![{\displaystyle {\begin{aligned}Lc(z)&=\int _{0}^{z}\pi x\cot \pi x\,dx\\&=z\log(\sin \pi z)-\int _{0}^{z}\log(\sin \pi x)\,dx\\&=z\log(\sin \pi z)-\int _{0}^{z}\left[\log(2\sin \pi x)-\log 2\right]\,dx\\&=z\log(2\sin \pi z)-\int _{0}^{z}\log(2\sin \pi x)\,dx\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b2e8278f33a57343d9ad0e683e988445d09205c1)
から、積分変数の置換
により
![{\displaystyle z\log(2\sin \pi z)-{\frac {1}{2\pi }}\int _{0}^{2\pi z}\log \left(2\sin \pi {\frac {y}{2}}\right)\,dy}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c93b061a465d436fcffa390904a239e49fd4885d)
を得る。二次のクラウセン関数は積分表示
![{\displaystyle \operatorname {Cl} _{2}(\theta )=-\int _{0}^{\theta }\log \left|2\sin {\frac {x}{2}}\right|\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/437479fb11777aa54bc3265d8de35d088c42ef10)
を持つが、0 < θ < 2π なる区間では(積分内の「半正弦函数」の値域は真に正値であるから)被積分函数の絶対値は取り除けて、しかも真に非零である。この定義と、上記の対数正接積分に関する結果とを比較すれば、明らかに
![{\displaystyle Lc(z)=z\log(2\sin \pi z)+{\frac {1}{2\pi }}\,{\text{Cl}}_{2}(2\pi z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d377ff1d53bee99c94f616f5026a6e6c78c1454b)
なる関係式が成り立つ。最後に項を並べ替えて、
![{\displaystyle 2\pi \log \left({\frac {G(1-z)}{G(1+z)}}\right)=2\pi z\log \left({\frac {\sin \pi z}{\pi }}\right)+{\text{Cl}}_{2}(2\pi z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e4c43b8ed5e7cb227cc984d554abd73d296a017)
とすれば証明は完了する[3]。□
なる関係を使い、反射公式を
で割れば、
![{\displaystyle \log \left({\frac {G(1-z)}{G(z)}}\right)=z\log \left({\frac {\sin \pi z}{\pi }}\right)+\log \Gamma (z)+{\frac {1}{2\pi }}{\text{Cl}}_{2}(2\pi z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abbd6a1000907b731087766e413b5ecf5c830317)
もわかる。
反射式 (1) と同等の式に、ベルヌーイ多項式を用いた式
![{\displaystyle \log \left({\frac {G\left({\frac {1}{2}}+z\right)}{G\left({\frac {1}{2}}-z\right)}}\right)=\log \Gamma \left({\frac {1}{2}}-z\right)+B_{1}(z)\log 2\pi -{\frac {1}{2}}\log 2+\pi \int _{0}^{z}B_{1}(x)\tan \pi x\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4e6eccb3b3e463be097701b8ab8df408bdcb6b7)
(2)
がある。zを(1/2) − z''に置き換えるとこの式は上に等しい。
テイラー展開[編集]
テイラーの定理とバーンズのG関数の対数微分により以下の級数展開が分かる。
![{\displaystyle \log G(1+z)={\frac {z}{2}}\log 2\pi -\left({\frac {z+(1+\gamma )z^{2}}{2}}\right)+\sum _{k=2}^{\infty }(-1)^{k}{\frac {\zeta (k)}{k+1}}z^{k+1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6189e9fac38f58eb945c1a7d08ddb5ca66a9519)
これは
において有効であり、ここで
はリーマンゼータ関数
![{\displaystyle \zeta (x)=\sum _{k=1}^{\infty }{\frac {1}{k^{x}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a31f95f10c62abed1ab3f7496ea86964af0ed870)
である。級数の両辺を指数関数に代入すると、
![{\displaystyle {\begin{aligned}G(1+z)&=\exp \left[{\frac {z}{2}}\log 2\pi -\left({\frac {z+(1+\gamma )z^{2}}{2}}\right)+\sum _{k=2}^{\infty }(-1)^{k}{\frac {\zeta (k)}{k+1}}z^{k+1}\right]\\&=(2\pi )^{z/2}\exp \left[-{\frac {z+(1+\gamma )z^{2}}{2}}\right]\exp \left[\sum _{k=2}^{\infty }(-1)^{k}{\frac {\zeta (k)}{k+1}}z^{k+1}\right]\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a491f0546b387e8ae68951ca4f7e95dd7413cfb)
となる。ここからワイエルシュトラスの乗積表示の形との比較に関し以下が得られる。
![{\displaystyle \exp \left[\sum _{k=2}^{\infty }(-1)^{k}{\frac {\zeta (k)}{k+1}}z^{k+1}\right]=\prod _{k=1}^{\infty }\left\{\left(1+{\frac {z}{k}}\right)^{k}{\text{exp}}\left({\frac {z^{2}}{2k}}-z\right)\right\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2468183bec7ffb73d75e7f6e180d2bf969f8dcc3)
倍元公式[編集]
ガンマ関数と同様にバーンズのG関数は引数の整数倍に関して以下の公式を有する。
![{\displaystyle G(nz)=K(n)n^{n^{2}z^{2}/2-nz}(2\pi )^{-{\frac {n^{2}-n}{2}}z}\prod _{i=0}^{n-1}\prod _{j=0}^{n-1}G\left(z+{\frac {i+j}{n}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbcf36621af2c0ea55106feeec3355757c609d18)
ここで
は以下で与えられる。
![{\displaystyle K(n)=e^{-(n^{2}-1)\zeta ^{\prime }(-1)}\cdot n^{\frac {5}{12}}\cdot (2\pi )^{(n-1)/2}\,=\,(Ae^{-{\frac {1}{12}}})^{n^{2}-1}\cdot n^{\frac {5}{12}}\cdot (2\pi )^{(n-1)/2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a16b7b4a859173c3480ea7fdaefd752bab2b2512)
ここで
はリーマンゼータ関数の導関数、
はグレイシャーの定数である。
漸近展開[編集]
バーンズの示した通り、G(z + 1)の対数は
![{\displaystyle {\begin{aligned}\log G(z+1)&={\frac {1}{12}}-\log A+{\frac {z}{2}}\log 2\pi +\left({\frac {z^{2}}{2}}-{\frac {1}{12}}\right)\log z\\&\quad -{\frac {3z^{2}}{4}}+\sum _{k=1}^{N}{\frac {B_{2k+2}}{4k\left(k+1\right)z^{2k}}}~+~O\left({\frac {1}{z^{2N+2}}}\right)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b69ee3ac873fad4efc942dc78ae4e69215a4fcf)
と漸近展開される。
ここで
はベルヌーイ数であり、
はグレイシャーの定数である。(バーンズの時代には少し紛らわしいことにベルヌイ数
が
と書かれることもあった[4]が、現在ではそのような規約は用いられないことに注意)。この漸近展開は |z| が大きいとき、負の実軸を含まない任意の扇形に属する z に対して成り立つ。
対数ガンマ積分との関係[編集]
対数ガンマの媒介変数表示はバーンズ G-函数を用いて
![{\displaystyle \int _{0}^{z}\log \Gamma (x)\,dx={\frac {z(1-z)}{2}}+{\frac {z}{2}}\log 2\pi +z\log \Gamma (z)-\log G(1+z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4751db89c7c0913208f0f179034680afaf79a7d9)
と評価することができる[5]。
その証明は少々間接的である。まずはガンマ函数と G-函数との対数差分
![{\displaystyle z\log \Gamma (z)-\log G(1+z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02958db63a8a77ccd235d69e37e579e561df7e2a)
を調べる。ここで、
![{\displaystyle {\frac {1}{\Gamma (z)}}=ze^{\gamma z}\prod _{k=1}^{\infty }\left\{\left(1+{\frac {z}{k}}\right)e^{-z/k}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34a15b7bcee89729133c871832e85bd8c483c443)
であり、γ はオイラーの定数である。
バーンズ函数とガンマ函数に関してヴァイヤストラスの乗積形の対数をとることで
![{\displaystyle {\begin{aligned}&z\log \Gamma (z)-\log G(1+z)=-z\log \left({\frac {1}{\Gamma (z)}}\right)-\log G(1+z)\\=&-z\left[\log z+\gamma z+\sum _{k=1}^{\infty }{\Bigg \{}\log \left(1+{\frac {z}{k}}\right)-{\frac {z}{k}}{\Bigg \}}\right]\\&\qquad -\left[{\frac {z}{2}}\log 2\pi -{\frac {z}{2}}-{\frac {z^{2}}{2}}-{\frac {z^{2}\gamma }{2}}+\sum _{k=1}^{\infty }{\Bigg \{}k\log \left(1+{\frac {z}{k}}\right)+{\frac {z^{2}}{2k}}-z{\Bigg \}}\right]\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a452182273028822f3bce477bfa9351fa063a099)
となり、少し整理して項を並べ替えれば級数展開
![{\displaystyle {\begin{aligned}&\sum _{k=1}^{\infty }{\Bigg \{}(k+z)\log \left(1+{\frac {z}{k}}\right)-{\frac {z^{2}}{2k}}-z{\Bigg \}}\\&\qquad =-z\log z-{\frac {z}{2}}\log 2\pi +{\frac {z}{2}}+{\frac {z^{2}}{2}}-{\frac {z^{2}\gamma }{2}}-z\log \Gamma (z)+\log G(1+z)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d283864fe9d91bce886c7f26091a350e6cf3a2b)
を得る。最後に、対数ガンマ函数のヴァイヤストラス乗積形をとって区間 [0,z] 上積分すれば
![{\displaystyle {\begin{aligned}\int _{0}^{z}\log \Gamma (x)\,dx&=-\int _{0}^{z}\log \left({\frac {1}{\Gamma (x)}}\right)\,dx\\&=-(z\log z-z)-{\frac {z^{2}\gamma }{2}}-\sum _{k=1}^{\infty }{\Bigg \{}(k+z)\log \left(1+{\frac {z}{k}}\right)-{\frac {z^{2}}{2k}}-z{\Bigg \}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3846d05b5ec1d93b8df835f43bd4920e65f7dec2)
となる。二つの評価を等しいと置いて
![{\displaystyle \int _{0}^{z}\log \Gamma (x)\,dx={\frac {z(1-z)}{2}}+{\frac {z}{2}}\log 2\pi +z\log \Gamma (z)-\log G(1+z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4751db89c7c0913208f0f179034680afaf79a7d9)
の証明は完成する。□
- ^ Barnes, E.W. (1900), “The theory of the G-function”, Quarterly Journ. Pure and Appl. Math. 31: 264–314 .
- ^ Vignéras, M. F. (1979), L'équation fonctionelle de la fonction zêta de Selberg du groupe mudulaire SL(2,Z), Astérisque, 61, pp. 235–249
- ^ なお、Adamchikは別の形で証明を行っている。
- ^ Whittaker, E. T.; Watson, G.N. (1927). A course of modern analysis (4 ed.). Cambridge University Press .
- ^ この結果はAdamchikによって示されているが証明は書かれていない。
参考文献[編集]
- Askey, R.A.; Roy, R. (2010), “Barnes G-function”, in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F. et al., NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0521192255, http://dlmf.nist.gov/5.17
- Adamchik, Viktor S.. “Contributions to the Theory of the Barnes function”. 2013年12月10日閲覧。
- https://math-functions-1.watson.jp/sub1_spec_010.html
関連項目[編集]