Superfícies de nível e Curvas no espaço

Seção A.7 Superfícies de nível e Curvas no espaço

Extendemos aqui o conceito de curvas de nível de uma função

f : A \subseteq R^{2} \to R,

visto na Seção A.2, para funções de três variáveis reais,

f : A \subseteq R^{3} \to R .

🔗

Lembramos que todos os resultados apresentados sobre continuidade, derivadas parciais, diferenciabilidade e derivadas direcionais para funções de duas variáveis generalizam-se naturalmente para funções de

n

variáveis (nosso caso de interesse é

n = 3

🔗

Definição A.7.1. Superfície de nível.

Sejam

f : A \subseteq R^{3} \to R

c \in R .

A superfície de nível ou conjunto de nível do nível

c

f

é o conjunto

f^{- 1} (c) = {(x, y, z) \in A : f (x, y, z) = c},

🔗

Note que, nas condições acima, o gráfico de

f

está em

R^{4} .

Deste modo, as superfícies de nível vão nos ajudar a entender melhor o comportamento de tais funções. Vejamos alguns exemplo em analogia ao caso de funções a duas variáveis.

Exemplo A.7.2.

Determine as curvas nível da função

f : R^{3} \to R

dada por

f (x, y) = x^{2} + y^{2} + z^{2} .

Solução.

Começamos observando que o domínio de

f

é todo o

R^{3}

e sua imagem é o conjunto dos reais não-negativos, indicado por

R_{\geq 0} .

Com isso, temos

f^{- 1} (c) = \emptyset,

c < 0 .

Vejamos o que acontece com

c \geq 0 :

$c = 0 :$ $f (x, y, z) = 0 ⟺ x^{2} + y^{2} + z^{2} = 0 ⟺ (x, y, z) = (0, 0, 0);$
$c > 0 :$ $f (x, y, z) = c ⟺ x^{2} + y^{2} + z^{2} = c .$ Neste caso, as soluções são exatamente pontos da esfera de raio $\sqrt{c},$ centrada na origem.

Observamos então que cada ponto de

R^{3}

pertence a um e somente um conjunto de nível de

f (x, y, z) = x^{2} + y^{2} + z^{2} .

html

Figura A.7.3. Conjuntos de nível de

f .

Exemplo A.7.4.

Determine as curvas nível da função

f : R^{3} \to R

dada por

f (x, y) = x^{2} + y^{2} - z^{2} .

Solução.

Começamos observando que o domínio de

f

é todo o

R^{3}

e sua imagem é o conjunto de todos os reais, indicado por

R_{\geq 0} .

Com isso, temos

$c > 0 :$ $f (x, y, z) = c ⟺ x^{2} + y^{2} - z^{2} = c .$ Neste caso, o conjunto solução é um hiperboloide de uma folha.
$c = 0 :$ $f (x, y, z) = 0 ⟺ x^{2} + y^{2} - z^{2} = 0,$ a equação do cone reto;
$c < 0 :$ $f (x, y, z) = c ⟺ x^{2} + y^{2} - z^{2} = c,$ que define um hiperboloide de duas folhas.

Novamente observamos então que cada ponto de

R^{3}

pertence a um e somente um conjunto de nível de

f (x, y, z) = x^{2} + y^{2} - z^{2} .

html

Figura A.7.5. Conjuntos de nível de

f .

🔗

Os dois exemplos acima são casos especiais das superfícies quádricas. Um tabela com suas equações reduzidas para os casos não degenerados pode ser vista aqui ¹. Em Álgebra Linear II você verá um método que explicita um sistema de coordenadas onde a equação de uma dada superfície quádrica se escreve na forma reduzida.

🔗

f : A \subseteq R^{3} \to R

é uma função diferenciável e

γ : I \subseteq R \to R^{3}

é uma curva derivável tal que a imagem de

γ

está contida na superfície de nível

c

f,

então

f (γ (t)) = c,

para todo

t \in I .

Utilizando uma generalização (relativamente óbvia) do Teorema A.6.4 para o

R^{3}

, temos que

0 = (f \circ γ)^{'} (t) = ⟨ \nabla f (γ (t)), γ^{'} (t) ⟩ .

🔗

Isto mostra que o vetor

\nabla f

é ortogonal a todas as curvas cuja imagem está contida numa superfície de nível de

f,

motivando naturalmente a

🔗

Definição A.7.6. Plano Tangente a uma superficie de nível.

Sejam

f : A \subseteq R^{3} \to R

uma função diferenciável e

(x_{0}, y_{0}, z_{0}) \in f^{- 1} (c) .

O plano tangente à superfície de nível

c

f

no ponto

(x_{0}, y_{0}, z_{0})

é o conjunto dos vetores tangentes a todas as curvas cuja imagens contenham

(x_{0}, y_{0}, z_{0})

e estejam contidas em

f^{- 1} (c) .

🔗

Desta maneira,

\nabla f (x_{0}, y_{0}, z_{0})

é o vetor normal a este plano e, como

(x_{0}, y_{0}, z_{0})

pertence a ele, terá equação geral

π : ⟨ \nabla f (x_{0}, y_{0}, z_{0}), (x, y, z) - (x_{0}, y_{0}, z_{0}) ⟩ = 0,

🔗

ou ainda,

\begin{aligned} π : f_{x} (x_{0}, y_{0}, z_{0}) (x - & x_{0}) + f_{y} (x_{0}, y_{0}, z_{0}) (y - y_{0}) \\ (A.7.1) & + f_{z} (x_{0}, y_{0}, z_{0}) (z - z_{0}) = 0. \end{aligned}

🔗

html

Figura A.7.7. Superfície de nível

f

e seu plano tangente.

🔗

Esta equação generaliza a situação anterior, quando a superfície é o gráfico de uma função de duas variáveis,

f : A \subseteq R^{2} \to R .

Basta ver que a superfície de nível

0

da função

F (x, y, z) = f (x, y) - z

é precisamente o gráfico de

f

e que, para todo

(x, y, z) \in F^{- 1} (0),

ou seja,

z = f (x, y),

temos

\nabla F (x, y, z) = (f_{x} (x, y), f_{y} (x, y), - 1) = n_{f} (x, y),

de acordo com o que se segue após a Definição A.4.7. É um bom exercício recuperar a equação presente naquela definição a partir da equação (A.7.1).

🔗

Nota A.7.8.

🔗

Observe que nem sempre uma curva de nível de uma função

F : A \subseteq R^{2} \to R

é o gráfico de função

f : I \subseteq R \to R .

O mesmo ocorre para superfícies de nível de funções a três variáveis: a esfera acima é uma superfície de nível que não é gráfico de uma função a duas variáveis (por quê?).

🔗

Nos casos mais simples, quando as funções envolvidas são lineares, as curvas e superfícies de nível são, respectivamente, retas a planos, cujos vetores são normais são os gradientes das funções (constantes nesse caso). Tais retas ou planos são determinados resolvendo-se um sistema com uma equação e duas ou três variáveis. Para determinar, nesses sistemas, quais são as variáveis dependentes ou livres precisamos descobrir quais os coeficientes do vetor normal a esta reta ou plano são não nulos. Isso equivale à projeção da reta (respectivamente plano) de nível sobre os eixos das demais variáveis ser bijetora.

🔗

Se temos duas superfícies de nível, nesse caso mais simples planos, que não são paralelos ou coincidentes, sua interseção é uma reta. Os vetores normais de tais planos (os gradientes das funções lineares que os definem) são linearmente independentes e a direção da reta de interseção é justamente o produto vetorial desses vetores normais, já que a reta está contida em ambos os planos e portanto ortogonal aos dois vetores normais simultaneamente.

🔗

Algebricamente, encontrar esta reta consiste em resolver um sistema linear com duas equações e três variáveis. A condição para dizer quando uma das variáveis do sistema é a variável livre traduz-se na componente correspondente do vetor diretor da solução (o produto vetorial mencionado acima) ser não nula. Isso garante que a projeção da solução sobre o eixo coordenado daquela variável é bijetora.

🔗

Quando as funções envolvidas não são lineares, as curvas ou superfícies de nível deixam de ser retas ou planos, curvando-se de alguma maneira, consequentemente as soluções dos sistemas, agora não lineares, de ser retas ou planos, também curvando-se. A linearização dessa situação (considerando-se as retas tangentes às curvas de nível ou os planos tangentes às superfícies de nível) remontam aos parágrafos anteriores. Apresentamos a seguir três resultados que nos permitem, sob boas condições, escrever as retas tangentes a curvas de nível ou interseção de superfícies de nível, bem como planos tangente a uma superfície de nível.

🔗

Proposição A.7.9. Retas tangentes a curvas de nível.

Sejam

F : A \subseteq R^{2} \to R

uma função diferenciável no aberto

A

(x_{0}, y_{0}) \in A

tal que

F (x_{0}, y_{0}) = 0 .

Se existe uma função derivável

f : I \subseteq R \to J \subset R,

com

x_{0} \in I,

y_{0} \in J,

tal que

y_{0} = f (x_{0}),

F (x, f (x)) = 0

F_{y} (x, f (x)) \neq 0,

para todo

x \in I,

então

f^{'} (x) = - \frac{F_{x} (x, f (x))}{F_{y} (x, f (x))} .

🔗

Nota A.7.10.

Caso tal

f

exista mesmo quando

F_{y} (x_{0}, y_{0}),

então devemos ter obrigatoriamente que

f_{x} (x_{0}, y_{0}) = 0 .

Demonstração.

Suponha a existência de tal

f,

podemos pensar na curva

γ (x) = (x, f (x)),

x \in I

e usar a regra da cadeia (Teorema A.6.4) para derivar a relação

F ((x, f (x)) = 0,

obtendo

0 = ⟨ \nabla F (x, f (x)), (1, f^{'} (x)) ⟩ ⟹ F_{x} (x, f (x)) + F_{y} (x, f (x)) f^{'} (x) = 0.

Como

F_{y} (x, f (x)) \neq 0,

temos a tese.

🔗

Proposição A.7.11. Planos tangentes a superfícies de nível.

Sejam

F : A \subseteq R^{3} \to R

uma função diferenciável no aberto

A

(x_{0}, y_{0}, z_{0}) \in A

tal que

F (x_{0}, y_{0}, z_{0}) = 0 .

Se existe uma função derivável

f : B \subseteq R^{2} \to J \subset R,

com

(x_{0}, y_{0}) \in B,

z_{0} \in J,

tal que

z_{0} = f (x_{0}, y_{0}),

F (x, y, f (x, y)) = 0

F_{z} (x, y, f (x, y)) \neq 0,

para todo

x \in I,

então

\frac{\partial f}{\partial x} (x, y) = - \frac{F_{x} (x, y, f (x, y))}{F_{z} (x, y, f (x, y))} e \frac{\partial f}{\partial y} (x, y) = - \frac{F_{y} (x, y, f (x, y))}{F_{z} (x, y, f (x, y))}

Demonstração.

A demonstração deste resultado é análoga à anterior, considerando agora duas curvas: para cada

y

fixado,

γ_{1} (x) = (x, y, f (x, y))

e, para cada

x

fixado,

γ_{2} (y) = (x, y, f (x, y)) .

Derive então, em relação a

x

y,

respectivamente, as expressões

F (γ_{1} (x)) = 0

F (γ_{2} (y)) = 0 .

🔗

Proposição A.7.12. Retas tangentes a interseção de superfícies de nível.

Sejam

F, G : A \subseteq R^{3} \to R

funções diferenciáveis no aberto

A

(x_{0}, y_{0}, z_{0}) \in A

tal que

F (x_{0}, y_{0}, z_{0}) = 0 = G (x_{0}, y_{0}, z_{0}) .

Se existe uma função derivável

γ : I \subseteq R \to R^{3},

com

x_{0} \in I

tal que

γ (x_{0}) = (x_{0}, y_{0}, z_{0}),

F (γ (x)) = 0 = G (γ (x))

det [\begin{matrix} F_{y} & F_{z} \\ G_{y} & G_{z} \end{matrix}] (γ (x)) \neq 0,

para todo

x \in I,

então

γ^{'} (x) = (1, y^{'} (x), z^{'} (x)),

onde

y^{'} (x) = - \frac{det [\begin{matrix} F_{x} & F_{z} \\ G_{x} & G_{z} \end{matrix}] (γ (x))}{det [\begin{matrix} F_{y} & F_{z} \\ G_{y} & G_{z} \end{matrix}] (γ (x))} e z^{'} (x) = - \frac{det [\begin{matrix} F_{y} & F_{x} \\ G_{y} & G_{x} \end{matrix}] (γ (x))}{det [\begin{matrix} F_{y} & F_{z} \\ G_{y} & G_{z} \end{matrix}] (γ (x))}

🔗

Nota A.7.13.

O determinante que pedimos ser não nulo nas hipóteses é o que garante que podemos ter a primeira componente de

γ^{'} (x)

não nula, que é então paralelo vetor

(det [\begin{matrix} F_{y} & F_{z} \\ G_{y} & G_{z} \end{matrix}], det [\begin{matrix} F_{x} & F_{z} \\ G_{x} & G_{z} \end{matrix}], det [\begin{matrix} F_{x} & F_{y} \\ G_{x} & G_{y} \end{matrix}]) (γ (x)) = (\nabla F \times \nabla G) (γ (x)) .

Demonstração.

Temos aqui um sistema não linear com duas equações:

{\begin{cases} F (x, y (x), z (x)) & = 0 \\ G (x, y (x), z (x)) & = 0. \end{cases}

Derivando em relação a

x,

com a regra da cadeia (Teorema A.6.4), obtemos, para cada

x

fixado e omitindo os pontos de aplicação, um sistema linear com duas equações nas incógnitas

y^{'} (x)

z^{'} (x) :

{\begin{cases} F_{y} y^{'} (x) + F_{z} z^{'} (x) & = - F_{x} \\ G_{y} y^{'} (x) + G_{z} z^{'} (x) & = - G_{x} . \end{cases}

Aplicando a regra de Cramer ² para a solução de sistemas lineares, temos as fórmulas do enunciado.

🔗

Isto nos permite determinar a reta tangente a uma curva que é dada pela interseção de duas superfícies de nível, mesmo que não consigamos paramatrizá-la. Mas atenção: é necessário saber que tal interseção é uma curva derivável! Retomamos, como exemplo, o Exercício 1.8.2.a, para determinar a reta tangente à interseção das duas superfícies no ponto

(1, 1, 2,) :

consideramos

F (x, y, z) = x^{2} + y^{2} - z

G (x, y, z) = 2 y - z

que têm como superfícies de nível

0

aquelas do exercício. Seus gradientes são

\nabla F (x, y, z) = (2 x, 2 y, - 1)

\nabla G = (0, 2, - 1) .

Assim, o vetor diretor da reta pedida é um múltiplo não nulo de

\nabla F (1, 1, 2) \times \nabla G (1, 1, 2) = (2, 2, - 1) \times (0, 2, - 1) = (0, 2, 4),

🔗

por exemplo

\vec{v} = (0, 1, 2),

e a reta tangente é

r : (x, y, z) = (1, 1, 2) + λ (0, 1, 2),

λ \in R .

html

Figura A.7.14. Interseções de superfícies de nível e sua reta tangente.

🔗

Os três resultados acima admitem recíprocas locais, ou seja, se as funções que definemas as curvas ou superfícies de nível do enunciados são de classe

C^{1}

(condição que pode ser relaxada) e as derivadas parciais não nulas dos enunciados acontecem num ponto da curva de nível, superfície de nível ou interseção de superfícies de nível, então é possível exibir uma vizinhança de tal objeto como gráfico de uma curva ou função, tambémm de classe

C^{1},

com as derivadas dadas pelas fórmulas acima. Estes resultados são os celebrados Teoremas das Funções Implícitas, que admitem um enunciado unificado em contexto bem mais gerais. Um texto com demonstrações simples e muitos exemplos para as situações de interesse neste curso pode ser acessado aqui ³. Agradecemos ao professor Oswaldo Rio Branco do IME-USP pelo excelente texto que preparou.

Anterior Top Próximo