4
$\begingroup$

Denote the class of Schlicht functions (injective, holomorphic on the unit disk, with $f(0)=0$ and $f'(0)=1$) by $\mathcal{S}$. And let $\gamma :[0,\infty )\rightarrow \mathbb{C}$ be a simple curve (continuous and injective) and such that $\gamma (0)=0$ and $\lim _{t\to \infty}\gamma (t)=\infty$.

I have to show that, for each such $\gamma$, there is a unique $t>0$ so that $\mathbb{C} \backslash \gamma \left( [t,\infty )\right)$ is the image of some $f\in \mathcal{S}$.

Here's my idea so far:

For each $t$, via the Riemann Maping Theorem, I can construct a bijective, holomorphic function $f_t:\mathbb{C} \backslash \gamma \left( [t,\infty )\right) \rightarrow \mathbb{D}$ ($\mathbb{D}$ is the unit disk) such that $f_t(0)=0$. Furthermore, such an $f_t$ is unique up to a choice of the argument of $f_t'(0)$. If I could somehow show that there must be some $t>0$ such that $\left| f_t'(0)\right| =1$ I would be done, but I am stuck as how to do this.

Anyone have any ideas? In the same direction or not, all suggestions are welcome.

1 Answers 1

2

Here is a simple idea, unfortunately not finished (unlike I thought a minute ago; I'm posting it anyway:) It shows that there is at most one such $t$, but not existence (for existence I give only an unfinished idea).

Let $F_t:\mathbb{C}-\gamma([t,\infty))\to\mathbb{D}$ be the holomorphic bijection such that $F_t(0)=0$ and $F_t'(0)>0$. If $t_1Schwarz lemma $F_{12}'(0)<1$, i.e. $F_{t_1}'(0)>F_{t_2}'(0)$. So there is at most one such $t$ that $F_t'(0)=1$.

For existence: If $t$ and $a>1$ are such that $\gamma(t')>a$ for all $t'>t$ (i.e. if $t$ is big enough) then $z\mapsto F_t(z/a)$ maps $\mathbb{D}$ injectively to $\mathbb{D}$, so $F_t'(0)\leq1/a<1$ (again by Schwarz lemma). If $F_t'(0)>1$ for some (small) $t$ and if $F_t'(0)$ is a continuous function of $t$ then we're done.