Hauptseite: Unterschied zwischen den Versionen
(Intexverfahren) |
(Hauptsätze der Analysis und Approximationssatz) |
||
Zeile 1: | Zeile 1: | ||
__NOTOC__ | __NOTOC__ | ||
= Willkommen bei MWiki = | = Willkommen bei MWiki = | ||
− | == | + | == Sätze des Monats == |
− | + | === Erster Hauptsatz der exakten Differential- und Integralrechnung für <abbr title="Kurvenintegral">KI</abbr>e === | |
+ | Die Funktion <math>F(z)={\uparrow}_{\gamma }{f(\zeta ){\downarrow}\zeta }</math> ist mit <math>\gamma: [d, x[ \, \cap \, C \rightarrow A \subseteq {}^{(\omega)}\mathbb{K}, C \subseteq \mathbb{R}, f: A \rightarrow {}^{(\omega)}\mathbb{K}, d \in G = [a, b[ \, \cap \, C</math> bei Wahl von <math>{}^\curvearrowright \gamma(x) = \gamma({}^\curvearrowright x)</math> exakt differenzierbar und es gilt für alle <math>x \in G</math> und <math>z = \gamma(x)</math> | ||
− | |||
− | |||
+ | <div style="text-align:center;"><math>F^{\prime}(z) = f(z).</math></div> | ||
− | + | ==== Beweis ==== | |
+ | <math>{\downarrow}F(z)</math> <math>={\uparrow}_{t\in [d,x] \cap C}{f(\gamma (t)){{\gamma }^{\prime}}(t){\downarrow}t}-{\uparrow}_{t\in [d,x[ \, \cap \, C}{f(\gamma (t)){{\gamma }^{\prime}}(t){\downarrow}t}</math> <math>={\uparrow}_{x}{f(\gamma (t))\tfrac{\gamma ({}^\curvearrowright t)-\gamma (t)}{{}^\curvearrowright t-t}{\downarrow}t}</math> <math>=f(\gamma (x)){{\gamma}^{\prime}}(x){\downarrow}x=</math> <math>\,f(\gamma (x))({}^\curvearrowright\gamma (x)-\gamma (x))</math> <math>=f(z){\downarrow}z.\square</math> | ||
+ | === Zweiter Hauptsatz der exakten Differential- und Integralrechnung für <abbr title="Kurvenintegral">KI</abbr>e === | ||
+ | Mit <math>\gamma: G \rightarrow {}^{(\omega)}\mathbb{K}</math> gilt wie oben vorausgesetzt | ||
− | |||
− | == | + | <div style="text-align:center;"><math>F(\gamma (b))-F(\gamma (a))={\uparrow}_{\gamma }{{F^{\prime}}(\zeta ){\downarrow}\zeta }.</math></div> |
+ | |||
+ | ==== Beweis ==== | ||
+ | <math>F(\gamma (b))-F(\gamma (a))</math> <math>={+}_{t\in G}{F({}^\curvearrowright\,\gamma (t))}-F(\gamma (t))</math> <math>={+}_{t\in G}{{{F}^{\prime}}(\gamma (t))({}^\curvearrowright\,\gamma (t)-\gamma (t))}</math> <math>={\uparrow}_{t\in G}{{F^{\prime}}(\gamma (t)){{\gamma }^{\prime}}(t){\downarrow}t}</math> <math>={\uparrow}_{\gamma }{{F_{{}^\curvearrowright }^{\prime}}(\zeta ){\downarrow}\zeta }.\square</math> | ||
+ | |||
+ | === Approximationssatz === | ||
+ | Die Ableitungen <math>f^{(s)}(x) \in {}^{\omega}\mathbb{R}</math> für <math>x \in {}^{\omega}\mathbb{R}</math> erlauben die interpolierende Funktion <math>g(x) := {+}_{r=0}^{\acute{m}}{\chi_{]x_r, x_{\grave{r}}[}(x)((x_{\grave{r}}-x)p_r(x)+(x-x_r)p_{\grave{r}}(x))/(x_{\grave{r}}-x_r)}+{+}_{r=0}^m{\chi_{\{x_r\}}(x)p_r(x)}</math> für <math>m, n \in {}^{\nu}\mathbb{N}</math> und <math>p_r(x) := {+}_{s=0}^n{f^{(s)}(x_r){(x-x_r)}^s/s!}</math> in <math>\mathcal{O}(\sigma mn)</math> zu berechnen, wobei <math>f^{(s)}(x_r) = g^{(s)}(x_r)</math> für alle <math>x_r \in {}^{\omega}\mathbb{R}</math> gilt. Im Komplexen ist <math>{}^{\omega}\mathbb{R}</math> durch <math>{}^{\omega}\mathbb{C}</math> zu ersetzen und es gelte <math>x = \gamma(t) \in {}^{\omega}\mathbb{C}</math> für den Weg <math>\gamma(t)</math> mit <math>t \in {}^{\omega}\mathbb{R}.\square</math> | ||
+ | |||
+ | == Leseempfehlungen == | ||
[https://de.calameo.com/books/00377797710a3d3e2cb97 Nichtstandardmathematik] | [https://de.calameo.com/books/00377797710a3d3e2cb97 Nichtstandardmathematik] | ||
[[en:Main Page]] | [[en:Main Page]] |
Version vom 1. Januar 2024, 13:38 Uhr
Willkommen bei MWiki
Sätze des Monats
Erster Hauptsatz der exakten Differential- und Integralrechnung für KIe
Die Funktion [math]\displaystyle{ F(z)={\uparrow}_{\gamma }{f(\zeta ){\downarrow}\zeta } }[/math] ist mit [math]\displaystyle{ \gamma: [d, x[ \, \cap \, C \rightarrow A \subseteq {}^{(\omega)}\mathbb{K}, C \subseteq \mathbb{R}, f: A \rightarrow {}^{(\omega)}\mathbb{K}, d \in G = [a, b[ \, \cap \, C }[/math] bei Wahl von [math]\displaystyle{ {}^\curvearrowright \gamma(x) = \gamma({}^\curvearrowright x) }[/math] exakt differenzierbar und es gilt für alle [math]\displaystyle{ x \in G }[/math] und [math]\displaystyle{ z = \gamma(x) }[/math]
Beweis
[math]\displaystyle{ {\downarrow}F(z) }[/math] [math]\displaystyle{ ={\uparrow}_{t\in [d,x] \cap C}{f(\gamma (t)){{\gamma }^{\prime}}(t){\downarrow}t}-{\uparrow}_{t\in [d,x[ \, \cap \, C}{f(\gamma (t)){{\gamma }^{\prime}}(t){\downarrow}t} }[/math] [math]\displaystyle{ ={\uparrow}_{x}{f(\gamma (t))\tfrac{\gamma ({}^\curvearrowright t)-\gamma (t)}{{}^\curvearrowright t-t}{\downarrow}t} }[/math] [math]\displaystyle{ =f(\gamma (x)){{\gamma}^{\prime}}(x){\downarrow}x= }[/math] [math]\displaystyle{ \,f(\gamma (x))({}^\curvearrowright\gamma (x)-\gamma (x)) }[/math] [math]\displaystyle{ =f(z){\downarrow}z.\square }[/math]
Zweiter Hauptsatz der exakten Differential- und Integralrechnung für KIe
Mit [math]\displaystyle{ \gamma: G \rightarrow {}^{(\omega)}\mathbb{K} }[/math] gilt wie oben vorausgesetzt
Beweis
[math]\displaystyle{ F(\gamma (b))-F(\gamma (a)) }[/math] [math]\displaystyle{ ={+}_{t\in G}{F({}^\curvearrowright\,\gamma (t))}-F(\gamma (t)) }[/math] [math]\displaystyle{ ={+}_{t\in G}{{{F}^{\prime}}(\gamma (t))({}^\curvearrowright\,\gamma (t)-\gamma (t))} }[/math] [math]\displaystyle{ ={\uparrow}_{t\in G}{{F^{\prime}}(\gamma (t)){{\gamma }^{\prime}}(t){\downarrow}t} }[/math] [math]\displaystyle{ ={\uparrow}_{\gamma }{{F_{{}^\curvearrowright }^{\prime}}(\zeta ){\downarrow}\zeta }.\square }[/math]
Approximationssatz
Die Ableitungen [math]\displaystyle{ f^{(s)}(x) \in {}^{\omega}\mathbb{R} }[/math] für [math]\displaystyle{ x \in {}^{\omega}\mathbb{R} }[/math] erlauben die interpolierende Funktion [math]\displaystyle{ g(x) := {+}_{r=0}^{\acute{m}}{\chi_{]x_r, x_{\grave{r}}[}(x)((x_{\grave{r}}-x)p_r(x)+(x-x_r)p_{\grave{r}}(x))/(x_{\grave{r}}-x_r)}+{+}_{r=0}^m{\chi_{\{x_r\}}(x)p_r(x)} }[/math] für [math]\displaystyle{ m, n \in {}^{\nu}\mathbb{N} }[/math] und [math]\displaystyle{ p_r(x) := {+}_{s=0}^n{f^{(s)}(x_r){(x-x_r)}^s/s!} }[/math] in [math]\displaystyle{ \mathcal{O}(\sigma mn) }[/math] zu berechnen, wobei [math]\displaystyle{ f^{(s)}(x_r) = g^{(s)}(x_r) }[/math] für alle [math]\displaystyle{ x_r \in {}^{\omega}\mathbb{R} }[/math] gilt. Im Komplexen ist [math]\displaystyle{ {}^{\omega}\mathbb{R} }[/math] durch [math]\displaystyle{ {}^{\omega}\mathbb{C} }[/math] zu ersetzen und es gelte [math]\displaystyle{ x = \gamma(t) \in {}^{\omega}\mathbb{C} }[/math] für den Weg [math]\displaystyle{ \gamma(t) }[/math] mit [math]\displaystyle{ t \in {}^{\omega}\mathbb{R}.\square }[/math]