Matemática · Glossário

O que é aplicação conforme?

Definição 18.1 Matemática universitária — Graduação 3 · Capítulo 18 — Aplicações conformes e o teorema da aplicação de Riemann

Uma aplicação conforme (ou biholomorfismo) entre abertos é uma bijeção holomorfa; sua inversa é automaticamente holomorfa (Corolário 17.10). Dois domínios são conformemente equivalentes se existe uma tal aplicação; Aut(Ω)\operatorname{Aut}(\Omega) denota o grupo das autoaplicações conformes. Onde f0f' \neq 0 — em toda parte, para ff injetora (demonstração do Corolário 17.10) — a diferencial é a multiplicação por f(z)0f'(z) \neq 0: uma semelhança, de modo que as aplicações conformes preservam ângulos entre curvas, inclusive a orientação.

Exemplos

Exemplo 18.2 (Transformações de Möbius)

Para (abcd)GL2(C)\bigl(\begin{smallmatrix}a & b\\ c & d\end{smallmatrix}\bigr) \in GL_2(\C), a transformação de Möbius zaz+bcz+dz \mapsto \frac{az + b}{cz + d} é conforme de C{d/c}\C\setminus\{-d/c\} sobre C{a/c}\C\setminus\{a/c\} (a inversa é do mesmo tipo, vinda da matriz inversa; a composição corresponde ao produto de matrizes). A aplicação de Cayley

φ(z)=ziz+i\varphi(z) = \frac{z - \iu}{z + \iu}

leva H\mathbb H conformemente sobre D\mathbb D: com efeito, zi<z+i\abs{z - \iu} < \abs{z + \iu} exatamente quando zz está mais perto de i\iu do que de i-\iu, isto é, Imz>0\operatorname{Im}z > 0; a inversa é wi1+w1ww \mapsto \iu\frac{1 + w}{1 - w}. As aplicações de Möbius levam a família de círculos e retas nela mesma (Exercício 18.1).

Exemplo 18.3 (A aplicação de Joukowski)

Além de Möbius, a aplicação conforme mais útil da matemática aplicada clássica é

J(z)=12(z+1z).J(z) = \frac12\Bigl(z + \frac1z\Bigr) .

No exterior Ω={z>1}\Omega = \{\abs z > 1\} do disco unitário, JJ é injetora: J(z)=J(w)J(z) = J(w)(zw)(11zw)=0(z - w)(1 - \frac1{zw}) = 0 e zw>1\abs{zw} > 1. Sua derivada J(z)=12(1z2)J'(z) = \frac12(1 - z^{-2}) só se anula em z=±1z = \pm1, na fronteira: JJ é uma equivalência conforme de Ω\Omega sobre sua imagem, que é C[1,1]\C\setminus\intcc{-1}1 — o próprio círculo unitário é dobrado dois a um sobre o segmento (J(eiθ)=cosθJ(\eu^{\iu\theta}) = \cos\theta). Assim, o exterior de um segmento, um plano com um corte sem fronteira suave, é conformemente o exterior de um disco: os cantos não são obstáculo à equivalência conforme, apenas à regularidade na fronteira. As imagens de círculos que passam por ±1\pm1 mas descentrados são curvas em forma de perfil de asa, e compor JJ com aplicações de Möbius transportou o escoamento em torno de um cilindro — calculável à mão — para o escoamento em torno de uma asa: durante a primeira metade do século XX, este exemplo era a aerodinâmica. Ele é também a porta para Chebyshev: JJ conjuga zznz \mapsto z^n ao polinômio de Chebyshev TnT_n (Problema 13.1, Parte V), pois J(zn)=cos(nθ)J(z^n) = \cos(n\theta) quando z=eiθz = \eu^{\iu\theta}.

Ler no capítulo →