- Función analítica
-
En matemáticas una función analítica es aquella que puede expresarse como una serie de potencias convergente. Una función analítica es suave: tiene infinitas derivadas. La noción de función analítica puede definirse para funciones reales o complejas, aunque ambos conjuntos tienen propiedades distintas. Las funciones complejas derivables en un abierto siempre son analíticas, y se denominan funciones holomorfas. Sin embargo, una función real infinitamente derivable no es necesariamente analítica.
Contenido
Definición
La definición de función analítica es idéntica para los casos real y complejo:
Una función real (compleja) f es analítica en un punto x0 de su dominio si existe una serie de potencias centrada en x0:
que converge en un entorno U ⊆ R (U ⊆ C) de x0 y que coincide con la función en dicho entorno:
De esta definición se puede demostrar la siguiente caracterización alternativa:
Una función analítica en x0 es infinitamente derivable en un cierto entorno U de dicho punto, en el que además su serie de Taylor:
converge (y coincide con f).
Una función se dice analítica en un conjunto U si es analítica en cada punto de U. El conjunto de todas las funciones analíticas en un cierto abierto U se denota por Cω(U).
Varias variables
La definición de función analítica puede extenderse para funciones (reales o complejas) de varias variables (definidas en Rn o Cn), sin más que considerar series de potencias de varias variables:
Funciones holomorfas
En el caso de las funciones complejas analíticas, existe un teorema que las caracteriza de manera mucho más sencilla, y que constituye uno de los rasgos fundamentales del análisis complejo:
Una función compleja f : D ⊆ C → C derivable en un abierto U, es analítica en U.
Un teorema similar se aplica en el caso de funciones complejas de varias variables que sean diferenciables:
Una función compleja f : D ⊆ Cn → C diferenciable en un abierto U es analítica en U.
Funciones suaves no analíticas
En variable real pueden encontrarse funciones suaves que no son analíticas. Un ejemplo de ello es la función:
Esta función es infinitamente derivable para cualquier x ∈ R, y en particular todas sus derivadas en 0 son nulas: f(n)(0) = 0. Por tanto, su serie de Taylor alrededor de 0 es identicamente nula, y en ningún entorno de dicho punto coinciden la función y la serie de Taylor.
Referencias
- Krantz, Steven; Parks, Harold (1992) (en inglés). A primer of real analytic functions. Birkhäuser Verlag. ISBN 3-7643-2768-5. Capítulo 1.
- Scheidemann, Volker (2005) (en inglés). Introduction to complex analysis in several variables. Birkhäuser Verlag. ISBN 3-7643-7490-X. Capítulo 1.
Enlaces externos
- Eric Weisstein. «Analytic Function» (en inglés). MathWorld.
- Eric Weisstein. «Real Analytic Function» (en inglés). MathWorld.
Categorías:- Análisis matemático
- Tipos de funciones
Wikimedia foundation. 2010.