Prolongamento analítico

Na análise complexa, unha rama das matemáticas, o prolongamento analítico (ou continuación analítica ou expansión analítica) é unha técnica para estender o dominio de definición dunha función analítica dada. O prolongamento analítico a miúdo consegue definir máis valores dunha función, por exemplo nunha nova rexión onde a representación da serie infinita que inicialmente definiu a función vólvese diverxente.

 Discusión inicial 
dereita|miniatura|316x316px| Prolongamento analítico do logaritmo natural (parte imaxinaria)
Supoña que f é unha función analítica definida nun subconxunto aberto non baleiro U do plano complexo  Se V é un subconxunto aberto maior de  que contén U, e F é unha función analítica definida en V tal que



entón F chámase prolongamento analítico de f. Noutras palabras, a restrición de F en U é a función f coa que comezamos.

Os prolongamentos analíticos son únicos no seguinte sentido: se V é o dominio conexo de dúas funcións analíticas F1 e F2 tal que U está contido en V e para todo z en U



Unha forma común de definir funcións na análise complexa procede especificando primeiro a función só nun pequeno dominio e, a continuación, estendela mediante o prolongamento analítico.



en todo V. Isto é porque F1 − F 2 é unha función analítica que desaparece no dominio aberto e conexo U de f e, polo tanto, debe desaparecer en todo o seu dominio. Isto dedúcese directamente do teorema da identidade para funcións holomorfas.

 Aplicacións 
Unha forma común de definir funcións na análise complexa procede especificando primeiro a función só nun pequeno dominio e, a continuación, estendela mediante o prolongamento analítico.

Na práctica, este prolongamento adoita facerse estabelecendo primeiro algunha ecuación funcional no pequeno dominio e despois usando esta ecuación para estender o dominio. Exemplos son a función zeta de Riemann e a función gamma.

O concepto de recubrimento universal desenvolveuse por primeira vez para definir un dominio natural para o prolongamento analítico dunha función analítica. A idea de atopar o prolongamento analítico máximo dunha función levou á súa vez ao desenvolvemento da idea das superficies de Riemann.

O prolongamento analítico úsase nas variedades de Riemann, no contexto das solucións das ecuacións de Einstein. Por exemplo, as coordenadas de Schwarzschild pódense prolongar analiticamente nas coordenadas de Kruskal–Szekeres.

 Exemplo detallado 
dereita|miniatura|316x316px| Continuación analítica de U (centrado en 1) a V (centrado en a=(3+i)/2)
Comezamos cunha función analítica particular . Neste caso, vén dada por unha serie de potencias centrada en :

Segundo o teorema de Cauchy-Hadamard, o seu raio de converxencia é 1. É dicir,  é definida e analítica no conxunto aberto  que ten fronteira . De feito, a serie diverxe en .

Facemos como que non sabemos que , e pasamos a centrar a serie de potencias nun punto diferente :

Podemos continuar o proceso: seleccionar , recentrar a serie de potencias en , e determinar onde converxe a nova serie de potencias. Se a rexión contén puntos que non están dentro de , entón teremos continuado analiticamente  aínda máis lonxe. Esta  en particular pódese prolongar analiticamente ata todo o plano complexo  

A distancia dende  a  é . Tomamos ; sexa   o disco de raio  arredor de ; e sexa  a súa fronteira. Entón . Usando a fórmula de diferenciación de Cauchy para calcular os novos coeficientes,  temos 

A última suma resulta da derivación -ésima da serie xeométrica, que dá a fórmula 

Entón, 

que ten raio de converxencia  arredor de . Se escollemos  con , entón  non é un subconxunto de  e en realidade é maior en superficie que . A gráfica mostra o resultado para 

Podemos continuar o proceso: seleccionar , recentrar a serie de potencias en , e determinar onde converxe a nova serie de potencias. Se a rexión contén puntos que non están dentro de , entón teremos continuado analiticamente  aínda máis lonxe. Esta  en particular pódese continuar analiticamente ata todo o plano complexo  

Neste caso particular os valores obtidos de  son iguais cando os centros sucesivos teñen unha parte imaxinaria positiva ou unha parte imaxinaria negativa. Non sempre é así; en particular, este non é o caso do logaritmo complexo, a antiderivada da función anterior.

 Definición formal de xerme 
A serie de potencias definida a continuación xeneralízase pola idea dun xerme. A teoría xeral do prolongamento analítico e as súas xeneralizacións coñécese como teoría dos feixes. Sexa



unha serie de potencias que converxen no disco Dr(z0), r > 0, definido por

  .

Dicimos que o vector



é un xerme de f. A base g0 de g é z0, o tronco de g é (α0, α1, α2, ...) e o tope g1 de g é α0. O tope de g é o valor de f en z0.

Calquera vector g = (z0, α0, α1, ...) é un xerme se representa unha serie de potencias dunha función analítica arredor de z0 con algún raio de converxencia r > 0. Polo tanto, podemos falar con seguridade do conxunto de xermes .

 Exemplo de xerme 



é unha serie de potencias correspondente ao logaritmo natural próximo a z = 1. Esta serie de potencias pódese converter nun xerme



Este xerme ten un radio de converxencia de 1, polo que lle corresponde un feixe S. Esta é o faixe da función logaritmo.

 Fronteira natural 
Supoña que unha serie de potencias ten un raio de converxencia r e define unha función analítica f dentro dese disco. Considere os puntos da circunferencia de converxencia. Un punto para o que hai unha veciñanza no que f ten unha extensión analítica é regular, senón a ten é singular. A circunferencia é un fronteira natural se todos os seus puntos son singulares.

De forma máis xeral, podemos aplicar a definición a calquera dominio conexo aberto no que f sexa analítica e clasificar os puntos da fronteira do dominio como regulares ou singulares: a fronteira do dominio é logo unha fronteira natural se todos os puntos son singulares, nese caso o dominio é un dominio de holomorfia.

 Teorema de monodromía 
O teorema de monodromía dá unha condición suficiente para a existencia dunha continuación analítica directa (é dicir, unha extensión dunha función analítica a unha función analítica nun conxunto maior).

Supoñamos que  é un conxunto aberto e f unha función analítica en D. Se G é un dominio simplemente conexo que contén D, tal que f ten unha continuación analítica ao longo de cada camiño en G, comezando desde algún punto fixo a en D, entón f ten unha continuación analítica directa a G. .

 Teorema do oco de Hadamard 

Para unha serie de potencias



con



a circunferencia de converxencia é unha fronteira natural. Tal serie de potencias chámase lagoa (función analítica que non se pode continuar analiticamente en ningún lugar fóra do raio de converxencia dentro do cal está definida por unha serie de potencias). Este teorema foi substancialmente xeneralizado por Eugen Fabry (ver o teorema do oco de Fabry) e George Pólya.

 Teorema de Polya 
Sexa



unha serie de potencias, entón existe εk ∈ {−1, 1} tal que



ten o disco de converxencia de f arredor de z0 como fronteira natural.

A demostración deste teorema fai uso do teorema do oco de Hadamard.
 Notas 


 Véxase tamén 

 Bibliografía 

 Outros artigos 
Estrela de Mittag-Leffler
Cálculo funcional holomorfo
Prolongamento analítico numérico
 Ligazóns externas 

 Analytic Continuation at MathPages

Categoría:Análise complexa
Categoría:Wikipedia:Páxinas con traducións non revisadas