You are currently browsing the tag archive for the ‘contour integration’ tag.

TWe now come to perhaps the most central theorem in complex analysis (save possibly for the fundamental theorem of calculus), namely Cauchy’s theorem, which allows one to compute (or at least transform) a large number of contour integrals {\int_\gamma f(z)\ dz} even without knowing any explicit antiderivative of {f}. There are many forms and variants of Cauchy’s theorem. To give one such version, we need the basic topological notion of a homotopy:

Definition 1 (Homotopy) Let {U} be an open subset of {{\bf C}}, and let {\gamma_0: [a,b] \rightarrow U}, {\gamma_1: [a,b] \rightarrow U} be two curves in {U}.

  • (i) If {\gamma_0, \gamma_1} have the same initial point {z_0} and final point {z_1}, we say that {\gamma_0} and {\gamma_1} are homotopic with fixed endpoints in {U} if there exists a continuous map {\gamma: [0,1] \times [a,b] \rightarrow U} such that {\gamma(0,t) = \gamma_0(t)} and {\gamma(1,t) = \gamma_1(t)} for all {t \in [a,b]}, and such that {\gamma(s,a) = z_0} and {\gamma(s,b) = z_1} for all {s \in [0,1]}.
  • (ii) If {\gamma_0, \gamma_1} are closed (but possibly with different initial points), we say that {\gamma_0} and {\gamma_1} are homotopic as closed curves in {U} if there exists a continuous map {\gamma: [0,1] \times [a,b] \rightarrow U} such that {\gamma(0,t) = \gamma_0(t)} and {\gamma(1,t) = \gamma_1(t)} for all {t \in [a,b]}, and such that {\gamma(s,a) = \gamma(s,b)} for all {s \in [0,1]}.
  • (iii) If {\gamma_2: [c,d] \rightarrow U} and {\gamma_3: [e,f] \rightarrow U} are curves with the same initial point and same final point, we say that {\gamma_2} and {\gamma_3} are homotopic with fixed endpoints up to reparameterisation in {U} if there is a reparameterisation {\tilde \gamma_2: [a,b] \rightarrow U} of {\gamma_2} which is homotopic with fixed endpoints in {U} to a reparameterisation {\tilde \gamma_3: [a,b] \rightarrow U} of {\gamma_3}.
  • (iv) If {\gamma_2: [c,d] \rightarrow U} and {\gamma_3: [e,f] \rightarrow U} are closed curves, we say that {\gamma_2} and {\gamma_3} are homotopic as closed curves up to reparameterisation in {U} if there is a reparameterisation {\tilde \gamma_2: [a,b] \rightarrow U} of {\gamma_2} which is homotopic as closed curves in {U} to a reparameterisation {\tilde \gamma_3: [a,b] \rightarrow U} of {\gamma_3}.

In the first two cases, the map {\gamma} will be referred to as a homotopy from {\gamma_0} to {\gamma_1}, and we will also say that {\gamma_0} can be continously deformed to {\gamma_1} (either with fixed endpoints, or as closed curves).

Example 2 If {U} is a convex set, that is to say that {(1-s) z_0 + s z_1 \in U} whenever {z_0,z_1 \in U} and {0 \leq s \leq 1}, then any two curves {\gamma_0, \gamma_1: [0,1] \rightarrow U} from one point {z_0} to another {z_1} are homotopic, by using the homotopy

\displaystyle \gamma(s,t) := (1-s) \gamma_0(t) + s \gamma_1(t).

For a similar reason, in a convex open set {U}, any two closed curves will be homotopic to each other as closed curves.

Exercise 3 Let {U} be an open subset of {{\bf C}}.

  • (i) Prove that the property of being homotopic with fixed endpoints in {U} is an equivalence relation.
  • (ii) Prove that the property of being homotopic as closed curves in {U} is an equivalence relation.
  • (iii) If {\gamma_0, \gamma_1: [a,b] \rightarrow U} are closed curves with the same initial point, show that {\gamma_0} is homotopic to {\gamma_1} as closed curves if and only if {\gamma_0} is homotopic to {\gamma_2 + \gamma_1 + (-\gamma_2)} with fixed endpoints for some closed curve {\gamma_2} with the same initial point as {\gamma_0} or {\gamma_1}.
  • (iv) Define a point in {U} to be a curve {\gamma_1: [a,b] \rightarrow U} of the form {\gamma_1(t) = z_0} for some {z_0 \in U} and all {t \in [a,b]}. Let {\gamma_0: [a,b] \rightarrow U} be a closed curve in {U}. Show that {\gamma_0} is homotopic with fixed endpoints to a point in {U} if and only if {\gamma_0} is homotopic as a closed curve to a point in {U}. (In either case, we will call {\gamma_0} homotopic to a point, null-homotopic, or contractible to a point in {U}.)
  • (v) If {\gamma_0, \gamma_1: [a,b] \rightarrow U} are curves with the same initial point and the same terminal point, show that {\gamma_0} is homotopic to {\gamma_1} with fixed endpoints in {U} if and only if {\gamma_0 + (-\gamma_1)} is homotopic to a point in {U}.
  • (vi) If {U} is connected, and {\gamma_0, \gamma_1: [a,b] \rightarrow U} are any two curves in {U}, show that there exists a continuous map {\gamma: [0,1] \times [a,b] \rightarrow U} such that {\gamma(0,t) = \gamma_0(t)} and {\gamma(1,t) = \gamma_1(t)} for all {t \in [a,b]}. Thus the notion of homotopy becomes rather trivial if one does not fix the endpoints or require the curve to be closed.
  • (vii) Show that if {\gamma_1: [a,b] \rightarrow U} is a reparameterisation of {\gamma_0: [a,b] \rightarrow U}, then {\gamma_0} and {\gamma_1} are homotopic with fixed endpoints in U.
  • (viii) Prove that the property of being homotopic with fixed endpoints in {U} up to reparameterisation is an equivalence relation.
  • (ix) Prove that the property of being homotopic as closed curves in {U} up to reparameterisation is an equivalence relation.

We can then phrase Cauchy’s theorem as an assertion that contour integration on holomorphic functions is a homotopy invariant. More precisely:

Theorem 4 (Cauchy’s theorem) Let {U} be an open subset of {{\bf C}}, and let {f: U \rightarrow {\bf C}} be holomorphic.

  • (i) If {\gamma_0: [a,b] \rightarrow U} and {\gamma_1: [c,d] \rightarrow U} are rectifiable curves that are homotopic in {U} with fixed endpoints up to reparameterisation, then

    \displaystyle \int_{\gamma_0} f(z)\ dz = \int_{\gamma_1} f(z)\ dz.

  • (ii) If {\gamma_0: [a,b] \rightarrow U} and {\gamma_1: [c,d] \rightarrow U} are closed rectifiable curves that are homotopic in {U} as closed curves up to reparameterisation, then

    \displaystyle \int_{\gamma_0} f(z)\ dz = \int_{\gamma_1} f(z)\ dz.

This version of Cauchy’s theorem is particularly useful for applications, as it explicitly brings into play the powerful technique of contour shifting, which allows one to compute a contour integral by replacing the contour with a homotopic contour on which the integral is easier to either compute or integrate. This formulation of Cauchy’s theorem also highlights the close relationship between contour integrals and the algebraic topology of the complex plane (and open subsets {U} thereof). Setting {\gamma_1} to be a point, we obtain an important special case of Cauchy’s theorem (which is in fact equivalent to the full theorem):

Corollary 5 (Cauchy’s theorem, again) Let {U} be an open subset of {{\bf C}}, and let {f: U \rightarrow {\bf C}} be holomorphic. Then for any closed rectifiable curve {\gamma} in {U} that is contractible in {U} to a point, one has {\int_\gamma f(z)\ dz = 0}.

Exercise 6 Show that Theorem 4 and Corollary 5 are logically equivalent.

An important feature to note about Cauchy’s theorem is the global nature of its hypothesis on {f}. The conclusion of Cauchy’s theorem only involves the values of a function {f} on the images of the two curves {\gamma_0, \gamma_1}. However, in order for the hypotheses of Cauchy’s theorem to apply, the function {f} must be holomorphic not only on the images on {\gamma_0, \gamma_1}, but on an open set {U} that is large enough (and sufficiently free of “holes”) to support a homotopy between the two curves. This point can be emphasised through the following fundamental near-counterexample to Cauchy’s theorem:

Example 7 Let {U := {\bf C} \backslash \{0\}}, and let {f: U \rightarrow {\bf C}} be the holomorphic function {f(z) := \frac{1}{z}}. Let {\gamma_{0,1,\circlearrowleft}: [0,2\pi] \rightarrow {\bf C}} be the closed unit circle contour {\gamma_{0,1,\circlearrowleft}(t) := e^{it}}. Direct calculation shows that

\displaystyle \int_{\gamma_{0,1,\circlearrowleft}} f(z)\ dz = 2\pi i \neq 0.

As a consequence of this and Cauchy’s theorem, we conclude that the contour {\gamma_{0,1,\circlearrowleft}} is not contractible to a point in {U}; note that this does not contradict Example 2 because {U} is not convex. Thus we see that the lack of holomorphicity (or singularity) of {f} at the origin can be “blamed” for the non-vanishing of the integral of {f} on the closed contour {\gamma_{0,1,\circlearrowleft}}, even though this contour does not come anywhere near the origin. Thus we see that the global behaviour of {f}, not just the behaviour in the local neighbourhood of {\gamma_{0,1,\circlearrowleft}}, has an impact on the contour integral.

One can of course rewrite this example to involve non-closed contours instead of closed ones. For instance, if we let {\gamma_0, \gamma_1: [0,\pi] \rightarrow U} denote the half-circle contours {\gamma_0(t) := e^{it}} and {\gamma_1(t) := e^{-it}}, then {\gamma_0,\gamma_1} are both contours in {U} from {+1} to {-1}, but one has

\displaystyle \int_{\gamma_0} f(z)\ dz = +\pi i


\displaystyle \int_{\gamma_1} f(z)\ dz = -\pi i.

In order for this to be consistent with Cauchy’s theorem, we conclude that {\gamma_0} and {\gamma_1} are not homotopic in {U} (even after reparameterisation).

In the specific case of functions of the form {\frac{1}{z}}, or more generally {\frac{f(z)}{z-z_0}} for some point {z_0} and some {f} that is holomorphic in some neighbourhood of {z_0}, we can quantify the precise failure of Cauchy’s theorem through the Cauchy integral formula, and through the concept of a winding number. These turn out to be extremely powerful tools for understanding both the nature of holomorphic functions and the topology of open subsets of the complex plane, as we shall see in this and later notes.

Read the rest of this entry »

Having discussed differentiation of complex mappings in the preceding notes, we now turn to the integration of complex maps. We first briefly review the situation of integration of (suitably regular) real functions {f: [a,b] \rightarrow {\bf R}} of one variable. Actually there are three closely related concepts of integration that arise in this setting:

  • (i) The signed definite integral {\int_a^b f(x)\ dx}, which is usually interpreted as the Riemann integral (or equivalently, the Darboux integral), which can be defined as the limit (if it exists) of the Riemann sums

    \displaystyle  \sum_{j=1}^n f(x_j^*) (x_j - x_{j-1}) \ \ \ \ \ (1)

    where {a = x_0 < x_1 < \dots < x_n = b} is some partition of {[a,b]}, {x_j^*} is an element of the interval {[x_{j-1},x_j]}, and the limit is taken as the maximum mesh size {\max_{1 \leq j \leq n} |x_j - x_{j-1}|} goes to zero. It is convenient to adopt the convention that {\int_b^a f(x)\ dx := - \int_a^b f(x)\ dx} for {a < b}; alternatively one can interpret {\int_b^a f(x)\ dx} as the limit of the Riemann sums (1), where now the (reversed) partition {b = x_0 > x_1 > \dots > x_n = a} goes leftwards from {b} to {a}, rather than rightwards from {a} to {b}.

  • (ii) The unsigned definite integral {\int_{[a,b]} f(x)\ dx}, usually interpreted as the Lebesgue integral. The precise definition of this integral is a little complicated (see e.g. this previous post), but roughly speaking the idea is to approximate {f} by simple functions {\sum_{i=1}^n c_i 1_{E_i}} for some coefficients {c_i \in {\bf R}} and sets {E_i \subset [a,b]}, and then approximate the integral {\int_{[a,b]} f(x)\ dx} by the quantities {\sum_{i=1}^n c_i m(E_i)}, where {E_i} is the Lebesgue measure of {E_i}. In contrast to the signed definite integral, no orientation is imposed or used on the underlying domain of integration, which is viewed as an “undirected” set {[a,b]}.
  • (iii) The indefinite integral or antiderivative {\int f(x)\ dx}, defined as any function {F: [a,b] \rightarrow {\bf R}} whose derivative {F'} exists and is equal to {f} on {[a,b]}. Famously, the antiderivative is only defined up to the addition of an arbitrary constant {C}, thus for instance {\int x\ dx = \frac{1}{2} x^2 + C}.

There are some other variants of the above integrals (e.g. the Henstock-Kurzweil integral, discussed for instance in this previous post), which can handle slightly different classes of functions and have slightly different properties than the standard integrals listed here, but we will not need to discuss such alternative integrals in this course (with the exception of some improper and principal value integrals, which we will encounter in later notes).

The above three notions of integration are closely related to each other. For instance, if {f: [a,b] \rightarrow {\bf R}} is a Riemann integrable function, then the signed definite integral and unsigned definite integral coincide (when the former is oriented correctly), thus

\displaystyle  \int_a^b f(x)\ dx = \int_{[a,b]} f(x)\ dx


\displaystyle  \int_b^a f(x)\ dx = -\int_{[a,b]} f(x)\ dx

If {f: [a,b] \rightarrow {\bf R}} is continuous, then by the fundamental theorem of calculus, it possesses an antiderivative {F = \int f(x)\ dx}, which is well defined up to an additive constant {C}, and

\displaystyle  \int_c^d f(x)\ dx = F(d) - F(c)

for any {c,d \in [a,b]}, thus for instance {\int_a^b F(x)\ dx = F(b) - F(a)} and {\int_b^a F(x)\ dx = F(a) - F(b)}.

All three of the above integration concepts have analogues in complex analysis. By far the most important notion will be the complex analogue of the signed definite integral, namely the contour integral {\int_\gamma f(z)\ dz}, in which the directed line segment from one real number {a} to another {b} is now replaced by a type of curve in the complex plane known as a contour. The contour integral can be viewed as the special case of the more general line integral {\int_\gamma f(z) dx + g(z) dy}, that is of particular relevance in complex analysis. There are also analogues of the Lebesgue integral, namely the arclength measure integrals {\int_\gamma f(z)\ |dz|} and the area integrals {\int_\Omega f(x+iy)\ dx dy}, but these play only an auxiliary role in the subject. Finally, we still have the notion of an antiderivative {F(z)} (also known as a primitive) of a complex function {f(z)}.

As it turns out, the fundamental theorem of calculus continues to hold in the complex plane: under suitable regularity assumptions on a complex function {f} and a primitive {F} of that function, one has

\displaystyle  \int_\gamma f(z)\ dz = F(z_1) - F(z_0)

whenever {\gamma} is a contour from {z_0} to {z_1} that lies in the domain of {f}. In particular, functions {f} that possess a primitive must be conservative in the sense that {\int_\gamma f(z)\ dz = 0} for any closed contour. This property of being conservative is not typical, in that “most” functions {f} will not be conservative. However, there is a remarkable and far-reaching theorem, the Cauchy integral theorem (also known as the Cauchy-Goursat theorem), which asserts that any holomorphic function is conservative, so long as the domain is simply connected (or if one restricts attention to contractible closed contours). We will explore this theorem and several of its consequences the next set of notes.

Read the rest of this entry »

In Notes 1, we approached multiplicative number theory (the study of multiplicative functions {f: {\bf N} \rightarrow {\bf C}} and their relatives) via elementary methods, in which attention was primarily focused on obtaining asymptotic control on summatory functions {\sum_{n \leq x} f(n)} and logarithmic sums {\sum_{n \leq x} \frac{f(n)}{n}}. Now we turn to the complex approach to multiplicative number theory, in which the focus is instead on obtaining various types of control on the Dirichlet series {{\mathcal D} f}, defined (at least for {s} of sufficiently large real part) by the formula

\displaystyle  {\mathcal D} f(s) := \sum_n \frac{f(n)}{n^s}.

These series also made an appearance in the elementary approach to the subject, but only for real {s} that were larger than {1}. But now we will exploit the freedom to extend the variable {s} to the complex domain; this gives enough freedom (in principle, at least) to recover control of elementary sums such as {\sum_{n\leq x} f(n)} or {\sum_{n\leq x} \frac{f(n)}{n}} from control on the Dirichlet series. Crucially, for many key functions {f} of number-theoretic interest, the Dirichlet series {{\mathcal D} f} can be analytically (or at least meromorphically) continued to the left of the line {\{ s: \hbox{Re}(s) = 1 \}}. The zeroes and poles of the resulting meromorphic continuations of {{\mathcal D} f} (and of related functions) then turn out to control the asymptotic behaviour of the elementary sums of {f}; the more one knows about the former, the more one knows about the latter. In particular, knowledge of where the zeroes of the Riemann zeta function {\zeta} are located can give very precise information about the distribution of the primes, by means of a fundamental relationship known as the explicit formula. There are many ways of phrasing this explicit formula (both in exact and in approximate forms), but they are all trying to formalise an approximation to the von Mangoldt function {\Lambda} (and hence to the primes) of the form

\displaystyle  \Lambda(n) \approx 1 - \sum_\rho n^{\rho-1} \ \ \ \ \ (1)

where the sum is over zeroes {\rho} (counting multiplicity) of the Riemann zeta function {\zeta = {\mathcal D} 1} (with the sum often restricted so that {\rho} has large real part and bounded imaginary part), and the approximation is in a suitable weak sense, so that

\displaystyle  \sum_n \Lambda(n) g(n) \approx \int_0^\infty g(y)\ dy - \sum_\rho \int_0^\infty g(y) y^{\rho-1}\ dy \ \ \ \ \ (2)

for suitable “test functions” {g} (which in practice are restricted to be fairly smooth and slowly varying, with the precise amount of restriction dependent on the amount of truncation in the sum over zeroes one wishes to take). Among other things, such approximations can be used to rigorously establish the prime number theorem

\displaystyle  \sum_{n \leq x} \Lambda(n) = x + o(x) \ \ \ \ \ (3)

as {x \rightarrow \infty}, with the size of the error term {o(x)} closely tied to the location of the zeroes {\rho} of the Riemann zeta function.

The explicit formula (1) (or any of its more rigorous forms) is closely tied to the counterpart approximation

\displaystyle  -\frac{\zeta'}{\zeta}(s) \approx \frac{1}{s-1} - \sum_\rho \frac{1}{s-\rho} \ \ \ \ \ (4)

for the Dirichlet series {{\mathcal D} \Lambda = -\frac{\zeta'}{\zeta}} of the von Mangoldt function; note that (4) is formally the special case of (2) when {g(n) = n^{-s}}. Such approximations come from the general theory of local factorisations of meromorphic functions, as discussed in Supplement 2; the passage from (4) to (2) is accomplished by such tools as the residue theorem and the Fourier inversion formula, which were also covered in Supplement 2. The relative ease of uncovering the Fourier-like duality between primes and zeroes (sometimes referred to poetically as the “music of the primes”) is one of the major advantages of the complex-analytic approach to multiplicative number theory; this important duality tends to be rather obscured in the other approaches to the subject, although it can still in principle be discernible with sufficient effort.

More generally, one has an explicit formula

\displaystyle  \Lambda(n) \chi(n) \approx - \sum_\rho n^{\rho-1} \ \ \ \ \ (5)

for any (non-principal) Dirichlet character {\chi}, where {\rho} now ranges over the zeroes of the associated Dirichlet {L}-function {L(s,\chi) := {\mathcal D} \chi(s)}; we view this formula as a “twist” of (1) by the Dirichlet character {\chi}. The explicit formula (5), proven similarly (in any of its rigorous forms) to (1), is important in establishing the prime number theorem in arithmetic progressions, which asserts that

\displaystyle  \sum_{n \leq x: n = a\ (q)} \Lambda(n) = \frac{x}{\phi(q)} + o(x) \ \ \ \ \ (6)

as {x \rightarrow \infty}, whenever {a\ (q)} is a fixed primitive residue class. Again, the size of the error term {o(x)} here is closely tied to the location of the zeroes of the Dirichlet {L}-function, with particular importance given to whether there is a zero very close to {s=1} (such a zero is known as an exceptional zero or Siegel zero).

While any information on the behaviour of zeta functions or {L}-functions is in principle welcome for the purposes of analytic number theory, some regions of the complex plane are more important than others in this regard, due to the differing weights assigned to each zero in the explicit formula. Roughly speaking, in descending order of importance, the most crucial regions on which knowledge of these functions is useful are

  1. The region on or near the point {s=1}.
  2. The region on or near the right edge {\{ 1+it: t \in {\bf R} \}} of the critical strip {\{ s: 0 \leq \hbox{Re}(s) \leq 1 \}}.
  3. The right half {\{ s: \frac{1}{2} < \hbox{Re}(s) < 1 \}} of the critical strip.
  4. The region on or near the critical line {\{ \frac{1}{2} + it: t \in {\bf R} \}} that bisects the critical strip.
  5. Everywhere else.

For instance:

  1. We will shortly show that the Riemann zeta function {\zeta} has a simple pole at {s=1} with residue {1}, which is already sufficient to recover much of the classical theorems of Mertens discussed in the previous set of notes, as well as results on mean values of multiplicative functions such as the divisor function {\tau}. For Dirichlet {L}-functions, the behaviour is instead controlled by the quantity {L(1,\chi)} discussed in Notes 1, which is in turn closely tied to the existence and location of a Siegel zero.
  2. The zeta function is also known to have no zeroes on the right edge {\{1+it: t \in {\bf R}\}} of the critical strip, which is sufficient to prove (and is in fact equivalent to) the prime number theorem. Any enlargement of the zero-free region for {\zeta} into the critical strip leads to improved error terms in that theorem, with larger zero-free regions leading to stronger error estimates. Similarly for {L}-functions and the prime number theorem in arithmetic progressions.
  3. The (as yet unproven) Riemann hypothesis prohibits {\zeta} from having any zeroes within the right half {\{ s: \frac{1}{2} < \hbox{Re}(s) < 1 \}} of the critical strip, and gives very good control on the number of primes in intervals, even when the intervals are relatively short compared to the size of the entries. Even without assuming the Riemann hypothesis, zero density estimates in this region are available that give some partial control of this form. Similarly for {L}-functions, primes in short arithmetic progressions, and the generalised Riemann hypothesis.
  4. Assuming the Riemann hypothesis, further distributional information about the zeroes on the critical line (such as Montgomery’s pair correlation conjecture, or the more general GUE hypothesis) can give finer information about the error terms in the prime number theorem in short intervals, as well as other arithmetic information. Again, one has analogues for {L}-functions and primes in short arithmetic progressions.
  5. The functional equation of the zeta function describes the behaviour of {\zeta} to the left of the critical line, in terms of the behaviour to the right of the critical line. This is useful for building a “global” picture of the structure of the zeta function, and for improving a number of estimates about that function, but (in the absence of unproven conjectures such as the Riemann hypothesis or the pair correlation conjecture) it turns out that many of the basic analytic number theory results using the zeta function can be established without relying on this equation. Similarly for {L}-functions.

Remark 1 If one takes an “adelic” viewpoint, one can unite the Riemann zeta function {\zeta(\sigma+it) = \sum_n n^{-\sigma-it}} and all of the {L}-functions {L(\sigma+it,\chi) = \sum_n \chi(n) n^{-\sigma-it}} for various Dirichlet characters {\chi} into a single object, viewing {n \mapsto \chi(n) n^{-it}} as a general multiplicative character on the adeles; thus the imaginary coordinate {t} and the Dirichlet character {\chi} are really the Archimedean and non-Archimedean components respectively of a single adelic frequency parameter. This viewpoint was famously developed in Tate’s thesis, which among other things helps to clarify the nature of the functional equation, as discussed in this previous post. We will not pursue the adelic viewpoint further in these notes, but it does supply a “high-level” explanation for why so much of the theory of the Riemann zeta function extends to the Dirichlet {L}-functions. (The non-Archimedean character {\chi(n)} and the Archimedean character {n^{it}} behave similarly from an algebraic point of view, but not so much from an analytic point of view; as such, the adelic viewpoint is well suited for algebraic tasks (such as establishing the functional equation), but not for analytic tasks (such as establishing a zero-free region).)

Roughly speaking, the elementary multiplicative number theory from Notes 1 corresponds to the information one can extract from the complex-analytic method in region 1 of the above hierarchy, while the more advanced elementary number theory used to prove the prime number theorem (and which we will not cover in full detail in these notes) corresponds to what one can extract from regions 1 and 2.

As a consequence of this hierarchy of importance, information about the {\zeta} function away from the critical strip, such as Euler’s identity

\displaystyle  \zeta(2) = \frac{\pi^2}{6}

or equivalently

\displaystyle  1 + \frac{1}{2^2} + \frac{1}{3^2} + \dots = \frac{\pi^2}{6}

or the infamous identity

\displaystyle  \zeta(-1) = -\frac{1}{12},

which is often presented (slightly misleadingly, if one’s conventions for divergent summation are not made explicit) as

\displaystyle  1 + 2 + 3 + \dots = -\frac{1}{12},

are of relatively little direct importance in analytic prime number theory, although they are still of interest for some other, non-number-theoretic, applications. (The quantity {\zeta(2)} does play a minor role as a normalising factor in some asymptotics, see e.g. Exercise 28 from Notes 1, but its precise value is usually not of major importance.) In contrast, the value {L(1,\chi)} of an {L}-function at {s=1} turns out to be extremely important in analytic number theory, with many results in this subject relying ultimately on a non-trivial lower-bound on this quantity coming from Siegel’s theorem, discussed below the fold.

For a more in-depth treatment of the topics in this set of notes, see Davenport’s “Multiplicative number theory“.

Read the rest of this entry »