Segundas derivadas parciais

Considere uma função com entrada bidimensional, tal como

$f(x,y)=x^2{y}^3$‍.

Suas derivadas parciais ${\displaystyle \frac{\partial f}{\partial x}}$‍ e ${\displaystyle \frac{\partial f}{\partial y}}$‍ usam a mesma entrada bidimensional $(x,y)$‍:

Portanto, também podem podemos calcular a derivadas parciais das das derivadas parciais.

Essas são chamadas derivadas parciais de segunda ordem, e a notação é análoga à notação ${\displaystyle \frac{d^{2}f}{d{x}^2}}$‍ da segunda derivada em cálculo de uma variável:

Usando a notação $f_x$‍ para a derivada parcial (nesse caso, em relação a $x$‍), você também pode ver as derivadas parciais de segunda ordem escritas como:

As derivadas parciais de segunda ordem que envolvem múltiplas variáveis de entrada distintas, como $f_{yx}$‍ e $f_{xy}$‍, são chamadas de "derivadas parciais mistas"

Problema: encontre todas as derivadas parciais de segunda ordem de $f(x,y)=\mathrm{sen}(x)y^2$‍

Solução: primeiro, calcule as duas derivadas parciais:

Então para cada uma, escreva as duas derivadas parciais:

Repare que, no exemplo acima, as duas derivadas parciais mistas ${\displaystyle \frac{{\partial }^{2}f}{\partial x\partial y}}$‍ e ${\displaystyle \frac{{\partial }^{2}f}{\partial y\partial x}}$‍ são iguais. Isso não é coincidência; acontece com quase toda função que você encontra na prática. Por exemplo, veja o que acontece com um polinômio geral $x^n{y}^k$‍:

Tecnicamente, a simetria de segundas derivadas não é sempre verdadeira. Existe um teorema, chamado muitas vezes de Teorema de Schwarz ou Teorema de Clairaut, que afirma que a simetria de segundas derivadas vai sempre valer em um ponto se as derivadas parciais de segunda ordem forem contínuas na vizinhança daquele ponto. Para realmente entender isso, precisaremos de algumas análises reais.

Você deve ter em mente que exceções existem, mas que a simetria de segundas derivadas funciona para praticamente todas as funções que pareçam "normais" com as quais você se deparará.

Por que parar nas derivadas parciais de segunda ordem? Poderíamos também considerar, digamos, cinco derivadas parciais em relação a várias variáveis de entrada.

Problema: se $f(x,y,z)=\mathrm{sen}(xy)e^{x+z}$‍, quanto é $f_{zyzyx}$‍?

Solução: como a notação $f_{zyzyx}$‍ é uma abreviação para $((((f_z{)}_y{)}_z{)}_y{)}_x$‍, calculamos a derivada em relação a $z$‍, depois em relação a $y$‍, depois $z$‍, depois $y$‍, depois $x$‍. Isto é, lemos da esquerda para a direita.

Vale salientar que a ordem é diferente na outra notação:

Logo a ordem de diferenciação é indicada pela ordem dos termos no denominador da direita para a esquerda.

De qualquer maneira, voltamos ao problema em questão. Esta é uma daquelas tarefas que você tem que arregaçar as mangas e trabalhar arduamente, mas para ajudar com o processo nós vamos colorir as variáveis $x,y,z$‍ para manter o controle de onde elas estão:

Esta última etapa usa a regra do produto estendida,

Cara! Esse foi um exemplo chato. Mas se você puder seguir até o fim, calcular múltiplas derivadas parciais não deve ser um problema para você. É uma dessas coisas que apenas exigem um trabalho mais de contabilidade do que de qualquer outra coisa.