0
$\begingroup$

Show that there cannot be an entire function $F$ such that $F(x) = 1-\exp(2\pi i/x)$ for $1 \leq x \leq 2$. I think this has got something to do with Rouche's Theorem or the Argument Principle, but I'm not sure how to apply either of these to this specific problem. Can anyone shed some light?

1 Answers 1

2

If $F(x)=1-\exp(2\pi i/x)$ for $1\leq x\leq 2$ and $f$ is entire, then in fact that equality holds over the whole of $\Omega=\mathbb C\setminus\{0\}$. Indeed, the two sides of the equality are holomorphic functions on the connected set $\Omega$ which coincide in a set which accumulates inside $\Omega$.

Now you should be able to check that there is no entire function which coincides with $1-\exp(2\pi i/x)$ on all of $\Omega$.

  • 0
    Can you elaborate a bit more? I don't understand why the equality has to hold over the punctured complex plane.2012-11-21
  • 0
    See the «improvement» section in this [Wikipedia page](http://en.wikipedia.org/wiki/Identity_theorem). This should be done in all complex analysis textbooks.2012-11-21
  • 0
    "...and $f$ is entire, then in fact that equality holds over the whole of $\Omega = \mathbb{C}\setminus {0}$." Why is this true? It is not obvious to me.2014-12-10
  • 0
    Oh ok it is obvious - the identity theorem. Woops. However, many textbooks don't cover this in the early section of power series.2014-12-10
  • 0
    Could you think of a proof/solution of this problem that doesn't involve the identity theorem?2014-12-10