zoukankan      html  css  js  c++  java
  • 几个积性函数的均值

    几个积性函数的均值

    Euler 示性函数 $varphi(n)=nprod_{pmid n} left(1-frac1{p} ight)$ 对应的 Dirichlet 级数为 [ sum_{n=1}^{infty} frac{varphi(n)}{n^s} = frac{zeta(s-1)}{zeta(s)}, quad (Re s>2), ] 交错级数对应的 Dirichlet 级数是 [ sum_{n=1}^{infty} (-1)^{n-1} frac{varphi(n)}{n^s} = frac{2^s-3}{2^s-1} cdot frac{zeta(s-1)}{zeta(s)} quad (Re s>2). ] $varphi$ 的最佳均值估计属于 Walfisz (1963) [1, p. 144] [ sum_{nleqslant x} varphi(n) = frac{3}{pi^2} x^2 + Oleft( x (log x)^{2/3} (log log x)^{4/3} ight). ] 易得 $varphi$ 的交错级数部分和 [ sum_{nleqslant x} (-1)^{n-1} varphi(n) = frac1{pi^2} x^2 + Oleft( x (log x)^{2/3} (log log x)^{4/3} ight). ] 1900 年 E. Landau [2] 证明了 $varphi$ 的倒数均值为 [ sum_{n leqslant x} frac{1}{varphi(n)} = frac{zeta(2) zeta(3)}{zeta(6)} left( log x + gamma - sum_p frac{log p}{p^2 - p + 1} ight) + O left( frac{log x}{x} ight). ] 2013 年 Bordellès 和 Cloitre [3, Corollary 4, (i)], 2017 年 László Tóth [4, Theorem 17] 分别证明了 $varphi$ 的倒数交错级数部分和公式: [ sum_{n leqslant x} frac{(-1)^n}{varphi(n)} = frac{zeta(2) zeta(3)}{3 zeta(6)} left( log x + gamma - sum_{p} frac{log p}{p^2-p+1} - frac{8 log 2}{3} ight) + O left( frac{(log x)^{5/3}}{x} ight). ] Dedekind 函数 $psi(n)=n prod_{pmid n} left(1+frac1{p} ight)$ 对应的 Dirichlet 级数是 [ sum_{n=1}^{infty} frac{psi(n)}{n^s} = frac{zeta(s)zeta(s-1)}{zeta(2s)} quad (Re s>2), ] 交错级数对应的 Dirichlet 级数是 [ sum_{n=1}^{infty} (-1)^{n-1} frac{psi(n)}{n^s} = frac{2^s-5}{2^s+1} cdot frac{zeta(s)zeta(s-1)}{zeta(2s)} quad (Re s>2). ] $psi$ 均值的余项最好的估计也属于 Walfisz [1, p. 100] [ sum_{nleqslant x} psi(n) = frac{15}{2pi^2} x^2 + Oleft( x (log x)^{2/3} ight). ] 同理可得 [ sum_{nleqslant x} (-1)^{n} psi(n) = frac{3}{2pi^2} x^2 + Oleft( x (log x)^{2/3} ight). ] 1979 年 Sita Ramaiah 和 Suryanarayana 研究了某些积性函数倒数的均值, 他们证明了 [5, Corollary 4.2] egin{align*} sum_{n leqslant x} frac1{psi(n)} = prod_{pin mathbb{P}} left(1-frac1{p(p+1)} ight) left(log x+gamma + sum_{pin mathbb{P}} frac{log p}{p^2+p-1} ight)  + O left( x^{-1} (log x)^{2/3} (log log x)^{4/3} ight). end{align*} Bordellès 和 Cloitre [3, Corollary 4, (iii)], László Tóth [4, Theorem 20] 分别研究了交错级数的情形: egin{align*} sum_{n leqslant x} frac{(-1)^n}{psi(n)} = - frac{1}{5} prod_p left( 1 - frac{1}{p(p+1)} ight) left( log x + gamma + sum_{p} frac{log p}{p^2+p-1} + frac{24 log 2}{5} ight) + O left( frac{(log x)^2}{x} ight). end{align*} 除数和函数 $sigma(n)=sum_{dmid n} d$ 的 Dirichlet 级数为 [ sum_{n=1}^{infty} frac{sigma(n)}{n^s} = zeta(s)zeta(s-1) quad (Re s>2), ] 交错级数的 Dirichlet 级数是 [sum_{n=1}^{infty} (-1)^{n-1} frac{sigma(n)}{n^s} = left(1-frac{6}{2^s}+frac{4}{2^{2s}} ight) zeta(s)zeta(s-1) quad (Re s>2). ] $sigma$ 均值的余项最佳估计仍属于 Walfisz [1, p. 99] [ sum_{nleqslant x} sigma(n) = frac{pi^2}{12} x^2 + Oleft( x (log x)^{2/3} ight). ] 作为推论, 有 [ sum_{nleqslant x} (-1)^{n} sigma(n) = frac{pi^2}{48} x^2 + Oleft( x (log x)^{2/3} ight). ] Sita Ramaiah 和 Suryanarayana 在文章 [5, Corollary 4.1] 中给出了 [ sum_{nleqslant x} frac1{sigma(n)} = E left(log x + gamma + F ight) + Oleft( x^{-1} (log x)^{2/3}(log log x)^{4/3} ight), ] 其中 egin{align*} E =prod_{pin mathbb{P}} alpha(p), & qquad F= sum_{pin mathbb{P}} frac{(p-1)^2 eta(p)log p}{palpha(p)}, \ alpha(p) = left(1-frac1{p} ight) sum_{ u=0}^{infty} frac1{sigma(p^ u)} & = 1- frac{(p-1)^2}{p} sum_{j=1}^{infty} frac1{(p^j-1)(p^{j+1}-1)}, \ eta(p) & = sum_{j=1}^{infty} frac{j}{(p^j-1)(p^{j+1}-1)}. end{align*} Bordellès 和 Cloitre [3, Corollary 4, (v)], László Tóth [4, Theorem 23] 分别证明了 egin{align*} sum_{nleqslant x} (-1)^{n-1} frac1{sigma(n)} & = Eleft( left(frac2{K} -1 ight) left(log x+ gamma + F ight) +2(log 2) frac{K'}{K^2} ight) \ &quad + Oleft( x^{-1} (log x)^{5/3}(log log x)^{4/3} ight), end{align*} 其中 [ K= sum_{j=0}^{infty} frac1{2^{j+1}-1}, qquad K'= sum_{j=1}^{infty} frac{j}{2^{j+1}-1}. ]

    参考文献

    1. A. Walfisz, Weylsche Exponentialsummen in der neueren Zahlentheorie, Mathematische Forschungsberichte, XV, VEB Deutscher Verlag der Wissenschaften, 1963.

    2. E. Landau, Über die Zahlentheoretische Function φ(n) und ihre Beziehung zum Goldbachschen Satz, Nachrichten der Koniglichten Gesellschaft der Wissenschaften zu Göttingen, Mathematisch Physikalische Klasse, 1900, 177–186.

    3. O. Bordellès and B. Cloitre, An alternating sum involving the reciprocal of certain multiplicative functions, J. Integer Seq. 16 (2013), Article 13.6.3.

    4. László Tóth, Alternating Sums Concerning Multiplicative Arithmetic Functions, J. Integer Seq. 20 (2017), Article 17.2.1.

    5. V. Sita Ramaiah and D. Suryanarayana, Sums of reciprocals of some multiplicative functions, Math. J. Okayama Univ. 21 (1979), 155–164.

  • 相关阅读:
    Unity3D实践系列08, MonoBehaviour类的各种触发事件
    Unity3D实践系列07,组件的启用或禁用开关,物体的的可见或不可见开关,以及相应事件
    Unity3D实践系列06,球体撞击物体游戏
    Linux tee的花式用法和pee
    bash内置命令mapfile:读取文件内容到数组
    Perl正则表达式引用
    Perl文件句柄引用
    透明代理、正向代理、反向代理的区别说明
    Perl回调函数和闭包
    一文搞懂:词法作用域、动态作用域、回调函数、闭包
  • 原文地址:https://www.cnblogs.com/pengdaoyi/p/10503900.html
Copyright © 2011-2022 走看看