イェンセンの公式

複素解析という数学の分野において，イェンセンの公式（英: Jensen's formula）は，テンプレート:Harvs によって導入されたもので，円上の解析関数の大きさの平均を円の内部のその零点の個数と関係付ける．整関数の研究において重要な主張である．

主張

f を原点を中心とする半径 r の閉円板 D を含む複素平面の領域上の解析関数とし，a₁, a₂, ..., a_n を D の内部における重複を込めた f の零点とし，f(0)≠ 0 とする．イェンセンの公式は次の公式である：

[math]\log |f(0)| = \sum_{k=1}^n \log \left( \frac{|a_k|}{r}\right) + \frac{1}{2\pi} \int_0^{2\pi} \log|f(re^{i\theta})| \, d\theta.[/math]

この公式は円板 D 内の関数 f の零点のモジュライと境界の円周 テンプレート:Mabs = r 上の log テンプレート:Mabs の平均との間の関係を確立し，調和関数の平均値の性質の一般化と見ることができる．すなわち，f が D 内に零点を持たないとき，イェンセンの公式は

[math]\log |f(0)| = \frac{1}{2\pi} \int_0^{2\pi} \log|f(re^{i\theta})| \, d\theta[/math]

となり，これは調和関数 log テンプレート:Mabs の平均値の性質である．

頻繁に用いられるイェンセンの公式の同値な主張は

[math]\frac{1}{2\pi} \int_0^{2\pi} \log |f(re^{i\theta})| \; d\theta - \log |f(0)| = \int_0^r \frac{n(t)}{t} \; dt [/math]

である，ただし n(t) は半径 t の原点を中心とする円板内の f の零点の個数を表す．

イェンセンの公式は D 上有理型でしかない関数に一般化できる．すなわち，

[math]f(z)=z^l \frac{g(z)}{h(z)}[/math]

と仮定する，ただし g と h は D 内の解析関数で零点をそれぞれ [math]a_1,\ldots,a_n \in \mathbb D\setminus\{0\}[/math] と [math]b_1,\ldots,b_m \in \mathbb D\setminus\{0\}[/math] に持つとすると，有理型関数に対するイェンセンの公式の主張は

[math]\log \left|\frac{g(0)}{h(0)}\right| = \log \left |r^{m-n} \frac{a_1\ldots a_n}{b_1\ldots b_m}\right| + \frac{1}{2\pi} \int_0^{2\pi} \log|f(re^{i\theta})| \, d\theta[/math]

となる．

イェンセンの公式は円の中の解析関数の零点の個数を評価するのに使うことができる．すなわち，f が半径 R の z₀ を中心とする円板内で解析的な関数で，テンプレート:Mabs がその円盤の境界上 M でおさえられていれば，半径 r < R の同じ点 z₀ を中心とする円の中の f の零点の個数は

[math] \frac{1}{\log (R/r)} \log \frac{M}{|f(z_0)|} [/math]

を超えない．

イェンセンの公式は整関数や有理型関数の値の分布の研究において重要な主張である．とくに，ネヴァンリンナ理論の出発点である．

ポワソン・イェンセンの公式

イェンセンの公式はより一般的なポワソン・イェンセンの公式の帰結であり，これは逆にイェンセンの公式から z にメビウス変換を施すことによって得られる．それはロルフ・ネヴァンリンナ (Rolf Nevanlinna) によって導入され命名された．f が単位円板内で解析的な関数であって，零点 a₁, a₂, ..., a_n が単位円板の内部に位置しているとき，単位円板内のすべての [math]z_0=r_0e^{i\varphi_0}[/math] に対して，ポワソン・イェンセンの公式 (Poisson–Jensen formula) の主張は以下である：

[math]\log |f(z_0)| = \sum_{k=1}^n \log \left|\frac{z_0-a_k}{1-\bar {a}_k z_0} \right| + \frac{1}{2\pi} \int_0^{2\pi} P_{r_0}(\varphi_0-\theta) \log |f(e^{i\theta})| \, d\theta.[/math]

ここで，

[math] P_{r}(\omega)= \sum_{n\in \mathbb Z} r^{|n|} e^{i n\omega} [/math]

は単位円板上のポワソン核である．関数 f が単位円板内に零点を持たないとき，ポワソン・イェンセンの公式は

[math]\log |f(z_0)| = \frac{1}{2\pi} \int_0^{2\pi} P_{r_0}(\varphi_0-\theta) \log |f(e^{i\theta})| \, d\theta[/math]

となり，これは調和関数 log テンプレート:Mabs に対するポワソンの公式である．

参考文献

• Ahlfors, Lars V. (1979), Complex analysis. An introduction to the theory of analytic functions of one complex variable, International Series in pure and applied Mathematics (3rd ed.), Düsseldorf: McGraw–Hill, ISBN 0-07-000657-1, Zbl 0395.30001 
• Jensen, J. (1899), “Sur un nouvel et important théorème de la théorie des fonctions” (フランス語), Acta Mathematica 22 (1): 359–364, doi:10.1007/BF02417878, ISSN 0001-5962, JFM 30.0364.02, MR 1554908 
• Ransford, Thomas (1995), Potential theory in the complex plane, London Mathematical Society Student Texts, 28, Cambridge: Cambridge University Press, ISBN 0-521-46654-7, Zbl 0828.31001