complex sine and cosine

We define for all complex values of $z$:

• $\sin z:=z-{\displaystyle \frac{z^3}{3!}}+{\displaystyle \frac{z^5}{5!}}-{\displaystyle \frac{z^7}{7!}}+-\mathrm{\dots }$

• $\cos z:=\mathrm{\hspace{0.33em}1}-{\displaystyle \frac{z^2}{2!}}+{\displaystyle \frac{z^4}{4!}}-{\displaystyle \frac{z^6}{6!}}+-\mathrm{\dots }$

Because these series converge for all real values of $z$, their radii of convergence are $\mathrm{\infty }$, and therefore they converge for all complex values of $z$ (by a known of Abel; cf. the entry power series), too.  Thus they define holomorphic functions in the whole complex plane, i.e. entire functions (to be more precise, entire transcendental functions).  The series also show that sine is an odd function and cosine an even function.

Expanding the complex exponential functions $e^{iz}$ and $e^{-iz}$ to power series and separating the of even and odd degrees gives the generalized Euler’s formulas

$$e^{iz}=\cos z+i\sin z,e^{-iz}=\cos z-i\sin z.$$

Adding, subtracting and multiplying these two formulae give respectively the two Euler’s formulae

$\cos z={\displaystyle \frac{e^{iz}+e^{-iz}}{2}},\sin z={\displaystyle \frac{e^{iz}-e^{-iz}}{2i}}$(1)

(which sometimes are used to define cosine and sine) and the “fundamental formula of trigonometry”

$${\cos }^{2}z+{\sin }^{2}z=\mathrm{\hspace{0.33em}1}.$$

As consequences of the generalized Euler’s formulae one gets easily the addition formulae of sine and cosine:

$$\sin (z_1+z_2)=\sin z_1\cos z_2+\cos z_1\sin z_2,$$

$$\cos (z_1+z_2)=\cos z_1\cos z_2-\sin z_1\sin z_2;$$

so they are in $ℂ$ fully as in $ℝ$.  It means that all goniometric formulae derived from these, such as

$$\sin 2z=\mathrm{\hspace{0.33em}2}\sin z\cos z,\sin (\pi -z)=\sin z,{\sin }^{2}z=\frac{1-\cos 2z}{2},$$

have the old shape.  See also the persistence of analytic relations.

The addition formulae may be written also as

$$\sin (x+iy)=\sin x\cosh y+i\cos x\sinh y,$$

$$\cos (x+iy)=\cos x\cosh y-i\sin x\sinh y$$

which imply, when assumed that  $x,y\in ℝ$,  the results

$$\text{Re}(\sin (x+iy))=\sin x\cosh y,\text{Im}(\sin (x+iy))=\cos x\sinh y,$$

$$\text{Re}(\cos (x+iy))=\cos x\cosh y,\text{Im}(\cos (x+iy))=-\sin x\sinh y.$$

Thus we get the modulus estimation

$$\begin{array}{c}|\sin (x+iy)|=\sqrt{{\sin }^{2}x{\cosh }^{2}y+{\cos }^{2}x{\sinh }^{2}y}=\sqrt{{\sin }^{2}x{\cosh }^{2}y+(1-{\sin }^{2}x){\sinh }^{2}y}\hfill \\ =\sqrt{{\sin }^{2}x({\cosh }^{2}y-{\sinh }^{2}y)+{\sinh }^{2}y}=\sqrt{{\sin }^{2}x\cdot 1+{\sinh }^{2}y}\ge |\sinh y|,\hfill \end{array}$$

which tends to infinity when  $z=x+iy$  moves to infinity along any line non-parallel to the real axis.  The modulus of $\cos (x+iy)$ behaves similarly.

Another important consequence of the addition formulae is that the functions $\sin$ and $\cos$ are periodic and have $2\pi$ as theirprime period (http://planetmath.org/ComplexExponentialFunction):

$$\sin (z+2\pi )=\sin z,\cos (z+2\pi )=\cos z\mathit{\hspace{1em}}\forall z$$

The periodicity of the functions causes that their inverse functions, the complex cyclometric functions, are infinitely multivalued; they can be expressed via the complex logarithm and square root (see general power) as

$$\arcsin z=\frac{1}{i}\log (iz+\sqrt{1-z^2}),\arccos z=\frac{1}{i}\log (z+i\sqrt{1-z^2}).$$

The derivatives of sine function and cosine function are obtained either from the series forms or from (1):

$$\frac{d}{dz}\sin z=\cos z,\frac{d}{dz}\cos z=-\sin z$$

Cf. the higher derivatives (http://planetmath.org/HigherOrderDerivativesOfSineAndCosine).

Title	complex sine and cosine
Canonical name	ComplexSineAndCosine
Date of creation	2013-03-22 14:45:25
Last modified on	2013-03-22 14:45:25
Owner	pahio (2872)
Last modified by	pahio (2872)
Numerical id	31
Author	pahio (2872)
Entry type	Definition
Classification	msc 30D10
Classification	msc 30B10
Classification	msc 30A99
Classification	msc 33B10
Related topic	EulerRelation
Related topic	CyclometricFunctions
Related topic	ExampleOfTaylorPolynomialsForSinX
Related topic	ComplexExponentialFunction
Related topic	DefinitionsInTrigonometry
Related topic	PersistenceOfAnalyticRelations
Related topic	CosineAtMultiplesOfStraightAngle
Related topic	HeavisideFormula
Related topic	SomeValuesCharacterisingI
Related topic	UniquenessOfFouri
Defines	complex sine
Defines	complex cosine
Defines	sine
Defines	cosine
Defines	goniometric formula