Al intentar encontrar este límite, todas las trayectorias (x,y) que compruebo que se acercan a (0,0) producen el mismo resultado, es decir, la función se acerca a 0. En consecuencia, he elaborado la prueba más sencilla que he podido de que el límite existe y es cero. Sin embargo wolframalpha me dice que el límite no existe. Suponiendo que me equivoque, ¿podría alguien aclarar en qué falla mi prueba, y posiblemente proporcionar un camino en el que la función no se acerque a 0?
\begin{equation} \lim_{(x,y) \rightarrow (0,0)} \frac { x \cdot \sin(\frac{y}{\sqrt{x}}) } {\sqrt{ x^2 + y^2 }} \end{equation}
proporcionó $x>0$
mi prueba:
tomemos $\varepsilon > 0$ y demostrar la existencia de unos $\delta > 0$ tal que
$\forall (x,y) \in B(0, \delta ) : |f(x,y)| < \varepsilon$
(donde f es nuestra función anterior, y como se indica $x>0$ )
llevando la x al denominador, obtenemos:
\begin{equation} \frac { \sin(\frac{y}{\sqrt{x}}) } {\sqrt{ 1 + (\frac{y}{x})^2 }} \end{equation}
sin está acotado entre -1 y 1, por lo que a partir de aquí pretendo demostrar que puedo elegir un $\delta$ donde el denominador es lo suficientemente grande como para que la expresión sea menor que nuestro $\varepsilon$ y si no, el numerador es menor que nuestro $\varepsilon$ .
Encontramos el denominador relevante limitado por:
\begin{equation} \frac {1} {\sqrt{ 1 + (\frac{y}{x})^2 }} < \varepsilon \end{equation}
que es simplemente:
\begin{equation} \frac {y}{x} > \sqrt{\frac{1}{\varepsilon^2} - 1} \end{equation}
Claramente, si esta desigualdad se mantiene, entonces el valor absoluto de la función está efectivamente limitado por nuestro $\varepsilon$ según sea necesario.
así que vamos a tratar el caso de los segundos:
\begin{equation} \frac {y}{x} \leq \sqrt{\frac{1}{\varepsilon^2} - 1} \end{equation}
multiplicando por $\sqrt {x}$ obtenemos
\begin{equation} \frac {y}{\sqrt{x}} \leq \sqrt{x} \cdot \sqrt{\frac{1}{\varepsilon^2} - 1} \leq \sqrt{\delta} \cdot \sqrt{\frac{1}{\varepsilon^2} - 1} \end{equation}
la última desigualdad se debe a que $x$ está obviamente ligada a la $\delta$ elegimos
debe quedar claro que el lado derecho de la desigualdad es arbitrariamente pequeño, aunque lo formalizaremos un poco:
toma $\delta < \varepsilon^4$ : \begin{equation} \frac {y}{\sqrt{x}} \leq \sqrt{\delta} \cdot \sqrt{\frac{1}{\varepsilon^2} - 1} < \sqrt{\varepsilon^4} \cdot \sqrt{\frac{1}{\varepsilon^2}} = \varepsilon^2 \cdot \frac{1}{\varepsilon} = \varepsilon \end{equation}
sin demasiada formalidad, decimos que para un tamaño suficientemente pequeño $\delta$ , $\sin x \approx x$ y por lo tanto
\begin{equation} {\sin{ \frac {y}{\sqrt{x}}} \approx \frac {y}{\sqrt{x}} \leq \varepsilon} \end{equation}
Por supuesto, fui perezoso y no añadí las etapas necesarias para demostrar que la aproximación se mantendrá en la desigualdad, aunque lo hace, porque puedo tomar la $\delta$ sea tal que la diferencia entre el pecado y el propio valor sea menor que $\frac{\varepsilon}{3}$ y también tal que $\frac{y}{\sqrt {x}} < \frac{\varepsilon}{3}$ lo que significa que el pecado es efectivamente menor que $\varepsilon$ como se requiere. Esto se encarga del segundo caso.
QED
(No me he preocupado mucho de si y es positivo o negativo, aunque la función es impar, por lo que podemos trabajar con positivos y luego sólo demostrar el resultado para los negativos)