¿¡Fuera policía !?
¿¡Fuera policía !?
Buen señor……
Bien. Me parece que es hora de descifrar mi famosa derivación del principio de incertidumbre, basado solo en un único postulado.
El postulado es uno de los postulados fundamentales de la mecánica cuántica, y dice que:
Por cada [matemática] A [/ matemática] observable, existe un operador hermitiano [matemática] \ hat {A} [/ matemática], que cuando actúa en un estado de [matemática] A [/ matemática] bien definido, lo devuelve como el valor propio: [matemáticas] \ hat {A} | \ psi_A \ rangle = A | \ psi_A \ rangle [/ matemáticas]
Eso es todo lo que necesitamos para demostrar que el principio de incertidumbre debe surgir de la mecánica cuántica.
No me disculpo por la cantidad de matemáticas que sigue. Si se queja de que no hay una explicación de sentido común, entonces ese es su problema.
Una “salida de policía” es cuando no se describe algo correctamente para ofuscar la verdad, por lo que estoy presentando toda la maquinaria sin adulterar, para demostrar cuán, muy, no es una “salida de policía”.
No se queje de que no proporcioné una explicación de sentido común, porque eso sería una “evasión”.
Ahora consideramos que nos gustaría examinar los observables [matemática] A [/ matemática] y [matemática] B [/ matemática] de un sistema, lo que significa que necesitamos operadores [matemática] \ hat {A} [/ matemática] y [matemáticas] \ hat {B} [/ matemáticas]. Con estos operadores, realizamos operaciones totalmente permitidas para crear nuevos operadores:
[matemáticas] \ hat {F} = \ hat {A} – \ langle \ hat {A} \ rangle [/ math]
[matemáticas] \ hat {G} = \ hat {B} – \ langle \ hat {B} \ rangle [/ math]
Donde [matemáticas] \ langle \ hat {A} \ rangle = \ langle \ psi | \ hat {A} | \ psi \ rangle [/ math] es la notación de valor de expectativa usual, es decir, es el valor “promedio” de [math] A [/ math] que esperaría que se midiera desde el sistema [math ] | \ psi \ rangle [/ math]
Ahora construimos un nuevo estado:
[matemáticas] | \ Phi \ rangle = \ left (\ hat {F} + is \ hat {G} \ right) | \ psi \ rangle [/ math]
Donde [math] i [/ math] es la unidad compleja, y [math] s [/ math] es algún número real.
Sin embargo, la definición del producto interno da que:
[matemáticas] \ langle \ Phi | \ Phi \ rangle \ geq 0 [/ math] e implícito en esto, es que debe ser [math] \ in \ mathbb {R} [/ math]
Por lo tanto, construimos este producto interno:
[matemáticas] \ langle \ psi | \ left (\ hat {F} – es \ hat {G} \ right) \ left (\ hat {F} + es \ hat {G} \ right) | \ psi \ rangle \ geq 0 [/ math]
Donde he usado esa [matemática] \ left (i \ hat {B} \ right) ^ \ dagger = -i \ hat {B} ^ \ dagger = -i \ hat {B} [/ math] cuando [math] \ hat {B} [/ math] es hermitiano.
Multiplicar esto da:
[matemáticas] \ langle \ psi | \ hat {F} ^ 2 | \ psi \ rangle + s ^ 2 \ langle \ psi | \ hat {G} ^ 2 | \ psi \ rangle + es \ langle \ psi | \ hat {F} \ hat {G} – \ hat {G} \ hat {F} | \ psi \ rangle [/ math]
Ahora, en números normales, espera [math] ab = ba [/ math] – de modo que [math] ab-ba = 0 [/ math], esto se llama propiedad conmutativa. Este no es el caso en general con los operadores, en general no son conmutativos.
Llamamos a la construcción [math] \ hat {F} \ hat {G} – \ hat {G} \ hat {F} [/ math] el conmutador de los operadores, y le damos un bonito símbolo:
[matemáticas] [\ hat {F}, \ hat {G}] = \ hat {F} \ hat {G} – \ hat {G} \ hat {F} [/ math]
Por lo tanto, condensándonos, tenemos:
[matemáticas] \ langle \ hat {F} ^ 2 \ rangle + s ^ 2 \ langle \ hat {G} ^ 2 \ rangle + is \ langle [\ hat {F}, \ hat {G}] \ rangle \ geq 0 [/ matemáticas]
Sin embargo, recordamos que definimos todo esto como un número real ([math] \ in \ mathbb {R} [/ math]), lo que debe significar que el conmutador es puramente imaginario, para cancelar el [math] i [/ matemáticas] que todavía está presente:
[matemáticas] \ langle [\ hat {F}, \ hat {G}] \ rangle = iq ~~~~ q \ in \ mathbb {R} [/ math]
Así que eso:
[matemáticas] \ langle \ hat {F} ^ 2 \ rangle + s ^ 2 \ langle \ hat {G} ^ 2 \ rangle – sq \ geq 0 [/ math]
Ahora, lo consideramos.
¿Qué tenemos aquí?
Tenemos una fórmula cuadrática positiva en [math] s [/ math], ¿y queremos que siempre sea positiva o cero?
Por lo tanto, queremos que esta cuadrática nunca cruce el eje s ; si cruza el eje s, entonces [matemática] \ langle \ hat {F} ^ 2 \ rangle + s ^ 2 \ langle \ hat {G} ^ 2 \ rangle – sq \ leq 0 [/ math] – que rompe nuestras condiciones.
Teniendo esto en cuenta, usamos la fórmula cuadrática para descubrir cuándo [math] s [/ math] cruza el eje s.
[matemáticas] s = \ frac {- (- q) \ pm \ sqrt {q ^ 2 – 4 \ langle \ hat {F} ^ 2 \ rangle \ langle \ hat {G} ^ 2 \ rangle}} {2 \ langle \ hat {G} ^ 2 \ rangle} [/ math]
Ahora, si [math] s [/ math] tiene alguna solución que sea real, entonces la cuadrática no ha podido garantizar nuestra condición de que [math] \ geq 0 [/ math].
Por lo tanto, para no tener nada real , queremos que nuestras [math] s [/ math] sean complejas, lo que se logra dejando que [math] \ sqrt {~~} [/ math] sea menor que cero:
[matemáticas] q ^ 2 – 4 \ langle \ hat {F} ^ 2 \ rangle \ langle \ hat {G} ^ 2 \ rangle \ leq 0 [/ math]
Ahora reorganizamos esto:
[matemáticas] q ^ 2 \ leq 4 \ langle \ hat {F} ^ 2 \ rangle \ langle \ hat {G} ^ 2 \ rangle [/ math]
Ahora revelamos que hemos sido un poco descarados: [matemáticas] \ hat {F} [/ matemáticas] y [matemáticas] \ sombrero {G} [/ matemáticas] que construimos de tal manera que, por definición, [ matemática] \ langle \ hat {F} ^ 2 \ rangle [/ math] es la varianza de A , y de manera similar con [math] \ hat {G} [/ math] y B:
[matemáticas] \ sqrt {Var (A)} \ veces \ sqrt {Var (B)} \ geq \ frac {| q |} {2} [/ matemáticas]
Vuelva a poner nuestra definición de [matemáticas] q [/ matemáticas], y tenga en cuenta que [matemáticas] [\ hat {F}, \ hat {G}] = [\ hat {A}, \ hat {B}] [/ matemáticas ], de nuevo, por cuidadosa construcción!
[matemáticas] \ sqrt {Var (A)} \ veces \ sqrt {Var (B)} \ geq | \ langle \ frac {1} {2} [\ hat {A}, \ hat {B}] \ rangle | [/matemáticas]
Aquellos de ustedes que hayan hecho alguna estadística recordarán que la raíz cuadrada de la varianza es la desviación estándar :
[matemáticas] \ boxed {\ sigma_A \ sigma_B \ geq \ frac {1} {2} | \ langle [\ hat {A}, \ hat {B}] \ rangle | }[/matemáticas]
Este es el Principio de incertidumbre general, para cualquiera de los dos operadores.
Lo que esta relación nos dice es que si tenemos dos operadores que no viajan, entonces existe una relación de incertidumbre para esos dos operadores.
Ahora, el principio de incertidumbre más famoso es el original: para la posición [math] \ hat {x} [/ math] y momentum [math] \ hat {p} [/ math]. Si estos dos operadores no viajan, entonces el principio de incertidumbre de Heisenberg debe ser cierto.
Si todavía te sientes con ganas, puedes resolver el conmutador de estos dos operadores y es:
[matemáticas] [\ hat {x}, \ hat {p}] = i \ hbar [/ matemáticas]
Tal que:
[matemática] \ en caja {\ sigma_x \ sigma_p \ geq \ frac {\ hbar} {2}} [/ matemática]
Este es el principio de incertidumbre de Heisenburg, derivado de solo dos postulados (el segundo fue lo que me permitió derivar el conmutador)
Así que, por favor, buen señor / señora, señale la parte de esta derivación extremadamente rigurosa que fue una “salida de policía”.
¿Señalarme el trozo que fudimos para no tener que molestarnos con el experimento?
En todo caso, el principio de incertidumbre es un gran dolor en las bolas / vulvas para los físicos, en algunos casos limita severamente cuán precisos pueden ser nuestros experimentos más precisos, y queremos hacer experimentos.
Quiero decir, ¿no crees que las vastas franjas de físicos experimentales podrían no haberlo notado?
A los físicos se les paga por hacer experimentos: ¿qué motivo posible tendrían los físicos experimentales para decir “nah mate, es como, imposible o algo así?”
Si fuera posible hacer tales experimentos, habría personas pidiendo dinero para verlo y demostrar que estamos equivocados.
La idea de que hay algo de conspiración en física es casi risible … quiero decir, la idea de que alguien podría dejar pasar la financiación: ¡ja!