# Holomorphic function

A **holomorphic function** is a
differentiable complex function. That is, just
as in the real case, is holomorphic at if
exists. This is much stronger
than in the real case since we must allow to approach zero from
any direction in the complex plane.

Usually, we speak of functions as holomorphic on (open) sets, rather than at points, for when we consider the behavior of a function at a point, we prefer to consider it in the context of the points nearby.

## Contents

## Cauchy-Riemann Equations

We can obtain an equivalent definition if we break and into real and imaginary components.

Specifically, let be definted by If , then

It turns out that we can express the idea " is holomorphic" entirely in terms of partial derivatives of and .

**Theorem.** Let be an open, connected subset of .
Let us abbreviate and .
Then the function is holomorphic on
if and only if all the partial derivatives of and with respect
to and are continuous on , and the following system holds
for every point :
These equations are called the **Cauchy-Riemann Equations**.

For convenience, we may abbreviate With this abuse of notation, we may rewrite the Cauchy-Riemann equations thus:

### Proof of theorem

First, suppose that is complex-differentiable at . Then at , Breaking into real and imaginary components, we see Setting real and imaginary components equal, we obtain the Cauchy-Riemann equations. It follows from the Cauchy Integral Formula that the second derivative of exists at ; thus the derivative of is continuous at , and so are the partial derivatives of and .

Now, suppose the Cauchy-Riemann equations hold a point , and that the partial derivatives of and exist and are continuous in a neighborhood of . Let be an arbitrarily small complex number, with . Then with the first approximation from the definition of the partial derivatives and the second from the continuity of the partial derivatives. We may force to be small enough that both approximations are arbitrarily accurate. Now, by the Cauchy-Riemann equations, Therefore In particular, the limit exists, so is differentiable at . Since was arbitrary, it follows that is differentiable everywhere in .

## Analytic Functions

A related notion to that of homolorphicity is that of analyticity. A
function is said to be **analytic** at
if has a convergent power series expansion on some
neighborhood of . Amazingly, it turns out that a function is
holomorphic at if and only if it is analytic at . Furthermore,
its radius of convergence is the greatest lower bound of the distance
from to a singularity.

This is not the case with real functions. Consider, for example, the real function It is infinitely differentiable along the entire real line, yet its power series diverges when . But in the complex plane we see that has singularities at , so the power series must clearly diverge when .

### Equivalence of Analytic and Holomorphic Functions

We now prove that all holomorphic functions behave in this orderly way.

**Theorem.** Let be a connected, open subset of ,
and let be a holomorphic function on . Then for any
, the power series expansion of aboud converges,
and its radius of convergence is the greatest quantity for which
there exists a holomorphic continuation of to the set

*Proof.* Since is in , there is some such
that is holomorphic within of . Suppose that
. Let be the simple, positively
oriented circle of radius about , and let be an
upper bound on for . By the
Cauchy Integral Formula,
The series thus converges geometrically. It follows that if
there is a holomorphic extension of to the set
then the power series of about converges with radius at least
.

Conversely, suppose that the power series expansion of diverges for at some of distance less than from . Then by the previous paragraph, there is no holomorphic extension of to all points of distance less than . It follows that the radius of convergence of the Taylor series expansion of about is indeed the quantity as stated in the theorem.

### Strange Consequences of Extension

In some cases, repeated extension of a function may lead to bizarre consequences. For example, we may define a square-root function that is holomorphic and defined everywhere except on the set of non-positive real numbers. Any power series expansion that avoids the origin will converge. However, if we try to cross the negative real axis with a power series expansion, we will find that our power series expansion gives different results from our original function on the other side of the axis! This is because the square root "function" is in fact a multifunction that can restrict to a holomorphic function on any open subset of that does not include a closed path about the origin.