• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Continuum sum - a new hope kobi_78 Junior Fellow Posts: 11 Threads: 3 Joined: Dec 2009 04/24/2010, 09:01 PM (This post was last modified: 04/24/2010, 09:13 PM by kobi_78.) Hi, I wanted to share with you some things I found in the last few months, that might interest you. These are a few ideas that involve Continuum sum, fixed points, Taylor series and etc. I discovered Ansus's formula independently in the past. The disadvantages of the formula are that we must know the value of the derivative in 0, but we don't. Instead we can try a similar approach: Define $f_0(x) = x$ $f_{n}(x) = a^{f_{n - 1}(x)}$ Then $f_{n}(x) = a^{f_{n - 1}(x)}$ $f'_{n}(x) = a^{f_{n - 1}(x)} \cdot \ln{a} \cdot f'_{n - 1}(x) = f_{n}(x) \cdot \ln{a} \cdot f'_{n - 1}(x)$ $\frac{f'_{n}(x)}{f'_{n - 1}(x)} = f_{n}(x) \cdot \ln{a}$ $\frac{f'_{n}(x)}{f'_{0}(x)} = \ln{a}^n \cdot \prod_{k=1}^{n}{f_{k}(x)}$ $f'_{n}(x) = \left( \ln{a} \right)^n \cdot \prod_{k=1}^{n}{f_{k}(x)}$ Which is similar to Ansus's formula, but has its advantages: If we use the natural definition for continuum product (that can work if the limit exists, i.e. if ${\frac{1}{e}}^{\frac{1}{e}} \le a \le e^{\frac{1}{e}}$): Let $y = f_{\alpha}(x)$ Then: $y' = f'_{\alpha}(x) = \left( \ln{a} \right)^\alpha \cdot \prod_{k=1}^{\alpha}{f_{k}(x)} = \left( \ln{a} \right)^\alpha \cdot b^{\alpha} \cdot \prod_{k=1}^{\infty}{\frac{f_{k}(x)}{f_{k+\alpha}(x)}}$ where $b = \lim_{m \to \infty} {f_m(x)}$ is the fixed point of $a^x = x$ We can rewrite it: $y' = \left( \ln{a} \right)^\alpha \cdot b^{\alpha} \cdot \prod_{k=1}^{\infty}{\frac{f_{k}(x)}{f_{k+\alpha}(x)}} = \left( \ln{a} \right)^\alpha \cdot b^{\alpha} \cdot \prod_{k=1}^{\infty}{\frac{f_{k}(x)}{f_{k}(f_{\alpha}(x))}} = \left( \ln{a} \right)^\alpha \cdot b^{\alpha} \cdot \prod_{k=1}^{\infty}{\frac{f_{k}(x)}{f_{k}(y)}}$ This is a differential equation that we can solve, but we "don't" know the initial conditions. We can assume that y(b) = b, and solve the equation. I tried to solve the truncated equation for some bases with wolfram alpha and got the following result. It seems, that the solution for that equation is the regular iteration Tetration aka "natural" Tetration, so it seems it is really natural. We get problems at $a = e^{\frac{1}{e}}$, there we get $f_{\alpha}(x) = x$. This is the first idea I wanted to share. The second one is the PDE of $f_{\alpha}(x)$ which you can see here. I will explain how I discovered it later. (It reminds a bit the first idea) The third idea, is an idea that is inspired by Ansus's last post about the tetration's derivative: Let $g_{\alpha}(x) = f'_{\alpha}(x)$. Then $\ln\left({g_{n}(x)}\right) = \ln\left({g_{n - 1}(x)}\right) + \ln{\ln{a}} + \ln\left({f_{n}(x)}\right)$ $\frac{g'_{n}(x)}{g_{n}(x)} = \frac{g'_{n - 1}(x)}{g_{n - 1}(x)} + \frac{f'_{n}(x)}{f_{n}(x)}$ $\frac{f'_{n}(x)}{f_{n}(x)} = f'_{n - 1}(x) \cdot \ln{a}$ $\frac{g'_{n}(x)}{g_{n}(x)} - \frac{g'_{n - 1}(x)}{g_{n - 1}(x)} = f'_{n - 1}(x) \cdot \ln{a} = g_{n - 1}(x) \cdot \ln{a}$ Therefore, $\frac{g'_{n}(x)}{g_{n}(x)} = \ln{a} \cdot \sum_{k = 1}^{n} { g_{k - 1}(x) }$ It may seem useless, but now we try to develop a Taylor series around a fixed point b of $a^x$ and we get: $f_{\alpha}(b) = b$ $f'_{\alpha}(b) = \left( \ln{a} \right)^\alpha \cdot \prod_{k=1}^{\alpha}{f_{k}(b)} = \left( \ln{a} \right)^\alpha \cdot \prod_{k=1}^{\alpha}{b} = \left( \ln{a} \right)^\alpha \cdot b^{\alpha}$ $\frac{g'_{n}(x)}{g_{n}(x)} = \ln{a} \cdot \sum_{k = 1}^{n} { g_{k - 1}(x) }$ $f''_{\alpha}(b) = g'_{\alpha}(b) = g_{\alpha}(b) \cdot \ln{a} \cdot \sum_{k = 1}^{\alpha} { g_{k - 1}(b) } = \left( \ln{a} \right)^\alpha \cdot b^{\alpha} \ln{a} \cdot \sum_{k = 1}^{\alpha} { \left( \ln{a} \right)^{k - 1} \cdot b^{k - 1} } = \left( \ln{a} \right)^\alpha \cdot b^{\alpha} \cdot \ln{a} \cdot \frac{\left( \ln{a} \right)^{\alpha} \cdot b^{\alpha} - 1}{ \ln{a} \cdot b - 1}$ I think we can continue in a similar fashion and find values in higher derivatives order, but I am not sure. I hope you enjoy these ideas and maybe develop them to bigger things... kobi_78 Junior Fellow Posts: 11 Threads: 3 Joined: Dec 2009 04/25/2010, 05:48 AM Ansus, You missed the whole point. The derivative is by x, therefore there are no constants. bo198214 Administrator Posts: 1,389 Threads: 90 Joined: Aug 2007 04/25/2010, 10:41 AM Hey Kobi, thanks for sharing your ideas. (04/24/2010, 09:01 PM)kobi_78 Wrote: $y' = f'_{\alpha}(x) = \left( \ln{a} \right)^\alpha \cdot \prod_{k=1}^{\alpha}{f_{k}(x)} = \left( \ln{a} \right)^\alpha \cdot b^{\alpha} \cdot \prod_{k=1}^{\infty}{\frac{f_{k}(x)}{f_{k+\alpha}(x)}}$ The formula looks very interesting, however it seems only useful with the natural continuum product which you describe, which limits the base range to $. It seems indeed to yield regular iteration tetration, a nice finding. For the case $b>e^{1/e}$ we however lack an expression of $f_k$ continuous in $k$ (and if we had that then we would already have tetration). So we have no possibility to compute the continuum product in an alternate way, which however would be necessary for the case $b>e^{1/e}$. Quote:The second one is the PDE of $f_{\alpha}(x)$ which you can see here. I will explain how I discovered it later. Actually I also have no experiences with partial differential equations. So we have to wait until someone comes with more knowledge about it and can make use of this equation. Quote:The third idea, .... $f'_{\alpha}(b) = \left( \ln{a} \right)^\alpha \cdot \prod_{k=1}^{\alpha}{f_{k}(b)} = \left( \ln{a} \right)^\alpha \cdot \prod_{k=1}^{\alpha}{b} = \left( \ln{a} \right)^\alpha \cdot b^{\alpha}$ $\frac{g'_{n}(x)}{g_{n}(x)} = \ln{a} \cdot \sum_{k = 1}^{n} { g_{k - 1}(x) }$ $f''_{\alpha}(b) = g'_{\alpha}(b) = g_{\alpha}(b) \cdot \ln{a} \cdot \sum_{k = 1}^{\alpha} { g_{k - 1}(b) } = \left( \ln{a} \right)^\alpha \cdot b^{\alpha} \ln{a} \cdot \sum_{k = 1}^{\alpha} { \left( \ln{a} \right)^{k - 1} \cdot b^{k - 1} } = \left( \ln{a} \right)^\alpha \cdot b^{\alpha} \cdot \ln{a} \cdot \frac{\left( \ln{a} \right)^{\alpha} \cdot b^{\alpha} - 1}{ \ln{a} \cdot b - 1}$ I think we can continue in a similar fashion and find values in higher derivatives order, but I am not sure. I think this is easier derived via the standard methods of regular iteration at the fixed point. (04/25/2010, 09:34 AM)Ansus Wrote: Oh in that case if you obtain derivatives f'(x), f''(x) etc and build a Taylor series for $f_\alpha(x)$, this would not help to find $f'_x(1)$, $f''_x(1)$ etc (derivatives by x) which are necessary to build Taylor series for tetration... Ansus, Taylor series are not the only allowed tools in computation of tetration! (Eg. would you object Dmitrii's Cauchy-integral computation only because it doesnt contain Taylor series?) bo198214 Administrator Posts: 1,389 Threads: 90 Joined: Aug 2007 05/01/2010, 08:36 PM (This post was last modified: 05/01/2010, 08:39 PM by bo198214.) (04/28/2010, 09:47 PM)Ansus Wrote: We can celebrate a new working method to compute tetration :-) Its not a new method, indeed it is the oldest one: regular iteration. But seems it is easier to rederive than getting acquainted with the existing methods. However it would be interesting if you could verify that the continuum sum method indeed yields regular iteration in the case of a (real) fixed point. kobi_78 Junior Fellow Posts: 11 Threads: 3 Joined: Dec 2009 05/03/2010, 09:27 PM (This post was last modified: 05/03/2010, 09:37 PM by kobi_78.) Why does what Ansus wrote fails for a = e, for instance? bo198214 Administrator Posts: 1,389 Threads: 90 Joined: Aug 2007 05/09/2010, 11:35 AM (05/03/2010, 09:27 PM)kobi_78 Wrote: Why does what Ansus wrote fails for a = e, for instance? For regular iteration you need a fixed point. Real fixed points exist only for base $b. Of course you can do it also at a complex fixed point of $e^x$ however then the resulting tetration is not real on the real axis (actually it is not even analytic). sheldonison Long Time Fellow Posts: 640 Threads: 22 Joined: Oct 2008 06/11/2010, 12:34 AM (This post was last modified: 06/11/2010, 12:35 AM by sheldonison.) (05/09/2010, 11:35 AM)bo198214 Wrote: .... For regular iteration you need a fixed point. Real fixed points exist only for base $b. Of course you can do it also at a complex fixed point of $e^x$ however then the resulting tetration is not real on the real axis (actually it is not even analytic).Henryk, Could you clarify what function you are referring to that is not analytic? I thought that regular tetration developed from the complex fixed point for base e, with complex values on the real number line, was analytic and entire. It must have something to do with the rest of this post.... - Sheldon bo198214 Administrator Posts: 1,389 Threads: 90 Joined: Aug 2007 06/12/2010, 04:42 AM (06/11/2010, 12:34 AM)sheldonison Wrote: Henryk, Could you clarify what function you are referring to that is not analytic? I thought that regular tetration developed from the complex fixed point for base e, with complex values on the real number line, was analytic and entire. It must have something to do with the rest of this post.... - Sheldon I am referring to the regular Abel function at the primary fixed point. The inverse function (regular superfunction) is entire. But the Abel function has singularities on the real line at $\exp^{[n]}(0)$, $n\in \mathbb{N}$. mike3 Long Time Fellow Posts: 368 Threads: 44 Joined: Sep 2009 06/12/2010, 11:10 AM (This post was last modified: 06/12/2010, 11:12 AM by mike3.) (06/12/2010, 04:42 AM)bo198214 Wrote: I am referring to the regular Abel function at the primary fixed point. The inverse function (regular superfunction) is entire. But the Abel function has singularities on the real line at $\exp^{[n]}(0)$, $n\in \mathbb{N}$. Does this mean that there are no values of $z$ such that $\mathrm{reg}_F\left[\exp^z\right](u) = {}^n e = \exp^n(1) = \exp^{n+1}(0)$ for $n = 0, 1, 2, ...$? (here $F$ is the fixpoint, $u$ is the starting point, and $reg$ means regular iteration) I.e. the regular iteration super-function does not contain the sequence of integer-height tetrations of e? That makes no sense, since an entire function must take on every complex value with at most one exception. Or are these singularities only on some "branches" of the Abel function, so there's other branches in which there are no singularities there, thus yielding values for where the integer-height tetration sequence occurs? (which would make more sense) bo198214 Administrator Posts: 1,389 Threads: 90 Joined: Aug 2007 06/13/2010, 06:49 AM (06/12/2010, 11:10 AM)mike3 Wrote: Or are these singularities only on some "branches" of the Abel function, so there's other branches in which there are no singularities there, thus yielding values for where the integer-height tetration sequence occurs? (which would make more sense) I guess so. But indeed I didnt have a closer look at other branches of the Abel function, I only vaguely remember that JayD had a "spider-web" picture of it, with slightly overlapping ends of two branches. (but couldnt find it again, the search function of the forum software is really weak.) « Next Oldest | Next Newest »

 Possibly Related Threads... Thread Author Replies Views Last Post 2015 Continuum sum conjecture tommy1729 3 3,481 05/26/2015, 12:24 PM Last Post: tommy1729 Another way to continuum sum! JmsNxn 6 6,630 06/06/2014, 05:09 PM Last Post: MphLee Continuum sum = Continuum product tommy1729 1 2,712 08/22/2013, 04:01 PM Last Post: JmsNxn applying continuum sum to interpolate any sequence. JmsNxn 1 2,935 08/18/2013, 08:55 PM Last Post: tommy1729 Powerful way to perform continuum sum JmsNxn 7 8,052 08/12/2013, 07:17 PM Last Post: JmsNxn sexp by continuum product ? tommy1729 6 8,827 06/30/2011, 10:07 PM Last Post: tommy1729 continuum sum again tommy1729 0 2,319 02/10/2011, 01:25 PM Last Post: tommy1729 Continuum sums -- a big problem and some interesting observations mike3 17 20,094 10/12/2010, 10:41 AM Last Post: Ansus New tetration method based on continuum sum and exp-series mike3 16 21,717 05/02/2010, 09:58 AM Last Post: andydude Borel summation and other continuation/summability methods for continuum sums mike3 2 5,243 12/30/2009, 09:51 PM Last Post: mike3

Users browsing this thread: 1 Guest(s)