• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Super-logarithm on the imaginary line andydude Long Time Fellow Posts: 509 Threads: 44 Joined: Aug 2007 11/15/2007, 08:40 AM I just found a way to calculate slog on the imaginary axis! It depends very much on Jay's observation that slog is imaginary-periodic. Let $S(x) = \text{slog}_e(i x)$. S is periodic with period $2\pi$, because $S(x + 2\pi) = \text{slog}(i (x + 2\pi)) = \text{slog}(i x + 2i\pi) = \text{slog}(i x) = S(x)$. Since S is periodic, we can use Fourier series to represent it. Let $R(x) = S(-i\ln(x))$, then $R(e^{ix}) = S(x)$. The Taylor series coefficients of R will then be the Fourier series coefficients of S. In terms of the super-logarithm, $R(x) = S(-i\ln(x)) = \text{slog}(-ii\ln(x)) = \text{slog}(\ln(x)) = \text{slog}(x) - 1$. This means the Fourier series coefficients of $\text{slog}(ix)$ are the Taylor series coefficients of $\text{slog}(x) - 1$ which we already know. In other words, $\text{slog}(ix) = \text{slog}(e^{ix}) - 1$, so: $ \text{slog}_e(ix)_4 = -2 + \frac{12}{13}e^{ix} + \frac{16}{65}e^{2ix} - \frac{12}{65}e^{3ix} + \frac{1}{65}e^{4ix}$ The nice thing about this is that it seems to bypass the radius of convergence problem near z=i since its a Fourier series and not a Taylor series. Is this right? I've included a plot with multiple approximations, which seem to converge much faster than doing analytic continuation section-by-section. The top line is the imaginary part, and the bottom line is the real part, and the "y" axis is $\text{slog}(ix)$: PDF version Andrew Robbins jaydfox Long Time Fellow Posts: 440 Threads: 31 Joined: Aug 2007 11/15/2007, 09:08 AM Actually, if you think about it, we're still limited by the same radius of convergence, because it's the same series. HOWEVER, because we're plugging e^z into the series, rather than z, we're limited by abs(e^z) < 1.37445, not abs(z)<1.37445. This essentially means that for all complex values with real part less than 0.31813 (real part of primary fixed point), the series will converge. So if you plug e^(iz) into the series, and use only real z, then (because the imaginary part is 0, and hence the real part of iz is 0) you will always be inside the radius of convergence. Effectively, you're calculating points on the unit circle with the original series. ~ Jay Daniel Fox jaydfox Long Time Fellow Posts: 440 Threads: 31 Joined: Aug 2007 11/15/2007, 09:25 AM By the way, now that I see it written down, I see that I made a simple but important mistake a few days ago, by forgetting the i in the exponents for the exponential form of the fourier series. I knew that we had real exponents for slog, but didn't quite link it up with the fact that we're periodic in the imaginary direction. ~ Jay Daniel Fox andydude Long Time Fellow Posts: 509 Threads: 44 Joined: Aug 2007 11/15/2007, 05:52 PM Right, since the real part of all points in the "backbone" of the slog are less than the logarithm of the radius of convergence, the exponential of them is within the radius of convergence (of the series expansion about z=0). Andrew Robbins « Next Oldest | Next Newest »

 Possibly Related Threads... Thread Author Replies Views Last Post Is bugs or features for fatou.gp super-logarithm? Ember Edison 10 938 08/07/2019, 02:44 AM Last Post: Ember Edison A fundamental flaw of an operator who's super operator is addition JmsNxn 4 6,113 06/23/2019, 08:19 PM Last Post: Chenjesu Can we get the holomorphic super-root and super-logarithm function? Ember Edison 10 1,429 06/10/2019, 04:29 AM Last Post: Ember Edison Inverse super-composition Xorter 11 11,279 05/26/2018, 12:00 AM Last Post: Xorter The super 0th root and a new rule of tetration? Xorter 4 3,237 11/29/2017, 11:53 AM Last Post: Xorter Is the straight line the shortest, really? Xorter 0 1,153 05/23/2017, 04:40 PM Last Post: Xorter Solving tetration using differintegrals and super-roots JmsNxn 0 1,677 08/22/2016, 10:07 PM Last Post: JmsNxn The super of exp(z)(z^2 + 1) + z. tommy1729 1 2,285 03/15/2016, 01:02 PM Last Post: tommy1729 Super-root 3 andydude 10 9,626 01/19/2016, 03:14 AM Last Post: andydude super of exp + 2pi i ? tommy1729 1 3,109 08/18/2013, 09:20 PM Last Post: tommy1729

Users browsing this thread: 1 Guest(s)