10 Teor Pert Can PDF

Contenido: Tema 10
10. Teora cannica de perturbaciones

10.1 Transformaciones cannicas y teora de perturbaciones
10.2 Teora de perturbaciones para sistemas unidimensionales
10.3 Teora de perturbaciones para sistemas de n-dimensiones
10.4 Invariantes adiabticos
1
Omar De la Pea-Seaman | IFUAP
Mecnica Clsica M.C. Fsica
/35
1/35
Contenido: Tema 10

2
/35
2/35
Transformaciones cannicas y teora de perturbaciones

Fundamentos
Supongamos que tenemos el Hamiltoniano,

H(q, p, t) = H0 (q, p, t) + H1 (q, p, t)
en donde
H0 : es el Hamiltoniano del sistema no-perturbado.
H1 : es la perturbacin al Hamiltoniano, siendo H H0 muy pequea.
Entonces, podemos considerar que existe una transformacin cannica
dependiente de tal que
(q, p) (Q, P, t) ,
H(q, p) K(Q, P, t)
en donde K(Q, P, t) sea mas sencillo de resolver que H(q, p, t).

En este enfoque tendriamos que,
= 0: la transformacin cannica es la identidad.
6= 0: transformacin cannica que nos lleva a K(Q, P ).
/35
3/35

Transformacin cannica via S(q, P, t)
Consideremos una transformacin cannica tipo S(q, P, t; ) en donde

es fijo y muy pequeo, entonces,
K(Q, P, t) = H(q, p, t) +
S(q, P, t) 1
t
en donde q = q(Q, P, t), p = p(Q, P, t).

Ahora, expandiendo q, p, K, y S en potencias de ,
K = K0 + K1 + 2 K2 + . . .
pi = Pi + p1,i + 2 p2,i + . . .
qi = Qi + q1,i + 2 q2,i + . . .
S = qi Pi + S1 + 2 S2 + . . .
en donde S(q, P, t) = qi Pi representa la funcin generatriz relativa a
la transformacin identidad.
1
en donde se ha escrito S(q, P, t; ) = S(q, P, t) por simplicidad.
/35
4/35

Pero de la transformacin cannica sabemos,

pi =
S
S
, & Qi =
,
qi
Pi
entonces, sustituyendo S por su expansin en pi ,
S
=
(qi Pi + S1 + S2 + . . .) ,
qi
qi
S1
S2
= Pi +
+ 2
+ ...,
qi
qi
pi =
pi
pero,
pi = Pi + p1,i + 2 p2,i + . . . ,
comparando trmino a trmino las ltimas dos ecuaciones tenemos,
pk,i =
Sk
.
qi
5
/35
5/35

Relizando el mismo anlisis con Qi ,

S
=
(qi Pi + S1 + S2 + . . .) ,
Pi
Pi
S1
S2
= qi +
+ 2
+ ...,
Pi
Pi
Qi =
Qi
pero,
qi = Qi + q1,i + 2 q2,i + . . . ,
sustituyendo la ecuacin anterior en Qi ,

Qi = Qi + q1,i +
S1
Pi
+ 2 q2,i +
S2
Pi
+ ...,
para que la ecuacin anterior se mantenga, se debe cumplir

qk,i =
Sk
.
Pi
6
/35
6/35

Teoa perturbativa
Expandiendo ahora al Hamiltoniano H(q, p, t) a primer orden,

H(q, p, t) = H0 (q, p, t) + H1 (q, p, t),
para ello se aplica Taylor a primer rden en H0 respecto (Q, P ),

H0
H0
+ (pi Pi )
H0 (p, q, t) = H0 (Q, P, t) + (qi Qi )

qi =0
pi =0
donde, qi = Qi + q1,i , pi = Pi + p1,i ,
H0
H0
+ p1,i
Qi
Pi
Sk
Sk
pero:
qk,i =
& pk,i =
Pi
qi

S1 H0
S1 H0
H0 (p, q, t) = H0 (Q, P, t) +
+
Pi Qi
Qi Pi
H0 (p, q, t) = H0 (Q, P, t) + [S1 , H0 ]
H0 (p, q, t) = H0 (Q, P, t) + q1,i
f (x, y) = f (x0 , y0 ) + (x x0 )f /x|x0 ,y0 + (y y0 )f /y|x0 ,y0
/35
7/35

Teoa perturbativa
Para H1 (q, p, t) tendremos un desarrollo similar,

H1 (q, p, t) = H1 (Q, P, t)+O(), H1 (q, p, t) = H1 (Q, P, t)+O(2 ).
Por tanto, sustituyendo en H(q, p, t),
H(q, p, t) = H0 (q, p, t) + H1 (q, p, t),
H(q, p, t) = H0 (Q, P, t) + (H1 (Q, P, t) + [S1 , H0 ]) .
Ahora, recordando la transformacin cannica para el Hamiltoniano,
S
,
K(Q, P, t) = H(q, p, t) +
t
Sustituimos la expresin para H(q, p, t),
S
K(Q, P, t) = H0 (Q, P, t) + (H1 (Q, P, t) + [S1 , H0 ]) +
,
t

S1
= H0 (Q, P, t) + H1 (Q, P, t) + [S1 , H0 ] +
,
t
donde S = qi Pi + S1 S/t = S1 /t.
8
/35
8/35

Teoa perturbativa
Recordando finalmente la expresin de K(Q, P, t) en potencias de ,

K(Q, P, t) = K0 + K1 + 2 K2 + . . .
y comparando con el resultado anterior,
S1
K(Q, P, t) = H0 (Q, P, t)+ H1 (Q, P, t) + [S1 , H0 ] +
+O(2 ),
t

tenemos que,
K0 (Q, P, t) = H0 (Q, P, t),
K1 (Q, P, t) = H1 + [S1 , H0 ] +
S1
t
La ecuacin anterior muestra como se obtiene K1 en funcin de S1 , sin

embargo en problemas de dinmica ambas cantidades K y S necesitan
ser encontradas de manera simultnea!!
9
/35
9/35
Contenido: Tema 10

10
/35
10/35
Teora de perturbaciones para sistemas unidimensionales

Transformacin cannica a variables de ngulo y accin
Consideremos que tenemos un sistema conservativo H(q, p, t) =

H(q, p), en donde el Hamiltoniano perturbado es:
H(q, p) = H0 (q, p) + H1 (q, p).
Asumimos ademas
que se trata de sistemas de naturaleza peridica,
por tanto un set adecuado de variables cannicas para describir a H
seran las variables angulares y de accin:
(q, p) (w, J)
H(q, p) K(J) = E(J).
Para hallar tal transformacin cannica, primero se procede a obtener:

(q, p) (w0 , J0 ) K0 (w0 , J0 ) = H0 [q(w0 , J0 ), p(w0 , J0 )] = K0 (J0 ),
definiendo:
K1 (w0 , J0 ) = H1 [q(w0 , J0 ), p(w0 , J0 )]
K(w0 , J0 ) = K0 (J0 ) + K1 (w0 , J0 ),
siendo (w0 , J0 ) las variables angulares y de accin de H0 .
11
/35
11/35

Del resultado anterior:

K(w0 , J0 ) = K0 (J0 ) + K1 (w0 , J0 ),
es imporante enfatizar que K(w0 , J0 ), K0 (J0 ), y K1 (w0 , J0 ) son conocidas:
H(p, q) es conocido del propio problema a tratar,
la transformacin cannica (q, p) (w0 , J0 ) se obtiene al aplicar el
procedimiento de VAA al sistema de H0 .
Ahora, recordando que K es integrable y con movimiento peridico, y
por tanto que posee un set de variables (w, J) propias, existe una
transf. cannica tal que:
(w0 , J0 ) (w, J) K [w0 (w, J), J0 (w, J)] K(J) = E(J),
encontrando tal transformacin cannica, y relacionandla con la
transf. (q, p) (w0 , J0 ) el problema puede ser resuelto, es decir, es
posible obtener E(J).
12
/35
12/35

Para resolver (w0 , J0 ) (w, J), aplicamos la siguiente transformacin:

3
S(w0 , J) = w0 J + S1 (w0 , J) + 2 S2 (w0 , J) + . . . ,

en donde w0 J es la transformacin identidad.
De la transformacin cannica sabemos,
J0 =
S
,
w0
w=
S
,
J
sustituyendo S en las expresiones anteriores,

J0 =
w =
3
S
S1
S2
=J +
+ 2
+ ...
w0
w0
w0
S
S1
S2
= w0 +
+ 2
+ ...,
J
J
J
del tipo 2: F2 = S(q, P ).
13
/35
13/35

De igual manera expandemos E(J) en potencias de ,

E(J) = E0 (J) + E1 (J) + 2 E2 (J) + . . .
= K(w0 , J0 ) K0 (J0 ) + K1 (w0 , J0 ).
Para describir cada trmino de E(J), expandimos en potencias de
(J0 J) a K(w0 , J0 ),
K(w0 , J0 ) = K0 (J0 ) + K1 (w0 , J0 )

2
K0
1
2 K0
= K0 (J) + (J0 J)
+
(J
J)
+ ...
0
J0 J 2
J02 J

K1
. . . + K1 (w0 , J) + (J0 J)
+ ...
J0 J
pero,
J0 J =
S1
S2
+ 2
+ ...,
w0
w0
(J0 J)2 = 2
S1
w0
2
+ ...
14
/35
14/35

Sustituyendo las expresiones de (J0 J),

S1
S2
K0
K(w0 , J0 ) = K0 (J) +
+ 2
+ ...
+ ...
w
w0
J
" 0
#
1 2 S1 2
2 K0
... +

+ ...
+ ...
2
w0
J 2

S2
K1
S1
+ 2
+ ...
+ ...
. . . + K1 (w0 , J) +
w0
w0
J

agrupando en potencias de ,
S1 K0
K(w0 , J0 ) = K0 (J) +
+ K1 (w0 , J) + . . .
w0 J
"
#

1 S1 2 2 K0
S1 K1
2 S2 K0
... +
+
+
+ ..
w0 J
2 w0
J 2
w0 J

15
/35
15/35

Comparamos el resultado anterior con la expansin de E(J) = K(w0 , J0 ),

E(J) = E0 (J) + E1 (J) + 2 E2 (J) + . . .

S1 K0
K(w0 , J0 ) = K0 (J) +
+ K1 (w0 , J) + . . .
w0 J
"
#

2 2
S
K
1
S
K
K
S
2
0
1
0
1
1
. . . + 2
+
+ ..
+
w0 J
2 w0
J 2
w0 J
igualando trmino a trmino hasta segundo grado de , obtenemos:
E0 (J) = K0 (J),
S1 K0
= K1 (w0 , J) + [S1 , K0 ] ,
w0 J

S2 K0 1 S1 2 2 K0
S1 K1
+
+
,
2
w0 J
2 w0
J
w0 J
E1 (J) = K1 (w0 , J) +
E2 (J) =
observamos que necesitamos conocer de manera simultnea Ei (J) y

Sk /w0 !!!
16
/35
16/35

Para obtener las expresiones de Ei (J) evaluaremos los promedios en

un periodo del movimiento,
hf (w0 )i =
Z 2
dw0
f (w0 )
2
en donde el promedio es realizado a un J fijo, po tanto J ser una
funcin peridica en w0 , lo cual tambin indica que S y sus derivadas
Sk /w0 son peridicas.
0
Debido a esta periodicidad, podemos expresar Sk (y tambin sus derivadas

Sk /w0 ) en trminos de series de Fourier,
Sk (w0 , J) =
Sk (J; m)eimw0 ,
m=
con lo cual, los promedios de Sk /w0 se anularn:

Sk
w0
1
=
2
Z 2
Sk
0
w0
dw0 = 0.
17
/35
17/35

Calculando ahora el promedio de las expresiones para Ei (J), comenzando con E1 (J):
S1 K0
,
w0 J

S1 K0
E1 (J) = hK1 (w0 , J)i +
w0 J
E1 (J) = hK1 (w0 , J)i 5
E1 (J) = K1 (w0 , J) +
despejando de E1 (J) a S1 /w0 ,

S1
hK1 i K1
K0
=
0 (J) =
w0
0 (J)
J
La solucin de la ec. anterior es S1 (w0 , J) + (J) donde (J) es una
funcin arbitraria cuyo papel es aadir una fase a w, (J) = 0.
4
5
hf (J)i = f (J).
hSk /w0 i = 0.
18
/35
18/35

Aplicando ahora el promedio para E2 (J),

S2 K0 1 S1 2 2 K0
S1 K1
E2 (J) =
+
,
+
2
w0 J
2 w0
J
w0 J
*
+

S2
1 0
S1 2
S1 K1
E2 (J) = 0
+
+
w0
2 J
w0
w0 J

pero sabemos que,

Sk
= 0,
w0
*
por tanto:
S1
w0
S1
hK1 i K1
=
,
w0
0
2 +
=
=
=
1
02
1
02
1
02
hK1 i2 2K1 hK1 i + K12 ,
hK1 i2 2 hK1 i2 + K12
hD
Ei
K12 hK1 i2 .
19
/35
19/35

Tambin:

S1 K1
w0 J
1
K1
(h K1 i K1 )
,
0
J

1
K1
K1
hK1 i
K1 ,
0
J
J

=
=
sustituyendo ambos resultados en E2 (J),

i 1 K
1 0 hD 2 E
K1
1
2
E2 (J) = 2
K1 hK1 i +
hK1 i
K1 .
0
J
J
20 J
Entonces, de la expresin original de E2 (J)

E2 (J) =
S2 K0 1
+
w0 J
2
S1
w0
2 2
K0
J 2
S1 K1
,
w0 J
podemos despejar S2 /w0 .

20
/35
20/35

Realizando el despeje e insertando la expresin para E2 (J) llegamos a

S2
w0
K1
K1
K1
K1
hK1 i
K1
hK1 i +
K1 + . . .
J
J
J
J
i
1 0 hD 2 E
... +
K1 2 hK1 i2 + 2K1 hK1 i + K12 .
20 J
1
02

Observamos por tanto que del requerimiento E(J) nos lleva a ecuaciones diferenciales parciales para S1 y S2 .
Con las expresiones para Ei (J) obtenidas anteriormente se obtiene:
E(J) = E0 (J) + E1 (J) + 2 E2 (J) + . . .

i
1 0 hD 2 E
2 1
E(J) = K0 (J) + hK1 i +
K1 hK1 i2 + . . .
0 20 J

K1
K1
... +
K1
,
hK1 i
J
J
en donde las frecuencias del sistema perturbado son = E/J.
21
/35
21/35
Contenido: Tema 10

22
/35
22/35
Teora de perturbaciones para sistemas de n-dimensiones

Generalizacin en n-dimensiones
Generalizando las consideraciones anteriores para n grados de libertad

en donde w0 {w01 , w02 , . . . , w0n } y J0 {J01 , J02 , . . . , J0n }, tenemos
J0 =
w =
S1
S2
S
= J + + 2 + . . .
w0
w0
w0
S
S1
S2
= w0 + + 2 + . . .
J
J
J
De igual manera, para la expansin de E(J),

E0 (J) = K0 (J),
S1
,
w0

X K1 S1
1 X 0 S1 S1
S2
+
+
E2 (J) =
0
J w0
w0
2 J w0 w0
E1 (J) = K1 (w0 , J) +
0 (J)
en donde J representa al set {J 1 , J 2 , . . . , J n }.

23
/35
23/35

Para calcular los promedios en la expansin de E(J) usamos,

hf (J)i =
1
(2)n
Z 2
0
dw01
Z 2
0
dw02 . . .
Z 2
0
dw0n f (w0 , J)
Como en el caso unidimensional, E1 (J) = hK1 i, con lo cual tenemos,

X
S1
= hK1 i K1
w0
Tal como se realiz anteriormente, el lado derecho de la ec. anterior

se puede expandir en series de Fourier,
hK1 i K1 =
m (J)eimw0 ,
m w0 =
m w0 .
en donde los coeficientes m vienen dados por,

m =
1
(2)n
Z 2
0
dw01
Z 2
0
dw02 . . .
Z 2
0
dw0n [hK1 i K1 ] eimw0 .

24
/35
24/35

De igual manera expandimos S1 ,

S1 =
S1 (J; m)eimw0 ,
por tanto,
X
X
S1
= i (0 m)S1 (J; m)eimw0 ,
w0
m
igualando ambas expansiones tenemos

S1 (J; m) =
m (J)
.
i(0 m)
La expresin anterior provee una solucin al problema a primer orden

siempre y cuando el denominador sea diferente de cero.
Cuando 0 m es cero se tienen frecuencias degeneradas, conocidas
tambin como resonancias.
25
/35
25/35
Contenido: Tema 10

26
/35
26/35
Invariantes adiabticos
Condicin adiabtica
Consideremos un sistema unidimensional que realiza un movimiento

finito, caracterizado por un parmetro tal que es completamente
integrable,
H = H(q, p, )
Supongamos ahora que vara con el tiempo, pero lentamente, durante un periodo de movimiento T ,
d
= T ,
dt
donde lo anterior se conoce como condicin adiabtica.
T
Para encontrar como afecta tal consideracin al sistema, calculemos la

razn de cambio de E,
dH
H
H
H
H
dE
=
q +
p +
=
=
dt
q
p
dt
en donde los primeros dos trminos se cancelan por las ecuaciones
cannicas de Hamilton.
27
/35
27/35
Condicin adiabtica
De la expresin anterior
dE
H
=
dt
vemos que depende tanto de la lenta variacin de como la rpida

variacin de p y q.
Por tanto, para analizar la variacin de E tomamos el promedio en un
periodo de movimiento

dE
dt
siendo = cte en el caso de la condicin adiabtica y donde el

promedio viene dado como,

1
T
Z T
H
0
dt
28
/35
28/35
Condicin adiabtica
Para calcular el promedio anterior recordemos la ecuacin cannica de

Hamilton,
1
H
, dt =
dq,
q =
p
H/p
en donde adems el periodo T lo podemos calcular como,
Z T
T =
dt =
0
1
dq.
H/p
Sustituyendo los resultados anteriores en la expresin de H/,

=
=
1
T
Z T
H
1
H
1
H/p dq
dt
I
H/
dq.
H/p
29
/35
29/35
Condicin adiabtica
Como ya se mencion, las integrales de la ec. anterior se realizan en

trayectorias donde = cte., E = cte., en donde podemos definir
p = p(q, E, ), por tanto calculamos
d
dE
H(q, p, ) =
d
d
H p H
+
= 0
p
H/
p
=
H/p
Sustituyendo el resultado anterior en H/,

=H
1
H/p dq
H/
p/dq
dq = H
H/p
p/Hdq
30
/35
30/35
Condicin adiabtica
Recordemos que,

dE
dt
H
=
p/dq
= H
p/Hdq
reordenando el resultado anterior,

I
dE
dt
p
p
+
dq = 0.
E
Ahora, por otro lado, tomemos la accin,

I
J=
pdq,
y calculemos la diferencial total, donde p = p(q, E, )

dJ
=
dt
6
7
dp
dq =
dt
I
p E
p p
+
+
q dq =
E t
q

I
donde
hdE/dti es
de q y haciendo H E.
H
H independiente
H
(p/q)qdq
= qdp
= (H/p)dp = 0.
p E
p
+
dq 7
E t
31
/35
31/35
Condicin adiabtica
Aplicando al resultado anterior el promedio,

dJ
dt
I
p
E
dE
dt
p
dq
pero habiamos encontrado que para sistemas en donde aplica la condicin adiabtica se cumple que
I
dE
dt
p
p
dq = 0
+
E
dJ
dt
= 0,
por tanto tenemos que la accin es un invariante adiabtico, es decir,

J permanece constante cuando el parmetro vara.
32
/35
32/35
Ecuaciones de movimiento
= cte. S = S(q, J)
= (t) S = S(q, J, (t))
Ecs. de transformacin cannicas
Ecs. de transformacin cannicas
p=
S
S
, w=
q
J
p=
Ecs. de movimiento de Hamilton

S
K = H(J)
t
K
J =
= 0 J = cte.
w
K
w =
= w = t + .
J
K = H+
S
S
, w=
q
J
Ecs. de movimiento de Hamilton

K=H+
S
t
en donde
Z
S=
pdq.
33
/35
33/35
Por tanto, necesitamos hallar S/t para obtener las ecs. de movimiento
en el caso = (t)
K
K
, w =
.
J =
w
J
Para ello usamos
Z
S =
S
t
pdq, p = p(q, E, (t))
p
p
dq =
dq =
t
=
= (w,
J)
Z
pdq
en donde hemos definido

S
= (w, J).
34
/35
34/35
Por tanto, de la expresin para el Hamiltoniano transformado,

K=H+
= H(J) + (w,
J),
t
hallamos las ecuaciones de movimiento cuando = (t)

K

J =
=
,
w
w
K

w =
= (J) +
,
J
J
en donde (J) = K/J es la frecuencia de oscilacin calculada
considerando = cte.
35
/35
35/35

10 Teor Pert Can PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

10 Teor Pert Can PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Contenido: Tema 10

10. Teora cannica de perturbaciones

Mecnica Clsica M.C. Fsica

10. Teora cannica de perturbaciones

Mecnica Clsica M.C. Fsica

Transformaciones cannicas y teora de perturbaciones

Supongamos que tenemos el Hamiltoniano,

H(q, p) K(Q, P, t)

en donde K(Q, P, t) sea mas sencillo de resolver que H(q, p, t).

Mecnica Clsica M.C. Fsica

Transformaciones cannicas y teora de perturbaciones

Consideremos una transformacin cannica tipo S(q, P, t; ) en donde

en donde q = q(Q, P, t), p = p(Q, P, t).

en donde se ha escrito S(q, P, t; ) = S(q, P, t) por simplicidad.

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

Transformaciones cannicas y teora de perturbaciones

Pero de la transformacin cannica sabemos,

entonces, sustituyendo S por su expansin en pi ,

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

Transformaciones cannicas y teora de perturbaciones

Relizando el mismo anlisis con Qi ,

para que la ecuacin anterior se mantenga, se debe cumplir

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

Transformaciones cannicas y teora de perturbaciones

Expandiendo ahora al Hamiltoniano H(q, p, t) a primer orden,

H0 (p, q, t) = H0 (Q, P, t) + q1,i

f (x, y) = f (x0 , y0 ) + (x x0 )f /x|x0 ,y0 + (y y0 )f /y|x0 ,y0

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

Transformaciones cannicas y teora de perturbaciones

Para H1 (q, p, t) tendremos un desarrollo similar,

Mecnica Clsica M.C. Fsica

Transformaciones cannicas y teora de perturbaciones

Recordando finalmente la expresin de K(Q, P, t) en potencias de ,

La ecuacin anterior muestra como se obtiene K1 en funcin de S1 , sin

Mecnica Clsica M.C. Fsica

10. Teora cannica de perturbaciones

Mecnica Clsica M.C. Fsica

Teora de perturbaciones para sistemas unidimensionales

Consideremos que tenemos un sistema conservativo H(q, p, t) =

H(q, p) K(J) = E(J).

Para hallar tal transformacin cannica, primero se procede a obtener:

Mecnica Clsica M.C. Fsica

Teora de perturbaciones para sistemas unidimensionales

Del resultado anterior:

Mecnica Clsica M.C. Fsica

Teora de perturbaciones para sistemas unidimensionales

Para resolver (w0 , J0 ) (w, J), aplicamos la siguiente transformacin:

S(w0 , J) = w0 J + S1 (w0 , J) + 2 S2 (w0 , J) + . . . ,

sustituyendo S en las expresiones anteriores,

del tipo 2: F2 = S(q, P ).

Omar De la Pea-Seaman | IFUAP

Teora de perturbaciones para sistemas unidimensionales

De igual manera expandemos E(J) en potencias de ,

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

Teora de perturbaciones para sistemas unidimensionales

Sustituyendo las expresiones de (J0 J),

Mecnica Clsica M.C. Fsica

Teora de perturbaciones para sistemas unidimensionales

H(q, p) K(Q, P, t)

Consideremos una transformacin cannica tipo S(q, P, t; ) en donde

en donde se ha escrito S(q, P, t; ) = S(q, P, t) por simplicidad.

H0 (p, q, t) = H0 (Q, P, t) + q1,i

Recordando finalmente la expresin de K(Q, P, t) en potencias de ,

S(w0 , J) = w0 J + S1 (w0 , J) + 2 S2 (w0 , J) + . . . ,

De igual manera expandemos E(J) en potencias de ,