A note on the Rellich inequality on half-space (Q1980946)

The authors consider the Rellich inequality in the half-space. They prove the following identities \[\int\limits_{{\mathbb{R}}^n_+} \vert \Delta u\vert ^2 x_n^{\alpha+2} dx - \left(\frac{(\alpha+1)^2}{4}-(\alpha+2)(\alpha+1) \right) \int\limits_{{\mathbb{R}}^n_+} \vert \nabla u\vert ^2 x_n^\alpha dx \] \[ = \sum\limits_{j=1}^n \int\limits_{{\mathbb{R}}^n_+} \left\vert \nabla\left(x_n^{\frac{\alpha+1}{2}} \frac{\partial u}{\partial x_j}\right) \right\vert ^2 x_n dx \] and \[\int\limits_{{\mathbb{R}}^n_+} \vert \Delta u\vert ^2 x_n^{\alpha+2} dx - \left(\frac{(\alpha+1)^2}{4}-(\alpha+2)(\alpha+1) \right)\frac{(\alpha-1)^2}{4} \int\limits_{{\mathbb{R}}^n_+} \vert u\vert ^2 x_n^{\alpha-2} dx \] \[ = \left(\frac{(\alpha+1)^2}{4}-(\alpha+2)(\alpha+1) \right) \int\limits_{{\mathbb{R}}^n_+} \left\vert \nabla\left(x_n^{\frac{\alpha-1}{2}} u \right) \right\vert ^2 dx + \sum\limits_{j=1}^n \int\limits_{{\mathbb{R}}^n_+} \left\vert \nabla\left(x_n^{\frac{\alpha+1}{2}} \frac{\partial u}{\partial x_j}\right) \right\vert ^2 x_n dx, \] where \(\alpha \in {\mathbb{R}}, n\geq 5, u\in C_0^\infty\left({\mathbb{R}}^n\right)\). \par These identities imply the Rellich inequality with \(\alpha = -2\). Identities for other versions of Rellich-type inequalities are also proved.