Prolongamento analítico

Na análise complexa, unha rama das matemáticas, o prolongamento analítica (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

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 Modelo:Nowrap Se V é un subconxunto aberto maior de Modelo:Nowrap que contén U, e F é unha función analítica definida en V tal que

$F(z)=f(z)\mathrm{\forall }z\in U,$

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 F₁ e F₂ tal que U está contido en V e para todo z en U

$F_1(z)=F_2(z)=f(z),$

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.

$F_1=F_2$

en todo V. Isto é porque F₁ − F ₂ é 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

Continuación analítica de U (centrado en 1) a V (centrado en a=(3+i)/2)

Comezamos cunha función analítica particular $f$. Neste caso, vén dada por unha serie de potencias centrada en $z=1$:

$f(z)=\sum _{k=0}^{\mathrm{\infty }}(-1{)}^k(z-1{)}^k.$

Segundo o teorema de Cauchy-Hadamard, o seu raio de converxencia é 1. É dicir, $f$ é definida e analítica no conxunto aberto $U=\{|z-1|<1\}$ que ten fronteira $\partial U=\{|z-1|=1\}$. De feito, a serie diverxe en $z=0\in \partial U$.

Facemos como que non sabemos que $f(z)=1/z$, e pasamos a centrar a serie de potencias nun punto diferente $a\in U$:

$f(z)=\sum _{k=0}^{\mathrm{\infty }}{a}_k(z-a{)}^k.$

Podemos continuar o proceso: seleccionar $b\in U\cup V$, recentrar a serie de potencias en $b$, e determinar onde converxe a nova serie de potencias. Se a rexión contén puntos que non están dentro de $U\cup V$, entón teremos continuado analiticamente $f$ aínda máis lonxe. Esta $f$ en particular pódese prolongar analiticamente ata todo o plano complexo $ℂ\setminus \{0\}.$

A distancia dende $a$ a $\partial U$ é $\rho =1-|a-1|>0$. Tomamos $0<r<\rho$; sexa $D$ o disco de raio $r$ arredor de $a$; e sexa $\partial D$ a súa fronteira. Entón $D\cup \partial D\subset U$. Usando a fórmula de diferenciación de Cauchy para calcular os novos coeficientes, temos

$\begin{array}{cc}{a}_k& =\frac{f^{(k)}(a)}{k!}\\ & =\frac{1}{2\pi i}\underset{\partial D}{\int }\frac{f(\zeta )d\zeta }{(\zeta -a{)}^{k+1}}\\ & =\frac{1}{2\pi i}\underset{\partial D}{\int }\frac{\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n(\zeta -1{)}^{n}d\zeta }{(\zeta -a{)}^{k+1}}\\ & =\frac{1}{2\pi i}\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n\underset{\partial D}{\int }\frac{(\zeta -1{)}^{n}d\zeta }{(\zeta -a{)}^{k+1}}\\ & =\frac{1}{2\pi i}\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n\underset{0}{\overset{2\pi }{\int }}\frac{(a+r{e}^{i\theta }-1{)}^{n}ri{e}^{i\theta }d\theta }{(r{e}^{i\theta }{)}^{k+1}}\\ & =\frac{1}{2\pi }\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n\underset{0}{\overset{2\pi }{\int }}\frac{(a-1+r{e}^{i\theta }{)}^{n}d\theta }{(r{e}^{i\theta }{)}^k}\\ & =\frac{1}{2\pi }\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n\underset{0}{\overset{2\pi }{\int }}\frac{\sum _{m=0}^n(\genfrac{}{}{0ex}{}{n}{m})(a-1{)}^{n-m}(r{e}^{i\theta }{)}^{m}d\theta }{(r{e}^{i\theta }{)}^k}\\ & =\frac{1}{2\pi }\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n\sum _{m=0}^n(\genfrac{}{}{0ex}{}{n}{m})(a-1{)}^{n-m}{r}^{m-k}\underset{0}{\overset{2\pi }{\int }}{e}^{i(m-k)\theta }d\theta \\ & =\frac{1}{2\pi }\sum _{n=k}^{\mathrm{\infty }}(-1{)}^n(\genfrac{}{}{0ex}{}{n}{k})(a-1{)}^{n-k}\underset{0}{\overset{2\pi }{\int }}d\theta \\ & =\sum _{n=k}^{\mathrm{\infty }}(-1{)}^n(\genfrac{}{}{0ex}{}{n}{k})(a-1{)}^{n-k}\\ & =(-1{)}^k\sum _{m=0}^{\mathrm{\infty }}(\genfrac{}{}{0ex}{}{m+k}{k})(1-a{)}^m\\ & =(-1{)}^k{a}^{-k-1}\end{array}.$

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

$\frac{1}{(1-x{)}^{k+1}}=\sum _{m=0}^{\mathrm{\infty }}(\genfrac{}{}{0ex}{}{m+k}{k})x^m.$

Entón,

$\begin{array}{cc}f(z)& =\sum _{k=0}^{\mathrm{\infty }}{a}_k(z-a{)}^k\\ & =\sum _{k=0}^{\mathrm{\infty }}(-1{)}^k{a}^{-k-1}(z-a{)}^k\\ & =\frac{1}{a}\sum _{k=0}^{\mathrm{\infty }}{(1-\frac{z}{a})}^k\\ & =\frac{1}{a}\frac{1}{1-(1-\frac{z}{a})}\\ & =\frac{1}{z}\\ & =\frac{1}{(z+a)-a}\end{array}$

que ten raio de converxencia $|a|$ arredor de $0$. Se escollemos $a\in U$ con $|a|>1$, entón $V$ non é un subconxunto de $U$ e en realidade é maior en superficie que $U$. A gráfica mostra o resultado para $a=\frac{1}{2}(3+i).$

Podemos continuar o proceso: seleccionar $b\in U\cup V$, recentrar a serie de potencias en $b$, e determinar onde converxe a nova serie de potencias. Se a rexión contén puntos que non están dentro de $U\cup V$, entón teremos continuado analiticamente $f$ aínda máis lonxe. Esta $f$ en particular pódese continuar analiticamente ata todo o plano complexo $ℂ\setminus \{0\}.$

Neste caso particular os valores obtidos de $f(-1)$ 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

$f(z)=\sum _{k=0}^{\mathrm{\infty }}{\alpha }_k(z-z_0{)}^k$

unha serie de potencias que converxen no disco D_r(z₀), r > 0, definido por

$D_r(z_0)=\{z\in ℂ:|z-z_0|<r\}$ .

Dicimos que o vector

$g=(z_0,{\alpha }_0,{\alpha }_1,{\alpha }_2,\dots )$

é un xerme de f. A base g₀ de g é z₀, o tronco de g é (α₀, α₁, α₂, ...) e o tope g₁ de g é α₀. O tope de g é o valor de f en z₀.

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

Exemplo de xerme

$L(z)=\sum _{k=1}^{\mathrm{\infty }}\frac{(-1{)}^{k+1}}{k}(z-1{)}^k$

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

$g=(1,0,1,-\frac{1}{2},\frac{1}{3},-\frac{1}{4},\frac{1}{5},-\frac{1}{6},\dots )$

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 $D\subset ℂ$ é 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

Modelo:Artigo principal Para unha serie de potencias

$f(z)=\sum _{k=0}^{\mathrm{\infty }}{a}_k{z}^{n_k}$

con

$\underset{k\to \mathrm{\infty }}{\mathrm{lim\; inf}}\frac{n_{k+1}}{n_k}>1$

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

$f(z)=\sum _{k=0}^{\mathrm{\infty }}{\alpha }_k(z-z_0{)}^k$

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

$f(z)=\sum _{k=0}^{\mathrm{\infty }}{\epsilon }_k{\alpha }_k(z-z_0{)}^k$

ten o disco de converxencia de f arredor de z₀ como fronteira natural.

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

Véxase tamén

Bibliografía

• Modelo:Cita libro
• Modelo:Cita libro
• Modelo:Cita libro

Outros artigos

• Estrela de Mittag-Leffler
• Cálculo funcional holomorfo
• Prolongamento analítico numérico

Ligazóns externas

• Modelo:Springer
• Analytic Continuation at MathPages
• Modelo:MathWorld

Modelo:Control de autoridades