Creo que, en una notación más convencional, estás diciendo que si
H=a†ihyo jaj
con
hyo j
una matriz autoadjunta que representa un primer hamiltoniano cuantificado y
a
,
a†
Fermi o bosónicos creadores y aniquiladores, luego
[ H,a†k] = −a†ihyo k,[ H,ak] =hk yoai
Ambos se siguen de
[ AB , C _] = UN [ segundo , C] + [ A , C] segundo
en el caso de Bose o
[ AB , C _] = UN { segundo , C} − { UN , C} segundo
en el caso Fermi. Por supuesto, si está preocupado por los aspectos del análisis funcional o en qué topología de operadores tenemos convergencia, entonces se necesita más.