\(L^{\infty}\)-bounds for solutions of pseudo-differential boundary problems in Dirichlet spaces (Q582484)

Let \(\Omega\) be an open set in \(R^ n\) and let \(p>2\). Let B be a real valued bilinear form with \(D(B)\subset L^ 2(\Omega).\) We consider the solutions of the representation problem \[ (1)\quad B(u,w)=(f,w)_ 0,\quad where\quad f\in L^ p(\Omega)\cap L^ 2(\Omega). \] We make the following assumptions. (A.1) \(D(B)\subset L^ 2(\Omega)\cap L^{p'}(\Omega).\) (A.2) For \(u\in D(B)\) and \(k\geq 0\) we require that \((u-k)^+\in D(B).\) (A.3) \(B=H+G\), where H and G are two real valued bilinear forms with common domain D(B) such that i) with some bilinear form E, also defined on D(B), it holds \(E(u,v)\leq c_ 0H(u,v)\) and \(E(v,v)\leq E(u,v)\) for all \(u\in D(B)\), \(v=(u-k)^+.\) ii) for some \(q>2\) and all \(u\in D(B)\), \(\| u\|^ 2_{L^ q}\leq c_ 1\{E(u,u)+\| u\|^ 2_ 0\},\) iii) \(| G(u,w)| \leq c\| w\|_{L^ q}\) for all \(w\in C_ 0^{\infty}(\Omega)\) (or \(L^ q(\Omega)).\) Then this paper shows a result on \(L^{\infty}\)-bounds for solutions of (1). When \(B=E\) the main theorem of the present paper generalizes the results obtained by Stampaccia in the case of a local form. The case of a non-local form \(B=E\) was handled by M. Fukushima.