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

From MaRDI portal





scientific article; zbMATH DE number 2513284
Language Label Description Also known as
default for all languages
No label defined
    English
    On numbers which are not multiples of any other in the set.
    scientific article; zbMATH DE number 2513284

      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