实二次数域的Kronecker极限公式的应用

设奇素数p≡1(mod4),εp为实二次数域K=Q(p)的基本单位并且K的类数为1.计算K的一种HeckL-函数的Kronecker极限公式并由此得到了关于正则子Imεp的一个有趣的恒等式