Bochner-Simons formulas and the rigidity of biharmonic submanifolds

We find some integral formulas of Simons and Bochner type and use them to study biharmonic and biconservative submanifolds in space forms. We obtain rigidity results that in the biharmonic case represent partial answers to two well-known conjectures on such submanifolds in spheres.