Qs on extension of continuous iterations from analytic functs to non-analytic
#1
Idk if it's time to talk about continuous iterations for non-analytic functions that can still be defined on the whole complex plane, but these ideas did disastrously harm to my brain lol.

I worked out some cases last year, these are my results.

Consider any function g(x):R->R, then we consider a function f(z), which geometrically rotates the original plane in a way that cut the plane into infinitely many slices in the shape of ring, all locates its center at the origin, each ring-shaped slice has its own rotation angle, which can be written as:
\[f(z)=ze^{ig(\|z\|)}\]
Then, we can easily prove and get a continuous iteration(but only to real orders) of f(z) following these steps:
\[\text{For real t, }f^t(z)=ze^{itg(\|z\|)}\]
Remember abs(e^(it))=1 for real t,
\[\text{proof: For real s and t, }f^{s+t}(z)=ze^{i(s+t)g(\|z\|)}=ze^{itg(\|z\|)}e^{isg(\|z\|)}=\bigg(ze^{itg(\|z\|)}\bigg)e^{isg\big(\|ze^{itg(\|z\|)}\|\big)}=f^s(f^t(z))\]
it's easy to prove, and also satisfies the geometric intuition that the t-th iteration of a rotation is a rotation whose angular velocity is t times the original rotation's.

Another idea, came by trying to figure out whether there's continuous iteration of the conjugate function conj(z)
We start by conj(z)=abs(z)*e^(-i*arg(z)), consider a set of functions \[f_u(z)=\|z\|e^{iu\arg(z)}\] where u is real,
Then \[\text{For real t and u^t, }f_u^t(z)=\|z\|e^{iu^t\arg(z)}\]
Because \[\text{For real s and t, }f_u^{s+t}(z)=\|z\|e^{iu^{s+t}\arg(z)}=\|ze^{iu^tz}\|e^{iu^s\arg(\|z\|e^{iu^tz})}=f_u^s(f_u^t(z))\]
if u^t and u^s are both real.
But since u=-1, t=1/2, u^t is not real, we cannot find a functional square root of conj(z) through this.

Do you have more examples, I basically based all this on the Polar decomposition of complex numbers and don't have so much time to take more investigation into it.
Regards, Leo Smile
Reply


Messages In This Thread
Qs on extension of continuous iterations from analytic functs to non-analytic - by Leo.W - 06/18/2022, 10:38 AM

Possibly Related Threads…
Thread Author Replies Views Last Post
  my proposed extension of the fast growing hierarchy to real numbers Alex Zuma 2025 0 1,318 09/28/2025, 07:15 PM
Last Post: Alex Zuma 2025
  Is there any ways to compute iterations of a oscillating function ? Shanghai46 3 7,819 10/15/2023, 11:21 PM
Last Post: tommy1729
  double functional equation , continuum sum and analytic continuation tommy1729 6 9,695 03/05/2023, 12:36 AM
Last Post: tommy1729
  digit extracting iterations tommy1729 0 2,426 02/05/2023, 11:08 PM
Last Post: tommy1729
  Iteration with two analytic fixed points bo198214 62 71,921 11/27/2022, 06:53 AM
Last Post: JmsNxn
  possible tetration extension part 1 Shanghai46 6 9,375 10/31/2022, 09:45 AM
Last Post: Catullus
  possible tetration extension part 3 Shanghai46 11 14,810 10/28/2022, 07:11 PM
Last Post: bo198214
  possible tetration extension part 2 Shanghai46 8 10,144 10/18/2022, 09:14 AM
Last Post: Daniel
  On extension to "other" iteration roots Leo.W 34 38,471 08/30/2022, 03:29 AM
Last Post: JmsNxn
Question Continuous Hyper Bouncing Factorial Catullus 9 11,894 08/15/2022, 07:54 AM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)