A journey through Krivine realizability (Part II)
Speaker: Étienne Miquey (École Normale Supérieure de Lyon).
Speaker: Étienne Miquey (École Normale Supérieure de Lyon).
Speaker: Hynek Kovařík (Università degli studi di Brescia).
Absence of positive eigenvalues of magnetic Schroedinger operators We study sufficient conditions for the absence of positive eigenvalues of magnetic Schroedinger operators in R^n. In our main result we prove the absence of eigenvalues above certain threshold energy which depends explicitly on the magnetic and electric field. A comparison with the examples of Miller-Simon shows that our result is sharp as far as the decay of the magnetic field is concerned.
Speaker: Étienne Miquey (École Normale Supérieure de Lyon).
Speaker: Rainer Mandel (Karlsruhe Institute of Technology).
Speaker: César Rodrigo (EST Setúbal, CMAFcIO).
Speakers: Wladimir Neves (Universidade Federal do Rio de Janeiro).
In this talk, we study the homogenization of the Schrödinger equation beyond the periodic setting. More precisely, rigorous derivation of the effective mass theorems in solid state physics for non-crystalline materials are obtained.
This is a joint work with Vernny Ccajma and Jean Silva.
Zoom | Online access password: lisbonwade
Speaker: António Marques Fernandes (Instituto Superior Técnico - Universidade de Lisboa).
Zoom Meeting | Meeting ID: 890 8479 3299 | Password: 409604
Speaker: Jaime Gaspar (Centro de Matemática e Aplicações - CMA, FCT, UNL).
Speakers: Lorenzo Mazzieri and Piotr Chruściel (Università di Trento / University of Vienna).
We will review the status of the uniqueness theory of static vacuum black holes, with or without a cosmological constant Λ and we will outline the proof of a uniqueness theorem with Λ>0, proved jointly in collaboration with Stefano Borghini.
Speaker: Pedro Pinto (Technische Universitat Darmstadt).
Abstract: Proof mining is a research program that employs proof theoretical tools to obtain additional information from mathematical results, [1]. Its techniques have been applied successfully to many areas of Mathematics with special focus on Nonlinear Analysis. This presentation reports ongoing joint work with Ulrich Kohlenbach.