Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I had this question earlier, so to say as a "standalone" problem, but now it pops up in context of an analysis with the lngamma-function. As well as we can convert the question of sums of like powers $Su_p(n)=1^p+2^p+3^p+\cdots+n^p$ in terms of the Hurwitz-zeta $Su_p(n) = \zeta(p,1)-\zeta(p,n+1)$ (and solve using the Bernoulli-polynomials) I try to express this for sums of logarithms (and powers of logarithms) : $$ Sl_p(n) = \ln(1)^p+\ln(2)^p+\cdots+\ln(n)^p $$
I have seemingly proper coefficients for power series which allow that computations/approximations. The result is always found by the difference of $ Sl_p(n)-Sl_p(1) $ . Here the power series has zero as constant term.


However, to have the analogue to the Hurwitz-zeta I should have the constant term the "value" for the infinite sum $ Sl_p(\infty) $ instead. (This cancels properly if I formulate the sum of (powers of) logarithms always as that difference $ Sl_p(n)-Sl_p(1) $) And also, I'd like that this agreed conceptually more to the notion: $$ \begin{array} {rll} Sl_p(n)-Sl_p(1) &=& T_p(0)-T_p(n) \\\ & =& (\ln(1)+\ln(2)+\ln(3)+\cdots) \\\ & & - (\ln(n+1)+\ln(n+2)+\ln(n+2)+\cdots) \end{array} $$
as this agrees more with the idea of the Hurwitz-zeta-difference.

But this requires, that $T_p(0)$ represents the (infinite) sum of the $p$'th powers of the logarithms, and the constant in the power series of $T_p(0)$ must contain just such a value. Let's talk about the first powers of the logs $p=1 $ first and denote the assumed sum as $L_1$ : $ L_1 = \lim_{n\to \infty} T_1(0) $


[update 2]
I think, thanks to the hint of J.M., I can answer Q1 myself now; only Q2 remains somehow vague - besides a simple empirical heuristic I did still not get the formally correct approach to the constant term/integral-definition in the Ramanujan summation - but this is now only a side problem here (however it would be nice to get help also for this question).

With the help of the knowledge about the derivatives of the zeta at zero the relevant part of the problem could now satisfyingly be solved, so I put it here in an answer to my own question, see that answer below....

Final remark/conclusion: it is interesting, that the power series for the lngamma pops up here "automatically" - we need no other uniqueness criterion for the argument, that the (Eulerian) gamma-function gives "the correct" interpolation for the factorial problem. It is just the result of the construction of an operator for the "indefinite summation" (which was the comceptual goal from where the problem/question arose initially)

In the following I keep the rest of the original question although the approach to the Ramanujan summation contains an error
[end Update 2]


I tried to give sense to that divergent series by replacing the powers of $x$ in the Mercator series for $ \ln(1+x) $ by appropriate zetas at negative integer arguments. If I understand things correctly then this is similar to the method of Ramanujan summation, where the Bernoulli numbers are just replaced by the according zeta-values (appropriately scaled). With this I got then an approximation of $$L_1 \approx -0.0810614667953 $$
which seems a rather "random" value...
By searching in other online sources I got the suggestion (OEIS), that this is also $$ \int_1^2 \ln(\Gamma(t)) \; dt \approx -0.08106146679532725821967026 $$

With this my power series for $T_1(x)$ begins like

$ \qquad \small \begin{array} {l} - & 0.0810614667953 \\ - & 0.577215664902x \\ + & 0.533859200973x^2 \\ + & 0.325578788221x^3 \\ + & 0.125274140308x^4 \\ + & 0.0337256506589x^5 \\ + & 0.00685935357296x^6 \\ + & 0.00117260810356x^7 \\ + & O(x^8) \end{array} $
The other coefficients occur also in the power series for $f(x)=\ln(\Gamma(\exp(x)) $

Also, $L_1$ seem to satisfy the following expression: $$ \exp(L_1) = {\sqrt{(2\pi)} \over e} \approx 0.9221370088957891168791517 $$

The questions are: $\qquad$ Q1: Is that value $-0.0801\ldots$ a meaningful (or even correct) representation for the infinite sum of logarithms?
$\qquad$ Q2: Did I reproduce the Ramanujan summation correctly here?


[update 1]: J.M. mentions the relation to $ y= - \zeta'(0) \approx 0.918938533205 $ where the representation of the derivative of zeta at 0 equals formally just the sum of logarithms. Now my $L_1$ and the $y$ are related by $L_1 = y - 1$. So I expect some error in my derivation which leads just to that unit difference...

share|improve this question
    
Wait, I am confused. How'd you obtain $T_p$ from $Sl_p$? –  J. M. May 16 '11 at 11:25
    
@J.M.: by the idea $T_p(n) = L_p - S_p(n)$ so if $S_p(4)=\ln(1)^p+\ln(2)^p+\ln(3)^p+\ln(4)^p$ and $L_p=\ln(1)^p+\ln(2)^p+\ln(3)^p+\ln(4)^p+\ldots $ then $T_p(n)=\ln(n+1)^p+\ln(n+2)^p+\ln(n+3)^p+\ln(n+4)^p+\ldots $. As the difference is only the constant $L_p$ the powerseries are the same except of the sign and the constant. (Well, this all has little to do with consideration of convergence... ) –  Gottfried Helms May 16 '11 at 11:47
    
Hmm, so $L_1$ is effectively equivalent to $-\zeta^\prime(0)$? I seem to be getting something different from $-0.08106\dots$ maybe I'm missing a step in your derivation. –  J. M. May 16 '11 at 12:33
    
Hmm, due to your hint to the derivative of the zeta I found formula 43 at mathworld.wolfram.com/RiemannZetaFunction.html .For s=0 this denotes the sums of the logarithms. On the other hand, for this (in terms of the derivative of zeta at zero) mathematica gives -0.9189385332046727.... Hmm... –  Gottfried Helms May 16 '11 at 13:01
1  
@J.M.: formula 38: should have seen this before. The mentioned paper: very complex; I'll look at it another day. Now, even if I seem to have now the answer for the case p=1 I'm interested whether the cases for higher p come out to be solvable too... –  Gottfried Helms May 16 '11 at 15:01
show 4 more comments

2 Answers 2

up vote 7 down vote accepted

To address your last comment on evaluating infinite sums of powers of logarithms:

Letting

$$(-1)^n \zeta^{(n)}(s)=\sum_{k=1}^\infty \frac{(\log k)^n}{k^s}$$

the question can be recast as the evaluation of the quantity $(-1)^n \zeta^{(n)}(0)$ for various $n\in \mathbb N$.

Apostol and Choudhury had given a bunch of formulae for evaluating $\zeta^{(n)}(s)$; in particular, there is the formula

$$(-1)^n \zeta^{(n)}(0)=\frac{\Im((-\log\,2\pi-i\pi/2)^{n+1})}{\pi(n+1)}+\frac1{\pi}\sum_{j=1}^{n-1} a_j j!\binom{n}{j}\Im((-\log\,2\pi-i\pi/2)^{n-j})$$

where

$$a_j=c_{j+1}+\sum_{\ell=0}^j \frac{(-1)^\ell \gamma_\ell}{\ell!} c_{j-\ell}$$

$$c_k=-\frac{\gamma c_{k-1}}{k}-\frac1{k}\sum_{\ell=1}^{k-1} (-1)^\ell \zeta(\ell+1) c_{k-\ell-1},\qquad c_0=1$$

the $\gamma_n$ are the Stieltjes constants, and $\gamma=\gamma_0$ is the Euler-Mascheroni Constant.

Here are a few explicit evaluations of the formula:

$$\zeta^{\prime\prime}(0)=\frac{\gamma^2}{2}-\frac{\pi^2}{24}-\frac{(\log (2\pi))^2}{2}+\gamma_1$$

$$-\zeta^{\prime\prime\prime}(0)=-\gamma^3-\frac32 \gamma ^2 \log(2\pi)+\frac{\pi^2}{8}\log(2\pi)+\frac{(\log(2\pi))^3}{2}-3\gamma\gamma _1-3\gamma_1\log (2\pi)-\frac32\gamma_2+\zeta(3)$$

As can be surmised, the closed forms become rather unwieldy as $n$ gets large...

An extension of these results to noninteger powers would involve having to appropriately define the differintegral of the zeta function; going the series route would now involve terms containing the incomplete gamma function, but I've no knowledge of any closed forms for the resulting sum.

share|improve this answer
    
M.:Yes, thank you; just got at least the derivative-of-zeta connection yesterday in the evening. For small values I got values using Pari/GP by doing ${\zeta(0+h/2)-\zeta(0-h/2)\over h}$ with small h (and analoguously for higher derivatives). I think, what I'd missed in my question above was the introduction of the leading integral of the function $\ln(n)$ according to the wikipedia article on Ramanujan-summation. With that my Ramanujan-sums and the derivatives of the zetas agree now. (I'll include that corrections in my question later) –  Gottfried Helms May 17 '11 at 3:58
    
@Gottfried: You probably will be interested in this MO answer where I detailed various good algorithms for numerical derivatives. –  J. M. May 17 '11 at 4:43
    
(correction of previous comment):@J.M.:thanks again! Because a powerseries allows a simple representation of the derivative I use the stieltjes-powerseries expression for the zeta-function. Then we have a very simple, very quickly converging, numerical procedure: $ \zeta^{(p)}(0) = (-1)^p \cdot \sum_{k=0}^{\infty} ({\gamma_{p+k} \over k! }) -p! $ where $ [\gamma_0, \gamma_1, \gamma_2,...] \approx [ 0.5777,-0.072,-0.0096,...] $. Then the log-sums $[L_1,L_2,L_3,...] \approx [0.9189,-2.00635,6.00471,...] $$ (Hope I have all this correct so far) –  Gottfried Helms May 17 '11 at 11:19
    
I'll accept this answer because it gave the helpful link to the zeta-connection. Q2 concerning the correct application of the integral in the Ramanujan-summation is still open, but maybe better posed in an extra question which shall be focused on that. Many thanks to @J.M. again ! –  Gottfried Helms May 19 '11 at 4:27
add comment

I think, thanks to the hint of J.M. I can answer Q1 myself now; only Q2 remains somehow vague - besides a simple empirical heuristic I did still not get the formally correct approach to the constant term/integral-definition in the Ramanujan summation - but this is now only a side problem here (hoewever it would be nice to get help also for this question).

With the help of the knowledge about the derivatives of the zeta at zero the relevant part of the problem could now satisfyingly be solved, so I put it here in an answer to my own question.

Final remark/conclusion: it is interesting, that the powerseries for the lngamma pops up here "automatically" - we need no other uniqueness criterion for the argument, that the (Eulerian) gamma-function gives "the correct" interpolation for the factorial problem.


Since the infinite series of like powers of logarithms can be expressed by the derivatives of $ \zeta(n) $ at $n=0$ we have expressions for $L_p$ and thus for $T_p(0)$ .
$$ L_p = T_p(0) = (-1)^p \zeta^{(p)}(0) = \ln(1)^p + \ln(2)^p + \ln(3)^p + \ldots $$

To actually compute that derivatives I use the powerseries representation of zeta using the Stieltjes-constants: $$ \zeta(z) = {1 \over z-1} + \sum_{k=0}^{\infty} (-1)^k \cdot \gamma_k \cdot { (z-1)^k \over k!} $$ where the $\gamma_k$ are the Stieltjes constants, beginning with $\gamma_0$ and the values $ \approx [0.5777...,-0.072..., -0.096...] $

The derivatives are then expressed by termwise differentation, giving $$ \begin{eqnarray} \zeta^{(p)}(z) &=& ({1 \over z-1})^{(p)} &+& \sum_{k=p}^{\infty} \binom kp \cdot p!\cdot (-1)^k \cdot \gamma_k \cdot { (z-1)^{k-p} \over k!} \\ &=& - (-1)^p {p! \over (z-1)^{p+1} }& +& (-1)^p \sum_{k=0}^{\infty} (-1)^k \cdot \gamma_{k+p} \cdot { (z-1)^k \over k!} \\ &=& {p! \over (1-z)^{p+1} }& +& (-1)^p \sum_{k=0}^{\infty} \gamma_{k+p} \cdot { (1-z)^k \over k!} \\ \end{eqnarray} $$
Thus $$ \begin{eqnarray} L_p = T_p(0) &=& (-1)^p*( {p! \over 1^{p+1} }& +& (-1)^p \sum_{k=0}^{\infty} \gamma_{k+p} \cdot { 1^k \over k!} ) \\ &=& (-1)^p*p! & +& \sum_{k=0}^{\infty} {\gamma_{k+p} \over k!} \end{eqnarray} $$

The explicite sum in the last expression converges very well and can be computed to as many digits as the accuracy of the Stieltjes numbers allows. With this I get the logsums $L_0 = T_0(0) $ to $L_{23}=T_{23}(0) $ (read from left to right):

$ \qquad \small \begin{array} {rr} -0.500000000000 & 0.918938533205 \\ -2.00635645591 & 6.00471116686 \\ -23.9971031880 & 120.000232908 \\ -720.000936825 & 5039.99915018 \\ -40320.0002324 & 362880.000331 \\ -3628799.99946 & 39916800.0004 \\ -479001600.000 & 6227020800.00 \\ -87178291200.0 & 1.30767436800E12 \\ -2.09227898880E13 & 3.55687428096E14 \\ -6.40237370573E15 & 1.21645100409E17 \\ -2.43290200818E18 & 5.10909421717E19 \\ -1.12400072778E21 & 2.58520167389E22 \end{array} $

where the sequence of the deviation from the signed factorials is

$ \qquad \small \begin{array} {rr} 0.500000000000 & -0.0810614667953 \\ -0.00635645590858 & 0.00471116686225 \\ 0.00289681198629 & 0.000232907558455 \\ -0.000936825130051 & -0.000849823765002 \\ -0.000232431735512 & 0.000330589663612 \\ 0.000543234115780 & 0.000375493172907 \\ -0.0000196035362810 & -0.000407241232563 \\ -0.000570492013282 & -0.000393927078981 \\ 0.0000834588058255 & 0.000660943729629 \\ 0.00102622728654 & 0.000865575776779 \\ 0.0000192936717837 & -0.00135690605213 \\ -0.00269215645875 & -0.00305138562124 \\ -0.00142429184942 & 0.00270778921289 \\ 0.00860288096928 & 0.0135561620310 \\ 0.0127785133267 & 0.000576026175993 \\ -0.0264657041471 & -0.0641102553488 \\ -0.0940806022511 & -0.0801887691867 \\ 0.0263889614064 & 0.263594454732 \\ 0.608778480504 & 0.904597405553 \\ 0.786784764403 & -0.316856127028 \\ -2.99127389406 & -7.27888475259 \\ -11.6472353086 & -11.6164312194 \\ 1.20065709453 & 37.8116918598 \\ 105.106316717 & 189.660315159 \end{array} $

(I displayed more numbers here because the divergence of the sequence cannot be seen from the leading numbers only!)


A/the matrix $\Lambda$ contains then in each column the coefficients of the powerseries to compute $T_p(x)$ by the dot-product of a vandermonde rowvector of the type $V(z)=[1,z,z^2,z^3,...]$ with the column $p$ of $\Lambda$:

$ \qquad V(\ln(1+x))~ * \Lambda = \sum_{k=x}^\infty V(\ln(1+k))~ = [T_0(x),T_1(x),T_2(x),\ldots] $

and the sum of consecutive powers of the logarithms are taken by the difference of two $T_p(n)$-computations:

$ \qquad Sl_p(n) = T_p(0) - T_p(n) = \sum_{k=1}^n \ln(k) $


One of the reasons for that long derivations was, that the n are not required to be integer here, analoguosly to the solution for the sum of like powers by means of the Bernoulli polynomials.


Appendix:

Here is the top-left-segment of the matrix $\Lambda$:

$ \qquad \small \begin{bmatrix} -0.5000000 & 0.9189385 & -2.006356 & 6.004711 & -23.99710 & \ldots \\ -1.000000 & 0.5772157 & -0.1456317 & -0.02907109 & 0.008215338 & \ldots \\ -0.5000000 & -0.5338592 & 0.6345700 & -0.1858111 & -0.06050253 & \ldots \\ -0.1666667 & -0.3255788 & -0.3868589 & 0.6713043 & -0.2104926 & \ldots \\ -0.04166667 & -0.1252741 & -0.2407114 & -0.3127569 & 0.6958103 & \ldots \\ -0.008333333 & -0.03372565 & -0.09916203 & -0.1918968 & -0.2670350 & \ldots \\ -0.001388889 & -0.006859354 & -0.02847304 & -0.08146653 & -0.1603119 & \ldots \\ -0.0001984127 & -0.001172608 & -0.005923793 & -0.02452507 & -0.06891184 & \ldots \\ -0.00002480159 & -0.0001831833 & -0.0009884023 & -0.005280337 & -0.02143180 & \ldots \\ -0.000002755732 & -0.00002257650 & -0.0001620035 & -0.0008613236 & -0.004778981 & \ldots \\ \ldots & \ldots & \ldots & \ldots & \ldots & \ldots \end{bmatrix} $

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.