User talk:Dmitrii Kouznetsov/Analytic Tetration: Difference between revisions
imported>Dmitrii Kouznetsov (New page: ==Henryk Trappmann 's theorems== ===Theorem T1.=== '''Let''' <math>~F~</math> be holomorphic on the right half plane '''let''' <math>~F(z+1)=zF(z)~</math> for all <math>~z~</math> suc...) |
imported>Dmitrii Kouznetsov |
||
Line 16: | Line 16: | ||
'''Then''' <math>~E~</math> is [[exponential]] on base <math>~b~</math>, id est, | '''Then''' <math>~E~</math> is [[exponential]] on base <math>~b~</math>, id est, | ||
<math>~E=\exp_b~</math>. | <math>~E=\exp_b~</math>. | ||
'''Proof'''. | |||
We know that every other solution must be of the form <math>~g(z)=f(z+p(z))~ <math> | |||
where <math>~ p~</math> is a 1-periodic holomorphic funciton. | |||
This can roughly be seen by showing periodicity of <math>~h(z)=f^{-1} (g(z))-z~ </math>. | |||
<math>~ f(z+p(z))=b^{z+p(z))=b^{p(z)}b^z=b^p(z)f(z)~=q(z)f(z) ~</math> | |||
where <math>~ q(z)=b^p(z) ~</math> is also a 1-periodic funciton, | |||
While each of <math>~f~</math> and <math>~g~</math> is bounded on | |||
<math>\set S </math>, | |||
<math>~q~</math>, must be bounded too. | |||
===Theorem T3=== | ===Theorem T3=== | ||
'''Let''' <math>~\phi=\frac{1+\sqrt{5}}{2}~</math>. </br> | '''Let''' <math>~\phi=\frac{1+\sqrt{5}}{2}~</math>. </br> |
Revision as of 06:17, 29 September 2008
Henryk Trappmann 's theorems
Theorem T1.
Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~F~}
be holomorphic on the right half plane
let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~F(z+1)=zF(z)~}
for all Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~z~}
such that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~\Re(z)>0~}
.
Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~F(1)=1~}
.
Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F}
be bounded on the strip Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~1 \le \Re(z)<2 ~}
.
Then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~F~}
is the gamma function.
Theorem T2
Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~E~} be solution of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~ E(z+1)=b E(x)~} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~ E(1)=b ~} , bounded in the strip Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~ 0\le \Re(z)<1 ~} .
Then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~E~} is exponential on base Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~b~} , id est, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~E=\exp_b~} .
Proof. We know that every other solution must be of the form Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~g(z)=f(z+p(z))~ <math> where <math>~ p~} is a 1-periodic holomorphic funciton. This can roughly be seen by showing periodicity of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~h(z)=f^{-1} (g(z))-z~ } .
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~ f(z+p(z))=b^{z+p(z))=b^{p(z)}b^z=b^p(z)f(z)~=q(z)f(z) ~}
where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~ q(z)=b^p(z) ~} is also a 1-periodic funciton,
While each of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~f~} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~g~} is bounded on Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \set S } , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~q~} , must be bounded too.
Theorem T3
Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~\phi=\frac{1+\sqrt{5}}{2}~}
.
Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~F(z+1)=F(z)+F(z-1)~}
Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~F(0)=1~}
Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~F(1)=1~}
Then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~F(z)=\frac{\phi^{z}- (1-\phi)^z}{\sqrt{5}}}
Discussion. Id est, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~F~} is Fibbonachi function.
Theorem T4
Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~b> \exp(1/\mathrm e)~}
.
Let each of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~F_1~}
and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~F_2~}
satisfies conditions
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~\exp_b(F(z))=F(z+1)~} for Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Re(z)>-2}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~F(z)~}
is holomorphic function, bounded in the strip Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~|\Re(z)| \le 1 ~}
.
Then Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~F_1=F_2~ }
Discussion. Such Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~F~} is unique tetration on the base Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ~b~} .