Hardy-type inequalities in arbitrary domains with finite inner radius (Q483426)

Some Hardy-type inequalities in spatial domains with finite inner radius are proved. The main theorem is the following. { Theorem 1.} Assume that \(\Omega \subset \mathbb{R}^n \) is an arbitrary open set with finite inner radius \(\delta_0(\Omega):=\sup \{ \text{dist} (x,\partial \Omega) \;: \;x\in \Omega\}\), \(n\geq 1\) and \(\delta:= \) dist \((x, \partial \Omega)\). If \(1\leq p<\infty\) and \(-\infty <s< n\), then \[ \int_{\Omega} \frac{|f|^p}{\delta^s}dx \leq \left( \frac{p}{n-s}\right)^p \delta_0(\Omega)^{p(n-s)} \int_\Omega \frac{|\nabla f|^p}{\delta^{s-p+(n-s)p}} dx, \;\;\;f\in C_0^1(\Omega). \] In convex domains we have the following result. \smallskip { Theorem 2.} Let \(\Omega \subset \mathbb{R}^n\) be an open set with finite inner radius \(\delta_0(\Omega)\), whose components are convex sets and let \(\delta:= \) dist \((x, \partial \Omega)\). If \(1\leq p<\infty\) and \(-\infty <s< 1\), then \[ \int_{\Omega} \frac{|f|^p}{\delta^s}dx \leq \left( \frac{p}{1-s}\right)^p \delta_0(\Omega)^{p(1-s)} \int_\Omega \frac{|\nabla f|^p}{\delta^{s-sp}} dx, \;\;\;f\in C_0^1(\Omega). \] Furthermore, \[ \int_{\Omega} \frac{|f|^p}{\delta}dx \leq p^p \int_\Omega \frac{|\nabla f|^p}{\delta^{1-p}} \left(\log \frac{\delta_0}{\delta}\right)^p dx, \;\;\;f\in C_0^1(\Omega). \]