Discontinuity at the fixed point in suprametric spaces

Sintesi Tecnica: Discontinuità nel Punto Fisso negli Spazi Suprametrici

Enunciato del Problema e Motivazione
Il lavoro affronta l'esistenza e l'unicità dei punti fissi per applicazioni di un insieme in sé su spazi suprametrici completi, una generalizzazione degli spazi metrici introdotta da Berzig. Una motivazione centrale di questo studio è il problema aperto posto da B. E. Rhoades (1988): Esiste una definizione contrattiva abbastanza forte da generare un punto fisso ma che non costringa l'applicazione a essere continua nel punto fisso?

Mentre i classici teoremi sui punti fissi (ad esempio Banach–Picard–Caccioppoli) richiedono spesso la continuità, e i risultati di Istrătescu sulle contrazioni convesse di ordine 2 si basano anch'essi sulla continuità globale, questo lavoro indaga se condizioni più deboli — specificamente la $k$-continuità o la semicontinuità inferiore orbitale rispetto a $T$ — siano sufficienti a garantire un punto fisso nel contesto degli spazi suprametrici. Gli autori mirano a generalizzare i risultati esistenti riguardanti le contrazioni convesse e le quasi-contrazioni (Sehgal, ´Ciri´c e Fisher) a questo contesto più ampio, risolvendo al contempo la questione della continuità sollevata da Rhoades.

Metodologia e Quadro Teorico
Gli autori operano all'interno del quadro degli spazi suprametrici $(X, d)$, definiti da una funzione che soddisfa la simmetria, l'identità degli indiscernibili e una disuguaglianza triangolare modificata:
$$d(x, y) \leq d(x, z) + d(z, y) + \rho d(x, z)d(z, y)$$
per una certa costante $\rho \geq 0$.

La metodologia prevede:

1. Generalizzazione delle Condizioni Contrattive: Estensione delle definizioni di contrazioni convesse di ordine $m$ e di quasi-contrazioni (inclusi quelli di ´Ciri´c e Fisher) all'ambito suprametrico.
2. Rilassamento delle Assunzioni di Continuità: Sostituzione del requisito di continuità globale con condizioni più deboli:
   • $k$-continuità: Un'applicazione $T$ è $k$-continua se $T^{k-1}x_n \to z$ implica $T^k x_n \to Tz$.
   • Semicontinuità inferiore orbitale rispetto a $T$: La funzione di spostamento $D(x) = d(x, Tx)$ è semicontinua inferiormente lungo l'orbita di un punto.
   • Condizione (C): Una specifica condizione che lega la convergenza di una successione e il suo spostamento alla proprietà del punto fisso.
3. Analisi Iterativa: Utilizzo delle iterazioni di Picard ($x_n = T^n x_0$) e stabilimento di limiti sulle iterazioni successive per dimostrare la proprietà di Cauchy della successione. Le dimostrazioni spesso comportano la trasformazione della disuguaglianza suprametrica in una forma compatibile con le tecniche standard degli spazi metrici (ad esempio, utilizzando trasformazioni logaritmiche o metriche equivalenti) per stabilire la convergenza.

Contributi e Risultati Chiave

1. Teorema del Punto Fisso per Contrazioni Convesse di Ordine $m$:
   Il lavoro stabilisce il Teorema 2.1, dimostrando che un'applicazione di un insieme in sé $T$ su uno spazio suprametrico completo, che soddisfi una condizione di contrazione convessa di ordine $m$ (dove $d(T^m x, T^m y) \leq \sum_{i=0}^{m-1} a_i d(T^i x, T^i y)$ con $\sum a_i < 1$), possiede un unico punto fisso. Crucialmente, il teorema vale se $T$ soddisfa una qualsiasi delle seguenti condizioni:

   • $T$ è $k$-continua.
   • La funzione di spostamento $D(x)$ è semicontinua inferiormente rispetto all'orbita di $T$.
   • $T$ soddisfa la condizione (C).
     Questo risultato generalizza il teorema di Istrătescu per l'ordine 2 e lo estende all'ordine $m$ negli spazi suprametrici.

2. Risoluzione del Problema Aperto di Rhoades:
   Gli autori affermano che i loro risultati forniscono una "nuova e distinta soluzione" al problema aperto di Rhoades. Dimostrando che le contrazioni convesse di ordine $m$ generano punti fissi unici senza richiedere la continuità nel punto fisso (basandosi invece sulle condizioni più deboli elencate sopra), essi confermano l'esistenza di tali definizioni contrattive.

3. Generalizzazione delle Quasi-Contrazioni:

   • Quasi-contrazione di ´Ciri´c: Il Teorema 3.1 generalizza il risultato di ´Ciri´c agli spazi suprametrici, dimostrando l'esistenza di un unico punto fisso per applicazioni che soddisfano una disuguaglianza di quasi-contrazione generalizzata che coinvolge iterati $n(x)$.
   • Risultato di Sehgal: Il Teorema 3.2 estende la generalizzazione del principio di contrazione di Sehgal del 1969 a questo contesto.
   • Quasi-contrazione di Fisher: Il Teorema 4.1 estende i risultati di Fisher del 1979, che coinvolgono due interi fissi $n$ e $m$ e un massimo su vari iterati, dimostrando nuovamente l'unicità sotto le condizioni di continuità rilassate.

4. Applicazioni:
   Il lavoro applica i principali risultati teorici all'esistenza e all'unicità delle soluzioni per un'equazione integrale di Fredholm di seconda specie:
   $$f(x) = \int_a^b K(x, t)f(t) dt$$
   Definendo una specifica suprametrica sullo spazio delle funzioni continue $C[a, b]$, gli autori mostrano che l'operatore integrale soddisfa la condizione di contrazione convessa di ordine 2, garantendo così una soluzione unica senza richiedere che l'operatore sia continuo nel punto fisso nel senso tradizionale (sebbene sia lipschitziano, soddisfacendo la condizione di $k$-continuità).

Significato e Affermazioni
Il lavoro afferma che la classe delle contrazioni convesse di ordine $m$ è "abbastanza forte" da generare punti fissi negli spazi suprametrici completi, pur essendo "abbastanza debole" da permettere la discontinuità nel punto fisso. Questa distinzione è presentata come un significativo avanzamento rispetto ai risultati precedenti che necessitavano di continuità globale. Gli autori forniscono esempi specifici (inclusi insiemi finiti e funzioni basate su intervalli) per dimostrare che le loro condizioni sono soddisfatte in casi in cui i teoremi classici degli spazi metrici (come quelli che richiedono rigorosamente proprietà metriche o continuità) fallirebbero o sarebbero inapplicabili. Il lavoro colma efficacemente il divario tra le contrazioni convesse di Istrătescu e il problema aperto di Rhoades all'interno della topologia generalizzata degli spazi suprametrici.