複素解析という数学の分野において，イェンセンの公式（）は， によって導入されたもので，円上の解析関数の大きさの平均を円の内部のその零点の個数と関係付ける．整関数の研究において重要な主張である．
主張 を原点を中心とする半径 の閉円板 を含む複素平面の領域上の解析関数とし， を の内部における重複を込めた の零点とし， とする．イェンセンの公式は次の公式である：
この公式は円板 内の関数 の零点のモジュライと境界の円周 上の の平均との間の関係を確立し，調和関数の平均値の性質の一般化と見ることができる．すなわち， が 内に零点を持たないとき，イェンセンの公式は
となり，これは調和関数 の平均値の性質である．
頻繁に用いられるイェンセンの公式の同値な主張は
である，ただし は半径 の原点を中心とする円板内の の零点の個数を表す．
イェンセンの公式は 上有理型でしかない関数に一般化できる．すなわち，
と仮定する，ただし と は 内の解析関数で零点をそれぞれ と に持つとすると，有理型関数に対するイェンセンの公式の主張は
となる．
イェンセンの公式は円の中の解析関数の零点の個数を評価するのに使うことができる．すなわち， が半径 の を中心とする円板内で解析的な関数で， がその円盤の境界上 でおさえられていれば，半径 の同じ点 を中心とする円の中の の零点の個数は
を超えない．
イェンセンの公式は整関数や有理型関数の値の分布の研究において重要な主張である．とくに，ネヴァンリンナ理論の出発点である．
ポワソン・イェンセンの公式 イェンセンの公式はより一般的なポワソン・イェンセンの公式の帰結であり，これは逆にイェンセンの公式から にメビウス変換を施すことによって得られる．それはロルフ・ネヴァンリンナ (Rolf Nevanlinna) によって導入され命名された． が単位円板内で解析的な関数であって，零点 a1, a2, ..., an が単位円板の内部に位置しているとき，単位円板内のすべての に対して，ポワソン・イェンセンの公式 (Poisson–Jensen formula) の主張は以下である：
ここで，
は単位円板上のポワソン核である．関数 が単位円板内に零点を持たないとき，ポワソン・イェンセンの公式は
となり，これは調和関数 に対するポワソンの公式である．
参考文献