<p>Cohen-Ramanujan sum, denoted by <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_874_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(c_r^s(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>c</mi> <mi>r</mi> <mi>s</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, is an exponential sum similar to the Ramanujan sum <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_874_Article_IEq2.gif" Format="GIF" Height="72" Rendition="HTML" Resolution="72" Type="Linedraw" Width="181" /> </InlineMediaObject> <EquationSource Format="TEX">\(c_r(n):=\sum \limits _{\begin{array}{c} h=1\\ {(h,r)=1} \end{array}}^{r}e^{\frac{2\pi i n h}{r}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>c</mi> <mi>r</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <munderover> <mo movablelimits="false">∑</mo> <mrow> <mrow> <mtable> <mtr> <mtd> <mrow> <mi>h</mi> <mo>=</mo> <mn>1</mn> </mrow> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mrow> <mo stretchy="false">(</mo> <mi>h</mi> <mo>,</mo> <mi>r</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> </mrow> <mi>r</mi> </munderover> <msup> <mi>e</mi> <mfrac> <mrow> <mn>2</mn> <mi>π</mi> <mi>i</mi> <mi>n</mi> <mi>h</mi> </mrow> <mi>r</mi> </mfrac> </msup> </mrow> </math></EquationSource> </InlineEquation>. An arithmetical function <i>f</i> is said to admit a Cohen-Ramanujan expansion <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_874_Article_IEq3.gif" Format="GIF" Height="34" Rendition="HTML" Resolution="72" Type="Linedraw" Width="148" /> </InlineMediaObject> <EquationSource Format="TEX">\( f(n):=\sum \limits _{r}\widehat{f}(r)c_r^s(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <munder> <mo movablelimits="false">∑</mo> <mi>r</mi> </munder> <mover accent="true"> <mi>f</mi> <mo stretchy="true">^</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>r</mi> <mo stretchy="false">)</mo> </mrow> <msubsup> <mi>c</mi> <mi>r</mi> <mi>s</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> if the series on the right-hand side converges for suitable complex numbers <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_874_Article_IEq4.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\widehat{f}(r)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi>f</mi> <mo stretchy="true">^</mo> </mover> <mrow> <mo stretchy="false">(</mo> <mi>r</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Given two arithmetical functions <i>f</i> and <i>g</i> with absolutely convergent Cohen-Ramanujan expansions, we derive an asymptotic formula for the sum <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_874_Article_IEq5.gif" Format="GIF" Height="40" Rendition="HTML" Resolution="72" Type="Linedraw" Width="151" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum \limits _{\begin{array}{c} n\le N \end{array}}f(n)g(n+h)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <munder> <mo movablelimits="false">∑</mo> <mrow> <mtable> <mtr> <mtd> <mrow> <mi>n</mi> <mo>≤</mo> <mi>N</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </munder> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mi>g</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mi>h</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> where <i>h</i> is a nonnegative integer. We further show that a Cohen-Ramanujan expansion for <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_874_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="129" /> </InlineMediaObject> <EquationSource Format="TEX">\(f_h(n):=f(n+h)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>f</mi> <mi>h</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mi>h</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> exists whenever such an expansion exists for <i>f</i>.</p>

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

Some asymptotic formulae involving Cohen-Ramanujan expansions

  • Arya Chandran,
  • K. Vishnu Namboothiri

摘要

Cohen-Ramanujan sum, denoted by \(c_r^s(n)\) c r s ( n ) , is an exponential sum similar to the Ramanujan sum \(c_r(n):=\sum \limits _{\begin{array}{c} h=1\\ {(h,r)=1} \end{array}}^{r}e^{\frac{2\pi i n h}{r}}\) c r ( n ) : = h = 1 ( h , r ) = 1 r e 2 π i n h r . An arithmetical function f is said to admit a Cohen-Ramanujan expansion \( f(n):=\sum \limits _{r}\widehat{f}(r)c_r^s(n)\) f ( n ) : = r f ^ ( r ) c r s ( n ) if the series on the right-hand side converges for suitable complex numbers \(\widehat{f}(r)\) f ^ ( r ) . Given two arithmetical functions f and g with absolutely convergent Cohen-Ramanujan expansions, we derive an asymptotic formula for the sum \(\sum \limits _{\begin{array}{c} n\le N \end{array}}f(n)g(n+h)\) n N f ( n ) g ( n + h ) where h is a nonnegative integer. We further show that a Cohen-Ramanujan expansion for \(f_h(n):=f(n+h)\) f h ( n ) : = f ( n + h ) exists whenever such an expansion exists for f.