Trigonometric functions of matrices

{{Short description|Important functions in solving differential equations}}

The trigonometric functions (especially sine and cosine) for complex square matrices occur in solutions of second-order systems of differential equations.{{cite journal|title=Efficient Algorithms for the Matrix Cosine and Sine|author=Gareth I. Hargreaves |author2=Nicholas J. Higham |journal=Numerical Analysis Report|issue=461|publisher=Manchester Centre for Computational Mathematics|year=2005|volume=40|page=383|doi=10.1007/s11075-005-8141-0|bibcode=2005NuAlg..40..383H|s2cid=1242875|url=http://eprints.maths.manchester.ac.uk/124/1/paper2.pdf}} They are defined by the same Taylor series that hold for the trigonometric functions of complex numbers:{{cite book|title=Functions of matrices: theory and computation|author=Nicholas J. Higham|year=2008|pages=287f|isbn=978-0-89871-777-8}}

: $\begin{align}
\sin X & = X - \frac{X^3}{3!} + \frac{X^5}{5!} - \frac{X^7}{7!} + \cdots & = \sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)!}X^{2n+1} \\
\cos X & = I - \frac{X^2}{2!} + \frac{X^4}{4!} - \frac{X^6}{6!} + \cdots & = \sum_{n=0}^\infty \frac{(-1)^n}{(2n)!}X^{2n}
\end{align}$

with {{math|Xⁿ}} being the {{mvar|n}}th power of the matrix {{mvar|X}}, and {{mvar|I}} being the identity matrix of appropriate dimensions.

Equivalently, they can be defined using the matrix exponential along with the matrix equivalent of Euler's formula, {{math|e^iX {{=}} cos X + i sin X}}, yielding

: $\begin{align}
\sin X & = {e^{iX} - e^{-iX} \over 2i} \\
\cos X & = {e^{iX} + e^{-iX} \over 2}.
\end{align}$

For example, taking {{mvar|X}} to be a standard Pauli matrix,

: $\sigma_1 = \sigma_x =
\begin{pmatrix}
0&1\\
1&0
\end{pmatrix} ~,$

one has

: $\sin(\theta \sigma_1) = \sin(\theta)~ \sigma_1 , \qquad \cos (\theta \sigma_1) = \cos (\theta)~I~,$

as well as, for the cardinal sine function,

: $\operatorname{sinc}( \theta \sigma_1) =\operatorname{sinc}( \theta) ~I.$

{{see also| Axis–angle representation # Exponential map from so(3) to SO(3)}}

Properties

The analog of the Pythagorean trigonometric identity holds:

: $\sin^2 X + \cos^2 X = I$

If {{mvar|X}} is a diagonal matrix, {{math|sin X}} and {{math|cos X}} are also diagonal matrices with {{math|(sin X)_nn {{=}} sin(X_nn)}} and {{math|(cos X)_nn {{=}} cos(X_nn)}}, that is, they can be calculated by simply taking the sines or cosines of the matrices's diagonal components.

The analogs of the trigonometric addition formulas are true if and only if {{mvar|XY {{=}} YX}}:

: $\begin{align}
\sin (X \pm Y) = \sin X \cos Y \pm \cos X \sin Y \\
\cos (X \pm Y) = \cos X \cos Y \mp \sin X \sin Y
\end{align}$

Other functions

The tangent, as well as inverse trigonometric functions, hyperbolic and inverse hyperbolic functions have also been defined for matrices:[https://help.scilab.org/docs/5.5.2/en_US/section_99038107015b1d789de50bf92f154a85.html Scilab trigonometry].

: $\arcsin X = -i \ln \left( iX + \sqrt{I-X^2} \right)$ (see Inverse trigonometric functions#Logarithmic forms, Matrix logarithm, Square root of a matrix)

: $\begin{align}
\sinh X & = {e^X - e^{-X} \over 2} \\
\cosh X & = {e^X + e^{-X} \over 2}
\end{align}$

and so on.

References

Category:Trigonometry

Category:Matrix theory