Teorema da função implícita

Origem: Wikipédia, a enciclopédia livre.
Saltar para a navegação Saltar para a pesquisa

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.


Versão em [editar | editar código-fonte]

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.

Versão em [editar | editar código-fonte]

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: .

Critérios, condições para existir a função implícita e sua derivada[editar | editar código-fonte]

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]

Demonstração[editar | editar código-fonte]

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


Demonstração[editar | editar código-fonte]

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.

Notas[editar | editar código-fonte]

  1. Also called Dini's theorem by the Pisan school in Italy. In the English-language literature, Dini's theorem is a different theorem in mathematical analysis.
  2. See Chiang 1984.
  3. Marsden and Tromba (1996). Vector Calculus 4º Edition. [S.l.]: W.H.Freeman and Company. pp. 226 pp. 
  4. Lima, Elon Lages (1989). Curso de Análise, vol2. Rio de Janeiro: Impa. pp. 160 pp. 
  5. «Teorema do valor médio» 
  6. a b «Teorema do valor intermediário» 

Referências[editar | editar código-fonte]

  • 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