Holomorphic function

A holomorphic function is a complex-valued function of one or more complex variables. It is defined by being complex differentiable within a neighborhood of every point in a specific domain. This requirement is a very strong condition. It implies that the function is infinitely differentiable. It also means the function is locally equal to its own Taylor series. Because of this, holomorphic functions are also called analytic functions. They serve as the central objects of study in the field of complex analysis.

To understand how these functions work, we must look at the complex derivative. For a single complex variable, the derivative at a point is the limit of a specific ratio. This limit must exist and yield the same value regardless of the direction from which you approach the point. If this limit exists, the function is complex differentiable. A function is considered holomorphic on an open set if it is differentiable at every point in that set. Being holomorphic at a single point requires differentiability within a close neighborhood of that point.

There is a deep relationship between real and complex differentiability. If a complex function is holomorphic, its real and imaginary parts must satisfy the Cauchy–Riemann equations. These are two partial differential equations that link the first partial derivatives of the function. Another way to state this is through the Wirtinger derivative. This mathematical tool shows that the function is functionally independent from its complex conjugate. While satisfying these equations and being continuous is a simple way to ensure a function is holomorphic, more complex theorems like the Looman–Menchoff theorem exist. This theorem proves holomorphicity even if the partial derivatives are not continuous, provided the function itself is continuous.

The history of the term "holomorphic" is quite specific. It was introduced in 1875 by Charles Briot and Jean-Claude Bouquet. They were students of the famous mathematician Augustin-Louis Cauchy. The name comes from the Greek words "holos," meaning whole, and "morphe," meaning form or appearance. This distinguishes them from meromorphic functions, which come from "meros," meaning part. Cauchy himself had used the term "synectic" to describe these ideas. Today, the term holomorphic is often preferred over analytic, even though the two are closely related in complex analysis.

Holomorphic functions possess remarkable mathematical properties. They follow standard rules like the product, quotient, and chain rules. This means the sum or product of two holomorphic functions is also holomorphic. If a function is holomorphic across the entire complex plane, it is called an entire function. Examples of entire functions include all polynomial functions and the exponential function. Other functions, like the reciprocal function, are holomorphic everywhere except at specific points like zero.

In regions where the first derivative is not zero, these functions are conformal. This means they preserve angles and the shapes of small figures, even if they change the size.

One of the most significant results is Cauchy's integral formula. This formula states that a function holomorphic inside a disk is completely determined by its values on the disk's boundary. You can use a contour integral to find the value of the function at any point in the interior. Furthermore, the derivative of the function can also be expressed as a contour integral. This demonstrates how deeply the values of a holomorphic function are interconnected across its domain. Every holomorphic function can also be split into real and imaginary parts that are harmonic functions.

These functions extend into even more complex territory through several complex variables. While the definition generalizes easily, the behavior becomes more intricate. For example, the regions where power series converge are not always simple open balls. Instead, they can be more complex structures like Reinhardt domains. There are also fundamental restrictions on these functions that do not exist in single-variable calculus. This leads to the concept of a domain of holomorphy. From a broader perspective, these ideas connect to functional analysis, where the concept can be applied to infinite-dimensional Banach spaces.