Fixed point theorems on perturbed metric space with an application

Questo articolo stabilisce nuovi teoremi sui punti fissi per applicazioni F-perturbate negli spazi metrici perturbati completi, fornendo un controesempio per giustificare i risultati e un'applicazione all'esistenza di soluzioni per problemi ai valori al contorno del secondo ordine.

L'essenziale

🌍 Il Mondo delle "Distanze Imperfette"

Immagina di dover misurare la distanza tra due città. In un mondo perfetto (la matematica classica), useresti un righello magico che non sbaglia mai: la distanza è sempre la stessa, indipendentemente da chi la misura o quando.

Ma nella vita reale, le cose sono diverse.

• Il tuo GPS potrebbe avere un piccolo errore.
• La strada potrebbe essere piena di buche.
• Il tuo orologio potrebbe essere leggermente lento.

Questi piccoli errori si accumulano. Gli autori di questo articolo, Dipti Barman e T. Bag, dicono: "E se invece di ignorare questi errori, li includessimo nella nostra formula matematica?"

Hanno creato un nuovo tipo di spazio chiamato "Spazio Metrico Perturbato".

• La "Distanza Esatta" (d): È la distanza reale, ideale, come se non ci fossero errori.
• La "Distanza Perturbata" (D): È quella che misuriamo nella realtà, che include il "rumore" o l'errore (chiamato P).

L'analogia: Immagina di pesare un'arancia.

• Il peso vero è 150g (la metrica esatta).
• Ma la bilancia è un po' arrugginita e aggiunge sempre 5g di ruggine. Il peso che leggi è 155g (la metrica perturbata).
• Gli autori studiano come comportarsi quando usiamo quella bilancia arrugginita per prendere decisioni matematiche.

---

🎯 Il Grande Obiettivo: Trovare il "Punto Fermo"

In matematica, un Punto Fisso è un posto speciale dove, se applichi una certa regola, rimani esattamente lì.

• Esempio: Se hai una mappa di una città e la pieghi in modo che un punto della mappa si sovrapponga esattamente al punto reale della città corrispondente, quel punto è un "punto fisso".

Gli autori vogliono dimostrare che, anche usando la nostra "bilancia arrugginita" (lo spazio perturbato), possiamo ancora trovare questo punto speciale, a patto che la nostra regola di trasformazione sia abbastanza "gentile".

Hanno introdotto una nuova regola chiamata Mappatura F-Perturbata.
Immagina di avere un gioco in cui ogni volta che muovi un pezzo, questo si avvicina al centro. La loro regola dice: "Se ti avvicini abbastanza velocemente, anche con gli errori della bilancia, alla fine atterrerai esattamente al centro e non ti muoverai più".

---

🧪 La Prova: Un Problema Reale (Il Calore e la Struttura)

Per dimostrare che la loro teoria non è solo un gioco mentale, l'hanno applicata a un problema reale: le Equazioni ai Valori al Bordo.

• Cos'è? È come chiedersi: "Se riscaldo un'asta di metallo alle estremità, come si distribuirà il calore al centro?" o "Come si piegherà un ponte sotto un peso?".
• Questi problemi sono difficili da risolvere perché le formule sono complesse.

Gli autori hanno detto: "Usiamo la nostra nuova regola matematica per dimostrare che esiste una sola soluzione a questo problema".
Hanno creato un algoritmo (un metodo di calcolo passo-passo) che, partendo da una stima iniziale, si avvicina sempre di più alla soluzione vera, proprio come un navigatore GPS che corregge il percorso ad ogni secondo fino ad arrivare a destinazione.

---

📊 L'Esperimento Numerico: La Simulazione

Nella parte finale dell'articolo, hanno fatto un esperimento al computer.

1. Hanno scelto un problema di fisica (un'equazione che descrive come cambia qualcosa nel tempo).
2. Hanno usato il loro metodo per calcolare la soluzione.
3. Hanno disegnato dei grafici (le Figure 3 nel testo) che mostrano come la loro stima iniziale (una linea rossa) si trasformi, passo dopo passo, fino a diventare una linea verde perfetta che coincide con la soluzione esatta.

Il risultato? Funziona! Il metodo converge rapidamente, dimostrando che anche con "errori" o "perturbazioni" nel sistema, la matematica può trovare la verità.

---

🚀 In Sintesi: Perché è Importante?

1. Riconosce la realtà: La matematica classica è perfetta, ma il mondo reale è "sporco" e pieno di errori. Questo articolo crea un ponte tra i due mondi.
2. Nuovi strumenti: Offre nuovi modi per risolvere problemi complessi in ingegneria e fisica che prima erano difficili da affrontare.
3. Sicurezza: Dimostra che, anche con strumenti imperfetti, possiamo essere sicuri che una soluzione esista ed è unica. Non ci sono due risposte diverse, ce n'è solo una, e possiamo trovarla.

In poche parole: Gli autori hanno detto: "Non preoccupatevi se il vostro righello è un po' storto o la bilancia è arrugginita. Se usate il nostro nuovo metodo matematico, troverete comunque la risposta giusta, e vi spiegheremo esattamente come fare".

Sommario tecnico

1. Problema e Contesto

Il lavoro si inserisce nel campo dell'analisi funzionale e della teoria degli spazi metrici generalizzati. Gli autori partono dall'osservazione che, nella pratica scientifica e ingegneristica, la misurazione della distanza tra due punti è spesso soggetta a errori strumentali o di perturbazione. Sebbene questi errori siano piccoli, il loro accumulo può essere significativo.
Per modellare questa realtà, gli autori adottano il concetto di spazio metrico perturbato, introdotto da Jleli et al. [14], dove la distanza non è definita da una singola funzione metrica classica, ma dalla differenza tra una funzione di "distanza perturbata" $D$ e una funzione di "perturbazione" $P$.
L'obiettivo principale del paper è estendere i risultati noti sui punti fissi (in particolare le contrazioni di tipo Wardowski o F-contrazioni) a questo contesto di spazi perturbati e dimostrare l'utilità di tali teoremi risolvendo un problema ai limiti di secondo ordine.

2. Metodologia

La metodologia adottata combina definizioni assiomatiche, dimostrazioni analitiche rigorose e applicazioni numeriche.

• Definizioni Fondamentali:

  • Spazio Metrico Perturbato: Uno spazio $(X, D, P)$ dove $D, P: X \times X \to [0, \infty)$ sono tali che $d(x,y) = D(x,y) - P(x,y)$ è una metrica esatta (soddisfa le proprietà di non-negatività, identità, simmetria e disuguaglianza triangolare).
  • F-Perturbed Mapping: Gli autori introducono una nuova classe di applicazioni chiamate "F-perturbed mappings". Una mappa $T: X \to X$ è un F-perturbed mapping se esiste $\tau > 0$ tale che per ogni $x, y$ con $D(Tx, Ty) > 0$:
    $$\tau + F(D(Tx, Ty)) \leq F(D(x, y))$$
    dove $F: \mathbb{R}^+ \to \mathbb{R}$ è una funzione che soddisfa condizioni specifiche (strettamente crescente, comportamento asintotico verso $-\infty$ per $t \to 0$, e una condizione di limite con potenza $k \in (0,1)$).

• Dimostrazione del Teorema Principale:

  • Viene costruita una successione di iterazioni $x_{n+1} = Tx_n$.
  • Utilizzando le proprietà della funzione $F$ e la disuguaglianza di contrazione, si dimostra che la successione delle distanze $D(x_{n+1}, x_n)$ converge a zero.
  • Si dimostra che la successione $\{x_n\}$ è una successione di Cauchy nello spazio metrico esatto $(X, d)$.
  • Grazie alla completezza dello spazio perturbato (che implica la completezza dello spazio metrico esatto), la successione converge a un punto $x^*$.
  • La continuità perturbata di $T$ garantisce che $x^*$ sia un punto fisso unico.

• Applicazione Numerica:

  • Viene applicato il teorema a un'equazione integrale derivante da un problema ai limiti di secondo ordine.
  • Viene utilizzato un metodo iterativo numerico per verificare la convergenza della soluzione approssimata verso la soluzione esatta.

3. Contributi Chiave

1. Introduzione delle F-perturbed Mappings: Gli autori generalizzano il concetto di contrazione F (di Wardowski) adattandolo agli spazi metrici perturbati, definendo una nuova classe di operatori che garantiscono l'esistenza e l'unicità del punto fisso.
2. Dimostrazione di Esistenza e Unicità: Il Teorema 3.3 stabilisce che in uno spazio metrico perturbato completo, ogni F-perturbed mapping continuo ammette un unico punto fisso.
3. Teorema di Generalizzazione (Banach): Nel Sezione 6, viene dimostrato un ulteriore teorema (Teorema 6.1) che generalizza il teorema di Banach per spazi perturbati, considerando operatori $T^n$ tali che $D(T^n x, T^n y) \leq a_n D(x, y)$ con $\sum a_n < \infty$. Questo include come caso particolare il teorema di Banach standard negli spazi perturbati.
4. Applicazione ai Problemi ai Limiti: Viene fornita una prova di esistenza e unicità per la soluzione di un problema ai limiti di secondo ordine non lineare, trasformandolo in un'equazione integrale e applicando il teorema di punto fisso nello spazio delle funzioni continue $C[0,1]$ dotato di una metrica perturbata specifica.

4. Risultati

• Teorema 3.3: Conferma l'esistenza di un unico punto fisso per le F-perturbed mappings in spazi completi.
• Esempio 3.4: Fornisce un esempio concreto su $[0,1]$ dove $D(x,y) = |x-y| + (x-y)^4$. Si dimostra che $D$ non è una metrica esatta (viola la disuguaglianza triangolare classica), ma è una metrica perturbata rispetto a $P(x,y)=(x-y)^4$. La mappa $Tx = x/2$ soddisfa le condizioni F-perturbed e converge al punto fisso $x=0$.
• Risultato Numerico (Sezione 5): Per il problema ai limiti $-u''(t) = f(t, u(t))$ con condizioni al bordo nulle, viene scelta una funzione specifica $f(s, u) = \frac{s+0.5}{2} \sin(u)$.
  • Viene verificato che la condizione di contrazione è soddisfatta per un intervallo specifico di $\tau$.
  • L'iterazione numerica $u_{n+1} = T u_n$ con condizione iniziale $u_0(t) = t$ converge rapidamente alla soluzione esatta $u(t) = t$.
  • I grafici (Figura 3) mostrano la convergenza della successione iterativa e la diminuzione dell'errore di norma sup ($||u_{n+1} - u_n||_\infty$), validando l'approccio teorico.
• Teorema 6.1: Estende i risultati includendo il teorema di Banach come caso particolare, dimostrando che se la serie delle costanti di contrazione è convergente, il punto fisso è unico.

5. Significato e Implicazioni

Questo lavoro è significativo per diversi motivi:

• Generalizzazione Teorica: Colma un vuoto nella letteratura estendendo le potenti tecniche delle F-contrazioni (che sono più generali delle contrazioni di Banach standard) agli spazi metrici perturbati, offrendo un quadro teorico più robusto per gestire dati "rumorosi" o modelli con errori sistematici.
• Utilità Pratica: La dimostrazione che i problemi ai limiti di secondo ordine (comuni in fisica e ingegneria, come conduzione termica o deformazione elastica) possono essere risolti in questo contesto amplia la gamma di strumenti analitici disponibili per gli ingegneri e i fisici matematici.
• Validazione Numerica: A differenza di molti lavori puramente teorici, questo paper include un esperimento numerico dettagliato che non solo conferma la validità del teorema, ma mostra anche l'efficienza del metodo iterativo proposto per trovare soluzioni approssimate.
• Futuri Sviluppi: Gli autori suggeriscono che questi risultati possono servire come base per sviluppare ulteriori teoremi di punto fisso per altri tipi di contrazioni in spazi perturbati, aprendo nuove direzioni di ricerca nell'analisi non lineare.

In sintesi, il paper fornisce un contributo solido alla teoria degli spazi metrici generalizzati, dimostrando come concetti astratti di "perturbazione" possano essere formalizzati matematicamente e applicati con successo alla risoluzione di equazioni differenziali reali.