Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $f(0)=1$ and $f(x+1)=2^{f(x)}$

Also let f be infinitely differentiable. Then does f exist and is it unique?

If f is merely continuous, then any continuous function such that f(0)=1 f(1)=2 satisfies the conditions(if f is defined in [0,1] ,we can use the property to define it everywhere else). Similar things can be said for differentiability. But I don't how to solve the problem if it's infinitely differentiable.

share|improve this question
    
Is $f$ from $[0,1]$ to $[0,1]$ or from $\mathbb{R}$ to $\mathbb{R}$? –  Seirios Jan 23 '13 at 7:59
    
f is from $R$ to $R$ without the negatives. –  Ishan Banerjee Jan 23 '13 at 8:01
1  
In math.stackexchange.com/questions/283500/solutions-of-ffz-ez/… Sheldon Levenstein has recently linked to his procedure for tetration with a range of possible bases. For the question there (base = e) he stated, that also his solutions are not unique (for instance he gave a real and a complex-valued solution). Perhaps you mind to follow the given link and see much more qualified statements. –  Gottfried Helms Jan 23 '13 at 10:43
    
@GottfriedHelms math.stackexchange.com/questions/531276/… –  Mats Granvik Oct 22 '13 at 14:09
    
@Mats -thank you for keeping me informed! I'll see what at the other thread. –  Gottfried Helms Oct 22 '13 at 17:30

2 Answers 2

up vote 6 down vote accepted

A couple of years ago, Henryk Trappman and Dimitrii Kouznetsov published a proof of uniqueness for Hellmuth Kneser's tetration solution, which was published in 1950. Henryk and Dimitrii's paper from 2009 is here: http://eretrandre.org/rb/files/Trappmann2009_82.pdf

The uniqueness criteria for $\text{Tet}_2(z)=\exp_2^{[oz]}(1)$ boils down to

  • Tetration is real valued at the real axis, and analytic for all $z\vert\Re(z)>-2$. The inverse of tetration is analytic at the real axis.
  • The Tetration function is analytic in the upper and lower halves of the complex planes, in the region with $z\vert\Im(z)>0$, and in the region with $z\vert\Im(z)<0$.
  • There are singularities at the negative integers less than or equal to -2.

As $\Im(z)$ increases, $\text{Tet}_2(z)$ converges to the primary fixed point $z_0\approx0.8247+1.5674i$, such that $2^{z_0}=z_0$. Kneser's solution starts with the Schroeder function, $s(z)$, for 2^z, $\lambda=z_0\log(2)=\log(z_0)$.
$s^{-1}(\lambda z)=\exp_2(s^{-1}(z))\;\;\;\;s^{-1}(z) = z_0 + z + a_2 z^2 + a_3 z^3 + ...$

Then the inverse abel function for $2^z$ is $\alpha^{-1}(z)=s^{-1}(\lambda^z)$ where by definition $\alpha^{-1}(z+1)=2^{\alpha^{-1}(z)}$, which is close to what we're looking for.

But $\alpha^{-1}(0)$ has a singularity, and $\alpha^{-1}(z)$ is not real valued. Nontheless, as $\Im(z)$ increases towards imaginary infinity, $\alpha(\text{Tet}_2(z))\approx z+k$, where k is a limiting constant. As $\Im(z)$ increases, $\text{Tet}_2(z)$ and $\alpha^{-1}(z)$ both converge towards $z_0$. $\alpha(\text{Tet}_2(z))=z+\theta(z)$. theta(z) is a 1-cyclic function, $\theta(z)=k+\sum_{n=1}^{\infty}a_n\exp(2n\pi iz)$, which decays to the constant k as $\Im(z)$ increases.

$\text{Tet}_2(z)=\alpha^{-1}(z+\theta(z))$, theta(z) has singularities at integers, but is analytic for $\Im(z)>0$.

Then Kneser's tetration solution is generated by wrapping $z+\theta(z)$ around a unit circle via a Riemann mapping at the real axis for a unit interval. $y=\exp(2\pi i z)$. $\text{Riem}(y)=\exp(2\pi i\times(z+\theta(z))$. This is identical to Kneser's Riemann mapping for the unbounded region defined by $\exp(2\pi i \alpha(z))$ for z in the range 0..1. I hope this helps a little.

The $z+\theta(z)$ notation is ad-hoc notation for what I came up with to implement Kneser's algorithm in pari-gp. The code is posted here, http://math.eretrandre.org/tetrationforum/showthread.php?tid=486 It turns on the Riemann mapping has a very nasty singularity, and is very difficult to use to generate numerical results for tetration. The pari-gp algorithm has not been proven to to converge, but it seems to work very well. This code can calculate the Taylor series anywhere in the complex plane for tetration for arbitrary real bases>e^1/e.

Tet2(x)=
        1.0000000000000000000000000000000
+x^ 1*  0.88936495462097637278974352283113
+x^ 2*  0.0086765489653699339802131455534169
+x^ 3*  0.095238800075181789920438485030155
+x^ 4* -0.0057523485401261226592165977167599
+x^ 5*  0.012966582020037173976310737605944
+x^ 6* -0.0021960496230309946421585194805856
+x^ 7*  0.0019967468479114427795425870421161
+x^ 8* -0.00056335481487852207283213227645416
+x^ 9*  0.00034824232818816420812599367175864
+x^10* -0.00012853244126472000389077672650053
+x^11*  0.000067081924420530808927820036939340
+x^12* -0.000028298752822797952938724246262432
+x^13*  0.000013800131990632928766261244689445
+x^14* -0.0000062019093983745227580318590511154
+x^15*  0.0000029555614648096639750718059747764
+x^16* -0.0000013686792245346979969266226961382
+x^17*  0.00000064905707565189565568577946562957
+x^18* -0.00000030516693932892648666925177347397
+x^19*  0.00000014494820615122971623989185184414
+x^20* -0.000000068746643113791765754486070091824
+x^21*  0.000000032767445177893399887982830530593
+x^22* -0.000000015631087467996950377914102911084
+x^23*  0.0000000074781283891808115420700936472085
+x^24* -0.0000000035826768132394816791180666818969
+x^25*  0.0000000017198677457952089337233324345192
+x^26* -0.00000000082681596246801027621026689940335
+x^27*  0.00000000039811046838268961282597221385517
+x^28* -1.9194299258773230479841496714701 E-10
+x^29*  9.2663186786298027956350135674146 E-11
+x^30* -4.4786988291334916258805270183443 E-11
+x^31*  2.1671203211915670435572629617197 E-11
+x^32* -1.0496974291424009637469348660133 E-11
+x^33*  5.0894481818922225059510353746881 E-12
+x^34* -2.4698783194618464824455976314002 E-12
+x^35*  1.1996556564741708540141320061605 E-12
+x^36* -5.8316588902205318445361431398805 E-13
+x^37*  2.8370236181432539258322102006985 E-13
+x^38* -1.3811825249928203947414558331206 E-13
+x^39*  6.7288382473507188289095935683253 E-14
+x^40* -3.2803086411980277859586186112308 E-14
+x^41*  1.6001505824570323124605763323095 E-14
+x^42* -7.8102588069843781185171581568750 E-15
+x^43*  3.8143124632782012670147095899601 E-15
+x^44* -1.8638117742054569845837277240617 E-15
+x^45*  9.1119686946232850200265783624600 E-16
+x^46* -4.4569412126376944460195365876079 E-16
+x^47*  2.1810563400669686688465765887449 E-16
+x^48* -1.0678088335635442017895617477924 E-16
+x^49*  5.2300840846872181639323839716597 E-17
+x^50* -2.5627412019647372099615127864702 E-17
+x^51*  1.2562456874310841492704328447066 E-17
+x^52* -6.1604355831172619594016091649050 E-18
+x^53*  3.0221004749346955997512281647283 E-18
+x^54* -1.4830678257196704529404419514771 E-18
+x^55*  7.2805147810109418232148426127897 E-19
+x^56* -3.5752527943085577686433817798220 E-19
+x^57*  1.7562645305590398584330502667076 E-19
+x^58* -8.6299205381587885781758816111253 E-20
+x^59*  4.2418253492871704775187141614562 E-20
+x^60* -2.0855641300733858167284377379197 E-20
+x^61*  1.0256872770876761562049577983178 E-20
+x^62* -5.0457196695519299066255687377473 E-21
+x^63*  2.4828144405757301424407321058057 E-21
+x^64* -1.2220102324716944561836764325143 E-21
+x^65*  6.0160503752479944264308208805165 E-22
+x^66* -2.9624490484184599716446507189429 E-22
+x^67*  1.4591166954899810545588624924021 E-22
+x^68* -7.1882954851354168428545316917818 E-23
+x^69*  3.5420586448496483593578960188792 E-23
+x^70* -1.7457289035331430846370089477986 E-23
+x^71*  8.6057058624876602413373966249376 E-24
+x^72* -4.2430910849766643751888767164019 E-24
+x^73*  2.0924832747830485594731028040789 E-24
+x^74* -1.0321032368862452003945331695671 E-24
+x^75*  5.0917093019721816769678399655742 E-25
+x^76* -2.5123565634731286422821010561712 E-25
+x^77*  1.2398642780776520642434855010377 E-25
+x^78* -6.1198429110243219218103680963554 E-26
+x^79*  3.0211882725309988497044459411165 E-26
+x^80* -1.4917117095621821535322245772532 E-26
+x^81*  7.3664775780848549732076235886067 E-27
+x^82* -3.6383212428345945918586037567381 E-27
+x^83*  1.7972430235688966449515997276692 E-27
+x^84* -8.8792363664415744225714722898233 E-28
+x^85*  4.3873873810652491009131259661866 E-28
+x^86* -2.1681856243636407289789445306473 E-28
+x^87*  1.0716319752601903061429925900076 E-28
+x^88* -5.2972716958884409177065634112914 E-29
+x^89*  2.6188758945965326542320681755719 E-29
+x^90* -1.2948886367727300562095685531671 E-29
+x^91*  6.4032954565684454039514334162916 E-30
+x^92* -3.1668472094985246525598648897901 E-30
+x^93*  1.5663975444831412336910690407778 E-30
+x^94* -7.7486687040921348523754642817419 E-31
+x^95*  3.8335518851824246194727905543753 E-31
+x^96* -1.8968095265225538514280657100864 E-31
+x^97*  9.3862739456786170093182432980207 E-32
+x^98* -4.6452478200552339296303901134834 E-32
+x^99*  2.2991630624515804328361500138316 E-32
share|improve this answer

Your question is an example of the question "can tetration be extended?" My approach uses fixed points to extend tetration, but there are an infinite number of solutions to $2^z=z$ in the complex plane, while no solutions exist in the real numbers. Since the real numbers don't contain a fixed point, neither can it contain $^\infty 2$ or $^{-\infty} 2$. On the other hand in the complex plane there are an infinite number of solutions for $^{-\infty} 2$, so $f(x)$ can't be unique.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.