複素函数の正則性について
ある複素函数が正則かどうかは、正則性が極めて重要な概念であることから、その必要十分条件に対しても興味が置かれてきた。言い換えると正則性には幾つかの定義が知られており、その選び方で函数論全体の議論も変わることになる。
例えば講義やいくつかの書籍では、正則性を複素微分可能性と導関数の連続性で定義する。この場合の利点は、コーシーの積分定理をグリーンの定理の援用で証明することが可能となることで、多変数解析からスムーズに移行できるのが強みである。連続性の条件は外すことが出来て、この方面は杉浦の「解析入門II」に詳しい。複素微分可能性から部分的なコーシーの積分定理を証明し、そこからコーシーの積分表示を得て、解析函数(任意の点を中心とした整級数で表される函数)との一致を見る。この本では、コーシーの積分定理について、グリーンの定理ではなく回転数を用いた証明も載っている。
こうして正則性と複素微分可能性が同値となるが、後者については例えば有名なグルサによる条件がある。実函数として各成分が級(偏微分可能であって偏導関数は連続)かつ各成分がコーシー・リーマン方程式を満たすことを要求する。この仮定も弱めることができて、各成分は(全)微分可能であればよい。これも杉浦にある。ちなみにこのとき元の複素函数は連続である。この方面の究極形が今回紹介するLooman-Menchoffの定理である。驚くべきことに、複素函数が連続であり、実函数としての各成分が偏微分可能かつコーシー・リーマン方程式を満たせばよい。つまり本質的にコーシー・リーマン方程式が複素函数の正則性を完全に決定する。
別の方向としては、モレラの定理に代表される形がある。複素函数が連続で、任意の区分的級閉曲線上の線積分がゼロなら、は正則となる。線積分の条件は、原始函数の定義がwell-definedであることを示すのに使うだけなので、折れ線を使って定義するなら、この曲線族は三角形の周に限定してもよい。あるいは、後で使うので注意しておくと、折れ線を軸に沿った階段状に取るなら、曲線族として軸に並行な矩形の周に限定してもよい。
実函数の微分について
が存在することをいう。
を導関数といい、導関数が連続なとき級という。が微分可能なら二階微分、それが連続なら級などという。
多変数函数は割り算での定義ができないので、色々考える必要が出てくる。
定義 開集合上の函数がでに沿って方向微分可能とは、がの近傍で微分可能であることをいう。このときなどと記す。
特に座標軸に沿って方向微分可能なときは偏微分可能といい、やなどと記し、の偏導関数と呼ぶ。二階以降の偏導関数は、それぞれが連続なら座標軸の選び方の順序に依らず決まる。が両辺が連続なら成り立つ。そこで階偏導関数が全て存在し連続なときは級であるという。
定義 開集合上の函数がで(全)微分可能とは、ある横ベクトルが存在して
が成り立つことをいう。
ここではランダウの記号であって、は
を意味する。
下線を引くのは個人的な趣味で、が除外近傍上で有界であることを意味すると区別するため。
定理 が(全)微分可能なら、任意の方向について方向微分可能であり、の各成分は、座標軸に沿った偏導関数で与えられる。
この逆は一般に成り立たないが、次は成り立つ。
定理 が級なら、(全)微分可能である。
定義 開集合上の函数が(フレシェ)微分可能とは、ある行列が存在して
が成り立つことをいう。
(フレシェ)微分可能であることと、各成分が全微分可能であることは同値となる。このときとなる。
定理 が級であることと、(フレシェ)微分可能かつ導関数が連続であることは同値となる。
(証明)が級なら、各成分が級であることを意味し、従って(全)微分可能となる。故には(フレシェ)微分可能となり、特にが連続なので、も連続になる。逆にが(フレシェ)微分可能なら各成分は(全)微分可能となり、今が連続とするとは連続となる。故には級である。
複素函数の微分について
まずは自然に複素微分を定義しよう。
が存在することをいう。
特に導関数が連続であるとき、は正則(holomorphic)であるという。
ところで複素数全体は、をとみなすことで、と同一視することができる。従って、は実変数の次元ベクトル値の函数と思うことができる。
定理 が複素微分可能であることと、が(フレシェ)微分可能でかつ成分がコーシー・リーマン方程式()を満たすことは同値となる。
先述のグルサの条件は上の定理より従う。
ここまでで、正則性に関する以下の定義を確認した。連続函数に対し、
が成り立つ。複素微分可能なら解析的であることは、杉浦で議論されているように、(部分的な)コーシーの積分定理で示すことができる。最後の矢印の逆を主張するのがLooman-Menchoffの定理である。
定理 (Looman-Menchoff) が連続で、が偏微分可能でコーシー・リーマン方程式を満たすとする。このときは正則である。
Looman-Menchoffの定理の証明(前半)
以下はNarasimhan Raghavan, Nievergelt YvesのComplex Analysis in One Variableに掲載されている証明である。
まずの元で、が近傍上で正則でないものを集めてと置く。正則の定義からは閉集合であり、が正則とならないような最小の集合となる。ここでと仮定し、矛盾を導けばよい。
主張 ある開集合と正数が存在し、であり、について
が成り立つ。
(証明)自然数について
と定め、と置く。
はで収束し、つまりとなる。
ここでベールのカテゴリー定理を用いる。これには色々なバリエーションがあるが、空でない完備距離空間が閉集合の加算和で表されるなら、少なくとも一つの成分は開球を含むという位相的な事実である。
今回はに適応することができて、が内点を持つことが分かる。相対位相に注意すれば、ある開集合が存在して、が成り立つ。このが求める集合となる。
このとしては充分小さく取って相対コンパクト(閉包がコンパクト)となるように取れる。するとは連続なので、上である定数が存在してが成り立つようにできる。
とする。のときは、が成り立つ。またのときは、よりが成り立つ。よってと置けば良い。についても同様である。
これで主張が示された。矛盾を示すにはが上で正則となることを示せば良い。正則性を示すために、任意の矩形を取り、
を示そう。このときの正則性はモレラの定理より従う。
まずを
を満たすように取る。
任意のに対し、を含む開集合を、となるように取る。(以下やは適当なルベーグ測度を表す。)
ここでを、対辺の中点を結び分割し、適当に番号を振りに対しで表す。なら
となることに注意する。
ここでは有界なので、を十分大きくすると、ならを満たすようにできる。するとと共通部分を持たないならはその上で正則なので、コーシーの積分定理から
が従う。あとは右辺の絶対値がの定数倍で抑えられることを示せばよい。
Looman-Menchoffの定理の証明(後半)
ここで二つの補題を示す。
補題 閉区間上の函数は連続で、内部で微分可能とする。ある空でない閉集合と正数が存在して、に対してを満たすとする。このとき
が成り立つ。
(証明)閉区間上の函数を、とを結ぶ直線で定義する。具体的には
で定義する。このときを満たし、また
を満たす。
とする。函数を上でを取り、がの連結成分の閉包であるときを取るようなものとする。(端点で値は一致するのでwell-defined)は、で傾きの有界性が保証されている部分はそのままで、それ以外は線分でざっくり繋いだ近似曲線のようなものである。
任意のについてが成り立つことを示そう。としてよい。
まずがの連結成分の閉包に含まれている場合を考える。このときは定義より
が分かる。
そうでないときは、あるをを満たすように取れる。ここで[tex:{ x\in E_{0} }}なら
である。またならの属するの連結成分をと置き、上の結果より
を得る。いずれにせよが分かる。
同様にだから、が従う。
ルベーグの定理より
が成り立つが、左辺はに等しく、また右辺の第一項については、殆ど至る所でである。故に
を得る。
次は補題の条件だと意味不明だけど、Looman-Menchoffの定理の証明としての条件と思えば自然。
補題 開集合上の連続函数について、矩形、を先のように取る。また空でない閉集合と正数が存在し、について
が成り立つとする。(前節の主張と少し形は違うが、証明で用いるのはについての議論なのでは関係ない)
更にの偏微分の存在を仮定する。
今をを含む最小の矩形(潰れても良い)とする。このとき
が成り立つ。
ここでである。
(証明)としてよい。とおく。についてとすれば、仮定より任意のとについてが成り立つ。
のときを考える。の最小性より、となるが存在する。よって
となる。ここでである。一方である。故に
が従う。
のときは、既に示した補題より
が成り立つ。
何れにせよ
が成り立つので、これをについて積分すれば
を得る。同様に
も成り立ち、
であるから
を用いて整理すれば題意が示される。
(定理の証明)を含む最小の矩形をとおく。このときでは正則だから、コーシーの積分定理より
が成り立つ。はコーシー・リーマン方程式を満たすからである。故に補題よりなるに対し、
となる。
以上により
を得る。は任意だから
が分かる。
所感
知ってはいたけど追ったことのない証明について勉強しました。一見奇妙な証明ですが、用いた補題の考え方自体は綺麗なので不思議な感覚になりました。あと前回の更新から間が空いてしまいすみません。