De Donder Form for Second Order Gravity

We show that the De Donder form for second order gravity, defined in terms of Ostrogradski’s version of the Legendre transformation applied to all independent variables, is globally defined by its local coordinate descriptions. It is a natural differential operator applied to the diffeomorphism invariant Lagrangian of the theory.