Aplicación de Punto Fijo de Banach Teorema de secuencias

Question

Tengo la siguiente pregunta

Demostrar que no es único real delimitada secuencia $(a_n: n \in \mathbb{N})$ tal que $$a_n = \frac{n+1}{n}+\sum^\infty_{m=1}\frac{\sqrt{3a^2_{m+n}+1}}{4m^2}$$ for all $n \in \mathbb{N}$.

Yo sé que tengo que usar la Contracción/Teorema de Punto Fijo, así que definió por primera vez el $\Phi : l_{\infty}(\mathbb{N}) \to l_{\infty}(\mathbb{N})$ por

$$\Phi(a)_n=\frac{n+1}{n}+\sum^\infty_{m=1}\frac{\sqrt{3a^2_{m+n}+1}}{4m^2}$$ where $un\l_{\infty}(\mathbb{N})$ and $n \in \mathbb{N}$.

Pero me quedé atrapado en mi intento de mostrar $\Phi$ es una contracción. Mi última línea de trabajo es

$$|\Phi(a)_n - \Phi(b)_n| \leq \cdots \leq \left|3 \sum^{\infty}_{m=1} \frac{a^2_{n+m}-b^2_{n+m}}{4m^2\left(\sqrt{3a^2 _{n+m}+1}+\sqrt{3b^2_{n+m}+1}\right)}\right|$$ Gracias de antemano

Answer 1

Sólo para finalizar Juan Ma de la idea.

Nota la secuencia de las desigualdades $$ \begin{align} |\Phi(a)_n - \Phi(b)_n| &\leq \left|3 \sum^{\infty}_{m=1} \frac{a^2_{n+m}-b^2_{n+m}}{4m^2\left(\sqrt{3a^2 _{n+m}+1}+\sqrt{3b^2_{n+m}+1}\right)}\right|\\ &\leq \left|3 \sum^{\infty}_{m=1} \frac{a^2_{n+m}-b^2_{n+m}}{4m^2\left(\sqrt{3a^2 _{n+m}}+\sqrt{3b^2_{n+m}}\right)}\right|\\ &\leq \left|3 \sum^{\infty}_{m=1} \frac{(a^2_{n+m}-b^2_{n+m})}{4m^2\sqrt{3}(|a_{n+m}|+|b_{n+m}|)}\right|\\ &\leq \left| \sum^{\infty}_{m=1} \frac{\sqrt{3}}{4m^2}(|a_{n+m}|-|b_{n+m}|)\right|\\ &\leq \sup_m|a_{n+m}-b_{n+m}|\sum^{\infty}_{m=1} \frac{\sqrt{3}}{4m^2}\\ &\leq \frac{\pi^2\sqrt{3}}{24}\sup_m|a_{n+m}-b_{n+m}| \\ \end{align} $$ Entonces $$ \Vert \Phi(a) - \Phi(b)\Vert \leq\frac{\pi^2\sqrt{3}}{24}\sup_n\sup_m|a_{n+m}-b_{n+m}| \leq\frac{\pi^2\sqrt{3}}{24}\Vert a-b\Vert $$ Desde $\alpha=\frac{\pi^2\sqrt{3}}{24}<1$ podemos aplicar de Banach teorema de punto fijo.