Helffer–Sjöstrand formula

The Helffer–Sjöstrand formula is a mathematical tool used in spectral theory and functional analysis to represent functions of self-adjoint operators. Named after Bernard Helffer and Johannes Sjöstrand, this formula provides a way to calculate functions of operators without requiring the operator to have a simple or explicitly known spectrum.