Uniqueness of tetration. Small lemma.
#1
I try to simplify the proof of uniqueness of holomorphic tetration by bo198214.

Let \( u \in \mathbb{R} \) and \( v \in \mathbb{R} \) and \( v>0 \)
Let \( \mathcal{S}=\{z\in \mathbb{C} : u<\Re(z)<u+1+v} \)
Let \( \alpha \) be entire 1-periodic function.
Let \( \mathcal{D}=\alpha(\mathcal{S}) \).

According to the Picard’s Little Theorem [1],
either \( \alpha \) is trivial function (constant),
or \( \mathcal{D}=\mathbb{C} \) or \( \exists c \in \mathbb{C} \) such that \( \mathbb{C}=\mathcal{D} \cup c \).

Let \( \mu(z)=z-\alpha(z) \forall z \in \mathbb{C} \).
Let \( \mathcal{E}=\mu(\mathcal{S}) \)

Assume, \( \alpha \) is not constant.
How to prove that at least one of these two statements is true: \( -2\in \mathcal{E} \), \( -3\in \mathcal{E} \)
?

[1] Weisstein, Eric W. ”Picard’s Little Theorem.” From MathWorld–A Wolfram Web Resource. http://mathworld.wolfram.com/PicardsLittleTheorem.html
Reply
#2
But if you had this lemma, how would you continue with the uniqueness of tetration?
Reply
#3
bo198214 Wrote:... if you had this lemma, how would you continue with the uniqueness of tetration?
Did not you found the tail01.tex, or do you just want to have it posted on the forum?
I go to copypast it here; I'll convert it from latex and copyedit a bit.
Reply
#4
Kouznetsov Wrote:
bo198214 Wrote:... if you had this lemma, how would you continue with the uniqueness of tetration?
Did not you found the tail01.tex, or do you just want to have it posted on the forum?
I go to copypast it here; I'll convert it from latex and copyedit a bit.

Dmitrii, a forum is not for private communaction, either post it that everybody has a chance to understand or dont post at all.

PS: I just saw that my previous post was nonsense, I changed it accordingly.
Reply
#5
Lemma is not yet ready, but Bo asked me about pics of slightly modified tetration.
I consider the simplest possible modification of tetration

\( \mathrm{tem}(z)=\mathrm{tet}(J(z)) \)

where \( J(z)=z+a\cdot\sin(2 \pi z) \)

Such modified tetration satisfies the tetration equaitons,

\( \mathrm{tem}(z+1)=\exp(\mathrm{tem}(z)) \),

\( \mathrm{tem}(0)=1 \)

For \( a=10^{-9} \), the function \( J \) is plotted in the complex plane

   

It is almost identical function, but the defiation is seen, if the imaginary part becomes of larget than 3.

Now, the plot of modified tetration:
   
The grid shown occupies the range [-10,10], [-4,4] with step unity.
Levels of integer values of \( \Re(\mathrm{tem} \) and
Levels of integer values of\( \Im(\mathrm{tem} \) are plotted.

Below I show the zoom-in of the part of the previoous figure:

   
There are cutlines there. The structure in the upper part folloes the topology of tetration, but it is reduced in size and strongly deformed.

For highest harmonics like \( \sin(4\pi z) \) or \( 1\!-\!\cos(4\pi z) \), added to the argument of tetration in definition of mofified tetratio "tem", the
structures of cuts is smaller, denser and approach closer to the real axis.

If some function \( F \) satisfies equations
\( \mathrm{tem}(0)=1 \)
\( \mathrm{tem}(z\!+\!1)=\exp(\mathrm{tem}(z)) \forall z : |\Re(z)|<1, |\Im(z)|<4 \),
and for some \( x\in \mathbb{R} : -1\!<\!x\!<\! 0 \), the function differ from tetration for at least \( 10^{−9} \), id est,
\( |Fxz)\!-\!\mathrm{tet}(x)| > 10^{-9} \).

then function \( F \) is not holomorphic in
\( \{z\in \mathbb{C}: |\Re(z)|<1, |\Im(z)|<4 \} \)

In such a way, any deformation of tetration (even small) breaks its continuity.

See also
http://en.citizendium.org/wiki/Tetration
Reply
#6
bo198214 Wrote:But if you had this lemma, how would you continue with the uniqueness of tetration?

First, I repeat my Lemma: Let

\( S = \{ z \in \mathbb{C} {\text \bf ~:~} |\Re(z)| {\!\le\!} 1 \} \)

\( M = \{ n \in \mathbb{N} {\text \bf ~:~} n {\!\le\!} -2 \} \)

\( h \) is entire 1-periodic funcrion

\( h\big(z^{*}\big) = h(z)^{*} ~ \forall~ z ~\in \mathbb{C} \)

\( h(0) = 0 \)

\( h(x) \ne 0 \) for some \( x \in \mathbb{R} \)

\( J(z) = z+h(z) ~~~ \forall~ z ~\in \mathbb{C} \)

Then \( \exists t \in S {\text \bf ~:~} J(t)\in M \)

(end of Lemma 1).

This lemma does not requre any knowledge about properties of tetration.

Now, how do I apply it:

Assume some fixed base \( b\!>\!0 \) and let \( F(z)=\mathrm{tet}_{b}(z) \) within the range of holomorphism of tetration, id est, in the complex plane except some set of measure zero.
This set includes one line \( z {\!\le\!}-2 \), and, at \( 1 \!<\! b \!<\! \exp(1/\mathrm{e}) \),
additional horizontal cut lines that correspond to the periodicity of tetration.

Assume there exist some function \( G(z) \) which is also holomorphic within some region \( s \),
which includes at least some vicinity of the segment
\( |\Re(z)| \! {\!\le\!} \! 1 \).

Assume also, that function \( f=G \) is holomorphic at least in \( \{z\in \mathbb{C} {\text \bf ~:~ \Re(z)>-2 \} \) and

\( f(z+1)=\exp\big( f(z) \big) \)

\( f(0)=1 \)

\( f\big(z^{*}\big)=f(z)^{*} \)

\( f^{\prime}(x) > 0 \forall x> -2 \)

and \( G \) is not tetration \( F \). (Tetration \( F \) satisfies the equations above)

Then, there exist function \( J \) such that in vicinity of the segment
\( [-1,1] \) function \( G \) can be expressed as follows:
\( G=F\big(J(z)\big) \)
and, in some vicinity of the same segment,
\( J(z)=F^{-1}\big( G(z) \big) \)

We need this expression only in vicinity of the segment \( [-1,1] \); therefore, we have no need to specify, which of \( G^{-1} \) we mean.

There exist only one holomorphic extension of a function in a domain of trivial topology.
Therefore, we can extend the function \( J \) outside of the range of definition.
Consider function
\( h(z)=J(z)-z \)
Assuming that \( F \) and \( G \) are not identical in the segment \( [-1,1] \), function \( h \) should not be identically zero. This function also allows the holomorphic extension. Consider behavior of function \( h \) in the complex plane. This extension should be periodic, satisfying conditions of my Lemma.
Therefore, function \( J \) should take values from set \( M \) inside domain \( S \). Function \( F \) has singularities at these points.
Therefore, function \( G \) has singularities in the domain \( S \). With these singulatiries,
function \( G \) does not satisfy the criterion in the definition of tetration.
In such a way, there exist only one tetration, that is strictly increasing function in the segment \( [-1,1] \).
Reply
#7
Now that I can understand it, this is an amazing graph, showing the fractal copies of the main tetration curve distorted and duplicated with singularities into each vertical strip of the function.

In the tetration curve, the imaginary value for f(z) at the real axis is equal to zero for all z>=-2. For the solution based on the fixed point, is the imaginary value of f(z) nonzero everywhere outside of the real axis? Otherwise it would seem likely that there would be other singularities, outside of the real axis.
- Sheldon
Reply
#8
sheldonison Wrote:..
In the tetration curve, the imaginary value for f(z) at the real axis is equal to zero for all z>=-2. For the solution based on the fixed point, is the imaginary value of f(z) nonzero everywhere outside of the real axis?
..
What does it mean, "based on the fixed point"? Do you mean the case of other base?
For base \( 1<b<\exp(1/e) \), there are two real fixed points.
We may use any of them to build-up the "real" super-exponential.
Both resulting superexponentials have imaginary periods.
If such a superexponential has zero somewhere (for example, at minus unity),
then it has countable set of zeros.

sheldonison Wrote:..
Otherwise it would seem likely that there would be other singularities, outside of the real axis.
Yes, at \( 1<b<\exp(1/e) \), the superexponential F such that F(0)=1 is periodic; hence, just translate the singularity at -2 for the period, and you get the singularity outside the real axis. See the picture for b=sqrt(2) at
http://en.citizendium.org/wiki/Image:Hol...rt2v01.jpg
It shows one additional singularity and the corresponding cut line.
Reply
#9
Kouznetsov Wrote:
sheldonison Wrote:..
In the tetration curve, the imaginary value for f(z) at the real axis is equal to zero for all z>=-2. For the solution based on the fixed point, is the imaginary value of f(z) nonzero everywhere outside of the real axis?
...
Otherwise it would seem likely that there would be other singularities, outside of the real axis.
What does it mean, "based on the fixed point"? Do you mean the case of other base?
I was refering to the base e solution.

Khoustenov earlier wrote:
Kouznetsov Wrote:\( \mathrm{tem}(z)=\mathrm{tet}(J(z)) \)
where \( J(z)=z+a\cdot\sin(2 \pi z) \)
In your equation, you have the original tet(z) and you also have tem(z)=tet(J(z)). When I said "solution based on a fixed point", I was referring to tet(z), the "correct" solution, rather than the modified tem(z) equation, with the extra singularities.

For tet(z), is the only contour line where \( \Im(\text{tet}(z))=0 \) at the real axis, for z>-2?
Just realized this cannot be true, since \( \Im(e^{(\pi*k*i)})=0 \). So when the imaginary part >=pi, contours where the imaginary component is zero arise.


For the modified equation tem(z)=tet(J(z)), the fractal copies of the real axis (including the singularities) occur where \( \Im(\text{tem}(z))=0 \), and these occur where there is a contour of \( \Im(J(z))=0 \). Wherever there is a contour line for \( \Im(J(z))=0 \) outside of the real axis, a distorted copy of the original tet(z) real axis gets generated.

All of this seems to imply that the contours of \( \Im(\text{tem}(z))=0 \) (outside the real axis) have much more to do with the particular one-cyclic \( \theta(z) \) function, where \( J(z)=z+\theta(z) \), then with tet(z) itself.
- Sheldon
Reply
#10
sheldonison Wrote:In the tetration curve, the imaginary value for f(z) at the real axis is equal to zero for all z>=-2. For the solution based on the fixed point, is the imaginary value of f(z) nonzero everywhere outside of the real axis?
...
I was refering to the base e solution.
..
For tet(z), is the only contour line where \( \Im(\text{tet}(z))=0 \) at the real axis, for z>-2?
No.
The part of the real axis is not the only contour where \( \Im(\text{tet}(z))=0 \).
There are many of them in the right hand side of the complex plane.
Both real and imaginary parts of \( \Im(\text{tet}(z)) \) have huge values in vicinity of the real axis. Many times the imaginary part passes through the values that are integer factors of \( \pi \)
Each line \( \Im(\text{tet}(z))=\pi n , n \in \mathbb{N} \), at the unity translation \( z \rightarrow z+1 \), produces the line \( \Im(\text{tet}(z))=0 \),
These lines form the complicated structure.
The fractal of lines \( \Im(\text{tet}(z))=0 \) is shown in fig.2 at
http://www.ils.uec.ac.jp/~dima/PAPERS/2009fractal.pdf

sheldonison Wrote:Just realized this cannot be true, since \( \Im(e^{(\pi*k*i)})=0 \). So when the imaginary part >=pi, contours where the imaginary component is zero arise.
Yes.

sheldonison Wrote:For the modified equation tem(z)=tet(J(z)), the fractal copies of the real axis (including the singularities) occur where \( \Im(\text{tem}(z))=0 \), and these occur where there is a contour of \( \Im(J(z))=0 \). Wherever there is a contour line for \( \Im(J(z))=0 \) outside of the real axis, a distorted copy of the original tet(z) real axis gets generated.
Yes. In the paper mentioned, the example with modified tetration is also considered.
However, we have no need to modify the tetration in order to have lines \( \Im(\text{tet}(z))=0 \)
outside the real axis, but these lines are at \( \Re(z)>2 \).
sheldonison Wrote:... the contours of \( \Im(\text{tem}(z))=0 \) (outside the real axis) have much more to do with the particular one-cyclic \( \theta(z) \) function, where \( J(z)=z+\theta(z) \), then with tet(z) itself.
Yes.
The multiple reproduction of reduced and deformed patterns is not a specific property of a tetration.
Take any other function with beautiful pattern in the complex plane, modify its argument with function J , and you get the fractal of the modified patterns at the plot.
Reply


Possibly Related Threads…
Thread Author Replies Views Last Post
  Uniqueness of fractionally iterated functions Daniel 7 5,201 07/05/2022, 01:21 AM
Last Post: JmsNxn
  Universal uniqueness criterion? bo198214 57 140,486 06/28/2022, 12:00 AM
Last Post: JmsNxn
  A question concerning uniqueness JmsNxn 4 12,689 06/10/2022, 08:45 AM
Last Post: Catullus
  Small research update MphLee 2 2,937 10/26/2021, 12:22 AM
Last Post: MphLee
  [Exercise] A deal of Uniqueness-critrion:Gamma-functionas iteration Gottfried 6 10,715 03/19/2021, 01:25 PM
Last Post: tommy1729
  A conjectured uniqueness criteria for analytic tetration Vladimir Reshetnikov 13 32,089 02/17/2017, 05:21 AM
Last Post: JmsNxn
  Uniqueness of half-iterate of exp(x) ? tommy1729 14 39,728 01/09/2017, 02:41 AM
Last Post: Gottfried
  Removing the branch points in the base: a uniqueness condition? fivexthethird 0 4,243 03/19/2016, 10:44 AM
Last Post: fivexthethird
  [2014] Uniqueness of periodic superfunction tommy1729 0 4,808 11/09/2014, 10:20 PM
Last Post: tommy1729
  [Collatz] Tommy's collatz lemma tommy1729 0 4,260 09/11/2014, 08:48 AM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)