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. It is especially useful in quantum mechanics, condensed matter physics, and other areas where understanding the properties of operators related to energy or observables is important.
Background If f ∈ C c ∞ ( R ) {\displaystyle f\in C_{c}^{\infty }(\mathbb {R} )} , then we can find a function f ~ ∈ C c ∞ ( C ) {\displaystyle {\tilde {f}}\in C_{c}^{\infty }(\mathbb {C} )} such that f ~ | R = f {\displaystyle {\tilde {f}}|_{\mathbb {R} }=f} , and for each N ≥ 0 {\displaystyle N\geq 0} , there exists a C N > 0 {\displaystyle C_{N}>0} such that
| ∂ ¯ f ~ | ≤ C N | Im z | N . {\displaystyle |{\bar {\partial }}{\tilde {f}}|\leq C_{N}|\operatorname {Im} z|^{N}.}
Such a function f ~ {\displaystyle {\tilde {f}}} is called an almost analytic extension of f {\displaystyle f} .
The formula If f ∈ C c ∞ ( R ) {\displaystyle f\in C_{c}^{\infty }(\mathbb {R} )} and A {\displaystyle A} is a self-adjoint operator on a Hilbert space, then
f ( A ) = 1 π ∫ C ∂ ¯ f ~ ( z ) ( z − A ) − 1 d x d y {\displaystyle f(A)={\frac {1}{\pi }}\int _{\mathbb {C} }{\bar {\partial }}{\tilde {f}}(z)(z-A)^{-1}\,dx\,dy}
where f ~ {\displaystyle {\tilde {f}}} is an almost analytic extension of f {\displaystyle f} , and ∂ ¯ z := 1 2 ( ∂ R e ( z ) + i ∂ I m ( z ) ) {\displaystyle {\bar {\partial }}_{z}:={\frac {1}{2}}(\partial _{Re(z)}+i\partial _{Im(z)})} .
See also Cauchy's integral formula
References
Further reading Lecture notes on Weyl's law Spectral Measures: Helffer-Sjöstrand
