Cyclic complex functions and uniqueness
#11
I dont know what you mean, Gottfried, the definition
\( \exp^0(t)=t \)
\( \exp^{n+1}(t)=\exp(\exp^n(t)) \)
uniquely defines \( \exp^n \) for any natural \( n \). This definition is equivalent to if you substitute in the second line
\( \exp^{n+1}(t)=\exp^n(\exp(t)) \).
So the finite iterations are equal and hence also the limit for \( n\to\infty \)!?

But lets continue this discussion of Dmitrii's article in the other thread. As this thread is about cyclic complex functions.
#12
bo198214 Wrote:I dont know what you mean, Gottfried, the definition
\( \exp^0(t)=t \)
\( \exp^{n+1}(t)=\exp(\exp^n(t)) \)
uniquely defines \( \exp^n \) for any natural \( n \). This definition is equivalent to if you substitute in the second line
\( \exp^{n+1}(t)=\exp^n(\exp(t)) \).
So the finite iterations are equal and hence also the limit for \( n\to\infty \)!?

But lets continue this discussion of Dmitrii's article in the other thread. As this thread is about cyclic complex functions.
Hmm, Henryk -

I don't know how to say more than in the previous msg.

In

lim n->oo \( \exp^{n}(t)=\exp(\exp^{n-1}(t)) \)

we have

\( \exp^{\infty}(t)=\exp(\exp^{\infty}(t)) \)

and we have to evaluate the limit to evaluate the limit...
Perhaps another view makes my problem better visible. Look at D.F.Barrow's (*1) illustration

   

This images suggests a sequence of parameters, indexed from 0 to n, but which we had to evaluate beginning at n instead of 0 according to right associativity of the operation. However, the convention of partial evaluation to the approximate result would be a0, a0^a1, a0^a1^a2,...

Again hmm, I cannot say more. If it isn't sufficient to explain my concern, then I'm rather helpless, and am apparently facing another mystery of math from outside (of the game)...

Gottfried
(*1) D.F.Barrow; Infinite Exponentials;
The American Mathematical Monthly, Vol. 43, no. 3 (Mar., 1936), 150-160

(Sorry, I still appended my reply still in this thread - seemed a bit strange to change the place. You may reorder as you think it is appropriate)
Gottfried Helms, Kassel
#13
Gottfried, if the definitions agree on finite arguments then they also agree in the limit, this is a triviality. Everything else is a matter of taste.

If we define
\( \exp^0(x)=x \)
\( \exp^{n+1}(x)=\exp^n(\exp(x)) \)
then of course also
\( \exp^{n+1}(x)=\exp(\exp^n(x)) \)
and vice versa.
If you want, you can prove that by induction.


Possibly Related Threads…
Thread Author Replies Views Last Post
  Real tetration as a limit of complex tetration Daniel 6 1,557 10/10/2023, 03:23 PM
Last Post: leon
  4 hypothesis about iterated functions Shanghai46 11 2,879 04/22/2023, 08:22 PM
Last Post: Shanghai46
  Question about the properties of iterated functions Shanghai46 9 2,239 04/21/2023, 09:07 PM
Last Post: Shanghai46
  Real and complex tetration Daniel 13 4,120 04/04/2023, 10:25 AM
Last Post: JmsNxn
  Computing sqrt 2 with rational functions. tommy1729 0 452 03/31/2023, 11:49 AM
Last Post: tommy1729
  [NT] Caleb stuff , mick's MSE and tommy's diary functions tommy1729 0 465 02/26/2023, 08:37 PM
Last Post: tommy1729
  Evaluating Arithmetic Functions In The Complex Plane Caleb 6 1,793 02/20/2023, 12:16 AM
Last Post: tommy1729
  Range of complex tetration as real Daniel 2 1,322 10/22/2022, 08:08 PM
Last Post: Shanghai46
  From complex to real tetration Daniel 3 1,586 10/21/2022, 07:55 PM
Last Post: Daniel
  Bessel functions and the iteration of \(e^z -1 \) JmsNxn 8 2,609 09/09/2022, 02:37 AM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)