4
$\begingroup$

There is none because we have $e^z \neq 0$ for every $z \in \mathbb C$.

But we have Taylor series that everywhere converges to $e^z$, it is $e^z = \displaystyle \sum_{k=0}^{+ \infty} \frac {z^k}{k!}$.

If we truncate that series , say, at natural $m$, then we have Taylor polynomial $\displaystyle \sum_{k=0}^{m} \frac {z^k}{k!}$, which has, counted with maybe possible multiplicity, $m$ complex zeroes.

So as the degree of Taylor polynomial grows the number of zeroes increases, but in the limit they all dissapear, why?

$\endgroup$
  • 2
    $\begingroup$ Why would you expect otherwise? $\endgroup$ – anomaly Aug 27 '18 at 3:47
  • $\begingroup$ Since the Taylor polynomial $T_n(z)$ tends to $e^z$ uniformly for $|z| < R$ for any fixed radius $R$, and $e^z$ has no zeroes, for large enough $n$ the zeroes of $T_n(z)$ must have $|z| > R$. In other words - the zeroes must tend to infinity. It would be interesting to see what the zeroes look like on the complex plane for large $n$. $\endgroup$ – Jair Taylor Aug 27 '18 at 3:56
  • $\begingroup$ @JairTaylor Do you think that they form some special polygons or something like that? $\endgroup$ – Right Aug 27 '18 at 4:01
  • $\begingroup$ @anomaly Because there are reasons why the number of zeroes is not infinite. $\endgroup$ – Right Aug 27 '18 at 4:02
  • $\begingroup$ @Right Yes, the zeroes of polynomial sequences often form interesting shapes. $\endgroup$ – Jair Taylor Aug 27 '18 at 4:06
4
$\begingroup$

Nice question. A google search brings me to a paper of Ian Zemke, although this does not seem to have been peer-reviewed and I have not checked it myself. He apparently proves that the zeroes of $T_n(z) = \sum_{k=0}^n\frac{z^k}{k!}$ tend toward a specific curve, after normalization. That is, if $p_n(z) = T_n(nz)$, then the zeroes of $p_n(z)$ are asymptotically close to the curve $$Γ = \{z : |ze^{1−z} | = 1, |z| ≤ 1\}.$$ Thus the zeroes of the original $T_n(z)$ tend to infinity linearly with $n$.

A nice visualization from Zemke's paper:

enter image description here

Edit: It seems this result is actually due to Gábor Szegő from 1924. See Hans Lundmark's comment below.

$\endgroup$
  • $\begingroup$ This is a famous result by Szegő from 1924. See here for some more pictures: users.mai.liu.se/hanlu09/complex/taylor $\endgroup$ – Hans Lundmark Aug 27 '18 at 4:56
  • $\begingroup$ @HansLundmark Ah, thanks! I was not aware of this result. Apparently my google-fu was not up to snuff. $\endgroup$ – Jair Taylor Aug 27 '18 at 5:06
  • $\begingroup$ Well, you still found a nice review paper! (I don't think Zemke claims that the proofs are original.) Here's another one, behind a paywall though: jstor.org/stable/30037629 $\endgroup$ – Hans Lundmark Aug 27 '18 at 5:11
  • $\begingroup$ That looks helpful too. Your visualizations are very nice! There are also some interesting examples of zeroes of polynomial sequences from the great Richard Stanley. $\endgroup$ – Jair Taylor Aug 27 '18 at 5:34
  • $\begingroup$ More fun here: math.stackexchange.com/questions/206890/… $\endgroup$ – Hans Lundmark Aug 27 '18 at 7:41

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.