極形式のコーシー・リーマンの方程式

極形式のコーシー・リーマンの方程式

複素平面\(\mathbb{C} \)もしくはその部分集合\(Z\)を定義域とし、複素数を値としてとる複素関数\begin{equation*}f:\mathbb{C} \supset Z\rightarrow \mathbb{C} \end{equation*}が与えられているものとします。\(f\)の定義域の内点\(a\in Z^{i}\)を任意に選びます。つまり、\begin{equation*}\exists \varepsilon >0:N_{\varepsilon }\left( a\right) \subset Z
\end{equation*}が成り立つということです。ただし、\(N_{\varepsilon }\left( a\right) \)は中心が\(a\)であり半径が\(\varepsilon \)であるような近傍であり、\begin{equation*}N_{\varepsilon }\left( a\right) =\left\{ z\in \mathbb{C} \ |\ \left\vert z-a\right\vert <\varepsilon \right\}
\end{equation*}です。\(f\)が点\(a\)において微分可能であることとは、以下の極限\begin{eqnarray*}f^{\prime }\left( a\right) &=&\lim_{h\rightarrow 0}\frac{f\left( a+h\right)
-f\left( a\right) }{h} \\
&=&\lim_{z\rightarrow a}\frac{f\left( z\right) -f\left( a\right) }{z-a}
\end{eqnarray*}が複素数として定まることとして定義されます。

複素関数\(f:\mathbb{C} \supset Z\rightarrow \mathbb{C} \)およびその実部\(u:\mathbb{C} \supset Z\rightarrow \mathbb{R} \)と虚部\(v:\mathbb{C} \supset Z\rightarrow \mathbb{R} \)の間には以下の関係\begin{equation}\forall z\in Z:f\left( z\right) =u\left( z\right) +iv\left( z\right)
\quad \cdots (1)
\end{equation}が成り立ちます。非ゼロの複素数\(z\in Z\)を任意に選んだとき、これは\(r>0\)かつ\(-\pi <\theta \leq \pi \)を満たす\(\left( r,\theta \right) \in \mathbb{R} ^{2}\)を用いて、\begin{equation}z=re^{i\theta } \quad \cdots (2)
\end{equation}と表すことができるため、以下の関係\begin{eqnarray*}
f\left( z\right) &=&f\left( re^{i\theta }\right) \quad \because \left(
2\right) \\
&=&u\left( re^{i\theta }\right) +iv\left( re^{i\theta }\right) \quad
\because \left( 1\right)
\end{eqnarray*}が成り立ちます。このような事情を踏まえると、複素関数\(f\)の実部\(u\)と虚部\(v\)を2つの変数\(r,\theta \)に関する2変数の実数値関数\begin{eqnarray*}u\left( r,\theta \right) &:&\mathbb{C} \supset Z\rightarrow \mathbb{R} \\
v\left( r,\theta \right) &:&\mathbb{C} \supset Z\rightarrow \mathbb{R} \end{eqnarray*}とみなすことができます。このような解釈のもとでは、複素数\(z=re^{i\theta }\in Z\)を任意に選んだとき、以下の関係\begin{equation*}f\left( re^{i\theta }\right) =u\left( r,\theta \right) +iv\left( r,\theta
\right)
\end{equation*}が成り立ちます。

複素関数\(f:\mathbb{C} \supset Z\rightarrow \mathbb{C} \)が定義域の内点\(a=r_{0}e^{i\theta_{0}}\in Z^{i}\)において微分可能である場合、\(f\)の実部と虚部\(u,v:\mathbb{C} \supset Z\rightarrow \mathbb{R} \)はともに点\(\left( r_{0},\theta _{0}\right) \)において偏微分可能であるとともに、そこでの偏微分係数の間に以下の関係\begin{eqnarray*}&&\left( a\right) \ \frac{\partial u\left( r_{0},\theta _{0}\right) }{\partial r}=\frac{1}{r_{0}}\frac{\partial v\left( r_{0},\theta _{0}\right) }{\partial \theta } \\
&&\left( b\right) \ \frac{\partial v\left( r_{0},\theta _{0}\right) }{\partial r}=-\frac{1}{r_{0}}\frac{\partial u\left( r_{0},\theta _{0}\right)
}{\partial \theta }
\end{eqnarray*}が成り立ちます。これを極形式のコーシー・リーマンの方程式（Cauchy-Riemann equations in polar coordinates）と呼びます。しかもこの場合、\(f\)の点\(a\)における微分係数は、\begin{equation*}f^{\prime }\left( a\right) =e^{-i\theta _{0}}\left[ \frac{\partial u\left(
r_{0},\theta _{0}\right) }{\partial r}+i\frac{\partial v\left( r_{0},\theta
_{0}\right) }{\partial r}\right] \end{equation*}と一致します。

複素関数が微分可能ではないことの証明

複素関数\(f:\mathbb{C} \supset Z\rightarrow \mathbb{C} \)およびその実部\(u:\mathbb{C} \supset Z\rightarrow \mathbb{R} \)と虚部\(v:\mathbb{C} \supset Z\rightarrow \mathbb{R} \)が与えられた状況において非ゼロの複素数\(z=re^{i\theta }\in Z\)を任意に選んだとき、以下の関係\begin{equation*}f\left( z\right) =u\left( r,\theta \right) +iv\left( r,\theta \right)
\end{equation*}が成り立ちます。\(f\)の定義域の内点\(a=r_{0}e^{i\theta _{0}}\in Z^{i}\)が与えられたとき、点\(\left( r_{0},\theta _{0}\right) \)において、\begin{eqnarray*}&&\left( a\right) \ \frac{\partial u\left( r_{0},\theta _{0}\right) }{\partial r}=\frac{1}{r_{0}}\frac{\partial v\left( r_{0},\theta _{0}\right) }{\partial \theta } \\
&&\left( b\right) \ \frac{\partial v\left( r_{0},\theta _{0}\right) }{\partial r}=-\frac{1}{r_{0}}\frac{\partial u\left( r_{0},\theta _{0}\right)
}{\partial \theta }
\end{eqnarray*}の少なくとも一方が成り立たない場合には、すなわち、\begin{eqnarray*}
&&\left( a\right) \ \frac{\partial u\left( r_{0},\theta _{0}\right) }{\partial r}\not=\frac{1}{r_{0}}\frac{\partial v\left( r_{0},\theta
_{0}\right) }{\partial \theta } \\
&&\left( b\right) \ \frac{\partial v\left( r_{0},\theta _{0}\right) }{\partial r}\not=-\frac{1}{r_{0}}\frac{\partial u\left( r_{0},\theta
_{0}\right) }{\partial \theta }
\end{eqnarray*}の少なくとも一方が成り立つ場合には、先の命題の対偶より、\(f\)は点\(a\)において微分可能ではありません。

微分可能であるための十分条件

複素関数\(f\)が点\(a=r_{0}e^{i\theta _{0}}\)において微分可能である場合には、\(f\)の実部\(u\)と虚部\(v\)は点\(\left( r_{0},\theta_{0}\right) \)において偏微分可能であるとともに、コーシー・リーマンの方程式\begin{eqnarray*}&&\left( a\right) \ \frac{\partial u\left( r_{0},\theta _{0}\right) }{\partial r}=\frac{1}{r_{0}}\frac{\partial v\left( r_{0},\theta _{0}\right) }{\partial \theta } \\
&&\left( b\right) \ \frac{\partial v\left( r_{0},\theta _{0}\right) }{\partial r}=-\frac{1}{r_{0}}\frac{\partial u\left( r_{0},\theta _{0}\right)
}{\partial \theta }
\end{eqnarray*}を満たすことが明らかになりました。では、逆の主張もまた成り立つのでしょうか。つまり、点\(\left( r_{0},\theta_{0}\right) \)において\(f\)の実部\(u\)と虚部\(v\)が偏微分可能であるとともにコーシー・リーマンの方程式を満たす場合、\(f\)が点\(a=r_{0}e^{i\theta _{0}}\)において微分可能であることを保証できるのでしょうか。こちらの主張は成り立つとは限りません。コーシー・リーマンの方程式から微分可能性を導くためには追加的な条件が必要です。具体的には以下の通りです。

複素関数\(f:\mathbb{C} \supset Z\rightarrow \mathbb{C} \)およびその実部\(u:\mathbb{C} \supset Z\rightarrow \mathbb{R} \)と虚部\(v:\mathbb{C} \supset Z\rightarrow \mathbb{R} \)が与えられた状況を想定します。加えて、\(f\)の定義域\(Z\)は複素平面\(\mathbb{C} \)上の開集合であるものとします。点\(a=r_{0}e^{i\theta_{0}}\in Z\)を選びます。\(u,v\)は\(Z\)上において偏微分可能であるものとします。つまり、偏導関数\begin{eqnarray*}\frac{\partial u\left( r,\theta \right) }{\partial r} &:&\mathbb{C} \supset Z\rightarrow \mathbb{R} \\
\frac{\partial u\left( r,\theta \right) }{\partial \theta } &:&\mathbb{C} \supset Z\rightarrow \mathbb{R} \\
\frac{\partial v\left( r,\theta \right) }{\partial r} &:&\mathbb{C} \supset Z\rightarrow \mathbb{R} \\
\frac{\partial v\left( r,\theta \right) }{\partial \theta } &:&\mathbb{C} \supset Z\rightarrow \mathbb{R} \end{eqnarray*}が存在するということです。加えて、これらの偏導関数はいずれも点\(\left( r_{0},\theta _{0}\right) \)において連続であるとともに、コーシー・リーマンの方程式\begin{eqnarray*}&&\left( a\right) \ \frac{\partial u\left( r_{0},\theta _{0}\right) }{\partial r}=\frac{1}{r_{0}}\frac{\partial v\left( r_{0},\theta _{0}\right) }{\partial \theta } \\
&&\left( b\right) \ \frac{\partial v\left( r_{0},\theta _{0}\right) }{\partial r}=-\frac{1}{r_{0}}\frac{\partial u\left( r_{0},\theta _{0}\right)
}{\partial \theta }
\end{eqnarray*}が成り立つものとします。以上の条件のもとでは、もとの複素関数\(f\)は点\(a\)において微分可能であることが保証されるとともに、そこでの微分係数が、\begin{equation*}f^{\prime }\left( a\right) =e^{-i\theta _{0}}\left[ \frac{\partial u\left(
r_{0},\theta _{0}\right) }{\partial r}+i\frac{\partial v\left( r_{0},\theta
_{0}\right) }{\partial r}\right] \end{equation*}と定まることが保証されます。

演習問題