¿Puede una ecuación de Schrödinger de segundo orden conservar la norma?

Supongamos que vivimos en un universo en el que la ecuación de Schrödinger contiene derivadas temporales de segundo orden,

i t 2 | φ ( t ) = H | φ ( t ) .
¿Sería cierto que la norma de | φ ( t ) ¿el tiempo es independiente?

Entonces, ¿su hamiltoniano es antihermitano?
Considere el núcleo de ( i t k ) para hermitano independiente del tiempo k . También estará en el núcleo de ( i t 2 k 2 / i ) . Entonces H = i k 2 / debería hacer el truco.
... es decir, por ejemplo, para k = ω , tienes H = i ω 2 , por lo que obtiene soluciones oscilatorias Exp ( ± i ω t ) preservando la norma; mientras que sus combinaciones trigonométricas, naturalmente, no.

Respuestas (3)

No, la norma no se mantendría. Para simplificar, supongamos que el hamiltoniano es independiente del tiempo con valores propios discretos (pero posiblemente degenerados) mi norte . Entonces nosotros tenemos

| ψ ( t ) = norte C norte ( t ) | mi norte i t 2 | ψ ( t ) = H | ψ ( t ) i norte C ¨ norte ( t ) | mi norte = norte C norte ( t ) mi norte | mi norte norte ( i C ¨ norte ( t ) C norte ( t ) mi norte ) | mi norte = 0 C ¨ norte ( t ) + i mi norte C norte ( t ) = 0 C norte ( t ) = Exp ( i mi norte t ) = Exp ( mi norte mi i π 4 t ) | C norte ( t ) | 2 = C norte ( t ) C norte ( t ) = Exp ( 2 mi norte t )

y | ψ ( t ) | 2 crece exponencialmente con el tiempo. El problema es ese mi i mi norte / evoluciona conservando la norma con el tiempo, pero la segunda derivada trae una raíz cuadrada que rota el exponente imaginario puro para que tenga una parte real, lo que estropea las cosas.

Pero su modificación propuesta no es realmente la físicamente natural de todos modos. Por un lado, tenga en cuenta que su " " tiene unidades diferentes a la física. En lugar de dejar el i como está pero cambiando el t a un t 2 , la modificación más natural a la ecuación de Schrödinger que la hace de segundo orden es "cuadrar" los operadores en ambos lados, es decir, cambiar i t a ( i t ) 2 = 2 t 2 y H a H 2 , Llegar

2 t 2 | ψ ( t ) = H 2 | ψ ( t ) .
En el caso del hamiltoniano H 2 = ( C pag ) 2 + ( metro C 2 ) 2 para una partícula relativista, esto se conoce como la ecuación de Klein-Gordon, y aunque tiene el mismo problema de norma no constante, resulta que describe con precisión la evolución temporal de un campo cuántico relativista escalar (no una partícula, como se podría esperar).

"tparker" ¿podría detallar el paso de la fila 4 a la fila 5? No entendía:
| norte ( i C ¨ norte ( t ) C norte ( t ) mi norte ) | mi norte = 0 C ¨ norte ( t ) + i mi norte C norte ( t ) = 0 .
@mike Todo lo que hizo tparker fue equiparar el | mi norte coeficientes
@mike Correcto: utilicé el hecho de que los estados propios son linealmente independientes, por lo que si una combinación lineal de ellos es cero, entonces cada coeficiente debe ser igual a cero.
Tengo curiosidad: en la ecuación cuadrada "adecuadamente" que das, ¿en qué tipo de espacio vive [math]|\psi(t)\rangle[/math]? Si es un campo cuántico, no puede ser el tipo habitual de función de onda, entonces, ¿qué es cuando se construye explícitamente?
@The_Sympathizer Esa es una gran pregunta, que deliberadamente pasé por alto. En la teoría clásica de campos, la respuesta es fácil: son solo funciones escalares φ ( t , X ) : R 4 R definido en el espacio-tiempo. En la teoría cuántica de campos, estás preguntando sobre la estructura matemática del espacio de Hilbert y, francamente, nadie sabe realmente a ningún nivel matemáticamente riguroso. En el formalismo lagrangiano los campos φ ( X ) son simplemente viejos campos escalares de conmutación como en el caso clásico, pero la patología matemática se ve empujada a esta integral de trayectoria terriblemente mal definida. ...
@The_Sympathizer ... En el formalismo hamiltoniano, los campos en sí mismos son operadores cuantificados y no puede (trivialmente) moverlos uno al lado del otro. Los matemáticos las llaman "distribuciones con valores de operador", pero tienen dificultades para hacerlas rigurosas, y los físicos ni siquiera intentan y simplemente pasan por alto todo el problema. Para resumir, este es un tema de investigación muy activo en la física matemática, pero los "físicos físicos" ni siquiera intentan definir rigurosamente la estructura matemática de los estados.
@tparker: Escuché sobre estos problemas, pero pensé que solo se aplicaban a teorías más complejas, y lo que estaba preguntando era la única ecuación específica anterior, con el hamiltoniano específico, y sin interacciones ni nada por el estilo. ¿No debería la estructura de la ecuación decirte lo que debes introducir en ella? Supongo que no entiendo cómo lo describiste, simplemente cuadrarlo hace que el espacio se vuelva incomprensible. Creo que debe ser para un caso que implica hacer o considerar algo más que eso. Pero tal vez lo haga. Si es así, ¿por qué?
@The_Sympathizer Punto justo. Si literalmente simplemente elevamos al cuadrado los operadores en la ecuación de Schrödinger no relativista, como he escrito, entonces el espacio de Hilbert de la ecuación resultante es solo el espacio de las funciones de onda de una sola partícula. ψ ( X ) tal que ψ ( X ) y 2 ψ ( X ) + metro 2 ψ ( X ) ambos son integrables en cuadrado. Pero la verdad es que esto no es en realidad una derivación rigurosa de la ecuación de Klein-Gordon, es solo una motivación heurística. La verdadera ecuación de KG se deriva del Lagrangiano o Hamiltoniano postulado de un campo escalar libre, por lo que los operadores actúan sobre un...
@The_Sympathizer ... un tipo completamente diferente de espacio de Hilbert, cuya estructura matemática depende de la situación.

La respuesta a su pregunta es que para condiciones iniciales genéricas la respuesta es no. Daré un contraejemplo explícito a continuación.

En primer lugar, vivimos en un universo donde las ecuaciones de Schrödinger se pueden escribir como una ecuación de segundo orden: solo aplique i t a la ecuación de Schrödinger (de primer orden)

i t ψ ( t ) = H ψ ( t ) , ψ ( 0 ) = ϕ H ,
y obtenga la ecuación de onda de segundo orden
t 2 ψ ( t ) = H 2 ψ ( t ) ,
con las condiciones iniciales
ψ ( 0 ) = ϕ , t ψ ( 0 ) = i H ψ ( 0 ) = i H ϕ .
Tenga en cuenta que, como ecuación de segundo orden, debe especificar no solo ψ ( 0 ) sino también su derivada temporal como condición inicial. Además, para asegurarse de que lo que obtiene sea realmente equivalente a la ecuación de Schrödinger, debe elegir una condición inicial \emph{particular} para t ψ ( 0 ) = i H ϕ . Otras opciones le darán otras ecuaciones, pero ninguna de ellas es equivalente.

Como puede ver, si elige una condición inicial que sea compatible con la ecuación de Schrödinger, las soluciones tendrán las propiedades habituales, por ejemplo, la norma ψ ( t ) = ψ ( 0 ) . Pero para las opciones genéricas, esto no tiene por qué ser cierto: elija H = σ 3 de modo que H 2 = 1 . Entonces la ecuación de onda es simplemente

2 t 2 ( ψ 1 ( t ) ψ 2 ( t ) ) + ( ψ 1 ( t ) ψ 2 ( t ) ) = 0 ,
así que dos copias de la ecuación de onda habitual. las soluciones son
ψ ( t ) = C mi i t + C + mi + i t
donde los coeficientes C ± C 2 debe determinarse a partir de las condiciones iniciales. ahora elige ψ ( 0 ) = C + + C = ( 2 , 2 ) y t ψ ( 0 ) = ( 0 , 0 ) = i ( C + C ) como condiciones iniciales. Eso lleva a C = C + = 1 , y por lo tanto
ψ ( t ) = 2 porque t ( 1 1 ) ,
y la norma ψ ( t ) | = 2 2 | porque t | de este vector evidentemente oscila en el tiempo y por lo tanto no se conserva. Para la condición inicial especial t ψ ( 0 ) = \ii H ψ ( 0 ) , sin embargo, la norma se conserva.

Permítanme recopilar mis comentarios anteriores para que el mensaje "a veces, pero no siempre" no se pierda.

El argumento habitual a favor de la ecuación de Schr convencional con hermita, independiente del tiempo k ,

i t φ | φ = φ | k k | φ = 0 ,
se pierde ostensiblemente, ya que sólo se obtiene
i t ( φ | φ ˙ φ ˙ | φ ) = φ | H + H | φ
de esta manera—integración por partes. Entonces, para antihermitean H , obtienes una cantidad conservada, pero no es la norma.

Sin embargo, el núcleo de ( i t k ) también estará en el núcleo de ( i t 2 k 2 / i ) , es decir, las soluciones estándar invariantes de la ecuación de Schr para k también resolverá tu ecuación con H = i k 2 / , que también tendrá soluciones "malas", naturalmente.

Puede ilustrar esto esquemáticamente (dejando de lado la definición de los problemas de la norma; puede modular trivialmente su respuesta mediante filtros gaussianos espaciales), con el ejemplo más trivial, k = ω , por eso H = i ω 2 , donde obtienes soluciones oscilatorias Exp ( ± i ω t ) preservando la norma; mientras que sus combinaciones trigonométricas, porque ( ω t ) ,   pecado ( ω t ) , naturalmente, no.