<p>In the first paper under this title (1977), the first author utilized a duality identity between the largest and smallest prime factors involving the Moebius function, to establish the following result as a consequence of the prime number theorem for arithmetic progressions: If <i>k</i> and <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation> are positive integers, with <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(1\le \ell \le k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>ℓ</mi> <mo>≤</mo> <mi>k</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\((\ell , k)=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>ℓ</mi> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, then <Equation ID="Equ139"> <EquationSource Format="TEX">\(\begin{aligned} \sum _{n\ge 2,\, p_1(n)\equiv \ell (mod\,k)}\frac{\mu (n)}{n}=\frac{-1}{\phi (k)}, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <munder> <mo>∑</mo> <mrow> <mi>n</mi> <mo>≥</mo> <mn>2</mn> <mo>,</mo> <mspace width="0.166667em" /> <msub> <mi>p</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>≡</mo> <mi>ℓ</mi> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mi>o</mi> <mi>d</mi> <mspace width="0.166667em" /> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </munder> <mfrac> <mrow> <mi>μ</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mi>n</mi> </mfrac> <mo>=</mo> <mfrac> <mrow> <mo>-</mo> <mn>1</mn> </mrow> <mrow> <mi>ϕ</mi> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </mfrac> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mu (n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>μ</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is the Moebius function, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(p_1(n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>p</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is the smallest prime factor of <i>n</i>, and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\phi (k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϕ</mi> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is the Euler function. Here we utilize the next level Duality identity between the second largest prime factor and the smallest prime factor, involving the Moebius function and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\omega (n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, the number of distinct prime factors of <i>n</i>, to establish the following result as a consequence of the prime number theorem for arithmetic progressions: For all <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation> and <i>k</i> as above, <Equation ID="Equ140"> <EquationSource Format="TEX">\(\begin{aligned} \sum _{n\ge 2, \, p_1(n)\equiv \ell (mod\,k)}\frac{\mu (n)\omega (n)}{n}=0. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <munder> <mo>∑</mo> <mrow> <mi>n</mi> <mo>≥</mo> <mn>2</mn> <mo>,</mo> <mspace width="0.166667em" /> <msub> <mi>p</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>≡</mo> <mi>ℓ</mi> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mi>o</mi> <mi>d</mi> <mspace width="0.166667em" /> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </munder> <mfrac> <mrow> <mi>μ</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> <mi>ω</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mi>n</mi> </mfrac> <mo>=</mo> <mn>0</mn> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>A quantitative version of this result is proved.</p>

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

Duality between prime factors and the prime number theorem for arithmetic progressions—II

  • Krishnaswami Alladi,
  • Jason Johnson

摘要

In the first paper under this title (1977), the first author utilized a duality identity between the largest and smallest prime factors involving the Moebius function, to establish the following result as a consequence of the prime number theorem for arithmetic progressions: If k and \(\ell \) are positive integers, with \(1\le \ell \le k\) 1 k and \((\ell , k)=1\) ( , k ) = 1 , then \(\begin{aligned} \sum _{n\ge 2,\, p_1(n)\equiv \ell (mod\,k)}\frac{\mu (n)}{n}=\frac{-1}{\phi (k)}, \end{aligned}\) n 2 , p 1 ( n ) ( m o d k ) μ ( n ) n = - 1 ϕ ( k ) , where \(\mu (n)\) μ ( n ) is the Moebius function, \(p_1(n)\) p 1 ( n ) is the smallest prime factor of n, and \(\phi (k)\) ϕ ( k ) is the Euler function. Here we utilize the next level Duality identity between the second largest prime factor and the smallest prime factor, involving the Moebius function and \(\omega (n)\) ω ( n ) , the number of distinct prime factors of n, to establish the following result as a consequence of the prime number theorem for arithmetic progressions: For all \(\ell \) and k as above, \(\begin{aligned} \sum _{n\ge 2, \, p_1(n)\equiv \ell (mod\,k)}\frac{\mu (n)\omega (n)}{n}=0. \end{aligned}\) n 2 , p 1 ( n ) ( m o d k ) μ ( n ) ω ( n ) n = 0 . A quantitative version of this result is proved.