数学において、古典的なは、デデキントのエータ函数によって実解析的アイゼンシュタイン級数（もしくは、エプシュタインのゼータ函数）の での定数項を記述する。命名はレオポルト・クロネッカーにちなんでいる。クロネッカーの極限公式には、より込み入ったアイゼンシュタイン級数へ多くの一般化がある。またGoldsteinによって任意の代数体に一般化されている。
クロネッカーの第一極限公式 クロネッカーの第一極限公式は、
である。ここに、 は、 に対して で与えられ、解析接続によって他の複素数 に対しても与えられる。 はオイラー・マスケローニ定数である。 で とする。 として はデデキントのエータ函数である。
従って、アイゼンシュタイン級数は で留数 の極を持ち、クロネッカーの第一極限公式は、この極でのローラン級数の定数項を与える。
クロネッカーの第二極限公式 クロネッカーの第二極限公式は、
である。ここに、 と は実数で、ともに整数であることはない。 かつ かつ に対し で、他の複素数 に対しては解析接続によって定義される。
応用
クロネッカーの極限公式を使って虚二次体 のヘッケ 函数の での値を計算することができる。
簡単のため、 を のイデアル類群の自明でない指標として、これに対するヘッケ 函数 の場合を考える。この 函数は、定義より次のように部分 函数の和に分解できる。
ここで は のイデアル類（イデアル類群の元）をすべて渡り、 は で定義される部分 函数である。今イデアル類 に含まれるイデアル を一つ固定する。 に含まれる任意のイデアル
に
をかけると単項イデアルになるので、 となる
の元
が単数倍を除き一意に定まる。逆に
の元
があると
となる
に属するイデアル
が定まるので、 を に含まれる単数（有限個）の個数とすると、 のイデアルと
のゼロではない元の間に1対 の対応が定まる。 の元 は、 の一つの底を とすると整数 を用いて
と表せる。底は、必要であれば順序を変えて、 と置いたとき
となるように取っておく。また
を の判別式とする。以上のことを使って部分 函数を変形すると
と表せることがわかる。こうして出てきた に第一極限公式を適用し を計算する。 の項は が非自明であることにより だから消える。定数項のうち、オイラー・マスケローニ定数の項や の項も同様の理由で消える。よって定数項には
の項だけが残るので、 と置くと（これは類 のみから定まる）、 の での値は
と表せることがわかる。
これと類数公式をあわせることで虚二次体のヒルベルト類体の類数を計算することができる。また第二極限公式を使うことでの場合にも同様の計算を行うことができる。虚二次体のアーベル拡大に対する類数公式を得るためにクロネッカーの極限公式を使うことは1910年にFueterによってなされていた。
脚注
注釈
出典
参考文献
関連項目
(Herglotz–Zagier function)