Simulado 4: Formalismo

Hamiltoniano y
Variables Acción-Ángulo
Una particula de masa m se mueve en una dimension sometida al potencial
a
V= (1)
Sin[x / x0 ]2
Obtener una expresion integral para la funcion caracteristica de Hamilton. En que condiciones pueden
utilizarse variables accion-angulo? Suponiendo que se cumplan éstas, hallar la frecuencia de oscilacion
por el metodo accion-angulo. (La integral para J se puede calcular manipulando el integrando de
manera que la raiz cuadrada aparezca en el denominador.) Comprobar el resultado en el limite de
oscilaciones de pequena amplitud.

Solución Numérica Formalismo Hamiltoniano

El hamiltoniano es
p2 a
H= + (2)
2m Sin[x / x0 ]2
p[t]2 a
In[1]:= H= + ;
2m Sin[x[t] / xo]2
Las ecuaciones de Hamilton

In[2]:= sistema = {x '[t] ⩵ D[H, p[t]], p '[t] ⩵ - D[H, x[t]]}

deriva deriva
2
p[t] 2a Cot x[t]
xo
 Csc x[t]
xo

Out[2]= x′ [t] ⩵ , p′ [t] ⩵ 
m xo

Las constantes
po2 a
In[3]:= m = 1; a = 1; xo = 1; po = 2; α = +
2m Sin[xo / xo]2
Out[3]= 2 + Csc[1]2

In[4]:= condiciones = {x[0] ⩵ xo, p[0] ⩵ po}

Out[4]= {x[0] ⩵ 1, p[0] ⩵ 2}
2 Simulado4.nb

In[5]:= sol = NDSolve[sistema ⋃ condiciones, {x, p}, {t, 0, 10}]

resolvedor diferencial numérico

Out[5]= x → InterpolatingFunction Domain: {{0., 10.}} ,

Output: scalar

p → InterpolatingFunction Domain: {{0., 10.}} 

Output: scalar

In[6]:= X[t_] := x[t] /. sol[[1]];

P[t_] := p[t] /. sol[[1]];

In[8]:= diagramadeFase = ParametricPlot[{X[t], P[t]}, {t, 0, 10},

gráfico paramétrico
AxesOrigin → {0, 0}, AspectRatio → 1, AxesLabel → {"x", "p"}]
origen de ejes cociente de aspecto etiqueta de ejes
p

Out[8]=
x
0.5 1.0 1.5 2.0 2.5

-1

-2
 Simulado4.nb 3

In[9]:= diagramadeEnergia =
a
Plot , α, {x, 0, 3}, AxesLabel → {"x", "V"}, AxesOrigin → {0, 0}
Sin[x
representación / xo]2
gráfica etiqueta de ejes origen de ejes

4
Out[9]=

x
0.5 1.0 1.5 2.0 2.5 3.0

ANIMACIÓN DE LA SOLUCIÓN

In[11]:= movimiento[t_] := ShowdiagramadeEnergia,

muestra

GraphicsRed, PointSize[0.05], Point[{X[t], 0}],

gráfico rojo tamaño de punto punto
a
Dashed, Line{X[t], 0}, X[t], ,
rayado línea
Sin[X[t] / xo]2

Show[{diagramadeFase, Graphics[{Red, PointSize[0.05], Point[

muestra gráfico rojo tamaño de punto punto

{X[t], 0}], Dashed, Line[{{X[t], 0}, {X[t], P[t]}}]}]}];

rayado línea

In[12]:= Manipulate[movimiento[t], {t, 0, 10}]

manipula

Out[12]= 3.33495

movimiento[3.33495]

T → 2  8.14 - 6.93
T → 2.42
4 Simulado4.nb

Solución Formalismo Variables Acción-Ángulo

In[13]:= Clear["Global`*"]
borra

La ecuación de Hamilton -Jacobi para la función Carcterística W[x, α] es

1 ∂W 2 a
+ ⩵α (3)
2m ∂x Sin[x / x0 ]2
∂W 2 a
p2 = ⩵ 2 m α-
∂x Sin[x / x0 ]2
(4)
a
W= 2mα 1- ⅆx
α Sin[x / x0 ]2

Esta es la ecuación integral para la función característica de W.

El movimiento está definido solo si α > V = a Csc[x/x0 ]. Aquí se muestra una gráfica para
α = 2 + Csc[1]2 ; a = 1; x0 = 1
1
In[14]:= Plot2 + Csc[1]2 , , {x, - 4, 4}, AxesLabel → {x, V}
2
representación gráfica Sinx  1 etiqueta de ejes

V
10

6
Out[14]=

x
-4 -2 2 4

Determinemos los puntos de retorno, igualando la energia al potencial

a a a
α == ; Sin[x / xo]2 = ; Sin[x / xo] = ± ;
Sin[x / xo]2 α α
(5)
a a
x / xo = ArcSin± ; x = x0 ArcSin± 
α α
Para los valores α = 2 + Csc[1]2 ; a = 1; x0 = 1
 Simulado4.nb 5

a a
In[15]:= xo ArcSin , xo ArcSin-  /. α → 2 + Csc[1]2 , a → 1, xo → 1 // N
arco seno α arco seno α valor numérico

Out[15]= {0.572041, - 0.572041}

Note que entre estos dos valores el potencial es mayor que la energía. Esta region es físicamente
prohibida y por lo tanto no son los puntos de retorno correctos.
Hallemos nuevamente los puntos de retorno, usando ahora Mathematica
a
retorno = Solveα == , x
resuelve Sin[x / xo]2

a
x → ConditionalExpressionxo - ArcSin  + 2 π C[1] , C[1] ∈ Integers,
α
a
x → ConditionalExpressionxo π - ArcSin  + 2 π C[1] , C[1] ∈ Integers,
α
a
x → ConditionalExpressionxo ArcSin  + 2 π C[1] , C[1] ∈ Integers,
α
a
x → ConditionalExpressionxo π + ArcSin  + 2 π C[1] , C[1] ∈ Integers
α

retorno /. α → 2 + Csc[1]2 , a → 1, xo → 1 // N
valor numérico

{{x → ConditionalExpression[- 0.572041 + 6.28319 C[1], C[1] ∈ Integers]},

{x → ConditionalExpression[2.56955 + 6.28319 C[1], C[1] ∈ Integers]},
{x → ConditionalExpression[0.572041 + 6.28319 C[1], C[1] ∈ Integers]},
{x → ConditionalExpression[3.71363 + 6.28319 C[1], C[1] ∈ Integers]}}

Los valores Correctos para los dos puntos de retorno son

x1 = xo ArcSin a/α  = 0.572041; x2 = xo π - ArcSin a/α  = 2.56955. Podemos ahora sí graficar
p = ∂ W /∂x
a
p=± 2mα 1- (6)
α Sin[x / x0 ]2
6 Simulado4.nb

In[16]:= m = 1; a = 1; xo = 1; α = 2 + Csc[1]2 ;
x1 = 0.5720409246593494`; x2 = 2.5695517289304437`;
a a
Plot 2mα 1- ,- 2mα 1- ,
representación gráfica α Sin[x / xo]2 α Sin[x / xo]2

{x, x1, x2}, AxesLabel → {"x", "p"}, AxesOrigin → {0, 0}

etiqueta de ejes origen de ejes
p

Out[16]=
x
0.5 1.0 1.5 2.0 2.5

-1

-2

El movimiento es de libración y es posible definir la variable de acción

∂W a
J= ⅆx =  p ⅆ x = 2mα  1- ⅆx (7)
∂x α Sin[x / x0 ]2

Con el fin de usar la integral de Jθ pagina 224 y 226 del texto guia

α2ϕ αϕ
Jθ = αθ  1- ⅆθ = 2 π αθ 1 - (8)
α2θ Sin[θ]2 αθ

Hacemos la siguiente sustitución en (7) α2ϕ = a; α2θ = α ; θ = x/x0

ⅆθ 2m α2ϕ
ⅆx = ⟶J = αθ  1- ⅆθ (9)
x0 x0 α2θ Sin[θ]2

Comparando;
2m αϕ 2m a
J= 2 π αθ 1 - = 2π α 1- (10)
x0 αθ x0 α
Probemos numéricamente este resultado

a
NIntegrate2 2mα 1- , {x, x1, x2}
integra numéricamente α Sin[x / xo]2

7.52835 + 2.71039 × 10-25 ⅈ

 Simulado4.nb 7

2m a
J→ 2π α 1- // N
xo α valor numérico

J → 7.52835

Hallemos ahora la frecuencia de oscilación, para ello debemos expresar H o α como función de J

Clear["Global`*"]
borra

2m a
SolveJ == 2π α 1- , α // Simplify
resuelve xo α simplifica

a J xo J2 xo2
α → a + + 
2 m π 8 m π2

a J x0 J2 x20
H = H[J] = α = a + + ;
2 m π 8 m π2
(11)
∂H a x0 J x20
f= = +
∂J 2 m π 4 m π2

m = 1; a = 1; xo = 1; α = 2 + Csc[1]2 ; J = 7.528345759321223`;

a xo J xo2 1
f = + ,T= 
2 m π 4m π2 f
{0.415774, 2.40515}