¿Cómo agregar términos de Langevin al modelo semiclásico de Bose-Hubbard?

Me gustaría agregar términos de Langevin a las ecuaciones de movimiento de Hamilton del modelo semiclásico de Bose-Hubbard.

Esto es lo que tengo:

Comienzo con el ejemplo estándar del movimiento browniano, una partícula en un potencial. Su función de Hamilton dice:

H = 1 2 metro pag 2 + V ( q ) ,

Las correspondientes ecuaciones de movimiento de Hamilton (EoM) dicen:

pag ˙ = q H = q V ( q )

q ˙ = pag V ( q ) = pag metro

Se pueden convertir estas ecuaciones diferenciales acopladas de primer orden en una sola ecuación diferencial de segundo orden:

q ¨ = 1 metro q V ( q )

y reescribirlos como

metro q ¨ = q V ( q ) .

De esta forma, se pueden agregar términos de Langevin (ver la entrada de Wikipedia sobre la dinámica de Langevin ) y se obtiene:

metro q ¨ = q V ( q ) γ metro q ˙ + 2 γ metro k B T ξ ( t ) ,

dónde γ es el amortiguamiento (parámetro libre), y ξ ( t ) un proceso gaussiano estacionario correlacionado delta con media cero, que satisface:

ξ ( t i ) ξ ( t j ) = d ( t i t j ) .

Para resolver esto numéricamente con un solucionador SDE (por ejemplo, el esquema de Heun), necesitamos escribir esto como un sistema de dos ecuaciones diferenciales de primer orden:

pag ˙ = 1 metro q V ( q ) γ q ˙ + 2 γ metro k B T ξ ( t )

q ˙ = pag metro

Podemos lograr lo mismo para el X y -modelo (que es muy similar al modelo semiclásico de Bose-Hubbard, mi hamiltoniano objetivo). Su función de Hamilton dice

H xy = i j j i j porque ( θ i θ j ) + 1 2 tu d norte i 2 ,

donde las variables canónicas conjugadas son la fase in situ θ i y las fluctuaciones de densidad d norte i .

Las EoM correspondientes son

θ ˙ i = tu d norte i

d norte ˙ i = j ( i ) j i j pecado ( θ i θ j ) .

Formalmente, el término 1 2 tu d norte i 2 es como una energía cinética, con tu jugando el papel de una masa inversa. Así por analogía podemos añadir términos de Langevin a la segunda ecuación, como en el ejemplo anterior:

d norte ˙ i = j ( i ) j i j pecado ( θ i θ j ) γ d norte ˙ i + 2 γ k B T / tu ξ ( t ) .

Lo que me gustaría tener es una expresión similar para el modelo semiclásico de Bose-Hubbard.

Empiezo con el hamiltoniano de Bose-Hubbard semiclásico (con números complejos en lugar de operadores de campo) en representación de estado coherente,

H BHM ( ψ i , ψ i ) = i j t i j ( ψ i ψ j + CC ) + 1 2 tu norte i 2 dónde

norte i = ψ i ψ i ,

y luego transformar eso en una representación de momento coordinado, usando

ψ i = 1 2 ( q i + i pag i )

ψ i = 1 2 ( q i i pag i ) ,

H BHM ( q i , pag i ) = i j t i j 1 2 ( q i pag j + q j pag i ) + 1 2 tu 1 4 ( q i 2 + pag i 2 ) 2

con MOE:

q ˙ i = j ( i ) t i j pag j + 1 2 tu ( q i 2 + pag i 2 ) pag i

pag ˙ i = + j ( i ) t i j q j 1 2 tu ( q i 2 + pag i 2 ) q i

¿Cómo se agregan correctamente los términos de Langevin?

Actualización (después del comentario de Ted Pudlik):

Siguiendo la sugerencia de Ted Pudlik, escribo el hamiltoniano semiclásico de Bose-Hubbard en notación de fase de densidad:

H BHM ( norte i , θ i ) = i j ( t i j norte i norte j mi i ( θ j θ i ) + CC ) + 1 2 tu i norte i 2

Las ecuaciones de movimiento de Hamilton correspondientes son:

θ ˙ i = norte i H BHM ( norte i , θ i ) = tu norte i j ( i ) ( t i j norte j 2 norte i mi i ( θ j θ i ) + CC )

norte i ˙ = θ i H BHM ( norte i , θ i ) = j ( i ) ( i t i j norte i norte j mi i ( θ j θ i ) + CC )

Al igual que en el modelo XY, agrego los siguientes términos a la derivada de densidad (no de fase, como se indicó anteriormente, vea el comentario a continuación):

γ norte i + 2 γ k B T / tu ξ ( t )

donde elijo γ de acuerdo con mis necesidades (por ejemplo, menor que la frecuencia propia más pequeña del sistema o sobreamortiguado).

Lo que todavía me preocupa es el 1 2 norte i término en la derivada de fase: cuando la densidad en el sitio es muy baja en comparación con su vecino, este término diverge. Ese es, por ejemplo, el caso de la nube térmica de un gas ultrafrío en una trampa armónica.

¿Hay alguna forma de transformar la EoM incluyendo los términos de Langevin en ( q , pag ) -representación o ( R mi , I metro ) -representación para evitar esto?

Creo que la representación del momento coordinado no es el camino a seguir: haga una descomposición de fase de amplitud en su lugar ( ψ i = norte i Exp ( ϕ i ) , con norte i , ϕ i real). Luego obtiene un hamiltoniano como el modelo xy, y puede agregar términos de Langevin de la misma manera. La descomposición amplitud-fase también es canónica ( pregunta SE ).
Muchas gracias por su sugerencia. Ha sido de mucha ayuda. He editado mi pregunta porque en la representación de fase de densidad hay un término divergente al escribir las ecuaciones de movimiento.
Agregas el término de Langevin al norte i ˙ , no a la derivada de fase θ i ˙ , ¿bien?
La divergencia de la derivada de fase como norte i 0 refleja el hecho físico de que la fase de un modo vacío no está bien definida. Además, tenga en cuenta que la aproximación semiclásica solo es válida en el límite de grandes números de ocupación: si la densidad en el sitio es muy baja, ¡no es el modelo correcto para usar!
Gracias, ese es un punto en el que no había pensado. En una configuración de red óptica típica que involucra una trampa armónica, las densidades en el centro, la parte condensada, parecen ser lo suficientemente altas como para justificar el uso de un modelo semiclásico, pero afuera en la nube térmica ya no son tan altas. Sin embargo, si las fluctuaciones térmicas son lo suficientemente altas, uno puede esperar que destruyan todos los efectos cuánticos que no son capturados por el modelo. Para evitar problemas numéricos, sería bueno no tener un término que de repente podría volverse muy grande.

Respuestas (1)

Busqué un poco en la literatura y descubrí que esta formulación (semiclásica Bose-Hubbard más disipación de tipo Langevin) se había estudiado antes. Aquí está la referencia relevante: http://arxiv.org/abs/1304.5071 . Lo que estás tratando de hacer es derivar su ecuación (9). Probablemente te lo perdiste porque se refieren a su modelo como la ecuación de Schroedinger no lineal discreta, pero este es un nombre diferente para el mismo hamiltoniano (como se menciona, por ejemplo, en este artículo ).

En su notación, su resultado se lee (suponiendo que todos los saltos t i j = t por simplicidad),

i d ψ i d t = ( 1 + i γ ) ( tu | ψ i | 2 ψ i t ( ψ i + 1 + ψ i 1 ) ) + i γ m ψ i + γ T ξ i ( t )

El apéndice A contiene una derivación de esta ecuación para un hamiltoniano arbitrario. No lo leí lo suficientemente de cerca como para garantizar que sea correcto, pero el resultado parece sensato.

A diferencia de la formulación de fase de amplitud, esta no debería generar divergencias desagradables para sitios casi vacíos.

EDITAR: Como discutimos en los comentarios, no estoy muy seguro acerca de los signos menos en esta ecuación --- tal como está, las poblaciones de pozos divergirán para positivo γ ! Creo que la ecuación tal vez debería leer,

i d ψ i d t = ( 1 + i γ ) ( tu | ψ i | 2 ψ i t ( ψ i + 1 + ψ i 1 ) ) i γ m ψ i + γ T ξ i ( t )

O tal vez la idea es que m > 0 significa que el yacimiento tiene un potencial químico más alto, por lo que las partículas siguen entrando al sistema? Enviaría un correo electrónico a los autores preguntando acerca de estos problemas de signos, no puedo entender esto. ¡Lo siento!

Ni siquiera se me ocurrió buscar el NLSE. De alguna manera lo asocio con la fotónica y los sistemas continuos (ecuación de Gross-Pitaevskii). La ecuación anterior parece funcionar (la integración es estable) después de cambiar el signo en ( 1 + i γ ) a ( 1 i γ ) . Creo que eso se debe a que en el documento no toman la convención de que el término túnel tiene un signo negativo delante. La derivación en el apéndice también es muy perspicaz. ¡Muchas gracias por tu ayuda!
el signo de la i γ m ψ i el término quizás también debería ser negativo. En general, la convención de signos utilizada en este artículo me resulta un poco confusa. (¿No debería ser la ecuación de movimiento i z i ˙ = H / z i ? Tienen un signo menos adicional). ¡Pero es claramente una referencia relevante! Le recomiendo que envíe un correo electrónico a los autores preguntando si la traducción de su ecuación a su notación es correcta o si hay problemas de signos.