Difference between revisions of "Main Page"

From MWiki
Jump to: navigation, search
(Prime number and Gelfond-Schneider theorem)
 
(One intermediate revision by the same user not shown)
Line 2: Line 2:
 
= Welcome to MWiki =
 
= Welcome to MWiki =
 
== Theorems of the month ==
 
== Theorems of the month ==
−
=== Counting theorem for algebraic numbers ===
+
=== Prime number theorem ===
  
−
The number <math>\mathbb{A}(m, n)</math> of algebraic numbers of polynomial or series degree <math>m</math> and thus in general for the Riemann zeta function <math>\zeta</math> asymptotically satisfies the equation <math>\mathbb{A}(m, n) = \widetilde{\zeta(\overset{\scriptsize{\grave{}}}{m})}\,z(m){{(2n+1)}^{m}}\left( n+\mathcal{O}({_e}n) \right)</math>, where <math>z(m)</math> is the average number of zeros of a polynomial or series.
+
For <math>\pi(x) := |\{p \in {\mathbb{P}_{\le x}} : x \in {}^{\omega}{\mathbb{R}}\}|</math>, it holds that <math>\pi(\omega) = \widetilde{{_e}\omega}\omega + \mathcal{O}({_\epsilon}\omega\;{\omega}^{\tilde{2}})</math>.
  
 
==== Proof: ====
 
==== Proof: ====
−
The case <math>m = 1</math> requires by <ref name="Scheid">[[w:Harald Scheid|<span class="wikipedia">Scheid, Harald</span>]]: ''Zahlentheorie'' : 1st Ed.; 1991; Bibliographisches Institut; Mannheim; ISBN 9783411148417, p. 323.</ref> the error term <math>\mathcal{O}({_e}n n)</math> and represents the number <math>4{+}_{k=1}^{n}{\varphi (k)}-1</math> by the <math>\varphi</math>-function. For <math>m > 1</math>, the divisibility conditions neither change the error term <math>\mathcal{O}({_e}n)</math> nor the leading term. Polynomials or series such that <math>\text{gcd}({a}_{0}, {a}_{1}, ..., {a}_{m}) \ne 1</math> are excluded by <math>1/\zeta(\overset{\scriptsize{\grave{}}}{m})</math>: The latter is given by taking the product over the prime numbers <math>p</math> of all <math>(1 - {p}^{-\overset{\scriptsize{\grave{}}}{m}})</math> absorbing here multiples of <math>p</math> and representing sums of geometric series.<math>\square</math>
+
From intervals of fix length <math>y \in {}^{\omega}{\mathbb{R}_{>0}}, \check{y}</math> set-2-tuples of prime numbers are formed such that the first interval has the unchanged representative prime number density and the second interval is empty, then the interval with the second most prime number density is followed by the second least one etc. The Stirling formula suggests the prime gap <math>n = {\epsilon}^{\sigma} = \mathcal{O}({_\epsilon}(n!))</math>.
  
−
=== Brocard's theorem ===
+
For induction basis <math>n = 2</math> resp. 3, the hypothesis states the first interval to contain <math>x_n/{_\epsilon}x_n</math> primes for <math>n \in {}^{\omega}{\mathbb{N}_{\ge2}}</math> and <math>x_4 \in [2, 4[</math>. Stepping from <math>x_n</math> to <math>x_n^2</math> finds <math>\pi(x_n^2) = \pi(x_n) \check{x}_n</math> primes only from <math>\pi(x_n) = x_n/{_\epsilon}x_n</math>. The average prime gap is <math>{_\epsilon}x_n</math>, the maximal one <math>{_\epsilon}x_n^2</math> and the maximal <math>x_n^2</math> to <math>x_n</math> behaves like <math>\omega</math> to <math>{\omega}^{\tilde{2}}.\square</math>
−
It holds that <math>\{(m, n) \in {}^{\omega} \mathbb{N}^2 : n! + 1 = m^2\} = \{(5, 4), (11, 5), (71, 7)\}.</math>
+
 
 +
=== Gelfond-Schneider theorem ===
 +
 
 +
It holds <math>a^b \notin {}_{\omega}^{\omega} \mathbb{A}_\mathbb{C}</math> where <math>a, c \in {}^{\omega} \mathbb{A}_\mathbb{C} \setminus \mathbb{B}</math> and infinitesimal <math>\varepsilon, b \in {}^{\omega}\mathbb{A}_\mathbb{C} \setminus {}_{\omega}^{\omega}\mathbb{R}</math>.
  
 
==== Proof: ====
 
==== Proof: ====
−
From <math>n! = \acute{m}\\overset{\scriptsize{\grave{}}}{m}</math>, it follows that <math>m = \hat{r} \pm 1</math> für <math>r \in {}^{\omega} \mathbb{N}^{*}</math> and <math>n \ge 3</math>. Thus <math>n! = \hat{r}(\hat{r}\pm2) = 8s(\hat{s} \pm 1)</math> holds for <math>s \in {}^{\omega} \mathbb{N}^{*}</math>. Let <math>2^q \mid n!</math> and <math>2^{\overset{\scriptsize{\grave{}}}{q}} \nmid n!</math> for maximal <math>q \in {}^{\omega} \mathbb{N}^{*}</math>. Therefore <math>n! = 2^q(\hat{u} + 1)</math> holds for <math>u \in {}^{\omega} \mathbb{N}^{*}</math> and necessarily <math>n! = 2^q(2^{q-2} \pm 1)</math>. Then the prime factorisation of <math>n!</math> requires <math>n \le 7</math> giving the claim.<math>\square</math>
 
  
−
=== Reversion theorem of Taylor series ===
+
The minimal polynomials <math>p</math> (and <math>q</math>) of <math>c^r</math> resp. <math>c^{r\pm\varepsilon} = a^b</math> for maximal <math>r \in {}_{\omega}^{\omega}\mathbb{R}_{>0}</math> and <math>f = p\;(q)</math> lead to the contradiction <math>{}^1f(c^{r(\pm\varepsilon)}) \ne 0 = (f(c^r) - f(c^{r\pm\varepsilon})) / (c^r - c^{r\pm\varepsilon}) = {}^1f(c^{r(\pm\varepsilon)}).\square</math>
−
For <math>y \in f(\mathbb{D}), y(a) = b</math> and <math>{}^1y(a) \ne 0</math>, [[w:Lagrange_inversion_theorem#Lagrange–Bürmann_formula|<span class="wikipedia">Bürmann's theorem</span>]] yields:<div style="text-align:center;"><math>f_n^{-1}(y) := a + \tilde{n} {\LARGE{\textbf{+}}}_{m=1}^n{\widetilde{m}{\tilde{\varepsilon}}^{\acute{m}}(y - b)^m({\tilde{u}}^{\overset{\scriptsize{\grave{}}}{m}k})^T(f(\varepsilon u^k + a)^{-m})}+\mathcal{O}(\varepsilon^n).\square</math></div>
+
 
 +
== MWiki has moved ==
 +
The new URL is: [https://en.hwiki.de/maths.html HWiki]
  
 
== Recommended reading ==
 
== Recommended reading ==
  
 
[https://en.calameo.com/books/003777977258f7b4aa332 Nonstandard Mathematics]
 
[https://en.calameo.com/books/003777977258f7b4aa332 Nonstandard Mathematics]
−
 
−
== References ==
 
−
<references />
 
  
 
[[de:Hauptseite]]
 
[[de:Hauptseite]]

Latest revision as of 17:01, 31 July 2024

Welcome to MWiki

Theorems of the month

Prime number theorem

For [math]\displaystyle{ \pi(x) := |\{p \in {\mathbb{P}_{\le x}} : x \in {}^{\omega}{\mathbb{R}}\}| }[/math], it holds that [math]\displaystyle{ \pi(\omega) = \widetilde{{_e}\omega}\omega + \mathcal{O}({_\epsilon}\omega\;{\omega}^{\tilde{2}}) }[/math].

Proof:

From intervals of fix length [math]\displaystyle{ y \in {}^{\omega}{\mathbb{R}_{\gt 0}}, \check{y} }[/math] set-2-tuples of prime numbers are formed such that the first interval has the unchanged representative prime number density and the second interval is empty, then the interval with the second most prime number density is followed by the second least one etc. The Stirling formula suggests the prime gap [math]\displaystyle{ n = {\epsilon}^{\sigma} = \mathcal{O}({_\epsilon}(n!)) }[/math].

For induction basis [math]\displaystyle{ n = 2 }[/math] resp. 3, the hypothesis states the first interval to contain [math]\displaystyle{ x_n/{_\epsilon}x_n }[/math] primes for [math]\displaystyle{ n \in {}^{\omega}{\mathbb{N}_{\ge2}} }[/math] and [math]\displaystyle{ x_4 \in [2, 4[ }[/math]. Stepping from [math]\displaystyle{ x_n }[/math] to [math]\displaystyle{ x_n^2 }[/math] finds [math]\displaystyle{ \pi(x_n^2) = \pi(x_n) \check{x}_n }[/math] primes only from [math]\displaystyle{ \pi(x_n) = x_n/{_\epsilon}x_n }[/math]. The average prime gap is [math]\displaystyle{ {_\epsilon}x_n }[/math], the maximal one [math]\displaystyle{ {_\epsilon}x_n^2 }[/math] and the maximal [math]\displaystyle{ x_n^2 }[/math] to [math]\displaystyle{ x_n }[/math] behaves like [math]\displaystyle{ \omega }[/math] to [math]\displaystyle{ {\omega}^{\tilde{2}}.\square }[/math]

Gelfond-Schneider theorem

It holds [math]\displaystyle{ a^b \notin {}_{\omega}^{\omega} \mathbb{A}_\mathbb{C} }[/math] where [math]\displaystyle{ a, c \in {}^{\omega} \mathbb{A}_\mathbb{C} \setminus \mathbb{B} }[/math] and infinitesimal [math]\displaystyle{ \varepsilon, b \in {}^{\omega}\mathbb{A}_\mathbb{C} \setminus {}_{\omega}^{\omega}\mathbb{R} }[/math].

Proof:

The minimal polynomials [math]\displaystyle{ p }[/math] (and [math]\displaystyle{ q }[/math]) of [math]\displaystyle{ c^r }[/math] resp. [math]\displaystyle{ c^{r\pm\varepsilon} = a^b }[/math] for maximal [math]\displaystyle{ r \in {}_{\omega}^{\omega}\mathbb{R}_{\gt 0} }[/math] and [math]\displaystyle{ f = p\;(q) }[/math] lead to the contradiction [math]\displaystyle{ {}^1f(c^{r(\pm\varepsilon)}) \ne 0 = (f(c^r) - f(c^{r\pm\varepsilon})) / (c^r - c^{r\pm\varepsilon}) = {}^1f(c^{r(\pm\varepsilon)}).\square }[/math]

MWiki has moved

The new URL is: HWiki

Recommended reading

Nonstandard Mathematics

Retrieved from "https://en.mwiki.de/index.php?title=Main_Page&oldid=322"