Análisis Matemático II: Derivadas y diferenciales sucesivos 59

DERIVADAS Y DIFERENCIALES SUCESIVAS O ITERADAS.

 De campos escalares.

Sea F:AR con A  Rn . Las derivadas parciales de F están definidas para todo punto
de B  A  Rn . Por lo tanto, para cada una de ellas podrá analizarse la existencia de
sus derivadas parciales que, si existen, serán las derivadas segundas de F. Así
sucesivamente, podrán definirse las derivadas n- simas de F.
Un campo escalar de n variables puede tener n derivadas primeras y en consecuencia n 2
derivadas segundas, n3 derivadas terceras,....., nk derivadas k-simas. Bajo ciertas
condiciones, algunas de las derivadas iteradas son iguales.

Sea F:R2R/ F(x;y)= x2y + 3xy, podemos calcular

F’x(x;y)= 2xy + 3y F’y(x;y)=x2 + 3x

Cada una de estas funciones puede ser derivada respecto de cada una de sus variables,
permitiéndonos obtener cuatro derivadas segundas:

2y

Las recuadradas son las que llamaremos derivadas cruzadas. Como vemos en este
ejemplo resultan iguales.

Analicemos esas derivadas en (0;0) para el campo F:A R2R/ F(x;y)=

con A={(x;y)

Debemos calcular las derivadas primeras. Si lo hacemos por fórmula para (x;y)(0;0) y
por definición en el origen obtenemos:

F’x(x;y)= y F’y(x;y)=

Entonces
60 Análisis Matemático II: Derivadas y diferenciales sucesivos

Del mismo modo:

En este ejemplo, como vemos las derivadas cruzadas en (0;0) son distintas.

 Teorema de Schwarz

Consideremos un campo escalar de dos variables F : AR con A  R2 /

existan F’x , F’y y F”xy en un entorno de punto interior de A.
Entonces, si F”xy es continua en , existe F”yx y se cumple que F”yx( )=F”xy( ).

(En el ejemplo falla la continuidad de las derivadas primeras

La propiedad subsiste para cualquier número de variables, ya que en la derivación

respecto de dos de ellas se mantienen constantes las demás. Si se cumplen las hipótesis
del T. de Schwarz , de las n2 derivadas segundas que tiene un campo escalar de n
variables , sólo son distintas.

Pueden enunciarse condiciones similares para las derivadas sucesivas de orden superior.
Si tales condiciones se cumplen , el número de derivadas k-simas distintas será el de

combinaciones con repetición de “n” elementos tomados de a “k”., es decir el número

combinatorio

Por ejemplo, un campo escalar de 3 variables ( n = 3 ), tiene 15 derivadas parciales

distintas de cuarto orden (k= 4).
 Derivada segunda de funciones compuestas

Supongamos que z = F(x;y) con x = x(u;v) Nos interesa obtener z”u v

y = y(u;v)
x
u
F
v
y
 Análisis Matemático II: Derivadas y diferenciales sucesivos 61

Resulta que : z’u = F’x (x;y) x’u (u;v) + F’y (x;y) y’u(u;v)
Entonces z’u depende de: x, y, u, v.

x z”u v =
u

z’u
v

 Derivada segunda de funciones definidas implícitamente

Supongamos que z = F(x;y) está definida implícitamente por G(x;y;z) = 0, entonces

G' x G' y
z' x   y z' y  
G' z G' z

Pero tanto z’x como z’y dependen de x, y , z. Si se plantea calcular z”x y, se necesita
conocer primero z’x

 z' x  z' x G'y

x z”x y = . z' y  , con z' y  
z y G'z
x ,z ,ctes
z’x z

y
Para obtener z”xx deberán tenerse en cuenta las mismas relaciones entre las variables

x
 z' x  z' x G' x
z”x x = z
. z' x 
x , con z' x  
y ,z ,ctes G' z
z’x z
y
Con el mismo criterio puede obtenerse z”yy .
 Diferenciales sucesivos

Si F: AR con A  R2 tiene derivadas parciales continuas hasta el orden n,

considerando h y k constantes, puede obtenerse el diferencial segundo de F.

d F(x;y) = F’x(x;y). h + F’y(x;y). k

 [ F' x . h  F' y . k ]  [ F' x . h  F' y . k ]

d2 F(x;y) = d[ dF(x;y) ] = h .k=
x y

 2  2 F( x; y)    2 F( x; y)
 F( x; y)  2 F( x; y) 
=  h k
. h   . h  . k . k =
  x2  y x    x y  y2 
62 Análisis Matemático II: Derivadas y diferenciales sucesivos

2 F( x; y) 2 F( x; y) 2 F( x; y) 2
= . h2  2 h. k  k ( ya que al pedir derivadas continuas
 x2  x y  y2
se cumplen las hipótesis del Teorema de Schwarz).

Puede observarse que el segundo miembro tiene la forma del cuadrado de un

binomio, entonces se define un operador.

   ( 2 )
d F(x;y)
2
= .h  .k F( x; y) =
 x y 
2 F( x; y) 2 F( x; y) 2 F( x; y) 2
. h2  2 h. k  k
 x2  x y  y2

Si se calcula d[d2 F(x;y)]= d3 F(x;y) , se obtiene:

3F( x; y) 3F( x; y) 2 3F( x; y) 3F( x; y) 3

d3 F(x;y) = . h3  3 h . k  3 hk 2
 .k
 x3  x2 y  x y 2  y3

Utilizando un operador similar al anterior , decimos que:

   ( 3)
d F(x;y)
3
= .h  . k  F( x; y)
 x y 

En general:

n  n n
   ( n )  F( x; y)
dnF(x;y) =
 x
.h  . k
y 
F( x; y) =  
 i 
 n i i .h
n i i
.k
i0  x  y
(1)

n  n
n
(1) Recordar que: a  b   i  a n i bi
i0