Fixed point theorems on perturbed metric space with an application

Este artículo establece teoremas de puntos fijos para mapeos F-perturbados en espacios métricos perturbados completos, respaldando los resultados con un contraejemplo y demostrando su aplicación en la existencia de soluciones para problemas de valores en la frontera de segundo orden.

Lo esencial

¡Hola! Imagina que estás intentando medir la distancia entre dos ciudades en un mapa, pero tu regla tiene un pequeño defecto: a veces se estira un poco o se encoge dependiendo de la temperatura. En matemáticas, esto es como trabajar en un "espacio métrico perturbado".

Este artículo de Dipti Barman y T. Bag es como un manual de instrucciones para encontrar un punto de equilibrio (un "punto fijo") en un mundo donde las reglas de la distancia no son perfectas, pero aún así podemos confiar en ellas.

Aquí te lo explico con analogías sencillas:

1. El Mundo con "Ruido" (El Espacio Métrico Perturbado)

Imagina que quieres medir la distancia entre dos puntos, A y B.

• La medida perfecta (d): Sería como usar un láser de precisión. Si A y B son el mismo punto, la distancia es 0. Si son diferentes, la distancia es positiva y sigue reglas estrictas (como la del triángulo: ir de A a C y luego a B nunca es más corto que ir directo de A a B).
• La medida real (D): En la vida real, los instrumentos tienen errores. Quizás tu regla se estira un poco si hace calor. Los autores llaman a esto espacio métrico perturbado.
  • Tienen una medida "ruidosa" ($D$) que incluye el error.
  • Tienen una medida "exacta" ($d$) que es la realidad pura.
  • La relación es: Medida Ruidosa = Medida Exacta + Error.

El problema es: ¿Cómo garantizamos que, si seguimos un proceso repetitivo en este mundo "ruidoso", eventualmente llegaremos a un punto final estable?

2. La Regla del "Contrato" (El Teorema del Punto Fijo)

En matemáticas, un punto fijo es como un lugar en un mapa donde, si aplicas una regla de movimiento, te quedas exactamente donde estás.

• Ejemplo: Si tienes un mapa de tu ciudad y lo arrugas, luego lo pones sobre la ciudad original, habrá al menos un punto del mapa que está exactamente encima de la calle real que representa. Ese es el punto fijo.

Los autores crean una nueva regla llamada Mapeo F-perturbado.

• Imagina que tienes una máquina que toma un número y lo transforma en otro.
• La regla dice: "Cada vez que la máquina transforma dos números, la distancia entre ellos se hace más pequeña de una manera muy específica y controlada".
• Usan una función especial (llamada $F$) que actúa como un "amplificador de la distancia". Si la distancia se hace pequeña, esta función hace que el valor caiga al infinito negativo, lo que obliga a la distancia a desaparecer.

La analogía: Imagina que estás bajando por una colina muy empinada (la función $F$). Cada paso que das (cada iteración) te acerca al fondo. Incluso si el suelo está resbaladizo o tiene baches (el "ruido" o perturbación), la pendiente es tan fuerte que siempre terminarás en el mismo punto del fondo, sin importar por dónde empieces.

3. La Aplicación Real: Resolver Problemas de Ingeniería

¿Para qué sirve esto? Los autores lo usan para resolver un problema de física e ingeniería llamado "Problema de Valor de Frontera de Segundo Orden".

• Traducción: Imagina una cuerda de guitarra o una viga de acero que está sujeta en ambos extremos y tiene una fuerza empujándola en el medio. Quieres saber exactamente cómo se curva la cuerda.
• Matemáticamente, esto es una ecuación difícil. Pero los autores la convierten en un juego de "buscar el punto fijo".
• Demuestran que, bajo ciertas condiciones, existe una y solo una forma en que la cuerda puede curvarse para satisfacer las leyes de la física.

4. La Prueba: El Experimento Numérico

Para no quedarse solo en la teoría, hicieron un experimento con una computadora:

1. Empezaron con una suposición inicial (como adivinar la forma de la cuerda).
2. Aplicaron su regla matemática una y otra vez (iteración).
3. Resultado: La suposición inicial se fue ajustando poco a poco hasta converger en la solución exacta.
4. Las gráficas muestran cómo la "distancia" entre la suposición y la realidad se hace cada vez más pequeña, confirmando que su método funciona incluso con el "ruido" de la perturbación.

5. El Bonus: Un Teorema Más General

Al final, los autores también muestran que su nuevo método incluye al famoso Teorema de Banach (el clásico de los puntos fijos) como un caso especial. Es como decir: "Nuestra nueva herramienta es una versión mejorada y más flexible de la herramienta que ya conocías, capaz de funcionar en terrenos más difíciles".

En Resumen

Este paper nos dice:

"Incluso si tus reglas de medición tienen errores o imperfecciones (perturbaciones), si usas la estrategia correcta (Mapeo F-perturbado), puedes estar seguro de que tu proceso repetitivo llegará a un único y estable punto final. Y esto es útil para resolver problemas reales de ingeniería y física donde las mediciones nunca son perfectas."

Es un trabajo que combina la teoría abstracta con la realidad práctica, asegurando que las matemáticas sigan siendo fiables incluso cuando el mundo real es un poco "desordenado".

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Fixed point theorems on perturbed metric space with an application" (Teoremas de punto fijo en espacios métricos perturbados con una aplicación), escrito por Dipti Barman y T. Bag.

1. Planteamiento del Problema

El artículo aborda la necesidad de extender los resultados clásicos de los teoremas de punto fijo (como el de Banach o Wardowski) a contextos donde la medición de distancias no es perfecta. En la práctica, las mediciones de distancia entre puntos suelen estar "contaminadas" por errores sistemáticos o aleatorios (imperfecciones instrumentales, ruido, etc.).

• Contexto: Los espacios métricos generalizados (como $b$-métricas, $G$-métricas, etc.) han modificado la desigualdad triangular, pero el concepto de Espacio Métrico Perturbado (introducido por Jleli et al.) aborda el problema desde la perspectiva de que la distancia observada $D(x,y)$ es la suma de una métrica exacta $d(x,y)$ y un término de perturbación $P(x,y)$.
• Objetivo: Establecer teoremas de punto fijo para nuevas clases de contracciones (específicamente mapeos $F$-perturbados) en estos espacios y demostrar su utilidad resolviendo un problema de valor de frontera de segundo orden.

2. Metodología y Definiciones Clave

Los autores desarrollan su marco teórico basándose en las siguientes definiciones y herramientas:

• Espacio Métrico Perturbado $(X, D, P)$:
  Se define mediante dos funciones $D, P: X \times X \to [0, \infty)$. La función $D$ es una métrica perturbada si $d = D - P$ es una métrica exacta estándar.

  • $d(x,y) = D(x,y) - P(x,y)$ cumple los axiomas de métrica (no negatividad, identidad de indiscernibles, simetría, desigualdad triangular).
  • $P$ representa el error o perturbación.

• Convergencia y Completitud:
  Una sucesión converge en el espacio perturbado si converge en la métrica exacta $d$. El espacio es completo si toda sucesión de Cauchy en $d$ converge.

• Mapeo $F$-Perturbado:
  Inspirado en los teoremas de Wardowski ($F$-contracciones), se define un mapeo $T: X \to X$ como $F$-perturbado si existe $\tau > 0$ y una función $F: \mathbb{R}^+ \to \mathbb{R}$ (satisfaciendo condiciones de crecimiento estricto y comportamiento asintótico) tal que:
  $$D(Tx, Ty) > 0 \implies \tau + F(D(Tx, Ty)) \leq F(D(x, y))$$
  Esto generaliza la contracción estándar al espacio perturbado.

• Herramientas Analíticas:
  Se utiliza la función $F$ (ej. $F(t) = \ln t$) para transformar la desigualdad de contracción en una forma que permite demostrar que las distancias entre iteraciones tienden a cero.

3. Contribuciones Principales

El artículo presenta tres contribuciones teóricas y prácticas fundamentales:

1. Teorema de Punto Fijo para Mapeos $F$-Perturbados (Teorema 3.3):
   Se demuestra que si $(X, D, P)$ es un espacio métrico perturbado completo y $T$ es un mapeo $F$-perturbado y continuo (respecto a la métrica exacta $d$), entonces $T$ posee un único punto fijo en $X$.

   • Demostración: Se construye una sucesión iterativa $x_{n+1} = Tx_n$. Usando las propiedades de $F$, se prueba que la distancia $D(x_{n+1}, x_n)$ tiende a cero y que la sucesión es de Cauchy en la métrica exacta, garantizando la convergencia.

2. Aplicación a Ecuaciones Diferenciales (Problema de Valor de Frontera):
   Se aplica el teorema anterior para probar la existencia y unicidad de la solución para un problema de valor de frontera de segundo orden:
   $$-u''(t) = f(t, u(t)), \quad u(0) = u(1) = 0$$
   El problema se transforma en una ecuación integral usando la función de Green. Se define un espacio de funciones continuas $C[0,1]$ con una métrica perturbada específica que incluye el valor en el borde ($t=0$). Bajo ciertas condiciones de Lipschitz en $f$, se garantiza la solución única.

3. Generalización del Teorema de Banach (Sección 6):
   Se establece un segundo teorema que generaliza el teorema de punto fijo de Banach en espacios perturbados. Si $D(T^n x, T^n y) \leq a_n D(x, y)$ y la serie $\sum a_n$ converge, entonces existe un punto fijo único. Esto demuestra que los resultados clásicos son casos particulares de este marco más amplio.

4. Resultados y Validación Numérica

• Ejemplo Teórico: Se presenta un ejemplo en el intervalo $[0,1]$ donde $D(x,y) = |x-y| + (x-y)^4$. Se muestra que $D$ no es una métrica exacta (viola la desigualdad triangular estándar), pero sí una métrica perturbada. Se verifica que el mapeo $Tx = x/2$ cumple la condición $F$-perturbada y converge a $x=0$.
• Experimento Numérico:
  • Se resuelve la ecuación integral asociada al problema de valor de frontera con $f(s, u) = \frac{s+0.5}{2} \sin(u)$.
  • Se utiliza el método de iteración sucesiva ($u_{n+1} = T u_n$) partiendo de una estimación inicial $u_0(t) = t$.
  • Hallazgo: Las gráficas (Figura 3) muestran la convergencia rápida de la secuencia $u_n(t)$ hacia la solución exacta $u(t) = t$. El error de norma sup ($||u_{n+1} - u_n||_\infty$) disminuye monótonamente, validando la eficacia del enfoque propuesto.

5. Significado e Impacto

• Rigor Matemático: El trabajo formaliza y extiende la teoría de puntos fijos a entornos donde las mediciones tienen errores inherentes, un escenario común en física e ingeniería que los espacios métricos estándar no capturan directamente.
• Aplicabilidad: Proporciona una herramienta robusta para demostrar la existencia de soluciones en problemas de valores de frontera no lineales, donde la perturbación puede modelar incertidumbres en las condiciones de contorno o en el kernel de la integral.
• Versatilidad: Al incluir tanto las contracciones $F$ como las contracciones basadas en series convergentes, el marco unifica varios resultados existentes y ofrece nuevas vías para investigar la estabilidad de soluciones en sistemas dinámicos bajo perturbaciones.

En conclusión, el artículo demuestra que la estructura de los espacios métricos perturbados es suficiente para sostener teoremas de punto fijo potentes, los cuales son directamente aplicables para resolver problemas complejos de ecuaciones diferenciales, ofreciendo además validación numérica de su convergencia.