Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

8.4: Complex Differentiation

( \newcommand{\kernel}{\mathrm{null}\,}\)

Next we want to differentiate complex functions. We generalize the definition from single variable calculus,

f(z)=limΔz0f(z+Δz)f(z)Δz,

provided this limit exists.

The computation of this limit is similar to what one sees in multivariable calculus for limits of real functions of two variables. Letting z=x+iy and δz=δx+iδy, then

z+δx=(x+δx)+i(y+δy)

Letting Δz0 means that we get closer to z. There are many paths that one can take that will approach z. [See Figure 8.4.1.]

clipboard_ec57ab6f524c1c92327e32a7ad38faa76.png
Figure 8.4.1: There are many paths that approach z as Δz0.

It is sufficient to look at two paths in particular. We first consider the path y= constant. This horizontal path is shown in Figure 8.4.2. For this path, Δz=Δx+iΔy=Δx, since y does not change along the path. The derivative, if it exists, is then computed as

f(z)=limΔz0f(z+Δz)f(z)Δz=limΔx0u(x+Δx,y)+iv(x+Δx,y)(u(x,y)+iv(x,y))Δx=limΔx0u(x+Δx,y)u(x,y)Δx+limΔx0iv(x+Δx,y)v(x,y)Δx

The last two limits are easily identified as partial derivatives of real valued functions of two variables. Thus, we have shown that when f(z) exists,

f(z)=ux+ivx

clipboard_eee26c39b47b5a868dd6c070a54ab3e3e.png
Figure 8.4.2: A path that approaches z with y= constant.

A similar computation can be made if instead we take the vertical path, x= constant, in Figure 8.4.1). In this case Δz=iΔy and

f(z)=limΔz0f(z+Δz)f(z)Δz=limΔy0u(x,y+Δy)+iv(x,y+Δy)(u(x,y)+iv(x,y))iΔy=limΔy0u(x,y+Δy)u(x,y)iΔy+limΔy0v(x,y+Δy)v(x,y)Δy

Therefore,

f(z)=vyiuy.

We have found two different expressions for f(z) by following two different paths to z. If the derivative exists, then these two expressions must be the same. Equating the real and imaginary parts of these expressions, we have

ux=vyvx=uy

These are known as the Cauchy-Riemann equations1.

Note

Augustin-Louis Cauchy (17891857) was a French mathematician well known for his work in analysis. Georg Friedrich Bernhard Riemann (18261866) was a German mathematician who made major contributions to geometry and analysis.

Theorem 8.4.1

f(z) is holomorphic (differentiable) if and only if the Cauchy-Riemann equations are satisfied.

Example 8.4.1

f(z)=z2.

Solution

In this case we have already seen that z2=x2y2+2ixy. Therefore, u(x,y)= x2y2 and v(x,y)=2xy. We first check the Cauchy-Riemann equations.

ux=2x=vyvx=2y=uy.

Therefore, f(z)=z2 is differentiable.

We can further compute the derivative using either Equation (???) or Equation (???). Thus,

f(z)=ux+ivx=2x+i(2y)=2z.

This result is not surprising.

Example 8.4.2

f(z)=ˉz.

Solution

In this case we have f(z)=xiy. Therefore, u(x,y)=x and v(x,y)=y. But, ux=1 and vy=1. Thus, the Cauchy-Riemann equations are not satisfied and we conclude the f(z)=ˉz is not differentiable.

Note

Harmonic functions satisfy Laplace’s equation.

Another consequence of the Cauchy-Riemann equations is that both u(x,y) and v(x,y) are harmonic functions. A real-valued function u(x,y) is harmonic if it satisfies Laplace’s equation in 2D,2u=0, or

2ux2+2uy2=0

Theorem 8.4.1

f(z)=u(x,y)+iv(x,y) is differentiable if and only if u and v are harmonic functions.

This is easily proven using the Cauchy-Riemann equations.

2ux2=xux=xvy=yvx=yuy=2uy2

Example 8.4.3

Is u(x,y)=x2+y2 harmonic?

Solution

2ux2+2uy2=2+20.

No, it is not.

Example 8.4.4

Is u(x,y)=x2y2 harmonic?

Solution

2ux2+2uy2=22=0

Yes, it is.

Given a harmonic function u(x,y), can one find a function, v(x,y), such The harmonic conjugate function. f(z)=u(x,y)+iv(x,y) is differentiable? In this case, v are called the harmonic conjugate of u.

Example 8.4.5

Find the harmonic conjugate of u(x,y)=x2y2 and determine f(z)=u+iv such that u+iv is differentiable.

Solution

The Cauchy-Riemann equations tell us the following about the unknown function, v(x,y) :

vx=uy=2y,vy=ux=2x.

We can integrate the first of these equations to obtain

v(x,y)=2ydx=2xy+c(y)

Here c(y) is an arbitrary function of y. One can check to see that this works by simply differentiating the result with respect to x.

However, the second equation must also hold. So, we differentiate the result with respect to y to find that

vy=2x+c(y)

Since we were supposed to get 2x, we have that c(y)=0. Thus, c(y)=k is a constant.

We have just shown that we get an infinite number of functions,

v(x,y)=2xy+k,

such that

f(z)=x2y2+i(2xy+k)

is differentiable. In fact, for k=0 this is nothing other than f(z)=z2.


This page titled 8.4: Complex Differentiation is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by Russell Herman via source content that was edited to the style and standards of the LibreTexts platform.

Support Center

How can we help?