Difference between revisions of "Main Page"

From MWiki
Jump to: navigation, search
(Representation theorems for integrals and derivatives)
 
(21 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 ==
−
Intex methods solve every solvable LP in <math>\mathcal{O}({\vartheta}^3)</math>.
+
=== Definition ===
  
−
== Proof and algorithm ==
+
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>
−
Let <math>z := m + n</math> and <math>d \in [0, 1]</math> the density of <math>A</math>. First, normalise and scale <math>{b}^{T}y - {c}^{T}x \le 0, Ax \le b</math> as well as <math>{A}^{T}y \ge c</math>. Let <math>P_r := \{(x, y)^T \in {}^{\omega}\mathbb{R}_{\ge 0}^{z} : {b}^{T}y - {c}^{T}x \le r \in [0, \breve{r}], Ax - b \le \underline{r}_m, c - {A}^{T}y \le \underline{r}_n\}</math> have the radius <math>\breve{r} := s|\min \; \{b_1, ..., b_m, -c_1, ..., -c_n\}|</math> and the scaling factor <math>s \in [1, 2]</math>. It follows <math>\underline{0}_{z} \in \partial P_{\breve{r}}</math>. By the strong duality theorem, LP min <math>\{ r \in [0, \breve{r}] : (x, y)^T \in P_r\}</math> solves LPs max <math>\{{c}^{T}x : c \in {}^{\omega}\mathbb{R}^{n}, x \in {P}_{\ge 0}\}</math> and min <math>\{{b}^{T}y : y \in {}^{\omega}\mathbb{R}_{\ge 0}^{m}, {A}^{T}y \ge c\}</math>.
 
  
−
Its solution is the geometric centre <math>g</math> of the polytope <math>P_0</math>. For <math>p_k^* := \text{min}\,\check{p}_k + \text{max}\,\check{p}_k</math> and <math>k = 1, ..., \grave{z}</math> approximate <math>g</math> by <math>p_0 := (x_0, y_0, r_0)^T</math> until <math>||\Delta p||_1</math> is sufficiently small. The solution <math>t^o(x^o, y^o, r^o)^T</math> of the two-dimensional LP min <math>\{ r \in [0, \breve{r}] : t \in {}^{\omega}\mathbb{R}_{> 0}, t(x_0, y_0)^T \in P_r\}</math> approximates <math>g</math> better and achieves <math>r \le \tilde{2}\breve{r}</math>. Repeat this for <math>t^o(x^o, y^o)^T</math> until <math>g \in P_0</math> is computed in <math>\mathcal{O}({}_2\breve{r}^2dmn)</math> if it exists.
+
=== Representation theorem for integrals ===
  
−
Solving all two-dimensional LPs <math>\text{min}_k r_k</math> by bisection methods for <math>r_k \in {}^{\omega}\mathbb{R}_{\ge 0}</math> and <math>k = 1, ..., z</math> in <math>\mathcal{O}({\vartheta}^2)</math> each time determines <math>q \in {}^{\omega}\mathbb{R}^k</math> where <math>q_k := \Delta p_k \Delta r_k/r</math> and <math>r := \text{min}_k \Delta r_k</math>. Let simplified <math>|\Delta p_1| = … = |\Delta p_{z}|</math>. Here min <math>r_{\grave{z}}</math> for <math>p^* := p + wq</math> and <math>w \in {}^{\omega}\mathbb{R}_{\ge 0}</math> may be solved, too. If <math>\text{min}_k \Delta r_k r = 0</math> follows, stop computing, otherwise repeat until min <math>r = 0</math> or min <math>r > 0</math> is sure.<math>\square</math>
+
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: ====
 +
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 readings ==
 
 
[https://en.calameo.com/books/003777977258f7b4aa332 Nonstandard Mathematics]
 
[https://en.calameo.com/books/003777977258f7b4aa332 Nonstandard Mathematics]
  
 
[[de:Hauptseite]]
 
[[de:Hauptseite]]

Latest 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"