Escolar Documentos
Profissional Documentos
Cultura Documentos
AnaliseII PDF
AnaliseII PDF
ESPAOS NORMADOS
1.1 P RODUTO I NTERNO . . . . . . . . . .
1.2 N ORMA . . . . . . . . . . . . . . . . .
1.3 A PLICAES L INEARES C ONTNUAS
1.4 L EMA DA C ONTRAO . . . . . . . .
1.5 E XERCCIOS . . . . . . . . . . . . . .
APLICAES DIFERENCIVEIS
2.1 D EFINIO . . . . . . . . . . . . . .
2.2 E XEMPLOS . . . . . . . . . . . . . .
2.3 I NTERPRETAO G EOMTRICA DA
2.4 A PLICAES DE C LASSE C1 . . . .
2.5 E XERCCIOS . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . .
. . . . . . .
D ERIVADA
. . . . . . .
. . . . . . .
PROPRIEDADES DA DERIVADA
3.1 A R EGRA DA C ADEIA . . . . . . . . . . .
3.2 O T EOREMA DO VALOR M DIO . . . . . .
3.3 D ESIGUALDADE DO VALOR M DIO . . . .
3.4 C ONSEQNCIAS DA D ESIGUALDADE DO
3.5 D ERIVADAS PARCIAIS . . . . . . . . . . .
3.6 E XERCCIOS . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . . . . . .
. . . . . . . . .
. . . . . . . . .
VALOR M DIO
. . . . . . . . .
. . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
1
4
7
9
.
.
.
.
.
14
14
15
21
22
27
.
.
.
.
.
.
31
31
34
34
36
39
43
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
48
49
49
51
54
55
56
APLICAES IMPLCITAS
5.1 O T EOREMA DA A PLICAO I MPLCITA
5.2 F ORMA L OCAL DAS I MERSES . . . . .
5.3 O T EOREMA DO P OSTO . . . . . . . . . .
5.4 E XERCCIOS . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
58
58
64
66
71
.
.
.
.
.
.
.
.
.
.
.
.
SUMRIO
ii
6 SUPERFCIES NO Rn
6.1 D ERIVADAS DE O RDEM S UPERIOR . . . . . . . . . .
6.2 S UPERFCIES D IFERENCIVEIS NO Rn . . . . . . . .
6.3 A PLICAES D IFERENCIVEIS E NTRE S UPERFCIES
6.4 S UPERFCIES , G RFICOS E I MAGENS I NVERSAS . . .
6.5 E XERCCIOS . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
7 A FRMULA DE TAYLOR
7.1 O T EOREMA DE S CHWARZ . . . . . . . . . . . . . . . .
7.2 A F RMULA DE TAYLOR COM R ESTO I NFINITESIMAL
7.3 A F RMULA DE TAYLOR COM R ESTO I NTEGRAL . . .
7.4 A F RMULA DE TAYLOR COM R ESTO DE L AGRANGE
7.5 M XIMOS E M NIMOS DE F UNES R EAIS . . . . . .
7.6 M ULTIPLICADORES DE L AGRANGE . . . . . . . . . . .
7.7 E XERCCIOS . . . . . . . . . . . . . . . . . . . . . . . .
8 SUPERFCIES ORIENTVEIS E COM BORDO
8.1 S UPERFCIES O RIENTVEIS . . . . . . . . . . .
8.2 S UPERFCIES COM B ORDO . . . . . . . . . . .
8.3 O RIENTAO EM S UPERFCIES COM B ORDO
8.4 PARTIES DA U NIDADE . . . . . . . . . . .
8.5 E XERCCIOS . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
74
74
75
81
83
85
.
.
.
.
.
.
.
90
90
92
95
96
97
103
107
.
.
.
.
.
108
108
112
117
120
120
9 MUDANA DE VARIVEIS
123
9.1 O C ASO U NIDIMENSIONAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
9.2 O T EOREMA DE M UDANA DE VARIVEIS . . . . . . . . . . . . . . . . . . . . . 123
Captulo 1
ESPAOS NORMADOS
1.1
P RODUTO I NTERNO
Definio 1.1 Seja E um espao vetorial sobre os reais. Um produto interno em E uma aplicao
h , i : E E R satisfazendo as seguintes propriedades:
(i ) h x, yi = hy, x i;
(ii ) h x + y, zi = h x, zi + hy, zi;
(iii ) h x, x i 0 e h x, x i = 0 se, e somente se, x = 0.
Um espao E com produto interno euclidiano se ele tem dimenso finita.1
Exemplo 1 Se E = Rn , o produto interno cannico (tambm chamado de produto escalar)
definido por
y
1
n
h x, yi = x y := xi yi = ( x1 . . . xn ) ... ,
i =1
yn
em que x = ( x1 , . . . , xn ) e y = (y1 , . . . , yn ).
Definio 1.2 Sejam x, y vetores do espao com produto interno E. Esses vetores so ortogonais (ou
perpendiculares) se h x, yi = 0. Nesse caso escrevemos x y).
Posteriormente justificaremos geometricamente essa definio.
1.2
N ORMA
Definio 1.3 Seja E um espao vetorial sobre os reais. Uma norma em E uma aplicao k k :
E [0, ) satisfazendo as seguintes propriedades:
1 Essa terminologia varia de acordo com o texto consultado: em alguns, um espao euclidiano um espao
com produto interno, mesmo em dimenso infinita.
(i ) k x k > 0 se x 6= 0;
(ii ) kx k = || k x k, para R;
(iii ) k x + yk k x k + kyk.
Se E possui uma norma, dizemos que E um espao normado. Se o espao normado E for completo
(isto , seqncias de Cauchy em E so sempre convergentes), ento E um espao de Banach.
O valor k x k pode ser interpretado geometricamente como o comprimento do vetor x. Se
k x k = 1, o vetor x unitrio.
Seja E um espao com produto interno. Consideremos (com abuso de notao) k x k :=
h x, x i1/2 . Vamos mostrar que essa notao se justifica, isto , que h x, x i1/2 realmente define
uma norma. Comeamos justificando a definio de perpendicularidade dada acima.
Teorema 1.4 (Pitgoras)
Seja E um espao real com produto interno e k x k = h x, x i1/2 . Ento, x y se, e somente se,
k x + y k2 = k x k2 + k y k2 .
Demonstrao: Basta desenvolver k x + yk2 :
|h x, yi| k x k kyk.
Demonstrao: A prova que apresentaremos bem geomtrica. (Interprete!)
Se x = y, ento |h x, yi| = || hy, yi = || kyk2 = k x k kyk. Se x 6= y, existe R tal
que |hy x, x i| = 0. De fato, basta tomar := h x, yi/k x k2 ; note que k x k = 0 est includo
no caso anterior. Ento, pelo Teorema de Pitgoras,
kx k2 < kyk2 .
Substituindo o valor de , obtemos
|hy, x i|2
k x k2 < k y k2 ,
k x k4
e a desigualdade de Cauchy-Schwarz segue-se imediatamente da, pois hy, x i = h x, yi.
Agora estamos em condies de justificar a notao k x k = h x, x i1/2 .
Proposio 1.6 Todo espao com produto interno E tem uma norma definida por k x k = h x, x i1/2 .
1.2. NORMA
kx k2 = hx, x i = 2 h x, x i = ||2 k x k2 .
Finalmente, temos que
k x + yk2 = h x + y, x + yi = k x k2 + 2h x, yi + kyk2
k x k2 + 2k x k kyk + kyk2 = (k x k + kyk)2 .
k x + y k2 + k x y k2 = 2 k x k2 + k y k2 .
Observao 1.8 Seja B = {v1 , . . . , vn } uma base do espao vetorial E. Um elemento x E
escreve-se ento como combinao linear dos elementos da base: x = 1 v1 + . . . + n vn , em
que os escalares 1 , . . . , n so nicos. Dessa forma temos induzido um isomorfismo entre E
e Rn , por meio da associao
x = 1 v1 + . . . + n vn ... Rn .
n
Denotamos [ x ]B = (1 , . . . , n ). Dessa forma, obtemos um produto interno em E ao definirmos
h x, yi = [ x ]tB [y]B .
Note que a definio desse produto interno a generalizao do Exemplo 1.
Assim, ao dizermos que um espao vetorial de dimenso finita euclidiano, no estamos atribuindo uma propriedade especial a esse espao. Estamos, na verdade, especificando
que naquele espao foi escolhido um determinado produto interno, entre os vrios produtos
internos com que ele poderia ser considerado.
Se essa a situao em dimenso finita, espaos de dimenso infinita so muito diferentes:
mesmo quando possvel, nem sempre razovel (ou desejvel) definir um produto interno
nesses espaos. Em muitas situaes prticas, um espao vetorial tem uma norma que est
naturalmente associada ao problema considerado, a qual pode gerar uma topologia que no
equivalente quela gerada por um produto interno. (Veja a Definio 1.12 para o conceito
de normas equivalentes.)
Lema 1.9 Seja E um espao real com produto interno. Ento vale a identidade de polarizao:
1
1
h x, yi = k x + yk2 k x yk2 .
4
4
Demonstrao: Basta desenvolver o lado direito da igualdade.
Num espao com produto interno, a identidade de polarizao permite recuperar o produto interno, conhecida a norma. (Veja o Exerccio 27.)
1.3
(i ) T contnua na origem;
(ii ) sup k T x k = M < ( T limitada);
k x k=1
k pk = sup | p(t)|.
t[0,1]
O Teorema Fundamental da lgebra garante que k k uma norma em R[t]. Definimos agora
T : R[t] R por T p = p(2). Claramente T linear. Mostraremos que T descontnua no
polinmio p = 0. De fato, tomando e = 1/2, consideremos o polinmio pn := (t/2)n .
Claramente k pn 0k = 1/2n , mas | T pn 0| = | T pn | = 1.
Quando o mesmo espao X for considerado com diferentes normas, algumas vezes empregaremos a notao ( X, k k) para ressaltarmos que X est sendo considerado com a norma
k k.
(Rn , k k
i =1,...,n
X contnua.
kT xk =
i =1
i =1,...,n
i =1
Teorema 1.14 Seja ( X, k k) um espao normado de dimenso n sobre o corpo R. Ento X linearmente homeomorfo a Rn .
Demonstrao: Escolha uma base B = { x1 , . . . , xn } em X e considere x = 1 x1 + . . . + n xn
X. A representao [ x ]B Rn o vetor = (1 2 n )t Rn . Consideremos o isomorfismo T : (Rn , k k ) X por T = x. De acordo com o Lema 1.13, T contnua.
Definimos agora f : (Rn , k k) [0, ) por f ( x ) = k T x k. Decorre do Exerccio 18 que
f uma funo contnua. Assim, f assume um mnimo no compacto S := { x Rn | k x k =
1}. Esse mnimo positivo, pois k k uma norma em X. Assim, se 0 6= x Rn , temos
( x/k x k ) S e
Tx
x
f
=
k x k k x k k T x k.
k x k
O Corolrio 1.11 garante ento que T um homeomorfismo.
Corolrio 1.15 Sejam X e Y espaos normados, dim X = n. Ento toda aplicao linear T : X Y
contnua.
Demonstrao: Seja S : Rn X um homeomorfismo linear. Ento U = T S : Rn Y
uma aplicao linear contnua, de acordo com o Lema 1.13. Mas ento T = U S1 uma
aplicao linear contnua.
2
Corolrio 1.16 Todas as normas num espao vetorial X de dimenso finita so equivalentes.
Nessa definio, note que k k designa tanto a norma em X quanto a norma em Y. A definio
nos mostra que k T x k k T k k x k para todo x X.
O prximo resultado garante que k k realmente uma norma no espao vetorial L( X, Y )
de todas as aplicaes lineares contnuas de X em Y.
Proposio 1.18 Sejam X, Y espaos normados e T : X Y uma aplicao linear contnua. Ento
(i ) k T k uma norma;
(ii ) kST k kSk k T k.
Demonstrao: Claramente k T k 0 e k T k = 0 se, e somente se, T x = 0 para todo x 6= 0.
Vale
kT x k
| | k T x k
kT xk
kT k = max
= max
= || max
= | | k T k.
kxk
kxk
kxk
x 6 =0
x 6 =0
x 6 =0
Alm disso,
kS + T k = max
x 6 =0
k(S + T ) x k
kSx k + k T x k
kSx k
kT xk
max
max
+ max
= k S k + k T k.
kxk
kxk
x 6 =0
x 6 =0 k x k
x 6 =0 k x k
Observao 1.19 A norma da aplicao T depende das normas escolhidas nos espaos X e Y
(veja em [11], p. 65, uma tabela relacionando a norma de uma matriz A, m n, com diferentes
normas nos espaos Rn e Rm ).
Consideremos ento uma aplicao linear T : X Y entre espaos normados, com
dim X = n e dim Y = m. A escolha de bases nos espaos X e Y gera isomorfismos entre X
e Rn e Y e Rm , respectivamente. Esses isomorfismos no precisam ser isomtricos, de forma
que representaes matriciais de T podem possuir normas diferentes da norma da aplicao
T.
Contudo, se os espaos envolvidos forem euclidianos, a norma da aplicao T igual
norma (como aplicao linear) de qualquer uma de suas representaes matriciais referentes
a bases ortonormais nos espaos X e Y, pois as matrizes mudana de base envolvidas sero
sempre unitrias. (Veja o Exerccio 20.)
1.4
L EMA DA C ONTRAO
k( x ) (y)k kk x yk, x, y F.
Exemplo 3 Consideremos uma funo diferencivel f : R R tal que supxR | f 0 ( x )| =: k <
1 para todo x R. Ento f uma contrao. Afirmamos que f tem um ponto fixo, isto ,
existe um ponto x0 R tal que f ( x0 ) = x0 . Para isto, consideremos f (0). Se for f (0) > 0,
consideremos x > 0 suficientemente grande. Ento f ( x ) = f (0) + f 0 (h) x < f (0) + kx < x.
Isto mostra que f ( x ) cruza a reta y = x, de acordo com o Teorema do Valor Intermedirio. Se
for f (0) < 0 tome x < 0 tal que | x | seja suficientemente grande e repita o argumento.
kyn ym k
k y j y j 1 k
k j1 (y1 ) j1 (y0 )k
k j 1 k y 1 y 0 k
j = m +1
n
j = m +1
n
j = m +1
km
1k
ky1 y0 k 0 quando m
Isto mostra que (yn ) uma seqncia de Cauchy; como F completo, yn x0 F. Como
contnua, temos
( x0 ) = lim (yn ) = lim yn+1 = x0 .
n
Isto mostra que x0 um ponto fixo atrator. A unicidade do ponto fixo decorre imediatamente
do fato de ser uma contrao.
2
Teorema 1.22 (Teorema do Ponto Fixo de Banach-Cacciopoli)
Sejam F um subconjunto fechado de um espao de Banach X e : F F uma aplicao tal que,
para algum inteiro n > 0, n seja uma contrao. Ento o Lema da Contrao vlido para o operador
.
Exemplo 5 Contraes podem ser utilizadas para a obteno de solues de equaes do tipo
g( x ) = 0. De fato, se definirmos f ( x ) := x g( x ), a equao se transforma em f ( x ) = x. (A
constante > 0 ser escolhida oportunamente.)
Suponhamos que g( a) < 0, g(b) > 0 e 0 < g0 ( x ) para x [ a, b]. Ento existe
apenas uma soluo de g( x ) = 0 em [ a, b]. De fato, isso decorre do Teorema do Valor Intermedirio (existncia) e do Teorema do Valor Mdio (unicidade). Mas os teoremas aplicados
no nos indicam como determinar esse ponto.
Podemos abordar o mesmo problema de outra maneira: basta mostrar que f : [ a, b]
[ a, b] uma contrao, para escolha adequada de . Como g( a) < 0, temos f ( a) = a
g( a) > a. Como g(b) > 0, f (b) = b g(b) < b. Assim, se escolhermos = 1/,
vemos que | f ( x ) f (y)| = f 0 (c)| x y| com c entre x e y. Como f 0 (c) 1 (1/) g0 (c)
1 (1/) = 0 e f 0 (c) = 1 (1/) g0 (c) < 1 (1/) < 1, vemos que f uma contrao.
Logo, a soluo de g( x ) = 0 pode ser encontrada atravs da obteno do ponto fixo de f por
meio de iteraes dessa funo.
1.5. EXERCCIOS
Embora o Lema da Contrao seja muito til, suas hipteses so bastante restritivas, ao
exigir que a aplicao considerada seja uma contrao. Um resultado profundo da anlise
estabelece a existncia de ponto fixo em condies menos restritivas:
Teorema 1.23 (Teorema do Ponto Fixo de Brouwer)
Seja B r (0) Rn a bola fechada de raio r e centro na origem. Toda aplicao f : B r (0) B r (0)
possui um ponto fixo.
As implicaes do Teorema do Ponto Fixo de Brouwer so muito importantes, mas fogem
ao escopo deste texto. Tambm sua demonstrao no simples; contudo, no caso n = 1, ela
elementar (veja o Exerccio 34).
1.5
E XERCCIOS
a3 a2 a0 + a2 a1
3
2
M2 2 .
T ( a3 t + a2 t + a1 t + a0 ) =
a2 + a1 a1 a2 a3
(a) Mostre que T linear;
(b) Obtenha ker T e im T;
10
1 1
1 1
1 1
1 0
C=
,
,
,
1 1
1 0
0 0
0 0
so bases de R3 [t] e M22 , respectivamente.
(d) Obtenha a representao matricial de T com relao s bases B e C .
8. Seja T : X Y uma aplicao linear invertvel representada, com relao s bases B e
C dos espaos X e Y, respectivamente, pela matriz TBC . Mostre que a aplicao inversa
T 1 representada, com relao s bases C e B , pela matriz [ TBC ]1 .
9. Se T : X Y e S : Y Z so aplicaes lineares invertveis, mostre que (ST )1 =
T 1 S 1 .
10. Seja f : Rn R um funcional linear. Mostre que existe um nico vetor v Rn tal que
f x = h x, vi para todo x Rn . Esse o Teorema de Representao de Riesz no Rn .
11. Seja Y um espao normado. Mostre que toda aplicao linear T : R Y da forma
x 7 xy, em que y Y est fixado.
Os prximos exerccios introduzem o conceito de espao mtrico e apresentam algumas
de suas propriedades. A maioria dos exerccios pode ser resolvida adequando a notao da
demonstrao de resultado equivalente para o espao Rn .
12. Seja X um espao normado. Mostre que, se dist (, ) : X X R+ for uma distncia2
gerada por uma norma (isto , dist ( x, y) = k x yk), ento ela satisfaz
1.5. EXERCCIOS
11
( a ) k T k = k S k;
h xn , yi h x, yi para todo y X.
h xn , yi h x, yi y X
(1.1)
12
(i ) B( x + x 0 , y) = B( x, y) + B( x 0 , y);
(ii ) B( x, y + y0 ) = B( x, y) + B( x, y0 );
De maneira anloga define-se uma aplicao n-linear.
O prximo exerccio generaliza para aplicaes n-lineares o resultado anlogo para aplicaes
lineares.
27. Sejam X1 , . . . , Xn e Y espaos normados e T : X1 Xn Y uma aplicao n-linear.
Se ( x1 , . . . , xn ) X1 Xn , mostre que so equivalentes as propriedades:
( a) T contnua;
(b) T contnua na origem;
(c)
sup
k T ( x1 , . . . , xn )k = M < (T limitada);
k x1 k=...=k xn k=1,
h
i
(d) existe C > 0 tal que k T ( x1 , . . . , xn )k M k x1 k k xn k para todo ( x1 , . . . , xn )
X1 X n ;
Conclua que so contnuas tanto a funo determinante como a aplicao (, x ) 7 u,
em que R e x Rn .
28. Sejam X, Y, Z espaos normados, com X e Y de dimenso finita. Mostre que toda aplicao bilinear B : X Y Z contnua. Generalize para aplicaes n-lineares.
1.5. EXERCCIOS
13
Captulo 2
APLICAES DIFERENCIVEIS
2.1
D EFINIO
(2.1)
em que
ru ( h)
= 0.
h 0 k h k
lim
k h k.
Th =
t
t
kthk
Assim,
T h = lim
t 0
1 No
f (u + th) f (u)
.
t
14
(2.2)
2.2. EXEMPLOS
15
Em particular, se existir uma aplicao linear T satisfazendo (2.1), ento ela nica.2 Chamamos ento T de derivada de f em u e denotamos T = D f (u) ou T = f 0 (u). Assim, por
definio, D f (u) L(Rm , Rn ).
Decorre imediatamente da definio que uma aplicao f : U Rm diferencivel no
ponto u contnua nesse ponto (basta escrever ru (h) = (ru (h)/k hk)khk e considerar h 0
em (2.1).) Note tambm que, denotando u + h = v, a condio (2.1) escreve-se como
f ( v ) = f ( u ) + D f ( u ) ( v u ) + r u ( v u ),
(2.3)
2.2
E XEMPLOS
Exemplo 1 (Aplicaes constantes) Uma aplicao constante f : U Rn Rm diferencivel em qualquer ponto u U e sua derivada a aplicao linear 0 L(Rn , Rm ). Isso segue-se
imediatamente de (2.1), que satisfeita com D f (u) = T = 0.
k T1 h T2 hk =
Tomando o limite quanto t tende a zero, vem k( T1 T2 ) hk = 0 para todo h com k hk = 1. Assim, k T1 T2 k = 0
e T1 = T2 .
3 Em contextos de espaos de Banach, exige-se a continuidade de L.
4 Como antes, no contexto de espaos de Banach, exige-se que a aplicao bilinear seja contnua.
16
f i ( x + h) = f i ( x ) + Ti h + ri (h),
D f 1 (u) h
..
m
D f (u) h =
R .
.
D f m (u) h
2.2. EXEMPLOS
17
D f ( u ) e2
D f ( u ) e n ),
f
( u ).
xi
..
D f ( u ) ei =
=
.
D f m ( u ) ei
f1
xi ( u )
..
Rm ,
.
fm
x ( u )
i
J f (u) =
..
..
..
...
.
.
.
fm
fm
fm
x ( u ) x2 ( u )
xn ( u )
Mm n .
L(Rn , Rm )
v = lim
18
desde que esse limite exista. Escrevemos ento v = 0 (t). Se o vetor velocidade existir para
todo t I, dizemos que um caminho diferencivel.
O vetor velocidade 0 (t) existe se, e somente se, : I Rm for diferencivel no ponto
t I. Alm disso, esse vetor velocidade identifica-se naturalmente com a derivada D(t).
De fato, o espao L(R, Rm ) isomorfo, de maneira natural, ao espao Rm : basta associar a
cada transformao linear T L(R, Rm ) o vetor a = T 1, imagem do vetor 1 (base de R) pela
aplicao T. Como T h = hT 1 = ha, vemos que T h identificado com a multiplicao
do escalar h pelo vetor a. (Note que estamos associando diretamente L(R, Rm ) ao espao
Rm , ao invs de associar L(R, Rm ) ao espao de matriz m 1, como feito no caso da matriz
jacobiana.)
Assim, dado : I Rm e t I, quando tomamos h suficientemente pequeno (de modo
que t + h I), temos que (t + h) = (t) + D(t) h + rt (h) o mesmo que (t + h) =
(t) + hw + rt (h), em que w = D(t) 1. Portanto,
rt (h)
(t + h) (t)
=
w .
|h|
h
Assim,
rt ( h)
=0
h 0 | h |
lim
v = w.
0
(t) = 10 (t), , m
(t) ,
de acordo com o Exemplo 5.
f (u)
f (u) f (u)
,
d f (u) =
x1
x2
xn
uma matriz com uma linha e n colunas. Em particular,
n
d f (u) h =
em que h = (h1 , . . . , hn ).
f (u)
h,
xi i
i =1
2.2. EXEMPLOS
19
Contudo, o espao (Rn ) = L(Rn , R) tem uma base "natural" {e1 , . . . , en }, chamada base
dual (da base cannica do Rn ); se v = (v1 , . . . , vn ) = v1 e1 + . . . + vn en , os elementos da base
dual so caracterizados por
ei v = vi .
(Se voc est estranhando a notao ei v, lembre-se que ei um funcional linear!) Freqentemente os funcionais ei so denotados por dxi . (Veremos, posteriormente, uma justificativa
para essa notao.)
Podemos, portanto, usar essa base dual para representar d f (u):
n
d f (u) =
xi (u)dxi .
(2.4)
i =1
df =
xi dxi ,
i =1
Necessitaremos, para o prximo exemplo, de um resultado auxiliar, que tem conseqncias importantes e til por si s.
Lema 2.2 Seja T L(Rn , Rn ) tal que k T k < 1. Ento I T possui inversa, dada pela srie
Tk = I + T + T2 + . . . + Tk + . . .
k =0
s` =
1 k T k`
,
1 kTk
k =0
( I T )( I + T + T 2 + . . . + T k ) = ( I + T + T 2 + . . . + T k )( I T ) = I T k+1 ,
5 Isto
, uma aplicao linear contnua com inversa contnua. Como estamos num contexto de dimenso
finita, poderamos dizer apenas que I T um isomorfismo.
6 Verificamos que a srie converge "absolutamente" (ou "normalmente"), o que implica a convergncia da
srie. Veja [10], Exemplo 13, p. 170.
20
tomando o limite com k tendendo a infinito, vemos que a inversa de I T dada pela s
rie
`1
k =0
n
n
L(R , R ). Assim, tambm a srie est em L(Rn , Rn ), pois esse espao completo.)
Tk
k =0
[U ( I + tU 1 H )]1 U 1
(U + tH ) (U )
= lim
=
lim
t 0
t 0
t
t
( I + tU 1 H )1 I
lim
t 0
t
U 1 .
( I + tU
H)
(1)k tk (U 1 H )k ,
k =0
rU ( H ) =
(1)k (U 1 H )k U 1,
k =2
desde que H seja suficientemente pequeno para que U 1 H possua inversa. Conseqentemente,
krU ( H )k
kU 1 k k k H k k kU k
k =2
rU ( H )
0 quando H 0. Conclumos que diferencivel em U
kHk
= U 1 HU 1 . Como D(U ) a composta de aplicaes lineares
mostrando que
e D(U ) H
temos que D(U ) contnua, mostrando que de classe C1 .
GL(Rn )
contnuas,
21
Observao 2.3 Note que a aplicao : GL(Rn ) Mnn GL(Rn ) no est, strictu sensu,
no contexto em que foi definida a aplicao derivada. Contudo, podemos identificar Mnn
2
e : U Rn2 Rn2 , para
com o espao Rn e, desse modo, identificar com uma aplicao
a qual faz sentido o conceito de derivada, tal qual exposto na Definio 2.1.
Essas dificuldades so superadas quando, ao invs de considerarmos espaos Rn , passamos ao contexto mais geral de espaos de Banach. A apresentao pode ser feita seguindo
a mesma linha escolhida para este texto que evita, em todos os resultados vlidos tambm para espaos de dimenso infinita, a utilizao de bases , apenas levando em conta que
uma aplicao linear entre espaos de Banach no , necessariamente, contnua. Para essa
abordagem mais geral, veja, por exemplo, as referncias [5]-[8] e [14].
2.3
( f )(t) ( f )(0)
f (u0 + th) f (u0 )
= lim
,
t 0
t 0
t
t
( f )0 (0) = lim
vemos que a derivada D f (u0 ) avaliada no ponto h justamente o vetor velocidade ( f )0 (0).
'
&
U Rn
q
h u0 +th
q
u0
1
f
-e
Df (u0 ) h
f (u0 ) q
Rm
q
f (u0 + th)
-
22
Observao 2.4 (O espao tangente) Uma outra interpretao da derivada D f (u0 ) tem papel
fundamental: se uma superfcie S dada como o grfico de uma aplicao f : U Rn Rm ,
seu espao tangente Tp S no ponto p = (u0 , f (u0 )) o grfico da derivada D f (u0 ). Mais
precisamente, definindo : U S por (u) = (u, f (u)), temos que Tp S D Rn , isto ,
D(u0 ) v = (v, D f (u0 ) v). Algumas vezes trabalhamos com o "espao tangente afim", em
que o espao tangente transladado para o ponto p. A equao do espao tangente afim
dada por (veja a equao (2.3))
( x, y), 2x + y ,
expresso que usualmente escrevemos como z = 2x + y. Como no podia deixar de ser, essa
a equao de um plano passando pela origem. Nos cursos de Clculo trabalhamos com o
plano tangente afim:
( x, y), f (1, 2) + (2 1)
x1
y2
= ( x, y), 3 + 2( x 1) + y 2 = ( x, y), 2x + y 1 ,
2.4
A PLICAES DE C LASSE C1
f (u + th) f (u)
,
t
23
f
f
(u) =
( u ).
h
xi
Nosso objetivo nessa Seo investigar a relao entre funes diferenciveis e a existncia das derivadas direcionais. Claro, a existncia de D f (u) acarreta a existncia de derivadas
f
direcionais para todo h Rn , pois D f (u) h = h (u). Mas a existncia de derivadas direcionais para todo h Rn implica a existncia de D f (u)?
A resposta para essa questo negativa. Na verdade, uma funo f pode possuir derivadas direcionais para todo h Rn e mesmo assim no ser contnua. Isso mostrado no
seguinte exemplo:
Exemplo 10 Consideremos a funo g : R2 R dada por
g( x, y) =
x2 y
,
x 4 + y2
( x, y) 6= (0, 0) e g(0, 0) = 0.
0, se h2 = 0
2
h h2
g(t(h1 , h2 ))
=
lim
= lim 2 41
h2
t 0
t
t 0 t h + h 2
2
1
1 , se h2 6= 0,
h2
mostramos a existncia das derivadas direcionais de g na origem para todo vetor h R2 .
(Veja a Figura 2.2.)
x2 y
Figura 2.2: Duas perspectivas do grfico de g = 4
, ( x, y) 6= 0 e g(0, 0) = 0. A funo g
x + y2
descontnua na origem, mas possui todas as derivadas direcionais nesse ponto.
Se exigirmos a continuidade da funo, mesmo assim a existncia de derivadas parciais
em todas as direes no suficiente para garantir que a funo diferencivel. Vejamos dois
exemplos.
24
Exemplo 11 Seja g : R2 R definida por
g( x, y) =
x2 y
,
x 2 + y2
( x, y) 6= (0, 0) e g(0, 0) = 0.
( x,y)(0,0)
g( x, y) =
lim
( x,y)(0,0)
mostrando a continuidade de g.
Calculamos imediatamente a derivada direcional em (0, 0) na direo do vetor arbitrrio
h = ( h1 , h2 ):
t3 h2 h2
h2 h2
g(t(h1 , h2 )) g(0, 0)
lim
= lim 3 2 1 2 = 2 1 2 .
t 0
t 0 t ( h + h )
t
h1 + h2
2
1
Assim, existem todas as derivadas direcionais na origem. Entretanto, o "candidato" natural
a derivada de g(0, 0) uma aplicao que no linear em h. Assim, g no diferencivel na
origem. (Veja a Figura 2.3. Note que o resto, nesse caso, identicamente nulo!)
x2 y
, ( x, y) 6= 0 e g(0, 0) = 0.
x 2 + y2
x2
x4
+ y2
( x, y) 6= (0, 0) e g(0, 0) = 0.
y
x4
+ y2
= xp
1
1 + y2 /x4
1
.
1 + x4 /y2
25
| g( x, y)| | x |.
Decorre da imediatamente que
Alm disso,
lim
( x,y)(0,0)
th3 h2
g
g(th1 , th2 )
(0, 0) = lim
= lim 2 41 2 = 0.
h
t 0
t
t 0 t h + h
2
1
Assim, existem todas as derivadas direcionais na origem e so nulas (e, portanto, so lineares). Entretanto, g no diferencivel na origem. De fato,
r(0,0) (h1 , h2 )
h31 h2
q
q
=
.
h21 + h22
(h41 + h22 ) h21 + h22
Em particular, se h1 = h2 , vemos que no existe
lim
h1 0
h41
2|h1 |(h41
+ h21 )
= lim
h1 0
1
2| h1 |(1 + 1/h21 )
x3 y
, ( x, y) 6= 0 e g(0, 0) =
x 3 + y2
26
Proposio 2.6 Seja U Rn um aberto. Suponhamos que todas as derivadas parciais da aplicao
f : U Rm existam e sejam contnuas numa vizinhana do ponto u U. Ento f diferencivel no
ponto u.
Demonstrao: Uma vez que podemos passar s coordenadas f i da funo f , podemos supor,
sem perda de generalidade, que m = 1, isto , f : U Rn R. Se u = (u1 , . . . , un ) U e
h = (h1 , . . . , hn ) Rn , temos
f ( u1 + h1 , . . . , u n + h n ) f ( u1 , . . . , u n ) =
= f ( u1 + h1 , u2 + h2 , . . . , u n + h n ) f ( u1 , u2 + h2 , . . . , u n + h n )
+ f ( u1 , u2 + h2 , . . . , u n + h n ) f ( u1 , u2 , . . . , u n + h n )
..
.
+ f ( u1 , u2 , . . . , u n + h n ) f ( u1 , u2 , . . . , u n ).
Para j {1, . . . , n}, aplicando o Teorema do Valor Mdio a cada uma das funes reais envolvidas, obtemos que
f
(. . . , c j , . . .)h j ,
x j
f (. . . , u j + h j , . . .) f (. . . , u j , . . .) =
f ( u1 + h1 , . . . , u n + h n ) f ( u1 , . . . , u n ) =
n
f
(
u
)
h
+
j
x j
j (h)h j
j =1
j =1
n
= d f (u) h + j (h)h j .
j =1
Claramente
lim
j (h)h j = 0,
h 0 j =1
2.5. EXERCCIOS
2.5
27
E XERCCIOS
G ( x, y) = ( x + y )sen
1
2
x + y2
, se
( x, y) 6= (0, 0),
G (0, 0) = 0.
28
A teoria de aplicaes diferenciveis pode ser generalizada para o contexto mais geral de
aplicaes f : U X Y, em que X, Y so espaos de Banach e U X um conjunto
aberto. Os primeiros exerccios lidam com essa generalizao: vamos supor que os espaos
envolvidos sejam espaos de Banach e que os conjuntos considerados nesses espaos sejam
abertos.
8. Defina a diferenciabilidade de uma funo f : U X Y no ponto u U. Seja f
diferencivel no ponto u U.
(a) Mostre que a continuidade de f em u equivalente continuidade da aplicao
linear D f (u) : X Y;
(b) explicite o significado de f ser de classe C1 ;
(c) verifique que os resultados sobre as derivadas de uma aplicao constante e de
uma aplicao linear contnua so os mesmos.
(d) Considere uma aplicao bilinear contnua B : X Y Z. Calcule sua derivada.
Generalize para aplicaes n-lineares contnuas.
9. Considere um produto cartesiano Y1 Yn de espaos de Banach e f : U X
Y1 Yn . Generalize o resultado sobre a derivada de f em termos de suas coordenadas.
10. Generalize o resultado sobre a derivada de uma curva para aplicaes f : I R Y,
em que I um intervalo aberto. (Note que no faz sentido, em geral, expressar o vetor
derivada em termos de suas coordenadas.)
Os prximos exerccios apresentam conseqncias interessantes da diferenciabilidade das
aplicaes envolvidas.
11. Mostre que uma funo diferencivel f : U Rn Rm de classe C1 se, e somente se,
f
todas as derivadas direcionais h existirem e forem contnuas.
12. Seja f : U Rm Rn diferencivel. Defina : U U Rn e F : U Rn Rn
por (u) = (u, f (u)) e F (u, y) = f (u) y. Mostre que e F so diferenciveis, conclua
que 0 (u) : Rm Rm Rn injetora em U e que o ncleo de F 0 (u, y) : Rm Rn Rn
coincide com a imagem de 0 (u). A imagem (U ) U Rn o grfico e o espao
vetorial 0 (u) Rm o espao tangente a (U ) no ponto (u, f (u)).
13. Sejam U Rm aberto e f : U Rn diferencivel no ponto u0 U. Ento existem > 0
e K > 0 tais que
k u u0 k
k f (u) f (u0 )k K ku u0 k.
2.5. EXERCCIOS
29
15. Sejam V, U Rm conjuntos abertos, com V U. Suponha a existncia de > 0 tal que
v V e khk < impliquem v + h U. Se f : U Rn for diferencivel em todos os
pontos de U e v0 V estiver fixado, mostre que a aplicao r : V B (0) Rn dada
por
r (v, h) = f (v + h) f (v) D f (v0 ) h
diferencivel em todos os pontos de V B (0).
16. Seja U Rn um conjunto aberto. Mostre que, se f : U R atinge um mximo (ou
mnimo) relativo no ponto u U, ento f 0 (u) = 0.
17. Seja U Rn um aberto limitado. Suponha que f : U R seja diferencivel em U e que,
\ U, tenha-se lim f (u) = 0. Mostre que existe u U tal que f 0 (u) = 0.
para todo p U
u p
D exemplos mostrando que que U precisa ser limitado (acho que no precisa!) e que
no basta que f seja contnua.
18. Seja U C um conjunto aberto. Uma funo f : U C holomorfa se, para todo
z U, existe
f (z + h) f (z)
A(z) := lim
.
h
C3h0
Identificando a + bi com ( a, b) R2 , podemos interpretar f como sendo uma funo
f : U R2 R2 .
(a) Justifique: f : U C C holomorfa se, e somente se, f : U R2 R2 for
diferencivel em U e f 0 (z) = A(z).
(b) Assim, D f (z) h = ( + i )h (multiplicao de nmeros complexos). Obtenha a
forma da matriz jacobiana de f (z) em termos de e .
(c) Se z = ( x, y) e f (z) = u( x, y) + iv( x, y), obtenha, em termos de derivadas parciais
de u e v, outra expresso para a matriz jacobiana de f (z). Deduza, comparando as
expresses obtidas, as equaes de Cauchy-Riemann:
u
v
= ,
x
y
u
v
= .
y
x
19. Seja f : R2 R2 definida por f ( x, y) = (e x cos y, e x sen y). Considere a aplicao linear
T = D f (3, /6) e os vetores h = (1, 0) e k = (1, 1). Obtenha o ngulo entre os vetores
T 100 h e T 101 k.
Os ltimos exerccios tratam do espao L( X, Y ).
20. Seja T L( X, Y ), em que X, Y so espaos de Banach. Mostre que
k T k = inf c > 0 : k T x k ck x k x X .
21. Considere o produto interno usual do Rn . A adjunta da aplicao linear T L(Rn , Rm )
a aplicao linear caracterizada por
h T x, wi = h x, T wi.
30
h T, Si = tr ( T S)
um produto interno em L(Rn , Rm ).
p
(c) Conclua que k T k = tr ( T T ) uma norma em L(Rn , Rm ), diferencivel exceto
no ponto 0.
Captulo 3
PROPRIEDADES DA DERIVADA
3.1
A R EGRA DA C ADEIA
com
r (h)
=0
h 0 k h k
com
(k)
= 0.
k 0 k k k
lim
lim
kr (h)k
k D f (u) h + r (h)k
k D f (u)k +
M
khk
khk
para alguma constante positiva M e
32
Assim,
k( D f (u) h + r (h))k
k(k)k k D f (u) h + r (h)k
=
khk
kkk
khk
k(k)k
M
kkk
Uma vez que h 0 implica k 0, isso significa que
(h)
Dg(v) r (h) + ( D f (u) h + r (h))
= lim
khk
h 0 k h k
h 0
kr (h)k
k(k)k
k Dg(v)k lim
+ M lim
=0
h 0 k h k
h 0 k k k
lim
e, portanto,
D ( g f )(u) h = [ Dg( f (u)) D f (u)] h,
como queramos mostrar.
D ( f ) = D f .
33
1
D f ( u ),
[ f (u)]2
34
q
2 diferencivel para
Em particular, a norma k k : Rm R, dada por k x k = x12 + . . . + xm
todo x 6= 0 e sua derivada o funcional linear h 7 ( x h)/k x k, em que x h denota o produto
interno usual do Rm .
Entretanto, no verdade que toda norma no Rm diferencivel exceto na origem. Por
exemplo, consideremos a norma do mximo em R2 . Para x = y = 1, vale
lim
Ora, esse limite no existe. De fato, se t > 0 e (h1 , h2 ) = (1, 0), o limite vale 1. Mas, se
t < 0 e (h1 , h2 ) = (1, 0), o limite vale 0, o que prova a inexistncia daquele limite. Claro, esse
resultado geometricamente bvio se considerarmos o grfico da funo k k : R2 R. Esse
uma pirmide retangular invertida, com vrtice na origem.
No difcil verificar, de maneira anloga, que a norma da soma no R2 tambm no
diferencivel em pontos x R2 \ {0}.
3.2
O exemplo a seguir mostra que no possvel esperar que o Teorema do Valor Mdio
continue vlido quando f no for uma funo real.
Exemplo 1 Seja f : R R2 definida por f (t) = (cos t, sen t). Ento f 0 (t) = (sen t, cos t)
nunca se anula, pois | f 0 (t)| = 1. Mas f (2 ) f (0) = 0, mostrando que no existe (0, 1)
tal que f (2 ) f (0) = f 0 ( ) 2.
3.3
35
Essa forma fica evidente ao tentarmos aplicar o Teorema do Valor Mdio a cada uma das
funes coordenadas f i : U R. De fato, podemos concluir daquele teorema que
f i ( a + h) f i ( a) = D f i ( a + ti h) h,
em que 0 < ti < 1 depende da funo f i . Se consideramos em Rm a norma k k , ento
1 i n
k hk sup k D f ( a + th)k.
0 t 1
em que c > 0.
Mostraremos a Desigualdade do Valor Mdio com hipteses mais fracas do que aquelas
usadas para demonstrar o Teorema do Valor Mdio. No enunciado de nosso prximo resultado, estamos admitindo a possibilidade de
sup k D f ( a + th)k
0< t <1
ser infinito.
Teorema 3.6 (Desigualdade do Valor Mdio) Sejam U Rn um aberto e f : U Rm uma
aplicao contnua. Suponha que [ a, a + h] U e que f seja diferencivel em ( a, a + h) U. Ento
Para isso, dado e > 0 arbitrrio, vamos mostrar que k(1) (0)k M + e. Consideremos o conjunto
k( + h) ()k ( M + e)h,
1 Note
para 0 h .
36
3.4
37
Demonstrao: Basta aplicar a Desigualdade do Valor Mdio aplicao g : U Rm definida por g(u) = f (u) T u.
2
No caso de aplicaes C1 , a Proposio 3.9 nos fornece uma estimativa para o resto, ao
considerarmos T = D f (u). Ento temos
A dependncia do resto r com relao ao ponto u pode ser eliminada por meio de alguma
hiptese que garanta continuidade uniforme. Para isso, definimos:
Definio 3.10 Uma aplicao f : U Rn Rm uniformemente diferencivel em um
subconjunto U se, para todo e > 0, existir > 0 tal que
kr (u, h)k
sup k f 0 (u + th) f (u)k
khk
0< t <1
para todo u K e khk < . Como f 0 contnua e K compacto, dado e > 0, obtemos3
(reduzindo se necessrio) k f 0 (u + h) f 0 (u)k < e para todo u K e k hk < . Isso prova o
afirmado.
2
Corolrio 3.12 Sejam c U e f : U Rn Rm uma aplicao contnua, diferencivel em U \ {c}.
Se existe lim f 0 (u) = T L( X, Y ), ento f diferencivel em c e f 0 (c) = T.
uc
Demonstrao: Tome > 0 tal que c + h U se k hk < . Pela Proposio 3.9 temos
kr (c, h)k
k f (c + h) f (c) T hk
=
sup k f 0 (c + th) T k.
khk
khk
0< t <1
Assim, lim kr (c, h)k/k hk = 0, mostrando que f diferencivel em c e f 0 (c) = T.
h 0
2 Veja
o Exerccio 1.
fazendo uso do seguinte
Teorema: Sejam M e N espaos mtricos, f : M N contnua e K M compacto. Dado e > 0, existe > 0 tal que
dist ( f ( x ), f (y)) < e para todo x K e y M, com dist ( x, y) < .
Demonstrao: Caso contrrio, existiriam seqncias xn K e yn M, com dist ( xn , yn ) < 1/n e
dist ( f ( xn ), f (yn )) e. Como K compacto, passando a uma subseqncia se necessrio, podemos supor
que xn x K. Como dist ( xn , yn ) 0, vemos que yn x. A continuidade de f em x garante ento que
dist ( f ( xn ), f ( x )) 0 e dist ( f (yn ), f ( x )) 0, de onde se segue que dist ( f ( xn ), f (yn )) 0, o que contradiz a
nossa hiptese.
2
3 Estamos
38
z Br (u0 )
k f n0 (z) f m0 (z)k.
(3.1)
Esse desigualdade mostra que A aberto, pois se f converge no ponto u0 , ento f converge uniformemente em todos os pontos de Br (u0 ). Trocando u0 por um ponto arbitrrio
v0 Br (u0 ), vemos que se f converge em qualquer ponto de v0 Br (u0 ), ento f converge
uniformemente em todos os pontos de Br (u0 ). Isso mostra que B aberto. Como U conexo e
A 6= (pois f converge no ponto c), temos U = A, mostrando que converge uniformemente
em cada bola Br (u).
Agora mostraremos que g a derivada de f . Dado e > 0, por hiptese existe n0 tal que
m, n n0 implica tanto que k f m0 (u) f n0 (u)k e/r para todo u Br (u0 ) como tambm
k g(u0 ) f n0 (u0 )k e. Fazendo m em (3.1), obtemos
k u u0 k r 0
Portanto,
39
3.5
D ERIVADAS PARCIAIS
r ( h1 )
=0
h1 0 k h1 k
com lim
40
e
r ( h2 )
= 0.
h2 0 k h 2 k
com lim
de acordo com a Proposio 3.9 da Desigualdade do Valor Mdio. A continuidade das derivadas parciais em uma vizinhana de (u1 , u2 ) garante que f diferencivel nesse ponto.
Se as derivadas parciais forem contnuas, como D f (u) (h, k) = D1 f (u) h + D2 f (u) k,
decorre que D f (u) contnua, mostrando que f C1 .
2
Observao 3.19 A demonstrao apresentada mostra, em particular, que a continuidade da
primeira derivada parcial e a simples existncia da segunda derivada parcial asseguram que
f diferencivel, pois a expresso k f (u1 , u2 + k) f (u1 , u2 ) D2 f (u1 , u2 ) k k tende a zero
quando k tende a zero. Veja o Exerccio 20.
41
x
0
JD2 f ( x, y, z) =
,
0 cos z
pois D2 f ( x, y, z) tomada no espao das duas ltimas coordenadas.
Se, por outro lado, considerarmos R3 como sendo R2 R, ento a matriz jacobiana de
D2 f ( x, y, z) : R R2 dada por
0
JD2 f ( x, y, z) =
.
cos z
Tambm interessante ter uma notao apropriada para aplicaes lineares definidas e
tomando valores em produtos cartesianos de espaos. Consideremos uma aplicao linear
T : X1 X2 Y1 Y2 ,
em que X1 , X2 , Y1 , Y2 so espaos normados de dimenso finita. Dado um ponto ( x1 , x2 )
X1 X2 , podemos represent-lo como um "vetor" coluna
x1
x1
0
=
+
.
x2
0
x2
Se T = ( T1 , T2 )t so as "coordenadas" de T, definimos
T11 : X1 Y1
por
T11 x1 = T1 ( x1 , 0).
T11 T12
x1
T11 x1 + T12 x2
T1 ( x1 , x2 )
=
=
,
T21 T22
x2
T21 x1 + T22 x2
T2 ( x1 , x2 )
que resulta na aplicao de T ao "vetor" ( x1 , x2 ).
Enunciamos esse resultado, que conseqncia imediata da Proposio 3.16 e da notao
que acabamos de introduzir.
Corolrio 3.20 Sejam X1 , X2 , Y1 , Y2 espaos de Banach. Seja U X1 X2 aberto e f : U
Y1 Y2 uma aplicao diferencivel, com
f1
f =
f2
representada por suas aplicaes coordenadas f 1 : U Y1 e f 2 : U Y2 . Ento a derivada D f (u)
dada pela matriz
D1 f 1 (u) D2 f 1 (u)
.
D1 f 2 (u) D2 f 2 (u)
42
Os conceitos que introduzimos so vlidos para o produto cartesiano de um nmero arbitrrio de espaos normados de dimenso finita5 , tanto no domnio quanto na imagem. Assim,
para tais decomposies, vale uma verso intrnseca da representao matricial de uma aplicao linear.
Alm disso, tambm podemos considerar decomposies em somas diretas (e.g., Rn =
X1 X2 ) ao invs de produtos cartesianos. O fundamental que cada elemento do espao
seja representado de maneira nica em termos de suas "coordenadas".
Ao considerarmos uma aplicao linear L, a decomposio de um espao em soma direta de subespaos usualmente feita considerando dois subespaos especiais: ker L e im L.
Escreve-se o domnio como soma direta de ker L e de um subespao que levado isomorficamente por L em sua imagem (no caso de dimenso infinita, isso nem sempre possvel);
do mesmo modo, escreve-se o contradomnio como soma direta de im L e de um subespao
que lhe complementa (de novo, isso nem sempre possvel no caso de dimenso infinita).
o que veremos no nosso prximo exemplo.
Exemplo 4 Considere f : R4 R3 dada por
f ( x, y, z, w) = (sen x, e x cos y, sen y).
Ento sua matriz jacobiana dada pela matriz J f ( x, y, z, w):
cos x
0
0 0
J f ( x, y, z, w) = e x cos y e x sen y 0 0 ,
0
cos y
0 0
de modo que
1 0 0 0
J f (0, 0, 0, 0) = 1 0 0 0 .
0 1 0 0
Usaremos a matriz L = J f (0, 0, 0, 0) para decompor o domnio e a imagem de f . Claramente ker L o espao gerado pelos vetores (0 0 1 0)t e (0 0 0 1)t . Um complementar a esse
espao identifica-se naturalmente com R2 : o subespao gerado pelos vetores (1 0 0 0)t e
(0 1 0 0)t , que ser denotado por E. Assim,
R4 = ker L E.
(Note que escolhemos E igual a (ker L) com relao ao produto interno usual do R4 .)
A imagem de L o espao gerado pelas colunas de L. Assim, im L tem como base os
vetores (1 1 0)t e (0 0 1)t . Para obtermos uma base de R3 basta, ento, escolhermos um vetor
linearmente independente com esses. Vamos escolher o vetor (1 1 0)t , que perpendicular
(em relao ao produto interno usual do R3 ) aos vetores de im L. Se F o espao gerado por
esse vetor, ento F = (im L) e temos a decomposio
R3 = F im L.
5A
3.6. EXERCCIOS
43
.
0 0
1 0
[ D f (0)]CB =
0 0
0 1
Se denotamos por (u, v) ker D f (0) (ker D f (0)) , ento [ D f (0)]CB (u, v) = (0, v). Quer
dizer, [ D f (0)]CB pode ser identificada com a aplicao linear 2 : ker D f (0) (ker D f (0))
im D f (0), 2 (u, v) = v. Assim, com mudanas de base adequadas no domnio e na imagem,
a derivada D f (0) assume a forma de uma projeo. O teorema do posto, que veremos no
prximo captulo, garante que f , a menos de difeomorfismos no domnio e na imagem, tem
esse mesmo comportamento numa vizinhana do ponto 0.
A decomposio apresentada usou bases escolhidas arbitrariamente no R4 e R3 . Entretanto, os subespaos ker L e im L independem da escolha de bases.
A escolha dos subespaos que complementam ker L e im L completamente arbitrria.
(Em espaos com produto interno como no exemplo que estamos tratando , costumeiro
usar o complementar ortogonal e considerar as somas diretas ker L (ker L) e (imL)
im L, o que facilita os clculos.) Assim, existem muitas escolhas distintas para os subespaos
E e F, todas elas cumprindo o mesmo papel: D f (0) estabelece um isomorfismo entre E e
im D f (0).
3.6
E XERCCIOS
44
ax + x2 sen (1/x ), se x 6= 0
f (x) =
0,
se x = 0.
Mostre
(a) que f diferencivel e, em particular, f 0 (0) = a;
(b) que f 0 no contnua em 0;
(c) que f no bijeo em nenhuma vizinhana de 0, embora f 0 (0) seja injetiva.
Rb
10. (Integrao de caminhos) Dada g : [ a, b] Rm contnua, defina a g(t)dt como o vetor
obtido ao integrar cada uma das funes coordenadas de g no intervalo [ a, b]. Seja
T : Rm R p uma aplicao linear. Mostre que
Z b
Z b
Z b
(b a) sup k g(t)k.
g(t)dt
e
g
(
t
)
dt
( T g)(t)dt = T
atb
Z b
T (t) hdt =
T (t)dt h.
a
Sugesto: para a primeira parte, use somas parciais. Para a segunda, considere g = T e,
para o papel de T, a aplicao linear z : L(Rm , R p ) R p dada por z(S) = S h.
11. (Regra de Leibniz) Considere um aberto U Rn e uma funo contnua f : U [ a, b]
Rm , tal que D1 f : U [ a, b] L(Rn , Rm seja contnua. Defina : U Rm por
(u) =
Z b
a
f (u, t)dt.
3.6. EXERCCIOS
45
Z b
a
D1 f (u, t)dt.
h f (u), hi = D f (u) h,
h Rn .
h x, yi =
gij i j
i,j=1
u, v U
46
15. Seja Y = L(R2 , R2 ) com sua norma usual k T k = sup{k Tx k : k x k = 1}, em que
T L(R2 , R2 ) e x R2 . Considere em R2 a norma do mximo (isto , k( a, b)k =
max{| a|, |b|} e defina f : R2 Y da seguinte maneira: se u = ( a, b) R2 , ento
f (u) = T, em que a aplicao linear T : R2 R2 dada por T ( x, y) = ( ax, by). Mostre
que f uma imerso isomtrica de R2 em Y, isto , k f (u)k = kuk. Conclua que a
norma usual de L(R2 , R2 ) no diferencivel. (Note que essa concluso independe da
norma considerada em R2 !) Generalize: mostre que a norma usual de L(Rn , Rm ) no
diferencivel.
16. Seja f : U Rn Rm diferencivel no aberto U. Se
k x i +1 x i k .
i =1
3.6. EXERCCIOS
47
19. Seja B a bola aberta ou fechada de centro x0 e raio r > 0. Mostre que se : B T
Rm for contnua em T Rn e se existir , com 0 < < 1 tal que k ( x, t) (y, t)k
k x yk para todos x, y B e t T, e se k ( x0 , t) x0 k < (1 )r, ento existe uma
nica aplicao contnua : T B tal que ((t), t) = (t) para todo t T.
20. A Observao 3.19 garante que se a segunda derivada parcial D2 f (u1 , u2 ) de f : U
X1 X2 Rm existir e se a primeira derivada parcial D1 f (u1 , u2 ) for contnua, ento f
diferencivel em (u1 , u2 ). Mostre que podemos supor a continuidade de D2 f (u1 , u2 )
e a existncia de D1 f (u1 , u2 ) para termos o mesmo resultado. Generalize ento para
decomposies arbitrrias X1 . . . Xn .
Captulo 4
APLICAES INJETORAS E
SOBREJETORAS
O objetivo deste Captulo e do seguinte mostrar como propriedades locais de uma funo so obtidas por meio de informaes sobre a derivada dessa funo. Assim, mostraremos
que, se a derivada D f (u) de uma aplicao f : U Rn Rm , de classe C1 , for injetora,
ento a aplicao f ser injetora numa vizinhana do ponto u. Do mesmo modo, se D f (u) for
sobrejetora, ento f ser sobrejetora numa vizinhana do ponto u. Unindo esses dois resultados, mostraremos o Teorema da Aplicao Inversa: se D f (u) for um isomorfismo,1 ento
f possuir inversa g, diferencivel numa vizinhana do ponto f (u). Deste ltimo resultado,
deduziremos o Teorema da Aplicao Implcita e outras formas locais.
Faamos uma anlise heurstica do Teorema da Aplicao Inversa. Suponhamos que, num
ponto u U Rn , tenhamos D f (u) invertvel. Como D f (u) aproxima f numa vizinhana
de u, natural tentar verificar se f invertvel numa vizinhana de u. Mais ainda, como
D f (u) aproxima f , essa inversa, se existir, deve ser aproximada numa vizinhana de y = f (u)
por [ D f (u)]1 . O Teorema da Aplicao Inversa nos diz que, sob hipteses adicionais, isso
verdade.
Analisemos o caso particular de uma funo f : R R para ver a necessidade de hipteses adicionais. Consideremos a funo f : R R dada por f ( x ) = x2 sen 1x , se x 6= 0, e
f (0) = 0. Temos que f diferencivel em 0 e f 0 (0) 6= 0. Quer dizer, a derivada invertvel
no ponto 0. Mas f no injetiva em qualquer vizinhana de 0.
As hipteses adicionais do Teorema da Aplicao Inversa so as seguintes: f deve ser
diferencivel numa vizinhana de u, e no somente em u; alm disso, f deve ser de classe C1
numa vizinhana de u.
Com essas hipteses adicionais, se soubermos que uma funo f : R R diferencivel
numa vizinhana de um ponto a, com f 0 contnua numa vizinhana de a e f 0 ( a) 6= 0, ento
podemos deduzir que f crescente ou decrescente numa vizinhana de a. Ou seja, f tem
inversa nessa vizinhana de a.
1 Em
48
4.1. DIFEOMORFISMOS
4.1
49
D IFEOMORFISMOS
Definio 4.1 Sejam U, V Rn abertos. Um difeomorfismo f : U V uma bijeo diferencivel cuja inversa tambm diferencivel. Se f e f 1 forem ambas de classe C1 , dizemos que f um
difeomorfismo C1 .
A aplicao f : U V um difeomorfismo local de classe C1 se, para cada u U, existe uma
vizinhana aberta Uu de u tal que f (Uu ) um aberto e f : Uu f (Uu ) um difeomorfismo C1 .
Para contrastar com o caso local, chamamos um difeomorfismo f : U V de difeomorfismo
global.
Note que todo difeomorfismo f , em particular um homeomorfismo entre abertos. Contudo, existem homeomorfismos f : U V de classe C1 (com U, V abertos) que no possuem
inversa f 1 : V U diferencivel. Por exemplo, f : R R dada por f ( x ) = x3 um
homeomorfismo e f infinitamente diferencivel, mas no um difeomorfismo. Mostraremos posteriormente que, se f C1 for um homeomorfismo e f 1 for diferencivel, ento
f 1 C1 , isto , f um difeomorfismo C1 .
Observao 4.2 Nas definies anteriores, exigimos que os abertos U, V estivessem ambos no
Rn . Poderamos nos perguntar se no seria possvel considerar abertos U Rn e V Rm na
definio de um difeomorfismo. Contudo, se f : U Rn V Rm for um difeomorfismo
local e f (u) = v, como f f 1 = I, decorre da Regra da Cadeia D f (u) D f 1 (v) = I, de
modo que D f 1 (v) = [ D f (u)]1 (veja o Exerccio 3 do Captulo 1).
Um resultado importante da anlise matemtica, o Teorema da Invarincia do Domnio
(de Brouwer), estabelece que, se f : U Rn V Rm for um homeomorfismo entre os
abertos U e V, ento m = n. A demonstrao no simples.
Definio 4.3 Seja U Rn um aberto. Uma aplicao f : U Rm aberta se, para todo aberto
G U, f ( G ) for um aberto.
Um difeomorfismo global f : U V sempre uma aplicao aberta. De fato, a restrio
f : U 0 U f (U 0 ) V um difeomorfismo entre os abertos U 0 U e f (U 0 ) V, para
todo aberto U 0 U. Mas um homeomorfismo nem sempre uma aplicao aberta. Por
exemplo, i : R R2 dada por f ( x ) = ( x, 0) um homeomorfismo, mas a imagem de f
no um conjunto aberto. O Exerccio 2 pede que se mostre que todo difeomorfismo local
f : U V uma aplicao aberta. Assim, um difeomorfismo local um difeomorfismo
global se, e somente se, for bijetor.
4.2
50
Demonstrao: Suponhamos que k(u) (v)k ku vk, com < 1. Ento temos
k ( x ) ak k ( x ) ( a)k + k ( a) ak r + k ( a) ak.
Mas
k ( a) ak = ky ( a ( a))k = ky bk < .
Logo, para que ( B r ( a)) B r ( a) basta termos r + r. Assim, escolhendo = (1 )r,
vemos que : B r ( a) B r ( a) uma contrao e tem, portanto, um ponto fixo.
2
Observao 4.5 A demonstrao apresentada nos mostra que existe um ponto fixo de desde
que possamos tomar r suficientemente grande de modo que k ( a) ak =: satisfaa a equao r + r, com B r ( a) U. Isso sempre possvel no caso em que U = Rn . Ou seja,
quando U = Rn , ento f (Rn ) = Rn , de modo que f um homeomorfismo sobrejetor. Repetimos essa demonstrao: dado y Rn qualquer, a aplicao : Rn Rn definida por
( x ) = y ( x ) uma contrao. Pelo Lema da Contrao, existe um nico x Rn tal que
x = ( x ), isto , x = y ( x ). Mas ento x ( x ) = y, o que o mesmo que f ( x ) = y.
Corolrio 4.6 Sejam U Rn aberto e g : U Rm definida por g(u) = L u + (u), em que a
aplicao linear L : Rn Rm tem inversa esquerda (linear) M e satisfaz k(u) (v)k
ku vk, com k M k < 1. Ento g um homeomorfismo de U em g(U ) com inversa g1 lipschitziana. Se M for a inversa de L (e, portanto, n = m), ento g(U ) aberto.
Demonstrao: Considerando a base cannica {e1 , . . . , en } do Rn , defina Lei =: vi Rm .
Como L injetora, os vetores v1 , . . . , vn so linearmente independentes. Obtenha uma base
{v1 , . . . , vn , wn+1 , . . . , wm } do Rm e defina Mvi = ei para i = 1, . . . , n e Mwi = 0 para i =
outra inversa esquerda de L, ento k M k k M
k. Assim,
n + 1, . . . , m. Note que, se M
tomando f = M g, decorre imediatamente da Proposio 4.4 que f um homeomorfismo
de U no aberto f (U ). Como f = M g, conclumos que g injetora e possui, portanto, inversa
g1 definida em g(U ).
Seja Z o espao gerado por {v1 , . . . , vn }. Como f = M g : U f (U ) = [ M ( g(U ))] tem
inversa, deduzimos que g(U ) Z. Mas ( L M )z = z para todo z Z, o que implica que
( L M)( g(u)) = g(u) para todo u U. Da segue-se que ( g1 L) ( M g)(u) = u para
51
z, w f (U ) = M( g(U )).
k g1 ( x ) g1 (y)k C kz wk = C k M x M yk C k Mk k x yk,
mostrando que g1 lipschitziana.
Mas no podemos garantir que g(U ) seja aberto. Contudo, se M for a inversa de L, ento
L[ f (U )] = g(U ) um aberto, pois L um isomorfismo.
2
4.3
Proposio 4.7 Seja U Rn um aberto. Suponha que f : U Rm seja uma aplicao de classe C1 .
Dados u0 U e e > 0, existe = (e) > 0 tal que,
u, v B (u0 )
u, v U
k u u0 k
uU
k D f (u) D f (u0 )k e.
k f (u) f (v) D f (u0 ).(u v)k = k g(u) g(v)k k sup Dg(u + t(v u)).(u v)k
0 t 1
0 t 1
2
Lembramos que uma aplicao linear T : Rn Rm injetora se, e somente se, dim ker T =
0. Assim, pelo Teorema do Ncleo e da Imagem, n m e T injetora se, e somente se,
posto( T ) = n. Como a imagem T (Rn ) um subespao de Rm , a aplicao linear injetora
T : Rn Rm um homeomorfismo do Rn no subespao normado T (Rn ) Rm .
52
Demonstrao: Como D f (u0 ) um homeomorfismo de Rn em D f (u0 )(Rn ) Rm , o Corolrio 1.11 garante a existncia de > 0 tal que2
k h k k D f ( u0 ) h k,
h Rn .
(4.1)
Agora aplicamos a Proposio 4.7 com e = /2, de forma que obtemos > 0 tal que, se
u, v B (u0 ) U, ento
k u v k.
2
k u v k k u v k,
2
2
(4.2)
garantindo que f restrita a B (u0 ) injetora. Denotemos a inversa dessa restrio por g. Se
y, z f ( B (u0 )), ento existem nicos u, v B (u0 ) tais que f (u) = y e f (v) = z. Substituindo em (4.2), obtemos
2
k g(y) g(z)k ky zk,
1
provando que g = ( f | B (u0 ) ) lipschitziana.
2
A demonstrao do Teorema 4.8 nos indica como a aplicao f separa pontos. Apresentaremos esse resultado como um corolrio, cuja prova conseqncia imediata de combinarmos a demonstrao do Teorema 4.8 com o Exerccio 4.
Corolrio 4.10 Seja U Rn um aberto. Suponha que f : U Rm seja uma aplicao de classe C1
tal que D f (u0 ) seja injetora. Denote por M uma inversa esquerda de D f (u0 ). Ento
k f (u) f (v)k
1
ku vk
2k M k
u, v B (u0 ).
Apresentaremos uma segunda prova do Teorema 4.8, aplicando o Corolrio 4.6. A demonstrao que apresentaremos depende da continuidade da inversa esquerda da aplicao D f (u0 ), fato que nem sempre verdadeiro em espaos normados de dimenso infinita.
2O
Exerccio 4 pede que se estime em termos da norma de uma inversa esquerda de D f (u0 ).
53
2a. demonstrao do Teorema 4.8 : Sem perda de generalidade, podemos supor que u0 = 0
e f (0) = 0. Denotando L = D f (0), temos que L possui uma inversa esquerda linear M.
Como estamos em dimenso finita, essa inversa contnua.
Claramente vale f ( x ) = L x + r ( x ), em que o resto r uma funo de classe C1 . Nosso
objetivo aplicar o Corolrio 4.6, considerando a aplicao g : M f = I + M r.
Vamos verificar que M r uma contrao quando definida em B (0), desde que tomemos
> 0 adequadamente. Notamos que r (0) = 0 = r 0 (0). Assim, a continuidade de r 0 no ponto
0 garante que, dado e > 0, existe > 0 tal que
kr 0 ( )k = kr 0 ( ) r 0 (0)k e,
B (0).
Lema 4.12 Sejam U Rn um aberto e r : U Rm uma aplicao de classe C1 tal que r (0) = 0
e r 0 (0) = 0. Se M : Rm R p for uma aplicao linear no-nula, ento existe > 0 tal que
M r : B (0) Rm R p uma contrao.
'$
Mr
&%
'$
&%
Figura 4.1: A aplicao M r : B (0) B (0) uma contrao, desde que k M ke < 1, em que
kr 0 ( )k e para todo B (0).
54
4.4
4.5
55
[ D f (u)]1 r (h)
khk
1 r ( h )
=
[ D f (u)]
.
kkk
kkk
khk
Uma vez que k 0 se, e somente se, h 0, para concluir nossa demonstrao basta mostrar
que k hk/kkk permanece limitado quando k 0. Mas
khk
C
kkk
kkk
1
khk
C
k f (u + h) f (u)k C khk,
4 Uma
56
Corolrio 4.16 Sejam U Rn um aberto e f : U Rn uma aplicao C1 . Ento f um difeomorfismo local se, e somente se, det J f (u) 6= 0 para todo u U.
4.6
E XERCCIOS
4.6. EXERCCIOS
57
k g0 ( x )k < 1 no pode ser dispensada, se quisermos concluir que f um difeomorfismo sobre Rn . (Cuidado! A aplicao g pode no ser uma contrao!)
11. Defina o subconjunto das aplicaes lineares simtricas por S = { T L(Rn , Rn ) :
T = T }, em que T denota a adjunta da aplicao T.
(a) Mostre que S um subespao de dimenso n(n + 1)/2.
(b) Seja U S o subconjunto das aplicaes positivas definidas. Mostre que U um
aberto convexo.
(c) Mostre que f : U U dada por f ( X ) = X 2 um difeomorfismo de U sobre si
mesmo.
(d) Generalize o resultado anterior. Mais precisamente, mostre que f ( X ) = X k um
difeomorfismo C1 de U sobre U, para todo k N, k 2.
12. Seja f : L(Rn , Rn ) L(Rn , Rn ) dada por f ( X ) = X 2 . Mostre que f um difeomorfismo de uma vizinhana da identidade sobre outra vizinhana da identidade, mas que
essa aplicao no um difeomorfismo local no espao L(Rn , Rn ) e tambm no sobrejetora.
13. Seja A Mnn uma matriz qualquer. Defina a matriz exponencial de A por
exp( A) = e A =
i =0
Ai
,
i!
em que
A0 = I.
(a) Mostre que e A est bem definida, isto , que a srie converge.
(b) Se f ( A) = e A , mostre que f 0 (0) = I.
(c) Mostre que f um difeomorfismo de uma vizinhana de 0 sobre uma vizinhana
da identidade.
14. Sejam > 1 e c nmeros reais. Seja U Rn um aberto conexo. Se f : U Rm satisfizer
u, v U,
k f ( x ) f (y)k
= sup k f 0 ( x )k.
k x yk
Rn
Captulo 5
APLICAES IMPLCITAS
5.1
Desde os cursos de clculo sabemos que, dada uma equao do tipo f ( x, y) = 0, temos y
dado como uma funo diferencivel da varivel x numa vizinhana de um ponto ( x0 , y0 ), se
f ( x0 , y0 ) = 0 e f y ( x0 , y0 ) 6= 0. Sendo mais preciso, dado um ponto ( x0 , y0 ) tal que f ( x0 , y0 ) =
0, existe uma vizinhana V de x0 e uma vizinhana W de y0 tal que, para todo x V, existe
um nico y W satisfazendo f ( x, y) = 0. A funo g : V W que associa a cada x V tal
y W satisfazendo f ( x, y) = 0 diferencivel e g0 ( x ) = f x ( x, y)/ f y ( x, y). Para se obter essa
f
59
mesmo, o sistema
f 1 ( x1 , . . . , x n ) y1
0
f 2 ( x1 , . . . , x n )
y2
..
..
.
.
f n ( x1 , . . . , x n )
0
..
.
0 = 0
0 = 0
..
..
.
.
yn = 0.
Pelo Teorema da Aplicao Inversa temos que, numa vizinhana de um ponto (u0 , y0 )
satisfazendo g(u0 , y0 ) = 0 (isto , um ponto (u0 , y0 ) que soluo do sistema anterior), se
gx (u0 , y0 ) for invertvel, a equao g(u, y) = 0 define u como funo diferencivel de y. Estamos denotando por gx (u0 , y0 ) a derivada da funo g considerada apenas como funo da
primeira varivel, isto , a aplicao linear cuja matriz com relao base cannica dada
por
!
gi
( u0 , y0 )
.
x j
i,j=1,...,n
...
xm
Conclumos que temos x1 , . . . , xm como funo das variveis livres, que so as variveis
restantes. Observe que a condio das m primeiras variveis serem pivs significa que a
60
matriz jacobiana ( aij ) de L tem sua submatriz ( ak` ) invertvel, k, ` {1, . . . , m}. Podemos
ento descrever o caso linear da seguinte maneira: dada L : Rm+k Rm linear, tal que
!
Li
det
= det( ai,j )i,j{1,...,m} 6= 0,
x j
i,j{1,...,m}
( f )( x, z) = f ( x, x2 + z) = z.
Em outras palavras, temos que f = 2 , em que 2 a projeo definida por 2 ( x, z) =
z. Veja a Figura 5.1.
'
( x0 , y0 )
&
61
J
JJ
^
R
6
aZ
WZ
f = 2
c = f ( x0 , y0 )
( x0 , c )
x0
podemos escrever Rm = X Y.
62
Afirmamos que um difeomorfismo local numa vizinhana de u0 = ( x0 , y0 ). Ora, a representao "matricial" da derivada dessa funo
I 0
,
S T
a qual tem inversa2
I
0
T 1 S T 1
(w, z) = ( )(w, z) = (1 (w, z), 2 (w, z)) = 1 (w, z), f (1 (w, z), 2 (w, z)) ,
vemos que 1 (w, z) = w e, portanto,
(w, z) = (w, 2 (w, z))
para (w, z) W Z,
(5.1)
63
'
(x)
( x0 , y0 )
&
( x ) = 2 ( x, c)
J
J f
J
JJ
^
x0
R
6
aZ
c = f ( x0 , y0 )
Figura 5.2: A aplicao : W Y transforma W na fibra f 1 (c). Compare com a Figura 5.1.
Demonstrao: Considere o difeomorfismo : W Z V dado pela Forma Local das
Submerses, entre os abertos W Z X Rm e V U, difeomorfismo esse que satisfaz
f = 2 . Como = (1 , 2 ), temos 2 (w, z) V e f (w, 2 (w, z)) = z, para qualquer
(w, z) W Z, de acordo com a equao (5.1).
Definimos agora : W Y por ( x ) = 2 ( x, c). Ento, se x W, claramente vale
f ( x, ( x )) = f ( x, 2 ( x, c)) = c. Para mostrarmos a unicidade de ( x ), suponha que ( x, y) V
satisfaa f ( x, y) = c. Ento ( x, y) = ( )( x, y) = ( x, f ( x, y)) = ( x, c) = ( x, 2 ( x, c)) =
( x, ( x )), de onde segue-se que y = ( x ). Finalmente, derivando f ( x, ( x )) = c, obtemos
D1 f ( x, ( x )) + D2 f ( x, ( x )) 0 ( x ) = 0, ou seja,
0 ( x ) = [ D2 f ( x, ( x ))]1 D1 f ( x, ( x )).
64
Observao 5.7 Podemos explicitar a unicidade de de maneira distinta: a nica aplicao contnua : W Y tal que ( x0 ) = y0 e f ( x, ( x )) = c. De fato, podemos supor
que W seja conexo.4 Suponhamos que a aplicao contnua : W Y tambm satisfaa
( x0 ) = y0 e f ( x, ( x )) = c para todo x W. Definimos F = { x W : ( x ) = ( x )}.
Claramente F fechado em W. Mas, como na prova de unicidade de , tambm temos que
F = { x W : ( x, ( x )) V }, de modo que F aberto em W. Como W conexo e x0 F,
temos W = F.
( x4 + y6 ) f ( x, y) + [ f ( x, y)]9 = 1.
Afirmamos que existe uma vizinhana aberta V 3 (0, 0) na qual f C1 .
De fato, considere F : R3 R definida por F ( x, y, z) = ( x4 + y6 )z + z9 . Ento F (0, 0, 1) =
1 e F/z = x4 + y6 + 9z8 , derivada parcial que nula apenas quando ( x, y, z) = (0, 0, 0).
Pelo Teorema da Aplicao Implcita, existem uma vizinhana aberta V 3 (0, 0) e uma nica
funo contnua : V R tal que (0, 0) = 1 e F ( x, y, z) = F ( x, y, ( x, y)) = F (0, 0, 1) = 1. A
unicidade de nos garante que f = em V. Mas o Teorema da Aplicao Implcita tambm
garante que C1 . Isso prova o afirmado.
5.2
A Forma Local das Imerses assegura que toda imerso C1 comporta-se localmente como
a incluso apresentada no Exemplo 4.
4 Se
65
Lema 5.9 Seja E Rn+m um subespao de dimenso n. Ento existe um espao Rm , gerado por
vetores da base cannica de Rn+m , tal que E Rm = Rn+m .
Demonstrao: Considere uma base {u1 , . . . , um } de E. Se E for um subespao prprio
do Rm+ p , existe um vetor e j da base cannica do Rm+ p tal que e j1 6 E. Considere agora
E1 =< u1 , . . . , um , e j1 >, o subespao gerado pelos vetores {u1 , . . . , um , e j1 }. Como esse subespao tm dimenso m + 1, se p > 1, ento podemos repetir o processo. Dessa maneira,
encontramos uma base {u1 , . . . , um , e j1 , . . . , e j p } de Rm+ p , sendo e j1 , . . . , e j p vetores da base
cannica do Rm+ p . Essa base gera a decomposio Rm+ p = E R p .
2
Teorema 5.10 (Forma Local das Imerses)
Sejam U Rn um aberto e f : U Rn+m uma aplicao C1 . Suponha que, para u0 U,
D f (u0 ) seja injetora. Ento existe um difeomorfismo : Z Rm+n V W Rn Rm , definido
no aberto Z 3 f (u0 ) e tomando valores no aberto V W, em que V U um aberto contendo u0 ,
tal que
( f )(u) = (u, 0), u V.
Rm
6
Z
f (V )
f ( u0 )
:
E
Rn + m
3
U V
u0
Rn
( f )
( u 0 , 0)
1
V W Rn Rm
Figura 5.3: O difeomorfismo tal que ( f )(u) = (u, 0) para todo u V. A composta
1 | f (V ) a inversa de f .
Demonstrao: Seja E = f (u0 ) Rn . Considere o espao Rm gerado por vetores da base
cannica do Rn+m tal que Rm+n = E Rm , dado pelo Lema 5.9. A derivada D f (u0 ) um
isomorfismo de Rn em E.
Defina : U Rm Rm+n por (u, y) = f (u) + y. Ento uma aplicao C1 , (u0 , 0) =
f (u0 ) e D (u0 , 0) (h, k ) = ( D f (u0 ) h, k ). Logo, D (u0 , 0) : Rn Rm E Rm um
66
5.3
O T EOREMA DO P OSTO
antes, essa decomposio est sendo gerada pelos vetores da base cannica do Rm+ p .
67
( f ) : W Z Rm Rn W Z 0 Rm R p
( x , y)
7 ( x , 0).
$
'
U
Rp
u0
6
f (V )
f ( u0 )
&
Rm
?
Rn
a
Rp 6
y0
W`
W 0a
(
x0
Rm
( 1 f )
( x0 , 0)
Rm
Figura 5.4: Para cada u V, as imagem inversas f 1 ( f (u)), constituem fibras no domnio
de f . O difeomorfismo 1 retifica essas fibras de f , enquanto o difeomorfismo transforma
f (V ) em Z {0}. O diagrama comutativo: cada uma das retas verticais no domnio de
levada por 1 f num nico ponto em Z {0}, assim como cada uma das fibras de f em
V levada em um nico ponto de f (V ).
68
Demonstrao: Defina E = D f (u0 ) Rm+n Rm+ p . Como dim E = m, o Lema 5.14 mostra
que existe uma decomposio Rm+ p = Rm R p , tal que a projeo 1 : Rm R p Rm ,
dada por 1 (z, w) = z, aplica E isomorficamente em Rm . Isso quer dizer que D (1 f )(u0 ) :
Rm+n Rm dada por 1 D f (u0 ), conclumos que D (1 f )(u0 ) sobrejetora. Se u0
U Rm Rn , a Forma Local das Submerses7 garante a existncia de um difeomorfismo
de classe C1 , definido no aberto Z0 W 3 ( x0 , f (u0 )) e tomando valores no aberto V 0 U,
com u0 V 0 , tal que ((1 f ) )( x, y) = x para todo ( x, y) Z0 W Rm Rn . Da
deduzimos que ( f )( x, y) = ( x, ( x, z)), em que : Z0 W R p uma aplicao de
classe C1 .
'
U
Rp
u0
6
f (V 0 )
f ( u0 )
&
V0
Rm
1
?
Rn
a
y0
W`
Z0
x0
Rm
( 1 f )
Z0
x0
Rm
I 0
,
A B
em que B = D2 ( x, y). Examinando a colunas dessa matriz, percebemos que se fosse B 6= 0,
ento D ( f ) teria posto maior do que m, pois o posto de I igual a m.8 Como o aberto
7 Note que,
no presente caso, a primeira varivel est desempenhando o papel da segunda varivel na Figura
5.1.
8 Note que o posto de f igual ao posto de f . Observe que o mesmo argumento implica que as linhas de
A so combinaes lineares das linhas de I, o que bvio.
69
Z Rn pode ser tomado convexo, podemos aplicar o Lema 5.16 e concluir que ( x, y) no
depende de y.
Suponhamos que ( x0 , y0 ) = u0 . Agora consideramos a injeo i : Z0 Rm Z0 W
m
R Rn dada por i ( x ) = ( x, y0 ) e a composta f i : Z0 Rm R p . Essa a aplicao
de classe C1 tal que ( f i )( x ) = ( f )( x, y0 ) = f ( x, ( x, y0 )). Note que ( f i )( x ) =
f ( x, ( x, y0 )) = f ( x, ( x, y)) para todo y Z, pois no depende de y. Alm disso, a
derivada de f i tem posto m no ponto x0 , sendo, portanto, injetora. De acordo com a
Forma Local das Imerses, existe um difeomorfismo definido numa vizinhana aberta de
f (u0 ) e tomando valores num aberto de Rm Rn , de forma que f i ( x ) = ( x, 0) para
todo x Z Z0 .
$
'
V0
Rp
u0
6
f (V 0 )
f ( u0 )
&
Rn
Rm
a
y0
i ( Z0 )
W`
6
i
Z0
x0
Rm
70
5.4. EXERCCIOS
71
5.4
E XERCCIOS
72
13. Supondo provado o Teorema da Aplicao Implcita, use esse resultado para mostrar o
Teorema da Aplicao Inversa.
Sugesto: Suponha que f : U Rn Rn seja um difeomorfismo e defina F : U Rn
Rn por F ( x, y) = f (y) x. Ento D2 F ( x, y) = f 0 (y) um isomorfismo, de modo que
podemos aplicar o Teorema da Aplicao Implcita.
14. Considere R2 com a norma euclidiana e T : R2 R2 a aplicao linear cuja representao na base cannica do R2 dada por
TE =
0 1
1 0
Seja : R2 R2 uma aplicao de classe C1 tal que k D( x, y)k k < 1 para todo
( x, y) R2 . Mostre que a aplicao f : R2 R2 definida por f (z) = Tz + (z) um
difeomorfismo de R2 sobre R2 .
15. Seja f : Rn Rn uma aplicao C1 tal que k f 0 ( x ) hk k hk para quaisquer x, h
Rn , em que > 0. Mostre que f um difeomorfismo de Rn sobre Rn . (Cuidado!
No difcil mostrar que f localmente injetora. Mas necessrio mostrar que f
globalmente injetora.)
16. Sejam U Rn aberto e [ a, b] R. Suponha que : U [ a, b] Rm tenha derivada
D1 : U [ a, b] L(Rn , Rm ) contnua. Sejam , : U [ a, b] aplicaes de classe C1
e considere a aplicao f : U Rm definida por
f (x) =
Z ( x )
( x )
f ( x, t)dt.
R1
17. Seja f : [0, 1] R uma funo contnua e positiva, com 0 f (t)dt = 3. Mostre que, para
cada x [0, ] (em que deve ser determinado), existe um nico ( x ) [0, 1] tal que
R (x)
f (t)dt = 2. Mostre que a funo : [0, ] [0, 1] assim definida de classe C1 e
x
calcule 0 ( x ).
18. Sejam U Rn um aberto e K U um conjunto compacto. Suponha que f : U Rm
tenha derivada D f (u) : Rn Rm sobrejetora para todo u U. Mostre que k f kK : K
Rm no pode assumir mximo no interior de K.
19. Seja f : R2 R uma funo de classe C1 . Mostre que a restrio de f a qualquer aberto
no injetiva.
20. Seja f : R R2 uma aplicao de classe C1 . Para x0 R, mostre que a restrio
f : ( x0 , x0 + ) Be ( f ( x0 )) no sobrejetora, quaisquer que sejam os valores de
, e > 0.
5.4. EXERCCIOS
73
Captulo 6
SUPERFCIES NO Rn
6.1
Como L(Rn , Rm ) pode ser identificado com o espao Rnm (ou, mais precisamente, porque
L(Rn , Rm ) um espao de Banach), faz sentido perguntar se D f : U L(Rn , Rm ) diferencivel no ponto u U. Se esse for o caso, dizemos que f duas vezes diferencivel; teremos
ento que D [ D f ](u), que denotaremos por D2 f (u), uma aplicao que associa, a cada elemento h Rn , o elemento de D2 f (u) h L(Rn , Rm ), ou seja D2 f (u) L(Rn , L(Rn , Rm )).
Vamos agora mostrar que L(Rn , L(Rn , Rm )) pode ser identificado com um espao cujos
elementos podem ser mais facilmente reconhecveis.
Proposio 6.1 Para i {1, . . . , n}, sejam Xi = R ji . Se L( X1 , . . . , Xn ; Rm ) denota o espao das
aplicaes n-lineares
: X1 X n R m ,
ento existem isomorfismos que preservam norma
(6.1)
De acordo com o que vimos, a aplicao D2 f (u) L(Rn , L(Rn , Rm )) pode ser identificada
com a aplicao bilinear D2 f (u) L2 (Rn , Rm ).
Dizemos que uma aplicao f : U Rn Rm de classe C2 , se a aplicao D2 f : U
L2 (Rn , Rm ) for contnua.
74
75
Tambm podemos nos perguntar se D2 f uma aplicao diferencivel. Se esse for o caso,
diremos que f trs vezes diferencivel e denotaremos a derivada de D2 f por D3 f . E assim
sucessivamente.
Suponhamos que f : U Rm seja n 1 vezes diferencivel. Ento sua (n 1)-sima
derivada uma aplicao D n1 f : U Ln1 (Rn , Rm ). Se D n1 f for diferencivel no ponto
u U, dizemos que f n vezes diferencivel no ponto u e identificaremos sua n-sima
derivada com a aplicao n-linear D f (u) Ln (Rn , Rm ). Quando D n f existir em todo ponto
u U, diremos que f n-vezes diferencivel em U e teremos ento definida a aplicao
D n : U Ln (Rn , Rm ). Se essa aplicao for contnua, diremos que f de classe Cn . Diremos
que f de classe C , se f C n para todo n. Por convenincia, diremos que f de classe C0 ,
se f for contnua em U.
Para i, j {1, . . . , n}, estendemos a notao de derivadas parciais para derivadas de ordem maior do que um ao definir
D 2 f ( u ) ( ei , e j ) =
xi
f
(u)
x j
2 f
( u ),
xi x j
2 f
2 f
(u) = 2 (u)
xi xi
xi
6.2
S UPERFCIES D IFERENCIVEIS NO Rn
No decorrer de nossos estudos de Matemtica, trs tipos de objetos nos foram apresentados como sendo superfcies:
(a) grficos de funes diferenciveis. Por exemplo, o grfico de f : R2 R, f ( x, y) =
x2 + y2 foi introduzido quando estudamos superfcies qudricas;
(b) imagens inversas de valores regulares1 de funes f : R3 R. Por exemplo, se
f ( x, y, z) = x2 + y2 + z2 , ento f 1 (1) a esfera x2 + y2 + z2 = 1;
1 Conceito
CAPTULO 6. SUPERFCIES NO R N
76
(i ) a aplicao um homeomorfismo de U em = (U );
(ii ) a derivada D(u) : Rm Rn injetora para todo u U.2
Os elementos u U so chamados parmetros. Os homeomorfismos inversos 1 : (U ) U
so chamados cartas ou sistemas de coordenadas. Quando referirmos a uma parametrizao C k ,
convencionaremos que k 1.
Intuitivamente, a definio apresentada estabelece que um conjunto aberto U Rm foi
deformado de tal maneira que seria possvel desfazer continuamente essa deformao. Por
exemplo, o conjunto U = {( x, y) R2 : x2 + y2 < 1} pode ser deformado na semi-esfera
dada por x2 + y2 + z2 = 1, z > 0. Essa deformao reversvel, no sentido de que a semiesfera pode ser transformada novamente no aberto U. Estamos dizendo que a deformao
do aberto U no conjunto de classe C k e gostaramos que fosse possvel reverter essa
deformao tambm atravs de uma aplicao de classe C k . Entretanto, no sabemos (ainda)
como definir esse conceito, pois no , em geral, um aberto do Rn . Um dos objetivos desta
Seo ser justamente esse: mostrar que h como se dizer que a inversa do homeomorfismo
: U de classe C k . Para isso, faremos uso do Corolrio 5.11: a inversa 1 de uma
parametrizao a restrio de uma aplicao de classe C k definida num aberto V Rn .
(Veja o Exerccio 5.)
Observe que, apesar de ser um conjunto no espao Rn , necessitamos apenas de m coordenadas para explicitar a posio de um elemento de . Nesse sentido, dizemos que um
conjunto m-dimensional,3 descrito pelas m coordenadas de um ponto de U. Note tambm
que, quando m < n, a Forma Local das Imerses nos garante que = (U ) um conjunto
com interior vazio.
2 Mais
77
= 0 ( u ) e1 , . . . ,
= 0 ( u ) em .
x1
xm
Se compararmos a definio de superfcie com a de caminho, apresentada no Captulo 2,
notamos uma diferena fundamental. O caminho (ou curva) definido como uma aplicao,
enquanto a superfcie definida como um conjunto de pontos no Rn . Contudo, a definio
de superfcie foi apresentada atravs de parametrizaes, que descrevem S numa vizinhana
de cada um de seus pontos. Essa descrio local permite que caminhos e superfcies possam
ter um tratamento unificado.4 Essas parametrizaes nos permitiro transpor as noes de
clculo diferencial, j definidas para os abertos U Rm , para as superfcies S Rn .
Observao 6.5 Lembramos que um aberto no conjunto S Rn a interseo de um aberto
do Rn com S. Assim, comparando as Definies 6.3 e 6.4, estamos exigindo, ao definir uma
superfcie S, que a imagem de uma parametrizao seja um conjunto aberto em S. Sabemos
que a imagem (U ) de um homeomorfismo : U Rm Rn um conjunto aberto em si
mesmo, mas no necessariamente em S.
CAPTULO 6. SUPERFCIES NO R N
78
Mas (1, ) uma superfcie? A resposta a essa questo negativa, concluso a que
chegamos ao examinar uma bola aberta Br (z0 ) com raio r > 0 e centro no ponto z0 = (0, 1)
(1, ): a interseo dessa bola com (1, ) no admite parametrizao (justifique!).
Figura 6.1: Qualquer vizinhana de (0, 1) no pode ser parametrizada por um homeomorfismo.
Exemplo 7 Sejam S1 Rn1 e S2 Rn2 superfcies de classe C k , com dimenses m1 e m2 , respectivamente. Ento o produto cartesiano S1 S2 uma superfcie de classe C k e dimenso
m1 + m2 . De fato, se 1 : U1 Rm1 S1 e 2 : U2 Rm2 S2 so parametrizaes de
vizinhanas dos pontos p1 S1 e p2 S2 , ento 1 2 : U1 U2 S1 S2 , definida por
( 1 2 )( x, y) = ( 1 ( x ), 2 (y)) uma parametrizao de uma vizinhana de ( p1 , p2 ).
Podemos considerar o produto cartesiano de um nmero finito de superfcies e obter uma
superfcie. Em particular, o toro bidimensional T2 = S1 S1 R4 e o toro n-dimensional Tn =
S1 S1 R2n so superfcies de classe C e dimenses 2 e n, respectivamente.
Vamos agora mostrar que o espao tangente Tp S num ponto p S est bem definido, isto
, que a definio de Tp S independe da parametrizao escolhida da vizinhana de p S.
Para isso, comeamos mostrando o
79
1
a restrio da aplicao 1 , de classe C k , definida num aberto Z Rn . Tomando
um aberto V1 V com a V1 e f (V1 ) Z, temos que (1 f )( x ) = 1 f ( x ) para todo
x V1 . Aplicando a Regra da Cadeia aplicao (1 f ), conclumos que 1 f ( x )
diferencivel no ponto a. Se f for de classe C k , esse procedimento pode ser aplicado em cada
ponto de V; como 1 de classe C k , temos o afirmado.
2
'
V Rp
&
Rn
@
@
1 f @
R
@
)- m
R
Figura 6.2: A inversa de uma parametrizao a restrio de uma aplicao definida num
aberto Z Rn , de modo que 1 f diferencivel.
Corolrio 6.7 Seja S Rn uma superfcie de dimenso m e classe C k . Ento
Tp S = {0 (0) : : (e, e) S, (0) = p, diferencivel em 0}.
Em particular, Tp S est bem definido.
Demonstrao: Seja : U Rm Rn uma parametrizao de uma vizinhana aberta
p S, com (u) = p e p p . Por definio, Tp S = 0 (u) Rm .
Temos que Tp S {0 (0) : : (e, e) S, (0) = p, diferencivel em 0}. De fato,
se w = 0 (u) h, defina (t) = (u + th), para t (e, e) e e > 0 suficientemente pequeno.
Claramente 0 (0) = 0 (u) h.
CAPTULO 6. SUPERFCIES NO R N
80
Para a incluso contrria, tomamos e > 0 suficientemente pequeno, de modo que (t)
p . Aplicando o Teorema 6.6, conclumos que = 1 : (e, e) Rm diferencivel no
ponto 0. Como = , a Regra da Cadeia nos mostra que 0 (0) = 0 (u) 0 (0), de onde
conclumos que 0 (0) = 0 (u) h, em que h = 0 (0) Rm .
2
'
&
%
S
AK
1
A
A
A
A
A
A
6.3
81
Sejam S1 e S2 superfcies. Nesta Seo vamos definir em que condies uma aplicao
f : S1 S2 diferencivel. Como conseqncia, vamos estender o conceito de derivada,
antes definido apenas para aplicaes definidas em abertos de um espao euclidiano.
Definio 6.10 Sejam S1 Rn uma superfcie de classe C k e dimenso m e S2 R p outra superfcie.
Uma aplicao f : S1 R p diferencivel no ponto p S, se existir uma parametrizao : U
Rm , em que uma vizinhana aberta de p em S1 , tal que f : U R p diferencivel no
ponto u = 1 ( p).
A aplicao f : S1 R p de classe Cr (para 0 r k ), se a composta f : U R p for de
classe Cr .
A aplicao f : S1 S2 diferencivel no ponto p S1 , se a aplicao f : S1 R p for
diferencivel.
Analogamente, f : S1 S2 de classe Cr (com 0 r k ), se f : S1 R p for de classe Cr .
Para mostrarmos que essa definio independe da parametrizao de uma vizinhana de
p em S, consideremos uma parametrizao : W Rm 0 , definida no aberto W e tomando valores na vizinhana 0 de p em S1 . Como conseqncia do Teorema 6.6, uma vez
que f = ( f ) ( 1 ), vemos que f diferencivel no ponto 1 ( p) (respectivamente, de classe Cr ) se, e somente se, f for diferencivel no ponto 1 ( p) (respectivamente, de classe Cr ).
Definimos, assim, uma aplicao diferencivel entre duas superfcies. Mas ainda no definimos a derivada da aplicao f : S1 S2 . o que faremos a seguir.
Definio 6.11 Sejam S1 , S2 superfcies e f : S1 S2 uma aplicao diferencivel no ponto p S1 .
Seja f ( p) = q. A derivada de f no ponto p a aplicao
D f ( p) : Tp S1 Tq S2 ,
definida da seguinte maneira: seja S1 uma vizinhana aberta de p e : U Rm uma
parametrizao, com (u) = p. Se v Tp S1 , temos v = 0 (u) h para algum h Rm . Definimos
ento
D f ( p) v = ( f )0 (u) h.
Como antes, precisamos mostrar que a definio no depende da parametrizao . Alm
disso, no claro que ( f )0 (u) h esteja em Tq S2 . Vamos mostrar esses fatos. Para isso,
como antes, consideremos uma parametrizao : W Rm 0 de classe C k , definida no
aberto W e tomando valores na vizinhana 0 de p em S1 . Suponhamos que (w) = p e que
v = 0 (w) k para algum k Rm . Queremos mostrar que ( f )0 (u) h = ( f )0 (w) k.
De acordo com o Teorema de Mudana de Parametrizao 6.8, temos que = , em que
: 1 ( 0 ) 1 ( 0 ) um difeomorfismo de classe C k entre abertos do Rm , com
(w) = u. Logo,
0 ( u ) h = v = 0 ( w ) k = ( ) 0 ( w ) k = 0 ( u ) ( 0 ( w ) k ).
Como 0 injetora, deduzimos da ltima igualdade que h = 0 (w) k. Temos, portanto,
CAPTULO 6. SUPERFCIES NO R N
82
'
&
%
S
Rr
6
*
f
Figura 6.4: A derivada de f definida como a derivada da composta com uma parametrizao, de modo que derivamos uma aplicao definida num aberto do Rm .
mostrando que a definio da derivada de f independe da parametrizao escolhida de uma
vizinhana de p S1 . Mas ainda resta uma dvida: temos que ( f )0 (u) h Tq S2 ? Como
os vetores tangentes a Tq S2 so vetores velocidades (no instante t = 0) de caminhos tomando
valores em S2 , tomando um caminho com vetor velocidade 0 (0) = v, ao considerarmos a
composta f obtemos um caminho em S2 . Mas como mostrar que ( f )0 (0) = D f ( p)
0 (0)? ( claro que esse resultado natural! O Exerccio 25 pede que voc o demonstre.)
Vamos seguir um caminho alternativo. Sejamos precisos: consideremos : (e, e) U
uma caminho com (0) = u e vetor velocidade 0 (0) = h Rm . (Estamos mantendo a
notao! Quer dizer, (u) = p e 0 (u) h = v.) Considerando a composta [( f ) ](t), as
funes f e so funes definidas em conjuntos abertos de espaos euclidianos. Assim,
podemos aplicar a Regra da Cadeia, que nos d ( f )0 ((t)) 0 (t) = D f ( p) v. Como
a composta estabelece um caminho na superfcie S2 , mostramos que a derivada D f ( p) v
pertence a Tq S2 .
Observao 6.12 O ponto fundamental na definio de f : S1 S2 ser diferencivel consiste
no fato da parametrizao : U S1 permitir que trabalhemos no aberto U Rm ao
invs de trabalharmos na superfcie S.
&
%
S
83
Rm
f
-
Rk
Figura 6.5: A derivada de f definida como a derivada da composta com uma parametrizao, de modo que derivamos uma aplicao definida num aberto do Rm .
Pela Regra da Cadeia (para aplicaes entre superfcies), a derivada D f ( p) : Tp S1 Tq S2
um isomorfismo, em que p S1 e p = f ( p) S2 .
Observao 6.14 Uma vez mostrado que a definio de D f ( p) v consistente, temos uma
outra questo para enfrentar: a definio apresenta a derivada como sendo uma aplicao definida no espao tangente de uma superfcie. Como essa situao se relaciona com a derivada
de uma funo f : U Rm R p ?
Ora, os conjuntos abertos so justamente as superfcies de dimenso n no Rn ! De fato, em
virtude do Teorema da Aplicao Inversa, a imagem de uma parametrizao de dimenso n
no Rn um conjunto aberto.
Dado um aberto U Rn (ou seja, dada uma superfcie n-dimensional no Rn ), uma parametrizao de U dada pela aplicao I|U : U Rn Rn . Como o espao tangente a U num
ponto u U independe da parametrizao escolhida, temos que Tu U = DI(u) Rn = Rn .
Portanto, ao considerarmos uma funo f : U Rm R p , a derivada D f (u) est definida
no espao tangente superfcie U. Assim, a definio da derivada de f : S1 S2 uma
extenso da definio da derivada de f : U Rm R p .
6.4
Nesta Seo vamos comparar superfcies definidas nas formas (a), (b) e (c) da Seo 6.2.
Como j vimos, toda superfcie na forma (a) facilmente colocada na forma (c), isto , (a)(c).
Passamos a tratar da forma (b).
CAPTULO 6. SUPERFCIES NO R N
84
Df =
f f f
x y z
= (2x 2y 2x ) = 0
x = y = z = 0.
Quer dizer, mostramos que a inversa de um valor regular sempre uma superfcie. Em
termos da introduo da Seo 6.2, mostramos que (b)(c). Mas mostramos mais: a prova
da proposio anterior garante que toda superfcie na forma (b) tem, localmente, a forma (a).
Em palavras, a imagem inversa de valor regular , localmente, o grfico de uma aplicao.
Vamos mostrar, mais geralmente, que toda superfcie (isto , toda superfcie na forma (c))
localmente o grfico de uma aplicao.
Proposio 6.17 Toda superfcie de classe C k , localmente, o grfico de uma aplicao de classe C k .
6.5. EXERCCIOS
85
6.5
E XERCCIOS
CAPTULO 6. SUPERFCIES NO R N
86
o que significa
f (i ) ( x ) ( h1 , . . . , hi ) =
1
f (k) (0) ( x, . . . , x, h1 , . . . , hi ),
(k i )!
k f (i) ( X )k
k!
k X k k i .
(k i )!
1 00
f ( a) (h, h) + r (h),
2
com
r (h)
= 0.
h 0 k h k 2
lim
Z 1
0
( x, t)dt
6.5. EXERCCIOS
87
f (tx )
.
t
A B
X=
,
C D
em que A uma submatriz k k, B k (n k), C (m k ) k e D (m k) (n k)
e defina W = { X Mmn : det A 6= 0}. Mostre ento que
W Mmn [k] = { X W : D = CA1 B}
CAPTULO 6. SUPERFCIES NO R N
88
examinando o produto
I
0
1
CA
I
A B
C D
A
B
0 D CA1 B
20. (O grupo linear geral e o grupo unimodular) Identificando Mnn com Rn , mostre que
o conjunto
SL(Rn ) = { X GL(Rn ) : det X = 1}
2
6.5. EXERCCIOS
89
Captulo 7
A FRMULA DE TAYLOR
7.1
O T EOREMA DE S CHWARZ
Mas
g0 ( ) = { f 0 ( x0 + h + k ) f 0 ( x0 + h)} h
= {[ f 0 ( x0 + h + k) f 0 ( x0 )] [ f 0 ( x0 + h) f 0 ( x0 )]} h.
(7.1)
Por hiptese, dado e > 0, existe 0 < r 0 < r tal que, para k hk < r 0 /2 e ksk < r 0 /2, vale
k f 0 ( x0 + h) f 0 ( x0 ) f 00 ( x0 ) hk ekhk.
Uma vez que f 00 ( x0 ) k = f 00 ( x0 ) (h + k ) + f 00 ( x0 ) h, decorre de (7.1) que, para
todo [0, 1], vale
k g0 ( ) ( f 00 ( x0 ) k) hk 2e(khk + kkk)khk.
90
91
Assim,
0< <1
0
+k g (0)( f 00 ( x0 ) k) hk
6e(khk + kkk)khk.
Mas
g(1) g(0) = [ f ( x0 + h + k) f ( x0 )] [ f ( x0 + k ) f ( x0 )]
simtrica com relao a h e k, de modo que estimativa semelhante vlida ao se trocar h por
k:
k g(1) g(0) ( f 00 ( x0 ) h) kk 6e(khk + kkk)kkk.
Portanto,
k( f 00 ( x0 ) k) h ( f 00 ( x0 ) h) kk 24e.
Como e > 0 arbitrrio, o resultado decorre da.
92
(Aqui estamos usando que f 000 (u) uma aplicao bilinear simtrica cujo valor no vetor
(w, z) Rn Rn uma aplicao linear.)
Procedendo dessa maneira, conseguimos obter qualquer permutao do vetor (h, k, `)
Rn Rn Rn .
Corolrio 7.3 Sejam U Rn um aberto e f : U Rm uma aplicao de classe C k , com k 2. As
derivadas parciais mistas de ordem , 2 k,
f
,
xi1 . . . xi
com 1 i j n e 1 j
para quaisquer 1 i, j n.
7.2
f
.
xi . . . xi1
(j-vezes).
93
Demonstrao: Para s = 0 o resultado decorre da definio de aplicao diferencivel. Suponhamos o resultado vlido para s = k e consideremos k + 1 = s + 1. A hiptese de induo
aplicada a 0 garante que, para todo e > 0 dado, existe > 0 tal que kyk < implica
k 0 (y)k ekykk .
Por outro lado, a Desigualdade do Valor Mdio garante que
k (u)k Mkuk,
em que
Como kyk kuk, temos que M ekukk , de onde segue-se que kr (u)k ekukk+1 , o que
prova o lema.
2
Teorema 7.5 (Frmula de Taylor com Resto Infinitesimal)
Se f : U Rn Rm for s vezes diferencivel no aberto U e se no ponto a U existir a derivada
f (s+1) ( a), ento
f ( a + h) = f ( a) + f 0 ( a) h +
1 00
1
f ( a ) h2 + . . . +
f ( s +1) ( a ) h s +1 + r ( h ) ,
2!
( s + 1) !
1 00
1
f ( a ) h2 . . .
f ( s +1) ( a ) h s +1 ,
2!
( s + 1) !
Em particular, obtemos que r (0) = r 0 (0) = . . . = r (s) (0) = 0. Da tambm decorre que
f ( s ) ( a + h ) f ( s ) ( a ) f ( s +1) ( a ) h
r ( s ) ( h ) r ( s ) (0) 0 h
=
0 quando h 0,
khk
khk
mostrando que r (s + 1) vezes diferencivel no ponto h = 0, com r (s+1) (0) = 0. O resultado
decorre, ento, do Lema 7.4.
2
94
Observao 7.6 Podemos colocar o resultado mostrado nos seguintes termos: se temos uma
aplicao s vezes diferencivel, a existncia de f (s+1) ( a) garante a existncia de um polinmio
de grau s + 1 que aproxima s numa vizinhana de a, com r a (h)/khks+1 tendendo a zero
quando h tende a zero, em que r a (h) denota o resto nessa aproximao polinomial.
Em particular, no caso em que s = 0, temos a definio bsica de nosso curso: se f for
diferencivel no ponto a, ento existe um polinmio de grau 1 (o polinmio f ( a) + f 0 ( a) h)
que uma boa aproximao linear para f . Nesse caso, temos uma recproca: a existncia de
uma boa aproximao linear para f numa vizinhana do ponto a garante por definio
que f derivvel no ponto a.
Podemos nos perguntar se esse resultado continua vlido para s > 0. Mais precisamente,
a existncia de uma aproximao polinomial de grau s + 1 numa vizinhana do ponto a, com
r a (h)/k hks+1 tendendo a zero quando h 0, garante a existncia de f (s+1) ( a)?
A resposta para essa pergunta negativa, mesmo no caso f : R R. De fato, considere a
funo definida por f ( x ) = x3 sen (1/x ), se x 6= 0, e f (0) = 0. Para cada ponto x R existe
um polinmio em h, p x (h), de grau menor do que ou igual a 2, tal que
|r x (h)|
| f ( x + h) f ( x ) p x (h)|
= lim
= 0.
2
h
h2
h 0
h 0
lim
De fato, como f |R\{0} uma aplicao de classe C2 , esse polinmio dado, quando x 6= 0,
pela Frmula de Taylor usual, apresentada nos cursos de Clculo. No caso x = 0, basta
tomarmos p0 (h) 0. Nesse caso, vale
|r0 (h)|
| f (0 + h) f (0) p0 (h)|
1
lim
= lim
= lim hsen
= 0.
2
2
h
h
h3
h 0
h 0
h 0
Consequentemente, f pode ser aproximada, na vizinhana de todo x R por um polinmio de grau menor do que ou igual a 2, com resto r x (h) tal que r x (h)/h2 0 quando h 0.
No entanto, fcil verificar que f 00 (0) no existe.
f (u + h) = f (u) +
j =1
1 ( j)
f (u) h j .
j!
Em palavras, quando a srie de Taylor de f (isto , o lado direito da igualdade anterior) convergir, numa vizinhana B (u) de cada ponto u U, para o valor da aplicao f (u + h), com
h B (u).
2
A funo f : R R definida por f ( x ) = e1/x para x 6= 0 e f (0) = 0 o exemplo clssico
de uma funo C que no analtica.
2
Com efeito, se x 6= 0, ento f 0 ( x ) = 2x 3 e1/x e limx0 f 0 ( x ) = 0. Pelo Corolrio 3.12,
f 0 (0) existe e igual a 0. Aplicando o mesmo procedimento para as derivadas sucessivas
95
2
f (k) ( x ) (para x 6= 0), obtemos que elas tm a forma f (k) ( x ) = P(1/x )e1/x para k 1, em
2
que P um polinmio em 1/x. Como limx0 P(1/x )e1/x = 0 para qualquer polinmio P,
o Corolrio 3.12 garante que f (k) (0) = 0 para todo k. Isso prova que f C .
Contudo, f no analtica, pois a sua expanso em srie de Taylor no ponto x = 0
2
identicamente nula, j que f (k) (0) = 0 para todo k N e, por outro lado, f ( x ) = e1/x 6= 0
para todo x R \ {0}.
7.3
Z b
a
f 0 (t)dt.
1 0
1
f ( u ) h2 + . . . + f ( s ) ( u ) h s + r ( h ),
2
s!
Z 1
(1 t ) s ( s +1)
f
(u + th) hs+1 dt.
0
s!
(1 t ) s ( s )
( t ).
s!
(1 t ) s ( s +1)
( t ),
s!
como podemos verificar facilmente. Aplicando o Teorema Fundamental do Clculo ao caminho p, obtemos
1
(1) (0) (0) . . . ( s ) (0) =
s!
0
Z 1
( 1 t ) s ( s +1)
(t)dt.
0
s!
Para obtemos o resultado, basta ento considerarmos o caminho (t) = f (u + th), com h
suficientemente pequeno para que tenhamos [u, u + h] U.
2
96
Comparando as expresses da Frmula de Taylor com Resto Infinitesimal e com Resto Integral, vemos que a ltima muito mais precisa, pois ela nos d exatamente o valor de r (h).
Em compensao, para aplic-la, necessitamos que a aplicao f possua s + 1 derivadas contnuas no intervalo [u, u + h] U, uma exigncia que estende aquela descrita no enunciado
dado.
Observao 7.9 A Frmula de Taylor com Resto Integral pode ser entendida como uma generalizao do Teorema Fundamental do Clculo.
7.4
A terceira expresso para a Frmula de Taylor, que deduziremos como uma conseqncia
daquela com resto integral, pode ser vista como uma generalizao da Desigualdade do Valor
Mdio:
Teorema 7.10 (Frmula de Taylor com Resto de Lagrange)
Sejam U Rn um aberto e f : U Rm uma aplicao de classe C s+1 , com s N. Se o segmento
de reta [u, u + h] estiver contido em U e se k f (s+1) ( x )k M para todo x [u, u + h], ento
f (u + h) = f (u) + f 0 (u) h + . . . +
1 (s)
f ( u ) h ( s ) + r ( h ),
s!
em que
kr (h)k
M
k h k s +1 .
( s + 1) !
Z 1
0
(1 t)s dt =
M
k h k s +1 .
( s + 1) !
Observao 7.11 A Frmula de Taylor com Resto de Lagrange vale em condies mais gerais
do que aquelas estabelecidas no teorema anterior: basta que f seja s + 1 vezes diferencivel
em U.
1 (s)
f ( u ) h s + R ( h ),
s!
"
R(h)
#
sup k f (s+1) (u + th) f (s+1) (u)k
0 t 1
k h k s +1
.
( s + 1) !
97
1
f (s+1) (u) hs+1 , uma vez que
( s + 1) !
Z 1
(1 t ) s
0
s!
dt,
Resultado anlogo obtido substituindo-se f (s+1) (u) por qualquer aplicao (s + 1)-linear
T, como na Proposio 3.9.
7.5
1A
o fato de 0 ser ponto de mximo garante que o numerador no-positivo. Se considerarmos t > 0, o quociente
(t) (0)
no-positivo. Assim, limt0+
0; se tomarmos t < 0, o quociente passa a ser no-negativo e
t
limt0
(t) (0)
t
98
Tal qual no estudo de clculo a uma varivel, a anlise dos pontos crticos u de uma funo
f : U Rn R feita por meio do estudo da Frmula de Taylor da funo f .
Comeamos com o caso de f : U Rn R de classe C2 . Nesse caso, a Frmula de Taylor
no ponto u0 U nos d
1
f ( u0 + h ) = f ( u0 ) + f 0 ( u0 ) + D 2 f ( u0 ) h2 + r ( h ),
2
r (h)
= 0.
h 0 k h k 2
em que lim
Se u0 for um ponto crtico de f , ento f 0 (u0 ) = 0; procedendo formalmente, uma vez que
r (h) deve ser bem pequeno se h for suficientemente pequeno, natural esperar que
f ( u0 + h ) f ( u0 )
1 2
D f ( u0 ) h2 .
2
2 f
(u )
x2 12 0
f
x x (u0 )
1 2
2 f
x2 x1 ( u0 )
2 f
( u0 )
x22
2 f
x1 xn ( u0 )
2 f
x2 xn ( u0 )
H (u) =
..
.
..
.
...
...
..
.
...
2 f
xn x1 ( u0 )
2 f
xn x2 ( u0 )
..
.
2 f
( u0 )
xn2
2 f
(u )
x2 12 0
f
x x (u0 )
2 1
2 f
x2 x1 ( u0 )
2 f
( u0 )
x22
2 f
xn x1 ( u0 )
2 f
xn x2 ( u0 )
..
.
..
.
...
...
..
.
...
2 f
xn x1 ( u0 )
2 f
xn x2 ( u0 )
..
.
2 f
( u0 )
x2n
99
Hij hi h j ,
i,j=1
chamada forma quadrtica associada matriz simtrica H (u) = ( Hij ). usual denotar
q(h) = Hij hi h j . Note que q(th) = (th)t H (u)(th) = t2 [ht H (u)h] = t2 q(h). Temos:
Teorema 7.14 Sejam U Rn um aberto, f : U R uma funo de classe C2 e H (u0 ) a matriz
hessiana de f no ponto crtico u0 U. Seja q(h) = ht H (u0 )h a forma quadrtica associada H (u0 ).
Ento vale:
(i ) se a forma quadrtica q for positiva definida (isto , q(h) > 0 para todo h 6= 0), ento u0
um ponto de mnimo local estrito;
(ii ) se a forma quadrtica q for negativa definida (isto , q(h) < 0 para todo h 6= 0), ento u0
um ponto de mximo local estrito;
(iii ) se a forma quadrtica q for indefinida (isto , se existirem pontos h1 e h2 tais que q(h1 ) < 0 e
q(h2 ) > 0), ento u0 no ponto de mximo ou mnimo;
(iv) se a forma quadrtica q(h) for positiva semidefinida (isto , q(h) 0 para todo h 6= 0) ou
negativa semidefinida (isto , q(h) 0 para todo h 6= 0), ento no podemos afirmar que u0
um ponto de mximo (respectivamente, um ponto de mnimo);
Reciprocamente, temos
(v) se u0 for um ponto de mnimo de f , ento a forma quadrtica q(h) positiva semidefinida;
(vi ) se u0 for um ponto de mximo de f , ento a forma quadrtica q(h) negativa semidefinida.
Demonstrao: (i ) Consideremos o conjunto compacto Sn1 = { x Rn : k x k = 1}. A forma
quadrtica q : Rn R assume um valor mnimo, que denotaremos 2c, no compacto Sn1 .
Como q positiva definida, temos c > 0. Em outras palavras, temos que q(h) = ht H (u0 )h >
2c para todo h Rn tal que k hk = 1. Analisando a frmula de Taylor de f no ponto u0 , temos,
para todo h Rn ,
f ( u0 + h ) f ( u0 ) =
1
q(h) + (h)khk2 ,
2
h
khk
k h k2
2c = khk2 c.
100
Tome > 0 tal que k hk < implica k(h)k < c. Assim, k hk < implica f (u0 + h)
f (u0 ) > 0, o que garante que u0 um mnimo local.
A demonstrao de (ii ) similar de (i ).
Uma vez que q(th) = t2 q(h), a frmula de Taylor nos garante que
h
2
2
+ (th) , com lim (th) = 0.
f (u0 + th) f (u0 ) = t khk q
t 0
khk
Como antes, dessa expresso conclumos que, para t suficientemente pequeno, f (u0 +
th) f (u0 ) tem o mesmo sinal que q(h/khk). Se supusermos que q indefinida, em toda
bola B (u0 ) existem pontos u0 + tv e u0 + tw tais que q(v/kvk) > 0 e q(w/kwk) < 0. Isso
implica que f (u0 + tv) > f (u0 ) e f (u0 + tw) < f (u0 ), o que prova (iii ).
A prova de (v) decorre da imediatamente: suponhamos que q(h) < 0 para h Rn .
Obtemos ento, como antes, f (u0 + h) f (u0 ) < 0 para h suficientemente pequeno, o que
contradiz u0 ser um ponto de mnimo.
A demonstrao de (vi ) anloga.
Para verificarmos (iv), basta exibirmos uma forma quadrtica positiva semidefinida e um
ponto crtico que no mnimo local ou mximo local. Assim, consideremos f : R2 R
dada por f ( x, y) = x2 + y3 . A origem um ponto crtico de f (pois f ( x, y) = (2x 3y2 )t ) e a
matriz hessiana H (0, 0) dada por
2
2 f
f
(0, 0)
2 (0, 0)
2
0
yx
x
=
H (0, 0) = 2 f
.
2
0 0
(0, 0) f (0, 0)
yx
y2
Da deduzimos imediatamente que q(h) = 2h21 . Logo, q(h) 0 para todo h 6= 0. Note
que (0, 0) no um mnimo local para f , pois f (0, y) assume tanto valores positivos quanto
negativos numa vizinhana de y = 0. Anlise semelhante feita para g : R2 R dada por
g( x, y) = ( x2 + y3 ). Nesse caso, a forma quadrtica negativa semidefinida na origem (que
um ponto crtico), mas (0, 0) no um ponto de mximo.
2
O Teorema 7.14 transforma a anlise do ponto crtico u0 na anlise da matriz hessiana
H (u0 ). Existem diversas maneiras para determinar se a forma quadrtica q(h) = ht H (u0 )h
positiva definida ou negativa definida. Relembramos alguns resultados da lgebra Linear.
(a) Se os autovalores de H (u) forem todos positivos, ento q(h) positiva definida; se forem
todos negativos, q(h) negativa definida; se forem todos no-negativos, q(h) positiva
semidefinida; se forem todos no-positivos, q(h) negativa semidefinida; se existirem
autovalores com sinal contrrio, q(h) indefinida.2
(b) Se, na "diagonalizao" da forma quadrtica q(h) (isto , com uma mudana de coordenadas linear v = Th de modo a escrever q(v) = a1 v21 + . . . + an v2n ) tivermos todos os
coeficientes ai positivos, ento q(h) positiva definida; se tivermos todos ai negativos,
2 Como H ( u ) simtrica, essa matriz ortogonalmente diagonalizvel. Isso implica que, numa base ortogo0
nal, q ter a forma q(v) = 1 v21 + . . . + n v2n .
101
q(h) negativa definida; se os ai forem todos no-negativos, ento q(h) positiva semidefinida; se os ai forem todos no-positivos, q(h) negativa semidefinida; se existirem
ai e a j com sinal contrrio, q(h) indefinida.3
(c) Se os determinantes menores principais forem todos positivos, ento q(h) positiva
definida; se forem todos no-negativos, q(h) positiva semidefinida. Se os menores de
ordem mpar forem negativos (respecitamente, no-negativos) e os de ordem par forem
positivos (respectivamente, no-positivos), q(h) negativa definida (respectivamente,
negativa semidefinida); nos demais casos, q(h) indefinida.
(d) Na Decomposio de Cholesky, se todos os elementos da matriz diagonal forem positivos, q(h) positiva definida; se forem negativos, q(h) negativa definida etc.
Exemplo 2 Considere f : R2 R dada por f ( x, y) = x3 y3 + 9xy. Uma vez que
t
f ( x, y) = 3x2 + 9y 3y2 + 9x ,
vemos que f ( x, y) = (0 0)t se, e somente se,
3x2 + 9y = 0,
3x2 + 9x = 0.
Como a primeira equao garante que y = x2 /3, levando na segunda equao e simplificando, obtemos 27x x4 = 0, cujas solues so x = 0 e x = 3. Assim, os pontos crticos de
f so (0, 0) e (3, 3).
Para analisarmos esses pontos crticos, consideramos a matriz hessiana de f :
6x
9
H ( x, y) =
.
9 6y
No ponto crtico (0, 0), temos
H (0, 0) =
0 9
9 0
q(h) = 18h1 h2 .
Claramente q uma forma indefinida, pois assume tanto valores positivos quanto negativos.
Assim, (0, 0) no ponto de mximo ou mnimo.
No ponto crtico (3, 3), temos
18 9
H (3, 3) =
102
Dessa expresso deduzimos imediatamente que q(h) > 0 para todo h 6= 0. Isso quer dizer
que (3, 3) um ponto de mnimo local estrito.
fcil verificar que (3, 3) no um ponto de mnimo absoluto.
Observao 7.15 Existem funes analticas f : R2 R que possuem um nico ponto crtico,
o qual um mnimo local, mas no possuem ponto de mnimo global. (EXEMPLO DO Moacir,
citado por Humberto na p. 405-408)
Em certas condies, entretanto, podemos determinar se um ponto de mnimo local um
ponto de mnimo absoluto.
Seja U Rn um conjunto convexo. A funo f : U R convexa se, para quaisquer
u, v U, tivermos
f ((1 t)u + tv) (1 t) f (u) + t f (v).
Pode-se mostrar que, se f for C2 , ento f convexa se, e somente se, sua forma quadrtica
q(h) = ht H (u)h for no-negativa em todos os pontos de U. Esse resultado implica que todo
ponto de mnimo de uma funo convexa de classe C2 um ponto de mnimo absoluto. Veja,
a esse respeito, [12].
(i ) se k for par e D k f (u0 ) hk > 0 para todo 0 6= h Rn , ento u0 um ponto de mnimo local
estrito;
(ii ) se k for par e D k f (u0 ) hk < 0 para todo 0 6= h Rn , ento u0 um ponto de mximo local
estrito;
(iii ) se Dk f (u0 ) assumir tanto valores positivos quanto negativos quando aplicado em hk , ento u0
no ponto de mximo ou mnimo;
(iv) se k for par e D k f (u0 ) hk 0 ou D k f (u0 ) hk 0 para todo 0 6= h Rn , nada podemos
afirmar.
(v) se u0 for um ponto de mnimo, ento k par e D k f (u0 ) hk 0 para todo 0 6= h Rn ;
103
7.6
M ULTIPLICADORES DE L AGRANGE
F ( p ) = 1 g1 ( p ) + . . . + n m g n m ( p ) .
Os nmeros 1 , . . . , nm so chamados multiplicadores de Lagrange. O resultado que
acabamos de mostrar o seguinte:
Teorema 7.19 (Multiplicadores de Lagrange)
Sejam U Rn um aberto e F : U R uma funo diferencivel. Seja g : U Rm uma
aplicao de classe C k , com funes coordenadas ( g1 , . . . , gnm ), para m < n.
104
f ( x, y) = g( x, y)
escreve-se como
f
g
( x, y) = ( x, y)
x
x
f
g
( x, y) = ( x, y),
y
y
(7.2)
(7.3)
(7.4)
0,
f (0, 3) = f (0, 3) =
f (1, 1) = f (1, 1) = 1,
f (1, 1) = f (1, 1) =
1.
Assim, (1, 1) e (1, 1) so pontos de mximo, enquanto (1, 1) e (1, 1) so pontos de
mnimo de f |S .
105
2x 2y 0
Dg( x, y, z) =
,
1 0 1
vemos que Dg( x, y, z) tem posto 2 para qualquer ( x, y, z) R3 (verifique!). Assim, (1, 1) um
valor regular de g e S = g1 uma superfcie compacta. Se ( x, y, z) S, a igualdade vetorial
f ( x, y, z) = 1 g1 ( x, y, z) + 2 g2 ( x, y, z)
escreve-se como
yz 21 x 2
xz 21 y
xy
2
= 0,
= 0,
= 0,
(7.5)
(7.6)
(7.7)
x2 + y2 = 1,
(7.8)
x + z = 1.
(7.9)
( x, y, z, 1 , 2 ) = (1, 0, 0, 0, 0).
Suponhamos agora que y 6= 0. Decorre de (7.6) e (7.7) que
1 =
xz
2y
2 = xy.
106
p
p
p
!
1 13
22 2 13 7 + 13
82 + 22 13
16 + 13
,
,
,+
,+
,
6
6
6
12
9
p
p
p
22 2 13 7 + 13
82 + 22 13
16 + 13
1 13
,+
,
,
,
,
6
6
6
12
9
p
p
p
1 + 13
22 2 13 7 + 13
82 + 22 13
16 + 13
,
,
,
,
,
6
6
6
12
9
p
p
p
!
1 + 13
22 2 13 7 + 13
82 + 22 13
16 + 13
,+
,
,+
,+
.
6
6
6
12
9
Como S uma superfcie compacta ( uma elipse, resultante da interseo do cilindro
x2 + y2 = 1 com o plano x + z = 1), f |S possui mximo e mnimo. Para analisar os pontos
crticos, calculamos o valor de f em cada um dos pontos obtidos. Temos
!
22 2 13 7 + 13
1 13
f
,
,
= +0, 869...,
6
6
6
!
22 2 13 7 + 13
1 13
f
,+
,
= 0, 869...,
6
6
6
!
22 2 13 7 + 13
1 + 13
f
,
,
= 0, 221...,
6
6
6
22 2 13 7 + 13
1 + 13
,+
,
= +0, 221...,
f
6
6
6
f (1, 0, 0) =
0.
Consequentemente, o ponto
!
1 13
22 2 13 7 + 13
,
,
6
6
6
o mximo absoluto de f |S , enquanto
p
!
22 2 13 7 + 13
1 13
,+
,
6
6
6
o mnimo absoluto de f |S . Os dois pontos seguintes so pontos de mnimo e mximo locais
(verifique!), enquanto (1, 0, 0) no ponto de mximo ou mnimo.
7.7. EXERCCIOS
7.7
107
E XERCCIOS
f ( j) ( a )
.
j!
j =
x1 . . . x n
ou seja,
x1 + . . . + x n
n
n
,
x1 + . . . + x n
,
n
desigualdade que prova que a mdia geomtrica de x1 , . . . , xn menor do que ou igual
a mdia aritmtica dos mesmos nmeros.
x1 . . . x n
Captulo 8
SUPERFCIES ORIENTVEIS E COM
BORDO
8.1
S UPERFCIES O RIENTVEIS
1
: 1 ( 0 ) 1 ( 0 ) tiver matriz jacobiana com determinante positivo em todos
os pontos u 1 ( 0 ).
Um atlas A na superfcie S coerente, se quaisquer de suas parametrizaes forem compatveis.
Uma superfcie S de classe C k orientvel, se possuir um atlas A coerente de classe C k . Uma
superfcie orientada uma superfcie orientvel na qual foi escolhida um atlas coerente A. Mais
precisamente, uma superfcie orientvel de classe C k um par (S, A), em que A um atlas coerente de
classe C k . As parametrizaes em A so chamadas positivas.
Note que a definio de superfcie garante a existncia de um atlas A de classe C k em S.
Exemplo 1 Toda superfcie que a imagem de uma nica parametrizao orientvel, pois
essa parametrizao constitui um atlas coerente. Em particular, toda superfcie dada como
grfico de uma aplicao C k (k 1) e todos os conjuntos abertos do Rn so orientveis.
Exemplo 3 Se uma superfcie S de dimenso m e classe C k admitir um atlas formado por duas
parametrizaes, : U e : U 0 0 , com 0 conexo, ento S orientvel. (Veja o
Exerccio 13.) De fato, como o domnio 1 ( 0 ) da parametrizao 1 conexo, ou
det( 1 ) > 0 (caso em que o atlas coerente), ou det( 1 ) < 0 em todos os pontos
do domnio. Nesse caso, existe uma outra parametrizao , com a mesma imagem de , tal
108
109
0
0
B=
( u0 ), . . . ,
( u0 )
e C=
( u ), . . . ,
(u )
x1
xn
x1 0
xn 0
so ambos bases do espao tangente Tp S. A relao entre essas bases obtida ao diferenciarmos a igualdade = .
D(u00 ) ei = D( (u00 )) D (u00 ) ei = D(u0 ) ci ,
em que ci a i-sima coluna da matriz J (u00 ). Logo, a matriz jacobiana J (u00 ) a matriz
mudana da base1 C para a base B .
As parametrizaes e so compatveis, se det J (u00 ) > 0. Como o determinante uma
funo contnua, seu sinal constante em cada componente conexa do aberto 1 ( 0 );
assim, se esse aberto for conexo, o sinal do determinante ser o mesmo em todos os pontos
desse aberto. Contudo, no podemos garantir, a priori, que 1 ( 0 ) seja conexo.
(u) . . .
(u) v1 ( (u)) . . . vnm ( (u))
O (u) =
x1
xm
tem determinante positivo. Note que as colunas de O (u) formam uma base do Rn em cada
ponto u, de forma que O (u) invertvel para todo u U. Alm disso, como as colunas
1 Note
que os vetores da base C esto sendo escritos como combinao linear dos vetores da base B .
110
0
0
0
0
0
O ( u 0 ) =
(u ) . . .
(u ) v1 ((u0 )) . . . vnm ((u0 )) .
x1 0
xm 0
As m primeiras colunas dessa matriz so uma base de Tp S, enquanto as colunas restantes
fornecem uma base de ( Tp S) . Denotaremos por C a base do Rn formada pelas colunas de
O (u00 ). Da mesma forma, denotaremos por B a base do Rn dada pelas colunas de O (u). Se
considerarmos a matriz de mudana de base C para a base B , vemos que ela tem a forma
C 0
P=
.
0 I
Mais precisamente,
de onde deduzimos que
O (u00 ) = O (u0 ) P,
det O (u00 ) = det O (u0 ) det C.
(8.1)
Uma vez que C corresponde matriz jacobiana de (u00 ) = 1 (u00 ), conclumos que
2
det D (u00 ) > 0, o que mostra que as parametrizaes e so compatveis.
Corolrio 8.5 Se a superfcie S Rn , de dimenso n e classe C k , for a imagem inversa de um valor
regular da aplicao f : U Rn Rnm , ento S orientvel.
Demonstrao: Suponhamos que S = f 1 (c). Para p S, consideremos a matriz jacobiana
J f ( p). Se f = ( f 1 , . . . , f nm ) so as funes coordenadas de f , as linhas de J f ( p) correspondem aos vetores f 1 ( p), . . . , f nm ( p). Como J f ( p) tem posto n m (pois c valor regular
de f ), mostramos que os vetores
f 1 ( p ), . . . , f n m ( p )
2 Veja
a Observao 6.9.
111
so linearmente independentes.
Afirmamos agora que f i ( p) ( Tp S) para i = 1, . . . , n m. De fato, se c = (c1 , . . . , cnm )
so as coordenadas de c, cada funo f i : U R constante em S e igual a ci . Como todo
vetor v Tp S o vetor velocidade 0 (0) de um caminho : (e, e) S satisfazendo
(0) = p, temos ( f i )(t) = ci para i = 1, . . . , n m. Derivando essa igualdade, obtemos
D f i ( p) 0 (0) = 0, ou seja, D f ( p) v = h f i ( p), vi = 0, mostrando que f i ( p) Tp S.
Isso mostra que f 1 ( p), . . . , f nm ( p) so n m campos contnuos que formam uma base
de ( Tp S) .
2
O Exerccio 1 pede que voc demonstre o seguinte resultado:
Corolrio 8.6 Toda superfcie S de dimenso m e classe C k admite, localmente, um campo de vetores
normais de classe C k1 .
Pode-se mostrar (veja [9], Proposio 7, p. 118) que uma superfcie S Rn de dimenso m
admite n m campos contnuos linearmente independentes de vetores normais se, e somente
se, S for a imagem inversa de um valor regular. A demonstrao desse fato foge ao escopo
deste texto.
Contudo, fcil verificar que a recproca do Teorema 8.4 vlida no caso em que a superfcie S tiver codimenso 1. Para mostrar esse fato, comeamos provando um resultado
simples sobre o produto vetorial no espao Rn (veja o Exerccio 29 do Captulo 1).
Lema 8.7 Sejam B = {v1 , . . . , vn1 } e C = {w1 , . . . , wn1 } bases do espao E Rn . Se P denotar
a matriz de mudana da base B para a base C , ento
v1 . . . vn1 = det P w1 . . . wn1 .
Demonstrao: Definimos duas formas (n 1)-lineares alternadas f : E R e g : E R
por3
v 1 . . . v n 1 = f ( v 1 , . . . , v n 1 ) w1 . . . w n 1
e
em que
vj =
pij wi ,
j = 1, . . . , n 1.
i =1
Como o espao das formas (n 1)-lineares alternadas tem dimenso 1, devemos ter f =
cg. Mas f (w1 , . . . , wn1 ) = 1 e g(w1 , . . . , wn1 ) = 1, o que significa que c = 1. Isso prova que
v1 . . . vn1 = det P w1 . . . wn1 .
Proposio 8.8 Toda superfcie orientvel de codimenso 1 admite um campo contnuo de vetores
normais no-nulos.
3 Note que, como E tem dimenso n 1, v . . . v
1
n1 deve ser igual a um mltiplo de w1 . . . wn1 , pois
ambos esses vetores so perpendiculares a E.
112
w( p)
,
kw( p)k
em que
w( p) =
(u) . . .
( u ).
x1
xn1
Se for uma outra parametrizao de uma vizinhana aberta de p, com (v) = p, ento
z( p) =
(v) . . .
(v)
x1
xn1
base { x , . . . , x
1
n 1
n 1
} para a
}, de acordo com o Lema 8.7. Como essa matriz positiva, temos que
z( p)
w( p)
=
= v ( p ).
kz( p)k
kw( p)k
Isso mostra que o campo unitrio normal v : S Rn est bem definido. Como v contnuo,
o resultado est provado.
2
Exemplo 4 (A faixa de Moebius) A faixa de Moebius o exemplo mais simples de uma superfcie no-orientvel no R3 . Ela obtida da seguinte maneira: considere um crculo de raio
1 e um segmento de reta (1/2, 1/2), cujo ponto central pertence ao crculo. Enquanto esse
ponto central percorre inteiramente o crculo, giramos o segmento de radianos.
Para parametrizar a faixa de Moebius M, consideramos a aplicao f : (0, 1) R R3 ,
definida por
f (s, t) = (t) + (s 1/2)(t),
em que
(t) =
t
t
t
cos cos t, cos sen t, sen
2
2
2
8.2
113
t 0+
F (u + tvi ) F (u)
f (u + tvi ) f (u)
= lim
,
t
t
t 0+
pois u + tvi U, desde que tomemos t suficientemente pequeno. Isso mostra que F 0 (u) vi
est determinado de maneira nica nos elementos da base {v1 , . . . , vn } de H. Portanto, a
derivada de f independe da extenso F considerada.
A definio da derivada de f : U H Rm implica imediatamente que a Regra da
Cadeia continua vlida. Mais precisamente, sejam U H1 e V H2 abertos nos semiespaos
H1 Rn e H2 Rm . Se as aplicaes f : U Rm e g : V R p forem diferenciveis nos
pontos u U e v = f (u) V, respectivamente, ento ( g f )(u) = g0 ( f (u)) f 0 (u). Esse fato
decorre imediatamente da Regra da Cadeia aplicada s extenses de f e g.
Um difeomorfismo (respectivamente, difeomorfismo C k ) entre abertos U H1 e V H2
dos semiespaos H1 Rn e H2 Rm uma bijeo diferencivel (respectivamente, C k ),
cuja inversa tambm diferencivel (respectivamente, C k ). Como antes, a Regra da Cadeia
implica imediatamente que devemos ter m = n.
Definio 8.11 Seja H um semiespao. O bordo de um aberto U H o conjunto
U = U H.
O bordo de um aberto U H uma superfcie de codimenso 1 no Rn . De fato, como U
um aberto em H, existe um aberto V Rn tal que U = V H. Portanto,
V H = V ( H H ) = (V H ) H = U H = U.
114
(i ) a aplicao um homeomorfismo de U em = (U );
(ii ) a derivada D(u) : Rm Rn injetora para todo u U.
Definio 8.15 Uma superfcie com bordo de dimenso m e classe C k um subconjunto S Rn
tal que todo elemento p S pertence a um aberto S, o qual a imagem de uma parametrizao
: U H Rn , em que U um aberto do semiespao H Rm .
Como no caso de superfcies,4 mudanas de parametrizao so dadas por difeomorfismos.
Proposio 8.16 Sejam S uma superfcie com bordo de dimenso m e S um aberto. Se :
U H1 e : V H2 so parametrizaes C k de , ento 1 : U V um
difeomorfismo C k entre os abertos U H1 e V H2 dos semiespaos H1 , H2 Rm .
Demonstrao: Dado p S, suponhamos que (u) = p = (v). Como diferencivel,
existe uma extenso : W Rm Rn de , de classe C k , definida num aberto W Rm .
Pela Forma Local das Imerses (restringindo W, se necessrio), um homeomorfismo entre
W 3 v e (W ), cuja inversa 1 a restrio a (W ) de uma aplicao definida num aberto
do Rn . Logo, definindo A = 1 ((W )), vemos que A 3 u um aberto em H1 . Alm disso,
(1 )| A = (1 )| A uma aplicao de classe C k , como composta de aplicaes C k .
Isso prova que 1 uma aplicao C k numa vizinhana aberta do ponto u e completa a
demonstrao.
2
4 Como
definida no Captulo 6.
115
Observao 8.17 No necessrio trabalharmos com parametrizaes definidas em semiespaos distintos; basta consideramos o semiespao H0 = {( x1 , . . . , xm ) Rm : x1 0}.
Dado qualquer semiespao H Rm , existe um isomorfismo linear T : Rm Rm tal que
T ( H0 ) = H (veja o Exerccio 16). Dada uma parametrizao de classe C k , : V H S,
definimos U = T 1 (V ) e : U S por = T. A parametrizao de classe C k e tem
a mesma imagem de .
Definio 8.18 Seja S Rn uma superfcie com bordo. O bordo o conjunto S formado por todos
os pontos p S tais que, para toda parametrizao : U H do aberto 3 p de S, com
(u) = p, temos u U.
A definio apresentada do bordo S torna difcil verificar se um ponto p S pertence a
S. Combinando as Proposies 8.12 e 8.16 temos uma caracterizao muito mais simples do
bordo de uma superfcie. Se existir uma parametrizao : U H1 S tal que (u) = p
e u U, podemos concluir que p S. De fato, suponhamos que : V H2 S
seja outra parametrizao do ponto p, com (v) = 0. Como 1 um difeomorfismo,
(1 )(u) = v V, pois u U.
Observao 8.19 Se S for uma superfcie com bordo de dimenso m e classe C k , ento S
uma superfcie de dimenso m 1 e classe C k . claro que o bordo S parametrizado pelas
restries de parametrizaes : U H Rm S, em que U 6= . Contudo, essas
no so definidas em abertos do espao Rm1 e no caracterizam, portanto, S como uma
superfcie de dimenso m 1. Temos duas maneiras simples de obter parametrizaes de
S. A primeira consiste em tomar uma base de H e representar cada elemento de H como
combinao linear dos m 1 vetores da base de H. Os elementos de S dados por so as
imagens dos elementos u U H, e u representado pelas m 1 coordenadas dadas por
essa base de H.
A segunda soluo tambm simples e elucidativa: consideramos uma parametrizao
: U H0 S (em que H0 o semiespao definido anteriormente) tal que U 6= . Se
identificarmos H0 com Rm1 por meio da correspondncia (0, x2 , . . . , xm ) 7 ( x2 , . . . , xm )
Rm1 , ento U H0 identificado com um aberto do espao Rm1 , de modo que : U S
parametrizao de uma vizinhana aberta de S.
Teorema 8.20 Sejam S uma superfcie de dimenso m e classe C k e f : S R uma funo de classe
C k . Se a R for valor regular de f , ento o conjunto N = { x S : f ( x ) a} uma superfcie com
bordo, de dimenso m e classe C k . O bordo de N
N = f 1 ( a).
Demonstrao: O conjunto A = { x S : f ( x ) < a} aberto em S; logo, uma superfcie
de dimenso m e classe C k (veja o Exerccio 15). Para completar a demonstrao, precisamos
apenas parametrizar as vizinhanas dos pontos x N tais que f ( x ) = a.
Para x S, considere uma parametrizao : U Rm de uma vizinhana aberta de
x, com (u) = x. Uma vez que a valor regular de f , resulta da Definio 6.11 que a tambm
valor regular da funo f : U R. Sem perda de generalidade, podemos supor que
f
(u) > 0.
xm
116
( f )(u , t) = t t I.
Em Rm = Rm1 R considere o semiespao formado pelos pontos cuja ltima coordenada menor do que ou igual a a. Defina V = (W I ) H, = e = (V ). Ento
: V N uma parametrizao do aberto N.
2
$
'
U
(u , um )
&
q
p
f
J
J
J
^
R
6
a I = ( a e, a + e)
WI
f = 2
a = f ( p)
(u , a)
V
Rm 1
5 Veja
a Figura 8.1.
117
Definio 8.21 Seja S Rn uma superfcie com bordo de dimenso m e classe C k . Dado p S, seja
: U H Rm S uma parametrizao do aberto 3 p, com (u) = p. Definimos o
espao tangente superfcie com bordo S, denotado Tp S, por
Tp S = 0 (u) Rm .
Como antes, precisamos verificar que o espao tangente Tp S independe da parametrizao escolhida de uma vizinhana aberta de p S. Se for outra parametrizao de
uma vizinhana de p (com (v) = p), a Proposio 8.16 garante que a mudana de coordenadas = 1 um difeomorfismo; aplicando a Regra da Cadeia igualdade
= , temos 0 (v) 0 (u) Rm = 0 (u) Rm . Como 0 (u) um isomorfismo, temos
que 0 (v) Rm = 0 (u) Rm .
Seja p S. Em p temos uma situao dual: por um lado, est definido o espao tangente m-dimensional Tp S da superfcie com bordo S; mas, por outro, S uma superfcie de
dimenso m 1, para a qual est definido o espao tangente (m 1)-dimensional Tp (S). Se
considerarmos uma parametrizao : U H S, com (u) = p S, ento obtemos
uma parametrizao de S ao considerarmos uma base de H. Mas o espao tangente Tp (S)
obtido sem a utilizao dessa base: temos que Tp (S) = 0 (u) H.
8.3
Definio 8.22 Uma superfcie com bordo S, de dimenso m e classe C k , orientvel se admitir um
atlas coerente de classe C k . Como antes, o atlas A coerente se mudanas de parametrizaes do
aberto S tiverem determinante jacobiano positivo.
Teorema 8.23 Se S Rn for uma superfcie com bordo orientvel (de dimenso m 2 e classe C k ),
ento a orientao de S induz uma orientao na superfcie S. Mais precisamente, S admite um atlas
coerente, construdo partir de parametrizaes : U H0 S, em que H0 o semiespao
definido na Observao 8.17, e a orientao de S definida como aquela determinada pelas restries
ao bordo das parametrizaes desse atlas.
Demonstrao: Utilizando o semiespao H0 introduzido anteriormente, seja A o conjunto
das parametrizaes : U H0 S de classe C k com as seguintes propriedades:
a) U um aberto conexo em H0 ;
b) positiva com relao orientao de S.
J vimos que podemos supor que todos os domnios de parametrizaes sejam conexos.
Alm disso, a toda parametrizao : V H corresponde uma parametrizao de
definida em um aberto U H0 (veja a Observao 8.17). Assim, um atlas em S gera um atlas
satisfazendo a propriedade a). Mas, como existe um atlas coerente em S, sempre podemos
tomar parametrizaes positivas A: se no for positiva, mudamos o sinal de , de
modo a obter uma parametrizao positiva.
Lembramos que os elementos de H0 correspondem aos elementos do Rm cuja primeira
coordenada igual a zero (veja a Observao 8.19). Consideremos as restries |S das
118
a11 0 . . . 0
a21 a22 . . . a2m
..
..
.. .
.
.
.
.
.
.
am1 am2 . . . amm
( 1 )1
(u). Como
x1
a22 . . . a2m
..
..
..
.
.
.
am2 . . . amm
Exemplo 6 (Orientao em superfcies com bordo S, com dim S = 1) O intervalo [0, 1] uma
superfcie com bordo de dimenso 1 e classe C , de acordo com o Exemplo 5. Um atlas A
nessa superfcie dado pelas parametrizaes { , }, e que : [0, 1) [0, ) [0, 1) e
: (0, 1] (, 1] (0, 1] so ambas iguais funo identidade. A mudana de parametrizao 1 : (0, 1) (0, 1) tambm a funo identidade, de modo que A um atlas
coerente, que define a orientao natural em [0, 1].
Se considerarmos o semiespao H0 = (, 0], ento podemos considerar o atlas B =
{, }, em que : (1, 0] H0 [0, 1) dado por (t) = t e : (1, 0] H0 (0, 1]
dado por (t) = 1 + t. A mudana de parametrizao 1 : (1, 0) (1, 0) a funo
t 7 1 t, de modo que o atlas B no coerente.
119
Mas nenhum atlas em H0 pode ser coerente, pois nele qualquer vizinhana de 0 deve ser
parametrizada por uma funo com derivada negativa, enquanto uma vizinhana de 1 deve
ser parametrizada por uma funo com derivada positiva.
Isso significa que a definio de orientao induzida no bordo no adaptvel para superfcies de dimenso 1, j que nenhum atlas construdo partir de parametrizaes em H0
pode ser coerente.
Definimos a orientao induzida em S, no caso em que dim S = 1, da seguinte maneira:
se x S, ento a orientao ser + x, se cada vetor de Tx S apontar para fora da superfcie S e
x, caso contrrio. Por exemplo, no caso [0, 1], a orientao +1 (no ponto 1) e 0 no ponto
0 (pois os vetores tangentes a [0, 1] apontam para dentro de [0, 1] nesse caso). Analogamente,
as semiretas S1 = (, a] orientada em S1 = { a} por + a, enquanto S2 = [b, ) orientada
em S2 = {b} por b.
( 1 2 )1 ( 1 1 ) = ( 21 1 ) (21 ).
(8.2)
o Exemplo 7 do Captulo 6.
120
8.4
PARTIES DA U NIDADE
8.5
E XERCCIOS
A lista de exerccios est muito irregular. Alguns desses exerccios foram retirados do
livro do Elon. Contudo, nem este texto, nem o livro do Elon so suficientes para solucionlos integralmente.
1. Demonstre o Corolrio 8.6.
2. Seja S Rn uma superfcie de dimenso m e classe C k , k 2. O fibrado tangente de S
o conjunto
TS = {( p, v) Rn Rn : p M, v Tp S}.
Mostre que TS uma superfcie de dimenso 2m e classe C k1 .
O fibrado normal de S o conjunto
S = {( p, v) Rn Rn : p M, v ( Tp S) }.
Mostre que S uma superfcie de dimenso n e classe pelo menos igual a C k1 .
3. Seja A um atlas coerente na superfcie orientvel S, de classe C k e dimenso m. Seja
S um aberto conexo e : U uma parametrizao de . Seja : U 0 0 uma
parametrizao pertencente a A, com 0 6= . Ento det J (1 )(u) no muda
7 Compare
com o Exemplo 6.
8.5. EXERCCIOS
121
122
Captulo 9
MUDANA DE VARIVEIS
9.1
O C ASO U NIDIMENSIONAL
f ( ( x )) 0 ( x )dx =
Z
I2
f (y)dy.
(9.1)
I2
( g )0 ( x ) = g0 ( ( x )) 0 ( x ),
vemos que o integrando no lado esquerdo de (9.1) corresponde derivada de ( g ). Assim,
de acordo com o Teorema Fundamental do Clculo, temos
Z
I1
9.2
Definio 9.1 Seja f : Rn R uma funo. O suporte de f , denotado supp f , definido por
supp f := { x Rn ; f ( x ) 6= 0}.
Em palavras, o suporte de f o fecho do conjunto dos pontos em que f no nula.
123
124
para k x k 1.
f ( ( x ))(det J ( x ))dx =
f (y)dy.
(9.2)
Z y1
f (z, y2 , . . . , yn )dz.
Uma vez que f tem suporte compacto, g nada mais do que a primitiva da funo de uma
nica varivel f (, y2 , . . . , yn ), ou seja,
g
( y1 , . . . , y n ) = f ( y1 , . . . , y n ).
x1
(9.3)
kyi k c.
Decorre imediatamente de (9.3) que g(y1 , . . . , yn ) = 0, se ky j k > c para algum j
{2, . . . , n}, ou se y1 c. Podemos supor que c > 1, de forma que o cubo C contm a
bola unitria k x k 1. Como a identidade I fora da esfera unitria, isso quer dizer que
f ( ( x )) igual a zero fora do cubo C. Assim, ao provarmos (9.2), podemos considerar que o
lado esquerdo da igualdade esteja sendo integrado no cubo C.
A definio de g permite expressar o lado esquerdo de (9.2) em termos da derivada de g
com relao primeira varivel:
Z
f ( ( x ))(det J ( x ))dx =
g
( ( x ))(det J ( x ))dx.
x1
Lema 9.3 O integrando no lado direito da equao (9.4) pode ser escrito como
D ( g )( x )
D2 ( x ))
det
..
.
Dn ( x ))
(9.4)
(9.5)
em que a matriz est sendo expressa por meio de suas linhas e Di ( x ) denota a i-sima linha da matriz
jacobiana de .
125
D ( g )( x )) = Dg( ( x )) D( x ) =
xi ( (x)) Di (x).
i =1
det
g
x1 ( ( x )) D1 ( x )
D2 ( x )
..
.
Dn ( x )
A linearidade da funo determinante permite que escrevamos essa expresso como
D1 ( x )
D2 ( x )
g
( ( x )) det
,
..
x1
.
Dn ( x )
que justamente o integrando em (9.4).
det
g
x1 ( ( x ))
2
x1 ( x )
g
x2 ( ( x ))
2
x2 ( x )
...
n
x1 ( x )
n
x2 ( x )
...
..
.
..
.
...
...
g
xn ( ( x ))
2
xn ( x )
..
.
n
xn ( x )
g( ( x )) M1 + . . . +
g( ( x )) Mn ,
x1
xn
(9.6)
em que M1 , . . . , Mn so os cofatores da primeira linha da matriz jacobiana de ( x ). Substituindo (9.6) na integral no lado direito de (9.4), obtemos
Z c
Z c
g( ( x )) M1 + . . . +
g( ( x )) Mn dx1 . . . dxn .
(9.7)
xn
c
c x1
Consideremos o primeiro termo dessa integral:
Z c
c
dx2 . . . dxn
Z c
c
g( ( x )) M1 dx1 .
x1
126
c
Z c
M1
g( ( x )) M1 dx1 = g( ( x )) M1
g( ( x ))
dx1
x1
x1
c
c
Z c
c
f ( x1 , . . . , xn )dx1
Z c
c
g( ( x ))
Z c
c
g( ( x ))
M1
dx1
x1
M1
dx1 ,
x1
...
Z c
c
f ( x1 , . . . , xn )dx1 . . . dxn
Z c
c
...
Z c
c
g( ( x ))
M1
dx1 . . . dxn .
x1
Procedemos do mesmo modo com relao s variveis restantes. Obtemos, por exemplo,1
que o segundo termo em (9.7) igual a
Z c
c
...
Z c
c
g( ( x ))
M2
dx1 . . . dxn .
x2
(9.8)
.
.
.
x
xn
2
1
det
.
.
.
.
.
...
..
..
.
n n
n
x
x2 . . . xn
1
Isso quer dizer que podemos representar o lado esquerdo de (9.8) simbolicamente como
det
x1
2
x1
x2
2
x2
...
n
x1
n
x2
...
..
.
..
.
...
...
xn
2
xn
..
.
n
xn
D
D2 ( x )
.
= det
...
Dn ( x )
(9.9)
1 Note que temos que mudar a ordem de integrao, o que pode ser feito. Veja o Teorema 6.2, p. 58 do
livro-texto.
127
x1 x2
x2 x1
o que confirma a igualdade (9.8), pois estamos supondo que C2 .
Por induo, desenvolvendo segundo os cofatores de uma linha qualquer que no a primeira, verificamos (9.8).
2
Referncias Bibliogrficas
[1] R. Abraham, J. E. Marsden e T. Ratiu: Manifolds, Tensor Analysis, and Applications,
2nd. Edition, Springer, New York, 1988.
[2] R. G. Bartle: The Elements of Real Analysis, 2nd. edition, Wiley, New York, 1976.
[3] H. J. Bortolossi: Clculo Diferencial a Vrias Variveis, Editora PUC-Rio, Rio de Janeiro,
2002.
[4] M. P. do Carmo: Differential Forms and Applications, Springer, Berlin, 1994.
[5] H. Cartan: Cours de Calcul Diffrentiel, Hermann, Paris, 1985.
[6] K. Deimling: Nonlinear Functional Analysis, Springer-Verlag, Berlin, 1985.
[7] J. Dieudonn: Foundations of Modern Analysis, Academic Press, New York, 1960.
[8] S. Lang: Real and Functional Analysis, 3rd. Edition, Springer-Verlag, New York, 1993.
[9] E. L. Lima: Variedades Diferenciveis, IMPA, Rio de Janeiro, 1973.
[10] E. L. Lima: Espaos mtricos, IMPA, Rio de Janeiro, 1977.
[11] E. L. Lima: Curso de Anlise, volume 2, IMPA, Rio de Janeiro, 1981.
[12] E. L. Lima: Anlise Real, volume 2, IMPA, Rio de Janeiro, 2004.
[13] E. L. Lima: Anlise no Espao Rn , IMPA, Rio de Janeiro, 2002.
[14] J. T. Schwartz: Nonlinear Functional Analysis, Gordon and Breach, New York, 1969.
[15] M. Spivak: Calculus on Manifolds, W.A. Benjamin, New York, 1965.
[16] F. Warner: Foundations of Differentiable Manifolds and Lie Groups, Springer, Berlin,
1983.
128
ndice Remissivo
adjunta de uma aplicao linear, 29
aplicao
aberta, 49
bilinear, 12
de classe C0 , 75
de classe C , 75
de classe C n , 75
diferencivel, 14
uniformemente, 37
k-homognea, 86
uniformemente diferencivel, 37
aplicao analtica, 94
aplicao diferencivel, 14
definida num semiespao, 113
entre superfcies, 81
posto, 66
aplicao linear
adjunta de uma, 29
atlas, 108
coerente, 108
mximo, 121
atlas coerente
em superfcies com bordo, 117
base positiva, 88
bordo, 112
de um aberto num semiespao, 113
de uma superfcie, 115
caminho, 17
diferencivel, 18
campo de vetores normais, 109
carta, 76
codimenso de uma superfcie, 77
conjunto
verticalmente convexo, 67
contrao, 7
coordenadas
de uma funo, 16
curva, 17
derivada
de aplicaes
n-lineares, 16
bilineares, 15
constantes, 15
dadas por coordenadas, 16
do Rn em R, 18
do Rn em Rm , 17
lineares, 15
de caminhos, 17
de funes reais, 18
de uma aplicao definida num semiespao, 113
interpretao geomtrica, 21, 32
derivada de f , 15
desigualdade
de Cauchy-Schwarz, 2
do valor mdio, 35
difeomorfismo, 49
de aplicaes definidas em semiespaos,
113
entre superfcies, 82
global, 49
local, 49
distncia, 10
geodsica, 46
equaes de Cauchy-Riemann, 29
espao mtrico, 10
espao dual, 18
espao tangente, 28
a uma superfcie com bordo, 117
ao grfico de uma funo, 22
espao vetorial
com produto interno, 1
129
NDICE REMISSIVO
130
de Banach, 2
euclidiano, 1
normado, 1, 2
completo, 2
espaos vetoriais
linearmente homeomorfos, 4
normados
homeomorfismo de, 4
frmula de Taylor
com resto de Lagrange, 96
com resto infinitesimal, 93
com resto integral, 95
fibrado
normal, 120
tangente, 120
forma local
das imerses, 65
das submerses, 61
forma quadrtica
indefinida, 99
negativa definida, 99
positiva definida, 99
positiva semidefinida, 99
funo
convexa, 102
holomorfa, 29
funcionais lineares, 18
grfico de uma funo, 28
gradiente, 45
hessiana da funo f , 98
homeomorfismo, 4
identidade
de polarizao, 3
do paralelogramo, 3
imerso, 64
isomtrica, 46
imerses
forma local das, 65
hessiana, 98
matriz jacobiana, 17
mximo
absoluto, 97
estrito, 97
local, 97
estrito, 97
mnimo
absoluto, 97
estrito, 97
local, 97
estrito, 97
mudana de parametrizao, 80
mudana de sinal de uma parametrizao, 109
multiplicadores de Lagrange, 103
norma, 1
de uma aplicao linear, 6
ortogonalidade, 1
parmetro, 76
parametrizao, 76
definida em semiespao, 114
positiva, 108
parametrizaes compatveis, 108
ponto crtico
no-degenerado, 102
ponto fixo, 7
posto
de uma aplicao diferencivel, 66
teorema do, 67
produto
escalar, 1
interno, 1
cannico, 1
identidade de polarizao, 3
produto interno
em L(Rn , Rm ), 30
produto vetorial, 13
lema
da contrao, 7
regra da cadeia, 31
para aplicaes definidas em semiespaos,
113
regras de derivao, 32
matriz
semiespao, 112
NDICE REMISSIVO
bordo de um, 112
sistema de coordenadas, 76
submerso, 60
superfcie
com bordo, 114
de nvel, 45
orientvel, 108
orientada, 108
produto, 78
superfcie com bordo
orientvel, 117
superfcies
produto cartesiano de, 78
teorema
da aplicao aberta, 54
da aplicao injetora, 52
da aplicao inversa, 55
da aplicao sobrejetora, 54
de mudana de parametrizao, 80
de mudana de variveis, 124
de Pitgoras, 2
de representao de Riesz, 10
de Schwarz, 90
de Taylor com resto de Lagrange, 96
de Taylor com resto infinitesimal, 93
de Taylor com resto integral, 95
do ponto fixo
de Banach-Cacciopoli, 7
de Brouwer, 9
do posto, 67
do valor mdio, 34
dos multiplicadores de Lagrange, 103
forma local das imerses, 65
forma local das submerses, 61
valor regular, 84
verticalmente convexo
conjunto, 67
vetor
unitrio, 2
vetores
ortogonais, 1
perpendiculares, 1
131