CENTRO DE TECNOLOGIA
CURSO DE ENGENHARIA QUMICA
Macei-AL
Outubro/2007
Sumrio
( : n )
.....3
( f : n )
CAPTULO 2 FUNES REAIS DE VRIAS VARIVEIS REAIS
..40
....................................................103
CAPTULO 1
FUNES VETORIAIS DE UMA VARIVEL REAL
( : n )
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
f 2 (x) 1 x 2 , 0 x 1
f1 (x) 1 x 2
f 2 (x) 1 x 2
x 1
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
(t ) (1 (t ), 2 (t ), 3 (t ))
definida por
.
z
(ti ) (1 (ti ), 2 (ti ), 3 (ti ))
(ti 1 )
(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
: 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,
Clculo III
. A palavra
Para cada
tI
(t ) 1 (t ), 2 (t ),..., n (t )
, o 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
f : a,b
f (t )
(t , f (t ))
: 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
Em palavras, a imagem de
tI
: 0,2 2
t (t ) (cost ,sint ) (x, y)
(t )
x 2 y 2 cos2 t sin2 t 1
Observe que
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
0,2
: 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
t (t ) P tu
Q (x, y)
dado um ponto
P tu Q
tal que
x0
u (a ,b)
y0
P (0)
Observe que
funes coordenadas de
, 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
(t ) (a cost ,b sint )
: 3
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)
(t ) (t 2 )
y
e
dos pontos
so iguais
t 2 ) cos(
t)
cos(
sin(t 2 ) sin(t )
Clculo III
(t )
Portanto,
(t 2 )
e
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
P (0,0)
(0,a)
e centro
um arco
AP
cuja medida
OA
AP
e o arco
tm o mesmo comprimento
(0,a)
rotacionando
. Q
CQ a cos
PQ a sin
e
P (x, y)
Se
, ento
x OA PQ a a sin a( sin )
Portanto, a curva
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
no plano xy a circunferncia
x2 y2 1 z 0
,
.
Desta forma,
x cost
y sint
0 t 2
para
yz2
z 2 y 2 sint
equao deste plano, isto , teremos:
, do que resulta,
t 0,2
t0
. Definimos o
lim i (t )
t t0
i 1,...,n
.
t t0
. Ento,
i.
t t 0
t t 0
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
lim (t ) lim (t )
t t 0
t t 0
v.
.
t0 (a ,b)
: (a,b) n
contnua em
se
lim (t ) (t0 )
t t 0
e mostraremos como
t0 (a,b)
: (a ,b) n
dita diferencivel em
(t0 h) (t0 )
h0
h
lim
(t0 )
que denotaremos por
.
t (a ,b)
, dizemos que
diferencivel no
: (a ,b) n
t (t )
Se
( )
(a ,b)
tambm diferencivel em
, chamada
(a,b)
C
Clculo III
12
a n-sima derivada de
de classe
(a ,b)
Cn
. Dizemos que
para todo n.
(t ) (t ,t 2 )
. Ento
(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
t (t ) (1 (t ), 2 (t ),...,
n (t ))
1(t 0 ),...,
n (t0 )
t0 (a ,b)
diferencivel em
. Alm disso,
1(t 0 ),...,
n (t0 )
Reciprocamente, se existem as derivadas
, ento
diferencivel em
t0
Clculo III
13
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
(t0 h) (t0 )
lim
h 0
h
(t0 )
, : (a ,b) n
f : (a,b)
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
: (a ,b) n
(a,b)
(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
(t ) k t (a,b)
Prova: Parte 1. Suponhamos que
. Ento,
(t ) k 2
(t ) (t ) k 2
e assim
(t ) (t ) (t ) (t ) 0 2 (t ) (t ) 0
(t ) (t )
e da,
Parte 2. Exerccio.
(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
Clculo III
15
(t )
(t )
(t )
Pergunta: Toda curva parametrizada cujo vetor posio
t
(t0 h) (t0 )
h
e analisemos o seu comportamento quando
h0
(t0 h) (t0 )
h
(t0 )
(t0 )
(t0 h)
Clculo III
16
mesmo sentido se
O vetor
1
h
h0
(t0 h) (t0 )
paralelo ao vetor
. Estes tero o
( (t 0 h) (t 0 ))
(t0 )
no ponto
(t 0 )
(t 0 )
, quando
h0
por
h0
, por sua vez, tem uma direo que dever tender para o
( (t 0 h) (t 0 ))
O vetor
1
h
e com direo de
(t0 )
(t0 )
(t 0 )
(t 0 )
(t0 )
e ter equao
paramtrica:
X (t ) (t0 ) t (t0 )
O vetor tangente
(t0 )
(t 0 )
, como
(t ) P tu u (0,0) t
(t ) u
para todo
Clculo III
. Temos que
17
(t )
P
u
x
Desta forma, a tangente reta em cada um de seus pontos coincide com a prpria reta
(t )
(t )
(t ) r
para todo
e raio
, ento
(t )
(t )
(t )
r
(t )
(t )
lhe perpendicular
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
e assim
(0) (0,1,1)
(0) (0,1,1)
X (t ) (1,0,0) t (0,1,1)
(t ) 0
(t )
(t )
t0
i.
ii.
para o qual
(t 0 ) 0
: (a ,b) n
diferencivel em
(t ) 0,t ,t (a,b)
(a,b)
dita regular se
(t )
tempo, ento conceitos fsicos como vetor velocidade, velocidade escalar e vetor acelerao
podem ser definidos em termos das derivadas de
Clculo III
19
A (t ) z
B (t h)
BA
(t )
v(t )
sendo
v(t ) lim
t 0
onde
Como
s (t h) (t )
para
s
t
t (t h) t h
pequeno, ento
Clculo III
20
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 )
(t )
(t )
denominado vetor
posio com respeito ao tempo, que precisamente o que entendemos por velocidade. Da
mesma forma,
(t )
, onde P e
so vetores constantes e
e vetor acelerao:
(t ) 20ut 3
u0
. Vemos que
(t ) P t 5u
(t )
(t )
(t ) 5ut 4
Clculo III
21
( ) (a cos ,a sin )
onde
t a 0 0 0 t 2
y
( )
t0
(a,0)
d
dt
, constante.
Temos assim:
Vetor velocidade:
Vetor acelerao:
(t ) (a sin ,a cos )
,e
Neste caso, o vetor acelerao paralelo ao vetor posio, mas de sentido contrrio, e
como
(t )
perpendicular a
(t )
, pois
(t )
y
( )
. ( )
( )
Clculo III
22
(t )
(t )
(t )
denominada acelerao
centrpeta. A reao de mesma intensidade e sentido oposto (devido a 3 Lei de Newton), isto
, a fora
(t )
(t ) 0
, o vetor
T(t )
(t )
(t )
Clculo III
23
z
(t )
T(t )
(t )
y
x
Definio 1.6.2: Se
T(t ) 1
T(t ) 0
, ento
T(t ) T(t )
, o vetor
T(t )
T(t )
N(t )
T(t )
N(t )
(t )
T(t )
x
Observe que
T(t ) N(t )
T (t )
N (t )
denominado plano
osculador da curva.
Clculo III
24
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
(t )
( (t ) P) n 0
(t ) n 0
Clculo III
25
Portanto,
T(t ) n 0,t
T(t )
T(t ) n 0,t
N(t )
. Assim,
T(t )
N(t )
(t )
definem
, tal plano
B(t )
definido por
B(t )
(t )
. .
.
N(t )
T(t )
T(t )
(t )
Note que
B(t )
1 1 1 1
2
,
e formam, nesta ordem, um triedro positivamente
T N B
26
vetor de
. 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 )
(t )
da forma
Se
T(t ) 0
, ento
Clculo III
27
Componente normal
Componente tangencial
(t )
T(t )
N(t )
T(t )
k1 T(t )
(t )
k 2 T(t )
(t )
vetores
v(t ) T(t )
T(t )
N(t )
(t )
. Na figura,
k1 v(t )
k 2 v(t ) T(t )
. Os
partio de
: (a,b) 3
a,b ti 1 ,ti
os subintervalos de
Clculo III
a,b
a t0 t1 ... t n b
ti ti ti 1
uma
o comprimento do
28
subintervalo
ti 1 ,ti
(ti )
(a,b)
(ti ) (ti1 )
(ti )
Clculo III
29
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
ti 1 ,ti
, existem
t1 t 2
t3
tais
que:
Logo,
Sn
i 1
t1 t 2
t3
no so
f : a ,b
t ti 1 ,ti
, ento
f (t )dt lim f (t )t
a
i 1
Clculo III
30
entre
t0 a
tn b
possvel mostrar
l c( )
(t) dt
a
se
(t )
contnua.
(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
t0 t t0 2
. Temos
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)
contida em
f : a,b
,
.
(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
l c( f )
1 ( f (x))2 dx
que a frmula, j conhecida por ns, do estudo das funes reais de uma varivel real.
: a,b 3
s (t )
(u) du
at b
correspondente ao intervalo
Clculo III
aut
33
a,b
s
t
Observe que
(a) 0
contradomnio, o intervalo
0,l
(b) l
a,b
. Em notao funcional,
: a,b 0,l
t
t (t )
(u) du
a
Clculo III
34
Como
(t ) (t ) 0,t
[pois
a,b
(t ) 0
uma funo
r 1 : 0,l a,b
r (s) t
A funo composta
comprimento de arco de
h(l ) (r (l )) (b)
Clculo III
0st
descreve,
, representa o
35
i.
ii.
h(s) 1
, para todo
h(s)
s 0,l
0, s
s.
Clculo III
36
s (t )
1
1
1
r (s)
(t ) (t )
(r (s))
Logo,
h(s) (r (s))
1
(r (s))
e da,
h(s) 1
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)
) numa curva de
(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
Da,
s
t r (s)
a
. Temos ento,
s
s
s
a cos ,a sin
a
a
a
Observe que
h(s) 1
e que o intervalo
domnio da funo
0,2a
(crculo de raio
tem o mesmo
).
3
1
(t ) t , t ,
2
2
3
(t ) 1, ,0
2
s (t )
Assim,
2
t r (s)
s
13
. 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
regular
, ento
(t ) h(s)
o comprimento de
, onde
s (t ) ta (u ) du
para
at b
0sl
, onde
ds
(t ) h(s) h(s) v(t )
dt
Assim,
(t )
h(s)
v(t )
ou seja,
onde
v(t ) (u )
ds
T(t ) T(s) T(s) v(t )
dt
Da,
Como
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)
T(t )
T(s)
39
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.
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
T(s1 )
T(s2 )
T(s3 )
T(s)
em
de variao de
T(s5 )
T(s4 )
T(s)
, no ponto A. Portanto, a
: a ,b n
k (s)
no ponto
(s)
como sendo
k (s) T(s)
Clculo III
41
O vetor
T(s)
k (t )
T(t ) T(s)
. Se
dT dT dt
1
T (s)
T(t )
ds
dt ds
v(t )
Portanto,
T(t )
T(s)
v(t )
(t ) u
Portanto,
T(t ) 0
. Logo,
k (t ) 0
dada por
T(s)
k (t )
v(t )
isto ,
T(t )
k (t )
v(t )
,
. Temos
(t ) P tu u 0
(t )
u
T(t )
(t )
u
para todo t.
,
. Temos
(t ) (a cost , a sint ) a 0
Clculo III
42
(t ) (a sin,a cost )
Da,
v(t ) (t ) a
. Assim,
T(t ) 1
k (t ) 1 a
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
k (t ) 0
k (t )
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
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
curvatura
k (t )
v(t ) (t )
, ento
Como
k (t ) T(t ) v(t )
Portanto,
, ento,
T(t ) k (t ) v(t )
Clculo III
44
Teorema 1.9.2: Se
(t )
(t )
(t ) (t )
k (t )
v 3 (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 )
. Contudo,
Clculo III
45
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.
, plana no intervalo
a,b
b (tn )
(t )
a,b
e seus
).
B(s)
Clculo III
B(s)
46
B(s) 0
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
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)
i.
Como
B(s) 1
Portanto,
ii.
Como
B(s)
, ento
B(s)
perpendicular a
indica que
B(s)
B(s)
, segue-se que
perpendicular a
B(s)
T(s)
j que
, para
T(s)
N(s)
T(s) N(s) 0
N(s)
(s)
, o que
, isto ,
Clculo III
paralelo a
[Teorema 1.3.3].
B(s)
(iii)
N(s)
, obtemos
47
Analogamente, se
vetor
N(t )
(s)
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
Como
(t )
(t )
v(t )
em t.
,
,
. Temos que
(t ) (a cost ,a sint ,bt ) a 0 b 0
Clculo III
48
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,
a b
a b
B(t )
a 2 b2
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
(t )
(t )
v(t )
a b
2
Clculo III
a b
2
b
a b2
2
49
i.
ii.
iii.
(ii) Sendo
e toro
(s)
, ento
N a T b N c B
uma base de
Assim,
T(s) T(s)
N(s)
T(s)
k (s)
{T,N,B}
: (a,b) 3
k (s) 0
,
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
NT 0
N T N T 0 N T N T N (k N) k
Clculo III
, obtemos:
50
Portanto,
a k
Finalmente, como
NB 0
N(s) 1
, ento
N(s) N(s) 0
b0
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
velocidade escalar
i.
ii.
iii.
: (a,b) 3
v(t ) (t )
t r (s)
(t )
, onde
, toro
, ento
T(s) T(t )
k (t ) 0
. Da,
Clculo III
51
dT
dt
1
1
T(t ) T(t )
T(t ) N(t )
k (t ) N(t )
ds
ds
v(t )
v(t )
Portanto,
(iii) Como
, 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
N a T b N c B
N T a
Como
NT 0
N(t ) 1
Finalmente, sendo
. Segue-se que
N N b
N T N T 0
NB 0
N B c
N N 0
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
e, portanto,
52
Da,
N k v T v B
,
e
.
Teorema 1.10.3: Se
: (a ,b) 3
(t ) (t ) (t )
(t )
(t ) (t )
; se
quando
com curvatura
(s) 0
k (s) 0
: (a,b) 3
, para todo s.
que, neste caso, em cada ponto o plano osculador coincide com o plano da curva. Como o
Clculo III
53
vetor
se que
B(s)
B(s) 0
forma,
B(s)
. Por conseguinte,
,
.
(s) 0 s
,
. Isto significa que
e desta
(s) 0 s
B(s) 0
,
, e ortogonal a
. Precisamos, pois, provar que
(c) a c b
B(s)
Temos que,
, pois
e est
(s) T(s)
f (c) 0
, ento,
f (s) 0
: (a,b) 3
k 0
. Ento
Clculo III
1
k
54
(s)
ac
1
k
, para todo
s , isto ,
1
(s) c
k
onde
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
, pois
,
1
(s) T(s) (k (s) T(s))
k
Clculo III
plana, ento
55
Portanto, a curva
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
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.
z 3 sin(5s )
, segue-se que
z 34 x
x 4 sin(5s )
Temos que
4 s
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
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
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
CAPTULO 2
( f : n )
, 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
da base e a altura
V r h
2
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
funo
f :D
X y f (X )
Clculo III
58
Visto que
f (x, y)
X (x1 , x2 ,...,xn )
em vez de
f (x1 , x2 )
Df
, 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.
definido por
subconjunto do
, definido por
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
f : D n
sobre os quais
constante.
.O
conjunto
S k {X D; f (X ) k}
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
Observe que se
grfico de
f : D 2
com os planos
zk
, os conjuntos de nvel de
so as intersees do
centro
X0
X 0 n
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
X0
X0
X0
X0
e raio r o conjunto
B X 0 ;r {X 0 n ; X X 0 r}
Clculo III
61
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
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 )
X0 D
existe
contida em D.
r 0
X0
Clculo III
62
D
r
B(X 0 ;r )
X0
interior a um subconjunto D do
centrada em
X0 D
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
X0
se
X0
Ex.:
y
B
X 0 (0, y ),y 0
A {(x , y) 2 ; x 0, y 0}
B {(x, y) 2 ; x 0}
X0
possivelmente em
X0 D
. Dizemos que
tem limite
em torno do ponto
X0
escrevemos
lim f (X ) L
X X0
Clculo III
64
, ento
0 X X0 , X D
X0
e de raio
f (X ) L
B (X 0 ; r ) D
tal que
Se
X B(X 0 ;r ); X X 0
, ento
f (X ) B(L; ) (L , L )
X0
X B (X 0 ; r )
, centrada em
para os quais
f (X ) L
X0
, existem pontos
D
r
X0
Clculo III
65
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
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
X X0
X X0
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
, 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
Grosso modo, uma funo contnua aquela cujos valores no sofrem variaes
bruscas, isto , se X est prximo de
X0
ento
f (X )
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
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 )
contnuas em
desde que
X0 D
g (X 0 ) 0
. Se
X0
f ,g : D
as funes
so funes
f g, f g
f/g
Clculo III
67
Se
f :D
f (X 0 ) y 0 I
, 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
em todo ponto de
Teorema 2.2.4: Se
i.
ii.
contnuo
em
T :
T (X ) k X
a base cannica de
X x1 e1 x2 e2 xn en
. Se
X (x1 , x2 ,...,xn )
, ento
Como
xi X , i 1,...,n
Fazendo
(ii)
, ento
, obtemos
T (X ) T (X 0 ) T (X X 0 ) k X X 0
T (X ) k X
, tome
Clculo III
69
P1 : 2
X P1 (X ) x
P2 : 2
X P2 (X ) y
so contnuas em
, onde
X (x, y)
Pi : n
X Pi (X ) xi
so contnuas em
, onde
S : 2
X S (X ) x y
e
P : 2
X P(X ) xy
so contnuas em
Clculo III
70
P P1 P2
(S P1 P2 )
. Quanto
precisamos do
, definida em
, isto ,
f : D 2
(x, y) z f (x, y)
(x) f (x, y0 )
'(x0 ) lim
h0
(x)
no ponto
y y0
x0
, isto ,
(x0 h) (x0 )
f (x0 h, y0 ) f (x0 , y0 )
lim
h
0
h
h
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
O domnio de
, ao restringirmos a varivel
y y0
? Resposta:
na figura abaixo).
AB
y
D
X0
y y0
x0
grfico de
grfico de
, ao restringirmos a varivel
grfico da funo
y y0
y y0
? Resposta: O
Clculo III
72
y y0
Clculo III
73
expresso
X 0 he1
X 0 he1 h
paralela ao vetor
e1
X0
y
g (X ) X 0 he1
X0
y0
e1
x0
f (X 0 he1 ) f (X 0 )
f
(X 0 ) lim
h
0
x
h
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
Notaes:
no ponto
f
'(x0 ) (x0 , y0 ) f y (x0 , y0 ) D y f (x0 , y0 ) D2 f (x0 , y0 )
y
domnio de
, ao restringirmos a varivel
X 0 (x0 , y0 )
x x0
? Resposta: O
na figura abaixo).
MN
y
D
y0
X0
x x0
N
grfico de
grfico de
, ao restringirmos a varivel
grfico da funo
Clculo III
x x0
x x0
? Resposta: O
o grfico da funo
75
y
x x0
x
(x)
Clculo III
76
expresso
X 0 he 2 h
paralela ao vetor
X 0 he 2
e2
, onde e1 = (0,1). A
X0
y
h(X ) X 0 he2
y0
X0
e2
0
x0
isto , calcular
f
y
X0
(X 0 )
e2
f
x
(x0 , y0 )
Clculo III
o declive, no ponto
(x0 , y0 , f (x0 , y0 ))
, da
77
curva
f
y
(x0 , y0 )
o declive, no ponto
(x0 , y0 , f (x0 , y0 ))
, da reta tangente
PLANO TANGENTE
Definio 2.3.3: Definimos o plano tangente ao grfico de
curvas
(x0 )
f
e
no ponto
(y0 )
(x0 , y0 , f (x0 , y0 ))
, respectivamente, s
neste ponto.
x0
y0
X 0 (x0 , y0 )
78
Sejam
. Os vetores tangentes a
so, respectivamente:
e
Agora, seja
(x x0 ) f x (X 0 ) (y y0 ) f y (X 0 ) (z f (X 0 )) 0
, para
, ou seja,
X 0 (x0 , y0 )
xy
;
f (x, y) x y 2
0 ;
(0,0)
mas
(x, y) (0,0)
(x, y) (0,0)
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
contnua em
(0,0)
f (x,0) 0
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.
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
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
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:
f xx 80 x 3 y 3
Note que
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
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 ,
2 f
yx
f xy f yx
Clculo III
81
f :D
f xy
so contnuas em D. Ento
f yx
f xy
f
f
f yx
x y
y x
X0 D
. Seja
f (D) I
f : D n
:I
. Ento
f :D
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
Fazendo
y y0
, tem-se
(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
e2 (0,1)
z f (x, y)
e1 (1,0)
fy
, ento
fx
mede a taxa de
Clculo III
83
f : D n
X0
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
(t ) X 0 tu, a t b
esteja contida em D.
f
Clculo III
84
Seja
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
f (x, y )
Seja
X 0 (0,0) u (a,b) 2
xy2
;
x2 y4
0 ;
(x, y ) (0,0)
(x, y ) (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
Se
a0
, 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
no contnua em
(0,0)
x y2
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
Clculo III
86
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
f (X )
f (X )
X0
, na
decresce.
Clculo III
87
DIREFENCIABILIDADE EM
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)
definida por
Clculo III
88
f (x0 h) f (x0 )
r (h)
a
h
Segue-se que,
lim r (h) 0
onde
a f (x0 )
h 0
hr (h) R(h)
, obtemos
R(h)
r (h)
h
ou equivalentemente,
R(h)
lim
0
h0
h
onde
R(h)
0
h 0 h
lim
de
. Assim,
em so da forma
T (x) T (1 x) x T (1) b x
Clculo III
89
onde
b T (1)
uma constante real e determina T, sendo nica para cada aplicao linear de
ah
x T (x) ax
onde
a f (x0 )
em
ax
x0
no como um
T :
diferencivel em
, dada por
T (x) ax
x0
, tal que
onde
R(h)
lim
0
h 0 h
f (x0 )
T (x) ax
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
Clculo III
90
DIREFENCIABILIDADE EM
em
X0
f :D
n
, 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
R(H ) (H ) H
R (H )
H
(H )
, donde
h0
f (X 0 )
X0
, que
, isto ,
T f (X 0 ) : n
Clculo III
91
X y f (X 0 )(X )
X (x1 , x2 ,...,xn )
e1 ,e2 ,...,en
ento
X0
X0
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
H 0
lim T (H ) T (0) 0
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
parciais em
X0
T f '(X 0 )
X0
R(H )
f (X 0 H ) f (X 0 ) T (H )
lim
lim
0
H 0 H
H 0
H
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
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
lim
t 0
j que
lim (tX ) 0
f (X 0 tX ) f (X 0 )
T (X ) 0 T (X )
t
t 0
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.
existem e
f '(X 0 )
X0
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
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
f
f
(X 0 )
(X 0 )
(X 0 )
x2
xn
x1
1 n
em
X0
, portanto,
Conclui-se, portanto, do Corolrio acima, que para provar que uma funo f
diferencivel em
X0
f (X 0 H ) f (X 0 ) T (H )
lim
0
H 0
H
X0
X0
e que
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 )
, ento
Clculo III
95
f (X 0 )(u ) u1
f
f
f
(X 0 ) u n
(X 0 )
(X 0 )
(X 0 ) u
x1
xn
xn
x1
f (X 0 tu) f (X 0 ) f
f (X 0 )(u ) lim
(X 0 )
t 0
t
u
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
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
f
x1
(X 0 ),...,xfn (X 0 )
f :D
n
e so contnuas em
, D aberto e
X0
f :D
n
X0 D
, ento f diferencivel em
X0
f
x1
(X 0 ),...,xfn (X 0 )
em D ou
existem e so
contnuas em D.
Clculo III
96
de classe
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 )
f (X 0 H ) f (X 0 ) f (X 0 )(H )
Portanto,
R(H )
lim
0
H 0 H
pequeno,
X0
.
A figura abaixo ilustra este fato para o caso de funes de uma varivel.
Clculo III
97
f (x0 h)
f (x0 )
Note que
x0 h
x0
(x0 h) x0
h
No caso limite,
h 0
f (x0 h) f (x0 )
f (x0 )
h
numa vizinhana de .
x0
1,012
Soluo: Seja
f (x) x
. Temos
f (x)
. Assim:
2 x
Clculo III
ln(1,0012)
.
212
200
98
Soluo: Seja
f (x) ln x
. Temos assim
e deste modo:
1
f (x)
x
.
(4,035) (3,935)
2
. 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
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
f
f
f (X 0 )
(X 0 ), (X 0 ),..., (X 0 )
x2
xn
x1
denominado gradiente de
em
X0
X0
. O vetor
T (X ) f (X 0 )(X ) f (X 0 ) X
em
X0
dada por
f (X )
onde
de derivao da composta
parametrizada
: I n
f :n
f ( (t ))
, de uma funo
f :D
n
termos do gradiente de f.
Clculo III
100
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
y0 f (X 0 ) f ( (
t0
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 )
, 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
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
h
h X
h
X
h
X
Portanto, quando
h0
F (t0 ) f (X 0 ) (t0 )
. Isto ,
Observao: Fazendo
, ento
Clculo III
102
f
f ( (t ))
( (t )),..., ( (t ))
xn
x1
d1
d
(t )
(t ),..., n (t )
dt
dt
dt
x1 dt
xn dt
F (t ) f (x1 ,...,xn )
com
x1 1 (t ),...,xn n (t )
dF
f dx1
f dxn
dt
x1 dt
xn dt
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
. Verifique que:
f
1
dF
dF
(x, y) cos
(r , ) sin
(r , )
y
r
d
dr
Soluo: Considerando
constante, obtemos:
Clculo III
103
dF
dx
dy
fx
fy
f x cos f y sin
dr
dr
dr
fx
fy
obtemos:
1
dF
dF
f y cos
sin
r
d
dr
z f (x, y)
(a) Calcule
z(t )
(b)
C2
, mas
f (1,2) 2
,
(t ) (t 2 ,3t 1, z (t )) t
ento
de classe
f x (1,2) 3
f y (1,2) 4
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,
Clculo III
104
Como
(1) (2,3,18)
no ponto
(1)
x u tan1 (v)
Soluo: Temos
y uv
z :2
, determine
z
u
, onde
z(x, y) 3 x 2 y 2
(1,1)
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
Desta maneira,
Logo,
(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
t2
, calcule
h(t ) (cos(
t ))
Soluo: Tomemos
x cos(
t)
y t
, onde
h(t ) f (x , y)
f (x, y ) x
dh
dt 4
t 4
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
Sendo
4 4
y0 y
16
, ento
dy
2
dt 4
2
4
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
dh 2
dt 4
2 2
2
16
2 2 2 2
ln
2
2
32
2
1
16
f (X ) k
k Im(f )
curva de nvel e se
f :D
3
f :D
2
, o conjunto S se chama
Clculo III
107
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
X0
X0
.
v
..
X0
(t0 )
(t 0 )
X0 D
se
f : D n
f (X 0 ) 0
. 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
iii.
O vetor gradiente de f em
que contm
X0
X0
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 )
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
: (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)
f (X 0 )
f ( (t 0 )) k
normal em
X0
(t0 ) v
X0
. Portanto,
normal a S em
k Im(f )
df ( (t ))
0
f ( (t0 )) (t0 ) f (X 0 ) v
dt t t0
Desta forma,
f (X 0 )
, por conseguinte,
f (x , y ) x 2 y
f
u
X0
(1,1)
f (X 0 )
, normal
esse valor.
Clculo III
110
f (x, y) (2 xy, x )
2
f (1,1) (2,1)
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)
Soluo: Como
.
(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 )
, pois:
(1,1, 2 )
ou seja,
2(x 1) 2(y 1) 2 2 (z 2 ) 0
Clculo III
111
dada na forma
y f (x)
F (x, y) 0
2x 3 y 1 0
x2 y 2 9 0
3 x 2 2 y 2 12 0
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)
de onde se obtm
Clculo III
112
x0
y0
, ao passo que
x2 y 2 1 0
F (x, y) 0
x2 y2 0
F (x, y) 0
define a funo
y f (x)
ou a funo
x g (y)
, e,
F (x, y) 0
frmula para
f (x)
g (y)
y f (x)
ou
x g (y)
geral, onde o nmero de variveis qualquer. Este o teorema das funes implcitas.
Definio 2.9.1: A funo
f :I
x
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
xI
F (x, y) 0
se
Clculo III
113
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
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
F (x, y) x sin(xy) e
x y
x sin(x f (x)) e
x f (x )
1 0
y f (x)
1 0
tal que
F : 2
Se considerarmos que
F (x, y) 0
z F (x, y)
Clculo III
(a,b)
, ento a equao
114
Clculo III
115
Na figura acima, evidente que para x prximo ao ponto a existe uma funo
y f (x)
que satisfaz
F (x, f (x)) 0
(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
que satisfaz
grfico de
F (g (y), y) 0
F (x, y) 0
(a,b)
F (x, f (x)) 0
que satisfaz
F (x, y) 0
satisfaa
x a
(a,b)
x g (y)
y f (x)
F (g (y), y) 0
x a
x g (y)
que
y f (x)
x g (y)
que satisfaz
F (g (y), y) 0
. O teorema
Clculo III
116
Seja
(a,b) D
tal que
F : D 2
F (x, y) 0
i.
ii.
iii.
f (a) b
f :I
F
y
(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))
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
Observao: Se
F (x , y) y 3
F
x
(a,b) 0
ou
C
f (x) 0
F (x, f (x)) 0
Soluo:
(a,b) 0
, ento F de classe
F (x, y) 0
F
y
F (1,0) 0
F
x
(1,0) 0
F
y
z F (x, y)
(1,0) 0
. Entretanto a
F (x, f (x)) 0
y f (x)
Considere
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
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
f (1) 1
ii.
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
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
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)
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
y f (x)
Clculo III
(1,1)
F (x, y) 0
e obtenha
f (1)
define
119
Soluo: (1)
F (1,1) 1 3 4 0
y f (x)
; (2)
F
y
(x, y) x 2 9 y 2 x 4
F
y
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
para
. Portanto,
tem-se
z 8
(1,2,8)
4x2 y2 8
4 x2 y 2 8
(1,2,8)
2
1
Clculo III
120
funo
F
y
y f (x)
(x , y) 2 y
F (x, f (x)) 0
F (x , y) 4 x 2 y 2 8
F
y
(1,2) 4 0
f (x) 28 xy
? Obtenha
Soluo: Temos
G(x, y) 3
G
y
f (x)
. De modo que
y f (x)
(1,2)
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)
F (x, y ) G(x, y) 3 0
f (x)
F
x
F
y
onde
(x, y) 2
Considerando
tal que
G(x, y) x y 3xy 3
3
F (1,2) 4 4 8 0
y f (x)
x y2
(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
Clculo III
. Seja
uma funo
(a ,b,c) D
121
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
f :V
F
y
F
x
(1,2)
(x, y) B
F
z
f :B
f continuamente diferencivel e
f
(x, y)
x
no ponto
iii.
F
z
(a,b)
f (a,b) c
, mas
z f (x, y) (x, y) V
. Temos ento,
tal que
f (1,2) 3
F (1,2,3) 2 6 3 11 0
V 2
contendo o ponto
F (x, y , z ) xy yz xz 11
. Isto
Clculo III
122
Observe que
z f (x, y)
aquela em que
sendo
(1,2,3)
F (x, y , z) 0
. Como o
tangente em
(1,2,3)
. O grfico de
F (x, y , z ) xy yz xz 11
, precisamente
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)
ser
isto ,
5 x 4 y 3 z 22 0
ponto
A (1,2,0)
F (x, y , z ) 1
. Em
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
z f (x, y)
G(x, y , z ) 0
A (1,2,0)
(X A) G(A) 0
, com
X (x, y , z)
, ou
F (x , y , z ) y 2 xz z 2 e z c 0
2x y z 4 0
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
(c) Calcular
z f (x, y)
ye
z2
f (0,e) 2
F
z
(0,e,2) 4 e 2 0
, tem-se
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
F
y
(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
(I)
F (x, y , z ) 0
G (x, y , z ) 0
G(x , y , z ) 0
y y(x)
z z (x)
, tais que
F (x, y(x),z(x)) 0
funo de
em
Clculo III
125
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
aberto D. Seja
F ,G : D
n
(x0 , y0 , z0 ) D
, onde
(F ,G)
(y , z )
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
z z (x)
i.
ii.
x0 I
y y(x)
y(x0 ) y0
z(x0 ) z0
G(x, y , z ) 0
, para
xI
, isto , as equaes
F (x, y , z ) 0
y(x)
(F ,G )
(x ,z )
(F ,G )
( y ,z )
z(x)
(F ,G )
( y ,x )
(F ,G )
( y ,z )
(x, y(x),z(x))
superfcies em
(1,1,2)
z z(x)
(1,1,2)
y y(x)
Clculo III
127
(c) Calcule
y(x)
z(x)
(d) Calcule a equao da reta tangente curva de interseo das superfcies definidas em
(a), no ponto
(1,1,2)
F (1,1,2) G(1,1,2) 0
F
(1,1,2) 4 0
z
G
(1,1,2) 1 0
z
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 )
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
reta tangente
X (t ) (1,1,2) t (1,1,0)
z(1) 0
, a equao da
128
xyz sinxyz 0
x yz0
respectivamente, temos:
F (x, y , z ) 0
(F ,G)
(x, y)
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 )
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 )
absoluto em
X0 D
, se para todo
X D
f : D n
.
f (X 0 ) f (X ) X 0
f (X 0 )
Clculo III
129
f (X 0 )
absoluto em
X0
, se
f (X 0 ) f (X )
para todo
X0
f (X 0 )
f (X 0 )
de
V ( )
n
X V
X0
tal que
f (X 0 ) f (X )
ou
f (X 0 ) f (X )
onde
X D
. Um ponto
X0
Estabeleceremos, a seguir, as condies que devem ser satisfeitas por uma funo f, no
ponto
X0
em
X0
f : D n
X0 D
, ento
Clculo III
130
f
f
(X 0 ) ...
(X 0 ) 0
x1
xn
i 1,...,n
X0
. Como D aberto,
Se
h0
h0
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
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
131
X0
X0
. Isto
centrada em
X0
contm pontos
X1
X0
para os quais
X2
f (X 1 ) f (X 0 )
Ou seja, um ponto crtico
centrada em
X0
f (X 2 ) f (X 0 )
X0
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.
X0
X 0 n
, se
fronteira de D.
Clculo III
132
f :D
n
existem pontos
X1, X 2 D
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
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
de
em
X0
H (X 0 )
e denominado de o hessiano
Note que
Hess (X 0 )
2f (X 0 )
H (X 0 ) det x2 f
yx (X 0 )
2
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
i. Se
X0
X0
X0
ponto de sela;
X0
X0
Clculo III
134
a) Se
f (x , y) x 4 y 4
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
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
f (x, y) 0
A (aij )nn
possui n autovalores reais (contados conforme sua multiplicidade). Alm do mais, podemos
escolher os n autovalores de modo que formem uma base ortonormal de
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
Clculo III
A v j jv j
T
j
135
que
em
X0 D
f : D n
X 0 H (X 0 )
i. Se
ii. Se
o hessiano de
j 0
j 0
para todo
para todo
em
X0
C2
. Suponha
. Temos:
1 j n
1 j n
1 ,...,n
, ento
X0
, ento
X0
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
X0
f (x, y , z) x 3 3x y 2 z 2 2 z
(x, y , z) (1,0,1) X 1
ou
Clculo III
se e somente se
(x, y , z ) (1,0,1) X 2
136
A matriz hessiana de
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
X2
X1
ponto
f (x, y , z ,w) 2 xy 2 yz y z 2 w
2
(x, y , z , w) (0,0,0,0) X 0
Clculo III
se e somente se
137
Temos
0
2
Hess (X 0 )
0
2
2
2
0
0
2
2
0
0
0
2
p( ) det
0
Note que
1 4 0
Portanto,
X0
0
2
2
0
0
0
2
2
2
(4 )(3 42 4 8)
2 (1,2)
tal que
p(2 ) 0
p(1) 5 0
p(2) 48 0
um ponto de sela.
1 k n
A (aij )
A (aij )1i k
e denotado
1 j k
por
mk (A)
A (aij )
Clculo III
138
i.
ii.
mk (A) 0
para todo
1 k n
mk (A) 0
1 k n
mk (A) 0
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
A 2 xy 2 yz xz
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
(x , y) 2 y 2 xV2 0
A
y
(x , y) 2 x
Logo
x 2y
V
y2
ou seja,
2 xy2 V
yx 2 V
x 3 2V
Clculo III
e
V
y3
4
z 3 2V
139
Agora,
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
20
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
lim Ay (x)
m(y) Ay
Logo,
A
x
V
A
lim Ay (x)
(x, y) Ay (x) 0
V
V
, y 4 Vy
y
y
lim m(y)
y 0
Clculo III
). O valor mnimo
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
y3 V 4
m(y) 0
, isto , quando
2 V y V y2 0
, ou seja, quando
. Isto nos d
x0
y0
V
3 2V
V 4
, temos
Portanto,
V
4
V
2V ,3
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
elipse
que
x2 2 y 2 1
f
x
2x
f
y
2y
ocorre quando
(x, y) (0,0)
f (x, y ) x 2 y 2 0 f (0,0),(x, y) 2
x 2y 1
2
(t ) cost , sint
2
Temos ento:
Deste modo,
extremos em
0 t 2
1
1
.
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
. 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
f (0,0) 0
absoluto igual a
correspondentes a
nos pontos
t 2
(1,0)
t 3 2
(1,0)
em
(0,0)
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)
e um valor mximo
x2 2 y2 1
Analisemos os extremos de F.
F (y ) 2 y
y0
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,
(1,0)
(1,0)
f (1,0) f (1,0) 1
no ponto
(0,0)
eo
32m
143
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
(x, y) (0,0)
, temos
Clculo III
144
y 2 2 xy 32
x 2 2 xy 32
Da,
x 2 xy y 2 xy
2
, ou seja,
y 2 2 y 2 32
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
Clculo III
145
Suponha que
contnuas em um aberto de
extremos da funo
encontrar os pontos
lateral)
g (x, y) 0
(x, y)
dentro do domnio de
g (x, y) 0
g 0
. Para cada
e variando
. Isto , queremos
g (x, y) 0
a equao
f (x, y) t
, que
tambm representa
, 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
a curva de nvel
f (x, y) t
tambm interceptar
Clculo III
g (x, y) 0
prximos
t0
no
146
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
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
sobre
g (x, y) 0
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,
ento um extremo d
que uma
. Mas
Clculo III
147
(t )
f
x
Assim, substituindo
, ou seja,
(t0 )
portanto,
t t0
e colocando
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
equivalentes a que
(x0 , y0 ,0 )
f (x, y) f (x0 , y0 )
g (x0 , y0 ) 0
f (x0 , y0 ) 0 g (x0 , y0 )
para algum
g (x, y) 0
so
F
x
F
y
F
f
x
f
y
g
x
g
y
a terceira a
f (P0 ) (t0 ) 0
De fato,
f (x0 , y0 ) 0 g (x0 , y0 )
Clculo III
148
f
x
para algum
f (P0 ) g (P0 )
f
x
f
y
f
y
g
x
g
y
, ento:
(Po ) gx (Po )
(Po ) gy (Po )
ou, equivalentemente,
f
x
f
y
g
(P0 )
(P )
gx 0
(P0 )
y (P0 )
, no ponto
P0
g (P0 )
Coeficiente angular da reta tangente comum
f (P0 )
P0
g (x, y) 0
f (x , y) k i
Clculo III
149
f
x
f
y
(P0 )
(P0 )
g (x0 , y0 ) 0
f
x
f
y
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
O raciocnio acima pode ser aproveitado para o caso de mais variveis. Vejamos
quando
, so funes de classe
tais que
(0) (0) P0
C1
S
g 0
(0)
(0)
define
, : ( , ) S
so linearmente independentes.
f (P0 )
(t )
(t )
P0 S
g (x, y , z) 0
..
P0
Superfcie de nvel
g (x, y , z ) 0
Clculo III
150
Se
funes
P0 (x0 , y0 , z 0 )
1 (t ) f ( (t ))
correspondente a
um extremo de
2 (t ) f ( (t ))
1 (0) 2 (0) P0
(t )
(t )
restrita condio
2 (t ) f (P0 ) (t ) 0
para algum
f (P0 ) 0 g (P0 )
P0
. Como
g (P0 ) 0
t 0
n 1
f (P0 )
deve ser
ortogonal a esse
g (P) 0
ento as
g (x , y , z) 0
1(t ) f (P0 ) (t ) 0
Como
n 1
curvas contidas em
funo diferencivel
f : D n
continuamente diferencivel e
P0 (x0 , y0 )
sujeita condio
g (x0 , y0 ) 0
, ento
Clculo III
P0
g (x, y) 0
, onde
para algum
, isto ,
151
extremo, a saber,
P0 (x0 , y0 )
x0 y0
P0 (x0 , y0 , z0 )
ax by cz d 0
sujeita
d (x, y , z ) (x x0 ) (y y0 ) (z z0 )
2
condio
g (x, y , z ) ax by cz d 0
(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
condio
g (x, y , z ) ax by cz d 0
f (x , y , z) (x x0 )2 (y y0 )2 (z z0 )2
sujeita
F (x, y , z , ) (x x0 )2 (y y 0 )2 (z z 0 )2 (ax by cz d )
Clculo III
152
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,
2
a 2 b2 c 2
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
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
P0 (x0 , y0 , z0 )
ax by cz d 0
cuja
d (x, y , z )
f (x, y , z ) (x x0 ) (y y0 ) (z z0 )
2
153
d (x, y , z )
ou seja,
d (x, y , z)
a 2 b2 c 2
a 2 b2 c 2
x2 y2
1
a2 b2
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
f (x, y) 12 xy
P (a cos ,b sin )
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
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
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
x
y
2 1
2
a
b
correspondente ser
A 14 ab
f (x, y , z )
sujeita s condies
g (x, y , z ) 0
h(x, y , z ) 0
Clculo III
155
que os vetores
(x0 , y0 , z0 )
g (x, y , z )
um extremo de
restrita a
, existem constantes
P0 (x0 , y0 , z0 )
mximo de
sobre
independentes em
curva suave
um extremo de
g (t ) f ( (t )) f ( (0)) f (P0 )
que
, com
. Assim, a funo
e assim,
P0
. Ento, se
prximos a
t0
g (t ) f ( (t )) (t )
sobre
um mximo em
tais que
Prova: Seja
e suponha
h(x, y , z)
f , g ,h : D 3
P0
um ponto de
so linearmente
satisfazendo
(0) P0
(0) 0
g (0) 0
. Como
(t ) E ,t ( , )
, temos
g ( (t )) 0 h( (t ))
colocando
t 0
, obtemos que
g (P0 ) (0) 0
Clculo III
h(P0 ) (0) 0
156
o vetor no-nulo
(0)
g (P0 )
h(P0 )
,
e tais que
onde
(0)
(0)
e obtemos
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
h(x, y , z) x y z 0
Clculo III
157
Note que
h(x, y , z) i j k
g (x, y , z ) 2 x i 2 y j
e algum
Assim,
so claramente linearmente
, as equaes
2x 2x
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
Agora, se
e, portanto,
z0
2
2
P2
,
, 2
2
2
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
dando os pontos
2
2
,
,0
2
2
P3
f (P3 ) f (P4 ) 1
2 2
P4
,
,0
2
2
f (P1 ) f (P2 ) 3
ou
OP1
comprimento igual a
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
CAPTULO 3
( f : n m )
FUNES VETORIAIS
SEO 3.1: FUNES VETORIAIS
Neste captulo estudaremos as funes definidas sobre subconjuntos de
valores em
com
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
f : D m
X Y f (X )
onde
X (x1 , x2 ,...,xn )
f (X )
f1 , f 2 ,...,f m
so as funes coordenadas de f e
fi : D
,
X yi fi (X ) i 1,...m
Clculo III
160
em
, ou seja, as coordenadas de
Definio 3.1.2: Se
f (X )
f :D
n
para os quais
f (X )
so nmeros reais.
, a imagem de
, denotada por
Im(f )
ou
f (D)
,o
conjunto
.
Se
A D
, indicaremos por
f (A)
o conjunto
f (A) {f (X );X A}
e diremos que
os nmeros r e
X 2
f (A)
X f (r , )
os quais denominamos
as coordenadas polares de X.
Clculo III
161
X
r
x r cos
y r sin
Consideremos agora a seguinte funo
T :
2
definida por
0 r 2 0 2
r0
contido no plano
,
contido no plano
?
1 r 2 6 3
r
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
(2, 2)
(0, 2)
(x, y)
(0,0)
(2,0)
Alm disso,
i. Quando o ponto est sobre o segmento AD,
forma,
(segmento IG);
r2
0 2
T (r , 2) (r cos(
2),r sin( 2)) (0,r )
(x, y) (1, ) 0 2
(veja figura
abaixo), teremos que para quaisquer pontos deste conjunto, a aplicao T ser da
forma
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
(1, )
2
T (1, )
I
0
y
(1 12 , )
T (1 12 , )
A
3
,
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
0r 2
(1, )
0 2
T (1, )
y
x2 y 2 4
Clculo III
164
X os nmeros r,
X 3
coordenadas cilndricas de X.
Clculo III
165
r
X
x
Clculo III
166
y r sin
zz
T : 3 3
definida por
0 r 1 0 2
r 0
0 z4
,
e
?
1 r 2 6 3 1 z 3
0 2
,
?
x2 y 2 4 z 0
Soluo: (a)
Clculo III
167
1
1
Clculo III
168
0
z
(1, )
X os nmeros ,
X 3
coordenadas esfricas de X.
Clculo III
169
z
x
O
x
Clculo III
170
T : 3 3
definida por
0 3 0 2
,
1 3 6 2
0 2
e
3 2
,
?
x2 y 2 4 z 0
0 0 2
Soluo:
Clculo III
171
(a)
1 3 6 2 3 2
na regio
Clculo III
172
Clculo III
173
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; )
possivelmente em
X0 D
. Se
f1 , f 2 ,...,f m
so as funes coordenadas de
, exceto
, ento
X X0
se e somente se,
lim f i (X ) li
X X0
Clculo III
i 1,...,m
174
Prova:
1 parte. Suponhamos inicialmente que
. Ento dado
X X0
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
X0
, isto ,
lim f i (X ) li
lim f i (X ) li
X X0
X X0
X X0
se
0 X X 0 i
qualquer, existe
, ento
f (X ) L
i 0
tal que
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
Seja
. Logo,
min{1 ,..., m }
se
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 )
X0 D
f : D n m
f1 ,...,f m
contnua em
X0
Prova: Exerccio.
Teorema 3.2.3: Se
iii.
T :n m
T (X ) k X
Clculo III
176
iv.
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
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
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
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
f :
2
definida por
f
2x
(x, y) 2 x y , 2
x
x y 2
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
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
Seja
f (X 0 )
a base cannica do
e1 ,...,en
f (X 0 )(ei )
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
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
mn
em
X0
, a qual denotaremos
. Note que
f (X 0 )(X ) Jf (X 0 ) X
Clculo III
179
diferenciabilidade de
no ponto
X0
Jf (X 0 )
f1 (x, y , z) x 2 y 3
Jf (X )
e,
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 )
Soluo: Como
fi
xi
2x
1
3y
0
cosz
f (x , y) (x 2 2 xy, y 2 xy, x y 2 )
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
f
x1
f : D n m
e so contnuas em
,...,xfn
X0
, D aberto e
, ento
X0 D
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
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.
3.4.1:
g : E m p
Im(f ) f (D) E
ento
g f
(Derivada
da
funo
composta).
Sejam
. 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
(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
a)
b)
(g f )(2,1)
f (x, y) (x 2 y 2 , x 2 y 2 ) (u ,v)
(g f )(x, y)
. 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
No ponto
(x, y) (2,1)
temos que
f (2,1) (2 2 12 ,2 2 12 ) (5,3)
Para obtermos
(g f )(2,1)
definida por
Jf (x, y )
u
x
v
x
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
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
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)
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
isto ,
(g f )(x, y)
u x2 y2
v x2 y2
Obter:
ser
v u 2x
J (g f )(x, y) Jg (u ,v) Jf (x, y)
1 1 2 x
onde
(g f )(x, y)
2 y 2 x(v u) 2 y(v u)
2 y
4x
0
,
,
,e
.
s
r r s
y
x y x
Clculo III
, isto ,
g f (x, y) (r ,s)
184
(x, y)
f (x, y) (u ,v)
g (u ,v) (r ,s)
g f
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,
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
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
x f1 (u ,v) y f 2 (u ,v)
Soluo: Seja
z f 3 (u ,v)
f : 2 3
Observe que
composta
(u ,v)
g f : 2
so dadas por
so as funes coordenadas de
g f
. Obter:
w
u
onde
w
v
, 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
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
ii. Como
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,
Mas
J (g f )(x, y)
r
u
s
x
r
y
s
y
Observe que
r
x
r
y
r
u
r
u
u
x
u
y
rv
rv
w ln(x y z )
f : 2 3
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
Clculo III
vs
vs
v
x
v
y
. Demonstre que
, isto ,
g f (u ,v) w
. Em palavras: a
187
composta
g f
g f : 2
(contido em
) no contradomnio de g
w w x w y w z
u x u y u z u
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
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
w
3
1
3
1
( ,1)
cos
u
ln(1 ) sin
1 ln(1 ) 1
Com isso,
w
w
( ,1)
( ,1)
u
v
f : D n
f (X 0 ) : n n
de
n
i.
ii.
iii.
, contendo
X0 D
seja uma aplicao linear inversvel. Ento existe uma vizinhana aberta V
X0
f (V ) U
, tal que
aberto;
( f 1 )(Y0 ) f (X 0 ) 1
, onde
f : 2 3
Y0 f (X 0 )
definida por
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
2y
Jf (x, y)
2 3 y 3x
2x
ento
2 4
Jf (1,2)
8 3
, e assim
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 )
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
Clculo III
190
Portanto,
g1 (y1 ,...,yn ) x1
g (y ,...,y ) x
2 1
n
2
g m (y1 ,...,yn ) xm
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
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)
. Determine
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
Como
detJf (1,1) 15 1 14 0
f 1 (u ,v) (x, y)
(1,1)
. A inversa
x F (u ,v)
y G(u ,v)
e est definida numa vizinhana do ponto
( f 1 )(2,2)
(2,2)
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
cosy x sin y
Jf (x, y)
sin y x cosy
para a qual
Clculo III
192
Para que
pois
seja inversvel,
no inversvel
para que
seja
inversvel.
Clculo III
193