Ejemplo 1: Las aplicaciones lineales estudiadas en el Algebra Lineal son funciones de varias

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 = (x1, x2, . . . , xn) R
n
le asigna a lo mas una imagen y =
f (x) = (y1, y2, . . . , ym) 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.

variables, por ejemplo: T : R
3
R
2


T (x1, x2, x3) = (2x1 x2, x1 + x2 3x3)

Tenemos entonces que y1 = 2x1 x2, y2 = x1 + x2 3x3.
Ejemplo 2: La funcion f de R
3
en R:

f

:

R
3

R

,

f

(x
1
,

x
2
,

x
3
)

=

x
31
+

2

cos(x
2
+

x
3
)



Ejemplo 3:
f

:

R
2

R
2

,

f

(x
1
,

x
2
)

=

(x
21
+

x
22
,

3x
1
e
x2
)



Ejemplo 4: La funcion ( t) denida de la forma:
: R R
3
, (x) = (cos x, sin x, x
2
)

9
10 CALCULO / INGENIERO GEOLOGO / 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 (x1, . . . , xn) = (y1, . . . , ym), entonces evidentemente yj = fj(x1, . . . , xn),
con j = 1, . . . , m, son las m funciones escalares componentes de la funcion vectorial f .
Utilizaremos a menudo la notacion f (f1, . . . , fm) para representarlas.
Cur vas: 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






1.0
10
2
0.5
4
5
0.0
1 0.5 2
0 1.0
2 0 4 0
1 2
0 1
0
2

1 2
2
2
4
4


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 comun 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.
CALCULO / INGENIERO GEOLOGO / TEMA 2 11


de f al subconjunto de R
n+1
siguiente:

graca(f ) = {(x1, x2, . . . , xn, xn+1) R
n+1
, xn+1 = f (x1, . . . , xn)}
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 (x1, . . . , xn), se dene el conjunto
de nivel de valor K como el subconjunto de R
n
siguiente:

CK(f ) = {(x1, x2, . . . , xn) R
n
, f (x1, . . . , xn) = 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
2

1
2
0

0
-1
1
-2 0
-1
-1
0 -1

1
-2
2
-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 cur va en R
m
puede ser denida,
desde un punto de vista analtico, como una funcion: : R R
m
. Las funciones
12 CALCULO / INGENIERO GEOLOGO / TEMA 2
dt
=

(x
1
(t),

.

.

.

,

x
n
(t))

t



escalares componentes de (t) son las funciones:

(t) = (x1, . . . , xm) x1 = x1(t) , x2 = x2(t) , x3 = x3(t)
Es posible restringir el dominio de (t) a un intervalo en R, de forma que la curva:
: [t1, t2] R
m
une los puntos de R
m
: P = (t1) y Q = (t2). 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: x1(t), . . . , xm(t) son derivables, entonces el vector
(t) =
d


es un vector tangente a la curva en el punto (t).


1.01.0
0.5
0.5
0.0
0.0
0.5
1.0
0.5
1.0
1.0
3

0.5 2

1 2 3 4 5
1

0.5 0

1.0

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,

sen

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
CALCULO / INGENIERO GEOLOGO / TEMA 2 13
a
2

+

2

=

z
2




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 + F yz + 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:


2. Hiperboloide de una hoja:




3. Hiperboloide de dos hojas:




4. Cono:



5. Paraboloide elptico:




6. Paraboloide hiperbolico:




7. Cilindro parabolico:
x
2
y
2
z
2

a
2

+
b
2

+
c
2

=1



x
2
y
2
z
2

a
2

+
b
2

c
2

=1



x
2
y
2
z
2

a
2

+
b
2

c
2

=

1



x
2
y
2

b


x
2
y
2

a
2

+
b
2

=

z



x
2
y
2

a
2

b
2

=

z


y = x
2
, < z <

8. Cilindro elptico:
14 CALCULO / INGENIERO GEOLOGO / TEMA 2






x
2
y
2

a
2

+
b
2

=1

,

<

z

<

9. Cilindro hiperbolico:

x
2
y
2

a
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 x0 R
n
, diremos entonces que el
lmite cuando x tiende a x0 de f es b R
m
si para cada > 0 existe un > 0 tal que,
para x Dom(f ), si x x0 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
xx0
f

(x)

existen

unicamente

dos

posibilidades

para acercarse al punto x0, por la izquierda y por la derecha en la recta real, sin
embargo

simplemente

en

funciones

escalares

de

dos

variables

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

(x,

y),

el

numero posibles caminos que acerquen en el plano (x, y) hasta el punto (x0, y0) 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:
x
2

lim
(x,y)(0, 0) x
2
+ y
2

CALCULO / INGENIERO GEOLOGO / TEMA 2 15


(x,y)(0, 0) x
2
+ y
2

=

lim

r0




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 x0, 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 x0, entonces existe el lmite de f (x) en x0 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:
x
2
y
2

lim
(x,y)(0, 0) x
2
+ y
2


Es

evidente

que

se

presenta

una

indeterminacion

del

tipo
00
.

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

r0
r
4
sen
2
cos
2

r
2

=

lim

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 segun una curva
Tal y como se ha comentado anteriormente, a la hora de calcular el lmite cuando x
tiende a x0 de una funcion f (x), puede plantearse la posibilidad de alcanzar el punto
x0 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(t0) = x0 y deniremos
el

lmite

de

f

(x)

segun

c(t)

como

el

lim
tt0
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 CALCULO / INGENIERO GEOLOGO / TEMA 2
1


t2
t
2

t

1

2

4
t
64
t

c)

Se

trata

ahora

de

una

curva

cerrada,

la

elipse

x
4
+

(y

1)
2

=

1.

Con

la

parametrizacion





Ejemplo: Calculemos el lmite de la funcion f (x, y) = x
2
xy
3
cuando (x, y) tiende a (2, 1)
segun

las

curvas:

a)

la

recta

2y

=

x,

b)

la

parabola

x

=

t,

y

=
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 t0 = 1. Tenemos por tanto que el lmite pedido es:
lim (2t)
2
2t t
3
= lim 4t
2
2t
4
= 2
t1 t1
b)

En

este

caso,

el

lmite

sobre

la

parabola

y

=
14
x
2

sera:


lim
3
= lim t
2

1

7
=2
t2

2
dada tenemos que el punto se alcanza en 2 = 2 cos t0, 1 = 1 + sen t0, una solucion posible es
evidentemente t0 = 0. Planteamos en consecuencia el lmite:
lim 4 cos
2
t 2 cos t (1 + sen t)
3
=4 2=2
t0
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 x0 si existe su lmite en dicho punto y ademas
coincide con el valor de la funcion en el mismo f (x0). 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 ningun tipo de
ruptura sobre el dominio estudiado.