Fractional iteration of x^2+1 at infinity and fractional iteration of exp
#11
(06/08/2011, 10:58 PM)mike3 Wrote: Anyway, I think this is not analytic at 0. The iterates of g so formed have a branch point at 0, and also a complementary one at infinity (note that if there is a BP at 0, there must be one at inf, since "circling about inf" is equivalent to circling about 0). The conjugate simply exchanges these two branch points. This would explain how it can approach \( |x| \) as \( t \rightarrow 0 \).

Well, the behaviour is comparable to that of \( x^{2^t} \), i.e. x taken to a non-integer number has a branchpoint at 0,oo. There is anyway the well-known proposition that the fractional iteration of exp can not be entire.
Even [1] shows that that there is no solution of f(f(x))=ax^2+bx+c in the complex plane.

[1] Rice, R. E., Schweizer, B., & Sklar, A. (1980). When is \(f(f(z))=az^2+bz+c\)? Am. Math. Mon., 87, 252–263.
#12
(06/08/2011, 01:18 PM)tommy1729 Wrote: exp(x) + x has a " true " fixpoint at oo.
Exp(∞) may be a larger infinity.
Please remember to stay hydrated.
ฅ(ミ⚈ ﻌ ⚈ミ)ฅ Sincerely: Catullus /ᐠ_ ꞈ _ᐟ\
#13
(06/07/2022, 09:05 AM)Catullus Wrote:
(06/08/2011, 01:18 PM)tommy1729 Wrote: exp(x) + x has a " true " fixpoint at oo.
Exp(∞) may be a larger infinity.

Hmmmmm, you'd have to qualify that using some kind of framework. No idea what that would be. You could use something like Hardy spaces, and refer to \(1/\exp(\infty)\) in the right half plane as smaller than \(1/\infty\) in the right half plane. But then, you'd have to qualify how you mean this. Typically we're not referring to growth hierarchies. And they don't apply to Tommy's comment.
#14
(06/08/2022, 12:16 AM)JmsNxn Wrote:
(06/07/2022, 09:05 AM)Catullus Wrote:
(06/08/2011, 01:18 PM)tommy1729 Wrote: exp(x) + x has a " true " fixpoint at oo.
Exp(∞) may be a larger infinity.

Hmmmmm, you'd have to qualify that using some kind of framework. No idea what that would be. You could use something like Hardy spaces, and refer to \(1/\exp(\infty)\) in the right half plane as smaller than \(1/\infty\) in the right half plane. But then, you'd have to qualify how you mean this. Typically we're not referring to growth hierarchies. And they don't apply to Tommy's comment.
Exp(\( \aleph_0 \)) = ℶ1.
Please remember to stay hydrated.
ฅ(ミ⚈ ﻌ ⚈ミ)ฅ Sincerely: Catullus /ᐠ_ ꞈ _ᐟ\
#15
(06/08/2022, 01:18 AM)Catullus Wrote:
(06/08/2022, 12:16 AM)JmsNxn Wrote:
(06/07/2022, 09:05 AM)Catullus Wrote:
(06/08/2011, 01:18 PM)tommy1729 Wrote: exp(x) + x has a " true " fixpoint at oo.
Exp(∞) may be a larger infinity.

Hmmmmm, you'd have to qualify that using some kind of framework. No idea what that would be. You could use something like Hardy spaces, and refer to \(1/\exp(\infty)\) in the right half plane as smaller than \(1/\infty\) in the right half plane. But then, you'd have to qualify how you mean this. Typically we're not referring to growth hierarchies. And they don't apply to Tommy's comment.
Exp([Image: 8f2403fd8489b18cc392c10c099323a0d816c7cb]) = beth 1.

\(\aleph_0 \neq \infty\)
#16
(06/08/2022, 01:52 AM)JmsNxn Wrote:
(06/08/2022, 01:18 AM)Catullus Wrote:
(06/08/2022, 12:16 AM)JmsNxn Wrote:
(06/07/2022, 09:05 AM)Catullus Wrote:
(06/08/2011, 01:18 PM)tommy1729 Wrote: exp(x) + x has a " true " fixpoint at oo.
Exp(∞) may be a larger infinity.

Hmmmmm, you'd have to qualify that using some kind of framework. No idea what that would be. You could use something like Hardy spaces, and refer to \(1/\exp(\infty)\) in the right half plane as smaller than \(1/\infty\) in the right half plane. But then, you'd have to qualify how you mean this. Typically we're not referring to growth hierarchies. And they don't apply to Tommy's comment.
Exp([Image: 8f2403fd8489b18cc392c10c099323a0d816c7cb]) = beth 1.

\(\aleph_0 \neq \infty\)
Aleph zero is infinite.
Please remember to stay hydrated.
ฅ(ミ⚈ ﻌ ⚈ミ)ฅ Sincerely: Catullus /ᐠ_ ꞈ _ᐟ\
#17
(06/08/2022, 01:59 AM)Catullus Wrote:
(06/08/2022, 01:52 AM)JmsNxn Wrote:
(06/08/2022, 01:18 AM)Catullus Wrote:
(06/08/2022, 12:16 AM)JmsNxn Wrote:
(06/07/2022, 09:05 AM)Catullus Wrote: Exp(∞) may be a larger infinity.

Hmmmmm, you'd have to qualify that using some kind of framework. No idea what that would be. You could use something like Hardy spaces, and refer to \(1/\exp(\infty)\) in the right half plane as smaller than \(1/\infty\) in the right half plane. But then, you'd have to qualify how you mean this. Typically we're not referring to growth hierarchies. And they don't apply to Tommy's comment.
Exp([Image: 8f2403fd8489b18cc392c10c099323a0d816c7cb]) = beth 1.

\(\aleph_0 \neq \infty\)
Aleph zero is infinite.

Yes, but not in the sense of complex analysis limits. The point \(\infty\) on the Riemann sphere, is not the same thing as Aleph zero.
#18
on the real line i make two notions of fixpoints at + oo :

those that touch the identity axis ( in the limit ).

and those that do not.

what that means is another thing.

and complex analysis is also another thing.


Possibly Related Threads…
Thread Author Replies Views Last Post
  ChatGPT checks in on fractional iteration. Daniel 1 565 10/09/2023, 11:38 PM
Last Post: leon
  Bridging fractional iteration and fractional calculus Daniel 8 1,957 04/02/2023, 02:16 AM
Last Post: JmsNxn
  Fractional Integration Caleb 11 3,196 02/10/2023, 03:49 AM
Last Post: JmsNxn
  Iteration with two analytic fixed points bo198214 62 21,258 11/27/2022, 06:53 AM
Last Post: JmsNxn
  Discussing fractional iterates of \(f(z) = e^z-1\) JmsNxn 2 1,206 11/22/2022, 03:52 AM
Last Post: JmsNxn
  Fibonacci as iteration of fractional linear function bo198214 48 17,162 09/14/2022, 08:05 AM
Last Post: Gottfried
  Borel summation, Mellin Transforms, Parabolic iteration JmsNxn 5 2,169 09/10/2022, 03:12 PM
Last Post: bo198214
  Real Multivalued/Parametrized Iteration Groups bo198214 11 3,906 09/10/2022, 11:56 AM
Last Post: tommy1729
  Bessel functions and the iteration of \(e^z -1 \) JmsNxn 8 2,609 09/09/2022, 02:37 AM
Last Post: tommy1729
  On extension to "other" iteration roots Leo.W 34 12,084 08/30/2022, 03:29 AM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)