Complex Analysis/Complex differentiable, holomorphic, Cauchy–Riemann equations

Open sets in the complex plane

Since the complex numbers $ℂ$ are nothing but ${ℝ}^2$ with a multiplicative structure, the notion of open sets carries over from ${ℝ}^2$ to $ℂ$. Hence, we consider a set $O\subseteq ℂ$ open if and only if $O$ is open as a subset of ${ℝ}^2$ (that is, around each point $z_0\in O$ there exists a ball around $z_0$ completely contained within $O$) w.r.t. Euclidean norm (or any other norm, due to norm equivalence).

Complex differentiability

Recall that a function $f:ℝ\to ℝ$ is differentiable at $x_0$ iff the limit

$\underset{h\to 0}{\lim }\frac{f(x_0+h)-f(x_0)}{h}$

exists, and in this case the derivative $f^{\prime }(x_0)$ is defined as the value of that limit. By analogy, we infer the analogous definition for functions $f:ℂ\to ℂ$:

The derivative is linear in the following sense:

Since a complex number is a tuple $(x,y)$ in ${ℝ}^2$, a map $f:O\to ℂ$ is tantamount to a map $f:{ℝ}^2\supset O\to {ℝ}^2$. The complex differentiability of $f$ at a certain point implies its real differentiability, in the sense that the directional derivatives exist. In fact, we will later prove that in case of holomorphy, even continuous differentiability of $f$ (in the sense of existence of partial derivatives) will follow, and hence, we have a Jacobian matrix which equals the differential of $f$. However, the converse is not true: If $f\in {𝒞}^1(O,{ℝ}^2)$ in the sense of real numbers (that is, considering $f$ as a map ${ℝ}^2\to {ℝ}^2$: All partial derivatives exist and are continuous), we don't know yet whether $f$ is holomorphic or not. The next section will make that precise.

The Cauchy–Riemann equations

If $f\in {𝒞}^1$ in the real sense, then there is a precise criterion for when $f$ is complex differentiable. This is given by the Cauchy–Riemann equations:

Proof:

For the whole proof, note that if $h=(h_1,h_2)$, then $|h|=\Vert h\Vert =\Vert (h_1,h_2)\Vert$ for $h\in ℂ$.

If $f$ is continuously differentiable in $z_0=(x_0,y_0)$, then

$f(z_0+h)=f((x_0,y_0)+(h_1,h_2))=f(z_0)+J_f(z_0)h+r(h)$, $r(h)\in o(\Vert h\Vert )$,

where $r(h)\in o(\Vert h\Vert )$ means $\underset{h\to 0}{\lim }\frac{r(h)}{\Vert h\Vert }=0$. Thus, in this case,

$\begin{array}{cc}\frac{f(z_0+h)-f(z_0)}{h}& =\frac{J_f(z_0)h+r(h)}{h}\\ & =\frac{h_1-i{h}_2}{|h{|}^2}{J}_f(z_0)h+\frac{r(h)}{h}\\ & =\frac{h_1-i{h}_2}{\Vert h{\Vert }^2}\left(\begin{array}{cc}{\partial }_x{f}_1& {\partial }_y{f}_1\\ {\partial }_x{f}_2& {\partial }_y{f}_2\end{array}\right)\left(\begin{array}{c}{h}_1\\ h_2\end{array}\right)+\frac{r(h)}{h}\\ & =\frac{h_1(h_1{\partial }_x{f}_1+h_2{\partial }_y{f}_1)+h_2(h_1{\partial }_x{f}_2+h_2{\partial }_y{f}_2)+i[h_1(h_1{\partial }_x{f}_2+h_2{\partial }_y{f}_2)-h_2(h_1{\partial }_x{f}_1+h_2{\partial }_y{f}_1)]}{\Vert h{\Vert }^2}+\frac{r(h)}{h}.\end{array}$

If the Cauchy–Riemann equations are satisfied, we may replace ${\partial }_y{f}_2$ by ${\partial }_x{f}_1$ and ${\partial }_x{f}_2$ by $-{\partial }_y{f}_1$ in the latter expression and obtain

$\underset{|h|\to 0}{\lim }\frac{f(z_0+h)-f(z_0)}{h}={\partial }_x{f}_1-i{\partial }_y{f}_1$

(whereby we also obtained another formula for the complex derivative). On the other hand, if the limit

$\underset{|h|\to 0}{\lim }\frac{f(z_0+h)-f(z_0)}{h}$

does exist, then in particular we are free to choose $h=(h_1,0)$ for real positive $h_1>0$ to get

$\underset{|h|\to 0}{\lim }\frac{f(z_0+h)-f(z_0)}{h}=\underset{|h|\to 0}{\lim }\frac{h_1(h_1{\partial }_x{f}_1)+i{h}_1(h_1{\partial }_x{f}_2)}{\Vert h{\Vert }^2}={\partial }_x{f}_1+i{\partial }_x{f}_2$

and similarly $h=(0,h_2)$ for real, positive $h_2>0$ to get

$\underset{|h|\to 0}{\lim }\frac{f(z_0+h)-f(z_0)}{h}=\underset{|h|\to 0}{\lim }\frac{h_2(h_2{\partial }_y{f}_2)-i{h}_2(h_2{\partial }_y{f}_1)}{\Vert h{\Vert }^2}={\partial }_y{f}_2-i{\partial }_y{f}_1$

and hence the Cauchy–Riemann equations.$◻$

Rules for the complex derivative

For the usual real derivative, there are several rules such as the product rule, the chain rule, the quotient rule and the inverse rule. Fortunately, these carry over verbatim to the complex derivative, and even the proofs remain the same (although we will repeat them for the sake of completeness).

Proof:

Set

$Q(w):=\{\begin{array}{cc}\frac{(g\circ f)(w)-(g\circ f)(z_0)}{f(w)-f(z_0)}& f(w)\ne f(z_0)\\ g^{\prime }(f(z_0))& \text{otherwise}\end{array}$

Then

$\underset{h\to 0}{\lim }\frac{(g\circ f)(z_0+h)-(g\circ f)(z_0)}{h}=\underset{h\to 0}{\lim }Q(z_0+h)\frac{f(z_0+h)-f(z_0)}{h}=g^{\prime }(f(z_0))f^{\prime }(z_0)$

by the continuity of $f$ at $z_0$ (which can be easily proven by multiplying the limit definition of complex differentiability by $h$ and observing that the limit is then $0$ by multiplicativity of limits).$◻$

Proof:

$\begin{array}{cc}\underset{h\to 0}{\lim }\frac{f(z_0+h)g(z_0+h)-f(z_0)g(z_0)}{h}& =\underset{h\to 0}{\lim }\frac{f(z_0+h)g(z_0+h)-f(z_0)g(z_0+h)+f(z_0)g(z_0+h)-f(z_0)g(z_0)}{h}\\ & =\underset{h\to 0}{\lim }g(z_0+h)\frac{f(z_0+h)-f(z_0)}{h}+f(z_0)g^{\prime }(z_0).\end{array}$$◻$

Proof:

The derivative of the function $ℂ\setminus \{0\}\to ℂ\setminus \{0\},z\mapsto \frac{1}{z}$ is given by $z\mapsto -\frac{1}{z^2}$; for

$\begin{array}{cc}\underset{h\to 0}{\lim }\frac{(z+h{)}^{-1}-z^{-1}}{h}& =\underset{h\to 0}{\lim }\frac{}{}\end{array}$

Hence, product and chain rule imply

$\begin{array}{cc}\left(\frac{f}{g}\right)(z_0)& =\left(f\frac{1}{g}\right)(z_0)\\ & =f^{\prime }(z_0)\frac{1}{g(z_0)}+f(z_0)\left(\frac{1}{g}\right)(z_0)\\ & =f^{\prime }(z_0)\frac{1}{g(z_0)}-f(z_0)\frac{1}{g(z_0{)}^2}{g}^{\prime }(z_0).\end{array}$$◻$

Proof:

Derivatives of polynomials

Proof:

$\begin{array}{cc}\underset{h\to 0}{\lim }\frac{f(z+h)-f(z)}{h}& =\underset{h\to 0}{\lim }\frac{\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})z^k{h}^{n-k}-z^n}{h}\\ & =\underset{h\to 0}{\lim }\frac{z^n-z^n+hn{z}^{n-1}+\sum _{k=0}^{n-2}(\genfrac{}{}{0ex}{}{n}{k})z^k{h}^{n-k}}{h}=n{z}^{n-1}\end{array}$

by the binomial theorem.$◻$

Due to the linearity of the complex derivative, we can now compute the complex derivative of any polynomial, even with complex coefficients:

$p(z)=a_n{z}^n+\cdots +a_{1}z+a_0\Rightarrow p^{\prime }(z)=n{a}_n{z}^{n-1}+\cdots +2a_{2}z+a_1$.

Exercises

1. Compute the complex derivative of the polynomial $p(z)=5z^4+2z+3\cdot 10^{20}$.