4 votos

límite de la secuencia definida por la suma

Dejemos que $x_n=\displaystyle \sum_{k=1}^n \sqrt{1+\frac{k}{n^2}}, n\ge1$ . Demostrar que $\displaystyle \lim_{n \rightarrow \infty} n (x_n-n-\frac{1}{4})=\frac{5}{24}$ .

Lo que he hecho: es fácil demostrar que $\displaystyle \lim_{n \rightarrow \infty} \frac{x_n}{n}=1$ y $\displaystyle \lim_{n \rightarrow \infty} (x_n-n)=\frac{1}{4}$

1 votos

¿Cómo es eso "fácil"? Muestra tu trabajo para que, quizás, podamos ver algo que nos ayude.

0 votos

A relacionado pregunta.

0 votos

@Lucian Esto da el límite de $x_n-n$ para $f(x) = \sqrt{1+x}-1$ pero no la que se ha preguntado en realidad ¿es eso correcto?

3voto

Igor Rivin Puntos 11326

Expandir la raíz cuadrada en una serie de taylor a tres términos, para obtener $1+k/2n^2 -k^2/8 n^4+ k^3/16 n^6,$ entonces suma.

La suma de los $1$ s le da $n$ . La suma de $k/n^2$ da $n(n+1)/4n^2,$ la suma de $k^2/n^4$ le da $(1+n)(2+n)/48 n^3,$ y el siguiente término es $O(1/n^2).$

0 votos

Puede resultar obvio, pero el hecho de que haya una suma de $n$ (que llega hasta el infinito) diferentes $O(\cdot)$ 's, cada uno de ellos viene con su "propia asintótica personal" (constante, etc.) debe al menos ser considerado - o, digamos, mencionado. Al final, está bien aquí, pero ese tipo de descuido lleva a errores en bastantes otros escenarios.

1 votos

@ClementC. Esto es básicamente el teorema de Fubini (ya que todo converge absolutamente), estoy de acuerdo en que esto es algo que el OP debería conocer.

0 votos

(Sí -- no me preocupa la corrección aquí -- sólo el hecho de que estas cosas pueden ser engañosas si no se piensan en general).

1voto

Johan Svensson Puntos 235

Mi respuesta es errónea, pero me gustaría saber por qué.

$$n(x_n-n-\frac{1}{4})=n \sum (\sqrt{(1+\frac{k}{n^2})}-(1+\frac{1}{4n}))$$

$$=n \sum \frac{(1+\frac{k}{n^2})-(1+\frac{1}{4n} )^2}{ \sqrt{(1+\frac{k}{n^2})}+1+\frac{1}{4n} }$$

$$=n \sum \frac{ \frac{k}{n^2} - \frac{1}{16n^2} -\frac{1}{2n}}{ \sqrt{(1+\frac{k}{n^2})}+1+\frac{1}{4n} } $$

Desde $$ \sqrt{(1+\frac{1}{n^2})}+1+\frac{1}{4n} \leq \sqrt{(1+\frac{k}{n^2})}+1+\frac{1}{4n} \leq \sqrt{(1+\frac{n}{n^2})}+1+\frac{1}{4n} $$ , y tienen el mismo límite que $n$ tiende a infinito, aplicaremos el teorema del sándwich a la suma más adelante.

Ahora,

$$n \sum (\frac{k}{n^2} - \frac{1}{16n^2} -\frac{1}{2n} )$$

$$=n (\frac{n(n+1)}{2n^2} - \frac{1}{16n} -\frac{1}{2} )$$

$$=(\frac{n+1}{2} - \frac{1}{16} -\frac{n}{2} )$$

$$=(\frac{1}{2} - \frac{1}{16})=7/16$$

Así que incluso después de dividir dos, debido al denominador, es $7/32$ ...

0 votos

Es es desconcertante. Yo también lo intenté y obtuve la misma respuesta que la tuya, que efectivamente es errónea. La eventual explicación que pude encontrar es la siguiente: lo que tienes es $\sum_{k=1}^n \frac{f(k,n)}{g(k,n)}$ y puedes escribir eso para todos $n$ y cada $1\leq k\leq n$ $$g_1(n) \leq g(k,n) \leq g_2(n)$$ con $g_1(n),g_2(n) \xrightarrow[n\to\infty]{} 2$ . Para aplicar el teorema del apretón, que es muy tentador, bastaría con tener para todos $n$ y $1\leq k\leq n$ la desigualdad $$\frac{f(k,n)}{g_1(n)} \leq \frac{f(k,n)}{g(k,n)} \leq \frac{f(k,n)}{g_2(n)}.$$

1 votos

Pero esta desigualdad no pas mantener para todos $1\leq k\leq n$ : se puede comprobar, el signo de $f(k,n)$ cambios para $k\simeq \frac{n}{2}$ y, por lo tanto, la dirección de la desigualdad también cambia... En otros términos, no se puede aplicar el teorema del apretón, ya que debido a las cancelaciones (por el cambio de signo de los sumandos) la desigualdad $$\sum_{k=1}^n \frac{f(k,n)}{g_1(n)} \leq\sum_{k=1}^n \frac{f(k,n)}{g(k,n)} \leq\sum_{k=1}^n \frac{f(k,n)}{g_2(n)}$$ es pas Es cierto.

0 votos

(como para algunos $k$ 's que tiene $\frac{f(k,n)}{g_1(n)} \leq \frac{f(k,n)}{g(k,n)} \leq \frac{f(k,n)}{g_2(n)}$ pero para algunos otros tienes $\frac{f(k,n)}{g_1(n)} \geq \frac{f(k,n)}{g(k,n)} \geq \frac{f(k,n)}{g_2(n)}$ : no se pueden sumar las desigualdades suma por suma).

0voto

Clement C. Puntos 16603

Usando eso $\frac{k}{n^2} \xrightarrow[n\to\infty]{} 0$ para todos $1\leq k\leq n$ se puede utilizar la expansión de Taylor de $\sqrt{1+x}$ , $$\sqrt{1+x} = 1+\frac{x}{2} - \frac{x^2}{8} + o(x^2)$$ cuando $x\to 0$ : $$\begin{align} x_n &= \sum_{k=1}^n \sqrt{1+\frac{k}{n^2}} = \sum_{k=1}^n \left(1+\frac{k}{2n^2}-\frac{k^2}{8n^4}+o\left(\frac{k^2}{n^4}\right)\right) \\ &= n+ \frac{1}{2n^2}\cdot\frac{n(n+1)}{2} - \frac{1}{8n^4}\cdot\frac{n(n+1)(2n+1)}{6} + o\left(\frac{1}{n}\right)\\ &= n+ \frac{1}{4} + \frac{1}{4n} - \frac{1}{8n^4}\cdot\frac{2n^3}{6} + o\left(\frac{1}{n}\right)\\ &= n+ \frac{1}{4} + \frac{6}{24n} - \frac{1}{24n} + o\left(\frac{1}{n}\right)\\ &= n+ \frac{1}{4} + \frac{5}{24n} + o\left(\frac{1}{n}\right) \end{align}$$ dándole $n(x_n - n - \frac{1}{4}) = \frac{5}{24} + o(1)$ .

Nota: Ahora bien, aunque lo anterior es un método válido y legítimo, habría que detenerse a considerar al menos por qué la manipulación y la suma de los $o(\cdot)$ 's es realmente aceptable. (Específicamente: aunque está implícito, lo que cada $o(\cdot)$ 's se toma con respecto a? $n\to\infty$ o $\frac{k}{n}\to0$ cada uno para un $k$ ? ¿Y por qué sigue estando bien?)

0 votos

Perdona el comentario, pero ¿no es esta respuesta la misma que la primera de arriba? Soy nuevo aquí y todavía me confundo con cuándo dar respuestas completas, pistas, cuándo repetir respuestas, etc. Gracias.

0 votos

@Joanpemo Estaba escribiendo mientras aparecía la otra respuesta. La idea es la misma, aunque yo detallé bastante más; además, el punto principal (no tratado en ambas, pero señalado en mi respuesta) es por qué haciendo una expansión de Taylor como ésta es válida. Hay una suma de $n$ (que llega hasta el infinito) diferentes $o()$ o $O()$ 's, cada uno posiblemente con su "propia constante oculta": típicamente, esto requiere al menos un poco de pensamiento para argumentar que la adición de un número ilimitado de términos insignificantes está bien.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X