complex sine and cosine
We define for all complex values of :
-
•
-
•
Because these series converge for all real values of , their radii of convergence are , and therefore they converge for all complex values of (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 and to power series and separating the of even and odd degrees gives the generalized Euler’s formulas
Adding, subtracting and multiplying these two formulae give respectively the two Euler’s formulae
(1) |
(which sometimes are used to define cosine and sine) and the “fundamental formula of trigonometry”
As consequences of the generalized Euler’s formulae one gets easily the addition formulae of sine and cosine:
so they are in fully as in . It means that all goniometric formulae derived from these, such as
have the old shape. See also the persistence of analytic relations.
The addition formulae may be written also as
which imply, when assumed that , the results
Thus we get the modulus estimation
which tends to infinity when moves to infinity along any line non-parallel to the real axis. The modulus of behaves similarly.
Another important consequence of the addition formulae is that the functions and are periodic and have as their prime period (http://planetmath.org/ComplexExponentialFunction):
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
The derivatives of sine function and cosine function are obtained either from the series forms or from (1):
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 |