Higher Hickerson formula
详细信息 查看全文
- 作者：Jungyun Lee<sup>asup><sup> ; sup><sup>1sup><sup> ; sup><sup>lee9311@ewha.ac.kr" class="auth_mail" title="E-mail the corresponding authorsup> ; Byungheup Jun<sup>bsup><sup> ; sup><sup>2sup><sup> ; sup><sup>bhjun@unist.ac.kr" class="auth_mail" title="E-mail the corresponding authorsup> ; Hi-joon Chae<sup>csup><sup> ; sup><sup>3sup><sup> ; sup><sup>hchae@hongik.ac.kr" class="auth_mail" title="E-mail the corresponding authorsup>
- 关键词：Generalized Dedekind sums ; Siegel's formula ; Meyer's formula ; Partial zeta function ; Real quadratic fields
- 刊名：Journal of Number Theory
- 出版年：2017
- 出版时间：January 2017
- 年：2017
- 卷：170
- 期：Complete
- 页码：191-210
- 全文大小：385 K
文摘
In <span id="bbr0110">[11]span>, Hickerson made an explicit formula for Dedekind sums <span id="mmlsi1" class="mathmlsrc"><span class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022314X16301548&_mathId=si1.gif&_user=111111111&_pii=S0022314X16301548&_rdoc=1&_issn=0022314X&md5=a793f7facdb680f1d93c110e62574a92" title="Click to view the MathML source">s(p,q)span><span class="mathContainer hidden"><span class="mathCode">span>span>span> in terms of the continued fraction of <span id="mmlsi2" class="mathmlsrc"><span class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022314X16301548&_mathId=si2.gif&_user=111111111&_pii=S0022314X16301548&_rdoc=1&_issn=0022314X&md5=c754417fa40160ef3561c82ad5e61478" title="Click to view the MathML source">p/qspan><span class="mathContainer hidden"><span class="mathCode">span>span>span>. We develop analogous formula for generalized Dedekind sums <span id="mmlsi3" class="mathmlsrc"><span class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022314X16301548&_mathId=si3.gif&_user=111111111&_pii=S0022314X16301548&_rdoc=1&_issn=0022314X&md5=50921a92e992d9bcb46d77112310dc01" title="Click to view the MathML source">s<sub>i,jsub>(p,q)span><span class="mathContainer hidden"><span class="mathCode">span>span>span> defined in association with the <span id="mmlsi4" class="mathmlsrc"><span class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022314X16301548&_mathId=si4.gif&_user=111111111&_pii=S0022314X16301548&_rdoc=1&_issn=0022314X&md5=6d8bba80a3ff6f6fa5cbf0fd6f7131e9" title="Click to view the MathML source">x<sup>isup>y<sup>jsup>span><span class="mathContainer hidden"><span class="mathCode">span>span>span>-coefficient of the Todd power series of the lattice cone in <span id="mmlsi5" class="mathmlsrc"><span class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022314X16301548&_mathId=si5.gif&_user=111111111&_pii=S0022314X16301548&_rdoc=1&_issn=0022314X&md5=a6e0cd47c5e9badb8a166515fc840d6b" title="Click to view the MathML source">R<sup>2sup>span><span class="mathContainer hidden"><span class="mathCode">span>span>span> generated by <span id="mmlsi6" class="mathmlsrc"><span class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022314X16301548&_mathId=si6.gif&_user=111111111&_pii=S0022314X16301548&_rdoc=1&_issn=0022314X&md5=92f11dee46d081ca88d5b5d14cd7c151" title="Click to view the MathML source">(1,0)span><span class="mathContainer hidden"><span class="mathCode">span>span>span> and <span id="mmlsi7" class="mathmlsrc"><span class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022314X16301548&_mathId=si7.gif&_user=111111111&_pii=S0022314X16301548&_rdoc=1&_issn=0022314X&md5=3481483978028da6fd62d31f9d298748" title="Click to view the MathML source">(p,q)span><span class="mathContainer hidden"><span class="mathCode">span>span>span>. The formula generalizes Hickerson's original one and reduces to Hickerson's for <span id="mmlsi8" class="mathmlsrc"><span class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022314X16301548&_mathId=si8.gif&_user=111111111&_pii=S0022314X16301548&_rdoc=1&_issn=0022314X&md5=956405bad31eb5d3a361ec5075979e01" title="Click to view the MathML source">i=j=1span><span class="mathContainer hidden"><span class="mathCode">span>span>span>. In the formula, generalized Dedekind sums are divided into two parts: the integral <span id="mmlsi9" class="mathmlsrc">w the MathML source" class="mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022314X16301548&_mathId=si9.gif&_user=111111111&_pii=S0022314X16301548&_rdoc=1&_issn=0022314X&md5=099c6f0e102a6cedc9ffbf32a46641bb">![]()
ss="imgLazyJSB inlineImage" height="21" width="55" alt="View the MathML source" title="View the MathML source" src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0022314X16301548-si9.gif">script>![]()
style="vertical-align:bottom" width="55" alt="View the MathML source" title="View the MathML source" src="http://origin-ars.els-cdn.com/content/image/1-s2.0-S0022314X16301548-si9.gif"> script><span class="mathContainer hidden"><span class="mathCode">span>span>span> and the fractional <span id="mmlsi10" class="mathmlsrc">w the MathML source" class="mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022314X16301548&_mathId=si10.gif&_user=111111111&_pii=S0022314X16301548&_rdoc=1&_issn=0022314X&md5=d90ac1223f8bb67d181b25c20727c386">![]()
ss="imgLazyJSB inlineImage" height="21" width="55" alt="View the MathML source" title="View the MathML source" src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0022314X16301548-si10.gif">script>![]()
style="vertical-align:bottom" width="55" alt="View the MathML source" title="View the MathML source" src="http://origin-ars.els-cdn.com/content/image/1-s2.0-S0022314X16301548-si10.gif"> script><span class="mathContainer hidden"><span class="mathCode">span>span>span>. We apply the formula to Siegel's formula for partial zeta values at a negative integer and obtain a new expression which involves only <span id="mmlsi9" class="mathmlsrc">w the MathML source" class="mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022314X16301548&_mathId=si9.gif&_user=111111111&_pii=S0022314X16301548&_rdoc=1&_issn=0022314X&md5=099c6f0e102a6cedc9ffbf32a46641bb">![]()
ss="imgLazyJSB inlineImage" height="21" width="55" alt="View the MathML source" title="View the MathML source" src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0022314X16301548-si9.gif">script>![]()
style="vertical-align:bottom" width="55" alt="View the MathML source" title="View the MathML source" src="http://origin-ars.els-cdn.com/content/image/1-s2.0-S0022314X16301548-si9.gif"> script><span class="mathContainer hidden"><span class="mathCode">span>span>span> the integral part of generalized Dedekind sums. This formula directly generalizes Meyer's formula for the special value at 0. Using our formula, we present the table of the partial zeta value at <span id="mmlsi11" class="mathmlsrc"><span class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022314X16301548&_mathId=si11.gif&_user=111111111&_pii=S0022314X16301548&_rdoc=1&_issn=0022314X&md5=689ff79aa1b80b4bb5d1d0ad78b952b6" title="Click to view the MathML source">s=−1span><span class="mathContainer hidden"><span class="mathCode">span>span>span> and −2 in more explicit form. Finally, we present another application on the equidistribution property of the fractional parts of the graph <span id="mmlsi12" class="mathmlsrc">w the MathML source" class="mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022314X16301548&_mathId=si12.gif&_user=111111111&_pii=S0022314X16301548&_rdoc=1&_issn=0022314X&md5=02df000922d3a943c32a4fa5535f840f">![]()
ss="imgLazyJSB inlineImage" height="29" width="167" alt="View the MathML source" title="View the MathML source" src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0022314X16301548-si12.gif">script>![]()
style="vertical-align:bottom" width="167" alt="View the MathML source" title="View the MathML source" src="http://origin-ars.els-cdn.com/content/image/1-s2.0-S0022314X16301548-si12.gif"> script><span class="mathContainer hidden"><span class="mathCode">span>span>span> for a certain integer <span id="mmlsi13" class="mathmlsrc"><span class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022314X16301548&_mathId=si13.gif&_user=111111111&_pii=S0022314X16301548&_rdoc=1&_issn=0022314X&md5=285c25c2919bc817ce00b24b2077146a" title="Click to view the MathML source">R<sub>i+jsub>span><span class="mathContainer hidden"><span class="mathCode">span>span>span> depending on <span id="mmlsi14" class="mathmlsrc"><span class="formulatext stixSupport mathImg" data-mathURL="/science?_ob=MathURL&_method=retrieve&_eid=1-s2.0-S0022314X16301548&_mathId=si14.gif&_user=111111111&_pii=S0022314X16301548&_rdoc=1&_issn=0022314X&md5=feebb1991c9eb9545515f1bc4b33537f" title="Click to view the MathML source">i+jspan><span class="mathContainer hidden"><span class="mathCode">span>span>span>.