SearcharxivSearch

arXiv subjects

Thomas P. Wihler

Publications and source records attributed to Thomas P. Wihler.

At least 19 recordsLinked to original sources

Iterative finite element approximation of non-monotone semilinear diffusion-reaction equations

We study iterative linearized finite element methods for the numerical approximation of semilinear elliptic boundary value problems with nonlinear reaction terms of asymptotically linear growth. Our approach reaches considerably beyond the classical theory by allowing for nonlinearities that are not necessarily monotone. We investigate a stabilized implicit-explicit (IMEX) iteration combined with first-order finite element discretizations on graded meshes that are able to resolve corner singularities in polygonal domains. To account for the reduced regularity of the analytical solutions, we establish regularity estimates in corner-weighted Sobolev spaces. The principal novelty of the paper is a non-standard analysis of the approximation properties of the discrete Galerkin limits resulting from the iterative process, which yields optimal a priori convergence estimates. Numerical experiments underline the theoretical findings.

math.NA

Weakly convergent fixed point iterations for weakly sequentially non-expansive mappings

Fixed point iterations are a fundamental tool in numerical analysis and scientific computing for the approximation of solutions to nonlinear problems. Their convergence is often established via the Banach fixed point theorem, provided that a suitable contraction property can be verified. However, such conditions are typically too restrictive for more complex nonlinear equations that lack key structural features such as monotonicity or convexity. In this paper, we develop a general framework for the weak convergence of fixed point iterations based on asymptotic bounds. In particular, we introduce and exploit a weak sequential non-expansiveness property, which is significantly weaker than the global Lipschitz assumptions commonly employed in this context. This approach permits to extend classical convergence results to a broader class of mappings in general (reflexive) Opial spaces, without relying on additional geometric assumptions such as uniform convexity.

math.NA

A fully iterative adaptive energy-based approach for monotone elliptic problems

We present a fully iterative adaptive algorithm for the numerical minimization of strongly convex energy functionals in Hilbert spaces. The proposed approach, which we first present in abstract form, generates a hierarchical sequence of adaptively refined finite-dimensional approximation spaces and employs a (nonlinear) conjugate gradient (CG) method to compute suitable approximations on each space. A core novelty of our approach is that all components of the algorithm are consistently driven by energy reduction principles rather than by classical a posteriori estimators. In particular, adaptive refinement is steered by local energy reduction indicators which aim to construct subsequent approximation spaces in a way that attains the largest potential decrease in energy. Likewise, the stopping criteria for the iterative solver are based on either relative or averaged energy reductions on each subspace. As a concrete realization, we present a concise implementation for $\mathbb{P}_1$ finite element discretizations of second-order semilinear elliptic diffusion-reaction models, where the local indicators driving the element refinements are computed based on edge-wise energy reductions. Numerical experiments demonstrate that the resulting scheme achieves optimal convergence for various benchmark problems in two-dimensional polygonal domains.

math.NA

Gradient Flow Finite Element Discretisations with Energy-Based $hp$-Adaptivity for the Gross-Pitaevskii Equation with Angular Momentum

This article deals with the stationary Gross-Pitaevskii non-linear eigenvalue problem in the presence of a rotating magnetic field that is used to model macroscopic quantum effects such as Bose-Einstein condensates (BECs). In this regime, the ground-state wave-function can exhibit an a priori unknown number of quantum vortices at unknown locations, which necessitates the exploitation of adaptive numerical strategies. To this end, we consider the conforming finite element method in combination with a discrete Sobolev gradient descent, which is guided by the energy-topology of the problem, to address the nonlinearity. In addition, a key novelty of this work is an $hp$-adaptive strategy that is solely based on energy decay rather than a posteriori error estimators for the refinement process. Numerical results demonstrate that the $hp$-adaptive strategy is highly efficient in terms of accuracy to compute the ground-state wave function and energy for several test problems where we observe exponential convergence.

math.NA

Iterative energy reduction Galerkin methods and variational adaptivity

Critical points of energy functionals, which are of broad interest, for instance, in physics and chemistry, in solid and quantum mechanics, in material science, or in general diffusion-reaction models arise as solutions to the associated Euler-Lagrange equations. While classical computational solution methods for such models typically focus solely on the underlying partial differential equations, we propose an approach that also incorporates the energy structure itself. Specifically, we examine (linearized) iterative Galerkin discretization schemes that ensure energy reduction at each step, and utilize the computable discrete residual to determine an appropriate stopping point. Additionally, we provide necessary conditions, which are applicable to a wide class of problems, that guarantee convergence to critical points of the PDE as the discrete spaces are enriched. Moreover, in the specific context of finite element discretizations, we present a very generally applicable adaptive mesh refinement strategy - the so-called variational adaptivity approach - which, rather than using classical a posteriori estimates, is based on exploiting local energy reductions. The theoretical results are validated for several computational experiments in the context of nonlinear diffusion-reaction models, thereby demonstrating the effectiveness of the proposed scheme.

math.NA

Optimal finite element approximations of monotone semilinear elliptic PDE with subcritical nonlinearities

We study iterative finite element approximations for the numerical approximation of semilinear elliptic boundary value problems with monotone nonlinear reactions of subcritical growth. The focus of our contribution is on an optimal a priori error estimate for a contractive Picard type iteration scheme on meshes that are locally refined towards possible corner singularities in polygonal domains. Our analysis involves, in particular, an elliptic regularity result in weighted Sobolev spaces and the use of the Trudinger inequality, which is instrumental in dealing with subcritically growing nonlinearities. A series of numerical experiments confirm the accuracy and efficiency of our method.

math.NA

Exponential Convergence of $hp$-ILGFEM for semilinear elliptic boundary value problems with monomial reaction

We study the fully explicit numerical approximation of a semilinear elliptic boundary value model problem, which features a monomial reaction and analytic forcing, in a bounded polygon $Ω\subset\mathbb{R}^2$ with a finite number of straight edges. In particular, we analyze the convergence of $hp$-type iterative linearized Galerkin ($hp$-ILG) solvers. Our convergence analysis is carried out for conforming $hp$-finite element (FE) Galerkin discretizations on sequences of regular, simplicial partitions of $Ω$, with geometric corner refinement, with polynomial degrees increasing in sync with the geometric mesh refinement towards the corners of $Ω$. For a sequence of discrete solutions generated by the ILG solver, with a stopping criterion that is consistent with the exponential convergence of the exact $hp$-FE Galerkin solution, we prove exponential convergence in $\mathrm{H}^1(Ω)$ to the unique weak solution of the boundary value problem. Numerical experiments illustrate the exponential convergence of the numerical approximations obtained from the proposed scheme in terms of the number of degrees of freedom as well as of the computational complexity involved.

math.NA

An $hp$-adaptive strategy based on locally predicted error reductions

We introduce a new $hp$-adaptive strategy for self-adjoint elliptic boundary value problems that does not rely on using classical a posteriori error estimators. Instead, our approach is based on a generally applicable prediction strategy for the reduction of the energy error that can be expressed in terms of local modifications of the degrees of freedom in the underlying discrete approximation space. The computations related to the proposed prediction strategy involve low-dimensional linear problems that are computationally inexpensive and highly parallelizable. The mathematical building blocks for this new concept are first developed on an abstract Hilbert space level, before they are employed within the specific context of $hp$-type finite element discretizations. For this particular framework, we discuss an explicit construction of $p$-enrichments and $hp$-refinements by means of an appropriate constraint coefficient technique that can be employed in any dimensions. The applicability and effectiveness of the resulting $hp$-adaptive strategy is illustrated with some $1$- and $2$-dimensional numerical examples.

math.NA

A note on the Sassenfeld criterion and its relation to H-matrices

The starting point of this note is a decades-old yet little-noticed sufficient condition, presented by Sassenfeld in 1951, for the convergence of the classical Gauss-Seidel method. The purpose of the present paper is to shed new light on Sassenfeld's criterion and to demonstrate that it is directly related to H-matrices. In particular, our results yield a new characterization of H-matrices. In addition, the convergence of iterative linear solvers that involve H-matrix preconditioners is briefly discussed.

math.NA

A numerical energy minimisation approach for semilinear diffusion-reaction boundary value problems based on steady state iterations

We present a novel energy-based numerical analysis of semilinear diffusion-reaction boundary value problems. Based on a suitable variational setting, the proposed computational scheme can be seen as an energy minimisation approach. More specifically, this procedure aims to generate a sequence of numerical approximations, which results from the iterative solution of related (stabilised) linearised discrete problems, and tends to a local minimum of the underlying energy functional. Simultaneously, the finite-dimensional approximation spaces are adaptively refined; this is implemented in terms of a new mesh refinement strategy in the context of finite element discretisations, which again relies on the energy structure of the problem under consideration, and does not involve any a posteriori error indicators. In combination, the resulting adaptive algorithm consists of an iterative linearisation procedure on a sequence of hierarchically refined discrete spaces, which we prove to converge towards a solution of the continuous problem in an appropriate sense. Numerical experiments demonstrate the robustness and reliability of our approach for a series of examples.

math.NA

A modified Kačanov iteration scheme with application to quasilinear diffusion models

The classical Kačanov scheme for the solution of nonlinear variational problems can be interpreted as a fixed point iteration method that updates a given approximation by solving a linear problem in each step. Based on this observation, we introduce a modified Kačanov method, which allows for (adaptive) damping, and, thereby, to derive a new convergence analysis under more general assumptions and for a wider range of applications. For instance, in the specific context of quasilinear diffusion models, our new approach does no longer require a standard monotonicity condition on the nonlinear diffusion coefficient to hold. Moreover, we propose two different adaptive strategies for the practical selection of the damping parameters involved.

math.NA

Conditional a posteriori error bounds for high order DG time stepping approximations of semilinear heat models with blow-up

This work is concerned with the development of an adaptive numerical method for semilinear heat flow models featuring a general (possibly) nonlinear reaction term that may cause the solution to blow up in finite time. The fully discrete scheme consists of a high order discontinuous Galerkin (dG) time stepping method and a conforming finite element discretisation (cG) in space. The proposed adaptive procedure is based on rigorously devised conditional a posteriori error bounds in the $L^{\infty}(L^{\infty})$ norm. Numerical experiments complement the theoretical results.

math.NA

Energy contraction and optimal convergence of adaptive iterative linearized finite element methods

We revisit a unified methodology for the iterative solution of nonlinear equations in Hilbert spaces. Our key observation is that the general approach from [Heid & Wihler, Math. Comp. 89 (2020), Calcolo 57 (2020)] satisfies an energy contraction property in the context of (abstract) strongly monotone problems. This property, in turn, is the crucial ingredient in the recent convergence analysis in [Gantner et al., arXiv:2003.10785]. In particular, we deduce that adaptive iterative linearized finite element methods (AILFEMs) lead to full linear convergence with optimal algebraic rates with respect to the degrees of freedom as well as the total computational time.

math.NA

A posteriori error bounds for fully-discrete hp-discontinuous Galerkin timestepping methods for parabolic problems

We consider fully discrete time-space approximations of abstract linear parabolic partial differential equations (PDEs) consisting of an $hp$-version discontinuous Galerkin (DG) time stepping scheme in conjunction with standard (conforming) Galerkin discretizations in space. We derive abstract computable a posteriori error bounds resulting, for instance, in concrete bounds in $L_{\infty}(I;L_2(Ω))$- and $L_{2}(I;H^{1}(Ω))$-type norms when $I$ is the temporal and $Ω$ the spatial domain for the PDE. We base our methodology for the analysis on a novel space-time reconstruction approach. Our approach is flexible as it works for any type of elliptic error estimator and leaves their choice of up to the user. It also allows exhibits mesh-change estimators in a clear an concise way. We also show how our approach allows the derivation of such bounds in the $H^1(I;H^{-1}(Ω))$ norm.

math.NA

Adaptive local minimax Galerkin methods for variational problems

In many applications of practical interest, solutions of partial differential equation models arise as critical points of an underlying (energy) functional. If such solutions are saddle points, rather than being maxima or minima, then the theoretical framework is non-standard, and the development of suitable numerical approximation procedures turns out to be highly challenging. In this paper, our aim is to present an iterative discretization methodology for the numerical solution of nonlinear variational problems with multiple (saddle point) solutions. In contrast to traditional numerical approximation schemes, which typically fail in such situations, the key idea of the current work is to employ a simultaneous interplay of a previously developed local minimax approach and adaptive Galerkin discretizations. We thereby derive an adaptive local minimax Galerkin (LMMG) method, which combines the search for saddle point solutions and their approximation in finite-dimensional spaces in a highly effective way. Under certain assumptions, we will prove that the generated sequence of approximate solutions converges to the solution set of the variational problem. This general framework will be applied to the specific context of finite element discretizations of (singularly perturbed) semilinear elliptic boundary value problems, and a series of numerical experiments will be presented.

math.NA

Gradient Flow Finite Element Discretizations with Energy-Based Adaptivity for the Gross-Pitaevskii Equation

We present an effective adaptive procedure for the numerical approximation of the steady-state Gross-Pitaevskii equation. Our approach is solely based on energy minimization, and consists of a combination of gradient flow iterations and adaptive finite element mesh refinements. Numerical tests show that this strategy is able to provide highly accurate results, with optimal convergence rates with respect to the number of freedom.

math.NA

Adaptive Iterative Linearization Galerkin Methods for Nonlinear Problems

A wide variety of (fixed-point) iterative methods for the solution of nonlinear equations (in Hilbert spaces) exists. In many cases, such schemes can be interpreted as iterative local linearization methods, which, as will be shown, can be obtained by applying a suitable preconditioning operator to the original (nonlinear) equation. Based on this observation, we will derive a unified abstract framework which recovers some prominent iterative schemes. In particular, for Lipschitz continuous and strongly monotone operators, we derive a general convergence analysis. Furthermore, in the context of numerical solution schemes for nonlinear partial differential equations, we propose a combination of the iterative linearization approach and the classical Galerkin discretization method, thereby giving rise to the so-called iterative linearization Galerkin (ILG) methodology. Moreover, still on an abstract level, based on two different elliptic reconstruction techniques, we derive a posteriori error estimates which separately take into account the discretization and linearization errors. Furthermore, we propose an adaptive algorithm, which provides an efficient interplay between these two effects. In addition, the ILG approach will be applied to the specific context of finite element discretizations of quasilinear elliptic equations, and some numerical experiments will be performed.

math.NA

Stability and Convergence of Spectral Mixed Discontinuous Galerkin Methods for 3D Linear Elasticity on Anisotropic Geometric Meshes

We consider spectral mixed discontinuous Galerkin finite element discretizations of the Lamé system of linear elasticity in polyhedral domains in $\mathbb{R}^3$. In order to resolve possible corner, edge, and corner-edge singularities, anisotropic geometric edge meshes consisting of hexahedral elements are applied. We perform a computational study on the discrete inf-sup stability of these methods, and especially focus on the robustness with respect to the Poisson ratio close to the incompressible limit (i.e. the Stokes system). Furthermore, under certain realistic assumptions (for analytic data) on the regularity of the exact solution, we illustrate numerically that the proposed mixed DG schemes converge exponentially in a natural DG norm.

math.NA