¿Paridad definitiva de soluciones a una ecuación de Schrödinger con potencial par?

Estoy leyendo sobre la ecuación de Schrödinger y cito:

Como el potencial es simétrico bajo X X , esperamos que haya soluciones de paridad definida.

¿Podría alguien amablemente explicar por qué esto es cierto? ¿Y quizás también lo que significa físicamente?

Relacionado: physics.stackexchange.com/q/44003/2451 y enlaces allí.

Respuestas (3)

¡Buena pregunta! Primero necesita saber que la paridad se refiere al comportamiento de un sistema físico, o una de las funciones matemáticas que describen tal sistema, bajo reflexión. Hay dos "tipos" de paridad:

  • Si F ( X ) = F ( X ) , decimos la función F tiene incluso paridad
  • Si F ( X ) = F ( X ) , decimos la función F tiene paridad impar

Por supuesto, para la mayoría de las funciones, ninguna de esas condiciones es verdadera, y en ese caso diríamos que la función F tiene paridad indefinida .

Ahora, eche un vistazo a la ecuación de Schrödinger independiente del tiempo en 1D:

2 2 metro d 2 d X 2 ψ ( X ) + V ( X ) ψ ( X ) = mi ψ ( X )

y nota lo que pasa cuando reflexionas X X :

2 2 metro d 2 d X 2 ψ ( X ) + V ( X ) ψ ( X ) = mi ψ ( X )

Si tiene un potencial simétrico (par), V ( X ) = V ( X ) , esto es exactamente lo mismo que la ecuación original excepto que hemos transformado ψ ( X ) ψ ( X ) . Dado que las dos funciones ψ ( X ) y ψ ( X ) satisfacen la misma ecuación, debe obtener las mismas soluciones para ellos, excepto por una constante multiplicativa general; en otras palabras,

ψ ( X ) = a ψ ( X )

normalizando ψ requiere que | a | = 1 , lo que deja dos posibilidades: a = + 1 (paridad par) y a = 1 (paridad impar).

En cuanto a lo que esto significa físicamente, le dice que siempre que tenga un potencial simétrico, debería poder encontrar una base de estados propios que tengan una paridad par o impar definida (aunque no lo he probado aquí, * solo lo hice parecer razonable). En la práctica, obtienes combinaciones lineales de estados propios con diferentes paridades, por lo que el estado real puede no ser realmente simétrico (o antisimétrico) alrededor del origen, pero al menos te dice que si tu potencial es simétrico, podrías construir un simétrico ( o antisimétrico). Eso no está garantizado de otra manera. Sin embargo, probablemente tendría que obtener información de otra persona sobre para qué se usan exactamente los estados de paridad definida, ya que eso está fuera de mi área de experiencia (a menos que le importe la paridad de las partículas elementales, que es bastante más extraño).


*Existe un operador de paridad PAGS que invierte la orientación del espacio: PAGS F ( X ) = F ( X ) . Las funciones de paridad definida son funciones propias de este operador. Creo que puede demostrar la existencia de una base propia de paridad definida mostrando que [ H , PAGS ] = 0 .

Ooh, por cierto, ¿por qué no puedo? a C y | a | = 1 ?
Reflexionando dos veces, obtienes a 2 = 1 por lo que es un número real.
@IanDsouza El punto es que obtienes las mismas soluciones particulares para ψ ( X ) y ψ ( X ) . mi respuesta no dice eso ψ ( X ) = ± ψ ( X ) para todas las soluciones, solo que uno puede encontrar soluciones que satisfagan ese criterio (que es lo que pedía la pregunta).
@IanDsouza: Si encontraste una solución estacionaria ψ ( X ) , la función ψ ( X ) también será una solución con la misma energía. En otras palabras, como dijo David, ψ norte ( X ) = ± ψ norte ( X ) .
Como señalan otras respuestas, "Dado que las dos funciones [...] satisfacen la misma ecuación [diferencial lineal de segundo orden], debe obtener las mismas soluciones para ellas, excepto por una constante multiplicativa general" no es cierto en general. Suponiendo continuidad de ψ , el teorema de unicidad relevante requiere que la función y su derivada se especifiquen en un cierto punto para que haya una solución única (hasta una constante multiplicativa). Una solución fácil es utilizar el hecho de que ψ ( X ) = ψ ( X ) y ψ ( X ) = ψ ( X ) a X = 0 .

Lo siento, encontré la respuesta de David Z un poco confusa justo cuando discutía el punto crucial.

Dado que las dos funciones ψ(x) y ψ(−x) satisfacen la misma ecuación, debe obtener las mismas soluciones para ellas, excepto por una constante multiplicativa general; en otras palabras,

ψ(x)=aψ(−x)

Normalizar ψ requiere que |a|=1, lo que deja dos posibilidades: a=+1 (par >paridad) y a=−1 (paridad impar).

La primera parte "Dado que las dos funciones... constante multiplicativa" es generalmente falsa sin un requisito adicional importante que no se garantiza aquí. De hecho, es cierto bajo la hipótesis de que el espacio propio del operador hamiltoniano con valor propio mi estamos considerando es unidimensional . Sin embargo, este no es el caso en general. Finalmente la parte restante del enunciado anterior "Normalizar... la paridad)". es incorrecto de todos modos tal como está: la normalización solo requiere | a | = 1 .

Permítanme proponer una respuesta alternativa.

En primer lugar, se introduce la transformación de paridad , PAGS : H H , dónde H = L 2 ( R ) , definido de la siguiente manera sin hacer referencia a ningún operador hamiltoniano :

( PAGS ψ ) ( X ) := η ψ ψ ( X ) .

Arriba η ψ es un número complejo con | η ψ | = 1 . Es necesario dejar esta posibilidad porque, como es bien sabido en QM, los estados son funciones de onda hasta una fase tal que ϕ y mi i α ϕ son indistinguibles como estados y, físicamente, solo podemos manejar estados. como el mapa PAGS es (1) biyectiva y (2) conserva las probabilidades de transición entre estados , es la llamada simetría cuántica . Un célebre teorema de Wigner garantiza que toda simetría cuántica puede representarse mediante un operador unitario o antiunitario (dependiendo de la naturaleza de la simetría misma). En el presente caso, todo eso significa que debe ser posible arreglar el mapa ψ η ψ para que PAGS se vuelve lineal (o anti-lineal) y unitario (o anti-unitario). Como una cuestión de hecho PAGS se vuelve unitario si η se supone que es una forma independiente ψ . Entonces terminamos con el operador de paridad unitaria :

( PAGS ψ ) ( X ) := η ψ ( X ) ψ L 2 ( R )

dónde η C con | η | = 1 es cualquier número fijo . Podemos hacer más precisa nuestra elección de η requiriendo que PAGS es también un observable , es decir PAGS = PAGS . Es inmediato comprobar que sucede sólo para η = ± 1 . Es cuestión de conveniencia arreglar el letrero. Asumimos en adelante η = 1 (nada de lo siguiente cambiaría con la otra opción). Tenemos nuestra paridad observable/simetría dada por:

( PAGS ψ ) ( X ) := ψ ( X ) ψ L 2 ( R )

¿Cuál es el espectro de PAGS ? Como PAGS es unitario, los elementos λ del espectro debe verificar | λ | = 1 . Como PAGS es autoadjunto el espectro tiene que pertenecer a la línea real. Concluimos que el espectro de PAGS contiene { 1 , 1 } a lo sumo. Dado que estos son puntos discretos, deben ser valores propios propios con vectores propios asociados (quiero decir: cosas como el delta de Dirac están excluidas).

Es imposible que el espectro contenga 1 solo o 1 solamente, de lo contrario tendríamos PAGS = yo o PAGS = yo respectivamente, eso es evidentemente falso. hemos encontrado que PAGS tiene exactamente dos valores propios 1 y 1 .

En este punto podemos definir un estado, representado por ψ , para tener par par si PAGS ψ = ψ o paridad impar si PAGS ψ = ψ .

Vayamos al problema con nuestro hamiltoniano. Si V ( X ) = V ( X ) , por inspección directa uno ve inmediatamente que:

[ PAGS , H ] = 0 .

Suponiendo que el espectro de H es un espectro de puntos puro (de lo contrario, podemos limitarnos a tratar con el espacio de Hilbert asociado con el espectro de puntos de H prescindiendo de la asociada a la continua), un conocido teorema asegura que existe una base de Hilbert de vectores propios de H y PAGS simultaneamente.

Si ψ mi es un vector propio tan común (asociado con el valor propio mi de H ), debe verificar PAGS ψ mi = ψ mi o PAGS ψ mi = ψ mi , a saber:

ψ mi ( X ) = ψ mi ( X ) o, respectivamente, ψ mi ( X ) = ψ mi ( X ) .

Para concluir, recalco que generalmente es falso que un vector propio de H tiene paridad definida. Si el espacio propio del valor propio dado tiene dimensión 2 , es fácil construir contraejemplos. Sin embargo, es necesariamente cierto si el espacio propio considerado de H tiene dimensión 1 .

¿Por qué no es generalmente cierto para dimensiones más altas? ¿Qué parte de su argumento requiere una restricción de 1 dimensión?
Supongamos que el espacio propio H mi con valor propio mi de H es bidimensional (este argumento funciona más generalmente para la dimensión 2 ). Ya que H viaja con PAGS debe haber una base hilbertiana de vectores propios de PAGS de H mi , decir ψ + , ψ con PAGS ψ ± = ± ψ ± . Con esta situación, ψ := 1 2 ψ + + 1 2 ψ satisface H ψ = mi ψ pero no es un vector propio de PAGS : No tiene paridad definida. Ambas cosas ψ ( X ) = ψ ( X ) y ψ ( X ) = ψ ( X ) son falsos
Pero la cuestión es mostrar que 'esperamos que haya soluciones de paridad definida'. Ciertamente podemos construir soluciones de paridad definida en el ejemplo que das, es solo que no todas las soluciones satisfacen.
Efectivamente, tienes razón. Mi punto, al final de mi respuesta, fue diferente: que no todos los vectores propios del operador hamiltoniano son vectores propios del operador de paridad.

Creo que esta debería ser una respuesta alternativa desde los primeros principios.

Suponga que el hamiltoniano es unidimensional y V ( X ) es una función par. Dada una solución general ψ ( X ) , también tenemos eso ψ ( X ) es una solución Si el espacio propio del hamiltoniano es unidimensional, entonces debemos tener

ψ ( X ) = α ψ ( X )
dónde | α | = 1 . Multiplica ambos lados por ψ ( X ) ¯ e integrar sobre R :
d X   ψ ( X ) ¯ ψ ( X ) = α d X   ψ ( X ) ¯ ψ ( X )
Es fácil de mostrar cambiando las variables. X = z que la integral del lado derecho es igual a su complejo conjugado, y por lo tanto es real. Como el lado izquierdo es igual a 1 , entonces debemos tener eso α = ± 1 .

Si ψ ( X ) y ψ ( X ) son linealmente independientes, entonces no sé cómo manejar la situación.

Por favor, hágame saber si ha encontrado una falla en mi argumento. Salud.

En 1D, no hay estados propios degenerados. Entonces no puede haber una linealmente independiente ψ ( X ) y ψ ( X ) . Como tienen la misma energía, ¡deben estar en el mismo estado!