双曲函数

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

射线出原点交单位双曲线于点,这里的是射线、双曲线和x轴围成的面积的二倍。对于双曲线上位于x轴下方的点,这个面积被认为是负值
双曲函数示意图
几个双曲函数的图形。

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

基本定义

 
sinhcoshtanh
 
cschsechcoth

最简单的几种双曲函数为[1]

  • 双曲正弦
     
  • 双曲余弦
     
  • 双曲正切:
     
  • 双曲余切:当 
     
  • 双曲正割:
     
  • 双曲余割:当 
     

函数 是关于y轴对称的偶函数。函数 奇函数

如同当 遍历实数集 时,点( ,  )的轨迹是一个 一样,当 遍历实数集 时,点( ,  )的轨迹是单位双曲线英语Unit hyperbola 的右半边。这是因为有以下的恒等式:

 

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

历史

 
直角双曲线(方程 )下,双曲线三角形(黄色),和对应于双曲角u双曲线扇形(红色)。这个三角形的边分别是双曲函数   倍。

在18世纪,约翰·海因里希·兰伯特引入双曲函数[2],并计算了双曲几何双曲三角形的面积[3]自然对数函数是在直角双曲线 下定义的,可构造双曲线直角三角形,底边在线 上,一个顶点是原点,另一个顶点在双曲线。这里以自然对数即双曲角作为参数的函数,是自然对数的逆函数指数函数,即要形成指定双曲角 ,在渐近线即x或y轴上需要有的  的值。显见这里的底边是 ,垂线是 

通过旋转和缩小线性变换,得到单位双曲线下的情况,有:

  •  
  •  

单位双曲线中双曲线扇形的面积是对应直角双曲线 下双曲角的 

虚数圆角定义

双曲角经常定义得如同虚数圆角。实际上,如果 是实数而 ,则

   

所以双曲函数  可以通过圆函数来定义。这些恒等式不是从圆或旋转得来的,它们应当以无穷级数的方式来理解。特别是,可以将指数函数表达为由偶次项和奇次项组成,前者形成 函数,后者形成了 函数。 函数的无穷级数可从 得出,通过把它变为交错级数,而 函数可来自将 变为交错级数。上面的恒等式使用虚数 ,从三角函数的级数的项中去掉交错因子 ,来恢复为指数函数的那两部分级数。

 
 

双曲函数可以通过虚数圆角定义为:

  • 双曲正弦[1]
     
  • 双曲余弦[1]
     
  • 双曲正切:
     
  • 双曲余切:
     
  • 双曲正割:
     
  • 双曲余割:
     

这些复数形式的定义得出自欧拉公式

与三角函数的类比

奥古斯都·德·摩根在其1849年出版的教科书《Trigonometry and Double Algebra》中将圆三角学扩展到了双曲线[4]威廉·金顿·克利福德在1878年使用双曲角来参数化单位双曲线

   

给定相同的角α,在双曲线上计算双曲角的量值(双曲扇形面积除以半径)得到双曲函数,角 得到三角函数。在单位圆单位双曲线上,双曲函数与三角函数有如下的关系:

  • 正弦同样是从x轴曲线的半
  • 余弦同样是从y轴曲线的半(图中的余弦长方形的另一条)。
  • 正切同样是过x轴单位点(1,0)在曲线上的切线到终边的长度。
  • 余切同样是从y轴与过终边和曲线交点切线y轴的交点和曲线连线之长度
  • 正割同样是在一个有正切单位长直角三角形上,但边不一样。
  • 余割同样是y轴与过终边和曲线交点切线y轴的交点和原点距离
  • 角的量值可以从0到无限大,但 实际上只会介于  360)之间,其余是 同界角,再绕着圆旋转,故三角函数可以有周期。双曲角的量值可以从 到无限大,但 实际上不会超过 45),故无法如三角函数一样有周期性。

恒等式

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

 
  • 加法公式:
 
 
 
  • 二倍角公式:
 
 
  • 半角公式:
 
 

由于双曲函数和三角函数之间的对应关系,双曲函数的恒等式和三角函数的恒等式之间也是一一对应的。对于一个已知的三角函数公式,只需要将其中的三角函数转成相应的双曲函数,并将含有有两个 的积的项(包括 )转换正负号,就可得到相应的双曲函数恒等式[5]。如

  • 三倍角公式:
三角函数的三倍角公式为:
 
 
而对应的双曲函数三倍角公式则是:
 
 
  • 差角公式:
三角函数的差角公式为: 
而对应的双曲函数的差角公式则是: 

双曲函数的导数

 
 
 

双曲函数的泰勒展开式

双曲函数也可以以泰勒级数展开:

 
 
 
 罗朗级数
 
 罗朗级数

其中

 是第 伯努利数
 是第 欧拉数

双曲函数的积分

 
 
 
 
 
 

与指数函数的关系

从双曲正弦和余弦的定义,可以得出如下恒等式:

 

 

复数的双曲函数

因为指数函数可以定义为任何复数参数,也可以扩展双曲函数的定义为复数参数。函数  全纯函数

指数函数与三角函数的关系由欧拉公式给出:

 

所以:

 
 
 

因此,双曲函数是关于虚部有周期的,周期为 (对双曲正切和余切是 )。

反双曲函数

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

 

参考文献

  1. ^ 1.0 1.1 1.2 Weisstein, Eric W. (编). Hyperbolic Functions. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. [2020-08-29]. (原始内容存档于2022-05-21) (英语). 
  2. ^ 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. 
  3. ^ Ratcliffe, John, Foundations of Hyperbolic Manifolds, Graduate Texts in Mathematics 149, Springer: 99, 2006 [2014-03-27], ISBN 9780387331973, (原始内容存档于2014-01-12), 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. 
  4. ^ Augustus De Morgan (1849) Trigonometry and Double Algebra页面存档备份,存于互联网档案馆), Chapter VI: "On the connection of common and hyperbolic trigonometry"
  5. ^ G. Osborn, Mnemonic for hyperbolic formulae[失效链接], The Mathematical Gazette, p. 189, volume 2, issue 34, July 1902

参见