Cómo resolver la ecuación de Schrödinger - Tunelización

Tengo que resolver analíticamente la ecuación de Schrödinger en una dimensión con una barrera de potencial (efecto túnel):

i h d d t tu ( X , t ) = [ ( 2 d 2 d X 2 ) + q V ( X ) ] tu ( X , t )

dónde: i es la unidad imaginaria, ( d / d t ) es la derivada del tiempo, es la constante de tablones reducidos, ( d 2 / d X 2 ) es la segunda derivada en el espacio, V ( X ) es una función potencial externa de X , tu ( X , t ) es la función de onda de tiempo y lugar. La barrera de potencial es:

V ( X ) = { 0 , si  d < X < L V 0 , si  L < X < L 0 , si  L < X < d

con d = 10 L y V 0 > 0 ; También las condiciones de contorno son: tu ( d , t ) = tu ( d , t ) = 0 ; y la condición inicial es

tu ( X , t 0 ) = 1 D X Exp ( i PAG 0 X )

si d < X < d + D X y tu ( X , t 0 ) = 0 si d + D X < X < d ; dónde D X << L y PAG 0 es el momento cuántico en t0. También sé que a veces t 0 , la transformada de Fourier de tu ( X , t 0 ) es un sinc centrado en PAG 0 , el valor aspectado de la posición es d + D X / 2 y el valor aspectado de la velocidad es PAG 0 / metro , dónde metro es la masa de la partícula.

Luego tengo que comparar los resultados analíticos con los resultados de los métodos FINITE ELEMENTS y ​​FINITE DIFFERENCE.

Espero que alguien me pueda ayudar a solucionar este problema.

¡Bienvenido luca82 a physics.SE! Por el momento no hay realmente una pregunta en su texto. Tal vez podrías elaborar un poco lo que ya intentaste y dónde te quedaste atascado. Aquí nadie resolverá los problemas de tareas/tareas, pero muchas personas están más que dispuestas a ayudar.
Esto parece estar copiado en gran parte de su tarea, lo que nos lleva a hacerle algunas preguntas. ¿ Qué has hecho? ¿Qué entiendes aquí y qué no entiendes? ¿Dónde exactamente estás atrapado? En particular, veo al menos tres formas de intentar resolver el problema enumerado; seguramente ha podido hacer algún progreso con algunas de ellas.
prueba \hbar:
Debes tener cuidado: las soluciones serán muy diferentes dependiendo de si PAG 0 2 es mayor que q V 0 O no.

Respuestas (1)

Sin solución completa, solo una hoja de ruta. En principio, existe una forma estándar de cómo se resuelven este tipo de problemas.

Primero resuelve el problema estacionario:

[ ( h 2 d 2 d X 2 ) + q V ( X ) ] tu i ( X ) = mi i tu ( X ) .
Siempre que el potencial sea simétrico, recomendaría usar esto y buscar soluciones pares e impares. Para mi < V 0
tu i + ( X ) = { A porque k ( | X | X 0 ) , si  L < | X | < d B C h ϰ X , si  L < X < L ,
tu i ( X ) = { A pecado k ( | X | X 0 ) , si  L < | X | < d B s h ϰ X , si  L < X < L
con k = 2 metro mi 2 , ϰ = 2 metro ( V 0 mi ) 2

Para energías superiores V 0 reemplazar funciones hiperbólicas con porque k 2 X , pecado k 2 X con k = 2 metro ( mi V 0 ) 2 .

Si sustituye estas funciones en la ecuación, obtendrá la ecuación para la energía. Tenga en cuenta que siempre que esta forma de funciones satisfaga automáticamente la ecuación en las regiones de potencial constante, solo debe tener cuidado con las condiciones de contorno. Resuelva esta ecuación y obtenga un espectro { mi i ± } i = 1 y funciones de onda tu i ( X ) . Obviamente, estas soluciones tienen una característica muy interesante cuando se considera un problema no estacionario:

tu i ( X , t ) = mi i mi i t tu i ( X ) ,
lo que significa que si descompone su condición inicial en estas soluciones (lo que puede hacer porque las funciones propias de un operador hermitiano son un conjunto completo)
tu ( X , t 0 ) = 1 C i tu i ( X )
entonces la evolución temporal de la función de onda está dada por
tu ( X , t ) = 1 C i tu i ( X ) mi i mi i t

Si uno necesita una solución analítica al problema, ¿la falta de expresiones elementales para las energías (que serán raíces de una ecuación trascendental, creo) no dañará severamente este enfoque? Sin ninguna esperanza de evaluar la suma, podría decirse que este es un método espectral seminumérico para resolver el problema del valor inicial
@episanty No, no lo hará. Hay una enorme diferencia entre resolver una ecuación trascendente y encontrar numéricamente soluciones de ecuaciones diferenciales. El primero se llama analítico, el segundo no lo es. De todos modos, no hay mejor solución.
Sí, está claro que no hay una solución mejor, y que los métodos de elementos finitos y de diferencias finitas están en una escala completamente diferente. Mi punto era que soy reacio a llamar a esto una solución completamente analítica ya que cualquier intento de visualizarlo (y compararlo con cualquier otro método) implicará trabajo numérico (en este lado).
Claro, uno puede escribir una fórmula explícita (¡pero no elemental!) para la solución de una manera que ningún teorema de existencia puede dar. Sin embargo, veo fuertes paralelismos entre esta solución y los métodos espectrales numéricos: este simplemente tiene un conjunto de bases espectrales particularmente bien elegido, y propagar cualquier función de base es equivalente (al menos en un sentido numérico razonable) a resolver la ecuación trascendental.
@episanty, hay un malentendido en tu punto de vista. Podría traer los mismos argumentos si la solución fuera funciones de logaritmo o bessel o cualquier otra función no trivial: también debería haber usado una computadora para obtener los números en ese caso. Simplemente llame a la solución de esa ecuación trascendente una nueva función, digamos, q norte ( mi ) y no será muy diferente de las funciones de Bessel o Hankel, que también son difíciles de encontrar en la calculadora.
Sí, pero, de nuevo, exponenciales, logaritmos y senos son fundamentalmente soluciones de ecuaciones diferenciales que son tan difíciles de calcular como las funciones de Bessel o Hankel. Al final, es una cuestión de nomenclatura: ¿dónde se deja de llamar "analítico" a un método y dónde empieza "numérico"? Creo que esa es una cuestión subjetiva que no está en las matemáticas sino en el matemático (¡o físico!).
Ligeramente OP, pero recuerdo haber leído un artículo que expresaba la solución a una ODE como algunas funciones hipergeométricas. El problema es que, dado que las funciones hipergeométricas se evalúan mejor mediante la integración numérica de la ODE definitoria, en realidad no ayudó mucho...