Professional Documents
Culture Documents
(projeto em "desenvolvimento)
Celso M Doria
ii
Sumrio
1 Introduo
2 Diferenciao no Rn
2.1 Diferenciabilidade de funes f : Rn R . . . . . . .
2.1.1 Derivada Direcional . . . . . . . . . . . . . . . .
2.1.2 Diferenciabilidade de uma Funo . . . . . . .
2.1.3 Diferenciais . . . . . . . . . . . . . . . . . . . . .
2.1.4 Derivadas Mltiplas . . . . . . . . . . . . . . . .
2.1.5 Diferenciais de ordem superior . . . . . . . . .
2.2 Frmula de Taylor . . . . . . . . . . . . . . . . . . . . .
2.3 Singularidades e Extremos Locais . . . . . . . . . . . .
2.3.1 Funes de Morse . . . . . . . . . . . . . . . . .
2.4 Teorema da Funo Implcita e Aplicaes (TFIm) . . .
2.5 Multiplicadores de Lagrange . . . . . . . . . . . . . . .
2.6 Aplicaes Diferenciveis I . . . . . . . . . . . . . . . .
2.6.1 Conceitos Bsicos . . . . . . . . . . . . . . . . .
2.6.2 Forma Local das Imerses . . . . . . . . . . . .
2.6.3 Forma Local das Submerses . . . . . . . . . .
2.6.4 Generalizao do Teorema da Funo Implcita
2.7 Variedades Diferenciveis . . . . . . . . . . . . . . . . .
2.7.1 Grupos de Lie . . . . . . . . . . . . . . . . . . .
3 Diferenciao em Espaos de Banach
3.1 Introduo e Exemplos . . . . . . . . . . . . .
3.2 Operadores Lineares em Espaos Normados
3.2.1 Funcionais Lineares . . . . . . . . . .
3.2.2
Espectro de um Operador Linear . .
1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
9
10
13
18
19
21
22
24
28
30
39
42
42
49
53
56
58
61
.
.
.
.
63
63
66
70
71
SUMRIO
3.3
3.4
3.5
3.6
Celso M Doria
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4 Integrao Vetorial
4.1 Clculo Vetorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1.1 Integral de Linha . . . . . . . . . . . . . . . . . . . . . . . .
4.1.2 Integral de Superfcie . . . . . . . . . . . . . . . . . . . . .
4.2 Teoremas Clssicos de Integrao . . . . . . . . . . . . . . . . . . .
4.3 Teoria do Potencial . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4 lgebra Tensorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4.1 Produto Tensorial . . . . . . . . . . . . . . . . . . . . . . . .
4.4.2 lgebra Tensorial . . . . . . . . . . . . . . . . . . . . . . . .
4.4.3 lgebra Exterior . . . . . . . . . . . . . . . . . . . . . . . . .
4.5 Formas Diferenciais . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5.1 Derivada Exterior . . . . . . . . . . . . . . . . . . . . . . . .
4.5.2 Cohomologia de De Rham . . . . . . . . . . . . . . . . . . .
4.5.3 Cohomologia de De Rham da Esfera . . . . . . . . . . . . .
4.6 Teorema de Stokes . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.7 Aplicaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.7.1 Funes harmnicas . . . . . . . . . . . . . . . . . . . . . . .
4.7.2 Formulao Geomtrica da Teoria Eletromagntica . . . .
4.7.3 Mtodo do Referencial Mvel para Superfcies S R3 . .
4.8 Integrao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.8.1 Definies Bsicas . . . . . . . . . . . . . . . . . . . . . . .
4.8.2 Conjuntos de Medida Zero . . . . . . . . . . . . . . . . . . .
4.8.3 Funes Integrveis . . . . . . . . . . . . . . . . . . . . . . .
4.8.4 Teorema de Fubini . . . . . . . . . . . . . . . . . . . . . . . .
4.8.5 Parties da Unidade . . . . . . . . . . . . . . . . . . . . . .
4.8.6 Teorema da Mudana de Varivel para Integrais Mltiplas
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. 77
. 81
. 82
. 84
. 88
. 88
. 89
. 90
. 92
. 94
. 97
. 102
. 105
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
115
115
115
117
120
122
129
129
131
132
142
145
148
152
152
157
157
157
157
158
158
160
161
164
166
169
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
SUMRIO
Celso M Doria
Agradecimentos
A motivao para realizar este trabalho vem da necessidade de passar para as novas geraes de matemticos o conhecimento avanado de Clculo, este conquistado pelas pesquisas
em Matemtica e as suas aplicaes dentro e fora da Matemtica. Considero a extenso das
tcnicas de Clculo Diferencial para Espaos de Banach uma das grandes contribuies do
pensamento abstrato para o mundo prtico das Equaes e suas consequncias. No que tange
a teoria de Formas Diferenciais e a teoria de integrao diria que pouco podemos incluir,
apenas a parte terica. Agradeo por ter tido a opoutunidade de durante a minha formao
ter tido contato com matemticos que me motivaram e ensinaram este contedo, em especial
meu orientador de doutorado Professor James Eells (in memorium).
Agradeo aos alunos do Programa de Ps-Graduao em Matemtica Pura e Aplicadada,
turmas 2011 e 2012, que serviram como cobaias para as minhas notas de aula, precrias, e
tambm ao Professor Ruy Exel, coordenador do Programa, que me deu a oportunidade para
esta "experincia". Agradeo a Universidade Federal de Santa Catarina pela infra-estrutura
e a Fundao de Apoio a Pesquisa e Inovao do Estado de Santa Catarina1 pelo apoio
financeiro que possibilitou iniciar este trabalho que ainda encontra-se em andamento.
SUMRIO
Celso M Doria
Captulo
1
Introduo
O objetivo destas notas apresentar um estudo das tcnicas de Diferenciao e de Integrao de aplicaes diferenciveis e algumas situaes onde so teis para resolverem
problemas.
Nos cursos de Clculo so ensinados o Clculo de funes de uma varivel real e o
Clculo de funes de vrias variveis reais. No caso de uma varivel real, os principais
resultados so (a) a existncia de mximos e mnimos para uma funo diferencivel definida
num conjunto compacto e (b) o Teorema Fundamental do Clculo. Ao tratar o caso de vrias
variveis, os principais resultados so generalizaes dos casos (a) e (b), sendo que o caso
(b) conhecido como Teorema de Stokes.
Na poca da passagem do milnio, no final do ano 1999 do calendrio Gregoriano, haviam
muitas especulaes relativas aos desenvolvimentos alcanados no 1o milnio. Um dia, na sala
de espera de um consultrio mdico, havia uma revista listando os resultados mais importantes
no decorrer do 1o milnio para o desenvolvimento do conhecimento humano como um todo.
Para a minha grata surpresa, um dos resultados citados era o Teorema Fundamental do
Clculo. Nem eu havia pensando nisto, mas de pronto concordei com a aludida incluso, no s
por ser um matemtico mas porque um fato que toda a Mecncia Clssica, a Termodinmica
e o Eletromagnetismo foram desenvolvidos com o uso da linguagem do Clculo. Portanto,
os avanos tecnolgicos alcanados pela cincias da exatas e sociais fizeram largo uso das
tcnicas de Clculo.
Quando nos referimos ao Clculo de forma geral estamos nos referindo as tcnicas de
diferenciao e de integrao. Nos livros didticos, o estudo da derivada precede o da Integral,
mas historicamente no ! Arquimedes j trabalhava com os processos de soma usadas para
definir a integral de uma funo. O conceito de derivada posterior a introduo da Geometria
Analtica, sendo conhecido por alguns matemticos do sculo XVI por conta da utilidade para
efetuar o clculo da taxa de variao relativa de uma quantidade. No perodo citado, as idias
na Fsica estavam evoluindo rapidamente aps Galileu ter introduzido o mtodo cientfico, com
5
Celso M Doria
isto o desenvolvimento da Mecnica era latente. Isaac Newton desenvolveu o mtodo dos
Fluxos para chegar as leis que regem a Mecnica Clssica e aplic-las para demonstrar as
Leis de Kepler. A 3a Lei de Newton afirma que uma fora ao agir sobre um corpo de massa m
resulta numa taxa relativa de variao da velocidade em relao ao tempo. Mais precisamente,
na linguagem matemtica atual, a 3a Lei diz que se a fora agindo sobre um corpo de massa
~ e a velocidade do corpo ~v, ento F
~ = m d~v . Ou seja, a derivada
m o campo vetorial F
dt
essencial para a formulao da Lei. Este um mtodo muito eficiente, o de entender o
comportamento de uma quantidade a partir da sua taxa relativa de variao, ou seja, a partir
de informaes locais da quantidade estudada. Mas surge a questo; se a taxa relativa
de variao conhecida como podemos determinar a quantidade ? Foi para responder esta
pergunta que surgiu o Teorema Fundamental do Clculo, conectando a derivada integral.
Enquanto a integral d informaes globais a derivada d informaes locais. Almejo neste
texto que, aps o trmino da leitura, a natureza local de diferenciao e a global de integrao
tornem-se evidente ao leitor.
No sculo XIX, a Mecncia Clssica estava madura e graas a ela o Cculo tambm; isto se
ignorarmos as questes dos "fundamentos", como limites, nmeros reais e convergncia, todas
elas tratadas posteriormente na Anlise Matemtica. Foi ento que surgiu o Eletromagnetismo que culminou com as equaes de Maxwell. O eletromagnetismo serviu de fonte de
motivao para o desenvolvimento do Clculo Vetorial, que obviamente j era razoavelmente
desenvolvido em funo do desenvolvimento da Mecnica dos Fludos, do formalismo Lagrangeano para a Mecnica Lagrangeana e dos Quatrnions por Richard Hamilton. A diferena
foi no grau de aplicabilidade resultante do domnio prtico e terico da teoria da eletricidade
e do magnetismo, pois em decorrncia da teoria eletromagntica a revoluo industrial passou
de motores a vapor para motores eltricos implicando num desenvolvimento sem precedentes.
Assim, nada mais til do que descrever o eletromagnetismo numa linguagem de auto nvel, o
que levou ao formato dos teoremas de integrao estudados nos livros de Clculo. As formas
diferenciais surgiram naturalmente dentro do processo de buscar uma linguagem mais precisa
e sucinta. A formulao de Maxwell do eletromagnetismo consiste de 12 equaes, Heaviside
introduziu os operadores vetoriais (rotacional) e .(divergente) usou apenas 4 equaes,
e usando formas diferenciais bastam 2 equaes. A reduo numrica advm da aplicao
de estruturas matemticas presentes na natureza da teoria e reveladas com a maturidade do
conhecimento.
Como de se supor, o Clculo tem suas limitaes e elas formam o escopo das questes
abordadas no campo da Anlise Matemtica. Estas limitaes tornam-se importantes ao
generalizarmos o Clculo para o Clculo das Variaes, sobre o qual baseiam-se a formulao
lagrangeana e hamiltoniana da Mecnica dentro muitos outros tpicos da Matemtica pura
e da Matemtica aplicada.
O desenvolvimento do Clculo motivou o desenvolvimento de diversos outras reas da
Matemtica, dentre eles a lgebra Linear que ganhou status de disciplina em currculos em
meados do sculo XX. Hoje em dia, podemos afirmar que a Matemtica conta com um aparato
de tcnicas e ferramentas suficientes para resolver teoricamente os problemas da lgebra
autor: Celso M Doria
CAPTULO 1. INTRODUO
Celso M Doria
Celso M Doria
Captulo
2
Diferenciao no Rn
A anlise do comportamento de uma funo, to importante para as aplicaes, eficientemente realizada estudando a maneira como a funo varia. Este captulo devotado a
estender tanto quanto possvel as tcnicas usadas no estudo de funes f : I R, definidas
num intervalo aberto I R, para funes f : U Rm definidas sobre um aberto U Rn . O
estudo das funes de vrias variveis se faz necessrio devido a diversas razes dentre elas a
importncia das transformaes de coordenadas para a simplificao de problemas tais como
resolver integrais e equaes diferenciais. Ao tratarmos a situao mais geral nos deparamos
com novos e desafiadores fenmenos.
2.1
Diferenciabilidade de funes f : Rn R
4x0
4x0
No caso de uma funo de duas variveis a verificao da continuidade torna-se uma questo
mais complicada como mostram os exemplos a seguir;
1. Seja a funo f(x, y) definida por
9
(
f(x, y) =
xy
,
x 2 +y2
0, (x, y) = (0, 0)
Celso M Doria
(2.1)
t0
t0
a
a
=
.
1 + a2
1 + a2
Porque o limite varia dependendo da inclinao da reta, segue que f(x, y) no contnua
na origem (ver figura ).
2. Este exemplo mostra que o comportamento dos valores de uma funo na vizinhana de
um ponto bastante sutil. Considere a funo
(
f(x, y) =
xy3
x 4 +y2
0, (x, y) = (0, 0)
Ao estudarmos o limite (x, y) (0, 0) sobre as retas (t) = (t, at), a R, obtemos que
limt0 f((t)) = 0 sugere que a funo contnua na origem. Porm, ao estudarmos a
a2
aproximao atravs das parbolas (t) = (t, at 2 ) obtemos que limt0 f((t)) = 1+a
2.
Na figura o grfico indica de maneira precria que as parbolas aproximam-se do eixo-z.
Conclumos dos exemplos que demasiadamente complicado estudar o comportamento
de uma funo na vizinhana de um ponto, pois ao passarmos o limite relevante a
maneira como estamos nos aproximando do ponto.
2.1.1
Derivada Direcional
f
v (p)
f
f(p + t~v) f(p)
(p) = lim
t0
v
t
autor: Celso M Doria
10
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
xy
x 2 +y2
xy3
x 4 +y2
f
f(0, t) f(0, 0)
(0, 0) = lim
=0
t0
y
t
11
Celso M Doria
(2.2)
O lado direito da equao 2.4 depende apenas dos valores de p e ~v. Alm disto, usando o
produto interno < ., . >: R2 R2 R a equao 2.4 fica na forma
f
f
f
(p) =< ( (p),
(p)), (v1 , v2 ) > .
v
x
y
De maneira anloga, para o caso geral f = f(x1 , . . . , xn ) temos a expresso
f
f
f
(p) =< (
(p), . . . ,
(p)), (v1 , . . . , vn ) > .
v
x1
xn
Desta maneira, motivados pelo caso acima, consideramos a seguinte situao: U R3 ,
f : U R de classe C 1 , : (, ) R, (t) = (1 , (t), 2 (t), 3 (t)), uma curva de classe C 1
tal que (0) = p = (p1 , p2 , p3 ) e 0 (0) = ~v = (v1 , v2 , v3 );
f
f((t)) f(p)
f((1 , (t), 2 (t), 3 (t))) f(p1 , p2 , p3 )
(p) = lim
= lim
=
t0
t0
v
t
t
1
1
= lim {f((1 , (t), 2 (t), 3 (t))) f(p1 , 2 (t), 3 (t))} + lim {f(p1 , 2 (t), 3 (t)) f(p1 , p2 , 3 (t))} +
t0 t
t0 t
1
f
1 (t) p1
+ lim {f(p1 , p2 , 3 (t)) f(p1 , p2 , p3 )} =
(c1 , 2 (t), 3 (t)).
+
t0 t
x1
t
f
f
2 (t) p2
3 (t) p3
+
(p1 , c2 (t), 3 (t)).
+
(p1 , p2 (t), c3 (t)).
x2
t
x3
t
onde o Teorema do Valor Mdio garante a existncia de c1 , c2 , c3 tais que c1 (p1 , 1 (t)),
c2 (p2 , 2 (t)) e c3 (p3 , 3 (t)). Uma vez que C 1 , existem d1 , d2 e d3 em (0, t) tal que
autor: Celso M Doria
12
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
0 (d1 ).t
0 (d2 ).t
f
f
f
+
(p) = lim
(c1 , 2 (t), 3 (t)). 1
+
(p1 , c2 (t), 3 (t)). 2
t0 x1
v
t
x2
t
30 (d3 ).t
f
f
f
f
+ lim
=
(p1 , p2 (t), c3 (t)).
(p).v1 +
(p).v2 +
(p).v3 =
t0 x3
t
x1
x2
x3
f
f
f
=< (
(p),
(p),
(p)), (v1 , v2 , v3 ) >
x1
x2
x3
ou seja, sob as hipteses acima a derivada direcional
e do vetor ~v pertencente ao plano tangente Tp U.
2.1.2
f
v (p)
r(~v)
|~v|
(2.3)
= 0.
r(~v)
|~v| .
| ~v |= 0. Portanto,
~v0
~v0
~v0
No que segue, no ser mais usada a notao ~v para designarmos os vetores, usaremos apenas
v, cabendo ao leitor a responsabilidade pela compreenso do contexto. Ao considerarmos o
v
f
vetor unitrio v = |v|
, decorre da definio que dfp .v =
v , uma vez que
f(p+ | v | v ) f(p)
v
r(v)
=
dfp .
|v|
|v|
|v|
13
Celso M Doria
n
X
f
(x).vi ,
xi
i=1
segue que
n
r(v)
vi
f(x1 + v1 , . . . , xn + vn ) f(x1 , . . . , xn ) X f
(x).
= lim
=
v0 | v |
v0
|v|
xi
|v|
0 = lim
i=1
n
vi
f X f
(x).
=
v
xi
|v|
i=1
Pn f
vi
f
Portanto, dfx .v =
i=1 xi (x). |v| . A linearidade do funcional dfx : Tx U R imediata
v =
da identidade obtida, a qual pode ser escrita na forma
dfx .v =< (
f
f
,...,
)(x), (v1 , . . . , vn ) >, v Tx U
x1
xn
(2.4)
14
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
O diferencial de uma funo f C 1 (U) induz a aplicao x dfx . Seja L(Rn ; R) o espao
dos funcionais lineares do Rn . A condio de f ser diferencivel significa que a aplicao
df : U L(Rn ; R), x dfx , contnua.
Para estudarmos a variao de uma funo escolhemos uma curva no domnio, conforme ilustra o seguinte caso: considere p U e : (, ) U uma curva C 1 , (t) =
(1 (t), . . . , n (t)), tal que (0) = p e 0 (0) = v, a taxa de variao relativa a varivel t da
funo h(t) = f((t)), h : (, ) R, dada em cada instante t pela funo derivada h0 (t)
obtida como segue;
n
h0 (t) =
X f
d[f((t))]
d[i (t)]
((t)).
= df(t) . 0 (t) =< f((t)), 0 (t) >=
.
dt
xi
dt
(2.5)
i=1
C 1 (U)
Se f
uma funo constante, ento f(x) = 0, x U. Para provarmos a afirmao
recprova precisamos assumir que o conjunto U seja conexo. Inicialmente, seja U um aberto
convexo e f C 1 (U), isto , para todo par x, y U o segmento de reta : [0, 1] U,
(t) = x + t(y x), esta contido em U. Uma vez que f e so de classe C 1 , o Teorema do
Valor Mdio aplicado a funo h = f : [0, 1] R garante a existncia de c (0, 1) tal
que
h(1) h(0) = h0 (c) =< f((c)), 0 (c) >=< f((c)), y x > .
Segue da continuidade das derivadas parciais de f que existe M = maxt[0,1] | f((t)) |.
Sendo assim, para todo par x, y U vale a estimativa
| f(y) f(x) | M | y x |
(2.6)
15
Celso M Doria
d[f((t))]
=< f((t)), 0 (t) >=| f((t)) | . | 0 (t) | cos((t)).
dt
0=
d[f((t))]
=< f((t)), 0 (t) > .
dt
Ik {1, . . . , n}k e C (U) o conjunto das f C k (U) para todo k N. Mostre que
C k (U) um anel para todo k N.
autor: Celso M Doria
16
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
n
X
i=1
xi
f
xi
x3
,
x 2 +y2
0, (x, y) = (0, 0)
no diferencivel na origem.
4. Seja f(x, y, z) = ex
f(t, t 2 ),
calcule
2 +yx+ln(z)
f f
f
x , y , z .
Se h(t) =
dh
dt .
= 0.
x 2
t 2
Suponha que f C 2 (U) uma soluo da equao acima. Mostre que aps a mudana
2
de coordenada x 0 = x + t, t 0 = x t, f satisfaz a equao x0 tf 0 = 0. Conclua que
existem funes , : I R C 2 (I), definidas num intervalo I, tais que f(x, t) =
(x + t) + (x t).
autor: Celso M Doria
17
Celso M Doria
1
2
| At (A.x0 y0 ) |
.
| At A(A.x0 y0 ) |
| At (A.xn y0 ) | t
A (A.xn y0 ), n N
| At A(A.xn y0 ) |
e mostre que a sequncia {xn }nN converge para uma soluo da equao linear
A.x = y0 .
2.1.3
Diferenciais
(2.7)
P
n
f
i=1 xi (p).dxi
df =
n
X
f
.dxi ,
xi
i=1
18
(2.8)
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
O Teorema do Valor Mdio nos garante que existem (x, x + 4x) e (y, y + 4y) tal
que
4(x,y) f =
f
f
(, y + 4y).4x +
(x, ).4y.
x
y
2.1.4
Derivadas Mltiplas
f
a partir da funo f C 1 (U), podemos gerar
Da mesma forma que geramos as funes x
i
f
f
. Ao assumirmos que x
C 1 (U), i = 0, . . . , n, temos n2 funes
as funes x j x
i
i
2 f
f
=
C 0 (U), (i, j) {1, . . . , n}2 .
xj xi
xj xi
k1 f
=
xik . . . xi1
xik xik1 . . . xi1
A funo f de classe C 2 (U) se (i)
f
xi
2 f
xi1 xi2
C 0 (U),
(i1 , i2 ) {1, . . . , n}2 . De forma sucessiva, dizemos que f C k (U). O seguinte resultado,
conhecido como Teorema de Schwarz, d a condio suficiente para que as derivadas parciais
comutem;
Teorema 2.3. Se f C 2 (U), ento para quaisquer i, j {1, . . . , n} e x U, temos que
f
=
xj xi
xi xj
autor: Celso M Doria
19
Celso M Doria
(x) =
xi
f
(x, t)dt
xi
xi
(2.9)
Z
a
f
(x, t)dt =
xi
b
Z
a
f(x + sei , t) f(x, t)
f
(x, t) dt
s
xi
Z
a
f
(x, t)dt =
xi
b
f
f
(x + r0 sei , t)
(x, t) dt
xi
xi
(2.10)
Para controlarmos o termo dentro da integral do lado direito da expresso 2.10, usamos
f
a compacidade de [a, b] e a continuidade das derivadas parciais para concluirmos que x
i
uniformemente contnua na varivel t. Desta maneira, ao tomarmos suficientemente pequeno
existe um > 0, independente de t, tal que
f
f
(x + r0 sei , t)
(x, t) |< .
xi
xi
Consequentemente, ao tomarmos o limite s 0 na expresso 2.10 obtemos 2.9 .
|
(x, y) =
(x, b) +
(x, t)dt =
x
x
x
y
Z y b
f
f
=
(x, b) +
(x, t)dt
x
b x y
autor: Celso M Doria
20
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
f
y x
f
x y
f
x (0, y)
= y e
f
x (x, 0)
= x que
2 f
yx (0, 0)
= 1 e
(2.11)
2 f
xy (0, 0)
Exerccio 2.2. .
1. Seja Ik = (i1 , . . . , ik ) {1, . . . , n}k . Enuncie e prove o Teorema de Schwarz para o
caso geral; seja : {1, . . . , k} {1, . . . , k} uma bijeo qualquer, ento
k f
k f
=
.
xi(1) . . . xi(k)
xi1 . . . xik
2. Verifique que o contra-exemplo 2.11 para o Teorema de Schwarz no de classe C 1 .
2.1.5
O diferencial de 2a -ordem de f
n
n
n
X
X
X
f
f
2 f
d2 f = d(
dxi ) =
dxi dxj ,
d( )dxi =
xi
xi
xi xj
j=1
j=1
i,j=1
dk f
X
Ik
k f
dxi1 . . . dxik
xi1 . . . xik
d2 f
2
O diferencial
induz,
para cada
P
P p U, uma forma bilinear d fp : Tp U Tp U R definida
assim; sejam u = i ui ei , v = j vj ej Tp U,
n
n
X
X
2 f
2 f
dxi dxj (u, v) =
ui vj =
(d fp ).(u, v) =
xi xj
xi xj
2
i,j=1
i,j=1
onde H(p) =
= u.H(p).v ,
2 f
2
xi xj (p) Sn (R) a matriz simtrica, n n, H(p) = (d fp ).(ei , ej )). O fato
21
2.2
Celso M Doria
Frmula de Taylor
r(v)
|v|2
(2.1)
= 0.
X 2 f
r
f
f
r
(v) =
(p + v)
(p)
(p)xj
(0) = 0
xi
xi
xi
xj xi
xi
i=1
r(v)
|v|2
(2.2)
r
xi
.v + R(v), lim
v0
R(v)
= 0.
|v|
0
r
r
r
r
i
De r(0) = x
= limv0 R(v)
(0) = xj x
(0) = 0, temos que x
(v) = R(v) e limv0 x|v|
|v| = 0.
i
i
i
Como estamos trabalhando com suficientemente pequeno, a diferencial de r uma boa
aproximao. Considere a curva (t) = tv, tal que (0) = 0 e (1) = v, e a funo h(t) =
(v)
22
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
r((t)) = r(tv).
Teorema do Valor Mdio existe c (0, 1) tal que h(1) h(0) = h0 (c), ou
Pnpelo
r
seja, r(v) = i=1 x
(cv)xi . Desta maneira,
i
n r
X
r(v)
xi (cv) cxi
=
.
2
| cv | | v |
|v|
i=1
Como limv0
r
xi (cv)
|cv|
v
= 0 e 0 | c. |v|
|<| c |< 1, segue que limv0
r(v)
|v|2
= 0.
k
X
F i (0)
i=0
onde rk (t) =
1
k+1 (ct),
(k+1)! F
i!
t i + rk (t),
k
X
1 i
(d fp ).(v, . .i ., v) + r(v),
i!
i=1
onde limv0
r(v)
|v|k
= 0.
23
Di Dj =
Celso M Doria
2
k
=
= Dij , . . . , Di1 ...ik =
xi xj
xi xj
xi1 . . . xik
Mostre que na classe das funes C k (U), temos a seguinte identidade: seja Ik =
(i1 , . . . , ik ) tal que i1 + + ik = k;
(c1 D1 + + cn Dn )k =
X
Ik
k!
D i1 D i2 . . . Dkik
i1 !i2 ! . . . ik ! 1 2
2.3
d
dt
r
1
i
k! (v.) f(p
Como parte do plano para estudar o comportamento de uma funo f C k (U), onde
U Rn aberto e 1 k , determinar os pontos onde o comportamento da diferencial
anmalo de suma importncia, como veremos nesta seo.
Definio 2.6. O ponto p U um ponto crtico de f se o funcional linear dfp : Tp U R
no sobrejetor. O conjunto dos pontos crticos de f C r(f).
imediato da definio que dfp = 0, consequentemente f(p) = 0. Dependendo do contexto,
p tambm denominado ponto singular. A Frmula de Taylor de f de 2a ordem, centrada em
p,
1
< v, H(p).v > +r(v).
2
n
O
operador
H(p) : Tp U Tp U dado na base canonica do R pela matriz simtrica H(p) =
2
f
xi xj (p) , denominada matriz hessiana de f no ponto p.
f(p + v) f(p) =
24
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
f
(p + cv ).t 0.
v
f
Da expresso acima, decorrem as seguintes situaes: (i) se t > 0, ento
v) 0 e
v (p + c
f
(ii) se t < 0, ento v (p + cv ) 0. Portanto, ao tomarmos o limite t 0 conclumos que
f
f
v . Em particular, segue que x
(p) = 0 e dfp = 0, da onde p
v (p) = 0, para toda direo
i
um ponto crtico. O mesmo ocorre se supormos que p um ponto de mnimo local. O fato de
p ser um ponto crtico de f no significa que um ponto de mximo ou mnimo local, como
veremos a seguir;
H(0, 0) =
2 0
0 2
2. f(x, y) = x 2 y2 ;
Neste caso, f(x, y) = 2(x, y) e p = 0 um ponto crtico e um mximo local. Segue
que
2 0
H(0, 0) =
0 2
3. f(x, y) = x 2 y2 ;
De maneira anloga, porque f(x, y) = 2(x, y), temos que p = 0 um ponto crtico,
porm no nem mximo e nem mnimo local de f. Neste caso, dizemos que p = 0
um ponto de sela de f; a hessiana
1
Teorema de Sylvester
25
Celso M Doria
2 0
H(0, 0) =
0 2
A matriz hessiana H(p) sendo simtrica diagonalizvel e todos os seus autovalores so
reais; ou seja, existe uma base ortonormal de Tp U composta de autovetores de H(p). O
conjunto de autovalores de H(p) formam o conjunto (H(p)), denominado espectro de H(p).
Definio 2.8. Seja T : Rn Rn um operador linear simtrico ( (T ) R). Dizemos que,
1. T no negativa se (T ) [0, ), e positivo se (T ) (0, ).
2. T no positiva se (T ) (, 0], e negativo se (T ) (, 0).
Teorema 2.5. Seja f C 2 (U) e p U um ponto crtico de f;
(i) se H(p) for positiva, ento p um ponto de mnimo local de f.
(ii) se H(p) for negativa, ento p um ponto de mximo local de f.
Demonstrao. Considere H(p) = H e seja = {e1 , . . . , en } uma base do Rn composta de
autovetores de H(p); H(ei ) = i ei . Assumiremos que a funo
g :S n1 R,
g(v ) =< v , H(v ) >
assume o valor mximo em vM e o valor mnimo em vm . Ao definirmos os valores extremos
P
m = min
(H)
e
=
max
(H),
observamos
que,
para
um
vetor
qualquer
v
=
M
i vi ei ,
P
2
g(v) = i i vi e, por isto, valem as desigualdades
g(vm ) = m
n
X
i vi2 M = g(vM ).
i=1
f(p + v) f(p) =
i=1
Uma vez que assumimos m > 0, ao tomarmos suficientemente pequeno na expresso acima,
temos f(p + v) f(p), v B . O caso (ii) anlogo.
26
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
O Teorema nada afirma nos casos em que H(p) indefinida, isto , quando p no nem
mximo e nem mnimo local de f. Se o espectro de H(p) tem autovalores negativos e positivos,
e0
/ (H(p)), dizemos que p um ponto de sela de f. Mais radical so os casos quando
0 (H(p)), onde a expectativa de um teorema sucinto remota como mostram os seguintes
exemplos;
1. f(x, y) = x 2 ,
f(p) = 0 p = 0
2 0
H(x, y) =
p mnimo
0 0
H(0) indefinida
2. f(x, y) = x 2 ,
f(p) = 0 p = 0
2 0
H(x, y) =
p mximo
0 0
H(0) indefinida
3. f(x, y, z) = x 2 y2 ,
2 0 0
f(p) = 0 p = 0
H(x, y) = 0 2 0
H(0) indefinida
0 0 0
Exerccio 2.4. Resolva os seguintes problemas;
1. Determine e classifique os pontos crticos das funes f : R2 R definidas nos itens
abaixo;
(a) f(x, y) = x 2 (x 1)2 + y2 .
(b) f(x, y) = (x 2 + y 11)2 + (x + y 7)2 .
(c) f(x, y) = x 3 3xy2 (sela de macaco).
2. Sejam f C 2 (R2 ) e p C r(f). Mostre que;
(a) p um mnimo local de f se det(H(p)) > 0 e
2 f
(p)
x 2
> 0.
2 f
(p)
x 2
< 0.
27
Celso M Doria
(f) Enuncie uma condio suficiente para que p seja um ponto de mximo estrito
(f(p) < f(x) para todo x U)
(g) d um exemplo onde vale a desigualdade f(p) f(x), x B , mas no verdade
que m > 0.
2.3.1
Funes de Morse
Os critrios da seo anterior so precisos quando a matriz hessiana H(p) no degenerada, o que por definio significa que K er(H(p)) = {0}.
Definio 2.9. f C 2 (U) uma funo de Morse se para todo ponto crtico p C r(f) a
matriz hessiana H(p) no degenerada.
Desta maneira, f uma funo Morse se 0
/ (H(p)), o que em dimenso finita eauivalente
a det(H(p)) 6= 0. Ao considerarmos os conjuntos + (H(p)) = { (H(p)) | > 0} e
(H(p)) = { (H(p)) | < 0}, temos a decomposio (H(p)) = + (H(p)) (H(p)).
Seja V o auto-espao associado ao autovalor (H(p)), e sejam
V + (p) =
V (p) =
V ,
>0
V .
<0
28
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
Exerccio 2.5. .
1. Seja A M2 (R) uma matriz auto-adjunta e fA : Rn R a funo
fA (x) =
< x, Ax >
| x |2
29
2.4
Celso M Doria
No caso de uma equao com duas variveis, preciso deixar claro o que significa resolvla. Por exemplo, o conjunto soluo da equao x + y = 1 {(x, y) R2 | y = 1 x}, ou seja,
definindo (x) = 1 x, temos que y = (x). Ao considerarmos a funo f(x, y) = x + y 1,
o problema se reduz a encontrar solues (x, y) de f(x, y) = 0, o que neste caso dado
por (x, (x)). No caso de 3 variveis, por exemplo x 2 + y2 z = 1, o conjunto soluo
{(x, y, 1 x 2 y2 ) | x 2 + y2 1}, ou seja z = (x, y). Os exemplos dados nos permitem
explicitar uma das variveis em funo das outras, porm nem sempre isto possvel como no
2
caso de e(x+y) ln(x +y) = 0. Neles observamos que os conjuntos de solues so grandes;
em duas variveis uma curva e em trs varaiveis uma superfcie. Uma vez compreendido a
situao em que h apenas uma equao, podemos dar um passo largo para analisar o caso
com n-equaes e m-incgnitas. Faamos uma regresso aos sistemas lineares;
autor: Celso M Doria
30
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
(2.1)
31
Figura 2.4: A
Celso M Doria
Figura 2.5: B
Vejamos a seguir o Teorema da Funo Implcita que nos d as condies suficientes para
resolvermos uma equao da forma f(x1 , . . . , xn+1 ) = c, f : U R. No teorema a seguir,
adotaremos a notao Rn+1 = Rn R = {(x, y) | x = (x1 , . . . , xn ) Rn , y R};
Teorema 2.6. (TFIm) Considere f C k (U), k 1. Seja (x0 , y0 ) U tal que f(x0 , y0 ) = c e
f
n
y (x0 , y0 ) 6= 0. Existem uma bola B = B (x0 ) R e um intervalo J = (y0 , y0 + ) com as
seguintes propriedades;
1. B J U e
f
y (x, y)
(x) =
xi
Demonstrao. Assumiremos que
f
y (x0 , y0 )
f
xi (x, (x))
f
y (x, (x)
(2.2)
f
y ,
f
y (x, y)
existem > 0 e
32
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
0=
Figura 2.6: V = B J
onde 0 < c < t e (x) < d < (x + tei ). Antes de tomarmos o limite t 0 na expresso
acima, assumiremos que contnua, feito isto segue que
0=
f
f
(x, (x)). (x),
(x) =
(x, (x)) +
xi
xi
y
xi
33
Celso M Doria
xi0 (t)[ei +
i=1
X
(x(t)).xi0 (t)) =
xi
i
(x(t))en+1 ]
xi
34
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
Definio 2.12. O conjunto M n Rn+k uma n-subvariedade do Rn+k de classe C l se, para
todo ponto p M n , existem abertos V Rn+k e U Rn tal que V M n o grfico de uma
aplicao f : U Rk , f(x) = (f1 (x), . . . , fk (x)), onde cada fi C l (U); isto ,
V = V M n = {(x1 , . . . , xn , f1 (x1 , . . . , xn ), . . . , fk (x1 , . . . , xn ))}
As k-subvariedades sero abordadas com detalhes nas prximas sees.
Exemplo 2.4. .
1. Sejam U Rn+1 , f : U R e M = {(x, f(x)) Rn+1 | x U}. Neste caso, M
globalmente um grfico, por isto, trivialmente uma hipersuperfcie.
2. S n = {x Rn+1 ; | x |= 1}.
Seja x = (x1 , . . . , xn+1 ) um ponto do Rn+1 e defina os conjuntos Vi+ = {x Rn+1 |
xi > 0} e Vi = {x Rn+1 | xi < 0}, imediato que S n = i Vi . Seja Din =
{x = (x1 , . . . , xi , . . . , xn+1 ); | x |< 1} a bola aberta unitria contida no subespao
Rn = Ri1q {0} Rn+1i Rn+1 . Ao considerarmos as funes fi : Din R,
P
fi (x) = 1 l6=i xl2 , temos que Vi = {(x, fi (x)) | x Din }, portanto S n uma
hipersuperfcie do Rn+1 .
3. Usando o TFIm, podemos mostrar de maneira muito mais simples
que S n uma nP
subvariedade do Rn+1 . Considere f : Rn R, f(x1 , . . . , xn ) = i xi2 . Como qualquer
a (0, ) valor regular de f, segue que S n1 (a) = f 1 (a) uma n-subvariedade. O
~ j que dfp .v = 2 <
plano tangente no ponto p o subespao ortogonal ao vetor op,
~ v >= 0.
op,
4. Seja f : R3 R, f(x, y, z) = x 2 y2 + z 2 1. Aa superfcie de nvel f 1 (0) uma
2-subvariedade do R3 . Observamos que ela no conexa.
5. Sejam A : Rn Rn um operador auto-adjunto e f : Rn R a forma bilinear fA (x) =
1
n
2 < A(x), x >. Para determinarmos o gradiente de fA no ponto x, seja v R um vetor
qualquer;
d(fA )x .v = lim
t0
fA (x + tv) fA (x)
1
= [< A(x), v > + < A(v), x >] =< A(x), v >
t
2
35
Celso M Doria
1 0 0
A = 0 1 0
0
0 1
6. A superfcie parametrizada M, mostrada na figura 2.7, no uma superfcie de R3
porque viola o fato de ser localmente um grfico. Uma parametrizao de M obtida
ao rotacionar a curva x = z 2 4 em torno do eixo-z;
2
x
cos(v) sen(v) 0
u 4
y = sen(v) cos(v) 0 0
z
0
0
1
u
7. O mesmo fenmeno do item anterior ocorre com o Guarda Chuva de Whitney da figura 2.8
parametrizado por f(x, y) = (xy, x, y2 );
8. Considere as funes f1 (x, y, z) = xy z e f2 (x, yz) = z, e defina M = (f1 )1 (0)
(f2 )1 (0). Os gradientes f1 (x, y, z) = (y, x, 1) e f2 (x, y, z) = (0, 0, 1) nunca se
anulam, da onde conclumos que 0 valor regular de cada uma das funes. No
entanto, em (0, 0, 0) f(0, 0) e g(0, 0) so linearmente dependentes. O conjunto
M = {(x, y, 0) R3 | xy = 0} no pode ser uma 1-subvariedade do R3 , pois em (0, 0, 0)
no h possibilidade de ser o grfico de uma funo e no possui plano tangente.
9. Grupo SLn (R).
2
O conjunto Mn (R) das matrizes n n um espao vetorial isomorfo a Rn . Considere
a funo diferencivel det : Mn (R) R definida pelo determinante de uma matriz. O
conjunto das matrizes especiais SLn (R) = {A Mn (R) | det(A) = 1} um subgrupo
do grupo das matrizes inversveis GLn (R). Ao considerarmos x = (x1 , . . . , xn ), onde cada
xi = (xi1 , . . . , xin ) um vetor coluna, as propriedades da funo determinante so as
seguintes: para todo i = 1, . . . , n
(a) det(I) = 1, (I = (e1 , . . . , en );
autor: Celso M Doria
36
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
d(det)A .V = lim
ou seja,
d(det)A .V = det(A).tr(A1 .V )
Desta maneira, 1 valor regular do det, pois se det(A) = 1, ento d(det)A 6= 0. Consequentemente, SL3 (R) = det1 (1) uma hipersuperfcie de M3 (R). O plano tangente
em A TA SL3 (R) = {V M3 (R) | tr(A1 V ) = 0}, em particular, se A = I, TI SL3 (R) =
{V M3 (R) | tr(V ) = 0}, isto , o plano tangente em I o subespao End0 (R3 ) dos
endomorfismos de R3 de trao nulo. Relembrando, M3 (R) =< I > End0 (R3 ) uma
decomposio ortogonal se o produto interno em M3 (R) < A, B >= 31 tr(ABt ).
10. O Toro T 2 , geometricamente, a superfcie obtida ao deslocarmos a circunferncia
(y a)2 + z 2 = r 2 ao longo da circunferncia x 2 + y2 = R 2 ; conforme mostra a figura 2.9.
T 2 a superfcie f 1 (0) de nvel da funo f : R3 R,
q
f(x, y, z) = ( x 2 + y2 a)2 + z 2 .
37
Celso M Doria
Exerccio 2.6. .
1. Suponha que A GL2 (R) uma matriz simtrica positiva e seja fA : R2 R, fA (x) =<
A(x), x >. Determine o conjunto dos valores regulares de fA e classifique as curvas de
nvel de fA .
2. Suponha que A GL3 (R) uma matriz simtrica. Classifique as superfcies de nvel
da funo fA : R3 R, fA (x) =< A(x), x >.
3. Determine o conjunto dos pontos crticos da funo fA : Rn R, fA (x) =
<A(x),x>
.
|x|2
38
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
2.5
Multiplicadores de Lagrange
Nesta seo abordaremos a questo de otimizar uma funo f C 1 (U) quando restrita
a uma hipersuperfcie M U definida como conjunto de nvel de uma funo diferencivel
: U R. Por exemplo, consideramos a questo de determinar a menor distncia de um
ponto p = (x0 , y0 , z0 ) ao plano = {(x, y, z) R3 | ax + byp+ cz + d = 0}. Isto equivalente
a encontrar o valor mnimo para a f : R3 R, f(x, y, z) = (x x0 )2 + (y y0 )2 + (z z0 )2
quando restrita ao plano = 1 (0), sendo : R3 R dada por (x, y, z) = ax +by+cz+d.
Em geral, sejam U Rn , f, C 1 (U) e M = 1 (c), onde c valor regular de . Para
determinarmos os pontos crticos de f : M R observamos que:
1. (p) Tp M, p;
2. se p ponto crtico de f |M , ento dfp .v =< f(p), v >= 0, para todo v Tp M,
portanto f(p) Tp M.
Poderia ocorrer que f(p) = 0, caso p seja um ponto crtico de f definida em U. Se
f(p) 6= 0, ento os itens acima implicam que f(p) e (p) so colineares, isto , existe
R no-nulo, tal que f(p) = (p). Desta maneira, encontrar um ponto crtico para
f |M corresponde a encontrar x e satisfazendo o sistema no-linear, com (n + 1)-incgnitas
e (n + 1)-equaes,
(
f(x) (x) = 0.
(2.1)
(x) = c
autor: Celso M Doria
39
Celso M Doria
x x0 = af,
0 y y 0 z z0
,
,
= .(a, b, c) y y0 = bf,
f
f
f
z z0 = cf
x x
f 2 = 2 (a2 + b2 + c2 )d2
p
| ax0 + by0 + cz0 |
a2 + b2 + c2 f(pm ) =
a2 + b2 + c2
(2.2)
e
O vetor f(x)
o vetor gradiente intrnseco da funo f : M R. Se x0 M um ponto
e 0 ) = 0, o que equivalente a equao 2.1.
crtico, ento f(x
Exerccio 2.7. Resolva os seguintes problemas;
1. Calcule o ponto pm que realiza a menor distncia de p = (x0 , y0 , z0 ) ao plano =
{(x, y, z) R3 | ax + by + cz + d = 0}.
2. Calcule a menor distncia de um ponto p = (x0 , y0 , z0 ) a esfera de raio R centrada na
origem.
3. Considere a elipse E : ax 2 + yb2 = 1 e a reta L : x + y = 1. Descreve uma condio para
que E L = e encontre a menor distncia entre elas.
2
40
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
inf
yE, xL
|| y x || .
x1 + x2 + + xn
n
x1 x2 . . . xn
.
n
6. Seja A : Rn Rn um operador linear auto-adjunto e fA : Rn R a funo fA (x) =<
x, A(x) >. Mostre que o conjunto de pontos crticos de (fA ) |S n1 o conjunto de
auto-vetores unitrios de A. Conclua que se (A) o espectro de A, m = min (A) e
M = max (A), ento
max fA (x) = M ,
xS n1
min fA (x) = m .
xS n1
41
2.6
Celso M Doria
Aplicaes Diferenciveis I
2.6.1
Conceitos Bsicos
r(v)
|v|
= 0.
r(v)
|v|
= 0. Assim, no ponto
1
x
f2
x
1
dfp .v = .
..
fm
x1
f1
x2
f2
x2
...
...
..
.
...
...
fm
x2
v1
v2
.
.. .
. ..
fm
vn
f1
xn
f2
xn
xn
42
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
(2.1)
cos() rsen()
sen() rcos()
43
Celso M Doria
(2.2)
d(F )(,,)
f 1 (y) =
um difeomorfismo, pois
e ambas so de classe C 1 .
yI
yI
(2.3)
R2 R R2
A funo f dita holomorfa (diferencivel com relao a varivel z ) se existem funes
f 0 (z) : C C e r : C C tais que, para todo v C,
f(z + v) f(z) = f 0 (z).v + r(v),
0
onde limv r(v)
v = 0. Sejam f (z) = + i, v = v1 + iv2 e r(v) = r1 (v) + ir2 (v), a equao
acima implica que;
44
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
r1
r2
Ao assumirmos que limv0 |v|
= limv0 |v|
= 0, segue que u, v so diferenciveis e
u = (, ) e v = (, ), isto , chegamos as equaes de Cauchy-Riemann
v
u
=
,
x
y
u
v
=
y
x
(2.4)
x
u
x
u
x
u
x
u
x
det(dfR ) =
2
+
u
y
2
.
r1
|v|
= limv0
(f1 ,...,fn )
(x1 ,...,xn ) (p)
r2
|v|
r(v)
v
= 0 decorre de limv
= 0.
5. Sejam f, g C 1 (U, Rn ). Mostre que a derivada da funo induzida pelo produto interno
< f, g >: U U R
d(< f, g >)p .v =< dfp .v, g(p) > + < f(p), dgp .v >, v Tp U
(2.5)
45
Celso M Doria
(2.6)
z
}|
{
(fT )(p + v) = f(T (p + v)) = f(T (p) + dTp .v + 2 (v) | v |) =
= f(T (p)) + dfq (dTp .v + 2 (v) | v |) + 1 (dTp .v + 2 (v) | v |) | (dTp .v + 2 (v) | v |) |=
= (f T )(p) + dfq .dTp .v + R(v) | v |
v
onde R(v) = dfq .2 (v) + 1 (dTp .v + 2 (v) | v |). | (dTp . |v|
+ 2 (v) | v |) |. Como o termo
limitado, quando v 0 segue que R(v) 0. Portanto, vale a identidade 2.6
v
|v|
,
x
r x x
r
r
f
f r
f
f
f cos()
= .
+
.
= .sen() +
y
r y y
r
r
= (sen(), cos()), ortogoAo considerarmos os vetores unitrios r = (cos(), sen()) e
nais entre si, obtemos
autor: Celso M Doria
46
CAPTULO 2. DIFERENCIAO NO RN
f =
Celso M Doria
f
1 f
r +
r
r
(2.7)
Da forma anloga,
2 f
f
r
f
=
. +
.
=
2
r x x x
x
x
f
sen()
f
sen()
sen()
f
f
=
cos() +
=
.cos() +
.cos() +
r r
r
r
r
r
2 f
f
r
f
=
.
+
.
=
2
r y y y y
y
f
f cos()
f
f cos()
cos()
=
.sen() +
sen() +
.sen() +
r r
r
r
r
r
Portanto,
1 f
2 f
1 2 f
+ 2+ 2 2
(2.8)
r r r
r
Seja f(x, y) = (x 2 + y2 )3/2 , aplicando a frmula 2.7 obtemos f(r, ) = r34 r . Exemplos mais
interessantes surgiram nos Captulos seguintes nos quais resolveremos equaes diferenciais
e integrais.
4f =
f =
(2.9)
f =
47
(2.10)
Celso M Doria
q
1 x 2 y2 )
uma imerso.
3. As aplicaes F : Rn Rn+m , F (x) = (x, f(x)), que definem o grfico de uma aplicao
diferencivel f : Rn Rm so os padres de imerses locais; veremos que toda imerso
localmente uma F .
4. Seja f : R3 R, f(x, y, z) = x 2 + y2 + z 2 uma submerso em R3 {0}.
5. Seja n > m, a projeo : Rn Rm , (x1 , . . . , xn ) = (x1 , . . . , xm ), uma submerso.
6. (Guarda Chuva de Whitney) A aplicao f : R2 R3 , f(x, y) = (xy, x, y2 ), no uma
imerso no ponto p = (0, 0).
autor: Celso M Doria
48
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
x=
, y=
,
2 2sen(3u)sen(2v)
2 2sen(3u)sen(2v)
3cos2 (v)
z=
2 2sen(3u)sen(2v)
(2.11)
2.6.2
Seja U R2 aberto e : U R uma funo diferencivel tal que (x) 6= 0 para todo
x = (x1 , x2 ) U. A aplicao : R2 R3 definida por
(x1 , x2 ) = (x1 , x2 , (x1 .x2 )).
uma imerso. De fato, (U) o grfico da funo : U R e o posto da matriz
autor: Celso M Doria
49
(2.12)
Celso M Doria
0
1 ,
d(x1 ,x2 )
0
=
x1
x2
(2.13)
0
dp =
x1
0
1
x2
0
0 .
1
50
(2.14)
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
f1
y
f2
y
f3
y
x
f2
x
f3
x
f1
x1
f2
x1
Portanto, pelo Teorema da Funo Inversa, existem vizinhanas U 0 U e W de f(p), tais que
g : U 0 W um difeomorfismo. Seja = g1 : W U 0 ; ao denotarmos u = f1 (x1 , x2 ),
v = f2 (x1 , x2 ) e 1 (u, v) = f3 (u, v) conclumos que
f : W U0
Na figura 2.15 temos a imerso da Garrafa de Klein e na figura 2.16 temos um toro. O
plano projetivo RP 2 e a Garrafa de Klein K2 no podem ser mergulhados em R3 sem que
haja auto-interseo. A no orientabilidade de ambos implica na presena de uma faixa de
autor: Celso M Doria
51
Celso M Doria
52
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
2.6.3
f1
x
f2
x
f1
y
f2
y
f1
z
f2
z
Por hiptese posto(dfp ) = 2, por isto, sem perda de generalidade, assumiremos que, para
todo p U, a matriz
autor: Celso M Doria
53
Celso M Doria
f1
x
f2
x
f1
y
f2
y
!
(p)
x2
dFp = f
x
0
y
f2
y
z
f2
z
54
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
n(n1)
dfA .V = lim
AA
conjunto das anti-hermitianas. A decomposio A = A+A
induz a soma direta
2 + 2
h
Mn (C) = Hn An . Cada subespao tem dimenso real dimR (Hn ) = n2 e dimR (Anh ) = n2 .
Considerando a aplicao f : Mn (C) Hn , f(X ) = X .X , segue que Un = f 1 (I).
Vejamos que I valor regular de f, seja A Un ;
(A + tV )(A + tV ) AA
t[AV + V A ] + t 2 V V
= lim
=
t0
t0
t
t
= AV + V A Hn
dfA .V = lim
55
Celso M Doria
det
1 SUn Un U1 1
A anlise de SUn = (det)1 (1) mais delicada porque o determinante esta tomando
valores em U1 , que como espao difeomorfo a S 1 . possvel extender os teoremas
deste captulo para teoremas sobre variedades diferenciveis, o que no cabe no objetivo
deste texto.
2.6.4
f1 (x, y) = c1 ,
..
(2.15)
.
f (x, y) = c .
k
Sendo assim, definimos a aplicao F : U Rk , F (x, y) = (f1 (x, y), . . . , fk (x, y)), e o valor
c = (c1 , . . . , ck ) Rk . Vamos
supor que conhecemos um ponto (x0 , y0 ) F 1 (c), e vamos
f
i
assumir que F
y (x0 , y0 ) = yj (x0 , y0 ) uma matriz inversvel. Desta forma, a derivada da
: U Rn+k , F
(x, y) = (x, F (x, y)), um isomorfismo em (x0 , y0 ). Pelo TFIn,
aplicao F
0
n+k
: U 0 V um difeomorfismo.
existem abertos U , V de R , (x0 , y0 ) U 0 U, tais que F
n
k
1 , assim temos que
Considere as coordenadas em V dadas por (x, u) R R e seja = F
u) = (x, 1 (x, u), . . . , 1 (x, u)) = (x, (x, u)).
(x, y1 , . . . , yk ) = (x,
Portanto, se u = c Rk um valor fixo, segue que F 1 (c) = (x, (x, c)); isto , F 1 (c)
localmente, na vizinhana U 0 de (x0 , y0 ), um grfico de uma aplicao : Rn Rk .
Exerccio 2.10. Resolva os seguintes problemas;
autor: Celso M Doria
56
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
n
(Q) (, 0). Existe uma base = {u+
1 , . . . , up , u1 , . . . , uq }, do R , composta por
+
57
Celso M Doria
11. Seja (x0 , y0 ) uma soluo do sistema no-linear 2.15. Mostre que o conjunto soluo uma n-subvariedade do Rn+k se os gradientes f1 (x0 , y0 ), . . . , fk (x0 , y0 ) forem
linearmente independentes. Conclua que o conjunto soluo do sistema
(
x 3 y2 + z = 0,
xy z = 0
no uma 1-variedade do R3 .
2.7
Variedades Diferenciveis
x
y
,
) = (u, v).
1z 1z
(2.1)
2u
2v
u2 + v 2 1
,
,
).
1 + u2 + v 2 1 + u2 + v 2 1 + u2 + v 2
58
(2.2)
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
y
x
,
) = (u0 , v 0 ).
1+z 1+z
(2.3)
e
(eS )1 (u0 , v 0 ) = (
2u0
2v 0
1 u02 v 02
,
,
).
1 + u02 + v 02 1 + u02 + v 02 1 + u02 + v 2
(2.4)
u2
u
v
, 2
)
2
+ v u + v2
(2.5)
e a inversa
eN (eS )1 (u0 , v 0 ) = (
v0
u0
,
).
u02 + v 2 u02 + v 02
59
Celso M Doria
60
CAPTULO 2. DIFERENCIAO NO RN
Celso M Doria
2.7.1
Grupos de Lie
61
Celso M Doria
62
Captulo
3.1
Introduo e Exemplos
Celso M Doria
x
x
X
k,m=
2k+m
k,m (f, g)
1 + k,m (f, g)
64
Celso M Doria
1. {xn }nN converge para x X se, dado > 0, existe n0 N tal que para todo n > n0
temos que d(xn , x) < . Neste caso, denotamos limn xn = x.
2. {xn }nN uma sequncia de Cauchy em X se, dado > 0, existe n0 N tal que para
todos n, m > n0 temos que d(xn , xm ) < , ou seja, limn d(xn , xm ) = 0.
Definio 3.3. O espao mtrico (X , d) completo se toda sequncia de Cauchy em X converge em X . Seja (V , || . ||) um espao vetorial normado; dizemos que:
1. E = (V , || . ||) um espao de Banach se completo.
2. H = (V , || . ||) um espao de Hilbert complexo quando V um espao de Banach
sobre C munido com uma forma bilinear sesquilinear < ., . >: H H C e norma
(i) d((x),
(y)) = d(x, y) para todos par x, y X ,
,
(ii) (X ) denso em X
, d)
completo,
(iii) (X
(3.2)
2. Mostre que uma norma define um produto interno se, e somente se, satisfaz a identidade
do paralelogramo.
3. Nos itens anteriores, estude o caso em que V um espao vetorial complexo.
autor: Celso M Doria
65
Celso M Doria
4. Para cada uma das incluses em 3.1, exiba um exemplo para mostrar que a incluso
no pode ser uma igualdade.
5. Mostre que C 0 ([a, b]) no completo com a norma || . ||2 (idem para 1 p < ).
6. Mostre que (C 0 ([a, b]), || . || ) completo.
3.2
(f.
g)(x)dx
66
Celso M Doria
f(v) =< uf , v >, onde uf Rn . Em dimenso infinita este resultado conhecido como
o Lema da Representao de Riez.
5. Seja K : [a, b] [a, b] R uma funo contnua. O operador linear integral com ncleo
K (x, y) definido por
Z
(K f)(x) =
K (x, y)f(y)dy.
n
X
aij (x)
i,j=1
X f
2 f
+
+ c(x)
bi
xi xj
xi
i=1
R-linear.
Definio 3.4. Sejam (E, || . ||E ), (F , || . ||F ) espaos normados. Um operador linear T : E
F limitado se existe M > 0 tal que
|| T (u) ||F M || u ||E ,
para todo u E. O espao do operadores lineares limitados T : E F L(E, F ) (L(E) =
L(E, E)).
Proposio 3.1. Sejam (E, || . ||E ), (F , || . ||F ) espaos normados e T L(E, F ). Ento, as
seguintes afimaes so equivalentes;
(i) T contnuo.
(ii) T contnuo na origem.
(iii) T limitado.
Demonstrao. claro que T (0) = 0. Vejamos as seguintes implicaes;
(i) (ii): imediata.
(ii) (iii): para = 1, existe () tal que || y ||< implica em || T (y) ||< 1. Sejam
x
, da onde || y ||= . Desta maneira,
x 6= 0 E e y = ||x||
1 || T (y) ||=
T (x)
1
|| T (x) ||< || x ||
|| x ||
(iii) (i): Seja {xn }nN uma sequncia tal que xn x E. Assim,
|| T (xn ) T (x) ||=|| T (xn x) ||< M || xn x || 0.
67
Celso M Doria
||x||=1
|| T (x) ||F
.
|| x ||E
e | S T || S | . | T |.
Proposio 3.2. Sejam E e F espaos de Banach, ento o espao normado (L(E, F ), | . |)
um espao de Banach.
Demonstrao. Seja {Tn }nN uma sequncia de Cauchy em L(E, F ). Assim, temos que, para
todo x E, || Tn (x) Tm (x) ||F | Tn Tm | . || x ||E . Como | Tn Tm | 0 quando m, n ,
segue que {Tn (x)}nN F uma sequncia de Cauchy, x E. Sendo F completo, existe
T (x) F tal que limn Tn (x) = T (x). Observamos que T linear, pois
T (ax + by) = lim Tn (ax + by) = a lim Tn (x) + b lim Tn (y) = aT (x) + bT (y).
n
Vejamos que T L(E, F ) e Tn converge para T em L(E, F ). Uma vez que {Tn }nN Cauchy,
dado > 0, existe n() tal que, se m, n > n(), ento
|| Tn (x) Tm (x) ||F | Tn Tm | . || x ||E < || x ||E .
(3.1)
Ao tomarmos o limite m , segue que || Tn (x) Tm (x) ||F < || x ||E , x E. Assim, se
n0 > n() verdade que, para todo x E,
|| T (x) ||F || Tn0 (x) T (x) ||F + || Tn0 (x) ||F < || x ||E + | Tn0 | . || x ||E .
Portanto, || T (x) ||F (+ | Tn0 |) || x ||E e T L(E, F ). Para provarmos que limn Tn = T
suficiente observarmos na estimativa 3.1 que
| Tn T |= sup
x6=0
68
Celso M Doria
Z
(K f)(x) =
k(x, y)f(y)dy.
a
(k(
| (K f)(
x ) (K f)(x) |=|
x , y) k(x, y)) f(y)dy |
a
Z b
Z b
| k(
x , y) k(x, y) | . | f(y) | dy <
| f(y) | dy.
a
(3.2)
Sendo k contnua, existe M > 0 tal que | k(x, y) | M em [a, b] [a, b]. Desta maneira,
temos que, para todo x R,
Z
| (K f)(x) |
Z
| k(x, y) | . | f(y) | dy M
| f(y) | dy M(b a) || f ||
a
f(x)g(x)dx,
a
69
Celso M Doria
Z
| (K f)(x) |
Seja C 2 =
| k(x, y) | . | f(y) | dy
!1/2
| k(x, y) |2 dy
RbRb
a
Z
.
!1/2
| f(y) |2 dy
| k(x, y) |2 dy . || f ||22 dx
bZ b
3.2.1
Funcionais Lineares
f(x)dx.
b
Em dimenso infinita, o espao dual torna-se muito importante, o que no ocorre em dimenso
finita porque E isomorfo a E. uma questo importante determinar os funcionais lineares
em E . Quando E um espao de Hilbert, o Teorema da Representao de Riezs responde a
esta questo, afirmando que para qualquer funcional f E , existe um vetor vf E tal que
f(u) =< vf , u >. Isto nos permite definir o operador adjunto associado a T por
< T (u), v >=< u, T (v) >
autor: Celso M Doria
70
(3.4)
Celso M Doria
Para alguns fins, sobre os quais no nos aprofundaremos, alguns conceitos de convergncia
em espaos de dimenso finita se fazem necessrios. Sejam (E, || . ||) um espao de Banach
e {xn }nN E uma sequncia;
1. a convergncia xn x forte se || xn x || 0 quando n .
w
3.2.2
r
Y
(x i )ni ,
r
X
i=1
i=1
71
ni = n.
Celso M Doria
72
Celso M Doria
X
i=1
T |
| T |n
i=0
1
1
.
1 | T |
1c
1X
R (T ) =
i=0
i
1
T
O conjunto GL(E) dos operadores lineares inversveis T : E E um grupo. Isto quer dizer
que GL(E) munido de um produto . : GL(E) GL(E) GL(E) satisfazendo os axiomas de
grupo, ou seja
(i) (associatividade) S.(R.T ) = (S.R).T .
autor: Celso M Doria
73
Celso M Doria
(ii) (elemento neutro) existe I GL(E) tal que T .I = I.T = T para todo T GL(E).
O elemento identidade I GL(E) porque | I |= 1.
(iii) (elemento inverso) para qualquer T GL(E) existe T 1 GL(E) tal que T .T 1 =
T 1 .T = I.
Devemos verificar que a operao GL(E) GL(E) GL(E), (S, T ) S.T 1 contnua na
topologia definida em L(E).
Proposio 3.4. Seja GL(E) = {T L(E) | T inversvel}. Ento,
(i) GL(E) aberto em L(E).
(ii) I : GL(E) GL(E), I(T ) = T 1 , contnua na topologia de L(E).
Demonstrao. (i) Seja T GL(E), vamos construir uma bola aberta em GL(E) centrada em
T . Seja S GL(E) um operador qualquer, da expresso
S = T (T S) = T .[I T 1 (T S)]
conlumos que S inversvel se [I T 1 (T S)] for inversvel e, neste caso, a inversa dada
por S 1 = [I T 1 (T S)]1 .T 1 . Ao considerarmos a bola aberta
1
BT = S L(E); | T S |<
,
(3.5)
| T 1 |
segue que [I T 1 (T S)] inversvel, para todo S BT , porque
| T 1 (T S) || T 1 | . | T S |< 1.
Portanto, BT GL(E).
(ii) Para provar a continuidade da aplicao inversa, inicialmente, provaremos que o operador
I(T ) = T 1 limitado. Observamos que
|| x ||=|| T 1 .T (x) ||| T 1 | . || T (x) ||
|| x ||
|| T (x) ||
| T 1 |
| T 1 |
1
.
|T 1 |
|T S |
(3.6)
74
1
T 1
|T S |
|| S 1 (y) |||| y ||
|| S 1 (y) ||
1 |
Celso M Doria
| T 1 |
. || y ||
|.|T S |
T 1
|T 1 |
.
1|T 1 |.|T S|
Vale
| T 1 |2
. | Tn T |
1 | T 1 | . | T Tn |
| R (T ) |
,
1 . | R (T ) |
X
( 0 )i Ri+1
(T ).
0
i=0
75
Celso M Doria
Consequentemente, a funo : (T ) C,
f() = f(R (T )x) =
X
i=0
(Ri+1
(T )x)( 0 )i
0
holomorfa em (T ).
Teorema 3.2. Se T L(E), ento (T ) 6= um subconjunto compacto de C contido na
bola Br centrada na origem.
Demonstrao. Vamos comear provando
que (T ) 6= . Se T = 0, ento (T ) = 0. Seja
1 P 1 i
T 6= 0, assim a srie R (T ) = i=0 i T absolutamente convergente para todo tal que
1
| T |<| |, e neste caso temos | R (T ) |< |||T
| . Alm disto, segue que (T ) um conjunto
fechado limitado porque esta contido na bola B|T | , centrada na origem, portanto compacto.
Suponhamos que o conjunto (T ) = C\(T ) vazio e vamos mostrar que isto nos leva a
uma contradio. De acordo com o Corolrio 3.3, a funo f() = (R x) holomorfa e est
definida em todo o plano complexo C = (T ), para quaisquer E e x E, porm
limitada. Segue do Teorema de Liouville que f tem que ser constante, o que um absurdo
porque o Teorema de Hahn-Banach garante a existncia de funcionais no constantes em
E .
Decorre com naturalidade da discusso anterior perguntar sobre o raio da maior bola centrada
na origem que contm o conjunto (T );
Definio 3.6. O raio espectral de um operador T L(E, F )
r (T ) = sup | |
(T )
p
n
| T |n (consulte [5]).
76
3.2.3
Celso M Doria
Operadores Compactos
A seguir, definiremos uma classe de operadores que comportam-se de maneira similar aos
operadores de posto finito e para os quais o espectro um conjunto enumervel.
Definio 3.7. Sejam E, F espaos de Banach. Um operador T L(E, F ) compacto se
para toda sequncia limitada {xn }nN E a sequncia imagem {T (xn )}nN admite uma
subsequncia convergente.
Decorre da definio que todo operador compacto contnuo, pois o conjunto imagem
T (BR ) da bola BR = {u E; || u || R} compacto, portanto K(E, F ) L(E, F ) (fechado). Todo operador T L(E, F ) de posto finito compacto, ou seja, se dim(E) < ou
dim(T (E))) < , ento T K(E, F ) compacto. A recproca no verdadeira, no entanto
os operadores compactos so generalizaes naturais dos operadores de posto finito. Desta
maneira, o estudo de operadores compactos torna-se relevante quando dim(E) = . Neste
caso, um operador compacto no pode ser inversvel j que a imagem de uma bola fechada
no compacta, e.g. a identidade no um operador compacto. Desta maneira, imediato
que o ncleo N(T ) 6= para todo operador compacto e, consequentemente, 0 (T ). Apesar
da definio ser restritiva, os operadores compactos surgem com frequncia em diversos tipos
de problemas. O seguinte resultado til nas aplicaes;
Proposio 3.5. Sejam T , S L(E). Se T K(E), ento:
(i) T S, ST K(E).
(ii) T K(F , E).
Demonstrao. (i.1) T S: Seja B E um conjunto limitado. Assim, S(B) limitado e T (S(B))
relativamente compacto.
(i.2) ST : Seja {xn }nN B uma sequncia, ento existe uma subsequncia {xnk }nk N B
tal que {T (xnk )}nk N converge, portanto {ST (xnk )|} converge.
(ii) Seja B = {g F ; | g |< c} um conjunto limitado qualquer, vamos mostrar que T (B)
F relativamente compacto. Seja {fn }nN F uma sequncia limitada, vamos mostrar que
{T fn }nN admite uma subsequncia convergente. Para isto, basta usar o fato de que a bola
fechada em F compacta com respeito a norma fraca em F .
Exemplo 3.5.
1. Considere Rn compacto e k : R contnua. O operador
0
K : C () C 0 (),
Z
(K f)(x) =
k(x, y)f(y)dy
compacto. Como vimos anteriormente em ??, dado uma sequncia limitada {fn }nN , a
sequncia {K fn }nN C 0 () limitada e equicontnua, sendo assim, pelo Teorema de
Ascoli-Arzel admite uma subsequncia convergente. Consequentemente, o operador K
compacto.
autor: Celso M Doria
77
Celso M Doria
n=1
qP
2
Neste caso, || T ||=
n=1 || T (en ) || a norma de Hilbert-Schmidt de T . Todo
operador de Hilbert-Schmidt compacto.
P
Seja P
H limitado; para todo x , x =
n=1 < x, en > en , segue da expresso
T (x) =
<
x,
e
>
T
(e
)
que
n
n
n=1
|| T (x) || || x ||
2
n=1
Sendo assim, dado > 0, para todo x existe n0 N tal que se n > n0 , ento
(3.7)
n0 +1
N
X
2
< x, ei > ei , (PN
= PN ).
i=1
78
Celso M Doria
Teorema 3.3. Um operador linear limitado compacto se, e somente se, aplica sequncias
fracamente convergentes em sequncias fortemente convergentes.
Demonstrao. Sejam E, F espaos de Banach e T K(E, F ).
w
(i) (); sejam {xn }nN E e x E tais que xn x, defina yn = T (xn ) e y = T (x). O
w
primeiro passo mostrarmos que yn y, para isto seja f E e gn = T fn . Assim, imediato
que lim g(yn ) = lim f(T (xn )) = f(T (x)) = f(y), e como f arbitrrio segue a afirmao.
Suponhamos que yn no converge fortemente para y, ento existe uma subsequncia {ynk }
w
tal que || ynk y || para algum > 0 dado. O fato de xn x implica que {xn }nN
limitada. A compacidade de T implica que {T (xnk )}nN tem uma subsequncia, digamos
w
{yn0 }, convergente. Sendo y0 = lim yn0 , segue que yn0 y0 , consequentemente y0 = y; isto
contradiz a hiptese de que yn no converge fortemente para y.
w
(); Suponha que para toda sequncia {xn }nN E tal que xn x tenhamos que lim T (xn ) =
T (x). imediato que T compacto, pois toda sequncia limitada se, e somente se,
fracamente convergente.
79
Celso M Doria
n
c
.
2
2
no compacta, o que contradiz a hiptese T
|| T yn T ym ||=|| n yn x ||=| n | . || yn x ||
Consequentemente, a sequncia {T yn }nN
K(E, F ).
E = N(T ) T (E).
(3.8)
T f = g
80
Celso M Doria
T f = 0
T f = g
tem uma soluo se, e somente se, y e g satisfazem fk (y) = 0, g(xk ) = 0, para todo
1 k n.
Teorema 3.4. Seja T K(E) e 6= 0. Ento, T satisfaz a altenativa de Fredholm.
Demonstrao. Ver em ([5], Teor 8.7-2)
3.2.4
Fredholm Operators
(3.9)
81
3.2.5
Celso M Doria
|< u, T v >|
u,vH\{0} || u || . || v ||
sup
|< T u, T u >|
=| T | .
u,T uH\{0} || T u || . || u ||
sup
82
(3.10)
Celso M Doria
Demonstrao. Seja c = sup||x||1 |< T (x), x >|, assim temos que |< T (x), x >| c. || x ||2
para todo x H. A desigualdade de Cauchy-Scwartz implica que c | T |. Considerando a
desigualdade
| T |= sup || T (x) || sup sup |< T (x), y >|
|x|1
|x|1 |y|1
(3.11)
(3.12)
(3.13)
a igualdade = , assim (T ) R. Para provarmos o item (i) vamos mostrar que para todo
83
Celso M Doria
3.3
O objetivo desta seo construir exemplos de aplicaes entre Espaos de Banach. Sejam E, F espaos de Banach, vimos na seo anterior que o espectro (T ) de um operador
T L(E) um conjunto compacto no-vazio de C. Seja K C um subconjunto compacto.
autor: Celso M Doria
84
Celso M Doria
Pelo Teorema de Stone-Weierstrass, qualquer funo f (C 0 (K ; C), || . || ) pode ser aproximada na topologia C 0 por uma sequncia de polinmios {pn }nN . Desta forma, assumindo
T L(E) e | T | K , definimos o operador
f(T ) = lim pn (T )
n
n
X
i=1
| pn (T ) pm (T ) |
n
X
Pn
i=1 an,i
i,
ento
i=1
85
Celso M Doria
que se cada termos T i I for inversvel o produto destas inversas produz uma inversa para
p(T ) kI. No entanto, como k (p(T )), existe um i para o qual o operador T i I no
tem inversa, portanto i (T ) e p(i ) = k p( (T ))
Corolrio 3.4. Sejam f (C 0 ( (T ); C), || . || ) e T L(E), ento (f(T )) = f( (T )).
Corolrio 3.5. Seja p C[x] um polinmio e H um espao de Hilbert. Se T L(H) um
operador auto-adjunto, ento
|| p(T ) ||= sup{| p() |; (T )}
Demonstrao. Inicialmente, vamos supor que p R[x]. O fato de T ser auto-adjunto implica
que p(T ) tambm auto-adjunto e a norma igual ao raio espectral, ou seja,
|| p(T ) ||= sup{| |; (p(T ))} = sup{| p() |; (T )}
.p R[x]. Desde que (
Para abordar o caso p C[x], consideramos o polinmio p
p.p)(T ) =
[p(T )] .p(T ) , segue que
|| p(T ) ||2 =|| [p(T )] .p(T ) ||= sup{| (
p.p)(); (T )} =
= sup{| p() |2 ; (T )}.
86
Celso M Doria
x
)
0
i=0 n
n
todo x (x0 R, x0 + R). Defina f : L(E) L(E) por f(A) =
i=0 an A . Desta forma, f(A)
esta bem definida no conjunto {A L(E); | A |< R} porque
|| f(A) ||
an | A |n < .
i=0
Exemplo 3.7. .
1. Exponencial de um Operador.
P
P
xk
Seja f(x) = ex =
k=0 k! . Para A L(E), definimos exp(A) =
k=0
convergente para todo A L(E), uma vez que
| exp(A) |
X
| A |k
k=0
k!
Ak
k! .
A srie
= e|A| .
k
j
kj
X
X
B
A
=
=
exp(A + B) =
k!
(k j)! j!
k=0 j=0
k=0
"
k
kj
j
i
j
X
X
X
X
A
B
A
B
=
=
= ex(A).exp(B)
(k j)! j!
i!
j!
X
(A + B)k
k=0
i+j=k
i=0
j=0
Uma consequncia imediata que exp(A) GL(E) para todo A L(E), uma vez
que [exp(A)]1 = exp(A). Para tratar o caso AB 6= BA introduzido o comutador
[A, B] = AB BA, ento o operador C tal que exp(A + B) = exp(C ) dado por
1
1
C = A + B + [A, B] + ([A, [A, B]] + [[A, B], B)) + . . . .
2
12
No caso em que E = Rn , Cn , a exponencial de um operador A L(E) calculada
explicitamente usando a forma canonica de Jordan.
P
P
k x 2k
k x 2k+1
2. cos(x) =
k=0 (1) (2k)! , sen(x) =
k=0 (1) (2k+1)! . Ambas as funes sendo analticas com raio de convergncia R = , o que nos permite extend-las para as funes
cos, sen : L(E) L(E).
autor: Celso M Doria
87
Celso M Doria
P (1)i+1 i
3. A funo arctg(x) =
x analtica com raio de convergncia R = 1. Para
i=1
i
extend-la consideramos o conjunto B1 = {A L(E); | A |< 1} e definimos a aplicao
P (1)i+1 i
arctg : B1 B1 , arctg(A) =
A.
i=1
i
Exerccio 3.5. Determine
os valores das funes exp(A), sen(A), cos(A) e arctg(A) para o
5
3
operador A =
.
6 4
3.3.1
que | T |=| T |.
Exerccio 3.6. Resolva os seguintes problemas:
1. Mostre que se F um subespao de E, ento F tambm .
2. Mostre que se dim(F ) < , ento F = F .(falso em geral)
3.4
O formalismo o mesmo quando dim(E) < , porm, condies adicionais devem ser
assumidas para que as tcnicas tenham a mesma eficincia.
autor: Celso M Doria
88
3.4.1
Celso M Doria
limh0 ||r(h)||
|h|
= 0.
89
3.4.2
Celso M Doria
n
X
ki (xi xi1 ).
(3.1)
i=1
A integral de uma funo f S([a, b], E) independe da partio usada, I(f, P0 ) = I(f, P) para
quaisquer parties P e P0 de [a, b]. Por isto, definimos o funcional Iab : S([a, b], E) E,
Iab (f) = I(f, P).
Lema 3.1. A aplicao Iab : S([a, b], E) E linear e contnua.
Demonstrao. Se f, g S([a, b], E), existe uma partio P de [a, b] tal que ambas so
escada em relao a P. A linearidade segue de imediato deste fato, pois
Iab (af
+ bg) =
n
X
i=1
(b a) sup || ki ||E (b a) || f || .
i
Se {fn } S([a, b], E) uma sequncia convergindo uniformemente para f, ento a integral
de f S([a, b], E) pode ser calculada tomando o limite
Z
a
Z
f(x)dx = lim
n a
fn (x)dx.
E sendo um espao de Banach, pelo teorema 3.7 o operador Iab : S([a, b], E) E admite
uma nica extenso ao fecho Iab : S([a, b], E) E. Se f S([a, b], E), defina Iab (f) =
Rb
a f(x)dx.
autor: Celso M Doria
90
Celso M Doria
1.
A seguir, vejamos que no contexto das curvas f : [a, b] E vale o Teorema Fundamental
do Clculo (TFC);
Rx
Teorema 3.10. (TFC) Sejam f C 0 ([a, b], E) e F : [a, b] R a funo F (x) = K + a f(t)dt.
Ento, F 0 (x) = f(x) e F (a) = K .
Demonstrao. Vejamos que F 0 (x) = f(x);
F (x + h) F (x)
1
lim
= lim
h0
h0 h
h
x+h
f(t)dt.
x
Logo,
lim
h0
Z
F (x + h) F (x)
1 x+h
f(x) = lim
[f(t) f(x)]dt.
h0 h x
h
Assim,
||
F (x + h) F (x)
1
f(x) ||E
h
h
x+h
Usando o fato que f uniformemente contnua em [a, b], segue que dado > 0, existe > 0
tal que, para todos x, t [a, b], se | t x |< , ento || f(t) f(x) ||E < . Ao tomarmos
(x)
f(x) ||E < .
t = x + h, se | h |< , ento | t x |< e, consequentemente, || F (x+h)F
h
91
Celso M Doria
Corolrio 3.7. Sejam f C 0 ([a, b], E) e F C 1 ([a, b], E) tal que F 0 (x) = f(x). Ento,
Z
a
Rx
Demonstrao. Defina I(x) = a f(t)dt , I(a) = 0. Seja F : [a, b] E uma outra funo tal
que F 0 (x) = f(x), pelo corolrio 3.6 existe uma constante K E tal que F (x) I(x) = K .
Desta maneira, K = F (a) e I(x) = F (x) F (a), ou seja I(b) = F (b) F (a).
3.5
Diferenciao de Aplicaes
|r(v)|
||v||
= 0.
O operador diferencial dfp nico e goza das mesmas propriedades operatrias do caso em
dimenso finita;
(i) linearidade: dfp (av + bw) = adfp (v) + bdfp (w),
autor: Celso M Doria
92
Celso M Doria
v (p) = dfp (v); exatamente como em dimenso finita. A recproca falsa em geral, mas se
assumirmos que a derivada de Gteaux linear e limitada em p, ento segue que f Frchet
diferencivel em p.
O fato de estarmos trabalhando em espaos com dimenso infinita requer ateno extra
com a continuidade do operador linear dfp , ou seja, tem que ser limitado.
Proposio 3.11. Se f : E R Frchet diferencivel, ento f contnua.
Na teoria desenvolvida para os espaos de dimenso finita a desigualdade do Valor
Mdio fundamental. Vejamos a sua validade para uma aplicao Frchet diferencivel (uma
aplicao do Teorema Fundamental do Clculo).
Teorema 3.11. Sejam U E um aberto convexo, f C 1 (U, E) e x, y U. Assuma que o
segmento de reta r : [0, 1] E, r(t) = x + t(y x), ento,
|| f(y) f(x) ||| sup | dfr(t) | . || y x ||
(3.1)
t[0,1]
Demonstrao. Considere a funo g : [0, 1] E dada por g(t) = f(r(t)). Assim, temos que
g0 (t) = dfr(t) .(y x), e pelo TFC segue que
Z
|| f(y)f(x) ||=|| g(1)g(0) ||=||
g0 (t)dt ||=||
t[0,1]
Como f C 1 (U, E), o supremos de dfr(t) esta bem definido para t [0, 1].
Proposio 3.12. Seja U E um conjunto convexo e f : U F uma aplicao Frchet
diferencivel em todos os pontos do segmento r : [1.1] U, r(t) = p + tv. Ento existe
(0, 1) tal que
|| f(p + v) f(p) ||F | dfr() | . || v ||E .
Demonstrao. Considere h([0, 1] F a curva h(t) = f(p + tv). Segue da regra da cadeia
que h0 (t) = dfp+tv .v, assim aplicando o Teorema do Valor Medio ?? segue que || h0 (t) ||F
M || v ||v .
autor: Celso M Doria
93
3.5.1
Celso M Doria
94
Celso M Doria
Se x < 0, ento | f 0 (x) |< 32 < 1. Segue da proposio 3.14 que f uma contrao na vizinhana de z0 . Na vizinhana de zk , k 1, temos | f 0 (x) |> 1. O comportamento da sequncia
xn+1 = f(xn ) numericamente evidenciado nos casos abaixo onde tomamos diferentes valores
x0 prximo de zk .
Fazer tabela e grfico (na reta) para os pontos
z0 = 0 : x0 = 0, x0 = 0, 5
Z1 : x0 = 1, x0 = 2
Z1 : x0 = 5, x0 = 4
z1 : x0 = 7, 5 , x0 = 8
Observamos que apenas o ponto z0 um atrator, isto , a sequncia {xn }nN com x0 prximo
de z0 converge para z0 , enquanto nos casos k 6= 0, onde x0 esta prximo de zk , a sequncia
no converge para zk , por isto {zk } um ponto repulsivo. Vamos introduzir outra maneira de
abordar a questo, considerando a funo
g(x) = x A(cos(x) + 3xex ).
Encontrar um ponto fixo para g equivale a encontrar um zero para f(x). Podemos escolher A
de maneira que
g0 (x) = 1 A[sen(x) + 3ex (1 x)]
autor: Celso M Doria
95
Celso M Doria
f(xn )
,
f 0 (xn )
(3.2)
ento lim xn = p e
| xn+1 p || xn p |2 , n N.
e lim xn = p (dica: use o Teorema do Valor Mdio para aproximar f por uma parbola).
3. Sejam U Rn um aberto, f C 2 (U, Rn ) e p U um zero de f tal que dfp seja
inversvel. Em U definimos a sequncia {xn }nN pela expresso (??). Mostre que
existe uma vizinhana V U de p e uma constante C > 0 tal que se x0 V , ento
lim xn = p.
4. No exerccio 2, estude o caso em que f 0 (p) = 0 e f 00 (p) 6= 0.
autor: Celso M Doria
96
3.5.2
Celso M Doria
1
|| x x || .
2
97
Celso M Doria
1
| x x0 | + | y (x0 ) x0 |
2
r
r
r
+ | y (x0 ) x0 | + | A1 (y f(x0 )) | + | A1 | . | y y0 |
2
2
2
r
r
+ =r
2 2
Segue que y restrito a Br (x0 ) uma contrao e tem um nico ponto fixo Br (x0 ),
da onde y = f(), portanto Br (Y0 ) V0 .
(iv) Seja g = f 1 : V0 U0 . Assim, g diferencivel e dgy = [dfg(y) ]1 .
A aplicao f : U0 V0 sendo bijetora, podemos definir g = f 1 : V0 U0 . Sejam
y, y + k V0 e x, x + h U0 tais que y = f(x) e y + k = f(x + h). Para todo x U0 ,
o operador [dfx ]1 esta bem definido. Seja B = [dfx ]1 ;
g(y + k) g(y) B(k) = g(f(x + h)) g(f(x)) B(k) = x + h x B(k) = h B(k) =
= B(B1 (h) k) = B(f(x + h) f(x) B1 (h))
Desta maneira,
g(y + k) g(y) B(k)
| B(f(x + h) f(x) B1 (h)) |
=
|k|
|k|
| f(x + h) f(x) B1 (h) |
|B|.
|k|
Ao tomarmos o limite k 0, temos que ter contrle sobre | h |, o que feito atravs
da desigualdade | h | 2 | A1 | . | k |= 1 | k | que provaremos a seguir. Segue que
g(y + k) g(y) B(k)
| B | | f(x + h) f(x) B1 (h) |
.
|k|
|h|
No limite, o lado direito da expresso acima vai para zero, o que mostra que g
diferencivel B = dgy = [dfg(y) ]1 . Para provarmos a continuidade de dgy em relao
ao argumento y, observamos que I : GL(E) GL(E), I(S) = S 1 contua. df e g
1
so contnuas, portanto dgy = [dfg(y)
= I(dfg(y) ) a composta de aplicaes contnuas,
por isto contnua. A desigualdade | h | 2 | A1 | . | k |= 1 | k | segue de
autor: Celso M Doria
98
| y (x + h) y (x) |=| h + A1 k |
e | h | | A1 k || h + A1 k |
1
2
Celso M Doria
1
|h|
2
| h |.
df
+ F (f),
dx
0
da onde segue que df .h = dh
dx + F (f).h : E F . No ponto f = 0, temos que (0) = 0 e
d0 .h = dh
dx . O ncleo N do operador d0 o conjunto das funes constantes em E, o qual
= |E(k) .
isomorfo a R. Considere o subespao E(k) = {f E | f(0) = k} e a restrio
0 uma bijeo. Pelo TFIn, existem
Pelo Teorema Fundamental do Clculo, o operador d
An
i=0 n .
Mostre
(a) a funo exp : Mn (R) GLn (R) esta bem definida e exp C 1 .
(b) existe uma vizinhana U Mn (R) da identidade tal que exp |U define um difeomorfismo local.
(c) se | A |< ln(2), ento | exp(A) I |< 1
P
n
n+1 (AI) ;
2. Considere a srie log(A) =
1 (1)
n
(a) Mostre que log(A) converge absolutamente se | AI |< 1, e, neste caso, | log(A) |<
1.
autor: Celso M Doria
99
Celso M Doria
n (AI)
n=1 (1)
n
converge absoluta-
(c) Se | A |< ln(2), mostre que | exp(A) I |< 1 e log(exp(A)) = A (dica: faa para A
diagonalizvel, depois trate o caso geral usando a forma canonica de Jordan).
3. Seja f : Rn Rn diferencivel, com f(0) = 0. Se 1
/ Spec(df0 ), prove que existe uma
n
vizinhana V R de 0 tal que f(x) 6= x para todo x V 0.
4. Seja A = {A Mn (R) | At = A} o espao das matrizes
P An anti-simtricas. Defina a
aplicao exponencial exp : A SOn por exp(A) =
i=0 n . Mostre que:
(a) exp esta bem definida.
(b) Existe uma vizinhana U da identidade I A tal que exp |U define um difeomorfismo.
5. Sejam k : [a, b] [a, b] R contnua tal que || k || < C , C > 0 e r R um nmero
1
. Para cada n N, considere o operador
satisfazendo | r | C (ba)
Z
n (f(x)) = f(x) + r
100
Celso M Doria
101
3.6
Celso M Doria
(
=
d
)
dt
(3.1)
(3.2)
102
Celso M Doria
S, assim existe uma matriz g(p), simtrica e positiva definida, tal que, no ponto p S,
e para todo u, Tp S,
gp (u, v) = ut g(p)v
bq
Z
L() =
gp (
(t), (t))dt
min L()
(p,q)
(3.3)
min L().
(p,q)
(3.4)
Sendo assim, para calcular a distncia entre dois pontos p, q S temos que resolver
o problema 7.
1 0
v. Neste caso, fazendo
(a) Geometria Euclideana: S = R2 e gp (u, v) = ut
0 1
(t) = (x(t), y(t)), temos que
Z
L() =
bq
(
x (t))2 + (
y(t))2 dt
e o comprimento de
bq
Z
L() =
103
2 +
2 dt
sen2 (t))
Celso M Doria
p
(
x (t))2 + (
y(t))2
dt.
y(t)
Z
a
1+[y0 (x)]2
seja dt =
dx. Assumindo que a acelerao da gravidade g, da cinemtica
v
p
1+[y0 (x)]2
temos que v = 2gy, da onde dt =
dx. Portanto,
2gy(x)
b
Z
1
T =p
2g
1 + [y0 (x)]2
dx
y(x)
(3.5)
3. rea Mnima. Obtenha a curva que ao ser rodada em torno de um eixo fixo gera uma
superfcie de rea mnima.
formulao do problema:
Para cada curva g (p, q), (t) = (t, f(t)), considere a superfcie S de revoluo
obtida ao rodar ao redor do eixo-x. Uma parametrizao de S dada por
x(t)
1
0
0
t
t
y(t) = 0 cos() sen() . f(t) = f(t).cos()
z(t)
0 sen() cos()
0
f(t).sen()
A rea de S
b
Z
A(f) = 2
q
f(t) 1 + [f 0 (t)]2 dt.
104
Celso M Doria
Z
S() =
(K () U()) dt.
S() =
3.6.1
min S().
(p,q)
Equaes de Euler-Lagrange
Z
< v, w >=
a
Z
< v(t), w(t) > dt =
n
X
!
vi (t)wi (t) dt.
i=1
Para todo v T (p, q), a curva s : (, ) Rn , dada por s (t) = (t) + s.v(t), esta contida
s
em (p, q) (0 = e d
ds = v). Se um ponto crtico do funcional S : (p, q) R, ento
dS .v = 0 para todo v T (p, q). Consideramos a funo L : (, ) [a, b] R,
L (s, t) = L(t, s (t), s (t))
autor: Celso M Doria
105
Celso M Doria
Z b
Z b
d(L )
d(s )
dS(s )
dL(t) .
dS .v =
|s=0 =
|s=0 dt =
|s=0 dt =
ds
ds
ds
a
a
Z b
Z b
d(s )
=
< L((t)),
|s=0 > dt =
< L((t)), (0, v, v ) > dt =
ds
a
a
Z bX
n
L
L
.vi +
.vi dt =
=
xi
yi
a i=1
Z bX
n
L
d L
L
L
=
.vi dt +
(b)vi (b)
(a)vi (a)
x
dt
y
y
y
i
i
i
i
a i=1
|
{z
}
=0
Ao definirmos o operador
S =
n
X
L
i=1
xi
d
dt
L
yi
ei ,
Z
dS .v =< S(), v >=
Z
< S(), v > dt =
n
bX
i=1
d
L
xi dt
L
yi
(t).vi (t)dt = 0
(3.6)
Lema 3.2. (du Bois - Reymond) Seja f C 0 ([a, b]) tal que para todo v C 0 ([a, b]) satisfaRb
zendo v(a) = v(b) = 0 tenhamos a f(t)v(t)dt = 0. Ento f = 0 em [a, b].
Rt
Demonstrao. Definindo g(t) = a f()d, segue da hiptese que
Z
0=
d(g(t).v(t))
dt =
dt
Z
|a
g0 (t).v(t)dt +
{z
}
Z
a
g(t).v 0 (t)dt
=0
Rb
portanto, a g(t).v 0 (t)dt = 0 para todo v satisfazendo as condies da hiptese. EscoRt
lha v(t) = a (f() c)d, [a, b]. Por construo, v(a) = 0, e se escolhermos c =
Rb
1
ba a f()d, temos v(b) = 0. Desta maneira,
Z
0
Z
(f(t) c) dt =
2
Celso M Doria
Z
< S(), v > dt =
b
L
d
xk
dt
L
yk
(t).vk (t)dt = 0.
xk
dt yk
As equaes 3.7 so conhecidas como Equaes de Euler-Lagrange. Em geral, elas so
equaes diferenciais ordinrias (EDO) de 2a -ordem, mas existem casos onde podem ser
reduzidas a EDOs de 1a -ordem se analisarmos a dependncia de L em relao as variveis
x, y1 , . . . , yn , y01 , . . . , y0n , onde x o parmetro. Para simplificar, usaremos a seguinte notao
L
Ly = y
;
(i) L = L(x, y01 , . . . , y0n );
A equaes de Euler-Lagrange implica que existem constantes ck tais que
d
dt
L
yk
=0
L
= ck , k = 1, . . . , n.
yk
yi Ly0i =
L y0i Ly0i = 0
dt
dt
dt
portanto, existe c R constante tal que
L y0i Ly0i = ci , i = 1, . . . , n
autor: Celso M Doria
107
(3.8)
Celso M Doria
(iii) L = L(t, y1 . . . , yn );
uma vez que Ly0i = 0, i = 1, . . . , n, a eq de E-L torna-se
L
= 0, i = 1, . . . , n.
yi
Vamos aplicar a reduo a alguns casos clssicos onde n = 2 e o espao das funes
admissveis g (p, q);
1. Braquistcrona;
Z
1
T =p
2g
1 + (y0 )2
dx
y
1 + (y0 )2
1
y0
1
1
p p
=p p
=c
y
2g 1 + (y0 )2
2g y(1 + (y0 )2 )
2g
r
dx =
A2 y
y ,
ou seja,
y
dy x =
2
A y
Z r
A2
y
dy
y
Para resolvermos a integral acima, usamos a substituio y = A2 sen2 (/2). Segue que
A2
A2
( sen()) + c, y() =
( cos())
4
4
2
A
A2
A curva parametrizada () = 4 ( sen()) + c, 4 ( cos()) descreve uma ciclide.
x() =
bq
1 + (y0 )2 dt
p
1 + (y0 )2 no depende de t, y;
108
L y0 Ly0 =
Celso M Doria
q
1
(y0 )2
=p
=c
1 + (y0 )2 p
0
2
1 + (y )
1 + (y0 )2
p
1 + (y0 )2
dt
y
dy
dx
2
k 2 y2
dy
=
,
=
dx
y2
k 2 y2
y2
Z
L() =
y0
dt = ln
y
y(b)
y(a)
.
bq
2 +
2 dt
sen2 ()
109
Celso M Doria
A lagrangeana no depende de t;
=
L L
q
2
2
2
2 +
2 q sen ()
sen2 ()
=q
= c1
2
2
2
2
2
2
sen () +
sen () +
=
L L
q
2
2
sen2 ()
2 +
2 q
=q
= c2
sen2 ()
2 +
2
2 +
2
sen2 ()
sen2 ()
mX
L(t, (t), (t)) =
i (t) U((t)).
2
i=1
U
, i = 1, . . . , n
xi
ou seja m
(t) = U((t)), que a erquao de Newton.
6. Formulao Hamiltoniana da Mecnica Clssica.
autor: Celso M Doria
110
Celso M Doria
V.
V.
0 (t) = (t),
A notao para as derivadas so =
d
dt
e 0 =
d
ds .
<
,
>
|
|2
<
,
>
|
|2
| |
.
| |3
111
Celso M Doria
V.
| s | dt.
(no caso de uma funo f : Rn R, o gradiente definido por dfp .V =< Of(p), V >)
Assim,
Z
L(t) =
1q
| + t | ds =
> +s2 |
|2 .
| |2 +2t < ,
> +s |
|2
< ,
q
ds.
2
2
2
Ento,
dL
|s=0 =
ds
<
, > ds.
| |
| |
, > + <
|, >,
|
d
1
< , >
(
)=
,
dt | |
| |
| |2
autor: Celso M Doria
112
(3.9)
Celso M Doria
< , > 2
< , >2
| |2
2
|
=|
=
,
| |2
| |2
| |2
ento obtemos
dL
=< (1), (1) > < (0), (0) > +
ds
<
| |
N, > ds.
| |3
113
Celso M Doria
2. existe uma funo f : [0, 1] R tal que para todo s [0, 1] temos que (t) = f(t).
(t).
Segue que a soluo da equao
f = 0,
(0) = p, (1) = q.
R
0 f()d d
0 eR
R 1 f()d (q
0
d
0 e
Rt
(t) =
114
p) + p,
Captulo
4
Integrao Vetorial
4.1
Clculo Vetorial
4.1.1
Integral de Linha
Celso M Doria
, (ti )
| , (ti )|
WP =
n
X
Wi =
i=1
n
X
n
X
<
F (ti ), T (ti )
> si =
i=1
< F (ti ),
i=1
n
X
i=1
, (ti )
| , (ti )
n
X
i=1
(4.1)
~ = F1 e1 + F2 e2 e = (1 , 2 ), assim
Sejam F
,
116
Celso M Doria
Assim, temos
Z
W =
(4.2)
(4.3)
Z
w=
Z
(F1 dx1 + F2 dx2 ) =
4.1.2
Integral de Superfcie
Nesta seo consideraremos o seguinte problema fsico; calcule o fluxo de um campo vetorial V~ atravs de uma superfcie limitada S R3 . Por exemplo, o campo vetorial poderia ser
o campo eltrico, meio fludo, corrente eltrica e etc.). Seja : U R3 uma parametrizao
de S dada em coordenadas por
(u, v) = (1 (u, v), 2 (u, v), 3 (u, v)),
(u, v) U
~ , de classe C ,
Assumiremos sobre S a existncia de um campo vetorial normal unitrio n
definido por ( u = u = u )
~ (u, v) =
n
u v
,
| u v |
onde
autor: Celso M Doria
117
Celso M Doria
u v = (u 2 v 3 u 3 v 2 , u 3 v 1 u 1 v 3 , u 1 v 2 u 2 v 1 )
Para calcularmos o fluxo atravs de S a idia aproximarmos S por um poliedro SP cujas
faces so paralelogramos. Se o campo vetorial V~ tangente a superfcie, ento no h
fluxo de V~ atravs da superfcie. Intuitivamente, considere o caso quando as pessoas esto
caminhando paralelamente a uma parede (ortogonalmente a normal parede), ento havendo
uma porta na parede no haver fluxo de pessoas atravs da porta.
Uma partio P de U uma subdiviso em pequenos elementos de rea Ai com rea Ai ,
i = 1, . . . , n. Para cada i, consideramos || P ||= sup1in Ai e Pi = (ui , vi ) Ai um ponto
qualquer. A imagem dos vrtices de cada elemento Ai definem os vrtices do poliedro SP .
Para construirmos P no caso em que U = [a, b] [c, d], consideramos as parties Pu = {a =
u1 , . . . , un = b} e Pv = {c = v1 , . . . , vn = d} e definimos P = Pu Pv = {(ui , vi ) | 1 i n},
ou seja,
U=
n [
m
[
[uk1 , uk ] [vl1 , vl ].
k=1 l=1
Agora, damos uma ordem ao conjunto dos retngulos Akl = [ui1 , ui ] [vj1 , vj ], de maneira
que fiquem indexados por um nico index, isto , Ai , 1 i n.
Cada face do poliedro SP , denotada por Si , definida pelo quadriltero determinado pela
imagem, por , dos vrtices de Ai . Vamos supor que, em cada Si , o valor do campo vetorial V~
muito prximo do valor constante V~ (ui , vi ), onde (ui , vi ) Ai . Assim, plausvel assumirmos
que o fluxo atravs de cada Si seja
~ (ui , vi ) > .Si .
i =< V~ (ui , vi ), n
onde o P
elemento de rea Si =| N(u, v) | .Ai . O fluxo total atravs de SP , portanto,
SP = ni=1 i .
SP =
n
X
i .
i=1
||P||0
n
X
i .
i=1
118
(4.4)
Celso M Doria
Z
=
(4.5)
V3 N3 = V3 .(u 1 v 2 u 2 v 1 )
De maneira anloga ao caso da integral de linha, fixamos uma base = {e1 , e2 , e3 } do R3
e introduzimos os funcionais lineares dxi : Tp R3 R, i = 1, 2, 3, que formam a base dual
= {dx1 , dx2 , dx3 } a , isto , dxi (eP
funcionais
j ) = ij . Agora,
Pconsideramos os seguintes
3
~ = i u1 ei e ~v = j vj ej vetores em Tp R ;
bilineares anti-simtricos: sejam u
dxi dxj :Tp R3 Tp R3 R
dxi dxj (~
u, ~v) = dxi (~
u).dxj (~v) dxi (~v).dxj (~
u) = (ui vj vi uj ).
Observamos que dxi dxj = dxj dxi , em particular dxi dxi = 0. Agora, podemos escrever
as equaes (4.5) na forma
V1 N1 = V1 .dx2 dx3 (u , v )
V2 N2 = V2 .dx3 dx1 (u , v )
(4.6)
V3 N3 = V3 .dx1 dx2 (u , v ).
Portanto,
Z
=
(4.7)
119
w
S
(4.8)
Celso M Doria
d(u,v)
u 1 v 1
= u 2 v 2
u 3 v 3
(4.9)
(2 , 3 ) (3 , 1 ) (1 , 2 )
,
,
(u, v)
(u, v)
(u, v)
,
4.2
120
(4.1)
Celso M Doria
O bordo do intervalo [a,b] definido como sendo o conjunto ([a, b]) = {a, b}. Ao orientarmos
o bordo, o que ser discutido mais tarde, temos que [a, b] = b a. Desta forma, segue que
Z
g(t)dt = g(b) g(a),
([a,b])
g(t)dt
([a,b])
[a,b]
(4.2)
Os outros teoremas de integrao generalizam ( 4.2) para integrais mltiplas. Para enuncilos, vamos relembrar os seguintes operadores linearesP
diferenciais de 1a -ordem: sejam
R3 , = {e1 , e2 , e3 } a base cannica do R3 e V = i vi ei = (v1 , v2 , v3 ) C (, R3 ) um
campo vetorial; (i) o gradiente de V
1. o gradiente o operador linear diferencial grad : C (, R) C (, R3 ) definido por
3
X
f
f f f
grad(f) =
ei = (
,
,
).
xi
x1 x2 x3
i=1
X vk
vj
ei =
xj
xk
{i,j,k}
v2 v1
v3 v2
v1
v3
).
=(
x2 x3 x3 x1 x1 x2
3. o divergente de V =
(4.3)
i vi ei
a funo
div(V ) =
v1
v2
v3
+
+
x1 x2 x3
Os operadores grad, rot e div podem ser definidos sobre uma regio R2 ao tomarmos
a 3a -coordenada do campo vetorial nula (v3 = 0).
Teorema 4.3. Teorema de Green
Seja R2 um domnio compacto cujo bordo uma curva de classe C 1 . Se P, Q : R
so funes de classe C 1 , ento
Z Z
Z
Q P
(
)dxdy =
Pdx + Qdy
(4.4)
y
x
Z Z
Z
rot(F )dA =
F
(4.5)
121
Celso M Doria
Q P
R Q
P R
[(
)dxdy + (
)dydz + (
)dzdx] =
y
y
z
z
x
S x
Z
Z Z
F
rot(F )dA =
Z
S
(4.7)
Z Z Z
Z Z
div(F )dV =
F
(4.9)
Observamos nas expresses ( 4.2), ( 4.4), ( 4.7) e ( 4.9) que as integrais so determinadas
por integrais sobre o bordo. O grande passo na evoluo da linguagem das formas foi o
desenvolvimento necessrio para que os teoremas acima fossem vistos como casos particulares
de um mesmo teorema e generalizados para dimenses superiores.
4.3
Teoria do Potencial
Nesta seo, vamos abordar algumas questes decorrentes da relao entre os operadores
diferenciais grad, rot e div com os teorema de integrao. A importncia disto torna-se
aparente se considerarmos as integrais vetoriais de campos que satisfaam uma das seguintes
condies: rot(F ) = 0 ou div(F ) = 0.
Questo 1: Seja f : [a, b] R uma funo continua. Existe funo g : [a, b] R, denominada
primitiva de f, tal que
g0 (x) = f(x)
A mesma questo quando feita para funes de n variveis requer que a derivada seja identificada, atravs do produto interno, com o vetor gradiente, P
isto , a derivada de f : Rn R
f
ei .
no ponto p o funcional dfp (.) =< f(p), . >, onde f = ni=1 x
i
autor: Celso M Doria
122
Celso M Doria
P
Questo 2: Seja V = ni=1 vi ei ) : Rn Rn um campo vetorial contnuo. Existe uma funo
diferencivel f : Rn R tal que V = Of, ou equivalentemente,
vi =
f
, i = 1, . . . , n ?
xi
(4.1)
Nesta 2a questo h uma obstruo para a existncia de f, uma vez que a identidade
2 f
2 f
=
xj xi
xi xj
implica em
vj
vi
=
.
xj
xi
(4.2)
Sendo assim, aP2a questo deve ser enunciada da seguinte forma: Dado um campo vetorial
contnuo V = i vi ei , satisfazendo (4.2), existe funo f : Rn R tal que f = V ? Quando
existe, a funo f denominada funo potencial de V . Vamos comear a abordar a questo
descrevendo um contra-exemplo.
Exemplo 1: Considere o campo vetorial V : R2 \{0} R2 dado em coordenadas por
V (x, y) = (
x2
y
x
, 2
)
2
+ y x + y2
Este exemplo serve para mostrarmos que a resposta 2a questo negativa, embora a
condio (4.2) seja satisfeita. Suponhamos que existe uma funo f : R2 R tal que f = V .
Sejam : [0, 2] R2 a curva definida por () = (cos(), sen()) e f : [0, 2] R a funo
f () = f (). Pela regra da cadeia,
df
() = Of() . , () = V (cos(), sen()). , () =
d
= (sen(), cos()).(sen(), cos()) = 1.
R
Agora, vamos calcular a integral de linha V atravs de dois mtodos distintos:
(i) diretamente, isto ,
Z
Z
V =
Z
V =
Z
=
0
0
2
df
()d = f (2) f (0) = 0.
d
123
Celso M Doria
Devido aos diferentes valores encontrados, conclumos que o campo V no admite funo
potencial. H uma sutiliza aparente neste exemplo devido ao fato que a topologia da regio
onde o campo esta definido torna-se relevante para a soluo da questo, como veremos a
seguir.
Definio 4.1. Um subconjunto Rn dito estrelado com respeito a um ponto x0 se
o segmento {tx0 + (1 t)x | t [0, 1]} esta contido em para todo x .
Observao 4.6. Conforme dito anteriormente, os campos vetoriais que admitem uma funo
potencial so denominandos campos conservativos, eles exercem papel fundamental na Fsica.
Teorema 4.7. Seja R2 um conjunto aberto e estrelado. Para todo campo vetorial V =
(v1 , v2 ) : R2 , satisfazendo ( 4.2), existe uma funo potencial.
Demonstrao. Vamos demonstrar para o caso n = 2, o caso geral pode ser feito ipsis litteris.
Sem perda de generalidade, podemos assumir que x0 = 0 . Considere a funo f : R
definida por
Z
f(x1 , x2 ) =
Desde que estrelado em relao a 0, f(x1 , x2 ) bem definida para todos os pontos
(x1 , x2 ) . Segue que
Z
f
(x1 , x2 ) =
x1
v1
v2
(tx1 , tx2 ) + tx2
(tx1 , tx2 )]dt
x1
x1
Segue da expresso
d[t.v1 (tx1 , tx2 )]
v1
v1
= v1 (tx1 , tx2 ) + tx1
(tx1 , tx2 ) + tx2
(tx1 , tx2 )
dt
x1
x2
que
f
(x1 , x2 ) =
x1
[
0
f
x2
Z
0
= v2 .
124
Celso M Doria
f
f
e1 +
e2 .
x1
x2
rot(V ) = (
Q
P
)
x1 x2
Seguem das definies dos operadores rot e div as seguintes identidades: para f
C (, R) e V C (, R3 )
(i) rot(grad(f)) = 0,
(ii) div(rot(V )) = 0.
(4.3)
Devido a natureza linear dos operadores rot e div, consideramos os subespaos vetoriais
(() = C (, R3 ))
(i) Ncleos
(ii) Imagens
Nuc(rot) = {V () | rot(V ) = 0}
Imag(grad) = {V () | V = grad(f)}
Nuc(div) = {V () | div(V ) = 0}
Imag(rot) = {V () | V = rot(W )}
(4.4)
Im(rot) Nuc(div).
H 1 () = Nuc(rot)/Imag(grad),
H 2 () = Nuc(div)/Imag(rot), H 3 () = C ()/Imag(div)
autor: Celso M Doria
125
(4.5)
Celso M Doria
Embora Nuc(rot) e Im(grad) sejam espaos vetoriais de dimenso infinita, o fato notvel, porm
no-trivial, decorrente do Teorema de De Rham (ver [?]), que sendo compacto implica que
os espaos vetoriais H i (), i = 0, 1, 2, 3 tem dimenso finita. Com estes conceitos, podemos
reformular os resultados obtidos no Teorema ( ??) e no exemplo 1;
Teorema 4.8. Seja R2 , ento
1. se estrelado H 1 () = 0
2. H 1 (R2 \{0}) 6= 0
Teorema 4.9. Seja R2 um conjunto estrelado. Ento,
H 0 () = R, H 1 () = H 2 () = 0.
Demonstrao. .
1. H 0 () = R.
Suponha que grad(f)=0. Segue do que foi visto no Captulo 1 que f constante em
. Portanto, a aplicao H 0 () R, f c (c = const) define um isomorfismo entre
espaos vetoriais,.
2. H 1 () = 0.
teorema 4.7
3. H 2 () = 0.
Seja f C (, R) uma funo qualquer e considere o campo vetorial V = (0, Q), onde
R1
Q(x, y) = 0 f(tx, y)xdt. imediato da expresso
Q
=
x
que rot(V ) =
Q
x
Z
0
[f(tx, y)x] dt =
x
Z
0
d
[f(tx, y)t] dt = f(x, y)
dt
= f, portanto, H 2 () = 0.
126
Celso M Doria
1. H 2 () = 0.
Suponha que P
estrelado com respeito origem 0. Consideramos um campo vetorial
V : R3 , V = i vi ei , tal que div(V ) = 0 e definimos o campo W : R3 por
Z
W (x) =
[V (tx) (tx)]dt
onde
[V (tx) (tx)] = t.(v2 x3 v3 x2 , v3 x1 v1 x3 , v1 x2 v2 x1 )
Segue de div(V ) = 0 que
rot[V (tx) (tx)] =
d(t 2 V (tx))
.
dt
d(t 2 V (tx))
= V (x)
dt
rot(W (x)) =
0
f(tx, y, z)xdt.
Exerccio 4.2. .
1. se R3 possui k componentes conexas, ento H 0 () ' Rk .
2. Seja S = {(x, y, z) R3 | x 2 + y2 = 1, z = 0} o crculo unitrio no plano (x, y, 0).
Considere a funo V : R3 S R3 definida por
V (x, y, z) = (
2xz
2yz
x 2 + y2 1
,
,
)
z 2 + (x 2 + y2 1)2 z 2 + (x 2 + y2 1)2 z 2 + (x 2 + y2 1)2
127
Celso M Doria
Z
V
128
grad(f).
4.4
4.4.1
Celso M Doria
lgebra Tensorial
Produto Tensorial
O produto tensorial de espaos vetoriais surge naturalmente em diversos ramos da Matemtica, especialmente na lgebra Linear e nas suas ramificaes em Geometria Diferencial,
Teoria de Cohomologia e Teoria de Representaes, dentre muitas outras reas.
Considere V , W espaos vetoriais sobre um corpo K , de dimenso finita e seja V W o
produto cartesiano de V com W . O grupo abeliano livre gerado pelos elementos de V W
F ={
rn (xn , yn ) | rn K , (xn , yn ) V W }
nN
(ii) x (y + y ) = x y + x y
n X
m
X
x i y j e i fj .
i=1 j=1
129
Celso M Doria
jy
P
%
F /G
Demonstrao. Considere a aplicao
f : F /G P
F (x y) = f(x, y)
Segue que f esta bem definida. Com efeito, dados (x,y), (z,w) em F tal que [(x,y)]=[(z,w)],
ento (x,y)-(z,w) G. Como G gerado por elementos da forma . . . , ento ,
0 = f((x, y) (z, y)) = f(x, y) f(z, w) = f (x y) f (z w),
isto , f (x y) = f (z w).
Resta mostrar que G Nucl(f). Sendo f um homomorfismo, tem-se que
0
f (x (y + y )) = f(x y) + f (x y );
130
Celso M Doria
1. V W W V , x y y x;
2. (V W ) S V (W S), (x y) z x (y z);
3. (V W ) S (V S) (W S), (x + y) z x z + y z;
4. K V V , k x kx
Demonstrao. Ver em ...
Exerccio 4.3.
1. Sejam {ei | 1 i n} e {fj | 1 j m} bases de V e W , respectivamente. Mostre que {ei fj | 1 i n, 1 j m} uma base de V K W .
2. Sejam A e B duas K-lgebras sobre K. Defina o produto tensorial A K B e mostre
que A K B admite uma estrutura de K-lgebra.
3. Seja H o anel de diviso dos quaternions e Mn (K ) a lgebra das matrizes n n sobre
K . Resolva os seguintes itens:
(a) Rn Rm ' Mnm (R).
(b) Mn (R) R K ' Mn (K ), K = C, H.
(c) C R C ' C C.
(d) C R H ' M2 (C).
(e) H R H ' M4 (R).
4.4.2
lgebra Tensorial
V n
z
}|
{
= V V,
n = 1, 2, . . .
:V n K V n ,
x k xk,
131
T (V ) =
Celso M Doria
V n = K V V 2 . . . V n . . . .
n=0
v (n) V n .
v (n) ,
nN
A
%
T (V )
Demonstrao. Considere os homomorfismos f(n) : V (n) A, n N, definidos por
f (0) (k) = k,
4.4.3
lgebra Exterior
132
Celso M Doria
Definio 4.5. Seja V um espao vetorial sobre um corpo K. Um p-tensor em V uma funo
p-linear
p
T :V
z
}|
{
= V V K.
133
Celso M Doria
eJ = (ej1 , . . . , ejp ) V . p. . V .
(4.1)
aI eI (eJ ) = aJ = 0
aJ = 0 J.
134
T (w1 , . . . , wp ) =
Celso M Doria
l1
lp
l1
lp
=
=
l1
lp
l1
lp
Decorre que dois p-tensores T e S so iguais se, e somente se, T (eI ) = S(eI ) para toda
sequncia de ndices I C p . Portanto, {eI } gera T p (V ).
O espao dos tensores definidos sobre V o espao vetorial
T (V ) =
T p (V )
p=0
Observamos que T (V ) = T (V ).
Definio 4.6. Um p-tensor alternado se
T (v1 , . . . , vi , . . . , vj , . . . , vp ) = T (v1 , . . . , vj , . . . , vi , . . . , vp )
Por conveno, os 1-tensores so considerados alternados.
Exemplo: O determinante de uma matriz p p um p-tensor alternado.
Seja Sp o grupo das permutaes dos nmeros de 1 a p. Dada uma permutao Sp ,
esta ser par ou mpar, dependendo se o nmero de transposies | | de ndices for par ou
mpar. Sendo assim, (1)|| ser igual +1 ou 1 dependendo se | | for par ou mpar,
respectivamente. Existe uma ao natural do grupo das permutaes Sp sobre T p (V )
Sp T p (V ) T p (V )
(, T ) T
onde
T (v1 , v2 , . . . , vp ) = T (v(1) , v(2) , . . . , v(p) )
autor: Celso M Doria
135
Celso M Doria
1 X
(1)|| T .
p!
Sp
X
1 X
1 X
1
(1)|| T ] =
(1)|| [T ] = (1)| |
(1)| | (1)|| T =
p!
p!
p!
Sp
1
(1)| |
p!
Sp
(1)| | T =
Sp
Sp
1
(1)| |
p!
(1)| | T = ()
Sp
Sp sendo um grupo segue que, para todo Sp , existe Sp tal que = , de maneira
que a expresso () acima igual a
() =
X
1
(1)| |
(1)|| T = (1)| | Alt(T )
p!
Sp
Portanto, Alt : T p (V ) p (V ). Alt de fato uma projeo, isto , Alt Alt = idp (V ) , pois
se T um p-tensor alternado, T = (1)|| T , ento
Alt(T ) =
1 X
1 X
(1)|| T =
(1)|| (1) T =
p!
p!
Sp
Sp
1 X
T =T
=
p!
Sp
Definiremos a seguir uma estrutura de lgebra sobre o espao dos tensores alternados.
autor: Celso M Doria
136
Celso M Doria
(1) (T S) = [
(1) T ] S = Alt(T ) S = 0
137
Celso M Doria
= i .G,
Consequentemente,
T S =
(1) (T S) =
l X
X
Sp+q
i=1 G
l
X
(1)i [
(1) [
i=1
(1) (T S) ]i =
i+1
l
X
(1)i (T S)i =
(1) T ] S] =
l
X
i=1
p (V )
138
Celso M Doria
Ti1 ...ip i1 ip
i1 ,...,ip
II p
TI I
II p
TI I = 0
TI I (vJ ) = TJ = 0
II p
139
Celso M Doria
v V .
140
u, v V
Celso M Doria
Mostre que com a relao acima obtemos uma lgebra C l(V , q) gerada por V .
2. Suponha que V = Rn e a forma bilinear seja o produto interno euclideano. Seja C ln (R)
a lgebra de Clifford gerada por Rn . Mostre que C l1 (R) ' C e C l2 (R) ' H.
141
4.5
Celso M Doria
Formas Diferenciais
ei (ej ) = ij .
Pn
f
i=1 xi dxi .
142
n
X
f
dxi
xi
i=1
!
(u).
Celso M Doria
Desde que E (x) = {e1 (x), . . . , en (x)} uma base de Tx U, para todo x U, o conjunto
{eI (x)}, onde I = (i1 , . . . , ip ) C p (n), 1 i1 < < ip n, uma base de p (Tx U).
Fixamos em U o co-referencial constante induzido pela base canonica, assim eI tambm um
co-referencial constante e uma p-forma pode ser descrita na forma
w=
wI eI ,
wI C (Rn ; R).
)=
ui dy ( ) =
( dy )(u) = dy (d.u) = dy (
ui
xi
xi
i=1
n
X
=
i=1
n
X
=
i=1
m
X
ui dy (
e ) =
xi
" n
X
=1
=
ui
xi
i=1
xi
i=1
n
m
XX
ui
i=1 =1
dy (e ) =
xi
#
dxi (u)
143
Celso M Doria
(U)
Z
w=
w=
Z XZ
U
{ijk}
{ijk}
g
g
du +
dv.
u
v
temos as identidades
(dx1 dx2 ) = du dv
g
(dx3 dx1 ) = du dv,
u
g
(dx2 dx3 ) = du dv.
v
Assim, em funo do sistema de coordenadas (u, v) U, a expresso para w
g
g
f2
+ f3 ]du dv =
u
v
g g
=< (f1 , f2 , f3 ), ( , , 1) > du dv.
u v
w = [f1
Ao integrarmos obtemos
autor: Celso M Doria
144
g g
, , 1) > dudv =
u v
U
Z
Z
=
< F , N > dudv =
F
Celso M Doria
< (f1 , f2 , f3 ), (
w=
Z
w,
S
4.5.1
Derivada Exterior
n
X
wi
i=1
2. Se p > 0 e w =
xi
dxi
dwI dxI
145
Celso M Doria
x1 x2
~
3. U R3 , w = f1 dx1 + f2 dx2 + f3 dx3 1 (U) e F = f1~i + f2~j + f3 k;
3
3
3
X
X
X
f1
f2
f3
dw = (
dxi ) dx1 + (
dxi ) dx2 + (
dxi ) dx3 =
xi
xi
xi
i=1
i=1
i=1
f1
f1
f2
f2
f3
=
dx2 dx1 +
dx3 dx1 +
dx1 dx2 +
dx3 dx2 +
dx1 dx3
x2
x3
x1
x3
x1
f2
f1
f3
f1
f3
f2
f3
dx2 dx3 = [
]dx1 dx2 + [
]dx1 dx3 + [
]dx2 dx3 .
+
x2
x1 x2
x1 x3
x2 x3
Portanto, dw = 0 rot(F ) = 0
~
4. U R3 , w = f3 dx1 dx2 + f2 dx3 dx1 + f1 dx2 dx3 2 (U) e F = f1~i + f2~j + f3 k;
dw = [
f3
f2
f1
dx1 dx2 dx3 +
dx1 dx2 dx3 +
dx1 dx2 dx3 = div(F )dx1 dx2 dx3 .
x3
x2
x1
Portanto, dw = 0 div(F ) = 0.
5. Se U R3 e w 3 (U), ento dw = 0.
Teorema 4.18. Para todo p {1, . . . , n}, operador derivada exterior dp : p (U) p+1 (U)
satisfaz as seguintes propriedades;
1. (linearidade)
dp (w1 + w2 ) = dp w1 + dp w2 ;
2. (lei da multiplicao) Se w p (U), ento
dp (w ) = dp w + (1)p w d
3. (condio de cociclo)
dp+1 dp = 0
autor: Celso M Doria
146
Celso M Doria
X
(1)ij 1 dxi1 D(dxij ) dxip
j
aI dxI , ento
dx
,
e
I
I
I
X
X
X
dw = (
dfI dxI ) =
(dfI dxI ) =
( dfI ) ( (dxI ))
I
X
X
X
d w = d[ (
fI dxI )] =
d[ (fI dxI )] =
d( dfI ) ( (dxI )) =
I
Portanto, dp ( w) = dp w.
Corolrio 4.2. Sejam U, V Rn e : U V um difeomorfismo. Ento, para toda forma
w p (V ) segue que
dp ( w) = dp w
autor: Celso M Doria
147
Celso M Doria
4.5.2
Cohomologia de De Rham
dp+1
dp
dn1
0
1
0 (U)
1 (U)
. . . p (U) p+1 (U) . . . n (U)
(4.1)
(U) =
p=0
148
[w] = w + dp1
Celso M Doria
HDR (U) =
Nuc(d)
= Z p (Rn )/Bp (Rn ).
Img(d)
n
HDR
(U) = n (U)/dn1 (U).
Os espaos p (U) tem dimenso finita. De fato, este grupos podem ser definidos para qualquer
conjunto U que seja uma variedade diferencivel. O Teorema de De Rham garante que se
p
U uma variedade diferecnivel compacta, ento os espaos vetoriais HDR (U) tem dimenso
finita, para todo p = 0, . . . , dim(U).
0 (U) ' Rk .
Problema 4.19. Se U possui k componentes conexas HDR
HDR
(U)
n
M
HDR (U)
i=0
p+q
P
. : HDR
(U) HDR (U) HDR (U)
[w1 w2 ] = [w1 w2 ]
,
149
Celso M Doria
w1 w2 = (w1 + d1 ) (w2 + d2 ) = w1 w2 + w1 d2 + d1 w2 + d1 d2 =
= w1 w2 + d[(1)p w1 2 + 1 w2 + 1 2 ].
,
U V W
induz o diagrama
p
quando p > 0
e
S1 d = id e,
e(w) = w(0) se
p=0
A existncia deste operador implica imediatamente no Lema, pois, se w uma forma fechada,
ento
w = dp1 Sp w,
w = w(0),
autor: Celso M Doria
se p > 0
se p = 0
150
Celso M Doria
bp : p (U R) p1 (U). Toda
1. Primeiramente, vamos construir o homomorfismo S
forma w p (U R) pode ser escrita na forma
X
w=
fI (x, t)dxI +
XZ
[
J
gJ (x, t)dt]dxJ
Decorre de
dw =
X fI
X fI
X gJ
dxi dxI +
dt dxI +
dxi dt dxJ
xi
t
xi
J
que
bp (w)+S
bp+1 dw =
dS
XZ
[
J,i
X Z 1 fI
X Z 1 gJ
gJ
dt]dxi dxJ + [
dt]dxI [
dt]dxi dxJ =
xi
0 t
0 xi
XZ
=
[
I
J,i
X
fI
dt]dxI =
[fI (x, 1) f(x, 0)]dxI .
t
I
0, t 0;
(t) = 1, t 1;
0 (t) 1, t (0, 1)
b p ( w). Seja
e P
: U R U a aplicao (x, t) = (t)x. Defina Sp (w) = S
w = I hI (x)dxI , desde que
(dxi ) = xi , (t)dt + (t)dxi
temos que
(w) =
hI ((t)x) d(t)xi1 + (t)dxi1 d(t)xip + (t)dxip
151
Celso M Doria
hI ((t)x)(t)p dxI
o que implica em
(P
dSp (w) + Sp+1 dw =
hI (x)dxI = w, p > 0;
w(x) w(0), p = 0
I
4.5.3
4.6
Teorema de Stokes
Finalmente, chegamos ao ponto prometido de mostrar que os teorema clssicos de integrao so na realidade casos particulares de um teorema geral conhecido por Teorema de
Stokes.
Para demonstrar o Teorema de Stokes so necessrios alguns conceitos elementares que de
certa forma manifestam o resultado do Teorema de De Rham.
Para efeito da exposio, considere o n-cubo em Rn como sendo
In = [0, 1] [0, 1] = [0, 1]n
Definio 4.13. Um n-cubo singular em U Rn uma funo continua c : [0, 1]n U. Por
conveno, [0, 1]0 = {0} = R0 .
autor: Celso M Doria
152
Celso M Doria
Exemplos:
k
X
a i ci ,
ni N,
ci : In U
n-cubo singular
i=1
O (n-1)-cubo In
(i,0)
(i,1)
de face (i, 1) de In .
Exemplos:
1. n=2;
(1,0)
(1,1)
I2 (x) = I2 (0, x1 ) e I2 (x) = I2 (1, x1 )
(2,0)
(2,1)
I2 (x) = I2 (x1 , 0) e I2 (x) = I2 (x1 , 1)
2. n=3;
(1,0)
(1,1)
I3 (x) = I3 (0, x1 , x2 ) e I3 (x) = I3 (1, x1 , x2 )
(2,0)
(2,0)
I3 (x) = I3 (x1 , 0, x2 ) e I3 (x) = I3 (x1 , 1, x2 )
(3,0)
(3,1)
I3 (x) = I3 (x1 , x2 , 0) e I3 (x) = I3 (x1 , x2 , 1).
Definio 4.14. Seja c : In U um n-cubo singular; para cada {0, 1}
1. A face (i, ) de C
c(i,) = c In
(i,)
153
Celso M Doria
n X
1
X
(1)i+ c(i,)
i=1 =0
Pk
i+1 ni ci
c =
k
X
ni ci
i=1
Exemplos:
1. n=1;
2. n=2;
3. n=3;
Lema 4.3. O bordo define um homomorfismo n : Cn (U) Cn1 (U) tal que
n1 n = 0
(2 = 0)
Ik
ou equivalentemente,
Z
Ik
Z
fdx1 dxk =
Ik
Ik
ou seja
Z
c
Z
fdx1 dxk =
Ik
Ik
(f c)dx1 . . . dxk .
Celso M Doria
O caso k=0 precisa ser tratado separadamente. Uma 0-forma w uma funo, se c : {0} U
um 0-cubo singular em U ns definimos
Z
c
w = w(0)
Pl
i=1 ni ci
Z
c
w=
l
X
definida por
Z
w
ai
ci
i=1
Classicamente, a integral de uma 1-forma sobre uma 1-cadeia denominada integral de linha,
enquanto a integrao de uma 2-formas sobre uma 2-cadeia uma integral de suoperfcie.
Teorema 4.20. (Teorema de Stokes)
Se w uma (k-1)-cadeia sobre um conjunto aberto U Rn e c uma k-cadeia em U, ento
Z
c
Z
dw =
w
c
n
X
fi dx1 db
xi dxk
i=1
observamos que
(j,)
(Ik dxi
(
0, i = j;
=
dxj , i 6= j.
Portanto,
Z
Ik1
(j,)
(Ik ) (fi dx1
(
0, i = j;
db
xi dxk ) = R
Ik fi (x1 , . . . , , . . . , xk )dx1 . . . dxk , i 6= j
Desta forma,
Z
Ik
fi dx1 db
xi dxk =
k X
1 Z
X
j=1 =0
Ik1
155
(j,)
(Ik
) (fi dx1 db
xi dxk ) =
Celso M Doria
Z
Z
k
X
j+1
j
=
[(1)
fi (x1 , . . . , 1, . . . , xk )dx1 . . . dxk + (1)
fi (x1 , . . . , 0, . . . , xk )dx1 . . . dxk ]
Ik
j=1
Ik
Ik
d(fi dx1 db
xi dxk ) =
fi
dxi dx1 db
xi dxk =
xi
Ik
i1
= (1)
fi
xi
Ik
i1
d(fi dx1 db
xi dxk ) = (1)
= (1)i1
Ik1
[
0
fi
dxi ]dx1 . . . db
xi . . . dxk =
xi
i1
Ik1
= (1)
Ik
f(x1 , . . . , 1, . . . , xk ) + (1)
Ik
Ik
w=
dw
Ik
R
Se c um cubo singular qualquer, segue das propriedades vistas dos operadores
Z
c
Z
dw =
Ik
c (dw) =
Ik
d(c w) =
dw =
l
X
i=1
ci
Ik
c w=
w
c
Pl
Z
ai
dw =
i=1 ai ci ,
l
X
i=1
156
ento
Z
ai
ci
Z
w=
w
c
e d que
4.7
Celso M Doria
Aplicaes
4.7.1
Funes harmnicas
4.7.2
4.7.3
157
4.8. INTEGRAO
4.8
4.8.1
Celso M Doria
Integrao
Definies Bsicas
mS (f).v(S),
U(f, P) =
MS (f).v(S),
e U(f, P, ) U(f, P)
158
Celso M Doria
Desde que
v(S) = v(R1 ) + + v(Rl ),
mS (f).v(S) = mS (f).v(Rr1 ) + + mS (f).v(Rl )
mR1 (f).v(R1 ) + + mRl (f).v(Rl ).
Consequentemente,
L(f, P) =
mS (f).v(S)
l
XX
S
i=1
R
Se f integrvel, denotamos
= inf P U(f, P)
Teorema 4.21. Uma funo limitada f : R integrvel para todo > 0 existe uma
partio P de tal que U(f, P) L(f, P) <
Demonstrao.
159
4.8. INTEGRAO
Celso M Doria
2. () Se f integrvel, ento
sup L(f, P) = inf U(f, P)
P
implica que existem parties P e P, tais que U(f, P)L(f, P, ) < . Se P,, refina ambas
P e P, , segue do lema acima que
U(f, P,, ) L(f, P,, ) U(f, P) L(f, P, )
Exemplos:
1. Seja f : R uma funo constante, f(x) = c. Ento, para qualquer partio P
e subretngulo
P S ns temos que RmS (f) = MS (f) = c, da onde segue que L(f, P) =
U(f, P) = S c.v(S) = c.v() f = c.v()
2. Seja f : [0, 1] [0, 1] R definida por
(
0, se x racional
f(x, y) =
1, se x irracional
Se P uma partio, ento todo subretngulo S conter pontos (x, y) com x racional, e
tambm pontos (x, y) com x irracional. Consequentemente, mS (f) = 0 e MS (f) = 1, ou
seja
L(f, P) = 0, e U(f, P) = 1
f no integrvel.
4.8.2
Definio 4.17. Um subconjunto Rn tem medida 0 se para todo > 0 existe uma cobertura
{U1 , U2 , U3 , . . . },
de onde os conjuntos Ui so retngulos fechados tais que
v(Ui ) <
i=1
160
Celso M Doria
p
X
v(Ui ) <
i=1
Observao 4.22. O conceito de volume acima tem a ver, por exemplo, com o fato de que um
intervalo [a,b] em R2 tem rea 0 e um quadrado em R3 tem volume 0.
Similarmente,
1. Os conjuntos Ui poderiam ser considerados retngulos abertos;
2. Se tem contedo 0 e , , ento , tem contedo 0;
3. Um conjunto enumervel tem volume 0 finito;
4. Os racionais Q no tem volume 0 (use a contagem lexicogrfica)
Exerccio: Se a < b, ento o intervalo [a, b] R no tem contedo
Pp 0. De fato, se
{U1 , . . . , Up } uma cobertura finita de [a, b] por intervalos fechados, ento i=1 v(Ui ) ba.
Exerccio: Se compacto e tem medida 0, ento tem volume 0.
4.8.3
Funes Integrveis
161
4.8. INTEGRAO
Celso M Doria
Este limite sempre existe desde que [M(a, f, )m(a, f, )] 0 e decresce quando decresce.
Problema 4.23.
162
Celso M Doria
Por hiptese, existe M R tal que | f(x) |< M, x , o que implica que MS (f)
mS (f) < 2M para todo S. Portanto,
X
p
X
v(Ui ) < 2M
i=1
SS1
S , S
<
S , SS1
< 2M +
v(S) 2M + .v()
SS2
Desde que M e v() so fixos, isto mostra que ns podemos fixar uma partio P, com
U(f, P, ) L(f, P, ) to pequeno quanto desejado f integrvel.
2. () Suponha que f integrvel.
Desde que B = B1 B 1 B 1 . . . , suficiente provarmos que cada conjunto B 1 tem
2
3
n
medida 0. De fato, ns mostraremos que cada B 1 tem volume 0.
n
.
n
X
X
1X
v(S)
[U(f, P) L(f, P)].v(S) =
[MS (f) mS (f)].v(S) <
n
n
SS
SS
implicando que
X
v(S) <
SS
163
4.8. INTEGRAO
Celso M Doria
R
Se C para algum retngulo e f : R limitada, ento C f definida como
C f.C , se f.C integrvel. Isto certamente ocorre se f e C so integrveis.
4.8.4
Teorema de Fubini
164
SP
Celso M Doria
SP
AB
f=
L
A
AB
f=
U
A
Demonstrao. Seja PA uma partio de A e PB uma partio de B. Ambas definem uma partio P de AB na qual todo retngulo S da forma SA SB , onde SA , SB so subretngulos
de PA e PB respectivamente. Ento,
L(f, P) =
mS (f).v(S) =
mSA SB .v(SA SB ) =
SA ,SB
XX
=
[
mSA SB (f).v(SB )].v(SA )
SA
SB
SB
Portanto,
XX
(
mSA SB (f).v(SB )).v(SA ) L(L, PA ),
SA
SB
PCP
165
AB
4.8. INTEGRAO
Celso M Doria
R
R
Em outra palavras, L integrvel em A e AB f = A L.
A afirmao para U segue de forma similar atravs das desigualdades
L(f, P) L(L, PA ) L(U, PA ) U(U, PA ) U(f, P)
4.8.5
Parties da Unidade
166
Celso M Doria
Problema 4.31. Mostre que se C = {C | } uma famlia localmente finita num aberto
Rn , ento um conjunto compacto K intersecta no mximo um nmero finito de
conjuntos C
Problema 4.32. Mostre queSse C = {C | } uma famlia localmente finita de conjuntos
fechados de , ento C = C fechado em .
Definio 4.24. A partio da unidade { | } esta subordinada a cobertura C =
{U | } de quando para cada existe algum tal que supp( ) U .
(significa que a cobertura {supp( ) | } um refinamento da cobertura {U | }
A demonstrao do teorema esta baseada nos seguintes problema e lema;
Problema 4.33. Seja
(
1
e (t+2)(t+1) , t [2, 1];
f(x) =
0, t
/ [2, 1].
1. Faa o grfico de f
2. Faa o grfico da funo g(t) =
R f(t)
, t 0;
f(t)dt
R f(t) , t
f(t)dt
>0
Rt
g(s)ds
4. Seja : Rn R dada por (x) = h(| x |). Mostre que C (Rn , R) e supp()
B2 (0)
Lema 4.6. Todo aberto Rn se escreve como unio enumervel =
Kn tais que
Kn int(Kn+1 ), n N
nN Kn
de compactos
Demonstrao.
Todo ponto a esta contido numa bola B (a) , o que implica que
S
a B (a). Pelo Teorema de Lindelof, existe uma subcobertura enumervel tal que
S
S
(an ), onde B
(an ) so conjuntos compactos.
nN B (an ) e nN B
Vamos definir os conjuntos Kn por induo. Pomos K1 = B (a1 ) e suponha que
1. K1 K2 Kp B (ap+1 ) . . .
2. Kn Kn+1
3. B (a1 ) B (ap ) Kp
autor: Celso M Doria
167
4.8. INTEGRAO
Celso M Doria
Para cada , considere a funo (x) dada pelo problema de tal forma que supp( )
B (x ).
Pelo
famlia enumervel de compactos {Kn | n N} tal que Kn Kn+1
SLema 1, existeSuma
p1
K1 compacto,
e nN Kn . Seja i=1
uma cobertura finita de K1 . Desde que A2 = K2
S p2
seja A2 = i=1 K2 K1 uma cobertura finita de A2 . Analogamente, seja An = Kn Kn1 e
An =
pn
[
B (xi )
i=1
B (xi )
nN i=1
B (xi ) =
nN i=1
B (xn )
nN
168
4.8.6
Celso M Doria
Definio 4.25.
1. Uma aplicao f : U Rn um difeomorfismos local se para todo
ponto x U existe uma vizinhana Ux U de x tal que a restrio f : Ux Rn
inversvel e a inversa de classe C ( det(dfx ) 6= 0, x Ux ) .
2. Uma aplicao C f : U V , onde U, V Rn , um difeomorfismo se f 1 : f(U) U
esta definida e de classe C ( det(dfx ) 6= 0, x U)
No caso de integrao de funes de 1-variavel temos o seguinte;
Teorema 4.34. Sejam f : [a, b] R uma funo integravel e : [a, b] [c, d] um difeomorfismo, ento
(b)
(a)
Z
f=
(f ).,
(b)
(a)
(F ) (x)dx =
Z
f=
[a,b]
mostre que
Z
([a,b])
Z
f=
(f ). | , |
[a,b]
169
4.8. INTEGRAO
Celso M Doria
()
f=
(())
f=
()
(f ) | det(d) |=
Z
(f ) | det(d).det(d) |=
f ( ) | det(d( )) |
()
| det(d) |
1=
mS (f)v(S) =
XZ
S
XZ
1 (S)
fS =
1 (S)
(fS ) | det(d) |
Z
(f ) | det(d) |
Analogamente,
autor: Celso M Doria
XZ
170
1 (R)
(f ) | det(d) |
Celso M Doria
Z
1 (R)
(f ) | det(d) | U(f, P)
f=
1 (R)
(f ) | det(d) |
I(n1)(n1)
(n 1 )
{ xj (a)}1jn1
!
0
(n 1 )
(a)
xn
Segue de da = I que
(n 1 )a
(a) = 1
xn
det(d(a) ) 6= 0
U , (U , ) Rn
Ua V Rn
onde V (U , ) e = : U Rn uma composio de difeomorfismos.
autor: Celso M Doria
171
4.8. INTEGRAO
Celso M Doria
Agora, de acordo com os itens 1o e 2o da demonstro, suficiente mostrar que a afirmao do Teorema satisfeita pelas aplicaes e ao integrar uma funo constante.
Vamos mostrar para .
Seja W Ua um retngulo da forma D [an , bn ], onde D um retngulo em Rn1
onde a frmula da mudana de varivel vale. Seja xn : D Rn1 definida por
xn (x1 , . . . , xn1 ) = (x1 . . . , xn1 , xn )
.
Observamos que para todo xn Ua temos que xn e um difeomorfismo det(dxn ) 6= 0.
Alm disto,
Z
(D[an ,bn ])
1.dx1 . . . dxn1 =
xn (D)
dx1 . . . dxn1
Z
=
[an ,bn ]
Z
[
(D)
Z
dx1 . . . dxn1 ]dxn =
[an ,bn ]
Z
W
(Ua )
| det(d) |
1=
Ua
Z
f=
Ua
(f ) | det(d) |
4. Se para todo a existe uma vizinhaa na qual o Teorema vale, ento ele vale para
todo a .
autor: Celso M Doria
172
Celso M Doria
S
Demonstrao. Do passo anterior, temos que a Ua , onde o teorema vale
para cada Ua . Vamos extrair uma subcobertura enumervel de forma que ()
S
nN (Uan ). Seja {n | n N} uma partio da unidade subordinada a {(Uan ) |
n N}. Desde que
supp((n ).(f )) Un
e
supp(n .f) (Un )
segue que
Z
(Un )
n .f =
Un
(n )(f ) | det(d) |
Portanto,
Z
()
XZ
=
nN Un
Z
f=
() nN
n f =
XZ
nN (Un )
Z
(n ).(f ) | det(d) |=
(n )}(f ) | det(d) |=
Un nN
Z
(f ) | det(d) |
173
n .f =
4.8. INTEGRAO
Celso M Doria
174
Referncias Bibliogrficas
[1] GUILLEMIN,V & POLLACK, A - Differentail Topology, Prentice Hall , Inc, Englewood
Cliffs, New jersey, 1974.
[2] HATCHER, A. - Algebraic Topology, Cambridge Univ Press, 2002
[3] HIRSCH, M.W. & SAMALE,S. - Differential Equations, Dynamical Systems, and Linear
Algebra, Series of Monog. and Texts in Pure and Applied Mathematics, Academic Press,
New York, 1970.
[4] Komolgorov-Fomin - Introductory Real Analysis, Dover.
[5] KREYSZIG, ERWIN - Introductory Functional Analysis with Applications, Wiley Classics
Library, 1978.
[6] LANG, SERGE - Analysis I, Addison-Wesley Publ. Co., 1969
[7] MASSEY, W. - Algebraic Topology: An Introduction, Springer-Verlag, GTM 56, New
York, 1977.
175