stringtranslate.com

Teorema de Hartogs sobre holomorficidad separada

En matemáticas , el teorema de Hartogs es un resultado fundamental de Friedrich Hartogs en la teoría de varias variables complejas . En términos generales, establece que una función "analítica por separado" es continua. Más precisamente, si es una función que es analítica en cada variable z i , 1 ≤ in , mientras que las otras variables se mantienen constantes, entonces F es una función continua .

Un corolario es que la función F es entonces de hecho una función analítica en el sentido de n variables (es decir, que localmente tiene una expansión de Taylor ). Por lo tanto, "analiticidad separada" y "analiticidad" son nociones coincidentes en la teoría de varias variables complejas.

Comenzando con la hipótesis adicional de que la función es continua (o acotada), el teorema es mucho más fácil de demostrar y en esta forma se conoce como lema de Osgood .

No existe un análogo de este teorema para variables reales . Si suponemos que una función es diferenciable (o incluso analítica ) en cada variable por separado, no es cierto que necesariamente será continua. Un contraejemplo en dos dimensiones viene dado por

Si además definimos , esta función tiene derivadas parciales bien definidas en y en el origen, pero no es continua en el origen. (De hecho, los límites a lo largo de las líneas y no son iguales, por lo que no hay forma de extender la definición de para incluir el origen y hacer que la función sea continua allí).

Referencias

Enlaces externos

Este artículo incorpora material del teorema de Hartogs sobre analiticidad separada en PlanetMath , que se encuentra bajo la licencia Creative Commons Attribution/Share-Alike License .