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 givesHence 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 givesMultiplying 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
There are currently no matching articles.