Introducción
Estás en el instituto una tarde cualquiera. La clase de matemáticas hoy no avanza demasiado, así que echas mano de tu calculadora y empiezas a jugar con ella para matar el aburrimiento.
Es muy probable que esta historia te suene, y si es así, existe la posibilidad de que entre las miles de cosas que probaras, una fuera la siguiente:
-
Escribes o llegas a un número cualquiera, digamos que es 0.234.
-
Empiezas a pulsar repetidamente el botón
cos
:
Resulta que si eliges cualquier otro valor y repites este proceso, acabas en el mismo resultado:
Este número se conoce como Número de Dottie, y se define precisamente como la solución a la ecuación
Que esta ecuación tiene solución es muy sencillo de deducir, pero hay que comprobarlo para hablar de su solución, ya que a veces suponer la existencia de una solución que resulta no existir lleva a contradicciones.
Proposición:
Demostración: Definiendo
Lo interesante es que solo hay una única solución, y que iterar la función coseno repetidamente tiende, en el infinito, a esta única solución.
Para entender este aparente misterio, y ver que no se trata de ninguna casualidad, necesitamos dos ingredientes:
El Teorema del punto fijo y el Teorema del valor medio.
El Teorema del valor medio
Este teorema dice que si tenemos una función
El Teorema del punto fijo (de Banach)
Para entender este teorema, necesitamos primero necesitamos la siguiente definición:
Definición: Una función
Teorema del punto fijo (de Banach): Toda función contractiva tiene un único punto fijo.
Además, si llamamos
Demostración: Como
Sin duda, cuando
Para ver una demostración más precisa y extendida a cualquier espacio métrico completo, consultar esta demostración en Wikipedia.
Un caso particular de funciones contractivas
Proposición: Si tenemos una función tal que
Demostración: Como
Funciones casi contractivas
Si nos preguntamos qué pasa cuando
Definición: Diremos que una función
Proposición: Si tenemos una función continua
Demostración: Es una propiedad conocida que en un conjunto compacto, toda función continua tiene máximo y mínimo (demostración). Definimos
Proposición: Si tenemos una función continua
Demostración: Si
El misterio del número de Dottie
En el caso de
Para quien tenga curiosidad sobre las particularidades de este número, podéis consultar https://www.gaussianos.com/el-numero-de-dottie/.
Resolviendo y aproximando con el método del punto fijo
En la práctica podemos usar métodos bastante más efectivos como el Método de Newton, pero el Teorema del punto fijo es de gran importancia dentro de las matemáticas, y esta es una forma curiosa de ponerlo en práctica.
Si queremos encontrar soluciones a ecuaciones, de manera que las podamos calcular, podemos intentar hacer que la solución sea el punto fijo de una función (casi) contractiva.
Probaremos cómo calcular
Como presuponemos que no podemos calcularla directamente, la expresamos de manera que sea un punto fijo de
Este método se comoce como Algoritmo babilónico.
Otro ejemplo sería resolver
Las funciones anteriores se pueden expresar como series y es más fácil obtener sus valores de forma sistemática, pero ejemplos no tan sencillos son los polinomios de grado mayor a 4, para los que no hay expresión cerrada, no se pueden calcular así. El método del punto fijo no puede resolverlos todos en general, pero podemos resolver casos particulares:
Por ejemplo,
y será contractiva para