Hardy type inequalities and parametric Lamb equation (Q783657)

Let \(\Omega\) be an open convex subset of \(\mathbb R^n\) with finite inner radius \(\delta_0:= \sup _{x \in \Omega} \delta(x)\), where \(\delta(x):=\text{ dist}(x,\partial\Omega).\) Given \(m>1\) and \(\nu \in [0, 1/m],\) let \(j_\nu\) be the first positive zero of the Bessel function \(J_\nu\) of order \(\nu\). If \(\lambda\in [0,(1+\nu m)/2)\), denote by \(c_\nu(m)\) a number satisfying the conditions \[ (1-2\lambda) J_\nu\left(\frac{2}{m} c_\nu(m)\right)+2c_\nu(m)J'_\nu\left(\frac{2}{m} c_\nu(m)\right)=0 \quad\text{and}\quad \frac{2}{m} c_\nu(m)\in(0,j_\nu). \] Suppose that \(p\ge 1\) and \(f \in C^1_0(\Omega)\). Then \begin{multline*} (1-p\,\nu^2m^2)\int_\Omega \frac{|f(x)|^p}{\delta(x)^2}\ dx+\frac{4p\,(c^2_\nu(m)+(m-1)(\lambda-\lambda^2)}{\delta_0^m} \int_\Omega \frac{|f(x)|^p}{\delta(x)^{2-m}}\ dx\le\\ p^p(2(1+\nu m)-4\lambda^2)^p \int_\Omega\frac{|\nabla f(x)|^p}{\delta(x)^{2-p}}\ dx. \end{multline*} This is one of typical results of the paper. To get it, the authors first prove the corresponding one-dimensional inequality and then they apply \textit{F. G. Avkhadiev}'s method from [Lobachevskii J. Math. 21, 3--31 (2006; Zbl 1120.26008)] to arrive at the multidimensional case.