Complex Functions
A complex function assigns to each complex number another complex number . Unlike real functions, complex functions encode two-dimensional behavior, leading to rich geometric and analytic structure.
Definitions and Representations
A complex function is a map where is the domain. We write where and are the real and imaginary parts of .
Given , we have:
Every complex function can be viewed as a pair of real-valued functions , which is sometimes useful for analysis (e.g., checking continuity or differentiability component-wise).
. Here:
The function maps the complex plane to itself, squaring the modulus and doubling the argument.
. Thus:
The exponential function is periodic in the imaginary direction with period .
Continuity
A function is continuous at if for every there exists such that
Equivalently, .
is continuous at if and only if both and (viewed as functions ) are continuous at where .
This follows from the equivalence iff and .
Every polynomial is continuous on . This follows from continuity of addition and multiplication: if and are continuous, so are and .
is continuous everywhere. However, as we will see, it is not analytic (differentiable in the complex sense) anywhere.
Limits
We say if for every there exists such that
A key difference from real analysis: in , the limit must be the same no matter how approaches . This is because can approach along infinitely many paths in the complex plane. This will be crucial for differentiability (analytic functions).
Consider for . Then
This holds regardless of how approaches in the complex plane.
Let for . If , then , so
As along different rays (different values of ), takes different values (all points on the unit circle). Thus does not exist.
Elementary Functions
Polynomials are continuous and differentiable everywhere. They are the simplest examples of entire functions (functions analytic on all of ).
where and are polynomials. The function is defined and analytic on .
Properties:
- and (mod )
- is periodic with period :
- is entire and never zero
Unlike in real analysis, and are unbounded on . For instance, as .
The complex logarithm is the inverse of . If , then
where is determined up to integer multiples of . To make single-valued, we choose a branch cut (commonly the negative real axis) and restrict the argument to .
Geometric Behavior
A complex function can be visualized as a transformation (or mapping) of the complex plane. For instance:
- wraps the plane around the origin twice.
- maps vertical lines to circles and horizontal lines to rays.
- performs inversion with respect to the unit circle, swapping the interior and exterior.
Understanding functions geometrically is central to conformal mapping.
doubles the argument and squares the modulus:
- The right half-plane maps onto (the complex plane minus the non-positive real axis).
- The unit circle maps to itself, but each point is visited twice.
- The ray maps to the ray (the positive imaginary axis).
A Möbius transformation is a function of the form
where and . These are the only conformal automorphisms of the Riemann sphere . They map circles to circles (including lines as circles of infinite radius).
Summary
Complex functions are richer than their real counterparts:
- Continuity is defined by the - criterion, just as in real analysis, but limits must be path-independent.
- Elementary functions (polynomials, exponentials, trigonometric functions) extend naturally to , often gaining new periodicity or multivaluedness.
- Geometric interpretation is crucial: functions are transformations of the plane, not just formulas.
- The next step is complex differentiability, which is far more restrictive than real differentiability and leads to the theory of analytic functions.