Identity theorem

In real analysis and complex analysis, branches of mathematics, the identity theorem for analytic functions states: given functions f and g analytic on a domainD (open and connected subset of ${\displaystyle \mathbb {R} }$ or ${\displaystyle \mathbb {C} }$), if f = g on some ${\displaystyle S\subseteq D}$, where ${\displaystyle S}$ has an accumulation point in D, then f = g on D.^[1]

Thus an analytic function is completely determined by its values on a single open neighborhood in D, or even a countable subset of D with an accumulation point (provided this contains a converging sequence together with its limit). This is not true in general for real-differentiable functions, even infinitely real-differentiable functions. In comparison, analytic functions are a much more rigid notion.

The underpinning fact from which the theorem is established is the expandability of a holomorphic function into its Taylor series.

The connectedness assumption on the domain D is necessary. For example, if D consists of two disjoint open sets, ${\displaystyle f}$ can be ${\displaystyle 0}$ on one open set, and ${\displaystyle 1}$ on another, while ${\displaystyle g}$ is ${\displaystyle 0}$ on one, and ${\displaystyle 2}$ on another.

If two holomorphic functions ${\displaystyle f}$ and ${\displaystyle g}$ on a domain D agree on a set S which has an accumulation point ${\displaystyle c}$ in ${\displaystyle D}$, then ${\displaystyle f=g}$ on a disk in ${\displaystyle D}$ centered at ${\displaystyle c}$.

To prove this, it is enough to show that ${\displaystyle f^{(n)}(c)=g^{(n)}(c)}$ for all ${\displaystyle n\geq 0}$, since both functions are analytic.

If this is not the case, let ${\displaystyle m}$ be the smallest nonnegative integer with ${\displaystyle f^{(m)}(c)\neq g^{(m)}(c)}$. By holomorphy, we have the following Taylor series representation in some open neighborhood U of ${\displaystyle c}$:

${\displaystyle {\begin{aligned}(f-g)(z)&{}=(z-c)^{m}\cdot \left[{\frac {(f-g)^{(m)}(c)}{m!}}+{\frac {(z-c)\cdot (f-g)^{(m+1)}(c)}{(m+1)!}}+\cdots \right]\\[6pt]&{}=(z-c)^{m}\cdot h(z).\end{aligned}}}$

By continuity, ${\displaystyle h}$ is non-zero in some small open disk ${\displaystyle B}$ around ${\displaystyle c}$. But then ${\displaystyle f-g\neq 0}$ on the punctured set ${\displaystyle B-\{c\}}$. This contradicts the assumption that ${\displaystyle c}$ is an accumulation point of ${\displaystyle \{f=g\}}$.

This lemma shows that for a complex number ${\displaystyle a\in \mathbb {C} }$, the fiber${\displaystyle f^{-1}(a)}$ is a discrete (and therefore countable) set, unless ${\displaystyle f\equiv a}$.

Define the set on which ${\displaystyle f}$ and ${\displaystyle g}$ have the same Taylor expansion: $${\displaystyle T=\left\{z\in D\mathrel {\Big \vert } f^{(k)}(z)=g^{(k)}(z){\text{ for all }}k\geq 0\right\}=\bigcap _{k=0}^{\infty }\left\{z\in D\mathrel {\Big \vert } {\bigl (}f^{(k)}-g^{(k)}{\bigr )}(z)=0\right\}.}$$

We'll show ${\displaystyle T}$ is nonempty, open, and closed. Then by connectedness of ${\displaystyle D}$, ${\displaystyle T}$ must be all of ${\displaystyle D}$, which implies ${\displaystyle f=g}$ on ${\displaystyle T=D}$.

By the lemma, ${\displaystyle f=g}$ in a disk centered at ${\displaystyle c}$ in ${\displaystyle D}$, they have the same Taylor series at ${\displaystyle c}$, so ${\displaystyle c\in T}$, hence ${\displaystyle T}$ is nonempty.

As ${\displaystyle f}$ and ${\displaystyle g}$ are holomorphic on ${\displaystyle D}$, ${\displaystyle \forall w\in T}$, the Taylor series of ${\displaystyle f}$ and ${\displaystyle g}$ at ${\displaystyle w}$ have non-zero radius of convergence. Therefore, the open disk ${\displaystyle B_{r}(w)}$ also lies in ${\displaystyle T}$ for some ${\displaystyle r}$. So ${\displaystyle T}$ is open.

By holomorphy of ${\displaystyle f}$ and ${\displaystyle g}$, they have holomorphic derivatives, so all ${\displaystyle \textstyle f^{(n)},g^{(n)}}$ are continuous. This means that ${\displaystyle \textstyle {\bigl \{}z\in D\mathrel {\big \vert } {\bigl (}f^{(k)}-g^{(k)}{\bigr )}(z)=0{\bigr \}}}$ is closed for all ${\displaystyle k}$. ${\displaystyle S}$ is an intersection of closed sets, so it's closed.

Since the identity theorem is concerned with the equality of two holomorphic functions, we can simply consider the difference (which remains holomorphic) and can simply characterise when a holomorphic function is identically ${\textstyle 0}$. The following result can be found in.^[2]

• Analytic continuation
• Identity theorem for Riemann surfaces

• Ablowitz, Mark J.; Fokas A. S. (1997). Complex variables: Introduction and applications. Cambridge, UK: Cambridge University Press. p. 122. ISBN 0-521-48058-2.