Técnicamente, como esta función no está definida en $(0,0)$ La pregunta debería estar redactada de la siguiente manera: "demuestre que $f$ no tiene límite en $(0,0)$ " o "demostrar que no hay manera de ampliar $f$ en $(0,0)$ para que la extensión sea continua".
Intuitivamente, hay dos razones por las que una función puede no tener un límite: o bien la función se desvía por completo (al menos a lo largo de un camino de aproximación), o bien oscila entre varios puntos.¹ Así que para demostrar la ausencia de un límite, se puede buscar cualquiera de estas propiedades:
- Hay una secuencia $(x_n,y_n)$ tal que $\lim (x_n,y_n) = 0$ y $\lim |f(x_n,y_n)| = \infty$ . Basta con encontrar un parámetro real $t$ tal que $\lim_{t\to 0} |f(t)| = \infty$ . En otras palabras, la función es localmente ilimitada en $(0,0)$ .
- Hay unas secuencias $(x_n,y_n)$ y $(x'_n,y'_n)$ tal que $\lim (x_n,y_n) = \lim (x'_n,y'_n) = 0$ y $\lim f(x_n,y_n) \ne \lim f(x'_n,y'_n)$ (existiendo ambos límites). De nuevo, basta con encontrar dos parametrizaciones reales que conduzcan a límites diferentes, es decir $\lim_{t\to 0} f(x(t),y(t)) \ne \lim_{t\to 0} f(x'(t),y'(t))$ . En otras palabras, hay dos caminos de aproximación que conducen a diferentes puntos límite.
Estas condiciones son claramente suficientes para no tener límite. De hecho, son necesarias - $\mathbb{R}^n$ es un localmente compacto espacio métrico, por lo que cualquier secuencia se aleja hasta el infinito (es decir, es ilimitada) o tiene un punto límite y en este último caso tiene un límite si tiene un único punto límite. No es necesario que sepas (o entiendas) esa parte, lo único que digo es que la técnica anterior siempre funcionará si encuentras la(s) ruta(s) de aproximación correcta(s).
Está claro que la función está acotada en torno a $(0,0)$ porque $\left| \dfrac{x}{\sqrt{x^2+y^2}} \right| \le 1$ así que $|f(x,y)| \le 2|x| + 1$ . Así que tenemos que buscar dos caminos de aproximación que lleven a diferentes puntos límite.
$x=0$ es algo obvio que hay que intentar: $f(0,y) = 0$ . Bien, $0$ es un punto límite; lo único que necesitamos ahora es encontrar otro.
Después de haber intentado $x=0$ , vamos a intentarlo $y=0$ . Para $x \gt 0$ , $f(x,0) = 2x \sin(1/x) - \cos(1/x)$ . El primer término tiene el límite $0$ (porque $|\sin(1/x)| \le 1$ así que $\lim_{x\to 0^+} x \sin(1/x) = 0$ ), por lo que debemos demostrar que el segundo término no tiene el límite $0$ . Esto es intuitivamente claro si lo graficas: $\cos(1/x)$ oscila entre $-1$ y $1$ . Sabemos que $\cos(1/x) = 1$ cuando $1/x = 2n\pi$ para algún número entero $n$ Así pues, tomemos $x_n = 1/(2n\pi)$ . Tenemos $\lim_{n\to\infty} f(x_n,0) = 0 - \lim_{n\to\infty} \cos(2n\pi) = 0 - \lim_{n\to\infty} 1 = -1$ .
Desde $f$ tiene ambos $0$ y $1$ como puntos límite en $(0,0)$ no tiene límite.