複素関数・等角写像可視化ツールとは
🙋
このツールで「等角写像」って、結局何がわかるんですか？色がついた格子がぐにゃっと曲がるだけに見えるのですが…
🎓
大まかに言うと、複素平面という「地図」を、別の形の「地図」に歪めずに書き換える方法がわかるんだ。角度が保存されるから「等角」って言うんだよ。例えば、このツールで「ズーム」のスライダーを動かして範囲を広げると、中心の小さな正方形が外側では大きく歪んで見えるだろ？あれが写像。実務では、飛行機の翼の周りの空気の流れを、単純な円周りの流れに変換して計算するのに使うことが多いね。
🙋
え、円から翼の形に変えられるんですか？どうやって？色の意味もよく分かりません。
🎓
できるんだ！関数を「ジュコーフスキー変換」に設定してみて。パラメータの「格子線数」を増やすと、変換の様子が細かく見えるよ。色は「ドメインカラーリング」で、複素数$w=f(z)$の絶対値（明るさ）と偏角（色相）を同時に表してる。色が滑らかに変化している領域は、関数が「正則」でなめらかだという証拠。逆に色がぐちゃっとする点は、特異点かもしれない。
🙋
「輪郭の円半径」って何ですか？動かしてもあまり変化がなくて…。
🎓
あれは、留数定理を視覚化するためのパラメータなんだ。円の半径を変えると、その円周に沿った積分値（色の変化を一周した合計）がどう変わるか見える。半径を特異点を通り過ぎるように大きくすると、積分値がジャンプする！これが留数定理で、現場では難しい実数の積分を、複素平面上でこの「留数」を数えるだけで効率よく解けてしまうんだ。
物理モデルと主要な数式
複素関数$f(z)=u(x,y)+iv(x,y)$が正則（なめらかで微分可能）であるための必要十分条件が、コーシー・リーマン方程式です。実部$u$と虚部$v$がこの関係を満たす時、写像は（導関数が0でない点で）角度を保存します。
$$\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}$$
$u(x,y)$: 複素関数の実部, $v(x,y)$: 複素関数の虚部。この関係が成り立つと、$u$と$v$は互いに直交する曲線群（等ポテンシャル線と流線）を描き、流体や電磁場の解析の基礎となります。
正則関数の積分について、閉曲線上での積分値は、内部に含まれる「特異点」の性質（留数）だけで決まります。これが留数定理で、難解な実積分の計算に応用されます。
$$\oint_C f(z)\,dz = 2\pi i \sum_{k}\text{Res}(f, z_k)$$
$C$: 積分経路（閉曲線）, $\text{Res}(f, z_k)$: 点$z_k$における関数$f$の留数。このツールで「輪郭の円半径」を変えると、この左辺の積分値（円周に沿った色の変化）と、円内の留数の和（右辺）が等しいことを視覚的に確認できます。
よくある質問
色相が複素数の偏角（角度）を、明度・彩度が絶対値|f(z)|を表します。例えば赤は正の実軸方向、シアンは負の実軸方向に対応。色の変化が滑らかな領域は正則（微分可能）で、等角写像が成り立っていることを示します。
複素関数f(z)が正則でf'(z)≠0のとき、z平面上の2曲線の交角が、写像後のf(z)平面上でも同じ大きさ・向きで保たれます。このツールでは、グリッド線や曲線を変形させて、交差する角度が変わらない様子をリアルタイムで確認できます。
航空工学で翼型の設計に使われます。円をジュコーフスキー変換で写像すると、翼断面形状（ジュコーフスキー翼）が得られます。本ツールで円の位置や半径を変えながら、翼型がどう変化するか試せます。
まず複素関数を入力し、積分経路となる閉曲線を描画します。ツールが経路上の数値積分を実行し、内部の極における留数の和を表示。極の位置と位数を色の特異点パターンから視覚的に特定し、計算結果と照合できます。
実世界での応用
航空工学（翼型理論）：ジュコーフスキー変換 $w = z + 1/z$ を用いて、複素平面上の円を翼の断面形状（翼型）に変換します。これにより、円周りの単純なポテンシャル流れの解を写像することで、翼周りの複雑な流れ場や揚力を計算できます。
電磁気学・熱伝導：複素ポテンシャルを利用して、2次元静電場や定常熱伝導問題を解きます。等角写像で複雑な電極形状や境界を単純な形状（半平面や円板）に変換し、そこで得られた解を元の領域に戻すことで解析を容易にします。
制御理論：フィードバック制御系の安定性判別に用いるナイキスト線図は、複素平面上の写像です。留数定理を応用した「巻き数」の原理により、開ループ伝達関数の写像から閉ループ系の不安定極の数を数え上げます。
実積分の計算：三角関数を含む実数上の広義積分など、実解析では計算が困難な積分を、複素関数の積分に置き換え、留数定理を用いて留数の和として求めることができます。物理学や工学で頻出する積分計算の強力な手法です。
よくある誤解と注意点
このツールを使い始めるとき、いくつか陥りがちなポイントがあるよ。まず、「ドメインカラーリングの色が全てを表している」と思いがちだけど、色の変化はあくまで関数の「偏角」で、関数値そのものの大きさ（絶対値）は明るさで表現されている。だから、真っ黒な領域は単に絶対値がゼロに近い（関数値が小さい）だけで、特異点とは限らない。特異点は、色相環の全ての色が一点に集まってぐちゃっとした「渦」のように見えることが多いんだ。
次に、パラメータ設定のコツ。「格子線数」を増やしすぎると、変換後の形状が複雑すぎて逆に全体像がつかめなくなる。最初は少なめ（例えば10本程度）で大まかな流れを把握してから、気になる部分だけを拡大して格子線を増やすのが効率的だ。また、「ズーム」と「輪郭の円半径」を同時にいじると、何が起きているかわからなくなる。円の積分の挙動を見たいときは、ズームは固定して、半径だけをゆっくり変えてみよう。
実務的な落とし穴としては、「写像は万能ではない」ことを理解しておくこと。例えばジュコーフスキー変換で翼型を作るとき、元の円の中心をほんの少しずらすだけで、翼の厚みやカンバーが大きく変わる。ツール上で美しい翼型ができても、それが実際の空力特性として最適とは限らない。あくまで理論的な出発点として使うんだ。