<p>As a far generalization of the Dedekind sum with the product of periodic Bernoulli polynomials, Mikolás introduced the Dedekind type sum <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10587_2025_7724_Article_IEq1.gif" Format="GIF" Height="29" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\(\cal{M}_c^{a,b}(w,z)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msubsup> <mrow> <mi mathvariant="script">M</mi> </mrow> <mi>c</mi> <mrow> <mi>a</mi> <mo>,</mo> <mi>b</mi> </mrow> </msubsup> <mo stretchy="false">(</mo> <mi>w</mi> <mo>,</mo> <mi>z</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> with the product of the Hurwitz zeta-functions <i>ζ</i>(<i>s</i>, <i>x</i>), 0 &lt; <i>x</i> ⩽ 1. We adopt the motivation suggested by Mikolás that the Dedekind sum is a generalized inner product in the second variable. The Hurwitz zeta-function has a simple pole at <i>s</i> = 1 and cannot assume the value <i>x</i> = 0 while its counterpart, the Lerch zeta-function <i>ℓ</i><sub><i>s</i></sub>(<i>x</i>) = <i>ℓ</i>(<i>s</i>, <i>x</i>), is more tractable and we study the Dedekind type sum <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10587_2025_7724_Article_IEq2.gif" Format="GIF" Height="29" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\(\cal{L}_c^{a,b}(w,z)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msubsup> <mrow> <mi mathvariant="script">L</mi> </mrow> <mi>c</mi> <mrow> <mi>a</mi> <mo>,</mo> <mi>b</mi> </mrow> </msubsup> <mo stretchy="false">(</mo> <mi>w</mi> <mo>,</mo> <mi>z</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> with the product of the Lerch zeta-functions. We establish a striking identity between these Dedekind type sums to the effect that <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10587_2025_7724_Article_IEq1.gif" Format="GIF" Height="29" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\(\cal{M}_c^{a,b}(w,z)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msubsup> <mrow> <mi mathvariant="script">M</mi> </mrow> <mi>c</mi> <mrow> <mi>a</mi> <mo>,</mo> <mi>b</mi> </mrow> </msubsup> <mo stretchy="false">(</mo> <mi>w</mi> <mo>,</mo> <mi>z</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> with a correction term is a constant multiple of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10587_2025_7724_Article_IEq2.gif" Format="GIF" Height="29" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\(\cal{L}_c^{a,b}(w,z)\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msubsup> <mrow> <mi mathvariant="script">L</mi> </mrow> <mi>c</mi> <mrow> <mi>a</mi> <mo>,</mo> <mi>b</mi> </mrow> </msubsup> <mo stretchy="false">(</mo> <mi>w</mi> <mo>,</mo> <mi>z</mi> <mo stretchy="false">)</mo> </math></EquationSource> </InlineEquation> – the base change formula. This implies a new expression for the ordinary Dedekind sum in terms of the one with Apostol’s generalized Bernoulli polynomial. In another direction, by letting the second variables vary independently with first variables fixed as <i>s.s</i> + 1, we may elucidate the Hecke correspondence in the previous derivations of the general eta transformation formula. We can also establish many interesting properties of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10587_2025_7724_Article_IEq5.gif" Format="GIF" Height="29" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\(\cal{L}_c^{a,b}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msubsup> <mrow> <mi mathvariant="script">L</mi> </mrow> <mi>c</mi> <mrow> <mi>a</mi> <mo>,</mo> <mi>b</mi> </mrow> </msubsup> </math></EquationSource> </InlineEquation> which supplement those of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10587_2025_7724_Article_IEq6.gif" Format="GIF" Height="29" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(\cal{M}_c^{a,b}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msubsup> <mrow> <mi mathvariant="script">M</mi> </mrow> <mi>c</mi> <mrow> <mi>a</mi> <mo>,</mo> <mi>b</mi> </mrow> </msubsup> </math></EquationSource> </InlineEquation>. Moreover, we show that <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10587_2025_7724_Article_IEq7.gif" Format="GIF" Height="29" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\cal{L}_c^{1,b}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <msubsup> <mrow> <mi mathvariant="script">L</mi> </mrow> <mi>c</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>b</mi> </mrow> </msubsup> </math></EquationSource> </InlineEquation> also appears in the pseudo-transformation formula for non-modular functions.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On general Dedekind sums

  • Nianliang Wang,
  • Shigeru Kanemitsu,
  • Yoshio Tanigawa

摘要

As a far generalization of the Dedekind sum with the product of periodic Bernoulli polynomials, Mikolás introduced the Dedekind type sum \(\cal{M}_c^{a,b}(w,z)\) M c a , b ( w , z ) with the product of the Hurwitz zeta-functions ζ(s, x), 0 < x ⩽ 1. We adopt the motivation suggested by Mikolás that the Dedekind sum is a generalized inner product in the second variable. The Hurwitz zeta-function has a simple pole at s = 1 and cannot assume the value x = 0 while its counterpart, the Lerch zeta-function s(x) = (s, x), is more tractable and we study the Dedekind type sum \(\cal{L}_c^{a,b}(w,z)\) L c a , b ( w , z ) with the product of the Lerch zeta-functions. We establish a striking identity between these Dedekind type sums to the effect that \(\cal{M}_c^{a,b}(w,z)\) M c a , b ( w , z ) with a correction term is a constant multiple of \(\cal{L}_c^{a,b}(w,z)\) L c a , b ( w , z ) – the base change formula. This implies a new expression for the ordinary Dedekind sum in terms of the one with Apostol’s generalized Bernoulli polynomial. In another direction, by letting the second variables vary independently with first variables fixed as s.s + 1, we may elucidate the Hecke correspondence in the previous derivations of the general eta transformation formula. We can also establish many interesting properties of \(\cal{L}_c^{a,b}\) L c a , b which supplement those of \(\cal{M}_c^{a,b}\) M c a , b . Moreover, we show that \(\cal{L}_c^{1,b}\) L c 1 , b also appears in the pseudo-transformation formula for non-modular functions.