Tema 2

Funciones de Varias Variables

2.1 Definiciones Generales

Definición: Una función de varias variables reales f~ : A ⊂ Rn → Rm es una corres-
pondencia que a cada ~x = (x1 , x2 , . . . , xn ) ∈ Rn le asigna a lo más una imagen ~y =
f~(~x) = (y1 , y2 , . . . , ym ) ∈ Rm .

De manera similar al caso de las funciones reales de variable real, se define 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~ será el subconjunto de Rm constituido
por los vectores imágenes de alguna anti-imagen en A. Si Dom f~=A, entonces y sólo
entonces f~ será una aplicación.

Ejemplo 1: Las aplicaciones lineales estudiadas en el Álgebra Lineal son funciones de varias
variables, por ejemplo: T~ : R3 → R2

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

Tenemos entonces que y1 = 2x1 − x2 , y2 = x1 + x2 − 3x3 .

Ejemplo 2: La función f de R3 en R:

f : R3 → R , f (x1 , x2 , x3 ) = x31 + 2 cos(x2 + x3 )

Ejemplo 3:
f~ : R2 → R2 , f~(x1 , x2 ) = (x21 + x22 , 3x1 ex2 )

Ejemplo 4: La función ~σ (t) definida de la forma:

~σ : R → R3 , ~σ (x) = (cos x, sin x, x2 )

9
10 CÁLCULO / INGENIERO GEÓLOGO / TEMA 2

no es (estrictamente hablando) una función de varias variables, se tarta de una función 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 función
es una función escalar de n variables reales. Es habitual en esta situación denotar a
la función sin utilizar el sı́mbolo de vector1 . Toda función no escalar (función 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 función vectorial f~.
Utilizaremos a menudo la notación f~ ≡ (f1 , . . . , fm ) para representarlas.

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

R → Rm (en este caso funciones reales de variable real) pueden interpretarse como las
ecuaciones paramétricas de una curva en el espacio Rm , por esta razón se denominan en
general curvas en Rm a las funciones de este tipo.

Superficies: Si n = 2, las funciones componentes pueden interpretarse como las ecua-

ciones paramétricas de una superficie en Rm (evidentemente con m ≥ 3).

Campos vectoriales: Si n = m, es decir, si la función es del tipo f~ : Rn → Rn , se

suele denominar campo vectorial, sobre todo en los ejemplos de tipo fı́sico.

2.2 Gráficas y Conjuntos de Nivel

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

-1 -2

0 -1 0 -2

1 2
-2 -4
2 4

Figura 2.1: Gráficas de la funciones f (x, y) = 2x2 + y 2 (izquierda) y g(x, y) = sen(x2 + y 2 )

(derecha).

Definición: Dada una función escalar de n variables reales f : Rn → R, se llama gráfica

1
De hecho es muy común en los textos matemáticos eliminar la notación vectorial en cualquier tipo
de función de varias variables. En estos apuntes se eliminará únicamente en las funciones escalares.
CÁLCULO / INGENIERO GEÓLOGO / TEMA 2 11

de f al subconjunto de Rn+1 siguiente:

gráfica(f ) = {(x1 , x2 , . . . , xn , xn+1 ) ∈ Rn+1 , xn+1 = f (x1 , . . . , xn )}

Sólo es posible entonces visualizar la gráfica de una función escalar en los casos
n = 1 (funciones reales de variable real, la gráfica se “dibuja” en el plano R2 ) y si n = 2
(funciones escalares de dos variables reales, la gráfica se “visualiza” en el espacio R3 ).
Para el caso de las funciones vectoriales, no existe el concepto de gráfica, aunque
evidentemente sı́ que podemos definir la gráfica de cada una de las funciones escalares
componentes.
Un caso diferente es el que tenemos con las curvas y las superficies, tal y como se han
introducido en la sección anterior, es decir interpretar una función vectorial como una
colección de ecuaciones paramétricas. Analizaremos este caso en la sección siguiente.
Definición: Dada una función escalar de n variables f (x1 , . . . , xn ), se define el conjunto
de nivel de valor K como el subconjunto de Rn siguiente:

CK (f ) = {(x1 , x2 , . . . , xn ) ∈ Rn , 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 superficies
de nivel y si n ≥ 4 se tratará de hipersuperficies de nivel.
Es posible “visualizar” los conjuntos de nivel como intersecciones o “cortes” de la
gráfica de la función con los hiperplanos correspondientes a la ecuación xn+1 = k.

1 2
0
0 1

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

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

2
−y 2
Figura 2.2: Gráfica de la función f (x, y) = (2x2 − y 2 )e1−x y de algunas de sus curvas de
nivel.

2.2.1 Ecuaciones Implı́citas y Ecuaciones paramétricas de curvas y su-

perficies
Tal y como se ha comentado en la sección anterior, una curva en Rm puede ser definida,
desde un punto de vista analı́tico, como una función: ~σ : R → Rm . Las funciones
12 CÁLCULO / INGENIERO GEÓLOGO / TEMA 2

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 ] → Rm “une” los puntos de Rm : P = ~σ (t1 ) y Q = ~σ (t2 ). Desde el punto de
vista fı́sico, podemos interpretar la función ~σ (t) como la posición de una partı́cula que
se mueve en el espacio Rm a “tiempo” t.
Si las funciones componentes: x1 (t), . . . , xm (t) son derivables, entonces el vector
d~σ
~σ 0 (t) = = (x01 (t), . . . , x0n (t))
dt
es un vector tangente a la curva ~σ en el punto ~σ (t).

1.0
-1.0
-0.5
0.5 0.0
0.5
0.0 1.0

-0.5

-1.0

1.0 3

0.5 2

1
1 2 3 4 5

-0.5 0

-1.0

Figura 2.3: (izquierda) Representación gráfica de la curva ~σ (t) = (5t2 , t3 ). (derecha) Repre-
sentación gráfica de la curva tridimensional ~σ (t) = (cos t, sen t, 3t )

De esta manera, para el caso de las curvas en R2 , tendremos:

~σ : I ⊂ R → R2 , ~σ (t) = (x(t), y(t))

mientras que en R3 tendremos:

~σ (t) = (x(t), y(t), z(t))

2.2.2 Superficies Cuádricas

Hemos visto cómo la gráfica de una función f (x, y) se corresponde con una superficie en
R3 , dada por la expresión
z = f (x, y)
De manera análoga al caso de las curvas en R2 , donde podı́amos tener bien la gráfica
de una función: y = f (x), o bien una ecuación implı́cita: F (x, y) = 0, ahora nos
encontramos con que una ecuación de la forma:

F (x, y, z) = 0
CÁLCULO / INGENIERO GEÓLOGO / TEMA 2 13

determinará una superficie en R3 .

En el caso más sencillo, si F es una función de tipo lineal, tendremos la ecuación de un
plano. Para el siguiente grado de complicación, funciones cuadráticas, las superficies que
se obtienen reciben el nombre de superficies cuádricas. De esta forma: Las cuádricas son
las superficies de R3 que están definidas por medio de una ecuación implı́cita polinómica
de grado 2. La ecuación general de una cuádrica es por tanto de la forma:

Ax2 + By 2 + Cz 2 + Dxy + Exz + F yz + Gx + Hy + Iz + J = 0

Siempre es posible, con las traslaciones y rotaciones adecuadas, escribir una cuádrica
por medio de su ecuación reducida, obteniéndose finalmente que sólo existen 9 tipos de
cuádricas no degeneradas. Son las siguientes:
1. Elipsoide. La ecuación de un elipsoide de semiejes a, b y c, centrado en el origen de
coordenadas es:
x2 y 2 z 2
+ 2 + 2 =1
a2 b c
2. Hiperboloide de una hoja:

x2 y 2 z 2
+ 2 − 2 =1
a2 b c

3. Hiperboloide de dos hojas:

x2 y 2 z 2
+ 2 − 2 = −1
a2 b c

4. Cono:
x2 y 2
+ 2 = z2
a2 b
5. Paraboloide elı́ptico:

x2 y 2
+ 2 =z
a2 b

6. Paraboloide hiperbólico:

x2 y 2
− 2 =z
a2 b

7. Cilindro parabólico:

y = x2 , −∞ < z < ∞

8. Cilindro elı́ptico:
14 CÁLCULO / INGENIERO GEÓLOGO / TEMA 2

x2 y 2
+ 2 =1 , −∞ < z < ∞
a2 b

9. Cilindro hiperbólico:

x2 y 2
− 2 =1 , −∞ < z < ∞
a2 b

Algunas superficies cuádricas: a) esfera, b) elipsoide, c) cilindro circular,

d) hiperboloide de una hoja, e) hiperboloide de dos hojas y f) cono.

2.3 Lı́mites de funciones de varias variables

Definición: Dada una función f~ : Rn → Rm , sea ~x0 ∈ Rn , diremos entonces que el
lı́mite cuando ~x tiende a ~x0 de f~ es ~b ∈ Rm si para cada ² > 0 existe un δ > 0 tal que,
para ~x ∈ Dom(f~), si k~x − ~x0 k ≤ δ se verifica que kf~(~x) − ~bk < ².

Es necesario precisar en este punto que el cálculo de lı́mites en funciones de varias

variables es extraordinariamente más 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 limx→x0 f (x) existen únicamente 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
número posibles caminos que “acerquen” en el plano (x, y) hasta el punto (x0 , y0 ) es
claramente infinito, es por otro lado evidente que el lı́mite en el punto existirá si y sólo
si existe por todos esos caminos y coinciden los valores obtenidos por cada uno de ellos.
Veamos un ejemplo concreto:

Ejemplo: Analicemos el lı́mite:

x2
lim
(x,y)→(0,0) x2 + y 2
CÁLCULO / INGENIERO GEÓLOGO / TEMA 2 15

Si nos restringimos a la recta x = 0 en el plano xy, tenemos que la función es la función constante
0 y en consecuencia el lı́mite por ese camino (x = 0, y → 0) existe y es nulo. Si nos restringimos
a la recta y = 0 la función es constante de valor uno luego el lı́mite existe y vale uno en este
caso. Concluimos con que el lı́mite no existe.

Propiedades: No son difı́ciles de demostrar varias propiedades de los lı́mites de las

funciones vectoriales análogas a las presentadas para las funciones de una variable. Re-
sumimos las principales:

• Si el lı́mite existe, entonces necesariamente es único.

• Si f~ y ~g son dos funciones de Rn en Rm ambas con lı́mite en ~x0 , entonces existe el

lı́mite de su suma y es igual a la suma de los lı́mites.

• Si ~b es el lı́mite de f~(~x) en ~x0 , entonces existe el lı́mite de λf~(~x) en ~x0 y es igual

a λ ~b.

• Para funciones escalares, el lı́mite del producto es el producto de los lı́mites y el

del cociente otro tanto (salvo que el denominador tenga lı́mite nulo).

Ejemplo: Calcular el lı́mite:

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

Es evidente que se presenta una indeterminación del tipo 00 . Para poder resolverla es muy
adecuado escribir la función en coordenadas polares, y tener en cuenta que (x, y) → (0, 0) equivale
a r → 0. Tendremos ası́:
x2 y 2 r4 sen2 θ cos2 θ r2 sen2 2θ
lim = lim = lim =0
(x,y)→(0,0) x2+y 2 r→0 r 2 r→0 4

En la última igualdad se ha aplicado la propiedad que establece que el producto de un infinitésimo

(en este caso r2 , que tiende a cero cuando lo hace r) por una función acotada (sen2 2θ) es de
nuevo un infinitésimo.

2.3.1 Lı́mite de una función según una curva

Tal y como se ha comentado anteriormente, a la hora de calcular el lı́mite cuando ~x
tiende a ~x0 de una función 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 (continua2 ) ~c(t) en Rn tal que ~c(t0 ) = ~x0 y definiremos
el lı́mite de f~(~x) según ~c(t) como el limt→t0 f~(~c(t)), que obviamente es ya un lı́mite
dependiente de una sola variable real.
2
~c(t) es una curva continua en Rn si las componentes son funciones continuas ∀t ∈ R.
16 CÁLCULO / INGENIERO GEÓLOGO / TEMA 2

Ejemplo: Calculemos el lı́mite de la función f (x, y) = x2 − xy 3 cuando (x, y) tiende a (2, 1)

según las curvas: a) la recta 2y = x, b) la parábola x = t, y = 41 t2 y c) la elipse x = 2 cos t, y =
1 + sen t.
a) La recta 2y = x admite como ecuaciones paramétricas x = 2t, y = t de manera que el
punto (2, 1) se alcanza en t0 = 1. Tenemos por tanto que el lı́mite pedido es:
¡ ¢ ¡ ¢
lim (2t)2 − 2t t3 = lim 4t2 − 2t4 = 2
t→1 t→1

b) En este caso, el lı́mite sobre la parábola y = 14 x2 será:

à µ ¶3 ! µ ¶
2 1 2 2 1 7
lim t − t t = lim t − t = 2
t→2 4 t→2 64
2
c) Se trata ahora de una curva cerrada, la elipse x4 + (y − 1)2 = 1. Con la parametrización
dada tenemos que el punto se alcanza en 2 = 2 cos t0 , 1 = 1 + sen t0 , una solución posible es
evidentemente t0 = 0. Planteamos en consecuencia el lı́mite:
³ ´
3
lim 4 cos2 t − 2 cos t (1 + sen t) = 4 − 2 = 2
t→0

Los tres lı́mites han resultado ser idénticos, sin embargo no podemos deducir de ello que
el lı́mite de f (x, y) en el (2, 1) sea 2, puesto que podrı́a darse el caso de que con otras curvas
obtuvieramos otros resultados. En este ejemplo concreto no puede darse esta situación, la función
no es más que un polinomio y los polinomios son siempre funciones continuas, tendremos ası́ que
el lı́mite y la función 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 función f~(~x) es continua en ~x0 si existe su lı́mite en dicho punto y además
coincide con el valor de la función en el mismo f~(~x0 ). Cualquier punto que no verifique
esta definición en un punto de discontinuidad para f~.
Sin embargo, la clasificación de las discontinuidades es ahora tarea casi imposible si
tenemos en cuenta la complejidad de los lı́mites correspondientes.
Evidentemente una función 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 gráfica (superficie en el espacio) no presente ningún tipo de
“ruptura” sobre el dominio estudiado.