Hauptseite: Unterschied zwischen den Versionen

Aus MWiki
Wechseln zu: Navigation, Suche
(Darstellungssätze für Integrale und Ableitungen)
 
(82 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt)
Zeile 1: Zeile 1:
 +
__NOTOC__
 
= Willkommen bei MWiki =
 
= Willkommen bei MWiki =
== Satz des Monats ==
+
== Sätze des Monats ==
Satz: Das Intexverfahren löst jedes lösbare LP in <math>\mathcal{O}({\vartheta}^{3})</math>.
+
=== Definition ===
  
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 \; [&frac12;, 1[</math>.
+
Seien <math>f_n^*(z) = f(\eta_nz)</math> die <em>Schwestern</em> zur Taylorreihe <math>f(z) \in \mathcal{O}(\mathbb{D})</math> um 0 auf dem Gebiet <math>\mathbb{D} \subseteq {}^{\omega}\mathbb{C}</math> mit <math>m, n \in {}^{\omega}\mathbb{N}^{*}</math> und <math>\eta_n^m := \underline{1}^{2^{\lceil m/n \rceil}}</math> sowie <math>\delta_n^*f = \tilde{2}(f - f_n^*)</math> die <em>halben Schwesterabstände</em> von <math>f</math>. Mit <math>\mu_n^m := m!n!/(m + n)!</math> bilden <math>\mu</math> und <math>\eta</math> einen eigenen auf Ebene der Taylorreihen auflösbaren Kalkül, der eine einfache und endliche geschlossene Darstellung von Integralen und Ableitungen erlaubt.<math>\triangle</math>
  
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>.
+
=== Darstellungssatz für Integrale ===
  
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>.
+
Die Taylorreihe (s. u.) <math>f(z) \in \mathcal{O}(\mathbb{D})</math> um 0 auf <math>\mathbb{D} \subseteq {}^{\omega}\mathbb{C}</math> ergibt mit <math>\grave{m}, n \in {}^{\omega}\mathbb{N}^*</math><div style="text-align:center;"><math>{\uparrow}_0^z...{\uparrow}_0^{\zeta_2}{f(\zeta_1){\downarrow}\zeta_1\;...\;{\downarrow}\zeta_n} = \widetilde{n!} f(z\mu_n) z^n.\square</math></div>
  
Darauf interpolieren wir 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. Anschließend extrapolieren wir <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.
+
=== Darstellungssatz für Ableitungen ===
  
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>
+
Mit <math>{}^{\widetilde{\nu}}\dot{\mathbb{C}} \subset \mathbb{D} \subseteq {}^{\omega}\mathbb{C}</math> ergeben die Taylorreihe<div style="text-align:center;"><math>f(z):=f(0) + {\LARGE{\textbf{+}}}_{m=1}^{\omega }{\widetilde{m!}\,{{f}^{(m)}}(0){z^m}},</math></div><math>\varepsilon := \tilde{2}^j\tilde{r}, j \in {}^{\omega}\mathbb{Z}, n = \epsilon^{\sigma} \in {}^{\omega}\mathbb{N}^{*}, u :=\epsilon^{\tilde{n} \hat{\underline{\pi}}}</math> und der Konvergenzradius <math>r \in {}^{\nu}{\mathbb{R}}_{&gt;0}</math> von <math>f</math><div style="text-align:center;"><math>{{f}^{(n)}}(0)=2^{jn}\acute{n}!{\LARGE{\textbf{+}}}_{k=1}^{n}{\delta_n^* f(\tilde{2}^j u^k)}.</math></div>
  
== Leseempfehlungen ==
+
==== Beweis: ====
[http://www.epubli.de/shop/buch/Relil-Boris-Haase-9783844208726/11049 Relil - Religion und Lebensweg]
+
Satz von Taylor<ref name="Remmert">[[w:Reinhold Remmert|<span class="wikipedia">Remmert, Reinhold</span>]]: ''Funktionentheorie 1'' : 3., verb. Aufl.; 1992; Springer; Berlin; ISBN 9783540552338, S. 165 f.</ref> und die Eigenschaften der Einheitswurzeln.<math>\square</math>
 +
 
 +
== Einzelnachweis ==
 +
<references />
 +
 
 +
== Leseempfehlung ==
  
 
[https://de.calameo.com/books/00377797710a3d3e2cb97 Nichtstandardmathematik]
 
[https://de.calameo.com/books/00377797710a3d3e2cb97 Nichtstandardmathematik]
  
 
[[en:Main Page]]
 
[[en:Main Page]]

Aktuelle Version vom 31. März 2024, 22:58 Uhr

Willkommen bei MWiki

Sätze des Monats

Definition

Seien [math]\displaystyle{ f_n^*(z) = f(\eta_nz) }[/math] die Schwestern zur Taylorreihe [math]\displaystyle{ f(z) \in \mathcal{O}(\mathbb{D}) }[/math] um 0 auf dem Gebiet [math]\displaystyle{ \mathbb{D} \subseteq {}^{\omega}\mathbb{C} }[/math] mit [math]\displaystyle{ m, n \in {}^{\omega}\mathbb{N}^{*} }[/math] und [math]\displaystyle{ \eta_n^m := \underline{1}^{2^{\lceil m/n \rceil}} }[/math] sowie [math]\displaystyle{ \delta_n^*f = \tilde{2}(f - f_n^*) }[/math] die halben Schwesterabstände von [math]\displaystyle{ f }[/math]. Mit [math]\displaystyle{ \mu_n^m := m!n!/(m + n)! }[/math] bilden [math]\displaystyle{ \mu }[/math] und [math]\displaystyle{ \eta }[/math] einen eigenen auf Ebene der Taylorreihen auflösbaren Kalkül, der eine einfache und endliche geschlossene Darstellung von Integralen und Ableitungen erlaubt.[math]\displaystyle{ \triangle }[/math]

Darstellungssatz für Integrale

Die Taylorreihe (s. u.) [math]\displaystyle{ f(z) \in \mathcal{O}(\mathbb{D}) }[/math] um 0 auf [math]\displaystyle{ \mathbb{D} \subseteq {}^{\omega}\mathbb{C} }[/math] ergibt mit [math]\displaystyle{ \grave{m}, n \in {}^{\omega}\mathbb{N}^* }[/math]

[math]\displaystyle{ {\uparrow}_0^z...{\uparrow}_0^{\zeta_2}{f(\zeta_1){\downarrow}\zeta_1\;...\;{\downarrow}\zeta_n} = \widetilde{n!} f(z\mu_n) z^n.\square }[/math]

Darstellungssatz für Ableitungen

Mit [math]\displaystyle{ {}^{\widetilde{\nu}}\dot{\mathbb{C}} \subset \mathbb{D} \subseteq {}^{\omega}\mathbb{C} }[/math] ergeben die Taylorreihe

[math]\displaystyle{ f(z):=f(0) + {\LARGE{\textbf{+}}}_{m=1}^{\omega }{\widetilde{m!}\,{{f}^{(m)}}(0){z^m}}, }[/math]

[math]\displaystyle{ \varepsilon := \tilde{2}^j\tilde{r}, j \in {}^{\omega}\mathbb{Z}, n = \epsilon^{\sigma} \in {}^{\omega}\mathbb{N}^{*}, u :=\epsilon^{\tilde{n} \hat{\underline{\pi}}} }[/math] und der Konvergenzradius [math]\displaystyle{ r \in {}^{\nu}{\mathbb{R}}_{>0} }[/math] von [math]\displaystyle{ f }[/math]

[math]\displaystyle{ {{f}^{(n)}}(0)=2^{jn}\acute{n}!{\LARGE{\textbf{+}}}_{k=1}^{n}{\delta_n^* f(\tilde{2}^j u^k)}. }[/math]

Beweis:

Satz von Taylor[1] und die Eigenschaften der Einheitswurzeln.[math]\displaystyle{ \square }[/math]

Einzelnachweis

  1. Remmert, Reinhold: Funktionentheorie 1 : 3., verb. Aufl.; 1992; Springer; Berlin; ISBN 9783540552338, S. 165 f.

Leseempfehlung

Nichtstandardmathematik