Complex Geometry Speaer(s): Has-Joachim Hei (Imperial College, Loo) vieo のページ : https://www.msri.org/summer_schools/72/scheules/8495 Agea:. 正則関数 (Holomorphic Fuctio) とは 2. ワイエルストラスの予備定理 3. ハルトークスの定理 記号 : 複素数全体 i Br z 中心 z 半径 r の多重円板. 正則関数 (Holomorphic Fuctio) とは一変数の場合
U を における開集合 f を定義域 U 上で連続な複素関数とする このとき f が z で正則 holomorphic であるための必要十分条件は () 複素関数の意味で微分可能 (2) コーシーリーマンの関係式が成り立つ (3) べき級数に展開される ( すなわち解析的である ) などがしられている ()(2)(3) はそれぞれ互いに必要十分である 多変数関数 2 の場合,, z z z は z x iy (, 対応させることにより と 2 を同一視する U を における開集合 f z f z,, z :U x y ) に対して 2 x, y,, x, y を z z,, z U の連続な関数 が次の同値な条件のいずれかを満たすとき f は正則 holomorphic であるという ()U の任意の点で全微分可能 f このとき線形な微分 形式 f が定義され f z z となる z (2) f z,, z ux, y,, x, y iv x, y,, x, y, z x iy
f 実部 u, 虚部すなわちu Re f, v Im f として uv, の変数を x, y と表 したとき コーシーリーマンの微分方程式 が成り立つ (3) f z f z z u x v y, v x u,,, y,, において各変数ごとに 変数として正則である すな わち 各 について z 以外の変数を固定して z のみの関数とみなしたと きそれが正則である (4),, z z z U と多重円板 B z z z,, z : z z r,,,, r r,, r, r r の各点 z において べき級数 f z a z z z z に展開される,,
解説 ) ここで f z f z z る a, zz,, が z z z,, z で全微分可能とは あ, a が存在して z, z f z f z a z z zz, lim z z とおくと が成り立つことで a, a は一意に定まり これらを f の偏 f z 微分係数と呼んで z,, z, f と書く このとき 線形な微分 形式 f z z f が定義され f z となる ( 解説 2 参照 ) z 解説 2) コーシーリーマンの関係式 の各点におけるよ接空間の元 x, y を用いて z x iy, z x iyとさだ める また 接空間の元 x, y により i, i z 2 x y z 2 x y と定義する
C 複素関数 f の微分 形式は f f f x y x y で定義されるが f f f z z z z f と書き直すことができる ここにあらわれたは偏微分ではない そもそも f z f が正則でない限り偏微分は定義できない しかし f が正則の時に限って z f となりは f の偏微分になる z 実際 次の定理を証明することができる 定理 U を における開集合 f をU で与えられた複素数値 C 関数とする ()f が正則であるための必要十分条件は f,,, が成り立つことで z ある (2) f にを作用させたものは偏導関数の値に一致する z 証明 )() f z,, z ux, y,, x, y iv x, y,, x, y と書き直して i を使うと u v v u f i z 2 x y となり は 2 x y x y z u x v y, v x u y をあらわし uv, を z 以外の変数を固定して一つの変 数 z の関数とみたとき f は各変数ごとに正則となる 上の vieo 引用 (3) より f が正則となる 必要条件も同様にしめすことができる (2) 偏導関数の定義より,,,,,,,,,,,,,, f f x y x h y x y f x y x h y x y lim f z h h x
であり f f x, y,, x, y,, x, y f x, y,, x, y,, x, y f lim z i i y であるから f f f f f i i i f f z x y 2x y 2x y z となる このことから f,,, をコーシーリーマンの微分方程式と呼んでもよ z いことがわかる 以上まとめると次のように簡単に書ける
f f z, z f f が正則 f となる f z と定義すると f f f z となり
複素微分形式は p q として z から作る p 個の z z p と z か らつくる q 個の z z q をもちいて, p q 形式は p f z z z z q p, q となる このような 全体を pq, であらわす
l p q f z z z z z z l l p q m p q f z z z z z z m m p q pq, p, q pq, pq, より : : となる
2.Weierstarass の予備定理 定義 2 z の多項式 gz, w z a w z a wz a w 2 の係数多項式 a w が w,, の近傍で正則で a き g z, w は,,,, w,,, をみたすと z w におけるワイエルストラス多項式とよばれる ワイエルストラスの予備定理とは : の関数 f z が z,, の近傍で正則で f z z,, z たし f z,, (,, をみ z の関数として ) であるとき f z, w gz, whz, w と書ける ただし g z, w はワイエルストラスの多項式で,,,, h z w は z w の近傍で決してゼロをとらない正則関数である 一変数の場合 正則関数 f zのゼロ点 a があるとき f z z a hz と書ける ここで h は z aの近傍で決してゼロをとらない正則関数である 予備定理は多変数正則
関数のばあいの対応と考えられる ただし 上で f のゼロ点を原点., にしているが ゼロ点は任意の点としても同様な結果になるが 証明を簡略に記述するための一般性を失なわない仮定である g(z) is calle Weierstrass polyomial
解説 3: 根と係数の関係 2 次方程式 X ax a2x a の根を x,, x とするとき 等式 x,, x a (,, ) が成り立つ ここで は 次基 本対称式である ここで 基本対称式とは 個の変数 x, x のうち 個を選んでかけあわせ それらを加え合わせたものである 解説 4: 基本多項式とべき乗和多項式の間にはつぎの関係式がある ( ),,, ここで x x, x x,, x x 2 2 2 はべき乗和多 項式である そしてこの関係式はニュートンの公式と呼ばれている 2 解説 5 gz, w z a wz a w z a w 2 がワイエルストラスの多項式になっているためには係数関数 a w が w の正 則関数であることを示さねばならない そのためには 根と係数の関係から
2 g z, w z a w z a w z a w z P w の根で作る 2 l べき乗和多項式 P w が正則であればよい 解説 5. 偏角の原理を用いるとべき乗和多項式は l l f ' z, w f ' P w z z 2 i とあらわされる z, w f z, w, z R f z w は w について正則 であるから と積分の交換をすればそれがゼロとなり w 右辺が w について正則となり同時に左辺のべき乗和も正則となる 解説 6. l l のときは P w つまり 関係 そして gz, w zp w の P w は 子であるから hz, w f z, w とおくと g z, w f z, w の根の個数は w には無 f z, w の根 で作る因 z で h z, w である
Weierstarass の予備定理は我々に解析集合の構造のすべてを教えてくれる 3. ハルトークスの定理 2 wz, : wz, の場合で説明する, f wz が下図左の斜線部 ( トーラス ) で正則とすると実はドーナツの穴の部分でも正則となるように f, wz が 拡大される これは では任意の領域を自然境界として持つ複素関数があるのに対して 2 では任意の領域を自然境界としては持てないという と 2 の間の本質的な違いのことであり この現象はハルトークス現象と呼ばれている
直観的な証明は上の図で説明できる w costat となる縦線 (4 次元のなかにあるので本当は面 ) を2 本引く 左の線 L は円板 右の線 W は aulus ( ドーナツ ) である とローラン展開をする コーシーの積分公式としてよく知, f zw a wz られているように z f zw. a w z 2i この式で 左の線上 L で考えて z, が正則であるから f zw a wz f zw. a w z w 2 i となる w z しかし 正則関数の一致の定理をかんがえれば a w は正方形全体で成り 立たねばならない 右の線 W でもその除かれた部分でも正則になる! z
補足 7: 正則領域 領域 D 上の正則関数 f について f が D を含むどんな領域にも直接接続できないとき D を f の自然な定義域といい D を f の自然境界という ある正則関数の自然な定義域になっているような領域のことを正則領域という 補足 8:Hartogs の接続定理 K を多重円板, r のコンパクトな部分集合とし 結であるとする のとき f が に拡張できる したがって D は正則領域ではない K K D, r \ K は連 D で正則な関数なら それは必ず, r K 対称的に の場合には任意の領域は正則領域である これについて述べておく 次の証明は Besse Comm. Math. Helveti によるもので辻正次函数論上巻朝倉書店を参照した 定理任意に与えられた領域 D を存在領域とするような正則関数は常に存在する 証明 ) z を D の点とし w なる変換によって D はいつでも を含む領域 z z とすることができる D は を含むと仮定する D の境界 は有界な閉集合で ある D の中の有理点の集合は可附番であるので これを z, z 2, とおく z を中心として に接する円をC その への接点のうちの一つを とする
a となる正数 a を選び f 理由 ) f z a は D で正則 z z a z が求める関数である D を D に含まれる任意の閉領域とし と D の距離を とする z D に 対して z であるから a a であるから z a z は D で一様収束する したがって 理由 2) 直線 z に沿って z f z は正則 とするとき f z
z のとき z z z ( ) また N で a a N 2 となるような N を選んでおく f z a z a とおき z z の様子 を調べる a a N z z N 2 z であるから f z a 2 z N a z 他方 N a a mi N N B となるような B を選んでおくと z で f z a 2 z N a z 理由 3) 上のすべての点は f z の特異点 ( は自然境界 ) 逆に の点 z を f z の正則点とする 適当な有理点 z をとると z を中心 とする収束円 K に z が含まれる z を中心として に接する円をC その への接点を とおいたが は z z z となるのでC は K に含まれ ている は K の内点 しかし 理由 2より z の収束円としたことと矛盾する で f z となり K が f z