0
大学数学基礎解説
文献あり

微分可能性に関する同値性の証明を誤魔化さずにちゃんとやってみる(ねっとしらべ)

203
0

準備

 ΩCとして,連続写像f:ΩCのことを複素関数って定義します.面倒を避けるためにΩは開集合でとっておくことにして,複素関数fの微分可能性は次で定義します.

ΩCを開集合とする.f:ΩCcΩで微分可能であるとは,極限
limh0f(c+h)f(c)h
が存在するときをいう.

 複素関数fが与えられたときにzΩz=x+iy (x,yR)とおけば,ある実連続関数u(x,y),v(x,y)が存在して
f(x+iy)=u(x,y)+iv(x,y)
とかけてくれる.このときu,vが連続になることは,新しくF(x,y)=(u(x,y),v(x,y))みたいな二変数関数を考えて連続性の定義を思い出してあげればすぐわかる.逆に適当な実連続関数u(x,y),v(x,y)をとってf(x+iy)=u(x,y)+iv(x,y)f:ΩCをとれば,fが連続になることも分かる.だから,連続性だけ見るならば複素関数はベクトル値関数としてみても特に問題はないっぽい.以降,複素関数fに対して得られる実連続関数u(x,y),v(x,y)をそれぞれfの実部,虚部って呼ぶことにする.

本題

複素関数の微分可能性について,次が必要十分条件になる.

ΩCは開集合でf:ΩCを複素関数,c=a+ibΩとする.このときfcで微分可能であることと,fの実部と虚部u,vが実関数の意味で(a,b)で微分可能で,かつ等式
ux(a,b)=vy(a,b),uy(a,b)=vx(a,b)
が成り立つことは同値.

 この命題の中で与えられてる関係式
ux(a,b)=vy(a,b),uy(a,b)=vx(a,b)
はCauche-Riemannの関係式って呼ばれていて,神保先生の複素関数入門には一つの式で書くこともできるって書いてある.まぁでもそっちは今回使わないから,これを指してCauchy-Riemannの関係式と呼ぶことにする.

 こっからこの命題を証明していくわけだけど,実関数の微分可能性周りについて先に色々まとめておくことにします.そっちの方が見やすいし.

二変数の微分可能性

(連続とは限らない)二変数関数f:R2Rについて,ある実数p,qが存在して極限
lim(hx,hy)(0,0)|f(a+hx,b+hy)f(a,b)(phx+qhy)hx2+hy2|=0
が成り立つとき,fは点(a,b)で微分可能という.

 関数について「連続とは限らない」って言葉をつけたけど,微分可能だったら次の手順で連続性がわかるからって理由.二変数関数f:R2Rが点(a,b)で微分可能であれば,あるp,qRが存在して
lim(hx,hy)(0,0)|f(x+hx,y+hy)f(a,b)(phx+qhy)hx2+hy2|=0
が成り立つのだから,hx=αa,hy=βbとおけば上の式は
lim(α,β)(a,b)|f(α,β)f(a,b)(p(αa)+q(βb))(αa)2+(βb)2|=0
が成り立つことと同値になる.さていま,
lim(α,β)(a,b)(f(α,β)f(a,b))=lim(α,β)(a,b)(f(α,β)f(a,b)(p(αa)+q(βb))+(p(αa)+q(βb)))=lim(α,β)(a,b)(f(α,β)f(a,b)(p(αa)+q(βb)))=lim(α,β)(a,b)f(α,β)f(a,b)(p(αa)+q(βb))(αa)2+(βb)2(αa)2+(βb)2
となって,どっちの式も0に収束するから全体としても0に収束する.よって連続性の定義からf(x,y)は点(a,b)で連続となる.でももっと偉くて,微分できるなら偏微分できることも分かる.これは二変数関数f(x,y)が偏微分可能とはf(x,y)x,y軸に沿った方向微分が可能ということに注意すれば,すぐに証明の方針も思いつくと思う.

二変数関数f:R2Rが点(a,b)で微分可能ならばfは点(a,b)で偏微分可能である.

示すことは二つの極限
limh0f(a+h,b)f(a,b)h, limh0f(a,b+h)f(a,b)h
が存在することである.仮定からある実数p,qが存在して
lim(hx,hy)(0,0)|f(a+hx,b+hy)f(a,b)(phx+qhy)hx2+hy2|=0
が成り立つから,hy=0とすれば左の式について
0=limhx0|f(a+hx,b)f(a,b)phxhx2|=limhx0|f(a+hx,b)f(a,b)hxp|
となるから,
limh0f(a+h,b)f(a,b)h=p
が成り立つ.右の式についても同様.したがってfは点(a,b)で偏微分可能.

この命題から分かるように,f(x,y)が微分可能であるときに与えられるp,qという実数は,それぞれfx,yに関する点(a,b)での偏微分係数fx(a,b),fy(a,b)に一致する.実は一般にこの逆は成り立たず,偏導関数が少なくとも一つ連続であることが必要になる.こういう関数のことをC1級関数とか呼んだりするけど,こっからその名前を使わないので知ってる人だけ「あ~知ってる知ってる」って顔しててください.

定理1の証明

 この証明は このpdf のp44~45を参照しています.BIG謝謝…….

 まず複素関数f:ΩCが点cΩで微分可能ならばfの実部と虚部が微分可能であることを示す.

fcで微分可能であるとは,ある実数p,qが存在して極限についての等式
limh0f(c+h)f(c)h=p+iq
が成り立つことであった.いまh=hx+ihy (hx,hyR)とおけば,
(p+iq)h=(phxqhy)+i(qhx+phy),f(c+h)f(c)=(u(a+hx,b+hy)u(a,b))+i(v(a+hx,b+hy)v(a,b))
が成り立つ.すると,
f(c+h)f(c)(p+iq)h=(u(a+hx,b+hy)u(a,b)(phxqhy))+i(v(a+hx,b+hy)v(a,b)(qhx+phy))
となるから,これをh (h0)で割れば,次の等式を得る.
f(c+h)f(c)(p+iq)hh=u(a+hx,b+hy)u(a,b)(phxqhy)h+iv(a+hx,b+hy)v(a,b)(qhx+phy)h

 もし左辺がh00に収束するならば,右辺のノルムの中身の実部と虚部についても0に収束する必要があるから,この実部と虚部のノルムも0に向かう.ここでh=hx2+hy2だから結局u,vは点(a,b)で微分可能となる.

 したがってfの実部と虚部は偏微分もできて,このときux(a,b)=p,,uy(a,b)=q,vx(a,b)=q,vy(a,b)=pとなるから,Cauchy-Riemannの関係式も成り立つと分かる.

 あとは逆を示せばいい.

定理1の逆.

fの実部と虚部u,vが実関数の意味で(a,b)で微分可能で,かつCauchy-Riemannの関係式
ux(a,b)=vy(a,b),uy(a,b)=vx(a,b)
が成り立つとする.このときu,vの微分可能性からある実数pu,qu,pv,qvが存在して,以下の二つの式
|v(a+hx,b+hy)v(a,b)(puhx+quhy)hx2+hy2|, |u(a+hx,b+hy)u(a,b)(pvhx+qvhy)hx2+hy2|
の,点(hx,hy)が点(0,0)へ向かう極限が0になる.このpu,qu,pv,qvはそれぞれu,vの点(a,b)におけるx,y方向についての偏導値に一致して,この偏導値についてCauchy-Riemannの関係式が成り立つのだから,ux(a,b)=vy(a,b)=p,uy(a,b)=vx(a,b)=qとおけばこれらの式はそれぞれ次の式に一致する:
|v(a+hx,b+hy)v(a,b)(phxqhy)hx2+hy2|, |u(a+hx,b+hy)u(a,b)(qhx+phy)hx2+hy2|

さて,等式
f(c+h)f(c)(p+iq)hh=u(a+hx,b+hy)u(a,b)(phxqhy)h+iv(a+hx,b+hy)v(a,b)(qhx+phy)h
に関しては,fの微分可能性を使わずに式変形のみで得られるから,右辺について三角不等式を用いれば
u(a+hx,b+hy)u(a,b)(phxqhy)h+iv(a+hx,b+hy)v(a,b)(qhx+phy)hu(a+hx,b+hy)u(a,b)(phxqhy)h+v(a+hx,b+hy)v(a,b)(qhx+phy)h=|u(a+hx,b+hy)u(a,b)(phxqhy)hx2+hy2|+|v(a+hx,b+hy)v(a,b)(qhx+phy)hx2+hy2|
となる.よってはさみうちの原理により
limh0f(c+h)f(c)h(p+iq)=0
となって,fの点cでの微分可能性が分かる.

おわり

 乾燥した感想ですが,冗長だなぁという感じです.まぁわざとそう書いたのでそうなんですけど,やってることとしては定義を使うことと解析特有の謎変形くらい?めんどくさかったです.あと調べてて知ったんですけど,多変数の微分可能性を”全微分可能”とか呼んだりするらしい.次は解析入門I(杉浦)のp122から引用.

――このように多変数関数では微分可能ということは,各座標xiについて偏微分可能というより強い条件である.このことを強調して,微分可能のことを全微分可能ともいう.

 本文中で一瞬だけ触れた気がするけど,そういう理由らしい.何か誤植とか致命的なミスとか間違いがあればコメントください.待ってます.

参考文献

[1]
杉浦 光夫, 解析入門 Ⅰ(基礎数学2)
[2]
神保 道夫, 複素関数入門 (現代数学への入門)
投稿日:2024212
更新日:2024213
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

ほし
ほし
7
1553
ぴちぴちJK/ほったる~ん/やってる分野の備忘録と過去の進捗

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中