A. Operator Relations
A. Operator Relations A.1 Theorem 1 Let A and B be two non-commuting operators, then [1] α2 exp(αA)B exp(−αA)=B + α [A, B]+ [A, [A, B]] + .... (A.1) 2! Proof. Let f1(α)=exp(αA)B exp(−αA) , (A.2) then, one can expand f1 in Taylor series about the origin. We first evaluate the derivatives − − f1(α)=exp(αA)(AB BA)exp( αA) , so f1(0) = [A, B] . (A.3) Similarly − − f1 (α)=exp(αA)(A [A, B] [A, B] A)exp( αA) , so that f1 (0) = [A, [A, B]] . (A.4) Now, we write the Taylor’s expansion α2 f (α)=f (0) + αf (0) + f (0) + ... (A.5) 1 1 1 2! 1 or α2 exp(αA)B exp(−αA)=B + α [A, B]+ [A, [A, B]] + .. (A.6) 2! A particular case is when [A, B]=c,wherec is a c-number, then exp(αA)B exp(−αA)=B + αc , (A.7) in which case exp(αA) acts as a displacement operator. 364 A. Operator Relations A.2 Theorem 2: The Baker–Campbell–Haussdorf Relation Let A and B be two non-commuting operators such that [A, [A, B]] = [B,[A, B]] = 0 , (A.8) then α2 exp [α(A + B)] = exp αA exp αB exp − [A, B] (A.9) 2 α2 =expαB exp αA exp [A, B] . 2 Proof. Define f2(α) ≡ exp αA exp αB . (A.10) Then df (α) 2 =[A +exp(αA)B exp −(αA)]f (α) (A.11) dα 2 =(A + B + α [A, B])f2(α) , where in the last step, we used (A.6).
[Show full text]