next up previous
Next: Curvas em Up: Espaço Euclideano Previous: Vetores Tangentes

Derivadas direcionais

Associada a cada vetor tangente $v_p \in \mathbb{R}^3$ está a reta

\begin{displaymath}
t\mapsto p+tv
\end{displaymath}

Seja $f$ uma função diferenciável em $\mathbb{R}^3$, e considere a função

\begin{displaymath}
t\mapsto f(p+tv)\;,
\end{displaymath}

que é uma função diferenciável na reta real. É claro que a derivada desta função de $t$, em $t=0$, nos diz como $f$ varia ao longo da reta que tem a direção de $v$.
3.1 Def. Seja $f:\mathbb{R}^3 \mapsto \mathbb{R}$ diferenciável, seja $v_p$ um vetor tangente a $\mathbb{R}^3$. O número

\begin{displaymath}
v_p[f]=\frac{d}{dt}\left(f(p+tv)\right)_{t=0}
\end{displaymath}

é a derivada de $f$ em relação a $v_p$. Outra denominação usada é a de derivada direcional na direção de $v_(p)$.
Exemplo:

\begin{eqnarray*}
f & = & x^2yz\\
p & = & (1,1,0)\\
v & = & (1,0,-3)\\
p+...
... (1+t,1,-3t)\\
f(p+tv) & = & (1+t)^2.1.(-3t)=-3t-6t^2-3t^3\\
\end{eqnarray*}



e então

\begin{displaymath}
\frac{d}{dt}\left(f(p+tv)\right)=-3-12t-9t^2
\end{displaymath}

Para $t=0$,

\begin{displaymath}
v_p[f]=-3
\end{displaymath}

O cálculo de $v_p[f]$ pode ser reduzido ao cálculo das derivadas parciais no ponto $p$, como mostram os lemas a seguir.

3.2 Lema Se $v_p=(v_1,v_2,v_3)$ é um vetor tangente a $\mathbb{R}^3$, então

\begin{displaymath}
v_p[f]=\sum v_i\frac{\partial f}{\partial x_i}(p)
\end{displaymath}

Prova

\begin{eqnarray*}
f(p+tv) & = & f(p_1+tv_1,p_2+tv_2,p_3+tv_3)\\
\frac{d}{dt}(...
...(f(p+tv)\right)_{t=0}=\sum\frac{\partial f}{\partial x_i}(p)v_i
\end{eqnarray*}



As principais propriedades dessa derivada direcional são:

3.3 Teorema Sejam $f,g : \mathbb{R}^3\mapsto \mathbb{R}$, $v_p$ e $w_p$ vetores tangentes, $a$ e $b$, números. Então,

\begin{displaymath}
(1)(av_p+bw_p)[f]=av_p[f]+bw_p[f]
\end{displaymath}


\begin{displaymath}
(2) v_p[af+bg]=av_p[f]+bv_p[g]
\end{displaymath}


\begin{displaymath}
v_p[fg]=v_p[f].g(p)+f(p)v_p[g]
\end{displaymath}

de demonstração imediata.
As primeiras duas propriedades podem ser sumarizadas assim: $v_p[f]$ é linear em $v_p$ e em $f$. A terceira é a propriedade de Leibnitz. Todos os tipos de derivação que vamos encontrar têm essa característica: linearidade e Leibnitz. Dado um campo vetorial $V$ e uma função $f$, podemos falar na função $V[f]$. De fato, em cada ponto $p$ essa função tem o valor $V_p[f]$, ou seja, a derivada de $f$ em relação ao vetor tangente $V(p)$. Seja $U_1,U_2,U_3$ o campo de referenciais naturais em $\mathbb{R}^3$. Lembrando que
$\displaystyle U_{1\;p}$ $\textstyle =$ $\displaystyle (1,0,0)_p$ (1)
$\displaystyle U_{2\;p}$ $\textstyle =$ $\displaystyle (0,1,0)_p$ (2)
$\displaystyle U_{3\;p}$ $\textstyle =$ $\displaystyle (0,0,1)_p$ (3)

temos, evidentemente, que $U_i[f]=\frac{\partial f}{\partial x^i}$. Por exemplo:

\begin{displaymath}
U_1(\vec{p})[f]=\frac{d}{dt}\left(f(p_1+t,p_2,p_3)\right)_{t=0}=\frac{\partial f}{\partial
x^1}(\vec{p})
\end{displaymath}


3.4 Corolário. Sejam $V$ e $W$ campos vetoriais em $\mathbb{R}^3$ e $f,g,h$ funções reais $(\mathbb{R}^3\rightarrow \mathbb{R})$. 1. $(fV+gW)[h]=fV[h]+gW[h]$
2. $V[af+bg]=aV[f]+bV[g]$
3. $V[fg]=V[f].g+fV[g]$
Demonstração simples. Exemplo:

\begin{displaymath}
V(\vec{p})[fg]=V(\vec{p})[f].g(\vec{p})+f(\vec{p})[g]
\end{displaymath}

ou seja;

\begin{displaymath}
V[fg](\vec{p})=V[f].g(\vec{p})+fV[g](\vec{p})
\end{displaymath}

Para simplificar a notação, nem sempre vamos escrever o ponto de aplicação de um vetro $\vec{v}_p$.
next up previous
Next: Curvas em Up: Espaço Euclideano Previous: Vetores Tangentes
Henrique Fleming 2002-10-02