NOLAN JARA JARA

i,

FUNCIONES DE VARIAS VARIBLES

Al analizar un fenmeno del mundo real, no siempre es posible expresar una magnitud
como funcin matemtica de una sola variable. Al contrario, es usual que una cantidad
dependa de dos o ms variables independientes, las funciones de inters en ingeniera
dependern en general de un gran nmero de variables. Este proyecto est dedicado a
extender a funciones de ms de una variable los conceptos de lmite, continuidad y
derivabilidad que ya hemos visto en el curso de clculo diferencial de funciones de una
variable.
Empezaremos proporcionando ejemplos de magnitudes que se describen mediante
funciones de varias variables y representaremos geomtricamente en tres dimensiones
las funciones de dos variables.
Despus introduciremos las nociones topolgicas necesarias para definir el concepto de
distancia, que nos permite definir bolas, entornos, conjuntos abiertos, conjuntos
cerrados, conjuntos compactos y puntos de acumulacin.
Ms tarde presentaremos el concepto de continuidad basndonos en la definicin de
lmite, e ilustraremos el clculo de lmites de funciones de ms de una variable.
Aunque las reglas de clculo son las mismas, en este caso tenemos mayor riqueza. Las
derivadas de las funciones de varias variables tienen mayor variedad y son ms
interesantes debido a las distintas formas de interaccin entre las variables
Una funcin de valor real, f, de x, y, z, es una regla para obtener un nuevo nmero,
que se escribe como f (x, y, z, ...), a partir de los valores de una secuencia de variables
independientes (x, y, z, ...).
La funcin f se llama una funcin de valor real de dos variables si hay dos variables
independientes,
Una funcin de valor real de tres variables si hay tres variables independientes, y as
sucesivamente.
Como las funciones de una variable, las funciones de varias variables se pueden
representar en forma numrica (por medio de una tabla de valores), en forma algebraica
(por medio de una formula), y en forma grfica (por medio de una grfica).
Ejemplos: funciones lineales, de interaccin, y de distancia
Funciones lineales
Una funcin lineal de las variables x1, x2,..., xn es una funcin de la forma
f (x1, x2, ... ,xn) = a0 + a1x1 + ... + anxn
Donde a0, a1, a2,..., an son constantes.
Funciones de interaccin
Si aadimos a una funcin lineal uno o ms trminos de la forma bxixj (b constante),
obtenemos una funcin de interaccin de segundo orden.
Funciones de distancia
La distancia en el plano del punto P(x, y) al punto A(a, b) se puede expresar como
una funcin de las dos variables x y y:
1

NOLAN JARA JARA

x a 2 y a 2

d ( P, A)

La distancia en el plano del punto P(x, y) al origen O(0,0) se expresa por

d ( P, O) x 2 y 2
La distancia en el espacio tridimensional del punto P(x, y, z) al punto A(a, b, c) se
expresa por

d ( P, A)

x a 2 y a 2 z c2

DEFINICION DE FUNCION DE n VARIABLES

Sea D R n . Si a cada Px1 , x2 , x3 ,, xn D R n le corresponde un nico nmero
real f x1 , x2 , x3 ,, xn , entonces se dice f es una funcin de x1 , x2 , x3 ,, xn
El conjunto D es el Dominio de f y los correspondientes valores reales de
f x1 , x2 , x3 ,, xn es el Rango de f.
Para la funcin z f x1 , x2 , x3 ,, xn a x1 , x2 , x3 ,, xn se les llaman variables
independientes y a z variable dependiente.
A este tipo de funciones se denota de la siguiente manera
f : D R n R / z f x1 , x2 , x3 ,, xn
A las funciones de varias variables tambin se les llama CAMPOS ESCALARES
Si n = 2, entonces
f : D R 2 R / z f x, y

Dom( f ) P x, y R 2 / z f ( x, y ) R
Dom( f ) R 2 es una region plana

Ran( f ) z f ( x, y ) R / P x, y Dom( f )
Ran( f ) R

NOLAN JARA JARA

Dominio de f
X

Dom(f)

z=f(x,y)
(x,y)

Grafico de f.
Grafico( f ) x, y, z R3 / z f ( x, y );( x, y ) Dom( f )

Graf ( f ) R3 Superficie S

El Grafico de f : D R 2 R / z f x, y es una superficie S

NOLAN JARA JARA

S: z=f(x,y)

(x,y,f(x,y))
z=f(x,y)

(x,y)

CURVAS DE NIVEL
Para una funcion f : D R 2 R / z f x, y es la ecuacion de una superficie S
Tenemos las CURVAS DE NIVEL Ck. Una curva de nivel de la superficie S: z=f(x,y)
es el conjunto de puntos (x , y) donde el valor de la funcin es una determinada
constante k, k es un elemento del rango de f. Entonces para hallar una curva de nivel Ck
se analiza la ecuacin f(x, y) = k.
Se llama lnea o curva de nivel de una superficie z = f (x, y) a la lnea (curva)
Ck: f ( x , y ) = k , k Ran( f ) en cuyos puntos la funcin conserva un valor constante
z=k

NOLAN JARA JARA

f(x, y) = k es la ecuacin de la curva de nivel Ck de la superficie S: z=f(x,y)
Las curvas de nivel Ck se grafican en el plano XY: z = 0 como una proyeccin de las
curvas de nivel Ck del resto de los planos z = k.
El conjunto de curvas de nivel Ck graficadas en el plano XY generan un mapa de
contorno de la superficie S.

Cuando n = 3, se dice que f depende de tres variables x, y, z; en este caso.

f : D R3 R ; f es una funcin si a cada punto P x, y, z D R3

Le corresponde un nico nmero real w mediante f, es decir w f ( x, y, z) R
Donde D es el Dominio de f y se define como sigue

Dom( f ) P x, y, z R 3 / w f ( x, y, z ) R
Dom( f ) R 3 es un Solido So

Ran( f ) w f ( x, y, z ) R / P x, y, z Dom( f )
Ran( f ) R
Anlogamente
Se llama superficie de nivel de una Hipersuperficie w = f ( x , y , z) a la superficie
Sk: f ( x , y , z ) = k , k Ran( f ) en cuyos puntos la funcin conserva un valor
constante w = k
EJEMPLOS
1) Si V(x,y) es el potencial elctrico en el punto (x,y) del plano XY, entonces las
curvas de nivel de V se llaman curvas equipotenciales por que en todos los puntos
de dicha curva el potencial elctrico es igual. Trace algunas curvas equipotenciales
7
si V(x,y) =
, Graficar la funcin potencial elctrico V.
49 x 2 y 2
Solucin.

NOLAN JARA JARA

Dom( f ) : 49 x 2 y 2 0 x 2 y 2 49
Ran( f ) : 0 x 2 y 2 49 49 x 2 y 2 0 0 49 x 2 y 2 49
1
1
0 49 x 2 y 2 7

49 x 2 y 2 7

Ck :

7
49 x 2 y 2
7
49 x 2 y 2

x2 y 2

1 z 1...Ran( f )
k; k 0

49
49 x 2 y 2
k2

49k 2 49
...Ck : circumferencias
k2

2) Una barra de metal de un metro de largo se calienta de manera irregular y de forma

tal que a
metros de su extremo izquierdo y en el instante
minutos, su
temperatura
en
grados
centgrados
est
dada
por:
0.1t
H ( x, t ) 100e sen( x) ;0 x 1
a) Trace la grfica de H(x,t) para t = 0 y t = 10.
H ( x) 100sen( x) ;0 x 1

NOLAN JARA JARA

H ( x) 100e1 sen( x) ;0 x 1

3) Si V(x,y) es el potencial elctrico en el punto (x,y) del plano XY, entonces las
curvas de nivel de V se llaman curvas equipotenciales por que en todos los puntos
de dicha curva el potencial elctrico es igual. Trace algunas curvas equipotenciales
100
si V ( x, y )
, bosquejar la superficie z = V(x,y)
1 2 x2 y 2

Dom(V ) ( x, y ) R 2

100
Ran(V ) z V ( x, y )
R /( x, y ) R 2
2
2
1 2x y

Ran(V ) z V ( x, y ) 0,100
k : 2 x2 y 2

100 k
; k 0,100...Elipces : Ecuaciones de las Curvas de nivel
k

NOLAN JARA JARA

LMITES Y CONTINUIDAD DE FUNCIONES DE 2 VARIABLES

Bola Abierta o entorno de un punto
Sea Po(xo,yo) un punto del plano R2. Se denomina bola abierta o entorno de centro Po y
radio (>0), al conjunto de puntos P(x,y) del plano R2 cuya distancia al punto Po es
menor que . Se denota por, B(Po, ). Es decir:

B( p0 , ) P( x, y ) R 2 tal que d P, Po

x, y R 2 tal que x xo

y yo
2

Geomtricamente, B(Po, ) es el

conjunto de puntos interiores al crculo de centro Po y radio .

Bola Reducida
Sea Po(xo,yo) un punto del plano R2. Se denomina bola reducida o entorno de centro Po y
radio ( >0), al conjunto de puntos P(x,y) del plano R2 cuya distancia al punto Po es
menor que pero mayor que cero. Se denota por, B (Po, ). Es decir:
8

NOLAN JARA JARA

B ( p0 , ) P( x, y) R 2 tal que 0<d P, Po

x, y R tal que 0< x x y y

2

Geomtricamente, B (Po, ) es una bola abierta B(Po, ) sin su centro.

Bola Cerrada o entorno de un punto
Al conjunto:

B( p0 , ) P( x, y ) R 2 tal que d P, Po

x, y R tal que

x xo

y yo
2

que representa geomtricamente al conjunto de todos los puntos del crculo de centro Po
y radio, incluida la circunferencia exterior, se le denomina bola cerrada o entorno
cerrado de centro Po y radio . Se denota por, B (Po,).
Punto de Acumulacin.
Diremos que el punto Po (xo,yo) del plano R2 es un punto de acumulacin de un conjunto
D R2 si y solo si todo entorno del punto Po contiene puntos del conjunto D distintos de
Po.
Concepto de Lmite
Sea: z = f(x,y) una funcin real de dos variables reales cuyo dominio es un subconjunto
D R2 , L un nmero real y Po(xo,yo) un punto de acumulacin del dominio de f D.
Diremos que el lmite de la funcin z = f(x,y) cuando (x,y) tiende a (xo,yo) es el nmero
L y escribiremos

lm

( x , y)x o , yo

f ( x, y) L si y solo si:

Para cualquier nmero > 0, existe un nmero > 0 tal que para todos los puntos
(x,y)D, siendo (x,y) (xo,yo), que verifiquen que d((x,y),(xo,yo))< entonces sus
imgenes verifican que d(f(x,y),L) < . Es decir:

lm

( x , y)x o , yo

f ( x, y) L 0, 0, tal que, (x, y) x o , y o Con

x x o 2 y y o 2

f (x, y) L .

Continuidad en un punto
Una funcin z = f(x,y) es continua en un punto (xo,yo) si y solo si verifica las tres
condiciones siguientes:
1. Existe f(xo,yo), es decir (xo,yo) es un punto del dominio de la funcin.
2. Existe

lm

( x , y)x o , yo

f ( x, y) L , siendo L un nmero real finito.

9

NOLAN JARA JARA

3. ( x , y )lm
xo , yo

f ( x, y) f ( x0 , y0 )

Teorema
Sean

f(x,y)

y g(x,y)

que

lm

f ( x, y) L1 y

( x , y)x o , yo

dos

funciones

lm

reales

( x , y)x o , yo

de

dos

variables

reales

tales

g( x, y) L 2 (existen y son finitos), entonces

se verifica:
1.
2.
3.

lm

f ( x, y) g ( x, y) L1 L2 .( Existe y es finito )

lm

f ( x, y).g ( x, y) L1 .L2 . ( Existe y es finito )

( x , y ) xo , yo
( x , y ) xo , yo

lm

k f (x, y) k

( x , y)x o , yo

4. Si L20, entonces

lm

( x , y)x o , yo

f ( x, y) kL1 . (Existe y es finito)

f ( x, y) L1
lm

. (Existe y es finito)
( x , y )x o , yo g( x, y)
L2

Proposicin

Los subconjuntos S de puntos del plano R2 de la forma S= ( x, y) R 2 tal que y g(x)

se denominan caminos o lneas del plano R2, o en el plano R2.

Si el punto (xo,yo)S entonces se verifica que:
1. Si existe
2. Si existen

lm

( x , y)x o , yo

lm

( x , y ) xo , yo
( x , y )S1

f ( x , y) L

f ( x, y ) L1

lm

( x , y ) xo , yo
( x , y ) S

lm

f ( x, y ) L .

( x , y ) xo , yo
( x , y )S 2

f ( x, y ) L2 ; siendo S1 y S2 dos

caminos del plano R2 y:

i) L1L2, entonces podemos afirmar que no existe

lm

( x, y ) xo , yo

ii) L1=L2=L, entonces no podemos afirmar que exista

f(x, y)

lm

( x , y)x o , yo

f ( x, y) L , solo

podemos afirmar que si dicho lmite existiera su valor sera L

Luego el estudio de lmites por caminos nos sirve para especular sobre su valor o negar
su existencia, pero no es concluyente sobre su existencia.
Clculo de lmites mediante coordenadas polares
Consiste en calcular

lm

( x , y ) x o , yo

f ( x, y) aplicando el cambio a coordenadas polares.

Para simplificar el proceso se acostumbra previamente a efectuar la traslacin

x x ' x 0
,

y y' y 0

10

NOLAN JARA JARA

Luego

lm

( x , y ) x o , yo

f ( x , y)

x' rcos
g( x ' , y' ) y aplicando el cambio
( x ', y ')( 0, 0)
y' rsen

lm

quedara

lm

( x , y ) x o , yo

Si

existe,

lm

( x , y ) x o , yo

sin

f ( x , y)

depender

de

g( x ' , y' ) = lm g (r cos , rsen ) .

lm

( x ', y ')( 0, 0)

r0

lm g (r cos , rsen ) =L,

, el

r0

entonces

existe

f ( x, y) =L

Puede demostrarse tambin que, si

lm

( x , y ) 0,0

G(r )h L ,
f ( x, y) lim
r 0

lim g(r ) = 0 y h una funcin acotada, entonces

r 0

lm

( x , y )(0, 0 )

siendo

f ( x , y) = L .

Criterio de la mayorante
Si (xo,yo) es un punto de acumulacin del dominio de la funcin z = f(x,y) y

lm

( x , y ) x o , yo

f ( x, y) lm g (r , ) =L, entonces

lm

r0

( x , y ) x o , yo

f ( x, y) L g (r , ) L G(r ) con tal que G (r ) 0 si r 0

Clculo de lmites
1. Si lm g (r , ) =L
r0

lm

( x , y ) x o , yo

sea cual sea R,

entonces podemos afirmar que

f ( x, y) L.

2. Si utilizando ciertos caminos en R2 (ya sea lmites reiterados, lmites radiales,

parbolas, etc) obtenemos que un posible valor de

lm

( x , y ) x o , yo

f ( x, y) puede ser L,

debemos comprobar si esa hiptesis es correcta confirmndolo, o bien verificando

que efectivamente el lmite en polares es L sea cual sea R, o bien aplicando el
criterio de la mayorante.
Ejemplo de clculo del lmite en un punto de una funcin de dos variables
xy 2
Calcular el lmite de la funcin f(x,y)= 2
, en el punto (0,0).
x y4
Resolucin: Usaremos varios mtodos para analizar su eficacia en este ejercicio
concreto.
1. Como la variable y solo aparece con potencias pares, probamos a evaluar el valor del
lmite por parbolas y2 = mxS. Entonces si existe el lmite se verifica que:

11

NOLAN JARA JARA

xy 2
xmx
mx 2
m

lim

lim

lim
2
4
2
2
2
x , y 0, 0 x y
x , y 0, 0 x 2 mx
x , y 0, 0 x 1 m
x , y 0, 0 1 m 2
m

1 m2

lim

Luego el lmite de la funcin en el punto (0,0) depende de la parbola elegida y por

tanto podemos afirmar con rotundidad que:

xy 2
No existe
x,y 0,0 x 2 y 4
lim

2. Si probamos a evaluar el lmite mediante lmites reiterados se obtiene:

xy 2
0
lim lim 2

lim

lim 0 0
x 0 y 0 x y 4 x 0 x 2 y 0

0
xy 2
lim lim 2
lim 4 lim 0 0 .
4
y 0 x 0 x y y 0 y y 0

Con este mtodo hubiramos afirmado que el lmite valdra 0 en caso de existir.
Para corroborar esta hiptesis (que ya sabemos falsa por 1) podramos utilizar el
mtodo de la mayorante o el clculo del lmite en coordenadas polares:
3. Clculo del lmite en coordenadas polares:

xy 2
r cos ( r 2 sen 2 )
r cos ( sen 2 )
0

lim

lim

.
2
4
2
2
4
4
2
2
4
x , y 0, 0 x y
r 0 r cos r sen
r 0 cos r sen
cos 2
lim

expresin es indeterminada si =

Esta

3
, , . Luego el clculo del lmite mediante
2 2

polares, en este caso, no nos sirve para decidir la existencia o no del lmite propuesto.
4. Criterio de la mayorante
5. f ( x, y) 0

r cos (r 2 sen 2 )
r cos ( sen 2 )
0

. Ahora bien, cuando

r 2 cos 2 r 4 sen 4
cos 2 r 2 sen 4

cos 0
cos 0

, y si adems r 0, entonces
.
2
2
sen 1
rsen 0

Luego para el camino de valores de r tales que r

cos

cuando
es
2
2
sen

r cos ( sen 2 )
cos 2
1

. Por tanto:
2
2
4
2
2
cos r sen
cos cos 2
xy 2
No existe
lim
x,y 0,0 x 2 y 4
12

NOLAN JARA JARA

En todo caso vemos que en este ejemplo es complicado hacer el estudio en polares
Ejemplo: estudiar el limite de la funcin f(x,y) =

xy 2
, en el punto (0,0).
x2 y2

Si probamos a evaluar el lmite mediante lmites reiterados se obtiene

0
xy 2
lim lim 2

lim

lim 0 0 .
y0 x 0 x y 2 y0 y 2 y0

Con este mtodo solo podemos afirmar que el lmite caso de existir valdra 0.
Para poder corroborar o no esta hiptesis vamos a utilizar el mtodo de la mayorante.
1. Criterio de la mayorante
f ( x , y) 0

Ahora bien

r cos r 2 sen 2
r 2 cos 2 r 2 sen 2
cos sen 2
cos 2 sen 2

r cos sen 2
cos 2 sen 2

si

acotada en las direcciones

=r

cos sen 2
cos 2 sen 2

k . Es decir, f ( x, y) 0 no est
4

k , por tanto el lmite no es cero, luego:

4

xy 2
x,y 0,0 x 2 y 2
Derivadas parciales
Sea z = f(x, y) una funcin de dos variables con dominio D. Si mantenemos la variable
y fija: y = b, siendo b una constante, y suponemos que solo la x vara, la funcin f se
convierte entonces en funcin de solo la variable x: g(x) = f(x, b). Si g tiene derivada en
a, entonces esta se llama derivada parcial de f respecto de x en (a, b), que denotamos
por fx(a, b). Luego por definicin se tiene:
g(a+h)-g(a)
fx(a, b) = g(a) = lim
, por tanto
h 0
h
f(a+h, b)-f(a, b)
fx(a, b) = lim
h 0
h
Anlogamente se define la derivada parcial de f respecto de y en (a, b), y que denotamos
por fy(a, b), que se obtiene fijando x = a, y obteniendo la derivada en b de la funcin
h(y) = f(a, y)
f(a, b+h)-f(a, b)
fy (a, b) lim
h 0
h
Interpretacin geomtrica de la derivada parcial
Si consideramos la superficie que tiene por ecuacin z = f(x, y), el plano y = b, corta a
la superficie en la curva z = f(x, b), que tiene por pendiente en el punto x = a, el valor de
su derivada en dicho punto, que es precisamente:
f(a+h, b)-f(a, b)
fx(a, b) = lim
h 0
h
No existe

lim

13

NOLAN JARA JARA

Corte de z = f(x, y) con y = b

z=f(x, b)

P(a, b, f(a, b))

y

y=b

z=f(x, y)
x

Anlogamente, si cortamos la superficie por el plano x = a, se obtiene la curva

z = f(a, y), que tiene por pendiente en el punto y = b, el valor de su derivada en dicho
punto:
f(a, b+h)-f(a, b)
.
fy (a, b) lim
h 0
h

Corte de z=f(x, y) con x=a

z

z=f(x,y)
z=f(a, y)

P(a, b, f(a,b))

y=b
y

x=a

14

NOLAN JARA JARA

Plano tangente
Suponiendo que el plano tangente a la superficie S: z = f(x, y) en el punto P(a,b,f(a, b))
existe obtengamos su ecuacin. Dicho plano debe contener a las rectas tangentes a la
curvas contenidas en la superficie y que pasan por P(a, b, f(a, b)); en particular
contendr a las rectas tangentes a las curvas que resultan de cortar a la superficie por los
planos x = a, y = b.
Al cortar la superficie S por el plano x = a, se obtiene la curva z = f(a, y) en el plano
x = a paralelo al plano YZ, y cuya recta tangente LT1 en el punto P(a ,b, f(a, b)) tiene por
pendiente fy(a, b), luego

L T1 (xy, z) R 3 / x a ; z f (a, b) f y (a, b) y b

un vector direccional de esta recta tangente ser de la forma a 0,1, f y (a, b) es decir,
un vector en la direccin de la recta tangente LT1 es a 0,1, f y (a, b) .
Anlogamente, al cortar la superficie S por el plano y = b, se obtiene la curva z = f(x, b)
contenida en el plano y = b paralelo al plano XZ, y cuya recta tangente LT2 en el punto
P(a ,b, f(a, b)) tiene por pendiente a la derivada parcial de f con respecto a x fx(a, b),
luego

L T2 (xy, z) R 3 / y b ; z f (a, b) f x (a, b)x a

un

vector

direccional de esta recta tangente ser de la forma a 0,1, f x (a, b) es decir, un vector
en la direccin de la recta tangente LT1 es b 0,1, f x (a, b) .
v = fx(a, b), es decir, un vector en la direccin de la recta tangente es (1, 0, fx(a, b)).

Plano tangente y recta normal

Suponiendo que el plano tangente a la superficie z = f(x, y) en el punto P(a, b, f(a, b))
existe obtengamos su ecuacin. Dicho plano debe contener a las rectas tangentes a la
curvas contenidas en la superficie y que pasan por P(a, b, f(a, b)); en particular
contendr a las rectas tangentes a las curvas que resultan de cortar a la superficie por los
planos x = a, y = b.
Al cortar por x = a, se obtiene la curva z = f(a, y) en el plano ZY, y cuya recta tangente
en el punto P(a, b, f(a, b)) tiene por pendiente fy(a, b), luego un vector direccional de
esta recta ser de la forma (0, u, v), siendo

v f y (a, b)
=
, se obtiene: v = fy(a, b)
u
1

es decir, un vector en la direccin de la recta tangente es (0, 1, fy(a, b)).

15

NOLAN JARA JARA

Anlogamente, al cortar por y = b, se obtiene la curva z = f(x, b) en el plano ZX, y cuya
recta tangente en el punto P(a, b, f(a, b)) tiene por pendiente fx(a, b), luego un vector
v f (a, b)
direccional de esta recta ser de la forma (u, 0, v), siendo = x
, se obtiene:
u
1
v = fx(a, b), es decir, un vector en la direccin de la recta tangente es (1, 0, fx(a, b)).
Plano tangente y recta normal

Recta normal
P(a, b, f(a, b))
Plano tangente
en P(a, b, f(a, b))

x=a

y=b

En consecuencia dos vectores directores del plano tangente en el punto:

P(a, b, f(a, b)) son a = (0, 1, fy(a, b)) y b = (1, 0, fx(a, b)), luego un vector perpendicular
al plano se obtendr multiplicndolos vectorialmente

i j
k

ab = 0 1 f y (a, b) = fx (a, b)i+fy (a, b)j-k

1 0 f x (a, b)
Por lo tanto el plano tangente queda definido por el punto P(a, b, f(a, b)) y tiene por
vector normal (fx (a, b),fy (a, b),-1) , por lo que su ecuacin ser:
fx(a, b)(x - a) + fy(a, b)(y - b) (z f(a, b)) = 0.
La recta perpendicular al plano tangente en el punto P(a, b, f(a, b)) se llama recta
normal a la superficie en dicho punto, por lo que su ecuacin, en forma paramtrica,
ser
x a t f x (a , b )

y b t f y (a , b)

z f (a , b ) t
Ejemplo
Obtener la ecuacin del plano tangente a la superficie z = 3x2-y2, en el punto
16

NOLAN JARA JARA

P(1, 1, 2),as como la ecuacin de la recta normal en dicho punto.
En este caso:
fx(x, y) = 6x, fy(x, y) = -2y, (a, b) = (1, 1) fx(1, 1) = 6, fy(1, 1) = -2, f(1, 1) = 2.
Luego la ecuacin del plano tangente es:
6(x-1)-2(y-1)-(z-2) = 0 6x-2y z = 2.
La recta normal tiene por ecuacin:
x=1+6t

y=1-2t
z=2-t

Funcin derivada parcial

Si (a, b), es un punto variable lo representaremos por (x, y) y obtendremos el concepto
de funciones derivadas parciales:
La derivada parcial de f con respecto a x, la denotamos por fx, y se define as
f(x+h, y)-f(x, y)
fx (x, y) lim
h 0
h
Para todos los puntos (x, y) donde este lmite exista.
La derivada parcial de f con respecto a y, la denotamos por fy, y se define as
f(x, y+h)-f(x, y)
fy (x, y) lim
h 0
h
Para todos los puntos (x, y) donde este lmite exista.
Si z = f(x, y), otras notaciones usuales para las derivadas parciales son
f
z
fx(x, y) = zx =
(x, y)=
x
x
f
z
fy(x, y) = zy =
(x, y)=
y
y
Como en el clculo de derivadas parciales una de las variables se mantiene constante, se
podrn aplicar las reglas de derivacin para funciones de una variable, siempre que est
clara la existencia de esta derivada.
Ejemplo
1) Siendo f(x, y) = (x2 + y)exy, calcular sus derivadas parciales y evaluarlas en el punto
(1,1):
fx(x, y) = 2xexy + (x2 + y)yexy fx(1, 1) = 2e + 2e = 4e
fy(x, y) = exy + (x2 + y)xexy fy(1, 1) = e + 2e = 3e
Se han aplicado directamente las reglas de derivacin de funciones de una variable, ya
que al fijar una variable la funcin se convierte en una funcin derivable por ser el
resultado de operar funciones derivables. Esta funcin admite derivadas parciales en
todo punto de R2.
2) Estudiar la existencia de derivadas parciales, para cualquier punto, de la funcin
x+y si x+y > 0
f(x, y) = |x+y|=
calculndolas en su caso
-x-y si x+y 0
Si x+y 0, existen ambas derivadas parciales, ya que al fijar una variable se obtiene un
polinomio que siempre es derivable, siendo
fx(x, y) = 1, fy(x, y) = 1, si x+y > 0
fx(x, y) = -1, fy(x, y) = -1, si x+y 0
Queda por estudiar cuando el punto P(a, b) si x+y = 0, es decir, b = -a P(a, -a)

17

NOLAN JARA JARA

f(a+h, -a)-f(a, -a)
|h|
lim , que no existe, ya que vale 1 o -1
h 0
h 0 h
h
segn que h tienda acero por la derecha o por la izquierda.
f(a, -a+h)-f(a, -a)
|h|
fy (a, -a) lim
lim , que no existe, ya que vale 1 o -1
h 0
h

0
h
h
segn que h tienda acero por la derecha o por la izquierda.
Luego la funcin admite derivadas parciales en todos los puntos, salvo en la recta
x + y = 0.
3) Estudiar la existencia de derivadas parciales, para cualquier punto, de la funcin:
xy
;si (x, y) (0, 0)

f ( x , y ) x 2 +y 2

0 ;si (x, y)=(0, 0)

Al calcular las derivadas parciales de una funcin de dos variables se obtienen tambin
funciones de dos variables, a las que se les puede calcular sus derivadas parciales, a las
que llamamos derivadas parciales segundas. Este proceso puede seguir obtenindose las
derivadas sucesivas (o de orden superior). Las notaciones ms usuales son:
Derivadas parciales segundas:
1) derivando dos veces respecto de x
f 2 f
( )=
=f
x x x 2 xx
2) derivando dos veces respecto de y
f 2 f
( )=
=f
y y y 2 yy
3) derivando primero respecto de x y luego respecto de y
f
2f
( )=
=f xy
y x yx
4) derivando primero respecto de y y luego respecto de x
f
2f
( )=
=fyx
x y xy
En las dos notaciones utilizadas se deriva primero respecto a la variable ms cercana a f.
Ejemplo
Calcular las derivadas parciales segundas de:
x
f(x, y) = y 2 ex +cos(xy)+
y
1
fx (x, y)=y 2 ex -ysen(xy)+
y
x
fy (x, y)=2yex -xsen(xy)- 2
y
1
fxy (x, y)=2yex -sen(xy)-yxcos(xy)- 2
y
1
fyx (x, y)=2yex -sen(xy)-xycos(xy)- 2
y
fx (a, -a) lim

fxx (x, y)=y 2 ex -y 2 cos(xy)

18

NOLAN JARA JARA

2x
y3
2) Calcular las derivadas parciales segundas de:
y
f(x, y)=x3 y 2 - x2 + x tg( ) + x 2 +y 2 .
x
En el ltimo ejemplo se verificaba que fx y =fy x , igualdad que en general no es cierta,
aunque si lo ser para la mayora de funciones que manejemos.
Una condicin suficiente para que fxy =fyx , la da el:
Teorema (de Schwarz, sobre la permutabilidad de orden de derivacin)
Si f est definida en un entorno U de (a, b), y si existen las derivadas parciales fx, fy, fxy
en el mismo U, siendo tambin fxy continua en (a, b) , entonces existe fyx(a, b) y se
cumple fxy (a, b)=fyx (a, b) .
Para ms de dos variables el concepto de derivada parcial es anlogo. Veamos un
ejemplo para tres variables
Ejemplo
Calcular la derivadas parciales primeras de
f(x, y, z) = x2+y2+z2+exyz
f x (x,y,z)=2x+yze xyz

fyy (x, y)=2ex -x2cos(xy)+

f y (x,y,z)=2y+xze xyz
f z (x,y,z)=2z+xye xyz
Diferenciabilidad
Estudiemos ahora la diferenciabilidad para una funcin de dos variables.
Sea z = f(x, y) definida en un cierto entorno del punto P(a,b); si incrementamos la
abscisa en x , y la ordenada en y , se obtiene el punto Q(a + x , b + y ), a la
diferencia entre el valor de la funcin en Q y el valor de la funcin en P le llamamos
incremento de la funcin al pasar del punto P al Q, que puede ser positivo o negativo y
que representamos por z f (a x, b y ) - f (a, b) .
Se quiere establecer una relacin entre los incrementos de las variables x,y en los
valores a y b, con el incremento de la funcin.
Si P y Q pertenecen al dominio de f, la funcin se dice diferenciable en P(a, b), si
f
f
existen dos nmeros M (a, b) y N (a, b) , tales que
x
y
f
f
z
(a , b)x
(a , b)y 1 ( x , y )x 2 ( x , y )y,
x
y
Siendo 1 y 2 , dos funciones de las variables x e y , e infinitsimos cuando
( x , y ) (0, 0) , es decir se cumple
lim 1 ( x, y ) lim 2 ( x, y ) 0
(x,y)( 0 ,0 )

(x,y)( 0 ,0 )

En el caso en que f sea diferenciable en (a, b), se llama diferencial de f en el punto (a, b)
f
f
(a , b)x
(a , b)y , que se
a la funcin lineal respecto de las variables x e y :
x
y
f
f
(a , b)x
(a , b)y .
denota as: dz
x
y
dz = fx (a, b)dx+fy (a, b)dy
19

NOLAN JARA JARA

Ejemplo
Dada la funcin z = f(x, y) = x2-xy+y, y el punto (a, b), calculemos su incremento, para
incrementos x e y de a y b:
z=f(a+x, b+y)-f(a, b) = (a+x)2 -(a+x)(b+y)+b+y-a2 +ab-b =
= a2 +x2 +2ax-ab-ay-bx-xy+b+y-a2 +ab-b
= (-b+2a)x+(-a+1)y+xx-xy .
Como fx (x, y)=2x-y, fy (x, y)=-x+1 fx (a, b)=2a-b, fy (a, b)=-a+1 ,
Luego z = fx (a, b)x+fy (a, b)y+1x+ 2y , siendo 1 =x , y 2 =-x ,
Cumplindose que:
lim 1 ( x, y ) lim 2 ( x, y ) 0.
(x,y)( 0 ,0 )

(x,y)( 0 ,0 )

Como consecuencia se cumple la definicin de diferenciabilidad en el punto (a, b),

poniendo M = fx(a, b) y N = fy(a, b).
Ejercicio
Obtener la diferencial de la funcin z = f(x, y) = x2y2 + xy - 3y en el punto (a, b), por
dos procedimientos:
1) Aplicando la frmula anterior.
2) Calculando el incremento de la funcin
Como en el caso de una variable: diferenciabilidad implica continuidad.
Teorema
Si f es diferenciable en (a, b) entonces es continua en (a, b).
Para funciones una variable los conceptos de derivabilidad y diferenciabilidad son
equivalentes. Para funciones de ms de una variable esto, en general no es cierto.
Ejemplo
xy
2
2
2 2 si x +y 0
La funcin f(x, y)= x +y
0 si x 2 +y 2 =0

Estudiemos sus derivadas parciales en (0, 0)

h0
-0
2
f(h, 0)-f(0, 0)
0
h
f x (0, 0)= lim
= lim
= lim =0
h0
h

0
h

0
h
h
h

h0
-0
2
f(0, h)-f(0, 0)
0
h
f y (0, 0)= lim
= lim
= lim =0
h0
h0
h0 h
h
h
Luego las dos derivadas parciales existen y valen 0. Que ocurre para el resto de los
puntos?
Estudiemos la continuidad en (0, 0):
mx2
m
m
lim f(x, y) lim 2
lim
=
2
2
2
( x , y )( 0 , 0 )
x 0 x +m x
x 0 1+m
1+m 2
y=mx
Como los lmites calculados dependen de m, se deduce que no existe el lmite en el
origen, luego la funcin no es continua en (0, 0).
Ejemplo
20

NOLAN JARA JARA

La funcin

xy
si (x,y) (0,0)

f(x, y)= x 2 +y 2

0
si (x,y)=(0,0)

2
Es continua en R (por qu?)
Estudiemos la diferenciabilidad en (0, 0).
Calculamos las derivadas parciales
0
-0
f(h, 0)-f(0, 0)
0
|h|
fx (0, 0) lim
lim
lim =0
h0
h0
h0 h
h
h
0
-0
f(0, h)-f(0, 0)
0
|h|
fy (0, 0) lim
lim
lim =0
h0
h0
h0 h
h
h
Si fuese diferenciable se tendra
f(x, y)

f(0+x, 0+y)-f(0, 0)=0x+0y+ x 2 +y 2 =

x 2 +y 2
Comprobemos si (x, y ) es un infinitsimo
xy
x 2 +y 2

lim

(x,y) (0,0)

xy
, este lmite no existe (ya visto en un ejemplo
(x,y) (0,0) x 2 +y 2
lim

x 2 +y 2
anterior, poniendo x ,y en lugar de x, y ).
Luego (x, y) no es un infinitsimo y, por lo tanto la funcin no es diferenciable
Con estos ejemplos se ha comprobado que la continuidad o la existencia de derivadas
parciales no son condiciones suficientes para la diferenciabilidad (aunque los resultados
tericos confirman que si son condiciones necesarias).
Ejemplo
Estudiar la continuidad y diferenciabilidad en el origen de la funcin
xylog(x 2 +y 2 ) si (x, y) (0, 0)
f(x, y)
0 si (x, y)=(0, 0)
Estudiemos la existencia de derivadas parciales
f(h, 0)-f(0,0)
h0log(h 2 )-0
0
fx (0, 0) lim
lim
lim =0
h0
h0
h0 h
h
h
2
f(0, h)-f(0,0)
h0log(h )-0
0
fy (0, 0) lim
lim
lim =0
h0
h0
h0 h
h
h
Por existir las derivadas parciales es posible que sea diferenciable. Intentamos
demostrarlo aplicando la definicin. Despejando de la condicin de diferenciabilidad
f(x,y)-f(0,0)=0x+0y x 2 +y 2

lim

lim

f(x,y)-f(0,0)-0x-0y

lim

xylog(x2 +y 2 )

(x,y) ( 0 ,0 )
x2 +y 2
x2 +y 2
ver si existe este lmite calculemos los lmites segn las direcciones y=mx

(x,y)( 0 , 0 )

lim

x 0

(x,y)( 0 ,0 )

mx2log(x 2 +m 2x 2 )
x2 +m 2x 2

lim

x 0

, para

mx 2log(x 2 (1+m 2 ))
|x| 1+m 2
21

NOLAN JARA JARA

lim |x|(logx2 +log(1+m2 ))

2 x 0

1+m
1+m
2
Se tiene evidentemente lim |x|log(1+m )=0 .

[lim |x|logx2 lim |x|log(1+m2 )]

x 0

x 0

x 0

El otro lmite es una indeterminacin de la forma 0 , para calcularlo, y como

interviene un valor absoluto, se debe estudiar, por separado, a la izquierda y a la derecha
de 0.
2x
2
2
logx
lim+ |x|logx 2 lim+
lim+ x lim+ -2x 2 =0 ,
anlogamente
se
x 0
x 0
x 0
x 0
1
-1
x
x 2
obtendra el mismo resultado para x 0- , luego los lmites direccionales existen y
valen todos 0, por tanto es posible que el lmite que estudiamos valga 0.
Intentemos probarlo aplicando el criterio de la funcin mayorante, para lo cual pasamos
a polares
xylog(x 2 +y 2 )
cos senlog( 2 (cos 2+sen 2))
|
-0|=|
=

x 2 +y 2

2cos senlog( 2 )
|
| 2|log

Llamando F( ) = 2|log| , queda por probar que lim+ F()=0

0

1
log

2 lim+ |log| 0( ) -2 lim+

=-2 lim+
=-2.0=0 .
0
0
0 -1
1

2
Se ha probado que es un infinitsimo, por tanto la funcin estudiada es diferenciable
en el origen y, como consecuencia continua en el mismo punto
Ejercicio
Estudiar la diferenciabilidad en el origen de la funcin:

21 2
x y
f ( x, y ) e

0 ,

, si x 2 y 2 0
si x 2 y 2 0

Condicin suficiente de diferenciabilidad

El comprobar la diferenciabilidad de una funcin a partir de la definicin es, en general,
complicado, sin embargo existen condiciones suficientes que garantizan la
diferenciabilidad y pueden simplificar el trabajo. La ms usual la da el siguiente
Teorema
Sea z = f(x, y) definida en un cierto entorno del punto (a, b) y, al menos una de sus
derivadas parciales: zx o zy es continua en (a, b), entonces la funcin es diferenciable en
(a,b)
Teorema

22

NOLAN JARA JARA

La superficie z = f(x, y) admite plano tangente en el punto P(a, b, f(a, b)) si y solo si la
funcin f es diferenciable en el punto (a, b), y en este caso su ecuacin es
fx(a, b)(x - a) + fy(a, b)(y - b) (z f(a, b)) = 0
Ejemplo.
Estudiar la continuidad y diferenciabilidad en cualquier punto de la funcin
xylog(x 2 +y 2 ), si (x, y) (0, 0)
f(x, y)
si (x, y)=(0, 0)
0 ,
En el ejemplo anterior se comprob que esta funcin es diferenciable en (0, 0).
Para los puntos (x, y) distintos del (0, 0), se pueden calcular las derivadas parciales
utilizando las formulas de derivacin para una variable, pues al fijar una variable resulta
una funcin de una variable que es derivable por estar compuesta de funciones
derivables.
2x
2x 2 y
fx (x,y)=ylog(x 2 +y 2 )+xy 2 2 =ylog(x 2 +y 2 )+ 2 2
x +y
x +y

2y
2xy 2
2
2
=xlog(x
+y
)+
x2 +y 2
x 2 +y 2
Estas derivadas parciales son continuas para cualquier (x, y) (0, 0), por estar
compuestas de funciones continuas.
Concluimos que la funcin estudiada es diferenciable en todo punto de R2 y, por lo
tanto continua en R2.
REGLA DE LA CADENA
Estudiemos ahora la regla de la cadena o la derivada de la funcin compuesta para
funciones de dos variables.
Regla de la cadena para el caso: z = f(x, y), x = g(t), y = h(t).
Teorema
Sea z = f(x, y) diferenciable en (x, y). Si x = g(t), y = h(t), siendo g y h funciones
derivables en t, entonces f es derivable en t, y su derivada es
z(t) = zxx(t) + zyy(t).
Ejemplo
Siendo z = xy2 x2, con x = cos t, y = sen t verificamos el resultado anterior calculando
z(t) de dos formas distintas: directamente sustituyendo x, y en funcin de t y, aplicando
el teorema anterior:
z = cos t sen2 t cos2 t z = -sen t sen2 t + 2cos t cos t sen t + 2sen t cos t =
= -sen3 t + 2cos2 t sen t + 2sen t cos t
z(t) = zxx(t) + zyy(t) = (y2 2x)(- sen t) + 2xy cos t = (sen2 t 2 cos t)(- sen t) +
+ 2 cos2 t sen t, que coincide con el resultado anterior.
fy (x,y)=xlog(x 2 +y 2 )+xy

z = f(x, y), x = g(t), y = h(t).

z(t) = zxx(t) + zyy(t)

23

NOLAN JARA JARA

zx

zy

y(t)

x(t)

Regla de la cadena para el caso: z = f(x, y), x = g(u, v), y = h(u, v)):
Teorema
Si f es diferenciable en (x, y), existen las derivadas parciales xu, xv, yu, yv en (u, v),
entonces existen zu, zv en (u, v) y se verifica:
zu = zxxu + zyyu
zv = zxxv + zyyv
Para funciones de ms de dos variables se obtienen resultados anlogos.
Ejercicio
x2 y 2
Siendo z=
, x = u + v, y = u-v, calcular zu, zv de dos formas distintas:
2
a) Sustituyendo x e y en funcin de u y v.
b) Aplicando el teorema anterior.
Regla de la cadena
z = f(x, y), x = g(u, v), y = h(u, v))

24

NOLAN JARA JARA

zy

zx

zu = zxxu + zyyu

x
xu

yu

xv

zv = zxxv + zyyv

yv
v

Derivacin en forma implcita

El modo de escribir la funcin de dos variables, hasta ahora, ha sido z = f(x, y), y
decimos que z est dada en forma explicita, es decir, despejada en funcin de x, y.
Otra forma, mas general, de definir z como funcin de x, y es F(x, y, z) = 0, que se
llama forma implcita de definir z como funcin de x, y (la z no est despejada).
El pasar de la forma explicita a la implcita es inmediato:
z = f(x, y) z f(x, y) = 0, llamando F(x, y, z) = z f(x, y) F(x, y, z) = 0
El pasar de la forma implcita a la explicita, en general, es mas complicado, y a veces,
es imposible como se ve con el ejemplo z5x2 + z3y sen xy = 0.
Supongamos que z est definida implcitamente como funcin de x e y:
F(x, y, z) = 0, considerando F como una funcin de tres variables: x, y, z, si aplicamos
la regla de la cadena a la igualdad F(x, y, z) = 0 , se obtiene:
Derivando respecto de x :
-F
Fxxx+Fyyx+Fzzx = 0, siendo xx=1, yx=0 , z x = x
Fz
Derivando respecto de y :
-Fy
Fxxy+Fyyy+Fzzy = 0, siendo yy=1, xy=0, z y =
Fz
Ejemplo
Siendo z3sen x + zexy xy = 0, obtener zx, zy aplicando el resultado anterior.
En este caso F(x, y, z) = z3sen x + zexy xy, luego
Fx = z3cos x + zyexy y, Fy = zxexy x, Fz = 3z2sen x + exy.
Por lo que sustituyendo queda:
-z 3cosx-zyexy +y
-xzexy +x
zx =
z
=
,
y
3z 2sen x+exy
3z 2sen x+exy
Ejercicio

25

NOLAN JARA JARA

Con el mismo dato del ejemplo anterior, obtener zx, zy derivando directamente la
igualdad z3sen x + zexy xy = 0 , y considerando que z es funcin de x e y. Comprobar
que el resultado obtenido coincide con el anterior.
Como otra aplicacin de la derivacin implcita, obtengamos la ecuacin de plano
tangente a al superficie z = f(x, y) en el punto P(a, b, c) cuando esta viene dada en forma
implcita F(x, y, z) = 0.
Se obtuvo que esta es:
zx(a, b)(x-a)+zy(a, b)(y-b)-(z-c) = 0
-Fy
-F
y siendo z x = x , z y =
sustituyendo queda:
Fz
Fz
Fy (a,b,c)
-Fx (a,b,c)
(x-a)(y-b)-(z-c)=0
Fz (a,b,c)
Fz (a,b,c)

Fx (a,b,c)(x-a)+Fy (a,b,c)(y-b)+Fz (a,b,c)(z-c)=0

Luego la recta normal en el punto P(a, b, c) tiene como vector director
(Fx(a, b, c), Fy(a, b, c), Fz(a, b, c)), por lo que su ecuacin en forma paramtrica es
x=a+tFx (a,b,c)

y=b+tFy (a,b,c)

z=c+tFz (a,b,c)
Ejemplo
x

Obtener la ecuacin del plano tangente y de la normal a la superficie 2 z +2 z =8 , en el

punto P(2, 2, 1).
x
z

y
z

En este caso es F(x, y, z) = 2 +2 - 8 , calculamos las derivadas parciales:

1 x
1 y
x x
y y
Fx =log2 2 z , Fy =log2 2 z , Fz =-log2 2 2 z -log2 2 2 z .
z
z
z
z
Tomando valores en P:
Fx (2,2,1)=4log2, Fy (2,2,1)=4log2, Fz (2,2,1)=-8log2-8log2=-16log2 .
Como consecuencia la ecuacin del plano tangente en P es
4log2(x-2)+4log2(y-2)-16log2(z-1) = 0 x-2+y-2-4z+4 = 0 x+y-4z = 0.
La ecuacin de la recta normal es
x=2+t

y=2+t
z=1-4t

Ejercicio
Obtener las ecuaciones del plano tangente y de la recta normal a la superficie:
z2+4z+x2 = 0, en los puntos de interseccin con el eje OZ.
Derivada direccional

En el caso en que u sea unitario, | u |=1, la derivada se llama direccional, y tiene

particular inters terico.
Las derivadas parciales son casos
particulares de derivadas direccionales:
fx se obtiene tomando u = (1, 0).
26

NOLAN JARA JARA

fy se obtiene tomando u = (0, 1).

Para dar un significado geomtrico a la derivada direccional, definimos primero el
concepto de pendiente en un punto de una superficie segn la direccin definida por un

vector unitario u .
Interpretacin geomtrica de la derivada direccional

tg

f(a+tu1 ,b+tu 2 )-f(a,b)

f(a+tu1 ,b+tu 2 )-f(a,b)
AN f(a+tu1 ,b+tu 2 )-f(a,b)

=
=

2
2
AM
PQ
(a+tu1 -a) +(b+tu 2 -b)
t 2 (u12 +u 2 2 )

f(a+tu1 ,b+tu 2 )-f(a,b)

t

z = f(x, y)
N

tg =Du f(a,b)= lim tg

t 0

Q
Plano

Consideremos la superficie z = f(x, y), P(a, b) un punto del dominio de f y u un vector

unitario; tomemos un plano vertical que pase por P y sea paralelo a u , que cortar a la
superficie en una curva C, que contendr al punto M(a, b, f(a, b)) cuya proyeccin sobre
el
plano OXY es P; entonces definimos la pendiente en el punto M, segn la direccin
u , como la pendiente de la curva C en M, es decir como la pendiente de la tangente a la

curva en M segn la direccin u .

El plano corta al plano OXY segn una recta r cuyas ecuaciones paramtricas son:

x = a+tu1

y = b+tu 2
Si Q es un punto arbitrario de la recta r tendr la forma Q(a+tu1, b+tu2), que es la
proyeccin del punto N(a+tu1, b+tu2, f(a+tu1, b+tu2)) de la superficie sobre el plano

OXY. La recta MN es una secante a la curva C, cuya pendiente segn la direccin u es:
27

NOLAN JARA JARA

f(a+tu1 ,b+tu 2 )-f(a,b)

f(a+tu1 ,b+tu 2 )-f(a,b)
f(a+tu1 ,b+tu 2 )-f(a,b)
=
=

PQ
(a+tu1 -a)2 +(b+tu 2 -b)2
t 2 (u12 +u 2 2 )

f(a+tu1 ,b+tu 2 )-f(a,b)

t

Cuando t tiende a 0, el punto N tiende al punto M, por lo que la secante tiende a la recta

tangente en M, que tiene por pendiente, segn la direccin u :

f(a+tu1 ,b+tu 2 )-f(a,b)
, que es precisamente la derivada direccional de la funcin f,
t 0
t

en el punto P(a, b), segn el vector u .

lim

f(a+tu1 ,b+tu 2 )-f(a,b)

se puede interpretar como el cociente entre el
t
incremento de la funcin f al pasar del punto P al punto Q, y la distancia entre dichos
puntos; que tambin se suele expresar como la razn del cambio de la funcin respecto
a la distancia entre los puntos; por este motivo a la derivada direccional se le llama
tambin razn o ritmo instantneo del cambio.

La expresin

Si f es diferenciable en (a, b) existe una forma alternativa para calcular la derivada

direccional, pues se verifica el:
Teorema

Si f es diferenciable en (a,b) y u = (u1 ,u 2 ) un vector unitario cualquiera, entonces

existe la derivada direccional en el punto (a, b) segn el vector u y se verifica

Du f(a,b)=fx (a,b)u1 +fy (a,b)u2

El anterior teorema permite, si f es diferenciable, el clculo de la derivada direccional a
partir de las derivadas parciales.
Comprobemos el resultado anterior con un:
Ejemplo
Obtener la derivada direccional de f(x,y)=log x2 +y 2 en el punto (1, 0) segn la
direccin (1, 1), aplicando la definicin. Estudiar si es posible la aplicacin del teorema
anterior, aplicndolo en su caso.
Como el vector (1, 1) no es unitario, hay que convertirlo en unitario conservando el
sentido y la direccin, es decir, hay que dividirlo por su mdulo: |(1, 1)| =
1
1

,
).
12 +12 2 ,obtenindose u = (
2, 2

28

NOLAN JARA JARA

Apliquemos la definicin

f(1+
Du f(1,0) lim

h
2

h0

h
2

log (1+

)-f(1,0)

lim
h0

h
2

)2 +(

h
2

)2 -log1

log 1+h 2 + 2h
1 2h+ 2
lim
: 1+h 2 + 2h
h0
h0 2
2
h
1+h + 2h

... lim

1
2h 2
1
1
lim

2=
2
2 h 0 1 h 2h 2
2

Las derivadas parciales de f(x,y)=log x2 +y 2 son:

x
y
, f y (x,y)= 2
2
x y
x y2
Que son continuas en (1, 0), por ser cociente de funciones continuas y no anularse el
denominador en el punto; luego f es diferenciable en (1, 0).
Se puede aplicar, por tanto, el teorema anterior:
1
1
1
1
1
.
Du f(1,0)=fx (1,0)
+f y (1,0)
=1
+0
=
2
2
2
2
2
Ejercicio
Estudiar la existencia de derivadas direccionales en el punto (0, 0), en los casos:
xy
si (x,y) (0,0)

a) f(x,y)= x 2 +y 2

0 si (x,y)=(0,0)
fx (x,y)=

x2y
si (x,y) (0,0)

b) g(x,y)= x 2 +y 2
0 si (x,y)=(0,0)

Vector gradiente
Segn el teorema anterior, si f es diferenciable en (a, b), tiene infinitas derivadas
direccionales en (a, b), es decir, una derivada direccional para cada vector unitario

u = (u1, u2), y su valor es Du =fx (a,b)u1 +fy (a,b)u2 , que se puede escribir como un
producto escalar de dos vectores:
Du f(a,b)=(fx (a,b),fy (a,b)).(u1 ,u2 ) .
Al vector cuyas componentes son las derivadas parciales de f en el punto (a, b) se le

llama vector gradiente de f en (a, b) y se simboliza por f(a,b) = (fx (a,b),fy (a,b)) .
Por lo tanto se verifica el siguiente:
Teorema

Si f es diferenciable en (x, y), y u = (u1, u2) es un vector unitario cualquiera, entonces

Du f(x,y) f(x,y).u

Fijando un punto (x, y), y haciendo variar el vector unitario u , se obtienen valores
distintos para la derivada direccional, verificndose el siguiente
Teorema
Si f es una funcin, diferenciable en (a,b), entonces:

29

NOLAN JARA JARA

1) La derivada direccional (tambin llamada velocidad o ritmo de cambio) de f en
(a, b), toma el valor mximo en la direccin del gradiente, siendo su valor

f(a,b)
.
|f(a,b)| , y el vector u=
|f(a,b)|
2) La derivada direccional (tambin llamada velocidad o ritmo de cambio) de f en
(a, b), toma el valor mnimo en la direccin opuesta a la del gradiente, siendo su

f(a,b)
valor - |f(a,b)| , y el vector u=
.
|f(a,b)|
La demostracin se basa en la expresin del producto escalar de dos vectores como
el producto de sus mdulos por el coseno del ngulo que forman, y se propone como
ejercicio.
Ejemplo
Obtener las direcciones de mximo ritmo de crecimiento y de decrecimiento, y sus
valores respectivos, para la funcin f(x, y) = x2+y2-3, en el punto P(1, 2).
Calculemos el gradiente en el punto P:

fx = 2x, fy = 2y f(1,2)=(fx (1,2),fy (1,2))=(2,4)

Lo que se pide son las direcciones donde la derivada direccional toma los valores
mximos o mnimos.
Luego para el valor mximo se tiene

(2,4) (2,4)
2
4
1 2
f(1,2)

=
=(
,
)=(
,
) , siendo el valor mximo en
u=
|f(1,2)| |(2,4)|
20 2 5 2 5
5 5

esta direccin |f(1,2)| |(2,4)|=2 5 .

-1 -2
La direccin de mayor ritmo de decrecimiento ser la opuesta, es decir (
,
),
5 5
siendo su valor - 2 5 .

30