Juhl type formulas for curved Ovsienko--Redou operators

We prove Juhl type formulas for the curved Ovsienko–Redou operators and their linear analogues, which indicate the associated formal self-adjointness, thereby confirming two conjectures of Case, Lin, and Yuan. We also offer an extension of Juhl’s original formula for the GJMS operators.