  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.
