title: Operatore di traslazione spaziale
text: # Operatore di traslazione spaziale
  
  L'operatore di traslazione spaziale in meccanica quantistica è un operatore che agisce su uno stato della posizione della particella e lo trasforma in un altro stato della posizione.
  
  ## Descrizione
  
  Consideriamo una particella quantistica che si trovi in uno stato ben localizzato nel senso della probabilità intorno alla posizione ${\vec {x}}'$ e sia $|{\vec {x}}'\rangle$ l'autovettore che rappresenta lo stato in questione. Vogliamo eseguire una trasformazione che trasli questo stato in un altro stato ben localizzato nella posizione ${\vec {x}}'+d{\vec {x}}'$. Per fare ciò introduciamo un operatore: l'operatore di traslazione spaziale infinitesima $T(d{\vec {x}}')$ che agisce in modo tale:
  
      (1)$T(d{\vec {x}}')|{\vec {x}}'\rangle =|{\vec {x}}'+d{\vec {x}}'\rangle$
  
  Consideriamo uno stato arbitrario $|\alpha \rangle$, l'azione dell'operatore di traslazione infinitesima su questo stato è quello di traslarlo di una quantità $d{\vec {x}}'$:
  
      (2)$T(d{\vec {x}}')|\alpha \rangle =T(d{\vec {x}}')\int d^{3}x'\,|{\vec {x}}'\rangle \langle {\vec {x}}'|\alpha \rangle =\int d^{3}x'\,|{\vec {x}}'+d{\vec {x}}'\rangle \langle {\vec {x}}'|\alpha \rangle =\int d^{3}x'\,|{\vec {x}}'\rangle \langle {\vec {x}}'-d{\vec {x}}'|\alpha \rangle$
  
  Vediamo che proprietà deve avere l'operatore di traslazione infinitesima. Innanzitutto lo stato $|\alpha \rangle$ deve essere normalizzato a 1, quindi:
  
      $\langle \alpha |\alpha \rangle =\langle \alpha |T^{\dagger }(d{\vec {x}}')T(d{\vec {x}}')|\alpha \rangle =1$
  
  e questo implica che
  
      $T^{\dagger }(d{\vec {x}}')T(d{\vec {x}}')=1$
  
  cioè l'operatore di traslazione infinitesimo deve essere unitario. Inoltre per $d{\vec {x}}'\to 0$ il nostro operatore deve eseguire una trasformazione unitaria, cioè deve ridursi all'operatore identità. Infine l'applicazione successiva dell'operatore due volte, cioè eseguire due traslazioni consecutive infinitesime deve portare ad una traslazione somma:
  
      $T(d{\vec {x}}')T(d{\vec {x}}'')=T(d{\vec {x}}'+d{\vec {x}}'')$
  
  Queste proprietà portano alla definizione dell'operatore di traslazione infinitesima:
  
      (3)$T(d{\vec {x}}')=I-i{\vec {K}}\cdot d{\vec {x}}'$
  
  dove I è l'operatore identità e ${\vec {K}}=(K_{x},K_{y},K_{z})$ è il generatore delle traslazioni spaziali, dato che deve valere anche l'identità:
  
      $T^{\dagger }(d{\vec {x}}')T(d{\vec {x}}')=\left(I+i{\vec {K}}^{\dagger }\cdot d{\vec {x}}'\right)\left(I-i{\vec {K}}\cdot d{\vec {x}}'\right)=I-i({\vec {K}}-{\vec {K}}^{\dagger })d{\vec {x}}'+O(d{\vec {x}}'^{2})\simeq I$
  
  Si trova che il generatore deve essere hermitiano:
  
      ${\vec {K}}={\vec {K}}^{\dagger }$
  
  e questo prova anche che l'operatore $T(d{\vec {x}}')$ è un operatore unitario. Inoltre si può verificare che due traslazioni successive:
  
      $T(d{\vec {x}}'')T(d{\vec {x}}')=\left(I-i{\vec {K}}\cdot d{\vec {x}}''\right)\left(I-i{\vec {K}}\cdot d{\vec {x}}'\right)=I-i{\vec {K}}\cdot (d{\vec {x}}''+d{\vec {x}}')=T(d{\vec {x}}'+d{\vec {x}}'')$
  
  Inoltre è ovvio che:
  
      $\lim _{d{\vec {x}}'\to 0}T(d{\vec {x}}')=\lim _{d{\vec {x}}'\to 0}I-i{\vec {K}}d{\vec {x}}'=I$
  
  e inoltre che:
  
      $T(-d{\vec {x}}')=T^{-1}(d{\vec {x}}')$
  
  Per vedere quale sia il generatore delle traslazioni possiamo utilizzare un'analogia con la meccanica classica: eseguiamo cioè una trasformazione canonica infinitesima delle coordinate generalizzate, lasciando invariati gli impulsi:
  
      ${\vec {X}}={\vec {x}}+d{\vec {x}}\,,\,\,\,\,\,{\vec {P}}={\vec {p}}$
  
  La funzione che genera tale trasformazione canonica è:
  
      $\Phi ={\vec {x}}\cdot {\vec {P}}+{\vec {p}}\cdot d{\vec {x}}$
  
  dove ${\vec {x}}\cdot {\vec {P}}$ genera una trasformazione identica. Questa funzione generatrice è molto simile alla (3), quindi possiamo supporre che ${\vec {K}}$ coincida a meno di un fattore costante con l'impulso. Il fattore costante in questione è la costante di Planck ridotta poiché essa permette all'operatore di essere adimensionale, quindi in definitiva la (3) dice che l'operatore di traslazione infinitesima:
  
      (4)$T(d{\vec {x}}')=I-{\frac {i}{\hbar }}{\vec {p}}\cdot d{\vec {x}}'$
  
  Poiché una traslazione finita $\Delta x'$ che supponiamo sia sull'asse x può essere considerata come il prodotto di N traslazioni infinitesime $\Delta x'/N$:
  
      $T(\Delta x')=\lim _{N\to \infty }\left(1-{\frac {ip_{x}\Delta x'}{\hbar N}}\right)^{N}=\lim _{N\to \infty }e^{N\ln \left(1-{\frac {ip_{x}\Delta x'}{\hbar N}}\right)}=e^{-{\frac {i}{\hbar }}p_{x}\Delta x'}$
  
  ## Traslazioni su assi diversi
  
  Una caratteristica delle traslazioni è che traslazioni successive su assi diversi commutano. Prendiamo per esempio una traslazione prima sull'asse x e successivamente sull'asse y:
  
      $T_{y}(\Delta y')T_{x}(\Delta x')=T(\Delta x'+\Delta y')$
  
  è matematicamente identica ad eseguire prima una traslazione sull'asse y e successivamente sull'asse x:
  
      $T_{x}(\Delta x')T_{y}(\Delta y')=T(\Delta x'+\Delta y')$
  
  cioè traslazioni su assi diversi commutano, sviluppando al secondo ordine l'operatore di traslazione deve risultare:
  
      $\left[T_{x}(\Delta x'),T_{y}(\Delta y')\right]=\left[\left(1-{\frac {ip_{x}\Delta x'}{\hbar }}-{\frac {p_{x}^{2}\Delta {x'}^{2}}{2\hbar ^{2}}}+\dots \right),\left(1-{\frac {ip_{y}\Delta y'}{\hbar }}-{\frac {p_{y}^{2}\Delta y'^{2}}{2\hbar ^{2}}}+\dots \right)\right]=-{\frac {1}{\hbar ^{2}}}[p_{x},p_{y}]\Delta x'\Delta y'+\dots =0$
  
  questo perché le componenti dell'operatore impulso commutano:
  
      $[p_{i},p_{j}]=0$
  
  e queste rappresentano altre relazioni fondamentali di commutazione, che sono anche alla base del principio di indeterminazione di Heisenberg. Infatti come si può verificare facilmente la commutazione tra l'operatore posizione e l'operatore di traslazione spaziale, considerando le componenti:
  
      $-{\frac {i}{\hbar }}[x_{i}p_{j}-p_{j}x_{i}]=\delta _{ij}$
  
  questo vuol dire che:
  
      $[x_{i},p_{j}]=i\hbar \delta _{ij}$
  
  e ciò dimostra che le coordinate e le componenti dell'impulso lungo gli stessi assi non possono essere misurati simultaneamente. Le tre relazioni:
  
      $[x_{i},x_{j}]=0$
      $[p_{i},p_{j}]=0$
      $[x_{i},p_{j}]=i\hbar \delta _{ij}$
  
  sono chiamate regole di commutazione canoniche quantistiche fondamentali.
  
  Il principio di indeterminazione che in generale si scrive:
  
      $\langle (\Delta A)^{2}\rangle \langle (\Delta B)^{2}\rangle \geq {\frac {1}{4}}|\langle [A,B]\rangle |^{2}$
  
  per la posizione e l'impulso in una dimensione diventa:
  
      $\Delta x\cdot \Delta p_{x}\geq {\frac {\hbar }{2}}$
  