🔢 mathematics

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

Diese Arbeit erweitert den Banachschen Kontraktionssatz auf topologische Räume durch die Einführung relationserhaltender Kontraktionen, validiert das Ergebnis mit einem in MATLAB visualisierten Beispiel und demonstriert dessen Anwendung bei der Lösung fraktionaler Differentialgleichungen.

Ursprüngliche Autoren: Md Hasanuzzaman, Abhishikta Das, Sumit Som

Veröffentlicht 2026-08-18

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Md Hasanuzzaman, Abhishikta Das, Sumit Som

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

In der weiten Landschaft der Mathematik gibt es einen Zweig, der sich der Suche nach jenen Punkten widmet, die sich nicht bewegen, wenn eine Regel auf sie angewendet wird. Stellen Sie sich eine Karte einer Stadt vor, in der jedem Ort ein neuer Ort zugewiesen wird. Ein „Fixpunkt“ ist ein Ort auf dieser Karte, der, wenn man die Regel anwendet, auf sich selbst zurückweist. Dieses Konzept ist nicht nur ein abstraktes Rätsel; es ist ein mächtiges Werkzeug, das verwendet wird, um reale Probleme zu lösen, von der Vorhersage des Gleichgewichts eines Marktes bis hin zum Verständnis, wie sich eine Flüssigkeit einpendelt. Jahrzehntelang stützte sich das berühmteste Werkzeug zur Findung dieser unbeweglichen Punkte auf ein strenges System der Distanzmessung, vergleichbar mit der Verwendung eines Lineals, um sicherzustellen, dass jeder Schritt in Richtung einer Lösung näher an das Ziel führt. Diese Methode, bekannt als Banach-Kontraktionsprinzip, war ein Eckpfeiler der modernen Analysis und garantierte, dass eine Lösung existiert und eindeutig ist, sofern sehr spezifische Bedingungen erfüllt sind.

Die Welt ist jedoch nicht immer ordentlich durch ein einzelnes Lineal messbar. In vielen komplexen Systemen bricht das Standardmaß für Distanz zusammen, oder die Struktur des Raumes ist zu unregelmäßig, als dass traditionelle Werkzeuge funktionieren könnten. Mathematiker haben lange nach Wegen gesucht, diese leistungsfähigen Ideen auf diese chaotischeren oder abstrakteren Umgebungen auszuweiten, wie etwa auf allgemeine topologische Räume, in denen das übliche Konzept von Distanz gar nicht existieren muss. Die Herausforderung bestand darin, einen Weg zu finden, einen Prozess ohne ein starres Maßband in Richtung einer Lösung zu führen, indem man sich stattdert auf die Beziehungen zwischen den Punkten selbst verlässt. Hier setzt die Arbeit von Md Hasanuzzaman, Abhishikta Das und Sumit Som an, die einen neuen Weg zur Navigation in diesen unkartierten Gebieten aufzeigen.

Die Forscher gingen die Aufgabe an, ein spezifisches Problem zu lösen: Was passiert, wenn die Standardmethoden zur Findung von Fixpunkten versagen, weil der Raum zu seltsam oder die Regeln zu locker sind? In ihrer Studie führten sie einen neuen Rahmen ein, der die Geometrie eines Raumes mit einer einfachen Liste von Verbindungen, oder einer „binären Relation“, zwischen Punkten kombiniert. Betrachten Sie diese Relation nicht als eine Distanz, sondern als eine Menge erlaubter Pfade. In ihrem neuen System ist eine Regel für die Bewegung von einem Punkt zu einem anderen nur dann dazu verpflichtet, die Lücke zwischen Punkten zu verkleinern, wenn diese Punkte durch diesen spezifischen Pfad verbunden sind. Dies ist eine bedeutende Abkehr von älteren Methoden, die verlangten, dass die Regel die Lücke zwischen jedem einzelnen Paar von Punkten im gesamten Raum verkleinert, unabhängig davon, ob diese miteinander in Beziehung stehen oder nicht.

Durch die Einführung dieser relationalen Struktur konnten die Autoren beweisen, dass ein Fixpunkt selbst in Situationen existiert, in denen frühere Theoreme einen solchen nicht garantieren konnten. Sie zeigten, dass ein Lösungspunkt unvermeidlich ist, wenn ein Raum in einem spezifischen Sinne „vollständig“ genug ist und die Verbindungen zwischen den Punkten durch die angewendete Regel bewahrt werden. Um dies konkret zu machen, konstruierten sie ein spezifisches Beispiel unter Verwendung eines zweidimensionalen Raumes, in dem die Standardregeln der Distanz die Existenz einer Lösung nicht sicherstellen konnten. In diesem Szenario hätten die alten Methoden das Problem ungelöst gelassen und behauptet, dass keine Garantie für einen Fixpunkt gegeben werden könne. Doch durch die Anwendung ihres neuen relationalen Ansatzes zeigten sie, dass tatsächlich eine eindeutige Lösung existierte. Sie visualisierten diese Konvergenz mittels Computersimulationen und zeigten, wie eine Sequenz von Punkten, geleitet durch die neuen Regeln, sich stetig und schnell einem einzigen, unbeweglichen Ziel näherte.

Die Stärke dieses neuen Ansatzes liegt in seiner Flexibilität. Er ermöglicht es Mathematikern, Probleme in Räumen zu lösen, die für traditionelle distanzbasierte Werkzeuge zu unregelmäßig sind, vorausgesetzt, es gibt eine logische Struktur, die die Elemente verbindet. Die Autoren blieben nicht bei der Theorie stehen; sie wandten ihre Ergebnisse auf eine komplexe Gleichung an, die zur Modellierung des Wirtschaftswachstums verwendet wird. Diese Gleichungen, die Systeme mit Gedächtnis und nicht-lokalen Effekten beschreiben, sind notorisch schwierig zu lösen. Indem sie das Problem in ihren neuen relationalen Raum einbetteten, bewies das Team, dass eine Lösung für dieses Wirtschaftsmodell existiert und durch einen spezifischen iterativen Prozess gefunden werden kann. Sie führten eine numerische Simulation dieses Wirtschaftsmodells durch, wobei sie mit einer einfachen Vermutung starteten und die Regel wiederholt anwandten. Die Ergebnisse zeigten, dass der Fehler zwischen den Schritten drastisch sank, was bestätigte, dass der Prozess zu einer stabilen Lösung konvergiert, genau wie es ihre Theorie vorhergesagt hatte.

Diese Arbeit stellt eine stille, aber bedeutende Erweiterung der mathematischen Leistungsfähigkeit dar. Sie verwirft nicht die alten, zuverlässigen Methoden, sondern baut vielmehr eine Brücke zu Bereichen, an denen diese Methoden zuvor an eine Wand gestoßen sind. Indem sie zeigten, dass die strikte Anforderung, jede mögliche Distanz zu verkleinern, auf das Verkleinern von Distanzen zwischen verwandten Punkten gelockert werden kann, haben die Autoren die Tür zur Lösung einer breiteren Klasse von Problemen geöffnet. Ihre Erkenntnisse legen nahe, dass in vielen komplexen Systemen der Schlüssel zum Finden einer stabilen Lösung nicht nur darin besteht, zu messen, wie weit Dinge voneinander entfernt sind, sondern zu verstehen, wie sie miteinander verbunden sind. Diese Einsicht bietet ein robustes neues Werkzeug für Forscher in Bereichen, die von der reinen Mathematik bis zur angewandten Ökonomie reichen, und stellt sicher, dass selbst in den unregelmäßigsten Räumen ein Pfad zu einer Lösung gefunden werden kann.

Technische Zusammenfassung: Relationstheoretischer Banach-Kontraktionssatz in topologischen Räumen mit einer Anwendung

Problemstellung
Die metrische Fixpunkttheorie, die auf dem Banach-Kontraktionsprinzip (BCP) basiert, ist ein grundlegendes Werkzeug in der nichtlinearen Analyse. Viele Anwendungen entstehen jedoch in Settings, in denen eine metrische Struktur abwesend oder unzureichend ist, was die Untersuchung von Abbildungen in allgemeinen topologischen Räumen erforderlich macht. Während frühere Arbeiten von Som et al. [9] das BCP unter Verwendung einer stetigen Funktion $g: \Omega \times \Omega \to \mathbb{R}$ auf topologische Räume ausgedehnt haben, erfüllen bestimmte Abbildungen nicht die Kontraktionsbedingungen, die für diese bestehenden Sätze erforderlich sind. Darüber hinaus erfordern klassische Resultate oft, dass Kontraktionsbedingungen für alle Punktpaare im Raum gelten, was jedoch übermäßig restriktiv sein kann. Die Autoren adressieren die Notwendigkeit eines flexibleren Rahmens, der die Existenz und Eindeutigkeit von Fixpunkten in topologischen Räumen garantieren kann, in denen standardmäßige metrische oder topologische BCPs versagen könnten.

Methodik
Die Arbeit führt einen Rahmen ein, der drei distinkte Strukturen integriert:

Topologischer Raum ( $\Omega$ ): Der zugrunde liegende Raum, in dem keine Metrik vorausgesetzt wird.
Stetige Funktion ( $g$ ): Eine Funktion $g: \Omega \times \Omega \to \mathbb{R}$ , die spezifische Eigenschaften (Symmetrie und Dreiecksungleichung) erfüllt, um Konvergenz und Cauchy-Folgen zu definieren ( $g$ -Konvergenz und $g$ -Vollständigkeit). Die Bedingung $g(r,s)=0 \implies r=s$ ist für den Hauptsatz erforderlich, wird jedoch nicht universell in allen illustrativen Beispielen vorausgesetzt (z. B. zeigt Beispiel 3.4 einen Fall, in dem diese Bedingung verletzt wird, was die Nutzung der relationalen Struktur zur Wiederherstellung des Fixpunktresultats notwendig macht).
Binäre Relation ( $R$ ): Eine Teilmenge von $\Omega \times \Omega$ , die eine relationale Struktur auf den Raum auferlegt.

Die Autoren definieren topologisch $R$ -erhaltende Kontraktionsabbildungen. Eine Abbildung $S: \Omega \to \Omega$ ist eine topologisch $R$ -erhaltende Kontraktion, wenn es ein $\alpha \in (0, 1)$ gibt, sodass:
$|g(S\mu_1, S\mu_2)| \leq \alpha |g(\mu_1, \mu_2)|$
für alle $\mu_1, \mu_2 \in \Omega$ , für die gilt: $(\mu_1, \mu_2) \in R$ .

Zu den neu eingeführten Definitionen gehören:

$g$ - $R$ -Stetigkeit: Stetigkeit der Abbildung bezüglich $R$ -erhaltender Folgen.
$g$ - $R$ -Vollständigkeit: Vollständigkeit des Raumes bezüglich $R$ -erhaltender $g$ -Cauchy-Folgen.
$S$ -Abgeschlossenheit: Die Eigenschaft, dass wenn $(r, s) \in R$ , dann auch $(Sr, Ts) \in R$ .
$g$ -Selbstabgeschlossenheit: Eine Eigenschaft der Relation $R$ bezüglich Teilfolgen konvergenter Folgen.

Wesentliche Beiträge und Ergebnisse
Der primäre Beitrag ist Theorem 3.2, welches die Existenz eines Fixpunkts für eine Abbildung $S$ auf einem topologischen Raum $\Omega$ unter folgenden Bedingungen etabliert:

$\Omega$ ist $g$ - $R$ -vollständig.
$R$ ist $S$ -abgeschlossen.
Die Menge $\Omega(S; R) = \{u \in \Omega : (u, Su) \in R\}$ ist nicht leer.
Entweder ist $S$ $g$ - $R$ -stetig oder $R$ ist $g$ -selbstabgeschlossen.
$S$ ist eine topologisch $R$ -erhaltende Kontraktion bezüglich $g$ .
Die Funktion $g$ erfüllt $g(r, u) = 0 \implies r = u$ , Symmetrie und die Dreiecksungleichung für relevante Elemente.

Das Theorem garantiert, dass die Picard-Folge $\{S^n(r_0)\}$ für jedes $r_0 \in \Omega(S; R)$ gegen einen Fixpunkt konvergiert. Theorem 3.3 stellt ferner die Eindeutigkeit dieses Fixpunkts her, falls das Bild $S(\Omega)$ $g$ - $R_s$ -zusammenhängend ist.

Die Arbeit demonstriert die Nützlichkeit dieses Rahmens durch:

Gegenbeispiele: Beispiele (3.4 und 3.5) illustrieren Szenarien, in denen der topologische BCP nach Som et al. [9] (Theorem 2.7) die Existenz eines Fixpunkts nicht garantiert, weil die Kontraktionsbedingung nicht für alle Paare in $\Omega$ gilt oder weil die Funktion $g$ die Identität der Ununterscheidbarkeit ( $g(a,u)=0 \implies a=u$ ) global nicht erfüllt. Durch die Beschränkung der Kontraktionsbedingung auf Paare, die durch eine spezifische binäre Relation $R$ verknüpft sind (und sicherzustellen, dass $g$ innerhalb dieses relationalen Kontextes die notwendigen Eigenschaften erfüllt), garantiert das neue Theorem jedoch erfolgreich einen Fixpunkt.
Visualisierung: Es werden MATLAB-Simulationen bereitgestellt, um die geometrische Konvergenz der $y$ -Koordinate unter den vorgeschlagenen Abbildungen zu visualisieren und die analytischen Ergebnisse zu validieren.
Verallgemeinerung: Die Autoren zeigen, dass ihre Ergebnisse die bestehende Literatur verallgemeinern. Durch die Wahl von $R$ als universelle Relation reduziert sich das Ergebnis auf Theorem 2.7 von Som et al. [9]. Durch die Wahl von $g$ als Metrik $d$ reduziert es sich auf den relationstheoretischen BCP von Alam und Imdad [2].

Anwendung
Die theoretischen Ergebnisse werden auf die Existenz von Lösungen für eine fraktionale Differentialgleichung angewendet, die wirtschaftliches Wachstum modelliert:
$D^\zeta(f(t)) = h(t, f(t)), \quad t \in [0, 1], \quad 1 < \zeta \leq 2$
unter Berücksichtigung integraler Randbedingungen. Die Autoren definieren den Raum $\Omega = C[0, 1]$ mit der Suprenums-Metrik-Topologie und einer binären Relation $R$ , die auf der punktweisen Ordnung ( $p_1 \leq p_2$ ) basiert. Sie konstruieren einen Integraloperator $T$ und verifizieren, dass dieser die Bedingungen von Theorem 3.2 erfüllt. Eine numerische Illustration mittels eines iterativen Schemas ( $u_{n+1} = T u_n$ ) mit $h(t, u) = \frac{1}{16}u + \sin(t)$ demonstriert die schnelle Konvergenz gegen die eindeutige Lösung, was die theoretischen Befunde validiert.

Bedeutung
Das Paper behauptet, dass sein Rahmen einen effizienteren und flexibleren Ansatz für die Fixpunkttheorie in topologischen Räumen bietet. Durch die Integration einer binären Relation wird die Kontraktionsbedingung gelockert, sodass sie nur noch für „verwandte“ Elemente gilt, statt für den gesamten Raum. Dies ermöglicht es den Autoren, die Existenz von Fixpunkten in Fällen zu beweisen, in denen klassische oder zuvor generalisierte topologische Banach-Kontraktionsprinzipien versagen, insbesondere wenn die zugrunde liegende Funktion $g$ die Identität der Ununterscheidbarkeit global nicht erfüllt. Die Arbeit schließt die Lücke zwischen der metrischen Fixpunkttheorie und topologischen Räumen unter Verwendung relationaler Strukturen und bietet ein robustes Werkzeug zur Analyse nichtlinearer Probleme wie fraktionaler Differentialgleichungen, bei denen metrische Strukturen unzureichend sein können oder Ordnungstexturen eine entscheidende Rolle spielen.

Mehr davon