多重ガンマ関数のソースを表示

[[数学]]における'''多重ガンマ関数'''（たじゅうガンマかんすう、{{lang-en-short|multiple gamma function}}）<math>\Gamma_N</math> はオイラーの[[ガンマ関数]]と[[バーンズのG函数]]の一般化である。二重ガンマ関数は {{harvtxt|Barnes|1901}} において導入された。同論文の締めくくりにおいて多重ガンマ関数の存在性が示唆され、実際に {{harvtxt|Barnes|1904}} においてさらなる研究が行われた。

二重ガンマ関数 <math>\Gamma_2</math> は{{仮リンク|q-ガンマ関数|label=''q''-ガンマ関数|en|q-gamma function}}と、三重ガンマ関数 <math>\Gamma_3</math> は{{仮リンク|楕円ガンマ関数|en|elliptic gamma function}}とそれぞれ密接な関係がある。

== 定義 ==
<math>\Re a_i>0</math> において、
:<math>\Gamma_N(w|a_1,...,a_N) = \exp\left(\left.\frac{\partial}{\partial s}\zeta_N(s,w|a_1,...,a_N)\right|_{s=0}\right)</math>
として多重ガンマ関数を定める。ここで <math>\zeta_N</math> は[[バーンズのゼータ函数]]である(バーンズによるオリジナルの定義からは定数倍のズレが有る)。

== 性質 ==
<math>w</math> の有理型関数として見たとき、 <math>\Gamma_N(w|a_1,...,a_N)</math> は零点を持たず、 <math> w= -\sum_{i=1}^N n_ia_i </math> に一位の極を持つ(ここで <math>n_i</math> は非負整数)。exp(多項式)という因子を除いて、<math>\Gamma_N(w|a_1,...,a_N)</math> はこれら有限位数の零点と極を持つ唯一の有理型関数である。

N=0,1 での例を挙げる:

*<math>\Gamma_0(w|) = \frac{1}{w}\ ,</math>
*<math>\Gamma_1(w|a) = \frac{a^{a^{-1}w-\frac12}}{\sqrt{2\pi}} \Gamma\left(a^{-1}w\right)\ , </math>

以下は多重ガンマ関数の周期性と呼ばれる性質であり、通常のガンマ関数における関係式 Γ(x+1)=xΓ(x) の一般化であるといえる。

*<math>\Gamma_N(w|a_1,...,a_N)=\Gamma_{N-1}(w|a_1,...,a_{N-1})\Gamma_N(w+a_N|a_1,...,a_N)\ .</math>

== 無限積表示 ==
多重ガンマ関数はヴァイエルシュトラス型の無限積表示を持ち、有理型関数である様子がはっきりと見て取れる。また、この表示からは極のありかも一目瞭然である。 二重ガンマ関数の場合は以下のようになる: <ref>{{Cite journal|last=Spreafico|first=Mauro|date=2009|title=On the Barnes double zeta and Gamma functions|journal=Journal of Number Theory|volume=129|issue=9|pages=2035–2063|doi=10.1016/j.jnt.2009.03.005}}</ref>
:<math>
\Gamma_2(w|a_1,a_2) = \frac{e^{\lambda_1w +\lambda_2 w^2}}{w} \prod_{\begin{array}{c} (n_1,n_2)\in\mathbb{N}^2\\ (n_1,n_2)\neq (0,0)\end{array}} \frac{e^{\frac{w}{n_1a_1+n_2a_2}- \frac12 \frac{w^2}{(n_1a_1+n_2a_2)^2}}}{1+\frac{w}{n_1a_1+n_2a_2}}\ ,
</math>
ここで、<math>\lambda_1, \lambda_2</math> は <math>w</math> と独立な係数
:<math>
\lambda_1 = -\mathop{\operatorname{Res}_0}_{s=1}\zeta_2(s,0|a_1,a_2)\ ,
</math>
:<math>
\lambda_2 = \frac12\mathop{\operatorname{Res}_0}_{s=2}\zeta_2(s,0|a_1,a_2) + \frac12 \mathop{\operatorname{Res}_1}_{s=2}\zeta_2(s,0|a_1,a_2)\ ,
</math>
であり、 <math>\mathop{\operatorname{Res}_n}_{s=s_0} f(s) = \frac{1}{2\pi i}\oint_{s_0} (s-s_0)^{n-1} f(s) ds</math> は <math>s_0</math> における位数 <math>n</math> の留数である。

また、上記のものとは別に新谷型と呼ばれる無限積表示も {{harvtxt|Katayama|Ohtsuki|1998}} において発見されている。

==漸近表示==
通常のガンマ関数における[[スターリングの公式]]の類似として、多重ガンマ関数にも漸近表示が存在する:
:<math>\log\Gamma_r(w+a,{\boldsymbol{\omega}})=\sum_{n=0}^r \frac{(-1)^n{}_rS_1^{(r-n+1)}(a;{\boldsymbol{\omega}})(-w)^{r-n}}{(r-n)!}(H_{r-n}-\log w)-\frac{(-1)^r{}_rS_2(a;{\boldsymbol{\omega}})}{2w}+O(w^{-2}).</math>
この表示は {{harvtxt|Katayama|Ohtsuki|1998}} において示された。

==一般正規多重ガンマ関数==
多重ガンマ関数の定義は所謂[[ゼータ函数正規化]]の発想によるものである。[[ミルナーの深い正規積]]を用いて多重ガンマ関数を一般化したものを一般正規多重ガンマ関数という:
:<math>\Gamma_{N,k}(w|a_1,...,a_N) = \exp\left(\left.\frac{\partial}{\partial s}\zeta_N(s,w|a_1,...,a_N)\right|_{s=-k}\right)</math>

一般正規多重ガンマ関数に対しては、オイラー=ルジャンドルの倍角公式および[[ラーベの公式]]の一般化が発見されている。

== 二重ガンマ関数と共形場理論 ==
<math>\Re b>0</math>,<math> Q=b+b^{-1}</math> において、函数 
:<math> \Gamma_b(w) = \frac{\Gamma_2(w|b,b^{-1})}{\Gamma_2\left(\frac{Q}{2}|b,b^{-1}\right)}\ , </math>
は変換 <math> b\to b^{-1} </math> のもとで不変であり、関係式
:<math> \Gamma_b(w+b) = \sqrt{2\pi}\frac{b^{bw-\frac12}}{\Gamma(bw)}\Gamma_b(w)\quad , \quad \Gamma_b(w+b^{-1}) = \sqrt{2\pi}\frac{b^{-b^{-1}w+\frac12}}{\Gamma(b^{-1}w)} \Gamma_b(w)\ . </math>
を満たす。また、<math>\Re w>0</math> において積分表示
:<math>\log\Gamma_b(w) = \int_0^\infty\frac{dt}{t}\left[\frac{e^{-wt}-e^{-\frac{Q}{2}t}}{(1-e^{-bt})(1-e^{-b^{-1}t})} -\frac{\left(\frac{Q}{2}-w\right)^2}{2}e^{-t} -\frac{\frac{Q}{2}-w}{t}\right]\ . </math>
を満たす。<math>\Gamma_b(w)</math> から二つの関数を構成する:
:<math> S_b(w) =\frac{\Gamma_b(w)}{\Gamma_b(Q-w)} \quad , \quad \Upsilon_b(w)=\frac{1}{\Gamma_b(w)\Gamma_b(Q-w)}\ . </math>
これは関係式
:<math> S_b(w+b) = 2\sin(\pi bw)S_b(w) \quad , \quad \Upsilon_b(w+b)=\frac{\Gamma(bw)}{\Gamma(1-bw)} b^{1-2bw}\Upsilon_b(w) \ , </math>
とこれらを <math>b\to b^{-1}</math> とした別の関係式を満たす。また、<math>0<\Re w<\Re Q</math> における積分表示も存在する:
:<math> \log S_b(w) = \int_0^\infty\frac{dt}{t}\left[
\frac{ \sinh\left(\frac{Q}{2}-w\right)t}{2\sinh\left(\frac12 bt\right)\sinh\left(\frac12 b^{-1}t\right)}-\frac{Q-2w}{t}\right]\ ,</math>
:<math> \log \Upsilon_b(w) = \int_0^\infty\frac{dt}{t}\left[\left(\frac{Q}{2}-w\right)^2e^{-t} -\frac{\sinh^2\frac12\left(\frac{Q}{2}-w\right)t}{\sinh\left(\frac12 bt\right)\sinh\left(\frac12 b^{-1}t\right)}\right]\ . </math>
函数 <math> \Gamma_b,S_b,\Upsilon_b</math> は[[二次元共形場理論]]の相関関数にあらわれ、パラメータ <math>b</math> は[[ヴィラソロ代数]]の[[中心電荷]]と関係している<ref>{{Citation | last1=Ponsot | first1=B. |title=Recent progress on Liouville Field Theory | arxiv=hep-th/0301193|bibcode=2003PhDT.......180P}}</ref>。とくに、[[リウヴィル場理論]] における3点相関関数は <math>\Upsilon_b</math> で書ける。

== 脚注 ==
{{Reflist}}

== 参考文献 ==
* {{Citation|title=The Theory of the Double Gamma Function|year=1901|last=Barnes|last1=Barnes|first1=E. W.|first=E. W.|jstor=90809|JSTOR=90809|journal=Philosophical Transactions of the Royal Society of London. Series A, Containing Papers of a Mathematical or Physical Character|work=Philosophical Transactions of the Royal Society of London. Series A, Containing Papers of a Mathematical or Physical Character|volume=196|pages=265–387|publisher=The Royal Society|bibcode=1901RSPTA.196..265B|doi=10.1098/rsta.1901.0006|DOI=10.1098/rsta.1901.0006|issn=0264-3952|ISSN=0264-3952}}
* {{Citation|title=On the theory of the multiple gamma function|year=1904|last=Barnes|first=E. W.|journal=Trans. Camb. Philos. Soc.|work=Trans. Camb. Philos. Soc.|volume=19|pages=374–425|url=https://archive.org/details/transactions19camb/page/374/mode/2up}}
* {{Citation|title=On The Multiple Gamma Function|year=1998|last=Katayama|last1=Katayama|last2=Ohtsuki|first1=Koji|first=Koji|first2=Makoto|journal=Tokyo Journal of Mathematics|work=Tokyo Journal of Mathematics|volume=21|issue=1|pages=159-182 |doi=10.3836/tjm/1270041994}}

== 関連文献 ==

* {{Citation|title=The Genesis of the Double Gamma Functions|year=1899|last=Barnes|first=E. W.|journal=Proc. London Math. Soc.|work=Proc. London Math. Soc.|volume=s1-31|pages=358&ndash;381|doi=10.1112/plms/s1-31.1.358|DOI=10.1112/plms/s1-31.1.358}}
* {{Citation|title=The Theory of the Double Gamma Function. [Abstract]|year=1899|last=Barnes|last1=Barnes|first1=E. W.|first=E. W.|jstor=116064|JSTOR=116064|journal=Proceedings of the Royal Society of London|work=Proceedings of the Royal Society of London|volume=66|pages=265–268|publisher=The Royal Society|doi=10.1098/rspl.1899.0101|DOI=10.1098/rspl.1899.0101|issn=0370-1662|ISSN=0370-1662}}
* {{Citation|title=Shintani&ndash;Barnes zeta and gamma functions|year=2004|last=Friedman|last1=Friedman|last2=Ruijsenaars|first1=Eduardo|first=Eduardo|first2=Simon|journal=Advances in Mathematics|work=Advances in Mathematics|volume=187|issue=2|pages=362–395|doi=10.1016/j.aim.2003.07.020|DOI=10.1016/j.aim.2003.07.020|issn=0001-8708|ISSN=0001-8708|mr=2078341|MR=2078341}}
* {{Citation|title=On Barnes' multiple zeta and gamma functions|year=2000|last=Ruijsenaars|last1=Ruijsenaars|first1=S. N. M.|first=S. N. M.|journal=Advances in Mathematics|work=Advances in Mathematics|volume=156|issue=1|pages=107–132|doi=10.1006/aima.2000.1946|DOI=10.1006/aima.2000.1946|issn=0001-8708|ISSN=0001-8708|mr=1800255|MR=1800255}}
{{デフォルトソート:たしゆうかんまかんすう}}
[[Category:特殊関数]]
[[Category:数学に関する記事]]