Función holomorfa

Función holomorfa

Las funciones holomorfas son el principal objeto de estudio del análisis complejo; son funciones que se definen sobre un subconjunto abierto del plano complejo C y con valores en C, que además son complejo-diferenciables en cada punto. Esta condición es mucho más fuerte que la diferenciabilidad en caso real e implica que la función es infinitamente diferenciable y que puede ser descrita mediante su serie de Taylor.

El término función analítica se usa a menudo en vez del de "función holomorfa", especialmente para cuando se trata de la restricción a los números reales de una función holomorfa. Una función que sea holomorfa sobre todo el plano complejo se dice función entera. La frase "holomorfa en un punto a" significa no sólo diferenciable en a, sino diferenciable en todo un disco abierto centrado en a, en el plano complejo.

Contenido

Definición

Si U es un conjunto abierto de C (ver espacio métrico para la definición de "abierto") y f : U -> C es una función, decimos que f es complejo-diferenciable en el punto z0 de U si existe el siguiente límite :

f'(z_0) = \lim_{z \rightarrow z_0} {f(z) - f(z_0) \over z - z_0 }


Este límite se toma aquí sobre todas las sucesiones de números complejos que se aproximen a z0, y para todas esas sucesiones el cociente de diferencias tiene que dar el mismo número f '(z0).

Intuitivamente, si f es complejo-diferenciable en z0 y nos aproximamos al punto z0 desde la dirección r, entonces las imágenes se acercarán al punto f(z0) desde la dirección f '(z0) r, donde el último producto es la multiplicación de números complejos. Este concepto de diferenciabilidad comparte varias propiedades con la diferenciabilidad en caso real: es lineal y obedece a las reglas de derivación del producto, del cociente y de la cadena.

Si f es complejo-diferenciable y las derivadas son continuas en cada punto z0 en U, decimos que f es holomorfa en U.

Es claro que, al igual que en el caso real, si f es holomorfa e inyectiva en U — con inversa continua — entonces f − 1 es holomorfa y su derivada vale:

(f^{-1})' (z) = {1 \over f'(f^{-1}(z)) }.

Ejemplos

Todas las funciones polinómicas en z con coeficientes complejos son holomorfas sobre C, y también lo son las funciones trigonométricas de z y la función exponencial. (Las funciones trigonométricas están de hecho relacionadas estrechamente con esta última y pueden definirse a partir de ella usando la fórmula de Euler). La rama principal de la función logaritmo es holomorfa sobre el conjunto C - {z ∈ R : z ≤ 0}. La función raíz cuadrada se puede definir como : \sqrt{z} = e^{\frac{1}{2}\ln z} y es por tanto allá donde lo sea la función logaritmo ln(z). La función 1/z es holomorfa sobre {z : z ≠ 0}. Las funciones trigonométricas inversas tienen cortes y son holomorfas en todos los puntos excepto en estos cortes.

Propiedades

Ya que la diferenciación compleja es lineal y cumple las reglas del producto, del cociente y de la cadena, se tendrá que las sumas, productos, composiciones son también holomorfas, y el cociente de dos funciones holomorfas lo será allá donde el denominador sea distinto de cero.

Cada función holomorfa es infinitamente diferenciable en cada punto, y coincide con su propia serie de Taylor; esta serie convergerá sobre cada disco abierto que se encuentre dentro del dominio U. La serie de Taylor puede converger en un disco más grande; por ejemplo, la serie de Taylor para el logaritmo converge sobre cada disco que no contenga al 0, incluso en las cercanías de la línea real negativa. Ver demostración de que las funciones holomorfas son analíticas.

Si se identifica C con R², entonces las funciones holomorfas son las mismas que aquellas funciones de dos variables reales diferenciables y que cumplan las ecuaciones de Cauchy-Riemann, que son un par de ecuaciones diferenciales parciales.

Las funciones holomorfas son conformes cerca de los puntos con derivada distinta de cero, en el sentido de que preservan ángulos y la forma (pero no el tamaño) de las figuras pequeñas.

La fórmula integral de Cauchy dice que los valores, dentro de un disco, de una función holomorfa, quedan determinados por los valores de la función en la frontera del disco.

Véase también

Referencias


Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Función holomorfa — Las funciones holomorfas son el principal objeto de estudio del Análisis complejo; son funciones que se definen sobre un subconjunto abierto del plano complejo C y con valores en C, que además son complejo diferenciables en cada punto. Esta… …   Enciclopedia Universal

  • Función zeta de Riemann — ζ(s) en el plano complejo. El color de un punto s codifica el valor de ζ(s): Colores fuertes denotan valores cercanos a 0 y el tono codifica el valor del argumento. El punto blanco en s=1 es el polo de la función zeta; los puntos negros en el eje …   Wikipedia Español

  • Función meromorfa — En análisis complejo, una función meromorfa sobre un subconjunto abierto D del plano complejo es una función que es holomorfa en todo D excepto en un conjunto de puntos aislados, llamados polos de la función. (La terminología viene del Griego… …   Wikipedia Español

  • Función armónica — En matemáticas, sea f : D → R (donde D es un subconjunto abierto de Rn) una función real de n variables, se la llama armónica en D si sobre D tiene derivadas parciales continuas de primer y segundo orden y satisfacen la ecuación de Laplace… …   Wikipedia Español

  • Función exponencial — Funciones exponenciales Gráfica de Funciones exponenciales Definición …   Wikipedia Español

  • 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… …   Wikipedia Español

  • Función eta de Dedekind — No debe confundirse con función zeta de Dedekind o función eta de Dirichlet. Función eta de Dedekind representada en el plano complejo. La función eta de Dedekind o simplemente función η de Dedekind, nombrada así en honor al matemático… …   Wikipedia Español

  • Función Z — En matemática, la función Z es una función usada para el estudio de la función zeta de Riemann a lo largo de la recta crítica, donde la parte real del argumento es 1/2. Es también llamada función Z de Riemann Siegel o función zeta de Hardy.[1]… …   Wikipedia Español

  • Función entera — Una funcion se dice que es entera si es una holomorfa en todo el plano complejo. Es decir que para cada , existen una bola tal que para todo , tenemos que se puede escribir como una serie de potencias en . En símbolos tal que implica que , donde… …   Enciclopedia Universal

  • holomorfa — ► adjetivo MATEMÁTICAS Díc. de la función de variable compleja que es analítica y que está definida en un conjunto abierto y conexo …   Enciclopedia Universal

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”