Pregunta de derivación del método WKB

Quantum Mechanics (2nd Edition) de Bransden y Joachain contiene el siguiente pasaje:

Sustituyendo (8.176) en (8.171), obtenemos para S ( X ) la ecuacion

i 2 metro d 2 S ( X ) d X 2 + 1 2 [ d S ( X ) d X ] 2 + V ( X ) mi = 0.
Hasta el momento no se ha realizado ninguna aproximación, siendo esta ecuación estrictamente equivalente a la ecuación original de Schrödinger (8.171). Desafortunadamente, la ecuación 8.177) es una ecuación no lineal que, de hecho, es más complicada que la misma (8.171). Por lo tanto, debemos tratar de resolver (8.177) aproximadamente. Con este fin, primero observamos que si el potencial es constante entonces S ( X ) = ± pag 0 X (ver (8.172)) y el primer término a la izquierda de (8.177) desaparece. Además, este término es proporcional a , y por lo tanto desaparece en el límite clásico ( 0 ). Esto sugiere que tratemos como un parámetro de pequeñez y expandir la función S ( X ) en la serie de potencias
(8.178) S ( X ) = S 0 ( X ) + S 1 ( X ) + 2 2 S 2 ( X ) +
Insertando la expansión (8.178) en (8.177) e igualando a cero los coeficientes de cada potencia de por separado, encontramos el conjunto de ecuaciones
(8.179a) 1 2 metro [ d S 0 ( X ) d X ] 2 + V ( X ) mi = 0 (8.179b) d S 0 ( X ) d X d S 1 ( X ) d X i 2 d 2 S 0 ( X ) d X 2 = 0 (8.179c) d S 0 ( X ) d X d S 2 ( X ) d X + [ d S 1 ( X ) d X ] 2 i d 2 S 1 ( X ) d X 2 = 0

Mi pregunta es, ¿por qué cada término tiene que ser cero?

La ecuación (8.177) es igual a cero. Después de insertar (8.178) a (8.177). No significa que cada término de orden de tiene que ser igual a cero ya que es constante, ¿verdad?

Respuestas (3)

En la aproximación WKB semiclásica, la constante de Planck no es un número fijo igual a su valor físico 1.05 × 10 34 j s . En cambio, es un indeterminado . La expansión WKB semiclásica es una expansión asintótica en el límite 0 + .

Personalmente, soy bastante reacio a tratar como "pequeño parámetro", ya que tiene dimensión y puede hacerse arbitrariamente grande o pequeño mediante la elección adecuada de unidades. Cada vez que se hace este desliz de mano, lo que realmente sucede es que se trata como pequeña en comparación con alguna otra cantidad que el autor ha optado por no identificar. Afortunadamente, la técnica WKB no necesita depender de ninguna 0 hocus pocus cuando se hace como una expansión asintótica. A continuación, resolveré la aplicación de WKB a la ecuación de Schrödinger. Esta publicación se basa en la Conferencia 8 de las excelentes conferencias invitadas de Carl Bender en Perimeter Institute ( enlace a videos ).

Empezando con

2 2 metro ψ ( X ) = [ mi V ( X ) ] ψ ( X )
multipliquemos por 2 metro 2 y definir F ( X ) = 2 metro 2 [ V ( X ) mi ] . Luego, después de dejar ψ = mi S , nuestra ecuación diferencial para abordar lee
( ) S ( X ) + [ S ( X ) ] 2 = F ( X )
La motivación física de este problema fue comprender el comportamiento de la función de onda cerca del punto X 0 dónde mi = V ( X 0 ) . De este modo, F 0 como X X 0 . La aproximación WKB es decir que cerca de este punto de inflexión, | S ( X ) | 2 | S ( X ) | . Para esta publicación, tomemos esto como una suposición inspirada.

Con la aproximación WKB, podemos reemplazar la ODA exacta (pero horrible) ( ) con uno que es asintóticamente correcto como X X 0

[ S ( X ) ] 2 F ( X )
que tiene dos soluciones
S ( X ) ± F ( X ) d X
La señal " " aquí significa "es asintótico a". Las relaciones asintóticas siguen muchas de las mismas reglas que las relaciones de igualdad, pero esta publicación no es el lugar para entrar en eso. Deje un comentario y/o consulte la Conferencia 7 del Prof. Bender para obtener más detalles si cualquier manipulación a continuación parece incompleta.

En esta etapa, tenemos el comportamiento asintótico de S ( X ) como X X 0 , lo que significa que podemos escribir

S ( X ) = ± F ( X ) d X + C ( X )
y afirmar que
( ) | C ( X ) | | F ( X ) d X |
como X X 0 . Si reemplazamos esta nueva expresión por S ( X ) en ( ), llegaremos a una EDO para C ( X ) :
C + ( C ) 2 ± 2 F C ± F 2 F = 0
¡Desagradable! Sin embargo, los asintóticos nos simplificarán la vida. De ( ) arriba, podemos generar dos relaciones más
(a) | C | | F |
(b) | C | | F / 2 F |
como X X 0 . (a) ignoremos el segundo término comparado con el tercero, y (b) ignoremos el primer término comparado con el cuarto, dejando la relación (cuidado con el ± y )
C ( X ) 1 4 F ( X ) F ( X ) C ( X ) 1 4 en F ( X ) C ( X ) = 1 4 en F ( X ) + D ( X )
con | D ( X ) | | C ( X ) | como X X 0 .

Ahora, volviendo a nuestra expresión para S ( X ) , podemos escribir

S ( X )   ± F ( X ) d X 1 4 en F ( X ) + D ( X )
y exponenciando esto, obtenemos la función de onda
ψ ( X ) = k mi ± F ( X ) d X F ( X ) 4
dónde k = mi D ( X ) es una función que varía muy lentamente y se aproxima a una constante como X X 0 .

No significa que cada término de orden de tiene que ser igual a cero ya que es constante, ¿verdad?

Eso es verdad es una constante conocida en el mundo real . Pero el modelo teórico con el que estás tratando aquí no es exactamente el mundo real. Es un poco más general, y una de las formas en que es más general es que debería funcionar para cualquier valor pequeño de , no solo el valor real.

Y cuando tienes una ecuación de la forma

C 0 + C 1 + C 2 2 2 + = 0
y necesita que sea cierto para toda una gama de valores de , la única manera de que eso suceda es que cada uno de los coeficientes C norte es individualmente cero.