TU Darmstadt / ULB / TUbiblio

Proof Mining for Nonlinear Operator Theory: Four Case Studies on Accretive Operators, the Cauchy Problem and Nonexpansive Semigroups

Koutsoukou-Argyraki, Angeliki :
Proof Mining for Nonlinear Operator Theory: Four Case Studies on Accretive Operators, the Cauchy Problem and Nonexpansive Semigroups.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6101]
Technische Universität Darmstadt , Darmstadt
[Dissertation], (2016)

Offizielle URL: http://tuprints.ulb.tu-darmstadt.de/6101

Kurzbeschreibung (Abstract)

We present the first applications of proof mining to the theory of partial differential equations as well as to set-valued operators in Banach spaces, in particular to abstract Cauchy problems generated by set-valued nonlinear operators that fulfill certain accretivity conditions. In relation to (various versions of) uniform accretivity we introduce a new notion of modulus of accretivity. A central result is an extraction of effective bounds on the convergence of the solution of the Cauchy problem to the zero of the operator that generates it. We also provide an example of an application for a specific partial differential equation.

For such operators as well as for operators fulfilling the so-called $\phi$-expansivity property, again in general real Banach spaces, we give computable rates of convergence of their resolvents to their zeros.

We give two applications of proof mining to nonlinear nonexpansive semigroups, analysing two completely different proofs of essentially the same statement and obtaining completely different bounds. More specifically we obtain effective bounds for the computation of the approximate common fixed points of one-parameter nonexpansive semigroups on a subset of a Banach space and (for a convex subset) we give corollaries on their asymptotic regularity with respect to Krasnoselskii's and Kuhfittig's iteration schemata.

The bounds obtained in all the above works are all not only effective, but also highly uniform and of low complexity.

We finally include a short comment on a different perspective of a (potential) proof-theoretic application to partial differential equations, namely a reverse mathematical study of a proof for the existence of a weak solution of the Navier-Stokes equations motivating future work.

Typ des Eintrags: Dissertation
Erschienen: 2017
Autor(en): Koutsoukou-Argyraki, Angeliki
Titel: Proof Mining for Nonlinear Operator Theory: Four Case Studies on Accretive Operators, the Cauchy Problem and Nonexpansive Semigroups
Sprache: Englisch
Kurzbeschreibung (Abstract):

We present the first applications of proof mining to the theory of partial differential equations as well as to set-valued operators in Banach spaces, in particular to abstract Cauchy problems generated by set-valued nonlinear operators that fulfill certain accretivity conditions. In relation to (various versions of) uniform accretivity we introduce a new notion of modulus of accretivity. A central result is an extraction of effective bounds on the convergence of the solution of the Cauchy problem to the zero of the operator that generates it. We also provide an example of an application for a specific partial differential equation.

For such operators as well as for operators fulfilling the so-called $\phi$-expansivity property, again in general real Banach spaces, we give computable rates of convergence of their resolvents to their zeros.

We give two applications of proof mining to nonlinear nonexpansive semigroups, analysing two completely different proofs of essentially the same statement and obtaining completely different bounds. More specifically we obtain effective bounds for the computation of the approximate common fixed points of one-parameter nonexpansive semigroups on a subset of a Banach space and (for a convex subset) we give corollaries on their asymptotic regularity with respect to Krasnoselskii's and Kuhfittig's iteration schemata.

The bounds obtained in all the above works are all not only effective, but also highly uniform and of low complexity.

We finally include a short comment on a different perspective of a (potential) proof-theoretic application to partial differential equations, namely a reverse mathematical study of a proof for the existence of a weak solution of the Navier-Stokes equations motivating future work.

Ort: Darmstadt
Fachbereich(e)/-gebiet(e): 04 Fachbereich Mathematik > Analysis
04 Fachbereich Mathematik > Logik
04 Fachbereich Mathematik > Logik > Extraction of Effective Bounds
Hinterlegungsdatum: 19 Mär 2017 20:55
Offizielle URL: http://tuprints.ulb.tu-darmstadt.de/6101
URN: urn:nbn:de:tuda-tuprints-61015
Gutachter / Prüfer: Kohlenbach, Prof. Dr. Ulrich ; Garcia Falset, Prof., PhD Jesus ; Yokoyama, PhD Keita
Datum der Begutachtung bzw. der mündlichen Prüfung / Verteidigung / mdl. Prüfung: 21 Dezember 2016
Alternatives oder übersetztes Abstract:
AbstractSprache
In dieser Arbeit werden die ersten Proof-Mining-Anwendungen auf die Theorie Partieller Differentialgleichungen sowie auf mehrwertige Operatoren in Banachräumen präsentiert. Vor allem werden abstrakte Cauchy-Probleme, die durch mehrwertige nichtlineare Operatoren generiert werden, welche bestimmte Akkretivitätsbedingungen erfüllen, betrachtet. Ein neuer Begriff von Akkretivitätsmodul wird eingeführt, der sich auf verschiedene Varianten von uniformer Akkretivität bezieht. Das zentrale Ergebnis dieser Arbeit ist die Extraktion von effektiven Schranken für die Konvergenz der Lösung des Cauchy-Problems gegen die Nullstelle des erzeugenden Operators der es generiert. Ein Anwendungsbeispiel auf eine spezifische partielle Differentialgleichung wird ebenfalls präsentiert. Für solche Operatoren in allgemeinen reellen Banachräumen sowie für Operatoren, welche die sogenannte $\phi$-Expansivitätseigenschaft haben, werden berechenbare Konvergenzraten ihrer Resolventen gegen ihre entsprechenden Nullstellen angegeben. Unter der Annahme, dass der Raum darüber hinaus gleichmäßig konvex ist, wird eine Konvergenzrate von geringer Komplexität bewiesen. Zwei Proof-Mining-Anwendungen auf nichtlineare, nichtexpansive Halbgruppen werden durch die Analyse von zwei komplett unterschiedlichen Beweisen derselben Aussage und durch das Erreichen von unterschiedlichen Schranken vorgestellt. Genauer gesagt werden effektive Schranken für die Berechnung von approximativen gemeinsamen Fixpunkten von einparameter-nichtexpansiven Halbgruppen auf einer Teilmenge eines Banachraums gewonnen. Desweiteren präsentieren wir für eine konvexe Teilmenge Korollare über die asymptotische Regularität der Iterationsschemata von Krasnoselskii und Kuhfittig. Alle erreichten Schranken sind nicht nur effektiv, sondern auch in hohem Maße uniform und haben eine geringe Komplexität. Diese Dissertation endet mit einem kurzen Kommentar zu einer Idee aus dem Bereich der Reverse Mathematics zu partiellen Differentialgleichungen, die eine andere Perspektive auf potentielle beweistheoretische Anwendungen aufzeigt, um zukünftige Arbeit zu motivieren.Deutsch
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen