Difference between revisions of "Main Page"

From MWiki
Jump to: navigation, search
(Representation theorems for integrals and derivatives)
(Green's theorem)
Line 1: Line 1:
 
__NOTOC__
 
__NOTOC__
 
= Welcome to MWiki =
 
= Welcome to MWiki =
−
== Theorems of the month ==
+
== Theorem of the month ==
−
=== Definition ===
+
=== Green's theorem ===
  
−
Let <math>f_n^*(z) = f(\eta_nz)</math> <em>sisters</em> of the Taylor series <math>f(z) \in \mathcal{O}(D)</math> centred on 0 on the domain <math>D \subseteq {}^{\omega}\mathbb{C}</math> where <math>m, n \in {}^{\omega}\mathbb{N}^{*}</math> and <math>\eta_n^m := i^{2^{\lceil m/n \rceil}}</math>. Then let <math>\delta_n^*f = \tilde{2}(f - f_n^*)</math> the <em>halved sister distances</em> of <math>f.</math> For <math>\mu_n^m := m!n!/(m + n)!</math>, <math>\mu</math> and <math>\eta</math> form an calculus, which can be resolved on the level of Taylor series and allows an easy and finite closed representation of integrals and derivatives.<math>\triangle</math>
+
For some <math>h</math>-domain <math>D \subseteq {}^{(\omega)}\mathbb{R}^{2}</math>, infinitesimal <math>h = |{\downarrow}x|= |{\downarrow}y| = |{}^\curvearrowright \gamma(t) - \gamma(t)| = \mathcal{O}({\tilde{\omega}}^{m})</math>, sufficiently large <math>m \in \mathbb{N}^{*}, (x, y) \in D, {D}^{-} := \{(x, y) \in D : (x + h, y + h) \in D\}</math>, and a simply closed path <math>\gamma: [a, b[\rightarrow {\downarrow} D</math> followed anticlockwise, choosing <math>{}^\curvearrowright \gamma(t) = \gamma({}^\curvearrowright t)</math> for <math>t \in [a, b[, A \subseteq {[a, b]}^{2}</math>, the following equation holds for sufficiently <math>\alpha</math>-continuous functions <math>u, v: D \rightarrow \mathbb{R}</math> with not necessarily continuous <math>{\downarrow} u/{\downarrow} x, {\downarrow} u/{\downarrow} y, {\downarrow} v/{\downarrow} x</math> and <math>{\downarrow} v/{\downarrow} y</math><div style="text-align:center;"><math>{\uparrow}_{\gamma }{(u\,{\downarrow}x+v\,{\downarrow}y)}={\uparrow}_{(x,y)\in {{D}^{-}}}{\left( \tfrac{{\downarrow} v}{{\downarrow} x}-\tfrac{{\downarrow} u}{{\downarrow} y} \right){\downarrow}(x,y)}.</math></div>
−
 
 
−
=== Representation theorem for integrals ===
 
−
 
 
−
The Taylor series (see below) <math>f(z) \in \mathcal{O}(D)</math> centred on 0 on <math>D \subseteq {}^{\omega}\mathbb{C}</math> gives for <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>
 
−
 
 
−
=== Representation theorem for derivatives ===
 
−
 
 
−
For <math>\mathbb{B}_{\hat{\nu}}(0) \subset  D \subseteq {}^{\omega}\mathbb{C},</math> the Taylor series<div style="text-align:center;"><math>f(z):=f(0) + {+}_{m=1}^{\omega }{\widetilde{m!}\,{{f}^{(m)}}(0){z^m}},</math></div><math>b_{\varepsilon n} := \hat{\varepsilon}\,\acute{n}! = 2^j, j, n \in {}^{\omega}\mathbb{N}^{*}, \varepsilon \in ]0, r^n[, {{d}_{\varepsilon k n}}:={{\varepsilon}^{{\hat{n}}}}{e}^{\hat{n}k\tau i}</math> and <math>f</math>'s radius of convergence <math>r \in {}^{\nu}{\mathbb{R}}_{&gt;0}</math> imply<div style="text-align:center;"><math>{{f}^{(n)}}(0)=b_n{+}_{k=1}^{n}{\delta_n^* f(\varepsilon u^k)}.</math></div>
 
  
 
==== Proof: ====
 
==== Proof: ====
−
Taylor's theorem<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> and the properties of the roots of unity.<math>\square</math>
+
Only <math>D := \{(x, y) : r \le x \le s, f(x) \le y \le g(x)\}, r, s \in {}^{(\omega)}\mathbb{R}, f, g : {\downarrow} D \rightarrow {}^{(\omega)}\mathbb{R}</math> is proved, since the proof is analogous for each case rotated by <math>\iota</math>. Every <math>h</math>-domian is union of such sets. Simply showing <div style="text-align:center;"><math>{\uparrow}_{\gamma }{u\,{\downarrow}x}=-{\uparrow}_{(x,y)\in {{D}^{-}}}{\tfrac{{\downarrow} u}{{\downarrow} y}{\downarrow}(x,y)}.</math></div> is sufficient because the other relation is given analogously. Neglecting the regions of <math>\gamma</math> with <math>{\downarrow}x = 0</math> and <math>t := h(u(s, g(s)) - u(r, g(r)))</math> shows <div style="text-align:center;"><math>-{\uparrow}_{\gamma }{u\,{\downarrow}x}-t={\uparrow}_{r}^{s}{u(x,g(x)){\downarrow}x}-{\uparrow}_{r}^{s}{u(x,f(x)){\downarrow}x}={\uparrow}_{r}^{s}{{\uparrow}_{f(x)}^{g(x)}{\tfrac{{\downarrow} u}{{\downarrow} y}}{\downarrow}y{\downarrow}x}={\uparrow}_{(x,y)\in {{D}^{-}}}{\tfrac{{\downarrow} u}{{\downarrow} y}{\downarrow}(x,y)}.\square</math></div>
−
 
 
−
== Reference ==
 
−
<references />
 
  
 
== Recommended reading ==
 
== Recommended reading ==

Revision as of 03:32, 1 May 2023

Welcome to MWiki

Theorem of the month

Green's theorem

For some [math]\displaystyle{ h }[/math]-domain [math]\displaystyle{ D \subseteq {}^{(\omega)}\mathbb{R}^{2} }[/math], infinitesimal [math]\displaystyle{ h = |{\downarrow}x|= |{\downarrow}y| = |{}^\curvearrowright \gamma(t) - \gamma(t)| = \mathcal{O}({\tilde{\omega}}^{m}) }[/math], sufficiently large [math]\displaystyle{ m \in \mathbb{N}^{*}, (x, y) \in D, {D}^{-} := \{(x, y) \in D : (x + h, y + h) \in D\} }[/math], and a simply closed path [math]\displaystyle{ \gamma: [a, b[\rightarrow {\downarrow} D }[/math] followed anticlockwise, choosing [math]\displaystyle{ {}^\curvearrowright \gamma(t) = \gamma({}^\curvearrowright t) }[/math] for [math]\displaystyle{ t \in [a, b[, A \subseteq {[a, b]}^{2} }[/math], the following equation holds for sufficiently [math]\displaystyle{ \alpha }[/math]-continuous functions [math]\displaystyle{ u, v: D \rightarrow \mathbb{R} }[/math] with not necessarily continuous [math]\displaystyle{ {\downarrow} u/{\downarrow} x, {\downarrow} u/{\downarrow} y, {\downarrow} v/{\downarrow} x }[/math] and [math]\displaystyle{ {\downarrow} v/{\downarrow} y }[/math]

[math]\displaystyle{ {\uparrow}_{\gamma }{(u\,{\downarrow}x+v\,{\downarrow}y)}={\uparrow}_{(x,y)\in {{D}^{-}}}{\left( \tfrac{{\downarrow} v}{{\downarrow} x}-\tfrac{{\downarrow} u}{{\downarrow} y} \right){\downarrow}(x,y)}. }[/math]

Proof:

Only [math]\displaystyle{ D := \{(x, y) : r \le x \le s, f(x) \le y \le g(x)\}, r, s \in {}^{(\omega)}\mathbb{R}, f, g : {\downarrow} D \rightarrow {}^{(\omega)}\mathbb{R} }[/math] is proved, since the proof is analogous for each case rotated by [math]\displaystyle{ \iota }[/math]. Every [math]\displaystyle{ h }[/math]-domian is union of such sets. Simply showing

[math]\displaystyle{ {\uparrow}_{\gamma }{u\,{\downarrow}x}=-{\uparrow}_{(x,y)\in {{D}^{-}}}{\tfrac{{\downarrow} u}{{\downarrow} y}{\downarrow}(x,y)}. }[/math]

is sufficient because the other relation is given analogously. Neglecting the regions of [math]\displaystyle{ \gamma }[/math] with [math]\displaystyle{ {\downarrow}x = 0 }[/math] and [math]\displaystyle{ t := h(u(s, g(s)) - u(r, g(r))) }[/math] shows

[math]\displaystyle{ -{\uparrow}_{\gamma }{u\,{\downarrow}x}-t={\uparrow}_{r}^{s}{u(x,g(x)){\downarrow}x}-{\uparrow}_{r}^{s}{u(x,f(x)){\downarrow}x}={\uparrow}_{r}^{s}{{\uparrow}_{f(x)}^{g(x)}{\tfrac{{\downarrow} u}{{\downarrow} y}}{\downarrow}y{\downarrow}x}={\uparrow}_{(x,y)\in {{D}^{-}}}{\tfrac{{\downarrow} u}{{\downarrow} y}{\downarrow}(x,y)}.\square }[/math]

Recommended reading

Nonstandard Mathematics

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