### Quick description

Suppose that is a holomorphic function defined on a domain , is a (sufficiently nice) closed curve in , and you want to calculate the path integral . In theory you could convert this into a real integral (or pair of real integrals) by working directly from the definition of a path integral. But this is almost never the right thing to do.

### Prerequisites

The definition of a path integral, Cauchy's theorem, Cauchy's integral formula, Cauchy's residue theorem

### Example 1

Let be a contour defined by the function , . What is the path integral ?

One way of tackling this question is to use the definition of a path integral:

Clearly when the integrand is expanded out it will be a linear combination of positive integer powers of . Since for every positive integer , the whole integral is . Another way of tackling the question is to use a bit of theory: the function is holomorphic on the whole of , and is a closed curve, so by Cauchy's theorem.

### Example 2

Let be the unit circle – that is, the contour defined by the path . What is ?

If we plunge straight in and use the definition of the path integral, we get

which looks horrific. However, if we rewrite the integral as , then Cauchy's integral formula tells us immediately that the answer is .

### General discussion

A clear indication that using the definition of the path integral is not the right thing to do (besides the fact that in the above two examples the answer follows immediately from a little bit of theory) is that if you continuously deform while avoiding any singularities of , then the integral does not change. Thus, for a specific holomorphic function , a path integral is telling you something about topological properties of in the domain (or, if you allow to have a few singularities, the topology of the domain with these singularities removed). To put it another way, the path integral is really a function of an *equivalence class* of closed paths , and we are not really understanding it properly if we calculate it for the particular member of the equivalence class that we happen to be presented with.

There is in fact a case for saying that there is only one integral that you ever need to calculate by hand. It is the integral , where is the unit circle. If you do that directly you get . For every other than , the integral is zero, since the function has the antiderivative on , and the fundamental theorem of calculus therefore tells us that its integral round any closed curve is zero. This can be thought of as the st result in complex analysis: it is helpful in developing the theory but can be proved just using real analysis. Given the result that , all the rest of complex analysis can be developed, culminating in the residue theorem, which one then uses to calculate integrals round closed curves. (One may want more sophisticated versions of the residue theorem if e.g. the curves wind more than once round some of the singularities of .)

### Example 3

Another example, which actually illustrates *three* Tricki tricks, is the standard proof of Liouville's theorem. Let us suppose that is a bounded holomorphic function defined on the whole of . We would like to prove that is constant. So let and be complex numbers and let us try to prove that . The first idea (not a Tricki trick, but perhaps it could be turned into one) is to use Cauchy's integral formula to write and . For this to be valid, let be a circle that contains both and inside it. Subtracting, we find that

The next idea is one of the main themes of this article: think of the integral on the right-hand side as a function not of itself but of the *equivalence class* of all such curves , where we think of two curves as equivalent if one can be deformed continuously to the other without crossing or (where the function has singularities). More formally, the integral does not change if you replace by another closed curve that is homotopic (or even homologous) to in the domain .

That was Tricki trick number 1. Trick number 2 is to bound a path integral by the length of times the supremum of on . This idea is discussed in the article Bound your integral by its base times its height. In our case, if is a circle of radius , then one can easily use this to obtain an upper bound for the modulus of the right-hand side that tends to zero with (at a rate proportional to , since has length and the integrand, because is bounded, has a supremum on that tends to zero at a rate of or faster).

This tells us that there are equivalent curves for which the integral is arbitrarily small. Since the integral is the same for all equivalent curves, it must be zero for all of them. This reasoning is an example of the trick discussed in the article To prove that two real numbers are equal, prove that neither is greater than the other. (Here we use an important special case of this technique: if a number has modulus less than for every then it must be .)

## Comments

## Path integral vs contour integral

Sat, 02/05/2009 - 00:21 — taoIt may be better to use "contour integral" here rather than "path integral" - I think the latter is more often used for the integrals in quantum field theory than in complex analysis.

Also, there's something odd with the use of the "Add" tag at the end of the general discussion that I don't see how to easily fix.

## I think I was brought up with

Sat, 02/05/2009 - 15:10 — gowersI think I was brought up with "path integral", but maybe that was more the general definition, which can apply to all functions regardless of whether they are holomorphic, with "contour integral" used more often for holomorphic functions round closed paths. Since that's mainly what I'm talking about here, and since you may well be right that it's more standard, I've made the change you suggest.

The problem with the "add" was that I ended it }}.[/add] instead of }}[/add]. It took me a while to work that out. (Slightly puzzlingly, Matthew Emerton had already fixed the problem, so perhaps that wasn't actually what was causing it.)

## The problem with the add tag

Sat, 02/05/2009 - 20:10 — emertonThe problem with the add tag was that [/add] was missing entirely at the end. I put it in (in the form }}.[/add]) which seemed to fix things (although you are correct that for reasons of correct punctuation, the full stop should be outside the [/add]).