Hardy and Rellich inequalities with exact missing terms on homogeneous groups

We prove several identities on homogeneous groups that imply the Hardy and Rellich inequalities for Bessel pairs. These equalities give a straightforward understanding of some of the Hardy and Rellich inequalities as well as the absence of nontrivial optimizers and the existence/nonexistence of “virtual”extremizers.