Introduction to Holomorphic Functions

Holomorphic Functions: Definition, Characterization, and Fundamental Properties Introduction Holomorphic functions form the core of complex analysis. They are complex-valued functions that are differentiable in the complex sense, which turns out to be a remarkably restrictive and elegant condition. Unlike real-valued functions, requiring complex differentiability forces the function to satisfy powerful constraints that lead to unexpected consequences: holomorphic functions are automatically infinitely differentiable, can be represented as power series, and satisfy integral formulas that relate their interior values to their boundary behavior. This section develops these foundational concepts. What Is a Holomorphic Function? A holomorphic function is a complex-valued function $f:\Omega\to\mathbb{C}$ defined on an open set $\Omega\subset\mathbb{C}$ that is complex differentiable at every point in $\Omega$. The condition "complex differentiable" is the key requirement. At a point $z0 \in \Omega$, the function $f$ is complex differentiable if the limit $$f'(z0) = \lim{z\to z0}\frac{f(z)-f(z0)}{z-z0}$$ exists. Here's the crucial point: this limit must be the same regardless of which direction we approach $z0$ from in the complex plane. We can approach along the real axis, the imaginary axis, or any diagonal direction—the derivative must have the same value. This is much more restrictive than real differentiability. For a real function, we only need the derivative from the left and right to match. For a complex function, infinitely many directions must all give the same answer. The Cauchy–Riemann Equations: A Practical Test for Holomorphy Setting Up the Problem To work with complex functions practically, we decompose them into their real and imaginary parts. Write $$f(z) = u(x,y) + i\,v(x,y)$$ where $z = x + iy$, and $u(x,y)$ and $v(x,y)$ are real-valued functions depending on the real variables $x$ and $y$. For example, if $f(z) = z^2 = (x+iy)^2 = x^2 - y^2 + 2ixy$, then $u(x,y) = x^2 - y^2$ and $v(x,y) = 2xy$. The Cauchy–Riemann Equations Here is the key practical result: $f$ is holomorphic at a point $(x,y)$ if and only if the partial derivatives of $u$ and $v$ exist, are continuous, and satisfy $$\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}.$$ These are the Cauchy–Riemann equations. They form a criterion for checking holomorphy without computing the limit definition directly. Why These Equations Matter The Cauchy–Riemann equations arise naturally from the requirement that the derivative is the same from all directions. Consider approaching $z0$ from the horizontal direction (change $x$ only) and from the vertical direction (change $y$ only). The resulting derivatives, when both are computed using the Cauchy–Riemann equations, will match—and in fact all directions will give the same answer. Important: Continuity of Partial Derivatives One subtle but essential point: the partial derivatives must be continuous. Without this continuity condition, even if the Cauchy–Riemann equations hold at a point, the function might not be holomorphic there. This is a surprising exception to real calculus, where differentiability doesn't require continuity of derivatives. In complex analysis, we need the extra regularity. Example: Verifying Holomorphy Let's verify that $f(z) = z^2$ is holomorphic. Write $f(z) = (x^2 - y^2) + i(2xy)$, so $u = x^2 - y^2$ and $v = 2xy$. Computing partial derivatives: $\frac{\partial u}{\partial x} = 2x$ and $\frac{\partial v}{\partial y} = 2x$ ✓ $\frac{\partial u}{\partial y} = -2y$ and $-\frac{\partial v}{\partial x} = -2y$ ✓ All partial derivatives are continuous everywhere. Therefore, $f(z) = z^2$ is holomorphic on all of $\mathbb{C}$. Analyticity and Power Series Representation Definition of Analyticity A remarkable feature of holomorphic functions is that they are analytic: around any point $z0$ in the domain, a holomorphic function can be expressed as a convergent power series $$f(z) = \sum{n=0}^{\infty} an\,(z-z0)^n$$ for all $z$ in some neighborhood of $z0$. This is not just a useful approximation—it is an exact representation. Moreover, this automatically means $f$ is infinitely differentiable, and the coefficients are given by $$an = \frac{f^{(n)}(z0)}{n!}.$$ Local Determination Property Here's a profound consequence: a holomorphic function is completely determined by its values on any arbitrarily small piece of its domain. If you know $f$ on a tiny open disk, you can in principle compute $f$ everywhere in the connected component containing that disk, by repeatedly using the power series representation. The Identity Theorem This leads to a striking uniqueness result: If two holomorphic functions agree on a set that has an accumulation point within the domain, then the two functions are identical on the entire connected component. For example, if $f$ and $g$ are both holomorphic on a connected open set, and $f(z) = g(z)$ for all $z = 1/n$ (where $n = 1, 2, 3, \ldots$), then $f$ and $g$ must be the same function everywhere. This would be false for real-analytic functions or merely smooth functions, making it a distinctly powerful property of holomorphic functions. Fundamental Theorems: Integral Representations Cauchy's Integral Theorem Cauchy's Integral Theorem states: If $f$ is holomorphic on and inside a closed contour $\gamma$, then $$\oint\gamma f(z)\,dz = 0.$$ This says that integrating a holomorphic function around any closed loop in its domain gives zero. This is a profound consequence of holomorphy that has no simple analog in real analysis. Cauchy's Integral Formula Building on Cauchy's Integral Theorem, we get Cauchy's Integral Formula: For any point $z0$ inside a simple closed contour $\gamma$, $$f(z0) = \frac{1}{2\pi i}\,\oint{\gamma}\frac{f(z)}{z-z0}\,dz.$$ This formula is extraordinary: the value of $f$ at an interior point is determined entirely by the values of $f$ on the boundary contour. It means that once you know a holomorphic function on a boundary, its values in the interior are completely determined. Higher Derivatives Formula Differentiating Cauchy's Integral Formula with respect to $z0$ gives a formula for all higher derivatives: $$f^{(n)}(z0) = \frac{n!}{2\pi i}\,\oint{\gamma}\frac{f(z)}{(z-z0)^{n+1}}\,dz.$$ This shows that every holomorphic function is infinitely differentiable and its derivatives are also holomorphic. This is automatic—no additional condition required. Connection to Power Series The power series coefficients are directly given by Cauchy's formula: $$an = \frac{1}{2\pi i}\,\oint{\gamma}\frac{f(z)}{(z-z0)^{n+1}}\,dz.$$ This integral formula is the deep reason why holomorphic functions equal their power series: the formula extracts each coefficient from the function's values on a contour. Summary: Why Holomorphic Functions Are Special To conclude: complex differentiability is not just "real differentiability with $i$ involved." It is a stringent requirement that forces the function to have remarkable properties: It satisfies the Cauchy–Riemann equations (a practical test) It is automatically analytic (equal to a power series locally) It is infinitely differentiable Its values are determined by the integral formula from the boundary It is determined uniquely by its values on any small set with an accumulation point These properties combine to make holomorphic functions one of the most well-behaved classes of functions in mathematics.