Hyperbolic functions

(Redirected fromHyperbolic function)

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]

from which are derived:[4]

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")
Araythrough theunit hyperbolax2y2= 1at the point(cosha,sinha),whereais twice the area between the ray, the hyperbola, and thex-axis. For points on the hyperbola below thex-axis, the area is considered negative (seeanimated versionwith comparison with the trigonometric (circular) functions).

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

edit

Definitions

edit
sinh,coshandtanh
csch,sechandcoth

There are various equivalent ways to define the hyperbolic functions.

Exponential definitions

edit
sinhxis half thedifferenceofexandex
coshxis theaverageofexandex

In 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

edit

The 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

edit

Hyperbolic 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

edit

Hyperbolic cosine

edit

It 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

edit

The hyperbolic tangent is the (unique) solution to thedifferential equationf ′ = 1 −f2,withf (0) = 0.[16][17]

Useful relations

edit

The 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

edit

particularly

Also:

Subtraction formulas

edit

Also:[19]

Half argument formulas

edit

wheresgnis thesign function.

Ifx≠ 0,then[20]

Square formulas

edit

Inequalities

edit

The 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

edit

Each 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

edit

It 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:

Infinite products and continued fractions

edit

The following expansions are valid in the whole complex plane:

Comparison with circular functions

edit
Circle and hyperbola tangent at (1,1) display geometry of circular functions in terms ofcircular sectorareauand hyperbolic functions depending onhyperbolic sectorareau.

The 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 length2times 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

edit

The 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

edit
Hyperbolic functions in the complex plane

Since 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

edit

References

edit
  1. ^abcdWeisstein, Eric W."Hyperbolic Functions".mathworld.wolfram.Retrieved2020-08-29.
  2. ^(1999)Collins Concise Dictionary,4th edition, HarperCollins, Glasgow,ISBN0 00 472257 4,p. 1386
  3. ^abCollins Concise Dictionary,p. 328
  4. ^ab"Hyperbolic Functions".mathsisfun.Retrieved2020-08-29.
  5. ^Collins Concise Dictionary,p. 1520
  6. ^Collins Concise Dictionary,p. 329
  7. ^tanh
  8. ^Collins Concise Dictionary,p. 1340
  9. ^Woodhouse, N. M. J.(2003),Special Relativity,London: Springer, p. 71,ISBN978-1-85233-426-0
  10. ^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
  11. ^Some examples of usingarcsinhfound inGoogle Books.
  12. ^Niven, Ivan (1985).Irrational Numbers.Vol. 11. Mathematical Association of America.ISBN9780883850381.JSTOR10.4169/j.ctt5hh8zn.
  13. ^Robert E. Bradley, Lawrence A. D'Antonio, Charles Edward Sandifer.Euler at 300: an appreciation.Mathematical Association of America, 2007. Page 100.
  14. ^Georg F. Becker.Hyperbolic functions.Read Books, 1931. Page xlviii.
  15. ^N.P., Bali (2005).Golden Integral Calculus.Firewall Media. p. 472.ISBN81-7008-169-6.
  16. ^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)
  17. ^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
  18. ^Osborn, G. (July 1902)."Mnemonic for hyperbolic formulae".The Mathematical Gazette.2(34): 189.doi:10.2307/3602492.JSTOR3602492.S2CID125866575.
  19. ^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.
  20. ^"Prove the identity tanh(x/2) = (cosh(x) - 1)/sinh(x)".StackExchange(mathematics).Retrieved24 January2016.
  21. ^Audibert, Jean-Yves (2009). "Fast learning rates in statistical inference through aggregation". The Annals of Statistics. p. 1627.[1]
  22. ^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.
  23. ^Mellen W. Haskell,"On the introduction of the notion of hyperbolic functions",Bulletin of the American Mathematical Society1:6:155–9,full text
edit