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

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)\).