Difference between revisions of "Main Page"

From MWiki
Jump to: navigation, search
(Green's theorem)
(Representation theorems for integrals and derivatives)
(15 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
__NOTOC__
 
__NOTOC__
 
= Welcome to MWiki =
 
= Welcome to MWiki =
−
== Theorem of the month ==
+
== Theorems of the month ==
−
=== Green's theorem ===
+
=== Definition ===
  
−
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>
+
Let <math>f_n^*(z) = f(\eta_nz)</math> <em>sisters</em> of the Taylor series <math>f(z) \in \mathcal{O}(\mathbb{D})</math> centred on 0 on the domain <math>\mathbb{D} \subseteq {}^{\omega}\mathbb{C}</math> where <math>m, n \in {}^{\omega}\mathbb{N}^{*}</math> and <math>\eta_n^m := \underline{1}^{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>
 +
 
 +
=== Representation theorem for integrals ===
 +
 
 +
The Taylor series (see below) <math>f(z) \in \mathcal{O}(\mathbb{D})</math> centred on 0 on <math>\mathbb{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>{}^{\widetilde{\nu}}\dot{\mathbb{C}} \subset \mathbb{D} \subseteq {}^{\omega}\mathbb{C},</math> the Taylor series<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> 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)=2^{jn}\acute{n}!{\LARGE{\textbf{+}}}_{k=1}^{n}{\delta_n^* f(\tilde{2}^j u^k)}.</math></div>
  
 
==== Proof: ====
 
==== Proof: ====
−
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>
+
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>
 +
 
 +
== Reference ==
 +
<references />
  
 
== Recommended reading ==
 
== Recommended reading ==

Revision as of 23:05, 31 March 2024

Welcome to MWiki

Theorems of the month

Definition

Let [math]\displaystyle{ f_n^*(z) = f(\eta_nz) }[/math] sisters of the Taylor series [math]\displaystyle{ f(z) \in \mathcal{O}(\mathbb{D}) }[/math] centred on 0 on the domain [math]\displaystyle{ \mathbb{D} \subseteq {}^{\omega}\mathbb{C} }[/math] where [math]\displaystyle{ m, n \in {}^{\omega}\mathbb{N}^{*} }[/math] and [math]\displaystyle{ \eta_n^m := \underline{1}^{2^{\lceil m/n \rceil}} }[/math]. Then let [math]\displaystyle{ \delta_n^*f = \tilde{2}(f - f_n^*) }[/math] the halved sister distances of [math]\displaystyle{ f. }[/math] For [math]\displaystyle{ \mu_n^m := m!n!/(m + n)! }[/math], [math]\displaystyle{ \mu }[/math] and [math]\displaystyle{ \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]\displaystyle{ \triangle }[/math]

Representation theorem for integrals

The Taylor series (see below) [math]\displaystyle{ f(z) \in \mathcal{O}(\mathbb{D}) }[/math] centred on 0 on [math]\displaystyle{ \mathbb{D} \subseteq {}^{\omega}\mathbb{C} }[/math] gives for [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]

Representation theorem for derivatives

For [math]\displaystyle{ {}^{\widetilde{\nu}}\dot{\mathbb{C}} \subset \mathbb{D} \subseteq {}^{\omega}\mathbb{C}, }[/math] the Taylor series

[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] and [math]\displaystyle{ f }[/math]'s radius of convergence [math]\displaystyle{ r \in {}^{\nu}{\mathbb{R}}_{>0} }[/math] imply

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

Proof:

Taylor's theorem[1] and the properties of the roots of unity.[math]\displaystyle{ \square }[/math]

Reference

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

Recommended reading

Nonstandard Mathematics

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