7: Complex Derivatives

Last updated
Save as PDF

Page ID: 34554

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

We have studied functions that take real inputs and give complex outputs (e.g., complex solutions to the damped harmonic oscillator, which are complex functions of time). For such functions, the derivative with respect to its real input is much like the derivative of a real function of real inputs. It is equivalent to taking the derivatives of the real and imaginary parts, separately: \[\frac{d\psi}{dx} = \frac{d\mathrm{Re}(\psi)}{dx} + i \frac{d\mathrm{Im}(\psi)}{dx}.\] Now consider the more complicated case of a function of a complex variable: \[f(z) \in \mathbb{C}, \;\;\mathrm{where}\;\; z \in \mathbb{C}.\] At one level, we could just treat this as a function of two independent real inputs: \(f(x,y)\), where \(z = x + i y\). However, in doing so we would be disregarding the mathematical structure of the complex input—the fact that \(z\) is not merely a collection of two real numbers, but a complex number that can participate in algebraic operations. This structure has important implications for the differential calculus of complex functions.