Soluciones físicamente inaceptables para la ecuación angular QM

Estoy leyendo el libro de texto de la tercera edición de Introducción a la mecánica cuántica de Griffiths [1]. En la p.136, el autor explica:

¡Pero espera! Ecuación 4.25 (ecuación angular para el θ -parte) es una ecuación diferencial de segundo orden: debe tener dos soluciones linealmente independientes, para cualquier valor antiguo de y metro . ¿Dónde están todas las otras soluciones? (Una está relacionada con la función de Legendre asociada). Respuesta : Existen , por supuesto, como soluciones matemáticas a la ecuación, pero son físicamente inaceptables porque explotan en θ = 0 y/o θ = π (ver Problema 4.5).

En el problema 4.5, puedo encontrar que la función A en [ broncearse ( θ / 2 ) ] satisface el θ ecuación para = metro = 0 . Y tal función explota en θ = 0 y θ = π .

Pero, ¿por qué tal función es físicamente inaceptable ? Para que la función de onda sea físicamente aceptable, fundamentalmente debe ser integrable al cuadrado. Y en [ broncearse ( θ / 2 ) ] en realidad!

0 π [ en [ broncearse ( θ / 2 ) ] ] 2 pecado θ d θ = π 2 6

Para el caso de la función de buen comportamiento, tiene sentido establecer la condición de la función como 'finita' y 'cuadrada integrable' de manera equivalente. En este caso, aunque en [ broncearse ( θ / 2 ) ] explota en θ = 0 y θ = π , todavía es integrable en cuadrado domesticado por pecado θ término. Por lo tanto, se puede normalizar para satisfacer la interpretación estadística de Born. Pero el autor dice que tal función es físicamente inaceptable, así que me pregunto por qué.

Referencia

Griffiths, DJ; Schroeter, DF Introducción a la Mecánica Cuántica 3ª ed; Prensa de la Universidad de Cambridge, 2018 . ISBN 978-1107189638.

La condición para una función de onda mecánica cuántica es la integrabilidad cuadrada. Esa no es la condición en E&M.
¿No debería la función de onda ser continua también para que sea físicamente aceptable?

Respuestas (2)

En principio, estamos tratando de resolver el problema TISE angular 1

L 2 Y   =   2 ( + 1 ) Y , L z Y   =   metro Y ,
en la unidad 2-esfera S 2 . Sin embargo, estamos usando un sistema de coordenadas "tropical" ( θ , ϕ ) que es singular en los polos norte y sur θ = 0 , π . Por lo tanto, estrictamente hablando también deberíamos resolver el TISE en vecindades de coordenadas "ártico/antártico" matemáticamente bien definidas de los polos norte y sur, respectivamente, y ver si podemos unir las soluciones locales en una solución global en S 2 . No es sorprendente 2 , las soluciones de coordenadas "ártico/antártico" no tienen singularidades en los polos. Entonces el pegado no es posible si el tropical ( θ , ϕ ) solución de coordenadas muestra singularidades en θ = 0 , π , es decir, tales singularidades son físicamente inaceptables.

--

1 Aquí nos ceñimos a la formulación geométrica diferencial utilizando funciones de onda. Por supuesto, también existe una formulación algebraica bien conocida que utiliza operadores de escalera, que no abordaremos aquí.

Podemos suponer wlog que 0 . El valor único de la función de onda. Y implica que la constante metro Z es un número entero. Su gama | metro | está delimitado por por razones físicas. En particular, se sigue que para fijos , el número de soluciones tropicales independientes es finito.

2 Después de todo el Y las soluciones deben mantener S O ( 3 ) covarianza Recuerde que las soluciones tropicales Y no tienen singularidades o discontinuidades en los puntos internos. De hecho son mapas lisos en el interior. Esto puede derivarse, por ejemplo, mediante un argumento de arranque como lo que se hace en mi respuesta Phys.SE aquí . Una formulación que usa soluciones débiles no cambia la conclusión principal.

Una solución ártica/antártica debería ser una combinación lineal de los finitos muchos 90 -soluciones tropicales rotadas para el problema correspondiente con L z reemplazado por, digamos, L X . Una suma finita no puede desarrollar singularidades internas.

1. ¿Es el término "coordenadas árticas/antárticas" un término técnico bien definido que se refiere a un sistema de coordenadas único? ¿O simplemente se refiere a cualquier sistema de coordenadas cuyo dominio incluya una vecindad del polo norte/sur?
En cualquier caso, encuentro esta respuesta menos clara de lo que me gustaría que fuera este argumento. 2. Por 'singularidad', ¿significa esto una discontinuidad, o incluye cualquier lugar donde la solución vaya al infinito? Si es lo último, ¿por qué exactamente se descartan las singularidades integrables en cuadrado (incluso en un sistema de coordenadas suave)?
Hola @Emilio Pisanty: Gracias por los comentarios. 1. Este último. 2. Actualicé la respuesta.
Déjame resumir. en realidad estamos soving L 2 ψ = 0 . Dónde L 2 es autoadjunto de modo que ψ debe pertenecer a su dominio de autoadjunción. L 2 es el operador de Laplace en S 2 y el dominio de la autoadjunción es el segundo espacio de Sobolev. Debido a la regularidad elíptica, cada solución debe ser clásica y suave. La suavidad se refiere al atlas liso en S 2 . Si pasa de las coordenadas esféricas a las coordenadas uniformes locales alrededor de cada polo, verá que nuestra solución candidata no es uniforme. Por lo tanto, no puede pertenecer al dominio de autoadjunción de L 2 .
Creo que es correcto, pero todo eso no se puede entender simplemente declarando que la solución candidata es "físicamente inaceptable". Si L 2 fueran reemplazados por un operador no elíptico, todo el razonamiento sería falso. Creo que el comentario del libro es muy engañoso...
Encuentro este tipo de declaraciones (me refiero al libro) bastante peligrosas y la pregunta de OP muy saludable: tiene toda la razón al plantear este problema. Creo que estas afirmaciones producen una deriva hacia sentimientos completamente erróneos. Cuando era estudiante dedicaba horas a analizar y probar ideas similares erróneas . Algunos autores no saben por qué alguna afirmación es cierta y sería mucho más seguro para toda la comunidad evitar sugerir conceptos erróneos. Aquí el punto es la "regularidad elíptica" (gracias Qmechanic). ¿Está esto tan directamente relacionado con la física?
Hola @Valter Moretti: Gracias por los comentarios. Actualicé la respuesta.
Notas para más tarde:
0 π pecado θ d θ en 2 broncearse θ 2   =   R + 4 t d t ( 1 + t 2 ) 2 en 2 t   =   R + d s 2 ( 1 + s ) 2 en 2 s   =   R z 2 d z 8 aporrear 2 z 2   =   π 2 6 .
Efectivamente finito.

Como se mencionó en las respuestas a ¿Cómo saber si una función de onda es una solución físicamente aceptable de una ecuación de Schrödinger? también se debe requerir la integrabilidad cuadrada de los derivados de orden superior. En tu caso esto ya falla para la primera derivada.