5

$f$ and $g$ are both holomorphic in $\Bbb{C}$, and for every $z$ in $\Bbb{C}$, $$f(z)^2+g(z)^2=1$$ please help me prove there is a $h(z)$ which is holomorphic in $\Bbb{C}$, such that $f(z)=\cos(h(z)), g(z)=\sin(h(z))$.

I try to suppose the conclusion is wrong, but I failed to find any contradiction here.

RDK
  • 2,623
  • 1
  • 8
  • 30
Uoxp
  • 51

1 Answers1

7

Since $(f + ig)(f-ig) = f^2 + g^2 = 1$, the function $f+ig$ has no zeros. It follows that $f+ig$ has a holomorphic logarithm. That is, there exists a holomorphic function $h$ such that $f+ig = e^{ih}$. This implies $f-ig = (f+ig)^{-1} = e^{-ih}$. It follows $$f = \frac{1}{2}(f+ig) + \frac{1}{2}(f-ig) = \frac{1}{2}(e^{ih} + e^{-ih}) = \cos(h).$$ Similarly, $$g = \frac{1}{2i}(f+ig) - \frac{1}{2i}(f-ig) = \frac{1}{2i}(e^{ih} - e^{-ih}) = \sin(h).$$

EDIT: As there seems to be some confusion about holomorphic logarithms, here is a proof that any holomorphic function $F: U \to \mathbb{C}$ with simply connected $U$ and $F(z) \neq 0$ for all $z \in U$ has a holomorphic logarithm. Let $G$ be the antiderivative of $\frac{F'}{F}$. $G$ exists because $F$ has no zeros and $U$ is simply connected. Now observe $$(e^{-G}F)' = -e^{-G}G'F + e^{-G}F' = e^{-G}(F'-G'F) = 0.$$ Thus $e^{-G}F$ is constant. It follows $F = Ce^{G}$ for some constant $C$. Let $C = e^{\tilde{C}}$. It follows that $G + \tilde{C}$ is a holomorphic logarithm of $F$.

Now for the above choose $F = f+ig$ and $h = -i(G+\tilde{C})$.

Klaus
  • 10,578
  • @AnneBauval Every holomorphic function $f$ without zeros on a simply connected domain has a holomorphic logarithm (i.e. a holomorphic function $g$ such that $f = e^g$). Indeed, you can just take the antiderivative of $\frac{f'}{f}$. – Klaus Oct 09 '22 at 10:35
  • @AnneBauval You don't need the image to be simply connected, only the domain of $f$ has to be simply connected. Just check that the antiderivative $g$ of $\frac{f'}{f}$ satisfies $f = e^g$. – Klaus Oct 09 '22 at 10:40
  • @AnneBauval Again, you don't need that the image of $F$ is simply connected. Does my edit clear up the confusion? – Klaus Oct 09 '22 at 11:25
  • Yes thank you for your patience and your expanation, which I now find clear from the very beginning. I apologize for annoying you with my blindness. – Anne Bauval Oct 09 '22 at 11:51