Are there any holomorphic functions on a connected domain in $\mathbb C$ that can not be written as a sum of two univalent (holomorphic and injective) functions? What about as a sum of finitely many univalent functions? Or even infinitely many?
Holomorphic functions as sums
7
$\begingroup$
complex-analysis
analysis
-
0If the domain is all of $\mathbb C$ then the answer is trivially yes, since all univalent functions are linear. – 2012-09-29
-
0Yes, that seems pretty clear, but I am really interested in more general domains. Given how there can be no entire functions into any bound domain, the picture might well be very different. – 2012-09-29
-
1Any such function must have unbounded derivative; if $|f'(z)| < B$ on the domain, then $g(z)=f(z)+Bz$ is univalent. It also follows that any function on a bounded domain with at worst simple poles on its boundary is the sum of finitely many univalent functions, and if your domain is convex you can immediately extend that to "at worst double poles." – 2012-09-29
-
0Thanks, but you did not have to accept my incomplete answer... it's still interesting to know if every holomorphic function on $\mathbb D$ can be written as an infinite sum of univalent functions (uniformly convergent on open subsets). – 2012-09-30
-
0Well it sufficed for the application I had in mind, so while you didn't answer the exact question I posed, your answer was enough, that is why I accepted the answer. That said, I do agree that it would be interesting to know the full answer. – 2012-09-30
-
0@LVK You know, $az+bz^n$ is univalent for $|a|>n|b|$, and we can always represent any number as a sum of oscillating series with arbirtrarily slowly decaying terms and split any number into finitely many arbitrarily small parts. So the infinite case is not really that interesting... – 2012-10-06
1 Answers
13
There is a growth obstruction for finite sum representation. Indeed, a theorem of Prawitz (1927) says that every univalent function on the unit disk belongs to the Hardy space $H^p$ for all $p<1/2$. Consequently, $f(z)=(1-z)^{-q}$ is not a finite sum of univalent functions when $q>2$.
-
1Wow! What a nice result. – 2012-10-01