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.

The sequence of Stieltjes-constants diverges and thus cannot be summed conventionally. However their signs oscillate (unfortunately non-periodic) and thus I tried Euler- and a version of Noerlund-summation but could not arrive at a convincing result (a first impression is that S is in the near of 0.5, but the partial sums oscillate with any parameter that I can choose).

Q1: what is a meaningful value for the divergent sum $S$ of the Stieltjes-constants?


[update] Meanwhile I worked on the hints from wikipedia concerning the integral in the Borel-summation and could well make my question 2 more precise

I'm trying to make something from the defining exponential generating function for the Stieltjes-constants $$ \zeta(1+z) - {1 \over z} = \sum_{k=0}^\infty (-1)^k { s_k \over k! } z^k \tag1$$ or better with reversed sign of the argument z: $$ \zeta(1-z) + {1 \over z} = \sum_{k=0}^\infty { s_k \over k! } z^k \tag{1.1} $$

because the rhs looks like the inner term in the Borel-summation-method for the Stieltjes-constant, where the integral-term was cancelled. So we might, with wikipedia, say, that $ \zeta(1-z)+{1 \over z}$ is the Borel-transform of my wished sum $ S = \sum_{k=0}^\infty s_k $
So I think, that the correct Borel-sum computation using that $\zeta$-expression is by $$ S = \int_0^\infty \exp(-t) (\zeta(1-tz)+{1\over tz}) dt | _{z=1} \tag2 $$

Feeding this into Pari/GP the integral seems to diverge; we can go to 12 or 13 for the upper bound of the integral to arrive at about S~0.499074922658 but increasing that upper bound further then the numerical integration "begins to diverge" (I got the same value using another method for summation, but again only as partial sum, after which the summation-procedure "begins to diverge") So this would indicate, that the Borel-summation is not sufficient for this, but possibly the value 0.499074... is a legitimate approximation.

It seems, that the alternating sum $A$ can much easier be evaluated to $$ A = \sum_{k=0}^\infty (-1)^k s_k \overset{ \text{ Eulersum}}{=}0.639... \tag3 $$ but this seems not to help yet for the evaluation of the non-alternating series...

Q2: Is formula (2) the correct Borel-summation for the sum S ?
Q2.1: can formula (2) be improved to make the Borel-summation converge?

(I remember that K.Knopp in his monography on series mentioned "iterated Borel-summation" but have no idea how to introduce this here)

[/update]

share|improve this question

2 Answers 2

up vote 1 down vote accepted

(This is more of an extended comment than an answer.)

Starting from the limit definition

$$\gamma_k = \lim_{n\to\infty}\left(\left(\sum_{j=1}^n \frac{(\ln j)^k}{j}\right)-\frac{(\ln n)^{k+1}}{k+1}\right)$$

and using the Abel-Plana summation formula

$$\begin{split}\lim_{n\to\infty}&\left(\sum_{k=m}^n f(k)-\int_m^n f(u)\mathrm du\right)=\\&\frac{f(m)}{2}-\int_{-\infty}^\infty \left(\frac{|t|}{\exp(|2\pi t|)-1}\right)\left(\frac{f(m+it)-f(m-it)}{2it}\right)\mathrm dt\end{split}$$

(see also this and this) gives the following integral representation for the Stieltjes constants:

$$\gamma_k=-2\Im\left(\int_0^\infty \frac{(\log(1+iu))^k}{(1+iu)(\exp(2\pi u)-1)}\mathrm du\right),\qquad k > 0$$

One can then substitute this integral representation into any of the two series considered in the OP. Swapping summation and integration, and then summing the resulting geometric series gives (after separating out $\gamma_0=\gamma$)

$$\begin{align*} S&=\gamma-2\Im\left(\int_0^\infty \frac{\log(1+iu)}{(1+iu)(1-\log(1+iu))(\exp(2\pi u)-1)}\mathrm du\right)\\ A&=\gamma+2\Im\left(\int_0^\infty \frac{\log(1+iu)}{(1+iu)(1+\log(1+iu))(\exp(2\pi u)-1)}\mathrm du\right) \end{align*}$$

I have not been able to find closed forms for these integrals, but I was able to numerically evaluate them in Mathematica. I obtained

$$\begin{align*} S&\approx 0.499074921592010027678427635735828372349293531995548\\ A&\approx 0.639852426254150685730182361093673754144464812998495 \end{align*}$$

share|improve this answer
    
Wow. Thank you very much... This shall take some time to chew on: I was always avoiding the contact with integrals because of lack of elementary introduction in my 70'ies college-math. But perhaps it arrives at the time when I'd invest some effort now - anyway, I'll come back to this only in a couple of days. –  Gottfried Helms Apr 7 '13 at 20:19

Hmm, it seems I can answer my own question Q2.1.

First I rewrite in (2.1) the $\zeta$-expression in the integral as the power series with the Stieltjes numbers. Then I append the explicit multiplication with the formal power series for $\exp(-x)$ and finally I integrate termwise. This gives a new power series which seems to be entire, the absolute value of its terms seem to decrease hypergeometrically.

However, to represent the sum of all Stieltjes numbers, it must be evaluated with arguments towards infinity. But it seems, that the function is then not bounded, and is also oscillating in sign - at least using 256 terms of the series and testing for 36 as upper limit of the integral.

So besides that I have now a better tool for the handling of that problem, the question Q1 is still not yet answered...

share|improve this answer

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.