For 0≤r<1 we define Pr(θ)=∑n=−∞+∞r∣n∣einθ for θ∈[−π,π].
Prove that the series defining Pr(θ) converges absolutely and uniformly on [−π,π].
Prove that Pr(θ) is smooth.
The Laplacian operator in polar coordinate is given by Δf=∂r2∂2f+r1∂r∂f+r21∂θ2∂2f, show that ΔPr(θ)=0 on D∖{0}.
Let f be a continuous function on the circle and dθkdk[f] be its k-th derivative in sense of distribution. Note that this gives a 2π-periodic distribution.
Let f,g be real functions on Z/(N). The discrete convolution of f and g is given by f∗Ng(m)=∑k=0N−1f(m−k)g(k).
Prove that f∗Ng=g∗Nf.
Prove the convolution theorem f∗Ng=f^g^, where f^ denotes the discrete Fourier transform on Z/(N).
Show that one needs at most O(NlogN) operations to calculate convolution on Z/(N). (Hint: Convolution can be calculated by the inverse Fourier transform of f^g^, and one has Fast Fourier Transform algorithm to calculate Fourier transform efficiently.)
Errordum.
The definition of f∗Ng should be replaced to N1∑f(m−k)g(k) to make it compatible to the normalization of discrete Fourier transform. Otherwise 2 should be Nf^g^.
The ζ function is defined for s>1 by ζ(s)=∑n=1∞ns1. The Γ-function is defined for s>0 by Γ(s)=∫0∞e−xxs−1dx. The θ-function is given by θ(s)=∑n=−∞+∞e−πn2s.
Verify the functional equation s−21θ(s1)=θ(s) whenever s>0.
Prove the identity π−2sΓ(2s)ζ(s)=21∫0∞t2s−1(θ(t)−1)dt when s>1.