Derivadas ordinarias frente a parciales de kets y observables en el formalismo de Dirac

Estoy un poco confundido en cuanto a cuándo se usan derivados ordinarios y parciales en el formalismo de Dirac.

En la ecuación de Schrödinger, por ejemplo, Griffiths [3.85] utiliza derivadas ordinarias:

i d d t | S = H | S ,

y lo mismo hacen Schumacher y Westmoreland [5.23]:

H | ψ ( t ) = i d d t | ψ ( t ) ,

e incluso denotan la dependencia temporal explícita del ket. Shankar (sección 4.1) hace lo mismo. Esto tiene sentido para mí, ya que el ket no es una función, por ejemplo, del espacio. Sin embargo, aunque no he estudiado de cerca a Sakurai, parece estar en desacuerdo y escribe [2.1.27]:

i t | α , t 0 ; t = H | α , t 0 ; t .

Se encuentra algo similar, por ejemplo, en estas notas de conferencias del MIT (PDF). ¿Hay alguna buena razón para usar diferentes tipos de derivados que no veo? ¿O alguna otra justificación para notaciones diferentes?

También tuve una segunda confusión, en este caso con respecto a los operadores. Sakurai define un observable en la imagen de Heisenberg (subíndice H ) en términos del mismo observable en la imagen de Schrödinger (subíndice S ) [2.2.10]:

A H tu ( t ) A S tu ( t ) ,

dónde tu es el operador de evolución temporal. Para derivar la ecuación de movimiento de Heisenberg, yo mismo tomaría la derivada total con respecto al tiempo:

d A H d t = d tu d t A S tu + tu d A S d t tu + tu A S d tu d t .

Ahora Sakurai tiene derivadas parciales en el lado derecho [2.2.15]. Pero, ¿por qué es esto, ya que estamos tomando la derivada total ? Afirma (implícitamente) que el término medio cancela para observables A S que no dependen explícitamente del tiempo, lo cual puedo ver si toma la derivada parcial (y no a priori para las derivadas totales), pero no entiendo por qué hacemos eso.

La segunda subpregunta (v2) es un duplicado de esta publicación Phys.SE.

Respuestas (2)

El uso de derivadas totales y parciales en Física no siempre es muy riguroso o consistente. A veces, los autores sólo escriben d d t si quieren enfatizar que hay una dependencia temporal implícita que debe incluirse en la derivada, y por defecto t de lo contrario. A veces, los autores sólo escriben t si quieren enfatizar que hay una dependencia temporal implícita que debe ignorarse en la derivada, y por defecto d d t de lo contrario. A veces, los autores simplemente escriben t porque es menos esfuerzo que d d t . A veces, a los autores realmente no les importa y solo se dejan llevar por la intuición.

Voy a ir a través de sus preguntas específicas:

  • En la ecuación de Schrödinger H | ψ ( t ) = i t | ψ ( t ) = i d d t | ψ ( t ) porque la funcion | ψ ( t ) no depende de ningún otro parámetro de todos modos. (Desde mi experiencia, la mayoría de las personas escriben una derivada parcial aquí, pero cualquier forma es correcta).

  • En su ejemplo de Sakurai, tal vez quieran enfatizar que α y t 0 no dependas del tiempo.

  • Acerca de los operadores: en mi (segunda) edición de Sakurai, hay una derivada total en el lado izquierdo. Y debería haberlo, porque queremos distinguir la dependencia temporal implícita que proviene de los propagadores y la posible dependencia temporal explícita de A S . Esto a veces se escribe como

    d A H d t = i [ H , A H ] + A H t .
    Editado para agregar: a la gente le gusta escribirlo de esta manera porque muestra la analogía con la mecánica canónica . Allí, la distinción entre derivadas totales y parciales es bastante clara.

  • Finalmente tenga en cuenta que para el operador A S en la imagen de Schrödinger, no hay una dependencia temporal implícita. Así que no importa si escribes una derivada total o parcial.

¡Ups! Quise escribir que Sakurai tiene derivadas parciales en el lado derecho. Pero su último punto respondió a mi pregunta de todos modos. Una cosa más, en realidad. En la ecuación de movimiento de Heisenberg, he visto el último término, la dependencia temporal explícita del operador, escrito de una manera ligeramente diferente (PDF, página 21): ( A S / t ) H . Entonces la derivada del tiempo en S transformado en H . Tengo problemas para ver cómo eso es equivalente a lo que has escrito.
Se supone que ambos términos significan tu A S t tu . La forma en que lo escribe lo hace un poco más claro, pero la forma en que lo expongo también es una notación común. Con estas cosas, a menudo tiene que inferir el significado del contexto: en la ecuación que escribí, la derivada parcial significa "solo considere la dependencia intrínseca del tiempo de lo observable, no la dependencia del tiempo agregada por la imagen de Heisenberg".

Votó a favor de la pregunta, porque es una pregunta en física que es muy adecuada para una respuesta puramente matemática. Cual es:

La notación adecuada para la derivada temporal que se utilizará en la ecuación de Schrödinger genérica/abstracta es la derivada completa, es decir d d t , sin importar si uno usa la notación bra/ket (matemáticamente desafiante), o si uno usa la notación tradicional de los físicos de las funciones de onda de Schrödinger. Sin embargo, la derivada parcial se puede usar bajo ciertos supuestos matemáticos vinculados a continuación.

Explicación : el hamiltoniano en la llamada imagen de Schrödinger es un mapeo adecuado de valores de operadores espaciales de Hilbert R t H ( t ) H L ( H ) , t , H = H . Los estados de Schrödinger (representantes del estado) son mapeos adecuados de vectores espaciales de Hilbert (llamados trayectorias cuánticas ) R t ψ ( t ) H , fuertemente continua en el parámetro real t llamado tiempo . Por lo tanto, es una suposición (axioma de QM) que el mapeo

R t delgado h 0 1 h [ ψ ( t + h ) ψ ( t ) ] existe
y se denota por d ψ ( t ) d t . Este límite, bajo la ecuación de Schrödinger vista como una restricción, define correctamente el conjunto de trayectorias cuánticas admisibles como un subconjunto del dominio máximo (dominio de autoadjunción) del operador hamiltoniano.

Ahora uno podría preguntarse si el hamiltoniano es una función de los operadores fundamentales x,p (en una dimensión), por una proyección en el espacio de Hilbert L 2 ( R ) , por lo que podría verse como una función compleja de varias variables H = H ( X , pag , t ) , se puede escribir la ecuación de Schrödinger usando derivadas parciales en la forma:

ψ ( X , pag , t ) t = 1 i H ( X , pag ) ψ ( X , pag , t ) ,

en otras palabras, ¿cuál sería la conexión con la formulación rigurosa anterior? Valter Moretti aquí La derivada del tiempo del vector de estado expresada en el espacio abstracto de Hilbert frente a una función de onda mostró bajo qué supuestos matemáticos exactos, el d d t definida anteriormente por el límite fuerte se puede transformar a la t .