Multi-dimensional logarithmic residues
By a logarithmic residue formula one usually understands an integral representation for the sum of the values of a holomorphic function at all the zeros of a holomorphic mapping in a given domain, where the number of times each zero is taken is equal to the multiplicity of the zero (for instance, a formula for the number of these zeros). Consider a mapping
![]() | (a1) |
which is holomorphic on the closed domain and has no zeros on
, where
is a bounded domain in
with piecewise smooth boundary
,
,
,
. Consider a function
holomorphic in
and continuous on
.
The following assertion is due to G. Roos [a1]: If the vector function is such that
on
, then
![]() | (a2) |
![]() |
Here, ,
,
, and
is the set of zeros of the mapping (a1) in
. The sum at the right-hand side of (a2) can be written as integrals of various dimensions from
to
[a1] and in terms of currents, and the corresponding integration is over the whole complex manifold (as in the Poincaré–Lelong formula and for the Coleff–Herrera residue current; [a2]).
Applications.
Applications of multi-dimensional logarithmic residues to series expansion of implicit functions, the computation of the zero-multiplicity of a holomorphic mapping and to the theory of numbers are given in [a1], [a2].
Consider the system of algebraic equations
![]() | (a3) |
where the degree of is less than
for
.
If is a polynomial of degree
, then
![]() | (a4) |
![]() |
where is the Jacobian of the system (a3) and
is the linear functional acting on the polynomials in
by associating to any such polynomial its free term (L. Aizenberg, cf. [a1]).
Using formula (a4) one can compute power sums of, for example, the first coordinates of the roots of the system (a3),
![]() |
where is the number of roots. The coefficients of the polynomial
, having roots
, are given by Waring's formula or Newton's recurrence formula. Thus, one has obtained a new method for eliminating unknowns; this method does not add extra roots and does not omit any root. This method appears to be simpler than the classical methods of elimination using the resultants of polynomials. Formula (a4) leads to a particularly simple computation when the degree of the polynomial
is small.
Example.
Consider in the three surfaces of third order
![]() | (a5) |
where ,
and
are real numbers. Let the surfaces in (a5) be in "general position" in the sense that they have
points in common in
, the maximum possible number. Fix a point
and compute, using (a4), the sum of the squares of the distances from this point to the
common points of the surfaces (a5). This sum is equal to
. If is curious that the answer does not depend on
of the
coefficients of the equations of the surfaces (a5).
Generalization.
There exists a more general formula than (a4) for systems of algebraic equations
![]() | (a6) |
where the are homogeneous polynomials with
as their highest degree while the degree of each
is less than
,
. It is assumed that the only common zero of the polynomials
is the origin (see [a1]). This generalized formula for system (a6) has found application in the determination of all stationary solutions of certain chemical kinetic equations [a3].
References
[a1] | L. Aizenberg, A.P. Yuzhakov, "Integral representation and residues in multidimensional complex analysis" , Amer. Math. Soc. (1983) |
[a2] | L. Aizenberg, A.P. Yuzhakov, A.K. Tsikh, "Multidimensional residues and applications" , Several complex variables, II , Encycl. Math. Sci. , 8 , Springer (1994) pp. 1–58 |
[a3] | V.I. Bykov, A.M. Kytmanov, M.Z. Lazman, "Elimination method in computer algebra of polynomials" , Kluwer Acad. Publ. (1997) |
Multi-dimensional logarithmic residues. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Multi-dimensional_logarithmic_residues&oldid=14334