# stein and shakarchi complex analysis exercise 3.15 (b)

I can't solve this exercise from the book, can anyone give me a hint?

Show that if $f$ is holomorphic in the unit disc, is bounded, and converges uniformly to zero in the sector $\theta < \arg z < \varphi$ as $|z| \to 1$, then $f = 0$.

(Use the Cauchy inequalities or the maximum modulus principle)

My idea was to extend $f$ continuously to the border of the domain : $θ < \arg z < \varphi$ as $|z| = 1$ then since $f=0$ on the border, $f=0$ in the whole domain. However I can't show that $f$ is continuously extendable.

thank you!

• The hypothesis gives you the continuous extensibility to the arc $\{ e^{it} : 0 < t < \varphi\}$, with values $0$ there. Then you can reflect in that arc, and the identity theorem asserts that $f \equiv 0$. Note that the boundedness of $f$ is not required. But the exercise is probably before the reflection principle is introduced. Jan 3, 2016 at 19:03
• Hi Daniel, what do you mean by "reflect in that arc"? An idea that I had to do this problem, was to first rotate the sector then apply a power map $z^{\alpha}$ so that the image of the sector the whole disk and then apply the maximum modulus principle. Jun 18, 2018 at 20:46

Here's one way to do it. Let $M$ be a bound for $|f|$ on the unit disc and let $t$ be slightly smaller than $\varphi-\theta$ and define $$g(z) = f(z)f(ze^{it})f(ze^{2it})\cdots f(ze^{nit})$$ where $n$ is chosen so large that $nt > 2\pi$. Let $\varepsilon > 0$. By assumption there is an $r < 1$ such that $|f(z)| < \varepsilon$ for $r < |z| < 1$ and $\theta < \arg z < \phi$. Hence $$|g(z)| < M^n \varepsilon$$ for all $z$ with $r < |z| < 1$. (One factor has modulus less than $\varepsilon$ and the other factors less than $M$.) By the maximum modulus principle, $|g| < M^n\varepsilon$ on the whole disc, and since $\varepsilon$ was arbitrary, we must have that $g(z) = 0$ for all $z$ in the unit disc.
Hence one of the factors, and consequently all factors, of $g$ vanishes identically (otherwise $g$ would have at most countably many zeros).
• wow! just wow! $\phantom{ }$ Sep 26, 2016 at 18:02
• Sorry, what was the significance of choosing $n$ such that $nt> 2\pi$? Jun 18, 2018 at 21:00
• @user135520 You need to have enough rotated copies of $f$ to cover the whole circle.
• How to go from the maximum modulus principle to get $|g|<M^n\epsilon$ for the whole disc? Why there cannot exist $|z|\leq r$ such that $|g(z)|\geq M^n \epsilon$? Oct 16, 2018 at 1:01