Singularidad removible

Este artículo necesita citas adicionales para su verificación . Por favor, ayude a mejorar este artículo añadiendo citas de fuentes fiables . El material sin fuentes puede ser cuestionado y eliminado. Buscar fuentes:  «Singularidad removible» – noticias  · periódicos  · libros  · académico  · JSTOR ( julio de 2021 ) ( Aprenda cómo y cuándo eliminar este mensaje )

En el análisis complejo , una singularidad removible de una función holomorfa es un punto en el que la función no está definida , pero es posible redefinir la función en ese punto de tal manera que la función resultante sea regular en un entorno de ese punto.

Por ejemplo, la función sinc (no normalizada) , tal como se define por

${\displaystyle {\text{sinc}}(z)={\frac {\sin z}{z}}}$

tiene una singularidad en z = 0. Esta singularidad se puede eliminar definiendo cuál es el límite de sinc cuando z tiende a 0. La función resultante es holomorfa. En este caso, el problema se debió a que se le dio a sinc una forma indeterminada . Tomando una expansión en serie de potencias para alrededor del punto singular se muestra que${\displaystyle {\text{sinc}}(0):=1,}$${\textstyle {\frac {\sin(z)}{z}}}$

${\displaystyle {\text{sinc}}(z)={\frac {1}{z}}\left(\sum _{k=0}^{\infty }{\frac {(-1)^{ k}z^{2k+1}}{(2k+1)!}}\right)=\sum _{k=0}^{\infty }{\frac {(-1)^{k}z^ {2k}}{(2k+1)!}}=1-{\frac {z^{2}}{3!}}+{\frac {z^{4}}{5!}}-{\ frac {z^{6}}{7!}}+\cdots .}$

Formalmente, si es un subconjunto abierto del plano complejo , un punto de , y es una función holomorfa , entonces se llama singularidad removible para si existe una función holomorfa que coincide con en . Decimos que es holomorfamente extensible sobre si existe tal función .${\displaystyle U\subconjunto \mathbb {C} }$ ${\displaystyle \mathbb {C}}$${\displaystyle a\en U}$${\estilo de visualización U}$${\displaystyle f:U\setminus \{a\}\rightarrow \mathbb {C} }$${\estilo de visualización a}$${\estilo de visualización f}$${\displaystyle g:U\rightarrow \mathbb {C}}$${\estilo de visualización f}$${\displaystyle U\setminus \{a\}}$${\estilo de visualización f}$${\estilo de visualización U}$${\estilo de visualización g}$

El teorema de Riemann sobre singularidades removibles es el siguiente:

Las implicaciones 1 ⇒ 2 ⇒ 3 ⇒ 4 son triviales. Para demostrar 4 ⇒ 1, primero recordamos que la holomorfía de una función en es equivalente a que sea analítica en ( prueba ), es decir, que tenga una representación en serie de potencias. Definir${\estilo de visualización a}$${\estilo de visualización a}$

${\displaystyle h(z)={\begin{cases}(za)^{2}f(z)&z\neq a,\\0&z=a.\end{cases}}}$

Claramente, h es holomorfo en , y existe${\displaystyle D\setminus \{a\}}$

${\displaystyle h'(a)=\lim _{z\to a}{\frac {(za)^{2}f(z)-0}{za}}=\lim _{z\to a} (za)f(z)=0}$

por 4, por lo tanto h es holomorfo en D y tiene una serie de Taylor sobre a :

${\displaystyle h(z)=c_{0}+c_{1}(za)+c_{2}(za)^{2}+c_{3}(za)^{3}+\cdots \,. }$

Tenemos c ₀ = h ( a ) = 0 y c ₁ = h ' ( a ) = 0; por lo tanto

${\displaystyle h(z)=c_{2}(za)^{2}+c_{3}(za)^{3}+\cdots \,.}$

Por lo tanto, donde , tenemos:${\displaystyle z\neq a}$

${\displaystyle f(z)={\frac {h(z)}{(za)^{2}}}=c_{2}+c_{3}(za)+\cdots \,.}$

Sin embargo,

${\displaystyle g(z)=c_{2}+c_{3}(za)+\cdots \,.}$

es holomórfico en D , por lo tanto una extensión de .${\estilo de visualización f}$

A diferencia de las funciones de una variable real, las funciones holomorfas son lo suficientemente rígidas como para que sus singularidades aisladas puedan clasificarse por completo. La singularidad de una función holomorfa no es realmente una singularidad en absoluto, es decir, una singularidad removible, o es de uno de los dos tipos siguientes:

1. A la luz del teorema de Riemann, dada una singularidad no removible, uno podría preguntarse si existe un número natural tal que . Si es así, se llama polo de y el más pequeño de ellos es del orden de . Por lo tanto, las singularidades removibles son precisamente los polos de orden 0. Una función holomorfa explota uniformemente cerca de sus otros polos.${\estilo de visualización m}$${\displaystyle \lim _{z\rightarrow a}(za)^{m+1}f(z)=0}$${\estilo de visualización a}$${\estilo de visualización f}$${\estilo de visualización m}$${\estilo de visualización a}$
2. Si una singularidad aislada de no es ni removible ni un polo, se denomina singularidad esencial . El Gran Teorema de Picard muestra que tal singularidad asigna cada vecindad abierta perforada a todo el plano complejo, con la posible excepción de, como máximo, un punto.${\estilo de visualización a}$${\estilo de visualización f}$${\estilo de visualización f}$${\displaystyle U\setminus \{a\}}$

• Capacidad analítica
• Discontinuidad removible

• Punto singular removible en Enciclopedia de Matemáticas