III Congresso Internacional de Ensino da Matemtica ULBRA, Canoas-RS, 20-22 Outubro de 2005

VISUALIZANDO FUNES COMPLEXAS

Rubn Panta Pazos

Departamento de Matemtica, UNISC, Av. Independncia, 2293 - Bairro Universitrio CEP 96815-900, Santa Cruz do Sul RS rpazos@unisc.br

Resumo: Neste trabalho se apresenta o enfoque geomtrico das funes de uma varivel complexa, na medida do ensino aos alunos de graduao da engenharia e matemtica. Damos um esboo de algumas funes analticas elementares, indicando como determinadas curvas ou regies convexas do plano complexo so transformados. A interpretao geomtrica das condies de Cauchy-Riemann que deve satisfazer uma funo analtica includa. Damos tambm duas aplicaes importantes, a transformaes de Joukowski de utilidade na aerodinmica.e de Moebius. Cabe mencionar que um importante material usado foi desenvolvido com um sistema de computao algbrica. Palavras-chave: Transformao conforme, Transformao de Joukowski, Sistema de computao algbrica. 1. INTRODUO O enfoque geomtrico se abre passo em diversas disciplinas da cincia e tcnica, e ainda nas disciplinas matemticas. O estudo das funes de varivel complexa tem sido facilitado com as novas tecnologias. O esforo dos matemticos que contriburam na teoria, como Euler, Gauss, Cauchy, Abel, Riemann, Weierstrass, Picard, Poincar, Hilbert, entre outros, tem multiplicado seu potencial com o desenvolvimento de outras reas da cincia, mas sem dvida alguma, o uso das tcnicas computacionais nas diversas reas da matemtica representa maiores desafios e novas possibilidades. Este trabalho est organizado da seguinte maneira : na seo 2 apresentamos as idias bsicas para a visualizao das transformaes geomtricas experimentadas por curvas e regies convexas mediante funes de uma varivel complexa, o que por abuso da linguagem, vamos dizer como visualizao das funes complexas. Na seo 3 vamos nos reduzir funo quadrtica complexa. Depois, na seo 4, apresentamos s mudanas geomtricas que sofrem curvas e regies convexas pela aplicao de funes analticas, incluindo a interpretao geomtrica das condies de CauchyRiemann. Na seo 5 dedicada s aplicaes, entre as quais figuram a transformaes de Joukowski e de Moebius. Finalmente daremos algumas consideraes finais.

2. CONCEITOS FUNDAMENTAIS Quando tratamos as funes reais de uma varivel real resulta de interes estudar o comportamento local da funo. Desta forma podemos analisar em forma qualitativa atravs do grfico da funo, ou mediante o emprego do conceito das derivadas de primeira e segunda ordem. Isto pelo menos duas formas de uso comum so: - o enfoque analtico; - o enfoque geomtrico. Tomemos como exemplo a famlia das funes lineares f m (x ) = mx, com m R . (1)

Dependendo do coeficiente angular m, sabemos se cresce ou no, mas tambm se contrai ou dilata o intervalo unitrio [ 0,1 ].

Figura 1 : Funes lineares f0,5(x) e f1,5(x), uma contrai, a outra dilata [ 0,1].

Consideremos agora a famlia de funes de varivel complexa, f a (z ) = az , com a = re i C . (2)

onde o nmero complexo a est na forma polar, r o mdulo e seu argumento. Consideremos o quadrado unitrio no plano complexo, isto o quadrado Q cujos vrtices so 0, 1, 1 + j , j , onde j representa a unidade imaginria. A imagem fa(Q) ser outro quadrado no plano complexo depois de experimentar duas transformaes.
Tabela 1 : Transformaes experimentadas pelo quadrado unitrio Q.

a = x + jy = re j Mdulo r = a = x 2 + y 2 y Argumento = arctan x

Condio r<1 r=1 r>1 Qualquer

Transformao no plano complexo

Contrao no fator r Nem contrai nem dilata Dilatao num fator r Rotao num ngulo em relao ao eixo real

Se a = + j

e z = x + jy, ento

u v f a ( z ) = (x y ) + j (y + x ) , isto (3)
6 4

Re( f a ( z ) ) = u ( x, y ) = x y Im( f a ( z ) ) = v( x, y ) = y + x A tabela 2 mostra os clculos para a = unitrio. + j

2 4

, simulando o quadrado

Tabela 2 : Resultados do clculo das coordenadas no plano u-v mediante fa(z).

Desta forma o lado do quadrado Q no plano complexo x-y que une a origem e o ponto 1 transformou-se no segmento de reta no plano complexo u-v que une a origem e o ponto de abscissa 0,612 e ordenada 0,354, isto o nmero complexo 0,612 + j 0,354. So os pontos da ltima linha da tabela. Tambm, o lado do quadrado Q no plano complexo x-y que une 1 e o ponto 1 + j transforma-se no segmento de reta no plano u-v que une 0,612 + j 0,354 com 0,259 + j 0,966, a ltima coluna da tabela. Na figura 2, obtida mediante recursos grficos de um sistema de computao algbrica, podemos observar dois casos diferentes, no primeiro a rotao 30, cujos clculos esto reproduzidos anteriormente, e no segundo caso quando a rotao de 60.

Figura 2 : Quadrados original e transformado mediante funes lineares, na direita quando a = 46 + j 42 ( contrao com rotao 30 ) e na esquerda quando a = 22 + j 26 (dilatao com rotao 60 ).

3.

FUNO QUADRTICA q(z) = z2, sendo z um

Consideremos agora a funo quadrtica, isto nmero complexo. u v Se z = x + jy, ento q ( z ) = x 2 y 2 + 2 xyj , isto Re( f a ( z ) ) = u ( x, y ) = x 2 y 2 Im( f a ( z ) ) = v( x, y ) = 2 xy

(4)

Mais uma vez o domnio de interesse ser o quadrado unitrio Q, descrito anteriormente. Os resultados numricos aparecem na tabela 3.
Tabela 3 : Resultados do clculo das coordenadas no plano u-v mediante a funo q(z) = z2.

O lado do quadrado Q que une a origem e o ponto 1 o segmento da reta [ 0,1 ] no plano u-v, o lado unindo 1 e 1 + j do plano x-y transformou-se no arco da parbola u = 1 1 v 2 que une 1 com 2 j, e o lado que une 1 + j com j agora o arco 4 da parbola u = 1 v 2 1 do plano u-v. 4

Figura 3 : Quadrado original no plano x-y e conjunto transformado no plano u-v mediante a funo quadrtica q(z) = z2.

Podemos ilustrar em forma seqencial, a forma que o quadrado Q transformado se definimos a famlia de funes

g t (z ) = (1 t ) z + tz 2 ,

0 t 1,

(5)

Na verdade, se trata de uma combinao linear da funo identidade f1(z) = z e a funo quadrtica q(z) = z2 , isto gt(z) uma homotopia linear que leva a identidade na funo q(z). A figura 4 mostra a seqncia para t = 0, ..., 1, mudando cada t = 0,25.

Observao. Na prtica educacional resulta gratificante perceber que o aluno capta as formas de trabalho geomtrico no plano complexo mais rapidamente que o clculo ou a anlise com funes complexas. Aps ter refrescado a aritmtica e geometria dos nmeros complexos na sala de aula, o emprego do computador aperfeioa a aprendizagem. O trabalho com outras curvas e regies (setor circular) representa um maior impulso ao entendimento das funes complexas, em especial quando depois se trabalhe com integrao no campo complexo. Neste trabalho vamos nos limitar ao enfoque qualitativo. 4. FUNES ANALTICAS. CONDIES DE CAUCHY-RIEMANN Uma funo de varivel complexa que possui derivada numa vizinhana de um ponto se diz analtica. Em forma equivalente se pode expandir-se em srie de potncias. No caso de funes reais, a expanso de McLaurin da funo seno

da mesma forma substituindo a varivel real x pela varivel complexa z, obtemos a funo seno na varivel complexa. As aproximaes polinomiais de Taylor de seno podem observar-se na seguinte figura, nas duas verses, com x real e com z complexa.

sen( x) = x

Figura 4 : Seqncia da transformao do quadrado Q.

x3 x5 x5 + + 3! 5! 5!

(6)

Figura 5 : Aproximaes de Taylor para a funo seno, caso x real na esquerda, caso z complexo na direita. A transformao do quadrado unitrio par n = 2, 3, 5.

O que podemos observar que o quadrado unitrio se deforma em forma contnua at chegar rapidamente a uma posio fixa. A malha vermelha da direita se deforma na malha azul. Consideremos agora funes no analticas tais como g ( z ) = sen (z ) e h( z ) = exp(z ) . Na verdade, so composies de uma funo no analtica, o conjugado de z, com uma funo contnua. Como sabemos a derivada de uma funo composta o produto das derivadas das funes componentes, num sentido apropriado; s que no existindo a derivada da funo que para todo z faz corresponder seu conjugado, ento a funo composta no analtica. Para melhor visualizao estabelecemos uma funo que vai transformando em forma contnua o quadrado unitrio no conjunto que resulta de aplicar qualquer das duas funes, o que se denomina aplicao homotpica, ou homotopia, como foi o caso do quadrado unitrio mediante a funo quadrtica da equao (5).

Figura 6 : Seqncias das transformaes do quadrado unitrio com duas funes no analticas. Na direita mediante g ( z ) = sen(z ) e na esquerda com h( z ) = exp(z ) .

Nas duas figuras Q transforma-se num conjunto que fica no semiplano inferior Im(z) < 0. Interpretao Geomtrica das Condies de Cauchy-Riemann Aps definir a derivada de uma funo de varivel complexa, o seguinte passo expressar as condies para que uma funo seja analtica. Teorema. Dada uma funo f ( z ) = u ( x, y ) + jv( x, y ) definida para todo z = x + jy num conjunto aberto S no plano complexo. A condio necessria e suficiente para que f(z) seja analtica em z que se verifiquem as condies: u v = x y e u v = , y x (7)

As equaes (7) so conhecidas como as condies de Cauchy-Riemann, VILA (2000). Consideremos um ponto do plano complexo onde se cumprem estas condies, e calculemos o produto interno dos gradientes das funes u e v. u v u v + x x y y u = u x , u y v = v x , v y v v v v = 0 y x x y Ou seja, as curvas de nvel de u(x,y) e v(x,y) so trajetrias ortogonais.

[ [

] ]

u v =

(8)

Figura 7. Curvas de nvel de u ( x, y ) = Re z 2 = x 2 y 2 e v( x, y ) = Im z 2 = 2 xy .

( )

( )

5. APLICAES : TRANSFORMAES DE JOUKOWSKI E DE MOEBIUS 5. 1. Importante aplicao na aerodinmica: Transformao de Joukowski Uma das principais transformaes a de Joukowski. Partimos da funo 1 f ( z ) = z + , a soma da identidade com a inversa multiplicativa, e a circunferncia z unitria centrada na origem transformada no conjunto de pontos z = e i , 0 2 . Desta forma, f (e j ) = e j + e j = 2 cos( ) = 2 Re e j , isto a circunferncia unitria transforma-se num segmento no eixo real do plano complexo.

( )

Figura 8. Transformao do crculo unitrio num segmento mediante a funo

f ( z) = z +

1 z

Agora a circunferncia vai experimentar uma pequena dilatao e um deslocamento do centro ao longo do eixo real. Com este propsito definimos a funo p ( , t ) = + (1 + )e jt , (9)

O grfico no plano complexo uma circunferncia cujo centro deslocado unidades a esquerda sobre o eixo real e com raio 1 + . O conjunto resultante mediante a funo o aeroflio que mostra a figura seguinte.

f (z) = z +

1 z

Figura 9 : Transformao do crculo unitrio deslocado e dilatado apropriadamente no aeroflio. Para a transio da direita empregamos a homotopia j conhecida.

Outras possibilidades de anlise j escapam do nvel deste trabalho. Mudanas de perfil, ngulo de ataque ou anlise das equaes diferenciais envolvidas pertencem a disciplinas mais especializadas, como dinmica dos fluidos ou aerodinmica. Nesta introduo, foram usados parmetros relao aos estudados na aerodinmica visando salientar a anlise grfica qualitativa, importante para iniciar-se nas funes de varivel complexa. Na figura 10 se mostra um aeroflio elptico com um determinado ngulo de ataque.

Figura 10 : Crculo com centro fora do eixo real e aeroflio resultante da transformao de Joukowski.

Aplicando a transformao de Joukowski nos modelos matemticos de aeroflios sobre um cilindro (ou circulo no caso bidimensional), os engenheiros aeronuticos estabelecem previses das foras de sustentao e arrasto nas asas de um avio cujas sees transversais possuem certas formas de aeroflios. Utilizando um sistema de computao algbrica (Derive, Maple, MatLab, Mathcad, Matemtica) ou software de geometria dinmica (Geometer's Sketchpad), os estudantes podem criar e explorar seus prprios aeroflios e fazendo isso aprendem a importncia das funes de varivel complexa numa forma vvida, incluso obtendo curvas interessantes do ponto de vista esttico e podendo chegar a ter um comportamento aparentemente catico, segundo Olive (2002). 5.2. Transformao de Moebius. A transformao de Moebius uma funo racional complexa da forma M ( z) = az + b , cz + d (10)

onde a, b, c e d so constantes complexas. Suas propriedades so muito interessantes e suas aplicaes so inmeras. Para que a equao (10) tenha sentido podemos decompor numa seqncia das seguintes transformaes:

   

Expresso

Tipo de transformao Translao Inverso

a Observe que se ( ad cb ) = 0, ento M(z) seria a funo constante z c , e neste caso a transformao M(z) se denomina singular. A segunda transformao foi utilizada na transformao de Joukowski, mas no entramos no detalhe geomtrico em forma especfica.

P, sobre o mesmo raio que parte do centro do crculo de forma tal que OP OP' = r 2 . E depois calculando o conjugado obtemos P. Resumo :

A inverso a composio de duas funes, a inverso geomtrica e depois o conjugado. A inverso geomtrica leva um ponto da circunferncia unitria nele mesmo. Na figura seguinte observamos a transio do quadrado unitrio e do crculo unitrio mediante a transformao de Moebius. Utilizamos a funo M ( z) = z 0.2 j , 1 + 0.2 1 + j4 z

1 z

1 . z

Figura 11 : Na inverso geomtrica z

1 , o ponto P transformado no ponto z

(11)

z+ 1 z

d c

(ad bc )
c2

Expanso com rotao Translao

z+

a c

seqncia foi obtida como nos anteriores exemplos, isto com a homotopia g t ( z ) = (1 t ) z + tM ( z ) , (12)

Figura 12 : Aplicando a homotopia dos anteriores exemplos observa-se a transio do quadrado e crculo unitrios mediante a transformao de Moebius.

A importncia da transformao de Moebius radica nas aplicaes, Epstein (2003). Para gerar malhas conformes num domnio simplesmente conexo, se transforma o domnio no quadrado, empregamos ento uma malha regular e voltamos ao domnio de interesse mediante a transformao inversa. Para visualizar o crebro humano, o material de interesse est na superfcie, mas esta no suave. A estratgia consiste em achar uma transformao conforme entre o crebro e o plano complexo. Desta forma podemos visualizar as unidades funcionais do crebro como regies do plano. Para a otimizao de superfcies trianguladas tridimensionais, se busca uma transformao de Moebius que minimize a mxima rea de distoro do tringulo. A estreita relao com a teoria de Relatividade de Einstein, ver Needham (1997).

6. CONSIDERAES FINAIS A visualizao na matemtica precisa de criar experincia tangvel com objetos e conceitos matemticos abstratos conforme Hanson et al. (1994). No caso das funes de varivel complexa, alguns conceitos e fatos podem potenciar-se com mtodos de visualizao. A nossa percepo que os alunos de graduao de engenharia e matemtica so muito motivados. O mesmo vale para aqueles que so orientados ao pragmatismo, pois quando o professor explica ainda na forma mais elementar o leque das aplicaes, o interesse

 

ou seja com a = 1, b = - 0.2 j, c = - 0.2

d = 1 + 0.2 1 + j4

na equao (10). A

! ! !

pela disciplina cresce. Este trabalho o produto da experincia do autor ao ministrar disciplinas de Clculo Avanado (PUCRS) ou Clculo Aplicado e Mtodos Matemticos (UNISC) nos ltimos 10 anos. Evidentemente o uso de um sistema de computao algbrica ou de geometria dinmica envolve ao aluno em experincias novas para enfrentar outras situaes. O problema no se reduz a s utilizar a matemtica como uma ferramenta de clculos, melhor ser em us-la para apreender e manipular novas idias. Para os clculos est o computador ou a calculadora. Os dados em relao comparao de turmas, onde se desenvolveram experincias com novas formas de ensino e com turmas onde o enfoque e planejamento da disciplina assumiram o modelo clssico expositivo, ficam para uma outra oportunidade. Mas s podemos indicar, que a disciplina se revitalizou muitssimo. REFERNCIAS BIBLIOGRFICAS VILA, G., Variveis Complexas e Aplicaes. Editora LTC, Rio de Janeiro RJ, 2000. EPSTEIN, D., Mbius Transformation in Scientific Computing, SODA 2003. HANSON, J., MUZNER, T., and FRANCIS, G., Interactive Methods for Visualizable Geometry, 1994. OLIVE J., Creating Airfoils from Circles: The Joukowski Transformation, (paper) http://jwilson.coe.uga.edu/olive/Joukowski.Web/Joukowski.Paper.html NEEDHAM, T., Visual Complex Analysis, Clarendon Press, Oxford, (1997).