ou seja, a proje¸c˜ao π : H2 −→ H2
G ´e uma aplica¸c˜ao de recobrimento.
Teorema 2.3.17 Toda superf´ıcie compacta com gˆenero g ≥ 2, pode ser modelada no
plano hiperb´olico.
No Cap´ıtulo 3, modelaremos superf´ıcies compactas de gˆenero g ≥ 2, no plano hiper- b´olico. Tais superf´ıcies ser˜ao obtidas considerando-se pol´ıgonos regulares de 12g −6 lados, em que g ´e o gˆenero da superf´ıcie. Como ´e de conhecimento, para que π : H2 −→ H2
G seja
uma aplica¸c˜ao de recobrimento o grupo fuchsiano G associado n˜ao pode ter elementos el´ıpticos. Desse modo a assinatura de G ´e dada por (g; m1, . . . , mk) = (g; 0, . . . , 0) , que
ser´a denotada por (g; −) . Consequentemente, o grupo fuchsiano G ´e constitu´ıdo apenas de elementos hiperb´olicos.
Finalizamos esta se¸c˜ao definindo o conceito de tessela¸c˜ao regular no plano hiperb´olico e exibindo de maneira sucinta a diferen¸ca entre as tessela¸c˜oes regulares nos planos euclidiano e hiperb´olico.
Defini¸c˜ao 2.3.18 Uma tessela¸c˜ao regular no plano hiperb´olico ´e uma parti¸c˜ao deste plano
por pol´ıgonos regulares n˜ao sobrepostos, todos congruentes, sujeitos `a restri¸c˜ao de somente se intersectarem em suas arestas ou v´ertices, de modo que se tenha o mesmo n´umero de pol´ıgonos partilhando um mesmo v´ertice, independente do v´ertice.
Denotaremos a tessela¸c˜ao formada por pol´ıgonos com p arestas, em que cada v´ertice ´e recoberto por q pol´ıgonos por {p, q} .
As tessela¸c˜oes hiperb´olicas {p, q} em que p = q s˜ao denominadas auto-duais.
Para que haja uma tessela¸c˜ao regular {p, q} no plano euclidiano, basta que (p − 2) (q − 2) = 4. Diferentemente, no plano hiperb´olico, haver´a uma tessela¸c˜ao regu- lar se, e somente se, (p − 2) (q − 2) > 4, resultado que est´a intimamente ligado ao fato de que a soma dos ˆangulos internos de um triˆangulo hiperb´olico ´e menor do que π. Observa- se, portanto, que no plano euclidiano as ´unicas tessela¸c˜oes regulares poss´ıveis s˜ao {4, 4} ,
{6, 3} e suas duais {4, 4} , {3, 6} . Por outro lado, como verifica Brandani em [43], existem
infinitas tessela¸c˜oes regulares no plano hiperb´olico.
2.4
Constela¸c˜oes Geometricamente Uniformes
No Cap´ıtulo 5, temos por prop´osito a constru¸c˜ao de constela¸c˜oes de sinais que s˜ao subcon- juntos de um espa¸co de sinais. Por isso, nesta se¸c˜ao apresentaremos as no¸c˜oes de espa¸co
de sinais e de constela¸c˜oes de sinais.
Defini¸c˜ao 2.4.1 Um espa¸co de sinais ´e um conjunto discreto de pontos em um espa¸co
m´etrico (E, d) em que seja poss´ıvel realizar uma identifica¸c˜ao dos pontos de (E, d) por sinais.
Defini¸c˜ao 2.4.2 Uma constela¸c˜ao de sinais ´e um subconjunto finito de sinais em um
espa¸co de sinais.
Defini¸c˜ao 2.4.3 Uma constela¸c˜ao de sinais C ´e geometricamente uniforme se a a¸c˜ao de Γ (C), grupo de simetrias de C, em C ´e transitiva.
Em outras palavras, a defini¸c˜ao acima diz o seguinte: Dados u, v ∈ C, existe γ ∈ Γ (C) tal que γ (u) = v, ou para cada u ∈ C, a sua ´orbita por Γ (C) ´e todo C, C = {γ (u) : γ ∈ Γ (C)} .
As constela¸c˜oes de sinais geometricamente uniformes s˜ao relevantes devido ao fato de apresentarem propriedades de simetria significativas em t´ecnicas de demodula¸c˜ao, tais como:
a) o espectro de distˆancia independe do sinal considerado; b) as regi˜oes de decis˜ao s˜ao congruentes.
Defini¸c˜ao 2.4.4 A regi˜ao de Voronoi RV (u) associada a um ponto de sinal u ∈ C ´e o
conjunto
RV (u) = {x ∈ M: d (x, u) ≤ d (x, γ (u)) ∀ γ ∈ Γ (C)} .
Defini¸c˜ao 2.4.5 O perfil de distˆancia global com rela¸c˜ao a u ∈ C, denotado por P D (u) ,
´e definido como sendo o conjunto de distˆancias de C com rela¸c˜ao a u.
Um resultado que associa constela¸c˜oes de sinais geometricamente uniformes com regi˜oes de Voronoi ´e dado por F orney em [22].
Teorema 2.4.6 Se C for uma constela¸c˜ao de sinais geometricamente uniforme, ent˜ao:
a) Todas as regi˜oes de Voronoi s˜ao congruentes;
2.4 Constela¸c˜oes Geometricamente Uniformes 27 As condi¸c˜oes a) e b) do T eorema 2.4.6 leva-nos a trabalhar apenas com constela¸c˜oes de sinais geometricamente uniformes.
Nosso objetivo ´e o projeto de sinais (constru¸c˜ao de constela¸c˜oes de sinais geometri- camente uniformes). Para isso, consideraremos como espa¸co de sinais os conjuntos dos pontos que sejam baricentros das tessela¸c˜oes regulares no plano hiperb´olico.
Como podemos ver em Carvalho [7], dentre todos os poss´ıveis conjuntos de sinais com cardinalidade n finita, obtidos pelos particionamentos nestes espa¸cos de sinais, aquele que apresenta a menor energia m´edia m´ınima ´e denominado de regi˜ao fundamental associada aos n pontos de sinais. A energia m´edia m´ınima Emin de uma constela¸c˜ao de sinais dada
por {u0, u1, . . . , un} ´e a fun¸c˜ao n
X
i=1
d2(u
0, ui)n1, onde d (u0, ui) denota a distˆancia do ponto
As Fun¸c˜oes Automorfas como
Ferramentas de Conex˜ao
O objetivo deste cap´ıtulo ´e estabelecer uma rela¸c˜ao entre o contexto das linhas de trans- miss˜ao (sistemas lineares), Cap´ıtulo 4, e o contexto das constela¸c˜oes de sinais(modula¸c˜ao digital), Cap´ıtulo 5.
Come¸camos observando que sob o ponto de vista de circuitos em geral, uma linha de transmiss˜ao satisfaz todas as condi¸c˜oes que definem o quadrip´olo, como ser´a visto no
Cap´ıtulo 4 , Se¸c˜ao 4 .8 . Vimos, tamb´em, que existem a, b, c, d ∈ R, com ad − bc = 1,
que determinam o quadrip´olo, ou seja, tem-se associado a tal quadrip´olo a matriz A = Ã
a b c d
!
, denominada matriz de transferˆencia. Denominamos a fun¸c˜ao induzida por A, TA, definida por TA(z) = zb+ajzdj−c, j =
√
−1, a fun¸c˜ao de tranferˆencia de uma linha de
transmiss˜ao (quadrip´olo) . Observe que:
(i) TA´e um transforma¸c˜ao de M¨obius de SP D em SP D (semiplano direito);
(ii) Que o conjunto P SL(2, R) formado por todas as TA ´e um grupo que age tran-
sitivamente sobre o SP D, ou seja, para quaisquer z1 e z2 ∈ SP D, existe uma
TA∈ P SL(2, R) tal que TA(z1) = z2. Ressaltamos, tamb´em, que SP D, ´e um mode-
lo planar de Poincar´e para a geometria hiperb´olica, conforme Se¸c˜ao 4.7;
(iii) Os subgrupos discretos de P SL(2, R), denominados grupos fuchsianos, Cap´ıtulo 2, s˜ao estruturas alg´ebricas importantes quando se deseja construir certos tipos de superf´ıcies de Riemann, por meio de quocientes de grupos;
30 As Fun¸c˜oes Automorfas como Ferramentas de Conex˜ao
(iv) TA ´e uma transforma¸c˜ao conforme de SP D em SP D .
Por outro lado no Cap´ıtulo 5, apresentamos a constru¸c˜ao de constela¸c˜oes de sinais a partir de tessela¸c˜oes regulares do tipo {12g − 6, 3} sobre uma superf´ıcie riemanniana compacta W. Sendo fW o seu recobrimento universal (simplesmente conexo) e eΓ o grupo de transforma¸c˜oes do recobrimento de W, isto ´e, o grupo das transforma¸c˜oes que levam cada ponto P em um outro ponto P0 que tem a mesma imagem em W, vˆe-se que cada
transforma¸c˜ao de eΓ ´e determinada por um par (P, P0) e, portanto, nenhuma transforma¸c˜ao
de eΓ tem ponto fixo, salvo a identidade. Tem-se tamb´em que W ´e equivalente a Wf
e
Γ. Como
W ´e homeomorfa a uma regi˜ao G, o grupo eΓ corresponde a um grupo Γ de transforma¸c˜oes de G em si mesma, e W ´e portanto conformemente equivalente a G
Γ. Como veremos,
no Cap´ıtulo 5, Γ ´e um grupo gerado por transforma¸c˜oes de M¨obius hiperb´olicas que emparelham as arestas de G, regi˜ao fundamental para Γ. Tamb´em, Γ ´e um grupo fuchsiano. Assim, conhecendo as poss´ıveis formas de G, pode-se classificar as superf´ıcies de Riemann estudando todos os poss´ıveis grupos Γ.
Uma superf´ıcie de Riemann simplesmente conexa ´e considerada como um espa¸co de cobertura universal. O Teorema da Uniformiza¸c˜ao diz que por mais abstrata a defini¸c˜ao de uma superf´ıcie de Riemann a superf´ıcie deve ser conformemente equivalente a uma regi˜ao fundamental de uma das trˆes superf´ıcies simplesmente conexas: o disco (D2), o
plano complexo (C) , a esfera de Riemann (S2) .
Seja W uma superf´ıce de Riemann e G a regi˜ao da esfera complexa analiticamente homeomorfa ao seu recobrimento universal. Uma fun¸c˜ao ϕ (z) meromorfa em W , induz em G uma fun¸c˜ao meromorfa f (z) , que tem os mesmos valores em pontos que se projetam no mesmo ponto P de W. Isto quer dizer que a fun¸c˜ao f ´e invariante pelo grupo Γ, equivalente ao grupo de recobrimento, isto ´e, para todo elemento S ∈ Γ e todo z ∈ G, tem-se f (S (z)) = f (z) .
Reciprocamente, se G ´e uma regi˜ao da esfera complexa sobre a qual atua o grupo descont´ınuo Γ de transforma¸c˜oes sem ponto fixo em G, ent˜ao toda fun¸c˜ao meromorfa em
G, invariante a Γ d´a origem a uma fun¸c˜ao meromorfa sobre G
Γ. Tais fun¸c˜oes existem e s˜ao
chamadas fun¸c˜oes automorfas relativas aos grupos de recobrimentos.
Na Se¸c˜ao 3.1 apresentamos o conceito e as propriedades b´asicas sobre as transfor- ma¸c˜oes conformes. Na Se¸c˜ao 3.2 introduzimos um resumo sobre superf´ıcies de Riemann, ambiente no qual ser˜ao constru´ıdas as tessela¸c˜oes regulares do tipo {12g − 6, 3} . Na Se¸c˜ao 3.3 estudamos os aspectos da Teoria da Uniformiza¸c˜ao que permitem o trˆansito entre as superf´ıcies riemannianas estudadas no Cap´ıtulo 5 e as regi˜oes simplesmente conexas no
SP D, o modelo planar para a geometria hiperb´olica apresentado no Cap´ıtulo 4. Obser-
vamos, Subse¸c˜ao 3.3.4, que tal trˆansito ´e feito por meio das fun¸c˜oes automorfas.
3.1
Transforma¸c˜oes Conformes
A presente se¸c˜ao ser´a devotada ao problema de se aplicar uma transforma¸c˜ao em uma regi˜ao conduzindo a uma outra regi˜ao tal que arestas s˜ao conformemente equivalentes. Este problema, tem uma rela¸c˜ao importante com certas aplica¸c˜oes das fun¸c˜oes automorfas.
Seja U ⊂ C um dom´ınio simplesmente conexo do plano hiperb´olico.
Defini¸c˜ao 3.1.1 Uma fun¸c˜ao f : U −→ C ´e holomorfa se f possui derivada complexa
f0(z) em todos os pontos de U, ou seja, o limite
lim
h −→ 0
f (z + h) − f (z)
h = f
0(z)
existe e ´e finito para todo z ∈ U.
Defini¸c˜ao 3.1.2 Uma fun¸c˜ao holomorfa em U, exceto num conjunto de pontos isolados
S de U, tal que lim|f (z)| = ∞, quando z tende a algum destes pontos isolados ´e chamada fun¸c˜ao meromorfa. Cada ponto de S ´e chamado p´olo de f.
Defini¸c˜ao 3.1.3 Dizemos que f ´e conforme, se f preserva ˆangulos orientados. Com o uso das equa¸c˜oes de Cauchy-Riemann prova-se que:
Proposi¸c˜ao 3.1.4 Uma fun¸c˜ao f ´e conforme se, e somente se, f ´e holomorfa e f0(z) 6=
0, qualquer que seja z ∈ U. `
A fun¸c˜ao f : U −→ C,(n˜ao necessariamente holomorfa) que possui derivadas parciais
fx e fy (z = x + iy), associamos as derivadas com respeito a z e z da seguinte forma
fz = 1 2(fx− ify) fz = 1 2(fx+ ify) ou equivalentemente fx = fz+ fz fy = ifz − ifz
32 As Fun¸c˜oes Automorfas como Ferramentas de Conex˜ao
Proposi¸c˜ao 3.1.5 Se f ´e holomorfa em U, ent˜ao ∂f∂z ≡ 0, em U.
O teorema de Looman-Menchoff fornece a rec´ıproca para a proposi¸c˜ao que acabamos de enunciar [17].
Teorema 3.1.6 Seja f uma fun¸c˜ao cont´ınua em U e assuma que as derivadas parciais fx
e fy existem em U, e satisfazem as equa¸c˜oes de Cauchy-Riemann, isto ´e, ∂f∂z ≡ 0. Tem-se
ent˜ao que f ´e holomorfa em U.
A seguir algumas propriedades das transforma¸c˜oes conformes s˜ao apresentadas: Proposi¸c˜ao 3.1.7 Se f : A −→ B ´e conforme e bijetiva, ent˜ao f−1 tamb´em ´e conforme.
Proposi¸c˜ao 3.1.8 Se f : A −→ B e g : B −→ C s˜ao conformes bijetivas, ent˜ao g ◦ f :
A −→ C ´e igualmente conforme e bijetiva.
Defini¸c˜ao 3.1.9 Uma fun¸c˜ao f que satisfaz a equa¸c˜ao de Laplace
∇2f = ∂2f
∂x2 +
∂2f
∂y2 = 0,
numa regi˜ao U, ´e chamada harmˆonica em U.
Proposi¸c˜ao 3.1.10 Se u ´e uma fun¸c˜ao harmˆonica numa regi˜ao B e se f : A −→ B ´e holomorfa ent˜ao a fun¸c˜ao u ◦ f ´e harmˆonica em A.
Observa¸c˜ao 3.1.11 Se f = u (x, y) + iv (x, y) ´e holomorfa em U, ent˜ao u e v s˜ao har-
mˆonicas em U.
Exemplo 3.1.12 Se f (z) = 4z2 − 3iz = 4x2 − 4y2 + 3y + (8xy − 3x) i. As fun¸c˜oes
u (x, y) = 4x2 − 4y2 + 3y e v (x, y) = 8xy − 3x s˜ao harmˆonicas. u e v s˜ao chamadas
conjugadas harmˆonicas, e, dada uma delas, a outra ´e determinada, a menos de uma constante aditiva arbitr´aria.
Defini¸c˜ao 3.1.13 Um espa¸co topol´ogico X ´e simplesmente conexo se, e somente se, toda
Teorema da Transforma¸c˜ao de Riemann
Seja C uma curva fechada simples no plano z formando o contorno de uma regi˜ao R. Seja
C0 um c´ırculo unit´ario formando o contorno da regi˜ao R0 no plano w. Ent˜ao, o teorema
da transforma¸c˜ao de Riemann assegura que existe uma fun¸c˜ao w = f (z) , holomorfa em
R, que leva cada ponto de R num ponto de R0 e cada ponto de C num ponto de C0, sendo,
al´em disso, biun´ıvoca.
Este resultado permite-nos saber que ´e sempre poss´ıvel encontrar uma transforma¸c˜ao conforme entre quaisquer duas regi˜oes simplesmente conexas diferentes em C.
3.1.1
Aplica¸c˜ao de transforma¸c˜oes conformes
Problemas de Contorno
In´umeros problemas em Engenharia, quando formulados matematicamente, s˜ao modela- dos por equa¸c˜oes diferenciais parciais e em condi¸c˜oes associadas, chamadas condi¸c˜oes de contorno. A quest˜ao sobre como encontrar as solu¸c˜oes que satisfa¸cam `as equa¸c˜oes dife- renciais parciais e `as condi¸c˜oes de contorno constitui o que chamamos um problema de contorno.
Existem dois tipos de problemas de contorno de grande importˆancia que surgem, quando trabalhamos com uma regi˜ao R simplesmente conexa limitada por uma curva
C :
1) Problema de Dirichlet O problema de Dirichlet procura determinar uma fun¸c˜ao F que seja harmˆonica em R e assuma valores estabelecidos sobre a fronteira de C. 2) Problema de Newmann O problema de Newmann procura determinar uma fun¸c˜ao
F que seja harmˆonica em R e cuja derivada normal ∂F
∂n assuma valores estabelecidos
sobre a fronteira de C.
Solu¸c˜oes dos Problemas de Dirichlet e de Newmann Utilizando as Transfor- ma¸c˜oes Conformes
Os problemas de Dirichlet e Newmann podem ser resolvidos em qualquer regi˜ao simples- mente conexa R que possa ser transformada por meio de uma transforma¸c˜ao conforme numa regi˜ao limitada por um c´ırculo ou num semiplano. Isto pode ser feito, teoricamente, de acordo com o teorema da transforma¸c˜ao de Riemann. As id´eias b´asicas envolvidas s˜ao as seguintes:
34 As Fun¸c˜oes Automorfas como Ferramentas de Conex˜ao
a) Usamos a fun¸c˜ao para transformar o problema de contorno na regi˜ao R em um cor- respondente no c´ırculo unit´ario ou no semiplano.
b) Resolvemos o problema no c´ırculo ou no semiplano.
c) Usamos a solu¸c˜ao obtida para resolver o problema original, utilizando a inversa da fun¸c˜ao de transforma¸c˜ao.
Neste processo os resultados mais importantes s˜ao:
Teorema 3.1.14 Seja w = f (z) uma fun¸c˜ao holomorfa numa regi˜ao R do plano z.
Ent˜ao, existe uma ´unica inversa z = g (w) em R, desde que f0(z) 6= 0 em R (assegurando
que a transforma¸c˜ao ´e conforme em cada ponto de R).
Teorema 3.1.15 Seja F (x, y) uma fun¸c˜ao harmˆonica em R e suponhamos que R ´e
transformada em R0 pela fun¸c˜ao w = f (z) , onde f (z) ´e holomorfa e f0(z) 6= 0, logo
x = x (u, v) e y = y (u, v) . Assim, F (x, y) = F [x (u, v) , y (u, v)] ≡ G (u, v) ´e harmˆonica em R0. Em outras palavras, uma fun¸c˜ao harmˆonica ´e transformada em uma fun¸c˜ao har-
mˆonica por uma transforma¸c˜ao holomorfa w = f (z) .
Teorema 3.1.16 Seja F = a (uma constante) sobre a fronteira ou parte da fronteira C
de uma regi˜ao no plano z, ent˜ao y = a sobre sua imagem C0 no plano w. Do mesmo modo,
se a derivada normal de F ´e zero, i.e., ∂F
∂n = 0 sobre C, ent˜ao, a derivada normal de G ´e
zero sobre C0.