Intereting Posts

A finitely additive measure is a measure if and only if we have continuity from below
Can a $N-1$ rectifiable set be partitioned into countably many connected pieces?
Question about Quaternion group $Q_8$ and Dihedral group $D_8$
Strictly increasing function with $f'(x) = f(f(x))$
What textbook should I get to self-learn Calculus?
Expressing bitwise operations in terms of other functions
$\mathbb{Z}^{3}/\langle(b,6,0)\rangle$ according to the structure theorem for finitely generated abelian groups
Convergence/divergence of $\int_0^{\infty}\frac{x-\sin x}{x^{7/2}}\ dx$
Explicit expression minimal polynomial which is equal to characteristic.
Finding the Moment Generating Function for a random variable X^2
Sum of two uniform random variables
A necessary condition for a multi-complex-variable holomorphic function.
3 questions about Algebraic Geometry and Zariski topology
What does the continuum hypothesis imply?
Stopping rule for quality control problem

I am studying for a qualifier exam in complex analysis and right now I’m solving questions from old exams. I am trying to prove the following:

Prove that if $f$ and $g$ are entire functions such that $f(z)^2 + g(z)^2 = 1$ for all $z \in \mathbb{C}$, then there exists an entire function $h$ such that $f(z) = \cos(h(z))$ and $g(z) = \sin(h(z))$.

**My Attempt**

- Finding all complex zeros of a high-degree polynomial
- Complex analysis book for Algebraic Geometers
- Cauchy Integral Theorem and the complex logarithm function
- Question Relating with Open Mapping Theorem for Analytic Functions
- Contour integral of analytic function with singularity
- Proving that a family of functions converges to the Dirac delta.

The approach that occurred to me is the following. Since $f(z)^2 + g(z)^2 = 1$ then we have $(f(z) + ig(z))(f(z) – ig(z)) = 1$. Then each factor is nonvanishing everywhere in $\mathbb{C}$ and thus by the “holomorphic logarithm theorem” we know that since $\mathbb{C}$ is simply connected, there exists a holomorphic function $H:\mathbb{C} \to \mathbb{C}$ such that

$$e^{H(z)} = f(z) + ig(z)$$

and then we can write $\exp(H(z)) = \exp\left(i\dfrac{H(z)}{i} \right) = \exp(ih(z))$,

where $h(z) := \dfrac{H(z)}{i}$.

Thus so far we have an entire function $h(z)$ that satisfies

$$e^{ih(z)} = f(z) + ig(z)$$

On the other hand, we also know that $e^{iz} = \cos{z} + i \sin{z}$ for any $z \in \mathbb{C}$, thus we see that

$$e^{ih(z)} = \cos{(h(z))} + i \sin{(h(z))} = f(z) + ig(z)$$

Thus at this point I would like to conclude somehow that we must have $f(z) = \cos(h(z))$ and $g(z) = \sin(h(z))$, but I can’t see how and if this is possible.

**My questions**

- Is the approach I have outlined a correct way to proceed, and if so how can I finish my argument?
- If my argument does not work, how can this be proved?

Thanks for any help.

- $\sum_{n=1}^{\infty}\left(\frac{z}{1-z}\right)^n$. Determine if the following series converges or diverges
- Branches of analytic functions
- Calculate $\int_0^\infty {\frac{x}{{\left( {x + 1} \right)\sqrt {4{x^4} + 8{x^3} + 12{x^2} + 8x + 1} }}dx}$
- which of the following is NOT a possible value of $(e^{f})''(0)$??
- A complex map with “bounded” derivative is injective
- Evaluating $\int\limits_0^\infty \! \frac{x^{1/n}}{1+x^2} \ \mathrm{d}x$
- Can there be a point on a Riemann surface such that every rational function is ramified at this point?
- Integral $\int_0^\infty\sin{(x^4)} dx$
- Laplace inverse of the sine function
- On a conformal mapping

You approach appears to be correct, and it can be finished with the following thought: not only do complex exponentials split into combinations of trigonometric functions, but trig functions also split into combinations of complex exponentials. Indeed:

$$\cos\alpha=\frac{e^{i\alpha}+e^{-i\alpha}}{2},\quad \sin\alpha=\frac{e^{i\alpha}-e^{-i\alpha}}{2i}.$$

This is applicable for not just real $\alpha$, but complex as well. You’ve deduced $e^{ih(z)}=f(z)+ig(z)$ for some entire function $h$, and taking inverses gives $e^{-ih(z)}=f(z)-ig(z)$, so averaging these two will give you $\cos h(z)=f(z)$ (and similarly, $\sin h(z)=g(z)$).

- recurrence relation number of bacteria
- Showing diffeomorphism between $S^1 \subset \mathbb{R}^2$ and $\mathbb{RP}^1$
- The diameter of a convex hull.
- Bringing ordinals to standard polynomial form
- Group Order and Least Common Multiple
- Continuity of Derivative at a point.
- How to show $\lceil ( \sqrt3 +1)^{2n}\rceil$ where $n \in \mathbb{ N}$ is divisible by $2^{n+1}$
- Proof that $E(X)<\infty$ entails $\lim_{n\to\infty}n\Pr(X\ge n) = 0$?
- When does function composition commute?
- How many positive integers $< 1{,}000{,}000$ contain the digit $2$?
- Notation in Hartshorne Exercise 1.2.6
- Probability that 2 numbers will occur exactly 4 times.
- An abelian group of order 100
- Is it possible to solve $i^2+i+1\equiv 0\pmod{2^p-1}$ in general?
- Calculate $\int_0^{1}\frac{x^{-1 – x}\,\,\,\left(1 – x\right)^{x – 2}}{\mathrm{B}(1 – x\,, \,x)}\,\mathrm{d}x$