*preprint*

**Inserted:** 17 oct 2023

**Last Updated:** 17 oct 2023

**Year:** 2016

**Abstract:**

The very definition of an Einstein metric implies that all its geometry is encoded in the Weyl tensor. With this in mind, in this paper we derive higher-order Bochner type formulas for the Weyl tensor on a four dimensional Einstein manifold. In particular, we prove a second Bochner type formula which, formally, extends to the covariant derivative level the classical one for the Weyl tensor obtained by Derdzinski in 1983. As a consequence, we deduce some integral identities involving the Weyl tensor and its derivatives on a compact four dimensional Einstein manifold.