Hauptseite: Unterschied zwischen den Versionen

Aus MWiki
Wechseln zu: Navigation, Suche
(Leibnizsche Differentiationsregel)
(Universelles Mehrschrittverfahren)
(3 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt)
Zeile 1: Zeile 1:
 
__NOTOC__
 
__NOTOC__
 
= Willkommen bei MWiki =
 
= Willkommen bei MWiki =
== Satz des Monats ==
+
== Sätze des Monats ==
=== Leibnizsche Differentiationsregel ===
 
  
Für <math>f: {}^{(\omega)}\mathbb{K}^{n+1} \rightarrow {}^{(\omega)}\mathbb{K}, a, b: {}^{(\omega)}\mathbb{K}^{n} \rightarrow {}^{(\omega)}\mathbb{K}, \curvearrowright B x := {(s, {x}_{2}, ..., {x}_{n})}^{T}</math> und <math>s \in {}^{(\omega)}\mathbb{K} \setminus \{{x}_{1}\}</math> gilt bei Wahl von <math>\curvearrowright D a(x) = a(\curvearrowright B x)</math> und <math>\curvearrowright D b(x) = b(\curvearrowright B x)</math>,<div style="text-align:center;"><math>\frac{\partial }{\partial {{x}_{1}}}\left( \int\limits_{a(x)}^{b(x)}{f(x,t)dDt} \right)=\int\limits_{a(x)}^{b(x)}{\frac{\partial f(x,t)}{\partial {{x}_{1}}}dDt}+\frac{\partial b(x)}{\partial {{x}_{1}}}f(\curvearrowright Bx,b(x))-\frac{\partial a(x)}{\partial {{x}_{1}}}f(\curvearrowright Bx,a(x)).</math></div>
+
=== Universelles Mehrschrittverfahren ===
 +
 
 +
Mit <math>n \in {}^{\nu}\mathbb{N}_{\le p}, k, m, p \in {}^{\nu}\mathbb{N}^{*}, d_{\curvearrowright B} x \in\, ]0, 1[, x \in [a, b] \subseteq {}^{\omega}\mathbb{R}, y : [a, b] \rightarrow {}^{\omega}\mathbb{R}^q, f : [a, b] \times {}^{\omega}\mathbb{R}^{q \times n} \rightarrow {}^{\omega}\mathbb{R}^q, g_k(\curvearrowright B x) := g_{\acute{k}}(x)</math> und <math>g_0(a) = f((\curvearrowleft B)a, y_0, ... , y_{\acute{n}})</math> ergibt die Taylorreihe des Anfangswertproblems <math>n</math>-ter Ordnung <math>y^\prime(x) = f(x, y((\curvearrowright B)^0 x), ... , y((\curvearrowright B)^{\acute{n}} x))</math><div style="text-align:center;"><math>y(\curvearrowright B x) = y(x) - d_{\curvearrowright B}x\sum\limits_{k=1}^{p}{i^{2k} g_{p-k}((\curvearrowright B) x)\sum\limits_{m=k}^{p}{\widehat{m!}\binom{\acute{m}}{\acute{k}}}} + \mathcal{O}((d_{\curvearrowright B} x)^{\grave{p}}).\square</math></div>
 +
 
 +
=== Satz von Goldbach ===
 +
 
 +
Jede gerade Zahl, die größer als 2 ist, ist Summe zweier Primzahlen.
 +
 
 +
==== Beweis: ====
 +
Induktion über alle Primzahlabstände bis zum jeweils maximal möglichen.<math>\square</math>
 +
 
 +
=== Fundierungssatz ===
 +
 
 +
Erst die Forderung des Fundierungsaxioms, dass jede nichtleere Teilmenge <math>X \subseteq Y</math> ein Element <math>x_0</math> enthält, sodass <math>X</math> und <math>x_0</math> disjunkt sind, garantiert Zyklenfreiheit.
  
 
==== Beweis: ====
 
==== Beweis: ====
<div style="text-align:center;"><math>\begin{aligned}\frac{\partial }{\partial {{x}_{1}}}\left( \int\limits_{a(x)}^{b(x)}{f(x,t)dDt} \right) &amp;={\left( \int\limits_{a(\curvearrowright Bx)}^{b(\curvearrowright Bx)}{f(\curvearrowright Bx,t)dDt}-\int\limits_{a(x)}^{b(x)}{f(x,t)dDt} \right)}/{\partial {{x}_{1}}}\;={\left( \int\limits_{a(x)}^{b(x)}{(f(\curvearrowright Bx,t)-f(x,t))dDt}+\int\limits_{b(x)}^{b(\curvearrowright Bx)}{f(\curvearrowright Bx,t)dDt}-\int\limits_{a(x)}^{a(\curvearrowright Bx)}{f(\curvearrowright Bx,t)dDt} \right)}/{\partial {{x}_{1}}}\; \\ &amp;=\int\limits_{a(x)}^{b(x)}{\frac{\partial f(x,t)}{\partial {{x}_{1}}}dDt}+\frac{\partial b(x)}{\partial {{x}_{1}}}f(\curvearrowright Bx,b(x))-\frac{\partial a(x)}{\partial {{x}_{1}}}f(\curvearrowright Bx,a(x)).\square\end{aligned}</math></div>
+
Es wird <math>X := \{x_m : x_0 := \{\emptyset\}, x_{\omega} := \{x_1\}</math> und <math>x_{\acute{n}} := \{x_n\}</math> mit <math>m \in {}^{\omega}\mathbb{N}</math> und <math>n \in {}^{\omega}\mathbb{N}_{\ge 2}\}</math> gesetzt.<math>\square</math>
  
 
== Leseempfehlung ==
 
== Leseempfehlung ==

Version vom 1. Juni 2021, 00:55 Uhr

Willkommen bei MWiki

Sätze des Monats

Universelles Mehrschrittverfahren

Mit [math]\displaystyle{ n \in {}^{\nu}\mathbb{N}_{\le p}, k, m, p \in {}^{\nu}\mathbb{N}^{*}, d_{\curvearrowright B} x \in\, ]0, 1[, x \in [a, b] \subseteq {}^{\omega}\mathbb{R}, y : [a, b] \rightarrow {}^{\omega}\mathbb{R}^q, f : [a, b] \times {}^{\omega}\mathbb{R}^{q \times n} \rightarrow {}^{\omega}\mathbb{R}^q, g_k(\curvearrowright B x) := g_{\acute{k}}(x) }[/math] und [math]\displaystyle{ g_0(a) = f((\curvearrowleft B)a, y_0, ... , y_{\acute{n}}) }[/math] ergibt die Taylorreihe des Anfangswertproblems [math]\displaystyle{ n }[/math]-ter Ordnung [math]\displaystyle{ y^\prime(x) = f(x, y((\curvearrowright B)^0 x), ... , y((\curvearrowright B)^{\acute{n}} x)) }[/math]

[math]\displaystyle{ y(\curvearrowright B x) = y(x) - d_{\curvearrowright B}x\sum\limits_{k=1}^{p}{i^{2k} g_{p-k}((\curvearrowright B) x)\sum\limits_{m=k}^{p}{\widehat{m!}\binom{\acute{m}}{\acute{k}}}} + \mathcal{O}((d_{\curvearrowright B} x)^{\grave{p}}).\square }[/math]

Satz von Goldbach

Jede gerade Zahl, die größer als 2 ist, ist Summe zweier Primzahlen.

Beweis:

Induktion über alle Primzahlabstände bis zum jeweils maximal möglichen.[math]\displaystyle{ \square }[/math]

Fundierungssatz

Erst die Forderung des Fundierungsaxioms, dass jede nichtleere Teilmenge [math]\displaystyle{ X \subseteq Y }[/math] ein Element [math]\displaystyle{ x_0 }[/math] enthält, sodass [math]\displaystyle{ X }[/math] und [math]\displaystyle{ x_0 }[/math] disjunkt sind, garantiert Zyklenfreiheit.

Beweis:

Es wird [math]\displaystyle{ X := \{x_m : x_0 := \{\emptyset\}, x_{\omega} := \{x_1\} }[/math] und [math]\displaystyle{ x_{\acute{n}} := \{x_n\} }[/math] mit [math]\displaystyle{ m \in {}^{\omega}\mathbb{N} }[/math] und [math]\displaystyle{ n \in {}^{\omega}\mathbb{N}_{\ge 2}\} }[/math] gesetzt.[math]\displaystyle{ \square }[/math]

Leseempfehlung

Nichtstandardmathematik