En matemáticas , el valor principal de Cauchy , llamado así por Augustin Louis Cauchy , es un método para asignar valores a ciertas integrales impropias que de otro modo no estarían definidas.
Dependiendo del tipo de singularidad en el integrando f , el valor principal de Cauchy se define de acuerdo con las siguientes reglas:
- Para una singularidad en el número finito b :
con y donde b es el punto difícil, en el que el comportamiento de la función f es tal que para cualquier y para cualquier (Vea más o menos para el uso preciso de notaciones y) - Para una singularidad en el infinito ():
dónde y
En algunos casos es necesario tratar simultáneamente con singularidades tanto en un número finito by en infinito. Esto generalmente se hace mediante un límite de la forma.
En aquellos casos en los que la integral puede dividirse en dos límites finitos e independientes,
y entonces la función es integrable en el sentido ordinario. El resultado del procedimiento para el valor principal es el mismo que el de la integral ordinaria; dado que ya no coincide con la definición, técnicamente no es un "valor principal".
El valor principal de Cauchy también se puede definir en términos de integrales de contorno de una función de valor complejo con con un poste en un contorno C . Definirpara ser ese mismo contorno, donde se ha eliminado la porción dentro del disco de radio ε alrededor del polo. Proporcionó la función es integrable sobre no importa cuán pequeño sea ε , entonces el valor principal de Cauchy es el límite: [1]
En el caso de funciones integrables de Lebesgue , es decir, funciones integrables en valor absoluto , estas definiciones coinciden con la definición estándar de integral.
Si la función es meromórfico , el teorema de Sokhotski-Plemelj relaciona el valor principal de la integral sobre C con el valor medio de las integrales con el contorno desplazado ligeramente hacia arriba y hacia abajo, de modo que el teorema del residuo se puede aplicar a esas integrales.
Las integrales de valores principales juegan un papel central en la discusión de las transformadas de Hilbert . [2]
Dejar ser el conjunto de funciones de impacto , es decir, el espacio de funciones suaves con soporte compacto en la línea real . Entonces el mapa
definido a través del valor principal de Cauchy como es una distribucion . A veces, el mapa en sí puede denominarse valor principal (de ahí la notación pv ). Esta distribución aparece, por ejemplo, en la transformada de Fourier de la función Signo y la función escalón Heaviside . Bien definido como distribución
Para probar la existencia del límite
para una función de Schwartz, primero observe que es continuo en como y por lo tanto desde es continuo y se aplica la regla de L'Hospital . Por lo tanto, existe y aplicando el teorema del valor medio a obtenemos:
Y además:
notamos que el mapa
está delimitado por los seminarios habituales para las funciones de Schwartz. Por tanto, este mapa define, por ser obviamente lineal, un funcional continuo en el espacio de Schwartz y por tanto una distribución templada . Tenga en cuenta que la prueba necesita simplemente para ser continuamente diferenciable en una vecindad de 0 y estar acotado hacia el infinito. Por lo tanto, el valor principal se define en supuestos aún más débiles, como integrable con soporte compacto y diferenciable a 0.
Definiciones más generales
El valor principal es la distribución inversa de la función. y es casi la única distribución con esta propiedad:
dónde es una constante y la distribución de Dirac. En un sentido más amplio, el valor principal se puede definir para una amplia clase de núcleos integrales singulares en el espacio euclidiano.. Si tiene una singularidad aislada en el origen, pero por lo demás es una función "agradable", entonces la distribución del valor principal se define en funciones suaves con soporte compacto mediante
Tal límite puede no estar bien definido o, al estar bien definido, puede que no necesariamente defina una distribución. Sin embargo, está bien definido si es una función homogénea continua de grado cuya integral sobre cualquier esfera centrada en el origen desaparece. Este es el caso, por ejemplo, de las transformadas de Riesz . Considere los valores de dos límites:
Este es el valor principal de Cauchy de la expresión de otro modo mal definida
También:
Del mismo modo, tenemos
Este es el valor principal de la expresión que de otro modo estaría mal definida
pero Diferentes autores usan diferentes notaciones para el valor principal de Cauchy de una función , entre otros:
así como PV, y vicepresidente