Vettore di Lenz

In meccanica classica, il vettore di Laplace-Runge-Lenz (o semplicemente vettore di Lenz) è un vettore utilizzato comunemente per descrivere la forma e l'orientazione dell'orbita di un corpo celeste attorno ad un altro, come nel caso della rivoluzione di un pianeta attorno al sole.

Per due corpi interagenti secondo la gravità Newtoniana, il vettore di Lenz è una costante del moto, nel senso che esso, per una data orbita, conserva il suo aspetto indipendentemente dal punto o dal momento in cui esso venga calcolato[1]; in modo equivalente, si può dire che il vettore venga “conservato” durante il moto. Più in generale, questo vettore risulta conservato in tutti i problemi in cui due corpi interagiscono mediante una forza centrale che varia secondo la legge dell'inverso del quadrato delle distanza; tali problemi sono soprannominati problemi di Keplero[2].

L'atomo di idrogeno è un esempio di problema di questo tipo, in quanto comprende due particelle cariche interagenti attraverso la forza di Coulomb. Il vettore di Lenz rivestì un'importantissima funzione nella prima derivazione quantistica dello spettro di emissione dell'atomo di idrogeno[3] prima dello sviluppo dell'equazione di Schrödinger. Tuttavia, questo approccio oggi è scarsamente utilizzato.

In meccanica classica e quantistica, quantità conservate generalmente corrispondono a simmetrie del sistema. La conservazione del vettore di Lenz corrisponde a una simmetria alquanto inusuale: il problema di Keplero è infatti matematicamente equivalente a quello di una particella in moto libero sul confine tridimensionale di un'ipersfera,[4], cosicché l'intero problema risulta simmetrico rispetto certe rotazioni di questo spazio quadri-dimensionale[5]. Questa alta simmetria è il risultato di due proprietà del problema di Keplero: il vettore velocità si muove su un cerchio perfetto e, per un'energia meccanica predisposta, tutti questi cerchi di velocità si intersecano insieme negli stessi due punti[6].

Molte generalizzazioni del vettore di Lenz sono state elaborate con lo scopo di incorporare gli effetti della relatività speciale, campi elettromagnetici o altri tipi di forze centrali.

ContestoModifica

Una singola particella in moto dentro un campo centrale di forze conservative possiede al massimo quattro costanti del moto: l'energia totale   e le tre componenti cartesiane del momento angolare   . L'orbita della particella è confinata in un piano definito dal momento iniziale   (o, equivalentemente, dalla velocità  ) e dal raggio vettore   fra la particella stessa ed il centro del campo di forze.

Così come è stato definito precedentemente, il vettore di Lenz   giace sempre sul piano orbitale di qualsiasi forza centrale. Tuttavia, esso risulta costante solo per una forza centrale che decresca secondo la legge dell'inverso del quadrato[1]. Per la maggior parte delle forze centrali, invece,   non è costante, ma cambia sia in lunghezza che in direzione; se la forza risponde solo approssimativamente al criterio sopra citato, il vettore   è piuttosto costante in lunghezza, ma ruota lentamente direzione. È altresì possibile una forma più generale del vettore di Lenz, indicata con  , ma questo nuovo vettore risulta essere una funzione piuttosto complicata della posizione, ed in genere non può essere espresso in forma compatta.[7][8]

Il piano su cui si svolge il moto è perpendicolare al vettore momento angolare  , che è costante; questa proprietà geometrica può essere espressa matematicamente con l'equazione del prodotto scalare fra vettori  ; analogamente, poiché   giace nel medesimo piano,  .

Storia della riscopertaModifica

Il vettore di Lenz   è una costante del moto all'interno del problema di Keplero, ed è utile per descrivere le orbite dei corpi celesti, come il caso del moto di un pianeta attorno al Sole. Ciò nondimeno, esso è stato per lungo tempo poco conosciuto ed utilizzato fra i fisici, possibilmente poiché esso risulta meno intuitivo di altre quantità come il momento ed il momento angolare. Di conseguenza, esso è stato "riscoperto" indipendentemente diverse volte negli ultimi tre secoli. Jakob Hermann è stato il primo a dimostrare che   è una costante nel caso delle forze centrali con proporzionalità quadratica inversa,[9] e portò avanti gli studi riguardo alla sua connessione all'eccentricità delle orbite celesti. Il suo lavoro venne generalizzato nella sua forma moderna da Johann Bernoulli nel 1710.[10] Alla fine del secolo, Pierre-Simon de Laplace riscoprì la conservazione di  , derivandola analiticamente, invece che geometricamente.[11] Nella metà del diciannovesimo secolo, William Rowan Hamilton elaborò l'equivalente vettore eccentricità e lo utilizzò per dimostrare che il vettore momento   si muove lungo un cerchio per moti in campi di forze centrali (Figura 3). all'inizio del ventesimo secolo, Josiah Willard Gibbs derivò lo stesso vettore utilizzando metodi di analisi vettoriale.[12] La derivazione di Gibbs fu utilizzata a mo' di esempio da Carle Runge in un popolare libro di testo tedesco sui vettori,[13] che fu a sua volta citato da Wilhelm Lenz nel suo testo sulla (vecchia) trattazione in meccanica quantistica dello spettro dell'atomo di idrogeno.[14] Nel 1926, il vettore fu utilizzato da Wolfgang Pauli per ottenere lo spettro dell'idrogeno utilizzando la formulazione matriciale della meccanica quantistica, ma non l'equazione di Schrödinger; dopo la pubblicazione di Pauli, esso divenne noto come "vettore di Runge-Lenz".

Definizione matematicaModifica

Per una singola particella in moto dentro un campo di forze centrali descritto dall'equazione  , il vettore di Lenz   è definito dalla formula[1]

 
Figura 1: Il vettore di Lenz   (in rosso) in quattro punti (indicati 1, 2, 3 e 4) sull'orbita ellittica di un punto materiale in moto in un campo di forze centrali. Il centro di attrazione è indicato con un piccolo cerchio nero da cui si origina il vettore posizione (nero). Il vettore momento angolare   è perpendicolare all'orbita. I vettori complanari   e   sono in blu ed in verde, rispettivamente. Il vettore   è costante in direzione e modulo.
 

dove

  •   è la massa del punto materiale,
  •   è il vettore quantità di moto e   la velocità,
  •   è il vettore momento angolare e   il corrispettivo specifico per unità di massa,
  •   è il parametro che descrive l'intensità della forza centrale (equivale a   nel caso gravitazionale e a   in quello elettrostatico),
  •   è il vettore posizione della particella (Figura 1), e
  •   è il corrispondente vettore unitario,   dove   è il modulo di  .

Poiché la forza considerata è conservativa, l'energia totale   è una costante del moto

 .

Inoltre, essa è anche una forza centrale, e perciò il vettore momento angolare   è anch'esso conservato e definisce il piano in cui la particella si muove. Il vettore di Lenz   è perpendicolare al momento angolare   poiché sia   che   sono perpendicolari a  . Da ciò segue che   giace nel piano dell'orbita.

Questa definizione del vettore di Lenz inerisce ad un singolo punto materiale di massa   in moto sotto l'azione di una forza fissa. Tuttavia, la stessa definizione può essere estesa al caso di due corpi come il problema di Keplero, ponendo   pari alla massa ridotta dei due corpi ed   come il raggio vettore fra i due corpi.

Molte varianti al vettore di Lenz possono essere utilizzate per esprimere la stessa costante del moto. La più utilizzata è il vettore eccentricità, ottenuta da   dopo una divisione per  .

 .

Derivazione della geometria orbitaleModifica

 
Figura 2: Versione semplificata della Figura 1, con rappresentato l'angolo   fra   ed   in un punto dell'orbita.

Forma ed orientamento dell'orbita può essere determinata a partire dal vettore di Lenz come segue.[1] Eseguendo il prodotto scalare fra   ed il vettore posizione   si ottiene l'equazione:

 

dove   è l'angolo fra   ed   (Figura 2). Permutando il triplo prodotto scalare

 

e riordinando si ottiene la formula, valida per le sezioni coniche

 

dell'eccentricità  

 

ed il lato retto

 

Il semiasse maggiore   della sezione conica può essere definito a partire dal lato retto e dall'eccentricità

 

dove il segno meno è proprio dell'ellisse ed il segno più dell'iperbole.

Il prodotto scalare di   con sé stesso dà origine a un'equazione contenente l'energia meccanica  :

 

che può essere scritta in termini di eccentricità:

 .

Dunque, se l'energia   è negativa (orbita chiusa), l'eccentricità è più piccola di uno e l'orbita è un'ellisse. Al contrario, se l'energia è positiva (orbita aperta), l'eccentricità è più grande di uno e l'orbita è rappresentata da un'iperbole. Infine, se l'energia è esattamente zero, l'eccentricità è uno e l'orbita ha forma parabolica. In tutti i casi considerati, la direzione di   giace lungo l'asse di simmetria della sezione conica e punta dal centro della forza verso l'apside, il punto di massima vicinanza.

Odografo circolare del momentoModifica

 
Figura 3: Il vettore momento   (in blu) si muove su un cerchio, mentre la particella si muove lungo un'ellisse. I quattro punti evidenziati corrispondono a quelli in Figura 1. il cerchio è centrato sull'asse   in posizione   (in magenta), con raggio   (verde). L'angolo   determina l'eccentricità   dell'orbita ellittica  .

La conservazione del vettore di Lenz   e del vettore momento angolare   è molto utile per mostrare che il vettore momento (quantità di moto)   si muove su un cerchio nel caso di una forza centrale.[6]

Eseguendo il prodotto scalare di

 

con se stesso si ottiene:

 

In seguito scegliendo   lungo l'asse  , ed il semiasse maggiore come asse  , si ottiene l'equazione per  

 .

In altre parole, il vettore quantità di moto   è confinato in un cerchio di raggio   centrato nel punto  . L'eccentricità   corrisponde al coseno dell'angolo   mostrato in Figura 3. Nel limite dell'orbita circolare, e dunque all'annullarsi di  , il cerchio possiede centro nell'origine  . Per brevità, è anche utile introdurre la variabile  . Questo odografo circolare è utile per illustrare la simmetria del problema di Keplero.

Costanti del moto e superintegrabilitàModifica

Le sette quantità scalari  ,   ed   (essendo vettori, gli ultimi due contribuiscono per tre quantità ciascuno) sono correlate da due equazioni,   e  , dando origine a cinque costanti del moto indipendenti. Questo risultato è coerente con le sei condizioni iniziali (ovvero, i vettori velocità e posizione della particella, di tre componenti ciascuno) che specificano l'orbita del corpo, dato che l'istante di partenza non è determinato da queste costanti. Poiché il modulo di   (e la correlata eccentricità orbitale  ) possono essere determinati a partire dal momento angolare   e dall'energia  , solo la direzione di   è conservata indipendentemente; in più, poiché   deve essere sempre perpendicolare a  , contribuisce solo con un'ulteriore quantità conservata.

Un sistema meccanico con   gradi di libertà può avere al massimo   costanti del moto, poiché ci sono   condizioni iniziali e l'istante iniziale non può essere determinato a partire da una costante. Un sistema con più di   costanti del moto è chiamato superintegrabile ed un sistema con   costanti è detto massimamente superintegrabile.[15] Poiché la soluzione dell'Equazione di Hamilton-Jacobi in una coordinata del sistema può fornire solo   costanti del moto, un sistema superintegrabile può essere scomposto in più di un sistema di coordinate.[16] Il problema di Keplero è massimamente superintegrabile, poiché possiede tre gradi di libertà   e cinque costanti del moto indipendenti; la sua equazione di Hamilton-Jacobi è scomponibile sia in coordinate sferiche che in coordinate paraboliche.[17]

Sistemi massimamente superintegrabili seguono un'orbita chiusa ed unidimensionale all'interno dello spazio delle fasi, poiché l'orbita è data dall'intersezione della isosuperficie delle costanti del moto. Conseguentemente, le orbite sono perpendicolari a tutti i gradienti di tutte queste isosuperfici indipendenti, cinque in questo specifico caso, e quindi sono determinate dal prodotto vettoriale generalizzato di tutti questi gradienti. Come risultato, tutti i sistemi superintegrabili sono automaticamente descritti dalla meccanica di Nambu[18], o, equivalentemente, dalla Meccanica hamiltoniana. I sistemi massimamente superintegrabili possono essere quantizzati usando relazioni commutative.[19] Ciò nondimeno, in modo equivalente, possono anche essere quantizzati nell'insieme di relazioni di Nambu, come per il classico problema di Keplero nell'atomo di idrogeno[20].

Evoluzione dentro potenziali perturbatiModifica

 
Figura 5: Graduale precessione di un'orbita ellittica, con eccentricità   . Questa precessione si origina nel problema di Keplero se la forza centrale attrattiva devia leggermente dalla legge dell'inverso del quadrato. Il valore della precessione può essere calcolato utilizzando le formule nel testo.

Il vettore di Laplace–Runge–Lenz   è conservato solo in una forza centrale con proporzionalità quadratica inversa. Nella maggior parte dei casi pratici, come il moto planetario, l'energia potenziale di interazione fra i due corpi non è esattamente rispondente alla legge dell'inverso del quadrato, ma può includere una forza centrale aggiuntiva detta perturbazione e descritta da un'energia potenziale del tipo  . In questi casi, il vettore di Lenz ruota lentamente nel piano dell'orbita, fenomeno matematico cui corrisponde una precessione dell'orbita. Per assunzione, il potenziale perturbante   è una forza centrale conservativa, il che implica che l'energia meccanica   ed il vettore momento angolare   continuano ad essere conservati. Quindi, il moto giace ancora nel piano perpendicolare ad   ed il modulo di   è conservato secondo l'equazione  . Il potenziale di perturbazione   può essere un tipo qualsiasi di funzione, ma dovrebbe essere significativamente più debole che la stessa forza che unisce i due corpi.

Il valore di cui il vettore di Lenz ruota fornisce informazioni riguardo al potenziale  . Usando normali teorie perturbative e coordinate angolo-azione è semplice dimostrare[1] che   ruota al ritmo di

 

dove   è il periodo orbitale e l'identità   viene utilizzata per convertire l'integrale sul tempo in un integrale sull'angolo (Figura 5). L'espressione in parentesi angolari,  , rappresenta il potenziale perturbativo espresso come media su un intero periodo, cioè su un intero passaggio del corpo attorno alla sua orbita. Matematicamente, questa media sul tempo corrisponde alla seguente quantità in parentesi graffe. Questa media aiuta a sopprimere fluttuazioni nella velocità di rotazione.

Questo approccio fu utilizzato per aiutare la verifica della teoria einsteniana della Relatività Generale, che aggiunge una piccola perturbazione a proporzionalità cubica inversa alla normale gravità Newtoniana.[21]

 

Inserendo questa funzione nell'integrale e usando l'equazione

 

per esprimere   in termini di  , la precessione del periapside causata da questa perturbazione non-newtoniana risulta essere[21]

 

che si accorda perfettamente con l'anomala precessione osservata empiricamente per il pianeta Mercurio[22] e delle pulsar binarie[23]. Questo accordo con gli esperimenti è considerato una forte evidenza empirica della Relatività Generale.[24][25]

Parentesi di PoissonModifica

Le tre componenti   del vettore momento angolare   presentano una parentesi di Poisson[1]

 

dove   ed   è il Simbolo di Levi-Civita; l'indice   della sommatoria è qui utilizzato per evitare confusione con il parametro della forza   definito precedentemente. Le parentesi di Poisson sono rappresentate qui come parentesi graffe (non quadrate), sia per coerenza con i testi di riferimento che per evitare confusione con le parentesi di Lie della meccanica quantistica.

Come sarà notato in seguito, una variante scalata del vettore di Lenz   può essere definita con le stesse unità del momento angolare dividendo   per  . La Parentesi di Poisson di   con il momento angolare   può essere scritta in una forma simile[26]

 

La parentesi di Poisson di   con sé stesso dipende dal segno dell'energia meccanica   e, quindi, dal fatto che l'orbita descritta sia aperta o chiusa. Per un'energia meccanica negativa – quindi per un'orbita chiusa – le parentesi di Poisson sono espresse come

 

diversamente, per energie positive esse presentano segno opposto

 

L'Invariante di Casimir per energie negative è definito dalla formula

 
 

e possiede parentesi di Poisson di valore zero con ogni componente di   o  :

 .

  è evidentemente zero, quindi i due vettori sono sempre perpendicolari. Tuttavia, l'altro invariante   non è evidente e dipende solo da   ed  . Questo invariante aiuta a derivare i livelli energetici di un atomo idrogenoide utilizzando solo la meccanica quantistica canonica, invece della più complessa equazione di Schrödinger.

Spettro energetico dell'atomo di idrogenoModifica

 
Figura 6: Livelli energetici dell'atomo di idrogeno predetti dalle relazioni di commutazione fra il momento angolare ed il vettore di Lenz; tale configurazione è stata verificata sperimentalmente.
 Lo stesso argomento in dettaglio: Atomo di idrogeno.

Le parentesi di Poisson sono un utile strumento per studiare lo spettro di energia dell'atomo di idrogeno, e più in generale forniscono un semplice metodo di quantizzazione canonica dei sistemi dinamici; le relazioni di commutazione fra due operatori quantistici corrispondono alle parentesi di Poisson delle corrispondenti variabili classiche moltiplicate per  .[27] Portando a termine questa quantizzazione e calcolando il valore dell'operatore di Casimir   per il problema di Keplero, Wolfgang Pauli riuscì a derivare lo spettro di energia di un atomo idrogenoide (Figura 6) e, di conseguenza, lo spettro di emissione.[3] Questa elegante derivazione fu ottenuta prima dello sviluppo del concetto di funzione d'onda.[28]

Una sottigliezza dell'operatore quantistico per il vettore di Lenz   è che gli operatori momento e momento angolare non commutano fra loro; dunque, il prodotto vettoriale di   ed   deve essere definito con cura.[26] Tipicamente, gli operatori per le componenti cartesiane   sono definiti utilizzando un prodotto simmetrico:

 

da cui i corrispondenti operatori di scala possono essere definiti come:

 
 

Un primo operatore per l'invariante di Casimir può così essere definito

 

dove   è l'inverso dell'operatore Hamiltoniano dell'energia ed   è l'operatore identità. Applicando questi operatori di scala agli stati   degli operatori del momento angolare totale, momento angolare azimutale e dell'energia, i valori del primo operatore di Casimir   sono  ; cosa notevole, essi sono indipendenti dai numeri quantici   ed  , rendendo i livelli energetici degeneri.[26] In definitiva, i livelli energetici sono dati da:

 

che corrisponde alla Formula di Rydberg per l'atomo idrogenoide (Figura 6).

Conservazione e simmetriaModifica

La conservazione del vettore di Lenz corrisponde a una sottile simmetria del sistema. In meccanica classica, le simmetrie sono operazioni continue che trasformano un'orbita in un'altra senza mutare l'energia meccanica del sistema; in meccanica quantistica, le simmetrie diventano invece operazioni continue che "miscelano" orbitali atomici dotati della stessa energia. Una quantità conservata è usualmente associata a queste simmetrie.[1] Per esempio, ogni forza centrale è simmetrica rispetto al gruppo delle rotazioni in tre dimensioni SO(3), portando alla conservazione del momento angolare  . In meccanica classica, una rotazione totale del sistema non può variare l'energia dell'orbita; in meccanica quantistica, le rotazioni miscelano le armoniche sferiche aventi stesso numero quantico   senza variazioni di energia.

 
Figura 7: Le famiglie di odografi del momento aventi la stessa energia  . Tutte le circonferenze passano per gli stessi due punti   sull'asse   (vedi Figura 3).

La simmetria per una forza centrale rispondente alla legge dell'inverso del quadrato è più profonda e sottile; la peculiare simmetria di questi problemi dà come risultato sia la conservazione del momento angolare   e del vettore di Lenz   ed, in meccanica quantistica, assicura che i livelli energetici dell'idrogeno non dipendano dai numeri quantici del momento angolare   ed  . La simmetria è comunque più sottile, tuttavia, poiché le operazioni di simmetria devono essere rappresentate in uno spazio quadri-dimensionale, queste particolari simmetrie vengono spesso definite "simmetrie nascoste". In meccanica classica, l'alta simmetria dei problemi di Keplero permette l'esistenza di trasformazioni continue dell'orbita che conservano l'energia meccanica ma non il momento angolare, detto in altre parole, orbite della stessa energia ma diverso momento angolare (e quindi diversa eccentricità) possono essere trasformate simmetricamente l'una nell'altra. Quantisticamente parlando, ciò corrisponde a mischiare orbitali che differiscono per i numeri quantici   ed  , come per quel che riguarda gli orbitali   (aventi  ) e   (aventi  ). Queste trasformazioni non possono essere effettuate attraverso ordinarie traslazioni e rotazioni nello spazio euclideo tridimensionale, ma risultano invece equivalenti a una rotazione in più dimensioni.

Per energie meccaniche negative (orbite chiuse), il gruppo di simmetria più elevato è SO(4), che conserva il modulo dei vettori quadridimensionali

 

Nel 1935, Vladimir Fock dimostrò che i problemi di Keplero quantistici ad energia negativa sono equivalenti allo studio di una particella libera confinata in una superficie sferica tridimensionale dentro ad uno spazio quadri-dimensionale.[4] Specificatamente, Fock mostrò che la funzione d'onda di Schrödinger nello spazio del momento per il problema di Keplero corrispondeva alla proiezione stereografica dell'armonica sferica sulla sfera. Rotazioni di questa sfera e riproiezioni risultano in una continua variazione dell'orbita ellittica senza alcun cambiamento nell'energia totale; in termini quantistici, ciò corrisponde ad uno scambio di orbitali con lo stesso numero quantico di energia  . Valentine Bargman notò conseguentemente che le parentesi di Poisson per il vettore momento angolare   ed il vettore di Lenz scalato   formano un'algebra di Lie per il gruppo di simmetria SO(4).[5] Detto semplicemente, le sei quantità   ed   corrispondono a sei momenti angolari conservati in quattro dimensioni, associati a sei possibili rotazioni semplici SO(4) in questo spazio (esistono infatti sei modi per scegliere due assi fra quattro). Questa conclusione non implica che il nostro universo sia una sfera tridimensionale, semplicemente implica che questo particolare sistema fisico è matematicamente equivalente a una particella libera su una sfera tridimensionale.

Per energie meccaniche positive (sistemi non legati) il gruppo di simmetria più elevato è SO(3,1), che preserva il modulo di Minkowski del quadrivettore

 .

Entrambi i casi a energia positiva e negativa furono considerati nel lavoro di Fock[4] e rivisti enciclopedicamente da Bander e Itzykson.[29][30]

Le orbite di un sistema sottoposto a una forza centrale (che risponde alla legge dell'inverso del quadrato) sono anche simmetriche nelle riflessioni. Dunque, i gruppi SO(3), SO(4) ed SO(3,1) citati sopra non corrispondono alla serie completa dei gruppi di simmetria di queste orbite; i gruppi completi sono i gruppi ortogonali O(3), O(4) ed O(3,1), rispettivamente. Nondimeno, solo i sottogruppi SO(3), SO(4) ed SO(3,1) sono necessari per dimostrare la conservazione del momento angolare e del vettore di Lenz; la simmetria per riflessione è irrilevante per le conservazioni, che possono essere derivate dell'algebra di Lie del gruppo.

Simmetrie di rotazione in quattro dimensioniModifica

 
Figura 8: l'odografo del momento in Figura 7 corrisponde alla proiezione stereografica dei cerchi massimi sulla sfera tridimensionale unitaria  . Tutti i cerchi massimi intersecano l'asse  , che è perpendicolare alla pagina; la proiezione è dal polo Nord (il vettore unitario  ) al piano  , come mostrato qui per l'odografo magenta dalle linee nere tratteggiate. Il cerchio massimo a latitudine   corrisponde al vettore eccentricità secondo l'equazione  . I colori dei cerchi massimi mostrati qui corrispondono a quelli dei loro corrispondenti odografi in figura 7.

La connessione fra il Problema dei due corpi e la simmetria rotazionale in quattro dimensioni SO(4) può essere visualizzato efficacemente.[29][31][32] Si determinino le quattro coordinate cartesiane  , dove   rappresentano le coordinate del normale vettore posizione  . Il vettore tridimensionale momento   è associato ad un vettore quadridimensionale   su una sfera tridimensionale unitaria

 ,

dove   è il vettore unitario lungo il nuovo asse  . La trasformazione che converte   in   può essere invertita univocamente, per esempio, la componente   del momento è data da:

 

e similmente per   e  . In altre parole, il vettore tridimensionale   è una proiezione stereografica del vettore quadri-dimensionale  , scalato per   (Figura 8).

Senza perdere di generalità, noi possiamo eliminare la normale simmetria rotazionale imponendo le coordinate cartesiane in modo che l'asse   sia allineato con il vettore momento angolare   e gli odografi del momento siano allineati così come lo sono in Figura 7, con i centri delle circonferenze sull'asse  . Poiché il moto è planare e   ed   sono perpendicolari,  , l'attenzione dovrebbe essere limitata al vettore tridimensionale  . La famiglia di cerchi di Apollonio degli odografi del momento (Figura 7) corrisponde a una famiglia di cerchi massimi sulla sfera tridimensionale  , ognuno dei quali interseca l'asse   nei due punti  , corrispondenti ai punti degli odografi in  . Questi cerchi massimi sono legati da una semplice relazione riguardante l'asse   (Figura 8). Questa simmetria di rotazione trasforma tutte le orbite della stessa energia in un'altra, tuttavia, una tale rotazione è ortogonale alle usuali rotazioni tridimensionali, poiché trasforma la quarta dimensione  . Questa maggiore simmetria è una caratteristica del problema dei due corpi e corrisponde alla conservazione del vettore di Lenz.

Un'elegante soluzione in variabili angolo-azione per il problema di Keplero può essere ottenuta eliminando le ridondanti coordinate quadridimensionali   in favore di un sistema di coordinate ellittico-cilindriche  [33]

 
 
 
 

dove   e   sono le Funzioni ellittiche di Jacobi.

Generalizzazione ad altri potenziali e relativitàModifica

il vettore di Lenz può anche essere generalizzato allo scopo di identificare quantità conservate applicabili in situazioni diverse da quelle sopra descritte.

In presenza di un campo elettrico  , il vettore di Lenz generalizzato (e conservato)   è[17][34]

 ,

dove   è la carica elettrica della particella orbitante.

Generalizzando ulteriormente il vettore di Lenz ad altri potenziali ed alla relatività speciale, si ottiene la forma più generale e scritta come[7]

 

dove   (ved. teorema di Bertrand) e  , con l'angolo   definito da:

 

e   è il Fattore di Lorentz. Come osservato precedentemente, si può ottenere un vettore conservato binormale   eseguendo il prodotto vettoriale con il vettore momento angolare:

 

Questi due vettori possono essere combinati per formare un tensore diadico  :

 

Per esempio, è possibile calcolare il vettore di Lenz per un oscillatore armonico isotropo e non relativistico.[7] Poiché la forza è centrale

 

il vettore momento angolare è conservato ed il moto giace in un piano. Il tensore diadico conservato può essere scritto in una semplice forma:

 

inoltre si può notare che   ed   non sono necessariamente perpendicolari. Il vettore di Lenz corrispondente è più complicato:

 

dove   è la frequenza naturale dell'oscillatore ed  .

Prove che il vettore di Lenz risulta conservato nei problemi di KepleroModifica

I seguenti sono argomenti atti a dimostrare che il vettore di Lenz è conservato in campi di forze centrali che obbediscono alla legge dell'inverso del quadrato.

Prove dirette della conservazioneModifica

Una forza centrale   agente su una particella è:

 

per alcune funzioni   del raggio  . Poiché il momento angolare   è conservato in una forza centrale,   e

 

dove il momento   ed il triplo prodotto vettoriale è stato semplificato utilizzando la formula di Lagrange

 .

L'identità

 

porta all'equazione:

 

per il caso speciale di una forza centrale che risponde alla legge dell'inverso del quadrato  , questo è uguale a:

 .

Dunque,   è conservato in questo tipo di forze:

 .

Come descritto sopra, questo vettore di Lenz   è un caso speciale del vettore generalizzato   che può essere definito per tutte le forze centrali.[7][8] Tuttavia, poiché molte forze centrali non producono orbite chiuse (vedi Teorema di Bertrand, l'analogo vettore   raramente possiede una semplice definizione ed è generalmente una funzione funzione polidroma dell'angolo   fra   e  .

Equazioni di Hamilton–Jacobi in coordinate parabolicheModifica

La conservazione del vettore di Lenz può essere anche derivata dalle Equazioni di Hamilton–Jacobi in coordinate paraboliche  , che sono definite attraverso le equazioni

 
 

dove   rappresenta il raggio nel piano dell'orbita

 

l'inversione di queste coordinate è:

 
 .

La separazione delle equazioni di Hamilton–Jacobi in queste coordinate porta a due equazioni equivalenti[17][35]

 
 

dove   è una costante del moto. Sottraendo e re-esprimendo in termini del vettore momento   e   si dimostra che   è equivalente al vettore di Lenz:

 .

Teorema di NoetherModifica

La connessione fra la simmetria rotazionale descritta sopra e la conservazione del vettore di Lenz può essere espressa quantitativamente attraverso il Teorema di Noether. Questo teorema, che è utilizzato per trovare costanti del moto, afferma che ogni variazione infinitesimale delle coordinate generalizzate del sistema fisico

 

che porta la Lagrangiana del sistema a una variazione di primo ordine per una derivata totale sul tempo

 

corrisponde a una quantità conservata  :

 

in particolare, la componente conservata del vettore di Lenz   corrisponde alla variazione nelle coordinate[36]

 ,

dove  , con   e   diventano le componenti  esime dei vettori posizione e momento   e  , rispettivamente; come usuale,   rappresenta il delta di Kronecker. La corrispondente variazione di primo ordine nella Lagrangiana è:

 .

Sostituzioni nella formula generale per la quantità conservata   porta alla componente conservata   del vettore di Lenz:

 .

Trasformazioni di LieModifica

 
Figura 9: La trasformazione di Lie dalla quale è stata derivata del vettore di Lenz  . Al variare del fattore di scala  , cambiano l'energia ed il momento angolare, ma l'eccentricità   ed il modulo e la direzione di   rimangono inalterati.

La derivazione della conservazione del vettore di Lenz   attraverso il teorema di Noether è elegante, ma ha un problema: la variazione delle coordinate   comporta non solo la posizione  , ma anche il momento   o, equivalentemente, la velocità  .[37] Questa complicazione può essere eliminata semplicemente derivando la conservazione di   utilizzando un altro approccio, impostato da Sophus Lie.[38][39] Per la precisione, è possibile definire una trasformazione di Lie[40] in cui le coordinate   ed il tempo   sono riscalati per differenti valori del parametro   (Figura 9)

 

questa trasformazione cambia il momento angolare totale   e l'energia  

 

ma conserva il loro prodotto   . Dunque, l'eccentricità   e la grandezza   sono conservate, come si può vedere dalle equazioni per  

 

la direzione di   è anch'essa conservata, poiché i semiassi non sono alterati da una riscala globale. Queste trasformazioni conservano anche la terza legge di Keplero, ovvero, il semiasse maggiore   ed il periodo   formano una costante  .

Fattori di scala, simboli e formulazioni alternativeModifica

Diversamente dai vettori momento e momento angolare   ed  , non esiste ancora una definizione universalmente accettata del vettore di Lenz; molti differenti fattori di scala e simboli sono stati utilizzati nella letteratura scientifica. La definizione più comune è stata fornita sopra, ma un'altra alternativa comune è di dividere il vettore per la costante   così da ottenere il vettore eccentricità privo di dimensioni

 

dove   è il vettore velocità. Questo vettore scalato   ha la stessa direzione di   e modulo equivalente all'eccentricità dell'orbita. Altre versioni scalate possono essere utilizzate con successo, ad es. dividendo   per la sola massa  :

 

o per  :

 

in modo da ottenere un vettore con le stesse unità del momento angolare  . in rari casi, il verso del vettore di Lenz può essere rivoltato, ovvero moltiplicando il vettore per  . Altri simboli utilizzati per il vettore di Lenz sono   e  . Tuttavia, la scelta di fattori di scala e simboli per   non affligge in alcun modo le sue proprietà.

 
Figura 4: Il vettore momento angolare  , il vettore di Lenz   ed il vettore di Hamilton  , sono mutuamente perpendicolari;   e   puntano lungo i due semiassi maggiori e minore, rispettivamente, dell'orbita ellittica.

un vettore costante alternativo è il vettore binormale   studiato da William Rowan Hamilton

 

che è costante e punta lungo il semiasse minore dell'ellisse, il vettore di Lenz   è il prodotto vettoriale di   ed  . Simile al vettore di Lenz esso stesso, il vettore binormale può essere definito con differenti simboli di scala.

I due vettori conservati,   e  , possono essere combinati per formare un tensore diadico  [7]

 

dove   e   sono arbitrarie costanti di scala e   rappresenta il prodotto tensoriale . Scritto in componenti esplicite, questa equazione assume la formula:

 

Essendo perpendicolari l'uno all'altro, i vettori   e   possono essere visti come gli assi principali del tensore  .   è perpendicolare ad  :

 

poiché   e   sono entrambi perpendicolari a  ,  . Con maggiore chiarezza, questa equazione scritta in componenti esplicite diventa:

 .

NoteModifica

  1. ^ a b c d e f g H. Goldstein, Classical Mechanics, 2nd edition, Addison Wesley, 1980, pp. 102–105,421–422.
  2. ^ VI Arnold, Mathematical Methods of Classical Mechanics, 2nd ed., New York, Springer-Verlag, 1989, p. 38, ISBN 0-387-96890-3.
  3. ^ a b W Pauli, Über das Wasserstoffspektrum vom Standpunkt der neuen Quantenmechanik, in Zeitschrift für Physik, vol. 36, 1926, pp. 336–363, DOI:10.1007/BF01450175.
  4. ^ a b c V Fock, Zur Theorie des Wasserstoffatoms, in Zeitschrift für Physik, vol. 98, 1935, pp. 145–154, DOI:10.1007/BF01336904.
  5. ^ a b V Bargmann, Zur Theorie des Wasserstoffatoms: Bemerkungen zur gleichnamigen Arbeit von V. Fock, in Zeitschrift für Physik, vol. 99, 1936, pp. 576–582, DOI:10.1007/BF01338811.
  6. ^ a b WR Hamilton, The hodograph or a new method of expressing in symbolic language the Newtonian law of attraction, in Proceedings of the Royal Irish Academy, vol. 3, 1847, pp. 344-353.
  7. ^ a b c d e DM Fradkin, Existence of the Dynamic Symmetries O4 and SU3 for All Classical Central Potential Problems, in Progress of Theoretical Physics, vol. 37, 1967, pp. 798–812, DOI:10.1143/PTP.37.798.
  8. ^ a b T Yoshida, Two methods of generalisation of the Laplace–Runge–Lenz vector, in European Journal of Physics, vol. 8, 1987, pp. 258–259, DOI:10.1088/0143-0807/8/4/005.
  9. ^ J Hermann, Unknown title, in Giornale de Letterati D'Italia, vol. 2, 1710, pp. 447–467.
    J Hermann, Extrait d'une lettre de M. Herman à M. Bernoulli datée de Padoüe le 12. Juillet 1710, in Histoire de l'academie royale des sciences (Paris), vol. 1732, 1710, pp. 519–521.
  10. ^ J Bernoulli, Extrait de la Réponse de M. Bernoulli à M. Herman datée de Basle le 7. Octobre 1710, in Histoire de l'academie royale des sciences (Paris), vol. 1732, 1710, pp. 521–544.
  11. ^ PS Laplace, Traité de mécanique celeste, 1799, Tome I, Premiere Partie, Livre II, pp.165ff.
  12. ^ JW Gibbs, Wilson EB, Vector Analysis, New York, Scribners, 1901, p. 135.
  13. ^ C Runge, Vektoranalysis, Leipzig, Hirzel, 1919, Volume I.
  14. ^ W Lenz, Über den Bewegungsverlauf und Quantenzustände der gestörten Keplerbewegung, in Zeitschrift für Physik, vol. 24, 1924, pp. 197–207, DOI:10.1007/BF01327245.
  15. ^ NW Evans, Superintegrability in classical mechanics, in Physical Review a, vol. 41, 1990, pp. 5666–5676, DOI:10.1103/PhysRevA.41.5666.
  16. ^ A Sommerfeld, Atomic Structure and Spectral Lines, London, Methuen, 1923, p. 118.
  17. ^ a b c LD Landau, E.M. Lifshitz, Mechanics, 3rd edition, Pergamon Press, 1976, p. 154, ISBN 0-08-021022-8, (hardcover) and(softcover).
  18. ^ T Curtright, Zachos C, Classical and Quantum Nambu Mechanics, in Physical Review, D68, 2003, p. 085001, DOI:10.1103/PhysRevD.68.085001.
  19. ^ NW Evans, Group theory of the Smorodinsky–Winternitz system, in Journal of Mathematical Physics, vol. 32, 1991, pp. 3369–3375, DOI:10.1063/1.529449.
  20. ^ C Zachos, Curtright T, Branes, quantum Nambu brackets, and the hydrogen atom, in Czech Journal of Physics, vol. 54, 2004, pp. 1393–1398, DOI:10.1007/s10582-004-9807-x.
  21. ^ a b A Einstein, Erklärung der Perihelbewegung des Merkur aus der allgemeinen Relativitätstheorie, in Sitzungsberichte der Preussischen Akademie der Wissenschaften, vol. 1915, 1915, pp. 831–839.
  22. ^ UJJ Le Verrier, Lettre de M. Le Verrier à M. Faye sur la Théorie de Mercure et sur le Mouvement du Périhélie de cette Planète, in Comptes Rendus de l'Academie de Sciences (Paris), vol. 49, 1859, pp. 379–383.
  23. ^ CM Will, General Relativity, an Einstein Century Survey, SW Hawking and W Israel, eds., Cambridge, Cambridge University Press, 1979, Chapter 2.
  24. ^ A. Pais, Subtle is the Lord: The Science and the Life of Albert Einstein, Oxford University Press, 1982.
  25. ^ NT Roseveare, Mercury's Perihelion from Le Verrier to Einstein, Oxford University Press, 1982.
  26. ^ a b c A. Bohm, Quantum Mechanics: Foundations and Applications, 2nd edition, Springer Verlag, 1986, pp. 208–222.
  27. ^ PAM Dirac, Principles of Quantum Mechanics, 4th revised edition, Oxford University Press, 1958.
  28. ^ E Schrödinger, Quantisierung als Eigenwertproblem, in Annalen der Physik, vol. 384, 1926, pp. 361–376, DOI:10.1002/andp.19263840404.
  29. ^ a b M Bander, Itzykson C, Group Theory and the Hydrogen Atom (I), in Reviews of Modern Physics, vol. 38, 1966, pp. 330–345, DOI:10.1103/RevModPhys.38.330.
  30. ^ M Bander, Itzykson C, Group Theory and the Hydrogen Atom (II), in Reviews of Modern Physics, vol. 38, 1966, pp. 346–358, DOI:10.1103/RevModPhys.38.346.
  31. ^ HH Rogers, Symmetry transformations of the classical Kepler problem, in Journal of Mathematical Physics, vol. 14, 1973, pp. 1125–1129, DOI:10.1063/1.1666448.
  32. ^ [[Victor Guillemin|V Guillemin]], Sternberg S, Variations on a Theme by Kepler, American Mathematical Society Colloquium Publications, volume 42, 1990, ISBN 0-8218-1042-1.
  33. ^ M Lakshmanan, Hasegawa H, On the canonical equivalence of the Kepler problem in coordinate and momentum spaces, in Journal of Physics a, vol. 17, 1984, pp. L889–L893, DOI:10.1088/0305-4470/17/16/006.
  34. ^ PJ Redmond, Generalization of the Runge–Lenz Vector in the Presence of an Electric Field, in Physical Review, vol. 133, 1964, pp. B1352–B1353, DOI:10.1103/PhysRev.133.B1352.
  35. ^ VA Dulock, McIntosh HV, On the Degeneracy of the Kepler Problem, in Pacific Journal of Mathematics, vol. 19, 1966, pp. 39–55.
  36. ^ JM Lévy-Leblond, Conservation Laws for Gauge-Invariant Lagrangians in Classical Mechanics, in American Journal of Physics, vol. 39, 1971, pp. 502–506, DOI:10.1119/1.1986202.
  37. ^ F Gonzalez-Gascon, Notes on the symmetries of systems of differential equations, in Journal of Mathematical Physics, vol. 18, 1977, pp. 1763–1767, DOI:10.1063/1.523486.
  38. ^ S Lie, Vorlesungen über Differentialgleichungen, Leipzig, Teubner, 1891.
  39. ^ EL Ince, Ordinary Differential Equations, New York, Dover (1956 reprint), 1926, pp. 93–113.
  40. ^ GE Prince, Eliezer CJ, On the Lie symmetries of the classical Kepler problem, in Journal of Physics A: Mathematical and General, vol. 14, 1981, pp. 587–596, DOI:10.1088/0305-4470/14/3/009.

BibliografiaModifica

Voci correlateModifica

Altri progettiModifica