Erratum to: On the pairs of multiplicative functions satisfying some relations

From MaRDI portal
(Redirected from Publication:657832)





In the original article [Aequationes Math. 55, No. 1--2, 1--14 (1998; Zbl 1066.11507)] the authors asserted (Theorem 1): If \(f\) and \(g\) are complex-valued multiplicative functions such that (1.1) \(g(2n+1)-Af(n)\to 0\) \((n\to\infty)\), for some \(A\neq 0\), then either \(f(n)\to 0\) \((n\to\infty)\), or \(f(n)=n^s\), \(0\leq \text{Re}\,s<1\) and \(A=f(2)\), \(g(n)=f(n)\) for every odd \(n\). This assertion is incorrect, as the following example shows: Let \(F(n) = (-1)^{n-1}\) \((n = 1, 2, . . .)\), \(G(2n+1) = \chi_4(2n+1)\), where \(\chi_4\) is the nonprincipal Dirichlet character (mod 4). Then \(F(n)\) and \(G(n)\) are multiplicative functions (\(G(n)\) can be arbitrary on the powers of 2), furthermore \(G(2n+1) = -F(n)\) \((n\in\mathbb N)\). The failure comes from an incorrect assertion made in the proof of Lemma 8. Here the authors prove the following assertion to be true. Theorem. Let \(f, g\) be complex valued multiplicative functions satisfying (1.1) with some constant \(A=0\). Then the following possibilities can occur: (1) \(f(n)\to 0\) \((n\to\infty)\) and \(g(m) \to 0\) \((m\to\infty,\, (m, 2) = 1)\) (2) \(f(n) = n^s\), \(g(m) = m^s\) \((n,m\in\mathbb N,\, (m, 2) = 1,\, A = f(2))\) (3) \(\frac{f(n)}{g(n)}=\chi_4(n)\) for odd \(n\). Let \(g_1(2n+1) = \frac{g(2n+1)}{G(2n+1)}\), \(f_1(n) = \frac{f(n)}{F(n)}\). Then \(f_1(n) = n^s\), \(g_1(m) = m^s\) \((n,m\in\mathbb N,\, (m, 2) = 1)\).











This page was built for publication: Erratum to: On the pairs of multiplicative functions satisfying some relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q657832)