Edit page

Função Inversa e Função Implícita

Teorema da Função Inversa

Em CDI-I, tínhamos que qualquer f:RRf: \R \to \R injetiva, isto é, objetos diferentes têm imagens diferentes, admitia inversa f1:CRf^{-1}: C \to \R.

Também se sabia que numa vizinhança, se ff for diferenciável e f0f' \ne 0, então f1f^{-1} é diferenciável e que

(f1)(y)=1f(f1(y))(f^{-1})'(y)=\frac{1}{f'(f^{-1}(y))}

Como exemplo, temos f(x)=exf(x) = e^x, em que

f(x)=exf(x)=ex0    f1eˊ diferenciaˊvel(logy)=(f1)(y)=1f(f1(y))=1f(logy)=1elogy=1y\begin{darray}{c} f(x)=e^x \quad f'(x) = e^x \ne 0 \implies f^{-1} \text{é diferenciável}\\ (\log y)' = (f^{-1})'(y)=\frac{1}{f'(f^{-1}(y))} = \frac{1}{f'(\log y)} = \frac{1}{e^{\log y}} = \frac{1}{y} \end{darray}

TEOREMA

Seja f:RnRnf: \R^n \to \R^n uma função de classe C1C^1, e aRna\in\R^n.

Se detDf(a)0\det Df(a) \ne 0, então ff é invertível numa vizinhança de aa e está definida a função f1f^{-1}:

f1:VRnRnDf1(y)=(Df(f1(y)))1,yV\begin{darray}{c} f^{-1}: V \subset \R^n \to \R^n\\ Df^{-1}(y) = \left(D f(f^{-1}(y))\right)^{-1}, \forall y \in V \end{darray}

warning

Caso tenhamos que detDf(a)=0\det D f(a) = 0, não podemos concluir se a função é inversa ou não.

Por exemplo:

  • Com f:RR,f(x)=x2f: \R \to \R, f(x) = x^2, então f(0)=0f'(0) = 0 e a função não é invertível na vizinhança de 0.
    Origem da Função Quadrática x^2
  • Com f:RR,f(x)=x3f: \R \to \R, f(x) = x^3, então f(0)=0f'(0) = 0 e a função é invertível na vizinhança de 0.
    Origem da Função Cúbica x^3
Exemplos

Seja

f(x,y)=(excosy,exsiny)x,yRf:R2R2C1\begin{array}{l l l l} f(x,y) = (e^x \cos y, e^x \sin y) & x,y \in \R & f:\R^2 \to \R^2 & C^1 \end{array}

Será que ff é invertível numa vizinhança de (1,0)(1,0)?

Começamos então por calcular a Jacobiana de ff, e ver se esta é nula em (1,0)(1,0).

Df(x,y)=[excosyexsinyexsinyexcosy]Df(x,y)= \begin{bmatrix} e^x \cos y & - e^x \sin y\\ e^x \sin y & e^x \cos y \end{bmatrix}
Df(1,0)=[e00e]Df(1,0)= \begin{bmatrix} e & 0\\ 0 & e \end{bmatrix}
detDf(1,0)=e20\det Df(1,0) = e^2 \ne 0

Então, pelo Teorema da Função Inversa, ff é invertível numa vizinhança de (1,0)(1,0) e

Df1(u,v)=(Df(f1(u,v)))1Df^{-1}(u,v) = \left(Df \left(f^{-1}(u,v) \right) \right)^{-1}
f(1,0)=(e,0)    f1(e,0)=(1,0)Df1(e,0)=(Df(f1(e,0)))1=(Df(1,0))1=[e00e]1=[1e001e]\begin{darray}{c} f(1,0) = (e,0) \implies f^{-1}(e,0) = (1,0)\\ Df^{-1}(e, 0) = \left(Df\left(f^{-1}(e,0) \right) \right)^{-1} = \left(Df(1,0) \right)^{-1} = \begin{bmatrix} e & 0\\ 0 & e \end{bmatrix}^{-1} = \begin{bmatrix} \frac{1}{e} & 0 \\ 0 & \frac{1}{e} \end{bmatrix} \end{darray}

Este exemplo corresponde ao exercício 1 da ficha 8

f:{(x,y)R2,x0}R2f(x,y)=(xy,yx)\begin{array}{ll} f: \{(x,y) \in \R^2, x \ne 0\} \to \R^2\\ f(x,y) = (xy, \frac{y}{x}) \end{array}

a. Mostre que ff não é injetiva.

Temos de encontrar 2 pontos c/ a mesma imagem.

{f(1,1)=(1,1)f(1,1)=(1,1)\begin{cases} f(1,1)=(1,1)\\ f(-1,-1) = (1,1) \end{cases}
f(x,0)=(0,0),x0f(x,0) = (0,0), \quad \forall x \ne 0

b. Encontrar um subconjunto (aberto) do domínio onde ff seja injetiva

D={(x,y)R2:x,y>0}D= \{ (x,y) \in \R^2 : x,y > 0 \}

Será que ff é injetiva em DD?

f(x1,y1)=f(x2,y2),(x1,y1),(x2,y2)Df(x_1,y_1) = f(x_2, y_2), \quad (x_1,y_1), (x_2, y_2) \in D

Então, será que (x1,y1)=(x2,y2)(x_1,y_1) = (x_2, y_2)?

f(x1,y1)=f(x2,y2){x1y1=x2y2y1x1=y2x2{y1=x2x1y2x2y2x12=y2x2{y1=x2x1y2x2x12=1x2{x22=x12{y1=x2x1y2x2=x1x2=x1impossıˊvel porquex1,x2>0{y1=y2x1=x1\begin{aligned} f(x_1, y_1) = f(x_2,y_2) &\Leftrightarrow \begin{cases} x_1 y_1 = x_2 y_2\\ \frac{y_1}{x_1} = \frac{y_2}{x_2} \end{cases}\\ &\Rightarrow \begin{cases} y_1 = \frac{x_2}{x_1} y_2\\ \frac{x_2 y_2}{x_1^2} = \frac{y_2}{x_2} \end{cases}\\ &\Rightarrow \begin{cases} y_1 = \frac{x_2}{x_1} y_2\\ \frac{x_2}{x^2_1} = \frac{1}{x_2} \end{cases}\\ &\Rightarrow \begin{cases} -\\ x^2_2=x^2_1 \end{cases}\\ &\Rightarrow \begin{cases} y_1=\frac{x_2}{x_1}y_2\\ x_2=x_1 \lor \underbrace{x_2=-x_1}_{\begin{array}{c}\scriptsize{\text{impossível porque}}\\\scriptsize{ x_1,x_2>0}\end{array}} \end{cases}\\ &\Rightarrow \begin{cases} y_1=y_2\\ x_1=x_1 \end{cases} \end{aligned}

Logo é injetiva

c. Mostre que ff tem inversa local em torno do ponto (2,2)(2,2)

Sim, porque (2,2)D(2,2) \in D e ff é injetiva em DD.

Aplicando o Teorema da Função Inversa,

  • fC1f \in C^1
  • f(x,y)=(xy,yx)f(x,y) = (xy, \frac{y}{x})
  • f(2,2)=(4,1)f(2,2) = (4,1)
Df(x,y)=[yxyx21x]Df(2,2)=[221212]\begin{array}{ll} Df(x,y)= \begin{bmatrix} y & x\\ -\frac{y}{x^2} & \frac{1}{x} \end{bmatrix} & Df(2,2) = \begin{bmatrix} 2 & 2\\ -\frac{1}{2} & \frac{1}{2} \end{bmatrix} \end{array}
  • detDf(2,2)=1(1)=20\det Df(2,2) = 1-(-1) = 2 \ne 0

Pelo Teorema da Função Inversa, a função é localmente invertível em (2,2)(2,2).

d. Calcule Df1(4,1)Df^{-1} (4,1), em que f1f^{-1} designa uma das funções inversas de ff

f1(4,1)=(2,2)f^{-1}(4,1) = (2,2)

Df1(4,1)=(Df(2,2))1=[221212]1=[141141]Df^{-1}(4,1) = (Df(2,2))^{-1} = \begin{bmatrix} 2 & 2\\ -\frac{1}{2} & \frac{1}{2} \end{bmatrix}^{-1} = \begin{bmatrix} \frac{1}{4} & -1\\ \frac{1}{4} & 1 \end{bmatrix}

Teorema da Função Implícita

TEOREMA

Seja FC1,F:Rn×RmRmF \in C^1, F: \R^n \times \R^m \to \R^m e considerando a curva de nível F=0F = 0 e um ponto a=(x0,y0)a = (x_0, y_0) nessa curva.

Se det(DyF)(a)0\det (D_y F)(a) \ne 0, então numa vizinhança de aa, a curva de nível é um gráfico y=f(x)y=f(x) para uma função desconhecida ff.

DyFD_y F é a matriz jacobiana só em relação às variáveis yy

Além disso, ficamos também a saber que:

Dxf(x)=(DyF)1DxF(x,f(x))D_xf(x) = - (D_yF)^{-1} D_x F(x, f(x))
Demonstração
{F(x,y)=0y=f(x)F(x,f(x))=0,x na vizinhanc¸aD(F(x,f(x)))=0DxF+DyFDxf=0DyFDxf=DxFDxf(x)=(DyF)1DxF(x,f(x))\begin{aligned} \begin{cases} F(x,y) = 0\\ y=f(x) \end{cases} & \Rightarrow F(x,f(x)) = 0,\quad \forall x \text{ na vizinhança}\\ & \Rightarrow D(F(x, f(x))) = 0\\ & \Rightarrow D_xF + D_yF \cdot D_x f = 0\\ & \Rightarrow D_yF \cdot D_xf = - D_xF\\ & \Rightarrow D_xf(x) = - (D_yF)^{-1} D_x F(x, f(x)) \end{aligned}
Exemplos

Mostre que numa vizinhança de (0,π)(0, \pi) a equação F(x,y)=x2y+sin(x+y)=0F(x,y) = x^2y + \sin(x+y) = 0 define yy como função de xx.

Começamos por certificar as condições para aplicar o Teorema da Função Implícita:

  • FC1F \in C^1
  • F(0,π)=02×π+sin(0+π)=0F(0, \pi) = 0^2 \times \pi + \sin(0 + \pi) = 0
  • Fy(0,π)=x2+cos(x+y)(0,π)=cos(π)=10\frac{\partial F}{\partial y}\big|_{(0,\pi)} = x^2+\cos(x+y) \big|_{(0,\pi)} = \cos(\pi) = -1 \ne 0
    Fy\frac{\partial F}{\partial y} é a matriz jacobiana relativa às variáveis que vão ficar dependentes

Pelo Teorema da Função Implícita, numa vizinhança de (0,π)(0, \pi), existe y=f(x)y = f(x).

f(0)=(Fy(0,π))1Fx(0,π)=11(2xy+cos(x+y))(0,π)=1\begin{aligned} f'(0) &= - \left(\frac{\partial F}{\partial y} (0, \pi) \right)^{-1} \cdot \frac{\partial F}{\partial x}(0, \pi)\\ &= -\frac{1}{-1} (2xy+\cos(x+y)) \big|_{(0,\pi)}\\ &= -1 \end{aligned}

Mostre que na vizinhança de (1,1,1,1)(1,1,1,1) as equações

{xu+yvu2=2xu3+y2v4=2\begin{cases} xu + yvu^2 = 2\\ xu^3 + y^2v^4 = 2 \end{cases}

definem uu e vv como funções de xx e yy.
Além disso, calcule ux(1,1)\frac{\partial u}{\partial x}(1,1)

Podemos então escrever F(x,y,u,v)=(xu+yvu22,xu3+y2v42)F(x,y,u,v) = (xu + yvu^2 - 2, xu^3 + y^2v^4 - 2)

De seguida, verificamos as condições para a aplicação do teorema:

  • FC1F\in C^1
  • F(1,1,1,1)=(1+12,1+12)=(0,0)F(1,1,1,1) = (1+1-2, 1+1-2) = (0,0)
D(u,v)F=[x+2yvuyu23xu24y2v3](1,1,1,1)=[3134]D_{(u,v)} F = \begin{bmatrix} x+2yvu & yu^2\\ 3xu^2 & 4y^2v^3 \end{bmatrix} _{\big |_{(1,1,1,1)}} = \begin{bmatrix} 3 & 1\\ 3 & 4 \end{bmatrix}
  • detD(u,v)F=90\det D_{(u,v)} F = 9 \ne 0

Pelo Teorema da Função Implícita, numa vizinhança de (1,1,1,1)(1,1,1,1), existe (u,v)=f(x,y)(u,v) = f(x,y).

D(x,y)f(1,1)=[D(u,v)F(1,1,1,1)]1DF(x,y)(1,1,1,1)=...=[1329013]\begin{aligned} D_{(x,y)} f (1,1) &= - [D_{(u,v)} F(1,1,1,1)]^{-1} DF_{(x,y)} (1,1,1,1)\\ &= ...\\ &= \begin{bmatrix} -\frac{1}{3} & -\frac{2}{9}\\ 0 & -\frac{1}{3} \end{bmatrix} \end{aligned}

Pelo que ux=13\frac{\partial u}{\partial x} = -\frac{1}{3}, correspondente à entrada 0,00,0 da matriz acima.

(u,v)=f(x,y)=(f1(x,y),f2(x,y))(u, v) = f(x,y) = (f_1(x,y) , f_2(x,y))
{u=f1(x,y)v=f2(x,y){u=u(x,y)v=v(x,y)\begin{cases} u=f_1(x,y)\\ v=f_2(x,y) \end{cases} \Rightarrow \begin{cases} u=u(x,y)\\ v=v(x,y) \end{cases}

Considerando

x3+x2y+ey21=3a=(1,1)\begin{array}{l l} x^3 + x^2y + e^{y^2-1} = 3 & \text{e } a = (1,1) \end{array}

Será que é possível definir yy em função de xx, isto é, existe y=y(x)y = y(x)?

  • F(x,y)=x3+x2y+ey213F(x,y) = x^3+x^2y+e^{y^2-1} - 3
  • FC1F \in C^1
  • F(a)=0F(1,1)=1+1+13=0F(a) = 0 \Leftrightarrow F(1,1) = 1+1+1-3 = 0
  • detDyF=x2+2yey21(x,y)=(1,1)=1+2=30\det D_yF = x^2+2ye^{y^2-1} \big|_{(x,y) = (1,1)} = 1+2=3 \ne 0

Pelo Teorema da Função Implícita, numa vizinhança de (1,1)(1,1), existe y=y(x)y = y(x) e F(x,y(x))=0F(x,y(x)) = 0

Qual o valor de y(1)y'(1) e y(1)y''(1)?

Sabemos que y(1)=1y(1) = 1. Logo, pelo Teorema da Função Implícita, podemos escrever:

y(1)=(Fy)1Fx=13Fx(1,1)=53y'(1) = -\left(\frac{\partial F}{\partial y} \right)^{-1} \cdot \frac{\partial F}{\partial x} = - \frac{1}{3} \cdot \frac{\partial F}{\partial x}(1,1) = -\frac{5}{3}

Para descobrirmos o valor de y(1)y''(1) precisamos primeiro de descobrir a expressão de y(x)y'(x) para podermos usar a regra da cadeia.

Fx(1,1)=3x2+2xy(1,1)=5\frac{\partial F}{\partial x}(1,1) = 3x^2+2xy \big|_{(1,1)} = 5

Sabendo que F(x,y(x))=0,xF(x,y(x)) = 0, \forall x na vizinhança de 1, podemos usar a regra da cadeia para obter a expressão de y(x)y'(x):

 ⁣d ⁣dxF(x,y(x))=0Fx(x,y(x))+Fy(x,y(x))yx=0y=yx=(Fy)1Fx\begin{aligned} \frac{\d}{\d x} F(x,y(x)) = 0 &\Leftrightarrow \frac{\partial F}{\partial x} (x,y(x)) + \frac{\partial F}{\partial y} (x,y(x)) \cdot \frac{\partial y}{\partial x} = 0\\ &\Leftrightarrow y'=\frac{\partial y}{\partial x} = - \left(\frac{\partial F}{\partial y}\right)^{-1} \frac{\partial F}{\partial x} \end{aligned}
 ⁣d2 ⁣dx2(F(x,y(x)))=0 ⁣d ⁣dx(Fx(x,y(x))+Fy(x,y(x))y(x))=02Fx2+2Fxyy(x)+(2Fxy+2Fy2y(x))y(x)++Fy(x,y(x))y(x)=0\begin{darray}{l} \frac{\d^2}{\d x^2}(F(x,y(x))) = 0\\ \Leftrightarrow \frac{\d}{\d x}\left(\frac{\partial F}{\partial x}(x,y(x)) + \frac{\partial F}{\partial y}(x,y(x)) \cdot y'(x)\right) = 0\\ \Leftrightarrow \frac{\partial^2 F}{\partial x^2} + \frac{\partial^2 F}{\partial x \partial y} \cdot y'(x) + \left(\frac{\partial^2 F}{\partial x \partial y} + \frac{\partial^2 F}{\partial y^2} \cdot y'(x) \right) \cdot y'(x) +\\ \quad +\frac{\partial F}{\partial y}(x,y(x)) \cdot y''(x) =0 \end{darray}

(1)

Determinando agora os valores necessários:

Fx=3x2+2xyFy=x2+2yey21Fy(1,1)=32Fx2=6x+2y2Fxy=2x2Fy2=4y2ey21+2ey212Fx2(1,1)=82Fxy(1,1)=22Fy2(1,1)=6\begin{darray}{l l l} \frac{\partial F}{\partial x} = 3x^2 + 2xy & \frac{\partial F}{\partial y} = x^2 + 2ye^{y^2-1} & \frac{\partial F}{\partial y}(1,1) = 3\\ \frac{\partial^2 F}{\partial x^2} = 6x +2y & \frac{\partial^2 F}{\partial x \partial y} = 2x & \frac{\partial^2 F}{\partial y^2} = 4y^2e^{y^2-1} + 2e^{y^2-1}\\ \frac{\partial^2 F}{\partial x^2}(1,1) = 8 & \frac{\partial^2 F}{\partial x \partial y}(1,1) = 2 & \frac{\partial^2 F}{\partial y^2}(1,1) = 6 \end{darray}

Então, substituindo na expressão (1), e relembrando que y(1)=53y'(1) = -\frac{5}{3},

 ⁣d2 ⁣dx2(F(x,y(x)))=08+2y(1)+(2+6y(1))y(1)+3y(1)=0y(1)=13(8+2y(1)+2y(1)+6(y(1))2)y(1)=13(8+2(53)+2(53)+6(53)2)y(1)=6\begin{darray}{l} \frac{\d^2}{\d x^2}(F(x,y(x))) = 0\\ \Leftrightarrow 8+2y'(1) + (2+6\cdot y'(1)) \cdot y'(1) + 3y''(1) = 0\\ \Leftrightarrow y''(1) = -\frac{1}{3} (8+2y'(1) + 2y'(1) + 6(y'(1))^2)\\ \Leftrightarrow y''(1) = -\frac{1}{3} \left(8+2 \left(-\frac{5}{3} \right) + 2 \left(-\frac{5}{3} \right) + 6\left(-\frac{5}{3} \right) ^2 \right)\\ \Leftrightarrow y''(1) = -6 \end{darray}

Considerando

F(x,y)=xy,C1F(x,y) = xy \quad, \quad C^1

podemos descobrir o seguinte:

F=0x=0y=0F=0 \Leftrightarrow x=0\lor y=0

Podemos aplicar o Teorema da Função implícita quando x=0x=0 ou quando y=0y=0.

Assim, no ponto (x0,y0)=(0,0)(x_0, y_0) = (0,0) sabemos que F(x0,y0)=0F(x_0, y_0) = 0.

Será que existe y=y(x)y = y(x) neste ponto?

Fy=xx0,y0=0=0\frac{\partial F}{\partial y} = x |_{x_0,y_0 = 0} = 0

Não, pois o determinante é nulo.

E x=x(y)x = x(y)?

Fx=yx0,y0=0=0\frac{\partial F}{\partial x} = y |_{x_0,y_0 = 0} = 0

Não, pois o determinante é nulo.

Considerando agora o ponto (x0,y0)=(0,1)(x_0, y_0) = (0,1).

Será que existe x=x(y)x = x(y) neste ponto?

Fx=y(x0,y0)=(0,1)=1\frac{\partial F}{\partial x} = y |_{(x_0,y_0) = (0,1)} = 1

Sim, o Teorema da Função Implícita aplica-se.


Este exemplo corresponde ao exercício 4 da ficha 8

Mostre que a equação 2z+x2z5+y2x3+xy=22z + x^2z^5 + y^2x^3 + xy = 2 define implicitamente zz como função de xx e de yy, em torno do ponto (0,0,1)(0, 0, 1). Calcule o valor de 2zyx(0,0)\frac{\partial^2 z}{\partial y \partial x}(0,0).

Começamos por definir a função FF:

F(x,y,z)=2z+x2z5+y2x3+xy2F(x,y,z) = 2z + x^2z^5 + y^2x^3 + xy - 2

Verificamos as condições para aplicação do TFI:

  • FC1F \in C^1
  • F(0,0,1)=2+0+0+02=0F(0,0,1)= 2+0+0+0-2=0
  • detDzF(0,0,1)=Fz(0,0,1)=[2+5x2z4](0,0,1)=20\det D_z F(0,0,1) = \frac{\partial F}{\partial z}(0,0,1) = [2+5x^2z^4]_{\big|_{(0,0,1)}} = 2 \ne 0

Pelo Teorema da Função Implícita, numa vizinhança de (0,0,1)(0,0,1),

z=z(x,y)F(x,y,z(x,y))=0\begin{array}{cc} z = z(x,y) & F(x,y, z(x,y)) = 0 \end{array}
Dx,yz=(DzF)1Dx,yF=12+5x2z4Dx,yF=12+5x2z4[2xz5+3x2y2+y2yx3+x]\begin{aligned} D_{x,y} z &= -(D_zF)^{-1} D_{x,y} F\\ &= -\frac{1}{2+5x^2z^4} \cdot D_{x,y} F\\ &= -\frac{1}{2+5x^2z^4} \begin{bmatrix} 2xz^5 + 3x^2y^2+ y & 2yx^3+x\end{bmatrix} \end{aligned}

Então,

zx=2xz5+3x2y2+y2+5x2z4\frac{\partial z}{\partial x} = - \frac{2xz^5+3x^2y^2+y}{2+5x^2z^4}

E voltando a derivar esta expressão, em ordem a yy:

2zyx=y(2xz5+3x2y2+y2+5x2z4)=(10xz4zy+6x2y+1)(2+5x2z4)(2xz5+3x2y2+y)(20x2z3zy)(2+5x2z4)2\begin{aligned} \frac{\partial^2 z}{\partial y \partial x} &= \frac{\partial}{\partial y}\left(-\frac{2xz^5+3x^2y^2+y}{2+5x^2z^4}\right)\\ &= -\frac{(10xz^4 \frac{\partial z}{\partial y} + 6x^2y+1) \cdot(2+5x^2z^4) - (2xz^5+3x^2y^2+y)\cdot(20x^2z^3 \frac{\partial z}{\partial y})}{(2+5x^2z^4)^2} \end{aligned}

Para (x,y)=(0,0)(x,y) = (0,0) e z=1z=1:

2zyx(0,0)=204=12\frac{\partial^2 z}{\partial y \partial x}(0,0)=-\frac{2-0}{4} = \frac{1}{2}

Slides: