Capı́tulo 4

Lı́mites de Funciones

A continuación pasamos al estudio de funciones, dando inicialmente un en-

foque general de funciones entre espacios métricos cualesquiera, para concretar
seguidamente desarrollando la teorı́a de funciones reales de una, dos y más varia-
bles reales.

4.1. Concepto de función. Funciones fundamentales

Definición 4.1 Sean X e Y dos espacios métricos y suponiendo que a cada ele-
mento x de X se le asocia un elemento de Y que representaremos por f (x),
entonces se dice que f es una función de X en Y , y se representa,

y = f (x)

A x se le denomina variable de f . El conjunto X se llama dominio de defini-

ción de f o campo de variación de la variable, y todos los elementos f (x) de Y
se llaman valores de f , siendo el rango o imagen de f el conjunto de todos sus
valores.
Denominaremos a partir de ahora funciones fundamentales a las funciones
reales de una,dos o más variables reales, esto es, el caso en que Y sea R, y X sea
R, R2 o Rn , en las que centraremos el estudio de funciones.

4.2. Lı́mites de funciones. Existencia y unicidad. Propiedades

Sea X un espacio métrico, x un punto de X y E un entorno de x. Al conjunto
E − {x} se le llama entorno reducido de x, y se representa por E ∗ .

97
98 Lı́mites de Funciones

Definición 4.2 Sean X e Y dos espacios métricos, A ⊂ X, a un punto de acumu-

lación de A y f un función de A en Y . Se dice que l es el lı́mite de f en a, o que
f tiende a l cuando x tiende al valor a, y se escribe:

f (x) −→ l cuando x −→ a

si, y solo si, para todo entorno G de l existe un entorno E de a tal que,

f (E ∗ ∩ A) ⊂ G

Recordando la relación entre entorno y bola abierta, podemos establecer la

siguiente definición de lı́mite, equivalente a la anterior.

Definición 4.3 Sean X e Y dos espacios métricos, A ⊂ X, a un punto de acumu-

lación de A, f una función de A en Y . Se dice que l es el lı́mite de f en a, o que
f (x) tiende a l cuando x tiende al valor a, si, y solo si, para todo ε > 0 existe un
δ > 0, tal que, si se cumple
0 < dx (x, a) < ε
entonces también se cumple

dy (f (x) , l) < ε

Obsérvese que f no tiene que estar necesariamente definida en a, y en caso

de estarlo, f (a) puede ser distinto de l. Por otro lado, l no tiene que pertenecer
necesariamente a la imagen de f .

Teorema 4.1 Sean X e Y dos espacios métricos, A ⊂ X, a un punto de acumu-

lación de A, y f una función de A en Y . Si f posee lı́mite cuando x −→ a, dicho
punto lı́mite es único.

Demostración. Supongamos que existan dos lı́mites:

f (x) −→ l
f (x) −→ l0

cuando x −→ a. Sean G y G0 dos entornos de l y l0 , respectivamente, tales que

G ∩ G0 = ∅. Según la definición 4.2, existen dos entornos de a, E y E 0 , tales que
∗
f (E ∗ ∩ A) ⊂ G y f E 0 ∩ A ⊂ G0

por lo tanto E ∩ E 0 es un entorno de A que verifica

∗
f (E ∩ E 0 ) ∩ A ⊂ G ∩ G0


Lı́mite de una función real de una variable real 99

∗
siendo entonces (E ∩ E 0 ) ∩ A = ∅, lo que contradice que a sea punto de acumu-
lación de A y por lo tanto el lı́mite, si existe es único.
Con este resultado de unicidad del lı́mite, podemos representar el lı́mite de
una función de la forma siguiente:
lı́m f (x) = l
x→a

En el caso de las funciones reales, los lı́mites tienen diversas propiedades,

exponiéndose a continuación las más importantes.
Propiedades 4.1 Sea X un espacio métrico, A ⊂ X, a un punto de acumulación
de A, y f , g, dos funciones de A en R. Si f (x) −→ l1 y g(x) −→ l2 cuando
x −→ a, se verifica,
a) (f + g) (x) −→ l1 + l2
b) (f · g) (x) −→ l1 · l2
c) (f /g) (x) −→ l1 /l2 , si l2 6= 0.
Propiedades 4.2 Sea X un espacio métrico, A ⊂ X, a un punto de acumulación
de A y f , g dos funciones de A en R, tales que f (x) ≤ g(x) para todo x ∈ A. Si
f (x) −→ l1 y g(x) −→ l2 cuando x −→ a, se verifica que l1 ≤ l2 .
Propiedades 4.3 Sea X un espacio métrico, A ⊂ X, a un punto de acumulación
de A y f , g, h tres funciones de A en R, tales que f (x) ≤ g(x) ≤ h(x) para todo
x ∈ A. Si f (x) y h(x) tienden a l cuando x −→ a, también g(x) −→ l.
Propiedades 4.4 Sea X un espacio métrico, A ⊂ X, a un punto de acumulación
de A y f , g dos funciones de A en R. Si f (x) −→ 0 cuando x −→ a y g está
acotada en un entorno de a, el producto f (x) · g(x) también tiende a cero.

4.3. Lı́mite de una función real de una variable real

Se estudia a continuación el caso de funciones f definidas anteriormente de
A ⊂ R en R. La definición de lı́mite dada anteriormente de forma general se
concreta ahora de la forma siguiente,
f (x) −→ l cuando x −→ a si, y solo si,
∀ε > 0, ∃ δ > 0 / |x − a| < δ → |f (x) − l| < ε
Si al sustituir en la función el punto donde se calcula el lı́mite, el resultado es
finito, ese es el valor del lı́mite. En cambio, si el resultado de esa sustitución es al-
guna de las operaciones siguientes: {∞−∞}, {∞/∞}, {0/0}, {∞ 0}, {1∞ },{∞0 },
{00 }, se dice que el lı́mite es indeterminado y habrá que desarrollar la expresión
o aplicar alguna técnica de resolución especı́fica para llegar al resultado.
100 Lı́mites de Funciones

4.3.1. Lı́mites laterales. Lı́mite infinito y lı́mites en el infinito

Definición 4.4 Sea A ⊂ R, a un punto de acumulación de A y f una función de
A en R. Se dice que l+ es el lı́mite por la derecha de f (x) cuando x −→ a y se
representa
lı́m+ f (x) = l+
x→a

si ∀ε > 0 ∃δ > 0 / ∀x ∈ (a, a + δ) se cumple que |f (x) − l+ | < ε.

Igualmente se puede definir el lı́mite por la izquierda,

Definición 4.5 Sea A ⊂ R, a un punto de acumulación de A y f una función de

A en R. Se dice que l− es el lı́mite por la izquierda de f (x) cuando x −→ a y se
representa
lı́m− f (x) = l−
x→a

si ∀ε > 0 ∃δ > 0 / ∀x ∈ (a − δ, a) se cumple que |f (x) − l− | < ε.

Evidentemente una función f tendrá lı́mite l cuando x → a si, y solo si, los
lı́mites laterales coinciden:

lı́m f (x) = l si, y solo si, lı́m f (x) = lı́m− f (x) = l

x→a x→a+ x→a

Definición 4.6 Se llama entorno de +∞ en R a todo conjunto de la forma (b, +∞),

b ∈ R. Del mismo modo, se definen los entornos de −∞ como los conjuntos de
la forma (−∞, b), b ∈ R.

Con estas definiciones de entornos de ±∞, la definición 4.2 se puede aplicar

cuando,

a) X = R y a = ±∞

b) Y = R y l = ±∞

c) X = R, a = ±∞ y l = ±∞

dando lugar a las definiciones siguientes,

Definición 4.7 Sea A un subconjunto de R, tal que +∞ (ó −∞) sea punto de
acumulación de A y f una función de A en R. Se dice que f posee lı́mite l en el
punto del infinito +∞ (ó −∞), si y solo si para todo ε > 0 existe un M ∈ R tal
que para todo x ∈ A y |x| > M se cumple,

|f (x) − l| < ε
Lı́mite de una función real de una variable real 101

Definición 4.8 Sea A un subconjunto de R, a un punto de acumulación de A y f

una función de A en R. Se dice que f tiene lı́mite infinito +∞ (ó −∞) cuando
x −→ a, si, y solo si, para todo M ∈ R, M > 0, existe un δ > 0 tal que si
|x − a| < δ se cumple f (x) > M (ó, para −∞, f (x) < −M ).

Definición 4.9 Sea A un subconjunto de R, tal que +∞ (ó −∞) sea punto de
acumulación de A y f una función de A en R. Se dice que f posee lı́mite +∞
cuando x −→ +∞ (ó −∞), si, y solo si, para todo M ∈ R existe un k ∈ R, tal
que para todo x ∈ A y x > k (ó x < k) se cumple f (x) > M . De igual forma se
define f (x) −→ −∞ cuando x −→ +∞ (ó −∞).

Ejemplo 4.1 Calcular el lı́mite siguiente,

xx − x
lı́m
x→1 1 − x + ln x

Para resolver este lı́mite aplicaremos la Regla de L’Hopital (ver Sec. 6.3.2.3)
dos veces consecutivamente,

xx − x
 
0 L0 H x x+1
lı́m = −−−→ = lı́m x (1+ln1
x)−1
= lı́m x (1+ln
1−x
x)−x
x→1 1 − x + ln x 0 x→1 −1 x→1
x
1
L0 H xx+1 ( x +1+ln x)(1+ln x)+xx −1
−−−→ = lı́m −1 = −2
x→1

4.3.2. Infinitésimos e infinitos

Definición 4.10 Se denomina infinitésimo a una función real y = f (x) que tiene
lı́mite cero (para x −→ a ó x −→ ∞).

Un infinitésimo es, por tanto, una función cuyo valor absoluto puede hacerse
tan pequeño como se quiera, a partir de un cierto valor de la variable en adelante.

Propiedades 4.5 Se cumplen las siguientes propocisiones,

a) La suma algebraica de un número finito de infinitésimos es otro infinitésimo.

b) El producto de un infinitésimo por una constante cualquiera, o por una

variable acotada, es un infinitésimo. Por tanto, el producto de infinitésimos
es otro infinitésimo.

c) El cociente de un infinitésimo por una constante no nula, o por una variable

cuyo valor absoluto está acotado inferiormente, es un infinitésimo.
102 Lı́mites de Funciones

Si el cociente de dos infinitésimos tiene lı́mite finito no nulo se dice que ambos
infinitésimos son del mismo orden.
y1
lı́m =l
x→a y2

Si l es finito no nulo, entonces O(y1 ) =O(y2 ). Si l es igual a cero, entonces y1

es de orden superior a y2 . Si l es infinito, y1 es de orden inferior a y2 . En caso de
que l no exista, se dice que ambos infinitésimos no son comparables.
Cuando x −→ a, el infinitésimo que se adopta como término de comparación
es x−a, al cual se le denomina infinitésimo principal; si se consideran infinitésimos
para x −→ +∞ ó x −→ −∞, el infinitésimo principal es x1 .
Definición 4.11 Sea γ el infinitésimo principal de comparación de otro dado y(x)
de orden α, y sea l el lı́mite del cociente de ambos, se llama parte principal de
infinitésimo y(x) a,
y ≈ l γα
Propiedades 4.6 (Operaciones con infinitésimos).
a) El orden de un infinitésimo no varı́a al sumarle o restarle otro de orden
superior.
b) Si el cociente de dos infinitésimos tiene por lı́mite 1, su diferencia es de
orden superior a ambos.
c) El orden de una suma de infinitésimos es el del sumando de menor orden.
Definición 4.12 Dos infinitésimos se dice que son equivalentes si el lı́mite de su
cociente es 1.
A continuación se presentan algunas equivalencias entre infinitésimos, de uti-
lidad en el cálculo de lı́mites (infinitésimos equivalentes),

Infinitésimos equivalentes
ln (1 + x) ≈ x
ax − 1 ≈ x · ln a, a>0
2
x
1 − cos x ≈
2
sen x ≈ x
tg x ≈ x
arcsen x ≈ x
arctg x ≈ x
Lı́mites de una función de dos variables reales 103

Ejemplo 4.2 Calcular el lı́mite siguiente,

 x1
ax + bx + cx

lı́m
x→0 3

siendo a, b, c ∈ R.
Para resolver este lı́mite indeterminado aplicaremos la técnica de sustitución de
infinitésimos equivalentes,
1
ax + bx + cx x x x x

lı́m 1 ln( a +b3 +c )
lı́m = {1∞ } = ex→0 x
x→0 3
x x x x x x
I.E. lı́m 1 ( a +b3 +c −1) lı́m 1 ( a −1 ) lı́m 1 ( b −1 ) lı́m 1 ( c −1 )
−−−→= ex→0 x = ex→0 x 3 ex→0 x 3 ex→0 x 3
I.E. lı́m 1 ( x ln a ) lı́m 1 ( x ln b ) lı́m 1 ( x ln c ) √3
−−−→= ex→0 x 3 ex→0 x 3 ex→0 x 3 = abc

Definición 4.13 Dada una función real y = f (x), si tiene lı́mite infinito, (para
x → a o para x → ∞) se llama infinito.

De forma similar que con los infinitésimos, se puede definir el orden de un infi-
nito y su parte principal a partir de la comparación con los infinitos equivalentes
1 1
x cuando x → 0, o bien x−a cuando x → a.

4.4. Lı́mites de una función de dos variables reales

A continuación se estudia el caso de funciones f definidas de A ⊂ R2 en R.

4.4.1. Lı́mite doble. Lı́mites direccionales. Lı́mites reiterados

Definición 4.14 Se dice que la función real f (x1 , x2 ), tiende a l (lı́mite doble)
cuando (x1 , x2 ) → (a1 , a2 ) si se verifica que dado un ε > 0, es posible encontrar
un δ > 0, tal que si se cumple
h i1/2
2 2
(x1 − a1 ) + (x2 − a2 ) <δ

entonces también se cumple

|f (x1 , x2 ) − l| < ε

y se escribe
lı́m f (x1 , x2 ) = l
x1 →a1
x2 →a2
104 Lı́mites de Funciones

A veces es útil hacer un cambio a polares para el cálculo del lı́mite doble,

x1 = ρ cos ω + a1
x2 = ρ sen ω + a2

y ver si la función resultante tiende a un valor independiente de ω cuando ρ → 0,

lı́m f (x1 , x2 ) = lı́m φ (ρ, ω) = l

x1 →a1 ρ→0
x2 →a2

Ejemplo 4.3 Calcular el siguiente lı́mite doble,

xy + x + y
lı́m
x→0 x+y
y→0

Aplicamos el cambio a coordenadas polares,

xy + x + y ρ2 cos ω sen ω + ρ cos ω + ρ sen ω

lı́m = lı́m
x→0 x+y ρ→0 ρ cos ω + ρ sen ω
y→0
ρ cos ω sen ω + cos ω + sen ω cos ω + sen ω
= lı́m = =1
ρ→0 cos ω + sen ω cos ω + sen ω

Pero esto solo ocurre si siempre se cumple sen ω 6= −cos ω ∀ω ∈ R, lo cual no es

cierto, ya que la ecuación sen ω = −cos ω tiene solución en R (ωk = 3π 4 + kπ).
En estos casos de ωk , el lı́mite tiende a ∞. Luego, al ser el resultado dependiente
del valor de ω la función no tiene lı́mite doble en el origen.

Otro método de cálculo directo del lı́mite doble, cuando se trata de expresio-
nes racionales, consiste en transformar la función en términos de x2 /x1 (o x1 /x2 )
sacando factor común en el numerador y en el denominador, y luego simplifi-
cando, una potencia de x1 o x2 , respectivamente. El grado de dicha potencia se
corresponde con el del sumando de menor grado de ambos polinomios de x1 , x2 .
P1 (x1 ,x2 ) Q1 (x1 ,x2 ,x2 /x1 )
lı́m f (x1 , x2 ) = x lı́m
x1 →a1 →a P2 (x1 ,x2 ) = x lı́m
→a Q2 (x1 ,x2 ,x2 /x1 ) =l
1 1 1 1
x2 →a2 x2 →a2 x2 →a2

A continuación se estudia el resultado del lı́mite cuando x2 /x1 (o x1 /x2 ) , tiende a

k 6= 0, a k = 0 y a ±∞. Si en los tres casos coinciden los valores de los resultados
independientemente del valor de k, entonces el lı́mite doble existe y toma ese
valor. En caso contrario, el lı́mite doble no existe.
Lı́mites de una función de dos variables reales 105

Ejemplo 4.4 Calcular el lı́mite doble del Ej. 4.3 por este método.
Sacamos factor común x en el numerador y en el denominador,

xy + x + y x(y + 1 + xy ) y + 1 + xy
lı́m = lı́m = lı́m
x→0 x+y x→0 x(1 + xy ) x→0 1 + xy
y→0 y→0 y→0
 y+1
 Si xy → 0 ⇒ l = lı́m =1
1


 x→0

 y→0
y+1+k


 y
= Si x → k 6= 0 ⇒ l = lı́m = 1 (si, y solo si, k 6= −1)
x→0 1+k
 y→0
y+1+m


Si xy = m → ∞ ⇒ l = lı́m


 =1

 x→0 1+m
y→0

m→∞

Obsérvese que es posible que xy = k pueda tender a −1. Este es el caso, por
ejemplo, de la dirección y = −tg x. Por tanto, el lı́mite doble no existe al depender
del valor de k.

Definición 4.15 Se dice que la función real f (x1 , x2 ) tiene lı́mite direccional ld
cuando (x1 , x2 ) → (a1 , a2 ) según una cierta dirección dada por x2 = g (x1 ) si se
verifica que dado un ε > 0, existe un δ > 0 tal que si se cumple,

h i1/2
2 2
(x1 − a1 ) + (x2 − a2 ) <δ

entonces también se cumple,

|f (x1 , x2 ) − ld | < ε

con la condición,

(x1 , x2 ) ∈ A ⊂ R2 / x2 = g (x1 ) y a2 = g (a1 )



y se escribe,
lı́m
x1 →a1
f (x1 , x2 ) = ld
x2 →a2
x2 =g(x1 )
106 Lı́mites de Funciones

Ejemplo 4.5 Calcular el lı́mite direccional del Ej. 4.3 según la dirección dada por
la curva y = mxα , ∀α > 0.
xy + x + y xmxα + x + mxα
lı́m = lı́m
x→0 x+y x→0 x + mxα
y→0
y=mxα

x(mxα + 1 + mxα−1 )

1
Si α > 0 ⇒ l = lı́m = =1


α−1



 x→0 x(1 + mx ) 1
 x(mx + 1 + m) 1+m
= Si α = 0 ⇒ l = lı́m = = 1 ⇔ m 6= −1)
 x→0 x(1 + m) 1+m
α 1−α


 x (mx + x + m) m
Si α < 0 ⇒ l = lı́m = =1


x→0 α
x (x 1−α + m) m

Es decir, todos los lı́mites de la función en la dirección y = mxα coinciden y

toman el valor 1, excepto para el caso y = −x, en el que el lı́mite resulta,

−xy + x + y −x2 + x − x −x2

lı́m = lı́m = lı́m = lı́m −∞ = −∞
x→0 x+y x→0 x−x x→0 0 x→0
y→0
y=−x

En el caso particular en que las direcciones vienen dadas por rectas que pasan
por el punto (a1 , a2 ), x2 − a2 = m (x1 − a1 ), el lı́mite se denomina radial.
La existencia del lı́mite doble implica que existen todos los lı́mites direccio-
nales, que coinciden con él. Sin embargo, esto no ocurre a la inversa.

Ejemplo 4.6 Calcular los lı́mites radiales del Ej. 4.3.

Se trata de los lı́mites en la dirección y = mx, que coinciden con el caso anterior
cuando α = 1. Por tanto, los lı́mites radiales también son todos iguales a 1,
excepto pata el caso y = −x, en el que resulta −∞.

Definición 4.16 Se denominan lı́mites reiterados asociados a una función real

f (x1 , x2 ) cuando (x1 , x2 ) → (a1 , a2 ) a los siguientes valores:
 
lı́m lı́m f (x1 , x2 ) = lr1
x1 →a1 x2 →a2
 
lı́m lı́m f (x1 , x2 ) = l r2
x2 →a2 x1 →a1

Esto significa que en el primer lı́mite reiterado, se calcula el lı́mite que está
entre corchetes haciendo tender x2 a a2 y operando como si de una función de
una variable se tratase, tomando x1 como si fuera una constante. A continuación,
si existe dicho lı́mite, se hace tender x1 a a1 y se opera como una función de una
Generalización a una función de n variables reales 107

variable. En el segundo lı́mite se sigue un razonamiento similar, pero en orden

inverso.
Los dos lı́mites reiterados no tienen por qué ser iguales necesariamente, aunque
si existiesen el lı́mite doble y ambos reiterados, estos dos coincidirı́an y serı́an
iguales al valor del lı́mite doble. Sin embargo, la existencia de los lı́mites reiterados
no implica la existencia del lı́mite doble.

Ejemplo 4.7 Calcular los lı́mites reiterados del Ej. 4.3.

 
xy + x + y hxi
lr1 = lı́m lı́m = lı́m =1
x→0 y→0 x+y x→0 x
   
xy + x + y y
lr2 = lı́m lı́m = lı́m =1
y→0 x→0 x+y y→0 y

En este caso se cumple que los lı́mites reiterados coinciden y toman el valor 1.
Este es un buen contraejemplo para demostrar que la existencia de los lı́mites
reiterados, aunque coincidan, no asegura la existencia de lı́mite doble, como ocu-
rre en este caso donde el lı́mite doble ya hemos comprobado que no existe.

4.5. Generalización a una función de n variables reales

Definición 4.17 Sea A ⊂ Rn y f una función de A en R. Se dice que l es el
lı́mite de f en a, o que f (x1 , x2 , ..., xn ) tiende a l cuando (x1 , x2 , ..., xn ) −→
(a1 , a2 , ..., an ), si, y solo si, para todo ε > 0 existe un δ > 0, tal que si se cumple
h i1/2
2 2 2
(x1 − a1 ) + (x2 − a2 ) + · · · + (xn − an ) <δ

entonces también se cumple

|f (x1 , x2 , ..., xn ) − l| < ε

y se escribe
lı́m f (x1 , x2 , ..., xn ) = l
x1 →a1
x2 →a2
·······
xn →an
108 Lı́mites de Funciones

4.6. Ejercicios resueltos

Ejercicio 4.1 Calcular el lı́mite,
sen2 x cos2 x
lı́m
x→0 x2
0
El resultado de este lı́mite es 0 , por tanto, para resolver este lı́mite podemos
usar infinitésimos equivalentes o L’Hopital. Mediante infinitésimos equivalentes
obtenemos:
sen2 x cos2 x I.E. x2 cos2 x
lı́m −−−→ lı́m = lı́m cos2 x = 1
x→0 x2 x→0 x2 x→0

Mediante L’Hopital, lo tenemos que aplicar dos veces para que desaparezca la x
del denominador,
sen2 x cos2 x L0 H sen x cos3 x − cos x sen3 x L0 H
lı́m −−−→ lı́m −−−→
x→0 x2 x→0 x
L0 H
−−−→ lı́m cos4 x + sen4 x − 6 cos2 xsen2 x = 1
x→0

Otra forma es recordar el seno del ángulo doble: sen (2θ) = 2sen θ cos θ. Cono-
ciendo esta fórmula podemos reescribir el lı́mite como,
1

1

sen2 x cos2 x 2 (2sen x cos x) 2 (2sen xcos x) 1 sen2 (2x)
lı́m → lı́m → lı́m
x→0 x2 x→0 x2 x→0 4 x2
Ahora podemos aplicar infinitésimos equivalentes,

1 sen2 (2x) I.E. 1 (2x)2 4x2

lı́m −−−→ lı́m = lı́m =1
x→0 4 x2 x→0 4 x2 x→0 4x2

O bien podemos aplicar L’Hopital,

1 sen2 (2x) L0 H 1 2sen (2x)cos (2x)2 sen (2(2x)) 1 sen (4x) L0 H
lı́m −−−→ lı́m −−−−−−−→ lı́m −−−→
x→0 4 x2 x→0 4 2x x→0 4 x
L0 H 1
−−−→ lı́m cos (4x)4 → lı́m cos (4x) = 1
x→0 4 x→0

Ejercicio 4.2 Calcular el lı́mite,

ln tg π4 + ax



lı́m
x→0 sen (bx)
Ejercicios resueltos 109

El resultado de este lı́mite es 00 , por tanto, podemos resolver este lı́mite



usando infinitésimos equivalentes o L’Hopital. Usando infinitésimos equivalentes,

podemos ver que el argumento del logaritmo neperiano tiende a 1 (tg π4 = 1), por
tanto,
ln tg π4 + ax tg π4 + ax − 1




I.E. 0 L0 H
lı́m −−−→ lı́m = −−−→
x→0 sen (bx) x→0 bx 0
a
L0 H cos2 ( π
4 +ax)
a 2a
−−−→ lı́m =  √ 2 =
x→0 b 2 b
2 b

También podemos resolver directamente usando L’Hopital,

1
ln tg π4 + ax



tg ( π
· cos2 1π +ax · a
L0 H 4 +ax) (4 )
lı́m −−−→ lı́m =
x→0 sen (bx) x→0 cos (bx)b
a a 2a
lı́m π =  √ 2 =
cos2 π4



x→0 b tg + ax + ax cos (bx) 2 b
4 b·1· 2 ·1

Ejercicio 4.3 Calcular el lı́mite,

 x2 + 3  x2x−1
lı́m
x→∞ x2 + 4x
∞
 ∞ resulta {1 }. La fracción de la base tiende
El indeterminación de este lı́mite
a una indeterminación del tipo ∞ , que se resuelve comparando el grado del
numerador y denominador que en este caso coinciden (2) y por tanto el resultado
es 1. El exponente es similar, pero en este caso el grado del numerador es mayor
que el del denominador, por tanto el resultado tiende a ∞.
Al ser indeterminación {1∞ } usaremos el logaritmo neperiano y el infinitesimo
equivalente ln (f (x)) ' (f (x) − 1) si lı́m f (x) = 1. Ası́ pues:
x→x0

  x2x−1  
 x2 + 3  x2x−1 ln x2 +3 x2 −1
ln x2 +3
x2 +4x x x2 +4x
lı́m = lı́m e = lı́m e
x→∞ x2 + 4x x→∞ x→∞
   
x2 −1 x2 +3 x2 −1 x2 +3 2 +4x
I.E. x x2 +4x
−1 x x2 +4x
−x
x2 +4x
−−−→ lı́m e = lı́m e
x→∞ x→∞
   
x2 −1 x2 +3−x2 −4x x2 −1 3−4x
x x2 +4x x x2 +4x
= lı́m e = lı́m e
x→∞ x→∞
3x2 −4x3 −3+4x −4x3 +3x2 +4x−3
= lı́m e x3 +4x2 = lı́m e x3 +4x2
x→∞ x→∞
110 Lı́mites de Funciones

Fijémonos en el exponente. Ese lı́mite tiende a la indeterminación ∞


∞ . Al ser
una fracción de polinomios nos fijamos en los grados. El grado del numerador y el
denominador son iguales (3), por tanto el resultado es el cociente de coeficientes,

−4x3 +3x2 +4x−3

lı́m e x3 +4x2 = e−4
x→∞

Ejercicio 4.4 Calcular el lı́mite,

x2 − 3
lı́m
x→∞ 2x − 4

En este caso el lı́mite da una indeterminación del tipo ∞


∞ . Como el lı́mite
es una fracción de polinomios tenemos que comparar el grado. Al ser mayor el
grado del numerador, el resultado es ∞.

x2 − 3
lı́m =∞
x→∞ 2x − 4

Ejercicio 4.5 Calcular el lı́mite,

|x + 1|
lı́m √
x→∞ x2 + 1

El lı́mite da una indeterminación del tipo ∞


∞ . En este caso al ser una división
de polinomios podemos comparar su grado. El denominador tiene grado 1 y el
denominador también ,por tanto, el resultado del lı́mite es la división de los
coeficientes que en este caso es uno.

|x + 1|
lı́m √ =1
x→∞ x2 + 1

Ejercicio 4.6 Calcular el lı́mite,

 2 π
sec ( 2−bx )


2 π
lı́m sen
x→0 2 − ax

Primero de todo recordar que sec (x) = cos1(x) . Sabiendo esto, vemos que el
resultado del lı́mite es la indeterminación {1∞ }. Por tanto vamos a aplicar el
Ejercicios resueltos 111

logaritmo neperiano y el infinitésimo equivalente.

 
 2 π sec2 ( π )
sec ( 2−bx )
 2
 π ln sen ( π
) 2−bx
lı́m sen2
2−ax
= lı́m e
x→0 2 − ax x→0
   
sec2 ( 2−bx
π
) ln sen2 ( 2−ax
π
) I.E. sec2 ( 2−bx
π
) sen2 ( 2−ax
π
)−1
= lı́m e −−−→ lı́m e
x→0 x→0
( 2−ax
− cos2
π
)
− cos2 (x)=−1+sen2 (x) cos2 ( π )
−−−−−−−−−−−−−−−→ lı́m e 2−bx
x→0
0
En este punto, el lı́mite del exponente es la indeterminación 0 por tanto apli-
caremos L’Hopital

( 2−ax
− cos2 π
) ( 2−ax
2 cos π
)sen ( 2−ax
π
) (2−ax)
aπ
2
0
cos2 ( π ) LH −2 cos( π
)sen ( π
) bπ
lı́m e 2−bx −−−→ lı́m e 2−bx 2−bx (2−bx)2
x→0 x→0
( 2−ax
2π
) (2−ax)
sen aπ
2
−
sen (
2−bx ) (2−bx)2
sen (2x)=2sen (x) cos (x) 2π bπ
−−−−−−−−−−−−−−−−→ lı́m e
x→0
0
El exponente sigue siendo la indeterminación 0 , por tanto usamos L’Hopital
de nuevo:
2
2

sen( 2−ax
2π
) (2−ax)
aπ
2
cos( 2−ax
2π
) (2−ax)
aπ
2 +sen ( 2π ) 2a π 3
2−ax (2−ax)
− −  2
2
sen ( 2π
) bπ L0 H cos ( 2π
) bπ +sen ( 2π ) 2b π 3 a2
lı́m e 2−bx (2−bx) 2
−−−→ lı́m e 2−bx (2−bx)2 2−bx (2−bx)
= e− b2
x→0 x→0

Ejercicio 4.7 Calcular el lı́mite,

ln(x+1)
lı́m (ctg x)
x→0

Este lı́mite es de la forma ∞0 , por tanto, se desarrollará calculado su logaritmo.
Sabiendo que ctg x = (tg x)−1 ,
ln (tg x) ln (tg x)
lı́m −ln(x+1)ln (tg x) lı́m − 1 I.E. lı́m −
ln(x+1) 1
lı́m (ctg x) = ex→0 = ex→0 ln(x+1) −−−→ ex→0 x
x→0
1+tg 2 x 1+tg 2 x
tg x
lı́m − lı́m x
lı́m (1+tg 2 x)x
L0 H −1 I.E. 1
= e0 = 1
x→0 x→0
−−−→ e x2 −−−→ e x2 = ex→0

Luego,
ln(x+1)
lı́m (ctg x) =1
x→0
112 Lı́mites de Funciones

Ejercicio 4.8 Calcular el lı́mite doble de,

1
z = y sen
x2 + y2

en el origen.

Aplicaremos el cambio a coordenadas polares,

1 1
lı́m y sen = ρ sen ω sen 2 = 0
x→0 x2 + y 2 ρ
y→0

1
en virtud de la propiedad 4.4, ya que ρ sen ω → 0 y sen es una función acotada
ρ2
entre −1 y 1. Por tanto,

1
lı́m y sen =0
x→0 x2 + y 2
y→0

Ejercicio 4.9 Calcular el lı́mite,

xy
lı́m
x→0 x2 + y 2
y→0

y
En este caso aplicaremos el método del cociente x ,
y y
xy x2 x x
lı́m = lı́m h
i = x→0
lı́m y 2
x→0 x2 + y 2 y 2
x→0


y→0 y→0 x2 1 + x y→0 1+ x

0

 Si xy → 0 ⇒ l = lı́m =0
x→0 1 + (0)2



y→0




 y k
= Si x → k 6= 0 ⇒ l = lı́m 6= 0
x→0 1 + (k)2
 y→0
m


Si xy = m → ∞ ⇒ l = lı́m 2 =0


x→0
y→0 1 + (m)



m→∞
y
Por lo tanto, el lı́mite depende del valor del cociente x y se puede asegurar que

xy
@ lı́m
x→0 x2 + y 2
y→0
Ejercicios resueltos 113

x3
Ejercicio 4.10 Calcular el lı́mite direccional de la función z = x+y según la di-
rección de y = −sen x en el punto (0, 0).

x3 x3 L0 H 3x2 I.E. 3x2

lı́m = lı́m −−−→ lı́m −−−→ lı́m x2 = 6
x→0 x + y x→0 x − sen x x→0 1 − cos x x→0
2
y→0
y=−sen x

El resultado es,
x3
lı́m =6
x→0 x+y
y→0
y=−sen x

xy 2
Ejercicio 4.11 Calcular los lı́mites radiales de la función z = x3 +y 3 en el origen.

xy 2 mx3 m
lı́m = lı́m 3 =
x→0 x3 +y 3 x→0 x + (mx)3 1 + m3
y→0
y=mx

Esto significa que, para esta función, el valor de cada lı́mite radial depende de la
pendiente de cada recta. Esta dependencia asegura que la función no tiene lı́mite
doble. La conclusión es que,

xy 2 m
lı́m =
x→0 x3 + y3 1 + m3
y→0
y=mx

x6
Ejercicio 4.12 Calcular los lı́mites reiterados de la función z = (x2 −y)2 +x6 en el
punto (0, 0).

x6 x6 x2
     
0
lr1 = lı́m lı́m 2 = lı́m = lı́m = =0
x→0 y→0 (x − y)2 + x6 x→0 x4 + x6 x→0 1 + x2 1
x6
   
0
lr2 = lı́m lı́m 2 = lı́m =0
y→0 x→0 (x − y)2 + x6 y→0 (−y)2

Luego se puede concluir que,

lr1 = lr2 = 0
114 Lı́mites de Funciones

4.7. Problemas propuestos

Problema 4.1 Calcular los lı́mites laterales de y = 2x−
√ sen x en x = 0.
1−cos x
√ √
Solución: lı́m 2x−
√ sen x =
1−cos x
2, lı́m 2x−
√ sen x = − 2. Por tanto, no existe el
1−cos x
x→0+ x→0−
lı́mite de y en x = 0.

Problema 4.2 Demostrar que, cuando x → 0, las funciones f (x) = x2 y g(x) =

√
1 + x − 1 son infinitésimos equivalentes √
1+x−1
Solución: Efectivamente, son infinitésimos equivalentes ya que lı́m x =
x→0
2
1.

Problema 4.3 Estudiar la existencia del lı́mite,

6
lı́m 1
x→0 4 + e− x

6 3 6
Solución: lı́mx→0+ 1 = 2 , lı́mx→0− 1 = 0. Luego no existe el lı́-
4 + e− x 4 + e− x
mite de la función en el origen.

Problema 4.4 Hallar la parte principal del siguiente infinitésimo en x = 0,

√
√ 3

√

1+x−1 1+x−1 ··· n1+x−1
√
√
√

Solución: 1+x−1 3
1+x−1 ··· n
1 + x − 1 ≈ n! xn−1 .

Problema 4.5 Calcular los siguientes lı́mites,

a. λ = lı́m cos
√ x
x
f. λ = lı́m sen x · sen x1
x→∞ x→0 √
1 1 2
b. λ = lı́m − x sen g. λ = lı́m x−x
√
x→0 x√
tg x
√
x
√
x→1 1− x
c. λ = lı́m x x+1− x−1
h. λ = lı́m (1 + tg (πx)) ( 2 )
sec π x
x→∞
ctg x x→1 √ √
d. λ = lı́m (1 + x)
x→0 i. λ = lı́m x4 + 2x2 − x4 + 3x2 − x
 x−2 x→∞√
e. λ = lı́m x−1
x+3
2x sen x2 tg x−ln (2x2 +1)
x→∞ j. λ = lı́m 
x2

x→0 arc tg √
2
Solución:
Problemas propuestos 115

a. λ = 0. f. λ = 0.
b. λ = − 12 . g. λ = 3.
c. λ = 0. h. λ = e−2 .
d. λ = e. i. λ = − 12 .
√
e λ = e−4 . j. λ = 2 − 2 2.

Problema 4.6 Calcular el siguiente lı́mite,

 
1 1
λ = lı́m −
x→0 sen2 x x2

Solución: λ = 13 .

Problema 4.7 Calcular el siguiente lı́mite,

 
1 1
λ = lı́m −
x→1 ln x x−1

Solución: λ = 12 .

Problema 4.8 Calcular el siguiente lı́mite,

 
m n
λ = lı́m − ; ∀m, n ∈ N
x→1 1 − xm 1 − xn
m−n
Solución: λ = 2 .

Problema 4.9 Calcular el siguiente lı́mite,

1
λ = lı́m √ √
x→∞ x4 + x2 + 1 − x4 − x + 3
Solución: λ = 2.

Problema 4.10 Calcular el siguiente lı́mite,

ln(tg ax)
λ = lı́m
x→0+ ln(tg bx)

Solución: λ = 1.
116 Lı́mites de Funciones

Problema 4.11 Calcular el siguiente lı́mite,

x+1
(x + 1) −1
λ = lı́m
x→0 sen x

Solución: λ = 1.

Problema 4.12 Calcular,

√ √
1 + x sen x − cos 2x
λ = lı́m = x
x→0
tg 2 ( )
2

Solución: λ = 6.

Problema 4.13 Calcular el lı́mite,

tg x
λ = lı́m (sen x)
x→0

Solución: λ = 1.

Problema 4.14 Calcular el siguiente lı́mite,

ex tg ax − 1
λ = lı́m
x→0 sen bx2

Solución: λ = ab .

Problema 4.15 Calcular el siguiente lı́mite,

q
1+x
λ = lı́m 1−x arc cos x
x→1−

Solución: λ = 2.

Problema 4.16 Resolver

2
λ = lı́m 2 ln (cos x)
x→0 sen x
Problemas propuestos 117

Solución: λ = −1.

Problema 4.17 Calcular el siguiente lı́mite:

λ = lı́m (1/sen x) ln (1 + a tg bx)

x→0

Solución: λ = ab.

Problema 4.18 Calcular el siguiente lı́mite:

1
λ = lı́m (ln (sen x) − ln x)
x→0 1−cos x

Solución: λ = − 13 .

Problema 4.19 Calcular el valor de λ,

 1+ctg2 x
x−2
λ = lı́m
x→0 x2 + x − 2
√
Solución: λ = e.

Problema 4.20 Calcular el lı́mite:

 xLx
L(x + 2)
λ = lı́m
x→∞ Lx

Solución: λ = e2 .

Problema 4.21 Calcular el lı́mite,

sen x
λ = lı́m (tg x)
x→0

Solución: λ = 1.
118 Lı́mites de Funciones

Problema 4.22 Calcular el siguiente lı́mite,

 1/x
sen x + cos x
λ = lı́m
x→0 cos x

Solución: λ = e.

Problema 4.23 Calcular el siguiente lı́mite,

 1/x
sen x + 1
λ = lı́m
x→0 cos x

Solución: λ = e.

Problema 4.24 Calcular el siguiente lı́mite:

1/x
λ = lı́m (cos x + a sen bx)
x→0

Solución: λ = eab .

Problema 4.25 Calcular el siguiente lı́mite,

1
x2
 
x2
2
λ = lı́m cos x +
x→0 2

Solución: λ = √1 .
e

Problema 4.26 Calcular,

r !x
2π
λ = lı́m cos
x→∞ x

Solución: λ = e−π .
Problemas propuestos 119

Problema 4.27 Resolver,

 sen x  1
λ = lı́m x2
x→0 x
1
Solución: λ = e− 6 .

Problema 4.28 Resolver,

 x−sen x
1 sen3 x
 4 x
λ = lı́m
x→0 6 x − sen x

Solución: λ = 1.

Problema 4.29 Resolver,

sen x
 sen x  x−sen x
λ = lı́m
x→0 x

Solución: λ = e−1 .

Problema 4.30 Calcular el siguiente lı́mite,

 arctg x
sen x
λ = lı́m
x→0 1 − cos x

Solución: λ = 1.

Problema 4.31 Calcular el siguiente lı́mite,

sen x
λ = lı́m (cotg x)
x→0

Solución: λ = 1.

Problema 4.32 Calcular el lı́mite:

sen x
λ = lı́m (1 − cos x)
x→0
120 Lı́mites de Funciones

Solución: λ = 1.

Problema 4.33 Calcular el lı́mite:

tg x−sen x
λ = lı́m (tg x)
x→0

Solución: λ = 1.

Problema 4.34 Calcular el siguiente lı́mite,

L(cos x)
λ = lı́m (sen x)
x→0

Solución: λ = 1.

Problema 4.35 Calcular,

 
1 Chx
λ = lı́m xsen x −
x→0 x2 x Shx

Solución: λ = − 13 .

Problema 4.36 Calcular el lı́mite doble,

xy 2
lı́m 2 2
x→0 x +y
y→0

Solución: l = 0.

Problema 4.37 Calcular el lı́mite doble,

(1 − cos xy) · sen x
lı́m
x→0 x3 y 2
y→0

Solución: l = 21 .
Problemas propuestos 121

Problema 4.38 Calcular el lı́mite doble,

ln x · tg(y − 1)
lı́m
x → 1 xy − x − y + 1
y→1

Solución: l = 1.

Problema 4.39 Calcular el lı́mite doble,

x4 + y 4
lı́m arc tg
x→0 x2 y 2
y→0

Solución: @l.

Problema 4.40 Calcular el lı́mite en la dirección de y = x2 de la función z =

x2 arc tg xy − y 2 arc tg xy en el origen.
Solución: l = 0.

x3
Problema 4.41 Calcular el lı́mite de la función z = x2 +y 2 en el origen siguiendo
√
la dirección de y = x.
Solución: l = 0.

x2 −y 2
Problema 4.42 Calcular los lı́mites radiales de la función z = x2 +y 2 en el origen.
1−m2
Solución: l = 1+m2 .

x4 −y 4 −4x2 y 2
Problema 4.43 Calcular los lı́mites radiales de la función z = (x2 +y 2 )2 en el
origen.
4
−4m2
Solución: l = 1−m
(1+m2 )2 .

3−x−y
Problema 4.44 Calcular los lı́mites radiales de la función z = 3+x−2y en el punto
(1, 2).
1+m
Solución: l = −1+2m .
122 Lı́mites de Funciones

x2 −y 2
Problema 4.45 Calcular los lı́mites reiterados de z = x2 +y 2 en el punto (0, 0).
Solución: lr1 = 1, lr2 = −1.

tg (x−y)
Problema 4.46 Calcular los lı́mites reiterados de z = x+y en el punto (0, 0).
Solución: lr1 = 1, lr2 = −1.

1
Problema 4.47 Calcular los lı́mites reiterados de z = xy cos xy en el punto (0, 0).
Solución: lr1 = lr2 = 0.

a b
x y
Problema 4.48 Dada la función z = x4 +x 2 y 2 +y 4 , estudiar bajo qué condiciones

de a, b ∈ R el lı́mite en el origen es l = 0.
Solución: a + b − 4 > 0.

2 2
Problema 4.49 Dada la función z = 1− cos (xx2y)+ sen (xy )
+y 2 , calcular el lı́mite doble,
los radiales y los reiterados en el origen.

Solución: l = lr = lr1 = lr2 = 0.

Problema 4.50 Calcular los lı́mites radiales lr y los reiterados lr1 , lr2 , en el origen
de coordenadas, de la función,
y3
e x −1
z= 3
arc sen yx

e indicar si la función tiene lı́mite doble l en dicho punto.

Solución: lr = 1, @lr1 ni lr2 . A partir de los datos anteriores no se puede dedu-
cir nada sobre el lı́mite doble. Sin embargo,
√ si, por ejemplo, calculamos el lı́mite
direccional siguiendo la curva y = 3 x que pasa por (0, 0) se obtiene el valor
ld = 2(e−1)
π , que es diferente del valor obtenido para los lı́mites radiales. Por tan-
to, podemos asegurar que la función no tiene lı́mite doble en (0, 0).