Sullo scarto dalla permutabilità nella teoria degli operatori. (Q2601841)

In einem nichtkommutativen Ring werde bei festem \(H\) eine ``Ableitung'' \(K' = HK - KH\) definiert. Dann wird die Formel \[ nKH^{n-1}=\textstyle \sum\limits_{k=0}^{n-1}\displaystyle \binom{n}{k}\,\beta _k\textstyle \sum\limits_{i=k+1}^{n}\displaystyle \kern-3pt H^{i-k-1}\,K^{(k)}\,H^{n-i} \] ausgerechnet, wo die \(\beta _k\) durch \[ \frac{x}{e^x-1}=\textstyle \sum\limits_{k}\,\beta _kx^k \] definiert sind.