An Ohsawa-Takegoshi-type $L^2$ extension for upper semi-continuous $L^2$-optimal functions

In this article, we obtain an Ohsawa-Takegoshi-type $L^2$-extension for upper semi-continuous $L^2$-optimal functions via a Lebesgue-type differentiation theorem. As applications, we give a characterization of plurisubharmonic functions via the multiple coarse $L^2$-estimate property for (strongly) upper semi-continuous functions and show that (strongly) upper semi-continuous $L^2$-optimal functions satisfy Skoda's integrability theorem and the strong openness property.