stringtranslate.com

Función holomorfa

Una cuadrícula rectangular (arriba) y su imagen bajo un mapa conforme ( abajo ).

En matemáticas , una función holomorfa es una función de valor complejo de una o más variables complejas que es compleja diferenciable en un entorno de cada punto en un dominio en el espacio de coordenadas complejo . La existencia de una derivada compleja en un entorno es una condición muy fuerte: implica que una función holomorfa es infinitamente diferenciable y localmente igual a su propia serie de Taylor (es analítica ). Las funciones holomorfas son los objetos centrales de estudio en el análisis complejo .

Aunque el término función analítica se utiliza a menudo indistintamente con el de "función holomorfa", la palabra "analítica" se define en un sentido más amplio para denotar cualquier función (real, compleja o de tipo más general) que pueda escribirse como una serie de potencias convergentes en un entorno de cada punto de su dominio . Que todas las funciones holomorfas son funciones analíticas complejas, y viceversa, es un teorema importante en el análisis complejo . [1]

Las funciones holomorfas también se denominan a veces funciones regulares . [2] Una función holomorfa cuyo dominio es todo el plano complejo se llama función completa . La frase "holomorfa en un punto ⁠ ⁠ " significa no solo diferenciable en ⁠ ⁠ , sino diferenciable en todas partes dentro de algún entorno cercano de ⁠ ⁠ en el plano complejo.

Definición

La función ⁠ ⁠ no es compleja \diferenciable en cero, porque como se muestra arriba, el valor de ⁠ ⁠ varía dependiendo de la dirección desde la que se aproxima a cero. Solo en el eje real, ⁠ ⁠ es igual a la función ⁠ ⁠ y el límite es ⁠ ⁠ , mientras que solo a lo largo del eje imaginario, ⁠ ⁠ es igual a la función diferente ⁠ ⁠ y el límite es ⁠ ⁠ . Otras direcciones producen otros límites.

Dada una función de valor complejo de una única variable compleja, la derivada de en un punto de su dominio se define como el límite [3]

Esta es la misma definición que para la derivada de una función real , excepto que todas las cantidades son complejas. En particular, el límite se toma como el número complejo ⁠ ⁠ que tiende a ⁠ ⁠ , y esto significa que se obtiene el mismo valor para cualquier secuencia de valores complejos para ⁠ ⁠ que tiende a ⁠ ⁠ . Si existe el límite, se dice que ⁠ ⁠ es compleja diferenciable en ⁠ ⁠ . Este concepto de diferenciabilidad compleja comparte varias propiedades con la diferenciabilidad real : es lineal y obedece a la regla del producto , la regla del cociente y la regla de la cadena . [4]

Una función es holomorfa en un conjunto abierto ⁠ ⁠ si es compleja diferenciable en cada punto de ⁠ ⁠ . Una función ⁠ ⁠ es holomorfa en un punto ⁠ ⁠ si es holomorfa en algún entorno de ⁠ ⁠ . [5] Una función es holomorfa en algún conjunto no abierto ⁠ ⁠ si es holomorfa en cada punto de ⁠ ⁠ .

Una función puede ser compleja diferenciable en un punto pero no holomorfa en ese punto. Por ejemplo, la función es compleja diferenciable en , pero no es compleja diferenciable en ningún otro lugar, esp. incluyendo ningún lugar cercano a ⁠ (ver las ecuaciones de Cauchy–Riemann, a continuación). Por lo tanto, no es holomorfa en .

La relación entre diferenciabilidad real y diferenciabilidad compleja es la siguiente: Si una función compleja ⁠ ⁠ es holomorfa, entonces ⁠ ⁠ y ⁠ ⁠ tienen primeras derivadas parciales con respecto a ⁠ ⁠ y ⁠ ⁠ , y satisfacen las ecuaciones de Cauchy-Riemann : [6]

o, equivalentemente, la derivada de Wirtinger de ⁠ ⁠ con respecto a ⁠ ⁠ , el complejo conjugado de ⁠ ⁠ , es cero: [7]

lo que quiere decir que, aproximadamente, ⁠ ⁠ es funcionalmente independiente de ⁠ ⁠ , el complejo conjugado de ⁠ ⁠ .

Si no se da continuidad, la recíproca no es necesariamente cierta. Una recíproca simple es que si ⁠ ⁠ y ⁠ ⁠ tienen derivadas parciales primeras continuas y satisfacen las ecuaciones de Cauchy-Riemann, entonces ⁠ ⁠ es holomorfa. Una recíproca más satisfactoria, que es mucho más difícil de demostrar, es el teorema de Looman-Menchoff : si ⁠ ⁠ es continua, ⁠ ⁠ y ⁠ ⁠ tienen derivadas parciales primeras (pero no necesariamente continuas), y satisfacen las ecuaciones de Cauchy-Riemann, entonces ⁠ ⁠ es holomorfa. [8]

Terminología

El término holomorfo fue introducido en 1875 por Charles Briot y Jean-Claude Bouquet , dos de los estudiantes de Cauchy , y deriva del griego ὅλος ( hólos ) que significa "todo", y μορφή ( morphḗ ) que significa "forma" o "apariencia" o "tipo", en contraste con el término meromórfico derivado de μέρος ( méros ) que significa "parte". Una función holomorfa se asemeja a una función entera ("todo") en un dominio del plano complejo mientras que una función meromórfica (definida como holomorfa excepto en ciertos polos aislados ), se asemeja a una fracción racional ("parte") de funciones enteras en un dominio del plano complejo. [a] [9] [10] Cauchy había usado en cambio el término sinéctico . [b]

En la actualidad, el término "función holomorfa" se prefiere a veces al de "función analítica". Un resultado importante del análisis complejo es que toda función holomorfa es analítica compleja, un hecho que no se desprende de manera obvia de las definiciones. Sin embargo, el término "analítica" también se utiliza ampliamente.

Propiedades

Como la diferenciación compleja es lineal y obedece las reglas del producto, el cociente y la cadena, las sumas, productos y composiciones de funciones holomorfas son holomorfas, y el cociente de dos funciones holomorfas es holomorfas siempre que el denominador no sea cero. [12] Es decir, si las funciones ⁠ ⁠ y ⁠ ⁠ son holomorfas en un dominio ⁠ ⁠ , entonces también lo son ⁠ ⁠ , ⁠ ⁠ , ⁠ ⁠ , y ⁠ ⁠ . Además, ⁠ ⁠ es holomorfa si ⁠ ⁠ no tiene ceros en ⁠ ⁠ ; de lo contrario, es meromórfica .

Si uno se identifica con el plano real , entonces las funciones holomorfas coinciden con aquellas funciones de dos variables reales con derivadas primeras continuas que resuelven las ecuaciones de Cauchy-Riemann , un conjunto de dos ecuaciones diferenciales parciales . [6]

Toda función holomorfa se puede separar en sus partes real e imaginaria ⁠ ⁠ , y cada una de ellas es una función armónica en ⁠ ⁠ (cada una satisface la ecuación de Laplace ⁠ ⁠ ), con ⁠ ⁠ el conjugado armónico de ⁠ ⁠ . [13] A la inversa, toda función armónica ⁠ ⁠ en un dominio simplemente conexo ⁠ ⁠ es la parte real de una función holomorfa: Si ⁠ ⁠ es el conjugado armónico de ⁠ ⁠ , único hasta una constante, entonces ⁠ ⁠ es holomorfa.

El teorema integral de Cauchy implica que la integral de contorno de cada función holomorfa a lo largo de un bucle se desvanece: [14]

Aquí ⁠ ⁠ hay un camino rectificable en un dominio complejo simplemente conexo ⁠ ⁠ cuyo punto de inicio es igual a su punto final, y ⁠ ⁠ es una función holomorfa.

La fórmula integral de Cauchy establece que cada función holomorfa dentro de un disco está completamente determinada por sus valores en el borde del disco. [14] Además: Supóngase que ⁠ ⁠ es un dominio complejo, ⁠ ⁠ es una función holomorfa y el disco cerrado ⁠ ⁠ está completamente contenido en ⁠ ⁠ . Sea ⁠ ⁠ el círculo que forma el borde de ⁠ ⁠ . Entonces, para cada ⁠ ⁠ en el interior de ⁠ ⁠ :

donde la integral del contorno se toma en sentido antihorario .

La derivada ⁠ ⁠ se puede escribir como una integral de contorno [14] utilizando la fórmula de diferenciación de Cauchy :

para cualquier bucle simple que se enrolle positivamente una vez alrededor de ⁠ ⁠ , y

para bucles positivos infinitesimales ⁠ ⁠ alrededor ⁠ ⁠ .

En las regiones donde la primera derivada no es cero, las funciones holomorfas son conformes : preservan los ángulos y la forma (pero no el tamaño) de las figuras pequeñas. [15]

Toda función holomorfa es analítica . Es decir, una función holomorfa ⁠ ⁠ tiene derivadas de cada orden en cada punto ⁠ ⁠ de su dominio, y coincide con su propia serie de Taylor en ⁠ ⁠ en un entorno de ⁠ ⁠ . De hecho, ⁠ ⁠ coincide con su serie de Taylor en ⁠ ⁠ en cualquier disco centrado en ese punto y que se encuentre dentro del dominio de la función.

Desde un punto de vista algebraico, el conjunto de funciones holomorfas en un conjunto abierto es un anillo conmutativo y un espacio vectorial complejo . Además, el conjunto de funciones holomorfas en un conjunto abierto es un dominio integral si y solo si el conjunto abierto es conexo . [7] De hecho, es un espacio vectorial topológico localmente convexo , donde las seminormas son supremas en subconjuntos compactos .

Desde una perspectiva geométrica, una función ⁠ ⁠ es holomorfa en ⁠ ⁠ si y solo si su derivada exterior ⁠ ⁠ en un entorno ⁠ ⁠ de ⁠ ⁠ es igual a ⁠ ⁠ para alguna función continua ⁠ ⁠ . Se sigue de

que ⁠ ⁠ también es proporcional a ⁠ ⁠ , lo que implica que la derivada ⁠ ⁠ es en sí misma holomorfa y, por lo tanto, que ⁠ ⁠ es infinitamente diferenciable. De manera similar, ⁠ ⁠ implica que cualquier función ⁠ ⁠ que sea holomorfa en la región simplemente conexa ⁠ ⁠ también es integrable en ⁠ ⁠ .

(Para un camino ⁠ ⁠ de ⁠ ⁠ a ⁠ ⁠ que se encuentra completamente en ⁠ ⁠ , defina ⁠ ⁠ ; a la luz del teorema de la curva de Jordan y el teorema generalizado de Stokes , ⁠ ⁠ es independiente de la elección particular del camino ⁠ ⁠ , y por lo tanto ⁠ ⁠ es una función bien definida en ⁠ ⁠ que tiene ⁠ ⁠ o ⁠ ⁠ .

Ejemplos

Todas las funciones polinómicas en ⁠ ⁠ con coeficientes complejos son funciones enteras (holomorfas en todo el plano complejo ⁠ ⁠ ), y también lo son la función exponencial ⁠ ⁠ y las funciones trigonométricas ⁠ ⁠ y ⁠ ⁠ (cf. fórmula de Euler ). La rama principal de la función logaritmo compleja ⁠ ⁠ es holomorfa en el dominio ⁠ ⁠ . La función raíz cuadrada se puede definir como ⁠ ⁠ y, por lo tanto, es holomorfa dondequiera que esté el logaritmo ⁠ ⁠ . La función recíproca ⁠ ⁠ es holomorfa en ⁠ ⁠ . (La función recíproca, y cualquier otra función racional , es meromórfica en ⁠ ⁠ .)

Como consecuencia de las ecuaciones de Cauchy-Riemann , cualquier función holomorfa de valor real debe ser constante . Por lo tanto, el valor absoluto , el argumento , la parte real y la parte imaginaria no son holomorfas . Otro ejemplo típico de una función continua que no es holomorfa es el conjugado complejo (el conjugado complejo es antiholomorfa ) .

Varias variables

La definición de una función holomorfa se generaliza a varias variables complejas de una manera sencilla. Una función ⁠ ⁠ en ⁠ ⁠ variables complejas es analítica en un punto ⁠ ⁠ si existe un entorno de ⁠ ⁠ en el que ⁠ ⁠ es igual a una serie de potencias convergentes en ⁠ ⁠ variables complejas; [16] la función ⁠ ⁠ es holomorfa en un subconjunto abierto ⁠ ⁠ de ⁠ ⁠ si es analítica en cada punto de ⁠ ⁠ . El lema de Osgood muestra (usando la fórmula integral multivariante de Cauchy) que, para una función continua ⁠ ⁠ , esto es equivalente a ⁠ ⁠ ser holomorfa en cada variable por separado (lo que significa que si alguna de las coordenadas de ⁠ ⁠ es fija, entonces la restricción de ⁠ ⁠ es una función holomorfa de la coordenada restante). El teorema de Hartogs, mucho más profundo, demuestra que el supuesto de continuidad es innecesario: ⁠ ⁠ es holomorfa si y solo si es holomorfa en cada variable por separado.

De manera más general, una función de varias variables complejas que es integrable al cuadrado sobre cada subconjunto compacto de su dominio es analítica si y sólo si satisface las ecuaciones de Cauchy-Riemann en el sentido de distribuciones.

Las funciones de varias variables complejas son, en algunos aspectos básicos, más complicadas que las funciones de una única variable compleja. Por ejemplo, la región de convergencia de una serie de potencias no es necesariamente una esfera abierta; estas regiones son dominios de Reinhardt logarítmicamente convexos , cuyo ejemplo más simple es un polidisco . Sin embargo, también tienen algunas restricciones fundamentales. A diferencia de las funciones de una única variable compleja, los posibles dominios en los que hay funciones holomorfas que no se pueden extender a dominios más grandes son muy limitados. Un conjunto de este tipo se denomina dominio de holomorfía .

Una forma diferencial compleja es holomorfa si y solo si su derivada de Dolbeault antiholomórfica es cero :

Extensión al análisis funcional

El concepto de función holomorfa se puede extender a los espacios de dimensión infinita del análisis funcional . Por ejemplo, la derivada de Fréchet o de Gateaux se puede utilizar para definir una noción de función holomorfa en un espacio de Banach sobre el cuerpo de números complejos.

Véase también

Notas al pie

  1. ^ Los términos franceses originales eran holomorphe y méromorphe .
    Cuando una función es continua, monotrópica y una derivada, cuando la variable se mezcla en una cierta parte del plan , nous dirons qu'elle est holomorphe dans esta parte del plan. Nous indiquons par esta denominación qu'elle est semblable aux fonctions entières qui jouissent de ces propriétés dans toute l'étendue du plan. [...]
    Una fracción racional admet comme pôles les racines du dénominateur; Es una función holomorfa en toda parte del plan que no contiene ninguno de sus polos.
    Cuando una función es holomorfa en una parte del plan, excepto en ciertos polos, nous dirons qu'elle est méromorphe dans esta parte del plan, c'est-à-dire semable aux fracciones racionales. — Briot y Bouquet (1875), págs. 14-15 [9]
    [Cuando una función es continua, monotrópica y tiene derivada, cuando la variable se mueve en una determinada parte del plano , decimos que es holomorfa en esa parte del plano. Con este nombre queremos decir que se asemeja a funciones enteras que gozan de estas propiedades en toda la extensión del plano. ... ]
    [Una fracción racional admite como polos las raíces del denominador; es una función holomorfa en toda aquella parte del plano que no contiene polos.]
    [Cuando una función es holomorfa en una parte del plano, excepto en ciertos polos, decimos que es meromórfica en esa parte del plano, es decir, se parece a fracciones racionales. — Harkness & Morley (1893), p. 161 [10] ]
  2. Briot & Bouquet (1859), p. 11, también habían adoptado previamente el término sinéctico de Cauchy ( synectique en francés), en la primera edición de su libro. [11]

Referencias

  1. ^ "Funciones analíticas de una variable compleja". Enciclopedia de Matemáticas . Sociedad Matemática Europea / Springer. 2015 – vía encyclopediaofmath.org.
  2. ^ "Función analítica", Enciclopedia de Matemáticas , EMS Press , 2001 [1994] , consultado el 26 de febrero de 2021
  3. ^ Ahlfors, L. , Análisis complejo, 3.ª ed. (McGraw-Hill, 1979).
  4. ^ Henrici, P. (1986) [1974, 1977]. Análisis complejo computacional y aplicado . Wiley.Tres volúmenes, publ.: 1974, 1977, 1986.
  5. ^ Ebenfelt, Peter; Hungerbühler, Norbert; Kohn, José J.; Mok, Ngaiming; Straube, Emil J. (2011). Análisis complejo. Medios científicos y empresariales. Springer - vía Google.
  6. ^ ab Markushevich, AI (1965). Teoría de funciones de una variable compleja . Prentice-Hall.[En tres volúmenes.]
  7. ^ ab Gunning, Robert C. ; Rossi, Hugo (1965). Funciones analíticas de varias variables complejas. Análisis moderno. Englewood Cliffs, NJ: Prentice-Hall . ISBN 9780821869536. SEÑOR  0180696. Zbl  0141.08601 - vía Google.
  8. ^ Gray, JD; Morris, SA (abril de 1978). "¿Cuándo es analítica una función que satisface las ecuaciones de Cauchy-Riemann?". The American Mathematical Monthly . 85 (4): 246–256. doi :10.2307/2321164. JSTOR  2321164.
  9. ^ ab Briot, California ; Ramo, J.-C. (1875). "§15 funciones holomorfas". Théorie des fonctions elliptiques [ Teoría de las funciones elípticas ] (en francés) (2ª ed.). Gauthier-Villars. págs. 14-15.
  10. ^ ab Harkness, James ; Morley, Frank (1893). "5. Integración". Tratado sobre la teoría de funciones . Macmillan. pág. 161.
  11. ^ Briot, California ; Ramo, J.-C. (1859). "§10". Teoría de las funciones periódicas de duplicación . Mallet-Bachelier. pag. 11.
  12. ^ Henrici, Peter (1993) [1986]. Análisis complejo computacional y aplicado. Wiley Classics Library. Vol. 3 (edición reimpresa). Nueva York - Chichester - Brisbane - Toronto - Singapur: John Wiley & Sons . ISBN 0-471-58986-1. SEÑOR  0822470. Zbl  1107.30300 - vía Google.
  13. ^ Evans, LC (1998). Ecuaciones diferenciales parciales . Sociedad Matemática Americana.
  14. ^ abc Lang, Serge (2003). Análisis complejo . Springer Verlag GTM. Springer Verlag .
  15. ^ Rudin, Walter (1987). Análisis real y complejo (3.ª ed.). Nueva York: McGraw–Hill Book Co. ISBN 978-0-07-054234-1.Sr. 0924157  .
  16. ^ Gunning y Rossi. Funciones analíticas de varias variables complejas . p. 2.

Lectura adicional

Enlaces externos