We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Logical metatheorems for accretive and (generalized) monotone set-valued operators

Abstract: Accretive and monotone operator theory are central branches of nonlinear functional analysis and constitute the abstract study of set-valued mappings between function spaces. This paper deals with the computational properties of certain large classes of operators, namely accretive and (generalized) monotone set-valued ones. In particular, we develop (and extend) for this field the theoretical framework of proof mining, a program in mathematical logic that seeks to extract computational information from prima facie `non-computational' proofs from the mainstream literature. To this end, we establish logical metatheorems that guarantee and quantify the computational content of theorems pertaining to accretive and (generalized) monotone set-valued operators. On one hand, our results unify a number of recent case studies, while they also provide characterizations of central analytical notions in terms of proof theoretic ones on the other, which provides a crucial perspective on needed quantitative assumptions in future applications of proof mining to these branches.
Comments: 37 pages
Subjects: Logic (math.LO)
MSC classes: 03F10, 03F35, 47H05, 47H06
Cite as: arXiv:2205.01788 [math.LO]
  (or arXiv:2205.01788v2 [math.LO] for this version)

Submission history

From: Nicholas Pischke [view email]
[v1] Tue, 3 May 2022 21:28:38 GMT (44kb)
[v2] Mon, 9 May 2022 14:34:50 GMT (45kb)

Link back to: arXiv, form interface, contact.