3 papers
cs.LO2026
Formalizing Schwartz functions and tempered distributions
Moritz Doll
Distribution theory is a cornerstone of the theory of partial differential equations. We report on the progress of formalizing the theory of tempered distributions in the interacti…
math.AP2025
The Klein-Gordon equation on asymptotically Minkowski spacetimes: the Feynman propagator
Dean Baskin, Moritz Doll, Jesse Gell-Redman
We develop a theory of Feynman propagators for the massive Klein--Gordon equation with asymptotically static perturbations. Building on our previous work on the causal propagators,…
math.AP2025
The Klein-Gordon equation on asymptotically Minkowski spacetimes: causal propagators
Dean Baskin, Moritz Doll, Jesse Gell-Redman
We construct the causal (forward/backward) propagators for the massive Klein-Gordon equation perturbed by a first order operator which decays in space but not necessarily in time.…