No entire square root of the identity function
ID: no-entire-square-root-of-the-identity-function
If an entire function satisfied , then . Differentiating would give , a contradiction. More generally, the order of every zero of a square of a holomorphic function is even, so a simple zero prevents a holomorphic square root on any neighborhood containing it. A square root can still exist on a slit domain avoiding the zero. The identity theorem can force this obstruction from values specified only on a sequence accumulating elsewhere in a connected domain.
New to topics? Read the docs here!