複素関数・等角写像可視化ツール

複素関数$f(z)=u(x,y)+iv(x,y)$が正則（なめらかで微分可能）であるための必要十分条件が、コーシー・リーマン方程式です。実部$u$と虚部$v$がこの関係を満たす時、写像は（導関数が0でない点で）角度を保存します。

$u(x,y)$: 複素関数の実部, $v(x,y)$: 複素関数の虚部。この関係が成り立つと、$u$と$v$は互いに直交する曲線群（等ポテンシャル線と流線）を描き、流体や電磁場の解析の基礎となります。

正則関数の積分について、閉曲線上での積分値は、内部に含まれる「特異点」の性質（留数）だけで決まります。これが留数定理で、難解な実積分の計算に応用されます。

$C$: 積分経路（閉曲線）, $\text{Res}(f, z_k)$: 点$z_k$における関数$f$の留数。このツールで「輪郭の円半径」を変えると、この左辺の積分値（円周に沿った色の変化）と、円内の留数の和（右辺）が等しいことを視覚的に確認できます。

航空工学（翼型理論）：ジュコーフスキー変換 $w = z + 1/z$ を用いて、複素平面上の円を翼の断面形状（翼型）に変換します。これにより、円周りの単純なポテンシャル流れの解を写像することで、翼周りの複雑な流れ場や揚力を計算できます。

電磁気学・熱伝導：複素ポテンシャルを利用して、2次元静電場や定常熱伝導問題を解きます。等角写像で複雑な電極形状や境界を単純な形状（半平面や円板）に変換し、そこで得られた解を元の領域に戻すことで解析を容易にします。

制御理論：フィードバック制御系の安定性判別に用いるナイキスト線図は、複素平面上の写像です。留数定理を応用した「巻き数」の原理により、開ループ伝達関数の写像から閉ループ系の不安定極の数を数え上げます。

実積分の計算：三角関数を含む実数上の広義積分など、実解析では計算が困難な積分を、複素関数の積分に置き換え、留数定理を用いて留数の和として求めることができます。物理学や工学で頻出する積分計算の強力な手法です。

このツールを使い始めるとき、いくつか陥りがちなポイントがあるよ。まず、「ドメインカラーリングの色が全てを表している」と思いがちだけど、色の変化はあくまで関数の「偏角」で、関数値そのものの大きさ（絶対値）は明るさで表現されている。だから、真っ黒な領域は単に絶対値がゼロに近い（関数値が小さい）だけで、特異点とは限らない。特異点は、色相環の全ての色が一点に集まってぐちゃっとした「渦」のように見えることが多いんだ。

次に、パラメータ設定のコツ。「格子線数」を増やしすぎると、変換後の形状が複雑すぎて逆に全体像がつかめなくなる。最初は少なめ（例えば10本程度）で大まかな流れを把握してから、気になる部分だけを拡大して格子線を増やすのが効率的だ。また、「ズーム」と「輪郭の円半径」を同時にいじると、何が起きているかわからなくなる。円の積分の挙動を見たいときは、ズームは固定して、半径だけをゆっくり変えてみよう。

実務的な落とし穴としては、「写像は万能ではない」ことを理解しておくこと。例えばジュコーフスキー変換で翼型を作るとき、元の円の中心をほんの少しずらすだけで、翼の厚みやカンバーが大きく変わる。ツール上で美しい翼型ができても、それが実際の空力特性として最適とは限らない。あくまで理論的な出発点として使うんだ。