Voy a explicar aquí cómo enfocar los límites de las funciones en dos variables, teniendo en cuenta el ejemplo que propuso el OP. Si el límite $$\lim_{(x,y)\to (0,0)} \frac{xy}{x+y}$$ existe y es igual a $L$ entonces también se deduce que si $\{(x_n,y_n)\}$ es una secuencia de puntos con límite $(0,0)$ entonces $$\lim_{n\to\infty} \frac{x_ny_n}{x_n+y_n}=L.$$ Ahora podemos elegir una serie de secuencias fáciles $\{(x_n,y_n)\}$ con límite $(0,0)$ y calcular el límite. Por ejemplo, podemos elegir puntos de una recta $y=\lambda x$ , con pendiente $\lambda$ es decir, $(x_n,y_n) = (\frac{1}{n}, \frac{\lambda}{n})$ . En este caso: $$\lim_{n\to\infty} \frac{x_ny_n}{x_n+y_n}=\lim_{n\to\infty} \frac{\frac{\lambda}{n^2}}{\frac{1}{n}+\frac{\lambda}{n}}=\lim_{n\to\infty} \frac{\lambda}{(1+\lambda)n}$$ y el límite es $0$ siempre y cuando $\lambda\neq -1$ . Por lo tanto, si el límite existe, debe ser $0$ . Pero el problema con $\lambda=-1$ nos dice que puede haber un problema si nos acercamos $(0,0)$ con una trayectoria que termina tangente a $y=-x$ (nótese que la función no está definida en los puntos con $y=-x$ ).
Así pues, a continuación se observa una secuencia que sigue una trayectoria en una curva con línea tangente $y=-x$ en $(0,0)$ . Algunos ejemplos de estas curvas son $y=x^2-x$ , $y=-x^2-x$ o $y=e^{-x}-1$ . Así, podemos considerar las secuencias $(x_n,y_n)$ dado por: $$\left(\frac{1}{n},\frac{1}{n^2}-\frac{1}{n}\right),\quad \text{or} \quad \left(\frac{1}{n},-\frac{1}{n^2}-\frac{1}{n}\right), \quad \text{or} \quad \left(\frac{1}{n},e^{-1/n}-1\right).$$ Para la primera secuencia obtenemos: $$\lim_{n\to\infty} \frac{x_ny_n}{x_n+y_n}=\lim_{n\to\infty} \frac{\frac{1}{n^3}-\frac{1}{n^2}}{\frac{1}{n}+\frac{1}{n^2}-\frac{1}{n}}=\lim_{n\to\infty} \frac{\frac{1}{n^3}-\frac{1}{n^2}}{\frac{1}{n^2}}=\lim_{n\to\infty} \frac{1-n}{n}= -1.$$ Pero el límite debía ser $L=0$ . Por lo tanto, el límite no puede existir. Del mismo modo, si probamos las otras dos secuencias enumeradas anteriormente: $$\lim_{n\to\infty} \frac{x_ny_n}{x_n+y_n}=\lim_{n\to\infty} \frac{-\frac{1}{n^3}-\frac{1}{n^2}}{\frac{1}{n}-\frac{1}{n^2}-\frac{1}{n}}=\lim_{n\to\infty} \frac{-\frac{1}{n^3}-\frac{1}{n^2}}{-\frac{1}{n^2}}=\lim_{n\to\infty} \frac{1+n}{n}= 1,$$ y $$\lim_{n\to\infty} \frac{x_ny_n}{x_n+y_n}=\lim_{n\to\infty} \frac{\frac{1}{n}(e^{-1/n}-1)}{\frac{1}{n}+e^{-1/n}-1}=\lim_{n\to\infty} \frac{e^{-1/n}-1}{1+ne^{-1/n}-n}=0.$$ Estos resultados son inconsistentes, y por lo tanto el límite no puede existir. Más dramático aún: dejemos que $\{x_n,y_n\}$ sea una secuencia que sigue la curva $y=x^3-x$ hacia el origen, por ejemplo poner $(x_n,y_n)=(\frac{1}{n},\frac{1}{n^3}-\frac{1}{n})$ . Entonces: $$\lim_{n\to\infty} \frac{x_ny_n}{x_n+y_n}=\lim_{n\to\infty} \frac{\frac{1}{n^4}-\frac{1}{n^2}}{\frac{1}{n}+\frac{1}{n^3}-\frac{1}{n}}=\lim_{n\to\infty} \frac{\frac{1}{n^4}-\frac{1}{n^2}}{\frac{1}{n^3}}=\lim_{n\to\infty} \frac{1-n^2}{n}= -\infty.$$
4 votos
Tu planteamiento es correcto. El límite debe ser independiente de la trayectoria hacia el origen.
0 votos
$f(x,y)$ no se puede determinar en $(0,0)$
0 votos
Observe que sus trayectorias son tangentes en el origen a la línea $y=-x$ que no está en el dominio de la función. Cuando se buscan trayectorias para el cálculo de límites como éste, encontrar tales trayectorias tangentes es una de las estrategias. (Otra estrategia básica, que no es útil en este problema, es intentar $y=kx$ .)
0 votos
@alex.jordan Una selección de algunos ejemplos en los que las rutas tangentes son el camino a seguir daría para un buen post en el sitio.