Inmathematics,hyperbolic functionsare analogues of the ordinarytrigonometric functions,but defined using thehyperbolarather than thecircle.Just as the points(cost,sint)form acircle with a unit radius,the points(cosht,sinht)form the right half of theunit hyperbola.Also, similarly to how the derivatives ofsin(t)andcos(t)arecos(t)and–sin(t)respectively, the derivatives ofsinh(t)andcosh(t)arecosh(t)and+sinh(t)respectively.
Hyperbolic functions occur in the calculations of angles and distances inhyperbolic geometry.They also occur in the solutions of many lineardifferential equations(such as the equation defining acatenary),cubic equations,andLaplace's equationinCartesian coordinates.Laplace's equationsare important in many areas ofphysics,includingelectromagnetic theory,heat transfer,fluid dynamics,andspecial relativity.
The basic hyperbolic functions are:[1]
- hyperbolic sine"sinh"(/ˈsɪŋ,ˈsɪntʃ,ˈʃaɪn/),[2]
- hyperbolic cosine"cosh"(/ˈkɒʃ,ˈkoʊʃ/),[3]
from which are derived:[4]
- hyperbolic tangent"tanh"(/ˈtæŋ,ˈtæntʃ,ˈθæn/),[5]
- hyperbolic cotangent"coth"(/ˈkɒθ,ˈkoʊθ/),[6][7]
- hyperbolic secant"sech"(/ˈsɛtʃ,ˈʃɛk/),[8]
- hyperbolic cosecant"csch"or"cosech"(/ˈkoʊsɛtʃ,ˈkoʊʃɛk/[3])
corresponding to the derived trigonometric functions.
Theinverse hyperbolic functionsare:
- area hyperbolic sine"arsinh"(also denoted"sinh−1","asinh"or sometimes"arcsinh")[9][10][11]
- area hyperbolic cosine"arcosh"(also denoted"cosh−1","acosh"or sometimes"arccosh")
- area hyperbolic tangent"artanh"(also denoted"tanh−1","atanh"or sometimes"arctanh")
- area hyperbolic cotangent"arcoth"(also denoted"coth−1","acoth"or sometimes"arccoth")
- area hyperbolic secant"arsech"(also denoted"sech−1","asech"or sometimes"arcsech")
- area hyperbolic cosecant"arcsch"(also denoted"arcosech","csch−1","cosech−1","acsch","acosech",or sometimes"arccsch"or"arccosech")
The hyperbolic functions take areal argumentcalled ahyperbolic angle.The size of a hyperbolic angle is twice the area of itshyperbolic sector.The hyperbolic functions may be defined in terms of thelegs of a right trianglecovering this sector.
Incomplex analysis,the hyperbolic functions arise when applying the ordinary sine and cosine functions to an imaginary angle. The hyperbolic sine and the hyperbolic cosine areentire functions.As a result, the other hyperbolic functions aremeromorphicin the whole complex plane.
ByLindemann–Weierstrass theorem,the hyperbolic functions have atranscendental valuefor every non-zeroalgebraic valueof the argument.[12]
Hyperbolic functions were introduced in the 1760s independently byVincenzo RiccatiandJohann Heinrich Lambert.[13]Riccati usedSc.andCc.(sinus/cosinus circulare) to refer to circular functions andSh.andCh.(sinus/cosinus hyperbolico) to refer to hyperbolic functions. Lambert adopted the names, but altered the abbreviations to those used today.[14]The abbreviationssh,ch,th,cthare also currently used, depending on personal preference.
Notation
editDefinitions
editThere are various equivalent ways to define the hyperbolic functions.
Exponential definitions
editIn terms of theexponential function:[1][4]
- Hyperbolic sine: theodd partof the exponential function, that is,
- Hyperbolic cosine: theeven partof the exponential function, that is,
- Hyperbolic tangent:
- Hyperbolic cotangent: forx≠ 0,
- Hyperbolic secant:
- Hyperbolic cosecant: forx≠ 0,
Differential equation definitions
editThe hyperbolic functions may be defined as solutions ofdifferential equations:The hyperbolic sine and cosine are the solution(s,c)of the system with the initial conditionsThe initial conditions make the solution unique; without them any pair of functionswould be a solution.
sinh(x)andcosh(x)are also the unique solution of the equationf ″(x) =f (x), such thatf (0) = 1,f ′(0) = 0for the hyperbolic cosine, andf (0) = 0,f ′(0) = 1for the hyperbolic sine.
Complex trigonometric definitions
editHyperbolic functions may also be deduced fromtrigonometric functionswithcomplexarguments:
- Hyperbolic sine:[1]
- Hyperbolic cosine:[1]
- Hyperbolic tangent:
- Hyperbolic cotangent:
- Hyperbolic secant:
- Hyperbolic cosecant:
whereiis theimaginary unitwithi2= −1.
The above definitions are related to the exponential definitions viaEuler's formula(See§ Hyperbolic functions for complex numbersbelow).
Characterizing properties
editHyperbolic cosine
editIt can be shown that thearea under the curveof the hyperbolic cosine (over a finite interval) is always equal to thearc lengthcorresponding to that interval:[15]
Hyperbolic tangent
editThe hyperbolic tangent is the (unique) solution to thedifferential equationf ′ = 1 −f 2,withf (0) = 0.[16][17]
Useful relations
editThe hyperbolic functions satisfy many identities, all of them similar in form to thetrigonometric identities.In fact,Osborn's rule[18]states that one can convert any trigonometric identity (up to but not including sinhs or implied sinhs of 4th degree) for,,orandinto 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 containing a product of two sinhs.
Odd and even functions:
Hence:
Thus,coshxandsechxareeven functions;the others areodd functions.
Hyperbolic sine and cosine satisfy:
the last of which is similar to thePythagorean trigonometric identity.
One also has
for the other functions.
Sums of arguments
editparticularly
Also:
Subtraction formulas
edit
Also:[19]
Half argument formulas
edit
wheresgnis thesign function.
Ifx≠ 0,then[20]
Square formulas
edit
Inequalities
editThe following inequality is useful in statistics:[21]
It can be proved by comparing the Taylor series of the two functions term by term.
Inverse functions as logarithms
edit
Derivatives
edit
Second derivatives
editEach of the functionssinhandcoshis equal to itssecond derivative,that is:
All functions with this property arelinear combinationsofsinhandcosh,in particular theexponential functionsand.[22]
Standard integrals
edit
The following integrals can be proved usinghyperbolic substitution:
whereCis theconstant of integration.
Taylor series expressions
editIt is possible to express explicitly theTaylor seriesat zero (or theLaurent series,if the function is not defined at zero) of the above functions.
This series isconvergentfor everycomplexvalue ofx.Since the functionsinhxisodd,only odd exponents forxoccur in its Taylor series.
This series isconvergentfor everycomplexvalue ofx.Since the functioncoshxiseven,only even exponents forxoccur in its Taylor series.
The sum of the sinh and cosh series is theinfinite seriesexpression of theexponential function.
The following series are followed by a description of a subset of theirdomain of convergence,where the series is convergent and its sum equals the function.
where:
- is thenthBernoulli number
- is thenthEuler number
Infinite products and continued fractions
editThe following expansions are valid in the whole complex plane:
Comparison with circular functions
editThe hyperbolic functions represent an expansion oftrigonometrybeyond thecircular functions.Both types depend on anargument,eithercircular angleorhyperbolic angle.
Since thearea of a circular sectorwith radiusrand angleu(in radians) isr2u/2,it will be equal touwhenr=√2.In the diagram, such a circle is tangent to the hyperbolaxy= 1 at (1,1). The yellow sector depicts an area and angle magnitude. Similarly, the yellow and red regions together depict ahyperbolic sectorwith area corresponding to hyperbolic angle magnitude.
The legs of the tworight triangleswith hypotenuse on the ray defining the angles are of length√2times the circular and hyperbolic functions.
The hyperbolic angle is aninvariant measurewith respect to thesqueeze mapping,just as the circular angle is invariant under rotation.[23]
TheGudermannian functiongives a direct relationship between the circular functions and the hyperbolic functions that does not involve complex numbers.
The graph of the functionacosh(x/a)is thecatenary,the curve formed by a uniform flexible chain, hanging freely between two fixed points under uniform gravity.
Relationship to the exponential function
editThe decomposition of the exponential function in itseven and odd partsgives the identities and Combined withEuler's formula this gives for thegeneral complex exponential function.
Additionally,
Hyperbolic functions for complex numbers
editSince theexponential functioncan be defined for anycomplexargument, we can also extend the definitions of the hyperbolic functions to complex arguments. The functionssinhzandcoshzare thenholomorphic.
Relationships to ordinary trigonometric functions are given byEuler's formulafor complex numbers: so:
Thus, hyperbolic functions areperiodicwith respect to the imaginary component, with period(for hyperbolic tangent and cotangent).
See also
editReferences
edit- ^abcdWeisstein, Eric W."Hyperbolic Functions".mathworld.wolfram.Retrieved2020-08-29.
- ^(1999)Collins Concise Dictionary,4th edition, HarperCollins, Glasgow,ISBN0 00 472257 4,p. 1386
- ^abCollins Concise Dictionary,p. 328
- ^ab"Hyperbolic Functions".mathsisfun.Retrieved2020-08-29.
- ^Collins Concise Dictionary,p. 1520
- ^Collins Concise Dictionary,p. 329
- ^tanh
- ^Collins Concise Dictionary,p. 1340
- ^Woodhouse, N. M. J.(2003),Special Relativity,London: Springer, p. 71,ISBN978-1-85233-426-0
- ^Abramowitz, Milton;Stegun, Irene A.,eds. (1972),Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables,New York:Dover Publications,ISBN978-0-486-61272-0
- ^Some examples of usingarcsinhfound inGoogle Books.
- ^Niven, Ivan (1985).Irrational Numbers.Vol. 11. Mathematical Association of America.ISBN9780883850381.JSTOR10.4169/j.ctt5hh8zn.
- ^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.ISBN81-7008-169-6.
- ^Willi-hans Steeb (2005).Nonlinear Workbook, The: Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Gene Expression Programming, Support Vector Machine, Wavelets, Hidden Markov Models, Fuzzy Logic With C++, Java And Symbolicc++ Programs(3rd ed.). World Scientific Publishing Company. p. 281.ISBN978-981-310-648-2.Extract of page 281 (using lambda=1)
- ^Keith B. Oldham; Jan Myland; Jerome Spanier (2010).An Atlas of Functions: with Equator, the Atlas Function Calculator(2nd, illustrated ed.). Springer Science & Business Media. p. 290.ISBN978-0-387-48807-3.Extract of page 290
- ^Osborn, G. (July 1902)."Mnemonic for hyperbolic formulae".The Mathematical Gazette.2(34): 189.doi:10.2307/3602492.JSTOR3602492.S2CID125866575.
- ^Martin, George E. (1986).The foundations of geometry and the non-euclidean plane(1st corr. ed.). New York: Springer-Verlag. p. 416.ISBN3-540-90694-0.
- ^"Prove the identity tanh(x/2) = (cosh(x) - 1)/sinh(x)".StackExchange(mathematics).Retrieved24 January2016.
- ^Audibert, Jean-Yves (2009). "Fast learning rates in statistical inference through aggregation". The Annals of Statistics. p. 1627.[1]
- ^Olver, Frank W. J.;Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W., eds. (2010),"Hyperbolic functions",NIST Handbook of Mathematical Functions,Cambridge University Press,ISBN978-0-521-19225-5,MR2723248.
- ^Mellen W. Haskell,"On the introduction of the notion of hyperbolic functions",Bulletin of the American Mathematical Society1:6:155–9,full text
External links
edit- "Hyperbolic functions",Encyclopedia of Mathematics,EMS Press,2001 [1994]
- Hyperbolic functionsonPlanetMath
- GonioLab:Visualization of the unit circle, trigonometric and hyperbolic functions (Java Web Start)
- Web-based calculator of hyperbolic functions