On the Bergmann kernel function in hyperholomorphic analysis (Q674548)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the Bergmann kernel function in hyperholomorphic analysis
scientific article

    Statements

    On the Bergmann kernel function in hyperholomorphic analysis (English)
    0 references
    17 August 1997
    0 references
    The hyperholomorphic Bergman kernel function \({}_\psi{\mathcal B}\) for a domain \(\Omega\subset\mathbf R ^4\) is introduced as a special quaternionic ``derivative'' of the Green function for \(\Omega\). It is shown that \({}_\psi{\mathcal B}\) is hyperholomorphic, Hermitian symmetric and reproduces hyperholomorphic functions. An integral representation of \({}_\psi{\mathcal B} \) is further obtained which expresses \({}_\psi{\mathcal B}\) as a sum of a function continuous on \(\overline\Omega\times\overline\Omega\) and an integral over \(\partial\Omega\) of a differential form on \(\mathbf R ^4\) which does not depend on \(\Omega\). As a consequence, the equality \({}^\psi B =I-\bar S\cdot S + C\) is proved for the Bergman projector \({}^\psi B \), where \(\bar S,S\) are certain singular integral operators and \(C\) is a compact operator. In more detail, let \(\psi=\{\psi^k\}_{k=0}^3\) be an orthonormal basis for the quaternions \(\mathbf H(\simeq\mathbf R ^4)\) over \({\mathbf R}\) and \(g\) the Green function for the domain \(\Omega\). A function \(f:\Omega\to\mathbf H\) is called (left-) \(\psi\)-hyperholomorphic if \({}^\psi D [f]:=\sum_{k=0}^3 \psi^k \frac {\partial f}{\partial x_k}=0\), and the hyperholomorphic Bergman kernel is defined by \({}_\psi{\mathcal B}(x,\xi)={}^{\bar\psi} D_x \cdot{}^\psi D _\xi[g](x,\xi)\). Let further \({}^\psi B [f](x)=\int_\Omega {}_\psi{\mathcal B} (x,\xi)f(\xi) d\xi\) (the Bergman operator), \({}^\psi T [f](x)=-\int_\Omega K_\psi(\tau-x) f(\tau) d\tau\), where \(K_\psi(x)=(2\pi^2|x|^4)^{-1} \sum_{k=0}^3 \bar\psi^k x_k\) is the fundamental solution of the operator \({}^\psi D \), and for \(\phi=\{\phi^k\}_{k=0}^3\) another orthonormal basis of \(\mathbf H \) such that \(\sum_{k=0}^3 \phi^k \cdot \psi^k =0\) introduce the operator \({}^{\phi,\psi}S [f](x)=2\pi^{-2}\int_\Omega (\sum_{k=0}^3 (\tau_k-x_k)\bar\psi^k) (\sum_{k=0}^3 (\tau_k-x_k)\bar\phi^k) |\tau-x|^{-6}f(\tau) d\tau\). Then \({}^\psi B \), \({}^\psi T \) and \({}^{\phi,\psi}S\) define bounded linear operators on the right \(\mathbf H \)-modules \(L_p(\Omega;\mathbf H )\) (\(p>1\)) and \(C^{0,\mu}(\Omega;\mathbf H )\) (\(0<\mu<1\)), \({}^\psi B ^2={}^\psi B \), \({}^\psi D \cdot{}^\psi T =I\), \({}^\phi D\cdot{}^{\bar\psi}T= {}^{\phi,\psi}S\), and \({}^\psi B =I-{}^{\bar\psi,\bar\phi}S \cdot{}^{\phi,\psi}S+{}^{\phi,\psi}C\) where \({}^{\phi,\psi}C\) is an integral operator whose kernel is continuous on \(\overline\Omega\times\overline\Omega\). An interpretation of these results in two-dimensional complex analysis is also given.
    0 references
    Bergman kernel function
    0 references
    hyperholomorphic functions
    0 references
    integral representation
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references