El teorema de Sochocki-Plemelja (en polaco, Sochocki ) es un teorema de análisis complejo que ayuda a evaluar integrales definidas. La versión de línea real ( ver más abajo ) se usa a menudo en física, aunque rara vez se la menciona por su nombre. El teorema lleva el nombre de Julian Sochocki , quien lo demostró en 1868, y Josip Plemelj , quien lo redescubrió como el ingrediente principal en su solución al problema de Riemann-Hilbert en 1908.
Sea C una curva simple cerrada suave en el plano y φ una función analítica en C . Entonces la integral de tipo Cauchy
define dos funciones analíticas de z , φ i dentro de C y φ e fuera. Las fórmulas de Sokhotsky-Plemelj relacionan los valores límite de estas dos funciones analíticas en el punto z de C y el valor principal de Cauchy de la integral:
Las generalizaciones posteriores eliminan los requisitos de suavidad en la curva C y la función φ .
La versión de este teorema para integrales en la línea real es especialmente importante.
Sea f una función de valores complejos definida y continua en el eje real, y sean a y b números reales tales que a < 0 < b . Después
donde denota el valor principal de Cauchy.
Una demostración sencilla es la siguiente.
Para el primer término, tenga en cuenta que es la función delta naciente y, por lo tanto, se acerca a la función delta de Dirac en el límite. Por lo tanto, el primer término es igual a .
Para el segundo término, notamos que el factor tiende a 1 para | x | ≫ ε , y tiende a 0 cuando | x | ≪ ε, es decir, una función simétrica con respecto a 0. Por lo tanto, en el límite, se obtiene una integral en el sentido del valor principal de Cauchy.
En mecánica cuántica y teoría cuántica de campos , a menudo hay que evaluar integrales de la forma
donde E es algo de energía y t es el tiempo. De esta forma, la expresión no está definida (porque la integral de tiempo no converge), por lo que generalmente se modifica agregando un coeficiente real negativo a t en el exponente y luego empujando este coeficiente a cero:
donde se utiliza el teorema de Sochocki en el último paso.