4
$\begingroup$

By $\mathbb D$ denote the open unit disc in $\mathbb C$. Suppose that $f : \overline{\mathbb D}\to\mathbb C$ is analytic on $\mathbb D$ and continuous on $\overline{\mathbb D}$. Assume now that there are infinitely many distinct points $z_n\in\mathbb D$ which accumulate to the boundary of $\mathbb D$ such that $f(z_n) = 0$ for all $n\in\mathbb N$. Does it then follow that $f\equiv 0$?

The point is, we cannot make use of the usual identity theorem because the accumulation point of the zeros is not in $\mathbb D$. So, is there any "improvement" of that theorem covering the above case?

$\endgroup$
  • $\begingroup$ the starting point is $g(z) = \sin\left( \frac{1}{1+z}\right)$ or $g(z) = \exp\left( \frac{1}{1+z}\right)$, hence you ask if the continuity (at the accumulation point, on the $|z| \le 1$ part) is enough to forbid the essential singularity at the accumulation point ? $\endgroup$ – reuns Mar 25 '16 at 1:48
  • $\begingroup$ if you ask $f$ and also each of its derivatives are continuous on $\overline{\mathbb{D}}$, hence uniformely continuous on $\overline{\mathbb{D}}$, aren't they also continuous on the neighborhood outside ? $\endgroup$ – reuns Mar 25 '16 at 1:52
  • $\begingroup$ I doubt that $f$ can be continuously extended to the exterior. Note that the Schwarz reflection principle can only be applied when $f$ maps the unit circle to itself (i.e., $|f(z)|=1$ for $|z|=1$). $\endgroup$ – Friedrich Philipp Mar 25 '16 at 2:00
3
$\begingroup$

Let $f(z)=\sum_{n=0}^{\infty}a_nz^n$ be the series expansion of $f$ at zero, and suppose that this series has radius of convergence $R$. Then it's a general fact about holomorphic functions that $f$ must have a singularity on the circle $|z|=R$ (for a proof, see Big Rudin Chapter 16).

Since by assumption $f$ is continuous on $|z|=1$, this means that $R>1$, so we can still apply the identity theorem to conclude that $f\equiv 0$.

Edit: It appears I mis-remembered Rudin's definition of singularity here. He defines a singular point to be a boundary point which does not admit an analytic continuation. So just continuity on the boundary is not enough for my argument above.

For a construction relevant to your question, see this answer: Zeros of a holomorphic function on the boundary of a closed region

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Thanks a lot for this enlightening answer. :-) This is very interesting. $\endgroup$ – Friedrich Philipp Mar 25 '16 at 2:05
  • $\begingroup$ I'm not convinced. with the correct branch of $arg(z)$, $(z-1)^{1/2}$ is continuous at $z=1$ on the $Re(z) \le 1$ part, it doesn't mean it doesn't have a singularity there $\endgroup$ – reuns Mar 25 '16 at 2:05
  • $\begingroup$ what you say works if you ask $f$ being continuous in the complex sense on $\overline{\mathbb{D}}$, right ? not in the real sense ($f$ is continuous on $|z|\le 1$ in the real sense means we don't consider any value of $f$ outside $|z|\le 1$, while $f(z)$ is continuous at $z= a$ in the complex sense means $\lim_{z\to a} f(z) = f(a)$ from any direction/path) $\endgroup$ – reuns Mar 25 '16 at 2:08
  • $\begingroup$ @user1952009 How would you construct an $f$ as in the question from your example? $\endgroup$ – Friedrich Philipp Mar 25 '16 at 2:12
  • $\begingroup$ from an entire function $g(z)$ converging to $0$ at $\infty$ on every ray of the (closed) upper half plane ? then $f(z) = g(1/(1+z))$ or something like that, with $g(-1) \overset{def}{=} 0$ $\endgroup$ – reuns Mar 25 '16 at 2:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.