Hyperbolic function

From Wikipedia, the free encyclopedia
Jump to: navigation, search
"Sinh" redirects here. For the garment, see sinh (clothing).
A ray through the origin intercepts the unit hyperbola \scriptstyle x^2\ -\ y^2\ =\ 1 in the point \scriptstyle (\cosh\,a,\,\sinh\,a), where \scriptstyle a is twice the area between the ray, the hyperbola, and the \scriptstyle x-axis. For points on the hyperbola below the \scriptstyle x-axis, the area is considered negative (see animated version with comparison with the trigonometric (circular) functions).

In mathematics, hyperbolic functions are analogs of the ordinary trigonometric, or circular, functions. The basic hyperbolic functions are the hyperbolic sine "sinh" (/ˈsɪn/ or /ˈʃn/), and the hyperbolic cosine "cosh" (/ˈkɒʃ/), from which are derived the hyperbolic tangent "tanh" (/ˈtæn/ or /ˈθæn/), hyperbolic cosecant "csch" or "cosech" (/ˈkʃɛk/ or /ˈksɛ/), hyperbolic secant "sech" (/ˈʃɛk/ or /ˈsɛ/), and hyperbolic cotangent "coth" (/ˈkθ/ or /ˈkɒθ/),[1] corresponding to the derived trigonometric functions. The inverse hyperbolic functions are the area hyperbolic sine "arsinh" (also called "asinh" or sometimes "arcsinh")[2] 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 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 some important linear differential equations, for example the equation defining a catenary, of some cubic equations, and of Laplace's equation in Cartesian coordinates. The latter is 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 meromorphic.

Hyperbolic functions were introduced in the 1760s independently by Vincenzo Riccati and Johann Heinrich Lambert.[3] 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.[4] The abbreviations sh and ch are still used in some other languages, like European French and Russian.

Standard algebraic expressions[edit]

sinh, cosh and tanh
csch, sech and coth
(a) cosh(x) is the average of exand e−x
(a) cosh(x) is the average of exand e−x
(b) sinh(x) is half the difference of ex and e−x
(b) sinh(x) is half the difference of ex and e−x
Hyperbolic functions (a) cosh and (b) sinh obtained using exponential functions e^x and e^{-x}

The hyperbolic functions are:

  • Hyperbolic sine:
\sinh x = \frac {e^x - e^{-x}} {2} = \frac {e^{2x} - 1} {2e^x} = \frac {1 - e^{-2x}} {2e^{-x}}
  • Hyperbolic cosine:
\cosh x = \frac {e^x + e^{-x}} {2} = \frac {e^{2x} + 1} {2e^x} = \frac {1 + e^{-2x}} {2e^{-x}}
  • Hyperbolic tangent:
\tanh x = \frac{\sinh x}{\cosh x} = \frac {e^x - e^{-x}} {e^x + e^{-x}} = \frac{e^{2x} - 1} {e^{2x} + 1} = \frac{1 - e^{-2x}} {1 + e^{-2x}}
  • Hyperbolic cotangent:
\coth x = \frac{\cosh x}{\sinh x} = \frac {e^x + e^{-x}} {e^x - e^{-x}} = \frac{e^{2x} + 1} {e^{2x} - 1} = \frac{1 + e^{-2x}} {1 - e^{-2x}}
  • Hyperbolic secant:
\operatorname{sech}\,x = \left(\cosh x\right)^{-1} = \frac {2} {e^x + e^{-x}} = \frac{2e^x} {e^{2x} + 1} = \frac{2e^{-x}} {1 + e^{-2x}}
  • Hyperbolic cosecant:
\operatorname{csch}\,x = \left(\sinh x\right)^{-1} = \frac {2} {e^x - e^{-x}} = \frac{2e^x} {e^{2x} - 1} = \frac{2e^{-x}} {1 - e^{-2x}}

Hyperbolic functions can be introduced via imaginary circular angles:

  • Hyperbolic sine:
\sinh x =  - i \sin (ix) \!
  • Hyperbolic cosine:
\cosh ix = \cos (x) \!
  • Hyperbolic tangent:
\tanh x = -i \tan (ix) \!
  • Hyperbolic cotangent:
\coth x = i \cot (ix) \!
  • Hyperbolic secant:
\operatorname{sech} x = \sec (ix) \!
  • Hyperbolic cosecant:
\operatorname{csch} x = i \csc (ix) \!

where i is the imaginary unit defined by i2 = −1.

The complex forms in the definitions above derive from Euler's formula.

Useful relations[edit]

Odd and even functions:

\begin{align}
  \sinh (-x) &= -\sinh x \\
  \cosh (-x) &=  \cosh x
\end{align}

Hence:

\begin{align}
                \tanh (-x) &= -\tanh x \\
                \coth (-x) &= -\coth x \\
  \operatorname{sech} (-x) &=  \operatorname{sech} x \\
  \operatorname{csch} (-x) &= -\operatorname{csch} x
\end{align}

It can be seen that cosh x and sech x are even functions; the others are odd functions.

\begin{align}
  \operatorname{arsech} x &= \operatorname{arcosh} \frac{1}{x} \\
  \operatorname{arcsch} x &= \operatorname{arsinh} \frac{1}{x} \\
  \operatorname{arcoth} x &= \operatorname{artanh} \frac{1}{x}
\end{align}

Hyperbolic sine and cosine satisfy the identity

\cosh^2 x - \sinh^2 x = 1\,

which is similar to the Pythagorean trigonometric identity. One also has

\begin{align}
  \operatorname{sech} ^{2} x &= 1 - \tanh^{2} x \\
  \operatorname{csch} ^{2} x &= \coth^{2} x - 1
\end{align}

for the other functions.

The hyperbolic tangent is the solution to the differential equation f'=1-f^2 with f(0)=0 and the nonlinear boundary value problem:[5]

\frac{1}{2} f'' = f^3 - f ; \quad f(0) = f'(\infty) = 0

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:[6]

\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}

Sums of arguments:

\begin{align}
  \sinh(x + y) &= \sinh (x) \cosh (y) + \cosh (x) \sinh (y) \\
  \cosh(x + y) &= \cosh (x) \cosh (y) + \sinh (x) \sinh (y) \\  

\end{align}

particularly

\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
\end{align}

Sum and difference of cosh and sinh:

\begin{align}
  \cosh x + \sinh x &= e^x \\
  \cosh x - \sinh x &= e^{-x}
\end{align}

Inverse functions as logarithms[edit]

\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 \ge 1 \\

  \operatorname {artanh} (x) &= \frac{1}{2}\ln \left( \frac{1 + x}{1 - x} \right); \left| x \right| < 1 \\

  \operatorname {arcoth} (x) &= \frac{1}{2}\ln \left( \frac{x + 1}{x - 1} \right); \left| x \right| > 1 \\

  \operatorname {arsech} (x) &= \ln \left( \frac{1}{x} + \frac{\sqrt{1 - x^{2}}}{x} \right); 0 < x \le 1 \\

  \operatorname {arcsch} (x) &= \ln \left( \frac{1}{x} + \frac{\sqrt{1 + x^{2}}}{\left| x \right|} \right); x \ne 0
\end{align}

Derivatives[edit]

 \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 = 1/\cosh^2 x \,
 \frac{d}{dx}\coth x = 1 - \coth^2 x = -\operatorname{csch}^2 x = -1/\sinh^2 x \,
 \frac{d}{dx}\ \operatorname{sech}\,x = - \tanh x \ \operatorname{sech}\,x \,
 \frac{d}{dx}\ \operatorname{csch}\,x = - \coth x \ \operatorname{csch}\,x \,
\frac{d}{dx}\, \operatorname{arsinh}\,x =\frac{1}{\sqrt{x^{2}+1}}
\frac{d}{dx}\, \operatorname{arcosh}\,x =\frac{1}{\sqrt{x^{2}-1}}
\frac{d}{dx}\, \operatorname{artanh}\,x =\frac{1}{1-x^{2}}
\frac{d}{dx}\, \operatorname{arcoth}\,x =-\frac{1}{1+x^{2}}
\frac{d}{dx}\, \operatorname{arsech}\,x =-\frac{1}{x\sqrt{1-x^{2}}}
\frac{d}{dx}\, \operatorname{arcsch}\,x =-\frac{1}{\left| x \right|\sqrt{1+x^{2}}}

Standard integrals[edit]

For a full list of integrals of hyperbolic functions, see list of integrals of hyperbolic functions.

\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}
\begin{align}
   \int {\frac{du}{\sqrt{a^2 + u^2}}} & = \operatorname{arsinh} \left( \frac{u}{a} \right) + C \\
   \int {\frac{du}{\sqrt{u^2 - a^2}}} &= \operatorname{arcosh} \left( \frac{u}{a} \right) + C \\
   \int {\frac{du}{a^2 - u^2}} & =  a^{-1}\operatorname{artanh} \left( \frac{u}{a} \right) + C; u^2 < a^2 \\
   \int {\frac{du}{a^2 - u^2}} & =  a^{-1}\operatorname{arcoth} \left( \frac{u}{a} \right) + C; u^2 > a^2 \\
   \int {\frac{du}{u\sqrt{a^2 - u^2}}} & = -a^{-1}\operatorname{arsech}\left( \frac{u}{a} \right) + C \\
   \int {\frac{du}{u\sqrt{a^2 + u^2}}} & = -a^{-1}\operatorname{arcsch}\left| \frac{u}{a} \right| + C
\end{align}

where C is the constant of integration.

Taylor series expressions[edit]

It is possible to express the above functions as Taylor series:

\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)!}

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.

\cosh x = 1 + \frac {x^2} {2!} + \frac {x^4} {4!} + \frac {x^6} {6!} + \cdots = \sum_{n=0}^\infty \frac{x^{2n}}{(2n)!}

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.

\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 | < \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 < \left |x \right | < \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 | < \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 < \left |x \right | < \pi

\end{align}

where

B_n \, is the nth Bernoulli number
E_n \, is the nth Euler number

Comparison with circular functions[edit]

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.

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 is \frac {r^2 u} {2} , it will be equal to u when r = square root of 2. In the diagram such a circle is tangent to the hyperbola x y = 1 at (1,1). The yellow sector depicts an area and angle magnitude. Similarly, the red augmentation depicts an area and magnitude as hyperbolic angle.

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.

Identities[edit]

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

\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}

the "double argument formulas"

\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}

and the "half-argument formulas"[8]

\sinh \frac{x}{2} = \sqrt{ \frac{1}{2}(\cosh x - 1)} \,    Note: This is equivalent to its circular counterpart multiplied by −1.
\cosh \frac{x}{2} = \sqrt{ \frac{1}{2}(\cosh x + 1)} \,    Note: This corresponds to its circular counterpart.
 \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.
 \coth \frac{x}{2} = \coth x + \operatorname{csch}x.

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[edit]

From the definitions of the hyperbolic sine and cosine, we can derive the following identities:

e^x = \cosh x + \sinh x

and

e^{-x} = \cosh x - \sinh x

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[edit]

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:

\begin{align}
   e^{i x} &= \cos x + i \;\sin x \\
  e^{-i x} &= \cos x - i \;\sin x
\end{align}

so:

\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}

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

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

See also[edit]

References[edit]

  1. ^ tanh
  2. ^ Some examples of using arcsinh found in Google Books.
  3. ^ Robert E. Bradley, Lawrence A. D'Antonio, Charles Edward Sandifer. Euler at 300: an appreciation. Mathematical Association of America, 2007. Page 100.
  4. ^ Georg F. Becker. Hyperbolic functions. Read Books, 1931. Page xlviii.
  5. ^ Eric W. Weisstein. "Hyperbolic Tangent". MathWorld. Retrieved 2008-10-20. 
  6. ^ N.P., Bali (2005). Golden Integral Calculus. Firewall Media. p. 472. ISBN 81-7008-169-6. , Extract of page 472
  7. ^ G. Osborn, Mnemonic for hyperbolic formulae, The Mathematical Gazette, p. 189, volume 2, issue 34, July 1902
  8. ^ 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[edit]