Capítulo 2

La Diferencial de Fréchet

Iniciamos, con este capítulo, el cálculo diferencial para funciones de va-

rias variables reales. Aunque el marco de trabajo será, con frecuencia, el de
los espacios normados, nuestro interés se centra en la generalización del con-
cepto de derivada, y el estudio de sus propiedades, a las funciones de varias
variables reales.
Supondremos conocidos los resultados habituales del Cálculo Diferencial
para funciones de 1-variable, el concepto de derivada parcial y un cálculo
elemental con derivadas parciales.

1. El concepto de función diferenciable

Es bien conocido que el significado geométrico de que una función de una
variable f sea derivable en un punto a es que su gráfica admita una recta
tangente (no vertical) en el punto (a, f (a)). En esta sección pretendemos ex-
tender a las varias variables el concepto de función derivable (o diferenciable)
en un punto, de tal modo que, para concretar, una función f : A ⊂ R2 → R
sea diferenciable en un punto cuando sea continua en ese punto y admita
un plano tangente (no vertical) en el punto correspondiente de la gráfica. A
este fin debemos formalizar previamente la noción de tangencia:

Definición 2.1 Sea M ⊂ Rk y c un punto de acumulación de M . Se dice

que el vector w es ortogonal a M en c o que el hiperplano afín que pasa por
c y tiene a w como vector normal es tangente a M en c si
 z−c 
lı́m · w = 0.
z→c
z∈M
kz − ck

29
30 La Diferencial de Fréchet 2.3

Es fácil ver que en la definición podemos utilizar la norma de Rk que se

quiera y que el conjunto Ortc M de los vectores ortogonales a M en c es un
subespacio vectorial de Rk .
Cuando k = 3 y M es una superfice (en un sentido intuitivo, no preciso) y
tratamos de interpretar geométricamente lo que significa que el vector w sea
ortogonal a M en un punto c, parece claro que tal condición lo que expresa
es justamente que el plano que pasa por c y tiene como vector normal a w
es tangente a M .
o
Definición 2.2 Sea f : A ⊂ Rn → R, a ∈ A y M la gráfica de la función
f . Se dice que f es diferenciable en a si satisface alguna de las condiciones
equivalentes del teorema siguiente:

Teorema 2.3 Con las notaciones de la definición anterior, las tres condi-
ciones de la función f son equivalentes:
i) f es continua en a y M admite un vector ortogonal en c = (a, f (a)), w =
(α1 , . . . , αn , β) con β 6= 0.
ii) Existen n números reales q1 , . . . , qn tales que
f (x) − f (a) − (q1 (x1 − a1 ) + · · · qn (xn − an ))
lı́m = 0.
x→a kx − ak + |f (x) − f (a)|
iii) Existen n únicos números reales q1 , . . . , qn tales que
f (x) − f (a) − (q1 (x1 − a1 ) + · · · qn (xn − an ))
(CD) lı́m = 0.
x→a kx − ak

Demostración. i) implica ii). Supongamos pues que el vector (α1 , . . . , αn , β)

con β 6= 0 es ortogonal a M en c. Entonces, si tomamos qi = −1 β αi , tambien
el vector w = (−q1 , −q2 , . . . , −qn , 1) ∈ Ortc M , lo cual, teniendo en cuenta
que f es continua en a, se expresa así:
f (x) − f (a) − q1 (x1 − a1 ) − · · · − qn (xn − an )
(2.1) lı́m = 0.
x→a kx − ak + |f (x) − f (a)|
ii) implica iii). Sean q1 , . . . , qn satisfaciendo ii) y denotemos por T la apli-
cación lineal determinada por (q1 , . . . , qn ) es decir T (x1 ,
. . . , xn ) = q1 (x1 − a1 ) + · · · + qn (xn − an ), entonces
|f (x) − f (a) − T (x − a)|
kx − ak
|f (x) − f (a) − T (x − a)| kx − ak + |f (x) − f (a)|
= · .
kx − ak + |f (x) − f (a)| kx − ak
2.3 La Diferencial de Fréchet 31

Como por ii) se tiene que

|f (x) − f (a) − T (x − a)|
lı́m = 0,
x→a kx − ak + |f (x) − f (a)|
para probar que se satisface iii) bastará ver que la condición ii) también
implica que existe algún entorno de a donde la fracción
kx − ak + |f (x) − f (a)|
kx − ak
está acotada o equivalentemente que exista alguna cosnstante k tal que
|f (x) − f (a)| ≤ kkx − ak para cada x de ese entorno (lo que se exprese-
rá diciendo que f es lipschitziana en a). En efecto, para ε = 12 debe existir
una bola B(a, r) tal que si x ∈ B(a, r) entonces (teniendo en cuenta que T
es lipschitziana (ejercicio)),

|f (x) − f (a)| ≤ |f (x) − f (a) − T (x − a)| + |T (x − a)|

1
≤ (kx − ak + |f (x) − f (a)|) + M kx − ak
2
⇓
|f (x) − f (a)| ≤ (2M + 1)kx − ak = kkx − ak.

Para probar la unicidad de los numéros reales q1 , . . . , qn satisfaciendo iii),

observemos que si para los números reales p1 , . . . , pn también fuera cierto
iii), entonces
(pi − qi )(xi − ai )
P
lı́m = 0,
x→a kx − ak
y esto implicaría que para cada j
(pj − qj )(xj − aj )
lı́m =0
xj →aj |xj − aj |
y, por tanto, pj = qj .
De hecho, razonando de la misma forma, es fácil ver que los únicos qj
satisfaciendo la condición (CD) de iii) son justamente las derivadas parciales
de f en a. En efecto, si suponemos que
f (x) − f (a) − (q1 (x1 − a1 ) + · · · qn (xn − an ))
lı́m = 0,
x→a kx − ak
entonces
f (a1 , . . . , xj , . . . , an ) − f (a) − qj (xj − aj )
lı́m = 0,
xj →aj |xj − aj |
32 La Diferencial de Fréchet 2.5

y por tanto
 f (a , . . . , x , . . . , a ) − f (a)  ∂f
1 j n
lı́m − qj = 0 ⇒ qj = (a).
xj →aj xj − aj ∂xj

Trivialmente iii) implica ii). Para probar que ii) implica i) observemos,
en primer lugar, que ya hemos probado que la condición ii) implica que
f es lipschitziana en a y por tanto continua en a. Para terminar basta
comprobar que ii) expresa (puesto que f es continua en a) que el vector
w = (−q1 , . . . , −qn , 1) es ortogonal a la gráfica de f en c (ejercicio).
A efectos prácticos el teorema anterior nos dice que para estudiar la
o
diferenciabilidad de una función f : A ⊂ Rn → R un punto a ∈ A, en primer
lugar hemos de ver si existen las derivadas parciales en a, y entonces seá
diferenciable en a si y sólo si
Pn ∂f
f (x) − f (a) − j=1 ∂xj (a)(xj − aj )
lı́m = 0,
x→a kx − ak
O equivalente, como también hemos establecido en dicho teorema, si el
vector
∂f ∂f
w=( (a), . . . , (a), −1)
∂x1 ∂xn
es ortogonal a su gráfica M en el punto c = (a, f (a)), lo que también puede
expresarse diciendo que el hiperplano afín pasando c teniendo a w como vec-
tor normal es tangente a M en c. Observar que la ecuación de este hiperplano
es:
∂f ∂f
z = f (a) + (a)(x1 − a1 ) + · · · + (a)(xn − an ).
∂x1 ∂xn
Nota. Observar que para funciones de una variable, ser diferenciable en un
punto y ser derivable en ese punto es lo mismo. En efecto, supongamos que
f es una función de una variable. Si f es diferenciable en a entonces debe
existir (∂f /∂x)(a) = f 0 (a). Recíprocamente supongamos f derivable en a,
entonces
f (x) − f (a)
lı́m = f 0 (a)
x→a x−a
f (x) − f (a) − f 0 (a)(x − a)
⇒ lı́m =0
x→a x−a
f (x) − f (a) − f 0 (a)(x − a)
⇒ lı́m = 0.
x→a |x − a|
2.6 La Diferencial de Fréchet 33

Definición 2.4 Una función f : A ⊂ Rn → Rp : f (x) = (f1 (x), . . . , fp (x))

se dirá diferenciable en a si cada fi es diferenciable en a.
El concepto de diferenciabilidad en un punto puede extenderse a las
funciones definidas entre espacios normados de la forma siguiente:

Definición 2.5 Sean E, F espacios normados. Diremos que la función f :

o
A ⊂ E → F es diferenciable en el punto a ∈ A si existe una aplicación lineal
y continua T : E → F tal que

f (x) − f (a) − T (x − a)
lı́m = 0.
x→a kx − ak
O si se quiere, cambiando x − a por h, si

f (a + h) − f (a) − T (h)
(D) lı́m = 0.
h→0 khk

En dimensión finita esta definición coinciden con la establecida antes, siendo

T la aplicación lineal determinada por la matriz de las derivadas parciales.
Como cabe esperar, también en dimensión infinita, tal aplicación lineal debe
ser única. En efecto, si las aplicaciones lineales y continuas T1 , T2 satisfacen
ambas la condición (D) entonces

T1 (h) − T2 (h)
lı́m = 0.
h→0 khk

Por lo que para cada vector v 6= 0, tomando vectores h = tv, t ∈ R, se

tendría que

T1 (tv) − T2 (tv) tT1 (v) − tT2 (v) T1 (v) − T2 (v)

0 = lı́m = = ,
t→0+ ktvk tkvk kvk

lo que implica que T1 (v) = T2 (v).

Si f es diferenciable en a, a la única aplicación lineal y continua que
satisface la condición (D) se le denomina la diferencial de f en a y se le
denota por Df (a). En dimensión finita dicha aplicación es la determinada
por la matriz jacobiana en a (la de las derivadas parciales de f en a).

Proposición 2.6 Toda función diferenciable en un punto es lipschitziana

en ese punto i.e. si f es diferenciable en a, existe una bola centrada en a,
B(a, r), y una constante k ≥ 0 tal que kf (x) − f (a)k ≤ kkx − ak, para cada
x ∈ B(a, r). En particular f es continua en a.
34 La Diferencial de Fréchet 2.8

Demostración. Ya sabemos que esto sucede en dimensión finita. La prueba

en el caso general es parecida (ejercicio) y sólo es preciso tener en cuenta
que toda función lineal y continua es lipschitziana: Si T es lineal y continua
entonces es continua, en particular, en 0. Luego existe algún δ > 0 tal que
δx
kT (u)k ≤ 1 si kuk ≤ δ. Sea x 6= 0 y consideremos u = kxk . Es claro que
kuk = δ y por tanto
δx δ 1
kT (u)k = kT ( )= kT (x)k ≤ 1 ⇒ kT (x)k ≤ kxk.
kxk kxk δ

2. Operaciones con funciones diferenciables

Todas las operaciones permitidas para las funciones derivables de 1-
variable serán válidas para las funciones diferenciables definidas entre es-
pacios normados:

2.7 Si f, g son funciones diferenciables en a entonces f + g es diferenciable

en a, ya que la aplicación lineal Df (a) + Dg(a) satisface la condición de
diferenciabilidad (D) para f +g. Del mismo modo sucede con λf (ejercicio).
o
2.8 Sean E, F, G espacios normados, f : A ⊂ E → F, diferenciable en a ∈ A,
B un subconjunto de F que contiene a B y g : B ⊂ F → G diferenciable en
o
b = f (a) ∈ B, entonces g ◦ f es diferenciable en a y se tiene que
(2.2) D(g ◦ f )(a) = Dg(f (a)) ◦ Df (a) (Regla de la Cadena).

Demostración. Sólo tenemos que probar que g ◦ f satisface en a la condición

de diferenciabilidad respecto a la aplicación lineal y continua T = Dg(f (a))◦
Df (a), es decir:
(g ◦ f )(x) − (g ◦ f )(a) − T (x − a)
lı́m = 0,
x→a kx − ak
o sea que para cada ε > 0 existe δ > 0 tal que si kx − ak ≤ δ entonces
k(g ◦ f )(x) − (g ◦ f )(a) − T (x − a) ≤ εkx − ak.
Para ello, sumando sumando y restando Dg(f (a))(f (x) − f (a)) dentro de la
norma en la expresión anterior se trataría de probar que
k(I1 )k = kg(f (x)) − g(f (a)) − Dg(f (a)(Df (a)(x − a))k
≤ kg(f (x)) − g(f (a)) − Dg(f (a))(f (x) − f (a))k
+kg(f (x)) − g(f (a)) − Dg(f (a))(f (x) − f (a) − Df (a)(x − a))k
= k(I2 )k + k(I3 )k ≤ εkx − ak.
2.9 La Diferencial de Fréchet 35

Veamos en primer lugar que k(I2 )k ≤ 2ε kx − ak. Para ello tengamos en

cuenta que por ser f lipschitziana en a, existe algún δ1 > 0 y k > 0 tal que
si kx − ak ≤ δ1 entonces kf (x) − f (a)k ≤ kkx − ak.
Como g es diferenciable en f (a) debe existir η > 0 tal que
ε
k(I2 )k ≤ kf (x) − f (a)k, si kf (x) − f (a)k ≤ η.
2k
Pero como f es continua en a la condición kf (x)−f (a)k ≤ η se cumple para x
suficientemente próximo a a, es decir existe algún δ2 tal que kf (x)−f (a)k ≤ η
si kx−ak ≤ δ2 . Se deduce pues que si x dista de a menos que δ1 y δ2 entonces
ε ε
k(I2 )k ≤ kf (x) − f (a)k ≤ kx − ak.
2k 2
Para probar que también k(I3 )k ≤ 2ε kx − ak debemos tener en cuenta,
además de que f es diferenciable en a, que Dg(f (a)), al ser una aplicación
lineal y continua, es lipschitziana. Entonces existe δ3 > 0 tal que
k(I3 )k = kg(f (x)) − g(f (a)) − Dg(f (a))(f (x) − f (a) − Df (a)(x − a))k
≤ M kf (x) − f (a) − Df (a)(x − a))k
ε ε
≤M kx − ak = kx − ak, si kx − ak ≤ δ3 .
2M 2
La demostración está completa sin más que tomar δ el más pequeño entre
δ1 , δ2 , δ3 .

2.9 Si f, g son funciones escalares diferenciables en el punto a entonces el

producto f g y el cociente f /g (si g(a) 6= 0) son diferenciables en a.

Demostración. La aplicación f g se obtiene por la composición x → (f (x),

g(x)) → f (x)g(x). La primera es diferenciable en a pues se trata de una fun-
ción con dos funciones coordenadas f, g, que por hipótesis son diferenciables
en a. La segunda función no es más que la aplicación de R2 en R producto
de dos números reales, es decir la aplicación p : R2 → R; (u, v) → u.v y esta
aplicación es diferenciable en cada punto (u0 , v0 ): admite derivadas parciales
∂p ∂p
en cada punto, ∂x (u0 , v0 ) = v0 y ∂y (u0 , v0 ) = u0 , y satisface la condición de
diferenciabilidad, ya que

∂p ∂p
p(u, v) − p(u0 , v0 ) − ∂x (u0 , v0 )(u − u0 ) − ∂y (u0 , v0 )(v − v0 )
k(u − u0 , v − v0 )k
uv − u0 v0 − v0 (u − u0 ) − u0 (v − v0 ) (u − u0 )(v − v0 )
= = ,
k(u − u0 , v − v0 )k |u − u0 | + |v − v0 |
36 La Diferencial de Fréchet 2.9

y (como se ve fácilmente)

(u − u0 )(v − v0 )
lı́m = 0.
(u,v)→(u0 ,v0 ) |u − u0 | + |v − v0 |

Para el cociente basta ver que si g(a) 6= 0, entonces la aplicación 1/g es

diferenciable en a. Escribiendo 1/g como la composición de las aplicaciones

1
x → g(x) → ,
g(x)

eso se sigue de que la aplicación de R en R, t → 1/t, es diferenciable en

R \ {0}.

Nota. No consideraremos aquí la diferenciabilidad de la inversa de una fun-

ción, ya que el estudio de funciones inversas será el objeto de otro capítulo
posterior.

2.1. Algunos ejemplos

Como antes con las funciones continuas, los resultados anteriores nos
permitirán construir una extensa familia de funciones diferenciables.
Veamos en primer lugar que si f es una aplicación lineal y continua entre
los espacios normados E y F entonces f es diferenciable en cada punto de
a ∈ E y Df (a) = f . Como

f (x) − f (a) − f (x − a)
= 0,
kx − ak

Es obvio, que al ser f lineal y continua, se satisface la condición de diferen-

ciabilidad en a con T = f , y por tanto Df (a) = f .
También los polinomios son funciones diferenciables en todo punto. Pues-
to que la suma y el producto de aplicaciones diferenciables es una aplicación
diferenciable, es evidente que los polinomios son diferenciables ya que éstos
no son más que sumas finitas de productos finitos de funciones del tipo

(x1 , x2 , . . . , xn ) → xj ,
(x1 , x2 , . . . , xn ) → k

las del primer tipo lineales (luego diferenciables) y las del segundo tipo
constantes y por tanto claramente diferenciables, siendo su diferencial en
cada punto igual a 0.
2.9 La Diferencial de Fréchet 37

Aplicando 2.9, las funciones racionales (cocientes de dos polinomios) son

diferenciables sobre el conjunto de puntos donde el polinomio del denomi-
nador no se anula.
Por último, mediante la composición de las funciones anteriores con fun-
ciones de una variable y diferenciables, se obtienen nuevas funciones de varias
variables y diferenciables
1
sen (x2 + y 2 ), log(1 + x2 + y 2 ), , ...
1 + cos2 (xyz)

2.2. Cálculo con derivadas parciales

Teniendo en cuenta que las derivadas parciales no son más que derivadas
de funciones de una variable, podemos aplicar las reglas de derivación ya
conocidas para estas últimas para deducir las siguientes reglas de cálculo
con derivadas parciales:
∂f ∂f1 ∂f2 ∂fp
 
1) Si f = (f1 , f2 , . . . , fp ), (a) = (a), (a), . . . , (a) .
∂xj ∂xj ∂xj ∂xj
∂(f + g) ∂f ∂g ∂(λf ) ∂f
2) (a) = (a) + (a); (a) = λ (a).
∂xj ∂xj ∂xj ∂xj ∂xj
∂(f g) ∂f ∂g
3) Si f, g son funciones escalares, (a) = f (a) (a) + (a);
∂xj ∂xj ∂xj
∂(f /g) g(a)(∂f /∂xj )(a) − f (a)(∂g/∂xj )(a)
y si además g(a) 6= 0, (a) =
∂xj g(a)2

Observar que para la valided de las tres reglas de cálculo anteriores sólo
es preciso que existan las derivadas parciales de las funciones involucradas.
Esto no será así a la hora de establecer una regla de cálculo para las derivadas
parciales de la composición de dos funciones sino que necesitaremos hipótesis
adicionales, como la diferenciabilidad de estas funciones.
4) (Regla de la cadena para derivadas parciales) Sea f : A ⊂ Rn → Rp
o
diferenciable en el punto a ∈ A, B un subconjunto de Rp que contiene a f (A)
o
y g : B ⊂ Rp → Rm diferenciable en el punto b = f (a) ∈ B. Según 2.7 g ◦f es
diferenciable en a y se satisface la igualdad D(g ◦ f )(a) = Dg(f (a)) ◦ Df (a).
En este contexto dicha igualdad dice que la matriz jacobiana de g ◦ f (la
matriz de la aplicación lineal D(g ◦ f )(a)) es el producto de las matrices
jacobianas de g en f (a) por la jacobiana de f en a. Por lo tanto establece
una especie de regla de la cadena para calcular las derivadas parciales de
g ◦ f a partir de las de f y g. En efecto, supuesto que m = 1 (las derivadas
38 La Diferencial de Fréchet 2.10

parciales de una aplicación se obtienen, según establecimos antes a partir de

las derivadas parciales de las funciones coordenadas) se tiene que :

∂(g ◦ f ) ∂(g ◦ f )

(a), . . . , (a) =
∂x1 ∂xn
∂f1 ∂f1  
 ∂x1
(a) · · · (a)
 ∂xn  
  ∂f2 ∂f2
∂g ∂g
 
(f (a)), · · · ,

(f (a)) ×  ∂x1 (a) · · · (a) 
∂y1 ∂yp
 ∂x n


. . . . . . . . . . . . . . . . . . .
 
 ∂fp ∂fp 
(a) · · · (a)
∂x1 ∂xn

Esta igualdad matricial nos permite escribir:

p
∂(g ◦ f ) X ∂g ∂fs
(2.3) (a) = (f (a)) (a).
∂xj s=1
∂ys ∂xj

Si alguna de las funciones f o g no es diferenciable , la fórmula 2.3 puede

no ser cierta. Pero por otra parte, la diferenciabilidad de ambas aplicaciones
sólo es una condición suficiente para la validez de la misma:

Ejemplo Consideremos la composición

f g p
(x, y) ............................... (x, x − y) ....................................... 3 x3 + (x − y)3

Es fácil comprobar que

∂(g ◦ f ) √
3
(0, 0) = 2.
∂x
∂g ∂u ∂g ∂v
(0, 0) (0, 0) + (0, 0) (0, 0) = 1 + 1 = 2.
∂u ∂x ∂v ∂x
Luego la fórmula 2.3 no es cierta. Observar que g no es diferenciable en
(0, 0).
Sea ahora la composición
f g p
(x, y) ....................................... (x, y 2 ) ........................... 3 x3 + y 6
Es fácil comprobar que, a pesar de que g no es diferenciable en (0, 0), la
fórmula 2.3 sí que es válida.
2.12 La Diferencial de Fréchet 39

2.3. Derivadas direccionales

o
Definición 2.10 Sea f : A ⊂ E → F, a ∈ A y h 6= 0 un vector de E. Se dirá
que f es derivable en el punto a, siguiendo el vector h, si existe

f (a + th) − f (a)
(2.4) Dh f (a) = lı́m .
t→0 t
Al elemento de F, Dh f (a), se le denominará derivada de f en a, siguiendo
el vector h. Cuando f admite derivada siguiendo cualquier vector no nulo,
se dirá también que f admite derivadas en todos las direcciones.

Consideremos la recta de ecuación x = a+th, t ∈ R (recta que pasa por a

y tiene a h como vector director). Entonces f (a+th) son los valores que toma
f sobre esta recta, y por tanto, por analogía con los límites direccionales,
podría pensarse en denominar al límite 2.4, como la derivada de la función
f en a siguiendo la recta x = a + th. Esto sería correcto, de no ser porque
para cada vector director de esa recta puede resultar un valor distinto para
Dh f (a). Concretamente, es fácil ver que

Dλh f (a) = λDh f (a).

2.11 Observemos que las derivadas parciales en un punto no son más que las
derivadas en ese punto siguiendo ciertos vectores particulares, los vectores
e1 = (1, 0, . . . , 0), e2 = (0, 1, 0, . . . , 0), . . .. En efecto,

∂f f (a1 , . . . , aj−1 , xj , aj+1 , . . . , an ) − f (a1 , . . . , an )

(a) = lı́m
∂xj x j →aj xj − aj
f (a + (xj − aj )ej ) − f (a) f (a + tej ) − f (a)
= lı́m = lı́m = Dej f (a).
xj →aj xj − aj t→0 t

Por lo tanto la condición f derivable en un punto de Rn en todas las direc-

ciones es más fuerte (en general, estrictamente) que la condición existen las
derivadas parciales en ese punto. En cambio, dicha condición es más débil
que la condición f diferenciable en el punto:

Proposición 2.12 Sean E, F espacios normados y f : A ⊂ E → F dife-

o
renciable en a ∈ A . Entonces f admite derivadas en a en todas direcciones
y Df (a)(h) = Dh f (a). En particular la aplicación h → Dh f (a) es lineal y
continua.
40 La Diferencial de Fréchet 2.12

Demostración. En efecto, si la aplicación f : A ⊂ E → F es diferenciable

o
en a ∈ A , es decir existe T ∈ L (E; F ) tal que atisface
f (a + h) − f (a) − T (h)
lı́m = 0,
h→0 khk
entonces para cada h 6= 0 (fijado) se tiene:
f (a + th) − f (a) − T (th) f (a + th) − f (a) − tT (h)
lı́m = 0 = lı́m ,
t→0 kthk t→0 |t|khk
que claramente implica que
f (a + th) − f (a) − tT (h)
lı́m =0
t→0 t
y que, por tanto,
f (a + th) − f (a)
T (h) = lı́m = Dh f (a).
t→0 t
Se deduce pues que h → Dh f (a) es lineal y continua, ya que esta aplicación
no es otra que Df (a).

Nota. Observar que en dimensión finita la existencia, para cada vector h,

de Dh f (a) y que la aplicación h → Dh f (a) sea lineal implica la igualdad:
n
X ∂f
Dh f (a) = hi (a).
i=1
∂xi

Ejemplo (Una función no continua en un punto, que admite en ese punto

derivadas en todas las direcciones).
x2 y
f (x, y) = si (x, y) 6= (0, 0); f (0, 0) = 0.
x4 + y 2
Si tomamos v = (h, k) y aplicamos la definición para calcular la derivada en
el punto (0,0) siguiendo el vector v, resulta
f (th, tk) t3 h2 k h2
Si k 6= 0, Dv f (0, 0) = lı́m = lı́m 4 4 =
t→0 t t→0 (t h + t2 k 2 )t k
Si k = 0, Dv f (0, 0) = 0.

Sin embargo, esta función no es continua en (0,0), pues aunque los límites
iterados y direccionales existen todos y valen 0, los límites siguiendo las
curvas y = mx2 son todos diferentes.
2C La Diferencial de Fréchet 41

Ejercicio. Sean las funciones

xyz
f1 (x, y, z) = ; f1 (0, 0, 0) = 0
x2
+ y4 + z4
xyz
f2 (x, y, z) = 2 ; f2 (0, 0, 0) = 0
x + y2 + z2
xyz 2
f3 (x, y, z) = 2 ; f3 (0, 0, 0) = 0.
x + y4 + z4

1. Probar que todas las funciones anteriores admiten derivadas en (0, 0, 0)

en todas las direcciones.
2. La única función que no es continua en (0, 0, 0) es f1 .
3. Comprobar que la aplicaciones T2 (u) = Du f2 (0, 0, 0) no es lineal y por
tanto f2 no es diferenciable en (0, 0, 0).
4. Estudiar cuales de las funciones fi satisfacen la igualdad Du fi (0, 0, 0) =
∂fi ∂fi ∂fi
∂x (0, 0, 0)h + ∂y (0, 0, 0)k + ∂z (0, 0, 0)p, siendo u = (h, k, p).
5. Comprobar que T3 (u) = Du f3 (0, 0, 0) es lineal, pero f no es dife-
renciable en (0, 0, 0) es decir lı́mu→0 f3 (a+u)−fkuk
3 (a)−Du f3 (a)
6= 0, a =
(0, 0, 0); u = (h, k, p).
6. Comprobar que lı́mu→0 f2 (a+u)−fkuk 2 (a)−Du f2 (a)
= 0, a = (0, 0, 0); u =
(h, k, p), aunque f2 no es diferenciable en (0, 0, 0) (Observar que T2 (u) =
Du f2 (0, 0, 0) no es lineal).

Ejercicios
2A Estudiar continuidad y existencia de derivadas parciales para las funciones
(
ln(1 + (x − y)2 ) si x − y > 1
1. f (x, y) =
x − y + ln 2 si x − y ≤ 1
p
2. f (x, y) = x4 + sen 2 xy
 3
 x si (x, y) 6= (0, 0)
3. f (x, y) = x + y 2
2

0 si (x, y) = (0, 0)

(
sen x−sen y
x−y si x 6= y
4. f (x, y) =
cos x si x = y
42 La Diferencial de Fréchet 2B

2B Supongamos que f es una función escalar de dos variables, continua en el punto

(0,0), y sea g(x, y) = xf (x, y). Probar que g es diferenciable en (0,0).

o
2C Sean E, F espacios normados, f : A ⊂ E → F y a ∈ A.

(a) Si f es diferenciable en a, probar que

(
f (a + h) − f (a) 0 si Df (a) = 0
lı́m =
h→0 khk No existe si Df (a) 6= 0

(b) Probar que si f admite derivadas en a siguiendo cualquier vector y

kf (a + h) − f (a)k
(∗) lı́m = α 6= 0
h→0 khk

entonces kDh f (a)k = αkhk, para todo h ∈ E.

(c) Deducir de (b) que si dim E > dim F y f satisface (∗) entonces f no puede
ser diferenciable en a.
Indicación. De ser diferenciable en a, existiría algún vector no nulo en el
núcleo de Df (a).
(d) Si f es diferenciable en a, entonces son equivalentes:

kf (a + h) − f (a)k
i) Existe lı́mh→0
khk
ii) kDf (a)hk = kDf (a)kkhk para todo h ∈ E.

(e) Considerar las funciones

(p
p x2 + y 2 si x ≥ 0
f1 (x, y) = x2 + y 2 ; f2 (x, y) = p
− x2 + y 2 si x < 0

Probar que ambas funciones satisfacen la condición (∗) en (0,0), cuando se

considera la norma euclídea en R2 . Ninguna de las dos funciones son di-
ferenciables en (0,0), pero mientras que la función f1 no admite derivadas
direccionales, la función f2 sí.

2D Probar que la función f (x) = x3/2 sen 1/x, f (0) = 0 es derivable en 0, pero
no es lipschitziana en ningún entorno de 0.

2E Estudiar continuidad, existencia de derivadas parciales, existencia de derivadas

direccionales y diferenciabilidad en el origen de coordenadas, para cada una de las
funciones siguientes. (Supondremos que todas estas funciones toman el valor 0 en
2I La Diferencial de Fréchet 43

el origen)
x4 + x2 y 2 + y 5 x3 − y 3
1. f (x, y) = 2. f (x, y) =
x2 + y 4 x2 + y 2
x + y4
4
sen (x3 + xyz)
3. f (x, y) = 2 4. f (x, y) = 2
x + y2 x + y2 + z2
ln(1 + xy) ln(1 + xy)
5. f (x, y) = p 6. f (x, y) = p
x2 + y 2 3
x2 + y 2
(x + y 3 )(x2 + y 2 )
2
xy
7. f (x, y) = 8. f (x, y) =
x2 + y 4
p
x + x2 + y 2
2

2F 1. Estudiar la diferenciabilidad de la función f (x, y) = sen |x2 − y 2 |, en los

puntos (0,0) y (1,1).
2. Estudiar la diferenciabilidad en (0,0) de la función f (x, y) = |xy|α , según los
valores de α ≥ 0.
3. Estudiar continuidad, existencia de derivadas parciales, existencia de deri-
vadas direccionales y diferenciabilidad en los puntos (0,0) y (0,1), para la
función (p
x4 + sen 2 (xy) si x ≥ 0
f (x, y) = p
− x4 + sen 2 (xy) si x < 0

2G Demostrar que la función

x5 − y 3
f (x, y) = p ; f (0, 0) = 0
x6 + y 4
es diferenciable en (0,0).
Indicación: Probar que
p
0≤ x6 + y 4 − y 2 ≤ |x|3 , ∀x, y.

2H En este ejercicio g y ϕ serán en todos los casos una función escalar diferenciable
en todo punto (aunque no siempre del mismo número de variables). Supuesto esto, se
trata de probar que la función h construida a partir de g es también diferenciable y
de calcular sus derivadas parciales en términos de las funciones g y ϕ y sus derivadas
parciales:
1. h(x, y, z) = g(x2 − z, sen xyz) 2. h(x, y, z) = g(x + y − z 2 )
3. h(x) = g(x3 , sen x, x − 1) 4. h(x) = g(x2 , g(x, sen x))
5. h(x, y) = g(x2 , g(x, sen y)) 6. h(x, y, z) = xg(xy) + yg(xz) + zg(yz)
7. h(x) = xg(x + g(x)) 8. h(x, y, z) = g(x, y) + g(x, z) + g(y, z)
9. h(x, y) = g(x + ϕ(x, y)) 10. h(x, y) = g(x, yϕ(x, y))
44 La Diferencial de Fréchet 2I

2I Como en el ejercicio anterior, g y ϕ denotarán funciones escalares diferenciables

en todo punto. Sean:
(a) h(x, y, z) = g(xy, ϕ(yz)), con

ϕ(0) = 0 ; ϕ0 (0) = 1 ; Dg(0, 0) ≡ (2, 3)

Calcular las derivadas parciales de h en (0, 1, 0).

(b) h(x, y) = x · g(x, y, y), con

g(1, 0, 0) = 1 ; Dg(1, 0, 0) ≡ (1, 2, −2).

Calcular las derivadas parciales de h en (1, 0).

(c) h(x, y, z) = g(xz, g(y, z)), con

g(0, 1) = 0 ; Dg(0, 0) ≡ (1, 2) ; Dg(0, 1) ≡ (−3, 4).

Calcular las derivadas parciales de h en (0, 0, 1).

2J Probar que la función

Z x+y
2
h(x, y) = e−t +x
dt
0

es diferenciable en cada punto y calcular su diferencial.

Indicación: Tener en cuenta el teorema fundamental del cálculo integral:R x Si f es
una función continua en el intervalo [a, b], entonces la función F (x) = a f (t)dt es
derivable y su derivada es F 0 (x) = f (x).

2K Considerar la función f (x, y) = x2 − 2y.

(a) Obtener la ecuación del plano tangente a la gráfica de f en el punto (0,1,-2).
(b) Calcular la derivada de f en (0,1) siguiendo el vector v = (2, 3).

2L Estudiar la existencia de derivadas direccionales en (0,0) para las funciones

p p
f1 (x, y) = 3 x3 + y 3 ; f2 (x, y) = 3 x3 + y 4

¿Son diferenciables en (0,0)?

Indicación: Para estudiar la diferenciabilidad de f2 en (0,0), puede resultar útil
saber
√ que,√si r es un número real > 0 y denotamos por g a la función g(u) =
3
u + r − 3 u, entonces g es no negativa y alcanza un máximo absoluto en el punto
u = −r/2.
2.14 La Diferencial de Fréchet 45

3. El teorema del valor medio

Comenzaremos esta sección recordando dos versiones del teorema del valor me-
dido para funciones de 1-variable y por tanto ya conocidas:

2.13 Sea f : [a, b] ⊂ R → R una función continua en [a, b] y derivable en (a, b).
Entonces:
(i) Existe algún punto c ∈ (a, b) tal que f (b) − f (a) = f 0 (c)(b − a).
(ii) Si además existe alguna constante M tal que |f 0 (x)| ≤ M para todo x ∈ (a, b),
entonces |f (x)−f (y)| ≤ M |x−y|, ∀x, y ∈ [a, b] (Fórmula de los incrementos
finitos)
El resultado anterior se extiende tal cual a funciones escalares de varias
variables.

Teorema 2.14 Sea [a, b] un segmento de Rn y f : A ⊂ Rn → R una función

o
continua en [a, b] ⊂ A y derivable en (a, b). Entonces:
(i) Existe algún punto c ∈ (a, b) tal que existe algún punto c ∈ (a, b) tal que
X ∂f
f (b) − f (a) = Df (c)(b − a) = (c)(bj − aj ).
∂xj

(ii) Si además existe alguna constante M tal que

∂f
(x) ≤ M, ∀x ∈ (a, b),
∂xj
entonces
(2.5) |f (b) − f (a)| ≤ M kb − ak1 .

Demostración. Consideremos la aplicación λ : [0, 1] ⊂ R → [a, b] ⊂ Rn definida

por λ(t) = a + t(b − a) = (a1 + t(b1 − a1 ), . . . , an + t(bn − an )). Esta aplicación
es claramente derivable en [0,1], siendo λ0 (t) = b − a. Sea g = f ◦ λ, g es una
función escalar de una variable que es continua en [0, 1] y derivable en (0, 1), pues
f es continua en cada punto λ(t) con t ∈ [0, 1] y derivable en λ(t) con t ∈ (0, 1).
Aplicando la regla de la cadena se tiene que
X ∂f
g 0 (t) = (λ(t))(bj − aj ).
∂xj
Aplicando ahora el teorema de valor medio para funciones escalares de una variable
a la función g en [0, 1], se tiene que existe algún θ ∈ (0, 1)
X ∂f
f (b) − f (a) = g(1) − g(0) = g 0 (θ) = (λ(θ))(bj − aj ) = Df (λ(θ))(b − a).
∂xj
El apartado ii) es una consecuencia directa de la fórmula anterior.
46 La Diferencial de Fréchet 2.16

Nota. Observar que el apartado i) del teorema anterior no es válido, en general,

para funciones no escalares. Un ejemplo típico lo proporciona la función f : t →
(cos t, sen t). Es claro que f (π) − f (0) = (−2, 0) 6= π(− sen t, cos t) para todo t.
Sin embargo el apartado ii) se puede extender, sin ninguna restricción, a fun-
ciones con valores en un espacio normado F . Ver por ejemplo T.M. Flett [13] o H.
Cartan [5]. Una demostración, basada en en el potente resultado del Análisis Fun-
cional conocido como teorema de Hahn-Banach, puede verse también en Apuntes
2013-14
El siguiente teorema no es una extensión a varias variables de alguno ya cono-
cido para 1-variable:

Teorema 2.15 Sea [a, b] un segmento de Rn contenido en un abierto U y f : U ⊂

Rn → Rp una función que admite derivadas parciales en cada punto de U y están
acotadas, es decir existe M ≥ 0 tal que
∂fi
(x) ≤ M, ∀x ∈ U ; i = 1, . . . , p ; j = 1, . . . , n.
∂xj
Entonces kf (b) − f (a)k∞ ≤ M kb − ak1 .

Demostración. Puede suponerse que f es una función escalar, pues si el teorema

fuese cierto para funciones escalares, entonces para una función vectorial, f =
(f1 , f2 , ..., fp ), se tendría también:
kf (b) − f (a)k∞ = máx |fi (b) − fi (a)| ≤ M kb − ak1 .
1≤i≤p

Para la demostración usaremos el siguiente lema:

Lema 2.16 Sea [a, b] un segmento (cerrado y acotado) contenido en el abierto U

de Rn . Entonces existe algún λ > 0 tal que para todo c ∈ [a, b], B∞ [c, λ] está
contenido en U .
Conforme a este lema sean
1 1 1
a = c0 , c1 = c0 + (b − a), c2 = c1 + (b − a), . . . , cp = cp−1 + (b − a) = b.
p p p
Tomando p suficientemente grande, es claro que estos puntos del segmento [a, b] se
pueden suponer separados cada uno del siguiente a una distancia kcj − cj+1 k∞ =
1
p kb − ak∞ ≤ λ. Vamos a probar que kf (cj ) − f (cj+1 )k ≤ M kcj − cj+1 k1 y que, por
lo tanto,
|f (a) − f (b)| ≤ |f (c0 ) − f (c1 )| + |f (c1 ) − f (c2 )| + · · ·
≤ M kc1 − c0 k1 + M kc2 − c1 k1 + · · ·
1 1
= M ( ka − bk1 + ka − bk1 + · · · )
p p
= M ka − bk1 .
2.18 La Diferencial de Fréchet 47

Sea cj = (α1 , . . . , αn ), cj+1 = (β1 , . . . , βn ) con |αi − βi | ≤ λ, i = 1, . . . , n.

Entonces

f (cj ) − f (cj+1 ) =f (α1 , . . . , αn ) − f (β1 , . . . , αn )

(2.6) + f (β1 , . . . , αn ) − f (β1 , β2 , . . . , αn )
..................................................
+ f (β1 , . . . , βn−1 , αn ) − f (β1 , . . . , βn ).

Observemos que cada punto del tipo z = (β1 , . . . , βk−1 , x, αk+1 , . . . αn ) con x entre
αk y βk pertenece a U , pues

kz − cj k∞ = máx{|β1 − α1 |, . . . , |βk−1 − αk−1 |, |x − αk |} ≤ kcj+1 − cj k ≤ λ.

Por lo que z ∈ B∞ [cj , λ], y esta bola está contenida en U según el lema. La existencia
de derivadas parciales en cada punto de U nos permite aplicar el teorema de valor
medio a las funciones de una variable

x → f (β1 , . . . , βk−1 , x, αk+1 , . . . αn )

en el intervalo cerrado de extremos αk , βk , pudiendo escribir entonces que

X ∂f
f (cj ) − f (cj+1 ) = (β1 , . . . , βk−1 , θk , αk+1 , . . . αn )(αk − βk ),
∂xk
de lo que se deduce, teniendo en cuenta que las derivadas parciales están acotadas
en U por M , que
X
|f (cj ) − f (cj+1 )| ≤ M |αk − βk | = M kcj − cj+1 k1 .

Demostración del Lema. Supongamos que para cada p existe un dp ∈ [a, b] y un

yp ∈ B∞ [dp , p1 ] tal que yp ∈ U c . Sea dp = a + tp (b − a) con tp ∈ [0, 1]. Puesto que
[0, 1] es compacto la sucesión {tp } tiene una subsucesión {tpk } que converge a un
punto s de [0, 1] y por lo tanto {dpk } converge al punto d = a + s(b − a) de [a, b]
(comprobarlo como ejercicio). También

1
kypk − dk∞ ≤ kypk − dpk k∞ + kdpk − dk∞ ≤ + kdpk − dk∞ → 0,
pk

lo que nos dice que la sucesión {ypk } de puntos de U c converge a d. Pero esto es
absurdo, pues como d ∈ U y U es abierto cualquier sucesión que converja a d debe
tener sus términos a partir de uno en adelante contenidos en U .

3.1. Consecuencias
2.17 Sea U un conjunto abierto convexo de Rn y f : U → Rp una función que
admite derivadas parciales acotadas en U . Entonces f es lipschitziana en U.
48 La Diferencial de Fréchet 2.19

Demostración. Basta aplicar el teorema anterior en el segmento [x, y] para cada

x, y ∈ U .

2.18 Si todas las derivadas parciales de una función f : U ⊂ Rn → Rp son nulas

en el abierto conexo U , entonces f es constante sobre U .

Demostración. Por definición el abierto U se dice conexo si no se puede des-

componer como unión de otros dos abiertos no vacíos y disjuntos. Sea a ∈ U y
B = {x ∈ U : f (x) = f (a)}. Se trata de probar que B = U . Para ello, veamos
en primer lugar que B es abierto, es decir que si x ∈ B entonces B es entorno
de x. Puesto que U es abierto, U es entorno de x y por tanto existe alguna bola
centrada en x, B(x, r(x)) contenida en U . Para que B sea entorno de x bastará
ver que esta bola está contenida en B. Puesto que las derivadas parciales son nulas
(acotadas, por tanto, por M = 0) la función f debe ser, según el Teorema 2.15,
lipschitziana de constante de Lipschitz M = 0 en cada abierto y convexo contenido
en U , en particular en la bola B(x, r(x)). Es decir que si y ∈ B(x, r(x)) entonces
kf (y) − f (x)k ≤ 0kx − yk, luego f (y) = f (x) y, como f (x) = f (a) ya que x ∈ B, se
tiene que y ∈ B.
Con el mismo argumento se prueba que también U \ B es abierto, por lo que
U se escribe como unión de los abiertos disjuntos B y U \ B. Como U es conexo y
B 6= ∅(a ∈ B), se tiene que U \ B = ∅ o sea que B = U .
Una demostración alternativa, supuesto conocido que en Rn un conjunto abierto
U es conexo si y sólo si es conexo por poligonales (ver Manual (Proposición 1.10)),
es la siguiente: Sean x, y ∈ U y consideremos la poligonal de extremos x, y, [x, x1 ] ∪
[x1 , x2 ] ∪ . . . ∪ [xp , y] contenida en U . Puesto que las derivadas parciales son nulas
(acotadas en U , por tanto, por M = 0), se deduce del Teorema 2.15 que
kf (x) − f (y)k ≤ kf (x) − f (x1 )k + kf (x1 ) − f (x2 )k + · · ·
≤ 0kx − x1 k1 + 0kx1 − x2 k1 + · · · = 0,
lo que nos dice que f (x) = f (y).

2.19 [Condición suficiente de diferenciabilidad] Sea f : A ⊂ Rn → Rp , y

o
a ∈ A. Si f admite derivadas parciales, respecto a cualquier índice, en un entorno
del punto a y éstas son aplicaciones continuas en a, entonces f es lipschitziana en
alguna bola centrada en a y diferenciable en a.

Demostración. Obviamente podemos suponer que f es una función escalar. Como

las aplicaciones
∂f ∂f
:x→ (x)
∂xj ∂xj
son continuas en a, entonces dado ε > 0 debe existir alguna B(a, r) tal que si
x ∈ B(a, r) entonces
∂f ∂f
(x) − (a) ≤ ε.
∂xj ∂xj
2.20 La Diferencial de Fréchet 49

De esto se deduce entonces:

(1)
∂f ∂f ∂f
(x) ≤ ε + (a) ≤ M = (ε + máx (a) ),
∂xj ∂xj j ∂xj
de lo que se sigue, aplicando el Corolario 2.17, que f es lispchitziana en B(a, r).
(2) Si llamamos
n
X ∂f
g(x) = f (x) − f (a) − (a)(xj − aj ),
j=1
∂xj

entonces es claro que

∂g ∂f ∂f
(x) = (x) − (a),
∂xj ∂xj ∂xj
y por lo tanto que la derivadas parciales de g están acotadas por ε en B(a, r).
De nuevo, del Corolario 2.17, se deriva que g es lipschitziana en dicha bola. En
particular, que
n
X ∂f
kg(x) − g(a)k = f (x) − f (a) − (a)(xj − aj ) ≤ εkx − ak1 ,
j=1
∂xj

que, obviamente, significa que f satisface la condición de diferenciabilidad en a.

Nota. Obsérvese que del hecho de que la función g de la demostración anterior sea
lipschitziana en B(a, r), se deduce que
Pn ∂f
f (x) − f (y) − j=1 ∂x j
(a)(xj − yj )
(2.7) lı́m = 0.
(x,y)→(a,a) kx − yk
Por lo tanto, se ha demostrado que si f es una función cuyas derivadas parciales
son continuas en a, entonces f es algo más de diferenciable en a. Una función que
satisface la condición 2.7 en un punto se dirá que es estrictamente diferenciable en
ese punto.

Definición 2.20 (Función de clase C 1 ) Sea U un subconjunto abierto de Rn .

Una función f se dice de clase C 1 sobre U , lo cual lo expresaremos con la notación
f ∈ C 1 (U ), si f admite derivadas parciales en U continuas en cada punto de U .
p
Ejercicio. 1. Probar que la función f (x, y) = |x3 − y 3 | es diferenciable en
(0, 0) pero en todo entorno de (0, 0) existen puntos en los que f no admite
derivadas parciales.
2. Probar que la función
xyz 2
f (x, y, z) =
x2+ y2
admite derivadas parciales en todo punto, pero no son continuas en (0, 0, 0)
y, sin embargo, f es diferenciable en (0, 0, 0).
50 La Diferencial de Fréchet 2.20

3. Probar que la función

x2 y 2
f (x, y) =
x2 + y 4
es diferenciable en (0, 0) y lipschitziana en un entorno de (0, 0) pero su deri-
vadas parciales no son continuas en (0, 0).
2P La Diferencial de Fréchet 51

Ejercicios
2M (a) Probar que si k · k es una norma cualquiera sobre Rn , entonces la apli-
cación x → kxk es una aplicación lipschitziana que no admite derivadas
direccionales en 0.
(b) Sea U = {(x, y) ∈ R2 : x2 + y 2 < 1} \ {0} × [0, 1], y consideremos la función
f definida sobre U por
(
y 2 si x > 0 e y ≥ 0
f (x, y) =
0 en otro caso

Probar que U es un abierto conexo (no convexo) sobre el que f es continua,

admite derivadas parciales acotadas, pero no es lipschitziana.

2N (a) Probar que si f es una función lipschitziana sobre un abierto U de Rn y

admite derivadas parciales, respecto a cualquier índice, en todo punto de U ,
entonces sus derivadas parciales están acotadas en U .
(b) Estudiar si la función f (x, y, z) = sen(x2 − y 2 + z 2 ) es lipschitziana o local-
mente lipschitziana en R3 .

2Ñ (a) Probar que toda aplicación lipschitziana f : A ⊂ E → F, donde E y F

son espacios de Banach, se extiende a una aplicación lipschitziana sobre A.
(b) Sean A, B dos conjuntos no vacíos de un espacio normado, con B ⊂ A, y
supongamos que cada uno de los conjuntos B, A \ B y A es convexo. Pro-
bar entonces que una aplicación f es lipschitziana sobre A si y sólo si es
lipschitziana sobre B y sobre A \ B.
(c) Estudiar si las aplicaciones
f (x, y) = sen |x − y|, g(x, y, z) = sen |x2 + y 2 − z 2 |
son lipschizianas o localmente lipschitzianas.

2O Consideremos la función
(
x sen ln(x2 + y 2 ) si (x, y) 6= (0, 0)
f (x, y) =
0 si (x, y) = (0, 0)

Probar que f es una función continua en todo punto, que admite derivadas parciales
acotadas en R2 \ (0, 0) ¿Es lipschitziana?

2P (a) Sea U un abierto convexo de Rn y supongamos que f, g : U → Rp son

dos funciones tales que, en cada punto x ∈ U , ∂fi /∂xj (x) = ∂gi /∂xj (x),
cualesquiera que sean los índices i, j. Probar entonces que las funciones f y
g se diferencian en una constante.
52 La Diferencial de Fréchet 2P

(b) Determinar las funciones f : R2 → R que satisfacen las ecuaciones

∂f ∂f
(x, y) = 1 ; (x, y) = y, ∀(x, y).
∂x ∂y

2Q Sea I un intervalo abierto de R, U un abierto de Rn y f : (t, x) ∈ I ×U → f (t, x)

una función escalar. Demostrar que si
∂f
(t, x) = 0, ∀(t, x) ∈ I × U
∂t
entonces f no depende de t, es decir f (t1 , x) = f (t2 , x) cualesquiera que sean
t1 , t2 , x.