1: \begin{abstract}

2: We present a general framework for the rigorous numerical analysis of time-fractional nonlinear parabolic partial differential equations, with a fractional derivative of order $\alpha\in(0,1)$ in time. It relies on three technical tools:

3: a fractional version of the discrete Gr\"onwall-type inequality, discrete maximal regularity, and regularity theory of nonlinear equations. We establish a general criterion for showing the fractional discrete Gr\"onwall inequality, and verify it for the L1 scheme and convolution quadrature generated by BDFs. Further, we provide a complete solution theory, e.g., existence, uniqueness and regularity, for a time-fractional diffusion equation with a Lipschitz nonlinear source term. Together with the known results of discrete maximal regularity, we derive pointwise $L^2(\Omega)$ norm error estimates for semidiscrete Galerkin finite element solutions and fully discrete solutions, which are of order $O(h^2)$ (up to a logarithmic factor) and $O(\tau^\alpha)$, respectively, without any extra

4: regularity assumption on the solution or compatibility condition on the problem data. The sharpness of the convergence rates is supported by the numerical experiments. \smallskip

5: 

6: {\bf Keywords:} nonlinear fractional diffusion equation, discrete fractional Gr\"onwall inequality, L1 scheme, convolution quadrature, error estimate

7:  %{\color{red}\sout{convolution quadrature}

8: \end{abstract}

9: