双曲線関数

数学において双曲線関数は通常の三角関数に類似していますが、ではなく双曲線を用いて定義されます。点(cos t , sin t )が単位半径の円を形成するのと同様に、点(cosh t , sinh t )は単位双曲線の右半分を形成します。また、 sin( t )cos( t )の導関数がそれぞれcos( t )–sin( t )であるのと同様に、 sinh( t )cosh( t )の導関数はそれぞれcosh( t )sinh( t )です

双曲関数は、双曲幾何学において平行角を表すために使用されます特殊相対論では、ローレンツブーストを双曲回転として表すために使用されます。また、多くの線形微分方程式(懸垂線を定義する方程式など)、3次方程式、および直交座標におけるラプラス方程式の解にも現れますラプラス方程式は、電磁気学伝熱流体力学など、物理学の多くの分野で重要です

基本的な双曲線関数は以下の通りである: [1]

そこから派生したもの: [4]

導出された三角関数に対応します。

双曲線関数は次のとおりです。

  • 逆双曲線正弦arsinh」(「sinh −1」、「asinh」、または「arcsinh」と表記されることもある)[9] [10] [11]
  • 逆双曲線余弦arcosh」(「cosh −1」、「acosh」、または「arccosh」と表記されることもある)
  • 逆双曲線正接artanh」(「tanh −1」、「atanh」、または「arctanh」と表記されることもある)
  • 逆双曲余接アークス」(「アークス−1」、「アークス」、あるいは「アークス」とも表記される
  • 逆双曲正割arsech」(「sech −1」、「asech」、または「arcsech」と表記されることもある)
  • 逆双曲余割arcsch」(「arcosech」、「csch −1」、「cosech −1」、「acsch」、「acosech」、または「arccsch」や「arccosech」と表記されることもある)
単位双曲線x 2y 2 = 1を通る直線(cosh a , sinh a )を通過する。ここでa は直線、双曲線、x軸の間の面積の2倍である。x 軸より下の双曲線上のについては、面積は負とみなされる(三角関数(円関数)との比較を含むアニメーション版を参照)。

双曲関数は、双曲角と呼ばれる 引数を取ります。双曲角の大きさは、xy = 1に対する双曲扇形面積です。双曲関数は、この扇形を覆う直角三角形の辺によって定義できます

複素解析において、通常の正弦関数と余弦関数を虚角に適用すると双曲関数が生じる。双曲正弦関数と双曲余弦関数は整関数である。その結果、他の双曲関数は複素平面全体において有理型となる。

リンデマン・ワイエルシュトラスの定理によれば、双曲関数は引数のゼロでない代数的値すべてに対して超越値を持つ。 [12]

歴史

双曲三角法の問題の計算は、1566年頃にメルカトル図法を発表したゲラルドゥス・メルカトルが初めて行ったとされています。この計算では、双曲関数を含む超越方程式の解を表にまとめる必要がありました。[13]

円の扇形と双曲線の扇形の類似性を最初に示唆したのは、アイザック・ニュートンが1687年に著した『プリンキピア・マテマティカ』である。[14]

ロジャー・コーツは、虚数単位 を使って三角関数を修正し、長楕円体から扁平楕円体を得ることを提案した。 [14]

双曲関数は1757年にヴィンチェンツォ・リカッティによって正式に導入されました。[14] [13] [15]リカッティは円関数を表すためにSc.Cc.正弦/余弦円)を使用し、双曲関数を表すためにSh.Ch.正弦/余弦双曲)を使用しました。 [14] 1759年には早くもダヴィエ・ド・フォンセネックスは虚数単位を使用して三角関数と双曲関数の互換性を示し、ド・モアブルの公式を双曲関数に拡張しました。[15] [14]

1760年代、ヨハン・ハインリヒ・ランベルトは関数の使用を体系化し、指数表現を様々な出版物で提供した。[14] [15]ランベルトは関数の用語と名前をリカッチに帰したが、略語を今日使用されているものに変更した。[15] [16]

表記

定義

sinhとcoshに比例する脚を持つ直角三角形

双曲線角 uでは、双曲線関数 sinh と cosh は指数関数e uで定義できます。[1] [4]図では

指数関数の定義

sinh xはe xe xの半分である。
cosh xはe xe x平均である。
  • 双曲線正弦:指数関数の奇数部、つまり
  • 双曲線余弦:指数関数の偶数部、つまり
sinhcoshtanh
cschsechcoth
  • 双曲線正接:
  • 双曲余接:x ≠0の場合、
  • 双曲正割:
  • 双曲余割: x ≠ 0の場合、

微分方程式の定義

双曲線関数は、微分方程式の解として定義できます。双曲線正弦と双曲線余弦は、初期条件を持つシステムの( sc )です。初期条件により、解は一意になります。初期条件がなければ、どの関数のペアも解にはなりません。

sinh( x )cosh( x )は方程式f  ″( x ) = f  ( x )の唯一の解でもあり、双曲線余弦の場合はf  (0) = 1f  ′(0) = 0となり、双曲線正弦の場合はf  (0) = 0f  ′(0) = 1 となります

複雑な三角関数の定義

双曲線関数は、複素引数を持つ三角関数から推定することもできます。

  • 双曲線正弦: [1]
  • 双曲線余弦: [1]
  • 双曲線正接:
  • 双曲線余接:
  • 双曲正割:
  • 双曲線余割:

ここで、i虚数単位で、i 2 = −1です。

上記の定義は、オイラーの公式を介して指数定義と関連しています(以下の§複素数の双曲線関数を参照)。

特性評価

双曲線余弦

双曲余弦曲線の下の面積(有限区間)は常にその区間に対応する弧の長さに等しいことが示される[17]

双曲線正接

双曲正接は、微分方程式 f  ′ = 1 − f 2f  (0) = 0 )の(唯一の)解である[18] [19]

有用な関係

双曲関数は多くの恒等式を満たし、それらはすべて三角関数の恒等式と形が似ています。実際、オズボーンの定理[20]ジョージ・オズボーンにちなんで名付けられました)によれば、、、またはに対する任意の三角関数の恒等式(4次正弦および暗黙の正弦を除く)は、次のよう双曲関数の恒等式に変換できます

  1. これを正弦と余弦の積分乗で完全に拡張すると、
  2. 正弦をsinhに、余弦をcoshに変更し、
  3. 2 つの sinh の積を含むすべての項の符号を切り替えます。

奇数関数と偶数関数:

したがって:

したがって、cosh xsech xは偶関数であり、その他は奇関数です。

双曲線正弦と双曲線余弦は次を満たします。

これはオイラーの公式に類似しており、

これはピタゴラスの三角関数の恒等式に類似しています。

また、

その他の機能については。

引数の合計

特に

また:

製品配合

引き算の公式

また:[21]

半引数式

ここで、sgnは符号関数です

x ≠0の場合[22]

平方公式

不平等

次の不等式は統計学で有用である: [23]

これは、2 つの関数のテイラー級数を各項ごとに比較することによって証明できます。

逆関数を対数として表す

デリバティブ

2次導関数

各関数sinhcosh はその2 次導関数に等しくなります。つまり、次のようになります。

この性質を持つすべての関数はsinhcosh線形結合であり、特に指数関数とがそれに該当します[24]

標準積分

次の積分は双曲置換法を使って証明できます。

ここで、Cは積分定数です

テイラー級数表現

上記の関数のゼロにおけるテイラー級数(関数がゼロで定義されていない場合はローラン級数)を明示的に表現することができます。

この級数はxの任意の複素数に対して収束します。関数sinh xは奇数なので、テイラー級数に はxの奇指数のみが現れます。

この級数はxの任意の複素数に対して収束します。関数cosh x は偶数なので、テイラー級数にはxの偶数指数のみが含まれます。

sinh 級数と cosh 級数の和は、指数関数無限級数表現です。

次の級数の後には、その収束領域のサブセットの説明が続きます。ここで、級数は収束し、その和は関数に等しくなります。

どこ:

無限積と連分数

複素平面全体では次のような展開が有効です。

円関数との比較

(1, 1)における円と双曲線の接線は、円弧面積u基づく円関数と、双曲線面積uに依存する双曲線関数の幾何学を表示します

双曲線関数は、円関数を超えた三角法の拡張を表します。どちらの関数も、円角または双曲線角のいずれかの引数に依存します。

半径r、角度u (ラジアン)の扇形の面積はr 2 u / 2なので、 r = 2のとき、面積はuと等しくなります。図では、このような円は(1, 1)において双曲線xy = 1に接しています。黄色の扇形は面積と角度の大きさを表しています。同様に、黄色と赤色の領域は、面積が双曲線の角度の大きさに対応する双曲扇形を表しています。

角度を定義する放射状の斜辺を持つ2 つの直角三角形の脚の長さは、円関数と双曲線関数 の2倍です。

双曲角は、円角が回転に対して不変であるのと同様に、スクイーズ写像に関して不変の測度である。[25]

グーデルマン関数は、複素数を含まない円関数と双曲線関数の間の直接的な関係を与えます。

関数⁠のグラフは懸垂線、つまり均一な重力下にある 2 つの固定点の間に自由に垂れ下がった均一で柔軟な鎖によって形成される曲線です。

指数関数との関係

指数関数を偶数部と奇数部に分解すると、恒等式と が得られます。これをオイラーの公式と組み合わせると一般的な複素指数関数が得られ ます

さらに、

複素数の双曲線関数

複素平面上の双曲線関数

指数関数は任意の複素引数に対して定義できるため、双曲関数の定義を複素引数に拡張することもできます。この場合、関数sinh zcosh zは正則関数となります。

通常の三角関数との関係は、複素数のオイラーの公式によって与えられます。 つまり、

したがって、双曲線関数は虚数成分に関して周期的であり、周期は(双曲線正接と双曲線余接の場合)です。

参照

参考文献

  1. ^ abcd Weisstein, Eric W.「双曲関数」. mathworld.wolfram.com . 2020年8月29日閲覧
  2. ^ (1999)コリンズ・コンサイス辞典、第4版、ハーパーコリンズ、グラスゴー、 ISBN 0 00 472257 4、1386ページ
  3. ^ ab コリンズコンサイス辞典、328ページ
  4. ^ ab 「双曲線関数」www.mathsisfun.com . 2020年8月29日閲覧
  5. ^ コリンズ・コンサイス辞典、1520ページ
  6. ^ コリンズ・コンサイス辞典、329ページ
  7. ^ tanh
  8. ^ コリンズ・コンサイス辞典、1340ページ
  9. ^ Woodhouse, NMJ (2003), Special Relativity , London: Springer, p. 71, ISBN 978-1-85233-426-0
  10. ^ アブラモウィッツ、ミルトンステガン、アイリーンA.編(1972年)、数式、グラフ、数学表付き数学関数ハンドブック、ニューヨーク:ドーバー出版ISBN 978-0-486-61272-0
  11. ^ arcsinh の使用例がGoogle ブックスで見つかりました。
  12. ^ ニーヴン、イヴァン(1985年)『無理数』第11巻、アメリカ数学会ISBN 9780883850381. JSTOR  10.4169/j.ctt5hh8zn.
  13. ^ ab George F. Becker; CE Van Orstrand (1909). 双曲関数. ユニバーサルデジタルライブラリ. スミソニアン協会.
  14. ^ abcdef McMahon, James (1896). 双曲関数. オスマニア大学, インドデジタル図書館. John Wiley And Sons.
  15. ^ abcd ブラッドリー, ロバート・E.; ダントニオ, ローレンス・A.; サンディファー, チャールズ・エドワード.オイラー生誕300年:その評価.アメリカ数学協会, 2007年. 100ページ.
  16. ^ ベッカー、ゲオルグ・F.双曲関数.リードブックス, 1931年. xlviiiページ.
  17. ^ NP, Bali (2005). Golden Integral Calculus. Firewall Media. p. 472. ISBN 81-7008-169-6
  18. ^ Steeb, Willi-Hans (2005). 『非線形ワークブック:カオス、フラクタル、セルオートマトン、ニューラルネットワーク、遺伝的アルゴリズム、遺伝子発現プログラミング、サポートベクターマシン、ウェーブレット、隠れマルコフモデル、ファジーロジック(C++、Java、SymbolicC++プログラムによる)』(第3版). World Scientific Publishing Company. p. 281. ISBN 978-981-310-648-2281ページの抜粋(lambda=1を使用)
  19. ^ オールドハム, キース・B.; マイランド, ヤン; スパニアー, ジェローム (2010). 『関数アトラス:アトラス関数計算機 Equator(第2版、イラスト入り)』 Springer Science & Business Media. p. 290. ISBN 978-0-387-48807-3290ページの抜粋
  20. ^ Osborn, G. (1902年7月). 「双曲型公式の記憶法」. The Mathematical Gazette . 2 (34): 189. doi :10.2307/3602492. JSTOR  3602492. S2CID  125866575.
  21. ^ マーティン、ジョージ・E. (1986). 『幾何学の基礎と非ユークリッド平面』(初訂版). ニューヨーク: シュプリンガー・フェアラーク. p. 416. ISBN 3-540-90694-0
  22. ^ 「tanh(x/2) = (cosh(x) - 1)/sinh(x)という恒等式を証明せよ」StackExchange (数学) . 2016年1月24日閲覧
  23. ^ Audibert, Jean-Yves (2009). 「集約による統計的推論における高速学習率」『統計年報』1627頁。[1]
  24. ^ Olver, Frank WJ ; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. 編 (2010)「双曲関数」、NIST Handbook of Mathematical Functions、ケンブリッジ大学出版局、ISBN 978-0-521-19225-5MR  2723248
  25. ^ Haskell, Mellen W.、「双曲関数の概念の導入について」、 アメリカ数学会報 1 :6:155–9、全文
Retrieved from "https://en.wikipedia.org/w/index.php?title=Hyperbolic_functions&oldid=1321446599"