正則関数の導関数と写像特性に関する極限・角度・ヤコビアンの解析

複素函数論において、正則関数 f(z) の微分がゼロでない点 α における幾何学的性質を理解することは重要です。ここでは、α を通る直線上での極限挙動、像曲線における角度保存、写像のヤコビアンに関して詳しく解説します。

1. 直線 Lθ 上での極限

直線 Lθ: z=α+t e^{iθ} 上で、微小変化 Δt → 0 のときの比 |f(α+Δt e^{iθ})-f(α)| / |Δt| は、f'(α) の絶対値に収束します。すなわち、

lim Δt→0 |f(α+Δt e^{iθ})-f(α)| / |Δt| = |f'(α)|

これは θ に依存せず、正則性により局所的に線形化できるため、任意の方向で同じ絶対値が得られます。

2. 像曲線における角度保存

α を通る二直線 Lθ1, Lθ2 の像曲線 Cθ1, Cθ2 は f(α) で交わります。正則関数は角度を保存するので、接線のなす角は元の直線 Lθ1, Lθ2 のなす角と同じです。これにより、微分 f'(α) が非零であれば、局所的に正則関数は conformal mapping となり、角度が保持されます。

3. 写像のヤコビアン

写像 f(z)=u(x,y)+i v(x,y) に対するヤコビアンは

J(x,y)=|ux uy|

で表され、α での値は J(α)=|f'(α)|^2 となります。これは正則関数の導関数が局所的な拡大率を決定することを示し、局所的な面積変化が |f'(α)|^2 に比例することを意味します。

4. まとめ

正則関数 f(z) の α における微分 f'(α) ≠ 0 の場合、(1) 直線上の極限は |f'(α)| に一致し、(2) 交差する直線の角度は像曲線でも保持され、(3) ヤコビアンは |f'(α)|^2 となる。これにより、正則関数は局所的に線形・角度保存・面積拡大率の解析が可能であることが理解できます。