Fixed Point Results in Non-Linear (Θ, ℜm)-Rational type Contractive Mappings with Application in Fractional Differential Equations

Wiskunde voelt vaak als een zoektocht naar orde in een chaotische wereld, een manier om te voorspellen waar zaken zullen tot rust komen wanneer ze worden geduwd, getrokken of veranderd. In het hart van deze zoektocht ligt een krachtig idee dat bekendstaat als een "vast punt" (fixed point). Stel je een kaart van een stad voor die op de werkelijke grond ligt die zij vertegenwoordigt. Ongeacht hoe je het papier kreukelt of er iets van verschuift, is er altijd minstens één punt op de kaart dat direct boven de exacte locatie ligt die het beschrijft. Dat punt is een vast punt. In de echte wereld helpt dit concept wetenschappers om alles te begrijpen, van de stabiliteit van bruggen tot het gedrag van economieën. Veel realistische problemen, met name die waarbij verandering over tijd die niet perfect vloeiend of lineair is, zijn echter te complex voor de standaard wiskundige instrumenten die worden gebruikt om deze punten te vinden. Deze instrumenten vertrouwen vaak op rigide regels over afstand en vorm die breken wanneer de situatie rommelig of onregelmatig wordt.

Om deze moeilijke problemen aan te pakken, hebben onderzoekers decennia lang nieuwe soorten wiskundige ruimtes uitgevonden—abstracte omgevingen met hun eigen unieke regels voor het meten van afstand en verbinding. Een dergelijke innovatie is de "metrische ruimte", een raamwerk dat de manier waarop we de kloof tussen twee dingen meten, generaliseert. Recentelijk hebben wiskundigen nog flexibelere versies ontwikkeld, zoals "m-metrische ruimtes", die wat meer bewegingsvrijheid toestaan in de berekening van afstand, en "relatiegebaseerde" ruimtes, die zich richten op de vraag of twee dingen op een specifieke manier met elkaar verbonden zijn in plaats van alleen hoe ver ze van elkaar verwijderd zijn. Deze geavanceerde raamwerken zijn essentieel voor het modelleren van complexe systemen waarbij de gebruikelijke geometrische regels niet van toepassing zijn, zoals bij de studie van fractie-differentiaalvergelijkingen. Deze vergelijkingen beschrijven processen die zich op een "fractionele" wijze ontwikkelen, wat betekent dat hun verandering noch geheel instantaan noch geheel geleidelijk is, maar iets daartussenin, zoals de manier waarop warmte door een materiaal verspreidt of hoe een virus zich door een populatie kan verspreiden.

In een recente studie heeft een team van wakkundigen van universiteiten uit Pakistan, Zuid-Afrika en Saoedi-Arabië zich erop gericht de gereedschapskist beschikbaar voor het oplossen van deze complexe vergelijkingen uit te breiden. Hun werk richt zich op een specifiek type wiskundige afbeelding genaamd een "niet-lineaire (Θ, ℜm)-rationale contractieve afbeelding". Hoewel de naam een mondvol is, gaat het concept erom een manier te vinden om te garanderen dat een oplossing bestaat en uniek is, zelfs wanneer de regels van de wiskundige ruimte versoepeld zijn en de relaties tussen punten worden gedefinieerd door een specifieke set verbindingen in plaats van alleen afstand. De onderzoekers introduceerden een nieuwe manier van denken over deze afbeeldingen binnen "relatietheoretische m-metrische ruimtes". In deze ruimtes is de omgeving compleet genoeg om te garanderen dat een oplossing gevonden kan worden, maar is deze niet noodzakelijkerwijs compleet in de traditionele, striktere zin. Dit onderscheid is cruciaal omdat het de wiskunde in staat stelt om scenario's te behandelen die voorheen te onregelmatig waren om op te lossen.

Het team bewees dat onder deze nieuwe, meer flexibele condities een vast punt gegarandeerd bestaat. Ze toonden aan dat als je met een specifiek punt begint en de regels van deze nieuwe afbeelding volgt, de reeks punten die je genereert uiteindelijk zal bezinken naar één enkele, stabiele locatie. Dit resultaat is significant omdat het verschillende eerdere bevindingen verenigt en uitbreidt, waarbij verschillende benaderingen samen worden gebracht die voorheen als apart werden behandeld. De onderzoekers stopten niet bij de theorie; ze pasten hun nieuwe bevindingen toe op een praktisch probleem: het vinden van oplossingen voor niet-lineaire fractie-differentiaalvergelijkingen met integrale randvoorwaarden. Dit zijn vergelijkingen die systemen beschrijven waarbij de toestand op één punt afhangt van de som van de toestanden over een bepaald bereik, een veelvoorkomend kenmerk in de natuurkunde en techniek. Door hun nieuwe vast punt-resultaten te gebruiken, toonden de auteurs aan dat een oplossing voor deze moeilijke vergelijkingen niet alleen bestaat, maar ook uniek is, mits aan bepaalde voorwaarden wordt voldaan.

Om te waarborgen dat hun theoretische resultaten niet slechts abstracte oefeningen waren, testten de onderzoekers hun methoden op lineaire fractie-differentiaalvergelijkingen met behulp van twee onderscheidende numerieke technieken: de schietmethode (shooting method) en de homotopie-perturbatiemethode gecombineerd met een matrixbenadering. De schietmethode is een strategie waarbij een probleem met vaste eindpunten wordt omgezet in een beginwaardeprobleem, waarbij de beginvoorwaarden worden aangepast totdat de oplossing het juiste doel raakt. De homotopie-perturbatiemethode bouwt daarentegen een oplossing op door te beginnen met een eenvoudige benadering en deze geleidelijk te verfijnen. Het team paste deze methoden toe op een specifieke vergelijking waarvan de exacte oplossing al bekend was. Ze voerden numerieke experimenten uit met een specifieke fractionele orde van 2.9 en vergeleken hun berekende resultaten met de bekende exacte oplossing. De resultaten waren opvallend dichtbij. Op verschillende punten in het interval was het verschil tussen hun berekende benadering en het ware antwoord ongelooflijk klein, vaak in de orde van miljoensten of miljardsten. Bijvoorbeeld, op een specifiek punt in de berekening was de fout minder dan twee miljoensten.

De visuele gegevens gepresenteerd in de studie bevestigen dat de curven gegenereerd door hun numerieke methoden bijna perfect overeenkomen met de curve van de exacte oplossing. De grafieken laten zien dat de twee lijnen bijna hetzelfde pad volgen en dat de fout tussen hen gedurende het gehele bereik verwaarloosbaar blijft. Dit hoge niveau van nauwkeurigheid suggereert dat het nieuwe wiskundige raamwerk niet alleen theoretisch solide is, maar ook praktisch effectief voor het oplossen van real-world problemen die betrokken zijn bij fractie-calculus. De onderzoekers concludeerden dat hun benadering de reikwijdte van de vast punt-theorie succesvol uitbreidt, en een robuuste manier biedt om vergelijkingen te behandelen die voorheen moeilijk op te lossen waren. Door te bewijzen dat oplossingen bestaan en betrouwbare methoden te bieden om ze te vinden, opent dit werk de deur naar nauwkeurigere modellering van complexe, niet-lineaire systemen in de wetenschap en techniek. De studie staat als een testament aan hoe het verfijnen van de fundamentele regels van de wiskunde kan leiden tot betere instrumenten voor het begrijpen van de complexe dynamiek van de wereld om ons heen.