Hyperbolic functions

From Wikipedia, the free encyclopedia
(Redirected from Hyperbolic sinusoid)
Jump to navigation Jump to search

Template:Short description Script error: No such module "redirect hatnote". Script error: No such module "anchor".

File:Sinh cosh tanh.svg

In mathematics, hyperbolic functions are analogues of the ordinary trigonometric functions, but defined using the hyperbola rather than the circle. Just as the points (cos t, sin t)Script error: No such module "Check for unknown parameters". form a circle with a unit radius, the points (cosh t, sinh t)Script error: No such module "Check for unknown parameters". form the right half of the unit hyperbola. Also, similarly to how the derivatives of sin(t)Script error: No such module "Check for unknown parameters". and cos(t)Script error: No such module "Check for unknown parameters". are cos(t)Script error: No such module "Check for unknown parameters". and –sin(t)Script error: No such module "Check for unknown parameters". respectively, the derivatives of sinh(t)Script error: No such module "Check for unknown parameters". and cosh(t)Script error: No such module "Check for unknown parameters". are cosh(t)Script error: No such module "Check for unknown parameters". and sinh(t)Script error: No such module "Check for unknown parameters". respectively.

Hyperbolic functions are used to express the angle of parallelism in hyperbolic geometry. They are used to express Lorentz boosts as hyperbolic rotations in special relativity. They also occur in the solutions of many linear differential equations (such as the equation defining a catenary), cubic equations, and Laplace's equation in Cartesian coordinates. Laplace's equations are important in many areas of physics, including electromagnetic theory, heat transfer, and fluid dynamics.

The basic hyperbolic functions are:[1]

  • hyperbolic sine "sinhScript error: No such module "Check for unknown parameters"." (Template:IPAc-en),[2]
  • hyperbolic cosine "coshScript error: No such module "Check for unknown parameters"." (Template:IPAc-en),[3]

from which are derived:[4]

  • hyperbolic tangent "tanhScript error: No such module "Check for unknown parameters"." (Template:IPAc-en),[5]
  • hyperbolic cotangent "cothScript error: No such module "Check for unknown parameters"." (Template:IPAc-en),[6][7]
  • hyperbolic secant "sechScript error: No such module "Check for unknown parameters"." (Template:IPAc-en),[8]
  • hyperbolic cosecant "cschScript error: No such module "Check for unknown parameters"." or "cosechScript error: No such module "Check for unknown parameters"." (Template:IPAc-en[3])

corresponding to the derived trigonometric functions.

The inverse hyperbolic functions are:

  • inverse hyperbolic sine "arsinhScript error: No such module "Check for unknown parameters"." (also denoted "sinh−1Script error: No such module "Check for unknown parameters".", "asinhScript error: No such module "Check for unknown parameters"." or sometimes "arcsinhScript error: No such module "Check for unknown parameters".")[9][10][11]
  • inverse hyperbolic cosine "arcoshScript error: No such module "Check for unknown parameters"." (also denoted "cosh−1Script error: No such module "Check for unknown parameters".", "acoshScript error: No such module "Check for unknown parameters"." or sometimes "arccoshScript error: No such module "Check for unknown parameters".")
  • inverse hyperbolic tangent "artanhScript error: No such module "Check for unknown parameters"." (also denoted "tanh−1Script error: No such module "Check for unknown parameters".", "atanhScript error: No such module "Check for unknown parameters"." or sometimes "arctanhScript error: No such module "Check for unknown parameters".")
  • inverse hyperbolic cotangent "arcothScript error: No such module "Check for unknown parameters"." (also denoted "coth−1Script error: No such module "Check for unknown parameters".", "acothScript error: No such module "Check for unknown parameters"." or sometimes "arccothScript error: No such module "Check for unknown parameters".")
  • inverse hyperbolic secant "arsechScript error: No such module "Check for unknown parameters"." (also denoted "sech−1Script error: No such module "Check for unknown parameters".", "asechScript error: No such module "Check for unknown parameters"." or sometimes "arcsechScript error: No such module "Check for unknown parameters".")
  • inverse hyperbolic cosecant "arcschScript error: No such module "Check for unknown parameters"." (also denoted "arcosechScript error: No such module "Check for unknown parameters".", "csch−1Script error: No such module "Check for unknown parameters".", "cosech−1Script error: No such module "Check for unknown parameters".","acschScript error: No such module "Check for unknown parameters".", "acosechScript error: No such module "Check for unknown parameters".", or sometimes "arccschScript error: No such module "Check for unknown parameters"." or "arccosechScript error: No such module "Check for unknown parameters".")
File:Hyperbolic functions-2.svg
A ray through the unit hyperbola x2y2 = 1Script error: No such module "Check for unknown parameters". at the point (cosh a, sinh a)Script error: No such module "Check for unknown parameters"., where Template:Mvar is twice the area between the ray, the hyperbola, and the Template:Mvar-axis. For points on the hyperbola below the Template:Mvar-axis, the area is considered negative (see animated version with comparison with the trigonometric (circular) functions).

The hyperbolic functions take an argument called a hyperbolic angle. The magnitude of a hyperbolic angle is the area of its hyperbolic sector to xy = 1Script error: No such module "Check for unknown parameters".. 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 when applying the ordinary sine and cosine functions to an imaginary angle. 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.[12]

History

The first known calculation of a hyperbolic trigonometry problem is attributed to Gerardus Mercator when issuing the Mercator map projection circa 1566. It requires tabulating solutions to a transcendental equation involving hyperbolic functions.[13]

The first to suggest a similarity between the sector of the circle and that of the hyperbola was Isaac Newton in his 1687 Principia Mathematica.[14]

Roger Cotes suggested to modify the trigonometric functions using the imaginary unit i=1 to obtain an oblate spheroid from a prolate one.[14]

Hyperbolic functions were formally introduced in 1757 by Vincenzo Riccati.[14][13][15] Riccati used Sc.Script error: No such module "Check for unknown parameters". and Cc.Script error: No such module "Check for unknown parameters". (Script error: No such module "Lang".) to refer to circular functions and Sh.Script error: No such module "Check for unknown parameters". and Ch.Script error: No such module "Check for unknown parameters". (Script error: No such module "Lang".) to refer to hyperbolic functions.[14] As early as 1759, Daviet de Foncenex showed the interchangeability of the trigonometric and hyperbolic functions using the imaginary unit and extended de Moivre's formula to hyperbolic functions.[15][14]

During the 1760s, Johann Heinrich Lambert systematized the use functions and provided exponential expressions in various publications.[14][15] Lambert credited Riccati for the terminology and names of the functions, but altered the abbreviations to those used today.[15][16]

Notation

Script error: No such module "Labelled list hatnote".

Definitions

File:Cartesian hyperbolic rhombus.svg
Right triangles with legs proportional to sinh and cosh

With hyperbolic angle u, the hyperbolic functions sinh and cosh can be defined with the exponential function eu.[1][4] In the figure A=(eu,eu), B=(eu, eu), OA+OB=OC .

Exponential definitions

File:Hyperbolic and exponential; sinh.svg
sinh xScript error: No such module "Check for unknown parameters". is half the difference of exScript error: No such module "Check for unknown parameters". and exScript error: No such module "Check for unknown parameters".
File:Hyperbolic and exponential; cosh.svg
cosh xScript error: No such module "Check for unknown parameters". is the average of exScript error: No such module "Check for unknown parameters". and exScript error: No such module "Check for unknown parameters".
  • Hyperbolic sine: the odd part of the exponential function, that is, sinhx=exex2=e2x12ex.
  • Hyperbolic cosine: the even part of the exponential function, that is, coshx=ex+ex2=e2x+12ex.
File:Sinh cosh tanh.svg
sinh, cosh and tanh
File:Csch sech coth.svg
csch, sech and coth
  • Hyperbolic tangent: tanhx=sinhxcoshx=exexex+ex=e2x1e2x+1.
  • Hyperbolic cotangent: for x ≠ 0Script error: No such module "Check for unknown parameters"., cothx=coshxsinhx=ex+exexex=e2x+1e2x1.
  • Hyperbolic secant: sechx=1coshx=2ex+ex=2exe2x+1.
  • Hyperbolic cosecant: for x ≠ 0Script error: No such module "Check for unknown parameters"., cschx=1sinhx=2exex=2exe2x1.

Differential equation definitions

The hyperbolic functions may be defined as solutions of differential equations: The hyperbolic sine and cosine are the solution (s, c)Script error: No such module "Check for unknown parameters". of the system c(x)=s(x),s(x)=c(x), with the initial conditions s(0)=0,c(0)=1. The initial conditions make the solution unique; without them any pair of functions (aex+bex,aexbex) would be a solution.

sinh(x)Script error: No such module "Check for unknown parameters". and cosh(x)Script error: No such module "Check for unknown parameters". are also the unique solution of the equation f ″(x) = f (x)Script error: No such module "Check for unknown parameters"., such that f (0) = 1Script error: No such module "Check for unknown parameters"., f ′(0) = 0Script error: No such module "Check for unknown parameters". for the hyperbolic cosine, and f (0) = 0Script error: No such module "Check for unknown parameters"., f ′(0) = 1Script error: No such module "Check for unknown parameters". for the hyperbolic sine.

Complex trigonometric definitions

Hyperbolic functions may also be deduced from trigonometric functions with complex arguments:

  • Hyperbolic sine:[1] sinhx=isin(ix).
  • Hyperbolic cosine:[1] coshx=cos(ix).
  • Hyperbolic tangent: tanhx=itan(ix).
  • Hyperbolic cotangent: cothx=icot(ix).
  • Hyperbolic secant: sechx=sec(ix).
  • Hyperbolic cosecant:cschx=icsc(ix).

where Template:Mvar is the imaginary unit with i2 = −1Script error: No such module "Check for unknown parameters"..

The above definitions are related to the exponential definitions via Euler's formula (See Template:Section link below).

Characterizing properties

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:[17] area=abcoshxdx=ab1+(ddxcoshx)2dx=arc length.

Hyperbolic tangentScript error: No such module "anchor".

The hyperbolic tangent is the (unique) solution to the differential equation f ′ = 1 − f2Script error: No such module "Check for unknown parameters"., with f (0) = 0Script error: No such module "Check for unknown parameters"..[18][19]

Useful relations

Script error: No such module "anchor". The hyperbolic functions satisfy many identities, all of them similar in form to the trigonometric identities. In fact, Osborn's rule[20] (named after George Osborn) states that one can convert any trigonometric identity (up to but not including sinhs or implied sinhs of 4th degree) for θ, 2θ, 3θ or θ and φ into a hyperbolic identity, by:

  1. expanding it completely in terms of integral powers of sines and cosines,
  2. changing sine to sinh and cosine to cosh, and
  3. switching the sign of every term containing a product of two sinhs.

Odd and even functions: sinh(x)=sinhxcosh(x)=coshxtanh(x)=tanhxcoth(x)=cothxsech(x)=sechxcsch(x)=cschx

Reciprocals:

arsechx=arcosh(1x)arcschx=arsinh(1x)arcothx=artanh(1x)

Analogous to Euler's formula:

coshx+sinhx=excoshxsinhx=ex

Analogous to the Pythagorean trigonometric identity:

cosh2xsinh2x=11tanh2x=sech2xcoth2x1=csch2x

Sums and differences of arguments

sinh(x+y)=sinhxcoshy+coshxsinhycosh(x+y)=coshxcoshy+sinhxsinhytanh(x+y)=tanhx+tanhy1+tanhxtanhysinh(xy)=sinhxcoshycoshxsinhycosh(xy)=coshxcoshysinhxsinhytanh(xy)=tanhxtanhy1tanhxtanhy particularly cosh(2x)=sinh2x+cosh2x=2sinh2x+1=2cosh2x1sinh(2x)=2sinhxcoshxtanh(2x)=2tanhx1+tanh2x

Addition and subtraction formulas

sinhx+sinhy=2sinh(x+y2)cosh(xy2)coshx+coshy=2cosh(x+y2)cosh(xy2)sinhxsinhy=2cosh(x+y2)sinh(xy2)coshxcoshy=2sinh(x+y2)sinh(xy2)

Product formulas

coshxcoshy=12(cosh(x+y)+cosh(xy))sinhxsinhy=12(cosh(x+y)cosh(xy))sinhxcoshy=12(sinh(x+y)+sinh(xy))coshxsinhy=12(sinh(x+y)sinh(xy))

Half argument formulas

sinh(x2)=sinhx2(coshx+1)=sgnxcoshx12[6px]cosh(x2)=coshx+12[6px]tanh(x2)=sinhxcoshx+1=sgnxcoshx1coshx+1=ex1ex+1

where sgnScript error: No such module "Check for unknown parameters". is the sign function.

If x ≠ 0Script error: No such module "Check for unknown parameters". then

tanh(x2)=coshx1sinhx=cothxcschx

Tangent half argument formulas

When Template:Tmath, sinhx=2t1t2,coshx=1+t21t2,tanhx=2t1+t2,cothx=1+t22t,sechx=1t21+t2,cschx=1t22t.

Square formulas

sinh2x=12(cosh2x1)cosh2x=12(cosh2x+1)

Inequalities

The following inequality is useful in statistics:[21] cosh(t)et2/2.

It can be proved by comparing the Taylor series of the two functions term by term.

Inverse functions as logarithms

Script error: No such module "Labelled list hatnote".

arsinh(x)=ln(x+x2+1)arcosh(x)=ln(x+x21)x1artanh(x)=12ln(1+x1x)|x|<1arcoth(x)=12ln(x+1x1)|x|>1arsech(x)=ln(1x+1x21)=ln(1+1x2x)0<x1arcsch(x)=ln(1x+1x2+1)x0

Derivatives

ddxsinhx=coshxddxcoshx=sinhxddxtanhx=1tanh2x=sech2x=1cosh2xddxcothx=1coth2x=csch2x=1sinh2xx0ddxsechx=tanhxsechxddxcschx=cothxcschxx0 ddxarsinhx=1x2+1ddxarcoshx=1x211<xddxartanhx=11x2|x|<1ddxarcothx=11x21<|x|ddxarsechx=1x1x20<x<1ddxarcschx=1|x|1+x2x0

Second derivatives

Each of the functions sinhScript error: No such module "Check for unknown parameters". and coshScript error: No such module "Check for unknown parameters". is equal to its second derivative, that is: d2dx2sinhx=sinhx d2dx2coshx=coshx.

All functions with this property are linear combinations of sinhScript error: No such module "Check for unknown parameters". and coshScript error: No such module "Check for unknown parameters"., in particular the exponential functions ex and ex.[22]

Standard integrals

Script error: No such module "For".

sinh(ax)dx=a1cosh(ax)+Ccosh(ax)dx=a1sinh(ax)+Ctanh(ax)dx=a1ln(cosh(ax))+Ccoth(ax)dx=a1ln|sinh(ax)|+Csech(ax)dx=a1arctan(sinh(ax))+Ccsch(ax)dx=a1ln|tanh(ax2)|+C=a1ln|coth(ax)csch(ax)|+C=a1arcoth(cosh(ax))+C

The following integrals can be proved using hyperbolic substitution: 1a2+u2du=arsinh(ua)+C1u2a2du=sgnuarcosh|ua|+C1a2u2du=a1artanh(ua)+Cu2<a21a2u2du=a1arcoth(ua)+Cu2>a21ua2u2du=a1arsech|ua|+C1ua2+u2du=a1arcsch|ua|+C

where C is the constant of integration.

Taylor series expressions

It is possible to express explicitly the Taylor series at zero (or the Laurent series, if the function is not defined at zero) of the above functions.

sinhx=x+x33!+x55!+x77!+=n=0x2n+1(2n+1)! This series is convergent for every complex value of Template:Mvar. Since the function sinh xScript error: No such module "Check for unknown parameters". is odd, only odd exponents for xScript error: No such module "Check for unknown parameters". occur in its Taylor series.

coshx=1+x22!+x44!+x66!+=n=0x2n(2n)! This series is convergent for every complex value of Template:Mvar. Since the function cosh xScript error: No such module "Check for unknown parameters". is even, only even exponents for Template:Mvar occur in its Taylor series.

The sum of the sinh and cosh series is the infinite series expression of the exponential function.

The following series are followed by a description of a subset of their domain of convergence, where the series is convergent and its sum equals the function. tanhx=xx33+2x51517x7315+=n=122n(22n1)B2nx2n1(2n)!,|x|<π2cothx=x1+x3x345+2x5945+=n=022nB2nx2n1(2n)!,0<|x|<πsechx=1x22+5x42461x6720+=n=0E2nx2n(2n)!,|x|<π2cschx=x1x6+7x336031x515120+=n=02(122n1)B2nx2n1(2n)!,0<|x|<π

where:

Infinite products and continued fractions

The following expansions are valid in the whole complex plane:

sinhx=xn=1(1+x2n2π2)=x1x223+x223x245+x245x267+x2
coshx=n=1(1+x2(n1/2)2π2)=11x212+x212x234+x234x256+x2
tanhx=11x+13x+15x+17x+

Comparison with circular functions

File:Circular and hyperbolic angle.svg
Circle and hyperbola tangent at (1, 1)Script error: No such module "Check for unknown parameters". display geometry of circular functions in terms of circular sector area Template:Mvar and hyperbolic functions depending on hyperbolic sector area Template:Mvar.

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 Template:Mvar and angle Template:Mvar (in radians) is r2u/2Script error: No such module "Check for unknown parameters"., it will be equal to Template:Mvar when r =

  1. REDIRECT Template:Radic

Template:Rcat shellScript error: No such module "Check for unknown parameters".. In the diagram, such a circle is tangent to the hyperbola xy = 1Script error: No such module "Check for unknown parameters". at (1, 1)Script error: No such module "Check for unknown parameters".. The yellow sector depicts an area and angle magnitude. Similarly, the yellow and red regions together depict a hyperbolic sector with area corresponding to hyperbolic angle magnitude.

The legs of the two right triangles with hypotenuse on the ray defining the angles are of length Template:Radic 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.[23]

The Gudermannian function gives a direct relationship between the circular functions and the hyperbolic functions that does not involve complex numbers.

The graph of the function Template:Tmath 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

The decomposition of the exponential function in its even and odd parts gives the identities ex=coshx+sinhx, and ex=coshxsinhx. Combined with Euler's formula eix=cosx+isinx, this gives ex+iy=(coshx+sinhx)(cosy+isiny) for the general complex exponential function.

Additionally, ex=1+tanhx1tanhx=1+tanhx21tanhx2

Hyperbolic functions for complex numbers

Hyperbolic functions in the complex plane
File:Complex Sinh.jpg
File:Complex Cosh.jpg
File:Complex Tanh.jpg
File:Complex Coth.jpg
File:Complex Sech.jpg
File:Complex Csch.jpg
sinh(z) cosh(z) tanh(z) coth(z) sech(z) csch(z)

Since the exponential function can be defined for any complex argument, we can also extend the definitions of the hyperbolic functions to complex arguments. The functions sinh zScript error: No such module "Check for unknown parameters". and cosh zScript error: No such module "Check for unknown parameters". are then holomorphic.

Relationships to ordinary trigonometric functions are given by Euler's formula for complex numbers: eix=cosx+isinxeix=cosxisinx so: cosh(ix)=12(eix+eix)=cosxsinh(ix)=12(eixeix)=isinxtanh(ix)=itanxcosh(x+iy)=cosh(x)cos(y)+isinh(x)sin(y)sinh(x+iy)=sinh(x)cos(y)+icosh(x)sin(y)tanh(x+iy)=tanh(x)+itan(y)1+itanh(x)tan(y)coshx=cos(ix)sinhx=isin(ix)tanhx=itan(ix)

Thus, hyperbolic functions are periodic with respect to the imaginary component, with period 2πi (πi for hyperbolic tangent and cotangent).

See also

References

<templatestyles src="Reflist/styles.css" />

  1. a b c d Script error: No such module "citation/CS1".
  2. (1999) Collins Concise Dictionary, 4th edition, HarperCollins, Glasgow, Template:ISBN, p. 1386
  3. a b Collins Concise Dictionary, p. 328
  4. a b Script error: No such module "citation/CS1".
  5. Collins Concise Dictionary, p. 1520
  6. Collins Concise Dictionary, p. 329
  7. tanh
  8. Collins Concise Dictionary, p. 1340
  9. Script error: No such module "citation/CS1".
  10. Script error: No such module "citation/CS1".
  11. Some examples of using arcsinh found in Google Books.
  12. Script error: No such module "citation/CS1".
  13. a b Script error: No such module "citation/CS1".
  14. a b c d e f Script error: No such module "citation/CS1".
  15. a b c d Bradley, Robert E.; D'Antonio, Lawrence A.; Sandifer, Charles Edward. Euler at 300: an appreciation. Mathematical Association of America, 2007. Page 100.
  16. Becker, Georg F. Hyperbolic functions. Read Books, 1931. Page xlviii.
  17. Script error: No such module "citation/CS1".
  18. Script error: No such module "citation/CS1". Extract of page 281 (using lambda=1)
  19. Script error: No such module "citation/CS1". Extract of page 290
  20. Script error: No such module "Citation/CS1".
  21. Script error: No such module "citation/CS1". [1]
  22. Template:Dlmf
  23. Haskell, Mellen W., "On the introduction of the notion of hyperbolic functions", Bulletin of the American Mathematical Society 1:6:155–9, full text

Script error: No such module "Check for unknown parameters".

External links

Template:Sister project

Template:Trigonometric and hyperbolic functions

Template:Authority control