Foundations of Holomorphic Functions

Introduction to Holomorphic Functions Definition and Basic Concept A holomorphic function is a complex-valued function that is complex differentiable at every point in its domain. This is the central object of complex analysis, and understanding what it means to be holomorphic is crucial. Complex Differentiability A function $f(z)$ is complex differentiable at a point $z0$ if the following limit exists: $$\lim{z\to z{0}}\frac{f(z)-f(z{0})}{z-z{0}}$$ This limit is called the complex derivative of $f$ at $z0$, often written as $f'(z0)$. Here's what makes this different from real differentiability: in the real case, we only approach a point from the left and right. In the complex plane, we can approach $z0$ from any direction. For the limit to exist, it must be the same regardless of which path we take to reach $z0$. This path-independence is a very restrictive condition, which is why complex differentiability is much more powerful than real differentiability. Holomorphic on a Domain A function is holomorphic on an open set if it is complex differentiable at every point in that set. A function is holomorphic at a point $z0$ if there exists a neighborhood (an open disk) around $z0$ in which the function is differentiable everywhere. Important distinction: A function can be complex differentiable at a single isolated point without being holomorphic there. Holomorphicity requires differentiability in an entire neighborhood, not just at one point. Analytic versus Holomorphic You will encounter two related but distinct terms, so it's important to understand the difference (and equivalence) between them. Analytic generally means that a function can be expressed as a convergent power series in a neighborhood of each point. This is a broad concept that applies to real functions, complex functions, or functions in other contexts. Holomorphic specifically means complex differentiable in a neighborhood of every point. It applies only to complex functions. The Key Equivalence Here's the crucial theorem: In complex analysis, a function is holomorphic if and only if it is analytic. That is: Every holomorphic function is infinitely differentiable and equals its Taylor series in a neighborhood of every point. Conversely, every complex analytic function (one that can be written as a convergent power series) is holomorphic. This equivalence is not true for real functions—there are real analytic functions that are infinitely differentiable but not representable by a single power series everywhere. The complex setting is special and much more rigid. In the context of complex analysis, the terms are often used interchangeably, but keep in mind that "analytic" is the broader term when we're thinking about real or more general functions. The Cauchy–Riemann Equations The Cauchy–Riemann equations give us a practical way to check whether a function is holomorphic without computing the complex limit directly. Suppose $f(z) = u(x,y) + iv(x,y)$, where $z = x + iy$, and $u$ and $v$ are the real and imaginary parts of $f$, respectively. The Equations A function $f$ is holomorphic if and only if $u$ and $v$ have continuous first partial derivatives and satisfy: $$\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y}, \qquad \frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}$$ These are the Cauchy–Riemann equations. They express a precise relationship between how the real part changes in the $x$-direction and how the imaginary part changes in the $y$-direction, and vice versa. Why These Equations Matter The Cauchy–Riemann equations transform the problem of checking complex differentiability (which requires verifying a limit) into checking whether a pair of real partial derivatives satisfy four simple equations. This is typically much easier to verify in practice. Important condition: The partial derivatives must be continuous. If $u$ and $v$ have continuous first partial derivatives satisfying the Cauchy–Riemann equations, then $f$ is guaranteed to be holomorphic. Alternative Form: The Wirtinger Derivative There is an elegant equivalent formulation using the Wirtinger derivative. A function $f$ is holomorphic if and only if: $$\frac{\partial f}{\partial\overline{z}}=0$$ This says that $f$ does not depend on $\overline{z}$ (the complex conjugate of $z$). This formulation shows that holomorphic functions depend only on $z$ itself, not on its complex conjugate—another way to express the rigidity of complex differentiability. Explicit Formula for the Complex Derivative When $f(z) = u(x,y) + iv(x,y)$ is complex differentiable, we can express the derivative in terms of the real partial derivatives of $u$ and $v$. The complex derivative is: $$f'(z)=\frac{\partial u}{\partial x}+i\,\frac{\partial v}{\partial x}$$ This can equivalently be written as: $$f'(z)=\frac{\partial v}{\partial y}-i\,\frac{\partial u}{\partial y}$$ These two expressions are equal when the Cauchy–Riemann equations are satisfied, which confirms consistency. Using This Formula These formulas let you compute the derivative directly from the real and imaginary parts without taking limits. For example, if $f(z) = z^2 = (x^2 - y^2) + i(2xy)$, then $u = x^2 - y^2$ and $v = 2xy$. Using the first formula: $$f'(z) = \frac{\partial u}{\partial x} + i\,\frac{\partial v}{\partial x} = 2x + i(2y) = 2(x + iy) = 2z$$ which is exactly what we expect. Entire Functions An entire function is a holomorphic function whose domain is the entire complex plane $\mathbb{C}$. Examples of entire functions include: Polynomials (like $p(z) = z^2 + 3z + 1$) The exponential function $e^z$ Sine and cosine: $\sin(z)$ and $\cos(z)$ Entire functions are particularly important because they have no singularities (problematic points) anywhere in the complex plane. This makes them especially nice to work with. In contrast, a function like $f(z) = \frac{1}{z}$ is holomorphic everywhere except at $z = 0$, so it is not entire.