For a differentiable family of invertible linear operators, differentiate the identity without changing the factor order:
Multiplication on the right by gives the derivative of matrix inversion,
Commuting past the derivative would generally be invalid.
Take an orthonormal basis and insert its completeness relation:
No normalization or orthogonality of is required. This is the trace of a rank-one operator; in a Hilbert space the sum converges by the Cauchy-Schwarz inequality.
In a finite-dimensional basis, interchange the two finite sums:
This cyclic property of the trace does not assert or permit arbitrary reordering of three factors. For infinite-dimensional linear operators, the traces and rearrangements need hypotheses, for example one trace-class operator and one bounded operator; an arbitrary pair of unbounded linear operators is not covered.
For real , unitarity to first order gives
Hence the generator of an infinitesimal unitary transformation obeys : it is Hermitian. More precisely, is a differentiable unitary family at the identity. The omitted second-order terms matter if is finite.
Set . The product rule gives
Multiplying by the integrating factor and integrating yields the commutator of an operator with an exponential:
Equivalently, differentiate directly; its derivative is the integrand and it vanishes at zero. The argument is exact for finite matrices, and for bounded operators with their norm-convergent exponentials; unbounded linear operators require an appropriate common domain.

Articles by others on the same topic (0)

There are currently no matching articles.