Universidade Federal de Minas Gerais

Instituto de Ciencias Exatas

Departamento de Matematica

Maximos locais versus maximos globais

Alberto B. Sarmiento
sarmiento@mat.ufmg.br

Maximos locais versus maximos globais

Sum
ario
1 Introdu
c
ao

1.1

Maximos e Mnimos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2

A Questao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2 Folhea
c
oes e transversalidade
2.1

2.2

11

Folheacoes definidas por submersoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

11

2.1.1

Componentes de Reeb . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

17

Transversalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

17

3 M
aximos globais vs. Componentes de Reeb

20

3.1

Curvas em posicao geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

20

3.2

Prova do teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

23

3.3

Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

25

Refer
encias

25


SUMARIO

ii

Pref
acio
Estas notas foram escritas para servir de referencia para o minicurso M
aximos locais versus m
aximos
globais, apresentado na primeira Bienal da Sociedade Brasileira de Matematica, realizado no Departamento de Matematica da UFMG de 14 a 18 de outubro de 2002, destinado a alunos de graduacao e
pos graduacao (mestrado) em Matematica.
O minicurso foi motivado por um problema que apareceu na secao de problemas da Revista Matematica Universitaria [MU]: Seja f : IR2 IR uma funca
o suave, com um u
nico ponto crtico, digamos
p0 IRn , que e ponto de m
aximo local, pode-se afirmar que p0 e um ponto de m
aximo global? Depois
de construir funcoes que sao contra-exemplos desta questao, os quais aparecem no n
umero seguinte
desta mesma revista ([S1]), agora podemos perguntar:
Seja f : IR2 IR uma func
ao suave, com um u
nico ponto crtico, digamos p0 IR2 , o qual e ponto
de m
aximo local. Que condic
oes s
ao suficientes para garantir que p0 seja um ponto de m
aximo global?
Aqui exporemos uma condicao geometricapara o problema anterior, este e o tema que norteia a
redacao destas notas. Para obter as ideias intuitivas necessarias, no captulo 1 fazemos uma revisao
rapida dos conceitos basicos, dando uma importancia maior no teorema da funcao implcita o qual
possvel evitar este
usamos no captulo 2, para definir de maneira natural uma folheacao no plano. E
conceito para nossos objetivos, mas notamos que a um baixo custo isto poderia ser apresentado e ser
um motivador a leituras mais especializadas por parte dos alunos, alem disso, de modo muito simplista apresentamos problemas relevantes de atualidade nesta area. Finalizamos o captulo 2 definindo
componentes de Reeb de uma folheacao e transversalidade de curvas.
No inicio pretendamos redigir estas notas auto-suficientes, mas isto estava tornando as notas muito
densas e fugindo do lado motivador que pretendamos dar. Assim a prova do lema de Morse, como a
densidade de pontos de transversalidade, foi sacrificada. Por outro lado, um leitor mais crtico podera
se questionar sobre alguns conceitos que foram apresentados sem o devido rigor do caso, espero sua
compreensao e convido a ler os textos especializados para formalizar os conceitos.
Com um certo otimismo estas notas podem ser lidas por alunos que tenham sido aprovados num
curso de calculo 2 canonico. Para eles foi reservado o lado intuitivo que envolve o tema, para os alunos
graduados foi reservado o preenchimento dos detalhes rigorosos de analise necessarios.
Gostaria de registrar meus agradecimentos ao comite organizador da primeira Bienal da Sociedade
Brasileira de Matematica, em especial ao professor Michel Spira pelo incentivo `a realizacao do minicurso, a o meu aluno Sebastiao Martins Xavier, pela primeira revisao deste material, a meu colega o
professor Jorge Sabatucci que fez uma revisao deste material e me ajudo a domar algumas das figuras
no MAPLE 6. Alem do maple, algumas figuras foram elaboradas no Mayura Draw 4.0. Como de praxe
a responsabilidade de quaisquer erro encontrado e da minha responsabilidade e agradeco aos leitores o
envio dos mesmos com tambem de suas sugestoes e crticas.

Alberto Sarmiento
Belo Horizonte, 10 de outubro de 2002.

Maximos locais versus maximos globais

Captulo 1

Introduc
ao
Este captulo e dedicado as definicoes basicas e resultados importantes que serao usados no resto das
notas. Primeiro estudamos pontos crticos procurando um criterio para decidir quando um ponto crtico
e ponto de maximo local, mnimo local ou um ponto de sela. Depois descrevemos o comportamento
de uma funcao real de varias variaveis, pelas suas superfcies (ou curvas) de nvel, na vizinhanca de
um ponto regular como na vizinhanca de um ponto crtico. Para o primeiro caso usamos o teorema
da funcao implcita e para o segundo usamos o lema de Morse. Finalizamos este captulo propondo o
problema que motivou estas notas.

1.1

M
aximos e Mnimos

Dada uma funcao f : IRn IR, n 1, um ponto q IRn e chamado ponto de m

aximo local de f
(respectivamente ponto de mnimo local de f ) se existe uma bola com centro q e raio > 0, denotado
por B(q, ) = {
x = (x1 , x2 , , xx ) IRn ; ||
x q|| < }, tal que para todo x
B(q, ), temos que:
f (
x) f (q), (resp. f (
x) f (q)).
Dizemos que o ponto q IRn e um ponto de m
aximo local isolado (resp. mnimo local isolado) se as
desigualdades anteriores sao estritas. Em outras palavras, os valores da funcao f restritos aos pontos
de uma pequena bola centrada em q, exceto q, sao menores (resp. maiores) que o valor f (q).
Os vetores {e1 , e2 , , en } IRn denotam os vetores da base canonica de IRn , onde ei e o vetor
com todas as entradas iguais a zero exceto na posicao i-esima, onde vale 1.
Dizemos que f possui derivada parcial no ponto q e na direcao ei , se o seguinte limite existe:
f
f (q + tei ) f (q)
(q) = limt0
.
xi
t
ao com derivadas parciais no ponto q0 , e q0 e um ponto de
Lema 1 . Seja f : IRn IR uma func
m
aximo (resp. mnimo) local de f , ent
ao as derivadas parciais em q0 s
ao nulas.
Prova: Mostraremos o lema no caso que q0 e ponto de maximo local de f . A demostracao para o caso
de mnimo local e analoga.


CAPITULO 1. INTRODUC
AO

Fixemos i {1, n} e dado > 0 consideremos a funcao : (, ) IR dada por (t) =

f (q0 + tei ), notemos que da hipotese, t = 0 e ponto de maximo local para . Do calculo I, temos que
0 (0) = 0. Derivando temos que:
0 = 0 (0) = limt0

(t) (0)
f (q0 + tei ) f (q0 )
f
= limt0
=
(q0 ).
t
t
xi

Um ponto q IRn e chamado de ponto crtico da funcao f, se todas as derivadas parciais se anulam

neste ponto (isto e, x

f (q) = 0 para todo i = 1, 2, , n). Definimos o vetor gradiente de f no ponto
i
x
como sendo o vetor:
f
f
f (
x) = (
(
x)).
(
x), ,
x 1
xn
Podemos dizer agora que: q IRn e um ponto crtico de f , se o vetor gradiente de f em q e nulo.
O vetor gradiente de f no ponto x
e tambem chamado derivada (ou primeira derivada) de f no
ponto x
se na equacao
f (
x + v) = f (
x) + hf (
x), vi + R(v), tem se que lim

v0

R(v)
=0
kvk

(1),

onde h, i denota o produto escalar canonico em IRn , neste caso dizemos que a aplicacao f e diferenciavel
no ponto x
.
Notemos da equacao (1) que, se f e diferenciavel no ponto x
, entao f possui todas as derivadas
parciais nesse ponto. Por outro lado, a simples existencia do vetor gradiente (isto e, das derivadas
parciais) no ponto x
, nao implica necessariamente na diferenciabilidade da funcao f neste ponto, ver
exemplo 3, pagina 122 de [L], mas, sob certas condicoes isto e verdadeiro, como veremos a seguir.
Teorema 1 . Seja f : IRn IR uma func
ao com derivadas parciais
ponto x
, ent
ao f e diferenci
avel no ponto x
.

f
xi ,

i = 1, , n contnuas no

Prova: Denotando x
= (x1 , , xn ) onde os xi s sao constantes reais e por v = (v1 , , vn ) o vetor
incremento, escrevemos:
f (
x + v) f (
x) = f (x1 + v1 , x2 , , xn ) f (x1 , , xn )+
f (x1 + v1 , x2 + v2 , x3 , , xn ) f (x1 + v1 , x2 , , xn ) + +
f (x1 + v1 , , xn + vn ) f (x1 + v1 , , xn1 + vn1 , xn ).
f
Lembrando que x
e a derivada da funcao (t) = f (t, x2 , , xn ) com relacao a t, aplicando o
1
teorema do valor medio de funcoes (de uma variavel) a obtemos:

f
f (x1 + v1 , x2 , , xn ) f (x1 , , xn )
=
(1 , x2 , , xn ),
v1
x1
para algum 1 entre x1 e x1 + v1 . Da mesma forma aplicando o teorema de valor medio em cada
somando acima temos:
f (x1 + v1 , , xi + vi , xi+1 , , xn ) f (x1 + v1 , , xi1 + vi1 , xi , xi+1 , , xn ) =
vi

f
(x1 + v1 , , xi1 + vi1 , i , xi+1 , , xn ).
xi


CAPITULO 1. INTRODUC
AO

Substituindo temos:
f (
x + v) f (
x) =

n
X
i=1

vi

f
(x1 + v1 , , xi1 + vi1 , i , xi+1 , , xn ),
xi

Pn f
Denotando ci = (x1 +v1 , , xi1 +vi1 , i , xi+1 , , xn ) e lembrando que hf (
x), vi = i=1 x
(
x)vi ,
i
temos:
Pn
f
f
| i=1 {vi x
(ci ) vi x
(
x)}|
kR(v)k
kf (
x + v) f (
x) hf (
x), vik
i
i
lim
= lim
= lim
v0
v0
v0
kvk
kvk
kvk
n
n
X
X
f
|vi |
f
f
f
(ci )
(
x)|

{ lim |
(ci )
(
x)|},
|
v0
v0
xi
xi
kvk
xi
xi
i=1
i=1

lim

Da continuidade das derivadas parciais e como ci tende para x

quando v tende para 0, concluimos que
os limites da u
ltima desigualdade tendem para zero, assim:
lim

v0

kR(v)k
= 0.
kvk

Se as derivadas parciais de f sao contnuas no ponto x

, dizemos que f e uma funcao continuamente
diferenci
avel neste ponto, caso f seja continuamente diferenci
avel em cada ponto do seu domnio dizemos que f e uma funca
o de classe C 1 . Assim dizemos que f e uma func
ao de classe C k se possui
derivadas parciais ate de ordem k e todas elas sao funcoes contnuas. Da mesma forma dizemos que f
e uma func
ao de classe C se para todo inteiro k 1 todas as derivadas parciais de f ate de ordem k
existem e sao funcoes contnuas.
2

f
Supondo que a funcao f e de classe C 2 , a matriz ( xi x
(
x))i,j de ordem n n e chamada de
j
matriz Hessiana da funcao f no ponto x
e denotada por Hf (
x). Um ponto p0 e dito ponto crtico n
ao
degenerado da funcao f se, det(Hf (p0 )) 6= 0.

Da formula de Taylor temos que, se f e de classe C 2 , entao

1
R2 (v)
f (
x + v) = f (
x) + hf (
x), vi + hHf (
x)v, vi + R2 (v), onde lim
= 0.
v0 kvk2
2

(2)

facil notar que

A funcao f (x, y) = x2 y 2 e de classe C e possui um u
nico ponto crtico (0, 0). E
este ponto crtico nao e ponto de maximo nem de mnimo ele e chamado ponto de sela, logo temos que
nem todo ponto crtico e necessariamente ponto de maximo ou de mnimo. O seguinte teorema da um
criterio para decidir quando um ponto crtico de uma funcao de classe C 2 e ponto de maximo local,
mnimo local ou ponto de sela. Antes lembremos o seguinte resultado estudado num curso regular de
algebra linear ( [San], teorema 6,6). Toda matriz simetrica S (de ordem n n) e diagonalizavel, mais
ainda existe uma matriz P ortogonal (P P t = Id = P t P ), tal que:

1 0
0
0
0
0
0 2

P S Pt = D =

0
0 n1 0
0
0
0
n
onde os 1 , 2 , , n sao autovalores da matriz S.
Afirmac
ao: Se todos os autovalores da matriz S sao positivos (resp. negativos) entao
hS x
, x
i > 0 ( resp. < 0),
x IRn \ {0}.

(3)


CAPITULO 1. INTRODUC
AO

Com efeito, sendo P uma matriz ortogonal esta e inverssvel, assim dado x
IRn existe u
nico vetor
n
u = (u1 , , un ) IR tal que P x
= u, entao
hS x
, x
i = hP t D P x
, x
i = hD(P x
), P x
i = hDu, ui,
logo hDu, ui =

Pn
i=1

i u2i , desta igualdade e facil concluir a desigualdade(3).

Teorema 2 . Sejam f : IRn IR uma func

ao de classe C 2 e p0 um ponto crtico n
ao degenerado de
f . Ent
ao temos que:
(a) Se todos os autovalores da matriz H(p0 ) s
ao positivos p0 e um ponto de mnimo local (isolado)
de f ,
(b) Se todos os autovalores da matriz H(p0 ) s
ao negativos p0 e um ponto de m
aximo local (isolado)
de f ,
(c) Se a matriz H(p0 ) possui autovalores positivos e negativos simultaneamente p0 e um ponto de
sela de f ,
(d) Se det(Hf (p0 )) = 0, este teorema n
ao diz nada.
Prova: Como p0 e um ponto crtico de f entao f (p0 ) = 0, da equacao (2) temos
f (p0 + v) f (p0 ) =

1
R2 (v)
hHf (p0 )v, vi + R2 (v), onde lim
= 0.
v0 kvk2
2

(4)

Do teorema de Schwarz sabemos que as derivadas parciais de segunda ordem mistas sao iguais
2f
2f
(
(p0 ) =
(p0 )), logo a matriz Hf (p0 ) e simetrica, para todo vetor nao nulo v, multiplicaxi xj
xj xi
kvk2
mos o segundo membro da equacao (4) por kvk
2 = 1 obtemos:
f (p0 + v) f (p0 ) =

kvk2
v
v
R2 (v)
[hHf (p0 )
,
i+2
].
2
kvk kvk
kvk2

(5)

Prova de (a), consideremos a funcao real (v) = hHf (p0 )v, vi esta e contnua, e de (3) temos que
para todo v 6= 0 e sempre positiva, em particular para restrito ao conjunto de vetores de norma 1
temos que:
v
0 < a = mnimo{(u); kuk = 1} < hHf (p0 )u, ui, onde u =
.
kvk
R2 (v)
= 0, dado
v0 kvk2

Por outro lado, como lim

a
4

2 (v)
> 0, existe > 0 tal que k Rkvk
2 k <

a
4

para todo v

com kvk < , logo:

R2 (v)
a
a
<2
< .
2
2
kvk
2

Com estas duas u

ltimas desigualdade podemos minorar o segundo membro da equacao (5), obtendo:
f (p0 + v) f (p0 ) >
para todo v 6= 0 e kvk < .

kvk2
a
kvk2
[a ] =
a > 0,
2
2
4


CAPITULO 1. INTRODUC
AO

yx
k = kvk < , entao para todo y contido na bola de
Logo denotando por y = x
+ v temos que k
centro p0 e raio temos que f (
y ) > f (p0 ), assim p0 e um ponto de mnimo local de f .
A prova de (b) e analogo de (a), basta considerar 0 < b = maximo{(u); kuk = 1} > hHf (p0 )u, ui,
e majorar o segundo membro da equacao (5).
A prova de (c), sejam 1 e 2 autovalores e u1 e u2 os respectivos autovetores com norma 1 de
Hf (p0 ), com 1 < 0 < 2 . Consideremos os caminhos vi (t) = tui (i = 1, 2) com t (1, 1), da
equacao (5) temos que:
f (p0 + tui ) f (p0 ) =

Dado

|i |
4

tui tui
R2 (tui )
t2
[hHf (p0 )
,
i+2
].
2
|t| |t|
t2

i)
> 0, existe > 0 tal que k R2 (tu
k<
t2

|i |
4

para todo |t| < , logo:

R2 (v)
|i |
|i |
<2
<
2
kvk2
2

.
2

i)
Como Hf (p0 )ui = i ui , para i = 1 e t > 0, temos que, f (p0 + tui ) f (p0 ) = t2 [i + 2 R2 (tu
]
t2
|1 |
t2
respectivamente para i = 2. Para i = 1 e 0 < t < temos que f (p0 + tu1 ) f (p0 ) < 2 [1 + 2 ],
2
como 1 < 0, |1 | = 1 entao f (p0 + tu1 ) f (p0 ) < t2 21 < 0. Para i = 2 e 0 < t < temos que
2
2
f (p0 + tu2 ) f (p0 ) > t2 [2 |22 | ], como 2 > 0, |2 | = 2 entao f (p0 + tu1 ) f (p0 ) > t2 22 > 0.
Assim para pontos proximos de p0 temos valores da funcao acima e abaixo de f (p0 ).

Para provar a afirmacao (d), basta analisar as funcoes f1 (x, y) = x4 + y 4 , f2 (x, y) = x4 y 4 e

f3 (x, y) = x3 + y 3 , nestes tres casos (0, 0) e ponto crtico com det(Hf ((0, 0))) = 0 e temos que (0, 0) e
ponto de maximo local, mnimo local e ponto de sela das funcoes f1 , f2 e f3 respectivamente.
O seguinte teorema aparece num curso regular de calculo II, conhecido como teorema da funcao
implcita. Denotemos os pontos da decomposicao IRn = IRn1 IR por (x, y), onde x = (x1 , , xn1 )
IRn1 .
Teorema 3 (fun
c
ao implcita) . Seja f : IRn IR uma func
ao de classe C k (k 1). Se num ponto
f
p0 = (x0 , y0 ), temos que
(p0 ) 6= 0 e c = f (p0 ), ent
ao existe uma bola B = B(x0 , ) IRn1 e um
y
intervalo J = (y0 , y0 + ) tais que f 1 (c) (B J) e o gr
afico de uma func
ao h : B J de classe
C k isto e, f (x, h(x)) = c para todo x B e temos que:
f
h
xi (x, h(x))
(x) = f
, i = 1, , n 1, x B.
xi
x (x, h(x))
n

Prova: Demostraremos o teorema no caso n = 2, porque esta prova passa a ideia intuitiva com maior
eficiencia, alem disso, nos usaremos esta versao nos proximos captulos. Esta prova vale no caso geral
com o devido cuidado do n
umero de coordenadas.
> 0. Como f
e contnua, existem > 0 e > 0
y
tais que, denotando I = (x0 , x0 + ) e J = (y0 , y0 + ) (J = [y0 , y0 + ]) temos que f
y (x, y) > 0

para todo (x, y) I J. Ent

ao para cada x I fixo, a funcao (y) = f (x, y) e estritamente crescente,
como f (x0 , y0 ) = c e da continuidade de f temos que, reduzindo se for necessario podemos supor que
Para fixar ideias, podemos supor que

f
y (x0 , y0 )


CAPITULO 1. INTRODUC
AO

IXJ

I
x

Figura 1.1:
f (x, y0 ) < c < f (x, y0 + ). Pelo teorema do valor intermediario, para cada x I existe um u
nico
= f 1 (c) (I J) e e o grafico
y = h(x) J tal que (y) = f (x, h(x)) = c, portanto f 1 (c) (I J)
de uma de uma funcao h : I J ver figura 1.1.
Para mostrar que a funcao h e contnua, fixemos x1 I, seja y1 J a correspondente imagem por h
(h(x1 ) = y1 ). Dada qualquer sequencia {tn }
n=1 I convergindo para x1 quando n tende para infinito,
para mostrar que h e contnua em x1 bastaria mostrar que h(tn ) tende para y1 quando n tende para

. Para isto basta notar que h(tn ) J admite uma subseq

uencia {h(tnk )}
k=1 e y J tal que h(tnk )
tende para y, como f (tnk , h(tnk )) = c e f e uma funcao contnua temos que f (tnk , h(tnk )) tende para
(x1 , h(x1 )) = c, entao da unicidade do limite temos que h(x1 ) = y1 = y.
Vamos mostrar que h e de classe C k , primeiramente mostraremos que h e de classe C 1 . Denotando
por v = h(x+t)h(x) onde x I fixo e t IR de modo que x+t I, entao temos que h(x+t) = h(x)+v,
logo c = f (x, h(x)) = f (x + t, h(x + t)) = f (x + t, h(x) + v)), aplicando o teorema de valor medio `a
funcao () = f (x + t, h(x) + v)) onde 0 1, temos que existe (0, 1) tal que
0 = f (x + t, h(x) + v)) f (x, h(x)) =
Daqui temos que

Entao

f
f
(x + t, h(x) + v) t +
(x + t, h(x) + v) v,
x
y

f
v
x (x + t, h(x) + v)
.
= f
t
y (x + t, h(x) + v)

f
h(x + t) h(x)
v
x (x + t, h(x) + v)
= = f
.
t
t
y (x + t, h(x) + v)

Como a funcao h e contnua entao temos que limt0 v = 0, logo os incrementos (t, v) tendem a zero
quando t 0. A continuidade das derivadas parciais de f nos da:
f
h(x + t) h(x)
x (x, h(x))
= f
.
t0
t
y (x, h(x))

h0 (x) = lim

Desta formula e do fato que as derivadas parciais sao de classe C k , entao h0 e de classe C k1 e portanto
h e de classe C k .


CAPITULO 1. INTRODUC
AO

Evidentemente no teorema anterior nao ha nada de especial a respeito da derivada parcial ser nao
nula na u
ltima componente, em outro caso bastaria reenumerar as variaveis para levar `as condicoes do
teorema da funcao implcita. Assim temos que: se f : IRn IR e uma funcao de classe C k (k 1),
f
(p0 ) 6= 0 para algun inteiro i = 1, , n, entao existe a
se num ponto p0 tivermos, f (p0 ) = c e
xi
bola B(p0 , ) IRn ( > 0), tal que f 1 (c) B(p0 , ) e o grafico de uma funcao de classe C k da forma
xi = h(x1 , , xi1 , xi+1 , , n).
Seja f : IRn IR uma funcao diferenciavel, dizemos que o n
umero real c e um valor regular de f ,
se o vetor gradiente f (q) 6= 0, para todo q f 1 (c) (onde f 1 (c) = {q IRn ; f (q) = c}), isto e,
f
para todo q f 1 (c) a derivada parcial
(q) 6= 0 para algum i = 1, , n. Notemos que da forma
xi
como foi definido o valor regular, se f 1 (c) = implica que c e valor regular de f . Assim, se c e um
valor regular e f 1 (c) 6= , do teorema da funcao implcita temos que f 1 (c) e uma uniao de graficos
de funcoes da forma xi = h(x1 , , xi1 , xi+1 , , xn ) para algum i = 1, , n. Intuitivamente temos
algo parecido a uma colcha de retalhos, como a intersecao destes retalhos e novamente um grafico deste
tipo, ent
ao globalmente f 1 (c) e um conjunto regular chamado de superfcie de nvel c de f . No caso
n = 3, a ideia e mesmo de uma superfcie mergulhada no espaco IR3 , ja no caso n = 2, temos que
f 1 (c) e uma curva mergulhada no plano IR2 chamada de curva de nvel c de f .
Caso f 1 (c) contem um ponto crtico, o valor ce chamado de valor crtico de f . Para comprender
o que acontece nun nvel crtico, primeiro estudamos o que acontece na vizinhanca de um ponto crtico.
Seja f : IRn IR uma funcao de classe C 2 , dizemos que um ponto crtico p0 IRn de f , tem ndice
k, se a matriz Hf (p0 ) possui exatamente k autovalores negativos.
Um subconjunto U IRn sera uma vizinhanca aberta ou simplesmente uma vizinhanca, se para
cada ponto p U podemos encontrar uma bola com centro no ponto p e raio > 0, toda contida em
U (B(p, ) U ). No que segue basta pensar em conjuntos que sao imagem por homeomorfismo do
interior da bola com centro na origem e raio um.
Um sistema de coordenadas sobre uma vizinhanca U IRn e um homeomorfismo h : V U
definido numa vizinhanca V IRn . As coordenadas de um ponto p U no sistema (V, h) sao os
n
umeros yi com i = 1, , n, tais que y = (y1 , , yn ) V e h(
y ) = p. Reciprocamente, sendo h um
homeomorfismo, temos que h1 : U V e um sistema de coordenadas sobre a vizinhanca V IRn .
Dizemos que o sistema de coordenadas e de classe C k se h e um difeomorfismo de classe C k , isto e, as
funcoes coordenadas h e sua inversa h1 s
ao aplicacoes de classe C k .
Exemplo 1 Sejam U = IR2 \ {(x, 0) : x 0}, V = (0, ) (0, 2) e h : V U definido por
h(r, ) = (r cos(), rsin()), ent
ao h e um sistema de coordenadas, de classe C sobre U , os n
umeros
r e s
ao chamados de coordenadas polares dos pontos p = (x, y) U .
Teorema 4 (Lema de Morse) Seja f : IRn IR uma func
ao de classe C r (r 2), se o ponto crtico
n
p0 IR de f e n
ao degenerado e de ndice k, ent
ao existe uma mudanca de coordenadas h : V U
de classe C k2 definida sobre uma vizinhanca V da origem, com h(0) = p0 , sobre uma vizinhanca U
de p0 , tal que a func
ao f relativo as novas coordenadas z = (z1 , z2 , , zn ) e dada por:
f h(
z ) = f (z1 , z2 , , zn ) = f (0) (z1 )2 (zk )2 + (zk+1 )2 + + (zn )2 .
Podemos encontrar a prova deste teorema em varios textos, como por exemplo [L], para entender a
ideia da forca deste teorema estudemos os seguintes exemplos:


CAPITULO 1. INTRODUC
AO

Exemplo 2 . No caso que f : IR2 IR e p0 IR2 e um ponto crtico n

ao degenerado de f , supondo
que f (p0 ) = 0, do lema de Morse temos que todos os casos possveis s
ao:
f h(z1 , z2 ) = ((z1 )2 + (z2 )2 ), e (z1 )2 (z2 )2 .
Logo as curvas de nvel de f restritas `
a vizinhanca U s
ao m
odulo um difeomorfismo h, curvas de nvel
da func
ao f h(z1 , z2 ) = (z1 )2 +(z2 )2 , no caso k = 0, s
ao curvas de nvel de f h(z1 , z2 ) = (z1 )2 (z2 )2 ,
no caso k = 2, estes dois casos tem a mesma estrutura de curvas de nvel, ver figura 1.2-(a). No caso
k = 1, s
ao curvas de nvel da func
ao f h(z1 , z2 ) = (z1 )2 (z2 )2 , ver figura 1.2-(b).

(a) k=0 ou 2

(b) k=1
Figura 1.2:

Exemplo 3 Seja f : IR2 IR a func

ao de classe C , dada por f (x, y) = (x2 + y 2 16)xy, Os pontos
crticos s
ao:
f (x, y) = (3x2 y + y 3 16y, x3 + 3xy 2 16x) = (0, 0),
ent
ao

y(3x2 + y 2 16) = 0

x(x2 + 3y 2 16) = 0.

Se y = 0, ent
ao x = 0 ou x = 4, as soluc
oes s
ao p1 = (0, 0), p2 = (4, 0), p3 = (4, 0).
Se x = 0, ent
ao y = 4, as soluco
es s
ao p4 = (0, 4), p5 = (0, 4)
Olhando o sistema acima temos que os outros pontos crticos se encontram nas intersec
oes das
elipses
3x2 + y 2 = 16
e
x2 + 3y 2 = 16,
que correspondem aos pontos p6 = (2, 2), p7 = (2, 2), p8 = (2, 2) e p9 = (2, 2).
Pelo Lema de Morse, notemos que os primeiros 5 pontos crticos s
ao pontos de sela, e os outros
s
ao pontos crticos de m
aximo ou de mnimo.
Outra forma de analisar isto, notemos que as curvas de nvel zero s
ao as retas x = 0, y = 0 e o
crculo x2 + y 2 = 42 , estas curvas dividem o plano em 4 regi
oes ilimitadas e 4 regi
oes limitadas, no
interior de cada um dos setores limitados pelo crculo a func
ao e toda positiva ou toda negativa, como
cada uma destas regi
oes contem um u
nico ponto crtico e seu valor e: f (2, 2) = 32, f (2, 2) = 32,
f (2, 2) = 32 e f (2, 2) = 32, ent
ao (2, 2) e (2, 2) s
ao pontos de mnimo locais e (2, 2) e (2, 2)
s
ao pontos de m
aximo locais.


CAPITULO 1. INTRODUC
AO

Pelo teorema da func

ao implcita, por cada ponto n
ao crtico passa uma curva e do lema de Morse
temos a decomposic
ao do plano em curvas de nvel e pontos crticos como mostra a figura 1.3.

Figura 1.3:

1.2

A Quest
ao

Seja p0 IRn um ponto de maximo (resp. mnimo) local da funcao f : IRn IR, dizemos que p0 e
um ponto de m
aximo global (resp. mnimo global) de f , se
f (
x) f (p0 ), (resp. f (
x) f (p0 )),
x IRn .
De agora em diante nos limitaremos a estudar o caso do maximo; o caso de mnimo e estritamente
analogo, ou simplesmente considere-se a funcao f (onde (f )(
x) = f (
x)), para levar ao caso de
maximo.
Obviamente, um ponto de maximo global e um ponto de maximo local. O que podemos dizer da
recproca? Para o caso de funcoes de uma variavel temos a seguinte proposicao.
Proposi
c
ao 1 Seja f : IR IR uma func
ao diferenci
avel, com um u
nico ponto crtico, digamos
x0 IR, o qual e ponto de m
aximo local, ent
ao x0 e um ponto de m
aximo global.
Prova: Por absurdo, suponhamos que existe um z0 tal que f (z0 ) = f (x0 ). Dessa forma existe y0 6= x0
tal que f (y0 ) = f (x0 ), entao do teorema do valor medio, existe entre x0 e y0 tal que:
f (y0 ) f (x0 )
= f 0 ().
y0 x0
Logo f 0 () = 0, isto contradiz o fato de x0 ser o u
nico ponto crtico de f .


CAPITULO 1. INTRODUC
AO

10

n 20/21 (1996), secao

A seguinte questao apareceu na revista MATEMATICA
UNIVERSITARIA
de problemas ([MU]), aqui fazemos uma extensao trivial da questao:
Quest
ao 1: Seja f : IRn IR (n 2) uma func
ao suave, com um u
nico ponto crtico, digamos
n
p0 IR que e ponto de m
aximo local, pode-se afirmar que p0 e um ponto de m
aximo global?
Em [S1] apresentamos uma resposta negativa a esta questao no caso n = 2. Vejamos a seguir um
exemplo que da uma resposta negativa a esta questao.
ao dada por f (x, y) = e3x 3ex y+y 3 . Esta funca
o possui um u
nico
Exemplo 4 Seja f : IR2 IR a func
2f
ponto crtico p0 = (0, 1), o qual e ponto de mnimo local, isto, porque det(Hf (0, 1)) > 0 e x2 (0, 1) > 0,
lema de Morse. De outro lado, notemos que f (0, y) = 1 3y + y 3 , onde limy f (0, y) = e
limy+ f (0, y) = +, logo p0 n
ao e ponto de mnimo global, ver fig 1.4.

Figura 1.4:
A partir de um exemplo de duas variaveis e facil construir exemplos de funcoes reais de tres ou mais
variaveis que respondem negativamente a esta questao. Por exemplo, seja f (x1 , x2 ) = e3x1 3ex1 x2 +x32
a funcao do exemplo anterior, definimos:
1
1
1
F (x1 , x2 , , xn ) = f (x1 , x2 ) + x23 + x24 + + x2n .
2
2
2
Ou
nico ponto crtico sera p0 = (1, 0, 0, , 0) a matriz hessiana de F neste ponto e:

fxx (p0 )
fxy (p0 )

HF (p0 ) =
0

fxy (p0 )
fyy (p0 )
0

0
0
1

0
0

Do teorema (2), temos que p0 e um ponto de maximo local, mas F (0, x2 , 0, , 0) = 1 3x2 + x32
aproxima-se de + e quando x2 + e x2 , respectivamente.
A pergunta que podemos fazer agora e:
Quest
ao 2: Seja f : IR2 IR uma func
ao suave, com um u
nico ponto crtico, digamos p0 IR2 ,
o qual e ponto de m
aximo local. Que condic
oes s
ao suficientes para garantir que p0 seja um ponto de
m
aximo global?.

Maximos locais versus maximos globais

11

Captulo 2

Folheaco
es e transversalidade
O teorema da funcao implcita visto no captulo 1, nos da a intuicao necessaria para descrever localmente uma curva de nvel, como tambem podemos estudar pacotes de curvas de nveis , e exatamente
isto o teorema da forma local das submersoes, daqui e um passo para obter a nocao de folheacao. Todas
estas definicoes podem ser generalizadas para dimensoes maiores, nos preferimos sacrificar isto para
poder aproveitar melhor a familiaridade que temos com as ideias e intuicao no plano.
Para nao ficar com o material deste captulo simplesmente como material preparatorio para o
captulo 3, apresentamos algumas nocoes e definicoes necessarias para formular alguns problemas relevantes que estao em aberto sobre a teoria de folheacoes no plano. Finalizamos o captulo apresentando
as nocoes basicas de transversalidade de curvas.

2.1

Folheaco
es definidas por submers
oes

Uma funcao f : IR2 IR de classe C r e uma submers

ao se, para todo ponto x
IR2 temos que
f (
x) 6= 0, neste caso todo n
umero real e valor regular de f e do teorema da funcao implcita, por
cada ponto x
IR2 passa uma curva (de nvel de f ) de classe C r . Logo o plano todo fica decomposto
por curvas regulares, esta decomposicao e um exemplo de folheac
ao regular, e cada curva e chamada de
folha da folheacao. No caso que a funcao f possui pontos crticos, a decomposicao do plano em pontos
crticos e curvas regulares de classe C r e chamados de folheac
ao com singularidades. Para dar uma
definicao formal de folheacao no plano, primeiramente vamos rever o teorema da funcao implcita visto
no captulo 1.
f
(
x0 ) 6= 0.
y
uma funcao contnua, existe uma bola B = B(
x0 , ) IR2 , tais que

Sejam f : IR2 IR uma funcao de classe C r (r 1), e x

0 = (x0 , y0 ) um ponto com

Denotemos por c = f (
x0 ), sendo f
y
f
(x, y) 6= 0 para todo (x, y) B. Entao podemos encontrar > 0 e > 0 tais que para todo ponto
y
da forma (x0 , y) B com y0 < y < y0 + , as funcoes implcitas hy (isto e, f (x, hy (x)) = f (x0 , y)
com hy (x0 ) = y) estao bem definidas no intervalo (x0 , x0 + ), alem disso (x, hy (x)) B, ver figura
f
(2.1-a). O mesmo vale se
(
x0 ) 6= 0, isto e, as funcoes implcitas com hx (y0 ) = x estao todas definidas
x
no intervalo (y0 , y0 + ), ver figura 2.1-b. Este resultado e conhecido como teorema da forma local
das submersoes, uma demonstracao deste pode ser encontrado em [L], pagina 294.


CAPITULO 2. FOLHEAC
OES
E TRANSVERSALIDADE

12

y
B

y
y

y
y
x

(a)

(b)
Figura 2.1:

ao de classe C r (r 1),
Teorema 5 (Forma local das submers
oes) Sejam f : IR2 IR uma func
ex
0 = (x0 , y0 ) um ponto que satisfaz f (
x0 ) 6= 0, ent
ao existem > 0, > 0, > 0 e homeomorfismo
h : (, ) (c , c + ) B(
x0 , ) de classe C r , com h(0, c) = x
0 e tal que
f h(x, y) = y para todo (x, y) (, ) (c , c + ).
Denotemos por U = h((, +) (c , c + )), assim h : (, +) (c , c + ) U e um
difeomorfismo sobre sua imagem. Como os intervalos (, ) e (c , c + ) sao C -difeomorfos ao
intervalo I = (1, 1), entao modulo a composta com um C -difeomorfismo entre I I e (, +) (c
, c + ), podemos sempre considerar que o domnio dos difeomorfismos h sao da forma (1, 1) (1, 1).
O par (h, U) chamaremos de carta local de classe C r . Modulo uma troca de ordem nas variaveis podemos
considerar que a aplicacao h leva intervalos horizontais da forma (0, 1) {y}, em pedacos de curvas
contidas em nveis distintos de f , ver figura 2.2.

U
f

c
h
f

IxI
Figura 2.2:


CAPITULO 2. FOLHEAC
OES
E TRANSVERSALIDADE

13

Uma famlia de cartas locais de classe C r , {(hi , Ui )i ; onde e um conjunto de ndices}, define
uma folheac
ao regular de classe C r em IR2 e denotamos esta por F se satisfaz as seguintes propriedades:
(a) IR2 i Ui .
(b) Sempre que duas cartas se interceptam, digamos Ui Uj 6= , temos que a mudanca de coordenadas
1
1
h1
e da forma:
j hi : hi (Ui Uj ) hj (Ui Uj )
h1
j hi (x, y) = (gij (x, y), fij (y)).

Ui

1
j

i
IxI

IxI
Figura 2.3:

Os pedacos de curvas da forma i,y0 = {hi (x, y0 ); x I e y0 I fixo } sao chamadas de placas da
folheacao F. A condicao (b) garante que, fixado y0 , y1 I tal que as placas i,y0 = {hi (x, y0 ); x I} e
j,y1 = {hj (x, y1 ); x I} tem intersecao nao vazia, entao estas placas se sobrepoem na sua intersecao.
Um caminho de placas de F e uma seq
uencia 1 , , m de placas tal que i i+1 6= para todo
i {1, , m}. Uma folha de F que passa por um ponto p IR2 e uma uniao de placas de um caminho
maximal que contem uma placa passando pelo ponto p, denotamos a folha por Fp ou simplesmente
por F caso o ponto esteja obviamente definido. Assim, uma folha e uma curva regular conexa, isto
e, dados dois pontos q1 e q2 em F existe um caminho de placas 1 , , k tal que q1 1 e q2 k .
As folhas reduzidas a um ponto sao chamadas de singularidades, as curvas simples fechadas de F sao
chamadas de trajetorias periodicas, o terceiro e u
ltimo tipo de folhas que aparecem sao curvas sem
auto-intersecoes (homeomorfas a retas).
Chamamos de folheac
ao singular de classe C r , com conjunto singular S IR2 , a folheacao regular
r
2
de classe C sobre IR \ S. Isto e, para todo q IR2 \ S existe vizinhanca Uq IR2 \ S, e uma carta
local hq : I I Uq de classe C r , de modo que a famlia de cartas locais {(hq , Uq )}q assim definidas
e uma folheacao regular sobre IR2 \ S.
ao e f (x, y) = (x2 + y 2 16)xy, as curvas de nvel
Exemplo 5 No exemplo 3 do captulo 1, cuja func
de f definem uma folheac
ao singular,ver figura 1.3, com conjunto singular:
S = {(0, 0), (4, 0), (4, 0), (0, 4), (0, 4), (2, 2), (2, 2), (2, 2), (2, 2)}.


CAPITULO 2. FOLHEAC
OES
E TRANSVERSALIDADE

14

Exemplo 6 Seja f : IR2 IR a func

ao de classe C dada por f (x, y) = (x2 1)ey , o campo vetorial
y
gradiente e: f (x, y) = (2xe , (x2 1)ey ), e f
acil notar que este e um campo de vetores n
ao
nulos, logo f e uma submers
ao. As retas x = 1 e x = 1 s
ao curvas de nvel zero de f , as curvas
de nvel c < 0 se encontram na faixa 1 < x < 1, esta faixa esta decomposta pela famlia de curvas
na forma de par
abolasassintotando as retas x = 1 e x = 1, as curvas de nvel c > 0 encontram-se
no complemento da faixa 1 x 1, assim esta submers
ao f define uma folheaca
o regular no plano
como na figura 2.4-(a).
ao do plano: um ponto crtico na origem, a regi
ao
Exemplo 7 Consideremos a seguinte decomposic
limitada pelo crculo C = {(x, y); x2 + y 2 = 1}, preenchida por crculos concentricos, a regi
ao exterior
ao crculo C, preenchida por curvas que vem do infinito e enrolam-se no crculo C, como mostra a
figura2.4-(b), assumimos que esta decomposic
ao define uma folheac
ao singular, afirmamos o seguinte.

(a)

(b)
Figura 2.4:

Afirmacao: Essa folheac

ao regular definida sobre IR2 \ (0, 0) n
ao e dada globalmente por uma submers
ao.
Com efeito, por absurdo, suponhamos que exista uma tal submersao f : IR2 \ (0, 0) IR que defina
esta folheacao. Seja h : I I U (onde I = (1, 1)), uma carta da folheacao em torno do ponto
p = h(0, 0) C, denotemos por = {h(0, y); y I} o segmento transversal`a folheacao. Estudamos
o comportamento de uma folha F nao limitada que passa pelo ponto q \ p, ver figura 2.5. A
folha F corta num conjunto infinito e enumeravel de pontos, podemos indexar estes com a seq
uencia

F
,
com
q
=
q
,
os
segmentos
de
folha
F
com
extremos
q
e
q
denotado
por
(q
,
q
{qn }
0
i
i+1
i i+1 )F
n=0
nao intersecta , assim e claro que limn qn = p. Como F e curva de nvel de f , digamos nvel c,
entao f (qn ) = c, pela continuidade da funcao f temos que f (p) = c, isto e, C tambem e uma curva
de nvel c de f . Notemos que este mesmo argumento pode-se aplicar a cada folha nao limitada, logo a
funcao f seria constante e igual a c sobre a regiao exterior ao disco unitario, o que contradiz o fato de
f ser uma submersao.
q
q
1

Figura 2.5:


CAPITULO 2. FOLHEAC
OES
E TRANSVERSALIDADE

15

Dada uma folheacao F sobre IR2 e fixada uma folha F , fixemos uma parametrizacao desta folha
: IR F , por exemplo, no caso de um ponto singular p temos que (t) = p, t IR, no caso de
trajetoria periodica, e uma funcao vetorial periodica, isto e existe T > 0 tal que (t + T ) = (t),
t IR. Dizemos que um ponto IR2 e um ponto limite da folha F , se existe uma seq
uencia
{tn }
e
n=0 tais que (tn ) ou (tn ) . O conjunto de todos os pontos limites de F
chamado de conjunto limite de F e o denotamos por L
(F ) ou simplesmente L
caso esteja bem definido
facil ver que o conjunto limite de uma trajetoria periodica e a propria trajetoria
de que folha se trata. E
periodica, assim como o conjunto limite de um ponto singular e o proprio ponto.
No exemplo 7 anterior, temos visto que cada ponto do crculo unitario C e ponto limite de cada folha
nao limitada (contida no exterior do disco de raio 1), logo o conjunto limite de cada uma destas folhas
e o proprio crculo unitario C = L
(F ). Em outras palavras, podemos dizer que as folhas ilimitadas
acumulam-se sobre o crculo C. Assim L
tambem e chamado de conjunto de acumulacao.
Observa
c
ao 1 Suponhamos que F e uma folheac
ao dada globalmente por uma submers
ao global,
usando os mesmos argumentos da prova da afirmac
ao anterior, mostra-se que neste caso, n
ao existe
acumulaca
o de uma folha regular sobre outra folha regular. Logo as folhas regulares, com excec
ao das
trajet
orias peri
odicas, se acumulam numa singularidade ou tendem para infinito.
Dizemos que a folha F e recorrente se F L
(F ), isto e, F e uma folha que se auto-acumula. As
trajetorias periodicas e pontos singulares sao exemplos de folhas recorrentes, esses dois tipos de folhas
sao chamados de recorrencias triviais. Uma questao interessante e:
Existem recorrencias n
ao triviais no plano? Caso existam de que tipo s
ao?
Podemos separar o conjunto de folheacoes em duas classes, uma chamada de folheac
ao orient
avele
a outra de folheac
ao n
ao orient
avel. A folheacao orientavel e aquela na qual em cada folha podemos
induzir uma orientacao, por exemplo o sentido de percurso induzido pela parametrizacao ( : IR F ),
de modo que folhas vizinhas tenham o mesma sentido de direcao. Outra forma de orientar uma folheacao
e escolher uma famlia coerente de cartas locais {(hi , Ui )i } que define F, isto e:
(a) IR2 i Ui .
(b) Tem a propriedade de intersecao, se Ui Uj 6= com i, j , entao a mudanca de coordenadas
1
1
h1
e da forma:
j hi : hi (Ui Uj ) hj (Ui Uj )
h1
j hi (x, y) = (gij (x, y), fij (y)).
1
Alem disso, det(D(h1
j hi )(x, y)) > 0 para todo i, j e (x, y) hi (Ui Uj ).
0
(y) > 0 para todo i, j e (x, y) h1
(c) Orientacao da folheacao, isto e fij
i (Ui Uj ).

Vejamos como esta definicao induz uma orientacao sobre as folhas. Para cada i em cada carta
local hi : (1, 1) (1, 1) Ui desta famlia, fixemos a orientacao positiva dada pela reta (eixo x)
em cada intervalo horizontal {y} (1, 1), esta orientacao e levada por h em cada placa de Ui , para
verificar que este processo induz uma orientacao coerente nas intersecoes de duas placas, fixemos um
1
ponto p Ui Uj . Os vetores tangentes correspondentes `a orientacao distribuda em h1
i (p) e hj (p)
1
e o vetor (1, 0), observe que det(D(hj hi )(x, y)) e igual a :
g
det

ij

(h1
i (p))
0

gij
1
y (hi (p))
fij
1
y (hi (p))

!
=

fij 1
gij 1
(h (p))
(h (p)) > 0
x i
y i


CAPITULO 2. FOLHEAC
OES
E TRANSVERSALIDADE

16

Embora este determinante preserve a orientacao de uma base positiva {e1 = (1, 0), e2 = (0, 1)}, nao
necessariamente preservaria a orientacao na folha, poderia levar e1 em (1, 0) e e2 em (0, 1), e claro
a que entra a
que {(1, 0), (0, 1)} e base positiva assim estaria trocando a orientacao no eixo x. E
0
condicao (c) (fij (y) > 0), isto forca a preservar a orientacao no eixo y, consequentemente preservara a
orientacao no eixo x. Assim a orientacao induzida nas placas por estas cartas locais coerentes, induz
uma orientacao nas folhas.
No caso que, nao seja possvel encontrar uma famlia de cartas locais coerentes para a folheacao,
dizemos que a folheac
ao e n
ao orient
avel. Um exemplo de folheacao orientavel e dado pelo exemplo 7,
exemplos de folheacoes nao orientaveis sao ilustrados pela figura 2.6.

Figura 2.6: folheacoes nao orientaveis

Com um pouco mais de trabalho pode-se mostrar que para toda folheacao orientavel pode-se encontrar um campo de vetores X : IR2 IR2 cujas trajetorias (solucoes da equacao diferencial x
= X(
x))
coincidem com as folhas da folheacao. Por exemplo, folheacoes dadas por submersoes globais suaves
f : IR2 IR sao orientaveis. Com efeito, basta lembrar que o campo vetorial gradiente f (x, y) e nao
nulo e perpendicular as curvas de nvel, assim o campo vetorial ortogonal ao vetor gradiente definido
por:
f
f
f (x, y) = ( (x, y),
(x, y)),
y
x
e tangente as curvas de nvel de f , portanto as trajetorias deste campo coincidem com a folheacao
definida por f , as proprias orientacoes das trajetorias induzem uma orientacao coerente nas folhas.
Usando o Teorema de Poincare Bendixon (ver [So], pagina 243), pode-se provar que folheacoes
orientaveis nao possuem folhas recorrentes nao triviais. Para folheacoes nao orientaveis H. Rosemberg
em [R] apresenta exemplos de folheacoes no plano com folhas recorrentes nao triviais, estes exemplos
sao chamados de Labirintos de Rosemberg. Outro assunto interessante a estudar sobre folheacoes e o
seguinte:
Quest
ao 3: Existe uma cadeia de inclus
oes pr
oprias da forma:
L
(F1 ) L
(F2 ) L
(F3 )?
No caso de folheacoes orientaveis temos que se L
(F1 ) L
(F2 ) L
(F3 ), entao segue do Teorema
de Poincare Bendixon que L
(F2 ) = L
(F3 ), assim podemos resumir dizendo que, toda cadeia numa
folheacao orientavel e de altura 1.
No caso de folheacoes nao orientaveis do plano, esta questao esta em aberto. Outros problemas
interessantes sao as respectivas extensoes sobre superfcies de dimensao 2. Uma referencia sobre estes
temas podem ser encontrados em [A-B-Z].


CAPITULO 2. FOLHEAC
OES
E TRANSVERSALIDADE

2.1.1

17

Componentes de Reeb

Consideremos a folheacao do exemplo 6, dada pela submersao f (x, y) = (x2 1)ey , restrito `a
faixa 1 x 1. Notemos que por cada ponto interior a essa faixa passa uma folha na forma de
parabolaassintotando as retas x = 1 e x = 1. A faixa com essa folheacao e chamada de Componente
de Reeb , ver figura 2.4-(a), a restricao da componente de Reeb `a semifaixa R = {(x, y); 1 x
1, y 0} e chamada de meia componente de Reeb, aqui usaremos a letra R para denotar a semifaixa
com a folheacao de Reeb induzida. As folhas {x = 1, y 0} IR2 e {x = 1, y 0} IR2 sao
chamadas de bordas tangentes de R e o intervalo {y = 0, 1 x 1} e chamado de bordo compacto
de R.
Dizemos que uma folheacao F possui uma meia componente de Reeb, se existe uma regiao A IR2
e homeomorfismo h : R A, que leva folha da componente de Reeb R em folha de F|A (onde F|A
denota a folheacao F restrita ao conjunto A).
Exemplo 8 No exemplo 4 captulo 1, a func
ao f (x, y) = e3x 3ex y + y 3 define uma folheac
ao singular
que possui uma componente de Reeb, ver figura 2.7

Figura 2.7:

2.2

Transversalidade

Uma curva parametrizada de classe C r e uma aplicacao vetorial : IR IR2 com (t) =
(x(t), y(t)), t IR, onde as componentes x e y sao funcoes reais de classe C r . A parametrizacao
e regular se o vetor tangente 0 (t) 6= 0 para todo t IR. Usaremos indistintamente para denotar a
parametrizacao da curva como para representar o lugar geometrico da mesma (isto e, (IR)), assim, de
agora em diante com a palavra curva entenderemos por uma curva parametrizada regular de classe C r
(r 1) ou simplesmente o lugar geometrico desta.
Dadas duas curvas , : IR IR2 , dizemos que intersecta transversalmente a se, =
ou para cada ponto na intersecao digamos p = (t0 ) = (s0 ) temos que os vetores tangentes as curvas
{0 (t0 ), 0 (s0 )} e um conjunto linearmente independente.
Toda curva regular de classe C r , pode ser vista localmente atraves de uma mudanca de coordenadas
de classe C r , como se fosse um intervalo de reta. Isto e, para cada t0 IR existe uma vizinhanca U IR2
em torno do ponto (t0 ), > 0 e um difeomorfismo h : (1, 1) (1, 1) U de classe C r , tal que
h (t) = (t, 0), t (t0 , t0 + ).
Este resultado faz parte de um resultado mais geral conhecido como teorema da forma local das imersoes,
seu enunciado e a prova podem ser encontrados em [L], pagina 290.


CAPITULO 2. FOLHEAC
OES
E TRANSVERSALIDADE

18

Lema 2 Sejam , : IR IR2 duas curvas regulares, suponhamos que intercepta transversalmente
no ponto p = (t0 ) = (s0 ), ent
ao existe > 0 tal que
(t0 , t0 + ) (s0 , s0 + ) = {p}.
Isto e, os pontos de intersec
ao transversais entre curvas s
ao isolados.
prova: Pela observacao anterior o intervalo
= {y = 0, 1 x 1} e a imagem pelo homeomorfismo
h1 do pedaco de curva (U ), podemos supor que h(0, 0) = p. Denotando por = h1 (U ) e modulo

reparametrizacoes podemos supor que

(0) = (0, 0) = (0).
Como h e um difeomorfismo, em particular
Dh(x, y) e um isomorfismo, preserva conjuntos linearmente independentes, entao {(Dh(0, 0)1 0 (t0 ) =
(1, 0), (Dh(0, 0)1 0 (s0 ) = 0 (0)} e um conjunto linearmente independente. Da transversalidade temos
que 0 (0) = (x0 (0), y 0 (0)) com y 0 (0) 6= 0, para fixar ideias podemos supor que y 0 (0) > 0. Como a funcao
y 0 e contnua, existe tal que y 0 (s) 6= 0 para todo < s < , logo a funcao y(s) e estritamente

crescente no intervalo (, ), em particular

(, ) (,
) = {(0, 0)}. Usando o fato que h e em
particular um homeomorfismo, levamos esta situacao ao caso original, o que completa a prova. Ver
figura 2.8.

Figura 2.8:
Teorema 6 (Propriedade de abertura) Sejam F uma folheac
ao e : IR IR2 uma curva regular
1
ambas de classe C . Se e transversal `
a folha regular Fp que passa pelo ponto p = (0), ent
ao existe
> 0 tal que e transversal `
a folha F(t) no ponto (t) para todo t (, ). Isto e, se a curva e
transversal a F num ponto, ent
ao esta curva e transversal a todas as folhas de F numa vizinhanca do
ponto.
prova: Seja h : (1, 1) (1, 1) U uma carta local da folheacao em torno do ponto p U com
h(0, 0) = p. Lembremos que por h podemos ver a folheacao F sobre (1, 1) (1, 1) dada pelos
segmentos horizontais, logo podemos considerar o campo vetorial constante X(q) = (1, 0) para todo
q (1, 1) (1, 1), isto e, tangentes aos intervalos horizontais. Denotemos por
(t) = h1 (t)
(pre-imagem de U), modulo uma reparametrizacao podemos supor que
(0) = (0, 0), entao
0 (0) =
0
0
0
0
(x (0), y (0)), pela transversalidade temos que y (0) 6= 0 para fixar ideias podemos supor que y (0) > 0,
pela continuidade de y 0 temos que existe um > 0 tal que y 0 (t) > 0 para todo t (, ). Consideremos
a funcao

1
0
(t) = det
= y 0 (t).
x0 (t) y 0 (t)
Como este determinante e positivo para todo t (, ), entao os vetores {(1, 0), (x0 (t), y 0 (t))} sao
linearmente independentes , logo
e transversal `as linhas horizontais sobre os pontos
(t) para todo
t (, ). Como os difeomorfismos preservam transversalidade o teorema esta provado.


CAPITULO 2. FOLHEAC
OES
E TRANSVERSALIDADE

19

O seguinte teorema envolve conceitos de perturbacao de curvas, intuitivamente podemos dizer

que a perturbacao de uma curva : [0, 1] IR2 e outra curva : [0, 1] IR2 de modo que a
distanciaentre as curvas d(, ) = max{k(t) (t)k; t [0, 1]} seja arbitrariamente pequena,
da mesma forma podemos definir a C 1 -distanciaentre curvas de classe C 1 como sendo d1 (, ) =
max{k(t) (t)k, k0 (t) 0 (t)k; t [0, 1]}. Neste u
ltimo caso estamos exigindo que alem dos graficos
de e estarem proximos, devem estar proximos os graficos das derivadas respectivas, neste caso
tambem dizemos que esta C 1 -proxima de .
Dizemos que as curvas e tem um ponto de tangencia c
ubica no ponto p = (0) = (0) se
0 (0) = a 0 (0), onde a e uma constante real, e na vizinhanca do ponto p a curva passa de um lado
da curva para outro lado.
ao e : IR IR2 uma
Teorema 7 (Densidade local da transversalidade) Sejam F uma folheac
curva regular ambas de classe C 1 . Se possui uma tangente c
ubica com a folha Fp no ponto p = (0),
ent
ao existe uma curva
que esta C 1 -pr
oxima de e e transversal `
a folheaca
o F numa vizinhanca do
ponto p.
Este teorema diz em particular que, se a curva possui uma tangente c
ubica com a curva no
ponto p = (0) = (0), entao existe uma perturbacao
que esta C 1 -proxima de e e transversal a .
Mais ainda podemos modificar a curva somente numa vizinhanca do ponto p de modo a obter esta
transversalidade. A demonstracao deste teorema e muito elaborada para as pretensoes destas notas,
mas usaremos este resultado no proximo captulo.
Observemos a seguinte situacao que encontraremos com frequencia no proximo captulo: consideremos a folheacao do exemplo 6, figura 2.4-(a), fixados dois pontos qi = (xi , yi ), i = 1, 2, com
x1 < 1 < 1 < x2 , e uma curva : [0, 1] IR2 de classe C 1 com (0) = q1 e (1) = q2 , entao
usando os dois teoremas anteriores podemos perturbar de modo a encontrar uma curva transversal
`a folheacao em todo ponto exceto um, no qual temos uma tangencia quadratica. Em outras palavras nao tem forma de passar de um lado ao outro da componente de Reeb transversalmente, sempre
encontraremos um ponto de tangencia quadratica.

Maximos locais versus maximos globais

20

Captulo 3

M
aximos globais vs. Componentes
de Reeb
3.1

Curvas em posic
ao geral

De agora em diante f : IR2 IR denotara uma aplicacao de classe C 2 , com um u

nico ponto crtico
p0 , que sera um ponto de maximo local da funcao f . A folheacao (singular) induzida sobre IR2 por
f denotaremos por F. Do Lema de Morse (teorema 4), temos que as folhas de F restritas a uma
vizinhanca U do ponto crtico sao curvas simples fechadas (trajetorias fechadas).
Observa
c
ao 2 Se : [0, 1] IR2 e uma curva simples (isto e, sem-autointersec
oes ), regular e
transversal `
a folheac
ao F, ent
ao a func
ao f | restrita a e estritamente crescente ou estritamente
decrescente.
Com efeito, o vetor tangente `a curva e o vetor tangente `a folheacao ao longo da curva formam um
conjunto linearmente independente {0 (t), f ((t))}, entao o vetor 0 (t) forma um angulo agudo
com f ((t)) para todo t [0, 1] ou forma um angulo obtuso para cada t [0, 1]. No primeiro caso,
temos que a curva atravessa curvas de nvel inferiores para nveis superiores, com isto f | e estritamente
crescente. No outro caso, temos que f | e estritamente decrescente.
Uma curva simples, regular e de classe C r , : [0, 1] IR2 sera chamada simplesmente de curva
mergulhada de classe C r . Dizemos que uma curva mergulhada esta em posic
ao geral com a folheacao
F, se existe um subconjunto finito G ([0, 1]) tal que:
(i) ([0, 1]) \ G e transversal a F,
(ii) ([0, 1]) possui tangencias quadraticas com F em cada ponto de G,
(iii) Cada folha de F pode tangenciar no maximo num ponto.
Nao e difcil se convencer que, dada uma folheacao regular e seja : [0, 1] IR2 uma curva simples
regular, entao dos teoremas de transversalidade 6 e 7 podemos encontrar uma curva proxima de com
os mesmos extremos e transversal `a folheac
ao, exceto possivelmente num conjunto finito de pontos, onde
e tangente e do tipo quadratico. Para obter a partir de uma curva em posicao geral, esta faltando


CAPITULO 3. MAXIMOS
GLOBAIS VS. COMPONENTES DE REEB

21

conseguir a condicao (iii). Esta condicao nem sempre e possvel obter por pequenas perturbacoes de
. O seguinte lema ensina, em particular, obter estas curvas em posicao geral.
Lema 3 (posi
c
ao geral) Seja f : IR2 IR uma submers
ao de classe C r (r 1). Suponhamos que
2
existam pontos p0 , q1 IR tal que f (p0 ) = f (q1 ). Ent
ao existe uma curva mergulhada : [0, 1] IR2
com (0) = p0 e (1) = q1 que satisfaz:
(i) A curva e transversal `
a folheac
ao F induzida por f , exceto num subconjunto finito n
ao-vazio
G ([0, 1]) de pontos de tangencias quadr
aticas.
(ii) Se uma folha F e tangente a no ponto q, ent
ao F = {p}. Toda folha de F transversal a
intersecta esta no m
aximo em dois pontos. As folhas F(0) e F(1) n
ao interseptam ((0, 1)).
Prova: Do comentario anterior, para mostrar (i) falta apenas mostrar que o subconjunto G e nao-vazio.
Com efeito, por absurdo, suponhamos que e transversal a F em todos seus pontos. Da observacao2
temos que f restrito a sera estritamente crescente ou estritamente decrescente. Considerando o
primeiro caso, temos f (p0 ) < f (q1 ) o que contradiz a hipotese, isto mostra (i). O segundo caso e
tratado de modo analogo. Denotamos por 1 a curva que satisfaz (i).
Antes de mostrar (ii) e (iii) consideremos a seguinte situacao: suponhamos que uma folha F
intersecta nos pontos p e q, transversalmente em p e tangencialmente em q de modo que o segmento
de folha compreendido entre os ponto p e q ([p, q]F ) intersecta exatamente em {p, q}. Denotando por
[p, q] o segmento de compreendido entre os ponto p e q, podem acontecer os seguintes dois casos:
(a) Uma pequena vizinhanca da folha F no ponto de tangencia q intersecta o exterior da regiao
limitada pelas curvas [p, q]F [p, q] , ver figura 3.1-(a).
(b) Uma vizinhanca da folha F no ponto de tangencia q esta contida na regiao limitada pelas curvas
[p, q]F [p, q] , ver figura 3.1-(b).

q
F

fig. a

fig. b

Figura 3.1:
No caso (a), podemos cobrir o intervalo limitado [p, q]F por um n
umero finito de cartas locais
da folheacao F, assim conseguimos uma faixa (fina) W formada por pedacos de folhas paralelas a
[p, q]F , W pode ser visto como imagem de uma aplicacao : (1 , 1 + ) (, ) W, onde
{(t, 0); t [1, 1]} = [p, t]F , e para cada s (, ) temos que {(t, s); t (1 , 1 + )} esta
contida numa folha, podemos escolher W de modo que intersecte em dois intervalos disjuntos, ver
figura 3.2-(a).
Munindo de uma orientacao, escolhendo pontos p, q W [p, q] com p < p e q > q. Modificamos
substituindo o intervalo [
p, q] por uma segmento ligando p a q, contido em W e transversal `a


CAPITULO 3. MAXIMOS
GLOBAIS VS. COMPONENTES DE REEB

22

folheacao, representado pela linha descontinua na figura 3.2-(a). Com esta modificacao de obtemos
uma nova curva com um ponto de tangencia a menos.
No caso (b), o pedaco de folha Fq que entra na regiao limitada pelas curvas [p, q]F [p, q] nao
pode ficar presa nesta regiao, porque isto contradiz a observacao 1 do captulo 2, isto e, Fq teria que se
acumular em alguma trajetoria regular dentro da regiao, o que lhe e proibido. Assim Fq deve sair desta
regiao, essa saida sera transversal ao intervalo (p, q) . Nao e difcil ver que escolhendo adequadamente
os segmento de trajetoria estaremos na mesma situacao do caso (a).
Prova de (ii) e (iii), para construirmos a curva desejada, comecamos a modificar 1 a partir do
ponto p1 . No caso que a folha de um dos extremos digamos Fp1 \ {p1 } intersecta 1 , o n
umero
de pontos de intersecao e finito, sem perda de generalidade podemos supor que tenha um ponto de
intersecao, denotamos este por . Se Fp1 e tangente a 1 em , basta modificar 1 numa vizinhanca
de para evitar este ponto de contacto, assim podemos supor que Fp1 e tranversal a 1 no ponto .
Pelos argumentos anteriores podemos construir uma faixa fina W dada como imagem de uma aplicacao
: (1 , 1 + ) [0, ) U, onde {(t, 0); t [1, 1]} = [p1 , ]F , e para cada s [0, ) fixo temos
que {(t, s); t (1 , 1 + )} esta contida numa folha. Modificamos 1 como mostra a figura 3.2 por uma curva sempre
(b), isto e, orientando 1 escolhemos < e substitumos o intervalo [p1 , ]
1
satisfaz (iii).
transversal, dada pela linha pontilhada. Com esta modificacao o novo segmento [p1 , ]
1

W
p p

q q
1

a fig.

fig. b

Figura 3.2:
. A partir de procuramos a proxima folha que intersecte
Agora falta modificar o segmento [p0 , ]
1
[p0 , q1 ]1 nao satisfazendo o item (ii), notemos que se uma folha intersecta 1 transversalmente e
num n
umero mpar de pontos, maior ou igual a tres, por uma modificacao igual ao caso (a) entre o
primeiro e u
ltimo ponto de intersecao podemos modificar 1 de modo que num segmento maior temos
a propriedade (ii), como 1 tem comprimento finito, apos um n
umero finito de modificacoes seja do
caso (a) ou (b), obteremos a curva desejada.

Lema 4 (Tang
encia e componente de Reeb) Seja f : IR2 IR uma submers
ao de classe C 1 .
2
Suponhamos que existem pontos p0 , q1 IR tal que f (q1 ) = f (p0 ) e seja : [0, 1] IR2 um mergulho
com (0) = p0 e (1) = q1 satisfazendo o lema 3, suponhamos ainda, que as folhas Fp0 e Fq1 s
ao
disjuntas. Ent
ao existe uma correspondencia um a um entre os pontos de tangencia de F sobre com
as meias componentes de Reeb de F que intersectam .
Prova: Do lema 3 anterior temos que as folhas Fp0 e Fq1 intersectam ([0, 1]) somente nos pontos p0 e
q1 , respectivamente. Como f (q1 ) = f (p0 ) do lema anterior F tem pelo menos um ponto de tangencia,
digamos q.
Observando as folhas de F ao redor de uma vizinhanca do ponto q, podemos ver que existem subarcos
fechados [q1 , q] e [q, q2 ] de ([0, 1]) com [p1 , q] [q, q2 ] = {q}, e uma aplicacao T : [q1 , q] [q, q2 ] tal


CAPITULO 3. MAXIMOS
GLOBAIS VS. COMPONENTES DE REEB

23

que:
(a) T (q1 ) = q2 , T (q) = q e para cada x (q1 , q], existe um arco de folha que denotaremos por
[x, T (x)]|F de F com incio em x e termino em T (x), encontrando ([0, 1]) transversalmente e
exatamente sobre {x, T (x)}, ver figura 3.3;
(b) a famlia de arcos de folhas [x, T (x)]|F ; x (q1 , q] varia continuamente com x, logo T (x) q
quando x q.
Assim T e um homeomorfismo sobre sua imagem.

q
1

q
2

Figura 3.3:
Seja I = (1 , 2 ) ([0, 1]) o domnio maximal da extensao do homeomorfismo T , satisfazendo(a).
Podemos notar que os pontos extremos q1 e q2 nao estao no domnio de T , pois por hipotese as folhas
Fp0 e Fq1 sao disjuntas, logo 1 , 2 ([0, 1]), e as folhas F1 e F2 sao disjuntas, transversais a , e
contem as bordas tangentes da componente de Reeb com bordo compacto [1 , 2 ] .
Assim, como q e o u
nico ponto de tangencia de com a folheacao F contido em [1 , 2 ] , entao para
cada ponto de tangencia temos associado uma u
nica meia componente de Reeb de F. Reciprocamente,
a cada meia componente de Reeb de F que intersecta corresponde-lhe um u
nico ponto de tangencia.

3.2

Prova do teorema

Teorema 8 Seja f : IR2 IR uma func

ao de classe C r (r 2) e p0 o u
nico ponto crtico, supondo
que p0 e ponto de m
aximo local, se a folheaca
o F (definida por f ) n
ao possui meias componentes de
Reeb, ent
ao p0 e ponto de m
aximo global.
Prova: Por absurdo, suponhamos que existe um ponto p1 IR2 \ {p0 } tal que f (p1 ) f (p0 ). Basta
supor que f (p1 ) = f (p0 ), pelo lema de Morse (teorema 4), as curvas de nvel de f numa vizinhanca do
ponto p0 sao curvas simples fechadas de classe C 2 . Consideremos uma curva mergulhada : [0, 1] IR2
ligando o ponto p0 = (0) a p1 = (1) e transversal as curvas fechadas em torno de p0 . Podemos supor
que esta curva satisfaz o teorema 3, logo o subconjunto finito G ([0, 1]) de pontos de tangencia de
F com e nao-vazio e do teorema 4 a folheacao F possui pelo menos uma meia componente de Reeb,
isto e uma contradicao.
Os exemplos que seguem ilustram o teorema.


CAPITULO 3. MAXIMOS
GLOBAIS VS. COMPONENTES DE REEB

24

Exemplo 9 Seja f : IR2 IR dada por f (x, y) = 3ex y e3x y 3 , f possui um u

nico ponto crtico, que
e ponto de m
aximo local mas n
ao e ponto de maximo global. Podemos visualizar a meia componente
de Reeb da folheac
ao definida por f , ver figura 3.4.

Figura 3.4:
Exemplo 10 Seja f : IR2 IR dada por f (x, y) = y 2 (x 1)3 x2 , e outro exemplo com as mesmas
caractersticas que o exemplo anterior porem e uma func
ao polinomial, possui um u
nico ponto crtico,
que e ponto de m
aximo local e n
ao e ponto de m
aximo global e a folheac
ao definida por f possui meia
componente de Reeb, ver figura 3.5.

Figura 3.5:
Suponha que tenhamos uma funcao com um u
nico ponto crtico, sendo ponto de maximo global.
Sera que a folheacao induzida possui meia componente de Reeb? Em outras palavras, vale o recproco
do teorema anterior?
Olhando para a construcao dos contra-exemplos em [S1], podemos ver que e facil a construcao de
exemplos com pontos de maximo global cuja folheacao possui um n
umero arbitrario de meias componentes de Reeb. A proposito destes contra-exemplos, o autor antes de tomar conhecimento dos
exemplos algebricos 9 e 10, ja tinha feito esta construcao em [S1] e aqui aparece conscientemente o
papel desempenhado pelas meias componentes de Reeb. Por outro lado, esta construcao e de muita
valia para elavorar exemplos e contra-exemplos com diversos fenomenos, usando o processo de colagem
de funcoes.

3.3

Refer
encias

[A-B-Z ] Aranson S. Belitsky G. Zhuzoma E. Introduction to the qualitative theory of dinamical systems
on surfaces. Mathematical monographs V 153 (1996).
[MU ] Secao de problemas, Revista Matematica Universitaria N 20/21, p 62, 1996.
[R ] Rosemberg, H. Labyrinths in the disc and surfaces. Annals of Mathematics, 117 (1983), 1-33.
[S1 ] Sarmiento, Alberto. Problema do m
aximo. Matematica Universitaria N 22/23, p 53-56, 1997.
[L ] Lima, Elon. Curso de an
alise, vol 2, projeto Euclides N.13 (terceira edicao), 1989. Inc. (1964).
[San ] Santos, Reginaldo. Um curso de geometria analitica e
algebra linear, Imprensa Universitaria da
UFMG, 2002.
[So ] Sotomayor J. Lic
oes de equac
oes diferenciais ordin
arias, Projeto euclides N. 11, 1979.