Skip to content

Calculus for Teachers: Complex Integration

By David Bressoud @dbressoud


As of 2024, new Launchings columns appear on the third Tuesday of the month.

Once we get into complex integration, the theorems become much more technical, so in most cases I will simply state the result, possibly with some indication of why it makes sense that it would be true. For anyone interested in the details, I strongly recommend Complex Analysis by Joseph Bak and Donald J. Newman. Their proofs are both succinct and accessible.

$$

Integrating from $a$ to $b$ on the real line leaves us very little choice. We have to stay on that line. Integrating from $\alpha$ to $\beta$ in the complex plane suddenly presents us with an infinite variety of possible paths. Having chosen a path $C$, we work with a parametrization of that path, $z(t) = x(t)+iy(t),\ a \leq t \leq b$ where $\alpha = z(a)$ and $\beta= z(b)$. The curve is $smooth$ if $x$ and $y$ are differentiable functions of $t$, in which case $$ \int_C f(z)\,dz = \int_a^b f(z(t)) \left(x'(t) + iy'(t)\right) dt.$$ A basic theorem that I will not prove is that the value of this integral is independent of the choice of parametrization.

$$
$$

A set is $\textit{simply connected}$ if it does not have any holes. The first amazing result is that if $\alpha$ and $\beta$ lie within the same simply connected open set in which $f$ is analytic (ie. differentiable), then it does not matter which path we choose as long as we stay inside that open set. The reason is that we can build on the Fundamental Theorem of Integral Calculus, going along a progression of horizontal and vertical steps from $\alpha$ to $\beta$ to build an antiderivative. This leads to the result that an analytic function in a simply connected open set is the derivative of an analytic function, $F'(z) = f(z)$, and the integral of $f$ from $\alpha$ to $\beta$ is $$ \int_{\alpha}^{\beta} f(z)\,dz = F(\beta) - F(\alpha). $$ Since reversing the direction of a path of integration simply changes the sign of the value of the integral, the integral of an analytic function $f$ around any closed curve (a curve that ends at the same point where it starts) in a simply connected open set will always be zero.

$$
The integral of 1/(1-x) from 0 to 2.
$$

Equipped with this information we can now determine how integrating $1/(1-x)$ along the curve shown in Figure 1 yields $\pi i$, as stated in my June $Launchings$. First of all, as long as we stay above the problem point at $z=1$, it does not matter which route we take. Let $a$ be a value strictly between 0 and 1. We'll integrate from 0 to $1-a$, then around the upper half circle with center at 1 and radius $a$, then from $1+a$ up to 2. We can parametrize the half circle by $x = 1 - ae^{-i\theta}, 0 \leq \theta \leq \pi$, with $dx = aie^{-i\theta}\,d\theta$. \begin{eqnarray*} \int_0^{1-a} \frac{dx}{1-x} & = & \left. -\ln |1-x| \right|_0^{1-a} \\ & = & - \ln a + \ln 1\ = \ -\ln a,\\ \int_0^{\pi} \frac{aie^{-i\theta}\, d\theta}{ae^{-i\theta}} & = & \int_0^{\pi} i\,d\theta\ = \pi i, \\ \int_{1+a}^2 \frac{dx}{1-x} & = &\left. -\ln |1-x| \right|_{1+a}^2 \\ & = & -\ln 1 + \ln a\ = \ \ln a. \end{eqnarray*} The sum of these is $\pi i$.

$$
$$

What happened here is a window into one of the most important insights into complex integration. We begin by simply asserting (see Bak and Newman for a proof) that if $f$ is analytic at $\alpha$, then so is $g$ defined by \begin{eqnarray*} g(z) & = & \frac{f(z)-f(\alpha)}{z-\alpha}, \ z \neq \alpha,\\ g(\alpha) & = & f'(\alpha). \end{eqnarray*} This means that if we take the integral of $g$ over a closed curve $C$ that goes once around $\alpha$ and stays within the simply connected region where $g$ is analytic, we get 0. We can let the curve $C$ be $\alpha + re^{i\theta},\ 0 \leq \theta \leq 2\pi$, where $r$ is sufficiently small to stay inside the region of analyticity. Observe what this says about the integral over $C$ of $f(z)/(z-\alpha)$. \begin{eqnarray*} \int_C \frac{f(z)}{z-\alpha}dz & = & \int_C \frac{f(z)-f(\alpha)}{z-\alpha}dz + \int_C \frac{f(\alpha)}{z-\alpha} dz\\ & = & 0 + \int_0^{2\pi} \frac{f(\alpha)}{re^{i\theta}}\, rie^{i\theta} d\theta \\ & = & f(\alpha) \int_0^{2\pi} i\,d\theta \\ & = & 2\pi i f(\alpha). \end{eqnarray*} This tells that $f(\alpha)$ is uniquely determined by the values of $f$ on the circle $C$.

$$

Something very fundamental shifts when we move from one to two or more dimensions: Given an analytic function, which essentially just means differentiable, the values it takes on in the interior of a region are uniquely determined by its values on the boundary.

This is related to a famous problem posed by Mark Kac in the Monthly in 1966, ``Can One Hear the Shape of a Drum?'' The values at the boundary of a drumhead determine the position of each point on the drumhead, but they also determine the pure tones that the drum can produce. If the boundary of the drumhead is fixed at height zero but we take different shapes for the boundary---which implies different locations at which the value is zero---this will produce different tones and overtones. Are the tones uniquely determined by the shape or can different shapes produce the same tones? This is the problem Kac posed. In 1992 Carolyn Gordon, David Webb, and Scott Wolpert showed that different shapes can indeed produce the same tones.

The figure below shows two shapes for drumheads that do produce exactly the same tones.

The shapes discovered by Carolyn Gordon, David Webb, and Scott Wolpert. Gordon and Webb are shown in the picture at the top of the page.

References

Bak, J. and Newman, D.J. (2010). Complex Analysis. New York: Springer. https://doi.org/10.1007/978-1-4419-7288-0

Gordon, C., Webb, D., and Wolpert, S. (1992). One cannot hear the shape of a drum. Bulletin of the American Mathematical Society 27, 134--138.

Kac, M. (1966). Can one hear the shape of a drum?, American Mathematical Monthly 73 , no. 4, 1--23.


David Bressoud is DeWitt Wallace Professor Emeritus at Macalester College and former Director of the Conference Board of the Mathematical Sciences. Information about him and his publications can be found at davidbressoud.org

Download a Word file containing the list of all past Launchings columns, dating back to 2005, with links to each column.