Mecánica Cuántica I

Jaime Avendaño

Puntos de discontinuidad de potencial

Consideremos la ecuación de Schrödinger independiente del tiempo, es decir, la ecuación de

eigenvalores

Cuando el potencial, , es una función suave, las soluciones de esta ecuación diferencial son
continuas y diferenciables.

Supongamos ahora que el potencial tiene una discontinuidad finita en , esto es

En esta situación, la solución en puntos está bien definida y es suave. Sin embargo en
, la ecuación (1) plantea un problema que no es trivial, y debe ser resuelto formalmente.

En algunos textos se impone la condición de que la función de onda y su primera derivada deben
de ser continuas incluso en el punto de discontinuidad del potencial. De acuerdo a la ecuación (1)
si y existen implica que y serían continuas ; si este es el caso
entonces el segundo término del miembro izquierdo de (1), , es discontinuo en
debido a que lo es, esto nos lleva a una contradicción pues el lado derecho es continuo lo
cual implicaría que debe tener una discontinuidad que compense la de ,
contradiciendo la suposición de que exista en todo punto. Aún si no exista en
, podría continuar siendo continua; pero de manera estricta la ecuación (1) no está
definida en , por lo cual las regiones del espacio con y están desconectadas y
por consiguiente no podemos, a priori, pedir que la función de onda y su primera derivadas sean
continuas en . El otro tipo de argumentos esgrimidos en los textos es integrar la ecuación
(1) alrededor de la discontinuidad, esto es

luego integran el primer término del lado izquierdo de la siguiente manera

para después tomar el límite

debido a que la discontinuidad del potencial es finita en , en el límite , las integrales

deben ser nulas, esto lleva a la conclusión

esto es, la derivada por la derecha [ ] y la derivada por la izquierda [ ] en

son iguales. Esto implica que la derivada en existe, y por consiguiente la primera derivada
de la función de onda debe ser continua al atravesar aquellos puntos donde el potencial tiene una
discontinuidad finita. El problema con esta demostración es que para llegar a esta conclusión se
usó (4), que es el teorema fundamental del cálculo; y para que (4) sea válido debe ser
continua en , en particular en . Es decir, para demostrar la continuidad de
en se usó que sea continua en ; por lo tanto no se ha demostrado
nada.

---------------

Aquí se usa otra metodología que no tiene estas contradicciones internas: lo único que le
pediremos a la función de onda es que sea de cuadrado integrable, , esto es lo que
nos interesa para que podamos normalizar la función de onda y sea congruente con la
interpretación de la probabilidad

Definiendo , podemos reescribir la Ec.(1) como

observando el lado derecho de esta ecuación, vemos que posee una discontinuidad finita en
, mientras que en los demás puntos del eje-real es continuo, por lo tanto no deja de ser
integrable en y por consiguiente su transformada de Fourier existe. Tomando entonces la
transformada de Fourier del lado izquierdo de Ec.(8) se obtiene
aquí se ha empleado el resultado conocido para la transformada de Fourier de la derivada [véase
Apéndice de esta Nota, ec.(A.5)].

Nuevamente usando (A.5) podemos escribir

sustituyendo (10) en (9) se obtiene

Ahora bien, considerando la discontinuidad del integrando en la transformada de Fourier en

, integremos con cuidado alrededor de este punto de discontinuidad finita

integrando por partes ambas integrales

como [visto en clase], este límite se reduce a

de la misma manera que antes, integramos por partes estas integrales

como [visto en clase], implica que

como antes y son las derivadas de en por la izquierda y por la
derecha respectivamente. Por lo tanto, la Ec. (12) es simplemente

comparando con Ec. (11), tenemos que

como esta ecuación es válida implica que

Es decir, la función de onda y su primera derivada son continuas en aquellos puntos donde el
potencial tiene discontinuidades finitas.

Por lo tanto, si en potencial solamente posee discontinuidades finitas en un número finito de

puntos, entonces la función de onda y su primera derivada son continuas en todo punto del
espacio.

Estos resultados serán muy importantes para los problemas que se resolverán muy pronto.

Apéndice

Si es una función integrable en , la transformada de Fourier mapea en de la

forma
Si es derivable excepto quizás en un número finito de puntos, tal que es integrable en
, entonces la transformada de Fouirer de es

Dem.

iIntegrando por partes

considerando que , implica que (A.4) se reduce a