Il calcolo Le formule sui commutatori

Nella scheda abbiamo enunciato quattro formule sui commutatori e le abbiamo usate per determinare la matrice hamiltoniana. Qui le dimostriamo.

Supponiamo che la funzione f(X)f(X) sia sviluppabile in serie di potenze

f(X)=n=+fnXnf(X)=\sum_{n=-\infty}^{+\infty}f_nX^n

La derivata di questa funzione è

df(X)dX=+fnnXn1\frac{df(X)}{dX}=\sum_{-\infty}^{+\infty}f_nnX^{n-1}

Quindi per dimostrare la 1a dobbiamo verificare la seguente identità

[K,n=+fnXn]=in=+nfnXn1\left[K,\sum_{n=-\infty}^{+\infty}f_nX^n\right]=i\sum_{n=-\infty}^{+\infty}nf_nX^{n-1}

Analogamente per la 2a dobbiamo verificare la seguente identità

[X,fnKn]=infnKn1\left[X,\sum_{-\infty}^\infty f_nK^n\right]=-i\sum_{-\infty}^\infty nf_nK^{n-1}

Noi dimostreremo che i termini delle sommatorie ai primi membri sono uguali a uno a uno ai termini delle sommatorie ai secondi membri:

[K,fnXn]=infnXn1[K,Xn]=inXn1[X,fnKn]=infnKn1[X,Kn]=inKn1\begin{aligned} [K,f_nX^n] & =inf_nX^{n-1}\Leftrightarrow \\ [K,X^n] & =inX^{n-1} \\ [X,f_nK^n] & =-inf_nK^{n-1}\Leftrightarrow \\ [X,K^n] & =-inK^{n-1} \end{aligned}n1\forall n\in1\dots\infty

Eseguiamo una dimostrazione per induzione.

Per n=1n=1 dobbiamo verificare che

[K,X]=iI  [X,K]=iI\begin{aligned} [K,X] & =iI\;[X,K] \\ & =-iI \end{aligned}

Cominciamo dalla prima. Consideriamo una generica funzione ψ(x)\psi(x)

[K,X]ψ(x)=KXψ(x)XKψ(x)=iddx(xψ(x))xddxψ(x)=iψ(x)+xddxψ(x)xddxψ(x)=iψ(x)\begin{aligned} [K,X]\psi(x) & =KX\psi(x)-XK\psi(x) \\ & =i\frac{d}{dx}(x\psi(x))-x\frac{d}{dx}\psi(x) \\ & =i\psi(x)+x\frac{d}{dx}\psi(x)-x\frac{d}{dx}\psi(x) \\ & =i\psi(x) \end{aligned}

quindi [K,X]ψ(x)=iψ(x)[K,X]\psi(x)=i\psi(x). Essendo vera per ogni ψ(x)\psi(x) possiamo dedurre [K,X]=iI[K,X]=iI.

La seconda a questo punto è ovvia, infatti [X,K]=[K,X]=iI[X,K]=-[K,X]=-iI.

Ora dimostriamo che se le formule

[K,Xn]=inXn1  [X,Kn]=inKn1\begin{aligned} [K,X^n] & =inX^{n-1}\;[X,K^n] \\ & =-inK^{n-1} \end{aligned}

sono vere per n allora sono vere anche per n+1n+1 e per n1n-1.

Cominciamo dalla prima e dimostriamo che se è vera per n allora è vera anche per n+1n+1

[K,Xn+1]=KXn+1Xn+1K=KXn+1XnXK=\begin{aligned} \left[K,X^{n+1}\right] & =KX^{n+1}-X^{n+1}K \\ & =KX^{n+1}-X^nXK= \end{aligned}

applicando la formula valida per n=1n=1

=KXn+1+Xn(iIKX)=KXn+1+iXnXnKX=iXn+(KXnXnK)X=\begin{aligned} & =KX^{n+1}+X^n(iI-KX) \\ & =KX^{n+1}+iX^n-X^nKX \\ & =iX^n+(KX^n-X^nK)X= \end{aligned}

applicando la formula valida per n

=iXn+inXn1X=iXn+inXn=i(n+1)XnCome volevasi dimostrare.\begin{aligned} & =iX^n+inX^{n-1}X \\ & =iX^n+inX^n \\ & =i(n+1)X^n\quad\text{Come volevasi dimostrare.} \end{aligned}

Ora dimostriamo che se è vera per n allora è vera anche per n1n-1

[K,Xn1]=KXn1Xn1K=X1XKXn1Xn1K=\begin{aligned} \left[K,X^{n-1}\right] & =KX^{n-1}-X^{n-1}K \\ & =X^{-1}XKX^{n-1}-X^{n-1}K= \end{aligned}

applicando la formula valida per n=1n=1

=X1(iI+KX)Xn1Xn1K=iXn2+X1KXnX1XnK=iXn2+X1(KXnXnK)\begin{aligned} & =X^{-1}(-iI+KX)X^{n-1}-X^{n-1}K \\ & =-iX^{n-2}+X^{-1}KX^n-X^{-1}X^nK \\ & =-iX^{n-2}+X^{-1}(KX^n-X^nK) \end{aligned}

applicando la formula valida per n

iXn2+X1inXn1=iXn2+inXn2=i(n1)Xn2Come volevasi dimostrare.\begin{aligned} -iX^{n-2}+X^{-1}inX^{n-1} & =-iX^{n-2}+inX^{n-2} \\ & =i(n-1)X^{n-2}\quad\text{Come volevasi dimostrare.} \end{aligned}

Per la 2a i passaggi sono identici.

La 3a e la 4a sono praticamente ovvie, è valgono per qualsiasi operatore A infatti

[A,An]=AAnAnA=An+1An+1=0\begin{aligned} [A,A^n] & =AA^n-A^nA \\ & =A^{n+1}-A^{n+1} \\ & =0 \end{aligned}
La Quantistica · Nota N.10 · Rev. 2026 F. Palma