Fun coes implcitas

ODULO 1 AULA 12
Aula 12 Fun c oes implcitas
Objetivo
Derivar funcoes denidas implicitamente.
Introdu cao
As funcoes sao o principal objeto de estudo nos cursos de C alculo.
Queremos saber se uma dada fun cao e contnua, se e diferenciavel, se admite
um valor maximo numa determinada regi ao de seu domnio etc.
Estamos habituados a nos referir a uma certa fun cao e citar, apenas, a
sua lei de denicao, como, por exemplo, a fun cao f(x, y) =

4 x
2
y
2
.
Isto e, mencionar uma equacao que determina, explicitamente, como calcular
os diferentes valores da funcao.
No entanto, e bom lembrar: uma fun cao consiste de mais coisas alem
de sua lei de denicao.

E necessario estabelecer seu domnio e seu contra-
domnio. A pr atica de citar a lei de deni cao como se fosse a pr opria funcao
est a respaldada na conven cao de que, nessas circunst ancias, o domnio e
o maior subconjunto do correspondente espa co euclidiano no qual tal lei
fa ca sentido. Assim, retomando o exemplo citado, quando nos referimos ` a
funcao z = f(x, y) =

4 x
2
y
2
, estamos deixando subentendido que seu
domnio e o disco fechado B = { (x, y) ; x
2
+y
2
4 }, com centro na origem
e raio 2.
Alem das funcoes denidas explicitamente, temos uma grande fonte de
exemplos de fun coes nas chamadas fun coes implcitas.
Esse tema ja foi abordado anteriormente, no estudo das fun coes reais,
de uma vari avel real. Agora que dispomos de novas ferramentas, tais como as
derivadas parciais, vamos retom a-lo e aprofund a-lo um pouco mais. Contudo,
como voce ver a, ele n ao ser a esgotado ainda desta vez.
Alguns exemplos
Voce ja sabe que, de um modo geral, uma equa cao da forma f(x, y) =
c dene uma curva no plano lR
2
e que uma equa cao da forma G(x, y, z) = d
dene uma superfcie em lR
3
.
131
CEDERJ
Fun coes implcitas
No contexto das fun coes reais de v arias variaveis, tais equa coes denem
os chamados conjuntos de nvel.
Exemplo 12.1
Aqui est ao alguns conjuntos de nvel com suas correspondentes equacoes.
F(x, y) = 16x
2
+ 36y
2
= 576 G(x, y, z) = 9x
2
+ 4y
2
+ 9z
2
= 36
F(x, y) = x
4
49(x
2
y
2
) = 0 G(x, y, z) = 9x
2
+ 4y
2
9z
2
= 36
F(x, y) = x
2
y +
y
3
3
4y + e
x
= 6.08 G(x, y, z) = z
2
+ (

x
2
+ y
2
2)
2
= 1
F(x, y) = x
2
y +
y
3
3
4y + e
x
= 1 G(x, yz) = (x
2
+ y
2
)
2
x
2
y
2
z
2
= 0
CEDERJ
132
Fun coes implcitas
M

ODULO 1 AULA 12
Em cada um dos casos citados no exemplo, voce pode perceber que, se
considerado globalmente, o conjunto denido pela correspondente equa cao
nao e o gr aco de uma funcao (y de x, no caso de duas variaveis, z de x e y,
no caso de tres variaveis). O problema est a na multiplicidade da deni cao.
Lembre-se de que os gracos de funcoes sao intersectados uma
unica vez por retas verticais. Uma elipse, por exemplo, n ao e o gr aco de
uma fun cao.
Funcoes implcitas
Dizemos que uma fun cao f : D lR lR e denida implicitamente
pela equa cao F(x, y) = c se
F(x, f(x)) = c,
para todo x D.
Do ponto de vista geometrico, isso signica que um trecho do conjunto
denido por F(x, y) = c, que se projeta sobre D segundo o eixo Oy, e o
gr aco da funcao f.
D
G
f
F(x, y) = c
Analogamente, dizemos que a fun cao g : D lR
2
lR e denida
implicitamente pela equa cao G(x, y, z) = d se
G(x, y, g(x, y)) = d,
133
CEDERJ
Fun coes implcitas
para todo (x, y) D.
Novamente, uma parte da superfcie denida por G(x, y, z) = d, que se
projeta em D segundo o eixo Oz, e o gr aco da funcao g.
D
Gg
G(x, y, z) = d
Ehrenfried Walter von
Tschirnhaus (16511708) foi
um aristocrata que nasceu
em Kieslingswalde, Saxonia
(atual Alemanha), e morreu
em Dresden. Mas, ao longo
de sua vida, viveu em
diferentes pases da Europa.
Estudou Matematica,
Filosoa e Medicina em
Leiden, na Holanda, e
conviveu com varios
expoentes das ciencias de
seu tempo, como Wallis e
Collins, em Londres, e
Leibniz e Huygens, em Paris.
O estudo das equacoes de
terceiro e quarto graus (as
c ubicas e quarticas) era uma
area de pesquisa de grande
interesse na sua epoca.
Alguns nomes que deram
contribuicoes nesse campo
sao Vi`ete, Euler e Descartes,
entre outros. Em 1683,
Tschirnhaus publicou o
Metodo para eliminar todos
os termos intermedi arios de
uma dada equa c ao. Apesar
do exagero do ttulo, esse
trabalho foi a ideia mais
importante para a solucao de
equacoes algebricas por um
bom tempo.
Tschirnhaus tambem e
famoso pela descoberta do
processo de producao de
porcelana.
Exemplo 12.2
A equa cao 9y
2
= x(x 3)
2
dene uma curva no plano conhecida como
C ubica de Tschirnhaus. Veja um esboco dessa curva:
3
Vamos mostrar que as fun coes f, g : [0, ) lR, denidas por
f(x) =

x(x 3)
2
3
e g(x) =

x(x 3)
2
3
, se 0 x 3

x(x 3)
2
3
, se x > 3,
sao fun coes denidas implicitamente por F(x, y) = 9y
2
x(x 3)
2
= 0.
CEDERJ
134
Fun coes implcitas
M

ODULO 1 AULA 12
Para fazer isso, basta constatar que as equa coes
F(x, f(x)) = 0 e F(x, g(x)) = 0
sao satisfeitas para todo x 0. Mas, isso e imediato, pois, se x 0, ent ao
9

x(x 3)
2
3

2
x(x 3)
2
= x(x 3)
2
x(x 3)
2
= 0.
Veja os gr acos das fun coes f e g:
Gr aco de f Gr aco de g
Atividade 12.1.
Considere a equacao G(x, y, z) = xy
2
z
2
= 0 e as fun coes f e g,
denidas em D = { (x, y) lR
2
; x 0 }, pelas seguintes leis de deni cao:
f(x, y) =

xy
2
e g(x, y) =

xy
2
, se y 0

xy
2
, se y > 0.
(a) Mostre que f e g sao fun coes denidas implicitamente por
G(x, y, z) = xy
2
z
2
= 0.
(b) Voce poderia dar mais um exemplo de uma fun cao h : D lR,
tambem denida implicitamente por G(x, y, z) = 0?
135
CEDERJ
Fun coes implcitas
A diferenciabilidade entra em acao
Agora que voce viu v arios exemplos, est a na hora de considerar a se-
guinte questao, importante do ponto de vista matem atico.
Sob quais circunst ancias podemos armar que uma equa cao F(x, y) = 0
(ou G(x, y, z) = 0) dene fun coes implicitamente?
Caso a resposta desta quest ao seja positiva, podemos perguntar: Quais
caractersticas teriam essas funcoes?
Essas questoes sao tpicas de matem aticos. Veja, toda a nossa discuss ao,
ate agora, tem sido descritiva, ilustrativa, mas bem pouco precisa.
Note que, nos exemplos dados ate agora, era possvel resolver as
equa coes para encontrar as fun coes denidas implicitamente por elas. No
entanto, h a casos em que e difcil, ou impossvel, resolver a equa cao por
algum metodo algebrico, seja porque a equa cao n ao e do tipo algebrico, seja
por ser de grau mais alto.
Exemplo 12.3
Considere G(x, y, z) = zx
2
+ y
2
yz
3
= 6 a equa cao que dene o
conjunto esbo cado a seguir.
O ponto (1, 0, 6) satisfaz a equa cao e, portanto, pertence ao conjunto.
Gostaramos de saber se existe uma fun cao z = g(x, y), denida implicita-
mente em alguma vizinhan ca D do ponto (1, 0) em lR
2
, tal que
G(x, y, g(x, y)) = 6,
qualquer que seja (x, y) D. Em particular, teramos g(1, 0) = 6. Uma
maneira de responder positivamente a essa pergunta seria resolver a equacao
zx
2
+y
2
yz
3
= 6 em z e exibir, explicitamente, a lei de denicao da fun cao.
Isso, no entanto, e difcil (se bem que possvel), pois teramos de resolver
uma equa cao c ubica.
CEDERJ
136
Fun coes implcitas
M

ODULO 1 AULA 12
Os dois teoremas que enunciaremos a seguir nos permitir ao responder
a quest oes desse tipo.
Teorema da Fun cao Implcita
Estamos prestes a enunciar um teorema. Isso, para nos, matem aticos,
e uma coisa muito importante. Cada detalhe conta muito, ainda mais sendo
um dos teoremas basilares da Matem atica. Muito bem, vamos l a!
Teorema (da funcao implcita, caso F(x, y) = c)
Seja F(x, y) uma funcao de classe C
1
, denida em um subconjunto
aberto A de lR
2
, e seja (a, b) A, tal que F(a, b) = c. Se
F
y
(a, b) = 0,
ent ao existem intervalos I (a I) e J (b J), com I J A, e uma
fun cao f : I J, diferenci avel, tal que
F(x, f(x)) = c,
qualquer que seja x I. Alem disso,
f

(x) =
dy
dx
(x) =
F
x
(x, f(x))
F
y
(x, f(x))
.
Veja como podemos usar o teorema no exemplo a seguir.
Exemplo 12.4
Vamos mostrar que a equa cao x
2
+xy +y
2
+sen (x
2
2y) = 12 dene
uma fun cao y = f(x) em alguma vizinhan ca do ponto (2, 2).
Para isso, vamos colocar F(x, y) = x
2
+ xy + y
2
+ sen (x
2
2y), que e
uma fun cao de classe C
1
, e calcular
F
y
(2, 2).
F
y
(x, y) = 2y + x 2 cos(x
2
2y);
F
y
(2, 2) = 4.
Como
F
y
(2, 2) = 4 = 0, o Teorema da Fun cao Implcita nos garante
a existencia de intervalos I e J, tais que 2 I e 2 J, e uma fun cao
137
CEDERJ
Fun coes implcitas
diferenci avel f : I J, tal que
x
2
+ xf(x) +

f(x)

2
+ sen

x
2
2 f(x)

= 12
para todo x I. Alem disso, podemos expressar a derivada de f em termos
de x e de y:
f

(x) =
F
x
(x, y)
F
y
(x, y)
=
y + 2x(1 + cos(x
2
2y))
2y + x 2 cos(x
2
2y)
,
para todo x I.
Veja o esbo co do conjunto denido por F(x, y) = 12.
(2, 2)
Podemos ver, na gura, que em torno do ponto (2, 2) este conjunto e o
gr aco de uma funcao y de x.
Uma observa cao antes de prosseguirmos. O teorema garante a existencia
do intervalo I, o domnio da funcao denida implicitamente f, caso suas
hipoteses sejam satisfeitas, mas nao nos oferece qualquer estimativa de seu
comprimento. Nesse exemplo, podemos perceber que esse domnio n ao pode
ser muito grande.
Est a na hora de voce se exercitar!
Atividade 12.2.
Enuncie uma versao do teorema colocando condi coes para que a equa cao
F(x, y) = c dena implicitamente uma fun cao x = h(y). Use essa versao do
teorema para mostrar que
x
4
+ xy + y
2
= 16
dene x como uma fun cao de y em alguma vizinhanca do ponto (2, 0). Ex-
presse a derivada dessa fun cao em termos de x e de y.
Veja, agora, uma vers ao do teorema que envolve tres variaveis.
CEDERJ
138
Fun coes implcitas
M

ODULO 1 AULA 12
Teorema (da funcao implcita, caso G(x, y, z) = d)
Seja G(x, y, z) uma funcao de classe C
1
, denida em um subconjunto
aberto B de lR
3
, e seja (a, b, c) B tal que G(a, b, c) = d. Se
G
z
(a, b, c) = 0,
ent ao existe um aberto D de lR
2
tal que (a, b) D, e um intervalo J tal que
c J, com D J B, e uma funcao g : A J, diferenci avel, tal que
G(x, y, g(x, y)) = d,
qualquer que seja (x, y) D. Alem disso,
g
x
(x, y) =
G
x
(x, y, g(x, y))
G
z
(x, y, g(x, y))
e
g
y
(x, y) =
G
y
(x, y, g(x, y))
G
z
(x, y, g(x, y))
,
para todo (x, y) D.
Exemplo 12.3 (revisitado)
Vamos usar o Teorema da Fun cao Implcita para mostrar que
G(x, y, z) = zx
2
+ y
2
yz
3
= 6
dene uma funcao z = g(x, y), implicitamente, em alguma vizinhan ca D do
ponto (1, 0) em lR
2
, tal que
G(x, y, g(x, y)) = 6,
qualquer que seja (x, y) D. Como a funcao G(x, y, z) = zx
2
+ y
2
yz
3
e
de classe C
1
, basta calcularmos
G
z
(1, 0, 6).
G
z
(x, y, z) = x
2
3yz
2
,
G
z
(1, 0, 6) = 1 = 0.
139
CEDERJ
Fun coes implcitas
Assim, as hip oteses do teorema s ao satisfeitas e a existencia da fun cao
g est a garantida. Alem disso, vamos, por exemplo, calcular o seu gradiente.
Para isso, precisamos de
g
x
e
g
y
. Assim, temos de usar as f ormulas
apresentadas no enunciado do teorema. Veja:
g
x
=
G
x
G
z
=
2xz
x
2
3yz
2
;
g
y
=
G
y
G
z
=
2y z
3
x
2
3yz
2
.
Portanto, o gradiente da fun cao g pode ser expresso em termos das
vari aveis x, y e z:
g(x, y) =

2xz
x
2
3yz
2
,
2y z
3
x
2
3yz
2

.
Comentarios nais
Nesta aula, voce aprendeu a usar as derivadas parciais de F(x, y) para
expressar a derivada da fun cao y de x, denida implicitamente por F(x, y) =
c, em torno de algum ponto (a, b), desde que
f
y
(a, b) = 0.
Essa e uma maneira alternativa `aquela que voce aprendeu em
Calculo I.
Exemplo 12.4 (revisitado)
Admitindo que a equa cao x
2
+xy +y
2
+sen (x
2
2y) = 12 dene uma
funcao y = f(x) em alguma vizinhan ca do ponto (2, 2), vamos usar a Regra
da Cadeia das fun coes de uma vari avel para calcular
dy
dx
.
Basta derivar a equa cao implicitamente:
2x + y + x
dy
dx
+ 2y
dy
dx
+ (cos(x
2
2y))

2x 2
dy
dx

= 0.
Resolvendo essa equa cao em
dy
dx
, obtemos

x + 2y 2 cos(x
2
2y)

dy
dx
+ 2x + y + 2x cos(x
2
2y) = 0
dy
dx
=
2x

1 + cos(x
2
2y)

+ y
x + 2y 2 cos(x
2
2y)
.
CEDERJ
140
Fun coes implcitas
M

ODULO 1 AULA 12
Apesar de mencionar Teorema da Fun cao Implcita, apresentamos
duas vers oes, uma no caso F(x, y) = c e outra no caso G(x, y, z) = d.
Na verdade, e possvel apresentar uma unica formula cao do teorema, que
engloba as duas vers oes aqui apresentadas. Voltaremos a isso no futuro.
Nessa formulacao geral, esse teorema costuma ser demonstrado nos
cursos de an alise ao lado da apresenta cao do chamado Teorema da Fun cao
Inversa.

E possvel apresentar uma argumenta cao para demonstrar essas
formula coes do Teorema da Funcao Implcita que apresentamos aqui, mas
optamos por n ao faze-lo, dando espaco para um n umero maior de exemplos,
especialmente com suas apresenta coes geometricas. Se voce estiver interes-
sado, poder a consultar os exemplos 7, 8 e 9 da se cao 27.2 do livro Um Curso
de C alculo, Volume 2, de Hamilton Luiz Guidorizzi.
Como as fun coes F(x, y) e G(x, y, z) sao de classe C
1
, suas derivadas
parciais sao contnuas. Assim, a hipotese
F
y
(a, b) = 0, por exemplo, garante
que
F
y
(x, y) = 0 para (x, y) sucientemente pr oximos de (a, b). Isso permite,
por exemplo, estabelecer
df
dx
(x) =
F
x
(x, y)
F
y
(x, y)
.
Puxa! Isso foi mais coment ario do que voce esperava, n ao e? Bem,
ent ao, aos exerccios!
Exerccios
Exerccio 1
Verique as hip oteses do Teorema da Fun cao Implcita no ponto (1, 1),
mostrando que a equa cao ln (xy) 2xy + 2 = 0 dene uma fun cao y = f(x)
implicitamente, e calcule f

(x).
Exerccio 2
Verique que os pontos (1, 1) e (0, 0) satisfazem a equa cao (x 2)
3
y +
xe
y1
= 0. Em torno de qual deles a equa cao dene y como funcao
diferenci avel de x? O que se pode dizer caso consideremos x uma
funcao de y?
141
CEDERJ
Fun coes implcitas
Exerccio 3
A equa cao 2x
3
+ 2y
3
9xy = 0 dene uma curva algebrica chamada
Folium de Descartes. Veja um esbo co:
Mostre que essa equa cao dene implicitamente uma fun cao diferenci avel
y = f(x) em torno do ponto (1, 2).
Determine o maior intervalo (a, b) lR tal que f : (a, b) lR, com
f(1) = 2, e diferenciavel e denida implicitamente pela equa cao 2x
3
+ 2y
3

9xy = 0.
Exerccio 4
Verique as hip oteses do Teorema da Fun cao Inversa no ponto (2, 3, 1)
e calcule
z
x
e
z
y
para 2x
2
+ 4y
2
+ z
2
= 45.
Exerccio 5
Mostre que a equacao sen (xy) + sen (yz) + sen (xz) = 1 dene uma
funcao z = g(x, y) implicitamente em torno do ponto (1, /2, 0) e calcule o
gradiente g dessa funcao.
Exerccio 6
Calcule f, o gradiente da funcao z = f(x, y), denida implicitamente
pela equa cao a seguir.
(a) ln (x
2
+ y
2
+ 1) + e
xz
= 1;
(b) xz
2
3yz + cos(x + y + z) = 0.
Exerccio 7
Suponha que o ponto (3, b, c) seja solu cao da equa cao
z
3
xz y
2
= 1.
Determine condi coes sobre b e c para que a equa cao dena z como
funcao de x e de y em torno do ponto dado.
CEDERJ
142