4 1. The Classical Modular Forms
plays a special role in the linear space of periodic functions. Any periodic
and piecewise continuous function / : R — • C has the Fourier series repre-
(1.3) f(x) =
with coefficients given by
(1.4) an = f(x)e(—nx)dx.
If / is continuous, the Fourier series (1.3) converges absolutely, hence uni-
Exercise. Prove that the Fourier expansion for the fractional part of x is
given by the series
. 1 v-^ sin27rnx
W = ~ - 2^
2 ^— f nn
which is boundedly convergent (the partial sums are uniformly bounded),
but not absolutely. Precisely, we have
r ^ 1 \—vsin27rnx ^,,+ ,. .,*r\-i\
Z *—*( nn
where ||x|| denotes the distance from x to the nearest integer and the implied
constant is absolute.
Developing (1.1) into Fourier series, we find by unfolding the integral
f(x)e(—nx)dx = /(n)
where f(y) denotes the Fourier transform of f(x) on K;
Therefore the Fourier expansion (1.3) appears as
(1.7) ^rf(x + n) = Ylf(n)e(nx).