On numbers which are not multiples of any other in the set. (Q2594071)

From MaRDI portal





scientific article
Language Label Description Also known as
English
On numbers which are not multiples of any other in the set.
scientific article

    Statements

    On numbers which are not multiples of any other in the set. (English)
    0 references
    1939
    0 references
    Es sei \(b_1, \,b_2, \ldots\) eine Folge positiver ganzer Zahlen, von denen keine ein Vielfaches einer andern Zahl derselben Folge ist. Für die Funktion \(F(x)=\sum\limits_{b_r \leqq x} \dfrac{1}{b_r}\) hat \textit{F. Behrend} (J. London math. Soc. 10 (1935), 42-44; F.~d.~M. 61\(_{\text{I}}\), 132) bewiesen: \(F(x)=O \left( \dfrac{\log \,x}{\sqrt{\log \,\log \,x}} \right)\). Verf. zeigt nun: Es gibt unendlich viele Folgen, für die \[ F(x) \geqq \left( \frac{e^B}{4 \sqrt{2\pi}}-1 \right) \, \frac{\log \,x}{\sqrt{\log \,\log \,x}} \] gilt \(\left( \right.\) dabei ist \(B\) die Konstante in \(\sum\limits_{p \leqq x} \dfrac{1}{p}=\log \,\log \,x+B+o(1)\), \(p\) Primzahl \(\left. \right)\). Zum Beweis wird zunächst \(T_{\nu}(x)=\sum\limits_{p \leqq \sqrt{x}} \dfrac{1}{p} \{ 1+\log (1-\log \,p/\log \,x)/(\log \,\log \,x-D) \}^{\nu}\) gebildet (\(\nu\) positiv ganz, \(D=2 \,\log \,2-B+O(\delta)\), \(\delta\) eine beliebig kleine positive Größe) und \(T_{\nu}(x) \geqq \log \,\log \,x-D\) bewiesen. Nun wird als spezielle Zahlenfolge die Folge aller \(q_{\nu}\) betrachtet, wobei jedes \(q_{\nu}\) aus genau \(\nu\) Primfaktoren, jeder mit seiner Vielfachheit gezählt, besteht. Setzt man dann \(S_{\nu}(x)=\sum\limits_{q_{\nu} \leqq x} \dfrac{1}{q_{\nu}}\), so ergibt sich \(S_{\nu}(x) \geqq \dfrac{1}{\nu!}(\log \,\log \,x-D)^{\nu}\), \(x>e^{2\nu-1}\), woraus schließlich die Behauptung folgt. Des weiteren behauptet Verf., daß man durch Kombination der beiden Abschätzungen für \(F(x)\) sofort max \(F(x) \sim A \,\log \,x/\sqrt{\log \,\log \,x}\) erhält, was Ref. nicht einzusehen vermag; auch wird weder eine Definition von max \(F(x)\) noch ein Existenzbeweis für die Funktion max \(F(x)\) gegeben.
    0 references

    Identifiers