複素正弦関数
正弦関数\begin{equation*}
\sin \left( x\right) :\mathbb{R} \rightarrow \mathbb{R} \end{equation*}は実変数の実数値関数ですが、正弦関数の定義域を数直線\(\mathbb{R} \)から複素平面\(\mathbb{C} \)へ拡張して、\begin{equation*}\sin \left( z\right) :\mathbb{C} \rightarrow \mathbb{C} \end{equation*}とするためにはどうすればよいでしょうか。これまで学んだ知識を動員しながら順番に考えます。
実数\(x\in \mathbb{R} \)を任意に選んだとき、オイラーの公式より、\begin{equation}e^{ix}=\cos \left( x\right) +i\sin \left( x\right) \quad \cdots (1)
\end{equation}が成り立ちます。実数\(x\in \mathbb{R} \)を任意に選んだとき\(-x\in \mathbb{R} \)であるため、やはりオイラーの公式より、\begin{eqnarray*}e^{-ix} &=&\cos \left( -x\right) +i\sin \left( -x\right) \\
&=&\cos \left( x\right) -i\sin \left( x\right)
\end{eqnarray*}すなわち、\begin{equation}
e^{-ix}=\cos \left( x\right) -i\sin \left( x\right) \quad \cdots (2)
\end{equation}が成り立ちます。実数\(x\in \mathbb{R} \)を任意に選んだとき、\(\left( 1\right) ,\left( 2\right) \)より、\begin{equation*}e^{ix}-e^{-ix}=\left[ \cos \left( x\right) +i\sin \left( x\right) \right] -\left[ \cos \left( x\right) -i\sin \left( x\right) \right]
\end{equation*}すなわち、\begin{equation*}
e^{ix}-e^{-ix}=i2\sin \left( x\right)
\end{equation*}が成り立ちますが、さらにこのとき、\begin{equation}
\sin \left( x\right) =\frac{e^{ix}-e^{-ix}}{2i} \quad \cdots (3)
\end{equation}が成り立ちます。
任意の実数\(x\in \mathbb{R} \)に対して\(\left( 3\right) \)が成り立つことが明らかになりました。そこで、任意の複素数\(z\in \mathbb{C} \)に対しても、\(\left( 3\right) \)と同様に、\begin{equation}\sin \left( z\right) =\frac{e^{iz}-e^{-iz}}{2i} \quad \cdots (4)
\end{equation}と定義します。複素指数関数\(e^{z}:\mathbb{C} \rightarrow \mathbb{C} \)の定義域は\(\mathbb{C} \)であるため、\(\left( 4\right) \)を構成する\(e^{iz}\)および\(e^{-iz}\)はそれぞれ複素数として定まることが保証されます。また、複素平面は減法と除法について閉じているため(\(0\)で割る場合を除く)、\(\left( 4\right) \)すなわち\(\sin \left( z\right) \)が複素数として定まることが保証されます。このような事情を踏まえると、それぞれの複素数\(z\in \mathbb{C} \)に対して、以下の複素数\begin{equation*}\sin \left( z\right) =\frac{e^{iz}-e^{-iz}}{2i}
\end{equation*}を値として定める複素関数\begin{equation*}
\sin \left( z\right) :\mathbb{C} \rightarrow \mathbb{C} \end{equation*}が定義可能です。これを複素正弦関数(complex sine function)や複素サイン関数などと呼びます。
\left( z\right) \text{の定義} \\
&=&\frac{e^{-1+0i}-e^{1+0i}}{2i} \\
&=&\frac{e^{-1}\left[ \cos \left( 0\right) +i\sin \left( 0\right) \right] -e^{1}\left[ \cos \left( 0\right) +i\sin \left( 0\right) \right] }{2i} \\
&=&\frac{e^{-1}-e}{2i} \\
&=&\frac{i\left( \frac{1}{e}-e\right) }{2i^{2}} \\
&=&\frac{1}{2}\left( e-\frac{1}{e}\right) \\
&\approx &1.175\,2
\end{eqnarray*}となります。
2+i\right) }}{2i}\quad \because \sin \left( z\right) \text{の定義} \\
&=&\frac{e^{-1+2i}-e^{1-2i}}{2i} \\
&=&\frac{e^{-1}\left[ \cos \left( 2\right) +i\sin \left( 2\right) \right] -e^{1}\left[ \cos \left( -2\right) +i\sin \left( -2\right) \right] }{2i} \\
&\approx &\frac{0.9781+2.8062i}{2i} \\
&\approx &1.4041-0.4891i
\end{eqnarray*}となります。
複素正弦関数は正弦関数の一般化
実数\(x\in \mathbb{R} \)は複素数\(x+0i\in \mathbb{C} \)と同一視されますが、これを複素正弦関数\(\sin \left( z\right) :\mathbb{C} \rightarrow \mathbb{C} \)に入力すると、\begin{eqnarray*}\sin \left( x+0i\right) &=&\frac{e^{i\left( x+0i\right) }-e^{-i\left(
x+0i\right) }}{2i}\quad \because \sin \left( z\right) \text{の定義} \\
&=&\frac{e^{0+ix}-e^{0-ix}}{2i} \\
&=&\frac{e^{0}\left[ \cos \left( x\right) +i\sin \left( x\right) \right]
-e^{0}\left[ \cos \left( -x\right) +i\sin \left( -x\right) \right] }{2i} \\
&=&\frac{\left[ \cos \left( x\right) +i\sin \left( x\right) \right] -\left[
\cos \left( x\right) -i\sin \left( x\right) \right] }{2i} \\
&=&\frac{i\sin \left( x\right) +i\sin \left( x\right) }{2i} \\
&=&\sin \left( x\right)
\end{eqnarray*}が得られますが、これは正弦関数\(\sin \left( x\right) :\mathbb{R} \rightarrow \mathbb{R} \)に実数\(x\in \mathbb{R} \)を入力した場合に出力される値と一致します。以上より、複素正弦関数は正弦関数の一般化であることが明らかになりました。
\end{equation*}が成り立つ。
&=&0
\end{eqnarray*}となります。
複素正弦関数と複素双曲線正弦関数の関係
複素正弦関数と複素双曲線正弦関数の間には以下の関係が成り立ちます。
&&\left( b\right) \ \forall z\in \mathbb{C} :\sinh \left( z\right) =-i\sin \left( iz\right)
\end{eqnarray*}がともに成り立つ。
複素正弦関数の実部と虚部
複素正弦関数の実部と虚部は以下の通りです。
\left( x\right) \sinh \left( y\right)
\end{equation*}である。つまり、\(\sin \left(z\right) \)の実部と虚部は、\begin{eqnarray*}\mathrm{Re}\left( \sin \left( z\right) \right) &=&\sin \left( x\right) \cosh
\left( y\right) \\
\mathrm{Im}\left( \sin \left( z\right) \right) &=&\cos \left( x\right) \sinh
\left( y\right)
\end{eqnarray*}である。ただし、\begin{eqnarray*}
\cosh \left( y\right) &=&\frac{e^{y}+e^{-y}}{2} \\
\sinh \left( y\right) &=&\frac{e^{y}-e^{-y}}{2}
\end{eqnarray*}である。
複素正弦関数の規則性
正弦関数\(\sin \left( x\right) :\mathbb{R} \rightarrow \mathbb{R} \)は以下の性質\begin{equation*}\forall x\in \mathbb{R} :\sin \left( -x\right) =-\sin \left( x\right)
\end{equation*}を満たしますが、複素正弦関数\(\sin \left( z\right) :\mathbb{C} \rightarrow \mathbb{C} \)も同様の性質\begin{equation*}\forall z\in \mathbb{C} :\sin \left( -z\right) =-\sin \left( z\right)
\end{equation*}を満たします。
\end{equation*}が成り立つ。
複素正弦関数\(\sin \left( z\right) :\mathbb{C} \rightarrow \mathbb{C} \)は以下の性質\begin{equation*}\forall z\in \mathbb{C} :\sin \left( z+2\pi \right) =\sin \left( z\right)
\end{equation*}を満たします。つまり、複素正弦関数は周期関数です。
\end{equation*}が成り立つ。
複素正弦関数の定義域と値域
複素正弦関数の定義域と値域は以下の通りです。
複素正弦関数の絶対値
複素正弦関数の絶対値は以下の通りです。
+\sinh ^{2}\left( y\right) }
\end{equation*}を満たす。ただし、\begin{equation*}
\sinh \left( y\right) =\frac{e^{y}-e^{-y}}{2}
\end{equation*}である。
複素正弦関数の値がゼロであるための条件
複素正弦関数の値がゼロであるための条件は以下の通りです。
演習問題
\end{equation*}を特定してください。
\end{equation*}を特定してください。
\end{equation*}の解を求めてください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】