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

Open sets in the complex plane

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

Complex differentiability

Recall that a function ${\displaystyle f:\mathbb {R} \to \mathbb {R} }$  is differentiable at ${\displaystyle x_{0}}$  iff the limit

${\displaystyle \lim _{h\to 0}{\frac {f(x_{0}+h)-f(x_{0})}{h}}}$

exists, and in this case the derivative ${\displaystyle f'(x_{0})}$  is defined as the value of that limit. By analogy, we infer the analogous definition for functions ${\displaystyle f:\mathbb {C} \to \mathbb {C} }$ :

Definition 2.1:

Let ${\displaystyle O\subseteq \mathbb {C} }$  be open, and let ${\displaystyle f:O\to \mathbb {C} }$  be a function. Let ${\displaystyle z_{0}\in O}$ . We say that ${\displaystyle f}$  is complex differentiable in ${\displaystyle z_{0}}$  iff

${\displaystyle \lim _{|h|\to 0}{\frac {f(z_{0}+h)-f(z_{0})}{h}}}$ ,

where this time ${\displaystyle h}$  is complex, exists, and in this case we write ${\displaystyle f'(z_{0})}$  as an abbreviation for that limit. If the function is complex differentiable on all its domain of definition (in this case ${\displaystyle O}$ ), we say that ${\displaystyle f}$  is holomorphic.

The derivative is linear in the following sense:

Theorem 2.3:

Since a complex number is a tuple ${\displaystyle (x,y)}$  in ${\displaystyle \mathbb {R} ^{2}}$ , a map ${\displaystyle f:O\to \mathbb {C} }$  is tantamount to a map ${\displaystyle f:\mathbb {R} ^{2}\supset O\to \mathbb {R} ^{2}}$ . The complex differentiability of ${\displaystyle 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 ${\displaystyle f}$  (in the sense of existence of partial derivatives) will follow, and hence, we have a Jacobian matrix which equals the differential of ${\displaystyle f}$ . However, the converse is not true: If ${\displaystyle f\in {\mathcal {C}}^{1}(O,\mathbb {R} ^{2})}$  in the sense of real numbers (that is, considering ${\displaystyle f}$  as a map ${\displaystyle \mathbb {R} ^{2}\to \mathbb {R} ^{2}}$ : All partial derivatives exist and are continuous), we don't know yet whether ${\displaystyle f}$  is holomorphic or not. The next section will make that precise.

The Cauchy–Riemann equations

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

Theorem 2.3:

Let ${\displaystyle f:O\to \mathbb {R} ^{2}}$  be continuously differentiable at ${\displaystyle (x_{0},y_{0})}$ , that is, all partial derivatives exist and are continuous, both at ${\displaystyle (x_{0},y_{0})}$ . Then ${\displaystyle f}$  as a function ${\displaystyle O\to \mathbb {C} }$  is complex differentiable in ${\displaystyle z_{0}:=x_{0}+iy_{0}=(x_{0},y_{0})}$  if and only if the Cauchy–Riemann equations, given by

${\displaystyle {\frac {\partial f_{1}}{\partial x}}={\frac {\partial f_{2}}{\partial y}}}$  and ${\displaystyle {\frac {\partial f_{1}}{\partial y}}=-{\frac {\partial f_{2}}{\partial x}}}$ ,

are satisfied, where ${\displaystyle f=(f_{1},f_{2})=f_{1}+if_{2}}$ .

Proof:

For the whole proof, note that if ${\displaystyle h=(h_{1},h_{2})}$ , then ${\displaystyle |h|=\|h\|=\|(h_{1},h_{2})\|}$  for ${\displaystyle h\in \mathbb {C} }$ .

If ${\displaystyle f}$  is continuously differentiable in ${\displaystyle z_{0}=(x_{0},y_{0})}$ , then

${\displaystyle f(z_{0}+h)=f((x_{0},y_{0})+(h_{1},h_{2}))=f(z_{0})+J_{f}(z_{0})h+r(h)}$ , ${\displaystyle r(h)\in o(\|h\|)}$ ,

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

{\displaystyle {\begin{aligned}{\frac {f(z_{0}+h)-f(z_{0})}{h}}&={\frac {J_{f}(z_{0})h+r(h)}{h}}\\&={\frac {h_{1}-ih_{2}}{|h|^{2}}}J_{f}(z_{0})h+{\frac {r(h)}{h}}\\&={\frac {h_{1}-ih_{2}}{\|h\|^{2}}}{\begin{pmatrix}\partial _{x}f_{1}&\partial _{y}f_{1}\\\partial _{x}f_{2}&\partial _{y}f_{2}\end{pmatrix}}{\begin{pmatrix}h_{1}\\h_{2}\end{pmatrix}}+{\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\left[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})\right]}{\|h\|^{2}}}+{\frac {r(h)}{h}}.\end{aligned}}}

If the Cauchy–Riemann equations are satisfied, we may replace ${\displaystyle \partial _{y}f_{2}}$  by ${\displaystyle \partial _{x}f_{1}}$  and ${\displaystyle \partial _{x}f_{2}}$  by ${\displaystyle -\partial _{y}f_{1}}$  in the latter expression and obtain

${\displaystyle \lim _{|h|\to 0}{\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

${\displaystyle \lim _{|h|\to 0}{\frac {f(z_{0}+h)-f(z_{0})}{h}}}$

does exist, then in particular we are free to choose ${\displaystyle h=(h_{1},0)}$  for real positive ${\displaystyle h_{1}>0}$  to get

${\displaystyle \lim _{|h|\to 0}{\frac {f(z_{0}+h)-f(z_{0})}{h}}=\lim _{|h|\to 0}{\frac {h_{1}(h_{1}\partial _{x}f_{1})+ih_{1}(h_{1}\partial _{x}f_{2})}{\|h\|^{2}}}=\partial _{x}f_{1}+i\partial _{x}f_{2}}$

and similarly ${\displaystyle h=(0,h_{2})}$  for real, positive ${\displaystyle h_{2}>0}$  to get

${\displaystyle \lim _{|h|\to 0}{\frac {f(z_{0}+h)-f(z_{0})}{h}}=\lim _{|h|\to 0}{\frac {h_{2}(h_{2}\partial _{y}f_{2})-ih_{2}(h_{2}\partial _{y}f_{1})}{\|h\|^{2}}}=\partial _{y}f_{2}-i\partial _{y}f_{1}}$

and hence the Cauchy–Riemann equations.${\displaystyle \Box }$

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).

Theorem 2.4 (chain rule):

Let ${\displaystyle f:O\to \mathbb {C} }$  be complex differentiable at ${\displaystyle z_{0}}$  and let ${\displaystyle g:U\to \mathbb {C} }$  be complex differentiable at ${\displaystyle f(z_{0})}$  (this means of course that ${\displaystyle f(z_{0})}$  must lay in ${\displaystyle U}$ ). Then ${\displaystyle g\circ f}$  is complex differentiable at ${\displaystyle z_{0}}$  and

${\displaystyle (g\circ f)'(z_{0})=g'(f(z_{0}))f'(z_{0})}$ .

Proof:

Set

${\displaystyle Q(w):={\begin{cases}{\frac {(g\circ f)(w)-(g\circ f)(z_{0})}{f(w)-f(z_{0})}}&f(w)\neq f(z_{0})\\g'(f(z_{0}))&{\text{otherwise}}\end{cases}}}$

Then

${\displaystyle \lim _{h\to 0}{\frac {(g\circ f)(z_{0}+h)-(g\circ f)(z_{0})}{h}}=\lim _{h\to 0}Q(z_{0}+h){\frac {f(z_{0}+h)-f(z_{0})}{h}}=g'(f(z_{0}))f'(z_{0})}$

by the continuity of ${\displaystyle f}$  at ${\displaystyle z_{0}}$  (which can be easily proven by multiplying the limit definition of complex differentiability by ${\displaystyle h}$  and observing that the limit is then ${\displaystyle 0}$  by multiplicativity of limits).${\displaystyle \Box }$

Theorem 2.5 (product rule):

Let ${\displaystyle f,g:O\to \mathbb {C} }$  be complex differentiable at ${\displaystyle z_{0}}$ . Then the product function ${\displaystyle fg:z\mapsto f(z)g(z)}$  is complex differentiable at ${\displaystyle z_{0}}$  and

${\displaystyle (fg)'(z_{0})=f(z_{0})g'(z_{0})+g(z_{0})f'(z_{0})}$ .

Proof:

{\displaystyle {\begin{aligned}\lim _{h\to 0}{\frac {f(z_{0}+h)g(z_{0}+h)-f(z_{0})g(z_{0})}{h}}&=\lim _{h\to 0}{\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}}\\&=\lim _{h\to 0}g(z_{0}+h){\frac {f(z_{0}+h)-f(z_{0})}{h}}+f(z_{0})g'(z_{0}).\end{aligned}}} ${\displaystyle \Box }$

Theorem 2.6 (quotient rule):

Assume that ${\displaystyle f,g:O\to \mathbb {C} }$  are complex differentiable at ${\displaystyle z_{0}}$  and ${\displaystyle g(z_{0})\neq 0}$ . By continuity of ${\displaystyle g}$ , the function ${\displaystyle {\frac {f}{g}}}$  exists on a small ball around ${\displaystyle z_{0}}$ . It is then complex differentiable at ${\displaystyle z_{0}}$  and the derivative equals

${\displaystyle \left({\frac {f}{g}}\right)'(z_{0})={\frac {f'(z_{0})g(z_{0})-f(z_{0})g'(z_{0})}{g(z_{0})^{2}}}}$ .

Proof:

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

{\displaystyle {\begin{aligned}\lim _{h\to 0}{\frac {(z+h)^{-1}-z^{-1}}{h}}&=\lim _{h\to 0}{\frac {}{}}\end{aligned}}}

Hence, product and chain rule imply

{\displaystyle {\begin{aligned}\left({\frac {f}{g}}\right)'(z_{0})&=\left(f{\frac {1}{g}}\right)'(z_{0})\\&=f'(z_{0}){\frac {1}{g(z_{0})}}+f(z_{0})\left({\frac {1}{g}}\right)'(z_{0})\\&=f'(z_{0}){\frac {1}{g(z_{0})}}-f(z_{0}){\frac {1}{g(z_{0})^{2}}}g'(z_{0}).\end{aligned}}} ${\displaystyle \Box }$

Theorem 2.7 (inverse rule):

Assume ${\displaystyle f:O\to O}$  is a bijective function that is complex differentiable at ${\displaystyle z_{0}}$ . Then ${\displaystyle f^{-1}}$  is complex differentiable at ${\displaystyle f(z_{0})}$  and

${\displaystyle }$.

Proof:

Derivatives of polynomials

Theorem 2.8:

Let ${\displaystyle n\in \mathbb {N} }$ . Then a derivative of ${\displaystyle f(z)=z^{n}}$  at any ${\displaystyle z\in \mathbb {C} }$  is given by

${\displaystyle f'(z)=nz^{n-1}}$ .

Proof:

{\displaystyle {\begin{aligned}\lim _{h\to 0}{\frac {f(z+h)-f(z)}{h}}&=\lim _{h\to 0}{\frac {\sum _{k=0}^{n}{\binom {n}{k}}z^{k}h^{n-k}-z^{n}}{h}}\\&=\lim _{h\to 0}{\frac {z^{n}-z^{n}+hnz^{n-1}+\sum _{k=0}^{n-2}{\binom {n}{k}}z^{k}h^{n-k}}{h}}=nz^{n-1}\end{aligned}}}

by the binomial theorem.${\displaystyle \Box }$

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

${\displaystyle p(z)=a_{n}z^{n}+\cdots +a_{1}z+a_{0}\Rightarrow p'(z)=na_{n}z^{n-1}+\cdots +2a_{2}z+a_{1}}$ .

Exercises

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