Introduction
複素関数の微分可能性の必要十分条件を与えるCauchy–Riemann方程式について解説する。 初めに実関数の微分可能性についておさらいし,後にそれとの対比で複素関数の微分可能性について説明し,最後に正則関数の定義と孤立特異点について触れる。実関数のおさらい
実関数$f(x)$が$x=x_0$で微分可能とは
が定まるということであった。 これは
と同値である。 ここで$\Delta x=x-x_0$で,$o(\Delta x)$は極限操作によって消え去る部分
を表している。 よって,微分可能であれば$\lim_{x\to x_0} f(x)=f(x_0)$なので$f(x)$は$x=x_0$で連続でもある。
2変数関数$f(x,y)$の場合,微分可能であるための条件(\ref{eq:df_condition2})に対応するのは
である。 ここで$\Delta y=y-y_0$および$\Delta r=\sqrt{(\Delta x)^2+(\Delta y)^2}$である。 偏微分可能であるからと言って全微分可能であるとは限らないが,$\pd f/\pd x$と$\pd f/\pd y$のどちらか一方でも連続であれば,全微分可能であると言える。
Cauchy–Riemann方程式
さて,複素数$z=x+iy$の関数$f(z)$についても同様に
が定まれば,$z=z_0$で微分可能であるという。 あるいは条件(\ref{eq:df_condition2})に対応するのは
である。 変数が数直線上の点に対応付けられる実関数の場合と異なるのは,$z$から$z_0$へのアプローチの仕方が無数にあることだ。 つまり,複素関数$f(z)$の微分可能性の定義は,可能なすべてのアプローチの仕方に関して同じ極限値を取るという実関数の場合より厳しい要求を課している。 多変数関数における偏微分も,特定の変数以外は固定して行われるため,事情は異なっている。
では,どのような関数がこの条件を満たすだろうか? それを調べるためまず,関数$f(z)$を実部と虚部に分け
のように置く。 以下,$f(z)$が微分可能であると仮定した場合,どのような条件が得られるかを調べる。
$z$を$\Delta z=\Delta x + i\Delta y$ずらすと,対応する$f$の増加分は
と表せる。 対して,$f'(z)$も複素関数であるから
と置ける。 よって(\ref{eq:df_condition})は
と表せる。 実部と虚部がそれぞれ等式を満たさないといけないから
が成り立つ。 ここで$o(\Delta z)=o_R(\Delta z)+io_I(\Delta z)$とした。 これは,$u(x,y)$および$v(x,y)$がそれぞれ全微分可能であるが,それらの微分係数は独立ではなく
のように関係づけられることを示している。 言い換えれば,微分可能な複素関数は,関係式
を満たす。 これらの関係式をCauchy–Riemann方程式という。
上の議論では,Cauchy–Riemann方程式を満たすという条件が,関数$f(z)$が微分可能であることの必要条件であることが示されたわけであるが,次はこの条件が十分条件でもあることを示そう。 $f(z)=u(x,y)+iv(x,y)$における$u(x,y)$,$v(x,y)$がCauchy–Riemann方程式を満たすということは,$u(x,y)$,$v(x,y)$が偏導関数を持つという仮定に基づいている。 偏導関数が連続であると仮定すれば
と置ける。 よってCauchy–Riemann方程式を用いることで
となり,一意な導関数
が定まるから,$f(z)$は微分可能であると言える。 この十分条件に関する議論は,あくまで$u(x,y)$,$v(x,y)$が全微分可能であるという仮定から$f(z)$の微分可能性を示していることに注意しよう。 こうして次の定理を得る。
$f(z)=u(x,y)+iv(x,y)$が$z=z_0$微分可能であるための必要十分条件は,$u,v$がともに$z_0=x_0+iy_0$で微分可能であり,それらの偏微分係数がCauchy–Riemann方程式(\ref{eq:Cauchy–Riemann_eq})を満たすことである。
正則関数
上では,複素平面上の一点における微分可能性について論じた。 しかし多くの場合,実用上重要になってくるのは考察の対象となる領域全体で微分可能かどうかということである。 これに関係して,次の定義が与えられる
領域$D$で定義される関数$f(z)$が,$D$の各点で微分可能なとき,$f(z)$を$D$上の正則関数(regular function)という。
対して,$f(z)$が領域$\{|z-z_0|<\varepsilon\}$上の$z=z_0$を除く部分で正則である場合,$z_0$を$f(z)$の孤立特異点(isoloated singularity)という。