Escolar Documentos
Profissional Documentos
Cultura Documentos
Bernard Candelpergher
Ramanujan
Summation
of Divergent
Series
Lecture Notes in Mathematics 2185
Editors-in-Chief:
Jean-Michel Morel, Cachan
Bernard Teissier, Paris
Advisory Board:
Michel Brion, Grenoble
Camillo De Lellis, Zurich
Alessio Figalli, Zurich
Davar Khoshnevisan, Salt Lake City
Ioannis Kontoyiannis, Athens
Gábor Lugosi, Barcelona
Mark Podolskij, Aarhus
Sylvia Serfaty, New York
Anna Wienhard, Heidelberg
More information about this series at http://www.springer.com/series/304
Bernard Candelpergher
Ramanujan Summation
of Divergent Series
123
Bernard Candelpergher
Laboratoire J.A. Dieudonné. CNRS
Université de Nice
Côte d’Azur, Nice, France
Mathematics Subject Classification (2010): 40D05, 40G05, 40G10, 40G99, 30B40, 30B50, 11M35,
11M06
C1
X
n D 0 C 1 C 2 C 3 C 4 C 5 C 6 C 7 C 8 C 9 C :::
n0
and
C1
X
n3 D 0 C 13 C 23 C 33 C 43 C 53 C 63 C 73 : : :
n0
appear in physics about the study of the Casimir effect which is the existence of an
attractive force between two parallel conducting plates in the vacuum.
These series are examples of divergent series in contrast to convergent series; the
notion of convergence for a series was introduced by Cauchy in his Cours d’Analyse
in order toPavoid frequent mistakes in working with series. Given a series of complex
numbers n0 an , Cauchy considers the sequence of the partial sums
s0 D 0
s1 D a0
s2 D a0 C a1
:::
sn D a0 C : : : C an1
v
vi Introduction: The Summation of Series
P
and says that the series n0 an is convergent if and only if the sequence .sn / has a
finite limit when n goes to infinity. In this case the sum of the series is defined by
C1
X
an D lim sn
n!C1
nD0
P
The classical Riemann series n1 n1s is convergent for every complex number s
such thatP Re.s/ > 1 and defines the Riemann zeta function defined for Re.s/ > 1 by
W s 7! C1 1
nD1 ns .
Non-convergent series are divergent series. For Re.s/ 1 the Riemann series
is a divergent series and does not give a finite value for the sums that appear in
the Casimir effect. A possible strategy to assign a finite value to these sums is to
perform an analytic continuation of the zeta function this has been done by Riemann
(Edwards 2001) who found an integral formula for .s/ which is valid not only for
Re.s/
P > 1 but also for s 2 Cnf1g. By this method we can assign to the series
n1 n k
with k > 1 the value .k/; we get, for example,
X 1
n0 D 1 C 1 C 1 C 1 C 1 C 1 C : : : 7! .0/ D
n1
2
X 1
n1 D 1 C 2 C 3 C 4 C 5 C 6 C : : : 7! .1/ D
n1
12
X
n2 D 1 C 22 C 32 C 42 C 52 C : : : 7! .2/ D 0
n1
X 1
n3 D 1 C 23 C 33 C 43 C 53 C : : : 7! .3/ D
n1
120
:::
which is easily proved to be a divergent series since the partial sums sn verify
Z 2 Z 3 Z
1 1 1 1 nC1
1
sn D 1 C C ::: C dx C dx C : : : C dx D Log.n C 1/
2 n 1 x 2 x n x
But the strategy of analytic continuation of the zeta function does not work in this
case since has a pole at s D 1 that is lims!1 .s/ D 1.
Introduction: The Summation of Series vii
1 1
D 1 C 2 C 3 C 4 C 5 C 6 C : : : C .1 C 1 C 1 C 1 C 1 C 1 C : : :/
12 2
D 2 C 3 C 4C 5 C 6 C 7 C :::
D .1 C 2 C 3 C 4 C 5 C 6 C 7 C : : :/ 1
1
D 1
12
This absurdity shows that with divergent series we cannot use the classical rules of
calculation, and for a given class of series, we need to define precisely some method
of summation and its rules of calculation.
Before and after Cauchy, some methods of summation of series have been
introduced by several mathematicians such as Cesaro, Euler, Abel, Borel, P and
others. These methods of summation assign to a series of complex numbers n0 an
a number obtained by taking the limit of some means P of the partial sums sn . For
example, the Cesaro summation assigns to a series nn0 an the number
C
X s1 C : : : C sn
an D limn!C1 (when this limit is finite)
n0
n
and we have
A
X C1
X
an D lim an tn (when this limit is finite) I
t!1
n0 nD0
A
X C1
X 1 1
.1/n D lim .1/n tn D lim D
t!1 t!1 1 C t 2
n0 nD0
viii Introduction: The Summation of Series
The classical methods of summation use these types of means of partial sum and
can be briefly presented in the following form.
Let T be a topological space of parameters and l some “limit point” of the
compactification of T (if T D N, then l D C1; if T D Œ0; 1, then l D 1). Let
. pn .t//n2N be aP
family of complex sequences indexed by t 2 T such that for all
t 2 T the series n0 pn .t/ is convergent; then we set
T PC1
X pn .t/sn
an D lim PnD0
C1
nD0 pn .t/
t!l
n0
P
when this limit is finite, and in this case, we say that the series n0 an is T -
summable.
A theorem of Toeplitz (Hardy 1949) gives necessary and sufficient conditions on
the family . pn .t//n2N to ensure that in case of convergence this summation coincides
with the usual Cauchy summation.
These summation methods verify the linearity conditions
T
X T
X T
X
.an C bn / D an C bn
n0 n0 n0
T
X T
X
Can D C an for every constant C 2 C
n0 n0
T
X T
X
an D a0 C anC1
n0 n0
This last
P property which seems natural is in fact very restrictive. For example, the
series n1 1 can’t be T -summable since the translation property gives an absurd
relation
T
X T
X
1D1C 1
n0 n0
PT k
Thus, if we need a method of summation such that the sums n0 n are
well defined for any integer k, then we must abandon the translation property
requirement and find a way to define summation procedures other than the way
of the “limit of means of partial sums.”
This can be done by using a sort of generating function for the terms of the series.
It is based on the following algebraic framework (Candelpergher 1995). Let E be a
C-vector space (in general a space of functions) equipped with a linear operator D
Introduction: The Summation of Series ix
an D v0 .Dn f /
.I D/R D f ; (1)
then we get
X
an D v0 .R/
n0
D W .un / 7! .unC1 /
v0 W .un / 7! u0
In this case the generator of a sequence of complex numbers .an /n0 is precisely this
sequence f D .an /n0 since .Dn f /k D akCn : If we set R D .rn /n0 , Eq. (1) becomes
the difference equation
rn rnC1 D an
r0 rn D a0 C : : : C an1 ;
lim rn D 0;
n!C1
x Introduction: The Summation of Series
then we
Phave a unique solution R of (1) and we get the usual convergence of the
series n0 an with
C1
X
v0 .R/ D r0 D lim .a0 C : : : C an1 / D an
n!C1
nD0
With this algebraic setting, we have presented (Candelpergher 1995) the sum-
mation method employed by Ramanujan in Chapter VI of his second notebook (the
notebooks of Ramanujan are edited by the Tata Institute of Fundamental Research).
This is done in a way similar to the Cauchy summation but replacing the space of
sequences by a certain space E of analytic functions and
Df .x/ D f .x C 1/
v0 . f / D f .1/
For the Ramanujan summation, the terms of the series are indexed with n 1 as
P does, and since v0 .D f / D f .n/, we define this summation for the series
n
Ramanujan
of type n1 f .n/ where f 2 E.
In this case Eq. (1) is simply the difference equation
R
X
f .n/ D Rf .1/ (3)
n1
which
P is a hypothetical interpolation function of the partial sums of the series
n1 f .n/, given with the condition 'f .0/ D 0. This expansion contains a constant
Cf that Ramanujan calls “the constant of the series” and treats like a sort of sum for
the series.
Since 'f .x C 1/ 'f .x/ D f .x C 1/, we see that if we set
R
X
f .n/ D Rf .1/ D Cf
n1
We use the term Ramanujan constant for Rf .1/ since the expression “Ramanujan
sum” is widely used for another notion in number theory.
We give a precise definition of Rf in Chap. 1 by the use of an integral formula
which is related to the Abel-Plana summation formula.
For a function f sufficiently decreasing, the Euler-MacLaurin summation formula
gives
Z
n
Cf D lim f .1/ C : : : C f .n/ f .x/dx (4)
n!C1 1
Thus if we are in a case of convergence of the series and integral, then we have
R
X C1
X Z C1
f .n/ D f .n/ f .x/dx (5)
n1 nD1 1
P
There is also the apparition of an integral when we compare the sums R n1 f .n/
P
and R n1 f .nC1/, since by (4) we have, in contrast to the usual translation property,
the unusual shift property
R
X R
X Z 2
f .n C 1/ D f .n/ f .1/ C f .x/dx (6)
n1 n1 1
When we apply this property to the function Rf and use Eq. (2), we get
Z 2
Rf .x/dx D 0 (7)
1
R
X R
X Z 2 R
X 1
nk D .n 1/k C .x 1/k dx D .n 1/k C (8)
n1 n1 1 n1
kC1
We see that the series 1 C2k C3k C4k C: : : and 0 C1 C2k C3k C4k C: : : don’t have
the
P same sum! This is a consequence of the fact that the Ramanujan summation ofk
n1 f .n/ is intimately related to the function f (in the first case, we have f .x/ D x
and, in the second, f .x/ D .x 1/k ).
In Chap. 2 we study elementary properties of the Ramanujan summation in
comparison to the classical properties of the usual Cauchy summation. We prove
a surprising relation between the sums
R
X R Z
X n
'f .n/ and f .x/dx
n1 n1 1
R
X Z 1 C1
X
1 BkC1
f .n/ D f .x/dx f .0/ @k f .0/
n1 0 2 kD1
.k C 1/Š
R
X R
X
f .n/ D lim f .n/enz
z!0
n1 n1
P nz
But if z > 0, then the series n1 f .n/e is convergent, and by (5) we have
R Z
X C1
X
nz
C1
f .n/ D lim f .n/e f .x/ezx dx (9)
z!0C 1
n1 nD1
XR C1
X 1
1 1 1
D D .z/
n1
n z
n1
n z z1 z1
By this property of analyticity, this formula remains valid for all z ¤ 1, and we
see that the Ramanujan summation of the zeta series cancels the pole of the zeta
function at z D 1. More precisely at z D 1, we have by (4)
R
X 1 1
D lim 1 C ::: C Log.n/ D (Euler constant)
n1
n n!C1 n
P
We also note that for the “Casimir series” n1 .n 1/k (with k a positive integer),
we have by (8)
R
X R
X 1
.n 1/k D nk D .k/ (10)
n1 n1
kC1
In the second section of Chap. 3, we study the possibility to integrate the sum
PR
n1 f .z; n/ with respect to z. For example, we have for 0 < Re.s/ < 1
Z R
X X R Z R
C1
1 C1
1 X 1
u s1
du D us1 du D
0 n1
nCu n1 0 nCu sin s n1 n1s
which gives simply the functional equation for the function. Finally we give a sort
of Fubini theorem for double sums
R X
X R
f .m; n/
m1 n1
We apply this result to the Eisenstein function G2 (Freitag and Busam 2009)
C1
X C1
X 1
G2 .z/ D
nD1 mD1 .m C nz/2
m¤0 if nD0
xiv Introduction: The Summation of Series
Since we don’t have absolute summability, we cannot interchange the sums, but
thanks to the Ramanujan summation, we can prove simply that this function G2
satisfies the nontrivial relation
1
G2 . / D z2 G2 .z/ 2iz
z
where the ˇk are the Bernoulli numbers of the second kind and is the usual
difference operator. This formula is related to the classical Laplace summation
formula (Boole 1960).
In the third section, we see that we can define the Euler summation of alternate
series by using the Euler-Boole summation formula that is an analogue of the Euler-
Maclaurin formula. We see that this summation is given by
XE C1
X .1/k
.1/n1 f .n/ D .k f /.1/;
n1 kD0
2 kC1
PR PR
and we prove that this sum is related to the sums n1 f .2n 1/ and n1 f .2n/ by
R
X R
X E
X Z 2
1
f .2n 1/ f .2n/ D .1/n1 f .n/ f .t/dt
n1 n1 n1
2 1
P
This can also be generalized to series of type n1 ! n1 f .n/ where ! is a root of
unity.
The unusual shift property (6) shows that the Ramanujan summation does not
verify the translation property which is required (with linearity) for a summation
method by Hardy in his very fine book Divergent Series. But we have seen that
abandon
P of the translation property is necessary if we want to sum series like
n1 P.n/ where P is a polynomial. Thus, in Chap. 5, we give a general algebraic
theory of summation of series that unifies the classical summation methods and the
Ramanujan summation. In this general framework, the usual translation property
appears as a special case of a more general shift property.
Introduction: The Summation of Series xv
Acknowledgments
1 Ramanujan Summation .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 1
1.1 The Euler-MacLaurin Summation Formula .. . . . . .. . . . . . . . . . . . . . . . . . . . 1
1.2 Ramanujan’s Constant of a Series . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 3
1.3 A Difference Equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 9
1.3.1 The Functions 'f and Rf . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 9
1.3.2 The Fundamental Theorem . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 10
1.4 The Summation .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 15
1.4.1 Definition and Examples .. . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 15
1.4.2 The Fractional Sum . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 23
1.4.3 Relation to Usual Summation . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 27
2 Properties of the Ramanujan Summation . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 31
2.1 Some Elementary Properties .. . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 31
2.1.1 The Unusual Property of the Shift. . . . . . . . .. . . . . . . . . . . . . . . . . . . . 31
2.1.2 Summation by Parts . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 37
2.1.3 Sums of Products .. . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 38
2.2 Summation and Derivation .. . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 41
2.3 The Case of an Entire Function .. . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 45
2.3.1 The Sum of an Entire Function .. . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 45
2.3.2 An Expression of Catalan’s Constant . . . . .. . . . . . . . . . . . . . . . . . . . 51
2.3.3 Some Trigonometric Series . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 52
2.4 Functional Relations for Fractional Sums . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 55
3 Dependence on a Parameter . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 61
3.1 Analyticity with Respect to a Parameter . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 61
3.1.1 The Theorem of Analyticity . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 61
3.1.2 Analytic Continuation of Dirichlet Series.. . . . . . . . . . . . . . . . . . . . 70
3.1.3 The Zeta Function of the Laplacian on S2 . . . . . . . . . . . . . . . . . . . . 72
3.1.4 More Zeta Series . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 75
3.1.5 A ModifiedPZeta Function . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 79
3.1.6 The Sums R n1 n 'f .n/ . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . .
k
80
xvii
xviii Contents
Index . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . 193
Notation
j kŠ
Ck D
jŠ.k j/Š
.s/
• The harmonic numbers are Hn D 1 C 21s C : : : C 1
ns .
• The Bernoulli polynomials Bk .x/ are defined by
X Bn .x/ text
tn D
n0
nŠ et 1
t X ˇn X ˇnC1
D tn D 1 C tnC1
log.1 C t/ n0
nŠ n0
.n C 1/Š
xxi
xxii Notation
Rx
• For x 2 C we use the notation 1 f .u/du for the integral
Z x Z 1
f .u/du D f .1 C t.x 1//.x 1/dt
1 0
X
n
Logk . j/ LogkC1 .n/
k D lim
n!C1
jD1
j kC1
0 .z/
.z/ D
.z/
R
X
f .n/ D Rf .1/
n1
PC1
If the series is convergent, then nD1 f .n/ denotes its usual sum.
Chapter 1
Ramanujan Summation
In the first two sections of this chapter we recall the Euler-MacLaurin formula
and use it to define what Ramanujan, in Chapter VI of his second Notebook, calls
the “constant” of a series. But, as Hardy has observed, Ramanujan leaves some
ambiguity in the definition of this “constant”. Thus in the third section we interpret
this constant as the value of a precise solution of a difference equation. Then we can
give in Sect. 1.4 a rigorous definition of the Ramanujan summation and its relation
to the usual summation for convergent series.
Let’s consider a function f 2 C1 .0; C1Œ/. For every positive integer n we can
write
X
n X
n
f .k/ D .k .k 1//f .k/
kD1 kD1
X
n1
D nf .n/ k. f .k C 1/ f .k//
kD1
n1 Z
X kC1
D nf .n/ Œx f 0 .x/dx
kD1 k
X
n Z n Z n
0
f .k/ D nf .n/ xf .x/dx C fxgf 0 .x/dx
kD1 1 1
X
n Z n Z n
f .k/ D f .1/ C f .x/dx C fxgf 0 .x/dx
kD1 1 1
1
b1 .x/ D fxg
2
R1
which is a 1-periodic function with 0 b1 .x/dx D 0. We have
X
n Z Z Z
n n
1 n
f .k/ D f .1/ C f .x/dx C b1 .x/f 0 .x/dx C f 0 .x/dx
kD1 1 1 2 1
X
n Z Z
n
1 n
f .k/ D f .x/dx C . f .n/ C f .1// C b1 .x/f 0 .x/dx (1.1)
kD1 1 2 1
To make another integration by parts in the last integral we introduce the function
Z x
c2 .x/ D b1 .t/dt
0
x2 x
c2 .x/ D if x 20; 1Œ
2 2
then by integration by parts
Z n Z n
b1 .x/f 0 .x/dx D c2 .x/f 00 .x/dx
1 1
Thus we get
X
n Z Z
n
1 n
f .k/ D f .x/dx C . f .n/ C f .1// c2 .x/f 00 .x/dx
kD1 1 2 1
b2 .x/ B2
D c2 .x/ C
2 2
1.2 Ramanujan’s Constant of a Series 3
X
n Z Z
n
1 B2 n
b2 .x/ 00
f .k/ D f .x/dx C . f .n/ C f .1// C . f 0 .n/ f 0 .1// f .x/dx
kD1 1 2 2 1 2
where bm .x/ is the 1-periodic function bm .x/ D Bm .x Œx/; with the Bernoulli
polynomials Bk .x/ defined by
X Bn .x/ text
tn D
n0
nŠ et 1
and the Bernoulli numbers Bn D Bn .0/ (we verify that B2kC1 D 0 for k 1/: For a
simple proof of this general formula see Appendix.
Let f be a C 1 function defined for real x > 0. In the beginning of Chapter VI of his
Notebook 2, Ramanujan introduces the hypothetical sum
x x X .1/k1 B2k 2k
D1 C x
ex 1 2 k1 .2k/Š
and he says about the constant C: the algebraic constant of a series is the constant
obtained by completing the remaining part in the above theorem. We can substitute
this constant which is like the centre of gravity of a body instead of its divergent
infinite series.
In Ramanujan’s notation the numbers B2n are related with the usual Bernoulli
numbers by
The main difficulty with this formula is that this last series is not always convergent.
Therefore we replace this series by a finite sum and give a precise meaning to the
integral. We are thus led to write the Euler-MacLaurin summation formula in the
form
Z
f .n/ X B2k 2k1
n m
f .1/ C : : : C f .n/ D Cm . f / C f .x/dx C C @ f .n/
1 2 kD1
.2k/Š
Z C1
b2mC1 .x/ 2mC1
@ f .x/dx
n .2m C 1/Š
where
Z
f .1/ X B2k 2k1
m C1
b2mC1 .x/ 2mC1
Cm . f / D @ f .1/ C @ f .x/dx
2 kD1
.2k/Š 1 .2m C 1/Š
1.2 Ramanujan’s Constant of a Series 5
is convergent for all m M > 0. Then by integration by parts we verify that the
constant Cm . f / does not depend on m if m M thus we set Cm . f / D C. f /:
We use the notation
R
X
C. f / D f .n/
n1
R
X 1
1D
n1
2
PR 1 5
If f .x/ D x then @2 f D 0 thus n1 nD 2 B2
2 D 12 .
with
Z C1
f .1/
C. f / D C b1 .x/f 0 .x/dx
2 1
R C1
Since n b1 .x/f 0 .x/dx ! 0 when n ! C1 we get the following expression of
the Ramanujan constant as the limit
R
X Z
n
f .n/
f .n/ D lim f .1/ C : : : C f .n/ f .x/dx (1.2)
n1
n!C1 1 2
R
X n1 Z
X
kC1
f .n/ D lim f .1/ C : : : C f .n 1/ f .x/dx
n!C1 k
n1 kD1
6 1 Ramanujan Summation
R
X C1
X Z
nC1
f .n/ D f .n/ f .x/dx (1.3)
n1 nD1 n
P R C1
This proves the property that if the series n1 f .n/ and the integral 1 f .x/dx
are convergent then we have the relation
R
X C1
X Z C1
f .n/ D f .n/ f .x/dx (1.4)
n1 n1 1
Examples
1
(1) If f .x/ D xz
with Re.z/ > 1 then by (1.4)
XR
1 X 1 Z C1 1
C1 C1
X 1 1
D dx D
n1
n z
n1
n z
1 x z
n1
n z z 1
thus for Re.z/ > 1 we have the relation with the classical Riemann zeta function
XR
1 1
D .z/ (1.5)
n1
n z z1
1
(2) If f .x/ D x
then by (1.2)
R
X X
n Xn
1 1 1 1
D lim . Log.n/ / D lim . Log.n//
n1
n n!C1
kD1
k 2n n!C1
kD1
k
thus
R
X 1
D where is the Euler constant (1.6)
n1
n
R
X X
n
1
Log.n/ D lim . Log.k/ .nLog.n/ n C 1 C Log.n//
n1
n!C1
kD1
2
1.2 Ramanujan’s Constant of a Series 7
X
n
1 p
lim Log.k/ .nLog.n/ n C Log.n// D Log. 2/
n!C1
kD1
2
this gives
R
X p
Log.n/ D Log. 2/ 1 (1.7)
n1
(4) If f .x/ D xLog.x/ then we have @f .x/ D Log.x/ C 1 and @2 f .x/ D 1x : Thus by
the preceding Euler-MacLaurin formula with m D 1 we have
R
X Z
X
n n
nLog.n/ Log.n/ C 1
nLog.n/ D lim kLog.k/ xLog.x/dx
n1
n!C1
kD1 1 2 12
this gives
R
X X
n
n2 n 1 n2 1
nLog.n/ D lim kLog.k/ Log.n/. C C /C
n1
n!C1
kD1
2 2 12 4 3
thus
R
X 1
nLog.n/ D Log.A/ (1.8)
n1
3
R
X 1
nLog.n/ D 0 .1/
n1
4
Remark Note that with the Euler-MacLaurin formula we have for all a > 0:
f .1/ C : : : C f .n/ D
Ra f .1/ Pm B2k 2k1
R C1 b2mC1 .x/ 2mC1
1 f .x/dx C 2
kD1 .2k/Š @ f .1/ C 1 .2mC1/Š
@ f .x/dx
PR
This is a summation formula where the constant C. f / D n1 f .n/ is replaced by
Z a R
X
Ca . f / D f .x/dx C f .n/
1 n1
It seems that Ramanujan leaves the possibility that the choice of a depends on
the series considered. P R C1
In the special case where the series f .n/ and the integral 1 f .x/dx are
convergent then if we take a D C1 we get
Z C1 R
X
C1 . f / D f .x/dx C f .n/
1 n1
C1
X
C1 . f / D f .n/
nD1
Z 1 R
X B2
C0 . f / D x dx C nD
0 n1
2
R
X 1
D
n1
n
Conclusion
With the use of Euler-Maclaurin formula we have the definition of the constant
of a series by
R
X Z
f .n/ X B2k 2k1
n m
f .n/ D lim . f .1/ C : : : C f .n/ Œ f .x/dx C C @ f .n/
n1
n!C1 1 2 kD1
.2k/Š
(1.9)
1.3 A Difference Equation 9
P Thisnlast hypothesis is not always satisfied, for example if we look at a series like
n1 e . Thus we need to avoid the systematic use of Euler-McLaurin formula and
define in a more algebraic way the Ramanujan summation.
It seems he has in mind a sort of uniqueP interpolation function 'f of the partial sums
f .1/ C f .2/ C : : : C f .n/ of the series n1 f .n/ associated to f . This interpolation
function must verify
and Ramanujan sets the additional condition 'f .0/ D 0. With this condition the
relation (1.10) gives for every n integer 1
C1
X
lim 'f .n/ D f .n/
n!C1
nD1
and
Z
f .1/ X B2k 2k1 C1
m
b2mC1 .x/ 2mC1
C. f / D @ f .1/ C @ f .x/dx
2 kD1
.2k/Š 1 .2m C 1/Š
R
X
f .n/ D Rf .1/ (1.12)
n1
and the relation 'f .n/ D C. f / C f .n/ Rf .n/ gives for Rf the difference equation
Rf .n/ Rf .n C 1/ D f .n/
R
X
f .n/ D R.1/
n1
But we can’t impose this sort of condition on the function R because it involves the
R C1
integral 1 f .x/dx which, in the general case, is divergent. Thus we now translate
it into another form.
Suppose we have a smooth function R solution of the difference equation
Now if we integrate the two sides of this equation between k and k C 1 for all integer
k 1, and formally take the infinite sum over k, we obtain
Z C1 Z 2
f .x/dx D R.x/dx lim R.x/
1 1 x!C1
Unfortunately this does not define a unique function Rf because we can add to Rf
any combination of periodic functions x 7! e2ikx : To avoid this problem we add the
hypothesis that Rf is analytic in the half plane fx 2 CjRe.x/ > 0g and of exponential
type < 2:
Definition 1 A function g analytic for Re.x/ > a is of exponential type < ˛
.˛ > 0/ if there exists ˇ < ˛ such that
then R D 0.
12 1 Ramanujan Summation
R.x/ D R0 .e2ix /
1
R0 .z/ D R. Log.z//
2i
where r > 0.
The condition that R is of exponential type < 2 gives
1 ˛ ˛
jcn j Ce 2 j ln.r/j with < 1:
rn 2
If we take r ! 0 we get cn D 0 for n < 0 and if we take r ! C1 then we get
R2
cn D 0 for n > 0. Finally the condition 1 R.x/dx D 0 then gives c0 D 0. u
t
Theorem 1 If f 2 O˛ with ˛ 2 there exists a unique function Rf 2 O˛ such
R2
that Rf .x/ Rf .x C 1/ D f .x/ with 1 Rf .x/dx D 0. This function is
Z Z C1
x
f .x/ f .x C it/ f .x it/
Rf .x/ D f .t/dt C Ci dt (1.13)
1 2 0 e2t 1
Proof
(a) Uniqueness is given by the preceding lemma.
(b) The function Rf defined by (1.13) is clearly in O˛ :
(c) Let us prove that Rf .x/Rf .xC1/ D f .x/. By analyticity it is sufficient to prove
this for real x.
Consider the integral
Z
1
f .z/ cot..z x//dz
2i
1.3 A Difference Equation 13
iy
x x+1
-iy
1 1 1
cot..z x// D 2i.zx/ when Im.z/ > 0
2i 2 e 1
and
1 1 1
cot..z x// D C 2i.zx/ when Im.z/ < 0:
2i 2 e 1
Let us examine the different contributions of the integral:
* the semicircular path at x and x C 1 gives when " ! 0
1 1
f .x/ f .x C 1/
2 2
* the horizontal lines give
Z Z
1 xC1
1 xC1
. / f .t C iy/dt C f .t iy/dt
2 x 2 x
and two additional terms which vanish when y ! C1 (by the hypothesis that f
of exponential type < 2).
* the vertical lines give
Z Z
y
f .x C it/ f .x it/ y
f .x C 1 C it/ f .x C 1 it/
i dt i dt
" e2t 1 " e2t 1
and
Z Z Z Z
1 y 1 y 1 y 1 y
f .xCit/idt f .xit/idt f .xC1Cit/idtC f .xC1it/idt
2 " 2 " 2 " 2 "
14 1 Ramanujan Summation
If we add this term with the contributions of the horizontal lines we obtain the
sum of the integrals of f on the paths
iy
ιε
−ιε x x+1
-iy
R xC1
which gives the contribution x f .t/dt when " ! 0.
Finally when " ! 0 and y ! C1 we get
1 1
f .x/ D f .x/ f .x C 1/
2 2
Z C1
f .x C it/ f .x it/
Ci dt
0 e2t 1
Z C1
f .x C 1 C it/ f .x C 1 it/
i
0 e2t 1
Z xC1
C f .t/dt
x
Rx
where F.x/ D 1 f .t/dt. Thus
Z 2 Z C1 Z C1
f .x C it/ f .x it/ F.2 C it/ F.2 it/
dt dx D dt
1 0 e2t 1 0 e2t 1
Z C1
F.1 C it/ F.1 it/
dt
0 e2t 1
1 1
F.x/ D F.x/ F.x C 1/
2 2
Z C1
F.x C it/ F.x it/
Ci dt
0 e2t 1
Z C1
F.x C 1 C it/ F.x C 1 it/
i
0 e2t 1
Z xC1
C F.t/dt
x
With x D 1 we get
Z 2 Z C1 Z 2
f .x C it/ f .x it/ F.1/ C F.2/
i dt dx D C F.t/dt
1 0 e2t 1 2 1
This gives
Z 2 Z 2 Z 2 Z 2
1 F.1/ C F.2/
Rf .x/dx D F.x/dx C f .x/dx . /C F.t/dt D 0
1 1 2 1 2 1
t
u
Consider fP2 O2 , then by Theorem 1 we can define the Ramanujan summation of
the series n1 f .n/ by
R
X
f .n/ D Rf .1/
n1
16 1 Ramanujan Summation
We immediately note that for some f 2 O2 this definition can give surprising
results. Let us consider for example the function f W x 7! sin.x/, since
But sin.n/ D g.n/ with the function g D 0, and we have trivially Rg D 0 which
gives
R
X
0D0
n1
P
This example shows that for f 2 O2 the sum R n1 f .n/ depends not only on
the values f .n/ for integers n 1 but also on the interpolation function f we have
chosen.
To avoid this phenomenon we restrict the Ramanujan summation to functions f
in O ; since with this condition we can apply Carlson’s theorem (see Appendix)
which says that such a function is uniquely determined by its values f .n/ for all
integers n 1. Note that in this case the function Rf given by Theorem 1 is also in
O :
Definition 2 If f 2 O , then there exist’s a unique solution Rf 2 O of
Z 2
Rf .x/ Rf .x C 1/ D f .x/ with Rf .x/dx D 0
1
R
X
f .n/ D Rf .1/
n1
1.4 The Summation 17
R
X Z C1
f .1/ f .1 C it/ f .1 it/
f .n/ D Ci dt (1.14)
n1
2 0 e2t 1
P
We call this procedure the Ramanujan summation of the series f .n/ and
PR n1
Linearity
If a and b are complex numbers and f and g are in O , then we verify immediately
that
R
X R
X R
X
af .n/ C bg.n/ D a f .n/ C b g.n/
n1 n1 n1
Reality
R
X
g.n/ 2 R
n1
Take f 2 O defined in the half plane fx 2 CjRe.x/ > ag with a < 1. We define
for x 2a; C1Œ the functions fr W x 7! Re. f .x// and fi W x 7! Im. f .x// and
assume that the functions fr and fi have analytic continuations on the half plane
fx 2 CjRe.x/ > ag that are in O .
18 1 Ramanujan Summation
PR PR
Then we can define the sums n1 Re. f .n// and n1 Im. f .n// by
R
X R
X
Re. f .n// D fr .n/
n1 n1
R
X R
X
Im. f .n// D fi .n/
n1 n1
By linearity we have
R
X R
X R
X R
X
f .n/ D . fr .n// C i fi .n// D fr .n/ C i fi .n/
n1 n1 n1 n1
Since fr .x/ and fi .x/ are real for x 2 R then by the reality property we get
R
X R
X
Re. f .n// D Re. f .n//
n1 n1
R
X R
X
Im. f .n// D Im. f .n//
n1 n1
1 1
For example if f .z/ D zCi
then fr W z 7! z
z2 C1
and fi W z 7! z2 C1
are analytic
functions in O . Thus
R
X X n R
1
Re. /D
n1
nCi n1
n2 C 1
R
X X 1 R
1
Im. /D
n1
nCi n1
n2 C 1
PR PR
Remark Note that generally we can’t write n1 f .n/ D n1 f .n/ since the
function f is not analytic (if f is non constant).
Examples
(1) Take f .x/ D ezx with z 2 C then for Re.x/ > 0 we have
x
j f .x/j D eRe.zx/ D eRe.z jxj /jxj
1.4 The Summation 19
Thus if we set x
jxj D ei then f 2 O for z 2 U where
ιπ
Uπ
–π 0
–ιπ
ezx ez.xC1/
D ezx
1 ez 1 ez
ezx
R2 ezx
this gives Rf .x/ D 1ez
1 1ez dx, thus we have
ezx ez
Rf .x/ D
1 ez z
R
X ez ez
ezn D z
(1.15)
n1
1e z
P P ez ez
For z D 0 we have R n1 e
zn
D R 1
n1 1 D 2 D limz!0 . 1ez z /.
If z D it with t 2 ; Œnf0g, taking real and imaginary part of (1.15)
we get
R
X sin.t/ 1
cos.nt/ D (1.16)
n1
t 2
R
X 1 t cos.t/
sin.nt/ D cot. / (1.17)
n1
2 2 t
20 1 Ramanujan Summation
1 BkC1 .x/
Rxk .x/ D (1.18)
kC1
thus we get
R
X XR
1 BkC1 1
nk D if k 1 and 1D (1.19)
n1
kC1 n1
2
1
(3) Take f .x/ D xz with Re.x/ > 0.
P 1
(a) For Re.z/ > 1 and Re.x/ > 0 the series n0 .nCx/z is convergent and
defines the Hurwitz zeta function:
C1
X 1
.z; x/ D
nD0
.n C x/z
Since
1
.z; x/ .z; x C 1/ D (1.20)
xz
we have
Z 2 C1
X 1
Rf .x/ D .z; x/ dx
1 nD0
.n C x/z
PC1 1
Since the series nD0 .nCx/z is uniformly convergent for x 2 Œ1; 2 we have
Z 2 C1
X C1
1 1 X 1 1 1
dx D . /D
1 nD0
.n C x/z z 1 nD0 .n C 1/z1 .n C 2/z1 z1
1.4 The Summation 21
1
R 1z .x/ D .z; x/
x z1
(b) For every z ¤ 1 the integral formula (1.13) for the function Rf gives
Z C1
x1z 1 1 .x2 C t2 /z=2 sin.z arctan.t=x//
R 1z .x/ D C xz C 2 dt
x z1 z1 2 0 e2t 1
And by analytic continuation the Eq. (1.20) remains valid, thus for all z ¤ 1
we have
1
R 1z .x/ D .z; x/ (1.21)
x z1
.z/ D .z; 1/
then we have
XR
1 1
D .z/ (1.22)
n1
n z z1
XR
1
R .z/ D z
(1.23)
n1
n
P
(4) If f .x/ D 1x then the series C1 1
nD0 nCx is divergent and to get a solution of
the difference equation R.x/ R.x C 1/ D 1x we replace it by the series
PC1 1 1
nD0 . nCx nC1 /. Thus we have
C1
X Z 2 C1
X
1 1 1 1
Rf .x/ D . / . /dx
nD0
nCx nC1 1 nD0
nCx nC1
22 1 Ramanujan Summation
C1
X 1 1
R 1 .x/ D . /C
x
nD0
nCx nC1
and we get
R
X 1
D (1.24)
n1
n
(5) Another way to get (1.24) is to use the the digamma function D 0 = that
verifies
Z 2
1
.x C 1/ .x/ D with .x/dx D 0
x 1
Thus we have
R 1 D .x/ (1.25)
x
kŠ
@k .x C 1/ @k .x/ D .1/k
xkC1
with
Z 2
@k .x/dx D @k1 .2/ @k1 .1/ D .1/k1 .k 1/Š
1
Thus we get
.1/k1 k 1
R 1 D @ (1.27)
xkC1 kŠ k
1.4 The Summation 23
PR 1
Note that for any integer k > 0 we have n1 nkC1 D .k C 1/ 1k , thus we
have
@k .1/
D .1/kC1 .k C 1/
kŠ
(6) Take f .x/ D Log.x/, where Log is the principal determination of the logarithm.
Then the relation .x C 1/ D x.x/ gives
thus
Z 2
RLog D Log C Log .t/dt
1
R2 p
since it is known that 1 Log .t/dt D 1CLog. 2/ cf. Srivastava and Choi)
we get
p
RLog .x/ D Log..x// C Log. 2/ 1 (1.28)
We will now explain how the Ramanujan summation is related to the function that
Ramanujan writes
Consider f 2 O and suppose we have a function ' analytic for Re.x/ > a with
1 < a < 0 and of exponential type < which satisfies
then R is an analytic function for Re.x/ > a C 1 of exponential type < , which
R2
satisfies R.x/ R.x C 1/ D f .x/ with 1 R.x/dx D 0, thus R D Rf and we get
Z 1
'.x/ D '.x/dx Rf .x C 1/
0
'.x/ D Rf .1/ Rf .x C 1/
Inversely this last equation defines a function ' analytic for Re.x/ > a with
1 < a < 0 and of exponential type < which satifies
R
X
'f .x/ D Rf .1/ Rf .x C 1/ D f .n/ Rf .x/ C f .x/ (1.29)
n1
and we have
R
X Z 1
f .n/ D 'f .x/dx (1.30)
n1 0
If k is an integer 1 then
.1/k k 1
' 1 D @ ‰ C kC1 C .k C 1/
xkC1 kŠ x
For k D 0 we have
1
' 1 .x/ D ‰.x/ C C
x x
XR
1 1 1 1
' 1z .x/ D ..z; x/ / C z D .z/ .z; x/ C z
x
n1
n z z1 x x
R
X Z Z C1
f .x/ x
f .x C it/ f .x it/
'f .x/ D f .n/ C C f .t/dt i dt
n1
2 1 0 e2t 1
is sufficient to obtain
R
X Z
f .n/ n
f .n/ D lim f .1/ C : : : C f .n/ f .t/dt
n1
n!C1 2 1
26 1 Ramanujan Summation
Examples
1
(1) Take the function f D x 7! pCxq where p and q are strictly positive integers.
We have
R
X 1 1 1 1 1
D lim C ::: C Log.nq/ C Log. p C q/
n1
p C nq n!C1 p C q p C nq q q
1 1 1 1
. p; q/ D lim C C ::: C Log.nq/
n!C1 p pCq p C nq q
R
X 1 1 1
. p; q/ D C Log. p C q/
n1
p C nq p q
p Z C1
1 arctan. xt /
Log..x C 1// D Log. 2/ C Log.x/ C xLog.x/ x C 2 dt
2 0 e2t 1
Remark In his Notebook Ramanujan uses for the function 'f the expression
C1
X
'f .x/ D . f .n/ f .n C x// (1.31)
nD1
lim f .x/ D 0
x!C1
X
N X
N
. f .n/ f .n C x// . f .n/ f .n C x 1// D f .x/ f .x C N/
nD1 nD1
1.4 The Summation 27
gives when N ! C1
Thus if we assume that the function defined by (1.31) is analytic for Re.x/ > a
with 1 < a < 0 and of exponential type < then it verifies the requirements of
Definition 3.
lim f .n/ D 0
n!C1
X
n1
Rf .1/ Rf .n/ D f .k/:
kD1
P
Thus the series n1 f .n/ is convergent if and only if Rf .n/ has a finite limit when
n ! C1 and in this case
R
X 1
X
f .n/ D f .n/ C lim Rf .n/
n!C1
n1 n1
Now let us see how this last limit is simply related to the integral of the function f .
Recall the integral formula
Z Z C1
f .n/ n
f .n C it/ f .n it/
Rf .n/ D f .t/dt C i dt
2 1 0 e2t 1
lim f .n/ D 0
n!C1
and
Z C1
f .n C it/ f .n it/
lim dt D 0 (1.32)
n!C1 0 e2t 1
P R C1
Then the series n1 f .n/ is convergent if and only if the integral 1 f .t/dt is
convergent and we have
R
X 1
X Z C1
f .n/ D f .n/ f .x/dx (1.33)
n1 n1 1
From now on, we will say in this case that “we are in a case of convergence”.
Example For z 2 Cnf1; 2; 3; : : :g we have
XR X1 Z C1
1 1 1 1 1 1
. /D . / . /dx
n1
n nCz n1
n nCz 1 x xCz
R
X R
X Z C1
1 1 1 1
D C .z C 1/ . /dx
n1
n n1
nCz 1 x xCz
R
X 1
D .z C 1/ C Log.z C 1/ (1.34)
n1
nCz
R
X 1 1 p 1 1 p
D . / C Log. C 1/
n1
p C nq q q p q q
1.4 The Summation 29
By Gauss formula for (c.f. Srivastava and Choi) we get for 0 < p < q
R
X 1 1 1 1 p
D C Log. p C q/ C cot. /
n1
p C nq q p q 2q q
1X
q1
p k
cos.2k /Log.2 sin. //
q kD1 q q
C1
X
g W x 7! f .x C n/
nD0
is well defined for Re.x/ > 0 and assume that g 2 O . Then we have
If in addition we have
Z 2 C1
X XZ 2
C1
f .x C n/dx D f .x C n/dx
1 nD0 nD0 1
Rf .u C 1/ Rf .u C 2/ D f .u C 1/ D g.u/
Thus we have
Z 2
Rg .u/ D Rf .u/ f .u/ C f .u/du
1
R
X R
X Z 2
f .n C 1/ D f .n/ f .1/ C f .x/dx (2.1)
n1 n1 1
Therefore we see that the Ramanujan summation does not satisfy the usual
translation property of convergent series.
More generally let f 2 O and for Re.x/ 0 let g.u/ D f .u C x/. Then we have
Rf .u C x/ Rf .u C x C 1/ D f .u C x/ D g.u/
we deduce that
Z xC2
Rg .u/ D Rf .u C x/ Rf .v/dv
xC1
R
X Z xC2
f .n C x/ D Rf .x C 1/ Rf .v/dv
n1 xC1
which gives
Z xC2 Z xC1
Rf .v/dv D f .v/dv
xC1 1
2.1 Some Elementary Properties 33
Therefore we have
R
X Z xC1 Z xC1
f .n C x/ D Rf .x C 1/ C f .v/dv D Rf .x/ f .x/ C f .v/dv (2.2)
n1 1 1
R
X R
X Z xC1
f .n C x/ D f .n/ 'f .x/ C f .v/dv (2.3)
n1 n1 1
R
X R
X X
m Z mC1
f .n C m/ D f .n/ f .n/ C f .x/dx
n1 n1 nD1 1
R
X R
X
f .n/ D f .n 1/
n0 n1
R
X R
X Z 1
f .n/ D f .0/ C f .n/ C f .x/dx
n0 np 0
Examples
1 Pm 1
(1) Let f .x/ D x and Hm D kD1 k , we have
R
X XR Z mC1
1 1 1
D Hm C dx D Hm C Log.m C 1/
n1
n C m n1
n 1 x
X
M
cm XM
g.x/ D such that cm D 0
mD0
xCm mD0
34 2 Properties of the Ramanujan Summation
P
then we are in a case of convergence for the series n1 g.n/ and we have
C1
X R X
X M Z C1 X
M
cm cm
g.n/ D C dx
nD1 n 1 mD0
nCm 1 mD0
xCm
Note that
R X
X M XM X R XM XM
cm cm
D D c m Hm C cm Log.m C 1/
n 1 mD0
nCm mD0 n 1
nCm mD1 mD1
and
Z C1 X
M Z AX
M XM
cm cm
dx D lim dx D cm Log.1 C m/
1 mD0
xCm A!C1 1 mD0
xCm mD1
Thus we get
C1
X X
M
g.n/ D c m Hm
nD1 mD1
C1
X c0 C c1 c0 C : : : C cm1
g.n/ D c0 C C ::: C
nD1
2 m
R
X p
Log.n C x/ D Log..x C 1// C Log. 2/ 1 C .x C 1/Log.x C 1/ x
n1
t 1
arctan. / D .Log.n C it/ Log.n it//
n 2i
then we get
R
X R R
t 1 X X
arctan. / D . Log.n C it/ Log.n it//
n1
n 2i n 1 n1
1 .1 C it/ p
D Log. / C tLog. t2 C 1/ C arctan.t/ t
2i .1 it/
2.1 Some Elementary Properties 35
With t D 1 we get
R
X XR R
X 1
arctan.n/ D arctan. /
n1 n1
2 n1
n
1 .1 C i/ p
D Log. / C Log. 2/ C 1
2i .1 i/ 2
C1
X t t 1 .1 C it/
.arctan. / / D Log. / t
nD1
n n 2i .1 it/
1 1
The partial sum of order N of this series is equal to 2
1CeNt
, this gives the
convergence of the series and we have
8
ˆ 1
C1
X 1 1 < 2 for t < 0
ˆ
. / D 0 for t D 0
1Ce .n1/t 1 C ent ˆ
nD1 :̂C 1 for t > 0
2
Thus, although the terms of the series are continuous at t D 0, the usual sum
has a discontinuity for t D 0. This is not the case for the Ramanujan summation,
as we can verify with this example:
By the shift property applied to the function
1
f .x/ D
1 C e.x1/t
we have immediately
R
X Z 1
1 1 1 1
. .n1/t
/D dx
n1
1 C e 1 C e nt 2 0 1 C ext
36 2 Properties of the Ramanujan Summation
R
(
X 1 1 12 C 1t .Log.1 C et / Log.2// for t ¤ 0
. / D
n1
1 C e.n1/t 1 C ent 0 for t D 0
+1/2
–1/2
P
We examine in Chap. 3 how the Ramanujan summation of a series n 1 f .n; z/
with f .x; z/ depending analytically on an external complex parameter z conserves
the property of analyticity.
Application
Let us see how we can obtain this result by a simple application of the shift property.
First we write
C1
X C1
Xp
p p 3 p
. n C 1 n/ D 1 C . n C 1 n/3
nD0 nD1
XR
p p 1 p
D . n C 1 n/3 .12 2 18/
n1
5
2.1 Some Elementary Properties 37
p p
Next we use the binomial expansion of . n C 1 n/3 and we get
R
X R
X R
X
p p
. n C 1 n/3 D 4 ..n C 1/3=2 n3=2 / 3 .n1=2 C .n C 1/1=2 /
n1 n1 nD1
R
X Z
3=2 3=2
2
1 p
..n C 1/ n / D 1 C x3=2 dx D 1 C .8 2 2/
n1 1 5
R
X R
X Z 2
..n C 1/1=2 C n1=2 / D 2 n1=2 1 C x1=2 dx
n1 n1 1
1 2 1 p
D 2.. / C / 1 C .4 2 2/
2 3 3
After some simplifications we get
C1
X p p 1
. n C 1 n/3 D 6. /
nD0
2
C1
X XR XR XR
p p 1 p p 1
. nC1 n p / D nC1 n p
nD1
2 n n1 n1 n1
2 n
Z C1 p p 1
C . x C 1 x p /dx
1 2 x
1 1
D . / 1
2 2
R
X Z 2
. f .n/ f .n C 1//g.n/ C f .n C 1/.g.n/ g.n C 1// D f .1/g.1/ f .t/g.t/dt
n1 1
R
X R
X
. f .n C 1/ f .n//g.n/ D f .n C 1/.g.n C 1/ g.n//
n1 n1
(2.4)
Z 2
f .1/g.1/ C f .t/g.t/dt
1
Examples
(1) With f .x/ D Log.x/ and g.x/ D x we have
R
X XR Z 1
1
n Log.1 C / D Log.n/ C t Log.t C 1/dt
n1
n n1 0
and we get
R
X 1 5 p
n Log.1 C / D Log. 2/
n1
n 4
P
The regularized series n 1 .n Log.1 C 1n / 1 C 1
2n
/ is convergent and by
linearity and application of (1.33) we deduce that
C1
X 1 1 1 p
.n Log.1 C / 1 C / D Log. 2/ C 1
n1
n 2n 2
R
X R
X
. f .n C 1/ f .n//'g .n/ D f .n C 1/.'g .n C 1/ 'g .n//
n1 n1
Z 2
f .1/'g .1/ C f .t/'g .t/dt
1
2.1 Some Elementary Properties 39
since 'g .n C 1/ 'g .n/ D g.n C 1/ we get, by the shift property, a formula for the
summation of a product:
R
X Z 2 R
X
f .n/g.n/ D f .t/'g .t 1/dt . f .n C 1/ f .n//'g .n/ (2.5)
n1 1 n1
R
X Z 2 R
X
nLog.n/ D t'Log .t 1/dt 'Log .n/
n1 1 n1
R
X Z 2 R
X
nLog.n/ D tLog..t//dt Log.nŠ/
n1 1 n1
PR
Note that we can evaluate more directly the sum n1 nLog.n/ by using the relation
(Srivastava and Junesang Choi 2012)
Z xC1 Z x p
Log..t//dt Log..t//dt D xLog.x/ x C Log. 2/
1 1
which gives
R
X p Z 2 Z
1 B2 1 x
nLog.n/ C Log. 2/ D Log..t//dt dx
n1
2 2 1 1
R
X Z 2 p
19 3
nLog.n/ D tLog..t//dt C Log. 2/
n1 1 12 2
R
X R
X 19 3 p
Log.nŠ/ D 2 nLog.n/ C Log. 2/
n1 n1
12 2
40 2 Properties of the Ramanujan Summation
R
X R
X R
X R
X R
X
f .n/g.n/ D 'f .n/g.n/ C 'g .n/f .n/ f .n/ g.n/
n1 n1 n1 n1 n1
Z 2
Rf .x/Rg .x/dx
1
PR
Proof Since Rf .x/ D n1 f .n/ 'f .x/ C f .x/ we see that it is equivalent to prove
that
R
X R
X R
X R
X R
X
Rf .n/g.n/ C Rg .n/f .n/ D f .n/g.n/ C f .n/ g.n/
n1 n1 n1 n1 n1
Z 2
Rf .x/Rg .x/dx
1
We have immediately
XR Z
Hn 1 2 1 2
D ..2/ 1 C / C . .t//2 dt (2.6)
n1
n 2 2 1
P
Remark Since Rf D R n 1 f .n/ 'f C f we can express the result of Theorem 3
only in terms of the fractional sums:
R
X R
X
f .n/g.n/ D . f .n/'g .n/ C 'f .n/g.n//
n1 n1
Z 2
C . f .x/'g .x/ C 'f .x/g.x//dx
1
Z 2
. f .x/g.x/ C 'f .x/'g .x//dx
1
2.2 Summation and Derivation 41
This last integral is simply Rf .2/ Rf .1/ D f .1/ thus we get a relation between
@Rf and R@f that is
R
X X
m Z 1
Bk Bm .t/
f .n/ D @ k1
f .1/ C .1/ mC1
R@m f .t C 1/ dt (2.9)
n1 kD1
kŠ 0 mŠ
1
Proof We have B1 .t/ D t 2
thus
Z 1 Z 1
0D Rf .t C 1/dt D Rf .t C 1/@B1 .t/dt
0 0
R
X X
m Z 1
Bk Bm .t/
f .n/ D @k1 f .1/ C .1/mC1 R@m f .t C 1/ dt
n1 kD1
kŠ 0 mŠ
t
u
Corollary Let f 2 O and for k 1 let
Z x
Fk .x/ D Fk1 .t/dt with F0 D f
1
R
X Z 1
Bm .t/
Fm .n/ D .1/ mC1
Rf .t C 1/ dt
n1 0 mŠ
For m D 1 we get
R Z
X n Z 2
f .x/dx D tRf .t/dt
n1 1 1
xk1 Pk .x/
Fk .x/ D Log.x/ C
.k 1/Š kŠ
R
X Z 1 XR
BkC1 .t/ PkC1 .n/
nk Log.n/ D .1/k1 .t C 1/ dt
n1 0 kC1 n1
kC1
In this relation the last sum can be evaluated in terms of Bernoulli numbers since
R
X XR
1 BkC1 1
nk D if k 1 and 1D
n1
kC1 n1
2
2.2 Summation and Derivation 43
R
X Z 1
B2 .t/ B2
nLog.n/ D .t C 1/ dt
n1 0 2Š 2
R
X Z 1
B3 .t/ 1
n2 Log.n/ D .t C 1/ dt C B2
n1 0 3 4
R
X R R R Z x
3X X X
'f .n/ D f .n/ nf .n/ F.n/ with F.x/ D f .t/dt
n1
2 n1 n1 n1 1
we deduce that
R
X Z 2
.nf .n/ Rf .n C 1// D Rf .1/ tRf .t/dt
n1 1
R2 PR
By the preceding corollary we have 1 tRf .t/dt D n1 F.n/, thus we obtain
R
X R
X R
X R
X
nf .n/ Rf .n C 1/ D f .n/ F.n/
n1 n1 n1 n1
Xn
1
Hn.s/ D ' 1s .n/ D
x
kD1
ks
R
X R R R Z n
3X 1 X 1 X
Hn.s/ D ts dt
n1
2 n 1 ns n 1 ns1 n 1 1
44 2 Properties of the Ramanujan Summation
R
X R
3 3 1 1 1 X 1
Hn.s/ D .s/ .s 1/ C .1 s1 /
n1
2 2s1 s 2 s 1 n1 n
then
R
X 3 s2 1
Hn.s/ D .s/ .s 1/
n1
2 s1 s1
R
X R R R
3X1 X X
Hn D 1 Log.n/
n1
2 n1 n n1 n1
thus
R
X 3 1 p
Hn D C Log. 2/
n1
2 2
C1
X 1 1 p 1
.Hn Log.n/ / D Log. 2/ C
nD1
2n 2 2
R
X R R R
3X 1 X 1 X 1
Hn.2/ D C . 1/
n1
2 n 1 n2 n 1 n n 1 n
thus
R
X 3
Hn.2/ D .2/ 2
n1
2
C1
X 1
.Hn.2/ .2/ C / D .2/ 1
nD1
n
2.3 The Case of an Entire Function 45
R
X R
X R
X R
X R
X
f .n/@f .n/ D 'f .n/@f .n/ C '@f .n/f .n/ f .n/ @f .n/
n1 n1 n1 n1 n1
Z 2
Rf .x/R@f .x/dx
1
XR
1
f .1/2 C f .1/ f .n/
2 n1
1
For example if f .x/ D xp
with p ¤ 0; 1 the preceding relation gives
XR .p/ XR .pC1/
Hn Hn 1 1
C D .2p C 1/ C ..p/ /.p C 1/ (2.10)
n1
n pC1
n1
n p p1 p
1
and for f .x/ D x
we obtain
XR R
Hn X Hn
.2/
C D .3/ C .2/ 1 (2.11)
n1
n2 n1
n
where F.h/ can be found by expanding the left and writing the constant instead of a
series and F.0/ D 0.
Cor. If h'.h/ D ahp C bhq C chr C dhs C : : : then
Z C1
Bp p Bq
h'.h/Ch'.2h/C: : : D '.x/dxCa h cos.p=2/Cb hq cos.q=2/C: : :
0 p q
R
X Z 1 C1
X
1 BkC1
f .n/ D f .x/dx f .0/ @k f .0/
n1 0 2 kD1
.k C 1/Š
C1
X Z C1 C1
X
1 BkC1
f .n/ D f .x/dx f .0/ @k f .0/
n1 0 2 kD1
.k C 1/Š
P
Proof Let us write f .x/ D C1kD0 kŠ x with ck D @ f .0/. By the Cauchy integral
ck k k
formulas we have for ˇ < a constant C > 0 such that for every integer k 0 and
every r > 0
Z 2
1
jck j D kŠrk j f .reit /eikt dtj Crk eˇr
2 0
PC1
Let us now prove that Rf D ck
kD0 kŠ Rxk . We have
Since jck j C k where < , if we take < r < 2, this inequality shows
P 1BkC1 .x/
that the series C1
kD0 ck .kC1/Š is uniformly convergent on every compact of the x
plane and defines an entire function of exponential type < 2. By
Z 2 C1
X X C1 Z 2
1 BkC1 .x/ 1 BkC1 .x/
ck dx D ck dx D 0
1 kD0
.k C 1/Š kD0 1 .k C 1/Š
Thus
C1
X C1
X C1
X BkC1 .1/
1 BkC1 .1/ ck
Rf .1/ D ck D c0 B1 .1/ ck
kD0
.k C 1/Š kD0
.k C 1/Š kD1
.k C 1/Š
this gives
R
X Z 1 C1
X
1 BkC1
f .n/ D f .x/dx c0 ck
n1 0 2 kD1
.k C 1/Š
t
u
Remark Since B2kC1 D 0 for k 1 we have
R
X Z 1 C1
X
1 B2k
f .n/ D f .x/dx f .0/ @2k1 f .0/
n1 0 2 kD1
.2k/Š
48 2 Properties of the Ramanujan Summation
R
X Z 1
1
f .n/ D f .x/dx f .0/
n1 0 2
Example With p an integer > 0 and 0 < t < =p, let f .x/ D sinxp.xt/ for x ¤ 0 and
p
f .0/ D t p . This function is entire and even, thus by the preceding theorem we get
XR Z 1
sinp .nt/ sinp .xt/ 1
D dx t p
n1
n p
0 x p 2
C1
X XR Z C1 Z C1 p
sinp .nt/ sinp .nt/ sinp .xt/ sin .xt/ 1
D C dx D dx t p
nD1
np n1
n p
1 x p
0 x p 2
this gives
C1
X Z C1
sinp .nt/ sinp .x/ 1
D tp1 dx t p
nD1
np 0 xp 2
Remarks
(1) The preceding theorem is simply the relation
R
X C1
X R
@k f .0/ X k
f .n/ D n
n1 kD0
kŠ n 1
C1
X @k f .1/ k
x 7! f .x C 1/ D x
kD0
kŠ
we get
R
X C1
X R
@k f .1/ X k
f .n C 1/ D n
n1 kD0
kŠ n 1
2.3 The Case of an Entire Function 49
R
X C1
X Bk
f .n/ D @k1 f .1/
n1 kD1
kŠ
(2) The preceding theorem is not valid if f is not an entire function. For example
take f .x/ D 1Cx1 2 t2 , then if we apply the preceding result we find
C1
X Z C1
1 1 1 1
D dx D
n1
1 C n2 t 2 0 1 C x2 t 2 2 2t 2
in contrast with the classical formula (Berndt 1985, Ramanujan’s Notebooks II,
ch.15, p.303)
C1
X 1 1 1
2 t2
D C 2=t 1
n1
1 C n 2t 2 t e
This is a particular case of a remark that Ramanujan writes after the first entry of
chapter XV:
Il the expansion of '.h/ be an infinite series then that of F(h) also will be an infinite series;
but if most of the numbers p,q,r,s,t,. . . be odd integers F(h) appears to terminate. In this case
the hidden part of F(h) can’t be expanded in ascending powers of h and is very rapidly
diminishing when h is slowly diminishing and consequently can be neglected for practical
purposes when h is small.
XR Z 1 C1
X @k f .0/ Bk
f .n/ f .x/ f .0/ 1 0
D dx C f .0/ f .0/
n1
n 0 x 2 kD2
kŠ k
C1
X Z 1 Z C1
f .n/ f .x/ f .0/ f .x/ 1
D dx C dx C f .0/ f 0 .0/
n1
n 0 x 1 x 2
C1
X @k f .0/ Bk
kD2
kŠ k
f .x/ f .0/
g.x/ D if x ¤ 0 and g.0/ D f 0 .0/
x
50 2 Properties of the Ramanujan Summation
XR R Z 1 C1
f .n/ X f .0/ f .x/ f .0/ 1 X BkC1
D dx f 0 .0/ @k g.0/
n1
n n1
n 0 x 2 kD1
.k C 1/Š
@kC1 f .0/
Since @k g.0/ D kC1
we obtain the formula. t
u
Examples
(1) For z 2 U (cf 1.15) take the entire function x 7! ezx . We have by the
preceding corollary
XR Z 1 zx C1
X .1/k Bk
ezn e 1 1
D dx C C z zk
n1
n 0 x 2 kD2
kŠ k
PC1 .1/k k Bk
The sum kD2 kŠ z k is easily obtained by integration of the relation
C1
X .1/k k1 ez 1 1
z Bk D z
C
kD2
kŠ 1e z 2
which gives
C1
X .1/k k Bk 1
z D Log.1 ez / Log.z/ C z
kD2
kŠ k 2
XR Z 1 zx
ezn e 1
DC dx Log.1 ez / C Log.z/ (2.12)
n1
n 0 x
C1
X Z 1 Z C1
ezn ezx 1 ezx
D dx C dx C C Log.z/
n1
n 0 x 1 x
Log.1 ez /
2.3 The Case of an Entire Function 51
PC1 ezn
Since n1 n D Log.1 ez /, this gives the relation
Z C1 Z 1
ezx ezx 1
dx C dx D Log.z/ (2.13)
1 x 0 x
(2) Let’s take Re.z/ > 0, if we apply the formula (2.4) of summation by parts to the
functions f .x/ D Log.x/ and g.x/ D ezx , we get
R
X XR Z 1
1
enz Log.1 C / D .ez 1/ enz Log.n/ C Log.t C 1/ezt dt
n1
n n1 0
Let f be an entire function of exponential type < . By the same method of the
preceding corollary we have
XR Z 1 XR
f .n/ f .x/ f .0/ f 0 .0/x 1 1
2
D 2
dx C . 2
/f .0/ C f 0 .0/ f 00 .0/
n1
n 0 x n1
n 4
C1
X @kC1 f .0/ Bk
kD2
.k C 1/Š k
XR Z 1 C1
X
sin.˛n/ sin.˛x/ ˛x ˛ 2kC1 B2k
2
D 2
dx C ˛ .1/k
n1
n 0 x kD1
.2k C 1/Š 2k
C1
X Z 1 Z C1
sin.˛n/ sin.˛x/ ˛x sin.˛x/
D dx C dx C ˛
n1
n2 0 x2 1 x2
C1
X ˛ 2kC1 B2k
.1/k
kD1
.2k C 1/Š 2k
52 2 Properties of the Ramanujan Summation
Thus
C1
X C1
X 2kC1
sin.˛n/ k ˛ B2k
2
D ˛ ˛Log.˛/ .1/
n1
n kD1
.2k C 1/Š 2k
X1 C1
X sin. n/
.1/n1 2
GD 2
D 2
nD1
.2n 1/ nD1
n
C1
X
B2k
GD Log. / .1/k . /2kC1
2 2 2 kD1
2 2k.2k C 1/Š
Let f be an entire function of exponential type < and the partial sum of its Taylor
expansion
XR Z 1
f .n/ f .x/ Tp . f /.x/
p
D dx
n1
n 0 xp
XR XR
1 1 0 @p1 f .0/ 1 @p f .0/
C. /f .0/ C . /f .0/ C : : : C
n1
np n1
np1 .p 1/Š 2 pŠ
C1
X @kCp1 f .0/ Bk
kD2
.k C p 1/Š k
2.3 The Case of an Entire Function 53
XR Z 1
f .n/ f .x/ Tp . f /.x/
p
D dx
n1
n 0 xp
X
p2
1 @k f .0/
C ..p k/ /
kD0
p k 1 kŠ
C1
X Z 3 Z
sin.˛n/ 1 sin.˛x/ ˛x C ˛ 3 x6 C1
sin.˛x/
D dx C dx
n1
n4 0 x4 1 x4
C1
1 ˛3 X ˛ 2kC3 B2k
C ˛..3/ / .1/k1
2 6 kD1
.2k C 3/Š 2k
Thus
C1
X C1
X
sin.˛n/ 1 3 11 ˛ 2kC3 B2k
4
D ˛ .Log.˛/ / C ˛.3/ .1/k1
n1
n 6 6 kD1
.2k C 3/Š 2k
Since for ˛ D 2
we have
X1 C1
X sin. n/
.1/n1 2
4
D 4
nD1
.2n 1/ nD1
n
we get
X1 C1
X
.1/n1 1 3 11 . /2kC3 B2k
k1 2
D . / .Log. / / C .3/ .1/
nD1
.2n 1/4 6 2 2 6 2 kD1
.2k C 3/Š 2k
54 2 Properties of the Ramanujan Summation
and taking ˛ D 2
we have
C1
X C1
X .1/n
cos. 2 n/ 3
3
D 3
D .3/
n1
n n1
.2n/ 32
thus we get
C1
6 2 4 32 X . /2kC2 B2k
.3/ D 2 Log. / C .1/k1 2
35 35 2 35 kD1 .2k C 2/Š 2k
(if we write B2k in terms of .2k/ this is a special case of an identity given by
Srivastava and Choi p.409 (22)).
Remark (Summation over Z) Since Fourier series are often given by summations
over Z it is natural to ask for the possibility of a Ramanujan summation over Z for
an entire function f 2 O such Pthat the function x 7! f .x C 1/ is also in O .
R
Then we can try to define n2Z f .n/ by breaking the sum in two parts
R
X R
X
f .n/ C f .n C 1/
n1 n1
PR
is independent of m, thus we can define n2Z f .n/ by
R
X R
X R
X Z 1
f .n/ D f .n/ C f .n C 1/ f .x/dx
n2Z n1 n1 0
R
X R
X Z 1
D f .n/ C f .0/ C f .n/ f .x/dx
n1 n1 1
For example, let’s take a 2 C and jaj < and a ¤ 0, then the “divergent
calculation” of Euler
X X X ea 1
ean D ean C ea ean D C D0
n2Z n1 n1
1 ea 1 ea
2.4 Functional Relations for Fractional Sums 55
R
X R
X R
X Z 1
ean D ean C ea ean eax dx
n2Z n1 n1 0
e ea
1a
1 ea 1
D. C / C . /
1 ea a 1 ea a a
D0
R
X R
X R
X Z 1
n D
k
n C
k
.1/ n
k k
xk dx D 0
n2Z n1 n1 1
1
Note that if we apply our preceding definition to the function x 7! zx
(which
is not entire) we find that for z 2 CnZ we have
R
X XR R
X Z 1
1 1 1 1 1
D C C dx
z n n1
z n n 1 z C n z 1 z x
n2Z
R
X 2z 1 1 z
D 2 n2 2
C C Log. /
n1
z z z C
C1
X Z C1
2z 2z 1 1 z
D dx C C Log. /
nD1
z2 n2 2 1 z2 x2 2 z zC
D cot.z/
X
N1 Z 1
xCk
Rf .x=N/ .x/ D Rf . /N f .x/dx (2.16)
kD0
N 1=N
56 2 Properties of the Ramanujan Summation
And we get
R
X XX R N1 Z Z 1
k X k=N
N1
n
f. / D f .n / f .x/dx N f .x/dx (2.17)
n1
N kD0 n 1
N kD1 1 1=N
X
N1
xCk x xC1 xCN 1
R.x/ D Rf . / D Rf . / C Rf . / C : : : C Rf . /
kD0
N N N N
satisfies
x x x
R.x/ R.x C 1/ D Rf . / Rf . C 1/ D f . /
N N N
therefore by definition of the fractional remainder we have
X
N1 Z X
2 N1
xCk xCk
Rf . Nx / .x/ D Rf . / Rf . /dx
kD0
N 1 kD0
N
Since
Z X
2 N1 Z 1 Z
xCk N C1 1
Rf . /dx D N Rf .x/dx D N f .x/dx
1 kD0
N 1
N 1=N
we get
X
N1 Z 1
xCk
Rf .x=N/ .x/ D Rf . /N f .x/dx
kD0
N 1=N
We have by (2.2)
XR Z .kC1/=N
kC1 kC1
Rf . /D f .n 1 C / f .x/dx
N n1
N 1
2.4 Functional Relations for Fractional Sums 57
thus we get
R
X n XX
N1 R
kC1 X Z k=N
N1 Z 1
f. / D f .n 1 C / f .x/dx N f .x/dx
n1
N kD0 n 1
N kD1 1 1=N
which is
R
X n XX
N1 R
k X Z k=N
N1 Z 1
f. / D f .n / f .x/dx N f .x/dx
n1
N kD0 n 1
N kD1 1 1=N
t
u
=N
Remark If g 2 O , then with f W x 7! g.Nx/ we have
R
X X R Z Z
N1
X X
N1
1 N N
g.n/ D g.Nn k/ C g.x/dx g.x/dx
n1 kD0 n1 kD1
N k 1
R
X R
X R
X Z 2
1
f .n/ D f .2n/ C f .2n 1/ f .x/dx (2.18)
n1 n1 n1
2 1
1
Example For f .x/ D x we get by (2.18)
XR R R
1 1X1 X 1 1
D C Log.2/
n1
n 2 n1
n n1
2n 1 2
thus
R
X 1 1
D C Log.2/
n1
2n 1 2 2
R
X 1 1 1
D 1 C C Log.2/ C Log.3/
n1
2n C 1 2 2 2
58 2 Properties of the Ramanujan Summation
C1
X 1 3
1C2 D Log.2/
nD1
.4n/3 4n 2
R
X R R R
1 1X1 1 X 1 X 1
3
D C . C /
nD1
.4n/ 4n 4 nD1 n 2 nD1 4n 1 nD1 4n C 1
1
With f .x/ D 2xC1
, formula (2.18) gives
R
X XR XR
1 1 1 1
C D C .Log.5/ Log.3//
n1
4n C 1 n1
4n 1 n1
2n C 1 4
1 1 1
D 1 C C Log.2/ C Log.3/ C Log.5/
2 2 4 4
thus
R
X 1 1 1 1 1
D C Log.2/ C Log.3/ C Log.5/
nD1
.4n/3 4n 2 4 8 8
C1
X X R Z C1
1 1 1 1 3
3
D 3
C dx D C Log.2/
nD1
.4n/ 4n nD1
.4n/ 4n 1 .4x/3 4x 2 4
X
N1 XR XR Z 1
xj n
'f .x=N/ .x/ D 'f . /C f. / N f .n/ C N f .x/dx
jD0
N n1
N n1 1=N
PR
with Rf .x=N/ .x C 1/ D n1 f . Nn / 'f .x=N/ .x/ we get
R
X XR
n
f . / 'f .x=N/ .x/ D N f .n/
n1
N n1
xC1N xCN N
'f . / C : : : C 'f . /
N N
Z 1
N f .x/dx
1=N
t
u
Corollary Since 'f .x=N/ .0/ D 0 and 'f .0/ D 0 then we get
X
N1 XR XR Z 1
k n
'f . /DN f .n/ f. / N f .x/dx
kD1
N n1 n1
N 1=N
1 X xCk
N1
‰.x/ D . / C Log.N/
N kD0 N
'f .x=N/ .x/ D 'Log .x/ 'Log.N/ .x/ D Log..x C 1// xLog.N/
X
N
. xCk / 1 p
Log..x C 1// D Log p N C .x C /Log.N/ C Log 2
kD1 2 2
Taking the exponential we get the Gauss formula for the Gamma function.
1N 1 Y
N1
k
.Nx/ D .2/ 2 N Nx 2 .x C /
kD0
N
60 2 Properties of the Ramanujan Summation
and we get
X
N1 Z 1
xj
N'f .x/ NLog.N/ .x C 1/ D 'f . /CN f .x/dx
jD0
N 1=N
1 X
N1
xj 1
' Log.x/ .x/ D ' Log.x/ . / C Log.N/ .x C 1/ Log2 .N/
x N jD0 x N 2
(4) If f .x/ D Log2 .x/, then f .x=N/ D Log2 .x/ 2Log.x/Log.N/ C Log2 .N/, thus
X
N1
xj
'f .x=N/ .x/ D 'f . /
jD0
N
R
X p 1
C .1 N/ Log2 .n/ 2Log.N/.Log. 2/ 1/ C Log2 .N/
n1
2
Z 1
CN f .x/dx
1=N
this gives
X
N1
xj .x C 1/ 1
'f .x/ D 'f . / C 2Log.N/Log. p / . C x/Log2 .N/
jD0
N 2 2
R
X
.N 1/. Log2 .n/ 2/
n1
PR
this is 18(ii) of Chap. 8 in Ramanujan’s Notebook (with CD n1 Log2 .n/2).
Chapter 3
Dependence on a Parameter
XR
1 1
D .z/
n1
n z z 1
By the Cauchy formula there is the same type of inequality for the derivatives
@kz f .x; z/ thus for any integer k 1 the function .x; z/ 7! @kz f .x; z/ is also locally
P
uniformly in O . Thus we note that for any integer k 1 the sum R n1 @z f .n; z/ is
k
well defined.
P
Theorem 9 (Analyticity of z 7! R n1 f .n; z/) Let .x; z/ 7! f .x; z/ be a function
defined for Re.x/ > 0 and z 2 U C such that z 7! f .x; z/ is analytic for z 2 U
and f is locally uniformly in O . Then the function
R
X
z 7! f .n; z/
n1
is analytic in U and
R
X R
X
@kz f .n; z/ D @kz f .n; z/
n1 n1
Thus if z0 2 U and
C1
X
f .n; z/ D ak .n/.z z0 /k for jz z0 j <
and n 1
kD0
then
R
X C1
X R
X
f .n; z/ D ak .n/ .z z0 /k
n1 kD0 n1
3.1 Analyticity with Respect to a Parameter 63
R
X f .1; z/
f .n; z/ D C iJf .z/
n1
2
with
Z C1
f .1 C it; z/ f .1 it; z/
Jf .z/ D dt
0 e2t 1
f .1 C it; z/ f .1 it; z/
z 7!
e2t 1
is analytic in U and, if z 2 K, we have by hypothesis a constant C such that
R
X f .1; z/ f .1; z/
@z f .n; z/ D @z C i @z Jf .z/ D @z C iJ@z f .z/
n1
2 2
that is
R
X R
X
@z f .n; z/ D @z f .n; z/
n1 n1
R
X R
X
@kz f .n; z/ D @kz f .n; z/
n1 n1
64 3 Dependence on a Parameter
C1
X
f .n; z/ D ak .n/.z z0 /k for jz z0 j <
and n 1
kD0
C1
X 1 k
g.z/ D @ g.z0 /.z z0 /k
kD0
kŠ
R
X
@k g.z0 / D @kz f .n; z0 /
n1
Thus we have
R
X C1
XX R
1 k
f .n; z/ D @ f .n; z0 /.z z0 /k
n1 kD0 n1
kŠ z
C1
XX R
D Œ ak .n/.z z0 /k
kD0 n1
t
u
Corollary 10 Consider a function f analytic for Re.x/ > 0 and of moderate
growth, then for z > 0 we have
Z
C1
X C1 XR
lim f .n/enz f .x/exz D f .n/
z!0C 1
n1 n1
R
X R
X
lim g.n; z/ D lim g.n; z/
z!z0 z!z0
n1 n1
3.1 Analyticity with Respect to a Parameter 65
R
X R
X
lim f .n/enz D f .n/
z!0
n1 n1
t
u
Examples
1
(1) Take f .x; z/ D zCx and U D fjzj < 1g, we have for z 2 U and n 1
C1
1 1 1 X .1/k k
f .n; z/ D D C z
n1C z
n n kD1 nkC1
R
X X C1
1 1
DC .1/k ..k C 1/ /zk
n1
zCn kD1
k
C1
X C1
X 1
.z C 1/ C Log.z C 1/ D C .1/k .k C 1/zk .1/k zk
kD1 kD1
k
C1
X zk
Log..z C 1// D z C .1/k .k/
kD2
k
66 3 Dependence on a Parameter
P
and since the series k2 .1/k .k/
k is convergent then, by the classical Abel
theorem on power series applied with z ! 1, we get
C1
X .k/
D .1/k1
kD2
k
(2) Take f W .x; s/ 7! x1s , the function s 7! f .x; s/ is analytic for s 2 C and f is
P
locally uniformly in O . By the preceding theorem the function s 7! R 1
n1 ns
is an entire function. P
We have seen in Chap. 1 that R 1 1
n1 ns D .s/ s1 for Re.s/ > 1, thus by
analytic continuation we have
XR
1 1
D .s/ for s ¤ 1
n1
n s s 1
X R
1 1 BkC1
.k/ C D nk D if k 1
kC1 n1
kC1
thus
BkC1
.k/ D if k 1
kC1
and for k D 0
R
X 1
.0/ D 1 C 1D
n1
2
R
X Logk .n/ kŠ
D .1/k @k .s/ for s ¤ 1:
n1
ns .s 1/kC1
R
X p
0 .0/ D Log.n/ 1 D Log. 2/
n1
3.1 Analyticity with Respect to a Parameter 67
P
For s D 1 we have the sums R n1
Logk .n/
n which are related to the Stieltjes
constants k defined by the Laurent expansion of at 1
1 X .1/k
.s C 1/ D C k sk
s k0
kŠ
The expansion
XR X .1/k X R
1 Logk .n/
sC1
D sk
n1
n k0
kŠ n1
n
R
X Logk .n/
k D
n1
n
Note that
R
X
Log2 .n/ D 00 .0/ C 2
n1
(3) In the first page of chapter XV of his second Notebook Ramanujan writes (with
a little change of notation):
C Log.z/ 1
C ez Log.1/ C e2z Log.2/ C : : : D Log.2/ when z vanishes:
z 2
The function
C1
X
z 7! ezn Log.n/
nD1
68 3 Dependence on a Parameter
is well defined when Re.z/ > 0 and Berndt (Berndt 1985) gives an asymptotic
expansion of this function when z ! 0C by use of the Mellin inversion. Now
we can give an exact formula for this sum by use of the Ramanujan summation.
Let f .x; z/ D ezx Log.x/, for z 2 U (cf. Example 1 of Sect. 1.4.1). the
function x 7! f .x; z/ is locally uniformly in O and
C1
X .1/j j j
f .n; z/ D z n Log.n/
jD0
jŠ
R
X 1
n j Log.n/ D 0 .j/
n1
. j C 1/2
R
X C1
X .1/k1 k 0 1
ezn Log.n/ D z . .k/ C /
n1 kD0
kŠ .k C 1/2
C1
X C1
X
.1/k1 k 0 .1/k zk1
D z . .k/ C
kD0
kŠ kD1
kŠ k
C1
X Z 1
.1/k1 k 0 1 ezx 1
D z .k/ C dx
kD0
kŠ z 0 x
For Re.z/ > 0 and < Im.z/ < , we are in a case of convergence thus
we have
R
X C1
X Z C1
zn zn
e Log.n/ D e Log.n/ ezx Log.x/dx
n1 nD1 1
C1
X R
X Z C1
1 ezx
ezn Log.n/ D ezn Log.n/ C dx
nD1 n1
z 1 x
Thus by formula (2.13) we get for Re.z/ > 0 and < Im.z/ <
C1
X C1
X .1/k1 k 0 C Log.z/
ezn Log.n/ D z .k/
nD1 kD0
kŠ z
3.1 Analyticity with Respect to a Parameter 69
p
Since 0 .0/ D Log. 2/ we get the precise form of Ramanujan’s formula
C1 C1
C Log.z/ X zn p X .1/k1
C e Log.n/ D Log. 2/ C zk 0 .k/
z nD1 kD1
kŠ
P ˛
(4) Take the series n1 ezn with 0 < ˛ 1 and z 2 C with Re.z/ > 0 and
< Im.z/ < .
˛ PC1 .1/k zk ˛k
Using the power series expansion ezn D kD0 kŠ n the preceding
theorem gives
R
X C1
X
˛ .1/k zk 1
ezn D .˛k/ C
n1 kD0
kŠ ˛k C 1
C1
X C1
X C1
X .1/k zk 1 Z C1
˛ .1/k zk ˛
ezn D .˛k/ C C ezx dx
nD1 kD0
kŠ kD0
kŠ ˛k C 1 1
C1
X C1
X
˛ .1/k zk 1 1 1
ezn D .˛k/ C . /z ˛
nD1 kD0
kŠ ˛ ˛
Note that this formula is not valid for ˛ > 1 since for ˛ D 2 it gives the formula
C1
X 2 1 1 1
ezn D .0/ C . /z 2
nD1
2 2
which is wrong since it is well known that the true formula involves exponen-
tially small terms when z ! 0 (Bellman 1961):
C1
X C1
2 1 1 1 p 1 X 2 2
ezn D .0/ C . /z 2 C z 2 e n =z
nD1
2 2 nD1
70 3 Dependence on a Parameter
R
X Z xC1
Rf .x;z/ .x/ D f .n C x; z/ C f .x; z/ f .t; z/dt
n1 1
R
X R
X Z xC1
'f .x;z/ .x/ D f .n; z/ f .n C x; z/ C f .u; z/du
n1 n1 1
Log.x/
' Log.x/ D @z ' 1z D 0 .z/ C @z .z; x/ C
xz x xz
For z D 0 then
but we know that 'Log .x/ D Log..x C 1// thus we get the Lerch formula (Berndt
1985)
Let a function x 7! c.x/, be analytic for Re.x/ > 0; with an asymptotic expansion
at infinity
X 1
c.x/ D ˛k
k0
xjk
where Re. j0 / < Re. j1 / < Re. j2 / < : : : < Re. jk / <. . .
The Dirichlet series
C1
X c.n/
h.s/ D
nD1
ns
3.1 Analyticity with Respect to a Parameter 71
defines for Re.s/ > 1 Re. j0 / an analytic function h and since we are in a case of
convergence we have
R
X Z C1
c.n/
h.s/ D C c.x/xs dx
n1
ns 1
PR c.n/
By the theorem of analyticity the function s 7! n1 ns is an entire function,
thus the singularities of the function h are given by the integral term. Let us write
formally
Z C1 Z C1 X
s
c.x/x dx D ˛k xsjk dx
1 1 k0
XZ C1
D ˛k xsjk dx
k0 1
X 1
D ˛k
k0
s C jk 1
In some cases this can give a simple proof that the function h has simple poles at the
points s D 1 jk with residues ˛k .
Examples
PC1 1
(1) Take h.s/ D nD1 .nC1/ns for Re.s/ > 0, solution of
X .1/k C1
1
D
.x C 1/xs kD0
xsCkC1
72 3 Dependence on a Parameter
X nk R
X .1/ j C1
.1/k
lim .h.s/ /D C
sDk sCk n1
nC1 jk
j¤k
C1
X Hn
h.s/ D
nD1
ns
R
X Z C1
Hn
h.s/ D C . .x C 1/ C /xs dx
n1
ns 1
The singularities of the integral term are easily obtained by the asymptotic
expansion
1 X B2k 1
.x C 1/ C D Log.x/ C C
2x k1 2k x2k
This gives for h a pole of order 2 for s D 1 with residue , a simple pole for
s D 0 with residue 1=2 and simple poles for s D 1 2k with residues B2k2k .
Let A be the Laplacian on the sphere S2 , the eigenvalues of A are the numbers
n.n C 1/ for n D 0; 1; 2; : : : ; each eigenvalue having multiplicity .2n C 1/. Let A
be the associated zeta function defined for Re.s/ > 1 by
C1
X 2n C 1
A .s/ D
nD1
ns .nC 1/s
3.1 Analyticity with Respect to a Parameter 73
The analytic continuation of this function (Birmingham and Sen 1987) can be
obtained by the use of an asymptotic expansion when t ! 0C of the function
C1
X
A W t 7! .2n C 1/en.nC1/t
nD1
But a more simple method is to use the Ramanujan summation. Since for Re.s/ > 1
we are in a case of convergence, we have
XR Z C1
2n C 1 2x C 1
A .s/ D C dx
n1
n .n C 1/
s s
1 x .x C 1/s
s
In this expression the sum is an entire function by the theorem of analyticity, and
the integral is
Z C1 Z C1
2x C 1 21s
dx D .2x C 1/.x2 C x/s dx D
1 x .x C 1/s
s
1 s1
XR
2n C 1 21s
A .s/ D C (3.2)
n1
ns .n C 1/s s1
and the evaluation of A .p/ for p D 0; 1; 2; : : : ; is easily done by the
Ramanujan summation:
R
X 2pC1
A .p/ D .2n C 1/np .n C 1/p
n1
pC1
2 1
A .0/ D ; A .1/ D
3 15
74 3 Dependence on a Parameter
X
p
2pC1
A .p/ D Cpk .2 R .p k 1/ C R .p k//
kD0
pC1
1
and since R .q/ D .q/ C qC1
for q ¤ 1, it follows that
X
p
A .p/ D Cpk .2.p k 1/ C .p k//
kD0
X
p
1 1 2pC1
C Cpk .2 C /
kD0
pCkC2 pCkC1 pC1
X
p
A .p/ D Cpk .2.p k 1/ C .p k//
kD0
The product
Y
det.A/ D n.n C 1/
n1
Y
reg
0
a.n/ D eZa .0/
n1
C1
X 1
Za W s 7!
n1
.a.n//s
which is assumed to be defined and analytic for Re.s/ > ˛ for some ˛ 2 R.
3.1 Analyticity with Respect to a Parameter 75
In our case we have a.n/ D n.n C 1/, thus Za D A is given by (3.2) and we have
XR
2n C 1 21s Log.2/ 21s
A0 .s/ D Log.n.n C 1// C C (3.3)
n1
n .n C 1/
s s s1 .s 1/2
Thus
R
X
A0 .0/ D .2n C 1/Log.n.n C 1// 2Log.2/ C 2
n1
R
X R
X
D2 nLog.n/ C 2 .n C 1/Log.n C 1/
n1 n1
R
X
C .Log.n/ Log.n C 1// 2Log.2/ C 2
n1
R
X 3
A0 .0/ D 4 nLog.n/ C
n1
2
P
since R 0 1
n1 nLog.n/ D .1/ 4 we get for the determinant of the Laplacian on
S2 the value
0 0 1
eA .0/ D e4 .1/C 2
C1
X P0 .n/
Z.s/ D
nD1
.P.n//s
C1
X R
X P0 .n/ Z C1
P0 .n/ P0 .x/
D C dx
nD1
.P.n//s n1
.P.n//s 1 .P.x//s
76 3 Dependence on a Parameter
Again the sum is an entire function by the theorem of analyticity, and the integral is
Z C1
P0 .x/ P.1/1s
dx D
1 .P.x//s s1
XR
P0 .n/ P.1/1s
Z.s/ D C
n1
.P.n//s s1
Examples
(1) The simplest example is given by P.x/ D x C a with Re.a/ > 0. We have for
Re.s/ > 1
C1
X X R
1 1 .a C 1/1s
Z.s/ D D C
nD1
.n C a/s n1
.n C a/s s1
XR
.a C 1/1s 1
.s; a/ D C as C
s1 n1
.n C a/s
R
.a C 1/kC1 X
.k; a/ D ak C C .n C a/k
kC1 n1
this last sum is given by (1.18) and (2.2) in terms of Bernoulli polynomials
R
X Z
1 BkC1 .a/ aC1
.n C a/k D ak C xk dx
n1
kC1 1
thus we obtain
BkC1 .a/
.k; a/ D
kC1
3.1 Analyticity with Respect to a Parameter 77
We have also
R
X Log.n C a/ .a C 1/1s 1
Z 0 .s/ D .Log.a C 1/ C /
n1
.n C a/s s1 s1
R
X p
Log.n C a/ D Log..a C 1// C Log. 2/ 1 C .a C 1/Log.a C 1/ a
n1
thus
p
Z 0 .0/ D Log..a C 1// Log. 2/
C1
X 2n C 1
Z.s/ D
nD1
.n2 C n 1/s
R
X 2n C 1 1
Z.s/ D C
n1
.n2 C n C 1/s s1
Note that for the function defined for Re.s/ > 1=2 by
C1
X 1
Z0 .s/ D
nD1
.n2 C n 1/s
the analytic continuation is not so simple. We have for Re.s/ D > 1=2
R
X Z C1
1 1
Z.s/ D C dx
n1
.n2 C n 1/s 1 .x2 C x 1/s
78 3 Dependence on a Parameter
Here again the sum is an entire function by the theorem of analyticity, and now
the integral is
Z C1 X .1/k s : : : .s C k 1/ Z C1 .x 1/k
C1
1 x 1 s
.1 C / dx D dx
1 x2s x2 kD0
kŠ 1 x2sC2k
PC1 R C1
the interchange of kD0 and 1 is justified by
C1
X Z C1 Z C1
jsj : : : .jsj C k 1/ .x 1/k 1 x1
dx D .1 2 /jsj dx < C1
kD0
kŠ 1 x2 C2k 1 x 2 x
1 1 1
Y.s/ D s. /
2s 1 2s 2s C 1
s.s C 1/ 1 1 1
C . C /
2 2s C 1 2s C 3 s C 1
C:::
And we deduce that Z is analytic near every negative integer p, with
R
X
Z.p/ D .n2 C n 1/p C Y.p/
n1
R
X 1 3
Z.0/ D 1 C Y.0/ D D 1
n1
2 2
XR
1 3
Z.1/ D .n2 C n 1/ C Y.1/ D C D 1
n1
4 4
XR
1 21
Z.2/ D .n2 C n 1/2 C Y.2/ D D 1
n1
20 20
XR
5 51
Z.3/ D .n2 C n 1/3 C Y.3/ D C D1
n1
56 56
XR
5 33
Z.4/ D .n2 C n 1/4 C Y.4/ D D 1
n1
28 28
3.1 Analyticity with Respect to a Parameter 79
C1
X 1
1 .s/ D
nD1
1 C ns
R
X Z C1
1 1
Z.s/ D C dx
n1
1 C ns 1 1 C xs
PC1 R C1
the interchange of kD0 and 1 is justified by
1 1 X
N1
.1/k .1/N
1
D C
xs 1 C xs kD0
xsCks xNs .1 C xs /
R C1 1
and limN!C1 1 xNs .1Cxs /
dx D 0. We obtain for the integral term the simple
expression
Z C1 X C1
1 1
dx D .1/k
1 1Cx s
kD0
.k C 1/s 1
R
X X C1
1 1
1 .s/ D .1/k
n1
1 C ns kD1 ks 1
80 3 Dependence on a Parameter
R
X X C1
ns 1
1 .s/ D C .1/k
n1
1Cn s
kD1
ks C 1
R
X R
X X C1
1 1
D 1 C .1/k
n1 n1
1Cn s
kD1
ks C 1
C1
X C1
X
1 1 1
D 1 .s/ .1/k C .1/k
2 kD1
ks 1 kD1 ks C 1
We deduce that for the function 1 we have the simple functional equation
C1
X
1 1
1 .s/ C 1 .s/ D C2 .1/k1 2 2
2 kD1
k s 1
PR
3.1.6 The Sums n1 nk'f .n/
PR PR
We examine the relation between the sums n1 enz 'f .n/ and n1 enz f .n/.
Theorem 11 Let f be a function of moderate growth and for 0 < z < let
Z x
Lf .x; z/ D ezt f .t/dt
1
Then we have
R
X XR R R
1 ez X X
enz 'f .n/ D e nz
f .n/ f .n/ e z
enz Lf .n; z/ (3.4)
n1
1 ez n1 z n1 n1
ez ez ezx 1
Rezx .x/ D ezx and ' e zx .x/ D
1 ez z 1 ez
R
X R R
ez X ez X nz
enz 'f .n/ D f .n/ e f .n/
n1
z n1 1 ez n1
Z 2
ez
ezx Rf .x/dx
1 ez 1
3.1 Analyticity with Respect to a Parameter 81
@x G zG D f with G.1; z/ D 0
By (2.7) the condition G.1; z/ D 0 gives R@x G D @x RG and we deduce that the
function RG is a solution of the differential equation
@x RG zRG D Rf
This gives
Z x
RG .x; z/ D Kezx C ezx ezt Rf .t/dt
1
R2
Using the condition 1 RG .x/dx D 0 and integration by parts we get
Z 2
ez
KD z ezt Rf .t/dt
e 1 1
R
X Z Z 2
n
zt e2z
e nz
e f .t/dt D ezt Rf .t/dt
n1 1 1 ez 1
t
u
PR
Application: Evaluation of n1 nk 'f .n/
For a function f of moderate growth we define the sequence of functions .Fk /k0 by
F0 D f and for k 1
Z Z
x x
.x t/k
Fk .x/ D Fk1 .t/dt or FkC1 .x/ D f .t/dt
1 1 kŠ
82 3 Dependence on a Parameter
Then the Taylor expansion of the function z 7! ezx Lf .x; z/ of the preceding theorem
is
Z x X Z x .x t/k X
ezx Lf .x; z/ D ezx ezt f .t/dt D zk f .t/dt D FkC1 .x/zk
1 k0 1 kŠ k0
Thus, by derivation of (3.4) with respect to z, we get a relation between the sums
R
X R
X R
X
nk 'f .n/; nk f .n/ and Ck D Fk .n/
n1 n1 n1
that is
R
X R R
3X X
'f .n/ D f .n/ nf .n/ C1
n1
2 n1 n1
R
X R R R
5 X 1X 1X 2
n'f .n/ D f .n/ C nf .n/ n f .n/ C1 C C2
n1
12 n1 2 n1 2 n1
R
X R R R R
1X 1X 1X 2 1X 3
n2 'f .n/ D f .n/ nf .n/ C n f .n/ n f .n/
n1
3 n1 6 n1 2 n1 3 n1
R
X 3 p 1
Hn D Log. 2/ C
n1
2 2
R
X 5 p 7
nHn D Log. 2/ 0 .1/ C
n1
12 8
R
X 1 p 17
n 2 Hn D Log. 2/ 2 0 .1/ C 0 .2/ C
n1
3 34
R
X X
1 BpC1
p
p
mp Hm D C .1/k Cpk 0 .k/ Log. 2/ C rp with rp 2 Q
m1
pC1 kD1
3.2 Integration with Respect to a Parameter 83
Theorem 12 Let .x; u/ 7! f .x; u/ be a function defined for Re.x/ > a, with a < 1;
and u 2 I where I is an interval of R. We suppose that
(a) for all Re.x/ > a the function u 7! f .x; u/ is integrable on I
(b) there is ˛ < and a function u 7! C.u/ integrable on I such that
Z X
R R Z
X
f .n; u/du D f .n; u/du
I n1 n1 I
Proof By the integral formula (1.14) defining the Ramanujan summation we have
R
X Z C1
f .1; u/ f .1 C it; u/ f .1 it; u/
f .n; u/ D Ci dt
n1
2 0 e2t 1
Since by hypothesis
R
X Z C1
1 e˛t
j f .n; u/j C.u/ e˛ C 2e˛ dt
n1
2 0 e2t1
PR
which proves that the function u 7! n1 f .n; u/ is integrable on I. Therefore
Z X
R Z Z Z C1
f .1; u/ f .1 C it; u/ f .1 it; u/
f .n; u/du D du C i dtdu
I n1 I 2 I 0 e2t 1
t
u
Example In Sect. 1.4.1 we have seen that
R
X cos.t/ 1 t
sin.nt/ D C cot. / for t 2 Œ0; 1Œ
n1
t 2 2
this gives
Z R
1=2 X Z =4
1 2
t sin.nt/dt D 2
C 2 t cot.t/dt
0 n1
0
R Z
X XR
1=2 cos 12 n sin. 12 n/
t sin.nt/dt D . C /
n1 0 n1
2n 2 n2
By the integral formula (1.14) defining the Ramanujan summation we get for u > 0
the formula
R
X Z 1 1
uCit uit
C1
1 1
D Ci dt
n1
n1Cu 2u 0 e2t 1
R
X Z C1
1 1 1 1 t
D Log.1 C / C2 dt
n1
nCu u 2u 0 e2t 1 u C t2
2
R
X Z C1
1 1 1 1 t
D Log.1 C / C 2 . / dt
n1
nCu u 0 e2t 1 2t u2 C t2
By the Mellin transform for 0 < Re.s/ < 1 of the two sides of this last relation we
can obtain the functional equation of the Riemann zeta function:
(a) for the left side we can apply the preceding theorem since for 0 < a < 1 we
have for Re.x/ > a
us1 uRe.s/1
j j
xCu aCu
uRe.s/1
and the function u 7! aCu is integrable on 0; C1Œ. Thus
Z R
X X R Z R
C1
1 C1
1 X s1
us1 du D us1 du D n
0 n1
nCu n1 0 nCu sin s n1
which is
Z C1 Z C1
1 1 t
C2 . / us1 du dt
s sin s 0 e2t 1 2t 0 u2 C t 2
86 3 Dependence on a Parameter
PR
From (a) and (b) and since n1 ns1 D .1 s/ C 1s we get for 0 < Re.s/ < 1
Z C1 Z C1
1 1 t
.1 s/ D 2 . 2t / us1 du dt
sin.s/ 0 e 1 2t 0 u2 C t 2
Evaluation of this last integral (Titchmarsh and Heath-Brown 2007) gives the
Riemann functional equation
=2
.1 s/ D 2.2/s .s/.s/
sin s sin.s=2/
Theorem 13 Let fO be a continuous function on Œ0; C1Œ such that there is a < 1
and Ca > 0 with
R
X Z C1
1 1
f .n/ D e . / fO./d : (3.5)
n1 0 1 e
Proof By hypothesis
This proves that the function f is analytic for Re.x/ > a and of moderate growth.
3.2 Integration with Respect to a Parameter 87
Then we apply the preceding theorem to the function .x; / 7! ex fO./, this
gives
R Z
X C1 Z R
C1 X
e n
fO./d D en fO./d
n1 0 0 n1
and since
R
X 1 1
en D e .
/
n1
1e
X 1 R Z C1
1 1 1 z1
.z/ D D e .
/ d :
z1 n1
nz 0 1e .z/
and
R
X Z C1
1 1 1
D D e . / d :
n1
n 0 1 e
Then if
> 1, we have
R
X C1
X 1
f .n/ D c1 C ck ..k/ / (3.7)
n1 kD2
k1
C1
X k1
fO./ D ck
kD1
.k 1/Š
is an entire function with j fO./j Cerjj : The function f is the Laplace transform of
the entire function fO because for Re.x/ > r we have
Z C1 C1
X X C1 Z C1 C1
X 1
k1 k1
ck ex d D ck ex d D ck k D f .x/
0 kD1
.k 1/Š kD1 0 .k 1/Š kD1
x
R P
where the interchange of the signs et is justified by
Z C1 C1
X Z C1
k1
jck jeRe.x/ d Mr e.Re.x/r/ d < C1
0 kD1
.k 1/Š 0
Since
1 1 k1 1 1
je .
/c k j e .
/rer < re.1r/
1e .k 1/Š 1e
R P
we can again interchange et , and so we get
R
X 1
X Z C1
1 1 k1
f .n/ D ck e . / d :
n1 kD1 0 1 e .k 1/Š
3.2 Integration with Respect to a Parameter 89
R
X C1
X 1
f .n/ D c1 C ck ..k/ /
n1 kD2
k1
R
X C1
X
n 1
f . / D c1 ˛ C ck ..k/ /˛ k
n1
˛ kD2
k 1
R
X X R
n
lim f. / D f .n/
˛!1
n1
˛ n1
C1
X X C1
1 1
lim c1 ˛ C ck ..k/ /˛ k D c1 C ck ..k/ /
˛!1
kD2
k1 kD2
k1
the preceding
P theorem can be stated in the form of the result of an interchange of
PC1
the signs R n1 and kD1 :
R C1
X X C1
X X 1 R
1
ck D ck
n1 kD1
nk kD1 n1
nk
PR x
e n
Example Let x 2 R and f .x/ D n1 n
, we get by the preceding remark
C1
X R C1
.1/k xk X 1 X .1/k 1
f .x/ D kC1
D C ..k C 1/ /xk
kD0
kŠ n1
n kD1
kŠ k
90 3 Dependence on a Parameter
Let us now see how this function is related to the heat equation in R2 . Consider, for
X D .x1 ; x2 / 2 R2 and t 0, the function
R
X 1 4.nCt/
jjXjj2
U.X; t/ D e
n1
nCt
@t U D @2x1 x1 U C @2x2 x2 U
R
X Z R
2 X 1
C1
1 r2 r2 1 r
2
e 4.nCt/ D e 4t I0 . /
e 4t . e 4n /d
n1
.n C t/ 2t 0 2t n1
n
C1
X 1 z 2k
I0 .z/ D . /
kD0
.kŠ/2 2
r2
2
With x D 4 and u D 4 we get
R
X Z p R
1 x x 1
C1
2 xu u X 1 u
e nCt D e t I0 . /e t . e n /du
n1
nCt t 0 t n1
n
For t D 1, by the use of the shift property, we see that f verifies the integral equation
Z 2 Z C1
1 x p
f .x/ D ex e u du C ex I0 .2 xu/eu f .u/du
1 u 0
Note that
XR
e n 1
x
X e nx 1 Z C1 e vx 1
C1
f .x/ D C D C dv
n1
n n1
n 1 v
3.2 Integration with Respect to a Parameter 91
The function
C1
X e n 1
x
g.x/ D C
n1
n
C1
X xk
g.x/ D C .k C 1/.1/k
kD1
kŠ
It is easy to prove that the integral equation on f now gives a simpler integral
equation for this generating function g, that is
Z 1 p
g.x/ D ex C ex eu I0 .2 xu/g.u/du
0
R
X R
X Z 2
.n C 1/m Log.n C 1/ D nm Log.n/ C xm Log.x/dx
n1 n1 1
X
m X
m
1
.n C 1/m Log.n C 1/ D Cmj n j Log.n/ C Cmj n j Log.1 C /
jD0 jD0
n
X
m X
m C1
X .1/k1 1
D Cmj n j Log.n/ C Cmj n j
jD0 jD0 kD1
k nk
Since
R
X 1
n j Log.n/ D 0 .j/
n1
. j C 1/2
92 3 Dependence on a Parameter
X
m1 X
m C1
X Z 2
.1/k1 R
Cmj . 0 .j// C Cmj .k j/ D xm Log.x/dx
jD0 jD0 kD1
k 1
X
m1
1 2
C Cmj . /
jD0
jC1
with m D 1
C1
X .1/k1
p 1
Log. 2/ C C .k/ D 1
2 kD2
k.k C 1/
with m D 2
C1
X
p 1 .1/k1 4
Log. 2/ 2 0 .1/ C C 2 .k/ D
3 kD2
k.k C 1/ .k C 2/ 3
with m D 3
C1
X
p 1 .1/k1 19
Log. 2/ 3 0 .1/ 3 0 .2/ C C 6 .k/ D
4 kD2
k .k C 1/ .k C 2/ .k C 3/ 12
X C1
X .1/k1
p m1
1
ln. 2/ Cmj 0 .j/ C C mŠ .k/ 2 Q
jD1
mC1 kD2
k : : : .k C m/
We can give another form of the preceding relation if we consider the function
R
X C1
X .1/k zk C1
X .1/ j1
1
enz Log.1 C / D R . j k/
n1
n kD0
kŠ jD1
j
3.2 Integration with Respect to a Parameter 93
R
X XR Z 1
1
enz Log.1 C / D .ez 1/ enz Log.n/ C Log.t C 1/ezt dt
n1
n n1 0
R
X C1
X .1/k1 k 0 1
ezn Log.n/ D z . .k/ C /
n1 kD0
kŠ .k C 1/2
C1
X C1 C1
.1/k zk X .1/ j1 R X .1/k zk
. j k/ D .1 ez / 0 .k/
kD0
kŠ jD1
j kD0
kŠ
C1
X .1/k zk 1
C.1 ez /
kD0
kŠ .k C 1/2
Z 1
C Log.t C 1/ezt dt
0
C1
X .1/ j
. j/
jD2
jCk
C1
X .1/ j p 1
. j/ D Log. 2/ C C 1 (Singh and Verma 1983)
jD2
jC1 2
C1
X .1/ j p 1 2
. j/ D 2 0 .1/ Log. 2/ C C
jD2
jC2 3 3
C1
X .1/ j p 1 7
. j/ D 3 0 .2/ 3 0 .1/ Log. 2/ C C
jD2
jC3 4 12
C1
X .1/ j p 1 47
. j/ D 4 0 .3/ C 6 0 .2/ 4 0 .1/ Log. 2/ C C
jD2
jC4 5 90
94 3 Dependence on a Parameter
P .k/
Remark Note that a series like k2 k is divergent but we have
C1
X C1
X
.k/ 1 1 1
D .Log.1 / /
kD2
k nD2
n n
C1
X 1
D .Log.n C 1/ Log.n/ /
nD1
nC1
R
X R
X R
X 1
D Log.n C 1/ Log.n/
n1 n1 n1
nC1
Z C1
1
C .Log.x C 1/ Log.x/ /
1 xC1
D 1
PC1 .2k/1
This technique can be applied to evaluate the sum kD1 kC1
. Since
C1
X C1 C1
X X ..n C 1/2 /kC1
.2k/ 1
D .n C 1/2
kD1
kC1 nD1 kD1
k C 1
we can write
C1
X X C1
.2k/ 1
D f .n/
kD1
kC1 nD1
Thus we have
C1
X X R Z C1
.2k/ 1 3
D f .n/ C f .x/dx D Log./
kD1
kC1 n1 1 2
C1
X .2k/ 1 3
D Log./
kD1
kC1 2
3.3 Double Sums 95
C1
X .2k C 1/ 1
D Log.2/
kD1
kC1
R X
X R
f .m; n/
n1 m1
Theorem 15 Consider a function .x; y/ 7! f .x; y/ analytic for Re.x/ > 0 and
Re. y/ > 0. If there is C > 0 and ˛ < such that
then we have
X R
R X R X
X R
f .m; n/ D f .m; n/
n1 m1 m1 n1
For Re. y/ > 0 consider the function fy W x 7! f .x; y/ and its fractional remainder
Rfy 2 O . If we set R.x; y/ D Rfy .x/ then we have
R
X
f .m; y/ D R.1; y/ (3.10)
m1
96 3 Dependence on a Parameter
By this integral expression we see that the function R satisfies an inequality like (3.8)
(with another constant C).
Thus for Re.x/ > 0 the function y 7! R.x; y/ is in O , thus by Theorem 1 we get
a function y 7! W.x; y/ in O such that
R
X
R.x; n/ D W.x; 1/ (3.12)
n1
R
X R X
X R
W.1; 1/ D R.1; n/ D f .m; n/ (3.13)
n1 n1 m1
P PR
Now it remains to prove that W.1; 1/ D R m1 n1 f .m; n/.
By (3.9) and (3.11) we have the relation
Thus if we set
T.x; y/ T.x; y C 1/ D fx . y/
Using the above integral expression of W.x; y/ we verify that W also satisfies an
inequality like (3.8). Thus for Re.x/ > 0 the function y 7! T.x; y/ is in O . Since
3.3 Double Sums 97
we have
Z 2 Z 2 Z 2
T.x; y/dy D W.x; y/dy W.x C 1; y/dy D 0
1 1 1
Rfx . y/ D T.x; y/
We deduce that
R
X
f .x; n/ D T.x; 1/ D W.x; 1/ W.x C 1; 1/
n1
R
X
f .m; n/ D W.m; 1/ W.m C 1; 1/
n1
R
X
.W.m; 1/ W.m C 1; 1//
m1
X R
R X R
X R
X Z 2
f .m; n/ D W.m; 1/ W.m C 1; 1/ D W.1; 1/ W.x; 1/dx
m1 n1 m1 m1 1
Z 2 Z R
2X R Z
X 2
W.x; 1/dx D R.x; n/dx D R.x; n/dx D 0
1 1 n1 n1 1
t
u
PR P
Remark Note that the sum k2 mCnDk f .n C m/ is well defined for f 2 O
since we have for k 2
X
f .n C m/ D .k 1/f .k/
mCnDk
98 3 Dependence on a Parameter
Thus we have
R X
X R
X R
X
f .n C m/ D .k 1/f .k/ D nf .n C 1/
k2 mCnDk k2 k1
X R
R X R X
X
f .n C m/ and f .n C m/ :
m1 n1 k2 mCnDk
Rx
Let us examine the relation between these sums. Let F.x/ D 1 f .t/dt then by the
shift property and Theorem 5 we have
X R
R X R R R Z mC1
1X X X
f .n C m/ D f .n/ 'f .m/ C f .x/dx
m1 n1
2 n1 m1 m1 1
R
X R Z
X n R Z
X mC1
D .n 1/f .n/ C 2 f .x/dx C f .x/dx
n1 n1 1 m1 m
R
X R
X Z 2
D .n 1/f .n/ C 2 F.n/ C F. y/dy
n1 n1 1
R
X Z 2
D .n 1/f .n/ C .x 1/f .x/dx
n1 1
R
X Z 2
D .n 1/f .n/ C F.2/ F.x/dx
n1 1
X R
R X R X
X R
X Z 2
f .n C m/ D f .n C m/ C 2 F.n/ F.2/ C 2 F.x/dx
m1 n1 k2 mCnDk n1 1
or in another form
X R
R X R
X R
X Z 2
f .n C m/ D .n 1/f .n/ C 2 F.n/ C F. y/dy (3.14)
m1 n1 n1 n1 1
3.3 Double Sums 99
PR PR m
Example Consider the sum n1 m1 mCn . We have
X R
R X R
XX mCn XX n R R R
m
D
n1 m1
mCn n1 m1
m C n n1 m1 m C n
R R
1 XX n
D
4 n1 m1 m C n
R R
1 XX n
D
4 m1 n1 m C n
thus we get
R X
X R
m 1
D
n1 m1
mCn 8
PR 1
Since m1 mCn D Hn C Log.n C 1/, we get
R
X X R
5 1
nHn D C nLog.n C 1/
n1
12 n1
8
Note that
R
X R
X R
X
nLog.n C 1/ D .n C 1/Log.n C 1/ Log.n C 1/
m1 n1 n1
p
D 0 .1/ Log. 2/ C 1
R
X 5 p 7
nHn D Log. 2/ 0 .1/ C
n1
12 8
2q
X m2qC1 C n2qC1
.1/k nk m2qk D
kD0
mCn
100 3 Dependence on a Parameter
X R
R X XR X R R R
m2qC1 C n2qC1 m2qC1 X X n2qC1
D C
n1 m1
mCn n1 m1
m C n n1 m1 m C n
XR X R R R
m2qC1 X X n2qC1
D C
n1 m1
m C n n1 m1 m C n
XR X R
n2qC1
D2
n1 m1
mCn
thus we get
2q R R
X X X 1
.1/k R .k/ R .2q C k/ D 2 n2qC1
kD0 n1 m1
mCn
then we have
R
X R
X
n2qC1 Hn D n2qC1 Log.n C 1/ C R .2q 1/
n1 n1
2q
1X
.1/k R .k/ R .2q C k/
2 kD0
PR
this gives n1 n2qC1 Hn in terms of the values 0 .k/ for k D 0; 1; : : : ; 2q C 1.
P Log.mC1/ 1
Since for the last series m1 mC1 m we are in a case of convergence, then we
have
XR
Log.m C 1/ 1 X Log.m C 1/ Z C1 Log.x C 1/
C1
D dx
m1
mC1 m mD1
m.m C 1/ 1 x.x C 1/
C1
X Log.m C 1/ 2 1
D Log2 .2/
mD1
m.m C 1/ 12 2
Finally we get
R
X C1
Log.m C 1/ 2 X Log.m C 1/
D 1 C (3.15)
m1
m 12 mD1 m.m C 1/
R
X R
X
Log.m C 1/ Hm 2
D (3.16)
m1
m m1
m 2
XR R R X R R X R 1 R X R
1 X 1 X 1 1 X C 1n X 1
C D m
D D 2
m1
m n1
m C n m1 n1
n m C n m1 n1
m C n m1 n1
mn
XR R R R
1X 1 X 1X 1
D
m1
m n1 m C n n1
n m1 n C m
R
X R R R
1X 1 XX 1 1
D
n1
n m1 n C m m1 n1
nnCm
102 3 Dependence on a Parameter
thus we get
XR R
1X 1 1
D 2 (3.18)
m1
m n1 m C n 2
PR 1
Since n1 mCn D Hm C Log.m C 1/ we have
XR R R
1 X 1 X 1
D . Hm C Log.m C 1//
m1
m n1 m C n m1
m
that is
XR R R R
1 X 1 2
X Hm X Log.m C 1/
D C
m1
m n1 m C n m1
m m1
m
R
X R
X
Log.m C 1/ Hm 2
D
m1
m m1
m 2
R
X C1
Hm 2 2 X Log.m C 1/
1 D C (3.19)
m1
m 2 12 mD1 m.m C 1/
R
X Z 2
Hn 1 1
D ..2/ 1 C 2 / C . .t//2 dt
n1
n 2 2 1
t
u
Remark Note also that
R
X R Z
X 1
Log.n C 1/ 1
D dx
n1
n n1 0 1 C nx
By Theorem 12 we have
R
X Z R
1X
Log.n C 1/ 1
D dx
n1
n 0 n1
1 C nx
3.3 Double Sums 103
and by (1.34)
R
X 1 Log. 1x C 1/ . 1x C 1/
dx D
n1
1 C nx x
therefore we have
R
X Z C1
Log.n C 1/ Log.x C 1/ .x C 1/
D dx
n1
n 1 x
C1 Z
2 X Log.m C 1/ C1
Log.x C 1/ .x C 1/
1 D C dx (3.20)
12 mD1 m.m C 1/ 1 x
PC1 Log.nC1/
There are similar integral expressions for the sums n1 np
with an integer
p > 1. Using the finite Taylor expansion we get
X
p2 Z C1
.1/k1 1 1
Log.x C 1/ D x C .1/ x
k p p1
dx
kD1
k 1 tp1 tCx
X .1/k1 1 p2 Z C1
Log.n C 1/ 1 1
D C .1/p dt
np kD1
k n pk
1 tp1 n.t C n/
C1
X X .1/k p2 Z C1
Log.n C 1/ .1/p .x C 1/
D . p k/ C C .1/p dx
nD1
n p
kD1
k p 1 1 xp
and
Z Z
2 1
.x C 1/ C C1
‰.x C 1/ Log.x/
1 D dx C dx (3.22)
6 0 x 1 x
104 3 Dependence on a Parameter
R
X 1 1
D Hn C C Log.n/
m1
mCn1 n
which gives
R
X X R
R X XR
Log.n/ 1 1 Hn
D 2 C .2/ C 1
n1
n n1 m1
nmCn1 n1
n
X R
R X XX 1 R
XX 1 R R R
1 1 1 1
D D
n1 m1
nmCn1 m1 n1
nmCn1 n1 m1
mmCn1
thus we have
R
X R
X Hn
1 D f .n/ 2 C .2/ C 1
n1 n1
n
with
XR
1 1
f .n/ D
m1
m m C n1
R R
1 X 1 X 1 1
f .n/ D . /D . C .n/ Log.n//
n 1 m1 m m1 m C n 1 n1
and for n D 1 we have f .n/ D .2/ 1. Thus we see that the function f is given by
C .x/ Log.x/
f .x/ D
x1
f .1/ D .2/ 1
R
X R
X R
X Z 2
Hn Log.n C 1/ C .x/ Log.x/
f .n/ D C .2/ 1 dx
n1 n1
n n1
n 1 x1
3.3 Double Sums 105
which is by (3.16)
R
X Z 1
1 2 2 .x C 1/ C
f .n/ D C 1 dx
n1
2 4 0 x
this gives
R
X Z 1
Hn 1 2 .x C 1/ C
1 D 2 C dx (3.23)
n1
n 2 12 0 x
t
u
P 1
Remark The series n1 n .Hn Log.n/ / is convergent and we have
C1
X X Hn Log.n/ R Z C1
Hn Log.n/ .x C 1/ Log.x/
D C dx
nD1
n nD1
n 1 x
R
X Z C1
Hn 1 2 2 .x C 1/ Log.x/
D C dx
n1
n 2 12 1 x
C1
X 1 1 2
.Hn Log.n/ / D 2 C 1
nD1
n 2 12
106 3 Dependence on a Parameter
Now we use double sums to give a new proof of the Ramanujan’s relation
(Grosswald 1972): for t > 0 we have
C1 C1
1X m X m 1 1
2m=t
C t 2mt 1
D .t C / (3.24)
t mD1 e 1 mD1
e t 24 4
We deduce that
R
X x2 x 1 1
D 2x C x arctan. /
n1
x2 C n2 e 1 2 x
X R
R X R R
m2 1X m 1 1X t
D C m arctan. / (3.25)
m1 n1
m2 C n 2 t 2 t m1 e2m=t 1 4 t m1 m
Since we have
R Z
1X m t C1
x
D S.t/ dx
t m1 e2m=t 1 4 2
t
ex 1
3.3 Double Sums 107
1 t 1 1
S.t/ D f .t/ C g.t/ C C ..t C / arctan.t/ C 1/ (3.27)
4 4 2 t
where
Z C1 Z 2t
t x 1 x
g.t/ D dx C dx
4 2
t
ex 1 4t 0 ex 1
1 t
g.t/ C g. / D C (3.28)
t 24 24t
It remains to find a similar relation for the function f . By Theorem 15 we get
XR X R
1 m2 t 2
f. / D
t m1 n1
m2 t 2 C n 2
R X
X R
m2 t 2
D
n1 m1
m2 t 2 C n 2
R X
X R
n2 t 2
D
m1 n1
n 2 t 2 C m2
108 3 Dependence on a Parameter
We have
XR X R XR X R XR
1 m2 C n 2 t 2 1 1
f .t/ C f . / D 2 t 2 C m2
D 1 D D
t m1 n1
n m1 n1 m1
2 4
Thus we obtain
1 1
f .t/ C f . / D (3.29)
t 4
Finally by (3.27), (3.28), and (3.29) we have
1 1 t
S.t/ C S. / D C C
t 4 24 24t
1 t 1 1
C C ..t C / arctan.t/ C 1/
4 4 2 t
1 1 1 1
C C ..t C / arctan. / C 1/
4 4t 2 t t
XR XC1 C1
X .1/k t2k
.1/k 2k 1 1
A.t/ D t 2k
D ..2k/ /
m1 kD0
2k C 1 m kD0
2k C 1 2k 1
.1/k1 .2/2k
Since .2k/ D 2
B
.2k/Š 2k
we have
C1
X C1 Z
.1/k t2k 1 X B2k .2t/2k 1 2t
x t
.2k/ D D dx
kD0
2k C 1 2 kD1 2k C 1 .2k/Š 4t 0 ex 1 4
C1
X .1/k t2k 1 1
D ..t C / arctan.t/ C 1/
kD0
.2k 1/.2k C 1/ 2 t
Thus we get
Z 2t
1 1 1 x t
A.t/ D ..t C / arctan.t/ C 1/ dx
2 t 4t 0 ex 1 4
t
u
3.3 Double Sums 109
Let k be an integer > 1 and let G2k be the Eisenstein function defined for Im.z/ > 0
by
XX 1
G2k .z/ D
n m
.m C nz/2k
1
G2k . / D z2k G2k .z/
z
where this double sum is restricted to .m; n/ 2 Znf.0; 0/g, more precisely
C1
X C1
X 1
G2 .z/ D 2
nD1 mD1 .m C nz/
m¤0 if nD0
P P
Since we don’t have absolute summability we cannot interchange n and m and
we have only
1 XX 1
G2 . / D z2
z m n
.m C nz/2
But it is well known (Freitag and Busam 2009) that this function G2 satisfies the
non trivial relation
1
G2 . / D z2 G2 .z/ 2iz (3.30)
z
We now give a simple proof of this relation thanks to the Ramanujan summation.
The relation (3.30) is equivalent to
XX 1 XX 1 2i
2
D 2
m n
.m C nz/ n m
.m C nz/ z
XX X C1
C1 X
1 1 1 1
2
D 2 . 2
C 2
/ C 2.1 C 2 /.2/
n m
.m C nz/ nD1 mD1
.m C nz/ .m nz/ z
Thus if we set
X C1
C1 X 1 1
A.z/ D . 2
C /
nD1 mD1
.m C nz/ .m nz/2
and
C1
XX C1
1 1
B.z/ D . 2
C /
mD1 nD1
.m C nz/ .m nz/2
i
A.z/ B.z/ D
z
To compare A.z/ and B.z/ we can use the Ramanujan summation, since by
Theorem 15 we have the commutation relation
X R
R X XR X R
1 1 1 1
. C / D . C /
n1 m1
.m C nz/2 .m nz/2 m1 n1
.m C nz/ 2 .m nz/2
Next we use the relation between the Ramanujan summation and usual summation
to transform this relation into a relation between the usual sums. Let us start with
A.z/, we have
C1
X XR
1 1 1 1
. 2
C 2
/ D . 2
C /
mD1
.m C nz/ .m nz/ m1
.m C nz/ .m nz/2
1 1
C C
1 C nz 1 nz
this gives
X C1
C1 X C1
XX R
1 1 1 1
. 2
C 2
/ D . 2
C /
nD1 mD1
.m C nz/ .m nz/ nD1 m1
.m C nz/ .m nz/2
C1
X 1 1
C . C /
nD1
1 C nz 1 nz
3.3 Double Sums 111
Using again the relation between the Ramanujan summation and the usual Cauchy
summation we obtain
C1
XX R XR X R
1 1 1 1
. C / D . C /
nD1 m1
.m C nz/2 .m nz/2 n1 m1
.m C nz/ 2 .m nz/2
Z R
C1 X
1 1
C . C /dt
1 m1
.m C tz/2 .m tz/2
Z R
C1 X R
1 1 1X 1 1
. 2
C 2
/dt D . /
1 m1
.m C tz/ .m tz/ z m1 m C z m z
R X
X R
1 1
A.z/ D . 2
C /
n1 m1
.m C nz/ .m nz/2
C1
X R
1 1 1X 1 1
C . C /C . /
nD1
1 C nz 1 nz z m1 m C z m z
P P 1
The same calculation with m n .mCnz/2 gives
R X
X R
1 1
B.z/ D . C /
m1 n1
.m C nz/2 .m nz/2
R
X C1
1 1 1X 1 1
C . C /C . /
n1
1 C nz 1 nz z mD1 m C z m z
By Theorem 15 the double Ramanujan summations in the last formulas for A.z/ and
B.z/ are the same, so we get
Z C1 Z C1
1 1 1 1 1
A.z/ B.z/ D . C /dt . /dt
1 1 C tz 1 tz z 1 tCz tz
and finally
1 i
A.z/ B.z/ D lim .Log.1 C Tz/ Log.1 Tz// D
z T!C1 z
Chapter 4
Transformation Formulas
In this chapter we study some transformations that give interesting relations between
the Ramanujan summation and other summations. In the first section we examine
the Borel summability of the series deduced from the Euler-MacLaurin formula. In
the second section we use finite differences and Newton series to give a convergent
version of the Ramanujan summation which generalizes the classical Laplace-
Gregory formula. In the third section we use the Euler-Boole summation formula
to link the Ramanujan summation of even and odd terms of a series with the Euler
summation of the corresponding alternate series.
In
P the preceding chapters we have seen that the Ramanujan summation of a series
n1 f .n/ is related to the series involving the Bernoulli numbers
X Bk
@k1 f .1/
k1
kŠ
by the formulas
R
X X
m Z C1
Bk bmC1 .x/ mC1
f .n/ D @
k1
f .1/ C @ f .x/dx
n1 kD1
kŠ 1 .m C 1/Š
or
R
X X
m Z 1
Bk Bm .t/
f .n/ D @ k1
f .1/ C .1/ mC1
R@m f .t C 1/ dt
n1 kD1
kŠ 0 mŠ
P
The series k1 BkŠk @k1 f .1/ appears more directly in an operator setting of the
difference equation. Let E be the shift operator on functions defined by
Eg.x/ D g.x C 1/
E D e@
and we can write the difference equation Rf .x/ Rf .x C 1/ D f .x/ in the form
.I e@ /Rf D f
I @ X Bk
Rf D f D @ @1 f D @1 f @k1 f
IE e I k1
kŠ
we get formally
Z x X BkC1
Rf .x/ D f .t/dt @k f .x/
1 k0
.k C 1/Š
Z X
x
.1/kC1 BkC1
D f .t/dt C f .x/ @k f .x/
1 k0
.k C 1/Š
this last series is noted S.x/ (Hardy 1949, p.341). Taking x D 1 we get formally
R
X X .1/kC1 BkC1
f .n/ D f .1/ S.1/ D f .1/ @k f .1/
n1 k0
.k C 1/Š
This last series is often divergent, but we can give a meaning to this sum by the
Borel summation procedure.
4.1 A Borel Summable Series 115
B
X C1
X n t
an D lim et Sn when this limit is finite.
n0
t!C1
nD0
nŠ
P tn
Since the series n0 nŠ Sn is supposed to be convergent for every t > 0, the function
C1
X n t
s W t 7! et Sn
nD0
nŠ
thus we have
B Z
X C1 C1
X xn
an D ex an dx when this integral is convergent.
nD1 0 nD0
nŠ
analytic function x 7! a.x/ in a neighbourhood of Œ0; C1Œ such that the integral
R C1 x
0 e a.x/dx is convergent.
In this case we set
B
X Z C1
an D ex a.x/dx
n0 0
P P
Example Consider the series n0 an D n0 .1/
n
nŠ, then for jxj < 1 we have
C1
X X C1
xn 1
an D .1/n xn D
nD0
nŠ nD0
1 C x
1
By analytic continuation we have a.x/ D 1Cx and we set
B
X Z C1
1
.1/n nŠ D ex dx
n0 0 1Cx
B
X Z C1 Z C1
.1/n nŠ 1 1
D ex dx D exz dx
n0
znC1 0 zCx 0 1Cx
Z C1 XB
an
exz a.x/dx D nC1
0 n0
z
For
PR a function f of moderate growth this gives a Borel-sum expression of
nz
n1 f .n/e for 0 < z < .
Since we have
R
X C1
X Z C1
f .n/enz D f .n/enz ez f .x C 1/exz dx
n1 nD1 0
C1
X xn
f .x C 1/ D @n f .1/
nD0
nŠ
4.1 A Borel Summable Series 117
we get
R
X C1
X B
X @n f .1/
f .n/enz D f .n/enz ez
n1 nD1 n0
znC1
R
X XB
Log.1 ez / ez .1/n nŠ
Hn enz D e z
..n C 1/ 1/
n1
1 ez z n1
znC1
Theorem 16 Let a function f be analytic for Re.z/ > a, 0 < a < 1, such that there
is C > 0 and s > 0 with
j f .z/j Cjzjs
Proof Since the proof of this theorem is given in the book “Divergent Series” of
Hardy we just give a sketch of the proof.
For the Borel summability we must consider the series
C1
X .1/kC1 BkC1 tk
a.t/ D @k f .1/
kD0
.k C 1/Š kŠ
and prove that it defines, by analytic continuation, a function such that the integral
R C1 t
0 e a.t/dt is convergent. To get a simple expression for this function we use an
integral expression of the derivatives @k f .1/.
Let a < ı < 1; by the Cauchy theorem we write
Z ıCi1
@k f .1/ 1 f .u/
D
kŠ 2i ıi1 .u 1/kC1
118 4 Transformation Formulas
Then we get
Z
1 ıCi1 1=.1 u/ 1
a.t/ D f .u/ du
2i ıi1 et=.1u/ 1 t
This gives the analytic continuation of the function t 7! a.t/ and we have
Z C1 Z ıCi1 Z C1
t 1 1=.1 u/ 1
e a.t/dt D f .u/ et dt du
0 2i ıi1 0 et=.1u/ 1 t
B
X Z
.1/kC1 BkC1 1 ıCi1
@k f .1/ D f .u/ Log.1 u/ .2 u/ du
k0
.k C 1/Š 2i ıi1
R
X Z
1 ıCi1
f .n/ D f .1/ f .u/ Log.1 u/ .2 u/ du
n1
2i ıi1
or equivalently
R
X Z ıCi1
1 1
f .n/ D f .1/ C f .u/ .1 u/ Log.1 u/ du
n1
2i ıi1 u1
Z
1 ıCi1
D f .u/ .1 u/ Log.1 u/ du
2i ıi1
Since by (1.34)
R
X 1
D ‰.1 u/ Log.1 u/
n1
un
R
X Z ıCi1 R
X
1 1
f .n/ D f .u/. /du
n1
2i ıi1 n1
un
4.1 A Borel Summable Series 119
XR Z ıCi1 Z ıCi1 XR
1 1 1 1
f .u/ du D f .u/. /du
n1
2i ıi1 un 2i ıi1 n1
un
PC1
Then in the disq D.0; 1/ we have f .z/ D kD0 .1/
k
.x 1/2k and the series S.1/
is reduced to
B1 C 0 C 0 C 0 C : : :
But the Borel summability of the series S.1/ does not necessarily imply the validity
of (4.1) since we have by (1.34)
X
R
1 1 X
R
1 X
R
1
2
D . /
nD1
1 C .n 1/ 2i nD1 n .1 C i/ nD1 n .1 i/
1
D . .i/ .i//
2i 2
D 0:5058777206
1
Example For f .z/ D zs
we get for s ¤ 1
B
1 1 X BkC1
.s/ D C C s.s C 1/ : : : .s C k 1/
s1 2 k1 .k C 1/Š
120 4 Transformation Formulas
The Borel summation formula (4.1) isPnot very practical for numerical evaluation
since the Borel summation of a series k0 ak involves analytic continuation of the
P
function x 7! a.x/ given, near x D 0, by a.x/ D C1 xk
kD0 ak kŠ .
To obtain a more useful formula involving convergent series we use in place of
the operator @ the difference operator defined on functions by
Rf D f
I
Rf D f
I I
D D @1
log.I C / log.e@ /
and
I I I
D @1 C
log.I C /
t X ˇn X ˇnC1
D tn D 1 C tnC1
log.1 C t/ n0
nŠ n0
.n C 1/Š
4.2 A Convergent Expansion 121
We get
I X ˇnC1
RD f D @1 f C n f
n0
.n C 1/Š
R
X X ˇnC1
f .n/ D .n f /.1/ (4.2)
n1 n0
.n C 1/Š
In the following section we show that this series is often convergent and gives a
numerical evaluation for the Ramanujan summation.
Remark The Bernoulli numbers of second kind ˇn are given by ˇ0 D 1 and the
relation
X
n
ˇk .1/k
D0
kD0
kŠ n k C 1
this gives
1 1 1 19 9 863
ˇ1 D ; ˇ2 D ; ˇ3 D ; ˇ4 D ; ˇ5 D ; ˇ6 D ;:::
2 6 4 30 4 84
We can give a simple integral expression of the Bernoulli numbers of second
kind. It suffices to write
Z 1 X Z 1
t x.x 1/ : : : .x n C 1/
D .1 C t/ dx D
x
t n
dx
log.1 C t/ 0 n0 0 nŠ
By the relations (4.2) and (4.3) we see that the Ramanujan summation can be related
to the Newton interpolation series of the function f . We now turn to the basic
definitions and properties of these series.
122 4 Transformation Formulas
C1
X .z 1/ : : : .z n/
f .z/ D an
nD0
nŠ
is analytic for Re.z/ > x0 and there exists C > 0 such that
1
j f .z/j Cejzj 2 jzjx0 C 2
With the hypothesis of the preceding theorem we see that the coefficients an are
related to the values f .1/; f .2/; : : : f .k/; : : : of the function f by
X
k
k.k 1/ : : : .k n C 1/ X k
f .k C 1/ D an D an Ckn
nD0
nŠ nD0
X
n
an D f .k C 1/Cnk .1/nk
kD0
X
n X
n
f .1/ D .E I/ . f /.1/ D
n n
E k
. f /.1/Cnk .1/nk D f .k C 1/Cnk .1/nk
kD0 kD0
Thus we have
an D n f .1/
This result gives the solution of the interpolation problem of finding an analytic
function f given the values f .1/; f .2/; : : : f .k/; : : :.
4.2 A Convergent Expansion 123
C1
X .z 1/ : : : .z n/
f .z/ D n f .1/ (4.4)
nD0
nŠ
j f .z/j CejzjLog.2/
for a constant C > 0, then for Re.z/ > sup.x0 ; 1=2/ we have
C1
X .z 1/ : : : .z n/
f .z/ D n f .1/
nD0
nŠ
this series is uniformly convergent for Re.z/ > sup.x0 ; 1=2/ C " (" > 0).
To get the expansion of a function f in Newton series we have to evaluate the terms
n f .1/, this can be done by
X
n
n f .1/ D f .k C 1/Cnk .1/nk (4.5)
kD0
but it is often more simple to use formal power series and find an explicit expression
of the exponential generating series
X tn
n f .1/ :
n0
nŠ
124 4 Transformation Formulas
X tn XX n
.1/nk tn X tk X .1/l tl
n f .1/ D f .k C 1/ D f .k C 1/
n0
nŠ n0 kD0
kŠ.n k/Š k0
kŠ l0 lŠ
thus we get
X tn X tk
n f .1/ D et f .k C 1/ (4.6)
n0
nŠ k0
kŠ
We can also remark that by the Laplace transform of (4.6) we also obtain a simple
expression of the ordinary generating series
X
n f .1/zn
n0
X Z C1 X
1 tn
e z
t
f .1/z D
n n
n f .1/ dt
n0
z 0 n0
nŠ
thus we get
X Z C1 X
1 zC1 tk
f .1/z D
n n
et z f .k C 1/ dt
n0
z 0 k0
kŠ
z Z
D Z , D z
zC1 ZC1
4.2 A Convergent Expansion 125
and
X 1 X z k
.1/n g.n C 1/zn D f .k C 1/. /
n0
z C 1 k0 zC1
is equivalent to
1 X Z n X
g.n C 1/. / D f .k C 1/.1/k Z k
Z C 1 n0 ZC1 k0
Thus by (4.6) the Newton interpolation formula becomes the Ramanujan interpola-
tion formula (see Appendix)
Z C1 X .1/k
1
f .z/ D tz f .k C 1/tk dt
.z C 1/ 0 k0
kŠ
Examples
1
(1) If f .x/ D x then
X tn X tk et t 1 et
n f .1/ D et D .e 1/ D
n0
nŠ k0
.k C 1/Š t t
thus
1 .1/n
n .1/ D (4.9)
x nC1
(2) It is easy to get a simple formula relating n 'f .1/ to n f .1/. By definition of
'f we have
thus
'f D Ef D .E I C I/f D f C f
.1/nC1
n ' 1 .1/ D for n 1 (4.11)
x n.n C 1/
1 X 1 X n
kC1
n . 'f /.1/ D f . j/ Cnk .1/nk
x kD0
k C 1 jD1
X
n
X
n
1
D f . j C 1/ Cnk .1/nk
jD0 kDj
kC1
X
n
1 1
Cnk .1/nk D .1/nj Cnj
kDj
kC1 nC1
thus we get
1 1
n . 'f /.1/ D n f .1/ (4.12)
x nC1
1 1 1 .1/n
n . ' 1 /.1/ D n .1/ D (4.13)
x x nC1 x .n C 1/2
1 1 HnC1
n .1/ D .1/n . ' 1 /.n C 1/ D .1/n (4.14)
x2 x x nC1
4.2 A Convergent Expansion 127
thus
.xf / D xf C Ef
1 .x' 1 /.1/ D 2
x
and
.1/n
n .x' 1 /.1/ D for n 2 (4.17)
x n.n 1/
11
1 .x2 ' 1 /.1/ D 5; 2 .x2 ' 1 /.1/ D
x x 2
and
.1/n1 .n C 2/
n .x2 ' 1 /.1/ D for n 3 (4.18)
x n.n 1/.n 2/
thus
1 nŠ .z/.n C 1/
n . /.1/ D .1/n D .1/n
z1Cx z.z C 1/ : : : .z C n/ .z C n C 1/
(4.20)
.z/.x/
If f .x/ D .zCx/ then by the reciprocity formula (4.8) we get
1
n f .1/ D .1/n (4.21)
zCn
Let f be given by the Newton interpolation formula, then for any integer n 1 we
have
C1
X .k f /.1/
f .n/ D .n 1/ : : : .n k/
kD0
kŠ
P we have .n 1/ : : : .n k/ D 1 if k D 0)
(remember that by definition
To evaluate the sum R n1 f .n/ we try to prove that
R
X C1
X R
.k f /.1/ X
f .n/ D .n 1/ : : : .n k/
n1 kD0
kŠ n1
1 ˇkC1
R.x1/:::.xk/ D .x 1/ : : : .x .k C 1// C
kC1 kC1
thus
Z 2
1 1
R.x1/:::.xk/ D .x 1/ : : : .x .k C 1// C .x 1/ : : : .x .k C 1//dx
kC1 kC1 1
and we get
R
X Z 2
1
.n 1/ : : : .n k/ D .x 1/ : : : .x .k C 1//dx
n1
k C 1 1
this gives
Z 2 Z 1
1 1 ˇkC1
.x 1/ : : : .x .k C 1//dx D x.x 1/ : : : .x k/dx D
kC1 1 kC1 0 kC1
Theorem 18 Let f be analytic for Re.z/ > x0 with x0 < 1, such that there exists
C > 0 with
j f .z/j CejzjLog.2/
If we set for k 0
Z 1
ˇkC1 D x.x 1/ : : : .x k/dx
0
and
X
k
j
k f .1/ D f . j C 1/Ck .1/kj
jD0
P ˇkC1
k0 .kC1/Š . f /.1/
k
then the series is convergent and
R
X C1
X ˇkC1
f .n/ D .k f /.1/
n1 kD0
.k C 1/Š
C1
X .k f /.1/
Rf .x/ D R.x1/:::.xk/ (4.23)
kD0
kŠ
130 4 Transformation Formulas
X .k f /.1/
f .x/ D .x 1/ : : : .x k/
k0
kŠ
X .k f /.1/
.x 1/ : : : .x .k C 1//
k0
.k C 1/Š
and apply the classical summation by parts then we see that this series is also
convergent for Re.x/ > ˛0 . Then we can define for Re.x/ > ˛0 an analytic function
C1
X .k f /.1/
R.x/ D .x 1/ : : : .x .k C 1//
kD0
.k C 1/Š
Note that R.1/ D 0 and by uniform convergence of the series defining R on the
interval Œ1; 2, we get
Z 2 C1
X Z 2 C1
X
.k f /.1/ ˇkC1
R.x/dx D .x1/ : : : .x.kC1//dx D .k f /.1/
1 kD0
.k C 1/Š 1 kD0
.k C 1/Š
4.2 A Convergent Expansion 131
Remark Note that for any integer m 1 and if g.x/ D f .x C m/, then we have
X
n
n g.1/ D f .k C m C 1/Cnk .1/nk D n f .m C 1/
kD0
R
X R
X X
m Z mC1
f .n/ D g.n/ C f .n/ f .x/dx
n1 n1 nD1 1
which is the classical Laplace integration formula (also called Gregory’s formula)
(Boole 1960).
Replacing m by m 1 we write this last formula in the form
X
m Z R
X C1
X
m
ˇkC1
f .n/ f .x/dx D f .n/ C f .m/ k f .m/
nD1 1 n1 kD0
.k C 1/Š
X
m Z m R
X X BkC1
f .n/ f .x/dx D f .n/ C f .m/ C @k f .m/
nD1 1 n1 k0
.k C 1/Š
Examples
(1) If we take f .x/ D 1x , then by (4.9) we get
R
X C1
X
1 .1/k ˇkC1
D D (4.24)
n1
n kD0
k C 1 .k C 1/Š
R
X C1
1 X .1/kC1 ˇkC1
Hn D C (4.25)
n1
2 kD1 k.k C 1/ .k C 1/Š
132 4 Transformation Formulas
By (3.3) we get
C1
X .1/kC1 ˇkC1
3 p
Log. 2/ D
2 kD1
k.k C 1/ .k C 1/Š
C1
p 3 1 X .1/k .3k C 2/ ˇkC1
Log. 2/ D C (4.26)
4 2 kD1 k.k C 1/ .k C 1/Š
R
X C1
1 1 X .1/k ˇkC1
nHn D C (4.27)
n1
2 6 kD2 k.k 1/ .k C 1/Š
By (3.4) we get
C1
5 p 13 X .1/k ˇkC1
0 .1/ D Log. 2/ C
12 24 kD2 k.k 1/ .k C 1/Š
C1
25 1 X .1/k .13k C 11/ ˇkC1
0 .1/ D
288 12 kD2 .k 1/.k C 1/ .k C 1/Š
R
X C1
15 X .1/k1 .k C 2/ ˇkC1
n 2 Hn D C (4.28)
n1
48 kD3 k.k 1/.k 2/ .k C 1/Š
C1
X .1/k1 .k C 2/ ˇkC1
1 p 3
0 .2/ D C Log. 2/ C 2 0 .1/ C
3 16 kD3 k.k 1/.k 2/ .k C 1/Š
P
Similar formulas can be obtained for R k
n1 n Hn , which gives expansions of
0
.2k/, thus of .2k C 1/ (Coppo and Young 2016).
4.2 A Convergent Expansion 133
R
X C1
X
Hn ˇkC1 .1/k
D (4.29)
n1
n kD0
.k C 1/Š .k C 1/2
And by (4.14)
XR C1
X ˇkC1 .1/k HkC1
2 1
D1C D 1 C (4.30)
6 n1
n2 kD0
.k C 1/Š .k C 1/
R
X C1
X
.z/.n/ ˇkC1 1
D .1/k (4.31)
n1
.z C n/ kD0
.k C 1/Š zCk
this gives
R
X Z 2
.z/.n/ 1 .z 1/.x/
D dx (4.32)
n1
.z C n/ z1 1 .z C x 1/
C1
X Z 2
ˇkC1 1 1 .z 1/.x/
.1/k D dx
kD0
.k C 1/Š zCk z1 1 .z C x 1/
R
X X ˇkC1 C1
1 kŠ
D .1/k
n1
z1Cn kD0
.k C 1/Š z.z C 1/ : : : .z C k/
C1
X ˇkC1 .1/k kŠ
Log.z/ .z/ D (4.33)
kD0
.k C 1/Š z.z C 1/ : : : .z C k/
134 4 Transformation Formulas
Rx
Remark Let f 2 O and F.x/ D 1 f .t/dt, we have by the shift property
R
X X
k R
X
k f .n/ D Cjk .1/kj f . j C n/
n1 jD0 n1
X R
k
X
D Cjk .1/kj f .n/ 'f . j C 1/ C f . j C 1/ C F. j C 1/
jD0 n1
that is
R
X
k f .n/ D k 'f .1/ C k f .1/ C k F.1/
n1
this gives by (4.10), for k 1, a formula that generalizes the shift property
R
X
k f .n/ D k1 f .1/ C k F.1/ (4.34)
n1
1
For f .x/ D x we have by (4.19)
1 .1/k kŠ
k .z/ D
x z.z C 1/ : : : .z C k/
R
X .1/k kŠ 1
D .1/k C k Log.1/
n1
n.n C 1/ : : : .n C k/ k
PR .1/k kŠ
For k 1 the series n1 n.nC1/:::.nCk/ is convergent and since
1 1 k
D
n.n C 1/ : : : .n C k 1/ .n C 1/ : : : .n C k/ n.n C 1/ : : : .n C k/
we have
C1
X kŠ 1
D
nD1
n.n C 1/ : : : .n C k/ k
4.3 Summation of Alternating Series 135
1 1 1
E0 D 1; E1 D ; E2 D 0; E3 D ; E4 D 0; E5 D ; : : :
2 4 2
These numbers are related to the Bernoulli numbers by
2.2nC1 1/
En D BnC1 for n 1
nC1
(we don’t call these numbers “Euler numbers” since the Euler numbers are usually
defined by 2n En . 12 /).
With the generating function we verify that En .1 x/ D .1/n En .x/ for n 0,
and we define for t 2 R the functions
1X k
m
Ek
f .1/ f .2/ C : : : C .1/n1 f .n/ D @ f .1/
2 kD0 kŠ
.1/n1 X k
m
Ek
C @ f .n C 1/
2 kD0
kŠ
Z
1 nC1
1
C em .t/ @mC1 f .t/ dt
2 1 mŠ
136 4 Transformation Formulas
.1/n1 X k
m
Ek
C @ f .n C 1/
2 kD0
kŠ
Z
1 1 1
em .t/ @mC1 f .t/ dt
2 nC1 mŠ
We see that this formula has the same structure as the Euler-MacLaurin formula,
with the constant term
X m Z C1
Q f/ D 1
C.
Ek
@k f .1/ C
1 1
em .t/ @mC1 f .t/ dt
2 kD0 kŠ 2 1 mŠ
Pof m for m M:
which is, by integration by parts, independent
We can proceed, for an alternating series k1 .1/k1 f .k/, as in the Ramanujan
summation, defining the Euler summation of this series by
E
X Z
1X k C1
m
Q f/ D Ek 1 1
.1/k1 f .k/ D C. @ f .1/ C em .t/ @mC1 f .t/ dt
k1
2 kD0 kŠ 2 1 mŠ
Q f / C Tf .n C 1/
f .1/ : : : C .1/n1 f .n/ D C.
thus
we get
and
E
X
Q f / D Tf .1/ D Af .1/
.1/n1 f .n/ D C. (4.36)
n1
where
Af .x/ C Af .x C 1/ D f .x/
But this equation does not specify a unique function Af since we must avoid the
solutions of the equation A.x/ C A.x C 1/ D 0:
Lemma 19 If f 2 O there exists a unique solution Af 2 O of
Af .x/ C Af .x C 1/ D f .x/
and we have
x xC1
Af .x/ D Rf .2x/ . / Rf .2x/ . /: (4.37)
2 2
Proof Uniqueness of the solution: if a function A 2 O is a solution of the equation
A.x/ C A.x C 1/ D 0 then the function R.x/ D A.x/eix is a solution of the equation
R.x/R.xC1/ D 0, and is of exponential type < 2, thus by Lemma 1 the function
R is a constant C and we have A.x/ D Ceix , and A 2 O implies C D 0.
Existence of the solution: since the function x 7! f .2x/ is in O2 ; then by
Theorem 1 the function Rf .2x/ 2 O2 is a solution of the equation
Z 2
Rf .2x/ .x/ Rf .2x/ .x C 1/ D f .2x/ with Rf .2x/ .x/dx D 0
1
x x
Af .x/ C Af .x C 1/ D Rf .2x/ . C 1/ C Rf .2x/ . / D f .x/:
2 2
138 4 Transformation Formulas
Af .x/ C Af .x C 1/ D f .x/
P
n1 .1/ f .n/ by
n1
and we define the Euler summation of the series
E
X
.1/n1 f .n/ D Af .1/
n1
Rg .x/ Rg .x C 1/ D f .x/eix
Then the function A.x/ D eix Rg .x/ is a solution of A.x/CA.xC1/ D f .x/, but A is
not necessarily the function Af of the preceding definition since it is not necessarily
of exponential type < :
Examples
(1) By the generating function of Euler polynomials Ek .x/ we verify that
1
Axk .x/ D Ek .x/ for k 0
2
We get for example:
XE E
1 X 1
.1/k1 D ; .1/k1 k D
k1
2 k1 4
XE
Ek .1 2kC1 /
.1/n1 nk D D BkC1
n1
2 kC1
4.3 Summation of Alternating Series 139
E
X
.1/n1 n2k D 0
n1
1
(2) For f .x/ D x we have Rf D and since in this case f .2x/ D 12 f .x/ we get
by (4.37)
1 x 1 xC1
Af .x/ D Rf . / Rf . /
2 2 2 2
1 x C 1 x
D . / . /
2 2 2
Thus A 1 is the classical function
x
C1
1 x C 1 x X .1/n
ˇ.x/ D . / . / D
2 2 2 nD0
nCx
and we have
E
X C1
X
.1/n1 .1/n1
D ˇ.1/ D D Log.2/
n1
n nD1
n
p
(3) If f .x/ D Log.x/ then Rf .x/ D Log..x// C Log. 2/ 1, thus
p
RLog.2x/ D RLog.2/ Log..x// C Log. 2/ 1
and we get
3 p
RLog.2x/ D . x/Log.2/ Log..x// C Log. 2/ 1
2
therefore
1
Af .x/ D Log.2/ Log..x=2// C Log...x C 1/=2//
2
E
X 1 2
.1/n1 Log.n/ D Log. / (4.38)
n1
2
140 4 Transformation Formulas
eixz
thus Aeixz D 1Ceiz
and
E
X eiz
.1/n1 einz D
n1
1 C eiz
P
Remark Classically the Euler method of summation of a series n1 an is defined
by (Hardy 1949)
E
X C1
X 1 X
k
j
an D Ck ajC1 (when this last series is convergent)
n1 kD0
2kC1 jD0
E
X C1
X C1
.1/k X j X .1/k
k
an D C .1/ kj
f . j C 1/ D .k f /.1/
n1 kD0
2kC1 jD0 k kD0
2 kC1
To see how this definition is connected with our preceding definition we use the
Newton expansion of the function f . If f is analytic for Re.x/ > x0 , x0 < 1 and such
that
j f .x/j CejxjLog.2/
for a constant C > 0, then for Re.x/ > sup.x0 ; 1=2/ we have by Theorem 2 of
Nörlund
C1
X .x 1/ : : : .x k/
f .x/ D k f .1/
kD0
kŠ
C1
X A.x1/:::.xk/
Af .x/ D k f .1/
kD0
kŠ
4.3 Summation of Alternating Series 141
then it suffices to evaluate A.x1/:::.xk/ . This is done by using the immediate result
1 .1 C z/x1
A.1Cz/x1 D for jzj < 1
2 1 C 2z
By the binomial expansion of .1 C z/x1 for jzj < 1, and by identification, we get
.1/k kŠ X .x 1/ : : : .x j/
k
A.x1/:::.xk/ D .2/j
2kC1 jD0 jŠ
Thus
C1
X .1/k X .x 1/ : : : .x j/
k
Af .x/ D k f .1/ .2/j
kD0
2kC1 jD0 jŠ
XE C1
X .1/k
.1/n1 f .n/ D .k f /.1/ (4.39)
n1 kD0
2 kC1
The properties of the Euler summation are very easily deduced from our definition.
(1) Linearity
Since the equation defining Af is linear we have immediately the property of
linearity
E
X E
X E
X
.1/ .af .n/ C bg.n// D a
n1
.1/ f .n/ C b
n1
.1/n1 g.n/
n1 n1 n1
Af .x C 1/ C Af .x C 2/ D f .x C 1/
142 4 Transformation Formulas
E
X
.1/n1 f .n C 1/ D Af .2/ D f .1/ Af .1/
n1
E
X E
X
.1/n1 f .n C 1/ D f .1/ .1/n1 f .n/ (4.40)
n1 n1
Af .x C p/ C Af .x C p C 1/ D f .x C p/
R
X X
p
.1/n1 f .n C p/ D Af . p C 1/ D .1/p Af .1/ C .1/pC1 .1/k1 f .k/
n1 kD1
Since
X
p
.1/pC1 Af . p C 1/ C Af .1/ D .1/k1 f .k/ (4.41)
kD1
R
X X
p E
X
.1/n1 f .n C p/ D .1/kp f .k/ C .1/p .1/n1 f .n/
n1 kD1 n1
We have
1
X 1
X
g.x/ C g.x C 1/ D .1/ f .x C n/
n
.1/n f .x C n/ D f .x/
nD0 nD1
4.3 Summation of Alternating Series 143
and
E
X 1
X
.1/n1 f .n/ D .1/n1 f .n/
n1 nD1
E
X E
X
.1/n1 Log.n C 1/ D .1/n1 Log.n/
n1 n1
C1
X 1 nC1 4
.1/n1 Log. / D Log. /
nD1
n n
Remarks
(1) Since we have 'f .n C 1/ D 'f .n/ C f .n/, we deduce immediately from (4.40)
that
E
X E
1X
.1/ n1
'f .n/ D .1/n1 f .n/ (4.42)
n1
2 n1
E
X 1
.1/n1 Hn D Log.2/ (4.43)
n1
2
Since
R
X
'f .n/ D Cf Rf .n/ C f .n/ with Cf D f .n/
n1
144 4 Transformation Formulas
P
and En1 .1/n1 D 12 , we deduce from (4.42) the following relation with the
Ramanujan summation
R
X E
X E
X
f .n/ D 2 .1/n1 Rf .n/ .1/n1 f .n/ (4.44)
n1 n1 n1
Rx
(2) Let f 2 O and F.x/ D 1 f .t/dt. We have
Z xC1 Z xC2 Z xC1
Af .x/dx C Af .x/dx D f .x/dx
x xC1 x
thus we get
E
X Z nC1 Z 2
.1/n1 f .x/dx D Af .x/dx
n1 n 1
E
X Z 2
1
.1/n1 F.n/ D Af .x/dx (4.45)
n1
2 1
The
P Ramanujan summation of even and odd terms in a divergent series
f .n/ is simply connected with the Euler summation of the alternating series
Pn1
n1 .1/ f .n/.
n1
R
X R E
1X 1X
f .2n 1/ D f .n/ C .1/n1 f .n/
n1
2 n1 2 n1
R
X R E Z
1X 1X 1 2
f .2n/ D f .n/ .1/n1 f .n/ C f .t/dt
n1
2 n1 2 n1 2 1
R
X R
X R
X Z 2
1
f .2n 1/ C f .2n/ D f .n/ C f .t/dt (4.46)
n1 n1 n1
2 1
4.3 Summation of Alternating Series 145
and
R
X R
X E
X Z 2
1
f .2n 1/ f .2n/ D .1/ n1
f .n/ f .t/dt (4.47)
n1 n1 n1
2 1
XE XR
1
.1/n1 f .n/ D Rg . / g.n/
n1
2 n1
XE XR XR Z 1
1
.1/ f .n/ D
n1
g.n / g.n/ C g.t/dt
n1 n1
2 n1 1=2
that is
E
X R
X R
X Z 2
1
.1/n1 f .n/ D f .2n 1/ f .2n/ C f .t/dt
n1 n1 n1
2 1
Remark For f 2 O=2 the preceding theorem gives
E
X R
X R
X Z 2
.1/ f .n/ D
n1
f .n/ 2 f .2n/ C f .t/dt
n1 n1 n1 1
R
X R
X
D2 f .2n 1/ f .n/
n1 n1
This last formula shows that if f depends on an extra parameter z or t, then the
theorems of analyticity and integration of Chap. 2 remains valid.
For example, we know that for Re.z/ < 0
XE C1
X ln .ez C 1/
.1/n1 ezn Hn D .1/n1 ezn Hn D
n1 n1
ez C 1
146 4 Transformation Formulas
XE
1 ln .2/
.1/n1 nHn D
n1
4 4
XE
1
.1/n1 n2 Hn D
n1
16
XE C1
X
1 1
.1/n1 s D .1/n1 s D .s/.1 21s /
n1
n n1
n
E
X .1/n1 Log.n/
D 0 .s/.21s 1/ .s/21s Log.2/
n1
ns
E
X BkC1
.1/n1 nk Log.n/ D 2kC1 Log.2/ C .2kC1 1/ 0 .k/
n1
kC1
for k D 1; 2 we have
E
X 1
.1/n1 nLog.n/ D Log.2/ C 3 0 .1/
n1
3
XE
7
.1/n1 n2 Log.n/ D 7 0 .2/ D 2
.3/
n1
4
From the translation property we deduce the values of the convergent sums
C1
X nC1 1 1 1
.1/n1 .nLog. / 1/ D Log.2/ Log./ 6 0 .1/
nD1
n 2 6 2
C1
X nC1 1 Log.2/ Log./ 7
.1/n1 .n2 Log. /nC /D C C 6 0 .1/ C .3/
nD1
n 2 6 2 2 2
4.3 Summation of Alternating Series 147
Examples
(1) We have by (4.38) and the preceding theorem
R
X 1 1
Log.2n 1/ D Log.2/
n1
2 2
thus
XR
1 p 1
Log.2n 1/ Log.2n/ D Log. 2/
n1
2n 2
C1
X 1 p 1 1
Log.2n 1/ Log.2n/ D Log. / C
nD1
2n 2 2
Note that for f 2 O=2 , by the shift property applied to x 7! f .2x 1/, we
have
R
X R E Z
1X 1X 2
f .2n C 1/ D f .n/ C .1/n1 f .n/ f .1/ C f .2t 1/dt
n1
2 n1 2 n1 1
R
X 1 3 3
Log.2n C 1/ D Log.2/ C Log.3/
n1
2 2 2
PR
Thus, if we consider the sum n1 .Log.2n 1/ C Log.2n C 1//, we get
R
X R
X R
X 3
Log.4n2 1/ D Log.2n1/C Log.2nC1/ D Log.2/C Log.3/2
n1 n1 n1
2
which gives
R
X X R
1 3 3
Log.1 2
/ D Log.2/C Log.3/2 Log.4n2/ D Log.3/Log.2/
n1
4n 2 n1
2
148 4 Transformation Formulas
C1
X 1 2
Log.1 2
/ D Log. /
nD1
4n
C1
X .2k/
D Log. /
kD1
4k
k 2
PR PR
If we consider the difference n1 Log.2n C 1/ n1 Log.2n 1/ we find
C1
X 2n C 1 1
Log. / D Log.2/
nD1
2n 1 n
1 C1
X
1C 2x 1 1
Log. 1
/D
1 2x kD0
22k .2k C 1/ x2kC1
this gives
C1
X .2k C 1/
D Log.2/
kD1
22k .2k C 1/
E
X .1/n1 Log.n/
D 0 .s/.1 21s / .s/21s Log.2/
n1
ns
XR
1 1
.2n 1/Log.2n 1/ D 0 .1/ C Log.2/
n1
6 8
R
X 1 9 9
.2n C 1/Log.2n C 1/ D 0 .1/ C Log.2/ C Log.3/
n1
6 4 8
4.3 Summation of Alternating Series 149
We deduce that
R
X 1 3 1
nLog.4n2 1/ D 0 .1/ C Log.2/ C Log.3/
n1
6 8 8
and we obtain
C1
X .2k C 1/ 1
D 12 0 .1/ Log.2/ 1
kD1
4 .k C 1/
k 3
R
X 1
.2n 1/2 Log.2n 1/ D 3 0 .2/
n1
18
XR
9 27
.2n C 1/2 Log.2n C 1/ D 3 0 .2/ C Log.3/
n1
2 18
We deduce that
R
X 3 14
4n2 Log.4n2 1/ D 6 0 .2/ C Log.2/ C Log.3/
n1
2 9
This gives
C1
X .2k/ 1
D 14 0 .2/ Log.2/ C
kD1
4k .k C 1/ 2
(3) Consider an integer k 1 and f .x/ D Logx .x/ then by the preceding theorem we
k
R
X Logk .n/
k D
n1
n
150 4 Transformation Formulas
R
X R E Z
Logk .2n/ 1 X Logk .n/ 1 X .1/n1 Logk .n/ 1 2
Logk .x/
D C dx
n1
2n 2 n1 n 2 n1 n 2 1 x
E
1 1 X .1/n1 Logk .n/ 1 LogkC1 .2/
D k C
2 2 n1 n 2 kC1
R
X R R
1 X .Log.2/ C Log.n//k 1X j X
k
Logk .2n/ Logj .n/
D D Ck Logkj .2/
n1
2n 2 n1 n 2 jD0 n1
n
R
X 1X j
k
Logk .2n/
D C j Logkj .2/
n1
2n 2 jD0 k
X
k1
j
Ck j Logkj .2/ D Qk (4.48)
jD0
where
C1
LogkC1 .2/ X .1/n1 Logk .n/
Qk D
kC1 n1
n
C1
Log2 .2/ X .1/n1 Log.n/
Log.2/ D
2 n1
n
C1
Log3 .2/ X .1/n1 Log2 .n/
Log2 .2/ C 21 Log.2/ D
3 n1
n
C1
Log4 .2/ X .1/n1 Log3 .n/
Log3 .2/ C 31 Log2 .2/ C 32 Log.2/ D
4 n1
n
4.3 Summation of Alternating Series 151
Q
.ezLog.2/ 1/G.z/ D G.z/
thus we have
1 Q
G.z/ D G.z/
ezLog.2/ 1
This gives Stieltjes constants k in terms of linear combinations of the constants
Qk involving powers of Log.2/ and Bernoulli numbers (Zhang and Williams
1994).
Remark Let g 2 O=4 , then by applying the formulas of the preceding theorem to
the function x 7! g.2x C 1/, we also get
R
X R E
1X 1X
g.4n 1/ D g.2n C 1/ C .1/n1 g.2n C 1/
n1
2 n1
2 n1
R
X R E Z
1X 1X 1 2
g.4n C 1/ D g.2n C 1/ .1/n1 g.2n C 1/ C g.2t C 1/dt
n1
2 n1 2 n1 2 1
4.3.4 Generalization
N D fe2im=N ; m D 1; : : : ; N 1g
E!
X
! n1 f .n/ D A!f .1/
n1
X
N1
xCk
A!f .x/ D ! k Rf .Nx/ . / (4.49)
kD0
N
C1
X
A!f .x/ D ! n1 f .n C x 1/
n1
The relation with the Ramanujan summation is easily obtained by (4.49) since,
for k D 0; : : : ; N 1, we have by (2.2) (with x C 1 D kC1
N
)
XR Z 1Ck
kC1 N
Rf .Nx/ . /D f .Nn N C 1 C k/ f .Nx/dx
N n1 1
E!
X X R
X Z
1 X k N
N1 N1
! n1 f .n/ D !k f .Nn C k C 1 N/ C ! f .x/dx
n1 kD0 n1
N kD0 kC1
R
X Z XX R N1 Z
1 X N
N N1
f .n/ C f .x/dx D f .Nn C k C 1 N/ C f .x/dx
n1 1 kD0 n1
N kD0 kC1
X
N1
2im
am D bk e N k with m D 0; : : : ; N 1
kD0
4.3 Summation of Alternating Series 153
where
R
X Z
1 N
bk D f .Nn C k C 1 N/ C f .x/dx
n1
N kC1
1 X 2im k
N1
bk D e N am
N mD0
R
X R E!
1 X 1 X k X
f .Nn C k C 1 N/ D f .n/ C ! ! n1 f .n/
n1
N n1 N !2
n1 N
Z
1 kC1
C f .x/dx
N 1
Conclusion
R
X R Z
1 X 1 X kC1 1 k
f .Nn C k N/ D f .n/ C ! Sf .!/ C f .x/dx (4.50)
n1
N n1 N !2
N 1
N
where
E!
X
Sf .!/ D ! n1 f .n/
n1
R
X E
1X 1 2i 1 4i
f .3n 2/ D f .n/ C Sf .e 3 / C Sf .e 3 /
n1
3 n1 3 3
R
X E
1X 1 2i 2i 1 4i 4i
f .3n 1/ D f .n/ C e 3 Sf .e 3 / C e 3 Sf .e 3 /
n1
3 n1 3 3
Z 2
1
C f .x/dx
3 1
154 4 Transformation Formulas
R
X E
1X 1 4i 2i 1 2i 4i
f .3n/ D f .n/ C e 3 Sf .e 3 / C e 3 Sf .e 3 /
n1
3 n1 3 3
Z 3
1
C f .x/dx
3 1
R
X R
X X Z N
N f .Nn/ D f .n/ C !Sf .!/ C f .x/dx (4.51)
n1 n1 !2
N 1
P
If we are in a case of convergence for the series n1 ! n1 f .n/ then
C1
X
!Sf .!/ D ! n f .n/
nD1
Therefore (4.51) is
R
X R
X C1
X X Z N
N f .Nn/ D f .n/ C ! n f .n/ C f .x/dx
n1 n1 nD1 !2
N 1
R
X R
X C1
X Z N
N f .Nn/ D f .n/ C "N .n/f .n/ C f .x/dx (4.52)
n1 n1 nD1 1
where
X
"N .n/ D ! n D N 1 if Njn
!2
N
D 1 if N6 jn
Log.x/
Applying this formula for f .x/ D x , we obtain for every integer N > 1
X C1
1 Log.n/ 1
D "N .n/ C Log.N/
Log.N/ nD1 n 2
4.3 Summation of Alternating Series 155
Log2 .x/
and for f .x/ D x , we have
X C1
1 Log2 .n/ 1 1
1 D "N .n/ C Log2 .N/ Log.N/
2Log.N/ nD1 n 6 2
P
For example with N D 3, we have !2
3 ! n D 2 cos. 2n
3
/, and we get
C1
2 X 2n Log.n/ 1
D cos. / C Log.3/
Log.3/ nD1 3 n 2
C1
1 X 2n Log2 .n/ 1 1
1 D cos. / C Log2 .3/ Log.3/
Log.3/ nD1 3 n 6 2
Chapter 5
An Algebraic View on the Summation of Series
The Ramanujan summation differs from the classical summation methods by the
fact that for convergent series it does not give the usual sum. Also there is the shift
property which seems very strange for a summation procedure. Thus it is necessary
to define a general algebraic formalism to unify the Ramanujan summation and the
classical methods of summation of series.
5.1 Introduction
To introduce this formalism we begin with the analysis of the Borel summation. We
have seen in (4.1.2) that the Borel summation is formally given by the formula
B
X Z C1 C1
X tn
an D et . an / dt
n0 0 nD0
nŠ
We now show that this formula is simply related to the resolution of a differential
equation. More precisely let us consider a complex sequence .an /, such that the
series
C1
X xn
f .x/ D an
nD0
nŠ
is convergent for x near 0, then the function f is analytic near 0 and such that for all
n 0 we have
an D @n f .0/
.I @/R D f
Assume that f has an analytic continuation near Œ0; C1Œ, then this equation has
the general solution
Z x
R.x/ D e x
et f .t/dt C Kex with K 2 C
0
To select one solution of this equation we must set a condition on R. We set the
condition
R C1
This condition is equivalent to the convergence of the integral 0 et f .t/dt with
Z C1
KD et f .t/dt
0
X Z C1
an D R.0/ D et f .t/dt
n0 0
D. f /.x/ D @f .x/
v0 . f / D f .0/
v1 . f / D lim ex f .x/
x!C1
5.2 An Algebraic Formalism 159
an D @n f .0/
R @R D f
v1 . f / D 0
Dg D g
v0 .˛/ D v1 .˛/ D 1
Then by (**) this element f 2 E is unique and is the generator of the sequence
.an /.
The constant sequence defined by an D 1 for every n 1 is generated by the
element ˛ since Dn ˛ D ˛ and v0 .˛/ D 1.
Note that if .an / is generated by f and .bn / is generated by g, then for any complex
numbers C; D the sequence .Can C Dbn / is generated by Cf C Dg:
Summation of a Series
P
To define the sum n0 an we can write formally
X X X
an D v0 .Dn f / D v0 . Dn f / D v0 ..I D/1 f /
n0 n0 n0
thus we get
X
an D v0 .R/
n0
.I D/R D f
To have the uniqueness of the sum it suffices to have uniqueness of the solution R
of this equation. By linearity of D this is equivalent to say that:
if DR D R then R D 0
v1 .R/ D 0
P PT
Then we say that n0 an is T -summable and we define the sum n0 an by
T
X
an D v0 .Rf /
n0
Examples
(1) The usual Cauchy summation
Let E be the vector space of convergent complex sequences u D .un /n0 . Let’s
define the operators
D W .u0 ; u1 ; u2 ; : : :/ 7! .u1 ; u2 ; u3 ; : : :/
v0 W .u0 ; u1 ; u2 ; : : :/ 7! u0
v1 W .u0 ; u1 ; u2 ; : : :/ 7! lim un
n!C1
˛ D .1; 1; 1; : : :/
f D .an /
PC
To define n0 an we must solve the equation
R DR D f (5.2)
that is
this gives
Rn RnC1 D an
162 5 An Algebraic View on the Summation of Series
thus we have
X
n
RnC1 D R0 ak
kD0
lim RnC1 D 0
n!C1
Pn
which is equivalent to say that kD0 ak has a finite limit when n ! C1 and
X
n
lim ak D R0 D v0 .R/
n!C1
kD0
P Pn
Finally we see that the series n0 an is Cauchy-summable P if kD0 ak has a
finite limit when n ! C1, in this case we say that the series n0 an is convergent
and we write simply
C
X C1
X X
n
an D an D lim ak
n!C1
n0 nD0 kD0
Df .x/ D f .x C 1/
v0 . f / D f .1/
Z 2
v1 . f / D f .t/dt
1
g.x C 1/ D g.x/
5.3 Properties of the General Summation 163
This gives g.n/ D g.1/ for every integer n 1 and by Carlson’s theorem this
implies that g is a constant function, thus g is in the one-dimensional subspace of
E generated by the constant function ˛ D 1.
(**) If v0 .Dn g/ D 0 for all n 0, then by Carlson’s theorem g D 0 since
v0 .Dn g/ D g.n/.
Consider R this summation space. A complex sequence .an /n0 is generated by
an element f 2 O if for all integer n 0 we have
an D v0 .Dn f / D f .n C 1/
The equation
Rf DRf D f
Rf .x/ Rf .x C 1/ D f .x/
v1 .Rf / D 0
R
X
an D v0 .Rf / D Rf .1/
n0
T
X T
X T
X
Can C Dbn D C an C D bn (5.3)
n0 n0 n0
T
X T
X X
N1 X
N1
anCN D an an C v1 .Dk f / (5.4)
n0 n0 nD0 kD0
T
X T
X
anC1 D an a0 C v1 . f / (5.5)
n0 n0
P
Proof First of all we must prove that the series n0 anCN is T -summable.
If .an / is generated by f 2 E then for any integer N 1 we have
DN Rf D.DN Rf / D DN f
TN D DN Rf v1 .DN Rf /˛
TN DTN D DN f
v1 .TN / D 0
P
Thus by Definition 9 we have the T -summability of n0 anCN and
T
X
anCN D v0 .TN / D v0 .DN .Rf // v1 .DN Rf / (5.6)
n0
P PN1
Let us now evaluate the expression Tn0 an nD0 an in the right side of
Eq. (5.4).
By summation for k from 0 to N 1 .N 1) of the relations
Dk Rf DkC1 Rf D Dk f
5.3 Properties of the General Summation 165
we get
X
N1
R f DN R f D Dk f
kD0
X
N1 X
N1
v1 .DN Rf / D v1 .Rf Dk f / D v1 .Dk f /
kD0 kD0
Remark Note that if in Definition 7 we set the additional property:
(***) If v1 .g/ D 0 then v1 .Dg/ D 0
then v1 .Rf / D 0 gives v1 .DN Rf / D 0 for all positive integer N, thus (5.8) gives
the usual property
T
X T
X X
N1
anCN D an an
n0 n0 nD0
This property is verified for most summations but not for the Ramanujan
summation.
X
N
.an anC1 / D a0 aNC1
n0
166 5 An Algebraic View on the Summation of Series
PN
thus the series n0 .an anC1 / is convergent if and only if limn!C1 an exists and
we have
C1
X
lim an D a0 .an anC1 /
n!C1
n0
P
Similarly if the series n0 an is T -summable it is natural to define the
generalized limit of the sequence .an / by
T
X
lim an D a0 .an anC1 /
T
n0
Then by the shift property (5.5) we see that the T -limit of a sequence .an / with
generator f 2 E is simply
lim an D v1 . f /
T
X
n1
s0 .a/ D 0 and sn .a/ D ak D 0 for n 1 (5.9)
kD0
P
If the series n0 an is T -summable we define the sequence .rn .a// of remainders
of this series by
T
X X
n1
r0 .a/ D an and rn .a/ D r0 .a/ ak for n 1 (5.10)
n0 kD0
therefore we see that the sequence .rn .a// is generated by Rf . Thus we have
Since sn .a/ D r0 .a/ rn .a/, then the sequence .sn .a// is generated by the element
r0 .a/˛ Rf 2 E
5.3 Properties of the General Summation 167
and we have
X
n1 T
X
lim. ak / D v1 .r0 .a/˛ Rf / D r0 .a/ D an
T
kD0 n0
Remark In the case of the Ramanujan summation we have seen that a sequence
.an /n0 is generated by f 2 O if an D f .n C 1/ for every integer n 0. Thus
X
n1 X
n1 X
n
sn .a/ D ak D f .k C 1/ D f .k/ D 'f .n/
kD0 kD0 kD1
Since we have
we see that the generating function of the sequence .sn .a// is 'f f .
Thus in the general case it is natural to define 'f by
'f D r0 .a/˛ Rf C f
Pn
it is the generating element of the sequence .snC1 .a/ D kD0 ak /. Note that
X
n T
X
lim. ak / D v1 .'f / D an C v1 . f /
T
kD0 n0
We suppose now that for certain elements f ; g in the T -summation space E we can
define a product
. f ; g/ 7! f :g 2 E
which has the usual properties of associativity, commutativity and distributivity. And
we suppose that for the evaluation operator v0 we have
Since Rf is the generator of the sequence of remainders .rn .a// and Rg is the
generator of .rn .b// then by (5.10) we get
T
X T
X T
X T
X T
X
an bn D an rn .b/ C bn rn .a/ an bn C v1 .Rf :Rg /
n0 n0 n0 n0 n0
This is the formula we encounter in the proof of Theorem 2 since in the case of the
Ramanujan summation we have Rf .n C 1/ D rn .a/ if f .n C 1/ D an . Note that the
additional term v1 .Rf :Rg / disappears in the case of the Cauchy summation, since
in this case
Remark More generally we can define a convolution product of the sequences .an /
and .bn / by
X
n
Dn . f :g/ D Cnk .Dk f /:.Dnk g/
kD0
X
n
.a ? b/n D Cnk ak bnk
kD0
5.4 Examples
u0 C : : : C un1
lim is finite
n!C1 n
D W .un / 7! .u1 ; u2 ; u3 ; : : :/
v0 W .un / 7! u0
u0 C : : : C un1
v1 W .un / 7! lim
n!C1 n
f D .an /
X
n1
R0 Rn D ak D sn
kD0
R0 R1 D s1
R0 R2 D s2
:::
R0 Rn D sn
170 5 An Algebraic View on the Summation of Series
we get
R1 C : : : C Rn s1 C : : : C sn
R0 D
n n
s1 C : : : C sn
R0 D lim
n!C1 n
P
Thus the series n0 an is Cesaro-summable if the sequence . s1 C:::Cs
n
n
/ has a finite
limit when n ! C1, and we write
C
X s1 C : : : C sn
an D v0 .R/ D R0 D lim
nD0
n!C1 n
D W .un / 7! .unC1 un /
v0 W .un / 7! u0
un
v1 W .un / 7! lim
n!C1 2n
X
n
v0 .Dn f / D Cnk fk .1/nk
kD0
X
n
an D Cnk fk .1/nk
kD0
X
n
fn D ak Cnk
kD0
5.4 Examples 171
The equation R DR D f is
2Rk RkC1 D fk
this gives
1 1
R0 D R1 C f0
2 2
1 1 1
R1 D 2 R2 C 2 f1
2 2 2
1 1 1
2
R2 D 3 R3 C 3 f2
2 2 2
:::
1 1 1 1
R0 D f0 C 2 f1 C : : : C nC1 fn n Rn
2 2 2 2
We have R 2 E if and only if the sequence . R2nn / has a finite limit, which is equivalent
to say that
X 1
fn is convergent
n0
2nC1
The condition
1
0 D v1 .R/ D lim Rn
n!C1 2n
gives
1 1 1
R0 D lim f0 C 2 f1 C : : : C nC1 fn
n!C1 2 2 2
P
In conclusion we see that the series n0 an is Euler summable if the series
X 1 X n
ak Cnk
k0
2 nC1
kD0
E
X C1
X 1 X
n
an D ak Cnk
nD0 kD0
2nC1 kD0
172 5 An Algebraic View on the Summation of Series
f .x/ f .0/
Df .x/ D if x ¤ 0 and Df .0/ D f 0 .0/
x
v0 . f / D f .0/
v1 . f / D lim .1 x/f .x/
x!1
C1
X @m f .0/
f .x/ D ˛m xm with ˛m D
mD0
mŠ
and we have
C1
X
Df .x/ D ˛mC1 xm
mD0
C1
X
Dn f .x/ D ˛mCn xm
mD0
thus
@n f .0/
v0 .Dn f / D ˛n D
nŠ
Let’s consider a complex sequence .an / and assume that the series
C1
X
f .x/ D a n xn
nD0
Then
@n f .0/
an D D v0 .Dn f /
nŠ
R.x/ R.0/
R.x/ D f .x/ if x ¤ 0 (5.14)
x
R.0/ R0 .0/ D f .0/ (5.15)
1
R.x/ D .R.0/ xf .x// if x ¤ 0
1x
P
In conclusion we see that if the series n0 an xn is convergent for all x 2 Œ1; 1Œ
P P
and, if limx!1 C1
nD0 an x is finite, then f 2 E and
n
n0 an is Abel-summable
A
X C1
X
an D v0 .R/ D R.0/ D lim a n xn
x!1
nD0 nD0
X
n1
Dn . f :g/ D .Dn f /:g C v0 .Dk f /Dnk g
kD0
Thus the convolution product of the sequences .an / and .bn / is given by
X
n1 X
n
.a ? b/n D v0 .Dn . f :g// D v0 .Dn f /:v0 .g/ C v0 .Dk f /v0 .Dnk g/ D ak bnk
kD0 kD0
X
m Z
xk x
.x t/m mC1
f .x/ D @k f .0/ C @ f .t/dt
kD0
kŠ 0 mŠ
xk
can be generalized if we replace the polynomial kŠ
by other polynomials (Viskov
1988; Bourbaki 1959).
Definition If is a linear form on C0 .R/ such that .1/ D 1, we define the
polynomials .Pn / by:
P0 D 1
@Pn D Pn1 , .Pn / D 0 for n 1
P
k0 Pk .x/z
k
The Generating Function
We have formally
X X X
@x . Pk .x/zk / D Pk1 .x/zk D z. Pk .x/zk /
k0 k1 k0
thus
X
Pk .x/zk D C.z/exz
k0
To evaluate C.z/ we use the notation x for and by definition of .Pn / we can write
X X
x . Pk .x/zk / D x .Pk .x//zk D 1
k0 k0
X
x . Pk .x/zk / D x .C.z/exz / D C.z/x .exz /
k0
1
this gives C.z/ D x .exz / . Thus the generating function of the sequence .Pn / is
X
Pn .x/zn D exz =M .z/
n
X Bn .x/ zexz
zn D
n0
nŠ ez1
The Bn .x/ are the Bernoulli polynomials and the Bn D Bn .0/ the Bernoulli
numbers. With the generating function we verify that B0 D 1, B1 D 1=2,
B2nC1 D 0 if n 1, Bn .1 x/ D .1/n Bn .x/.
(3) . f / D 12 . f .0/ C f .1// , Pn .x/ D EnnŠ.x/
X En .x/ 2exz
zn D
n0
nŠ ez C 1
X
m
f .x/ D f . y/ C .Pk .x/@k f . y/ Pk . y/@k f .x//
kD1
Z x
C Pm .x C y t/@mC1 f .t/dt
y
X
m Z x
f .x/ D y .@k f . y//Pk .x/ C y . Pm .x C y t/@mC1 f .t/dt/
kD0 y
X
m Z y
f .0/ D y .@k f . y//Pk .0/ y . Pm . y t/@mC1 f .t/dt/
kD0 0
R1
In the case of W f 7! 0 f .t/dt we have
X
m Z 1 Z
Bk y
Bm . y t/ mC1
f .0/ D @ k1
f 10 . @ f .t/dt/dy
kD0
kŠ 0 0 mŠ
X
m Z y
f .0/ D y .@ f . y//Pk .0/ y .
k
Pm . y t/@mC1 f .t/dt/
kD0 0
gives
X
m Z 1
1 Ek 1 .1/m Em .t/ mC1
f .0/ D .@ f .0/ C @ f .1//
k k
@ f .t/dt
kD0
2 kŠ 2 0 mŠ
A.3 The Euler-Boole Formula 179
X
m
1 Ek
f . j/ D .@k f . j/ C @k f . j C 1//
kD0
2 kŠ
Z
1 jC1
.1/m Em
.t j/ @mC1 f .t/ dt
2 j mŠ
Let’s define
1X k
m
Ek
f .1/ f .2/ C : : : C .1/n1 f .n/ D @ f .1/
2 kD0 kŠ
.1/n1 X k
m
Ek
C @ f .n C 1/
2 kD0
kŠ
Z
1 nC1
1
C em .t/ @mC1 f .t/ dt
2 1 mŠ
Appendix B
Ramanujan’s Interpolation Formula
and Carlson’s Theorem
C1
X
g W x 7! f .n/.1/n xn
nD0
which is
Z
1 cCi1
g.x/ D f .u/xu du
2i ci1 sin.u/
Since for the definition of the function g we only need to know the values
f .n/; n D 0; 1; 2; : : : :, we see that this interpolation formula determines the function
f in the half-plane Re.z/ < d when we only know the values f .0/; f .1/; f .2/; : : :,
thus we have a proof of Carlson’s theorem.
j f .n/.1/n xn j aebn ˛ n
P
Thus the series n0 f .n/.1/n xn is normally convergent in D.0; ˛/ and defines a
P
function g W z 7! C1 b
nD0 f .n/.1/ z that is analytic in D.0; e /.
n n
For 0 < x < e and 0 < c < d, the function u 7! f .u/xu is analytic in the
b
iN
-N-1/2 O c
-iN
The function u 7! sin.u/
f .u/xu has simple poles at 0; 1; 2; : : : ; n; : : :
with
Res. I n/ D .1/n f .n/xn
sin.u/
B Ramanujan’s Interpolation Formula and Carlson’s Theorem 183
thus we get
Z X N
1
f .u/xu du D f .n/.1/n xn
2i N sin.u/ nD0
is defined and analytic in D.0; eb / D fjzj < eb g and is equal to g in the interval
Œ0; eb . By analytic continuation we get
C1
X Z
1 cCi1
f .n/.1/ z D n n
f .u/zu du if z 2 D.0; eb / \ Sb :
nD0
2i ci1 sin.u/
The Mellin Inversion We now show that the formula
Z
1 cCi1
g.z/ D f .u/zu du
2i ci1 sin.u/
184 B Ramanujan’s Interpolation Formula and Carlson’s Theorem
Proof We consider 0 < c1 < c2 < d, and z such that c1 <Re.z/ < c2 .
R1
(a) First we evaluate 0 g.x/xz1 dx.
We have
Z 1 Z 1 Z c1 Ci1
1
g.x/xz1 dx D . f .u/xu du/xz1 dx
0 0 2i c1 i1 sin.u/
Z 1 Z C1
1
D . f .c1 it/xc1 it dt/xz1 dx
0 2 1 sin..c 1 C it//
Since
ˇ ˇ ˇ ˇ
ˇ c1 it z1 ˇ ˇ ˇ
ˇ f .c1 it/ x x ˇ 2aebc xc1 xRe.z/1 ebjtj ˇ 1 ˇ
ˇ sin..c1 C it// ˇ ˇ ic
e 1e t e ic 1e t ˇ
with Re.z/ c1 1 > 1 we get the integrability for .t; x/ 2 R Œ0; 1:
Thus by Fubini’s theorem we get
Z 1 Z c1 Ci1 Z 1
1
g.x/xz1 dx D f .u/. xuCz1 dx/du
0 2i c1 i1 sin.u/ 0
Z c1 Ci1
1 1
D f .u/ du
2i c1 i1 sin.u/ uz
B Ramanujan’s Interpolation Formula and Carlson’s Theorem 185
R C1
(b) Then we evaluate 1 g.x/xz1 dx.
This is
Z C1 Z C1 Z c2 Ci1
1
g.x/xz1 dx D . f .u/xu du/xz1 dx
1 1 2i c2 i1 sin.u/
As in (a) we see that for Re.z/ c2 1 < 1 we can apply Fubini’s theorem to
get
Z C1 Z c2 Ci1 Z C1
1
g.x/xz1 dx D f .u/. xuCz1 dx/du
1 2i c2 i1 sin.u/ 1
Z c2 Ci1
1 1
D f .u/ du
2i c2 i1 sin.u/ uz
c2 c1
to get
Z C1
g.x/xz1 dx D f .z/
0 sin.z/
PC1
where g is the analytic continuation of the function z ! nD0 f .n/.1/n zn .
186 B Ramanujan’s Interpolation Formula and Carlson’s Theorem
The function
Z C1
sin.z/
z 7! g.x/xz1 dx
0
is defined and analytic in the half-plane Re.z/ > d since by the integral formula
for g.x/ (x > 0) we can write
ˇ ˇ ˇ ˇ
ˇ ˇ ˇ 1 ˇ
ˇ f .c it/xcit ˇ 2aebc xc ebjtj ˇ ˇ
ˇ sin..c C it// ˇ ˇ eic et ei et ˇ
C1
X zn
z! .1/n
nD0
nŠ
is simply the function z 7! ez . Thus by the preceding theorem we get for
0 <Re.z/ < 1
Z C1
1
D ex xz1 dx D .z/
sin.z/ .1 z/ 0
With .z/.1 z/ D sin.z/
we get for 0 <Re.z/ < d
Z C1
g.x/xz1 dx D .z/.1 z/f .z/
0
B Ramanujan’s Interpolation Formula and Carlson’s Theorem 187
C1
X xn
g.x/ D h.n/.1/n
nD0
nŠ
1
Proof (a) The integral on the vertical line through N 2 is
Z N
1 1
f .N C it/x NC 2 it 1
idt
N 2 sin..N 2 C it//
since
2.1/NC1
1
D
sin..N 2 C it// et C et
we get
ˇZ ˇ Z N b.NC 1 / bjtj
ˇ N 1
1
x NC 2 it ˇ
ˇ ˇ NC 12 ae 2 e
ˇ f .N C it/ idt ˇ 2x dt
ˇ N 2 sin..N 2 C it// ˇ
1
N e C e
t t
and we have
ˇ ˇ
ˇ 2i ˇ 2
ˇ f .t iN/xtiN ˇ aeb.tCN/ xt
ˇ eN eit eN eit ˇ eN eN
thus
Z
2 c
jIN j ae bN
et.bLog.x// dt
eN eN N 12
2
And ebN eN e N ! 0 since b < :
(c) For the integral on the horizontal segment from N 12 iN to c iN the proof
is similar to the preceding one.
Lemma 2 Let’s take 0 < c < d; the function
Z cCi1
g W z 7! f .u/zu du
ci1 sin.u/
The function
z 7! f .c it/zcit i
sin..c C it//
is analytic for all t; thus we get the analyticity of the function defined by the
integral.
Bibliography
T.M. Apostol, T.H. Vu, Dirichlet series related to the Riemann zeta function. J. Number Theory
19, 85–102 (1984)
R. Ayoub, Euler and the Zeta function. Am. Math. Mon. 81, 1067–1086 (1974)
R. Bellman, A Brief Introduction to Theta Functions (Holt, New York, 1961)
B.C. Berndt, Ramanujan’s Notebooks I, II, III, IV, V (Springer, New York,
1985/1989/1991/1994/1998)
D. Birmingham, S. Sen, A Mellin transform summation technique. J. Phys. A Math. Gen. 20,
4557–4560 (1987)
G. Boole, A Treatise on the Calculus of Finite Differences, 2nd edn. (Dover, New York, 1960)
J.M. Borwein, P.B. Borwein, K. Dilcher, Pi, Euler numbers and asymptotic expansions. Am. Math.
Mon. 96, 681–687 (1989)
J.M. Borwein, D.M. Bradley, R. Crandall, Computational strategies for Riemann zeta function. J.
Comput. Appl. Math. 121, 247–296 (2000)
N. Bourbaki, Algebre Chapitre VI Développements Tayloriens généralisés. Formule sommatoire
d’Euler-MacLaurin Hermann (Hermann, Paris, 1959)
K.N. Boyadzhiev, H.G. Gadiyar, R. Padma, Alternating Euler sums at the negative integers and a
relation to a certain convolution of Bernoulli numbers. Bull. Korean. Math. Soc. 45(2), 277–283
(2008). arxiv.org/pdf/0811.4437
P.L. Butzer, P.J.S.G Ferreira, G. Schmeisser, R.L. Stens, The summation formulae of Euler-
MacLaurin, Abel-Plana, Poisson and their interconnections with the approximate sampling
formula of signal analysis. Res. Maths 59, 359–400 (2011)
B. Candelpergher, Développements de Taylor et sommation des series. Exp. Math. 13, 163–222
(1995)
B. Candelpergher, M.A. Coppo, E. Delabaere, La sommation de Ramanujan. L’Enseignement
Mathematique 43, 93–132 (1997)
B. Candelpergher, H.G. Gadiyar, R. Padma, Ramanujan summation and the exponential generating
P1 k
function kD0 zk 0 .k/. Ramanujan J. 21, 99–122 (2010)
P. Cartier, Mathemagics (A Tribute to L. Euler and R. Feynman). Lecture Notes in Physics, vol.
550 (Spinger, New York, 2000)
M.A. Coppo, Sur les sommes d’Euler divergentes. Exp. Math. 18, 297–308 (2000)
M.A. Coppo, P.T. Young, On shifted Mascheroni series and hyperharmonic numbers. J. Number
Theory 169, 1–440 (2016)
H.M. Edwards, Riemann Zeta Function (Dover, New York, 1974)
H.M. Edwards, Riemann Zeta Function (Dover, New York, 2001)
P. Flajolet, B. Salvy, Euler sums and contour integral representations. Exp. Math. 7(1), 15–35
(1998)
E. Freitag, R. Busam, Complex Analysis (Springer, New York, 2009)
O. Furdui, Limits, Series, and Fractional Part Integrals (Springer, New York, 2012)
E. Grosswald, Comments on some formulae of Ramanujan. Acta Arith. XXI, 25–34 (1972)
G.H. Hardy, Divergent Series (Clarendon, Oxford, 1949)
D.H. Lehmer, Euler constants for arithmetical progressions. Acta Arih. XXVII, 125–142 (1975)
B. Malgrange, Sommation des séries divergentes. Expo. Math. 13, 163–222 (1995)
N.E. Nörlund, Sur les séries d’interpolation (Gauthier-Villars, Paris, 1926)
S. Ramanujan, Collected Papers, ed. by G.H. Hardy, P.V. Seshu Aiyar, B.M. Wilson (Cambridge
University Press, Cambridge, 1927)
J.-P. Ramis, Séries divergentes et théories asymptotiques. Bull. Soc. Math. France 121(Panoramas
et SynthŔses), 74 (1993)
B. Randé, Les Carnets Indiens de Srinivasa Ramanujan (Cassini, Paris, 2002)
R.J. Singh, D.P. Verma, Some series involving Riemann zeta function. Yokohama Math. J. 31, 1–4
(1983)
R. Sitaramachandrarao, A formula of S. Ramanujan. J. Number Theory 25, 1–19 (1987)
J. Sondow, Double integrals for Euler’s constant and ln. 4 // and an analogue of Hadjicostas’s
formula. Am. Math. Mon. 112(1), 61–65 (2005)
H.M. Srivastava, J. Choi, Zeta and q-Zeta Functions an Associated Series and Integrals (Elsevier,
Amsterdam, 2012)
T. Tao, The Euler-MacLaurin formula, Bernoulli numbers, the zeta function, and real vari-
able analytic continuation. terrytao.wordpress.com/2010/04/10/the-euler-maclaurin-formula-
bernoulli-number (2010)
E.C. Titchmarsh, D.R. Heath-Brown, The Theory of the Riemann Zeta-Function (Clarendon,
Oxford, 2007)
V.S. Varadarajan, Euler and his work on infinite series. Bull. Am. Math. Soc. 44(4), 515 (2007)
I. Vardi, Computational Recreations in Mathematica (Addison-Wesley, Redwood City, CA, 1991)
O.V. Viskov, A non commutative approach to classical problems of analysis. Proc. Steklov Inst.
Math. 4, 21–32 (1988)
K. Yoshino, Difference equation in the space of holomorphic functions of exponential type and
Ramanujan summation. ams.org.epr.uca/ma/mathscinet/search
D. Zagier, Valeurs des fonctions zéta des corps quadratiques réels aux entiers négatifs. Société
Mathématique de France. Astérisque 41/42, 133–151 (1977)
D. Zagier, Values of zeta functions and their applications, in First European Congress of
Mathematics Volume II. Progress in Mathematics, vol. 120 (Birkhauser, Basel, 1994)
N.Y. Zhang, K. Williams, Some results on the generalized Stieltjes constants. Analysis 14, 147–162
(1994)
Index
zeta function, 6
Gauss formula, 29, 59
zeta-regularization, 74
Glaisher-Kinkelin constant, 7
Editorial Policy
1. Lecture Notes aim to report new developments in all areas of mathematics and their
applications – quickly, informally and at a high level. Mathematical texts analysing new
developments in modelling and numerical simulation are welcome.
Manuscripts should be reasonably self-contained and rounded off. Thus they may, and
often will, present not only results of the author but also related work by other people. They
may be based on specialised lecture courses. Furthermore, the manuscripts should provide
sufficient motivation, examples and applications. This clearly distinguishes Lecture Notes
from journal articles or technical reports which normally are very concise. Articles
intended for a journal but too long to be accepted by most journals, usually do not have
this “lecture notes” character. For similar reasons it is unusual for doctoral theses to be
accepted for the Lecture Notes series, though habilitation theses may be appropriate.
4. In general, monographs will be sent out to at least 2 external referees for evaluation.
A final decision to publish can be made only on the basis of the complete manuscript,
however a refereeing process leading to a preliminary decision can be based on a pre-final
or incomplete manuscript.
Volume Editors of multi-author works are expected to arrange for the refereeing, to the
usual scientific standards, of the individual contributions. If the resulting reports can be
forwarded to the LNM Editorial Board, this is very helpful. If no reports are forwarded
or if other questions remain unclear in respect of homogeneity etc, the series editors may
wish to consult external referees for an overall evaluation of the volume.
6. Careful preparation of the manuscripts will help keep production time short besides
ensuring satisfactory appearance of the finished book in print and online. After accep-
tance of the manuscript authors will be asked to prepare the final LaTeX source files
(see LaTeX templates online: https://www.springer.com/gb/authors-editors/book-authors-
editors/manuscriptpreparation/5636) plus the corresponding pdf- or zipped ps-file. The
LaTeX source files are essential for producing the full-text online version of the book,
see http://link.springer.com/bookseries/304 for the existing online volumes of LNM). The
technical production of a Lecture Notes volume takes approximately 12 weeks. Additional
instructions, if necessary, are available on request from lnm@springer.com.
7. Authors receive a total of 30 free copies of their volume and free access to their book on
SpringerLink, but no royalties. They are entitled to a discount of 33.3 % on the price of
Springer books purchased for their personal use, if ordering directly from Springer.
Addresses:
Professor Jean-Michel Morel, CMLA, École Normale Supérieure de Cachan, France
E-mail: moreljeanmichel@gmail.com