Jensen's Inequality (Complex Analysis)

From ProofWiki
Jump to navigation Jump to search

This proof is about Jensen's Inequality in complex analysis. For other uses, see Jensen's Inequality.


Theorem

Let $D \subset \C$ be an open set with $0 \in D$.

Let $R > 0$ be such that $B \left({0, R}\right) \subset D$.

Let $f: D \to \C$ be analytic with $f \left({0}\right) \ne 0$.

Let $\left\lvert{f \left({z}\right)}\right\rvert \le M$ for $\left\lvert{z}\right\rvert \le R$.

Let $0 < r <R$.


Then the number of zeroes of $f$, counted with multiplicity, for $\left\lvert{z}\right\rvert \le r$, is at most:

$\dfrac {\log \left({M / \left\lvert{f \left({0}\right)}\right\rvert}\right)} {\log \left({R / r}\right)}$


Proof


Source of Name

This entry was named for Johan Jensen.


Sources