Effective and noneffective results on certain arithmetical functions (Q1137066)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 3666897
Language Label Description Also known as
default for all languages
No label defined
    English
    Effective and noneffective results on certain arithmetical functions
    scientific article; zbMATH DE number 3666897

      Statements

      Effective and noneffective results on certain arithmetical functions (English)
      0 references
      0 references
      0 references
      1980
      0 references
      Let \(a\geq 2\) be an integer, \(l,m\) be complex numbers, \(\alpha=\tfrac12-\tfrac12 a\), \[ F(s)= (\xi(s))^a (\xi(2s))^l (\xi(3s))^m = \sum_{n=1}^\infty a_n n^{-s}, \] \[ M(x) = \sum \text{Re}\,s\{F(s)x^s/s\},\quad N(x) = \sum_{n\leq x} a_n,\quad E(x) = N(x)-M(x). \] It is proved that there exists an effective constant \(X_0 = X_0(a,l,m,\varepsilon)\) such that for \(X\geq X_0\) \[ \int_X^{(a+1+\varepsilon)/2} | E(x)x^{-\alpha}|^2 \,dx/x > X^{-\varepsilon}. \] In particular, this result implies that, if \(\mathcal D(n)\) is the number of square free divisors of \(n\), \[ E(x)= \sum_{n\leq x} \mathcal D(n) - x/\zeta(2)(\log x +2\gamma - 1 - 2\zeta'(2)/\zeta(2)), \] then for \(x\geq x_0\) \[ \max_{X\leq x\leq X^{(3+\varepsilon)/2}} | E(x)/x^{1/4 - \varepsilon}| \geq 1. \]
      0 references
      omega estimates
      0 references
      number of squarefree divisors
      0 references

      Identifiers