the amplitwist, the conjugate transpose, and the complex derivative 2019-12-29

Complex numbers have a representation as matrices, which can serve to illuminate some initially non-obvious aspects of how they work. A real number can be represented as a multiple of the identity matrix:

with addition and multiplication given by the corresponding matrix operations. In order to extend this representation to the complex numbers, we need a matrix such that :

We can thus represent any complex number as:

It can be verified that addition and multiplication of these matrices is equivalent to addition and multiplication of the complex numbers they represent (meaning that matrices of this form comprise a field isomorphic to ).

The amplitwist

Just as any complex number can be written in polar form , a matrix of the above form can be written as a scaled rotation (or an “amplitwist,” as Tristan Needham refers to it in Visual Complex Analysis):

(This is a special case of the more general polar decomposition for matrices, by which a square matrix can be written as the product of a symmetric positive-definite matrix and an orthogonal matrix.)

In fact, these matrices act on vectors in the plane in the same way that complex numbers act on one another: by scaling and rotation. So, we can look at complex multiplication as a particular binary operation on vectors in , or we can look at it as standard matrix multiplication on a particular class of matrices in , or we can look at it as multiplication of vectors in by that particular class of matrices.

The conjugate transpose

When moving from to , the proper generalizations of many constructions from linear algebra involve the complex conjugate and the conjugate transpose :

• The real inner product generalizes to the complex inner product
• Symmetric matrices generalize to Hermitian matrices
• Orthogonal matrices generalize to unitary matrices

and so on. There are various explanations for this. One that I am fond of involves replacing the individual complex elements in a matrix or vector with their matrix representations, turning a complex column vector into a real block matrix:

and a complex matrix into a real block matrix:

Since the transpose of an individual block

corresponds to the conjugate of the original complex number, the original notions of inner product, symmetric matrix, orthogonal matrix, and so on give the same results over these block matrices as their complex generalizations do over complex vectors and matrices.

The complex derivative

A complex function can be looked at as a function . The conditions for continuity are the same. However, the conditions for differentiability are different.

The derivative of a real function at a point is the linear function which best locally approximates at that point. It can be written as the Jacobian matrix of 's partial derivatives:

All that is necessary for such a function to be differentiable is for each of these partial derivatives to exist. If is instead considered as a complex function , its derivative at a point should again be the best local linear approximation, but this time it should be a linear function of a single complex variable, meaning that it can be expressed as a single complex number to be multiplied by its argument.

Which Jacobian matrices can we pack into a single complex number? In other words, which real matrices act on a vector in the way complex numbers act on one other? We discovered this above: they are the matrices of the form

i.e. scaled rotation matrices or amplitwists. So a function is differentiable if and only if the following conditions hold:

These are known as the Cauchy-Riemann equations.

Functions with this property are known as holomorphic. This turns out to be a much stronger condition than differentiability over , with correspondingly much stronger implications:

• Holomorphic functions are analytic, i.e. they are everywhere locally equal to their Taylor series
• Both the real and imaginary parts of a holomorphic function are harmonic, i.e. their Laplacian vanishes everywhere
• A holomorphic function is conformal, i.e. it locally preserves angles, as long as its derivative is nonzero everywhere