Solución problema II, mecánica estadı́stica 2

Diego Alejandro Bedoya M. (1740372)

Febrero 17, 2021

Usando la expresión para w(E) encontrada en clase para el oscilador armónico simple
unidimensional en conjunto con la integral en la ecuación 1, determine Q(x).
Z
Q(x) = c lim dpPµ (1)
∆E→0 E≤H(p,x)≤E+∆E

⇒ Escribimos la integral en 1 en términos de las funciones paso θ y los lı́mites de la

integral se evalúan en todos los valores posibles de p:
Z ∞
Q(x) = c lim dpPµ (θ(E + ∆E − H(p, x)) − θ(E − H(p, x)))
∆E→0 −∞
Z ∞
= c lim dpPµ ∆θ(E − H(p, x)) (2)
∆E→0 −∞

Ahora, de los desarrollos en clase y la definición del hamiltoniano del oscilador armónico
simple, tenemos:
r
p2 kx2 1 m dθ(E − H)
H(p, x) = + , Pµ = , w(E) = 2πc , = δ(E − H) (3)
2m 2 w(E)∆E k dE

Reemplazando las expresiones en las ecuaciones 3 en la integral de 2, resolvemos:

Z ∞ Z ∞
1
Q(x) = c lim dpPµ ∆θ(E − H(p, x)) = c lim dp ∆θ(E − H(p, x))
∆E→0 −∞ ∆E→0 −∞ w(E)∆E
Z ∞ r
1 k
= c lim dp ∆θ(E − H(p, x))
∆E→0 −∞ 2πc∆E m
r Z ∞ r Z ∞
1 k ∆θ(E − H(p, x)) 1 k dθ(E − H(p, x))
= dp lim = dp
2π m −∞ ∆E→0 ∆E 2π m −∞ dE
r Z ∞
1 k
= dp δ(E − H(p, x)) (4)
2π m −∞

Aplicando la transformada de Laplace en la variable real E a la compleja t a Q(x), se

utiliza la integral en E para simplificar la distribución delta en la integral de 4. Denotando

1
la función transformada Q(t),
e entonces:
Z ∞ Z ∞ r Z ∞
1 k
Q(t)
e = dEe−Et Q(x) = dEe−Et dp δ(E − H(p, x))
−∞ −∞ 2π m −∞
r Z ∞Z ∞
1 k
= dE dp e−Et δ(E − H(p, x))
2π m −∞ −∞
r Z ∞Z ∞
1 k
= dE dp e−H(p,x)t δ(E − H(p, x))
2π m −∞ −∞
r Z ∞ Z ∞
1 k
= dE δ(E − H(p, x)) dp e−H(p,x)t
2π m −∞ −∞
r Z ∞   2
kx2
 
1 k p
= dp exp − + t
2π m −∞ 2m 2
2
−t kx2
r r r r
k −t kx2 ∞
Z
1 t 2 1 k kx2 2mπ k e
= e 2 dp e− 2m p = e−t 2 = √ (5)
2π m −∞ 2π m t 2π t
Finalmente, para encontrar Q(x) aplicamos la transformada inversa de Laplace en la
variable compleja t a la real E a la función del resultado en 5, integrando sobre una recta
en el plano complejo tal que la parte real se denota x y es mayor a la parte real de todas las
singularidades de Q(t).
e Esto es:
2
−t kx2
Z x+i∞ Z x+i∞ r
1 1 k e
Q(x) = dt eEt Q(t)
e = dt eEt √
i2π x−i∞ i2π x−i∞ 2π t
r Z x+i∞ kx2
1 k et(E− 2 )
= dt √
i2π 2π x−i∞ t
Cambiamos de variable t = u2 , dt = 2udu, e integramos en la misma curva tal que
u = x + iy, donde x es la constante antes descrita y y ∈ (−∞, ∞), ası́ mismo du = idy.
Reemplazando en la última integral:
kx2 kx2
r Z x+i∞ r Z x+i∞ 2
1 k et(E− 2 ) 1 k eu (E− 2 )
Q(x) = dt √ = 2udu
i2π 2π x−i∞ t i2π 2π x−i∞ u
r Z ∞ r Z ∞
1 k 2 kx2 1 k 2 2 kx2
= idy e(x+iy) (E− 2 ) = dy e(x +i2xy−y )(E− 2 )
iπ 2π −∞ π 2π −∞
r r
k x2 (E− kx2 ) ∞ k ax2 ∞
Z Z
1 kx2 2 kx2
i2xy(E− 2 ) −y (E− 2 ) 1 2
= e 2 dy e e = e dy e−(ay −iwy)
π 2π −∞ π 2π −∞

Donde se reemplaza:
kx2
a=E− w = 2ax (6)
2
Ahora, vemos que:
2
w2 w2 √ w2

2 2 w
ay − iwy = ay − iwy − + = ay − i √ + (7)
4a 4a 2 a 4a

2
 Reemplazando la expresión de la ecuación 7 en la última lı́nea de Q(x), vemos:
√
r r  2 
k ax2 ∞ k ax2 ∞
Z Z 2
1 −(ay 2 −iwy) 1 − w
ay−i 2√ a
+w
4a
Q(x) = e dy e = e dy e
π 2π −∞ π 2π −∞
r r
k ax2 − w2 ∞ k ax2 − 4a2 x2 ∞
Z √ 2 Z
1 w 1 w 2
dy e−a(y−i 2a )
− ay−i 2√
= e e 4a dy e a
= e e 4a
π 2π −∞ π 2π −∞
r Z ∞ r Z ∞
1 k ax2 −ax2 w 2 1 k w 2
= e e dy e−a(y−i 2a ) = dy e−a(y−i 2a )
π 2π −∞ π 2π −∞
Ahora, claramente suena tentativo reemplazar la variable en la gaussiana y resolver como
si fuera una integral real, pero en este no es el caso, el interior de la gaussiana es un número
complejo. Lo que sigue es demostrar que de hecho sı́ podemos evaluar la integral como su
análogo real. Esto es: Z ∞ Z ∞
w 2
−a(y−i 2a ) 2
dy e = dy e−ay (8)
−∞ −∞
−az 2
Para ello, usamos la gaussiana compleja e con z ∈ C en el siguiente contorno:

2
Figura 1: Curva suave cerrada para calcular la integral de la función e−az .
2
Primero, sabemos que como la función e−az es entera, entonces por el teorema integral
de Cauchy su integral sobre una curva cerrada suave del plano es cero. Tenemos:
I Z Z Z Z
−az 2 −az 2 −az 2 −az 2 2
dz e =0= dz e + dz e dz e + dz e−az
C1 +C2 +C3 +C4 C1 C2 C3 C4

Tomando lı́mite a ambos lados cuando x1 y x2 tienden a infinito, tenemos igualmente:

Z Z Z Z
−az 2 −az 2 −az 2 2
lim dz e + lim dz e lim dz e + lim dz e−az = 0
x1 ,x2 →∞ C1 x1 ,x2 →∞ C2 x1 ,x2 →∞ C3 x1 ,x2 →∞ C4

Revisamos cada integral por separado:

3
C1 . Se puede parametrizar la curva como z = y − iw/2a, dz = dx,tal que y ∈ (−x2 , x1 ), y
entonces:
Z Z x1 Z ∞
w 2 w 2
−a(y−i 2a )
lim dz e −az 2
= lim dy e = dy e−a(y−i 2a )
x1 ,x2 →∞ C1 x1 ,x2 →∞ −x2 −∞

C2 . Parametrizamos la curva como z = x1 − iwt/2a, con t ∈ (1, 0). Ahora, el objetivo de

las integrales en las curvas C2 y C4 es mostrar que se anulan, y para eso usamos la
desigualdad M L. Simplemente dice que:

Sea C una curva suave de longitud L, f (z) una función continua sobre C y supong-
amos que |f (z)| ≤ M ∀z ∈ C, siendo M ≥ 0, entonces:
Z 
 
 f (z) dz  ≤ M L
 
C

Teniendo nuestra función la gaussiana compleja, vemos:

w 2 w2 2 w2 2 w2
e−az = e−a(x1 −i 2a t) = e−ax1 eix1 wt e 4a t
2 2 2 2 2
→ |e−az | = e−ax1 e 4a t ≤ e−ax1 e 4a = M

Por tanto, siendo la curva C2 suave, y de longitud L = w/2a, entonces:

Z  Z 
 −az 2 
 w −ax21 w2  −az 2 
 w −ax21 w2
 dz e ≤
 2a e e 4a → lim  dz e ≤
 x1 ,x2 →∞ 2a e
lim e 4a = 0

C2 x 1 ,x 2 →∞ 
C2

Y ası́: Z  Z
−az 2  2
dz e−az = 0
 
lim 
x1 ,x2 →∞
dz e ≤0 ⇒ lim
x1 ,x2 →∞
C2 C2

C3 . Parametrizamos la curva como z = y, dz = dy, tal que y ∈ (x1 , −x2 ), y entonces:

Z Z −x2 Z −∞ Z ∞
−az 2 −ay 2 −ay 2 2
lim dz e = lim dy e = dy e =− dy e−ay
x1 ,x2 →∞ C3 x1 ,x2 →∞ x1 ∞ −∞

C4 . Igualmente se parametriza z = −x2 − iwt/2a, con t ∈ (0, 1). Realizando el mismo

método que con la curva C2 , usando la desigualdad M L, se prueba de forma análoga
que: Z
2
lim dz e−az = 0
x1 ,x2 →∞ C4

Recopilando todos los resultados, tenemos entonces que:

Z Z Z Z
−az 2 −az 2 2 2
lim dz e + lim dz e lim dz e−az + lim dz e−az = 0
x1 ,x2 →∞ C1 x1 ,x2 →∞ C2 x1 ,x2 →∞ C3 x1 ,x2 →∞ C4
Z ∞ 2
Z ∞ Z ∞ 2
Z ∞
w w
−a(y−i 2a ) −ay 2 −a(y−i 2a ) 2
dy e +0− dy e +0=0 → dy e − dy e−ay = 0
−∞ −∞ −∞ −∞

4
Y finalmente:
Z ∞ Z ∞ Z ∞ Z ∞
w 2 w 2
−a(y−i 2a ) −ay 2 −a(y−i 2a ) 2
dy e − dy e =0 ⇒ dy e = dy e−ay
−∞ −∞ −∞ −∞

Terminamos la integral, para calcular Q(x)

r Z ∞ r Z ∞
1 k w 2 1 k
dy e−a(y−i 2a ) =
2
Q(x) = dy e−ay
π 2π −∞ π 2π −∞
r r r r r
1 k π 1 k 1 1 k 1 1 k 1
= = √ = q = q q
π 2π a π 2 a π 2 E − k x2 π 2 k 2E − x2
2 2 k
1 1
= q
π 2E − x2
k

Ası́, se ha calculado que:

1 1
Q(x) = q
π 2E − x2
k