86
$\begingroup$

At the end of this month I start teaching complex analysis to 2nd year undergraduates, mostly from engineering but some from science and maths. The main applications for them in future studies are contour integrals and Laplace transform, but this should be a "real" complex analysis course which I could later refer to in honours courses. I am now confident (after this discussion, especially Gauss’s complaints given in Keith’s comment) that the name "complex" is discouraging to average students.

Why do we need to study numbers which do not belong to the real world?

We all know that the thesis is wrong and I have in mind some examples where the use of complex variable functions simplify solving considerably (I give two below). The drawback is that all them assume some knowledge from students already.

So I would be happy to learn elementary examples which may convince students that complex numbers and functions of a complex variable are useful. As this question runs in the community wiki mode, I would be glad to see one example per answer.

Thank you in advance!

Here are the two promised examples. I was reminded of the second one by several answers and comments about trigonometric functions (and also by the notification that "the bounty on your question Trigonometry related to Rogers–Ramanujan identities expires within three days"; it seems to be harder than I expected).

Example 1. What is the Fourier expansion of the (unbounded) periodic function $$ f(x)=\ln\Bigl\lvert\sin\frac x2\Bigr\rvert\ ? $$

Solution. The function $f(x)$ is periodic with period $2\pi$ and has poles at the points $2\pi k$, $k\in\mathbb Z$.

Consider the function on the interval $x\in[\varepsilon,2\pi-\varepsilon]$. The series $$ \sum_{n=1}^\infty\frac{z^n}n, \qquad z=e^{ix}, $$ converges for all values $x$ from the interval. Since $$ \Bigl\lvert\sin\frac x2\Bigr\rvert=\sqrt{\frac{1-\cos x}2} $$ and $\operatorname{Re}\ln w=\ln\lvert w\rvert$, where we choose $w=\frac12(1-z)$, we deduce that $$ \operatorname{Re}\Bigl(\ln\frac{1-z}2\Bigr)=\ln\sqrt{\frac{1-\cos x}2} =\ln\Bigl\lvert\sin\frac x2\Bigr\rvert. $$ Thus, $$ \ln\Bigl\lvert\sin\frac x2\Bigr\rvert =-\ln2-\operatorname{Re}\sum_{n=1}^\infty\frac{z^n}n =-\ln2-\sum_{n=1}^\infty\frac{\cos nx}n. $$ As $\varepsilon>0$ can be taken arbitrarily small, the result remains valid for all $x\ne2\pi k$.

Example 2. Let $p$ be an odd prime number. $\newcommand\Legendre{\genfrac(){}{}}$For an integer $a$ relatively prime to $p$, the Legendre symbol $\Legendre ap$ is $+1$ or $-1$ depending on whether the congruence $x^2\equiv a\pmod{p}$ is solvable or not. Using the elementary result (a consequence of Fermat's little theorem) that $$ \Legendre ap \equiv a^{(p-1)/2}\pmod p, \tag{*}\label{star} $$ show that $$ \Legendre 2p=(-1)^{(p^2-1)/8}. $$

Solution. In the ring $\mathbb Z+\mathbb Zi=\Bbb Z[i]$, the binomial formula implies $$ (1+i)^p\equiv1+i^p\pmod p. $$ On the other hand, $$ (1+i)^p =\bigl(\sqrt2e^{\pi i/4}\bigr)^p =2^{p/2}\biggl(\cos\frac{\pi p}4+i\sin\frac{\pi p}4\biggr) $$ and $$ 1+i^p =1+(e^{\pi i/2})^p =1+\cos\frac{\pi p}2+i\sin\frac{\pi p}2 =1+i\sin\frac{\pi p}2. $$ Comparing the real parts implies that $$ 2^{p/2}\cos\frac{\pi p}4\equiv1\pmod p, $$ hence from $\sqrt2\cos(\pi p/4)\in\{\pm1\}$ we conclude that $$ 2^{(p-1)/2}\equiv\sqrt2\cos\frac{\pi p}4\pmod p. $$ Then using the elementary result \eqref{star}: $$ \Legendre2p \equiv2^{(p-1)/2} \equiv\sqrt2\cos\frac{\pi p}4 =\begin{cases} 1 & \text{if } p\equiv\pm1\pmod8, \cr -1 & \text{if } p\equiv\pm3\pmod8, \end{cases} $$ which is exactly the required formula.

$\endgroup$
13
  • 98
    $\begingroup$ Maybe an option is to have them understand that real numbers also do not belong to the real world, that all sort of numbers are simply abstractions. $\endgroup$ Jul 1, 2010 at 14:50
  • 27
    $\begingroup$ Probably your electrical engineering students understand better than you do that complex numbers (in polar form) are used to represent amplitude and frequency in their area of study. $\endgroup$ Jul 1, 2010 at 15:36
  • 7
    $\begingroup$ Not an answer, but some suggestions: try reading the beginning of Needham's Visual Complex Analysis (usf.usfca.edu/vca/) and the end of Levi's The Mathematical Mechanic (amazon.com/Mathematical-Mechanic-Physical-Reasoning-Problems/dp/…). $\endgroup$ Jul 1, 2010 at 17:05
  • 23
    $\begingroup$ Your example has a hidden assumption that a student actually admits the importance of calculating F.S. of $\ln\left|\sin{x\over 2}\right|$, which I find dubious. The examples with an oscillator's ODE is more convincing, IMO. $\endgroup$ Jul 2, 2010 at 3:02
  • 3
    $\begingroup$ @Mariano, Gerald and Qiaochu: Thanks for the ideas! Visual Complex Analysis sounds indeed great, and I'll follow Levi's book as soon as I reach the uni library. @Paul: I give the example (which I personally like) and explain that I do not consider it elementary enough for the students. It's a matter of taste! I've never used Fourier series in my own research but it doesn't imply that I doubt of their importance. We all (including students) have different criteria for measuring such things. $\endgroup$ Jul 2, 2010 at 5:06

44 Answers 44

1
2
4
$\begingroup$

From the point of view of enginieers, the most obvious application of complex numbers is computing alternating currents.

Consider first direct current. If you have a network of resistors, and want to compute the current in this network, or the potential of a node, then Kirchhoff's rules reduce this problem to a system of linear equations. Kirchhoff's rules are obvious, essentially saying that ellectric current cannot just disappear.

If you have alternating current, you have capacities and inductions in addition to the resistors, but if you consider them as imaginary resistance depending on the frequency, the computations are exactly the same as in the direct case, just over another field. The alternative would be computing the phase shift separately from the current, which is much more effort and only works for very simple networks, e.g. oscillators.

Once you learned Fourier analysis, this approach immediately tells you how a filter works, and whether a given network acts as a filter.

$\endgroup$
3
$\begingroup$

As an example to demonstrate the usefulness of complex analysis in mechanics (which may seem counterintuitive to engineering students, since mechanics is introduced on the reals), one may consider the simple problem of the one dimensional harmonic oscillator, whose Hamiltonian equations of motion are diagonalized in the complex representation, equivalently one needs to integrate a single (holomorphic) first order ODE instead of a single second order or two first order ODEs.

$\endgroup$
1
  • $\begingroup$ Thanks, David! It goes in line with some other answers but it's interesting to see a different point of view on the linearised DE for the harmonic oscillator. $\endgroup$ Jul 2, 2010 at 8:49
3
$\begingroup$

It seems that many of the answers fall into two categories: those that are applications of Euler's formula $e^{i\theta}=\cos\theta + i\sin\theta$, and those that are related to the fundamental theorem of algebra.

To supply one other instance of the latter, I'd go with Bézout's theorem from algebraic geometry (allegedly one of Gauss's earlier proofs of the FTA was by way of Bézout's, which smells like circular reasoning).

The students may remember conics, or at least circles. How many points can a circle intersect with a line? 0, 1, or 2. What about an ellipse with a line? Same. Two ellipses? Up to 4. How come two circles never intersect in 3 or 4 points. Well it may require a little bit of homogeneous coordinates, but we may cheat by saying that the points $(\infty, i\infty)$ and $(\infty, -i\infty)$ are on every circle. It may help to compare with the situation of two hyperbolas whose asymptotes have slopes $\pm 1$.

$\endgroup$
3
$\begingroup$

Here's a visual thing I handed out to students in a much more elementary class than the one the question mentions:
http://web.archive.org/web/20130701140646/http://www.math.umn.edu/~hardy/1031/handouts/March.3.pdf

$\endgroup$
1
  • 1
    $\begingroup$ This link is broken. $\endgroup$ Aug 28, 2016 at 4:21
3
$\begingroup$

Since the audience for such a class must be to a large degree E.E.s and M.E.s, I think they would appreciate a Reader's Digest version of the paper "Steinmetz and the Concept of Phasor: A Forgotten Story" by A. E. A. Araújo & D. A. V. Tonidandel.

For the human interest aspect of the story, there is much material from which to choose some vignettes. Biographies (videos (see comment), papers, books) of the two main characters in the paper—Steinmetz and Heaviside—contain many very entertaining technically-related tales of the two eccentrics, and some background on their contributions to the development of signal transmission via cables and the ether in the case of Heaviside and of the electric motor in the case of Steinmetz would accentuate the importance of their ideas, along with an overall portrait of Electric City, at which Steinmetz was the acclaimed wizard, and the laying of the trans-Atlantic cables, in which Heaviside played an important role, despite obstructions created by some authorities.

This epoch of engineering—the genesis of the age of electricity—lies between that of the steam engine and of the computer and IT. I think the engineers would appreciate both the technical and historical perspectives. (You could also slip in the importance of securing patents for financial security—every engineer has an eye on that—using H & S as contrasting examples.)

$\endgroup$
2
  • $\begingroup$ Do I remember correctly from another post of yours mentioning this that there was an associated Youtube video? $\endgroup$
    – LSpice
    Jan 4, 2022 at 19:14
  • 1
    $\begingroup$ @LSpice, that post I deleted, but the vid is pbs.org/video/… $\endgroup$ Jan 4, 2022 at 22:20
3
$\begingroup$

Is it too abstract to motivate complex numbers in terms of the equations we can solve depending on whether we choose to work in ${\mathbb N, \mathbb Z, \mathbb Q, \mathbb R, \mathbb C}$? The famous "John and Betty" (Link) takes such an approach.

$\endgroup$
3
  • $\begingroup$ Did that John and Betty thing actually ever work? It does not look like something which would catch the interest of a child. $\endgroup$ Jul 2, 2010 at 0:32
  • $\begingroup$ Thanks, Bob! It's an interesting link at least to me (although I wonder about the students :-) ). $\endgroup$ Jul 2, 2010 at 8:52
  • $\begingroup$ @Wadim I've found in practice (2nd year undergrad CompSci, A level $\equiv$ High School students) that it's quite good for those math-phobic students who struggle with abstraction. The childish format and focus on utility seems to keep them from worrying about the form of $\sqrt -1$. Fundamental theorem of algebra is a pretty cool too! @Andrea - I never tried it with younger children; as irrationality of $\sqrt 2$ is introduced I think it's likely aimed at an older audience. $\endgroup$ Jul 5, 2010 at 9:20
2
$\begingroup$

Complex numbers make working with polynomials much easier, including purely real-valued questions about polynomials.

For example, prove every real polynomial factors into linear and quadratics. With Fundamental Theorem of Algebra this is trivial (factors into complex linear polynomials; each complex root appears with its conjugate). A purely real proof would be ugly.

In my opinion, negative numbers do not "exist" either. However, negative numbers make subtraction much easier. Complex numbers fill the analogous role for algebraic manipulations.

$\endgroup$
2
$\begingroup$

Start with a line segment AB, and pick a point P on this. On AP and PB, create two equilateral triangles. You get two new points, A2 and B2. Put P2 on the line between these, such that the ratios $AP:PB$ and $A_2P_2:P_2B_2$ are the same. Repeat. This has a limit point, $P^*$. Show that this $P^*$ lie on a circle with AB as diameter.

This is a neat problem, where complex numbers do help quite a lot; although one can of course use linear algebra also.

repeated triangles

$\endgroup$
2
$\begingroup$

I noticed this old question because it got bumped recently, and am surprised that the original, historical motivation for complex numbers—namely, a formula for solving a cubic equation—does not seem to be mentioned in any of the answers. There is now a lovely Veritasium video that tells the story in a way that I think would appeal to any second-year undergraduate student.

Complex numbers are not well-motivated by the quadratic equation, because their appearance just indicates the absence of (real) solutions, so you can dismiss them. But when you try to find a formula for the cubic equation in terms of radicals, complex numbers unavoidably force themselves upon you even when the solutions are real.

$\endgroup$
1
$\begingroup$

This is a bit more about justifying the use of complex analytic functions, rather than complex numbers themselves, and so is perhaps jumping ahead too far for an initial introduction. But I would simply point out a few of the properties of differentiation versus integration of real functions.

On the one hand, derivatives are easy to compute, because they only depend on the local behavior of a function. The product rule and chain rule give us everything we need to compute derivatives of basically anything, provided we can write it in terms of familiar functions.

On the other hand, it is very difficult to make estimates or approximations of $f'$ based purely on estimates of $f$. By itself, an estimate of the form $f(x) \le g(x)$ allows us to say absolutely nothing about $f'$.

With integrals we have the opposite problem. A bound of the form $f(x) \le g(x)$ implies that $\int\limits_{0}^x f(t) dt \le \int\limits_{0}^x g(t) dt$. This enables us to approximate integrals of even complicated functions using simple bounds. However, the global nature of integration makes computing exact integrals or antiderivatives much harder, and there is no general procedure to find closed form antiderivatives of unfamiliar functions other than by inverting the product or chain rule, which only works in special cases.

In complex analysis, as opposed to real analysis, differentiation of $f$ is expressed as an integral of $f$. This means that bounds on $f$ do indeed allow us to bound the derivatives of $f$, giving us refined information about $f$'s local behavior. Conversely, we can evaluate integrals, which inherently depend on the global behavior of $f$ on the domain of integration, in terms of $f$'s local behavior. We can compute even complicated integrals just by evaluating some explicit function (or residue) at a point. Complex analysis lacks the disadvantages of the pure locality of real differentiation, and the pure globality of real integration, so both derivatives and integrals are much richer.

For emphasis you can give them an example of an integral which would be very difficult to compute with real methods, and tell them that soon they will be able to calculate it exactly.

$\endgroup$
1
$\begingroup$

I'm surprised nobody mentioned the way complex numbers actually "came to existence", namely for finding roots of third order polynomials, even when said roots are real.

$\endgroup$
2
  • 1
    $\begingroup$ You were beaten by an hour. $\endgroup$ Jan 7, 2022 at 3:46
  • 1
    $\begingroup$ @GerryMyerson Darn $\endgroup$
    – lcv
    Jan 7, 2022 at 10:22
0
$\begingroup$

Complex-step methods can be used to numerically estimate the derivative of real analytic functions with more numerical stability than real-step methods. Consider an analytic function $f(x+iy) = u + iv$.

By Cauchy-Riemann equations,

$$ \begin{align} \frac{\partial u}{\partial x} & = \frac{\partial v}{\partial y} \\ & = \lim_{h \rightarrow 0} \frac{v(x+i(y+h))-v(x+iy)}{h} \end{align} $$

Since we are interested in the real parts of the function, $y = 0$, $u(x) = f(x)$ and $v(x) = 0$. Thus,

$$ \begin{align} \frac{\partial f}{\partial x} &= \lim_{h \rightarrow 0} \frac{Im[f(x+ih)]}{h} \\ & \approx \frac{Im[f(x+ih)]}{h} \text{ (for small h) } \end{align} $$

The advantage to the real counterparts e.g.

$$ \begin{align} \frac{df}{dx} &= \lim_{h \rightarrow 0} \frac{f(x+h)-f(x)}{h} \\ & \approx \frac{f(x+h)-f(x)}{h} \text{ (for small h) } \end{align} $$

is that the subtraction in the numerator is eliminated. Thus, the complex-step method avoid catastrophic numerical cancellation (which usually happens when $h$ decreases too much and $f(x+h) - f(x)$ goes below the machine precision).

More details about the complex-step method can be seen in Martins, Joaquim R. R. A.; Sturdza, Peter; Alonso, Juan J., The complex-step derivative approximation, ACM Trans. Math. Softw. 29, No. 3, 245-262 (2003). ZBL1072.65027.

$\endgroup$
6
  • 2
    $\begingroup$ This seems like a poor approximation to the same idea over the dual numbers. I seriously hope people are aware of this. $\endgroup$
    – wlad
    Jan 3, 2022 at 14:18
  • $\begingroup$ More broadly, this is a poor approximation to autodiff. The method is effectively a symbolic method -- just like autodiff is -- because it relies on you generalising a function from the real numbers to the complex numbers. $\endgroup$
    – wlad
    Jan 3, 2022 at 14:21
  • $\begingroup$ @wlad You are right. Sec 2.4 of the aforementioned paper states that, but I should had put this on the answer. Thanks for bringing this up in the comments! $\endgroup$
    – Tadashi
    Jan 3, 2022 at 17:02
  • $\begingroup$ @wlad I got your point now. I don't think (at least I don't know if) there is any advantage over using dual numbers, and I also think that dual numbers are more intuitive for representing autodiff. But I still think this complex-step method is a neat example within the context of OP question. $\endgroup$
    – Tadashi
    Jan 3, 2022 at 17:46
  • 1
    $\begingroup$ For what it's worth, I agree with your point: sometimes, discussing things in less than their full generality, and even if they are not optimal solutions, can be useful, especially from an historical or pedagogical point of view. \\ I was a bit confused by the notation. Is it really meant to be $f(x + i v) = u + i v$, not $f(x + i y) = u + i v$? $\endgroup$
    – LSpice
    Jan 4, 2022 at 22:28
0
$\begingroup$

This video is a good teaser for an introductory course for students majoring in E.E., M.E., C.S., or physics:

What is a fourier series? From heat flow to drawing circles.

$\endgroup$
0
$\begingroup$

I think the description of complex numbers via the Argand Diagram is great. And we can see addition of complex numbers as translation and multiplication as a combination of rotation and dilation.

$\endgroup$
1
2

Not the answer you're looking for? Browse other questions tagged or ask your own question.