{"id":"arxiv/2606.23976","url":"https://arxiv.org/abs/2606.23976","tags":["math.OC","math.DG"],"score":0,"title":"A Lorentzian Lasry-Lions regularization theorem","domain":"math.OC","source":"arxiv","authors":["Alec Metsch"],"reviews":0,"subject":"math.OC","summary":"The main goal of this paper is to establish a general Lorentzian Lasry-Lions regularization theorem: let $u$ be a function defined on a globally hyperbolic spacetime. Assume that its forward Lax--Oleinik evolution $Tu$ is locally semiconcave in a neighbourhood of $(t_0,y_0)$ and has future-directed timelike superdifferentials there. Then, for $t$ close to $t_0$ and sufficiently small $s>0$, the function $\\hat T_s\\circ T_tu$ is of class $C_{\\mathrm{loc}}^{1,1}$ in a neighbourhood of $y_0$. We give sufficient conditions ensuring the assumptions of the theorem and present an application to…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-22","reactions":{}}