ConceptComplete

Complex Functions

A complex function f:CCf: \mathbb{C} \to \mathbb{C} assigns to each complex number zz another complex number f(z)f(z). Unlike real functions, complex functions encode two-dimensional behavior, leading to rich geometric and analytic structure.


Definitions and Representations

Definition1.5Complex function

A complex function is a map f:DCf: D \to \mathbb{C} where DCD \subseteq \mathbb{C} is the domain. We write f(z)=u(x,y)+iv(x,y)f(z) = u(x, y) + iv(x, y) where z=x+iyz = x + iy and u,v:DRu, v: D \to \mathbb{R} are the real and imaginary parts of ff.

RemarkReal and imaginary parts

Given f(z)=u(x,y)+iv(x,y)f(z) = u(x,y) + iv(x,y), we have:

  • u(x,y)=Re(f(z))u(x, y) = \text{Re}(f(z))
  • v(x,y)=Im(f(z))v(x, y) = \text{Im}(f(z))

Every complex function can be viewed as a pair of real-valued functions (u,v)(u, v), which is sometimes useful for analysis (e.g., checking continuity or differentiability component-wise).

ExamplePolynomial functions

f(z)=z2=(x+iy)2=x2y2+2ixyf(z) = z^2 = (x+iy)^2 = x^2 - y^2 + 2ixy. Here:

  • u(x,y)=x2y2u(x, y) = x^2 - y^2
  • v(x,y)=2xyv(x, y) = 2xy

The function ff maps the complex plane to itself, squaring the modulus and doubling the argument.

ExampleComplex exponential

f(z)=ez=ex+iy=ex(cosy+isiny)f(z) = e^z = e^{x + iy} = e^x(\cos y + i\sin y). Thus:

  • u(x,y)=excosyu(x, y) = e^x \cos y
  • v(x,y)=exsinyv(x, y) = e^x \sin y

The exponential function is periodic in the imaginary direction with period 2πi2\pi i.


Continuity

Definition1.6Continuity

A function f:DCf: D \to \mathbb{C} is continuous at z0Dz_0 \in D if for every ϵ>0\epsilon > 0 there exists δ>0\delta > 0 such that

zz0<δ    f(z)f(z0)<ϵ.|z - z_0| < \delta \implies |f(z) - f(z_0)| < \epsilon.

Equivalently, limzz0f(z)=f(z0)\lim_{z \to z_0} f(z) = f(z_0).

RemarkContinuity via components

f=u+ivf = u + iv is continuous at z0z_0 if and only if both uu and vv (viewed as functions R2R\mathbb{R}^2 \to \mathbb{R}) are continuous at (x0,y0)(x_0, y_0) where z0=x0+iy0z_0 = x_0 + iy_0.

This follows from the equivalence f(z)f(z0)0|f(z) - f(z_0)| \to 0 iff u(x,y)u(x0,y0)0|u(x,y) - u(x_0,y_0)| \to 0 and v(x,y)v(x0,y0)0|v(x,y) - v(x_0,y_0)| \to 0.

ExamplePolynomials are continuous

Every polynomial p(z)=a0+a1z++anznp(z) = a_0 + a_1 z + \cdots + a_n z^n is continuous on C\mathbb{C}. This follows from continuity of addition and multiplication: if ff and gg are continuous, so are f+gf+g and fgfg.

ExampleThe conjugate function

f(z)=zˉ=xiyf(z) = \bar{z} = x - iy is continuous everywhere. However, as we will see, it is not analytic (differentiable in the complex sense) anywhere.


Limits

Definition1.7Limit

We say limzz0f(z)=L\lim_{z \to z_0} f(z) = L if for every ϵ>0\epsilon > 0 there exists δ>0\delta > 0 such that

0<zz0<δ    f(z)L<ϵ.0 < |z - z_0| < \delta \implies |f(z) - L| < \epsilon.

RemarkPath independence

A key difference from real analysis: in C\mathbb{C}, the limit limzz0f(z)\lim_{z \to z_0} f(z) must be the same no matter how zz approaches z0z_0. This is because zz can approach z0z_0 along infinitely many paths in the complex plane. This will be crucial for differentiability (analytic functions).

ExampleLimit of a rational function

Consider f(z)=z21z1f(z) = \frac{z^2 - 1}{z - 1} for z1z \neq 1. Then

limz1f(z)=limz1(z1)(z+1)z1=limz1(z+1)=2.\lim_{z \to 1} f(z) = \lim_{z \to 1} \frac{(z-1)(z+1)}{z-1} = \lim_{z \to 1} (z+1) = 2.

This holds regardless of how zz approaches 11 in the complex plane.

ExampleNonexistent limit

Let f(z)=zˉzf(z) = \frac{\bar{z}}{z} for z0z \neq 0. If z=reiθz = re^{i\theta}, then zˉ=reiθ\bar{z} = re^{-i\theta}, so

f(z)=reiθreiθ=e2iθ.f(z) = \frac{re^{-i\theta}}{re^{i\theta}} = e^{-2i\theta}.

As z0z \to 0 along different rays (different values of θ\theta), f(z)f(z) takes different values (all points on the unit circle). Thus limz0f(z)\lim_{z \to 0} f(z) does not exist.


Elementary Functions

ExamplePolynomial functions

p(z)=a0+a1z+a2z2++anznp(z) = a_0 + a_1 z + a_2 z^2 + \cdots + a_n z^n

Polynomials are continuous and differentiable everywhere. They are the simplest examples of entire functions (functions analytic on all of C\mathbb{C}).

ExampleRational functions

f(z)=p(z)q(z)f(z) = \frac{p(z)}{q(z)}

where pp and qq are polynomials. The function ff is defined and analytic on C{zeros of q}\mathbb{C} \setminus \{\text{zeros of } q\}.

ExampleExponential function

ez=ex+iy=ex(cosy+isiny)e^z = e^{x+iy} = e^x(\cos y + i\sin y)

Properties:

  • ez+w=ezewe^{z+w} = e^z e^w
  • ez=ex|e^z| = e^x and arg(ez)=y\arg(e^z) = y (mod 2π2\pi)
  • eze^z is periodic with period 2πi2\pi i: ez+2πi=eze^{z + 2\pi i} = e^z
  • eze^z is entire and never zero
ExampleTrigonometric functions

cosz=eiz+eiz2,sinz=eizeiz2i\cos z = \frac{e^{iz} + e^{-iz}}{2}, \quad \sin z = \frac{e^{iz} - e^{-iz}}{2i}

Unlike in real analysis, sinz\sin z and cosz\cos z are unbounded on C\mathbb{C}. For instance, cosh(y)=sin(iy)\cosh(y) = |\sin(iy)| \to \infty as yy \to \infty.

ExampleLogarithm (multivalued)

The complex logarithm is the inverse of eze^z. If z=reiθz = re^{i\theta}, then

logz=lnr+iθ\log z = \ln r + i\theta

where θ\theta is determined up to integer multiples of 2π2\pi. To make logz\log z single-valued, we choose a branch cut (commonly the negative real axis) and restrict the argument to (π,π](-\pi, \pi].


Geometric Behavior

RemarkFunctions as transformations

A complex function f:CCf: \mathbb{C} \to \mathbb{C} can be visualized as a transformation (or mapping) of the complex plane. For instance:

  • f(z)=z2f(z) = z^2 wraps the plane around the origin twice.
  • f(z)=ezf(z) = e^z maps vertical lines to circles and horizontal lines to rays.
  • f(z)=1/zf(z) = 1/z performs inversion with respect to the unit circle, swapping the interior and exterior.

Understanding functions geometrically is central to conformal mapping.

ExampleGeometric effect of squaring

f(z)=z2f(z) = z^2 doubles the argument and squares the modulus:

  • The right half-plane {Re(z)>0}\{\text{Re}(z) > 0\} maps onto CR0\mathbb{C} \setminus \mathbb{R}_{\leq 0} (the complex plane minus the non-positive real axis).
  • The unit circle z=1|z| = 1 maps to itself, but each point is visited twice.
  • The ray arg(z)=π/4\arg(z) = \pi/4 maps to the ray arg(z)=π/2\arg(z) = \pi/2 (the positive imaginary axis).
ExampleMöbius transformation

A Möbius transformation is a function of the form

f(z)=az+bcz+df(z) = \frac{az + b}{cz + d}

where a,b,c,dCa, b, c, d \in \mathbb{C} and adbc0ad - bc \neq 0. These are the only conformal automorphisms of the Riemann sphere C{}\mathbb{C} \cup \{\infty\}. They map circles to circles (including lines as circles of infinite radius).


Summary

RemarkLooking ahead

Complex functions are richer than their real counterparts:

  1. Continuity is defined by the ϵ\epsilon-δ\delta criterion, just as in real analysis, but limits must be path-independent.
  2. Elementary functions (polynomials, exponentials, trigonometric functions) extend naturally to C\mathbb{C}, often gaining new periodicity or multivaluedness.
  3. Geometric interpretation is crucial: functions are transformations of the plane, not just formulas.
  4. The next step is complex differentiability, which is far more restrictive than real differentiability and leads to the theory of analytic functions.