Abstract:We investigate necessary and sufficient conditions on the weights for the Hardy-Rellich inequalities to hold, and propose a new way to use the notion of Bessel pair to establish the optimal Hardy-Rellich type inequalities. Our results sharpened earlier Hardy-Rellich and Rellich type inequalities in the literature. We also study several results about the symmetry and symmetry breaking properties of the Rellich type and Hardy-Rellich type inequalities, and then partially answered an open question raised by Ghoussoub and Moradifam. Namely, we will present conditions on the weights such that the Rellich type and Hardy-Rellich type inequalities hold for all functions if and only if the same inequalities hold for all radial functions.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve are about the necessary and sufficient conditions of the weight functions in the weighted Hardy - Rellich inequalities, as well as the symmetry and symmetry - breaking characteristics of these inequalities. Specifically:
1. **Conditions of weight functions**: The paper explores under which conditions the weighted Hardy - Rellich inequalities can hold. The author proposes a new method, using the concept of Bessel pairs to establish optimal Hardy - Rellich - type inequalities, and improves the existing Hardy - Rellich and Rellich - type inequalities in the literature.
2. **Symmetry and symmetry - breaking**: The paper studies the symmetry and symmetry - breaking properties of Rellich - type and Hardy - Rellich - type inequalities. In particular, the author partially answers an open question proposed by Ghoussoub and Moradifam, that is, under what conditions these inequalities hold for all functions if and only if they hold for all radial functions.
### Main contributions
- **New Bessel - pair method**: The author proposes a new method to derive Hardy - Rellich - type inequalities by using (N + 2)-dimensional Bessel pairs, especially when the weight function \(W\) is not always non - negative.
- **Symmetry principle**: The author establishes the symmetry principle of high - order Hardy - Rellich inequalities, which is particularly important when dealing with high - order operators because the traditional Pólya - Szegő inequality is no longer applicable to high - order derivatives.
- **Conditions for preventing symmetry - breaking**: The author provides sufficient conditions to prevent symmetry - breaking and shows that in some cases, the symmetry - breaking phenomenon does occur.
### Specific results
- **Theorem 1.3**: For radial functions, if \((V_2, (W_2+N V_2'/r))\) is an (N + 2)-dimensional Bessel pair, then the inequality \(\int_{B_R} V_2(|x|)|\Delta u|^2 \, dx\geq\int_{B_R} W_2(|x|)|\nabla u|^2 \, dx\) holds. And when certain additional conditions are met, this inequality also holds for all functions.
- **Theorem 1.4**: Through a more natural condition \(V_2''(r)-3 V_2'(r)/r-(N - 5)V_2(r)/r^2\leq0\), the same result as Theorem 1.2 can be derived, but with a wider range of application.
- **Theorem 1.7**: It discusses under what conditions the Hardy - Rellich - type inequality holds for all functions if and only if it holds for all radial functions. The main contribution lies in the importance of nodes \(k = 0\) and \(k = 1\).
### Conclusion
By introducing the new Bessel - pair method and the symmetry principle, this paper not only improves the existing Hardy - Rellich inequalities, but also partially answers an important open question, providing new directions and tools for future research.