Impa

Tpicos Introdutrios Anlise Complexa Aplicada
Publicaes Matemticas
Tpicos Introdutrios Anlise Complexa Aplicada

Andr Nachbin IMPA Ailn Ruiz de Zrate IMPA
impa
26o Colquio Brasileiro de Matemtica
Copyright 2007 by Andr Nachbin e Ailn Ruiz de Zrate Direitos reservados, 2007 pela Associao Instituto Nacional de Matemtica Pura e Aplicada - IMPA Estrada Dona Castorina, 110 22460-320 Rio de Janeiro, RJ Impresso no Brasil / Printed in Brazil Capa: Noni Geiger / Srgio R. Vaz 26o Colquio Brasileiro de Matemtica
Aspectos Ergdicos da Teoria dos Nmeros - Alexander Arbieto, Carlos Matheus e Carlos Gustavo Moreira Componentes Irredutveis dos Espaos de Folheaes - Alcides Lins Neto Elliptic Regularity and Free Boundary Problems: an Introduction Eduardo V. Teixeira Hiperbolicidade, Estabilidade e Caos em Dimenso Um - Flavio Abdenur e Luiz Felipe Nobili Frana Introduction to Generalized Complex Geometry - Gil R. Cavalcanti Introduction to Tropical Geometry - Grigory Mikhalkin Introduo aos Algoritmos Randomizados - Celina de Figueiredo, Guilherme da Fonseca, Manoel Lemos e Vinicius de S Mathematical Aspects of Quantum Field Theory - Edson de Faria and Welington de Melo Mtodos Estatsticos No-Paramtricos e suas Aplicaes - Aluisio Pinheiro e Hildete P. Pinheiro Moduli Spaces of Curves - Enrico Arbarello Noes de Informao Quntica - Marcelo O. Terra Cunha Three Dimensional Flows - Vtor Arajo e Maria Jos Pacifico Tpicos de Corpos Finitos com Aplicaes em Criptografia e Teoria de Cdigos - Ariane Masuda e Daniel Panario Tpicos Introdutrios Anlise Complexa Aplicada - Andr Nachbin e Ailn Ruiz de Zrate Uma Introduo Mecnica Celeste - Srgio B. Volchan Uma Introduo Teoria Econmica dos Jogos - Humberto Bortolossi, Gilmar Garbugio e Brgida Sartini Uma Introduo aos Sistemas Dinmicos via Fraes Contnuas - Lorenzo J. Daz e Danielle de Rezende Jorge
ISBN: 978-85-244-0262-3
Distribuio: IMPA Estrada Dona Castorina, 110 22460-320 Rio de Janeiro, RJ E-mail: ddic@impa.br http://www.impa.br
A Carlos Isnard
Conte udo
Pref acio 1 Breve resumo em An alise Complexa elementar 1.1 Fun c oes anal ticas . . . . . . . . . . . . . . . . . . . . 1.2 Duas fun c oes complexas importantes neste curso . . . 1.3 Equa c oes de Cauchy-Riemann e fun c oes harm onicas . 1.4 Fun c oes anal ticas estudadas como aplica c oes . . . . . 1.4.1 Transforma c oes de M obius . . . . . . . . . . . . 1.5 Integra c ao complexa . . . . . . . . . . . . . . . . . . . 1.5.1 Integral de linha . . . . . . . . . . . . . . . . . 1.6 Indice de caminho fechado . . . . . . . . . . . . . . . . 1.7 A F ormula Integral de Cauchy e o Teorema de Cauchy 1.7.1 F ormula Integral de Cauchy . . . . . . . . . . . 1.7.2 Teorema de Cauchy . . . . . . . . . . . . . . . 1.7.3 Novidades . . . . . . . . . . . . . . . . . . . . . 2 Aplica c ao de Schwarz-Christoel 2.1 Introdu c ao ` a aplica c ao de Schwarz-Christoel 2.2 Vers ao computacional da aplica c ao de SC . . 2.2.1 Um breve tutorial ao SCT . . . . . . . 2.2.2 Aplica c oes do Exemplo 2.2 . . . . . . 2.2.3 Aglomeramento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 5 5 9 16 18 23 24 25 28 32 33 34 34 36 36 44 44 52 57
3 Vari aveis complexas aplicadas ` a Din amica dos Fluidos 63 3.1 Formula c ao em vari aveis complexas . . . . . . . . . . . 63 3.2 Escoamentos com obst aculos . . . . . . . . . . . . . . 69 1
2 3.2.1 Teorema do C rculo, de Milne-Thomson Escoamentos com rota c ao . . . . . . . . . . . . Teorema de Blasius . . . . . . . . . . . . . . . . Sustenta c ao de um aerof olio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . cisalhante . . . . . . . . . . . . . . . .
CONTEUDO
3.3 3.4 3.5
. . . . . . . .
. . . . . . . .
. . . .
70 71 79 82
4 Integrais de contorno singulares 4.1 Integral de Cauchy . . . . . . . . 4.2 Valor Principal de Cauchy . . . . 4.3 F ormulas de Plemelj . . . . . . . 4.4 Representa c ao de um escoamento
90 . 90 . 92 . 101 . 103
Pref acio
Usar um tema antigo e elegante como An alise Complexa para fazer Matem atica Aplicada moderna e no m nimo muito divertido. Mais do que isso, serve de excelente ve culo para ilustrar como podemos juntar abstra c oes matem aticas, uma das raras belezas de nossa area, com problemas muito concretos, com objetivos muito claros (por exemplo em Din amica dos Fluidos) incluindo Matem atica Computacional. Essa e a ess encia de Matem atica Aplicada: e Matem atica, tendo tamb em como objetivo respostas concretas visando uma aplica c ao, muitas vezes combinando teoremas, com an alise formal, com experimentos computacionais. Nossa principal motiva c ao em escrever este texto e fazer uma introdu c ao, como um passeio com o leitor que n ao tem experi encia com esta combina c ao de ingredientes. Obviamente nossa meta e estimular leituras futuras, um aprofundamento em An alise Complexa Aplicada e uma aprecia c ao nessa forma em fazer Matem atica (Aplicada). O Prof. Ablowitz, plenarista deste Col oquio, e um dos autores de um bel ssimo livro em An alise Complexa. Em nenhum Cap tulo temos a inten c ao de fazer uma apresenta c ao completa de um tema que seja, a come car pela breve revis ao em alguns t opicos corriqueiros de um curso introdut orio. Mas em seguida apresentamos nossa primeira novidade, at pica em cursos de An alise Complexa: uma introdu c ao ` a Transforma c ao de Schwarz-Christoel juntamente com um tutorial sobre como fazer este tipo de aplica c ao conforme utilizando o MATLAB. Diversas rotinas MATLAB foram desenvolvidas pelo Prof. Driscoll e est ao dispon veis (gratuitamente) na Internet. Este texto cont em todas as informa c oes necess arias para baixar as rotinas e come car a brincar com elas. 3
[PREFACIO
No Cap tulo 3 reapresentamos parte do texto de um Curso ministrado no Col oquio de 2001, texto este que est a esgotado. Neste Cap tulo mostramos como formular uma sub- area de Din amica dos Fluidos sobre a estrutura de An alise Complexa. Essa parte deve ser novidade para a grande maioria dos alunos de gradua c ao pois n ao faz parte da ementa de Cursos em An alise Complexa. Al em disso e muito importante como introdu c ao ao quarto Cap tulo, o mais avan cado deste Curso e que visa a seduzir os mais jovens como um desao intelectual. Neste Cap tulo introduzimos Integrais Singulares como um interessante objeto de Modelagem Matem atica em Din amica dos Fluidos, mas tamb em de interesse em An alise Matem atica e no tratamento de singularidades. Demonstramos teoremas que extraem um sentido de integrais que normalmente n ao existiriam. Em suma, em todo este curso queremos mostrar como singularidades s ao intrumentos ricos do ponto de vista de An alise Matem atica e de Modelagem. Os autores gostariam de agradecer de forma muito especial a Rodrigo Morante por sua valiosa contribui c ao na formata c ao deste texto e na confec c ao de suas diversas guras. A. N. faz um agradecimento especial ` a Roberta Visconti. A. R. Z. faz um agradecimento especial a seus professores de An alise Complexa, Profa. Concepci on Vald es e Prof. Carlos Isnard. Desde j a pedimos desculpas ` as leitoras por generalizar e nos referirmos sempre ao leitor.
Cap tulo 1
Breve resumo em An alise Complexa elementar

Neste cap tulo fazemos uma breve revis ao de alguns conceitos e t opicos introdut orios em An alise Complexa, necess arios ` a compreens ao do restante de texto. Desta forma n ao temos a inten c ao de apresentar um texto introdut orio ao assunto. Simplesmente queremos facilitar a leitura do texto que segue, onde est a o foco principal deste Curso.
1.1
Fun c oes anal ticas
Seja G um aberto em C e f : G C. Dizemos que f (z ) e diferenci avel no ponto a G se existir o limite df f (a + h) f (a) f (a) (a). h0 h dz lim Fazemos a seguinte importante observa c ao: h C, ou seja h pode se aproximar da origem em qualquer dire c ao! Isto e particular de fun c oes a valores complexos. Uma importante conseq u encia deste 5
[CAP. 1: BREVE RESUMO EM ANALISE COMPLEXA ELEMENTAR
fato s ao as equa c oes de Cauchy-Riemann, conforme veremos no decorrer do Cap tulo. A partir de agora nossa terminologia e a seguinte. Dizemos que f e diferenci avel em G quando f for diferenci avel em todo z G, aberto. Quando f for cont nua, dizemos que f e continuamente diferenci avel. Deni c ao 1.1. A fun c ao f : G C e chamada de anal tica se f e continuamente diferenci avel em G. Contraste esta Deni c ao 1.1 de analiticidade de uma fun c ao complexa com a correspondente deni c ao para fun c oes reais [20], p. 228: Deni c ao 1.2. A fun c ao f : I R e anal tica para cada a I (intervalo aberto) se existe > 0 tal que f (n) (a) n h f (a + h), n! n=0 ou seja, a s erie converge para o valor da fun c ao desde que |h| < . Para fun c oes complexas consideramos apenas uma derivada para garantir analiticidade. Aqui estamos usando innitas derivadas. E tem mais! Existem fun c oes reais que s ao C mas n ao s ao anal ticas. No exemplo a seguir vemos que a s erie n ao converge para o valor da fun c ao no ponto desejado. Exemplo 1.1. Fun c ao C mas que n ao e anal tica: f (x) = e1/x , 2 2 f (x) = 3 e1/x , f (0) = 0, x 2 2 4 6 f (x) = 4 e1/x + 6 e1/x , x x
2
f (0) = 0
Veja a Figura 1.1. A s erie de Taylor em torno de zero e identicamente zero. O incr vel e que com a estrutura de vari aveis complexas, ou seja a partir da deni c ao da derivada complexa, a propriedade de uma
[SEC. 1.1: FUNC OES ANAL ITICAS
Figura 1.1: Fun c ao C mas n ao anal tica, f (x) = e1/x . fun c ao ser anal tica decorre automaticamente da exist encia da primeira derivada! Vale recordarmos que se as fun c oes f e g s ao anal ticas em G ent ao f + g , f g e f /g tamb em s ao anal ticas (a u ltima desde que g = 0). Temos tamb em a Regra da Cadeia: sejam f e g anal ticas em G e , respectivamente. Suponha que f (G) . Ent ao g f e anal tica em Ge (g f ) (z ) = g f (z ) f (z ), z G. Se dissermos que f tem derivada em A, ent ao A e um aberto. Se A n ao for aberto ent ao f e anal tica em um aberto G e A G. Um resultado cl assico [10] nos diz que s eries de pot encia representam fun c oes anal ticas. Este importante resultado est a no enunciado da proposi c ao e corol ario a seguir: Proposi c ao 1.1. Seja a fun ca o f (z ) denida pela s erie de pot encias n a ( z a ) com raio de converg e ncia R > 0 . Ent a o n=0 n 1. A s erie
n=k
n(n 1) (n k + 1)an (z a)nk
tem raio de converg encia R para cada k 1. 2. f (k) (z ) e dada pela s erie acima, k 1, |z a| < R e f tem innitas derivadas na bola B (a; R).
3. Para cada n 0: an =
1 (n) f (a). n!
n Corol ario 1.1. Se encia R n=0 an (z a) tem raio de converg ent ao a s erie representa uma fun ca o anal tica f (z ) em B (a; R), ou seja
f (z )
n=0
an (z a)n .
As demonstra c oes podem ser encontradas nos livros de texto indicados em nossas refer encias, como por exemplo em Conway [10]. Um resultado ainda mais poderoso nos diz que basta f (z ) ser diferenci avel em, por exemplo, B (a; R) para automaticamente ser C e ter uma s erie de pot encias convergente para valores de f (z ), z B (a; R). Este resultado pode ser obtido atrav es da representa c ao integral de Cauchy. Ainda relativo ` a s erie de pot encias, vejamos agora alguns fatos importantes. Seja a s erie n=0 (z n /n!). Pelo teste da raz ao [10] temos que lim 1/n! 1/(n + 1)! = lim (n + 1).
n
A s erie acima tem raio de converg encia innito, ou seja, converge para todo z C. A converg encia e uniforme em cada compacto de C. E natural que esta s erie de pot encias represente uma fun c ao anal tica bastante conhecida e com deni c ao semelhante ao caso real. Deni c ao 1.3. A fun ca o exponencial para z C e dada por exp(z ) zn . n! n=0
Estudaremos algumas propriedades desta fun c ao assim como da fun c ao logaritmo. Mas antes recordemos as seguintes propriedades de s eries de pot encias. As demonstra c oes podem ser encontradas no livro do Conway [10], entre outros.
[SEC. 1.2: DUAS FUNC OES COMPLEXAS IMPORTANTES NESTE CURSO
Proposi c ao 1.2. Sejam an , bn duas s eries que convergem absolutamente, ou seja, |an |, |bn | convergem. Omitimos os ndices no somat orio para o texto car mais leve. Seja cn k=0 ak bnk . Ent ao cn = an bn converge absolutamente. O mesmo vale para dn , onde dn = an + bn . Agora uma propriedade semelhante, s o que para s erie de pot encias. Vimos que estas representam fun c oes anal ticas. Proposi c ao 1.3. Sejam an (z a)n , bn (z a)n s eries de pot encias com raio de converg encia maior ou igual do que r > 0. Ent ao (an + bn )(z a)n e cn (z a)n , com cn denido acima, t em raio de converg encia maior ou igual do que r > 0 e (an + bn )(z a)n = cn (z a)n = para |z a| < r. an (z a)n + an (z a)n bn (z a)n , bn (z a)n ,
1.2
Duas fun c oes complexas importantes neste curso: ez e log z

nz n1 n! n=1
Exemplo 1.2. Vimos que f (z ) = ez e anal tica em C, logo f (z ) =
pode ser calculada desta forma. Note tamb em que nz n1 nz n1 zn = = = ez . n! n(n 1)! n=0 n! n=1 n=1 Conclus ao: f (z ) = ez como no caso real. Temos diversas propriedades para esta fun c ao complexa, que poderiam ter sido antecipadas devido ` a analogia com o caso real. Em particular:

10
1. Seja g (z ) = ez ez . Ent ao g (z ) = ez ez ez ez 0, z C. Ent ao g (z ) e constante com g (0) = 1. Assim conclu mos que 1 ez = ez . 2. J a que ez = Ent ao:
n=0
z n /n! ent ao ez =
n n=0 (z ) /n!
= ez .
ei
|ez | = ez ez = ez+z = exp(2Re z ),

2
= ei ei = 1.
Como era de se esperar z = ei s ao n umeros complexos sobre o c rculo unit ario. Em analogia com ex denimos cos z 1 z4 z 2n z2 + + + (1)n + , 2! 4! (2n)! z3 z 2n+1 sin z z + + (1)n + . 3! (2n + 1)!
As seguintes propriedades valem: 1. Ambas as s eries t em raio de converg encia R = . Portanto, cos z e sin z s ao anal ticas em C. 2. Podemos diferenciar a s erie de pot encias e concluir que d cos z = sin z. dz 3. Estas s eries de pot encias convergem absolutamente: cos z = 1 iz e + eiz , 2 1 iz e eiz . sin z = 2i
4. Temos que cos2 z + sin2 z = 1, mas isso n ao signica que as fun c oes sin e cos sejam limitadas por 1, em contraste com o caso real.
11
Obtemos tamb em eiz = cos z + i sin z, a conhecida f ormula de Euler. 5. J a sabemos que ei representa um n umero sobre o c rculo unit ario. Reciprocamente todo n umero sobre o c rculo unit ario pode ser representado como ei , [0, 2 ). Logo, z C {0}, z = |z | ei , [0, 2 ). Chamamos de argumento de z ( = arg z ). O argumento pode ser escolhido num outro intervalo de comprimento 2 . O argumento, como fun c ao de z , n ao est a determinado de forma un voca. Finalmente: ez = ex eiy |ez | = ex = eRe z , arg ez = Im z.
Deni c ao 1.4. Seja f tal que f (z + c) = f (z ) para todo z C, c C. Ent ao f e peri odica com per odo c.
Sabemos que ex n ao e uma fun c ao peri odica. Vejamos no entanto o que acontece no caso complexo. Exemplo 1.3. A fun c ao ez = ez+c = ez ec ser a peri odica se ec = 1. c 2ki Mas isto e poss vel pois e = e = cos(2k ) + i sin(2k ) = 1. Portanto o per odo e c = 2i.
Veremos a seguir a conseq u encia deste fato importante, ou seja, da exponencial complexa ser peri odica. Em particular isto ter a um grande impacto no logaritmo complexo, que precisar a de cuidados especiais para ser denido como a fun c ao inversa da exponencial. Um dos pontos deste texto e mostrar como essa aparente dor de cabe ca e na verdade uma bela ferramenta no trato de singularidades, e que pode ser utilizada em Modelagem Matem atica de problemas, por exemplo, em Din amica dos Fluidos. Deni c ao 1.5. Queremos denir a fun c ao log w, w C de tal forma que w = ez quando z = log w.
12
y 2i x
2i 2i
Figura 1.2: Comportamento de ez repetido em cada faixa. Listemos as diculdades com este problema de inverter ez : 1. A fun c ao ez n ao e injetora (n ao e 1-a-1). 2. Considere z C, onde ez = 0. Como fazemos para denir log w quando w 0? Para examinar esta quest ao sabemos que se z = x + iy , ent ao |w| = ex , y = arg w + 2k . Sabemos inverter a parte real |w| = ex ou seja, escrevemos que ln |w| + i(arg w + 2k ) : k inteiro (1.1) representam as poss veis solu c oes de w = ez , para um n umero complexo w dado. Isto e conseq u encia da imagem de cada faixa representada na Figura 1.2 ser uma c opia do plano complexo w, onde w = ez . Assim, sob a c ao do logaritmo, o plano complexo w tem innitas (poss veis) pr e-imagens no plano z . Em resumo, isto nos leva ` a seguinte deni c ao. Deni c ao 1.6 (Ramo do logaritmo). Seja G C {0} um aberto conexo com f : G C uma fun c ao cont nua tal que z = exp f (z ) , para todo z G. Ent ao f e um ramo do logaritmo.
Na deni c ao acima f faz o papel da inversa de ez dentro de G. Para tentar tornar esta discuss ao mais transparente estudemos o seguinte exemplo:
13
y w= z1 z2 x z w2 z = w2 Plano w w = + i
w1
Plano z z = x + iy
Figura 1.3: Ramo da fun c ao raiz quadrada. Exemplo 1.4. Considere w = f (z ), z = w2 .
Seja z = ei . Ent ao podemos tentar denir a raiz quadrada como sendo w = f (z ) = z = ei/2 . Veja a Figura 1.3. Por exemplo, z1 = ei0 z2 = ei2 z3 = ei4 f (z1 ) = w1 = ei0 = 1, f (z2 ) = w2 = ei = 1, f (z3 ) = w3 = ei2 = 1.
N ao temos uma fun c ao bem denida, z = 1 tem m ultiplas imagens! Para termos uma fun c ao bem denida precisamos restringir os valores de . Assim 0 < < 2 representa um ramo da fun c ao f (z ) e 2 < < 4 representa o outro ramo. Neste caso s o temos dois ramos diferentes no sentido que se tomarmos : 4 < < 6 a fun c ao vai ser a mesma que para 0 < < 2 . O ponto z = 0 (em torno do qual detectamos o problema de multi-valores da fun c ao) e chamado de ponto de ramica ca o. A linha de corte e uma linha partindo do ponto de ramica c ao, indicando como permitimos a varia c ao do argumento, ou seja, indicando com qual ramo estamos trabalhando. Veja a Figura 1.4, na qual foi escolhido o ramo 0 < < 2 . A cada ramo corresponde uma folha da Superf cie de Riemann representada na Figura 1.5. Por Superf cie de Riemann entendemos uma extens ao do plano complexo a uma superf cie com v arias folhas repetindo C. Esta descri c ao serve para ilustrarmos como cada
14
0 2 x
Figura 1.4: Ramo do argumento, : ponto de ramica c ao, y
: corte.
x C I II
Figura 1.5: Superf cie de Riemann de duas folhas.
fun c ao com m ultiplos valores em um ponto ca bem denida na Superf cie de Riemann apropriada. No caso da Figura 1.5, a linha de corte e o eixo real positivo. As folhas est ao unidas atrav es da linha de corte da forma indicada pela curva: come cando na folha I com linha cont nua, a curva d a uma volta em torno de zero e vai para a folha II, a curva (agora de linhas pontilhadas) d a mais uma volta ao redor de zero e volta para o ponto inicial em I. N ao h a d uvidas sobre o valor da fun c ao em cada ponto: a folha onde estivermos determina o ramo. Criamos uma fun c ao cont nua e injetora na Superf cie de Riemann para a fun c ao z .
15
Figura 1.6: Ramo do logaritmo. Voltemos ao caso anterior para estudarmos um ramo do logaritmo. Seja G C {w : w 0}. Note como estamos restringindo o argumento de w, veja a Fig. 1.6. Desta forma G e aberto e conexo e cada w G pode ser representado de forma u nica, como por exemplo w = |w| ei , < < . Neste ramo temos f (rei ) = ln r + i, r |w|. N ao temos ambig uidades quanto ao argumento . Para o logaritmo existem innitos ramos, associados aos valores de k no argumento, Eq. (1.1). Portanto, temos innitas folhas na Superf cie de Riemann correspondente ao logaritmo, veja a Figura 1.7. Agora podemos usar a seguinte proposi c ao para denir o logaritmo como uma fun c ao anal tica em um aberto. Proposi c ao 1.4. Sejam G e abertos em C tais que f : G C e g : C s ao cont nuas com f (G) e g f (z ) = z para todo z C. Se g for diferenci avel com g (w) = 0 ent ao f e diferenci avel com 1 f (z ) = . g f (z ) Se g for anal tica (continuamente diferenci avel) ent ao f e anal tica. Corol ario 1.2. Um ramo do logaritmo e anal tico e sua derivada e z 1 .
16
y C
z = log w x w = ez
Figura 1.7: Superf cie de Riemann de innitas folhas. Para um ramo do logaritmo as seguintes propriedades s ao v alidas: f (z ) = log z = w, g (w) = ew , onde g f (z ) = z , g (w) = ew , com g f (z ) = z f (z ) = z 1 . O ramo principal do logaritmo e o ramo denido acima para C {z : z 0} com (, ). Para outras escolhas do argumento simplesmente chamamos cada um destes ramos de um ramo do logaritmo. Em geral quando nada e dito sobre o ramo do logaritmo e porque estamos trabalhando com o ramo principal.
1.3
Equa c oes de Cauchy-Riemann e fun c oes harm onicas

aberto + conexo regi ao.
De agora em diante vamos abreviar nossa terminologia de forma que
Seja f : G C anal tica com u(x, y ) = Re f (z ), v (x, y ) = Im f (z ), z = x + iy.
[SEC. 1.3: EQUAC OES DE CAUCHY-RIEMANN E FUNC OES HARMONICAS
17
Tomemos duas dire c oes particulares na deni c ao da derivada complexa f (z + h) f (z ) f (z ) = lim . h0 h Primeiro com h R: f (z + h) f (z ) u(x + h, y ) u(x, y ) v (x + h, y ) v (x, y ) = +i . h h h u v df = +i dz x x Agora em outra dire c ao, pelo eixo imagin ario, temos que Para h 0, (1.2)
u(x, y + h) u(x, y ) v (x, y + h) v (x, y ) f (z + ih) f (z ) = +i . ih ih ih No limite h 0: df u v = i + dz y y (1.3)
Como (1.2) e (1.3) devem ter o mesmo valor, conclu mos que v u = x y e u v = . y x
Este sistema de EDPs (Equa c oes Diferenciais Parciais) constitui as chamadas equa co es de Cauchy-Riemann. Usando a suavidade de u e v (partes real e imagin aria de uma fun c ao anal tica) ent ao 2v 2u = x2 yx e 2u 2v = . y 2 xy
Somando as duas EDPs temos que 2u 2u + 2 = 0 ou x2 y u = 0,
onde e o operador Laplaciano. A fun c ao u(x, y ) e dita harm onica, e o mesmo vale para v (x, y ). No Cap tulo sobre Din amica dos Fluidos veremos uma bela interpreta c ao das equa c oes de Cauchy-Riemann, al em de aplica c oes deste tipo de formula c ao, atrav es de potenciais
18
harm onicos e de potenciais complexos. Faremos uma cuidadosa constru c ao do modelo em Din amica dos Fluidos de forma que a velocidade complexa de um uido tenha uma interpreta c ao f sica muito clara. Temos tamb em o seguinte o resultado, para o qual a demonstra c ao se encontra, por exemplo, no livro do Conway [10]. Neste texto nos ser au til a dire c ao demonstrada acima de que as partes real e imagin aria de uma fun c ao anal tica satisfazem as equa c oes de CauchyRiemann. Teorema 1.1. Sejam u(x, y ), v (x, y ) fun co es a valores reais denidas em uma regi ao G tais que suas derivadas parciais sejam cont nuas. Ent ao f : G C, f (z ) u + iv e anal tica se e somente se u e v satisfazem as equa co es de Cauchy-Riemann. Um outro problema de interesse, de utilidade em Din amica dos Fluidos e proposto a seguir. Seja G uma regi ao tal que u : G R e harm onica. Existe uma fun c ao v (x, y ), v : G R tal que f = u + iv e anal tica? Quando isto acontece dizemos que v e a conjugada harm onica de u. Nem sempre e facil resolver este problema. Integrais singulares aparecem neste contexto, integrais essas semelhantes a algumas que veremos mais adiante neste texto [1, 12]. As integrais singulares associadas a conjugados harm onicos s ao chamadas de Transformadas de Hilbert. No entanto o tema e por demais avan cado diante de nossa proposta de um texto introdut orio. Mas podemos fazer uma pergunta que e f acil: s ao u nicas as conjugadas harm onicas?
1.4
Fun c oes anal ticas estudadas como aplica c oes
Voltemos a olhar para f (z ) = z 2 = + i . Temos que x2 y 2 + i(2xy ) = (x, y ) + i (x, y ). Mudamos a nota c ao das partes real e imagin aria de f para conectar com a leitura do pr oximo cap tulo. Ent ao atrav es das constantes reais c e d escrevemos (x, y ) = x2 y 2 = c e (x, y ) = 2xy = d
[SEC. 1.4: FUNC OES ANAL ITICAS ESTUDADAS COMO APLICAC OES
19
que nos d ao curvas de n vel no plano w = + i . Para podermos analisar/estudar aspectos geom etricos entre essas duas curvas comecemos pela deni c ao abaixo. Deni c ao 1.7. Um caminho na regi ao G C e uma fun c ao cont nua : [a, b] G, dado [a, b] R. Quando (t) existe t [a, b] com : [a, b] C cont nua, ent ao dizemos que o caminho e suave. Se, al em disso, = 0 em [a, b] dizemos que o caminho e regular. O caminho e suave-por-partes na parti c ao de [a, b], a = t0 < t1 < < tn = b, (regular-por-partes ), quando e suave (regular ) em cada sub-intervalo [ti , ti+1 ]. Chamamos a aten c ao que (t) = lim (t + h) (t) h
h0
existe em [a, b] com limh0 e limh0 existindo em a e b respectivamente. Como a parametriza c ao e real temos que Re e Im t em derivadas bem denidas de acordo com o limite acima, ou seja, o da deni c ao de derivada no sentido (usual) de fun c oes reais. Agora vamos estudar como se modicam os angulos entre duas curvas quando transformadas por uma fun c ao anal tica. Vamos supor que o caminho e regular, ou seja, (t) = 0 t [a, b]. Isto implica que existe o vetor tangente de em z = (t): [Re (t), Im (t)]T . O vetor tangente est a orientado no mesmo sentido da curva e seu angulo de inclina c ao e igual ao arg (t). Assim se temos dois caminhos suaves 1 e 2 tais que 1 (t1 ) = 2 (t2 ) = z0 , 1 (t1 ) = 0, 2 (t2 ) = 0, podemos denir o a ngulo entre os dois caminhos em z0 como arg 2 (t2 ) arg 1 (t1 ). Uma outra propriedade importante. Seja G um caminho suave, e f : G C uma fun c ao anal tica, Ent ao = f tamb em e um caminho em C, onde (t) = f (t) (t). Seja z0 = (t0 ), (t0 ) = 0 e tamb em f (z0 ) = 0. Ent ao (t0 ) = 0 e arg (t0 ) = arg f (t0 ) + arg (t0 ).
20 y
2 1 2 (t2 ) z0 = 1 (t1 ) x f 2
1 w0
Figura 1.8: f (z0 ) = 0.
Angulo preservado pela fun c ao anal tica f quando
Assim obtemos que arg f (z0 ) = arg (t0 ) arg (t0 ). (1.4)
Sejam 1 (t1 ) = 2 (t2 ) = z0 , 1 (t1 ) = 0 = 2 (t2 ), com vetores tangentes n ao paralelos. Considere tamb em que 1 f 1 , 2 f 2 . Da Eq. (1.4) temos que arg 2 (t2 ) arg 1 (t1 ) = arg 2 (t2 ) arg 1 (t1 ).
(1.5)
Veja a Figura 1.8. Acabamos de provar o seguinte teorema: Teorema 1.2. Seja f : G C, anal tica. Ent ao f preserva a ngulos em cada ponto z G onde f (z ) = 0. Diante da exposi c ao acima a seguinte deni c ao e bem-vinda. Deni c ao 1.8. A fun c ao f : G C que preserva angulos com
z a
lim
|f (z ) f (a)| |z a|
existindo, para todo a G, e chamada de aplica ca o conforme. Se f for anal tica com f (z ) = 0 para todo z G ent ao f e conforme. O contr ario e verdadeiro: quando a fun c ao f for conforme em z0 , ent ao a fun c ao ser a anal tica em z0 .
21
Exemplos gr acos ser ao apresentados no Cap tulo 2, demonstrando com grande precis ao as curvas de n vel indicadas no texto acima. Comecemos com um exemplo que ser a revisitado no pr oximo Cap tulo. Exemplo 1.5. Considere f (z ) = ez . Seja a reta z = c + iy , ent ao w = ec eiy = reiy , a imagem e um c rculo de raio r. Ambas curvas est ao representadas na Figura 1.9 por uma linha cont nua grossa. Considere tamb em a reta z = x + id paralela ao eixo x, cuja imagem w = ex eid = ex ei e um raio partindo de zero com angulo = d. O angulo reto e mantido nas curvas imagem. Observe que quando x , x +, Tamb em temos que z =x+i Quando z = x + iy x + i, e se Em resumo, f (z ) = ez denida em G = {z : < Im z < } e uma aplica c ao 1-a-1 com imagem f (G) = = C {z : z 0}. Exemplo 1.6. Consideremos a inversa da fun c ao denida no Exemplo 1.5. Trata-se do ramo principal do logaritmo. Restringindo o dom nio a 0 = {z : |z | 1} a imagem ser a a metade da faixa, veja a Figura 1.10. Repare na deforma c ao da fronteira de 0 e na preserva c ao dos angulos. z = x + iy x i, w ex . w ex , w = ex ei/2 = iex I. 2 w = ex ei 0, |w| = ex .
22
y i ez = w c i x
r = ec
Figura 1.9: Aplica c ao conforme ez da faixa na regi ao = C {z : z 0}.
i log z x 1 i
Figura 1.10: Mapeamento da regi ao circular 0 na metade da faixa de largura 2 .
23
1.4.1
Transforma c oes de M obius

az + b cz + d
Deni c ao 1.9. Uma aplica c ao da forma S (z )
e chamada de transforma ca o linear (fracionada) . Se a, b, c e d forem tais que ad bc = 0 ent ao S (z ) e chamada de transforma ca o de M obius. Assim se S (z ) e de M obius ent ao a aplica c ao inversa S 1 (z ) = dz b cz + a
existe e S S 1 (z ) = S 1 S (z ) . Tamb em temos a propriedade que se S e T s ao duas transforma c oes lineares ent ao S T tamb em e uma transforma c ao linear. Note que dada S (z ) = e C tal que = 0, ent ao S (z ) = (a)z + (b) a, b, c e d n ao s ao u nicos. (c)z + (d) {}), e conaz + b cz + d
Ainda, denotando por C os complexos estendidos (C siderando que S : C C ent ao S () = a/c, S (d/c) = .
Isto nos indica (simbolicamente) como s ao mapeados os pontos no innito. E temos o seguinte importante teorema sobre transforma c oes de M obius como aplica c oes conformes. Teorema 1.3. Uma transforma ca o de M obius leva c rculos em c rculos. Esse e um resultado cl assico em An alise Complexa e a demonstra c ao pode ser encontrada em, por exemplo, [3, 10]. Com a interpreta c ao acima sobre os complexos estendidos, devemos lembrar que,
24
por exemplo, o semiplano superior pode ser pensado como um c rculo de raio innito e borda coincidindo com o eixo real. Temos alguns casos particulares de transforma c oes de M obius. Primeiro, S (z ) = z + e uma transla c ao, onde C. Temos tamb em S (z ) = z uma dilata c ao com R {0}, S (z ) = ei z uma rota c ao, e por m S (z ) = 1/z uma invers ao. Proposi c ao 1.5. A transforma ca o de M obius S e uma composi ca o de transla co es, dilata co es e invers oes [3, 10]. Por m uma propriedade u til na constru c ao de aplica c oes conformes (de M obius), que transformam uma regi ao dada em outra. Seja S (z ) uma transforma c ao de M obius com a, b, c C , distintos, onde S (a) = , S (b) = , S (c) = . Seja T (z ) outra transforma c ao de M obius com as mesmas propriedades. Ent ao R T 1 S tem a, b, c como pontos xos: R(a) = a, R(b) = b, R(c) = c.
Mas uma transforma c ao de M obius s o pode ter dois pontos xos: S (z ) = az + b = z cz 2 + (d a)z b = 0. cz + d
Ent ao T 1 S = I e S ca determinada/caracterizada pela sua a c ao sobre tr es pontos em C . Usaremos este fato para (manualmente/por inspe c ao) construirmos, por exemplo, uma aplica c ao do semiplano no disco unit ario. Veremos este exemplo no pr oximo cap tulo.
1.5
Integra c ao complexa
Sabemos que a integral indenida de df = f (z ) dz (anti-derivada), e a fun c ao cuja derivada e igual ` a fun c ao anal tica f (z ) em uma regi ao. Em An alise Complexa as integrais denidas em geral s ao tomadas sobre arcos diferenci aveis (caminhos diferenci aveis), ou diferenci aveis por partes. Usando a parametriza c ao do caminho (ou arco) podemos nos apoiar na constru c ao de integrais reais denidas.
COMPLEXA [SEC. 1.5: INTEGRAC AO
25 (tk )
(a)
(b)
Figura 1.11: Parti c ao P para uma fun c ao .
1.5.1
Integral de linha
Vamos iniciar esta parte sobre integrais com uma revis ao rel ampago em conceitos associados a integrais de Riemann-Stieltjes [10]. Deni c ao 1.10. A fun c ao : [a, b] C, [a, b] R,
e dita ser de varia ca o limitada (VL) se existir uma constante M > 0 tal que para toda parti c ao P = {a = t0 < t1 < < tm = b} de [a, b]:
m
V (, P )
k=1
| (tk ) (tk1 )| M.
Veja a Fig. 1.11. A varia c ao total de , V ( ) e denida por c oes de [a, b] . V ( ) sup V (, P ) : P , parti
P
Um contraexemplo: (t) = t + i cos(1/t), t [0, 1] n ao e de varia c ao limitada. Vejamos uma seq u encia de resultados u teis, que n ao ser ao demonstrados para podermos avan car mais rapidamente nos temas principais deste texto. Proposi c ao 1.6. Seja a fun ca o : [a, b] C de varia ca o limitada.
26
1. P , Q, parti co es de [a, b], P Q. Ent ao V (, P ) V (, Q). 2. : [a, b] C, tamb em VL, , C, ent ao + e VL, com V ( + ) || V ( ) + | | V ( ). Proposi c ao 1.7. Seja : [a, b] C suave por partes ( cont nua por partes). Ent ao e VL com
b
V ( ) =
a
| (t)| dt.
Teorema 1.4. Sejam : [a, b] C (VL) e f : [a, b] C (cont nua). Ent ao existe I C tal que para cada > 0 conseguimos obter > 0 com a propriedade seguinte: dada a parti ca o P = {t0 < t1 < < tm } de [a, b], tal que ||P || = max (tk tk1 : 1 k m) < , vale I
m
k=1
f (k ) (tk ) (tk1 )
< ,
para qualquer escolha de pontos k , tk1 k tk . Em resumo, a soma converge para I onde
m
f (k )
k=1
(tk ) (tk1 ) tk tk
lembra uma integral num erica sobre uma discretiza ca o (uma grade) do caminho . Assim temos que
b b
I=
a
f d integral de Stieltjes
=
a
f (t) d (t) na forma parametrizada
Proposi c ao 1.8. Sejam f , g cont nuas em [a, b]; , VL em [a, b]. Ent ao para complexos e :
COMPLEXA [SEC. 1.5: INTEGRAC AO b (f a b a b a b a
27 g d . f d .
1. 2.
+ g ) d =
f d + f d +
f d( + ) =
b a
b a
Proposi c ao 1.9. Seja : [a, b] C VL; f : [a, b] C cont nua, a = t0 < t1 < < tn = b. Ent ao
b n tk
f d =
a k=1 tk1
f d.
Teorema 1.5. Seja suave por partes e f : [a, b] C cont nua. Ent ao
b b
f d =
a a
f (t) (t) dt.
Este teorema e bastante u til. Seja : [a, b] C um caminho. Ent ao o conjunto tr = z = (t) : a t b e chamado de o tra co de . As seguintes propriedades valem: O tra co de e compacto. e um caminho retic avel se e VL. V (, P ) e uma soma de segmentos retos. retic avel tem comprimento nito = V ( ). suave por partes e retic avel V ( ) =
b (t) dt. a
: [a, b] C retic avel com tr E C. Se f : E C e cont nua ent ao f e cont nua em [a, b]. Deni c ao 1.11. Seja : [a, b] C retic avel, f : tr C cont nua (quando denida sobre o tra co de ). Ent ao escrevemos
b
f (t) d (t) =
a
f=
f (z ) dz
para a integral de linha ao longo de .
28 Exemplo 1.7.
1 dz, z
: [0, 2 ] C,
(t) = eit .
Note que z = 0 ao longo de tr . 1 dz = z ou

2
(eit )
0
dz dt = dt
eit (ieit ) dt = 2i
0
1 2i
1 dz = 1, z
onde e o c rculo unit ario. Exemplo 1.8. Seja m um inteiro positivo. Ent ao
2 2
z m dz =
0
eimt (ieit ) dt = i
0 2
ei(m+1)t dt =
2
=i
0
cos(m + 1)t dt + i
0
sin(m + 1)t dt = 0.
1.6
Indice de caminho fechado

1 dz = (2in) z a
Acabamos de ver que
se (t) = a + e2nit . Proposi c ao 1.10. Seja : [0, 1] C, retic avel, fechada, suave, e a tr . Ent ao dz 1 = inteiro. 2i z a Demonstra ca o. Usando uma parametriza c ao (t) (para esta curva suave), onde z tr e dz = (t) dt, denimos
t
g (t)
(s) ds, (s) a
0 t 1.
[SEC. 1.6: INDICE DE CAMINHO FECHADO 1 z a
29 dz . Tamb em temos que 0t1
Obviamente g (0) = 0 e g (1) = g (t) = ou
(t) , (t) a
g (t) (t) a (t) = 0. Com o fator de integra c ao eg(t) obtemos que d eg(t) ( (t) a) = 0 dt eg(t) (t) a = constante
constante
eg(0) (0) a = (0) a Portanto como a curva e fechada eg(1) = 1
eg(1) (1) a .
g (1) = 2in, n inteiro.
Ent ao provamos a proposi c ao 1 2i 1 dz = n, z a inteiro.
Naturalmente surge a deni c ao de ndice de uma curva fechada. Este importante conceito ser a usado no Cap tulo 4 sobre integrais singulares. Deni c ao 1.12. Seja um caminho fechado retic avel em C. Ent ao para a tr 1 1 n(, a) = dz 2i z a e chamado de ndice de e d a uma id eia do n umero efetivo de voltas (winding number ) que (t) d a em torno de a. Est a associado ` a varia c ao do argumento de (t) neste percurso ao redor de a. Proposi c ao 1.11. Sejam , retic aveis fechadas, compartilhando do mesmo ponto inicial. Ent ao 1. n(, a) = n(, a) para todo a tr .
30
Vale lembrar que neste caso , s ao curvas denidas em [0, 1], com (1) = (0). Assim uma parametriza c ao natural para a combina c ao dos dois caminhos e (2t), 0 t 1/2, ( + )(t) = (2t 1), 1/2 t 1. Acima estudamos o caso onde 1 dz = za
i(2n)t 1 0
2. n( + , a) = n(, a) + n(, a) para todo a tr tr .
(t) dt = 2in (t) a
quando a + re . Se us assemos nossa intui c ao de vari aveis reais buscar amos fazer o c alculo da forma 1 t=1 dz = log (t) a t=0 . z a Dois problemas surgiriam: 1. Com (t) uma curva fechada obter amos sultado est a errado!
1 z a
dz = 0. O re-
2. N ao temos como denir um ramo de log(z a) quando o caminho completa um ciclo completo entorno do zero do log. O corte do ponto de ramica c ao cortaria o caminho. A alternativa (correta) para fazer sentido deste c alculo e tomar 1 dz = log (1) a log (0) a = z a = ln | (1) a| + i arg[ (1) a] ln | (0) a| + + i arg[ (0) a] Agora sim, ou seja, 1 1 ndice n(, a) = dz, 2i z a do caminho i arg (1) a arg (0) a . = 2 = i arg[ (1) a] arg[ (0) a] .
[SEC. 1.6: INDICE DE CAMINHO FECHADO
31
Figura 1.12: Curva e o aberto G com quatro regi oes simplesmente conexas.
Com esse c alculo estamos contando o n umero efetivo de voltas em torno de um ponto. Como temos uma diferen ca de argumentos n ao importa o ramo escolhido. No u ltimo Cap tulo estudaremos o que acontece quando o ponto z = a cruza o caminho , de um lado para o outro do dom nio multiplamente conexo. Veremos que nosso objeto de controle e o ndice da curva. O pr oximo teorema apresenta um resultado nesta dire c ao. Teorema 1.6. Seja retic avel, fechada e G C tr um aberto. Ent ao n(, a) e constante para a em uma componente conexa de G. Em particular, n(, a) = 0 quando a est a na componente ilimitada de G. Veja a Figura 1.12. Demonstra ca o. Seja f (a) : G C onde f (a) = n(, a). Detalhes da demonstra c ao podem ser encontradas na p agina 82 do livro do Conway [10]. No entanto a id eia da demonstra c ao e: Mostrar que f e cont nua. Como conseq u encia deste fato teremos que: Se D e uma componente conexa de G f (D) e conexo. f (G) Z pois e fechada, portanto f (D) e constante.
32
1.7
A F ormula Integral de Cauchy e o Teorema de Cauchy
Em cursos usuais de An alise Complexa aprendemos que f = 0,

c rculo
f = 0,
quando f e anal tica em um disco contendo a curva retic avel . Veja por exemplo a Proposi c ao 2.15 no livro do Conway [10]. Agora queremos estudar casos de dom nios mais gerais, como uma regi ao perfurada. Por exemplo, seja G = C {0}, f (z ) = z 1 anal tica em G. A regi ao G tem um buraco, um furo, e n ao e simplesmente conexa. Agora temos um problema: f = 0. Com G perfurada e f es do ndice anal tica dadas analisamos diferentes casos de f atrav de . Vejamos a seguir. Lema 1.1. Seja retic avel, uma fun ca o denida e cont nua em tr . Para cada m 1 denimos Fm (z ) (w) dw, ( w z )m z tr .
Ent ao Fm e anal tica em C tr com

Fm (z ) = mFm+1 (z ).
Demonstra ca o. Um esbo co em dois passos. 1. Fm e cont nua: para estudar Fm (z ) Fm (a) observe que 1 1 = (w z )m (w a)m = 1 1 wz wa 1 (w z )m (w a)
k=1
1 1 (w z )mk (w a)k1 + 1 (w z )m1 (w
= (z a)
+ a)2 1 + (w z )(w a)m
[SEC. 1.7: A FORMULA INTEGRAL DE CAUCHY E O TEOREMA DE CAUCHY
33
e usamos t ecnicas/estimativas semelhantes ao Teorema 1.6, notando que como tr e compacto, cont nua e limitada sobre tr . 2. Diferenciabilidade: escolhemos um a em G = C tr com z G, z = a de maneira que Fm (z ) Fm (a) = za (w)(w a)1 dw + + (w z )m +
(w)(w a)m dw. (w z )
Como a tr ent ao (w)(w a)k , k = 1, . . . , m, s ao cont nuas em w tr . Pela primeira parte temos que cada integral acima e cont nua, como fun ca o de z . Desta forma os limites destas integrais existem, caracterizando a exist encia do limite, escrito ` a esquerda, que dene a derivada de Fm : lim Fm (z ) Fm (a) = Fm (a) = za (w) = dw + + m+1 (w a)
z a
(w) dw = mFm+1 (a). m+1 (w a)
Al em disso obtemos a f ormula de recorr encia desejada. Com as ferramentas acima, junto com t ecnicas em s erie de pot encias dentre outras, chegamos a dois teoremas cl assicos e vitais em An alise Complexa. Apresentaremos apenas uma vers ao de cada teorema. Variantes destas vers oes podem ser encontradas em [1, 3, 10].
1.7.1
F ormula Integral de Cauchy
Tendo em m aos o ndice de uma curva assim como os valores de uma fun c ao anal tica sobre o tra co desta curva, que pode ser interpretado como a fronteira de um dominio, o teorema a seguir nos d a uma bela representa c ao integral para o valor da fun c ao anal tica em qualquer
34
ponto interior ` a curva. Esta ser a a representa c ao integral de f atrav es de seus valores de fronteira. Seja G um aberto, subconjunto de C, f : G C anal tica, fechada, retic avel em G com n(, w) = 0 para todo w C G. Ent ao para a G tr : n(, a)f (a) = 1 2i f (z ) dz. z a
Seja o caso de uma curva simples . Ent ao o valor de f em um ponto interior z = a pode ser calculado usando apenas valores de f conhecidos na fronteira, ou seja, sobre o tr .
1.7.2
Teorema de Cauchy
Sejam as hip oteses da f ormula integral de Cauchy dada acima. Sejam 1 , 2 , . . . , m curvas fechadas retic aveis, tais que
m
n(k , w) = 0,
k=1
w C G.
Ent ao
f (z ) dz = 0.
k=1 k
1.7.3
Novidades
O que foi apresentado neste cap tulo e material cl assico encontrado na maioria, sen ao todos, os livros em An alise Complexa. A novidade com respeito ` as integrais acima ser a a apresenta c ao, em mais detalhe, da an alise para a situa c ao onde permitimos que o ponto interior ` a curva se aproxime da mesma. Em outras palavras, a pergunta e: o que acontece com o valor da integral quando fazemos tender um ponto interior z = a na representa c ao integral para um ponto no tra co da curva? Estudaremos esta aproxima c ao tanto pelo lado de dentro, como pelo lado de fora da componente conexa. O integrando ir a explodir (ter uma singularidade) mas ainda assim poderemos fazer sentido matem atico deste limite. E mais, indicaremos problemas
[SEC. 1.7: A FORMULA INTEGRAL DE CAUCHY E O TEOREMA DE CAUCHY
35
em Din amica dos Fluidos onde este limite desempenha um importante papel em Modelagem Matem atica. Neste sentido o Cap tulo 3 e uma pe ca chave nos auxiliando a descrever modelos complexos em Din amica dos Fluidos. Outra novidade diz respeito a Aplica c oes Conformes. No pr oximo Cap tulo apresentaremos a transforma c ao de Schwarz-Christoel, para dom nios poligonais, assim como sua vers ao computacional em aplica c oes ` a Din amica dos Fluidos. Essas novidades s ao at picas em cursos de An alise Complexa em geral, em particular no n vel gradua c ao.
Cap tulo 2
Aplica c ao de Schwarz-Christoel
2.1 Introdu c ao ` a aplica c ao de SchwarzChristoel
Faremos aqui uma breve introdu c ao ` a aplica c ao de Schwarz-Christoel (SC) descrevendo as no c oes fundamentais necess arias ` a compreens ao deste interessante t opico em Aplica c oes Conformes. Apresenta c oes mais aprofudadas encontam-se em livros como os de Henrici [12], Ablowitz e Fokas [1] e Driscoll e Trefethen [15]. Esperamos que nossa breve introdu c ao sirva de base para uma primeira visita conceitual e te orica ao tema, assim como uma revis ao ligeira e u til ` a sess ao de uso do programa computacional Schwarz-Christoel Toolbox (SCT). Este programa permite fazer numericamente aplica c oes conformes no MATLAB. Por tr as da aplica c ao de SC est a uma classe de aplica c oes conformes, expressa pela fun c ao complexa f , tal que sua derivada pode ser escrita na forma f (z ) df (z ) = dz 36
N
fk (z ),
k=1
(2.1)
A ` APLICAC DE SCHWARZ-CHRISTOFFEL [SEC. 2.1: INTRODUC AO AO
37
onde as fun c oes auxiliares fk s ao aplica c oes com propriedades mais simples, como veremos a seguir. Ent ao aceitemos esta forma proposta para a derivada da fun c ao f e vejamos algumas conseq u encias deste fato. O primeiro fato importante da estrutura desta derivada (ou seja da forma de um produto) e que
N
arg f (z ) =
k=1
arg fk (z ).
(2.2)
Observe, no caso mais simples, que se f (z ) = g (z ) h(z ) ent ao f = |f |eif = |g |eig |h|eih = |g h| ei(g +h ) . (2.3)
Nossa nota c ao e tal que |f | e o valor absoluto de f no ponto z e f e o argumento do n umero complexo w igual a f (z ). A mesma nota c ao se aplica ` as outras duas fun c oes g e h. Em outras palavras, o exemplo acima deixa bem claro que os argumentos de um produto se somam. Como a aplica c ao de SC se presta a mapear regi oes com fronteiras poligonais esta propriedade do argumento, descrita acima, e de import ancia vital. Assim se formos capazes de construir fk tais que arg fk sejam fun c oes degrau (com saltos) ent ao arg f ser a uma fun c ao constante por partes e (por exemplo) f (z ) ir a mapear o eixo real em uma poligonal. Vejamos a seguir como isso e poss vel, atrav es de exemplos simples. Como e t pico em aplica c oes conformes o ponto de maior esfor co digamos intelectual, na constru c ao da fun c ao correspondente, diz respeito ` a parte ao longo da fronteira. Ou seja, em mapear a fronteira do dom nio no plano complexo z corretamente na fronteira no plano complexo w, w = f (z ). Vejamos um exemplo simples onde a fronteira (ainda) n ao e uma poligonal. Depois veremos o caso de uma poligonal com um v ertice apenas. No exemplo da Figura 2.1 queremos ilustrar que controlando a localiza c ao da imagem e da pr e-imagem de certos pontos ao longo da fronteira, construimos a aplica c ao conforme desejada. Seja o exemplo onde queremos mapear o semiplano superior no disco unit ario, centrado na origem. Sabemos que transforma c oes lineares fracion arias mapeam discos em discos, onde um semiplano pode ser considerado como um disco de raio innito [1, 3, 10]. Neste caso n ao e dif cil
38
DE SCHWARZ-CHRISTOFFEL [CAP. 2: APLICAC AO
f (z ) = w 1 z = x + iy 1 w = + i
Figura 2.1: Aplica c ao do semiplano superior no disco unit ario. construir a aplica c ao por inspe c ao. Um ponto do semiplano superior ir a para a origem do plano w enquanto que o eixo real do plano z ir a formar o c rculo de raio unit ario. Um ponto no innito no plano z ir a ser mapeado para a borda do disco unit ario. Vamos iniciar escolhendo duas coisas: z = i como o ponto que vai para a origem e que um ponto no innito vai ter como imagem w = 1. Assim uma otima candidata ` a nossa aplica c ao conforme e a fun c ao w = f (z ) = zi . z+i
Note que j a garantimos que f (i) = 0 e que f (z ) 1 quando |z | . Na Figura 2.1 isto est a indicado pelas bolinhas pretas e pelos quadrados brancos, que, no plano z , indicam esquematicamente um ponto no innito. Seguindo regras de transforma c oes lineares fracion arias [10] sabemos que tr es pontos ao longo de um c rculo (no plano z ) v ao f denir um outro c rculo no plano w. E acil vericar que f (1) = i (bolinhas tracejadas), f (0) = 1 (quadrados pretos) e tamb em que f (1) = i (bolinhas brancas). Com bolinhas e quadradinhos representamos imagens e suas correspondentes pr e-imagens (no plano z ). Com isso ca evidente que a aplica c ao conforme f (z ) = w faz com que parte da fronteira, representada pelo eixo real positivo, abrace o disco unit ario por baixo: curva passando pelo quadrado preto, bolinha branca e quadrado branco. Enquanto isso o eixo real negativo, do plano z , abra ca o disco por cima. Todo o semiplano superior no plano z e mapeado para o interior do disco, com o eixo imagin ario
39
2.5
1.5
0.5
0.5
0.5
0.5
1.5
2.5
3.5
4.5
Figura 2.2: Aplica c ao do semiplano superior em um setor de angulo /4. positivo (y > 0) sendo mapeado para o segmento (1, 1) no plano w. Considere agora a seguinte fun c ao f (z ) tal que df = fk , dz f E acil de ver que
z z
com fk (z ) = (z zk )k .
w=
0
f (Z ) dZ =
0
1 1 dZ = (z zk )k + constante, (Z zk )k k
onde 1 k = k . A constante e uma transla c ao no plano w. O zk e uma transla c ao no plano z . Ent ao basta olharmos para a fun c ao (z ) = z k . Esta aplica c ao leva o semiplano superior em um setor de f angulo k conforme vemos na Figura 2.2. Por exemplo se k = 3/4 a imagem do semiplano superior e o quadrante arg w [0, /4]. As curvas dentro deste setor no plano w indicam as linhas x-constante (curvas que saem das arestas) assim como as linhas y -constante (curvas que tem o setor como ass ntota). Esse gr aco foi feito usando o Schwarz-Christoel Toolbox (SCT) [14] a ser descrito em detalhe
40
mais adiante. O SCT e um conjunto de rotinas do MATLAB que permitem construir a aplica c ao conforme numericamente. Exemplo 2.1. Canal com um degrau: Agora vejamos um exemplo interessante que pode ser feito tanto analiticamente como numericamente: o problema de um canal com um degrau, conforme apresentado na Figura 2.3. Esse canal pode ser visto de duas maneiras em termos de Din amica dos Fluidos. A primeira como o perl vertical de um canal, ou seja, na qual o degrau est a no fundo do canal que repentinamente muda de profundidade. A fronteira horizontal superior da faixa representa a superf cie da agua. Outra interpreta c ao v alida e a da vista superior de um canal ou rio, que repentinamente muda de largura. Como veremos no pr oximo Cap tulo, estes dois problemas (vista lateral ou superior) em din amica de uidos incompress veis e irrotacionais, podem ser modelados pela equa c ao de Laplace (fun c oes harm onicas). Conforme vimos no Cap tulo anterior, a parte real e a parte imagin aria de uma fun c ao anal tica (complexa) s ao fun c oes harm onicas. A aplica c ao conforme preserva esta propriedade de analiticidade. Assim a aplica c ao conforme, vista como uma mudan ca de vari aveis, preserva a propriedade da solu c ao do problema em Din amica dos Fluidos ser uma fun c ao harm onica. Desta forma uma boa estrat egia e resolver o problema de uidos no dom nio can onico, a faixa uniforme no plano z , e depois compor esta solu c ao com a mudan ca de vari aveis, ou seja com a aplica c ao conforme representada por w = f (z ) ou melhor substituindo z = f 1 (w). Com isso obtemos a solu c ao no dom nio f sico (no plano w) onde est a denido o canal com um degrau. Voltemos ent ao para o problema da mudan ca de vari aveis, ou seja para o problema de mapeamento conforme. Detalhes sobre a solu c ao anal tica deste problema podem ser encontrados no artigo de Floryan [11] (p agina 237) ou ainda em mais detalhe na p agina 287 do livro Theoretical Hydrodynamics de Milne-Thomson [23]. Este e um dos poucos casos em que podemos achar as pr e-imagens analiticamente assim como integrar dw/dz . Em geral a integral de dw/dz e na forma de uma integral el ptica, ou varia c oes da mesma devido a composi c oes de aplica c oes conformes. Vide Driscoll e Trefethen [15] p aginas 18 20 e p agina 41. Assim muitas dessas integrais n ao t em uma forma fechada como resultado.
41
2 1.5 1 0.5 0 0.5 1 1.5 4
Figura 2.3: Dom nio f sico: canal com um degrau. Seja a nota c ao onde a altura do canal uniforme (plano z ) e h, a altura ` a esquerda do degrau (no plano w) e H1 e a altura ` a direita do degrau e H2 , H1 < H2 . Para a solu c ao deste problema tomemos a derivada da aplica c ao conforme de SC na forma indicada na Eq. (2.1), ou seja, como um produto de duas fun c oes auxiliares na forma de senos hiperb olicos: dw = dz H1 H2 h2
1/ 2
sinh
z 2h
1/ 2
sinh
(z z2 ) 2h
1 / 2
(2.4) onde uma pr e-imagem foi colocada em z = z1 = 0 e a outra est a em z = z2 . Detalhes de como calcular esta segunda pr e-imagem encontram-se em [23]. Floryan [11] j a a apresenta como z2 = 2h ln H2 . H1
Note que temos a liberdade de pr e-estipular que a pr e-imagem z1 ter a como imagem a origem, ou seja, podemos impor w(z1 ) = w(0) = 0. Isso e coerente com o Teorema da Aplica c ao de Riemann [3, 10] que nos permite denir qual ponto (z = a) vai na origem, assim como o valor (real) f (a) > 0. Ou seja, nos fornece tr es graus de liberdade na deni c ao de uma aplica c ao de uma regi ao simplesmente conexa no disco. Ao impormos que a origem vai na origem gastamos dois graus de liberdade (parte real e parte imagin aria da restri c ao). Conrme que no resultado acima j a estamos usando esse fato. Outro
42
ponto a se notar e que a aplica c ao de SC, em sua deni c ao original, e do semiplano superior para o canal. Mas aqui Floryan est a mapeando um canal plano em um canal com um degrau, passando pelo semiplano superior. Esta composi c ao de aplica c oes conformes e que introduz a fun c ao seno hiperb olico. Verique, fazendo esse exerc cio em Aplica c oes Conformes entre o semiplano e a faixa uniforme. Voltando ` a solu c ao anal tica do canal com o degrau, a express ao da Eq. (2.4) pode ser integrada analiticamente para dar lugar ` a fun c ao w(z ) = onde s2 = H2 log 1+s 1s H1 log H2 H2 /H1 + s H2 /H1 s i(H2 H1 ), (2.5)
Em breve iremos validar no MATLAB alguns resultados da solu c ao anal tica fornecida acima. Mas primeiro precisamos aprender a utilizar o Schwarz-Christoel Toolbox (SCT) produzido pelo matem atico aplicado Prof. Toby Driscoll, do Departamento de Matem atica da University of Delaware, EUA. Teorema 2.1 (Teorema para a f ormula de Schwarz-Christoel). Seja P o interior de um pol gono . Sejam os v ertices denidos pelos pontos w1 , w2 , . . . , wn e, em cada v ertice, os a ngulos interiores 1 , 2 , . . . , n no sentido anti-hor ario, veja a Fig. 2.4. Seja f uma aplica ca o conforme qualquer do semiplano superior no pol gono P , com a pr e-imagem de wn no innito (simbolicamente f () = wn ). Ent ao a f ormula de SC para o semiplano (como dom nio can onico) e
z n1
exp (z/h) (H2 /H1 )2 . exp (z/h) 1
f (z ) = A + c
k=1
( zk )k 1 d,
(2.6)
para valores complexos das constantes A e c. Note que a integral na Eq. (2.6) e uma integral indenida, i.e., a primitiva do integrando. Temos uma transla c ao no plano w, por exemplo, associada ` a deni c ao da origem no dom nio can onico. Temos tamb em a constante de escalonamento c. Podemos mudar as escalas no semiplano
43
P n wn w1 w2 1 2
Figura 2.4: Nota c ao para a f ormula de SC.

3 2 1 0.4 0 0.2 1 2 1 0 1 2 0 1 0.5 0 0.5 1 1 0.8 0.6
Figura 2.5: Aplica c ao do semiplano superior em um tri angulo. que ainda assim teremos a aplica c ao desejada: por exemplo multipliquemos todos os z por 2. Lembramos que zk s ao as pr e-imagens de wk ou seja f (zk ) = wk , onde k = 1, . . . , n. A demonstra c ao desta vers ao pode ser encontrada em Driscoll e Trefethen [15] (p agina 11) assim como para algumas variantes desse enunciado. A demonstra c ao faz uso do Princ pio de Reex ao de Schwarz, de uma expans ao em uma S erie de Laurent e do Teorema de Liouville. Este caso que trata de pol gonos com v ertices nitos e retratado na Figura 2.5 onde mapeamos numericamente um tri angulo. Note que o v ertice superior do tri angulo foi mapeado para o innito. Mais adiante consideraremos casos com v ertices no innito.
44
2.2
Vers ao computacional da aplica c ao de Schwarz-Christoel
Nesta Se c ao nosso principal objetivo e iniciar o leitor ao uso do Schwarz-Christoel Toolbox (SCT) produzido pelo Prof. Driscoll. Al em de ser uma ferramenta computacional extremamente bem montada e divertida de utilizar, o SCT tem grande utilidade em estimular a intui c ao matem atica de iniciantes. Tamb em serve de ferramenta de pesquisa em problemas onde a aplica c ao de SC n ao tem uma f ormula anal tica fechada para as integrais produzidas no processo de deni c ao da aplica c ao. Os autores j a zeram uso desta ferramenta computacional em diversos artigos de pesquisa [27, 28, 24, 25, 26, 16].
2.2.1
Um breve tutorial ao SCT
Primeiro fa ca a escolha de um diret orio (pasta) onde ser ao guardados todos os arquivos fornecidos por Driscoll em sua p agina-web de acesso a software: http://www.math.udel.edu/~driscoll/software/ Os arquivos podem ser colocados em um diret orio que seja automaticamente encontrado pelo MATLAB (MATLAB path) ou em um diret orio particular para o qual o usu ario do MATLAB redireciona o programa ap os inici a-lo. Ao acessar a p agina-web do Driscoll clique no hipertexto Schwarz-Christoel Toolbox for MATLAB de onde pode-se baixar o manual do usu ario em formato PDF (Users Guide) assim como vers oes do SCT compat veis com o seu MATLAB. O ideal e obter a u ltima vers ao para o MATLAB 7. Ao baixar o pacote SCT, v arios arquivos-m (macros de comandos MATLAB) estar ao a sua disposi c ao para uso dentro do MATLAB. No nosso entendimento a melhor maneira de ajudar o leitor a rapidamente brincar/explorar o SCT e dando alguns exemplos simples e espec cos. Depois cada leitor pode explorar exemplos mais sosticados no seu tempo, por conta pr opria, obviamente auxiliado pelo manual do usu ario fornecido por Driscoll. A partir de agora
COMPUTACIONAL DA APLICAC DE SC [SEC. 2.2: VERSAO AO
45
>> comando indica uma linha de comando MATLAB, onde >> indica o sinal de espera (prompt ) do MATLAB. Exemplo 2.2 (Canal com um degrau). Existem v arias maneiras de se construir um pol gono a ser mapeado pelo SCT. As mais f aceis s ao usando uma janela para a edi c ao do pol gono e o mouse para denir seus v ertices. A vers ao mais sosticada depende de qual vers ao do MATLAB o leitor esteja usando. Primeiro apresentaremos uma de n vel intermedi ario. Depois descreveremos a mais sosticada e c omoda, para por m descrever a mais r ustica, que tem por vantagem ser a mais f acil de automatizar e tamb em a com maior potencial de ser compat vel com qualquer vers ao do MATLAB. Seq u encia S1 para denir um pol gono: Siga os seguintes passos com nossos coment arios () imediatamente abaixo do respectivo comando: >> p = polyedit Surgir a na tela uma janela para a edi c ao (via mouse) de um pol gono a ser mapeado. No alto ` a direita h a um quadrado/bot ao com cruzinhas azuis. Clicando neste bot ao o editor gera um reticulado que facilita a constru c ao do pol gono. Agora com o mouse clique nas posi c oes dos v ertices desejados. No caso do canal com um degrau clique no ponto (0, 0) do reticulado. Uma bolinha vermelha ir a aparecer neste ponto. Ela sempre aparece sobre os cruzamentos (n os) deste reticulado. Depois clique no ponto (0, 1) e tamb em no ponto (4, 1). O programa SCT vai conectando estes v ertices com arestas azuis. Agora um breve coment ario para ajudar no pr oximo passo. Por exemplo, uma faixa uniforme e considerada como um ret angulo com dois lados e quatro v ertices no innito. Logo o canal com um degrau deve ser interpretado como um pol gono do mesmo tipo que o ret angulo innito. Para denir os pontos no innito, indicando que trata-se de uma faixa innita, dentada (o degrau!), clique o mouse na borda cinza, ` a direita do ponto (4, 1) fora do dom nio do reticulado. Suba com o mouse e clique de novo na
46
borda cinza ` a direita do ponto (4, 1). Esses dois pontos no innito n ao aparecem na tela, mas indicam ao programa a face do pol gono que est a no innito. Clique no ponto (4, 1). Um ponto vermelho ir a aparecer. Clique no ponto (4, 1), indicando que a fronteira superior do canal e plana. Novamente crie dois pontos no innito, ` a esquerda do canal, clicando primeiro perto do ponto (4, 1) e depois do ponto (4, 0). Por m fechamos o pol gono clicando sobre o ponto inicial (0, 0). Clique no bot ao OK no topo e automaticamente a janela de edi c ao fecha. O pol gono est a criado e guardado no objeto denido por p (polygon object). >> f = stripmap(p) Esse comando executa o programa para o mapeamento do pol gono denido em p para uma faixa uniforme de largura unit aria. V arios tipos de aplica c oes de SC s ao permitidos, como listaremos adiante. Mas aqui estamos usando a stripmap, especializada em faixas. Neste caso espec co (nem sempre isso acontece) uma janela e aberta automaticamente pedindo ao usu ario para conrmar os pontos no innito. Assim com o mouse clique sobre (apenas) um dos pontos no innito ` a esquerda e depois em um dos pontos no innito ` a direita. Ao fazermos isso imediatamente o SCT inicia o c alculo das pr e-imagens, representando isso com uma caixinha na qual uma tarja vermelha vai indicando simbolicamente o tempo de execu c ao. Ao nal, a caixinha desparece e os resultados s ao impressos na tela do MATLAB, indicando os v ertices e angulos denidos (na janela de edi c ao) assim como os valores das pr e-imagens, a constante c de escalonamento da aplica c ao e o erro estimado para o procedimento num erico, ou seja a solu c ao iterativa de um sistema n aolinear visando obter os valores para as pr e-imagens dos v ertices. Veja a Tabela 2.1. Compare a dist ancia entre as pr e-imagens do degrau com o valor te orico fornecido anteriormente. >> plot(f, nv, nh) Com esse comando vemos o sistema de coordenadas curvil neas ortogonais, gerado pela aplica c ao conforme. Em outras pala-
47
Inf + -4.00000 + 0.00000 + 0.00000 4.00000 Inf + 4.00000 + -4.00000 +
v ertice 0.00000i 0.00000i 0.00000i 1.00000i 1.00000i 0.00000i 1.00000i 1.00000i
0.00000 1.00000 1.50000 0.50000 1.00000 0.00000 1.00000 1.00000
pr e-v ertice -Inf 0.000000000000e+00 4.166554810191e+00 4.607826010331e+00 6.250518843749e+00 Inf 6.249146065705e+00 + i -4.835976712414e-07 + i c = 1.4142136 + 0i Precis ao estimada e de 3.78e-08
Tabela 2.1: Dados para o canal da Figura 2.3. vras, o sistema cartesiano no plano z (linhas verticais x-constante, linhas horizontais y -constante) ao ser representado no dom nio f sico do plano w, aparece como as curvas ortogonais da Figura 2.3. O par ametro nv fornece o n umero de linhas verticais a serem representadas, enquanto que nh o n umero de linhas horizontais. Na Figura 2.3, nv = 8. Seq u encia S2 para denir um pol gono: Agora vamos apresentar a maneira mais c omoda para gerar um pol gono. Continuemos com o caso do canal com um degrau. >> scgui Uma janela especial e aberta que a partir de agora chamaremos da janela scgui. Essa janela scgui serve tanto para a edi c ao do pol gono como tamb em para a execu c ao e visualiza c ao de propriedades da aplica c ao de SC. Clique no l apis (topo ` a esquerda) para abrir uma janela de edi c ao de pol gonos. Repita os passos descritos acima em S1 para a janela de edi c ao de pol gonos, terminando por clicar em OK. O pol gono gerado aparece na janela do scgui. Se quiser fazer alguma mudan ca no pol gono gerado clique no l apis com borracha e a janela de edi c ao re-abre permitindo editar o pol gono. Experimente
48
isso, por exemplo, puxando um dos v ertices com o mouse e colocando-o em uma nova posi c ao. Escolha que aplica c ao conforme voc e deseja executar, ou seja, selecione o dom nio can onico que quer trabalhar. Dependendo disto, o canal do dom nio f sico ser a mapeado para um disco, uma faixa, ou outro tipo de regi ao can onica fornecida pelo SCT. Fa ca sua escolha clicando embaixo de Canonical domains e escolha (para esse exemplo) a op c ao strip , referente ` a faixa. Antes de executar a aplica c ao strip, escolhida acima, podemos optar por ver tamb em (ou n ao) o dom nio can onico. Ou seja, clicando abaixo de View temos tr es possibilidades: ver apenas o dom nio f sico, apenas o dom nio can onico ou ambos. Escolha esta u ltima que em geral e a mais interessante. Observe tamb em que no topo ` a direita da janela scgui temos a op c ao de escolher a toler ancia para o erro no processo iterativo de solu c ao do sistema n ao-linear para obten c ao das pr e-imagens. Deixemos como est a. Para executar a aplica c ao conforme escolhida clique no sinal = perto do l apis. O processo de execu c ao j a descrito acima e iniciado, pedindo conrma c oes de pontos no innito etc. . . Ao nal da execu c ao (e por termos escolhido de ver os dois dom nios ao mesmo tempo) aparecem no dom nio can onico pontos referentes ` as pr e-imagens. Para ver o sistema de coordenadas curvil neas clique na teia de aranha no topo da janela scgui. Esse processo conrma nossa descri c ao acima de que linhas x-constantes no dom nio can onico (no plano z ) s ao mapeados em curvas verticais no dom nio f sico (no plano w). Tudo muito pr atico e c omodo, desde que saibamos o que queremos e o que signica cada bot ao da janela scgui. E tem mais. . . Clicando na lente de aumento , no topo da janela, obtemos informa c oes quantitativas sobre a aplica c ao de SC: v ertices gerados, angulos e posi c oes precisas da pr e-imagens. Com esses valores dos angulos e das pr e-imagens podemos escrever a derivada
49
dw/dz da aplica c ao analiticamente e com grande precis ao, indicada pela acur acia fornecida pela janela dos par ametros (lente de aumento ). Em alguns problemas a derivada e o que necessitamos pois nos fornece o Jacobiano da transforma c ao. Isso foi usado em trabalhos de pesquisa dos autores e colaboradores [4, 5, 28, 24, 25, 26, 30] e apresentaremos um exemplo mais simples adiante. Por m muitas vezes queremos ter um pouco mais de liberdade nos c alculos posteriores ` a aplica c ao de SC feita atrav es da janela scgui. Nesses casos e interessante exportar o objeto MATLAB relativo ao pol gono juntamente com a fun c ao que representa a aplica c ao. Mais adiante mostraremos como usar esses objetos. No topo da janela scgui clique em >> e uma janela de importa c ao/exporta c ao ir a aparecer. Importar signica trazer vari aveis/objetos da janela de comandos MATLAB para a janela scgui. Exportar signica o contr ario. Assim como acabamos de trabalhar na janela scgui queremos exportar. Coloque um p no objeto pol gono e um f na vari avel da aplica c ao (Map variable). Agora temos acesso ao p e ao f dentro da janela de comandos MATLAB, nos dando ainda mais exibilidade de c alculo. Por exemplo abra uma nova gura fazendo >> figure(2) Depois use >> plot(f, 20, 10) para visualizar o canal com coordenadas curvil neas. Seq u encia S3 para denir um pol gono: A seq u encia de comandos abaixo e a que d a mais trabalho. No entanto ela e muito u til para problemas com fronteiras repletas de v ertices e/ou com informa c ao que n ao pode ser fornecida manualmente. Por exemplo em [4, 5, 28, 24, 25, 26, 30] o fundo do canal tem degraus de altura aleat oria, fornecidas por um gerador de n umeros aleat orios, ou uma seq u encia de esquinas aleat orias, ou seja de alturas
50
Figura 2.6: Canal com topograa aleat oria: a regi ao cinza representa o uido e a preta a topograa no fundo do canal. Na parte superior vemos a onda que ir a interagir com o fundo rugoso do canal que e altamente desordenado e longo. Na gura inferior temos um detalhe da gura superior. No eixo horizontal temos a coordenada . No eixo vertical temos ndices apenas de controle gr aco.
e angulos aleat orios. Um exemplo deste tipo de topograa pode ser encontrado na Figura 2.6. Vejamos como proceder quando o pol gono n ao pode ser editado/fornecido manualmente/gracamente mas sim quantitativamente, atrav es de um vetor. No caso da Figura 2.6 um programa MATLAB auxiliar foi escrito para gerar automaticamente os vetores ww (com as posi c oes wk de cada v ertice) e o tt (com os par ametros angulares k ). Vamos continuar com o nosso exemplo do canal com um degrau. Nesse caso as posi c oes dos v ertices s ao facilmente conhecidas assim como os angulos correspondentes:
51
nome diskmap hplmap stripmap extermap
dom nio can onico disco unit ario semiplano superior faixa innita disco
dom nio f sico interior do pol gono interior do pol gono interior do pol gono exterior do pol gono
Tabela 2.2: Tabela com algumas aplica c oes conformes dispon veis no SCT. >> ww = [-inf, 0, -i, inf, 4+i, -4+i]; Esse vetor cont em a posi c ao complexa dos v ertices, incluindo os dois v ertices/pontos no innito (indicados por inf). >> tt = [0, 1.5, 0.5, 0, 1., 1.]; Esse vetor cont em os valores de k correspondendo aos angulos em cada v ertice. O angulo no innito tem por conven c ao ser zero. J a um angulo em uma parte suave do dom nio e e assim k = 1. >> p = polygon(ww, tt); Com este comando constru mos o pol gono com v ertices e s fornecidos pelos vetores ww e tt. >> f = stripmap(p) Executamos a aplica c ao conforme da faixa can onica para o canal com um degrau. No manual do usu ario encontramos diversas possibilidades para realizar aplica c oes conformes entre o dom nio can onico e o dom nio f sico. Reproduzimos parte desta informa c ao na Tabela 2.2. Alguns casos chamados de interior de pol gono incluem faixas ou semiplanos, onde o pol gono e innito conforme discutido anteriormente.
52
2.2.2
Aplica c oes do Exemplo 2.2
Nesta subse c ao apresentamos algumas aplica c oes poss veis a partir do mapeamento de um canal com um degrau em uma faixa uniforme. Gera c ao de malha Existem problemas em m etodos num ericos em Equa c oes Diferenciais Parciais (EDPs) para os quais n ao e simples gerar uma malha (ou grade) sobre a qual se pode denir o m etodo num erico. Isto acontece com frequ encia em problemas com dom nios complicados. Neste caso a aplica c ao conforme pode ser u til. Anal e muito natural escolher um reticulado uniforme (malha uniforme) no dom nio can onico no plano z . Ao usarmos o SCT temos a imagem dessa malha uniforme, na forma de um reticulado bem ajustado ao dom nio f sico, em particular a uma fronteira acidentada. Usando o manual online do SCT aprendemos que v arios tipos de fronteiras acidentadas podem ser usadas, incluindo c uspides e fraturas. Vide >> help polygon que nos fornece o seguinte texto
POLYGON Contruct polygon object. POLYGON(W) constructs a polygon object whose vertices are specified by the complex vector W. Cusps and cracks are allowed. POLYGON(X,Y) specifies the vertices with two real vectors. POLYGON(W,ALPHA) or POLYGON(X,Y,ALPHA) manually specifies the interior angles at the vertices, divided by pi. POLYGON accepts unbounded polygons (vertices at infinity). However, you must supply ALPHA, and the vertices must be in counterclockwise order about the interior.
A pergunta importante de ser respondida e: dado um ponto do reticulado no plano z como encontramos a sua imagem (um ponto da malha desejada) no plano w? Com o SCT este c alculo e muito simples. Seja o vetor zz contendo pontos do reticulado no plano z . Ent ao >> ww = eval(f, zz);
53
Este comando avalia a aplica c ao conforme w = f (z ) nos pontos interiores contidos no vetor zz. Isto e executado numericamente pela vari avel da aplica c ao (Map variable ) f. Como resultado obtemos o vetor ww contendo as coordenadas dos n os do reticulado no dom nio f sico, ou analogamente, os v ertices de c elulas de aproxima c ao para a t ecnica num erica a ser utilizada, seja esta Elementos Finitos, Volumes Finitos, t ecnicas em Computa c ao Gr aca, dentre outras. Pesquise no Google usando mesh generation conformal map. Tamb em fa ca uma busca com computational conformal geometry e aproveite para visitar a p agina http://www.cise.ufl.edu/~gu/ Em alguns casos pode ser interessante encontrar a pr e-imagem de um ponto interior do dom nio f sico. Sejam pontos interiores alocados no vetor ww. Suas pr e-imagens no plano z s ao calculadas atrav es da aplica c ao inversa: >> zz = evalinv(f, ww); Avaliando o Jacobiano Em alguns problemas aplicados [28, 30] e importante avaliarmos o Jacobiano, da mudan ca de coordenadas, ao longo de uma curva. Lembramos que o Jacobiano |J | e o determinante da matriz Jacobiana, ou seja, |J | = /x /x /y /y = x
2
dw dz
No c alculo do determinante utilizamos as equa c oes de Cauchy-Riemann. Usando vari aveis complexas tudo se resume a computar o valor absoluto da derivada da aplica c ao. Esse c alculo e simples, uma vez conhecemos as pr e-imagens zk e os par ametros angulares k . Basta olharmos para o in cio deste cap tulo. No entanto o SCT tem um comando para isso. Guarde no vetor zz as posi c oes de pontos ao longo de uma curva no plano z . Os valores do Jacobiano, avaliado em cada ponto (digamos) zz(k) desta curva, ser a armazenado no vetor ww e e obtido atrav es do comando
54
Figura 2.7: Canal com uma topograa altamente oscilat oria. Uso da aplica c ao de Schwarz-Christoel para solu c ao da equa c ao de Laplace neste dom nio f sico. >> ww = evaldiff(f, zz); Um bom exerc cio e vericar que muito rapidamente |J | 1 ` a esquerda do salto enquanto que |J | 2 ` a direita do salto. Por que |J | toma esses valores? Exemplo 2.3 (Teoria do potencial para ondas aqu aticas). Vejamos um exemplo um pouco mais avan cado, com respeito ao n vel deste Curso. Existe um problema de ondas aqu aticas de superf cie [5, 30] onde temos que resolver a equa c ao de Laplace (um problema em teoria do potencial) em um dom nio rugoso como o da Figura 2.6. O dom nio f sico e o canal em repouso conforme vemos no caso esquem atico mais simples apresentado na Figura 2.7. Seja o seguinte problema: no dom nio da Figura 2.7 resolver a equa c ao de Laplace 2 2 + 2 = 0, 2 w = + i ,
onde na fronteira superior (1 : 1), ao longo da superf cie da gua, impomos a condi a c ao 2 = g 2 t e na complicada fronteira inferior (2 ) temos a condi c ao de Neumann = 0. n
55
Esta e uma condi c ao para a derivada normal a 2 que certamente tem um problema de ambig uidade nos v ertices da topograa. Fisicamente esta condi c ao signica que a topograa e imperme avel, ou seja a velocidade normal e nula. Veremos isso com mais detalhe no pr oximo Cap tulo. Com esta interpreta c ao a ambig uidade da dire c ao normal signica que perto de um pico de uma montanha a velocidade normal e nula ` a direita e ` a esquerda do pico. A constante g e a acelera c ao devido ` a gravidade e e o potencial de velocidades a ser denido com mais precis ao no Cap tulo a seguir. Mas em resumo, (u, v ) = onde u e v s ao as velocidades horizontal e vertical do uido no canal em quest ao. Da a terminologia teoria do potencial. Usando a aplica c ao conforme podemos fazer uma mudan ca de coordenadas cartesianas para coordenadas curvil neas xy . Isto e an alogo a resolver o problema no dom nio can onico. Em coordenadas curvil neas o problema acima ca enunciado na forma 2 2 + 2 = 0, x2 y z = x + iy onde f (z ) = w .
Em 1 impomos a condi c ao 1 2 = g 2 t /y y e em 2 a condi c ao de Neumann agora e trivial: = 0. y Vejamos o que aconteceu. Primeiro temos que o Laplaciano nas vari aveis , d a lugar ao Laplaciano nas vari aveis x, y . Isto pode ser justicado tanto do ponto de vista de fun c oes anal ticas complexas (argumento dado acima, com partes reais e imagin arias sendo harm onicas) ou fazendo a algebra referente ` a troca de vari aveis e notando que |J | w = z , onde por denotamos o Laplaciano, com o w e o z denotando as vari aveis em quest ao. Como a equa c ao e homog enea (igual a zero) o
56
Jacobiano pode ser cancelado e n ao aparece na equa c ao de Laplace. Depois notamos que 1 = |J | x y + x y .
Como a linha y 1 e mapeada na linha 1 ent ao x/ 0 ao longo desta linha. Com isso o Jacobiano simplica para |J | = (/y )2 e obtemos uma simplica c ao para a troca de vari aveis ao longo da superf cie da agua: = 1 . |J | y
Agora uma observa c ao importante. O Jacobiano tem singularidades em algumas das pr e-imagens, basicamente nos pontos relativos a v ertices com angulos internos maiores que , ou seja quando k for maior do que 1. No entanto, para esse problema de ondas em canais com topograa linear por partes, estamos avaliando o Jacobiano na fronteira oposta a que cont em as pr e-imagens de v ertices. Logo nesta fronteira o Jacobiano e uma fun c ao suave. Leitores interessados em ver mais detalhes sobre estas quest oes devem consultar [28]. Por outro lado para visualizar o efeito suavizante mencionado acima podemos utilizar o SCT conforme descreveremos a seguir. Os detalhes deixaremos como um exerc cio para o leitor. Crie um canal com topograa poligonal e guarde em um vetor o perl desta topograa, ou seja da geometria da fronteira inferior 2 . Execute a aplica c ao de Schwarz-Christoel via o SCT e avalie o Jacobiano ao longo da fronteira superior 1 usando o comando evaldiff. Note que no dom nio can onico a informa c ao geom etrica da topograa foi toda transferida para o coeciente vari avel da condic ao em 1 , ou seja para o Jacobiano. Usando o comando hold, que permite superimpor guras, fa ca um gr aco com o perl da topograa e do Jacobiano ao longo de 1 . Veremos que o Jacobiano cont em uma vers ao/representa c ao suavizada da topograa. Veja um exemplo com duas montanhas triangulares na Figura 2.8.
57
0.5
0.45
0.4
0.35
0.3
0.25
0.2
0.15
0.1
0.05
0 10
Figura 2.8: Efeito de suaviza c ao: canal com uma topograa contendo duas montanhas triangulares. Perl das montanhas superimposto ao perl do Jacobiano avaliado na fronteira superior. Na superf cie do canal, onde teremos ondas, as duas montanhas s ao vistas como dois morros suaves.
2.2.3
Aglomeramento
Um fen omeno bastante interessante e dif cil de lidar numericamente e o fen omeno de aglomeramento de pr e-imagens. Em ingl es isso e denominado de crowding. Em regi oes excessivamente alongadas e/ou contorcidas as pr e-imagens de v ertices vizinhos podem car exponencialmente pr oximas de forma a n ao podermos disting ui-las no computador. Usamos o termo exponencialmente pois ao alongarmos uma regi ao, ou parte da mesma, a taxa de aproxima c ao das pr e-imagens em alguns casos pode ser medida e e exponencial. Um exemplo desta an alise assint otica, para estimar a taxa de aglomeramento, se encontra na p agina 20 de Driscoll e Trefethen [15]. Em vez de reproduzir a
58
estimativa do livro vamos ilustrar esse fen omeno experimentalmente atrav es do SCT. Vamos ilustrar esse fen omeno com um exemplo mais simples que o de [15], mas o faremos de forma num erica. Tomando uma vista superior, seja a seguinte congura c ao de um canal, com um bra co na sua margem inferior como se fosse um cais para embarca c oes. Esta congura c ao pode ser vista na Figura 2.9. Vejamos a seguir o efeito que tem a congura c ao geom etrica alongada do cais, no mapeamento conforme correspondente. Vamos mapear o dom nio f sico (o canal) em uma faixa uniforme, ou seja um canal sem o cais. Repetindo um coment ario anterior, em alguns problemas em Din amica dos Fluidos usamos o canal uniforme como um dom nio computacional, para fazer contas mais facilmente. Uma vez que o problema e resolvido no dom nio computacional, no plano z , fazemos a troca de vari aveis atrav es de z = f 1 (w) e temos a solu c ao no dom nio f sico, que e o de interesse. Ent ao h a casos em que podemos resolver o problema analiticamente no dom nio computacional mas a troca de vari aveis, ou seja a aplica c ao conforme, tem que ser feita numericamente. Em outros casos o problema e resolvido numericamente no dom nio can onico, mas de forma muito mais eciente por se tratar de uma congura c ao mais simples. Usando o SCToolbox atrav es do stripmap obtemos a Figura 2.10. ` esquerda temos o dom A nio f sico e ` a direita o dom nio computacional. A bolinhas pretas indicam as pr e-imagens do cais assim como os pontos extremos do dom nio denidos para o aplicativo. Note como as linhas x-constante (verticais) e as y -constante (horizontais) no plano z s ao mapeadas no plano w. As posi c oes precisas de todos esses pontos s ao fornecidas pelo MATLAB e podem ser encontradas na Tabela 2.3. Esta tabela nos fornece tamb em os pontos no innito. Note que temos v arias pr e-imagens bem pr oximas, com cinco casas decimais id enticas. Como o MATLAB trabalha com precis ao dupla (15 d gitos de precis ao; vide help format) ainda podemos disting uir estes pontos. Vejamos como a aplica c ao de SC reage ` as mudan cas de escala no dom nio f sico. Na Figura 2.11 mudamos o cais de forma que este tenha uma congura c ao menos alongada. Repetimos o procedimento anterior e vemos na Tabela 2.4 que as pr e-imagens da regi ao do cais est ao ainda mais bem denidas. Apenas duas tem 4 d gitos id enticos.
59
CANAL
cais
5 4 3 2 1 0 1 2 3 4 5
Figura 2.9: Canal com cais na margem inferior. Este canal, uma faixa com ramica c ao alongada, ser a mapeado em uma faixa uniforme. Por m na Figura 2.12 fazemos com que o cais seja mais alongado do que no primeiro exemplo apresentado na Figura 2.10. Na Tabela 2.5 vemos que duas pr e-imagens s ao id enticas, o que n ao corresponde ` a teoria pois a aplica c ao e injetora. Nesse exemplo capturamos o fen omeno de aglomeramento. Se tentarmos alongar ainda mais o cais o programa SCT acusar a um erro de divis ao por zero e abortar a a execu c ao do stripmap.
60
Figura 2.10: Aplica c ao da faixa em um canal com um cais.
Inf + -4.00000 + 0.00000 + 0.00000 2.00000 2.00000 0.50000 0.50000 + 4.00000 + Inf + 4.00000 + -4.00000 +
v ertice 0.00000i 0.00000i 0.00000i 2.00000i 2.00000i 1.50000i 1.50000i 0.00000i 0.00000i 0.00000i 2.00000i 2.00000i
0.00000 1.00000 1.50000 0.50000 0.50000 0.50000 1.50000 1.50000 1.00000 0.00000 1.00000 1.00000
pr e-v ertice -Inf 0.000000000000e+00 2.040654833443e+00 2.120026515678e+00 2.120028474902e+00 2.120028475165e+00 2.120030434389e+00 2.199398215779e+00 3.990037853769e+00 Inf 3.990093714224e+00 + i -2.547997926339e-05 + i c = 2 + 0i Precis ao estimada e de 3.16e-08
Tabela 2.3: Dados para o canal da Figura 2.10.
61
Inf + -4.00000 + 0.00000 + 0.00000 2.00000 2.00000 1.50000 1.50000 + 4.00000 + Inf + 4.00000 + -4.00000 +
0.00000 1.00000 1.50000 0.50000 0.50000 0.50000 1.50000 1.50000 1.00000 0.00000 1.00000 1.00000
pr e-v ertice -Inf 0.000000000000e+00 2.097690434288e+00 2.326018625121e+00 2.337580149044e+00 2.337696767718e+00 2.338930486862e+00 2.564674618781e+00 3.911795403869e+00 Inf 3.913041420002e+00 + i -1.180887350047e-04 + i c = 2 + 0i Precis ao estimada e de 2.12e-08
62
Inf + -4.00000 + 0.00000 + 0.00000 3.00000 3.00000 0.50000 0.50000 + 4.00000 + Inf + 4.00000 + -4.00000 +
0.00000 1.00000 1.50000 0.50000 0.50000 0.50000 1.50000 1.50000 1.00000 0.00000 1.00000 1.00000
pr e-v ertice -Inf 0.000000000000e+00 2.040541345848e+00 2.120692223256e+00 2.120694569955e+00 2.120694569955e+00 2.120696851721e+00 2.201765238555e+00 3.996138509198e+00 Inf 3.992803745591e+00 + i -8.346017077443e-06 + i c = 1.9986524 + 0i Precis ao estimada e de 3.79e-03
Cap tulo 3
Vari aveis complexas aplicadas ` a Din amica dos Fluidos

Neste cap tulo vamos aplicar os resultados de vari aveis complexas ao estudo de um uido ideal. Trata-se de um uido inv scido (sem fric c ao), de compressibilidade desprez vel e no qual a vorticidade inicial (que indica rota c ao local das part culas do uido), a princ pio, e nula. Estamos no regime chamado de escoamento potencial, pois utilizaremos a teoria do potencial. Vejamos por qu e, nas se c oes que se seguem.
3.1
Formula c ao em vari aveis complexas
Vamos imaginar que temos a vista superior do escoamento de agua num rio. Tiramos uma foto e em cada ponto do rio marcamos a velocidade da agua, supondo que temos acesso a esses valores. Esta e uma vis ao Euleriana do escoamento porque denimos uma regi ao W xa onde o comportamento do uido ser a estudado ao longo do tempo. O vetor velocidade U = (u, v ) representa a velocidade de uma part cula de agua que, no instante da foto, se encontrava no ponto 63
64
` DINAMICA [CAP. 3: VARIAVEIS COMPLEXAS APLICADAS A DOS FLUIDOS
(u, v )
Figura 3.1: Vista superior do dom nio de uido. onde desenhamos o vetor (veja a Figura 3.1). Em termos matem aticos escrevemos isto na forma u(x, y, t) = e v (x, y, t) = dx dt dy , dt
onde x(t), y (t) e o vetor posi c ao de uma part cula gen erica da agua no rio. A velocidade na dire c ao horizontal e u(x, y, t) e na dire c ao vertical v (x, y, t). Fa camos um controle do escoamento do rio da seguinte maneira. Para ter uma id eia da quantidade de redemoinhos vamos desenhar curvas fechadas xas (indicadas por ) na superf cie do rio e calcular a rota c ao sobre esta curva: rota c ao (U t )ds, (3.1)
onde t representa o vetor unit ario tangente ` a curva e s e comprimento de arco. O sentido positivo para se percorrer e o anti-hor ario. O que estamos fazendo? Estamos somando todas as proje c oes do vetor velocidade na dire c ao tangente a . Se o resultado for um n umero positivo ent ao temos o efeito de um redemoinho girando no sentido
EM VARIAVEIS [SEC. 3.1: FORMULAC AO COMPLEXAS
65
anti-hor ario (positivo na regra da m ao-direita). Se for um n umero negativo temos o efeito de um redemoinho girando no sentido hor ario. Se for zero, n ao h a rota c ao ao longo da curva escolhida. Controlemos outra grandeza: o uxo normal atrav es dessa mesma curva . Isso e feito atrav es da integral de linha abaixo: uxo normal (U n )ds. (3.2)
O vetor unit ario normal a (simbolizado por n) e positivo quando aponta para fora. Neste caso estamos somando todas as contribui c oes de entrada e sa da de agua, atrav es da fronteira . Se o balan co total for positivo e porque saiu mais agua do que entrou. Lembre-se que a normal e positiva para fora. A interpreta c ao e que temos uma fonte de agua em algum ponto de W . Se a integral for negativa, ent ao entrou mais agua do que saiu, e por isso, deve haver um ralo (sumidouro) dentro do dom nio W , pois consideramos o uido incompress vel sob o Princ pio de Balan co de Massa, [8, 9]. Vamos inicialmente nos concentrar nos casos em que o escoamento e irrotacional (sem redemoinhos) e incompress vel. Em qualquer regi ao o volume de agua que entra e igual ao volume que sai, com a hip otese de que a densidade e constante. Colocando isto na forma de uma express ao matem atica temos que, para qualquer curva escolhida,
(U t )ds = 0
(U n )ds = 0.
Usemos o Teorema de Green (p agina 495, [21]) (P (x, y )dx + Q(x, y )dy ) =
=
W
P Q (x, y ) (x, y ) dxdy, x y
para escrever as integrais de linha, dadas acima, na forma ( U ) dxdy = 0
66
P = (x, y )
P0 Figura 3.2: Integral de linha ao longo de um trecho da curva . e

W
( U ) dxdy = 0.
Como essas identidades s ao v alidas para quaisquer curvas , que sejam simples, regulares e fechadas, e seus respectivos interiores W , conclu mos que cada integrando deve ser identicamente nulo. Em outras palavras, conclu mos que U =0 e que U = 0. (3.4) (3.3)
Na primeira equa c ao temos que a vorticidade = U e zero, enquanto que U = 0 representa o regime de incompressibilidade. Quando o escoamento e irrotacional, podemos denir a fun ca o potencial
P
(x, y, t) = 0 +
P0
(udx + vdy ),
(3.5)
onde P0 = (x0 , y0 ) e P = (x, y ) s ao dois pontos ligados por um trecho da curva , e 0 = (x0 , y0 , t). Veja a Figura 3.2. Esta fun c ao e chamada de potencial de velocidades pois (u, v ) = = (x , y ). Vericar este fato e um otimo exerc cio em C alculo. Separe a integral em x da integral em y , como nas linhas pontilhadas da Figura 3.2, com a deni c ao acima temos um campo conservativo e o valor da integral independe do caminho.
EM VARIAVEIS [SEC. 3.1: FORMULAC AO COMPLEXAS
67
Da mesma forma, quando o escoamento e incompress vel (sem fontes de massa) podemos denir a fun ca o de corrente
P
(x, y, t) = 0 +
P0
(udy vdx).
(3.6)
Neste caso (u, v ) = = (y , x ). A nota c ao e tal que, para uma fun c ao f com duas derivadas cont nuas, = 0, no sentido que fxy fyx = 0. Por que essa fun c ao se chama fun c ao de corrente? Este nome vem do fato da fun c ao nos permitir visualizar o escoamento no caso estacion ario (quando a velocidade n ao depende do tempo). Vamos entender melhor esta arma c ao. Calculemos d dx dy = + + , dt x dt y dt t ao longo da curva = constante. Usando o fato de o escoamento ser estacion ario (/t = 0) e as deni c oes para as velocidades, escrevemos d = = 0. dt x y y x A express ao acima pode ser reescrita como U = 0, ou seja, o campo de velocidades e tangente ` as linhas de corrente, que neste caso s ao dadas pelas curvas de n vel = constante. Isso vem do fato de que o gradiente da fun c ao de corrente e ortogonal ao campo de velocidades. As part culas do uido ir ao descrever trajet orias dadas pelas curvas = constante. Adiante apresentaremos exemplos que conrmar ao esta propriedade. Vamos come car a migrar para o mundo das vari aveis complexas. Esta e uma decis ao quanto ` a Modelagem Matem atica. Em vez de usarmos o modelo proveniente de Equa c oes Diferenciais Parciais (veja a equa c ao de Laplace abaixo), optamos pelo modelo proveniente de vari aveis complexas. Comecemos com algumas observa c oes visando traduzir o modelo para a linguagem de vari aveis complexas. Escoamentos incompress veis e irrotacionais nos levaram a U = 0 ux = (v )y
68 e
U = 0 uy = (v )x . Estas s ao as equa c oes de Cauchy-Riemann para u e v . Note que se usarmos a primeira equa c ao de Cauchy-Riemann e considerarmos o fato do escoamento ser irrotacional, temos que a fun c ao potencial e uma fun c ao harm onica, ou seja, satisfaz ` a equa c ao de Laplace xx + yy = 0. Da mesma maneira, se usarmos a segunda equa c ao de Cauchy-Riemann considerando um escoamento incompress vel, temos que a func ao de corrente tamb em e harm onica: = 0. Temos duas fun c oes harm onicas e , que podemos considerar como sendo as partes real e imagin aria de uma fun c ao complexa: = + i, onde o potencial complexo e uma fun c ao de z = x + iy . Vamos calcular a derivada do potencial complexo: d dz = x + ix = i(y + iy ) = u iv = . dz dt (3.8) (3.7)
A barra sobre o z signica conjuga c ao complexa: z = x iy . Pela deni c ao de velocidade conrmamos que e s ao conjugados harm onicos, (veja o Cap tulo 1). Assim, esta deni c ao de potencial complexo e leg tima. Note que zemos uma coisa muito interessante. Calculando apenas uma derivada complexa estaremos calculando duas velocidades. Existem muitos resultados da teoria de vari aveis complexas que podem ser usados imediatamente, a servi co da Din amica dos Fluidos. Em particular, as aplica c oes conformes s ao apropriadas para simplicar a geometria do problema, como antecipamos no Cap tulo 2. Esperamos convencer o leitor de todos esses fatos, atrav es dos exemplos a seguir.
[SEC. 3.2: ESCOAMENTOS COM OBSTACULOS
69
Figura 3.3: Escoamento uniforme com velocidade horizontal igual a A. Exemplo 3.1. Vamos come car com o escoamento uniforme representado pela Figura 3.3. O potencial e obtido facilmente por inspe c ao: (z ) = Az . Uma coisa e certa. As linhas de corrente ( (x, y ) = constante) s ao linhas horizontais. Verique! A velocidade complexa e d = A = u iv dz (u, v ) = (A, 0).
N ao resta d uvida de que temos o potencial complexo correto!
3.2
Escoamentos com obst aculos
Exemplo 3.2. Vamos colocar um cilindro circular, de raio R, no caminho do escoamento uniforme do Exemplo 3.1. Veja a Figura 3.4. Agora temos um rio, visto de cima, e uma coluna de uma ponte ou de um pier. Como ser a o escoamento laminar (sem turbul encia) em torno desta coluna? Bastou colocar a coluna e o problema j a ca bem mais dif cil! N ao d a para usar inspe c ao. Na literatura de Din amica dos Fluidos [23] temos o Teorema do C rculo, que enunciamos a seguir:
70
Figura 3.4: Cilindro de raio R na presen ca de um escoamento uniforme.
3.2.1
Teorema do C rculo, de Milne-Thomson
Teorema 3.1 (Teorema do C rculo, de Milne-Thomson). Seja o potencial complexo livre (i.e. sem obst aculos) dado por f (z ), uma fun ca o diferenci avel na regi ao |z | R. Ent ao, na presen ca de um cilindro de raio R, centrado na origem, o potencial complexo e dado por (R2 /z (z ) = f (z ) + f ). (3.9) Para o leitor que tem uma forma c ao um pouco mais avan cada em vari aveis complexas, e f acil argumentar que o teorema acima pode ser aplicado para cilindros de se c ao transversal n ao-circulares. Temos que fazer a seguinte modica c ao. A exist encia de tais escoamentos e garantida pelo Teorema da Aplica c ao de Riemann (Riemann Mapping Theorem) de regi oes simplesmente conexas em um disco unit ario. O resultado nal e obtido a partir da composi c ao z (w) , onde z (w) representa o mapeamento de um cilindro n ao-circular (no plano complexo w) para um cilindro circular (no plano complexo z ). Vale ressaltar que o Teorema do C rculo nada mais e do que uma variante do Princ pio de Reex ao de Schwarz [1, 10]. No Teorema do C rculo, a reex ao e feita com respeito ao c rculo. A reex ao de z , com rela c ao
[SEC. 3.3: ESCOAMENTOS COM ROTAC AO
71
= 1
Figura 3.5: Linhas de corrente para um cilindro de raio R na presen ca de um escoamento uniforme. ao c rculo, e denotada por z = R2 /z . Vamos usar o resultado do Teorema do C rculo para o ponto z = Rei sobre o c rculo: (R2 /Rei ) = f (z ) + f (z ) = 2Re f, (z ) = f (Rei ) + f onde Re f representa a parte real de f . Sobre o c rculo temos que (x, y ) = 0. Logo o escoamento e na dire c ao dessa linha de corrente e por isso a agua desliza em torno do cilindro, acompanhando a sua forma. No caso de f (z ) = Az as linhas de corrente est ao esbo cadas na Figura 3.5. Este tipo de congura c ao aparece em escoamentos reais. Duas otimas refer encias s ao o livro Album of Fluid Motion (fotos nos. 1, 6 e 24) [32], composto apenas por fotos de experimentos em laborat orio, e o interessant ssimo CD-ROM Multi-Media Fluid Mechanics [13].
=0
=0 = 1
3.3
Escoamentos com rota c ao
Exemplo 3.3. Vamos estudar o potencial complexo (z ) = ia log(z ), (3.10)
72
VORTICE NA ORIGEM 100 80
VORTICE NA ORIGEM
90 70 80
70
60
60 50
50
40 40 30
20
30
10 20 20
20 40 60 80 LINHAS DE CORRENTE
100
40 60 CAMPOS DE VELOCIDADE
80
Figura 3.6: Linhas de corrente para um v ortice localizado na origem. onde log(x) = ln(x), para x > 0. Vamos visualizar o escoamento atrav es da fun c ao de corrente, usando coordenadas polares (z = rei ): = a log(r). As linhas de corrente, = a log(r) = constante, s ao circulares. O campo de velocidades e dado por a a d = i = sin() + i cos() . dz z r A visualiza c ao e apresentada na Figura 3.6 e o potencial complexo representa um v ortice puntual em z = 0. Esse escoamento n ao e mais irrotacional mas, ainda assim, pode ser modelado usando-se vari aveis complexas. Note que o potencial complexo tem uma singularidade
73
em z = 0 e por isso a velocidade n ao e denida nesse ponto; ela tem um polo em z = 0. A circula ca o em torno de uma curva material (t) e dada por C (t; ) = C (t) U t ds.
(t)
Uma curva material e uma curva constitu da por part culas xas cuja evolu c ao temporal e acompanhada, [9, 8]. No entanto, na maioria dos exemplos apresentados neste texto esta integral coincide com a deni c ao de rota c ao, onde a curva e xa. Um exemplo de curva material e dado na Se c ao 4.4. Exemplo 3.4. Vamos analisar um cilindro de raio R na presen ca de um v ortice, posicionado em z = z0 , |z0 | > R. O potencial e dado pelo Teorema do C rculo. Note que o potencial livre e dado por f (z ) = ia log(z z0 ). Esta fun c ao e diferenci avel em |z | R. A singularidade de f est a fora do disco. Veja a Figura 3.7. Temos pelo Teorema do C rculo (z ) = ia log(z z0 ) + ia log R2 z 0 . z (3.11)
Para entender melhor o que acontece quando usamos o Teorema do C rculo, vamos reescrever o potencial acima na forma: (z ) = ia log(z z0 ) + ia log z R2 z 0
ia log(z ) + ia log(z 0 ). O u ltimo termo e uma constante e por isso n ao afeta o campo de velocidades. Podemos ignor a-lo. Os outros representam tr es v ortices, sendo dois ct cios: um na origem com intensidade a, e outro em z0 = R2 /z ario). Os dois 0 com intensidade a (girando no sentido hor v ortices ct cios (i.e., dentro do cilindro) fazem com que a borda do cilindro coincida com a linha de corrente = 0. Em outras palavras, se tirarmos o cilindro e colocarmos esses tr es v ortices, vamos ter as mesmas linhas de corrente fora do c rculo de raio R, mas teremos um escoamento dentro do c rculo que agora representa uma regi ao com agua tamb em. Ver Figura 3.8.
74
z0
Figura 3.7: Cilindro de raio R na presen ca de um v ortice. H a v arios exerc cios a serem feitos. Eles est ao um pouco acima do n vel planejado para esse texto. Fica aqui uma sugest ao: calcular a velocidade angular do v ortice em z0 em torno do cilindro. A dica e usar a express ao com tr es v ortices e desprezar o efeito do potencial para o v ortice em z0 . Em outras palavras, deve-se usar o potencial modicado 2 z ) = ia log z R ( ia log(z ). z 0 Fazemos isso pois um v ortice n ao induz uma velocidade sobre si mesmo. Desta maneira, removemos a singularidade do campo de velocidades em z0 . Exemplo 3.5. Estudemos agora um exemplo mais complexo. Este exemplo exige ainda mais destreza em vari aveis complexas, mas esperamos que isto sirva de est mulo para o leitor. Considere uma linha innita de v ortices de mesma intensidade a. Veja a Figura 3.9. Este tipo de congura c ao aparece em escoamentos reais (Album of Fluid Motion, foto no. 98, [32]). Obviamente na pr atica temos uma estrutura de v ortices longa, mas nita. No entanto o modelo innito facilita a Modelagem Matem atica como veremos a seguir. A subseq uente passagem para duas leiras innitas de v ortices
75
CILINDRO COM VORTICE NO PONTO Z = Z0 50
CILINDRO COM VORTICE NO PONTO Z = Z0 60
50
45
40 40
30 35 20
30 10
10
20 30 40 50 LINHAS DE CORRENTE
60
25 20
30 40 CAMPOS DE VELOCIDADE
50
Figura 3.8: Cilindro de raio R na presen ca de um v ortice em z0 e outros dois ct cios. n ao e dif cil. A leira dupla com v ortices de intensidades contr arias (a em cima; a embaixo) e conhecida como a via de v ortices de von Karm an. A via de von Karm an se move com velocidade constante. Ap os compreender o presente exemplo tente calcular esta velocidade [2]. Estas estruturas aparecem no rastro (esteira) deixados por navios, asas de avi oes, bolas de golf e outros objetos em movimento, [13]. Usando a nossa experi encia em exemplos anteriores, vamos tentar escrever o potencial complexo para esta nova congura c ao de v ortices. Que tal
(z ) = ia
n=
log(z nd)?
76
Figura 3.9: Linha innita com v ortices de intensidade a. Infelizmente esta express ao n ao faz sentido. Por isso j a colocamos as aspas. Esta s erie n ao converge, apesar de formalmente representar uma linha innita de v ortices, todos de intensidade +a. Vamos consertar este modelo. O ponto de partida e reescrever a express ao acima da seguinta maneira:
(z ) = ia
n=1
log 1
z z + log 1 + + log(n2 d2 ) nd nd ia log(z ).
O u ltimo termo, dentro do somat orio, e uma constante e por isso pode ser jogado fora sem interferir no campo de velocidades (dado por d/dz ). Agora podemos escrever uma s erie que matematicamente faz sentido:
N
(z ) = ia lim Ou ainda
n=1
log 1
N
z2 n2 d2
ia log(z ).
(z ) = ia log
lim
n=1
z 1
z2 n2 d2
Fazemos a troca do limite pelo produto baseado no seguinte resultado, proveniente da aplica c ao do Teorema de Fatora c ao de Weierstrass [10]: z2 z z 1 2 2 = , sin d n d n=1
77
onde o produto converge uniformente em compactos contidos no plano complexo. Em face a este resultado, escrevemos o potencial complexo para uma linha com innitos v ortices de intensidade a: z (z ) = ia log sin . (3.12) d Um resultado extremamente elegante. Uma boa verica c ao e fazer z se aproximar de z0 = nd. Quando isto acontece z sin (z nd) d d e . (z ) ia log(z nd) ia log d O segundo termo e uma constante e o comportamento, perto de um v ortice localizado em z0 = nd, e o desejado. O campo de velocidades e dado por a z d = u iv. = i cot dz d d Temos um n umero innito de pontos de estagna ca o (pontos localizados em z = (2n + 1)d/2, onde u iv = 0). A fun c ao de corrente e dada por a 1 (x, y ) = log 2 2 cosh 2y d cos 2x d
e as linhas de corrente est ao esbo cadas na Figura 3.10. Podemos imaginar que temos uma linha de liquidicadores id enticos, isto e v ortices puntuais, situados em z = nd, n = 1, 2, . . . Na parte de cima os liquidicadores produzem uma correnteza para a esquerda, enquanto que na parte de baixo uma correnteza para a direita. O esbo co das linhas de corrente est a de acordo com a nossa intui c ao. Uma part cula passando perto de um liquidicador vai tender a ser puxada para o meio de dois liquidicadores, ou seja, puxada pelo redemoinho do primeiro. Mas antes que isso aconte ca, o efeito do segundo liquidicador vizinho faz com que a part cula seja atirada para fora do redemoinho do primeiro liquidicador, e ela continuar a sobre essa trajet oria ondulada (Figura 3.10). As part culas muito pr oximas a um v ortice puntual car ao descrevendo orbitas praticamente circulares.
78
LINHA INFINITA DE VORTICES 100 100
LINHA INFINITA DE VORTICES
90
90
80
80
70
70
60
60
50
50
40
40
30
30
20
20
10
10
20 40 60 80 100 Linhas de corrente para a linha infinita de vortices
20
40 60 80 Campos de velocidade
100
Figura 3.10: Linhas de corrente para a linha innita de v ortices. Exemplo 3.6. Neste u ltimo exemplo vamos estender o Exemplo 3.5 para uma distribui c ao cont nua de v ortices. A distribui c ao cont nua e tal que a intensidade total, sobre um intervalo de comprimento d = 2 , continua sendo a. A intensidade de cada v ortice e a ds/2 , onde ds representa um innit esimo de comprimento de arco. Para formular o potencial complexo, temos que somar o efeito de todos os v ortices desse intervalo. A soma e dada pela integral (z ) = ia 2
2
log sin
0
zs 2
ds,
para valores de z fora do eixo real. Esse potencial complexo representa uma linha cont nua, innita, de v ortices. A essa linha se d a
[SEC. 3.4: TEOREMA DE BLASIUS
79
Figura 3.11: Linhas de corrente para uma folha de vorticidade. o nome de folha de vorticidade, representada pela linha grossa na Figura 3.11. Neste modelo matem atico, dito macrosc opico, a estru tura detalhada dos v ortices puntuais (isolados) foi achatada. E como se v ssemos o caso anterior de bem longe. Assim chamamos este modelo de macrosc opico pois o espa camento entre v ortices e t ao pequeno que vemos o conjunto como uma distribui c ao cont nua de v ortices. No Cap tulo 4 vamos mostrar que o campo de velocidades da folha e representado por uma integral singular. As linhas de corrente est ao representadas na Figura 3.11; temos o que chamamos de um escoamento cisalhante.
3.4
Teorema de Blasius
Teorema 3.2 (Teorema de Blasius). Considere um escoamento potencial estacion ario em torno de um obst aculo xo de se ca o transversal B , veja a Fig. 3.12. Seja o escoamento identicado pelo potencial complexo w(z ) e a for ca [X, Y ]T , sobre o obst aculo, pela fun ca o F = X iY . Ent ao F = i 2
B
dw dz
dz
80
x B
Figura 3.12: Geometria para o Teorema de Blasius. e M0 = Re 2

B
dw dz
z dz
onde M0 e o momento em torno da origem. O efeito da gravidade est a sendo ignorado. Demonstra ca o. O primeiro passo e transcrever o problema para a linguagem de vari aveis complexa. Temos que n = (dy, dx), Na forma complexa dF = dX idY = pdy i(pdx) = ip(dx idy ) = ipdz onde p representa a press ao, o u nico esfor co que o uido ideal exerce sobre o obst aculo. Por que denir F = X iY e dF = dX idY ? Isto e em decorr encia da velocidade complexa ser dw/dz = u iv . Como F = m acelera c ao = m du dv im , dt dt dF = p(dy, dx) = (dX, dY ).
[SEC. 3.4: TEOREMA DE BLASIUS
81
ent ao a conven c ao est a correta. Note que os resultados s ao escritos em termos de dw/dz . Precisamos obter uma express ao para a press ao. Pela Lei de Bernoulli [9, 8] temos que p ||U 2 || + = constante, digamos H . 2 Logo p = H Ent ao F =
B
dw dw . dz dz
dF = iH i 2
dz +
B
i 2
2
dw dw dz . dz dz
Finalmente F = pois
B
dw dz
dz,
dw dw dz = dz. dz dz Para o momento temos que M0 =

B
px dx + py dy, p 2
B
=
B
dw dw dz dz
Re (z dz ),
= Re 2 = Re 2
dw dw z dz, dz dz dw dz
2
z dz.
Agora podemos fazer uso de v arios resultados em An alise Complexa. Considere um c rculo C englobando o contorno B . Se o
82
escoamento potencial w(z ) for tal que n ao existem singularidades entre C e B , ent ao podemos usar o Teorema de Cauchy [1, 10] e substituir as integrais do Teorema Blasius por integrais sobre C . Isto e particularmente u til quando o comportamento assint otico de w(z ), longe do obst aculo, for conhecido e simples. Vale observar que a for ca em um obst aculo B n ao e invariante por uma aplica c ao conforme. No entanto a circula c ao e invariante. Verique! A componente de F normal ao escoamento e a sustenta c ao. A componente de F na dire c ao contr aria ao escoamento e a for ca de arrasto, de resist encia ao escoamento, devido ` a forma do obst aculo (n ao h a fric c ao no modelo!).
3.5
Sustenta c ao de um aerof olio
Atrav es de um exemplo bastante simples vamos estudar um dos princ pios b asicos que fazem um avi ao voar. Seja o potencial complexo w(z ) = A z + R2 z +i K z log , 2 R
onde a velocidade longe do cilindro de raio R e dada por [A, 0]T e a circula c ao em torno do cilindro e dado por (K ). Verique! Calculemos os pontos de estagna c ao: R2 dw =A 1 2 dz z + i k =A+ 2 z iR z
2
A+
iR K = 0. z 2R
Seja = iR/z . Temos que K 2R K 2R 2A

2
4A2
Com respeito ` as ra zes temos 3 casos: 0< K < 4 , AR K = 4 AR e K 4 AR
DE UM AEROFOLIO [SEC. 3.5: SUSTENTAC AO
83
Figura 3.13: Linhas de corrente para o caso (1): ra zes complexas distintas para os pontos de estagna c ao (indicados por ). Caso (1) ra zes complexas: = K 4AR
K 4AR .
K 4AR
1 = sin i cos ,
ao denirmos sin = Logo
iR = i( cos + i sin ), z com z+ = R ei e z = R ei .
84
Figura 3.14: Linhas de corrente para o caso (2): ra z dupla complexa. Os pontos de estagna c ao coalescem.
Estes pontos de estagna c ao est ao sobre o obst aculo B , veja a Fig. 3.13. Note que sin = 0 quando K = 0 (caso sem circula c ao). Caso (2) ra zes duplas: K = 1 = sin . Neste caso = e os Exatamente quando 4AR 2 pontos de estagna c ao z+ e z coalescem, veja a Fig. 3.14. Caso (3) ra zes reais: Neste caso temos as ra zes + = K + 4AR K 4AR
2
85
e = Como = os pontos de estagna c ao z = i R K 4AR iR z K 4AR

2
1.
est ao localizados ao longo do eixo dos y , como mostra a Fig. 3.15. Resumindo: no estudo apresentado vemos que conforme K aumenta, a partir de zero, a velocidade na parte superior do cilindro aumenta enquanto que na parte inferior diminui devido ` a circula c ao criada articialmente neste modelo matem atico. Pela Lei de Bernoulli vemos que a press ao na parte inferior ser a maior do que na parte superior do cilindro. Vejamos pelo Teorema de Blasius que isto gera a sustenta c ao do cilindro, ou seja, uma componente da for ca na vertical. Pelo Teorema de Blasius temos que F = i 2 dw dz
2
dz =
i 2
A 1
R2 z2
i K 2 z
dz,
pelo Teorema de Cauchy, F = Logo F = X iY = iAK Y = AK. Temos sustentamento do aerof olio devido ` a presen ca da circula c ao. Uma limita c ao desta teoria simplicada e a aus encia de for ca de arrasto, que indica o efeito de resist encia do ar ao movimento. Mas mesmo sendo um modelo excessivamente simplicado, vari aveis complexas nos revela um ingrediente importante na sustenta c ao de um aerof olio: a circula ca o. i 2 2Ai K 2AKi i 2i dz = 2 z 2 2 .
86
Figura 3.15: Linhas de corrente para o caso (3): ra zes reais. Um ponto de estagna c ao e virtual.
Vejamos as seguintes extens oes para o problema do cilindro ilustrado acima. Considere um obst aculo el ptico. Considere a aplica c ao conforme onde z=w+ 2 , e e uma constante real. w
Para um c rculo no plano w temos no plano z z = x + iy = R ei + Logo 2 = R ei R+ 2 R cos + i R 2 R sin .
x2 y2 + = 1, a2 b2
87
onde a= R+
2 R
b=
2 . R
Levamos um c rculo de raio R em uma elipse, com eixos 2a e 2b. O potencial complexo (w) = A w + reescrito na forma (z ) = A w(z ) + w(z ) = R2 w(z ) +i K log 2 w(z ) , R R2 w +i K log 2 w R
z 1 + (z 2 42 )1/2 2 2 representa o escoamento (an alogo ao anterior) em torno de um cilindro el ptico com circula c ao (K ) e velocidade [A, 0]T no innito. Veja o comportamento assint otico da transforma c ao conforme. A for ca ser a a mesma neste caso! Se o par ametro for tomado igual a R, a elipse vira uma placa. Ajustando o angulo de incid encia do escoamento no innito, podemos representar a congura c ao da Figura 3.16. Podemos generalizar o resultado para o c alculo da for ca sobre o cilindro com atrav es do teorema abaixo. Teorema 3.3 (Teorema de Kutta-Joukowski, [2, 8, 9]). Seja o escoamento potencial incompress vel, exterior a ` regi ao B . Seja a velocidade no innito dada pelo vetor U = [Ax , Ay ]T , constante. A for ca exercida sobre o obst aculo B e dada por F = [X, Y ]T = K ||U ||n, onde n e o vetor unit ario, normal a U = [Ax , Ay ]T , e K e a circula ca o em torno de B . A demonstra c ao faz uso da s erie de Laurent [1, 10, 23] para o potencial complexo, em conjunc ao com o Teorema de Blasius e o Teorema de Cauchy. Note que n ao h a uma componente da for ca no sentido contr ario ao escoamento. Este e o chamado Paradoxo
88
Figura 3.16: Caso da elipse que degenera em uma placa, um aerof olio plano.
de DAlembert. O paradoxo se d a em face de termos ignorado a viscosidade. Esse paradoxo ainda e mais surpreendente em 3D [2, 8, 9]. A engenharia pode tirar proveito desse paradoxo no sentido que, quanto menor a camada limite em torno da asa, e quanto maior a circula c ao gerada, melhor para a eci encia do aerof olio. A camada limite e a regi ao onde o uido est a sob o efeito da viscosidade. Neste curso n ao entraremos no t opico de aerof olios. No entanto aproveitamos para dar dois exemplos dos chamados aerof olios de Joukowski: considere a aplica c ao conforme z=w+ R2 , w
conhecida como a transforma ca o de Joukowski. Sejam as geometrias apresentadas na Figura 3.17. Os discos n ao-centrados d ao lugar aos aerof olios esbo cados no plano z complexo, uma an alise detalhada pode ser achada em [1].
89
Plano w
Plano z
z=
1 2
w+
1 w
Figura 3.17: Aerof olios obtidos pela transforma c ao de Joukowski.
Cap tulo 4
Integrais de contorno singulares

Neste Cap tulo damos continuidade ` a id eia de introduzir singularidades como objetos de grande utilidade em Matem atica Aplicada. Este e o Cap tulo mais avan cado do Curso, que vai al em do n vel elementar, mais que visa estimular o leitor a aprofundar seu conhecimento no fascinante tema de An alise Complexa Aplicada, e em particular, no tema de integrais de contorno singulares.
4.1
Integral de Cauchy
Consideremos uma curva : [a, b] C simples, ou seja, que n ao se corta, regular, n ao necessariamente fechada. Se for fechada, estar a orientada no sentido positivo (anti-hor ario). Seja h : tr C uma fun c ao de valores complexos, cont nua por partes, denida no tra co de . Para z C tr denimos a integral de Cauchy (z ) = 1 2i
h(w) dw. wz
(4.1)
J a vimos uma integral deste tipo quando consideramos a f ormula integral de Cauchy. Nesse caso, para f anal tica num aberto convexo 90
[SEC. 4.1: INTEGRAL DE CAUCHY
91
contendo a curva fechada e simples t nhamos f (z ) = 1 2i f (w) dw wz
para todo z no interior de . Esta representa c ao integral da fun c ao f provou ser u til, j a que permite intercambiar limites (Lema 1.1) al em de derivadas e s eries. Analogamente, para todo z C tr o integrando na Eq. (4.1) e uma fun c ao a duas vari aveis que denotamos por g (z, w) tal que g : (C tr ) tr C, g (z, w) =
h(w) . wz
A fun c ao g e anal tica com rela c ao ` a primeira componente e cont nua por partes com rela c ao a w. Como o integrando na Eq. (4.1) depende continuamente (continuamente por partes) em w, a integra c ao com respeito a w preserva a analiticidade com respeito a z , veja o Cap tulo 4 de [10]. Logo (z ) e anal tica em todo ponto de C tr . Se n ao for fechada o conjunto C tr e conexo e a Eq. (4.1) dene uma u nica fun c ao anal tica . Caso contr ario, C tr possui duas componentes conexas nas quais a Eq. (4.1) dene uma fun c ao anal tica. Estas fun c oes podem ser bem diferentes em cada componente. Por exemplo, se considerarmos h = 1 para todo z de fechada, ent ao a integral de Cauchy (z ) = 1 2i 1 dw wz
nada mais e do que o ndice de z com respeito a . Ela vale 1 no interior da curva e zero no exterior. A diferen ca 1 0 = h(z0 ), com z0 , n ao e casual. Vamos ver que no caso geral o salto que experimenta a integral de Cauchy ao aproximarmos por um lado ou o outro (todos termos a serem denidos ainda) do ponto z0 , e do valor de h(z0 ). Portanto, descartamos a possibilidade de denirmos por continuidade a fun c ao em . Isto longe de ser ruim, vai ser de muita utilidade nas
92
[CAP. 4: INTEGRAIS DE CONTORNO SINGULARES
aplica c oes. Nossa meta neste cap tulo e indicar como em problemas aplicados (por exemplo em Din amica dos Fluidos) podemos fazer uso do salto deste tipo de fun c ao denida atrav es de integrais de Cauchy e suas varia c oes. Na u ltima Se c ao, faremos uma breve introdu c ao a utilidade das integrais singulares em Modelagem Matem ` atica de problemas aplicados.
4.2
Valor Principal de Cauchy
Vimos que para z C tr a integral na Eq. (4.1) est a bem denida. Por em, se z tr a integral e singular. Precisamos dar uma interpreta c ao a esta integral e denir, se poss vel, um u nico valor para ela quando z tr . No caso real, com um segmento de reta e h = 1, a integral impr opria nem sempre existe. Vejamos no exemplo. Exemplo 4.1. Seja f (x) = 1/x uma fun c ao a valores reais denida em [L, L] {0}. A integral impr opria
L
f (x) dx
L
n ao existe. Para uma demonstra c ao rigorosa veja a caracteriza c ao da exist encia da integral impr opria na p agina 181 de [21]. Por em, o Valor Principal de Cauchy denido como
0 L
lim
f (x) dx +
L
f (x) dx,
existe e e zero porque para todo 0 < < L vale

L
f (x) dx +
L
f (x) dx = 0,
veja a Figura 4.1. Em outras palavras conseguimos formalisar o cancelamento da parte positiva com a parte negativa da integral. Portanto, no caso de fun c oes complexas, onde as integrais s ao denidas ao longo de curvas mais gerais do que segmentos do eixo real, uma constru c ao especial deve ser feita capaz de resolver situa c oes como acima.
[SEC. 4.2: VALOR PRINCIPAL DE CAUCHY
93 f (x)
L
|
Figura 4.1: Valor Principal de Cauchy de uma fun c ao real. Seja z0 = (t0 ) um ponto da curva que n ao e extremo quando n ao for fechada, ou seja, t0 = a, b. Vamos considerar uma bola fechada com centro em z0 e raio > 0, sucientemente pequeno para que a circunfer encia : |z z0 | = corte em pelo menos dois pontos. Veja a Figura 4.2. Sejam tais pontos z1 = (t1 ) e z2 = (t2 ) com t1 < t0 < t2 , sendo t1 o maior valor em [a, t0 ) tal que (t1 ) perten ca ` a circunfer encia e t2 o menor valor em (t0 , b] tal que (t2 ) perten ca ` a circunfer encia. Denotemos por a parte de entre z1 e z2 , ou seja = ([t1 , t2 ]). Ent ao, a integral 1 2i h(w) dw w z0 (4.2)
94
z2 z0 z1
Figura 4.2: Deni c ao de Valor Principal de Cauchy. existe para todo > 0. Se quando 0 o limite destas integrais existir, chamaremos este limite de o Valor Principal de Cauchy da integral (4.2) para z = z0 e utilizamos a nota c ao: 1 h(w) 1 dw = lim 0 2i w z0 2i Nesse caso, denimos (z0 ) = 1 h(w) dw. 2i w z0 (4.3) h(w) dw. w z0
Observe que a deni c ao do Valor Principal de Cauchy (VPC) dada generaliza a deni c ao conhecida dos cursos de An alise utilizada no Exemplo (4.1). No lugar de integrais ao longo de segmentos de reta no eixo real, agora integramos ao longo de uma curva no plano complexo. Por outro lado, esta nova deni c ao n ao e restritiva pois a integral da Eq. (4.3) pode existir como integral impr opria. Isto e, se existir o limite
1 ,2 0
lim
1 2i
1 h(w) dw + w z0 2i
+
2
h(w) dw, w z0
(4.4)
95
onde = ([t1 , t0 ]) e + = ([t0 , t2 ]). Ou seja, consideramos z1 e 1 2 z2 se aproximando de z0 mas n ao necessariamente de forma sim etrica. Ent ao o Valor Principal de Cauchy existe e coincide com o valor da integral impr opria, j a que basta considerar 1 = 2 no limite (4.4). Vejamos agora um exemplo semelhante ao Exemplo 4.1 s o que estaremos introduzindo uma nota c ao que nos permitir a calcular o Valor Principal de Cauchy para integrais sobre curvas complexas. Exemplo 4.2. Seja = [1, 1], e 1 < < 1. A integral impr opria 1 2i
1 dw w
n ao existe. Vejamos se existe o Valor Principal de Cauchy. Considere < min( + 1, 1 ), de forma que corte em dois pontos: 1 Ent ao
1
1 dw = ln ln(1 + ) w
1 +
1 dw = ln(1 ) ln . w 1 dw = ln w 1 1+
Assim, existe a integral
e e independente de . Portanto, no limite, lim 1 dw = ln w 1 1+ .
No exemplo seguinte, a curva n ao est a mais no eixo real.
96
z1 z0 z2
Figura 4.3: VPC para o Exemplo 4.3. Exemplo 4.3. Consideremos mais uma vez h(z ) = 1 e a integral 1 dw w z0
com z0 , um ponto sobre a curva fechada orientada no sentido positivo. Seja > 0 de forma tal que a circunfer encia corte nos pontos z1 e z2 , conforme descrito na deni c ao de VPC. Chamemos de o arco de circunfer encia desde z1 at e z2 centrado em z0 , veja a Figura 4.3. Ent ao 1 2i 1 dw = w z0 = 1 2i
+
1 1 dw w z0 2i
1 dw. w z0
A integral ao longo do caminho fechado + e zero porque z0 est a no exterior do caminho. Por isso, 1/(w z0 ) e anal tica no interior do caminho e nele pr oprio e podemos aplicar o teorema de Cauchy.
97
Para calcular a segunda integral vamos parametrizar o caminho na forma polar w = z0 + ei , onde o argumento percorre os valores compreendidos entre = arg(z1 z0 ) e = arg(z2 z0 ) com os argumentos e escolhidos de tal maneira que 2 < < 0. Por exemplo, na Figura 4.3, 0 < < < 2. Se Im z2 fosse menor do que Im z0 , escolheriamos tal que 2 < < 0. Substituindo na integral 1 2i obtemos 1 2i

1 dw w z0
1 1 iei d = ( ). ei 2
Intuitivamente, o limite de ( ) quando o raio tende a zero e , porque os quocientes z0 z1 e z2 z0
tendem ao vetor unit ario tangente ` a curva regular em z0 . Formalmente, z2 z0 lim = 1. 0 z1 z0 Em coordenadas polares temos
0
lim ei( ) = 1.
98
O ramo da fun c ao argumento correspondente a ( ) e (2, 0), portanto, o ramo da fun c ao logaritmo correspondente devolve log(1) = i . Pela continuidade do ramo da fun c ao logaritmo,
0
lim = . 1 1 dw = w z0 2 1 1 dw = . w z0 2
Com isto,
0
lim
1 2i 1 2i
e assim,
0
lim
Voltando ` a integral do in cio deste Cap tulo, sob quais condi c oes para h(w), w , e poss vel garantir a exist encia do Valor Principal de Cauchy? Vamos ver que e suciente que h satisfa ca uma condi c ao de H older em para que o VPC exista. Deni c ao 4.1. Seja h uma fun c ao complexa denida num subconjunto compacto S C. Se para todo par de pontos z1 , z2 S valer |h(z1 ) h(z2 )| |z1 z2 |
O resultado do meio e na verdade um VPC, ou seja, deve ser escrito na forma 1 1 1 dw = . 2i w z 2
Resumindo, para uma curva fechada vale 0, se z pertence ao exterior de , 1 1 1 , se z pertence a , dw = 2 2i w z 1, se z est a no interior de .
para constantes xas > 0 e 0 < 1, dizemos que h satisfaz a condi ca o de H older uniforme em S . Coment arios sobre a deni c ao: Se = 1 temos a condi c ao de Lipschitz. Uma fun c ao anal tica numa regi ao contendo satisfaz uma condi c ao de Lipschitz. Prove! A condi c ao de H older nos permite
99
trabalhar com uma classe maior de fun c oes, com menos regularidade que uma fun c ao anal tica. Se fosse maior do que 1 na Deni c ao 4.1, da deni c ao de derivada ter amos que a derivada existe em todo ponto e vale zero, pois o quociente incremental tende a zero. Logo h seria constante em , como no Exemplo 4.3. Agora podemos responder a pergunta feita acima. Temos o seguinte resultado: Teorema 4.1. Seja uma curva regular simples e z0 um ponto sobre tal que z0 n ao seja extremo de . Considere h uma fun ca o complexa denida em que satisfaz uma condi ca o de H older uniforme em . Ent ao existe o Valor Principal de Cauchy (z0 ) = 1 h(w) dw. 2i w z0 (4.5)
Se for fechada e orientada no sentido positivo vale (z0 ) = para todo z0 tr . Observa c ao: A primeira integral no membro direito da Eq. (4.5) deve ser entendida, no caso geral, como integral impr opria. Por exemplo, se a derivada de h no ponto z0 existir, removemos a aparente singularidade denindo o integrando em z0 como o valor da derivada de h nesse ponto: integrando =
h(w)h(z0 ) , wz0 h (z0 ),
1 2i
h(w) h(z0 ) 1 dw + h(z0 ), w z0 2
w = z0 , w = z0 .
Com isto o integrando e cont nuo em z0 e temos uma integral no sentido usual. M etodos num ericos fazem uso deste truque para calcular integrais singulares. No nal do Cap tulo faremos coment arios a respeito destas integrais dessingularizadas. Note tamb em a rela c ao com o Teorema dos Res duos, aqui aparece uma fra c ao (neste caso metade) do res duo h(z0 ) correspondente ` a fun c ao h(z ) z z0
100 com um polo simples em z0 .
Demonstra ca o. Suponhamos primeiro que e fechada. Considerando mais uma vez vale h(w) dw = w z0 =
h(w) h(z0 ) dw + h(z0 ) w z0
1 dw. w z0
O limite da u ltima integral quando 0 foi calculado no Exemplo 4.3 e vale i. O limite da primeira integral existe, inclusive como integral impr opria, porque pela condi c ao de H older para h vale h(w) h(z0 ) 1 |w z0 | . w z0 Utilizando a vers ao complexa da caracteriza c ao da exist encia da integral impr opria (veja a p agina 181 do livro de Lima [21]) junto com a propriedade abaixo (Eq. (9) em [3]): f (z )dz |f (z )| |dz | ,
onde |dz | e o comprimento de arco, o resultado segue. Veja os detalhes na p agina 312, [22]. Basicamente o que foi feito foi somar e subtrair um termo com h(z0 ) para dessingularizar a primeira integral ` a direita. Por dessingularizar queremos dizer que o integrando da primeira integral ` a direita tem no m aximo uma singularidade integr avel, ou seja, n ao precisamos apelar para o VPC. Assim, essa integral ca cotada por uma integral que sabemos ser nita. Quando n ao for fechada, podemos unir seus extremos por uma curva 1 de tal forma que + 1 seja uma curva fechada, simples e orientada no sentido positivo. Denimos h como sendo zero em 1 , com isto h satisfaz uma condi c ao de H older em + 1 e o resultado segue do caso anterior.
[SEC. 4.3: FORMULAS DE PLEMELJ
101
Por u ltimo, se o integrando de interesse for do tipo f (w) = h(w) + g (w z0 ), w z0
com z0 e g cont nua em um aberto contendo , de forma que exista o VPC 1 h(w) dw, 2i w z0 ent ao escrevemos 1 1 1 h(w) f (w) dw = dw + 2i 2i w z0 2i g (w z0 ) dw.
Ou seja, na pr atica podemos escolher o VPC mais f acil de calcular.
4.3
F ormulas de Plemelj
No Exemplo 4.3 vimos que os limites da integral de Cauchy, quando nos aproximamos de um ponto z0 por cada lado da curva , n ao s ao necessariamente iguais nem coincidem com o Valor Principal de Cauchy (z0 ) denido na Se c ao anterior. Observamos tamb em que o salto experimentado por ao nos aproximar de e de h(z0 ). Nesta Se c ao vamos estabelecer f ormulas gerais que relacionam os limites laterais com o VPC para fun c oes h que satisfazem uma condi c ao de H older. O resultado e conhecido como f ormulas de Plemelj (1908) ou f ormulas de Sokhotskyi (1873), em homenagem a Josip Plemelj e Yulian Vasilievich Sokhotski, respectivamente. Este u ltimo antecipou o resultado em 35 anos! Come cemos por precisar o que entendemos por nos aproximar por um lado ou outro da curva . Consideremos uma circunfer encia centrada em z0 tr com raio pequeno o suciente para cortar somente em dois pontos. Vamos chamar de positiva (+) a regi ao de que est a` a esquerda da dire c ao positiva de e de negativa () a regi ao que ca ` a direita segundo a orienta c ao de . Veja a Figura 4.4. Se o limite da integral de Cauchy (z ) existir quando nos aproximarmos de z0 por pontos na regi ao +, denotaremos este limite por + (z0 ). Analogamente, se para qualquer seq u encia na regi ao existir o limite de (z ) ao nos aproximarmos de z0 , denotaremos este
102
z0 +
Figura 4.4: Regi oes de cada lado de . limite por (z0 ). O Teorema de Plemelj estabelece que esses limites efetivamente existem. Teorema 4.2. Seja uma curva simples, regular, n ao necessariamente fechada. Denotamos por h uma fun ca o complexa denida em que satisfaz uma condi ca o de H older uniforme em . Ent ao existem os limites + (z0 ) e (z0 ) da integral de Cauchy e valem as f ormulas de Plemelj: 1 + (z0 ) = (z0 ) + h(z0 ), 2 (4.6) 1 (z0 ) = (z0 ) h(z0 ), 2 para todo z0 tr que n ao seja extremo da curva . Observe que (z0 ) e o VPC, para o qual demonstramos a exist encia no Teorema 4.1. A demonstra c ao deste resultado pode ser encontrada em [12], vol. 3, p agina 94, junto com v arios enunciados de vers oes deste Teorema. Se subtrairmos e somarmos as equa c oes em (4.6) obtemos + (z0 ) (z0 ) = h(z0 ) e + (z0 ) + (z0 ) = 2(z0 ). (4.8) A Eq. (4.7) arma que a integral de Cauchy experimenta um salto ao passarmos de um lado para outro de , em z0 , salto este de valor h(z0 ). A Eq. (4.8) nos d a um valor m edio do potencial nesta regi ao. Em Din amica dos Fluidos isto pode ser interpretado como o valor m edio da velocidade de um uido sob um escoamento cisalhante. (4.7)
DE UM ESCOAMENTO CISALHANTE [SEC. 4.4: REPRESENTAC AO
103
4.4
Representa c ao de um escoamento cisalhante

ia 2
2
No Cap tulo 3 vimos que o potencial complexo (z ) = log sin

0
zs 2
ds,
(4.9)
com z C R, representa uma linha cont nua innita de v ortices, chamada de folha de vorticidade. Neste caso, todos os v ortices pontuais t em intensidade constante. A derivada do potencial complexo acima e d 1 (z ) = dz 2i
2 0
a cot 2
zs 2
ds,
onde usamos a Regra de Leibniz. Esta integral pode ser interpretada como uma integral de Cauchy se escrevermos cot w = 1 + g (w), w
onde g e uma fun c ao cont nua em zero onde g (0) = 0. Com efeito, existe 1 lim cot w =0 w0 w e podemos denir a fun c ao cont nua, em uma vizinhan ca de zero, como sendo 1 , w = 0, cot w w g (w) = 0, w = 0. Ent ao o campo de velocidades e dado por d 1 (z ) = dz 2i
2 0
a 1 ds + sz 2i
2 0
a g 2
zs 2
ds.
O segmento [0, 2 ] na integral parametrizada est a orientado no sentido positivo do eixo real e por isso o semiplano superior e a regi ao + e o semiplano inferior a regi ao . Aplicando a f ormula de Plemelj ao primeiro termo temos,
2 a a 1 1 d (x) = + ds + dz 2 2i 0 x s 2i 2 0
a g 2
xs 2
ds,
104
a 2
a 2
Figura 4.5: Escoamento cisalhante uniforme. ou seja,

2 d a a 1 (x) = + cot dz 2 2i 0 2
xs 2
ds.
O VPC acima e zero, verique! Portanto, a d (x) u iv = . dz 2 ca Ou seja, a velocidade horizontal do uido e a 2 na vizinhan da folha de vorticidade enquanto que a velocidade vertical v e nula. Assim temos uma express ao integral sosticada para representar um escoamento cisalhante uniforme perto da folha de vorticidade plana, como a da Figura 4.5. Este resultado e o ponto de partida para o estudo da instabilidade de uma folha de vorticidade submetida a perturba c oes peri odicas. No nal dos anos 1980 e come co dos anos 90, este problema despertou grande interesse de matem aticos, [18, 19, 31]. Vejamos como se escrevem as equa c oes para a evolu c ao de uma curva no plano complexo, equa c oes estas que dependem de uma integral singular. No contexto do movimento bidimensional de uma interface separando dois uidos imisc veis, incompress veis e inv scidos, podemos parametrizar a curva como z (e, t) = x(e, t) + iy (e, t), 0 e 2 , tal que z (e + 2, t) = 2 + z (e, t). Vamos supor que inicialmente n ao h a vorticidade exceto na interface. Existe um teorema que prova que
DE UM ESCOAMENTO CISALHANTE [SEC. 4.4: REPRESENTAC AO
105
a vorticidade vai se manter connada na interface por todo tempo, [9]. Podemos generalizar a formula c ao acima e considerar que a intensidade de cada v ortice n ao e mais constante. Neste caso, com uma densidade de vorticidade denotada por , temos uma generaliza c ao do potencial complexo Eq. (4.9) e escrevemos (z ) = 1 2i
2
(e , t) log sin
0
z z (e , t) 2
de ,
z .
O campo de velocidades correspondente e d 1 (z ) = dz 4i

2
(e , t) cot
0
z z (e , t) 2
de .
A f ormula de Plemelj pode ser aplicada da mesma forma vista no caso da folha plana. Quando z , o VPC d a lugar a uma equa c ao para a evolu c ao da curva :
2 dy 1 dx (e, t) + i (e, t) = (e , t) cot dt dt 4i 0
z (e, t) z (e , t) 2
de .
Em [6, 17, 29] e apresentada a equa c ao para a evolu c ao de (e, t) equa c ao esta que depende da curvatura de z (e, t). Assim o sistema de evolu c ao ca completo, com tr es equa c oes e tr es inc ognitas. Mas aqui vamos nos ater ` a integral singular. Por m mencionamos que existem m etodos num ericos para calcular integrais singulares no computador. Chamamos a aten c ao para duas t ecnicas. Em [29] e usada a t ecnica de dessingulariza c ao da integral. Em [31] e usada a Regra do Trap ezio Alternada. Seja a integral 2 e e f (e ) cot de . 2 0 A primeira t ecnica, relatada por Pullin, realiza a integra c ao num erica de 2 e e de , f (e ) f (e) cot 2 0
106
onde o integrando no ponto e = e vale f (e ). Na t ecnica relatada por Shelley,

2
f (e ) cot
0
e e 2
de 2e
f (ek ) cot
k=1 j+k mpar
ej ek 2
onde os pontos s ao usados de forma alternada produzindo um resultado de alta precis ao para um espa camento e pequeno. V arios problemas de pesquisa, computacionais em sua maioria, surgiram a partir desta formula c ao integral. Importantes contribuic oes est ao listadas nas refer encias do artigo [6]. Especicamente, em [18] encontra-se um estudo cuidadoso dos m etodos num ericos para resolver este tipo de equa c oes. Estes m etodos com folhas de vorticidade tamb em podem ser utilizados para estudar o fen omeno da quebra de ondas, como pode ser encontrado em [7].
Bibliograa
[1] Ablowitz, M. J. e Fokas, A. S., Complex Variables, introduction and applications, Cambridge University Press, 1997. [2] Acheson, D. J., Elementary Fluid Dynamics, Oxford University Press, 1990. [3] Ahlfors, L. V., Complex Analysis, an introduction to the theory of one complex variable, McGraw Hill editora, 1978. [4] Artiles, W. e Nachbin, A., Nonlinear evolution of surface gravity waves over highly variable depth, Phys. Rev. Lett., Vol. 93, 234501, 2004. [5] Artiles, W. e Nachbin, A., Asymptotic nonlinear wave modeling through the Dirichlet-to-Neumann operator, Meth. Appl. Anal., Vol. 11, No. 3, pp. 118, 2004. [6] Baker, G. R. e Nachbin, A., Stable methods for vortex sheet motion in the presence of surface tension, SIAM J. Sci. Comput., Vol. 19, no. 5, pp. 17371766, 1998. [7] Baker, G. R., Meiron D. I. e Orszag S. A., Generalized vortex methods for free-surface ow problems, J. of Fluid Mechanics, Vol. 123, pp. 477501, 1982. [8] Batchelor, G., K., An Introduction to Fluid Dynamics, Cambridge University Press, 1967. [9] Chorin, A. J. e Marsden, J. E., A Mathematical Introduction to Fluid Mechanics, 2nd. ed., Springer-Verlag, 1990. 107
108
BIBLIOGRAFIA
[10] Conway, J. B., Functions of One Complex Variable I, 2nd. ed., Springer-Verlag, 1978. [11] Floryan, J. M., Conformal-mapping based coordinate generation method for channel ows, J. of Computational Physics, Vol. 58, no. 2 pp. 229245, 1985. [12] Henrici, P., Applied and Computational Complex Analysis, Vol. 3 John Wiley & Sons, 1993. [13] Homsy, G. M., Aref, H., Breuer, K. S., Hochgreb, S., Kose, J. R., Munson, B. R., Powell, K. G., Robertson, C. R. e Thoroddsen S. T., Multi-Media Fluid Mechanics, Cambridge University Press, CD-ROM, 2000. [14] Driscoll, T. A., http://www.math.udel.edu/~driscoll/software. [15] Driscoll, T. A., e Trefethen, L. N., Schwarz-Christoel Mapping, Cambridge University Press, 2002. [16] Garnier, J., Mu noz, J .C., e Nachbin, A., Eective behavior of solitary waves over random topography, submetido para publica c ao, 2006. [17] Hou, T., Lowengrub, J., e Shelley, M., Removing stiness from interfacial ows with surface tension, J. of Computational Physics, Vol. 114, pp. 312338, 1994. [18] Krasny, R., A study of singularity formation in a vortex sheet by the point-vortex approximation, J. of Fluid Mechanics, Vol. 167, pp. 6593, 1986. [19] Krasny, R., Desingularization of periodic vortex sheet roll-up, J. of Computational Physics, Vol. 65, pp. 292313, 1986. [20] Lima, E. L., Curso de An alise, Vol. 1, Projeto Euclides, 1991. [21] Lima, E. L., Curso de An alise, Vol. 2, Projeto Euclides, 1981. [22] Markushevich, A. I., Theory of functions of a complex variable, Vol. 1, Prentice-Hall, 1965.
BIBLIOGRAFIA
109
[23] Milne-Thomson, L. M., Theoretical hydrodynamics, Dover, 5th. ed, 1996. [24] Mu noz, J. C. e Nachbin, A., Dispersive wave attenuation due to orographic forcing, SIAM J. Appl. Math., Vol. 64, no. 3, pp. 977-1001, 2004. [25] Mu noz, J. C. e Nachbin, A., Sti Microscale forcing and solitary wave refocusing, SIAM Multiscale Modeling and Simulation, Vol. 3, no. 3, pp. 680705, 2005. [26] Mu noz, J. C. e Nachbin, A., Improved Boussinesq-type equations for highly-variable depths, IMA J. Appl. Math., Vol. 71, pp. 600633, 2006. [27] Nachbin, A., The localization length of randomly scattered water waves, J. of Fluid Mechanics, Vol. 296, pp. 353372, 1995. [28] Nachbin, A., A terrain-following Boussinesq system, SIAM J. Appl. Math., Vol. 63, no. 3, pp. 905922, 2003. [29] Pullin, P. I., Numerical studies of surface-tension eects in nonlinear Kelvin-Helmholtz and Rayleigh-Taylor instabilities, J. of Fluid Mechanics, Vol. 119, pp. 5073532, 1982. [30] Ruiz de Z arate, A., e Nachbin, A., A reduced model for internal waves interacting with topography at intermediate depth, submetido para publica c ao, 2007. [31] Shelley, M. J., A study of singularity formation in vortex-sheet motion by a spectrally accurate vortex method, J. of Fluid Mechanics, Vol. 244, pp. 493526, 1992. [32] Van Dyke, M., Album of Fluid Motion, Parabolic Press, 1982

Impa

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Impa

Uploaded by

Copyright:

Available Formats

Tpicos Introdutrios Anlise Complexa Aplicada

Tpicos Introdutrios Anlise Complexa Aplicada

26o Colquio Brasileiro de Matemtica

3.3 3.4 3.5

Breve resumo em An alise Complexa elementar

Fun c oes anal ticas

[CAP. 1: BREVE RESUMO EM ANALISE COMPLEXA ELEMENTAR

[SEC. 1.1: FUNC OES ANAL ITICAS

n(n 1) (n k + 1)an (z a)nk

[CAP. 1: BREVE RESUMO EM ANALISE COMPLEXA ELEMENTAR

[SEC. 1.2: DUAS FUNC OES COMPLEXAS IMPORTANTES NESTE CURSO

Duas fun c oes complexas importantes neste curso: ez e log z

Exemplo 1.2. Vimos que f (z ) = ez e anal tica em C, logo f (z ) =

[CAP. 1: BREVE RESUMO EM ANALISE COMPLEXA ELEMENTAR

|ez | = ez ez = ez+z = exp(2Re z ),

[SEC. 1.2: DUAS FUNC OES COMPLEXAS IMPORTANTES NESTE CURSO

[CAP. 1: BREVE RESUMO EM ANALISE COMPLEXA ELEMENTAR

[SEC. 1.2: DUAS FUNC OES COMPLEXAS IMPORTANTES NESTE CURSO

Figura 1.3: Ramo da fun c ao raiz quadrada. Exemplo 1.4. Considere w = f (z ), z = w2 .

[CAP. 1: BREVE RESUMO EM ANALISE COMPLEXA ELEMENTAR

Figura 1.4: Ramo do argumento, : ponto de ramica c ao, y

Figura 1.5: Superf cie de Riemann de duas folhas.

[SEC. 1.2: DUAS FUNC OES COMPLEXAS IMPORTANTES NESTE CURSO

[CAP. 1: BREVE RESUMO EM ANALISE COMPLEXA ELEMENTAR

Equa c oes de Cauchy-Riemann e fun c oes harm onicas

De agora em diante vamos abreviar nossa terminologia de forma que

Seja f : G C anal tica com u(x, y ) = Re f (z ), v (x, y ) = Im f (z ), z = x + iy.

[SEC. 1.3: EQUAC OES DE CAUCHY-RIEMANN E FUNC OES HARMONICAS

u(x, y + h) u(x, y ) v (x, y + h) v (x, y ) f (z + ih) f (z ) = +i . ih ih ih No limite h 0: df u v = i + dz y y (1.3)

Somando as duas EDPs temos que 2u 2u + 2 = 0 ou x2 y u = 0,

[CAP. 1: BREVE RESUMO EM ANALISE COMPLEXA ELEMENTAR

Fun c oes anal ticas estudadas como aplica c oes

[CAP. 1: BREVE RESUMO EM ANALISE COMPLEXA ELEMENTAR

Figura 1.8: f (z0 ) = 0.

Angulo preservado pela fun c ao anal tica f quando

[CAP. 1: BREVE RESUMO EM ANALISE COMPLEXA ELEMENTAR

Figura 1.9: Aplica c ao conforme ez da faixa na regi ao = C {z : z 0}.

Figura 1.10: Mapeamento da regi ao circular 0 na metade da faixa de largura 2 .

Transforma c oes de M obius

Deni c ao 1.9. Uma aplica c ao da forma S (z )

[CAP. 1: BREVE RESUMO EM ANALISE COMPLEXA ELEMENTAR

COMPLEXA [SEC. 1.5: INTEGRAC AO

Figura 1.11: Parti c ao P para uma fun c ao .

[CAP. 1: BREVE RESUMO EM ANALISE COMPLEXA ELEMENTAR

f (t) d (t) na forma parametrizada

COMPLEXA [SEC. 1.5: INTEGRAC AO b (f a b a b a b a

f (t) (t) dt.

para a integral de linha ao longo de .

[CAP. 1: BREVE RESUMO EM ANALISE COMPLEXA ELEMENTAR

Note que z = 0 ao longo de tr . 1 dz = z ou

Indice de caminho fechado

Acabamos de ver que

(s) ds, (s) a

[SEC. 1.6: INDICE DE CAMINHO FECHADO 1 z a

29 dz . Tamb em temos que 0t1

Obviamente g (0) = 0 e g (1) = g (t) = ou

eg(0) (0) a = (0) a Portanto como a curva e fechada eg(1) = 1

g (1) = 2in, n inteiro.

Ent ao provamos a proposi c ao 1 2i 1 dz = n, z a inteiro.

[CAP. 1: BREVE RESUMO EM ANALISE COMPLEXA ELEMENTAR

2. n( + , a) = n(, a) + n(, a) para todo a tr tr .

(t) dt = 2in (t) a

[SEC. 1.6: INDICE DE CAMINHO FECHADO