For a complex derivative to exist, the difference quotient must agree along real and imaginary increments. These give and , respectively. Equating their real and imaginary parts gives the Cauchy-Riemann equations
For , the components are and . The first equation requires , so ; the second requires , so . Thus zero is the only possible differentiability point. Directly,
so . The function is differentiable at that isolated point but is not holomorphic on any neighborhood of it.
Use the chain rule with , . Then and . Substituting the Cartesian Cauchy-Riemann equations gives . Similarly . Thus, for , the polar equations are
The restriction is needed because the polar chart degenerates at the origin.
Compute the complex derivative along real increments to get , and along imaginary increments to get . Equality gives the Cauchy-Riemann equations, .
For the specified real part, observe that . Thus the most general holomorphic function with this real part on the connected plane is
The difference of two such holomorphic functions has zero real part, so the Cauchy-Riemann equations make its imaginary part constant.
Next, . Its real and imaginary parts satisfy and . Their partial derivatives are continuous everywhere, proving that the complex hyperbolic cosine is entire.
For the Laurent series, set . Since ,
The regular part at a simple pole therefore gives
The Cauchy-Riemann equations give , . Integrating and matching both derivatives gives the harmonic conjugate
The real part of this polynomial is exactly the required .
A holomorphic function is complex differentiable throughout an open region; equivalently it is locally represented by a convergent complex power series. For , the Cauchy-Riemann equations are , . With continuous first partial derivatives, these equations imply holomorphicity and .
For , the equations hold and . For , they also hold, and . Therefore
At a point of complex differentiability, the complex derivative is independent of the direction of approach. Taking increments along the real axis gives ; taking imaginary increments gives . Equality of their real parts and imaginary parts proves the Cauchy-Riemann equations and .
For the specified real part, observe that has exactly that real part. Equivalently, integrating and checking gives
Thus
The freedom is only a constant imaginary part: the difference of two such holomorphic functions has zero real part, so its Cauchy-Riemann equations make it constant on each connected domain.
For holomorphic in , the Cauchy-Riemann equations are and . Therefore the normal vectors to the two level curves obey
At a point where , both gradients are nonzero, so their perpendicular tangent lines are also perpendicular. At critical points this argument does not assert that regular level curves exist.
Take
Its real part is , so the specified first family is . Its imaginary part is , so the second family is . Since , their intersections exclude the origin, where would vanish. Thus these hyperbolas meet orthogonally as required.
The Cauchy-Riemann equations give . Therefore
The gradient is normal to a regular level set, so these curves intersect orthogonally wherever their gradients are nonzero. At a stationary point, where both gradients vanish, a regular curve tangent need not exist; the algebraic identity remains valid.
Differentiate the Cauchy-Riemann equations and use equality of mixed partial derivatives, which holds because holomorphic functions are smooth:
Thus both parts are harmonic functions.
Evaluate the derivative along real and imaginary increments. For a holomorphic function, both give the same value:
Equating real and imaginary parts yields the Cauchy-Riemann equations
Assume the image of the domain of lies in the domain where is holomorphic. The complex chain rule gives
so the composition is holomorphic, including at points where . Its real part is therefore a harmonic function.
A direct verification uses the composition of harmonic conjugate pairs. The multivariable chain rule gives
The Cauchy-Riemann equations imply ; parts (i) and (ii) remove the last three terms. Since is harmonic in its own variables,
The Cauchy-Riemann equations are and . A holomorphic function is smooth, so equality of mixed partial derivatives gives
Thus its real and imaginary parts are harmonic functions.
An entire function is holomorphic at every finite point of the complex plane. The globally convergent power series for the exponential implies that and are entire. Their difference therefore gives
at every complex , proving that the hyperbolic sine is entire. For powers, the base case has derivative one everywhere. If is entire with derivative , the product rule gives everywhere. Induction proves that every positive integer power is entire.
A function has a pole of order at when it is holomorphic in a punctured neighbourhood and extends holomorphically to with . An isolated essential singularity is neither a removable singularity nor a pole; equivalently its Laurent series has infinitely many nonzero negative-power terms. In particular
has an essential singularity at zero.
For , the Laurent series about infinity is
To classify the point correctly, use . Then , and is holomorphic with value one at zero. Therefore
The pole at infinity is compatible with an essential singularity at the finite point zero. Negative powers of are regular powers of the local coordinate near infinity, so they do not make that point essential.
For a holomorphic function, the Cauchy-Riemann equations are and . Consequently
A gradient is normal to its level set, so these identities give orthogonal level curves wherever the gradients are nonzero. At a critical point where , both gradients vanish and a regular tangent to a level set need not exist; the geometric orthogonality statement is restricted to regular intersections.
For real-direction increments, complex differentiability gives . For imaginary-direction increments it gives . Equating these expressions gives the Cauchy-Riemann equations
A holomorphic function is smooth, so mixed partial derivatives commute. Differentiating these equations gives
Thus both real and imaginary parts are harmonic functions:
Complex differentiability requires the same limit for increments along the real and imaginary directions. Real increments give . Imaginary increments give
Equating real and imaginary parts yields the Cauchy-Riemann equations
They hold throughout the open region where is holomorphic. Conversely, continuous first real partial derivatives satisfying these equations on an open set ensure holomorphy there.
Write and assume its domain is open and connected. If the constant modulus is zero then . Otherwise let . Differentiating this identity and using the Cauchy-Riemann equations gives
These are a linear system for with coefficient matrix , whose determinant is . Therefore , and the Cauchy-Riemann equations also give . It follows that
This proves the constant-modulus holomorphic function result directly. On a disconnected domain the same conclusion holds separately on each connected component, but the constants can differ.