Estoy tratando de determinar si $\lim_{(x,y)\to (2,-2)} \dfrac{\sin(x+y)}{x+y}$ existe. Debería poder utilizar la siguiente definición para un límite de una función de dos variables:
Dejemos que $f$ sea una función de dos variables definida en algún disco abierto $B((x_0,y_0),r)$ , excepto posiblemente en el punto $(x_0,y_0)$ sí mismo. Entonces
$$\lim_{(x,y)\to (x_0,y_0)}f(x,y)=L$$
si para cualquier $\varepsilon>0$ por pequeño que sea, existe un $\delta>0$ tal que
$$\text{if } 0<\sqrt{(x-x_0)^2+(y-y_0)^2}<\delta \text{ then } |f(x,y)-L|<\varepsilon$$
La definición de límite anterior aplicada al límite $\lim_{(x,y)\to (2,-2)} \dfrac{\sin(x+y)}{x+y}$ requiere que la función $\dfrac{\sin(x+y)}{x+y}$ se define en cada punto de un disco abierto $B((2,-2),r)$ (con la posible excepción del punto $(2,-2)$ ).
Mi problema aquí es que la función $\dfrac{\sin(x+y)}{x+y}$ es indefinido para $x+y=0$ es decir, es indefinido para todos los puntos de la línea $y=-x$ . Si lo he entendido bien, parece que significa que no encuentro ningún disco abierto $B((2,-2),r)$ sobre la que se define la función dada. Por lo tanto, parece que no puedo aplicar la definición de límite.
¿Qué estoy entendiendo mal aquí?
El argumento anterior me hace creer que este límite no existe (porque no puedo aplicar la definición), pero Wolfram|Alpha dice que el valor de este límite es $1$ . ¿Por qué esta aparente contradicción?
Editar : Debo señalar que este problema y la definición de límite que estoy utilizando están tomados del mismo libro. Por lo tanto, el libro asume que voy a utilizar la definición de límite dada.
Actualización
Tengo una duda más al respecto.
El mismo libro que estoy usando dice que la función de abajo es continua para todos los puntos $(x,y)$ en $R_2$ .
$$f(x,y)=\begin{cases} \dfrac{\sin(x+y)}{x+y} & \text{ if $x + y \neq 0$} \\ 1 & \text{ if $x + y = 0$}\end{cases}$$
La prueba es la siguiente:
Dejemos que $h(t)=\begin{cases} \dfrac{\sin(t)}{t} & \text{ if $t \neq 0$} \\ 1 & \text{ if $t = 0$}\end{cases}$ y $g(x,y) = x+y$ ; así que, $f(x,y) = h(g(x,y))$ . El dominio de $g$ es $R_2$ y es continua en todo su dominio. Dado que $g(x,y)\to 0$ como $x+y\to 0$ y $h$ es continua en $0$ , $h(g(x,y))$ es continua en todas partes.
La definición de continuidad en este libro establece que, para una función de dos variables $g$ para ser continua en $(x_0,y_0)$ , $g(x_0,y_0)$ tiene que existir y $\lim_{(x,y)\to (x_0,y_0)} g(x,y)$ tiene que ser igual a $g(x_0,y_0)$ . Entonces, por la definición dada de continuidad, $f(x,y)$ al ser continua en todas partes significa que $\lim_{(x,y)\to (x_0,y_0)} f(x,y) = f(x_0,y_0)$ para todos $(x_0,y_0)$ .
La prueba anterior parece implicar que $\lim_{(x,y)\to (2,-2)} \dfrac{\sin(x+y)}{x+y}$ debería existir. Pero el problema es que este límite no debería existir, teniendo en cuenta la definición de límite que estoy utilizando en esta pregunta. ¿Hay una contradicción aquí o me estoy perdiendo algo?
2 votos
No te equivocas en absoluto. :)
0 votos
Si es un problema inventado por usted, entonces puede utilizar esa definición de límite, y concluir que no existe. Si se trata de un problema tomado de otro lugar, debes utilizar la definición de límite de esa fuente.
0 votos
@GEdgar: Tanto el problema como la definición están sacados del mismo libro.
0 votos
Entonces tienes razón, pero Wolfram|Alpha no es ese libro, ¡ya que parece utilizar una definición diferente!
0 votos
Te sugiero que envíes por correo electrónico el gráfico de mi respuesta al autor del libro y le preguntes si realmente piensa que ese límite no existe. Ten en cuenta que si extiendes la función para que sea $1$ en la línea $x+y=0$ (excepto precisamente en $(2,-2)$ ), el límite existe incluso con tu definición.
0 votos
Según todas las respuestas y comentarios hasta ahora, parece que la definición de límite que estoy utilizando es más estricta de lo que podría ser. Wolfram|Alpha probablemente esté utilizando la definición menos estricta señalada en la respuesta de mrf.
0 votos
¿Está seguro de que su fuente no contiene ninguna definición de la continuidad de una función en $(x_0,y_0)$ cuando no hay conjunto $B((x_0,y_0),r)\setminus\{(x_0,y_0)\}$ con $r\gt0$ ¿está contenida en el dominio de la definición?
0 votos
@Did: La definición de continuidad de este libro me planteó otra duda, que incluí en la pregunta original bajo el título Actualización .
0 votos
@anonymous, con respecto a tu actualización (y a la pregunta en general): Se reduce a lo estricto que quieras ser. Estrictamente hablando, tu función $f(x,y)$ en la actualización no es igual a la función definida por $g(x,y) = \sin(x+y)/(x+y)$ porque tienen dominios diferentes. Pero la diferencia es, como usted señala, trivial, y puede, de hecho, si le conviene, considerar dos diferentes funciones para ser igual si sólo están en desacuerdo en algún subconjunto "trivial" de algún dominio. (cont.)
0 votos
(cont.) Pero su libro está utilizando una definición restrictiva de "límite" y por lo tanto el límite técnicamente no existe para $g$ como ha señalado. Existe para su $f$ pero esta función no es técnicamente la misma que $g$ .
0 votos
No subestimo su actualización. La función $f$ allí es continua.
0 votos
@AntonioVargas: Gracias, ahora creo que entiendo la diferencia.