Uploaded by Luks cHS

Indeterminacion de Heissenberg Resuelto

advertisement
Soluciones - Mecánica Cuántica Moderna
Lucas Quijada Aguilera
6 de abril de 2023
Resumen
Problemas Resueltos:
Relación de Indeterminación de Heisenberg
Probar la relación de Indeterminación de Heisenberg
∆A∆B ≥
1
| ⟨[A, B]⟩ |.
2
(1)
.
Solución:
Dos operadores A y B son hermı́ticos, es decir, cumplen las relaciones A† = A y B † = B. Llamamos a
dos operadores ∆A y ∆B que se pueden expresar como
∆A = A − ⟨A⟩
(2)
∆B = B − ⟨B⟩
(3)
donde ⟨A⟩ = ⟨ψ|A|ψ⟩ , y |ψ⟩ es un estado arbitrario.
Es necesario saber si ∆A y ∆B son hermitianos o no. Para esto basta usar
†
∆A† = A† − ⟨A⟩ = A − ⟨A⟩ = ∆A
†
∆B = ∆B
†
sobre estos últimos
(4)
(5)
De (4) y (5) se concluye que ∆A y ∆B son hermitianos .
Llamemos dos vectores kets |ζ⟩ y |Ω⟩ talque
|ζ⟩ = ∆A |ψ⟩
(6)
|Ω⟩ = ∆B |ψ⟩
(7)
De acuerdo a la desigualdad de Schwarz se debe cumplir
⟨ζ|ζ⟩ ⟨Ω|Ω⟩ ≥ | ⟨ζ|Ω⟩ |2
La cantidad ⟨ψ|(∆A)2 |ψ⟩ = ⟨(∆A)2 ⟩ es conocida como la dispersión de A.
Calculando el lado izquierdo de (8)
⟨ζ|ζ⟩ ⟨Ω|Ω⟩ = ⟨ψ| ∆A† ∆A |ψ⟩ ⟨ψ| ∆B † ∆B |ψ⟩
Usando (4) y (5)
⟨ζ|ζ⟩ ⟨Ω|Ω⟩ = ⟨ψ| ∆A∆A |ψ⟩ ⟨ψ| ∆B∆B |ψ⟩
1
(8)
⟨ζ|ζ⟩ ⟨Ω|Ω⟩ = ⟨ψ|(∆A)2 |ψ⟩ ⟨ψ|(∆B)2 |ψ⟩
(9)
Usando nuevamente (4) y (5), el lado derecho de (8) queda
| ⟨ζ|Ω⟩ |2 = | ⟨ψ| ∆A∆B |ψ⟩ |2
(10)
Por construcción ∆A∆B se puede reescribir como
∆A∆B =
∆A∆B
∆B∆A ∆B∆A
1
1
∆A∆B
+
+
−
= (∆A∆B + ∆B∆A) + (∆A∆B − ∆B∆A)
2
2
2
2
2
2
∆A∆B =
{∆A, ∆B} [∆A, ∆B]
+
2
2
(11)
Insertando (11) en (10)
| ⟨ζ|Ω⟩ |2 = ⟨ψ|
{∆A, ∆B} [∆A, ∆B]
+
|ψ⟩
2
2
2
=
1
⟨ψ| {∆A, ∆B} |ψ⟩ + ⟨ψ| [∆A, ∆B] |ψ⟩
4
2
(12)
Ahora nos preguntamos si {∆A, ∆B} y [∆A, ∆B] son hermitianos o no.
Para {∆A, ∆B} se tiene
{∆A, ∆B}† = (∆A∆B + ∆B∆A)† = (∆A∆B)† + (∆B∆A)† = (∆B † ∆A† ) + (∆A† ∆B † ),
usando (4) y (5) ,
{∆A, ∆B}† = (∆B∆A) + (∆A∆B) = (∆A∆B + ∆B∆A) = {∆A, ∆B}
(13)
De (13) se concluye que {∆A, ∆B} es hermitiano.
Respecto a [∆A, ∆B]( antes de ver si es Hermitiano) primero es necesario la siguiente observación
[∆A, ∆B] = (∆A∆B − ∆B∆A) = (A − ⟨A⟩)(B − ⟨B⟩) − (B − ⟨B⟩)(A − ⟨A⟩)
[∆A, ∆B] = AB − A ⟨B⟩ − B ⟨A⟩ + ⟨A⟩ ⟨B⟩ − (BA + B ⟨A⟩ + A ⟨B⟩ − ⟨B⟩ ⟨A⟩) = AB − BA = [A, B]
[∆A, ∆B] = [A, B]
(14)
Dagando [∆A, ∆B]
[∆A, ∆B]† = [A, B]† = (AB − BA)† = (AB) † −(BA)† = B † A† − A† B † = BA − AB
= −(AB − BA) = −[A, B] = −[∆A, ∆B]
[∆A, ∆B]† = −[∆A, ∆B]
(15)
De (15) se concluye que [∆A, ∆B] es anti-hermitiano.
Suponga que dos operadores X e Y pueden ser expresados como
X = {∆A, ∆B}
(16)
Y = [A, B]
(17)
Ya se sabe que X es hermitiano, e Y anti hermitiano. De esto último se debe cumplir que los valores esperados
de X e Y , con respecto a |⟩ = |ψ⟩ , cumplan
†
†
⟨{∆A, ∆B}⟩ = ⟨|X|⟩ = ⟨|X † |⟩ = ⟨|X|⟩
†
†
†
⟨|[∆A, ∆B]|⟩ = ⟨|Y |⟩ = ⟨|Y |⟩ = − ⟨|Y |⟩
2
(18)
(19)
donde se han usado las propiedades de los operadores hermitiano o anti-Heritiano, las cuales nos dicen que;
de (18) se puede concluir que ⟨{∆A, ∆B}⟩ debe ser un número real, y que ⟨|[∆A, ∆B]|⟩ debe ser un número
imaginario puro. Esto último se puede expresar como
⟨{∆A, ∆B}⟩ = A
(20)
⟨|[∆A, ∆B]|⟩ = iB
(21)
donde A y B son número reales.
Reconsiderando la relación (12), esta se puede reexpresar usando (20) y (21) para probar que
| ⟨ζ|Ω⟩ |2 =
1
⟨| {∆A, ∆B} |⟩ + ⟨| [∆A, ∆B] |⟩
4
2
=
1
1
|(A + iB)|2 = (A + iB)(A − iB)
4
4
1
(|A|2 + |B|2 )
4
donde en la última expresión se ha asumido que A = A∗ y B = B ∗ .
Por lo tanto el lado derecho de (12) queda
| ⟨ζ|Ω⟩ |2 =
| ⟨ζ|Ω⟩ |2 =
1
⟨| {∆A, ∆B} |⟩ + ⟨| [∆A, ∆B] |⟩
4
2
=
1
| ⟨| {∆A, ∆B} |⟩ |2 + | ⟨| [∆A, ∆B] |⟩ |2
4
reescribiendo ⟨|...|⟩ como ⟨...⟩
| ⟨ζ|Ω⟩ |2 =
1
| ⟨{∆A, ∆B}⟩ |2 + | ⟨[∆A, ∆B]⟩ |2
4
(22)
Dado que la normas cuadradas de ⟨{∆A, ∆B}⟩ y ⟨[∆A, ∆B]⟩ son números reales positivos, entonces se puede
inferir que
1
1
2
2
| ⟨{∆A, ∆B}⟩ | + | ⟨[∆A, ∆B]⟩ | ≥ | ⟨[∆A, ∆B]⟩ |2
(23)
4
4
Usando (23) en (22) , junto a (14) ,
| ⟨ζ|Ω⟩ |2 ≥
1
| ⟨[A, B]⟩ |2
4
(24)
Juntando (9) y (24) a través de (8)
1
| ⟨[A, B]⟩ |2
4
1
=⇒ ⟨(∆A)2 ⟩ ⟨(∆B)2 ⟩ ≥ | ⟨[A, B]⟩ |2
4
p
Tomando la raı́z de esta última desigualdad, y considerando ∆A = ⟨(∆A)2 ⟩ al igual que para B, se llega
finalmente a la relación de la indeterminación de Heisenberg
⟨(∆A)2 ⟩ ⟨(∆B)2 ⟩ ≥ | ⟨ζ|Ω⟩ |2 ≥
∆A∆B ≥
1
| ⟨[A, B]⟩ |
2
3
(25)
Download