Introdução à Continuação Analítica

31/01/2023 20:34 A Gentle Introduction to Analytic Continuation | by Marco Tavora Ph.D.
| Cantor’s Paradise
Publicado em paraíso dos cantores
Você ainda tem 2 histórias gratuitas exclusivas para membros neste mês.
Inscreva-se no Medium e ganhe um extra
Marco Távora Ph.D. Follow
5 de abril de 2020 · 10 minutos de leitura · · Ouço
Save
Uma Introdução Gentil à Continuação Analítica

Como estender o domínio das funções analíticas
Figura por agsandrew /shutterstock.com

https://www.cantorsparadise.com/a-gentle-introduction-to-analytic-continuation-c1ab92fb2ba1 1/20
31/01/2023 20:34 A Gentle Introduction to Analytic Continuation | by Marco Tavora Ph.D. | Cantor’s Paradise
Indiscutivelmente, o problema não resolvido mais importante na matemática pura

hoje é provar (ou refutar) a hipótese de Riemann , que está intimamente ligada à
distribuição de números primos. Uma das técnicas básicas necessárias para
entender o problema é chamada de continuação analítica , que é o tema deste
artigo. A continuação analítica é uma técnica de um ramo da matemática chamada
análise complexa, usada para estender o domínio sobre o qual uma função analítica
complexa é definida.
Figura 1: Ilustração da aplicação da técnica de continuação analítica ao logaritmo natural (parte imaginária) (
fonte ).
Alguns Conceitos Matemáticos Importantes

Antes de apresentar a técnica, explicarei brevemente alguns conceitos matemáticos
importantes que serão necessários.
Série Taylor
Suponha que queremos encontrar uma aproximação polinomial para alguma
função f ( x ). Um polinômio é uma expressão matemática formada por variáveis e
coeficientes. Eles envolvem as operações básicas (adição, subtração e
multiplicação) e contêm apenas expoentes inteiros não negativos das variáveis. Um
polinômio em uma variável x de grau n pode ser escrito como:
Equação 1: Polinômio em uma variável x e grau n.
Figura 2: Gráficos de polinômios de grau 3 e 4 ( fonte ).
Agora suponha que o polinômio tenha um grau infinito (é dado por uma soma
infinita de termos). Esses polinômios são chamados de séries de Taylor (ou
expansões de Taylor). As séries de Taylor são representações polinomiais de
funções como somas infinitas de termos. Cada termo da série é avaliado a partir dos
valores das derivadas de f ( x ) em um único ponto (em torno do qual a série é
centrada). Formalmente, uma série de Taylor em torno de algum número a é dada
por:
Equação 2: Uma série de Taylor de uma função f ( x ) em torno de um número a.
onde os índices superiores (0), (1), … indicam a ordem da derivada de f ( x ) como x

= a . Pode-se aproximar uma função usando um polinômio com apenas um número
finito de termos da série de Taylor correspondente. Esses polinômios são chamados
de polinômios de Taylor. Na figura abaixo, vários polinômios de Taylor para a
função f ( x ) = sen x com um número crescente de termos (portanto, graus

crescentes) são mostrados.
Figura 3: São mostrados polinômios de Taylor com número crescente de termos. A curva preta é a função
sin(x). As outras aproximações são polinômios de Taylor de grau 1, 3, 5, 7, 9, 11 e 13 ( source ).
Os primeiros quatro polinômios de Taylor para f ( x ) = sin x são dados por:
Equação 3: Polinômios de Taylor para f ( x ) = sen x com graus 1, 3, 5 e 7. Eles estão plotados na figura acima
(juntamente com expansões de ordem superior).
Convergência
O conceito de convergência de séries infinitas também será crucial em nossa
discussão da continuação analítica. Uma sequência matemática é uma lista de
elementos (ou objetos) com uma ordem particular. Eles podem ser representados
da seguinte forma:
Equação 4: Sequência infinita de números.
Um exemplo bem conhecido de uma sequência é a sequência de Fibonacci

0,1,1,2,3,5,8,13,21,34,55,… onde cada número é a soma dos dois anteriores.
Figura 4: Um ladrilho com quadrados que têm comprimentos laterais iguais a números sucessivos de
Fibonacci ( source ).
Constrói-se uma série tomando somas parciais dos elementos de uma sequência. A
série de somas parciais pode ser representada por:
Equação 5: Sequência infinita de somas parciais.
Onde:
Equação 6: Os valores das somas parciais na Eq. 5.
Um exemplo de uma série, a familiar série geométrica , é mostrado abaixo. Em uma

série geométrica, a razão comum entre elementos sucessivos é constante. Para uma
razão igual a 1/2 temos:
Equação 7: A série geométrica com razão comum = 1/2.
A Fig. 5 mostra pictoricamente que a série geométrica acima converge para o dobro
da área do quadrado maior.
Figura 5: Uma demonstração pictórica da convergência da série geométrica com razão comum r=1/2 e
primeiro termo a=1 ( source ).
Uma série como na Eq. 6 é convergente se a sequência Eq. 5 de somas parciais se

aproxima de algum limite finito. Caso contrário, a série é dita divergente . Um
exemplo de série convergente é a série geométrica na Eq. 7. Um exemplo de série
divergente é:
Equação 8: Um exemplo de série divergente é a chamada série harmônica .
É fácil ver que a série harmônica diverge comparando-a com a integral da curva y
=1/ x. Consulte a Fig.6. Como a área abaixo da curva está totalmente contida nos
retângulos e a área abaixo de y = 1/ x é:
Equação 9: A área abaixo da curva y=1/x mostrada na Fig. 6.
a área total dos retângulos também deve ser infinita.
Figura 6: A comparação entre a série harmônica e a área abaixo da curva y=1/x prova que a série harmônica
diverge.
A série geométrica é, em geral, a soma de potências sucessivas de uma dada

variável x (ver Fig. 5). Mais concretamente, considere a seguinte série geométrica
onde o primeiro termo é 1 e a razão comum é x :
Equação 10: Um exemplo de uma série geométrica.
Encontrar um formulário fechado para esta soma não é difícil. Basta multiplicar os
dois lados por x
Equação 11: Eq. 10 multiplicado por x.
e subtrair ambas as equações. A maioria dos termos se anula e ficamos com:
Equação 12: Encontrando a soma das séries geométricas.
Se | x |<1 e tomamos x → ∞, o primeiro termo no numerador da soma vai para zero e

obtemos:
Equação 13: A série geométrica infinita quando | x |<1.
Em contraste com a Eq. 12, esta série de potências não é válida para qualquer x mas
tem um intervalo de convergência (ver figura abaixo), nomeadamente | x |<1.
Agora vamos ver o que acontece quando definimos x = 2, que está fora do intervalo
de convergência da série Eq. 13. Obtemos:
Equação 14: Eq. 13 para x fora da região | x |<1.
Obtemos uma soma aritmeticamente inválida. Isso mostra novamente que associar
uma função à série infinita Eq. 13 vale apenas para um intervalo limitado da
variável x .
Números Complexos: Funções Analíticas, Pólos e Discos de Convergência

Até agora, nossa análise estava restrita a números reais. Agora vamos estendê-lo
para números complexos. O plano complexo é uma representação geométrica dos
números complexos, conforme mostrado na Figura 7.
Figura 7: O plano complexo, uma representação geométrica dos números complexos. A figura mostra o eixo
real e o imaginário (perpendicular).
Consideremos uma expansão de uma função analítica complexa f ( z ). Por

definição, uma função analítica é uma função dada localmente por uma série de
potências convergente . Se f ( z ) é analítico em z ₀, a série de potências é:
Equação 15: A expansão de Taylor de uma função analítica f(z) em uma série de potências sobre um valor
complexo z₀.
Em analogia com o caso da série geométrica, onde a convergência foi restrita a um

intervalo de raio 1 na reta real , esta série irá convergir apenas sobre uma região
circular do plano complexo centrada no número complexo z ₀.
Figura 8: Indo da reta real ao plano complexo .
A região de convergência de f ( z ) é uma região circular centrada em z ₀ que se

estende até o pólo mais próximo , onde f ( z ) tende ao infinito. A Fig. 9 mostra a
região de convergência (limitada pelo círculo branco) da função 1/(1+ z ²).
Figura 9: O círculo branco no disco de convergência da função 1/(1+z²).
Outro exemplo de uma função complexa contendo pólos é o valor absoluto da

função Gama | Γ ( z )| mostrado na Fig.10. A função Gama é dada por:
Equação 16: A função Gama.
A figura mostra exemplos de dois pontos onde | Γ ( z )| torna-se infinito devido à

presença de pólos. Eventualmente, conforme se vai para a direita, a função não
apresenta mais polos, apenas aumenta.
Figura 10: Exemplo de função no plano complexo que contém pólos (onde diverge).
Um critério mais forte de convergência é chamado de convergência absoluta .

Chamamos a convergência que já discutimos de convergência condicional . A
convergência absoluta ocorre quando as seguintes séries convergem:
Equação 17: Série de valores usada para testar a convergência absoluta.
Quando uma série é absolutamente convergente ela também é condicionalmente

convergente . Existem alguns testes de convergência absoluta, um deles é o teste da
razão . Considere a série:
Equação 18: Uma série infinita geral.
Agora defina a seguinte proporção:
Equação 19: Razão r utilizada no teste de razão de convergência absoluta.
A série Eq. 18 converge absolutamente se r <1 e diverge se r> 1. Se r =1, nenhuma

conclusão pode ser tirada.
Figura 11: Um diagrama de decisão para o teste de razão.
É simples aplicar o teste de razão (ou qualquer outro teste de convergência) para
mostrar o seguinte resultado importante:
Equação 20: Convergência de recíprocos para expoentes iguais ou maiores que o valor k.
Vamos agora finalmente investigar a técnica de continuação analítica, que é o tema

principal deste artigo!
Continuação Analítica
Já sabemos, desde a introdução, que a continuação analítica é uma técnica para
estender o domínio de uma função analítica. Agora podemos ser mais formais e
defini-lo da seguinte forma . Suponha que f ( z ) seja analítico em uma região R.
Agora suponha que R esteja contido em uma região S. A função f ( z ) pode ser
continuada analiticamente de R para S se existir uma função g ( z ) tal que:
g ( z ) é analítico em S
g ( z ) = f ( z ) para todo z ∈ R
Outra propriedade importante do procedimento de continuação analítica é que ele é

único (consulte estas notas para obter mais detalhes ).
Um exemplo tornará esta definição mais clara (esta seção foi baseada
principalmente nesta análise ). Começamos com a expansão da função
Equação 21: A função 1/(1-z) possui um disco de convergência de raio 1 centrado em z=0.
que tem um pólo em z =1. O disco de convergência correspondente é mostrado na

figura abaixo:
Figura 12: Exemplo de função com pólo em z=1. O disco de convergência tem raio 1.
Podemos expandir a função dada pela Eq. 21 sobre qualquer ponto onde a função e
suas derivadas são bem comportadas. Por exemplo, seja z ₀=2. Para expandir a série
em torno dele precisamos calcular as derivadas de f ( z ) em z ₀=2. As derivadas são:
Equação 22: Derivadas da Eq. 21.
Agora inserimos essas derivadas na série de potências Eq. 15 para obter:
Equação 23: Expansão Eq. 15 para a função f (z) em torno de z ₀.
Substituindo z ₀=2 obtemos:
Equação 24: Série de potências para a função Eq. 23 sobre z₀=2.
Figura 13: O disco de convergência novamente tem raio 1. A expansão é válida dentro do disco de
convergência.
Suponha que não conheçamos a expressão de forma fechada para alguma função f (
z ), mas conheçamos apenas sua série de potências em alguma região do plano
complexo. Seja tal série de potências
Equação 25: Exemplo de série de potências que convergem dentro de um disco de raio 1 centrado na
origem.
Já vimos que esta série é convergente apenas para números complexos com
magnitudes menores que 1. Vejamos como determinar o valor desta função em
qualquer z (exceto para o polo em z =1) usando continuação analítica. Para fazer
isso, considere a Fig. 14 abaixo:
Figura 14: A função f ( z + z ₀) converge dentro do novo disco de convergência centrado em z₀.
Podemos calcular a função f ( z ) e suas derivadas em qualquer ponto dentro do

disco de convergência |z|<1. Portanto, podemos escolher algum ponto como z ₀
(mostrado na figura) e determinar a série de potências para f ( z + z ₀). Esta série de
potências será convergente dentro de um disco circular centrado em z ₀,
estendendo-se até o polo mais próximo em z =1 (ver Fig. 14). Concluímos, portanto,
que podemos avaliar a função em valores complexos fora da região de convergência
da série de potências original.
O próximo passo é auto-evidente. Veja a Fig. 14. Uma vez calculada a série de
potências para f ( z + z ₀), podemos usar o mesmo procedimento e selecionar outro
ponto z₁ que esteja dentro da nova região de convergência. Em seguida,
determinamos a expansão da série de potências para f ( z +z₁), que convergirá
dentro da nova região circular centrada em z₁ (que, como antes, se estende até o
pólo mais próximo z = 1).
Figura 15: A função f ( z + z ₁) converge dentro do novo disco de convergência centrado em z₁.
Continuando este procedimento, pode-se estender analiticamente a função por

todo o plano complexo excluindo os pólos da função!
Uma Aplicação da Continuação Analítica: A Hipótese de Riemann

Georg Friedrich Bernhard Riemann foi um matemático alemão considerado por
muitos como um dos maiores matemáticos de todos os tempos. Ele contribuiu para
uma infinidade de ramos da matemática e da física (seu trabalho em geometria
diferencial estabeleceu as bases da teoria da relatividade geral de Einstein ). Uma
das aplicações da continuação analítica está em seu trabalho sobre números
primos, mais especificamente, seu artigo de 1859 contendo a primeira declaração
da agora famosa hipótese de Riemann .
Figura 16: O grande matemático alemão Bernhard Riemann ( fonte ) e um manuscrito de seu artigo “Sobre o
número de primos menor que uma determinada quantidade” contendo sua hipótese ( fonte ).
A função zeta de Riemann é a seguinte função do complexo s , definida no lado

direito da reta vertical Re( s )=1 no plano complexo pela série infinita absolutamente
convergente
Equação 26: A função zeta de Riemann.
e no resto do plano complexo via continuação analítica . Para ver porque a série
acima é válida apenas para Re( s )>1 tomamos o valor absoluto de um termo
genérico
Equação 27: O valor absoluto de um termo na série Eq. 26
Como vimos antes, uma série infinita é absolutamente convergente se a soma dos
valores absolutos dos somandos (os elementos da soma) é finita. Portanto, para a
Eq. 26 para convergir absolutamente, devemos ter Re( s )>1. Riemann mostrou que
por continuação analítica pode-se estender ζ ( s ) para todo o plano complexo (com
apenas um pólo em s =1).
A hipótese de Riemann afirma que:
A parte real de cada zero não trivial da função zeta

de Riemann é 1/2.
A figura abaixo ilustra a hipótese. Ele mostra os seguintes objetos importantes:
Os chamados zeros triviais -2, -4, -6,…
A faixa crítica que contém todos os zeros não triviais de ζ ( s )
A linha crítica que, se a hipótese for verdadeira, contém todos os zeros não
triviais
Figura 17: Com exceção dos zeros triviais, todas as soluções para a função zeta de Riemann estão na faixa
crítica (veja a figura). De acordo com a hipótese de Riemann, todos os zeros não triviais estão na linha crítica
Re(s) = 1/2 ( source ).
Meu Github e o site pessoal www.marcotavora.me possuem algum outro material

interessante tanto sobre matemática quanto sobre outros temas como física, ciência
de dados e finanças. Confira!
Educação Matemática Matemática Ciência Análise
560 4
Gosta da leitura? Recompense o escritor. Beta

Sua dica irá para Marco Távora Ph.D. por meio de uma plataforma terceirizada de sua escolha, informando que você
aprecia a história deles.
dê uma dica
Receba um e-mail sempre que Marco Távora Ph.D. publica.

Uma introdução prática às maravilhas da ciência e da matemática modernas.
Ao se inscrever, você criará uma conta do Medium , caso ainda não tenha uma. Revise
nossa Política de Privacidade para obter mais informações sobre nossas práticas de
privacidade.
Se inscrever
About Help Terms Privacy
Get the Medium app
Open in app Sign up Sign In


Introdução à Continuação Analítica

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Introdução à Continuação Analítica

Enviado por

Direitos autorais:

Formatos disponíveis

31/01/2023 20:34 A Gentle Introduction to Analytic Continuation | by Marco Tavora Ph.D.

Publicado em paraíso dos cantores

Marco Távora Ph.D. Follow

5 de abril de 2020 · 10 minutos de leitura · · Ouço

Uma Introdução Gentil à Continuação Analítica

Figura por agsandrew /shutterstock.com

Indiscutivelmente, o problema não resolvido mais importante na matemática pura

Alguns Conceitos Matemáticos Importantes

Equação 1: Polinômio em uma variável x e grau n.

Figura 2: Gráficos de polinômios de grau 3 e 4 ( fonte ).

Equação 2: Uma série de Taylor de uma função f ( x ) em torno de um número a.

onde os índices superiores (0), (1), … indicam a ordem da derivada de f ( x ) como x

função f ( x ) = sen x com um número crescente de termos (portanto, graus

Os primeiros quatro polinômios de Taylor para f ( x ) = sin x são dados por:

Equação 4: Sequência infinita de números.

Um exemplo bem conhecido de uma sequência é a sequência de Fibonacci

Equação 5: Sequência infinita de somas parciais.

Equação 6: Os valores das somas parciais na Eq. 5.

Um exemplo de uma série, a familiar série geométrica , é mostrado abaixo. Em uma

Equação 7: A série geométrica com razão comum = 1/2.

Uma série como na Eq. 6 é convergente se a sequência Eq. 5 de somas parciais se

Equação 8: Um exemplo de série divergente é a chamada série harmônica .

Equação 9: A área abaixo da curva y=1/x mostrada na Fig. 6.

a área total dos retângulos também deve ser infinita.

A série geométrica é, em geral, a soma de potências sucessivas de uma dada

Equação 10: Um exemplo de uma série geométrica.

Equação 11: Eq. 10 multiplicado por x.

e subtrair ambas as equações. A maioria dos termos se anula e ficamos com:

Equação 12: Encontrando a soma das séries geométricas.

Se | x |<1 e tomamos x → ∞, o primeiro termo no numerador da soma vai para zero e

Equação 13: A série geométrica infinita quando | x |<1.

Equação 14: Eq. 13 para x fora da região | x |<1.

Números Complexos: Funções Analíticas, Pólos e Discos de Convergência

Consideremos uma expansão de uma função analítica complexa f ( z ). Por

Em analogia com o caso da série geométrica, onde a convergência foi restrita a um

Figura 8: Indo da reta real ao plano complexo .

A região de convergência de f ( z ) é uma região circular centrada em z ₀ que se

Figura 9: O círculo branco no disco de convergência da função 1/(1+z²).

Outro exemplo de uma função complexa contendo pólos é o valor absoluto da

Equação 16: A função Gama.

A figura mostra exemplos de dois pontos onde | Γ ( z )| torna-se infinito devido à

Um critério mais forte de convergência é chamado de convergência absoluta .

Equação 17: Série de valores usada para testar a convergência absoluta.

Quando uma série é absolutamente convergente ela também é condicionalmente

Equação 18: Uma série infinita geral.

Agora defina a seguinte proporção:

Equação 19: Razão r utilizada no teste de razão de convergência absoluta.

A série Eq. 18 converge absolutamente se r <1 e diverge se r> 1. Se r =1, nenhuma

Figura 11: Um diagrama de decisão para o teste de razão.

Vamos agora finalmente investigar a técnica de continuação analítica, que é o tema

Outra propriedade importante do procedimento de continuação analítica é que ele é

que tem um pólo em z =1. O disco de convergência correspondente é mostrado na

Equação 22: Derivadas da Eq. 21.

Agora inserimos essas derivadas na série de potências Eq. 15 para obter:

Equação 23: Expansão Eq. 15 para a função f (z) em torno de z ₀.

Substituindo z ₀=2 obtemos:

Equação 24: Série de potências para a função Eq. 23 sobre z₀=2.

complexo. Seja tal série de potências

Podemos calcular a função f ( z ) e suas derivadas em qualquer ponto dentro do

Continuando este procedimento, pode-se estender analiticamente a função por

Uma Aplicação da Continuação Analítica: A Hipótese de Riemann

A função zeta de Riemann é a seguinte função do complexo s , definida no lado

Equação 26: A função zeta de Riemann.