• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Rational sums of inverse powers of fixed points of e jaydfox Long Time Fellow Posts: 440 Threads: 31 Joined: Aug 2007 11/21/2007, 01:15 AM (This post was last modified: 11/21/2007, 01:31 AM by jaydfox.) Hmm, I solved another problem and killed two birds with one stone. My coefficient for the z terms is the same as the coefficient for the z^2 term in the Sloane series, save for a discrepancy in the factorial denominator. And I have as the base of the logarithm at each singularity, the value of the point itself. Well, if I divide the series through by z, then I get the coefficients to correspond correctly. This can be done safely, because the function equals 0 at z=0, so we can use l'Hopital's rule to find the value at z=0, and everywhere else it's well-defined. Anyway, that's the first bird. Second bird: by dividing by z, I effectively make each logarithmic singularity have as its base the value at that point. To find the logarithm for a given base, first find the natural logarithm, then divide by the base. In this case, dividing a logarithmic singularity by z when -z is a fixed point, creates the effect of having used the logarithm with a base of exp(-z), which is still just -z in this case. To put it all together, evaluating at the additive inverse of an arbitrary fixed point of natural exponentiation: First, let $z = w-c_k$ $ \begin{eqnarray} F(z) & = & \frac{1}{z}\ln\left(1+z e^{z}\right) {\HUGE |}_{z = w-c_k}\\ & = & \frac{1}{z}\ln\left(1-\left(-z e^{z}\right)\right) {\HUGE |}_{z = w-c_k} \\ & = & \frac{1}{z}\ln\left(1-\frac{-z}{e^{-z}}\right) {\HUGE |}_{z = w-c_k} \\ & = & \frac{1}{w-c_k}\ln\left(1-\frac{c_k-w}{e^{c_k-w}}\right) {\HUGE |}_{w \to 0} \\ \end{eqnarray}$ At this point, we can use our knowledge of the behavior at the fixed point: $ \begin{eqnarray} F(z) & = & \frac{1}{w-c_k}\ln\left(1-\frac{c_k-w}{e^{c_k-w}}\right) {\HUGE |}_{w \to 0} \\ & = & \frac{-1}{c_k}\ln\left(\frac{e^{c_k-w}-\left(c_k-w\right)}{e^{c_k-w}}\right) {\HUGE |}_{w \to 0} \\ & = & \frac{-1}{c_k}\ln\left(\frac{e^{c_k-w}-c_k+w}{e^{c_k}}\right) {\HUGE |}_{w \to 0} \\ & = & \frac{-1}{c_k}\ln\left(\frac{c_k-(c_k-1)w+\mathcal{O}(w^2)-c_k+w}{c_k}\right) {\HUGE |}_{w \to 0} \\ & = & -\frac{\ln\left(\frac{{1-(c_k-1)}w}{c_k}\right)}{\ln\left(c_k\right)} {\HUGE |}_{w \to 0} \\ & = & -\log_{c_k}\left(\frac{c_k}{c_k}w\right) {\HUGE |}_{w \to 0} \\ & = & -\log_{c_k}(w) {\HUGE |}_{w \to 0} \\ \end{eqnarray}$ And there you have it! There is an infinite set of fixed points, and hence an infinite number of such logarithms, which when summed get us back to this simple function. I'm wondering if some similar technique waits to be leveraged for the slog! And, er, I haven't thoroughly checked my work (it's quite tedious), so if you find a mistake, please let me know. ~ Jay Daniel Fox « Next Oldest | Next Newest »

 Messages In This Thread Rational sums of inverse powers of fixed points of e - by jaydfox - 11/20/2007, 07:55 PM RE: Rational sums of inverse powers of fixed points of e - by jaydfox - 11/20/2007, 08:11 PM RE: Rational sums of inverse powers of fixed points of e - by Gottfried - 11/20/2007, 08:14 PM RE: Rational sums of inverse powers of fixed points of e - by jaydfox - 11/20/2007, 08:31 PM RE: Rational sums of inverse powers of fixed points of e - by jaydfox - 11/20/2007, 08:43 PM RE: Rational sums of inverse powers of fixed points of e - by jaydfox - 11/20/2007, 09:31 PM RE: Rational sums of inverse powers of fixed points of e - by jaydfox - 11/21/2007, 01:15 AM RE: Rational sums of inverse powers of fixed points of e - by jaydfox - 11/21/2007, 08:14 AM RE: Rational sums of inverse powers of fixed points of e - by Gottfried - 11/21/2007, 08:50 AM RE: Rational sums of inverse powers of fixed points of e - by jaydfox - 11/21/2007, 09:35 AM RE: Rational sums of inverse powers of fixed points of e - by Gottfried - 11/21/2007, 12:52 PM RE: Rational sums of inverse powers of fixed points of e - by jaydfox - 11/21/2007, 06:20 PM RE: Rational sums of inverse powers of fixed points of e - by Gottfried - 11/22/2007, 06:25 PM RE: Rational sums of inverse powers of fixed points of e - by jaydfox - 11/22/2007, 08:32 PM

 Possibly Related Threads... Thread Author Replies Views Last Post tetration from alternative fixed point sheldonison 22 30,564 12/24/2019, 06:26 AM Last Post: Daniel Thoughts on hyper-operations of rational but non-integer orders? VSO 2 785 09/09/2019, 10:38 PM Last Post: tommy1729 Inverse Iteration Xorter 3 2,771 02/05/2019, 09:58 AM Last Post: MrFrety Inverse super-composition Xorter 11 13,796 05/26/2018, 12:00 AM Last Post: Xorter Are tetrations fixed points analytic? JmsNxn 2 3,173 12/14/2016, 08:50 PM Last Post: JmsNxn the inverse ackerman functions JmsNxn 3 6,156 09/18/2016, 11:02 AM Last Post: Xorter Rational operators (a {t} b); a,b > e solved JmsNxn 30 41,490 09/02/2016, 02:11 AM Last Post: tommy1729 Removing the branch points in the base: a uniqueness condition? fivexthethird 0 1,641 03/19/2016, 10:44 AM Last Post: fivexthethird Inverse power tower functions tommy1729 0 1,963 01/04/2016, 12:03 PM Last Post: tommy1729 Derivative of exp^[1/2] at the fixed point? sheldonison 10 10,943 01/01/2016, 03:58 PM Last Post: sheldonison

Users browsing this thread: 1 Guest(s)