Multiplicadores de Lagrange e a Classicao dos Pontos Crticos para Funes de Duas Variveis

J vimos que uma condio necessria para que uma funo f : R2 R possua um extremo local no ponto (x0 , y0 ) R2 que ele seja um ponto crtico de f , isto , f (x0 , y0 ) = 0. Nesta seo vamos investigar as condies sucientes para a existncia de mximos e mnimos locais de funes de duas variveis. Na seo seguinte daria um passo rumo generalizao para funes de n variveis. Inicialmente, vamos analisar o caso especial do problema de maximar ou minimizar uma funo da forma f (x, y ) = ax2 + 2bxy + cy 2 , chamada de uma forma quadrtica, nos pontos do crculo unitrio x2 + y 2 = 1. Este o caso particular de maximizar ou minimizar uma funo sobre um conjunto de zeros de uma outra funo. O conjunto de zeros de uma funo g : R2 R o conjunto denido como {p R2 : g (p) = 0}. O fato importante sobre os conjuntos de zeros de uma funo que, sob certas condies, pelo menos localmente, ele parece com a imagem de uma curva. Teorema 1 Seja S o conjunto de zeros de uma funo g : R2 R, de classe C 1 em S , alm disso, suponhamos que p um ponto de S , onde g (p) = 0. Ento existe um retngulo Q centrado em p, e uma curva diferencivel : R R2 com (0) = p e = 0, tal que S e a imagem de coincide dentro do retngulo Q. Isto , um ponto de Q est no conjunto de zeros de S se, e somente se, ele est sobre a imagem da curva . Teorema 2 Sejam f e g funes de classe C 1 em R2 . Se f atinge um valor mximo ou mnimo sobre o conjunto de zeros de S de g no ponto p, onde g (p) = 0, ento f ( p) = g ( p) 1 (1)

para algum nmero . (O nmero chamado de multiplicador de Lagrange.)

Demonstrao. Seja : R R2 a curva diferencivel dada pelo Teorema 1. Ento g ((t)) = 0 para t sucientemente pequeno e, pela regra da cadeia, 0 = g (p) (0). Como f atinge um mximo ou mnimo sobre S em p, a funo h(t) = f ((t)) atinge um mximo ou mnimo em 0. Portanto, h (0) = 0, de forma que a regra da cadeia nos d 0 = h (0) = f (p) (0). Assim, os vetores f (p) e g (p) = 0 so ambos ortogonais ao vetor no-nulo (0), e so portanto colineares. Isto implica que (1) vale para algum R. Problema 1 Consideremos uma forma quadrtica q : S 1 R dada por q (x, y ) = ax2 + 2bxy + cy 2 , onde S 1 = {(x, y ) R2 : x2 + y 2 = 1}. Estude q em relao a mximos e minimos. Soluo. Como q denida em S 1 que um conjunto limitado e fechado, portanto, compacto, ento q atinge mximos e mnimos globais em S 1 , pelo teorema de Weierstrass para funes denidas em conjuntos compactos. Agora, aplicando o Teorema 2, obtemos as trs equaes: ax + by = x, bx + cy = y, x2 + y 2 = 1. (2)

As duas primeiras equaes podem ser reescritas como: (a )x + by = 0, bx + (c )y = 0.

Assim os dois vetores (a , b) e (b, c ) so ambos ortogonais ao vetor (x, y ), que no-nulo porque x2 + y 2 = 1. Logo ele so colineares, e segue facilmente que (a )(c ) b2 = 0. 2

Esta uma equao quadrtica que as razes so 1 e 2 , com 1 , 2 = fcil vericar que 1 + 2 = a + c e 1 2 = ac b2 . (3) (a + c) (a c)2 + 4b2 . 2

Se ac b2 < 0, ento 1 e 2 tem sinais diferentes. Se ac b2 > 0, ento eles tm o mesmo sinal, o sinal de a e c, que possuem o mesmo sinal porque ac ac b2 > 0. Finalmente, ao invs de prosseguir resolvendo para x e y , vamos apenas considerar uma soluo (xi , yi , i ) de (2). Ento
2 q (xi , yi ) = a x2 i + 2b xi yi + c yi

= (a xi + b yi ) xi + (b xi + c yi ) yi
2 = i x2 i + i yi

= i . Portanto, 1 e 2 so os valores mximos e mnimos de q (x, y ) sobre x2 + y 2 = 1, de forma que no precisamos resolver para x e y explicitamente. Para resumir o problema anterior, vemos que os valores mximos e mnimos de q (x, y ) = ax2 + 2bxy + cy 2 na circunferncia unitria: (i) so ambos positivos se a > 0 e ac b2 , (ii) so ambos negativos se a < 0 e ac b2 , (iii) tm sinais diferentes se ac b2 . Denio 1 Uma forma quadrtica chamada denida positiva se q (x, y ) > 0, ao menos que x = y = 0, denida negativa se q (x, y ) < 0 ao menos que x = y = 0, e no-denida se assume valores positivos e negativos. Se (x, y ) um ponto, no necessariamente na circunferncia unitria ento q (x, y ) = (x2 + y 2 )q ( x x2 3 + y2 , y x2 + y2 ).

Consequentemente, vemos que a caracterstica quanto positividade de uma forma quadrtica determinada pelos simais dos valores mximos e mnimos, os quais so atingidos na circunferncia unitria. Combinando estas observaes com (i), (ii) e (iii) acima, provamos o seguinte: Teorema 3 A forma quadrtica q (x, y ) = ax2 + 2bxy + cy 2 (i) denida positivo se a > 0 e ac b2 > 0, (ii) denida negativo se a < 0 e ac b2 > 0, (iii) no-denida se ac b2 < 0. Vamos apresentar agora o famoso Teste da Segunda Derivada para funes de duas variveis. Denio 2 Dizemos que f C 2 em p R2 se f possui derivadas parciais contnuas numa vizinhana de p, as quais possuem, elas mesmas, derivadas parciais contnuas. Se considerarmos, por exemplo, f : R2 R, ento podemos convencionar que as derivadas
2 parciais de D1 f num ponto p do R2 so D1 (D1 f ) = D1 f, e D2 (D1 f ) = D2 D1 f, as derivadas 2 f. Obviamente existem outras parciais de D2 f so D1 (D2 f ) = D1 D2 f e D2 (D2 f ) = D2

notaes correntes, no entanto, por enquanto vamos utilizar essa. Agora suponha que f C 2 em algum disco centrado no ponto p = (a, b), e seja s = (a + h, b + k ) um ponto deste disco. Denamos : [0, 1] R por (t) = f (a + th, b + tk ), isto , = f , onde (t) = (a + th, b + tk ). Veja gura abaixo: (depois vamos inserir esta gura e outras!!!) Vamos utilizar a frmula de Taylor para funes de uma varivel. Aplicado a no intervalo [0, 1], (1) = (0) + (0) + para algum (0, 1). Uma aplicao aplicao da Regra da Cadeia nos d ( ) , 2! (4)

(t) = f ( (t)) (t) = D1 f ( (t))h + D2 f ( (t))k

e ento
2 (t) = [D1 f ( (t)) h + D2 D1 f ( (t)) k ] h 2 + [D1 D2 f ( (t)) h + D2 f ( (t)) k ] k 2 2 = D1 f ( (t)) h2 + 2D2 D1 f ( (t)) hk + D2 f ( (t)) k 2

Como (0) = (a, b) e () = (a + h, b + k ), a equao (4) torna-se 1 f (a + h, b + k ) = f (a, b) + D1 f (a, b)h + D2 f (a, b)k + q (h, k ), 2 onde
2 2 q (h, k ) = D1 f (a + h, b + k )h2 + 2D1 D2 f (a + h, b + k )hk + D2 f (a + h, b + k )k 2 .

(5)

Assim, temos a expresso para a frmula de Taylor desejada. Claro, poderamos proceder de maneira anloga acima para obter a frmula de Taylor para uma funo de n variveis, mas vamos adiar para as prximas exposies, pois o que temos aqui suciente para o caso de duas variveis, nossa meta. Agora estamos prontos para o Teste da Segunda Derivada. A demonstrao vai envolver o teorema anterior aplicado forma quadrtica

2 2 q (h, k ) = D1 f (a, b)h2 + 2D1 D2 f (a, b)hk + D2 f (a, b)k 2 .

Consideremos tambm
2 2 = D1 f (a, b)D2 f (a, b) (D1 D2 f (a, b))2

(6)

e chamemos de determinante da forma quadrtica q .

Teorema 4 Seja f : R2 R duas vezes continuamente diferencivel, isto , f C 2 , numa vizinhana do ponto crtico p = (a, b). Ento f tem:
2 (i) um mnimo local se > 0 e D1 f (p) > 0. 2 (ii) um mnimo local se < 0 e D1 f (p) > 0.
1

Apesar de chamarmos de tambm aqui, no existe perigo de confuso pelo contexto, adiante usaremos uma

notao mais adequada!

(iii) nem mnimo local nem mximo local em p se < 0 (neste caso, p uma ponto de sela para f ) Se = 0, ento o teorema no se aplica.
2 2 Demonstrao. Comoas funes D1 f (x, y ) e (x, y ) = 2 1 f (x, y )D2 f (x, y )(D1 D2 f (x, y ))

so contnuas e no-nulas em p, podemos escolher um disco contendo p e to pequeno que cada uma dessas funes tenha o mesmo sinal em cada ponto desse disco. Se (a + h, b + k ) um ponto desse disco, ento (5) torna-se 1 f (a + h, b + k ) = f (a, b) + q (h, k ), 2 pois D1 f (a, b) = D2 f (a, b) = (0, 0).
2 f (a + h, b + k ) e o determinante (a + h, b + k ) de q so No caso (i) ambos D1

(7)

positivos, ento o Teorema 3(i) implica que a forma quadrtica q denida positiva. Portanto, da equao (7), vemos que f (a + h, b + k ) > f (a, b). Sendo isso verdadeiro para todo h e k sucientemente pequenos, conclumos que p = (a, b) ponto de mnimo local de f . A prova no caso (ii) a mesma, exceto pelo fato que devemos aplicar o Teorema 3(ii), para mostrar que q denida negativa, de forma que f (a + h, b + k ) < f (a, b) para todo h e k sucientemente pequenos. No caso (iii) (a + h, b + k ) < 0, ento q , no-denida, pelo Teorema 3(iii). Portanto, q (h, k ) assume tanto valores positivos como negativos para valores arbitrariamente pequenos de h e k , ento est claro de (7) que f no possui mximo nem mnimos locais.

Manaus, 8 de julho de 2013.