¿Por qué iℏ∂∂tiℏ∂∂ti\hbar\frac{\partial}{\partial t} no se puede considerar el operador hamiltoniano?

En la ecuación de Schrödinger dependiente del tiempo, H Ψ = i t Ψ , el operador hamiltoniano viene dado por

H = 2 2 metro 2 + V .

¿Por qué no podemos considerar i t como operador para el hamiltoniano también? Mi respuesta (que no estoy seguro) es la siguiente:

H Ψ = i t Ψ no es una ecuación para definir H . Esta situación es similar a F = metro a . La segunda ley de Newton no es una ecuación para definir F ; F debe proporcionarse de forma independiente.

¿Es mi razonamiento (y la analogía) correcto, o la respuesta es más profunda que eso?

Sí, estás en lo correcto. La física está en el hamiltoniano y la ecuación de Schrödinger describe cómo el hamiltoniano hace que la función de onda cambie en función del tiempo.
Creo que tu último comentario es acertado, esto es lo mismo que la segunda ley de Newton; nada más y nada menos.
Bueno, si sabemos ψ entonces podría ser posible resolver el operador H . No sé si es posible o no.

Respuestas (15)

  1. Si uno a priori declara erróneamente que el operador hamiltoniano H ^ es la derivada del tiempo i t , entonces la ecuación de Schrödinger

    (1) H ^ Ψ   =   i Ψ t
    se convertiría en una tautología. Tal ecuación trivial de Schrödinger no podría usarse para determinar la evolución en el tiempo futuro (ni pasado) de la función de onda Ψ ( r , t ) .

  2. Por el contrario, el operador hamiltoniano H ^ es típicamente una función de los operadores r ^ y pags ^ , y la ecuación de Schrödinger

    (2) H ^ Ψ   =   i Ψ t
    es un requisito no trivial para la función de onda Ψ ( r , t ) .

  3. Entonces, uno puede preguntarse por qué está bien asignar el operador de momento como un gradiente

    (3) pags ^ k   =   i r k   ?
    (Esto se conoce como la representación de Schrödinger). La respuesta se debe a las relaciones de conmutación canónicas
    (4) [ r ^ j , pags ^ k ]   =   i   d k j   1 ^ .

  4. Por otro lado, la correspondiente relación de conmutación para el tiempo t es

    (5) [ H ^ , t ]   =   0 ,
    porque el tiempo t es un parámetro, no un operador en la mecánica cuántica, consulte también esta y esta publicación de Phys.SE. Nótese que en contraste
    (6) [ i t ,   t ]   =   i ,
    lo que también muestra que uno no debe identificarse H ^ y i t .

1. "Tal ecuación trivial de Schrödinger no podría usarse para determinar la evolución en el tiempo futuro (ni pasado) de la función de onda Ψ (r, t)". ¿Porqué es eso? 2. Formalmente, si H ^ no depende del tiempo, sabemos que la solución es de la forma | Ψ ( t ) = tu ( t ) | Ψ ( 0 ) = mi i H ^ t / | Ψ ( 0 ) . Por supuesto, para ser aplicable a un sistema dado, se necesita proporcionar un modelo para H ^ pero su forma será contingente al sistema bajo estudio mientras que la solución general (para hamiltonianos independientes del tiempo) siempre se mantendrá.
1. Porque i Ψ t = i Ψ t es una tautología. 2. Estoy de acuerdo.
Si en verdad es el caso que [ H ^ , t ] = 0 , entonces el principio de incertidumbre energía-tiempo no sería Δ mi Δ t 0 ?
No, el tiempo en el HUP energía-tiempo es sutil, cf. por ejemplo , esta publicación de Phys.SE.

No se puede "cancelar" la función de onda en la ecuación de Schrödinger porque la función de onda es la principal variable de la misma. Es una ecuación para la función de onda.

La derivada temporal no puede considerarse un operador porque un operador es, por definición, un mapa único bien definido

L : H H
del espacio de Hilbert al mismo espacio de Hilbert. Es un mapa: para cada elección de un vector | ψ , debe decirte lo que es L | ψ . Los operadores lineales están determinados únicamente por una matriz particular con respecto a una base particular. La derivada temporal no es nada por el estilo. Solo está bien definido cuando me dices qué | ψ ( t ) es: la entrada (información que uno necesita saber) no es solo un vector; debe ser una función vectorial del tiempo.

No hay analogía entre la de Newton F = metro a y la ecuación de Schrödinger, excepto que ambas son ecuaciones. Una mejor contrapartida cuántica de las ecuaciones de Newton serían las ecuaciones de Heisenberg para los operadores en lugar de la ecuación de Schrödinger. Bueno, una analogía muy suave, que probablemente existiría en cualquier ecuación, es que uno necesita tener un X , pags -fórmula dependiente para la fuerza F para calcular un determinado X ( t ) ; de la misma manera, se necesita una elección particular del hamiltoniano para calcular | ψ ( t ) . Pero es cierto en cualquier ecuación: todos los atajos deben explicarse completamente para que la ecuación tenga un sentido realmente bien definido y se aplique específicamente a un sistema en particular.

Matemáticamente i t es un operador diferencial. llamémoslo mi ^ :

mi ^ := i t

Sin embargo, decir que mi ^ ψ = i t ψ solo dice eso mi ^ ψ i t ψ y aún no es una ecuación (es una tautología como señaló Qmechanic). De las ecuaciones diferenciales sabes que, por ejemplo, para L ^ := d d X , L ^ ψ ( X ) d ψ ( X ) d X no es una ecuacion En cambio, L ^ ψ ( X ) = 0 = 0 ψ es una ecuación y, por supuesto, no significa que d d X = 0 . O mejor, tomar el Lapalaciano en dos dimensiones 2 2 X 2 + 2 y 2 . Entonces la ecuación de Laplace es

2 ψ ( X , y ) 2 ψ ( X , y ) X 2 + 2 ψ ( X , y ) y 2 = 0

Puedes reescribirlo como

2 ψ ( X , y ) X 2 = 2 ψ ( X , y ) y 2

Obviamente no significa que 2 X 2 = 2 y 2 , significa que actuando por L ^ 1 := 2 X 2 en ψ te da la misma función que actuar sobre ψ por L ^ 2 := 2 y 2 :

L ^ 1 ψ ( X , y ) = ϕ ( X , y )

L ^ 2 ψ ( X , y ) = ϕ ( X , y )

es decir L ^ 1 L ^ 2 , pero no en general, solo en un espacio funcional específico de funciones ψ tal que L ^ 1 ψ = ϕ = L ^ 2 ψ .

En el caso de la ecuación de Schroedinger dependiente del tiempo tenemos dos operadores mi ^ y H ^ (como L ^ 1 y L ^ 2 en nuestro ejemplo anterior) actuando sobre ψ llevando al mismo resultado ϕ :

mi ^ ψ i t ψ = H ^ ψ ( 2 2 metro 2 X 2 + V ( X ) ) ψ = ϕ
Esto viene del hecho de que mi ^ ψ = mi ψ = ϕ , mi = pags 2 2 metro + V ( X ) y reemplazando pags por pags ^ y X por X ^ nos da el operador hamiltoniano H ( X ^ , pags ^ ) tal que H ^ ψ = mi ψ = ϕ . Entonces podemos considerar que mi ^ H ^ solo en un espacio funcional específico de funciones ψ ( X , t ) , aunque son diferentes mi ^ H ^ (como el L ^ 1 , L ^ 2 son).

El propósito del hamiltoniano es determinar la evolución temporal t , y por lo tanto usando t en sí mismo como hamiltoniano es " inútil ". Más aún porque todos los sistemas, independientemente de la física subyacente, tendrían el mismo hamiltoniano.

Lo que quiere es una expresión que, dependiendo de la física particular, prediga la evolución del tiempo utilizando cantidades que ya se conocen antes de que ocurra realmente la evolución del tiempo.

Saludos, hans

Estimado Hans, / t seguramente no es un "Hamiltoniano por definición". Es por definición el límite de [ o b j mi C t ( t + d t ) o b j mi C t ( t ) ] / d t en el limite d t 0 . La ecuación de Schrödinger solo es válida para los vectores de estado que satisfacen las ecuaciones dinámicas correctas, no para todos los objetos y ni siquiera para los elementos dependientes del tiempo del espacio de Hilbert en la física, y es una ley física no trivial (una restricción), no una "definición". " de nada. Quizás podría decir lo contrario, el hamiltoniano es, por definición, el operador que genera las traducciones de tiempo, pero "es" no es simétrico aquí.
Estimado Lubos: En mi opinión, el simple malentendido del OP se soluciona mejor con una respuesta simple. Es decir: el propósito del hamiltoniano es determinar la evolución temporal / t , o como dices: el hamiltoniano es, por definición, el operador que genera las traducciones de tiempo. Una vez entendido eso, verá que no sirve de nada definir / t como el hamiltoniano. La respuesta de QMechanic también señala esto, pero aún lo hace en el contexto del área de aplicación limitada de la ecuación de Schrödinger.
Adapté la redacción de la publicación principal para expresar lo que dije en el comentario.
Correcto, entendiste tu punto, Hans. Cuando uno dice "Hamiltoniano es por definición XY", hay diferentes ángulos de lo que puede significar la "definición". Por supuesto, uno puede definir constructivamente el hamiltoniano para sistemas particulares, como pags 2 / 2 metro + V ( X ) , en cuyo caso es esta expresión por definición. De manera más general, queremos definirlo como lo que sea necesario para que se cumplan las ecuaciones de Schrödinger o Heisenberg. El último enfoque es más general. Aún así, cuando decimos "la ecuación se cumple", no es lo mismo que decir "los operadores son los mismos" porque ψ no se puede cancelar.
Además, es cierto que sería "inútil" definir el operador como el mismo porque entonces no tendría ecuaciones dinámicas no triviales que pudieran predecir el futuro. Eso es lo que probablemente estás diciendo. Sin embargo, incluso si fuera inútil, todavía se puede preguntar si sería legítimo. Creo que la respuesta es No, vea, por ejemplo, la respuesta de Qmechanic. [ H , t ] = 0 es diferente del distinto de cero t , t = 1 por lo que los operadores no pueden ser los mismos. ( t no es realmente un operador actuando sobre los estados como ψ ( X , y , z ) pero estados "extendidos" ψ ( X , y , z , t ) etc.: otra "distorsión".)

Aunque no está directamente relacionado con la pregunta que nos ocupa, me gustaría hacer el comentario de que el operador de cantidad de movimiento no surge necesariamente al imponer un conmutador. Surge de la siguiente manera:

Comience definiendo un operador de traducción que actúe en un campo (considere primero el caso simple):

T ^ a ψ ( X ) = ψ ( X + a )

Expandir como:

T ^ a ψ ( X ) = ψ ( X ) + a ψ ( X ) + a 2 ψ ( X ) 2 ! + . . .

= [ yo + a ψ ( X ) + a 2 ψ ( X ) 2 ! + . . . ] ψ ( X )

Llamar al operador derivado D ^ . Usando la notación para un exponencial podemos escribir eso como:

T ^ a ψ ( X ) = mi a D ^ ψ ( X )

Ahora tenemos que el operador diferencial es el generador infinitesimal de traslación.

Para mantener el operador de traducción hermitiano redefinimos definir un nuevo operador pags ^ = i D ^ .

Esto se identifica entonces con la cantidad física "momento" si la variable x describe "posición". Hay mucho más en esto y tal vez editaré esta publicación cuando tenga tiempo.

El punto que deseo hacer es que i Los 's no se agregan a mano de manera ad-hoc, pero hay un propósito para hacer tales sustituciones.

Durante mucho tiempo estuve insatisfecho con la forma en que los libros de texto de QM abordan el tema de los operadores. Nadie me dijo esto en la clase de QM de introducción. Tuve mucha suerte de tener un excelente profesor de física matemática para explicarme esto. ¡Excelente clase y excelente profesor!

¿Podemos obtener las notas de esta clase? :)
@Revo Deberías consultar el libro de Sakurai sobre mecánica cuántica.

La ecuación de Schrödinger no es realmente una PDE. Es una ODA. La ecuación de Schrödinger es i d d t | ψ = H ^ | ψ . Aquí el vector de estado | ψ es un H -función valorada de una sola variable independiente t y H es algún espacio de Hilbert y H ^ es un operador en ese espacio de Hilbert. Solo hay una variable independiente, por lo que es una EDO.

Ahora, el operador H ^ suele ser una función de operadores X ^ , pags ^ que satisfacen [ X ^ , pags ^ ] = i (y también a otros operadores les gusta el giro, y posiblemente también t ). Debido al teorema de Stone-von Neumann , dichos operadores siempre se pueden poner en una forma en la que para los estados propios del operador X ^ , decir | X ,

(1) X | X ^ | ψ = X X | ψ X | pags ^ | ψ = i X X | ψ | X = X
y si introducimos ψ ( X , t ) = X | ψ (recuerda | ψ depende de t ) obtenemos la forma habitual en que está escrito, X ^ = X , pags ^ = i X . A veces la gente incluso escribe pags ^ ψ ( X ) = i ψ ( X ) X pero esto es un completo abuso de notación porque ψ ( X ) es un numero y pags ^ actúa en el espacio de Hilbert, no en los números. Lo que quieren decir es ( pags ^ ψ ) ( X ) pero esto no es lo que escriben.

De todos modos, si usa (1), a menudo puede escribir la ecuación de Schrödinger como

i t ψ ( X , t ) = 2 2 metro X 2 ψ ( X , t ) + V ( X ) ψ ( X , t )
y esto parece una PDE porque decidiste escribir la ODE vectorial i h d d t | ψ = H ^ | ψ en componentes en una base particular . X no es realmente una variable independiente. Es un índice de etiquetado de componentes .

Muchas respuestas le dieron explicaciones detalladas que son buenas. Sin embargo, también hay razones simples. Al contrario de lo que se ha dicho, creo que tu analogía te lleva por el buen camino.

Tal como mencionas, la segunda ley de Newton no pretende encontrar F . Todavía, F no debe tomarse como lo mismo que metro a . F es una abstracción de algo más que se debe conectar allí, que representa la cantidad de interacciones o perturbaciones que los elementos externos ejercen sobre la partícula. De acuerdo con la configuración de uno, F será reemplazado por la función correcta F ( X , X ˙ , t ) . Por ejemplo, si la configuración de uno es elástica, la ecuación de la segunda ley de Newton se conectaría con la ley de Hooke. Lo mismo sucede si la interacción es gravitatoria, eléctrica, etc. Entonces, F podría tener muchos sabores distintos, a veces tan fundamentalmente diferentes como la gravedad y el electromagnetismo (al menos por el momento) dependiendo de su experimento.

Ahora en H ^ Ψ   =   i Ψ t , El lado derecho de esa ecuación no debe tomarse como el mismo lado izquierdo de esa ecuación. H ^ es una abstracción de algo más que también debería estar conectado allí. Por ejemplo, si se trata de partículas simples no relativistas, H ^ debe ser reemplazado por el hamiltoniano de Schroedinger. Para un campo electromagnético no relativista, se reemplaza por el operador de Pauli, lo mismo ocurre con el hamiltoniano de Dirac.

En cualquier formalismo en el que un espacio de estados de Hilbert se asocie con un hiperplano similar al espacio, lo que ciertamente es el caso en su ejemplo de la ecuación de Schrödinger, el tiempo es un parámetro que selecciona un espacio de Hilbert H t . En ese caso, las Respuestas de Lubos y Qmechanic describen bastante bien la situación.

En la teoría cuántica de campos, ciertamente en los formalismos más utilizados, el espacio de estados de Hilbert todavía está asociado con un hiperplano similar al espacio (y la covarianza de Lorentz de estos formalismos es algo problemática), de modo que nuevamente el tiempo es un parámetro, y nuevamente las respuestas de Lubos y Qmechanic son buenas. Sin embargo, es posible construir formalismos en los que un espacio de Hilbert esté asociado con todo el espacio-tiempo, en cuyo caso las traducciones de tipo temporal y espacial son mucho más directamente comparables. hay _una diferencia entre las traducciones de tipo temporal y espacial debido al diferente signo de la métrica para los dos casos, sin embargo, la traducción de tipo temporal se puede presentar como un operador que actúa en un espacio de Hilbert, tal como lo hacen las traducciones de tipo espacial. Sin embargo, es discutible que no haya una ecuación de Schödinger en tales formalismos, lo que se sale de su pregunta (y, por lo tanto, esto solo será una digresión confusa, pero, si se lo pregunta, estas matemáticas están ahí fuera ...).

Todo esto es lo suficientemente bueno como matemáticas, y espero que ver el contraste ayude, pero la construcción alternativa, como la describí anteriormente, no ha encontrado una aplicación útil como descripción física.

El problema más profundo con esta suposición es que asume una identidad conceptual entre las nociones de hamiltoniano y energía, y esta es una identidad que no es correcta. Es decir, se necesita aplicar el discernimiento para separar las dos cosas.

Conceptualmente, la energía es una cantidad física que es, en cierto sentido, "dinero de la naturaleza", la "moneda" que tienes que gastar para producir cambios físicos en el mundo. En un nivel algo más profundo, la energía es al tiempo lo que el impulso es al espacio. Esto se puede ver en muchas áreas, como el teorema de Noether, que relaciona la ley de conservación de la energía con el hecho de que la historia de un sistema se puede traducir de un lado a otro en el tiempo y seguir funcionando de la misma manera, es decir, que no hay punto preferido en el tiempo en las leyes de la física, y del mismo modo, lo mismo para el momento, ya que se traslada en el espacio y sigue funcionando de la misma manera. También ocurre en la relatividad, en la que el "cuatro impulso" incorpora energía como su componente temporal.

El hamiltoniano, por otro lado, es una versión matemáticamente modificada del lagrangiano, a través de lo que se llama la transformada de Legendre. El lagrangiano es una forma de describir cómo esas fuerzas afectan la evolución temporal de un sistema físico en términos de un proceso de optimización, y el hamiltoniano convierte esto directamente en un proceso de ecuación diferencial a menudo más útil/intuitivo. En muchos casos, el hamiltoniano es igual a , la energía mecánica total del sistema mi metro mi C h , es decir k + tu , pero esto no siempre es así , incluso en la mecánica hamiltoniana clásica, un hecho que indica y subraya la separación conceptual básica entre los dos.

En mecánica cuántica, el concepto de "energía es al tiempo lo que el impulso es al espacio" se manifiesta en que es el generador de traslación temporal , o el generador de evolución , de la misma manera que el impulso es el generador de traslación espacial . En particular, así como tenemos un "operador de cantidad de movimiento"

pags ^ := i X

que traduce una función de onda de posición-espacio (aquí usando una dimensión para simplificar) (representación matemática de información restringida con respecto a la posición de la partícula por parte de un agente) ψ a través de la "ecuación infinitesimal" algo suelta

ψ ( X d X ) = ψ ( X ) + ( i pags ^ ψ ) ( X )

por traducirlo con un pequeño empujón hacia adelante d X , así mismo nos gustaría tener un operador de energía

mi ^ := i t

que hace lo mismo pero para la traslación con respecto al tiempo (el cambio de signo se debe a que solemos considerar un avance temporal desde t a t + d t , a diferencia de preferir psicológicamente [quizás también psicoculturalmente] que los movimientos espaciales se dirijan hacia la derecha, en nuestras descripciones de las cosas). El problema aquí es que las funciones de onda generalmente no contienen un parámetro de tiempo, y al menos la mecánica cuántica no relativista trata el espacio y el tiempo por separado, por lo que lo anterior no puede ser un verdadero operador en el espacio de estado del sistema. Más bien, es más un "pseudo-operador" que "quisiéramos" tener pero "realmente" no podemos por esta razón. Cabe señalar que esta es la expresión que aparece a la derecha de la ecuación de Schrödinger, que por lo tanto podríamos escribir "mejor" como

H ^ [ ψ ( t ) ] = [ mi ^ ψ ] ( t )

dónde ψ ahora es una secuencia temporal de funciones de onda (es decir, una "función curry", que se convierte en una función "ordinaria" cuando considera las funciones de onda como vectores de Hilbert independientes de la base). El operador hamiltoniano H ^ es un operador de buena fe , que actúa solo sobre la información de configuración "presente" del sistema. Lo que esta ecuación "realmente" dice es que para que una serie de tiempo de este tipo represente una evolución física válida, el hamiltoniano también debe poder traducirla a través del tiempo. La distinción entre hamiltoniano y energía se manifiesta en que el hamiltoniano no traducirá todas las secuencias de tiempo, mientras que el pseudooperador de energía sí lo hará , al igual que el operador de impulso traducirá todas las funciones de onda espacial . Además, pueden ser posibles muchos hamiltonianos que den lugar al mismo espectro de energía.

Debido a que estas dos cosas son diferentes, no tiene sentido equipararlos como operadores, como se sugiere. Puedes y debes tener H ^ [ ψ ( t ) ] = [ mi ^ ψ ] ( t ) , pero no deberías tener H ^ = mi ^ !

La respuesta corta es, porque es idénticamente cero.

Si dices «operador», tienes que poder especificar, ¿ en qué espacio opera?

Simplificando un poco la respuesta de Peter Morgan, aquí se supone que el hamiltoniano es un operador en el espacio de Hilbert de vectores de estado (o funciones de onda) del sistema. En tu caso, este espacio de Hilbert es un espacio de funciones de tres variables, X , y , y z . Se podrían denotar ψ ( X , y , X ) , por ejemplo,

mi X 2 y 2 z 2
o, para otro ejemplo, v . Son constantes en el tiempo, así que si tomas su derivada temporal, obtienes cero... No estoy bromeando. Te confundiste porque el vector puede variar en el tiempo, pero entonces es un vector diferente, es decir, si consideras
v t = ψ t ( X , y , z )
esto describe un camino en el espacio de HIlbert. Pero los operadores se aplican solo a vectores individuales en el espacio de Hilbert, no a caminos... esto es a lo que se referían algunos de los otros carteles cuando señalaron que el tiempo es un parámetro aquí. Un ejemplo de un camino en el espacio de Hilbert podría estar dado por una fórmula concreta, pero entonces te invitaría a confundirte de nuevo sobre la diferencia entre un parámetro y una variable... así que no escribiré ningún ejemplo.

La respuesta a la pregunta principal es en realidad muy corta. El tiempo es un parámetro externo en QM convencional; parametrización de una evolución unitaria. Eso, así como i t , nada tiene en común con operadores, observables, etc. En otras palabras t en ψ ( t ) no enumera algunos vectores base de un observable como X hace en ψ ( X ) .

preguntando por qué

i t
no es el operador hamiltoniano en QM es lo mismo que preguntar por qué la derivada temporal no es el hamiltoniano en las ecuaciones de Hamilton:
d pags i d t = H q i ,

¿Quizás podría proporcionar más información sobre cómo esto responde a la pregunta del OP?

Creo que tu respuesta es correcta. La definición es materia. El hamiltoniano es un operador de energía total por definición. Asumiendo i t es un hamiltoniano conduce a problemas ya que esta expresión no contiene la información sobre la energía del sistema que consiste en partes cinéticas y potenciales dependiendo de la configuración del sistema.

Dado que el tiempo no es una variable dinámica en QM como X o pags . Por lo tanto, no existe un teorema espectral en términos de tiempo. El operador" i t es un método recién postulado para dejar caer la energía total como un valor promedio. Seguramente hay un conjunto de energías para cada conjunto de estados propios, pero esas energías están determinadas por el operador hamiltoniano.

Aunque ya está contenido implícitamente en otras respuestas, pensé que solo explicaría mi punto de vista explícitamente aquí.

El estado de una partícula se caracteriza por un vector de estado . Las cantidades observables están representadas por operadores lineales en los vectores, y los valores medibles son los valores propios de los operadores lineales. El estudio de la mecánica cuántica consiste en determinar cómo el vector de estado y, por lo tanto, los valores medibles, cambian con el tiempo . En particular, el tiempo no es un observable, es decir, no se puede hablar del tiempo de una partícula como su posición o su cantidad de movimiento, porque debería existir un vector de estado para todo el tiempo.

Ahora bien, cuando decimos X ^ = X y pags ^ = i X , estamos hablando de operaciones que convierten vectores en otros vectores. cuando hablamos de t en mecánica cuántica, sin embargo, estamos comparando el mismo vector consigo mismo , solo que en momentos diferentes. Por esta razón, una derivada temporal no puede considerarse un operador en absoluto.