Mecánica clásica de Koopman – von Neumann

Editar artículo

Sucursales

Fundamentos

Formulaciones

Temas centrales

Aceleración angular / desplazamiento / frecuencia / velocidad

Científicos

La mecánica de Koopman-von Neumann es una descripción de la mecánica clásica en términos del espacio de Hilbert, introducida por Bernard Koopman y John von Neumann en 1931 y 1932, respectivamente.

Como se ha demostrado Koopman y von Neumann, un espacio de Hilbert de complejos, integrables cuadrados funciones de onda se puede definir en la que la mecánica clásica se pueden formular como una teoría operatorial similar a la mecánica cuántica.

Contenido

1 Historia
- 1.1 Teoría ergódica
2 Definición y dinámica
- 2.1 Derivación a partir de la ecuación de Liouville
- 2.2 Derivación a partir de axiomas del operador
- 2.3 Medidas
3 mecánicas de KvN vs Liouville
4 analogía cuántica
5 Véase también
6 referencias
7 Lecturas adicionales

Historia

La mecánica estadística describe los sistemas macroscópicos en términos de conjuntos estadísticos, como las propiedades macroscópicas de un gas ideal. La teoría ergódica es una rama de las matemáticas que surge del estudio de la mecánica estadística.

Teoría ergódica

Los orígenes de la teoría de Koopman-von Neumann (KvN) están estrechamente relacionados con el surgimiento de la teoría ergódica como una rama independiente de las matemáticas, en particular con la hipótesis ergódica de Boltzmann.

En 1931, Koopman y André Weil observaron independientemente que el espacio de fase del sistema clásico se puede convertir en un espacio de Hilbert postulando una regla de integración natural sobre los puntos del espacio de fase como la definición del producto escalar, y que esta transformación permite dibujar de conclusiones interesantes sobre la evolución de los observables físicos a partir del teorema de Stone, que había sido probado poco antes. Este hallazgo inspiró a von Neumann a aplicar el formalismo novedoso al problema ergódico. Ya en 1932 completó la reformulación del operador de la mecánica clásica conocida actualmente como teoría de Koopman-von Neumann. Posteriormente, publicó varios resultados seminales en la teoría ergódica moderna, incluida la prueba de su teorema ergódico medio.

Definición y dinámica

Derivación a partir de la ecuación de Liouville

En el enfoque de Koopman y von Neumann ( KvN), la dinámica en el espacio de fase se describe mediante una densidad de probabilidad (clásica), recuperada de una función de onda subyacente, la función de onda de Koopman-von Neumann, como el cuadrado de su valor absoluto (más precisamente, como la amplitud multiplicada por su propio complejo conjugado ). Esto es una analogía con la regla de Born en mecánica cuántica. En el marco de KvN, los observables se representan mediante operadores autoadjuntos conmutados que actúan sobre el espacio de Hilbert de las funciones de onda de KvN. La conmutatividad implica físicamente que todos los observables son mensurables simultáneamente. Compare esto con la mecánica cuántica, donde los observables no necesitan conmutar, lo que subraya el principio de incertidumbre, el teorema de Kochen-Specker y las desigualdades de Bell.

Se postula que la función de onda KvN evoluciona de acuerdo exactamente con la misma ecuación de Liouville que la densidad de probabilidad clásica. A partir de este postulado se puede demostrar que efectivamente se recupera la dinámica de densidad de probabilidad.

Dinámica de la densidad de probabilidad (prueba) -

En la mecánica estadística clásica, la densidad de probabilidad (con respecto a la medida de Liouville ) obedece a la ecuación de Liouville

i{\frac {\partial }{\partial t}}\rho (x,p,t)={\hat {L}}\rho (x,p,t)

I ∂ ∂ tρ(X,pag,t)= L ^ρ(X,pag,t)

{\ Displaystyle i {\ frac {\ parcial} {\ parcial t}} \ rho (x, p, t) = {\ hat {L}} \ rho (x, p, t)}

{\ Displaystyle i {\ frac {\ parcial} {\ parcial t}} \ rho (x, p, t) = {\ hat {L}} \ rho (x, p, t)}

con el autoadjunto Liouvillian

{\hat {L}}=-i{\frac {\partial H(x,p)}{\partial p}}{\frac {\partial }{\partial x}}+i{\frac {\partial H(x,p)}{\partial x}}{\frac {\partial }{\partial p}},

L ^=-I ∂ H ( X , pag ) ∂ pag ∂ ∂ X+I ∂ H ( X , pag ) ∂ X ∂ ∂ pag,

{\ Displaystyle {\ hat {L}} = - yo {\ frac {\ parcial H (x, p)} {\ parcial p}} {\ frac {\ parcial} {\ parcial x}} + i {\ frac {\ parcial H (x, p)} {\ parcial x}} {\ frac {\ parcial} {\ parcial p}},}

{\ Displaystyle {\ hat {L}} = - yo {\ frac {\ parcial H (x, p)} {\ parcial p}} {\ frac {\ parcial} {\ parcial x}} + i {\ frac {\ parcial H (x, p)} {\ parcial x}} {\ frac {\ parcial} {\ parcial p}},}

donde denota el hamiltoniano clásico (es decir, el de Liouvillian es multiplicado por el campo vectorial hamiltoniano considerado como un operador diferencial de primer orden). Se postula la misma ecuación dinámica para la función de onda KvN

H(x,p)

H(X,pag)

{\ Displaystyle H (x, p)}

H (x, p)

{\ Displaystyle i}

I

i{\frac {\partial }{\partial t}}\psi (x,p,t)={\hat {L}}\psi (x,p,t),

I ∂ ∂ tψ(X,pag,t)= L ^ψ(X,pag,t),

{\ Displaystyle i {\ frac {\ parcial} {\ parcial t}} \ psi (x, p, t) = {\ hat {L}} \ psi (x, p, t),}

{\ Displaystyle i {\ frac {\ parcial} {\ parcial t}} \ psi (x, p, t) = {\ hat {L}} \ psi (x, p, t),}

por lo tanto

{\frac {\partial }{\partial t}}\psi (x,p,t)=\left[-{\frac {\partial H(x,p)}{\partial p}}{\frac {\partial }{\partial x}}+{\frac {\partial H(x,p)}{\partial x}}{\frac {\partial }{\partial p}}\right]\psi (x,p,t),

∂ ∂ tψ(X,pag,t)= [ - ∂ H ( X , pag ) ∂ pag ∂ ∂ X + ∂ H ( X , pag ) ∂ X ∂ ∂ pag ]ψ(X,pag,t),

{\ Displaystyle {\ frac {\ parcial} {\ t parcial}} \ psi (x, p, t) = \ izquierda [- {\ frac {\ parcial H (x, p)} {\ parcial p}} { \ frac {\ parciales} {\ parciales x}} + {\ frac {\ parciales H (x, p)} {\ parciales x}} {\ frac {\ parciales} {\ parciales p}} \ derecha] \ psi (x, p, t),}

{\ Displaystyle {\ frac {\ parcial} {\ t parcial}} \ psi (x, p, t) = \ izquierda [- {\ frac {\ parcial H (x, p)} {\ parcial p}} { \ frac {\ parciales} {\ parciales x}} + {\ frac {\ parciales H (x, p)} {\ parciales x}} {\ frac {\ parciales} {\ parciales p}} \ derecha] \ psi (x, p, t),}

y por su complejo conjugado

{\frac {\partial }{\partial t}}\psi ^{*}(x,p,t)=\left[-{\frac {\partial H(x,p)}{\partial p}}{\frac {\partial }{\partial x}}+{\frac {\partial H(x,p)}{\partial x}}{\frac {\partial }{\partial p}}\right]\psi ^{*}(x,p,t).

∂ ∂ t ψ ∗(X,pag,t)= [ - ∂ H ( X , pag ) ∂ pag ∂ ∂ X + ∂ H ( X , pag ) ∂ X ∂ ∂ pag ] ψ ∗(X,pag,t).

{\ estilo de visualización {\ frac {\ parcial} {\ parcial t}} \ psi ^ {*} (x, p, t) = \ izquierda [- {\ frac {\ parcial H (x, p)} {\ parcial p}} {\ frac {\ parciales} {\ parciales x}} + {\ frac {\ parciales H (x, p)} {\ parciales x}} {\ frac {\ parciales} {\ parciales p}} \ derecha] \ psi ^ {*} (x, p, t).}

{\ estilo de visualización {\ frac {\ parcial} {\ parcial t}} \ psi ^ {*} (x, p, t) = \ izquierda [- {\ frac {\ parcial H (x, p)} {\ parcial p}} {\ frac {\ parciales} {\ parciales x}} + {\ frac {\ parciales H (x, p)} {\ parciales x}} {\ frac {\ parciales} {\ parciales p}} \ derecha] \ psi ^ {*} (x, p, t).}

\rho (x,p,t)=\psi ^{*}(x,p,t)\psi (x,p,t)

ρ(X,pag,t)= ψ ∗(X,pag,t)ψ(X,pag,t)

{\ Displaystyle \ rho (x, p, t) = \ psi ^ {*} (x, p, t) \ psi (x, p, t)}

{\ Displaystyle \ rho (x, p, t) = \ psi ^ {*} (x, p, t) \ psi (x, p, t)}

sigue usando la regla del producto que

{\frac {\partial }{\partial t}}\rho (x,p,t)=\left[-{\frac {\partial H(x,p)}{\partial p}}{\frac {\partial }{\partial x}}+{\frac {\partial H(x,p)}{\partial x}}{\frac {\partial }{\partial p}}\right]\rho (x,p,t)

∂ ∂ tρ(X,pag,t)= [ - ∂ H ( X , pag ) ∂ pag ∂ ∂ X + ∂ H ( X , pag ) ∂ X ∂ ∂ pag ]ρ(X,pag,t)

{\ estilo de visualización {\ frac {\ parcial} {\ parcial t}} \ rho (x, p, t) = \ izquierda [- {\ frac {\ parcial H (x, p)} {\ parcial p}} { \ frac {\ parciales} {\ parciales x}} + {\ frac {\ parciales H (x, p)} {\ parciales x}} {\ frac {\ parciales} {\ parciales p}} \ derecha] \ rho (x, p, t)}

{\ estilo de visualización {\ frac {\ parcial} {\ parcial t}} \ rho (x, p, t) = \ izquierda [- {\ frac {\ parcial H (x, p)} {\ parcial p}} { \ frac {\ parciales} {\ parciales x}} + {\ frac {\ parciales H (x, p)} {\ parciales x}} {\ frac {\ parciales} {\ parciales p}} \ derecha] \ rho (x, p, t)}

lo que demuestra que la dinámica de densidad de probabilidad se puede recuperar a partir de la función de onda KvN.

Observación: El último paso de esta derivación se basa en el operador clásico de Liouville que contiene solo derivadas de primer orden en la coordenada y el momento; este no es el caso de la mecánica cuántica, donde la ecuación de Schrödinger contiene derivadas de segundo orden.

Derivación a partir de axiomas del operador

Por el contrario, es posible partir de postulados de operadores, similares a los axiomas espaciales de Hilbert de la mecánica cuántica, y derivar la ecuación de movimiento especificando cómo evolucionan los valores esperados.

Los axiomas relevantes son que, como en la mecánica cuántica (i) los estados de un sistema están representados por vectores normalizados de un espacio de Hilbert complejo, y los observables están dados por operadores autoadjuntos que actúan sobre ese espacio, (ii) el valor esperado de un observable se obtiene de la misma manera que el valor esperado en mecánica cuántica, (iii) las probabilidades de medir ciertos valores de algunos observables se calculan mediante la regla de Born, y (iv) el espacio de estados de un sistema compuesto es el producto tensorial de los espacios del subsistema.

Forma matemática de los axiomas del operador -

Los axiomas anteriores (i) a (iv), con el producto interno escrito en notación entre corchetes, son

$\langle \psi (t)|\psi (t)\rangle =1$ ⟨ψ(t) |ψ(t)⟩=1

{\ Displaystyle \ langle \ psi (t) | \ psi (t) \ rangle = 1} $\ langle \ psi (t) | \ psi (t) \ rangle = 1$ ,
El valor esperado de un observable en el tiempo es ${\hat {A}}$ A ^

{\ Displaystyle {\ hat {A}}} ${\ hat {A}}$ t

{\ Displaystyle t} $t$ $\langle A(t)\rangle =\langle \Psi (t)|{\hat {A}}|\Psi (t)\rangle.$ ⟨A(t)⟩=⟨Ψ(t) | A ^ |Ψ(t)⟩.

{\ Displaystyle \ langle A (t) \ rangle = \ langle \ Psi (t) | {\ hat {A}} | \ Psi (t) \ rangle.} $\ langle A (t) \ rangle = \ langle \ Psi (t) | \ hat {A} | \ Psi (t) \ rangle.$
La probabilidad de que una medición de un observable en el tiempo rinda es, donde. (Este axioma es un análogo de la regla de Born en mecánica cuántica). ${\hat {A}}$ A ^

{\ Displaystyle {\ hat {A}}} ${\ hat {A}}$ t

{\ Displaystyle t} $t$ A

{\ Displaystyle A} $A$ $\left|\langle A|\Psi (t)\rangle \right|^{2}$ | ⟨ A | Ψ ( t ) ⟩ | 2

{\ Displaystyle \ left | \ langle A | \ Psi (t) \ rangle \ right | ^ {2}} $\ left | \ langle A | \ Psi (t) \ rangle \ right | ^ 2$ ${\hat {A}}|A\rangle =A|A\rangle$ A ^ |A⟩=A |A⟩

{\ Displaystyle {\ hat {A}} | A \ rangle = A | A \ rangle} $\ hat {A} | A \ rangle = A | A \ rangle$
(ver Producto tensorial de espacios de Hilbert ).

Estos axiomas nos permiten recuperar el formalismo tanto de la mecánica clásica como de la cuántica. Específicamente, bajo el supuesto de que los operadores clásicos de posición y momento conmutan, la ecuación de Liouville para la función de onda KvN se recupera a partir de las leyes de movimiento de Newton promediadas. Sin embargo, si la coordenada y el momento obedecen a la relación de conmutación canónica, se obtiene la ecuación de Schrödinger de la mecánica cuántica.

Derivación de la mecánica clásica a partir de los axiomas del operador -

Partimos de las siguientes ecuaciones para los valores esperados de la coordenada xy el momento p

m{\frac {d}{dt}}\langle x\rangle =\langle p\rangle,\qquad {\frac {d}{dt}}\langle p\rangle =\langle -U'(x)\rangle,

metro D D t⟨X⟩=⟨pag⟩, D D t⟨pag⟩=⟨- U ′(X)⟩,

{\ Displaystyle m {\ frac {d} {dt}} \ langle x \ rangle = \ langle p \ rangle, \ qquad {\ frac {d} {dt}} \ langle p \ rangle = \ langle -U '( x) \ rangle,}

m \ frac {d} {dt} \ langle x \ rangle = \ langle p \ rangle, \ qquad \ frac {d} {dt} \ langle p \ rangle = \ langle -U '(x) \ rangle,

también conocido como las leyes del movimiento de Newton promediadas sobre el conjunto. Con la ayuda de los axiomas del operador, se pueden reescribir como

{\begin{aligned}m{\frac {d}{dt}}\langle \Psi (t)|{\hat {x}}|\Psi (t)\rangle amp;=\langle \Psi (t)|{\hat {p}}|\Psi (t)\rangle,\\{\frac {d}{dt}}\langle \Psi (t)|{\hat {p}}|\Psi (t)\rangle amp;=\langle \Psi (t)|-U'({\hat {x}})|\Psi (t)\rangle.\end{aligned}}

metro D D t ⟨ Ψ ( t ) | X ^ | Ψ ( t ) ⟩ = ⟨ Ψ ( t ) | pag ^ | Ψ ( t ) ⟩ , D D t ⟨ Ψ ( t ) | pag ^ | Ψ ( t ) ⟩ = ⟨ Ψ ( t ) | - U ′ ( X ^ ) | Ψ ( t ) ⟩ .

{\ Displaystyle {\ begin {alineado} m {\ frac {d} {dt}} \ langle \ Psi (t) | {\ hat {x}} | \ Psi (t) \ rangle amp; = \ langle \ Psi ( t) | {\ hat {p}} | \ Psi (t) \ rangle, \\ {\ frac {d} {dt}} \ langle \ Psi (t) | {\ hat {p}} | \ Psi ( t) \ rangle amp; = \ langle \ Psi (t) | -U '({\ hat {x}}) | \ Psi (t) \ rangle. \ end {alineado}}}

\ begin {align} m \ frac {d} {dt} \ langle \ Psi (t) | \ hat {x} | \ Psi (t) \ rangle amp; = \ langle \ Psi (t) | \ hat {p} | \ Psi (t) \ rangle, \\ \ frac {d} {dt} \ langle \ Psi (t) | \ hat {p} | \ Psi (t) \ rangle amp; = \ langle \ Psi (t) | -U '(\ hat {x}) | \ Psi (t) \ rangle. \ end {align}

Observe una gran semejanza con los teoremas de Ehrenfest en mecánica cuántica. Las aplicaciones de la regla del producto conducen a

{\begin{aligned}\langle d\Psi /dt|{\hat {x}}|\Psi \rangle +\langle \Psi |{\hat {x}}|d\Psi /dt\rangle amp;=\langle \Psi |{\hat {p}}/m|\Psi \rangle,\\\langle d\Psi /dt|{\hat {p}}|\Psi \rangle +\langle \Psi |{\hat {p}}|d\Psi /dt\rangle amp;=\langle \Psi |-U'({\hat {x}})|\Psi \rangle,\end{aligned}}

⟨ D Ψ / D t | X ^ | Ψ ⟩ + ⟨ Ψ | X ^ | D Ψ / D t ⟩ = ⟨ Ψ | pag ^ / metro | Ψ ⟩ , ⟨ D Ψ / D t | pag ^ | Ψ ⟩ + ⟨ Ψ | pag ^ | D Ψ / D t ⟩ = ⟨ Ψ | - U ′ ( X ^ ) | Ψ ⟩ ,

{\ Displaystyle {\ begin {alineado} \ langle d \ Psi / dt | {\ hat {x}} | \ Psi \ rangle + \ langle \ Psi | {\ hat {x}} | d \ Psi / dt \ rangle amp; = \ langle \ Psi | {\ hat {p}} / m | \ Psi \ rangle, \\\ langle d \ Psi / dt | {\ hat {p}} | \ Psi \ rangle + \ langle \ Psi | {\ hat {p}} | d \ Psi / dt \ rangle amp; = \ langle \ Psi | -U '({\ hat {x}}) | \ Psi \ rangle, \ end {alineado}}}

\ begin {align} \ langle d \ Psi / dt | \ hat {x} | \ Psi \ rangle + \ langle \ Psi | \ hat {x} | d \ Psi / dt \ rangle amp; = \ langle \ Psi | \ hat {p} / m | \ Psi \ rangle, \\ \ langle d \ Psi / dt | \ hat {p} | \ Psi \ rangle + \ langle \ Psi | \ hat {p} | d \ Psi / dt \ rangle amp; = \ langle \ Psi | -U '(\ hat {x}) | \ Psi \ rangle, \ end {align}

en el que sustituimos una consecuencia del teorema de Stone y obtenemos $i|d\Psi (t)/dt\rangle ={\hat {L}}|\Psi (t)\rangle$

I |DΨ(t) /Dt⟩= L ^ |Ψ(t)⟩

{\ Displaystyle i | d \ Psi (t) / dt \ rangle = {\ hat {L}} | \ Psi (t) \ rangle}

yo | d \ Psi (t) / dt \ rangle = \ hat {L} | \ Psi (t) \ rangle

{\begin{aligned}im\langle \Psi (t)|[{\hat {L}},{\hat {x}}]|\Psi (t)\rangle amp;=\langle \Psi (t)|{\hat {p}}|\Psi (t)\rangle,\\i\langle \Psi (t)|[{\hat {L}},{\hat {p}}]|\Psi (t)\rangle amp;=-\langle \Psi (t)|U'({\hat {x}})|\Psi (t)\rangle.\end{aligned}}

I metro ⟨ Ψ ( t ) | [ L ^ , X ^ ] | Ψ ( t ) ⟩ = ⟨ Ψ ( t ) | pag ^ | Ψ ( t ) ⟩ , I ⟨ Ψ ( t ) | [ L ^ , pag ^ ] | Ψ ( t ) ⟩ = - ⟨ Ψ ( t ) | U ′ ( X ^ ) | Ψ ( t ) ⟩ .

{\ Displaystyle {\ begin {alineado} im \ langle \ Psi (t) | [{\ hat {L}}, {\ hat {x}}] | \ Psi (t) \ rangle amp; = \ langle \ Psi ( t) | {\ hat {p}} | \ Psi (t) \ rangle, \\ i \ langle \ Psi (t) | [{\ hat {L}}, {\ hat {p}}] | \ Psi (t) \ rangle amp; = - \ langle \ Psi (t) | U '({\ hat {x}}) | \ Psi (t) \ rangle. \ end {alineado}}}

\ begin {align} im \ langle \ Psi (t) | [\ hat {L}, \ hat {x}] | \ Psi (t) \ rangle amp; = \ langle \ Psi (t) | \ hat {p} | \ Psi (t) \ rangle, \\ i \ langle \ Psi (t) | [\ hat {L}, \ hat {p}] | \ Psi (t) \ rangle amp; = - \ langle \ Psi (t) | U '(\ hat {x}) | \ Psi (t) \ rangle. \ end {align}

Dado que estas identidades deben ser válidas para cualquier estado inicial, el promedio se puede eliminar y se deriva el sistema de ecuaciones del conmutador para lo desconocido. ${\hat {L}}$

L ^

{\ Displaystyle {\ hat {L}}}

{\ hat {L}}

im[{\hat {L}},{\hat {x}}]={\hat {p}},\qquad i[{\hat {L}},{\hat {p}}]=-U'({\hat {x}}).

Imetro[ L ^, X ^]= pag ^,I[ L ^, pag ^]=- U ′( X ^).

{\ Displaystyle im [{\ hat {L}}, {\ hat {x}}] = {\ hat {p}}, \ qquad i [{\ hat {L}}, {\ hat {p}}] = -U '({\ hat {x}}).}

{\ Displaystyle im [{\ hat {L}}, {\ hat {x}}] = {\ hat {p}}, \ qquad i [{\ hat {L}}, {\ hat {p}}] = -U '({\ hat {x}}).}

( ecuaciones del conmutador para L)

Suponga que la coordenada y el impulso se conmutan. $[{\hat {x}},{\hat {p}}]=0$

[ X ^, pag ^]=0

{\ displaystyle [{\ hat {x}}, {\ hat {p}}] = 0}

[\ hat {x}, \ hat {p}] = 0

Esta suposición significa físicamente que la coordenada y el momento de la partícula clásica se pueden medir simultáneamente, lo que implica la ausencia del principio de incertidumbre.

La solución no puede ser simplemente de la forma porque implicaría las contracciones y. Por lo tanto, debemos utilizar operadores adicionales y obedecer ${\hat {L}}$

L ^

{\ Displaystyle {\ hat {L}}}

{\ hat {L}}

{\hat {L}}=L({\hat {x}},{\hat {p}})

L ^=L( X ^, pag ^)

{\ Displaystyle {\ hat {L}} = L ({\ hat {x}}, {\ hat {p}})}

\ hat {L} = L (\ hat {x}, \ hat {p})

im[L({\hat {x}},{\hat {p}}),{\hat {x}}]=0={\hat {p}}

Imetro[L( X ^, pag ^), X ^]=0= pag ^

{\ Displaystyle im [L ({\ hat {x}}, {\ hat {p}}), {\ hat {x}}] = 0 = {\ hat {p}}}

im [L (\ hat {x}, \ hat {p}), \ hat {x}] = 0 = \ hat {p}

i[L({\hat {x}},{\hat {p}}),{\hat {p}}]=0=-U'({\hat {x}})

I[L( X ^, pag ^), pag ^]=0=- U ′( X ^)

{\ Displaystyle i [L ({\ hat {x}}, {\ hat {p}}), {\ hat {p}}] = 0 = -U '({\ hat {x}})}

i [L (\ hat {x}, \ hat {p}), \ hat {p}] = 0 = -U '(\ hat {x})

{\hat {\lambda }}_{x}

λ ^ X

{\ Displaystyle {\ hat {\ lambda}} _ {x}}

\ hat {\ lambda} _x

{\hat {\lambda }}_{p}

λ ^ pag

{\ Displaystyle {\ hat {\ lambda}} _ {p}}

\ hat {\ lambda} _p

[{\hat {x}},{\hat {\lambda }}_{x}]=[{\hat {p}},{\hat {\lambda }}_{p}]=i,\quad [{\hat {x}},{\hat {p}}]=[{\hat {x}},{\hat {\lambda }}_{p}]=[{\hat {p}},{\hat {\lambda }}_{x}]=[{\hat {\lambda }}_{x},{\hat {\lambda }}_{p}]=0.

[ X ^, λ ^ X]=[ pag ^, λ ^ pag]=I,[ X ^, pag ^]=[ X ^, λ ^ pag]=[ pag ^, λ ^ X]=[ λ ^ X, λ ^ pag]=0.

{\ Displaystyle [{\ hat {x}}, {\ hat {\ lambda}} _ {x}] = [{\ hat {p}}, {\ hat {\ lambda}} _ {p}] = i, \ quad [{\ hat {x}}, {\ hat {p}}] = [{\ hat {x}}, {\ hat {\ lambda}} _ {p}] = [{\ hat {p }}, {\ hat {\ lambda}} _ {x}] = [{\ hat {\ lambda}} _ {x}, {\ hat {\ lambda}} _ {p}] = 0.}

[\ hat {x}, \ hat {\ lambda} _x] = [\ hat {p}, \ hat {\ lambda} _p] = i, \ quad [\ hat {x}, \ hat {p}] = [\ hat {x}, \ hat {\ lambda} _p] = [\ hat {p}, \ hat {\ lambda} _x] = [\ hat {\ lambda} _x, \ hat {\ lambda} _p] = 0.

( Álgebra KvN)

La necesidad de emplear estos operadores auxiliares surge porque todos los observables clásicos se conmutan. Ahora buscamos en la forma. Utilizando el álgebra de KvN, las ecuaciones del conmutador para L se pueden convertir en las siguientes ecuaciones diferenciales ${\hat {L}}$

L ^

{\ Displaystyle {\ hat {L}}}

{\ hat {L}}

{\hat {L}}=L({\hat {x}},{\hat {\lambda }}_{x},{\hat {p}},{\hat {\lambda }}_{p})

L ^=L( X ^, λ ^ X, pag ^, λ ^ pag)

{\ Displaystyle {\ hat {L}} = L ({\ hat {x}}, {\ hat {\ lambda}} _ {x}, {\ hat {p}}, {\ hat {\ lambda}} _{pag})}

\ hat {L} = L (\ hat {x}, \ hat {\ lambda} _x, \ hat {p}, \ hat {\ lambda} _p)

mL'_{\lambda _{x}}(x,\lambda _{x},p,\lambda _{p})=p,\qquad L'_{\lambda _{p}}(x,\lambda _{x},p,\lambda _{p})=-U'(x).

metro L λ X ′(X, λ X,pag, λ pag)=pag, L λ pag ′(X, λ X,pag, λ pag)=- U ′(X).

{\ displaystyle mL '_ {\ lambda _ {x}} (x, \ lambda _ {x}, p, \ lambda _ {p}) = p, \ qquad L' _ {\ lambda _ {p}} ( x, \ lambda _ {x}, p, \ lambda _ {p}) = - U '(x).}

m L '_ {\ lambda_x} (x, \ lambda_x, p, \ lambda_p) = p, \ qquad L' _ {\ lambda_p} (x, \ lambda_x, p, \ lambda_p) = -U '(x).

De ahí, concluimos que la función de onda clásica de KvN evoluciona de acuerdo con la ecuación de movimiento similar a la de Schrödinger. $|\Psi (t)\rangle$

|Ψ(t)⟩

{\ Displaystyle | \ Psi (t) \ rangle}

| \ Psi (t) \ rangle

i{\frac {d}{dt}}|\Psi (t)\rangle ={\hat {L}}|\Psi (t)\rangle,\qquad {\hat {L}}={\frac {\hat {p}}{m}}{\hat {\lambda }}_{x}-U'({\hat {x}}){\hat {\lambda }}_{p}.

I D D t |Ψ(t)⟩= L ^ |Ψ(t)⟩, L ^= pag ^ metro λ ^ X- U ′( X ^) λ ^ pag.

{\ Displaystyle i {\ frac {d} {dt}} | \ Psi (t) \ rangle = {\ hat {L}} | \ Psi (t) \ rangle, \ qquad {\ hat {L}} = { \ frac {\ hat {p}} {m}} {\ hat {\ lambda}} _ {x} -U '({\ hat {x}}) {\ hat {\ lambda}} _ {p}. }

i \ frac {d} {dt} | \ Psi (t) \ rangle = \ hat {L} | \ Psi (t) \ rangle, \ qquad \ hat {L} = \ frac {\ hat {p}} { m} \ hat {\ lambda} _x - U '(\ hat {x}) \ hat {\ lambda} _p.

( Ecualizador dinámico de KvN)

Demostremos explícitamente que la ecuación dinámica de KvN es equivalente a la mecánica clásica de Liouville.

Desde y conmuta, comparten los autovectores comunes ${\hat {x}}$

X ^

{\ Displaystyle {\ hat {x}}}

{\ hat {x}}

{\hat {p}}

pag ^

{\ Displaystyle {\ hat {p}}}

{\ hat {p}}

{\hat {x}}|x,p\rangle =x|x,p\rangle,\quad {\hat {p}}|x,p\rangle =p|x,p\rangle,\quad A({\hat {x}},{\hat {p}})|x,p\rangle =A(x,p)|x,p\rangle,

{\ Displaystyle {\ hat {x}} | x, p \ rangle = x | x, p \ rangle, \ quad {\ hat {p}} | x, p \ rangle = p | x, p \ rangle, \ quad A ({\ hat {x}}, {\ hat {p}}) | x, p \ rangle = A (x, p) | x, p \ rangle,}

{\ Displaystyle {\ hat {x}} | x, p \ rangle = x | x, p \ rangle, \ quad {\ hat {p}} | x, p \ rangle = p | x, p \ rangle, \ quad A ({\ hat {x}}, {\ hat {p}}) | x, p \ rangle = A (x, p) | x, p \ rangle,}

( xp eigenvec)

con la resolución de la identidad Entonces, se obtiene de la ecuación ( álgebra KvN) $1=\int dxdp\,|x,p\rangle \langle x,p|.$

1=∫DXDpag |X,pag⟩⟨X,pag |.

{\ Displaystyle 1 = \ int dxdp \, | x, p \ rangle \ langle x, p |.}

{\ Displaystyle 1 = \ int dxdp \, | x, p \ rangle \ langle x, p |.}

\langle x,p|{\hat {\lambda }}_{x}|\Psi \rangle =-i{\frac {\partial }{\partial x}}\langle x,p|\Psi \rangle,\qquad \langle x,p|{\hat {\lambda }}_{p}|\Psi \rangle =-i{\frac {\partial }{\partial p}}\langle x,p|\Psi \rangle.

⟨X,pag | λ ^ X |Ψ⟩=-I ∂ ∂ X⟨X,pag |Ψ⟩,⟨X,pag | λ ^ pag |Ψ⟩=-I ∂ ∂ pag⟨X,pag |Ψ⟩.

{\ Displaystyle \ langle x, p | {\ hat {\ lambda}} _ {x} | \ Psi \ rangle = -i {\ frac {\ partial} {\ partial x}} \ langle x, p | \ Psi \ rangle, \ qquad \ langle x, p | {\ hat {\ lambda}} _ {p} | \ Psi \ rangle = -i {\ frac {\ partial} {\ partial p}} \ langle x, p | \ Psi \ rangle.}

{\ Displaystyle \ langle x, p | {\ hat {\ lambda}} _ {x} | \ Psi \ rangle = -i {\ frac {\ partial} {\ partial x}} \ langle x, p | \ Psi \ rangle, \ qquad \ langle x, p | {\ hat {\ lambda}} _ {p} | \ Psi \ rangle = -i {\ frac {\ partial} {\ partial p}} \ langle x, p | \ Psi \ rangle.}

Proyectando la ecuación (ecuación dinámica KvN), obtenemos la ecuación de movimiento para la función de onda KvN en la representación xp $\langle x,p|$

⟨X,pag |

{\ Displaystyle \ langle x, p |}

{\ Displaystyle \ langle x, p |}

\left[{\frac {\partial }{\partial t}}+{\frac {p}{m}}{\frac {\partial }{\partial x}}-U'(x){\frac {\partial }{\partial p}}\right]\langle x,p|\Psi (t)\rangle =0.

[ ∂ ∂ t + pag metro ∂ ∂ X - U ′ ( X ) ∂ ∂ pag ]⟨X,pag |Ψ(t)⟩=0.

{\ estilo de visualización \ izquierda [{\ frac {\ parcial} {\ parcial t}} + {\ frac {p} {m}} {\ frac {\ parcial} {\ parcial x}} - U '(x) { \ frac {\ parcial} {\ parcial p}} \ derecha] \ langle x, p | \ Psi (t) \ rangle = 0.}

{\ estilo de visualización \ izquierda [{\ frac {\ parcial} {\ parcial t}} + {\ frac {p} {m}} {\ frac {\ parcial} {\ parcial x}} - U '(x) { \ frac {\ parcial} {\ parcial p}} \ derecha] \ langle x, p | \ Psi (t) \ rangle = 0.}

( Ecuación dinámica de KvN en xp)

La cantidad es la amplitud de probabilidad de que una partícula clásica esté en un punto con momento en el tiempo. Según los axiomas anteriores, la densidad de probabilidad viene dada por. Utilizando la identidad $\langle x,\,p|\Psi (t)\rangle$

⟨X,pag |Ψ(t)⟩

{\ Displaystyle \ langle x, \, p | \ Psi (t) \ rangle}

\ langle x, \, p | \ Psi (t) \ rangle

{\ Displaystyle x}

X

pag

{\ Displaystyle p}

pag

{\ Displaystyle t}

t

\rho (x,p;t)=\left|\langle x,p|\Psi (t)\rangle \right|^{2}

ρ(X,pag;t)= | ⟨ X , pag | Ψ ( t ) ⟩ | 2

{\ Displaystyle \ rho (x, p; t) = \ left | \ langle x, p | \ Psi (t) \ rangle \ right | ^ {2}}

{\ Displaystyle \ rho (x, p; t) = \ left | \ langle x, p | \ Psi (t) \ rangle \ right | ^ {2}}

{\frac {\partial }{\partial t}}\rho (x,p;t)=\langle \Psi (t)|x,p\rangle {\frac {\partial }{\partial t}}\langle x,p|\Psi (t)\rangle +\langle x,p|\Psi (t)\rangle \left({\frac {\partial }{\partial t}}\langle x,p|\Psi (t)\rangle \right)^{*}

∂ ∂ tρ(X,pag;t)=⟨Ψ(t) |X,pag⟩ ∂ ∂ t⟨X,pag |Ψ(t)⟩+⟨X,pag |Ψ(t)⟩ ( ∂ ∂ t ⟨ X , pag | Ψ ( t ) ⟩ ) ∗

{\ estilo de visualización {\ frac {\ parcial} {\ t parcial}} \ rho (x, p; t) = \ langle \ Psi (t) | x, p \ rangle {\ frac {\ parcial} {\ t parcial }} \ langle x, p | \ Psi (t) \ rangle + \ langle x, p | \ Psi (t) \ rangle \ left ({\ frac {\ partial} {\ partial t}} \ langle x, p | \ Psi (t) \ rangle \ right) ^ {*}}

{\ estilo de visualización {\ frac {\ parcial} {\ t parcial}} \ rho (x, p; t) = \ langle \ Psi (t) | x, p \ rangle {\ frac {\ parcial} {\ t parcial }} \ langle x, p | \ Psi (t) \ rangle + \ langle x, p | \ Psi (t) \ rangle \ left ({\ frac {\ partial} {\ partial t}} \ langle x, p | \ Psi (t) \ rangle \ right) ^ {*}}

así como ( ecuación dinámica de KvN en xp), recuperamos la ecuación clásica de Liouville

\left[{\frac {\partial }{\partial t}}+{\frac {p}{m}}{\frac {\partial }{\partial x}}-U'(x){\frac {\partial }{\partial p}}\right]\rho (x,p;t)=0.

[ ∂ ∂ t + pag metro ∂ ∂ X - U ′ ( X ) ∂ ∂ pag ]ρ(X,pag;t)=0.

{\ estilo de visualización \ izquierda [{\ frac {\ parcial} {\ parcial t}} + {\ frac {p} {m}} {\ frac {\ parcial} {\ parcial x}} - U '(x) { \ frac {\ parcial} {\ parcial p}} \ derecha] \ rho (x, p; t) = 0.}

\ izquierda [\ frac {\ parcial} {\ parcial t} + \ frac {p} {m} \ frac {\ parcial} {\ parcial x} - U '(x) \ frac {\ parcial} {\ parcial p } \ derecha] \ rho (x, p; t) = 0.

( Eq de Liouville)

Además, según los axiomas del operador y ( xp eigenvec),

{\begin{aligned}\langle A\rangle amp;=\langle \Psi (t)|A({\hat {x}},{\hat {p}})|\Psi (t)\rangle =\int dxdp\,\langle \Psi (t)|x,p\rangle A(x,p)\langle x,p|\Psi (t)\rangle \\amp;=\int dxdp\,A(x,p)\langle \Psi (t)|x,p\rangle \langle x,p|\Psi (t)\rangle =\int dxdp\,A(x,p)\rho (x,p;t).\end{aligned}}

⟨ A ⟩ = ⟨ Ψ ( t ) | A ( X ^ , pag ^ ) | Ψ ( t ) ⟩ = ∫ D X D pag ⟨ Ψ ( t ) | X , pag ⟩ A ( X , pag ) ⟨ X , pag | Ψ ( t ) ⟩ = ∫ D X D pag A ( X , pag ) ⟨ Ψ ( t ) | X , pag ⟩ ⟨ X , pag | Ψ ( t ) ⟩ = ∫ D X D pag A ( X , pag ) ρ ( X , pag ; t ) .

{\ Displaystyle {\ begin {alineado} \ langle A \ rangle amp; = \ langle \ Psi (t) | A ({\ hat {x}}, {\ hat {p}}) | \ Psi (t) \ rangle = \ int dxdp \, \ langle \ Psi (t) | x, p \ rangle A (x, p) \ langle x, p | \ Psi (t) \ rangle \\ amp; = \ int dxdp \, A (x, p) \ langle \ Psi (t) | x, p \ rangle \ langle x, p | \ Psi (t) \ rangle = \ int dxdp \, A (x, p) \ rho (x, p; t). \ end {alineado}}}

{\ Displaystyle {\ begin {alineado} \ langle A \ rangle amp; = \ langle \ Psi (t) | A ({\ hat {x}}, {\ hat {p}}) | \ Psi (t) \ rangle = \ int dxdp \, \ langle \ Psi (t) | x, p \ rangle A (x, p) \ langle x, p | \ Psi (t) \ rangle \\ amp; = \ int dxdp \, A (x, p) \ langle \ Psi (t) | x, p \ rangle \ langle x, p | \ Psi (t) \ rangle = \ int dxdp \, A (x, p) \ rho (x, p; t). \ end {alineado}}}

Por lo tanto, la regla para calcular los promedios observables en la mecánica estadística clásica se ha recuperado de los axiomas del operador con el supuesto adicional. Como resultado, la fase de una función de onda clásica no contribuye a los promedios observables. Al contrario de la mecánica cuántica, la fase de una función de onda KvN es físicamente irrelevante. Por lo tanto, la inexistencia del experimento de doble rendija, así como el efecto Aharonov-Bohm, se establece en la mecánica KvN. $A(x,p)$

A(X,pag)

{\ Displaystyle A (x, p)}

A (x, p)

[{\hat {x}},{\hat {p}}]=0

[ X ^, pag ^]=0

{\ displaystyle [{\ hat {x}}, {\ hat {p}}] = 0}

[\ hat {x}, \ hat {p}] = 0

Proyectando la ecuación dinámica de KvN sobre el vector propio común de los operadores y (es decir, la representación), se obtiene la mecánica clásica en el espacio de configuración doble, cuya generalización conduce a la formulación del espacio de fase de la mecánica cuántica. ${\hat {x}}$

X ^

{\ Displaystyle {\ hat {x}}}

{\ hat {x}}

{\hat {\lambda }}_{p}

λ ^ pag

{\ Displaystyle {\ hat {\ lambda}} _ {p}}

\ hat {\ lambda} _p

x\lambda _{p}

X λ pag

{\ Displaystyle x \ lambda _ {p}}

x \ lambda_p

Derivación de la mecánica cuántica a partir de los axiomas del operador -

Al igual que en la derivación de la mecánica clásica, partimos de las siguientes ecuaciones para los promedios de la coordenada xy la cantidad de movimiento p

m{\frac {d}{dt}}\langle x\rangle =\langle p\rangle,\qquad {\frac {d}{dt}}\langle p\rangle =\langle -U'(x)\rangle.

metro D D t⟨X⟩=⟨pag⟩, D D t⟨pag⟩=⟨- U ′(X)⟩.

{\ Displaystyle m {\ frac {d} {dt}} \ langle x \ rangle = \ langle p \ rangle, \ qquad {\ frac {d} {dt}} \ langle p \ rangle = \ langle -U '( x) \ rangle.}

m \ frac {d} {dt} \ langle x \ rangle = \ langle p \ rangle, \ qquad \ frac {d} {dt} \ langle p \ rangle = \ langle -U '(x) \ rangle.

Con la ayuda de los axiomas del operador, se pueden reescribir como

{\begin{aligned}m{\frac {d}{dt}}\langle \Psi (t)|{\hat {x}}|\Psi (t)\rangle amp;=\langle \Psi (t)|{\hat {p}}|\Psi (t)\rangle,\\{\frac {d}{dt}}\langle \Psi (t)|{\hat {p}}|\Psi (t)\rangle amp;=\langle \Psi (t)|-U'({\hat {x}})|\Psi (t)\rangle.\end{aligned}}

metro D D t ⟨ Ψ ( t ) | X ^ | Ψ ( t ) ⟩ = ⟨ Ψ ( t ) | pag ^ | Ψ ( t ) ⟩ , D D t ⟨ Ψ ( t ) | pag ^ | Ψ ( t ) ⟩ = ⟨ Ψ ( t ) | - U ′ ( X ^ ) | Ψ ( t ) ⟩ .

\ begin {align} m \ frac {d} {dt} \ langle \ Psi (t) | \ hat {x} | \ Psi (t) \ rangle amp; = \ langle \ Psi (t) | \ hat {p} | \ Psi (t) \ rangle, \\ \ frac {d} {dt} \ langle \ Psi (t) | \ hat {p} | \ Psi (t) \ rangle amp; = \ langle \ Psi (t) | -U '(\ hat {x}) | \ Psi (t) \ rangle. \ end {align}

Estos son los teoremas de Ehrenfest en mecánica cuántica. Las aplicaciones de la regla del producto conducen a

{\begin{aligned}\langle d\Psi /dt|{\hat {x}}|\Psi \rangle +\langle \Psi |{\hat {x}}|d\Psi /dt\rangle amp;=\langle \Psi |{\hat {p}}/m|\Psi \rangle,\\\langle d\Psi /dt|{\hat {p}}|\Psi \rangle +\langle \Psi |{\hat {p}}|d\Psi /dt\rangle amp;=\langle \Psi |-U'({\hat {x}})|\Psi \rangle,\end{aligned}}

\ begin {align} \ langle d \ Psi / dt | \ hat {x} | \ Psi \ rangle + \ langle \ Psi | \ hat {x} | d \ Psi / dt \ rangle amp; = \ langle \ Psi | \ hat {p} / m | \ Psi \ rangle, \\ \ langle d \ Psi / dt | \ hat {p} | \ Psi \ rangle + \ langle \ Psi | \ hat {p} | d \ Psi / dt \ rangle amp; = \ langle \ Psi | -U '(\ hat {x}) | \ Psi \ rangle, \ end {align}

en el que sustituimos una consecuencia del teorema de Stone

i\hbar |d\Psi (t)/dt\rangle ={\hat {H}}|\Psi (t)\rangle,

Iℏ |DΨ(t) /Dt⟩= H ^ |Ψ(t)⟩,

{\ Displaystyle i \ hbar | d \ Psi (t) / dt \ rangle = {\ hat {H}} | \ Psi (t) \ rangle,}

i \ hbar | d \ Psi (t) / dt \ rangle = \ hat {H} | \ Psi (t) \ rangle,

donde se introdujo como una constante de normalización para equilibrar la dimensionalidad. Dado que estas identidades deben ser válidas para cualquier estado inicial, el promedio se puede eliminar y se deriva el sistema de ecuaciones del conmutador para el generador cuántico de movimiento desconocido. $\hbar$

ℏ

{\ Displaystyle \ hbar}

\ hbar

{\hat {H}}

H ^

{\ Displaystyle {\ hat {H}}}

{\ hat {H}}

im[{\hat {H}},{\hat {x}}]=\hbar {\hat {p}},\qquad i[{\hat {H}},{\hat {p}}]=-\hbar U'({\hat {x}}).

Imetro[ H ^, X ^]=ℏ pag ^,I[ H ^, pag ^]=-ℏ U ′( X ^).

{\ Displaystyle im [{\ hat {H}}, {\ hat {x}}] = \ hbar {\ hat {p}}, \ qquad i [{\ hat {H}}, {\ hat {p} }] = - \ hbar U '({\ hat {x}}).}

im [\ hat {H}, \ hat {x}] = \ hbar \ hat {p}, \ qquad i [\ hat {H}, \ hat {p}] = - \ hbar U '(\ hat {x }).

Contrariamente al caso de la mecánica clásica, asumimos que los observables de la coordenada y el momento obedecen a la relación de conmutación canónica. Configuración, las ecuaciones del conmutador se pueden convertir en ecuaciones diferenciales $[{\hat {x}},{\hat {p}}]=i\hbar$

[ X ^, pag ^]=Iℏ

{\ Displaystyle [{\ hat {x}}, {\ hat {p}}] = i \ hbar}

[\ hat {x}, \ hat {p}] = i \ hbar

{\hat {H}}=H({\hat {x}},{\hat {p}})

H ^=H( X ^, pag ^)

{\ Displaystyle {\ hat {H}} = H ({\ hat {x}}, {\ hat {p}})}

{\ hat {H}} = H ({\ hat {x}}, {\ hat {p}})

mH'_{p}(x,p)=p,\qquad H'_{x}(x,p)=U'(x),

metro H pag ′(X,pag)=pag, H X ′(X,pag)= U ′(X),

{\ Displaystyle mH '_ {p} (x, p) = p, \ qquad H' _ {x} (x, p) = U '(x),}

{\ Displaystyle mH '_ {p} (x, p) = p, \ qquad H' _ {x} (x, p) = U '(x),}

cuya solución es el familiar cuántico hamiltoniano

{\hat {H}}={\frac {{\hat {p}}^{2}}{2m}}+U({\hat {x}}).

H ^= pag ^ 2 2 metro+U( X ^).

{\ Displaystyle {\ hat {H}} = {\ frac {{\ hat {p}} ^ {2}} {2m}} + U ({\ hat {x}}).}

{\ Displaystyle {\ hat {H}} = {\ frac {{\ hat {p}} ^ {2}} {2m}} + U ({\ hat {x}}).}

Por lo tanto, la ecuación de Schrödinger se derivó de los teoremas de Ehrenfest asumiendo la relación de conmutación canónica entre la coordenada y el momento. Esta derivación, así como la derivación de la mecánica clásica de KvN, muestra que la diferencia entre la mecánica cuántica y la clásica se reduce esencialmente al valor del conmutador. $[{\hat {x}},{\hat {p}}]$

[ X ^, pag ^]

{\ Displaystyle [{\ hat {x}}, {\ hat {p}}]}

[\ hat {x}, \ hat {p}]

Mediciones

En el espacio de Hilbert y la formulación del operador de la mecánica clásica, la función de onda de Koopman von Neumann toma la forma de una superposición de estados propios, y la medición colapsa la función de onda KvN al estado propio que está asociado al resultado de la medición, en analogía con el colapso de la función de onda de mecánica cuántica.

Sin embargo, se puede demostrar que para la mecánica clásica de Koopman-von Neumann las mediciones no selectivas dejan la función de onda KvN sin cambios.

Mecánica de KvN vs Liouville

La ecuación dinámica de KvN (ecuación dinámica de KvN en xp) y la ecuación de Liouville ( ecuación de Liouville) son ecuaciones diferenciales parciales lineales de primer orden. Se recuperan las leyes del movimiento de Newton aplicando el método de las características a cualquiera de estas ecuaciones. Por lo tanto, la diferencia clave entre las mecánicas de KvN y Liouville radica en la ponderación de trayectorias individuales: las ponderaciones arbitrarias, subyacentes a la función de onda clásica, se pueden utilizar en la mecánica de KvN, mientras que en la mecánica de Liouville solo se permiten pesos positivos, que representan la densidad de probabilidad ( ver este esquema).

La distinción esencial entre las mecánicas de KvN y Liouville radica en ponderar (colorear) las trayectorias individuales: cualquier peso se puede utilizar en la mecánica de KvN, mientras que en la mecánica de Liouville solo se permiten pesos positivos. Las partículas se mueven a lo largo de trayectorias newtonianas en ambos casos. ( Con respecto a un ejemplo dinámico, consulte a continuación).

Analogía cuántica

Al estar basada explícitamente en el lenguaje espacial de Hilbert, la mecánica clásica de KvN adopta muchas técnicas de la mecánica cuántica, por ejemplo, técnicas de perturbación y diagrama, así como métodos integrales funcionales. El enfoque de KvN es muy general y se ha extendido a sistemas disipativos, mecánica relativista y teorías de campo clásicas.

El enfoque KvN es fructífero en estudios sobre la correspondencia cuántica-clásica, ya que revela que la formulación del espacio de Hilbert no es exclusivamente mecánica cuántica. Incluso los espinores de Dirac no son excepcionalmente cuánticos, ya que se utilizan en la generalización relativista de la mecánica de KvN. De manera similar a la formulación de espacio de fases más conocida de la mecánica cuántica, el enfoque KvN puede entenderse como un intento de llevar la mecánica clásica y cuántica a un marco matemático común. De hecho, la evolución temporal de la función de Wigner se aproxima, en el límite clásico, a la evolución temporal de la función de onda KvN de una partícula clásica. Sin embargo, una semejanza matemática con la mecánica cuántica no implica la presencia de efectos cuánticos característicos. En particular, la imposibilidad del experimento de doble rendija y el efecto Aharonov-Bohm se demuestran explícitamente en el marco KvN.

Propagación de KvN vs propagación de Wigner

Reproducir medios
La evolución temporal de la kvn clásica función de onda para el potencial de Morse :. Los puntos negros son partículas clásicas que siguen la ley de movimiento de Newton. Las líneas continuas representan el conjunto de niveles del hamiltoniano. Este video ilustra la diferencia fundamental entre la mecánica de KvN y Liouville. $U(x)=20(1-e^{-0.16x})^{2}$
U(X)=20(1- mi - 0,16 X ) 2

{\ Displaystyle U (x) = 20 (1-e ^ {- 0.16x}) ^ {2}} $U (x) = 20 (1 - e ^ {- 0.16x}) ^ 2$ $H(x,p)=p^{2}/2+U(x)$ H(X,pag)= pag 2 /2+U(X)

{\ Displaystyle H (x, p) = p ^ {2} / 2 + U (x)} $H (x, p) = p ^ 2/2 + U (x)$
Reproducir medios
Contraparte cuántica de la propagación clásica de KvN a la izquierda: la función de Wigner, evolución temporal del potencial Morse en unidades atómicas (au). Las líneas continuas representan el conjunto de niveles del hamiltoniano subyacente. Tenga en cuenta que la misma condición inicial utilizada para esta propagación cuántica, así como para la propagación KvN a la izquierda.

Ver también

Portal de física

Referencias

Otras lecturas

Mauro, D. (2002). "Temas en la teoría de Koopman – von Neumann". arXiv : quant-ph / 0301172. Tesis doctoral, Università degli Studi di Trieste.
HR Jauslin, D. Sugny, Dinámica de sistemas cuánticos clásicos mixtos, cuantificación geométrica y estados coherentes, Serie de notas de clase, IMS, NUS, Review Vol., 13 de agosto de 2009
The Legacy of John von Neumann (Proceedings of Symposia in Pure Mathematics, vol 50), editado por James Glimm, John Impagliazzo, Isadore Singer. - Amata Graphics, 2006. - ISBN 0821842196
U. Klein, De la teoría de Koopman – von Neumann a la teoría cuántica, Quantum Stud.: Matemáticas. Fundar. (2018) 5: 219–227. [1]