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 as .

Well, the behaviour is comparable to that of , 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.
Reply
#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 /ᐠ_ ꞈ _ᐟ\
Reply
#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.
Reply
#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() = ℶ1.
Please remember to stay hydrated.
ฅ(ミ⚈ ﻌ ⚈ミ)ฅ Sincerely: Catullus /ᐠ_ ꞈ _ᐟ\
Reply
#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\)
Reply
#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 /ᐠ_ ꞈ _ᐟ\
Reply
#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.
Reply
#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.
Reply


Possibly Related Threads…
Thread Author Replies Views Last Post
  Iteration with two analytic fixed points bo198214 62 6,368 11/27/2022, 06:53 AM
Last Post: JmsNxn
  Discussing fractional iterates of \(f(z) = e^z-1\) JmsNxn 2 291 11/22/2022, 03:52 AM
Last Post: JmsNxn
  Fibonacci as iteration of fractional linear function bo198214 48 5,185 09/14/2022, 08:05 AM
Last Post: Gottfried
  Borel summation, Mellin Transforms, Parabolic iteration JmsNxn 5 682 09/10/2022, 03:12 PM
Last Post: bo198214
  Real Multivalued/Parametrized Iteration Groups bo198214 11 1,182 09/10/2022, 11:56 AM
Last Post: tommy1729
  Bessel functions and the iteration of \(e^z -1 \) JmsNxn 8 837 09/09/2022, 02:37 AM
Last Post: tommy1729
  On extension to "other" iteration roots Leo.W 34 5,192 08/30/2022, 03:29 AM
Last Post: JmsNxn
  What are the types of complex iteration and tetration? Daniel 5 719 08/17/2022, 02:40 AM
Last Post: JmsNxn
  Constructing a real valued Fibonacci iteration--its relation to \(1/1+z\) JmsNxn 7 709 08/13/2022, 12:05 AM
Last Post: JmsNxn
  The iterational paradise of fractional linear functions bo198214 7 780 08/07/2022, 04:41 PM
Last Post: bo198214



Users browsing this thread: 1 Guest(s)