On an analog of the Weyl integral formula for the polyhedra having not piecewise smooth boundaries (Q546232)

For \(z=(z_1,\dots,z_n)\) and \(w=(w_1,\dots,w_n)\in\mathbb C^n\), let \(\langle z,w\rangle:=\sum_{k=1}^nz_k\overline w_k\) and \(\|z\|:=\sqrt{\langle z,z\rangle}\). Let \[ \mathbb L_n:=\Big\{z\in\mathbb C^n:\max\big(2\|z\|^2-|\langle z,\overline z\rangle|^2,\|z\|\big)<1\Big\} \] denote the unit Lie ball in \(\mathbb C^n\), and let \(\mathbb L_n(r)\) denote the image of \(\mathbb L_n\) under the dilation \(z\mapsto z/r\), \(r>0\). It was proved by \textit{L. K. Hua} [Garmoniceskij analiz funkcij mnogich kompleksnych peremennych v klassiceskich oblastjach (Russian). Moskau: Verlag für ausländische Literatur (1959; Zbl 0090.09601)] that, for every function \(h\) which is holomorphic in \(\mathbb L_n\) and continuous in \(\Gamma\cup\mathbb L_n\), \[ h(z)=C_n\int_{\Gamma}\frac{h(\xi)d\,\xi}{\langle\xi-z,\overline \xi-\overline z \rangle^{n/2}}, \] where \(z\in\mathbb L_n\), \(\Gamma:=\big\{z\in\mathbb C^n:|\langle z,\overline z \rangle|=\|z\|=1\big\}\), and \(C_n\) is chosen such that \[ C_n\int_{\Gamma}\frac{d\,\xi}{\langle\xi,\overline \xi\rangle^{n/2}}=1. \] The authors give some generalisation of the above representation similar to the well-known Bergman-Weyl representation in polyhedra. For a holomorphic mapping \(f:G\rightarrow\mathbb C^n\) in some domain \(G\subset\mathbb C^n\), let \(D_{f,r}:=f^{-1}(\mathbb L_n(r))\). It follows from Hefer's theorem that, for some neighborhood \(U\) of \(D_{f,r}\), there exist holomorphic functions \(P_{\nu}^k\) on \(U\times U\) such that \[ f_k(\xi)-f_k(z)=\sum_{l=1}^n(\xi_l-z_l)P_l^k(\xi,z),\quad k=1,\dots,n,\quad\xi,z\in U. \] Denote by \(H\) the determinant of the matrix \([P_{\nu}^k]\) of order \(n\). Then, for any function \(h\) which is holomorphic in the closure of \(D_{f,r}\), \[ h(z)=C_n\int\limits_{\Gamma_{f,r}}\frac{h(\xi)H(\xi,z)d\,\xi}{\Big\langle f(\xi)-f(z),\overline{f(\xi)}-\overline{f(z)}\Big\rangle^{n/2}},\qquad z\in D_{f,r}, \] where \[ \Gamma_{f,r}:=\Big\{z\in G:\big|\big\langle f(z),\overline{f(z)}\big\rangle\big|=\| f(z)\|=r^2\Big\}. \]