Documentos de Académico
Documentos de Profesional
Documentos de Cultura
superior
R. Álvarez-Nodarse
Universidad de Sevilla
∂ 2 f (x)
Dj (Di f )(x) = Dj,i f (x) = , i, j = 1, 2, . . . , n.
∂xj ∂xi
∂ 2 f (x)
Dj (Di f )(x) = Dj,i f (x) = , i, j = 1, 2, . . . , n.
∂xj ∂xi
∂ 3 f (x)
Dk (Dj (Di f ))(x) = Dk,j,i f (x) = , i, j, k = 1, 2, . . . , n.
∂xk ∂xj ∂xi
Y ası́, sucesivamente.
∂ 2 f (x, y ) ∂ 2 f (x, y ) x2 − y2
= = 2 (x, y ) 6= (0, 0).
∂x∂y ∂y ∂x x + y2
∂ 2 f (x, y ) ∂ 2 f (x, y ) x2 − y2
= = 2 (x, y ) 6= (0, 0).
∂x∂y ∂y ∂x x + y2
¿Qué ocurre en (0, 0)?
∂ 2 f (x, y ) ∂ 2 f (x, y ) x2 − y2
= = 2 (x, y ) 6= (0, 0).
∂x∂y ∂y ∂x x + y2
¿Qué ocurre en (0, 0)?
∂ 2 f (0, 0)
= 1,
∂x∂y
∂ 2 f (x, y ) ∂ 2 f (x, y ) x2 − y2
= = 2 (x, y ) 6= (0, 0).
∂x∂y ∂y ∂x x + y2
¿Qué ocurre en (0, 0)?
∂ 2 f (0, 0) ∂ 2 f (0, 0)
= 1, = −1.
∂x∂y ∂y ∂x
Theorem (Schwarz)
Sea f : A ⊂ Rn → Rm con A abierto, y sea x0 ∈ A. Si en A existen
∂f (x) ∂f (x) ∂ 2 f (x)
las derivadas parciales , y y la derivada
∂xi ∂xj ∂xj ∂xi
∂ 2 f (x) ∂ 2 f (x)
es continua en x0 , entonces en A existe la derivada
∂xj ∂xi ∂xi ∂xj
∂ 2 f (x) ∂ 2 f (x)
y = .
∂xj ∂xi ∂xi ∂xj
Theorem (Schwarz)
Sea f : A ⊂ Rn → Rm con A abierto, y sea x0 ∈ A. Si en A existen
∂f (x) ∂f (x) ∂ 2 f (x)
las derivadas parciales , y y la derivada
∂xi ∂xj ∂xj ∂xi
∂ 2 f (x) ∂ 2 f (x)
es continua en x0 , entonces en A existe la derivada
∂xj ∂xi ∂xi ∂xj
∂ 2 f (x) ∂ 2 f (x)
y = .
∂xj ∂xi ∂xi ∂xj
Corolario (Bonnet)
Sea f : A ⊂ Rn → Rm con A abierto, y sea a ∈ A tal que existen
∂ 2 f (x) ∂ 2 f (x)
las derivadas parciales y en un entorno de a ∈ A y
∂xj ∂xi ∂xi ∂xj
∂ 2 f (a) ∂ 2 f (a)
ambas son continuas en a. Entonces = .
∂xj ∂xi ∂xi ∂xj
Theorem (Heffter-Young)
Sea f : A ⊂ Rn → Rm , A abierto y sea a ∈ A. Supongamos que
∂f (x) ∂f (x)
existen las derivadas parciales ,y en un entorno de a
∂xi ∂xj
∂ 2 f (a) ∂ 2 f (a)
y son diferenciables en a. Entonces = .
∂xj ∂xi ∂xi ∂xj
Theorem (Heffter-Young)
Sea f : A ⊂ Rn → Rm , A abierto y sea a ∈ A. Supongamos que
∂f (x) ∂f (x)
existen las derivadas parciales ,y en un entorno de a
∂xi ∂xj
∂ 2 f (a) ∂ 2 f (a)
y son diferenciables en a. Entonces = .
∂xj ∂xi ∂xi ∂xj
k
∂ ∂
= h1 + · · · + hn f (a),
∂x1 ∂xn
donde hemos usado la notación D k f (a)(h) := D k f (a)(h, h, . . . , h)
(recuérdese que D k f (a) es una aplicación multilineal (k-lineal
concretamente).
∂ k
∂
h1 + · · · + hn f (x + ht).
∂x1 ∂xn
∂ k
∂
h1 + · · · + hn f (x + ht).
∂x1 ∂xn
El cálculo de la derivada k-ésima arbitraria es muy engorroso, es
por ello conveniente usar un paquete de cálculo simbólico (por
ejemplo Maxima CAS).
∂ k
∂
h1 + · · · + hn f (x + ht).
∂x1 ∂xn
El cálculo de la derivada k-ésima arbitraria es muy engorroso, es
por ello conveniente usar un paquete de cálculo simbólico (por
ejemplo Maxima CAS).
Definición
Dado un a ∈ A y h ∈ Rn definiremos al intervalo (cerrado)
[a, a + h] como el conjunto (intervalo)
[a1 , a1 + h1 ] × [a2 , a2 + h2 ] × · · · × [an , an + hn ].
1 k
rk (a, h) = D f (a + ξh)(h), ξ ∈ (0, 1).
k!
1 k
rk (a, h) = D f (a + ξh)(h), ξ ∈ (0, 1).
k!
1 k
rk (a, h) = D f (a + ξh)(h), ξ ∈ (0, 1).
k!