TEORIA DELLE PERTURBAZIONI: UN SEMPLICE ESEMPIO CARLANGELO LIVERANI 1. Un sistema semplice Sia q R d e si consideri il sistema determinato dalla Lagrangiana L(q, q) = q, M q V (q). Con M = M T > e D V (q) >, V (q) = V ( q) per ogni q R d. Assumiamo inoltre che V () = V () =. Esercizio 1. Si mostri che la Hamiltoniana associata è data da H(q, p) = p, M 1 p + V (q). Si supponga di essere interessati solo a piccole energie, diciamo più piccole di un qualche ε > dato. Il problema che ci volgiamo porre è di studiare il moto per tempi più lunghi possibile. La prima semplice idea (più di forma che di sostanza) è di introdurre delle nuove variabili ξ = ε 1 q, η = ε 1 p. Si noti che questo cambiamento di coordinate non è simplettico (completamente canonico), dunque non è ovvio che le nuove equazioni siano Hamiltoniane nè, se si, quale sia la nuova Hamiltoniana. Calcoliamo (1.1) ξ = ε 1 q = ε 1 M 1 p = M 1 η η = ε 1 V (ε 1 ξ). Ponendo A = D V () si può scrivere V (q) = 1 q, Aq + W (q) dove, a causa della simmetria, W (q) C q 3. Ponendo W (ξ, ε) = ε 1 W (ε ξ), possiamo quindi scrivere (1.) ξ = M 1 η η = Aξ ε W (ξ, ε). È facile verificare che le nuove equazioni sono Hamiltoniane per l Hamiltoniana H ε (ξ, η) = η,m 1 η + ξ,aξ + εw (ξ, ε) dove W è una funzione liscia di ξ e ε. Esercizio. Si verifichi che W (ξ, ) = i 1=1 i 4=1 w i 1,...,i 4 ξ i1... ξ i4, ovvero è un polinomio omogeneo di quarto grado. 1 Date: August 1, 1. 1 Suggerimento: usare la formula di Taylor. 1
CARLANGELO LIVERANI. Piccole oscillazioni Il secondo passo è di confrontare le soluzioni di (1.) con quelle della stessa equazione ma con ε =, che corrisponde ad un oscillatore armonico d-dimensionale. Si consideri l Hamiltoniana H (q, p) = p,m 1 p + q,aq. Poichè M è una matrice positiva è diagonalizzabile, i suoi autovalori m i sono tutti strettamente positivi si può definire la matrice M 1 come una matrice anche essa positiva. Possiamo dunque considerare il cambio di coordinate simplettico ξ = M 1 q, η = M 1 p. In tali coordinate l Hamiltonia ha la forma H (ξ, η) = η,η + ξ,bξ dove B = M 1 AM 1. Si noti che B è nuovamente una matrice simmetrica ed è quindi diagonalizzabile da una trasformazione ortogonale U, cioè (U 1 BU) ij = Ω ij = δ ijωi e U T U = UU T = 1. Possiamo dunque fare l ulteriore trasformazione simplettica ξ = Uz, η = U T w che da la nuova Hamiltoniana H (z, w) = w,w + z,ω z dove ora Ω è una matrice diagonale. Nel gergo della meccanica abbiamo appena scritto l Hamiltoniana in modi normali. 3 Le equazione del moto associate hanno ora la forma (.1) ż = w ẇ = Ω w. Dunque, dette z, w le condizioni iniziali si hanno le soluzioni z i (t) = z i cos(ω it) + w i ω i sin(ω i t). In altre parole abbiamo d oscillatori armonici indipendenti ognuno con frequenza ω i. La discussione appena fatta, sebbene semplice dal punto di vista teorico, non è molto utile dal punto di vista pratico poichè per essere implementata occorre calcolare la radice di una matrice, cosa non immediata. Dal punto di vista operativo è più semplice operare nel modo suggeirto dal seguente esercizio. Esercizio 3. Siano {ω i } le soluzioni dell equazione e v i dei vettori tali che 4 det ( A ω M ) = (.) Av i = ω i Mv i. Si mostri che i vettori v i possono essere scelti in modo che v i, Mv j = δ ij. 5 Esercizio 4. Dati i vettori v i definiti come nell esercizio precedente si definisca la matrice V i,j = (v 1... v d ), dove i v i sono intesi come vettori colonna. Si mostri che (.3) V V T = M 1. Si mostri inoltre che V 1 M 1 (V T ) 1 = 1 e V T AV = Ω. 6 Abbiamo chiamato la matrice diagonale Ω invece che Ω seguendo la tradizione. Si noti che ciò è sempre possibile perchè la matrice è positiva e quindi ha una radice con tutti gli autovalori positivi. 3 Più precisamente i modi normali sono dati da M 1 Ue i, dove e i è la solita base di R d. 4 Dal punto di vista computazionale questo è tanto complicato quanto trovare gli autovalori e autovettori di uan matrice. 1 5 Suggerimento: in analogia con la discussione di cui sopra si noti che M v i sono autovalori di M 1 AM 1 e quindi possono essere normalizzati in modo da formare una base ortonormale. 6 Ovvero, V = M 1 U il che da un modo alternativo di calcolare il cambiamento di variabili sopra discusso e mostra che i vettori v i sono appunto i modi normali del sistema.
TEORIA DELLE PERTURBAZIONI: UN SEMPLICE ESEMPIO 3 Chiaramente la relazione (.3) fornisce un modo rapido per calcolare la giusta normalizzazione dei vettori v i. Questo ci permette di studiare tutte le Hamiltoniane quadratiche, ricordiamo tuttavia che noi siamo interessati alla Hamiltoniana H ε non ad H. Esercizio 5. Si mostri che, con gli stessi cambi di variabili sopra descritti si ha w, w H ε (z, w) = per una qualche funzione liscia U. + z, Ω z + εu(z, ε) Detto z(t, ε), w(t, ε) il moto determinato da H ε per una data condizione iniziale, per la dipendenza liscia da un parametro delle soluzioni di una equazione differenziale si ha che x(t, ε) := (z(t, ε), w(t, ε)) dipende in maniera liscia da ε. Per stimare la differenza dei due moti si può quindi studiare la derivata rispetto a ε. Ponendo ζ(t, ε) := ε x(t, ε) si ha (.4) dove Λ = ζ = JD H ε (x)ζ + J ε H ε (x) =: Λζ + εγ(t)ζ + εf(x(t, ε), ε) ζ(, ε) =, ( ) 1 Ω ; Γ(t, ε) := D U(x(t, ε), ε) ; f(x, ε) = J( ε U)(x). se scriviamo (.4) in forma integrale e poniamo ρ := ζ otteniamo ρ(t, ε) t ( ) t Λ + ε Γ(s) ρ(s, ε)ds + f(x(s, ε), ε) ds. Dalla conservazione dell energia segue che esiste una constante C > tale che f(x(s, ε), ε) + Γ(t) C per tutti gli ε, s, quindi per tutti i tempi minori di un fissato tempo T la disuguaglianza di Gronwald implica la stima ρ(t, ε) CT e ( Λ +εc)t. Per ε sufficientemente piccolo, questa stima implica x(t, ε) x(t, ) εct e Λ t per ogni t T. Si tratta di una stima pessima visto che basta aspettare un tempo ordine di ln ε 1 per avere un errore di ordine uno e quindi avere un controllo pressochè nullo sulla soluzione. Si può fare di meglio? Per una equazione differenziale di forma generale la risposta sarebbe no ma la (.4) ha una forma molto speciale che può essere conveniente usata per migliorare la nostra comprensione delle soluzioni. Consideriamo infatti una funzione del tipo ζ(t, ε) = e Λt θ(t, ε) e calcoliamo a quale equazione differenziale deve soddisfare θ acciocchè ζ soddisfi (.4). Un semplice calcolo mostra θ(t) = ε t e Λs Γ(s, ε)e Λs θ(s)ds + ε t Esercizio 6. Si mostri che, per ogni t R, e Λt = 1. Da quanto detto segue la nuova stima ρ(t, ε) εe εct CT. e Λs f(s)ds. Questo significa che la differenza tra il moto con ε e il moto armonico rimane di ordine ε per un tempo dell ordine ε 1.
4 CARLANGELO LIVERANI Si tratta di un notevole miglioramento 7 ma spesso si tratta ancora di un tempo troppo breve o di una precisione troppo scarsa per le applicazioni, dunque la solita domanda: si può fare di meglio? 3. Rimuovere la perturbazione ad ordini superiori L idea è di trovare nuove coordinate simplettiche in cui la perturbazione sia più piccola. Ricominciamo da capo: data l Hamiltoniana p, p (3.1) H ε (q, p) = + q, Ω q + εu(q, ε) cerchiamo un cambio di coordinate con funzione generatrice S(η, q) = η, q + εξ(q, η), da cui (3.) p = q S = η + ε q Ξ, ξ = η S = q + ε η Ξ. La nuova Hamiltoniana si scrive quindi come H(q, η + ε q Ξ). Quello che vorremmo è trovare Ξ tale che H(ξ ε η Ξ(ξ, η), η + ε q Ξ(ξ, η)) H (ξ, η) Cε. Questo è equivalente a risolvere l equazione alle derivate parziali η, q Ξ(ξ, η) + ξ, Ω η Ξ(ξ, η) + U(q, ε) = che, sfortunatamente, non è molto semplice da studiare. Invece di cercare di studiare questa equazione risulta essere più semplice cambiare nuovamente variabili nella Hamiltoniana (3.1) prima di cercare un cambio di coordinate che rimuova la perturbazione ad ordini superiori. L idea è quella di usare le variabili azione-angolo per H. 3.1. Variabili azioni angolo. Vogliamo mettere H in variabili azione angolo. Questo significa che cerchiamo una trasformazione canonica (q, p) = Ψ(θ, I), dove I R d e θ T d, 8 determinata da una funzione generatrice del tipo S(q, I) e tale che H Ψ sia una funzione delle sole I. Si noti che H Ψ(I, θ) = H(q(I, θ), q S(q(I, θ), I)). Se dunque vogliamo che la nuova Hamiltoniana non dipenda dalle θ dobbiamo imporre = θ H Ψ = q H(q, q S) θ q. E sorprendente che possiamo invece chiedere la condizione, apparentemente molto più forte, = q H(q, q S). 9 Inoltre, a causa della struttura prodotto del sistema, si può richiedere che la nuova Hamiltoniana abbia una forma molto speciale, ovvero possiamo imporre q S, q S + q, Ω q = d h i (I i ) i=1 7 Se ε = 1 3 allora nelle coordinate originali si può predire il moto per un tempo dell ordine si 1 3 con un errore di 1 6 (ma si ricordi che tutte le coordinate sono dell ordine 1 3 ). 8 Qui per T d intendiamo R d modulo π ovvero il toro d-dimensionale in cui ogni coordinata è un angolo (e quindi varia tra zero e π). 9 Ecco, magari non troppo sorprendente: dopo tutto la trasformazione cercata non è unica (vedi esercizio 9) per cui c è ampio spazio per cercare trasformazioni di tipo speciale. Nel seguito faremo parecchie scelte il cui solo scopo è quello di ottenere formule più semplici.
TEORIA DELLE PERTURBAZIONI: UN SEMPLICE ESEMPIO 5 che si puó risolvere cercando una soluzione del tipo S(q, I) = d i=1 S i(q i, I i ) con qi S i (q i, I i ) = ± h i (I i ) ωi q i. Poichè il moto di q i è periodico e si svolge tra i due valori estremi q ± (I i ) tali che h i (I i ) = ωi q ±(I i ) e quindi esistono due possibilità a secondo che p i sia positivo o negativo. Noi analizzeremo il caso di p i positivo, l altro si tratta analogamente. Possiamo scrivere q S i (q i, I i ) = β i (I) + h i (I i ) ωi y dy. Abbiamo perciò il cambio (locale) di coordinate simplettico q θ i = Ii S = β h (I i ) (I i ) + dy hi (I i ) ωi y p i = qi S = h i (I i ) ωi q i Conviene scegliere β i = πi i, questo corrisponde a scegliere θ i = π quando q i = q (I i ). Inoltre volgiamo che θ i sia un angolo e quindi periodico di periodo π. Questo significa che quando q i = q + (I i ) deve essere θ i = cosicchè quando il moto torna a q (I i ) l angolo è aumentato esattamente di π e quindi, giustamente, siamo allo stesso punto da cui siamo partiti. Questo implica che Questo significa che ovvero q+(i i) d di i (3.3) I i = 1 π q+(i i) h (I i ) dy = π. hi (I i ) ωi y q+(i i) h i (I i ) ω i y dy = π, h i (I i ) ω i y dy dove abbiamo scelto la costante di integrazione uguale a zero. Per concludere e scoprire chi è h i dobbiamo calcolare l integrale (3.3). Consideriamo il cambiamento di variabili y = Da cui segue q+(i i) h i (I i ) = ω i I i hi(i i) ω i sin ϕ, θ i = Ii S = π + ω i q h i (I i ) ωi y = h π i(i i ) ω i = h i(i i ) ω i π π π 1 sin ϕ cos ϕdϕ cos ϕdϕ = h i(i i )π ω i. ( ) 1 ωi I i ω dy = ωi i sin 1 q π y I i.
6 CARLANGELO LIVERANI Ovvero (3.4) Ii ( q i = sin ω i θ i + π ) Ii = cos (ω i θ i ) ω i ω i p i = ( ω i I i cos ω i θ i + π ) = ω i I i sin (ω i θ i ). Esercizio 7. Si consideri l Hamiltoniana h(q, p) = p + V (q), q, p R, dove V è strettamente convesso. Attraverso gli stessi argomenti sviluppati sopra per un oscillatore armonico si mostri che le variabili azione angolo sono date da I = 1 q+(i) ( h(i) V (y))dy π θ = h (I) q (I) q q (I) 1 ( h(i) V (y) dy Si mostri inoltre che h (I) è connesso al periodo del moto. Esercizio 8. Si consideri l Hamiltoniana H ε (q, p) = 1 p + ω q + ε 1 q. Si faccia il cambio di coordinate che porta H in variabili azione angolo, si mostri che (3.5) H ε (θ, I) = ωi + ε I ω cos θ. Esercizio 9. Partendo dall Hamiltoniana i h i(i i ) si faccia una trasformazione simplettica (diversa dall identità) in cui le nuove coordinate (J, ϕ) sono nuovamente J R d, ϕ T d e la nuova Hamiltoniana dipende solo dalle J. 3.. Riduzione della perturbazione. Se applichiamo il cambio di variabili (3.4) alla Hamiltoniana (3.1) otteniamo la nuova Hamiltoniana H ε (θ, I) = ω, I + εw (θ, I, ε). Esercizio 1. Si ricordi l esercizio, si seguano i vari cambi di variabili e si verifichi che W (θ, I, ) è un polinomio trigonometrico omogeneo di quarto grado. Si verifichi che che può essere scritto come dove w k = w k. W (θ, I, ) = k Z w k (I)e i k,θ, Risulta essere conveniente definire a(i, ε) := 1 (π) d W (θ, I, ε)dθ 1... dθ d ; W (θ, I, ε) := W (θ, I, ε) a(i, ε) [,π] d h(i, ε) := ω, I + εa(i, ε). Cerchiammo ora nuovamente un cambio di coordinate vicino alla identità determinato dalla funzione generatrice S(θ, J) = θ, J + εξ(θ, J), dove Ξ è una funzione periodica di periodo π in tutte le variabili, tale che H ε (θ, J + ε θ Ξ(θ, J)) = h(j, ε) + O(ε ). Un semplice calcolo mostra che questo è possibile solo se (3.6) ω, θ Ξ(θ, J) + W (θ, J, ) =
TEORIA DELLE PERTURBAZIONI: UN SEMPLICE ESEMPIO 7 Esercizio 11. Si verifichi che W (θ, J, ) = k Z \{} w k (J)e i k,θ. L idea è di cerare una soluzione del tipo Ξ(θ, J) = k Z ξ k(j)e i k,θ. Sostituendola in (3.6) si ottiene [i ω, k ξ k (J) + w k (J)] e i k,θ = k Z \{} Tale equazione ha una soluzione se { w k (J) i ω,k if k and k 4 ξ k (J) = otherwise. Dunque è possibile trovare una soluzione solo se ω, k per tutti i k, k 4. Se uno di tali prodotti è nullo si dice che il sistema ha una risonanza e in tal caso la soluzione per ε = può esibire comportamenti molti differenti da quella del caso con ε = rendendo quindi impossibile vederla come una piccola perturbazione. Lo studio del moto quando sono presenti risonanze è piuttosto complesso e non lo affronteremo qui. Assumiamo quindi che il sistema non abbia risonanze. Come conclusione della nostra discussione abbiamo trovato nuove coordinate (ϕ, J) tali che nelle nuove coordinate l Hamiltoniana ha la forma Esercizio 1. Si mostri che H ε = ω, J + εa(j, ) + ε G(J, θ, ε) θ = ϕ + ε I = J + ε k Z \{} k Z \{} Mentre le equazioni del moto sono date da (3.7) w k (J) ω, k kei k,ϕ + O(ε ) J w k (J) i ω, k ei k,ϕ + O(ε ), ϕ = ω + ε J a(j, ) + O(ε ) J = O(ε ) Esercizio 13. Si usi il teorema della dipendenza liscia da un parametro per dimostrare che, dette (ϕ(t), J(t)) le soluzioni di (3.7), si ha 1 J(t) J() Cε te Cε t ; ϕ(t) ϕ() [ω + ε J a(j, )]t Cε te Cε t Esercizio 14. Si usi la tecnica illustrata in questa sezione sull Hamiltoniana (3.5). Si confronti la correzione della frequenza imperturbata al primo ordine con la frequenza vera del sistema. 1 Suggerimento: si pensi ε fissato e si introduca un nuovo parametro µ che moltiplica i termini O(ε ). Si confronti quindi il caso µ =, in cui le equazioni sono esattamente risolubili, col caso µ = 1, che sono le equazioni a cui siamo interessati.
8 CARLANGELO LIVERANI References Carlangelo Liverani, Dipartimento di Matematica, II Università di Roma (Tor Vergata), Via della Ricerca Scientifica, 133 Roma, Italy. E-mail address: liverani@mat.uniroma.it