arXiv subjects

Dirk Praetorius

Publications and source records attributed to Dirk Praetorius.

At least 19 recordsLinked to original sources

arXiv2026

Robust Multigrid on Adaptive Meshes for the Integral Fractional Laplacian

We analyze a geometric multigrid method on locally refined mesh hierarchies for non-local variational problems, focusing on the integral fractional Laplacian. For newest-vertex-bisection-generated hierarchies, we prove uniform contraction of the multigrid iteration independently of the refinement level, the smallest local mesh size, and the polynomial degree in the finite element discretization. The proof is based on an abstract Hilbert-space framework, a strengthened Cauchy--Schwarz estimate obtained from a near-/far-field decomposition of the non-local bilinear form, and a multilevel stable decomposition independent of the discretization parameters. Numerical experiments underline the theoretical findings.

math.NA↗

arXiv2026

Minimum residual discretization of a semilinear elliptic problem

We propose a least-squares penalization as a means to extend the discontinuous Petrov-Galerkin (DPG) method with optimal test functions to a class of semilinear elliptic problems. The nonlinear contributions are replaced with independent unknowns so that standard DPG techniques apply to the resulting linear problem with non-trivial kernel. The nonlinear relations are added as least-squares constraints. Assuming solvability of the semilinear problem and an Aubin--Nitsche-type approximation property for the primal variable, we prove a Céa estimate for the approximation error in canonical norms. We also give conditions ensuring unique solvability and, under additional regularity and stability assumptions, derive the required nonlinear Aubin-Nitsche estimate. Numerical results with uniform and adaptively refined meshes illustrate the performance of the scheme, also in comparison with the Gauss-Newton approach.

math.NA↗

arXiv2026

An unconditionally convergent BDF2-type finite element integrator for the inertial Landau-Lifshitz-Gilbert equation

We propose and analyze a fully discrete numerical scheme to approximate solutions to the inertial Landau-Lifshitz-Gilbert (iLLG) equation, a state-of-the-art model to describe the dynamics of the magnetization at subpicosecond time scales. The method employs first-order finite elements for the spatial discretization and the two-step backward differentiation formula (BDF2) for the time discretization, where the inertial term is treated by a convex combination of BDF2 and the backward Euler method. We prove well-posedness and unconditional stability of the scheme, and obtain explicit bounds for the error in the realization of the iLLG-inherent unit length constraint satisfied by the magnetization. Moreover, we derive the discrete energy law satisfied by the approximations, which resembles the inherent dissipative energy law of the model. Finally, with a constructive approach, we prove unconditional convergence of the approximations toward a weak solution of the problem. Numerical experiments assess the performance of the scheme and validate the theoretical findings.

math.NA↗

arXiv2026

BDF2-type integrator for Landau-Lifshitz-Gilbert equation in micromagnetics: IMEX time-stepping and full effective field

We extend the BDF2-type finite-element integrator proposed in [M. Aldé, M. Feischl, D. Praetorius; BDF2-type integrator for Landau-Lifshitz-Gilbert equation in micromagnetics: unconditional weak convergence to weak solutions. (Math. Comp., 2026, doi:10.1090/mcom/4210)] to the Landau-Lifshitz-Gilbert (LLG) equation with lower-order effective-field contributions and current-induced non-conservative torques arising in micromagnetic applications. To incorporate these additional terms while retaining a linear solve at each time step, we employ an implicit-explicit (IMEX) time splitting. Our main theorem proves unconditional weak convergence of the fully discrete approximations towards weak solutions of the LLG equation. The analysis removes the mild but artificial CFL-type restrictions required at the first and final time steps in [Aldé M., Feischl M., Praetorius D.; Math. Comp., 2026]. Furthermore, in the presence of the Dzyaloshinskii-Moriya interaction (DMI), the convergence is likewise unconditional and does not require the CFL-type restriction imposed in [G. Hrkac, C.-M. Pfeiler, D. Praetorius, M. Ruggeri, A. Segatti, and B. Stiftner. Convergent tangent plane integrators for the simulation of chiral magnetic skyrmion dynamics. (Adv. Comput. Math., 2019. doi: 10.1007/s10444- 019-09667-z)]. Numerical experiments support the theoretical findings.

math.NA↗

arXiv2026

Quasi-optimal complexity of iterative Galerkin methods driven by an elliptic reconstruction error estimator

We study an iterative Galerkin method for quasilinear elliptic problems in the Browder-Minty setting. The resulting discrete nonlinear systems are solved by linearization via a (damped) Zarantonello iteration. Unlike prior work, adaptive mesh refinement is driven by an elliptic reconstruction error estimator, which is natural in the sense that the a posteriori bounds for the linearization and discretization errors are well separated. For this setting, we present the first comprehensive convergence analysis of the corresponding algorithm. We prove unconditional full R-linear convergence of a suitable quasi-error that combines linearization and discretization errors. For sufficiently small adaptivity parameters, we further establish optimal convergence rates with respect to the number of degrees of freedom and quasi-optimal complexity, i.e., optimal convergence rates with respect to the overall computational cost. Numerical experiments underpin the theoretical findings.

math.NA↗

arXiv2026

Optimal convergence of adaptive BEM driven by functional-type error estimators

In the present work, we derive functional upper bounds for the potential error arising from boundary element discretizations of the Laplace-Dirichlet problem. These bounds are based on local auxiliary problems on patches of boundary vertices and the resulting a posteriori error estimator is shown to be locally equivalent to the well-studied residual error estimator. This equivalence result allows us to prove R-linear convergence of the functional a posteriori error estimator and, together with a suitable mesh-refining strategy, to establish that the potential error as well as the functional error estimator converge with optimal rates with respect to the number of boundary elements. Numerical experiments affirm the theoretical findings and illustrate the practical performance of the related adaptive algorithm driven by the proposed functional error estimator.

math.NA↗

arXiv2026

Unconditional full linear convergence and quasi-optimal complexity of smoothed adaptive finite element methods

We present the first rigorous convergence analysis of the smoothed adaptive finite element method (S-AFEM) proposed in [Mulita, Giani, Heltai: SIAM J. Sci. Comput. 43, 2021]. S-AFEM modifies the classical adaptive finite element method (AFEM) by performing accurate discrete solves only on periodically determined mesh levels, while the intermediate levels employ a fixed number of cheap smoothing iterations. Numerical experiments in that work showed that this strategy generates adapted meshes comparable to those of AFEM at substantially lower computational cost. In this paper, we prove unconditional full R-linear convergence of a suitable quasi-error quantity and, for sufficiently small adaptivity parameters, optimal convergence rates with respect to the overall computational cost. The analysis requires only a mild uniform stability assumption on the employed smoother, satisfied by standard methods such as Richardson, Gauss-Seidel, conjugate gradient, and multigrid schemes. Our results apply to general second-order linear elliptic PDEs and show that S-AFEM retains all desired abstract convergence guarantees of AFEM while reducing the cumulative computational time. Numerical experiments validate the theory, analyze runtime performance, and underline the potential of S-AFEM for speed-up in AFEM computations.

math.NA↗

arXiv2026

Optimal complexity of adaptive FEM for second-order linear elliptic PDEs driven by non-residual estimators, Part I: Symmetric PDEs

We consider adaptive finite element methods for symmetric second-order linear elliptic PDEs, where the adaptive algorithm steers the local mesh refinement as well as an iterative algebraic solver. Under abstract assumptions on the underlying a-posteriori error estimator and the solver, we prove that the usual adaptive algorithm leads to unconditional full R-linear convergence, independently of the user-chosen adaptivity parameters. For sufficiently small parameters, this guarantees optimal complexity in the sense that the decay rate of an appropriate quasi-error is optimal with respect to the overall computation cost (and hence time) measured in terms of the usual nonlinear approximation classes. Unlike available results in the literature, the main focus is on the analytical understanding of non-residual estimators like averaging-based estimators as proposed by Zienkiewicz and Zhu or estimators based on equilibrated fluxes.

math.NA↗

arXiv2026

BDF2-type integrator for Landau-Lifshitz-Gilbert equation in micromagnetics: a-priori error estimates

We consider the Landau-Lifshitz-Gilbert equation (LLG), which models time-dependent micromagnetic phenomena. We analyze a fully discrete scheme that combines first-order finite elements in space with a BDF2 method in time. The method requires the solution of only one linear system of equations per time step and does not enforce the pointwise unit-length constraint of the magnetization. While unconditional weak convergence has been analyzed in an earlier work, we now prove optimal-order convergence rates under sufficient regularity assumptions on the exact solution and the external field. In combination with our previous work, this establishes the first higher-order-in-time and linear integrator that converges both to weak and strong solutions of LLG. Numerical experiments confirm first-order convergence in space and second-order convergence in time.

math.NA↗

arXiv2026

Adaptive finite element methods with optimally preconditioned GMRES guarantee optimal complexity

We analyze optimal complexity of adaptive finite element methods (AFEMs) for general second-order linear elliptic partial differential equations (PDEs) in the Lax-Milgram setting. To this end, we formulate an adaptive algorithm which steers the local mesh-refinement as well as the termination of a generalized minimal residual solver (GMRES) with optimal preconditioner to solve the arising non-symmetric finite element systems. Algorithmic interplay of mesh-refinement and iterative solver is shown to be optimal: A natural and fully computable quasi-error monitoring discretization error and algebraic solver error guarantees unconditional convergence for any choice of adaptivity parameters, i.e., the algorithm cannot fail to converge. This is ensured algorithmically via a novel adaptive feedback-control for the solver-termination parameter that monitors and ensures full R-linear convergence. Finally, the quasi-error even decays with optimal rates with respect to the overall computational complexity if the adaptivity parameters are chosen sufficiently small.

math.NA↗

arXiv2026

Generalized preconditioned conjugate gradients for adaptive FEM with optimal complexity

We consider adaptive finite element methods (AFEMs) with inexact algebraic solvers for second-order symmetric linear elliptic diffusion problems. Optimal complexity of AFEM, i.e., optimal convergence rates with respect to the overall computational cost, hinges on two requirements on the solver. First, each solver step is of linear cost with respect to the number of degrees of freedom. Second, each solver step guarantees uniform contraction of the solver error with respect to the PDE-related energy norm. Both properties must be ensured robustly with respect to the local mesh size h (i.e., h-robustness). While existing literature on geometric multigrid methods (MG) or symmetric additive Schwarz preconditioners for the preconditioned conjugate gradient method (PCG) that are appropriately adapted to adaptive mesh-refinement satisfy these requirements, this paper aims to consider more general solvers. Our main focus is on preconditioners stemming from contractive solvers which need not be symmetrized to be used with Krylov methods and which are not only h-robust but also p-robust, i.e., the contraction constant is independent of the polynomial degree p. In particular, we show that generalized PCG (GPCG) with an h- and p-robust contractive MG as a preconditioner satisfies the requirements for optimal-complexity AFEM and that it numerically outperforms AFEM using MG as a solver. While this is certainly known for (quasi-)uniform meshes, the main contribution of the present work is the rigorous analysis of the interplay of the solver with adaptive mesh-refinement. Numerical experiments underline the theoretical findings.

math.NA↗

arXiv2026

Global convergence of adaptive least-squares finite element methods for nonlinear PDEs

The Zarantonello fixed-point iteration is an established linearization scheme for quasilinear PDEs with strongly monotone and Lipschitz continuous nonlinearity in Hilbert spaces. This paper presents a weighted least-squares minimization for the computation of the update of this scheme. The resulting formulation allows for a conforming least-squares finite element discretization of the primal and dual variable of the PDE with arbitrary polynomial degree. The least-squares functional provides a built-in a posteriori discretization error estimator in each linearization step motivating an adaptive Uzawa-type algorithm with an outer linearization loop and an inner adaptive mesh-refinement loop. For quasilinear PDEs in divergence form satisfying a 2-growth condition, we prove global R-linear convergence of the computed linearization iterates for arbitrary initial guesses. Particular focus is on the role of the weights in the least-squares functional of the linearized problem and their influence on the robustness of the Zarantonello damping parameter. Numerical experiments illustrate the performance of the proposed algorithm.

math.NA↗

arXiv2026

New a posteriori error estimates for full-space transmission problems

In the present work, we derive functional upper bounds for the potential error arising from finite-element boundary-element coupling formulations for a nonlinear Poisson-type transmission problem. The proposed a posteriori error estimates are independent of the precise discretization scheme and provide guaranteed upper bounds for the potential error. The computation of these upper bounds is based on the solutions of local auxiliary finite element problems on patches in the interior domain and in a strip domain along the coupling boundary. Numerical experiments illustrate the performance of the proposed error estimation strategy for a related adaptive mesh-refinement strategy.

math.NA↗

arXiv2026

BDF2-type integrator for Landau-Lifshitz-Gilbert equation in micromagnetics: unconditional weak convergence to weak solutions

We consider the Landau-Lifshitz-Gilbert equation (LLG) that models time-dependent micromagnetic phenomena. We propose a full discretization that employs first-order finite elements in space and a BDF2-type two-step method in time. In each time step, only one linear system of equations has to be solved. We employ linear interpolation in time to reconstruct the discrete space-time magnetization. We prove that the integrator is unconditionally stable and thus guarantees that a subsequence of the reconstructed magnetization converges weakly in $H^1$ towards a weak solution of LLG in the space-time domain. Numerical experiments verify that the proposed integrator is indeed first-order in space and second-order in time.

math.NA↗

arXiv2026

Multigoal-oriented adaptive finite element method with convergence rates

We formulate and analyze a goal-oriented adaptive finite element method for a symmetric linear elliptic partial differential equation (PDE) that can simultaneously deal with multiple linear goal functionals. In each step of the algorithm, only two linear finite element systems have to be solved. Moreover, all finite element solutions are computed with respect to the same discrete space, while the underlying triangulations are adapted to resolve all inherent singularities simultaneously. Unlike available results for such a setting in the literature, we give a thorough convergence analysis and verify that our algorithm guarantees, in an appropriate sense, even optimal convergence rates. Numerical experiments underline the derived theoretical results.

math.NA↗

arXiv2025

Newton's method in adaptive iteratively linearized FEM

This paper concerns the inclusion of Newton's method into an adaptive finite element method (FEM) for the solution of nonlinear partial differential equations (PDEs). It features an adaptive choice of the damping parameter in the Newton iteration for the discretized nonlinear problems on each level ensuring both global linear and local quadratic convergence. In contrast to energy-based arguments in the literature, a novel approach in the analysis considers the discrete dual norm of the residual as a computable measure for the linearization error. As a consequence, this paper provides the first convergence analysis with optimal rates of an adaptive iteratively linearized FEM beyond energy-minimization problems. The presented theory applies to strongly monotone operators with locally Lipschitz continuous Fréchet derivative. We present a class of semilinear PDEs fitting into this framework and provide numerical experiments to underline the theoretical results.

math.NA↗

arXiv2025

Goal-oriented adaptivity for multilevel stochastic Galerkin FEM with nonlinear goal functionals

This paper is concerned with the numerical approximation of quantities of interest associated with solutions to parametric elliptic partial differential equations (PDEs). The key novelty of this work is in its focus on the quantities of interest represented by continuously Gâteaux differentiable nonlinear functionals. We consider a class of parametric elliptic PDEs where the underlying differential operator has affine dependence on a countably infinite number of uncertain parameters. We design a goal-oriented adaptive algorithm for approximating nonlinear functionals of solutions to this class of parametric PDEs. In the algorithm, the approximations of parametric solutions to the primal and dual problems are computed using the multilevel stochastic Galerkin finite element method (SGFEM) and the adaptive refinement process is guided by reliable spatial and parametric error reduction indicators. We prove that the proposed algorithm generates multilevel SGFEM approximations for which the estimates of the error in the goal functional converge to zero. Numerical experiments for a selection of test problems and nonlinear quantities of interest illustrate and underpin our theoretical findings.

math.NA↗

arXiv2025

Energy minimization for skyrmions on planar thin films

We consider an energy functional that arises in micromagnetic and liquid crystal theory on thin films. In particular, our energy comprises a non-convex term that models anti-symmetric exchange as well as an anisotropy term. We devise an algorithm for energy minimization in the continuous case and show weak convergence of a subsequence towards a solution of the corresponding Euler--Lagrange equation. Furthermore, an algorithm for numerical energy minimization is presented. We show empirically that this numerical algorithm converges to the correct solutions for a benchmark problem without the need for user-supplied parameters, and present a rigorous convergence analysis for important special cases.

math.NA↗