MathIsimple
π
log
Γ
ζ
Δ
Course 2

Analytic Functions & Cauchy-Riemann Equations

Explore complex differentiability, the fundamental Cauchy-Riemann equations, harmonic functions, and the deep connection between differentiability and analyticity in complex analysis.

Foundation → Intermediate5-6 hours10 Practice Questions
Learning Objectives
Understand the definition of complex functions and their limits
Define and compute complex derivatives
Master the Cauchy-Riemann equations and their geometric interpretation
Understand the relationship between differentiability and analyticity
Learn about harmonic functions and their connection to analytic functions
Apply CR equations to verify analyticity
Understand sufficient conditions for differentiability
Work with complex function limits and continuity

Complex Functions and Limits

Definition 2.1: Complex Function
A complex function is a function f:DCf: D \to \mathbb{C} where DCD \subseteq \mathbb{C} is a 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:R2Ru, v: \mathbb{R}^2 \to \mathbb{R} are real-valued functions called the real part and imaginary part of ff.
Definition 2.2: Limit of a Complex Function
Let ff be defined in a deleted neighborhood of z0z_0. We say limzz0f(z)=L\lim_{z \to z_0} f(z) = L if for every ε>0\varepsilon > 0, there exists δ>0\delta > 0 such that whenever 0<zz0<δ0 < |z - z_0| < \delta, we have f(z)L<ε|f(z) - L| < \varepsilon.
Remark 2.1
The limit definition for complex functions is formally identical to that in real analysis, but here zz can approach z0z_0 from infinitely many directions in the complex plane. This is why complex differentiability is much more restrictive than real differentiability.

Complex Differentiability

Definition 2.3: Complex Derivative
A function ff is differentiable at z0z_0 if the limit
f(z0)=limzz0f(z)f(z0)zz0f'(z_0) = \lim_{z \to z_0} \frac{f(z) - f(z_0)}{z - z_0}
exists. This limit, when it exists, is called the derivative of ff at z0z_0.
Theorem 2.1: Cauchy-Riemann Equations (Necessary Condition)
If f(z)=u(x,y)+iv(x,y)f(z) = u(x,y) + iv(x,y) is differentiable at z0=x0+iy0z_0 = x_0 + iy_0, then the partial derivatives ux,uy,vx,vyu_x, u_y, v_x, v_y exist at (x0,y0)(x_0, y_0) and satisfy the Cauchy-Riemann equations:
ux=vyanduy=vxu_x = v_y \quad \text{and} \quad u_y = -v_x
at (x0,y0)(x_0, y_0). Moreover, f(z0)=ux+ivx=vyiuyf'(z_0) = u_x + iv_x = v_y - iu_y.
Proof of Theorem 2.1:

Since ff is differentiable at z0z_0, the limit exists regardless of the direction of approach. Consider approaching along the real axis (Δy=0\Delta y = 0):

f(z0)=limΔx0u(x0+Δx,y0)u(x0,y0)+i[v(x0+Δx,y0)v(x0,y0)]Δx=ux+ivxf'(z_0) = \lim_{\Delta x \to 0} \frac{u(x_0 + \Delta x, y_0) - u(x_0, y_0) + i[v(x_0 + \Delta x, y_0) - v(x_0, y_0)]}{\Delta x} = u_x + iv_x

Now approaching along the imaginary axis (Δx=0\Delta x = 0):

f(z0)=limΔy0u(x0,y0+Δy)u(x0,y0)+i[v(x0,y0+Δy)v(x0,y0)]iΔy=vyiuyf'(z_0) = \lim_{\Delta y \to 0} \frac{u(x_0, y_0 + \Delta y) - u(x_0, y_0) + i[v(x_0, y_0 + \Delta y) - v(x_0, y_0)]}{i\Delta y} = v_y - iu_y

Since these limits must be equal, we have ux+ivx=vyiuyu_x + iv_x = v_y - iu_y. Equating real and imaginary parts gives the Cauchy-Riemann equations.

Example 2.1

Problem: Verify that f(z)=z2f(z) = z^2 satisfies the Cauchy-Riemann equations.

Solution:

Write f(z)=z2=(x+iy)2=x2y2+2ixyf(z) = z^2 = (x + iy)^2 = x^2 - y^2 + 2ixy. Then u(x,y)=x2y2u(x,y) = x^2 - y^2 and v(x,y)=2xyv(x,y) = 2xy.

Compute partial derivatives: ux=2xu_x = 2x, uy=2yu_y = -2y, vx=2yv_x = 2y, vy=2xv_y = 2x.

Check CR equations: ux=2x=vyu_x = 2x = v_y ✓ and uy=2y=vxu_y = -2y = -v_x

Therefore, f(z)=ux+ivx=2x+2iy=2zf'(z) = u_x + iv_x = 2x + 2iy = 2z, as expected.

Theorem 2.2: Cauchy-Riemann Equations (Sufficient Condition)
Let f(z)=u(x,y)+iv(x,y)f(z) = u(x,y) + iv(x,y) be defined in a neighborhood of z0=x0+iy0z_0 = x_0 + iy_0. If the partial derivatives ux,uy,vx,vyu_x, u_y, v_x, v_y exist, are continuous, and satisfy the Cauchy-Riemann equations at (x0,y0)(x_0, y_0), then ff is differentiable at z0z_0.
Proof of Theorem 2.2:

Using the mean value theorem and continuity of partial derivatives, we can write:

f(z0+Δz)f(z0)=[u(x0+Δx,y0+Δy)u(x0,y0)]+i[v(x0+Δx,y0+Δy)v(x0,y0)]f(z_0 + \Delta z) - f(z_0) = [u(x_0 + \Delta x, y_0 + \Delta y) - u(x_0, y_0)] + i[v(x_0 + \Delta x, y_0 + \Delta y) - v(x_0, y_0)]

By continuity and the CR equations, this equals (ux+ivx)Δz+o(Δz)(u_x + iv_x)\Delta z + o(|\Delta z|) as Δz0\Delta z \to 0, showing differentiability.

Definition 2.4: Analytic Function
A function ff is analytic (or holomorphic) at z0z_0 if it is differentiable in some neighborhood of z0z_0. A function is analytic in a domain DD if it is analytic at every point of DD.

Harmonic Functions

Definition 2.5: Harmonic Function
A function u(x,y)u(x,y) is harmonic in a domain DD if it has continuous second partial derivatives and satisfies Laplace's equation:
Δu=uxx+uyy=0\Delta u = u_{xx} + u_{yy} = 0
throughout DD.
Theorem 2.3: Real and Imaginary Parts of Analytic Functions
If f=u+ivf = u + iv is analytic in a domain DD, then both uu and vv are harmonic in DD. Moreover, vv is called a harmonic conjugate of uu.
Proof of Theorem 2.3:

From the CR equations, ux=vyu_x = v_y and uy=vxu_y = -v_x. Differentiating:

uxx=vyx=vxy=uyyu_{xx} = v_{yx} = v_{xy} = -u_{yy}

Therefore uxx+uyy=0u_{xx} + u_{yy} = 0. Similarly, vxx+vyy=0v_{xx} + v_{yy} = 0.

Example 2.2

Problem: Show that u(x,y)=x2y2u(x,y) = x^2 - y^2 is harmonic and find a harmonic conjugate.

Solution:

Check: uxx=2u_{xx} = 2, uyy=2u_{yy} = -2, so uxx+uyy=0u_{xx} + u_{yy} = 0

To find harmonic conjugate vv, use CR equations: ux=2x=vyu_x = 2x = v_y and uy=2y=vxu_y = -2y = -v_x

From vy=2xv_y = 2x: v=2xy+g(x)v = 2xy + g(x) for some function gg

From vx=2yv_x = 2y: 2y+g(x)=2y2y + g'(x) = 2y, so g(x)=0g'(x) = 0, hence g(x)=Cg(x) = C

Therefore v(x,y)=2xy+Cv(x,y) = 2xy + C. Taking C=0C = 0, we get f(z)=z2f(z) = z^2.

Corollary 2.1
In a simply connected domain, every harmonic function has a harmonic conjugate (unique up to an additive constant).

Properties of Analytic Functions

Theorem 2.4: Constant Function Theorem
If ff is analytic in a domain DD and f(z)=0f'(z) = 0 for all zDz \in D, then ff is constant in DD.
Example 2.3

Problem: Determine where f(z)=z2f(z) = |z|^2 is differentiable.

Solution:

Write f(z)=z2=x2+y2f(z) = |z|^2 = x^2 + y^2, so u=x2+y2u = x^2 + y^2, v=0v = 0

Then ux=2xu_x = 2x, uy=2yu_y = 2y, vx=0v_x = 0, vy=0v_y = 0

CR equations require: 2x=02x = 0 and 2y=02y = 0, so only at z=0z = 0

Check: f(0)=limz0z2z=limz0zˉ=0f'(0) = \lim_{z \to 0} \frac{|z|^2}{z} = \lim_{z \to 0} \bar{z} = 0

Therefore, ff is differentiable only at z=0z = 0, and nowhere analytic.

Example 2.4

Problem: Check if f(z)=z2f(z) = \overline{z}^2 is analytic.

Solution:

Write f(z)=z2=(xiy)2=x2y22ixyf(z) = \overline{z}^2 = (x - iy)^2 = x^2 - y^2 - 2ixy

So u=x2y2u = x^2 - y^2 and v=2xyv = -2xy

ux=2xu_x = 2x, uy=2yu_y = -2y, vx=2yv_x = -2y, vy=2xv_y = -2x

CR equations: ux=2xvy=2xu_x = 2x \neq v_y = -2x (unless x=0x = 0)

uy=2yvx=2yu_y = -2y \neq -v_x = 2y (unless y=0y = 0)

CR equations only hold at z=0z = 0, so ff is not analytic anywhere.

Complete Derivation of Cauchy-Riemann Equations

Remark 2.1
The Cauchy-Riemann equations are fundamental to complex analysis. They provide a necessary and sufficient condition (under smoothness assumptions) for a function to be complex differentiable.
Example 2.5

Problem: Show that if f=u+ivf = u + iv is differentiable at z0z_0, then approaching along an arbitrary line θ\theta gives the same derivative.

Solution:

Approach along Δz=reiθ\Delta z = re^{i\theta} for fixed θ\theta:

f(z0)=limr0f(z0+reiθ)f(z0)reiθ=eiθlimr0[u(x0+rcosθ,y0+rsinθ)u(x0,y0)]+i[v(x0+rcosθ,y0+rsinθ)v(x0,y0)]rf'(z_0) = \lim_{r \to 0} \frac{f(z_0 + re^{i\theta}) - f(z_0)}{re^{i\theta}} = e^{-i\theta} \lim_{r \to 0} \frac{[u(x_0 + r\cos\theta, y_0 + r\sin\theta) - u(x_0, y_0)] + i[v(x_0 + r\cos\theta, y_0 + r\sin\theta) - v(x_0, y_0)]}{r}

Using chain rule: =eiθ[uxcosθ+uysinθ+i(vxcosθ+vysinθ)]= e^{-i\theta}[u_x \cos\theta + u_y \sin\theta + i(v_x \cos\theta + v_y \sin\theta)]

This must equal ux+ivxu_x + iv_x (the derivative along real axis) for all θ\theta. Setting θ=0\theta = 0 and θ=π/2\theta = \pi/2 gives the CR equations.

Harmonic Functions - Extended Discussion

Example 2.6

Problem: Find a harmonic conjugate of u(x,y)=ln(x2+y2)u(x,y) = \ln(x^2 + y^2) (valid in a simply connected domain avoiding the origin).

Solution:

First verify uu is harmonic: ux=2xx2+y2u_x = \frac{2x}{x^2 + y^2}, uxx=2(y2x2)(x2+y2)2u_{xx} = \frac{2(y^2 - x^2)}{(x^2 + y^2)^2}

uy=2yx2+y2u_y = \frac{2y}{x^2 + y^2}, uyy=2(x2y2)(x2+y2)2u_{yy} = \frac{2(x^2 - y^2)}{(x^2 + y^2)^2}

uxx+uyy=0u_{xx} + u_{yy} = 0

Using CR equations: vy=ux=2xx2+y2v_y = u_x = \frac{2x}{x^2 + y^2}, so v=2arctan(y/x)+g(x)=2arg(z)+g(x)v = 2\arctan(y/x) + g(x) = 2\arg(z) + g(x)

vx=uy=2yx2+y2-v_x = u_y = \frac{2y}{x^2 + y^2} gives g(x)=0g'(x) = 0, so v(x,y)=2arg(z)+Cv(x,y) = 2\arg(z) + C

Taking C=0C = 0, we get f(z)=lnz+2iarg(z)=2lnzf(z) = \ln|z| + 2i\arg(z) = 2\ln z (in a suitable branch).

Theorem 2.5: Mean Value Property of Harmonic Functions
If uu is harmonic in a disk zz0<R|z - z_0| < R, then:
u(z0)=12π02πu(z0+reiθ)dθu(z_0) = \frac{1}{2\pi} \int_0^{2\pi} u(z_0 + re^{i\theta})d\theta
for all 0<r<R0 < r < R. The value at the center equals the average over any circle centered at z0z_0.
Example 2.7

Problem: Show that u(x,y)=excosyu(x,y) = e^x\cos y is harmonic and find its harmonic conjugate.

Solution:

uxx=excosyu_{xx} = e^x\cos y, uyy=excosyu_{yy} = -e^x\cos y, so uxx+uyy=0u_{xx} + u_{yy} = 0

Using CR: vy=ux=excosyv_y = u_x = e^x\cos y, so v=exsiny+g(x)v = e^x\sin y + g(x)

vx=exsiny+g(x)=uy=exsinyv_x = e^x\sin y + g'(x) = -u_y = e^x\sin y, so g(x)=0g'(x) = 0, g(x)=Cg(x) = C

v(x,y)=exsinyv(x,y) = e^x\sin y (taking C=0C = 0)

Therefore f(z)=excosy+iexsiny=ex+iy=ezf(z) = e^x\cos y + ie^x\sin y = e^{x+iy} = e^z

Geometric Interpretation of Analytic Functions

Theorem 2.6: Conformality of Analytic Functions
If ff is analytic at z0z_0 and f(z0)0f'(z_0) \neq 0, then ff preserves angles at z0z_0. More precisely, if two curves intersect at z0z_0 with angle θ\theta, their images under ff intersect at f(z0)f(z_0) with the same angle θ\theta.
Remark 2.2
The geometric significance of the CR equations: they ensure that locally, an analytic function behaves like a rotation and scaling. Writing f(z0)=reiθf'(z_0) = re^{i\theta}, the function multiplies distances by rr and rotates by θ\theta, preserving angles.
Example 2.8

Problem: Describe the geometric effect of f(z)=z2f(z) = z^2 on the complex plane.

Solution:

In polar form: if z=reiθz = re^{i\theta}, then f(z)=r2ei2θf(z) = r^2 e^{i2\theta}

The function squares the modulus and doubles the argument. This means:

  • Circles centered at origin map to circles (radius squared)
  • Rays from origin map to rays (angle doubled)
  • Angles are preserved, but at z=0z = 0 where f(0)=0f'(0) = 0, angles are doubled
Example 2.9

Problem: Show that if f=u+ivf = u + iv is analytic and uu is constant, then ff is constant.

Solution:

If uu is constant, then ux=uy=0u_x = u_y = 0

By CR equations: vy=ux=0v_y = u_x = 0 and vx=uy=0v_x = -u_y = 0

Therefore vv is also constant, so f=u+ivf = u + iv is constant.

Properties of Conjugate Functions

Theorem 2.7: Analyticity and Conjugates
f(z)=zf(z) = \overline{z} is nowhere analytic. More generally, if ff is analytic and non-constant, then f(z)\overline{f(\overline{z})} is also analytic (in a reflected domain).
Example 2.10

Problem: Determine where f(z)=z+zf(z) = z + \overline{z} is analytic.

Solution:

f(z)=z+z=(x+iy)+(xiy)=2xf(z) = z + \overline{z} = (x + iy) + (x - iy) = 2x

So u=2xu = 2x, v=0v = 0

ux=2u_x = 2, uy=0u_y = 0, vx=0v_x = 0, vy=0v_y = 0

CR requires ux=2=vy=0u_x = 2 = v_y = 0, which is impossible.

Therefore ff is nowhere analytic.

Example 2.11

Problem: Verify that f(z)=1zf(z) = \frac{1}{z} is analytic for z0z \neq 0.

Solution:

Write f(z)=1z=zz2=xiyx2+y2=xx2+y2iyx2+y2f(z) = \frac{1}{z} = \frac{\overline{z}}{|z|^2} = \frac{x - iy}{x^2 + y^2} = \frac{x}{x^2 + y^2} - i\frac{y}{x^2 + y^2}

So u=xx2+y2u = \frac{x}{x^2 + y^2}, v=yx2+y2v = -\frac{y}{x^2 + y^2}

Computing derivatives:

ux=y2x2(x2+y2)2u_x = \frac{y^2 - x^2}{(x^2 + y^2)^2}, uy=2xy(x2+y2)2u_y = \frac{-2xy}{(x^2 + y^2)^2}

vx=2xy(x2+y2)2v_x = \frac{2xy}{(x^2 + y^2)^2}, vy=x2y2(x2+y2)2v_y = \frac{x^2 - y^2}{(x^2 + y^2)^2}

Check CR: ux=y2x2(x2+y2)2=vyu_x = \frac{y^2 - x^2}{(x^2 + y^2)^2} = v_y

uy=2xy(x2+y2)2=vxu_y = \frac{-2xy}{(x^2 + y^2)^2} = -v_x

CR equations are satisfied for z0z \neq 0, so ff is analytic there.

Study Tips for Analytic Functions

1. Always Check CR Equations

To verify analyticity, compute ux,uy,vx,vyu_x, u_y, v_x, v_y and check both CR equations: ux=vyu_x = v_y and uy=vxu_y = -v_x. Remember: CR equations are necessary but not sufficient without continuity of partial derivatives.

2. Finding Harmonic Conjugates

Use CR equations: integrate vy=uxv_y = u_x to get vv with an unknown function g(x)g(x), then use vx=uyv_x = -u_y to determine g(x)g(x). The conjugate is unique up to an additive constant.

3. Common Non-Analytic Functions

Functions involving z\overline{z} or z|z| are typically not analytic:

  • z\overline{z} - nowhere analytic
  • z|z| - only differentiable at z=0z = 0
  • Re(z)\text{Re}(z) - nowhere analytic

4. Domain Considerations

Analyticity is a local property, but many theorems require the function to be analytic in an entire domain. Always check the domain carefully, especially for functions like lnz\ln z or z\sqrt{z}.

5. Real-World Applications

Analytic functions and harmonic functions have numerous applications:

  • Electrostatics: The real part of an analytic function represents the electric potential, while the imaginary part represents the electric field lines
  • Fluid Dynamics: In potential flow theory, the velocity potential and stream function are harmonic conjugates
  • Heat Transfer: Steady-state temperature distributions satisfy Laplace's equation, making them harmonic
  • Signal Processing: Analytic signals (complex-valued signals with no negative frequency components) are fundamental in communications

6. Practice Strategy

Start with simple polynomial functions, then progress to rational functions and transcendental functions. Always verify your work by checking both CR equations and computing the derivative. Practice finding harmonic conjugates systematically using the integration method.

Additional Worked Examples

Example 2.12

Problem: Determine where f(z)=zzf(z) = \frac{z}{\overline{z}} is differentiable.

Solution:

Write f(z)=zz=z2z2=(x+iy)2x2+y2=x2y2+2ixyx2+y2f(z) = \frac{z}{\overline{z}} = \frac{z^2}{|z|^2} = \frac{(x+iy)^2}{x^2+y^2} = \frac{x^2-y^2+2ixy}{x^2+y^2}

So u=x2y2x2+y2u = \frac{x^2-y^2}{x^2+y^2}, v=2xyx2+y2v = \frac{2xy}{x^2+y^2} (for z0z \neq 0)

Computing partial derivatives and checking CR equations shows they are not satisfied anywhere except possibly at isolated points. Therefore, ff is nowhere differentiable.

Example 2.13

Problem: Show that if f=u+ivf = u + iv is analytic and u2+v2u^2 + v^2 is constant, then ff is constant.

Solution:

If u2+v2=Cu^2 + v^2 = C (constant), differentiate with respect to xx:

2uux+2vvx=02uu_x + 2vv_x = 0, so uux+vvx=0uu_x + vv_x = 0

Using CR equations: uuxvuy=0uu_x - vu_y = 0 (since vx=uyv_x = -u_y)

Similarly, uuy+vvy=0uu_y + vv_y = 0 gives uuy+vux=0uu_y + vu_x = 0

Solving these, if u2+v20u^2 + v^2 \neq 0, we get ux=uy=0u_x = u_y = 0, so uu is constant, and by CR equations, vv is also constant.

Example 2.14

Problem: Find all analytic functions ff such that f(z)=f(z)f(z) = \overline{f(\overline{z})}.

Solution:

If f=u+ivf = u + iv, then f(z)=u(x,y)+iv(x,y)=u(x,y)iv(x,y)\overline{f(\overline{z})} = \overline{u(x,-y) + iv(x,-y)} = u(x,-y) - iv(x,-y)

The condition implies u(x,y)=u(x,y)u(x,y) = u(x,-y) and v(x,y)=v(x,y)v(x,y) = -v(x,-y).

If ff is analytic, its real and imaginary parts are harmonic and satisfy these symmetry conditions. Functions of the form f(z)=g(z)+g(z)f(z) = g(z) + \overline{g(z)} where gg is analytic satisfy this.

Example 2.15

Problem: Prove that if ff is analytic and f|f| is constant, then ff is constant.

Solution:

If f2=u2+v2=C|f|^2 = u^2 + v^2 = C is constant, then by the previous example, ff is constant.

Alternatively, if f=C|f| = C and f0f \neq 0, then 1/f1/f is analytic and 1/f=1/C|1/f| = 1/C. By maximum modulus principle, both f|f| and 1/f|1/f| are constant, so ff must be constant.

Cauchy-Riemann Equations in Polar Form

Theorem 2.8: CR Equations in Polar Coordinates
If f(z)=u(r,θ)+iv(r,θ)f(z) = u(r,\theta) + iv(r,\theta) where z=reiθz = re^{i\theta}, then ff is analytic if and only if:
ur=1rvθ,vr=1ruθ\frac{\partial u}{\partial r} = \frac{1}{r}\frac{\partial v}{\partial\theta}, \quad \frac{\partial v}{\partial r} = -\frac{1}{r}\frac{\partial u}{\partial\theta}
(provided the partial derivatives exist and are continuous).
Example 2.16

Problem: Verify that f(z)=znf(z) = z^n satisfies the polar CR equations.

Solution:

Write zn=rneinθ=rncos(nθ)+irnsin(nθ)z^n = r^n e^{in\theta} = r^n\cos(n\theta) + ir^n\sin(n\theta)

So u=rncos(nθ)u = r^n\cos(n\theta), v=rnsin(nθ)v = r^n\sin(n\theta)

ur=nrn1cos(nθ)=1rnrnsin(nθ)=1rvθ\frac{\partial u}{\partial r} = nr^{n-1}\cos(n\theta) = \frac{1}{r} \cdot nr^n\sin(n\theta) = \frac{1}{r}\frac{\partial v}{\partial\theta}

vr=nrn1sin(nθ)=1r(nrncos(nθ))=1ruθ\frac{\partial v}{\partial r} = nr^{n-1}\sin(n\theta) = -\frac{1}{r} \cdot (-nr^n\cos(n\theta)) = -\frac{1}{r}\frac{\partial u}{\partial\theta}

Remark 2.3
The polar form of CR equations is particularly useful when dealing with functions that are naturally expressed in polar coordinates, such as functions involving powers or logarithms.
Example 2.17

Problem: Verify the polar CR equations for f(z)=lnzf(z) = \ln z (principal branch).

Solution:

In polar form: lnz=lnr+iθ\ln z = \ln r + i\theta where z=reiθz = re^{i\theta}

So u(r,θ)=lnru(r,\theta) = \ln r, v(r,θ)=θv(r,\theta) = \theta

ur=1/ru_r = 1/r, vθ=1v_\theta = 1, so ur=vθ/ru_r = v_\theta/r

uθ=0u_\theta = 0, vr=0v_r = 0, so vr=uθ/rv_r = -u_\theta/r

Example 2.18

Problem: Show that if f=u+ivf = u + iv is analytic and uu is harmonic, then vv is also harmonic.

Solution:

From CR equations: ux=vyu_x = v_y and uy=vxu_y = -v_x

Differentiating: vxx=uyx=uxy=(vyy)v_{xx} = -u_{yx} = -u_{xy} = -(v_{yy}) (using equality of mixed partials)

Therefore: vxx+vyy=0v_{xx} + v_{yy} = 0, so vv is harmonic.

Example 2.19

Problem: Find the harmonic conjugate of u(x,y)=x33xy2u(x,y) = x^3 - 3xy^2.

Solution:

First verify uu is harmonic: uxx=6xu_{xx} = 6x, uyy=6xu_{yy} = -6x, so uxx+uyy=0u_{xx} + u_{yy} = 0

From CR equations: vy=ux=3x23y2v_y = u_x = 3x^2 - 3y^2

Integrating with respect to yy: v=3x2yy3+g(x)v = 3x^2y - y^3 + g(x) for some function g(x)g(x)

Also: vx=uy=6xyv_x = -u_y = 6xy

Differentiating our expression: vx=6xy+g(x)=6xyv_x = 6xy + g'(x) = 6xy

So g(x)=0g'(x) = 0, hence g(x)=Cg(x) = C (constant)

Therefore: v(x,y)=3x2yy3+Cv(x,y) = 3x^2y - y^3 + C

The analytic function is: f(z)=u+iv=x33xy2+i(3x2yy3)+iC=z3+iCf(z) = u + iv = x^3 - 3xy^2 + i(3x^2y - y^3) + iC = z^3 + iC

Example 2.20

Problem: Determine if f(z)=ex(cosy+isiny)f(z) = e^x(\cos y + i\sin y) is analytic and find its derivative.

Solution:

Here u=excosyu = e^x\cos y, v=exsinyv = e^x\sin y

Check CR equations:

ux=excosyu_x = e^x\cos y, vy=excosyv_y = e^x\cos yux=vyu_x = v_y

uy=exsinyu_y = -e^x\sin y, vx=exsinyv_x = e^x\sin yuy=vxu_y = -v_x

Since partial derivatives are continuous everywhere, ff is analytic everywhere.

The derivative: f(z)=ux+ivx=excosy+iexsiny=ex(cosy+isiny)=f(z)f'(z) = u_x + iv_x = e^x\cos y + ie^x\sin y = e^x(\cos y + i\sin y) = f(z)

Note: This is f(z)=ezf(z) = e^z in disguise, confirming that (ez)=ez(e^z)' = e^z.

Example 2.21

Problem: Show that f(z)=1zf(z) = \frac{1}{z} is analytic in C{0}\mathbb{C} \setminus \{0\} using CR equations.

Solution:

Write f(z)=1z=zz2=xiyx2+y2=xx2+y2iyx2+y2f(z) = \frac{1}{z} = \frac{\overline{z}}{|z|^2} = \frac{x - iy}{x^2 + y^2} = \frac{x}{x^2+y^2} - i\frac{y}{x^2+y^2}

So u=xx2+y2u = \frac{x}{x^2+y^2}, v=yx2+y2v = -\frac{y}{x^2+y^2}

Computing partial derivatives:

ux=(x2+y2)x(2x)(x2+y2)2=y2x2(x2+y2)2u_x = \frac{(x^2+y^2) - x(2x)}{(x^2+y^2)^2} = \frac{y^2 - x^2}{(x^2+y^2)^2}

vy=(x2+y2)y(2y)(x2+y2)2=x2y2(x2+y2)2=y2x2(x2+y2)2v_y = -\frac{(x^2+y^2) - y(2y)}{(x^2+y^2)^2} = -\frac{x^2 - y^2}{(x^2+y^2)^2} = \frac{y^2 - x^2}{(x^2+y^2)^2}

So ux=vyu_x = v_y

uy=x(2y)(x2+y2)2=2xy(x2+y2)2u_y = \frac{-x(2y)}{(x^2+y^2)^2} = \frac{-2xy}{(x^2+y^2)^2}

vx=y(2x)(x2+y2)2=2xy(x2+y2)2v_x = \frac{y(2x)}{(x^2+y^2)^2} = \frac{2xy}{(x^2+y^2)^2}

So uy=vxu_y = -v_x

Since partial derivatives are continuous for z0z \neq 0, ff is analytic in C{0}\mathbb{C} \setminus \{0\}.

Example 2.22

Problem: Find an analytic function f(z)f(z) such that Re(f)=x2y2+2x\text{Re}(f) = x^2 - y^2 + 2x and f(0)=0f(0) = 0.

Solution:

Given u(x,y)=x2y2+2xu(x,y) = x^2 - y^2 + 2x

Verify harmonic: uxx=2u_{xx} = 2, uyy=2u_{yy} = -2, so uxx+uyy=0u_{xx} + u_{yy} = 0

From CR: vy=ux=2x+2v_y = u_x = 2x + 2

Integrating: v=2xy+2y+g(x)v = 2xy + 2y + g(x)

Also: vx=uy=2yv_x = -u_y = 2y

Differentiating: vx=2y+g(x)=2yv_x = 2y + g'(x) = 2y, so g(x)=0g'(x) = 0, hence g(x)=Cg(x) = C

Therefore: f(z)=x2y2+2x+i(2xy+2y)+iCf(z) = x^2 - y^2 + 2x + i(2xy + 2y) + iC

Simplifying: f(z)=(x2y2+2ixy)+2(x+iy)+iC=z2+2z+iCf(z) = (x^2 - y^2 + 2ixy) + 2(x + iy) + iC = z^2 + 2z + iC

Using f(0)=0f(0) = 0: 0+0+iC=00 + 0 + iC = 0, so C=0C = 0

Final answer: f(z)=z2+2zf(z) = z^2 + 2z

Practice Problems

Analytic Functions & CR Equations Practice
10
Questions
0
Correct
0%
Accuracy
1
A function f(z)=u(x,y)+iv(x,y)f(z) = u(x,y) + iv(x,y) is differentiable at z0z_0 if and only if:
Medium
Not attempted
2
If f(z)=z2f(z) = z^2, then the Cauchy-Riemann equations are satisfied:
Medium
Not attempted
3
A function f(z)f(z) is analytic in a domain DD if:
Easy
Not attempted
4
If u(x,y)u(x,y) is harmonic, then there exists an analytic function f(z)f(z) such that:
Hard
Not attempted
5
The function f(z)=zˉf(z) = \bar{z} is:
Medium
Not attempted
6
If f(z)f(z) is analytic and f(z)=0f'(z) = 0 for all zz in a domain DD, then:
Easy
Not attempted
7
The real and imaginary parts of an analytic function are:
Medium
Not attempted
8
For f(z)=ezf(z) = e^z, the derivative is:
Easy
Not attempted
9
The function f(z)=z2f(z) = |z|^2 is differentiable:
Hard
Not attempted
10
If uu and vv are harmonic conjugates, then:
Medium
Not attempted

Frequently Asked Questions

What is the difference between differentiable and analytic?

A function is differentiable at a point if the derivative exists there. A function is analytic (holomorphic) in a domain if it is differentiable at every point in that domain. Analyticity is a stronger condition requiring differentiability in an open neighborhood.

Why are the Cauchy-Riemann equations necessary?

The CR equations express the fact that the derivative must be the same regardless of the direction of approach. In real analysis, we approach from left/right; in complex analysis, we can approach from infinitely many directions, requiring consistency that leads to the CR equations.

Can a function satisfy CR equations but not be differentiable?

Yes, if the partial derivatives exist but are not continuous, the function may satisfy CR equations at a point but not be differentiable. For differentiability, we need CR equations plus continuity of partial derivatives (or stronger conditions).

What is a harmonic function?

A harmonic function $u(x,y)$ satisfies Laplace's equation $\Delta u = u_{xx} + u_{yy} = 0$. The real and imaginary parts of analytic functions are always harmonic, and any harmonic function in a simply connected domain is the real part of some analytic function.

How do I find a harmonic conjugate?

Given a harmonic function $u(x,y)$, find $v$ such that $u_x = v_y$ and $u_y = -v_x$. Integrate $v_y = u_x$ with respect to $y$ to get $v$ up to a function of $x$, then use $u_y = -v_x$ to determine that function.