Problema común de punto fijo

En matemáticas, el problema común del punto fijo es la conjetura de que para dos funciones continuas cualesquiera que mapean el intervalo unitario en sí mismo y que conmutan bajo composición funcional , debe haber un punto que sea un punto fijo de ambas funciones. En otras palabras, si las funciones y son continuas y para todos en el intervalo unitario, entonces debe haber alguna en el intervalo unitario para la cual . ${\estilo de visualización f}$${\estilo de visualización g}$${\displaystyle f(g(x))=g(f(x))}$${\estilo de visualización x}$${\estilo de visualización x}$${\displaystyle f(x)=x=g(x)}$

El problema, que se planteó por primera vez en 1954, permaneció sin resolver durante más de una década, durante la cual varios matemáticos hicieron avances graduales hacia una respuesta afirmativa. En 1967, William M. Boyce y John P. Huneke demostraron de forma independiente que la conjetura era falsa al proporcionar ejemplos de funciones conmutativas en un intervalo cerrado que no tienen un punto fijo común.

Un artículo de 1951 de HD Block y HP Thielman despertó el interés en el tema de los puntos fijos de las funciones conmutativas. ^[1] Basándose en trabajos anteriores de JF Ritt y AG Walker , Block y Thielman identificaron conjuntos de polinomios conmutativos por pares y estudiaron sus propiedades. Demostraron, para cada uno de estos conjuntos, que dos polinomios cualesquiera compartirían un punto fijo común. ^[2]

El artículo de Block y Thielman llevó a otros matemáticos a preguntarse si tener un punto fijo común era una propiedad universal de las funciones conmutativas. En 1954, Eldon Dyer preguntó si si y son dos funciones continuas que proyectan un intervalo cerrado de la recta real en sí mismo y conmutan, deben tener un punto fijo común. La misma pregunta fue planteada de forma independiente por Allen Shields en 1955 y nuevamente por Lester Dubins en 1956. ^[3] John R. Isbell también planteó la pregunta de una forma más general en 1957. ^[4]${\estilo de visualización f}$${\estilo de visualización g}$

Durante la década de 1960, los matemáticos pudieron demostrar que la conjetura de la función conmutativa se cumplía cuando se hacían ciertas suposiciones sobre y . ^{[1] [5]}${\estilo de visualización f}$${\estilo de visualización g}$

En 1963, Ralph DeMarr demostró que si y son ambos Lipschitz continuos , y si la constante de Lipschitz de ambos es , entonces y tendrán un punto fijo común. ^[6] Gerald Jungck refinó las condiciones de DeMarr, mostrando que no necesitan ser Lipschitz continuos, sino que satisfacen criterios similares pero menos restrictivos. ^[7]${\estilo de visualización f}$${\estilo de visualización g}$${\displaystyle \geq 1}$${\estilo de visualización f}$${\estilo de visualización g}$

Adoptando un enfoque diferente, Haskell Cohen demostró en 1964 que y tendrán un punto fijo común si ambas son continuas y también abiertas. ^[8] Más tarde, tanto Jon H. Folkman como James T. Joichi, trabajando independientemente, ampliaron el trabajo de Cohen, demostrando que sólo es necesario que una de las dos funciones sea abierta. ^{[9] [10]}${\estilo de visualización f}$${\estilo de visualización g}$

En 1965, John Maxfield y WJ Mourant demostraron que las funciones conmutativas en el intervalo unitario tienen un punto fijo común si una de las funciones no tiene periodo 2 puntos (es decir, implica ). ^[11] Al año siguiente, Sherwood Chu y RD Moyer descubrieron que la conjetura se cumple cuando hay un subintervalo en el que una de las funciones tiene un punto fijo y la otra no tiene periodo 2 puntos. ^[12]${\displaystyle f(f(x))=x}$${\displaystyle f(x)=x}$

William M. Boyce obtuvo su doctorado en la Universidad de Tulane en 1967. ^[13] En su tesis, Boyce identificó un par de funciones que conmutan bajo composición, pero no tienen un punto fijo común, lo que demuestra que la conjetura del punto fijo es falsa. ^[14]

En 1963, Glenn Baxter y Joichi publicaron un artículo sobre los puntos fijos de la función compuesta . Se sabía que las funciones y permutan los puntos fijos de . Baxter y Joichi observaron que en cada punto fijo, el gráfico de debe cruzar la diagonal hacia arriba (un "cruce hacia arriba"), o hacia abajo (un "cruce hacia abajo"), o tocar la diagonal y luego alejarse en la dirección opuesta. ^[15] En un artículo independiente, Baxter demostró que las permutaciones deben preservar el tipo de cada punto fijo (cruce hacia arriba, cruce hacia abajo, tocar) y que solo se permiten ciertos ordenamientos. ^[4]${\displaystyle h(x)=f(g(x))=g(f(x))}$${\estilo de visualización f}$${\estilo de visualización g}$${\estilo de visualización h}$${\estilo de visualización h}$

Boyce escribió un programa de computadora para generar permutaciones que seguían las reglas de Baxter, a las que llamó " permutaciones de Baxter ". ^{[1] [16] [17]} Su programa excluía cuidadosamente aquellas que podían demostrarse trivialmente que tenían puntos fijos o que eran analíticamente equivalentes a otros casos. Después de eliminar más del 97% de las posibles permutaciones mediante este proceso, ^[18] Boyce construyó pares de funciones conmutativas a partir de los candidatos restantes y pudo demostrar que uno de esos pares, basado en una permutación de Baxter con 13 puntos de cruce en la diagonal, no tenía un punto fijo común.

El artículo de Boyce es uno de los primeros ejemplos de una demostración asistida por ordenador . ^[5] En la década de 1960, era poco común que los matemáticos confiaran en los ordenadores para la investigación, ^{[19] [5]} pero Boyce, que entonces servía en el ejército, tenía acceso a los ordenadores del Laboratorio Lincoln del MIT . Boyce publicó un artículo independiente en el que describía su proceso para generar permutaciones de Baxter, incluido el código fuente FORTRAN de su programa. ^[18]

John P. Huneke también investigó el problema del punto fijo común para su doctorado en la Universidad Wesleyana, que también recibió en 1967. En su tesis, Huneke proporciona dos ejemplos de pares de funciones que conmutan pero no tienen puntos fijos comunes, utilizando dos estrategias diferentes. ^[20] El primero de los ejemplos de Huneke es esencialmente idéntico al de Boyce, aunque Huneke llegó a él a través de un proceso diferente. ^[21]

La solución de Huneke se basa en el problema de la escalada de montañas [ ^22], que establece que dos escaladores que escalan montañas separadas de igual altura podrán escalar de tal manera que siempre estarán a la misma altura en cada punto del tiempo. Huneke utilizó este principio para construir secuencias de funciones que convergerán al contraejemplo del problema del punto fijo común.

El artículo de Huneke se destaca por su enfoque de primeros principios para resolver el problema, sin basarse en ningún trabajo realizado por matemáticos anteriores. ^{[ cita requerida ]}

Aunque el descubrimiento de contraejemplos por Boyce y Huneke significó que se perdiera la búsqueda, que había durado una década, de una prueba de la conjetura de la función conmutativa, permitió a los investigadores centrar sus esfuerzos en investigar en qué condiciones, además de las ya descubiertas, la conjetura todavía podría ser cierta. ^[1]

Boyce amplió el trabajo de Maxfield/Mourant y Chu/Moyer en 1971, demostrando que bajo ciertas circunstancias, las funciones conmutativas pueden tener un punto fijo común incluso si una de las funciones tiene puntos fijos de período 2. ^[23] Su trabajo fue ampliado posteriormente por Theodore Mitchell, Julio Cano y Jacek R. Jachymski. ^{[24] [25] [26]}

Más de 25 años después de la publicación de su primer artículo, Jungck definió condiciones adicionales bajo las cuales y tendrán un punto fijo común, basándose en las nociones de puntos periódicos y el conjunto de coincidencia de las funciones, es decir, los valores para los cuales . ^[27]${\estilo de visualización f}$${\estilo de visualización g}$${\displaystyle f(x)=g(x)}$

Las permutaciones de Baxter se han convertido en un tema de investigación por derecho propio y se han aplicado a otros problemas más allá del problema común del punto fijo. ^{[ cita requerida ]}