En mecánica cuántica , el valor esperado es el valor probabilístico esperado del resultado (medición) de un experimento. Puede considerarse como un promedio de todos los resultados posibles de una medición ponderados por su probabilidad y, como tal, no es el valor más probable de una medición; de hecho, el valor esperado puede tener una probabilidad cero de ocurrir (por ejemplo, las mediciones que solo pueden producir valores enteros pueden tener una media no entera). Es un concepto fundamental en todas las áreas de la física cuántica .
Consideremos un operador . El valor esperado está entonces en notación de Dirac con un vector de estado normalizado .
En la teoría cuántica, una configuración experimental se describe mediante el observable que se va a medir y el estado del sistema. El valor esperado de en el estado se denota como .
Matemáticamente, es un operador autoadjunto en un espacio de Hilbert complejo separable . En el caso más comúnmente utilizado en mecánica cuántica, es un estado puro , descrito por un vector [a] normalizado en el espacio de Hilbert. El valor esperado de en el estado se define como
Si se considera la dinámica , se considera que el vector o el operador dependen del tiempo, según se utilice la imagen de Schrödinger o la de Heisenberg . Sin embargo, la evolución del valor esperado no depende de esta elección.
Si tiene un conjunto completo de vectores propios , con valores propios tales que entonces ( 1 ) puede expresarse como [1]
Esta expresión es similar a la media aritmética e ilustra el significado físico del formalismo matemático: los valores propios son los posibles resultados del experimento, [b] y su coeficiente correspondiente es la probabilidad de que este resultado ocurra; a menudo se denomina probabilidad de transición .
Un caso particularmente simple surge cuando es una proyección y, por lo tanto, tiene solo los valores propios 0 y 1. Esto corresponde físicamente a un experimento de tipo "sí-no". En este caso, el valor esperado es la probabilidad de que el experimento dé como resultado "1", y se puede calcular como
En teoría cuántica, también es posible que un operador tenga un espectro no discreto, como el operador de posición en mecánica cuántica. Este operador tiene un espectro completamente continuo , con valores propios y vectores propios que dependen de un parámetro continuo, . Específicamente, el operador actúa sobre un vector espacial como . [2] En este caso, el vector puede escribirse como una función de valor complejo en el espectro de (generalmente la línea real). Esto se logra formalmente proyectando el vector de estado sobre los valores propios del operador, como en el caso discreto . Sucede que los vectores propios del operador de posición forman una base completa para el espacio vectorial de estados y, por lo tanto, obedecen a una relación de completitud en mecánica cuántica:
Lo anterior se puede utilizar para derivar la expresión integral común para el valor esperado ( 4 ), insertando identidades en la expresión vectorial del valor esperado y luego expandiéndola en la base de posición:
Donde la relación de ortonormalidad de los vectores de posición base , reduce la integral doble a una integral simple. La última línea utiliza el módulo de una función de valor complejo para reemplazar con , que es una sustitución común en integrales de mecánica cuántica.
El valor esperado puede entonces indicarse, donde x no tiene límite, como la fórmula
Una fórmula similar se aplica al operador de momento , en sistemas donde tiene espectro continuo.
Todas las fórmulas anteriores son válidas únicamente para estados puros. En termodinámica y óptica cuántica , también son importantes los estados mixtos ; estos se describen mediante un operador de clase traza positiva , el operador estadístico o matriz de densidad . El valor esperado se puede obtener como
En general, los estados cuánticos se describen mediante funciones lineales normalizadas positivas en el conjunto de observables, que matemáticamente se suele considerar como un C*-álgebra . El valor esperado de un observable se da entonces por
Si el álgebra de observables actúa irreduciblemente en un espacio de Hilbert , y si es un funcional normal , es decir, es continuo en la topología ultradébil , entonces puede escribirse como con un operador de clase de traza positivo de traza 1. Esto da la fórmula ( 5 ) anterior. En el caso de un estado puro , es una proyección sobre un vector unitario . Entonces , lo que da la fórmula ( 1 ) anterior.
se supone que es un operador autoadjunto. En el caso general, su espectro no será completamente discreto ni completamente continuo. Aún así, se puede escribir en una descomposición espectral , con una medida con valor de proyección . Para el valor esperado de en un estado puro , esto significa que puede verse como una generalización común de las fórmulas ( 2 ) y ( 4 ) anteriores.
En las teorías no relativistas de un número finito de partículas (mecánica cuántica, en sentido estricto), los estados considerados son generalmente normales [ aclaración necesaria ] . Sin embargo, en otras áreas de la teoría cuántica, también se utilizan estados no normales: aparecen, por ejemplo, en forma de estados KMS en la mecánica estadística cuántica de medios infinitamente extendidos, [3] y como estados cargados en la teoría cuántica de campos . [4] En estos casos, el valor esperado está determinado solo por la fórmula más general ( 6 ).
Como ejemplo, considere una partícula mecánica cuántica en una dimensión espacial, en la representación del espacio de configuración . Aquí el espacio de Hilbert es , el espacio de funciones integrables al cuadrado en la línea real. Los vectores se representan mediante funciones , llamadas funciones de onda . El producto escalar está dado por . Las funciones de onda tienen una interpretación directa como una distribución de probabilidad:
da la probabilidad de encontrar la partícula en un intervalo infinitesimal de longitud alrededor de algún punto .
Como observable, considere el operador de posición , que actúa sobre las funciones de onda mediante
El valor esperado, o valor medio de las mediciones, realizadas en un número muy grande de sistemas independientes idénticos estará dado por
El valor esperado solo existe si la integral converge, lo que no sucede con todos los vectores . Esto se debe a que el operador de posición no tiene límites y debe elegirse de su dominio de definición .
En general, la expectativa de cualquier observable se puede calcular reemplazando con el operador apropiado. Por ejemplo, para calcular el momento promedio, se utiliza el operador de momento en el espacio de configuración , . Explícitamente, su valor esperado es
No todos los operadores en general proporcionan un valor medible. Un operador que tiene un valor esperado real puro se denomina observable y su valor se puede medir directamente en un experimento.
{{cite book}}
: CS1 maint: location missing publisher (link) CS1 maint: multiple names: authors list (link) CS1 maint: numeric names: authors list (link)El valor esperado, en particular tal como se presenta en la sección "Formalismo en mecánica cuántica", se cubre en la mayoría de los libros de texto elementales sobre mecánica cuántica.
Para una discusión de los aspectos conceptuales, véase: