Is there an easy way to determine the order of the zero $z = 0$ of the function $f(z) = e^{\sin(z)} – e^{\tan(z)}$

complex-analysis

I've found two ways to determine the order of the zero $z = 0$ of the function $f(z) = e^{\sin(z)} – e^{\tan(z)}?$

Both ways, described below, are unsatisfactory insofar as I need help either from a calculator like Wolfram Alpha or from a collection of mathematical formulas.

(1) According to Wolfram Alpha the first and second derivatives of f evaluated at z = 0 are zero, while the third derivative is non-zero. Hence the zero has order three.

(2) In a collection of mathematical formulas I've found the first few terms in the Maclaurin expansion of the tangent function. I've used that together with the easy to remember Maclaurin expansions of sin and exp, and have concluded that the Maclaurin expansion of f probably starts with a cubic term, which would mean that the zero has order three, a result which agrees with what we got with method (1).

If I got a problem like this on an exam, I would be in big trouble since I wouldn't have access to any aids like the ones I've mentioned.

It's not possible to calculate all of the first three derivatives of f by hand since repeated applications of the quotient rule would be necessary, which would be just too cumbersome. Also the Maclaurin expansion of tan is not an expansion which you could memorize due to the weird coefficients without a recognizable pattern.

Is there an easy way to find the order of the zero z = 0 of f by hand, without any aids? I haven't been able to find one.

I would like to add that I don't find it possible to calculate by hand the first few terms in the Maclaurin expansion of tan, since also that would require cumbersome, repeated applications of the quotient rule.

Best Answer

If $f(z)$ and $g(z)$ are analytic functions with zeros of order $m$ and $n$, respectively, at $z=0$, then:

  • $f(z)g(z)$ has a zero of order $m+n$ at $z=0$ (most people realize this);
  • $f(g(z))$ has a zero of order $mn$ at $z=0$ (this is less well known! but it follows immediately from their series representations).

With this in mind, we can write $e^{\sin z} - e^{\tan z} = e^{\tan z} \bigl( e^{\sin z-\tan z}-1 \bigr) = e^{\tan z} f(g(z))$ where $f(z) = e^z-1$ and $g(z) = \sin z-\tan z$. It's easy to see that ($e^{\tan z}$ doesn't have a zero at $z=0$ and) $f(z)$ has a simple zero at $z=0$; so the order of the zero of $e^{\sin z} - e^{\tan z}$ is the same as the order of the zero of $g(z) = \sin z-\tan z$. (Even here we can avoid taking three derivatives by writing $g(x) = \tan z (\cos z-1)$ and using the first fact above.)

Related Question