Complex Analysis: Inverse function is holomorphic

Click For Summary
SUMMARY

The discussion focuses on proving that the inverse function g of a univalent holomorphic function f, defined in an open connected set G, is also holomorphic. Key conditions include that f(G) is open, g is continuous, and f' is non-zero for all z in G. The approach suggested involves using the calculus proof of the derivative of an inverse, specifically analyzing the limit of the difference quotient as h approaches zero. The discussion emphasizes defining variables such as z_0 = f^{-1}(w_0) to facilitate the proof.

PREREQUISITES
  • Understanding of univalent holomorphic functions
  • Familiarity with the concept of continuity in complex analysis
  • Knowledge of the derivative of inverse functions
  • Proficiency in limit definitions involving epsilon-delta arguments
NEXT STEPS
  • Study the calculus proof of the derivative of an inverse function
  • Explore the properties of univalent functions in complex analysis
  • Learn about epsilon-delta definitions in the context of differentiability
  • Investigate the implications of the open mapping theorem in complex analysis
USEFUL FOR

Students and researchers in complex analysis, particularly those studying holomorphic functions and their inverses, as well as educators seeking to enhance their understanding of function properties in open sets.

masterslave
Messages
8
Reaction score
0

Homework Statement


The problem is from Sarason, page 44, Exercise IV.14.1.

Let f be a univalent holomorphic function in the open connected set G, and let g be the inverse function.
Assume that f(G) is open, that g is continuous, and that [tex]f\prime\neq 0\forall z\in G[/tex]. Prove g is holomorphic.

Homework Equations


The Attempt at a Solution


I've tried 3 different methods, failing with each. I'd appreciate any insight into the problem.
My professor recommended looking at the calculus proof of the derivative of an inverse, and the following:
Start with [tex]w_{0}\in f(G)[/tex], and with h small, look at [tex]\frac{(g(w_{0}+h)-g(w_{0}))}{h}[/tex].

Because [tex]f(G)[/tex] is open, we know there is a [tex]\delta>0\ni \left|h\right|<\delta[/tex] gives us [tex]w_{0}+h\in f(G)[/tex].
So with h that small, we have [tex]w_{0}+h=f(z)[/tex] for some [tex]z \in<br /> G[/tex].
 
Physics news on Phys.org
You're off to a good start. I'd suggest also defining [itex]z_0\equiv f^{-1}(w_0)[/itex] and then using that along with the other defined variables to write out the definitions, in terms of [itex]\epsilon[/itex]s and [itex]\delta[/itex]s, of f being differentiable, and f' and g' being continuous.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K
Replies
8
Views
3K
Replies
8
Views
2K
  • · Replies 17 ·
Replies
17
Views
4K
  • · Replies 7 ·
Replies
7
Views
3K