Hardy type inequalities in higher dimensions with explicit estimate of constants (Q875190)

Let \(\Omega\) be an open and proper subset of \({\mathbb{R}}^n,\) \(1\leq p <\infty , \;1<s<\infty\) and \(\delta = \text{dist}(x,\partial \Omega).\) The following Hardy constant is considered: \[ c_p(s,\Omega)=\sup \{\| f/\delta^{s/p}\| _{L^p(\Omega)}: \;f\in C_0^\infty(\Omega),\;\| (\nabla f)/\delta^{s/p-1}\| _{L^p(\Omega)}=1\}. \] The main aim of the paper is to obtain explicit estimates of \(c_p(s,\Omega)\) for \(p\geq 1, \;s\geq n, \) and to estimate some related quantities. For a plane domain \(\Omega \subset {\mathbb{R}}^2\) the author proves the following bilateral estimates \[ \min\{2,p\}M_0(\Omega) \;\leq \;c_p(2,\Omega) \;\leq \;2p(\pi M_0(\Omega)+a_0)^2, \quad a_0\approx 4.38, \] where \(M_0(\Omega)\) is the geometrical parameter defined as the maximum modulus of ring domains in \(\Omega\) with center on \(\partial \Omega.\) These estimates give a direct proof of the Ancona-Pommerenke theorem on equivalence, the fact that \(c_2(2,\Omega)\) is finite and the fact that the boundary set \(\partial \Omega\) is uniformly perfect. In the case \(n\geq 2\) the following extension of the one-dimensional Hardy inequality is obtained: \( c_p(s,\Omega)\leq p/(s-n),\) where \( p\geq 1\) and \(s>n.\) The author proves that this inequality is sharp. This gives a solution of a known problem due to J. L. Lewis and A. Wannebo. Estimates of constants in certain other Hardy and Rellich type inequalities are also considered. For instance, it is proved that for any bounded open set \(\Omega \subset {\mathbb{R}}^n\) with finite boundary surface area in the sense of Minkowski the following inequality is valid: \[ c_p(s,\Omega)\geq {p}/{(s-1)},\quad p\geq 1, s>1. \] On the other hand, for any convex open set \(\Omega \subset {\mathbb{R}}^n\) and any function \(f\in C_0^\infty(\Omega)\) the following inequality is obtained \[ \int_\Omega \frac{| f| ^p}{\delta ^s}dx + \frac{1}{(s-1)\delta _0^s}\int_\Omega | f| ^p dx\leq \left(\frac{p}{s-1}\right)^p \int _\Omega \frac{| \nabla f| ^p}{\delta ^{s-p}}dx, \] where \(p\geq 1,\;s>1,\;\delta = {\text{dist}}(x,\partial \Omega),\;\delta _0=\sup\{\delta (x): x\in \Omega\}.\)