本文へ移動
ISEGORIABenjamin Haire
English

ISEGORIA / 数学百科事典

複素解析:写像・留数・調和場

等角写像・留数・調和関数を探ります。

前提知識: 微積分と複素数

予想してから操作し、計算例と問いで理解を確かめてください。グラフは数式の図示であり、証明ではありません。

1. 等角写像

w = zᵏ で格子を変換し、ドラッグできる点 z₀ を通る2本の短い曲線を追います。z₀ = 0 以外では、両方の曲線が arg f′(z₀) だけ回転し |f′(z₀)| 倍に伸びるので、間の角度は変わりません。臨界点 z₀ = 0 では角度が k 倍になります。

計算例. 導関数は局所的な拡大と回転として働きます。

注意点. z=0では導関数が0になり、等角性が失われます。

導関数は何を決めますか?

絶対値が長さを、偏角が方向の回転を決めます。

参考文献: MIT OpenCourseWare · Complex Variables

2. 極のまわりの留数

関数 f(z) = 1/(z − a) + 2/(z − b) は a で留数1、b で留数2をもちます。円形の経路の中心をドラッグし、半径と極 a の位置を変えます。右の図は経路に沿って積み上がる積分を描きます。極を囲まなければ0に戻り、囲めば囲んだ留数の和の 2πi 倍で終わり、極が経路を横切ると値が跳びます。

計算例. 単純極を1つ囲む経路は留数の2πi倍を与えます。

注意点. この符号規約では経路は極を避け、正の向きとします。

極が経路を横切ると何が変わりますか?

内部の留数の和が不連続に変わります。

参考文献: MIT OpenCourseWare · Complex Variables

3. 共役調和関数

正則関数 f の u = Re f(青)と v = Im f(橙)の等高線を、位相 φ だけ回転させて描きます。調べる点をドラッグすると、コーシー・リーマン方程式の通り、2つの勾配は常に直交し長さも等しいことがわかります。例外は f′ = 0 となる臨界点です。

計算例. z²の実部と虚部はx²−y²と2xyです。

注意点. 直交性は臨界点を除く正則な等高線についての性質です。

曲線族が直交するのはなぜですか?

コーシー・リーマン方程式が一方の勾配を回転させるためです。

参考文献: MIT OpenCourseWare · Complex Variables

次に読む

線形代数:変換の幾何フーリエ解析:波で関数を作る力学系:安定性とカオス最適化:最良の選択の幾何確率:不確実性から学ぶ群論:対称性を代数にする代数的位相幾何:穴を見つける数値解析:計算が誤解を招くとき数論:整数のパターングラフ理論:経路・木・ネットワーク偏微分方程式:動く場情報理論:不確実性と符号変分法:経路と原理古典力学:運動と力電磁気学:場と誘導光学:光線・波・色熱力学:エネルギー・仕事・エントロピー量子力学:振幅とスピン流体力学:流れ・圧力・渦度統計と推測:データの中の信号特殊相対性理論:空間・時間・光微分幾何:曲率と形統計力学:ミクロ状態と温度測度論:大きさ・近似・収束マルコフ連鎖:遷移・定常性・吸収微分形式:循環・カール・引き戻し一般相対性理論:曲率・時計・光関数解析:ノルム・射影・作用素プラズマ物理:遮蔽・軌道・波リー群とリー代数:連続的な対称性ハミルトン力学:相空間とその幾何確率過程:ブラウン運動とノイズ固体物理:結晶の中の波制御理論:フィードバック・極・安定性論理と計算可能性:何が計算できるか双曲幾何:平行線が増える世界剛体力学:回転・転倒・歳差楕円曲線:足し算ができる幾何原子物理:軌道とスペクトル四元数:掛け算としての回転押し出しと引き戻し:写像を通した積分結び目理論:絡まりを見分けるフラクタル幾何:整数の間の次元量子情報:もつれとその限界宇宙論:膨張する宇宙セル・オートマトン:局所規則から生まれる計算複雑系:単純な多数の部品から生まれる秩序ガロア理論:方程式の対称性磁性とイジング模型:整列から生まれる秩序振動子と脱進機:時計はどうやって時を刻むか歯車と機構:運動を正確に伝える水晶振動子:時を刻む結晶スピーカー:ムービングコイル型ドライバーフィルターとクロスオーバー:音をドライバーに振り分ける室内音響:部屋はスピーカーの一部ウェーブレット:信号を拡大して見るレーザー物理:自らを複製する光表現論:行列として作用する群半導体物理:バンド・ドーピング・接合

数学百科事典に戻る