[b][color=#1e84cc][u][size=150]Derivadas parciales.[/size][/u] [br][/color][/b][br]Para funciones de dos variables [math]f(x,y)[/math] uno puede elegir una coordenada (digamos [math]x[/math]) fijar la otra ([math]y[/math]) en un valor (digamos [math]y_{0}[/math]) y luego derivar la función de una variable resultante ([math]x[/math]) en el sentido usual. El resultado es la derivada parcial con respecto a [math]x[/math]. Las derivadas parciales se definen y calculan justamente de ese modo. [br][br]Por ejemplo, la derivada parcial de [math]f(x,y)=x^{2}y^{2}[/math] con respecto a [math]x[/math] en el punto [math](1,2)[/math] se calcula así: [br][br][list][*]Se fija [math]y[/math] en el valor [math]y=2[/math], obteniendo la función [math]x\rightarrow f(x,2)=4x^{2}[/math].[/*][br][*]Se deriva dicha función con respecto a [math]x[/math], obteniendo [math]\frac{df(x,2)}{dx}=8x[/math].[/*][br][*]Se evalúa en [math]x=1[/math], obteniendo [math]\frac{\partial f}{\partial x}(1,2)=\frac{df(x,2)}{dx}\bigg|_{x=1}=8.[/math][br][/*][/list][br]En general,[br][br][math][br]\begin{align}[br]& \frac{\partial f}{\partial x}(x_{0},y_{0})=\frac{df(x,y_{0})}{dx}\bigg|_{x=x_{0}}.\\[br]& \frac{\partial f}{\partial x}(x_{0},y_{0})=\frac{df(x_{0},y)}{dy}\bigg|_{y=y_{0}}.[br]\end{align}[br][/math][br][br]Observar que al escribir [math]\frac{d}{dx}[/math] se está enfatizando que es una derivada común de una variable, en este caso la variable [math]x[/math].[br][br]Cuando el punto en el que se está calculando una derivada parcial es genérico, se escribe simplemente,[br][br][math][br]\begin{align}[br]& \frac{\partial f}{\partial x}(x,y),\\[br]& \frac{\partial f}{\partial y}(x,y).[br]\end{align}[br][/math][br][br]La definición de derivada parcial en general es la siguiente.[br][br][b][color=#980000]Definición.[/color][/b][i]Sea [/i][math]f(x_{1},\ldots,x_{n}):D(\subset \mathbb{R}^{n})\rightarrow \mathbb{R}[/math][i] una función definida en un abierto [/i][math]D[/math][i]. La derivada parcial de [/i][math]f[/math][i] con respecto a [/i][math]x_{i}[/math][i] en el punto [/i][math](x_{1,0},\ldots,x_{n,0})\in D[/math][i] se define como,[br][br][/i][math][br]\frac{\partial f}{\partial x_{i}}(x_{1,0},\ldots,x_{n,0})=\frac{d f (x_{1,0},\ldots,x_{i},\ldots,x_{n,0})}{dx_{i}}\bigg|_{x_{i}=x_{i,0}}[br][/math][i],[br][br]siempre y cuando ésta derivada ordinaria exista.[/i][br][br][b][color=#ff7700]Ejemplo.[/color][/b] Las derivadas parciales de la función [math]f(x,y,z)=x^{3}(y-z)^{2}[/math], como función de [math]D=\mathbb{R}^{3}[/math] son,[br][br][math][br]\begin{align}[br]& \frac{\partial f}{\partial x}(x,y,z)=3x^{2}(y-z)^{2},\\[br]& \frac{\partial f}{\partial y}(x,y,z)=2x^{3}(y-z),\\[br]& \frac{\partial f}{\partial z}(x,y,z)=-2x^{3}(y-z).[br]\end{align}[br][/math][br][br]Al calcular derivadas parciales pueden usarse todas las reglas usuales de derivación para funciones de una variable porque al fin y al cabo una derivada parcial es una derivada común.[br][br]La mayoría de las ecuaciones en la física son ecuaciones en derivadas parciales. Por ejemplo, la ecuación para el potencial gravitatorio [math]\phi(x,y,z)[/math] generado por un cuerpo material con una densidad de masa [math]\rho[/math] es,[br][br](1)[math][br]\quad \frac{\partial^{2} \phi}{\partial x^{2}}+\frac{\partial^{2} \phi}{\partial y^{2}}+\frac{\partial^{2} \phi}{\partial x^{2}}=4\pi G \rho,[br][/math][br][br]donde [math]G[/math] es la constante gravitatoria universal, o constante de Newton. En este caso la [i]incógnita [/i]de la ecuación es el potencial [math]\phi[/math] que debe resolverse (cómo resolver ecuaciones en derivadas parciales no se verá en este curso). [br][br]En la ecuación (1), la expresión, [math]\frac{\partial^{2} \phi}{\partial x^{2}}[/math], es la [i]derivada segunda[/i] de [math]\phi[/math] con respecto a [math]x[/math]. Es decir, es la función resultante de derivar con respecto a [math]x[/math] la función que resulta de derivar [math]\phi[/math] con respecto a [math]x[/math]:[br][br][math][br]\frac{\partial^{2} \phi}{\partial x^{2}}=\frac{\partial }{\partial x}\frac{\partial \phi}{\partial x}.[br][/math][br][br]La otras derivadas en (1) son las derivadas segundas con respecto a [math]y[/math] y [math]z[/math].[br][br][b][u][color=#1e84cc][size=150]Diferenciabilidad.[/size][br][/color][/u][/b][br]Para funciones de una variable [math]f(x)[/math] la existencia de la derivada en un punto [math]x_{0}[/math] implica que uno puede aproximar a la función cerca de [math]x_{0}[/math] por su aproximación lineal, esto es,[br][br][math][br]f(x)=f(x_{0})+f'(x_{0})(x-x_{0})+R(x),[br][/math][br][br]donde [math]f(x_{0})+f'(x_{0})(x-x_{0})[/math] es la aproximación lineal (o aproximación de Taylor a primer orden) y [math]R(x)[/math] es el resto, que tiene la siguiente crucial propiedad,[br][br][math][br]\lim_{x\rightarrow x_{0}}\frac{R(x)}{|x-x_{0}|}=0.[br][/math][br][br]En simples palabras, cerca de [math]x_{0}[/math], [math]R(x)[/math] es de menor orden que el incremento [math]x-x_{0}[/math].[br][br]Recíprocamente, si [math]f(x)[/math] es aproximable cerca de [math]x_{0}[/math] por una función lineal [math]L(x)=f(x_{0})+A(x-x_{0})[/math], en el sentido que,[br][br][math][br]f(x)=L(x)+R(x),[br][/math][br][br]con,[br][br](2)[math][br]\quad \lim_{x\rightarrow x_{0}}\frac{R(x)}{|x-x_{0}|}=0.[br][/math][br][br]entonces [math]f(x)[/math] es derivable en [math]x_{0}[/math] y [math]A=f'(x_{0})[/math]. De hecho, calculamos,[br][br][math][br]\frac{f(x)-f(x_{0})}{x-x_{0}}=A+\frac{R(x)}{x-x_{0}}[br][/math][br][br]Tomando el límite cuando [math]x\rightarrow x_{0}[/math], usando (2) y usando la definición de derivada como el límite del cociente incremental obtenemos [math]f'(x_{0})=A[/math].[br][br]El gráfico de la función lineal es la recta que mejor aproxima al gráfico de [math]f[/math] en el punto [math](x_{0},f(x_{0}))[/math]. [br][br][b][color=#ff7700]Ejemplo.[/color][/b] Debajo y en verde se graficó una cierta función derivable. El gráfico de la aproximación lineal en el punto [math]x_{0}[/math]. Al deslizar el punto [math]x_{0}[/math] el gráfico en rojo del error [math]R(x)[/math] es pequeño cerca de [math]x_{0}[/math], en particular [math]R(x_{0})=0[/math]. Observe que las gráficas de [math]R(x)[/math] lucen como pequeñas parábolas, lo que refleja la naturaleza [i]cuadrática[/i] del error (la aproximación a primer orden deja un error a segundo orden si la derivada segunda existe como en este caso).
Para funciones de dos o más variables la sola existencia de las derivadas parciales en un punto no es suficiente para que la función sea aproximable cerca de ese punto por una función lineal. [br][br]Por ejemplo, la función,[br][br][math][br]\begin{align}[br]f(x,y)=[br]\left\{[br]\begin{array}{lcl}[br]1 & {\rm si} & y=x,\ {\rm y}\ x\neq 0,\\[br]0 & {\rm si} & y\neq x,\ {\rm \'o},\ x=y=0.[br]\end{array}[br]\right.[br]\end{align}[br][/math] [br][br]tiene ambas derivadas parciales en el punto [math](0,0)[/math] iguales a cero (en particular existen) pero la función no es aproximable por una función lineal porque no es continua. El ejemplo puede parecer algo patológico, excepcional, pero es fácil construir funciones continuas que tampoco son aproximables por una función lineal en ciertos puntos, aún existiendo las derivadas parciales en ellos.[br][br]Al contrario de lo que sucede para las funciones de una variable, para decir que una función es [i]diferenciable[/i] en un punto, o que sea aproximable por una función lineal, no basta con que existan las derivadas parciales de la función en el punto. La definición debe darse de forma independiente.[br][br]Una función [math]f(x,y)[/math] es diferenciable en un punto [math](x_{0},y_{0})[/math] si existe una función lineal,[br][br][math][br]L(x,y)=f(x_{0},y_{0})+A(x-x_{0})+B(y-y_{0}),[br][/math][br][br](para ciertas constantes [math]A, B[/math]) tal que, si escribimos a [math]f(x,y)[/math] como,[br][br](3)[math][br]\quad f(x,y)=L(x,y)+R(x,y)[br][/math][br][br]entonces el resto [math]R(x,y)[/math] es tal que,[br][br](4)[math][br]\quad \lim_{(x,y)\rightarrow (x_{0},y_{0})}\frac{R(x,y)}{\|(x-x_{0},y-y_{0})\|}=0[br][/math][br][br]Observemos que [math]f(x,y)[/math] es aproximable por [math]L(x,y)=f(x_{0},y_{0})+A(x-x_{0})+B(y-y_{0})[/math] entonces necesariamente los coeficientes [math]A[/math] y [math]B[/math] quedan determinados por la derivadas parciales en [math](x_{0},y_{0})[/math],[br][br][math][br]\begin{align}[br]& A=\frac{\partial f}{\partial x}(x_{0},y_{0}),\\[br]& B=\frac{\partial f}{\partial y}(x_{0},y_{0}).[br]\end{align}[br][/math][br][br]De hecho, sí valen (3) y (4) entonces, evaluando en [math]y=y_{0}[/math], tenemos,[br][br][math][br]f(x,y_{0})=f(x_{0},y_{0})+A(x-x_{0}) + R(x,y_{0}),[br][/math][br][br]con,[br][br][math][br]\lim_{x\rightarrow x_{0}}\frac{R(x,y_{0})}{|x-x_{0}|}=0.[br][/math][br][br]Se sigue como fue explicado arriba que la función de una variable [math]x\rightarrow f(x,y_{0})[/math] es derivable en [math]x=x_{0}[/math] y,[br][br][math][br]A=\frac{df(x,y_{0})}{dx}\bigg|_{x=x_{0}}=\frac{\partial f}{\partial x}(x_{0},y_{0}).[br][/math][br][br]Un cálculo similar se aplica para [math]B[/math].[br][br][b][color=#ff7700]Ejemplo.[/color][/b] Debajo se muestra el gráfico en azul de [math]f(x,y)=\frac{1}{2}(x^{2}+y^{2}+2x^{4}y^{4})[/math]. Al deslizar [math]x_{0}[/math] y [math]y_0[/math] se muestra en rojo los diferentes planos tangentes en el punto [math](x_0,y_0,f(x_0,y_0))[/math].
La definición de función diferenciable en general, para funciones de varias variables es la siguiente.[br][br][color=#980000][b]Definición.[/b] [/color][i]Sea [/i][math]f(x):D(\subset \mathbb{R}^{n})\rightarrow \mathbb{R}[/math][i], [/i][math]x=(x_{1},\ldots,x_{n})[/math][i], una función definida en una abierto [/i][math]D[/math][i] de [/i][math]\mathbb{R}^{n}[/math][i]. Entonces [/i][math]f[/math][i] es diferenciable en [/i][math]x_{0}=(x_{1,0},\ldots,x_{n,0})\in D[/math][i] si las derivadas parciales de [/i][math]f(x)[/math][i] existen en [/i][math]x=x_{0}[/math][i] y el resto [/i][math]R(x)[/math][i] definido como,[br][br][/i][math][br]f(x)=f(x_{0})+\sum_{i=1}^{i=n}\frac{\partial f(x_{0})}{\partial x_{i}}(x_{i}-x_{i,0})+R(x),[br][/math][i][br][br]es tal que,[br][br][/i][math][br]\lim_{x\rightarrow x_{0}}\frac{R(x)}{\|x-x_{0}\|}=0.[br][/math][br][br][size=150][b][color=#1e84cc][u]Gradiente.[/u][/color][/b] [br][/size][br]El vector gradiente de [math]f(x)[/math] en el punto [math]x_{0}[/math], es el vector, [br][br][math][br](\frac{\partial f}{\partial x_{1}}(x_{0}),\ldots,\frac{\partial f}{\partial x_{n}}(x_{0})),[br][/math][br][br]Es decir, el gradiente es el vector formado por las derivadas parciales en [math]x_{0}=(x_{0,1},\ldots,x_{0,n})[/math]. El gradiente se denota como [math]\nabla f[/math]. En física suele agregarse una flecha superior para anfatizar que el gradiente es un vector, [math]\vec{\nabla} f[/math].[br][br]El gradiente es un objeto central en el estudio de las funciones de varias variables y aparecerá en múltiples ocasiones a lo largo del curso.[br][br]Observe que si [math]f(x)[/math] es diferenciable en [math]x_{0}[/math], la aproximación lineal, o aproximación de Taylor a primer orden, puede escribirse como,[br][br][math][br]L(x)=f(x_{0})+\langle \nabla f(x_0),(x-x_0)\rangle,[br][/math][br][br]donde [math]x=(x_{1},\ldots,x_{n})[/math] y [math]x_{0}=(x_{0,1},\ldots,x_{0,n})[/math].