Você está na página 1de 70

Exerc cios de C alculo Diferencial e Integral de Fun c oes Denidas em Rn

Diogo Aguiar Gomes, Jo ao Palhoto Matos e Jo ao Paulo Santos 24 de Janeiro de 2000

Conte udo
1 Introdu c ao 1.1 Explica c ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 Futura introdu c ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Complementos de C alculo Diferencial 2.1 Preliminares . . . . . . . . . . . . . . . 2.1.1 Exerc cios suplementares . . . . 2.1.2 Sugest oes para os exerc cios . . 2.2 C alculo diferencial elementar . . . . . 2.2.1 Exerc cios suplementares . . . . 2.2.2 Sugest oes para os exerc cios . . 2.3 Derivadas parciais de ordem superior ` a 2.3.1 Exerc cios suplementares . . . . 2.3.2 Sugest oes para os exerc cios . . 2.4 Polin omio de Taylor . . . . . . . . . . 2.4.1 Exerc cios suplementares . . . . 2.4.2 Sugest oes para os exerc cios . . 3 Extremos 3.1 Extremos . . . . . . . . . . . . . . 3.1.1 Exerc cios suplementares . . 3.1.2 Sugest oes para os exerc cios 3.2 Testes de Segunda Ordem . . . . . 3.2.1 Exerc cios suplementares . . 3.2.2 Sugest oes para os exerc cios 5 5 5 7 7 10 11 12 17 18 19 22 22 23 25 26 27 28 33 34 34 43 43 47 47 50 51 52 53 60 61 62 67 67 69

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . primeira . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . . . . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

. . . . . .

4 Teoremas da Fun c ao Inversa e da Fun c ao Impl cita 4.1 Invertibilidade de fun c oes . . . . . . . . . . . . . . . 4.1.1 Exerc cios Suplementares . . . . . . . . . . . 4.1.2 Sugest oes para os exerc cios . . . . . . . . . . 4.2 Teorema do valor m edio para fun c oes vectoriais . . . 4.3 Teorema da Fun c ao Inversa . . . . . . . . . . . . . . 4.3.1 Exerc cios Suplementares . . . . . . . . . . . 4.3.2 Sugest oes para os exerc cios . . . . . . . . . . 4.4 Teorema da Fun c ao Impl cita . . . . . . . . . . . . . 4.4.1 Exerc cios suplementares . . . . . . . . . . . . 4.4.2 Sugest oes para os exerc cios . . . . . . . . . . Bibliograa

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

. . . . . . . . . .

CONTEUDO

24 de Janeiro de 2000

Cap tulo 1

Introdu c ao
1.1 Explica c ao

Est a a ler uma vers ao parcial e preliminar de um texto em elabora c ao. Os autores agradecem quaisquer notica c oes de erros, sugest oes,. . . , para ecdi@math.ist.utl.pt. Estima-se que o texto nal ter a uma extens ao cerca de tr es a quatro vezes maior e incluir a cap tulos que nesta vers ao foram exclu dos. A sec c ao seguinte desta introdu c ao tem car acter preliminar e tem como pressuposto a exist encia do material que aqui ainda n ao foi inclu do. Partes deste texto foram distribu das separadamente por cada um dos autores no passado. Tendo descoberto que os diversos textos tinham car acter algo complementar decidimos reuni-los. A presente vers ao idealmente n ao mostra de uma maneira obvia as adapta c oes e correc c oes que foram necess arias para chegar ao formato actual. Novas vers oes deste texto ir ao aparecendo sempre que os autores considerarem oportuno em http://www.math.ist.utl.pt/~jmatos/AMIII/temp.pdf. Para evitar a prolifera c ao de textos obsoletos a maioria das p aginas apresenta a data de revis ao corrente em p e de p agina.

1.2

Futura introdu c ao

Este texto nasce da nossa experi encia a leccionar a disciplina de An alise Matem atica III no Instituto Superior T ecnico. Por um lado reune um n umero consider avel de enunciados de problemas de exame e por outro serve de propaganda ` a nossa maneira de ver os assuntos aqui tratados. An alise Matem atica III e uma disciplina do primeiro semestre do segundo ano de todos os curr culos de licenciatura leccionados no Instituto Superior T ecnico (IST) excepto Arquitectura. Se se perguntar a um aluno de um dos dois primeiros anos do IST que tipo de folhas mais deseja que lhe sejam disponibilizadas pelos seus professores temos como resposta mais que prov avel: folhas de exerc cios resolvidos de An alise Matem atica. No entanto tal resposta costuma suscitar como reac c ao da parte dos docentes essencialmente preocupa c ao. De facto a resolu c ao de exerc cios de An alise Matem atica n ao e geralmente u nica e o processo de aprendizagem est a mais ligado ` a tentativa de resolu c ao dos mesmos quando se possui um conjunto de conhecimentos m nimo do que ` a absor c ao ac efala de um n umero nito de receitas. O que se segue e uma tentativa de compromisso entre a procura e a oferta neste mercado sui generis. S ao inclu dos exerc cios de exame dos u ltimos anos com modica c oes do enunciado quando tal foi julgado conveniente e muitos outros com um car acter mais ou menos trivial, ou de complemento de resultados citados, ou de coment ario de uma resolu c ao de um exerc cio, sugest ao de extens oes, etc. Por vezes um exerc cio embora inclu do numa sec c ao inclui uma quest ao que s o e tratada numa sec c ao posterior. Tais exerc cios est ao assinalados com um asterisco *. Foram inclu dos esbo cos de resolu c ao e sugest oes em n umero consider avel. 5

CAP ITULO 1. INTRODUC AO O leitor dever a ter em considera c ao que o programa de An alise Matem atica III tem variado consensual no Departamento de Matem ao longo do tempo. E atica do IST e na escola em geral que a introdu c ao ` a an alise em Rn e o c alculo diferencial em Rn dever ao ser tratados em grande parte no primeiro ano do curso. Da a exist encia de sec c oes correspondentes a revis ao de material coberto no primeiro ano do curso. Outro facto a ter em conta e a diferen ca de programa para os cursos de Matem atica Aplicada e Computa c ao e Engenharia F sica Tecnol ogica. Nestes cursos s ao introduzidos o formalismo das formas diferenciais e a respectiva vers ao do teorema fundamental do c alculo em vez da formula c ao cl assica do teorema de Stokes. Aconselha-se os alunos destes dois cursos a comparar os enunciados de exerc cios deste tema com as formula c oes cl assicas dos mesmos. Tais compara c oes est ao indicadas em nota de p e de p agina. A nota c ao utilizada e cl assica tanto quanto poss vel, embora obviamente n ao universal, e nem sempre ser a isenta de incoer encias. Por exemplo: usaremos a nota c ao de Leibniz para derivadas u 2u parciais mas de acordo com a nota c ao geral para operadores, isto e, xy = x y ; usaremos sempre que tal for considerado sugestivo. Citaremos os resultados essenciais de cada tema mas n ao necessariamente com a sua formula c ao mais geral remetida por vezes para observa c oes marginais ou problemas. O enunciado de tais resultados por vezes e seguido de uma demonstra c ao que mais n ao faz que relembrar sinteticamente a depend encia em rela c ao a outros resultados e os m etodos utilizados. Faz-se notar que n ao seguimos a ordena c ao de material geralmente adoptada durante a exposi c ao dos cursos no IST devido devido a raz oes como a conveni encia em apresentar problemas sobre a introdu c ao do conceito de variedade como complemento do estudo do teorema da fun c ao impl cita. Um u ltimo aviso: este texto n ao pretende substituir os excelentes livros de texto dispon veis sobre os assuntos aqui abordados. Diria mesmo que e provavelmente incompreens vel se um ou mais desses livros n ao for consultado. Os textos adoptados no IST s ao [6, 3, 5]. Lisboa, Outubro de 1999 DG, JPM, JPS ,

24 de Janeiro de 2000

Cap tulo 2

Complementos de C alculo Diferencial


O conceito de fun c ao diferenci avel e uma das no c oes chave da an alise. Por exemplo, se f : R R for diferenci avel em x0 , o c alculo de f (x0 ) permite aproximar f pela f ormula de Taylor perto de x0 , i.e., f (x) = f (x0 ) + f (x0 )(x x0 ) + o(x x0 ),
xx0 ) = 0. Esta f ormula tem a seguinte interpreta c ao geom etrica: f (x0 ) e o onde limxx0 o(x x0 declive da recta tangente a f em x0 e y = f (x0 ) + f (x0 )(x x0 ) e a equa c ao dessa recta. Outras aplica c oes do conceito de derivada familiares a um estudante que conhe ca An alise Matem atica ao n vel de um primeiro ano de licenciatura s ao, por exemplo, a determina c ao de pontos de extremo: se f : R R for diferenci avel, os seus m aximos ou m nimos s ao zeros de f 1 . Outra aplica c ao que deve ser familiar e a mudan ca de coordenadas na integra c ao atrav es de: b f 1 ( b )

g (x)dx =
a f 1 (a)

g (f (y ))f (y )dy.

Esta presen ca ub qua da diferencia c ao no estudo de fun c oes reais de vari avel real faz com que seja natural, quando se estudam fun c oes de v arias vari aveis, generalizar a no c ao de derivada. Para fun c oes de Rn em R, a interpreta c ao geom etrica da derivada ser a o declive do plano tangente ao gr aco da fun c ao, mais precisamente y = f (x0 ) + Df (x0 )(x x0 ) e a equa c ao desse plano tangente2 . Neste cap tulo resumiremos alguns resultados de c alculo diferencial, para fun c oes reais de mais do que uma vari avel real. Em particular trataremos quest oes importantes sobre a continuidade e diferenciabilidade de fun c oes de Rn em Rm . Para al em disso estudaremos a f ormula de Taylor.

2.1

Preliminares

Esta sec c ao relembra alguns dos conceitos e resultados sobre fun c oes de Rn em Rm que se sup oem conhecidos nas sec c oes seguintes. Aconselha-se o leitor a consultar [1] para relembrar, com detalhe, os resultados, supostos j a conhecidos, que a seguir se enumeram de uma forma necessariamente breve. Tanto a deni c ao de continuidade como a de diferenciabilidade dependem do conceito de dist ancia entre dois pontos, denida por sua vez ` a custa da no c ao de norma :
no entanto, que o facto de a derivada se anular num ponto, n ao implica que este seja um m aximo ou m nimo; pode ser ponto de sela! Veja o cap tulo 3. 2 Designa c oes t ecnicas para um tal conjunto s ao de um subespa co am de dimens ao n de Rn+1 ou hiperplano
1 Note,

CAP ITULO 2. COMPLEMENTOS DE CALCULO DIFERENCIAL Deni c ao 2.1.1 Seja : Rn R. Diz-se que e uma norma se vericar as seguintes propriedades: i) (x) > 0 se x = 0 e (0) = 0; ii) (x) = || (x), x Rn , R; iii) (x + y ) (x) + (y ), x, y Rn . Para designarmos uma norma gen erica utilizaremos a nota c ao x = (x). Em Rn e usual considerar a norma euclideana, denida por (x1 , . . . , xn ) =
2 x2 1 + . . . + xn .

Por em, em certas situa c oes, pode ser u til trabalhar com normas diferentes. Exerc cio 2.1.1 Prove que as seguintes fun c oes s ao normas em R2 : 1. (x, y ) = |x| + |y | 2. (x, y ) = m ax {|x|, |y |} 3. (x, y ) = 2 x2 + y 2 y2 + z2 .

4. (x, y, z ) = |x| +

Exerc cio 2.1.2 Mostre que (x, y ) = |x + y | n ao e uma norma mas satisfaz ii e iii em 2.1.1. Deni c ao 2.1.2 Em Rn , a bola (aberta) centrada em x e de raio r, relativa ` a norma conjunto B (x, r) (ou Br (x)) denido por B (x, r) = {y Rn : x y < r}. Se a norma em quest ao for a norma euclideana as bolas ser ao redondas, caso contr ario poder ao ter formatos mais ou menos inesperados, como se pode ver no exerc cio seguinte. Exerc cio 2.1.3 Esboce as bolas B1 (0) em R2 para as seguintes normas: 1. (x, y ) = x2 + y 2 , eo

2. (x, y ) = |x| + |y | 3. (x, y ) = m ax{|x|, |y |} Exerc cio 2.1.4 Mostre que uma bola ser a sempre um conjunto convexo, isto e, dados dois quaisquer dos seus pontos, o segmento de recta que os une est a contido na bola. Daqui para a frente vamos sempre supor que a norma em Rn e a norma euclideana, a n ao ser que seja dito algo em contr ario. Al em disso a nota c ao n ao distinguir a as normas euclidianas em diferentes espa cos Rn para n 2. Deni c ao 2.1.3 Diz-se que um conjunto A Rn e aberto se vericar a seguinte propriedade: x A, r > 0 : B (x, r) A. Exemplo 2.1.1 O conjunto ]0, 1[ R e aberto. Com efeito, para qualquer n umero real 0 < x < 1 temos x > 1/2 ou x 1/2. No primeiro caso B (x, x/2) ]0, 1[, no segundo B (x, (1x)/2) ]0, 1[. Exerc cio 2.1.5 Mostre que as bolas abertas s ao conjuntos abertos.
24 de Janeiro de 2000

2.1. PRELIMINARES Temos reunidos todos os ingredientes ncess arios ` a deni c ao de fun c ao cont nua : Deni c ao 2.1.4 Diz-se que uma fun c ao f : A Rn Rm e cont nua num ponto x A se: > 0 > 0 tal que x y < , y A f (x) f (y ) < .

Diz-se que f e cont nua num subconjunto do seu dom nio se for cont nua em todos os pontos desse conjunto. Exemplo 2.1.2 Suponhamos f (x, y ) = x + y . Provemos que f e cont nua. Seja Reparemos que, para todo o (x1 , y1 ) e (x2 , y2 ), se tem |x1 + y1 x2 y2 | |x1 x2 | + |y1 y2 |, sendo que |x1 x2 | (x1 , y1 ) (x2 , y2 ) e |y1 y2 | (x1 , y1 ) (x2 , y2 ) . Portanto, xando > 0, e escolhendo < 2 teremos: |x1 + y1 x2 y2 | 2 < , se (x1 , y1 ) (x2 , y2 ) < . Logo f e cont nua. Exerc cio 2.1.6 Mostre que a fun c ao denida por f (x, y ) = n ao e cont nua. Muitas vezes, para mostrar continuidade (ou a falta dela), utiliza-se a caracteriza c ao de continuidade atrav es de sucess oes: Teorema 2.1.1 (Continuidade ` a Heine) Seja f : A Rn Rm . f e cont nua em x0 A se e somente se para toda a sucess ao (xk )kN A que converge para x0 (isto e, limk+ xk x0 = 0) a sucess ao (f (xk ))kN converge para f (x0 ). Exemplo 2.1.3 Seja f : Rn Rm , g : Rm Rp , f e g cont nuas. Provemos que g f e cont nua. Seja x0 Rn e (xk ) Rn uma sucess ao convergente para x0 . Denindo yk = f (xk ) obtemos uma sucess ao (yk ) Rm que converge para y0 = f (x0 ), uma vez que f e cont nua. A p sucess ao (zk ) R , denida por zk = g (yk ), converge para z0 = g (y0 ), uma vez que g e cont nua. Resta observar que zk = g f (xk ) z0 = g f (x0 ), pelo que g f e cont nua. Exerc cio 2.1.7 Refa ca o exemplo anterior usando a deni c ao 2.1.4. Exerc cio 2.1.8 Prove o teorema 2.1.1. Exerc cio 2.1.9 Seja f : Rn Rm . Prove que f e cont nua se e somente se para todo o aberto m A R se tem f 1 (A) Rn aberto, onde o conjunto f 1 (A) e denido como sendo: f 1 (A) = {x Rn : f (x) A}. Generalize este resultado para fun c oes denidas num subconjunto arbitr ario de Rn . Deni c ao 2.1.5 Diz-se que um conjunto F Rn e fechado se o seu complementar F c for aberto. Teorema 2.1.2 (Caracteriza c ao dos fechados via sucess oes) F Rn e fechado se e s o se dada uma qualquer sucess ao convergente de termos em F esta converge para um elemento de F . 9
24 de Janeiro de 2000

> 0 arbitr ario.

1, 0,

se x + y > 0, se x + y 0

CAP ITULO 2. COMPLEMENTOS DE CALCULO DIFERENCIAL Exerc cio 2.1.10 D e dois exemplos distintos de subconjuntos de Rn que sejam, cada um deles, simultaneamente aberto e fechado (isto s o se verica para dois conjuntos muito especiais!). Deni c ao 2.1.6 A uni ao de todos os abertos contidos num conjunto A ser a designada por interior ` intersec de A e abrevia-se int A. A c ao de todos os fechados contendo A chamar-se- a fecho de A e abrevia-se A. A fronteira de A, A, e denida por A = A \ int A. Deni c ao 2.1.7 Diz-se que um conjunto K Rn e compacto se dada uma qualquer sucess ao de termos em K esta possui uma subsucess ao convergente para um elemento de K . Teorema 2.1.3 (Caracteriza c ao dos compactos de Rn ) n KR e compacto se e s o se K e limitado e fechado. Exerc cio 2.1.11 O conjunto vazio e compacto? E o conjunto dos n umeros racionais de valor absoluto menor que 1? Exerc cio 2.1.12 D e um exemplo de uma fun c ao f : Rn R tal que 1. {x Rn : f (x) 1} seja um conjunto compacto. 2. {x Rn : f (x) < 1} seja um conjunto compacto n ao vazio. Observa c ao: se f for cont nua ent ao este conjunto e necessariamente aberto (porqu e?) portanto se escolher f cont nua o conjunto ser a necessariamente vazio (porqu e?). 3. Seja K um conjunto compacto. Construa uma fun c ao f tal que K = {x : f (x) = 1}. Escolhendo f n ao cont nua o problema e trivial. No entanto pode tornar o problema bem mais interessante tentando construir f cont nua!

2.1.1

Exerc cios suplementares

Exerc cio 2.1.13 Diz-se que duas normas em Rn , constantes positivas, a e b tais que a x

s ao equivalentes se existirem

b x

para todo o x Rn . Prove que as seguintes normas s ao todas equivalentes entre si: 1. (x1 , . . . , xn ) 2. (x1 , . . . , xn ) 3. (x1 , . . . , xn )
1 2

= |x1 | + . . . + |xn | = |x1 |2 + . . . + |xn |2

= m ax{|x1 |, . . . , |xn |}

Exerc cio 2.1.14 Prove que as seguintes fun c oes s ao cont nuas: 1. f (x) = 1 se < x 1 e f (x) = x se x 1; 2. qualquer polin omio em n vari aveis. Exerc cio 2.1.15 Prove que f (x) = n ao e cont nua. Exerc cio 2.1.16 Diz-se que uma fun c ao f : J Rn R e semicont nua inferior se para toda a sucess ao xk x J se tem lim inf j + f (xk ) f (x) (recorde que o lim inf de uma sucess ao (yk )kN e denido como sendo lim inf k+ yk = limn+ inf k>n {yk }).
24 de Janeiro de 2000

0, 1,

se x < 0, se x 0,

10

2.1. PRELIMINARES 1. Mostre que o lim inf existe sempre (eventualmente pode ser igual a , quando?). 2. Mostre que qualquer fun c ao cont nua e semicont nua inferior. 3. D e um exemplo de uma fun c ao semicont nua inferior que n ao seja cont nua. 4. Mostre que qualquer fun c ao semicont nua inferior f denida num compacto K e limitada inferiormente, isto e C R tal que f (x) C sempre que x K . 5. Mostre que uma fun c ao semicont nua inferior denida num compacto tem sempre m nimo. 6. Utilizando as ideias das al neas anteriores mostre que qualquer fun c ao cont nua denida num compacto tem m aximo e m nimo. Exerc cio 2.1.17 As deni c oes de aberto e fun c ao cont nua dependem aparentemente de usarmos a norma euclidiana. Uma d uvida leg tima e saber se tivessemos usado outra norma chegar amos ` as mesmas conclus oes relativamente a que conjuntos s ao abertos e que fun c oes s ao cont nuas. Mostre que: 1. Todas as normas em Rn s ao cont nuas. 2. Qualquer norma em Rn tem um m nimo positivo na fronteira da bola B (0, 1). 3. Todas as normas em Rn s ao equivalentes. 4. Conclua que as no c oes de aberto e fun c ao cont nua s ao independentes da norma utilizada.

2.1.2
1. x 2. x

Sugest oes para os exerc cios


x x n x ; n x .

2.1.13 Observe que x Rn


1 2

Usando 1 e 2 deduza as restantes desigualdades. 2.1.14 Utilize a deni c ao 2.1.4 e o teorema 2.1.1. 1 2.1.15 Note que f n 0 = f (0). 2.1.16 1. Note que a sucess ao zn = inf k>n {yk } e mon otona crescente. 2. Se f e cont nua e xk x ent ao f (xk ) f (x). 3. Por exemplo f (x) = 0 1 se x 0, se x > 0.

4. Se f n ao fosse limitada inferiormente existiria uma sucess ao xk K tal que f (xk ) . Como K e compacto poder-se-ia extrair uma subsucess ao convergente xkj x K . Consequentemente ter-se-ia = lim f (xkj ) = lim inf f (xkj ) f (x) > o que e absurdo. 5. Seja f : K R, onde K Rn e compacto, semicont nua inferior. Note que, pela al nea anterior, f e minorada. Dena-se m = inf yK f (y ). Ent ao existe uma sucess ao xk K tal que f (xk ) m. Como K e compacto, existe uma subsucess ao xkj que converge para algum x K . Por semicontinuidade inferior tem-se m = lim f (xkj ) = lim inf f (xkj ) f (x)
j + j +

mas por outro lado f (x) inf yK f (y ) = m portanto f (x) = m. 11


24 de Janeiro de 2000

CAP ITULO 2. COMPLEMENTOS DE CALCULO DIFERENCIAL


y y = f(x)

y = b + f'(a)(x-a) x

Figura 2.1: A interpreta c ao geom etrica de derivada para fun c oes reais de vari avel real. 6. Se f e cont nua ent ao f e f s ao semicont nuas inferiores.

2.2

C alculo diferencial elementar

Vamos come car por denir fun c ao diferenci avel . Deni c ao 2.2.1 Seja U Rn um aberto. Diz-se que uma fun c ao f : U Rm e diferenci avel no n m ponto x0 U se existir uma aplica c ao linear A de R em R , para a qual se tem
h0,hRn

lim

f (x0 + h) f (x0 ) Ah = 0. h

Ser a` a aplica c ao linear A na deni c ao anterior que chamaremos derivada3 de f no ponto x0 . No entanto poderia existir mais do que uma aplica c ao linear nestas condi c oes. . . Problema 2.2.1 Mostre que a aplica c ao linear A da deni c ao 2.2.1 se existir eu nica. Deni c ao 2.2.2 A aplica c ao linear A da deni c ao 2.2.1 designa-se por derivada de f em x0 escrevendo-se Df (x0 ). Esta deni c ao de derivada coincide com a deni c ao usual de derivada para fun c oes reais de vari avel real. Para este caso, a aplica c ao linear A referida na deni c ao anterior e simplesmente multiplica c ao por um escalar. Exerc cio 2.2.1 Suponha f : U Rn Rm e diferenci avel num ponto x0 int U . Prove que f (x0 + h) = f (h0 ) + Df (x0 )(h) + o(h),
h) = 0. onde limh0,hRm o(h

Deni c ao 2.2.3 Diz-se que uma fun c ao f : U Rn Rm . Se U for aberto dizemos que f e diferenci avel em U se o for em todos os pontos do dom nio U . Se U n ao for aberto dizemos que f e diferenci avel em U se existir um prolongamento f de f a um aberto V contendo U tal que f seja diferenci avel em V .
3 Tal aplica c ao ser a muitas vezes identicada com a matriz real m n que a representa ou com um vector se n ou m for igual a 1. Se n = 1 e comum usar f (x0 ) em vez de Df (x0 ).

24 de Janeiro de 2000

12

2.2. CALCULO DIFERENCIAL ELEMENTAR Exemplo 2.2.1 Seja f denida em R por f (x) = x3 . Mostremos que ela e diferenci avel em qualquer ponto de x R e que a sua derivada e 3x2 . Com efeito temos |(x + h)3 x3 3x2 h| |3xh2 + h3 | = lim = 0. h0 h0 |h| |h| lim A verica c ao da diferenciabilidade usando directamente a deni c ao pode ser, mesmo em casos simples, penosa. Isso n ao acontece, no entanto, no caso ilustrado no pr oximo exerc cio. Exerc cio 2.2.2 Mostre que uma transforma c ao linear f : Rm Rn , dada por f (x) = M x, onde M e uma matriz n m, e diferenci avel e que Df = M . As fun c oes diferenci aveis formam um subconjunto estrito das fun c oes cont nuas. Com efeito: Exerc cio 2.2.3 Mostre que qualquer fun c ao diferenci avel e cont nua. Consideremos uma fun c ao f : U Rn Rm e xemos um vector v Rn . Dado um ponto x0 U , podemos restringir a fun c ao f ` a recta que passa por x0 e com sentido denido por v . A derivada ao longo desta recta chama-se derivada dirigida : Deni c ao 2.2.4 Dene-se a derivada dirigida da fun c ao f : U Rn Rm no ponto x0 U , n segundo o vector v R como sendo Dv f (x0 ) = lim se o limite existir. Este uma rela c ao simples entre derivadas dirigidas relativamente a vectores com a mesma direc c ao (qual?). Da normalizarmos as derivadas dirigidas considerando muitas vezes v como sendo unit ario. Nesse caso designamos a derivada dirigida como derivada direccional . A deni c ao de derivada dirigida e mais fraca do que a deni c ao de fun c ao diferenci avel. Com efeito h a fun c oes que n ao s ao diferenci aveis num determinado ponto mas que admitem derivadas dirigidas. Pode mesmo acontecer que uma fun c ao admita algumas (ou todas!) as derivadas dirigidas num determinado ponto mas que n ao seja sequer cont nua nesse ponto. Exemplo 2.2.2 Consideremos a fun c ao denida por f (x, y ) = 1, 0, se x / Q, se x Q. f (x0 + v ) f (x0 ) .

Claramente esta fun c ao n ao e cont nua. No entanto, ela admite derivada dirigida na direc c ao (0, 1). Fixemos um ponto (x0 , y0 ). Se x0 for racional teremos f (x0 , y0 + h) = 0, para qualquer h R. Deste modo D(0,1) f (x0 , y0 ) = 0. Analogamente se x0 for irracional teremos f (x0 , y0 + h) = 1, para todo o h R. Pelo que tamb em se ter a D(0,1) f (x0 , y0 ) = 0. As derivadas direccionais de fun c oes f : U Rn R na direc c ao dos eixos coordenados e no sentido crescente da coordenada s ao frequentemente utilizadas e por isso t em um nome especial: derivadas parciais . 13
24 de Janeiro de 2000

CAP ITULO 2. COMPLEMENTOS DE CALCULO DIFERENCIAL Deni c ao 2.2.5 Seja f : U Rn R. A derivada parcial de f em rela c ao a xi e denida, caso o limite exista, por f (x + ei ) f (x) f (x) = Dei f (x) = lim , h0 xi com x = (x1 , . . . , xn ) e sendo ei o versor da direc c ao i. Por vezes usaremos a nota c ao Di f em f . vez de x i Analisando a deni c ao facilmente se conclui que, em termos pr aticos, a derivada parcial de f em ordem a xi e calculada coordenada a coordenada se m > 1, o que permite lidar s o com fun c oes escalares, e, para cada uma destas, xando todas as vari aveis excepto xi e derivando cada fj em ordem a xi como se esta fosse uma fun c ao real de vari avel real. Exemplo 2.2.3 Seja g (x, y ) = (x2 y 2 , x). As derivadas parciais de g em ordem a x e y s ao g = (2xy 2 , 1) x g = (2x2 y, 0). y

Exerc cio 2.2.4 Calcule a derivada parcial em ordem a y das seguintes fun c oes 1. f (x, y, z ) = xyz ; 2. f (x, y ) = x2 + sen(xy ); 3. f (x, y, z, w) = 0. Se uma fun c ao e diferenci avel as derivadas parciais permitem construir facilmente a matriz representando a derivada. Proposi c ao 2.2.1 Se uma fun c ao f : U Rn Rm e diferenci avel em a ent ao a derivada Df (a) satisfaz Df (a)(h) = Jf (a)h em que e a matriz jacobiana de f no ponto a denida por f1 Jf (a) =
x1 (a)

...

. . . fn x1 (a) . . .

f1 xm (a) . . .
fn xm (a)

A diferenciabilidade de uma fun c ao pode ser estabelecida facilmente ` a custa da continuidade das derivadas parciais: Deni c ao 2.2.6 Diz-se que uma fun c ao f : U Rn Rm com U aberto e de classe C 1 (U ) se existirem as derivadas parciais fj , xi 1 j m, 1 i n

e forem cont nuas. Se U n ao f or aberto dizemos que f C 1 (U ) se existir um aberto V U e uma m fun c ao g : V R tal que g|U = f e g C 1 (V ). Exemplo 2.2.4 A fun c ao f (x, y ) = x2 y 2 e de classe C 1 pois as suas derivadas parciais s ao cont nuas (veja exemplo 2.2.3). Exemplo 2.2.5 Calculemos a derivada da fun c ao f (x, y, z, w) = (f1 , f2 , f3 ) = (x + y, x + y + z 2 , w + z ).
24 de Janeiro de 2000

14

2.2. CALCULO DIFERENCIAL ELEMENTAR Aplicando os resultados e observa c oes anteriores temos f f1 f1 f1 1 1 x y z w 2 f2 f2 f2 1 Jf = f = x y z w f3 f3 f3 f3 0
x y z w

1 1 0

0 2z 1

0 0 1

pelo que a fun c ao e C 1 , logo diferenci avel e a derivada e representada pela matriz Jf . Proposi c ao 2.2.2 (C 1 implica diferenciabilidade) Uma fun c ao f : U Rn Rm de classe C 1 (U ) com U aberto e diferenci avel em U . Ideia da demonstra c ao. Claro que basta supor m = 1. Al em disso consideramos n = 2 pois tal permite usar nota c ao mais simples e quando terminarmos ser a obvio como generalizar para n > 2. Seja (x, y ) U . Basta provar que lim
f f (x + h, y + k ) f (x, y ) h f x (x, y ) k y (x, y )

(h,k)(0,0)

(h2 + k 2 )

1/2

= 0.

Para tal decompomos a diferen ca f (x + h, y + k ) f (x, y ) como uma soma de parcelas de diferen cas de valores de f em que em cada parcela os argumentos de f s o diferem numa coordenada. Uma escolha poss vel e f (x + h, y + k ) f (x, y ) = [f (x + h, y + k ) f (x, y + k )] + [f (x, y + k ) f (x, y )]. Podemos assim lidar separadamente com cada coordenada reduzindo o nosso objectivo a provar lim f (x + h, y + k ) f (x, y + k ) h f x (x, y ) (h2 + k 2 ) (h2 + k 2 )
1/2 1 /2

(h,k)(0,0)

= 0,

(2.1) (2.2)

(h,k)(0,0)

lim

f (x, y + k ) f (x, y ) k f y (x, y )

= 0.

Para lidar com (2.1) use o teorema de Lagrange, aplicado a g (t) = f (x + t, y + k ) f (x, y + k ), para obter que existe , 0 < < 1, tal que f (x + h, y + k ) f (x, y + k ) = h f x (x + h, y + k ) e use a continuidade da derivada parcial. Para lidar com (2.2) pode usar um racioc nio an alogo ou simplesmente a deni c ao de derivada parcial. Problema 2.2.2 Verique que a demonstra c ao da proposi c ao 2.2.2 permite enunciar o resultado sob hip oteses mais gerais. D e um exemplo de uma fun c ao que satisfa ca tais hip oteses e n ao seja C 1 . Altere a demonstra c ao para obter o caso n > 2. Exerc cio 2.2.5 Mostre que s ao diferenci aveis e calcule a derivada das seguintes fun c oes: 1. f (x, y, z ) = (x2 y 2 , xy ) 2. f (x, y ) = (x y, x + y, 2x + 3y ) 3. f (x, y ) = (sen(x + y ), cos(x y )) 4. f (x, y ) = (ex+y+z , log(1 + ey ), z 2 + x) No caso de fun c oes escalares (m = 1) a derivada e representada por uma matriz linha que se identica a um vector de Rn que merece um nome especial pela sua import ancia no c alculo diferencial e nas aplica c oes. 15
24 de Janeiro de 2000

CAP ITULO 2. COMPLEMENTOS DE CALCULO DIFERENCIAL Deni c ao 2.2.7 Suponha que uma fun c ao f : U Rn R possui todas as derivadas parciais num ponto a U . Dene-se o gradiente de f em a, f (a), via f (a) = f f (a), . . . , (a) . x1 xn

Exerc cio 2.2.6 Verique que se f : U Rn R e diferenci avel em a U ent ao: 1. Df (a)(h) = Dh f (a) = f (a) h; 2. sup
h =1

Dh f (a) = f (a) .

Exerc cio 2.2.7 Mostre que a derivada da composi c ao f g das transforma c oes lineares f (y ) = Ay , g (x) = Bx, onde f : Rn Rm , g : Rp Rn e A, B s ao matrizes reais m n e n p, respectivamente, e a matriz AB . O pr oximo teorema fornece um m etodo de c alculo da derivada de fun co es obtidas por composi c ao. Note que para aplica c oes lineares a demonstra c ao e trivial (exerc cio 2.2.7) e sugere o resultado geral: a derivada da composta e a composta das derivadas. Mais precisamente: Teorema 2.2.3 (Deriva c ao da Fun c ao Composta ou Regra da Cadeia) Sejam f : V Rn Rm e g : U Rp Rn , fun c oes diferenci aveis, a U, f (a) V com U e V abertos. Ent ao f g : U f 1 (V ) Rm e diferenci avel em a e verica-se: D(f g )(a) = Df (g (a)) Dg (a). Se f e g forem de classe C 1 ent ao h e de classe C 1 . De um ponto de vista de c alculo as derivadas parciais da composta s ao calcul aveis em termos das derivadas parciais das fun c oes que denem a composi c ao usando o resultado anterior e o facto de ` a composi c ao de aplica c oes lineares corresponder o produto de matrizes que as representam. Assim e importante compreender exemplos cujo prot otipo mais simples e do tipo seguinte: Exemplo 2.2.6 Seja f : R2 R e g = (g1 , g2 ) : R R2 . Se f e g forem diferenci aveis ent ao f dg1 f dg2 d(f g ) (t) = (g1 (t), g2 (t)) (t) + (g1 (t), g2 (t)) (t). dt x1 dt x1 dt Um outro exemplo do mesmo g enero e: Exemplo 2.2.7 Seja f (x, y ) = (x + y, x y ) e g (t1 , t2 , t3 ) = (t1 + 2t2 , t2 + 2t3 ). f e g s ao diferenci aveis. A derivada de f g e D(f g )(t1 , t2 , t3 ) =Df (g (t1 , t2 , t3 ))Dg (t1 , t2 , t3 ) = = 1 1 1 1 1 0 2 1 0 1 3 2 = . 2 1 1 2

Quando n ao h a risco de confus ao sobre os pontos em que se calculam as diversas derivadas parciais e comum abreviar uma f ormula como a do exemplo 2.2.6 como segue: d f dg1 f dg2 (f g ) = + dt x1 dt x2 dt ou d f dx1 f dx2 (f g ) = + . dt x1 dt x2 dt

H a risco de confus ao em situa c oes como a seguinte:


24 de Janeiro de 2000

16

2.2. CALCULO DIFERENCIAL ELEMENTAR Exerc cio 2.2.8 Suponha que f : R2 R e diferenci avel, f (0, 1) = 0 e f (1, 0) = 0. Seja g (x, y ) = f (f (x, y ), f (y, x)). Calcule g (0, 1) x em termos de derivadas parciais de f em pontos convenientes. Convir-lhe- a usar a nota c ao Di f para evitar ambiguidades. Exerc cio 2.2.9 Calcule a derivada da composi c ao h = f g nos seguintes casos: 1. f (x, y, z ) = x2 + y 2 + z 2 e g (t) = (t, 2t, 3t) 2. f (x, y ) = (xy 5 + y ch y 2 , x tg(sh x2 ) + 3y, x y ) e g (t) = (3, 4). Exerc cio 2.2.10 Seja f : U Rn R e g : [a, b] U diferenci aveis tais que f e constante no contradom nio de g . Mostre que f (g (t)) g (t) = 0 para todo o t [a, b]. Interprete este resultado como signicando que, para fun c oes diferenci aveis, o gradiente e ortogonal aos conjuntos de n vel da fun c ao. O teorema de deriva c ao da fun c ao composta permite generalizar alguns resultados com facilidade ` a custa de resultados j a conhecidos para fun c oes reais de vari avel real. Por exemplo o teorema de Lagrange para fun c oes escalares em que se relaciona a diferen ca entre os valores de uma fun c ao em dois pontos e a derivada no segmento de recta4 que os une. Teorema 2.2.4 (do valor m edio ou de Lagrange) Sejam U Rn um aberto e f : U R uma fun c ao diferenci avel. Se x, y U e L(x, y ) U ent ao existe ]0, 1[ tal que f (y ) f (x) = f (x + (y x)) (y x). Exerc cio 2.2.11 Prove o teorema do valor m edio. Sugest ao: considere a fun c ao de vari avel real g (t) = f (x + t(y x)) e aplique o teorema do valor m edio para fun c oes a uma vari avel.

2.2.1

Exerc cios suplementares


xy 2 x2 +y 4 ,

Exerc cio 2.2.12 Seja f : R2 R denida por f (x, y ) = se (x, y ) = (0, 0) se (x, y ) = (0, 0).

0,

a) Determine justicadamente o maior subconjunto do dom nio de f em que esta fun c ao e cont nua. b) Uma fun c ao H : R2 R2 verica H (0, 1) = (1, 1) e diferenci avel em (0, 1) sendo a matriz jacobiana de H nesse ponto dada por JH (0, 1) = Calcule a derivada dirigida D(1,1) (f H )(0, 1). *Exerc cio 2.2.13 Se f : R2 R est a denida por f (x, y ) =
x3 y 3 x2 +y 2 ,

1 1 . 1 2

0,

se (x, y ) = (0, 0) se (x, y ) = (0, 0).

4 Dados x, y Rn dene-se o segmento de recta unindo x a y como sendo o conjunto L(x, y ) = {z = x + t(y x) : t [0, 1]}.

17

24 de Janeiro de 2000

CAP ITULO 2. COMPLEMENTOS DE CALCULO DIFERENCIAL a) Calcule o valor m aximo de Dh f (1, 2) quando h e um vector unit ario. b) Calcule a equa c ao do plano tangente ao gr aco de f no ponto (x, y, z ) = (1, 2, 7/5). *c) Decida justicadamente se o gr aco de f constitui ou n ao uma variedade diferenci avel. Se optar pela negativa determine o maior subconjunto do gr aco de f que efectivamente constitui uma variedade diferenci avel. Em qualquer caso determine justicadamente a dimens ao da variedade e o espa co normal no ponto (1, 2, 7/5). Exerc cio 2.2.14 Calcule as derivadas parciais de primeira ordem de 1. f (x, y, z ) = x2 + y 2 + z 2 2. f (x, y ) = sen(sen(sen(sen(x + y )))) 3. f (x, y ) =
x+y 0

es ds
f x (0, 0).

Exerc cio 2.2.15 Seja f (x, y ) = y sen(x2 + arctg(y cos(x))) + 2. Calcule

Exerc cio 2.2.16 Moste que as seguintes fun c oes s ao diferenci aveis e calcule as suas derivadas: 1. f (x, y ) = (x2 + y, x y ) 2. f (x, y ) = (x
y 0

ecos(s) ds, y

x cos(s) e ds) 0

Exerc cio 2.2.17 Calcule a derivada de f g nos seguintes casos: 1. f (x, y, z ) = x2 + y 2 + z 2 e g (t) = (sen(t), cos(t), 0); 2. f (x, y ) = (x + y, x y ) e g (u, v ) = (v, u); 3. f (x, y, z, w) = cos(e(x
2

+y 2 )

z w) e g (p, q ) = (0, 1, 2, 3).

2.2.2
2.2.14 a)

Sugest oes para os exerc cios

f = 2x, f e ortogonal ` a fronteira y = 2y e z = 2z . Observe que o vector (2x, 2y, 2z ) 2 2 2 das bolas centradas em 0, isto e ` as esferas de equa c ao da forma x + y + z = c. Isto n ao e uma coincid encia mas sim uma consequ encia do que foi aorado no exerc cio 2.2.10 e que retomaremos! f x f x

f x

b) c)

= =

f y f y

= cos(sen(sen(sen(x + y )))) cos(sen(sen(x + y ))) cos(sen(x + y )) cos(x + y ); = e(x+y) (observe que n ao e necess ario calcular o integral).
2

2.2.15 Observe que f (x, 0) = 2. 2.2.16 Ambas as fun c oes s ao de classe C 1 , pois as derivadas parciais s ao cont nuas. Portanto: 1. Df = 2. Df = 2x 1 . 1 1
y 0

ecos(s) ds yecos(x)

xecos(y)
x cos(s) e ds 0

2.2.17
24 de Janeiro de 2000

18

` PRIMEIRA 2.3. DERIVADAS PARCIAIS DE ORDEM SUPERIOR A 1. Observe que (f g )(t) = 1 para qualquer t. 2. Pela regra da cadeia temos: D(f g ) = Df Dg = 3. Note que Dg = 0 pelo que D(f g ) = 0. 1 1 1 1 0 1 1 1 1 = . 0 1 1

2.3

Derivadas parciais de ordem superior ` a primeira

Vamos considerar com derivadas parciais de ordem superior ` a primeira que, no essencial, se denem recursivamente. Deni c ao 2.3.1 Seja f : Rn R. As derivadas parciais de segunda ordem, com respeito a xi e xj , 1 i, j n, s ao denidas por f 2f = , xi xj xi xj caso a express ao da direita esteja denida. Se i = j escreve-se an alogo para derivadas parciais de ordem superior ` a segunda. Exemplo 2.3.1 Uma nota c ao como 4u xy 2 z indica que a fun c ao u foi derivada sucessivamente em ordem ` a vari avel z , duas vezes em ordem a y e nalmente em ordem a x. Exemplo 2.3.2 Seja f (x, y ) = x2 + 2y 2 + xy . Temos 2f = xy x f y = (4y + x) = 1. x
2f xi xi

2f . x2 i

Procede-se de modo

Exemplo 2.3.3 Seja f (x, y, z ) = sen(x + y + z ) 5f 4 3 = (cos( x + y + z )) = (sen(x + y + z )) = x2 yzy x2 yz x2 y 2 = 2 (cos(x + y + z )) = (sen(x + y + z )) = cos(x + y + z ). x x Exerc cio 2.3.1 Seja f (x, y ) = x2 + 2y 2 + xy . Calcule do exemplo 2.3.2.
2f yx ;

observe que o resultado e o mesmo

O resultado deste u ltimo exerc cio ser o mesmo do exemplo 2.3.2 n ao e uma coincid encia mas sim a consequ encia de um facto mais geral o Teorema de Schwarz. Antes de o enunciarmos precisamos de uma deni c ao: Deni c ao 2.3.2 Considere uma fun c ao f : U Rn R. Se U for aberto diz-se que f e de classe C k em U , k N, ou abreviadamente f C k (U ), se todas as derivadas parciais de ordem k de f existirem e forem cont nuas em U . 19
24 de Janeiro de 2000

CAP ITULO 2. COMPLEMENTOS DE CALCULO DIFERENCIAL y

+k

+h

Figura 2.2: Conven c oes na demonstra c ao da Proposi c ao 2.2.2 e do Teorema 2.3.1. Se U n ao for aberto escrevemos f C k (U ), k N, se existir V aberto com V U e uma fun c ao g C k (V ) tal que a restri c ao de g a U seja igual a f . f diz-se de classe C 0 (U ) se for cont nua em U . Adicionalmente, para U aberto, denimos C (U ) = kN C k (U ) e para um conjunto n ao necessariamente aberto procedemos como anteriormente. Na maior parte das aplica c oes do c alculo diferencial a hip otese de uma fun c ao ser de classe C k para um certo k e natural. Certos resultados a citar a seguir ser ao v alidos sob hip oteses mais gerais mas abstermo-nos-emos de dar import ancia especial a tais hip oteses. Por vezes ser ao remetidas para problemas. Exerc cio 2.3.2 Seja p(x1 , . . . xn ) um polin omio em n vari aveis. Mostre que sen(p(x1 , . . . xn )) e uma fun c ao C (Rn ). Problema 2.3.1 Verique que se j < k ent ao C k C j . O pr oximo teorema e um resultado muito importante que permite reduzir o n umero de c alculos necess arios para determinar as derivadas parciais de ordem superior a primeira. Ele diz-nos que, sob certas condi c oes, a ordem pela qual se deriva uma fun c ao e irrelevante. Teorema 2.3.1 (Schwarz) Seja f : U Rn R, a um ponto interior a U , f C 2 (U ). Ent ao quaisquer ndices 1 i, j n.
2f xi xj (a) 2f xj xi (a)

para

Ideia da demonstra c ao. Basta considerar n = 2 e convencionamos a = (x, y ). Notamos que 2f [f (x + h, y + k ) f (x + h, y )] [f (x, y + k ) f (x, y )] (x, y ) = lim lim h0 k0 xy hk 2f [f (x + h, y + k ) f (x, y + k )] [f (x + h, y ) f (x, y )] (x, y ) = lim lim k0 h0 yx hk (2.3) (2.4)

Designemos o numerador das frac c oes dos segundos membros de (2.3-2.4) por D(h, k ). Aplicando o teorema de Lagrange ` a fun c ao g (t) = f (x + t, y + k ) f (x + t, y ) no intervalo [0, h] obtemos que
24 de Janeiro de 2000

20

` PRIMEIRA 2.3. DERIVADAS PARCIAIS DE ORDEM SUPERIOR A existe 1 , 0 < 1 < 1, tal que D(h, k ) = h f f (x + 1 h, y + k ) (x + 1 h, y ) . x x

Uma segunda aplica c ao do teorema de Lagrange permite obter que existe 2 , 0 < 2 < 1, tal que D(h, k ) = hk 2f (x + 1 h, y + 2 k ). yx

Substitui c ao em (2.3) e justica c ao de que ambos os limites iterados igualam lim(h,k)(0,0) D(h, k ) permitem obter a igualdade pretendida. Problema 2.3.2 O u ltimo passo da demonstra c ao da Proposi c ao 2.3.1 merece alguns coment arios. Por um lado 1 e 2 s ao fun c oes de h e k . Por outro a rela c ao entre um limite e um limite iterado e, em geral, mais complexa do que o leitor pode imaginar. Seja f : U R2 R e (x0 , y0 ) um ponto interior de U . Mostre que: a) Pode existir lim(x,y)(x0 ,y0 ) f (x, y ) sem que exista limxx0 limyy0 f (x, y ). b) Se lim(x,y)(x0 ,y0 ) f (x, y ) e limxx0 limyy0 f (x, y ) existirem ent ao s ao iguais. Problema 2.3.3 E obvio da demonstra c ao da Proposi c ao 2.3.1 que a hip otese f C 2 pode ser aligeirada. Isto pode ser feito de v arias formas. Formule e demonstre pelo menos dois resultados deste tipo com hip oteses m nimas n ao equivalentes. Exemplo 2.3.4 Seja f = 2xy . f e de classe C 2 uma vez que e um polin omio, portanto temos a seguinte igualdade 2f 2f = =2 xy yx Exemplo 2.3.5 Se f e de classe C 3 t em-se as seguintes igualdades: 3f 3f 3f = = x2 y xyx yx2 e 3f 3f 3f = = . 2 y x yxy xy 2

Exerc cio 2.3.3 Calcule as derivadas de todas as ordens de f (x, y, z ) = 2x3 z + xyz + x + z (observe que s o h a um n umero nito de derivadas n ao nulas. Porqu e?). O conceito de derivada dirigida de ordem superior ` a primeira permite formalizar o enunciado da f ormula de Taylor de uma forma an aloga ao resultado j a conhecido para fun c oes reais de vari avel real. Deni c ao 2.3.3 Seja f : U Rn R. As derivadas dirigidas de ordem superior ` a primeira de (1) f num ponto x U segundo h denem-se recursivamente, se existirem, por Dh f (x) = Dh f (x) e (j ) (j 1) Dh f (x) = Dh (Dh f (x)), se j > 1. Relembra-se que para fun c oes diferenci aveis, e em particular de classe C 1 , temos Dh f (x) = h f (x). 21
24 de Janeiro de 2000

CAP ITULO 2. COMPLEMENTOS DE CALCULO DIFERENCIAL Problema 2.3.4 Verique que para fun c oes de classe C j num aberto o c alculo da derivada diri(j ) j a fun c ao f o operador diferencial (h ) e consequentemente gida Dh f corresponde a aplicar ` (j ) Dh f e um polin omio homog eneo5 de grau j nas componentes do vector h. Se h = (h1 , h2 ) verique que para n = 2 e j = 2 temos Dh f = h2 1 Em geral obtenha
n n (2)

2f 2f 2f + 2h1 h2 + h2 . 2 2 x1 x1 x2 x2 2 j f . xi1 . . . xij

Dh f =
i1 =1

(j )

ij =1

hi1 . . . h ij

Note que existem termos repetidos na f ormula anterior. Calcular o n umero de repeti c oes e um problema de c alculo combinat orio cuja solu c ao no caso n = 2 e bem conhecida.

2.3.1

Exerc cios suplementares

Exerc cio 2.3.4 Seja f : R2 R denida por: f (x, y ) = Mostre que: 2f (0, 0) = 0 xy 2f (0, 0) = 1. yx xy, 0, se |y | > |x|, caso contr ario.

Explique porque e que isto n ao contradiz o teorema 2.3.1. Exerc cio 2.3.5 Seja f : R2 R uma fun c ao limitada (n ao necessariamente cont nua). Mostre que g (x, y ) = x + y + (x2 + y 2 )f (x, y ) e diferenci avel na origem. Calcule a sua derivada. D e um exemplo de uma fun c ao f tal que g n ao seja cont nua no complementar da origem. Exerc cio 2.3.6 Suponha f : Rn Rn , f bijectiva, diferenci avel e f 1 tamb em diferenci avel. 1 1 Mostre que Df (f (x)) = [Df (x)] . Use esta observa c ao para, por exemplo, rededuzir a f ormula da derivada de arcsen.

2.3.2

Sugest oes para os exerc cios

2.3.4 O teorema 2.3.1 s o se aplicaria se a fun c ao f fosse de classe C 2 . 2.3.5 Use a deni c ao de derivada para mostrar que g e diferenci avel com derivada representada por g (0, 0) = (1, 1). Para a segunda parte um exemplo poss vel e f (x, y ) = 1, se x Q, 0, caso contr ario.

2.3.6 Observe que f (f 1 (x)) = x. Diferencie esta express ao.


5 Um

d dy (arcsen y )

1 . 1y 2

polin omio P de grau k diz-se homog eneo se P (x) = k P (x) para todo o R.

24 de Janeiro de 2000

22

2.4. POLINOMIO DE TAYLOR

2.4

Polin omio de Taylor

Tal como no caso de fun c oes reais de vari avel real podemos construir aproxima c oes polinomiais de fun c oes de classe C k . Teorema 2.4.1 (Taylor) Seja f : U Rn R uma fun c ao de classe C k (U ) com U um aberto e x0 U . Para cada j k existe um polin omio em n vari aveis de grau j , u nico, Pj : Rn R tal que lim f (x) Pj (x) |x x0 |
j

xx0

= 0.

(2.5)

O polin omio Pj e designado por polin omio de Taylor de ordem j de f relativo ao ponto x0 e e dado por
j

Pj (x) = f (x0 ) +
l=1

1 (l ) D f (x0 ). l! xx0

(2.6)

O erro Ej (x) da f ormula de Taylor e dado por Ej (x) = f (x) Pj (x). Ideia da demonstra c ao. Decorre do resultado j a conhecido para n = 1 e do teorema de deriva c ao da fun c ao composta por considera c ao da fun c ao auxiliar g : [0, 1] R denida por g (t) = f (t(x x0 ) + x0 ) em que x Br (x0 ) U . Problema 2.4.1 Use o problema 2.3.4 para obter a f ormula de Taylor na forma:
k

f (x) =
p=0 i1 +...+in

1 pf (x0 ) (x1 x01 )i1 . . . (xn x0n )in + Ek (x x0 ). i1 in p ! y . . . y n 1 =p

(2.7)

O leitor e aconselhado a pensar no polin omio de Taylor via a propriedade (2.5) e n ao simplesmente como um polin omio calcul avel via (2.6) ou (2.7). Problema 2.4.2 Formule o Teorema de Taylor explicitando o resto da f ormula de Taylor numa forma an aloga a uma das conhecidas para fun c oes reais de vari avel real. Poder a pensar-se que o c alculo do polin omio de Taylor para fun c oes de v arias vari aveis e para uma ordem relativamente elevada e um pesadelo computacional. Nem sempre ser a assim se tirarmos partido, quando poss vel, de resultados j a conhecidos para fun c oes de uma vari avel. Frequentemente em vez de escrevermos o termo de erro Ek (x y ), escrevemos o( x y k ), com o mesmo signicado. Exemplo 2.4.1 Se f (x, y ) = xy + sen x, a f ormula de Taylor de segunda ordem em torno de (, 0) e: f (x, y ) =f (, 0) + + ou seja f (x, y ) = x + xy + o( (x , y ) 2 ). 23
24 de Janeiro de 2000

f x

(x ) +
(,0)

f y

y++
(,0)

1 2f 2 x2

(x )2
(,0)

2f xy

(x )y +
(,0)

1 2f 2 y 2

y 2 + o( (x , y ) 2 ),
(,0)

CAP ITULO 2. COMPLEMENTOS DE CALCULO DIFERENCIAL Exemplo 2.4.2 Se f (x, y ) = x2 + 2xy + y 2 ent ao a sua expans ao em f ormula de Taylor at e ` a segunda ordem, em torno de qualquer ponto, e x2 +2xy + y 2 . Com efeito, f (x, y ) x2 +2xy + y 2 = 0 pelo que (2.8) vale. Repare que isto evitou termos de calcular 5 derivadas! Exerc cio 2.4.1 Calcule a f ormula de Taylor at e` a terceira ordem das seguintes fun c oes: 1. f (x, y, z ) = x + y 2 + z ; 2. f (x, y, z ) = 1 + x + y + z + xy + xz + yz + xyz ; 3. f (x, y ) = ex + xyz . Exerc cio 2.4.2 Mostre que a f ormula de Taylor de ordem k para um polin omio de grau k coincide com o polin omio. Exerc cio 2.4.3 Demonstre a parte correspondente a unicidade do teorema de Taylor. [Suponha que existe um polin omio p(x) para o qual (2.8) vale. Mostre que se existisse outro polin omio q (x) = p(x), de grau menor ou igual ao grau de p obter amos uma contradi c ao.] Em certos casos podemos utilizar o conhecimento da expans ao em pot encias de uma fun c ao real de vari avel real para calcularmos a expans ao em pot encias de express oes mais complicadas: Exemplo 2.4.3 Queremos calcular a expans ao de Taylor da fun c ao sen(x2 + y 4 ) at e` a ordem 6 em torno da origem. Sabemos que sen t = t Deste modo temos sen(x2 + y 4 ) = x2 + y 4 pelo que x6 + o( (x, y ) 6 ), 6 em que na u ltima igualdade tivemos em aten ca o que (x2 + y 4 )3 = x6 + 3x4 y 4 + 3x2 y 8 + y 12 = 6 6 2 4 2 2 x + o( (x, y ) ) e x + y x + y para (x, y ) sucientemente pequeno. sen(x2 + y 4 ) = x2 + y 4 Exemplo 2.4.4 Seja g (x, y ) = sen(x2 y 2 ). e suponhamos que pretendemos obter o polin omio de Taylor de s etima ordem de g relativo a (0, 0). Sabemos que o seno e uma fun c ao inteira cuja s erie de Taylor relativa a 0 (s erie de Mac Laurin) e 2k1 3 5 k+1 sen = + + (1) + ... 3! 5! (2k 1)! Tal permite-nos ter um palpite ` acerca do polin omio de Taylor pretendido simplesmente por substitui c ao formal de por x2 y 2 na igualdade anterior e s o considerando os termos de grau menor ou igual a sete. Obtem-se um polin omio Q(x, y ) = (x2 y 2 ) (x2 y 2 ) 3!
3

t3 + o(|t|3 ). 6 (x2 + y 4 )3 + o((x2 + y 4 )3 ) 6

Resta provar que efectivamente se trata do polin omio de Taylor pretendido. Para tal usa-se a caracteriza c ao (2.5) do polin omio de Taylor. De facto sen + 0 4 lim
24 de Janeiro de 2000
3 3!

=0

24

2.4. POLINOMIO DE TAYLOR donde resulta


(x,y )(0,0)

lim

g (x, y ) Q(x, y ) (x2 y 2 )


4

=0

e usando |x2 y 2 | x2 + y 2 obt em-se lim g (x, y ) Q(x, y ) (x2 + y 2 )


4

(x,y )(0,0)

= 0.

Assim Q e de facto o polin omio de Taylor pretendido e inclusivamente e id entico ao polin omio de Taylor de oitava ordem. Note que obtivemos, por exemplo, que todas as derivadas parciais de ordens 1, 3, 4, 5, 7 e 8 de g em (0, 0) s ao nulas. Exerc cio 2.4.4 Desenvolva em f ormula de Taylor f (x, y ) = ex +y at e` a terceira ordem. Tente n ao calcular as derivadas directamente mas sim usar o facto de que o polin omio de Taylor de ordem k eou nico polin omio de grau k tal que lim |f (x) p(x)| = 0. xy k 0 (2.8)
2 2

xy

Exerc cio 2.4.5 Calcule a expans ao em pot encias de x 1 e y 2 de sen(x + y 3) at e` a quarta ordem.

2.4.1

Exerc cios suplementares

Exerc cio 2.4.6 Calcule a expans ao de Taylor em torno do ponto (1, 1, 1), at e` a quinta ordem de xy + xyz + x2 + y 2 + xyz . Exerc cio 2.4.7 Seja f uma fun c ao C . Desenvolva 0.
x 0

f (s)ds em s erie de Taylor em torno de

Exerc cio 2.4.8 Calcule a expans ao em s erie de Taylor da fun c ao ex ordem em torno de x = 0 e y = 1. Exerc cio 2.4.9 Calcule a expans ao em s erie de Taylor de sen x1000 + y 1000 + z 1000 at e` a ordem 999 em torno da origem.

+sen((y 1)2 )

at e ` a quarta

Exerc cio 2.4.10 Suponha que f : R R e v : R2 R s ao de classe C e satisfazem


v = x 2 v (x, 0) = f (x). v t
2

Desenvolva v em s erie de Taylor em torno da origem. 25


24 de Janeiro de 2000

CAP ITULO 2. COMPLEMENTOS DE CALCULO DIFERENCIAL

2.4.2

Sugest oes para os exerc cios

2.4.6 Neste caso a f ormula de Taylor coincide com o pr oprio polin omio xy + xyz + x2 + y 2 + xyz (veja o teorema 2.4.1). 2.4.7
x 0 (n1) (0) x f (s)ds = f (0)x + f (0) x 2 + ... + f n! + . . ..
6 2 n

1) + o(|y 1|6 ) e que et = 1 + t + 2.4.8 Note que sen((y 1)2 ) = (y 1)2 + (y 6 2 2 2 que ex +sen((y1) ) = 1 + x2 + (y 1)2 + x2 + (y 1)2 + o( (x, y 1) 4 ). 2.4.9 Repare que sen(t) = t + o(t2 ) para t numa vizinhan ca da origem.

t2 2

+ o(t3 ) pelo

2.4.10 Note que, utilizando a equa c ao, se tem m etodo de indu c ao.

v t (0, 0)

2f 2v x2 (0), tx (0, 0)

3f x3 (0).

Use o

24 de Janeiro de 2000

26

Cap tulo 3

Extremos
Problemas envolvendo maximiza c ao ou minimiza c ao de fun c oes envolvendo diversos par ametros est ao entre os mais importantes em Matem atica. Aparecem frequentemente em f sica (por exemplo a mec anica lagrangeana), engenharia (maximizar a resist encia de um mecanismo ou eci encia de um motor) ou economia (minimizar custos de produ ca o ou optimizar investimentos). Neste cap tulo vamos estudar m etodos para determinar m aximos e m nimos de fun c oes denidas em subconjuntos de Rn com valores em R. O leitor j a deve conhecer que, para fun c oes reais de vari avel real, os candidatos a pontos de extremo de entre os pontos interiores onde a fun c ao e diferenci avel s ao exactamente aqueles onde a derivada se anula, chamados pontos de estacionaridade. A generaliza c ao deste facto para fun c oes de mais de uma vari avel, a discutir mais ` a frente, s ao os pontos onde o gradiente da fun c ao se anula. Tal condi c ao estabelece o chamado sistema de estacionaridade cujas solu c oes ser ao ainda conhecidas por pontos de estacionaridade. O teorema de Taylor ser a utilizado para a classica c ao de pontos de estacionaridade de uma fun c ao de classe C 2 quanto a serem pontos de m nimo, m aximo ou pontos de sela. Quanto a este u ltimo ponto e de notar que, num caso concreto, os crit erios baseados na f ormula de Taylor poder ao ser insucientes por diversas raz oes e tal e abundantemente exemplicado nos exerc cios1 Uma fun c ao pode ter um extremo num ponto onde n ao est ao denidas algumas das derivadas parciais de primeira ordem. Uma fun c ao pode ter um extremo num ponto fronteiro do seu dom nio. Uma fun c ao pode ter um extremo num ponto de estacionaridade n ao sendo de classe C 2 numa qualquer vizinhan ca desse ponto. Os crit erios baseados na f ormula de Taylor podem ser inconclusivos. Adicionalmente tais m etodos pressup oem que o sistema de estacionaridade da fun c ao e explicitamente resol uvel o que, dado a sua n ao linearidade, e algo que em geral n ao se vericar a. Em tais casos uma sistematiza c ao de todos os poss veis m etodos de ataque ao problema de determina c ao dos pontos de extremo local de uma fun c ao e imposs vel. Cremos no entanto que os racioc nios mais interessantes est ao bem exemplicados a seguir. Alguns dos m etodos a utilizar pressup oem alguns conhecimentos de Algebra Linear. Como refer encia sugere-se [4].
t picos para fun c oes reais de vari avel real com o dom nio da fun c ao o intervalo [1, 1]: x |x|, 1/x2 e se x = 0 , x x, x |x|3/2 , x 0 caso contr ario.
1 Exemplos

27

CAP ITULO 3. EXTREMOS

0.2

0.3 0.2

0.1 0.1

-1.5

-1

-0.5

0.5

1.5

-2

-1 -0.1

-0.1 -0.2

Figura 3.1: Os gr acos de f (x) =

x2 +x4 4

x3 6

e g (x) = x4 x2 .

3.1

Extremos

Provavelmente o leitor ter a uma ideia intuitiva do que e um ponto de extremo de uma fun c ao, ou seja, um ponto de m aximo ou de m nimo. Come caremos portanto por formalizar estas ideias do ponto de vista matem atico. A primeira deni c ao e a de m aximo e m nimo local de uma fun c ao real. Deni c ao 3.1.1 Seja f : A R, com A Rn . Um ponto x0 A e um ponto de m aximo (resp. m nimo) local e f (x0 ) m aximo (resp. m nimo) local de f se existir uma vizinhan ca2 V de x0 tal que , x V A, f (x) f (x0 ), (resp. f (x) f (x0 )). Note que, de acordo com a deni c ao anterior, uma fun c ao pode ter v arios extremos locais cada um deles ocorrendo em v arios pontos de extremo local. Exemplo 3.1.1 Seja f a fun c ao denida em R, constante igual a 1. Ent ao qualquer n umero real e um ponto de m aximo (e tamb em m nimo) de f . Ou ltimo exemplo ilustra a necessidade de distinguir estes casos degenerados de outros mais interessantes. Assim temos a seguinte deni c ao. Deni c ao 3.1.2 O m aximo (resp. m nimo) e estrito se a igualdade na deni c ao anterior s o se vericar para x = x0 . O m aximo (resp. m nimo) e global (ou absoluto) se, x A f (x) f (x0 ), (resp. f (x) f (x0 )).

Exemplo 3.1.2 A fun c ao f (x) = x 4+x x aximo local em x = 0, um m nimo local 6 tem um m 1 em x = 2 e um m nimo absoluto em x = 1, como se pode observar na gura 3.1. A fun c ao g (x) = x4 x2 tem um m nimo absoluto para x = 1. No entanto, este m nimo n ao eu nico pois x = 1 e outro ponto de m nimo absoluto tendo-se g (1) = g (1). Veja a gura 3.1. Exemplo 3.1.3 Provemos que a fun c ao f (x) = x2 tem um m nimo absoluto estrito na origem. 2 Tal decorre de f (0) = 0 < x = f (x) para x = 0. Exerc cio 3.1.1 Seja f : A R, com A = {a}, o conjunto s o com um ponto. Justique que x=a e ponto de m nimo e ponto de m aximo estrito simultaneamente. Nem sempre dada uma fun c ao podemos garantir a exist encia de m aximos ou m nimos, como se pode ver pelos exemplos seguintes:
2 Por

exemplo, uma bola de raio

centrada em x0 .

24 de Janeiro de 2000

28

3.1. EXTREMOS
7.5 5 2.5 -15 -10 -5 -2.5 -5 -7.5 5 10 15

Figura 3.2: O gr aco de f (x) =

x 2

+ sen x

Exemplo 3.1.4 Seja f : ]0, 1[ R denida por f (x) = x. Note que f n ao tem m nimo nem m aximo pois n ao fazem parte do dom nio os pontos 0 e 1 onde a fun c ao denida pela mesma f ormula mas cujo dom nio fosse o intervalo fechado [0, 1] atinge os seus valores extremos. Exemplo 3.1.5 Seja f : R R denida por f (x) = x aximos e 2 + sen x. Embora f tenha m m nimos locais (ver gura 3.2) f n ao tem nenhum m aximo ou m nimo global pois limx+ f (x) = + e limx f (x) = . Exemplo 3.1.6 Seja f (x) = x2 se x R \ {0}, f (0) = 1. Esta fun c ao n ao tem nenhum m nimo pois f nunca se anula embora f tome valores positivos arbitrariamente pequenos. Exerc cio 3.1.2 Seja f a fun c ao do exemplo 3.1.6. Mostre que f (0) e um m aximo local mas n ao global. Antes de prosseguirmos conv em sumarizar informalmente o que aprendemos nos 3 u ltimos exemplos. A fun c ao do exemplo 3.1.4 n ao tem m aximo nem m nimo porque retir amos os extremos a um intervalo limitado e fechado fazendo com que os valores extremos da fun c ao n ao sejam atingidos nesses pontos. No exemplo seguinte n ao encontramos extremos absolutos pois a fun c ao e ilimitada o que e poss vel gra cas para uma fun c ao cont nua se o dom nio n ao e compacto (neste caso n ao e limitado). Finalmente no u ltimo destes exemplos a fun c ao n ao tem m nimo porque ocorre uma descontinuidade no ponto onde o m nimo deveria ocorrer. Estes exemplos sugerem que, para garantir a exist encia de extremos, seja usual tentar lidar com fun c oes cont nuas denidas em conjuntos limitados e fechados (compactos). O pr oximo teorema mostra que estas condi c oes s ao efectivamente sucientes para garantir a exist encia de extremos: Teorema 3.1.1 (Weierstrass) Seja f : A Rn R cont nua com A compacto. Ent ao f tem m aximo e m nimo (globais) em A. Ideia da demonstra c ao.Veja o exerc cio 2.1.16. Ficamos assim com um crit erio abstracto para garantir a exist encia de m aximos e m nimos, independentemente da apar encia mais ou menos complicada da deni c ao da fun c ao: Exemplo 3.1.7 A fun c ao f : [0, 1] R dada por f (x) = e 1+100x2 e cont nua e [0, 1]. Portanto tem pelo menos um ponto de m aximo e um ponto de m nimo globais em [0, 1]. Exemplo 3.1.8 Consideremos o subconjunto K R2 denido pela condi c ao |x| + |y | 1. Seja f a fun c ao a denida por f (x, y ) = x2 + y 2 . Como K e compacto (porque e limitado e fechado), f tem de ter m aximo e m nimo. Reparando que f e o quadrado da dist ancia ` a origem conclu mos que ocorre um m nimo (global) na origem. Os pontos de m aximo ser ao os pontos do conjunto mais afastados da origem, que neste caso s ao (1, 0) e (0, 1). 29
24 de Janeiro de 2000
sen(x+log(x+1))

CAP ITULO 3. EXTREMOS

z = f (x , y )

y0

x0

Figura 3.3: Fixar todas as vari aveis excepto uma dene uma fun c ao de uma vari avel. Se f tiver um m aximo local em (x0 , y0 ) e xarmos a segunda vari avel em y0 ent ao tal fun c ao tem um m aximo em x0 . Exerc cio 3.1.3 Diga em quais dos seguintes subconjuntos de R2 pode garantir a exist encia de m nimos para qualquer fun c ao cont nua f . No caso de a resposta ser negativa apresente um exemplo. 1. m ax{|x|, |y |} = 1 2. m ax{|x|, |y |} 1 3. m ax{|x|, |y |} 1 4. m ax{|x|, |y |} > 1 5. m ax{|x|, |y |} < 1 Exerc cio 3.1.4 Mostre que a fun c ao f (x) = x4 tem m nimo e n ao tem m aximo no intervalo ] 1, 1[. Porque e que isto n ao contradiz o teorema de Weierstrass? Em casos simples e poss vel seleccionar os candidatos a extremos utilizando racioc nios ad hoc. No exemplo 3.1.8, a fun c ao em quest ao e a dist ancia ` a origem e por isso tem um m nimo em 0. No entanto, conv em ter um crit erio, de aplica c ao f acil, que permita reduzir o n umero de candidatos a pontos de m aximo ou m nimo a serem analisados. O resultado do pr oximo teorema permite fazer isto, da a sua import ancia. Deni c ao 3.1.3 Seja f : A Rn R uma fun c ao diferenci avel num ponto a int A. Diz-se que a e um ponto de estacionaridade (ou ponto cr tico) de f se f (a) = 0. Teorema 3.1.2 Seja f : A Rn R uma fun c ao diferenci avel num ponto x int A. Se x e ponto de extremo de f ent ao e ponto de estacionaridade, ou seja f (x) = 0. Ideia da demonstra c ao. Seja (x1 , . . . , xn ) um ponto de extremo duma fun c ao f e considere gi (t) = f (x1 , . . . , t, . . . , xn ). gi tem um extremo em t = xi . Aplique o resultado conhecido em dimens ao 1 a gi no ponto xi .
24 de Janeiro de 2000

30

3.1. EXTREMOS Exemplo 3.1.9 Suponhamos que pretendemos encontrar os extremos da fun c ao f (x, y ) = x2 + y 2 no conjunto x2 + y 2 < 1. Como o conjunto e aberto todos os pontos de extremo de f (se existirem) ser ao interiores, pelo que nestes pontos o gradiente de f ser a nulo, isto e f = Deste modo, resolvendo a equa c ao f = (2x, 2y ) = (0, 0), podemos determinar todos os poss veis extremos de f . Conclu mos portanto, que o u nico ponto em que pode ocorrer um extremo e (x, y ) = (0, 0). Como f (0, 0) = 0 e a fun c ao e sempre positiva em todos os outros pontos este ser a necessariamente um m nimo (absoluto) de f . O teorema anterior e o teorema de Weierstrass implicam um crit erio de detec c ao de pontos de extremo que sumarizamos no seguinte corol ario: Corol ario 3.1.3 Seja f : A R, A compacto (limitado e fechado) e f cont nua. Ent ao f tem pelo menos um ponto de m aximo e um ponto de m nimo global. Para al em disso, os u nicos pontos que podem ser extremos de f s ao 1. pontos na fronteira de A; 2. pontos onde f = 0; 3. pontos onde f n ao e diferenci avel. Exerc cio 3.1.5 Determine (se existirem) os m aximos e m nimos das seguintes fun c oes: 1. f (x, y ) = x4 + y 4 em |x| + y 2 < 1. 2. f (x, y ) = x2 y 2 no conjunto x2 + y 2 < 1. 3. f (x, y ) = xy em |x| + |y | < 1. 4. f (x, y ) = x2 + y 2 em x2 + y 2 < 1. f f , x y = (0, 0).

Por em nem todos os pontos cr ticos de uma fun c ao s ao m aximos ou m nimos. Isto motiva a seguinte deni c ao: Deni c ao 3.1.4 Diz-se que um ponto de estacionaridade a e um ponto de sela de uma fun c ao f se qualquer que seja a vizinhan ca de a existirem pontos nessa vizinhan ca onde a fun c ao toma valores inferiores e superiores a f (a). Exemplo 3.1.10 Seja f (x) = x3 ent ao 0 e um ponto de sela de f pois embora seja um ponto cr tico de f (f (x) = 3x2 anula-se na origem) n ao se trata de um ponto de m aximo ou m nimo (porque f (x) < f (0) para x < 0 e f (x) > f (0) para x > 0). Exerc cio 3.1.6 Verique que (0, 0) e um ponto de sela3 de x2 y 2 . No exemplo 3.1.9 e no exerc cio 3.1.5 os conjuntos onde as fun c oes estavam denidas eram abertos. Consequentemente todos os pontos de extremo eram pontos de estacionaridade. N ao e este o caso do pr oximo exemplo, onde nos temos de preocupar com a possibilidade de haver m aximos ou m nimos que, por estarem na fronteira do dom nio, n ao sejam pontos de estacionaridade.
3 A express ao ponto de sela e motivada pelos gr acos de fun c aoes em exemplos como este. Claro que acabamos por usar a express ao em situa c oes mais gerais.

31

24 de Janeiro de 2000

CAP ITULO 3. EXTREMOS Exemplo 3.1.11 Suponhamos que queremos determinar os extremos da fun c ao f (x, y ) = xy (1 x2 y 2 ) no quadrado [1, 1] [1, 1]. O gradiente de f e dado por f = (y (1 x2 y 2 ) 2x2 y, x(1 x2 y 2 ) 2xy 2 ). Os pontos de estacionaridade estar ao entre as solu c oes de y 3x2 y y 3 = 0 x 3xy 2 x3 = 0 (3.1)

no interior do quadrado, isto e, vericando simultaneamente 1 < x < 1 e 1 < y < 1. O sistema (3.1) admite como solu c oes: 1. (x, y ) = (0, 0); 2. x = 0, y = 0 e portanto 1 y 2 = 0, ou seja (x, y ) = (0, 1); 3. x = 0, y = 0 e portanto 1 x2 = 0, ou seja (x, y ) = (1, 0); 4. pontos que veriquem x = 0, y = 0 e 3x2 + y 2 = 1 x2 + 3y 2 = 1. O sistema 3.2 n ao e linear em (x, y ) mas e linear em (x2 , y 2 ) e tem como solu c ao x2 = 1 4 y2 = 1 . 4 (3.2)

Deste modo (1/2, 1/2), (1/2, 1/2), (1/2, 1/2) e (1/2, 1/2) satisfazem o sistema de estacionaridade. De entre as solu c oes de (3.1) as que s ao pontos interiores do dom nio fornecem a lista de poss veis candidatos a extremos locais em pontos interiores: (0, 0), (1/2, 1/2), (1/2, 1/2), (1/2, 1/2) e (1/2, 1/2). Avaliando a fun c ao f nestes pontos obtemos f (0, 0) = f (1, 0) = f (0, 1) = 0, f (1/2, 1/2) = 1/8 e f (1/2, 1/2) = 1/8. Para avaliar o que se passa sobre a fronteira do dom nio consideramos f (1, y ) = y 3 para 3 3 y [1, 1], f (1, y ) = y para y [1, 1], f (x, 1) = x para x [1, 1], f (x, 1) = x3 para x [1, 1]. Todas estas fun c oes de uma vari avel real s ao estritamente mon otonas de maneira que basta considerar os valores da fun c ao nos v ertices do quadrado: f (1, 1) = f (1, 1) = 1 e f (1, 1) = f (1, 1) = 1. Portanto (1, 1) e (1, 1) s ao pontos de m nimo global e (1, 1) e (1, 1) s ao pontos de m aximo global. Temos agora de estudar o que acontece nos outros pontos pois podem ser m aximos ou m nimos locais ou apenas pontos de sela. Quanto ao ponto (0, 0) e f acil de vericar que xy assume valores positivos e negativos numa vizinhan ca da origem. Por outro lado se (x, y ) estiver sucientemente pr oximo de (0, 0) a fun c ao 1 x2 y 2 e positiva. Portanto f numa vizinhan ca da origem assume valores positivos e negativos. Logo (0, 0) e um ponto de sela. Quanto ao ponto (1/2, 1/2) classicamo-lo usando um racioc nio ad hoc baseado na utiliza c ao do teorema de Weierstrass. Note-se que (1/2, 1/2) e um ponto interior do conjunto compacto A = {(x, y ) R2 : x2 + y 2 1, x 0, y 0}, que f vale 0 sobre A e f > 0 no interior de A. O teorema de Weierstrass garante que f ter a um m aximo em A (global relativamente a A) que ocorrer a necessariamente num ponto interior. Tal ponto e ent ao um ponto de estacionaridade. O
24 de Janeiro de 2000

32

3.1. EXTREMOS
y 1

A
1/2

x -1 1/2 1

0.2 0 -0.2 -1 -0.5 0


-1

1 0.5 0 -0.5 0.5 1 -1

Figura 3.4: Estudo de f (x, y ) = xy (1 x2 y 2 ) quanto a exist encia de pontos de extremo em [1, 1]
[1, 1]. Tente identicar as propriedades deduzidas para a fun c ao com o que e evidenciado no gr aco gerado numericamente ` a direita.

u nico ponto de estacionaridade em int A e (1/2, 1/2) logo este ponto e um ponto de m aximo local de f (relativamente ao quadrado [1, 1] [1, 1]). Este racioc nio vale para (1/2, 1/2), (1/2, 1/2) e (1/2, 1/2) chegando-se de maneira an aloga ` a conclus ao que (1/2, 1/2), (1/2, 1/2) s ao pontos de m nimo local e (1/2, 1/2) um ponto de m aximo local (ou use o facto de a fun c ao ser mpar em cada uma das vari aveis). Exerc cio 3.1.7 Determine, se existirem, os pontos de m aximo e m nimo local da fun c ao (x, y ) xy no quadrado m ax{|x|, |y |} 1. Para terminar esta sec c ao vamos apresentar um exemplo em que usamos propriedades de simetria e uma mudan ca de vari avel para determinar extremos
2 Exemplo 3.1.12 Seja f (x, y, z, w) = x2 + y 2 z 2 w2 + (x2 + y 2 )2 . Denindo r1 = x2 + y 2 e 2 2 2 2 2 4 r2 = z + w temos f (x, y, z, w) = r1 r2 + r1 . Portanto, determinando os m aximos e m nimos 2 2 4 de g (r1 , r2 ) = r1 r2 + r1 , podemos recuperar os m aximos e m nimos de f . 2 2 4 Exerc cio 3.1.8 Determine os extremos de g (r1 , r2 ) = r1 r2 + r1 . Utilize este resultado para calcular os extremos de f (x, y, z, w) = x2 + y 2 z 2 w2 + (x2 + y 2 )2 .

3.1.1

Exerc cios suplementares

Exerc cio 3.1.9 Determine os pontos de extremo de: 1. f (x, y, z ) = x2 + y 2 + z 2 com |x| + |y | + |z | 1. 2. f (x, y ) = x + y com x2 + y 2 1. 3. f (x, y ) = x2 + y 2 (x2 + y 2 )2 . 4. f (x, y ) = x3 y 3 (1 x6 y 6 ) para (x, y ) [1, 1] [1, 1]. 33
24 de Janeiro de 2000

CAP ITULO 3. EXTREMOS Exerc cio 3.1.10 Seja f : R R, cont nua, satisfazendo
x

lim f (x) = +.

Prove que f tem pelo menos um m nimo. Exerc cio 3.1.11 (M nimos quadrados) O m etodo dos m nimos quadrados tem como objectivo determinar a recta y = ax + b que melhor aproxima certos dados experimentais (xi , yi ), com 1 i n. Uma fun c ao que permite medir quanto e que uma dada recta na forma y = ax + b aproxima os pontos experimentais e
n

g (a, b) =
i=1

(axi + b yi )2 .

Calcule os pontos de estacionariade de g para determinar que equa c oes e que a e b satisfazem (a prova de que o ponto de estacionaridade e mesmo um m nimo e deixada para um exerc cio posterior).

3.1.2
3.1.9

Sugest oes para os exerc cios

1. Note que f e o quadrado da dist ancia ` a origem. 2. Como f n ao tem pontos de estacionaridade em x2 + y 2 < 1 os seus extremos (que existem pelo teorema de Weirstrass) t em de se encontrar na fronteira. Escreva os pontos da fronteira com x = cos() e y = sen(). Determine os extremos de cos() + sen() com [0, 2 ]. 3. Determine os extremos de r2 r4 com r 0. Fa ca r2 = x2 + y 2 . 4. Recorde o exemplo 3.1.11 substituindo x x3 e y y 3 .

3.1.10 Utilize o teorema do valor m edio. 3.1.11 Se g tiver m nimo em (a, b) verica-se g = 0. Portanto a e b satisfazem as equa c oes
n 2 i=1 xi n i=1 xi n i=1

xi

a = b

n i=1 xi yi n i=1 yi

3.2

Testes de Segunda Ordem

Nesta sec c ao vamos estudar um m etodo que permite classicar os pontos de estacionaridade de fun c oes. No caso unidimensional, quando a segunda derivada n ao se anula, um ponto de estacionaridade de uma fun c ao e de m aximo ou de m nimo dependendo do sinal da segunda derivada. Para fun c oes f de Rn em R a segunda derivada de f e representada por uma forma blinear denida por uma matriz chamada hessiana. Classicando a forma quadr atica denida pela hessiana quanto a ser denida positiva, negativa, indenida, semidenida,. . . , ou de forma equivalente determinando o sinal dos seus valores pr oprios, e poss vel estudar a classica c ao de pontos de estacionaridade ` semelhan quanto a serem pontos de m aximo ou m nimo. A ca do caso unidimensional quando a derivada e nula, este teste pode n ao ser conclusivo se a forma quadr atica for semidenida, isto e todos os valores pr oprios tiverem o mesmo sinal excepto alguns nulos. Comecemos por precisar alguns dos termos usados no par agrafo anterior.
24 de Janeiro de 2000

34

3.2. TESTES DE SEGUNDA ORDEM Deni c ao 3.2.1 Seja A uma matriz sim etrica, ou seja A = AT e considere-se a forma quadr atica QA denida por A via QA (x) = x Ax para x Rn . 1. Diz-se que A e denida positiva (resp. negativa) se a forma quadr atica QA for deninida positiva (resp. negativa), isto e, QA (x) > 0 (resp. QA (x) < 0) para todo o x Rn \ {0}. 2. Diz-se que A e semi-denida positiva4 (resp. negativa) se a forma quadr atica QA for semideninida positiva (resp. negativa), isto e, QA (x) 0 (resp. QA (x) 0) para todo o x Rn e existe algum y = 0 tal que QA (y ) = 0. 3. Caso nenhuma destas situa c oes se verique diz-se que a matriz e indenida esta situa c ao corresponde a QA ser indenida, isto e, existirem y , z Rn tais que QA (y ) < 0 e QA (z ) > 0. A deni c ao anterior poderia ter sido feita em termos de valores pr oprios (consultar por exemplo [4] ou resolver o exerc cio 3.2.2) gra cas ao seguinte resultado b asico de Algebra Linear. Proposi c ao 3.2.1 Seja QA uma forma quadr atica denida por uma matriz sim etrica A via QA (x) = x Ax para x Rn . Ent ao: 1. QA e denida positiva (resp. negativa) se e s o se todos os valores pr oprios de A forem positivos (resp. negativos). 2. QA e semi-denida positiva (resp. negativa) se e s o se todos os valores pr oprios de A forem n ao negativos (resp. positivos) e pelo menos um nulo. 3. QA e indenida se existir um valor pr oprio positivo e um valor pr oprio negativo. Exemplo 3.2.1 Seja 1 A = 2 0 2 0 4 0 . 0 1

Os valores pr oprios de A s ao denidos pela equa c ao 1 2 0 4 0 = (1 )(5 ) = 0, det(A I ) = 2 0 0 1 que tem como solu c oes = 0, 1, 5. Portanto conclu mos que A e semi-denida positiva. Exerc cio 3.2.1 Mostre que a u nica matriz simultaneamente semidenida positiva e semidenida negativa e a matriz nula. Que basta considerar matrizes sim etricas ao lidar com formas quadr aticas e uma das conclus oes do exerc cio seguinte. Exerc cio 3.2.2 Em geral podemos denir forma quadr atica QA associada a uma matriz A via QA (x) = x Ax.
A 1. Mostre que QA = QA , onde A = A+ em que A e chamada a simetriza c ao de A. 2 Portanto substituir A pela sua simetriza c ao n ao altera QA . Sugere-se que antes de provar o caso geral, conven ca-se que este facto e verdadeiro com o exemplo
T

A=

1 0

2 . 1

4 Esta deni c ao de forma semidenida n ao e a mesma de, por exemplo, [4] aonde uma forma ou matriz denida e necessariamente semidenida. Assim denida, indenida e semidenida s ao termos mutuamente exclusivos.

35

24 de Janeiro de 2000

CAP ITULO 3. EXTREMOS 2. Demonstre a proposi c ao 3.2.1. Calcular valores pr oprios n ao e uma tarefa trivial e e conveniente dispor de crit erios mais f aceis de aplicar. Proposi c ao 3.2.2 Seja a11 . A= . . an1 a1n . . . ann

uma matriz n n. Consideremos as submatrizes Ak que consistem nos elementos das primeiras k linhas e k colunas de A, isto e, A1 = a11 Ent ao, 1. A e denida positiva se e s o se det Ai > 0 para todo o i. 2. A e denida negativa se e s o se det Ai < 0 para i mpar e det Ai > 0 para i par. Exemplo 3.2.2 Seja 1 0 A = 0 2 1 0 Portanto A1 = 1 e temos det A1 = 1 det A2 = 2 det A3 = 6. Como todos estes valores s ao positivos conclu mos que A e denida positiva. Exerc cio 3.2.3 Prove a proposi c ao para matrizes diagonais. Para o caso de matrizes semi-denidas o crit erio e ligeiramente mais complexo. Dada uma matriz A uma submatriz principal de A e qualquer matriz que se obt em de A suprimindo linhas e colunas em pares correspondentes (e.g. a primeira e a terceira linhas e colunas). Exemplo 3.2.3 Seja 1 6 A= 11 16 21 2 7 12 17 22 3 4 5 8 9 10 13 14 15 18 19 20 23 24 25 A2 = 1 0 0 2 A3 = A 1 0 . 4 A2 = a11 a21 a12 a22

Suprimindo a primeira linha e primeira coluna obtemos a submatriz principal 7 8 9 10 12 13 14 15 17 18 19 20 22 23 24 25 Suprimindo a segunda e terceira linhas e colunas obtemos a submatriz principal 1 4 5 16 19 20 . 21 24 25
24 de Janeiro de 2000

36

3.2. TESTES DE SEGUNDA ORDEM Proposi c ao 3.2.3 Uma matriz A e semi-denida positiva se e s o se todas as submatrizes principais de A t em determinantes n ao negativos e pelo menos um e nulo. Uma matriz A e semi-denida negativa se e s o se todas as submatrizes principais de A t em determinantes n ao negativos ou n ao positivos conforme o n umero de linhas ou colunas da submatriz e par ou mpar e pelo menos um e nulo. Exemplo 3.2.4 Seja 0 A = 0 0 0 0 2 1 . 1 5

Retirando a primeira e terceira linhas e colunas obtemos a submatriz 2 cujo determinante e positivo. Retirando a primeira e segunda linhas e colunas obtemos a submatriz 5 cujo determinante e negativo. Portanto conclu mos que a matriz n ao pode ser nem semidenida positiva nem semidenida negativa pelo que e indenida. Exemplo 3.2.5 Seja 0 A = 0 0 0 0 2 1 . 1 5

O determinante de A e zero pelo que a matriz n ao pode ser nem denida positiva nem denida negativa. O mesmo acontece ao determinante de qualquer submatriz obtida de A n ao retirando a primeira linha e coluna. Portanto basta analisar 3 submatrizes; retirando a primeira e segunda linhas e colunas obtemos a submatriz 5 cujo determinante e positivo; retirando a primeira e terceira linhas e colunas obtemos a submatriz 2 cujo determinante e positivo; retirando a primeira linha e coluna obtemos a submatriz 2 1 1 5 cujo determinante e 9 e portanto tamb em positivo. Portanto conclu mos que a matriz e semidenida positiva. Exerc cio 3.2.4 Classique a matriz A dada por 3 0 A = 0 2 0 1

0 1 5

quanto a ser denida ou semidenida positiva, negativa ou indenida Exerc cio 3.2.5 Classique a matriz A dada por 0 2 A = 0 2 0 1

1 1 5

quanto a ser denida ou semidenida positiva, negativa ou indenida Depois destas deni c oes preliminares vamos denir a matriz hessiana5 . Deni c ao 3.2.2 Seja f : Rn R de classe C 2 . A matriz hessiana de f , H (f ), e dada por 2f 2f x x2 1 xn 1 . . . H (f ) = . . . . 2f 2f xn x1 x2
n

matriz hessiana H dene uma forma bilinear (x, y ) x Hy que desempenha o papel de segunda derivada de uma fun c ao de Rn em R. N ao desenvolveremos este assunto neste texto.

5A

37

24 de Janeiro de 2000

CAP ITULO 3. EXTREMOS Exemplo 3.2.6 Seja f (x, y ) = x2 + y 2 . A sua matriz hessiana e H (f ) = 2 0 0 . 2

Exerc cio 3.2.6 Calcule a matriz hessiana de f (x, y, z ) = xyz . Exerc cio 3.2.7 1. Dena uma fun c ao cuja matriz hessiana seja, em qualquer ponto a b . b c 2. Ser a que a fun c ao que encontrou na al nea anterior eu nica? Se n ao for tente encontrar uma f ormula geral para esta fam lia de fun c oes. 3. Em que condi c oes e que a matriz a b d c e a hessiana de alguma fun c ao de classe C 2 ? O resultado b asico para classicar pontos de estacionaridade usando o termo de segunda ordem da f ormula de Taylor e Teorema 3.2.4 Sejam U Rn um aberto, f : U R uma fun c ao de classe C 2 (U ) e x0 U um ponto de estacionaridade de f . i) Se Dh f (x0 ) > 0 para todo o h = 0 ent ao x0 e um ponto de m nimo local; ii) Se Dh f (x0 ) 0 para todo o vector h e existe um vector k = 0 tal que Dk f (x0 ) = 0 ent ao x0 n ao e um ponto de m aximo local; iii) Se Dh f (x0 ) < 0 para todo o h = 0 ent ao x0 e um ponto de m aximo local; iv) Se Dh f (x0 ) 0 para todo o vector h e existe um vector k = 0 tal que Dk f (x0 ) = 0 ent ao x0 n ao e um ponto de m nimo local; v) Se existem h, k Rn tais que Dh f (x0 ) < 0 e Dk f (x0 ) > 0 ent ao x0 e um ponto de sela. Ideia da demonstra c ao. Para provar (ii), (iv) e (v) basta considerar as restri c oes de f ` as rectas passando por x0 e nas direc c oes de h ou k e usar os resultados conhecidos6 para dimens ao 1. Para provar (i) ou (iii) devemos estudar o sinal de f (x) f (x0 ) provando que se mant em constante numa bola de raio sucientemente pequeno centrada em x0 . Isto e equivalente a estudar o sinal de 1 (2) f (x0 + h) f (x0 ) Ef (x0 , h) = Dh/|h| f (x0 ) + 2 2 2 |h| |h| em que a u ltima parcela do segundo membro tende para 0 quando h 0 de acordo com o teorema de Taylor. Para completar a demonstra c ao, por exemplo no caso (i), basta mostrar que para (2) h = 0 temos Dh/|h| f (x0 ) minorado por um n umero m > 0 e que existe uma bola centrada em x0 tal que a f |h|0 > m. O u ltimo destes dois factos segue da deni c ao de limite e o primeiro 2 pode ser justicado usando resultados de algebra linear sobre formas quadr aticas ou o teorema de (2) Weierstrass aplicado ` a fun c ao7 S n1 D f (x0 ).
pode refazer-se a demonstra c ao mas queremos acentuar que n ao existe nenhuma ideia essencialmente nova em jogo. 7 S n1 {x Rn : |x| = 1}.
6 Obviamente

(2)

(2)

(2)

(2)

(2)

(2)

(2)

(2)

E (x ,h)

24 de Janeiro de 2000

38

3.2. TESTES DE SEGUNDA ORDEM O teorema anterior pode ser enunciado usando a terminologia de algebra linear referente a (2) formas quadr aticas. Com efeito Dh f (x0 ) e a forma quadr atica denida pela matriz hessiana de f no ponto x0 , Hf (x0 )
2f xi xj (x0 ) i,j =1,...,n

, isto e, Dh f (x0 ) = h Hf (x0 )h. As situa c oes

(2)

(i-v) no enunciado do teorema correspondem respectivamente a esta forma quadr atica8 ser denida positiva, semidenida positiva n ao nula, denida negativa, semidenida negativa n ao nula e indenida. Corol ario 3.2.5 Seja f : U Rn R uma fun c ao de classe C 2 numa vizinhan ca um ponto de estacionaridade em x0 . Ent ao: 1. Se H (f )(x0 ) = 0 o teste e inconclusivo. 2. Se H (f )(x0 ) for denida positiva (resp. negativa) ent ao x 0 e um ponto de m nimo (resp. m aximo) local. 3. Se H (f )(x0 ) for semi-denida positiva (resp. negativa) mas n ao nula ent ao x0 n ao e um ponto de m aximo (resp. m nimo) local, isto e, pode ser ponto de m nimo (resp. m aximo) local ou ponto de sela. 4. Se H (f )(x0 ) for indenida ent ao x0 e um ponto de sela. O teorema e o corol ario n ao podem ser melhorados, atrav es de informa c ao s o relativa a derivadas de segunda ordem e de maneira a fornecer informa c ao adicional para os casos em que a forma quadr atica e semidenida, devido aos exemplos triviais que se seguem (3.2.8, 3.2.9). Exemplo 3.2.7 Seja f (x, y ) = x2 + y 2 . O ponto (0, 0) e um ponto de estacionaridade (verique!). A matriz hessiana de f no ponto (0, 0) e H (f ) = 2 0 0 , 2

que e denida positiva (os valores pr oprios s ao positivos). Portanto (0, 0) e um ponto de m nimo local. Exemplo 3.2.8 Seja f (x, y ) = x2 + y 4 . O ponto (0, 0) e um ponto de estacionaridade (verique!). A matriz hessiana de f no ponto (0, 0) e H (f ) = 2 0 0 , 0

que e semi-denida positiva (os valores pr oprios s ao n ao negativos). Portanto (0, 0) n ao e um f ponto de m aximo local. E acil vericar que (0, 0) e um ponto de m nimo local e n ao um ponto de sela. Com efeito, basta observar que, se (x, y ) = (0, 0), se tem f (x, y ) > f (0, 0) = 0. Exemplo 3.2.9 Seja f (x, y ) = x2 y 4 . O ponto (0, 0) e um ponto de estacionaridade (verique!). A matriz hessiana de f no ponto (0, 0) e H (f ) = 2 0 0 , 0

que e semi-denida positiva (os valores pr oprios s ao n ao negativos). Portanto (0, 0) n ao e um ponto de m aximo local. No entanto (0, 0) n ao e um ponto de m nimo local; com efeito, temos f (0, 0) = 0 mas f (0, y ) = y 4 < 0 para y = 0 pelo que conclu mos que (0, 0) e um ponto de sela.
8 Esta

terminologia relativa a formas quadr aticas usa-se tamb em para as matrizes que as denem.

39

24 de Janeiro de 2000

CAP ITULO 3. EXTREMOS Exemplo 3.2.10 Seja f (x, y ) = x2 y 2 . O ponto (0, 0) e um ponto de estacionaridade (verique!). A matriz hessiana de f no ponto (0, 0) e H (f ) = 2 0 , 0 2

que e indenida (um dos valores pr oprios e positivo e outro e negativo). Portanto (0, 0) e um ponto de sela. Exerc cio 3.2.8 Prove que (0, 0) e um ponto de estacionaridade de f e classique-o quanto a ser ponto de m aximo, ponto de m nimo ou ponto de sela quando f e denida em R2 por: 1. f (x, y ) = 2x2 + y 2 ; 2. f (x, y ) = xy ; 3. f (x, y ) = x2 + 2xy + y 2 ; 4. f (x, y ) = y 4 x4 ; 5. f (x, y ) = x3 ; 6. f (x, y ) = y 2 . Problema 3.2.1 Elabore um crit erio para classicar formas quadr aticas denidas por uma matriz 2 b em fun 2 2 da forma a c a o do sinal de d = ac b e do sinal de a. b c Os exemplos de aplica c ao do crit erio de segunda ordem at e agora apresentados s ao no essencial triviais e poderiam ser analisados por outros processos. Destinavam-se a denir situa c oes t picas e balizar as limita c oes do resultado. O exemplo seguinte j a tem um car acter menos trivial. Exemplo 3.2.11 Considere-se a fun c ao f : R2 R denida por f (x, y ) = xy + x2 y 3 x3 y 2 . Tentemos estud a-la quanto ` a exist encia de extremos. Come camos por notar que gra cas a f ser um polin omio reconhecemos imediatamente que f coincide com o seu desenvolvimento de Taylor de ordem igual ou superior ao seu grau. Tal e verdadeiro em particular relativamente a (0, 0) que reconhecemos como um ponto de estacionaridade (aus encia de termos de primeira ordem) que e um ponto de sela (termo de segunda ordem xy ). Para determinar outros pontos de estacionaridade consideramos o sistema de estacionaridade f y + 2xy 3 3x2 y 2 = 0 x f x + 3x2 y 2 2x3 y = 0 y que pode ser escrito de forma equivalente como y (1 + 2xy 2 3x2 y ) = 0 x(1 + 3xy 2 2x2 y ) = 0. Da decorre que a u nica solu c ao sobre os eixos coordenados e (0, 0) que j a foi estudada. Podemos ent ao limitarmo-nos a analisar 1 + 2xy 2 3x2 y = 0 1 + 3xy 2 2x2 y = 0. Subtraindo termo a termo obtemos xy 2 + x2 y = 0 ou seja xy (y + x) = 0. Assim eventuais solu c oes adicionais do sistema de estacionaridade encontrar-se-iam ou sobre os eixos coordenados (hip otese j a estudada) ou sobre a recta y = x. Substituindo y por x na primeira equa c ao obtemos
24 de Janeiro de 2000

40

3.2. TESTES DE SEGUNDA ORDEM 1 + 5x3 = 0 o que fornece um segundo e u ltimo ponto de estacionaridade: (51/3 , 51/3 ). Para classic a-lo calculamos 2f = 2y 3 6xy 2 x2 2f = 6x2 y 2x3 y 2 2f = 1 + 6xy 2 6x2 y xy pelo que Hf (51/3 , 51/3 ) = 8/5 7/5 7/5 8/5

uma matriz denida positiva pelo que este ponto de estacionaridade e um ponto de m nimo local 2/3 sendo o m nimo local f (51/3 , 51/3 ) = 3 . 55 Considerando, por exemplo, lim+ f (1, ) = +, lim+ f (, 1) = verica-se que esta fun c ao n ao tem extremos absolutos. O teorema 3.2.4 e pass vel de v arias generaliza c oes. Aconselha-se no entanto o aluno a come car por dominar o crit erio de segunda ordem e as ideias na sua demonstra c ao pois s ao a base de qualquer uma dessas generaliza c oes. Mais geralmente um polin omio homog eneo de grau k designase por forma de grau k . Uma generaliza c ao imediata do resultado anterior e Problema 3.2.2 Seja f : D Rn R uma fun c ao de classe C k (D) e x0 um ponto interior a D (j ) (k ) tal que Dh f (x0 ) = 0 para j < k e h Rn e a forma de grau k Q denida por Q(h) = Dh f (x0 ) e denida positiva. Prove que x0 e um ponto de m nimo local de f . Formule e demonstre outras generaliza c oes do mesmo tipo do teorema 3.2.4. Generaliza c oes deste tipo poder ao ser encontradas por exemplo em [2] (ver tamb em o exerc cio 3.2.12 e o problema 3.2.4). Factos triviais mas muito u teis s ao Problema 3.2.3 a) Seja Q uma forma n ao nula de grau mpar. Prove que Q e uma forma indenida. b) Seja P um polin omio de grau mpar. Prove que P n ao e limitado superior ou inferiormente. Exemplo 3.2.12 Considere-se a fun c ao g : R2 R denida por g (x, y ) = ex
2

y 2

+ y2 .

e tentemos classicar o ponto de estacionaridade (0, 0). De maneira an aloga ao exemplo 2.4.4 obtemos a partir da s erie de Taylor da exponencial

g (x, y ) = 1 + x2 +
j =2

(x2 y 2 )j j!

para todo o (x, y ) R2 . Note-se que a an alise atrav es do termo de segunda ordem da f ormula de Taylor s o nos permite armar que (0, 0) n ao e um ponto de m aximo devido ` a forma quadr atica se anular na direc c ao do eixo dos y s. Podemos tentar compreender o que se passa usando os termos de ordem superior da f ormula de Taylor naquela direc c ao. O primeiro desses termos que n ao se anula e de ordem 4, mais precisamente, g (x, y ) = 1 + x2 + (x2 y 2 ) + E (x, y ) 2 41
24 de Janeiro de 2000
2

CAP ITULO 3. EXTREMOS


E (x,y ) de suspeitar que (0, 0) em que (x E e um ponto de m nimo e 2 +y 2 )2 0 quando (x, y ) 0. tentaremos prov a-lo usando o mesmo racioc nio da demonstra c ao do teorema 3.2.4 em que a minimiza c ao do termo de segunda ordem por um n umero positivo e substitu da pela minimiza c ao simult anea dos termos de segunda e quarta ordem. A ideia natural e usar o termo de quarta ordem para direc c oes pr oximas da do eixo dos y s e o termo de segunda ordem para as restantes. Como o termo de quarta ordem se anula para |x| = |y | e o de segunda ordem para x = 0 tentamos 1 caracterizar tais direc c oes respectivamente por |x| < 1 2 |y | e |x| 2 |y |. 1 Seja ent ao |x| < 2 |y |. Obtemos

1 (x2 + y 2 ) =
2

1 (4) 1 (2) D g (0, 0) + D(x,y) g (0, 0) 2 (x,y) 4! 1


2 y2 )

(x2 +

x2 +

(x2 y 2 ) 2

>

1
2 2 (5 4y )

4 4 8 x4 1 4 (x4 2x2 y 2 + y 4 ) 2y + y > > . 4 2 25 y 25

1 |y | obt em-se Por outro lado para |x| 2

1 (x2 +
2 y2 )

1 (2) 1 (4) D(x,y) g (0, 0) + D(x,y) g (0, 0) 2 4! = 1 (x2 +


2 y2 )

x2 +

(x2 y 2 ) 2

>

x2 (x2 +
2 y2 )

x2 + y 2 4(x2 + y 2 )
2

1 . 4(x2 + y 2 )

Agora j a e poss vel aplicar um racioc nio id entico ao do teorema 3.2.4 para concluir que (0, 0) e efectivamente um ponto de m nimo. O leitor poder a ter considerado a resolu c ao do exerc cio 3.2.12 algo ad hoc e suspeitado que existe um resultado abstracto que poderia ter sido usado. De facto assim e embora a maior parte das ideias relevantes j a conste da resolu c ao do exerc cio. Problema 3.2.4 Sejam f : D Rn R, f C k (D), x0 um ponto interior a D. Suponha-se (j ) que existe l < k tal que Dh f (x0 ) = 0 para todo o j < l e todo o h Rn , e que h Ql (h) (l ) Dh f (x0 ) e semidenida positiva. Designamos os vectores unit arios que anulam Ql como direc c oes (j ) singulares. Suponha-se ainda que D f (x0 ) = 0 para toda a direc c ao singular e l < j < k e que (k ) Qk ( ) D f (x0 ) > 0 para toda a direc c ao singular . Mostre que: a) O conjunto formado por todas as direc c oes singulares e um subconjunto fechado de S n1 que desigamos por F . b) Qk tem um m nimo m1 > 0 sobre F e um m nimo m2 sobre S n1 . c) Existe um aberto A F tal que Qk ( ) >
m1 2

para todo o S n1 A.

d) Ql tem um m nimo m3 > 0 sobre S n1 \ A. e) Valem as estimativas f (x) f (x0 ) |x x0 | em que


Ef (x0 ,xx0 ) |xx0 |k k

Ef (x0 ,xx0 ) m3 2 +m k! + l!|xx0 |kl |xx0 |k Ef (x0 ,xx0 ) m1 2k ! + |xx0 |k

se se

xx0 |xx0 | xx0 |xx0 |

A, A,

0 quando x x0 .

f ) x0 e um ponto de m nimo local de f . Para terminar conv em referir mais uma vez que os testes baseados na f ormula de Taylor podem ser inconclusivos devido ` as raz oes apontadas na introdu c ao a este cap tulo e a exemplicadas com fun c oes reais de vari avel real.
24 de Janeiro de 2000

42

3.2. TESTES DE SEGUNDA ORDEM

3.2.1

Exerc cios suplementares


2 3

Exerc cio 3.2.9 Considere a fun c ao f : R3 R denida por f (x, y, z ) = 2 z x2 + y 2 + z x2 + y 2 .

a) Determine os respectivos pontos de extremo local e absoluto e, se tais pontos existirem, classique-os quanto a serem pontos de m aximo ou de m nimo. b) Determine um polin omio de grau menor ou igual a dois, P (x, y, z ), tal que lim f (x, y, z ) P (x, y, z ) (x 1) + (y 1) + z 2
2 2

(x,y,z )(1,1,0)

= 0,

ou justique que tal polin omio n ao existe. Exerc cio 3.2.10 Considere a fun c ao g : R3 R denida por g (x, y, z ) = x3 (y 2 + z 2 ) 1 x y2 + z2 .

Estude g quanto ` a exist encia de extremos relativos e absolutos. Determine tais extremos se existirem e os pontos onde ocorrem. Sugest ao: Considere primeiro h(x, ) = x3 2 (1 x ). Exerc cio 3.2.11 Seja f : R2 R denida por f (x, y ) =
xy 5 x2 +y 4 ,

0,

se (x, y ) = (0, 0) se (x, y ) = (0, 0).

a) Determine justicadamente o maior subconjunto do dom nio de f em que existem e s ao 2f 2f iguais as derivadas parciais xy e yx . b) Determine e classique os pontos de estacionaridade de f quanto a serem pontos de extremo ou pontos de sela. c) Determine o m aximo e o m nimo da restri c ao de f ao conjunto A = {(x, y ) R2 : x 2 2 y , y x } e os pontos em que ocorrem esses extremos. Exerc cio 3.2.12 Considere a fun c ao f : R2 R denida por f (x, y ) = (y + x2 )(x y 2 ) + 1. Determine, se existirem, os pontos de estacionaridade de f e classique-os quanto a serem pontos de extremo relativo ou pontos de extremo absoluto.

3.2.2
3.2.9

Sugest oes para os exerc cios

a) A fun c ao e constante sobre cada uma das superf cies de equa c ao z x2 + y 2 = , R 2 3 pelo que basta estudar a fun c ao R 2 + . Conclui-se facilmente que f tem um m aximo para z x2 + y 2 = 0 e um m nimo para z x2 + y 2 = 2/3. Tais extremos n ao s ao absolutos. b) Tal polin omio existe e e obviamente o polin omio de Taylor de segunda ordem de f relativo ao ponto (1, 1, 0). 43
24 de Janeiro de 2000

CAP ITULO 3. EXTREMOS

Figura 3.5: Esta gura acompanha a sugest ao de solu c ao do exerc cio 3.2.9. A fun c ao f e constante sobre
cada uma das folhas de cone z x2 + y 2 = .

3.2.10 J a vimos no exerc cio 3.2.9 as vantagens em, quando poss vel, usar simetrias da fun c ao a estudar para estudar um problema equivalente em dimens ao inferior. Naquele caso acab amos estudando um problema unidimensional. No caso presente podemos estudar, usando a sugest ao, um problema bidimensional do qual recuperaremos o problema original por rota c ao em torno do eixo dos xs. Vamos ent ao estudar quanto ` a exist encia de extremos a fun c ao g : {(x, ) R2 : 0} R 3 2 denida por g (x, ) = x (1 x ). Algo que conv em fazer antes de iniciar qualquer tipo de c alculo e tentar identicar linhas de n vel da fun c ao. A intersec c ao num ponto interior de tais linhas de n vel formando um angulo n ao nulo fornece-nos imediatamente a localiza c ao de um ponto de estacionaridade9 . Tal e particularmente f acil para g pois esta fun c ao anula-se sobre o eixo dos xs, sobre o eixo dos s e sobre a recta 1 x = 0. Isto identica como ponto de estacionaridade (x, ) = (1, 0) e se consider assemos a fun c ao estendida para < 0 usando a mesma f f ormula o mesmo se poderia dizer dos pontos (0, 1) e (0, 0). E acil de vericar por an alise do sinal de g que todos estes pontos s ao pontos de sela. Uma observa c ao adicional que se obt em dessa an alise e o facto de g ser positiva no interior do tri angulo T limitado pelas rectas atr as referidas, isto e, T = {(x, ) R2 : x 0, 0, x + 1}. Como T e limitado e fechado h a-de existir no interior de T pelo menos mais um ponto de m aximo de g que ser a portanto mais um ponto de estacionaridade de g . Eventualmente existir ao outros pontos de estacionaridade. Todos estes factos servir ao para vericar a resolu c ao do sistema de estacionaridade de g g 2 2 x x (3(1 x ) x) = 0 g 3 x (2(1 x ) ) = 0. Vericamos imediatamente que todos os pontos sobre os eixos s ao pontos de estacionaridade. Todos os pontos sobre o eixo dos s s ao pontos de sela por an alise do sinal de g . Sobre o eixo dos
9 Enunciado e justica c ao rigorosa desta arma c ao s ao algo que n ao pretendemos apresentar neste momento. Veja mais ` a frente o problema ??.

24 de Janeiro de 2000

44

3.2. TESTES DE SEGUNDA ORDEM

x+ = 1

+
1

Figura 3.6: Esta gura acompanha o exerc cio 3.2.10. A fun c ao f exibe simetria radial relativamente ao
eixo dos xs. No gr aco da direita indicam-se os zeros e sinais de g .

xs a situa c ao e mais complexa: (x, 0) e um ponto de m nimo se 0 < x < 1, um ponto de m aximo se x < 0 ou 1 < x, e um ponto de sela se x = 0 ou x = 1. Pontos de estacionaridade que n ao se encontrem sobre os eixos dever ao satisfazer 3(1 x ) x = 0 2(1 x ) = 0. Este sistema linear tem uma u nica solu c ao: (1/2, 1/3), a solu c ao no interior de T cuja exist encia j a tinha sido garantida e que sabemos tratar-se de um ponto de m aximo. f E acil vericar que g e consequentemente f n ao t em extremos absolutos. Podemos concluir que f possui pontos de m aximo local nos pontos da circunfer encia denida por x = 1/2, y 2 + z 2 = 1/9 onde f vale 1/432, outros pontos de m aximo local nos pontos (x, 0, 0) com x < 0 ou x > 1 onde f vale 0, e pontos de m nimo local nos pontos (x, 0, 0) com 0 < x < 1 onde f vale 0. 3.2.11 y x

1 A

-1

x = y2

y=

- x2

Figura 3.7: Esta gura acompanha os esbo cos de resolu c ao dos Exerc cios 3.2.11 e 3.2.12.

a) No complementar da origem f e uma fun c ao de classe C pelo que a verica-se a igualdade 2 2 f f c ao se anula sobre xy = yx . Resta-nos investigar o que se passa na origem. Como a fun 45
24 de Janeiro de 2000

CAP ITULO 3. EXTREMOS os eixos coordenados decorre da deni c ao de derivada parcial que f f (0, 0) = (0, 0) = 0. x y Al em disso se (x, y ) = / = (0, 0) temos f y 5 (x2 + y 4 ) 2x2 y 5 y 9 x2 y 5 (x, y ) = = 2 2 x (x2 + y 4 ) (x2 + y 4 ) 5xy 4 (x2 + y 4 ) 4xy 8 f xy 8 + 5x3 y 4 (x, y ) = = 2 2 y (x2 + y 4 ) (x2 + y 4 ) donde decorre usando a deni c ao de derivada parcial 2f (0, 0) = 1 yx pelo que o conjunto pretendido e R2 \ {(0, 0)}. b) Do c alculo das derivadas parciais de primeira ordem sabemos que (0, 0) e um ponto de estacionaridade e outros pontos de estacionaridade ser ao solu c oes de y 9 x2 y 5 xy 8 + 5x3 y 4 =0 =0 2f (0, 0) = 0 xy

donde todos os pontos sobre o eixo dos xs s ao pontos de estacionaridade. Outros pontos de estacionaridade dever ao satisfazer y 4 x2 xy 4 + 5x3 =0 = 0.

Da primeira equa c ao deste sistema eventuais solu c oes adicionais devem satisfazer y 4 = x2 . Por substitui c ao na segunda equa c ao obt em-se unicamente a solu c ao (x, y ) = (0, 0). Estabelecemos ent ao que o conjunto dos pontos de estacionaridade e o eixo dos xs. Por an alise do sinal da fun c ao na sua vizinhan ca vericamos que todos s ao pontos de sela. c) Os extremos absolutos de f restringida a A ocorrem nalgum ponto de A pois trata-se de um conjunto limitado e fechado. Se ocorressem em pontos interiores tais pontos seriam pontos de extremo local o que da al nea anterior n ao acontece. Assim estudamos a restri c ao de f ` a fronteira de A (veja a gura 3.7). Denimos g (y ) = f (y 2 , y ) = y 3 /2 para 1 y 0. Temos 1/2 = g (1) < g (y ) < g (0) = 0 sempre que 1 < y < 0. Denimos h(x) = f (x, x2 ) = 9x8 (1+x6 )6x14 x9 x14 +9x8 1+ = 3(1+ < 0 para 0 < x < 1 x6 para 0 x 1. Como h (x) = (1+x6 )2 x6 )2 temos 1/2 = h(1) < h(x) < h(0) = 0 para 0 < x < 1. As fun c oes g e h d ao-nos os valores de f sobre a fronteira de A. Podemos concluir que 1 = f (1, 1) < f (x, y ) < f (0, 0) = 0 para todo os (x, y ) A \ {(0, 0), (1, 1)}.

3.2.12 O conjunto de zeros de f est a esbo cado na gura 3.2.11. Observe que (0, 0) e (1, 1) s ao necessariamente pontos de sela e que existir a pelo menos um ponto de extremo local na regi a o denida por x y x2 . A solu c ao do sistema de estacionaridade permite obter com efeito que os u nicos pontos de estacionaridade s ao (0, 0), (1/2, 1/2) e (1, 1). Por an alise do sinal de f conclui-se que (1/2, 1/2) e um ponto de m nimo local. A fun c ao n ao tem extremos absolutos.

24 de Janeiro de 2000

46

Cap tulo 4

Teoremas da Fun c ao Inversa e da Fun c ao Impl cita


Neste cap tulo vamos estudar condi c oes que permitem assegurar a exist encia da inversa de fun c oes de Rn Rn , bem como condi c oes que garantam a resolubilidade de equa c oes da forma f (x, y ) = 0 de modo a obtermos uma das vari aveis em fun c ao da outra. Em casos simples conseguimos inverter as fun c oes ou resolver as equa c oes explicitamente; no entanto, na maioria dos casos, tal tarefa e complexa se n ao imposs vel. Os resultados gerais que obteremos (teoremas 4.3.1 e 4.4.1) asseguram a resolu c ao destas quest oes num sentido local a precisar. Exerc cio 4.0.13 Conven ca-se da diculdade de resolver problemas do tipo mencionado tentanto inverter a fun c ao f : R+ R+ R2 denida por f (x, y ) = (xy, x2 y 2 ). Note que a an alise deste problema pode ser feita de uma forma simples!

4.1

Invertibilidade de fun c oes

Comecemos por recordar a deni c ao de fun c ao injectiva Deni c ao 4.1.1 Diz-se que uma fun c ao f : A B , onde A e B s ao conjuntos arbitr arios, e injectiva se, sempre que x = y (x, y A), se tenha f (x) = f (y ). Observe que a deni c ao anterior e equivalente a dizer que se f (x) = f (y ) ent ao necessariamente tamb se verica x = y . E em equivalente a mostrar que a equa c ao f (x) = a, para a B , tem, quando muito, uma solu c ao. Exerc cio 4.1.1 Prove estas duas u ltimas arma c oes. Consideremos agora o seguinte exemplo: Exemplo 4.1.1 Seja f : R2 R+ R+ a fun c ao denida por f (x, y ) = (ex , ex+y ). Provemos que ela e injectiva. Suponhamos que f (x1 , y1 ) = f (x2 , y2 ). Ent ao ex1 = ex2 ex1 +y1 = ex2 +y2 .

A primeira equa c ao implica x1 = x2 . Utilizando este resultado na segunda equa c ao obtemos y1 = y2 pelo que f e injectiva. 47

INVERSA E DA FUNC IMPL CAP ITULO 4. TEOREMAS DA FUNC AO AO ICITA


1

0.5

0.5 -0.5

1.5

-1

Figura 4.1: Rectas x = 1 e x + y = 1 Exerc cio 4.1.2 Prove que a fun c ao identidade de Rn em Rn , isto e, f : Rn Rn denida por f (x) = x, e injectiva. Poder amos ter resolvido o exemplo anterior utilizando o m etodo gr aco que veremos de seguida: Exemplo 4.1.2 Seja (a, b) com a, b > 0 um ponto no contradom nio de f . Queremos mostrar que o sistema ex = a e ex+y = b s o tem uma solu c ao. Gracamente, as solu c oes v ao ser a intersec c ao das rectas da forma x = log a c e x + y = log b d. Como se pode ver na gura 4.1 (para c = d = 1) estas rectas intersectam-se num u nico ponto uma vez que n ao s ao paralelas. Assim, como para cada par (a, b) existe no m aximo uma pr e-imagem,1 conclu mos que a fun c ao e injectiva. Este exemplo sugere que e poss vel, utilizando apenas argumentos de natureza geom etrica, vericar a injectividade de uma fun c ao. Sistematizemos este processo. Seja f uma fun c ao cont nua, f : R2 R2 , com f = (f1 , f2 ). Suponhamos que queremos estudar a injectividade de f bem como caracterizar o seu contradom nio. 1 2 Consideremos Ca , conjunto de n vel de f1 , denido por f1 (x, y ) = a e Cb , denido por f2 (x, y ) = b, conjunto de n vel de f2 , sendo a e b reais xos. Podemos (em princ pio), para cada par (a, b), desenhar estes dois conjuntos; estudando o n umero de pontos de intersec c ao destas curvas para valores de a e b arbitr arios podemos tirar conclus oes importantes sobre a injectividade e contradom nio de f , tal como arma a pr oxima proposi c ao (observe a gura ). Proposi c ao 4.1.1 Seja f : A R2 R2 (f = (f1 , f2 )) uma fun c ao cont nua. Dena-se
1 Ca = {(x, y ) A : f1 (x, y ) = a} 2 e Cb = {(x, y ) A : f2 (x, y ) = b} .

Ent ao:
1 2 1. o contradom nio de f e o conjunto de pontos (a, b) R2 tais que Ca Cb = ; 1 2 2. a fun c ao e injectiva sse para qualquer par (a, b) R2 , o conjunto Ca Cb tiver no m aximo um elemento.

Exerc cio 4.1.3 Demonstre a proposi c ao anterior. Exerc cio 4.1.4 Decida se a fun c ao f (x, y ) = (x + y, x2 + y 2 ) e ou n ao injectiva. Este m etodo, sendo bastante geral para o caso de fun c oes de R2 R2 , n ao e f acil de aplicar, pelo menos directamente, no caso mais geral de fun c oes com mais de 2 vari aveis, visto que o desenho de superf cies em R3 e bastante dif cil e em Rn , n 4, praticamente imposs vel. No entanto, nalguns casos particulares ainda e poss vel utilizar ideias semelhantes, como podemos vericar no exemplo seguinte.
1A

pr e-imagem de (a, b) e o conjunto de todos os pontos x do dom nio de f tais que f (x) = (a, b).

24 de Janeiro de 2000

48

4.1. INVERTIBILIDADE DE FUNC OES

T
-1 f |T

f |T

-1 f |S

f |S S linhas de nvel de f2 linhas de nvel de f1

Figura 4.2: O m etodo gr aco para analisar invertibilidade de aplica c oes de R2 em R2 e invertibilidade
local versus invertibilidade global. As curvas de n vel de f1 e f2 intersectam-se em dois pontos pelo que (f1 , f2 ) n ao e injectiva. No entanto a restri c ao a S ou a T e injectiva.

Exemplo 4.1.3 Consideremos a fun c ao f : R3 R3 denida por f (x, y, z ) = (x2 + y 2 + z 2 , x + y + z, x y ). Mostremos que ela n ao e injectiva. Seja (a, b, c) um ponto no contradom nio de f . Podemos tomar, por exemplo, b = c = 0 e a > 0. A equa c ao f (x, y, z ) = (a, 0, 0) tem como solu c ao os pontos que est ao na intersec c ao da esfera centrada na origem denida por x2 + y 2 + z 2 = a (note que esta equa c ao dene uma esfera pois a > 0) com a recta denida por x+y+z =0 xy =0 (4.1)

(a equa c ao x + y + z = 0 dene um plano que intersecta o plano x y = 0 numa recta). Esta recta, que passa pela origem ((x, y, z ) = (0, 0, 0) satisfaz o sistema 4.1), intersecta qualquer esfera centrada na origem em dois pontos distintos. Desta observa c ao conclu mos imediatamente que f n ao pode ser injectiva. A complexidade de exemplos como os anteriores n ao ocorre para transforma c oes lineares. Nesse caso a injectividade local garante invertibilidade global. Exerc cio 4.1.5 Seja T uma transforma c ao linear de Rn em Rn . Justique que o contradom nio n de T e R sse T e injectiva numa vizinhan ca de 0 sse T e invert vel. 49
24 de Janeiro de 2000

INVERSA E DA FUNC IMPL CAP ITULO 4. TEOREMAS DA FUNC AO AO ICITA A pr oxima proposi c ao relaciona a injectividade com a possibilidade de invertermos uma fun c ao. Proposi c ao 4.1.2 Seja f uma fun c ao de A Rn em B Rn . Se f for injectiva, existe uma fun c ao g : f (A) B A tal que (g f )(x) = x para todo o x A. A esta fun c ao g chama-se inversa de f e designa-se por f 1 . Nota: A fun c ao inversa ter a como dom nio a imagem por f de A, ou seja o conjunto f (A) = {y B : y = f (x), x A} e n ao o conjunto B a n ao ser que f seja sobrejectiva (isto e f (A) = B ). Exemplo 4.1.4 Vamos calcular a inversa da fun c ao f : [, 2 ] R denida porf (x) = cos x. Sabemos que neste intervalo a fun c ao cos e injectiva (desenhe o gr aco do coseno!). Tamb em sabemos que o contradom nio de f e o intervalo [1, 1] pelo que a inversa ser a uma fun c ao f 1 : f A [1, 1] [, 2 ]. A fun c ao arccos x e a inversa do coseno mas no intervalo [0, ]. E acil 1 vericar que a inversa de f e dada por f (y ) = 2 arccos y . Exerc cio 4.1.6 Calcule a inversa da fun c ao fn (x) = sen x, onde fn : [(n 1/2), (n + 1/2) ] R.

4.1.1

Exerc cios Suplementares

Exerc cio 4.1.7 Diga se as seguintes fun c oes s ao ou n ao injectivas: 1. f : {(x, y ) R2 : y = 0} R+ R+ denida por f (x, y ) = ex/y , x2 + y 2 . 2. f : R2 R2 denida por f (x, y ) = (xy, x2 y 2 ). 3. f : R2 R2 denida por f (x, y ) = (x2 + 2y 2 , 2x2 + y 2 ). 4. f : R2 R denida por f (x, y ) = x2 + y 2 . Exerc cio 4.1.8 Mostre que a composi c ao de fun c oes injectivas e uma fun c ao injectiva. Exerc cio 4.1.9 D e uma condi c ao para que uma transforma c ao linear de Rn Rn seja injectiva. Exerc cio 4.1.10 1. Seja f : R R uma fun c ao estritamente mon otona. Justique que f e injectiva. 2. D e um exemplo de uma fun c ao mon otona n ao injectiva. 3. D e um exemplo de uma fun c ao n ao mon otona injectiva. Exerc cio 4.1.11 Prove que uma fun c ao real de vari avel real mon otona mas n ao estritamente mon otona n ao e injectiva. Exerc cio 4.1.12 Seja f : R R, cont nua. Prove que f e estritamente mon otona sse for injectiva. D e um exemplo de um conjunto A R e de uma fun c ao f : A R cont nua tal que f n ao seja mon otona mas seja injectiva. Exerc cio 4.1.13 Mostre que a fun c ao f (v ) = seu contradom nio.
v 1v 2

com v ] 1, 1[ e injectiva e determine o

Exerc cio 4.1.14 Mostre que uma fun c ao real de vari avel real par nunca e injectiva.
24 de Janeiro de 2000

50

4.1. INVERTIBILIDADE DE FUNC OES Exerc cio 4.1.15 Mostre que uma fun c ao real de vari avel real diferenci avel e injectiva se a sua derivada for sempre positiva ou sempre negativa. Exerc cio 4.1.16 Consideremos a fun c ao f : R3 R+ R2 denida por f (x, y, z ) = ex+z , (x + y )3 , (x y )5 . Mostre que ela e injectiva. Exerc cio 4.1.17 Considere a fun c ao f : R3 R3 denida por f (x, y, z ) = (4x2 + y 2 + 2z 2 , (x + y z )2n+1 , (x y )4n+3 ) para n N. Determine se ela e injectiva. Determine se a restri c ao de f a R+ R+ R+ e ou n ao injectiva. Exerc cio 4.1.18 Mostre que se uma fun c ao f : Rn Rn vericar para todos os pontos x, y f (x) f (y ) c x y p , para alguns p, c > 0 ent ao f e injectiva. Exerc cio 4.1.19 Prove que a fun c ao f : {(x, y ) R2 : x > 0, 0 y < 2 } R denida por f (x, y ) = (x cos y, x sen y ) e injectiva e determine a sua inversa.

4.1.2
4.1.7

Sugest oes para os exerc cios


x y

1. Repare que para a, b > 0, as curvas de n vel denidas por


2 2

= a s ao as rectas denidas por x = ay e as curvas denidas por x + y = b s ao circunfer encias de raio b.

2. Repare que para a, b = 0, as curvas de n vel denidas por xy = a s ao hip erboles bem como as denidas por x2 y 2 = (x + y )(x y ) = b s ao tamb em hip erboles. 3. Ambas as curvas de n vel s ao elipses. 4. f (1, 0) = f (0, 1). Tente descobrir geometricamente porque e que f n ao e injectiva.

4.1.8 f (g (x)) = f (g (y )) g (x) = g (y ) x = y . 4.1.9 A equa c ao Ax = y tem solu c ao u nica em Rn sse det A = 0. 4.1.10 1. f e estritamente mon otona sse x < y ent ao f (x) < f (y ) ou f (x) > f (y ). 2. Por exemplo f (x) = 1 para x R. 3. Por exemplo f (x) = 1/x para x R \ {0}, f (0) = 0. 4.1.11 Escreva a deni c ao de fun c ao estritamente mon otona e compare com a deni c ao de fun c ao mon otona. 4.1.12 Recorde o que fez no exerc cio anterior e utilize as propriedades das fun c oes cont nuas. 4.1.13 A fun c ao e estritamente crescente e portanto injectiva. O seu contradom nio e R. 4.1.14 Se f e par ent ao f (x) = f (x). 51
24 de Janeiro de 2000

INVERSA E DA FUNC IMPL CAP ITULO 4. TEOREMAS DA FUNC AO AO ICITA 4.1.15 Se a derivada for sempre positiva ou sempre negativa a fun c ao e mon otona. 4.1.16 Repare que a fun c ao e a composi c ao da transforma c ao linear (x, y, z ) (x + z, x + y, x y ) com a fun c ao (x, y, z ) (ex , y 3 , z 5 ). Se ambas as fun c oes forem injectivas f tamb em ser a. Alternativamente poder a aplicar o m etodo gr aco. 4.1.17 As solu c oes da equa c ao f (x, y, z ) = (a, b, c) est ao sobre a intersec c ao de um elips oide com dois planos. 4.1.18 Se f (x) = f (y ) temos 0 f (x) f (y ) c x y p o que implica x = y . 4.1.19 Repare que a inversa pode ter de ser escrita por ramos (veja o exemplo 4.1.4).

4.2

Teorema do valor m edio para fun c oes vectoriais

Vai ser necess ario, em particular ao iniciar o estudo do teorema da fun c ao inversa, estimar dist ancias no contradom nio de uma fun c ao em termos de dist ancias no dom nio, isto e, estimar F (x) F (y ) em termos de x y . Para tal necessitaremos do Lema 4.2.1 (Teorema do valor m edio) Seja F : U Rn Rm uma fun c ao de classe C 1 (S ). Sejam x, y S e tais que o segmento de recta que une x a y est a contido em S . Ent ao F (x) F (y ) sup
t[0,1]

DF (tx + (1 t)y )(x y ) .

Ideia da demonstra c ao. Mais uma vez recorremos ao teorema do valor m edio para fun c oes escalares atrav es de uma fun c ao auxiliar. Seja g (t) = (F (x) F (y )) F (tx + (1 t)y ). Aplique-se o teorema do valor m edio a g no intervalo [0, 1] e estime-se usando a desigualdade de Cauchy-Schwarz. Este resultado ainda n ao tem a forma pretendida. Para isso introduzimos Deni c ao 4.2.1 (Norma de aplica c oes lineares e de matrizes) Seja L : Rn Rm uma aplica c ao linear. Denimos a norma de L como sendo L sup
x =1

L(x) .

Seja A Mmn . Denimos a norma de A atrav es de A = LA . em que LA e a aplica c ao linear denida canonicamente pela matriz A via LA (x) = Ax. Por vezes consideraremos outras normas para matrizes reais como A 2 = tr AT A ou A = m axi,j |aij | em que A = (aij )i,j =1,...,n . Continua a valer nesta situa c ao a observa c ao feita para normas em Rn de que todas estas normas s ao equivalentes. O problema seguinte formaliza isso de alguma forma. Problema 4.2.1 Seja E um espa co vectorial real ou complexo. Designe-se K = R ou K = C conforme o caso. Uma fun c ao : E R diz-se uma norma em E se verica as propriedades enumeradas na deni c ao 2.1.1 substituindo Rn E e x R x K. 1. Verique que as normas de aplica c oes lineares e matrizes da deni c ao 4.2.1 s ao normas nesta acep c ao geral. 2. Verique que quaisquer duas normas num espa co vectorial de dimens ao nita s ao equivalentes (adapte o enunciado e solu c ao do exerc cio 2.1.13). 3. Quais s ao as melhores contantes na equival encia entre as normas de matrizes mencionadas na deni c ao 4.2.1?
24 de Janeiro de 2000

52

INVERSA 4.3. TEOREMA DA FUNC AO Corol ario 4.2.2 Sob as mesmas hip oteses do lema 4.2.1 vale F (x) F (y ) m ax DF (tx + (1 t)y ) x y .
t[0,1]

(4.2)

Mais geralmente se F C 1 (K ), com K um conjunto limitado, fechado e convexo2 , ent ao para todos os x, y K temos |F (x) F (y )| m ax DF (tx + (1 t)y ) x y .
t[0,1]

Ambos os m aximos atr as referidos s ao nitos (porqu e?). Problema 4.2.2 Conv em notar que n ao existe uma vers ao do teorema do valor m edio para fun c oes vectoriais an aloga ` a conhecida para fun c oes escalares e que envolva uma igualdade da forma f (b) f (a) = Df (a + (b a))(b a). Com efeito, pode vericar que para a fun c ao g : R R2 denida por g (t) = (cos t, sen t) n ao existe ]0, 2 [ tal que g (2 ) g (0) = Dg ()(2 ) embora a desigualdade 4.2. Problema 4.2.3 Seja A Mnn e LA a aplica c ao linear denida canonicamente por A como denido anteriormente. Obtenha uma express ao para o valor de LA em termos dos valores pr oprios de AT A.

4.3

Teorema da Fun c ao Inversa

Em primeira aproxima c ao o teorema da fun c ao inversa diz respeito ` a resolu c ao de sistemas de equa c oes n ao lineares da forma F (x) = y (4.3) em que x, y Rn . Pretende-se obter, sob condi c oes apropriadas, a garantia de exist encia de uma fun c ao que nos d e x em fun c ao de y satisfazendo a equa c ao, avaliar da regularidade de tal fun c ao e relacionar a derivada da inversa com a derivada de F . Tais objectivos s o s ao exequ veis sob condi c oes particulares e desde que entendamos a exist encia de inversa num sentido local, isto e, dado um ponto x0 no dom nio de F estabelece-se a exist encia de vizinhan cas V de x0 e W de F (x0 ) e de uma fun c ao G : W V tal que para todo o x V temos G(F (x)) = x. Nota-se que s ao casos particulares j a conhecidos os seguintes: Exemplo 4.3.1 (Caso linear) Suponha-se que A M, em que M designa as matrizes reais n n, e b Rn . Considere-se F (x) Ax + b. Ent ao o sistema (4.3) e sol uvel se e s o se det A = 0 e nesse caso podemos obter explicitamente x = A1 (y b) F 1 (y ). Note-se que neste caso DF = A, F 1 e diferenci avel e (DF )1 = A1 . Exemplo 4.3.2 (Dimens ao 1) Seja f : ]a, b[ R, f C 1 (]a, b[) , a < x0 < b, y0 f (x0 ), f (x0 ) = 0. Ent ao f mant em o seu sinal numa vizinhan ca V de x0 e consequentemente f e estritamente mon otona em V . Assim a restri c ao de f a V , f |V , e invert vel, diferenci avel e se 1 1 g (f |V ) temos g (y0 ) = [f (x0 )] . Nesta situa c ao podemos abdicar de alguma regularidade de f , supondo f unicamente diferenci avel em vez de C 1 desde que suponhamos que f mant em o seu sinal num intervalo J contendo x0 . Podemos ent ao concluir que f e invert vel em J .
2 Um subconjunto de um espa co vectorial diz-se convexo se cont em qualquer segmento de recta denido por um par dos seus pontos.

53

24 de Janeiro de 2000

INVERSA E DA FUNC IMPL CAP ITULO 4. TEOREMAS DA FUNC AO AO ICITA A segunda parte do exemplo anterior deve ser contrastado com Problema 4.3.1 Considere a aplica c ao3 R2 (x, y ) (ex cos y, ex sen y ). Verique que o determinante da matriz jacobiana desta fun c ao mant em o sinal em R2 e no entanto a fun c ao n ao e invert vel. No entanto, dado um ponto existe uma vizinhan ca tal que a restri c ao da fun c ao a essa vizinhan ca e invert vel. Basta ter em conta o caso linear descrito no exemplo 4.3.1 para constatar que a generaliza c ao do teorema da fun c ao inversa que procuramos n ao ter a entre as suas hip oteses DF (x0 ) = 0 por esta hip otese n ao ser suciente para garantir invertibilidade. O caso linear sugere fortemente que uma hip otese a considerar seja DF (x0 ) invert vel e, de facto, assim e. Uma forte sugest ao de que assim ser a decorre tamb em do seguinte problema Problema 4.3.2 Considere uma fun c ao F denida num aberto, diferenci avel e que possui inversa diferenci avel. a) Verique a rela c ao (DF )1 = D(F 1 ). b) Verique que se F C 1 ent ao F 1 C 1 . A import ancia do teorema da fun c ao inversa vai decorrer n ao s o do resultado em si mas tamb em dos m etodos a aplicar na demonstra c ao serem suscept veis de generaliza c ao a outras areas de Matem atica4 . Por isso vamos dedicar algum tempo a motivar e descrever as principais ideias da sua demonstra c ao. No entanto, antes de iniciar a discuss ao do teorema propriamente dito conv em notar algus factos elementares. A ideia base consiste na constru c ao da inversa local atrav es dum limite de aproxima c oes sucessivas sendo cada aproxima c ao constru da atrav es da resolu c ao dum problema linear em que um dos dados e o termo anterior da sucess ao. Designaremos tal sucess ao por (xi )iN e a aplica c ao que associa a cada termo da sucess ao o termo seguinte por Ty , isto e Ty (xi1 ) = xi para i N. O dom nio de Ty ser a uma vizinhan ca V de x0 e y W uma vizinhan ca de y0 F (x0 ). Tais vizinhan cas ser ao escolhidas sucientemente pequenas de maneira a a se vericarem condi c oes que garantam a converg encia da sucess ao (xi )iN . Existem pelo menos duas hip oteses naturais para a escolha de Ty via a substitui c ao de F por uma sua aproxima c ao linear e resolu c ao do sistema linear correspondente: 1 Ty (x) = x + DF (x) (y F (x)) (4.4) ou Ty (x) = x + DF (x0 )
1

(y F (x)).

(4.5)

O signicado de cada uma destas duas escolhas e ilustrado para o caso unidimensional na gura 4.3. Embora a primeira possa parecer mais natural a segunda tem a vantagem de n ao ser necess ario ter de controlar a varia c ao da derivada DF (x) o que permitir a alguma simplica c ao do argumento 5 . Consideramos ent ao que Ty est a denida por (4.5) com x e y em vizinhan cas a especicar de x0 e y0 . 0 k k1 Convencionamos que Ty Ty e Ty Ty Ty . Pretendemos provar que a inversa local, G, e dada por k G(y ) = lim Ty (x0 ). (4.6)
k

Exerc cio 4.3.1 Experimente aplicar o algoritmo descrito ao problema de determinar zeros de f (x) = x x2 come cando com x0 = 1/2. E com x0 = 4?
mais tarde que se identicarmos R2 a C da maneira habitual esta aplica c ao e simplesmente z ez . 4 Para a maioria dos alunos tais exemplos ser ao encontrados ao estudar An alise Num erica e Equa c oes Diferenciais Ordin arias. 5 A op c ao pela segunda hip otese e tamb em natural do ponto de vista do m etodo num erico, conhecido por m etodo de Newton, a que corresponde, pois evita recalcular e inverter uma matriz em cada itera c ao C
3 Vericaremos

24 de Janeiro de 2000

54

INVERSA 4.3. TEOREMA DA FUNC AO

y0

y0

x2

x1

x0

x2 x1

x0

Figura 4.3: Duas hip oteses para a determina c ao de ra zes de uma equa c ao n ao linear por itera c oes
sucessivas.

Claro que uma hip otese necess aria para que estas ideias funcionem ser a exigir que DF (x0 ) seja invert vel ou de forma equivalente que o determinante da matriz jacobiana em x0 seja n ao nulo. Primeiro vericaremos que o limite em 4.6 existe e s o depois que o limite e a solu c ao pretendida. Finalmente vericar-se- a a regularidade da inversa local constru da. Resumindo, os passos essenciais da demonstra c ao do teorema da fun c ao inversa s ao: 1. Mostrar que a sucess ao de aproxima c oes sucessivas (xk )kN e convergente. 2. Mostrar que o limite da sucess ao dene uma inversa local. 3. Mostrar que a inversa local e de classe C 1 . Comecemos ent ao por tentar provar que a sucesss ao de aproxima c oes sucessivas e convergente. Tal ser a feito ` a custa de um desenvolvimento telesc opico dos termos da sucess ao da seguinte forma
i

xi = x0 +
j =1

(xj xj 1 ).

Tal permite reduzir o estudo da converg encia da sucess ao ao estudo da converg encia da s erie xj xj 1 . Para isso iremos utilizar Problema 4.3.3 Seja k=1 xk uma s erie de termo geral em Rn . Prove que se a s erie e convergente em R ent ao a s erie e convergente6 .
+ + k=1

xk

Para provar a converg encia da s erie j xj xj 1 tentaremos estabelecer condi c oes que garantem que o seu termo geral e majorado pelo de uma s erie geom etrica convergente. Isto equivale a exigir que xj +1 xj xj xj 1 para alguma constante , com 0 < 1. Ora xj +1 xj = Ty (xj ) Ty (xj 1 ) pelo que tal objectivo estar a garantido se a aplica c ao Ty vericar para todo o x, z V e todo o yW Ty (x) Ty (z ) x z . (4.7)
6 Nestas

condi c oes diz-se que a s erie e absolutamente convergente.

55

24 de Janeiro de 2000

INVERSA E DA FUNC IMPL CAP ITULO 4. TEOREMAS DA FUNC AO AO ICITA

y0

x0

(f|V )

Figura 4.4: Algumas das conven c oes na demonstra c ao do teorema da fun c ao inversa. Com efeito Ty (x) Ty (z ) = x z DF (x0 )1 (F (x) F (z )) = DF (x0 )1 (F (x) F (z ) DF (x0 )(x z )) M (F (x) F (z ) DF (x0 )(x z )) M x z , em que M = DF (x0 )1 e na u ltima passagem usou-se o teorema do valor m edio aplicado ` a fun c ao H (x) = F (x) DF (x0 )(x x0 ) sendo = supxV DH (x) e exigindo que V seja convexa (uma bola). Notando que DH (x0 ) = 0 e usando a continuidade das derivadas parciais de F , conclu mos que podemos fazer M < 1 desde que V seja sucientemente pequena (uma bola com raio sucientemente pequeno B (x0 )). Provamos agora que os termos das sucess oes e os seus limites pertencem ` a vizinhan ca V de x0 desde que W e V sejam escolhidas sucientemente pequenas. Isto completar a a justica c ao da converg encia da sucess ao de aproxima c oes sucessivas. Para isso estimamos Ty (x) x0 = x x0 + DF (x0 )1 (y F (x0 ) + F (x0 ) F (x)) DF (x0 )1 (y F (x0 )) + x x0 + DF (x0 )1 (F (x0 ) F (x)) M y F (x0 ) + M (F (x0 ) F (x)) DF (x0 )(x0 x) M y F (x0 ) + M x0 x de oonde podemos concluir que, se escolhermos > 0 de maneira a que x0 x < garanta M < 1/3, podemos escolher tamb em y F (x0 ) < r de maneira a M r < /3, donde Ty (x) x0 < 2 3 . Logo todos os termos das sucess oes e os seus limites estar ao em B 2 ( x ) B ( x ) V . 0 0 3 Notamos tamb em que G(y ) satisfaz F (G(y )) = y se Ty (G(y )) = G(y ). Esta u ltima igualdade decorre da continuidade de Ty que por sua vez decorre da desigualdade (4.7). Assim G satisfaz F (G(y )) = y . Ainda n ao prov amos que numa vizinhan ca sucientemente pequena de x0 a fun c ao F e injectiva. A n ao injectividade corresponderia ` a exist encia de x, z , x = z tais que F (x) = F (z ) = y . Ter amos ent ao tamb em Ty (x) = Ty (z ). Assim x z = Ty (x) Ty (z ) x z com 0 < < 1, para x, z B (x0 ), o que e imposs vel a n ao ser que x = z . Resta agora estabelecer propriedades da inversa local. Note-se que, se estabelecermos que a inversa local e diferenci avel com derivada dada por DG(F (x)) = (DF (x))1 , a continuidade de DF mais a f ormula expl tica para a matriz jacobiana de G estabelecem que DG C 17 . A
7 De

forma an aloga se F C k ent ao G C k com k 2 ou k =

24 de Janeiro de 2000

56

INVERSA 4.3. TEOREMA DA FUNC AO unicidade local da inversa permite limitarmo-nos a analisar a diferenciabilidade em y0 = F (x0 ). Para tal, convencionando F (x) = y e x = x0 , considera-se E G(y ) G(y0 ) DF (x0 )1 (y y0 ) = x x0 DF (x0 )1 (F (x) F (x0 )) = x x0 DF (x0 )1 (DF (x0 )(x x0 ) + o( x x0 )) = DF (x0 )1 (o( x x0 )) DF (x0 )1 o( x x0 ) . Demonstrar a diferenciabilidade de G em y0 com derivada DF (x0 )1 corresponde a mostrar que E/ y y0 0 quando y y0 o que a desigualdade anterior permite reduzir a mostrar que xx0 e limitado para x numa vizinhan ca de x0 e que G e cont nua em x0 (o que garante que y y0 E/ x x0 0 quando y y0 ). Quanto ` a primeira destas quest oes observamos que x x0 1 x x0 = y y0 DF (x0 )(x x0 ) + o( x x0 ) 2 DF (x0 )
Ax x 1 o( xx0 ) xx0

em que no u ltimo passo escolheu-se x numa vizinhan ca de x0 de forma a termos


1 2 DF (x0 ) n
1

e usou-se a estimativa v alida para um operador linear n ao singular A : R R (demonstre-a!). Quanto ` a continuidade de G em y0 deixamos ao cuidado do leitor estabelecer que estimativas j a obtidas permitem armar que dado > 0 existem com 0 < < e r > 0 tais que y y0 < r e x x0 < implicam Ty (x) x0 < . Consequentemente, k por indu c ao obt em-se que Ty (x0 ) x0 < para todo o k N e por passagem ao limite G(y ) G(y0 ) < . Provou-se assim:
n

1 A 1

Teorema 4.3.1 (Fun c ao Inversa) Seja F : U Rn Rn uma fun c ao de classe C 1 (U ) em que U e um aberto e seja x0 U tal que DF (x0 ) e n ao singular, isto e, det DF (x0 ) = 0. Ent ao i) existem vizinhan cas V de x0 e W de F (x0 ) tais que F e uma bijec c ao de V sobre W e portanto 1 F| : W V est a bem denida; V
1 1 ii) G = F| V C (W ); 1 iii) a derivada da fun c ao G = F| V no ponto y = f (x) verica

D(G)(y ) = (DF (x))1 , para todo o x V ou todo o y W . Adicionalmente se F C k (U ) com k N ou k = ent ao G C k (W ). Conv em acentuar que o teorema da fun c ao inversa n ao garante invertibilidade global e n ao e suscept vel de ser melhorado nesse sentido devido a exemplos como o do problema 4.3.1. Exemplo 4.3.3 Consideremos a fun c ao f : R2 \ {(0, 0)} R2 denida por f (x, y ) = xy, y 2 x2 . O seu jacobiano8 e dado por det
8 Jacobiano

f1 x f2 x

f1 y f2 y

= det

y x = 2(x2 + y 2 ). 2x 2y

e uma abreviatura de determinante da matriz jacobiana.

57

24 de Janeiro de 2000

INVERSA E DA FUNC IMPL CAP ITULO 4. TEOREMAS DA FUNC AO AO ICITA Como este valor e sempre positivo (notemos que a origem foi exclu da do dom nio), o teorema da fun c ao inversa garante a invertibilidade local desta fun c ao. No entanto f (1, 1) = f (1, 1) e logo a fun c ao n ao pode ser globalmente invert vel por n ao ser injectiva. Exerc cio 4.3.2 Seja f : R2 \ {(0, 0)} R2 denida por f (x, y ) = (xy, y 6 x6 ) Mostre que f e localmente injectiva mas n ao globalmente injectiva. Exerc cio 4.3.3 Mostre que f : R R2 denida por f () = (cos , sen ) e localmente mas n ao globalmente injectiva ( n ao utilize o teorema da fun c ao inversa para provar injectividade local mas sim um racioc nio ad hoc). O teorema da fun c ao inversa n ao s o garante, em determinadas condi c oes, a exist encia da inversa de uma fun c ao f , como tamb em permite calcular, gra cas ` a garantia de diferenciabilidade numa vizinhan ca, todas as derivadas de f 1 at e` a ordem m, o grau de diferenciabilidade de f . O exemplo seguinte ilustra este facto: Exemplo 4.3.4 Seja f (x) = x + x2 . O teorema da fun c ao inversa garante que f e invert vel numa vizinhan ca de x = 0. Seja g a inversa de f . Ent ao temos g (0) = 0 e f (g (y )) = g (y ) + g (y )2 = y. Diferenciando a identidade anterior obtemos g g (y ) + 2g (y ) (y ) = 1. y y Portanto em y = 0 temos g (0) = 1. y Diferenciando a identidade 4.8 obtemos 2g g 2g (y ) + 2 (y )2 2g (y ) 2 (y ) = 0 2 y y y de onde se tira 2g (0) = 2. y 2 (4.8)

Exerc cio 4.3.4 Calcule a inversa da fun c ao f (x) = x + x2 e conrme o resultado do exemplo anterior. Exemplo 4.3.5 Seja f : R R uma fun c ao C . Se f (x) = 0, ent ao e poss vel calcular todas 1 as derivadas de f no ponto y = f (x) usando o m etodo seguinte: Consideremos a identidade f f 1 (y ) = y. Derivando ambos os membros da express ao anterior obtemos, pela regra da deriva c ao da fun c ao composta, f 1 f 1 f (y ) (y ) = 1. (4.9) x y Da equa c ao anterior obtemos f 1 (y ) = y
24 de Janeiro de 2000
f x

1 . (f 1 (y ))

58

INVERSA 4.3. TEOREMA DA FUNC AO Para o c alculo de


2 f 1 y 2 (y )

derivamos novamente (4.9), obtendo f 1 (y ) y


2

2 f 1 f (y ) x2 de onde conclu mos

f 1 f (y ) x

2 f 1 (y ) = 0, y 2
2

f 1 (y ) f x2 f y (y ) 2 f 1 ( y ) = 2 f y 2 (f 1 (y )) x

Assim, calculando sucessivamente as diversas derivadas de f 1 podemos desenvolver esta fun c ao em f ormula de Taylor em torno do ponto y e portanto, numa vizinhan ca sucientemente pequena, aproxim a-la com precis ao arbitr aria. Exerc cio 4.3.5 Utilizando as ideias do exemplo anterior calcule 3 f 1 (y ). y 3 Aplicando o exemplo anterior a uma fun c ao podemos obter a f ormula de Taylor de f 1 (y ) em torno de um ponto Exerc cio 4.3.6 Seja f (x) = x + ex . 1. Prove que f e injectiva e portanto a inversa f 1 existe. 2. Calcule o desenvolvimento de Taylor de f 1 (y ), em torno de y = f (0) = 1 at e ` a terceira ordem. Para o c alculo de primeiras derivadas da inversa de uma fun c ao o teorema da fun c ao inversa d a-nos uma express ao expl cita, que pode ser aplicada directamente. Exemplo 4.3.6 Seja f : R2 R2 a fun c ao dada por f (x, y ) = x + y + x3 y xy + 1, x y + x4 ch y . Sabemos que f (0, 0) = (1, 0). Podemos facilmente provar que a fun c ao f admite inversa local denida numa vizinhan ca do ponto (1, 0), sendo f 1 (1, 0) = (0, 0). De facto temos Jf = No ponto (x, y ) = (0, 0) obtemos Df (0, 0) = 1 1 . 1 1 1 + 3x2 y y 1 + 4x3 ch y 1 + x3 x . 1 + x4 sh y

1 1 Assim, como det Df = 2 = 0 e a fun c ao e de classe C existe inversa f 1 = (f1 , f2 ) tamb em C numa vizinhan ca de (u, v ) = (1, 0) e vericando
1 f1 u 1 f2 u 1 f1 v 1 f2 v

Df

(1, 0) =

=
(u,v )=(1,0)

1 1 1 1

1/2 1/2 . 1/2 1/2

Podemos tamb em aplicar ideias semelhantes ` as do exemplo (4.3.5) para fun c oes de Rn em Rn . Utilizando um procedimento an alogo, resolva ent ao o seguinte exerc cio: Exerc cio 4.3.7 Determine
2 f 1 u2 (u, v )

com (u, v ) = f (x, y ) = xy, x2 y 2 . 59


24 de Janeiro de 2000

INVERSA E DA FUNC IMPL CAP ITULO 4. TEOREMAS DA FUNC AO AO ICITA Com o teorema da fun c ao inversa tamb em podemos dar uma condi c ao de injectividade local sobre fun co es de Rn Rm , com m n, como se pode vericar no exemplo seguinte: Exemplo 4.3.7 Se car[Df ] = n (isto e a caracter stica de Df ou seja o n umero de linhas ou colunas linearmente independentes de Df for n) ent ao a fun c ao f e localmente injectiva. Seja f : Rn Rm , com f (x) = (f1 (x), . . . , fm (x). Se car[Df ] = n no ponto x0 ent ao existem ndices i1 , . . . , in tais que a matriz f f 1 i1 . . . xin x1 . . . . . . . fin fin . . . xn x1 tem determinante n ao nulo. Ent ao, pelo teorema da fun c ao inversa a fun c ao g (x) = (fi1 , . . . , fin ) e localmente injectiva, pelo que f tamb em ser a localmente injectiva. Exerc cio 4.3.8 Mostre, usando o exemplo anterior, que a aplica c ao R localmente injectiva. x (sen x, cos x) e

4.3.1

Exerc cios Suplementares

Exerc cio 4.3.9 Considere o sistema de equa c oes u= v= xy + sen(x + y ), ex+y2 + x y.

Mostre que existem vizinhan cas de (u, v ) = (1, 0) e de (x, y ) = (1, 1) tais que o sistema dene (x, y ) como uma fun c ao C 1 de (u, v ) desde que as vari aveis estejam nessas vizinhan cas. Calcule x ( 1 , 0) . u Exerc cio 4.3.10 Considere o sistema de equa c oes n ao lineares u v = x2 y 3 + sen(x + y ) 1, = sen(xy ) + x y + 1.

a) Mostre que existem vizinhan cas de (x, y ) = (0, 0) e de (u, v ) = (1, 1) tais que aquele sistema dene (x, y ) como uma fun c ao C de (u, v ) em tais vizinhan cas. b) Calcule a matriz jacobiana da fun c ao cuja exist encia garantiu na al nea anterior no ponto (1, 1). Exerc cio 4.3.11 Considere a fun c ao real de vari avel real denida por f (x) = cos x. 1. Qual a maior vizinhan ca V do ponto /4 tal que f|V e injectiva? Calcule a inversa de f em V . 2. Existe alguma vizinhan ca de na qual a fun c ao f seja injectiva?
1 1 3. Calcule uma inversa local de f , f/ 2 , tal que f/2 (0) = 2. 3 2 .

1 1 4. Calcule uma inversa local de f , f3 /2 , tal que f3/2 (0) =

Exerc cio 4.3.12 Mostre que a fun c ao f : R2 \ {(0, 0)} R2 \ {(0, 0)} e localmente mas n ao globalmente injectiva f (x, y ) = (xy, 2x2 5y 2 ).
24 de Janeiro de 2000

60

INVERSA 4.3. TEOREMA DA FUNC AO


1

0.5

-2

-0.5

-1

Figura 4.5: Gr aco do coseno Exerc cio 4.3.13 Mostre que a fun c ao f : R3 R3 , denida por f (x, y, z ) = (sen(x + y ), sen(x y ), z 3 z 5 ), e localmente injectiva em torno (0, 0, 0) mas que n ao e globalmente injectiva. Exerc cio 4.3.14 Considere o sistema de equa c oes u= v= xy + sen(x + y ), ex+y2 + x y.

Mostre que existem vizinhan cas de (u, v ) = (1, 0) e de (x, y ) = (1, 1) tais que o sistema dene (x, y ) como uma fun c ao C 1 de (u, v ) desde que as vari aveis estejam nessas vizinhan cas. Calcule x ( 1 , 0) . u Exerc cio 4.3.15 Seja f : A Rn uma fun c ao de classe C 1 , onde A e um conjunto aberto. Prove que para cada conjunto compacto C , C A onde Jf = 0 existe um n umero nito de conjuntos abertos Ui tais que C Ui e f e invert vel em cada Ui . Sugest ao: Utilize o teorema de Heine-Borel. Exerc cio 4.3.16 Considere a fun c ao f (x, y ) = (sen x arccotg y, cos x arccotg y ). Prove que 1. Jf (x, y ) = 0 para todo o x e y . 2. f n ao e injectiva.

4.3.2
4.3.11

Sugest oes para os exerc cios

1. Observe a gura 4.5 e repare que a restri c ao da fun c ao cos x ao intervalo [, 0] e injectiva. 2. Utilize a gura 4.5. 3. Uma inversa poss vel ser a arccos x, para x [1, 1]. 4. Uma inversa nas condi c oes requeridas e 2 arccos x, para x [1, 1]. 61
24 de Janeiro de 2000

INVERSA E DA FUNC IMPL CAP ITULO 4. TEOREMAS DA FUNC AO AO ICITA

4.3.12 Temos Df = y x 4x 10y

e portanto det Df = 10y 2 4x2 = 0 para x, y = 0. Deste modo o teorema da fun c ao inversa garante a injectividade local de f . Temos tamb em que f (1, 1) = f (1, 1) pelo que f n ao e injectiva. 4.3.13 Repare que a fun c ao (sen(x + y ), sen(x y )) e localmente injectiva numa vizinhan ca da origem. e tamb em f acil vericar que numa vizinhan ca de z = 0 a fun c ao z 3 z 5 e injectiva. Com estes resultados e f acil provar que f e localmente injectiva em torno da origem. f (x, y, 0) = f (x, y, 1), pelo que f n ao pode ser injectiva. 4.3.14 Denindo f (x, y ) = (xy + sen(x + y ), ex+y2 + x y ), temos Df (1, 0) = 2 0 0 . 2

Como o determinante desta matriz e n ao nulo a fun c ao e localmente invert vel e Df 1 (1, 1) = 1/2 0 . 0 1/2

4.3.15 Como o jacobiano n ao se anula, para cada ponto existe uma vizinha ca Ux onde a fun c ao e invert vel. O conjunto de todas estas vizinhan cas e uma cobertura de C . Como este conjunto e compacto podemos extrair uma subcobertura nita (pelo teorema de Heine-Borel). 4.3.16 O primeiro resultado obtem-se pelo m etodo usual, sendo o jacobiano dado por Jf = arccotg y , 1 + y2

que nunca se anula. Note que a fun c ao arccotg n ao est a denida na origem.

4.4

Teorema da Fun c ao Impl cita


f (x, y ) = 0,

Frequentemente necessitamos de resolver equa c oes na forma

em ordem a x ou y . Por em, mesmo para express oes simples, esta tarefa pode ser extremamente dif cil. Para se convencer disto. . . Exerc cio 4.4.1 Tente resolver a equa c ao y + sen y x = 0 (4.10)

de modo a obter y em fun c ao de x. Aparentemente n ao existe solu c ao expl cita elementar mas nunca se sabe. . . No entanto, conhecemos uma solu c ao da equa c ao 4.10, nomeadamente y = x = 0. Para al em disso numa vizinhan ca da origem, a fun c ao x = y + sen y tem inversa pois e injectiva. Portanto, aplicando o teorema da fun c ao inversa, poder amos mostrar a exist encia de uma fun c ao y (x) tal que y (x) + sen(y (x)) x = 0. Exerc cio 4.4.2 Conrme as arma c oes anteriores.
24 de Janeiro de 2000

62

IMPL 4.4. TEOREMA DA FUNC AO ICITA

y=

1 - x2

y=

- 1 - x2

y=

- 1 - x2

Figura 4.6: A por c ao da circunfer encia x2 + y 2 1 = 0 ampliada em A n ao e um gr aco de uma fun c ao


da forma y = g (x). O mesmo acontece com a intersec c ao da circunfer encia com uma qualquer vizinhan ca de (1, 0).

Nesta sec c ao estudaremos um teorema que nos d a condi c oes sucientes para se poder resolver equa c oes f (x, y ) = 0, uma vez conhecidos pontos x0 e y0 para os quais f (x0 , y0 ) = 0 e que e conhecido por teorema da fun c ao impl cita . Este teorema e um resultado intimamente ligado ao teorema da fun c ao inversa. De facto s ao equivalentes e o estabelecer essa equival encia e relativamente f acil embora mostrar que o teorema da fun c ao impl cita e uma consequ encia do teorema da fun c ao inversa possa parecer, numa primeira an alise, pouco natural. Comecemos por algumas observa c oes ainda n ao inteiramente precisas para estabelecer um primeiro paralelismo entre os dois resultados. De um ponto de vista de solu c ao de equa c oes n ao lineares, o teorema da fun c ao inversa lida, como vimos, com a solu c ao local de equa c oes da forma y = F (x) em ordem a x, em que F C 1 e uma certa aplica c ao linear (a derivada de F ) e n ao singular num ponto x0 em torno do qual a invertibilidade local e assegurada. De forma an aloga, o teorema da fun c ao impl cita lida com a solu c ao local de equa c oes da forma F (x, y ) = 0 em ordem a y , em que F C 1 e uma certa aplica c ao linear relacionada com a derivada de F e n ao singular num ponto (x0 , y0 ) em torno do qual a resolubilidade ca assegurada. Come camos por ilustrar um tal problema numa situa c ao em que se pode explicitamente chegar ` as mesmas conclus oes e as dimens oes dos espa cos envolvidos s ao as mais baixas poss veis. Exemplo 4.4.1 (Caso particular em dimens ao 2) Considere-se a equa c ao da circunfer encia x2 + y 2 1 = 0. Na vizinhan ca de que pontos em que e vericada e que esta equa c ao dene y como fun c ao de x? Resolvendo a equa c ao em ordem a y , ou melhor ainda esbo cando o seu gr aco (ver a g. 4.6), facilmente se reconhece que qualquer que seja o ponto sobre o gr aco desta circunfer encia, excepto os pontos (1, 0) e (1, 0), e poss vel escolher uma vizinhan ca suciente pequena desse c ao com o conjunto denido pela equa c ao verica y = 1 x2 ponto cuja intersec o que se ilustra na g. 4.6 em B. Por outro lado numa vizinhan ou y = 1 x2 . E ca de um dos dois pontos excepcionais tal e sempre imposs vel, e o que se ilustra na g. 4.6 em A. O car acter excepcional dos pontos (1, 0) e (1, 0) obviamente tem a ver com o facto da tangente a circunfer ` encia nestes pontos ser vertical ou, se recordarmos que o gradiente de uma campo 63
24 de Janeiro de 2000

INVERSA E DA FUNC IMPL CAP ITULO 4. TEOREMAS DA FUNC AO AO ICITA escalar e ortogonal ` as suas linhas de n vel, com o facto de designando f (x, y ) = x2 + y 2 1 temos f f (1 , 0) = ( 1 , 0) = 0 . y y Uma outra fonte de inspira c ao para compreender este tipo de problemas ea algebra linear. Exemplo 4.4.2 (Caso linear) Seja T uma transforma c ao linear de Rm+n em Rm , com n, m 1. Suponhamos que T (x) = Ax onde A e uma matriz m (m + n). Se car A = m (recorde que a caracter stica de A, car A, e o n umero de linhas ou colunas linearmente independentes) ent ao a equa c ao T (x) = 0 permite denir m coordenadas de x em fun c ao das restantes n. Observemos agora alguns factos. Primeiro, temos T (0) = 0. Segundo, se car A = m ent ao existem m colunas linearmente independentes. Podemos, sem perda de generalidade, supor que s ao as m primeiras (se isto n ao fosse verdade seria sempre poss vel permutar as colunas da matriz, fazendo uma mudan ca de vari aveis). A matriz A pode ser escrita como a11 . . . a1m . . . a1 m+n . . . . . A= . . . . . am1 ... amm ... am m+n A derivada de T em ordem ` as primeiras m vari aveis, (x1 , . . . , xm ), e representada pela matriz a11 . . . a1m . . . A= . . . am1 . . . amm = 0. Note que ter determinante n e det A e o facto de A ao nulo que permite determinar as primeiras m coordenadas em fun c ao das n m restantes. Exerc cio 4.4.3 Resolva o sistema 1 1 de modo a obter x e z como fun c ao de y . O teorema da fun c ao impl cita, que enunciamos de seguida, generaliza (de um forma bastante poderosa) o exemplo anterior. Vai ser conveniente no seu enunciado e para c alculos posteriores (f 1 ,fj2 ,...,fjk ) , com 1 j < j < < j m , 1 i < i2 < < ik n, introduzir a nota c ao (xj 1 2 k 1 i1 ,xi2 ,...,xil ) para representar a derivada de uma fun c ao que se obt em de uma fun c ao dada f : A Rn Rm s o considerando k das suas componentes fj1 , fj2 , . . . , fjk e xando n l das suas vari aveis, ou seja considerando-a s o como fun c ao de l vari aveis xi1 , xi2 , . . . , xil . Tal derivada e representada pela submatriz da matriz jacobiana correspondente a considerar as colunas de ndices i1 , i2 , . . . , ik e as linhas de ndices j1 , j2 , . . . , jk a que tamb em nos referiremos usando a mesma nota c ao. No T = exemplo 4.4.2 pod amos ter escrito A . (x1 ,...,xn ) Teorema 4.4.1 (Fun c ao Impl cita) Seja f : U Rn Rm Rm uma fun c ao de classe C p (int U ). Suponha-se que, no ponto n m (x0 , y0 ) int U (x0 R e y0 R ) verica-se f (x0 , y0 ) = 0 e det f (x0 , y0 ) = 0. y x 1 1 0 y = 1 1 0 z

Ent ao, existe uma vizinhan ca V de x0 na qual a equa c ao f (x, y ) = 0


24 de Janeiro de 2000

64

IMPL 4.4. TEOREMA DA FUNC AO ICITA

v=f(x,y) f(x,y) = 0

F -1 F

F(x,y) = (x,f(x,y))

Figura 4.7: Na demonstra c ao do teorema da fun c ao impl cita pelo processo sugerido note que a fun c ao e constru da pela composi c ao das fun c oes x (x, 0), F 1 e (x, y ) y por esta ordem. Claro que F 1 designa uma inversa local. dene uma u nica fun c ao g C p (V ), g : V Rn Rm , para a qual f (x, g (x)) = 0 para todo o x V . Adicionalmente, a derivada de g em V satisfaz Dg (x) = f (x, g (x)) y
1

f (x, g (x)). x

(4.11)

Notemos que o resultado do teorema e local, ao contr ario do exemplo 4.4.2 que e global, isto e se car A = m, podemos sempre resolver a equa c ao Ax = 0 em ordem a m coordenadas. No entanto, isto s o e v alido porque o sistema naquele exemplo e linear. Em geral n ao temos nenhuma garantia de que possamos resolver uma equa c ao da forma F (x, y ) = 0 em ordem, por exemplo, a y , para qualquer valor de x, mesmo que num dado ponto sejam vericadas as condi c oes do teorema da fun c ao impl cita (o teorema apenas garante a exist encia de solu c oes na vizinhan ca do ponto). O teorema da fun c ao impl cita pode ser demonstrado de uma forma an aloga ` a do teorema no entanto, muito mais simples da fun c ao inversa por lineariza c ao e aproxima c oes sucessivas. E, demonstr a-lo ` a custa do teorema da fun c ao inversa. Problema 4.4.1 Demonstre o teorema da fun c ao impl cita. Para tal, usando as conven c oes do enunciado do teorema, considere a aplica c ao F : U Rn Rm Rn Rm denida por F (x, y ) = (x, f (x, y )) e aplique-lhe o teorema da fun c ao inversa relativamente ao ponto (x0 , y0 ). Exemplo 4.4.3 Consideremos a equa c ao f (x, y ) = x2 + y + sen(x2 + y 2 ) = 0. Ent ao como f f (0, 0) = 0 e y (0, 0) = 1 = 0, existe uma fun c ao g (x), denida para |x| sucientemente pequeno tal que f (x, g (x)) = 0. Para al em disto temos
f g x (0, 0) = 0. (0) = f x y (0, 0)

Exemplo 4.4.4 Consideremos o sistema x + y + xyz = 0, x y + xz + yz = 0. 65


24 de Janeiro de 2000

INVERSA E DA FUNC IMPL CAP ITULO 4. TEOREMAS DA FUNC AO AO ICITA Vamos agora estudar a exist encia de fun c oes X (z ) e Y (z ) tais que X (0) = Y (0) = 0 e para z numa vizinhan ca da origem, (x, y, z ) = (X (z ), Y (z ), z ) seja solu c ao do sistema. Deninido f (x, y, z ) = (f1 (x, y, z ), f2 (x, y, z )) = (x + y + xyz, x y + xz + yz ), temos A=
f1 x (0, 0, 0) f2 x (0, 0, 0) f1 y (0, 0, 0) f2 y (0, 0, 0)

1 1 . 1 1

Como det A = 0 o teorema da fun c ao impl cita garante a exist encia das fun c oes X (z ) e Y (z ). Se estivermos interessados em calcular as derivadas de X e Y a express ao para estas ser a X (0) 1 1 = Y (0) 1 1 Exerc cio 4.4.4 Mostre que a equa c ao sen x + sen y + sen z 0 = sen x sen y + sen3 z 0 admite uma solu c ao da forma (x, y, z ) = (X (z ), Y (z ), z ), para |z | sucientemente pequeno, onde X (z ) e Y (z ) s ao fun c oes convenientes que vericam X (0) = Y (0) = 0. Calcule X (0). z Exerc cio 4.4.5 Mostre que a equa c ao sen x + y = 0 n ao tem solu c ao x(y ) denida para todos valores de y . Porque que e que isto n ao contradiz o teorema da fun c ao impl cita apesar de d sen x | = 0 e sen 0 + 0 = 0 ? x =0 dx O facto de n ao serem cumpridas as condi c oes do teorema da fun c ao impl cita n ao implica que na vizinhan ca de um ponto n ao exista solu c ao (ou que ela n ao seja u nica) de uma determinada equa c ao, tal como se pode vericar pelo exemplo seguinte: Exemplo 4.4.5 Consideremos a equa c ao f (x, y ) = x3 y 3 = 0.
f facil vericar que f (0, 0) = 0. E tamb ao E em imediato que f x (0, 0) = y (0, 0) = 0. Assim n estamos nas condi c oes do teorema da fun c ao impl cita. No entanto a equa c ao tem solu c ao global, u nica e diferenci avel x = y . 1 f1 z (0, 0, 0) f2 z (0, 0, 0)

O seguinte exerc cio mostra que e poss vel generalizar ligeiramente o teorema da fun c ao impl cita de modo a tratar casos semelhantes ao anterior. Exerc cio 4.4.6 Seja f : R2 R uma fun c ao de classe C 1 , g, h : R R fun c oes cont nuas ao para x numa bijectivas. Mostre que se f (0, 0) = 0, h(0) = g (0) = 0 e f y (0, 0) = 0 ent vizinhan ca da origem a equa c ao f (g (x), h(y )) = 0 pode ser unicamente resolvida em ordem a y , sendo a solu c ao da forma y = j (x) com j : R R uma fun c ao real de vari avel real.
24 de Janeiro de 2000

66

IMPL 4.4. TEOREMA DA FUNC AO ICITA

4.4.1

Exerc cios suplementares

Exerc cio 4.4.7 Considere o sistema de equa c oes sen(x + y + z ) = z 4 x y + z = sen(x4 + y 4 + z 4 ). 1. Prove que existem fun c oes reais e diferenci aveis gx (z ) e gy (z ), denidas para |z | sucientemente pequeno, tais que gx (0) = gy (0) = 0 e (x, y, z ) = (gx (z ), gy (z ), z )) e solu c ao do sistema. 2. Calcule gx (0) e gy (0). 3. Desenvolva gx em s erie de Taylor at e` a terceira ordem. Exerc cio 4.4.8 Seja R e considere as fun c oes f : R3 R denidas por f (x, y, z ) = z ch(x + y + z ) x2 ey 1. Determine para que valores de a equa c ao f (x, y, z ) = 0 dene implicitamente, numa vizinhan ca da origem, uma fun c ao z = (x, y ) 2. Verique que as fun coes t em um ponto de estacionaridade na origem, isto e, (0, 0) = 0. Exerc cio 4.4.9 Considere a equa c ao x 2 Ax = f (x, ) onde x Rn , Rk , A e uma matriz n n n ao singular e f : Rn+k Rn uma fun c ao C . Mostre que se se vericar f (x, ) =0 lim lim 0 x 3 x 0 a primeira equa c ao dene x como fun c ao diferenci avel de para (x, ) numa vizinhan ca de (0, 0).

Exerc cio 4.4.10 (Fun c ao Impl cita Topol ogica) Seja f : R2 R, cont nua. Suponha que para cada x xo se tem
y

lim f (x, y ) =

y +

lim f (x, y ) = +.

1. Prove que existe pelo menos uma fun c ao y (x) tal que f (x, y (x)) = 0 para todo o x R. 2. D e um exemplo em que a fun c ao y (x) n ao seja u nica 3. D e um exemplo em que a fun c ao y (x) n ao seja cont nua.

4.4.2
4.4.7

Sugest oes para os exerc cios

1. Dena u(x, y, z ) = sen(x + y + z ) z 4 e v (x, y, z ) = x y + z sen(x4 + y 4 + z 4 ). Observe que u(0, 0, 0) = v (0, 0, 0) = 0 e que
u x (0, 0, 0) v x (0, 0, 0) u y (0, 0, 0) v y (0, 0, 0)

1 1 1 1

tem determinante n ao nulo. Portanto podemos aplicar o teorema da fun c ao impl cita. 67
24 de Janeiro de 2000

INVERSA E DA FUNC IMPL CAP ITULO 4. TEOREMAS DA FUNC AO AO ICITA 2. gx (0) = 1 e gy (0) = 0 3. gx (z ) = z + O(z 4 ).

4.4.9 Aplique o teorema da fun c ao impl cita ` a equa c ao Ax = f (x, ) x 2

e mostre que este problema e equivalente ao original. 4.4.10 1. Utilize o teorema de Bolzano. 2. Escolha f de modo a que para cada x tenha pelo menos dois zeros, y1 (x) e y2 (x), distintos. 3. Utilize a fun c ao da al nea anterior e dena y (x) = y1 (x) y2 (x) se x > 0, caso contr ario.

24 de Janeiro de 2000

68

Bibliograa
[1] J. Campos Ferreira. Introdu c ao ` a An alise em Rn . AEIST, 1978. [2] F. R. Dias Agudo. Li c oes de An alise Innitesimal: I. C alculo Diferencial em Rn . 1977. [3] Lu s Torres Magalh aes. Integrais M ultiplos. Texto Editora, Lisboa, 2a edi c ao, 1996. [4] Lu s Torres Magalh aes. Algebra Linear. Texto Editora, Lisboa, 1985. [5] Lu s Torres Magalh aes. Integrais em Variedades. Texto Editora, Lisboa, 1994. [6] Lu s Torres Magalh aes. Complementos de C alculo Diferencial em Rn . AEIST, Lisboa, 1983.

69

Indice
aberto, 8 aproxima c oes sucessivas, 54 classe C 1 , 14 C , 20 C k , 19 compacto, 10 convexo, 53 derivada, 12 direccional, 13 dirigida, 13 de ordem superior a ` primeira, 21 parcial, 13 de ordem superior ` a primeira, 19 diferenciabilidade, 12 direc c oes singulares, 42 f ormula de Taylor, ver teorema de Taylor fechado, 9 fecho, 10 forma de grau k , 41 quadr atica denida negativa, 39 denida positiva, 39 indenida, 39 semidenida negativa, 39 semidenida positiva, 39 fronteira, 10 fun c ao diferenci avel, 7, 12 impl cita, 63 inversa, 50 gradiente, 16 interior, 10 inversa local, 54 jacobiano, 57 m etodo de Newton, 54 matriz 70 denida negativa, 39 denida positiva, 39 hessiana, 34, 39 indenida, 39 jacobiana, 14 semidenida negativa, 39 semidenida positiva, 39 norma, 52 de um vector de Rn , 7 de uma aplica c ao linear, 52 de uma matriz, 52 normas equivalentes, 10 polin omio de Taylor, 23 homog eneo, 22 ponto cr tico, 30 de estacionaridade, 30 de sela, 31 pr e-imagem, 48 resto da f ormula de Taylor, 23 s erie absolutamente convergente, 55 Schwarz, 20 sistema de estacionaridade, 27, 40 Taylor, 23 teorema da fun c ao inversa, 53 de Lagrange, ver teorema do valor m edio de Schwarz, 20 de Taylor, 23 do valor m edio para fun c oes vectoriais, 52 para fun c oes escalares, 17 Weierstrass, 29

Você também pode gostar