• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Observations on power series involving logarithmic singularities jaydfox Long Time Fellow Posts: 440 Threads: 31 Joined: Aug 2007 10/26/2007, 11:09 PM (This post was last modified: 10/26/2007, 11:50 PM by jaydfox.) This post isn't to attempt to share some awesome new insight into how power series work. What I'm about to explain is probably well-known and has been for a century or more. But it interests me. Before I started studying tetration a few months ago, I didn't know that a radius of convergence indicated a singularity. I mean, I was familiar with the idea that some power series had a radius of convergence, and obviously I was familiar with the idea of singularities. But at some point during my minimal formal calculus education (two years of high school calculus, a semester of vector calculus, and a semester of differential equations), my teachers and professors failed to make the connection explicit. And in my personal studies, including a foray into tensor math, I never came across it, probably because by that point, power series were more of an afterthought. I also had very little experience with complex analysis until I started looking at the tetration problem. Funny too, because I figured that complex math wouldn't factor in: I assumed that tetration would at best be for real numbers. So now I'm filling in holes in my knowledge, and I'm finding some fascinating things. The first was my discovery that, in the vicinity of the origin, and especially near the primary fixed points, Andrew's slog for base e approximates the sum of conjugate logarithms. Then just today, I was thinking about the sexp function, having finally decided to turn my attention back to it a couple days ago. Anyway, I was thinking about the singularity at sexp(-2). It occurred to me that in the immediate vicinity of -2, it would look pretty much like $\ln(a_1 z)$, where $a_1$ is the coefficient for the first degree term in the power series for sexp. In fact, this would just reduce to $\ln(z)+\ln(a_1)$. As such, near the singularity, and assuming no other singularities in the immediate vicinity, the power series for sexp should approximately equal the power series for the natural logarithm. Sure enough, I took my terms for the power series of the slog at 0, and calculated the reversion of the series to get the power series for the sexp (at -1). When I calculated the power series for the first derivative (a trivial calculation), I found that after the first half dozen terms, the terms of the first derivative of the sexp are alternating plus or minus 1 to within 1% or less, and by the 18th term, they're equal to +/- 1 to within 1 part in a million. In other words, the terms of the power series of sexp(z-1) converge on the terms for the power series of ln(z+1). For review, the terms for the power series of slog(z) converge on the terms of the power series of $\log_{c_0}\left(z-c_0\right) + \log_{\overline{c_0}}\left(z-\overline{c_0}\right)$, where $c_0$ is the primary fixed point for exponentiation (base e), and $\overline{c_0}$ is its conjugate. This allowed me to develop an algorithm to speed convergence of Andrew's matrix solution for finding the power series of the slog. What would be really nice is if we could do the same for the matrix solution for the sexp. Unfortunately, it's a non-linear equation, so I'm entirely sure that this new information helps. However, if one had an iterative solver that could handle the non-linearity, which needed only good approximations to start with, then this new information can certainly provide those good approximations. At this point, I'm wondering if there is anything else that this new information can help me with. For example, I'm still analyzing the graph of the slog, and finding new and interesting facets to its fractal beauty. But I'm not really any closer to being able to use this information to derive a better way to solve for the slog or sexp. In other words, my accelerated solver is still the best tool I have for calculating as much accuracy as possible. More accuracy may be possible, but I don't know yet how to get it. ~ Jay Daniel Fox « Next Oldest | Next Newest »

 Messages In This Thread Observations on power series involving logarithmic singularities - by jaydfox - 10/26/2007, 11:09 PM RE: Observations on power series involving logarithmic singularities - by jaydfox - 10/26/2007, 11:32 PM RE: Observations on power series involving logarithmic singularities - by jaydfox - 10/26/2007, 11:41 PM RE: Observations on power series involving logarithmic singularities - by jaydfox - 10/27/2007, 06:32 AM RE: Observations on power series involving logarithmic singularities - by Gottfried - 10/29/2007, 11:30 AM RE: Observations on power series involving logarithmic singularities - by jaydfox - 10/29/2007, 05:37 PM RE: Observations on power series involving logarithmic singularities - by Gottfried - 10/30/2007, 06:29 AM RE: Observations on power series involving logarithmic singularities - by andydude - 10/29/2007, 11:50 PM RE: Observations on power series involving logarithmic singularities - by jaydfox - 10/30/2007, 02:25 AM RE: Observations on power series involving logarithmic singularities - by jaydfox - 10/30/2007, 03:40 AM RE: Observations on power series involving logarithmic singularities - by jaydfox - 10/30/2007, 05:33 PM RE: Observations on power series involving logarithmic singularities - by jaydfox - 10/31/2007, 08:55 PM RE: Observations on power series involving logarithmic singularities - by Gottfried - 11/03/2007, 06:02 AM RE: Observations on power series involving logarithmic singularities - by jaydfox - 11/05/2007, 07:28 AM RE: Observations on power series involving logarithmic singularities - by bo198214 - 11/05/2007, 11:08 AM RE: Observations on power series involving logarithmic singularities - by jaydfox - 11/05/2007, 02:28 PM RE: Observations on power series involving logarithmic singularities - by Gottfried - 11/06/2007, 07:29 AM RE: Observations on power series involving logarithmic singularities - by Gottfried - 11/06/2007, 11:51 AM RE: Observations on power series involving logarithmic singularities - by bo198214 - 11/06/2007, 12:46 PM RE: Observations on power series involving logarithmic singularities - by jaydfox - 11/05/2007, 07:42 AM RE: Observations on power series involving logarithmic singularities - by andydude - 11/05/2007, 08:20 AM RE: Observations on power series involving logarithmic singularities - by jaydfox - 11/05/2007, 02:19 PM RE: Observations on power series involving logarithmic singularities - by jaydfox - 11/05/2007, 02:33 PM RE: Observations on power series involving logarithmic singularities - by andydude - 11/10/2007, 06:19 AM RE: Observations on power series involving logarithmic singularities - by bo198214 - 11/10/2007, 12:46 PM RE: Observations on power series involving logarithmic singularities - by jaydfox - 11/10/2007, 06:02 PM RE: Observations on power series involving logarithmic singularities - by jaydfox - 11/11/2007, 01:01 AM RE: Observations on power series involving logarithmic singularities - by andydude - 11/12/2007, 08:26 AM RE: Observations on power series involving logarithmic singularities - by andydude - 11/12/2007, 08:34 AM RE: Observations on power series involving logarithmic singularities - by bo198214 - 11/12/2007, 10:59 AM

 Possibly Related Threads... Thread Author Replies Views Last Post Perhaps a new series for log^0.5(x) Gottfried 0 154 12/05/2019, 04:35 PM Last Post: Gottfried A Notation Question (raising the highest value in pow-tower to a different power) Micah 8 2,603 02/18/2019, 10:34 PM Last Post: Micah Taylor series of i[x] Xorter 12 11,700 02/20/2018, 09:55 PM Last Post: Xorter Functional power Xorter 0 1,318 03/11/2017, 10:22 AM Last Post: Xorter 2 fixpoints related by power ? tommy1729 0 1,453 12/07/2016, 01:29 PM Last Post: tommy1729 Taylor series of cheta Xorter 13 12,676 08/28/2016, 08:52 PM Last Post: sheldonison Inverse power tower functions tommy1729 0 1,867 01/04/2016, 12:03 PM Last Post: tommy1729 Further observations on fractional calc solution to tetration JmsNxn 13 13,891 06/05/2014, 08:54 PM Last Post: tommy1729 Remark on Gottfried's "problem with an infinite product" power tower variation tommy1729 4 5,186 05/06/2014, 09:47 PM Last Post: tommy1729 [integral] How to integrate a fourier series ? tommy1729 1 2,543 05/04/2014, 03:19 PM Last Post: tommy1729

Users browsing this thread: 1 Guest(s)