Sharp constants in Hardy type inequalities (Q906373)

Hardy's inequality in one dimension has been extended to convex domains in several dimensions with the same constants. The present author has further extended particular cases of the result to certain non-convex domains [Russ. Math. 57, No. 9, 49--52 (2013; Zbl 1288.26015); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2013, No. 9, 59--63 (2013); Russ. Math. 59, No. 1, 71--74 (2015; Zbl 1325.26044); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2015, No. 1, 84--88 (2015)]. In this paper, he further extends the result as follows. Let \(d\geq 2\), \(2\leq p<\infty\), \(1<s<\infty\) and \(\Omega\subset \mathbb R^d\), \(\Omega\neq \mathbb R^d\) a domain. \(\Omega\) has the following properties: {\parindent=6mm \begin{itemize}\item[(1)] \(\Omega =\bigcup_{k=1}^{\infty}\Omega_k\), \item[(2)] \(\Omega_k\) is a domain, \(\Omega_k\subseteq\Omega_{k+1}\), \(k\geq 1\), \item[(3)] each \(\Omega_k\) is \(r_d\)-close-to-convex of radius \(r_d- \delta_o(\Omega)/\Lambda_d(s)\), \item[(4)] \(\lim_{k\to\infty} \mathrm{dist}(x,\partial\Omega_k )= \mathrm{dist}(x, \partial \Omega)\) uniformly on any compact \(K\subset \Omega\). \end{itemize}} Then \[ \int_{\Omega}{{|\nabla f|^p}\over {\delta^{s-p}}}\geq{{(s-1)^p}\over{p^p}}\int_{\Omega}{{|f|^p}\over {\delta^s}} . \] The methods of the proof follow those in the earlier paper mentioned above and in the following lemma. Let \(1\leq d\), \(s <\infty\), then \(\exists\) a number \(\Lambda_d(s)\) such that if \(1< \rho\leq 1+\Lambda_d(s)\) and if \(2\leq p<\infty\) \[ \int_1^{\rho}{{|f'(r)|^p}\over{(r-1)^{s-p}}}r^{d-1} \text{d} r>{{(s-1)^p}\over{p^p}}\int_1^{\rho}{{|f(r)|^p}\over{(r-1)^s}}r^{d-1} \text{d}r, \] where \(f:[1, \rho]\mapsto\mathbb R\) is not identically zero, is absolutely continuous with \(f(1) =0\) and the left-hand side of the inequality finite. The values of \(\Lambda_d(s)\) given and of the constant on the right-hand side are best possible.