Tags
Related Posts
Share This
Common Mistakes in Complex Analysis (Revision help)
My new book, Complex Analysis: An Introduction, is nearly finished. To help my students with revision I created a list of common mistakes and this forms a chapter in the book. As a lecturer with many years of experience of teaching the subject I have seen these mistakes appear again and again in examinations. I’m sure that, due to pressure, we’ve all written nonsense in an exam which under normal conditions we wouldn’t have. Nonetheless, many of these errors occur every year and I suspect something deeper is going on.
What follows is not intended to be a criticism of my students, who, luckily for me, are generally hard-working and intelligent. Nor is it an attempt to mock or ridicule them. Instead the aim is to identify common mistakes so that they are not made in the future.
And if this post seems negative in tone, the a later one is more positive as it delves into techniques that improve understanding.
Imaginary numbers cannot be compared
The first mistake is the probably the most common: the comparison of imaginary numbers. For example, students write for a complex number. This cannot be right. If were what does it mean for to be less than ? What is usually intended is the modulus of , i.e., .
The point is, unlike real numbers, we cannot order the complex numbers. For example, which is bigger or ? This is difficult to decide! Since complex numbers can be identified with the plane ordering them is equivalent to ordering the points of the plane and clearly this can’t be done — at least not in any useful or meaningful way.
One last point needs to be made. Although is incorrect, note that expressions like can be true if is a real number.
Not realizing gives a circle
This may not count as a mistake but is such a common gap in student exam knowledge that it needs to be mentioned:
Too many students can’t sketch the image of and/or can’t write down a contour whose image is the circle.
Let’s reiterate the basics. The contour defined by defines part of a circle of radius . A full circle can be given by . Furthermore, the circle can be centred at just by adding .
That is, with produces a circle of radius based at .
By taking the modulus, we can show that really does give a circle:
Thus, the points on the contour all have the same length, i.e., are the same distance from the origin. And, a circle is just all the points the same distance from a specified point. Therefore, the image of gives a circle when .
is not equal to
Tempting as it may be to believe, is
It is reasonable to know the derivation of this:
What is the relation to ? It’s an inequality:
This follows from the equality since is a strictly increasing function and , as we can see by drawing an Argand diagram. This last part is just Pythagoras’ Theorem in action!
Limits of the Standard Geometric Series
Some students have trouble remembering whether the lower limit of the standard geometric series
is or .
Here is a situation in which taking a simple case provides the answer. We don’t need to look it up or provide a proof. Let , then we have
and
So the lower limit is .
This exemplifies a useful technique: when unsure of recalling a result try a special case.
Basic definitions
It is possible to write a whole chapter on definitions and the problems that arise. (In fact, I did. See my book How to Think Like a Mathematician.)
Central definitions in complex analysis include differentiation and contour integral. I regularly ask for the definition of complex differentiation and regularly most of the students fail to state it correctly. Quite often what I get is
Alternatives include as or some garbled version of the above, for example with modulus signs, in the denominator and so on.
So what is wrong with the expression in (**)? For a start there is no explanation of what , and are. It is important that is a complex function and that is identified as the point at which we are defining differentiability. Thus, we should say something like `The complex function is differentiable at if … ‘. Then we should bring in (**), making clear that we want this limit to exist, and to exist when rather than .
Thus the definition should be something like
`The complex function is differentiable at if
exists’.
Similar problems occur for the definition of contour integration. That is, what and are in is unexplained.
This may seem pedantic. It is. Pedantry is very important in mathematics.
Confusing definitions with calculation processes
Do not confuse the definition of an object with a process by which we find that object.
A good example of this mistake is confusing the definition of a pole with a process to find it. Poles and their multiplicities are clearly central to working with residues and so I regularly ask for the definitions in exams.
In response to `Define what it means to be a pole at and define the order of a pole’ I receive inaccurate (and often long and rambling) descriptions of how a pole is found in certain situations. For example,
`The order of the pole is the power of the thing when the pole is zero’ or `the order of the pole is the order of the bracket’. (These get no marks.)
You can see in the former that the student does have some partial knowledge of pole order but that it is dependent on how pole order is calculated, i.e., we look for the zero (in the denominator) and find in most cases the power to which is taken. However, the question asked for the definition, so the precise definition should be given.
As another example, consider the definition of a residue. Since the most useful method for calculating a residue is (ignoring conditions on and for the moment) I often receive this instead of a statement involving the coefficient of . Again, the student is seeing `residue’ as something that is calculated and gives a calculation method rather than seeing `residue’ as a concept.
Misstating Theorems – Insufficient detail
Following on from the previous example, if I had asked students to state the formula, then the above answer, would be insufficient. There is no explanation of what and are and what conditions are placed on them.
This is a common problem. When I ask students in my geometry class or during talks I give in schools what Pythagoras’ Theorem is, I receive a prompt reply: . I usually, to the initial confusion of the students, say no. There are two points, one is that , and are not defined. The second is deeper. The equation is the conclusion of the theorem. The assumptions are missing. The most crucial of which of course is that we need a right-angled triangle. Students certainly know this detail but ignore its importance.
Hence, for the above residue method we need to say `We have for , analytic with , , ‘.
The most common problem in misstating theorems is to just state the conclusion, particularly if the conclusion is a formula. Hopefully, now you can see that Cauchy’s Integral Formula is not just
Order of Poles
Another error with poles is to believe that the order of a pole is the order of the zero in the denominator of a rational function. That this is erroneous we can see with the function which has a zero of order 3 at 0 in the denominator but the order of the pole there is 2. In non-rigorous terms — and this really is non-rigorous — the numerator has a zero of order 1 and it `cancels’ with one of the zeros in the denominator.
We can’t even say that the order of the pole is at most the order of the zero in the denominator. For example, we can calculate that has a pole of order 3 at 0, not a pole of order 2. In this case the non-rigorous explanation is that has a pole of order 1 at 0 so combines with the pole of order 2 for to give a pole of order 3.
This partly arises from the non-uniqueness of the representation of a function as a quotient. Here is and so can be written as . The latter representation has a zero of order 3 in the denominator (since has a zero of order 1 at 0) and is non-zero in the numerator, hence we have a pole of order 3. The point, perhaps, is to not be fooled by the way a function is written as a quotient.
Integrals
Clearly, an integral of the form , where is a real function, must produce a real number. The methods in the book allow us to calculate such integrals with complex analysis and there is the danger that a minor miscalculation will produce an imaginary number. Hence, any working which produces an imaginary number is wrong and should be corrected.
The radius of convergence is real
The radius of convergence is real and never has an imaginary part.
The ratio test is one of the best tests we have for convergence of series and it can be used to calculate the radius of convergence of power series.
In most elementary analysis course where real series are studied it is common for the ratio test to be stated with . This leads to some students misapplying it in the complex case. Consider the series and let . Then,
So far, so good. For this example, the common mistake is to write something like, `we require that and so the radius of convergence is ‘.
(My guess is that students are slavishly following the procedure in the real case.)
This cannot be right. What does a circle of radius look like? We need the radius to be real.
To prevent this error we could define or, what amounts to the same thing, just write
Thus we require , i.e., . In other words the radius of convergence is .
We cannot always replace with
I often see substituted for (and a similar substitution for ) However, these are not equal. The confusion here comes from dealing with integrals of the form where is legitimately substituted for . The important differences are (i) is used, and (ii) it can only be used because .
Argument problems
The argument of a complex number causes a number of problems.
First, for the argument of with we have the equation . This means many students calculate with (sometimes also written, somewhat erroneously, as ). We can see that this can lead to errors:
but .Further details can be found in the book. The important point is to take care with the cases and . Plotting on an Argand diagram often helps.
A second mistake is in the use of polar notation: If , then and for some .
The mistake is to forget the extra (and sometimes students take rather than ).
This leads to another common error as the previous remark has an important consequence for solving . We have , for . Too often the term is forgotten.
Odds and ends
- The modulus of a number is never complex. (This usually occurs due to erroneously taking ! This is a very, very common mistake. It leads to which can in turn lead to an imaginary number. (An example is given in the book.)
- is not equal to . This error occurs more often than I find comfortable.
- If is complex, then has not been defined. However, is ok.
- If , then is not .
- The definition of contour integral does not include a modulus.
- Cauchy’s Theorem requires that the path is closed.
Over to you
Do you have any examples of common mistakes in Complex Analysis that I have missed? Leave a comment below.
Get the newsletter! Fancy a newsletter keeping you up-to-date with maths news, articles, videos and events you might otherwise miss? Then sign up below. (No spam and I will never share your details with anyone else.)
Do you have solutions manual for your book? It would help with self-study! Thanks.
Which book? I’ve got two now! Actually, the answer for both is that the solutions are coming. The plan is to finish them by the end of the year. I hope you can wait that long!
Best wishes,
Kevin