DEPARTAMENTO

DE MATEMÁTICA

Matemáticas III (MAT023)

Clase 16

Coordinación MAT023

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Contenidos

1 Derivadas parciales de orden superior

Definición
Ejemplos
Regla de la cadena de orden superior
Funciones de clase Ck

2 C1 implica diferenciabilidad

3 El teorema de Schwarz

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Definición
Sean U ⊆ Rn abierto, a ∈ U ∩ U 0 y f : U → R un campo esca-
lar tal que la derivada parcial ∂ f /∂ xi existe en U. Se define la
segunda derivada parcial de f en a como el lı́mite:
2
 
∂ f ∂ ∂f
(a) = (a)
∂ x j ∂ xi ∂ x j ∂ xi
fxi (a + t · e j ) − fxi (a)
= lı́m
t→0 t
si este último existe.

Anotamos también1 :
∂2 f
fx j xi (a) = (a) = D j Di f (a)
∂ x j ∂ xi

Departamento de Matemática
1 En la notación de Richard Courant
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Observaciones

1. Si z = f (x, y), tenemos:

 
∂ ∂z
2
= zxx = Dx z
∂x ∂x
 
∂ ∂z
= zxy = Dx Dy z
∂x ∂y
 
∂ ∂z
= zyx = Dy Dx z
∂y ∂x
 
∂ ∂z
2
= zyy = Dy z
∂y ∂y

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
2. Un vector en Nn de la forma2 α = (α1 , α2 , . . . , αn ) es
llamado un multiı́ndice de orden:

|α| = α1 + α2 + · · · + αn

3. Sean α un multiı́ndice y f : Rn → R un campo escalar.

Definimos las derivadas de orden superior como:

∂ |α| f n


Dα f (x) = α1 α2 αn (x) x∈R
∂ x1 ∂ x2 · · · ∂ xn

4. Sea k ∈ N. El conjunto de todas las derivadas parciales

de orden k de f se define como:
k

D f (x) = Dα f (x) : |α| = k

Departamento de Matemática
2 Es decir, cada αi es un número natural
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplos

Para una función u : Rn → R se define el operador de Laplace

como:
n
∂ 2u
∆u = ∑ 2
i=1 ∂ xi

y la ecuación ∆u = 0 se conoce como ecuación de Laplace3 .

Verifique que la función u(x, y) = x3 − 3xy2 satisface la ecuación

de Laplace.

3 Una solución de la ecuación de Laplace con segundas derivadas Departamento de Matemática

UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA

parciales continuas se llama función armónica.

Ejemplop
Sea r = x2 + y2 + z2 . Defina:

1
f (x, y, z) =
r
Verifique que fxx + fyy + fzz = 0.

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Regla de la cadena de orden superior

Consideremos el diagrama:
u

x y

r s

el cual corresponde a la composición:

u = u x(r, s), y(r, s)

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Las derivadas parciales heredan el mismo diagrama:

∂u ∂u
∂x ∂y

x y

r s

y como:
∂x ∂y
∂r ∂s

r s
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
tenemos, por la regla de la cadena, lo siguiente:

∂ 2u ∂ ∂u
2
=
∂r ∂r ∂r
∂ ∂u ∂x ∂ ∂u ∂y
= · + ·
∂r ∂x ∂r ∂r ∂y ∂r
∂  ∂ u  ∂ x ∂ u ∂ 2x
= · + · 2+
∂r ∂x ∂r ∂x ∂r
∂  ∂ u  ∂ y ∂ u ∂ 2y
+ · + · 2
∂r ∂y ∂r ∂y ∂r
=

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
 n ∂ 2u ∂ x ∂ 2u ∂ y o ∂ x ∂ u ∂ 2x
= 2
· + · · + · 2+
∂ x ∂ r ∂ y∂ x ∂ r ∂ r ∂ x ∂ r
n ∂ 2u ∂ x ∂ 2u ∂ y o ∂ y ∂ u ∂ 2y
+ · + 2· · + · 2
∂ x∂ y ∂ r ∂ y ∂ r ∂ r ∂ y ∂ r

∂ 2u ∂ 2u ∂ 2u
El mismo esquema permite calcular , y 2.
∂ r∂ s ∂ s∂ r ∂ s

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Funciones de clase Ck

Definición
Sean U ⊆ Rn abierto y f : U → R un campo escalar. Diremos
que f es de clase C1 en U si las funciones:

∂f
:U →R
∂ xi
son continuas en U, para cada i = 1, 2, . . . , n.

El conjunto de todas las funciones de clase C1 de U se anota

como C1 (U).

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplo
Considere la función:
2 yz2
f (x, y, z) = yx + ze

Verifique que f es de clase C1 en R3 .

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Observaciones

1 Sean U ⊆ Rn abierto y k ∈ N. Diremos que una función es

de clase Ck en U si las funciones en el conjunto Dk f son
continuas en U. El conjunto de todas las funciones de
clase Ck se anota como Ck (U).

2 Diremos que una función f es de clase C∞ en U si

f ∈ Ck (U), para todo k ≥ 1.

3 Note que:

C∞ (U) ⊆ · · · ⊆ C2 (U) ⊆ C1 (U) ⊆ C(U)

4 Una función vectorial F = ( f1 , f2 , . . . , fn ) es de clase Ck , si y

solo si, todas sus componentes fi son de clase Ck .

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
C1 implica diferenciabilidad

Teorema
Sean U ⊆ Rn abierto y f : U → R una función con derivadas
parciales continuas en a ∈ U, entonces f es diferenciable en a.

En particular:

f ∈ C1 =⇒ f es diferenciable =⇒ f es continua

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplo
La diferenciabilidad no implica, necesariamente, la continuidad
de las derivadas parciales. Considere f : R2 → R dada por:
  
(x2 + y2 ) sin p 1

, (x, y) 6= (0, 0)
f (x, y) = 2
x +y 2

 0 , (x, y) = (0, 0)

Verifique que f es diferenciable en (0, 0), pero no es de clase C1

en cualquier región que contenga al (0, 0).

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
El teorema de Schwarz: igualdad de las derivadas
mixtas

Teorema (Schwarz)
Sean U ⊆ Rn un conjunto abierto y f ∈ C2 (U). Entonces:

∂2 f ∂2 f
(a) = (a)
∂ x j ∂ xi ∂ xi ∂ x j

para todo a ∈ U.

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplo
Considere f : R2 → R dada por:
 2 − y2
x
xy , (x, y) 6= (0, 0)

f (x, y) = x 2 + y2

 0 , (x, y) = (0, 0)

Verifique que fxy (0, 0) 6= fyx (0, 0). ¿Contradice este resultado el
teorema de Schwarz?

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplo
Sea u = u(x, y) una función de clase C2 solución de la ecuación
de Laplace:
∂ 2u ∂ 2u
2
+ 2 =0
∂x ∂y
Utilizando el cambio en coordenadas polares:

x = r cos θ , y = r sin θ

demuestre que la ecuación de Laplace queda:

1 ∂ 2u 1 ∂ u ∂ 2u
2 2
+ + 2 =0
r ∂θ r ∂r ∂r

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplo
Sean f : Rn → R una función de clase C2 y g : R → R definida
por:
g(t) = f (a + t · h)
con h ∈ Rn . Calcule g00 (0).

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA