Mathematical Logic Webinar

Proof mining on PDE theory

Videoconferência

Por Pedro Pinto (Technische Universität Darmstadt).

Proof mining is the research program that employs proof-theoretical techniques to obtain new information from noneffective mathematical theorems [1]. Such new information may be of a quantitative nature (like rates of convergence, etc.) or of a qualitative nature (generalizations, independence on parameters, etc.). With the work of U. Kohlenbach and his collaborators, in the last 25 years this program has been successfully applied in a systematic way to various areas of mathematics, especially in the field of nonlinear analysis. However, at the moment there is a single study of results in the context of PDE theory [2]. Recent developments regarding a suitable formalization of monotone (accretive) set-valued maps in Hilbert (Banach) spaces due to N. Pischke [3] have allowed for a clear formal understanding of these types of maps and opened up proof mining to applications on a new class of results.

In this talk, we will discuss the asymptotic behavior of nonlinear semigroups generated by an accretive operator through the proof mining study of results due to O. Nevanlinna and S. Reich [4] as well as H.-K. Xu [5]. These results consider a particularly interesting condition on the underlying operator introduced by A. Pazy [6] under the name of ‘convergence condition’. We derive various notions of a ‘convergence condition with modulus’ which provide quantitative information on this condition of a varying computational strength. These notions then allow for the extraction of quantitative information on the convergence results of Nevanlinna and Reich as well as Xu in the form of rates of convergence. This talk is based on ongoing joint work [7] with Nicholas Pischke.

References:

  • [1] U. Kohlenbach, Applied proof theory: proof interpretations and their use in mathematics. Springer Monographs in Mathematics. Springer-Verlag Berlin Heidelberg, 2008.
  • [2] U. Kohlenbach, and A. Koutsoukou-Argyraki, Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators, Journal of Mathematical Analysis and Applications, 423:10891112, 2015.
  • [3] N. Pischke, Logical Metatheorems for Accretive and (Generalized) Monotone Set-Valued Operators, Submitted, arXiv:2205.01788, 2022.
  • [4] O. Nevanlinna and S. Reich, Strong convergence of contraction semigroups and of iterative methods for accretive operators in Banach spaces, Israel Journal of Mathematics, 32:4458, 1979.
  • [5] H.-K. Xu, Strong asymptotic behavior of almost-orbits of nonlinear semigroups, Nonlinear Analysis: Theory, Methods & Applications, 46(1):135151, 2001.
  • [6] A. Pazy, Strong convergence of semigroups on nonlinear contractions in Hilbert space, Journal of Mathematical Analysis and Applications, 34:135, 1978.
  • [7] P. Pinto and N. Pischke, On the asymptotic behavior of Cauchy problems generated by an accretive operator, 2022.

Online broadcast | Meeting ID: 837 8989 1971

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Título/data/local do evento, logótipos das entidades organizadoras e fotografia de peixe

The event aims to facilitate the exchange of information and knowledge among professionals to advance the understanding, collaboration and capabilities of aquaculture to respond to the impact of climate change in a rapidly changing global environment.

Uma oportunidade única para interagir com a comunidade global de computação científica, com inscrições (preço reduzido) até 02 de maio.

Logótipo Moodle

Ação de formação para docentes e investigadores de CIÊNCIAS.

Data/local da iniciativa, logótipo de Ciências ULisboa e iconografia relacionada com energias renováveis

Inscrições a partir de 07 de abril! Junta-te a esta revolução energética e faz a diferença!

Químico a escrever fórmulas num quadro

Curso acreditado para efeitos de progressão na carreira dos professores do Ensino Básico e Secundário do Grupo 510 (CCPFC/ACC-118288/22), com candidaturas até 18 de maio.

Título/data/local do evento e fotografia do mar

Quais são os conceitos-chave para enfrentar os atuais desafios marinhos e costeiros? 

Título da conferência, sobre um quadro de ardósia

The conference focuses on "Algebra and its role in Computer Science", with special emphasis on the areas of study related to the work of M. V. Volkov, such as semigroups and automata.

Computability in Europe (CiE) is an interdisciplinary series of international conferences organised by the Association Computability in Europe (ACiE).

Logótipo do evento, sobre fotografia dos Açores

An international symposium that convenes researchers specializing in various disciplines focused on the terrestrial and marine flora and vegetation of the Macaronesian region (Azores, Madeira, Selvagens, Canary Islands, and Cabo Verde).

Composição de imagens relativas à área das ciências forenses

O curso visa dotar os formandos, com formação universitária nas mais diversas áreas do saber, com os conhecimento necessários à integração de equipas profissionais multidisciplinares nas áreas Médico-Legais e Forenses, em Laboratórios ou Serviços Médico-Legais e Forenses.

Cientista a trabalhar com tubos de ensaio

Este curso forma profissionais para atividade na área das Análises Clínicas ou Patologia Clínica. Irão adquirir os conhecimentos essenciais à integração de equipas profissionais multidisciplinares na área das Análises Clínicas/Patologia Clínica, em laboratórios privados, públicos, hospitalares ou do Estado.

The conference aims to bring together key experts in the Medical Microwave Imaging (MMWI) field and will include invited talks, presentations and posters of peer-reviewed abstracts and conference papers, and workshops in satellite areas of research that are of interest to MMWI research.

Páginas