ボホナーの公式

数学におけるボホナーの公式はリーマン多様体formula_1における調和関数をリッチテンソルに関連付けるもの。その名はアメリカの数学者サロモン・ボホナーにちなむ。
公式の内容.
より具体的に言うと、もしformula_2 が調和関数ならば、すなわちformula_3（formula_4はメトリックformula_5に関するラプラシアン）ならば
formula_7は、formula_8のformula_9に関するグラディエントである。ボホナーはボホナー消滅定理を証明するのにこの公式を用いた。