Demostrar que el límite de $\root n \of {{a_1}^n + {a_2}^n + ... + {a_k}^n}$ $\max(a_1,...a_k)$

Question

Probar que: $$\lim_{n \to \infty} \root n \of {{a_1}^n + {a_2}^n + ... + {a_k}^n} = \max \left\{ {{a_1},{a_2}...{a_k}} \right\}$$

Estoy familiarizado con el teorema que dice que si $$\mathop {\lim }\limits_{n \to \infty } {{{a_n}} \over {{a_{n - 1}}}} = L$$

a continuación,
$$\mathop {\lim }\limits_{n \to \infty } \root n \of {{a_n}} = L$$

Así, traté de evaluación de la expreesion:
$${{{a_1}^n + {a_2}^n + ... + {a_k}^n} \over {{a_1}^{n - 1} + {a_2}^{n - 1} + ... + {a_k}^{n - 1}}}$$

pero casi se quedó atascado aquí. Es este el camino correcto a seguir?

Answer 1

$$\sqrt[n]{a_{\max}^n} \leq \sqrt[n]{a^n_1 + \dots + a_k^n} \leq \sqrt[n]{k \cdot a_{\max}^n}$$

Answer 2

Supongamos, sin pérdida de generalidad, que el $a_1 = \max \left\{ {{a_1},{a_2}...{a_k}} \right\}$. Entonces:

$$ \root n \of {{a_1}^n + {a_2}^n + ... + {a_k}^n} = \root n \of {a_1^n \left (1+\left (\dfrac{a_2}{a_1} \right )^n + ... + \left (\dfrac{a_k}{a_1} \right )^n \right )} \leq \root n \of {{a_1}^n \cdot k} = a_1 \root n \of {k}$$

Desde $\dfrac{a_i}{a_1} \leq 1$, $i=1, ..., k$.

Por lo tanto, $\lim_{n \to \infty} \root n \of {{a_1}^n + {a_2}^n + ... + {a_k}^n} = a_1$

Answer 3

Aunque tu pregunta ya está contestada, observe que (positivos $(a_k)_{k\in \mathbb N} $) de lo que quieres demostrar que es equivalente a probar que $$||a_k||_p \to ||a_k||_\infty$$ as $p \to \infty$ (where $p$ is denoted with $n$ in your case), i.e. that the $l^p$-norm converges to the $l^\infty$-norma (por secuencias). Una evidencia completa se puede encontrar aquí.