Existencia de límites para una función a trozos
Para una función a trozos, el límite puede fallar en tres tipos de puntos:
(a) Puntos de unión de trozos: donde la fórmula cambia. Aquí son \(x=-1\) y \(x=1\). Hay que verificar si los límites laterales coinciden.
(b) Puntos excluidos del dominio: \(x=-2\) y \(x=-3\). La función no está definida, pero el límite puede existir o no.
(c) Cualquier otro \(x\): en el interior de cada trozo, \(g\) es continua (es un polinomio o una función racional sin singularidades), por lo tanto el límite siempre existe e iguala el valor de la función.
Plan: analizar los cuatro puntos críticos \(x\in\{-3,\,-2,\,-1,\,1\}\) individualmente.
Cerca de \(x=-3\) se cumple \(x<-1\), así que usamos el primer trozo: \(\;g(x)=\dfrac{4-x^{2}}{(x+2)(x+3)}\).
El numerador tiene un valor distinto de cero y el denominador tiende a cero. Esto provoca que el cociente crezca sin cota:
Conclusión: el límite no existe en \(x=-3\). (Discontinuidad de tipo infinito.)
Cerca de \(x=-2\) también se cumple \(x<-1\), así que usamos el mismo trozo. Factorizamos el numerador:
Sustituyendo en \(g(x)\):
El factor \((x+2)\) se cancela (es una indeterminación \(\tfrac{0}{0}\)). Ahora el límite es inmediato:
Conclusión: el límite existe e igual a 4, aunque \(g(-2)\) no está definida. (Discontinuidad evitable.)
En \(x=-1\) la fórmula cambia: debemos calcular los dos límites laterales con trozos diferentes.
Los límites laterales existen pero son distintos.
Conclusión: el límite bilateral \(\lim_{x\to -1}g(x)\) no existe. (Discontinuidad de salto: la función "salta" de \(\tfrac{3}{2}\) a \(-1\).)
Ambos límites laterales coinciden en \(L=1\).
Conclusión: \(\lim_{x\to 1}g(x)=1\) existe. (Incluso \(g(1) = 2(1)^2-1 = 1 = L\), así que \(g\) es continua en \(x=1\).)
Solución completa
La función \(g\) tiene dos puntos problemáticos del dominio (\(-3\) y \(-2\)) y dos puntos de unión (\(-1\) y \(1\)). En todos los demás puntos, cada trozo es continuo, de modo que el límite existe automáticamente.
Conclusión: El límite \(\lim_{x\to a}g(x)\) existe para todo
Nótese que \(x=-2\) no aparece en el conjunto de excepción: aunque la función no está definida allí, el límite sí existe (discontinuidad evitable).