クロネッカーの第一極限公式
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/18 09:58 UTC 版)
「クロネッカーの極限公式」の記事における「クロネッカーの第一極限公式」の解説
クロネッカーの第一極限公式は、 E ( τ , s ) = π s − 1 + 2 π ( γ − log ( 2 ) − log ( y | η ( τ ) | 2 ) ) + O ( s − 1 ) {\displaystyle E(\tau ,s)={\pi \over s-1}+2\pi (\gamma -\log(2)-\log({\sqrt {y}}|\eta (\tau )|^{2}))+O(s-1)} である。ここに、 E(τ,s) は、Re(s) > 1 に対して E ( τ , s ) = ∑ ( m , n ) ≠ ( 0 , 0 ) y s | m τ + n | 2 s {\displaystyle E(\tau ,s)=\sum _{(m,n)\neq (0,0)}{y^{s} \over |m\tau +n|^{2s}}} で与えられ、解析接続によって他の複素数 s に対しても与えられる。 γ はオイラー・マスケローニ定数である。 τ = x + iy で y > 0 とする。 q = e 2 π i τ {\displaystyle q=e^{2\pi i\tau }} として η ( τ ) = q 1 / 24 ∏ n ≥ 1 ( 1 − q n ) {\displaystyle \eta (\tau )=q^{1/24}\prod _{n\geq 1}(1-q^{n})} はデデキントのエータ函数である。 従って、アイゼンシュタイン級数は s = 1 で留数 π の極を持ち、クロネッカーの第一極限公式は、この極でのローラン級数の定数項を与える。
※この「クロネッカーの第一極限公式」の解説は、「クロネッカーの極限公式」の解説の一部です。
「クロネッカーの第一極限公式」を含む「クロネッカーの極限公式」の記事については、「クロネッカーの極限公式」の概要を参照ください。
- クロネッカーの第一極限公式のページへのリンク
