Hyperbolic Laplace Operator and the Weinstein Equation in ${\mathbb{R}^3}$

Abstract

We study the Weinstein equation

$$\Delta u - \frac{k}{{x}_{2}} \frac{\partial}{\partial{x}_{2}} + \frac{l}{x^{2}_{2}}u = 0$$

, on the upper half space ${\mathbb{R}^3_{+} = \{ (x_{0}, x_{1}, x_{2}) \in \mathbb{R}^{3} | x_2 > 0\}}$ in case ${4l \leq (k + 1)^{2}}$ . If l =  0 then the operator ${x^{2k}_{2} (\Delta - \frac{k}{x_{2}} \frac{\partial}{\partial{x}_{2}})}$ is the Laplace- Beltrami operator of the Riemannian metric ${ds^2 = x^{-2k}_{2} (\sum^{2}_{i = 0} dx^{2}_{i})}$ . The general case ${\mathbb{R}^{n}_{+}}$ has been studied earlier by the authors, but the results are improved in case ${\mathbb{R}^3_{+}}$ . If k =  1 then the Riemannian metric is the hyperbolic distance of Poincaré upper half-space. The Weinstein equation is connected to the axially symmetric potentials. We compute solutions of the Weinstein equation depending only on the hyperbolic distance and x ₂. The solutions of the Weinstein equation form a socalled Brelot harmonic space and therefore it is known that they satisfy the mean value properties with respect to the harmonic measure. However, without using the theory of Brelot harmonic spaces, we present the explicit mean value properties which give a formula for a harmonic measure evaluated in the center point of the hyperbolic ball. Earlier these results were proved only for k =  1 and l =  0 or k =  1 and l =  1. We also compute the fundamental solutions. The main tools are the hyperbolic metric and its invariance properties. In the consecutive papers, these results are applied to find explicit kernels for k-hypermonogenic functions that are higher dimensional generalizations of complex holomorphic functions.