Propagatore

Funzione che, in meccanica quantistica e nella teoria quantistica dei campi, esprime l'ampiezza di probabilità di una particella in movimento.

In meccanica quantistica e in teoria quantistica dei campi, il propagatore fornisce l'ampiezza di probabilità che una particella viaggi da un luogo ad un altro in un dato tempo, ovvero anche con una certa energia e momento. Il propagatore può essere visto come l'inverso dell'operatore d'onda appropriato per la particella e per questo è spesso identificato con la funzione di Green.

Nelle teorie in cui sono presenti dei campi in interazione, il propagatore è esprimibile tramite una rappresentazione spettrale, detta di Källén-Lehmann, che contiene un termine proporzionale alla funzione di Green dell'equazione in assenza di interazioni, con un polo legato alla massa fisica della particella del campo e che descrive quindi la propagazione di una singola particella, e un termine senza poli che descrive i contributi al propagatore dati da stati a più particelle, con una massa invariante maggiore di quella della particella del campo.

Si noti che nel calcolo delle ampiezze dei processi fisici i propagatori sono integrati su tutto lo spazio-tempo; ciò implica che, almeno su corte distanze, esistono ampiezze di probabilità per la propagazione di particelle da un qualunque punto dello spazio-tempo a qualunque altro. All'aumentare della distanza i contributi che dominano sono naturalmente quelli di tipo tempo per le particelle massive e quelli di tipo luce per le particelle a massa nulla.

DefinizioneModifica

Nella meccanica quantistica non relativistica il propagatore fornisce la probabilità che una particella che si trova in un punto x dello spazio al tempo t, arrivi in un altro punto x' al tempo t'. È la funzione di Green dell'equazione di Schrödinger. Questo significa che se un sistema ha operatore hamiltoniano  , il propagatore è una funzione   tale che:

 

dove   indica l'hamiltoniano come funzione delle coordinate   e   è la delta di Dirac.
Il propagatore può anche essere espresso come:

 

dove   è l'operatore di evoluzione temporale che trasla lo stato dal tempo t a t'.

Integrale sui cammini nella meccanica quantistica non relativisticaModifica

Il propagatore, nella meccanica quantistica, può essere anche ricavato usando l'integrale sui cammini:

 

dove le condizioni al contorno dell'integrale sui cammini sono q(t)=x, q(t')=x'.   indica la lagrangiana del sistema.

Essendo

 

l'azione della lagrangiana, si ottiene

 

Essendo l'esponenziale un'autofunzione dell'operatore di integrazione, si può scrivere in definitiva:

 

dove N è un fattore di normalizzazione.
Nella meccanica quantistica non relativistica il propagatore permette di trovare lo stato del sistema in ogni istante di tempo:

 

Se   dipende solo dalla differenza  , tale integrale è la convoluzione dello stato iniziale e del propagatore.

Propagatori relativisticiModifica

In meccanica quantistica relativistica e in teoria quantistica dei campi i propagatori sono invarianti di Lorentz. Danno l'ampiezza per una particella che viaggia tra i due punti dello spaziotempo.

Propagatore scalareModifica

In teoria quantistica dei campi, la teoria di un campo scalare libero (non interagente) è un esempio semplice e utile che serve a illustrare i concetti necessari per teorie più complicate. Descrive particelle di spin 0. Ci sono una serie di possibili propagatori per la teoria di campo scalare libero.

Spazio delle posizioniModifica

I propagatori nello spazio delle posizioni sono le funzioni di Green per l'equazione di Klein-Gordon. Ciò significa che sono funzioni   che soddisfano

 

dove:

  •   sono due punti nello spaziotempo di Minkowski.
  •   è l'operatore d'alembertiano agente sulle coordinate  .
  •   è la delta di Dirac.

(Come è tipico in teoria dei campi relativistica, la velocità della luce e la costante di Planck ridotta sono poste a 1.)

Bisogna restringersi allo spaziotempo di Minkowski 4-dimensionale. Si può effettuare una trasformata di Fourier dell'equazione per il propagatore, ottenendo

 

Questa equazione può essere invertita nel senso delle distribuzioni notando che l'equazione   ha la soluzione,

 

dove è implicito il limite per  .

La soluzione è

 

dove

 

è il prodotto scalare quadrivettoriale.

Le scelte diverse per come deformare l'integrazione di contorno nell'espressione di cui sopra portano a varie forme per il propagatore. La scelta del contorno è solitamente espressa in termine dell'integrale su  .

L'integranda ha quindi due poli in

 

quindi scelte diverse di evitare questi portano a propagatori diversi.

Propagatore di FeynmanModifica

 

Un contorno che va sotto il polo sinistro e sopra il polo destro dà il propagatore di Feynman.

Questa scelta di contorno è equivalente a calcolare il limite[1]

 

Qui

 

dove   sono due punti nello spaziotempo, e il punto all'esponente è un prodotto scalare quadrivettoriale. Inoltre  sono funzioni di Hankel e   è una funzione di Bessel modificata.

Questa espressione può essere ricavata direttamente dalla teoria di campo come il valore di aspettazione del vuoto del prodotto tempo-ordinato del campo scalare libero, cioè, il prodotto viene sempre preso in modo tale che l'ordinamento temporale dei punti di spaziotempo è lo stesso,

 

Questa espressione è invariante di Lorentz, a patto che i campi commutino tra loro quando i punti   sono separati da un intervallo di tipo spazio.

Propagatori nello spazio degli impulsiModifica

La trasformata di Fourier dei propagatori nello spazio delle posizioni può essere pensata come quei propagatori nello spazio degli impulsi. In questo spazio assumono una forma più semplice.

Sono spesso scritti con il termine   esplicito ma è inteso solo come promemoria per quale contorno usare. Questo termine è incluso per incorporare le condizioni al contorno e la causalità.

Per il quadrimpulso  , vengono riportati di seguito i propagatori ritardato, avanzato, e di Feynman nello spazio degli impulsi:

 
 
 

Al fine di calcolare diagrammi di Feynman di solito conviene aggiungere un fattore  , ma ci sono diverse convenzioni.

Elettrodinamica quantisticaModifica

 Lo stesso argomento in dettaglio: Elettrodinamica quantistica.

Nell'elettrodinamica quantistica bisogna distinguere due propagatori fondamentali, quello dei campi di Dirac e quello dei fotoni. Le funzioni di Green dei due campi sono le seguenti:

  (fermioni)
  (fotoni)

dove è il quadrato della massa dell'elettrone,   è il propagatore libero di un campo scalare con massa nello spazio diretto, le derivate parziali   agiscono sulla coordinata x,  ,  ,   è un parametro libero che permette di fissare la gauge (per esempio  , la gauge di Landau, oppure  , la gauge di Feynman), mentre i puntini rappresentano appunto i termini del propagatore che non contribuiscono alle ampiezze fisiche.

I propagatori dei campi in interazione sono convenientemente espressi in termini della rappresentazione spettrale di Källén-Lehmann, del propagatore:

 
 

In queste formule   e   sono i propagatori dei campi liberi (alla massa dell'elettrone, m², e a massa nulla per il fotone),   e   sono le costanti di rinormalizzazione dei campi, mentre  ,   e   sono le densità spettrali che "pesano" il propagatore ad una massa invariante maggiore di quella della particella libera. I puntini nel propagatore del fotone sono termini eliminabili in virtù della conservazione delle linee fermioniche esterne tra le quali il propagatore dei fotoni è sempre racchiuso nelle ampiezze fisiche. Il propagatore libero viene dai campi in e out, che possono creare dal vuoto solo stati a una particella, mentre le densità spettrali sono legate ai termini di interazione e connettono il vuoto a stati a più particelle.
Ciò spiega la presenza delle costanti di rinormalizzazione: mentre il campo in o out ha probabilità uno di creare uno stato a una particella dal vuoto, il campo in interazione ha una probabilità inferiore di farlo, poiché può creare anche un numero di maggiore di particelle (tramite l'interazione col campo elettromagnetico).

La forma analitica per il propagatore di un fotone, nello spazio degli impulsi e nello spazio vuoto, è:

 

con   (  e   con  ) che è il tensore metrico.

I propagatori (liberi) dei fermioni sono indicati con delle linee continue dritte, usualmente con una freccia "in avanti" per i fermioni o "all'indietro" per gli antifermioni; i propagatori dei fotoni nei diagrammi di Feynman vengono tradizionalmente indicati da una linea ondulata. Nelle figure sono rappresentati due esempi di diagrammi di Feynman: nella prima, un diagramma al prim'ordine contenente un propagatore fotonico racchiuso tra due linee esterne fermioniche; nella seconda, un diagramma al second'ordine contenente due propagatori fotonici, due linee esterne fermioniche e un loop di fermioni (formato da due propagatori).

Teoria di Yang e MillsModifica

 Lo stesso argomento in dettaglio: Teoria quantistica di Yang-Mills.

Al fine di fornire una forma analitica per i propagatori dei bosoni vettoriali (valida anche per i bosoni vettori assiali), è importante ricordare che a differenza del caso elettromagnetico, nel quale la massa del fotone è nulla, per un bosone vettore si deve avere un termine di massa  . Si può dimostrare che il propagatore, nello spazio degli impulsi e nello spazio vuoto, è dato dalla seguente funzione:

 

La funzione   genera un bosone vettore al tempo   e nella posizione   viene distrutta la stessa particella al tempo   quando si trova in   e pertanto il nostro bosone vettore si propaga da   a  .

Teoria a molti corpiModifica

 Lo stesso argomento in dettaglio: Teoria a molti corpi.

Nella teoria a molti corpi il propagatore elettronico del sistema non-interagente in uno spazio   è dato dall'espressione:

 

dove   sono gli autovalori e autofunzioni dell'hamiltoniana   del sistema non-interagente

 

ovverosia in un solido cristallino (  periodica) sono le bande e le funzioni di Bloch, in un atomo sono i livelli e le funzioni d'onda atomiche di particella singola, etc.

NoteModifica

  1. ^ Huang, p.   30

BibliografiaModifica

Voci correlateModifica

Collegamenti esterniModifica

  Portale Fisica: accedi alle voci di Wikipedia che trattano di fisica