arXiv++ Combinatorics

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.