1.3. The Abel summation formula 5 1.3. The Abel summation formula Proposition 1.4. (Abel summation formula) Let {an}n≥1 be a sequence of complex numbers and let f : [1, +∞) −→ C. For each real number x ≥ 1, let A(x) = n≤x an and assume that f(x) has a continuous derivative for x ≥ 1. Then (1.4) n≤x anf(n) = A(x)f(x) − x 1 A(t)f (t)dt. Proof. We first assume that x = N, an integer. Then n≤N anf(n) = A(1)f(1) + (A(2) − A(1))f(2) + · · · + (A(N) − A(N − 1))f(N) = A(1)(f(1) − f(2)) + · · · + A(N − 1)(f(N − 1) − f(N)) +A(N)f(N). Next observe that f(i + 1) − f(i) = i+1 i f (t)dt for i = 1,...,N − 1, and that A(t) is constant on the interval [i, i + 1). Therefore, n≤N anf(n) = A(N)f(N) − N−1 i=1 A(i) i+1 i f (t)dt = A(N)f(N) − N−1 i=1 i+1 i A(t)f (t)dt = A(N)f(N) − N 1 A(t)f (t)dt. This proves relation (1.4) when x = N is an integer. So, let us now assume that x is not an integer. Set N = x . On the other hand, since A(t) is constant on the interval [N, x], the right-hand side of (1.4) can be written as A(x)f(x) − x 1 A(t)f (t)dt = A(x)f(x) − x N A(t)f (t)dt − N 1 A(t)f (t)dt = A(x)f(x) − A(N) x N f (t)dt − N 1 A(t)f (t)dt = A(x)f(x) − A(N)(f(x) − f(N)) − N 1 A(t)f (t)dt
Purchased from American Mathematical Society for the exclusive use of nofirst nolast (email unknown) Copyright 2012 American Mathematical Society. Duplication prohibited. Please report unauthorized use to cust-serv@ams.org. Thank You! Your purchase supports the AMS' mission, programs, and services for the mathematical community.