Definition:Bloch's Constant

From ProofWiki
Jump to navigation Jump to search

Definition

Recall Bloch's Theorem:

Let $f: \C \to \C$ be a holomorphic function in the unit disk $\cmod z \le 1$.

Let $\cmod {\map {f'} 0} = 1$.

Then there exists:

a disk $D$ of radius $B$
an analytic function $\phi$ in $D$ such that $\map f {\map \phi z} = z$ for all $z$ in $D$

where $B > \dfrac 1 {72}$ is an absolute constant.


The lower bound of $B$ is known as Bloch's constant.


Also see

  • Upper Bound of Bloch's Constant, where it is shown that $B \le \sqrt {\dfrac {\sqrt 3 -1} 2} \times \dfrac {\map \Gamma {\frac 1 3} \map \Gamma {\frac {11} {12} } } {\map \Gamma {\frac 1 4} }$


Source of Name

This entry was named for André Bloch.


Historical Note

The precise value of Bloch's constant is unknown.


André Bloch stated a lower bound for it of $\dfrac 1 {72}$.

However, it is known that $\dfrac 1 {72}$ is not the best possible value for it.

In their $1983$ work Les Nombres Remarquables, François Le Lionnais and Jean Brette give $\dfrac {\sqrt 3} 4$:

$\dfrac {\sqrt 3} 4 \approx 0 \cdotp 43301 \, 2701 \ldots$

This sequence is A120011 in the On-Line Encyclopedia of Integer Sequences (N. J. A. Sloane (Ed.), 2008).


The best value known at present is $\dfrac {\sqrt 3} 4 + \dfrac 2 {10 \, 000}$ which evaluates to approximately $0 \cdotp 43321 \, 2701$.

This was demonstrated by Huaihui Chen and Paul M. Gauthier in $1996$.


Lars Valerian Ahlfors and Helmut Grunsky demonstrated that:

$B \le \sqrt {\dfrac {\sqrt 3 -1} 2} \times \dfrac {\map \Gamma {\frac 1 3} \map \Gamma {\frac {11} {12} } } {\map \Gamma {\frac 1 4} }$

and conjectured that this value is in fact the true value of $B$.

The number is given by François Le Lionnais and Jean Brette as $\pi \sqrt 2^{1/4} \dfrac {\map \Gamma {1/3} } {\map \Gamma {1/4} } \paren {\dfrac {\map \Gamma {11/12} } {\map \Gamma {1/12} } }^{1/2}$.