Über Vorzeichenwechsel einiger arithmetischer Funktionen. I. (On sign- changes of certain arithmetical functions. I) (Q1097920)

Wir entwickeln die Methode von \textit{J. Kaczorowski} zur Untersuchung der Anzahl der Vorzeichenwechsel arithmetischer Funktionen fort [Acta. Arith. 44, 365-377 (1984; Zbl 0555.10023); ibid. 45, 65-74 (1985; Zbl 0555.10024); vgl. auch \textit{J. Kaczorowski} und \textit{J. Pintz}, Acta Math. Hung. 48, 173-185 (1986; Zbl 0613.10036)]. Wir wenden nämlich statt des Kaczorowskischen Operators \(\delta\), dessen Einwirkung auf eine Funktion \(f: (0,\infty)\to {\mathbb{R}}\) durch \(\delta(f)(x)= \int^{x}_{0} f(\xi)\xi^{-1} d\xi\) \((x>0)\) definiert wird, einen allgemeineren A an: \[ A(f)(x)= x^{-\eta}\int^{x}_{0}f(\xi)\xi ^{\eta -1} d\xi \quad (x>0),\quad \eta \geq 0. \] Es bezeichne \(V(f,X)\) die Anzahl der Vorzeichenwechsel von f im Intervall \((0,X]\) \((X>0)\). Das Hauptresultat des Artikels lautet ungefähr so: Genügt f: (0,\(\infty)\to {\mathbb{R}}\) gewissen Bedingungen, bezeichnet \(F(s)=\int ^{\infty}_{0}f(x) x^{- s-1} dx\) \((\sigma \geq \sigma _ 1)\) ihre Mellinsche Transformation, ist F in \(D=\{s\in {\mathbb{C}}:\) \(\sigma_ 0\leq \sigma \leq \sigma_ 1\), \(| t| \leq h\}\cup \{s\in {\mathbb{C}}:\) \(\sigma \geq \sigma_ 1\}\) meromorph und hat dort keine reellen Pole, aber mindestens einen \(\rho =\beta +i\gamma\), für den die Bedingung \(h^ 2>(\sigma_ 1-\sigma_ 0)\gamma ^ 2/(\beta -\sigma _ 0)+(\sigma _ 1-\beta)(\sigma_ 1- \sigma_ 0)\) erfüllt ist, so gilt \(V(f,X)\geq c \log X\) \((X\geq X_ 0)\), wobei \(c>0\) und \(X_ 0\geq 2\) effektiv von entsprechenden Parametern abhängen. [Zu Teil II siehe das nachstehende Referat (Zbl 0636.10036).]