Exercise · ZW-LIOUVILLE-THEOREM-006 · ★★☆ Intermediate

If \(f\) is entire with \(|f(z)|\le M\) and one uses \(|f'(z_0)|\le M/R\) for every \(R>0\), what follows for \(f'(z_0)\)?

Choose one option.

Show answer
  • C. \(f'(z_0)=0\)

Explanation

Letting \(R\to\infty\), \(M/R\to0\), so \(f'(z_0)=0\) at every point. A function with zero derivative on all of \(\mathbb{C}\) is constant; this is Liouville's proof.

Study Complex analysis in ZWMath →

Review the concept: Liouville's theorem

Liouville's theorem says that every entire function \(f\), that is, holomorphic on the whole plane, bounded by a constant \(M\) is constant.

\[|f(z)|\le M\ \ \forall z\in\mathbb{C}\ \Longrightarrow\ f\ \text{constant}\]

More practice problems: liouville's theorem

← ZW-LIOUVILLE-THEOREM-005 ZW-LIOUVILLE-THEOREM-007 →