No label defined (Q3978632)

Let \(\Omega^ +\) be a bounded domain in \(\mathbb{R}^ n\times]0,+\infty[\), such that if \(\Gamma^ 0=\partial\Omega^ +\cap(\mathbb{R}^ n\times\{0\})\) and \(\Gamma^ +=\partial\Omega^ +\cap(\mathbb{R}^ n\times]0,+\infty[)\) then \(\Gamma^ +\) is a \(C^ \infty\)-manifold, \(0\in\Gamma^ 0\backslash\overline{\Gamma^ +}\); let \(C^ \infty_{0,+}(\Omega^ +\cup\Gamma^ 0)\) be the set of infinitely differentiable functions on \(\overline{\Omega^ +}\) with an even extension with respect to the last variable, \(L_{2,k}(\Omega^ +)\) the space of classes of measurable functions on \(\Omega^ +\) such that \(| f|_{2,k}=\left\{\int_{\Omega^ +}| f(x)|^ 2x_{n+1}{^ kdx}\right\}^{1/2}<+\infty\); \(A:C^ \infty_{0,+}(\Omega^ +\cup\Gamma^ 0)\to L_{2,k}(\Omega^ +)\), \[ Au(x)=-\sum^{n+1}_{i=1}\partial^ 2_ iu(x)-{k\over x_{n+1}}\partial_{n+1}u(x)+q(| x|)u(x), \] where \(q\) is a measurable function on \(]0,+\infty[\), \(| q(r)|\leq Cr^{\tau-2}\), \(\tau>0\) for \(n>2\), \(\tau\geq 1/2\) for \(n=2\), \(k>0\), \(k\neq 1\); let \(\hat A\) be any positive self-adjoint extension on \(L_{2,k}(\Omega^ +)\) of \(A\) with a discrete spectrum. The author proves that the eigenfunctions of \(\hat{A}\) are in some Hölder class \(C^{\alpha,\text{loc}}(\Omega^ +\cup\Gamma^ 0)\), \(\alpha>0\). A mean value formula for the eigenfunctions of \(\hat{A}\) is also derived.