1
$\begingroup$

Let m and n be positive integers.

Let $f(m,0)=m$

Let $f(m,n)= e \ln(f(m,n-1))$

$$\lim_{m\to\infty} \ln(m)\Big(f(m,\lfloor\ln m\rfloor)) - e\Big) = 163^{1/3}+C$$

Where $C$ is a constant.

It seems $0.005 > C > 0$

Is this true ? Why is this so ? Is $C = 0$ ?

Is this an analogue to the computation of the Paris constant ?

Can we give a closed form for $C$ ?

EDIT :

Conjecture :

$$\lim_{m\to\infty} \ln(m)\Big(f(m,\lfloor\ln m\rfloor)) - e\Big) = A$$

$A > 0$

Is this true ? How to prove this ?

  • 5
    Are you just making this up, or do you have a source?2012-09-07
  • 1
    What does it have to do with tetration or dynamical systems?2012-09-07
  • 0
    repeatedly doing exp or ln is clearly tetration related. If you dont agree , plz give a definition of tetration and show the evidence of that definition.2012-09-07
  • 0
    You still haven't given us even the remotest reason why you think this is ture.2012-09-07
  • 0
    Your changing subject somewhat. It is clearly tetration related.2012-09-07
  • 0
    I didn't change the subject, @mick, because the tetration comment was not mine. Why do you say this is true? Seems clear that $g(x)=e$ for all $x$, and hence your limit does not exist.2012-09-07
  • 5
    @mick What does this new sentence even mean? "The limit is taken in the sense that ln(x) > n" does not mean anything, as far as my mathematical experience goes.2012-09-07
  • 0
    Are you really trying to say that $g(x)=f(k)$ where $k=\lfloor \ln x\rfloor$?2012-09-07
  • 0
    Yes thats it. Maybe another edit.2012-09-07
  • 0
    Ok i will make an edit , but i need to think about it a bit more ...2012-09-08
  • 0
    i made the edit.2012-09-08
  • 0
    I started a new question because the edit of the older version is too severe , and i could not close it.2012-09-08
  • 0
    Thanks for the edit Brian. No big difference but looks much nicer now.2012-09-08
  • 0
    When $m=10^{500}$, I get $\ln(m)\Big(f(m,\lfloor\ln m\rfloor)) - e\Big) < 163^{1/3}$.2012-09-08
  • 0
    Really ? i got a different result , although i must admit i dont have confidence in my computation. What did you use ? Maple Mathematica ... ? or did you use an acceleration method ?( p-adic ? ) Do you think C will be - 163^(1/3) or -163^(1/3)+1 or do you have another value in thought ? Did you use theory to compute the value for m = 10^500 ?2012-09-08
  • 0
    I used Maple computing with 50 decimals. No acceleration. Perhaps the limit is zero, but it decreases very slowly. I could do $m=10^{2000}$, but $m=10^{3000}$ had too many levels of recursion for Maple.2012-09-08

5 Answers 5

2

This is not true. For any $x$, eventually $f(n)$ will fail to be defined (and for any reasonable sized $x$, rather quickly). For $x=10^{23}$ it only takes five steps. $\lim_{n \to \infty} f(x)$ does not exist.

Added: Your notation is confusing. It would be better to give $f$ arguments of $n$ and $x$, so $f(0,x)=x, f(n,x)=e \ln (f(n-1,x)$, which I will use. I still don't believe the result with the $e$ multiplying. If $f(n,x)=e+\delta$, (thinking of $\delta$ as small), $f(n+1,x)\approx e+\delta-\frac {\delta^2}{2e^2}$ so $\lim_{n \to \infty}f(n,x)$ must be the fixed point of your function, which is $e$.

  • 0
    removed a typo , now its true. sorry2012-09-07
  • 1
    @mick: It certainly is. The successive values of $f$ are approximately $10^{23},19.48269549699,1.092427808658,0.03252148686231$, and $-1.260301355808$.2012-09-07
  • 0
    Wrong , it starts 10^23 and the next term is more than 143.95 ! Your 19.4826 is way to low.2012-09-07
  • 0
    Note that 143.95 ! does not mean 143.95 factorial , " ! " is just the end of my sentense :)2012-09-07
  • 1
    @mick I think that is because you changed the question from divided by $e$ to multiplied by $e$.2012-09-07
  • 0
    thats why i said " now its true " !!2012-09-07
  • 2
    @mick: but it still isn't2012-09-07
  • 1
    It's not now true. It's clear that $g(x)=e$ for all $x$, so your limit not only doesn't exist, it actually is undefined for all $x$.2012-09-07
  • 0
    Ok im sorry guys. I forgot that double limits can be taken in many ways so i edited the OP. Well actually i did know that but i forgot it while posting here. I see now that i might have been a bit unpolite. My apologies.2012-09-07
  • 0
    @mick: I think we all understood that you intended the $n$ limit was to be taken first, then the $x$ limit (though the new sentence doesn't say that-I don't know what it says) and treated it that way. We all show that the $n$ limit arrives at $e$ regardless of $x$, so the $x$ limit doesn't matter.2012-09-07
  • 0
    In my latest edit , i added that x and n are coupled. The limits are thus taken simultanously. Maybe an { or writing the limits on one line will make that even more clear or as Thomas Andrews wrote in his comment.2012-09-07
  • 0
    i edited the question.2012-09-08
2

Let $h(x)=e\ln x$. If $x>e$ then $h(x)>e$. On the other hand, $h(x)\ge x$ iff $\frac{\ln x}x\ge\frac1e$, and $\frac{d}{dx}\left(\frac{\ln x}x\right)=\frac{1-\ln x}{x^2}<0$ for $x>e$, so $h(x)e$. Thus, for any $x>e$ the sequence $\langle h^n(x):n\in\Bbb N\rangle$ is decreasing and bounded below by $e$, so it converges. (Here $h^n$ is the $n$-th iteration of $h$.) Its limit $g(x)$ must be a fixed point of $h$.

Now $\frac{d}{dx}(x-e\ln x)=1-\frac{e}x$, so $x-f(x)$ has a minimum at $x=e$, where it is $0$. In other words, $x=e$ is the only fixed point of $h$. In other words, $g(x)=e$ for all $x\ge e$, and $\lim_{x\to\infty}\frac1{g(x)-e}$ does not exist.

1

Write $k(m) = \ln(m)\big(f(m,\lfloor \ln(m)\rfloor)-e\big)$. Here is a graph of $k\big(10^{\displaystyle 10^x}\big)$ according to Maple. The horizontal line is $163^{1/3}$.

enter image description here

I see no reason to think $163^{1/3}$ has anything to do with the limit.

  • 0
    Thanks for your plot. It seems different programs and precisions have quite an influance. Considering your data as correct , i get about 1/3 value higher ( overal quite equidist ). So i would dare to replace 163^(1/3) to 163^(1/3)-1/3 as the limit. The plot suggests that there is a limit > 0 i feel , not ? Anyone dare to conjecture 5 :) What version of maple are you using ?2012-09-08
  • 0
    It should be $k(m) = \ln(m)\big(f(m,\lfloor \ln m\rfloor)-e\big)$2012-09-09
  • 0
    @Fabian: fixed, thanks. @ mich: Maple 16.2012-09-09
1

It is intresting to note that if we replace (in the limit) $m$ by $m+O(m^{\frac{1}{2}})$ we would arrive at the same value. This leads to the simplification in the limit : replace both $log(m)$ by $m$.

This is probably the first step.

The second step is probably finding a good taylor series (converging for the desired interval) and error term for $e$ $ log(m)$ so that the rate of $f(m,m)$ can be expressed.

This problem them resembles many other problems concerning iterations and limits and should thus be solvable. I note that $exp(\dfrac{x}{e})$ has a parabolic fixpoint.

Not a solution yet but worth it imho.

0

In case this helps (too long for comment): Letting $h_n(x) = f_n(x)/e$ we get $h_1(x) = 1 +\log(x)$, $h_2(x) = 1 + \log(1 + \log(x))$, etc-

So $h_n(x) = L^{[n]}(x)$ where $L^{[n]}$ is the function $1 +\log(\cdot)$ composed with itself $n$ times. Clearly $L^{\infty}(x)= 1$ for any $x$.

But what the OP wants (I'm starting to suspect) is to find

$$\lim_{x\to \infty} L ^{\lfloor \log(x) \rfloor} (x)$$