arXiv subjects

Robin Smeets

Publications and source records attributed to Robin Smeets.

3 recordsLinked to original sources

arXiv2026

A Double-Adaptivity Solver for Parabolic PDEs

We study minimal residual space-time finite element discretizations of linear parabolic initial value problems in canonical space-time variational form. To deal with the arising dual norm, we introduce the Riesz lift of the residual as an additional variable. Quasi-optimality of the primal variable of the mixed system follows from a uniform inf-sup condition. This condition is known to be satisfied for finite element spaces w.r.t. prismatic partitions of the space-time cylinder that allow for a decomposition into time-slabs. We prove that this condition cannot be expected to hold otherwise. To recover stability for general partitions and the data at hand, we derive an a posteriori condition on the error between the exact Riesz lift of the residual and its Galerkin approximation -- being the secondary variable of our system -- under which the primal variable is quasi-optimal. We derive a posteriori error estimators for both variables, and use them in a double-adaptive loop that alternates test-space with trial-space enrichment. We illustrate our findings with numerical experiments in $1+1$ and $2+1$ dimensions.

math.NA↗

arXiv2025

Quasi-optimal time-space discretizations for a class of nonlinear parabolic PDEs

We consider parabolic evolution equations with Lipschitz continuous and strongly monotone spatial operators. By introducing an additional variable, we construct an equivalent system where the operator is a Lipschitz continuous mapping from a Hilbert space $Y \times X$ to its dual, with a Lipschitz continuous inverse. Resulting Galerkin discretizations can be solved with an inexact Uzawa type algorithm. Quasi-optimality of the Galerkin approximations is guaranteed under an inf-sup condition on the selected `test' and `trial' subspaces of $Y$ and $X$. To circumvent the restriction imposed by this inf-sup condition, an a posteriori condition for quasi-optimality is developed that is shown to be satisfied whenever the test space is sufficiently large.

math.NA↗

arXiv2024

Quasi-Optimal Least Squares: Inhomogeneous boundary conditions, and application with machine learning

We construct least squares formulations of PDEs with inhomogeneous essential boundary conditions, where boundary residuals are not measured in unpractical fractional Sobolev norms, but which formulations nevertheless are shown to yield a quasi-best approximations from the employed trial spaces. Dual norms do enter the least-squares functional, so that solving the least squares problem amounts to solving a saddle point or minimax problem. For finite element applications we construct uniformly stable finite element pairs, whereas for Machine Learning applications we employ adversarial networks.

math.NA↗