乗法定理

数学におけるガンマ函数関連の特殊函数の乗法定理（じょうほうていり、）は、それぞれの函数が持つある種の恒等式を言う。特にガンマ函数の場合、明示的に値の積に関する等式が与えられるのでこの名がある。これら様々な関係式の根底には同じ原理が横たわっている。つまり一つの特殊函数に対する関係式は他の特殊函数の関係式から導き出すことがでるということであり、またそれは単に同じ等式の別の顔が現れたものと言うことである。
有限標数の場合.
この乗法定理は大きく二つに分けられ、そのひとつは有限項の和または積によって関係式が与えられる。いまひとつは、無限項の和または積に関するものである。この有限型の関係式は、典型的にはガンマ函数とその関連の函数に対してのみ生じる、有限体上の -進関係式から従う等式である。例えばガンマ函数の乗法定理は虚数乗法論からくるチョウラ–セルバーグの公式から従う。無限型の関係式はもっと広く知られる超幾何級数に関する標数零の関係式から生じる。
以下、正標数の場合の乗法公式を挙げ、さらにその下に標数 の場合を挙げる。また、以下では は非負整数とする。 のとき、しばしば倍元公式あるいは倍数公式 ("duplication formula") とも呼ばれる。
ガンマ函数・ルジャンドル函数.
倍数公式および乗法定理はガンマ函数に対するものが原型的な例である。ガンマ函数の倍数公式は formula_1 で与えられ、アドリアン゠マリ・ルジャンドルに因んでルジャンドル倍数公式やルジャンドル関係式と呼ばれる。一般の乗法定理は、自然数 に対して formula_2 で与えられ、カール・フリードリヒ・ガウスに因んでガウスの乗法公式と呼ばれる。ガンマ函数に対するこの乗法定理は、チョウラ–セルバーグの公式の自明指標に対する特別の場合として理解することができる。
ポリガンマ函数・調和数.
ポリガンマ函数はガンマ函数の対数微分であり、したがって乗法定理も乗法的でなく加法的に書かれることになる。
 に対して formula_3 および のとき、つまりディガンマ函数に対して formula_4 で与えられる。
このポリガンマの等式は調和数の乗法定理を得るのに用いることができる。
フルヴィッツゼータ函数.
フルヴィッツゼータ函数はポリガンマ函数を非整数階に一般化するものであるから、したがってポリガンマと同様の乗法定理 formula_5 を満足する（ はリーマンゼータ函数）。これは formula_6 および formula_7 の特別の場合になっている。
非主指標に対する乗法公式はディリクレL函数の形で与えることができる。
周期ゼータ函数.
周期ゼータ函数 ("periodic zeta function") は formula_8 と定義される。ここに はポリ対数函数である。倍数公式は formula_9 で与えられる。要するにこれはベルヌイ作用素の固有値 に属する固有ベクトルである。乗法定理は formula_10 と書ける。
周期ゼータ函数はフルヴィッツゼータ函数の反射公式において生じ、そのような理由から、この函数が従う関係式とフルビッツゼータの関係式は と置きかえる分だけの違いである。
ベルヌイ多項式は周期ゼータ函数の を整数に近づける極限として得られるから、ベルヌイ多項式の乗法定理も上記の関係式から導くことができる。同様に と置けば、ポリ対数函数に対する乗法定理から導ける。
ポリ対数函数.
ポリ対数函数の倍数公式は formula_11 の形になる。一般の乗法公式はガウス和あるいは離散フーリエ変換の形で formula_12 と与えられる。
これらの等式は周期ゼータ函数に対する等式から と置くことで得られる。
クンマーの函数.
の倍数公式は formula_13 である。これはポリ対数函数に対するものとよく似ているが、 だけひねられている。
ベルヌイ多項式.
ベルヌイ多項式に対する乗法定理はヨーゼフ・ルートヴィヒ・ラーベが1851年に与えた。formula_14 および、オイラー多項式に対して formula_15 または formula_16 となる。
ベルヌイ多項式はフルヴィッツゼータ函数の特別の場合として得られるから、これら等式もそれに関する等式から従う。
ベルヌイ写像.
ベルヌイ写像は、コイントスの無限鎖（カントール集合）上のシフト作用素の効果を記述する、散逸力学系のある種単純なモデルである。ベルヌイ写像はパイこね変換に近い関連のある片側版である。ベルヌイ写像を 個の記号の無限鎖上に作用する -進版に一般化したものをと言う。ベルヌイスキーム上のシフト作用素に対応する転送作用素 formula_17 は formula_18 で定義される。
ある意味当然のこととして、この作用素の固有ベクトルはベルヌイ多項式で与えられる。式で書けば formula_19 である。固有値 であることが、これが散逸系であるという事実を示している。非散逸測度保存力学系に対しては転送作用素の固有値は単位円上にある。
任意のからこの乗法定理を満足する函数を構成することができる。 を完全乗法的、すなわち任意の整数 に対して とするとき、そのフーリエ級数を formula_20 と定める。右辺の和は収束するものと仮定すれば は存在し、それ乗法定理 formula_21 に従う。つまり、 はベルヌイ転送作用素の固有値 に属する固有函数である。ベルヌイ多項式に対する乗法定理は、乗法的函数を formula_22 と取ったときの特別の場合である。
標数零の場合.
の体上の乗法定理は、有限項の和では閉じておらず、無限級数で表されることが必要となる。例えば、ベッセル函数 formula_23 に対して formula_24 と書ける。ここに は勝手な複素数にとれる。
このような標数 の等式は、一般には超幾何級数の満足する無数の恒等式の一つから得られる。