1.1.Clculo de derivadas parciales.

Recurdese que la derivada parcial i-sima de una funcin escalar de n variables f (x1 ,x2 ,..xi ,..xn ) en el punto =(a ,a ,...,a ,..,a ) se define como: a 1 2 i n e f Ha +h i L- f Ha L fxi (a )= limh0 h siendo i =(0,0,...,1,...,0,0) el i-simo vector de la base cannica de e
n

A la hora de calcular con Mathematica las derivadas parciales de funciones de varias variables hay que distinguir si se quiere hallar la expresin de la derivada parcial en un punto genrico o si se quiere calcular el valor de la derivada parcial en un punto concreto. Adems, como veremos, en ocasiones ser necesario calcular en algn punto la derivada parcial usando la definicin, ya que Mathematica no ser capaz de derivar de un modo directo. Existen diferentes formas de calcular la derivada parcial i-sima de la funcin f (x1 ,x2 ,..xi ,..xn ) con Mathematica en un punto genrico. Las ms sencillas son: i) Con el comando D, que tiene la siguiente sintaxis D@f@x1, x2, ..., xnD, xiD ii) Utilizando la paleta Basic Input del men File y seleccionando el objeto escribirse xi f@x1, x2, .., xnD

. En los huecos deber

Las formas de calcular derivadas parciales sucesivas de la funcin f(x1,x2,..,xn) con Mathematica son: i) Utilizando la instruccin D . En este caso la sintaxis es: D@f@x1, x2, ... xnD, 8xi1, j1<, 8xi2, j2<, ..D Con esta instruccin se calcula la derivada j1 respecto a la variable xi1, la derivada j2 respecto a la variable xi2, etc. ii) Utilizando la paleta Basic Input del men File y pinchando en 88xi1,j1<,8xi2,j2<..< f@x1, x2, .. xnD.

. En los huecos deber escribirse

NOTA: Si j1=j2= ..=1 no hace falta poner los subndices, pues por defecto Mathematica entiende que son las derivadas parciales primeras. Tambin se pueden calcular derivadas parciales el comando Derivative cuya sintaxis es
Derivative@j1, j2, ...., jnD@fD@x1, x2, ..., xnD

y que calcula la derivada parcial j1 veces respecto a x1, j2 veces respecto a x2,...etc. NOTA: El comando Derivative permite utilizar la expresin resultante como funcin y, por tanto, puede ser til en tareas de programacin. Ejemplo 1.1.1.Calcular las derivadas parciales de la funcin f Hx, yL = yx y las derivadas cruzadas de segundo orden. Se utilizarn algunas de las diferentes formas descritas anteriormente para resolver el ejercicio propuesto: 1.-Utilizando el comando D : Para poder utilizar luego el resultado (y entender las derivadas de segundo orden como derivadas de las derivadas de primer orden) se definen las funciones correspondientes:
dx@x_, y_D := D@yx , xD dx@x, yD yx Log@yD

calculoderparciales.nb

dy@x_, y_D := D@yx , yD dy@x, yD x y1+x

La derivada de segundo orden respecto de x y respecto de y se calcula derivando, respecto de y, la derivada primera respecto de x, es decir:
dxy = D@dx@x, yD, yD y1+x + x y1+x Log@yD

Anlogamente, la otra derivada cruzada es:

dyx = D@dy@x, yD, xD y1+x + x y1+x Log@yD

Podemos comprobar si las dos derivadas son iguales ejecutando:

dxy == dyx True

2.- Usando el objeto de la paleta Basic Input:

x yx
yx Log@yD

y yx
x y1+x

Una primera forma de calcular las derivadas de segundo orden sera reiterando la derivada de orden 1:
x y yx y1+x + x y1+x Log@yD

Para la otra derivada se escribe:

y x yx y1+x + x y1+x Log@yD

NOTA: Otra forma de hacer las derivadas cruzadas es utilizando el objeto , .

dxy1 = x,y yx y1+x + x y1+x Log@yD dyx1 = y,x yx
General::spell1 : Possible spelling error: new symbol name "dyx1" is similar to existing symbol "dxy1".

y1+x + x y1+x Log@yD

3.- Usando el comando Derivative: Para poder utilizar este comando, debido a su especial sintaxis, se debe definir al comienzo la funcin a derivar:

calculoderparciales.nb

f@x_, y_D := yx
Las derivadas parciales respecto a x e y respectivamente son entonces:
Derivative@1, 0D@fD@x, yD yx Log@yD Derivative@0, 1D@fD@x, yD x y1+x

Las derivadas cruzadas pedidas se calculan ejecutando:

Derivative@1, 1D@fD@x, yD y1+x + x y1+x Log@yD

Ejemplo 1.1.2.Hallar las funciones derivadas parciales fx , f y , fz siendo f Hx, y, zL = ez cos y sen x . Se define la funcin, borrando las posibles asignaciones previas que tengamos de la funcin f para evitar posibles interferencias.
Clear@fD f@x_, y_, z_D := ez Cos@yD Sin@xD

Se calcularn las funciones derivadas parciales utilizando las paletas descritas anteriormente y a travs del operador D. i) Utilizando paletas:
x f@x, y, zD ez Cos@xD Cos@yD y f@x, y, zD ez Sin@xD Sin@yD z f@x, y, zD ez Cos@yD Sin@xD

ii) Por medio del operador D.

D@f@x, y, zD, xD ez Cos@xD Cos@yD D@f@x, y, zD, yD ez Sin@xD Sin@yD D@f@x, y, zD, zD ez Cos@yD Sin@xD

Ejemplo 1.1.3.Calcular las derivadas parciales de la funcin f Hx, yL = yx +x dos veces respecto de x y tres veces respecto de y. Se har de dos formas diferentes: 1.- Usando paletas:

calculoderparciales.nb

8x,2<,8y,3< Hyx + xL

6 H1 + xL x y3+x Log@yD + H2 + xL H1 + xL x y3+x Log@yD2 + 6 4 Log@yD 2 2 Log@yD yx J 3 + N + 3 x y1+x J 2 N y y3 y y2

2- Usando el comando Derivative. Se define para ello la funcin a derivar

f@x_, y_D := yx + x
La derivada que hay que calcular ser
Derivative@2, 3D@fD@x, yD 6 H1 + xL x y3+x Log@yD + H2 + xL H1 + xL x y3+x Log@yD2 + 2 6 4 Log@yD 2 Log@yD yx J 3 + N + 3 x y1+x J 2 N y y y3 y2

Ejemplo 1.1.4.Dadas las funciones f (x,y) = x2 y + exy , g (x,y,z)=Hz x yL3 se pide: a)Hallar fxy , fxyy , f yxy en cualquier punto de 2 . b)Hallar gxyz , g yzx , gzxy en cualquier punto de 3 . Primero se introducen las funciones:
f@x_, y_D := x2 y + ex y g@x_, y_, z_D := Hz x yL3

Apartado a) Las derivadas pedidas de la funcin f son:

x,y f@x, yD ex y + 2 x + ex y x y x,y,y f@x, yD 2 ex y x + ex y x2 y y,x,y f@x, yD 2 ex y x + ex y x2 y

Las dos ltimas derivadas son iguales al verificar la funcin las hiptesis del teorema de Schwarz. Apartado b) Empecemos observando que las derivadas parciales de cualquier orden de la funcin sern funciones continuas en 3 , por ser la funcin del enunciado una funcin polinmica. Se cumplen por tanto las hiptesis del teorema de Schwarz y las tres derivadas parciales de tercer orden pedidas en el enunciado sern iguales. Es decir : gxyz = gyzx = gzxy , lo que se comprobar a continuacin.
x,y,z g@x, y, zD 27 x2 y2 z2 y,z,x g@x, y, zD 27 x2 y2 z2

calculoderparciales.nb

z,x,y g@x, y, zD 27 x2 y2 z2

Ejemplo 1.1.5.x Calcular las derivadas parciales primeras en el punto (1,2) de la funcin f Hx, yL = 2 . x2 + y

Hay que empezar observando que cuando se utiliza la paleta de Mathematica primero se evala la funcin y luego se deriva, lo cual hace que este mecanismo no pueda ser utilizado directamente para evaluar derivadas parciales en un punto concreto, ya que hallaramos la derivada de una constante y por lo tanto el resultado siempre ser 0. Vamos a comprobar el funcionamiento descrito de la paleta con la funcin del enunciado. Se define la funcin:
f@x_, y_D := x x2 + y2

Se halla la derivada respecto a x

x f@x, yD 2 x2 1 + 2 x + y2 Hx2 + y2 L2

Anlogamente la otra derivada parcial es

y f@x, yD 2xy Hx2 + y2 L2

Si para calcular las derivadas en el punto (1,2) se ejecuta x f@1, 2D el resultado ser 0:
x f@1, 2D 0

y lo mismo pasa con y f@1, 2D

y f@1, 2D 0

Una primera opcin para calcular los valores de las derivadas en un punto es utilizar las reglas de sustitucin en Mathematica, es decir hallar la derivada en cualquier punto y sustituir en el punto requerido. Concretamente
x f@x, yD . 8x 1, y 2< 3 25

Y anlogamente:
y f@x, yD . 8x 1, y 2< 4 25

Otra opcin para calcular el valor de la derivada en un punto concreto es utilizar Derivative . Comprobaremos que se obtiene el mismo resultado con dicho comando

calculoderparciales.nb

Derivative@1, 0D@fD@1, 2D 3 25

y de la misma forma
Derivative@0, 1D@fD@1, 2D 4 25

NOTA: Este ejemplo ilustra una de las ventajas del uso del comando Derivative. Ejemplo 1.1.6.Hallar las derivadas parciales de f(x,y)=Hx2 + y2 L 3 . Definimos la funcin:
f@x_, y_D := Ix2 + y2 M 3
2 2

Y las derivadas sern:

derx = D@f@x, yD, xD 4x 3 Hx2 + y2 L13 dery = D@f@x, yD, yD
General::spell1 : Possible spelling error: new symbol name "dery" is similar to existing symbol "derx".

4y 3 Hx2 + y2 L13

Estas funciones estn definidas en todo punto distinto del (0,0), pero no estn definidas en dicho punto:
derx . 8x 0, y 0<
Power::infy : Infinite expression 1 encountered. 013

::indet : Indeterminate expression 0 ComplexInfinity encountered.

Indeterminate dery . 8x 0, y 0<

Power::infy : Infinite expression 1 encountered. 013

::indet : Indeterminate expression 0 ComplexInfinity encountered.

Indeterminate

A continuacin, calculamos, utilizando la definicin, las derivadas parciales en el origen:

LimitB 0 LimitB 0 f@0, hD f@0, 0D h , h 0F f@h, 0D f@0, 0D h , h 0F

calculoderparciales.nb

Se concluye que las derivadas parciales en el origen son ambas 0. Este ejemplo pone de manifiesto la necesidad de analizar por separado la derivada en los puntos conflictivos, pues puede que no sirva el clculo general realizado con Mathematica. Esta precaucin ha de extenderse, de manera general, en todas aquellas funciones definidas a trozos, en todos los puntos donde se produce el cambio de definicin de la funcin. Ejemplo 1.1.7.Calcular las funciones derivadas parciales de f(x,y)=1 + !!!!!!!!!!!!!!!! x* y .

A pesar de que Mathematica tiene la funcin Abs[x] para calcular el valor absoluto de un nmero, Mathematica no deriva directamente dicha funcin. Por esta razn hay que definir previamente, a trozos, la funcin del valor absoluto correspondiente. En nuestro caso definimos:
f@x_, y_D = If@x y < 0, x y, x yD;

Representamos grficamente la funcin anterior:

Plot3D@f@x, yD, 8x, 3, 3<, 8y, 3, 3<D;

8 6 4 2 0 0 -2 0 -2 2

Se define ahora la funcin que hay que derivar segn el enunciado del ejemplo:
g@x_, y_D := 1 + Sqrt@f@x, yDD

Se halla la derivada respecto a x

dgx@x_, y_D = x g@x, yD 2 If@x y < 0, y, yD !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! If@x y < 0, x y, x yD

Anlogamente la otra derivada parcial es:

dgy@x_, y_D = y g@x, yD 2 If@x y < 0, x, xD !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! If@x y < 0, x y, x yD

Y, por ejemplo, la derivada respecto a y en el punto (1,1) es:

dgy@x, yD . 8x 1, y 1< 1 2

Y si intentamos calcular la derivada respecto a y en el punto (0,0) por el mismo procedimiento se obtiene:

calculoderparciales.nb

dgy@x, yD . 8x 0, y 0<
1 Power::infy : Infinite expression !!!! encountered. 0 ::indet : Indeterminate expression 0 ComplexInfinity encountered.

Indeterminate

Sin embargo, la derivada parcial respecto de y en el (0,0) es, de acuerdo con la definicin:
LimitB 0 g@0, hD g@0, 0D h , h 0F

Lo mismo sucede con los puntos situados sobre los ejes coordenados. En estos casos, la aplicacin de la frmula general de la derivada calculada anteriormente proporciona resultados incorrectos. Nuevamente se pone de manifiesto la necesidad de calcular las derivadas parciales utilizando directamente la definicin. Comprobemos en primer lugar la ineficacia del clculo general en los puntos de coordenadas (a,0) y calculemos las derivadas parciales reales en dichos puntos. El usuario puede repetir el clculo para los puntos de coordenadas (0,a):
dgx@x, yD . 8x a, y 0<
1 Power::infy : Infinite expression !!!! encountered. 0 ::indet : Indeterminate expression 0 ComplexInfinity encountered.

Indeterminate dgy@x, yD . 8x a, y 0<

1 Power::infy : Infinite expression !!!! encountered. 0

ComplexInfinity

Sin embargo, la derivada parcial respecto de x en el (a,0) es, de acuerdo con la definicin:
LimitB 0 g@a + h, 0D g@a, 0D h , h 0F

Y la derivada parcial respecto de y en el (a,0) es, de acuerdo con la definicin:

, h 0F h !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! If@a h < 0, a h, a hD LimitB , h 0F h LimitB g@a, hD g@a, 0D

Vemos que Mathematica no devuelve el resultado, pues aparentemente depende del signo de a. En este sentido, la derivada en un punto del semieje positivo, por ejemplo (3,0), es:
LimitB g@3, hD g@3, 0D h , h 0F

Mientras que la derivada parcial en un punto del semieje negativo, por ejemplo (-4,0), es:
LimitB g@4, hD g@4, 0D h , h 0F

calculoderparciales.nb

Ejemplo 1.1.8.x Estudiar si la funcin f, definida por f(x,y)= x6 si (x,y)0, y f(0,0)=0, admite derivadas parciales en (0,0). Hx2 - yL2 +
6

Definimos la funcin, borrando las posibles asignaciones previas:

Clear@fD f@x_, y_D := x^6 Hx2 yL2 + x ^ 6

Para estudiar la existencia de derivadas parciales en el origen usamos la definicin y calculamos los lmites:
LimitB 0 LimitB 0 f@0, hD 0 h , h 0F f@h, 0D 0 h , h 0F

Esta funcin, que no es continua (vase el apartado correspondiente en el fichero de lmites), admite derivadas parciales en el punto (0,0). Ejemplo 1.1.9.!!!!!!!!!!!!!!!! d2 Comprobar que la expresin z=sen(ax) sen(by) sen(kt a2 + b2 ) satisface la ecuacin de ondas: t z = d 2 2 2 d d k 2 (( 2 z)+( z)). 2 d x d y Definimos la funcin:
z = Sin@a xD Sin@b yD SinBk t !!!!!!!!!!!!!!!!!!!!!!!!! a ^ 2 + b ^ 2 F;

Calculamos por partes las derivadas parciales que aparecen en la ecuacin:

dert = t,t z
General::spell : Possible spelling error: new symbol name "dert" is similar to existing symbols 8derx, dery<.

!!!!!!!!!!!!!!!! Ia2 + b2 M k2 SinA a2 + b2 k tE Sin@a xD Sin@b yD derx = x,x z !!!!!!!!!!!!!!!! a2 SinA a2 + b2 k tE Sin@a xD Sin@b yD dery = y,y z !!!!!!!!!!!!!!!! b2 SinA a2 + b2 k tE Sin@a xD Sin@b yD

Comprobamos que se cumple la ecuacin:

dert True k2 Hderx + deryL Simplify

Ejemplo 1.1.10.Comprobar que la funcin f(x,y)=log(x2 +y2 ) es armnica en Definimos la funcin:

f@x_, y_D := Log@x ^ 2 + y ^ 2D

-{0,0}. Es decir, verifica la ecuacin fxx + f yy =0.

10

calculoderparciales.nb

Calculamos las derivadas parciales de segundo orden:

derx = x,x f@x, yD Hx2 4 x2 2 + 2 2 L2 x + y2 +y

dery = y,y f@x, yD Hx2 4 y2 2 + 2 x + y2 + y2 L2

Comprobamos que se cumple la ecuacin:

Simplify@derx + deryD 0