Analytic properties o f Dirac operators

PROOF This is in fact a general property of differential operators, and is based on the existence of a so-called ‘formal adjoint’ operator D * such that

(x , D ' F £s) + (x ,IF£, D' ] s)

(y , F£s) + (x, [F£,D' ] s ) .