グーデルマン関数

グーデルマン関数（グーデルマンかんすう、英語: Gudermannian function、ドイツ語: Gudermannfunktion）は、クリストフ・グーデルマン（英語版）（1798–1852）にちなんで命名された、複素数を用いない三角関数及び双曲線関数と関係する関数である。 定義は以下のとおりである。 gd ⁡ x = ∫ 0 x d t cosh ⁡ t = arcsin ⁡ ( tanh ⁡ x ) = arctan ⁡ ( sinh ⁡ x ) = 2 arctan ⁡ [ tanh ⁡ ( 1 2 x ) ] = 2 arctan ⁡ ( e x ) − 1 2 π . {\displaystyle {\begin{aligned}\operatorname {gd} x&=\int _{0}^{x}{\frac {dt}{\cosh t}}\\&=\arcsin \left(\tanh x\right)=\arctan \left(\sinh x\right)\\&=2\arctan \left[\tanh \left({\frac {1}{2}}x\right)\right]=2\arctan \left(e^{x}\right)-{\frac {1}{2}}\pi .\end{aligned}}} グーデルマン関数と関連する公式の中には、定義として全く運用できないものがある。例えば、実数x について、 arccos ⁡ sech ⁡ x = | gd ⁡ x | = arcsec ⁡ ( cosh ⁡ x ) {\displaystyle \arccos \operatorname {sech} x=\left\vert \operatorname {gd} x\right\vert =\operatorname {arcsec}(\cosh x)} 　である。（逆三角関数を参照。） 以下の恒等式が成り立つ。 sin ⁡ gd ⁡ x ˙ = tanh ⁡ x ; csc ⁡ gd ⁡ x = coth ⁡ x ; cos ⁡ gd ⁡ x = sech ⁡ x ; sec ⁡ gd ⁡ x = cosh ⁡ x ; tan ⁡ gd ⁡ x = sinh ⁡ x ; cot ⁡ gd ⁡ x = csch x ; . tan ⁡ 1 2 gd x = tanh ⁡ 1 2 x . {\displaystyle {\begin{aligned}{\color {white}{\dot {\color {black}\sin \operatorname {gd} x}}}&=\tanh x;\quad \csc \operatorname {gd} x=\coth x;\\\cos \operatorname {gd} x&=\operatorname {sech} x;\quad \,\sec \operatorname {gd} x=\cosh x;\\\tan \operatorname {gd} x&=\sinh x;\quad \,\cot \operatorname {gd} x=\operatorname {csch} \,x;\\{}_{\color {white}.}\tan {\tfrac {1}{2}}\operatorname {gd} \,x&=\tanh {\tfrac {1}{2}}x.\end{aligned}}} グーデルマン関数の逆関数（逆グーデルマン関数又はランベルト関数と称する）は、区間 ( − π / 2 , π / 2 ) {\displaystyle \left(-\pi /2,\pi /2\right)} において、次のように与えられる。 gd − 1 x = ∫ 0 x d t cos ⁡ t = ln ⁡ | 1 + sin ⁡ x cos ⁡ x | = 1 2 ln ⁡ | 1 + sin ⁡ x 1 − sin ⁡ x | = ln ⁡ | tan ⁡ x + sec ⁡ x | = ln ⁡ | tan ⁡ ( 1 4 π + 1 2 x ) | = artanh ⁡ ( sin ⁡ x ) = arsinh ⁡ ( tan ⁡ x ) . {\displaystyle {\begin{aligned}\operatorname {gd} ^{-1}\,x&=\int _{0}^{x}{\frac {dt}{\cos t}}\\[8pt]&=\ln \left|{\frac {1+\sin x}{\cos x}}\right|={\frac {1}{2}}\ln \left|{\frac {1+\sin x}{1-\sin x}}\right|\\[8pt]&=\ln \left|\tan x+\sec x\right|=\ln \left|\tan \left({\frac {1}{4}}\pi +{\frac {1}{2}}x\right)\right|\\[8pt]&=\operatorname {artanh} (\sin x)=\operatorname {arsinh} (\tan x).\end{aligned}}} （逆双曲線関数を参照。） グーデルマン関数とその逆関数の微分は次のとおりである。 d d x gd ⁡ x = sech ⁡ x ; d d x gd − 1 x = sec ⁡ x . {\displaystyle {\frac {d}{dx}}\;\operatorname {gd} x=\operatorname {sech} x;\quad {\frac {d}{dx}}\;\operatorname {gd} ^{-1}\,x=\sec x.} また、逆グーデルマン関数は次式のようにフーリエ級数展開できる。 gd − 1 ⁡ x = − 2 ∑ n = 1 ∞ ( − 1 ) n sin ⁡ ( 2 n − 1 ) x 2 n − 1 {\displaystyle \operatorname {gd} ^{-1}x=-2\sum _{n=1}^{\infty }(-1)^{n}{\frac {\sin(2n-1)x}{2n-1}}} 数式 π / 2 − gd ⁡ x {\displaystyle \pi /2-\operatorname {gd} x} は、双曲幾何学において、平行角（英語版）関数を定義する。 この関数は、ヨハン・ハインリッヒ・ランベルトによって1760年代に双曲線関数と同じ頃に紹介された。彼はそれを「超越角」（transcendent angle）と呼び、アーサー・ケイリーが1862年に、1830年代のグーデルマンによる特殊関数の理論の功績にちなんで「グーデルマン関数」と呼ぶことを提案するまで、様々な名称で呼ばれてきた。グーデルマンは、幅広い読者に向けてsinhとcosh（同書では S i n {\displaystyle {\mathfrak {Sin}}} と C o s {\displaystyle {\mathfrak {Cos}}} の表記を用いた）を説いた1833年の著書"Theorie der potenzial- oder cyklisch-hyperbolischen functionen"に、クレレ誌で発表した論文を収録した。 グーデルマン関数を表す記号gd は、Philosophical MagazineXXIV巻の19ページにおいて、ケイリーが正割関数の積分（英語版）の逆について、gd. uを用いたのが始まりである。ここで、 u = ∫ 0 ϕ sec ⁡ t d t = ln ⁡ tan ⁡ ( 1 4 π + 1 2 ϕ ) {\displaystyle u=\int _{0}^{\phi }\sec t\,dt=\ln \tan \left({\frac {1}{4}}\pi +{\frac {1}{2}}\phi \right)} であり、超越の定義を次のように示した。 gd u = i − 1 ln ⁡ tan ⁡ ( 1 4 π + 1 2 u i ) {\displaystyle \operatorname {gd} \,u=i^{-1}\ln \tan \left({\frac {1}{4}}\pi +{\frac {1}{2}}ui\right)} よって、それはu の実関数であることが即座に見いだされる。 地球を真球と見立てたとき、メルカトル図法による投影面上における、赤道からの緯線距離についてのグーデルマン関数の関数値は、子午線弧長、すなわち実際の地球上の緯度に相当する。ガウス・クリューゲル図法による地図投影においては、座標換算の中間変数として用いられる正角緯度の導入時においてもグーデルマン関数が現れる。 また、グーデルマン関数は、倒立振子の非周期解に現れる。