Martin boundary for \(\Delta\)-P (Q801441): Difference between revisions

Let \(\Omega\) be a bounded domain in \({\mathbb{R}}^ n\), \(n\geq 2\), which is moreover of bounded curvature, i.e. there exists a positive number d such that for each point \(y\in \partial \Omega\) there exist points \(x_ y\) and \(x'_ y\) for which \(B(x_ y,d)\subset \Omega\), \(B(x'_ y,d)\subset {\mathbb{R}}^ n\setminus {\bar \Omega}\) and \(y\in \partial B(x_ y,d)\cap \partial B(x'_ y,d).\) Let \(\Delta\) denote the Laplacian and let P be a non-negative locally Hölder continuous function on \(\Omega\) ; put \(L_ P=\Delta -P.\) For the Martin boundary of \(\Omega\) w.r.t. \(L_ P\) to be homeomorphic to the Euclidean boundary \(\partial \Omega\), it is proved that one of the following conditions is sufficient: (a) P is of class \(C^{1,\alpha}\) \((\alpha >0)\) and \(\int^{+\infty}_{0}r \sup_{x\in \Omega_ r}P(x) dr<+\infty,\) where \(\Omega_ r=\{x\in \Omega:dist(x,\partial \Omega)\geq r\};\) (b) there exists \(q>n/2\) for which \(P\in L^ q(\Omega).\) As a corollary the global integrability is obtained of non-negative \(L_ P\)-superharmonic functions, i.e. lower semi-continuous functions u for which \(-L_ Pu\geq 0\) in distributional sense. An example of a function P is given for which the Martin boundary w.r.t. \(L_ P\) is not homeomorphic to the Euclidean boundary.