Analiticidad de funciones holomorfas
En análisis complejo , una función de una variable compleja se llama
![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
Uno de los resultados más importantes del análisis complejo es el teorema de que las funciones holomorfas son analíticas . Las consecuencias de este teorema incluyen, entre otros, los siguientes resultados:
- teorema de unicidad: dos funciones holomorfas cuyos valores coinciden en todo punto del conjunto (que tiene un punto límite dentro de la intersección de los dominios de las funciones) también coinciden en cualquier subconjunto abierto conexo de sus dominios que contiene .
![S](https://wikimedia.org/api/rest_v1/media/math/render/svg/4611d85173cd3b508e67077d4a1252c9c05abca2)
![S](https://wikimedia.org/api/rest_v1/media/math/render/svg/4611d85173cd3b508e67077d4a1252c9c05abca2)
- dado que una serie de potencias es infinitamente diferenciable, la función holomorfa correspondiente también es infinitamente diferenciable (en contraste con el caso de una función real diferenciable).
- el radio de convergencia siempre coincide con la distancia del centro a al punto singular más cercano . Si no hay ninguno (es decir, si es una función completa ), entonces el radio de convergencia es igual a infinito.
![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
- una función holomorfa completa no puede ser finita, es decir, no puede tener como soporte (compacto) un subconjunto abierto conexo del plano complejo .
Prueba
La prueba, propuesta por primera vez por Cauchy, se basa en la fórmula integral de Cauchy y en una expansión en serie de potencias de la expresión
Denotemos un disco abierto centrado en . Suponga que es diferenciable en todas partes en una vecindad abierta de la clausura . Denotemos un círculo orientado positivamente que es el límite de , y sea a un punto en . Partiendo de la fórmula integral de Cauchy, se puede escribir
![D](https://wikimedia.org/api/rest_v1/media/math/render/svg/f34a0c600395e5d4345287e21fb26efd386990e6)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![D](https://wikimedia.org/api/rest_v1/media/math/render/svg/f34a0c600395e5d4345287e21fb26efd386990e6)
![C](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fc55753007cd3c18576f7933f6f089196732029)
![D](https://wikimedia.org/api/rest_v1/media/math/render/svg/f34a0c600395e5d4345287e21fb26efd386990e6)
![z](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf368e72c009decd9b6686ee84a375632e11de98)
![D](https://wikimedia.org/api/rest_v1/media/math/render/svg/f34a0c600395e5d4345287e21fb26efd386990e6)
La permutación de las operaciones de integración y suma infinita es válida, ya que la expresión está limitada por alguna constante positiva para cualquier on , mientras que la desigualdad
![METRO](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![w](https://wikimedia.org/api/rest_v1/media/math/render/svg/88b1e0c8e1be5ebe69d18a8010676fa42d7961e6)
![C](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fc55753007cd3c18576f7933f6f089196732029)
también es válido para algunos positivos . De este modo,
![C](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fc55753007cd3c18576f7933f6f089196732029)
![r](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d1ecb613aa2984f0576f70f86650b7c2a132538)
en _ La serie converge uniformemente según el criterio de convergencia de Weierstrass , lo que significa que los signos de la suma y la integral se pueden reorganizar.
![C](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fc55753007cd3c18576f7933f6f089196732029)
![C](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fc55753007cd3c18576f7933f6f089196732029)
Como la expresión no depende de la variable, se puede sacar del signo integral:
![{\ estilo de visualización (za) ^ {n})](https://wikimedia.org/api/rest_v1/media/math/render/svg/b144becee372ff4a7f83b4a6416aa2cbcad0a07b)
![{\displaystyle f(z)=\sum _{n=0}^{\infty}(za)^{n}{1 \over 2\pi i}\int _{C}{f(w) \over (wa)^{n+1}}\,\mathrm {d} w}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd321e513538657e5e5f3a6ab803751662e27944)
.
Por lo tanto, la expansión de la función toma la forma deseada de una serie de potencias de :
![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![z](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf368e72c009decd9b6686ee84a375632e11de98)
con coeficientes
Notas
- Dado que las series de potencias se pueden derivar término a término, el razonamiento anterior se puede aplicar a la inversa a la expansión en serie de la expresión
![{\displaystyle {\frac {1}{(wz)^{n+1))))](https://wikimedia.org/api/rest_v1/media/math/render/svg/7097ce2d71396ecb80090c3d770a7302015d52d9)
,
obteniendo así
Esta es la fórmula integral de Cauchy para derivadas. Así, la serie de potencias anterior es la
serie de Taylor de la función .
- La prueba es válida sólo si el punto está más cerca del centro del disco que de cualquier punto singular . Por lo tanto, el radio de convergencia de la serie de Taylor no puede ser menor que la distancia desde el punto singular más cercano de la función. (Obviamente, el radio tampoco puede ser mayor que esta distancia, ya que la serie de potencias no tiene puntos singulares dentro de sus radios de convergencia).
![z](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf368e72c009decd9b6686ee84a375632e11de98)
![D](https://wikimedia.org/api/rest_v1/media/math/render/svg/f34a0c600395e5d4345287e21fb26efd386990e6)
![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
- Un caso especial del teorema de la identidad La observación anterior implica un caso especial del teorema de la unicidad de una función holomorfa. Si dos funciones holomorfas coinciden en una vecindad abierta (posiblemente muy pequeña) del punto , entonces también coinciden en el disco abierto , donde es la distancia desde el punto singular más cercano.
![tu](https://wikimedia.org/api/rest_v1/media/math/render/svg/458a728f53b9a0274f059cd695e067c430956025)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)
![{\ Displaystyle B_ {d} (a)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fcd1505819b1ab3d09ead89d24c0ea93281fc9df)
![d](https://wikimedia.org/api/rest_v1/media/math/render/svg/e85ff03cbe0c7341af6b982e47e9f90d235c66ab)
![a](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffd2487510aa438433a2579450ab2b3d557e5edc)