We will shortly turn to the complex-analytic approach to multiplicative number theory, which relies on the basic properties of complex analytic functions. In this supplement to the main notes, we quickly review the portions of complex analysis that we will be using in this course. We will not attempt a comprehensive review of this subject; for instance, we will completely neglect the conformal geometry or Riemann surface aspect of complex analysis, and we will also avoid using the various boundary convergence theorems for Taylor series or Dirichlet series (the latter type of result is traditionally utilised in multiplicative number theory, but I personally find them a little unintuitive to use, and will instead rely on a slightly different set of complex-analytic tools). We will also focus on the “local” structure of complex analytic functions, in particular adopting the philosophy that such functions behave locally like complex polynomials; the classical “global” theory of entire functions, while traditionally used in the theory of the Riemann zeta function, will be downplayed in these notes. On the other hand, we will play up the relationship between complex analysis and Fourier analysis, as we will incline to using the latter tool over the former in some of the subsequent material. (In the traditional approach to the subject, the Mellin transform is used in place of the Fourier transform, but we will not emphasise the role of the Mellin transform here.)

We begin by recalling the notion of a holomorphic function, which will later be shown to be essentially synonymous with that of a complex analytic function.

Definition 1 (Holomorphic function) Let {\Omega} be an open subset of {{\bf C}}, and let {f: \Omega \rightarrow {\bf C}} be a function. If {z \in {\bf C}}, we say that {f} is complex differentiable at {z} if the limit

\displaystyle f'(z) := \lim_{h \rightarrow 0; h \in {\bf C} \backslash \{0\}} \frac{f(z+h)-f(z)}{h}

exists, in which case we refer to {f'(z)} as the (complex) derivative of {f} at {z}. If {f} is differentiable at every point {z} of {\Omega}, and the derivative {f': \Omega \rightarrow {\bf C}} is continuous, we say that {f} is holomorphic on {\Omega}.

Exercise 2 Show that a function {f: \Omega \rightarrow {\bf C}} is holomorphic if and only if the two-variable function {(x,y) \mapsto f(x+iy)} is continuously differentiable on {\{ (x,y) \in {\bf R}^2: x+iy \in \Omega\}} and obeys the Cauchy-Riemann equation

\displaystyle \frac{\partial}{\partial x} f(x+iy) = \frac{1}{i} \frac{\partial}{\partial y} f(x+iy). \ \ \ \ \ (1)

Basic examples of holomorphic functions include complex polynomials

\displaystyle P(z) = a_n z^n + \dots + a_1 z + a_0

as well as the complex exponential function

\displaystyle \exp(z) := \sum_{n=0}^\infty \frac{z^n}{n!}

which are holomorphic on the entire complex plane {{\bf C}} (i.e., they are entire functions). The sum or product of two holomorphic functions is again holomorphic; the quotient of two holomorphic functions is holomorphic so long as the denominator is non-zero. Finally, the composition of two holomorphic functions is holomorphic wherever the composition is defined.

Exercise 3

  • (i) Establish Euler’s formula

    \displaystyle \exp(x+iy) = e^x (\cos y + i \sin y)

    for all {x,y \in {\bf R}}. (Hint: it is a bit tricky to do this starting from the trigonometric definitions of sine and cosine; I recommend either using the Taylor series formulations of these functions instead, or alternatively relying on the ordinary differential equations obeyed by sine and cosine.)

  • (ii) Show that every non-zero complex number {z} has a complex logarithm {\log(z)} such that {\exp(\log(z))=z}, and that this logarithm is unique up to integer multiples of {2\pi i}.
  • (iii) Show that there exists a unique principal branch {\hbox{Log}(z)} of the complex logarithm in the region {{\bf C} \backslash (-\infty,0]}, defined by requiring {\hbox{Log}(z)} to be a logarithm of {z} with imaginary part between {-\pi} and {\pi}. Show that this principal branch is holomorphic with derivative {1/z}.

In real analysis, we have the fundamental theorem of calculus, which asserts that

\displaystyle \int_a^b F'(t)\ dt = F(b) - F(a)

whenever {[a,b]} is a real interval and {F: [a,b] \rightarrow {\bf R}} is a continuously differentiable function. The complex analogue of this fact is that

\displaystyle \int_\gamma F'(z)\ dz = F(\gamma(1)) - F(\gamma(0)) \ \ \ \ \ (2)

whenever {F: \Omega \rightarrow {\bf C}} is a holomorphic function, and {\gamma: [0,1] \rightarrow \Omega} is a contour in {\Omega}, by which we mean a piecewise continuously differentiable function, and the contour integral {\int_\gamma f(z)\ dz} for a continuous function {f} is defined via change of variables as

\displaystyle \int_\gamma f(z)\ dz := \int_0^1 f(\gamma(t)) \gamma'(t)\ dt.

The complex fundamental theorem of calculus (2) follows easily from the real fundamental theorem and the chain rule.

In real analysis, we have the rather trivial fact that the integral of a continuous function on a closed contour is always zero:

\displaystyle \int_a^b f(t)\ dt + \int_b^a f(t)\ dt = 0.

In complex analysis, the analogous fact is significantly more powerful, and is known as Cauchy’s theorem:

Theorem 4 (Cauchy’s theorem) Let {f: \Omega \rightarrow {\bf C}} be a holomorphic function in a simply connected open set {\Omega}, and let {\gamma: [0,1] \rightarrow \Omega} be a closed contour in {\Omega} (thus {\gamma(1)=\gamma(0)}). Then {\int_\gamma f(z)\ dz = 0}.

Exercise 5 Use Stokes’ theorem to give a proof of Cauchy’s theorem.

A useful reformulation of Cauchy’s theorem is that of contour shifting: if {f: \Omega \rightarrow {\bf C}} is a holomorphic function on a open set {\Omega}, and {\gamma, \tilde \gamma} are two contours in an open set {\Omega} with {\gamma(0)=\tilde \gamma(0)} and {\gamma(1) = \tilde \gamma(1)}, such that {\gamma} can be continuously deformed into {\tilde \gamma}, then {\int_\gamma f(z)\ dz = \int_{\tilde \gamma} f(z)\ dz}. A basic application of contour shifting is the Cauchy integral formula:

Theorem 6 (Cauchy integral formula) Let {f: \Omega \rightarrow {\bf C}} be a holomorphic function in a simply connected open set {\Omega}, and let {\gamma: [0,1] \rightarrow \Omega} be a closed contour which is simple (thus {\gamma} does not traverse any point more than once, with the exception of the endpoint {\gamma(0)=\gamma(1)} that is traversed twice), and which encloses a bounded region {U} in the anticlockwise direction. Then for any {z_0 \in U}, one has

\displaystyle \int_\gamma \frac{f(z)}{z-z_0}\ dz= 2\pi i f(z_0).

Proof: Let {\varepsilon > 0} be a sufficiently small quantity. By contour shifting, one can replace the contour {\gamma} by the sum (concatenation) of three contours: a contour {\rho} from {\gamma(0)} to {z_0+\varepsilon}, a contour {C_\varepsilon} traversing the circle {\{z: |z-z_0|=\varepsilon\}} once anticlockwise, and the reversal {-\rho} of the contour {\rho} that goes from {z_0+\varepsilon} to {\gamma_0}. The contributions of the contours {\rho, -\rho} cancel each other, thus

\displaystyle \int_\gamma \frac{f(z)}{z-z_0}\ dz = \int_{C_\varepsilon} \frac{f(z)}{z-z_0}\ dz.

By a change of variables, the right-hand side can be expanded as

\displaystyle 2\pi i \int_0^1 f(z_0 + \varepsilon e^{2\pi i t})\ dt.

Sending {\varepsilon \rightarrow 0}, we obtain the claim. \Box

The Cauchy integral formula has many consequences. Specialising to the case when {\gamma} traverses a circle {\{ z: |z-z_0|=r\}} around {z_0}, we conclude the mean value property

\displaystyle f(z_0) = \int_0^1 f(z_0 + re^{2\pi i t})\ dt \ \ \ \ \ (3)

whenever {f} is holomorphic in a neighbourhood of the disk {\{ z: |z-z_0| \leq r \}}. In a similar spirit, we have the maximum principle for holomorphic functions:

Lemma 7 (Maximum principle) Let {\Omega} be a simply connected open set, and let {\gamma} be a simple closed contour in {\Omega} enclosing a bounded region {U} anti-clockwise. Let {f: \Omega \rightarrow {\bf C}} be a holomorphic function. If we have the bound {|f(z)| \leq M} for all {z} on the contour {\gamma}, then we also have the bound {|f(z_0)| \leq M} for all {z_0 \in U}.

Proof: We use an argument of Landau. Fix {z_0 \in U}. From the Cauchy integral formula and the triangle inequality we have the bound

\displaystyle |f(z_0)| \leq C_{z_0,\gamma} M

for some constant {C_{z_0,\gamma} > 0} depending on {z_0} and {\gamma}. This ostensibly looks like a weaker bound than what we want, but we can miraculously make the constant {C_{z_0,\gamma}} disappear by the “tensor power trick“. Namely, observe that if {f} is a holomorphic function bounded in magnitude by {M} on {\gamma}, and {n} is a natural number, then {f^n} is a holomorphic function bounded in magnitude by {M^n} on {\gamma}. Applying the preceding argument with {f, M} replaced by {f^n, M^n} we conclude that

\displaystyle |f(z_0)|^n \leq C_{z_0,\gamma} M^n

and hence

\displaystyle |f(z_0)| \leq C_{z_0,\gamma}^{1/n} M.

Sending {n \rightarrow \infty}, we obtain the claim. \Box

Another basic application of the integral formula is

Corollary 8 Every holomorphic function {f: \Omega \rightarrow {\bf C}} is complex analytic, thus it has a convergent Taylor series around every point {z_0} in the domain. In particular, holomorphic functions are smooth, and the derivative of a holomorphic function is again holomorphic.

Conversely, it is easy to see that complex analytic functions are holomorphic. Thus, the terms “complex analytic” and “holomorphic” are synonymous, at least when working on open domains. (On a non-open set {\Omega}, saying that {f} is analytic on {\Omega} is equivalent to asserting that {f} extends to a holomorphic function of an open neighbourhood of {\Omega}.) This is in marked contrast to real analysis, in which a function can be continuously differentiable, or even smooth, without being real analytic.

Proof: By translation, we may suppose that {z_0=0}. Let {C_r} be a a contour traversing the circle {\{ z: |z|=r\}} that is contained in the domain {\Omega}, then by the Cauchy integral formula one has

\displaystyle f(z) = \frac{1}{2\pi i} \int_{C_r} \frac{f(w)}{w-z}\ dw

for all {z} in the disk {\{ z: |z| < r \}}. As {f} is continuously differentiable (and hence continuous) on {C_r}, it is bounded. From the geometric series formula

\displaystyle \frac{1}{w-z} = \frac{1}{w} + \frac{1}{w^2} z + \frac{1}{w^3} z^2 + \dots

and dominated convergence, we conclude that

\displaystyle f(z) = \sum_{n=0}^\infty (\frac{1}{2\pi i} \int_{C_r} \frac{f(w)}{w^{n+1}}\ dw) z^n

with the right-hand side an absolutely convergent series for {|z| < r}, and the claim follows. \Box

Exercise 9 Establish the generalised Cauchy integral formulae

\displaystyle f^{(k)}(z_0) = \frac{k!}{2\pi i} \int_\gamma \frac{f(z)}{(z-z_0)^{k+1}}\ dz

for any non-negative integer {k}, where {f^{(k)}} is the {k}-fold complex derivative of {f}.

This in turn leads to a converse to Cauchy’s theorem, known as Morera’s theorem:

Corollary 10 (Morera’s theorem) Let {f: \Omega \rightarrow {\bf C}} be a continuous function on an open set {\Omega} with the property that {\int_\gamma f(z)\ dz = 0} for all closed contours {\gamma: [0,1] \rightarrow \Omega}. Then {f} is holomorphic.

Proof: We can of course assume {\Omega} to be non-empty and connected (hence path-connected). Fix a point {z_0 \in \Omega}, and define a “primitive” {F: \Omega \rightarrow {\bf C}} of {f} by defining {F(z_1) = \int_\gamma f(z)\ dz}, with {\gamma: [0,1] \rightarrow \Omega} being any contour from {z_0} to {z_1} (this is well defined by hypothesis). By mimicking the proof of the real fundamental theorem of calculus, we see that {F} is holomorphic with {F'=f}, and the claim now follows from Corollary 8. \Box

An important consequence of Morera’s theorem for us is

Corollary 11 (Locally uniform limit of holomorphic functions is holomorphic) Let {f_n: \Omega \rightarrow {\bf C}} be holomorphic functions on an open set {\Omega} which converge locally uniformly to a function {f: \Omega \rightarrow {\bf C}}. Then {f} is also holomorphic on {\Omega}.

Proof: By working locally we may assume that {\Omega} is a ball, and in particular simply connected. By Cauchy’s theorem, {\int_\gamma f_n(z)\ dz = 0} for all closed contours {\gamma} in {\Omega}. By local uniform convergence, this implies that {\int_\gamma f(z)\ dz = 0} for all such contours, and the claim then follows from Morera’s theorem. \Box

Now we study the zeroes of complex analytic functions. If a complex analytic function {f} vanishes at a point {z_0}, but is not identically zero in a neighbourhood of that point, then by Taylor expansion we see that {f} factors in a sufficiently small neighbourhood of {z_0} as

\displaystyle f(z) = (z-z_0)^n g(z_0) \ \ \ \ \ (4)

for some natural number {n} (which we call the order or multiplicity of the zero at {f}) and some function {g} that is complex analytic and non-zero near {z_0}; this generalises the factor theorem for polynomials. In particular, the zero {z_0} is isolated if {f} does not vanish identically near {z_0}. We conclude that if {\Omega} is connected and {f} vanishes on a neighbourhood of some point {z_0} in {\Omega}, then it must vanish on all of {\Omega} (since the maximal connected neighbourhood of {z_0} in {\Omega} on which {f} vanishes cannot have any boundary point in {\Omega}). This implies unique continuation of analytic functions: if two complex analytic functions on {\Omega} agree on a non-empty open set, then they agree everywhere. In particular, if a complex analytic function does not vanish everywhere, then all of its zeroes are isolated, so in particular it has only finitely many zeroes on any given compact set.

Recall that a rational function is a function {f} which is a quotient {g/h} of two polynomials (at least outside of the set where {h} vanishes). Analogously, let us define a meromorphic function on an open set {\Omega} to be a function {f: \Omega \backslash S \rightarrow {\bf C}} defined outside of a discrete subset {S} of {\Omega} (the singularities of {f}), which is locally the quotient {g/h} of holomorphic functions, in the sense that for every {z_0 \in \Omega}, one has {f=g/h} in a neighbourhood of {z_0} excluding {S}, with {g, h} holomorphic near {z_0} and with {h} non-vanishing outside of {S}. If {z_0 \in S} and {g} has a zero of equal or higher order than {h} at {z_0}, then the singularity is removable and one can extend the meromorphic function holomorphically across {z_0} (by the holomorphic factor theorem (4)); otherwise, the singularity is non-removable and is known as a pole, whose order is equal to the difference between the order of {h} and the order of {g} at {z_0}. (If one wished, one could extend meromorphic functions to the poles by embedding {{\bf C}} in the Riemann sphere {{\bf C} \cup \{\infty\}} and mapping each pole to {\infty}, but we will not do so here. One could also consider non-meromorphic functions with essential singularities at various points, but we will have no need to analyse such singularities in this course.) If the order of a pole or zero is one, we say that it is simple; if it is two, we say it is double; and so forth.

Exercise 12 Show that the space of meromorphic functions on a non-empty open set {\Omega}, quotiented by almost everywhere equivalence, forms a field.

By quotienting two Taylor series, we see that if a meromorphic function {f} has a pole of order {n} at some point {z_0}, then it has a Laurent expansion

\displaystyle f = \sum_{m=-n}^\infty a_m (z-z_0)^m,

absolutely convergent in a neighbourhood of {z_0} excluding {z_0} itself, and with {a_{-n}} non-zero. The Laurent coefficient {a_{-1}} has a special significance, and is called the residue of the meromorphic function {f} at {z_0}, which we will denote as {\hbox{Res}(f;z_0)}. The importance of this coefficient comes from the following significant generalisation of the Cauchy integral formula, known as the residue theorem:

Exercise 13 (Residue theorem) Let {f} be a meromorphic function on a simply connected domain {\Omega}, and let {\gamma} be a closed contour in {\Omega} enclosing a bounded region {U} anticlockwise, and avoiding all the singularities of {f}. Show that

\displaystyle \int_\gamma f(z)\ dz = 2\pi i \sum_\rho \hbox{Res}(f;\rho)

where {\rho} is summed over all the poles of {f} that lie in {U}.

The residue theorem is particularly useful when applied to logarithmic derivatives {f'/f} of meromorphic functions {f}, because the residue is of a specific form:

Exercise 14 Let {f} be a meromorphic function on an open set {\Omega} that does not vanish identically. Show that the only poles of {f'/f} are simple poles (poles of order {1}), occurring at the poles and zeroes of {f} (after all removable singularities have been removed). Furthermore, the residue of {f'/f} at a pole {z_0} is an integer, equal to the order of zero of {f} if {f} has a zero at {z_0}, or equal to negative the order of pole at {f} if {f} has a pole at {z_0}.

Remark 15 The fact that residues of logarithmic derivatives of meromorphic functions are automatically integers is a remarkable feature of the complex analytic approach to multiplicative number theory, which is difficult (though not entirely impossible) to duplicate in other approaches to the subject. Here is a sample application of this integrality, which is challenging to reproduce by non-complex-analytic means: if {f} is meromorphic near {z_0}, and one has the bound {|\frac{f'}{f}(z_0+t)| \leq \frac{0.9}{t} + O(1)} as {t \rightarrow 0^+}, then {\frac{f'}{f}} must in fact stay bounded near {z_0}, because the only integer of magnitude less than {0.9} is zero.

— 1. Local approximation of meromorphic functions —

Suppose {f} is a non-zero rational function {f =P/Q}, then by the fundamental theorem of algebra (see Exercise 19 below) one can write

\displaystyle f(z) = c \frac{\prod_\rho (z-\rho)}{\prod_\zeta (z-\zeta)}

for some non-zero constant {c}, where {\rho} ranges over the zeroes of {P} (counting multiplicity) and {\zeta} ranges over the zeroes of {Q} (counting multiplicity), and assuming {z} avoids the zeroes of {Q}. Taking absolute values and then logarithms, we arrive at the formula

\displaystyle \log |f(z)| = \log |c| + \sum_\rho \log|z-\rho| - \sum_\zeta \log |z-\zeta|, \ \ \ \ \ (5)

as long as {z} avoids the zeroes of both {P} and {Q}. Alternatively, taking logarithmic derivatives, we arrive at the closely related formula

\displaystyle \frac{f'(z)}{f(z)} = \sum_\rho \frac{1}{z-\rho} - \sum_\zeta \frac{1}{z-\zeta}, \ \ \ \ \ (6)

again for {z} avoiding the zeroes of both {P} and {Q}. Thus we see that the zeroes and poles of a rational function {f} describe the behaviour of that rational function, as well as close relatives of that function such as the log-magnitude {\log|f|} and log-derivative {\frac{f'}{f}}.

In the complex approach to multiplicative number theory, it is desirable to generalise the above formulae to the case when {f} is a meromorphic function rather than a rational one, to understand the extent to which the behaviour of a meromorphic function is controlled by its zeroes and poles. Classically, one achieves this goal by working on the entire complex plane and exploiting the tool of Weierstrass factorisation. However, for most applications in analytic number theory, one can instead work with local factorisations, which are more flexible, removing the need to consider distant poles and zeroes by trading them for a manageable boundary term. The most well known example of such a local factorisation is Jensen’s formula:

Theorem 16 (Jensen’s formula) Let {f} be a meromorphic function on an open neighbourhood of a disk {\{ z: |z-z_0| \leq r \}}, with all removable singularities removed. Then, if {z_0} is neither a zero nor a pole of {f}, we have

\displaystyle \log |f(z_0)| = \int_0^1 \log |f(z_0+re^{2\pi i t})|\ dt + \sum_{\rho: |\rho-z_0| \leq r} \log \frac{|\rho-z_0|}{r} \ \ \ \ \ (7)

\displaystyle - \sum_{\zeta: |\zeta-z_0| \leq r} \log \frac{|\zeta-z_0|}{r}

where {\rho} and {\zeta} range over the zeroes and poles of {f} respectively (counting multiplicity) in the disk {\{ z: |z-z_0| \leq r\}}.

One should view (7) as a truncated (or localised) variant of (5). Note also that the summands {\log \frac{|\rho-z_0|}{r}, \log \frac{|\zeta-z_0|}{r}} are always non-positive.

Proof: By perturbing {r} slightly if necessary, we may assume that none of the zeroes or poles of {f} (which form a discrete set) lie on the boundary circle {\{ z: |z-z_0| = r \}}. By translating and rescaling, we may then normalise {z_0=0} and {r=1}, thus our task is now to show that

\displaystyle \log |f(0)| = \int_0^1 \log |f(e^{2\pi i t})|\ dt + \sum_{\rho: |\rho| < 1} \log |\rho| - \sum_{\zeta: |\zeta| < 1} \log |\zeta|. \ \ \ \ \ (8)

We may remove the poles and zeroes inside the disk {\{ z: |z| < 1 \}} by the useful device of Blaschke products. Suppose for instance that {f} has a zero {\rho} inside the disk. Observe that the function

\displaystyle B_\rho(z) := \frac{\rho - z}{1 - \overline{\rho} z} \ \ \ \ \ (9)

has magnitude {1} on the unit circle {\{ z: |z| = 1\}}, equals {\rho} at the origin, has a simple zero at {\rho}, but has no other zeroes or poles inside the disk. Thus Jensen’s formula (8) already holds if {f} is replaced by {B_\rho}. To prove (8) for {f}, it thus suffices to prove it for {f/B_\rho}, which effectively deletes a zero {\rho} inside the disk from {f} (and replaces it instead with its inversion {1/\overline{\rho}}). Similarly we may remove all the poles inside the disk. As a meromorphic function only has finitely many poles and zeroes inside a compact set, we may thus reduce to the case when {f} has no poles or zeroes on or inside the disk, at which point our goal is simply to show that

\displaystyle \log |f(0)| = \int_0^1 \log |f(e^{2\pi i t})|\ dt.

Since {f} has no zeroes or poles inside the disk, the logarithmic derivative {\frac{f'}{f}} has no poles in the disk, and so by Cauchy’s theorem has a primitive {F}. By the chain rule, {\exp(F)/f} has zero derivative on the disk and is thus constant, thus on taking complex logarithms (see Exercise 3) we see that {F} is equal to a logarithm of {f} up to a constant. Subtracting the constant, we thus can find a holomorphic function {\log f} that is a branch of the complex logarithm of {f}, thus {\exp(\log f) = f}. In particular, the real part of {\log f} is {\log |f|}. The claim now follows by applying the mean value property (3) to {\log f}. \Box

Exercise 17 (This exercise is intended for readers familiar with distribution theory, as discussed for instance in this previous blog post.) If {f} is holomorphic on an open set {\Omega}, establish the formula

\displaystyle \Delta \log |f| = -2\pi \sum_\rho \delta_\rho + 2\pi \sum_\zeta \delta_\zeta

in the sense of distributions, where {\rho} and {\zeta} range over the zeroes and poles of {f} respectively (counting multiplicity), {\delta_z} denotes the Dirac measure at a complex number {z}, and {\Delta} is the distributional Laplacian {\Delta := \frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2}}, with {x,y} denoting the real and imaginary parts of the complex variable {z}. In particular, we see that {\log |f|} is a harmonic function away from the zeroes and poles of {f}, and a subharmonic function away from the poles of {f}.

One application of Jensen’s formula is to control zeroes of a holomorphic function {f}, given upper and lower bounds on {|f(z)|} at various points in the complex plane. Here are some examples:

Exercise 18 Use Jensen’s formula to prove Liouville’s theorem: a bounded holomorphic function {f} on the entire complex plane is necessarily constant. (Hint: apply Jensen’s formula in a large disk to {f-c} for various constants {c} to conclude that {f-c} either vanishes entirely or has no zeroes whatsoever.)

Exercise 19 Use Jensen’s formula to prove the fundamental theorem of algebra: a complex polynomial {P(z)} of degree {n} has exactly {n} complex zeroes (counting multiplicity), and can thus be factored as {P(z) = c (z-z_1) \dots (z-z_n)} for some complex numbers {c,z_1,\dots,z_n} with {c \neq 0}. (Note that the fundamental theorem was invoked previously in this section, but only for motivational purposes, so the proof here is non-circular.)

Exercise 20 (Shifted Jensen’s formula) Let {f} be a meromorphic function on an open neighbourhood of a disk {\{ z: |z-z_0| \leq r \}}, with all removable singularities removed. Show that

\displaystyle \log |f(z)| = \int_0^1 \log |f(z_0+re^{2\pi i t})| \Re \frac{r e^{2\pi i t} + (z-z_0)}{r e^{2\pi i t} - (z-z_0)}\ dt \ \ \ \ \ (10)

\displaystyle + \sum_{\rho: |\rho-z_0| \leq r} \log \frac{|\rho-z|}{|r - \rho^* (z-z_0)|}

\displaystyle - \sum_{\zeta: |\zeta-z_0| \leq r} \log \frac{|\zeta-z|}{|r - \zeta^* (z-z_0)|}

for all {z} in the open disk {\{ z: |z-z_0| < r\}} that are not zeroes or poles of {f}, where {\rho^* = \frac{\overline{\rho-z_0}}{r}} and {\zeta^* = \frac{\overline{\zeta-z_0}}{r}}. (The function {\Re \frac{r e^{2\pi i t} + (z-z_0)}{r e^{2\pi i t} - (z-z_0)}} appearing in the integrand is sometimes known as the Poisson kernel, particularly if one normalises so that {z_0=0} and {r=1}.)

Just as (7) and (10) give truncated variants of (5), we can create truncated versions of (6). The following crude truncation is adequate for our applications:

Theorem 21 (Truncated formula for log-derivative) Let {f} be a holomorphic function on an open neighbourhood of a disk {\{ z: |z-z_0| \leq r \}} that is not identically zero on this disk. Suppose that one has a bound of the form {|f(z)| \leq M^{O_{c_1,c_2}(1)} |f(z_0)|} for some {M \geq 1} and all {z} on the circle {\{ z: |z-z_0| = r\}}. Let {0 < c_2 < c_1 < 1} be constants. Then one has the approximate formula

\displaystyle \frac{f'(z)}{f(z)} = \sum_{\rho: |\rho - z_0| \leq c_1 r} \frac{1}{z-\rho} + O_{c_1,c_2}( \frac{\log M}{r} )

for all {z} in the disk {\{ z: |z-z_0| < c_2 r \}} other than zeroes of {f}. Furthermore, the number of zeroes {\rho} in the above sum is {O_{c_1,c_2}(\log M)}.

Proof: To abbreviate notation, we allow all implied constants in this proof to depend on {c_1,c_2}.

We mimic the proof of Jensen’s formula. Firstly, we may translate and rescale so that {z_0=0} and {r=1}, so we have {|f(z)| \leq M^{O(1)} |f(0)|} when {|z|=1}, and our main task is to show that

\displaystyle \frac{f'(z)}{f(z)} - \sum_{\rho: |\rho| \leq c_1} \frac{1}{z-\rho} = O( \log M ) \ \ \ \ \ (11)

for {|z| \leq c_2}. Note that if {f(0)=0} then {f} vanishes on the unit circle and hence (by the maximum principle) vanishes identically on the disk, a contradiction, so we may assume {f(0) \neq 0}. From hypothesis we then have

\displaystyle \log |f(z)| \leq \log |f(0)| + O(\log M)

on the unit circle, and so from Jensen’s formula (7) we see that

\displaystyle \sum_{\rho: |\rho| \leq 1} \log \frac{1}{|\rho|} = O(\log M). \ \ \ \ \ (12)

In particular we see that the number of zeroes with {|\rho| \leq c_1} is {O(\log M)}, as claimed.

Suppose {f} has a zero {\rho} with {c_1 < |\rho| \leq 1}. If we factor {f = B_\rho g}, where {B_\rho} is the Blaschke product (9), then

\displaystyle \frac{f'}{f} = \frac{B'_\rho}{B_\rho} + \frac{g'}{g}

\displaystyle = \frac{g'}{g} + \frac{1}{z-\rho} - \frac{1}{z-1/\overline{\rho}}.

Observe from Taylor expansion that the distance between {\rho} and {1/\overline{\rho}} is {O( \log \frac{1}{|\rho|} )}, and hence {\frac{1}{z-\rho} - \frac{1}{z-1/\overline{\rho}} = O( \log \frac{1}{|\rho|} )} for {|z| \leq c_2}. Thus we see from (12) that we may use Blaschke products to remove all the zeroes in the annulus {c_1 < |\rho| \leq 1} while only affecting the left-hand side of (11) by {O( \log M)}; also, removing the Blaschke products does not affect {|f(z)|} on the unit circle, and only affects {\log |f(0)|} by {O(\log M)} thanks to (12). Thus we may assume without loss of generality that there are no zeroes in this annulus.

Similarly, given a zero {\rho} with {|\rho| \leq c_1}, we have {\frac{1}{z-1/\overline{\rho}} = O(1)}, so using Blaschke products to remove all of these zeroes also only affects the left-hand side of (11) by {O(\log M)} (since the number of zeroes here is {O(\log M)}), with {\log |f(0)|} also modified by at most {O(\log M)}. Thus we may assume in fact that {f} has no zeroes whatsoever within the unit disk. We may then also normalise {f(0) = 1}, then {\log |f(e^{2\pi i t})| \leq O(\log M)} for all {t \in [0,1]}. By Jensen’s formula again, we have

\displaystyle \int_0^1 \log |f(e^{2\pi i t})|\ dt = 0

and thus (by using the identity {|x| = 2 \max(x,0) - x} for any real {x})

\displaystyle \int_0^1 |\log |f(e^{2\pi i t})|\ dt \ll \log M. \ \ \ \ \ (13)

On the other hand, from (10) we have

\displaystyle \log |f(z)| = \int_0^1 \log |f(e^{2\pi i t})| \Re \frac{e^{2\pi i t} + z}{e^{2\pi i t} - z}\ dt

which implies from (13) that {\log |f(z)|} and its first derivatives are {O( \log M )} on the disk {\{ z: |z| \leq c_2 \}}. But recall from the proof of Jensen’s formula that {\frac{f'}{f}} is the derivative of a logarithm {\log f} of {f}, whose real part is {\log |f|}. By the Cauchy-Riemann equations for {\log f}, we conclude that {\frac{f'}{f} = O(\log M)} on the disk {\{ z: |z| \leq c_2 \}}, as required. (One could also have proceeded here via the Borel-Carathéodory theorem.) \Box

A variant of the above argument allows one to make precise the heuristic that holomorphic functions locally look like polynomials:

Exercise 22 (Local Weierstrass factorisation) Let the notation and hypotheses be as in Theorem 21. Then show that

\displaystyle f(z) = P(z) \exp( g(z) )

for all {z} in the disk {\{ z: |z-z_0| < c_2 r \}}, where {P} is a polynomial whose zeroes are precisely the zeroes of {f} in {\{ z: |z-z_0| \leq c_1r \}} (counting multiplicity) and {g} is a holomorphic function on {\{ z: |z-z_0| < c_2 r \}} of magnitude {O_{c_1,c_2}( \log M )} and first derivative {O_{c_1,c_2}( \log M / r )} on this disk. Furthermore, show that the degree of {P} is {O_{c_1,c_2}(\log M)}.

Remark 23 The classical theory of Beurling factorization of Hardy space functions on the disk into inner functions, outer functions, and Blaschke products can be viewed as a sort of limiting case of the above exercise when {c_1,c_2 \rightarrow 1}; see for instance this text of Garnett for a treatment. However, we will not need this limiting theory in our applications.

— 2. The Fourier-Laplace and Fourier transforms —

There are a number of connections between complex analysis and Fourier analysis. The best known connection perhaps is between complex analytic functions on the unit disk {\{ z: |z| \leq 1 \}} and Fourier analysis on the unit circle {\{ z: |z|=1\}}:

Exercise 24 (Complex analysis on disk versus Fourier analysis on circle)

  • Let {f} be a complex analytic function on the unit disk {\{z: |z| \leq 1 \}}, and define the Fourier coefficients

    \displaystyle \hat f(n) := \int_0^1 f(e^{2\pi i t}) e^{-2\pi i nt}\ dt

    for {n \in {\bf Z}}. Show that {\hat f(n) = 0} for all negative {n}, and one has the Taylor expansion

    \displaystyle f(z) = \sum_{n=0}^\infty \hat f(n) z^n

    (as an absolutely convergent series) in the interior {\{ z: |z| < 1 \}} of the disk.

  • Conversely, let {(c_n)_{n=0}^\infty} be an absolutely summable sequence of complex numbers. Show that the function

    \displaystyle f(z) := \sum_{n=0}^\infty c_n z^n

    is a continuous function on the unit disk {\{z: |z| \leq 1 \}} that is holomorphic on the interior of this disk, and that {\hat f(n) = c_n} for all {n \geq 0}.

Remark 25 The relationship between the boundary behaviour of holomorphic functions {f} on the disk, and the integrability properties of the function {f} on the unit circle, is a very delicate topic, involving the theory of Hardy spaces as well as tools from harmonic analysis, and will not be discussed here; see for instance the text of Garnett for further discussion.

We will not explicitly use the above connection between complex analysis and Fourier analysis in this course (although some traces of it might be discerned in the material in the previous sections of this set of notes). Instead, we will discuss a slightly different link between the two subjects, linking complex analysis on the half-space {\{ s: \hbox{Re}(s) \geq 0 \}} with the Fourier-Laplace transform on the half-line. Namely, given an absolutely integrable measurable function {f: [0,+\infty) \rightarrow {\bf C}}, the Laplace transform {{\mathcal L} f: [0,+\infty) \rightarrow {\bf C}} is defined by the formula

\displaystyle {\mathcal L} f(s) := \int_0^\infty f(u) e^{-su}\ du.

Actually, for absolutely integrable {f} there is no difficulty extending the Laplace transform to the half-space {\{ s: \hbox{Re}(s) \geq 0 \}} by exactly the same formula, giving rise to the Fourier-Laplace transform. On the imaginary axis {s = -it}, this becomes the Fourier transform:

\displaystyle {\mathcal L} f(-it) = \int_{\bf R} f(u) e^{itu}\ du,

where we extend {f} by zero to the entire real line. If we also assume {f} to be compactly supported, then the Fourier-Laplace transform extends to the entire complex plane {{\bf C}}.

An application of Fubini’s theorem reveals that the integral of {{\mathcal L} f(s)} in any closed contour in the domain of definition vanishes, so by Morera’s theorem (Corollary 10) we conclude that {{\mathcal L} f} is holomorphic on the right half-space {\{ s: \hbox{Re}(s) > 0 \}} (if {f} is absolutely integrable on {[0,+\infty)}) or on {{\bf C}} (if {f} is compactly supported).

If we have a bit of smoothness on {f}, then we can establish some asymptotics on the Fourier-Laplace transform:

Lemma 26 Let {f: [0,+\infty)} be compactly supported and continuously twice differentiable. Then we have

\displaystyle {\mathcal L} f(s) = \frac{f(0)}{s} + O_f( \frac{1}{|s|^2} ) \ \ \ \ \ (14)

for all {s} in the half-space {\{ s: \hbox{Re}(s) \geq 0 \}} with {s \neq 0}.

Proof: By an integration by parts, we have

\displaystyle {\mathcal L} f(s) = \int_0^\infty f(u) e^{-su}\ du

\displaystyle = \frac{f(0)}{s} + \frac{1}{s} \int_0^\infty f'(u) e^{-su}\ du

\displaystyle = \frac{f(0)}{s} + \frac{f'(0)}{s^2} + \frac{1}{s^2} \int_0^\infty f''(u) e^{-su}\ du;

since {f''} is continuous and compactly supported, and {e^{-su}} is bounded in magnitude by {1}, the claim follows.

Corollary 27 Let {f: [0,+\infty) \rightarrow {\bf C}} be compactly supported and continuously twice differentiable. Then we have

\displaystyle \lim_{T \rightarrow +\infty} \int_{-T}^T {\mathcal L} f( c + it)\ dt = \pi f(0)

for any {c \geq 0}. (Note from (14) that the limit exists.)

Proof: By contour shifting (using (14) to handle error terms) we see that the integral is independent of {c}, so we may take {c} to be large. Applying (14) and the fundamental theorem of calculus, we see that

\displaystyle \int_{-T}^T {\mathcal L} f( c + it)\ dt = \frac{f(0)}{i} (\log( c+iT ) - \log(c-iT)) + O_f( \int_{-T}^T \frac{dt}{c^2 + t^2} )

using the principal branch of the logarithm. The integral {\int_{-T}^T \frac{dt}{c^2 + t^2}} is {O(1/c)}, and {\log( c+IT ) - \log(c-iT)} converges to {\pi i} as {T \rightarrow +\infty}. Taking limits as {T \rightarrow \infty}, and then sending {c} to infinity, we obtain the claim. \Box

This gives a proof of one of the basic identities in Fourier analysis, the Fourier inversion formula. Given any absolutely integrable function {f: {\bf R} \rightarrow {\bf C}}, let us define the Fourier transform {\hat f: {\bf R} \rightarrow {\bf C}} by the formula

\displaystyle \hat f(\xi) := \int_{\bf R} f(u) e^{i\xi u}\ du. \ \ \ \ \ (15)

(Here we use a normalisation of the Fourier transform that aligns with the traditional normalisations in complex analysis; other normalisations are used in other fields of mathematics.) We first recall some basic estimates and symmetries:

Exercise 28 (Basic estimates on Fourier transform) Let {k \geq 0} be an integer, and let {f: {\bf R} \rightarrow {\bf C}} be compactly supported and {k} times continuously differentiable (this is interpreted simply as continuity if {k=0}).

  • (i) Establish the pointwise bounds

    \displaystyle |\hat f(\xi)| \leq \frac{1}{|\xi|^k} \int_{\bf R} |f^{(k)}(u)|\ du

    for all {\xi \in {\bf R}}, where {f^{(k)}} denotes the {k}-fold derivative of {f}, and with the convention that the inequality is trivially true when {\xi=0} and {k>0}.

  • (ii) Suppose in addition that {f} is supported in the interval {[a,b]}. Show that {\hat f} extends holomorphically to the entire complex plane (with the formula (15) valid now for all {\xi \in {\bf C}}), with the pointwise bounds

    \displaystyle |\hat f(\xi)| \leq \max( e^{a \hbox{Im}(\xi)}, e^{b \hbox{Im}(\xi)} ) \frac{1}{|\xi|^k} \int_{\bf R} |f^{(k)}(u)|\ du

    for all {\xi \in {\bf C}}. (There is a converse to this result known as the Paley-Wiener theorem, but we will not establish or need it here.)

Exercise 29 (Basic symmetries of the Fourier transform) Let {f: {\bf R} \rightarrow {\bf C}} be absolutely integrable.

  • (i) If {g(u) := f(u-u_0)} for some {u_0 \in {\bf R}} and all {u \in {\bf R}}, show that {\hat g(\xi) = e^{i u_0 \xi} \hat f(\xi)} for all {\xi \in {\bf R}}.
  • (ii) If {g(u) := f(u) e^{-i\xi_0 u}} for some {\xi_0 \in {\bf R}} and all {u \in {\bf R}}, show that {\hat g(\xi) = \hat f(\xi-\xi_0)} for all {\xi \in {\bf R}}.
  • (iii) If {g(u) := f(\lambda u)} for some {\lambda \in {\bf R} \backslash \{0\}} and all {u \in {\bf R}}, show that {\hat g(\xi) = \frac{1}{|\lambda|} \hat f(\xi/\lambda)} for all {\xi \in {\bf R}}.
  • (iv) If {g(u) := \overline{f(u)}} for all {u \in {\bf R}}, show that {\hat g(\xi) = \overline{\hat f(-\xi)}} for all {\xi \in {\bf R}}.

Theorem 30 (Fourier inversion formula) Let {f: {\bf R} \rightarrow {\bf C}} be compactly supported and continuously twice differentiable. Then the Fourier transform {\hat f: {\bf R} \rightarrow {\bf C}}, defined by

\displaystyle \hat f(\xi) := \int_{\bf R} f(u) e^{i\xi u}\ du

is bounded and absolutely integrable, and one has the inversion formula

\displaystyle f(u) = \frac{1}{2\pi} \int_{\bf R} \hat f(\xi) e^{-i \xi u}\ d\xi

for any {u \in {\bf R}}. More generally, one has

\displaystyle f(u) = \frac{e^{ut}}{2\pi} \int_{\bf R} \hat f(\xi+it) e^{-i \xi u}\ d\xi

for any {t \in {\bf R}}, where again the integrand is absolutely integrable.

Remark 31 One can certainly relax the support and smoothness hypotheses on {f}, particularly if one is willing to work in rougher function spaces, such as the space of tempered distributions; see e.g. these previous notes. Similarly for the other Fourier-analytic results presented below. But for the purpose of this course, it will suffice to restrict attention to fairly well behaved functions {f}, such as those that are compactly supported and twice continuously differentiable.

Proof: From Exercise 28 with {k=0,2} we see that

\displaystyle |\hat f(\xi)| \ll_f \min(1, \frac{1}{|\xi|^2}),

and so {\hat f} is bounded and absolutely integrable as claimed.

By Exercise 29(i) we may assume without loss of generality that {u=0}, thus our task is now to show that

\displaystyle f(0) = \frac{1}{2\pi} \int_{\bf R} \hat f(\xi)\ d\xi.

We introduce the components {f_+, f_-: [0,+\infty) \rightarrow {\bf C}} of {f} by the formulae

\displaystyle f_\pm(u) := f(\pm u)

for {u \in [0,+\infty)}, and observe that the Fourier transform {\hat f} of {f} is related to the Fourier-Laplace transforms of {f_+, f_-} by the formula

\displaystyle \hat f(\xi) = {\mathcal L} f_+( -i \xi ) + {\mathcal L} f_-( i \xi ).

From Corollary 27 we have

\displaystyle \lim_{T \rightarrow +\infty} \int_{-T}^T {\mathcal L} f_\pm( \mp i \xi )\ d\xi = \pi f(0)

for either choice of sign; summing, we obtain the first claim. The second claim then follows by replacing {f(u)} by {e^{-ut} f(u)} (or by shifting the contour). \Box

Remark 32 In the above proof, {\hat f(\xi)} is split into a function {{\mathcal L} f_+( -i \xi )} extending holomorphically and boundedly to the upper half-plane, and a function {{\mathcal L} f_-( i \xi )} extending holomorphically and boundedly to the lower half-plane. Such a decomposition solves a very simple example of the Riemann-Hilbert problem, but we will not discuss this problem further in this course.

The inversion formula gives an important identity, essentially due to Parseval and to Plancherel:

Corollary 33 (Parseval-Plancherel identities) Let {f, g: {\bf R} \rightarrow {\bf C}} be compactly supported and continuously twice differentiable. Then we have

\displaystyle \int_{\bf R} f(u) \overline{g(u)}\ du = \frac{1}{2\pi} \int_{\bf R} \hat f(\xi) \overline{\hat g(\xi)}\ d\xi.

In particular

\displaystyle \int_{\bf R} |f(u)|^2\ du = \frac{1}{2\pi} \int_{\bf R} |\hat f(\xi)|^2\ d\xi

and

\displaystyle \int_{\bf R} f(u) g(u)\ du = \frac{1}{2\pi} \int_{\bf R} \hat f(\xi) \hat g(-\xi)\ d\xi.

Proof: By the inversion formula we may write {\int_{\bf R} f(u) \overline{g(u)}\ du} as

\displaystyle \frac{1}{2\pi} \int_{\bf R} \int_{\bf R} \hat f(\xi) e^{-i\xi u} \overline{g(u)}\ d\xi du.

The claim then follows from Fubini’s theorem. \Box

In the next set of notes, we will use a version of the above identity, which we will call a truncated Perron formula, to express smoothed summatory functions of arithmetic functions {f} as contour integrals of the associated Dirichlet series {{\mathcal D} f}.

Finally, we record another important Fourier identity, the Poisson summation formula.

Theorem 34 (Poisson summation) Let {f: {\bf R} \rightarrow {\bf C}} be a compactly supported, twice continuously differentiable function. Then

\displaystyle \sum_{n \in {\bf Z}} f(n) = \sum_{m \in {\bf Z}} \hat f(2\pi m). \ \ \ \ \ (16)

Proof: There are many ways to prove this identity, but given the spirit of this set of notes, it seems appropriate to give a complex analysis proof. By Exercise 29(i) we may assume without loss of generality that {f} is supported on the positive real axis. By the dominated convergence theorem, the left-hand side of (16) may thus be written as

\displaystyle \lim_{\varepsilon \rightarrow 0^+} \sum_{n=0}^\infty f(n) e^{-\varepsilon n}.

From the Fourier inversion formula and dominated convergence again, we may rewrite this as

\displaystyle \lim_{\varepsilon \rightarrow 0^+} \frac{1}{2\pi} \int_{\bf R} \hat f(\xi) \sum_{n=0}^\infty e^{-in\xi} e^{-\varepsilon n}\ d\xi;

summing the geometric series, this becomes

\displaystyle \lim_{\varepsilon \rightarrow 0^+} \frac{1}{2\pi} \int_{\bf R} \frac{\hat f(\xi)}{1 - e^{-\varepsilon-i\xi}}\ d\xi.

Observe that the function {\xi \mapsto \frac{\hat f(\xi)}{1 - e^{-\varepsilon-i\xi}}} is meromorphic on the upper half-plane {\{ \xi: \hbox{Im}(\xi) \geq 0 \}}, with poles at {2\pi m+i\varepsilon} for {m \in {\bf Z}} with residue {-i \hat f( 2\pi m+i\varepsilon)}. A routine application of the residue theorem (using Exercise 28 to handle error terms) allows us to write the previous expression as

\displaystyle \lim_{\varepsilon \rightarrow 0^+} \sum_{m \in {\bf Z}} \hat f(2\pi m + i\varepsilon ),

and the claim then follows from one final application of dominated convergence. \Box

There will be at least two key applications of the Poisson summation formula in this course. One is to establish the functional equation for the Riemann zeta function (as well as truncated versions of this equation, for instance involving the sum {\sum_n n^{it} \psi(n/N)} for some smooth cutoff {\psi} and parameters {N, t}). The other is to obtain good bounds for smooth sums {\sum_n \psi(n/N)} with error terms that are significantly better than what one can obtain just from the integral test (Lemma 2 from previous notes) or the fundamental theorem of calculus (Exercise 11 from the same notes):

Exercise 35 (Good error bounds on smooth sums) Let {\psi} be a compactly supported, {k} times continuously differentiable function for some {k \geq 2}. Use the Poisson summation formula to show that

\displaystyle \sum_n \psi(n/N) = N \int_{\bf R} \psi + O_{\psi,k}( N^{1-k} )

for all {N \gg 1}. (This should be compared with the error term of {O_\psi(1)} that one would have obtained using the methods from previous notes.) This estimate illustrates a basic principle, namely that smoother sums enjoy better asymptotics.

Exercise 36 (Fourier transform of Gaussian) Let {f: {\bf R} \rightarrow {\bf R}} be the function defined by

\displaystyle f(u) := e^{- u^2 / 2}

for {u \in {\bf R}}. Show that

\displaystyle \hat f(\xi) = \sqrt{2\pi} e^{-\xi^2/2}

for all {\xi \in {\bf R}}. (Hint: it is not difficult to establish this claim with {\sqrt{2\pi}} replaced by some unknown positive constant {c}; but then one can use the Fourier inversion formula to compute {c}.) Conclude the functional equation

\displaystyle \theta(z) = \frac{1}{\sqrt{-iz}} \theta(-\frac{1}{z})

whenever {z} is an element of the upper half-space {\{ z \in {\bf C}: \hbox{Im}(z)> 0 \}}, with the principal branch {\sqrt{z} := \exp( \frac{1}{2} \hbox{Log}(z) )} of the complex square root, and {\theta} is the theta function

\displaystyle \theta(z) := \sum_{n\in {\bf Z}} e^{\pi i n^2 z}.

(Hint: use the Poisson summation formula and the symmetries of the Fourier transform.)

Exercise 37 (Mellin inversion formula) Let {f: [0,+\infty) \rightarrow {\bf C}} be a continuous, compactly supported function. Establish the Mellin inversion formula

\displaystyle f(u) = \frac{1}{2\pi i} \lim_{T \rightarrow +\infty} \int_{c-iT}^{c+iT} e^{su} {\mathcal L} f(z)\ dz

for all {u>0} and {c>0}, where the integral is along the straight line contour from {c-iT} to {c+iT}. What happens when {u=0} or {u<0}?

Remark 38 By a simple change of variables, the above formula also leads to an inversion formula for the Mellin transform

\displaystyle {\mathcal M} f(s) := \int_0^\infty x^s f(x) \frac{dx}{x}

defined for compactly supported absolutely integrable {f: (0,+\infty) \rightarrow {\bf C}} and {s \in {\bf C}}, but we will not use this transform or inversion formula here.

Exercise 39 (Qualitative uncertainty principle) Let {f: {\bf R} \rightarrow {\bf C}} be an absolutely integrable function such that {f} and {\hat f} are both compactly supported. Show that {f} is identically zero. (This is a special case of the Hardy uncertainty principle, discussed in this previous post.)

(The exercises below should be placed earlier in this set of notes, but are at the end to avoid renumbering issues.)

Exercise 40 (Borel-Carathéodory theorem) Let {f} be a complex analytic function in a disk {\{ z: |z-z_0| \leq r\}}. Show that for any {0 < c < 1}, one has

\displaystyle |f'(z)| \ll_c \frac{1}{r} \int_0^{2\pi} |\hbox{Re} f( z + r e^{i\theta})|\ d\theta

and

\displaystyle |f(z)| \leq |f(0)| + O_c( \int_0^{2\pi} |\hbox{Re} f( z + r e^{i\theta})|\ d\theta ).

for all {z} in the disk {\{z: |z-z_0| \leq c r \}}. (Hint: there are various ways to proceed here. One is to apply Exercise 20 to {\exp(f)} and differentiate.)

Exercise 41 (Hadamard three-lines theorem)

  • (i) Let {\sigma_0 < \sigma_1} and {A_0,A_1 > 0} be real numbers. Suppose that {f} is a complex analytic function in a strip {\{ s: \sigma_0 \leq \hbox{Re}(s) \leq \sigma_1 \}} such that {|f(\sigma_0+it)| \leq A_0} and {|f(\sigma_1+it)| \leq A_1} for all {t \in {\bf R}}. Suppose also that one has the crude growth condition {f(\sigma+it) \ll \exp( O( |t|^{O(1)} ) )} for all {\sigma_0 \leq \sigma \leq \sigma_1} and {t \in {\bf R}}. Show that {|f((1-\theta)\sigma_0+\theta \sigma_1+it)| \leq A_0^{1-\theta} A_1^\theta} for all {0 \leq \theta \leq 1} and {t \in {\bf R}}. (Hint: one can normalise {\sigma_0=0, \sigma_1=1, A_0=A_1=1}. Use the maximum principle to verify the claim in the case that {f(\sigma+it)} goes to zero as {t \rightarrow \pm \infty}. To handle the general case, mollify {f} by multiplying by functions such as {\exp( \varepsilon i \exp(i[(\pi-\delta/2) s + \delta/4]) )} for suitable {\varepsilon,\delta > 0}.)
  • (ii) Let {\sigma_0 < \sigma_1} and {\alpha_0, \alpha_1 \in {\bf R}} be real numbers, and let {f} be complex analytic function in a strip {\{ s: \sigma_0 \leq \hbox{Re}(s) \leq \sigma_1 \}} such that {f(\sigma_j+it) \ll (1+|t|)^{\alpha_j}} for {j=0,1} and {t \in {\bf R}}, and {f(\sigma_it) \ll \exp( O( |t|^{O(1)}) )} for {\sigma_0 \leq \sigma \leq \sigma_1} and {t \in {\bf R}}. Show that {f((1-\theta)\sigma_0+\theta \sigma_1+it) \ll (1+|t|)^{(1-\theta)\alpha_0+\theta\alpha_1}} for all {0 \leq \theta \leq 1} and {t \in {\bf R}}.