Hauptseite: Unterschied zwischen den Versionen

Aus MWiki
Wechseln zu: Navigation, Suche
(Satz des Monats)
(Satz von Green)
(48 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt)
Zeile 1: Zeile 1:
 +
__NOTOC__
 
= Willkommen bei MWiki =
 
= Willkommen bei MWiki =
 
== Satz des Monats ==
 
== Satz des Monats ==
Satz: Das Intexverfahren löst jedes lösbare LP in <math>\mathcal{O}({\vartheta}^{3})</math>.
+
=== Satz von Green ===
  
Beweis und Algorithmus: Zuerst normieren und skalieren wir <math>{b}^{T}y - {d}^{T}x \le 0, Ax \le b</math> und <math>{A}^{T}y \ge d</math>. Die ''Höhe'' <math>h</math> habe den Startwert <math>{h}_{0} := |\text{min } \{{b}_{1}, ..., {b}_{m}, {-d}_{1}, ..., {-d}_{n}\}|/r</math> mit dem Reduktionsfaktor <math>r \in \; ]0, 1[</math>.
+
Für die Nachbarschaftsrelationen <math>B \subseteq {A}^{2}</math> mit einfach zusammenhängender <math>h</math>-Menge <math>A \subseteq {}^{(\omega)}\mathbb{R}^{2}</math>, infinitesimalem <math>h = |dBx|= |dBy| = |\curvearrowright B \gamma(t) - \gamma(t)| = \mathcal{O}({\hat{\omega}}^{m})</math>, hinreichend großem <math>m \in \mathbb{N}^{*}, (x, y) \in A,</math> <math>{A}^{-} := \{(x, y) \in A : (x + h, y + h) \in A\}</math>, einem geschlossenen, im Gegenuhrzeigersinn durchlaufenen Weg <math>\gamma: [a, b[\rightarrow \partial A</math> bei Wahl von <math>\curvearrowright B \gamma(t) = \gamma(\curvearrowright D t)</math> gilt mit <math>t \in [a, b[, D \subseteq {[a, b]}^{2}</math> und hinreichend <math>\alpha</math>-stetigen Funktionen <math>u, v: A \rightarrow \mathbb{R}</math> mit nicht notwendig stetigen partiellen Ableitungen <math>\partial Bu/\partial Bx, \partial Bu/\partial By, \partial Bv/\partial Bx</math> und <math>\partial Bv/\partial By</math><div style="text-align:center;"><math>\int\limits_{\gamma }{(u\,dBx+v\,dBy)}=\int\limits_{(x,y)\in {{A}^{-}}}{\left( \frac{\partial Bv}{\partial Bx}-\frac{\partial Bu}{\partial By} \right)dB(x,y)}.</math></div>
  
Das LP min <math>\{h \in [0, {h}_{0}] : x \in {}^{\omega}\mathbb{R}_{\ge 0}^{n}, y \in {}^{\omega}\mathbb{R}_{\ge 0}^{m}, {b}^{T}y - {d}^{T}x \le h, Ax - b \le (h, ..., h)^{T} \in {}^{\omega}\mathbb{R}_{\ge 0}^{m}, d - {A}^{T}y \le (h, ..., h)^{T} \in {}^{\omega}\mathbb{R}_{\ge 0}^{n}\}</math> habe mit <math>\underline{v} := {v}^{T}</math> den zulässigen inneren Startpunkt <math>v := ({\underline{x}, \underline{y}, h)}^{T} \in {}^{\omega}\mathbb{R}_{\ge 0}^{m+n+1}</math>, z. B. <math>({\underline{0}, \underline{0}, {h}_{0})}^{T}</math>.
+
==== Beweis: ====
 +
O. B. d. A. werde der Beweis nur für <math>A := \{(x, y) : r \le x \le s, f(x) \le y \le g(x)\}, r, s \in {}^{(\omega)}\mathbb{R}, f, g : \partial A \rightarrow {}^{(\omega)}\mathbb{R}</math> geführt, da er für das jeweils um <math>\iota</math> gedrehte Äquivalent analog verläuft und jede einfach zusammenhängende <math>h</math>-Menge eine Vereinigung solcher Mengen ist. Es wird nur<div style="text-align:center;"><math>\int\limits_{\gamma }{u\,dBx}=-\int\limits_{(x,y)\in {{A}^{-}}}{\frac{\partial Bu}{\partial By}dB(x,y)}</math></div>gezeigt, da sich die fehlende Beziehung analog ergibt. Da die Teile von <math>\gamma</math> mit <math>dBx = 0</math> zum Kurvenintegral nichts beitragen, gilt mit vernachlässigbarem <math>t := h(u(s, g(s)) - u(r, g(r)))</math><div style="text-align:center;"><math>-\int\limits_{\gamma }{u\,dBx}-t=\int\limits_{r}^{s}{u(x,g(x))dBx}-\int\limits_{r}^{s}{u(x,f(x))dBx}=\int\limits_{r}^{s}{\int\limits_{f(x)}^{g(x)}{\frac{\partial Bu}{\partial By}}dBydBx}=\int\limits_{(x,y)\in {{A}^{-}}}{\frac{\partial Bu}{\partial By}dB(x,y)}.\square</math></div>
  
Es identifiziert die zueinander dualen LPs max <math>\{{d}^{T}x : d \in {}^{\omega}\mathbb{R}^{n}, x \in {P}_{\ge 0}\}</math> und min <math>\{{b}^{T}y : y \in {}^{\omega}\mathbb{R}_{\ge 0}^{m}, {A}^{T}y \ge d\}</math>.
+
== Leseempfehlung ==
 
 
Wir interpolieren nacheinander alle <math>{v}_{k}^{*} := (\text{max } {v}_{k} + \text{min } {v}_{k})/2</math>, bis alle <math>|\Delta{v}_{k}|</math> hinreichend klein sind. In <math>\mathcal{O}(\omega\vartheta)</math> extrapolieren wir dann <math>v</math> über <math>{v}^{*}</math> in den Polytoprand. Das <math>r</math>-fache der über <math>{v}^{*}</math> hinausgehenden Strecke legt den neuen Ausgangspunkt <math>v</math> fest.
 
 
 
Folgt min<math>{}_{k} {h}_{k} t = 0</math> aus <math>t :=</math> min<math>{}_{k} \Delta{h}_{k}</math>, hören wir auf. Dann beginnen wir von vorn, bis min <math>h = 0</math> oder min <math>h > 0</math> feststeht. Da sich <math>h</math> bei fast jedem Durchlauf in <math>\mathcal{O}({\omega\vartheta}^{2})</math> wenigstens halbiert, liefert der starke Dualitätssatz die Behauptung.<math>\square</math>
 
 
 
== Leseempfehlungen ==
 
[http://www.epubli.de/shop/buch/Relil-Boris-Haase-9783844208726/11049 Relil - Religion und Lebensweg]
 
  
 
[https://de.calameo.com/books/00377797710a3d3e2cb97 Nichtstandardmathematik]
 
[https://de.calameo.com/books/00377797710a3d3e2cb97 Nichtstandardmathematik]
  
 
[[en:Main Page]]
 
[[en:Main Page]]

Version vom 30. April 2022, 22:22 Uhr

Willkommen bei MWiki

Satz des Monats

Satz von Green

Für die Nachbarschaftsrelationen [math]\displaystyle{ B \subseteq {A}^{2} }[/math] mit einfach zusammenhängender [math]\displaystyle{ h }[/math]-Menge [math]\displaystyle{ A \subseteq {}^{(\omega)}\mathbb{R}^{2} }[/math], infinitesimalem [math]\displaystyle{ h = |dBx|= |dBy| = |\curvearrowright B \gamma(t) - \gamma(t)| = \mathcal{O}({\hat{\omega}}^{m}) }[/math], hinreichend großem [math]\displaystyle{ m \in \mathbb{N}^{*}, (x, y) \in A, }[/math] [math]\displaystyle{ {A}^{-} := \{(x, y) \in A : (x + h, y + h) \in A\} }[/math], einem geschlossenen, im Gegenuhrzeigersinn durchlaufenen Weg [math]\displaystyle{ \gamma: [a, b[\rightarrow \partial A }[/math] bei Wahl von [math]\displaystyle{ \curvearrowright B \gamma(t) = \gamma(\curvearrowright D t) }[/math] gilt mit [math]\displaystyle{ t \in [a, b[, D \subseteq {[a, b]}^{2} }[/math] und hinreichend [math]\displaystyle{ \alpha }[/math]-stetigen Funktionen [math]\displaystyle{ u, v: A \rightarrow \mathbb{R} }[/math] mit nicht notwendig stetigen partiellen Ableitungen [math]\displaystyle{ \partial Bu/\partial Bx, \partial Bu/\partial By, \partial Bv/\partial Bx }[/math] und [math]\displaystyle{ \partial Bv/\partial By }[/math]

[math]\displaystyle{ \int\limits_{\gamma }{(u\,dBx+v\,dBy)}=\int\limits_{(x,y)\in {{A}^{-}}}{\left( \frac{\partial Bv}{\partial Bx}-\frac{\partial Bu}{\partial By} \right)dB(x,y)}. }[/math]

Beweis:

O. B. d. A. werde der Beweis nur für [math]\displaystyle{ A := \{(x, y) : r \le x \le s, f(x) \le y \le g(x)\}, r, s \in {}^{(\omega)}\mathbb{R}, f, g : \partial A \rightarrow {}^{(\omega)}\mathbb{R} }[/math] geführt, da er für das jeweils um [math]\displaystyle{ \iota }[/math] gedrehte Äquivalent analog verläuft und jede einfach zusammenhängende [math]\displaystyle{ h }[/math]-Menge eine Vereinigung solcher Mengen ist. Es wird nur

[math]\displaystyle{ \int\limits_{\gamma }{u\,dBx}=-\int\limits_{(x,y)\in {{A}^{-}}}{\frac{\partial Bu}{\partial By}dB(x,y)} }[/math]

gezeigt, da sich die fehlende Beziehung analog ergibt. Da die Teile von [math]\displaystyle{ \gamma }[/math] mit [math]\displaystyle{ dBx = 0 }[/math] zum Kurvenintegral nichts beitragen, gilt mit vernachlässigbarem [math]\displaystyle{ t := h(u(s, g(s)) - u(r, g(r))) }[/math]

[math]\displaystyle{ -\int\limits_{\gamma }{u\,dBx}-t=\int\limits_{r}^{s}{u(x,g(x))dBx}-\int\limits_{r}^{s}{u(x,f(x))dBx}=\int\limits_{r}^{s}{\int\limits_{f(x)}^{g(x)}{\frac{\partial Bu}{\partial By}}dBydBx}=\int\limits_{(x,y)\in {{A}^{-}}}{\frac{\partial Bu}{\partial By}dB(x,y)}.\square }[/math]

Leseempfehlung

Nichtstandardmathematik