Formal self-adjointness of a family of conformally invariant bidifferential operators

Jeffrey S. Case, Zetian Yan

We prove that the curved Ovsienko--Redou operators and a related family of differential operators are formally self-adjoint. This verifies two conjectures of Case, Lin, and Yuan.