Em matemática, mais especificamente no cálculo multi variável, o teorema da função implícita[1] é uma ferramenta que permite estabelecer relações envolvendo funções de várias variáveis reais.
O teorema afirma que se a equação F(x1, ..., xn, y1, ..., ym) = F(x, y) = 0 satisfaz algumas condições de suavidade em suas derivadas parciais, em seguida, pode-se expressar as m variáveis yi em termos de n variáveis xj como yi = fi(x), pelo menos em uma vizinhança de (x1, ..., xn). Em seguida, cada uma dessas funções implícitas fi(x)[2] satisfaz F(x, y) = 0.
Seja
, isto é,
é uma função de duas variáveis independentes. Agora se fixamos
, onde
é uma constante, então as variáveis x e y deixam de ser independentes, livres. Agora só é possível alguns valores de x e y de modo que f(x,y) seja igual a c. Estamos fazendo a intersecção da superfície
com o plano
, isto é,
. No pior dos casos esta intersecção pode ser vazia ou apenas um ponto. Mas ela também pode ser uma curva(uma linha) chamada curva de nível pois ela está no nível(altura) c.
Neste caso esta curva
pode representar localmente uma função entre x e y, a saber,
,
e
.
Por exemplo, se
, para digamos,
, então está função define implicitamente a função
, uma simples função de segundo grau, uma parábola.
Da mesma forma podemos definir
, isto é,
é agora uma função de três variáveis independentes. Se fizermos a intersecção da hiper superfície
com o plano
(ambos na 4ª dimensão), isto é,
, podemos ter dependendo de
e
, uma superfície em
. Neste caso esta superfície
pode representar localmente uma função entre
e
, a saber,
,
e
.
Por exemplo
, para digamos,
, temos
, uma esfera centrada na origem de raio 3. Já neste exemplo a esfera completa não define uma função, mas se escolhermos o hemisfério superior ou inferior temos uma função. Escolhendo o hemisfério inferior temos:
.
Vejamos agora que características deve ter a função
. Digamos que
. Neste caso a diferencial de
é
, pois
é constante. Vamos supor que esta restrição
define uma função implícita
.
Então,
.
Onde o lado direito é o diferencial de
e o lado esquerdo isolamos
do diferencial
acima.
Comparando os dois lados da equação percebemos que se existe
e se
então:
(1)
(2)
e
Ou seja, em (2) vemos que para existir a função implícita, a derivada da
em relação a
não pode ser nula, pois não existe divisão por zero.
E se a condição (1) é satisfeita então (2) mostra como deve ser o cálculo das derivadas parciais de
.
Também podemos observar o seguinte em (2), se queremos que as derivadas parciais de
sejam contínuas então as derivadas parciais de
também devem ser contínuas, pois a divisão de funções contínuas é também uma função contínua(desde que o denominador não se anule). Logo
deve ser no mínimo de classe
e nesse caso
também é no mínimo de classe
.[3]
Para facilitar vamos agora enunciar o teorema da função implícita no caso mais simples possível.
Teorema da Função Implícita (Caso Especial parte A,
)
[editar | editar código-fonte]
Seja
uma função de classe
, definida num aberto
, e
tal que
Então existe um retângulo aberto
de centro
tal que
é o gráfico de uma função
de classe
Isto é, para cada
existe um único
tal que
. E para todo
temos
onde estas derivadas são calculadas no ponto
[4]
Sem perda de generalidade, podemos sempre supor que
.
Também vimos nos critérios para existir a função implícita e novamente reforçado no enunciado do teorema que:
i) tanto
como
são funções contínuas e possuem derivadas contínuas, logo, ambos são no mínimo de classe
,
ii) e
Então vamos escolher uma região onde
é sempre positivo ou é sempre negativo. Para fixar as ideias vamos supor que
.
Como
é contínua existem:
a) Um retângulo centrado em
,
e
sendo
e
tal que
em
.
b) E
tal que o módulo(valor absoluto) da derivada parcial,
em
.
Podemos agora escrever:
.
(3)
.
Usando o teorema do valor médio[5] podemos reescrever a parte direita de (3):
.
.
(4)
.
onde
e
estão entre 0 e 1. Agora se definirmos
e
temos que o primeiro termo do lado direito de (4) é em valor absoluto menor que
e o segundo termo do lado esquerdo de (4) é maior ou igual a
. E portanto
é positivo. Repetindo o mesmo procedimento de (3) e (4) para
chegaremos a conclusão que
é negativo. Agora usando o Teorema do Valor Intermediário[6] chegamos a conclusão que existe
entre
e
tal que
. E este ponto
é único pois para
fixado
é crescente pois
em
, e isto mostra que depois que
passa do zero ela continua crescendo(ela não retorna ao zero). Logo para cada
tal que
existe um único
tal que
e esta relação de um para um, para cada x existe um único y, define uma função
. Assim a primeira parte do teorema está demonstrado.
.
Segunda parte:
.
Acabamos de mostrar para cada
que satisfaz
e
existe um único
tal que
e isto define implicitamente a função
. Então para cada
que satisfaz
podemos reescrever (3) e (4)
.
.
(3A)
.
.
(4A)
.
. Em (4A) usamos o fato que
e
e
e
variam, dependem de
e
, mas estão entre 0 e 1.
.
. De (4A) temos:
.
. Quando
, por continuidade tem-se
e
.
.
(5)
.
. Também podemos escolher
e neste caso temos:
.
.
.(5A)
Observe que
é uma função de classe
(derivadas contínuas) e pela condição a)
em
, logo o denominador não se anula e portanto o lado direito de (5) e (5A) é uma função contínua, assim a função
é contínua e portanto
é uma função de classe ,no mínimo,
Teorema da Função Implícita (Caso Especial parte B,
)
[editar | editar código-fonte]
Seja
uma função de classe
(possua derivadas parciais contínuas). Denote os pontos em
por
, onde
e
Assuma que
satisfaz
e
. Então existe uma bola
que contem
em
e uma vizinhança
de
em
tal que existe uma única função
definido para
em
e
em
que satisfaz
.
Além disso, se
em
e
em
satisfaz
, então
. Finalmente,
é de classe
(é uma função com derivadas contínuas), e suas derivadas parciais são calculadas por:
.
.
para
A demonstração é essencialmente a mesma da parte A (adaptado de Marsden e Tromba - Vector Calculus - 4ª edição) . Vamos mostrar para
, logo
. O caso geral para qualquer
é similar, apenas mudando a notação. Escrevemos
e
. Por hipótese
, logo ou é positivo ou é negativo, para fixar as ideias vamos supor que
.
.
Como
é contínua existe:
c) Uma caixa(paralelepípedo) centrado em
,
e
sendo
,
e
tal que
em
.
d) E
tal que o módulo(valor absoluto) da derivada parcial,
e
em
.
.
Podemos agora escrever:
.
(6)
Considere a função
para
e
fixos. Pelo teorema do valor médio existe um número
entre 0 e 1 tal que
.
, isto é,
.
.
.
Substituindo esta fórmula em (6) junto com uma fórmula similar ao segundo termo temos:
.
.
ou
.
(7)
Agora se definirmos
e
temos que o primeiro termo e o segundo termo do lado direito de (7) é em valor absoluto menor que
e o segundo termo do lado esquerdo de (7) é maior ou igual a
, portanto
é positivo. Repetindo o mesmo procedimento de (6) e (7) para
chegaremos a conclusão que
é negativo. Agora usando o Teorema do Valor Intermediário[6] chegamos a conclusão que existe
entre
e
tal que
. E este ponto
é único pois para cada
fixado
é crescente pois
em
, e isto mostra que depois que
passa do zero ela continua crescendo(ela não retorna ao zero). Logo para cada
tal que
existe um único
tal que
e esta relação de um para um, para cada
existe um único
, define uma função
. Assim a primeira parte deste segundo teorema está demonstrado.
- Marsden, Jerrold E. / Tromba, Anthony J., Vector Calculus 4° edição. - W.H.Freeman and Company, 1996. (226; 233 p.).
- Lima, Elon Lages , Curso de Análise vol.2, - Projeto Euclides, IMPA, 1989, (159; 163 p.)
- Spivak, Michael, Calculus, Third Edition, McGraw-Hill, Inc.
- Rudin, Walter, Principles of Mathematical Analysis , Third Edition