滑らかな曲線上に定義された複素関数の定数倍の複素線積分
\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界な閉区間上に定義された実変数の複素関数\begin{equation*}z:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{C} \end{equation*}から定義された滑らかな曲線\begin{equation*}
C=\left\{ z\left( t\right) \in \mathbb{C} \ |\ t\in \left[ a,b\right] \right\}
\end{equation*}および\(C\)上に定義された連続な複素関数\begin{equation*}f:\mathbb{C} \supset C\rightarrow \mathbb{C} \end{equation*}が与えられた状況を想定します。この場合、\(f\)は\(C\)に沿って複素積分可能であり、複素積分\begin{equation*}\int_{C}f\left( z\right) dz
\end{equation*}が複素数として定まることが保証されます。
複素数\(c\in \mathbb{C} \)と複素関数\(f:\mathbb{C} \supset Z\rightarrow \mathbb{C} \)が与えられたとき、それぞれの\(z\in Z\)に対して、\begin{equation*}\left( cf\right) \left( z\right) =cf\left( z\right)
\end{equation*}を値として定める複素関数\begin{equation*}
cf:\mathbb{C} \supset Z\rightarrow \mathbb{C} \end{equation*}が定義可能です。この場合\(cf\)もまた\(C\)に沿って複素積分可能であり、複素積分\begin{equation*}\int_{C}\left( cf\right) \left( z\right) dz
\end{equation*}が複素数として定まります。しかも、以下の関係\begin{equation*}
\int_{C}\left( cf\right) \left( z\right) dz=c\int_{C}f\left( z\right) dz
\end{equation*}が成り立ちます。
つまり、滑らかな曲線\(C\)上において連続な複素関数\(f\)の定数倍の形をしている複素関数\(cf\)が与えられたとき、\(f\)が\(C\)に沿って複素線積分可能だけでなく、\(cf\)もまた\(C\)に沿って複素積分可能であるとともに、\(f\)の複素積分の値を\(c\)倍すれば\(cf\)の複素積分の値が得られます。
\end{equation*}および連続な複素関数\(f:\mathbb{C} \supset C\rightarrow \mathbb{C} \)が与えられているものとする。複素数\(c\in \mathbb{C} \)が与えられたとき、そこから複素関数\(cf:\mathbb{C} \supset C\rightarrow \mathbb{C} \)を定義する。このとき、\(cf\)は\(C\)に沿って複素積分可能であるとともに、以下の関係\begin{equation*}\int_{C}\left( cf\right) \left( z\right) dz=c\int_{C}f\left( z\right) dz
\end{equation*}が成り立つ。
\end{equation*}および連続な複素関数\(f:\mathbb{C} \supset C\rightarrow \mathbb{C} \)が与えられているものします。このとき、複素関数\(-f:\mathbb{C} \supset C\rightarrow \mathbb{C} \)は\(C\)に沿って複素積分可能であるとともに、以下の関係\begin{equation*}\int_{C}\left( -f\right) \left( z\right) dz=-\int_{C}f\left( z\right) dz
\end{equation*}が成り立ちます。
区分的に滑らかな曲線上に定義された複素関数の定数倍の複素線積分
区分的に滑らかな曲線上に定義された複素関数に関しても同様の命題が成り立ちます。
\end{equation*}および連続な複素関数\(f:\mathbb{C} \supset C\rightarrow \mathbb{C} \)が与えられているものとする。複素数\(c\in \mathbb{C} \)が与えられたとき、そこから複素関数\(cf:\mathbb{C} \supset C\rightarrow \mathbb{C} \)を定義する。このとき、\(cf\)は\(C\)に沿って複素積分可能であるとともに、以下の関係\begin{equation*}\int_{C}\left( cf\right) \left( z\right) dz=c\int_{C}f\left( z\right) dz
\end{equation*}が成り立つ。
\end{equation*}および連続な複素関数\(f:\mathbb{C} \supset C\rightarrow \mathbb{C} \)が与えられているものします。このとき、複素関数\(-f:\mathbb{C} \supset C\rightarrow \mathbb{C} \)は\(C\)に沿って複素積分可能であるとともに、以下の関係\begin{equation*}\int_{C}\left( -f\right) \left( z\right) dz=-\int_{C}f\left( z\right) dz
\end{equation*}が成り立ちます。
演習問題
C=\left\{ 2t+\left( 4t-1\right) i\in \mathbb{C} \ |\ t\in \left[ 1,3\right] \right\}
\end{equation*}に沿った複素線積分\begin{equation*}
\int_{C}i\left( z+3\right) dz
\end{equation*}の値を求めてください。
C=\left\{ \left[ t-\sin \left( t\right) \right] +i\left[ 1-\cos \left(
t\right) \right] \in \mathbb{C} \ |\ t\in \left[ -\frac{\pi }{2},\frac{\pi }{2}\right] \right\}
\end{equation*}に沿った複素線積分\begin{equation*}
\int_{C}\frac{i}{z}dz
\end{equation*}の値を求めてください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】