Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Has anyone solved iterations of z+Γ(z)?
#1
Just out of curiosity. Has anyone solved the complex continuous iterations of the function ?
This will be very challenging because has no zeros, and the zero in the directed complex infinity is non-Botcher-constructable.

My thought is using a function to map the fixed point at to 0 with a specific function, may be the inverse of .
Reply
#2
A wild guess without basis, maybe this function is just a special case of Fox H Big Grin
Reply
#3
I see no reasons why iterations of this type should not be possible with the same techniques we used for tetration and related ones.
I once started a thread here about the superfunction of exp(z)+z.
Notice exp(z)+z also has no FINITE fixpoint just like your z + Γ(z).
But exp(z) + z has a fixpoint at negative infinity.

On the other hand , exp(z) + z has no poles.
And exp(z) + z has a nice asymp to z.
So the situation is different.

One could also wonder about the generalization z +  Γ(z,v) for various v.
In particular v = 1 for obvious reasons.
On the other hand Γ(z,1) does have zero's.

----

the infinite composition/functional equation :

f(s+1) = t(s) f(s) + Γ( t(s) f(s) )

- where t(s) is like with the gaussian method - should work , not ?


Interesting question, thank you.


regards

tommy1729
Reply
#4
Again , nice question !
Reply
#5
(10/03/2021, 09:17 PM)tommy1729 Wrote: Again , nice question !
OMG this forum has upgraded so hugelyyyyyyyy my final exams just ended i'm back and find me unable to catch up on
anyway
Happy new year, Tommy!

This question is exactly not the same as original ones that do map the fixed point at infinity to local one and then solvable,
you see, given that Gamma function has this asymptotic expansion at infinity with a_n coefficients:
$$\Gamma(z)=\sqrt{\frac{2\pi}{z}}\bigg(\frac{z}{e}\bigg)^z\sum_{n\ge0}{\frac{a_n}{z^n}}$$
And recall back on the technique we used in the case
$$\begin{align}f(z)=z+e^z\\g(z)=ln(z)\\g^{-1}(f(g(z)))=ze^z\\\text{The fixed point at }-\infty\text{ is mapped to }g^{-1}(-\infty)\end{align}$$
And we notice that since Gamma function has zeroes at directed infinity $$e^{i\theta}\infty$$ where $$\frac{\pi}{2}\le|\theta|\le\pi$$
And then the function f(z)=z+Gamma(z) must have fixed point at these infinities*
We may pick some function g to map that fixed point to local ones, 0 as preferred.

First attempt, let $$g(z)=-log(z)e^{i \theta}, g^{-1}(z)=e^{-e^{-i \theta}z}$$ and hence the infinity in the direction at e^(i \theta) will be mapped to 0.
However this leads to such asymptotic expansion at z=0:
$$\begin{align}\text{Let sgnL(z)=}(-1)^{2+\left\lfloor \frac{\arg \left(-e^{i \theta } \log (z)\right)+\pi }{2 \pi }\right\rfloor } 2^{\frac{1}{2}-\left\lfloor \frac{\arg \left(-e^{i \theta } \log (z)\right)+\pi }{2 \pi }\right\rfloor }\sqrt{\pi }\\\times\left(e^{i \theta } \log (z) (-1)^{1+\left\lfloor \frac{\arg \left(-e^{i \theta } \log (z)\right)+\pi }{2 \pi }\right\rfloor }\right)^{\frac{1}{2}-e^{i \theta } \log (z)} \left(-\csc \left(\pi  e^{i \theta } \log (z)\right)\right)^{\left\lfloor \frac{\arg \left(-e^{i \theta } \log (z)\right)+\pi }{2 \pi }\right\rfloor}\\g^{-1}(f(g(z)))=ze^{\frac{\text{sgnL(z)}e^{i\theta}}{log(z)}+P_\theta\small(\frac{1}{log(z)}\small)}\end{align}$$
where P is another Taylor series
Even if its series can be calculated at a specific direction, we won't be able to apply multiplier method:
Assuming z is positive and theta is not \pi, then $$\begin{align}g^{-1}(f(g(z)))=ze^{-\sqrt{2\pi}e^{-log(z)P\small(\frac{1}{log(z)}\small)}}\\=z e^{-\sqrt{2 \pi } z^{-P\left(\frac{1}{\log (z)}\right)}}\end{align}$$
It doesn't have a formal series at 0 at all

Second attempt, let g(z)=1/z, this method will map all infinities* to 0:
$$g^{-1}(f(g(z)))=z\frac{1}{1+e^{-\frac{1+log(z)}{z}}\sqrt{z^3}(1+O(z))}$$
It has no computable expansion at z=0 either.

So we have to find a map g(z) that has these very properties:
g has to map the fixed point at infinity to a local point, say, 0
$$g^{-1}(e^{i\theta}\infty)=0$$
After the mapping, we can find a series at z=0 only containing z (or abracadabra we have a much more complicated issue than ever!) That is, we can find the second derivative, third derivative at 0 and so on. (And they can't be all zeroes)
$$F(z)=g^{-1}(f(g(z))),\forall{k\in\mathbb{N}_+},\exists{\mathcal{D}_z^k{F}(z)}|_{z=0}$$
Let's calculate the second derivative where p is some function of z
$$g(0)=e^{i\theta}\infty,g^{-1}(e^{i\theta}\infty)=0,f'(e^{i\theta}\infty)=1,\mathcal{D}_z^2{F}(z)|_{z=0}=\lim_{z\to 0,p\to e^{i\theta}\infty}{f''(p)g'(z)}$$
And the third derivative
$$\mathcal{D}_z^3{F}(z)|_{z=0}=\lim_{z\to 0,p\to e^{i\theta}\infty}{f'''(p)g'(z)^2}$$
Forth derivative
$$\mathcal{D}_z^4{F}(z)|_{z=0}=\lim_{z\to 0,p\to e^{i\theta}\infty}{f^{(4)}(p)g'(z)^3-2f''(p)g'''(z)+2g'(z)g''(z)f'''(p)+3f''(p)g''(z)^2g'(z)^{-1}-3g'(z)f''(p)^2g''(z)}$$
You can see that all derivatives of F would contain some information from f, but not about its first derivative=1, and since all derivatives of f at very infinities* are all 0 (Easily proved), it is almost impossible to find such function g.
Also it tests why the two maps above are no-use, the log map leads that all derivatives oscillates at z=0, thus has no specific derivatives, even if assumed z>0, whether the derivative diverges, or all derivatives are 0. The 1/z map makes all derivatives are 0.
The reason why this is so hard is that the fundamental term, or leading term in the Gamma(z) expansion is
$$\Gamma(z)\sim\Gamma_0(z)=\sqrt{\frac{2\pi}{z}}\bigg(\frac{z}{e}\bigg)^z$$
*maybe it's easier to deal with this function?
How will you solve iterations of
$$f^*(z)=z+\Gamma_0(z)=z+\sqrt{\frac{2\pi}{z}}\bigg(\frac{z}{e}\bigg)^z$$
without using fixed point 0 (since it is excluded in the z+gamma case)?
*and maybe equally hard to use z=0 looooooooooooool?

Again, happy new year!!!
Leo
Reply
#6
Very cool, Leo! Very cool!

I think for the most part you are correct; and I believe you answered your own question. We just have to consider \(z+\Gamma(z)\) with the fixed point at \(-\infty\); and additionally ignore the singularities; by treating the upper and lower half planes separately. Then it becomes a game of Schroder fixed point theory; just a special case analysis. For \(\Im(z) > 0\) we are assured that \(z=\infty\) is a fixed point; as \(\Im(z) \to \infty\) this function diverges, and as \(\Re(z) \to \pm \infty\) this function diverges. Then since \(\Im(z) > 0\) is a simply connected domain, we can apply Schroder. Especially because \(\infty\) is in the interior of \(\Im(z) > 0\). Choose a linear fractional transformation such that \(h:\Im(z) > 0 \to |z|<1\) such that \(h(\infty) = 0\); and now we are doing schroder iterations about \(f(z) = h(z+\Gamma(z))\); which should be doable about \(f\approx 0\); or for large z arguments for \(z+\Gamma(z)\).

Great job!

James
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  [MSE-SOLVED] Subfunction is functorial!!!! MphLee 14 3,817 06/06/2021, 11:16 PM
Last Post: JmsNxn
  [MSE] Shape of orbit of iterations with base b on Shell-Thron-region Gottfried 14 18,910 12/13/2019, 02:33 PM
Last Post: Ember Edison
  Math overflow question on fractional exponential iterations sheldonison 4 9,450 04/01/2018, 03:09 AM
Last Post: JmsNxn
  Rational operators (a {t} b); a,b > e solved JmsNxn 30 69,438 09/02/2016, 02:11 AM
Last Post: tommy1729
  Periodic analytic iterations by Riemann mapping tommy1729 1 4,640 03/05/2016, 10:07 PM
Last Post: tommy1729
  Limit of mean of Iterations of f(x)=(ln(x);x>0,ln(-x) x<0) =-Omega constant for all x Ivars 10 23,320 03/29/2015, 08:02 PM
Last Post: tommy1729
  Zeta iterations Balarka Sen 11 20,733 02/26/2013, 09:49 AM
Last Post: Gottfried
  Means and intermediate operations (was: Rational operators (a {t} b); a,b > e solved) Cherrina_Pixie 3 9,169 06/14/2011, 09:52 PM
Last Post: JmsNxn
  2 real fixpoints ... 3 iterations ? tommy1729 4 12,412 08/10/2009, 11:45 PM
Last Post: bo198214
  Functional super-iteration and hierarchy of functional hyper-iterations Base-Acid Tetration 24 48,307 05/12/2009, 07:11 AM
Last Post: bo198214



Users browsing this thread: 1 Guest(s)