WIIS

複素関数

複素双曲線正接関数(複素tanh関数)の定義と具体例

目次

Mailで保存
Xで共有

複素双曲線正接関数

複素双曲線正弦関数\begin{equation*}
\sinh \left( z\right) :\mathbb{C} \rightarrow \mathbb{C} \end{equation*}はそれぞれの複素数\(z\in \mathbb{C} \)に対して、以下の複素数\begin{equation}\sinh \left( z\right) =\frac{e^{z}-e^{-z}}{2} \quad \cdots (1)
\end{equation}を値として定める一方で、複素双曲線余弦関数\begin{equation*}
\cosh \left( z\right) :\mathbb{C} \rightarrow \mathbb{C} \end{equation*}はそれぞれの複素数\(z\in \mathbb{C} \)に対して、以下の複素数\begin{equation}\cosh \left( z\right) =\frac{e^{z}+e^{-z}}{2} \quad \cdots (2)
\end{equation}を値として定めます。

以上を踏まえた上で、複素数\(z\in \mathbb{C} \)の双曲線正接(hyperbolic tangent)を、\begin{equation*}
\tanh \left( z\right) =\frac{\sinh \left( z\right) }{\cosh \left( z\right) }
\end{equation*}と定義します。\(\left( 1\right),\left( 2\right) \)を踏まえると、\begin{eqnarray*}\tanh \left( z\right) &=&\frac{\sinh \left( z\right) }{\cosh \left(
z\right) }\quad \because \tanh \left( z\right) \text{の定義} \\
&=&\frac{e^{z}-e^{-z}}{2}/\frac{e^{z}+e^{-z}}{2}\quad \because \left(
1\right) ,\left( 2\right) \\
&=&\frac{e^{z}-e^{-z}}{e^{z}+e^{-z}}
\end{eqnarray*}すなわち、\begin{equation*}
\tanh \left( z\right) =\frac{e^{z}-e^{-z}}{e^{z}+e^{-z}}
\end{equation*}が成立します。

複素数をゼロで割ることはできないため、\(\cosh \left( z\right) =0\)を満たす\(z\in \mathbb{C} \)において\(\tanh \left( z\right) \)は定義されません。このような事情を踏まえると、以下の集合\begin{equation*}Z=\left\{ z\in \mathbb{C} \ |\ \cosh \left( z\right) \not=0\right\}
\end{equation*}に属するそれぞれの値\(z\in Z\)に対して、その双曲線正接\(\tanh \left( z\right) \in \mathbb{C} \)に相当する複素数を1つずつ定める複素関数\begin{equation*}\tanh \left( z\right) :\mathbb{C} \supset Z\rightarrow \mathbb{C} \end{equation*}が定義可能です。これを複素双曲線正接関数(complex hyperbolic tangent function)や複素ハイパボリックタンジェント関数などと呼びます。

例(複素双曲線正接関数)
複素双曲線正接関数\(\tanh \left( z\right) :\mathbb{C} \supset Z\rightarrow \mathbb{C} \)が複素数\(i\in Z\)に対して定める値は、\begin{eqnarray*}\tanh \left( i\right) &=&\frac{\sinh \left( i\right) }{\cosh \left(
i\right) }\quad \because \tanh \left( z\right) \text{の定義} \\
&=&\frac{e^{i}-e^{-i}}{2}/\frac{e^{i}+e^{-i}}{2} \\
&=&\frac{e^{i}-e^{-i}}{e^{i}+e^{-i}} \\
&\approx &1.5574i
\end{eqnarray*}となります。

例(複素双曲線正接関数)
複素双曲線正接関数\(\tanh \left( z\right) :\mathbb{C} \supset Z\rightarrow \mathbb{C} \)が複素数\(\pi +i\in Z\)に対して定める値は、\begin{eqnarray*}\tanh \left( \pi +i\right) &=&\frac{\sinh \left( \pi +i\right) }{\cosh
\left( \pi +i\right) }\quad \because \tanh \left( z\right) \text{の定義} \\
&=&\frac{e^{\pi +i}-e^{-\pi +i}}{2}/\frac{e^{\pi +i}+e^{-\pi +i}}{2} \\
&=&\frac{e^{\pi +i}-e^{-\left( \pi +i\right) }}{e^{\pi +i}+e^{-\left( \pi
+i\right) }} \\
&\approx &1.0015+0.0034i
\end{eqnarray*}となります。

 

複素双曲線正接関数の定義域と値域

複素双曲線正接関数の定義域と値域は以下の通りです。

命題(複素双曲線正接関数の定義域と値域)
複素双曲線正接関数\(\tanh \left( z\right) :\mathbb{C} \supset Z\rightarrow \mathbb{C} \)の定義域は、\begin{eqnarray*}Z &=&\left\{ z\in \mathbb{C} \ |\ \cosh \left( z\right) \not=0\right\} \\
&=&\mathbb{C} \backslash \left\{ \frac{\left( 2n+1\right) \pi }{2}i\in \mathbb{C} \ |\ n\in \mathbb{Z} \right\} \\
&=&\mathbb{C} \backslash \left\{ \frac{\pm \pi }{2}i,\frac{\pm 3\pi }{2}i,\frac{\pm 5\pi }{2}i,\cdots \right\}
\end{eqnarray*}であり、値域は、\begin{equation*}\mathbb{C} \backslash \left\{ \pm 1\right\}
\end{equation*}である。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

 

複素双曲線正接関数は双曲線正接関数の一般化

双曲線正接関数\(\tanh \left(x\right) :\mathbb{R} \rightarrow \mathbb{R} \)の定義域は、\begin{equation*}\mathbb{R} \end{equation*}である一方で、複素双曲線正接関数\(\tanh \left(z\right) :\mathbb{C} \supset Z\rightarrow \mathbb{C} \)の定義域は、\begin{equation*}Z=\mathbb{C} \backslash \left\{ \frac{\pm \pi }{2}i,\frac{\pm 3\pi }{2}i,\frac{\pm 5\pi }{2}i,\cdots \right\}
\end{equation*}であることが明らかになりました。実数\(x\in \mathbb{R} \)は複素数\(x+0i\in Z\)と同一視されますが、これを複素双曲線正接関数\(\tanh \left( z\right) \)に入力すると、\begin{eqnarray*}\tanh \left( x+0i\right) &=&\frac{\sinh \left( x+0i\right) }{\cosh \left(
x+0i\right) }\quad \because \tanh \left( z\right) \\
&=&\frac{\sinh \left( x\right) }{\cosh \left( x\right) }\quad \because \sinh
\left( z\right) \text{と}\sinh \left( x\right) \text{の関係、}\cosh \left( z\right) \text{と}\cosh \left( x\right)
\text{の関係} \\
&=&\tanh \left( x\right)
\end{eqnarray*}が得られますが、これは双曲線正接関数\(\tanh \left( x\right) \)に実数\(x\in \mathbb{R} \)を入力した場合に出力される値と一致します。以上より、複素双曲線正接関数は双曲線正接関数の一般化であることが明らかになりました。

命題(複素双曲線正接関数は双曲線正接関数の一般化)
複素双曲線正接関数\(\tanh \left( z\right) :\mathbb{C} \supset Z\rightarrow \mathbb{C} \)と双曲線正接関数\(\tanh\left( x\right) :\mathbb{R} \rightarrow \mathbb{R} \)の間には、以下の関係\begin{equation*}\forall x\in \mathbb{R} :\tanh \left( x+0i\right) =\tanh \left( x\right)
\end{equation*}が成り立つ。ただし、\begin{equation*}
Z=\mathbb{C} \backslash \left\{ \frac{\pm \pi }{2}i,\frac{\pm 3\pi }{2}i,\frac{\pm 5\pi }{2}i,\cdots \right\}
\end{equation*}である。

例(複素双曲線正接関数は双曲線正接関数の一般化)
複素双曲線正接関数\(\tanh \left( z\right) :\mathbb{C} \supset Z\rightarrow \mathbb{C} \)が複素数\(\pi +0i\in Z\)に対して定める値は、\begin{eqnarray*}\tanh \left( \pi +0i\right) &=&\tanh \left( \pi \right) \\
&\approx &0.9962
\end{eqnarray*}となります。

 

複素双曲線正接関数の実部と虚部

複素双曲線正接関数の実部と虚部は以下の通りです。

命題(複素双曲線正接関数の実部と虚部)
複素双曲線正接関数\(\tanh \left( z\right) :\mathbb{C} \supset Z\rightarrow \mathbb{C} \)が複素数\(x+yi\in Z\)に対して定める値は、\begin{equation*}\tanh \left( z\right) =\frac{\sinh \left( 2x\right) +\sin \left( 2y\right) i}{\cosh \left( 2x\right) +\cos \left( 2y\right) }
\end{equation*}である。つまり、\(\tanh\left( z\right) \)の実部と虚部は、\begin{eqnarray*}\mathrm{Re}\left( \tanh \left( z\right) \right) &=&\frac{\sinh \left(
2x\right) }{\cosh \left( 2x\right) +\cos \left( 2y\right) } \\
\mathrm{Im}\left( \tanh \left( z\right) \right) &=&\frac{\sin \left(
2y\right) }{\cosh \left( 2x\right) +\cos \left( 2y\right) }
\end{eqnarray*}である。ただし、\begin{equation*}
Z=\mathbb{C} \backslash \left\{ \frac{\pm \pi }{2}i,\frac{\pm 3\pi }{2}i,\frac{\pm 5\pi }{2}i,\cdots \right\}
\end{equation*}である。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員専用コンテンツです
ログイン】【会員登録