Picard's_little_theorem

Picard theorem

Theorem about the range of an analytic function

In complex analysis, Picard's great theorem and Picard's little theorem are related theorems about the range of an analytic function. They are named after Émile Picard.

The theorems

Domain coloring plot of the function exp(1⁄z), centered on the essential singularity at z = 0. The hue of a point z represents the argument of exp(1⁄z), the luminance represents its absolute value. This plot shows that arbitrarily close to the singularity, all non-zero values are attained.

Little Picard Theorem: If a function ${\textstyle f:\mathbb {C} \to \mathbb {C} }$ is entire and non-constant, then the set of values that ${\textstyle f(z)}$ assumes is either the whole complex plane or the plane minus a single point.

Sketch of Proof: Picard's original proof was based on properties of the modular lambda function, usually denoted by ${\textstyle \lambda }$ , and which performs, using modern terminology, the holomorphic universal covering of the twice punctured plane by the unit disc. This function is explicitly constructed in the theory of elliptic functions. If ${\textstyle f}$ omits two values, then the composition of ${\textstyle f}$ with the inverse of the modular function maps the plane into the unit disc which implies that ${\textstyle f}$ is constant by Liouville's theorem.

This theorem is a significant strengthening of Liouville's theorem which states that the image of an entire non-constant function must be unbounded. Many different proofs of Picard's theorem were later found and Schottky's theorem is a quantitative version of it. In the case where the values of ${\textstyle f}$ are missing a single point, this point is called a lacunary value of the function.

Great Picard's Theorem: If an analytic function ${\textstyle f}$ has an essential singularity at a point ${\textstyle w}$ , then on any punctured neighborhood of ${\textstyle w,f(z)}$ takes on all possible complex values, with at most a single exception, infinitely often.

This is a substantial strengthening of the Casorati–Weierstrass theorem, which only guarantees that the range of ${\textstyle f}$ is dense in the complex plane. A result of the Great Picard Theorem is that any entire, non-polynomial function attains all possible complex values infinitely often, with at most one exception.

The "single exception" is needed in both theorems, as demonstrated here:

e^z is an entire non-constant function that is never 0,
${\textstyle e^{\frac {1}{z}}}$ has an essential singularity at 0, but still never attains 0 as a value.

Proof

Little Picard Theorem

Suppose ${\textstyle f:\mathbb {C} \to \mathbb {C} }$ is an entire function that omits two values ${\textstyle z_{0}}$ and ${\textstyle z_{1}}$ . By considering ${\textstyle {\frac {f(z)-z_{0}}{z_{1}-z_{0}}}}$ we may assume without loss of generality that ${\textstyle z_{0}=0}$ and ${\textstyle z_{1}=1}$ .

Because ${\textstyle \mathbb {C} }$ is simply connected and the range of ${\textstyle f}$ omits ${\textstyle 0}$ , f has a holomorphic logarithm. Let ${\textstyle g}$ be an entire function such that ${\textstyle f(z)=e^{2\pi ig(z)}}$ . Then the range of ${\textstyle g}$ omits all integers. By a similar argument using the quadratic formula, there is an entire function ${\textstyle h}$ such that ${\textstyle g(z)=\cos(h(z))}$ . Then the range of ${\textstyle h}$ omits all complex numbers of the form ${\textstyle 2\pi n\pm i\cosh ^{-1}(m)}$ , where ${\textstyle n}$ is an integer and ${\textstyle m}$ is a nonnegative integer.

By Landau's theorem, if ${\textstyle h'(w)\neq 0}$ , then for all ${\textstyle {R>0}}$ , the range of ${\textstyle h}$ contains a disk of radius ${\textstyle |h'(w)|R/72}$ . But from above, any sufficiently large disk contains at least one number that the range of h omits. Therefore ${\textstyle h'(w)=0}$ for all ${\textstyle w}$ . By the fundamental theorem of calculus, ${\textstyle h}$ is constant, so ${\textstyle f}$ is constant.

Great Picard Theorem

More information

,

...

Proof of the Great Picard Theorem

Suppose f is an analytic function on the punctured disk of radius r around the point w, and that f omits two values z₀ and z₁. By considering (f(p + rz) − z₀)/(z₁ − z₀) we may assume without loss of generality that z₀ = 0, z₁ = 1, w = 0, and r = 1.

The function F(z) = f(e^−z) is analytic in the right half-plane Re(z) > 0. Because the right half-plane is simply connected, similar to the proof of the Little Picard Theorem, there are analytic functions G and H defined on the right half-plane such that F(z) = e^2πiG(z) and G(z) = cos(H(z)). For any w in the right half-plane, the open disk with radius Re(w) around w is contained in the domain of H. By Landau's theorem and the observation about the range of H in the proof of the Little Picard Theorem, there is a constant C > 0 such that |H′(w)| ≤ C / Re(w). Thus, for all real numbers x ≥ 2 and 0 ≤ y ≤ 2π,

|H(x+iy)|=\left|H(2+iy)+\int _{2}^{x}H'(t+iy)\,\mathrm {d} t\right|\leq |H(2+iy)|+\int _{2}^{x}{\frac {C}{t}}\,\mathrm {d} t\leq A\log x,

where A > 0 is a constant. So |G(x + iy)| ≤ x^A.

Next, we observe that F(z + 2πi) = F(z) in the right half-plane, which implies that G(z + 2πi) − G(z) is always an integer. Because G is continuous and its domain is connected, the difference G(z + 2πi) − G(z) = k is a constant. In other words, the function G(z) − kz / (2πi) has period 2πi. Thus, there is an analytic function g defined in the punctured disk with radius e⁻² around 0 such that G(z) − kz / (2πi) = g(e^−z).

Using the bound on G above, for all real numbers x ≥ 2 and 0 ≤ y ≤ 2π,

\left|G(x+iy)-{\frac {k(x+iy)}{2\pi i}}\right|\leq x^{A}+{\frac {|k|}{2\pi }}(x+2\pi )\leq C'x^{A'}

holds, where A′ > A and C′ > 0 are constants. Because of the periodicity, this bound actually holds for all y. Thus, we have a bound |g(z)| ≤ C′(−log|z|)^A′ for 0 < |z| < e⁻². By Riemann's theorem on removable singularities, g extends to an analytic function in the open disk of radius e⁻² around 0.

Hence, G(z) − kz / (2πi) is bounded on the half-plane Re(z) ≥ 3. So F(z)e^−kz is bounded on the half-plane Re(z) ≥ 3, and f(z)z^k is bounded in the punctured disk of radius e⁻³ around 0. By Riemann's theorem on removable singularities, f(z)z^k extends to an analytic function in the open disk of radius e⁻³ around 0. Therefore, f does not have an essential singularity at 0.

Therefore, if the function f has an essential singularity at 0, the range of f in any open disk around 0 omits at most one value. If f takes a value only finitely often, then in a sufficiently small open disk around 0, f omits that value. So f(z) takes all possible complex values, except at most one, infinitely often.

Share this article:

This article uses material from the Wikipedia article Picard's_little_theorem, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.

[1] [1]
Elsner, B. (1999). "Hyperelliptic action integral" (PDF). Annales de l'Institut Fourier. 49 (1): 303–331. doi:10.5802/aif.1675.

[1]