The hyperbolic functions (or sometimes hyperbolic trigonometric functions) are analogues of the usual trigonometric functions, but adapted to the hyperbola $x^2 - y^2 = 1$ rather than the circle $x^2 + y^2 = 1$.
There are multiple ways of introducing the hyperbolic functions. Probably the most straightforward is to use the following definitions based on the exponential function $\exp$:
$\cosh(x) \coloneqq \frac1{2} (\exp(x) + \exp(-x))$ (hyperbolic cosine, sometimes pronounced as “kosh”). This can be interpreted as a function $\mathbb{R} \to \mathbb{R}$, or as a function $\mathbb{C} \to \mathbb{C}$.
$\sinh(x) \coloneqq \frac1{2} (\exp(x) - \exp(-x))$ (hyperbolic sine, sometimes pronounced as “cinch”). This also can be interpreted as a function $\mathbb{R} \to \mathbb{R}$, or as a function $\mathbb{C} \to \mathbb{C}$.
The remaining hyperbolic functions are defined by $\tanh \coloneqq \frac{\sinh}{\cosh}$, $\coth = \frac{\cosh}{\sinh}$, $\sech = \frac1{\cosh}$, $\csch = \frac1{\sinh}$.
Note that $(\cosh(t), \sinh(t))$ (as a pair of real-valued functions) lies on the hyperbola $x^2 - y^2 = 1$, and in fact this is a parametrization of the hyperbola, much as $(\cos(t), \sin(t))$ parametrizes the unit circle $x^2 + y^2 = 1$.
It is straightforward to establish the following further properties by exploiting properties of the exponential function:
$\cosh(x + y) = \cosh(x)\cosh(y) + \sinh(x)\sinh(y)$ and $\sinh(x+y) = \sinh(x)\cosh(y) - \cosh(x)\sinh(y)$ (“addition formulas”),
$(\cosh)' = \sinh$ and $(\sinh)' = \cosh$,
$\cosh(x + 2\pi i) = \cosh(x)$ and $\sinh(x + 2\pi i) = \sinh(x)$ for all $x \in \mathbb{C}$,
$\cosh(x) = \sum_{n \geq 0} \frac{x^{2 n}}{(2 n)!}$ and $\sinh(x) = \sum_{n \geq 0} \frac{x^{2 n + 1}}{(2 n + 1)!}$.
Another avenue is first to introduce the inverse hyperbolic functions as integrals of suitable algebraic functions, e.g.,
where $y = \sqrt{x^2 + 1}$. Or, what is essentially the same, construct a solution $p(t)$ to the differential equation
so that $(p'(t), p(t))$ parametrizes the curve $x^2 - y^2 = 1$; the approach by invoking an integral is in accordance with an elementary method in differential equations that goes by the name “separation of variables”.
This particular approach is similar to the way that elliptic functions were introduced historically, by studying integrals of algebraic functions
where $y$ is related to $x$ via an algebraic relation such as $y^2 = x^3 + a x + b$. For suitable such relations these give the various so-called elliptic integrals; for more on what this has to do with ellipses, see Wikipedia, e.g., here. Elliptic functions are then suitable inverses of elliptic integrals, following Jacobi, Abel, and others throughout the nineteenth century (e.g., Weierstrass; see also Weierstrass elliptic function).
Last revised on November 6, 2015 at 13:17:21. See the history of this page for a list of all contributions to it.