🔢 mathematics

Relation-Theoretic Banach Contraction Principle in Topological Spaces with an Application

Dit artikel breidt de Banach-contractieprincipe uit naar topologische ruimten door middel van het introduceren van relatiebehoudende contractieve afbeeldingen, valideert het resultaat met een via MATLAB gevisualiseerd voorbeeld, en demonstreert de toepassing ervan bij het oplossen van fractionele differentiaalvergelijkingen.

Oorspronkelijke auteurs: Md Hasanuzzaman, Abhishikta Das, Sumit Som

Gepubliceerd 2026-08-18

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Md Hasanuzzaman, Abhishikta Das, Sumit Som

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

In het uitgestrekte landschap van de wiskunde is er een tak die zich wijdt aan het vinden van punten die niet bewegen wanneer een regel op hen wordt toegepast. Stel je een kaart van een stad voor waarbij elke locatie een nieuwe locatie toegewezen krijgt. Een "vast punt" is een plek op die kaart die, wanneer je de regel toepast, naar zichzelf terugwijst. Dit concept is niet slechts een abstract raadsel; het is een krachtig hulpmiddel dat wordt gebruikt om reële problemen op te lossen, van het voorspellen van het evenwicht van een markt tot het begrijpen van hoe een vloeistof tot rust komt. Decennialang was het meest beroemde instrument voor het vinden van deze onbeweeglijke punten gebaseerd op een strikt systeem van afstandmeting, vergelijkbaar met het gebruik van een liniaal om ervoor te zorgen dat elke stap richting een oplossing je dichter bij het doel brengt. Deze methode, bekend als het Banach-contractieprincipe, is een hoeksteen geweest van de moderne analyse, waarbij wordt gegarandeerd dat een oplossing bestaat en uniek is onder zeer specifieke omstandigheden.

Echter, de wereld is niet altijd netjes meetbaar met een enkele liniaal. In veel complexe systemen breken de standaard regels van afstand af, of is de structuur van de ruimte te onregelmatig voor traditionele hulpmiddelen om te werken. Wiskundigen hebben lang gezocht naar manieren om deze krachtige ideeën uit te breiden naar deze meer chaotische of abstracte omgevingen, zoals algemene topologische ruimten waar het gebruikelijke concept van afstand misschien zelfs niet bestaat. De uitdaging is geweest om een manier te vinden om een proces naar een oplossing te leiden zonder een rigide meetlint, door te vertrouwen op de relaties tussen de punten zelf. Hier komt het werk van Md Hasanuzzaman, Abhishikta Das en Sumit Som kijken, dat een nieuwe manier biedt om door deze onontgonnen gebieden te navigeren.

De onderzoekers zetten zich af om een specifiek probleem op te lossen: wat gebeurt er wanneer de standaardmethoden voor het vinden van vaste punten falen omdat de ruimte te vreemd is of de regels te los zijn? In hun studie introduceerden zij een nieuw kader dat de geometrie van een ruimte combineert met een eenvoudige lijst van verbindingen, of een "binaire relatie", tussen punten. Denk aan deze relatie niet als een afstand, maar als een set toegestane paden. In hun nieuwe systeem is een regel voor het bewegen van het ene punt naar het andere alleen vereist om de kloof tussen punten te verkleinen als die punten verbonden zijn door dit specifieke pad. Dit is een aanzienlijke afwijking van oudere methoden, die eisten dat de regel de kloof tussen elk enkel paar punten in de gehele ruimte verkleinde, ongeacht of ze gerelateerd waren of niet.

Door deze relationele structuur te introduceren, waren de auteurs in staat te bewijzen dat een vast punt nog steeds bestaat, zelfs in situaties waar eerdere stellingen dit niet konden garanderen. Zij toonden aan dat als een ruimte op een specifieke manier volledig genoeg is en de verbindingen tussen punten worden behouden door de toegepaste regel, een oplossing onvermijdelijk is. Om dit concreet te maken, construeerden zij een specifiek voorbeeld met betrekking tot een tweedimensionale ruimte waar de standaardregels van afstand geen oplossing konden garanderen. In dit scenario zouden de oude methoden het probleem onopgelost hebben gelaten, door te beweren dat geen garantie voor een vast punt kon worden gemaakt. Toch toonden zij, door toepassing van hun nieuwe relationele benadering, aan dat er inderdaad een unieke oplossing bestond. Zij visualiseerden deze convergentie met behulp van computersimulaties, waarbij zij lieten zien hoe een sequentie van punten, geleid door de nieuwe regels, gestaag en snel een enkel, onbeweeglijk doel naderde.

De kracht van deze nieuwe benadering ligt in haar flexibiliteit. Het stelt wiskundigen in staat problemen op te lossen in ruimten die te onregelmatig zijn voor traditionele afstand-gebaseerde hulpmiddelen, mits er een logische structuur is die de elementen verbindt. De auteurs stopten niet bij de theorie; zij pasten hun bevindingen toe op een complexe vergelijking die wordt gebruikt om economische groei te modelleren. Deze vergelijkingen, die systemen beschrijven met geheugen en niet-lokale effecten, zijn berucht moeilijk op te lossen. Door het probleem binnen hun nieuwe relationele ruimte te kaderen, bewees het team dat een oplossing voor dit economische model bestaat en gevonden kan worden via een specifiek iteratief proces. Zij voerden een numerieke simulatie van dit economische model uit, beginnend met een eenvoudige gok en de regel herhaaldelijk toepassend. De resultaten toonden aan dat de fout tussen de stappen drastisch afnam, wat bevestigde dat het proces convergeerde naar een stabiele oplossing, precies zoals hun theorie voorspelde.

Dit werk vertegenwoordigt een stille maar significante uitbreiding van de wiskundige capaciteit. Het verwerpt de oude, betrouwbare methoden niet, maar bouwt eerder een brug naar gebieden waar die methoden voorheen tegen een muur aanliepen. Door aan te tonen dat de strikte vereiste om elke mogelijke afstand te verkleinen kan worden versoepeld naar alleen het verkleinen van afstanden tussen gerelateerde punten, hebben de auteurs de deur geopend naar het oplossen van een bredere klasse van problemen. Hun bevindingen suggereren dat in veel complexe systemen de sleutel tot het vinden van een stabiele oplossing niet alleen is hoe ver dingen van elkaar verwijderd zijn, maar het begrijpen van hoe ze met elkaar verbonden zijn. Dit inzicht biedt een robuust nieuw instrument voor onderzoekers werkzaam in velden variërend van de zuivere wiskunde tot de toegepaste economie, waardoor wordt gewaarborgd dat zelfs in de meest onregelmatige ruimten een pad naar een oplossing gevonden kan worden.

Technische Samenvatting: Relation-Theoretisch Banach-contractieprincipe in Topologische Ruimten met een Toepassing

Probleemstelling
De metriek-gebaseerde vaste-punt-theorie, geworteld in het Banach-contractieprincipe (BCP), is een fundamenteel instrument in de nietlineaire analyse. Veel toepassingen ontstaan echter in omgevingen waar een metriek-structuur afwezig of ontoereikend is, wat de studie van afbeeldingen in algemene topologische ruimten noodzakelijk maakt. Hoewel eerder werk door Som et al. [9] het BCP naar topologische ruimten heeft uitgebreid met behulp van een continue functie $g: \Omega \times \Omega \to \mathbb{R}$ , voldoen bepaalde afbeeldingen niet aan de contractievoorwaarden die vereist zijn door deze bestaande stellingen. Bovendien vereisen klassieke resultaten vaak dat contractievoorwaarden gelden voor alle paren punten in de ruimte, wat te restrictief kan zijn. De auteurs adresseren de behoefte aan een flexibeler kader dat de existentie en uniciteit van vaste punten kan garanderen in topologische ruimten waar standaard metriek-gebaseerde of topologische BCP's kunnen falen.

Methodologie
Het artikel introduceert een kader dat drie onderscheidende structuren integreert:

Topologische Ruimte ( $\Omega$ ): De onderliggende ruimte waar geen metriek wordt verondersteld.
Continue Functie ( $g$ ): Een functie $g: \Omega \times \Omega \to \mathbb{R}$ die specifieke eigenschappen (symmetrie en de driehoeksongelijkheid) bevredigt om convergentie en Cauchy-sequenties te definiëren ( $g$ -convergentie en $g$ -volledigheid). De voorwaarde $g(r,s)=0 \implies r=s$ is vereist voor de hoofdstelling, maar wordt niet universeel verondersteld in alle illustratieve voorbeelden (bijv. Voorbeeld 3.4 demonstreert een geval waarin deze voorwaarde wordt geschonden, waardoor de relationele structuur nodig is om het vaste-punt-resultaat te herstellen).
Binaire Relatie ( $R$ ): Een deelverzameling van $\Omega \times \Omega$ die een relationele structuur op de ruimte oplegt.

De auteurs definiëren topologisch $R$ -behoudende contractie-afbeeldingen. Een afbeelding $S: \Omega \to \Omega$ is een topologisch $R$ -behoudende contractie als er een $\alpha \in (0, 1)$ bestaat zodanig dat:
$|g(S\mu_1, S\mu_2)| \leq \alpha |g(\mu_1, \mu_2)|$
voor alle $\mu_1, \mu_2 \in \Omega$ waarvoor $(\mu_1, \mu_2) \in R$ .

Belangrijke introductie van definities omvat:

$g$ - $R$ -continuïteit: Continuïteit van de afbeelding met betrekking tot $R$ -behoudende sequenties.
$g$ - $R$ -volledigheid: De volledigheid van de ruimte met betrekking tot $R$ -behoudende $g$ -Cauchy-sequenties.
$S$ -geslotenheid: De eigenschap dat als $(r, s) \in R$ , dan $(Sr, Ts) \in R$ .
$g$ -zelfgeslotenheid: Een eigenschap van de relatie $R$ met betrekking tot sub-sequenties van convergente sequenties.

Kernbijdragen en Resultaten
De primaire bijdrage is Stelling 3.2, die de existentie van een vast punt voor een afbeelding $S$ op een topologische ruimte $\Omega$ vaststelt onder de volgende voorwaarden:

$\Omega$ is $g$ - $R$ -compleet.
$R$ is $S$ -gesloten.
De verzameling $\Omega(S; R) = \{u \in \Omega : (u, Su) \in R\}$ is niet leeg.
Ofwel is $S$ $g$ - $R$ -continu, ofwel is $R$ $g$ -zelfgesloten.
$S$ is een topologisch $R$ -behoudende contractie met betrekking tot $g$ .
De functie $g$ voldoet aan $g(r, u) = 0 \implies r = u$ , symmetrie, en de driehoeksongelijkheid voor relevante elementen.

De stelling garandeert dat de Picard-sequentie $\{S^n(r_0)\}$ convergeert naar een vast punt voor elke $r_0 \in \Omega(S; R)$ . Stelling 3.3 vestigt verder de uniciteit van dit vaste punt indien de afbeelding $S(\Omega)$ $g$ - $R_s$ -verbonden is.

Het artikel demonstreert het nut van dit kader via:

Tegenvoorbeelden: Voorbeelden (3.4 en 3.5) illustreren scenario's waarin het topologische BCP van Som et al. [9] (Stelling 2.7) faalt om een vast punt te garanderen omdat de contractievoorwaarde niet geldt voor alle paren in $\Omega$ of omdat de functie $g$ niet voldoet aan de identiteit van indiscernibiliteit ( $g(a,u)=0 \implies a=u$ ) globaal. Echter, door de contractievoorwaarde te beperken tot paren die gerelateerd zijn door een specifieke binaire relatie $R$ (en te waarborgen dat $g$ de nodige eigenschappen bezit binnen die relationele context), garandeert de nieuwe stelling succesvol een vast punt.
Visualisatie: MATLAB-simulaties worden geleverd om de geometrische convergentie van de $y$ -coördinaat onder de voorgestelde afbeeldingen te visualiseren, wat de analytische resultaten valideert.
Generalisatie: De auteurs tonen aan dat hun resultaten de bestaande literatuur generaliseren. Door $R$ te kiezen als de universele relatie, reduceert het resultaat tot Stelling 2.7 van Som et al. [9]. Door $g$ te kiezen als een metriek $d$ , reduceert het tot het relationeel-theoretische BCP van Alam en Imdad [2].

Toepassing
De theoretische resultaten worden toegepast op de existentie van oplossingen voor een fractionele differentiaalvergelijking die economische groei modelleert:
$D^\zeta(f(t)) = h(t, f(t)), \quad t \in [0, 1], \quad 1 < \zeta \leq 2$
onderworpen aan integraal randvoorwaarden. De auteurs definiëren de ruimte $\Omega = C[0, 1]$ met de sup-metriek topologie en een binaire relatie $R$ gebaseerd op puntwijze ordening ( $p_1 \leq p_2$ ). Zij construeren een integraaloperator $T$ en verifiëren dat deze voldoet aan de voorwaarden van Stelling 3.2. Een numerieke illustratie met behulp van een iteratief schema ( $u_{n+1} = T u_n$ ) met $h(t, u) = \frac{1}{16}u + \sin(t)$ demonstreert snelle convergentie naar de unieke oplossing, wat de theoretische bevindingen valideert.

Betekenis
Het artikel beweert dat het kader een efficiëntere en flexibelere benadering biedt voor de vaste-punt-theorie in topologische ruimten. Door een binaire relatie op te nemen, wordt de contractievoorwaarde versoepeld zodat deze alleen van toepassing is op "gerelateerde" elementen in plaats van de gehele ruimte. Dit stelt de auteurs in staat om de existentie van vaste punten te bewijzen in gevallen waarin klassieke of eerder gegeneraliseerde topologische Banach-contractieprincipes falen, met name wanneer de onderliggende functie $g$ niet globaal de identiteit van indiscernibiliteit bevredigt. Het werk overbrugt de kloof tussen metriek-gebaseerde vaste-punt-theorie en topologische ruimten met behulp van relationele structuren, en biedt een robuust instrument voor het analyseren van nietlineaire problemen zoals fractionele differentiaalvergelijkingen waar metriek-structuren mogelijk onvoldoende zijn of waar orde-relaties een cruciale rol spelen.

Meer zoals dit