複素解析学II
担当 平地健吾 hirachi@ms.u-tokyo.ac.jp
TA 不死原大知・前田大輝
このページでは複素解析学IIの講義情報をのせます。
参考書は Lars Ahlfors 著 Complex analysis またはその和訳
場所:大講義室 (同日中にYoutubeで録画配信)
時間:火曜2限 9:30~12:00(演習は13:00~14:45)
全13回 4/6, 4/20, 4/27, 5/11, 5/18, 5/25, 6/1, 6/8, 6/15, 6/22, 6/29, 7/6, 7/13
ITC-LMSのリンク 講義・ 演習 問題はITC-LMSの課題に載せます.
講義ノートは下のGoogleドライブ(g.ecc限定)に載せる予定ですが間に合わない可能性が高いです.ノートをアップロードして頂けると助かります.
●4月6日の講義内容
・双正則同値な領域の例
・双正則写像は等角性をもつ
・全単射正則関数の逆写像は正則(偏角の原理の応用)
・Riemannの写像定理の証明 (一意性の証明まで); Schwarzの補題を用いる
・単連結ならば解析的単連結
・解析的単連結領域は双正則同値で保たれる
・写像定理の証明の方針
・Step 1 解析的単連結領域から単位円板への単射正則写像が存在する
●4月20日の講義内容
・Riemannの写像定理の証明 (解析的単連結の仮定で証明した);Schwarzの補題、Montelの定理、Hurwitzの定理を用いる。
・Riemannの写像定理を用いると解析的単連結なら単連結であることがわかる.
・正規族の定義:複素領域から距離空間への連続写像の族で一般的に考える
・正規族であることと閉包のコンパクト性は同値
・Ascoli-Arzelaの定理(一様収束性の証明でミスがありました.KをKのε閉近傍に置き換えると修正できます.)
●4月27日の講義内容
・Montelの定理の証明,有理型関数にたいするMontelの定理
・閉曲線が0とhomologusであることの定義を(回転数を用いて)与え、homologically trivialな領域を定義した。
・ホモロジー型のCauchyの積分定理
・単連結領域とhomologically trivialな領域の同値性
・穴がない領域はhomologically trivialであることの証明
・穴のない領域と単連結領域の同値性の証明
●5月11日の講義内容
・双正則写像の境界挙動(ジョルダン領域の間の双正則写像は境界まで同相に拡張できる;境界点が全て単純であるという仮定で証明した)
●5月18日の講義内容
・鏡像の原理;実解析的な曲線に関する鏡像も考える
・Schwarz-Christoffelの公式の証明
●5月25日の講義内容
・上半空間を三角形に写す等角写像
・長方形を上半空間に移す双正則写像の積分表示
・ポアソンの公式と円板でのDirichlet問題の解
●6月1日の講義内容
・調和関数の平均値の性質と最大値の原理
・Harnackの不等式、Harnackの定理
・劣調和関数, Perronの方法によるのDirichlet問題の解法
●6月8日の講義内容
・Barrierの定義
・Barrierが存在する領域ではDirichlet問題の解が存在する
・グリーン関数の定義とリーマン写像との関係
●6月15日の講義内容
・べき級数の解析接続の定義
・関数のgermと層の定義.正則函数の層,定数層
・Weierstrass による解析接続と正則関数の層の連結成分の関係
・正則関数の層を定義し、その連結成分として 大域的解析関数しいくつかの例を説明。
・大域的解析関数の一致の定理
・曲線に沿った解析接続を定義し、その一意性を証明
●6月22日の講義内容
・ホモトピーを定義し、モノドロミー定理の証明を与えた
・定数でない整関数の逆函数として大域的解析函数が定義されることを証明。 これで Log z, √z などが解析函数として定義されることがわかる
・有理型関数の周期の定義,例:Jacobiの楕円関数
・離散加群の基底は高々2であることの証明
・ぺー関数の級数による定義、その収束性の証明
●6月29日の講義内容
・楕円関数の性質(正則なら定数;基本領域上の留数の和は0;次数の定義;次数は2以上)
・ペー関数の微分の零点は半周期であり、半周期でのペー関数の値は相異なる
・ペー関数のみたす微分方程式
・Mittag-Lefflerの定理とクザンの第1問題
・クザンの第1問題とCauchy-Riemannの方程式が解をもつことの同値性の証明
●7月6日の講義内容
・Cauchy-Riemannの方程式をRungeの近似定理を用いて解く.
・Rungeの近似定理の証明
●7月13日の講義内容
・正則関数に関する凸包を用いて領域を内側からRungeの定理の仮定をみたすコンパクト集合の列で近似する方法
・Cauchy-Riemannの方程式の解をもちいて,Weierstrassの定理(零点を指定して正則関数を作る)および 補間定理(離散的な集合上での関数を正則関数に拡張する)を証明
・一次元複素平面の領域は正則領域であることの証明.
・多変数の場合は正則でない領域があることの証明(ハルトークスの拡張定理)