Tema 2

Funciones de Varias Variables

2.1 Deniciones Generales
Denicion: Una funcion de varias variables reales

f : A R
n
R
m
es una corres-
pondencia que a cada x = (x
1
, x
2
, . . . , x
n
) R
n
le asigna a lo mas una imagen y =

f(x) = (y
1
, y
2
, . . . , y
m
) R
m
.
De manera similar al caso de las funciones reales de variable real, se dene el conjunto
dominio de

f, Dom

f, como el subconjunto de A formado por los elementos para los
cuales existe la imagen por

f, y el conjunto Im

f sera el subconjunto de R
m
constituido
por los vectores imagenes de alguna anti-imagen en A. Si Dom

f=A, entonces y solo
entonces

f sera una aplicacion.
Ejemplo 1: Las aplicaciones lineales estudiadas en el

Algebra Lineal son funciones de varias
variables, por ejemplo:

T : R
3
R
2

T(x
1
, x
2
, x
3
) = (2x
1
x
2
, x
1
+ x
2
3x
3
)
Tenemos entonces que y
1
= 2x
1
x
2
, y
2
= x
1
+ x
2
3x
3
.
Ejemplo 2: La funcion f de R
3
en R:
f : R
3
R, f(x
1
, x
2
, x
3
) = x
3
1
+ 2 cos(x
2
+ x
3
)
Ejemplo 3:

f : R
2
R
2
,

f(x
1
, x
2
) = (x
2
1
+ x
2
2
, 3x
1
e
x
2
)
Ejemplo 4: La funcion (t) denida de la forma:
: R R
3
, (x) = (cos x, sinx, x
2
)
9
10 C

ALCULO / INGENIERO GE

OLOGO / TEMA 2
no es (estrictamente hablando) una funcion de varias variables, se tarta de una funcion de una
variable real, cuya imagen tiene varias componentes reales.
Dentro de las funciones de varias variables reales se distinguen varias casos particulares:
Funciones escalares: Si m = 1 (como ocurre en el ejemplo 2), se dice que la funcion
es una funcion escalar de n variables reales. Es habitual en esta situacion denotar a
la funcion sin utilizar el smbolo de vector
1
. Toda funcion no escalar (funcion vec-
torial) se compone entonces de varias (exactamente m) funciones escalares compo-
nentes: si

f(x
1
, . . . , x
n
) = (y
1
, . . . , y
m
), entonces evidentemente y
j
= f
j
(x
1
, . . . , x
n
),
con j = 1, . . . , m, son las m funciones escalares componentes de la funcion vectorial

f.
Utilizaremos a menudo la notacion

f (f
1
, . . . , f
m
) para representarlas.
Curvas: Si n = 1 (como es el caso del ejemplo 4), las funciones componentes de

f :
R R
m
(en este caso funciones reales de variable real) pueden interpretarse como las
ecuaciones parametricas de una curva en el espacio R
m
, por esta razon se denominan en
general curvas en R
m
a las funciones de este tipo.
Supercies: Si n = 2, las funciones componentes pueden interpretarse como las ecua-
ciones parametricas de una supercie en R
m
(evidentemente con m 3).
Campos vectoriales: Si n = m, es decir, si la funcion es del tipo

f : R
n
R
n
, se
suele denominar campo vectorial, sobre todo en los ejemplos de tipo fsico.
2.2 Gracas y Conjuntos de Nivel
2
1
0
1
2
2
1
0
1
2
0
5
10
4
2
0
2
4
4
2
0
2
4
1.0
0.5
0.0
0.5
1.0
Figura 2.1: Gracas de la funciones f(x, y) = 2x
2
+ y
2
(izquierda) y g(x, y) = sen(x
2
+ y
2
)
(derecha).
Denicion: Dada una funcion escalar de n variables reales f : R
n
R, se llama graca
1
De hecho es muy com un en los textos matematicos eliminar la notacion vectorial en cualquier tipo
de funcion de varias variables. En estos apuntes se eliminara unicamente en las funciones escalares.
C

ALCULO / INGENIERO GE

OLOGO / TEMA 2 11
de f al subconjunto de R
n+1
siguiente:
graca(f) = {(x
1
, x
2
, . . . , x
n
, x
n+1
) R
n+1
, x
n+1
= f(x
1
, . . . , x
n
)}
Solo es posible entonces visualizar la graca de una funcion escalar en los casos
n = 1 (funciones reales de variable real, la graca se dibuja en el plano R
2
) y si n = 2
(funciones escalares de dos variables reales, la graca se visualiza en el espacio R
3
).
Para el caso de las funciones vectoriales, no existe el concepto de graca, aunque
evidentemente s que podemos denir la graca de cada una de las funciones escalares
componentes.
Un caso diferente es el que tenemos con las curvas y las supercies, tal y como se han
introducido en la seccion anterior, es decir interpretar una funcion vectorial como una
coleccion de ecuaciones parametricas. Analizaremos este caso en la seccion siguiente.
Denicion: Dada una funcion escalar de n variables f(x
1
, . . . , x
n
), se dene el conjunto
de nivel de valor K como el subconjunto de R
n
siguiente:
C
K
(f) = {(x
1
, x
2
, . . . , x
n
) R
n
, f(x
1
, . . . , x
n
) = K}
Si n = 1 los conjuntos de nivel se reducen en general a un conjunto discreto de
puntos. Si n = 2 los conjuntos de nivel son curvas de nivel. Si n = 3 tenemos supercies
de nivel y si n 4 se tratara de hipersupercies de nivel.
Es posible visualizar los conjuntos de nivel como intersecciones o cortes de la
graca de la funcion con los hiperplanos correspondientes a la ecuacion x
n+1
= k.
-2
-1
0
1
2
-2
-1
0
1
2
-1
0
1
2
-2
-1
0
1
-2 -1 0 1 2
-2
-1
0
1
2
Figura 2.2: Graca de la funcion f(x, y) = (2x
2
y
2
)e
1x
2
y
2
y de algunas de sus curvas de
nivel.
2.2.1 Ecuaciones Implcitas y Ecuaciones parametricas de curvas y su-
percies
Tal y como se ha comentado en la seccion anterior, una curva en R
m
puede ser denida,
desde un punto de vista analtico, como una funcion: : R R
m
. Las funciones
12 C

ALCULO / INGENIERO GE

OLOGO / TEMA 2
escalares componentes de (t) son las funciones:
(t) = (x
1
, . . . , x
m
) x
1
= x
1
(t) , x
2
= x
2
(t) , x
3
= x
3
(t)
Es posible restringir el dominio de (t) a un intervalo en R, de forma que la curva:
: [t
1
, t
2
] R
m
une los puntos de R
m
: P = (t
1
) y Q = (t
2
). Desde el punto de
vista fsico, podemos interpretar la funcion (t) como la posicion de una partcula que
se mueve en el espacio R
m
a tiempo t.
Si las funciones componentes: x
1
(t), . . . , x
m
(t) son derivables, entonces el vector

(t) =
d
dt
= (x

1
(t), . . . , x

n
(t))
es un vector tangente a la curva en el punto (t).
1 2 3 4 5
1.0
0.5
0.5
1.0
1.0
0.5
0.0
0.5
1.0
1.0
0.5
0.0
0.5
1.0
0
1
2
3
Figura 2.3: (izquierda) Representacion graca de la curva (t) = (5t
2
, t
3
). (derecha) Repre-
sentacion graca de la curva tridimensional (t) = (cos t, sent,
t
3
)
De esta manera, para el caso de las curvas en R
2
, tendremos:
: I R R
2
, (t) = (x(t), y(t))
mientras que en R
3
tendremos:
(t) = (x(t), y(t), z(t))
2.2.2 Supercies Cuadricas
Hemos visto como la graca de una funcion f(x, y) se corresponde con una supercie en
R
3
, dada por la expresion
z = f(x, y)
De manera analoga al caso de las curvas en R
2
, donde podamos tener bien la graca
de una funcion: y = f(x), o bien una ecuacion implcita: F(x, y) = 0, ahora nos
encontramos con que una ecuacion de la forma:
F(x, y, z) = 0
C

ALCULO / INGENIERO GE

OLOGO / TEMA 2 13
determinara una supercie en R
3
.
En el caso mas sencillo, si F es una funcion de tipo lineal, tendremos la ecuacion de un
plano. Para el siguiente grado de complicacion, funciones cuadraticas, las supercies que
se obtienen reciben el nombre de supercies cuadricas. De esta forma: Las cuadricas son
las supercies de R
3
que estan denidas por medio de una ecuacion implcita polinomica
de grado 2. La ecuacion general de una cuadrica es por tanto de la forma:
Ax
2
+ By
2
+ Cz
2
+ Dxy + Exz + Fyz + Gx + Hy + Iz + J = 0
Siempre es posible, con las traslaciones y rotaciones adecuadas, escribir una cuadrica
por medio de su ecuacion reducida, obteniendose nalmente que solo existen 9 tipos de
cuadricas no degeneradas. Son las siguientes:
1. Elipsoide. La ecuacion de un elipsoide de semiejes a, b y c, centrado en el origen de
coordenadas es:
x
2
a
2
+
y
2
b
2
+
z
2
c
2
= 1
2. Hiperboloide de una hoja:
x
2
a
2
+
y
2
b
2

z
2
c
2
= 1
3. Hiperboloide de dos hojas:
x
2
a
2
+
y
2
b
2

z
2
c
2
= 1
4. Cono:
x
2
a
2
+
y
2
b
2
= z
2
5. Paraboloide elptico:
x
2
a
2
+
y
2
b
2
= z
6. Paraboloide hiperbolico:
x
2
a
2

y
2
b
2
= z
7. Cilindro parabolico:
y = x
2
, < z <
8. Cilindro elptico:
14 C

ALCULO / INGENIERO GE

OLOGO / TEMA 2
x
2
a
2
+
y
2
b
2
= 1 , < z <
9. Cilindro hiperbolico:
x
2
a
2

y
2
b
2
= 1 , < z <
Algunas supercies cuadricas: a) esfera, b) elipsoide, c) cilindro circular,
d) hiperboloide de una hoja, e) hiperboloide de dos hojas y f) cono.
2.3 Lmites de funciones de varias variables
Denicion: Dada una funcion

f : R
n
R
m
, sea x
0
R
n
, diremos entonces que el
lmite cuando x tiende a x
0
de

f es

b R
m
si para cada > 0 existe un > 0 tal que,
para x Dom(

f), si x x
0
se verica que

f(x)

b < .
Es necesario precisar en este punto que el calculo de lmites en funciones de varias
variables es extraordinariamente mas complejo que el correspondiente a funciones reales
de variable real. Una manera sencilla de explicar este hecho es la siguiente: en funciones
de una variable, a la hora de calcular lim
xx
0
f(x) existen unicamente dos posibilidades
para acercarse al punto x
0
, por la izquierda y por la derecha en la recta real, sin
embargo simplemente en funciones escalares de dos variables lim
(x,y)(x
0
,y
0
)
f(x, y), el
n umero posibles caminos que acerquen en el plano (x, y) hasta el punto (x
0
, y
0
) es
claramente innito, es por otro lado evidente que el lmite en el punto existira si y solo
si existe por todos esos caminos y coinciden los valores obtenidos por cada uno de ellos.
Veamos un ejemplo concreto:
Ejemplo: Analicemos el lmite:
lim
(x,y)(0,0)
x
2
x
2
+ y
2
C

ALCULO / INGENIERO GE

OLOGO / TEMA 2 15
Si nos restringimos a la recta x = 0 en el plano xy, tenemos que la funcion es la funcion constante
0 y en consecuencia el lmite por ese camino (x = 0, y 0) existe y es nulo. Si nos restringimos
a la recta y = 0 la funcion es constante de valor uno luego el lmite existe y vale uno en este
caso. Concluimos con que el lmite no existe.
Propiedades: No son difciles de demostrar varias propiedades de los lmites de las
funciones vectoriales analogas a las presentadas para las funciones de una variable. Re-
sumimos las principales:
Si el lmite existe, entonces necesariamente es unico.
Si

f y g son dos funciones de R
n
en R
m
ambas con lmite en x
0
, entonces existe el
lmite de su suma y es igual a la suma de los lmites.
Si

b es el lmite de

f(x) en x
0
, entonces existe el lmite de

f(x) en x
0
y es igual
a

b.
Para funciones escalares, el lmite del producto es el producto de los lmites y el
del cociente otro tanto (salvo que el denominador tenga lmite nulo).
Ejemplo: Calcular el lmite:
lim
(x,y)(0,0)
x
2
y
2
x
2
+ y
2
Es evidente que se presenta una indeterminacion del tipo
0
0
. Para poder resolverla es muy
adecuado escribir la funcion en coordenadas polares, y tener en cuenta que (x, y) (0, 0) equivale
a r 0. Tendremos as:
lim
(x,y)(0,0)
x
2
y
2
x
2
+ y
2
= lim
r0
r
4
sen
2
cos
2

r
2
= lim
r0
r
2
sen
2
2
4
= 0
En la ultima igualdad se ha aplicado la propiedad que establece que el producto de un innitesimo
(en este caso r
2
, que tiende a cero cuando lo hace r) por una funcion acotada (sen
2
2) es de
nuevo un innitesimo.
2.3.1 Lmite de una funcion seg un una curva
Tal y como se ha comentado anteriormente, a la hora de calcular el lmite cuando x
tiende a x
0
de una funcion

f(x), puede plantearse la posibilidad de alcanzar el punto
x
0
por diferentes caminos. Para dar un poco de rigor a este concepto consideraremos
de manera general una curva (continua
2
) c(t) en R
n
tal que c(t
0
) = x
0
y deniremos
el lmite de

f(x) seg un c(t) como el lim
tt
0

f(c(t)), que obviamente es ya un lmite

dependiente de una sola variable real.
2
c(t) es una curva continua en R
n
si las componentes son funciones continuas t R.
16 C

ALCULO / INGENIERO GE

OLOGO / TEMA 2
Ejemplo: Calculemos el lmite de la funcion f(x, y) = x
2
xy
3
cuando (x, y) tiende a (2, 1)
seg un las curvas: a) la recta 2y = x, b) la parabola x = t, y =
1
4
t
2
y c) la elipse x = 2 cos t, y =
1 + sen t.
a) La recta 2y = x admite como ecuaciones parametricas x = 2t, y = t de manera que el
punto (2, 1) se alcanza en t
0
= 1. Tenemos por tanto que el lmite pedido es:
lim
t1

(2t)
2
2t t
3

= lim
t1

4t
2
2t
4

= 2
b) En este caso, el lmite sobre la parabola y =
1
4
x
2
sera:
lim
t2

t
2
t

1
4
t
2

= lim
t2

t
2

1
64
t
7

= 2
c) Se trata ahora de una curva cerrada, la elipse
x
2
4
+ (y 1)
2
= 1. Con la parametrizacion
dada tenemos que el punto se alcanza en 2 = 2 cos t
0
, 1 = 1 + sent
0
, una solucion posible es
evidentemente t
0
= 0. Planteamos en consecuencia el lmite:
lim
t0

4 cos
2
t 2 cos t (1 + sen t)
3

= 4 2 = 2
Los tres lmites han resultado ser identicos, sin embargo no podemos deducir de ello que
el lmite de f(x, y) en el (2, 1) sea 2, puesto que podra darse el caso de que con otras curvas
obtuvieramos otros resultados. En este ejemplo concreto no puede darse esta situacion, la funcion
no es mas que un polinomio y los polinomios son siempre funciones continuas, tendremos as que
el lmite y la funcion valen exactamente 2 en ese punto.
2.4 Continuidad de las funciones de varias variables
Desde el punto de vista conceptual la continuidad de las funciones de varias variables
es absolutamente equivalente a la estudiada para funciones reales de variable real, es
decir, una funcion

f(x) es continua en x
0
si existe su lmite en dicho punto y ademas
coincide con el valor de la funcion en el mismo

f(x
0
). Cualquier punto que no verique
esta denicion en un punto de discontinuidad para

f.
Sin embargo, la clasicacion de las discontinuidades es ahora tarea casi imposible si
tenemos en cuenta la complejidad de los lmites correspondientes.
Evidentemente una funcion es continua en un conjunto si lo es en cada uno de sus
puntos, desde un punto de vista intuitivo, para funciones escalares de dos variables, este
hecho se traduce en que la graca (supercie en el espacio) no presente ning un tipo de
ruptura sobre el dominio estudiado.