Bochner formülü
Matematikte bir alt dalı olan diferansiyel geometride Bochner formülü bir Riemann manifoldu üzerinde tanımlı harmonik fonksiyonları Ricci eğriliğiyle ilişkilendiren bir ifadedir. Bu ifade Galiçya doğumlu Amerikalı matematikçi Salomon Bochner'in adını taşımaktadır. (M, g) Riemann manifoldu olsun ve u \colon M \rightarrow \mathbb{R} ise sonsuz türevlenebilir bir fonksiyon olsun.