3
$\begingroup$

I am asked to prove this theorem:

If $f:U \rightarrow C$ is holomorphic in $U$ and invertible, $P\in U$ and if $D(P,r)$ is a sufficently small disc about P, then

$f^{-1}(w) = \frac{1}{2\pi i} \oint_{\partial D(P,r)}{\frac{sf'(s)}{f(s)-w}}ds$

The book says to "imitate the proof of the argument principle" but I am not seeing the connection.

  • 0
    You should assume that |f^{-1}(w)-P|2012-11-12

4 Answers 4

5

Hint: Since $f$ is holomorphic and invertible, for each $w\in f(D(P,r))$, $f(z)-w$ has a unique zero $f^{-1}(w):=z_0$ in $U$; moreover, $z_0\in D(P,r)$. Therefore, $f(z)=w+(z-z_0)h(z)$ on $U$, where $h$ is holomorphic and has no zero on $U$.

2

I had a similar problem:

  1. $f(z)$ has local inverse $f^{-1}(w) = z$. Write down an integral formula that gives $f^{-1}(w)$ in terms of $f(z)$.

My solution:

  1. Apply Cauchy Integral formula: Since $f^{-1}(w)$ is analytic by the inverse function theorem, we can say:

$f^{-1}(w) = \frac{1}{2\pi i }\oint_{f(\partial D(P,r))}\frac{f^{-1}(u)}{u-w}du$ 2. Using Substitution: $u=f(z)$ for $z$ on $\partial D(P,r) \implies du = f'(z)dz$

3.Rewrite: $f^{-1}(w) = \frac{1}{2\pi i }\oint_{\partial D(P,r)}\frac{zf'(z)}{f(z)-w}dz$

1

After some thought, it makes sense after applying the Cauchy Integral Formula to the inverse function and then making the substitution $ f^{-1}(s) = t $ where t is taken along the path given by $f^{-1}(s)$ where s is along $\partial D(P,r)$.

The problem is being able to deform that curve into a circle which goes around $f^{-1}(w)$. This can be done if we can show the path only goes around $f^{-1}(w)$ once.

I still have no idea how the argument principle is involved

  • 0
    OK. Use Cauchy's integral formula. There is only one pole to be picked up on the right hand side, which is at $z_0 = f^{-1}(w)$. So we only need to compute the residue. Near $z_0$, write $f(z)$ as $w + (z-z_0)^k h(z)$, where $h(z_0) \neq 0$. Then $f'(z) = k(z-z_0)^{k-1} (h(z) + (z-z_0)h'(z)/k)$, where the thing inside the bracket does not vanish at $z_0$. Can you see what the residue at $z_0$ is now?2012-11-19