Evalúe el propagador de partículas que giran alrededor de un círculo

soy nuevo en integrales de trayectoria

quiero mostrar eso

X 1 | mi β H | X 2   =   Z 0 norte = mi X pag ( metro 2 β [ ( X 2 X 1 )   +   norte L ) ] 2 )
(dónde β = k B T , H = 2 2 metro d 2 d X 2 , y Z 0 es el elemento de la matriz diagonal X | mi β H | X para una partícula libre) para una partícula que se mueve en un círculo de longitud L tal que los caminos pueden enrollarse un número n de veces a su alrededor, y el camino X ( τ ) para 0 < τ < β satisface las condiciones de frontera X ( 0 ) = X 1 , X ( β ) = X 2 , por escrito
X ( τ ) = X 1   + τ β [ ( X 2 X 1 )   +   norte L ) ] 2   +   s ( τ ) ,
dónde s ( τ ) satisface la condición de contorno s ( 0 ) = 0 , s ( β ) = 0 y no se envuelve alrededor del círculo.

La acción euclidiana cuando se evalúa es

S [ X ( τ ) ] = metro 2 β [ ( X 2 X 1 )   +   norte L ) ] 2   +   0 β d τ metro 2 ( d s d τ ) 2

Mi primer pensamiento es simplemente usar la fórmula del propagador

X 1 | mi β H | X 2   = norte D X ( τ ) mi 1 S [ X ( τ ) ]

pero con tiempo imaginario τ = i t de 0 a β .

Creo que el segundo término de S debería separarse como Z 0 con N pero no estoy seguro de cómo es el elemento diagonal, ¿se debe a las condiciones de contorno de s (t) que representan ir de x a x? y no estoy seguro de cómo puedes convertir la otra parte de la integral en una suma.

pregunta completa - http://www-thphys.physics.ox.ac.uk/courses/C6/C6web2012/PS1.pdf q6c

Extremadamente relacionado: Los elementos de la matriz de representación de posición del propagador de una partícula en un anillo . Ese propagador es una bestia peluda para tiempos reales, pero al menos lo estás usando en momentos imaginarios donde converge la serie. ¿Qué es exactamente lo que quieres saber sobre ese propagador?
Simplemente no estoy seguro de cómo pasar de la forma integral del propagador a la forma de suma, creo que entiendo cómo obtener Z 0 pero no la suma
Sí, no estoy tan seguro de cómo manejar la integral de ruta allí. Sin embargo, según recuerdo, las referencias de Schulman en la pregunta vinculada lo tratan con gran detalle.

Respuestas (2)

Por lo que puedo decir, usted tiene dos preguntas. Las responderé por separado. A lo largo voy a establecer = 1 .

1) ¿De dónde sale la suma? norte = ¿viene de?

La forma integral de trayectoria estándar para el propagador de una partícula libre es

X 2 | mi β H | X 1 = D X ( τ ) Exp ( S mi [ X ( τ ) ] ) ,

donde la integral recorre todos los caminos X ( τ ) satisfaciendo las condiciones de frontera X ( 0 ) = X 1 y X ( β ) = X 2 , y S mi es la acción euclidiana.

El quid de esta respuesta se basa en el hecho de que en la integral de trayectoria integramos sobre todas las trayectorias posibles que satisfacen las condiciones de contorno dadas. ¿Cuál es el cambio de variables de X ( τ ) a s ( τ ) hace es hacer más explícito cómo contamos estos caminos.

En la pregunta definimos una variable s ( τ ) que satisface s ( 0 ) = s ( β ) = 0 . Además de estas condiciones de contorno, s ( τ ) es completamente irrestricto (es decir, no está restringido a una topología circular). Ahora, para cada elección de s ( τ ) , podemos definir un camino

X norte ( τ ) = X 1 + τ β [ ( X 2 X 1 ) + norte L ] + s ( τ ) ,

por algún entero norte , y este será un camino válido para la integral de camino, ya que la topología circular significa que identificamos puntos módulo L . Además, entre las opciones de s ( τ ) y norte , hemos enumerado todos los caminos posibles que satisfacen las condiciones de contorno dadas.

Por lo tanto, en la expresión del propagador, tenemos que integrar sobre s ( τ ) y suma norte para asegurarnos de tener en cuenta todos los caminos posibles X ( τ ) . Esto nos da la expresión

X 2 | mi β H | X 1 = norte D s ( τ ) Exp ( S mi [ X norte ( τ ) ] ) ,

con X norte ( τ ) dado como arriba.

2) ¿Por qué debería Z 0 Sea el elemento de la matriz diagonal del propagador en R ?

Como dijiste en tu pregunta, la acción euclidiana S mi [ X norte ( τ ) ] se separa en dos partes, dada por

S mi [ X norte ( τ ) ] = S norte + S mi [ s ( τ ) ] ,

dónde S norte = metro 2 β [ ( X 2 X 1 ) + norte L ] 2 . Esta separación es útil porque separa la dependencia de norte y s ( τ ) .

Desde S norte es una constante, podemos factorizarla fuera de la integral de trayectoria. Esta parte da el sumando en la expresión del propagador que está tratando de derivar.

La parte restante es

D s ( τ ) Exp ( S mi [ s ( τ ) ] ) ,

donde recordamos que el camino s ( τ ) tiene las condiciones de frontera s ( 0 ) = s ( β ) = 0 , pero por lo demás no tiene restricciones (es decir, no está restringida a una topología circular). Pero esto es precisamente lo que escribiríamos para el propagador de una partícula libre en una dimensión moviéndose desde X = 0 a X = 0 en tiempo imaginario β ! Y de la invariancia traslacional, esto no debería depender del hecho de que la partícula comienza y termina en X = 0 , solo el hecho de que el camino es periódico. Por lo tanto, la parte restante nos da Z 0 = X | mi β H | X para una partícula libre que se mueve sobre la línea real. Este es el elemento de matriz "diagonal" del propagador porque es simplemente el propagador X 2 | mi β H | X 1 evaluado en X 1 = X 2 = X .

Estoy en el móvil, por lo que no podré dar ecuaciones, estará muy ondulado a mano. En caso de que necesite más explicación, lo elaboraré. Para espacios de topologías no triviales como el caso que se solicita aquí, para obtener una representación integral adecuada de la ruta continua, debe usar una resolución de identidades que se ajuste al espacio de estado en consideración, es decir, evitar la doble contabilidad. Además, tendrá que usar para este caso la fórmula de suma de Poisson. Puede encontrar una muy buena discusión al respecto en los libros de Kleinert o Schulman.

Hola, no estoy seguro de si debería usar ese enfoque, la pregunta es de aquí q6- www-thphys.physics.ox.ac.uk/courses/C6/C6web2012/PS1.pdf ,