Hyperbolic function
In mathematics, hyperbolic functions are analogs of the ordinary trigonometric, or circular functions.
The basic hyperbolic functions are the hyperbolic sine "sinh" (/ˈsɪntʃ/ or /ˈʃaɪn/),[1] and the hyperbolic cosine "cosh" (/ˈkɒʃ/),[2] from which are derived the hyperbolic tangent "tanh" (/ˈtæntʃ/ or /ˈθæn/),[3] hyperbolic cosecant "csch" or "cosech" (/ˈkoʊʃɛk/[2] or /ˈkoʊsɛtʃ/), hyperbolic secant "sech" (/ˈʃɛk/ or /ˈsɛtʃ/),[4] and hyperbolic cotangent "coth" (/ˈkoʊθ/ or /ˈkɒθ/),[5][6] corresponding to the derived trigonometric functions.
The inverse hyperbolic functions are the area hyperbolic sine "arsinh" (also denoted "sinh−1", "asinh" or sometimes "arcsinh")[7][8][9] and so on.
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. 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.
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.
In complex analysis, the hyperbolic functions arise as the imaginary parts of sine and cosine. When considered defined by a complex variable, the hyperbolic functions are rational functions of exponentials, and are hence holomorphic.
Hyperbolic functions were introduced in the 1760s independently by Vincenzo Riccati and Johann Heinrich Lambert.[10] Riccati used Sc. and Cc. ([co]sinus circulare) to refer to circular functions and Sh. and Ch. ([co]sinus hyperbolico) to refer to hyperbolic functions. Lambert adopted the names but altered the abbreviations to what they are today.[11] The abbreviations sh and ch are still used in some other languages, like French and Russian.
Definitions
Defined on a unit hyperbola
Hyperbolic functions are defined on a hyperbola similar to the way circular trigonometric functions are defined on a circle. To see the similarities, first consider a circle of radius one centered on the origin of a Cartesian coordinate system. The equation of this unit circle is given by
The argument of the circular trigonometric functions is usually expressed as an angle like theta in Figure 1. An angle (in radians) is defined on a circle and is equal to the subtended arc length divided by the radius of the circle. Therefore, on the unit circle, an angle and its subtended arc length are numerically equal. But notice that the circumference of the unit circle is and the area is . Therefore, an angle on a unit circle is numerically equal to twice the area of the sector subtended by that angle (the red area in Figure 1). So, for a point P we could define the two fundamental trig functions using an area on the unit circle instead of an angle. For example
Note that a circle is an ellipse, but since its semi major axis and semi minor axis are equal, they are called the radius. Euler showed that
- (Euler’s formula)
and therefore
Adding and then subtracting the two equations yields
(1)
(2)
Since they are equivalent, we could define the sine and cosine using exponentials as in equations (1) and (2) or equivalently we could define them geometrically on a circle. Hyperbolic functions can also be expressed as exponentials or geometrically on a hyperbola. Just as the area of a sector on the unit circle can be used to define the circular functions, an area is used as the argument of the hyperbolic functions. One way of defining hyperbolic functions is on the positive branch of a unit hyperbola given by the equation
A ray drawn from the origin to a point P on the hyperbola defines an area (called a hyperbolic sector) bounded by the ray, the -axis, and the hyperbola (the red area in Figure 2). Following the procedure used for the unit circle, the hyperbolic sine and cosine are defined as
- (sinh is pronounced “cinch”)
- (cosh rhymes with “gosh”)
where is twice the area of the hyperbolic sector shown in Figure 2. Note that is not related to any angle in the figure in a simple way as the area of the sector in the circle was. The and are the coordinates of point P on the unit hyperbola (Figure 2), just as and are the coordinates of point P on the unit circle (Figure 1). Areas below the -axis are considered negative, so from our definitions we can see that
The area of the sector can be obtained by integration. is the area of the right triangle with legs and minus the area under the positive part of the hyperbola between 1 and . The equation for the positive part of the hyperbola is
(3)
Thus the area is
(4)
and
Taking the antilog gives an equation similar to Euler’s formula, but for hyperbolic functions.
and replacing by gives
By adding and then subtracting the last two equations we get
which are similar to equations (1) and (2) for circular functions. Therefore, the exponential representations of the two basic hyperbolic functions are equivalent to their geometrical definitions on the unit hyperbola. Theta, the argument of the circular trig functions is an angle, but , the argument of the hyperbolic functions is an area. The angle phi that defines the red area in Figure 2 is related to that area, but in a rather complicated way. Here is where the analogy to circular functions breaks down. From Figure 2, we see that
By using this tangent equation and equation (3) to eliminate and from equation (4) we obtain
Notice that as the angle phi approaches approaches one, and the area becomes infinite. Sometimes to confuse the issue, the argument of the hyperbolic functions is called the hyperbolic angle. Obviously a poor choice since is an area, not an angle, and furthermore it is not related to an angle in any simple way.
From the two fundamental hyperbolic functions, the other derived functions can be defined.
- (tanh rhymes with “ranch”)
- etc.
Graphs of the hyperbolic sine, cosine, and tangent as a function of are shown in Figure 3. Of course, since is just a number, you can relabel the argument and call it if you like. This was done in the following sections.
Other definitions
There are various equivalent ways for defining the hyperbolic functions. They may be defined in terms of the exponential function:
- Hyperbolic sine:
- Hyperbolic cosine:
- Hyperbolic tangent:
- Hyperbolic cotangent:
- Hyperbolic secant:
- Hyperbolic cosecant:
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
such that s(0) = 0 and c(0) = 1.
They are also the unique solution of the equation such that for the hyperbolic cosine, and for the hyperbolic sine.
Hyperbolic functions may also be deduced from trigonometric functions with complex arguments:
- Hyperbolic sine:
- Hyperbolic cosine:
- Hyperbolic tangent:
- Hyperbolic cotangent:
- Hyperbolic secant:
- Hyperbolic cosecant:
where i is the imaginary unit with the property that
The complex forms in the definitions above derive from Euler's formula.
Characterizing properties
Hyperbolic cosine
It can be shown that the area under the curve of cosh (x) over a finite interval is always equal to the arc length corresponding to that interval:[12]
Hyperbolic tangent
The hyperbolic tangent is the solution to the differential equation with f(0)=0 and the nonlinear boundary value problem:[13] [14]
Useful relations
Odd and even functions:
Hence:
It can be seen that cosh x and sech x are even functions; the others are odd functions.
Hyperbolic sine and cosine satisfy:
the last which is similar to the Pythagorean trigonometric identity.
One also has
for the other functions.
Sums of arguments
particularly
Also:
Subtraction formulas
Also:
Source.[15]
Half argument formulas
where sgn is the sign function.
If x ≠ 0, then
Inverse functions as logarithms
Derivatives
Second derivatives
Sinh and cosh are both equal to their second derivative, that is:
All functions with this property are linear combinations of sinh and cosh, in particular the exponential functions and , and the zero function .
Standard integrals
The following integrals can be proved using hyperbolic substitution:
where C is the constant of integration.
Taylor series expressions
It is possible to express the above functions as Taylor series:
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.
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.
where:
- is the nth Bernoulli number
- is the nth Euler number
Comparison with circular functions
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 it will be equal to u when r = square root of 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.[17]
Identities
The hyperbolic functions satisfy many identities, all of them similar in form to the trigonometric identities. In fact, Osborn's rule[18] 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
the "double argument formulas"
and the "half-argument formulas"[19]
- Note: This is equivalent to its circular counterpart multiplied by −1.
- Note: This corresponds to its circular counterpart.
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.
Relationship to the exponential function
From the definitions of the hyperbolic sine and cosine, we can derive the following identities:
and
These expressions are analogous to the expressions for sine and cosine, based on Euler's formula, as sums of complex exponentials.
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:
so:
Thus, hyperbolic functions are periodic with respect to the imaginary component, with period ( for hyperbolic tangent and cotangent).
See also
Wikimedia Commons has media related to Hyperbolic functions. |
- e (mathematical constant)
- Equal incircles theorem, based on sinh
- Inverse hyperbolic functions
- List of integrals of hyperbolic functions
- Poinsot's spirals
- Sigmoid function
- Trigonometric functions
- Modified hyperbolic tangent
References
- ↑ (1999) Collins Concise Dictionary, 4th edition, HarperCollins, Glasgow, ISBN 0 00 472257 4, p. 1386
- 1 2 Collins Concise Dictionary, p. 328
- ↑ Collins Concise Dictionary, p. 1520
- ↑ Collins Concise Dictionary, p. 1340
- ↑ Collins Concise Dictionary, p. 329
- ↑ tanh
- ↑ Woodhouse, N. M. J. (2003), Special Relativity, London: Springer, p. 71, ISBN 1-85233-426-6
- ↑ Abramowitz, Milton; Stegun, Irene A., eds. (1972), Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, New York: Dover Publications, ISBN 978-0-486-61272-0
- ↑ Some examples of using arcsinh found in Google Books.
- ↑ Robert E. Bradley, Lawrence A. D'Antonio, Charles Edward Sandifer. Euler at 300: an appreciation. Mathematical Association of America, 2007. Page 100.
- ↑ Georg F. Becker. Hyperbolic functions. Read Books, 1931. Page xlviii.
- ↑ N.P., Bali (2005). Golden Integral Calculus. Firewall Media. p. 472. ISBN 81-7008-169-6.
- ↑ Eric W. Weisstein. "Hyperbolic Tangent". MathWorld. Retrieved 2008-10-20.
- ↑ "Derivation of tanh solution to 1/2 f′′=f^3−f...". Math StackExchange. Retrieved 18 March 2016.
- ↑ Martin, George E. (1986). The foundations of geometry and the non-euclidean plane (1., corr. Springer ed.). New York: Springer-Verlag. p. 416. ISBN 3-540-90694-0.
- ↑ "math.stackexchange.com/q/1565753/88985". StackExchange (mathematics). Retrieved 24 January 2016.
- ↑ Mellen W. Haskell, "On the introduction of the notion of hyperbolic functions", Bulletin of the American Mathematical Society 1:6:155–9, full text
- ↑ Osborn, G. (July 1902). "Mnemonic for hyperbolic formulae". The Mathematical Gazette. 2 (34): 189. JSTOR 3602492.
- ↑ Peterson, John Charles (2003). Technical mathematics with calculus (3rd ed.). Cengage Learning. p. 1155. ISBN 0-7668-6189-9., Chapter 26, page 1155
External links
- Hazewinkel, Michiel, ed. (2001) [1994], "Hyperbolic functions", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
- Hyperbolic functions on PlanetMath
- Hyperbolic functions entry at MathWorld
- GonioLab: Visualization of the unit circle, trigonometric and hyperbolic functions (Java Web Start)
- Web-based calculator of hyperbolic functions