Función holomorfa
Las funciones holomorfas son el principal objeto de estudio del análisis complejo; son funciones que se definen sobre un subconjunto del plano complejo y con valores en , que son complejo-diferenciables en algún entorno de un punto de su dominio. En este caso se dice que la función es holomorfa en ese punto.[1] Si la función es holomorfa en cada punto de su dominio, se dice que es holomorfa en su dominio. 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.
![](http://178.128.105.246/cars-http-upload.wikimedia.org/wikipedia/commons/thumb/3/33/Gamma_abs_3D.png/220px-Gamma_abs_3D.png)
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 solo diferenciable en a, sino diferenciable en todo un disco abierto centrado en a, en el plano complejo.[2]
Las funciones holomorfas también se denominan a veces funciones regulares. Una función holomorfa cuyo dominio es todo el plano complejo se denomina función entera. La frase "holomorfa en un punto z0" significa no sólo diferenciable en z0, sino diferenciable en todas partes dentro de alguna vecindad de z0 en el plano complejo.[3]
Definición
editarDada una función de valor complejo f de una sola variable compleja, la derivada de f en un punto z0 de su dominio se define como el límite.[4]
La definición/función es la siguiente:
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.
Una función es holomorfa en un conjunto abierto U si es diferenciable compleja en cada punto de U. Una función f es holomorfa en un punto z0 si es holomorfa en alguna vecindad de z0.[5] Una función es holomorfa en algún conjunto no abierto A si es holomorfa en cada punto de A.
Una función puede ser diferenciable compleja en un punto pero no holomorfa en ese punto. Por ejemplo, la función es diferenciable compleja en 0, pero no diferenciable compleja en otro lugar (véase las ecuaciones de Cauchy-Riemann, más adelante). Por lo tanto, es no holomorfa en 0.
Si f es complejo-diferenciable y las derivadas son continuas en cada punto z0 en U, se dice 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 es holomorfa y su derivada vale:
La relación entre la diferenciabilidad real y la diferenciabilidad compleja es la siguiente: Si una función compleja f(x + i y) = u(x, y) + i v(x, y) es holomorfa, entonces u y v tienen primeras derivadas parciales con respecto a x y y, y satisfacen las ecuaciones de Cauchy-Riemann:[6]
o, equivalentemente, la derivada de Wirtinger de f con respecto a el complejo conjugado de es cero:[7]
lo que equivale a decir que, aproximadamente, f es funcionalmente independiente de el complejo conjugado de z.
Si no se da continuidad, la inversa no es necesariamente cierta. Una simple inversa es que si u y v tienen primeras derivadas parciales continuas y satisfacen las ecuaciones de Cauchy-Riemann, entonces f es holomorfa. Un inverso más satisfactorio, que es mucho más difícil de demostrar, es el Teorema de Looman-Menchoff: si f es continua, u y v tienen primeras derivadas parciales (pero no necesariamente continuas), y satisfacen las ecuaciones de Cauchy-Riemann, entonces f es holomorfa.[8]
Terminología
editarEl término holomorfo fue introducido en 1875 por Charles Briot y Jean-Claude Bouquet, dos de los alumnos de Augustin-Louis 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órfica derivado de μέρος (méros) que significa "parte". Una función holomorfa se asemeja a una función entera ("entera") en un dominio del plano complejo mientras que una función meromorfa (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.[9]
Ejemplos
editarTodas 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 : 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
editar- Como la diferenciación compleja es lineal y cumple las mismas reglas del producto, del cociente y de la cadena que en el caso real, se tiene que las sumas, productos, composiciones de funciones holomorfas son también holomorfas, y el cociente de dos funciones holomorfas lo será donde el denominador sea distinto de cero. Esto es, si son holomorfas en un abierto , también lo son y . Además, es holomorfa siempre y cuando no tenga ceros en ; en otro caso es meromorfa.
- Toda 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. Es decir, toda función holomorfa es analítica. 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.
- 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.
- Toda función holomorfa puede separarse en sus partes real e imaginaria f(x + i y) = u(x, y) + i v(x, y)}, y cada una de ellas es una función armónica en R2 (cada una satisface la ecuación de Laplace ∇2 u = ∇2 v = 0), siendo v el conjugado armónico de u.[10] Recíprocamente, toda función armónica u(x, y) sobre un dominio simplemente conexo Ω ⊂ R2 es la parte real de una función holomorfa: si v es el conjugado armónico de u, único salvo por una constante, entonces f(x + i y) = u(x, y) + i v(x, y) es holomorfa.
- El teorema integral de Cauchy afirma 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.[11]
Aquí γ es cualquier camino rectificable en un dominio complejo simplemente conexo U ⊂ C cuyo punto inicial es igual a su punto final, y f : U → C es una función holomorfa.
- La fórmula integral de Cauchy afirma que toda función holomorfa en el interior de un disco está completamente determinada por sus valores en la frontera del disco.[11] Es más, tenemos una fórmula explícita de cómo la determina: supongamos que U ⊂ C es un abierto del plano complejo, f : U → C es una función holomorfa y el disco cerrado D = {z : |z − z0| ≤ r} está completamente contenido en U. Sea γ el círculo que forma la frontera de D. Entonces, para cada a en el interior de D:
donde la integral de contorno se toma en sentido contrario a las agujas del reloj.
- La derivada f′(a) puede escribirse como una integral de contorno[11] utilizando la fórmula integral de Cauchy:
para cualquier bucle simple que se enrolle positivamente una vez alrededor de a, y
para bucles infinitesimales positivos γ alrededor de a.
- En 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.[12]
- Desde un punto de vista algebraico, el conjunto de funciones holomorfas sobre un conjunto abierto es un anillo conmutativo y un espacio vectorial complejo. Además, el conjunto de funciones holomorfas en un conjunto abierto U es un dominio integral si y sólo si el conjunto abierto U es conexo.[7] De hecho, es un espacio vectorial topológico localmente convexo, siendo la seminorma la suprema en un subconjunto compacto.
- Desde una perspectiva geométrica, una función f es holomorfa en z0 si y sólo si su derivada exterior df en una vecindad U de z0 es igual a f′(z) dz para alguna función continua f′. Se deduce de
que df′ también es proporcional a dz, lo que implica que la derivada f′ es a su vez holomorfa y, por tanto, que f es infinitamente diferenciable. Análogamente, d(f dz) = f′ dz ∧ dz = 0 implica que cualquier función f que sea holomorfa en la región simplemente conexa U es también integrable en U.
(Para un camino γ de z0 a z enteramente en U, definir a la luz del teorema de la curva de Jordan y del teorema de Stokes generalizado, Fγ(z) es independiente de la elección particular de la trayectoria γ, y por tanto F(z) es una función bien definida sobre U teniendo F(z0) = F0 y dF = f dz. )
Véase también
editarReferencias
editar- ↑ «20 "Funciones Analíticas"». VARIABLE COMPLEJA Y APLICACIONES (en castellano (Existe versiones en otros idiomas)). p. 64n. ISBN 84-7615-730-4.
- ↑ Analytic functions of one complex variable, Encyclopedia of Mathematics. (European Mathematical Society ft. Springer, 2015)
- ↑ Función analítica.
- ↑ Ahlfors, L., Complex Analysis, 3 ed. (McGraw-Hill, 1979).
- ↑ Peter Ebenfelt, Norbert Hungerbühler, Joseph J. Kohn, Ngaiming Mok, Emil J. Straube (2011) Complex Analysis Springer Science & Business Media
- ↑ Markushevich, A. I., Theory of Functions of a Complex Variable (Prentice-Hall, 1965). [Tres volúmenes.]
- ↑ a b Gunning, Robert C.; Rossi, Hugo (1965). Analytic Functions of Several Complex Variables. Prentice-Hall series in Modern Analysis. Englewood Cliffs, N.J.: Prentice-Hall. pp. xiv+317. ISBN 9780821869536. MR 0180696. Zbl 0141.08601.
- ↑ Gray, J. D.; Morris, S. A. (1978), «When is a Function that Satisfies the Cauchy-Riemann Equations Analytic?», The American Mathematical Monthly (April 1978) 85 (4): 246-256, JSTOR 2321164..
- ↑ Los términos originales en francés eran holomorphe y méromorphe.Briot, Charles Auguste; Bouquet, Jean-Claude (1875). «§15 fonctions holomorphes». Théorie des fonctions elliptiques (2nd edición). Gauthier-Villars. pp. 14-15. «Cuando una función es continua, monótropa y tiene una derivada, cuando la variable se mueve en una cierta parte del plano, diremos que es holomorfa en esta parte del plano. Indicamos con esta denominación que es semejante a las funciones enteras que gozan de estas propiedades en toda la extensión del plano. [¶ Una fracción racional tiene como polos las raíces del denominador; es una función holomorfa en cualquier parte del plano que no contenga ninguno de sus polos. ¶ Cuando una función es holomorfa en una parte del plano, excepto en ciertos polos, decimos que es meromorfa en esa parte del plano, es decir, semejante a las fracciones racionales. [Cuando una función es continua, monotrópica, y tiene una derivada, cuando la variable se mueve en cierta parte del plano, decimos que es holomorfa en esa parte del plano. Queremos decir con este nombre que se parece a función enteras que gozan de estas propiedades en toda la extensión del plano. [...] ¶ Una fracción racional admite como polos los raíces del denominador; es una función holomorfa en toda aquella parte del plano que no contiene ningún polo. ¶ Cuando una función es holomorfa en parte del plano, excepto en ciertos polos, decimos que es meromorfa en esa parte del plano, es decir se parece a las fracciones racionales.]»
Harkness, James; Morley, Frank (1893). «5. Integration». A Treatise on the Theory of Functions. Macmillan. p. 161. - ↑ Evans, Lawrence C. (1998), Ecuaciones diferenciales parciales, American Mathematical Society..
- ↑ a b c Lang, Serge (2003), Complex Analysis, Springer Verlag GTM, Springer Verlag.
- ↑ Rudin, Walter (1987), Real and complex analysis (3rd edición), New York: McGraw–Hill Book Co., ISBN 978-0-07-054234-1, MR 924157.
Bibliografía
editar- Weisstein, Eric W. «Holomorphic function». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.