<p>For a fixed <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(z\in \mathbb {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>z</mi> <mo>∈</mo> <mi mathvariant="double-struck">C</mi> </mrow> </math></EquationSource> </InlineEquation> and a fixed <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(k\in \mathbb {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation>, let <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\sigma _{z}^{(k)}(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>σ</mi> <mrow> <mi>z</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denote the sum of <i>z</i>-th powers of those divisors <i>d</i> of <i>n</i> whose <i>k</i>-th powers also divide <i>n</i>. This arithmetic function is a simultaneous generalization of the well-known divisor function <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\sigma _z(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>σ</mi> <mi>z</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> as well as the divisor function <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(d^{(k)}(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>d</mi> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> first studied by Wigert. The Dirichlet series of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\sigma _{z}^{(k)}(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>σ</mi> <mrow> <mi>z</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> does not fall under the purview of Chandrasekharan and Narasimhan’s fundamental work on Hecke’s functional equation with multiple gamma factors. Nevertheless, as we show here, an explicit and elegant Voronoï summation formula exists for this function. As its corollaries, some transformations of Wigert are generalized. The kernel <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(H_{z}^{(k)}(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <mrow> <mi>z</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of the associated integral transform is a new generalization of the Bessel kernel. Several properties of this kernel such as its differential equation, asymptotic behavior and its special values are derived. A crucial relation between <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(H_{z}^{(k)}(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <mrow> <mi>z</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and an associated integral <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(K_{z}^{(k)}(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>K</mi> <mrow> <mi>z</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is obtained, the proof of which is deep, and employs the theory of linear differential equations and the properties of Stirling numbers of the second kind and elementary symmetric polynomials.</p>

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

Voronoï summation formula for the generalized divisor function \(\sigma _{z}^{(k)}(n)\)

  • Atul Dixit,
  • Bibekananda Maji,
  • Akshaa Vatwani

摘要

For a fixed \(z\in \mathbb {C}\) z C and a fixed \(k\in \mathbb {N}\) k N , let \(\sigma _{z}^{(k)}(n)\) σ z ( k ) ( n ) denote the sum of z-th powers of those divisors d of n whose k-th powers also divide n. This arithmetic function is a simultaneous generalization of the well-known divisor function \(\sigma _z(n)\) σ z ( n ) as well as the divisor function \(d^{(k)}(n)\) d ( k ) ( n ) first studied by Wigert. The Dirichlet series of \(\sigma _{z}^{(k)}(n)\) σ z ( k ) ( n ) does not fall under the purview of Chandrasekharan and Narasimhan’s fundamental work on Hecke’s functional equation with multiple gamma factors. Nevertheless, as we show here, an explicit and elegant Voronoï summation formula exists for this function. As its corollaries, some transformations of Wigert are generalized. The kernel \(H_{z}^{(k)}(x)\) H z ( k ) ( x ) of the associated integral transform is a new generalization of the Bessel kernel. Several properties of this kernel such as its differential equation, asymptotic behavior and its special values are derived. A crucial relation between \(H_{z}^{(k)}(x)\) H z ( k ) ( x ) and an associated integral \(K_{z}^{(k)}(x)\) K z ( k ) ( x ) is obtained, the proof of which is deep, and employs the theory of linear differential equations and the properties of Stirling numbers of the second kind and elementary symmetric polynomials.