NOLAN JARA JARA

1

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 (x
1
, x
2
, ... ,x
n
) = a
0
+ a
1
x
1
+ ... + a
n
x
n

Donde a
0
, a
1
, a
2
,..., a
n
son constantes.
Funciones de interaccin
Si aadimos a una funcin lineal uno o ms trminos de la forma bx
i
x
j
(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:
NOLAN JARA JARA
2


( ) ( )
2 2
) , ( a y a x A P d + =

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

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

DEFINICION DE FUNCION DE n VARIABLES
Sea
n
R D c . Si a cada ( )
n
n
R D x x x x P c e , , , ,
3 2 1
le corresponde un nico nmero
real ( )
n
x x x x f , , , ,
3 2 1
, entonces se dice f es una funcin de
n
x x x x , , , ,
3 2 1

El conjunto D es el Dominio de f y los correspondientes valores reales de
( )
n
x x x x f , , , ,
3 2 1
es el Rango de f.
Para la funcin ( )
n
x x x x f z , , , ,
3 2 1
= a
n
x x x x , , , ,
3 2 1
se les llaman variables
independientes y a z variable dependiente.
A este tipo de funciones se denota de la siguiente manera
( )
n
n
x x x x f z R R D f , , , , / :
3 2 1
= c
A las funciones de varias variables tambin se les llama CAMPOS ESCALARES
Si n = 2, entonces
( ) y x f z R R D f , / :
2
= c

( ) { }
( ) { }
2
2
( ) , / ( , )
( ) una region plana
( ) ( , ) / , ( )
( )
Dom f P x y R z f x y R
Dom f R es
Ran f z f x y R P x y Dom f
Ran f R
= = e = e
c
= = e = e
c

NOLAN JARA JARA
3



Y






X














y
x
z=f(x,y)
(x,y)
0
R
Dom(f)

Grafico de f.
( ) { }
3
3
( ) , , / ( , ); ( , ) ( )
( )
Grafico f x y z R z f x y x y Dom f
Graf f R Superficie S
= e = e
c

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







Dominio de f
NOLAN JARA JARA
4


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


















CURVAS DE NIVEL
( ) S superficie una de ecuacion la es , / : funcion una Para
2
y x f z R R D f = c
Tenemos las CURVAS DE NIVEL C
k
. 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 C
k

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)
C
k
: f ( x , y ) = k , ( ) k Ran f e en cuyos puntos la funcin conserva un valor constante
z = k

NOLAN JARA JARA
5

f(x, y) = k es la ecuacin de la curva de nivel C
k
de la superficie S: z=f(x,y)
Las curvas de nivel C
k
se grafican en el plano XY: z = 0 como una proyeccin de las
curvas de nivel C
k
del resto de los planos z = k.
El conjunto de curvas de nivel C
k
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.
3
: f D R R c ; f es una funcin si a cada punto ( )
3
, , P x y z D R = e c
Le corresponde un nico nmero real w mediante f, es decir ( , , ) w f x y z R = e
Donde D es el Dominio de f y se define como sigue
( ) { }
( ) { }
3
3
o
( ) , , / ( , , )
( ) un Solido S
( ) ( , , ) / , , ( )
( )
Dom f P x y z R w f x y z R
Dom f R es
Ran f w f x y z R P x y z Dom f
Ran f R
= = e = e
c
= = e = e
c

Anlogamente
Se llama superficie de nivel de una Hipersuperficie w = f ( x , y , z) a la superficie
S
k
: f ( x , y , z ) = k , ( ) k Ran f e 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
si V(x,y) =
2 2
7
49 x y
, Graficar la funcin potencial elctrico V.
Solucin.
NOLAN JARA JARA
6

2 2 2 2
2 2 2 2 2 2
2 2
2 2
2 2
2 2
2
2 2
2
2 2
2
( ) : 49 0 49
( ) : 0 49 49 0 0 49 49
1 1
0 49 7
7
49
7
1 1... ( )
49
7 49
: ; 0 49
49
49 49
... :
k
k
Dom f x y x y
Ran f x y x y x y
x y
x y
z Ran f
x y
C k k x y
k
x y
k
x y C circumferencias
k
> + <
< + < < < < <
< < >

> >

= > =

+ =


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.1
( , ) 100 ( ) ;0 1
t
H x t e sen x x t

= s s
a) Trace la grfica de H(x,t) para t = 0 y t = 10.
( ) 100 ( ) ;0 1 H x sen x x t = s s
NOLAN JARA JARA
7


1
( ) 100 ( ) ;0 1 H x e sen x x t

= s s


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
si
2 2
100
( , )
1 2
V x y
x y
=
+ +
, bosquejar la superficie z = V(x,y)
{ }
( | { }
( |
2
2
2 2
2 2
( ) ( , )
100
( ) ( , ) /( , )
1 2
( ) ( , ) 0,100
100
: 2 ; 0,100 ... :
k
Dom V x y R
Ran V z V x y R x y R
x y
Ran V z V x y
k
x y k Elipces Ecuaciones de las Curvas de nivel
k
= e

= = = e e
`
+ +
)
= = e

+ = e

NOLAN JARA JARA
8






LMITES Y CONTINUIDAD DE FUNCIONES DE 2 VARIABLES
Bola Abierta o entorno de un punto
Sea P
o
(x
o
,y
o
) un punto del plano R
2
. Se denomina bola abierta o entorno de centro P
o
y
radio o (o>0), al conjunto de puntos P(x,y) del plano R
2
cuya distancia al punto P
o
es
menor que o. Se denota por, B(P
o
, o). Es decir:
( ) { }
( ) ( ) ( )
{ }
0
2 2
( , ) ( , ) ,
,
o
o o
B p P x y tal que d P P
x y tal que x x y y
o o
o
= e <
= e + <
2
2
R
R
Geomtricamente, B(P
o
, o) es el
conjunto de puntos interiores al crculo de centro P
o
y radio o.
Bola Reducida
Sea P
o
(x
o
,y
o
) un punto del plano R
2
. Se denomina bola reducida o entorno de centro P
o
y
radio o (o >0), al conjunto de puntos P(x,y) del plano R
2
cuya distancia al punto P
o
es
menor que o pero mayor que cero. Se denota por, B
'
(P
o
, o). Es decir:
NOLAN JARA JARA
9

( ) { }
( ) ( ) ( )
{ }
0
2 2
( , ) ( , ) 0< ,
, 0<
o
o o
B p P x y tal que d P P
x y tal que x x y y
o o
o
' = e <
= e + <
2
2
R
R

Geomtricamente, B
'
(P
o
, o) es una bola abierta B(P
o
, o) sin su centro.

Bola Cerrada o entorno de un punto
Al conjunto:
( ) { }
( ) ( ) ( )
{ }
0
2 2
( , ) ( , ) ,
,
o
o o
B p P x y tal que d P P
x y tal que x x y y
o o
o
= e s
= e + s
2
2
R
R

que representa geomtricamente al conjunto de todos los puntos del crculo de centro P
o

y radioo, incluida la circunferencia exterior, se le denomina bola cerrada o entorno
cerrado de centro P
o
y radio o. Se denota por, B(P
o
,o).
Punto de Acumulacin.
Diremos que el punto P
o
(x
o
,y
o
) del plano R
2
es un punto de acumulacin de un conjunto
Dc R
2
si y solo si todo entorno del punto P
o
contiene puntos del conjunto D distintos de
P
o
.
Concepto de Lmite
Sea: z = f(x,y) una funcin real de dos variables reales cuyo dominio es un subconjunto
Dc R
2
, L un nmero real y P
o
(x
o
,y
o
) 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 (x
o
,y
o
) es el nmero
L y escribiremos

( )
L ) y , x ( f lm
o o
y , x ) y , x (
=

si y solo si:
Para cualquier nmero c > 0, existe un nmero o > 0 tal que para todos los puntos
(x,y)eD, siendo (x,y) = (x
o
,y
o
), que verifiquen que d((x,y),(x
o
,y
o
))< o entonces sus
imgenes verifican que d(f(x,y),L) < c. Es decir:
( )
L ) y , x ( f lm
o o
y , x ) y , x (
=

( )
o o
y , x y) (x, que, tal 0, , 0 = > - > o c Con
( ) ( ) c < o < + L ) y , x ( f y y x x
2
o
2
o
.
Continuidad en un punto
Una funcin z = f(x,y) es continua en un punto (x
o
,y
o
) si y solo si verifica las tres
condiciones siguientes:
1. Existe f(x
o
,y
o
), es decir (x
o
,y
o
) es un punto del dominio de la funcin.
2. Existe
( )
L ) y , x ( f lm
o o
y , x ) y , x (
=

, siendo L un nmero real finito.

NOLAN JARA JARA
10

3.
( )
0 0
( , ) ,
( , ) ( , )
o o
x y x y
lm f x y f x y

=

Teorema
Sean f(x,y) y g(x,y) dos funciones reales de dos variables reales tales
que
( )
1
y , x ) y , x (
L ) y , x ( f lm
o o
=

y
( )
2
y , x ) y , x (
L ) y , x ( g lm
o o
=

(existen y son finitos), entonces

se verifica:
1.
( )
| |
2 1
, ) , (
) , ( ) , ( L L y x g y x f lm
o o
y x y x
= .( Existe y es finito )
2.
( )
| |
2 1
, ) , (
. ) , ( ). , ( L L y x g y x f lm
o o
y x y x
= . ( Existe y es finito )
3.
( )
( )
( )
1
y , x ) y , x ( y , x ) y , x (
kL ) y , x ( f lm k ) y , x ( f k lm
o o o o
= =

. (Existe y es finito)
4. Si L
2
=0, entonces
( )
2
1
y , x ) y , x ( L
L
) y , x ( g
) y , x ( f
lm
o o
=

. (Existe y es finito)
Proposicin
Los subconjuntos S de puntos del plano R
2
de la forma S={ } g(x) y que tal ) , ( = e
2
R y x
se denominan caminos o lneas del plano R
2
, o en el plano R
2
.
Si el punto (x
o
,y
o
)eS entonces se verifica que:
1. Si existe
( )
=

L ) y , x ( f lm
o o
y , x ) y , x (
( )
L y x f lm
S y x
y x y x
o o
=
e

) , (
) , (
, ) , (
.
2. Si existen
( )
1
) , (
, ) , (
) , (
1
L y x f lm
S y x
y x y x
o o
=
e

y
( )
2
) , (
, ) , (
) , (
2
L y x f lm
S y x
y x y x
o o
=
e

; siendo S
1
y S
2
dos
caminos del plano R
2
y:
i) L
1
=L
2
, entonces podemos afirmar que no existe
( )
) y , x ( f lm
o o
y , x ) y , x (

ii) L
1
=L
2
=L, entonces no podemos afirmar que exista
( )
L ) y , x ( f lm
o o
y , x ) y , x (
=

, 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
( )
) y , x ( f lm
o o
y , x ) y , x (
aplicando el cambio a coordenadas polares.
Para simplificar el proceso se acostumbra previamente a efectuar la traslacin

+ =
+ =
0
0
y ' y y
x ' x x
,
NOLAN JARA JARA
11

Luego
( )
=

) y , x ( f lm
o o
y , x ) y , x (
) ' y , ' x ( g lm
) 0 , 0 ( ) ' y , ' x (
y aplicando el cambio

=
=
u
u
rsen y'
rcos x'

quedara
( )
=

) y , x ( f lm
o o
y , x ) y , x (
) ' y , ' x ( g lm
) 0 , 0 ( ) ' y , ' x (
= ) , cos (
0
u u rsen r g lm
r
.
Si existe, sin depender de u , el ) , cos (
0
u u rsen r g lm
r
=L, entonces existe
( )
) y , x ( f lm
o o
y , x ) y , x (
=L
Puede demostrarse tambin que, si
( )
( )
( , ) 0,0
( , )
x y
lm f x y

= ( )
0
lim ( )
r
G r h L u

= , siendo
0 = ) r ( g lim
0 r
y ( ) h u una funcin acotada, entonces
( )
L = ) y , x ( f lm
0 , 0 ) y , x (
.
Criterio de la mayorante
Si (x
o
,y
o
) es un punto de acumulacin del dominio de la funcin z = f(x,y) y
( )
=

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

) y , x ( f lm
o o
y , x ) y , x (
L ) ( ) , ( r G L r g < u con tal que G 0 r si 0 ) ( r
Clculo de lmites
1. Si ) , (
0
u r g lm
r
=L sea cual sea e u R, entonces podemos afirmar que
( )
=

) y , x ( f lm
o o
y , x ) y , x (
L.
2. Si utilizando ciertos caminos en R
2
(ya sea lmites reiterados, lmites radiales,
parbolas, etc) obtenemos que un posible valor de
( )
) y , x ( f lm
o o
y , x ) y , x (
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 e u R, o bien aplicando el
criterio de la mayorante.

Ejemplo de clculo del lmite en un punto de una funcin de dos variables
Calcular el lmite de la funcin f(x,y)=
xy
x y
2
2 4
+
, en el punto (0,0).
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 y
2
= mxS. Entonces si existe el lmite se verifica que:
NOLAN JARA JARA
12

( ) ( ) ( ) ( )
( )
( ) ( )
( )
( ) ( )
2
2
0 , 0 ,
2 2
2
0 , 0 ,
2 2
0 , 0 ,
4 2
2
0 , 0 ,
1
1
lim
1
lim lim lim
m
m
m
m
m x
mx
mx x
xmx
y x
xy
y x y x y x y x
+
=
+
=
+
=
+
=
+


Luego el lmite de la funcin en el punto (0,0) depende de la parbola elegida y por
tanto podemos afirmar con rotundidad que:
( ) ( )

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

2. Si probamos a evaluar el lmite mediante lmites reiterados se obtiene:
( ) lim lim
xy
x y
lim
x
lim
x y x y
+

(
(
=

(
= =
0 0
2
2 4
0
2
0
0
0 0
( ) lim lim
xy
x y
lim
y
lim
y x y y
+

(
(
=

(
(
= =
0 0
2
2 4
0
4
0
0
0 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:
( ) ( )
u u u
u u
u u
u u
2 4 2 2
2
0
4 4 2 2
2 2
0
4 2
2
0 , 0 ,
cos
0
cos
) ( cos
lim
cos
) ( cos
lim lim =
+
=
+
=
+ sen r
sen r
sen r r
sen r r
y x
xy
r r y x
. Esta
expresin es indeterminada si u =
t t
2
3
2
, , . Luego el clculo del lmite mediante
polares, en este caso, no nos sirve para decidir la existencia o no del lmite propuesto.
4. Criterio de la mayorante
5.
u u
u u
u u
u u
4 2 2
2
4 4 2 2
2 2
cos
) ( cos
0 -
cos
) ( cos
0 ) , (
sen r
sen r
sen r r
sen r r
y x f
+
=
+
= . Ahora bien, cuando

0
0 cos
entonces , 0 adems si y ,
1
0 cos
2
2
u
u
u
u
t
u
rsen
r
sen
.
Luego para el camino de valores de r tales que
u
u
2
cos
sen
r = cuando
2
t
u es
2
1
cos cos
cos
cos
) ( cos
2 2
2
4 2 2
2
=
+
=
+ u u
u
u u
u u
sen r
sen r
. Por tanto:
( ) ( )

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

NOLAN JARA JARA
13

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) =
2 2
2
y x
xy

, en el punto (0,0).
Si probamos a evaluar el lmite mediante lmites reiterados se obtiene
( ) 0 0 lim
y
0
lim
y x
xy
lim lim
0 y
2
0 y
2 2
2
0 x 0 y
= =
(
(

=
(
(

.
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
o o
o o
=
o o
o o
=
2 2
2
2 2 2 2
2 2
sen cos
sen cos r
0
sen r cos r
sen r cos r
0 ) y , x ( f =
o o
o o
2 2
2
sen cos
sen cos
r .
Ahora bien t +
t
o
o o
o o
k
4
si
sen cos
sen cos
2 2
2
. Es decir, 0 ) y , x ( f no est
acotada en las direcciones t +
t
= o k
4
, por tanto el lmite no es cero, luego:
( ) ( )

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

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 f
x
(a, b). Luego por definicin se tiene:
f
x
(a, b) = g(a) =
0
g(a+h)-g(a)
lim
h
h
, por tanto
f
x
(a, b) =
0
f(a+h, b)-f(a, b)
lim
h
h

Anlogamente se define la derivada parcial de f respecto de y en (a, b), y que denotamos
por f
y
(a, b), que se obtiene fijando x = a, y obteniendo la derivada en b de la funcin
h(y) = f(a, y)

0
y
f(a, b+h)-f(a, b)
f (a, b) lim
h
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
x
(a, b) =
0
f(a+h, b)-f(a, b)
lim
h
h





NOLAN JARA JARA
14



























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:

0
y
f(a, b+h)-f(a, b)
f (a, b) lim
h
h
= .



















y=b
z=f(x, y)
y
x
z
z=f(x, b)
P(a, b, f(a, b))
Corte de z = f(x, y) con y = b
x=a
y=b
z=f(a, y)
z=f(x,y)
z
x
y
P(a, b, f(a,b))
Corte de z=f(x, y) con x=a
NOLAN JARA JARA
15

P Pl la an no o t ta an ng ge en nt te e
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 L
T1
en el punto P(a ,b, f(a, b)) tiene por
pendiente f
y
(a, b), luego
( ) { } b y b a f b a f z a x
y
= = e = ) , ( ) , ( ; / R z) (xy, L
3
T1

un vector direccional de esta recta tangente ser de la forma ( ) ) , ( , 1 , 0 b a f a
y
= es decir,
un vector en la direccin de la recta tangente L
T1
es ( ) ) , ( , 1 , 0 b a f a
y
= .
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 L
T2
en el punto
P(a ,b, f(a, b)) tiene por pendiente a la derivada parcial de f con respecto a x f
x
(a, b),
luego
( ) { } a x b a f b a f z b y
x
= = e = ) , ( ) , ( ; / R z) (xy, L
3
T2
un vector
direccional de esta recta tangente ser de la forma ( ) ) , ( , 1 , 0 b a f a
x
= es decir, un vector
en la direccin de la recta tangente L
T1
es ( ) ) , ( , 1 , 0 b a f b
x
= .
v = f
x
(a, b), es decir, un vector en la direccin de la recta tangente es (1, 0, f
x
(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 f
y
(a, b), luego un vector direccional de
esta recta ser de la forma (0, u, v), siendo
y
f (a, b)
v
=
u 1
, se obtiene: v = f
y
(a, b)
es decir, un vector en la direccin de la recta tangente es (0, 1, f
y
(a, b)).
NOLAN JARA JARA
16

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 f
x
(a, b), luego un vector
direccional de esta recta ser de la forma (u, 0, v), siendo
x
f (a, b) v
=
u 1
, se obtiene:
v = f
x
(a, b), es decir, un vector en la direccin de la recta tangente es (1, 0, f
x
(a, b)).
Plano tangente y recta normal
























En consecuencia dos vectores directores del plano tangente en el punto:
P(a, b, f(a, b)) son a

= (0, 1, f
y
(a, b)) y b

= (1, 0, f
x
(a, b)), luego un vector perpendicular
al plano se obtendr multiplicndolos vectorialmente
ab

= 0 1
1 0
y
x
f (a, b)
f (a, b)
i j k

=
x y
f (a, b)i+f (a, b)j-k


Por lo tanto el plano tangente queda definido por el punto P(a, b, f(a, b)) y tiene por
vector normal
x y
(f (a, b),f (a, b),-1) , por lo que su ecuacin ser:
f
x
(a, b)(x - a) + f
y
(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
y
x a t f a b
y b t f a b
z f a b t
= +

= +

Ejemplo
Obtener la ecuacin del plano tangente a la superficie z = 3x
2
-y
2
, en el punto
Plano tangente
en P(a, b, f(a, b))
x = a
y = b
Recta normal
P(a, b, f(a, b))
NOLAN JARA JARA
17

P(1, 1, 2),as como la ecuacin de la recta normal en dicho punto.
En este caso:
f
x
(x, y) = 6x, f
y
(x, y) = -2y, (a, b) = (1, 1) f
x
(1, 1) = 6, f
y
(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 f
x
, y se define as

0
x
f(x+h, y)-f(x, y)
f (x, y) lim
h
h
=
Para todos los puntos (x, y) donde este lmite exista.
La derivada parcial de f con respecto a y, la denotamos por f
y
, y se define as

0
y
f(x, y+h)-f(x, y)
f (x, y) lim
h
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
x
(x, y) = z
x
=
f z
(x, y)=
x x
c c
c c

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

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) = (x
2
+ y)e
xy
, calcular sus derivadas parciales y evaluarlas en el punto
(1,1):
f
x
(x, y) = 2xe
xy
+ (x
2
+ y)ye
xy
f
x
(1, 1) = 2e + 2e = 4e

f
y
(x, y) = e
xy
+ (x
2
+ y)xe
xy
f
y
(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 R
2
.
2) Estudiar la existencia de derivadas parciales, para cualquier punto, de la funcin
f(x, y) = |x+y|=
x+y si x+y > 0
-x-y si x+y 0

calculndolas en su caso
Si x+y= 0, existen ambas derivadas parciales, ya que al fijar una variable se obtiene un
polinomio que siempre es derivable, siendo
f
x
(x, y) = 1, f
y
(x, y) = 1, si x+y > 0
f
x
(x, y) = -1, f
y
(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)
NOLAN JARA JARA
18

0 0
x
f(a+h, -a)-f(a, -a) |h|
f (a, -a) lim lim
h h
h h
= = , que no existe, ya que vale 1 o -1
segn que h tienda acero por la derecha o por la izquierda.
0 0
y
f(a, -a+h)-f(a, -a) |h|
f (a, -a) lim lim
h h
h h
= = , que no existe, ya que vale 1 o -1
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:
2 2
xy
;si (x, y) (0, 0)
( , ) x +y
0 ;si (x, y)=(0, 0)
f x y

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

2
xx 2
f f
( )= =f
x x x
c c c
c c c

2) derivando dos veces respecto de y

2
yy 2
f f
( )= =f
y y y
c c c
c c c

3) derivando primero respecto de x y luego respecto de y
2
xy
f f
( )= =f
y x y x
c c c
c c c c

4) derivando primero respecto de y y luego respecto de x
2
yx
f f
( )= =f
x y x y
c c c
c c c c

En las dos notaciones utilizadas se deriva primero respecto a la variable ms cercana a f.
Ejemplo
Calcular las derivadas parciales segundas de:
f(x, y) =
2 x
x
y e +cos(xy)+
y

-
2 x
x
1
f (x, y)=y e -ysen(xy)+
y

-
x
y 2
x
f (x, y)=2ye -xsen(xy)-
y

-
x
xy 2
1
f (x, y)=2ye -sen(xy)-yxcos(xy)-
y

-
x
yx 2
1
f (x, y)=2ye -sen(xy)-xycos(xy)-
y

-
2 x 2
xx
f (x, y)=y e -y cos(xy)
NOLAN JARA JARA
19

-
x 2
yy 3
2x
f (x, y)=2e -x cos(xy)+
y

2) Calcular las derivadas parciales segundas de:

3 2 2 2 2
y
f(x, y)=x y - x + x tg( ) + x +y
x
.
En el ltimo ejemplo se verificaba que
x y y x
f =f , igualdad que en general no es cierta,
aunque si lo ser para la mayora de funciones que manejemos.
Una condicin suficiente para que
xy yx
f =f , 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 f
x
, f
y
, f
xy

en el mismo U, siendo tambin f
xy
continua en (a, b) , entonces existe f
yx
(a, b) y se
cumple
xy yx
f (a, b)=f (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) = x
2
+y
2
+z
2
+e
xyz
xyz
x
xyz
y
xyz
z
f (x,y,z)=2x+yze
f (x,y,z)=2y+xze
f (x,y,z)=2z+xye

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 A A A ( , ) - ( , ) 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
existen dos nmeros M ( , )
f
a b
x
c
=
c
y N ( , )
f
a b
y
c
=
c
, tales que

1 2
c c A A A A A A A A A ( , ) ( , ) ( , ) ( , ) ,
f f
z a b x a b y x y x x y y
x y
c c
= + + +
c c

Siendo
1 2
y , dos funciones de las variables x e y , e infinitsimos cuando
( x, y ) (0, 0) , es decir se cumple

1
0 0 (x,y) ( , )
lim ( , ) x y c

A A =
2
0 0 (x,y) ( , )
lim ( , ) x y c

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

Ejemplo
Dada la funcin z = f(x, y) = x
2
-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) =
2 2
(a+x) -(a+x)(b+y)+b+y-a +ab-b=
=
2 2 2
a +x +2ax-ab-ay-bx-xy+b+y-a +ab-b =
=(-b+2a)x+(-a+1)y+xx-xy.
Como
x y x y
f (x, y)=2x-y, f (x, y)=-x+1 f (a, b)=2a-b, f (a, b)=-a+1 ,
Luego z =
x y 1 2
f (a, b)x+f (a, b)y+ x+ y , siendo
1
=x, y
2
=-x ,
Cumplindose que:

1
0 0 (x,y) ( , )
lim ( , ) x y c

A A =
2
0 0 (x,y) ( , )
lim ( , ) x y c

A A =0.
Como consecuencia se cumple la definicin de diferenciabilidad en el punto (a, b),
poniendo M = f
x
(a, b) y N = f
y
(a, b).
Ejercicio
Obtener la diferencial de la funcin z = f(x, y) = x
2
y
2
+ 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
La funcin
2 2
2 2
2 2
xy
si x +y 0
x +y f(x, y)=
0 si x +y =0

Estudiemos sus derivadas parciales en (0, 0)
2
x
h 0 h 0 h 0
h0
-0
f(h, 0)-f(0, 0) 0
h
f (0, 0)=lim =lim =lim =0
h h h


2
y
h 0 h 0 h 0
h0
-0
f(0, )-f(0, 0) 0
h
f (0, 0)=lim =lim =lim =0
h 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):
0 0 0 0
2
2 2 2 2 2
( , ) ( , )
y=mx
mx m m
lim f(x, y) lim lim =
x +m x 1+m 1+m
x y x x
= =
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
NOLAN JARA JARA
21

La funcin

Es continua en R
2
(por qu?)
Estudiemos la diferenciabilidad en (0, 0).
Calculamos las derivadas parciales
0 0 0
x
h h h
0
-0
f(h, 0)-f(0, 0) 0 |h|
f (0, 0) lim lim lim =0
h h h

= = =
0 0 0
y
h h h
0
-0
f(0, h)-f(0, 0) 0 |h|
f (0, 0) lim lim lim =0
h h h

= = =
Si fuese diferenciable se tendra
2 2
f(0+x, 0+y)-f(0, 0)=0x+0y+ x +y
2 2
f(x, y)
=
x +y
=
Comprobemos si ( , ) x y c A A es un infinitsimo
2 2
2 2
2 2 (x,y) (0,0) (x,y) (0,0)
xy
x +y xy
lim = lim
x +y
x +y

, este lmite no existe (ya visto en un ejemplo
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
2 2
xylog(x +y ) si (x, y) (0, 0)
f(x, y)
0 si (x, y)=(0, 0)
=
=

Estudiemos la existencia de derivadas parciales
0 0 0
2
x
h h h
f(h, 0)-f(0,0) h0log(h )-0 0
f (0, 0) lim lim lim =0
h h h

= = =
0 0 0
2
y
h h h
f(0, )-f(0,0) h0log(h )-0 0
f (0, 0) lim lim lim =0
h h h
h

= = =
Por existir las derivadas parciales es posible que sea diferenciable. Intentamos
demostrarlo aplicando la definicin. Despejando de la condicin de diferenciabilidad
2 2
f(x,y)-f(0,0)=0x+0y x +y c +
0 0 (x,y) ( , )
lim

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

= , para
ver si existe este lmite calculemos los lmites segn las direcciones y=mx
0 0
2 2 2 2 2 2 2
2 2 2 2 x x
mx log(x +m x ) mx log(x (1+m ))
lim lim
x +m x |x| 1+m

=
2 2
xy
si (x,y) (0,0)
f(x, y)= x +y
0 si (x,y)=(0,0)

NOLAN JARA JARA

22

0 0 0
2 2 2 2
2 2 x x x
m m
lim|x|(logx +log(1+m )) [lim|x|logx lim|x|log(1+m )]
1+m 1+m

= = +
Se tiene evidentemente
0
2
x
lim|x|log(1+m )=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.
+ + + +
2
2
2 2
x 0 x 0 x 0 x 0
2
2x
logx
x
lim |x|logx lim lim lim -2x =0
1 -1
x x

= = = , anlogamente se
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
2 2 2 2 2
2 2
2 2
xylog(x +y ) cos senlog( (cos +sen ))
| -0|=| =

x +y
cos senlog( )
| | 2|log

s

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

+ + +
0 0 0
2
1
log
2 lim|log| 0( ) -2 lim =-2 lim =-2.0=0
1 -1


= = .
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:

2 2
1
2 2
2 2
0
0 0
,
( , )
,
x y
e si x y
f x y
si x y

+ =
=

+ =

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: z
x
o z
y
es continua en (a, b), entonces la funcin es diferenciable en
(a,b)
Teorema
NOLAN JARA JARA
23

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
f
x
(a, b)(x - a) + f
y
(a, b)(y - b) (z f(a, b)) = 0
Ejemplo.
Estudiar la continuidad y diferenciabilidad en cualquier punto de la funcin
2 2
xylog(x +y ), si (x, y) (0, 0)
f(x, y)
0 , si (x, y)=(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.
2
2 2 2 2
x 2 2 2 2
2x 2x y
f (x,y)=ylog(x +y )+xy =ylog(x +y )+
x +y x +y

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

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 R
2
y, por lo
tanto continua en R
2
.
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) = z
x
x(t) + z
y
y(t).
Ejemplo
Siendo z = xy
2
x
2
, 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 sen
2
t cos
2
t z

= -sen t sen
2
t + 2cos t cos t sen t + 2sen t cos t =
= -sen
3
t + 2cos
2
t sen t + 2sen t cos t
z(t) = z
x
x(t) + z
y
y(t) = (y
2
2x)(- sen t) + 2xy cos t = (sen
2
t 2 cos t)(- sen t) +
+ 2 cos
2
t sen t, que coincide con el resultado anterior.

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









NOLAN JARA JARA
24



















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 x
u
, x
v
, y
u
, y
v
en (u, v),
entonces existen z
u
, z
v
en (u, v) y se verifica:
z
u
= z
x
x
u
+ z
y
y
u

z
v =
z
x
x
v
+

z
y
y
v

Para funciones de ms de dos variables se obtienen resultados anlogos.
Ejercicio
Siendo
2 2
x y
z=
2
, x = u + v, y = u-v, calcular z
u
, z
v
de dos formas distintas:
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))

z
z
x
z
y
x y
t
t
x(t)
y(t)
NOLAN JARA JARA
25




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 z
5
x
2
+ z
3
y 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
x
x
x
+F
y
y
x
+F
z
z
x
= 0, siendo x
x
=1, y
x
=0 ,
x
x
z
-F
z =
F

Derivando respecto de y :
F
x
x
y
+F
y
y
y
+F
z
z
y
= 0, siendo y
y
=1, x
y
=0,
y
y
z
-F
z =
F

Ejemplo
Siendo z
3
sen x + ze
xy
xy = 0, obtener z
x
, z
y
aplicando el resultado anterior.
En este caso F(x, y, z) = z
3
sen x + ze
xy
xy, luego
F
x
= z
3
cos x + zye
xy
y, F
y
= zxe
xy
x, F
z
= 3z
2
sen x + e
xy
.
Por lo que sustituyendo queda:

3 xy
x 2 xy
-z cosx-zye +y
z =
3z sen x+e
,
xy
y 2 xy
-xze +x
z =
3z sen x+e

Ejercicio
x
y
z
z
x
z
y
u v
u
v
x
u
x
v
y
u
y
v
z
u
= z
x
x
u
+ z
y
y
u

z
v =
z
x
x
v
+

z
y
y
v

NOLAN JARA JARA
26

Con el mismo dato del ejemplo anterior, obtener z
x
, z
y
derivando directamente la
igualdad z
3
sen x + ze
xy
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:
z
x
(a, b)(x-a)+z
y
(a, b)(y-b)-(z-c) = 0
y siendo
x
x
z
-F
z =
F
,
y
y
z
-F
z =
F
sustituyendo queda:

y
x
z z
x y z
F (a,b,c)
-F (a,b,c)
(x-a)- (y-b)-(z-c)=0
F (a,b,c) F (a,b,c)
F (a,b,c)(x-a)+F (a,b,c)(y-b)+F (a,b,c)(z-c)=0

Luego la recta normal en el punto P(a, b, c) tiene como vector director
(F
x
(a, b, c), F
y
(a, b, c), F
z
(a, b, c)), por lo que su ecuacin en forma paramtrica es

x
y
z
x=a+tF (a,b,c)
y=b+tF (a,b,c)
z=c+tF (a,b,c)

Ejemplo
Obtener la ecuacin del plano tangente y de la normal a la superficie
x y
z z
2 +2 =8, en el
punto P(2, 2, 1).
En este caso es F(x, y, z) =
x y
z z
2 +2 - 8, calculamos las derivadas parciales:
x y x y
z z z z
x y z 2 2
1 1 x y
F =log2 2 , F =log2 2 , F =-log2 2 -log2 2
z z z z
.
Tomando valores en P:
x y z
F (2,2,1)=4log2, F (2,2,1)=4log2, F (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:
z
2
+4z+x
2
= 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:
f
x
se obtiene tomando u

= (1, 0).
NOLAN JARA JARA
27

f
y
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























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 t 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 t corta al plano OXY segn una recta r cuyas ecuaciones paramtricas son:

1
2
x = a+tu
y = b+tu

Si Q es un punto arbitrario de la recta r tendr la forma Q(a+tu
1,
b+tu
2
), que es la
proyeccin del punto N(a+tu
1,
b+tu
2
, f(a+tu
1,
b+tu
2
)) de la superficie sobre el plano
OXY. La recta MN es una secante a la curva C, cuya pendiente segn la direccin u

es:
1 2 1 2 1 2
2 2 2 2 2
1 2 1 2
1 2
f(a+tu ,b+tu )-f(a,b) f(a+tu ,b+tu )-f(a,b) f(a+tu ,b+tu )-f(a,b)
= =
PQ
(a+tu -a) +(b+tu -b) t (u +u )
f(a+tu ,b+tu )-f(a,b)
t
AN
tg
AM
| = = =
=
P
Q
M
N
u
o
|
A
Plano t


0
u
tg =D f(a,b)=lim
t
tg |

z = f(x, y)
NOLAN JARA JARA
28

1 2 1 2 1 2
2 2 2 2 2
1 2 1 2
1 2
f(a+tu ,b+tu )-f(a,b) f(a+tu ,b+tu )-f(a,b) f(a+tu ,b+tu )-f(a,b)
= =
PQ (a+tu -a) +(b+tu -b) t (u +u )
f(a+tu ,b+tu )-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

:
0
1 2
t
f(a+tu ,b+tu )-f(a,b)
lim
t

, que es precisamente la derivada direccional de la funcin f,

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

.
La expresin
1 2
f(a+tu ,b+tu )-f(a,b)
t
se puede interpretar como el cociente entre el
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.
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

=
1 2
(u ,u ) un vector unitario cualquiera, entonces
existe la derivada direccional en el punto (a, b) segn el vector u

y se verifica

u x 1 y 2
D f(a,b)=f (a,b)u +f (a,b)u

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
2 2
f(x,y)=log x +y 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)| =
2 2
1 +1 2 = ,obtenindose u

=
1 1
( , )
2, 2
.
NOLAN JARA JARA
29

Apliquemos la definicin
0 0
0 0
2
0
2 2
1 2
2 2
u
h h
2
2
h h
2
h
h h h h
log (1+ ) +( ) -log1 f(1+ , )-f(1,0)
2 2 2 2
D f(1,0) lim lim
h h
log 1+h + 2h 1 2h+ 2
... lim lim : 1+h + 2h
h 2
1+h + 2h
1 1 1
lim 2=
2 2
2
h
h h

= = =
= = = =
+
= =
+ +

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

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

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:
u x y
1 1 1 1 1
D f(1,0)=f (1,0) +f (1,0) =1 +0 =
2 2 2 2 2

.
Ejercicio
Estudiar la existencia de derivadas direccionales en el punto (0, 0), en los casos:
a)
2 2
xy
si (x,y) (0,0)
f(x,y)= x +y
0 si (x,y)=(0,0)

b)
2
2 2
x y
si (x,y) (0,0)
g(x,y)= x +y
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

= (u
1,
u
2
), y su valor es
u x 1 y 2
D =f (a,b)u +f (a,b)u

, que se puede escribir como un

producto escalar de dos vectores:

u x y 1 2
D f(a,b)=(f (a,b),f (a,b)).(u ,u )

.
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) V

=
x y
(f (a,b),f (a,b)) .
Por lo tanto se verifica el siguiente:
Teorema
Si f es diferenciable en (x, y), y u

= (u
1,
u
2
) es un vector unitario cualquiera, entonces

u
D f(x,y) f(x,y).u = V

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:
NOLAN JARA JARA
30

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)| V

, y el vector u=
f(a,b)
| f(a,b)|
V
V

.
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
valor -| f(a,b)| V

, y el vector u=
f(a,b)
| f(a,b)|
V
V

.
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) = x
2
+y
2
-3, en el punto P(1, 2).
Calculemos el gradiente en el punto P:
f
x
= 2x, f
y
= 2y
x y
f(1,2)=(f (1,2),f (1,2))=(2,4) V

Lo que se pide son las direcciones donde la derivada direccional toma los valores
mximos o mnimos.
Luego para el valor mximo se tiene
u=
f(1,2) (2,4) (2,4) 2 4 1 2
= =( , )=( , )
|(2,4)| | f(1,2)| 20 2 5 2 5 5 5
V
=
V

, siendo el valor mximo en

esta direccin | f(1,2)| V

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