5

実微分可能性と複素微分可能性の話

418
0

非常に久しぶりです.今回は函数の正則性(複素微分可能性)と微分可能性についてお話ししようと思います.
 たまに見かける説明だと,「実函数なら左右から近づくけど複素函数だと上下左右どこから近づいてもいいから!」的なものがありますが,これは案外的を得てません.そのあたりを説明できればと思います.
 一つだけ明確にしておきたいことがあります.複素函数と実函数を比べようとするとき,“一”変数というところに注目してCCRRを比べるひとがありますが,それではうまく違いが見えてきません(後で話します).でも一複素変数複素数値函数二実変数二次元ベクトル値函数を比較すれば上手く見えてきます.なのでそうします.  

実函数の微分可能性

二実変数二次元ベクトル値函数の微分可能性

開集合UR2上の(二次元ベクトル値)函数f:UR2が点aUで微分可能であるとは,ある2×2行列Aがあって
f(a+h)f(a)=Ah+o(|h|),h0
が成り立つ時である.

上の定義でAhというのは,
A:=(abcd),h:=(h1h2)
とでも置いたとき,
Ah=(ah1+bh2ch1+dh2)
ということですね.

複素函数の微分可能性

敢て次のような書き方をしましょう.

一複素変数複素数値函数の微分可能性

開集合UC上の函数f:UCが点aUで複素微分可能であるとは,ある複素数cがあって
f(a+h)f(a)=ch+o(|h|),h0
が成り立つ時である.

なぜこう定義したかというと,これで実函数と比較がしやすくなるからです.因みにこの定義は多複素変数正則函数の定義としても拡張しやすい形になってます.ほんでこれを計算すればいつも通りの定義
limh0f(a+h)f(a)h=c
が出てきます(親近感).

比較(これ本題)

さて,二つの式を並べてみましょう(実函数の方はわかりやすくRという記号を書きました).
fR(a+h)fR(a)=Ah+o(|h|),h0,
f(a+h)f(a)=ch+o(|h|),h0.
左辺にも右辺にも違いはありますが,左辺は実は本質的に違いません.何故ならfRの方はベクトル値ですから適当な列ベクトル
fR(x)=(fR1(x)fR2(x))
で表せて,それらの引き算だから
fR(a+h)f(a)=(fR1(a+h)fR1(a)fR2(a+h)fR2(a))
という風になるし,複素の方は複素数値だから実部と虚部に分けてf=u+ivとすれば
f(a+h)f(a)=u(a+h)u(a)i(v(a+h)v(a))
となる.結局fRfにとってのそれぞれの意味での各成分を微分することになっているわけですね.そして
φ:R2(x,y)x+iyC
なる写像を用意してやってこれで移せば双方移り変わります.だから本質的には差異はありません.

                しかし!!!!

右辺が 本 質 的 に 異なります.
 hφで写してh=h1+ih2とするのはいいでしょう.他方具体的にc=c1+ic2とでもおけば,実函数の微分の時は右辺は
(abcd)(h1h2)=(ah1+bh2ch1+dh2)
ですけど複素の方が

ch=c1h1c2h2+i(c1h2+c2h1)
となって,残念ながらもうφでは移り変われない.ではその原因はなんでしょうか...と思うと,それは明らかに複素数の集合の代数的構造であるわけですね.つまり,R2はベクトル空間で,Cは無論(R上の二次元)ベクトル空間ですがさらにであります.これが原因ですね.つまり,φR2Cの間の線型同型写像になってるだけで,別にR2Cが体として同型であるわけではないんですね.そもそもR2は(そのままでは)体にはなりませんし.

例の「どこから近づいてもいい」の話

このフレーズがなぜ的を得てないのかをお話しします.二実変数二次元ベクトル値函数fRと一複素変数複素数値函数fを考えたとき,それらの微分係数が存在する条件は,例の二つの式
fR(a+h)fR(a)=Ah+o(|h|),h0,
f(a+h)f(a)=ch+o(|h|),h0.
でしたが,その時別にhというのはどちらにおいても,どう近づいてもいいですね.詳しく言うと,fRの方ではhがどう近づいてもその微分係数(Jacobi行列)Aは一意に定まるというのが微分可能の条件であり,fの方ではhがどう近づいてもcが一意に定まるというのが微分可能の条件でした.だから我々の見地(R2R2CCを比較対象に選んだ立場)からすれば,「hがどこから近づいてもいい」というのでは実微分と複素微分は区別できないのです.
 あえてそのフレーズを用いたいならば,一実変数と一複素変数を比較するほかなくて,比較対象となる式は
limh0fR(a+h)fR(a)h,

limk0f(a+k)f(a)k,k=k1+ik2,
になりますが,確かにこうするとfRのほうは左右から近づくのに対してfは左右上下から近づくということになりますが,そもそも両者の定義域が全く異なっている,つまりfRは実数であるのに対しfは複素数で,その間には幾何構造としていい感じの同型が生えないので,よい比較とは(なんとなく)思えません.ただ埋め込み的な感じに捉えることは可能でしょう.RCということですね.然しそうすると,じゃあR上の函数の微分可能性とR2上の函数の微分可能性も,R上の函数の微分可能性とC上の函数の微分可能性みたいになるんんだな!!とか思ってしまうわけですね.でもそれは既に見たように違いますよね.
 そういう理由で一実変数と一複素変数を比較するのは余り事が如実に表れてこないと思う訳です.

最後に

最後に,ここまでご覧くださりありがとうございました!
もし何か質問等あればお気軽にどうぞ!

投稿日:2021710
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

Logarithm
Logarithm
22
1135
東北大数学科に編入したい高専(もうすぐ)5年。

コメント

他の人のコメント

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