Regularity and high-order time stepping for semilinear subdiffusion equations with singular initial data beyond the $L^\infty$ framework

Abstract

This paper aims to analyze a numerical scheme for semilinear subdiffusion problems with singular initial data beyond the $L^\infty$ framework. The main difficulty lies in the stronger singular behavior of the nonlinear term compared with previous analyses. Since the singular initial datum is too rough to guarantee a uniform $L^\infty$ bound for the solution, the usual Lipschitz framework in the base space is no longer sufficient. The analysis must instead be carried out in weaker fractional Sobolev-type spaces, where nonlinear composition is more delicate and the term $f(u(t))$ may exhibit an amplified singularity relative to that of $u(t)$. To overcome this difficulty, we exploit the smoothing properties of the subdiffusion solution operators and formulate suitable nonlinear assumptions in fractional operator spaces. These smoothing estimates allow part of the singularity to be transferred from the nonlinear term to the solution operators, where it can be controlled. Under these assumptions, we establish well-posedness and regularity results for the mild solution and derive a pointwise-in-time error estimate for the exponential convolution quadrature method. Numerical experiments confirm the predicted convergence rates.