Raíz de iii, ¿cuál tomar?

El propagador de una partícula libre en 1d es

k ( X b , t b ; X a , t a ) = metro 2 π i ( t b t a ) Exp [ i metro ( X b X a ) 2 2 ( t b t a ) ] .
Se ve bien.

Pero, aquí tenemos una raíz cuadrada de i . Entre las dos raíces, ¿cuál se debe tomar? ¿En base a qué regla?

No estoy seguro de lo que quieres decir con "¿Cuál debería tomarse?"
@KyleKanos: creo que el OP significa que puedes interpretar i = ± 1 + i 2 , y que hay una ambigüedad de signo.
Bueno, no es como si la raíz de un número real no fuera ambigua... ¿por qué haces esa pregunta para i y no por metro ?
En efecto. si solo fuera metro , tomaría el positivo sin dudarlo. Pero para i , estoy realmente desconcertado.
@Jiang-minZhang Él quiere decir que, por convención, el símbolo significa sólo la raíz positiva . Aunque hay una solución positiva y negativa para z 2 = i , al igual que hay con z 2 = norte , por definición tomamos i para significar la raíz positiva, al igual que norte es la raíz positiva.

Respuestas (3)

Ese propagador no es más que la continuación analítica de la función de Green de la ecuación del calor desde valores reales positivos a valores imaginarios de t b t a . Por lo tanto, el corte en el plano complejo para hacer que la raíz cuadrada tenga un solo valor debe colocarse a lo largo del eje real negativo, o sin embargo, en el semiplano. X < 0 . Con este corte queda bien definida la raíz cuadrada.

Todo eso significa que i = mi i π / 4 es la opción matemáticamente correcta en esa fórmula, la que produce un delta de Dirac para t a = t b .

Una manera simple de elegir la raíz correcta es notar que si el corte de la rama de la raíz cuadrada está a lo largo del eje real negativo, entonces todas las raíces cuadradas tendrán una parte real positiva.
En realidad aquí estamos interesados ​​en lo que sucede con los valores imaginarios continuados analíticamente desde el eje real positivo, por lo que el corte puede tomarse más generalmente en el semiplano negativo real que sale del origen, no necesariamente a lo largo del eje negativo.
Sí. Pero para una regla general rápida y lista, si el eje real negativo funciona como un corte para z para sus propósitos, entonces R mi ( z ) > 0 .
@Emilio Pisanty: Estoy de acuerdo, la regla general es colocar el corte a lo largo del eje real negativo.

Definir Δ t := t b t a y Δ X := X b X a .

Uno debe asegurarse de que

(1) R mi ( i Δ t )   >   0

es positivo para el factor exponencial

(2) Exp [ metro 2 ( Δ X ) 2 i Δ t ]

ser amortiguado exponencialmente.

De manera equivalente, uno debe realizar el Feynman i ϵ prescripción, es decir, sustituto Δ t Δ t i ϵ en el propagador. Este requisito (1) es para asegurar que

(3) X b , t b | X a , t a     d ( Δ X ) para Δ t 0

cuando se toma la rama de la raíz cuadrada que tiene parte real positiva.

Dado que el propagador está definido por la relación

ψ ( X , t ) = k ( X , X , t , t ) ψ ( X , t ) d X d t
Una sola ambigüedad daría como resultado un cambio de fase de la función de onda, lo que no altera las predicciones de la mecánica cuántica. Así que no importa qué raíz cuadrada tomes, como una cuestión de ideas fijas, siempre saco la raíz.

( z ) = z 1 / 2 mi i argumento ( z ) / 2

Es físicamente correcto, sin embargo, desde el punto de vista matemático, solo una elección de fase produce una identidad para t = t en tu primera identidad...