和函数与里奇曲率张量联系在一起的公式。它以美国数学家所罗门·博赫纳的名字命名。
数学表述.具体地说，如果 formula_2 是一个调和函数（即formula_3，其中 formula_4 是关于度规 formula_5 的拉普拉斯算子），则其中 formula_7 是 formula_8 关于 formula_9的梯度。 博赫纳使用这一公式来证明博赫纳消没定理。