Vettore di Lenz

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

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.

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 riscoperta

[modifica | modifica wikitesto]

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 matematica

[modifica | modifica wikitesto]

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 orbitale

[modifica | modifica wikitesto]
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 momento

[modifica | modifica wikitesto]
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 | modifica wikitesto]

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 perturbati

[modifica | modifica wikitesto]
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 Poisson

[modifica | modifica wikitesto]

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 idrogeno

[modifica | modifica wikitesto]
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 simmetria

[modifica | modifica wikitesto]

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 dimensioni

[modifica | modifica wikitesto]
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 | modifica wikitesto]

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 Keplero

[modifica | modifica wikitesto]

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 conservazione

[modifica | modifica wikitesto]

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 paraboliche

[modifica | modifica wikitesto]

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 Noether

[modifica | modifica wikitesto]

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 Lie

[modifica | modifica wikitesto]
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 alternative

[modifica | modifica wikitesto]

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:

.
  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.

Voci correlate

[modifica | modifica wikitesto]

Altri progetti

[modifica | modifica wikitesto]