• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Problem with infinite product of a function: exp(x) = x * f(x)*f(f(x))*... Gottfried Ultimate Fellow Posts: 766 Threads: 119 Joined: Aug 2007 03/12/2013, 08:58 AM I http://math.stackexchange.com/questions/327995 I discuss the problem Problem with infinite product using iterating of a function: $\exp(x) = x \cdot f^{\circ 1}(x)\cdot f^{\circ 2}(x) \cdot \ldots$ I think, because of the better latex-formatting it is easier to read there, but for completeness I'll copy&paste the problem here too. Considering the iteration of functions, with focus on the iterated exponentiation, I'm looking, whether the function which I want to iterate can -hopefully with some advantage- itself be expressed by iterations of a -so to say- "more basic" function. Now I assume a function f(x) such that $\exp(x) = x \cdot f^{\circ 1}(x)\cdot f^{\circ 2}(x)\cdot f^{\circ 3}(x)\cdots$ (where the circle-notation means iteration, and $f^{\circ 0}=x, f^{\circ 1}(x)=f(x)$) - and I ask: what does this function look like? What I'm doing then is this substitution: $\begin{array} {lrll} 1.& \exp(x) & = &x & \cdot f^{\circ 1}(x) & \cdot f^{\circ 2}(x) & \cdot f^{\circ 3}(x) & \cdots \\ 2.& \exp(f(x))&= && f^{\circ 1}(x) & \cdot f^{\circ 2}(x) & \cdot f^{\circ 3}(x) & \cdots \\ \\ \\ 3.& {\exp(f(x))\over \exp(x) } & = & \frac 1x \\ \\ & \exp(f(x)) & = & &{ \exp(x) \over x} \\ \\ \\ 4. & f(x)&=& x & - \log(x) \end{array}$ $\qquad \qquad$ *(From 4. I know, that x is now restricted to $x \gt 0$)* But if I do now the computation with some example *x* I get the result $y = x \cdot f^{\circ 1}(x)\cdot f^{\circ 2}(x)\cdot f^{\circ 3}(x)\cdots \\ y = \exp(x) / \exp(1)$ ***Q:*** Where does this additional factor come from? Where have the above steps missed some crucial information?
A code snippet using Pari/GP: PHP Code:f(x) = x-log(x)  // define the function         x0=1.5         //  = 1.50000000000    [tmp=x0,pr=1]              // initialize    for(k=1,64,pr *= tmp;tmp = f(tmp));   pr   // compute 64 terms, show result          // = 1.64872127070    exp(x0)        // show expected value           // = 4.48168907034         pr*exp(1)      // show, how it matches           //  = 4.48168907034
Here is an example which shows the type of convergence; I use *x_0=1.5* and internal precision of 200 decimal digits. Then we get the terms of the partial product as $\begin{array} {r|r} x_k=f^{\circ k}(x) & (x_k-1) \\ \hline 1.50000000000 & 0.500000000000 \\ 1.09453489189 & 0.0945348918918 \\ 1.00420537512 & 0.00420537512103 \\ 1.00000881788 & 0.00000881787694501 \\ 1.00000000004 & 3.88772483656E-11 \\ 1.00000000000 & 7.55720220223E-22 \\ 1.00000000000 & 2.85556525627E-43 \\ 1.00000000000 & 4.07712646640E-86 \\ 1.00000000000 & 8.31148011150E-172 \\ 1.00000000000 & 1.020640763E-202 \\ 1.00000000000 & 1.020640763E-202 \\ \cdots & \cdots \end{array}$ Gottfried Helms, Kassel « Next Oldest | Next Newest »

 Messages In This Thread Problem with infinite product of a function: exp(x) = x * f(x)*f(f(x))*... - by Gottfried - 03/12/2013, 08:58 AM RE: Problem with infinite product of a function: exp(x) = x * f(x)*f(f(x))*... - by Balarka Sen - 03/12/2013, 10:01 AM RE: Problem with infinite product of a function: exp(x) = x * f(x)*f(f(x))*... - by Gottfried - 03/12/2013, 10:13 AM RE: Problem with infinite product of a function: exp(x) = x * f(x)*f(f(x))*... - by tommy1729 - 03/13/2013, 12:12 AM RE: Problem with infinite product of a function: exp(x) = x * f(x)*f(f(x))*... - by tommy1729 - 03/13/2013, 10:52 PM RE: Problem with infinite product of a function: exp(x) = x * f(x)*f(f(x))*... - by Gottfried - 07/17/2013, 09:46 AM

 Possibly Related Threads... Thread Author Replies Views Last Post New mathematical object - hyperanalytic function arybnikov 4 1,044 01/02/2020, 01:38 AM Last Post: arybnikov Is there a function space for tetration? Chenjesu 0 662 06/23/2019, 08:24 PM Last Post: Chenjesu Degamma function Xorter 0 1,123 10/22/2018, 11:29 AM Last Post: Xorter [repost] A nowhere analytic infinite sum for tetration. tommy1729 0 1,428 03/20/2018, 12:16 AM Last Post: tommy1729 THE problem with dynamics tommy1729 1 2,638 04/04/2017, 10:52 PM Last Post: tommy1729 Between addition and product ( pic ) tommy1729 4 4,120 07/10/2016, 07:32 AM Last Post: Gottfried Should tetration be a multivalued function? marraco 17 18,624 01/14/2016, 04:24 AM Last Post: marraco Introducing new special function : Lambert_t(z,r) tommy1729 2 4,004 01/10/2016, 06:14 PM Last Post: tommy1729 [sci.math] halting problem skeptic. tommy1729 0 1,851 05/30/2015, 09:24 PM Last Post: tommy1729 Tommy-Mandelbrot function tommy1729 0 2,181 04/21/2015, 01:02 PM Last Post: tommy1729

Users browsing this thread: 1 Guest(s)