• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 A support for Andy's (P.Walker's) slog-matrix-method Gottfried Ultimate Fellow Posts: 786 Threads: 121 Joined: Aug 2007 11/14/2011, 04:01 AM (This post was last modified: 11/14/2011, 01:15 PM by Gottfried.) Hi - in a selfstudy of the possibility of defining a "bernoulli-polynomial"-like solution for the problem of summing of like powers of logarithms $s_p(a,b)=\log(1+a)^p + \log(2+a) ^p+ \ldots + \log(b)^p$ and its generalizations to arbitrary lower and upper summation-bounds a and b I tried the method of indefinite summation. There I had to find an infinite-sized matrix-reciprocal (inverse) in the same spirit as the matrix-reciprocal which occurs in the slog-ansatz of Andy Robbins(also used earlier by P.Walker). Interestingly the matrix-reciprocal, which can be defined in the same way, gives not only meaningfully approximated values. That would be nice enough, but we might not be able to check, whether the computed values are always true approximations to the expected values. Actually we get even more: we seem to get exactly the coefficients of the most meaningful closed-form-function for this sums-of-like-powers-problem, namely involving the lngamma-function. This occurence of the lngamma here is interesting in twofold manner: a) it supports Andy's/P.Walker's matrix-ansatz for the solution of the tetration/slog b) it supports the meaningfulness of the choice of the L. Euler's gamma-definition for the interpolation of the factorial besides of the criterion of log convexity (maybe this has then a similar effect for the solution of tetration). I began to write a small article about that for my "mathematical miniatures" website, but am a bit distracted currently by my teaching duties and my weak health, and do not know when I'll have time to polish it up fully for presentation. However I thought it might already be useful/interesting to be accessible here in the current state; I think it should be readable, be selfcontained enough and understandable so far. If not, I'd like to answer/elaborate on specific questions. I uploaded the *.pdf to this forum, see attachment Gottfried P.s.: this is very near to that first-time observation in the thread http://math.eretrandre.org/tetrationforu...hp?tid=632 where I used that slog-matrix-computation rather as a curiosity, where here I'm focusing specifically on it.   BernoulliForLogSums.pdf (Size: 123.46 KB / Downloads: 799) Gottfried Helms, Kassel JmsNxn Long Time Fellow Posts: 479 Threads: 86 Joined: Dec 2010 03/07/2021, 08:21 PM (This post was last modified: 03/07/2021, 08:23 PM by JmsNxn.) Hey, Gottfried very interesting. I have too done indefinite summation excessively. I wrote a paper in my second year of undergrad. To summarize, I'll give the formula for indefinite summation as I wrote it. If $ |f(s)| \le C e^{\tau|\Im(s)| + \rho |\Re(s)|}\,\,\text{for}\,\,0\le \tau < \pi/2\,\,\rho > 0\,\,C>0\\ f\,\,\text{is holomorphic for}\,\,\Re(s) > 0\\$ Then the indefinite sum, $ F(s) = \sum_{j=1}^s f(j)\\ F(s) + f(s+1) = F(s+1)\\ F(1) = f(1)\\ F\,\,\text{is holomorphic for}\,\,\Re(s) > 0\\$ Can be given by the formula, for Euler's Gamma function $\Gamma(s)$, $ \vartheta(x) = \sum_{n=0}^\infty (\sum_{j=1}^{n+1} f(j))\frac{(-x)^n}{n!}\\ \Gamma(1-s)F(s) = \sum_{n=0}^\infty (\sum_{j=1}^{n+1} f(j))\frac{(-1)^n}{n!(n+1-s)} + \int_1^\infty \vartheta(x)x^{-s}\,dx\\ F(s) = \frac{d^{s-1}}{dx^{s-1}}|_{x=0} \vartheta(-x)\\$ If you're curious I can write a quick write-up. It's largely a simple consequence of Ramanujan's Master Theorem. I would link the original paper but, it has much to be desired from. It was one of the first papers I ever wrote so it's a tad hand-wavey. This function will be unique, so if your bernoulli sum $H$ satisfies, $ |H(s)| \le C e^{\tau|\Im(s)| + \rho |\Re(s)|}\,\,\text{for}\,\,0\le \tau < \pi/2\,\,\rho > 0\,\,C>0\\ H\,\,\text{is holomorphic for}\,\,\Re(s) > 0\\$ Then it is equivalent to $F$ when taking $f(s) = \log^a(s)$. Not too sure if this helps at all; but exponentially bounded indefinite sums are very simple to construct (largely due to Ramanujan, I just made a few short-cuts in his construction). Gottfried Ultimate Fellow Posts: 786 Threads: 121 Joined: Aug 2007 03/07/2021, 10:14 PM Hi James - nice to see some consideration of this. As the time goes I'm a bit exhausted on this thing, but I'd like to see your "tad" paper. Have you seen the discussion in MSE where I had some questions which were answered nicely? See https://math.stackexchange.com/questions...-summation Perhaps it would be a nice thing to polish the essay a bit with help of your expertise?    Gottfried Gottfried Helms, Kassel tommy1729 Ultimate Fellow Posts: 1,450 Threads: 350 Joined: Feb 2009 03/07/2021, 10:37 PM A small remark sums and integrals are related. much has already been said about the " continu sum ". but one idea not mentioned often is if and how csum A(i) is related to csum B(i), where A and B are functional inverses of eachother ? We know how the analogue works for integrals. regards tommy1729 JmsNxn Long Time Fellow Posts: 479 Threads: 86 Joined: Dec 2010 03/08/2021, 07:13 PM (This post was last modified: 03/08/2021, 07:25 PM by JmsNxn.) Actually the paper isn't as bad as I remember, lol. Here's a link: https://arxiv.org/pdf/1503.06211.pdf I do take for granted that the reader knows what Ramanujan's Master Theorem is. The version I use is, if, $ |f(z)| \le C e^{\alpha |\Im(z)| + \rho|\Re(z)|}\,\,\alpha < \pi/2,\,\,C,\rho > 0\\ f\,\,\text{is holomorphic for}\,\,\Re(z) > 0\\ \text{Then f can be represented as}\\ \Gamma(1-z)f(z) = \sum_{n=0}^\infty f(n+1)\frac{(-1)^n}{n!(n+1-z)} + \int_1^\infty (\sum_{n=0}^\infty f(n+1)\frac{(-x)^n}{n!})x^{-z}\,dx\\$ Which is nothing more than a slightly tweaked version of Ramanujan's Master Theorem. I choose to write this using fractional calculus, where if, $ \vartheta(x) = \sum_{n=0}^\infty f(n+1) \frac{x^n}{n!}\\ f(z) = \frac{d^{z-1}}{dx^{z-1}}|_{x=0} \vartheta(x)\\$ « Next Oldest | Next Newest »

 Possibly Related Threads... Thread Author Replies Views Last Post Tommy's Gaussian method. tommy1729 10 210 07/23/2021, 11:18 PM Last Post: JmsNxn Arguments for the beta method not being Kneser's method JmsNxn 9 328 07/23/2021, 04:05 PM Last Post: JmsNxn Improved infinite composition method tommy1729 5 206 07/10/2021, 04:07 AM Last Post: JmsNxn A different approach to the base-change method JmsNxn 0 439 03/17/2021, 11:15 PM Last Post: JmsNxn Sat March 6th second Tetration mtg; Peter Walker's 1991 paper sheldonison 13 2,582 03/07/2021, 08:30 PM Last Post: JmsNxn Doubts on the domains of Nixon's method. MphLee 1 607 03/02/2021, 10:43 PM Last Post: JmsNxn My interpolation method [2020] tommy1729 1 2,185 02/20/2020, 08:40 PM Last Post: tommy1729 Kneser method question tommy1729 9 8,232 02/11/2020, 01:26 AM Last Post: sheldonison Half-iterates and periodic stuff , my mod method [2019] tommy1729 0 1,792 09/09/2019, 10:55 PM Last Post: tommy1729 2 fixpoints , 1 period --> method of iteration series tommy1729 0 3,022 12/21/2016, 01:27 PM Last Post: tommy1729

Users browsing this thread: 1 Guest(s)