Vous êtes sur la page 1sur 193

UNIVERSIDADE FEDERAL DE ALAGOAS

CENTRO DE TECNOLOGIA
CURSO DE ENGENHARIA QUMICA

Clculo Diferencial e Integral III

Professor: Sinvaldo Gama

Macei-AL
Outubro/2007

Sumrio
( : n )

CAPTULO 1 FUNES VETORIAIS DE UMA VARIVEL REAL

.....3

Seo 1.1: Curvas Parametrizadas..........................................................................................3


Seo 1.2: Limite e Continuidade...........................................................................................9
Seo 1.3: Derivada..............................................................................................................10
Seo 1.4: Interpretao Geomtrica da Derivada................................................................13
Seo 1.5: Interpretao Fsica da Derivada.........................................................................15
Seo 1.6: Curvas em R.......................................................................................................18
Seo 1.7: Comprimento de uma Curva...............................................................................22
Seo 1.8: Parametrizao pelo Comprimento de Arco........................................................25
Seo 1.9: Curvatura de uma Curva.....................................................................................28
Seo 1.10: Toro de uma Curva........................................................................................32

( f : n )
CAPTULO 2 FUNES REAIS DE VRIAS VARIVEIS REAIS

..40

Seo 2.1: Funes e Grficos..............................................................................................40


Seo 2.2: Limite e Continuidade.........................................................................................42
Seo 2.3: Derivadas Parciais...............................................................................................48
Seo 2.4: Regra da Cadeia (1 Verso)................................................................................55
Seo 2.5: Derivada Direcional............................................................................................56
Seo 2.6: Funes Diferenciveis.......................................................................................58
Seo 2.7: Regra da Cadeia (2 Verso)................................................................................66
Seo 2.8: Gradiente e Derivada Direcional.........................................................................71
Seo 2.9: Funes Implcitas...............................................................................................74
Seo 2.10: Mximos e Mnimos de Funes Reais.............................................................84
( f : n m )

CAPTULO 3 FUNES VETORIAIS

....................................................103

Seo 3.1: Funes Vetoriais..............................................................................................103


Seo 3.2: Limite e Continuidade.......................................................................................109
Seo 3.4: A Regra da Cadeia.............................................................................................114
Seo 3.5: O Teorema da Funo Inversa...........................................................................119

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

CAPTULO 1
FUNES VETORIAIS DE UMA VARIVEL REAL

( : n )

SEO 1.1: CURVAS PARAMETRIZADAS


Quando olhamos curvas, no plano, como grficos de funes reais, encontramos
certos inconvenientes. Um deles que curvas como crculos, elipses etc., no so grficos de
funes (note que estas curvas no obedecem restrio de uma funo s retas verticais).
y

x2 y2

1
a 2 b2

x2 y 2 1

Para estudarmos estas curvas, teremos que utilizar grficos de mais de uma funo.

x2 y2 1
Por exemplo, para estudarmos o crculo unitrio
f1 (x) 1 x 2 , 0 x 1

funes

, teremos que considerar as

f 2 (x) 1 x 2 , 0 x 1

f1 (x) 1 x 2

f 2 (x) 1 x 2

x 1

S que estas funes tm a desvantagem de no serem diferenciveis em


e,
por conseguinte, no podemos utiliz-las para estudar as tangentes verticais ao crculo nestes
pontos. Estes e outros inconvenientes podem ser evitados se mudarmos nosso ponto de vista
Clculo III

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

com respeito s curvas. Em lugar de pensarmos numa curva como o grfico de uma funo,
uma curva agora ser vista como imagem de uma funo uma funo vetorial. Com este
propsito, a trajetria de uma partcula no plano ou no espao um modelo muito til para t-

t
lo em mente quando se estudam curvas. Em
, por exemplo, para cada tempo
a
(1 (t ), 2 (t ), 3 (t ))
partcula est localizada no ponto
. Em verdade, a trajetria da partcula

descrita por uma funo

(t ) (1 (t ), 2 (t ), 3 (t ))
definida por
.

z
(ti ) (1 (ti ), 2 (ti ), 3 (ti ))

(ti 1 )

(t0 ) ( 1 (t 0 ), 2 (t0 ), 3 (t0 ))

(t1 )

(t 2 )

(ti 1 )
(t n 1 )

(t n ) (1 (t n ), 2 (t n ), 3 (t n ))

Descreveremos, de modo geral, este fato a seguir, salientando que o termo curva
ser usado tanto para quando nos referirmos a uma figura, como para quando nos referirmos a
uma funo.
Definio 1.1.1: Seja

um intervalo da reta. Uma funo

: I n
t (t ) ( 1 (t ), 2 (t ),...,
n (t ))

dita uma funo vetorial de uma varivel real ou uma curva parametrizada.

i : I
As n funes,

, so chamadas funes coordenadas de

parmetro se refere varivel independente t da funo .

Clculo III

. A palavra

Cap. 01: Funes vetoriais de uma varivel real

Para cada

tI

Prof. Sinvaldo Gama

(t ) 1 (t ), 2 (t ),..., n (t )
, o vetor

chama-se raio vetor ou vetor

posio da curva no instante . Representaremos este vetor como o segmento orientado que
(1 (t ), 2 (t ),...,
n (t ))
vai da origem do sistema coordenado ao ponto de coordenadas
.
z

t1

(t 2 )

(t1 )

t2

De um modo geral, se uma curva grfico da funo

f : a,b

f (t )
(t , f (t ))

observe que a mesma imagem da curva

: a,b 2
t (t ) (t , f (t ))

.
Definio 1.1.2: O trao ou a imagem de

o conjunto

(I ) { (t ) n ;t I }
.

Clculo III

Cap. 01: Funes vetoriais de uma varivel real

Em palavras, a imagem de

Prof. Sinvaldo Gama

corresponde ao conjunto de todos os pontos no espao

tI

gerados pela variao possvel de cada


. Nesta situao, diz-se que a funo
parametriza seu trao ou que uma parametrizao do mesmo.

Exemplo 1.1.1: Seja

: 0,2 2
t (t ) (cost ,sint ) (x, y)

(t )

x 2 y 2 cos2 t sin2 t 1

Observe que

um ponto do crculo unitrio, j que


.E
(cost ,sint )
vice-versa; todo ponto do crculo unitrio da forma
para algum t. Portanto, o
trao de

x2 y 2 1
o crculo

.
y
( 2) (0,1)

( ) (1,0)

(t ) (cost ,sint )

(0) (1,0)

(3 2) (0,1)

x2 y 2 1
Note que o crculo
medida que t cresce no intervalo

Exemplo 1.1.2: Seja

0,2

representa a trajetria de um ponto mvel no plano.


a trajetria vai se formando no sentido anti-horrio.

: 2
t (t ) P tu (x, y)

,
P (x0 , y0 )

onde

u (a ,b)

e
O trao de

so pontos de
a reta que passa por

2
P

e paralela ao vetor

Clculo III

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

t (t ) P tu

Para cada valor de ,

representa um ponto sobre tal reta, e vice-versa;

Q (x, y)
dado um ponto

desta reta, existe algum

P tu Q
tal que

x0

u (a ,b)

y0

P (0)
Observe que
funes coordenadas de

(t ) P tu (x0 , y0 ) t (a,b) (x0 ta, y0 tb)


e como

, as

so

2 (t ) y0 tb

1(t ) x0 ta
e

Exemplo

1.1.3:

trao

da

(t ) (a cost ,b sint )
a elipse

curva

x2 y2

1
a2 b2

x
cost
a

e assim,

parametrizada

. De fato, se

x a cost

y
sint
b

x2 y2
2 cos2 t sin2 t 1
2
a
b

Clculo III

: 0,2 2

definida

por

y b sint
e

, ento

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

(t ) (a cost ,b sint )

: 3

Exemplo 1.1.4: Qual o trao da curva parametrizada


(t ) (a cost ,a sint ,bt ) (x, y , z ) a 0 b 0
;
,
?

definida por

P (x, y , z)
Soluo: Inicialmente note que a projeo ortogonal de cada ponto

P (x, y ,0)
plano xy, o ponto
significa que a curva

da curva, no

x2 y 2 a2
pertencente circunferncia

z0

. Isto

x2 y2 a2
est contida no cilindro

z
cilindro x 2 y 2 a 2

circunfer encia
x2 y 2 a2 , z 0

P (x, y, z ) curva

P (x, y ,0)

Vale destacar ainda que as coordenadas

(t ) (t 2 )

y
e

dos pontos

so iguais

para cada . De fato,

t 2 ) cos(
t)
cos(

sin(t 2 ) sin(t )

Clculo III

Cap. 01: Funes vetoriais de uma varivel real

(t )
Portanto,

Prof. Sinvaldo Gama

(t 2 )
e

esto sobre uma mesma reta vertical. Finalmente

observemos que constante e igual a

2b

(t ) (t 2 )
, a distncia entre

. De fato,

d (t 2 ), (t ) 0 2 0 2 (b(t 2 ) bt )2 (b2 )2 2b
.
2b
A constante
denominada passo da curva. O trao , pois, a hlice circular
abaixo. (A figura ilustrada apenas um esboo da forma geomtrica da hlice.)

(t0 2 )

t0

t0 2

(t0 )

No devemos confundir o trao de uma curva (a imagem da funo vetorial) como seu
grfico. Este ltimo o conjunto

{(t , (t )) 2 ;t I }
.
Observe que s teremos uma imagem geomtrica do grfico de uma funo vetorial

quando seu contradomnio estiver contido em


. Em nosso estudo, entretanto, raras vezes
teremos necessidade de considerar o grfico de tal funo.
Exemplo 1.1.5: (Cicloide). A cicloide uma curva descrita por um ponto de uma
circunferncia quando esta gira ao longo de uma reta sem escorregar. Consideremos um
crculo de raio

P (0,0)

(0,a)
e centro

um ponto da mesma nesta posio. Da Geometria


a
t
Euclidiana, sabemos que um arco que mede
radianos, num crculo de raio
tem
at
P
comprimento . A figura abaixo, direita, mostra o ponto numa posio correspondente a
Clculo III

Cap. 01: Funes vetoriais de uma varivel real

um arco

AP

cuja medida

Prof. Sinvaldo Gama

radianos. O ngulo central correspondente tambm mede

radianos. Observe que o segmento

OA

AP

e o arco

tm o mesmo comprimento

(0,a)

rotacionando

. Q

Vemos tambm que

CQ a cos

PQ a sin
e

P (x, y)
Se

, ento
x OA PQ a a sin a( sin )

y QA CQ a a cos a(1 cos )

Portanto, a curva

( ) (a( sin ),a(1 cos ))


;

parametriza a cicloide.
y

2a

2a

4a

Exemplo 1.1.6: Obtenha uma equao parametrizada da curva obtida pela interseo do

yz2

x2 y 2 1
cilindro

com o plano

Clculo III

10

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

Soluo: A projeo da curva interseo

no plano xy a circunferncia

x2 y2 1 z 0
,
.
Desta forma,

x cost

y sint

Por outro lado, como

0 t 2

para

yz2

est sobre o plano

, ento todos os seus pontos satisfazem a

z 2 y 2 sint
equao deste plano, isto , teremos:

, do que resulta,

(t ) (cost ,sint ,2 sint )


;

t 0,2

SEO 1.2: LIMITE E CONTINUIDADE


Definio 1.2.1: Seja

t0

uma curva parametrizada e

. Definimos o

lim (t ) lim 1 (t ),lim 2 (t ),...,lim n (t )


t t0
t t0
t t0
t t0

lim i (t )
t t0

quando existem os limites

Teorema 1.2.1: Sejam

i 1,...,n

.
t t0

curvas parametrizadas que possuem limite em

. Ento,

lim( (t ) (t )) lim (t ) lim (t )


t t0

i.

t t 0

lim( (t ) (t )) lim (t ) lim (t )


t t 0

t t 0

lim((t ) (t )) lim (t ) lim (t )


t t0

iv.

;
,

t t 0

iii.

t t 0

lim(a (t )) a lim (t )
t t 0

ii.

t t0

t t 0

t t 0

3

, onde e tm seus traos contidos em
;

Clculo III

11

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

lim (t ) lim (t )
t t 0

t t 0

v.

.
t0 (a ,b)

: (a,b) n

Definio 1.2.2: Dizemos que a curva

contnua em

se

lim (t ) (t0 )
t t 0

SEO 1.3: DERIVADA


: (a ,b) n

Definiremos a seguir a derivada de uma funo

ela nos leva definio de reta tangente ao trao de .

e mostraremos como

t0 (a,b)

: (a ,b) n

Definio 1.3.1: Uma curva parametrizada


se existe o

dita diferencivel em

(t0 h) (t0 )
h0
h

lim

(t0 )
que denotaremos por

.
t (a ,b)

Se o limite acima existe para cada


(a ,b)
intervalo
. Neste caso, a funo

, dizemos que

diferencivel no

: (a ,b) n

t (t )

tambm uma funo vetorial, denominada derivada de 1 ordem de

Se

( )

(a ,b)

tambm diferencivel em

, ento sua derivada

, chamada
(a,b)
C

derivada de 2 ordem de . Uma funo vetorial dita de classe


, no intervalo
, se
n

Clculo III

12

Cap. 01: Funes vetoriais de uma varivel real

a n-sima derivada de

de classe

Prof. Sinvaldo Gama

(a ,b)

existe e contnua em cada ponto do intervalo

se a mesma for de classe

Cn

. Dizemos que

para todo n.

(t ) (t ,t 2 )

Exemplo 1.3.1: Seja

. Ento

t h t0 (t0 h)2 t02


(t0 h) (t0 )
(t h,(t0 h)2 ) (t0 ,(t0 )2 )

lim 0
lim 0
,
h0
h0
h 0
h
h
h
h

(t0 ) lim

2t0 h h 2
lim(1,2t0 h) (1,2t0 )
lim 1,
h0
h

h0

, isto ,

1(t 0 ) 1

1 (t ) t 2 (t ) t 2
Observe que

(t0 ) (1,2t0 )

e que

2 (t 0 ) 2t0
e

t (a,b)

: (a,b) n

O exemplo acima sugere que uma funo


se, e somente se, cada funo coordenada de
fato, temos o seguinte teorema.

tem derivada num ponto


tem derivada neste ponto. Isto verdade, e de

Teorema 1.3.1: Se a curva parametrizada


: (a ,b) n

t (t ) (1 (t ), 2 (t ),...,
n (t ))

1(t 0 ),...,
n (t0 )

t0 (a ,b)

diferencivel em

, ento existem as derivadas

. Alm disso,

(t 0 ) (1(t 0 ), 2 (t0 ),...,


n (t 0 ))
.

1(t 0 ),...,
n (t0 )
Reciprocamente, se existem as derivadas

, ento

diferencivel em

t0

(t 0 ) (1(t 0 ), 2 (t0 ),...,


n (t 0 ))
.

Clculo III

13

Cap. 01: Funes vetoriais de uma varivel real

Prova: Parte 1. Suponhamos que

Prof. Sinvaldo Gama

t0

diferencivel em

. Ento,

(t0 h) (t0 )

h0
h
(t h) 1 (t0 ) n (t0 h) n (t0 )
lim 1 0
,...,

h0
h
h

(
t

h
)

(
t
)

(
t

h
)

1 0
n (t0 )
lim 1 0
,...,lim n 0

h0
h
h
h0

(t0 ) lim

(1(t0 ),...,
n (t0 ))

1(t0 ),...,
n (t0 )
Parte 2. Suponhamos agora que existem

. Ento,

(t h) 1 (t0 )
(t h) n (t0 )

(1(t0 ),...,
n (t0 )) lim 1 0
,...,lim n 0

h 0
h
h
h 0

1 (t0 h) 1 (t0 ) n (t0 h) n (t0 )


lim
,...,

h 0
h
h

(t0 h) (t0 )
lim

h 0
h
(t0 )

, : (a ,b) n

f : (a,b)

Teorema 1.3.2: (Regras bsicas de derivao). Sejam


e
(a ,b)
f
funes diferenciveis em
. Ento,
,
,e
tambm o so e tem-se:
( )

i.
ii.
iii.
iv.

v.

;
( f ) f f
( )

;
;
g : (c,d )

(Regra da cadeia). Se
uma funo real, diferencivel, ento
( g )(t ) (g (t )) g (t )
;
3
, : (a,b)
Se
, ento
( )
.

Clculo III

14

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

: (a ,b) n

Teorema 1.3.3: Seja

(a,b)

uma curva parametrizada, diferencivel em

(t ) k
constante real. Se

(t ) (t ) 0 t (a ,b)

t (a ,b)
,

, ento

(t )

(t )
posio

perpendicular ao vetor

, isto , o vetor

t (a,b)
, para todo

. Reciprocamente, se

(t ) k t (a ,b)

(t ) (t ) 0 t (a ,b)
,

e k uma

, ento existe uma constante real k tal que

(t ) k t (a,b)
Prova: Parte 1. Suponhamos que

. Ento,

(t ) k 2

(t ) (t ) k 2

e assim

Derivando ambos os membros, obtemos:

(t ) (t ) (t ) (t ) 0 2 (t ) (t ) 0

(t ) (t )
e da,

Parte 2. Exerccio.

Exemplo 1.3.2: Seja

(t ) (a cost ,a sint ) a 0
,

. Temos que

(t ) a 2 cos2 (t ) a 2 sin2 (t ) a
,

t
para todo .

(t ) (t )
Ento, pelo Teorema 1.3.3 acima,

(t ) (a sint ,a cost )
Poderamos constatar diretamente este fato, pois

e assim

(t ) (t ) a 2 sint cost a 2 sint cost 0


.

Clculo III

15

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

(t )

(t )

(t )
Pergunta: Toda curva parametrizada cujo vetor posio
t

tem norma constante para todo

, est contida numa circunferncia?

SEO 1.4: INTERPRETAO GEOMTRICA DA DERIVADA

Veremos nesta seo como a derivada


de uma curva parametrizada
est
relacionada com o conceito de reta tangente, como no caso de uma funo real. Para isso,
consideremos o quociente,

(t0 h) (t0 )
h
e analisemos o seu comportamento quando

h0

(t0 h) (t0 )
h
(t0 )

(t0 )
(t0 h)

Clculo III

16

Cap. 01: Funes vetoriais de uma varivel real

Note que o vetor

mesmo sentido se

O vetor

1
h

h0

Prof. Sinvaldo Gama

(t0 h) (t0 )

paralelo ao vetor

. Estes tero o
( (t 0 h) (t 0 ))

(como na figura acima) e sentidos contrrios se

(t0 )

no ponto

qualquer mltiplo no-nulo de

(t 0 )

(t 0 )

, quando

h0

, se existe e no nulo, denominado vetor tangente curva em

Seu sentido guiado pelo movimento da extremidade do vetor

por

h0

, por sua vez, tem uma direo que dever tender para o
( (t 0 h) (t 0 ))

que denominaremos direo da reta tangente curva

O vetor

1
h

e com direo de

(t0 )

(t0 )

(t 0 )

(t 0 )

ao crescer t. claro que

tambm denominado vetor tangente, e a reta que passa

chamada reta tangente curva em

(t0 )

e ter equao

paramtrica:
X (t ) (t0 ) t (t0 )

O vetor tangente

(t0 )

usualmente desenhado com sua origem em

(t 0 )

, como

indica a figura acima.


Exemplo 1.4.1: Considere a reta

(t ) P tu u (0,0) t

(t ) u

para todo

Clculo III

. Temos que

17

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

(t )
P

u
x

Desta forma, a tangente reta em cada um de seus pontos coincide com a prpria reta

(t )

propriedade esta que, evidentemente, era de se esperar.


Exemplo 1.4.2: Se

(t )

descreve uma circunferncia de centro

(t ) r

para todo

e raio

, ento

(t )

Uma vez que o vetor

(t )

(Teorema 1.3.3) e, portanto,

(t )
r

tem norma constante, sua derivada

(t )

(t )

lhe perpendicular

perpendicular reta tangente correspondente. Conclui-se

ento que, para cada circunferncia, a definio dada de reta tangente coincide com a dada na
geometria euclidiana.
Exemplo 1.4.3: Consideremos a hlice

(t ) (cost ,sint ,t )

Clculo III

. Ento

18

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

e assim

(t ) ( sint ,cost ,1)


A reta tangente hlice em

(0) (0,1,1)

(0) (0,1,1)

tem, pois, equao vetorial

X (t ) (1,0,0) t (0,1,1)

Do exposto acima, vemos que se para cada ,


t

que contm o ponto

(t ) 0

ento existe uma reta tangente a curva

e tem por direo o vetor

(t )

(t )

. Para o estudo das curvas,

essencial que exista uma reta tangente a em cada um de seus pontos.


Definio 1.4.1: Um ponto

t0

Definio 1.4.2: Uma curva

i.

ii.

para o qual

(t 0 ) 0

: (a ,b) n

diferencivel em

(t ) 0,t ,t (a,b)

(a,b)

dito um ponto singular de

dita regular se

SEO 1.5: INTERPRETAO FSICA DA DERIVADA


Se

(t )

descreve a posio de uma partcula que se move no espao como funo do

tempo, ento conceitos fsicos como vetor velocidade, velocidade escalar e vetor acelerao
podem ser definidos em termos das derivadas de

Clculo III

19

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

A (t ) z

B (t h)

BA

Definio 1.5.1: Seja

(t )

uma curva parametrizada cujo trao descreve a trajetria de uma

partcula em funo do tempo t. Definimos a velocidade escalar

v(t )

dessa partcula como

sendo

v(t ) lim

t 0

onde

o comprimento do arco AB, e

Como

s (t h) (t )

para

s
t

t (t h) t h

pequeno, ento

Clculo III

20

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

s (t h) (t ) (t h) (t )

t
h
h

Assim,

s
(t h) (t )
(t h) (t )
v(t ) lim
lim
lim
(t )
t 0 t
t 0
t 0
h
h

O vetor

(t )

denominado vetor velocidade e o vetor

acelerao. Esta terminologia razovel, pois

(t )

(t )

denominado vetor

mede a razo da mudana do vetor

posio com respeito ao tempo, que precisamente o que entendemos por velocidade. Da
mesma forma,

(t )

mede a razo da mudana do vetor velocidade com respeito ao tempo.

A velocidade escalar fornece a taxa de variao do comprimento do arco (medido


sobre a curva) com relao ao tempo. Ou seja, a grandeza do vetor velocidade nos informa
sobre a rapidez com que a partcula est a mover-se em cada instante e a sua direo e sentido
diz-nos para onde a mesma se move nesses mesmos instantes. O vetor velocidade variar se
modificarmos a sua direo ou a sua grandeza (velocidade escalar) ou ambas. O vetor
acelerao, por sua vez, d a medida desta variao.
Exemplo 1.5.1: Consideremos o movimento retilneo descrito pela funo

, onde P e

so vetores constantes e

e vetor acelerao:

(t ) 20ut 3

u0

. Vemos que

(t ) P t 5u

. Temos ento, vetor velocidade:

(t )

(t )

(t ) 5ut 4

so no nulos, e que os vetores

velocidade e acelerao so paralelos.


Exemplo 1.5.2: Consideremos o movimento circular uniforme, em que a trajetria um
crculo e o mdulo da velocidade angular constante, de modo que a partcula descreve arcos
de crculo iguais em tempos iguais. Este movimento pode ser descrito pela funo vetorial

Clculo III

21

Cap. 01: Funes vetoriais de uma varivel real

( ) (a cos ,a sin )

Prof. Sinvaldo Gama

onde

t a 0 0 0 t 2

y
( )

Observe que quando

t0

, a partcula se encontra no ponto

(a,0)

e move-se no sentido anti-

horrio ao longo da circunferncia de raio a, com velocidade angular

d
dt

, constante.

Temos assim:
Vetor velocidade:
Vetor acelerao:

(t ) (a sin ,a cos )

,e

(t ) ( a 2 cos ,a 2 sin ) 2 (a cos ,a sin ) 2 (t )

Neste caso, o vetor acelerao paralelo ao vetor posio, mas de sentido contrrio, e
como

(t )

perpendicular a

(t )

, pois

(t )

constante, segue-se que o vetor acelerao

perpendicular ao vetor velocidade:

y
( )
. ( )

( )

Clculo III

22

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

Se representarmos o vetor acelerao

que se move sobre a curva em

(t )

(t )

com sua origem coincidindo com o ponto

, v-se que ele fica dirigido deste para o centro da

circunferncia que a partcula descreve. Neste caso,

(t )

denominada acelerao

centrpeta. A reao de mesma intensidade e sentido oposto (devido a 3 Lei de Newton), isto
, a fora

(t )

dita acelerao centrfuga. Como exemplo de acelerao centrpeta,

podemos considerar a atrao da gravidade no caso de um satlite em volta da Terra ou a


fora exercida pelo mecanismo de uma pedra girando numa funda. De modo geral, esta fora
exercida pelo mecanismo que obriga a partcula a uma trajetria circular.

SEO 1.6: CURVAS EM R


Na seo anterior vimos que no movimento retilneo o vetor acelerao paralelo ao
vetor velocidade e que no movimento circular, com velocidade angular constante, o vetor
acelerao perpendicular ao vetor velocidade. Nesta seo, veremos que num movimento
qualquer, o vetor acelerao a soma de dois vetores perpendiculares entre si, um paralelo ao
vetor velocidade e o outro perpendicular a esse mesmo vetor. Se o movimento no retilneo,
esses dois vetores definem um plano que passa pelo ponto correspondente da curva e que se
chama plano osculador da curva.
Definio 1.6.1: Se

(t ) 0

, o vetor

T(t )

(t )
(t )

chama-se vetor tangente unitrio.

Clculo III

23

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

z
(t )

T(t )
(t )

y
x

Observe que sendo

Definio 1.6.2: Se

T(t ) 1

T(t ) 0

, ento

T(t ) T(t )

, o vetor

T(t )
T(t )

N(t )

chama-se vetor normal principal.


z
(t )
.

T(t )

N(t )

(t )

T(t )

x
Observe que

T(t ) N(t )

Definio 1.6.3: O plano determinado pelos vetores

T (t )

N (t )

denominado plano

osculador da curva.

Clculo III

24

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

Plano osculador

(t )

N(t )

T(t )
(t )

T(t )

De modo geral, o plano osculador varia em cada ponto da curva. Mas se a curva
plana (isto , todos os seus pontos pertencem a um mesmo plano), o plano osculador em cada
ponto coincide com o plano da curva. De fato, se
(X P) n 0

a equao cartesiana do plano que contm a curva


vetor normal a ), ento os pontos

(t )

(onde P um ponto da curva e n um

desta curva devero satisfazer esta equao, isto ,

( (t ) P) n 0

Derivando ambos os membros desta identidade, obteremos:

(t ) n 0

Clculo III

25

Cap. 01: Funes vetoriais de uma varivel real

Portanto,

T(t ) n 0,t

Isto mostra que

T(t )

Prof. Sinvaldo Gama

T(t ) n 0,t

paralelo a , bem como a

N(t )

. Assim,

T(t )

um plano paralelo ao plano . Quando esses vetores so desenhados no ponto

N(t )

(t )

definem

, tal plano

coincidir, portanto, com , o que prova o que afirmamos.


Definio 1.6.4: O vetor

B(t )

definido por

B(t ) T(t ) N(t )

denominado vetor binormal.


z

B(t )
(t )

. .
.

N(t )
T(t )

T(t )

(t )

Note que

B(t )

tambm unitrio. Com efeito,

B(t ) T(t ) N(t ) T(t ) N(t ) sin

Os trs vetores unitrios

1 1 1 1
2

,
e formam, nesta ordem, um triedro positivamente
T N B

orientado cujos vetores so dois a dois ortogonais e denominado triedro de Frenet-Serret.


Clculo III

26

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

Este triedro constitui, naturalmente, uma base para o espao vetorial

vetor de

pode ser escrito como combinao linear do terno

. Portanto, qualquer

, o qual varia
{T(t ),N(t ),B(t )}

em cada ponto da curva. Por serem vetores unitrios e ortogonais entre si, o conjunto ternrio
,
e considerado uma base ortonormal do
.
3
T N B

O teorema seguinte nos informa que em qualquer movimento o vetor acelerao fica
situado no plano osculador da curva.
Teorema 1.6.1: Se a funo vetorial

velocidade escalar

T(t )

T(t )

v(t ) (t )

(t )

descreve o movimento de uma partcula com

, ento o vetor acelerao

(t )

da forma

(t ) v(t ) T(t ) v(t ) T(t )

Se

uma combinao linear de

T(t ) 0

, ento

(t ) v(t ) T(t ) v(t ) T(t ) N(t )

Da igualdade acima, conclui-se que o vetor acelerao est contido no plano


osculador da curva.

Clculo III

27

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

Componente normal

Componente tangencial

(t )
T(t )

N(t )

T(t )

k1 T(t )

(t )

k 2 T(t )

(t )

Como podemos observar o vetor acelerao

combinao linear dos vetores

vetores

v(t ) T(t )

T(t )

v(t ) T(t ) N(t )

N(t )

(t )

. Na figura,

pode ser expresso como uma

k1 v(t )

k 2 v(t ) T(t )

. Os

so denominados, respectivamente, componente

tangencial e normal do vetor acelerao, conforme expresso.

SEO 1.7: COMPRIMENTO DE UMA CURVA


Seja

partio de

: (a,b) 3

a,b ti 1 ,ti

uma curva diferencivel. Sejam

os subintervalos de

Clculo III

a,b

a t0 t1 ... t n b

ti ti ti 1

uma

o comprimento do

28

Cap. 01: Funes vetoriais de uma varivel real

subintervalo

ti 1 ,ti

(ti )

Prof. Sinvaldo Gama

os pontos correspondentes no trao de

. Liguemos estes pontos

atravs de uma linha poligonal como indicado na figura abaixo.

(a,b)

Tomando-se os vetores posio dos pontos

simo segmento da poligonal

(ti ) (ti1 )

(ti )

, tem-se que o comprimento do i-

e o comprimento total da poligonal

Clculo III

29

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

Sn

(t ) (t
i

i 1

i 1

Como

,
e
so funes reais de classe
, pelo teorema do
1
x x(t ) y y(t ) z z (t )
C

valor mdio aplicado s funes x, y e z em cada intervalo

ti 1 ,ti

, existem

t1 t 2

t3

tais

que:

x(ti ) x(ti 1 ) x(t1 ) ti

y(ti ) y(ti 1 ) y(t2 ) ti


z(t ) z(t ) z(t ) t
i
i 1
3
i

Logo,

Sn

(x(t1 ))2 (y(t2 ))2 (z(t3 ))2 ti

i 1

A rigor, a expresso acima no uma soma de Riemann, pois os

t1 t 2

t3

no so

necessariamente iguais. Utilizando-se um teorema sobre integrao que no ser discutido


aqui e sendo

uma funo contnua e

f : a ,b

t ti 1 ,ti

, ento

f (t )dt lim f (t )t
a

i 1

onde existe a possibilidade de haver diferentes

Clculo III

30

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

Aplicando o referido teorema

f (t ) (x(t1 )) (y(t2 )) (z(t3 ))


2

que o comprimento de arco de

entre

t0 a

tn b

possvel mostrar

, denotado por l, dado por:

l c( )

(t) dt
a

se

(t )

contnua.

Exemplo 1.7.1: (Comprimento da circunferncia) Seja

(t ) (r sint ,r cost )

e assim,

(t ) r

l c(l )

,
. Temos
(t ) (r cost ,r sint ) r 0

. Da,

(t) dt rdt rt
0

.
2
0

2r

(t )

(0) (2 )

Clculo III

31

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

Exemplo 1.7.2: (Comprimento de uma espira da hlice) Seja

t0 t t0 2

. Temos

(t ) ( a sint ,a cost ,b)

l c(l )

e assim,

,
,
(t ) (a cost ,a sint ,bt ) a 0

(t ) a b
2

(t) dt
0

.
2

a 2 b 2 dt 2 a 2 b 2

(2 )

(0)

Exemplo 1.7.3: Seja

contida em

f : a,b

uma funo real diferencivel. O grfico de f uma curva

, a qual trao da funo vetorial,

,
.
(x) (x, f (x)) a x b

y
(x, f (x))

f (x)

Se

contnua, ento

(x) 1 ( f (x))2

Clculo III

tambm o , e

32

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

l c( f )

1 ( f (x))2 dx

que a frmula, j conhecida por ns, do estudo das funes reais de uma varivel real.

SEO 1.8: PARAMETRIZAO PELO COMPRIMENTO DE ARCO


Uma curva pode ter muitas representaes paramtricas, mas existe uma que , num
certo sentido, particularmente simples e til. Nesta representao, o parmetro o
comprimento da curva medido a partir de algum ponto da mesma. Vejamos como podemos
obter esta representao.
Seja

: a,b 3

uma curva parametrizada regular. A funo definida por

s (t )

(u) du

at b

mede o comprimento da parte de

correspondente ao intervalo

Clculo III

aut

33

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

a,b
s
t

Observe que

(a) 0

Portanto, a funo vetorial

contradomnio, o intervalo

0,l

(b) l

, se l representa o comprimento total de

possui como domnio o intervalo fechado

a,b

. Em notao funcional,

: a,b 0,l
t

t (t )

(u) du
a

Clculo III

34

Cap. 01: Funes vetoriais de uma varivel real

Como

(t ) (t ) 0,t

Prof. Sinvaldo Gama

[pois

valor maior ou igual a zero], a funo


injetiva no intervalo

a,b

(t ) 0

e a norma de qualquer vetor sempre um

estritamente crescente. Portanto,

uma funo

sendo assim, inversvel neste intervalo. Denotando-se por r sua

inversa, teremos imediatamente que

r 1 : 0,l a,b

r (s) t
A funo composta

h(s) r (s) (r (s))

descreve a mesma curva que

porm, com uma nova parametrizao, na qual a varivel

comprimento de arco de

h(0) (r (0)) (a)

h(l ) (r (l )) (b)

Clculo III

0st

descreve,

, representa o

35

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

Dizemos ento que a curva est parametrizada pelo comprimento de arco.


Proposio 1.8.1: A reparametrizao

i.

ii.

h(s) 1

, para todo

h(s)

s 0,l

possui as seguintes propriedades:

O comprimento do arco da curva corresponde ao intervalo

0, s

s.

Prova: Pela Regra da Cadeia,

Clculo III

36

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

h(s) (r (s)) r(s)

Por outro lado, o teorema da funo inversa nos informa que


,
onde

s (t )

1
1
1
r (s)

(t ) (t )
(r (s))

Logo,
h(s) (r (s))

1
(r (s))

e da,

h(s) 1

Quanto segunda parte do teorema, note que, de fato,


.
s

h(u) du du s

Pelo que acabamos de ver, quando uma curva est parametrizada pelo comprimento de
arco, o tempo gasto para percorrer um arco da mesma coincide exatamente com o nmero que
exprime o comprimento deste arco, isto , a distncia percorrida. Isto equivale a dizer que a
parametrizao

h(s)

transforma um segmento de reta (domnio de

) numa curva de

comprimento igual a ele mesmo.


Exemplo 1.8.1: Reparametrize o crculo

(t ) (a cost ,a sint ) 0 t 2

pelo comprimento de

arco.
Soluo: Temos que

(t ) (a sint ,a cost )

s (t )

(t ) a

. Assim:

(u) du adt at

Clculo III

37

Cap. 01: Funes vetoriais de uma varivel real

Da,

s
t r (s)
a

Prof. Sinvaldo Gama

. Temos ento,

s
s
s
a cos ,a sin
a
a
a

h(s) r (s) (r (s))

Observe que

h(s) 1

e que o intervalo

comprimento que o trao de

domnio da funo

0,2a

(crculo de raio

tem o mesmo

).

Exemplo 1.8.2: Reparametrize a curva abaixo usando o comprimento de arco s como


parmetro.
,

3
1
(t ) t , t ,
2
2

Soluo: Temos que

3
(t ) 1, ,0
2

s (t )

Assim,

2
t r (s)
s
13

Mais uma vez note que

. Logo:
13
(t )
2

(u) du

h(s) r (s)

h(s) 1

t0

13
13
du
t
2
2

2
s
13

2
3
1
s,
s,
2
13
13

Clculo III

38

Cap. 01: Funes vetoriais de uma varivel real

Observao: Como vimos se

regular

, ento

(t ) h(s)

o comprimento de

Prof. Sinvaldo Gama

a parametrizao pelo comprimento de arco de uma curva

, onde

s (t ) ta (u ) du

para

at b

0sl

, onde

Derivando a primeira igualdade em relao a t, obtemos:

ds
(t ) h(s) h(s) v(t )
dt
Assim,

(t )
h(s)
v(t )

ou seja,

onde

v(t ) (u )

T(t ) h(s) T(s)

Derivando novamente esta ltima igualdade em relao a t, vem:

ds
T(t ) T(s) T(s) v(t )
dt
Da,

Como

T(t ) T(s) v(t )

T(t ) T(s)

Em geral,

N(t ) N(s)

T(t )

T(t )
T(s) v(t )

T(t )
T(s) v(t )

, segue-se que

T(s)

B(t ) B(s)

ou seja,

N(t ) N(s)

so funes diferentes, definidas em intervalos diferentes.

Porm, elas do exatamente a mesma descrio de mudana de direo do trao comum de


h, visto que em qualquer ponto da curva, os vetores

T(t )

T(s)

so os mesmos, como vimos

acima. Consideraes anlogas valem para os demais vetores do triedro de Frenet.


Clculo III

39

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

SEO 1.9: CURVATURA DE UMA CURVA


Nesta seo, estamos interessados em obter uma maneira de avaliar o quanto uma
curva se dobra (ou se curva) em cada um de seus pontos. Tentaremos dar uma medida numrica
desta mudana de direo num ponto da mesma; este nmero ser chamado curvatura da curva
naquele ponto. de se esperar que os resultados obtidos desta medida venham coincidir com as
nossas experincias anteriormente adquiridas. Por exemplo, que uma reta, que no se curva em
ponto algum, tenha curvatura zero em cada ponto.

Que um crculo tenha curvatura constante, j que o mesmo se dobra do mesmo modo em cada
ponto.

E ainda mais, que a curvatura do crculo seja inversamente proporcional ao seu raio, j que
quanto menor for seu raio, mais ele se curva.

Esta medida deve tambm nos informar que a curva

abaixo, se curva mais no

ponto A do que no ponto B. De modo geral, quanto mais a curva se dobra, maior ser sua
curvatura a.

B
Para fazer valer tais observaes, lanaremos mo dos vetores tangentes curva.
Melhor dizendo, levaremos em considerao a taxa de variao do vetor tangente.

Clculo III

40

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

Inicialmente observamos que no caso da reta, os vetores tangentes em cada ponto


tm a mesma direo: a da reta. Portanto, a taxa de variao dos mesmos nula, isto ,
T(s) 0

T(s1 )

T(s2 )

T(s3 )

Para uma curva mais suave, como

T(s)

em

rapidez com que o vetor

abaixo, os vetores tangentes variam de direo

em cada ponto, mas no to bruscamente como na curva

de variao de

T(s5 )

T(s4 )

prximo ao ponto A, isto , a taxa

, no ponto B, bem menor que em

T(s)

, no ponto A. Portanto, a

muda de direo, nos informa como a curva est se curvando

num determinado ponto. Daremos ento a seguinte definio.

Definio 1.9.1: Seja


Definimos a curvatura

: a ,b n

k (s)

no ponto

uma curva parametrizada pelo comprimento de arco.

(s)

como sendo

k (s) T(s)

Clculo III

41

Cap. 01: Funes vetoriais de uma varivel real

O vetor

T(s)

Prof. Sinvaldo Gama

denominado vetor curvatura. Observe que este vetor sempre

ortogonal ao vetor tangente e, portanto, normal a


comprimento de arco, ento a curvatura

k (t )

T(t ) T(s)

. Se

, se derivarmos a expresso em relao a s, teremos

dT dT dt
1
T (s)

T(t )
ds
dt ds
v(t )

Portanto,

T(t )
T(s)
v(t )

Exemplo 1.9.1: (Curvatura da reta) Seja

(t ) u

Portanto,

T(t ) 0

. Logo,

k (t ) 0

no est parametrizada pelo

dada por

T(s)
k (t )
v(t )

Com efeito, como

isto ,

T(t )
k (t )
v(t )

,
. Temos
(t ) P tu u 0

(t )
u
T(t )

(t )
u

para todo t.

Exemplo 1.9.2: (Curvatura do crculo) Seja

,
. Temos
(t ) (a cost , a sint ) a 0

Clculo III

42

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

(t ) (a sin,a cost )

Da,

T(t ) ( sint ,cost )

T(t ) ( cost , sint )

v(t ) (t ) a

. Assim,

T(t ) 1

k (t ) 1 a

Portanto, constante a curvatura do crculo. Alm disso, v-se que a curvatura


inversamente proporcional ao raio.
Exemplo 1.9.3: (Curvatura da hlice) Seja

(t ) ( a sint ,a cost ,b)

Logo,

,
,
. Temos
(t ) (a cost ,a sint ,bt ) a 0 b 0

v(t ) (t ) a b

(t )
a
a
a
T(t )

sint , 2
cost , 2
2
2
2
(t )
a b
a b
a b2

a
a
T(t )
cost , 2
sint ,0
2
2
a b
a b2

Da,

T(t )
k (t )

v(t )

a b
2

a b
2

a
a b2
2

Portanto, a hlice tambm possui curvatura constante, ou seja, ela se dobra do


mesmo modo em cada um de seus pontos.
Definio 1.9.2: Quando

k (t ) 0

k (t )

denominado o raio de curvatura da curva.

Uma curva com pequena curvatura num ponto tem, nesse ponto, um grande raio de
curvatura e numa certa vizinhana do mesmo, a curvatura difere pouco de uma reta. Isto
permite interpretar a curvatura como uma medida da tendncia para uma curva se desviar da
forma retilnea.

Clculo III

43

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

k0
k1

k2
k3
k4
k5
r

Das curvas acima, nos pontos que pertencem ao eixo r, teremos, genericamente, as
seguintes curvaturas:

0 k0 k1 k 2 k3 k4 k5

O teorema a seguir relaciona a curvatura, a velocidade e a acelerao.


Teorema 1.9.1: Se

curvatura

k (t )

descreve um movimento com velocidade escalar

v(t ) (t )

, ento

(t ) v(t ) T(t ) k (t ) v 2 (t ) N(t )

Prova: Do Teorema 1.6.1, sabemos que

(t ) v(t ) T(t ) v(t ) T (t ) N(t )

Como

k (t ) T(t ) v(t )

Portanto,

, ento,

T(t ) k (t ) v(t )

(t ) v(t ) T(t ) v(t ) (k (t ) v(t )) N(t )


v(t ) T(t ) k (t ) v 2 (t ) N(t )

Clculo III

44

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

O teorema a seguir apresenta outra maneira de se obter a curvatura de uma curva em


termos dos vetores

Teorema 1.9.2: Se

(t )

(t )

uma curva regular, ento

(t ) (t )
k (t )
v 3 (t )

Prova: Temos que

(t ) (t ) v(t ) T(t ) v(t ) T(t ) k (t ) v 2 (t ) N(t )


v(t ) v(t ) T(t ) T(t ) k (t ) v 3 (t ) T(t ) N(t )

k (t ) v 3 (t ) B(t )

j que

T(t ) T(t ) 0

. Como

B(t ) 1

, teremos, portanto,

(t ) (t )
k (t )
v 3 (t )

SEO 1.10: TORO DE UMA CURVA


Observemos que uma reta ao se curvar descreve um movimento em

para que a mesma venha a descrever um movimento em

. Contudo,

, faz necessrio torcer tal curva.

Na seo anterior, abordamos o problema da curvatura de uma curva. Nesta seo,


cuidaremos do problema de se avaliar quanto uma curva se torce em cada ponto. Como no

Clculo III

45

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

caso da curvatura, atribuiremos um valor numrico a esta grandeza; este nmero ser
chamado toro da curva. Resta saber agora, qual o elemento responsvel por esta medida.

A ilustrao acima nos mostra uma curva regular

, plana no intervalo

respectivos vetores tangente, normal e binormal num ponto

mesmo intervalo. Observe que a partir do ponto

com plano osculador da curva no intervalo

Observemos inicialmente que se

a,b

no sofre variao de direo, uma vez que

b (tn )

(t )

a,b

e seus

pertencente curva neste

a curva sai do plano (que coincide

).

uma curva plana, ento o vetor binormal

B(s)

Clculo III

B(s)

perpendicular ao plano osculador, o qual

46

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

coincide, em cada ponto, com o plano da curva. Neste caso

B(s) 0

. Por outro lado, se a

curva sai do plano, ento o vetor binormal sofre mudana de direo, pois ele ser ortogonal
ao novo plano osculador no novo ponto da curva. Neste caso

B(s) 0

. Portanto, pela figura,

deve-se deduzir que no intervalo a-b o vetor binormal no sofre variao de direo, mas
somente a partir do ponto b. Com isto, pode-se concluir que

B(s)

indica quo rapidamente a

curva se afasta do plano osculador em s, isto , quo rapidamente a curva se torce.


Analisemos melhor este vetor

i.

Como

B(s) 1

Portanto,
ii.

Como

B(s)

, ento

B(s)

perpendicular a

pertence ao plano osculador gerado por

B(s) T(s) N(s)

indica que

B(s)

B(s)

, segue-se que

perpendicular a

De (i) e (ii) conclumos que

B(s)

T(s)

j que

, para

T(s)

N(s)

T(s) N(s) 0

N(s)

(s)

(s) B(s) N(s)

, o que

, isto ,

Multiplicando-se escalarmente ambos os membros de (iii) por

Clculo III

B(s) T(s) N(s) T(s) N(s)

paralelo a

B(s) (s) N(s)

[Teorema 1.3.3].

B(s)

(iii)

N(s)

, obtemos

47

Cap. 01: Funes vetoriais de uma varivel real

Definio 1.10.1: O nmero

Analogamente, se

vetor

N(t )

(s)

Prof. Sinvaldo Gama

denominado toro da curva em s.

uma curva regular, ento o vetor

tambm paralelo ao

e assim

B(t ) (t ) N(t )

Portanto,

B(t )

(t ) B(t ) N(t )

para

B(s) B(t )

B(s) B(t )

isto ,

, segue-se que

dt
1
1
(t )
B(t )
(t ) N(t )

N(t )
ds
v(t )
v(t ) v(t )

(t )
(s) N(s)
N(t )
v(t )

N(s) N(t )

, conclumos que

(s)

mede a toro de

Por outro lado, como

Como

(t )

(t )
v(t )

em t.

Exemplo 1.10.1: (Toro da hlice) Seja

,
,
. Temos que
(t ) (a cost ,a sint ,bt ) a 0 b 0

Clculo III

48

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

(t ) ( a sint ,a cost ,b)

Agora,

T(t )

sint ,

a 2 b2

v(t ) (t ) a 2 b 2

cost ,

a 2 b2

a 2 b2

T(t )
cost , 2
sint ,0
a 2 b2
a b2

T(t )

Portanto,

N(t ) ( cost , sint ,0)

a b

B(t ) T(t ) N(t )

a b

B(t )

a 2 b2

Por outro lado,

Da,

sint ,

a b
2

cost ,

a b
2

b
sint ,0 2
N(t )
a b
a b2

cost ,

e assim,

(t )

b
a 2 b2

Portanto, a toro da hlice constante em cada ponto e vale

(t )

(t )

v(t )

a b
2

Clculo III

a b
2

b
a b2
2

49

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

Expressaremos a seguir as derivadas

Teorema 1.10.1: (Frmulas de Frenet) Se

comprimento de arco com curvatura

i.
ii.
iii.

T(s) k (s) N(s)

Prova: (i) Como

(ii) Sendo

e toro

(s)

, ento

T(s) k (s) N(s)

, ento existem escalares a, b e c tais que:

N a T b N c B

, ento, para cada s,

uma base de

Assim,

uma curva parametrizada pelo

T(s) T(s)
N(s)

T(s)
k (s)

{T,N,B}

: (a,b) 3

k (s) 0

N(s) k (s) T(s) (s) B(s)


B (s) (s) N(s)

,
e
em termos dos vetores ,
e .
T N B
T N B

N T a T T b N T c B T a
N N a T N b N N c B N b
N B a T B b N B c B B c

Encontraremos agora estes coeficientes. Diferenciando a identidade

NT 0

N T N T 0 N T N T N (k N) k

Clculo III

, obtemos:

50

Cap. 01: Funes vetoriais de uma varivel real

Portanto,

a k

Prof. Sinvaldo Gama

. Por outro lado, visto que

Finalmente, como

NB 0

N(s) 1

, ento

N(s) N(s) 0

b0

para todo s, ento

N B N B 0 N B N B N ( N)

Portanto,

e assim

N k T B

(iii) Esta relao j foi estabelecida anteriormente quando definimos toro de uma curva.
Resultados parecidos com as frmulas acima podem ser obtidos para as curvas
: (a,b) 3

no necessariamente parametrizadas pelo comprimento de arco. o que

mostra o teorema seguinte.


Teorema 1.10.2: Se

velocidade escalar

i.
ii.
iii.

: (a,b) 3

v(t ) (t )

uma curva regular com curvatura

T(t ) k (t ) v(t ) N(t )

B(t ) (t ) v(t ) N(t )

t r (s)

(t )

N(t ) k (t ) v(t ) T(t ) (t ) v(t ) B(t )

, onde

, toro

, ento

Prova: (i) Seja h a reparametrizao do trao de

T(s) T(t )

k (t ) 0

pelo comprimento de arco. Sabemos que

. Da,

Clculo III

51

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

dT
dt
1
1
T(t ) T(t )
T(t ) N(t )
k (t ) N(t )
ds
ds
v(t )
v(t )

Portanto,

T(t ) k (t ) v(t ) N(t )

(iii) Como

B(s) B(t ) t r (s)

, ento

dt
1
1
B(s) B(t ) B(t )
(t )
N(t ) (t ) N(t )
ds
v(t )
v(t )

Por conseguinte,

(ii) Faamos

B(t ) (t ) v(t ) N(t )

N a T b N c B

N T a

Como

NT 0

, para todo t, ento

N(t ) 1

Finalmente, sendo

. Segue-se que

N N b

N T N T 0

para todo t, ento

NB 0

N B c

N N 0

para todo t, segue-se que

e assim

b0

N B N B 0

c N B N B N ( v N) v

Clculo III

e assim,

a N T N T N (k v N) k v

Por outro lado,

e, portanto,

52

Cap. 01: Funes vetoriais de uma varivel real

Da,

N k v T v B

Prof. Sinvaldo Gama

O prximo teorema mostra outra maneira de se avaliar a toro de uma curva em


termos os vetores

,
e
.

Teorema 1.10.3: Se

: (a ,b) 3

uma curva regular, ento

(t ) (t ) (t )
(t )
(t ) (t )

Como observamos no incio desta seo, se

; se

quando

uma curva plana, ento sua toro

, a curva torce, saindo de seu plano osculador. Portanto, de se esperar que

for identicamente nula, a curva permanea sempre no mesmo plano.

Formalizaremos a seguir este fato que caracteriza as curvas planas.


Teorema 1.10.4: Seja

com curvatura

(s) 0

k (s) 0

: (a,b) 3

uma curva parametrizada pelo comprimento de arco

, para todo s. Ento

uma curva plana se, e somente se, sua toro

, para todo s.

Prova: Suponhamos inicialmente que

uma curva plana. J observamos anteriormente

que, neste caso, em cada ponto o plano osculador coincide com o plano da curva. Como o

Clculo III

53

Cap. 01: Funes vetoriais de uma varivel real

vetor

B(s) T(s) N(s)

se que

B(s)

Prof. Sinvaldo Gama

ortogonal ao plano osculador e, portanto ao plano da curva, segue-

constante e como tal,

B(s) 0

Reciprocamente, suponhamos que

forma,

B(s)

. Por conseguinte,

,
.
(s) 0 s

,
. Isto significa que
e desta
(s) 0 s
B(s) 0

um vetor constante. Afirmamos que

est contida no plano que passa por

,
, e ortogonal a
. Precisamos, pois, provar que
(c) a c b
B(s)

( (s) (c)) B(s) 0

Consideremos a funo real f definida por


f (s) ( (s) (c)) B(s)

Temos que,

f (s) (s) B(s) ( (s) (c)) B(s) (s) B(s) 0

, pois

e est
(s) T(s)

parametrizada pelo comprimento de arco.


Como

f (c) 0

, ento,

f (s) 0

, para todo s, o que demonstra nossa afirmao.

O teorema seguinte constitui uma caracterizao do crculo.


Teorema 1.10.5: Seja

: (a,b) 3

arco com curvatura constante

k 0

uma curva plana parametrizada pelo comprimento de

. Ento

um arco de crculo de raio

Clculo III

1
k

54

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

Prova: Devemos provar que existe um ponto c tal que a distncia de

(s)

ac

1
k

, para todo

s , isto ,

1
(s) c
k

Isto nos motiva escrever


1
1
(s) c u u
k
k

onde

um vetor unitrio, o que sugere que se

1
(s) c u
k
Tomemos

u N(s)

ento

1
c (s) u
k

Temos ento

e consideremos a funo

1
(s) (s) N(s)
k

Como

1
1
(s) (s) N(s) T(s) N(s)
k
k

N(s) k (s) T(s) (s) B(s) k (s) T(s)

, pois

,
1
(s) T(s) (k (s) T(s))
k

Clculo III

plana, ento

55

Cap. 01: Funes vetoriais de uma varivel real

Portanto, a curva

Prof. Sinvaldo Gama

constante, isto ,

1
(s) T(s) N(s) c
k
Por outro lado, a distncia de

(s)

ao ponto c

1
1
d( (s ),c ) (s) c N(s)
k
k

O teorema acima tambm vale se

no est parametrizada pelo comprimento de

arco (verifique!).
Exemplo 1.10.1: Mostre que a curva

(s) 4 sin

s
s

,1 5 cos ,3 sin
5
5

s

5

um crculo.

Ache o centro e o raio do mesmo.


Soluo: Inicialmente, observemos que

z 3 sin(5s )

, segue-se que

z 34 x

uma curva plana. De fato, sendo

x 4 sin(5s )

o plano que a contm. Calculemos a curvatura de

Temos que

4 s

(s) cos ,sin

5 5
Da,

s 3 s
, cos
5 5 5

16
9
s
s
s
s
s
(s) cos2 sin2 cos2 cos2 sin2 1
25
5
5 25
5
5
5

Assim,

T(s) (s)

. Ento,

Clculo III

56

Cap. 01: Funes vetoriais de uma varivel real

Prof. Sinvaldo Gama

T(s) sin
25

s 1 s 3

, cos , sin
5 5 5 25

s

5

Portanto,

16
1
9
s
s
s
sin 2 cos 2
sin 2
625
5 25
5 625
5
,
.

s
25
s
1
s
1

sin2 cos2 0
625
5
5 25
5

k ( s) T( s)

Logo

um crculo de raio 5 e centro no ponto

1
c (s) N(s)
k

4 s
s
s
s
s 3 s
4 sin ,1 5 cos ,3 sin 5 sin ,cos , sin (0,1,0)
5
5
5
5 5 5

5 5

Clculo III

57

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

CAPTULO 2
( f : n )

FUNES REAIS DE VRIAS VARIVEIS REAIS


SEO 2.1: FUNES E GRFICOS
Neste captulo estudaremos as funes reais definidas sobre subconjuntos de

, ou

seja, as funes reais de vrias variveis reais. Muitos fenmenos que ocorrem na natureza
so traduzidos por funes que, geralmente, no dependem de uma s, mas de duas, trs ou
mais variveis independentes. Por exemplo, o volume de um gs depende de dois valores, a
saber, a presso e a temperatura; , portanto, uma funo de duas variveis, conforme indica a
equao de estado dos gases ideais:

PV nRT

, onde P a presso, V o volume, T a

temperatura e n e R so constantes. O volume de um cilindro,

depende de duas variveis: o raio

da base e a altura

V r h
2

uma funo que

do cilindro. Com frequncia, funes

de vrias variveis surgem tambm na biologia, fsica, matemtica e engenharia. Estes fatos
justificam, pois, um estudo detalhado de tais funes. Estudaremos neste captulo, conceitos
como limite, continuidade e derivabilidade dessas funes. Mais adiante, sero estudados
conceitos como mximos, mnimos e integrao, dentre outros.
Definio 2.1.1: Seja D um subconjunto de

, X um ponto de D e y um nmero real. Uma

funo

f :D
X y f (X )

denominada uma funo real de n variveis reais.

Clculo III

58

Cap. 02: Funes reais de vrias variveis reais

Visto que

f (x, y)

X (x1 , x2 ,...,xn )

em vez de

f (x1 , x2 )

f e ser denotado por

Df

Prof. Sinvaldo Gama

, escrevemos

f (x, y , z )

f (X )

em vez de

ou

f (x1 , x2 ,...,xn )

f (x1 , x2 , x3 )

. Se

, escrevemos

. O conjunto D o domnio de

e o conjunto

Im(f ) {f (X ) ; X D f }

imagem de f.

Definio 2.1.2: Se f uma funo real de uma varivel, o grfico de f o subconjunto de

definido por

Gr( f ) {(x, y) 2 ; y f (x)}

Semelhantemente, se f uma funo real de duas variveis, o grfico de

subconjunto do

, definido por

Gr( f ) {(x, y , z ) 3 ; z f (x, y)}

Como meio de aumentar a compreenso pela visualizao, um grfico til apenas


para as funes

f :D

ou

g : E 2

. No Clculo I, representamos,

geometricamente, as funes reais de uma varivel por curvas; para as funes reais de duas
variveis, em geral, elas so representadas geometricamente por meio de superfcies. Em
nosso estudo, examinaremos apenas funes cujos grficos tm tal representao.

Clculo III

59

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Uma maneira de melhor esbo-los atravs dos chamados conjuntos de nvel de

que so subconjuntos do domnio de

Definio 2.1.3: Seja

f : D n

sobre os quais

constante.

uma funo e seja k um elemento da imagem de

.O

conjunto

S k {X D; f (X ) k}

denominado um conjunto de nvel de

Sk

associado a k.

i. Se

ii.

k f (S k )

,
denominado uma curva de nvel de
f
f : D 2 S k {(x, y) D; f (x, y ) k}
associada a k.
Se
,
chamado uma superfcie de
3
f : D S k {(x, y , z ) D; f (x, y , z ) k}
nvel de

associada a k.

Clculo III

60

Cap. 02: Funes reais de vrias variveis reais

Observe que se

grfico de

Prof. Sinvaldo Gama

f : D 2

com os planos

zk

, os conjuntos de nvel de

so as intersees do

SEO 2.2: LIMITE E CONTINUIDADE


Definio 2.2.1: Seja

centro

X0

X 0 n

e r um nmero real positivo. Denominamos bola aberta de

e raio r, o conjunto

B(X 0 ;r ) {X 0 n ; X X 0 r}

i. Se

n 1 B(X 0 ;r )

ii.

Se

iii.

Se

o intervalo aberto

n 2 B(X 0 ;r )
,

n 3 B(X 0 ;r )

(X 0 r , X 0 r )

o crculo de centro

a esfera centrada em

X0

e raio r, excetuando-se sua circunferncia;

X0

e raio r, excetuando-se sua superfcie;

X0

X0

Analogamente, denominamos bola fechada de centro

X0

e raio r o conjunto

B X 0 ;r {X 0 n ; X X 0 r}

Clculo III

61

Cap. 02: Funes reais de vrias variveis reais

i. Se

n 1 B X 0 ;r

o intervalo fechado

ii.

Se

n 2 B X 0 ;r

iii.

Se

n 3 B X 0 ;r

Prof. Sinvaldo Gama

X 0 r, X 0 r

o crculo de centro

X0

a esfera centrada em

e raio r;

X0

e raio r;

X0

B (X 0 ; r )

aberto quando em cada ponto

X0 D

existe

contida em D.

Definio 2.2.3: Um subconjunto D do

r 0

X0

Definio 2.2.2: Um subconjunto D do

uma bola aberta

dito limitado se existe uma bola aberta de raio

centrada na origem que o contenha. Caso contrrio, D dito ilimitado.

Clculo III

62

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

D
r

Definio 2.2.4: Dizemos que um ponto

e se existe alguma bola aberta

B(X 0 ;r )

X0

interior a um subconjunto D do

centrada em

Definio 2.2.5: Dizemos que um ponto

X0 D

e se existe alguma bola aberta

se

X0 D

e contida em D.

X0

X0

exterior a um subconjunto D do

X0

B(X 0 ;r )

centrada em

X0

e tal que

se

B (X 0 ; r ) D

r
X0

Clculo III

63

Cap. 02: Funes reais de vrias variveis reais

Definio 2.2.6: Dizemos que

X0

Prof. Sinvaldo Gama

um ponto fronteira de um subconjunto D do

se

X0

no nem interior e nem exterior a D.

Ex.:

y
B

X 0 (0, y ),y 0

A {(x , y) 2 ; x 0, y 0}
B {(x, y) 2 ; x 0}

Nota: O conjunto de todos os pontos fronteira de um conjunto chamado fronteira do


conjunto. Quando todos os pontos fronteira de um conjunto pertencem a ele, o mesmo
chamado um conjunto fechado (na figura,

X0

ponto fronteira e B um conjunto fechado).

Definio 2.2.7: Seja D um subconjunto aberto do

possivelmente em

X0 D

. Dizemos que

tem limite

uma funo definida em D exceto

em torno do ponto

X0

escrevemos

lim f (X ) L

X X0

se dado um nmero real

qualquer, existe um nmero real

Clculo III

tal que quando

64

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

, ento

0 X X0 , X D

Com outras palavras, dado

X0

e de raio

f (X ) L

, existe uma bola aberta

B (X 0 ; r ) D

tal que

Se

X B(X 0 ;r ); X X 0

, ento

f (X ) B(L; ) (L , L )

X0

Pergunta: O que significa dizer que a funo

Resposta: Significa que existe um nmero real

X B (X 0 ; r )

, centrada em

para os quais

f (X ) L

no tem limite L em torno de

tal que para todo

X0

, existem pontos

D
r

X0

Clculo III

65

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Nem sempre tarefa fcil provar a existncia do limite de uma funo usando-se a
definio de limite. Uma dificuldade que se apresenta que tal definio no nos indica como
obter o limite que ele existe. Observe que a definio, para ser usada, requer o conhecimento
prvio do limite (!). Faremos a seguir uma lista de certas propriedades dos limites que nos
indicar uma tcnica para o clculo do limite de uma funo a partir do conhecimento do
limite de outras funes. Mais precisamente, temos o seguinte teorema:
Teorema 2.2.1: Sejam

possivelmente em

i.

X0 D

. Se

funes definidas no subconjunto aberto D de

lim f (X ) L

X X0

lim g (X ) M

X X0

X X0

iii.

, ento

X X0

se

lim f (X )

f (X ) X X 0
L

,
X X 0 g (X )
lim g (X ) M

lim

, exceto

X X0

lim ( f (X ) g (X )) lim f (X ) lim g (X ) L M

X X0

X X0

lim ( f (X ) g (X )) lim f (X ) lim g (X ) L M

X X0

ii.

M 0

X X0

iv.

Se

lim f (X ) 0

e g limitada, isto ,

g (X ) M 0

X X0

aberta centrada em

v.

vi.

Se

Se

f (X ) g (X )

X0

, ento

f (X ) h(X ) g (X )

X0

X X0

, para todo

h possui limite em

lim ( f (X ) g (X )) 0

para todo X em alguma bola

, ento

X D {X 0}

, para todo

lim f (X ) lim g (X )

X X0

X D {X 0}

lim h(X ) L

X X0

lim f (X ) lim g (X ) L

X X0

, ento

X X0

X X0

CONTINUIDADE

Clculo III

66

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Grosso modo, uma funo contnua aquela cujos valores no sofrem variaes
bruscas, isto , se X est prximo de

X0

ento

f (X )

deve estar prximo de

f (X 0 )

. Como se

observa essa ideia est relacionada ao conceito de limite. Entretanto, isso no significa dizer
que se uma funo tem limite em torno de um ponto, que neste ponto ela seja contnua, uma
vez que na definio de limite no se exige que a funo esteja definida no ponto no qual
estamos considerando o limite. Mais precisamente, temos a seguinte definio:
Definio 2.2.8: Seja D um subconjunto do

que f contnua em

X0

X0 D

f :D

uma funo. Dizemos

se

lim f (X ) f (X 0 )

X X0

isto , dado

qualquer, existe

se

Diz-se que

tal que

X X0 , X D

, ento

contnua em D quando

f (X ) f (X 0 )

contnua em cada ponto de D.

Teorema 2.2.2: Seja D um subconjunto aberto do

contnuas em

desde que

X0 D

g (X 0 ) 0

, ento so tambm contnuas em

. Se

X0

f ,g : D

as funes

so funes

f g, f g

f/g

Clculo III

67

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Teorema 2.2.3: (Continuidade da funo composta). Seja D um subconjunto aberto do

Se

f :D

f (X 0 ) y 0 I

uma funo contnua em

, onde

f (D) I

, ento

'

X0

contnua em

se

y0 f (X 0 )

, dado

X0

contnua em

z0

y 0 f (X 0 )

z0 f (X 0 ) ( f (X 0 ))

y0

existe

y y 0 , y ( y0 , y 0 )

z0

tal que,

, ento

(y) (y0 )

Portanto, se
f (X ) f (X 0 ) , y (y0 , y0 )

Como f contnua em

se

X0

, dado

X X 0 ', X D

, ento

y0

Como

:I

contnua em

f :D

Prova:

e se

X0 D

, ento

( f (X )) ( f (X 0 ))

, podemos encontrar um

f (X ) f (X 0 )

Clculo III

e assim

' 0

tal que,

( f (X )) ( f (X 0 ))

68

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Mostraremos no prximo teorema que todo funcional linear de

em todo ponto de

Teorema 2.2.4: Se

i.

ii.

contnuo

um funcional linear, ento

para algum inteiro

T contnuo em todo ponto do

Prova: (i) Seja

em

T :

T (X ) k X

a base cannica de

{e1 ,e2 ,...,en }

X x1 e1 x2 e2 xn en

. Se

X (x1 , x2 ,...,xn )

, ento

T (X ) x1 T (e1 ) x2 T (e2 ) xn T (en )

pois T linear. Da,


T (X ) x1 T (e1 ) x2 T (e2 ) xn T (en )

Como

xi X , i 1,...,n

Fazendo

(ii)

, ento

T (X ) X T (e1 ) T (e2 ) T (en )

k T (e1 ) T (e2 ) T (en )

, obtemos

T (X ) T (X 0 ) T (X X 0 ) k X X 0

T (X ) k X

, pelo item anterior. Portanto, dado

, tome

Clculo III

69

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

A continuidade de vrias funes pode ser deduzida facilmente com a aplicao


repetida dos dois seguintes corolrios.
Corolrio 2.2.1: As funes

P1 : 2
X P1 (X ) x

P2 : 2
X P2 (X ) y
so contnuas em

, onde

X (x, y)

Prova: Observe que P1 e P2 so funcionais lineares e, portanto, pelo teorema anterior, so


contnuas em

. Mais geralmente, as funes

Pi : n

X Pi (X ) xi
so contnuas em

, onde

X (x1 ,...,xi ,...,xn )

, pois so funcionais lineares.

Corolrio 2.2.2: As funes

S : 2
X S (X ) x y
e

P : 2
X P(X ) xy

so contnuas em

, pois so funcionais lineares.

Clculo III

70

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Prova: Como S um funcional linear, pelo teorema 2.4, S contnuo

funo P, observe que

P P1 P2

(S P1 P2 )

. Quanto

SEO 2.3: DERIVADAS PARCIAIS


Para estendermos as tcnicas do Clculo s funes definidas em

conceito de derivada parcial. Comecemos com uma funo real

precisamos do

, definida em

, isto ,

f : D 2

(x, y) z f (x, y)

Se fixarmos uma das variveis, digamos

(x) f (x, y0 )

que depende de uma nica varivel

Definio 2.3.1: A derivada da funo

'(x0 ) lim
h0

(x)

no ponto

y y0

, obteremos uma funo

x0

, isto ,

(x0 h) (x0 )
f (x0 h, y0 ) f (x0 , y0 )
lim
h

0
h
h

quando existe, chamada a derivada parcial de f em relao a x no ponto

Notaes:

f
'(x0 ) (x0 , y0 ) f x (x0 , y0 ) Dx f (x0 , y0 ) D1 f (x0 , y0 )
x

Clculo III

X 0 (x0 , y0 )

71

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Pergunta: Qual o efeito, no domnio de

O domnio de

, ao restringirmos a varivel

fica reduzido a um segmento de reta (segmento

y y0

? Resposta:

na figura abaixo).

AB
y
D

X0
y y0

x0

Pergunta: Qual o efeito, no grfico de

grfico de

grfico de

fica reduzido curva

, ao restringirmos a varivel

(x) (x, y0 , f (x, y 0 ))

(que uma superfcie) com o plano

grfico da funo

y y0

y y0

? Resposta: O

a qual justamente a interseo do

. Note tambm que a curva

Clculo III

72

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

y y0

(x) (x, y0 , f (x, y0 ))

Clculo III

73

Cap. 02: Funes reais de vrias variveis reais

Nota: Observe que

expresso

X 0 he1

(x0 h, y0 ) (x0 , y0 ) h (1,0) X 0 he1


,

X 0 he1 h

paralela ao vetor

Prof. Sinvaldo Gama

e1

, onde e1 = (1,0). Como sabemos a

representa a equao de uma reta que passa pelo ponto

X0

. No caso em questo, devemos restringir os valores de h de modo que

fique contida no domnio D da funo

y
g (X ) X 0 he1
X0

y0

e1

x0

Podemos ento escrever:

f (X 0 he1 ) f (X 0 )
f
(X 0 ) lim
h

0
x
h

e deste modo ao calcularmos a derivada

f
x

(X 0 )
, estamos restringindo o domnio de f a um

segmento de reta que passa por X0 e tem direo do vetor e1 e calculando a a sua taxa de
variao.
Definio 2.3.2: A derivada da funo

(x)

no ponto

x0

, isto ,

(y0 h) (y0 )
f (x0 , y0 h) f (x0 , y0 )
lim
h 0
h 0
h
h

'(x0 ) lim

Clculo III

74

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

quando existe, chamada a derivada parcial de f em relao a

Notaes:

no ponto

f
'(x0 ) (x0 , y0 ) f y (x0 , y0 ) D y f (x0 , y0 ) D2 f (x0 , y0 )
y

Pergunta: Qual o efeito, no domnio de

domnio de

, ao restringirmos a varivel

fica reduzido a um segmento de reta (segmento

X 0 (x0 , y0 )

x x0

? Resposta: O

na figura abaixo).

MN
y

D
y0

X0

x x0
N

Pergunta: Qual o efeito, no grfico de

grfico de

grfico de

fica reduzido curva

, ao restringirmos a varivel

(x) (x0 , y , f (x0 , y))

(que uma superfcie) com o plano

grfico da funo

. Note tambm que a curva

Clculo III

x x0

x x0

? Resposta: O

a qual justamente a interseo do

. Note tambm que a curva

o grfico da funo

75

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

y
x x0
x

(x)

Clculo III

76

Cap. 02: Funes reais de vrias variveis reais

Nota: Observe tambm que

expresso

X 0 he 2 h

paralela ao vetor

X 0 he 2

e2

Prof. Sinvaldo Gama

(x0 , y0 h) (x0 , y0 ) h (0,1) X 0 he2

, onde e1 = (0,1). A

representa a equao de uma reta que passa pelo ponto

X0

. No caso em questo, devemos restringir os valores de h de modo que

fique contida no domnio D da funo

y
h(X ) X 0 he2

y0

X0

e2
0

x0

Podemos ento escrever:


f
f (X 0 he2 ) f (X 0 )
(X 0 ) lim
h 0
y
h

isto , calcular

que passa por

f
y

X0

(X 0 )

significa obter a taxa de variao de

e tem direo do vetor

e2

ao longo do segmento de reta

INTERPRETAO GRFICA DAS DERIVADAS PARCIAIS


Assim como o valor da derivada ordinria num ponto o declive da reta tangente ao
grfico naquele ponto, a derivada parcial

f
x

(x0 , y0 )

Clculo III

o declive, no ponto

(x0 , y0 , f (x0 , y0 ))

, da

77

Cap. 02: Funes reais de vrias variveis reais

reta tangente curva

podemos observar que

curva

Prof. Sinvaldo Gama

(x) (x, y0 , f (x, y0 ))

f
y

(x0 , y0 )

(y) (x0 , y , f (x0 , y))

descrita no incio desta seo. Analogamente,

o declive, no ponto

(x0 , y0 , f (x0 , y0 ))

, da reta tangente

. (veja os grficos correspondentes nas pginas 52 e 53.)

PLANO TANGENTE
Definio 2.3.3: Definimos o plano tangente ao grfico de

como sendo o plano definido pelos vetores tangentes,

curvas

(x0 )

f
e

no ponto

(y0 )

(x0 , y0 , f (x0 , y0 ))

, respectivamente, s

neste ponto.

x0

y0

X 0 (x0 , y0 )

EQUAO DO PLANO TANGENTE


Clculo III

78

Cap. 02: Funes reais de vrias variveis reais

Sejam

(x) (x, y0 , f (x, y0 ))

Prof. Sinvaldo Gama

(y) (x0 , y , f (x0 , y))

. Os vetores tangentes a

so, respectivamente:
e

(x0 ) (1 ,0, f x (x0 , y0 ))

(y0 ) (0, 1, f y (x0 , y0 ))

Agora, seja

N (x0 ) (y0 ) f x (x0 , y0 ) i f y (x0 , y0 ) j k

o vetor normal ao plano tangente. Ento a equao do mesmo ser:

((x, y , z ) (x0 , y0 , f (x0 , y0 )) ( f x (x0 , y0 ), f y (x0 , y0 ),1) 0

(x x0 ) f x (X 0 ) (y y0 ) f y (X 0 ) (z f (X 0 )) 0

, para

, ou seja,

X 0 (x0 , y0 )

DERIVADAS PARCIAIS E CONTINUIDADE


Sabemos que se uma funo real de uma varivel derivvel num ponto, ento ela
contnua nesse ponto. O exemplo seguinte mostra-nos que a existncia das derivadas parciais
num ponto, no implica necessariamente a continuidade da funo nesse ponto.
A funo

xy
;
f (x, y) x y 2

0 ;

possui derivadas parciais em

(0,0)

mas

(x, y) (0,0)
(x, y) (0,0)

no contnua neste ponto. Com efeito,

f (0 h,0) f (0,0)
00
lim
0
h0
h
h
f (0,0 k ) f (0,0)
00
f y (0,0) lim
lim
0
k 0
k 0
k
k
f x (0,0) lim
h 0

Clculo III

79

Cap. 02: Funes reais de vrias variveis reais

Por outro lado,

contnua em

(0,0)

f (x,0) 0

Prof. Sinvaldo Gama

f (x, x)

1
2

. Portanto, no existe

lim

(x ,y )(0 ,0 )

f (x, y)

no

Do exposto, resulta que o conceito de derivada parcial, embora seja uma ideia bastante
til, no uma boa generalizao do conceito de diferenciabilidade para funes de vrias
variveis reais. Acreditamos que uma boa generalizao dever implicar na continuidade da
funo, porque isso o que acontece no caso das funes reais de uma varivel.

DERIVADAS PARICIAIS DE ORDEM SUPERIOR


Podemos repetir indefinidamente a operao que consiste em calcular derivadas de
uma funo, contanto que as derivadas existam. Usaremos as seguintes notaes:
i.

ii.

iii.

iv.

v.

vi.

f
fx
x

f 2 f

2 f xx
x x
x

f 2 f

2 f yy
y y
y

f
2 f
f xy


y x xy

f
2 f


f yx
x y xy

x y 2

f
f yyx
xy 2

Clculo III

80

Cap. 02: Funes reais de vrias variveis reais

Exemplo 2.3.1: Seja

ordem de

Soluo:

f (x, y ,) 4 x 5 y 3 5 xy7 x

f x 20 x 4 y 3 5 y 7 1

f xy f yx

, para todo

Exemplo 2.3.1: Seja

f y 12 x5 y 2 35 xy6

f yy 24 x5 y 210 xy5

f xy 60 x 4 y 2 35 y 6

Soluo:

. Calcule as derivadas parciais de segunda

f xx 80 x 3 y 3

Note que

Prof. Sinvaldo Gama

f yx 60 x 4 y 2 35 y 6

(x, y) 2

f
(x 2 y 2 ) 2 2 y
y

1
f (x , y ,) 2
(x 2 y 2 )1
2
x y

f
(x 2 y 2 ) 2 2 x
x

. Determine

2 f
xy

descontnua em algum ponto de

f
8 xy
2 y(2)(x 2 y 2 ) 3 2 x 2
yx
(x y 2 )3
2

f xy f yx

2 f
8 xy
2 x(2)(x 2 y 2 ) 3 2 y 2
yx
(x y 2 )3

Note mais uma vez a igualdade entre as derivadas parciais mistas, isto ,

Em geral, no certo que

2 f
yx

f xy f yx

(basta, para isso, que a funo considerada seja

). Contudo, sob hipteses de continuidade, estas duas

derivadas parciais mistas so iguais. No teorema seguinte se estabelecer este resultado.

Clculo III

81

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Teorema 2.3.1: Seja D um subconjunto aberto de

f :D

uma funo tal que

f xy

so contnuas em D. Ento

f yx

f xy

f
f

f yx

x y
y x

SEO 2.4: REGRA DA CADEIA (1 VERSO)


Teorema 2.4.1: Seja

X0 D

. Seja

f (D) I

f : D n

:I

. Ento

f :D

uma funo cujas derivadas parciais existem no ponto

uma funo real diferencivel em

tem derivadas parciais em

X0

y0 f (X 0) I

, onde

y0

( f )

f
(X 0 ) ( f (X 0 ))
(X 0 )
xi
xi

x0
0
Prova:
Por comodidade,
consideraremos
.
2
f f :D
x

D 2

z 0 (y 0 )

y0 f (X 0 )

X0

h f

Clculo III

82

Cap. 02: Funes reais de vrias variveis reais

Fazendo

y y0

Prof. Sinvaldo Gama

, tem-se

h(x, y0 ) ( f (x, y0 )) ( (x))


onde

(x) f (x, y0 )

. Assim,

h
f
f
(X 0 ) ( (x)) (x) ( f (x0 , y0 )) (x0 , y0 ) ( f (X 0 )) (X 0 )
x
x
x
onde

X 0 (x0 , y0 )

. Analogamente,

h
f
(X 0 ) ( f (X 0 )) (X 0 )
x
x

SEO 2.5: DERIVADA DIRECIONAL


Como vimos na Seo 3, a derivada parcial de uma funo real mede a taxa de
variao da funo numa certa direo coordenada. Por exemplo, se

mede a taxa de variao de f em relao a x, na direo do vetor

variao de f em relao a y, na direo do vetor

e2 (0,1)

z f (x, y)

e1 (1,0)

fy

, ento

fx

mede a taxa de

. Geometricamente, elas descrevem

o comportamento de f (crescimento e decrescimento) quando, a partir do ponto caminhamos


na direo do eixo dos x ou na direo do eixo dos y. Quando desejamos medir a taxa de
variao da funo f numa direo arbitrria, usamos a derivada direcional.

Clculo III

83

Cap. 02: Funes reais de vrias variveis reais

Definio 2.5.1: Seja

Prof. Sinvaldo Gama

f : D n

derivada direcional de f no ponto

X0

, D aberto, e seja u um vetor unitrio do

na direo u, denotada por

f
u

(X 0 )

. A

, o limite

y
y0D

f (X 0 tu) f (X 0 )
f
X 0 ) lim
X (t ) X 0 (tu
t

0
u
t

X0

u
x0

Como D aberto,

de

f
u

X 0 tu D

para valores de t suficientemente pequenos. O domnio

o subconjunto do domnio de f para o qual o limite acima existe.

Observao: Consideremos a reta

maneira que a imagem de

(t ) X 0 tu, a t b

, onde a e b so escolhidos de tal

esteja contida em D.
f

Clculo III

84

Cap. 02: Funes reais de vrias variveis reais

Seja

Prof. Sinvaldo Gama

g (t ) f (t ) f ( (t )) f (X 0 tu)

, com

X 0 tu D

g (t ) g (0)
f (X 0 tu) f (X 0 )
g (0) lim
lim
,
t 0
t 0
t 0
t

isto ,

. Temos,

g (0) f (X 0 )

f
g (0) (X 0 )
u

DERIVADA DIRECIONAL E CONTINUIDADE


Tivemos oportunidade de observar na Seo 3, que uma funo pode ter derivadas em
um ponto e a mesma no ser contnua neste ponto. O fato surpreendente que mesmo sendo a
derivada direcional uma generalizao do conceito de derivada parcial, uma funo pode ter
num ponto derivadas direcionais em todas as direes e deixar de ser contnua neste ponto.
Por exemplo, considere a funo

f (x, y )

Seja

X 0 (0,0) u (a,b) 2

xy2
;
x2 y4
0 ;

(x, y ) (0,0)
(x, y ) (0,0)

um vetor unitrio qualquer. Ento temos:

f (X 0 tu) f (X 0 ) f (tu) f (0,0) f (ta,tb) f (0,0)

t
t
t
.
1 t at 2b 2
t ab 2
ab 2
2 2 4 4

t t a t b t (a 2 t 2b 4 ) a 2 t 2b 4

Fazendo

t 0

, encontramos

f
f
ab 2 b 2
(X 0 )
(0,0) 2
u
u
a
a

Clculo III

, se

a0

85

Cap. 02: Funes reais de vrias variveis reais

Se

a0

Prof. Sinvaldo Gama

, entretanto,

f
f (0,tb)
1
0
(0,0) lim
lim
0
t 0
t 0 t 0 t 4b 4
u
t

Por conseguinte,

f
u

(0,0) existe para todas as direes u. Por outro lado, f assume o

valor em cada ponto da parbola

no contnua em

(0,0)

uma vez que

x y2

(exceto na origem), de forma que, claramente, f

f (0,0) 0

Este exemplo nos mostra que derivadas direcionais bem como derivadas parciais no
so generalizaes completamente satisfatrias, em

, da noo de derivada em

INTERPRETAO GRFICA DA DERIVADA DIRECIONAL


Lembramos que a derivada parcial de f em relao a x a inclinao da tangente
curva a qual a superfcie interceptada por um plano perpendicular ao plano xy, e paralelo ao
vetor e1 = (1,0). Da mesma forma, a derivada direcional da funo f numa direo u, num
ponto X0 = (x0, y0), d a inclinao da reta tangente curva segundo a qual a superfcie
interceptada por um plano perpendicular ao plano xy e paralelo ao vetor u.

Clculo III

86

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

X0
z

X (t ) X 0 ut

y
u
x

Sendo o ngulo dessa tangente com o plano xy, isso significa que
f
(X 0 ) tan
u

Esta derivada positiva se

direo do vetor u, e negativa se

f (X )

f (X )

cresce medida que X se desloca, a partir de

X0

, na

decresce.

Clculo III

87

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

SEO 2.6: FUNES DIFERENCIVEIS


O propsito desta seo fornecer uma generalizao adequada do conceito de
derivada de uma funo real de uma varivel. Quando estudamos a diferenciao de funes
de vrias variveis, considerando-as como uma funo de uma nica varivel (mantendo todas
as outras fixas), isto nos levou ao conceito de derivada parcial.
Na generalizao de um conceito, esperamos manter as propriedades consideradas
importantes; no caso em questo, por exemplo, que a existncia da derivada de f implique na
continuidade. Como observamos anteriormente, nem as derivadas parciais nem tampouco a
derivada direcional preenchem este propsito. Passaremos, a seguir, a motivar uma definio
de diferenciabilidade em

que preencha os requisitos necessrios para uma boa

generalizao do conceito de derivada em

DIREFENCIABILIDADE EM

Lembramos que uma funo

nmero

f :

diferencivel em

x0

se existe um

tal que

f (x0 h) f (x0 )
lim
a
h0
h

Esta equao certamente deixa de ter sentido no caso de uma funo definida em
n

, pois estaramos a dividir por um vetor. Nossa tarefa a seguir, a de obter uma forma

equivalente de diferenciabilidade em

consideremos a funo

r (h)

que seja passvel de generalizao. Para isso,

definida por

Clculo III

88

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

f (x0 h) f (x0 )
r (h)
a
h
Segue-se que,

lim r (h) 0

onde

a f (x0 )

h 0

f (x0 h) f (x0 ) ah hr (h)


ou

f (x0 h) f (x0 ) ah hr (h)


Fazendo

hr (h) R(h)

, obtemos

R(h)
r (h)
h

f (x0 h) f (x0 ) ah R(h)

ou equivalentemente,

R(h)
lim
0
h0
h

onde

R(h)
0
h 0 h

lim

Por outro lado, sabemos que

de

. Assim,

um espao vetorial e que as aplicaes lineares

em so da forma

T (x) T (1 x) x T (1) b x

Clculo III

89

Cap. 02: Funes reais de vrias variveis reais

onde

b T (1)

Prof. Sinvaldo Gama

uma constante real e determina T, sendo nica para cada aplicao linear de

em . Desta forma, o termo

ah

que aparece na frmula acima pode ser interpretado como

sendo o valor de h da aplicao linear


T :

x T (x) ax

onde

a f (x0 )

Por conseguinte, podemos tambm considerar a derivada de f em

nmero, mas como uma aplicao linear que transforma

em

ax

x0

no como um

. Sob este ponto de vista

daremos a seguir outra definio de diferenciabilidade de uma funo.


Definio 2.6.1: Dizemos que

uma aplicao linear

T :

diferencivel em

, dada por

T (x) ax

f (x0 h) f (x0 ) T (h) R(h)

T a chamada diferencial ou derivada de

se existe um nmero real

x0

, tal que

onde

R(h)
lim
0
h 0 h

em que tambm denotamos por

f (x0 )

Observe que fizemos uma mudana na nomenclatura: para ns agora, a aplicao


linear

T (x) ax

que ser chamada de derivada de

no ponto

x0

e no o nmero

a f (x0 )

como temos at agora usado. evidente que a existncia da aplicao linear exigida na
definio acima, est condicionada existncia do nmero

a f (x0 )

e vice-versa, como

facilmente se verifica. Esta troca de nomenclatura se prende facilidade de expresso que

Clculo III

90

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

teremos quando passarmos a considerar questes de diferenciabilidade de funes definidas


em

DIREFENCIABILIDADE EM

Estamos agora em condies de definir diferenciabilidade para funes de duas ou mis


variveis.
Definio 2.6.2: Seja

em

X0

f :D
n

, se existir um funcional linear

, D aberto e

T : n

f (X 0 H ) f (X 0 ) T (H ) R(H )

Note que

X0 D

. Dizemos que

onde

R(H )
lim
0
H 0 H

R(H ) f (X 0 H ) f (X 0 ) T (H )

H
H

lim (H ) 0

diferencivel

tal que

s vezes conveniente escrever o resto sob a forma

R(H ) (H ) H

R (H )
H

(H )

, donde

h0

O funcional linear T denominado a diferencial ou a derivada de f em

denotamos tambm por

f (X 0 )

X0

, que

, isto ,

T f (X 0 ) : n

Clculo III

91

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

X y f (X 0 )(X )

Mostraremos mais adiante que o funcional linear T, quando existe, nico.


Observe que se

X (x1 , x2 ,...,xn )

e1 ,e2 ,...,en

so os vetores da base cannica de

ento

T (X ) x1 T (e1 ) x2 T (e2 ) xn T (en )


Teorema 2.6.1: Se f diferencivel em

Prova: Sendo f diferencivel em

X0

X0

, existe um funcional linear

f (X 0 H ) f (X 0 ) T (H ) R(H )

Assim,

, ento f contnua em

lim f (X 0 H ) f (X 0 ) T (0) 0

, onde

X0

tal que

lim f (X 0 H ) f (X 0 ) T (0) 0

H 0

, pois sendo T linear, contnua em 0 e como tal,

H 0

lim T (H ) T (0) 0

. Por outro lado,

H 0

R(H )
lim R(H ) lim
X 00 0
H 0
H 0
X

Portanto,

lim f (X 0 H ) f (X 0 )

H 0

Clculo III

92

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Mostraremos a seguir que se f for diferencivel em

parciais em

X0

T f '(X 0 )

X0

, ento f admitir derivadas

ser o nico funcional linear que goza da propriedade

R(H )
f (X 0 H ) f (X 0 ) T (H )
lim
lim
0
H 0 H
H 0
H

Mais precisamente temos o seguinte teorema.


Teorema 2.6.2: Se

diferencivel em

X0 D

, ento

f (X 0 tX ) f (X 0 )
f (X 0 )(X ) T (X ) lim
t 0
t

Em particular, T nico.
Prova: Sendo f diferencivel em

X0

, existe um funcional linear T tal que

f (X 0 H ) f (X 0 ) T (H ) R(H )

Pondo

H tX

R(H )
lim
0
H 0
H

, vem:

f (X 0 tX ) f (X 0 ) T (tX ) R(tX )
t T (X ) R(tX )
t T (X ) (tX ) tX
t T (X ) t (tX ) X
Assim,

f (X 0 tX ) f (X 0 )
T (X ) (tX ) X
t

Clculo III

93

Cap. 02: Funes reais de vrias variveis reais

lim
t 0

j que

lim (tX ) 0

Prof. Sinvaldo Gama

f (X 0 tX ) f (X 0 )
T (X ) 0 T (X )
t

t 0

A unicidade de T decorre da unicidade do limite.


A igualdade do teorema acima bastante til, pois ela nos mostra que forma deve ter o
funcional linear T, quando ele existe. Porm, vale ressaltar que a recproca do Teorema 6.2
falsa, isto , a existncia do limite no implica a existncia de T; isto est relacionado com o
fato de que apesar do limite da expresso existir ele pode no depender linearmente de X
como deveria ser, caso a funo fosse diferencivel.
A utilidade da expresso no teorema acima a de nos indicar um candidato a funcional
linear T, procedendo-se da seguinte maneira:
1.
2.
3.
4.

Calcula-se o limite;
Verifica-se se ele depende linearmente de X;
Verifica-se se o limite encontrado satisfaz a definio de diferenciabilidade;
Usando a unicidade de T, conclui-se que o limite encontrado o funcional linear
procurado.

Corolrio 6.2.1: Se f diferencivel em

existem e

f '(X 0 )

X0

, ento todas as derivadas parciais,

f
x i

(X 0 )

da forma

f
f
f
X (x1 ,...,xn )
f (X 0 )(X ) T (X ) x1
(X 0 ) x2
(X 0 ) x n
(X 0 );
x1
x2
xn

Prova: De fato, se no teorema acima, tivermos

X ei i 1,...,n

, ento

f (X 0 tei ) f (X 0 ) f
T (ei ) lim

(X 0 )
t 0
t
xi

Clculo III

94

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

e como j observamos antes, T da forma

T (X ) x1 T (e1 ) x2 T (e2 ) xn T (en )


f
f
f
x1
(X 0 ) x2
(X 0 ) xn
(X 0 )
x1
x2
xn

A matriz da aplicao linear T com relao base cannica de

f
f
(X 0 )
(X 0 )
(X 0 )

x2
xn
x1
1 n

denominada matriz jacobiana de

em

X0

, portanto,

Conclui-se, portanto, do Corolrio acima, que para provar que uma funo f
diferencivel em

X0

suficiente provar que

admite derivadas parciais em

f (X 0 H ) f (X 0 ) T (H )
lim
0
H 0
H

Corolrio 6.2.2: Se f diferencivel em

X0

X0

e que

, ento existe a derivada direcional

f
u

(X 0 )

em

qualquer direo u e

f
(X 0 ) f (X 0 )(u )
u
Ademais,

se

u (u1 ,...,u n )

f
u

(X 0 )

uma combinao linear das componentes de u. Mais precisamente,

, ento

Clculo III

95

Cap. 02: Funes reais de vrias variveis reais

f (X 0 )(u ) u1

Prof. Sinvaldo Gama

f
f
f
(X 0 ) u n
(X 0 )
(X 0 )
(X 0 ) u
x1
xn
xn
x1

Prova: Pelo Teorema 2.6.2, temos

f (X 0 tu) f (X 0 ) f
f (X 0 )(u ) lim
(X 0 )
t 0
t
u

A segunda parte do Corolrio decorre imediatamente do corolrio anterior.

CRITRIO DE DIFERENCIABILIDADE
Assim como a derivada de uma funo de uma varivel pode no existir, tambm em
geral, uma funo de vrias variveis no necessariamente diferencivel em todo ponto,
como tivemos oportunidade de ver em exemplos anteriores. Por outro lado, se f
diferencivel em

X0

, existem todas as derivadas parciais

f
x1

(X 0 ),...,xfn (X 0 )

. No obstante,

como sabemos a existncia de todas essas derivadas no implica necessariamente que f seja
diferencivel em

X0

O teorema a seguir fornece um critrio de diferenciabilidade conveniente. Este


resultado bastante importante, pois em muitas ocasies mais fcil verificar a continuidade
das derivadas parciais do que a diferenciabilidade diretamente pela definio.
Teorema 2.6.3: Seja

f
x1

(X 0 ),...,xfn (X 0 )

f :D
n

e so contnuas em

Definio 2.6.3: Seja

, D aberto e

X0

f :D
n

X0 D

. Se existem as derivadas parciais

, ento f diferencivel em

X0

, D aberto. Dizemos que f de classe

continuamente diferencivel se as derivadas parciais

f
x1

(X 0 ),...,xfn (X 0 )

em D ou

existem e so

contnuas em D.
Clculo III

96

Cap. 02: Funes reais de vrias variveis reais

de classe

Prof. Sinvaldo Gama

em D, se as derivadas parciais de ordem k existem e so contnuas

em D. Se este fato ocorre para todo inteiro positivo k, ento

Alm disso, o teorema anterior assegura que se

dita de classe

de classe

em D, ento f

diferencivel em D.
Fazemos agora uma pequena aplicao do conceito de diferenciabilidade.

APROXIMAES
Sabemos que se

diferencivel em

X 0 (x0 , y0 )

f (X 0 H ) f (X 0 ) f (X 0 )(H ) R(H )

Evidentemente,

lim R(H ) 0

H 0

, pois

R(H )

R (H )
H

, ento

, com

f (X 0 ) f (X 0 )(H )

de modo que para

f (X 0 H ) f (X 0 ) f (X 0 )(H )
Portanto,

R(H )
lim
0
H 0 H

pequeno,

a funo afim que aproxima f numa vizinhana de

X0

.
A figura abaixo ilustra este fato para o caso de funes de uma varivel.

Clculo III

97

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

f (x0 h)

f (x0 )

Note que

x0 h

x0

f (x0 h) f (x0 ) f (x0 h) f (x0 )


f (h)

(x0 h) x0
h

No caso limite,

lim f (h) lim


h 0

h 0

f (x0 h) f (x0 )
f (x0 )
h

e desta forma, se h suficientemente pequeno, podemos afirmar que

f (x0 h) f (x0 ) h f (x0 )

A(h) f (x0 ) h f (x0 )

a funo afim que aproxima

Exemplo 2.6.1: Obter um valor aproximando para

numa vizinhana de .

x0

1,012

Soluo: Seja

f (x) x

. Temos

f (x)

. Assim:

2 x

1,012 f (1,012) f (1 0,012) f (1) f (1) 0,012 1 12 0,012

Exemplo 2.6.2: Obter um valor aproximando para

Clculo III

ln(1,0012)

.
212
200

98

Cap. 02: Funes reais de vrias variveis reais

Soluo: Seja

f (x) ln x

Prof. Sinvaldo Gama

. Temos assim

e deste modo:

1
f (x)
x

ln(1,0012) f (1,0012) f (1 0,0012) f (1) f (1) 0,0012 0 1 0,0012 0,0012

Exemplo 2.6.3: Obter uma aproximao para

.
(4,035) (3,935)
2

Soluo: Consideremos a funo

. f diferencivel em
f (x, y)

f
(x, y)
x

x
x2 y 2

x2 y 2

f
(x, y)
y

(x, y) (0,0)

j que

so contnuas.

y
x2 y 2

Assim,
(4,035) (3,935) f (4,035;3,935) f (4 0,035;3 0,935) f (4,3) f (4,3)(0,035;0,935)
2

Aqui,

X 0 (x0 , y0 ) (4,3)

H (0,035;0,935)

f (X 0 )(x, y)

Da,

. Temos ento:

x0
x0 y0
2

y0
x0 y0 2
2

4
3
2945
f (4,3)(0,035;0,935) 0,035 0,935
5
5
5000

2945
2945
(4,035)2 (3,935)2 42 32
5
5,589
5000
5000

O VETOR GRADIENTE
Clculo III

99

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

O vetor que iremos introduzir agora sugerido de modo natural pela expresso da
segunda parte do Corolrio 6.2.2.
Definio 2.6.4: Seja

f :
n

uma funo que admite derivadas parciais em

f
f
f (X 0 )
(X 0 ), (X 0 ),..., (X 0 )
x2
xn
x1

denominado gradiente de

em

X0

X0

. O vetor

Do exposto nesta seo, podemos concluir que a derivada de

T (X ) f (X 0 )(X ) f (X 0 ) X

em

X0

dada por

Mais adiante, destacaremos as principais propriedades do vetor gradiente.

SEO 2.7: REGRA DA CADEIA (2 VERSO)


Uma das frmulas mais teis no Clculo das funes de uma varivel a regra da
cadeia, utilizada para calcular a derivada da composta de duas funes, a saber,

(g f )'(x) g '( f (x)) f '(x)

. A generalizao para funes de vrias variveis igualmente

valiosa e, devidamente formulada, bastante fcil de enunciar. Na Seo 4, analisamos a


funo composta

f (X )

onde

de derivao da composta

parametrizada

: I n

f :n

f ( (t ))

, de uma funo

. Nesta seo provaremos a regra

f :D
n

com uma curva

. Como veremos, o teorema seguinte fornece esta regra em

termos do gradiente de f.

Clculo III

100

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Teorema 2.7.1: (Regra da Cadeia) Sejam

que

(t ) D

, para todo

diferencivel em

tI

X 0 (t0 )

, D aberto e

f : D n

. Suponhamos que

. Ento a composta

: I n

diferencivel em

F f : I

t0 I

tais

e que f

diferencivel em

t0

e tem-

se

F (t0 ) f ( (t0 )) (t0 )

y0 f (X 0 ) f ( (

t0

Prova: Por definio,

F (t h) F (t0 )
f ( (t0 h)) f ( (t0 ))
F (t0 ) lim 0
lim
h0
h0
h
h
Visto que D aberto, existe uma bola aberta

diferencivel em

quando

Observe que

t0

B (X 0 ; r )

contida em D. Por outro lado, sendo

, ela contnua nesse ponto. Ento podemos escolher

, tem-se

X 0

(t0 h) B(X 0 ;r )

quando

h0

, pois

. Se

X (t0 h) (t0 )

contnua em

Clculo III

t0

, ento

de modo que

X X 0 (t0 h)

. Temos agora,

101

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

F (t0 h) F (t0 ) f (X X 0 ) f (X 0 )

h
h
Como f diferencivel em

X 0 (t0 )

, ento

f (X X 0 ) f (X 0 ) f (X 0 )(X ) R(X )

ou

f (X X 0 ) f (X 0 ) f ( X 0 ) X R (X )

, com

R(X )
lim
0
X 0 X

. Da,

F (t0 h) F (t0 ) f (X X 0 ) f (X 0 )
X R(X )

f (X 0 )

h
h
h
h
.
(t0 h) (t0 ) R(X )
f ( X 0 )

h
h
Mas

(t0 h) (t0 ) R(X )


R(X ) 1 R(X )

h
h X
h
X

(t0 h) (t0 ) R(X )

h
X
Portanto, quando

h0

F (t0 ) f (X 0 ) (t0 )

. Isto ,

( f )(t0 ) f ( (t0 )) (t0 )

Observao: Fazendo

, ento

X (x1 ,...,xn ) (t ) (1 (t ),...,


n (t ))

Clculo III

102

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

f
f ( (t ))
( (t )),..., ( (t ))
xn
x1

d1
d

(t )
(t ),..., n (t )
dt
dt

Resulta, ento, a regra da cadeia em termos das componentes


d ( f )
dF
f
d
f
d
(t )
(t )
( (t )) 1 (t )
( (t )) n (t )
dt
dt
x1
dt
xn
dt

que escreveremos mais sucintamente:


dF f d1
f d n

dt
x1 dt
xn dt

Melhor ainda; note que se

F (t ) f (x1 ,...,xn )

com

x1 1 (t ),...,xn n (t )

dF
f dx1
f dxn

dt
x1 dt
xn dt

ficando subentendido que

Exemplo 2.7.1: Seja

diferencivel em

f
xi

calculada em

F (r , ) f (x, y)

, onde

(t )

quando

x r cos

dF
dt

, ento

for calculada em t.

y r sin

, sendo f uma funo

. Verifique que:

f
1
dF
dF
(x, y) cos
(r , ) sin
(r , )
y
r
d
dr

Soluo: Considerando

constante, obtemos:

Clculo III

103

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

dF
dx
dy
fx
fy
f x cos f y sin
dr
dr
dr

Considerando agora r constante, obtemos:


dF
dx
dy
fx
fy
f x ( r sin ) f y (r cos )
d
d
d

Resolvendo o sistema formado nas variveis

fx

fy

obtemos:

1
dF
dF
f y cos
sin
r
d
dr

Exemplo 2.7.2: Suponha

z f (x, y)

Admita que a imagem da curva

(a) Calcule

z(t )

(b)

C2

(t 2 ,3t 1, f (t 2 ,3t 1)) Gr( f )

, mas

f (1,2) 2
,

. (b) Ache a equao da reta tangente a

(t ) (2t ,3, z(t ))

(t ) (t 2 ,3t 1, z (t )) t

Soluo: O grfico de f o conjunto

ento

de classe

f x (1,2) 3

f y (1,2) 4

, esteja contida no grfico de f.

no ponto

(1)

. Se
(t ) Gr( f )
Gr( f ) {(x, y , f (x, y ) 3 ;(x, y ) D f }

. Da,

z (t ) f (t 2 ,3t 1)

z(t ) f x 2t f y 3

. Portanto,

z(1) f x (1,2) 2 1 f y (1,2) 3 3 2 4 3 18

Clculo III

104

Cap. 02: Funes reais de vrias variveis reais

Como

(1) (2,3,18)

Prof. Sinvaldo Gama

, a equao da reta tangente a

no ponto

(1)

X (t ) (1) t (1) (1,2,2) t (2,3,18)

Exemplo 2.7.3: Sendo

x u tan1 (v)

Soluo: Temos

y uv

z :2

, determine

z
u

uma funo definida por

, onde
z(x, y) 3 x 2 y 2

(1,1)

x(1,1) 1 tan1 (1) 4

y(1,1) 11 1

. Portanto,

z
z x
z y
(1,1) ,1 (1,1) ,1 (1,1)
u
x 4 u
y 4 u

Temos assim:

z
1
2x
(x , y )
2
x
3 (x y 2 )3 2

z 1 2 ( 2)
1
8

,1
2
/
3
2
x 4 3 2
3 3 ( 16)2

1
16

Da mesma forma,

z
1
2y
(x, y)
2
y
3 (x y 2 )3 2

Alm disso,

x
tan1 (v)
u

z 1
2 1
,1
2
y 4 3

1
16

Clculo III

y
vuv 1
u

2/ 3

1
32
2
3
3 ( 16)2

105

Cap. 02: Funes reais de vrias variveis reais

Desta maneira,

Logo,

Prof. Sinvaldo Gama

(1,1)
u
4

z
1
8
(1,1)
2
3
u
3 ( 16)2

y
(1,1) 1
u

32
1 2 2 32
1

(
1
)

3 3 ( 2 16)2
4 3 3 ( 2 16)2

Exemplo 2.7.4: Considerando a funo

t2

, calcule

h(t ) (cos(
t ))

Soluo: Tomemos

x cos(
t)

novos parmetros x e y, isto ,

y t

, onde

h(t ) f (x , y)

f (x, y ) x

dh
dt 4

t 4

representa a funo h sob os

. Usando a regra da cadeia, obtemos:

dh
f
dx
f
dy
(t )
(x, y) (t ) (x, y) (t )
dt
x
dt
y
dt

Em

( )

dh
f
dx f
dy
(x0 , y0 )
(x0 , y0 )

dt 4
x
dt 4 y
dt 4

Como

x0 x

2

cos
4
2
4

, para


x0 x
4


y0 y
4

, ento

dx
2

sin
dt 4
2
4

Clculo III

106

Cap. 02: Funes reais de vrias variveis reais

Sendo



4 4

y0 y

16

Prof. Sinvaldo Gama

, ento

dy

2
dt 4
2
4

Alm disso, como

f
(x, y) yx y 1
x

f 2 2 2 2

,
x 2 16 16 2

f
(x, y) x y ln(x)
y

, ento

2
1
16

f 2 2 2

,
y 2 16 2

2
16

.
2

ln

Substituindo-se os valores obtidos na equao inicial do problema, obtm-se

dh 2


dt 4
2 2

2
16

2 2 2 2

ln

2
2
32

2
1
16

SEO 2.8: GRADIENTE E DERIVADA DIRECIONAL


O gradiente, por ser um vetor, apresenta aspectos geomtricos muito convenientes para
dar informaes a respeito do comportamento da funo, como veremos a seguir. O gradiente
tambm particularmente til na anlise dos conjuntos de nvel de uma funo. Inicialmente
recordemos que um conjunto de nvel S de uma funo f um conjunto de pontos X
satisfazendo

f (X ) k

, para alguma constante

k Im(f )

Como vimos no incio deste captulo, se

curva de nvel e se

f :D
3

f :D
2

, o conjunto S se chama

, S se chama superfcie de nvel.

Clculo III

107

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Antes de enunciarmos as propriedades do gradiente, veremos as seguintes definies.


Definio 2.8.1: Um vetor v dito perpendicular a uma curva

perpendicular ao vetor velocidade de

em

X0

num ponto

X 0

, se v

Definio 2.8.2: Dizemos que um vetor v perpendicular a uma superfcie S, num ponto

X0 S

, se v perpendicular ao vetor velocidade, em

contida na superfcie e que contm

X0

X0

, de qualquer curva diferencivel

.
v

..

X0

(t0 )

(t 0 )

Teorema 2.8.1: Seja

X0 D

se

f : D n

f (X 0 ) 0

uma funo diferencivel num conjunto aberto D. Seja

. Ento

i.

A derivada direcional

ii.

vetor unitrio u;
O valor mximo de

f
u

f
u

(X 0 )

(X 0 )

, a componente escalar de

f (X 0 )

Clculo III

e ocorre quando

f (X 0 )

na direo do

u f (X 0 ) f (X 0 )

108

Cap. 02: Funes reais de vrias variveis reais

iii.

Prof. Sinvaldo Gama

O vetor gradiente de f em

que contm

X0

X0

perpendicular superfcie (ou curva) de nvel de f

Prova: (i) Pelo Corolrio 6.2.2,


.

f
(X 0 ) f (X 0 )(u) f (X 0 ) u f (X 0 ) u cos f (X 0 ) cos
u

f (X 0 )

X 0 P f (X 0 ) cos

X0

(ii)

f
u

(X 0 ) f (X 0 ) cos

. Desta forma,

f
u

(X 0 )

ter o valor mximo quando

quando a direo do vetor u coincidir com a direo de

u f (X 0 ) f (X 0 )

. O valor mximo de

f
u

f
(X 0 )
u

, pois,

(X 0 )

f (X 0 )

f (X 0 )

, isto ,

. Neste caso,

. Como a derivada

direcional mede a taxa de variao de f numa certa direo, o teorema acima nos diz que a
direo do gradiente a de crescimento mais rpido da funo.
(iii)
z
f (X 0 )

X0

(t 0 ) v

t0

k f (X 0 )
y

a
x

Clculo III

109

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Seja S um conjunto de nvel de

Consideremos uma curva arbitrria

: (a ,b) n

para todo

e tal que

t0 (a,b)

(t0 ) X 0

. Seja

X0 S

, isto ,

f (X 0 ) k

f (X 0 )

(t0 ) v 0 t0 (a,b)

. Temos ento que

f (X 0 )

f ( (t 0 )) k

, se no nulo, perpendicular ao vetor tangente

normal em

X0

(t0 ) v

aos vetores tangentes de toda curva diferencivel

passando por esse ponto e contida em S. Da definio anterior,

X0

. Portanto,

Isto nos diz que

normal a S em

k Im(f )

contida em S, definida parametricamente por

df ( (t ))
0
f ( (t0 )) (t0 ) f (X 0 ) v
dt t t0

Desta forma,

f (X 0 )

, por conseguinte,

Estes vetores tangentes determinam um plano, e o vetor gradiente,

ao mesmo. Tal plano denominado plano tangente superfcie S em

Exemplo 2.8.1: Seja

f (x , y ) x 2 y

. Determine u de modo que

f
u

X0

(1,1)

f (X 0 )

, normal

seja mximo e encontre

esse valor.

Clculo III

110

Cap. 02: Funes reais de vrias variveis reais

Soluo: Como visto anteriormente,

f (x, y) (2 xy, x )
2

f (1,1) (2,1)

Prof. Sinvaldo Gama

f
u

mximo quando

(1,1)

u f (1,1) f (1,1)

. O

. Assim,

f (1,1) 4 1 5

Alm disso,

f
(1,1) 5
u

1
5

(2,1)

Exemplo 2.8.2: Determinar a equao do plano tangente superfcie de nvel da funo


f (x, y , z ) x 2 y 2 z 2

Soluo: Como

que passa pelo ponto

.
(1,1, 2 )

f (1,1, 2 ) 1 1 ( 2 ) 0

pelo ponto

. O vetor gradiente
(1,1, 2 )

, a superfcie de nvel

f (x, y , z) (2 x,2 y ,2 z)

x2 y 2 z 2 0

passa

f (1,1, 2 ) (2,2,2 2 )

Desta forma, a equao do plano tangente superfcie de nvel em

, pois:
(1,1, 2 )

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

ou seja,

2(x 1) 2(y 1) 2 2 (z 2 ) 0

Clculo III

111

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

SEO 2.9: FUNES IMPLCITAS


J estamos bastante familiarizados com a ideia de uma curva dada como grfico de
uma funo explcita,

dada na forma

y f (x)

F (x, y) 0

. Entretanto, a equao de uma curva no plano geralmente

. Por exemplo, as equaes

2x 3 y 1 0

x2 y 2 9 0

3 x 2 2 y 2 12 0

representam uma reta, uma circunferncia e uma hiprbole, respectivamente. Elas so


relativamente simples, podendo ser resolvidas em relao a y, o que resulta na definio de
uma ou mais funes, em cada caso:
2x 1
y
3

y 9 x2

3 x 12
2
2

respectivamente.
s vezes, embora seja impossvel explicitar y, pode-se, no entanto, resolver a equao
em relao a x, e obter a funo

x g (y)

como ocorre no seguinte exemplo:

4 y 3 x(y 2 1)e y cosy siny 0

de onde se obtm

x siny 4 y (y 1)e cosy


3

No caso mais geral, no se pode resolver a equao nem em relao a y, nem em


relao a x e o exemplo seguinte ilustra esta situao:
.
F (x, y) ln(x y) x y 1 1 0
2

Clculo III

112

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

No obstante, muitas vezes ainda possvel interpretar y como funo de x ou x como


funo de y em equaes como essa.
Convm observar, entretanto, que nem toda funo

de x ou x como funo de y. Por exemplo, a equao

x0

y0

, ao passo que

x2 y 2 1 0

F (x, y) 0

x2 y2 0

define y como funo

verificada apenas para

no satisfeita para nenhum par de valores reais.

, portanto, necessrio estudarmos este assunto mais detalhadamente, a fim de sabermos


quando uma equao do tipo

F (x, y) 0

define a funo

y f (x)

ou a funo

x g (y)

, e,

tambm, para conhecermos as propriedades particulares destas funes.


O objetivo desta seo proporcionar condies suficientes sobre F que garantam que
a equao

F (x, y) 0

frmula para

f (x)

define uma funo

g (y)

y f (x)

ou

x g (y)

derivvel, e obter uma

em termos de F. Analisaremos tambm o caso numa situao

geral, onde o nmero de variveis qualquer. Este o teorema das funes implcitas.
Definio 2.9.1: A funo
f :I
x

est definida implicitamente pela equao

Da mesma forma,

F (g (y),y) 0

x g (y)

F (x, y) 0

y f (x)

se

F (x, f (x)) 0

para todo

est definida implicitamente pela equao

xI

F (x, y) 0

se

para todo y no domnio de g.

Clculo III

113

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Note que F uma funo real definida em

. O zero que aparece no segundo

membro da equao acima pode ser substitudo por qualquer constante c. Mas como

F (x, y) c

equivalente a

G(x, y) F (x, y) c 0

, costume absorver a referida constante

na funo F.
Em certos casos (como aqueles mostrados no incio desta seo), fcil definir
funes

f1 , f 2 ,...,f n

tais que

F (x, f i (x)) 0

. Contudo, se, por exemplo,

F (x, y) x sin(xy) e

x y

no de nenhuma maneira bvio que existe uma funo

x sin(x f (x)) e

x f (x )

1 0

y f (x)

1 0

tal que

Analisaremos a seguir o problema em pauta. Inicialmente estudaremos o caso em que

F : 2

Se considerarmos que

F (x, y) 0

z F (x, y)

define uma superfcie em

representa uma curva de nvel de F. Seja

Clculo III

(a,b)

, ento a equao

um ponto desta curva.

114

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Clculo III

115

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Na figura acima, evidente que para x prximo ao ponto a existe uma funo

y f (x)

que satisfaz

F (x, f (x)) 0

. Isto se deve ao fato de que prximo do ponto

(a,b)

, cada

reta vertical intercepta a curva uma s vez. Esta precisamente a condio necessria e
suficiente para garantir que se pode escrever

y f (x)

e ter

F (x, f (x)) 0

, para x prximo de

a. Analogamente, se y est prximo de b, ento existe aparentemente uma funo

que satisfaz

grfico de

F (g (y), y) 0

F (x, y) 0

, visto que prximo de

verticais interceptam o grfico de

(a,b)

F (x, f (x)) 0

que satisfaz

algo diferente. Na vizinhana deste ponto, retas

F (x, y) 0

). Assim, no existe uma funo

satisfaa

, cada reta horizontal intercepta o

uma nica vez.

A situao em torno do ponto

x a

(a,b)

x g (y)

duas vezes (para

y f (x)

) ou nenhuma vez (para

definida na vizinhana do ponto

. Contudo, existe uma funo

F (g (y), y) 0

x a

x g (y)

que

definida numa vizinhana de

A figura parece indicar que, se a reta tangente no vertical, pode se encontrar a


funo desejada na forma

y f (x)

. Da mesma forma, se a reta tangente no horizontal

ento se pode encontrar uma funo da forma

x g (y)

que satisfaz

F (g (y), y) 0

. O teorema

seguinte formaliza o exposto acima.

Clculo III

116

Cap. 02: Funes reais de vrias variveis reais

Teorema 2.9.1: Seja

Seja

(a,b) D

tal que

F : D 2

F (x, y) 0

em a e uma nica funo

i.

ii.

iii.

f (a) b

Prof. Sinvaldo Gama

f :I

F
y

, D aberto, uma funo continuamente diferencivel.

. Ento existe um intervalo aberto I, centrado

(a,b) 0

tal que

F (x, f (x)) 0

, para todo

xI

f continuamente diferencivel e

f (x)

F
x
F
y

(x , f (x))
(x , f (x))

Prova: Ser feita no captulo seguinte.


Este resultado simtrico em x e em y, isto , se

intervalo aberto J, centrado em b e uma nica funo

i.

ii.

iii.

g (b) a

g :J

F
x

(a,b) 0

, ento existe um

tal que

F (g (y),y) 0

, para todo

yJ

g continuamente diferencivel e
F
y

(g (y),y)

(g (y),y)

g (y) F

Clculo III

117

Cap. 02: Funes reais de vrias variveis reais

Observao: Se

F (x , y) y 3

F
x

(a,b) 0

ou

C
f (x) 0

Exemplo 2.9.1: Suponha que

F (x, f (x)) 0

Soluo:

(a,b) 0

, ento F de classe

funo identicamente nula,

F (x, y) 0

F
y

Prof. Sinvaldo Gama

, o teorema nada pode afirmar. Com efeito, se

F (1,0) 0

F
x

(1,0) 0

F
y

, est definida implicitamente por

z F (x, y)

(1,0) 0

. Entretanto a

F (x, f (x)) 0

so funes diferenciveis e que

y f (x)

, para todo x no domnio de f, isto , f definida implicitamente pela equao

. Use a regra da cadeia para calcular

Considere

F ( (x)) F (x, f (x))

(x) (x, f (x))

df
dx

A regra

da

cadeia

aplicada

identidade

produz

F dx F dy

0
x dx y dx

, isto ,

F
F
1
f (x) 0
x
y

f (x)

Analogamente, se temos

F (g (y), y) 0

F dx F dy

0
x dy y dy

F
x
F
y

(x , f (x))
(x , f (x))

e assim,

, ento

e, portanto

Clculo III

F
(g (y),y)
dx
g (y) Fy
dy
x (g ( y ),y )

118

Cap. 02: Funes reais de vrias variveis reais

Exemplo 2.9.2: Seja

F
y

(x, y) 2 y

y f (x)

i.

F
y

F (x , y) x 2 y 2 2

(1,1) 2 0

e seja

(a,b) (1,1)

. Sendo

F (1,1) 0

, ento pelo teorema da funo implcita, existe uma funo

definida numa vizinhana de

f (1) 1

ii.

Prof. Sinvaldo Gama

a 1

, onde:

F (x, f (x)) 0

, isto ,

x 2 ( f (x))2 2 0

, e da

. (Como
f (x)

2 x

f (1) 1

a raiz negativa no satisfaz);


f continuamente diferencivel e

iii.

f (x)

F
x
F
y

(x, f (x))
2x
x
x

(x, f (x))
2y
f (x)
2 x2

(Observe que a expresso acima pode ser obtida diretamente da funo f.)
Analogamente, como

numa vizinhana de

b 1

ou seja,

F
x

(1,1) 2 0

, tal que: (i)

, e, existe tambm uma funo

g (1) 1

; (ii)

F (g (y),y) 0

, isto ,

x g (y)

definida

(g (y))2 y 2 2 0

; e da
g (y ) 2 y 2

(iii)

Exemplo 2.9.3: Seja

F
y

(g (y), y)

2y
y
y
g (y) F

2x
g (y )
2 y2
x (g (y ), y )

F (x, y) x 2 y 3 y 3 x 4 4

implicitamente uma funo

y f (x)

. Mostre que a equao

numa vizinhana do ponto

Clculo III

(1,1)

F (x, y) 0

e obtenha

f (1)

define

119

Cap. 02: Funes reais de vrias variveis reais

Soluo: (1)

F (1,1) 1 3 4 0

existe uma funo

y f (x)

Prof. Sinvaldo Gama

; (2)

F
y

(x, y) x 2 9 y 2 x 4

F
y

definida implicitamente pela equao

f (x)

Da,

F
x
F
y

(x, f (x))
2 xy 12 y 3 x 3
2
(x, f (x))
x 9 y 2 x4

2 12
14
7
f (1)

1 9
10
5

(1,1) 10 0

F (x, y) 0

(1,2,8)

x 1

y2

z 4x2 y2

que

Soluo: Convm observar inicialmente que

para

Exemplo 2.9.4: Calcular o declive da curva de nvel do parabolide elptico

passa pelo ponto

. Portanto,

tem-se

z 8

(1,2,8)

pertence de fato ao parabolide j que

. A curva de nvel dada , pois, da forma

4x2 y2 8

4 x2 y 2 8

(1,2,8)

2
1

Clculo III

120

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Basta ento mostrar que a equao

funo

F
y

y f (x)

(x , y) 2 y

F (x, f (x)) 0

F (x , y) 4 x 2 y 2 8

numa vizinhana do ponto

F
y

(1,2) 4 0

f (x) 28 xy

? Obtenha

Soluo: Temos

G(x, y) 3

G
y

f (x)

. Para isso, veja que

. Portanto, existe uma funo

. De modo que

Exemplo 2.9.5: Em quais pontos a equao

y f (x)

(1,2)

define implicitamente uma

f (1) 84 2

y f (x)

f (1) 2

define implicitamente

nesses pontos.

(x, y) 3 y 2 3 x 3(y 2 x)

. Portanto, nos pontos

F (x, y ) G(x, y) 3 0

f (x)

F
x
F
y

onde

(x, y) 2

, a equao dada define implicitamente uma funo do tipo

Considerando

tal que

G(x, y) x y 3xy 3
3

F (1,2) 4 4 8 0

y f (x)

x y2

, sua derivada nestas condies :

(x , f (x))
3x 2 3 y y x 2
2

(x , f (x))
3 y 3x y 2 x

Generalizamos agora o teorema da funo implcita para o caso das funes de duas
variveis.
Teorema 2.9.2: (Teorema da funo implcita) Seja

F : D 3

continuamente diferencivel definida no subconjunto aberto D de

Clculo III

. Seja

uma funo

(a ,b,c) D

121

Cap. 02: Funes reais de vrias variveis reais

suponha que

F (a,b,c) 0

centrada em

i.

ii.

(a ,b,c) 0

, para todo

F
x
F
y

(1,2,3)

tal que

(x, y , z ) y x

f
(x, y)
y

xy yz xz 11

F (x, y , z ) xy yz xz 11

F
z

(1,2,3) 3 0

e uma nica funo

f :V

significa dizer que a equao

F
y

(x, y , f (x, y))

F
x

(x, y , f (x, y))

define implicitamente uma superfcie

. Ache a equao do plano tangente mesma neste ponto.

Soluo: Seja que

(1,2)

(x, y) B

(x, y , f (x, y))


(x, y , f (x, y))

Exemplo 2.9.6: Mostre que a equao

F
z

f :B

f continuamente diferencivel e
f
(x, y)
x

no ponto

. Ento existe uma bola aberta B contida em

F (x, y , f (x, y)) 0

iii.

F
z

e uma nica funo

(a,b)

f (a,b) c

, mas

Prof. Sinvaldo Gama

z f (x, y) (x, y) V

. Temos ento,

. Portanto, existe um aberto

tal que

f (1,2) 3

F (1,2,3) 2 6 3 11 0

V 2

contendo o ponto

F (x, y , f (x, y)) 0,(x, y) V

F (x, y , z ) xy yz xz 11

. Isto

define implicitamente a funo

. Seu grfico , portanto, uma superfcie.

Clculo III

122

Cap. 02: Funes reais de vrias variveis reais

Observe que

z f (x, y)

um ponto da superfcie j que

est contido na superfcie de nvel

aquela em que

sendo

(1,2,3)

Prof. Sinvaldo Gama

F (x, y , z) 0

. Como o

tangente em

(1,2,3)

. O grfico de

F (x, y , z ) xy yz xz 11

, precisamente

perpendicular a esta superfcie em

F (1,2,3)

F (x, y , z ) (y z , x z , y x)

f (1,2) 3

F (1,2,3) (5,4,3)

(1,2,3)

, ento a equao do plano

ser

((x, y , z) (1,2,3)) (5,4,3) 0

isto ,

5 x 4 y 3 z 22 0

Exemplo 2.9.7: Seja

. Verifique se existe uma superfcie que passa pelo


F (x, y , z ) x y e z

ponto

A (1,2,0)

e que seja definida implicitamente mediante a equao

F (x, y , z ) 1

. Em

caso afirmativo, determine a equao do plano tangente superfcie em A.


Soluo: Como

F (1,2,0) 1

, consideremos a funo

G(x, y , z ) F (x, y , z ) 1

. Temos:
G (x, y , z ) x y e z 1

, isto ,

;
G(1,2,0) 1 2 e 0 1 1 1 1 0

G
xez
(x, y , z )
z
2 y ez

Clculo III

G
1
(1,2,3) 0
z
2

123

Cap. 02: Funes reais de vrias variveis reais

Isso mostra que

z f (x, y)

G(x, y , z ) 0

) que passa por

define implicitamente uma superfcie (grfico da funo

A (1,2,0)

(X A) G(A) 0

Exemplo 2.9.8: Seja

Prof. Sinvaldo Gama

e seu plano tangente tem equao

, com

X (x, y , z)

, ou

F (x , y , z ) y 2 xz z 2 e z c 0

2x y z 4 0

(a) Mostre que a equao acima define z como funo de x e y, isto ,

ponto

(0,e,2)

Soluo:

(b) Para

f
x

(0,e)

f
y

(0,e)

(x , y , z ) x 2 z e z

F
z

x0

F (0,e,2) 0

no

(b) Achar o valor de c para que

(c) Calcular

z f (x, y)

ye

z2

f (0,e) 2

F
z

(0,e,2) 4 e 2 0

, tem-se

, o que prova o item (a).

e2 0 2 22 e2 c 0

e assim

c4

. Da,

(c)
f
x

(x, y)

F
x
F
z

(x , y , f (x, y ))
z

(x , y , f (x, y ))
x 2z e z

Clculo III

e
f
x

2
(0,e) 2
e 4

124

Cap. 02: Funes reais de vrias variveis reais

F
y

Prof. Sinvaldo Gama

(x, y , f (x , y))

2y
f

y (x , y ) F
x 2z e z
z (x , y , f (x , y ))

e
f
y

2e
(0,e) 2
e 4

CURVAS DEFINIDAS IMPLICITAMENTE COMO INTERSEES DE SUPERFCIES


Consideremos duas superfcies com representaes implcitas dadas por
F (x, y , z ) 0

(I)

F (x, y , z ) 0

G (x, y , z ) 0

G(x , y , z ) 0

Pergunta-se, ento, sob quais condies impostas a F e G, possvel obter funes

y y(x)

z z (x)

, tais que

F (x, y(x),z(x)) 0

G(x, y(x),z (x)) 0


para todo

num certo intervalo aberto

(I) acima com respeito varivel

funo de

? Com outras palavras, possvel resolver o sistema

, isto , possvel expressar as variveis

em

, obtendo-se assim a curva-interseo das superfcies de nvel dadas em (I)? Em

caso afirmativo, a curva soluo do sistema ser dada localmente por

Clculo III

(x) (x, y(x),z (x))

125

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Usando a regra da cadeia, podemos escrever as derivadas

conhecimento explcito de

y(x)

z (x)

dy
dx

z(x)

dz
dx

sem um

. Com efeito,

F dy
F dz
dx
dx y dx z dx 0
G dx G dy G dz
x dx y dx z dx 0

isto ,

y(x)

F
x

y(x) Fz z(x) Fx
y(x) Gz z (x) Gx

F
y
G
y

Nos pontos onde o determinante principal desse sistema no nulo, o mesmo admite
uma s soluo (segundo a regra de Cramer) a qual pode expressar-se por

y(x)

F
x
G
x
F
y
G
y

F
z
G
z
F
x
G
x

z(x)

F
y
G
y

F
x
G
x

F
y
G
y

F
z
G
z

O exposto acima pode se resumido no seguinte teorema.


Teorema 2.9.3: Sejam

aberto D. Seja

F ,G : D
n

(x0 , y0 , z0 ) D

, onde

(F ,G)

(y , z )

funes continuamente diferenciveis no conjunto

F (x0 , y0 , z0 ) G(x0 , y0 , z0 ) 0

F
y
G
y

F
z
G
z

em
0

Clculo III

. Se o determinante,

(x0 , y0 , z0 )

126

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

ento existem um intervalo aberto I com

z z (x)

i.

ii.

x0 I

e um nico par de funes

y y(x)

definidas e continuamente diferenciveis em I tais que:

y(x0 ) y0

z(x0 ) z0

F (x, y(x),z(x)) G(x, y(x),z (x)) 0

G(x, y , z ) 0

, para

xI

, isto , as equaes

F (x, y , z ) 0

definem implicitamente y e z como funes de x e

y(x)

(F ,G )
(x ,z )
(F ,G )
( y ,z )

onde os determinantes so calculados no ponto

z(x)

(F ,G )
( y ,x )
(F ,G )
( y ,z )

(x, y(x),z(x))

Exemplo 2.9.9: Dadas as equaes


F (x, y , z ) x 2 y 2 z 2 6 0
G(x, y , z ) xyz 2 0

(a) Mostre que numa vizinhana do ponto

superfcies em

(1,1,2)

(b) Mostre que numa vizinhana do ponto

z z(x)

cada uma delas define implicitamente

(1,1,2)

elas definem as funes

y y(x)

Clculo III

127

Cap. 02: Funes reais de vrias variveis reais

(c) Calcule

y(x)

Prof. Sinvaldo Gama

z(x)

(d) Calcule a equao da reta tangente curva de interseo das superfcies definidas em
(a), no ponto

(1,1,2)

Soluo: (a) Temos que:

F (1,1,2) G(1,1,2) 0

F
(1,1,2) 4 0
z

G
(1,1,2) 1 0
z

Isto prova (a).


(b)

F (1,1,2) G (1,1,2) 0

(F ,G) 2 y

xz
(y , z )

2z
3xy2 2 xz 2
xy

(F ,G)
(1,1,2) 6 0
(y , z )

o que prova (b).


(c)
y(x)

2x

2z

yz
2y

xy
y(x 2 z 2 )

2z
x( y 2 z 2 )

xz

xy

z (x)

2y

2z

xz
2y

yz
z (y 2 x 2 )

2x
x( y 2 z 2 )

xz

xy

Estes resultados podem tambm ser encontrados derivando-se implicitamente as


equaes dadas, com relao a x, resolvendo-se o sistema obtido.
(d) Sendo

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

reta tangente

X (t ) (1,1,2) t (1,1,0)

z(1) 0

, a equao da

Exemplo 2.9.10: O sistema


Clculo III

128

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

xyz sinxyz 0

x yz0

define implicitamente x e y como funes de z em uma vizinhana do ponto

Soluo: Designando por

respectivamente, temos:

F (x, y , z ) 0

(F ,G)

(x, y)

Portanto, o sistema acima define

dx

dz

F
x
G
x

F
y
G
y

em
0

x f (z )

(0,1,1)

y g (z )

(F ,G )
(z , y )
(F ,G )
(x , y )

a primeira e a segunda equaes

G(x, y , z ) 0

F (0,1,1) 0 G(0,1,1)

(0,1,1)

dy

dz

. Alm disso,

(F ,G )
(x ,z )
(F ,G )
(x , y )

SEO 2.10: MXIMOS E MNIMOS DE FUNES REAIS


1. EXTREMOS LOCAIS E ABSOLUTOS
As definies abaixo nos mostram que as definies de mximo e mnimo para funes
de vrias variveis so as mesmas que no caso de funes de uma varivel, isto :
Definio 2.10.1.1: Dizemos que uma funo real

absoluto em

X0 D

, se para todo

X D

f : D n
.

f (X 0 ) f (X ) X 0

tem um valor mximo

dito ponto de mximo de f e

f (X 0 )
Clculo III

129

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

o valor mximo absoluto de f. Analogamente, dizemos que f tem um valor mnimo

f (X 0 )

absoluto em

X0

, se

f (X 0 ) f (X )

para todo

X0

dito ponto de mnimo de f e

o valor mnimo absoluto de f.

f (X 0 )

Definio 2.10.1.2: Diz-se que

f, se existe uma vizinhana

respectivamente, para todo

f (X 0 )

um valor mximo local ou um valor mnimo local de

de

V ( )
n

X V

X0

tal que

f (X 0 ) f (X )

ou

f (X 0 ) f (X )

Um valor mximo ou mnimo de

onde

X D

chama-se valor extremo de

assume um valor extremo chama-se ponto extremo de

. Um ponto

X0

Estabeleceremos, a seguir, as condies que devem ser satisfeitas por uma funo f, no
ponto

X0

, para que a mesma tenha valor extremo em tal ponto.

2. CARACTERIZAO DE EXTREMOS LOCAIS


Teorema 2.10.2.1: Se uma funo

valor extremo local num ponto

em

X0

f : D n

X0 D

definida no conjunto aberto D, tem um

e se as derivadas parciais de primeira ordem existem

, ento

Clculo III

130

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

f
f
(X 0 ) ...
(X 0 ) 0
x1
xn

Prova: Suponhamos que f tem um valor mximo local em

i 1,...,n

X0

. Como D aberto,

Se

h0

h0

, pertence a D, para valores pequenos de h, e

f (X 0 ) f (X 0 hei ) f (X 0 hei ) f (X 0 ) 0
Se

X 0 hei

f (X 0 hei ) f (X 0 )
f (X 0 hei ) f (X 0 )
0 lim
0
h 0
h
h

f (X 0 hei ) f (X 0 )
f (X 0 hei ) f (X 0 )
0 lim
0
h 0
h
h

Os limites laterais acima existem e so iguais uma vez que as derivadas parciais de f existem
em

X0

. Desta forma,

f
f (X 0 hei ) f (X 0 )
(X 0 ) lim
0
h0
xi
h

O argumento no caso de mnimo local anlogo.


Definio 2.10.2.1: Um ponto

X0

no qual

f
x1

(X 0 ) ...

f
x n

(X 0 ) 0

chama-se um ponto

crtico de f.
Geometricamente, se

X 0 (x0 , y0 )

ponto crtico de

, ento o grfico de f possui um

plano tangente horizontal nesse ponto.


Clculo III

131

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

A recproca do teorema anterior falsa. Ou seja, a anulao de todas as derivadas


parciais em

X0

no implica necessariamente que haja um valor extremo de f em

X0

. Isto

acontece nos chamados pontos de sela.


Definio 2.10.2.2: Um ponto crtico

centrada em

X0

contm pontos

X1

X0

chama-se um ponto de sela, se toda bola aberta

para os quais

X2

f (X 1 ) f (X 0 )
Ou seja, um ponto crtico

centrada em

X0

f (X 2 ) f (X 0 )

um ponto de sela de uma funo f se toda bola

X0

contiver dois pontos

X1

X2

tais que

f (X 1 ) f (X 0 ) f (X 2 )

. Note que

pelo teorema acima, para localizar extremos locais de uma funo com derivadas parciais no
interior do seu domnio basta restringirmos nossa ateno aos pontos crticos de

. Esta

definio anloga quela de ponto de inflexo para o caso de funes reais de uma varivel
real como j vimos.

3. MXIMO E MNIMOS DE FUNES CONTNUAS


Definio 2.10.3.1: Um ponto

toda bola aberta centrada em

X0

X 0 n

dito um ponto fronteira do conjunto

, se

contm pontos de D e pontos que no pertencem a D.

A fronteira de D, denotada por

, o conjunto cujos elementos so os pontos

fronteira de D.

Clculo III

132

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Definio 2.10.3.2: Um subconjunto D do

dito fechado, quando o mesmo contm todos

os pontos de sua fronteira.


Um conjunto dito limitado quando o mesmo est contido em alguma bola aberta
centrada na origem. Caso contrrio, ele dito ilimitado.
Teorema 2.10.3.1: Seja

f :D
n

fechado e limitado. Ento

existem pontos

X1, X 2 D

uma funo contnua, onde D um subconjunto

assume um valor mximo e um valor mnimo em D, isto ,

tais que

f (X 1 ) f (X ) f (X 2 )

para todo

X D

O TESTE HESSIANO
O teorema a seguir fornece uma condio suficiente, sob determinadas condies, para
decidir se um ponto crtico ponto de mximo local, mnimo local ou ponto de sela.
Apresentaremos o teste para funes de duas variveis. O caso de funo de mais de duas
variveis ser visto posteriormente (Teorema 2.10.3.3). Antes, porm, faremos a seguinte
definio:
Definio 2.10.3.3: Seja

num ponto

f : D n

X 0 (x0 , y0 ) D

uma funo de classe

C2

. A matriz hessiana de f

definida como

2 f
x12

(X 0 )

(X 0 )

Hess (X 0 )

f
xn x1

Clculo III

2 f
x1xn

2 f
xn2

(X 0 )

(X 0 )

133

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

O determinante da matriz acima ser denotado por

de

em

X0

H (X 0 )

e denominado de o hessiano

Note que

Hess (X 0 )

uma matriz simtrica. No caso

2f (X 0 )
H (X 0 ) det x2 f
yx (X 0 )
2

Teorema 2.10.3.2: Seja

2 f
xy
2 f
y 2

n2

(X 0 ) 2 f
2 f

2 f
2 (X 0 ) 2 (X 0 )
(X 0 )
x
y
(X 0 )
xy

f : D 2

ii. Se

iii. Se

iv. Se

H (X 0 ) 0

x 2

H (X 0 ) 0
H (X 0 ) 0
H (X 0 ) 0

Na hiptese iv,

2 f

2 f
x 2

, ento

(X 0 ) 0
, ento

(X 0 ) 0

, ento

X0

.
2

, D aberto, uma funo cujas derivadas parciais de

segunda ordem so contnuas em D (como no caso acima). Se

i. Se

, o hessiano dado por

X0

X0

X0

ponto crtico de f ento

ponto de mnimo local;

ponto de mximo local;

ponto de sela;

, no podemos afirmar nada sobre a natureza do ponto crtico

X0

X0

pode ser um ponto de mximo local ou de mnimo local ou pode

ser um ponto de sela. Com efeito,

Clculo III

134

Cap. 02: Funes reais de vrias variveis reais

a) Se

f (x , y) x 4 y 4

fcil ver que

b) Se

X0

X 0 (0,0)

ponto crtico e

f xx (X 0 ) f yy (X 0 ) f xy2 (X 0 ) 0

ponto de mnimo.

f (x, y) x 4 y 4

mas

c) Se

X0

, ento

Prof. Sinvaldo Gama

X 0 (0,0)

ponto crtico e

f xx (X 0 ) f yy (X 0 ) f xy2 (X 0 ) 0

ponto de mximo.

f (x, y) x 3 y 3

X 0 (0,0)

ponto crtico e

f xx (X 0 ) f yy (X 0 ) f xy2 (X 0 ) 0

, mas

X0

ponto de sela j que toda vizinhana de contm pontos (os do 1 quadrante) para os
quais

f (x, y) 0

e outros (os do 2 quadrante) para os quais

f (x, y) 0

Antes de enunciarmos o caso geral, relembremos o seguinte fato da lgebra Linear:


Proposio 2.10.3.1: Seja

A (aij )nn

uma matriz com coeficientes reais simtrica. Ento

possui n autovalores reais (contados conforme sua multiplicidade). Alm do mais, podemos
escolher os n autovalores de modo que formem uma base ortonormal de

existem nmeros reais

1 ,...,n

e vetores

v1 ,...,v n

1 se i j
0 se i j

vi v j

onde

A vj

tais que

. Em suma,

1 j n

deve ser entendido como o produto da matriz

Clculo III

A v j jv j

pelo vetor coluna

T
j

135

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Teorema 2.10.3.3: (Caso geral) Seja

que

em

X0 D

f : D n

um ponto crtico de f. Sejam

X 0 H (X 0 )
i. Se

ii. Se

o hessiano de

j 0
j 0

para todo

para todo

em

X0

C2

. Suponha

os autovalores da matriz hessiana de

. Temos:

1 j n
1 j n

iii. Se existirem dois autovalores

1 ,...,n

uma funo de classe

, ento

X0

, ento

X0

ponto de mnimo local;

ponto de mximo local;

com sinais opostos, ento

X0

ponto de

sela de f;
iv. Nos demais casos, isto ,
(a)
, para todo
e existe um autovalor
ou
j 0
i 0
1 j n
(b)

j 0

, para todo

1 j n

e existe um autovalor

i 0

no podemos afirmar nada sobre a natureza do ponto crtico

X0

Exemplo 2.10.1: Classifique os pontos crticos de

f (x, y , z) x 3 3x y 2 z 2 2 z

Soluo: Temos que

f (x, y , z) (3 x 2 3,2 y ,2 z 2) (0,0,0)

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

ou

Clculo III

se e somente se

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

136

Cap. 02: Funes reais de vrias variveis reais

A matriz hessiana de

Prof. Sinvaldo Gama

6 x 0 0
Hess (x, y , z ) 0 2 0
0 0 2

Assim temos:
e

6 0 0
Hess (X 1 ) 0 2 0
0 0 2

6 0 0
Hess (X 2 ) 0 2 0
0 0 2

Da primeira matriz conclumos que todos os autovalores so positivos. Portanto,

de mnimo local. Da segunda, vemos que

X2

X1

ponto

ponto de sela, pois a matriz hessiana possui

um autovalor positivo e um negativo.


Exemplo 2.10.2: Classifique os pontos crticos de

f (x, y , z ,w) 2 xy 2 yz y z 2 w
2

Soluo: Temos que

f (x, y , z ,w) (2 y ,2 x 2 z 2 y ,2 y 2 z ,4w) (0,0,0,0)

(x, y , z , w) (0,0,0,0) X 0

Clculo III

se e somente se

137

Cap. 02: Funes reais de vrias variveis reais

Temos

Prof. Sinvaldo Gama

0
2
Hess (X 0 )
0

2
2
2
0

0
2
2
0

0
0

O polinmio caracterstico desta matriz :

2
p( ) det
0

Note que

1 4 0

vemos que existe

Portanto,

X0

0
2
2

0
0
0

2
2
2

(4 )(3 42 4 8)

um autovalor da matriz acima. Como

2 (1,2)

tal que

p(2 ) 0

p(1) 5 0

p(2) 48 0

, ou seja, eiste tambm um autovalor positivo.

um ponto de sela.

O teorema a seguir, que um resultado da lgebra Linear, fornece uma condio


necessria e suficiente para decidir se uma matriz simtrica apresenta todos os autovalores
positivos ou todos negativos.
Definio 2.10.3.4: Seja

1 k n

A (aij )

uma matriz de ordem n. O menor principal de ordem

da matriz definido como o determinante da submatriz

A (aij )1i k

e denotado

1 j k

por

mk (A)

Teorema 2.10.3.4: Seja

A (aij )

uma matriz simtrica de ordem n.

Clculo III

138

Cap. 02: Funes reais de vrias variveis reais

i.

Prof. Sinvaldo Gama

A fim de que todos os autovalores de A sejam positivos necessrio e suficiente


que

ii.

mk (A) 0

para todo

1 k n

A fim de que todos os autovalores de A sejam negativos necessrio e suficiente


que

mk (A) 0

para todo k mpar,

1 k n

mk (A) 0

para todo k par,

1 k n

.
Observao: A parte (ii) segue de (i) notando que

mk ( A) (1)k mk (A)

Exemplo 2.10.3: Deseja-se construir uma caixa sem tampa com a forma da um
paraleleppedo regular com certo volume V. Determine as dimenses da caixa para que se
gaste o mnimo de material possvel.
Soluo: Denotemos por x e z as dimenses da base da caixa e por y a sua altura. Desta forma
V xyz

e a rea total da caixa

A 2 xy 2 yz xz

. Logo, como V dado, teremos

V V
A(x, y) 2 xy 2
x y

O nosso problema se resume em achar o ponto de mnimo de A. Note que a regio que
estamos trabalhando

x0

y0

Vamos procurar os pontos crticos de A:


A
x

(x , y) 2 y 2 xV2 0

A
y

(x , y) 2 x

Logo

x 2y

V
y2

ou seja,

2 xy2 V

e voltando s equaes, obtemos

yx 2 V

x 3 2V

Clculo III

e
V
y3
4

z 3 2V

139

Cap. 02: Funes reais de vrias variveis reais

Agora,

Prof. Sinvaldo Gama

A2
H (x, y) det x2 A
yx
2

Assim,

V
2V ,3
4

2 A
xy
2 A
y 2

det
2
(x ,y )

4V
x3

2 A

x 2

12 0

2V
y3

8V
4
(xy)3

V
2V ,3
4

Logo, pelo critrio do hessiano vemos que

20

um ponto de mnimo local de A.


( 2V , V 4 )
3

Na verdade, trata-se de um mnimo global. A verificao pode ser vista da seguinte maneira.
Para cada

y0

fixo a funo

Ay (x) A(x, y) 2 xy 2

Possui um mnimo global, pois

lim Ay (x)

(note que esta a nica soluo de

m(y) Ay

Logo,

Por outro lado, a funo

A
x

V
A

lim Ay (x)

(x, y) Ay (x) 0

V
V
, y 4 Vy
y
y

, que representa o mnimo de

tambm possui um mnimo global, pois

lim m(y)

y 0

Clculo III

). O valor mnimo

A(x, y) Ay (x) m(y)

m(y)

e ele ocorre em

x0

x V y

V V

x y

Ay

para cada

lim m(y)

y0

fixado,

e este mnimo

140

Cap. 02: Funes reais de vrias variveis reais

ocorre para y tal que

y3 V 4

m(y) 0

Prof. Sinvaldo Gama

, isto , quando

2 V y V y2 0

, ou seja, quando

. Isto nos d

Assim, para todo

x0

y0

V
3 2V
V 4

, temos

A(x, y) Ay (x) m(y) m

Portanto,

V
4

V
2V ,3
4

um ponto de mnimo global. Finalmente, as dimenses da caixa so:


(3 2V ,3 V 4 )

x 3 2V

y3 V 4

z 3 2V

4. EXTREMOS CONDICIONADOS
Em muitas aplicaes o problema de achar os extremos de uma funo apresenta-se
sujeito a certas condies nas variveis independentes. O fato interessante nisso que apesar
de algumas funes no possurem, por natureza, valores extremos (como ocorre em planos,
retas, circunferncias e elipses horizontais), se restringirmos o domnio destas funes a um
conjunto especial de valores, ou seja, se as condicionarmos a certos conjuntos de funes, a
situao pode ser revertida e estas podem passar a t-los.
Exemplo 2.10.1: Determinar os extremos da funo

f (x , y ) x y
2

definida no conjunto

.
D {(x , y ) ; x 2 y 1}
2

Clculo III

141

Cap. 02: Funes reais de vrias variveis reais

Soluo: Temos que

elipse

que

x2 2 y 2 1

f
x

2x

f
y

Prof. Sinvaldo Gama

2y

ocorre quando

. Portanto o nico valor extremo de f no interior da

(x, y) (0,0)

f (x, y ) x 2 y 2 0 f (0,0),(x, y) 2

fronteira de D, isto , na elipse

x 2y 1
2

. Analisemos agora os extremos de f na

, cuja parametrizao dada por

(t ) cost , sint
2

Temos ento:

Deste modo,

extremos em

. Claramente este valor um mnimo, visto

0 t 2

1
1

f ( (t )) f cost , sint cos2 t sin2 t F (t )


2
2

.
1
F (t ) 2 cost sint sint cost sin2t
2

F (t ) 0
,

quando

0 2 3 2

ou

t 2 t

t 3 2

. Portanto, F pode ter valores

. Como

f ( (0)) f (1,0) 1

1 1

f ( ( 2)) f 0,
2 2

f ( ( )) f (1,0) 1

f ( (3 2)) f

1 1
0,

2 2
,

f ( (2 )) f (1,0) 1

Clculo III

142

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

f (0,0) 0

conclumos que f tem um valor mnimo absoluto igual a

absoluto igual a

correspondentes a

nos pontos

t 2

(1,0)

t 3 2

(1,0)

em

(0,0)

. Observe que os dois extremos de F

so apenas extremos locais de f em D. Apresentaremos

a seguir outra soluo do exemplo anterior. Temos que

x2 1 2 y 2

e assim:

f (x , y) x 2 y 2 (1 2 y 2 ) y 2 1 y 2 F (y)

Portanto, f quando restrita elipse

e um valor mximo

x2 2 y2 1

reduz-se a uma funo F de uma varivel.

Analisemos os extremos de F.
F (y ) 2 y

y0

seu ponto crtico. Como

F. Fazendo-se

Visto que

y0

f (0,0) 0

em

F (y) 2 0

x2 1 2 y2

obtemos

, segue-se que

x 1

y0

ponto de mximo de

. Temos, portanto,

, conclumos que o valor mnimo absoluto de f

valor mximo absoluto e ocorre nos pontos


1

(1,0)

(1,0)

f (1,0) f (1,0) 1

no ponto

(0,0)

eo

Exemplo 2.10.2: Uma caixa retangular sem tampa dever ter

32m

de rea de sua superfcie.

Determine as dimenses que lhe asseguraro um volume mximo.


Clculo III

143

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Soluo: Sejam x, y e h o comprimento, a largura e a altura da caixa, respectivamente.

h
y
x

Como a mesma no possui tampa, sua rea total ser dada por

assim,

32 xy
h
2x 2 y

. Desta forma,

AT xy 2 xh 2 yh 32

32 xy 32 xy x 2 y 2

V xyz xy
2x 2 y
2x 2 y

Temos ento:

V 64 y 2 x y 4 xy

x
(2 x 2 y)2
2

V 64 x 2 x y 4 x y

y
(2 x 2 y)2
2

O sistema
32 y 2 x 2 y 2 2 xy3 0

isto ,

32 x 2 x 2 y 2 2 x 3 y 0

fornece

lado, se

(0,0)

y 2 (32 x 2 2 xy) 0
x 2 (32 y 2 2 xy) 0

como ponto crtico de V, o qual no satisfaz ao problema proposto. Por outro

(x, y) (0,0)

, temos

Clculo III

144

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

y 2 2 xy 32

x 2 2 xy 32

Da,

x 2 xy y 2 xy
2

Disto decorre que

, ou seja,

y 2 2 y 2 32

s h um ponto crtico, ento

x y

, pois

e assim

x0

8
yx
6

8 8 4
,
,

6 6 6

y0

. Portanto,

32 1 32
4
h 8 3 8
2( 6 6 )
6

. Como

ponto de mximo de V, cujas coordenadas so

as dimenses procuradas da caixa.

Clculo III

145

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

5. O MTODO DOS MULTIPLICADORES DE LAGRANGE


O PROBLEMA DE UM VNCULO

Suponha que

contnuas em um aberto de

extremos da funo

encontrar os pontos

lateral)

g (x, y) 0

sejam funes de duas variveis com derivadas parciais

. O problema que passaremos a estudar encontrar os

quando esta est sujeita condio que

(x, y)

dentro do domnio de

assumiremos ser tal que

g (x, y) 0

g 0

uma curva de nvel da funo

. Se tal curva de nvel de

. Para cada

representa uma curva de nvel da funo

e variando

. Isto , queremos

e restritos ao vnculo (ou condio

que maximizem ou minimizem os valores de

Note que o vnculo

g (x, y) 0

a equao

f (x, y) t

, que

tambm representa

obteremos uma famlia de curvas de nvel de

, digamos de nvel

t0

, intercepta a curva

g (x, y) 0

transversalmente, isto , de modo que uma no seja tangente outra, ou ainda, os vetores

g
t0

so linearmente independentes no ponto de interso, ento para valores de

a curva de nvel

f (x, y) t

tambm interceptar

Clculo III

g (x, y) 0

prximos

. Isto significa que

t0

no

146

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

pode ser valor de mnimo nem de mximo de

sobre o vnculo. Desta maneira,

s pode

atingir um valor extremo (mximo ou mnimo) sobre a curva num determinado ponto

P0 (x0 , y0 )

se a curva de nvel

f (P0 ) g (P0 )

para algum

f (x, y) f (P0 )

for tangente a

g (x, y) 0

em

P0

, ou seja, se

. Observe as situaes ilustradas na figura abaixo.

Reta tangente comum

P0

f (Pi )
g (Pi )

k0

ki

g (x, y) 0

Note que as observaes acima podem ser verificadas da seguinte forma: Suponha que
a curva

(t ) 0

g (x, y) 0

seja representada na forma paramtrica por

. Sobre esta curva, a funo

para anilisar os extremos de

sobre

g (x, y) 0

funo de uma varivel. Supondo que

ocorrer em algum

t0

tal que

(t0 ) 0

dada por

t (a,b)

, tal que

(t ) (x(t ), y(t ))

(t ) f ( (t )) f (x(t ),y(t ))

. Desta forma,

basta encontrar os extremos de

ento um extremo d

que uma

, caso exista, deve

. Mas

Clculo III

147

Cap. 02: Funes reais de vrias variveis reais

(t )

f
x

(x(t ), y(t )) x(t ) fy (x(t ),y(t )) y(t ) f (x(t ),y(t )) (t )

Assim, substituindo

, ou seja,

(t0 )

portanto,

t t0

e colocando

deve ser ortogonal a

segue-se que em

P0

f (P0 )

as curvas de nvel

f (P0 ) g (P0 )

(x0 , y0 ,0 )

, vemos que

P0 (x(t 0 ),y(t 0 ))

. Como

g (x, y) 0

para algum

Observe que as condies

equivalentes a que

Prof. Sinvaldo Gama

(x0 , y0 ,0 )

f (x, y) f (x0 , y0 )

g (x0 , y0 ) 0

devem ser tangentes e,

f (x0 , y0 ) 0 g (x0 , y0 )

para algum

g (x, y) 0

so

seja um ponto crtico da funo de trs variveis dada por

um ponto crtico de F se e somente se

F
x
F
y
F

f
x
f
y

g
x
g
y

(x0 , y0 ,0 ) (x0 , y0 ) 0 (x0 , y0 ) 0


(x0 , y0 ,0 ) (x0 , y0 ) 0 (x0 , y0 ) 0
(x0 , y0 ,0 ) g (x0 , y0 ) 0

Mas as duas primeiras equaes acima so equivalentes a

a terceira a

f (P0 ) (t0 ) 0

ortogonal s curvas de nvel de

F (x, y , ) f (x, y) g (x, y)

De fato,

f (x0 , y0 ) 0 g (x0 , y0 )

Clculo III

148

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Concluso Alternativa: Sabemos que

Alm disso, como

f
x

f (P0 ) ( (Po ), (Po ))

para algum

f (P0 ) g (P0 )

f
x
f
y

f
y

g
x

g
y

g (P0 ) ( (Po ), (Po ))

, ento:

(Po ) gx (Po )
(Po ) gy (Po )

ou, equivalentemente,

f
x
f
y

g
(P0 )
(P )
gx 0
(P0 )
y (P0 )

Do resultado acima podemos concluir que a constante

(declive da tangente comum)

(aquela que transforma

em vetores de igual comprimento, direo e sentido) corresponde tambm inclinao da reta


tangente comum s curvas

, no ponto

P0

g (P0 )
Coeficiente angular da reta tangente comum

f (P0 )

P0

Reta tangente comum

g (x, y) 0

f (x , y) k i

Da equao anterior, segue-se que

Clculo III

149

Cap. 02: Funes reais de vrias variveis reais

Jutando-se ao sistema a condio

f
x
f
y

(P0 )
(P0 )

g (x0 , y0 ) 0

f
x
f
y

Prof. Sinvaldo Gama

g
x
g
y

(P0 ) 0
(P0 ) 0

, teremos equivalentemente,

(x0 , y 0 ) 0 gx (x0 , y 0 ) 0
(x0 , y 0 ) 0 gy (x0 , y 0 ) 0
g (x0 , y 0 ) 0

que representa o ponto crtico da funo

F (x, y , ) f (x, y) g (x, y)

O raciocnio acima pode ser aproveitado para o caso de mais variveis. Vejamos
quando

so funes de trs variveis satisfazendo as mesmas hipteses anteriores, isto

, so funes de classe

uma superfcie de nvel

tais que

(0) (0) P0

C1
S

g 0

. Esta ltima condio garante que

tal que para cada

(0)

(0)

existem duas curvas

define

, : ( , ) S

so linearmente independentes.

f (P0 )

(t )

(t )

P0 S

g (x, y , z) 0

Vetores tangentes linearmente independentes.

..

P0

Superfcie de nvel

g (x, y , z ) 0

Clculo III

150

Cap. 02: Funes reais de vrias variveis reais

Se

funes

P0 (x0 , y0 , z 0 )

1 (t ) f ( (t ))

correspondente a

Prof. Sinvaldo Gama

um extremo de

2 (t ) f ( (t ))

1 (0) 2 (0) P0

(t )

(t )

restrita condio

2 (t ) f (P0 ) (t ) 0

so linearmente independentes, vemos que

para algum

f (P0 ) 0 g (P0 )

P0

. Como

g (P0 ) 0

t 0

passando por um mesmo ponto e cujos

n 1

f (P0 )

deve ser

ortogonal a esse

. Este resultado se estende para

variveis e o argumento a ser usado anlogo, bastando tomar

g (P) 0

ento as

. Derivando, obtemos as relaes:

ortogonal ao plano gerado por estes dois vetores em

plano, segue-se que

g (x , y , z) 0

tambm alcanaro um extremo quando

1(t ) f (P0 ) (t ) 0
Como

n 1

curvas contidas em

vetores tangentes formam um conjunto

linearmente independente. Com estes resultados, afirmamos o seguinte teorema.


Teorema 2.10.5.1: (Multiplicador de Lagrange) Se

funo diferencivel

f : D n

continuamente diferencivel e

P0 (x0 , y0 )

sujeita condio

g (x0 , y0 ) 0

, ento

F (x, y , ) f (x, y) g (x, y)

Clculo III

P0

um ponto extremo de uma

g (x, y) 0

, onde

ponto crtico da funo

para algum

, isto ,

151

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Fx (x0 , y0 ,0 ) f x (x0 , y0 ) 0 g x (x0 , y0 ) 0

Fy (x0 , y0 ,0 ) f y (x0 , y0 ) 0 g y (x0 , y0 ) 0


F (x , y , ) g (x , y ) 0
0
0
0 0 0
Este sistema serve para determinar

extremo, a saber,

P0 (x0 , y0 )

x0 y0

. Teremos assim, um candidato a ponto

. Isso porque, em geral, no se sabe se existe ou no tal ponto.

Exemplo 2.10.1: Encontre o ponto sobre o plano

P0 (x0 , y0 , z0 )

ax by cz d 0

mais prximo ao ponto

e encontre tambm esta distncia.

Soluo: Devemos minimizar a funo

sujeita

d (x, y , z ) (x x0 ) (y y0 ) (z z0 )
2

condio

g (x, y , z ) ax by cz d 0

. Convm observar, entretanto, que se

(x, y , z)

satisfaz o vnculo e minimiza a funo F, ento este mesmo ponto minimiza a funo

f F2

Esta observao facilita nos clculos das derivadas parciais, pois basta trabalharmos com
, que no envolve radicais. Desta forma, o problema

f (x, y , z) (x x0 ) (y y0 ) (z z0 )
2

se resume a encontrar o mnimo de

condio

g (x, y , z ) ax by cz d 0

f (x , y , z) (x x0 )2 (y y0 )2 (z z0 )2

sujeita

, isto , encontrar o ponto crtico da funo

F (x, y , z , ) (x x0 )2 (y y 0 )2 (z z 0 )2 (ax by cz d )

Clculo III

152

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

De acordo com o teorema 2.10.5.1, um ponto que satisfaz estas duas condies deve
satisfazer, para algum

F
x
F
y
F
y
F

, as equaes

(x, y , z , ) 2(x x0 ) a 0

(x, y , z , ) 2(y y 0 ) b 0

(x, y , z , ) 2(z z 0 ) c 0

(x, y , z , ) ax by cz d 0

2(x x0 ) a

x 2a x0
y b y
2(y y0 ) b

0
2

c
2(z z 0 ) c
z

z
0
2

ax by cz d 0
ax by cz d 0

Temos assim,

2 (a 2 b 2 c 2 ) ax0 by0 cz 0 d 0

ou ainda,

ax0 by0 cz0 d

2
a 2 b2 c 2

Com este resultado encontramos:

a x0 aby 0 acz 0 ad
b(bx0 ay 0 ) c(cx0 az 0 ) ad

x
2
2
2

a b c
a 2 b2 c2
2

a(ay 0 bx0 ) c(cy 0 bz 0 ) bd


abx0 b y0 bcz 0 bd

y y0
y
2
2
2
a b c
a 2 b2 c2

acx0 bcy0 c 2 z 0 cd
z a(az 0 cx0 ) b(bz0 cy 0 ) cd
z z0
2
2
2

a2 b2 c2
a b c

x x0

Logo, o ponto

(x, y , z)

distncia at o ponto

encontrado o ponto situado sobre o plano

P0 (x0 , y0 , z0 )

ax by cz d 0

cuja

mnima, a qual dada por:

d (x, y , z )

f (x, y , z ) (x x0 ) (y y0 ) (z z0 )
2

de onde obtemos finalmente:


Clculo III

153

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

d (x, y , z )

ou seja,

d (x, y , z)

a 2 b2 c 2

ax0 by0 cz0 d

a 2 b2 c 2

Exemplo 2.10.2: Determine os pontos da elipse

x2 y2

1
a2 b2

para os quais a reta tangente

forma com os eixos coordenados um tringulo de menor rea. Em seguida, calcule essa rea.
Soluo: Devemos aqui minimizar a rea do tringulo formado pela interseo da reta
tangente com os eixos coordenados (a regio em destaque na figura abaixo) sujeita condio
g (x, y)

x2
a2

y2
b2

. Pela figura, esta rea dada por


1 0

f (x, y) 12 xy

P (a cos ,b sin )

Devemos, pois, encontrar os pontos crticos de

F (x, y , )

y 2 x
2 0

2 a

x 2 y

F
2 0
y (x , y , )
2 b

x2 y2

F
(x , y , ) 2 2 1 0

a
b
F
x

(x, y , )

Clculo III

xy
y
2 2 1
2
a b

. Temos:

ya 2 4 x
xb2 4 y
x2 y2

1
a2 b2

154

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Dividindo-se a primeira equao pela segunda, obtemos:


.

ya 2 x
x2 y2

xb2 y
a2 b2

Assim,

x2 y 2 x2 x2 2x2
2 1


a 2 b 2 a 2 a 2
a

ou

x
y y y
2y
2 2 2 2 1
2
a
b b b
b
2

do que resulta, em ambos os casos:

Logo, os pontos

elipse

a b
,

2 2

a
x
2

b
a
,

2
2

b
y
2

a b
,

2 2

a
b
,

2
2

so os pontos da

que tornam o tringulo com a menor rea possvel. Alm disso, em

x
y
2 1
2
a
b

qualquer um desses pontos, a rea

correspondente ser

A 14 ab

O PROBLEMA DE DOIS VNCULOS

Vamos considerar o problema de achar os extremos de uma funo de trs variveis

f (x, y , z )

sujeita s condies

g (x, y , z ) 0

h(x, y , z ) 0

Clculo III

155

Cap. 02: Funes reais de vrias variveis reais

Prof. Sinvaldo Gama

Teorema 2.10.5.2: Suponha que as funes

continuamente diferenciveis. Seja

que os vetores

(x0 , y0 , z0 )

g (x, y , z )

um extremo de

, D aberto, sejam funes

sejam linearmente independentes em

restrita a

, existem constantes

P0 (x0 , y0 , z0 )

mximo de

sobre

independentes em

curva suave

um extremo de

garante que os pontos de

g (t ) f ( (t )) f ( (0)) f (P0 )

que

, com

. Assim, a funo

e assim,

P0

. Ento, se

. Vamos assumir que

prximos a

e, portanto, devemos ter

t0

g (t ) f ( (t )) (t )

sobre

. A condio que os gradientes de

(t ) (x(t ), y(t ),z(t ))

um mximo em

tais que

f (x0 , y0 , z 0 ) g (x0 , y0 , z 0 ) h(x0 , y0 , z0 )

Prova: Seja

e suponha

E {(x, y , z ) D | g (x, y , z ) h(x, y , z ) 0}

h(x, y , z)

f , g ,h : D 3

P0

um ponto de

so linearmente

podem ser descritos por uma

satisfazendo

(0) P0

(0) 0

que escalar e de uma varivel atinge

g (0) 0

g (0) f (P0 ) (0) 0

. Mas, pela regra da cadeia,

. Como

(t ) E ,t ( , )

, temos

. Derivando estas duas ltimas igualdades (use a regra da cadeia) e

g ( (t )) 0 h( (t ))

colocando

t 0

, obtemos que

g (P0 ) (0) 0

Clculo III

h(P0 ) (0) 0

. Desta forma, vemos que

156

Cap. 02: Funes reais de vrias variveis reais

o vetor no-nulo

(0)

Prof. Sinvaldo Gama

ortogonal aos vetores

so linearmente independentes, o conjunto

Logo, existem constantes

g (P0 )

h(P0 )

{ (0),g (P0 ),h(P0 )}

e como estes dois ltimos

forma uma base para o

,
e tais que

f (P0 ) g (P0 ) h(P0 ) (0)


o que implica em
0 f (P0 ) (0) g (P0 ) (0) h(P0 ) (0) (0) (0) (0)

onde

(0)

denota o comprimento do vetor

(0)

que no-nulo. Portanto,

e obtemos

o que queramos provar:

f (P0 ) g (P0 ) h(P0 )

Exemplo 2.10.3: Determine os semi-eixos da elipse dada pela interseo do cilindro

x y 1
2

com o plano

x yz 0

Soluo: Como o plano passa pela origem e o eixo do cilindro dado por

x y0

, vemos

que o centro da elipse a origem. Assim, precisamos encontrar os pontos sobre a elipse que
esto mais prximos e mais afastados da origem. Tendo em vista observaes anteriores, basta
encontrarmos os extremos de

vnculos

f (x, y , z) x 2 y 2 z 2

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

(o quadrado da distncia) sujeita aos

h(x, y , z) x y z 0

Clculo III

157

Cap. 02: Funes reais de vrias variveis reais

Note que

h(x, y , z) i j k

Prof. Sinvaldo Gama

g (x, y , z ) 2 x i 2 y j

independentes: basta observar a componente de

Pelo teorema 2.10.5.2, os extremos de

e algum

Assim,

so claramente linearmente

dos dois vetores.

sujeita aos vnculos devem satisfazer, para algum

, as equaes

2x 2x

f (x, y , z ) g (x, y , z ) h(x, y , z ) 2 y 2 y

g (x, y , z ) 0
2z

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

x y z 0

2(1 )x 2(1 )y

obtemos

z 2 x

2x2 1

que para

2 2
P1
, , 2
2 2

ento

nos fornece

x y

2(1 )x
2(1 )y
2z

x2 y 2 1
x yz 0

. Pelas restries (vnculos),

que resultam nos pontos

Agora, se

e, portanto,

z0

2
2
P2
,
, 2
2
2

. Desta forma, os vnculos se reduzem a

2
x2 y 2 1 2 x2 1
2

(x, y)
,

2
2
x

0
x

Clculo III

ou

2
(x, y)
,
2
2

158

Cap. 02: Funes reais de vrias variveis reais

dando os pontos

Prof. Sinvaldo Gama

2
2
,
,0
2
2

P3

f (P3 ) f (P4 ) 1

2 2
P4
,
,0
2
2

f (P1 ) f (P2 ) 3

. Assim, o semi-eixo maior dado pelo segmento

ou

OP1

comprimento igual a

e o menor dado pelo segmento

ou
OP3

3
igual a . Os vrtices da elipse so os pontos
1

. Temos

P1

Clculo III

P4

e tem

OP2

e tem comprimento

OP4

159

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

CAPTULO 3
( f : n m )
FUNES VETORIAIS
SEO 3.1: FUNES VETORIAIS
Neste captulo estudaremos as funes definidas sobre subconjuntos de

valores em

com

; so as chamadas funes vetoriais. As mais simples destas funes so as

transformaes lineares as quais, como sabemos, podem ser representadas por matrizes e cuja
estrutura estudada na lgebra Linear. Estudaremos agora as funes vetoriais que no so
necessariamente lineares.
Definio 3.1.1: Seja

um subconjunto do

. Uma funo vetorial uma funo

f : D m

X Y f (X )
onde

X (x1 , x2 ,...,xn )

f (X )

um vetor com m coordenadas, isto ,

f (X ) Y (y1 , y2 ,...,ym ) ( f1 (X ), f 2 (X ),...,f m (X ))


onde

f1 , f 2 ,...,f m

so as funes coordenadas de f e

fi : D
,

X yi fi (X ) i 1,...m

Clculo III

160

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

Quando no informamos explicitamente o domnio de uma funo f, convencionamos


que o mesmo ser o conjunto de valores

em

, ou seja, as coordenadas de

Definio 3.1.2: Se

f (X )

f :D
n

para os quais

f (X )

um vetor bem definido

so nmeros reais.

, a imagem de

, denotada por

Im(f )

ou

f (D)

,o

conjunto
.

Im(f ) f (D) {f (X );X D}

Se

A D

, indicaremos por

f (A)

o conjunto

f (A) {f (X );X A}

e diremos que

transforma o conjunto A no conjunto

Exemplo 3.1: (Coordenadas polares). Seja

os nmeros r e

X 2

f (A)

. Consideremos como coordenadas de X

como indicados na figura abaixo, isto ,

X f (r , )

os quais denominamos

as coordenadas polares de X.

Clculo III

161

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

X
r

Se x e y so as coordenadas cartesianas de X, ento

x r cos

y r sin
Consideremos agora a seguinte funo

T :
2

definida por

T (r , ) (r cos , r sin ) (x, y)

(a) Qual a imagem por T do retngulo

(b) Qual a imagem por T do retngulo

0 r 2 0 2

r0

contido no plano

,
contido no plano
?
1 r 2 6 3
r

(c) Que figura geomtrica transformada por T, no crculo

(d) Prove que T injetiva se

0 2

x y 4
2

, em

xy

Soluo: (a) Observe que T deve ser aplicada a todos os pontos da regio ilustrada abaixo.
Clculo III

162

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

(2, 2)

(0, 2)
(x, y)

(0,0)

(2,0)

Alm disso,
i. Quando o ponto est sobre o segmento AD,

forma,

T (r ,0) (r cos0,r sin0) (r ,0)

(segmento IG);

ii. Quando o ponto est sobre o segmento AB,

T (2, ) (2 cos ,2 sin )

e assim a transformao T ser da

e a transformao ser da forma,

r2

o que corresponde a uma parametrizao de uma circunferncia

de raio 2, centrada na origem. Como

0 2

primeiro quadrante (arco GH);


iii. Quando o ponto est sobre o segmento CD,

T (r , 2) (r cos(
2),r sin( 2)) (0,r )

, a circunferncia fica limitada ao

e a transformao ser da forma,

(semi- eixo HI);

iv. Considerando-se, por exemplo, o segmento

(x, y) (1, ) 0 2

(veja figura

abaixo), teremos que para quaisquer pontos deste conjunto, a aplicao T ser da
forma

T (1, ) (cos ,sin )

, o que corresponde a uma parametrizao de uma

circunferncia de raio 1, centrada na origem. Como

0 2

, a circunferncia fica

limitada ao primeiro quadrante (semi-arco HI). Com isso, fcil de observar que se
tomarmos todas as retas verticais contidas neste conjunto e realizarmos o mesmo
procedimento com cada uma delas, obteremos a regio interna do crculo.
Clculo III

163

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

(1, )
2

T (1, )

I
0

(b) Fazendo observaes semelhantes, chegamos ao resultado abaixo.

y
(1 12 , )

T (1 12 , )

A
3

Neste caso, tomamos a semi-reta de coordenadas

,
para mostrar
(1 12 , ) 6 3

de que forma a funo T a transforma (na figura acima, no semi-arco AB) e gera o espao
interno da regio indicada.
(c) Para este caso, o procedimento inverso: devemos encontrar novos intervalos para r e

de modo a satisfazer a condio

. Para isso, fazemos

0r 2

(1, )

0 2

T (1, )
y

x2 y 2 4

Clculo III

164

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

Exemplo 3.2: (Coordenadas cilndricas). Seja

X os nmeros r,

X 3

. Consideremos como coordenadas de

e z, como indicados na figura abaixo, os quais denominamos as

coordenadas cilndricas de X.

Clculo III

165

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

r
X

x
Clculo III

166

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

Se x, y e z so as coordenadas cartesianas de X, ento


x r cos

y r sin
zz

Consideremos a seguinte transformao

T : 3 3

definida por

T (r , , z ) (r cos ,r sin , z ) (x, y , z )

(a) Qual a imagem por T do paraleleppedo

(b) Qual a imagem por T do paraleleppedo

0 r 1 0 2

r 0

0 z4

,
e
?
1 r 2 6 3 1 z 3

(c) Que figura geomtrica transformada por T, no crculo

(d) Prove que T injetiva se

0 2

,
?
x2 y 2 4 z 0

Soluo: (a)

(b) Com procedimento anlogo chegamos ao resultado abaixo.

Clculo III

167

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

1
1

Clculo III

168

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

(c) Com procedimento anlogo chegamos ao resultado abaixo.

0
z

(1, )

Exemplo 3.3: (Coordenadas esfricas). Seja

X os nmeros ,

X 3

. Consideremos como coordenadas de

e como indicados na figura abaixo, os quais denominamos as

coordenadas esfricas de X.

Clculo III

169

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

z
x

O
x

Clculo III

170

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

Se x, y e z so as coordenadas cartesianas de X, ento


x OA cos sin cos

y OA sin sin sin


z cos

Consideremos agora a seguinte transformao

T : 3 3

definida por

T ( , , ) ( sin cos , sin sin , cos ) (x, y , z )

(a) Qual a imagem por T do paraleleppedo


(b) Qual a imagem por T do paraleleppedo

0 3 0 2
,

1 3 6 2

0 2
e

3 2

(c) Que figura geomtrica transformada por T, no crculo

,
?
x2 y 2 4 z 0

(d) Prove que T injetiva se

0 0 2

Soluo:

Clculo III

171

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

(a)

(b) A funo T transforma o paraleleppedo

1 3 6 2 3 2

na regio

do espao localizada no primeiro octante, como indica a figura abaixo.

Clculo III

172

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

Clculo III

173

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

SEO 3.2: LIMITE E CONTINUIDADE


O estudo das funes no-lineares est ligado s tcnicas do Clculo tais como
limite, continuidade, diferenciabilidade, integrabilidade, etc. Nesta seo abordaremos o
conceito de limite e continuidade para estas funes.
Definio 3.2.1: Seja f uma funo vetorial definida num subconjunto D do

possivelmente em

X0 D

, exceto

. Escrevemos

lim f (X ) L m

X X0

se dado

isto , se

qualquer, existe um

0 X X0

, ento

tal que se

f (X ) L

X B(X 0 ; ) D

, ento

f (X ) B(L; )

O teorema seguinte mostra que o problema da existncia e o clculo do limite para


funes vetoriais reduzem-se ao mesmo problema para as funes coordenadas da funo,
onde se sabe que estas so reais.
Teorema 3.2.1: Seja f uma funo vetorial definida num subconjunto D do

possivelmente em

X0 D

. Se

f1 , f 2 ,...,f m

so as funes coordenadas de

, exceto

, ento

lim f (X ) L (l1 ,l2 ,...,lm ) m

X X0

se e somente se,

lim f i (X ) li

X X0

Clculo III

i 1,...,m

174

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

Prova:
1 parte. Suponhamos inicialmente que

lim f (X ) L (l1 ,l2 ,...,lm ) m

. Ento dado

X X0

qualquer, existe um nmero

se

Mas,

tal que

0 X X0

, ento

Portanto,

f i (X )

, tem-se

f i (X ) li

tem limite

li

f (X ) L

e como

f (X ) L ( f1 (X ) l1 ,...,f m (X ) lm )

0 X X0

f i (X ) li f (X ) L

, ento se

quando X tende para

2 parte. Suponhamos agora que existe o

X0

, isto ,

lim f i (X ) li

lim f i (X ) li

X X0

. Assim, devemos provar que

X X0

lim f (X ) (l1 ,l2 ,...,lm )

. Por hiptese, dado

X X0

se

0 X X 0 i

qualquer, existe

, ento

f (X ) L

i 0

tal que

Por outro lado,

f (X ) L ( f1 (X ) l1 )2 ( f m (X ) lm )2
( f1 (X ) li )2

f m (X ) lm )2

f1 (X ) l1 f m (X ) lm

Clculo III

175

Cap. 03: Funes vetoriais

Seja

Prof. Sinvaldo Gama

. Logo,

min{1 ,..., m }

se

Isto informa que

0 X X0

lim f (X ) L

, ento

f (X ) L

X X0

Definio 3.2.2: Se

Portanto,

definida em

contnua em se dado

se

Diz-se que

X0

0 X X0

,
dita contnua em
.
lim f (X ) f (X 0 ) f
X0

X X0

, existe

, ento

contnua em D quando

tal que

f (X ) f (X 0 )

contnua em cada ponto de D.

O teorema seguinte uma consequncia do teorema anterior.


Teorema 3.2.2: Seja

X0 D

f : D n m

, D aberto, uma funo vetorial. Ento f contnua em

se, e somente se, cada uma das suas funes coordenadas

f1 ,...,f m

contnua em

X0

Prova: Exerccio.
Teorema 3.2.3: Se

iii.

T :n m

T (X ) k X

uma transformao linear, ento

e para algum nmero real k;

Clculo III

176

Cap. 03: Funes vetoriais

iv.

Prof. Sinvaldo Gama

T contnua em todo ponto do

Prova: Veja a prova do Teorema 2.2.4, na seo anterior.


Teorema 3.2.4: Se

em

f (X 0 ) E

f : D n m

, com

Im(f ) E

contnua em

, ento

X0 D

g f :D
n

g : E m p

contnua em

X0

contnua

SEO 3.3: DERIVADAS PARCIAIS VETORIAIS


Definio 3.3.1: A derivada parcial vetorial,

f
xi

,
, definida por
(X 0 ) X 0 (x10 ,...,xn0 )

f
f (x10 ,...,xi0 h,...,xn0 ) f (x10 ,...,xn0 )
f (X 0 hei ) f (X 0 )
(X 0 ) lim
lim
h 0
h 0
x1
h
h

Observe que o quociente e, portanto, o limite, so vetores. Como limites de funes


vetoriais so calculados tomando-se os limites de cada funo coordenada, segue-se
imediatamente que
f
f (X 0 hei ) f (X 0 )
(X 0 ) lim

h0
x1
h
f (X hei ) f (X 0 )
f (X hei ) f (X 0 )
lim 1 0
,..., m 0

h0
h
h

f (X hei ) f (X 0 )
f (X hei ) f (X 0 )

lim 1 0
,...,lim m 0

h

0
h

0
h
h

f
1 (X 0 ),..., m (X 0 )
xi
xi

Clculo III

177

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

Portanto,

f
f

f
(X 0 ) 1 (X 0 ),..., m (X 0 )

x1
x1

x1

f
f

f
(X 0 ) 1 (X 0 ),..., m (X 0 )

xn
xn
xn

Exemplo 3.3.1: Seja

f :
2

definida por

f
2x

(x, y) 2 x y , 2
x
x y 2

Exemplo 3.3.2: Seja

f : 3 2

f
(x, y , z ) (1 e x y z ,2)
x
Exemplo 3.3.2: Seja

f :
3

f
(x, y , z) (ye x , y cosxy,0)
x

. Ento
f (x, y ) (x y xy,ln(x y ))
2

definida por

definida por

f
2y

(x, y) 2 y x, 2
y
x y 2

f (x, y , z) (x e x y z ,2 x y )

f
(x, y , z) (e x y z ,1)
y

f (x, y , z ) (ye ,sinxy, z )

MATRIZ DA APLICAO LINEAR

Clculo III

ento

f
(x, y , z) (e x y z ,0)
z

f
(x , y , z ) (e x , x cosxy,0)
y

ento

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

T f (X 0 )

178

Cap. 03: Funes vetoriais

Seja

f (X 0 )

Prof. Sinvaldo Gama

a base cannica do

e1 ,...,en

f (X 0 )(ei )

. Sabemos que a i-sima coluna da matriz de

. Por outro lado, pelo Corolrio 6.2.1,

f (X 0 )(e1 ) lim
t 0

f (X 0 te1 ) f (X 0 ) f
f

(X 0 ) 1 (X 0 ),..., m (X 0 )
t
x1
x1
x1

f (X 0 )(en ) lim
t 0

e a matriz de

f (X 0 )

f (X 0 ten ) f (X 0 ) f
f

(X 0 ) 1 (X 0 ),..., m (X 0 )
t
xn
xn
xn

tem a seguinte forma:

f1
f1
(X 0 )
(X 0 )

x2
x1

f
f m
m (X 0 )
(X 0 )
x2
x1

Esta matriz

por

Jf (X 0 )

ou

mn

f (X 0 )

f1
(X 0 )
xn

f m
(X 0 )
xn

denominada matriz jacobiana de

mn

em

X0

, a qual denotaremos

. Note que

f (X 0 )(X ) Jf (X 0 ) X

Clculo III

179

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

Chamamos novamente a ateno que a existncia das derivadas parciais

portanto, a existncia da matriz jacobiana

diferenciabilidade de

no ponto

X0

Jf (X 0 )

f1 (x, y , z) x 2 y 3

tem-se que num ponto arbitrrio

Jf (X )

e,

, no suficiente para garantir a

f (x, y , z) (x y , x sinz)
2

f 2 (x, y , z) x sinz

f1
y
f 2
y

f1
z
f 2
z

so as funes coordenadas de f,

X (x, y , z)

f1
x
f 2
x

(X 0 )

Exemplo 3.3.3: Obter a matriz jacobiana da funo

Soluo: Como

fi
xi

2x
1

Exemplo 3.3.4: Obter a matriz jacobiana da funo

3y
0

cosz

f (x , y) (x 2 2 xy, y 2 xy, x y 2 )

Soluo: De modo semelhante, num ponto arbitrrio X (x, y , z ) :

Jf (X )

f1
x
f 2
x
f 3
x

f1
y
f 2
y
f 3
y

2x 2 y

y


1

2x
2 y x
2 y

CRITRIO DE DIFERENCIABILIDADE

Clculo III

180

Cap. 03: Funes vetoriais

Teorema 3.3.1: Seja

f
x1

Prof. Sinvaldo Gama

f : D n m

e so contnuas em

,...,xfn

X0

, D aberto e

, ento

X0 D

. Se existem as derivadas parciais

diferencivel em

X0

No captulo anterior chamamos ateno para o fato de que uma funo pode ser
diferencivel em um ponto, e neste ponto as derivadas parciais no serem contnuas. Da, a
seguinte definio.
Definio 3.3.2: Seja

classe

f : D n m

, D aberto, uma funo vetorial. Dizemos que

(ou continuamente diferencivel) em D, se as derivadas parciais vetoriais

forem contnuas em D, ou seja, se os elementos da matriz jacobiana de

f
x1

de

,...,xfn

so contnuos em

D.
Do Teorema 3.3.1 segue-se, pois, que se

de classe

C1

em D, ento

diferencivel em D.

SEO 3.4: A REGRA DA CADEIA


Teorema

3.4.1:

g : E m p

Im(f ) f (D) E
ento

g f

(Derivada

da

funo

composta).

Sejam

duas funes definidas nos subconjuntos abertos

. Se f diferencivel em

diferencivel em

X0

X0 D

f : D n m

e se g diferencivel em

tais que

f (X 0 ) Y0 E

Clculo III

181

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

(g f )(X 0 ) g ( f (X 0 )) f (X 0 ) g (Y0 ) f (X 0 )
Observe que

J (g f )(X 0 ) Jg (Y0 ) Jf (X 0 )

D n

E m

Y0 f (X 0 )

X0

z0 g (Y0 ) g ( f (X 0 ))

g f

Exemplo 3.3.5: Sejam

a)
b)

(g f )(2,1)

f (x, y) (x 2 y 2 , x 2 y 2 ) (u ,v)

g (u ,v) (uv,u v) (r ,s)

(g f )(x, y)

Soluo: (a) Observe que

g (u ,v) g ( f (x, y)) g f (x, y)

valores do domnio de f no contradomnio de g e neste caso,

. Obter:

(x, y)

f (x, y ) (u ,v)

, isto , a composta

g f : 2 2

g f

aplica

g (u ,v) (r ,s)

g f

Clculo III

182

Cap. 03: Funes vetoriais

No ponto

Prof. Sinvaldo Gama

(x, y) (2,1)

temos que

f (2,1) (2 2 12 ,2 2 12 ) (5,3)

g f (2,1) g ( f (2,1)) g (5,3)

Para obtermos

(g f )(2,1)

, usamos o fato de que

definida por

Jf (x, y )

u
x
v
x

Como g definida por

u f1 (x, y) x y

2
2
v f 2 (x, y) x y
2

(x, y)
(x, y)

u
y
v
y

r g1 (u ,v) uv

s g 2 (u ,v) u v

ux y
2

vx y
2

r
u
s
u

, isto ,

, temos que

e assim,

(x, y) 2 x

(x, y) 2 x

Jg (u ,v)

Como

J (g f )(2,1) Jg ( f (2,1)) Jf (2,1)

J (g f )(2,1) Jg (5,3) Jf (2,1)

Como

e assim,

2y
2 y

4
Jf (2,1)
4

2
2

, temos

(u ,v)
(u ,v)

r
v
s
v

(u ,v) v u

(u ,v) 1 1

, ento

x2 y2
1

Jg ( f (x, y))

x2 y2

e desta forma:

Clculo III

183

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

2 2 12
Jg ( f (2,1)) Jg (5,3)
1
Portanto, a derivada da composta

g f

no ponto

2 1 5 3

1 1 1

(2,1)

g (u ,v) g ( f (x, y)) g f (x, y)

ser

5 3 4
J (g f )(2,1) Jg (5,3) Jf (2,1)

1 1 4

(b) Do fato de

2 32

2 8

, segue-se que

4
0

J (g f )(x, y) Jg ( f (x, y)) Jf (x, y ) Jg (u ,v) Jf (x, y)

isto ,

(g f )(x, y)

u x2 y2

v x2 y2

Exemplo 3.3.6: Sejam

Obter:

ser

v u 2x
J (g f )(x, y) Jg (u ,v) Jf (x, y)

1 1 2 x
onde

ser dado por

(g f )(x, y)

2 y 2 x(v u) 2 y(v u)

2 y
4x
0

f (x , y) ( f1 (x, y), f 2 (x, y)) (u ,v)

g (u ,v) (g1 (u ,v),g 2 (u ,v)) (r ,s)

,
,
,e
.
s
r r s
y
x y x

Soluo: Note que

g (u ,v) g ( f (x, y)) g f (x, y)

Clculo III

, isto ,

g f (x, y) (r ,s)

184

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

(x, y)

f (x, y) (u ,v)

g (u ,v) (r ,s)

g f

A regra da cadeia nos assegura que

J (g f )(x, y) Jg ( f (x, y)) Jf (x, y) Jg (u ,v) Jf (x, y)

i. Como

ii. Como

r g1 (u ,v)
g (u ,v)
s g 2 (u ,v)

, temos que

u f1 (x, y)
f (x, y)
v f 2 (x, y)

Jg (u ,v)

, temos que

Jf (x, y)

g1
u
g 2
u

g1
v
g 2
v

f 1
x
f 2
x

f 1
y
f 2
y

r
u
s
u

r
v
s
v

u
x
v
x

u
y
v
y

Desta forma,

J (g f )(x, y) Jg (u ,v) Jf (x, y)

Mas

J (g f )(x, y)

r
u
s
x

r
y
s
y

r
u
s
u

r
v
s
v

u
x
v
x

u
y
v
y

r
u
s
u

u
x
u
x

s
u
s
u

vs
vs

us uy
vs vx

r
u
s
u

u
y
u
y

vr yv
vs yv

Com isso, tem-se que

r
x
r
y

r
u
r
u

u
x
u
y

rv
rv

v
x
v
y

Clculo III

s
x
s
y

u
x
u
y

v
x
v
y

185

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

Exemplo 3.3.7: Suponhamos que as funes

x f1 (u ,v) y f 2 (u ,v)

Soluo: Seja

z f 3 (u ,v)

f : 2 3

Observe que

composta

uma funo dada por

aplica valores do domnio de

(contido nos reais) e assim,

(u ,v)

g f : 2

so dadas por

so as funes coordenadas de

g (x, y , z ) g ( f (u ,v)) g f (u ,v)

g f

. Obter:

w
u

onde

w
v

f (u ,v) ( f1 (u ,v), f 2 (u ,v), f3 (u ,v)) (x, y , z )

, isto ,

w g (x, y , z)

g f (u ,v) w

(contido em

. Com palavras, a

) no contradomnio de g

f (u ,v) (x, y , z )

w g (x, y , z)

g f

Alm disso, a regra da cadeia nos assegura que

J (g f )(u ,v) Jg ( f (u ,v)) Jf (u ,v) Jg (x, y , z ) Jf (u ,v)

i. Como

f1 (u ,v) x

f (u ,v) f 2 (u ,v) y
f (u ,v) z
3

, temos que

Jf (u ,v)

Clculo III

f 1
u
f 2
u
f 2
u

f 1
v
f 2
v
f 2
v

x
u
y
u
z
u

x
v
y
v
z
v

186

Cap. 03: Funes vetoriais

ii. Como

Prof. Sinvaldo Gama

w g (x, y , z)

, temos que

f 1
u
f 2
u
f 2
u

Jg (x, y , z )

f 1
v
f 2
v
f 2
v

x
u
y
u
z
u

x
u
y
u
z
u

x
v
y
v
z
v

Desta forma,

J (g f )(u ,v) Jg (x, y , z ) Jf (u ,v)

Mas

J (g f )(x, y)

r
u
s
x

r
y
s
y

Exemplo 3.3.8: Seja

Observe que

r
x
r
y

r
u
r
u

u
x
u
y

rv
rv

w ln(x y z )

f : 2 3

. Com isso, tem-se que

v
x
v
y

, onde

s
x
s
y

s
u
s
u

u
x
u
y

x uv

y ln(u v)
z sinuv

w
w
( ,1)
( ,1)
u
v
Soluo: Seja

x
v
y
v
z
v

uma funo dada por

g (x, y , z ) g ( f (u ,v)) g f (u ,v)

Clculo III

vs
vs

v
x
v
y

. Demonstre que

f (u ,v) ( f1 (u ,v), f 2 (u ,v), f3 (u ,v)) (x, y , z )

, isto ,

g f (u ,v) w

. Em palavras: a

187

Cap. 03: Funes vetoriais

composta

g f

Prof. Sinvaldo Gama

aplica valores do domnio de

(contido nos reais) e assim,

g f : 2

(contido em

) no contradomnio de g

. Pelo exemplo anterior, podemos concluir que

w w x w y w z

u x u y u z u

Deste modo, teremos:

1
(u ,v)
(v)
(v cosuv)


u
x yz
x y z uv x y z
3
1

v cosuv
v
x yz
uv

3
1

v(1 cosuv)

uv ln(u v) sinuv
uv

No ponto

( ,1)

teremos, pois:

w
3
1
3

1
( ,1)
1 cos

u
ln(1 ) sin
1 ln(1 ) 1

Pelo exemplo anterior, podemos concluir que


w

1
(u ,v)
(u)
(u cosuv)


v
x yz
x y z uv x y z
3
1

u cosuv
u
x yz
uv

3
1

u(1 cosuv)

uv ln(u v) sinuv
uv

No ponto

( ,1)

, portanto:

Clculo III

188

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

w
3
1
3

1
( ,1)
cos

u
ln(1 ) sin
1 ln(1 ) 1

Com isso,

w
w
( ,1)
( ,1)
u
v

SEO 3.5: O TEOREMA DA FUNO INVERSA


Teorema 3.5.1: (Teorema da funo inversa). Seja D um subconjunto aberto do

f : D n

uma funo continuamente diferencivel e

f (X 0 ) : n n

de

n
i.
ii.

iii.

, contendo

X0 D

. Suponhamos que a derivada

seja uma aplicao linear inversvel. Ento existe uma vizinhana aberta V

X0

f (V ) U

, tal que

aberto;

f , quando restrita a V, tem uma inversa,

( f 1 )(Y0 ) f (X 0 ) 1

Exemplo 3.5.1: Seja

, onde

f : 2 3

Y0 f (X 0 )

definida por

inversvel numa vizinhana do ponto

X 0 (1,2)

Clculo III

:U V

, continuamente diferencivel;

f (x, y) (x 2 y 2 ,2 x 3 xy)

. Mostre que f

189

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

Soluo: Como as funes coordenadas de f so polinmios, f continuamente diferencivel


em

. Por outro lado, como

2y
Jf (x, y)

2 3 y 3x
2x

ento

2 4
Jf (1,2)

8 3

, e assim

Portanto, f inversvel em alguma vizinhana de

Nota: Seja

detJf (1,2) 6 32 0

X 0 (1,2)

f : n n

X Y f (X )
Escrevendo os vetores da equao

Y f (X )

em termos de suas coordenadas,

chegamos seguinte interpretao da concluso do teorema da funo inversa:


,

Y (y1 ,...,yn ) f (X ) ( f1 (X ),...,f n (X ))


Da,

onde

X (x1 ,...,xn )

(I)

f1 (x1 ,...,xn ) y1
f (x ,...,x ) y
2 1
n
2

f m (x1 ,...,xn ) ym

Se

inversvel e se

g f 1

, ento

(x1 ,...,xn ) X g (Y ) (g1 (Y ),...,g n (Y ))

Clculo III

190

Cap. 03: Funes vetoriais

Prof. Sinvaldo Gama

Portanto,

g1 (y1 ,...,yn ) x1
g (y ,...,y ) x
2 1
n
2

g m (y1 ,...,yn ) xm

Isso mostra que o sistema (I) acima, de n equaes e n incgnitas

resolvido em termos de

se restringirmos

y1 ,...,yn

suficientemente pequenas de

X0

Y0

X g (Y )

x1 ,...,xn

Y f (X )

, pode ser

a vizinhanas

. Pelo teorema da funo inversa, as solues so

univocamente determinadas e continuamente diferenciveis.


Exemplo 3.5.2: Mostre que o sistema

termos de u e v (isto ,

ainda

x
u

x
v

y
u

,e

y
v

x F (u ,v)

no ponto

(2,2)

x4 y x u
f (x, y )
3
x y v

y G(u ,v)

pode ser resolvido para x e y em

) numa vizinhana do ponto

. Determine

Soluo: O sistema de equaes dado define uma funo

f (x, y) (x 4 y x, x y 3 ) (u ,v)

(1,1)

. Temos ento,

4 yx 3 1 x 4
Jf (x, y)

1
3y2

Clculo III

f (1,1) (2,2)

f : 2 2

dada por

5 1
Jf (1,1)

1 3

191

Cap. 03: Funes vetoriais

Como

Prof. Sinvaldo Gama

detJf (1,1) 15 1 14 0

f 1 (u ,v) (x, y)

, ento f inversvel numa vizinhana de

(1,1)

. A inversa

dada por equaes da forma

x F (u ,v)

y G(u ,v)
e est definida numa vizinhana do ponto

( f 1 )(2,2)

(2,2)

. Pelo teorema da funo inversa, a derivada

dada por

5 1
1 3

Portanto, no ponto

(2,2)

3
14
1
14

141

5
14

x
u
y
u

x
v
y
v

temos:

;
x
1

v
14
;
.
y
1
y 5

u
14
v 14

x 3

u 14

Exemplo 3.5.3: Considere a funo

cosy x sin y
Jf (x, y)

sin y x cosy

f (x, y) (x cosy , x sin y)

para a qual

detJf (x, y) x cos2 y x sin2 y x 0

Clculo III

192

Cap. 03: Funes vetoriais

Para que

pois

Prof. Sinvaldo Gama

seja inversvel,

f (x,0) f (x,2 ) (x,0)

deve ser diferente de zero. Note que

. Assim, precisamos restringir o domnio de

no inversvel

para que

seja

inversvel.

Clculo III

193

Vous aimerez peut-être aussi