546c7c5ed7a20732.tex
1: \begin{abstract} 
2: We consider the first-order system space-time formulation of the heat equation introduced in \cite{23.5}, and analyzed in \cite{75.257,75.28}, with solution components
3: $(u_1,{\bf u}_2)=(u,-\nabla_{\bf x} u)$. The corresponding operator is boundedly invertible between a Hilbert space $U$ and a Cartesian product of $L_2$-type spaces, which facilitates easy first-order system least-squares (FOSLS) discretizations.
4: Besides $L_2$-norms of $\nabla_{\bf x} u_1$ and ${\bf u}_2$, the (graph) norm of $U$ contains the $L_2$-norm of $\partial_t u_1 +\divv_{\bf x} {\bf u}_2$.
5: When applying standard finite elements w.r.t.~simplicial partitions of the space-time cylinder, estimates of the approximation error w.r.t.~the latter norm require higher-order smoothness of ${\bf u}_2$. In experiments for both uniform and adaptively refined partitions, this manifested itself 
6: in disappointingly low convergence rates for non-smooth solutions $u$.
7: 
8: In this paper, we construct finite element spaces w.r.t.~prismatic partitions. They come with 
9: a quasi-interpolant that satisfies a near commuting diagram in the sense that, apart from some harmless term, the aforementioned error depends exclusively on the smoothness of $\partial_t u_1 +\divv_{\bf x} {\bf u}_2$, i.e., of the forcing term $f=(\partial_t-\Delta_x)u$.
10: Numerical results show significantly improved convergence rates.
11: \end{abstract}
12: