LA GACETA DE LA RSME, Vo

Vol.
l. 7.2 (200
(2004), ´gs. 405–434
4), Pags.
á 405

L´
ımites
ı́mites utiliza
utilizando
ndo coorde
coordenadas
nadas pola
polares
res

por
´ scar López
Juan Bosco Ferreiro Darriba y Oscar
Ó L´
opez Pouso

Se demuestran varios resultados en relación

relaci´on con el l´ımite
ı́mite cuando (x, y)
tiende a (a, b) de una función
funci´on real de dos variables reales f (x, y). Se presta
especial atención
atenci´on al uso de las coordenadas polares para calcular dicho
l´ı́ımite.
mite. Los resultados
resul tados se acompa
acompa˜ nan
ñan con ejemplos.

´N
1. INTRODUCCION
Ó

Est e ar
Este artt´ı́ıculo
cu lo est
est´áa d
dedicado
edicado al est
estudio
udio del ll´ımite
ı́mite de un
unaa fu
funci´
nción
on real de dos
variables
variables reales f (x, y ). AdemásAdem´as de la relaci´
relación
on con los conceptos de continuidad
y difere
diferencia
nciabili
bilidad,
dad, y en consecue
consecuencia
ncia con el concepto de plano tangente
tangente a una
superficie en R3 , hay una conexión conexi´on entre este tema y la derivada de una funci´
función
on
compleja de una variable compleja f (z ). En el ultimo último
´ ∈
caso, dado z 0 C, la
derivada (en el sentido complejo) de f en z 0 se define como sigue [3]:

f  (z0 ) = lim
f (z0 + h) − f (z0) , (1)
h→0 h
h∈C

en caso de que el l´ımite

ı́mite exista en C. Si h 1 y h2 son, respectivamente, la parte
real e imaginaria de h, h , el l´ımite
ı́mite en (1) puede calcular
calcularse
se calculando
calculand o los l´ımites,
ı́mites,
cuando (h (h1 , h2 ) tiende a (0, (0, 0), de las partes real e imaginaria del cociente
f (z0 +h)−f (z0 )
, que son dos l´ı́ımites
mites que entran
entran en eell marco de n
nuestro
uestro estudio.
h
Para tener una idea de lo que estamos hablando, consideremos el siguiente
ejemplo estudiado en [5]:

sen(x2 + y 2 )
sen(x
f (x, y ) = . (2)
x2 + y 2

Los autores de [5] afirman que, puesto que se sabe por cálculo
c´alculo elemental que
sen s
lim = 1, (3)
s→0 s
entonces 1 es el candidato
can didato a ser el ll´ı́ımite
mite de f (x, y ) cuando (x,
(x, y ) tiende a (0,
(0, 0),
yım
l´
lı́ mdespués
despu´es demuestr
demuestran
re otras an
ite. Entre
Ent cosaesa
cosas, co
conjetur
s, losnjetura
resulatados
utilizando
resultados la definici´
que recogemos
recogemos en on este
´epsilon–d
épsi lon–delt
art elta
art´ıculo
ı́cul oanos
de
permiten afirmar que, ciertamen
ciertamente,
te, los l´ı́ımites
mites en (2) y en (3) son equiv
equivalente
alentes,
s,
406 L´IMITES
ÍMITES UTILIZANDO COORDENADAS POLARES

con lo cual la ultima

última
´ parte del razonamiento es innecesaria. Para otras situa-
cioness que pueden ser trata
cione tratadas
das con los resultados
resultados del art
art´ıculo
ı́culo remitimos
remitimos al
lector a los ejemplos de las secciones 2, 3 y 4.
El lector debe estar
estar famil
familiariz
iarizado
ado con la definic
definici´
ión
on ´epsi
épsilo
lon–
n–de
delt
ltaa de l´ımit
ı́m ite,
e,
2
R
as
as´
ı́ı como con
y conjunto los conceptos
compacto en R. de punto de acumulaci
acumulaci´óon,
n, conjunto abierto en
En la sección
secci´on 2 se explic
explican
an algunos
algu nos h
hechos
echos relacion
relacionados
ados con el uso
u so de ll´ımites
ı́mites
sobre subconjuntos y l´ı́ımites
mites iterados; el primer tema, aunque sobradamente
conocido, puede ayudar al lector a entender ciertos puntos clave cuando se
estudia el l´ı́ımite
mite usando coordenadas polares; el segundo tema ha sido incluido
por motivos de completitud. La sección secci´on 3 está
est´a dedicada a otras formas de
resolver el problema, y en ella enunciamos el teorema de compactacióncompactaci´on de
variab
ariables,
les, que puede usarse
usarse,, por ejem
ejemplo,
plo, para resolve
resolverr el l´ımite
ı́mite (2). En la
sección
secci´ on 4 expli
explicam
camos
os con la ayayuda
uda de eje
ejempl
mplos
os concre
concretos
tos de qu qu´ée manera
manera el
cambio a coordenadas polares puede ser de gran ayuda en el cálc c´alcululoo de l´ımites
ı́mi tes..
En la sección
secci´on 5 enunciamos y demostramos los resultados matemáticos.
matem´aticos.
La utilidad de este trabajo reside, a juicio de los autores, en la escritura
detallada de los resultados recogidos en el Teorema 1, Teorema 2 y sus coro-
larios, y Teorema 5. Todos ellos, excepto quizá quiz´a el último,
ultimo,
´ ser´
serán
an de una u otra
forma familiares para muchos lectores, especialmente para aquellos profesores
que hayan tenido que explicar en sus cursos esta materia. La condición condici´on (b) en el
Teorema 2 suele aparecer solamente como una condición condici´on suficiente, aunque es
f´
fácil
acil demostrar que tambi
tambi´en
én es n
necesaria.
ecesaria. En ninguna referencia bibliogr´
bibliográfica
afica
hemos visto un resultado análogo
an´alogo al Teorema 5, quiz´ quizáa porque no reduce el
número
n´umero de variables; es sin embargo ´útil util en ciertas ocasiones, como se mues-
tra en los ejemplos. Por ultimo,
último,
´ aconsejamos al lector que escriba todos los
resultados en el caso en que el dominio de f (x, y ) es todo R 2 , lo cual ayudaráayudar´a
a librarse de notaciones incómodas
inc´omodas y a entender mejor la idea matem´ matemática
atica
subyacente
suby acente.. Nosotros hemos crecre´ı́ıdo
do que en este artart´ıculo
ı́culo conviene escribirlos
en el caso general en el que el dominio de f (x, y ) puede ser un subconjunto
arbitrario de R2 .

2. L´IMITES
ÍMITES SOBRE SUBCONJUNTOS. L´IMITES
ÍMITES ITERADOS

2.1 L´IMITES
ÍMITES SOBRE SUBCONJUNTOS

Pensemos en el siguiente ejemplo: para (x,

(x, y ) ∈ R2 \ {(0
(0,, 0)}, definimos

xy 2
f (x, y ) = 2 , (4)
x + y4

e investigamos
es m´as dif´
más difıcil los en
ı́cil que valores f (x,
el caso deyuna
) cuando (x, y(i.
(x,
variable ) está
est´
e.,aelcerca
l´ımitedede
ı́mite (0,
(0,una
0). El problema
funci´
función
on real
de una variable real f (x)) por los motivos siguientes:
LA GACETA 407

• En primer lugar, la regla de L’Hôpital

L’Hˆopital no es aplicable.
• En segundo lugar, el estudio del l´ı́ımite
mite no puede reducirse al estudio de
los l´ımites
ı́mites laterales por la derecha y por la izquierda.

Figura 1: Hay infinitas rectas aproximándose

aproxim´andose a (0,
(0, 0).

Es cie
cierto,
rto, sin embargo
embargo,, que para cada ll´ınea ı́nea recta que pase p por
or (0
(0,, 0) te-
nemos la misma situación
situaci´on que en una variable, ya que podemos acercarnos
al punto desde dos lados: “derecha” e “izquierda”. Esto puede observarse con
claridad en la Figura 1. En este momento, es natural pensar del modo si-
guiente: si bien el número
n´
umero de l´ıneas
ı́neas rectas que se acercan a (0 (0,, 0) es infinito,
es posible tratarlas de modo simultáneo,
simult´aneo, porque todas ellas son de ecuación ecuaci´ on
y = mx
mx,, donde m ∈R es la pendiente (excepto el eje y , cuya ecuación ecuaci´on es
x = 0). Si x = 0, i. e., si el punto (x,
(x, y ) está
est´a sobre el eje y , entonces
0
(0,, y ) = y 4 = 0.
f (x, y ) = f (0 (5)

Si y = mx
mx,, entonces

xm2 x2 m2 x
f (x, y ) = f (x,mx
x,mx)) = 2 = , (6)
x + m4 x4 1 + m 4 x2
que tiende a 0, para cualquier pendiente m, cuando x tiende a 0. Lo que
hemos hecho es lo que se conoce como el estudio de los l´ lı́mi
ımitetess direccion aless,
direccionale
es decir,
decir, de los l´ımites
ı́mites a lo largo de todas las posibl
p osibles
es rectas que se acercan
acercan a
(0,
(0, 0). En este ejemplo,
ejemplo, todos los l´ımites
ı́mites direc
direcciona
cionales
les toman el mismo valor
0; este h
hecho
echo hace pensar que el l´ımite
ı́mite de
d e f (x, y ) cuando (x,
(x, y ) tiende a (0,
(0, 0)
debe ser 0, que
insuficiente peroexistan
es bie
bien
ny sab
sabido
valido
gan que
valgan para que
lo mismo todosel los
to dos l´ı́ımite
mlite exista
exista
´ımites
ı́mites es en gen
genera
eral
direccionales; enl
efecto, es posible aproximarse a (0,(0 , 0) sobre subconjuntos de R 2 distintos de
408 L´IMITES
ÍMITES UTILIZANDO COORDENADAS POLARES

rectas, como parábolas

par´abolas o cualquier otro tipo de subconjunto que podamos
imaginar,
imag inar, sobre los cuale
cualess el l´ımite
ı́mite pudiera no ser 0. El ejemplo
ejemplo anterior
anterior ha
par´abola x = y 2 :
sido elegido para que el “fallo” se produzca sobre la parábola
y2y2 2 1
f (x, y ) = f (y , y ) = y 4 + y 4 = 2 , (7)

(y 2 , y ) tan próximos
y por tanto existen puntos (y pr´oximos a (0
(0,, 0) como deseemos en los
1
que f toma el valor 2 . La discusión
discusi´on anterior puede resumirse en las siguientes
f´
fórmulas:
ormulas:
lim f (x, y ) = lim f (0
(0,, y ) = 0, (8)
(x, y ) → (0 , 0) y →0
x=0
lim
(x, y ) → (0 , 0)
f (x, y ) = lim f (x,mx
x,mx)) = 0
x→0
∀ m ∈ R, (9)
y =mx
1
lim f (x, y ) = lim f (y 2 , y ) = , (10)
(x, y ) → 2(0 , 0)
x=y
y →0 2
lim f (x, y ) no existe.
existe. (11)
(x, y ) → (0 , 0)

Una función
funci´
on tan extra˜
extraña
na tiene una extra˜
extraña
na gr´
gráfica
afica cerca de origen, y vale la
pena observarla en la Figura 2.

0.5

−0.5
3
3
2
2
1
1
0 0

−1 −1

−2 −2
−3 −3

xy 2
Figura 2: Gráfica
Gr´afica de la funci´
función
on f (x, y ) = x2 +y 4
.

El ejemplo anterior nos ayuda a entender los siguientes hechos generales:

• Si hay un subconjunto S de R2 aproxim´
aproximándose
andose a (0
(0,, 0) (puede ser una
recta
o que oseuna par´abola,
parábola,
aproxime pero
, 0), tam
a (0,
(0 tambi
o un bi´en
éconjunto
n cualq
cualquier
uier otra curva
numerable curvde
a que
puntospase–una
por
on– que se aproxime a (0,
sucesi´ (0 , 0)) tal que el l´ı́ımite
mite de f (x, y ) sobre los
LA GACETA 409

puntos de S cuando (x, (x, y ) tiende a (0,

(0, 0) no exista, entonces el l´ımite
ı́mite de
f (x, y ) cuando (x,
(x, y ) tiende a (0,
(0, 0) no existe.
• Si hay dos subconjuntos S 1 y S2 tale
taless que
q ue los l´ımites
ı́mit es sobre
sob re S 1 y sobre S 2
existen pero no son iguales, entonces el l´ı́ımite
mite de f (x, y ) cuando (x,
(x, y )
tiende a (0,
(0, 0) no existe.
• Puede mu
muy
y bien suceder
suceder que todos los l´ı́ımites
mites direcciona
direccionales
les existan
existan y
tomen un valor común,
com´
un, per
peroo que el l´ımite
ı́mite de f (x, y ) cuando (x,
(x, y ) tiende
a (0,
(0, 0) no exista.
• En caso de que lim( f (x, y ) exista y valga L
x, y) → (0, 0) L,, enton
e ntonces
ces el l´ımite
ı́mi te
de f (x, y ) sobre cualquier sunconjunto S cuando (x, (x, y ) tiende a (0,
(0, 0)
existe y es igual a L. Naturalmente, esto implica lo dicho en los puntos
primero y segundo.

2.2 L´IMITES
ÍMITES ITERADOS

Hay otra forma natural de encarar el problema: si el ll´ımite

ı́mite
lim f (x, y ) (12)
(x, y ) → (0 , 0)

es dif´
difıcil,
ı́cil, po
podemos
demos estudiar los llamados ll´ımit
ı́mites
es iterad
it erados
os

lim (lim f (x, y ))

)),, lim (lim f (x, y ))
)),, (13)
x→0 y →0 y →0 x→0

que son más

m´as f´
fáciles
aciles de calcular, puesto que en cada caso el problema es simple-
mente el cálculo
c´alculo de dos ll´ı́ımites
mites de una vari
variable
able (luego po
podemos
demos usar la regla
r egla de
L’Hôpital
L’Hˆopital si es preciso). Desafortunadamente, los l´ımitesı́mites iterados nos propor-
propor -
cionan poca información
informaci´on acerca del comportamiento de f (x, y ) cerca de (0, (0, 0).
En efecto, consideremos
consider emos el l´ımite
ı́mite iterado
lim (lim f (x, y ))
)).. (14)
x→0 y→0

Para obtener su valor, calculamos lim x→0 L(x), siendo, para cada x,

L(x) = lim f (x, y ), (15)

y →0

que puede no tener nada que ver con los valores de f (x, y ) en y = 0. Pero
incluso en el caso más
m´as favorable de que L(x) = f (x, 0), estar
esta r´ı́ıamos
amo s calculand
calcu landoo
simplemente un ll´ı́ımite
mite d
direccional.
ireccional. Puede enunciarse, sin embarg
embargo, o, el siguiente
hecho general:
• Si los dos l´ı́ımites
mites iterados existen y son distintos,
distintos, entonce
entoncess el l´ımite
ı́mite no
existe.
410 L´IMITES
ÍMITES UTILIZANDO COORDENADAS POLARES

El ejemplo (ver gráfica

gr´afica en la Figura 3)
xy
f (x, y ) = (16)
x2 + y 2

muestra
mue stra que los l´ımites
ı́mites itera
iterados
dos pueden existir
existir y ser iguales,
iguales, en tanto
tanto que el
l´ı́ımite
mite no existe. El ejemplo (ver gráfica
gr´afica en la Figura 4)

f (x, y ) = (x + y )cos
 1
cos
1
(17)
x y

ilustra la situación,
situaci´on, m´
más
as extra˜
extraña,
na, en la cual el l´ımite
ı́mite existe
existe (en este caso el
lector debe saber que el producto de una función
funci´on que tiende a cero por otra
acotada tambi´
tambien
én tiende a cero) aun cuando ninguno de los l´ı́ımites
mites iterados
existe (ya que la función
funci´on “cos” oscila y no se aproxima a ningún
ning´un valor concreto
en el infinito).

0.5

0 2

−2
−0.5
3 3
−4
2 2
3
1 2 1
3
0 1 0
2
−1 1 0
−1
0 −1
−2 −1 −2
−2 −2
−3 −3 −3 −3

Fig. 3: Gráfica
Gr´afica de la funci´
funcióon
n Fig. 4: Gr´áafica
fica de la funci´
función
on  
xy
f (x, y ) = x2+y2 f (x, y ) = (x + y )cos x cos y1
1

´ S SOBRE L´IMITES
3. MAS
Á ÍMITES EN DOS VARIABLES

3.1 UNA DESIGUALDAD UTIL

´ TIL Y LA REGLA DEL SANDWICH
Ú

En ciertos casos particulares, otras buenas ideas pueden servir para cal-

cular el l´ımite.
ı́mite. Una desigualdad particularment
particularmentee util
ú
´til es la siguiente:
2 xy x2 + y2, | |≤ (18)
LA GACETA 411

1.5

0.5

−0.5

−1

−1.5
4
2
0
−2
2 3
0 1
−4 −2 −1
−3

√ xy
Figura 5: Gráfica
Gr´afica de la funci´
función
on f (x, y ) = .
x2 +y2

que se cumple para todo x e y de R. La demostración acil: x 2 + y 2 +

demostraci´on de (18) es f´
fácil:
2 2 2 2
2xyilustra
se = (x +con ≥ 0 y x +y
y ) el ejemplo − 2xy = (x − y) ≥ 0. El uso de esta desigualdad
xy
f (x, y ) =  . (19)
x2 + y2
Como
1 2 2
2 (x + y ) 1
0 ≤ |f (x, y)| ≤  =
 x2 + y 2 , (20)
x2 + y 2 2

el l´ımit
ı́m itee de f (x, y ) cuando (x,
(x, y ) tiende a (0,
(0, 0) es 0, en virtud de la regla del
sandwich. La gráfica
gr´afica de la funci´
función
on f (x, y ) se muestra en la Figura 5.

´ N DE VARIABLES
3.2 COMPACTACION
Ó

Consideremos ahora otro ejemplo de inter

inter´ées.
s. Si
sen(x + y )
sen(x
f (x, y ) = , (21)
x+y
para x = −y (ver gráfica
gr´afica en la Figura 6), entonces parece natural pensar que
sen(x + y )
sen(x
lim = 1, (22)
(x, y ) → (0, 0) x+y
ya que sabemos que
sen s
lim = 1. (23)
s→0 s
412 L´IMITES
ÍMITES UTILIZANDO COORDENADAS POLARES

0.8

0.6

0.4

0.2

−0.2

−0.4
10

5 −10
0 −5
0
−5
5
−10 10

sen(x+y )
Figura 6: Gráfica
Gr´afica de la funci´
función
on f (x, y ) = x+y
.

Pero, ¿es matemáticamente

matem´aticamente correcto proceder de este modo? Quiz´
Quizáa s´
sı́ı lo

es (ciertamente
efecto, en este caso lo es), pero entonce
en general entoncess debemos probar por
p or qu´
qué.
e. En

lim ψ¯ y
ψ(x, y ) = ψ̄ lim g(s) = L (24)
(x, y ) → (0, 0) ¯
s→ψ̄
ψ

no implican

lim g(ψ(x, y )) = L, (25)

(x, y ) → (0, 0)

como muestra el contraejemplo siguiente:

1 si s = 0,
g(s) = (26)
0 si s = 0,
ψ(x, y ) = x + y.  (27)
Entonces

lim ψ(x, y ) = 0 y lim g(s) = 0, (28)

(x,y )→(0,0) s→0

pero
lim g(ψ(x, y )) = 0 y lim g(ψ(x, y )) = 1,
1, (29)
(x,y )→(0,0) (x,y )→(0,0)
y =x y =−x

y consecuentemente

lim g(ψ(x, y )) no exi

xisste
te.. (30)
(x,y )→(0,0)
LA GACETA 413

Su rgee as
Surg as´ıı́ la
l a ccues
uesti´
tión
on de cuándo
cu´ando podemos compactar variables y reemplazar
ψ(x, y ) por s y (x, y ) → (0,, 0) por s
(0 ψ¯ en (25). Desde luego, si
ψ̄→
lim ψ¯ R
ψ(x, y ) = ψ̄ ∈ (31)
(x, y ) → (0, 0)

ψ̄¯, se cumple
y g es continua en ψ,
lim ¯)
g(ψ(x, y )) = gg((ψ̄
ψ) ∈ R. (32)
(x, y ) → (0 , 0)

Por lo tanto, si definimos

ψ(x, y ) = x + y, (x, y ) ∈ R2 , (33)
y
sen s
g(s) =
s

si s = 0, g(0) = 1,
1, (34)

que es continua en virtud de (23), se tiene

sen(x + y )
sen(x
lim = lim g(ψ(x, y )) = gg(0)
(0) = 1.
1. (35)
(x, y ) → (0 , 0) x+y (x, y) → (0, 0)

Un razonamiento completamente análogo an´alogo prueba que el l´ımite

ı́mite de la fun-
ción
ci´
on definida en (2) puede calcularse simplemente calculando el l´ı́ımite mite (3).
Cuando se elimina la hipótesis
hip´otesis de continuidad de g en ψ̄ ¯, se tiene el si-
ψ,
guiente teorema, cuya prueba, aunque sencilla, posponemos hasta la ´última ultima
sección
secci´on.. En ´éel, ¯ =R
l , R̄
R ∪{−∞ ∞} , + , B (( a, b), δ ) denota la bola abierta en R2
((a, 

(a, b) y radio δ  , y se asume impl

de centro (a, impl´ıcitamente
ı́citamente que (a, b) es un punto
de acumulación
acumulaci´ on del dominio de f , AA..
(compactaci´on de variables) Supongamos que
TEOREMA 1 (compactación

f : A R2 ⊂ →R
es de la forma f (x, y ) = g(
g (ψ(x, y ))
)),, donde
⊂ R2 → R y g : Dom(g
ψ : Dom(ψ
Dom(ψ) Dom(g) ⊂ R → R.
(Obviamente, debe ser A ⊂ Dom(ψ) y ψ(A) ⊂ Dom(
Dom(ψ Dom(gg).)
Se cumplen:
(a) Suponga
Supongamos
mos que
lim ψ¯
ψ(x, y ) = ψ̄ ∈ {−∞, +∞}.
(x, y ) → ( a, b)

Entonces, para L ¯,
R̄
R se cumple la implicaci´on
∈
lim g(s) = L = ⇒ lim f (x, y ) = L.
¯
s→ψ̄
ψ (x, y) → ( a, b)
414 L´IMITES
ÍMITES UTILIZANDO COORDENADAS POLARES

(b) Sup
Suponga
ongamos
mos que
lim ψ¯
ψ(x, y ) = ψ̄ ∈R
(x, y) → ( a, b)

y que existe δ  > 0 tal que

ψ¯
 ∀ (x, y) ∈ ((AA ∩ B((((a,a, b), δ )) \ {(a, b)}.
ψ(x, y ) = ψ̄ 
(36)

¯ , se cumple la implicaci´
Entonces, para L ∈ R̄
R on

lim g(s) = L =⇒ lim f (x, y ) = L.

→¯ s ψ
ψ̄ ( )→( ) x, y a, b

NOTA 1 En el contraejemplo dado antes, la condici´

OTA on (36) no se satisface.

El Teorema 1 tambi´
tambiéen
n puede aplicarse al ejemplo (22): tenemos

ψ(x, y ) = x + y, ψ̄¯ = 0,
ψ (37)
g(s) = sen s , L = 1, (38)
s

y ψ(x, y ) = 0 para todo (x, −
(x, y ) tal que x = y (es decir, para todo (x, ( x, y ) en
el dominio de f = g(ψ)). As As´ı́ı pues, y de acuer
acuerdo
do con el Teorema
eorema 1, podemos
compactar variables y afirmar que (23) implica (22). Como antes, un razona-
mientoo an´
mient análogo
alogo demuestra que para calcular el l´ı́ımite mite de la función
funci´on definida en
(2) basta calcular el l´ı́ımite
mite (3).
Hacemos notar que el Teorema 1 admite una formulación formulaci´on másm´as general en
el marco
marc o de l´ımites
ı́mites ded e fun
funciones
ciones defi
definidas
nidas eentre
ntre espacio
espacioss topol´
top ológicos.
ogicos. En efecto,
se cumple la siguien
siguientete proposici´
proposición;
on; su demostraci´
demostración,
on, que aqu´
aquı́ı omitimos, es un
sencillo ejercicio para aquellos lectores familiarizados con los conceptos básicos b´asicos
de la Top
opolog
olog´ı́ıaa (ver por
po r ejemplo [1]).
´ N 1 Sean
PROPOSICION
Ó
ψ:X → YY,, g:Y →Z
dos aplicaciones, donde X
X,, Y, Z son espacios topol´ ıos, con Y , Z
ogicos no vac´
vacı́os,
∈ ∈
Hausdorff. Si x0 X , y0 Y y z0 Z son tales que ∈
lim ψ(x) = y 0 , lim g(y ) = z 0 ,
x→x0 y →y0

as existe un entorno abierto de x 0 en X ,

y adem´ U , tal que
ψ(U \ {x0 }) ⊂ Y \ {y0 },

entonces
lim g(ψ(x)) = z 0 .
x→x0
LA GACETA 415

3.3 DESARROLLOS DE T AYLOR

Tenemos a nuestra disposición
disposici´on al menos otra forma de calcular el l´ımite
ı́mite

sen(x + y )
sen(x
(x, y)lim
→ (0 , 0) x+y . (39)

∈
En efecto, notemos que, dado s R, un desarrollo de Taylor de la función
funci´on
seno centrado en 0 (o sea, un desarrollo de Maclaurin) de tres t´
términos
erminos m´
más
as
el resto proporciona la igualdad

sen s = sen
sen 0 + (c
(cos
os 0)s
0)s − 12 (s(sen
en 0)
1
6
1
0)ss2 − (cos ξ )s3 = s − (cos ξ )s3 ,
6
(40)

para cierto ξ situado estrictamente entre 0 y s cuando s =  0.

Consecuentemente, para (x, (x, y ) tal que x + y =  0,
1 3
sen(x + y ) = x + y
sen(x − 6 (cos ξ )(
)(x
x + y) = 1 − 61 (cos ξ)()(xx + y)2, (41)
x+y x+y

donde ξ es un cierto número

n´
umero entre 0 y x + y . A la vista de (41) es claro que

sen(x + y )
sen(x
lim = 1. (42)
(x, y ) → (0, 0) x+y

4. COORDENADAS POLARES

La ubicación x, y ) R2
ubicaci´on de un punto dado ((x, ∈
(0 \{
(0,, 0) est´ }
estáa unı́vo
un´ıvoca
came
mente
nte
determinada por la distancia ρ del punto al origen y el ´ángulo
angulo θ (pron´
(pronúnciese
unciese
zeta) entre el semieje x positivo y la semirrecta que parte del origen y pasa por
el punto (en este momento debemos tomar una decisión:
decisi´on: nosotros elegimos el
´ángulo θ en [0,
angulo [0, 2π ) y medido en el sentido contrario al del movimiento de las
agujas del reloj). Las cantidades ρ y θ son las co ordenadas polares del punto
coordenadas
(x, y ). El lector puede encontrar información
informaci´on interesante acerca del origen de
las coordenadas polares en las referencias [2] y [4].
Las coordenadas cartesianas (x,(x, y ) pueden recuperarse a partir de las po-
lares mediante las relaciones

x = ρ cos θ, y = ρ sen θ. (43)

Entonces es posible expresar los valores de una funci´

función
on f (x, y ) como los
valores de la siguiente función
funci´on de las coordenadas polares ((ρ,
ρ, θ ):

F (ρ, θ ) = f (ρ cos θ, ρ sen θ ). (44)

416 L´IMITES
ÍMITES UTILIZANDO COORDENADAS POLARES

Figura 7: Si fijamos θ y hacemos tender ρ a 0, nos aproximamos a (0,

(0, 0) a lo
largo de una semirrecta.

Puesto que ρ es la distancia del punto al origen, podemos aproximarnos a

(0,
(0, 0) tomand
tomandoo el l´ımite
ı́mite cuando ρ tiende a 0. As
As´ı,
ı́, a primera vista, parece que
el estudio de
lim f (x, y ) (45)
(x, y) → (0, 0)

se reduce al estudio de
lim F (ρ, θ ) para todos los posi
posible
bless v
valo
alores
res de θ. (46)
ρ↓0

Sin embargo, es muy importante notar que, para un valor fijo del ´angulo ángulo
θ , hac
hacer
er el l´ı́ımite
mit e de F (ρ, θ ) cuando ρ tiende a 0 es equivalente a hacer el l´ lı́ım
mite
direccional de f (x, y ) sobre la semirrecta determinada por el ´ángulo angulo θ (que,
dejando aparte casos especiales, es la parte de la recta de ecuación ecuaci´on y = (tan θ )x
contenida en el cuadrante al que pertenece el angulo ´ángulo θ , como se ilustra en la
Figura 7) y, en consecuencia, el estudio de (46) no es otra cosa que el estudio
de los l´ı́ımites
mit es direc
direccion ales ; como ya sab
cionales sabemos,
emos, el l´ı́ımite
mite (45) puede no existir
aun cuando todos los l´ımites ı́mites direccionales coincidan.
Como ejemejemplo plo del uso de las coordenadas
coordenadas polares para calc calcular
ular l´ımites
ı́mites
2
direccionales, consideremos, para (x, ∈ \{
(x, y ) R (0
(0,, 0) ,}
 x

f (x, y ) = arccos  . (47)
x2 + y 2
Cambiando
Cambia ndo a coor
coorden
denadas
adas p
pola
olares
res com
comoo se expli
explica
ca más
m´
as arriba
arriba obtene
obtenemos
mos,,
cuando θ [0 ∈
[0,, π ],

ρ cos θ
F (ρ, θ ) = arccos
  =θ (48)
ρ
LA GACETA 417

3.5

2.5

1.5

−3
0.5
−2
−1
0
0
−3
−2 1
−1
0 2
1
2 3
3

Figura 8: Gráfica
Gr´afica de la funci´
función
on f (x, y ) = arccos
√ 
x
.
x2 +y 2

(es 2π −
2π θ si θ
direccional ∈ (π, 2π)), y es trivial calcular, para θ ∈ [0,
[0, π ] fijo,
fij o, el l´ı́ımite
mit e

lim F (ρ, θ ) = θθ.. (49)

ρ↓0

Como este l´ımite

ı́mite depende
dep ende de θ,θ , el l´ı́ımite
mi te de f (x, y ) cuando (x,
(x, y ) tiende a
(0,
(0, 0) no existe. En la Figura 8 puede verse la gráfica gr´afica de f (x, y ).
Tras esta discusión,
discusi´on, cabe preguntarse si vale la pena malgastar nuestro
tiempo en el estudio de l´ımites ı́mites usando coordenadas polares, habida cuenta de
que el estudio de los l´ımites
ı́mites direccionales empleando coordenadas
co ordenadas cartesianas
no es, en general, dif
dif´ı́ıcil.
cil. Aparte de la raz´
razón on de que en algunos casos, como en
el ejemplo
ej emplo anterior,
coordenadas polares,losexiste
l´ı́ımites
mites direccionales
direccion ales
la posibilidad deson
quemás
m´as coordenadas
las f´
fáciles
aciles de calcular usando
polares sim-
plifiquen el problema de tal forma que el cálculo c´alculo del l´ımite
ı́mite se convierta en una
cuestión
cuesti´ on trivial; por ejemplo, parece claro (y adem´ además
as es cierto) que si f (x, y )
toma valores constantes sobre circunferencias centradas en (0, (0, 0) (o sea, un
valor
val or constante sobre cada circunferencia), entonces entonces el l´ımite
ı́mite puede reducirse
a un l´ımite
ı́mite de una variabl
ariable; e; en coordenadas
coordenadas polares este hecho hecho puede refor-
mularse diciendo que si F (ρ, θ) depende solamente de ρ (i. e., F (ρ, θ ) = F (ρ))
entonces el l´ı́ımite
mite de f (x, y ) cuando (x, (x, y ) tiende a (0,(0, 0) es simplemente el
l´ımit
ı́m itee de F (ρ) cuando ρ tiende a 0 (ver Corolario 1 en la sección secci´on 5).
Consideremos, como ejemplo, la función funci´on

1
−
f (x, y ) = e x2+y 2
 , (50)
sen( x2 + y 2 )
418 L´IMITES
ÍMITES UTILIZANDO COORDENADAS POLARES

0.9

0.8

0.7

0.6

0.5

0.4

0.3

0.2

0.1

0
2

1 2

1
0
0
−1
−1

−2 −2

− 21 2
e x +y
√
Figura 9: Gráfica
Gr´afica de la funci´
función
on f (x, y ) = .
sen( x2 +y2 )

2 2
definida para aquellos (x,Figura
(x, y ) tales
9. que sen(caso,
x + y ) = 0. La gráfica
gr´afica de esta 
funci´
función
on se muestra en la En este

− ρ12
e
F (ρ, θ ) = F (ρ) = , (51)
sen ρ

de modo que

lim f (x, y ) = lim F (ρ) = 0. (52)

(x, y ) → (0, 0) ρ↓0

N´
Nótese
otese que, utilizando el razonamien
razonamiento to anterior, ppodr
odr´ı́ıamos
amos calcular tam-
bién
bi´
en el l´ımite
ı́mi te de la func
fu nci´
ión
on definida en (2).
Considerem
Consi deremosos ahora una situa
situaci´ ción
on general en la que F (ρ, θ ) puede depen-
der a la vez de ρ y de θ .
Notemos que, cuando θ est´ estáa fijo, entonces F (ρ, θ ) nos da cuando ρ va var´
rı́ıaa los
valores de f (x, y ) sobre la semirrecta determinada por θθ,, y que, cuando ρ est´ estáa
fijo, F (ρ, θ ) nos da cuando θ var var´ı́ıaa los valor
valores
es de f (x, y ) sobre la circunferencia
2 2 2
x + y = ρ . La última ultima
´ afirmaci´
afirmación on invita a pensar (y además
adem´as es cierto, ver
Teorema 2 en la sección ∈
secci´on 5) que, si L R y existe una función funci´on H dependiente
solo de ρ tal que

|F (ρ, θ) − L| ≤ H (ρ) para todos los posib

posibles
les valores
alores de θ (53)

y limρ ↓ 0 H (ρ) = 0, entonces

lim f (x, y ) = L. (54)

(x, y ) → (0 , 0)
LA GACETA 419

(Pod r´ıamos
(Podr ı́amo s pre
pregunta
guntarno
rnoss qu´
quée valor L debemos poner en (53); tenemos un
unico
ú
´nico candidato: el valor común
com´ un de los l´ımites
ı́mites direccionales
direccionales.)
.) Ilustramos esta
idea con el ejemplo siguiente: consideremos, para (x, (x, y ) R 2 (0 (0,, 0) , ∈ \{ }
xy
f (x, y ) =  x2 + y 2 . (55)

Entonces

ρ2 cos θ sen θ
F (ρ, θ ) = = ρ cos θ sen θ, (56)
ρ
y, como

|F (ρ, θ)| ≤ 12 ρ para todos lo

loss posible
posibless v
valore
aloress de θ, (57)

concluimos
concluimos que
lim f (x, y ) = 0. (58)
(x, y ) → (0, 0)

La gráfica
gr´afica de f (x, y ) se mostró
mostr´o en la Figura 5.

300

200

100

−100

−200

−300
3

−3
−1 −2
−1
0
−2 1
2
3
−3 4
5

√ xy
Figura 10: Gráfica
Gr´afica de la función
funci´on f (x, y ) = .
x2 −y

Observamos otra aplicación

aplicaci´on ú
util
´ til de las coordenadas polares en el estudio
de la función
funci´on

f (x, y ) =  xy , (59)
x2 y −
420 L´IMITES
ÍMITES UTILIZANDO COORDENADAS POLARES

definida para aquellos (x,

(x, y ) ∈ R2 tales que y < x2 (ver gráfica
gr´afica en la Figura
10). En este caso
3 cos θ sen θ
F (ρ, θ ) = ρ 2 , (60)
2
−
ρ cos θ sen θ

y todos los l´ı́ımites
mites direccionales toman el valorvalor com´
común
un 0.
En esta circunstancia, una, y solo una, de las afirmaciones siguientes es
cierta: o bien el l´ı́ımite
mite de f (x, y ) cuando (x,(x, y ) tiende a (0,
(0, 0) existe y es 0, o
bien el l´
l ı́ımite
mite no existe. No parece que el l´ı́ımite
mite sea 0, por
porque,
que, tan cerca de (0
( 0, 0)
como decidamos, podemos elegir puntos (x, (x, y ) tales que y se aproxima a x 2
mientras que el producto xy no se acerca a 0, y por lo tanto el cociente xy2 √
x −y
tiende a infinito. Expliquemos ahora esta idea por medio de las coordenadas
polares; en primer lugar notemos que la circunferencia de radio ρ y centro (0,
(0, 0)
tiene dos puntos de intersección par´abola y = x 2 , cuyas coordenadas
intersecci´on con la parábola
polares son

(ρ, θ1 ), (ρ, θ2 ), (61)

donde θ1 y θ2 son las soluciones en [0,
[0, 2π ) de
ρ cos2 θ − sen θ = 0 (62)
(que es la ecuación
ecuaci´on polar de la par´
parábola).
abola).

√ xy
Figura 11: A es el dominio de la función
funci´on f (x, y ) = .
x2 −y

Geoméetricamente
Geom´ tricamente es claro que uno de los angulos,
á´ngulos, digamos
digamos θ 1 , pertenece
π π
(0, 2 ) (ver Figura 11), y que el otro pertenece a ( 2 , π ).
a (0,
Como
lim F (ρ, θ ) = + ,
θ ↑θ1
∞ (63)
LA GACETA 421

y como esto puede hacerse para cualquier valor de ρ ρ,, el l´ımit

ı́m itee de f (x, y ) cuando
f (x, y ) tiende a (0,
(0, 0) no puede existir.
existir. En un lenguaje mate
matem´ mático
atico más
m´as formal,
p odrı́am
dr´ıamosos decir
de cir que
qu e eell l´ımite
ı́mi te de f (x, y ) cuando (x,
(x, y ) tiende a (0, (0, 0) no puede
ser ningún
ning´ un n´
número
umero real, ya que f (x, y ) no est´ a localmente acotada en (0 (0,, 0).
En este momento debe estar claro que
lim f (x, y ) = L (64)
(x, y ) → (0 , 0)

(siendo L ∈ R̄R¯ ) implica

lim F (ρ, θ ) = L para todos lo
loss posible
posibless v
valore
aloress de θ, (65)
ρ↓0

per o que el rec

pero rec´ı́ıproco
pro co no es cierto. Podr´
Podr ı́ıamos
amos preguntarnos
pregu ntarnos si (64) también
tambi´
en
implica (ver Figura 12)
lim F (ρ, θ ) = L para todos lo
loss posibles v
valore θ̄¯,
aloress de θ, (66)
(ρ,θ )→(0,θθ̄¯)

y si la condición
condici´on (66), siendo más
m´as fuerte que (65), es suficiente para que se
cumpla (64). Quizá
Quiz´a sorprenda a algunos lectores el hecho de que las condi-
ciones (64) y (66) son equivalentes, pero en efecto lo son, básicamente
b´asicamente como
consecuencia de la compacidad de [0,[0, 2π ] (ver Teorema 5 en la sección
secci´on 5).

¯, en (66) analizamos los valores de f (x, y ) para aquellos

Figura 12: Dado θ̄θ,
(x, y ) de coordenadas polares (ρ, ¯.
(ρ, θ ), con ρ cerca de 0 y θ cerca de θ̄θ.

Ası́ı,, hemos logrado establecer una condici´

As´ condición
on necesaria y suficiente para (64)
en el caso más
m´as general. Como ejemplo en el cual la condici´
condición
on (66) resuelve el
problema, consideremos la función
funci´on (ver gr´
gráfica
afica en la Figura 13)

x2 + y 2
f (x, y ) =
  , (67)
x2 + y 2 )[
sen(x
sen( x2 y 2 +
)[x x2 + y 2 ]
422 L´IMITES
ÍMITES UTILIZANDO COORDENADAS POLARES

300

250

200

150

100

50

−50

−100
3
2
3
1
2
0 1
−1 0
−1
−2
−2
−3 −3

√ x2 +y 2
Figura 13: Gráfica
Gr´afica de la funci´
función
on f (x, y ) =
sen(x2 +y 2 )[x2 y 2 +
√x2 +y 2 ]
.

definida para aquellos (x, sen(x 2 + y 2 ) = 0.

(x, y ) tales que sen(x
Entonces 
1
F (ρ, θ ) = , (68)
sen(ρ
sen( ρ2 )[ρ3 (cos θ )2 (sen θ )2 + 1]
)[ρ
y es claro que
lim F (ρ, θ ) = + ∞ para todo θ̄θ¯ ∈ [0[0,, 2π], (69)
(ρ,θ )→(0,θ̄θ¯)

De ah´
ah ı́ı,, en virtud de la equiv
equivalencia
alencia entre (64) y (66), se concluye que
lim
(x, y) → (0, 0)
f (x, y ) = + . ∞ (70)

Considerem
Conside remos
os ahora,
ahora, com
comoo una seg
segunda
unda apl
aplic
icaci
aci´óon
n de la condici´
condición
on (66), el
ejemplo
xy 2
f (x, y ) = 2 . (71)
x + y4
Recu´
Rec uér
erdedese
se que
qu e lim (x, y) → (0, 0) f (x, y ) no existe (ver Figura 2). Ahora

ρ cos θ(sen θ )2
F (ρ, θ ) = , (72)
(cos θ )2 + ρ2 (sen θ )4
y

π , 33π
π
lim F (ρ, θ ) = 0 pa odoo θ̄θ¯
parra tod ∈ [0[0,, 2π]
\  . (73)
(ρ,θ )→(0,θ̄θ¯) 2 2
LA GACETA 423

Pero se comprueba sin dificultad que

1
lim F (ρ, θ ) = lim F (ρ, arccos ρ) = , (74)
(ρ, θ) → (0, π2 ) ρ↓0 2
θ ρ
=arccos
y por tanto

lim
(ρ,θ )→(0, π2 )

F (ρ, θ) = 0 (75)

(en reali
realidad
dad este l´
l ı́ımite
mite no exis
existe),
te), lo que impli
implica,
ca, de acuerdo
acuerdo con la equiva-
equiva-
lencia entre (64) y (66), que lim (x, y) → (0, 0) f (x, y ) no existe.

5. TEOREMAS Y DEMOSTRACIONES

En esta sección
secci´on recogemos y demostramos los resultados que tienen que
ver con el uso de las coordena
ver coordenadasdas polar
polares.
es. Damos
Damos tambi
tambi´en
én una prueba
prueba del
Teorema 1 (de compactación
compactaci´on de variables).
Queremos hacer ´éenfasis
nfasis en que esta secci´
sección
on no es un ejercicio de futili-
dad, sino que permite fijar las ideas expuestas hasta el momento. Además,
Adem´as, la
precisión
precisi´
on que el lector puede encontrar aqu´
aquı́ı no está
est´
a del todo cubierta con las
explicaciones dadas en la sección
secci´on anterior.
Usamos las notaciones siguientes: R̄ R¯ =R ,+ , ∪{−∞ ∞}  · 
es la norma
euclidiana en R2 , es decir, (x, y ) = x2 + y 2 , y W  es el conjunto de puntos
 

de acumulación
acumulaci´on de W .
Recordemos que, dado W R, a ⊂ ∈
R es un punto de acumulación
acumulaci´on de W
si

− , a + ) \ {a}] ∩ W = ∅ para todo  > 00..

[(
[(a
a (76)

alogamente, dado W ⊂ R2 , (a, b) ∈ R2 es un punto de acumulación

Análogamente,
An´ acumulaci´on de W
si

[B ((
((a,
a, b), ) \ {(a, b)}] ∩ W = ∅ para todo  > 00,, (77)

donde

B ((
((a,
a, b), ) = (x, y ) { ∈ R2 : (x, y) − (a, b) < }. (78)

Esto significa
distintos de Wque
. todo entorno de a (resp., (a,(a, b)) contiene infinitos puntos
Todas las demostraciones se basan en la definición
definici´on ´epsi
ép silo
lon–
n–de
delt
ltaa de l´ımit
ı́m ite.
e.
424 L´IMITES
ÍMITES UTILIZANDO COORDENADAS POLARES

´ N EPSILON–DELTA
5.1 LA DEFINICION
Ó ´ PSILON–DELTA DE L´IMITE
É ÍMITE

funci´on f : A R2
Consideremos una función ⊂ →
R (i. e., A es el dominio de f ),

con A tal que A es no vacio, y (a,
(a, b) un punto de acumulación
acumulaci´on de AA.. Entonces,
si L R, se dice que
∈ lim f (x, y ) = L (79)
(x, y ) → ( a, b)

en caso de que
∀ > 00,, ∃δ > 0 tal que
[0 < (x, y ) − (a, b) < δ, (x, y ) ∈ A
A]] ⇒ |f (x, y ) − L| < . (80)
Se dice que
lim
(x, y ) → ( a, b)
f (x, y ) = + ∞ (81)

en caso de que
∀M > 00,, ∃δ > 0 tal que
[0 < (x, y ) − (a, b) < δ, (x, y ) ∈ A
A]] ⇒ f (x, y ) > M. (82)
Se dice que
lim
(x, y ) → ( a, b)
f (x, y ) = −∞ (83)

en caso de que
∀M > 00,, ∃δ > 0 tal que
[0 < (x, y ) (a, b) < δ, (x, y ) A]]
A f (x, y ) < M. (84)
 −  ∈ ⇒ −
´ N DEL TEOREMA 1 (COMPACTACION
5.2 DEMOSTRACION
Ó ´ N DE VARIABLES)
Ó
¯, L R, aunque alguno de ellos o ambos pueden
Hacemos la prueba para ψ̄
Hacemos ψ, ∈
ser ±∞
. Fijemos  > 0.
Sabemos que existe δ > 0 tal que
| − ψ̄ψ¯| < δ, s ∈ ψψ((A)] ⇒ |g(s) − L| < .
[0 < s (85)
Tomemos δ  tal que

[0 < (x, y ) − (a, b) < δ, (x, y) ∈ AA]] ⇒ |ψ(x, y) − ψ̄ψ¯| < δ. (86)
 
Como podemos elegir δ < δ , tenemos
[0 < (x, y ) (a, b) < δ  , (x, y ) A
 −  A]] ∈ ⇒ 0 < |ψ(x, y) − ψ̄ψ¯| < δ. (87)
LA GACETA 425

Ahora, de (85) y (87) se sigue que

∀ > 00,, ∃δ > 0 : 

[0 < (x, y ) − (a, b) < δ , (x, y) ∈ AA]] ⇒ |f (x, y) − L| < ,
(88)

es decir,

lim f (x, y ) = L, (89)

(x, y) → ( a, b)

como se quer´
quer ı́ıaa demostr
demostrar.
ar.

COORDENADAS POLARES. TEOREMAS

OORDENADAS
2
Como antes, consideramos una función
funci´on f : A R ⊂ →
R (con A tal que
A es no vaci
acio),
o), un pun punto
to de acu
acumu
mulac
laci´
ión
on de A al que llamamos (a,
(a, b), y
estudiam
estu diamos
os el l´ı́ımite
mit e
lim f (x, y ). (90)
(x, y) → ( a, b)

Notemos que (a,

(a, b) no es necesariamente (0,
(0, 0), y por lo tanto el cambio
a coordenadas polares es ligeramente distinto. Debemos usar coordenadas po-
lares centradas en (a,
(a, b), lo cual se hace tomando ρ > 0 y θ [0, ∈
[0, 2π ) tales
que

x = a + ρ cos θ, y = b + ρ sen θ. (91)

De acuerdo con esto, la función

funci´on F es

F (ρ, θ ) = f (a + ρ cos θ, b + ρ sen θ ). (92)

Queremos ser precisos, y para ello necesitamos tener en cuenta el dominio de

F , como ya hemos tenido en cuenta el dominio de f , A, en la definición
definici´on de
l´ımite.
ı́mit e. Con este prop´
pr opósito
osito definimos la aplicaci´
on de cambio de variable

ϕ : (0 ∞ × [0[0,, 2π) → R2,

(0,, + ) (93)

ϕ(ρ, θ ) = (a + ρ cos θ, b + ρ sen θ ). (94)

Es claro que

F (ρ, θ) = f (ϕ(ρ, θ ))
)),, (95)
426 L´IMITES
ÍMITES UTILIZANDO COORDENADAS POLARES

y en consecuencia el dominio de F es ϕ−1 (A), el conjunto de aquellos pares

∈
(ρ, θ) (0 ∞×
(0,, + ) [0[0,, 2π ) tales que ϕ(ρ, θ ) A ∈
A.. Llamemos

A = ϕ−1 (A), (96)

de modo que A es el dominio de F . Es un buen ejercicio comprobar los hechos

rculo centrado en (a, b) con radio r, entonces A  es el
siguientes: si A es un c´ı́ırculo
rectángulo
rect´
angulo (0 ×
(0,, r) [0 ∈
[0,, 2π ); si θ [0 
[0,, 2π ) y cos θ = 0, entonces ϕ((0
((0,, + ) ∞ ×{ }
θ )
es la semirrecta que tiene pendiente tan θ y extremo en (a, (a, b); si ρ (0 ∈ ∞
(0,, + ),
entonces ϕ( ρ{ }× [0
[0,, 2π )) es la circunferencia de centro (a, (a, b) y radio ρ.
Ahora explotamos la idea de que si el máximo | − |
m´aximo valor de f (x, y ) L sobre la
circunferencia centrada en (a, (a, b) con radio ρ tiende a 0 cuando ρ 0, entonces ↓
debe ser
lim f (x, y ) = L. (97)
(x, y ) → ( a, b)

Puesto que el dominio de f , A, es en principio un subconjunto arbitrario de

2
R
, debemos
esas considerar
circunferencias con A solamente
A; ; es decir,los puntos
dado que ρ
un radio est´
están
ρ, anpunto
, el en la de
intersecci´
intersección
on de
coordenadas
polares (ρ,
(ρ, θ) representa un punto de A solo para ciertos valores del ´angulo
ángulo θ

(en algunos casos para ningún
ning´un valor de θ ). Llamamos T (ρ) a este conjunto
de “valores válidos
v´alidos de θ ”.
´ N 1 Para ρ
DEFINICION
Ó ∈ (0
(0,, +∞), definimos
 
T (ρ) = {θ ∈ [0
[0,, 2π ) : (ρ, θ ) ∈ A }.
etrico de T  (ρ) cuando (a,
La Figura 14 muestra el significado geom´
geométrico (a, b) =
(0, 0) y A = (x, y ) R2 : x 0,
(0, { ∈ ≥
0 , y 0, ≥ 
0, (x, y ) 1 . ≤ }

[0, π2 ] si ρ
Figura 14: T  (ρ) = [0, ∈ (0
(0,, 1]; T 
(ρ) = ∅ si ρ > 1.
En la siguiente definición,
definici´on, n´
nótes
otesee que el suprem
supremoo (sup) y el ´ınfimo
ı́nfimo (inf)
¯
siempre existen en R̄
R.
LA GACETA 427

´ N 2 Dado L
DEFINICION
Ó ∈ R̄R¯ , G L : (0 ∞ → R̄R¯ es la funci´on definida por:
(0,, + )

0 si T (ρ) = ∅,

si L ∈ R, G L (ρ) = sup |F (ρ, θ ) − L| si T (ρ) =
 ∅,
θ T ρ
∈ ( )

 +∞ si T (ρ) = ∅,
G+∞ (ρ) = inf F (ρ, θ) si T (ρ) =
 ∅,
θ T
∈ ( ) ρ

 −∞ si T (ρ) = ∅,
G−∞ (ρ) = sup F (ρ, θ) si T (ρ) =
 ∅.
θ∈T  (ρ)

TEOREMA 2 Si L ∈ R, las siguientes afirmaciones son equivalentes:

(a) lim f (x, y ) = L
L..
(x, y) → ( a, b)

(b) Exi
Existen ρ0 > 0 y H : (0
sten (0,, ρ0 ) → R tales que
lim H (ρ) = 0, y
ρ↓0

|F (ρ, θ) − L| ≤ H (ρ) para todo (ρ, θ )
para ∈A nρ
con
co ∈ (0
(0,, ρ0 ).

(c) lim GL (ρ) = 0.

ρ↓0

´ N Si se cumple (a), entonces

DEMOSTRACION
Ó

∀ > 00,, ∃δ > 0 tal que

[0 < (x, y ) (a, b) < δ, (x, y ) A]]
A f (x, y ) L < , (98)
 −
o, equivalentemente,
 ∈ ⇒| − |
∀ > 0,0, ∃δ > 0 tal que

[ρ < δ, (ρ, θ ) ∈ A ] ⇒ |F (ρ, θ ) − L| < . (99)

Nótese
N´
otese que (99) implica

lim H (ρ) = 0 (100)

ρ↓0

si definimos H (ρ) = G L (ρ), con lo cual (b) se satisface.

El resto de la demostración
demostraci´on (i. e., (b) (c) y (c) (a)) es muy fácil
f´acil y se
omite. ⇒ ⇒
428 L´IMITES
ÍMITES UTILIZANDO COORDENADAS POLARES

NOTA 2 El lecto
OTA lectorr deb
deber
er´ıa
ı́a ser ca
cap
paz en este momento de obtener un resultado
an´
alogo al Teorema 2 para el estudio de

lim f (z ) = z 0
|z |↑+
|↑+∞
∈ C, (101)

donde f : A C ⊂ → ||
C y z es el m´ odulo de z .
L´ı́ımites
mites de este tipo
tipo sur
surgen
gen por ejemplo en la Mec´ anica de Fluidos. En el
caso particular de que A contenga un conjunto de la forma z C : z > M { ∈ || }
ara cierto M > 0 (p
para or ejemplo: A = C), se obtiene que (101) equivale a
(por
la existencia de un ρ0 > M y una funci´ on H : (ρ0 , + ) R ta ∞ →
tales
les que
|
limρ↑+∞ H (ρ) = 0 y F (ρ, θ ) z0 − |≤
H (ρ) para todo ρ > ρ0 y todo θ [0 ∈
[0,, 2π ),
donde F (ρ, θ ) = f (ρ cos θ + iρ sen θ ).
Ahora enunciamos dos resultados más
m´as para cubrir los casos
casos de l´ımites
ı́mites
infinitos. Las demostraciones pueden hacerse siguiendo la prueba del Teorema
2.

TEOREMA 3 Las siguientes afirmaciones son equivalentes:

(a) lim
(x, y ) → (a, b)
f (x, y ) = + .∞
(b) Exi
Existen ρ0 > 0 y H : (0
sten (0,, ρ0 ) → R ∪ {+∞} tales que
lim H (ρ) = + ,
ρ↓0
∞ y

≥ H (ρ)
F (ρ, θ ) para todo (ρ, θ )
para ∈A nρ
con
co ∈ (0
(0,, ρ0 ).

(c) lim G+∞ (ρ) = +∞.

ρ ↓0

TEOREMA 4 Las siguientes afirmaciones son equivalentes:

(a) lim
(x, y ) → (a, b)
f (x, y ) = −∞.
(b) Exi
Existen ρ0 > 0 y H : (0
sten (0,, ρ0 ) → R ∪{−∞} tales que
lim H (ρ) =
ρ↓0
−∞, y

≤ H (ρ)
F (ρ, θ ) para todo (ρ, θ )
para ∈A n ρ ∈ (0
con
co (0,, ρ0 ).

(c) lim G−∞ (ρ) = −∞.

ρ ↓0

Cuando
simple. Damos F ahora
tiene expresiones especiales,
cuatro corolarios el dirección.
en esta problema
direcci´ puede
on. Las resultar más
m´as
demostraciones
son ejercicios para el lector.
LA GACETA 429

COROLARIO 1 (F (ρ, θ ) = g (ρ)) Supongamos que existe ρ 0 > 0 tal que F (ρ, θ ) =
g(ρ) para todo (ρ, θ ) A con ρ < ρ0 . Entonces las siguientes afirmaciones
∈
son equivalentes (donde L R̄
R¯ ): ∈
(a) lim f (x, y ) = L.
(x, y) → ( a, b)

(b) lim g(ρ) = L

L..
ρ↓0

COROLARIO 2 (F (ρ, θ ) = h(θ )) Supongamos que existen ρ 0 > 0 y V


⊂ [0[0,, 2π)
tales que A (0 ∩{
(0,, ρ0 ) [0 ×
[0,, 2π ) = (0 } ×
(0,, ρ0 ) V y F (ρ, θ ) = h(θ ) p
para
ara todo
(ρ, θ )∈ (0, ×
(0, ρ0 ) V . EntEnton
oncces las sig
siguie
uiente
ntess afi
afirma
rmacio
ciones
nes son equi
quival
valent
entes
es
(donde L R): ∈
(a) lim f (x, y ) = L.
(x, y) → ( a, b)

(b) h(θ ) = L θ ∀ ∈V .
otese que en este caso L no puede ser
(N´ ±∞.)
COROLARIO 3 (F (ρ, θ ) − L = g(ρ)h(θ )) Sup
Supongamos que L
ongamos

∈
y que
R
existen ρ0 > 0 y V [0 ⊂
[0,, 2π ) tales que A (0 ∩{
(0,, ρ0 ) [0, ×
[0, 2π ) = (0}
(0,, ρ0 ) V ×
−
y F (ρ, θ ) L = g(ρ)h(θ) para para todo (ρ, θ ) (0 ∈ ×
(0,, ρ 0 ) V , donde h(θ ) no es
idénti
id´
enticamente
camente nul
nulaa y g(ρ) no es id´ idéntic
enticamente
amente nula en nig´ un entorno de 0.
Entonces las siguientes afirmaciones son equivalentes:
(a) lim f (x, y ) = L.
(x, y) → ( a, b)

(b) limρ ↓ 0 g(ρ) = 0 y

existe M R tal que h(θ) M θ V.
∈ | | ≤ ∀ ∈
COROLARIO 4 (F (ρ, θ ) = g (ρ)h(θ )) Supongamos que existen ρ 0 > 0 y V ⊂

[0,, 2π ) tales que A ∩ {(0
[0 (0,, ρ0 ) × [0 (0,, ρ0 ) × V y F (ρ, θ ) = gg((ρ)h(θ) para
[0,, 2π )} = (0
ρ, θ ) ∈ (0
todo ((ρ, (0,, ρ0 )×V , con h(
h(θ ) positiva. Entonces las siguientes afirmaciones
son equivalentes (donde I ∈ {−∞, +∞}):
(a) lim f (x, y ) = I .
(x, y) → ( a, b)

(b) limρ ↓ 0 g(ρ) = I y

existe α > 0 tal que h(θ ) ≥ α ∀θ ∈ V .
NOTA 3 En los Corolarios 2, 3 y 4 nos hemos restringido a formas especiales
OTA

del
4 y dominio de f , el
5 para tratar [Link]
El lector
de uninteresado
dominio A puede
que valerse
no entredeen
loslos
Teoremas 2, de
supuestos 3,
dichos corolarios.
430 L´IMITES
ÍMITES UTILIZANDO COORDENADAS POLARES

Llegados
Llegad os a este
este punto,
punto, que
querrrr´ı́ıamos
amos rel
relaci
aciona
onarr estos
estos res
result
ultados
ados con los
l´ı́ımite
mi tess direccion aless. Dado un ángulo
direccionale ´angulo θ , no siempre es posible aproximarse
al punto (a, (a, b) a lo largo de la semirrecta determinada por θ, ya que pudiera
suceder que dicha semirrecta no tenga puntos en común com´un con A, el dominio de
f , lo bastante próximos
pr´oximos a (a,
(a, b). En general, para θ [0 [0,, 2π ) dado, las coorde-
nadas polares (ρ, ∈
(ρ, θ ) representan un punto de A solamente para ciertos valores
de ρ. Llamamos R (θ ) al conjunto de estos “valores válidos v´alidos de ρ”.
´ N 3 Para θ
DEFINICION
Ó ∈ [0[0,, 2π), definimos
 
R (θ ) = {ρ ∈ (0 (0,, +∞) : (ρ, θ ) ∈ A }.
Con esta notación,
notaci´on, el l´ı́ımite
mite direccional sobre la semirrecta determinada
por el ´ángulo
angulo θ tiene sentido siempre que 0 ((R R  (θ )) . Llamamos Y al conjunto
∈
de áangulos
´ngulos para los cuales el l´ı́ımite
mite direccional tiene senti
sentido.
do.
´ N 4 Y es el subconjunto de [0
DEFINICION
Ó [0,, 2π ) definido por
Y = θ [0,, 2π ) : 0
[0 R (θ )) .
((R
{ ∈ ∈ }

Figura 15: R (θ ) = (0,

(0, 1] si θ ∈ [0[0,, 2 ]; R (θ) = ∅ si θ ∈ ( 2 , 2π). Y = [0,
π  [0, 2 ].
π π

En la Figur
Figuraa 15 se mue
muestra
stra el signi
significado
ficado geom étrico de R  (θ ) y de Y
geom´etrico
cuando (a, (0, 0) y A = (x, y ) R2 : x 00,, y 00,, (x, y )
(a, b) = (0, { ∈ ≥ ≥ 
1 . ≤ }
El resultado siguiente, ahora fácil
f´acil de demostrar, nos dice que si el l´ımite
ı́mite
es L, entonces todos
tod os los l´ımites
ı́mites direccionales
direccion ales también
tambi´
en deben
deb en ser L.
COROLARIO 5 Supongamos que
lim f (x, y ) = L
(x, y ) → ( a, b)

(donde L ¯ ).
R̄
R Entonces
∈ lim F (ρ, θ ) = L para todo θ ∈ YY..
ρ↓0
LA GACETA 431

NOTA 4 En ocasiones se
OTA s e dice que se cumple el rec´
recıproco
ı́proco del Corolario 5 cuando
limρ ↓ 0 F (ρ, θ ) = L un
uniformement
iformementee een
n θ,
θ , en el sentido de que debe satisfacerse
la parte (b) o, equivalentemente, la parte (c) del Teorema 2, 3 o 4. Para invitar
a la reflexi´ erese f : A R 2
on sobre la primera frase de esta nota, considérese
consid´ →
R, ⊂
2 2 2
(x,ny )A∈=A{ (co
con
co x,ny )y ∈> R0, f: (x, x }0 (ver
y y<) = si (x,Figura confy(x,≤y )0.=Tambi´
y ) ∈ A11), x −
1/ ién yede
si
con con Tamb en pu
puede

suceder que Y = ∅, por ejemplo si el dominio de f es A = {(x, x 2 ) ∈ R2 : x ∈
R}.

Queda solamente un cosa: la equivalencia entre

lim f (x, y ) = L (102)

(x, y ) → ( a, b)

lim F (ρ, θ ) = L para todos lo

loss posible
posibless v
valore θ̄¯.
aloress de θ. (103)
(ρ,θ )→(0,θ̄θ¯)

Ahora el conjunto de “todos los posibles valores de θ̄θ” ¯” puede ser más
m´as
grande que Y . En efec
efecto,
to, para dar sen
sentido
tido al l´ımite
ı́mite en (103) basta que (0 ¯)
(0,, θ̄θ)
acumulaci´on del dominio de F , A  . Llamamos Z al conjunto
sea un punto de acumulación
¯”.
de “todos los posibles valores de θ̄θ”.
´ N 5 Z es el subconjunto de [0
DEFINICION
Ó [0,, 2π ] definido por
Z= θ { ∈ [0[0,, 2π] : (0, θ) ∈ ((AA )}.


La prueba de la equivalencia entre (102) y (103) es ligeramente más

m´as difı́
if´ıcil
c il
que las demostraciones anteriores.
anteriores. Esto es as
as´ı́ı porque necesitamos usar el con-
cepto de conjunto compacto en R. Un subconjunto K de R es compacto si es
cerrado y acotado. Todo conjunto compacto K tiene la siguiente propiedad: si

K Bj , ⊂ (104)
j ∈J

donde Bj es abierto para todo j ∈

J y J es posiblemente infinito, entonces
existe un número
n´
umero finito de ´ı́ndices
ındices en J , digamos j 1 , . . . , jN , de tal forma que

K ⊂B ∪···∪B
j1 jN . (105)

LEMA 1 El conjunto Z es compacto.

´ N Puesto que Z es acotado, es suficiente demostrar que Z es

DEMOSTRACION
Ó
R
cerrado en . Si definimos
γ (θ) = (0,
(0, θ ) (106)
432 L´IMITES
ÍMITES UTILIZANDO COORDENADAS POLARES

para θ ∈ [0[0,, 2π], entonces

Z = γ −1 ((A ) ),
((A (107)
 
R
y en
es consecuencia
cerrado Z es cerrado (en [0,
y γ es continua. [0, 2π ], y por lo tanto en ), porque (A
(A )

LEMA 2 Supongamos que Ω es un abierto de R tal que Z ⊂ ΩΩ.. Entonces existe

ρ0 > 0 tal que
A ∩ {(0
(0,, ρ0 ) × [0
[0,, 2π )} ⊂ (0
(0,, ρ0 ) × Ω.

´ N Supongamos que el lema es falso. Entonces, para cada n

DEMOSTRACION
Ó
 1
∈ N,
existe (ρn , θn )
existe ∈
A con ρn < n tal que θn Ω. Nótese ∈
N´otese que la sucesión
sucesi´on
{ }
(ρn , θn ) est´
estáa acotada, y por lo tanto contiene una subsucesi´
subsucesión
¯) el punto l´ı́ımite.
on convergente,
que llamamos de d e nuevo (ρn , θn ) . Sea (0,
(0, θ̄θ) Clar amente θ̄θ¯ Z ,
mite . Claramente
{
porque (ρn , θn ) } ⊂ A {, pero por} otra parte esto es imposible, ya que θ ∈∈ Ω
 n
para todo n.

El resultado siguiente es, en forma de teorema, la equivalencia entre (102)

y (103).

TEOREMA 5 Las afirmaciones siguientes son equivalentes (donde L ∈ R̄R¯ ):

(a) lim f (x, y ) = L.
(x, y ) → (a, b)

(b) lim F (ρ, θ ) = L para todo θ̄θ¯ ∈ Z.

(ρ,θ )→(0,θθ̄¯)

´ N La parte (a)
DEMOSTRACION
Ó ⇒ (b(b)) es una con
consec
secuen
uencia
cia inm
inmedi
ediata
ata de los
Teoremas 2, 3 y 4. Para comprobar que (b) ⇒ (a) supongamos, por motivos
de simplicidad, que L ∈ R. ((El
El teor
teorema
ema tambi´
también v´alido si L = ±∞.) Fijemos
en es válido
 > 0.
Si se cumple (b), entonces

para cada θ̄θ¯ Z, δ (θ̄θ)

¯) > 0 tal que
∈ ∃
¯), 0 < θ
[ρ < δ(θ̄θ) | − | θ̄θ¯ < δ (θ̄θ)
¯), (ρ, θ ) A  ] ∈ ⇒|
F (ρ, θ ) L < . − | (108)

Puesto que

Z ⊂ (θ̄θ¯ − δ(θ̄θ)¯), θ̄θ¯ + δ(θ̄θ)¯)) (109)


θ̄¯∈Z
θ
LA GACETA 433

y, en virtud del Lema 1, Z es compacto, existen θ̄θ¯1 , . . . , θ̄θ¯N en Z tales que

N
Z ⊂ (θ̄θ¯i − δ , θ̄θ¯ + δ ),
i i i (110)
i=1

donde δi = δ (θ̄θ¯i ). Es claro que (108) implica que
∃δ = min{δ1 , . . . , δ } > 0 tal que N
[ρ < δ, 0 < |θ − θ̄θ¯ | < δ para algún
i un i ∈ {1, . . . , N }, (ρ, θ ) ∈ A ] ⇒
alg´ 

|F (ρ, θ) − L| < . (111)

Por otra parte, y de acuerdo con (110), el Lema 2 nos asegura la existencia
de ρ0 > 0 cumpliendo
N
A ∩ {(0
(0,, ρ0 ) × [0
[0,, 2π )} ⊂ (0
(0,, ρ0 ) × (θ̄θ¯i − δ , θ̄θ¯ + δ ).
i i i (112)
i=1

Por último,
ultimo,
´ (111) y (112) implican

∃δmin = min{δ, ρ0 } > 0 tal que (113)

[ρ < δmin , (ρ, θ ) ∈ A ] ⇒ |F (ρ, θ ) − L| < , (114)
o, equivalentemente,
∃δmin = min{δ, ρ0 } > 0 tal que
[0 < (x, y ) − (a, b) < δmin , (x, y ) ∈ A
A]] ⇒ |f (x, y ) − L| < , (115)
esto es, se satisface (a).

AGRADECIMIENTOS

Los autores desean expresar su agradecimiento a un informante anónimo, an´onimo,

por haber aconsejado ciertos cambios en una primera versión versi´on que han mejorado
el art
art´ı́ıculo.
culo. En particu
particular,
lar, a ´él
el se debe
deb e la inclusión
inclusi´on de la Proposici´
Proposición
on 1.

REFERENCIAS

[1] M. A. Armstrong, Topo

Topollogı́
og´ıaa B´asica, Reverté,
Revert´e, Barcelo
B arcelona,
na, 1987.
1987 . [Edici´
[Ed ición
on original:
Basic Topology, McGraw–Hill, Maidenhead, Berkshire, England, 1979.]
[2] C. B. Boyer, Newton as the originator of polar coördinates,
co¨ordinates, Amer. Math. Month-
ly 56 (1949) no. 2, 73–78.
434 L´IMITES
ÍMITES UTILIZANDO COORDENADAS POLARES

[3] J. B. Conway, Functions of one complex variable I , Springer, New York, USA,
1978 (segunda edición;
edici´on; primera edici´
edición:
on: 1973).
[4] J. L. Coolidge, The origin of polar coordinat
co ordinates,
es, Amer. Math. Monthly 59 (1952)
no. 2, 78–85.
[5] J. E. Marsden y A. J. Tromba, Ve Vector
ctor calculus
calculus, W. H. Freeman, New york,
USA, 1996 (cuarta edición;
edici´on; primera edición:
edici´on: 1976).

Juan Bosco Ferreiro Darriba

Universidade de Santiago de Compostela
Escolaa Politécnica
Escol Polit´ecnica Superior
Sup erior
Departamento de Matemática
Matem´atica Aplicada
Campus Universitario s/n
27002 Lugo Correo electrónico:
electr´onico: jbosco@[Link]
jbosco@[Link]..es.
´ scar López
Ó
Oscar L´opez Pouso
Universidade de Santiago de Compostela
Facultade de Matemáticas
Matem´aticas

Departa mento de Matématica

Departamento Mat´ematica
CampusAplicada
Aplica da
Sur s/n
15782 Santiago de Compostela (A Coruña)
Coru˜na)
Correo-electrónico:
Correo-electr´
onico: oscarlp@[Link]