You need to know: Complex numbers, notation for the absolute value of a complex number
, function in a complex variable, meromorphic function
, poles of
and their multiplicity, integration, notation
,
notation, big O notation, notation
if
.
Background: For a meromorphic function and real
, let
be the number of poles
of
, counting multiplicity, such that
. The Nevanlinna characteristic
of
is
, where
and
. The order of a meromorphic function
is
.
The Theorem: On 6th May 2005, Yik-Man Chiang and Shao-Ji Feng submitted to The Ramanujan Journal a paper in which they proved that for every meromorphic function of order
, any fixed complex number
, and any
, we have
.
Short context: Nevanlinna characteristic measures the rate of growth of a meromorphic function
, and can be used to describe the asymptotic distribution of solutions of the equation
as
varies. The Theorem implies that
for finite order meromorphic functions. The authors demonstrate various applications of this result to, for example, difference equations.
Links: Free arxiv version of the original paper is here, journal version is here.