<p>We combine ideas used in approximation theory with classical estimates in analytic number theory to obtain refined asymptotic expansions of Dirichlet, Euler and Mertens’s type. A sample result: For every continuous function <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_868_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="96" /> </InlineMediaObject> <EquationSource Format="TEX">\(f: \left[ 0,1\right] \rightarrow \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>:</mo> <mfenced close="]" open="["> <mn>0</mn> <mo>,</mo> <mn>1</mn> </mfenced> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> twice differentiable at 1 we have <Equation ID="Equ1"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_868_Article_Equ1.gif" Format="GIF" Height="49" Rendition="HTML" Resolution="72" Type="Linedraw" Width="420" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \sum \limits _{i\le x}d\left( i\right) f\left( \frac{\ln i}{\ln x}\right) =f\left( 1\right) x\ln x+\left[ \left( 2\gamma -1\right) f\left( 1\right) -f^{\prime }\left( 1\right) \right] x \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <munder> <mo movablelimits="false">∑</mo> <mrow> <mi>i</mi> <mo>≤</mo> <mi>x</mi> </mrow> </munder> <mi>d</mi> <mfenced close=")" open="("> <mi>i</mi> </mfenced> <mi>f</mi> <mfenced close=")" open="("> <mfrac> <mrow> <mo>ln</mo> <mi>i</mi> </mrow> <mrow> <mo>ln</mo> <mi>x</mi> </mrow> </mfrac> </mfenced> <mo>=</mo> <mi>f</mi> <mfenced close=")" open="("> <mn>1</mn> </mfenced> <mi>x</mi> <mo>ln</mo> <mi>x</mi> <mo>+</mo> <mfenced close="]" open="["> <mfenced close=")" open="("> <mn>2</mn> <mi>γ</mi> <mo>-</mo> <mn>1</mn> </mfenced> <mi>f</mi> <mfenced close=")" open="("> <mn>1</mn> </mfenced> <mo>-</mo> <msup> <mi>f</mi> <mo>′</mo> </msup> <mfenced close=")" open="("> <mn>1</mn> </mfenced> </mfenced> <mi>x</mi> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation><Equation ID="Equ2"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_868_Article_Equ2.gif" Format="GIF" Height="38" Rendition="HTML" Resolution="72" Type="Linedraw" Width="279" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} +\frac{\left[ f^{\prime \prime }\left( 1\right) +2\left( 1-\gamma \right) f^{\prime }\left( 1\right) \right] x}{\ln x}+o\left( \frac{x}{\ln x}\right) \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mo>+</mo> <mfrac> <mrow> <mfenced close="]" open="["> <msup> <mi>f</mi> <mo>″</mo> </msup> <mfenced close=")" open="("> <mn>1</mn> </mfenced> <mo>+</mo> <mn>2</mn> <mfenced close=")" open="("> <mn>1</mn> <mo>-</mo> <mi>γ</mi> </mfenced> <msup> <mi>f</mi> <mo>′</mo> </msup> <mfenced close=")" open="("> <mn>1</mn> </mfenced> </mfenced> <mi>x</mi> </mrow> <mrow> <mo>ln</mo> <mi>x</mi> </mrow> </mfrac> <mo>+</mo> <mi>o</mi> <mfenced close=")" open="("> <mfrac> <mi>x</mi> <mrow> <mo>ln</mo> <mi>x</mi> </mrow> </mfrac> </mfenced> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <i>d</i> is the divisor function and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_868_Article_IEq2.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>γ</mi> </math></EquationSource> </InlineEquation> is the Euler constant.</p>

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

Refined asymptotic expansions of Dirichlet, Euler and Mertens type

  • Dumitru Popa

摘要

We combine ideas used in approximation theory with classical estimates in analytic number theory to obtain refined asymptotic expansions of Dirichlet, Euler and Mertens’s type. A sample result: For every continuous function \(f: \left[ 0,1\right] \rightarrow \mathbb {R}\) f : 0 , 1 R twice differentiable at 1 we have \(\begin{aligned} \sum \limits _{i\le x}d\left( i\right) f\left( \frac{\ln i}{\ln x}\right) =f\left( 1\right) x\ln x+\left[ \left( 2\gamma -1\right) f\left( 1\right) -f^{\prime }\left( 1\right) \right] x \end{aligned}\) i x d i f ln i ln x = f 1 x ln x + 2 γ - 1 f 1 - f 1 x \(\begin{aligned} +\frac{\left[ f^{\prime \prime }\left( 1\right) +2\left( 1-\gamma \right) f^{\prime }\left( 1\right) \right] x}{\ln x}+o\left( \frac{x}{\ln x}\right) \end{aligned}\) + f 1 + 2 1 - γ f 1 x ln x + o x ln x where d is the divisor function and \(\gamma \) γ is the Euler constant.