Función holomorfa
La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la
versión revisada el 20 de junio de 2022; las comprobaciones requieren
4 ediciones .
Una función holomorfa o una función analítica compleja de un solo valor (del griego ὅλος - "todo, todo" y μορφή - "forma"), a veces llamada función regular - una función de una variable compleja , definida en un subconjunto abierto de la plano complejo y complejo diferenciable en cada punto.
![\matemáticas {C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
A diferencia del caso real, esta condición significa que la función es infinitamente derivable y se puede representar mediante una serie de Taylor convergente a ella .
Las funciones holomorfas también se denominan a veces analíticas , aunque el segundo concepto es mucho más amplio, ya que una función analítica puede tener varios valores y también puede considerarse para números reales .
Definición
Sea un subconjunto abierto de y sea una función de valores complejos en . Se dice que una función es holomorfa en el conjunto si se cumple una de las siguientes condiciones equivalentes:
![tu](https://wikimedia.org/api/rest_v1/media/math/render/svg/458a728f53b9a0274f059cd695e067c430956025)
![\matemáticas {C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
![f:U\to {\mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0a9baac865b214fba8fce6842fb374f7e740361)
![tu](https://wikimedia.org/api/rest_v1/media/math/render/svg/458a728f53b9a0274f059cd695e067c430956025)
![tu](https://wikimedia.org/api/rest_v1/media/math/render/svg/458a728f53b9a0274f059cd695e067c430956025)
- La función tiene una derivada compleja en cada punto del conjunto , es decir, el límite
![tu](https://wikimedia.org/api/rest_v1/media/math/render/svg/458a728f53b9a0274f059cd695e067c430956025)
![{\displaystyle f'(z)=\lim _{h\to 0}{\frac {f(z+h)-f(z)}{h)).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ba0de657dac2b3a29ff6c981ae36466ee732ed4)
- La función es derivable compleja en todo punto , es decir, existe un número tal que en una vecindad del punto
![{\ estilo de visualización z \ en U}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60ddfa0dda66703a57db65136203350c952e1feb)
![{\displaystyle L\en \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/61fdf721ef1f9cdba745e9e7c07a2b78dbb73c30)
![{\ estilo de visualización f (z + h) = f (z) + Lh + o (h)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28d17ce60b4315f63efdeee71cee9780e2e09e97)
- La función es real-diferenciable y las condiciones de Cauchy-Riemann y se cumplen en cada punto Aquí y son las partes real e imaginaria de la función bajo consideración.
![{\displaystyle {\frac {\parcial u}{\parcial x))={\frac {\parcial v}{\parcial y))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f13846b6da38e7b6446fe509e1784a93f4b6472b)
![{\frac {\u parcial}{\y parcial}}=-{\frac {\v parcial}{\x parcial}}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/222c51bed74d29713303156cf47a029e65e5060d)
![tu(z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/10bbd250e62d7bc323b96b0719e29be7f227beb1)
![v(z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/7079b24d1daefdf8f5e1b35292032a3bf64968c0)
- La función es diferenciable real y en cada punto , donde .
![{\displaystyle {\frac {\parcial f}{\parcial {\bar {z))))=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4afe340d0d86658b6564e5d1e7a441f31dadc612)
![{\frac {\parcial }{\parcial {\bar z))}={1 \over 2}\left({\frac {\parcial }{\parcial x))+i{\frac {\parcial }{ \parcial y}}\derecha),](https://wikimedia.org/api/rest_v1/media/math/render/svg/5471013f2ea4c3d270ae2829c7cfb4eb4eede501)
- La serie de Taylor de la función en cada punto tiene un radio de convergencia distinto de cero, y su suma es igual en alguna vecindad a .
![{\ estilo de visualización z \ en U}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60ddfa0dda66703a57db65136203350c952e1feb)
![f(z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8dd568d570b390c337c0a911f0a1c5c214e8240)
![z](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf368e72c009decd9b6686ee84a375632e11de98)
- La función es continua e integral para cualquier curva cerrada .
![\int \limites _{\Gamma}\,f(z)\,dz=0](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6dea3dcfab655a38b77a7a07bea72db67d0d69b)
![{\ estilo de visualización \ gamma \ subconjunto U}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7864ab0d130751bfc90869945b62a15d89068ac)
El hecho de que todas estas definiciones sean equivalentes es un resultado no trivial y bastante notable de un análisis complejo.
Se dice que una función es holomorfa en un punto si es holomorfa en alguna vecindad .
![z_{0}\en U](https://wikimedia.org/api/rest_v1/media/math/render/svg/fda199ea9aa9cfb9f0e3d11e65206620e7041a15)
![z_{0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e72d1d86e86355892b39b8eb32b964834e113bf)
Una función se llama holomorfa si es diferenciable compleja en su dominio.
![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
Definiciones relacionadas
Propiedades
y las derivadas parciales son continuas.
- La suma y el producto de funciones holomorfas es una función holomorfa, que se sigue de la linealidad de la diferenciación y del cumplimiento de la regla de Leibniz. El cociente de funciones holomorfas también es holomorfa en todos los puntos donde el denominador no desaparece.
- La derivada de una función holomorfa es nuevamente holomorfa, por lo que las funciones holomorfas son infinitamente diferenciables en su dominio de definición.
- Las funciones holomorfas se pueden representar como convergentes en alguna vecindad de cada punto de la serie de Taylor .
- De cualquier función holomorfa se pueden distinguir sus partes real e imaginaria, cada una de las cuales será una solución a la ecuación de Laplace en . Es decir, si es una función holomorfa, entonces y son funciones armónicas .
![\matemáticas {R} ^{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e150115ab9f63023215109595b76686a1ff890fd)
![f(x+iy)=u(x,\;y)+iv(x,\;y)](https://wikimedia.org/api/rest_v1/media/math/render/svg/39b7da6fb308b969abe5c6d4432eb491ed0850ff)
![tu](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3e6bb763d22c20916ed4f0bb6bd49d7470cffd8)
![v](https://wikimedia.org/api/rest_v1/media/math/render/svg/e07b00e7fc0847fbd16391c778d65bc25c452597)
- Si el valor absoluto de una función holomorfa alcanza un máximo local en un punto interior de su dominio, entonces la función es constante (se supone que el dominio es conexo). De ahí se sigue que el máximo (y el mínimo, si no es igual a cero) del valor absoluto de la función holomorfa sólo se puede alcanzar en la frontera del dominio.
- En una región donde la primera derivada de una función holomorfa no se anula y la función es univalente , realiza un mapeo conforme .
- La fórmula integral de Cauchy relaciona el valor de una función en un punto interior de una región con sus valores en el límite de esta región.
- Desde un punto de vista algebraico, el conjunto de funciones holomorfas en un conjunto abierto es un anillo conmutativo y un espacio lineal complejo . Es un espacio vectorial topológico localmente convexo con seminorma igual al supremo en subconjuntos compactos.
- Según el teorema de Weierstrass , si una serie de funciones holomorfas en un dominio converge uniformemente en cualquier conjunto compacto entonces su suma también es holomorfa, y su derivada es el límite de las derivadas de sumas parciales de la serie [1] .
![D](https://wikimedia.org/api/rest_v1/media/math/render/svg/f34a0c600395e5d4345287e21fb26efd386990e6)
![D,](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab9cb9bd7fcb5f2a543b128c1b876019b158c0fc)
- Si en el dominio no desaparece, entonces será holomorfo en .
![f'(z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/6649b7c907c78aeaff76ce9e5be30e982e34d0f4)
![GRAMO](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![f^{{-1}}(z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/8053d85b2cab33b923c697dfcdb95bb2f48894f7)
![GRAMO](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
Algunas propiedades de las funciones holomorfas están cerca de las propiedades de los polinomios , lo que, sin embargo, no es sorprendente: la descomposición de las funciones holomorfas en la serie de Taylor indica que las funciones son, de alguna manera, variantes limitantes de los polinomios. Supongamos, de acuerdo con el teorema fundamental del álgebra , que cualquier polinomio puede tener ceros no más que su grado. Para las funciones holomóficas, se cumple una afirmación similar, que se sigue del teorema de unicidad en una forma alternativa:
- Si el conjunto de ceros de una función holomorfa en un dominio simplemente conexo tiene un punto límite en este dominio , entonces la función es idénticamente igual a cero.
- Para una función de varias variables reales, la diferenciabilidad con respecto a cada una de las variables no es suficiente para que la función sea derivable. Para una función de varias variables complejas, ser holomorfa en cada una de las variables es suficiente para que la función sea holomorfa ( teorema de Hartogs ).
Ejemplos
Todos los polinomios en z son funciones holomorfas en todo el plano .
![\matemáticas {C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
Además, holomorfas, aunque no en todo el plano complejo, son funciones racionales , funciones exponenciales , logaritmos , funciones trigonométricas , funciones trigonométricas inversas y muchas otras clases de funciones, así como sumas, diferencias, productos, funciones holomorfas parciales.
Ejemplos de funciones no holomorfas en include
![\matemáticas {C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
,
,
ya que no tienen derivada compleja en ningún punto. En este caso, la restricción al eje real será una función analítica de la variable real (ya que coincide completamente con la restricción de la función ).
![f(z)=\sobrelínea {z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75311667f3ed9db08d4f87510c37e372a2c87d3b)
![{\ estilo de visualización f (z) = z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a47d2cd0ea040d1b1af7532f5321ed581026e61f)
Historia
El término "función holomorfa" fue introducido por dos estudiantes de Cauchy , Brio ( 1817 - 1882 ) y Bouquet ( 1819 - 1895 ), y proviene de las palabras griegas őλoς ( holos ), que significa "todo", y μorφń (morfe ) . - forma, imagen. [2]
Hoy en día, muchos matemáticos prefieren el término "función holomorfa" en lugar de "función analítica", ya que este último concepto se utiliza para un caso más general. Además, uno de los resultados importantes del análisis complejo es que cualquier función holomorfa es analítica , lo cual no es obvio a partir de la definición. El término "analítico" se suele utilizar para el caso más general, cuando las funciones no se dan necesariamente en el plano complejo.
Variaciones y generalizaciones
Caso multidimensional
También hay una definición de la holomorfia de funciones de varias variables complejas.
Para la definición se utilizan los conceptos de -diferenciabilidad y -linealidad de tales funciones
![{\ estilo de visualización \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
![{\ estilo de visualización \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
C-linealidad
Una función se llama -lineal si se cumplen las siguientes condiciones:
![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![{\ estilo de visualización \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
.
![{\displaystyle f(\lambda z)=\lambda f(z),\quad z\in \mathbb {C} ^{n},\quad \lambda \in \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f844b2155a178df5aef7566941726cbb15f99361)
(para funciones lineales ).
![\matemáticas {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
![\lambda \in \mathbb{R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b87bc1622689bc998795834cd65eecdb4955a785)
- Para cualquier función lineal , hay secuencias tales que .
![\matemáticas {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
![{\displaystyle \{a_{n}\},\;\{b_{n}\}\subconjunto \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c023ea129b4d2abe15b55f0587e2b99106f3fbe5)
![f=\sum_{{i=1}}^{{n}}(a_{i}z_{i}+b_{i}{\bar z}_{i})](https://wikimedia.org/api/rest_v1/media/math/render/svg/7476b6cdb08db78c3a12bec92068d4e491941b84)
- Para cualquier función lineal , existe una sucesión tal que .
![{\ estilo de visualización \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
![{\displaystyle \{a_{n}\}\subconjunto \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/df98a2414da08fddb5cca9c7506806cc92b0ca25)
![f=\sum_{{i=1}}^{{n}}a_{i}z_{i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/879bd927d455d5552159377029b36f0a961f8418)
C-diferenciabilidad
Una función se llama -diferenciable en un punto si existen funciones y tales que en una vecindad del punto![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![{\ estilo de visualización \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
![{\displaystyle z\in \mathbb {C} ^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/977ed3d7cb322555a0d9266b40f2cf50ae26d7f2)
![yo](https://wikimedia.org/api/rest_v1/media/math/render/svg/829091f745070b9eb97a80244129025440a1cfac)
![o](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c1031f61947aa3d1cf3a70ec3e4904df2c3675d)
donde es la función -lineal (para -diferenciabilidad - -lineal).
![yo](https://wikimedia.org/api/rest_v1/media/math/render/svg/829091f745070b9eb97a80244129025440a1cfac)
![{\ estilo de visualización \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
![\matemáticas {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
![\matemáticas {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
Holomorfismo
Se dice que una función es holomorfa en un dominio si es diferenciable en una vecindad de cada punto en ese dominio.
![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![D,](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab9cb9bd7fcb5f2a543b128c1b876019b158c0fc)
![{\ estilo de visualización \ mathbb {C}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9add4085095b9b6d28d045fd9c92c2c09f549a7)
Cuasianalítica
Notas
- ↑ A. V. Domrin, A. G. Sergeev. Conferencias sobre análisis complejo. Primer medio año. - M .: MIAN, 2004. - S. 79. - ISBN 5-98419-007-9 .
- ↑ Markushevich AI, Silverman, Richard A. (ed.) Teoría de funciones de una variable compleja. - M .: Sociedad Matemática Americana , 2ª ed. - ISBN 0-8218-3780-X , [1] Archivado el 13 de noviembre de 2012 en Wayback Machine .
Literatura
- Función holomorfa // Diccionario Enciclopédico de Brockhaus y Efron : en 86 volúmenes (82 volúmenes y 4 adicionales). - San Petersburgo. , 1890-1907.
- Shabat BV Introducción al análisis complejo. — M .: Nauka , 1969 . — 577 pág.
- Titchmarsh E. Teoría de funciones: Per. De inglés. - 2ª ed., revisada. — M .: Nauka , 1980 . — 464 pág.
- Privalov II Introducción a la teoría de funciones de variable compleja: un manual para la educación superior. - M. - L .: Editorial Estatal, 1927 . — 316 pág.
- Evgrafov M. A. Funciones analíticas. - 2ª ed., revisada. y adicional — M .: Nauka , 1968 . — 472 pág.
- Blakey, Joseph. Matemática Universitaria (neopr.) . — 2do. — Londres: Blackie and Sons, 1958.
Enlaces
diccionarios y enciclopedias |
|
---|
En catálogos bibliográficos |
---|
|
|