In mathematics, hyperbolic functions are analogs of the ordinary trigonometric functions defined for the hyperbola rather than on the circle: just as the points (cos t, sin t) form a circle with a unit radius, the points (cosh t, sinh t) form the right half of the equilateral hyperbola. Hyperbolic functions occur in the solutions of many linear differential equations (for example, the equation defining a catenary), of some cubic equations, in calculations of angles and distances in hyperbolic geometry, and of Laplace's equation in Cartesian coordinates. Laplace's equations are important in many areas of physics, including electromagnetic theory, heat transfer, fluid dynamics, and special relativity. The basic hyperbolic functions are: from which are derived: corresponding to the derived trigonometric functions. The inverse hyperbolic functions are: The hyperbolic functions take a real argument called a hyperbolic angle. The size of a hyperbolic angle is twice the area of its hyperbolic sector. The hyperbolic functions may be defined in terms of the legs of a right triangle covering this sector. In complex analysis, the hyperbolic functions arise as the imaginary parts of sine and cosine. The hyperbolic sine and the hyperbolic cosine are entire functions. As a result, the other hyperbolic functions are meromorphic in the whole complex plane. By Lindemann–Weierstrass theorem, the hyperbolic functions have a transcendental value for every non-zero algebraic value of the argument. Hyperbolic functions were introduced in the 1760s independently by Vincenzo Riccati and Johann Heinrich Lambert. Riccati used Sc. and Cc. (sinus/cosinus circulare) to refer to circular functions and Sh. and Ch. (sinus/cosinus hyperbolico) to refer to hyperbolic functions. Lambert adopted the names but altered the abbreviations to what they are today. The abbreviations sh, ch, th, cth are also at disposition, their use depending more on personal preference of mathematics of influence than on the local language.
1. Definitions
sinh,
cosh and
tanh. https://handwiki.org/wiki/index.php?curid=2077850
csch,
sech and
coth. https://handwiki.org/wiki/index.php?curid=2068341
There are various equivalent ways for defining the hyperbolic functions.
1.1. Exponential Definitions
sinh x is half the difference of
ex and
e−x. https://handwiki.org/wiki/index.php?curid=2086420
cosh x is the average of
ex and
e−x. https://handwiki.org/wiki/index.php?curid=2015812
They may be defined in terms of the exponential function:
- Hyperbolic sine: the odd part of the exponential function, that is
- [math]\displaystyle{ \sinh x = \frac {e^x - e^{-x}} {2} = \frac {e^{2x} - 1} {2e^x} = \frac {1 - e^{-2x}} {2e^{-x}}. }[/math]
- Hyperbolic cosine: the even part of the exponential function, that is
- [math]\displaystyle{ \cosh x = \frac {e^x + e^{-x}} {2} = \frac {e^{2x} + 1} {2e^x} = \frac {1 + e^{-2x}} {2e^{-x}}. }[/math]
- Hyperbolic tangent:
- [math]\displaystyle{ \tanh x = \frac{\sinh x}{\cosh x} = \frac {e^x - e^{-x}} {e^x + e^{-x}} = \frac{e^{2x} - 1} {e^{2x} + 1} }[/math]
- Hyperbolic cotangent: for x ≠ 0,
- [math]\displaystyle{ \coth x = \frac{\cosh x}{\sinh x} = \frac {e^x + e^{-x}} {e^x - e^{-x}} = \frac{e^{2x} + 1} {e^{2x} - 1} }[/math]
- Hyperbolic secant:
- [math]\displaystyle{ \operatorname{sech} x = \frac{1}{\cosh x} = \frac {2} {e^x + e^{-x}} = \frac{2e^x} {e^{2x} + 1} }[/math]
- Hyperbolic cosecant: for x ≠ 0,
- [math]\displaystyle{ \operatorname{csch} x = \frac{1}{\sinh x} = \frac {2} {e^x - e^{-x}} = \frac{2e^x} {e^{2x} - 1} }[/math]
1.2. Differential Definitions
The hyperbolic functions may be defined as solutions of differential equations: The hyperbolic sine and cosine are the unique solution (s, c) of the system
- [math]\displaystyle{ \begin{align} c'(x)&=s(x)\\ s'(x)&=c(x)\end{align} }[/math]
such that s(0) = 0 and c(0) = 1.
They are also the unique solution of the equation f ″(x) = f (x), such that f (0) = 1, f ′(0) = 0 for the hyperbolic cosine, and f (0) = 0, f ′(0) = 1 for the hyperbolic sine.
1.3. Trigonometric Definitions
Hyperbolic functions may also be deduced from trigonometric functions with complex arguments:
- Hyperbolic sine:
- [math]\displaystyle{ \sinh x = -i \sin (i x) }[/math]
- Hyperbolic cosine:
- [math]\displaystyle{ \cosh x = \cos (i x) }[/math]
- Hyperbolic tangent:
- [math]\displaystyle{ \tanh x = -i \tan (i x) }[/math]
- Hyperbolic cotangent:
- [math]\displaystyle{ \coth x = i \cot (i x) }[/math]
- Hyperbolic secant:
- [math]\displaystyle{ \operatorname{sech} x = \sec (i x) }[/math]
- Hyperbolic cosecant:
- [math]\displaystyle{ \operatorname{csch} x = i \csc (i x) }[/math]
where i is the imaginary unit with the property that i2 = −1.
The complex forms in the definitions above derive from Euler's formula.
2. Characterizing Properties
2.1. Hyperbolic Cosine
It can be shown that the area under the curve of the hyperbolic cosine over a finite interval is always equal to the arc length corresponding to that interval:[1]
- [math]\displaystyle{ \text{area} = \int_a^b \cosh x \,dx = \int_a^b\sqrt{1 + \left(\frac{d}{dx} \cosh x \right)^2} \,dx = \text{arc length.} }[/math]
2.2. Hyperbolic Tangent
The hyperbolic tangent is the solution to the differential equation f ′ = 1 − f 2 with f (0) = 0 and the nonlinear boundary value problem:[2][3]
- [math]\displaystyle{ \tfrac{1}{2} f'' = f^3 - f ; \quad f(0) = f'(\infty) = 0. }[/math]
3. Useful Relations
Odd and even functions:
- [math]\displaystyle{ \begin{align} \sinh (-x) &= -\sinh x \\ \cosh (-x) &= \cosh x \end{align} }[/math]
Hence:
- [math]\displaystyle{ \begin{align} \tanh (-x) &= -\tanh x \\ \coth (-x) &= -\coth x \\ \operatorname{sech} (-x) &= \operatorname{sech} x \\ \operatorname{csch} (-x) &= -\operatorname{csch} x \end{align} }[/math]
It can be seen that cosh x and sech x are even functions; the others are odd functions.
- [math]\displaystyle{ \begin{align} \operatorname{arsech} x &= \operatorname{arcosh} \left(\frac{1}{x}\right) \\ \operatorname{arcsch} x &= \operatorname{arsinh} \left(\frac{1}{x}\right) \\ \operatorname{arcoth} x &= \operatorname{artanh} \left(\frac{1}{x}\right) \end{align} }[/math]
Hyperbolic sine and cosine satisfy:
- [math]\displaystyle{ \begin{align} \cosh x + \sinh x &= e^x \\ \cosh x - \sinh x &= e^{-x} \\ \cosh^2 x - \sinh^2 x &= 1 \end{align} }[/math]
the last of which is similar to the Pythagorean trigonometric identity.
One also has
- [math]\displaystyle{ \begin{align} \operatorname{sech} ^{2} x &= 1 - \tanh^{2} x \\ \operatorname{csch} ^{2} x &= \coth^{2} x - 1 \end{align} }[/math]
for the other functions.
3.1. Sums of Arguments
- [math]\displaystyle{ \begin{align} \sinh(x + y) &= \sinh x \cosh y + \cosh x \sinh y \\ \cosh(x + y) &= \cosh x \cosh y + \sinh x \sinh y \\[6px] \tanh(x + y) &= \frac{\tanh x +\tanh y}{1+ \tanh x \tanh y } \\ \end{align} }[/math]
particularly
- [math]\displaystyle{ \begin{align} \cosh (2x) &= \sinh^2{x} + \cosh^2{x} = 2\sinh^2 x + 1 = 2\cosh^2 x - 1\\ \sinh (2x) &= 2\sinh x \cosh x \\ \tanh (2x) &= \frac{2\tanh x}{1+ \tanh^2 x } \\ \end{align} }[/math]
Also:
- [math]\displaystyle{ \begin{align} \sinh x + \sinh y &= 2 \sinh \left(\frac{x+y}{2}\right) \cosh \left(\frac{x-y}{2}\right)\\ \cosh x + \cosh y &= 2 \cosh \left(\frac{x+y}{2}\right) \cosh \left(\frac{x-y}{2}\right)\\ \end{align} }[/math]
3.1. Subtraction Formulas
- [math]\displaystyle{ \begin{align} \sinh(x - y) &= \sinh x \cosh y - \cosh x \sinh y \\ \cosh(x - y) &= \cosh x \cosh y - \sinh x \sinh y \\ \tanh(x - y) &= \frac{\tanh x -\tanh y}{1- \tanh x \tanh y } \\ \end{align} }[/math]
Also:[4]
- [math]\displaystyle{ \begin{align} \sinh x - \sinh y &= 2 \cosh \left(\frac{x+y}{2}\right) \sinh \left(\frac{x-y}{2}\right)\\ \cosh x - \cosh y &= 2 \sinh \left(\frac{x+y}{2}\right) \sinh \left(\frac{x-y}{2}\right)\\ \end{align} }[/math]
3.2. Half Argument Formulas
- [math]\displaystyle{ \begin{align} \sinh\left(\frac{x}{2}\right) &= \frac{\sinh (x)}{\sqrt{2 (\cosh x + 1)} } &&= \sgn x \, \sqrt \frac{\cosh x - 1}{2} \\[6px] \cosh\left(\frac{x}{2}\right) &= \sqrt \frac{\cosh x + 1}{2}\\[6px] \tanh\left(\frac{x}{2}\right) &= \frac{\sinh x}{\cosh x + 1} &&= \sgn x \, \sqrt \frac{\cosh x-1}{\cosh x+1} = \frac{e^x - 1}{e^x + 1} \end{align} }[/math]
where sgn is the sign function.
If x ≠ 0, then[5]
- [math]\displaystyle{ \tanh\left(\frac{x}{2}\right) = \frac{\cosh x - 1}{\sinh x} = \coth x - \operatorname{csch} x }[/math]
4. Inverse Functions as Logarithms
- [math]\displaystyle{ \begin{align} \operatorname {arsinh} (x) &= \ln \left(x + \sqrt{x^{2} + 1} \right) \\ \operatorname {arcosh} (x) &= \ln \left(x + \sqrt{x^{2} - 1} \right) && x \geqslant 1 \\ \operatorname {artanh} (x) &= \frac{1}{2}\ln \left( \frac{1 + x}{1 - x} \right) && | x | \lt 1 \\ \operatorname {arcoth} (x) &= \frac{1}{2}\ln \left( \frac{x + 1}{x - 1} \right) && |x| \gt 1 \\ \operatorname {arsech} (x) &= \ln \left( \frac{1}{x} + \sqrt{\frac{1}{x^2} - 1}\right) = \ln \left( \frac{1+ \sqrt{1 - x^2}}{x} \right) && 0 \lt x \leqslant 1 \\ \operatorname {arcsch} (x) &= \ln \left( \frac{1}{x} + \sqrt{\frac{1}{x^2} +1}\right) && x \ne 0 \end{align} }[/math]
5. Derivatives
- [math]\displaystyle{ \begin{align} \frac{d}{dx}\sinh x &= \cosh x \\ \frac{d}{dx}\cosh x &= \sinh x \\ \frac{d}{dx}\tanh x &= 1 - \tanh^2 x = \operatorname{sech}^2 x = \frac{1}{\cosh^2 x} \\ \frac{d}{dx}\coth x &= 1 - \coth^2 x = -\operatorname{csch}^2 x = -\frac{1}{\sinh^2 x} && x \neq 0 \\ \frac{d}{dx}\operatorname{sech} x &= - \tanh x \operatorname{sech} x \\ \frac{d}{dx}\operatorname{csch} x &= - \coth x \operatorname{csch} x && x \neq 0 \\ \frac{d}{dx}\operatorname{arsinh} x &= \frac{1}{\sqrt{x^2+1}} \\ \frac{d}{dx}\operatorname{arcosh} x &= \frac{1}{\sqrt{x^2 - 1}} && 1 \lt x \\ \frac{d}{dx}\operatorname{artanh} x &= \frac{1}{1-x^2} && |x| \lt 1 \\ \frac{d}{dx}\operatorname{arcoth} x &= \frac{1}{1-x^2} && 1 \lt |x| \\ \frac{d}{dx}\operatorname{arsech} x &= -\frac{1}{x\sqrt{1-x^2}} && 0 \lt x \lt 1 \\ \frac{d}{dx}\operatorname{arcsch} x &= -\frac{1}{|x|\sqrt{1+x^2}} && x \neq 0 \end{align} }[/math]
6. Second Derivatives
Sinh and cosh are both equal to their second derivative, that is:
- [math]\displaystyle{ \frac{d^2}{dx^2}\sinh x = \sinh x \, }[/math]
- [math]\displaystyle{ \frac{d^2}{dx^2}\cosh x = \cosh x \, . }[/math]
All functions with this property are linear combinations of sinh and cosh, in particular the exponential functions [math]\displaystyle{ e^x }[/math] and [math]\displaystyle{ e^{-x} }[/math], and the zero function [math]\displaystyle{ f(x) = 0 }[/math].
7. Standard Integrals
- [math]\displaystyle{ \begin{align} \int \sinh (ax)\,dx &= a^{-1} \cosh (ax) + C \\ \int \cosh (ax)\,dx &= a^{-1} \sinh (ax) + C \\ \int \tanh (ax)\,dx &= a^{-1} \ln (\cosh (ax)) + C \\ \int \coth (ax)\,dx &= a^{-1} \ln (\sinh (ax)) + C \\ \int \operatorname{sech} (ax)\,dx &= a^{-1} \arctan (\sinh (ax)) + C \\ \int \operatorname{csch} (ax)\,dx &= a^{-1} \ln \left( \tanh \left( \frac{ax}{2} \right) \right) + C = a^{-1} \ln\left|\operatorname{csch} (ax) - \coth (ax)\right| + C \end{align} }[/math]
The following integrals can be proved using hyperbolic substitution:
- [math]\displaystyle{ \begin{align} \int {\frac{1}{\sqrt{a^2 + u^2}}\,du} & = \operatorname{arsinh} \left( \frac{u}{a} \right) + C \\ \int {\frac{1}{\sqrt{u^2 - a^2}}\,du} &= \operatorname{arcosh} \left( \frac{u}{a} \right) + C \\ \int {\frac{1}{a^2 - u^2}}\,du & = a^{-1}\operatorname{artanh} \left( \frac{u}{a} \right) + C && u^2 \lt a^2 \\ \int {\frac{1}{a^2 - u^2}}\,du & = a^{-1}\operatorname{arcoth} \left( \frac{u}{a} \right) + C && u^2 \gt a^2 \\ \int {\frac{1}{u\sqrt{a^2 - u^2}}\,du} & = -a^{-1}\operatorname{arsech}\left( \frac{u}{a} \right) + C \\ \int {\frac{1}{u\sqrt{a^2 + u^2}}\,du} & = -a^{-1}\operatorname{arcsch}\left| \frac{u}{a} \right| + C \end{align} }[/math]
where C is the constant of integration.
8. Taylor Series Expressions
It is possible to express the above functions as Taylor series:
- [math]\displaystyle{ \sinh x = x + \frac {x^3} {3!} + \frac {x^5} {5!} + \frac {x^7} {7!} +\cdots = \sum_{n=0}^\infty \frac{x^{2n+1}}{(2n+1)!} }[/math]
The function sinh x has a Taylor series expression with only odd exponents for x. Thus it is an odd function, that is, −sinh x = sinh(−x), and sinh 0 = 0.
- [math]\displaystyle{ \cosh x = 1 + \frac {x^2} {2!} + \frac {x^4} {4!} + \frac {x^6} {6!} + \cdots = \sum_{n=0}^\infty \frac{x^{2n}}{(2n)!} }[/math]
The function cosh x has a Taylor series expression with only even exponents for x. Thus it is an even function, that is, symmetric with respect to the y-axis. The sum of the sinh and cosh series is the infinite series expression of the exponential function.
- [math]\displaystyle{ \begin{align} \tanh x &= x - \frac {x^3} {3} + \frac {2x^5} {15} - \frac {17x^7} {315} + \cdots = \sum_{n=1}^\infty \frac{2^{2n}(2^{2n}-1)B_{2n} x^{2n-1}}{(2n)!}, \left |x \right | \lt \frac {\pi} {2} \\ \coth x &= x^{-1} + \frac {x} {3} - \frac {x^3} {45} + \frac {2x^5} {945} + \cdots = x^{-1} + \sum_{n=1}^\infty \frac{2^{2n} B_{2n} x^{2n-1}} {(2n)!}, 0 \lt \left |x \right | \lt \pi \\ \operatorname {sech}\, x &= 1 - \frac {x^2} {2} + \frac {5x^4} {24} - \frac {61x^6} {720} + \cdots = \sum_{n=0}^\infty \frac{E_{2 n} x^{2n}}{(2n)!} , \left |x \right | \lt \frac {\pi} {2} \\ \operatorname {csch}\, x &= x^{-1} - \frac {x} {6} +\frac {7x^3} {360} -\frac {31x^5} {15120} + \cdots = x^{-1} + \sum_{n=1}^\infty \frac{ 2 (1-2^{2n-1}) B_{2n} x^{2n-1}}{(2n)!} , 0 \lt \left |x \right | \lt \pi \end{align} }[/math]
where:
- [math]\displaystyle{ B_n \, }[/math] is the nth Bernoulli number
- [math]\displaystyle{ E_n \, }[/math] is the nth Euler number
9. Comparison with Circular Functions
Circle and hyperbola tangent at (1,1) display geometry of circular functions in terms of circular sector area
u and hyperbolic functions depending on hyperbolic sector area
u. https://handwiki.org/wiki/index.php?curid=2037622
The hyperbolic functions represent an expansion of trigonometry beyond the circular functions. Both types depend on an argument, either circular angle or hyperbolic angle.
Since the area of a circular sector with radius r and angle u is r2u/2, it will be equal to u when r = √2. In the diagram such a circle is tangent to the hyperbola xy = 1 at (1,1). The yellow sector depicts an area and angle magnitude. Similarly, the yellow and red sectors together depict an area and hyperbolic angle magnitude.
The legs of the two right triangles with hypotenuse on the ray defining the angles are of length √2 times the circular and hyperbolic functions.
The hyperbolic angle is an invariant measure with respect to the squeeze mapping, just as the circular angle is invariant under rotation.[6]
10. Identities
The hyperbolic functions satisfy many identities, all of them similar in form to the trigonometric identities. In fact, Osborn's rule[7] states that one can convert any trigonometric identity into a hyperbolic identity by expanding it completely in terms of integral powers of sines and cosines, changing sine to sinh and cosine to cosh, and switching the sign of every term which contains a product of 2, 6, 10, 14, ... sinhs. This yields for example the addition theorems
- [math]\displaystyle{ \begin{align} \sinh(x + y) &= \sinh (x) \cosh (y) + \cosh (x) \sinh (y) \\ \cosh(x + y) &= \cosh (x) \cosh (y) + \sinh (x) \sinh (y) \\ \tanh(x + y) &= \frac{\tanh (x) + \tanh (y)}{1 + \tanh (x) \tanh (y)} \end{align} }[/math]
the "double argument formulas"
- [math]\displaystyle{ \begin{align} \sinh (2x) &= 2\sinh x \cosh x \\ \cosh (2x) &= \cosh^2 x + \sinh^2 x = 2\cosh^2 x - 1 = 2\sinh^2 x + 1 \\ \tanh (2x) &= \frac{2\tanh x}{1 + \tanh^2 x}\\ \sinh (2x) &= \frac{2\tanh x}{1-\tanh^2 x}\\ \cosh (2x) &= \frac{1+ \tanh^2 x}{1-\tanh^2 x} \end{align} }[/math]
and the "half-argument formulas"[8]
- [math]\displaystyle{ \sinh \frac{x}{2} = \sqrt{ \frac{1}{2}(\cosh x - 1)} }[/math] (This is equivalent to its circular counterpart multiplied by −1.)
- [math]\displaystyle{ \cosh \frac{x}{2} = \sqrt{ \frac{1}{2}(\cosh x + 1)} }[/math] (This corresponds to its circular counterpart.)
- [math]\displaystyle{ \tanh \frac{x}{2} = \sqrt \frac{\cosh x - 1}{\cosh x + 1} = \frac{\sinh x}{\cosh x + 1} = \frac{\cosh x - 1}{\sinh x} = \coth x - \operatorname{csch}x. }[/math]
- [math]\displaystyle{ \coth \frac{x}{2} = \coth x + \operatorname{csch}x. }[/math]
The derivative of sinh x is cosh x and the derivative of cosh x is sinh x; this is similar to trigonometric functions, albeit the sign is different (i.e., the derivative of cos x is −sin x).
The Gudermannian function gives a direct relationship between the circular functions and the hyperbolic ones that does not involve complex numbers.
The graph of the function a cosh(x/a) is the catenary, the curve formed by a uniform flexible chain hanging freely between two fixed points under uniform gravity.
11. Relationship to the Exponential Function
The decomposition of the exponential function in its even and odd parts gives the identities
- [math]\displaystyle{ e^x = \cosh x + \sinh x, }[/math]
and
- [math]\displaystyle{ e^{-x} = \cosh x - \sinh x. }[/math]
The first one is analogous to Euler's formula
- [math]\displaystyle{ e^{ix} = \cos x + i\sin x. }[/math]
Additionally,
- [math]\displaystyle{ e^x = \sqrt{\frac{1 + \tanh x}{1 - \tanh x}} = \frac{1 + \tanh \frac{x}{2}}{1 - \tanh \frac{x}{2}} }[/math]
12. Hyperbolic Functions for Complex Numbers
Since the exponential function can be defined for any complex argument, we can extend the definitions of the hyperbolic functions also to complex arguments. The functions sinh z and cosh z are then holomorphic.
Relationships to ordinary trigonometric functions are given by Euler's formula for complex numbers:
- [math]\displaystyle{ \begin{align} e^{i x} &= \cos x + i \sin x \\ e^{-i x} &= \cos x - i \sin x \end{align} }[/math]
so:
- [math]\displaystyle{ \begin{align} \cosh(ix) &= \frac{1}{2} \left(e^{i x} + e^{-i x}\right) = \cos x \\ \sinh(ix) &= \frac{1}{2} \left(e^{i x} - e^{-i x}\right) = i \sin x \\ \cosh(x+iy) &= \cosh(x) \cos(y) + i \sinh(x) \sin(y) \\ \sinh(x+iy) &= \sinh(x) \cos(y) + i \cosh(x) \sin(y) \\ \tanh(ix) &= i \tan x \\ \cosh x &= \cos(ix) \\ \sinh x &= - i \sin(ix) \\ \tanh x &= - i \tan(ix) \end{align} }[/math]
Thus, hyperbolic functions are periodic with respect to the imaginary component, with period [math]\displaystyle{ 2 \pi i }[/math] ([math]\displaystyle{ \pi i }[/math] for hyperbolic tangent and cotangent).
Hyperbolic functions in the complex plane
https://handwiki.org/wiki/index.php?curid=1789151
|
https://handwiki.org/wiki/index.php?curid=1785347
|
https://handwiki.org/wiki/index.php?curid=1395497
|
https://handwiki.org/wiki/index.php?curid=1826306
|
https://handwiki.org/wiki/index.php?curid=1147769
|
https://handwiki.org/wiki/index.php?curid=1803081
|
[math]\displaystyle{ \operatorname{sinh}(z) }[/math] |
[math]\displaystyle{ \operatorname{cosh}(z) }[/math] |
[math]\displaystyle{ \operatorname{tanh}(z) }[/math] |
[math]\displaystyle{ \operatorname{coth}(z) }[/math] |
[math]\displaystyle{ \operatorname{sech}(z) }[/math] |
[math]\displaystyle{ \operatorname{csch}(z) }[/math] |