U NIVERSIDADE F EDERAL DE G OIS

I NSTITUTO DE M ATEMTICA E E STATSTICA

B RUNO RODRIGUES DE F REITAS

Inflexes de Linhas Assintticas e de

Linhas de Curvatura em Superfcies

Goinia
2010

B RUNO RODRIGUES DE F REITAS

Inflexes de Linhas Assintticas e de

Linhas de Curvatura em Superfcies
Dissertao apresentada ao Programa de PsGraduao
do Instituto de Matemtica e Estatstica da Universidade
Federal de Gois, como requisito parcial para obteno do
ttulo de Mestre em Matemtica.
rea de concentrao: Geometria e Topologia.
Orientador: Prof. Ronaldo Alves Garcia

Goinia
2010

Todos os direitos reservados. proibida a reproduo total ou parcial do

trabalho sem autorizao da universidade, do autor e do orientador(a).

Bruno Rodrigues de Freitas

Graduou-se em Matemtica na UFG - Universidade Federal de Gois. Durante sua graduao, participou de projetos de iniciao cientfica. Atualmente
professor da Universidade Federal de Gois.

Aos meus pais por todo amor dedicado a mim e a minha formao.
A minha esposa por todo seu amor e sua compreenso.
A minha filha que tanto amo.

Agradecimentos

Agradeo primeiramente a Deus.

A minha famlia que sem eles no seria possvel a concluso dessa etapa de
minha vida.
Ao meu orientador, pela confiana e principalmente pela pacincia.
Ao CNPq pela bolsa de mestrado.

Resumo

Freitas, Bruno Rodrigues de. Inflexes de Linhas Assintticas e de Linhas

de Curvatura em Superfcies . Goinia, 2010. 92p. Dissertao de Mestrado.
Instituto de Matemtica e Estatstica, Universidade Federal de Gois.

Pontos quadrticos (ou pontos hiperblicos especiais) so pontos em que uma superfcie
pode ser aproximada por uma qudrica at os termos de ordem trs. Trataremos de
uma conjectura que afirma que toda superfcie hiperblica fechada em RP3 no tem
menos que oito pontos quadrticos distintos. Provaremos um resultado que afirma que;
se uma superfcie genrica em RP3 contm um disco hiperblico delimitado por uma
curva parablica de Jordan, ento existe um nmero mpar de pontos quadrticos no
interior deste disco. Estudamos curvas formadas pelos pontos de inflexo das folheaes
assintticas e principais no domnio hiperblico. Estudamos o comportamento da curva
de inflexo da folheao assinttica prxima de um ponto parablico especial (ponto em
que a direo assinttica tangente a curva parablica), e o comportamento da curva de
inflexo da folheao principal prxima de um ponto umblico.

Palavraschave

<Inflexes, Linhas Assintticas, Linhas de Curvatura>

Abstract

Freitas, Bruno Rodrigues de. <Inflection of Asymptotic Lines and Lines of

Curvature on Surfaces>. Goinia, 2010. 92p. MSc. Dissertation. Instituto de
Matemtica e Estatstica, Universidade Federal de Gois.

Quadratic points (or special hyperbolic points) are points where a surface can be approximated by a quadric to the terms of order three. We will deal with a conjecture that asserts
that every closed hyperbolic surface in RP3 has not less than eight distinct quadratic
points. We prove a result which states that; if a generic surface in RP3 contains a hyperbolic disk bounded by a Jordan parabolic curve, then there is an odd number of quadratic
points inside this disc. We study curves formed by the inflection points of asymptotic foliations and principals in the hyperbolic domain. We studied the behavior of the inflection
curve of the asymptotically foliation near a special parabolic point (the point where the
asymptotic direction is tangent to the parabolic curve), and the behavior of the inflection
curve of the principal foliation near a umbilic point.

Keywords

<Inflections, Asymptotic Lines, Lines of Curvature>

Sumrio

Lista de Figuras

11

Preliminares de Geometria Diferencial

1.1 Geometria de Superfcies em R3
1.2 Geometria de Superfcies em RP3

15
15
25

Pontos Parablicos Especiais

29
29
35
41

2.1
2.2
2.3

Pontos Quadrticos
3.1
3.2
3.3

Pontos Quadrticos e Inflexes

Caracterizao de Inflexes
Perturbao do Toro

Inflexes em Superfcies Regradas

4.1
4.2
4.3

Coleo de Resultados
Curvas Assintticas, Flecnodal e Parablica
Discos Hiperblicos

A aplicao de Poincar
Inflexes
Linhas Assintticas Fechadas

Linhas de Curvatura
5.1
5.2

Inflexes de Linhas de Curvatura

Pontos Umblicos

50
50
56
58
65
65
67
69
74
74
82

Referncias Bibliogrficas

90

92

Lista de Figuras

1.1
1.2

Linhas assintticas sobre o toro

Toro de Clifford folheado por linhas assintticas, os crculos de Villarceau.

24
28

2.1
2.2
2.3
2.4
2.5

Cone de direes principais

Curvas assintticas, parablica e flecnodal
Dez pontos parablicos especiais
Levantamento das curvas flecnodal e parablica
Configurao entre separatrizes de curvas assintticas, curvas flecnodal
e parablica
Inclinaes da parablica, flecnodal e separatrizes
Curva parablica orientada
r < 0 e 0 < r < 12

31
34
35
39

2.6
2.7
2.8
2.9
2.10
2.11
2.12
2.13
2.14
2.15
2.16

r>

1
2

Configurao com dois pontos parablicos especiais

zyy p2 + 2zxy p + zxx = 0

Curvas flecnodal e parablica
Configurao com mais de dois pontos parablicos especiais
Lema de Morse
Pontos crticos
Conjunto de inflexo na vizinhana da origem

41
41
43
44
44
45
46
46
47
48
49
49

3.1

a30 6= 0 e a30 = 0 respectivamente

56

5.1
5.2

a12 6= 0 e a12 = 0 respectivamente

76
86

Linhas de curvatura na vizinhana de pontos umblicos Darbouxianos

Introduo

Quase cem anos atrs foram descobertos dois teoremas sobre curvas planas
regulares simples fechadas e convexas. O primeiro conhecido como teorema dos quatro
vrtices: A curvatura de uma curva regular plana fechada, simples e convexa tem ao menos
quatro pontos crticos. Estes pontos crticos so os pontos em que os crculos osculadores
so tangentes de terceira ordem curva. O segundo conhecido como teorema dos
seis vrtices e trata de cnicas osculadoras: Uma curva regular plana fechada simples
convexa tem pelo menos seis pontos distintos em que as cnicas osculadoras so hiperosculadoras, ou seja, a ordem de aproximao da cnica maior que quatro. natural
esperar que existem verses multi-dimensionais dos teoremas dos quatro e seis vrtices,
mas at agora apenas alguns passos foram dados nesta direo. Uma superfcie M em
RP3 pode ser aproximada por uma qudrica em todo ponto at os termos de ordem dois.
Chamaremos um ponto x M de quadrtico se M puder ser aproximada por uma qudrica
em x at ordem trs. Trabalharemos com superfcies no espao projetivo de dimenso trs
RP3 e em S3 . Dado um espao vetorial V , o espao projetivo associado, P(V ), consiste
dos subespaos uni-dimensionais de V . Se V = Rn+1 ento P(V ) denotado por RPn . O
espao RPn , o espao quociente de Rn+1 {0} pela relao de equivalncia
(x1 , x2 , ..., xn+1) (x1 , x2 , ..., xn+1),

R,

6= 0.

Um ponto projetivo p RPn uma classe de equivalncia

p = (x1 , x2 , ..., xn+1),

6= 0

ou seja, p = (x1 , x2 , ..., xn+1) = p.

Uma coordenada local natural sobre RPn provm do espao vetorial Rn+1 . Se
x0 , x1 , ..., xn so coordenadas lineares em Rn+1 , ento yi = xi /x0 so chamadas coordenadas afins sobre RPn ; estas coordenadas so definidas na carta x0 6= 0.
O espao projetivo RPn pode ser pensado como o espao quociente da esfera
unitria Sn = {p Rn+1 ; | p |= 1} pela relao de equivalncia que identifica p Sn

com o seu ponto antpoda A(p) = p. Com efeito, cada reta que passa pela origem

determina na esfera dois pontos antpodas e a correspondncia assim obtida biunvoca

e sobrejetiva.
Geometria de superfcies no espao projetivo um clssico objeto de estudo.
Consideraremos superfcies no-degeneradas em S3 . Isto significa que, em um sistema de
coordenadas afins, a segunda forma quadrtica da superfcie no-degenerada em todos
os pontos; esta condio independente da escolha de coordenadas afins. Existe uma considervel diferena entre o caso de superfcies em R3 e em S3 . Em R3 as linhas assintticas
no so globalmente definidas por imerses de superfcies orientadas compactas. Isto
vem do fato de que nestas superfcies existem sempre pontos elpticos. Em S3 as linhas
assintticas podem ser globalmente definidas. O toro padro x0 x3 = x1 x2 um exemplo
de uma tal superfcie (no-degenerada e com linhas assintticas globalmente definidas),
em coordenadas afins ele corresponde ao parabolide hiperblico. Um outro exemplo
1
1
3
1
2
2
2
2
o toro
de Clifford, C = S (r) S (r) S , onde S (r) = {(x, y) R : x + y = r } e
2
. Um estudo de linhas assintticas no toro de Clifford realizado em [4].
r=
2

Seja M S3 uma superfcie no-degenerada. Em cada ponto x M, temos

duas direes tangentes distintas, chamadas direes assintticas. Estas definem dois
campos de direes transversais sobre M e portanto duas folheaes. Pode-se escolher coordenadas locais (u, v) de tal forma que as folhas das folheaes so dadas por
(u = const., v = const.). Estas coordenadas so chamadas assintticas. Um outro motivo
de estudarmos linhas assintticas em superfcies no espao projetivo que direes
assintticas so invariantes por transformaes projetivas. Tal resultado demonstrado
em [2].
Temos como objetivo estudar inflexes de linhas assintticas e de linhas de curvatura sobre superfcies do espao de dimenso trs, projetivo ou Euclidiano. Dividimos
o trabalho da seguinte forma:
No captulo 1, damos uma introduo geometria diferencial. Obtemos as
equaes das linhas assintticas e linhas de curvatura, onde linhas de curvatura so estudadas no ltimo captulo. Damos tambm uma pequena introduo do espao projetivo.
No captulo 2, definimos a curva flecnodal, curva formada pelos pontos de
inflexo das linhas assintticas. Estudamos propriedades qualitativas das curvas flecnodal, das linhas assintticas e da curva parablica prximo de um ponto parablico
especial, ponto em que a (nica) direo assinttica tangente a curva parablica. Neste
13

captulo, tambm provamos que sob certas hipteses; se uma superfcie em R3 ou em

RP3 contm um disco hiperblico delimitado por uma curva de Jordan parablica, ento
existe um nmero mpar de pontos hiperblicos especiais no interior deste disco. Pontos
hiperblicos especiais so pontos de inflexo de ambas folheaes assintticas e tambm
so chamados de pontos quadrticos. Este captulo foi baseado em [14]. O estudo do
comportamento das linhas assintticas prximo de pontos parablicos encontrado em
[3] e em [5].
No captulo 3 caracterizamos inflexes pela curvatura geodsica. Consideramos
a superfcie no degenerada dada pelo toro x0 x3 = x1 x2 . Abordamos a conjectura que
afirma que qualquer superfcie hiperblica fechada em RP3 no tem menos que oito
pontos quadrticos distintos. Para isso, consideremos uma pertubao genrica do toro
dado acima por uma funo duplamente peridica suave h(u, v), e obteremos que os
pontos quadrticos so dados em uma primeira aproximao pelas solues do sistema:
(I)

huuu + hu = 0
hvvv + hv = 0.

Daremos algumas respostas parciais do nmero mnimo de solues do sistema

acima. Este captulo foi baseado em [11].
No captulo 4, estudamos inflexes e a estabilidade de linhas assintticas
fechadas em uma classe de superfcie regrada. Motivados pelos resultados do captulo
3, estudamos no captulo 5 inflexes de linhas de curvatura. Consideraremos uma pertubao do toro x0 x3 = x1 x2 por uma funo duplamente peridica suave h(u, v), e obteremos que os pontos de dupla inflexo das folheaes principais so dados em uma primeira
aproximao pelas solues do sistema:
(II)

huuv + hv = 0
hvvu + hu = 0.

Relacionamos as solues de (I) e de (II). Estudamos tambm neste captulo o comportamento das linhas de curvatura e das curvas de inflexo das linhas de curvatura prxima
de pontos umblicos. Esta ltima parte do captulo 5 foi baseada em [3].

14

CAPTULO 1

Preliminares de Geometria Diferencial

1.1 Geometria de Superfcies em R3

Este captulo foi baseado em [1]. Nesta seo trataremos de propriedades bsicas
de superfcies em R3 . Comearemos com uma breve introduo da noo de orientao
para superfcies. Dada uma parametrizao X : U R2 S de uma superfcie regular
S em um ponto p S, podemos escolher, para cada ponto de X (U ), um vetor normal
unitrio pela regra
Xu Xv
N(q) =
(q), q X (U ).
(1-1)
| Xu Xv |
Assim, temos uma aplicao diferencivel N : X (U ) R3 que associa a cada
q X (U ) um vetor normal unitrio N(q).
De maneira geral, se V S um conjunto aberto em S e N : V R3 uma aplicao
diferencivel que associa a cada q V um vetor normal unitrio em q, dizemos que N
um campo diferencivel de vetores normais unitrios em V .

Dizemos que uma superfcie regular orientvel se ela admite um campo

diferencivel de vetores normais unitrios definido em toda a superfcie. A escolha de
tal campo N chamada uma orientao de S.
Definio 1.1 Seja S Rn uma superfcie com uma orientao N. A aplicao
N : S R3 onde N dado por (1-1) toma seus valores na esfera unitria de R3 . A
aplicao N : S S2 assim definida, chamada a aplicao de Gauss de S.
imediato verificar que a aplicao de Gauss diferencivel. A diferencial dN p de N
em p S uma aplicao linear de Tp S em TN(p) S2 . Como Tp S e TN(p) S2 so os mesmos

espaos vetoriais, dN p pode ser olhada como uma aplicao linear em Tp S.

A aplicao linear dN p : Tp S Tp S opera da seguinte maneira. Para cada

curva parametrizada (t) em S, com (0) = p, consideramos a curva parametrizada

N((t)) = N(t) na esfera S2 ; isso equivale a restringir o vetor normal N curva (t).

O vetor tangente N (0) = dN p ( (0)) um vetor de Tp S. Ele mede a taxa de variao do

vetor normal N restrito curva (t), em t = 0. No caso das curvas, esta medida dada
por um nmero, a curvatura. No caso das superfcies, esta medida caracterizada por uma
aplicao linear.
Proposio 1.2 A diferencial dN p : Tp S Tp S da aplicao de Gauss uma aplicao
linear auto-adjunta.
Demonstrao. Como dN p linear, basta verificar que < dN p (w1 ), w2 >=
< w1 , dN p(w2 ) > para uma base {w1 , w2 } de Tp S. Seja X (u, v) uma parametrizao
de S em p e {Xu , Xv} a base associada de Tp S. Se (t) = X (u(t), v(t)) uma curva

parametrizada em S, com (0) = p, temos

dN p ( (0)) = dN p (Xuu (0) + Xvv (0))

=

d
N(u(t), v(t))|t=0
dt

= Nu u (0) + Nvv (0);

em particular, dN p (Xu) = Nu e dN p (Xv) = Nv . Portanto, para provar que dN p autoadjunta, suficiente mostrar que
< Nu , Xv >=< Xu , Nv > .
Para isto, derivamos < N, Xu >= 0 e < N, Xv >= 0, em relao a u e v, respectivamente,
e obtemos
< Nv , Xu > + < N, Xuv >= 0,
< Nu , Xv > + < N, X vu >= 0.
Assim,
< Nu , Xv >= < N, Xuv >=< Nv , Xu > .

O fato de ser dN p : Tp S Tp S uma aplicao linear auto-adjunta nos permite associar a

dN p uma forma quadrtica Q em Tp S, dada por Q(v) =< dN p (v), v >, v Tp S.

Definio 1.3 A forma quadrtica II p, definida em Tp S por II p(v) = < dN p (v), v >,
chamada a segunda forma fundamental de S em p.
Vale aqui relembrarmos as frmulas de Frenet. Seja : I R3 uma curva parametrizada
pelo comprimento de arco s tal que (s) 6= 0, s I. Temos que as frmulas de Frenet
16

so:
t = kn,
n = kt b,
b = n
onde t, n e b so respectivamente os vetores tangente, normal e binormal a , k a
curvatura e a toro de . Estas frmulas sero usadas em alguns fatos seguintes.
Definio 1.4 Seja C uma curva regular em S passando por p S, k a curvatura de C
em p, e cos() =< n, N >, onde n o vetor normal a C e N o vetor normal a S em p. O
nmero kn = k cos() chamado a curvatura normal de C S em p.
Em outras palavras, kn o comprimento da projeo do vetor kn sobre a normal
superfcie em p, com um sinal dado pela orientao N de S em p.
Para dar uma interpretao da segunda forma fundamental II p, considere uma
curva regular C S parametrizada por (s), onde s o comprimento de arco de C, com
(0) = p. Se indicarmos por N(s) a restrio do vetor normal N curva (s), teremos
< N(s), (s) >= 0, donde
< N(s), (s) >= < N (s), (s) > .
Portanto,
II p( (0)) = < dN p ( (0)), (0) >
= < N (0), (0) >=< N(0), (0) >
=< N, kn > (p) = kn (p).
Em outras palavras, o valor da segunda forma fundamental II p em um vetor unitrio
v Tp S igual curvatura normal de uma curva regular passando por p e tangente a v.
Para cada p S, existe uma base ortonormal {e1 , e2 } de Tp S tal que dN p (e1 ) =
k1 e1 , dN p (e2 ) = k2 e2 . Alm disso, k1 e k2 (k1 k2 ) so o mximo e o mnimo da

segunda forma fundamental II p restrita ao crculo unitrio de Tp S; isto , so os valores

extremos da curvatura normal em p. Uma prova deste fato pode ser encontrado em [1].

Definio 1.5 O mximo da curvatura normal k1 e o mnimo da curvatura normal k2 so

chamadas curvaturas principais em p. As direes correspondentes, isto , as direes
dadas pelos auto-vetores denotados por e1 e e2 so chamadas direes principais em p.

17

Definio 1.6 Se uma curva regular e conexa C em S tal que para todo p C a reta

tangente a C uma direo principal em p, ento dizemos que C uma linha de curvatura
de S.
Proposio 1.7 (Olinde Rodrigues) Uma condio necessria e suficiente para que
uma curva conexa e regular C de S seja uma linha de curvatura de S que
N (t) = (t)(t),
para qualquer parametrizao (t) de C, onde N(t) = N((t)) e (t) uma funo
diferencivel de t. Nesse caso, (t) a curvatura (principal) segundo (t).
Demonstrao. Basta observar que se (t) corresponde a uma direo principal, ento
(t) um auto-vetor de dN e
dN( (t)) = N (t) = (t)(t).

O conhecimento das curvaturas principais em p permite calcular a curvatura
normal segundo uma direo dada de Tp S. De fato, se v Tp S e | v |= 1, como e1 e

e2 formam uma base ortonormal de Tp S, temos

v = e1 cos + e2 sin ,
onde o ngulo de e1 a v na orientao de Tp S. A curvatura normal kn na direo de v
dada por
kn = II p(v) = < dN p (v), v >
= < dN p (e1 cos + e2 sin ), e1 cos + e2 sin >
=< e1 k1 cos + e2 k2 sin , e1 cos + e2 sin >
= k1 cos2 + k2 sin2 .
Esta ltima expresso conhecida classicamente sob o nome de frmula de Euler. Ela
simplesmente a expresso da segunda forma fundamental na base {e1 , e2 }.
Definio 1.8 Seja p S e seja dN p : Tp S Tp S a diferencial da aplicao de Gauss.

O determinante de dN p chamado a curvatura Gaussiana K de S em p. O negativo da

metade do trao de dN p chamado a curvatura mdia (Km ) de S em p.

18

Em termos das curvaturas principais k1 e k2 , podemos escrever

K = k1 k2 ,

1
Km = (k1 + k2 ).
2

Definio 1.9 Um ponto de uma superfcie S chamado

1.Elptico, se det(dN p) > 0;
2.Hiperblico, se det(dN p) < 0;
3.Parablico, se det(dN p) = 0, com dN p 6= 0;
4.Planar, se dN p = 0.

Definio 1.10 Seja p um ponto em S. Uma direo assinttica de S em p uma direo

de Tp S para a qual a curvatura normal zero. Uma curva assinttica de S uma curva
conexa e regular C S tal que para cada p C a reta tangente a C em p uma direo
assinttica.
Uma interpretao geomtrica til para as direes assintticas dada atravs
da indicatriz de Dupin, que descreveremos agora.
Seja p um ponto de S. A indicatriz de Dupin em p o conjunto de vetores de Tp S
tais que II p(w) = 1. Para escrever as equaes da indicatriz de Dupin de uma maneira
conveniente, sejam (, ) as coordenadas cartesianas de Tp S na base ortonormal {e1 , e2 },

onde e1 , e2 so autovetores de dN p . Dado w Tp S, sejam e as coordenadas polares

definidas por w = v, com |v| = 1 e v = e1 cos + e2 sen, se 6= 0. Pela frmula de Euler,
1 = II p(w) = 2 II p(v)
= k1 2 cos2 + k2 2 sen2
= k1 2 + k2 2 ,

onde w = e1 + e2 . Assim, as coordenadas (, ) de um ponto da indicatriz de Dupin

satisfazem a equao
k1 2 + k2 2 = 1;
logo, a indicatriz de Dupin a unio de cnicas em Tp S. Notamos que a curvatura normal
ao longo da direo determinada por w kn (v) = II p(v) = 12 .
Para um ponto elptico, a indicatriz de Dupin um elipse (k1 e k2 tm o mesmo
sinal).

19

Para um ponto hiperblico, k1 e k2 tm sinais opostos. A indicatriz de Dupin

ento formada por uma hiprbole com um par comum de linhas assintticas. Ao longo das
direes assintticas, a curvatura normal zero; elas so portanto, direes assintticas.
Isso justifica a terminologia e mostra que um ponto hiperblico tem exatamente duas
direes assintticas.
Para um ponto parablico, uma das curvaturas zero, e a indicatriz de Dupin
degenera-se em um par de retas paralelas. A direo comum dessas retas a nica direo
assinttica em questo. O seguinte resultado encontrado como exerccio em [1].
Teorema 1.11 (Beltrami-Enneper) O valor absoluto da toro em um ponto de uma
curva assinttica, cuja curvatura no se anula, dada por
| |=

K,

onde K a curvatura Gaussiana da superfcie no ponto considerado.

Demonstrao. Seja uma curva assinttica parametrizada pelo comprimento de arco
com (0) = p e (0) = v. Temos ento que
kn ( (s)) = k(s) < N(s), n(s) >= 0.
Por hiptese k(s) 6= 0, logo < N(s), n(s) >= 0. Como N(s) (s) = t(s), obtemos que
N(s) = cb(s), onde b(s) denota o vetor binormal a . Como |N(s)| = |b(s)| = 1, obtemos
N(s) = b(s). Derivando esta expresso obtemos que
|N | =| |
Por outro lado temos que: (0) = v = e1 cos + e2 sen kn (v) = k1 cos2 + k2 sen2 =
0 k1 cos2 = k2 sen2

k12 cos2 = k1 k2 sen2

k22 sen2 = k1 k2 cos2

Logo:
| |=| N |=| dN p (v) |=| cosdN
) |=| cos(k1 e1 ) +sen(k2 e2 ) |=
q p (e1 ) +sendN p (e2

| k1 cose1 k2 sene2 |= k12 cos2 + k22 sen2 = k1 k2 = K.

Daremos agora ema expresso para segunda forma fundamental em coordenadas.

Seja X (u, v) uma parametrizao em um ponto p S de uma superfcie S, e seja
(t) = X (u(t), v(t)) uma curva parametrizada em S, com (0) = p. Para simplificar a
20

notao, convencionaremos que todas funes abaixo indicam seus valores no ponto p.
O vetor tangente a (t) em p = Xu u + Xv v e
dN( ) = N (u(t), v(t)) = Nu u + Nv v .
Como Nu e Nv pertencem a Tp S, podemos escrever
Nu = a11 Xu + a21 Xv ,

Nv = a12 Xu + a22 Xv ,

(1-2)

e portanto
dN( ) = (a11 u + a12 v )Xu + (a21 u + a22 v )Xv,
isto ,
dN

u
v

a11 a12
a21 a22

u
v

Isto mostra que, na base {Xu , Xv}, dN dada pela matriz (ai j ), i, j = 1, 2.

dada por

Por outro lado, a expresso da segunda forma fundamental na base {Xu , Xv}

II p ( ) = < dN( ), >= < Nu u + Nv v , Xu u + Xv v >

= e(u )2 + 2 f u v + g(v )2 ,
onde, j que < N, Xu >=< N, Xv >= 0,
e = < Nu , Xu >=< N, Xuu >,
f = < Nv , Xu >=< N, Xuv >,
g = < Nv , Xv >=< N, X vv > .
Deste modo, pela definio 1.10, um curva assinttica uma curva integral do
campo de direes dado por
e(du)2 + 2 f dudv + g(dv)2 = 0.
Vamos obter agora os valores de ai j em termos dos coeficientes e, f , g. Das
equaes dadas em (1-2), temos

21

 f =< Nu , Xv >= a11 F + a21 G,

f =< Nv , Xu >= a12 E + a22 F,
e =< Nu, Xu >= a11 E + a21 F,
g =< Nv , Xv >= a12 F + a22 G,
onde E =< Xu , Xu >, F =< Xu , Xv > e G =< Xv , Xv >. Estas relaes podem ser expressas
na forma matricial

e f
f g

a11 a12
a21 a22

a11 a12
a21 a22

E F
F G

donde

onde
E F
F G

!1

e f
f g

1
=
EG F 2

E F
F G
G F
F E

!1
!

Da segue as expresses
a11 =
a12 =
a21 =

f F eG
,
EG F 2
gF f G
,
EG F 2
eF f E
,
EG F 2

f F gE
.
EG F 2
As equaes dadas em (1-2) com os valores obtidos acima, so conhecidas como as
equaes de Weingarten.
a22 =

Pela proposio (1.7), temos que, uma curva regular conexa C em uma vizinhana coordenada de X uma linha de curvatura se e somente se para uma parametrizao
qualquer (t) = X (u(t), v(t)), t I, de C, temos
dN( (t)) = (t)(t).
Segue-se que as funes u (t) e v (t) satisfazem o sistema de equaes

22

f F eG gF f G
u+
v = u ,
EGF 2
EG F 2

eF f E f F gE
u+
v = v .
EG F 2
EG F 2

Eliminando no sistema acima, obtemos a equao diferencial das linhas de curvatura,

( f E eF)(u )2 + (gE eG)u v + (gF f G)(v )2 = 0.

(1-3)

Utilizando o fato das direes principais serem ortogonais, decorre facilmente da

equao acima que uma condio necessria e suficiente para que as curvas coordenadas
de uma parametrizao sejam linhas de curvatura que F = f = 0.
No exemplo seguinte determinamos o comportamento qualitativo das linhas
assintticas do toro de revoluo em R3 .
Exemplo: Seja T2 o toro de revoluo obtido pela rotao do crculo
(x R)2 + z2 = r2 r < R, em torno do eixo z. Consideremos a seguinte parametrizao do
toro de revoluo:
X (u, v) = (cos(v)(R + rcos(u)), sen(v)(R + rcos(u)), rsen(u)).
A segunda forma fundamental dada por:
e(u, v) = R2 ,

f (u, v) = 0,

g(u, v) = R(R + rcos(u))cos(u).

Portanto, a equao diferencial das linhas assintticas dada por:

F(u, v,
Escrevendo q =

du
du
) = R( )2 + cos(u)(R + rcos(u)) = 0.
dv
dv

du
, consideramos o campo vetorial X definido pela equao diferencial
dv
(u , v , q ) = (qFq , Fq , (qFu + Fv )).

1
Depois de multiplicarmos X por , obtemos
q
(u , v , q ) = (2Rq, 2R, Rsen(u) + rsen(2u)).
Consideremos tambm o campo vetorial projetado, Y (u, q) = (2Rq, Rsen(u) + rsen(2u)).

23

Notemos que a rbita de Y por ( 2 , 0) atinge ( 3

2 , 0). De fato, da integral primeira de Y ,
r
G(u, q) = Rq2 + Rcos(u) + cos(2u),
2
r
1
segue que ( 2 , 0) e ( 3
2 , 0) esto na mesma componente conexa de G ( 2 ).

O tempo gasto por uma rbita que comea em ( 2 , 0) e alcance o ponto ( 3

2 , 0)
pode ser calculado como segue:
r
A partir de G(u, q) = resulta que:
2
q={
Como

[r(1 + cos(2u) 2Rcos(u)] 1

}2 .
2R

du
= 2Rq, segue que:
dt
1

T = R2

3
2

du
[cos(u)(rcos(u) + R]

1
2

=2

du
1

[sen(u)(1 Rr sen(u))] 2

Segue de [6], que a funo T ( Rr ) tm a seguinte expanso analtica em srie:

r
2an r n
( ) ,
T( ) =
R
n=0 n! R

2n+ 1

4
)
1 3 ... (2n 1) ( 12 )(
an =
.
2n
(2n + 43 )

dv
= 2R, segue-se que um arco da linha assinttica que comea no ponto
dt
( 2 , v0 ) termina no ponto ( 3
2 , v1 ), onde v1 dado por v1 = 2RT + v0 .
Este exemplo foi retirado de [3]. O comportamento qualitativo das linhas assintticas dado na figura seguinte.
Portanto, de

Figura 1.1: Linhas assintticas sobre o toro

24

1.2 Geometria de Superfcies em RP3

Nesta seo trataremos de propriedades bsicas da geometria no espao projetivo
RP3 . Comearemos com o conceito de variedade diferencivel.
Definio 1.12 Uma variedade diferencivel de dimenso n um conjunto M e uma
famlia de aplicaes biunvocas X : U Rn M de abertos U de Rn em M tais que:
S
(1) X (U) = M;

(2) Para todo par , , com X(U ) X(U) = W 6=6 0, os conjuntos X1 (W ) e X1 (W )

so abertos em Rn e as aplicaes X1 X so diferenciveis.

O par (U , X) (ou a aplicao X ) com p X(U ) chamado uma

parametrizao (ou sistema de coordenadas) de M em p. Uma famlia {(U, X )}

satisfazendo (1) e (2) chamada uma estrutura diferencivel em M.

Indiquemos por RPn o conjunto das retas de Rn+1 que passam pela origem
0 = (0, ..., 0) Rn+1 , isto , RPn o conjunto das direes de Rn+1 . Vamos introduzir
em RPn uma estrutura diferencivel. Para isto, seja (x1 , ..., xn+1 ) Rn+1 e observemos,
inicialmente, que RPn o espao quociente de Rn+1 {0} pela relao de equivalncia:
(x1 , ..., xn+1) (xi , ..., xn+1),

R,

6= 0.

Indiquemos os pontos de RPn por [x1 , ..., xn+1]. Observemos que, se xi 6= 0,

[x1 , ..., xn+1] = [

x1
xi1
xi+1
xn+1
, ...,
, 1,
, ...,
].
xi
xi
xi
xi

Definamos em RPn subconjuntos V1 , ...,Vn+1, dados por:

Vi = {[xi , ..., xn+1]; xi 6= 0},

i = 1, ..., n + 1.

Geometricamente, Vi o conjunto das retas do Rn+1 que passam pela origem e no

pertencem ao hiperplano xi = 0. Vamos mostrar que podemos tomar os Vi s como
vizinhanas coordenadas, onde as coordenadas em Vi so
y1 =

x1
xi1
, ..., yi1 =
,
xi
xi

yi =

xi+1
xn+1
, ..., yn =
.
xi
xi

Para isto, definamos aplicaes wi : Rn Vi por

wi (y1 , ..., yn) = [y1 , ..., yi1, 1, yi , ..., yn],

(y1 , ..., yn) Rn ,

25

e mostremos que a famlia {(Rn , wi )} uma estrutura diferencivel em RPn .

De fato, cada aplicao wi biunvoca e wi (Rn ) = RPn . Resta mostrar que
1
n
w1
i (Vi V j ) aberto em R e w j wi a diferencivel, j = 1, ..., n + 1. Temos que os
S

pontos de w1
i (Vi V j ) so da forma:

{(y1 , ..., yn) Rn ; y j 6= 0}.

n
Portanto w1
i (Vi V j ) aberto em R , e supondo i > j,
1
w1
j wi = (y1 , ..., yn ) = w j [y1 , ...yi1 , 1, yi , ..., yn ]

= w1
j [
=(

y j1
y j+1
yi1 1 yi
yn
y1
, ...,
, 1,
, ...,
, , , ..., ]
yj
yj
yj
yj yj yj
yj

y j1 y j+1
y1
yi1 1 yi
yn
, ...,
,
, ...,
, , , ..., ),
yj
yj
yj
yj yj yj
yj

que diferencivel. O caso em que i < j anlogo. Em resumo, o espao projetivo

real RPn fica coberto por n + 1 vizinhanas coordenadas Vi , onde Vi constitudo pelas
direes de Rn+1 que no esto no hiperplano xi = 0. Alm disso, em cada Vi temos
coordenadas
x1
xi1 xi+1
xn+1
( , ...,
,
, ...,
),
xi
xi
xi
xi
onde (x1 , ...xn+1) so coordenadas de Rn+1 .
O espao projetivo RPn pode ser pensado como o espao quociente da esfera
unitria Sn = {p Rn+1 ; | p |= 1} pela relao de equivalncia p Sn com seu ponto

antpoda A(p) = p. De fato, cada reta que passa pela origem determina na esfera dois
pontos antpodas e a correspondncia assim obtida biunvoca e sobrejetiva.

Trabalharemos com o espao projetivo de dimenso trs RP3 , ou seja, com S3 .

Consideremos uma superfcie regular M S3 . Temos que M pode ser vista como uma

superfcie de R4 . O produto interno natural do R4 M, induz em cada plano tangente

Tp M de M um produto interno, que indicaremos por <, > p . Se w1 , w2 Tp M R4 ,
ento < w1 , w2 > p igual ao produto interno de w1 e w2 , como vetores em R4 . A este
produto interno, que uma forma bilinear simtrica, corresponde uma forma quadrtica
I p : Tp M R dada por
I p (w) =< w, w > p =| w |2 0.

(1-4)

Definio 1.13 A forma quadrtica I p em Tp M definida em (4-6), chamada a primeira

26

forma fundamental da superfcie regular M S3 em p M.

Consideremos X : U R2 R4 uma parametrizao de M. Como um vetor tangente
w Tp M o vetor tangente a uma curva parametrizada (t) = X (u(t), v(t)), com
p = (0) = X (u0, v0 ), obtemos
I p ( (0)) = E(u )2 + 2Fu v + G(v )2 ,
com
E =< Xu, Xu >,

F =< Xu , Xv >,

O vetor normal a M dado por N =

definida por:

G =< Xv , Xv > .

X Xu Xv
. A segunda forma fundamental
|X Xu Xv |

II p = < DN p (w), w >,

com w Tp M. Considerando (t) = X (u(t), v(t)), com p = (0) = X (u0, v0 ), obtemos
II = e(du)2 + 2 f dudv + g(dv)2 = 0
onde
e=

det[X , Xu, Xv, Xuu ]

,
EG F 2

f=

det[X , Xu, Xv , Xuv ]

,
EG F 2

g=

det[X , Xu, Xv, Xvv]

.
EG F 2

Definimos assim a primeira forma fundamental e a segunda forma fundamental de uma

superfcie M em S3 herdando o produto interno cannico de R4 .
Consideraremos superfcies no-degeneradas em S3 . Isto significa que a segunda
forma fundamental no degenerada em cada ponto.
Um estudo de curvas e superfcies em S3 realizado em [10]. Vejamos um exemplo de
uma superfcie no degenerada em S3 .
Exemplo: Consideremos o toro de Clifford C = S1 ( 1 ) S1 ( 1 ) S3 parametrizado
2

por:

2
(cos(v u), sen(v u), cos(v + u), sen(v + u))
(1-5)
2
onde C est definido no quadrado Q = {(u, v) : 0 u 2, 0 v 2}. Temos que as
direes assintticas sobre o toro de Clifford dado por (1-5) so dadas por dudv = 0,
C(u, v) =

isto , as linhas assintticas so as curvas coordenadas. De fato, os coeficientes da

primeira forma fundamental I = Edu2 +2Fdudv+Gdv2 e da segunda forma fundamental
C Cu Cv
II = edu2 + 2 f dudv + gdv2 de C com respeito ao vetor normal N =
so
|C Cu Cv |
dados por

27

E(u, v) = 1,

e(u, v) = 0

F(u, v) = 0,

f (u, v) = 1

G(u, v) = 1,

g(u, v) = 0

onde o vetor normal de C dado por

N=

2
(cos(v u), sen(v u), cos(u + v), sen(u + v)).
2

Figura 1.2: Toro de Clifford folheado por linhas assintticas, os

crculos de Villarceau.

Um estudo sobre folheaes assintticas em deformaes do toro de Clifford

realizado em [4].

28

CAPTULO 2

Pontos Parablicos Especiais

2.1 Coleo de Resultados

Este captulo foi baseado em [14]. Ressaltamos novamente porque estudamos
superfcies em S3 : Em R3 as linhas assintticas no so globalmente definidas por
imerses de superfcies orientadas compactas. Isto vem do fato de que nestas superfcies
existem sempre pontos elpticos. Em S3 as linhas assintticas podem ser globalmente
definidas. Identificaremos localmente o espao projetivo com o espao Euclidiano R3
com coordenadas
x=

x1
x0

y=

x2
x0

z=

x3
.
x0

Nesta seo consideraremos propriedades qualitativas definidas por linhas assintticas

de uma superfcie suave em um espao de dimenso trs (Euclidiano ou projetivo). Uma
superfcie conexa suave S naturalmente particionada em trs partes (possivelmente
vazias):
(E) Um domnio aberto de pontos elpticos;
(H) Um domnio aberto de pontos hiperblicos;
(P) Uma curva parablica.
Em geral o conjunto parablico a fronteira comum dos domnios hiperblico e elptico.
Denotaremos o domnio hiperblico por H. Temos que uma curva assinttica uma curva
integral do campo de direes
e(du)2 + 2 f dudv + g(dv)2 = 0.

(2-1)

Para cada ponto p, da regio hiperblica H, passam duas linhas assintticas transversais,
tangentes a duas direes assintticas que passam por p. De fato, olhando para esta
equao como uma equao do segundo grau em du (ou em dv), obtemos que o seu
discriminante dado por = 4( f 2 eg). Seja p0 = X (q0) S um ponto hiperblico de
S. Ento, por continuidade, existe um aberto U0 U tal que para todo q U0 temos que
K(q) < 0 e assim > 0. Portanto um domnio hiperblico simplesmente conexo, onde

f 2 eg > 0, a equao (2-1) pode ser fatorada em dois fatores lineares distintos, o que

nos d
1 2 = (Adu + Bdv)(Cdu + Ddv) = 0.
Assim, os campos de direes so definidos pelos ncleos 1 e 2 , das 1-formas 1 e 2 ,
ou seja,
Adu + Bdv = 0
Cdu + Ddv = 0
onde os coeficientes so determinados por
AC = e,

AD + BC = 2 f ,

BD = g.

Cada uma destas equaes determina um campo diferencivel de direes assintticas,

e em cada ponto da vizinhana considerada as direes dadas pelas duas equaes so
distintas.
Sob uma hiptese de orientabilidade imposta sobre a superfcie, possvel globalizar sobre toda regio hiperblica H, a definio dos campos de direes assintticas
1 , 2 e uma escolha de ordenao entre eles.
Consideremos o campo de cones tangentes CX sobre H, definidos pelas direes principais e1 , e2 , orientado compativelmente com a superfcie. Chamamos de
{e1 (p), e2 (p)} uma base positiva para Tp S onde
DX (p, e1 (p)) DX (p, e2(p)) = N(p) e

II p(v) > 0,

para v = e1 (p) + e2 (p),

onde X a imerso e N o vetor normal. Notemos que se {e1 (p), e2 (p)} outra escolha
para tal base, ambas definem o mesmo campo de direes:
1 (p) = R.e1 (p) = R.e1 (p)

2 (p) = R.e2 (p) = R.e2 (p).

As possveis escolhas para o cone CX so dadas na figura abaixo. Estes dois

campos de direes so chamados de campos de direes principais de X . Distinguimos
assim, os campos 1 e 2 de direes assintticas da seguinte maneira: chamaremos de
1 o primeiro campo de direes 1 , definido pela parte positiva do cone CX e 2 o
segundo campo de direes 2 definido pela parte negativa do cone CX .
As folheaes assintticas de X so as folheaes integrais A1 de 1 e A2 de
2 . Estas folheaes preenchem toda regio hiperblica H, ou seja, a regio hiperblica
30

 folheada por uma famlia de curvas assintticas 1 e por uma famlia de curvas assintticas 2. Claramente, uma troca de orientao da superfcie, produz uma permutao
das folheaes assintticas.

Figura 2.1: Cone de direes principais

Deste modo, por um ponto hiperblico de uma superfcie, passam duas curvas
assintticas, uma curva da famlia 1 e a outra da famlia 2. Vamos a definio de
alguns termos.
Definio 2.1 Um ponto parablico especial um ponto parablico em que a (nica)
direo assinttica tangente a curva parablica.
Este ponto tambm chamado de godron devido R. Thom [13].
Definio 2.2 Uma inflexo de uma curva regular parametrizada em RP3 ( ou em R3 )
um ponto em que as duas primeiras derivadas so linearmente dependentes.
Estudaremos inflexes de linhas assintticas.
Definio 2.3 A linha formada (quando definida) pelos pontos de inflexo das curvas
assintticas no domnio hiperblico chamada curva flecnodal.
No decorrer do texto, denotaremos a curva flecnodal por F. Como no domnio hiperblico
temos duas folheaes assintticas, natural definirmos:
Definio 2.4 A curva flecnodal 1 denotada por F1 a curva formada pelos pontos de
inflexo da famlia assinttica 1. De modo anlogo se define a curva flecnodal 2.
Temos assim que F = F1 F2 .
Pode ocorrer de uma das curvas F1 ou F2 serem vazias, ou seja, no termos
curva de inflexo para uma folheao assinttica. Tambm pode ocorrer de ambas as
curvas F1 e F2 serem vazias, ou seja, no termos curva de inflexo para nenhuma folheao assinttica. Consideramos aqui superfcies em que ambas curvas F1 e F2 so
bem definidas, ou seja, so curvas regulares. Chamaremos de ponto hiperblico especial
31

(ponto de dupla inflexo) um ponto de interseco da curva flecnodal F1 e curva flecnodal

F2 (F1 F2 ). Estes pontos tambm recebem o nome de pontos quadrticos. No captulo
3 mostraremos que pontos hiperblicos especiais (ou pontos quadrticos) so os pontos
em que uma superfcie pode ser aproximada por uma qudrica at os termos de ordem trs.
No que segue, consideraremos a superfcie S parametrizada localmente como
o grfico de uma funo suave z = z(x, y) (onde o mergulho dado por X (x, y) =
(x, y, z(x, y))). As direes assintticas satisfazem a equao:
zxx (dx)2 + 2zxy dxdy + zyy (dy)2 = 0.
Fazendo dy = pdx, esta equao se torna
F(x, y, p) = zyy p2 + 2zxy p + zxx = 0.

(2-2)

Esta equao chamada equao assinttica de X . A esta equao associamos o

campo vetorial Y = (1, p,
Fazendo x = 1, temos:

(Fx +pFy )
).
Fp

De fato, F(x, y, p) = 0 = Fx x + Fy y + Fp p = 0.

x = 1

y =p
Y:

(Fx + pFy )

.
p =
Fp

As projees das curvas integrais de Y por (x, y, p) = (x, y), so as linhas

assintticas de X . Chamaremos de A a superfcie definida pelas equaes F(x, y, p) = 0,
p = dy/dx e F(x, y, q) = 0, q = dx/dy. Isto , consideraremos a equao diferencial das
linhas assintticas como uma superfcie no espao projetivo tangente da superfcie.
Caracterizemos a curva flecnodal de X . Seja (t) = (x(t), y(t), z(x(t), y(t))) uma
linha assinttica de X . Derivando em t e usando o campo Y teremos:
= (x , y , zx x + zy y ) = = (1, p, zx + zy p),
= (0, p , zxx + 2zxy p + zyy p2 + zy p ) = p (0, 1, zy),
onde usamos que zxx + 2zxy p + zyy p2 = 0. Determinando os pontos onde = (as duas
primeiras derivadas so linearmente dependentes), com R, obtemos:

0=
p = p

p zy = (zx + zy p)
32

donde p = 0. Em Y , p = 0 corresponde a Fx + pFy = 0. Portanto, o levantamento da curva

flecnodal dado por
F =

zyy p2 + 2zxy p + zxx = 0

Fx + pFy = 0.

(2-3)

A curva flecnodal obtida pela projeo (x, y, p) = (x, y) desta curva.

Observao 2.5 O levantamento da curva parablica na superfcie A (superfcie dada
pela equao F(x, y, p) = zyy p2 + 2zxy p + zxx = 0) dada por
P =

zyy p2 + 2zxy p + zxx = 0

Fp = 0.

(2-4)

Exemplo: Consideremos a superfcie dada por X (x, y) = (x, y, y4 y + x2 y3 ). Determinaremos suas curvas parablica e flecnodal. Temos que:
zxx = 2y3 ,

zxy = 6xy2 ,

zyy = 12y2 + 6x2 y.

Assim a equao das linhas assintticas com p =

dy
dada por
dx

F(x, y, p) = p2 zyy + 2pzxy + zxx = p2 (12y2 + 6x2 y) + 12pxy2 + 2y3 = 0.

Pelas observaes feitas anteriormente temos que o levantamento das curvas flecnodal F
e parablica P so dadas por:

F =

zyy p2 + 2zxy p + zxx = 0

Fx + pFy = 0

Obtemos assim:
(
(12y2 + 6x2 y)p2 + 12xy2 p + 2y3 = 0
F =
(24y + 6x2 )p3 + 36xyp2 + 18y2 p = 0

P =

P =

zyy p2 + 2zxy p + zxx = 0

Fp = 0.

(12y2 + 6x2 y)p2 + 12xy2 p + 2y3 = 0

(24y2 + 12x2 y)p + 12xy2 = 0.

Notemos que em F temos dois polinmios em p, um de grau dois e um de grau

trs. Fazendo o resultant em p (termo definido no Apndice) destes dois polinmios
obtemos a curva flecnodal, dada por:
1152y9 (49y2 20x2 y + 20x4 ) = 0.
Notemos que neste exemplo a curva flecnodal no regular na origem. Fazendo o mesmo
onde temos um polinmio de grau dois e um de grau um em p, obtemos a curva
em P,
33

parablica dada por:

24y4 (y + x2 ) = 0.
O esboo das linhas assintticas, da curva parablica e da curva flecnodal dado na figura
seguinte.

Figura 2.2: Curvas assintticas, parablica e flecnodal

As curvas em rosa so linhas assintticas, cinza parablica e azul flecnodal. No

prximo exemplo dada uma superfcie em que temos dez pontos parablicos especiais,
ou seja, dez pontos parablicos em que a (nica) direo assinttica tangente curva
parablica.
Exemplo: Consideremos a superfcie dada por X (x, y) = (x, y, z(x, y)), onde z(x, y) dado
por:
z(x, y) = x4 2x3 y+9x2 y2 +6xy3 11y4 13x3 10x2 y+3xy2 +10y3 +12x2 +2xy2y2 .
Temos que:
zxx = 12x2 12xy + 18y2 78x 20y + 24,
zxy = 6x2 + 36xy + 18y2 20x + 6y + 2,
zyy = 18x2 + 36xy 132y2 + 6x + 60y 4.
A curva parablica dada por: 100 + 3504y3 2700y4 252x4 1716x3 216x3 y +
396x2 y2 + 936xy3 2448x2 y + 9252xy2 3792xy 364x2 4548y2 + 536x + 1496y = 0.
O esboo da curva parablica e das linhas assintticas dado na figura seguinte.

34

Figura 2.3: Dez pontos parablicos especiais

2.2 Curvas Assintticas, Flecnodal e Parablica

Estudaremos agora a posio relativa entre as separatrizes das linhas assintticas,
curvas flecnodal e parablica na vizinhana de um ponto parablico especial. Para este
fim, comearemos com a seguinte proposio:
Proposio 2.6 Consideremos o mergulho X (x, y) = (x, y, z(x, y)) onde z da forma

ky2 a1 xy2 a2 x2 y a4 y3 a5 x4 a6 y4 a7 x3 a8 x2 y2 a9 x3 y
z=
+
+
+
+
+
+
+
+
+(x, y) (2-5)
2
2
2
6
24
24
6
4
6
com a5 6= {0, 21 }, a2 6= 0, k 6= 0 e denotando a soma de polinmios homogneos em x e
y de grau maior que 4.
Com uma mudana de coordenadas do tipo
x = b0 u + b1 u2 + b2 v2 + b3 uv + sv
y = b0 v + c1 u2 + c2 v2 + c3 uv

(2-6)

possvel escolher os termos b0 , b1 , b2 , b3 , s, c1 , c2 e c3 de tal forma que a equao

diferencial das linhas assintticas de (2-5) a mesma equao diferencial das linhas
assintticas da superfcie dada por:
z=

y2
x2 y + rx4 + (x, y),
2

(2-7)
35

onde r 6= {0, 12 } e denota a soma de polinmios homogneos em x e y de grau maior

que 4.

Demonstrao. A equao diferencial das linhas assintticas de (2-7) dada por

zxx (dx)2 + 2zxy dxdy + zyy (dy)2 = 0,
onde:
zxx = 2y + 12rx2 + O(3),
zxy = 2x + O(3),
zyy = 1 + O(3).
Portanto, dividindo por zyy , a equao diferencial das linhas assintticas de (2-7) dada
por
(2y + 12rx2 + O(3))(dx)2 + (4x + O(3))dxdy + (dy)2 = 0.
Trabalharemos agora com a equao diferencial das linhas assintticas de (2-5).
Com a mudana dada em (2-6), obtemos a superfcie X (u, v) = (x(u, v), y(u, v), z(u, v)),
onde a equao diferencial das linhas assintticas dada por
e(dx)2 + 2 f dxdy + g(dy)2 = 0,

(2-8)

com:
e = a2 b50 v + ((1/2)a5 b60 + 4kb20 c21 + 5c1 a2 b40 )u2 + (4c1 a1 b40 + a5 sb50 + 4a2 b40 c3 +
6b1 a2 b40 + 2c1 a2 b30 s + a9 b60 + 4c1 kb20 c3 )vu + ((1/2)a8b60 + 3a2 b40 c2 + 2a1 b40 c3 + a2 sb30 c3 +
(1/2)a5s2 b40 + a9 sb50 + kc23 b20 + 3a2 b40 b3 )v2 + O(3);
f = (a1 b50 + c3 kb30 + 2a2 sb40 )v + (a2 b50 + 2kb30 c1 )u + (2c1 kb20 b3 + 4a2 b40 c2 +
8a2 sb30 b1 + 4a2 b40 b3 + a5 s2 b40 + 2a4 b40 c1 + 8kc2 c1 b20 + 4a1 b40 c3 + 4a2 sb30 c3 + 2c3 b1 kb20 +
2kc23 b20 + 2a1 b30 c1 s + 4a1 b40 b1 + 2a9 sb50 + a8 b60 4c3 kb0 c1 s 2a2 s2 b20 c1 )vu + (c1 a2 b30 s +
4c1 kb20 c3 + (1/2)a5sb50 + 3c1 a1 b40 + 4c1 kb20 b1 4kb0 c21 s + 2a2 b40 c3 + (1/2)a9b60 +
5b1 a2 b40 )u2 + (c3 a2 s2 b20 + c3 a1 b30 s + 4b3 a2 sb30 + 4c3 kb20 c2 + (3/2)a8sb50 kb0 c23 s +
(1/2)a5s3 b30 + 7a2 sb30 c2 + 2b3 a1 b40 + 3a2 b40 b2 + c3 a4 b40 + (3/2)a9s2 b40 + 5a1 b40 c2 +
c3 b3 kb20 + (1/2)a7b60 )v2 + O(3);
g = kb40 + (6kc2 b30 + a4 b50 + 3a2 s2 b30 + 3a1 sb40 c3 kb20 s + kb30 b3 )v + (2a2 sb40 +
a1 b50 2c1 kb20 s + 3c3 kb30 + 2kb30 b1 )u + ((1/2)a5s2 b40 + (1/2)a8 b60 2c1 kb20 b3 + 3a1 b40 c3 +
3a1 b40 b1 + 6a2 sb30 b1 + 3kc23 b20 + a9 sb50 + 2a2 b40 b3 4c3 kb0 c1 s 3a2 s2 b20 c1 + 6c3 b1 kb20 +
4a2 sb30 c3 + a4 b40 c1 )u2 + (12c3 kb20 c2 8kc2 b0 c1 s + 6a2 s2 b20 b1 + 12c2 b1 kb20 + 8a2 sb30 c2 +
36

a7 b60 + 4a2 b40 b2 6a2 s3 b0 c1 4c1 kb20 b2 + 2a4 b40 b1 + a5 s3 b30 + 2c3 b3 kb20 + 3a8 sb50

2a4 b30 c1 s + 6a1 b40 c2 + 4c3 a2 s2 b20 + 4b3 a1 b40 + 4c3 a4 b40 2kb0 c23 s + 8c3 a1 b30 s + 6a1 sb30 b1
6a1 s2 b20 c1 + 8b3 a2 sb30 + 3a9 s2 b40 )vu + (6c2 b3 kb20 + 3a1 sb30 b3 + 10b2 a2 sb30 + 3a2 s2 b20 b3
2c3 kb20 b2 + 12kb20 c22 + 7c2 a4 b40 + 3a8 s2 b40 a4 b30 c3 s + 11c2 a2 s2 b20 + 16c2 a1 b30 s + a4 b40 b3 +

(1/2)a5s4 b20 3a2 s3 b0 c3 3a1 s2 b20 c3 + (1/2)a6b60 + 5b2 a1 b40 4kc2 b0 c3 s + 2a9 s3 b30 +
2a7 sb50 )v2 + O(3).
Fazendo b0 6= 0, podemos supor g 6= 0. Dividindo a equao (2-8) por g, obtemos:
f
e
(dx)2 + 2 dxdy + (dy)2 = 0,
g
g

onde, em uma aproximao de ordem dois obtemos:

e
u2
vu
= 2 2 (8k2 c21 a5 b40 k 10c1 a2 b20 k) 2 2 (8b1 a2 b20 k 2a5 sb30 k
g
2b0 k
2b0 k
2
4
2
2
2 3
8c1 k c3 2a9 b0 k 2a2 b0 c3 k 8c1 a1 b0 k + 4a2 b0 s + 2a2 b40 a1 8c1 a2 b0 sk)
v2
(a8 b40 k a5 s2 b20 k 4a2 sb0 c3 k 2a9 sb30 k 2k2 c23 + 6a2 b20 c2 k + 2a2 b40 a4 +
2
2
2b0 k
a2 b0 v
+ O(3);
6a22 b20 s2 + 6a2 b30 a1 s 4a2 b20 b3 k 4a1 b20 c3 k) +
k
f
u2
=
(4c1 k2 c3 2c1 a1 b20 k + 2c1 a2 b0 sk + 2a2 b20 c3 k 6b1 a2 b20 k
2
2
g
2b0 k
vu
4
3
a9 b0 k a5 sb0 k + 4a22 b30 s + 2a2 b40 a1 ) 2 2 (2a21 b40 4a1 b20 b1 k + 2k2 c23 + 14a22 b20 s2
2b0 k
3
4a9 sb0 k + 6a2 sb0 c3 k 8a2 sb0 b1 k + 8a2 s2 c1 k + 4a1 b0 c1 sk 2a8 b40 k + 2a2 b40 a4 +
u
14a2 b30 a1 s 2a5 s2 b20 k + 8k2 c2 c1 + 4a2 b20 c2 k 6a2 b20 b3 k) 2 2 (2a2 b30 k 4b0 k2 c1 )
2b0 k
2
v
(a7 b40 k + 2a1 b40 a4 + 6a21 b30 s + 4a2 sb30 a4 3a9 s2 b20 k + 4c3 k2 c2 a5 s3 b0 k
2b20 k2
3a8 sb30 k 6a2 b20 b2 k 2b3 a1 b20 k + 2a1 b20 c2 k + 18a1 b20 a2 s2 + 4c3 a2 s2 k 4b3 a2 sb0 k +
v
2c3 a1 b0 sk + 10a2 sb0 c2 k + 12a22 s3 b0 ) 2 2 (4kb20 a2 s 2k2 b0 c3 2kb30 a1 ) + O(3).
2b0 k
Deste modo, determinamos b0 , b1 , b2 , b3 , s, c1 , c2 e c3 de tal forma que
e
= r1 v + r2 a5 u2 + O(3)
g
f
= r3 u + O(3).
g
com r1 , r2 , r3 R.

37

A proposio anterior nos diz que uma superfcie pode ser enviada por transformaes projetivas para a forma normal
z=

y2
x2 y + rx4 + (x, y)
2

(2-9)

com r 6= {0, 12 }. Ou seja, tendo uma superfcie S em RP3 , identificamos localmente

RP3 com o espao Euclidiano R3 de tal forma que S dada por (2-9). No que segue
utilizaremos a forma normal dada em (2-9). Em [14] tambm utilizado a forma normal
(2-9). Na proposio anterior apenas justificamos o seu uso.

Proposio 2.7 Um ponto parablico especial separa a curva flecnodal em seus ramos
F1 e F2 .
Demonstrao. Temos que o levantamento F da curva flecnodal dado pela interseco
das superfcies
(
zyy p2 + 2zxy p + zxx = 0
F =
Fx + pFy = 0,
e o levantamento P da curva parablica dado pela interseco das superfcies
P =

zyy p2 + 2zxy p + zxx = 0

Fp = 0.

A imagem destas curvas pela projeo (x, y, p) 7 (x, y) so respectivamente as

curvas flecnodal e parablica. A curva P separa a superfcie A (superfcie dada pela
equao zyy p2 + 2zxy p + zxx = 0) em duas componentes, denotadas por A1 e A2 , onde
A1 denota a folheao assinttica 1, e A2 a folheao assinttica 2. Lembremos que
estamos supondo sempre que as curvas F1 e F2 so regulares. Temos assim que F1 est
na parte A1 e F2 est na parte A2 . A superfcie Fp = 0 o plano dado pela equao
p = 2x + O(3). A superfcie Fx + pFy = 0 o plano dado pela equao p = 4rx + O(3). A
interseco entre estes dois planos e a superfcie zyy p2 +2zxy p +zxx = 0 o ponto (0, 0, 0).
Pela projeo (x, y, p) 7 (x, y), este ponto se projeta sobre o ponto (0, 0).
Observemos que:
F =

zyy p2 + 2zxy p + zxx = 0

=
Fx + pFy = 0

p2 4xp 2y + 12rx2 + A(x, y) = 0

6p + 24rx + B(x, y) = 0.

onde A(x, y) e B(x, y) denotam os termos de ordem superior em x e y. Eliminando p no

ltimo sistema, obtemos a curva flecnodal dada por y = (8r2 2r)x2 +O(x, y) com O(x, y)
denotando os termos de ordem superior.

38

Temos tambm que:

P =

zyy p2 + 2zxy p + zxx = 0

Fp = 0

p2 4xp 2y + 12rx2 + A(x, y) = 0

2p 4x + D(x, y) = 0.

onde A(x, y) e D(x, y) denotam os termos de ordem superior em x e y. Eliminando p

y)
no ltimo sistema obtemos que a curva parablica dada por y = (6r 2)x2 + O(x,

(observe que (0, 0) um ponto parablico) . Da equao das linhas assintticas

(1 + O(3))(y)2 + (4x + O(3))x y + (2y + 12rx2 + O(3))(x)2 = 0,

notamos que o eixo x uma direo assinttica em (0, 0). Obtemos assim que o ponto
(0, 0) um ponto parablico especial.
Deste modo, um ponto parablico especial separa a curva flecnodal F = F1 F2
em seus ramos F1 e F2 .
F
A2

P
A1

A
F1

R2

ponto singular
F2

ponto parablico especial

Figura 2.4: Levantamento das curvas flecnodal e parablica


Obteremos agora a posio entre as curvas flecnodal, parablica e as separatrizes
das linhas assintticas. Para isso, consideraremos a forma normal dada em (2-9).
dy
Consideremos a equao assinttica F(x, y, p) = zyy p2 + 2zxy p + zxx = 0 onde p = . A
dx
esta equao temos associado o campo vetorial:

x = Fp
Y:
= Y
y = pFp

p = (Fx + pFy )

x = 2p 4x + O1 (x, y)
:
y = 2p2 4px + O2 (x, y)

p = 6p 24rx + O3 (x, y)
39

com Oi (x, y), i = 1, 2, 3 denotando os termos de ordem superior em x e y. As projees

das curvas integrais de Y por (u, v, p) = (u, v) so as linhas assintticas do mergulho X
(X (x, y) = (x, y, z(x, y)) onde z(x, y) dado pela equao (2-9)). O ponto singular de Y
(x, y, p) = (0, 0, 0). A matriz jacobiana de DY (0) dada por:

4 0 2

DY (0) = 0
0 0
24r 0 6

(2-10)

Os autovalores de DY (0) so dados

por 1,2 = 1 25 48r. Os auto espaos

associados Ei , i = 1, 2, so gerados por p = 5 2548r

x. Pelo teorema da variedade estvel
2
(instvel), existe uma variedade invariante tangente ao subespao estvel (instvel),
observe [12]. Obtemos as separatrizes, com O4 (x, y) denotando os termos de ordem
superior:

5 25 48r 2
)x + O4 (x, y).
y=(
4
1
1
25
25
n; r >
foco. Temos tambm
Observemos que para r < temos sela; < r <
2
2
48
48
que:
r < 12 a flecnodal est acima das duas separatrizes;
12 < r < 0 a flecnodal est entre as separatrizes;
0<r<

25
48

a flecnodal est abaixo das duas separatrizes.

Na figura 2.5, temos o esboo das curvas assintticas, suas separatrizes, a curva
parablica e a curva flecnodal. As curvas assintticas esto na cor rosa, suas separatrizes
nas cores verde e vermelha, a curva parablica na cor cinza e a curva flecnodal na cor
azul. Esboamos a curva flecnodal em duas tonalidades de azul (azul claro e escuro). Isto
foi feito visando separar as curvas de inflexo (F1 e F2 ) das folheaes assintticas. Na
seo 2.3, faremos um estudo da relao entre a posio das curvas F1 e F2 e o ndice
do ponto parablico especial. A figura 2.5 foi gerada utilizando o software matemtico
ODEinR2, que pode ser encontrado em [9].
A figura 2.6 ilustra as inclinaes das parbolas em questo. A curva em verde
a inclinao da curva parablica, azul da flecnodal, vermelha e preta so inclinaes das
separatrizes.

40

Figura 2.5: Configurao entre separatrizes de curvas assintticas, curvas flecnodal e parablica

Figura 2.6: Inclinaes da parablica, flecnodal e separatrizes

2.3 Discos Hiperblicos

Provamos nesta seo o resultado que afirma que; se uma superfcie genrica em
RP3 contm um disco hiperblico delimitado por uma curva parablica de Jordan, ento
existe um nmero mpar de pontos hiperblicos especiais no interior deste disco. Em [14]
tambm demonstrado este resultado. Aqui fizemos a demonstrao de uma maneira
diferente, utilizando os resultados da seo anterior, como por exemplo a posio relativa
entre as curvas flecnodal, parablica e as separatrizes das linhas assintticas. Deve ficar

41

claro que quando dizemos disco hiperblico estamos nos referindo que a regio onde
a curvatura Gaussiana negativa um disco. Quando a regio hiperblica H de uma
superfcie no vazia, ela limitada por uma curva parablica. Nesta seo mostraremos
que sob certas hipteses, se uma superfcie contm um disco hiperblico limitado por
uma curva parablica regular de Jordan, existe um nmero mpar de pontos hiperblicos
especiais no interior do disco. Para este fim, comeamos com a noo de ndice de um
campo vetorial sobre superfcies.
Seja W um campo diferencivel de vetores em uma superfcie orientada S.
Dizemos que p S um ponto singular de W se W (p) = 0. O ponto singular isolado
se existe uma vizinhana V de p em S tal que W no tem pontos singulares em V alm
de p. Associamos a cada ponto singular isolado p de um campo de vetores W um nmero
inteiro, o ndice de W , definido da seguinte maneira. Seja X : U S uma parametrizao
ortogonal em p = X (0, 0) compatvel com a orientao de S, e seja : [0, l] S uma curva

regular parametrizada simples, fechada, regular por partes e orientada positivamente tal
que ([0, l]) X (U ) a fronteira de uma regio simples R contendo p como nico ponto

singular. Seja W = W (t), t [0, l], a restrio de W ao longo de , e seja = (t) uma
determinao diferencivel do ngulo de Xu a W (t) (observe [1]). Como fechada,
existe um inteiro I definido por
Z l
d
2I =
dt.
0 dt
I chamado o ndice de W em p. A prova de que a definio acima independente das
escolhas feitas, como a parametrizao X e a curva encontrada em [1].
Definio 2.8 Um ponto parablico especial dito ser de ndice positivo (+1) se ele
um ponto de n ou foco do campo de linhas definido na superfcie A (superfcie dada por
F(x, y, p) = zyy p2 + 2zxy p + zxx = 0) que define as linhas assintticas. Dizemos que um
ponto parablico especial de ndice negativo (1) se ele um ponto de sela do campo
de linhas definido na superfcie A que define as linhas assintticas.
y2
Obtemos na seo anterior que considerando z =
x2 y + rx4 + (x, y), um
2
ponto parablico especial de sela se, e somente se, r < 21 . Deste modo, para r < 12 temos
um ponto parablico especial de ndice negativo, e para r > 12 temos ponto parablico
especial de ndice positivo.
Proposio 2.9 A soma dos ndices dos pontos parablicos especiais (do tipo sela,
n e foco definidos acima) sobre a curva parablica (de Jordan) limitando um disco
hiperblico igual a dois. Em particular, tais curvas parablicas contm um nmero par
de pontos parablicos especiais.
42

Demonstrao. Denotemos por H o fecho do disco hiperblico. A superfcie A ( dada

por F(x, y, p) = zyy p2 + 2zxy p + zxx = 0) uma esfera. Sua caracterstica de Euler igual
a dois. Pelo teorema de Poincar [1], a soma dos ndices de todos pontos singulares do
campo de direo definido sobre A igual a dois.

Antes de demonstrarmos o teorema principal desta seo, vamos a dois lemas.
O primeiro diferencia o ponto parablico especial de ndice positivo do ponto parablico
especial de ndice negativo pela posio das curvas flecnodais F1 e F2 . O segundo lema
um caso especial do teorema 2.12.
y2
x2 y + rx4 + (x, y), os ramos F1 e
2
F2 da curva flecnodal em um ponto parablico especial g, correspondem localmente,
respectivamente, ao semi eixo negativo e positivo do eixo x, se e somente se, g de ndice
negativo.
Lema 2.10 Considerando a forma normal z =

Demonstrao. Com a forma normal em questo, o eixo x tangente curva parablica

no ponto parablico especial. Para determinar a posio das curvas F1 e F2 em relao
ao eixo x, usamos a anlise feita na seo anterior, onde obtivemos as possveis configuraes entre linhas assintticas, curva parablica e curva flecnodal. Determinamos
a posio das curvas F1 e F2 estudando o comportamento local das folheaes assintticas.

x
y

x
y
y

Figura 2.7: Curva parablica orientada

Para simplificar as anlises, determinamos a posio apenas da curva F1 . Assim,

nas figuras a seguir, esboaremos apenas o comportamento da folheao 1. O caso de
sela, em que r < 12 se divide em trs partes:
1) r < 12 , onde a curva flecnodal est acima das duas separatrizes;
2) 12 < r < 0, onde a curva flecnodal est entre as separatrizes;

43

3) 0 < r < 12 , onde a curva flecnodal est abaixo das duas separatrizes.
A curva em preto representa a curva parablica, a curva em azul representa F1
(curva de inflexo da folheao assinttica 1) e as curvas em vermelho representam
curvas da folheao assinttica 1. Na figura 2.8, do lado esquerdo temos representado o
caso em que a curva flecnodal est acima ou entre a separatriz da folheao 1. Do lado
direito, temos representado o caso em que a curva flecnodal est abaixo da separatriz da
folheao 1. Observamos que a curva F1 est sempre do lado negativo do eixo x.
Para um ponto parablico de ndice positivo, ou seja, para r > 21 , a situao
esboada na figura 2.9. Neste caso a curva F1 est sempre do lado positivo do eixo x.
Portanto, temos localmente a posio das curvas F1 e F2 em um ponto parablico de
y

x
y

x
y

Figura 2.8: r < 0 e 0 < r <

1
2

y
x

x
y
x
y

Figura 2.9: r >

1
2

ndice positivo e negativo.



44

Como conseqncia do lema 2.10, temos que se g1 e g2 so dois pontos parablicos especiais de ndice positivo e dois vetores v1 e v2 so tangentes F em g1 e g2 ,
respectivamente, e ambos esto apontando no sentido de F2 para F1 , ento v1 e v2 orientam a curva parablica da mesma maneira. De fato, uma vez que todos pontos elpticos
na vizinhana da curva parablica pertencem a mesma componente conexa do domnio
elptico, eles tem a mesma co-orientao natural (dada pelo plano tangente). Desde que
ambos pontos parablicos especiais so de mesmo ndice, a afirmao segue do lema 2.10.
Este fato de fundamental importncia para a demonstrao dos prximos resultados.
Lema 2.11 Suponhamos que a curva parablica limita um disco hiperblico D (sobre
uma superfcie suave) e tem exatamente dois pontos parablicos especiais. Suponhamos
ainda que a curva parablica uma curva regular de Jordan, e que as curvas F1 e F2
so regulares, isto , so pr imagem de um valor regular de uma funo diferencivel.
Nestas condies, existe um nmero mpar de pontos hiperblicos especiais (pontos de
interseco das curvas F1 e F2 ) no interior do disco.
Demonstrao. Escrevamos g1 e g2 os pontos parablicos especiais sobre a curva
parablica. Pela proposio 2.9, ambos g1 e g2 so de ndice positivo. Desde que existem somente dois pontos parablicos especiais sobre a curva parablica, a curva regular
F1 um seguimento que comea em g1 e termina em g2 . Este segmento separa H
em duas partes, que chamaremos de A e B. A curva regular F2 tambm um seguimento
comeando em g1 , e terminando em g2 . Pelo lema anterior, como os dois pontos
parablicos especiais so de ndice positivo, temos que se na vizinhana de g1 o segmento F2 est do lado A, ento, na vizinhana de g2 ele est do lado B. Portanto F2 cruza
F1 um nmero mpar de vezes.
A

g2
g1

Figura 2.10: Configurao com dois pontos parablicos especiais

Exemplo: A superfcie dada por z = xy +

1 4
24 x

1 4
24 y

1
12

3x2 y2


tem dois pontos

parablicos especiais. A figura seguinte a superfcie dada pela equao zyy p2 + 2zxy p +
zxx = 0.

45

Figura 2.11: zyy p2 + 2zxy p + zxx = 0

Na figura seguinte, do lado esquerdo temos a projeo ((x, y, p) (x, y)) das
linhas assintticas e da curva parablica. Do lado direito temos a curva flecnodal (F1 F2 ),

onde a curva em preto a curva de inflexo para uma folheao (F1 ) e a curva em vermelho
a curva de inflexo para a outra folheao (F2 ). Neste caso temos um ponto hiperblico

Figura 2.12: Curvas flecnodal e parablica

especial.
Teorema 2.12 Seja D um disco hiperblico limitado por uma curva parablica de
Jordan. Suponhamos que na regio hiperblica as curvas F1 e F2 so regulares, isto
, so pr imagem de um valor regular de uma funo diferencivel. Nestas condies,
existe um nmero mpar de pontos hiperblicos especiais no interior do disco.
Demonstrao. Consideraremos apenas as componentes conexas das curvas F1 e F2 .
Denotemos por G+ o nmero de pontos parablicos especiais de ndice positivo e G
o nmero de pontos parablicos especiais de ndice negativo. Pela proposio 2.9, temos
que G+ G = 2. Deste modo, temos sempre dois pontos de ndice positivo a mais que

pontos de ndice negativo. Assim, qualquer que seja a configurao das curvas F1 e F2 no
interior do disco hiperblico, temos sempre uma componente conexa de F1 (ou de F2 ) que
comea em um ponto parablico especial gm de ndice positivo e termina em outro ponto
parablico especial gn tambm de ndice positivo.
46

A
gn

gm

Figura 2.13: Configurao com mais de dois pontos parablicos

especiais

Consideremos assim a componente conexa de F1 que comea em gm e termina

em gn . Esta componente separa o disco em duas partes, A e B. Afirmamos que o nmero de
pontos parablicos especiais par na parte A, o mesmo valendo para a parte B. De fato,
se tivssemos, por exemplo, uma quantidade mpar de pontos parablicos especiais na
parte A, teramos auto interseco das componentes conexas de F1 . Como consideramos a
componente conexa de F1 que comea em um ponto parablico especial de ndice positivo
e termina em um ponto do mesmo tipo separando as partes A e B, temos um nmero
mpar de componentes conexas de curvas F2 comeando em cada uma destas partes. Deste
modo, o nmero de cruzamentos de curvas F1 e F2 mpar.

Nos resultados acima consideramos as curvas F1 e F2 regulares. Cabe observar o
que pode ocorrer sem esta hiptese. Pelo lema de Morse temos:
Lema 2.13 (Lema de Morse) Seja a um ponto crtico no-degenerado de uma funo
f : U R de classe Ck (k 3) num aberto U Rn . Existe um sistema de coordenadas

: V W , de classe Ck2 , com a W U, 0 V e (0) = a, tal que

m

f ((y)) f (a) =

ai j yi y j

i, j=1

para todo y = (y1 , ..., yn) V , onde

1 2 f
ai j = .
(a).
2 xi x j
Como corolrio do lema de Morse, temos que nas mesmas hipteses do lema,
existe um sistema de coordenadas : V0 W , de classe Ck2 , com a W U , 0 V0 ,

(0) = a e f ((y) f (a) = y21 ... y2i + y2i+1 + ...y2n .

As demonstraes do lema de Morse e de seu corolrio so encontradas em [8]. O fato
que queremos observar aqui que, se n = 2 no corolrio acima, as curvas de nvel na

47

vizinhana de um ponto crtico no- degenerado de uma funo f : U R, definida em

um aberto do plano, tem uma das formas abaixo:

U
U

Figura 2.14: Lema de Morse

A esquerda, temos um ponto de mximo ou de mnimo; direita um ponto

de sela. De fato, se o ponto de mximo ou de mnimo local, o lema de Morse nos
d f ((y)) f (a) = (y21 + y22 ), logo as curvas de nvel f prximas de a so imagens
pelo difeomorfismo dos crculos y21 + y22 = constante, logo tm a forma da figura
esquerda. A figura direita, a imagem por um difeomorfismo das curvas de nvel da
funo f ((y)) = y21 + y22 . Logo, se impusermos uma condio de no regularidade na

curva flecnodal (F1 ou F2 ), na vizinhana do ponto crtico teremos uma das duas situaes
esboadas da figura acima.
Lema 2.14 Consideremos a forma normal:
a03 3 a12 2 a21 2
a40 4 a04 4 a22 2 2 a13 3 a31 3
z = xy +
y +
xy +
x y+
x +
y +
x y +
xy +
yx +
6
2
2
24
24
4
6
6
a50 5 a05 5 a32 3 2 a23 2 3
x +
y +
x y +
x y .
120
120
6
6
com a03 6= 0. Uma condio suficiente para que a curva flecnodal no seja regular na
origem que a40 = 0 e 3a221 2a31 = 0.

Demonstrao. Usando o sistema (2.1), obtemos que a curva flecnodal dada por
H(x, y) = 8a03 a40 x + (8a03 a31 + 12a03 a221 )y + (12a03 a12 a40 18a212 a221 +

12a212 a31 + 12a13 a221 + 24a03 a321 8a13 a31 8a04 a40 )xy + (8a04 a31 + 12a04 a221
8a03 a32 + 18a03 a21 a22 12a03 a12 a31 )y2 + (4a03 a50 18a03 a21 a40 8a13 a40 +
12a212 a40 )x2 + M(x, y) = 0,
onde M(x, y) denota os termos de ordem maior ou igual a trs de x e y. Notemos que
Hx = 8a03 a40

Hy = 4a03 (2a31 3a221 ).

Deste modo, para no termos a hiptese de regularidade, basta fazer a40 = 0 e

3a221 2a31 = 0. Neste caso, pelo lema de Morse, no ponto crtico a curva flecnodal faz
uma cruz ou apenas um ponto.

48

Figura 2.15: Pontos crticos

Faamos um exemplo satisfazendo esta condio de no regularidade, onde

obtemos um ponto de cruz.

Exemplo:Consideremos
1
3
1
z = xy + y3 + y2 x + x2 y x2 y2 + x3 y.
6
2
2
Neste caso a40 = 0, a21 = 2 e a31 = 6. Temos portanto a condio de no regularidade na
origem. Na vizinhana da origem o conjunto de inflexo dado por:

Figura 2.16: Conjunto de inflexo na vizinhana da origem

Observemos que temos um ponto de cruz na origem.

49

CAPTULO 3

Pontos Quadrticos

3.1 Pontos Quadrticos e Inflexes

Este captulo foi baseado em [11]. Alguns resultados desta seo como o
lema 3.3, observao 3.5 e a proposio 3.7 so resultados obtidos pelos autores. Ns
colecionamos aqui alguns fatos sobre pontos quadrticos (ou pontos hiperblicos especiais). No captulo anterior, definimos como ponto hiperblico especial como um ponto de
interseco das curvas F1 e F2 . A seguir damos outra definio para estes pontos. Porm,
no decorrer do texto provamos que ambas so equivalentes. Carregaremos neste captulo
o termo de ponto quadrtico ao invs de ponto hiperblico especial.
Definio 3.1 Um ponto x de uma superfcie em R3 ou RP3 chamado quadrtico se a
superfcie puder ser aproximada por uma qudrica em x at ordem trs.
Identificaremos localmente RP3 com o espao Euclidiano R3 com coordenadas
x=

x1
x0

y=

x2
x0

z=

x3
.
x0

Dada uma superfcie hiperblica S, estas coordenadas podem ser escolhidas de

tal forma que em uma vizinhana de um ponto p esta superfcie dada por
1
1
z = xy + (ax3 + by3 ) + (cx2 y + dxy2 ) + O(4),
(3-1)
3
2
onde a, b, c e d so constantes. De fato, basta escolher as direes assintticas em p como
os eixos x e y.
Lema 3.2 Considerando a forma normal (3-1) , um ponto p quadrtico se, e somente
se, os parmetros a e b so iguais a zero em p.
Demonstrao. Consideremos ento a forma normal (3-1) e a qudrica
b1 xy +

b2 2 b3 2
b6
x + y + b4 xz + b5 yz + z2 + z = 0.
2
2
2

(3-2)

Resolvendo esta ltima equao em z, obtemos:

1

b4 x b5 y 1 + (b24 x2 + 2b4 b5 xy + 2b4 x + b25 y2 + 2b5 y + 1 + 2b1 b6 xy b2 b6 x2 b3 b6 y2 ) 2

.
z1 =
b6
Escrevendo as partes quadrtica e cbica de z1 , e equao da qudrica fica
z=

b2 2
b3
1
x b1 xy y2 + (b5 y + b4 x)(2b1 xy + b2 x2 + b3 y2 ) + O(4).
2
2
2

(3-3)

De (3-1) e (3-3) , temos:

1
1
a b4 b2 3
b b5 b3 3
c b5 b2 2
(1 + b1 )xy + b2 x2 + b3 y2 + (
)x + (
)y + (b4 b1 +
)yx +
2
2
3
2
3
2
2
2
b4 b3 2
d
( b5 b1
)y x = 0.
2
2
Para termos contato de ordem dois, devemos fazer b1 = 1, b2 = b3 = 0. Com
isso, notemos que a parte cbica da qudrica se fatora
xy(b4 x + b5 y).
Gostaramos assim, que a parte cbica da superfcie se fatorasse da forma xy(rx + sy).
Obtemos assim:
c
d
r = , s = , a = b = 0.
2
2
De um modo geral temos:

k1
k2
a1
a2
a
Lema 3.3 Consideremos a forma normal z = cxy+ x2 + y2 + x2 y+ xy2 + x3 +
2
2
2
2
6
b 3
2
y + O(4), com k1 , k2 6= 0 e 4c 6= k1 k2 . Um ponto p quadrtico se, e somente se
6

3k (2ca k1 a2 )

a= 1 2 1
4c k1 k2
3k

2 (a1 k2 2ca2 )
b=
4c2 k1 k2

em p.

Demonstrao. Como foi feito anteriormente, consideremos a qudrica

b1 xy +

b2 2 b3 2
b6
x + y + b4 xz + b5 yz + z2 + z = 0.
2
2
2

Resolvendo esta equao em z obtemos novamente a equao da qudrica como

z=

b2 2
b3
1
x b1 xy y2 + (b5y + b4 x)(2b1 xy + b2 x2 + b3 y2 ).
2
2
2

(3-4)
51

Da forma normal em questo e de (3-4) , obtemos

b3 k2
a b4 b2 3
b b5 b3 3
a1
k1 b2
( + )x2 + ( + )y2 + (
)x + (
)y + (b1 + c)xy + (b4 b1 +
2
2
2
2
6
2
6
2
2
a2
b4 b3 2
b5 b2 2
)yx + ( b5 b1
)y x.
2
2
2
Para termos contato de ordem dois, devemos fazer b1 = c, b2 = k1 e b3 = k2 .
Com isso, notemos que a parte cbica da qudrica se fatora
k1 2
k2
x + cxy + y2 )(b4 x + b5 y).
2
2
Gostaramos assim, que a parte cbica da superfcie se fatorasse na forma
k2
k1
( x2 + cxy + y2 )(rx + sy). Obtemos assim
2
2
(

a = 3k1 r

a = 2cr + k s
1
1

a2 = k2 r + 2cs

b = 3k s.
2

Eliminando r e s ficamos com

donde obtemos

2ca k1 b

a1 =
+
3k1 3k2
k a 2cb

a2 = 2 +
,
3k1 3k2

3k (2ca k1 a2 )

a= 1 2 1
4c k1 k2
3k

2 (a1 k2 2ca2 )
b=
.
4c2 k1 k2

Lema 3.4 Pontos quadrticos so os pontos em que ambas linhas assintticas possuem
inflexo.
1
1
Demonstrao. De fato, consideremos a forma normal z = xy + (ax3 + by3 ) + (cx2 y +
3
2
dxy2 ) + O(4). Pelo lema (3.2), um ponto quadrtico se, e somente se a = b = 0. A
equao das linhas assintticas dada por (x )2 zxx + 2x y zxy + 2(y )2 zyy = 0. Logo:

dx zxy (z2xy zxx zyy ) 2

=
.
dy
zxx

52

Assim,
(I)

x = zxy (z2xy zxx zyy ) 2

y = zxx .

Como zxy (0, 0) = 1, zxx (0, 0) = zyy (0, 0) = 0, temos no ponto (0, 0)
(

x = 2
y = 0.

Derivando a expresso (I) e aplicando novamente no ponto (0, 0), obtemos

(

x = 4c
y = 2a.

Logo, obtemos uma aproximao para a linha assinttica:

x(t) = x(0) + x (0)t + x (0)

t2
t2
+ ... = 2t + (4c a) + ...
2
2

t2
+ ... = at 2 + ...
2
1
1
z(t) = x(t)y(t) + (ax(t)3 + by(t)3) + (cx(t)2 y(t) + dx(t)y(t)2) + ...
3
2
a
Donde obtemos que sua curvatura em (0, 0) dada por k = . De modo anlogo,
2
dy
b
considerando , obtemos k = .

dx
2
Com isso chegamos a equivalncia da definio de ponto quadrtico (ponto hiperblico
especial) do captulo anterior e a definio dada neste captulo.
y(t) = y(0) + y (0)t + y (0)

Observao 3.5 No captulo 1, provamos o teorema de Beltrami-Enneper, que afirma

que o valor absoluto da toro em um ponto de uma curva assinttica, cuja curvatura
no se anula, dada por

| |= K,
onde K a curvatura Gaussiana da superfcie no ponto considerado. Provaremos agora
que o teorema ainda vlido em um ponto de inflexo, ou seja, onde a curvatura zero.
Consideremos a superfcie dada por X (x, y) = (x, y, z(x, y)) onde
1
1
z(x, y) = xy + (0x3 + by3 ) + (cx2 y + dxy2 ) + O(4).
3
2
Pelo lema 3.4, temos que no ponto (0, 0), a curvatura da linha assinttica dada por
a
dx
k = (considerando ). Portanto, se a = 0 temos ponto de inflexo. Continuando com
2
dy
as derivadas do lema anterior, obtemos os termos x (0) e y (0), donde:

53

a
t3
t2
+ [(2c a)2 4c2 2(2c + )2 (a(4d + c))] + ...
2
2
6
3
a
t
y(t) = at 2 + [2a(2c + ) 2ca] + ...
2
6
1
1
3
3
z(t) = x(t)y(t) + (ax(t) + by(t) ) + (cx(t)2y(t) + dx(t)y(t)2) + ...
3
2
Calculando a toro desta curva com a = 0 (ou seja, calculando a toro em um ponto
de inflexo), e fazendo o limite de t 0, obtemos que na origem = 1. Determinemos
x(t) = 2t + [4c a]

agora a curvatura Gaussiana no ponto (0, 0) desta superfcie. Os valores dos termos da
primeira forma fundamental e da segunda forma fundamental em (0, 0) so dados por:
E = 1,

F = 0,

G = 1,

e = 0,

f = 1,

g = 0.

Portanto:
K=

eg f 2
= 1.
EG F 2

Deste modo, obtemos aqui que em um ponto de inflexo | |=

K.

Observao 3.6 Observamos que definimos a toro de uma curva em R3 em um ponto

onde a curvatura zero da seguinte maneira:
Seja t0 um ponto onde k(t0 ) = 0, ou seja, | (t0) (t0) |= 0. Definimos a toro em t0

quando o seguinte limite existir:

[ (t), (t), (t)]

.
tt0 | (t) (t) |2

(t0) = lim

O prximo resultado d uma caracterizao de pontos de inflexo em relao

posio relativa entre linhas geodsicas e linhas assintticas.
Definio 3.7 Consideremos duas curvas dadas nas formas y = f (x) e y = g(x) onde
f , g : I R R so funes de classe C . Seja x0 um ponto interior a I e P0 = (x0 , y0 )
um ponto onde as duas curvas se tocam, isto , y0 = f (x0 ) = g(x0 ). Diz-se que as curvas
tm em P0 um contato de ordem n se as funes e suas derivadas coincidem em x0 at
ordem n 1 mas no na ordem n, isto
f i (x0 ) = gi (x0 ),

i = 0, 1, ..., n 1;

f n (x0 ) 6= gn (x0 ).

Proposio 3.8 Consideremos a superfcie parametrizada X (x, y) = (x, y, z(x, y)), onde
z = xy

y2 a12 2 a21 2
a30 3 a03 3 a22 2 2 a04 4 a40 4 a13 3
+
xy +
x y+
x +
y +
x y +
y +
x +
xy +
2
2
2
6
6
4
24
24
6
a31 3
a41 4
a50 5
x y+
x y+
x + ...
6
24
120
54

e a40 6= 0. Em um ponto de inflexo da linha assinttica ( a30 = 0 ) a linha geodsica

cruza a linha assinttica com contato cbico.

Demonstrao. Da equao das geodsicas temos

1
3
1
2
2
1
2

y (x) = 22 (y ) + (212 22 )(y ) + (11 212 )y 11

y(0) = 0

y (0) = 0.

donde obtemos y (0) = 0.

Notemos que y (x) = F(x, y, y ). Logo y (x) = Fx + Fy y + Fy y , donde obtemos y (0) = 0. Da mesma forma, y (x) = G(x, y, y ). Seguindo com as derivadas obtemos
y(4) (0) = 4a30 = 0,
y(5) (0) = 3a40 6a30 a21 = 3a40 6= 0.
Da equao das linhas assintticas temos:

f + ( f 2 eg) 2

y (x) =
g
y(0) = 0

y (0) = 0.

Notemos que y (x) = H(x, y). Logo, y (x) = Hx + Hy y donde obtemos y (0) =
Do mesmo modo, y (x) = M(x, y). Seguindo com as derivadas obtemos
y (0) =

a30
= 0.
2

(a30 )2
a21 a12
a40 a40
+(
+
)a30 +
=
6= 0.
2
8
2
4
4

Temos portanto contato cbico.

Note que se a30 6= 0 (em um ponto que no de inflexo) a geodsica e a linha

assinttica teriam contato quadrtico. A situao em que a30 6= 0 e a30 = 0 exibida na

figura abaixo.


55

Figura 3.1: a30 6= 0 e a30 = 0 respectivamente

3.2 Caracterizao de Inflexes

Os resultados desta seo foram todos obtidos pelos autores. Nesta seo
caracterizaremos as inflexes de uma superfcie pela curvatura geodsica. Dada uma
parametrizao X : U R2 M, onde M uma superfcie de S3 , as linhas assintticas
so dadas pelas curvas integrais de e(u )2 + 2 f u v + g(v )2 = 0 com
e=

det[X , Xu, Xv, Xuu ]

,
EG F 2

f=

det[X , Xu, Xv , Xuv ]

,
EG F 2

g=

det[X , Xu, Xv, Xvv]

.
EG F 2

Seja (s) = X (u(s), v(s)), onde u e v satisfazem a equao e(u )2 + 2 f u v + g(v )2 = 0.

Derivando em s temos:
= X (u, v) = = Xu u + Xv v = = Xuu (u )2 + 2Xuv u v + Xvv (v )2 + Xu u + Xv v .
Temos que:
Xuu = 111 Xu + 211 Xv + eN EX ,

Xuv = 112 Xu + 212 Xv + f N FX ,

Xvv = 122 Xu + 222 Xv + gN GX .
= = (u )2 (111 Xu + 211 Xv + eN EX ) + 2u v (112 Xu + 212 Xv + f N FX ) +
(v )2 (122 Xu + 222 Xv + gN GX ) + Xuu + Xv v .
= = ((u )2 111 + 2u v 112 + (v )2 122 + u )Xu + ((u)2 211 + 2u v 212 + (v )2 222 +
v )Xv ((u )2 E + 2u v F + (v )2 G)X .
onde j usamos que e(u )2 + 2 f u v + g(v )2 = 0. Analisando as inflexes, onde = 0,
temos que:
(
(u )2 111 + 2u v 112 + (v )2 122 + u = 0
(u )2 211 + 2u v 212 + (v )2 222 + v = 0.
Observamos que as inflexes so vistas na derivada covariante, por isso no acrescentamos o termo de X .
56

Do sistema de equaes acima temos:

d 2v
dv 2
1 dv 3
1
2
1
2 dv
=

(
)
+
(2

)(
)
+
(

2
211 .
22
12
22
11
12 )
2
du
du
du
du

(3-5)

dv
Da equao e(u )2 + 2 f u v + g(v )2 = 0, fazendo p =
, obtemos F(u, v, p) = gp2 +
du
2 f p + e = 0. Deste modo, a equao (3-5) fica:
d 2v
= p = 122 p3 + (2112 222 )p2 + (111 2212 )p 211 .
du2
Da equao F(u, v, p) = 0, temos o campo vetorial

u = 1

v =p

(Fu + pFv )

.
p =
Fp

Deste modo o conjunto de inflexo (curva flecnodal) dado por

1 3
1
2
2
1
2
2
3
2

2(gp + f )[22 p + (212 22 )p + (11 212 )p 11 ] + gv p + (gu + 2 fv )p +

(ev + 2 fu )p + eu = 0

2
gp + 2 f p + e = 0.

Com isso provamos:

Proposio 3.9 Dada uma parametrizao X : U R2 M, onde M uma superfcie

de S3 , a curva flecnodal (curva regular formada pelos pontos de inflexo das linhas
assintticas) de M dada por:

1 3
1
2
2
1
2
2
3
2

2(gp + f )[22 p + (212 22 )p + (11 212 )p 11 ] + gv p + (gu + 2 fv )p +

(ev + 2 fu )p + eu = 0

2
gp + 2 f p + e = 0.
(3-6)
Observemos que em R3 este conjunto obtido coincide com nossa definio
inicial de inflexo, ou seja, o conjunto onde as duas primeiras derivadas so linearmente
dependentes. De fato da equao das linhas assintticas F(u, v, p) = gp2 + 2 f p + e = 0,
temos o campo vetorial associado

u = 1

v =p
Y:

F + pFv

p = ( u
).

Fp

57

Seja (s) = X (u(s), v(s)) uma linha assinttica. Usando o campo Y , e o fato que e+2 f p +
gp2 = 0, temos as derivadas:
= Xu + pXv
= (111 + 2p112 + p2 122 )Xu + (211 + 2p212 + p2 222 + p ))Xv + (gp2 + 2 f p + e)N
= (111 + 2p112 + p2 122 )Xu + (211 + 2p212 + p2 222 + p ))Xv.
Logo, para = 0, devemos ter:

1
1
2 1

11 + 2p12 + p 22 = (I)
211 + 2p212 + p2 222 + p = p (II)

e + 2 f p + gp2 = 0 (III)

Fu + pFv
)), obtemos
Fp
2(gp + f )[122 p3 + (2112 222 )p2 + (111 2212 )p 211 ] + gv p3 +
(gu + 2 fv )p2 + (ev + 2 fu )p + eu = 0.
De (I), (II) e Y (onde p = (

Continuaremos trabalhando apenas com superfcies em que as curvas flecnodais F1 e F2

so regulares.

3.3 Perturbao do Toro

Consideraremos o toro padro T dado por x1 x2 = x0 x3 em RP3 (toro considerado
em [11]). Uma parametrizao do mesmo dada por:
u
v
x0 (u, v) = cos( ) cos( )
2
2

u
v
x1 (u, v) = cos( ) sin( )
2
2

u
v
x2 (u, v) = sin( ) cos( )
2
2
onde (u, v) [0, 2).

u
v
x3 (u, v) = sin( ) sin( )
2
2

(3-7)

Proposio 3.10 As linhas assintticas do toro T dado acima so as curvas coordenadas.

Demonstrao. Os coeficientes da primeira e segunda formas fundamentais com respeito
a N = X Xu Xv so dados por:
1
E(u, v) = ,
4

e(u, v) = 0
1
16

F(u, v) = 0,

f (u, v) =

1
G(u, v) = ,
4

g(u, v) = 0.
58

onde o vetor normal de T dado por

u
v
u
v
u
v
u
v
1
N = (sin( ) sin( ), sin( ) cos( ), cos( ) sin( ), cos( ) cos( )).
4
2
2
2
2
2
2
2
2
Portanto, as linhas assintticas so definidas por dudv = 0.

Descreveremos uma pequena perturbao de T em termos de uma funo duplamente
peridica sobre T2 . Consideramos a superfcie
v) = X (u, v) + h(u, v)N,
X(u,

(3-8)

onde h : T2 R uma funo suave duplamente peridica, um nmero real positivo

suficientemente pequeno e N denota o vetor normal a superfcie. Com suficientemente

pequeno, a famlia de superfcies dada em (3-8) continua suave. Reciprocamente, cada
superfcie M suficientemente prxima de T pode ser representada por uma parametrizao
da forma (3-8).
Teorema 3.11 Consideremos a perturbao (3-8) do toro. Suponhamos que as curvas
huuu + hu = 0 e hvvv + hv = 0 so regulares e que hvv 6= 0. Um ponto com coordenadas
(u, v) = (u0 , v0 ) continua quadrtico em ordem se, e somente se, a condio
(

huuu + hu = 0
hvvv + hv = 0

(3-9)

satisfeita em (u0 , v0 ). Ou seja, para cada soluo (u0 , v0 ) de (3-9), temos um ponto
quadrtico prximo de (u0 , v0 ).
Demonstrao. Determinemos a curva flecnodal da superfcie dada em (3-8). Os coeficientes da primeira e segunda forma fundamental so dados por:
e=
f=

2
1
1 2
(huu ) + (hu hv ) + 3 (
huu h2 +
h h) + O(4),
16
32
256
128 u

1 2 1 2 1 2 2
1
1
+ (huv ) + (
h + hv + hu ) + (
hu hv h
huv h2 )3 + O(4),
16 16
128
64
64
128
256
g=

2
1
1 2 3
(hvv ) + (hvhu ) + (
hvv h2 +
h h) + O(4),
16
32
256
128 v
1
1
1
E = + ( h2u + h2 )2 ,
4
16
64

2
F = h + hv hu ,
8
16
1
1
1
G = + ( h2v + h2 )2 ,
4
16
64
59

onde omitimos por simplicidade o argumento (u, v). Com isso, escrevemos as equaes

1 3
1
2
2
1
2
2
3
2

2(gp + f )[22 p + (212 22 )p + (11 212 )p 11 ] + gv p + (gu + 2 fv )p +

(ev + 2 fu )p + eu = 0

2
gp + 2 f p + e = 0,

que caracterizam a curva flecnodal. Observando que a primeira equao um polinmio

de grau quatro em p e a segunda equao um polinmio de grau dois em p, determinamos o resultant (termo estudado no Apndice) destas duas equaes em p. Do
resultant em p destas duas equaes, obtemos:
[hvv(hvvv + hv )(huuu + hu )] + 2[hvv (huuu + hu )(hhu + 12huv hv 12hvvu hvv )
hvv (hvvv + hv )(12huu huuv + 12hu huv + hhv )

(3-10)

4(huuu + hu )(hu hv + 6hvv huv )(hvvv + hv )] + O(3) + ... = 0.

Observemos que se = 0 na equao acima, obtemos que todos pontos so de inflexo.
Com 6= 0, temos:
[hvv (hvvv + hv )(huuu + hu )] + [hvv(huuu + hu )(hhu + 12huv hv 12hvvu hvv )
hvv (hvvv + hv )(12huu huuv + 12hu huv + hhv )

(3-11)

4(huuu + hu )(hu hv + 6hvv huv )(hvvv + hv )] + O(2) + ... = 0.

Observamos que, com suficientemente pequeno as razes da equao (3-11) esto
prximas das razes da equao
(hvvv + hv )(huuu + hu ) = 0.
Logo, obtemos que os pontos quadrticos esto prximos das razes de
(

huuu + hu = 0
hvvv + hv = 0.


Em [11] foi obtido que os pontos quadrticos so as solues de (3-9). Observamos que
aqui caracterizamos as inflexes pela curvatura geodsica e que para cada soluo (u0 , v0 )
de (3-9) temos um ponto quadrtico prximo de (u0 , v0 ). Obtemos assim que contar pontos quadrticos o mesmo que contar o nmero de solues de (3-9). Procedemos de uma
maneira diferente de [11] e chegamos a mesma conjectura. Localmente temos que a curva
huuu + hu = 0 a curva de inflexo para uma folheao assinttica, e a curva hvvv + hv = 0
60

 a curva de inflexo para a outra folheao assinttica. De fato, consideremos a perturbao do toro dada em (3-8) onde h : T2 R uma funo suave duplamente peridica
e um nmero real positivo suficientemente pequeno. Identifiquemos localmente RP3 e
o espao Euclidiano R3 com coordenadas
x=

x1
,
x0

y=

x2
,
x0

z=

x3
.
x0

Deste modo, usando a parametrizao do toro dada em (3-7), obtemos

v
x = tan ,
2

u
y = tan ,
2

u
v
z = tan .tan .
2
2

(3-12)

obtemos:
Calculando os termos da superfcie perturbada (X),
x =

cos u2 .sen 2v 4 hsen u2 .cos 2v

,
cos u2 .cos 2v + 4 hsen u2 .sen 2v

e de modo similar os termos y e z. Finalmente, obtemos

x = x h.(y + xz) + O(2),

4

y = y h.(x + yz) + O(2),

4

z = xy + h.(1 z2) + O(2 ).

4
Deste modo, obtemos que

z xy = h(1 z2 + x2 + y2 + 2xyz) + O(2 ),

4
1
onde z = xy. Pela expanso de Taylor, ns obtemos a expresso ( 24
hxxx + 14 hx ) para o

termo de x3 , onde as derivadas esto sendo tomadas na origem. Da mesma maneira, temos
1
a expresso ( 24
hyyy + 14 hy ) para o termo de y3 . Portanto, temos o seguinte sistema:
(

1
6 hxxx + hx
1
6 hyyy + hy

=0
= 0.

Aplicando a regra da cadeia em (3-12), temos que

hx = 2hv

hxxx = 8hvvv 4hv ,

e assim o sistema acima exatamente o sistema (3-9).

61

Consideremos agora o toro de Clifford C = S( 1 ) S( 1 ) S3 parametrizado

2

por:

vu
vu
2
2
cos(
)
x1 (u, v) =
sin(
)
x0 (u, v) =
2
2
2
2

2
u+v
2
u+v
x2 (u, v) =
cos(
)
x3 (u, v) =
sin(
)
2
2
2
2
onde C definido em Q = {(u, v) : 0 u 2, 0 v 2}.

Proposio 3.12 As direes assintticas sobre o toro de Clifford dado acima so dadas
por dudv = 0, ou seja, as linhas assintticas so as curvas coordenadas.
Demonstrao. Os coeficientes da primeira e segunda formas fundamentais com respeito
ao vetor normal N = C Cu Cv so dados por
1
E(u, v) = ,
4
F(u, v) = 0,
1
G(u, v) = ,
4
onde o vetor normal de C dado por
N=

e(u, v) = 0
f (u, v) =

1
16

g(u, v) = 0

2
uv
uv
u+v
u+v
(cos(
), sin(
), cos(
), sin(
)).
8
2
2
2
2


Consideremos a seguinte perturbao do toro de Clifford

v) = C(u, v) + h(u, v)N
C(u,

(3-13)

onde h : T2 R uma funo suave duplamente peridica e um nmero real positivo

suficientemente pequeno.

Usando (3-6) para determinar o conjunto de inflexo da superfcie dada por C,

obtemos que um ponto (u, v) continua quadrtico em ordem em se, e somente se, ele
satisfaz:
(
huuu + hu = 0
hvvv + hv = 0

o que era de se esperar j que, toda qudrica hiperblica em RP3 equivalente ao toro T ,
observe [10]. Estudaremos agora alguns casos especiais em que obtemos uma estimativa
para o nmero de solues para o sistema (3-9). No primeiro exemplo abaixo obtemos 8
pontos quadrticos, que acredita-se ser o nmero mnimo.
Exemplo: Seja h = cos(2u v) + cos(2u 2v), onde um nmero real suficiente62

mente pequeno. Temos que:

(

huuu + hu = 0 = 6sen(2u v) + 6sen(2u 2v) = 0

hvvv + hv = 0 = 6sen(2u 2v) = 0.

Resolver este sistema equivalente a resolver o sistema

(

sen(2u v) = 0
sen(2u 2v) = 0

onde este tm 8 solues em [0, 2) [0, 2).

Proposio 3.13 Consideremos a perturbao do toro dada em (3-8), onde h(u, v) da
forma
h(u, v) = F(u) + G(v)
com as funes F(u) e G(v) peridicas. Ento o nmero de pontos quadrticos pelo
menos 16.
Usaremos o teorema de Sturm para provar esta proposio. O teorema de Sturm
fornece um limite inferior para o nmero de zeros de funes 2-peridicas g(x) cuja
expanso de Fourier dada por
g(x) =

(ak cos(kx) + bk sen(kx)),

(3-14)

kn

comeando com harmnicos de ordem n. A prova do seguinte teorema encontrada em

[10].
Teorema 3.14 (Sturm) A funo g(x) dada em (3-14), tem pelo menos 2n zeros distintos
sobre o crculo [0, 2).
Demonstrao. Denotemos por Z( f ) o nmero de mudanas de sinais de f C (S1 ).
Pelo teorema de Rolle, temos que Z( f ) Z( f ). Consideremos D1 o operador definido
por:
Z
(D1 f )(x) =

f (t)dt.

Do teorema de Rolle, temos novamente que: Z( f ) Z(D1 f ). Considerando a sequncia

de funes

gm = (1)m (nD1 )2m g

onde g dado por (3-14), explicitamente,
n
gm (x) = (an cos nx + bn sennx) + ( )2m (ak cos kx + bk senkx).
k>n k

(3-15)
63

Pelo teorema de Rolle, para cada m, temos: Z(g) Z(gm ).

Desde que a srie de Fourier dada em (3-14) converge, temos que
k (a2k + b2k ) < C para alguma constante C. Isto implica que a segunda soma em (3-15)
arbitrariamente pequena para m grande. Segue da que gm tem pelo menos 2n mudanas
de sinal para m grande.

Para provar a proposio (3.13), notemos que os pontos quadrticos esto prximos das solues de
(

F (u) + F (u) = 0
G(v) + G (v) = 0

Escrevendo a srie de Fourier de F e G, como em (3-14), obtemos

F (u) + F (u) = 6a2 sen(2u) 6b2 cos(2u) + 24a3sen(3u) 24b3 cos(3u) + ...
G (v) + G (v) = 6a2 sen(2v) 6b2 cos(2v) + 24a3sen(3v) 24b3 cos(3v) + ...
Pelo teorema de Sturm, F + F = 0 e G + G = 0 tm pelo menos 4 zeros em [0, 2).
Deste modo, temos pelo menos 16 solues em [0, 2) [0, 2).
Proposio 3.15 Se h uma funo da forma:
h = cos(2u)(11cos(2v) + 12 sen(2v)) + sen(2u)(21cos(2v) + 22 sen(2v)),
onde i j so constantes arbitrrias, existe pelo menos 32 pontos distintos sobre o toro
[0, 2) [0, 2) em que o sistema (3-9) satisfeito.
Demonstrao.Neste caso verificamos que o sistema (3-9) equivalente ao sistema:
=

11t + 12
,
21t + 22

22t + 21
12 t + 11

onde = tan(2u) e t = tan(2v). Este sistema 2 peridico, e dele obtemos a equao

(11 12 + 21 22 )t 2 + (222 221 + 212 211 )t (11 12 + 21 22 ) = 0
cujo descriminante estritamente positivo. Da segue que o sistema (3-9) tem duas
solues sobre [0, 2 ) [0, 2 ), e portanto 32 solues sobre [0, 2) [0, 2).


64

CAPTULO 4

Inflexes em Superfcies Regradas

Estudaremos aqui inflexes e a estabilidade de linhas assintticas fechadas em

uma classe de superfcies regradas orientadas. Relembrando que, uma famlia (diferencivel) a 1-parmetro de retas {(s), w(s)} uma correspondncia que associa a cada
s I R um ponto (s) R3 e um vetor w(s) R3 , w(s) 6= 0, tais que ambos (s) e
w(s) sejam diferenciveis em s. Para cada s I, a reta Ls passando por (s) e que gerada
por w(s) chamada a reta da famlia em t.
Dada uma famlia a 1-parmetro de retas {(s), w(s)}, a superfcie parametrizada
X (s, v) = (s) + vw(s),

s I,

v R,

chamada superfcie regrada gerada pela famlia {(s), w(s)}.

4.1 A aplicao de Poincar

Esta seo foi retirada de [12]. A aplicao de Poincar associada a uma rbita
fechada de um campo vetorial um difeomorfismo que definiremos a seguir. Esta
aplicao descreve o comportamento do campo em uma vizinhana de .
Seja ento = {(t, p), 0 t 0 } uma rbita peridica de perodo 0 de um

campo vetorial X de classe Cr , r 1, definido em um aberto R2 . Seja uma seo

transversal a X em p. Em virtude da continuidade do fluxo de X , para todo ponto
q prximo de p a trajetria (t, p) permanece prxima a , com t em um intervalo

compacto pr fixado, por exemplo, [0, 20]. Define-se (q) como o primeiro ponto onde
esta rbita intercepta . Seja 0 o domnio de . Naturalmente p 0 e (p) = p.

Muitas propriedades de X perto de se refletem em . Por exemplo, as rbitas

peridicas de X vizinhas de correspondem aos pontos peridicos de , que so pontos
q 0 para os quais n (q) = q para algum inteiro n 1. O comportamento assinttico

das rbitas de X perto de tambm descrito por . Assim, limn n (q) = p implica
limn d((t, q), ) = 0.
Definio 4.1 Com as notaes acima, a rbita fechada um atrator peridico (ou
ento diz-se orbitalmente estvel) quando limn d((t, q), ) = 0 para todo q em uma
vizinhana de .
Observao 4.2 A seo tomada acima uma hipersuperfcie ou uma subvariedade
diferencivel (n 1)-dimensional do aberto R2 . Pode-se supor que a variedade
um subespao vetorial ou afim de R2 .
Uma expresso para (q) = (0 +((0, q)), q), onde : V R o tempo

(x) que leva a rbita por x em V para interceptar . Em [12] demonstrado que um
difeomorfismo de classe Cr (mesma classe de diferenciabilidade de X ) sobre sua imagem.
Definio 4.3 Sejam um aberto de R2 e X : R2 um campo vetorial de classe C1 .

Uma rbita peridica de X chama-se ciclo limite se existe uma vizinhana V de tal que
uma rbita fechada de X que intercepta V .
Proposio 4.4 Com as notaes da definio acima, existem apenas os seguintes tipos
de ciclos limites:
a) Estvel, quando limtd((t, q), ) = 0 para todo q V ;

b) Instvel, quando limtd((t, q), ) = 0 para todo q V ;

c) Semi-estvel, quando limt d((t, q), ) = 0 para todo q V Ext e
limtd((t, q), ) = 0 para todo q V Int, ou o contrrio.
A demonstrao da proposio 4.4 encontrada em [12]. Com as notaes da
proposio 4.4, temos que um ciclo limite se e s se p um ponto fixo isolado de
(transformao de Poincar associada). Ainda:
a) estvel se e somente se |(x) p| < |x p| para todo x 6= p prximo de p;
b) instvel se e somente se |(x) p| > |x p| para todo x 6= p prximo de p;

c) semi-estvel se e somente se |(x) p| < |x p| para todo x Ext prximo

de p e |(x) p| > |x p| para todo x Int prximo de p, ou o contrrio.
Em particular, se (p) < 1, podemos aplicar o teorema do valor mdio e
concluir que estvel. Por outro lado, instvel se (p) > 1.
Determinaremos a aplicao de Poincar de linhas assintticas fechadas, em
superfcies regradas definidas a seguir.

66

4.2 Inflexes
Os resultados desta seo foram obtidos pelos autores. Consideraremos uma
superfcie regrada orientada definida da seguinte maneira:
Seja : [0, L] R3 uma curva fechada com curvatura k 6= 0 tal que [ , , ] = 1 e
y(4) = k1 k2 .
Definimos a superfcie regrada por
X (s, v) = (s) + v[a(s)(s) + (s)],

(4-1)

onde s [0, L] e v (M, M), com M R.

Observao 4.5 A condio [ , , ] = 1, imposta sobre : [0, L] R3 , significa que

est parametrizada pelo comprimento de arco afim. Qualquer curva fechada com toro
no nula tem esta propriedade.
No que segue em todo captulo, consideraremos a superfcie definida em (4-1).

Nesta seo determinaremos o conjunto de inflexo das linhas assintticas desta

superfcie. Temos que
Xs = (1 + va ) + av + v

Xv = a +

Xvv = 0

Xsv = a + a +

Xss = (va vk1 ) + (1 + 2va k2 v) + av .

Da obtemos que os coeficientes da segunda forma fundamental so dados por;
e = [Xss, Xs, Xv] = 2av + (3aa ak2 a + k1 a3 )v2 ,
f = [Xsv, Xs , Xv] = 1,
g = [Xvv , Xs, Xv] = 0.
dv
Das equaes das linhas assintticas e(s )2 + 2 f s v + g(v )2 = 0, fazendo p = , temos
ds
H(s, v, p) = 2p + e = 0. A equao H(s, v, p) = 0, temos associado o campo vetorial:

s = 1

v =p

(Hs + pHv )

.
p =
Hp

(4-2)

Seja ento (s) = (s) + v(s)(a(s)(s) + (s)) uma linha assinttica de X . Usando o
campo dado em (4-2) temos que:
= (1 + a v + ap) + (p + av) + v
67

 = (a v + 2a p + ap vk1 ) + (1 + 2a v + 2ap + p vk2 ) + (2p + av) .

Determinando as inflexes onde = , R, temos:

1 + a v + ap = (av + 2a p + ap vk1 ) (I)

p + av = (1 + 2av + 2ap + p vk ) (II)

2

v = (2p + av) (III)

2p + e = 0 (IV ).

De (II) e (III):
3 a k2 3 2 k1 3 2 ak2 a 3
(a ) + a a +
+ )v + (a2 + a + apk2 + pa pk1
( aa +
2
2
2
2 2
2
2
3paa k2 + pa3 )v2 + (2ap + 1)v 2p2 = 0 (V )
De (I) e (III):
3 2 1
3
1
3
1
1
( a a + aa k2 a(a )2 ak1 + a3 a + a2 k2 + aa)v3 + (2aa + a +
2
2
2
2
2
2
2
pa2 k2 + apa apk1 3a2 a k1 + pa4 )v2 + (a 2a2 p)v 2p 2ap2 = 0 (V I)
De (IV ) e (V ):
(6(a )2 6aa + 2a k2 + 2a 2k1 + 6a2 a + 2ak2 )v3 + (4a2 + 4a 4k2 )v2
+ 4v = 0 (V II)
De (IV ) e (V I):
(6a2 a + 2aa k2 6a(a )2 2ak1 + 6a3 a + 2a2 k2 + 2aa )v3 + (4aa 4a3 4ak2 )v2 +
4av = 0

(V III)

Notamos que a(V II) = (V III). Assim, o conjunto de inflexo das linhas assintticas desta superfcie dado por:
(6(a )2 6aa + 2a k2 + 2a 2k1 + 6a2 a + 2ak2 )v3 + (4a2 + 4a 4k2 )v2 + 4v = 0.
Observemos que v = 0 no pode ser soluo desta equao, j que estamos supondo que
a curvatura de diferente de zero. Deste modo provamos a seguinte proposio:
Proposio 4.6 Seja : [0, L] R3 uma curva fechada regular com curvatura k 6= 0 tal
que [ , , ] = 1 e y(4) = k1 k2 . Consideremos a superfcie regrada dada por
X (s, v) = (s) + v(a(s)(s) + (s))
onde s [0, L] e v (L, L), com L R. O conjunto de inflexo das linhas de X (u, v)

68

dada por:
(6(a )2 6aa + 2a k2 + 2a 2k1 + 6a2 a + 2ak2 )v2 + (4a2 + 4a 4k2 )v + 4 = 0.

(4-3)

4.3 Linhas Assintticas Fechadas

Baseados no estudo feito sobre estabilidade de linhas assintticas fechadas
realizado em [3], estudamos a estabilidade das linhas assintticas fechadas na superfcie
regrada definida na seo anterior por:
X (s, v) = (s) + v[a(s)(s) + (s)],
onde [ , , ] = 1 e y(4) = k1 k2 . Notemos que, com os termos da segunda forma
fundamental calculados na seo anterior, a equao das linhas assintticas fica
dv
e
v
= = vs = (2a + 3aav avk2 va + vk1 a3 v).
ds
2
2

(4-4)

Deste modo, {v = 0}, (ou seja (s)) uma linha assinttica fechada de
X (s, v) = (s) + v[a(s)(s) + (s)].
Definio 4.7 Seja a aplicao de Poincar associada (s). A curva (s) uma linha
assinttica fechada regular hiperblica se (0) 6= 1. Dizemos que (s) uma linha
assinttica fechada semi-hiperblica se (0) = 1 e (0) 6= 0.
Determinemos as derivadas da aplicao de Poincar associada. Denotemos por v(s, r) a
soluo de (4-4) com condio inicial v(0, r) = r. Temos assim que a aplicao de retorno
de Poincar dada por (r) = v(L, r) onde v = v(s, r). Diferenciando a equao (4-4) em
r e aplicando em v = 0, temos:Z
vsr = vr a(s) = ln(vr ) =

(0) = exp(

Z L

s
0

a(u)du = (r) = exp(

Z s

a(u)du) =

a(s)ds).

Obteremos agora (0). Derivando a equao (4-4) duas vezes em r e aplicando

novamente em v = 0, obtemos:
(vrr )s = avrr (vr )2 (3aa ak2 a + k1 a3 ) = (vrr )s = h(s)vrr + w(s), onde
h(s) = a(s) e w(s) = (vr )2 (3aa ak2 a + k1 a3 ).
Aplicando o mtodo de variao de parmetros (observe [12]), obtemos:
(r) = vrr = [

Z s
0

exp(

Z s
0

h(u)du)w(u)du]exp(

Z s

h(u)du) =

69

(r) = (r)
(0) = [

Z L
0

Z s

w(u)

1
(u)

du =

(s)(3a(s)a(s) a(s)k2(s) a(s) + k1 (s) a(s)3)ds](0).

Z L

Resolveremos primeiro a integral:

exp(

w = a(s)

Z s

a(u)du)a(s)3ds. Fazendo

dv = a(s)exp(

Z s

a(u)du)ds

e integrando por partes, obtemos:

Z L

exp(

Z L

a(u)du)a(s) ds = 2

Z L

exp(

Resolvendo agora a integral

Z L

exp(

Z s
0

w = exp(

Z s

Z s
0

a(u)du)a(s)a(s)ds.

a(u)du)a(s)ds, tambm por partes com

a(u)du) e

dv = a (s)ds,

obtemos:
Z L

Z s

exp(

a(u)du)a (s)ds =

Z L

exp(

Z s
0

a(u)du)a(s)a(s)ds.

Logo, teremos que:

(0) = (0)

Z L
0

(a(s)k2(s) k1 (s))(s)ds.

Logo, provamos:
Proposio 4.8 Seja : [0, L] R3 uma curva fechada regular com curvatura k 6= 0 tal
que [ , , ] = 1 e y(4) = k1 k2 . Consideremos a superfcie regrada dada por
X (s, v) = (s) + v[a(s)(s) + (s)]
onde s [0, L] e v (M, M), com M R. Ento uma linha assinttica fechada
hiperblica se

Z L
0

a(s)ds 6= 0,

e semi-hiperblica se
Z L
0

a(s)ds = 0 e

Z L
0

(a(s)k2(s) k1 (s))(s)ds 6= 0.

70

Temos que as linhas assintticas fechadas desta superfcie so dadas pelos pontos
fixos da aplicao de Poincar, ou seja, (v) = v. Em relao a aplicao de Poincar de
linhas assintticas de superfcies regradas, temos o seguinte resultado geral:
Lema 4.9 Seja X (s, v) = c(s) + vw(s) uma superfcie regrada, onde c : [0, L] R3

uma curva regular fechada. Ento a aplicao de Poincar associada a linha assinttica
fechada c da forma
av
(v) =
bv + 1
com a, b R.
O lema segue dos resultados abaixo.
Observao 4.10 A equao diferencial das linhas assintticas de uma superfcie
regrada da forma:
dv
= a(s)v + b(s)v2,
ds
ou seja, uma equao de Ricatti. Em equaes diferenciais, temos que se v1 , v2 , v3 , v4
so quatro solues linearmente independentes de uma equao de Ricatti, ento a razo
cruzada
(v1 v3 )(v2 v4 )
(v1 v4 )(v2 v3 )
constante. Dadas quaisquer quatro solues linearmente independentes, esta constante
a mesma.
Lembremos que transformaes de Mbius so transformaes do tipo:
T (z) =

az + b
cz + d

com a, b, c, d R e ad bc 6= 0.
Para transformaes de Mbius, temos o seguinte resultado:
Teorema 4.11 Transformaes de Mbius preservam a razo cruzada. Reciprocamente,
dados A = (x1 , x2 , x3 , x4 ) e B = (y1 , y2 , y3 , y4 ) que tm a mesma razo cruzada, existe uma
transformao de Mbius que aplica A em B.
azk + b
Demonstrao. Para a primeira parte deste resultado, faamos T (zk ) =
= wk . Com
czk + d
isso, obtemos
az j + b azi + b (ad bc)(z j zi )
w j wi =

=
.
cz j + d czi + d (cz j + d)(czi + d)
logo:
(w1 w4 )(w3 w2 )
=
(w1 w2 )(w3 w4 )

(adbc)(z1 z2 ) (adbc)(z3 z4 )
(cz1 +d)(cz2 +d) (cz3 +d)(cz4 +d)
(adbc)(z1 z4 ) (adbc)(z3 z2 )
(cz1 +d)(cz4 +d) (cz3 +d)(cz2 +d)

(z1 z4 )(z3 z2 )
.
(z1 z2 )(z3 z4 )
71

Para a segunda parte, suponhamos que

[x1 , x2 , x3 , x4 ] =

(x1 x4 )(x3 x2 ) (y1 y4 )(y3 y2 )

=
= [y1 , y2 , y3 , y4 ] = .
(x1 x2 )(x3 x4 ) (y1 y2 )(y3 y4 )

Consideremos as transformaes 1 e 2 definidas por:

1 (z) =

(x1 x4 )(x3 x4 ) x2 x4

,
(x3 x2 )(z x4 ) x3 x2

2 (z) =

(y1 y4 )(y3 y4 ) y2 y4

.
(y3 y2 )(z y4 ) y3 y2

Temos que,
1 (x1 ) = ,

1 (x2 ) = 1,

1 (x3 ) = 0,

1 (x4 ) = ,

2 (y1 ) = ,

2 (y2 ) = 1,

2 (y3 ) = 0,

2 (y4 ) = .

Assim 1 leva [x1 , x2 , x3 , x4 ] em [, 1, 0, ], e 2 leva [y1 , y2 , y3 , y4 ] tambm em [, 1, 0, ].

Logo 1
2 1 leva (x1 , x2 , x3 , x4 ) em (y1 , y2 , y3 , y4 ), onde estamos usando que inversa e
composta de transformaes de Mbius transformao de Mbius.


Observao 4.12 Uma transformao que preserva a razo cruzada de Mbius. Veja
[7].
Com isso temos:
Teorema 4.13 Seja : [0, L] R3 uma curva fechada com curvatura k 6= 0 tal que
[ , , ] = 1 e y(4) = k1 k2 . Consideremos a superfcie regrada dada por
X (s, v) = (s) + v[a(s)(s) + (s)]
com s [0, L], v (M, M), M R. Suponhamos que
Z L
0

Z L
0

(4-5)

a(s)ds 6= 0 e

(a(s)k2 k1 ) (s)ds 6= 0, onde (r) denota a aplicao de retorno de Poincar de .

Ento, a superfcie (4-5) tm duas linhas assintticas fechadas, ou seja, a aplicao de

Poincar possui dois pontos fixos.
Demonstrao. Pelo o que foi feito acima, temos que a aplicao de Poincar dada por
(v) =

cv
,
bv + 1

(4-6)

e suas derivadas so dadas por

(0) = exp(

Z L
0

a(s)ds) (0) =

Z L
0

(a(s)k2 k1 ) (s)ds.

(4-7)
72

Por outro lado, utilizando a equao (4-6), temos que

(0) = c

(0) = 2cb.

(4-8)

Das equaes (4-7) e (4-8), obtemos:

c = exp(

Z L
0

a(s)ds) e

1
b=
2

Z L
0

(a(s)k2 k1 ) (r)ds.

Determinando os pontos fixos da aplicao de Poincar ((v) = v), obtemos v = 0 e

c1
v=
, onde os termos c e b foram determinados acima.

b
Observao 4.14 No teorema anterior, se semi hiperblica, ou seja, se (0) = 1 e
(0) 6= 0, obtemos apenas uma linha assinttica fechada dada por v = 0, que a prpria
curva .

73

CAPTULO 5

Linhas de Curvatura

Motivados pelos resultados obtidos sobre linhas assintticas do captulo 3,

estudaremos o anlogo para linhas de curvatura. Os resultados da seo 5.1 foram todos
obtidos pelos autores.

5.1 Inflexes de Linhas de Curvatura

Nesta seo, estudaremos inflexes de linhas de curvatura. Seja S S3 (ou R3 )
uma superfcie orientada e X : U R2 S uma parametrizao local de S. Temos que

uma curva regular C em S uma linha de curvatura de S se para todo p C a reta tangente
a C uma direo principal em p.
Temos que a equao diferencial das linhas de curvatura so dadas por
( f E eF)(u )2 + (gE eG)u v + (gF f G)(v )2 = 0.

(5-1)

O discriminante desta equao dado por = 4(EG F 2 )2 (H 2 K), onde H denota

a curvatura mdia e K a curvatura Gaussiana. Suponhamos que p0 = X (q0) (onde
X : U R2 S a imerso) seja um ponto no umblico de S. Logo, > 0. Por
continuidade, existe um aberto U0 U com q0 U0 tal que > 0 para todo q U0 . Deste
modo, a equao dada em (5-1) se decompe em U0 como produto de dois fatores lineares

(A1 du + B1 dv)(A2 du + B2 dv) = 0. Portanto, na vizinhana de pontos no umblicos de

S, possvel decompor a equao diferencial das linhas de curvatura em dois fatores
lineares distintos. Assim, na vizinhana de pontos no umblicos, temos duas folheaes
principais, denotadas por 1 e 2. Chamaremos de L1 a curva de inflexo da folheao
principal 1 e L2 a curva de inflexo da folheao principal 2.
dv
Fazendo p = , a equao (5-1) fica da forma
du
M(u, v, p) = (Fg G f )p2 + (Eg Ge)p + E f Fe = 0.

(5-2)

Assim como obtemos no caso de linhas assintticas, temos os resultados anlo-

gos para linhas de curvatura. Comearemos com a seguinte proposio que caracteriza os
pontos de inflexo das linhas de curvatura em funo de seus coeficientes de uma dada
forma normal.
Proposio 5.1 Consideremos a superfcie parametrizada X (x, y) = (x, y, z(x, y)), onde
k2 y2
a12 2 a21 2
a30 3 a03 3 a22 2 2 a04 4 a40 4
k1 x2
z =
+
+
xy +
x y+
x +
y +
x y +
y +
x +
2
2
2
2
3
3
4
24
24
a41 4
a50 5
a13 3 a31 3
xy +
x y+
x y+
x + ... e k1 6= k2 . Um ponto p um ponto de inflexo
6
6
6
120
das duas linhas de curvatura de X se os parmetros a12 e a21 so iguais a zero em p.
Demonstrao. Da equao M(u, v, p) = (Fg G f )p2 + (Eg Ge)p + E f Fe = 0 onde
dy
p = , temos:
dx
1

y = (Eg eG) ((Eg eG)2 4(Fg G f )(E f eF)) 2

x = 2(Fg G f )

donde obtemos x (0) = 0 e y (0) = 2(k1 k2 ). Derivando a expresso de x obtemos

x (0) = 4a12 (k1 k2 ). Deste modo, na carta (x, y), k = 0 8a12 (k1 k2 )2 = 0
a12 = 0. Escrevendo os termos

z(t) =

x(t) = x(0) + x (0)t + x (0)

t2
+ ...
2

y(t) = y(0) + y (0)t + y (0)

t2
+ ...
2

k1 x(t)2 k2 y(t)2 a12

a21
a30
a03
+
+
x(t)y(t)2 +
x(t)2y(t) +
x(t)3 +
y(t)3 + ...
2
2
2
2
3
3

e calculando a curvatura em R3 tambm obtemos k = 0 a12 = 0.

dx
, obtemos k = 0 a21 = 0.

dy
A seguinte proposio caracteriza os pontos de inflexo da linha de curvatura em relao
a posio entre a linha geodsica e linha de curvatura.
De modo anlogo, considerando

Proposio 5.2 Consideremos a superfcie parametrizada X (x, y) = (x, y, z(x, y)), onde
k1 x2
k2 y2
a12 2 a21 2
a30 3 a03 3 a22 2 2 a04 4 a40 4
z =
+
+
xy +
x y+
x +
y +
x y +
y +
x +
2
2
2
2
3
3
4
24
24
a13 3 a31 3
a41 4
a50 5
xy +
x y+
x y+
x + ..., a13 6= 0 e k1 6= k2 6= 0. Em um ponto de in6
6
6
120
flexo da linha de curvatura (a12 = 0), a linha geodsica cruza a linha de curvatura
com contato cbico.
Demonstrao. Das equaes das geodsicas temos:

2
3
1
2
2
1
2

x (y) = 11 (x ) (11 212 )(x ) (212 22 )x 22

x(0) = 0

x (0) = 0,

75

donde obtemos x (0) = 0. Notemos que x (y) = F(x, y, x ). Logo x (y) = Fx x + Fy +

Fx x , donde obtemos x (0) = 0. Da mesma forma, x (y) = G(x, y, x ). Seguindo com as
derivadas obtemos
x(4) (0) = k2 a12 = 0,
x(5) (0) = k2 a13 6a03 a12 = k2 a13 6= 0.
Da equao das linhas de curvatura temos

p
(Eg

Ge)

(Eg Ge)2 4(E f Fe)(Fg G f ) 1

}
x (y) = {
2(Fg G f )
x(0) = 0

x (0) = 0

Notando que x (y) = H(x, y), teremos que x (y) = Hx x + Hy , donde obtemos x (0) =
a12
= 0. Seguindo com as derivadas, obtemos
k1 k2
x (0) =

a13
6= 0.
k1 k2

Temos assim, contato cbico. Note que se a12 6= 0 (em um ponto que no de inflexo) a

geodsica e a linha de curvatura teriam contato quadrtico.

Figura 5.1: a12 6= 0 e a12 = 0 respectivamente


Da mesma maneira que fizemos para linhas assintticas, caracterizaremos agora
o conjunto de inflexo das linhas de curvatura pela curvatura geodsica.
Seja X : U R2 S , onde S uma superfcie de S3 . As linhas de curvatura so

76

determinadas pela equao

( f E eF)(u )2 + (gE eG)u v + (gF f G)(v )2 = 0,
com
e=

det[X , Xu, Xv, Xuu ]

,
EG F 2

f=

E =< Xu, Xu >,

Fazendo p =

det[X , Xu, Xv , Xuv ]

,
EG F 2

F =< Xu , Xv >,

g=

det[X , Xu, Xv, Xvv]

,
EG F 2

G =< Xv , Xv > .

dv
, esta equao fica da forma
du
M(u, v, p) = (Fg G f )p2 + (Eg Ge)p + E f Fe = 0.

(5-3)

Da equao (5-3), temos o campo vetorial Y dado por

u = 1

v =p
Y:

Mu + pMv

)
p = (
Mp

associado. Seja (s) = X (u(s), v(s)) uma linha de curvatura. Temos que = Xu u + Xv v
e = Xuu (u )2 + 2Xuv u v + Xvv (v )2 + Xu u + Xv v . Tendo que
Xuu = 111 Xu + 211 Xv + eN EX
Xuv = 112 Xu + 212 Xv + f N FX

Xvv = 122 Xu + 222 Xv + gN GX

obtemos:
= ((u )2 111 + 2u v 112 + (v )2 122 + u )Xu + ((u )2 211 + 2u v 212 + (v )2 222 + v )Xv +
((u )2 e + 2u v f + (v )2 g)N ((u )2 E + 2u v F + (v )2 G)X = 0,
donde, lembrando que as inflexes ( = 0) so vistas na derivada covariante:
(
De p =

(u )2 111 + 2u v 112 + (v )2 122 + u = 0

(u )2 211 + 2u v 212 + (v )2 222 + v = 0.

dv
e do ltimo sistema de equaes, temos:
du
d 2v
= p = 122 p3 + (2112 222 )p2 + (111 2212 )p 211 .
du2

(5-4)

+pMv )
De p = (Mu M
e da equao (5-4), obtemos o conjunto de inflexo das linhas de
p

77

curvatura:
(

M p (122 p3 + (2112 222 )p2 + (111 2212 )p 211 ) + Mu + pMv = 0

(Fg G f )p2 + (Eg Ge)p + E f Fe = 0.

Com isso provamos:

Proposio 5.3 Seja X : U R2 S , onde S uma superfcie de S3 . O conjunto de
inflexo das linhas de curvatura de S dado por
(

M p (122 p3 + (2112 222 )p2 + (111 2212 )p 211 ) + Mu + pMv = 0

(Fg G f )p2 + (Eg Ge)p + E f Fe = 0.

(5-5)

onde M(u, v, p) = (Fg G f )p2 + (Eg Ge)p + E f Fe.

Poderia ocorrer do conjunto de inflexo obtido acima ser vazio. Como no caso
de inflexes de linhas assintticas, estaremos supondo aqui que as curvas de inflexo das
linhas de curvatura (conjunto obtido acima) so curvas regulares. Vale ressaltar que para
linhas de curvatura, o conjunto obtido acima no o mesmo se procurssemos inflexes
onde = 0, ou seja, onde as duas primeiras derivadas so linearmente dependentes.
No caso de linhas assintticas, temos a equivalncia (em R3 ) entre o conjunto de inflexo
obtido pela curvatura geodsica e o conjunto obtido onde as duas primeiras derivadas
so linearmente dependentes, onde este fato foi demonstrado no captulo 3. Considerando
esta caracterizao de inflexes pela curvatura geodsica, consideraremos o toro T cuja
imerso dada por:
v u
u v
x0 (u, v) = cos( ) cos( + )
2 2
2 2

v u
u v
x1 (u, v) = cos( )sen( + )
2 2
2 2

v u
u v
v u
u v
x2 (u, v) = sen( ) cos( + )
x3 (u, v) = sen( )sen( + )
(5-6)
2 2
2 2
2 2
2 2
onde (u, v) [0, 2). Da mesma forma que foi feito no captulo anterior, consideraremos
a pertubao
v) = X (u, v) + h(u, v)N,
X(u,
(5-7)
onde h : T2 R uma funo suave duplamente peridica, um nmero real positivo suficientemente pequeno e N o vetor normal a X . Comeamos com a seguinte proposio:

Proposio 5.4 As linhas de curvatura do toro T dado acima (por 5-6) so as curvas
coordenadas.

78

Demonstrao. De fato, os coeficientes da primeira e segunda formas fundamentais com

respeito a N = X Xu Xv so dados por:
1
E(u, v) = ,
2

1
e(u, v) = ,
4

F(u, v) = 0,

f (u, v) = 0,

1
G(u, v) = ,
2

1
g(u, v) = .
4


Determinemos agora o conjunto de inflexo da superfcie dada em (5-7). Os

coeficientes da primeira e segunda forma fundamental so dados por:
1
1
1
1
1 1
+ (huu ) + 2 ( h2 + h2u ) + 3 ( h2u h huu h2 ) + O(4),
4 4
8
4
8
16
1
1
1
f = (huv ) + 3 ( hv hu h huv h2 ) + O(4),
4
8
16
1 1
1
1
1
1
g = + (hvv ) + 2 (h2v + h2 ) + 3 ( h2v h hvv h2 ) + O(4),
4 4
4
2
8
16
1 1
1
1
E = h + 2 ( h2 + h2u ),
2 2
8
4
1
F = 2 hu hv ,
4
1 1
1
1
G = + h + 2( h2 + h2v ).
2 2
8
4
onde por simplicidade omitimos o argumento (u, v) nos termos acima. Com isso, escrevemos as equaes
e=

M p (122 p3 + (2112 222 )p2 + (111 2212 )p 211 ) + Mu + pMv = 0

(Fg G f )p2 + (Eg Ge)p + E f Fe = 0,

(5-8)

dv
onde M(u, v, p) = (Fg G f )p2 + (Eg Ge)p + E f Fe, e p = .
du
Notemos que a primeira equao um polinmio de grau trs em p e a segunda
um polinmio de grau dois em p. Aplicando o resultant em p (termo definido no
Apndice) nestas duas equaes obtemos:
[huv (huuv +hv )(hvvu +hu )]+2 [huv (hvvu +hu )(2hvvu huv +huv huuu +hhv 2huu hv +hv hvv )
+ (huuv + hv )(2h2uv huuv + hvvv h2uv 2hu huv hvv + hu huv huu + hu huv h)+

(5-9)

(hvvu + hu )(huuv + hv )(3hvv huv + 3huu huv + 2hhuv + hu hv )] + O(3) + ... = 0.

79

Com = 0 temos que todos pontos so de inflexo. Se 6= 0, a equao (5-9) se fatora:

[huv (huuv +hv )(hvvu +hu )]+[huv (hvvu +hu )(2hvvu huv +huv huuu +hhv 2huu hv +hv hvv )
+ (huuv + hv )(2h2uv huuv + hvvv h2uv 2hu huv hvv + hu huv huu + hu huv h)+

(5-10)

(hvvu + hu )(huuv + hv )(3hvv huv + 3huu huv + 2hhuv + hu hv )] + O(2) + ... = 0.

Observamos que, com suficientemente pequeno as razes da equao (5-10) esto prximas das razes da equao
huv (huuv + hv )(hvvu + hu ) = 0.
Com isto, provamos o seguinte resultado:
Teorema 5.5 Consideremos a pertubao (5-7) do toro. Suponhamos que as curvas
huuv + hv = 0 e hvvu + hu = 0 so regulares e que huv 6= 0. Um ponto com coordenadas
(u, v) = (u0 , v0 ) continua um ponto de dupla inflexo para as folheaes principais em
ordem se, e somente se, a condio
(

huuv + hv = 0
hvvu + hu = 0

(5-11)

satisfeita em (u0 , v0 ). Ou seja, para cada soluo (u0 , v0 ) de (5-11), temos um ponto de
dupla inflexo prximo de (u0 , v0 ).
Observao 5.6 Acreditamos que o nmero solues de
(

huuv + hv = 0
hvvu + hu = 0

(5-12)

pelo menos quatro. Um exemplo em que acreditamos ter o nmero mnimo dado
considerando a funo duplamente peridica h : T2 R definida por h(u, v) = F(u) +
G(v). Para esta funo temos:
(

huuv + hv = 0
=
hvvu + hu = 0

G (v) = 0
F (u) = 0.

(5-13)

Pelo teorema 3.14 (Teorema de Sturm), o sistema acima tem pelo menos quatro solues
em [0, 2) [0, 2).
Aqui temos que localmente a curva huuv + hv = 0 a curva de inflexo para uma folheao
principal e a curva hvvu + hu = 0 a curva de inflexo para a outra folheao principal.
80

Lembremos que, quando trabalhvamos com linhas assintticas, a condio para que um
ponto continuasse quadrtico em ordem era:
(

huuu + hu = 0
hvvv + hv = 0.

Assim, podemos relacionar as curvas de inflexo das linhas assintticas e das linhas de
curvatura.

Observao 5.7 O nmero de pontos de interseco de uma curva de inflexo de uma

folheao principal com uma curva de inflexo de uma folheao assinttica em uma
superfcie hiperblica fechada em RP3 contado pelas solues dos sistemas:
(I)

(
(

(III)

huuv + hv = 0
;
huuu + hu = 0
hvvu + hu = 0
;
hvvv + hv = 0

huuv + hv = 0
;
hvvv + hv = 0
(
hvvu + hu = 0
(IV )
huuu + hu = 0.

(II)

As solues dos sistemas (I) e (III) podem ser vistos como pontos crticos de uma funo
de T2 em R, ou seja:
(I)

(huu + h)v = 0
(huu + h)u = 0

(III)

(hvv + h)u = 0
(hvv + h)v = 0.

(huu + h), (hvv + h) : T2 R. Para estes sistemas usamos o resultado que afirma que para
uma funo de T2 em R, o vetor gradiente se anula pelo menos trs vezes. Portanto para
(I) e (III), temos pelo menos trs solues. Acreditamos que o nmero de solues de
(II) e (IV ) pelo menos oito.
Vejamos um exemplo.
Exemplo: Consideremos a funo duplamente peridica h : T2 R dada por h(u, v) =
F(u) + G(v). Temos que:
(

huuv + hv = 0
huuu + hu = 0

G (v) = 0
F (u) + F (u) = 0

que tem pelo menos oito solues em [0, 2) [0, 2) pelo teorema 3.14 (Teorema de
Sturm). De modo anlogo, cada sistema
(

hvvu + hu = 0
=
hvvv + hv = 0

F (u) = 0
G (v) + G (v) = 0
81

huuv + hv = 0

hvvu + hu = 0

hvvv + hv = 0

huuu + hu = 0

G (v) = 0

F (u) = 0

G (v) + G (v) = 0
F (u) + F (u) = 0

tem pelo menos oito solues em [0, 2) [0, 2).

5.2 Pontos Umblicos

Estudaremos nesta seo o comportamento das linhas de curvatura e das curvas
de inflexo prximo de pontos umblicos. Para isso, usaremos a parametrizao
(u, v) 7 (u, v, z(u, v)), onde z(u, v) dado por:
a
b
b
c
k
z(u, v) = (u2 + v2 ) + u3 + uv2 + u2 v + v3 +
2
6
2
2
6

(5-14)

A 4 B 3
C
D
E
u + u v + u2 v2 + uv3 + v4 + O((u, v))
24
6
4
6
24
onde O((u, v)) denota os termos de ordem superior a quatro em u e v. Nos clculos que
faremos, consideraremos o termo b = 0. Isto conseguido por meio de uma rotao
adequada do plano (u, v). Lembremos que da equao das linhas de curvatura, fazendo
dv
p = , obtemos
du
M(u, v, p) = (Fg G f )p2 + (Eg Ge)p + E f Fe = 0,

(5-15)

onde:
B
D
Fg G f = bv ( )u2 (C k3 )uv ( )v2 + M13 (u, v)
2
2
CA
E C
Eg Ge = (b a)u + cv + (
+ k3 )u2 + (D B)uv + (
k3 )v2 + M23 (u, v)
2
2
B
D
E f Fe = bv + u2 + (C k3 )uv + v2 + M33 (u, v).
2
2
Observao 5.8 Considerando a superfcie M(u, v, p) = 0 dada em (5-15), temos:
Mu (0, 0, 0) = 0

Mv (0, 0, 0) = b

M p (0, 0, 0) = 0

du
), observamos que a condio de regularidade desta
dv
superfcie dada pela condio b(b a) 6= 0.

Considerando a carta (u, v; q =

82

Associado equao (5-15) temos o campo vetorial:

u = Mp
Y:
v = pM p

p = (Mu + pMv ).

(5-16)

du
Obtemos uma expresso similar para a carta (u, v; q =
). As projees das
dv
curvas integrais de Y por (u, v, p) = (u, v) so as linhas de curvatura. As singularidades
de Y so dadas por (0, 0, pi ), onde os pi so razes da equao p(bp2 cp + a 2b) = 0.
Assumindo as condies de regularidade (b 6= 0), as singularidades de Y esto sobre o
eixo p com as coordenadas:

c
p1,2 =

2b

p0 = 0,

c 2 a
) + 2.
2b
b

(5-17)

Antes de fazermos a anlise das inflexes prximo dos pontos umblicos, vamos ao
seguinte resultado, que pode ser encontrado em [3]:
Proposio 5.9 Consideremos a superfcie X (u, v) = (u, v, z(u, v)) onde z(u, v) dado em
c 2
) ab + 2].
(5-14) e a condio de regularidade b(b a) 6= 0. Chamemos de = [( 2b
Determinando as condies de hiperbolicidade das singularidades (5-17) do campo
vetorial Y , temos as equivalncias:
D1 ) > 0, D2 ) < 0 e 1 <
D1 ) temos uma nica sela;
D2 ) um nico n entre duas selas;
D3 ) trs selas.

a
b

6= 2,

D3 )

a
b

< 1, onde

Demonstrao. Analisemos o primeiro caso D1 . Como > 0, temos apenas um ponto

singular, P0 = (0, 0, 0), cujos autovalores no nulos associados so:
(

1 = ba

2 = a 2b.

c 2
De ( 2b
) ab + 2 < 0 temos

0<(

c 2
a
a
) + 2 < = > 0. (I)
2b
b
b

Portanto, a e b tm o mesmo sinal. Da mesma inequao, multiplicando de ambos os lados

por (2b)2, obtemos:
4b(2b a) < 0, (II)
o que nos d que b e 2b a tm sinais opostos.
Se b > 0, de (I) a > 0 e de (II) 2b a < 0 = a 2b > 0 = a > 2b > b > 0
83

 1
2 < 0.
= b a < 0. Temos assim ponto de sela, pois

Se b < 0, de (I) a < 0, e de (II) 2b a > 0 = a 2b < 0 = a < 2b < b < 0 =

a b < 0 = b a > 0. Logo, neste caso tambm temos ponto de sela. Segue portanto o
caso D1 .
No caso D2 , como < 0, temos trs ponto singulares. Os pontos singulares so:
P0 = (0, 0, 0) P1 = (0, 0, p1) P2 = (0, 0, p2 )
r
r
c
a
c 2 a
c
c
( ) + 2 e p2 =
+ ( )2 + 2. Os autovalores no nulos
onde p1 =
2b
2b
b
2b
2b
b
associados a P0 so:
(

1 = ba

2 = a 2b.

Os autovalores no nulos associados a P1,2 so:

(

1 = a 3b cp

2 = 4b 2a + cp.

Fazendo o produto 1 2 e usando a equao bp2 cp 2b + a = 0, obtemos:

1 2 = (1 + p2 )b(a 2b bp2).

(5-18)

I) Suponhamos que:
(

b<0
=
a 2b > 0

1 = ba > 0

2 = a 2b > 0,

ou seja, suponhamos que P0 seja um n hiperblico. De (5-18), obtemos 1 2 < 0. Logo

P1 e P2 so pontos de sela. De modo anlogo, supondo b > 0 e a 2b < 0, ou seja,
supondo novamente P0 ponto de n, obtemos novamente em (5-18) 1 2 < 0. Portanto,
supondo P0 ponto de n, obtemos que P1 e P2 so pontos de sela. Observando o polinmio
de singularidades
bp2 cp 2b + a = 0,
a 2b
temos p1 p2 =
< 0, donde p1 e p2 tm sinais opostos, donde o ponto de n est
b
entre as duas selas.

84

II) Suponhamos agora que:

(

b<0
=
a 2b < 0

1 = ba > 0

2 = a 2b < 0,

ou seja, suponhamos que P0 seja ponto de sela. Novamente do polinmio das singularidades
bp2 cp 2b + a = 0,

a 2b
> 0, donde p1 e p2 tm o mesmo sinal. Suponhamos c < 0.
temos que p1 p2 =
b
Temos assim que p2 > p1 > 0. Da equao (5-18), temos 1 2 < 0 se, e somente se,
a 2b > bp2 , ou seja:

p1 p2 < p2 .

(5-19)

Se p = p1 , de (5-19) p2 < p1 , o que uma contradio. Logo p = p2 , ou seja, p2 o outro

ponto de sela. Se c > 0 temos p1 < p2 < 0. Usando novamente (5-19), obtemos neste caso
que o outro ponto de sela p1 . Segue de modo anlogo se considerarmos o caso em que
b > 0 e a 2b > 0.
Neste caso temos portanto sempre um ponto de n entre duas selas. Analisemos o ltimo
caso D3 .
I) Suponhamos primeiro que b > 0. Da 2b > b e b > a. Portanto:
2b > b > a = a 2b < 0 e

b a > 0.

Portanto, P0 ponto de sela. De (5-18), P1 e P2 tambm so pontos de sela.

II) Suponhamos agora que b < 0. Logo 2b < b e b < a. Portanto:
2b < b < a = a 2b > 0 e

ba < 0

o que nos d que P0 ponto de sela. De (5-18), obtemos novamente que P1 e P2 tambm
so pontos de sela.


85

Figura 5.2: Linhas de curvatura na vizinhana de pontos umblicos Darbouxianos

Considerando ainda a superfcie dada por X (u, v) = (u, v, z(u, v)) onde z(u, v)
dado em (5-14), obteremos o comportamento da curva de inflexo das linhas de curvatura
prxima de pontos umblicos. Este estudo foi realizado pelos autores. Os termos da
primeira e segunda formas fundamentais desta superfcie so dados por:
1
1
1
1
1
1
1
e = Ak2 u4 Bk2 u3 v ak2 u3 + ( Ck2 Ak2 )u2 v2 + ( k3 + A)u2
4
2
2
4
4
2
2
1
1
1
1
1
Bk2 uv3 ak2 uv2 + Buv + au Ck2 v4 + ( k3 + C)v2 + k + O(5);
2
2
4
2
2
1
1
1
1
1
1
f = bv +Cuv + Dv2 + Bu2 bvk2 u2 bv3 k2 Bk2 u4 Cvk2 u3
2
2
2
2
4
2
1
1
1
1
+( Dk2 Bk2 )v2 u2 Cv3 k2 u Dv4 k2 + O(5);
4
4
2
4
1
1
1
1 2 1 2 3 1 2 2 1 2 2
g = k+bu+cv+( k3 + C)u2 +Duv+( k3 + E)v
bk u cvk u bk v u
2
2
2
2
2
2
2
1
1
1
1 2 1 2 2 2 1 2 3
1 4 2
cv3 k2 Ck2 u4 Dk2 vu3 + ( Ek
Ck )v u Dk v u Ev
k + O(5);
2
4
2
4
4
2
4
1
1
1
1
E = 1 + k2 u2 + ku3 a + kubv2 + ( kA + a2 )u4 + b2 v4 + kuDv3 +
3
4
4
3
1
(kC + ba)u2v2 + ku3 Bv + O(5);
2
1
1
1
1
1
1
1
F = k2 uv + (kb + ka)vu2 + kcv2 u + bv3 k + kBu4 + ( kA + ba + kC)vu3
2
2
2
6
6
2
2
1
1
1
1
1
1
1
1
+( kB + ac + ( kD)v2 u2 + ( kC + b2 + k)v3 u + ( kD + bc)v4 + O(5);
2
4
2
2
2
6
6
4

86

1
1
G = 1 + k2 v2 + 2kubv2 + kv3 c + ( k + c2 )v4 + (kC + b2 )u2 v2 +
3
4
1
(kD + bc)v3 u + ku3 Bv + O(5).
3
Com isto, obtemos que o conjunto de inflexo
(

M p (122 p3 + (2112 222 )p2 + (111 2212 )p 211 ) + Mu + pMv = 0

M(u, v, p) = (Fg G f )p2 + (Eg Ge)p + E f Fe = 0 ,

onde p =

(5-20)

dv
, dado por:
du
v(au2 2bu2 vuc + bv2 ) + O(4) = 0.

(5-21)

Obtemos este conjunto fazendo o resultante dos dois polinmios em p de (5-20). Observemos a semelhana entre o conjunto de inflexo obtido e o polinmio das singularidades
p(a 2b cp + bp2 ) = 0.
No que segue, escreveremos o conjunto de inflexo e as separatrizes como
v = up + u2
(onde p = 0 ou

p=
2b

c 2 a
) + 2), com o objetivo de distinguir estas duas
2b
b

curvas.
Determinemos primeiro as separatrizes.

Substituindo v = up + u2 na equao diferencial das linhas de curvatura

(Fg G f )(dv)2 + (Eg Ge)dudv + (E f Fe)(du)2 = 0,
obtemos:
10p2 b 3p3C 3p2 B p4 D + 6pc pA + 3pC + 3Dp2 + p3 E + 6b 4a + B = 0
Temos ento:
=

1 B + p4 D + (E + 3C)p3 + (3B 3D)p2 + (A 3C)p

.
2
5p2 b 3pc 3b + 2a

Obtemos assim o termo de grau dois da separatriz (horizontal). Anlise anloga considerando u = vp + v2 .
Para o conjunto de inflexo, faamos v = pu + u2 e consideramos os termos de grau

87

quatro da equao dada em (5-21), ou seja:

v(au2 2bu2 vuc+bv2 ) +vu3 (14b2C +2a2C 6b2 A 14abC +4acB +4abA +2abk3 +
4b2 k3 2a2 k3 6bcB) + v3 u(2abk3 + 8bcD 2b2 k3 2c2C + 2abC + 2c2 k3 + 2bcB
+ u2 v2 (3bcA + 3bcC + 3a2 D + 3abB + 6bck3 3b2 B
4b2C 4acD + 4b2 A 2b2 E)
15abD 3c2 B + 12Db2 ) + u4 (abB a2 B) + v4 (c2 D bcE 7Db2 2bck3 + 5bcC +
4b2 B + 3abD) + O(5) = 0.

Substituindo v = pu + u2 na equao acima e resolvendo em , obtemos:

1
=
[a2 B baB + (14b2C + 6bcB 4acB 4baA +
2
2b(b + a)(a 2b 2pc + 3p b)
6b2 A 2bak3 4b2 k3 2a2C + 2a2 k3 + 14baC)p + (3bcC 6bck3 + 3bcA 12b2 D
3a2 D + 3Bb2 + 3c2 B + 15baD 3baB)p2 + (4Bb2 5bcC 3baD + 2bck3 + 7b2 D +
bcE c2 D)p4 + (2bak3 4b2 A 2bcB + 4acD + 2b2 k3 8bcD 2c2 k3 + 4b2C + 2b2 E +
2c2C 2baC)p3 ].

Deste modo, a curva de inflexo se distingue das separatrizes umblicas se o

polinmio em p
2(a b)2B
p
L(p) =
+
[216b5C + 8a5 k3 8a5C
(2a 3b)(a 2b)b 2b(a b)(a 2b)2(2a 3b)2
96b5 A + 90a3 k3 b2 48a4 k3 b + 685b3Ca2 221b3 a2 A + 91b2 a3 A 363a3Cb2 + 72b5 k3

195Bb2ca2 + 69a3 bBc 96Bb4 c 22a2 k3 b3 14ba4A 8a4 Bc 618b4Ca + 90a4Cb +

238b4 Aa 96b4k3 a + 228Bb3ca]
r
c
a
c
( )2 + 2.
no se anula para p = 0 ou p =
2b
2b
b
Temos portanto:
Proposio 5.10 Consideremos a superfcie X (u, v) = (u, v, z(u, v)) onde z(u, v) dado
em (5-14). Suponhamos que b(b a)(2a 3b) 6= 0. Nos termos acima, temos que uma
condio suficiente para que a curva de inflexo se distingue das separatrizes umblicas
que o polinmio
2(a b)2B
p
L(p) =
+
[216b5C + 8a5 k3 8a5C
(2a 3b)(a 2b)b 2b(a b)(a 2b)2(2a 3b)2
96b5 A + 90a3 k3 b2 48a4 k3 b + 685b3Ca2 221b3 a2 A + 91b2 a3 A 363a3Cb2 + 72b5 k3
195Bb2ca2 + 69a3 bBc 96Bb4 c 22a2 k3 b3 14ba4A 8a4 Bc 618b4Ca + 90a4Cb +
238b4 Aa 96b4k3 a + 228Bb3ca],
r
c
c
a
no se anule para p = 0 ou p =
( )2 + 2.
2b
2b
b

Para o ponto singular p = 0, a condio dada acima se reduz a

(a b)2B
6= 0.
(2a 3b)(a 2b)b
88

Observemos que esta anlise foi feita nos termos de grau dois das separatrizes e nas inflexes. Caso obtenhamos que estes termos so iguais nas duas curvas, devemos calcular
os termos de ordem maior para determinar onde elas se distinguem (se houver distino).
Como estamos interessados no comportamento local, calculamos apenas os termos de
ordem dois.

89

Referncias Bibliogrficas

[1] DO CARMO, M. P. Diferential Geometry of Curves and Surfaces. Prentice-Hall,

1976.
[2] EISENHART, L. P. A treatise on the differentie geometry of curves and surfaces.
New York, Dover, 1909.
[3] GARCIA, R; SOTOMAYOR, J.

a Qualitative Theory.

Differential Equations of Classical Geometry,

Publicaes Matemticas, 27 Colquio Brasileiro de

Matemtica, IMPA, 2009.

[4] GARCIA, R; SOTOMAYOR, J. Tori embedded in S3 with dense asymptotic lines.
An. Acad. Bras de Cienc., 81(1):13-19, 2009.
[5] GARCIA R., J. S; GUTIERREZ, C. Structural atability of asymptotic lines on

surfaces immersed in R3 . B. Sci. Math., 123:599-622, 1999.

[6] GRADSHTEYN; RYZHIK. Table of Integrals, Series and Products. Academic
Press, 1965.
[7] KATOK, S. Fuchsian groups. Chicago, London, Univ. of Chicago, 1992.
[8] LIMA, E. L. Curso de Anlise Vol.2. Projeto Euclides, IMPA, 2008.
[9] MONTESINOS, A.

Softwares encontrados na pgina pessoal. Universitat de

Valencia, www.uv.es/montesin/, 2009.

[10] OVSIENKO, V; TABACHNIKOV, S. Projective Differential Geometry Old an New.
Cambridge Univ. Press, 2005.
[11] OVSIENKO, V; TABACHNIKOV, S. Hyperbolic Carathodory Conjecture. Proceedings of the Steklov Institute of Mathematics, 258, pp.178-193, 2007.
[12] SOTOMAYOR, J. Lies de Equaes Diferenciais Ordinrias. Projeto Euclides,
CNPq, IMPA, 1979.

[13] THOM; KERGOSIEN. Sur les points paraboliques des surfaces. C.R. Acad. Sci.
Paris, 290 Sr. 705-710, 1980.
[14] URIBE, R. A Projective Invariant for Swallowtails and Godrons, and Global

Theorems on the Flecnodal Curve. Moscow Math. J.6,731-768, 2006.

91

APNDICE A

Em vrios momentos no texto usamos o resultant de dois polinmios. Estudaremos aqui um poco sobre este termo.
Definio A.1 Dado um polinmio p(x) = an xn +an1 xn1 +... +a1x+a0 de grau n com
razes i , i = 1, ..., n, e um polinmio q(x) = bm xm + bm1 xm1 + ... + b1 x + b0 de grau m
com razes j , j = 1, ..., m, o resultant (p(x), q(x)) entre os polinmios p(x) e q(x)
dado por:
n

n
(p(x), q(x)) = am
n bm (i j ).
i=1 j=1

Notemos assim, que quando estamos calculando o determinante de dois

polinmios estamos eliminando variveis. No texto, calculamos o resultant entre um
polinmio de grau trs e um polinmio de grau dois. Consideremos ento os polinmios:
p(x) = ax3 + bx2 + cx + d

q(x) = ex2 + f x + g.

O resultant entre estes dois polinmios dado por:

(p(x), q(x)) = eb2 g2 2e2 bgd bg2 a f + e3 d 2 + 3eda f g f ecbg f e2 cd + f 2 cag +
eb f 2 d a f 3 d + ge2 c2 2ecag2 + a2 g3

O resultant entre dois polinmios obtido usando o programa matemtico maple, com
o comando:
resultant(p(x), q(x), x).