6.4.3 ポテンシャル問題への帰着

$\mathbb{C}$ 内の Jordan領域は単連結であるから、$\Omega$ の写像関数が存在する。

Jordan領域 $\Omega$ と $z_0\in\Omega$ に対して、 正規化条件 $\varphi(z_0)=0$, $\varphi'(z_0)>0$ を満たす写像関数 $\varphi\colon\Omega\to D(0;1)$ は、 次の定理に基づき求められる。