3
$\begingroup$

So we all know and love the Koebe 1/4-theorem:

If $f$ is a univalent function so that $f(0)=0$ and $f'(0)=1$, then the image of $f$ contains the ball of radius 1/4 at 0.

The extremal case is given by the Koebe function (or one of its rotations).

I'm wondering if the following statement holds:

If $f$ is a univalent with a continuous extension to the boundary, so that $f(0)=0$, $f'(0)=1$, and $f(1)=1$, then the image of $f$ contains the ball of radius 1/3 at 0.

Here is how I ended up with this statement:

I took the Koebe function, and applied a Möbius transformation so that it does fix 1 and remains Schlicht. The resulting conformal mapping maps the unit disk into the complex plane minus a ray, which is part of a straight line through the origin, which starts from a point on a circle of radius 1/3 centered at the origin.

But I don't know if these modified Koebe functions are extremal in the case where the functions are required to fix 1...

Is this obviously wrong?

EDIT: This is in response to a comment about rotating the Koebe function...

If you take a rotation of the Koebe function, we have

\begin{align} f(z) = \frac{z}{(1-az)^2} \end{align}

where $|a|=1$. But this function cannot fix 1:

\begin{align} 1 &= 1/(1-a)^2 \end{align}

which forces $a=0$ or $a=2$.

  • 0
    Surely you can precompose the Koebe function with a rotation to obtain a map that takes $1$ to $1$, with derivative of modulus one at the origin, and still has the same image. Are you assuming that the derivative at the origin is equal to one?2011-10-26
  • 0
    By a Schlicht function, I meant univalent function satisfying $f(0)=0$ and $f'(0)=1$. I'll revise my question to make that clear.2011-10-26
  • 0
    It seems like a rather odd condition, unless you are assuming your functions to be real on the real axis. How does it arise?2011-10-26
  • 0
    I do not understand your comment about the Koebe function in the edit. Your function should have az also in the numerator. Since the Koebe function takes the value $1$ somewhere on the unit circle, you can obviously precompose with a rotation to make it map $1$ to $1$. However, of course this changes the derivative at the origin ...2011-10-26
  • 0
    I thought I was using standard terminology, at least it's the one used in Conway's Complex Analysis Volume 2. In that book, Koebe function and all of its "rotations" are functions of the form I wrote in my edit. In anycase, I have very specific normalization conditions, and just precomposing by rotation does not preserve them.2011-10-26
  • 0
    It's a bit complicated to explain the motivation for the conditions here. Maybe I'll do that in a separate post.2011-10-26

1 Answers 1