El objetivo de esta sección es dar una interpretación rigurosa aunque informal a la expresión | |||||||||||
(1) |
|||||||||||
donde j es una función con dominio en R3 y valores en R, es decir un particular campo escalar. La notación dj significa diferencial de j, y pasaremos a explicar su real sentido. | |||||||||||
Sea P0 = (a, b, c) un punto en el dominio de la función j, y sea P = (a + h, b + k, c + l) otro punto "cercano" a P0.(aunque es absolutamente irrelevante esta exigencia). Queremos estudiar la diferencia | |||||||||||
j (a + h, b + k, c + l) - j (a , b, c) (2) |
|||||||||||
La interpretación física de la expresión (2) es trivial, es simplemente la diferencia (crecimiento o decrecimiento) entre las mediciones que otorga la función j en los puntos P0 y P. Pensemos por ejemplo que j mide la temperatura en los puntos de una región del espacio, luego j ( P ) - j ( P0 ) es simplemente la diferencia de temperatura entre los puntos P y P0. | |||||||||||
Ahora bien, es claro cuando P se aproxime a P0 esta diferencia se irá aproximando a cero (entendiendo que P y P0 están dentro de una región donde está bien definida la función j). | |||||||||||
Ahora bien, lo que vamos a "exigir" de esta diferencia que se aproximará a cero (en cuanto P se aproxime a P0) es que sea "muy suave", "muy buena", que ojalá la aproximación sea mediante un plano. Si esto ocurre, diremos que el campo escalar j es diferenciable en el punto P0. ¿Qué entenderemos matemáticamente por aproximación buena? es decir ¿que entenderemos por j es diferenciable en el punto P0? Lo siguiente: j es diferenciable en el punto P0 si existen tres números reales A, B y C y una función real de tres variables h tal que se satisfaga lo siguiente, | |||||||||||
j (a + h, b + k, c + l) = j (a , b, c) + Ah + Bk + Cl + h (h, k, l) (3) |
|||||||||||
de tal manera que | |||||||||||
(4) |
|||||||||||
La exigencia en (4) nos dice que la función h (h, k, l) es tan "despreciable" que cuando (h, k, l) se aproxima al (0, 0, 0) entonces h (h, k, l) se aproxima al cero (y se aproxima muy rápido al cero, que incluso dividiéndolo por la norma de (h, k, l), que hemos denotado por l, igual se aproxima al cero). | |||||||||||
La expresión en (3) nos dice entonces que cuando (h, k, l) está muy cerca del (0, 0, 0), o, que es lo mismo, cuando P está muy cerca de P0, entonces | |||||||||||
(5) |
|||||||||||
Una observación muy importante: La aproximación desde P hasta P0 es cualquier aproximación. Observe la Figura 1, en ella se muestran varias formas de aproximarse a P0 desde P. | |||||||||||
|
(6), (7) y (8) reemplazando en (5) obtenemos | |||||||||
En general, si j es diferenciable en cualquier punto de una cierta región, entonces para cualquier punto (x, y, z) de esa región | |||||||||
de tal forma que para Dx, Dy, Dz infinitesimal, obtenemos la diferencial dada inicialmente en (1) | |||||||||
En rigor, esta última expresión está escrita como un operador, es decir este operador tiene una expresión toda vez que se aplique a un punto. Veamos un ejemplo. | |||||||||
Ejemplo. Sea j (x, y, z) = x y2 z2, y queremos calcular la diferencial en el punto (1, 1, 1). Calculamos las derivadas parciales del campo escalar y evaluamos en el punto (1, 1, 1). Esto es | |||||||||
y evaluando estas derivadas parciales en (1, 1, 1) obtenemos la diferencial, | |||||||||
(9) |
|||||||||
Muy bien, pero ¿qué significa esta expresión? o ¿qué utilidad presta? | |||||||||
En primer lugar, dj (1, 1, 1) está midiendo el diferencial de cualquier valor infinitesimalmente próximo al valor (1, 1, 1), y consagra como vector diferencia entre el punto (1, 1, 1) y cualquier otro punto infinitesimalmente próximo al vector | |||||||||
dx i + dy j + dz k = dr |
|||||||||
Observemos la Figura3. | |||||||||
|
Aplicando la definición de producto punto, tenemos que |
Y esta "derivada dj(1,1,1)/ds" obtiene su valor máximo cuando q = 0, es decir cuando dr es paralelo a i + 2 j + 2 k |
El resultado de este ejemplo se generalizará cuando introduzcamos el concepto de derivada direccional y gradiente. |