- 22/02/2023 - 15h - CLAV Anfiteatro 1
In this talk, we will discuss recent quantitative versions of results on the asymptotic behavior of nonlinear semigroups generated by an accretive operator due to O. Nevanlinna and S. Reich  as well as H.-K. Xu . These results rely on a particular assumption on the underlying operator introduced by A. Pazy  under the name of ‘convergence condition’. We will see various notions of a ‘convergence condition with modulus’ which provide the appropriate quantitative information on this condition in several different ways. These notions, as well as the extraction of quantitative information on the convergence results of Nevanlinna and Reich as well as Xu, were obtained through the use of logical techniques from proof mining [4,5], a subdiscipline of mathematical logic that aims at the extraction of new information from proofs of noneffective mathematical results. The extracted information will be in particular in the form of rates of convergence which depend on these moduli for the convergence condition. This is joint work with Nicholas Pischke.
 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:44–58, 1979.
 H.-K. Xu. Strong asymptotic behavior of almost-orbits of nonlinear semigroups. Nonlinear Analysis: Theory, Methods & Applications, 46(1):135–151, 2001.
 A. Pazy. Strong convergence of semigroups on nonlinear contractions in Hilbert space. Journal of Mathematical Analysis and Applications, 34:1–35, 1978.
 U. Kohlenbach. Applied Proof Theory: Proof Interpretations and their Use in Mathematics. Springer Monographs in Mathematics. Springer-Verlag Berlin Heidelberg, 2008.
 N. Pischke. Logical metatheorems for accretive and (generalized) monotone set-valued operators. ArXiv e-prints, 2022. arXiv, math.LO, 2205.01788.
 P. Pinto and N. Pischke. On computational properties of Cauchy problems generated by accretive operators. ArXiv e-prints, 2023. arXiv, math.AP, 2301.06880.