2.3 Complex e-function

Function:$f(x)=e^x,x\in \mathbb{R}$, $e=2.7181\dots$

We define the exponential function as (the only non trivial function) which is it’s own derivative:
Derivative of the exponential function:

Just using the definition of the factorial function we find the Taylor series expansion of the exponential function

First we will prove some very important properties of the exponential function.
Fundamental addition formula of the exponential function:
Applying the definition of the e-function as a series we find $$\begin{array}{rcl}{e}^x{e}^y& =& \sum _{n=0}^{\mathrm{\infty }}\frac{x^n}{n!}\sum _{m=0}^{\mathrm{\infty }}\frac{y^m}{m!}\\ & =& \sum _{n=0}^{\mathrm{\infty }}\sum _{k=0}^n\frac{x^k{y}^{n-k}}{k!(n-k)!}\\ & =& \sum _{n=0}^{\mathrm{\infty }}\frac{1}{n!}\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})x^k{y}^{n-k}\\ & =& \sum _{n=0}^{\mathrm{\infty }}\frac{(x+y{)}^n}{n!}\\ & =& e^{x+y}\end{array}$$

Euler’s formula:
taking into account $i^{4k}=1,i^{4k+1}=i,i^{4k+2}=-1,i^{4k+3}=-i$, and using the definitions by the Taylor series we find $$\begin{array}{rcl}{e}^{i\phi }& =& \sum _{n=0}^{\mathrm{\infty }}\frac{(i\phi {)}^n}{n!}=1+i\phi +\frac{(i\phi {)}^2}{2!}+\frac{(i\phi {)}^3}{3!}+\frac{(i\phi {)}^4}{4!}+\frac{(i\phi {)}^5}{5!}+\dots \\ & =& 1-\frac{{\phi }^2}{2!}+\frac{{\phi }^4}{4!}+\dots +i(\phi -\frac{{\phi }^3}{3!}+\frac{{\phi }^5}{5!}-\dots )\\ & :=& \cos \phi +i\sin \phi \end{array}$$

This is a very important relation. It can be understood as the definition of the sin and cos function and allows to replace $\cos \phi$ and $\sin \phi$ by the (complex) e-function (and vice versa) $\Rightarrow$ Simplification!!! (e.g. Waves $\widehat{=}$complex $e$-function). In addition the symmetries of the sin and cos functions get already obvious.

$\sin x$ and $\cos x$ vs. $\exp$:
For real numbers $\cos x$ and $\sin x$ are just the symmetric resp. antisymmetric representation of the $\exp x$ function with the following properties $$\begin{array}{rcl}{e}^{ix}& =& \cos x+i\sin xx\in \mathbb{R}\\ e^{-ix}& =& \cos x-i\sin x\\ \\ & \Rightarrow & \begin{array}{ccl}\cos x& =& \frac{1}{2}(e^{ix}+e^{-ix})\\ \\ \sin x& =& \frac{1}{2i}(e^{ix}-e^{-ix})\end{array}\end{array}$$

Additionally we directly get

Addition theorems for sin and cos functions:
Combining the exp-addition formula with Euler’s formula we find $$\begin{array}{rcl}(\cos y\cos z-\sin y\sin z)+i(\cos y\sin z+\sin y\cos z)& =& \\ (\cos y+i\sin y)(\cos z+i\sin z)& =& e^{iy}{e}^{iz}\\ & =& e^{i(y+z)}\\ & =& \cos (y+z)+i\sin (y+z)\end{array}$$

From real and imaginary part we finally get (representing the even and odd part of the complex exponential function) $$\begin{array}{rcl}\cos y\cos z-\sin y\sin z& =& \cos (y+z)\\ \cos y\sin z+\sin y\cos z& =& \sin (y+z)\end{array}$$

Combining both equations we easily get

Back to complex numbers:

$\to$In general:

$$\begin{array}{lcl}z& =& r(\cos \phi +i\sin \phi )\\ \text{Re}\{z\}& =& r\cos \phi \\ \text{Im}\{z\}& =& r\sin \phi \\ r& =& |z|\end{array}$$

Example:
Has the equation $e^z=-1$ any solution? (see also 3.5)

$$\begin{array}{r}\text{z-real}\to \text{no}\\ \text{z-complex}\Rightarrow e^a\cos b& =& -1\\ e^a\sin b& =& 0\Rightarrow b=n\pi \\ & \Rightarrow & \underset{a=0}{\underbrace{e^a}}\underset{n=2k+1}{\underbrace{\cos n\pi }}=-1\\ & \Rightarrow & z=(2k+1)\pi i\\ & \to & e^{\pi i}+1=0\text{beautiful expression}\end{array}$$

Similar to the definition of the cos and sin function we have

Definition 7 hyperbolic functions

$$\begin{array}{rcl}\cosh x& =& \frac{1}{2}(e^x+e^{-x})\in \mathbb{R}\\ \sinh x& =& \frac{1}{2}(e^x-e^{-x})\\ \tanh x& =& \frac{\sinh x}{\cosh x}=\frac{e^x-e^{-x}}{e^x+e^{-x}}\end{array}$$

like tan x $\to$ Definitions also valid for complex arguments $$\begin{array}{rcl}\sinh z& =& \frac{1}{2}(e^z-e^{-z}),\\ \cosh z& =& \frac{1}{2}(e^z+e^{-z}),\\ \\ \sinh (ix)& =& \frac{1}{2}(e^{ix}-e^{-ix})=i\sin x,\\ \cosh (ix)& =& \frac{1}{2}(e^{ix}+e^{-ix})=\cos x\end{array}$$

Theorem for $\cosh$ and $\sinh$:

$${\cosh }^{2}x-{\sinh }^{2}x=(\cosh x+\sinh x)(\cosh x-\sinh x)=e^x{e}^{-x}=1$$

$\to \sin z,\cos z$ for complex arguments are also defined in a logical way:

e.g.: $$\begin{array}{rcl}\sin z=2& =& \frac{1}{2i}(e^{iz}-e^{-iz})\\ \Rightarrow 4i& =& \underset{w}{\underbrace{e^{iz}}}-e^{-iz}\\ \iff w^2-4iw-1& =& 0\\ \Rightarrow w_{1/2}& =& 2i\pm \sqrt{5}i\\ w=e^{iz}& =& (2\pm \sqrt{5})i\\ \to \text{Re}(z)& =& 0\to \cos b=0\to b=(n+\frac{1}{2})\pi \\ \to \sin b& =& \pm 1\\ \pm e^a& =& (2\pm \sqrt{5})\\ a& =& \ln |2\pm \sqrt{5}|\\ \Rightarrow z& =& \ln |2\pm \sqrt{5}|+i(n+\frac{1}{2})\pi \end{array}$$

The above relation between sin, cos, sinh, and cosh allow e.g. to easily apply the addition theorems to calculate $$\begin{array}{rcl}\cosh (a+ib)& =& \cosh \left(a\right)\cosh \left(ib\right)+\sinh \left(a\right)\sinh \left(ib\right)\\ & =& \cosh \left(a\right)\cos \left(b\right)+i\sinh \left(a\right)\sin \left(b\right)\end{array}$$

© J. Carstensen (Math for MS)