Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Challenging the concept of real tetration
#1
So Kneser derives the real half iterate of the exponential function. I think his proof is great, but he makes use of the complex numbers to obtain his results on the real numbers. Shouldn't a solution on the real numbers have a proof not resorting to complex numbers?
Daniel
Reply
#2
(07/04/2022, 09:56 AM)Daniel Wrote: So Kneser derives the real half iterate of the exponential function. I think his proof is great, but he makes use of the complex numbers to obtain his results on the real numbers. Shouldn't a solution on the real numbers have a proof not resorting to complex numbers?

I dont wanna be rude or annoying but most methods here are not based on complex numbers or complex fixpoints.
We make complex plots to convince ourselves that they are analytic though.

Although most are not proven and such, I find it remarkable that you ask this.

Also simply using the appropriate analytic 1-periodic function theta(z) transforms any analytic tetration to another analytic tetration; by using the simple

tetrationnew(z) = tetrationold(z + theta(z))

In essense even the riemann mapping/kneser mapping is a theta thing.

I recently added my personal ( subjective ?) list of types of ways to do tetration.

most methods (like kneser too ) do not solve directly for a half-iterate ( as you mentioned in the OP ) but instead construct a superfunction or abel function , sexp or slog.

Since ln(z) does not have real fixpoints , it makes sense that many fixpoints methods start from a complex fixpoint.

Also we usually want some kind of uniqueness criterion, although in the last few years we somewhat did not focus on it imo.

Apart from analytic methods there are also C^oo methods.
But the consensus is that analytic is nicer.

I do not see what there " is to challange ".
I see no contraditions.

And i suspect most here feel the same way.


regards

tommy1729
Reply
#3
(07/04/2022, 12:38 PM)tommy1729 Wrote:
(07/04/2022, 09:56 AM)Daniel Wrote: So Kneser derives the real half iterate of the exponential function. I think his proof is great, but he makes use of the complex numbers to obtain his results on the real numbers. Shouldn't a solution on the real numbers have a proof not resorting to complex numbers?

I dont wanna be rude or annoying but most methods here are not based on complex numbers or complex fixpoints.
We make complex plots to convince ourselves that they are analytic though.

Although most are not proven and such, I find it remarkable that you ask this.

Also simply using the appropriate analytic 1-periodic function theta(z) transforms any analytic tetration to another analytic tetration; by using the simple

tetrationnew(z) = tetrationold(z + theta(z))

In essense even the riemann mapping/kneser mapping is a theta thing.

I recently added my personal ( subjective ?) list of types of ways to do tetration.

most methods (like kneser too ) do not solve directly for a half-iterate ( as you mentioned in the OP ) but instead construct a superfunction or abel function , sexp or slog.

Since ln(z) does not have real fixpoints , it makes sense that many fixpoints methods start from a complex fixpoint.

Also we usually want some kind of uniqueness criterion, although in the last few years we somewhat did not focus on it imo.

Apart from analytic methods there are also C^oo methods.
But the consensus is that analytic is nicer.

I do not see what there " is to challange ".
I see no contraditions.

And i suspect most here feel the same way.


regards

tommy1729

Thanks Tommy, I think it is cool that folks have proofs that only use the real numbers.
Daniel

Edit: I apologize for the title. I'm experimenting with stating things in a controversial manner so as to get a response.
Daniel
Reply


Possibly Related Threads…
Thread Author Replies Views Last Post
  Real Multivalued/Parametrized Iteration Groups bo198214 11 494 09/10/2022, 11:56 AM
Last Post: tommy1729
  Constructive real tetration Daniel 1 129 09/01/2022, 05:41 AM
Last Post: JmsNxn
  Real and complex tetration Daniel 1 168 08/17/2022, 01:56 AM
Last Post: JmsNxn
  Complex to real tetration Daniel 1 113 08/14/2022, 04:18 AM
Last Post: JmsNxn
  Constructing a real valued Fibonacci iteration--its relation to \(1/1+z\) JmsNxn 7 272 08/13/2022, 12:05 AM
Last Post: JmsNxn
  Complex to real tetration via Kneser Daniel 3 344 07/02/2022, 02:22 AM
Last Post: Daniel
  Real and complex tetration Daniel 3 333 06/22/2022, 11:16 PM
Last Post: tommy1729
  Ueda - Extension of tetration to real and complex heights MphLee 4 1,359 05/08/2022, 11:48 PM
Last Post: JmsNxn
  A compilation of graphs for the periodic real valued tetrations JmsNxn 1 971 09/09/2021, 04:37 AM
Last Post: JmsNxn
  Constructing real tetration solutions Daniel 4 7,258 12/24/2019, 12:10 AM
Last Post: sheldonison



Users browsing this thread: 1 Guest(s)