コーシー・リーマン方程式
📂複素解析コーシー・リーマン方程式
定理
関数 f:A⊆C→C が R で解析的だとする。もし実関数 u,vに対して
f(z)=f(x+iy)=u(x,y)+iv(x,y)
となれば、u,vは x,yに対して一階偏導関数が存在し、R 上の全ての点で以下の連立偏微分方程式を満たす。
{ux(x,y)=vy(x,y)uy(x,y)=−vx(x,y)
定理
コーシー・リーマン方程式は以下のように要約される。
f′(z)====ux+ivxvy−iuyux−iuyvy+ivx
極座標形
f(reiθ)=u(r,θ)+iv(r,θ) 場合
{ur(r,θ)=r1vθ(r,θ)vr(r,θ)=−r1uθ(r,θ)
説明
これまでに見ない複素数上での微分を格段に親しみやすくする定理である。実数上での微分公式と複素数上の微分公式が似ていることを示しており、非常に必要だ。
逆が必ずしも成り立たないことに注意。つまり、コーシー・リーマン方程式を満たしてもfが微分可能でない場合がある。逆が成り立つ条件は偏導関数の連続性など、別に存在する。
証明
関数 fは R上の全ての点で微分可能なので、h→0 の道に関係なくf′(z)=limh→0hf(z+h)−f(z)が一意に存在する。
h=α+iβとする。β=0の場合はhは実軸上を移動し、α=0 の場合はhは虚軸上を移動するだろう。まず実軸を見ると、
f′(z)==α→0limα(u(x+α,y)−u(x,y))+i(v(x+α,y)−v(x,y))ux(x,y)+ivx(x,y)
そして虚軸を見ると、
f′(z)===β→0limiβ(u(x,y+β)−u(x,y))+i(v(x,y+β)−v(x,y))iuy(x,y)+ivy(x,y)vy(x,y)−iuy(x,y)
極限を取る際に分母にiβがあるため、この結果が導かれたことに注意。
f′(z)はh→0の道に関係なく一意だとしたので、実部と虚部を比較するとux(x,y)=vy(x,y)であり、−uy(x,y)=vx(x,y)でなければならない。
■