乗法定理

テンプレート:About 数学におけるガンマ函数関連の特殊函数の乗法定理（じょうほうていり、テンプレート:Lang-en-short）は、それぞれの函数が持つある種の恒等式を言う。特にガンマ函数の場合、明示的に値の積に関する等式が与えられるのでこの名がある。これら様々な関係式の根底には同じ原理が横たわっている。つまり一つの特殊函数に対する関係式は他の特殊函数の関係式から導き出すことがでるということであり、またそれは単に同じ等式の別の顔が現れたものと言うことである。

有限標数の場合

この乗法定理は大きく二つに分けられ、そのひとつは有限項の和または積によって関係式が与えられる。いまひとつは、無限項の和または積に関するものである。この有限型の関係式は、典型的にはガンマ函数とその関連の函数に対してのみ生じる、有限体上の [[p進数|テンプレート:Mvar-進]]関係式から従う等式である。例えばガンマ函数の乗法定理は虚数乗法論からくるチョウラ–セルバーグの公式から従う。無限型の関係式はもっと広く知られる超幾何級数に関する標数零の関係式から生じる。

以下、正標数の場合の乗法公式を挙げ、さらにその下に標数 テンプレート:Math の場合を挙げる。また、以下では テンプレート:Mvar は非負整数とする。テンプレート:Math のとき、しばしば倍元公式あるいは倍数公式 (duplication formula) とも呼ばれる。

ガンマ函数・ルジャンドル函数

倍数公式および乗法定理はガンマ函数に対するものが原型的な例である。ガンマ函数の倍数公式は $$\mathrm{\Gamma }(z)\cdot \mathrm{\Gamma }(z+\frac{1}{2})=2^{1-2z}\sqrt{\pi }\mathrm{\Gamma }(2z)$$ で与えられ、アドリアン゠マリ・ルジャンドルに因んでルジャンドル倍数公式やルジャンドル関係式と呼ばれる。一般の乗法定理は、自然数 テンプレート:Mvar に対して $$\mathrm{\Gamma }(z)\mathrm{\Gamma }(z+\frac{1}{k})\mathrm{\Gamma }(z+\frac{2}{k})\cdots \mathrm{\Gamma }(z+\frac{k-1}{k})=(2\pi {)}^{\frac{k-1}{2}}{k}^{1/2-kz}\mathrm{\Gamma }(kz)$$ で与えられ、カール・フリードリヒ・ガウスに因んでガウスの乗法公式と呼ばれる。ガンマ函数に対するこの乗法定理は、チョウラ–セルバーグの公式の自明指標に対する特別の場合として理解することができる。

ポリガンマ函数・調和数

ポリガンマ函数はガンマ函数の対数微分であり、したがって乗法定理も乗法的でなく加法的に書かれることになる。

テンプレート:Math に対して $$k^m{\psi }^{(m-1)}(kz)=\sum _{n=0}^{k-1}{\psi }^{(m-1)}(z+n/k)$$ および テンプレート:Math のとき、つまりディガンマ函数に対して $$k[\psi (kz)-\log (k)]=\sum _{n=0}^{k-1}\psi (z+n/k)$$ で与えられる。

このポリガンマの等式は調和数の乗法定理を得るのに用いることができる。

フルヴィッツゼータ函数

フルヴィッツゼータ函数はポリガンマ函数を非整数階に一般化するものであるから、したがってポリガンマと同様の乗法定理 $$k^s\zeta (s)=\sum _{n=1}^k\zeta (s,n/k)$$ を満足する（テンプレート:Math はリーマンゼータ函数）。これは $$k^s\zeta (s,kz)=\sum _{n=0}^{k-1}\zeta (s,z+n/k)$$ および $$\zeta (s,kz)=\sum _{n=0}^{\mathrm{\infty }}(\genfrac{}{}{0ex}{}{s+n-1}{n})(1-k{)}^n{z}^n\zeta (s+n,z)$$ の特別の場合になっている。

非主指標に対する乗法公式はディリクレL函数の形で与えることができる。

周期ゼータ函数

周期ゼータ函数 (periodic zeta function) は $$F(s;q)=\sum _{m=1}^{\mathrm{\infty }}\frac{e^{2\pi imq}}{m^s}={\mathrm{Li}}_s(e^{2\pi iq})$$ と定義される。ここに テンプレート:Math はポリ対数函数である。倍数公式は $$2^{-s}F(s;q)=F(s,\frac{q}{2})+F(s,\frac{q+1}{2})$$ で与えられる。要するにこれはベルヌイ作用素の固有値 テンプレート:Math に属する固有ベクトルである。乗法定理は $$k^{-s}F(s;kq)=\sum _{n=0}^{k-1}F(s,q+n/k)$$ と書ける。

周期ゼータ函数はフルヴィッツゼータ函数の反射公式において生じ、そのような理由から、この函数が従う関係式とフルビッツゼータの関係式は テンプレート:Math と置きかえる分だけの違いである。

ベルヌイ多項式は周期ゼータ函数の テンプレート:Mvar を整数に近づける極限として得られるから、ベルヌイ多項式の乗法定理も上記の関係式から導くことができる。同様に テンプレート:Math と置けば、ポリ対数函数に対する乗法定理から導ける。

ポリ対数函数

ポリ対数函数の倍数公式は $$2^{1-s}{\mathrm{Li}}_s(z^2)={\mathrm{Li}}_s(z)+{\mathrm{Li}}_s(-z)$$ の形になる。一般の乗法公式はガウス和あるいは離散フーリエ変換の形で $$k^{1-s}{\mathrm{Li}}_s(z^k)=\sum _{n=0}^{k-1}{\mathrm{Li}}_s(z{e}^{i2\pi n/k})$$ と与えられる。

これらの等式は周期ゼータ函数に対する等式から テンプレート:Math と置くことで得られる。

クンマーの函数

テンプレート:Ill2の倍数公式は $$2^{1-n}{\mathrm{\Lambda }}_n(-z^2)={\mathrm{\Lambda }}_n(z)+{\mathrm{\Lambda }}_n(-z)$$ である。これはポリ対数函数に対するものとよく似ているが、テンプレート:Mvar だけひねられている。

ベルヌイ多項式

ベルヌイ多項式に対する乗法定理はヨーゼフ・ルートヴィヒ・ラーベが1851年に与えた。$$k^{1-m}{B}_m(kx)=\sum _{n=0}^{k-1}{B}_m(x+n/k)$$ および、オイラー多項式に対して $$k^{-m}{E}_m(kx)=\sum _{n=0}^{k-1}(-1{)}^n{E}_m(x+n/k)(k=1,3,\dots )$$ または $$k^{-m}{E}_m(kx)=\frac{-2}{m+1}\sum _{n=0}^{k-1}(-1{)}^n{B}_{m+1}(x+n/k)(k=2,4,\dots )$$ となる。

ベルヌイ多項式はフルヴィッツゼータ函数の特別の場合として得られるから、これら等式もそれに関する等式から従う。

ベルヌイ写像

ベルヌイ写像は、コイントスの無限鎖（カントール集合）上のシフト作用素の効果を記述する、散逸力学系のある種単純なモデルである。ベルヌイ写像はパイこね変換に近い関連のある片側版である。ベルヌイ写像を テンプレート:Mvar 個の記号の無限鎖上に作用する テンプレート:Mvar-進版に一般化したものをテンプレート:Ill2と言う。ベルヌイスキーム上のシフト作用素に対応する転送作用素 ${ℒ}_k$ は $$[{ℒ}_{k}f](x)=\frac{1}{k}\sum _{n=0}^{k-1}f((x+n)/k)$$ で定義される。

ある意味当然のこととして、この作用素の固有ベクトルはベルヌイ多項式で与えられる。式で書けば $${ℒ}_k{B}_m=\frac{1}{k^m}{B}_m$$ である。固有値 テンプレート:Math であることが、これが散逸系であるという事実を示している。非散逸測度保存力学系に対しては転送作用素の固有値は単位円上にある。

任意のテンプレート:Ill2からこの乗法定理を満足する函数を構成することができる。テンプレート:Math を完全乗法的、すなわち任意の整数 テンプレート:Mvar に対して テンプレート:Math とするとき、そのフーリエ級数を $$g(x)=\sum _{n=1}^{\mathrm{\infty }}f(n)\exp (2\pi inx)$$ と定める。右辺の和は収束するものと仮定すれば テンプレート:Math は存在し、それ乗法定理 $$\frac{1}{k}\sum _{n=0}^{k-1}g((x+n)/k)=f(k)g(x)$$ に従う。つまり、テンプレート:Math はベルヌイ転送作用素の固有値 テンプレート:Math に属する固有函数である。ベルヌイ多項式に対する乗法定理は、乗法的函数を $$f(n)=n^{-s}$$ と取ったときの特別の場合である。

標数零の場合

テンプレート:Nowrapの体上の乗法定理は、有限項の和では閉じておらず、無限級数で表されることが必要となる。例えば、ベッセル函数 $J_{\nu }(z)$ に対して $${\lambda }^{-\nu }{J}_{\nu }(\lambda z)=\sum _{n=0}^{\mathrm{\infty }}\frac{1}{n!}{\left(\frac{(1-{\lambda }^2)z}{2}\right)}^n{J}_{\nu +n}(z)$$ と書ける。ここに テンプレート:Mvar は勝手な複素数にとれる。

このような標数 テンプレート:Math の等式は、一般には超幾何級数の満足する無数の恒等式の一つから得られる。

参考文献

• Milton Abramowitz and Irene A. Stegun, eds. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, (1972) Dover, New York. (Multiplication theorems are individually listed chapter by chapter)
• C. Truesdell, "On the Addition and Multiplication Theorems for the Special Functions", Proceedings of the National Academy of Sciences, Mathematics, (1950) pp. 752–757.

関連項目

• 加法定理
• 積の法則
• 積公式

外部リンク

• テンプレート:MathWorld
• テンプレート:MathWorld
• テンプレート:SpringerEOM
• テンプレート:ProofWiki