Derivada total

Em matemática, a derivada total de uma função f {\textstyle f} é a melhor aproximação linear do valor da função em relação aos seus argumentos. Ao contrário das derivadas parciais, a derivada total aproxima a função em relação a todos os seus argumentos, e não apenas a um. Em muitas situações, isso é o mesmo que considerar todas as derivadas parciais simultaneamente. O termo "derivado total" é usado principalmente quando f {\displaystyle f} é uma função de várias variáveis, porque quando f {\displaystyle f} é uma função de uma única variável, a derivada total é a mesma que a derivada da função.[1] :198–203

A "derivada total" é algumas vezes também usada como sinônimo da derivada de material na mecânica de fluidos .

A derivada total como um mapa linear

Seja U R n {\displaystyle U\subseteq \mathbf {R^{n}} } um subconjunto aberto . Então uma função f : U R m {\displaystyle f:U\rightarrow \mathbf {R} ^{m}} é dito ser (totalmente) diferenciável em um ponto a U {\displaystyle a\in U} se existe uma transformação linear d f a : R n R m {\displaystyle df_{a}:\mathbf {R} ^{n}\rightarrow \mathbf {R} ^{m}} tal que lim x a f ( x ) f ( a ) d f a ( x a ) x a = 0. {\displaystyle \lim _{x\rightarrow a}{\frac {\|f(x)-f(a)-df_{a}(x-a)\|}{\|x-a\|}}=0.} O mapeamento linear d f a {\displaystyle df_{a}} é chamado de diferencial (total) ou derivada (total) de f {\displaystyle f} em a {\displaystyle a} f {\displaystyle f} . Outras notações para a derivada total incluem D a f {\displaystyle D_{a}{f}} e D f ( a ) {\displaystyle Df{\big (}a{\big )}} . Uma função é (totalmente) diferenciável se sua derivada total existir em todos os pontos de seu domínio.

Conceitualmente, a definição da derivada total expressa a ideia de que d f a {\displaystyle df_{a}} é a melhor aproximação linear para f {\displaystyle f} no ponto a {\displaystyle a} . Isso pode ser feito com precisão quantificando o erro na aproximação linear determinada por d f a {\displaystyle df_{a}} . Para fazer isso, escreva f ( a + h ) = f ( a ) + d f a ( h ) + ε ( h ) , {\displaystyle f(a+h)=f(a)+df_{a}(h)+\varepsilon (h),}

onde ε ( h ) {\displaystyle \varepsilon {\big (}h{\big )}} é igual ao erro na aproximação. Dizer que a derivada de f {\displaystyle f} em a {\displaystyle a} é d f a {\displaystyle df_{a}} é equivalente à enunciar que

ε ( h ) = o ( h ) , {\displaystyle \varepsilon {\big (}h{\big )}=o{\big (}\lVert h\rVert {\big )},}

onde o {\displaystyle o} é notação do pequeno o e indica que ε ( h ) {\displaystyle \varepsilon {\big (}h{\big )}} é muito menor do que h {\displaystyle \lVert h\rVert } quando h 0 {\displaystyle h\rightarrow 0} . A derivada total d f a {\displaystyle df_{a}} é a única transformação linear para a qual o termo de erro é tão pequeno, e este é o sentido em que é a melhor aproximação linear para f {\displaystyle f} .

A função f {\displaystyle f} é diferenciável se e somente se cada um de seus componentes f i : U R {\displaystyle f_{i}:U\rightarrow \mathbf {R} } é diferenciável, por isso, quando se estudam derivadas totais, muitas vezes é possível trabalhar uma coordenada de cada vez no co-domínio. No entanto, o mesmo não é verdade das coordenadas no domínio. É verdade que se f {\displaystyle f} é diferenciável em a {\displaystyle a} , então cada derivada parcial f / x i {\displaystyle \partial f/\partial x_{i}} existe em a {\displaystyle a} . O inverso é falso: pode acontecer que todas as derivadas parciais de f {\displaystyle f} em a {\displaystyle a} existam, mas f {\displaystyle f} não seja diferenciável em a {\displaystyle a} . Isso significa que a função é muito ''grosseira" em a {\displaystyle a} , a tal extremo que seu comportamento não pode ser adequadamente descrito por seu comportamento nas direções das coordenadas. Quando f {\displaystyle f} não é tão grosseira, isso não pode acontecer. Mais precisamente, se todas as derivadas parciais de f {\displaystyle f} em a {\displaystyle a} existem e são contínuos em uma vizinhança de a {\displaystyle a} , então f {\displaystyle f} é diferenciável em a {\displaystyle a} . Quando isso acontece, então, além disso, a derivada total de f {\displaystyle f} é a transformação linear correspondente à matriz jacobiana de derivadas parciais naquele ponto.[2]

Referências

  1. Chiang, Alpha C. Fundamental Methods of Mathematical Economics. [S.l.: s.n.] ISBN 0-07-010813-7 
  2. Abraham, Ralph; Marsden, J. E.; Ratiu, Tudor. Manifolds, Tensor Analysis, and Applications. [S.l.: s.n.] 
  • A. D. Polyanin e V. F. Zaitsev, Handbook of Exact Solutions for Ordinary Differential Equations (2nd edition), Chapman & Hall / CRC Press, Boca Raton, 2003. ISBN 1-58488-297-2 ISBN   1-58488-297-2
  • From thesaurus.maths.org derivado total do

Ligações externas

  • Weisstein, Eric W. «Total Derivative». MathWorld (em inglês) 
  • http://www.sv.rkriz.net/classes/ESM4714/methods/df2D.html