グーデルマン関数

**グーデルマン関数**（グーデルマンかんすう、、）は、（1798–1852）にちなんで命名された、複素数を用いない三角関数及び双曲線関数と関係する関数である。

## 定義

定義は以下のとおりである。

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

グーデルマン関数と関連する公式の中には、定義として全く運用できないものがある。例えば、実数*x* について、 \arccos\operatorname{sech}x = \left\vert\operatorname{gd}x \right\vert = \arcsec(\cosh x)　である。

以下の恒等式が成り立つ。

:\begin{align}{\color{white}\dot}&= \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{align}

グーデルマン関数の逆関数（逆グーデルマン関数又はランベルト関数と称する）は、区間 \left(-\pi/2, \pi/2\right) において、次のように与えられる。
:
\begin{align}
\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{align}


## 性質
* グーデルマン関数とその逆関数の原点周りの級数展開は次のとおりである。
::\operatorname{gd}x=x-\frac{x^3}{6}+\frac{x^5}{24}-\frac{61 x^7}{5040}+\cdots ;
\quad \operatorname{gd}^{-1}x=x+\frac{x^3}{6}+\frac{x^5}{24}+\frac{61 x^7}{5040}+\cdots .
* グーデルマン関数とその逆関数の微分は次のとおりである。
::\frac{d}{dx}\;\operatorname{gd}x=\operatorname{sech}x;
\quad \frac{d}{dx}\;\operatorname{gd}^{-1}\,x=\sec x.
* 逆グーデルマン関数は次式のようにフーリエ級数展開できる。
::\operatorname{gd}^{-1}x=-2\sum_{n=1}^\infty (-1)^n\frac{\sin(2n-1)x}{2n-1}.
* 数式 \pi/2 - \operatorname{gd}x は、双曲幾何学において、関数を定義する。
* y=\operatorname{gd}x のグラフ、*y*軸および漸近線で囲まれる領域（のうち有限領域であるほう）の面積は、カタランの定数*G*の4倍に等しい。すなわち、
::\int_{-\infty}^{\infty}\left(\frac{\pi}{2}-\sgn x\operatorname{gd}x\right)dx=4G.

## 歴史
この関数は、ヨハン・ハインリッヒ・ランベルトによって1760年代に双曲線関数と同じ頃に紹介された。彼はそれを「超越角」（*transcendent angle*）と呼び、アーサー・ケイリーが1862年に、1830年代のグーデルマンによる特殊関数の理論の功績にちなんで「グーデルマン関数」と呼ぶことを提案するまで、様々な名称で呼ばれてきた。グーデルマンは、幅広い読者に向けて*sinh*と*cosh*（同書では \mathfrak{Sin} と \mathfrak{Cos} の表記を用いた）を説いた1833年の著書"''Theorie der potenzial- oder cyklisch-hyperbolischen functionen''"に、クレレ誌で発表した論文を収録した。

グーデルマン関数を表す記号*gd* は、*[[:en:Philosophical Magazine|Philosophical Magazine]]*XXIV巻の19ページにおいて、ケイリーがの逆について、*gd. u*を用いたのが始まりである。ここで、
:u = \int_0^\phi \sec t \,dt = \ln\tan\left(\frac{1}{4}\pi+\frac{1}{2}\phi\right)

であり、超越の定義を次のように示した。

:\operatorname{gd} \,u = i^{-1}\ln\tan\left(\frac{1}{4}\pi+\frac{1}{2}ui\right)

よって、それは*u* の実関数であることが即座に見いだされる。

## 応用
地球を真球と見立てたとき、メルカトル図法による投影面上における、赤道からの緯線距離についてのグーデルマン関数の関数値は、子午線弧長、すなわち実際の地球上の緯度に相当する。ガウス・クリューゲル図法による地図投影においては、座標換算の中間変数として用いられる正角緯度の導入時においてもグーデルマン関数が現れる。 

また、グーデルマン関数は、倒立振子の非周期解に現れるほか、一般の位置にある2円に対し、反転距離を用いた  個のシュタイナーの円鎖ができる条件式に現れる。

## 脚注

### 注釈

### 出典

## 参考文献
* CRC *Handbook of Mathematical Sciences* 5th&nbsp;ed. pp. 323–325.
* 坂元左馬太 (1934): グーデルマンの角と實双曲線函數及び指數函數の計算に就て, 土木学会誌, **20**(9), 1081–1086

## 関連項目
* 双曲線正割分布
* メルカトル図法
* トラクトリックス
* 三角関数の公式の一覧
* 等長緯度

## 外部リンク
*