Funciones de Varias Variables.
L´ımites y Continuidad
1.1 Introducci´ on al espacio IR n .
El objetivo de este tema es definir el concepto de l´ımite de una funci´on de varias variables.
Intuitivamente, se podr´ıa hacer as´ı: “Sea f : IR
n−→ IR
m,a ∈ IR
n, b ∈ IR
mdecimos que
x→a
lim f (x) = b cuando basta tomar valores de x suficientemente pr´oximos al punto a para conseguir que f (x) est´e tan cerca de b como queramos”.
Necesitamos definir, pues, el concepto de proximidad en IR
n.
Definici´ on 1.1 Definimos el conjunto IR
ncomo el conjunto de las n-uplas de n´umeros reales, es decir
IR
n≡ {(x
1, x
2, · · · , x
n) / x
i∈ IR}
IR se representa geom´etricamente como los puntos de una recta
0 1
1
IR
2se representa como los puntos de un plano.
- 6
0
(a,b)
•
b
a X
Y
- - - -
IR
3como los puntos del espacio.
- 6
¡¡
¡¡
¡ ª
0
(a,b,c)
•
c
b
a
Y Z
X
- - - - ·
··· ··· · - - - - · ··· ··· · - - - - ··· ··· ··
A partir de IR
3es imposible representarlo geom´etricamente.
A cada punto de IR
nse le asocia el vector que tiene su origen en el origen de coordenadas y su extremo en dicho punto, llamado vector de posici´ on.
A la base formada por los vectores {(1, 0, · · · , 0), (0, 1, 0, · · · , 0), · · · , (0, 0, · · · , 0, 1)}
se le llama base can´ onica.
Teorema 1.1 IR
ncon las operaciones suma de vectores y producto de vectores por escalares, tiene estructura de espacio vectorial. Dicho de otra forma
(IR
n, +, ·
IR) es un e.v.
1.1.1 Producto escalar
Definici´ on 1.2 Se define el producto escalar de 2 vectores en IR
n, ~a = (a
1, a
2, · · · , a
n) y
~b = (b
1, b
2, · · · , b
n) (respecto de la base can´onica) como
~a · ~b =
Xn
i=1
a
i· b
iPropiedades El producto escalar verifica las siguientes propiedades:
•
(
1 ~a · ~a ≥ 0
2 ~a · ~a = 0 ⇔ ~a = ~0
• (α · ~a) · ~b = α · (~a · ~b) = ~a · (α · ~b)
• ~a · (~b + ~c) = ~a · ~b + ~a · ~c
• ~a · ~b = ~b · ~a
1.1.2 Norma eucl´ıdea
Es el equivalente al valor absoluto en IR.
Definici´ on 1.3 Se define la norma eucl´ıdea de un vector ~x ∈ IR
ncomo k~xk = + √
~x · ~x = +
q
x
21+ x
22+ · · · + x
2nPropiedades La norma verifica las siguientes propiedades:
• |~x · ~y| ≤ k~xk · k~yk (Desigualdad de Cauchy-Swartz).
• k~x + ~yk ≤ k~xk + k~yk
• kα · ~xk = |α| · k~xk
• k~xk ≥ 0 , k~xk = 0 ⇔ ~x = ~0
Ahora podemos definir la distancia entre dos puntos como la norma de la diferencia de los vectores que los determinan.
Definici´ on 1.4 Dados dos puntos A y B de IR
ndeterminados por los vectores de posici´on ~a y ~b , definimos la distancia entre ellos de la siguiente manera
d(A, B) = k~a − ~bk
1.2 Funciones de varias variables. Geometr´ıa de las funciones con valores reales.
Hasta ahora hemos estudiado, el curso anterior, las funciones reales de una variable real, es decir, las aplicaciones f : A ⊂ IR −→ B ⊂ IR.
En este cap´ıtulo estudiaremos funciones f : IR
n−→ IR
m, que en el caso n = m = 1 coinciden con las ya mencionadas funciones reales de una variable real.
Definici´ on 1.5 LLamamos funci´on vectorial de una variable real a una funci´on f : IR −→ IR
m, m > 1
Definici´ on 1.6 Se llama campo escalar a una funci´on f : IR
n−→ IR
Ejemplo La funci´on que a cada punto del espacio le asocia su temperatura es un campo escalar.
Definici´ on 1.7 Se llama campo vectorial a una funci´on f : IR
n−→ IR
m, m > 1 Ejemplo La funci´on que a cada punto del plano le asocia la velocidad del viento en ese punto.
La diferencia entre ambos campos es su conjunto imagen. Si ´este es num´erico (escalar), ser´a un campo escalar; en caso contrario ser´a un campo vectorial.
Tanto en un caso como en otro y, en general, si el dominio de definici´on de f es un subconjunto A ⊂ IR
n, n > 1 , decimos que f es una funci´on de varias variables.
Notaci´ on Usaremos la notaci´on f : IR
n−→IR
mx −→ y donde x = (x
1, x
2, · · · , x
n) y = (y
1, y
2, · · · , y
m) = (f
1(x), · · · , f
m(x)) A f
ii = 1, 2, · · · , n, se les llama componentes de f
Ejemplo 1 f : IR
3−→ IR siendo f (x, y, z) = √
x
2+ y
2+ z
2Ejemplo 2 g : IR
6−→ IR
2siendo g(x
1, x
2, x
3, x
4, x
5, x
6) = (x
1x
2x
3x
4x
5x
6,
qx
21+ x
26)
Definici´ on 1.8 Sea f : U ⊂ IR
n−→ IR. Definimos la gr´afica de f como el conjunto de
todos los puntos (x
1, x
2, · · · , x
n, f (x
1, x
2, · · · , x
n)) ∈ IR
n+1para (x
1, x
2, · · · , x
n) ∈ U.
Ejemplos: La gr´afica de la funci´on f : U ⊂ IR −→ IR es una curva en IR
2y la de g : U ⊂ IR
2−→ IR una superficie en IR
3U x
y z
1.2.1 Conjuntos de nivel
Para conocer el comportamiento de la funci´on es importante visualizar su gr´afica. Una buena t´ecnica para representarla es a trav´es de los conjuntos de nivel.
Definici´ on 1.9 Sea f : U ⊂ IR
n−→ IR y c ∈ IR. Entonces el conjunto de nivel del valor c se define como aquellos puntos x ∈ U para los cuales f (x) = c ; es decir, f es constante en todos esos puntos.
Si n = 2 hablamos de curva de nivel.
Si n = 3 hablamos de superficie de nivel.
Ejemplo 1 Curvas de nivel en mapas topogr´aficos:
Ejemplo 2 Hallar las curvas de nivel para la funci´on f : IR
2−→IR
(x, y)−→x
2+ y
2Las curvas de nivel dadas por f (x, y) = c son circunferencias centradas en el origen y de radio √
c
x
y z
c=2 c=1
c=3
Ejemplo 3 Visualizar las superficies de nivel del campo escalar f : IR
3−→IR
(x, y, z)−→x
2+ y
2+ z
2Al hacer f (x, y, z) = cte. se obtienen superficies esf´ericas centradas en el origen y de radio √
c
Otra t´ecnica para representar campos escalares es la de representar las secciones que resultan de cortar la superficie por planos paralelos ZY o al ZX . Esto se consigue haciendo x = cte, y = cte, z = cte respectivamente.
Ejemplo 4 Representar el campo del ejemplo 2 mediante secciones.
a) Si hacemos x = cte. obtenemos z = c
2+ y
2es decir, par´abolas trasladadas verticalmente en c
2unidades.
b) Si hacemos y = cte. se obtiene z = x
2+ c
2es decir, par´abolas trasladadas verticalmente en c
2unidades.
Resulta pues un paraboloide parab´olico.
−1
−0.5 0
0.5 1
−1
−0.5 0 0.5 1 0 0.5 1 1.5 2
1.3 L´ımite de funciones de varias variables. Propiedades
Vamos a dar varias definiciones equivalentes del l´ımite de una funci´on de varias variables.
Definici´ on 1.10 Sea f : U ⊂ IR
n−→ IR
mdonde U es un conjunto abierto. Sea x
0∈ U
0, l ∈ IR
m. Decimos que lim
x→x0f (x) = l cuando
a) Definici´on intuitiva, basta tomar valores de x suficientemente pr´oximos a x
0para conseguir que f (x) est´e tan cerca de l como queramos.
b) para cualquier B(l, ²), podemos conseguir que f (x) ∈ B(l, ²) tomando x ∈ B(x
0, δ) para un cierto δ.
c) ∀ ² > 0, ∃ δ / 0 < kx − x
0k < δ ⇒ kf (x) − lk < ² N´otese que decir lim
x→x0
kf (x) − lk = 0 es lo mismo que decir lim
kx−x0k→0
kf (x) − lk = 0 y lo mismo que lim
kx−x0k→0
f (x) = l.
Teorema 1.2 Sea f : U ⊂ IR
n−→ IR
my x
0∈ U
0. Entonces, si existe lim
x→x0
f (x) , dicho l´ımite es ´unico.
Teorema 1.3 Sean f, g : U ⊂ IR
n−→ IR
mx
0∈ U
0, λ ∈ IR, lim
x→x0
f (x) = b, lim
x→x0
g(x) = c . Entonces a) lim
x→x0
λ · f (x) = λ · b b) lim
x→x0
[f (x) + g(x)] = b + c c) lim
x→x0
f (x) · g(x) = b · c (estos ´ultimos productos son productos escalares) d) lim
x→x0
kf (x)k = kbk
e) Si f (x) = (f
1(x), · · · , f
m(x)) donde f
i: U ⊂ IR
n−→ IR son las funciones componentes de f , entonces
x→x
lim
0f (x) = b ⇔ lim
x→x0
f
i(x) = b
if) Si m = 1 lim
x→x0
f (x) · g(x) = b · c
g) Si m = 1 f (x) 6= 0 ∀ x ∈ U y b 6= 0 entonces lim
x→x0
1 f (x) = 1
b
Ejemplo Probar utilizando la definici´on
(x,y)→(0,0)
lim x
2√ x
2+ y
2= 0
∀² > 0∃δ(²) > 0 tal que si k(x, y) − (0, 0)k < δ =⇒ |f (x, y) − 0| < ²
¯¯
¯¯
¯
x
2√ x
2+ y
2¯¯
¯¯
¯
<
¯¯
¯¯
¯
x
2+ y
2√ x
2+ y
2¯¯
¯¯
¯
=
qx
2+ y
2< δ
1.3.1 L´ımites direccionales
Definici´ on 1.11 Sea f : D ⊂ IR
n−→ IR
m, M ⊂ D, y a ∈ D
SF r(D) . Decimos que f (x) tiene l´ımite l en a ∈ D
SF r(D) seg´un el subconjunto M ⊂ D si lim
x→a x∈M
f (x) = l tomando valores x ∈ M.
A dicho l´ımite se le conoce como l´ımite direccional a trav´es de M.
Teorema 1.4 lim
x→a
f (x) existe si y s´olo si existen los l´ımites de f (x) en x = a seg´un cualquier subconjunto M , y adem´as deben coincidir.
1.3.2 C´ alculo de l´ımites direccionales
Consideremos f : IR
2→ IR para tomarla como referencia en la explicaci´on, en la que veremos que el c´alculo de l´ımites dobles difiere del c´alculo de l´ımites en IR
I) ÃL´ımites direccionales a trav´es de rectas que pasan por (x
0, y
0)
Queremos calcular el valor al que se acerca f (x, y) cuando (x, y) se acerca a (x
0, y
0),
movi´endose a lo largo de la rectas x = x
0e y = y
0+ m(x − x
0), ∀m ∈ IR.
As´ı:
(x,y)→(x0,y0)
lim
x=x0
f (x, y) = lim
y→y0
f (x
0, y)
´o lim
(x,y)→(x0,y0)
y=y0+m(x−x0)
f (x, y) = lim
x→x0
f (x, y
0+ m(x − x
0)) Es en realidad un l´ımite unidimensional.
Una vez calculados estos l´ımites, pueden darse dos posibilidades:
a) No todos los l´ımites a trav´es de rectas tienen el mismo valor (el l´ımite depende de m). En este caso, conclu´ımos que no puede existir el l´ımite doble, ya que f (x, y) es oscilante en las cercan´ıas de (x
0, y
0).
b) Todos los l´ımites a trav´es de rectas tienen el mismo valor l. En este caso, conclu´ımos que, de existir, el l´ımite doble, debe valer tambi´en l (habr´ıa que demostrarlo).
Veamos un ejemplo:
Ejemplo 1 Calcular lim
(x,y)→(0,0)
xy
2x
2+ y
4Las rectas que pasan por el origen son de ecuaci´on y = mx, y los l´ımites a trav´es de rectas son:
lim
(x,y)→(0,0)
y=mx
xy
2x
2+ y
4= lim
x→0
f (x, mx) = lim
x→0
x
3m
2x
2+ m
4x
4= lim
x→0
xm
21 + m
4x
2=
= 0
Por tanto, en este ejemplo se da la igualdad de todos los l´ımites a trav´es de rectas y = mx y como conclusi´on, tendr´ıamos que, de existir el l´ımite doble valdr´ıa cero.
Sin embargo, en este caso, no existe el l´ımite doble en el origen. Para demostrarlo, necesitamos considerar un nuevo tipo de l´ımite unidimensional: el l´ımite a trav´es de una curva. Antes de dar la definici´on precisa, vamos a acabar nuestro ejemplo.
¿Hacia qu´e valor se aproxima f (x, y) cuando (x, y) se acerca a (0, 0), movi´endose a lo largo de la par´abola x = y
2?. Bastar´a calcular el siguiente l´ımite de f (x, y) a trav´es de la par´abola x = y
2:
(x,y)→(0,0)
lim xy
2x
2+ y
4= (x = y
2) = lim
y→0
f (y
2, y) = lim
y→0
y
4y
4+ y
4= 1 2
Esto nos muestra que nuestra funci´on es oscilante en las proximidades de (0, 0): de
hecho, toma el valor constante
12sobre la curva x = y
2; pero al acercarse (x, y) al
origen por una recta y = mx se aproxima a cero. Por tanto, conclu´ımos que no
existe el l´ımite doble, ya que de existir, los l´ımites a trav´es de cualquier subconjunto M deben coincidir.
II) ÃL´ımites direccionales a trav´es de curvas que pasan por (x
0, y
0)
Supongamos que una curva en el plano OXY pasa por el punto (x
0, y
0) y tiene por ecuaciones param´etricas:
x = x(t)
y = y(t), t ∈ [a, b]
Sea t
0∈ [a, b] tal que (x
0, y
0) = (x(t
0), y(t
0)). El l´ımite a trav´es de la curva se define por
(x,y)→(x
lim
0,y0)f (x, y) = (x = x(t), y = y(t)) = lim
t→t0
f (x(t), y(t)) Las curvas que utilizaremos para el estudio de los l´ımites dobles son:
a) Par´abolas que pasan por (x
0, y
0), de la forma y−y
0= m(x−x
0)
2o x−x
0= m(y − y
0)
2b) Curvas que pasan por (x
0, y
0), de la forma y − y
0= m(x − x
0)
αo x − x
0= m(y − y
0)
α, α ∈ IR
Observaci´ on El hecho de que existan todos los l´ımites direccionales y que coinci- dan, no garantizan la existencia del l´ımite doble.
Es evidente que cuando existe el l´ımite doble de una funci´on, tambi´en existen los direccionales y tienen el mismo valor que el doble. Pero no conviene olvidar que, como muestra el ejemplo anterior, aunque coincidan todos los l´ımites a trav´es de las rectas que pasan por el punto (x
0, y
0), nada puede asegurarse sobre la existencia del doble. Pasaremos ahora a indicar, qu´e debe hacerse en estos casos.
III) Si todos los l´ımites direccionales que hemos intentado calcular, tienen el mismo valor l, no podemos asegurar a´un que existe el l´ımite doble, pero s´ı podemos estar seguros de que, en caso de existir, su valor debe ser l. Por tanto debemos proceder a calcular la diferencia | f (x, y) − l |, tratando de comprobar que se hace peque˜na para (x, y) cercano a (x
0, y
0). Veamos un ejemplo:
Ejemplo 2 Calcular lim
(x,y)→(0,0)
xy
3x
2+ y
2.
Calculemos los l´ımites a trav´es de rectas que pasan por el origen: y = mx.
(x,y)→(0,0)
lim
y=mx
xy
3x
2+ y
2= lim
x→0
mx
3x
2+ m
2x
2= lim
x→0
mx
1 + m
2= 0
La igualdad de los l´ımites a trav´es de las rectas y = mx nos permite afirmar que el l´ımite doble de existir, debe valer cero. Evalu´emos la diferencia
| f (x, y) − 0 |= | x | y
2| y |
x
2+ y
2≤ | x | y
2| y |
y
2=| x || y |
Tenemos que 0 ≤| f (x, y) − 0 |≤| x || y |. La regla de Sandwich nos asegura que f (x, y) tiende a 0.
IV) L´ımites por polares.
Para el c´alculo del l´ımite de una funci´on f (x, y) cuando (x, y) tiende a (x
0, y
0) es conveniente, algunas veces, aplicar cambio a coordenadas polares.
x = x
0+ r cos(α), y = y
0+ r sen(α).
Si al expresar f (x, y) en coordenadas polares obtenemos:
f (x, y) = F (r)G(r, α) siendo G acotada y verificando F que lim
r→0
F (r) = 0, entonces lim
(x,y)→(0,0)
f (x, y) = 0, pues se tiene
0 ≤| f (x, y) − 0 |≤ c | F (r) |
para cualesquiera r y α (c > 0 es una constante tal que | G(r, α) |≤ c) Ejemplo 3: Calcular lim
(x,y)→(0,0)
x
3x
2+ y
2Expresemos f (x, y) en polares:
f (rcosα, rsenα) = r
3cos
3α
r
2(cos
2α + sen
2α) = rcos
3α = F (r)G(α).
G est´a acotada por 1 y lim
r→0
F (r) = 0. Por tanto, lim
(x,y)→(0,0)
x
3x
2+ y
2= 0
1.4 Continuidad de funciones de varias variables.
Propiedades
Definici´ on 1.12 Sea f : U ⊂ IR
n−→ IR
mdonde U es un conjunto abierto. Sea x
0∈ U . Decimos que f es continua en x = x
0si lim
x→x0