Notación desconocida en Sakurai

En el capítulo 5, sección 9 de Sakurai, 2.ª edición, utiliza una notación con la que no estoy familiarizado. Esto puede ser adecuado para Math.se, pero pensé que podría ser una notación física peculiar. De todos modos, es la ecuación 5.9.14 y establece:

(5.9.14) límite ε 0 1 X + i ε = PAGS r . 1 X i π d ( X ) .

¿Podría alguien explicar qué está pasando con el Pr./qué significa? Parece que podría ser algún tipo de valor principal... como el valor principal de Cauchy .

EDITAR

La sección es sobre cambios de energía y anchos de decaimiento del capítulo sobre teoría de perturbaciones. Esta ecuación surge básicamente al hacer una expansión de las correcciones de energía a segundo orden. El cambio de energía de segundo orden es una suma de términos que se ven como:

límite ϵ 0 1 X + i ϵ .

Así que hace ese pequeño truco de arriba para separar las partes real e imaginaria de la corrección de energía.

Respuestas (2)

Esta es una notación de la teoría de la distribución en el análisis funcional. La teoría de las distribuciones pretende hacer cosas como la delta de Dirac rigurosas.

En este contexto, solo para darle una visión general, una distribución es un funcional en el espacio de las funciones de prueba. Definimos el espacio de funciones de prueba sobre R como D ( R ) siendo el espacio de funciones suaves con soporte compacto (es decir, el conjunto donde no son cero es acotado y cerrado).

En ese caso, el espacio de distribuciones es el espacio de funcionales lineales continuos sobre D ( R ) y se denota como D ( R ) . Si η D ( R ) y ϕ D ( R ) normalmente denotamos η ( ϕ ) por ( η , ϕ ) . Dado que las distribuciones son solo funcionales lineales, decimos que dos distribuciones η , ζ son iguales si ( η , ϕ ) = ( ζ , ϕ ) para todos ϕ D ( R ) .

El delta de Dirac, por ejemplo, se define como d D ( R ) cuya acción sobre ϕ D ( R ) es ( d , ϕ ) = ϕ ( 0 ) . Ahora, dado ϕ D ( R ) uno siempre puede construir una distribución asociada con él:

( ϕ , ψ ) = ϕ ( X ) ψ ( X ) d X ,   ψ D ( R ) .

Sin embargo, hay otras formas de convertir una función habitual en una distribución, incluso si la función no es una función de prueba. Uno de ellos es el valor principal. Considerar F ( X ) = 1 X . Obviamente, esto no tiene soporte compacto, por lo que F D ( R ) . Podemos hacer F en una distribución, sin embargo, al considerar el valor principal:

( p.v. 1 X , ϕ ) = límite ϵ 0 + ( ϵ ϕ ( X ) X d X + ϵ ϕ ( X ) X d X ) .

Esto es lo que el libro quiere decir con PR .

Ahora, la fórmula que declaras es la fórmula de Sokhotski-Plemelj . Debe leerse en el sentido distributivo. Diciendo que:

límite ϵ 0 1 X + i ϵ = PR 1 X i π d ( X ) .

Realmente significa que para todos ϕ D ( R ) tenemos

límite ϵ 0 ( 1 X + i ϵ , ϕ ) = ( PR 1 X , ϕ ) i π ( d ( X ) , ϕ ) ,

dónde

( 1 X + i ϵ , ϕ ) = ϕ ( X ) X + i ϵ d X .

Esta no es una notación física peculiar por extraño que parezca. La notación permite interpretar 1 / X como una distribución (lo que tiene sentido ya que se suma a la distribución delta en el lado derecho de la ecuación). Para una función de prueba adecuada φ , se define esta distribución como

pags v ( 1 / X ) ( φ ) = límite ϵ 0 + R [ ϵ , ϵ ] φ ( X ) X d X
Como señaló el usuario anon0909, esta distribución se denomina valor principal de 1 / X . Dada esta definición, la ecuación que aparece en Sakurai debe interpretarse como
límite ϵ 0 + φ ( X ) X + i ϵ = límite ϵ 0 + R [ ϵ , ϵ ] φ ( X ) X d X i π φ ( 0 )

Ah, genial, es como si integraras ese pequeño trozo alrededor. 0 llevando el contorno al semiplano superior?
@TylerHG Parece que está en el camino correcto tratando de obtener intuición del análisis complejo, pero no entiendo lo que quiere decir.
Esto es lo que me parece. Rompiste la integral en tres partes. Dos que se extienden hasta el infinito y excluyen el cero (la parte principal del valor) y un tercero que se integra en un d barrio de 0 . Luego mirando la integral alrededor 0 , antes de Cristo X es pequeño podemos expandir Taylor ϕ y solo queda una integral alrededor 0 de ϕ ( 0 ) sobre el denominador (los términos de primer orden desaparecen, creo). Entonces, si movemos ese pequeño contorno al semiplano superior, del teorema del residuo obtenemos un π i ϕ ( 0 ) contribución a la integral...parece válida?
@TylerHG Hmmm. No veo cómo funciona eso. Por un lado, la función φ no está definido lejos de la línea real, por lo que no estoy seguro de cómo se integraría sobre algún contorno que incida en el plano medio superior. Además, ¿qué te permitiría deformar esa pequeña pieza en primer lugar?
@TylerHG Por cierto, creo que la forma estándar de probar la identidad es multiplicar el numerador y el denominador por X i ϵ , y luego use identidades como la que pregunto aquí: math.stackexchange.com/questions/1156854/…
Supongo que estoy haciendo algunas suposiciones sobre ϕ siendo analítica si la consideramos como una función de valor complejo. Mi idea surgió esencialmente de la forma en que uno puede calcular integrales reales con polos en el eje real (el contorno) extendiendo la función al plano complejo y haciendo pequeños semicírculos alrededor de los polos de radio. ϵ . No estoy seguro de cómo justificarlo por completo... tal vez la universalidad del álgebra;).
Esa es una buena publicación en math.se y esencialmente pide la justificación que necesito jajaja. ¿Crees que podemos considerar esta función de prueba como la restricción de una función compleja?
@TylerHG No estoy seguro, eso era parte del contenido de mi pregunta sobre matemáticas.SE...