Holomorphic extension Created 2026-10-25 Updated 2026-10-31
A holomorphic function on a larger open set whose restriction to is the original holomorphic function . A removable singularity is a point across which such an extension exists. On a connected larger domain, a holomorphic extension is unique by the identity theorem, provided is nonempty.
Take the Laurent series of on . For every integer , its coefficient of satisfies, on a circle of radius ,
The coefficient is independent of . Letting therefore gives for every . The Laurent series is a power series with no negative powers and supplies a holomorphic extension at zero. Thus zero is a removable singularity. This is the Riemann removable singularity theorem, with boundedness used to eliminate the entire principal part.
The zeros of the hyperbolic sine are exactly , , since is equivalent to . Each zero is simple because . The quotient is therefore holomorphic precisely on
At zero, the Taylor expansion gives , so zero is a simple pole. At , the denominator has a double zero and the numerator is nonzero, giving a pole of order two. Thus none of the omitted points admits a holomorphic extension.