Decimos que $\alpha$ es un punto fijo de $g$ si
$$g(\alpha)=\alpha$$Como cualquier ecuación $f(x)=0$ puede ser reescrita como $g(x)=x$, por ejemplo, $g(x)=f(x)+x$, resolver la primera ecuación es equivalente a encontrar un punto fijo de la segunda función.
Por ejemplo, sea $f(x)=\cos(x)-x$ y buscamos las raíces de $f$ tal que $$\cos(x)-x=0.$$ Podemos reorganizar la ecuación como $$\cos(x)=x.$$
La solución de esta segunda ecuación, también llamada punto fijo de la función
$$ g(x) =\cos(x)$$será también una raíz de $f$.
Una vez tenemos la función $g$ el procedimiento para calcular el punto fijo es:
- Sea $x_0$ un punto inicial.
- Para $k=1,2,\ldots,\mathrm{MaxNumIter}$:
- Calcular $x_k=g(x_{k-1})$
- Si $x_k$ satisface el criterio de parada, parar.
- En el caso contrario, hacer otra iteración.
Por ejemplo, si para $g(x)=\cos(x)$ tomamos $x_0=1$ (¡Ojo! Las unidades de ángulos en matemáticas y en física son los radianes):
Gráficamente la sucesión se construye:
El Teorema de la aplicación contractiva dice: sea $g$ derivable definida en el intervalo $[a,b] \subset \mathbb{R} $ y $x_0 \in [a,b]$ un punto del intervalo. Supongamos que
Entonces $g$ tiene un único punto fijo $\alpha \in [a,b]$, y la sucesión $x_n$ definida como $x_{i+1}=g(x_i)$ que tiene como punto inicial $x_0$ converge a $\alpha$ con orden al menos lineal.
Veamos si se verifican estas condiciones para la función $g(x)=\cos x$ en el intervalo $[0,1]$
Gráficamente
Analíticamente
Como
y tendrá su máximo en $0$ y su mínimo en $1$, es decir
$$\cos(1)\le \cos(x) \le \cos(0)$$
que es
$$0.54\le \cos(x) \le 1$$y por lo tanto
$$\mathrm{Si}\quad x\in[0,1]\quad \Longrightarrow\quad \cos(x)\in [0.54,1]\subset[0,1]$$$g'(x)=-\mathrm{sen}(x)$
tendrá su máximo en $1$ y su mínimo en $0$, es decir
$$\mathrm{sen}(0)\le \mathrm{sen}(x) \le \mathrm{sen}(1)$$
que es $$0\le \mathrm{sen}(x) \le 0.84$$ y por lo tanto
$$\left|g'(x)\right|\le 0.84\lt 1 \;\mathrm{para}\; \mathrm{todo}\; x\in [0,1]$$Como se cumplen las condiciones del teorema de la aplicación contractiva podemos escoger cualquier punto del intervalo $[0,1]$ como valor $x_0$ y está garantizado que la sucesión generada con la función de iteración $g$ converja.
Existen cuatro posibles casos:
Para calcular las raíces de $f(x)=x+\ln(x)$ por el método de punto fijo se definen las siguientes funciones de iteración.
$$(i)~g_{1}(x)=-\ln(x),\quad(ii)~g_{2}(x)=\text{e}^{-x},\quad(iii)~g_{3}(x)=\frac{x+\text{e}^{-x}}{2}$$Comprobemos que la raíz de la ecuación es punto fijo de las funciones que se definen a partir de las ecuaciones equivalentes. Es decir
Empecemos por la función de iteración
El Teorema de la aplicación contractiva dice: sea $g$ derivable definida en el intervalo $\left[a,b\right] \subset \mathbb{R}$ y $x_0 \in \left[a,b\right]$ un punto del intervalo. Supongamos que
Entonces $g$ tiene un único punto fijo $\alpha \in [a,b]$, y la sucesión $x_n$ definida como $x_{i+1}=g(x_i)$ que tiene como punto inicial $x_0$ converge a $\alpha$ con orden al menos lineal.
Viendo las gráficas:
Por ejemplo, si para $g_1(x)=-\ln(x)$ tomamos $x_0=0.5$:
Para las demás funciones
Vemos que, con la función $g_1,$ como no está definida para valores negativos, a partir de cierto punto, la sucesión no está definida.
Podemos asumir que, si una serie de decimales se repiten en iteraciones sucesivas, son los correctos. Así, las sucesiones generadas con $g_2$ y $g_3$ convergen, pero converge más rápido la sucesión con $g_3$, porque podemos asumir que como para $0.567143$ se repiten los 6 decimales en las dos últimas iteraciones, esta es la solución correcta para 6 decimales. Sin embargo, para la sucesión generada con $g_2,$ en la iteración 9, se repiten solamente dos decimales con la iteración anterior.
Teniendo en cuenta los resultados anteriores, podemos usar $g_2$ y $g_3.$ La función $g_1$ no cumple las condiciones de convergencia y la sucesión generada por ella no converge.
La mejor función de iteración es la de derivada más baja en el intervalo porque converge más rapidamente, es decir, $g_3.$