3
$\begingroup$

Suppose an analytic function $f$ agrees with $\tan x$, $0 \leq x \leq 1$. Could $f$ be entire?

Since $f$ and $\sin z/\cos z$ agree at a set of points and both are analytic in an open neighborhood of $(0,1)$, $f(z)=\sin z/\cos z$ in that open neighborhood. Now the problem for $f$ being entire is that $\sin z/\cos z$ is not differentiable at $z=(2n-1)\pi/2$, which aren't in $(0,1)$. I'm not sure if this is problem or if we can let $f$ be a different analytic function at the points where $\sin z/\cos z$ isn't defined.

1 Answers 1

9

No that is not possible. $\tan(x) - f(x) = 0$ for $x \in (0,1)$ and that implies that $f = \tan$ since the zeroes of a holomorphic function can have no limit points in its (connected) domain unless it is identically zero.

  • 0
    Thank you! That makes sense but isn't f(z) identically equal to tanz only on its domain of analyticity, not for all z. This is why I was confused.2012-02-28
  • 0
    @caligurl11: It shows that $f$ cannot be entire since you cannot extend it over the points where $\tan$ (and hence $f$) has poles. That is, $f$ can be extended exactly to the domain of $\tan$ and both are equal on that domain.2012-02-28
  • 0
    Why can't we extend f over the points where tan has poles and set it equal to an analytic function at those points?2012-02-28
  • 0
    @caligurl11: how would you even extend it to a continuous function, given that $|f| \rightarrow \infty$ near such a pole?2012-02-28
  • 0
    Got it! Thanks!2012-02-28