Punto fijo

En matemáticas, un punto fijo de una función es un punto cuya imagen producida por la función es él mismo. Es decir, x es un punto fijo de la función f si y sólo si . Por ejemplo:

Una función con tres puntos fijos

1) Si f está definida sobre los números reales como

entonces 0 y 1 son los puntos fijos de f, porque f(0) = 0 y f(1) = 1.

2) Si f está definida sobre los números reales como

entonces 2 es un punto fijo de f, porque f(2) = 2, y, además, es el único.

No todas las funciones tienen puntos fijos. Por ejemplo, si f es una función definida sobre los números reales como , entonces f no tiene ningún punto fijo, ya que x no es nunca igual a x + 1 para ningún número real. En términos gráficos, y en el dominio de los reales, que x sea un punto fijo significa que el punto pertenece a la recta , o en otras palabras la gráfica de f tiene un punto en común con esa recta. El ejemplo es un caso donde la gráfica de f y la recta y=x son rectas paralelas. Puede verse fácilmente que para la función todos los puntos del dominio son puntos fijos.

Los puntos que vuelven al mismo valor después de un número finito de iteraciones de la función se conocen como puntos periódicos; un punto fijo es un punto periódico con periodo igual a 1.

Puntos fijos atractivos

La iteración de punto fijo xn+1 = cos xn con el valor inicial x 1 = -1.

Un punto fijo atractivo de una función f es un punto fijo de f tal que para cualquier valor de x en el dominio que es bastante cercano a , la sucesión obtenida iterando la función

converge a . Cuán cerca es "bastante cerca" es a veces una cuestión sutil.

La función coseno natural ("natural" significa en radianes, no grados u otras unidades) tiene exactamente un punto fijo atractivo. En este caso "bastante cerca" no es nada restrictivo, para verlo se puede empezar con cualquier número real y pulsar repetidamente la tecla "cos" de la calculadora. El resultado converge rápidamente a 0,73908513, que es un punto fijo. Aquí es donde la gráfica de la función coseno interseca a la recta .

No todos los puntos fijos son atractivos: por ejemplo, es un punto fijo de la función , pero la iteración de esta función para cualquier punto distinto de cero diverge rápidamente. Ahora bien, si la función es continuamente derivable en un entorno abierto del punto fijo , y , entonces la atracción está garantizada.

Los puntos fijos atractivos son un caso especial de atractores, que es un concepto matemático más amplio (que el de punto fijo atractivo).

Se dice que un punto fijo atractivo es un punto fijo estable si es también Lyapunov estable.

Se dice que un punto fijo estable es neutralmente estable si es Lyapunov estable pero no atrayente. El centro de una ecuación diferencial lineal homogénea de segundo orden es un ejemplo de un punto fijo neutralmente estable.

Un ejemplo interesante

Siguiendo el primer capítulo del libro de Sternberg, podemos redactar el resumen del método para calcular los puntos fijos de una función dada y también descubrir sus propiedades de estabilidad.

   1. Dado , se puede reescribir como . Establecer 
   2. Resuelva  para obtener los puntos fijos  de .
   3. Calcular todos los valores de  y ver cuál es mayor que 1, menor que 1 o igual a cero.
   4. Los  que son mayores que 1 son inestables, los que son menores que 1 son estables y los que son iguales a cero son superestables.

Un ejemplo más limpio es el siguiente:

   1. Considere .
   2. Crea .
   3.  tiene soluciones 
   4. .
   5.  ( es inestable),  ( es superestable),  ( es inestable).

Demostración del ejemplo sugerido. Entonces, si uno comienza la iteración con cualquier punto en , la iteración converge a . Para cualquier punto inicial en la iteración diverge a infinito positivo o negativo.

Teoremas de puntos fijos

Hay numerosos teoremas en diferentes partes de las matemáticas que garantizan a las funciones, si cumplen ciertas condiciones, tener al menos un punto fijo.

Aplicaciones

En muchos campos, "equilibrio" o "estabilidad" son conceptos fundamentales que pueden ser descritos en términos de puntos fijos. Por ejemplo, en economía, un Equilibrio de Nash de un juego es un punto fijo de la mejor respuesta posible de todos los jugadores.

En compiladores, computaciones de puntos fijos son usados para todo un análisis de programa, que suelen ser usados para la optimización de código.[cita requerida]

Véase también

Referencias

Enlaces externos

Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.