Funciones Holomorfas

Una función holomorfa es aquella que es diferenciable en un conjunto abierto; esta única condición obliga a que la función sea analítica, infinitamente diferenciable y localmente representable por una serie de potencias convergente.

Definition

Una función de una variable compleja es holomorfa en un conjunto abierto si tiene una derivada compleja en cada punto de ese conjunto; equivalentemente, es analítica allí, lo que significa que es localmente la suma de una serie de potencias convergente.

Scope

Este tema abarca la diferenciabilidad compleja y las ecuaciones de Cauchy-Riemann, la equivalencia de holomorfía y analiticidad, las representaciones en series de potencias, la relación con las funciones armónicas, los principios de identidad y del módulo máximo, las funciones enteras y el teorema de Liouville, y la clasificación de ceros y singularidades aisladas.

Core questions

• ¿Por qué la existencia de una derivada compleja impone las ecuaciones de Cauchy-Riemann?
• ¿Por qué toda función holomorfa es automáticamente analítica e infinitamente diferenciable?
• ¿Cómo se restringen las partes real e imaginaria de una función holomorfa para que sean armónicas?
• ¿Qué tipos de singularidades puede tener una función holomorfa y cómo se clasifican?

Key theories

Ecuaciones de Cauchy-Riemann

La diferenciabilidad compleja es equivalente a que las partes real e imaginaria satisfagan un par acoplado de ecuaciones diferenciales parciales, lo que obliga a que cada parte sea armónica y vincula el análisis complejo con la teoría del potencial.

Principios del módulo máximo y de identidad

Una función holomorfa no constante no alcanza un máximo interior de su módulo, y dos funciones holomorfas que coinciden en un conjunto con un punto límite coinciden en todas partes en un dominio conectado, lo que expresa la rigidez de las funciones holomorfas.

Teorema de Liouville

Una función entera acotada es constante, una consecuencia de las estimaciones de Cauchy que produce una prueba corta del teorema fundamental del álgebra.

Clinical relevance

Dado que las partes real e imaginaria de una función holomorfa son armónicas, las funciones holomorfas modelan fenómenos bidimensionales de estado estacionario, como los potenciales electrostáticos y el flujo de fluidos ideales, y las propiedades de rigidez las hacen potentes en la teoría de números, la teoría de funciones especiales y la continuación analítica de transformadas.

History

El papel definitorio de las ecuaciones de Cauchy-Riemann fue reconocido por Cauchy y Riemann a mediados del siglo XIX, mientras que Weierstrass desarrolló el punto de vista equivalente de las series de potencias. Su trabajo combinado estableció que la diferenciabilidad compleja y la analiticidad coinciden.

Key figures

• Augustin-Louis Cauchy
• Bernhard Riemann
• Karl Weierstrass

Seminal works

• ahlfors1979
• conway1978

Frequently asked questions

¿Son lo mismo holomorfa y analítica?

Para funciones de una variable compleja son equivalentes: la diferenciabilidad compleja en un conjunto abierto, llamada holomorfía, es exactamente la condición de que la función sea localmente una serie de potencias convergente, llamada analiticidad.

¿Por qué una función holomorfa no puede tener un máximo local de su tamaño dentro de una región?

El principio del módulo máximo se deriva de la propiedad del valor medio de las funciones armónicas; el módulo solo puede alcanzar su valor más grande en el contorno a menos que la función sea constante.