13. Math Reminder: Simple Functions in the Complex Plane
Finding Solutions to Laplace’s Equation
It is an amazing fact that when we take the functions we’ve known since childhood (well, almost):
and just replace the real variable by a complex one to give a complex function, call it of the complex variable
the (real) functions satisfy Laplace’s equation in the plane!
These are solutions in search of a problem….
To see how they might be used, consider the simplest function in the list:
The two functions are
It’s easy to check that they do indeed satisfy the 2D Laplace equation, so, to pick one, could be an electrostatic potential. Let’s plot equipotentials to see where it might be relevant:
For a positive constant, this is a family of rectangular hyperbolae covering for positive constant the ++ and sectors of the plane, for negative constant the other two sectors.
Notice this function is zero on the axes, so it describes the potential near a corner where two conducting sheets meet at right angles. For example, this would be a good approximation near one corner inside a rectangular pipe (like a waveguide).
Exercise: show equipotentials for describe them in words, then state how they relate to those for
But why do these functions generate potentials in the 2D complex plane?
The reason is simple: they are differentiable: that means there is a well-defined function
Why is differentiability such a powerful statement? After all, for a real variable, being differentiable merely means (loosely speaking) being a well-behaved continuous function. Yet in the two dimensions of a complex variable, it clearly means so much morethe separate real and imaginary parts must obey these Laplacian equations! The crucial difference from the real case is that in the complex plane can happen in different ways: you could choose to approach the origin along the real axis or along the imaginary axis, and both must give the same result, or, by definition, the function isn’t differentiable.
That is, for with real functions, and
or, spelling it out,
Now equating real and imaginary parts,
and from this is follows that
Furthermore, again of course in two dimensions, for
meaning that if we take the potential then the lines of constant are everywhere perpendicular to the equipotentials, that is, the equipotentials are the field lines (and vice versa): their direction at each point is that of the local electric field. For example, the diagram above plots the equipotentials of and for the function
The definition of differentiation above can be used to show that
just as for a real variable, so the function can be differentiated everywhere in the complex plane except at the origin. The singularity at the origin is termed a “pole”, for obvious reasons.
Other Singularities: Cuts, Sheets, etc.
Poles are of course not the only possible singularities. For example,has a singularity at the origin. Now, The infinite value at the origin is from the term, but notice that if we go around the unit circle, increases by and if we go around again it increases by a further This means that the value of is not uniquely defined: any given point in the complex plane has values differing by any integer. This is handled by replacing the single complex plane with a pile of sheets, and a cut going out from the origin. To find you need to know not only but also which sheet you’re on: going up one sheet means has increased by When you cross the cut, you go to the next sheet, like a multilevel parking garage.
The cut can go out from the origin in any direction, the standard arrangement is along the real axis, either positive or negative.
The square root function similarly has a cut, but only two sheets.
The above is quoted from my Quantum Mechanics lectures, where there are further details, including contour integration, which we’ll need later in this course.
In electrostatics problems, usually we don’t venture on to other sheetsthe cut can correspond in position to a physical charged plane, we’ll see some examples. (In other areas of physics, singularities on other sheets can be important: for example, in quantum scattering theory, a resonance corresponds to a pole on a “nonphysical” sheet, and sometimes increasing a coupling constant can bring the pole on to the physical sheet, where it becomes a bound state.)
In the following lectures, we’ll see how familiarity with the properties of some simple functions in the complex plane can lead to quick solutions of some Jackson 2D electrostatics problems.