[Math] Generalization of Cauchy Residue theorem to Multi-dimensional holomorphic functions

algebraic-geometrycomplex-analysisseveral-complex-variables

We know Cauchy Residue theorem from the Complex analysis. however I wonder if there is a kind of Generalization of Cauchy integral and Residue theorem to the complex multidimensional holomorphic function too ?
if such theorem exists, please mention any possible application of this theorem too.
Can this theorem help in Iterative elimination of roots of a polynomial equations system ?

Best Answer

Cauchy's integral formula has a straight-forward generalization to polydiscs. If $f$ is holomorphic on (a neighbourhood) of the polydisc $\Omega = \mathbb{D}(z_1,r_1) \times \mathbb{D}(z_2,r_2) \times \cdots \times \mathbb{D}(z_n,r_n)$, and $a \in \Omega$, then

$$ f(a) = \frac{1}{(2\pi i)^n} \int_{|z_1|=r_1} \int_{|z_2|=r_2}\cdots\int_{|z_n|=r_n} \frac{f(z_1, z_2, \ldots, z_n)}{(z_1-a_1)(z_2-a_2)\cdots(z_n-a_n)}\,dz_1\cdots dz_n. $$

The really fascinating thing is that we are integrating just on a tiny part of the boundary of $\Omega$.

For more general domains $\Omega \subset \mathbb{C}^n$, you have the Bochner-Martinelli integral formula, and there are lots of other integral representation formulas. Keywords: Leray and Koppelman integral formulas. See for example Range: Holomorphic Functions and Integral Representations in Several Complex Variables for details.

Regarding generalizations of residues to several complex variables, see this recent question.

Related Question