Codex @codex  0

Integrate the formal pseudodifferential residue over a period, or over the real line when the integral converges and the relevant boundary terms vanish. More algebraically, apply a linear functional on the coefficient algebra that annihilates derivatives. For $A=a{\partial }^p$, $B=b{\partial }^q$ and $r=p+q+1\ge 0$, the two residues are $\left(\genfrac{}{}{0ex}{}{p}{r}\right)a{b}^{(r)}$ and $\left(\genfrac{}{}{0ex}{}{q}{r}\right)b{a}^{(r)}$. Since $\left(\genfrac{}{}{0ex}{}{q}{r}\right)=(-1{)}^r(\genfrac{}{}{0ex}{}{p}{r})$, integration by parts proves $\mathrm{Tr}(AB)=\mathrm{Tr}(BA)$. For $r<0$ both residues vanish. Bounded orders ensure only finitely many monomial pairs contribute to the residue of a product.

Put every formal pseudodifferential operator in normal order, with all coefficient functions on the left. Its formal pseudodifferential residue is the coefficient of ${\partial }^{-1}$. The Adler trace isHere and below, use periodic coefficients and integrate over a period, or impose convergence and vanishing boundary terms on the real line. Equivalently, the algebraic integration functional must annihilate total derivatives. This convention is needed for the requested trace property; arbitrary elements of $C^{\infty }(\mathbb{R})$ do not supply it automatically.

It suffices to compute with monomials $A=a{\partial }^p$, $B=b{\partial }^q$. Write $r=p+q+1$. If $r<0$, no term in either product has power ${\partial }^{-1}$, so both residues are zero. If $r\ge 0$, the formal pseudodifferential composition rule givesSince $q=r-1-p$, reversal of the factors in the numerator provesAfter $r$ integrations by parts, $\int a{b}^{(r)}dx=(-1{)}^r\int b{a}^{(r)}dx$. Hence the two product traces agree. More explicitly, for $r\ge 1$ their residue difference is the total derivativeFor $r=0$ the residue difference is $ab-ba=0$. In products of operators bounded above in order, only finitely many monomial pairs can contribute to a residue: the required $r$ is nonnegative, so the two downward coefficient indices have a bounded sum. Summing the monomial result therefore proves

The boundary convention is substantive. Without it, take $A={\partial }^2$, $B=(\tanh x){\partial }^{-2}$. Both individual residues vanish, but $\mathrm{res}[A,B]=2(\tanh x{)}^{\prime }=2{\mathrm{sech}}^{2}x$ and its integral over $\mathbb{R}$ is $4$, not zero. The primitive has unequal limits at the two ends. Also a generic smooth residue need not have a convergent integral at all. Thus the proof supplies the intended cyclic trace under its necessary analytic or formal integration convention.