Mathematical formula in complex analysis
In the mathematical field known as complex analysis, Jensen's formula, introduced by Johan Jensen (1899), relates the average magnitude of an analytic function on a circle with the number of its zeros inside the circle. It forms an important statement in the study of entire functions.
Formal statement
Suppose that
is an analytic function in a region in the complex plane
which contains the closed disk
of radius
about the origin,
are the zeros of
in the interior of
(repeated according to their respective multiplicity), and that
.
Jensen's formula states that[1]
![{\displaystyle \log |f(0)|=-\sum _{k=1}^{n}\log \left({\frac {r}{|a_{k}|}}\right)+{\frac {1}{2\pi }}\int _{0}^{2\pi }\log |f(re^{i\theta })|\,d\theta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/571e70956a3338ea09c5b5a4ad9dabb5ac66c41a)
This formula establishes a connection between the moduli of the zeros of
in the interior of
and the average of
on the boundary circle
, and can be seen as a generalisation of the mean value property of harmonic functions. Namely, if
has no zeros in
, then Jensen's formula reduces to
![{\displaystyle \log |f(0)|={\frac {1}{2\pi }}\int _{0}^{2\pi }\log |f(re^{i\theta })|\,d\theta ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/93eff4ac5764e0542b96d1aeb438600f7b4cefdb)
which is the mean-value property of the harmonic function
.
An equivalent statement of Jensen's formula that is frequently used is
![{\displaystyle {\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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0293a5673c68f34646a53f423a96748161a2860d)
where
denotes the number of zeros of
in the disc of radius
centered at the origin.
Proof[1] It suffices to prove the case for
.
- If
contains zeros on the circle boundary, then we can define
, where
are the zeros on the circle boundary. Since ![{\displaystyle \int _{0}^{2\pi }\ln |e^{i\theta }-e^{i\theta _{k}}|d\theta =2\int _{0}^{\pi }\ln(2\sin \theta )d\theta =0,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/938083a71166a465b83a9acae4b06800c0de6002)
we have reduced to proving the theorem for
, that is, the case with no zeros on the circle boundary. - Define
![{\displaystyle F(z):={\frac {f(z)}{\prod _{k=1}^{n}(z-a_{k})}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a19e78d563329c502f1336b6e911aceeed090b4)
and fill in all the removable singularities. We obtain a function
that is analytic in
, and it has no roots in
. - Since
is a harmonic function, we can apply Poisson integral formula to it, and obtain ![{\displaystyle \log |F(0)|={\frac {1}{2\pi }}\int _{0}^{2\pi }\log |F(e^{i\theta })|\,d\theta ={\frac {1}{2\pi }}\int _{0}^{2\pi }\log |f(e^{i\theta })|\,d\theta -\sum _{k=1}^{n}{\frac {1}{2\pi }}\int _{0}^{2\pi }\log |e^{i\theta }-a_{k}|\,d\theta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ce2c33bc01524d25ae25710de60e7910a38fb75)
where
can be written as ![{\displaystyle \int _{0}^{2\pi }\log |e^{i\theta }-a_{k}|\,d\theta =\int _{0}^{2\pi }\log |1-a_{k}e^{-i\theta }|\,d\theta =Re\int _{0}^{2\pi }\log(1-a_{k}e^{-i\theta })\,d\theta .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d089a94c77e1f64e8bb44e7dac53c195ccfac173)
- Now,
is a multiple of a contour integral of function
along a circle of radius
. Since
has no poles in
, the contour integral is zero.
Applications
Jensen's formula can be used to estimate the number of zeros of an analytic function in a circle. Namely, if
is a function analytic in a disk of radius
centered at
and if
is bounded by
on the boundary of that disk, then the number of zeros of
in a circle of radius
centered at the same point
does not exceed
![{\displaystyle {\frac {1}{\log(R/r)}}\log {\frac {M}{|f(z_{0})|}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21a125a59cdb1c89a218785a1c9906a0aeaadfc5)
Jensen's formula is an important statement in the study of value distribution of entire and meromorphic functions. In particular, it is the starting point of Nevanlinna theory, and it often appears in proofs of Hadamard factorization theorem, which requires an estimate on the number of zeros of an entire function.
Jensen's formula is also used to prove a generalization of Paley-Wiener theorem for quasi-analytic functions with
. In the field of control theory (in particular: spectral factorization methods) this generalization is often referred to as the Paley–Wiener condition.
Generalizations
Jensen's formula may be generalized for functions which are merely meromorphic on
. Namely, assume that
![{\displaystyle f(z)=z^{l}{\frac {g(z)}{h(z)}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6b45077e1cd1dfb4baf5e05b9234259403bfd66)
where
and
are analytic functions in
having zeros at
and
respectively, then Jensen's formula for meromorphic functions states that
![{\displaystyle \log \left|{\frac {g(0)}{h(0)}}\right|=\log \left|r^{m-n-l}{\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 .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d209dcd9d299bb905bac6a3743d7f9306380411)
Jensen's formula is a consequence of the more general Poisson–Jensen formula, which in turn follows from Jensen's formula by applying a Möbius transformation to
. It was introduced and named by Rolf Nevanlinna. If
is a function which is analytic in the unit disk, with zeros
located in the interior of the unit disk, then for every
in the unit disk the Poisson–Jensen formula states that
![{\displaystyle \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 .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75d076d0806c17d04e2bd2766dbe522d7d6ca1cb)
Here,
![{\displaystyle P_{r}(\omega )=\sum _{n\in \mathbb {Z} }r^{|n|}e^{in\omega }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/656af08c16bbd8c53821633cd280a31560360397)
is the Poisson kernel on the unit disk. If the function
has no zeros in the unit disk, the Poisson-Jensen formula reduces to
![{\displaystyle \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 ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5242b653467bf8512e8ff947097f3963a88d8c57)
which is the Poisson formula for the harmonic function
.
See also
References
- ^ a b Ahlfors, Lars V. (1979). "5.3.1, Jensen's formula". Complex analysis : an introduction to the theory of analytic functions of one complex variable (3rd ed.). New York: McGraw-Hill. ISBN 0-07-000657-1. OCLC 4036464.
Sources
- 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 (in French), 22 (1): 359–364, doi:10.1007/BF02417878, ISSN 0001-5962, JFM 30.0364.02, MR 1554908
- Paley, Raymond E. A. C.; Wiener, Norbert (1934). Fourier Transforms in the Complex Domain. Providence, RI: American Mathematical Soc. ISBN 978-0-8218-1019-4.
- Ransford, Thomas (1995), Potential theory in the complex plane, London Mathematical Society Student Texts, vol. 28, Cambridge: Cambridge University Press, ISBN 0-521-46654-7, Zbl 0828.31001
- Sayed, A. H.; Kailath, T. (2001). "A survey of spectral factorization methods". Numerical Linear Algebra with Applications. 8 (6–7): 467–496. doi:10.1002/nla.250. ISSN 1070-5325.