The hyperbolic functions ,
,
,
,
,
(hyperbolic sine, hyperbolic cosine, hyperbolic
tangent, hyperbolic cosecant, hyperbolic
secant, and hyperbolic cotangent) are
analogs of the circular functions, defined
by removing
s
appearing in the complex exponentials. For example,
(1)
|
so
(2)
|
Note that alternate notations are sometimes used, as summarized in the following table.
alternate notations | |
The hyperbolic functions share many properties with the corresponding circular functions. In fact, just as the circle can be represented parametrically by
(3)
| |||
(4)
|
a rectangular hyperbola (or, more specifically, its right branch) can be analogously represented by
(5)
| |||
(6)
|
where
is the hyperbolic cosine and
is the hyperbolic sine.
The hyperbolic functions arise in many problems of mathematics and mathematical physics in which integrals involving arise (whereas the circular
functions involve
). For instance, the hyperbolic
sine arises in the gravitational potential of a cylinder and the calculation
of the Roche limit. The hyperbolic cosine function
is the shape of a hanging cable (the so-called catenary).
The hyperbolic tangent arises in the calculation
of and rapidity of special relativity. All three appear in the Schwarzschild metric
using external isotropic Kruskal coordinates in general relativity. The hyperbolic
secant arises in the profile of a laminar jet. The hyperbolic
cotangent arises in the Langevin function for magnetic polarization.
The hyperbolic functions are defined by
(7)
| |||
(8)
| |||
(9)
| |||
(10)
| |||
(11)
| |||
(12)
| |||
(13)
| |||
(14)
| |||
(15)
| |||
(16)
|
For arguments multiplied by ,
(17)
|
(18)
|
The hyperbolic functions satisfy many identities analogous to the trigonometric identities (which can be inferred using Osborn's rule) such as
(19)
| |||
(20)
| |||
(21)
|
See also Beyer (1987, p. 168).
Some half-angle formulas are
(22)
| |||
(23)
|
where .
Some double-angle formulas are
(24)
| |||
(25)
| |||
(26)
|
Identities for complex arguments include
(27)
| |||
(28)
|
The absolute squares for complex arguments are
(29)
| |||
(30)
|