Showing 1–9 of 9 results for author: Brunner, M

Cost-optimal adaptive FEM with linearization and algebraic solver for semilinear elliptic PDEs

Authors: Maximilian Brunner, Dirk Praetorius, Julian Streitberger

Abstract: We consider scalar semilinear elliptic PDEs, where the nonlinearity is strongly monotone, but only locally Lipschitz continuous. To linearize the arising discrete nonlinear problem, we employ a damped Zarantonello iteration, which leads to a linear Poisson-type equation that is symmetric and positive definite. The resulting system is solved by a contractive algebraic solver such as a multigrid met… ▽ More We consider scalar semilinear elliptic PDEs, where the nonlinearity is strongly monotone, but only locally Lipschitz continuous. To linearize the arising discrete nonlinear problem, we employ a damped Zarantonello iteration, which leads to a linear Poisson-type equation that is symmetric and positive definite. The resulting system is solved by a contractive algebraic solver such as a multigrid method with local smoothing. We formulate a fully adaptive algorithm that equibalances the various error components coming from mesh refinement, iterative linearization, and algebraic solver. We prove that the proposed adaptive iteratively linearized finite element method (AILFEM) guarantees convergence with optimal complexity, where the rates are understood with respect to the overall computational cost (i.e., the computational time). Numerical experiments investigate the involved adaptivity parameters. △ Less

Submitted 13 November, 2024; v1 submitted 12 January, 2024; originally announced January 2024.

Optimal complexity of goal-oriented adaptive FEM for nonsymmetric linear elliptic PDEs

Authors: Philipp Bringmann, Maximilian Brunner, Dirk Praetorius, Julian Streitberger

Abstract: We analyze a goal-oriented adaptive algorithm that aims to efficiently compute the quantity of interest $G(u^\star)$ with a linear goal functional $G$ and the solution $u^\star$ to a general second-order nonsymmetric linear elliptic partial differential equation. The current state of the analysis of iterative algebraic solvers for nonsymmetric systems lacks the contraction property in the norms th… ▽ More We analyze a goal-oriented adaptive algorithm that aims to efficiently compute the quantity of interest $G(u^\star)$ with a linear goal functional $G$ and the solution $u^\star$ to a general second-order nonsymmetric linear elliptic partial differential equation. The current state of the analysis of iterative algebraic solvers for nonsymmetric systems lacks the contraction property in the norms that are prescribed by the functional analytic setting. This seemingly prevents their application in the optimality analysis of goal-oriented adaptivity. As a remedy, this paper proposes a goal-oriented adaptive iteratively symmetrized finite element method (GOAISFEM). It employs a nested loop with a contractive symmetrization procedure, e.g., the Zarantonello iteration, and a contractive algebraic solver, e.g., an optimal multigrid solver. The various iterative procedures require well-designed stopping criteria such that the adaptive algorithm can effectively steer the local mesh refinement and the computation of the inexact discrete approximations. The main results consist of full linear convergence of the proposed adaptive algorithm and the proof of optimal convergence rates with respect to both degrees of freedom and total computational cost (i.e., optimal complexity). Numerical experiments confirm the theoretical results and investigate the selection of the parameters. △ Less

Submitted 8 July, 2024; v1 submitted 1 December, 2023; originally announced December 2023.

Adaptive FEM with quasi-optimal overall cost for nonsymmetric linear elliptic PDEs

Authors: Maximilian Brunner, Pascal Heid, Michael Innerberger, Ani Miraçi, Dirk Praetorius, Julian Streitberger

Abstract: We consider a general nonsymmetric second-order linear elliptic PDE in the framework of the Lax-Milgram lemma. We formulate and analyze an adaptive finite element algorithm with arbitrary polynomial degree that steers the adaptive mesh-refinement and the inexact iterative solution of the arising linear systems. More precisely, the iterative solver employs, as an outer loop, the so-called Zarantone… ▽ More We consider a general nonsymmetric second-order linear elliptic PDE in the framework of the Lax-Milgram lemma. We formulate and analyze an adaptive finite element algorithm with arbitrary polynomial degree that steers the adaptive mesh-refinement and the inexact iterative solution of the arising linear systems. More precisely, the iterative solver employs, as an outer loop, the so-called Zarantonello iteration to symmetrize the system and, as an inner loop, a uniformly contractive algebraic solver, e.g., an optimally preconditioned conjugate gradient method or an optimal geometric multigrid algorithm. We prove that the proposed inexact adaptive iteratively symmetrized finite element method (AISFEM) leads to full linear convergence and, for sufficiently small adaptivity parameters, to optimal convergence rates with respect to the overall computational cost, i.e., the total computational time. Numerical experiments underline the theory. △ Less

Submitted 21 November, 2023; v1 submitted 1 December, 2022; originally announced December 2022.

Cost-optimal adaptive iterative linearized FEM for semilinear elliptic PDEs

Authors: Roland Becker, Maximilian Brunner, Michael Innerberger, Jens Markus Melenk, Dirk Praetorius

Abstract: We consider scalar semilinear elliptic PDEs where the nonlinearity is strongly monotone, but only locally Lipschitz continuous. We formulate an adaptive iterative linearized finite element method (AILFEM) which steers the local mesh refinement as well as the iterative linearization of the arising nonlinear discrete equations. To this end, we employ a damped Zarantonello iteration so that, in each… ▽ More We consider scalar semilinear elliptic PDEs where the nonlinearity is strongly monotone, but only locally Lipschitz continuous. We formulate an adaptive iterative linearized finite element method (AILFEM) which steers the local mesh refinement as well as the iterative linearization of the arising nonlinear discrete equations. To this end, we employ a damped Zarantonello iteration so that, in each step of the algorithm, only a linear Poisson-type equation has to be solved. We prove that the proposed AILFEM strategy guarantees convergence with optimal rates, where rates are understood with respect to the overall computational complexity (i.e., the computational time). Moreover, we formulate and test an adaptive algorithm where also the damping parameter of the Zarantonello iteration is adaptively adjusted. Numerical experiments underline the theoretical findings. △ Less

Submitted 23 May, 2023; v1 submitted 8 November, 2022; originally announced November 2022.

MSC Class: 65N30; 65N50; 65N15; 65Y20; 41A25

Journal ref: ESAIM: Mathematical Modelling and Numerical Analysis (2023)

Goal-oriented adaptive finite element method for semilinear elliptic PDEs

Authors: Roland Becker, Maximilian Brunner, Michael Innerberger, Jens Markus Melenk, Dirk Praetorius

Abstract: We formulate and analyze a goal-oriented adaptive finite element method (GOAFEM) for a semilinear elliptic PDE and a linear goal functional. The strategy involves the finite element solution of a linearized dual problem, where the linearization is part of the adaptive strategy. Linear convergence and optimal algebraic convergence rates are shown. We formulate and analyze a goal-oriented adaptive finite element method (GOAFEM) for a semilinear elliptic PDE and a linear goal functional. The strategy involves the finite element solution of a linearized dual problem, where the linearization is part of the adaptive strategy. Linear convergence and optimal algebraic convergence rates are shown. △ Less

Submitted 13 December, 2021; originally announced December 2021.

Journal ref: Computers & Mathematics with Applications (2022)

Topological representation of intuitionistic and distributive abstract logics

Authors: Andreas B. M. Brunner, Steffen Lewitzka

Abstract: We continue work of our earlier paper (Lewitzka and Brunner: Minimally generated abstract logics, Logica Universalis 3(2), 2009), where abstract logics and particularly intuitionistic abstract logics are studied. Abstract logics can be topologized in a direct and natural way. This facilitates a topological study of classes of concrete logics whenever they are given in abstract form. Moreover, such… ▽ More We continue work of our earlier paper (Lewitzka and Brunner: Minimally generated abstract logics, Logica Universalis 3(2), 2009), where abstract logics and particularly intuitionistic abstract logics are studied. Abstract logics can be topologized in a direct and natural way. This facilitates a topological study of classes of concrete logics whenever they are given in abstract form. Moreover, such a direct topological approach avoids the often complex algebraic and lattice-theoretic machinery usually applied to represent logics. Motivated by that point of view, we define in this paper the category of intuitionistic abstract logics with stable logic maps as morphisms, and the category of implicative spectral spaces with spectral maps as morphisms. We show the equivalence of these categories and conclude that the larger categories of distributive abstract logics and distributive sober spaces are equivalent, too. △ Less

Submitted 18 August, 2015; originally announced August 2015.

Comments: 19 pages. The results of this article were presented in a session at the XVI. Brazilian Logic Conference EBL in Petrópolis, Brazil, in 2011

Modulus on graphs as a generalization of standard graph theoretic quantities

Authors: Nathan Albin, Megan Brunner, Roberto Perez, Pietro Poggi-Corradini, Natalie Wiens

Abstract: This paper presents new results for the modulus of families of walks on a graph---a discrete analog of the modulus of curve families due to Beurling and Ahlfors. Particular attention is paid to the dependence of the modulus on its parameters. Modulus is shown to generalize (and interpolate among) three important quantities in graph theory: shortest path, effective resistance, and max-flow or min-c… ▽ More This paper presents new results for the modulus of families of walks on a graph---a discrete analog of the modulus of curve families due to Beurling and Ahlfors. Particular attention is paid to the dependence of the modulus on its parameters. Modulus is shown to generalize (and interpolate among) three important quantities in graph theory: shortest path, effective resistance, and max-flow or min-cut. △ Less

Submitted 17 November, 2015; v1 submitted 9 April, 2015; originally announced April 2015.

Comments: Updated with referee's comments. To appear in ECGD

MSC Class: 05C85; 90C35

Distributive abstract logics and the Esakia duality

Authors: Andreas B. M. Brunner, Darllan Conceição Pinto

Abstract: In this paper we develop an almost general process to switch from abstract logics in the sense of Brown and Suszko to lattices. With this method we can establish dualities between some categories of abstract logics to the correspondent topological space categories. In more detail we will explain the duality between the category of abstract intuitionistic logics with intuitionistic morphisms and th… ▽ More In this paper we develop an almost general process to switch from abstract logics in the sense of Brown and Suszko to lattices. With this method we can establish dualities between some categories of abstract logics to the correspondent topological space categories. In more detail we will explain the duality between the category of abstract intuitionistic logics with intuitionistic morphisms and the category of Esakia spaces with the Esakia morphisms. △ Less

Submitted 29 October, 2014; v1 submitted 15 August, 2014; originally announced August 2014.

Comments: 11 pages

MSC Class: 06D50; 06F30

Abelian state-closed subgroups of automorphisms of m-ary trees

Authors: Andrew M. Brunner, Said N. Sidki

Abstract: The group A_{m} of automophisms of a one-rooted m-ary tree admits a diagonal monomorphism which we denote by x. Let A be an abelian state-closed (or self-similar) subgroup of A_{m}. We prove that the combined diagonal and tree-topological closure A* of A is additively a finitely presented Z_m [[x]]-module where Z_m is the ring of m-adic integers. Moreover, if A* is torsion-free then it is a fini… ▽ More The group A_{m} of automophisms of a one-rooted m-ary tree admits a diagonal monomorphism which we denote by x. Let A be an abelian state-closed (or self-similar) subgroup of A_{m}. We prove that the combined diagonal and tree-topological closure A* of A is additively a finitely presented Z_m [[x]]-module where Z_m is the ring of m-adic integers. Moreover, if A* is torsion-free then it is a finitely generated pro-m group. The group A splits over its torsion subgroup. We study in detail the case where A* corresponds to a cyclic Z_m[[x]]-module and when m is a prime number, we show A* to be conjugate by a tree automorphism to one of two specific types of groups. △ Less

Submitted 22 October, 2009; v1 submitted 18 June, 2009; originally announced June 2009.

Comments: 14 pages

MSC Class: 20E08; 20F18