双曲函数

维基百科,自由的百科全书
跳转至: 导航搜索
射線出原點交單位雙曲線\scriptstyle x^2\ -\ y^2\ =\ 1於點\scriptstyle (\cosh\,a,\,\sinh\,a),這裡的\scriptstyle a是射線、雙曲線和\scriptstyle x軸圍成的面積的二倍。對於雙曲線上位於x軸下方的點,這個面積被認為是負值。

数学中,双曲函数是一类与常见的三角函数(也叫圆函数)类似的函数。最基本的双曲函数是双曲正弦函数sinh和双曲余弦函数cosh,从它们可以导出双曲正切函数tanh等,其推导也类似于三角函数的推导。双曲函数的反函数称为反双曲函数

双曲函数的定义域是实数,其自变量的值叫做双曲角。双曲函数出现于某些重要的线性微分方程的解中,譬如說定义悬链线拉普拉斯方程

基本定义[编辑]

sinh, coshtanh
csch, sechcoth
  • \sinh x = {{e^x  - e^{ - x} } \over 2}
  • \cosh x = {{e^x  + e^{ - x} } \over 2}
  • \tanh x = {{\sinh x} \over {\cosh x}}
  • \coth x = {1 \over {\tanh x}}
  • {\mathop{\rm sech}} x = {1 \over {\cosh x}}
  • {\mathop{\rm csch}} x = {1 \over {\sinh x}}

函数\cosh x\!是关于y轴对称的偶函数。函数\sinh x\!奇函数

如同当t 遍历实数集 \mathbb{R}时,点(\cos t\!, \sin t\!)的轨迹是一个x^2 + y^2 = 1一样,当t 遍历实数集 \mathbb{R}时,点(\cosh t\!, \sinh t\!)的轨迹是單位雙曲線x^2 - y^2 = 1的右半边。这是因为有以下的恒等式:

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

参数t不是圆而是双曲角,它表示在x轴和连接原点和双曲线上的点(\cosh t\!, \sinh t\!)的直线之间的面积的两倍。

歷史[编辑]

直角雙曲線(方程y = 1/x)下,雙曲線三角形(黃色),和對應於雙曲角u雙曲線扇形(紅色)。這個三角形的邊分別是雙曲函數中cosh和sinh的√2倍。

18世紀約翰·海因里希·蘭伯特介入了雙曲函數[1],並計算了雙曲幾何雙曲三角形的面積[2]自然對數函數是在直角雙曲線xy=1下定義的,可構造雙曲線直角三角形,底邊在線y=x上,一個頂點是原點,另一個頂點在雙曲線。這裡以自然對數即雙曲角作為參數的函數,是自然對數的逆函數指數函數,即要形成指定雙曲角u,在漸進線即x或y軸上需要有的x或y的值。顯見這裡的底邊是\left(e^u + e^{ -u}\right) \frac{\sqrt{2}}{2},垂線是\left(e^u - e^{-u}\right) \frac{\sqrt{2}}{2}

通過旋轉和縮小線性變換,得到單位雙曲線下的情況,有:

  • \cosh u = \frac{e^u + e^{-u}}{2}
  • \sinh u = \frac{e^u - e^{-u}}{2}

單位雙曲線中雙曲線扇形的面積是對應直角雙曲線xy=1下雙曲角的 1/2。

虛數圓角定義[编辑]

雙曲角經常定義得如同虛數圓角。實際上,如果x是實數而i2 = −1,則

 \cos(i x) = \cosh(x), \quad      \quad  \sin(i x) = i \sinh(x).

所以雙曲函數cosh和sinh可以通過圓函數來定義。這些恆等式不是從圓或旋轉得來的,它們應當以無窮級數的方式來理解。特別是,可以將指數函數表達為由偶次項和奇次項組成,前者形成cosh函數,後者形成了sinh函數。cos函數的無窮級數可從cosh得出,通過把它變為交錯級數,而sin函數可來自將sinh變為交錯級數。上面的恆等式使用虛數i,從三角函數的級數的項中去掉交錯因子(−1)n,來恢復為指數函數的那兩部份級數。

 e^x = \cosh x + \sinh x\!
\begin{array}{lcl}
\cosh x = \sum_{n=0}^\infty\frac{x^{2n}}{(2n)!} & \sinh x = \sum_{n=0}^\infty\frac{x^{2n+1}}{(2n+1)!} \\
\cos x = \sum_{n=0}^\infty \frac{(-1)^nx^{2n}}{(2n)!} & \sin x = \sum_{n=0}^\infty \frac{(-1)^nx^{2n+1}}{(2n+1)!} \\
\end{array}

雙曲函數可以通過虛數圓角定義為:

\sinh x =  - i \sin (ix) \!
\cosh x = \cos (ix) \!
\tanh x = -i \tan (ix) \!
\coth x = i \cot (ix) \!
\operatorname{sech} x = \sec (ix) \!
\operatorname{csch} x = i \csc (ix) \!

這些複數形式的定義得出自歐拉公式

與三角函數的類比[编辑]

奧古斯都·德·摩根在其1849年出版的教科書《Trigonometry and Double Algebra》中將圓三角學擴展到了雙曲線[3]威廉·金頓·克利福德在1878年使用雙曲角來參數化單位雙曲線

雙曲函數 三角函數

給定相同的角α,在雙曲線上計算雙曲角的量值(雙曲扇形面積除以半徑)得到雙曲函數,角α得到三角函數。在單位圓單位雙曲線上,双曲函数与三角函数有如下的关係:

恆等式[编辑]

与双曲函数有关的恆等式如下:

\cosh^2 x - \sinh^2 x = 1 \,
  • 加法公式:
\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} \,
  • 二倍角公式:
\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 \,
  • 半角公式:
\cosh^2\frac{x}{2} = \frac{\cosh x + 1}{2}
\sinh^2\frac{x}{2} = \frac{\cosh x - 1}{2}

由于雙曲函數和三角函数之间的对应关系,雙曲函數的恆等式和三角函數的恒等式之间也是一一对应的。对于一个已知的三角函数公式,只需要將其中的三角函數轉成相應的雙曲函數,并将含有有兩個sinh的積的项(包括\coth^2 x, \tanh^2 x, \operatorname{csch}^2 x , \sinh x \sinh y)轉換正負號,就可得到相應的雙曲函數恆等式[4]。如

  • 三倍角公式:
三角函数的三倍角公式为:\sin 3x\ = 3 \sin x - 4 \sin^3 x
而对应的双曲函数三倍角公式则是:\sinh 3x\ = 3 \sinh x + 4 \sinh^3 x
  • 差角公式:
三角函数的差角公式为:\cos(x-y)\ = \cos x \cos y + \sin x \sin y
而对应的双曲函数的差角公式则是:\cosh(x-y)\ = \cosh x \cosh y - \sinh x \sinh y

双曲函数的導數[编辑]

 \frac{\mathrm{d}}{\mathrm{d}x}\sinh x = \cosh x \,
 \frac{\mathrm{d}}{\mathrm{d}x}\cosh x = \sinh x \,
 \frac{\mathrm{d}}{\mathrm{d}x}\tanh x = 1 - \tanh^2 x = \hbox{sech}^2  x = 1/\cosh^2 x \,

双曲函数的泰勒展開式[编辑]

雙曲函數也可以以泰勒級數展開:

\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)!}
\cosh x = 1 + \frac {x^2} {2!} + \frac {x^4} {4!} + \frac {x^6} {6!} + \cdots = \sum_{n=0}^\infty \frac{x^{2n}}{(2n)!}
\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 = \frac {1} {x} + \frac {x} {3} - \frac {x^3} {45} + \frac {2x^5} {945} + \cdots = \frac {1} {x} + \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 = \frac {1} {x} - \frac {x} {6} +\frac {7x^3} {360} -\frac {31x^5} {15120} + \cdots = \frac {1} {x} + \sum_{n=1}^\infty \frac{ 2 (1-2^{2n-1}) B_{2n} x^{2n-1}}{(2n)!} , 0 < \left |x \right | < \pi 罗朗级数

其中

B_n \,是第n項伯努利數
E_n \,是第n項欧拉數

双曲函数的积分[编辑]

\int\sinh cx\,dx = \frac{1}{c}\cosh cx + C
\int\cosh cx\,dx = \frac{1}{c}\sinh cx + C
\int \tanh cx\,dx = \frac{1}{c}\ln(\cosh cx) + C
\int \coth cx\,dx = \frac{1}{c}\ln(\sinh cx) + C
\int \operatorname{sech} cx\,dx = \frac{1}{c}\arctan (\sinh cx) + C
\int \operatorname{csch} cx\,dx = \frac{1}{c}\ln\left|\tanh\frac{cx}{2}\right| + C

與指數函數的關係[编辑]

從雙曲正弦和餘弦的定義,可以得出如下恆等式:

e^x = \cosh x + \sinh x

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

複數的雙曲函數[编辑]

因為指數函數可以定義為任何複數參數,也可以擴展雙曲函數的定義為複數參數。函數sinh z和cosh z全純函數

指數函數與三角函數的關係由歐拉公式給出:

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

所以:

\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 \\
    \tanh ix &= i \tan x \\
\end{align}
\begin{align}
 \cosh(x+iy) &= \cosh(x) \cos(y) + i \sinh(x) \sin(y) \\
 \sinh(x+iy) &= \sinh(x) \cos(y) + i \cosh(x) \sin(y) \\
\end{align}
\begin{align}
     \cosh x &= \cos ix \\
     \sinh x &= - i \sin ix \\
     \tanh x &= - i \tan ix
\end{align}

因此,雙曲函數是關於虛部有週期的,週期為2 \pi i (對雙曲正切和餘切是\pi i).

反双曲函数[编辑]

反双曲函数是双曲函数的反函数。它们的定义为:

\operatorname{arsinh}\, x = \ln(x + \sqrt{x^2 + 1})
\operatorname{arcosh}\, x = \ln(x + \sqrt{x^2 - 1})
\operatorname{artanh}\, x = \ln\frac{\sqrt{1 - x^2}}{1-x} = \frac{1}{2} \ln\frac{1+x}{1-x}
\operatorname{arcoth}\, x = \ln\frac{\sqrt{x^2 - 1}}{x-1} = \frac{1}{2} \ln\frac{x+1}{x-1}
\operatorname{arsech}\, x = \pm \frac{1}{2} \ln\frac{1 + \sqrt{1 - x^2}}{1 -\sqrt{1 - x^2}}
\operatorname{arcsch}\, x =
\begin{cases}
  \ln\frac{1 - \sqrt{1 + x^2}}{x},  & \mbox{for }x < 0\!\, \\
  \ln\frac{1 + \sqrt{1 + x^2}}{x},  & \mbox{for }x > 0\!\,
\end{cases}

註釋與引用[编辑]

  1. ^ Eves, Howard, Foundations and Fundamental Concepts of Mathematics, Courier Dover Publications, 59, 2012, ISBN 9780486132204, "We also owe to Lambert the first systematic development of the theory of hyperbolic functions and, indeed, our present notation for these functions." 
  2. ^ Ratcliffe, John, Foundations of Hyperbolic Manifolds, Graduate Texts in Mathematics, Springer, 99, 2006, ISBN 9780387331973, "That the area of a hyperbolic triangle is proportional to its angle defect first appeared in Lambert's monograph Theorie der Parallellinien, which was published posthumously in 1786." 
  3. ^ Augustus De Morgan (1849) Trigonometry and Double Algebra, Chapter VI: "On the connection of common and hyperbolic trigonometry"
  4. ^ G. Osborn, Mnemonic for hyperbolic formulae, The Mathematical Gazette, p. 189, volume 2, issue 34, July 1902

参见[编辑]

外部鏈接[编辑]