Articulo de referencia

Teorema de Hartogs sobre holomorfismo separado

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 fun...

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, siF:donortedo{\displaystyle F:{\textbf {C}}^{n}\a {\textbf {C}}}es una función que es analítica en cada variable z i , 1 i n , mientras que las otras variables se mantienen constantes, entonces F es una función continua .

Una consecuencia de esto es que la función F es, de hecho, una función analítica en el sentido de n variables (es decir, que localmente tiene un desarrollo de Taylor ). Por lo tanto, «analiticidad separada» y «analiticidad» son nociones coincidentes en la teoría de varias variables complejas.

Partiendo de 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 el lema de Osgood .

No existe un análogo de este teorema para variables reales . Si asumimos que una función F:RnorteR{\displaystyle f\colon {\textbf {R}}^{n}\to {\textbf {R}}} es diferenciable (o incluso analítica ) en cada variable por separado, no es cierto queF{\displaystyle f}será necesariamente continuo. Un contraejemplo en dos dimensiones viene dado por

F(incógnita,y)=incógnitayincógnita2+y2.{\displaystyle f(x,y)={\frac {xy}{x^{2}+y^{2}}}.}

Si además definimosF(0,0)=0{\displaystyle f(0,0)=0}, esta función tiene derivadas parciales bien definidas enincógnita{\displaystyle x}yy{\displaystyle y}en el origen, pero no es continua en el origen. (De hecho, los límites a lo largo de las líneasincógnita=y{\displaystyle x=y}yincógnita=y{\displaystyle x=-y} no son iguales, por lo que no hay manera de extender la definición deF{\displaystyle f}(para incluir el origen y que la función sea continua en ese punto).

Referencias

  • Steven G. Krantz . Teoría de funciones de varias variables complejas , AMS Chelsea Publishing, Providence, Rhode Island, 1992.
  • Fuks, Boris Abramovich (1963). Teoría de las funciones analíticas de varias variables complejas . American Mathematical Society. ISBN 978-1-4704-4428-0.{{cite book}}: Incompatibilidad de ISBN/Fecha ( ayuda )
  • Hörmander, Lars (1990) [1966], Introducción al análisis complejo en varias variables (3.ª  ed.), North Holland, ISBN 978-1-493-30273-4

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