Über die Verteilung einiger Klassen quadratfreier Zahlen, die aus einer gegebenen Anzahl von Primfaktoren zusammengesetzt sind. (Q2580493)

\(\pi_n(x)\) bedeute die Anzahl der aus \(n\) Primfaktoren zusammengesetzten quadratfreien Zahlen \(\leqq x\), \(\pi_{\nu,n}(\xi, x)\) die Anzahl derjenigen dieser Zahlen, von deren Primteilern genau \(\nu\) den Wert \(\xi\) nicht überschreiten. Bewiesen wird zunächst: Es gibt eine Folge von Konstanten \(a_1, a_2,\ldots\) mit der Eigenschaft, daß für ganzes \(n\geqq 0\) und reelles \(q\) (es kommt nur auf die negativen \(q\) an) stets \[ \frac{\pi_n(x)}{\dfrac x{\log x}}=\sum_{\nu=1}^n\frac{a_\nu}{(n-\nu)!} \log^{n-\nu}\log x+O(\log^q\log x) \] ist. Die ersten \(a_\nu\) werden noch ausgerechnet, und es wird angedeutet, wie man das hier absichtlich von \(n\) unabhängig gewählte Restglied in \(O\left(\dfrac{\log^{n-1}\log x}{\log x}\right)\) verbessern kann. Für verschiedene \(\nu\) und verschiedene Arten von Funktionen \(\sigma=\sigma(x)\) mit \(0<\sigma<1\) wird nun \(\pi_{\nu,n}(x^\sigma,x)\) asymptotisch mit \(\pi_n(x)\) verglichen. Insbesondere ergibt sich: Wenn \(\sigma=1-\log^{-\varPhi(x)} x\), \(\lim\limits_{x=\infty}\varPhi(x)=\beta\), \(0\leqq\beta\leqq 1\) ist und im Falle \(\beta=0\) die (andernfalls von selbst erfüllte) Beziehung \(\lim\limits_{x=\infty}\sigma = 1\), d. h. \(\lim\limits_{x=\infty} \varPhi(x)\log \log x =\infty\), ausdrücklich vorausgesetzt wird, so ist \[ \begin{aligned} &\lim_{x=\infty}\frac{\pi_{n,n}(x^\sigma,x)}{\pi_n(x)}=1-(1-\beta)^{n-1},\quad \lim_{x=\infty}\frac{\pi_{n-1,n}(x^\sigma,x)}{\pi_n(x)}=(1-\beta)^{n-1}, \\ &\lim_{x=\infty}\frac{\pi_{n-\nu,n}(x^{1-\sigma},x)}{\pi_n(x)}= \dbinom{n-1}{\nu-1}(1-\beta)^{n-\nu}\beta^{\nu-1} \qquad \text{für}\qquad \nu=1,2,\ldots,n. \end{aligned} \] Der Fall \(\beta=0\) (in dem die beiden Aussagen über \(\pi_{n-1,n}\) überdies gültig bleiben, wenn statt \(\lim\limits_{x=\infty}\sigma=1\) nur \(\lim\limits_{x=\infty} \dfrac{\log\sigma}{\log\log x}=0\) vorausgesetzt wird) zeigt: Ist \(\lim\limits_{x=\infty}\varPhi(x) = 0\), \(\lim\limits_{x=\infty}\varPhi(x)\log\log x = \infty\), so ist der größte Primteiler der aus \(n\) Primfaktoren zusammengesetzten quadratfreien Zahlen \(m\leqq x\) für ``fast alle'' \(m\) größer als \(x^\sigma\). Dieses Ergebnis enthält den vom Verf. früher (Arch. Math. Naturv., Oslo, 45 (1942), 53-60; F. d. M. 68, 63 (JFM 68.0063.*)) veröffentlichten Satz, daß bei festem \(n\) und festem \(\alpha<1\) jener größte Primteiler für fast alle \(m\) größer als \(x^\alpha\) ist. Es bedeute ferner \(C_n(x)\) bzw. \(C_{\nu,n}(\xi, x)\) die Summe der reziproken Werte der aus \(n\) Primfaktoren zusammengesetzten quadratfreien Zahlen \(\leqq x\) bzw. derjenigen dieser Zahlen, von deren Primteilern genau \(\nu\) den Wert \(\xi\) nicht übersteigen. Dann zeigt sich: Für ganzes \(n\geqq1\) ist \[ \frac{\pi_n(x)}{\dfrac x{\log x}}-C_{n-1}(x)= O\left(\frac{\log^{n-1}\log x}{\log x}\right), \] so daß insbesondere die obige asymptotische Darstellung von \(\dfrac{\pi_n(x)}{\dfrac x{\log x}}\) (auch in der angedeuteten schärferen Fassung) auch für \(C_{n-1}(x)\) gilt. Als gemeinsame Wurzel all dieser Ergebnisse dient die Theorie gewisser Folgen von Funktionen \(A_\nu(\xi, x)\) \((\nu = 1, 2,\ldots)\), die durch die Rekursionsformel \[ (\nu-1)A_\nu(\xi,x)=\sum_{p\leqq\xi} \left(A_{\nu-1}\left(\xi,\frac xp\right)-A_{\nu-2}\left(\xi,\frac x{p^2}\right) +-\cdots\right) \] (\(p\) durchläuft nur Primzahlen) und je eine asymptotische Darstellung von \(A_1(\xi,x)\) erklärt sind. \(\dfrac{A_\nu(\xi,x)}{\dfrac x{\log x}}\) wird bis auf ein Restglied ein Polynom \((\nu-1)\)-ten Grades in \(\log \log x\). Bei der Anwendung wird für \(A_\nu(\xi,x)\) die Funktion \(\pi_{\nu-1,n}(\xi, x)\) bzw. \(\dfrac{x}{\log \xi}C_{\nu-1,n}(\xi,x)\) gesetzt. Zur Erlangung der Ergebnisse über \(\pi_n(x)\) und \(C_n(x)\) muß also über \(\nu\) summiert werden, wobei man über \(\xi\) noch verfügen kann. Die Unabhängigkeit des Ergebnisses von der besonderen Wahl von \(\xi\) gestattet dem Verf. zum Schluß durch Übergang zu den Einzelkoeffizienten der Entwicklungen, für gewisse ohne Benutzung des Primzahlbegriffes rekursiv erklärbare Ausdrücke in einer komplexen Veränderlichen \(z\) teils Differentialgleichungen und explizite Darstellungen als Polynome in \(\log z\), teils Funktionalgleichungen zu finden.