Lmites y puntos singulares

En este captulo discutimos someramente el concepto de lmite; de una funcin real de variable vectorial en un punto de acumulacin del dominio. Los temas son tratados de igual forma eme en el captulo 2 de Reyes (1996).

DEFINICIN. El punto p G R'* se dir que es un punto de acumulacin para la regin 2, s toda bola Bt(p) intersecta no vacamente a l. Esto es, para cada bola de radio e > 0 con centro en p se encuentra un punto q G 2 contenido en tal bola. Si p no es de acumulacin para 2, se dir un punto aislado (vase la figura 8.1). En trminos menos precisos, un punto de acumulacin p de la regin Q es aqul que est tan prximo de l como se desee. El punto p no necesariamente est contenido en Q, pero se puede aproximar a l por puntos contenidos en U. EJEMPLO. Sea 2 = (a, b) C R1, es claro que p = a es un punto de acumulacin de 2. Todo punto q G (a, b) es de acumulacin. EJEMPLO. Sea 2 = R2 - {(0,0)}, entonces p(0,0) es un punto de acumulacin de 2. Tambin todo punto q / (0,0) contenido en 2 es de

ww

w.

at

em

at

Sea 2 C Rn una regin del espacio euclidiano, de dimensin n, donde consideramos apenas n 2,3.

ic

a1

8.1

Puntos de acumulacin y lmites

.c om

acumulacin para Q. EJEMPLO. Sea la regin espacial

fi = {(x,y,z)\x + y + z < 1}

<! Es claro que el punto frontera p (0,0,1) es un punto de acumulacin de fi. Por otro lado, el punto q (1,1,1) no pertenece a SI y adems es un punto aislado de l. >

acumulacin

aislado Figura 8.1: Puntos de acumulacin y aislados. Definamos ahora el concepto de lmite de una funcin real de variable vectorial en un punto de acumulacin de su dominio, en trminos de los lmites de funciones reales de variable real. Sea / : l R una funcin real de variable vectorial, y sea p R3 un punto de acumulacin de l. Entendamos por q = (x, y, z) el vector variable y entendemos que el punto q Q se aproxima al punto p por la notacin limg_>p. Adems, si p {p\,P2,Pz) son las coordenadas, el nmero real \\q - p\\ se entiende como
Il9 - P\\ = \ A * - P I ) 2 + (y - P2)2 + (* - > 3 ) 2 .

DEFINICIN. Se dice que la funcin /(x, y, z) tiene lmite L en el punto de acumulacin p de 7, definido por limf(x,y,z) = L
q-*p

si y slo s, se cumple que existe el lmite real, de variable real lim (f(x,y,z)-L) = 0 lk-p||-o Ya que conocemos del clculo diferencial bsico, el clculo de los lmites de variable real, as como su existencia, se tiene la siguiente lista de resultados para los lmites en variables vectoriales.

ww

w.

at

em

at

ic

a1

.c om

LEMA 8.1 El limite de la funcin real de variable vectorial, \imf(x,y,z) cuando existe es nico. TEOREMA 8.1 (Aritmtica de lmites) Sean f,g : fi -> R dos funciones reales de variable vectorial y p G E 3 un punto de acumulacin de la regin Q tales que, lim f(x, y, z) = Li,
q-*p

=L

lim g(x, y, z) = L2
q*p

entonces a. lim q _ p (/ g)(x, y, z) = lim q _ p f(x, y, z) limq_^p g(x, y, z) = Li L2 b. limq_>p(/^)(x, y, z) = lim q ^ p /(x, y, z) limg_p g(x, y, 2) = LXL2 c. Cuando L2 / 0 5e iene adems que
,y,z)

.c om

L2

ww

w.

< Es claro que el punto p = (0, 0, 0) est contenido en el dominio 2 de / y es un punto de acumulacin de Q. Por el teorema anterior se tiene que

at
lim

/(x, y, z) = ln(l - x - y - z) + x2 + y2 + z2 + 1

em
lim

EJEMPLO. Sea la funcin

lim

f(x,y,z)=

que se obtiene de una sustitucin simple. > EJEMPLO. Calcular el lmite,

lim
(x,2/)-(l,l)

< Una sustitucin directa nos lleva a que e x+y = e 1+1 = e2 >
(x,3/)-(l,l)

El problema del clculo de lmites de variable vectorial se complica cuando el punto de acumulacin p no est en el dominio natural de la funcin.

at

Estos resultados nos garantizan el clculo de lmites de funciones en puntos de acumulacin que estn contenidos en el dominio. A continuacin damos un par de ejemplos, donde se aplica apenas una simple sustitucin.

ic

[ln(l - x - y - z) -Yx2 +y2z2 + 1] = 1

a1
ex+y

8.2

Puntos singulares

Un caso interesante de un punto de acumulacin es aqul cuando no est contenido en el dominio de una funcin por generar una indeterminacin al momento de tratar de evaluarlo. Si en el intento de evaluacin genera un cociente por cero se dice que tal punto es una singularidad algebraica de la funcin (vase el captulo 2 de Reyes, 1996). EJEMPLO. Consideremos nuevamente nuestra vieja conocida funcin f(x y) analizada en el captulo 4 y mostrada en lafigura4.13. < Su dominio es la regin Q = R 2 {(0,0)}, siendo el punto p = (0, 0) de acumulacin de l. a. Tomemos una aproximacin en Q a p a travs el eje x, es decir mediante los puntos de la forma (x, 0), y en este caso se tiene lim
(x,y)->p

lim

at

lim
(x,y)->(0,0)

/ ( x , y) =

em

b. Consideremos ahora una aproximacin en } a p a travs del eje y, es decir, mediante los puntos de la forma (0,?/), y en este caso se tiene lim

at

ic

(z,0)-(0,0) X -+- y

a1

,/ j(x,y)

V 0 7~ = lim = lim 0 = 0
x~*0 X x-^0

= lim = lim 0 = 0
/-0 /2 y-0

(0,y)-(0,0) X2 + y2

ww

c. Si hacemos la aproximacin en l al punto /? por la recta identidad y x se obtiene

w.

.c om

lim
(x,y)->(0,0)

f(x,y)

lim

-5

r = lim
x 0 X2 + X

= lim -- = x-^0 2 x 2 2

(x,x)-(0,0) X + ?/Z

De esta manera, hemos encontrado que existen trayectorias que se aproximan al punto p = (0, 0) y sus lmites correspondientes no son iguales. Ya que el lmite tiene que ser nico por cualquier forma de aproximacin, se concluye que el lmite
(x,y)->(0,0) X- + y2

lim

no existe. \> Una forma ms general de estudiar un lmite como el del ejemplo anterior es usar un cambio de coordenadas . Esto es, utilizar otras variables

que identifiquen una posible dependencia del lmite en una direccin o de una curva. EJEMPLO. Sea nuevamente el lmite lim xy x + y2
2

Usemos el siguiente cambio de coordenadas polares x = r eos 9 y rsenO Entonces el cociente dado se expresa xy r2 eos 9 sen 9 = eos 0 sen 0 2 2 = x -f y r2

lim

Por ejemplo, sobre la recta y 0 (eje x) el ngulo es 0 0 lo que implica que sen 0 = 0 y, por lo tanto, el lmite buscado sobre esa recta es cero. Anlogamente, sobre la recta x = 0 (eje y) el ngulo es 0 \ , lo que implica que cos# = 0 y, por lo tanto, el lmite buscado sobre tal recta es igualmente cero. En el caso de calcular sobre la recta y x, el ngulo es 0 TT/4 y, por lo tanto, COSTT/4 sen TT/4 - ^ . - ^ \ 1/2 que es el lmite calculado anteriormente, o EJEMPLO. Calcular el lmite hm

<1 Al usar el cambio de coordenadas (polares) x r eos 0 y r sen 0

ww

w.

at

em

que depende del ngulo 9 con el cual se aproximen las variables (x, y) al origen.

at

ic

(avy) (0,0) X -f ?T

= lim eos 0 sen 0 eos 0 sen 0

r-+0

a1

xy

.c om

De donde, en virtud de que (x, y) (0,0) <=> r 0, se tiene que > > -

se tiene que x 2 + y2 = r 2 , de donde

Ya que (x, y) (0, 0) <=> r > 0 se tiene que, > lim xz + y x +y

o 2 ,. 2

,. = lim

rz

r 2 (\/r 2 + 1 + 1) / / \ = lim ^ '- = lim ( V r 2 + 1 + 1 =2 Por lo tanto,

< Nuevamente, usando el cambio de coordenadas anterior,

at

(x + y)2 _ (reos9 r x2 + y2

que depende de la variable 9. Si se toma por ejemplo 9 = 0 (eje x) se tiene que, li m \

+ V
2

(x,j/) (0,0) X + ? /

ww

se tiene que

+ rsen<9) 2 _ r 2 ( c o s 0 + sen6>)2 _ 2 ^cos (/ ~ sen oj f ~ 2 2 r r

w.

Por otro lado, si se toma 9 TT/4 (la recta y = x) se tiene que,

(x,y)-(o,o) x 2 + y1

lim

i l 4 = lim(cos7r/4+sen7r/4) = f ^ + ^ ) = ( ^ ) 2 = 2,
ro y 2 2 J

lo que nos dice que tal lmite no existe. D >

x = r eos 9,

em

(*,S/)-(0,0) X 2 + ?/2

hm

at
r

\ = lim(cos<9 + sen<9)2 = (cosO + senO)2 = 1

2

r^0

ic
y sen 9

EJEMPLO. Calcular el lmite

a1

.c om

lim ^= (x,y)-*(0,0) ^ / x 2 + ?/2 + 1 - 1

2 D >

8.3

Continuidad

Ahora extendemos el concepto de continuidad que conocemos para funciones reales de variable real, para funciones reales de variable vectorial. DEFINICIN. Sea / : C R3 -> R una funcin y sea p < V un punto E arbitrario del dominio. Decimos que la funcin / es continua en el punto p si a. p es un punto aislado de . b. cuando p es punto de acumulacin de 2, entonces

lim
(x,y,z)-p

f(x,y,z) = f(p)

Si la funcin / es continua en cada uno de los puntos de su dominio se dir simplemente que / es continua. Del teorema sobre la aritmtica de limites se tiene que la suma (y diferencia), el producto y el cociente de funciones continuas es una funcin continua. Ms an, en todas las funciones vectoriales donde intervengan las funciones clsicas: polinomios, exponenciales, trigonomtricos, etc, con varias variables independientes, se tendrn funciones continuas. EJEMPLO. A continuacin todas las funciones que se mencionan son continuas (redundante decir que en sus dominios naturales). b. f(x, y) = arcsen (x2 + y2)

d. f(x,y,z e f(x v)
Como es de dominio general, un problema interesante es aqul cuando una funcin con una singularidad p precisa de ser extendida continuamente en tal punto. Un resultado sobre la extensin continua es el siguiente. T E O R E M A 8.2 Si f es una funcin continua en la regin , C R 3 y p es una singularidad de f, para que f tenga una extensin continua F en el dominio D = Q U {p} es necesario y suficiente que lim
(x,y,z)-*p

ww

w.

a. f{x,y) = 7p

at

em

at

f(x,y,z)

ic

exista.

a1

=L

.c om

< En este caso, la extensin continua de / en p est dada por la funcin F(x,y,z) =
L si (x,y,z)=p

A continuacin ilustramos el teorema 8.2 con un ejemplo. EJEMPLO. Considrese la funcin

f(z,y) = f

Se puede extender continuamente la funcin en el punto singular p (0,0)? < Ciertamente el dominio de la funcin / es 7 = R2 {(0, 0)}, siendo 3 p (0,0) un punto singular de / . De manera anloga al caso de una sola variable, calculamos el lmite

'

Usando el cambio de variables mencionado anteriormente,

se tiene que

ww

x3y2 2 2 x -\-y De esta manera,

w.

at

r3 eos3 9 r2 sen29
r2

em
\y
lim
) ( 0 0 )

1 x = reos 9

= rsen9

at
r2 eos3 sen2
X3

/ ( # , y) =

lim
( ) ( 0 0 )

X 2 + ?/ 2

ic
2

Por lo tanto, la extensin continua de la funcin / en el punto est dada por la nueva funcin, (*,V) #(0,0) ^

Un resultado importante de la continuidad de una funcin que es de inters en las aplicaciones en el siguiente

a1

\imJ(xy) (x,j/)-.(O,O)

! im (x,2/)->(0,0)

xy X + l/ 2
2

= lim r eos3 9 sen29 = 0

r-0

.c om
3 2

TEOREMA 8.3 (del valor intermedio). Si f : R es una funcin > continua definida en una regin (conexa) y para los puntos p, q Q C R se tiene que f(p) < f(q), entonces para todo valor c [/(p), /(<?)] existe un punto r tt, tal que f(r) = c. < Sea 7 : [0,1] 2 una curva continua tal que una a los puntos p y g fi, es decir, tal que 7(0) = p y 7(1) = </. Consideremos ahora la composicin real de variable real, g = f o 7 : [0,1] -> 2 -> R dada por Entonces, es fcil ver que g es una funcin real de variable real continua, tal que g(0) = f(p),g(l) = f(q). Por el teorema del valor intermedio para funciones continuas reales de variable real, para c G [/(p),/(<?)] existe un argumento tQ [0,1] tal que g(t0) = c. Defnase r = 7(^0), entonces se tiene que f(r) = /(7(o)) 9{to) c, lo que termina la prueba. >

1. Calcular los siguientes lmites.

c. lim(a.y)_>(1.o) d. lim ( a v y ) _ ( 2 , 2 )
e.

2. Analizar las siguientes funciones en el punto singular situado en el origen. En cules singularidades se puede extender continuamente la funcin? a-

ww

i;T

w.

are sen

YTx^

a. lim (a ., y) ^ (1 , 2) (4x + 6?/2) b . l i m ( x , y ) _ ( _ M ) -j^

at

(y/x)

em

at

Ejercicios

ic

a1

.c om