복잡한 분석으로 알려진 수학 분야에서는 요한 젠센(1899년)이 도입한 젠센의 공식은 원의 분석함수의 평균 크기를 원 안에 있는 0의 숫자와 연관시킨다.그것은 전체 기능을 연구하는 데 있어서 중요한 진술을 형성한다.
성명서
ƒ은 원점, a1, a2, ...에n 대한 반경 r의 폐쇄디스크D를 포함하는 복합평면의 한 지역에서 다중성에 따라 반복되는 ƒ 내부의 ƒ의 0이고, ƒ(0)≠ 0이라고 가정한다. 젠슨의 공식에는 다음과 같이 기술되어 있다.
이 공식은 디스크 D 내부에 있는 함수 ƒ의 0의 모듈리와 경계 원 z = r의 로그 f(z)의 평균 사이의 연결을 설정하며, 고조파 함수의 평균값 속성의 일반화로 볼 수 있다.즉, f가 D에 0이 없다면, 젠슨의 공식은 다음과 같이 줄어든다.
이 값은 고조파 함수 의 평균 값 속성 ( ) 입니다
자주 쓰이는 젠센의 공식에 대한 등가문장은 다음과 같다.
여기서 ( ) 은 원점을 중심으로 t t에 있는 의 0 수를 나타낸다.
Jensen의 공식은 D에서 단지 meromphic인 함수에 대해 일반화될 수 있다.즉, 다음과 같이 가정한다.
where g and h are analytic functions in D having zeros at and respectively, then Jensen's formula for meromorphic functions sta그것을 테조로 삼다.
Jensen의 공식은 원 안의 분석함수의 0의 수를 추정하는 데 사용될 수 있다.즉, 이(가) z를0 중심으로 한 반지름 R의 디스크에서 함수 분석이고, {\이(가) 해당 디스크의 경계에서 M으로 경계되는 경우, 동일한 지점0 z를 중심으로 한 반지름 r < R의 원에 f 의 0의 수는 초과하지 않는다.
Jensen의 공식은 전체와 용적함수의 가치분포를 연구하는 데 있어서 중요한 진술이다.특히 네반린나 이론의 출발점이다.
포아송-옌센 공식
옌센의 공식은 보다 일반적인 포아송-옌센 공식의 결과로서, 뫼비우스 변환을 z에 적용함으로써 옌센의 공식으로부터 차례로 따르게 된다.그것은 Rolf Nevanlinna에 의해 소개되고 이름이 지어졌다.f가 단위 디스크 내부에1 0, a2, ...이 있는n 단위 디스크에서 분석적인 함수인 경우, 단위 디스크에서 0= e 0}e^{\jensi_에 대해 포아송-옌센 공식은 다음과 같이 명시되어 있다.
여기,
단위 디스크의 포아송 커널이다.함수 f에 단위 디스크에 0이 없는 경우, 포아송-젠센 공식은 다음과 같이 감소한다.
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, ISBN0-07-000657-1, Zbl0395.30001