Sobolev inequalities in arbitrary domains (Q261196): Difference between revisions

Let \(n\geq2\) and \(\Omega\subset\mathbb{R}^n\) be an open set. Moreover, assume that \(\alpha\in(n-1,n]\) and \(\mu\) is a Borel measure on \(\Omega\) satisfying that there exists a positive constant \(C_{\mu}\), depending on \(\mu\), such that, for any \(x\in\Omega\) and \(r\in(0,\infty)\), \[ \mu(B(x,r)\cap\Omega)\leq C_{\mu}r^{\alpha}, \] where \(B(x,r)\) denotes the ball, centered at \(x\), with the radius \(r\). Let \(X(\Omega)\) be a Banach function space on \(\Omega\) with respect to the usual Lebesgue measure and \(Y(\Omega,\mu)\) a Banach function space on \(\Omega\) with respect to the Borel measure \(\mu\). For any \(m\in\mathbb{N}\), denote by \(V^mX(\Omega)\) the Sobolev type space of those functions in \(\Omega\) whose \(m\)-th order weak derivatives belong to the space \(X(\Omega)\). Furthermore, for any \(k\in\mathbb{N}\cup\{0\}\), let \(C_b^k(\overline{\Omega})\) be the space of all real-valued functions whose \(k\)-th order derivatives in \(\Omega\) are continuous up to the boundary and whose supports are bounded. Let \(m\in\mathbb{N} \) and \(h\in\mathbb{N}\cup\{0\}\) satisfy \(0<m-h<n\). Denote by \(\lfloor\frac{m-1}{2}\rfloor\) the maximal integer not more than \(\frac{m-1}{2}\). Assume that \(X(\Omega)\) and \(Y(\Omega,\mu)\) are rearrangement invariant Banach function spaces on \(\Omega\). In this article, the authors prove that, for any \(u\in V^mX(\Omega)\cap C_b^{\lfloor\frac{m-1}{2}\rfloor}(\overline{\Omega})\), \[ \|\nabla^h u\|_{Y(\Omega,\mu)}\leq C\left[\|\nabla^m u\|_{X(\Omega)} +\mathcal{N}_{\partial\Omega}(u)\right], \] where \(C\) is a positive constant independent of \(u\) and \(\mathcal{N}_{\partial\Omega}(\cdot)\) denotes a (non-standard) semi-norm on the boundary \(\partial\Omega\) of \(\Omega\) depending on the trace of the function \(u\) and of its derivatives up to the order \(\lfloor\frac{m-1}{2}\rfloor\).