Cis (mathematics)

Overview

The cis notation is a shorthand for the combination of functions on the right-hand side of Euler's formula: : e^{ix} = \cos x + i\sin x, where . So, : \operatorname{cis} x = \cos x + i\sin x, i.e. "cis" is an acronym for "cos i sin".

It connects trigonometric functions with exponential functions in the complex plane via Euler's formula. While the domain of definition is usually x \in \mathbb{R}, complex values z \in \mathbb{C} are possible as well: : \operatorname{cis} z = \cos z + i\sin z, so the cis function can be used to extend Euler's formula to a more general complex version.

The function is mostly used as a convenient shorthand notation to simplify some expressions, for example in conjunction with Fourier and Hartley transforms, or when exponential functions shouldn't be used for some reason in math education.

In information technology, the function sees dedicated support in various high-performance math libraries (such as Intel's Math Kernel Library (MKL) or MathCW), available for many compilers and programming languages (including C, C++, Common Lisp, D, Haskell, Julia, and Rust). Depending on the platform, the fused operation is about twice as fast as calling the sine and cosine functions individually.

Mathematical identities

Derivative

: \frac{d}{dz}\operatorname{cis} z = i\operatorname{cis} z = ie^{iz}

Integral

: \int\operatorname{cis} z ,dz = -i\operatorname{cis} z = -ie^{iz}

Other properties

These follow directly from Euler's formula. : \cos(x) = \frac{\operatorname{cis}(x) + \operatorname{cis}(-x)}{2} = \frac{e^{ix} + e^{-ix}}{2} : \sin(x) = \frac{\operatorname{cis}(x) - \operatorname{cis}(-x)}{2i}= \frac{e^{ix} - e^{-ix}}{2i} : \operatorname{cis}(x+y) = \operatorname{cis} x,\operatorname{cis} y : \operatorname{cis}(x-y) = {\operatorname{cis} x \over \operatorname{cis} y} : \operatorname{cis}(nx) = \operatorname{cis}(x)^n : \operatorname{cis} \left( {x \over n} \right) = \sqrt[n]{\operatorname{cis}(x)}

The identities above hold if x and y are any complex numbers. If x and y are real, then : |\operatorname{cis} x - \operatorname{cis} y| \le |x-y|.

History

The cis notation was first coined by William Rowan Hamilton in Elements of Quaternions (1866) and subsequently used by Irving Stringham (who also called it "sector of x") in works such as Uniplanar Algebra (1893), James Harkness and Frank Morley in their Introduction to the Theory of Analytic Functions (1898), or by George Ashley Campbell (who also referred to it as "cisoidal oscillation") in his works on transmission lines (1901) and Fourier integrals (1928).

casIn 1942, inspired by the cis notation, Ralph V. L. Hartley introduced the cas (for cosine-and-sine) function for the real-valued Hartley kernel, a meanwhile established shortcut in conjunction with Hartley transforms: : \operatorname{cas} x = \cos x + \sin x.

Motivation

The cis notation is sometimes used to emphasize one method of viewing and dealing with a problem over another. The mathematics of trigonometry and exponentials are related but not exactly the same; exponential notation emphasizes the whole, whereas cis x and cos x + i sin x notations emphasize the parts. This can be rhetorically useful to mathematicians and engineers when discussing this function, and further serve as a mnemonic (for cos + i sin).

The cis notation is convenient for math students whose knowledge of trigonometry and complex numbers permit this notation, but whose conceptual understanding does not yet permit the notation eix. The usual proof that requires calculus, which the student may not have studied before encountering the expression cos x + i sin x.

This notation was more common when typewriters were used to convey mathematical expressions.

Notes

References

References

1. (2004). "Computational Noncommutative Algebra and Applications". [[Springer Science + Business Media, Inc.]].
2. (2014-07-28). "Cis". [[Clackamas Community College]], Mathematics Department.
3. (2008-01-17). "A First Course in Fourier Analysis". [[Cambridge University Press]].
4. (2016-11-14). "The Fractional Trigonometry: With Applications to Fractional Differential Equations and Science". [[John Wiley & Sons]].
5. (1866-01-01). "Elements of Quaternions". [[Longmans, Green & Co.]], [[University Press (Dublin).
6. (1899). "Elements of Quaternions". [[Longmans, Green & Co.]].
7. (1893-07-01). "Uniplanar Algebra, being part 1 of a propædeutic to the higher mathematical analysis". [[The Berkeley Press]].
8. (1952). "A History of Mathematical Notations". [[Open court publishing company]].
9. (1898). "Introduction to the Theory of Analytic Functions". [[Macmillan and Company]].
10. (2011). "Precalculus: Functions and Graphs". [[Cengage Learning]].
11. (2016-09-06). "Developer Reference for Intel Math Kernel Library (Intel MKL) 2017 - C". [[Intel Corporation]].
12. (2007). "Intel C++ Compiler Reference". [[Intel Corporation]].
13. (1996). "CIS". [[The Harlequin Group Limited]].
14. (2005). "CIS". [[LispWorks, Ltd.]].
15. (2016-01-11). "std.math: expi". [[Digital Mars]].
16. "Mathematics; Mathematical Operators". The Julia Language.
17. "Struct num_complex::Complex".
18. "CIS". ZVON.
19. (April 2003). "Rationale for International Standard - Programming Languages - C".
20. (2015). "Cis". [[Wolfram Research, Inc.]].
21. (2011). "Analysis I". Fachrichtung 6.1 Mathematik, [[Universität des Saarlandes]], Germany´.
22. (2011). "Analysis I". Fachrichtung 6.1 Mathematik, [[Universität des Saarlandes]], Germany.
23. (March 1942). "A More Symmetrical Fourier Analysis Applied to Transmission Problems". [[Institute of Radio Engineers]].
24. (June 1999). "The Fourier Transform and Its Applications". [[McGraw-Hill]].
25. (2011). "Abstract Algebra: An Introduction to Groups, Rings and Fields". [[World Scientific Publishing Co. Pte. Ltd.]].
26. (2016). "The fundamental theorem of algebra - a visual proof". [[Hamburg University of Applied Sciences]] (HAW), Department Medientechnik.
27. (January 2010). "Komplexe Zahlen: Ein Leitprogramm in Mathematik". [[Eidgenössische Technische Hochschule Zürich]] (ETH).
28. (1903). "Chapter XXX. On loaded lines in telephonic transmission". [[Taylor & Francis]].
29. (April 1911). "Cisoidal oscillations". [[American Institute of Electrical Engineers]].
30. (1928-10-01). "The Practical Application of the Fourier Integral". [[American Telephone and Telegraph Company]].
31. (2006). "Analysis I". [[Birkhäuser Verlag]].
32. (2017-08-22). "The Mathematical-Function Computation Handbook - Programming Using the MathCW Portable Software Library". [[Springer International Publishing AG]].