On the existence of polyharmonic functions in Lebesgue classes (Q1089470)

Let \(H_ m(D)\) denote the space of functions which are polyharmonic of order m in a domain D in \(R^ n\). A subspace \({\mathcal H}\) of \(H_ m(D)\) is called nontrivial if it contains an element which cannot be extended to an element of \(H_ m(R^ n)\). Sufficient conditions for the nontriviality of H are given in the cases where \({\mathcal H}=H_ m(D)\cap L^ q(D)\) and \({\mathcal H}=H_ m(D)\cap BL_ k(L^ q(D))\); here \(q>1\), k is an integer such that \(1\leq k\leq 2m\), and \(BL_ k(L^ q(D))\) is the space of functions in \(L^ q_{loc}(D)\) all of whose k-th order distributional derivatives are in \(L^ q(D).\) Typical results state that if, in terms of Bessel capacity, \(R^ n\setminus D\) is sufficiently large, then \({\mathcal H}\) is nontrivial. For example, if 2mp\(\leq n\) and \(B_{2m,p}(R^ n\setminus D)>0\), where \(1/p+1/q=1\), then \(H_ m(D)\cap L^ q(D)\) is nontrivial.