この記事ではPoisson-Jensenの公式にてついて解説していきます。
ポアソン・イェンゼンの公式にはいくつかの形がありますがこの記事では最終的に以下の主張を示します。
$|z|\leq R$上の正則関数$f$が$|z|=R$において零点を持たないとき
$$\frac{f'(z)}{f(z)}
=\sum_{\substack{\a:\mathrm{zeros}\\|\a|< R}}\l(\frac1{z-\a}+\frac{\ol\a}{R^2-\ol\a z}\r)
+\frac1{2\pi}\int^{2\pi}_0\frac{2Re^{i\t}}{(Re^{i\t}-z)^2}\log|f(Re^{i\t})|d\t$$
が成り立つ。ただし$\a$は$f$の絶対値$R$未満の零点全体を(重複度込みで)渡るものとする。
一体これが何に使えるんだといった感じですが零点と円周上の振る舞いによって記述されるこの式は複素解析と相性がいいのです。具体的には次回の記事:アダマールの因数分解定理の証明において使うことになります。
そして上でver.3と書いた通りver.1,ver.2の主張を通してver.3を示していくことになります。
$|z|< R$に対して
$$L_z(\o)=\frac{R^2(z-\o)}{R^2-\ol{z}\o}$$
とおくと$\o$が円$|\o|=R$を反時計回りに一周するとき$L_z(\o)$も同じ経路をたどる。
$|\o|=R$において
$$L_z(\o)=\frac{\ol\o\o(z-\o)}{\ol\o\o-\ol{z}\o}=-\o\frac{1-z/\o}{1-\ol z/\ol\o}$$
と表せるので
\begin{align}
|L_z(\o)|&=|\o|=R\\
\arg L_z(\o)&=\arg\o+2\arg\l(1-\frac z\o\r)+\pi
\end{align}
が成り立つ。
よって$|z|< R$に注意すると$\o$が円$|\o|=R$を反時計回りに一周すれば$L_z(\o)$も円$|\o|=R$を反時計回りに一周することになる。
$|\o|=R$において$L_z(\o)=Re^{i\t}$とおくと
$$\frac{d\o}{\o}=i\frac{R^2-|z|^2}{|Re^{i\t}-z|^2}d\t$$
が成り立つ。
$\z=L_z(\o)=Re^{i\t}$とおいたとき
$$\o=L_z^{-1}(\z)=\frac{R^2(z-\z)}{R^2-\ol{z}\z}$$
および$R^2=\z\ol\z$に注意すると
\begin{align}
\frac{d\o}{\o}
&=\l(\frac{-1}{z-\z}-\frac{-\ol z}{R^2-\ol{z}\z}\r)d\z\\
&=\l(\frac{\z}{\z-z}+\frac{\ol z}{\ol\z-\ol z}\r)\frac{d\z}{\z}\\
&=\frac{|\z|^2-|z|^2}{|\z-z|^2}\cdot\frac{d\z}{\z}\\
&=i\frac{R^2-|z|^2}{|Re^{i\t}-z|^2}d\t
\end{align}
を得る。
$\o$が円$|\o|=R$の内部全体を動くとき$L_z(\o)$も同じ領域全体を動く。
最大値の原理より
$$\max_{|\o|\leq R}|L_z(\o)|=\max_{|\o|=R}|L_z(\o)|=R$$
なので$\o=L_z(L_z(\o))$に注意すると
$$|\o|\leq R\iff|L_z(\o)|\leq R$$
が成り立ち、また$L_z$は全単射($L_z^{-1}=L_z$)であることから主張を得る。
$|z|\leq R$において零点を持たない正則関数$f$に対し、$|z|< R$において
$$\log|f(z)|=\frac1{2\pi}\int^{2\pi}_0\frac{R^2-|z|^2}{|Re^{i\t}-z|^2}\log|f(Re^{i\t})|d\t$$
が成り立つ。
仮定及び補題4から$\log f(L_z(\o))$は$|\o|\leq R$において正則なので
$$\log f(z)=\log f(L_z(0))=\frac1{2\pi i}\int_{|\o|=R}\log f(L_z(\o))\frac{d\o}{\o}$$
が成り立ち、また$L(\o)=Re^{i\t}$とすることで補題2,3から
$$\log f(z)=\frac1{2\pi}\int^{2\pi}_0\frac{R^2-|z|^2}{|Re^{i\t}-z|^2}\log f(Re^{i\t})d\t$$
となるので、この実部を取ることで主張を得る。
少なくとも$|z|=R$において極も零点も持たない有理型関数$f$について、$|z|< R$において
$$\log|f(z)|=\sum_{\substack{\a:\rm{zeros}\\|\a|< R}}\log\l|\frac{R(z-\a)}{R^2-\ol\a z}\r|-\sum_{\substack{\b:\rm{poles}\\|\b|< R}}\log\l|\frac{R(z-\b)}{R^2-\ol\b z}\r|+\frac1{2\pi}\int^{2\pi}_0\frac{R^2-|z|^2}{|Re^{i\t}-z|^2}\log|f(Re^{i\t})|d\t$$
が成り立つ。ただし$\a,\b$はそれぞれ$f$の絶対値$R$未満の零点、極全体を(重複度込みで)渡るものとする。
$|\gamma|< R$に対し
$$B_\gamma(z)=\frac{L_\gamma(z)}{R}=\frac{R(z-\gamma)}{R^2-\ol\gamma z}$$
とし
$$g(z)=\frac{\sum_{|\b|< R}B_\b(z)}{\sum_{|\a|< R}B_\a(z)}f(z)$$
とおくと$g(z)$は$|z|< R$において極も零点も持たないのでVer.1が適用でき、補題2から$|z|=R$において$|B_\gamma(z)|=1$つまり
$$\log|g(Re^{i\t})|=\log|f(Re^{i\t})|$$
が成り立つことに注意すると
\begin{align}
\log|g(z)|
&=-\sum_{|\a|< R}\log|B_\a(z)|+\sum_{|\b|< R}\log|B_\b(z)|+\log|f(z)|\\
&=\frac1{2\pi}\int^{2\pi}_0\frac{R^2-|z|^2}{|Re^{i\t}-z|^2}\log|f(Re^{i\t})|d\t
\end{align}
を得、これを適当に移項することで主張を得る。
$|z|\leq R$上の正則関数$f$が$|z|=R$において零点を持たないとき
$$\frac{f'(z)}{f(z)}
=\sum_{\substack{\a:\mathrm{zeros}\\|\a|< R}}\l(\frac1{z-\a}+\frac{\ol\a}{R^2-\ol\a z}\r)
+\frac1{2\pi}\int^{2\pi}_0\frac{2Re^{i\t}}{(Re^{i\t}-z)^2}\log|f(Re^{i\t})|d\t$$
が成り立つ。
単純な式変形により
$$\frac{Re^{i\t}+z}{Re^{i\t}-z}=\frac{R^2-|z|^2}{|Re^{i\t}-z|^2}+\frac{R(ze^{-i\t}-\ol ze^{i\t})}{|Re^{i\t}-z|^2}$$
つまり
$$\frac{R^2-|z|^2}{|Re^{i\t}-z|^2}=\mathrm{Re}\l(\frac{Re^{i\t}+z}{Re^{i\t}-z}\r)$$
であることに注意して$f$にVer.2を適用すると
$$\Re(\log f(z))=\Re\l(\sum_{|\a|< R}\log\frac{R(z-\a)}{R^2-\ol\a z}+\frac1{2\pi}\int^{2\pi}_0\frac{Re^{i\t}+z}{Re^{i\t}-z}\log|f(Re^{i\t})|d\t\r)$$
が成り立つ。
いま正則関数$h$に対し$h'=(\partial_x-i\partial_y)\Re\,h$が成り立つことに注意して上式に$\partial_x-i\partial_y$を作用させることで主張を得る。