Complex plane

In mathematics, the complex plane is the plane formed by the complex numbers, with a Cartesian coordinate system such that the horizontal x-axis, called the real axis, is formed by the real numbers, and the vertical y-axis, called the imaginary axis, is formed by the imaginary numbers.

The complex plane allows for a geometric interpretation of complex numbers. Under addition, they add like vectors. The multiplication of two complex numbers can be expressed more easily in polar coordinates: the magnitude or modulus of the product is the product of the two absolute values, or moduli, and the angle or argument of the product is the sum of the two angles, or arguments. In particular, multiplication by a complex number of modulus 1 acts as a rotation (the circle group).

The complex plane is sometimes called the Argand plane or Gauss plane.

In complex analysis, the complex numbers are customarily represented by the symbol z, which can be separated into its real (x) and imaginary (y) parts:

\[z = x + iy\]

for example: z = 4 + 5i, where x and y are real numbers, and i is the imaginary unit. In this customary notation the complex number z corresponds to the point (x, y) in the Cartesian plane; the point (x, y) can also be represented in polar coordinates with:

\[\begin{align} x &= r\cos\theta \\ y &= r\sin\theta \\ r &= \sqrt{x^2+y^2} \\ \theta &= \arctan\frac{y}{x}. \end{align}\]

In the Cartesian plane it may be assumed that the range of the arctangent function takes the values (−π/2, π/2) (in radians), and some care must be taken to define the more complete arctangent function for points (x, y) when x ≤ 0. In the complex plane these polar coordinates take the form

\[\begin{align} z &= x + iy \\ &= |z|\left(\cos\theta + i\sin\theta\right) \\ &= |z|e^{i\theta} \end{align}\]

where

Condensed: the full section is in Wikipedia.

An Argand diagram is a geometric plot of complex numbers as points z = x + iy using the horizontal x-axis as the real axis and the vertical y-axis as the imaginary axis. Though named after Jean-Robert Argand (1768-1822), such plots were first described by Norwegian-Danish land surveyor and mathematician Caspar Wessel (1745-1818). Argand diagrams are frequently used to plot the positions of the zeros and poles of a function in the complex plane.

The lengths of straight lines and curves in the complex plane represent real numbers: the physical length of the line or curve divided by the physical length of the radius of the unit circle. Similarly, angles between any two rays emanating from any point in the complex plane represent real numbers: the radian measure of the physical angle (i.e. the number of radians in the angle). In particular, the argument (phase) of a complex number is a real number, not a physical angle.

It can be useful to think of the complex plane as if it occupied the surface of a sphere. Given a sphere of unit radius, place its center at the origin of the complex plane, oriented so that the equator on the sphere coincides with the unit circle in the plane, and the north pole is "above" the plane.

We can establish a one-to-one correspondence between the points on the surface of the sphere minus the north pole and the points in the complex plane as follows. Given a point in the plane, draw a straight line connecting it with the north pole on the sphere. That line will intersect the surface of the sphere in exactly one other point. The point z = 0 will be projected onto the south pole of the sphere. Since the interior of the unit circle lies inside the sphere, that entire region (|z| < 1) will be mapped onto the southern hemisphere. The unit circle itself (|z| = 1) will be mapped onto the equator, and the exterior of the unit circle (|z| > 1) will be mapped onto the northern hemisphere, minus the north pole. Clearly this procedure is reversible – given any point on the surface of the sphere that is not the north pole, we can draw a straight line connecting that point to the north pole and intersecting the flat plane in exactly one point.

Under this stereographic projection the north pole itself is not associated with any point in the complex plane. We perfect the one-to-one correspondence by adding one more point to the complex plane – the so-called point at infinity – and identifying it with the north pole on the sphere. This topological space, the complex plane plus the point at infinity, is known as the extended complex plane. We speak of a single "point at infinity" when discussing complex analysis. There are two points at infinity (positive, and negative) on the real number line, but there is only one point at infinity (the north pole) in the extended complex plane.

Imagine for a moment what will happen to the lines of latitude and longitude when they are projected from the sphere onto the flat plane. The lines of latitude are all parallel to the equator, so they will become perfect circles centered on the origin z = 0. And the lines of longitude will become straight lines passing through the origin (and also through the "point at infinity", since they pass through both the north and south poles on the sphere).

This is not the only possible yet plausible stereographic situation of the projection of a sphere onto a plane consisting of two or more values. For instance, the north pole of the sphere might be placed on top of the origin z = −1 in a plane that is tangent to the circle. The details don't really matter. Any stereographic projection of a sphere onto a plane will produce one "point at infinity", and it will map the lines of latitude and longitude on the sphere into circles and straight lines, respectively, in the plane.

When discussing functions of a complex variable it is often convenient to think of a cut in the complex plane. This idea arises naturally in several different contexts.

Consider the simple two-valued relationship

\[w = f(z) = \pm\sqrt{z} = z^{1/2}.\]

Before we can treat this relationship as a single-valued function, the range of the resulting value must be restricted somehow. When dealing with the square roots of non-negative real numbers this is easily done. For instance, we can just define

\[y = g(x) = \sqrt{x} = x^{1/2}\]

to be the non-negative real number y such that y = x. This idea doesn't work so well in the two-dimensional complex plane. To see why, let's think about the way the value of f(z) varies as the point z moves around the unit circle. We can write \(z = re^{i\theta}\) and take \[\begin{align} w &= z^{1/2} \\ &= \sqrt{r}\,e^{i\theta/2}, \quad 0\leq\theta\leq 2\pi. \end{align}\]

Evidently, as z moves all the way around the circle, w only traces out one-half of the circle. So one continuous motion in the complex plane has transformed the positive square root e = 1 into the negative square root e = −1.

This problem arises because the point z = 0 has just one square root, while every other complex number z ≠ 0 has exactly two square roots. On the real number line we could circumvent this problem by erecting a "barrier" at the single point x = 0. A bigger barrier is needed in the complex plane, to prevent any closed contour from completely encircling the branch point z = 0. This is commonly done by introducing a branch cut; in this case the "cut" might extend from the point z = 0 along the positive real axis to the point at infinity, so that the argument of the variable z in the cut plane is restricted to the range 0 ≤ arg(z) < 2π.

Condensed: the full section is in Wikipedia.

A meromorphic function is a complex function that is holomorphic and therefore analytic everywhere in its domain except at a finite, or countably infinite, number of points. The points at which such a function cannot be defined are called the poles of the meromorphic function. Sometimes all of these poles lie in a straight line. In that case mathematicians may say that the function is "holomorphic on the cut plane". By example:

The gamma function, defined by

\[\Gamma (z) = \frac{e^{-\gamma z}}{z} \prod_{n=1}^\infty \left[\left(1+\frac{z}{n}\right)^{-1}e^{z/n}\right]\]

where γ is the Euler-Mascheroni constant, and has simple poles at 0, −1, −2, −3, ... because exactly one denominator in the infinite product vanishes when z = 0, or a negative integer. Since all its poles lie on the negative real axis, from z = 0 to the point at infinity, this function might be described as "holomorphic on the cut plane, the cut extending along the negative real axis, from 0 (inclusive) to the point at infinity."

Alternatively, Γ(z) might be described as "holomorphic in the cut plane with −π < arg(z) < π and excluding the point z = 0."

This cut is slightly different from the 'branch cut' we've already encountered, because it actually excludes the negative real axis from the cut plane. The branch cut left the real axis connected with the cut plane on one side (0 ≤ θ), but severed it from the cut plane along the other side (θ < 2π).

Of course, it's not actually necessary to exclude the entire line segment from z = 0 to −∞ to construct a domain in which Γ(z) is holomorphic. All we really have to do is puncture the plane at a countably infinite set of points {0, −1, −2, −3, ...}. But a closed contour in the punctured plane might encircle one or more of the poles of Γ(z), giving a contour integral that is not necessarily zero, by the residue theorem. Cutting the complex plane ensures not only that Γ(z) is holomorphic in this restricted domain – but also that the contour integral of the gamma function over any closed curve lying in the cut plane is identically equal to zero.

Many complex functions are defined by infinite series, or by continued fractions. A fundamental consideration in the analysis of these infinitely long expressions is identifying the portion of the complex plane in which they converge to a finite value. A cut in the plane may facilitate this process, as the following examples show.

Consider the function defined by the infinite series

\[f(z) = \sum_{n=1}^\infty \left(z^2 + n\right)^{-2}.\]

Because z = (−z) for every complex number z, it's clear that f(z) is an even function of z, so the analysis can be restricted to one half of the complex plane. And since the series is undefined when

\[z^2 + n = 0 \quad \iff \quad z = \pm i\sqrt{n},\]

it makes sense to cut the plane along the entire imaginary axis and establish the convergence of this series where the real part of z is not zero before undertaking the more arduous task of examining f(z) when z is a pure imaginary number.

In this example the cut is a mere convenience, because the points at which the infinite sum is undefined are isolated, and the cut plane can be replaced with a suitably punctured plane. In some contexts the cut is necessary, and not just convenient. Consider the infinite periodic continued fraction

Condensed: the full section is in Wikipedia.

We have already seen how the relationship

\[w = f(z) = \pm\sqrt{z} = z^{1/2}\]

can be made into a single-valued function by splitting the domain of f into two disconnected sheets. It is also possible to "glue" those two sheets back together to form a single Riemann surface on which f(z) = z can be defined as a holomorphic function whose image is the entire w-plane (except for the point w = 0). Here's how that works.

Imagine two copies of the cut complex plane, the cuts extending along the positive real axis from z = 0 to the point at infinity. On one sheet define 0 ≤ arg(z) < 2π, so that 1 = e = 1, by definition. On the second sheet define 2π ≤ arg(z) < 4π, so that 1 = e = −1, again by definition. Now flip the second sheet upside down, so the imaginary axis points in the opposite direction of the imaginary axis on the first sheet, with both real axes pointing in the same direction, and "glue" the two sheets together (so that the edge on the first sheet labeled "θ = 0" is connected to the edge labeled "θ < 4π" on the second sheet, and the edge on the second sheet labeled "θ = 2π" is connected to the edge labeled "θ < 2π" on the first sheet). The result is the Riemann surface domain on which f(z) = z is single-valued and holomorphic (except when z = 0).

To understand why f is single-valued in this domain, imagine a circuit around the unit circle, starting with z = 1 on the first sheet. When 0 ≤ θ < 2π we are still on the first sheet. When θ = 2π we have crossed over onto the second sheet, and are obliged to make a second complete circuit around the branch point z = 0 before returning to our starting point, where θ = 4π is equivalent to θ = 0, because of the way we glued the two sheets together. In other words, as the variable z makes two complete turns around the branch point, the image of z in the w-plane traces out just one complete circle.

Formal differentiation shows that

\[f(z) = z^{1/2} \quad\Rightarrow\quad f' (z) = \tfrac{1}{2} z^{-1/2}\]

Condensed: the full section is in Wikipedia.

In control theory, one use of the complex plane is known as the s-plane. It is used to visualise the roots of the equation describing a system's behaviour (the characteristic equation) graphically. The equation is normally expressed as a polynomial in the parameter s of the Laplace transform, hence the name s-plane. Points in the s-plane take the form s = σ + jω, where 'j' is used instead of the usual 'i' to represent the imaginary component (the variable 'i' is often used to denote electrical current in engineering contexts).

Another related use of the complex plane is with the Nyquist stability criterion. This is a geometric principle which allows the stability of a closed-loop feedback system to be determined by inspecting a Nyquist plot of its open-loop magnitude and phase response as a function of frequency (or loop transfer function) in the complex plane.

The z-plane is a discrete-time version of the s-plane, where z-transforms are used instead of the Laplace transformation.

The complex plane is associated with two distinct quadratic spaces. For a point z = x + iy in the complex plane, the squaring function z and the norm-squared x + y are both quadratic forms. The former is frequently neglected in the wake of the latter's use in setting a metric on the complex plane. The complex plane of this article is the quotient ring \(\R[X]/(X^2 + 1)\) where the ideal is the quadratic polynomial associated with the imaginary unit. There are two other ideals that yield quotient rings that are two-dimensional real algebras, and hence “complex planes”. These are the quadratic algebras over the real number field.