Boundary behavior of an integral of logarithmic residue type (Q1398514)

Let \(D\) be a bounded domain in \(\mathbb C^n\) with a piecewise smooth boundary \(\partial D\) and \(w =\psi(z)\) a holomorphic mapping from \(\overline D\) to \(\mathbb C^n\), possessing a finite number of zeros \(E_\psi\) on \(\overline D\). Let \(B(z,R)=\{\zeta:| \zeta - z| <R\}\) be the ball centered at the point \(z\) of the radius \(R > 0\), while \(S(z, R) =\partial B(z, R)\). Suppose that \(a\) is a zero of the mapping \(\psi\) and \(B(a,R)\) does not contain other zeros of \(\psi\). Then a ball \(B(0,r)\) can be found such that for almost all points \(\zeta\in B(0,r)\) the mapping \(w =\psi-\zeta\) has the same number of zeros in \(B(a,R)\). This number is called the multiplicity of the zero \(a\) of the mapping \(\psi\) and is denoted by \(\mu_a\). For a point \(z\in E_\psi\cap\partial D\), consider the ball \(B(z,R)\) which does not contain other zeros of \(\psi\), and put \[ \tau_\psi(z)=\lim_{r\to+0} {\mathcal L^{2n-1}[S(0,r)\cap\psi(B(z,R)\cap D)]}/{\mathcal L^{2n-1}[S(0,r)]}, \] where \(\mathcal L^{2n-1}\) is the \((2n-1)\)-dimensional Lebesgue measure. The author obtains the formula for the multidimensional logarithmic residue with singularities on domain's boundary: If a function \(F\) satisfies on \(\overline D\) the Hölder condition with exponent \(\gamma > 0\) and is holomorphic in \(D\), then \[ \text{v.p.}\int_{\partial D}F(\zeta)U(\psi(\zeta))=\sum_{a\in E_\psi\cap D}\mu_aF(a)+ \sum_{a\in E_\psi\cap\partial D}\tau_\psi(a)\mu_a F(a). \] If the zeros of the mapping \(\psi\) do not lie on the boundary, then it turns into the ordinary formula of logarithmic residue.