Funciones de Varias Variables.

L mites y Continuidad
1.1 Introduccin al espacio IRn . o
.c om

IR se representa geomtricamente como los puntos de una recta e

ww w.

Denicin 1.1 Denimos el conjunto IRn como el conjunto de las n-uplas de nmeros o u reales, es decir IRn {(x1 , x2 , , xn ) / xi IR}

at

em

Necesitamos denir, pues, el concepto de proximidad en IRn .

at
0

ic a1
1

El objetivo de este tema es denir el concepto de l mite de una funcin de varias variables. o n m n Intuitivamente, se podr hacer as Sea f : IR IR ,a IR , b IRm decimos que a : lim f (x) = b cuando basta tomar valores de x sucientemente prximos al punto a o xa para conseguir que f (x) est tan cerca de b como queramos. e

IR2 se representa como los puntos de un plano.

Y (a,b) b T - - - - - - -E X

0 IR3 como los puntos del espacio.

- - - -
0

Z c T - - - (a,b,c)

A partir de IR3 es imposible representarlo geomtricamente. e A cada punto de IRn se le asocia el vector que tiene su origen en el origen de coordenadas y su extremo en dicho punto, llamado vector de posicin. o A la base formada por los vectores {(1, 0, , 0), (0, 1, 0, , 0), , (0, 0, , 0, 1)} se le llama base cannica. o Teorema 1.1 IRn con las operaciones suma de vectores y producto de vectores por escalares, tiene estructura de espacio vectorial. Dicho de otra forma (IRn , +, IR ) es un e.v.

1.1.1

Producto escalar

Denicin 1.2 Se dene el producto escalar de 2 vectores en IRn , a = (a1 , a2 , , an ) y o b = (b1 , b2 , , bn ) (respecto de la base cannica) como o
n

ww w.

at em at

ab=
i=1

ic
ai bi

a1

b -- - -

.c o

Propiedades El producto escalar verica las siguientes propiedades: 1 aa0 2 aa=0 a=0

( a) b = (a b) = a ( b) a (b + c) = a b + a c ab=ba

1.1.2

Norma eucl dea

Denicin 1.3 Se dene la norma eucldea de un vector x IRn como o

Propiedades La norma verica las siguientes propiedades:

x+y x + y x = || x x 0, x =0 x=0

Ahora podemos denir la distancia entre dos puntos como la norma de la diferencia de los vectores que los determinan. Denicin 1.4 Dados dos puntos A y B de IRn determinados por los vectores de o posicin a y b , denimos la distancia entre ellos de la siguiente manera o d(A, B) = a b

ww

|x y| x y

(Desigualdad de Cauchy-Swartz).

w.

M at

em

x = + x x = + x2 + x2 + + x2 1 2 n

at ic

a1

Es el equivalente al valor absoluto en IR.

.c om

1.2

Funciones de varias variables. Geometr de las a 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 : IRn IRm , que en el caso n = m = 1 coinciden con las ya mencionadas funciones reales de una variable real. Denicin 1.5 LLamamos funcin vectorial de una variable real a una funcin o o o f : IR IRm , m > 1 Denicin 1.6 Se llama campo escalar a una funcin f : IRn IR o o

Tanto en un caso como en otro y, en general, si el dominio de denicin de f es un o subconjunto A IRn , n > 1 , decimos que f es una funcin de varias variables. o Notacin Usaremos la notacin o o f : IRn IRm x y A fi donde x = (x1 , x2 , , xn ) y = (y1 , y2 , , ym ) = (f1 (x), , fm (x))

i = 1, 2, , n, se les llama componentes de f Ejemplo 1 f : IR3 IR siendo f (x, y, z) = x2 + y 2 + z 2 Ejemplo 2 g : IR6 IR2 siendo g(x1 , x2 , x3 , x4 , x5 , x6 ) = (x1 x2 x3 x4 x5 x6 , x2 + x2 ) 1 6 Denicin 1.8 Sea f : U IRn IR. Denimos la grca de f como el conjunto de o a n+1 todos los puntos (x1 , x2 , , xn , f (x1 , x2 , , xn )) IR para (x1 , x2 , , xn ) U .

ww w.

La diferencia entre ambos campos es su conjunto imagen. Si ste es numrico (escalar), e e ser un campo escalar; en caso contrario ser un campo vectorial. a a

at

Ejemplo La funcin que a cada punto del plano le asocia la velocidad del viento en ese o punto.

em

at

Denicin 1.7 Se llama campo vectorial a una funcin f : IRn IRm , m > 1 o o

ic

a1

Ejemplo La funcin que a cada punto del espacio le asocia su temperatura es un campo o escalar.

.c om

Ejemplos: La grca de la funcin f : U IR IR es una curva en IR2 y la de a o g : U IR2 IR una supercie en IR3
z

x U

1.2.1

Conjuntos de nivel

Denicin 1.9 Sea f : U IRn IR y c IR. Entonces el conjunto de nivel o del valor c se dene 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 supercie de nivel. Ejemplo 1 Curvas de nivel en mapas topogrcos: a Ejemplo 2 Hallar las curvas de nivel para la funcin o f : IR2 IR (x, y)x2 + y 2

ww

w.

M at e

Para conocer el comportamiento de la funcin es importante visualizar su grca. Una o a buena tcnica para representarla es a travs de los conjuntos de nivel. e e

at ic a1

.c om

Las curvas de nivel dadas por f (x, y) = c son circunferencias centradas en el origen y de radio c
z

c=3 c=2 c=1 y

Ejemplo 3 Visualizar las supercies de nivel del campo escalar f : IR3 IR (x, y, z)x2 + y 2 + z 2

Al hacer f (x, y, z) = cte. se obtienen supercies esfricas centradas en el origen y de e radio c Otra tcnica para representar campos escalares es la de representar las secciones que e resultan de cortar la supercie 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 = c2 + y 2 es decir, parbolas trasladadas a 2 verticalmente en c unidades. b) Si hacemos y = cte. se obtiene z = x2 + c2 es decir, parbolas trasladadas a 2 verticalmente en c unidades. Resulta pues un paraboloide parablico. o

ww

1.5

0.5

0 1 0.5 0 0 0.5 1 1 0.5 0.5 1

w.

M at

em at

ic

a1

.c om

1.3

L mite de funciones de varias variables. Propiedades

Vamos a dar varias deniciones equivalentes del l mite de una funcin de varias variables. o Denicin 1.10 Sea f : U IRn IRm donde U es un conjunto abierto. Sea o x0 U , l IRm . Decimos que limxx0 f (x) = l cuando a) Denicin intuitiva, basta tomar valores de x sucientemente prximos a x0 o o para conseguir que f (x) est tan cerca de l como queramos. e b) para cualquier B(l, ), podemos conseguir que f (x) B(l, ) tomando x B(x0 , ) para un cierto . c) > 0, / 0 < x x0 <
xx0

f (x) l <

.c om

Ntese que decir lim f (x) l = 0 es lo mismo que decir o

xx0 0

xx0 0

lim

f (x) l = 0

at

Teorema 1.3 Sean f, g : U IRn IRm x0

xx0

em

Teorema 1.2 Sea f : U IRn IRm y x0 U . Entonces, si existe dicho lmite es unico.

ic a1

y lo mismo que

lim

f (x) = l.

at

xx0

lim f (x) ,

U , IR,

xx0

b) xx [f (x) + g(x)] = b + c lim

0

c) lim f (x) g(x) = b c

xx0

ww

a) lim f (x) = b

d) xx f (x) = b lim
0

e) Si f (x) = (f1 (x), , fm (x)) donde fi : U IRn IR son las funciones componentes de f , entonces
xx0

w.

b, lim g(x) = c . Entonces

xx0

lim f (x) =

(estos ultimos productos son productos escalares)

lim f (x) = b lim fi (x) = bi

xx0

f ) Si m = 1

xx0

lim f (x) g(x) = b c entonces xx lim 1 1 = f (x) b

g) Si m = 1 f (x) = 0 x U y b = 0

Ejemplo Probar utilizando la denicin o lim x2 =0 x2 + y 2

(x,y)(0,0)

> 0( ) > 0 tal que si (x, y) (0, 0) < = |f (x, y) 0| < x2 + y 2 x2 < 2 = x2 + y 2 x + y2 x2 + y 2 <

ic

Denicin 1.11 Sea f : D IRn IRm , M D, y a D F r(D) . Decimos que o f (x) tiene lmite l en a D F r(D) segn el subconjunto M D si lim f (x) = l u xa

a1

.c

om

1.3.1

L mites direccionales

A dicho lmite se le conoce como lmite direccional a travs de M. e Teorema 1.4 xa f (x) existe si y slo si existen los lmites de f (x) en x = a segn lim o u cualquier subconjunto M , y adems deben coincidir. a

1.3.2

Clculo de l a mites direccionales

Consideremos f : IR2 IR para tomarla como referencia en la explicacin, en la que o veremos que el clculo de l a mites dobles diere del clculo de l a mites en IR I) L mites direccionales a travs de rectas que pasan por (x0 , y0 ) e Queremos calcular el valor al que se acerca f (x, y) cuando (x, y) se acerca a (x0 , y0 ), movindose a lo largo de la rectas x = x0 e y = y0 + m(x x0 ), m IR. e

ww

w.

at

em

at

tomando valores x M .

xM

As :
(x,y)(x0 ,y0 ) x=x0

lim

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

yy0

o
(x,y)(x0 ,y0 ) y=y0 +m(xx0 )

lim

f (x, y) = xx f (x, y0 + m(x x0 )) lim

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 travs de rectas tienen el mismo valor (el l e 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 de (x0 , y0 ). as

Veamos un ejemplo:

xy 2 (x,y)(0,0) x2 + y 4 Las rectas que pasan por el origen son de ecuacin y = mx, y los l o mites a travs e de rectas son: xy 2 x3 m 2 xm2 = lim f (x, mx) = lim 2 = lim lim = x0 x0 x + m4 x4 x0 1 + m4 x2 (x,y)(0,0) x2 + y 4 y=mx =0 Por tanto, en este ejemplo se da la igualdad de todos los l mites a travs de rectas e y = mx y como conclusin, tendr o amos que, de existir el l mite doble valdr cero. a 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 travs e de una curva. Antes de dar la denicin precisa, vamos a acabar nuestro ejemplo. o Hacia qu valor se aproxima f (x, y) cuando (x, y) se acerca a (0, 0), movindose e e 2 a lo largo de la parbola x = y ?. Bastar calcular el siguiente l a a mite de f (x, y) a travs de la parbola x = y 2 : e a 1 y4 xy 2 = (x = y 2 ) = lim f (y 2 , y) = lim 4 = 2 + y4 y0 y0 y + y 4 (x,y)(0,0) x 2 lim Esto nos muestra que nuestra funcin es oscilante en las proximidades de (0, 0): de o 1 hecho, toma el valor constante 2 sobre 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

ww

w.

at

em

Ejemplo 1 Calcular

lim

at

ic a

1 .c

b) Todos los l mites a travs de rectas tienen el mismo valor l. En este caso, e conclu mos que, de existir, el l mite doble, debe valer tambin l (habr que e a demostrarlo).

om

existe el l mite doble, ya que de existir, los l mites a travs de cualquier subconjunto e M deben coincidir. II) L mites direccionales a travs de curvas que pasan por (x0 , y0 ) e Supongamos que una curva en el plano OXY pasa por el punto (x0 , y0 ) y tiene por ecuaciones paramtricas: e x = x(t)

y = y(t), t [a, b]

Sea t0 [a, b] tal que (x0 , y0 ) = (x(t0 ), y(t0 )). El l mite a travs de la curva se dene e por lim f (x, y) = (x = x(t), y = y(t)) = lim f (x(t), y(t))
(x,y)(x0 ,y0 ) tt0

Es evidente que cuando existe el lmite doble de una funcin, tambin existen los o e direccionales y tienen el mismo valor que el doble. Pero no conviene olvidar que, como muestra el ejemplo anterior, aunque coincidan todos los lmites a travs de e las rectas que pasan por el punto (x0 , y0 ), nada puede asegurarse sobre la existencia del doble. Pasaremos ahora a indicar, qu debe hacerse en estos casos. e III) Si todos los l mites direccionales que hemos intentado calcular, tienen el mismo valor l, no podemos asegurar an que existe el l u 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 pequea para (x, y) n cercano a (x0 , y0 ). Veamos un ejemplo: xy 3 . (x,y)(0,0) x2 + y 2 Calculemos los l mites a travs de rectas que pasan por el origen: y = mx. e Ejemplo 2 Calcular lim xy 3 mx3 mx = lim 2 = lim =0 x0 x + m2 x2 x0 1 + m2 (x,y)(0,0) x2 + y 2 y=mx lim

ww w.

at

Observacin El hecho de que existan todos los l o mites direccionales y que coincidan, no garantizan la existencia del l mite doble.

em

b) Curvas que pasan por (x0 , y0 ), de la forma y y0 = m(x x0 ) m(y y0 ) , IR

ic

a) Parbolas que pasan por (x0 , y0 ), de la forma yy0 = m(xx0 )2 a m(y y0 )2

.c o

Las curvas que utilizaremos para el estudio de los l mites dobles son:

a1

o o

xx0 = x x0 =

at

La igualdad de los l mites a travs de las rectas y = mx nos permite armar que el e l mite doble de existir, debe valer cero. Evalumos la diferencia e | x | y2 | y | | x | y2 | y | =| x || y | | f (x, y) 0 |= x2 + y 2 y2 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 clculo del l a mite de una funcin f (x, y) cuando (x, y) tiende a (x0 , y0 ) es o conveniente, algunas veces, aplicar cambio a coordenadas polares. x = x0 + r cos(), y = y0 + r sen(). Si al expresar f (x, y) en coordenadas polares obtenemos:

siendo G acotada y vericando F que lim F (r) = 0, entonces

r0

at ic

f (x, y) = F (r)G(r, )
(x,y)(0,0)

a1

.c om

lim

f (x, y) = 0,

pues se tiene

Expresemos f (x, y) en polares: f (rcos, rsen) = r3 cos3 = rcos3 = F (r)G(). r2 (cos2 + sen2 ) x3 =0 (x,y)(0,0) x2 + y 2 lim

G est acotada por 1 y lim F (r) = 0. Por tanto, a

r0

1.4

Continuidad de funciones de varias variables. Propiedades

Denicin 1.12 Sea f : U IRn IRm donde U es un conjunto abierto. Sea o x0 U . Decimos que f es continua en x = x0 si lim f (x) = f (x0 ).
xx0

ww

para cualesquiera r y (c > 0 es una constante tal que | G(r, ) | c) x3 Ejemplo 3: Calcular lim (x,y)(0,0) x2 + y 2

w.

at

0 | f (x, y) 0 | c | F (r) |

em

1.4.1

Propiedades

Teorema 1.5 Sean f, g : U IRn IRm , x0 U, IR dos funciones continuas en el punto x = x0 . Entonces: f (x), f (x) + g(x), f (x) g(x) (producto escalar), f si f (x) = (f1 (x), f2 (x), , fm (x)) , entonces son continuas en x = x0

Consecuencias I Los campos escalares proyecciones f : IRn IR con f (x) = xi son continuas por ser las componentes de la funcin identidad. o II Un campo escalar denido por un polinomio de n variables es continuo en todo IRn (como , por ejemplo, f (x, y, z) = x3 y + 3x7 y 3 z 5xz 7 ) ya que no es ms que a sumas y productos de campos escalares proyecciones. III Todo campo escalar denido como cociente de polinomios es continuo, siempre que el denominador no se anule.

ww w.

Sean f, g dos funciones tales que la funcin f g est denida en a siendo o a (f g)(x) = f [g(x)] . Entonces, si g es continua en a y f es continua en g(a) , la funcin compuesta f g es continua en a. o

at

em

La funcin identidad es continua en todo IRn o

at

ic

Si m = 1 f (x) g(x) y

1 si f (x0 ) = 0, f (x) = 0 x U son continuas f (x)

a1

.c om

f es continua fi es continua i = 1, 2, , n