Showing 1–50 of 56 results for author: Ohlberger, M

Sectional Kolmogorov N-widths for parameter-dependent function spaces: A general framework with application to parametrized Friedrichs' systems

Authors: Christian Engwer, Mario Ohlberger, Lukas Renelt

Abstract: We investigate parametrized variational problems where for each parameter the solution may originate from a different parameter-dependent function space. Our main motivation is the theory of Friedrichs' systems, a large abstract class of linear PDE-problems whose solutions are sought in operator- (and thus parameter-)dependent graph spaces. Other applications include function spaces on parametrize… ▽ More We investigate parametrized variational problems where for each parameter the solution may originate from a different parameter-dependent function space. Our main motivation is the theory of Friedrichs' systems, a large abstract class of linear PDE-problems whose solutions are sought in operator- (and thus parameter-)dependent graph spaces. Other applications include function spaces on parametrized domains or discretizations involving data-dependent stabilizers. Concerning the set of all parameter-dependent solutions, we argue that in these cases the interpretation as a "solution manifold" widely adopted in the model order reduction community is no longer applicable. Instead, we propose a novel framework based on the theory of fiber bundles and explain how established concepts such as approximability generalize by introducing a Sectional Kolmogorov N-width. Further, we prove exponential approximation rates of this N-width if a norm equivalence criterion is fulfilled. Applying this result to problems with Friedrichs' structure then gives a sufficient criterion that can be easily verified. △ Less

Submitted 1 July, 2025; originally announced July 2025.

Comments: 18 pages, 2 figures

MSC Class: 65M22; 41A46; 65N30; 65J05

Improving Interoperability in Scientific Computing via MaRDI Open Interfaces

Authors: Dmitry I. Kabanov, Stephan Rave, Mario Ohlberger

Abstract: MaRDI Open Interfaces is a software project aimed at improving reuse and interoperability in Scientific Computing by alleviating the difficulties of crossing boundaries between different programming languages, in which numerical packages are usually implemented, and of switching between multiple implementations of the same mathematical problem. The software consists of a set of formal interface sp… ▽ More MaRDI Open Interfaces is a software project aimed at improving reuse and interoperability in Scientific Computing by alleviating the difficulties of crossing boundaries between different programming languages, in which numerical packages are usually implemented, and of switching between multiple implementations of the same mathematical problem. The software consists of a set of formal interface specifications for common Scientific Computing tasks, as well as a set of loosely coupled libraries that facilitate implementing these interfaces or adapting existing implementations for multiple programming languages and handle data marshalling automatically without sacrificing performance, enabling users to use different implementations without significant code efforts. The software has high reuse potential due to aim to solve general numerical problems. △ Less

Submitted 4 April, 2025; originally announced April 2025.

Comments: 6 figures

Multi-fidelity Learning of Reduced Order Models for Parabolic PDE Constrained Optimization

Authors: Benedikt Klein, Mario Ohlberger

Abstract: This article builds on the recently proposed RB-ML-ROM approach for parameterized parabolic PDEs and proposes a novel hierarchical Trust Region algorithm for solving parabolic PDE constrained optimization problems. Instead of using a traditional offline/online splitting approach for model order reduction, we adopt an active learning or enrichment strategy to construct a multi-fidelity hierarchy of… ▽ More This article builds on the recently proposed RB-ML-ROM approach for parameterized parabolic PDEs and proposes a novel hierarchical Trust Region algorithm for solving parabolic PDE constrained optimization problems. Instead of using a traditional offline/online splitting approach for model order reduction, we adopt an active learning or enrichment strategy to construct a multi-fidelity hierarchy of reduced order models on-the-fly during the outer optimization loop. The multi-fidelity surrogate model consists of a full order model, a reduced order model and a machine learning model. The proposed hierarchical framework adaptively updates its hierarchy when querying parameters, utilizing a rigorous a posteriori error estimator in an error aware trust region framework. Numerical experiments are given to demonstrate the efficiency of the proposed approach. △ Less

Submitted 27 March, 2025; originally announced March 2025.

Comments: 36 pages, 5 figures

MSC Class: 49M20; 49K20; 35J20; 65N30; 90C06

Adaptive Model Hierarchies for Multi-Query Scenarios

Authors: Hendrik Kleikamp, Mario Ohlberger

Abstract: In this contribution we present an abstract framework for adaptive model hierarchies together with several instances of hierarchies for specific applications. The hierarchy is particularly useful when integrated within an outer loop, for instance an optimization iteration or a Monte Carlo estimation where for a large set of requests answers fulfilling certain criteria are required. In this contribution we present an abstract framework for adaptive model hierarchies together with several instances of hierarchies for specific applications. The hierarchy is particularly useful when integrated within an outer loop, for instance an optimization iteration or a Monte Carlo estimation where for a large set of requests answers fulfilling certain criteria are required. △ Less

Submitted 26 November, 2024; originally announced November 2024.

A Parareal algorithm without Coarse Propagator?

Authors: Martin J. Gander, Mario Ohlberger, Stephan Rave

Abstract: The Parareal algorithm was invented in 2001 in order to parallelize the solution of evolution problems in the time direction. It is based on parallel fine time propagators called F and sequential coarse time propagators called G, which alternatingly solve the evolution problem and iteratively converge to the fine solution. The coarse propagator G is a very important component of Parareal, as one s… ▽ More The Parareal algorithm was invented in 2001 in order to parallelize the solution of evolution problems in the time direction. It is based on parallel fine time propagators called F and sequential coarse time propagators called G, which alternatingly solve the evolution problem and iteratively converge to the fine solution. The coarse propagator G is a very important component of Parareal, as one sees in the convergence analyses. We present here for the first time a Parareal algorithm without coarse propagator, and explain why this can work very well for parabolic problems. We give a new convergence proof for coarse propagators approximating in space, in contrast to the more classical coarse propagators which are approximations in time, and our proof also applies in the absence of the coarse propagator. We illustrate our theoretical results with numerical experiments, and also explain why this approach can not work for hyperbolic problems. △ Less

Submitted 4 September, 2024; originally announced September 2024.

Construction of local reduced spaces for Friedrichs' systems via randomized training

Authors: Christian Engwer, Mario Ohlberger, Lukas Renelt

Abstract: This contribution extends the localized training approach, traditionally employed for multiscale problems and parameterized partial differential equations (PDEs) featuring locally heterogeneous coefficients, to the class of linear, positive symmetric operators, known as Friedrichs' operators. Considering a local subdomain with corresponding oversampling domain we prove the compactness of the trans… ▽ More This contribution extends the localized training approach, traditionally employed for multiscale problems and parameterized partial differential equations (PDEs) featuring locally heterogeneous coefficients, to the class of linear, positive symmetric operators, known as Friedrichs' operators. Considering a local subdomain with corresponding oversampling domain we prove the compactness of the transfer operator which maps boundary data to solutions on the interior domain. While a Caccioppoli-inequality quantifying the energy decay to the interior holds true for all Friedrichs' systems, showing a compactness result for the graph-spaces hosting the solution is additionally necessary. We discuss the mixed formulation of a convection-diffusion-reaction problem where the necessary compactness result is obtained by the Picard-Weck-Weber theorem. Our numerical results, focusing on a scenario involving heterogeneous diffusion fields with multiple high-conductivity channels, demonstrate the effectiveness of the proposed method. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Comments: submitted to Proceedings of Algoritmy 2024

MSC Class: 65N22; 65N30; 65N55; 68W20

Local training and enrichment based on a residual localization strategy

Authors: Tim Keil, Mario Ohlberger, Felix Schindler, Julia Schleuß

Abstract: To efficiently tackle parametrized multi and/or large scale problems, we propose an adaptive localized model order reduction framework combining both local offline training and local online enrichment with localized error control. For the latter, we adapt the residual localization strategy introduced in [Buhr, Engwer, Ohlberger, Rave, SIAM J. Sci. Comput., 2017] which allows to derive a localized… ▽ More To efficiently tackle parametrized multi and/or large scale problems, we propose an adaptive localized model order reduction framework combining both local offline training and local online enrichment with localized error control. For the latter, we adapt the residual localization strategy introduced in [Buhr, Engwer, Ohlberger, Rave, SIAM J. Sci. Comput., 2017] which allows to derive a localized a posteriori error estimator that can be employed to adaptively enrich the reduced solution space locally where needed. Numerical experiments demonstrate the potential of the proposed approach. △ Less

Submitted 25 April, 2024; originally announced April 2024.

Model order reduction of an ultraweak and optimally stable variational formulation for parametrized reactive transport problems

Authors: Christian Engwer, Mario Ohlberger, Lukas Renelt

Abstract: This contribution introduces a model order reduction approach for an advection-reaction problem with a parametrized reaction function. The underlying discretization uses an ultraweak formulation with an $L^2$-like trial space and an 'optimal' test space as introduced by Demkowicz et al. This ensures the stability of the discretization and in addition allows for a symmetric reformulation of the pro… ▽ More This contribution introduces a model order reduction approach for an advection-reaction problem with a parametrized reaction function. The underlying discretization uses an ultraweak formulation with an $L^2$-like trial space and an 'optimal' test space as introduced by Demkowicz et al. This ensures the stability of the discretization and in addition allows for a symmetric reformulation of the problem in terms of a dual solution which can also be interpreted as the normal equations of an adjoint least-squares problem. Classic model order reduction techniques can then be applied to the space of dual solutions which also immediately gives a reduced primal space. We show that the necessary computations do not require the reconstruction of any primal solutions and can instead be performed entirely on the space of dual solutions. We prove exponential convergence of the Kolmogorov $N$-width and show that a greedy algorithm produces quasi-optimal approximation spaces for both the primal and the dual solution space. Numerical experiments based on the benchmark problem of a catalytic filter confirm the applicability of the proposed method. △ Less

Submitted 28 June, 2024; v1 submitted 30 October, 2023; originally announced October 2023.

Comments: 22 pages, 5 figures

Adaptive Reduced Basis Trust Region Methods for Parameter Identification Problems

Authors: Michael Kartmann, Tim Keil, Mario Ohlberger, Stefan Volkwein, Barbara Kaltenbacher

Abstract: In this contribution, we are concerned with model order reduction in the context of iterative regularization methods for the solution of inverse problems arising from parameter identification in elliptic partial differential equations. Such methods typically require a large number of forward solutions, which makes the use of the reduced basis method attractive to reduce computational complexity. H… ▽ More In this contribution, we are concerned with model order reduction in the context of iterative regularization methods for the solution of inverse problems arising from parameter identification in elliptic partial differential equations. Such methods typically require a large number of forward solutions, which makes the use of the reduced basis method attractive to reduce computational complexity. However, the considered inverse problems are typically ill-posed due to their infinite-dimensional parameter space. Moreover, the infinite-dimensional parameter space makes it impossible to build and certify classical reduced-order models efficiently in a so-called "offline phase". We thus propose a new algorithm that adaptively builds a reduced parameter space in the online phase. The enrichment of the reduced parameter space is naturally inherited from the Tikhonov regularization within an iteratively regularized Gauß-Newton method. Finally, the adaptive parameter space reduction is combined with a certified reduced basis state space reduction within an adaptive error-aware trust region framework. Numerical experiments are presented to show the efficiency of the combined parameter and state space reduction for inverse parameter identification problems with distributed reaction or diffusion coefficients. △ Less

Submitted 11 October, 2024; v1 submitted 14 September, 2023; originally announced September 2023.

Comments: 28 pages, 3 figures

MSC Class: 35R30 (Primary) 14F05; 49M41; 65N30; 49M20 (Secondary)

An optimally stable approximation of reactive transport using discrete test and infinite trial spaces

Authors: Lukas Renelt, Christian Engwer, Mario Ohlberger

Abstract: In this contribution we propose an optimally stable ultraweak Petrov-Galerkin variational formulation and subsequent discretization for stationary reactive transport problems. The discretization is exclusively based on the choice of discrete approximate test spaces, while the trial space is a priori infinite dimensional. The solution in the trial space or even only functional evaluations of the so… ▽ More In this contribution we propose an optimally stable ultraweak Petrov-Galerkin variational formulation and subsequent discretization for stationary reactive transport problems. The discretization is exclusively based on the choice of discrete approximate test spaces, while the trial space is a priori infinite dimensional. The solution in the trial space or even only functional evaluations of the solution are obtained in a post-processing step. We detail the theoretical framework and demonstrate its usage in a numerical experiment that is motivated from modeling of catalytic filters. △ Less

Submitted 29 May, 2023; v1 submitted 28 March, 2023; originally announced March 2023.

Comments: revised version p.2: add comment and reference to the DPG and (FOS)LL* methods p.6 add footnote referencing the code repository p.7 add comment and reference on convergence rates under h-refinement

Journal ref: Finite Volumes for Complex Applications X - Volume 2, Hyperbolic and Related Problems, 2023, pp 289-298

Adaptive Localized Reduced Basis Methods for Large Scale Parameterized Systems

Authors: Tim Keil, Mario Ohlberger, Felix Schindler

Abstract: In this contribution, we introduce and numerically evaluate a certified and adaptive localized reduced basis method as a local model in a trust-region optimization method for parameter optimization constrained by partial differential equations. In this contribution, we introduce and numerically evaluate a certified and adaptive localized reduced basis method as a local model in a trust-region optimization method for parameter optimization constrained by partial differential equations. △ Less

Submitted 9 May, 2023; v1 submitted 6 March, 2023; originally announced March 2023.

Application of Deep Kernel Models for Certified and Adaptive RB-ML-ROM Surrogate Modeling

Authors: Tizian Wenzel, Bernard Haasdonk, Hendrik Kleikamp, Mario Ohlberger, Felix Schindler

Abstract: In the framework of reduced basis methods, we recently introduced a new certified hierarchical and adaptive surrogate model, which can be used for efficient approximation of input-output maps that are governed by parametrized partial differential equations. This adaptive approach combines a full order model, a reduced order model and a machine-learning model. In this contribution, we extend the ap… ▽ More In the framework of reduced basis methods, we recently introduced a new certified hierarchical and adaptive surrogate model, which can be used for efficient approximation of input-output maps that are governed by parametrized partial differential equations. This adaptive approach combines a full order model, a reduced order model and a machine-learning model. In this contribution, we extend the approach by leveraging novel kernel models for the machine learning part, especially structured deep kernel networks as well as two layered kernel models. We demonstrate the usability of those enhanced kernel models for the RB-ML-ROM surrogate modeling chain and highlight their benefits in numerical experiments. △ Less

Submitted 28 February, 2023; originally announced February 2023.

A new certified hierarchical and adaptive RB-ML-ROM surrogate model for parametrized PDEs

Authors: B. Haasdonk, H. Kleikamp, M. Ohlberger, F. Schindler, T. Wenzel

Abstract: We present a new surrogate modeling technique for efficient approximation of input-output maps governed by parametrized PDEs. The model is hierarchical as it is built on a full order model (FOM), reduced order model (ROM) and machine-learning (ML) model chain. The model is adaptive in the sense that the ROM and ML model are adapted on-the-fly during a sequence of parametric requests to the model.… ▽ More We present a new surrogate modeling technique for efficient approximation of input-output maps governed by parametrized PDEs. The model is hierarchical as it is built on a full order model (FOM), reduced order model (ROM) and machine-learning (ML) model chain. The model is adaptive in the sense that the ROM and ML model are adapted on-the-fly during a sequence of parametric requests to the model. To allow for a certification of the model hierarchy, as well as to control the adaptation process, we employ rigorous a posteriori error estimates for the ROM and ML models. In particular, we provide an example of an ML-based model that allows for rigorous analytical quality statements. We demonstrate the efficiency of the modeling chain on a Monte Carlo and a parameter-optimization example. Here, the ROM is instantiated by Reduced Basis Methods and the ML model is given by a neural network or a VKOGA kernel model. △ Less

Submitted 2 December, 2022; v1 submitted 28 April, 2022; originally announced April 2022.

Comments: 27 pages, 5 figures

MSC Class: 65N30; 65M60; 68T07

A Relaxed Localized Trust-Region Reduced Basis Approach for Optimization of Multiscale Problems

Authors: Tim Keil, Mario Ohlberger

Abstract: In this contribution, we are concerned with parameter optimization problems that are constrained by multiscale PDE state equations. As an efficient numerical solution approach for such problems, we introduce and analyze a new relaxed and localized trust-region reduced basis method. Localization is obtained based on a Petrov-Galerkin localized orthogonal decomposition method and its recently introd… ▽ More In this contribution, we are concerned with parameter optimization problems that are constrained by multiscale PDE state equations. As an efficient numerical solution approach for such problems, we introduce and analyze a new relaxed and localized trust-region reduced basis method. Localization is obtained based on a Petrov-Galerkin localized orthogonal decomposition method and its recently introduced two-scale reduced basis approximation. We derive efficient localizable a posteriori error estimates for the optimality system, as well as for the two-scale reduced objective functional. While the relaxation of the outer trust-region optimization loop still allows for a rigorous convergence result, the resulting method converges much faster due to larger step sizes in the initial phase of the iterative algorithms. The resulting algorithm is parallelized in order to take advantage of the localization. Numerical experiments are given for a multiscale thermal block benchmark problem. The experiments demonstrate the efficiency of the approach, particularly for large scale problems, where methods based on traditional finite element approximation schemes are prohibitive or fail entirely. △ Less

Submitted 12 April, 2023; v1 submitted 18 March, 2022; originally announced March 2022.

MSC Class: 49M20; 35J20; 65N15; 65N30; 90C06

Nonlinear Model Order Reduction using Diffeomorphic Transformations of a Space-Time Domain

Authors: Hendrik Kleikamp, Mario Ohlberger, Stephan Rave

Abstract: In many applications, for instance when describing dynamics of fluids or gases, hyperbolic conservation laws arise naturally in the modeling of conserved quantities of a system, like mass or energy. These types of equations exhibit highly nonlinear behaviors like shock formation or shock interaction. In the case of parametrized hyperbolic equations, where, for instance, varying transport velocitie… ▽ More In many applications, for instance when describing dynamics of fluids or gases, hyperbolic conservation laws arise naturally in the modeling of conserved quantities of a system, like mass or energy. These types of equations exhibit highly nonlinear behaviors like shock formation or shock interaction. In the case of parametrized hyperbolic equations, where, for instance, varying transport velocities are considered, these nonlinearities and strong transport effects result in a highly nonlinear solution manifold. This solution manifold cannot be approximated properly by linear subspaces. To this end, nonlinear approaches for model order reduction of hyperbolic conservation laws are required. We propose a new method for nonlinear model order reduction that is especially well-suited for hyperbolic equations with discontinuous solutions. The approach is based on a space-time discretization and employs diffeomorphic transformations of the underlying space-time domain to align the discontinuities. To derive a reduced model for the diffeomorphisms, the Lie group structure of the diffeomorphism group is used to associate diffeomorphisms with corresponding velocity fields via the exponential map. In the linear space of velocity fields, standard model order reduction techniques, such as proper orthogonal decomposition, can be applied to extract a reduced subspace. For a parametrized Burgers' equation with two merging shocks, numerical experiments show the potential of the approach. △ Less

Submitted 11 March, 2022; originally announced March 2022.

Comments: Submitted to MATHMOD 2022

MSC Class: 35L60; 35B06

Adaptive machine learning based surrogate modeling to accelerate PDE-constrained optimization in enhanced oil recovery

Authors: Tim Keil, Hendrik Kleikamp, Rolf J Lorentzen, Micheal B Oguntola, Mario Ohlberger

Abstract: In this contribution, we develop an efficient surrogate modeling framework for simulation-based optimization of enhanced oil recovery, where we particularly focus on polymer flooding. The computational approach is based on an adaptive training procedure of a neural network that directly approximates an input-output map of the underlying PDE-constrained optimization problem. The training process th… ▽ More In this contribution, we develop an efficient surrogate modeling framework for simulation-based optimization of enhanced oil recovery, where we particularly focus on polymer flooding. The computational approach is based on an adaptive training procedure of a neural network that directly approximates an input-output map of the underlying PDE-constrained optimization problem. The training process thereby focuses on the construction of an accurate surrogate model solely related to the optimization path of an outer iterative optimization loop. True evaluations of the objective function are used to finally obtain certified results. Numerical experiments are given to evaluate the accuracy and efficiency of the approach for a heterogeneous five-spot benchmark problem. △ Less

Submitted 3 March, 2022; originally announced March 2022.

MSC Class: 49M41; 68T07; 90C90

Distributed model order reduction of a model for microtubule-based cell polarization using HAPOD

Authors: Tobias Leibner, Maja Matis, Mario Ohlberger, Stephan Rave

Abstract: In this contribution we investigate in mathematical modeling and efficient simulation of biological cells with a particular emphasis on effective modeling of structural properties that originate from active forces generated from polymerization and depolymerization of cytoskeletal components. In detail, we propose a nonlinear continuum approach to model microtubule-based forces which have recently… ▽ More In this contribution we investigate in mathematical modeling and efficient simulation of biological cells with a particular emphasis on effective modeling of structural properties that originate from active forces generated from polymerization and depolymerization of cytoskeletal components. In detail, we propose a nonlinear continuum approach to model microtubule-based forces which have recently been established as central components of cell mechanics during early fruit fly wing development. The model is discretized in space using the finite-element method. Although the individual equations are decoupled by a semi-implicit time discretization, the discrete model is still computationally demanding. In addition, the parameters needed for the effective model equations are not easily available and have to be estimated or determined by repeatedly solving the model and fitting the results to measurements. This drastically increases the computational cost. Reduced basis methods have been used successfully to speed up such repeated solves, often by several orders of magnitude. However, for the complex nonlinear models regarded here, the application of these model order reduction methods is not always straight-forward and comes with its own set of challenges. In particular, subspace construction using the Proper Orthogonal Decomposition (POD) becomes prohibitively expensive for reasonably fine grids. We thus propose to combine the Hierarchical Approximate POD, which is a general, easy-to-implement approach to compute an approximate POD, with an Empirical Interpolation Method to efficiently generate a fast to evaluate reduced order model. Numerical experiments are given to demonstrate the applicability and efficiency of the proposed modeling and simulation approach. △ Less

Submitted 29 October, 2021; originally announced November 2021.

An adaptive model hierarchy for data-augmented training of kernel models for reactive flow

Authors: Bernard Haasdonk, Mario Ohlberger, Felix Schindler

Abstract: We consider machine-learning of time-dependent quantities of interest derived from solution trajectories of parabolic partial differential equations. For large-scale or long-time integration scenarios, where using a full order model (FOM) to generate sufficient training data is computationally prohibitive, we propose an adaptive hierarchy of intermediate Reduced Basis reduced order models (ROM) to… ▽ More We consider machine-learning of time-dependent quantities of interest derived from solution trajectories of parabolic partial differential equations. For large-scale or long-time integration scenarios, where using a full order model (FOM) to generate sufficient training data is computationally prohibitive, we propose an adaptive hierarchy of intermediate Reduced Basis reduced order models (ROM) to augment the FOM training data by certified ROM training data required to fit a kernel model. △ Less

Submitted 29 April, 2022; v1 submitted 24 October, 2021; originally announced October 2021.

Comments: 2 pages, 1 figure

A Modeling Framework for Efficient Reduced Order Simulations of Parametrized Lithium-Ion Battery Cells

Authors: M. Landstorfer, M. Ohlberger, S. Rave, M. Tacke

Abstract: In this contribution we present a new modeling and simulation framework for parametrized Lithium-ion battery cells. We first derive a new continuum model for a rather general intercalation battery cell on the basis of non-equilibrium thermodynamics. In order to efficiently evaluate the resulting parameterized non-linear system of partial differential equations the reduced basis method is employed.… ▽ More In this contribution we present a new modeling and simulation framework for parametrized Lithium-ion battery cells. We first derive a new continuum model for a rather general intercalation battery cell on the basis of non-equilibrium thermodynamics. In order to efficiently evaluate the resulting parameterized non-linear system of partial differential equations the reduced basis method is employed. The reduced basis method is a model order reduction technique on the basis of an incremental hierarchical approximate proper orthogonal decomposition approach and empirical operator interpolation. The modeling framework is particularly well suited to investigate and quantify degradation effects of battery cells. Several numerical experiments are given to demonstrate the scope and efficiency of the modeling framework. △ Less

Submitted 12 October, 2021; originally announced October 2021.

MSC Class: 78A57; 35Q92; 34B15; 49M37; 65K05

Model Reduction for Large Scale Systems

Authors: Tim Keil, Mario Ohlberger

Abstract: Projection based model order reduction has become a mature technique for simulation of large classes of parameterized systems. However, several challenges remain for problems where the solution manifold of the parameterized system cannot be well approximated by linear subspaces. While the online efficiency of these model reduction methods is very convincing for problems with a rapid decay of the K… ▽ More Projection based model order reduction has become a mature technique for simulation of large classes of parameterized systems. However, several challenges remain for problems where the solution manifold of the parameterized system cannot be well approximated by linear subspaces. While the online efficiency of these model reduction methods is very convincing for problems with a rapid decay of the Kolmogorov n-width, there are still major drawbacks and limitations. Most importantly, the construction of the reduced system in the offline phase is extremely CPU-time and memory consuming for large scale and multi scale systems. For practical applications, it is thus necessary to derive model reduction techniques that do not rely on a classical offline/online splitting but allow for more flexibility in the usage of computational resources. A promising approach with this respect is model reduction with adaptive enrichment. In this contribution we investigate Petrov-Galerkin based model reduction with adaptive basis enrichment within a Trust Region approach for the solution of multi scale and large scale PDE constrained parameter optimization. △ Less

Submitted 4 May, 2021; originally announced May 2021.

A full order, reduced order and machine learning model pipeline for efficient prediction of reactive flows

Authors: Pavel Gavrilenko, Bernard Haasdonk, Oleg Iliev, Mario Ohlberger, Felix Schindler, Pavel Toktaliev, Tizian Wenzel, Maha Youssef

Abstract: We present an integrated approach for the use of simulated data from full order discretization as well as projection-based Reduced Basis reduced order models for the training of machine learning approaches, in particular Kernel Methods, in order to achieve fast, reliable predictive models for the chemical conversion rate in reactive flows with varying transport regimes. We present an integrated approach for the use of simulated data from full order discretization as well as projection-based Reduced Basis reduced order models for the training of machine learning approaches, in particular Kernel Methods, in order to achieve fast, reliable predictive models for the chemical conversion rate in reactive flows with varying transport regimes. △ Less

Submitted 29 April, 2022; v1 submitted 6 April, 2021; originally announced April 2021.

Comments: 9 pages, 1 table; Previously this version appeared as arXiv:2110.12388v2 which was submitted as a new work by accident

An adaptive projected Newton non-conforming dual approach for trust-region reduced basis approximation of PDE-constrained parameter optimization

Authors: Stefan Banholzer, Tim Keil, Luca Mechelli, Mario Ohlberger, Felix Schindler, Stefan Volkwein

Abstract: In this contribution we device and analyze improved variants of the non-conforming dual approach for trust-region reduced basis (TR-RB) approximation of PDE-constrained parameter optimization that has recently been introduced in [Keil et al.. A non-conforming dual approach for adaptive Trust-Region Reduced Basis approximation of PDE-constrained optimization. arXiv:2006.09297, 2020]. The proposed m… ▽ More In this contribution we device and analyze improved variants of the non-conforming dual approach for trust-region reduced basis (TR-RB) approximation of PDE-constrained parameter optimization that has recently been introduced in [Keil et al.. A non-conforming dual approach for adaptive Trust-Region Reduced Basis approximation of PDE-constrained optimization. arXiv:2006.09297, 2020]. The proposed methods use model order reduction techniques for parametrized PDEs to significantly reduce the computational demand of parameter optimization with PDE constraints in the context of large-scale or multi-scale applications. The adaptive TR approach allows to localize the reduction with respect to the parameter space along the path of optimization without wasting unnecessary resources in an offline phase. The improved variants employ projected Newton methods to solve the local optimization problems within each TR step to benefit from high convergence rates. This implies new strategies in constructing the RB spaces, together with an estimate for the approximation of the hessian. Moreover, we present a new proof of convergence of the TR-RB method based on infinite-dimensional arguments, not restricted to the particular case of an RB approximation and provide an a posteriori error estimate for the approximation of the optimal parameter. Numerical experiments demonstrate the efficiency of the proposed methods. △ Less

Submitted 21 December, 2020; originally announced December 2020.

A new entropy-variable-based discretization method for minimum entropy moment approximations of linear kinetic equations

Authors: Tobias Leibner, Mario Ohlberger

Abstract: In this contribution we derive and analyze a new numerical method for kinetic equations based on a variable transformation of the moment approximation. Classical minimum-entropy moment closures are a class of reduced models for kinetic equations that conserve many of the fundamental physical properties of solutions. However, their practical use is limited by their high computational cost, as an op… ▽ More In this contribution we derive and analyze a new numerical method for kinetic equations based on a variable transformation of the moment approximation. Classical minimum-entropy moment closures are a class of reduced models for kinetic equations that conserve many of the fundamental physical properties of solutions. However, their practical use is limited by their high computational cost, as an optimization problem has to be solved for every cell in the space-time grid. In addition, implementation of numerical solvers for these models is hampered by the fact that the optimization problems are only well-defined if the moment vectors stay within the realizable set. For the same reason, further reducing these models by, e.g., reduced-basis methods is not a simple task. Our new method overcomes these disadvantages of classical approaches. The transformation is performed on the semi-discretized level which makes them applicable to a wide range of kinetic schemes and replaces the nonlinear optimization problems by inversion of the positive-definite Hessian matrix. As a result, the new scheme gets rid of the realizability-related problems. Moreover, a discrete entropy law can be enforced by modifying the time stepping scheme. Our numerical experiments demonstrate that our new method is often several times faster than the standard optimization-based scheme. △ Less

Submitted 21 September, 2021; v1 submitted 8 July, 2020; originally announced July 2020.

MSC Class: 35L40; 35F61; 65M08; 65M70; 82C70

A non-conforming dual approach for adaptive Trust-Region Reduced Basis approximation of PDE-constrained optimization

Authors: Tim Keil, Luca Mechelli, Mario Ohlberger, Felix Schindler, Stefan Volkwein

Abstract: In this contribution we propose and rigorously analyze new variants of adaptive Trust-Region methods for parameter optimization with PDE constraints and bilateral parameter constraints. The approach employs successively enriched Reduced Basis surrogate models that are constructed during the outer optimization loop and used as model function for the Trust-Region method. Each Trust-Region sub-proble… ▽ More In this contribution we propose and rigorously analyze new variants of adaptive Trust-Region methods for parameter optimization with PDE constraints and bilateral parameter constraints. The approach employs successively enriched Reduced Basis surrogate models that are constructed during the outer optimization loop and used as model function for the Trust-Region method. Each Trust-Region sub-problem is solved with the projected BFGS method. Moreover, we propose a non-conforming dual (NCD) approach to improve the standard RB approximation of the optimality system. Rigorous improved a posteriori error bounds are derived and used to prove convergence of the resulting NCD-corrected adaptive Trust-Region Reduced Basis algorithm. Numerical experiments demonstrate that this approach enables to reduce the computational demand for large scale or multi-scale PDE constrained optimization problems significantly. △ Less

Submitted 16 June, 2020; originally announced June 2020.

MSC Class: 49M20; 49K20; 35J20; 65N30; 90C06

Exa-Dune -- Flexible PDE Solvers, Numerical Methods and Applications

Authors: Peter Bastian, Mirco Altenbernd, Nils-Arne Dreier, Christian Engwer, Jorrit Fahlke, René Fritze, Markus Geveler, Dominik Göddeke, Oleg Iliev, Olaf Ippisch, Jan Mohring, Steffen Müthing, Mario Ohlberger, Dirk Ribbrock, Nikolay Shegunov, Stefan Turek

Abstract: In the Exa-Dune project we have developed, implemented and optimised numerical algorithms and software for the scalable solution of partial differential equations (PDEs) on future exascale systems exhibiting a heterogeneous massively parallel architecture. In order to cope with the increased probability of hardware failures, one aim of the project was to add flexible, application-oriented resilien… ▽ More In the Exa-Dune project we have developed, implemented and optimised numerical algorithms and software for the scalable solution of partial differential equations (PDEs) on future exascale systems exhibiting a heterogeneous massively parallel architecture. In order to cope with the increased probability of hardware failures, one aim of the project was to add flexible, application-oriented resilience capabilities into the framework. Continuous improvement of the underlying hardware-oriented numerical methods have included GPU-based sparse approximate inverses, matrix-free sum-factorisation for high-order discontinuous Galerkin discretisations as well as partially matrix-free preconditioners. On top of that, additional scalability is facilitated by exploiting massive coarse grained parallelism offered by multiscale and uncertainty quantification methods where we have focused on the adaptive choice of the coarse/fine scale and the overlap region as well as the combination of local reduced basis multiscale methods and the multilevel Monte-Carlo algorithm. Finally, some of the concepts are applied in a land-surface model including subsurface flow and surface runoff. △ Less

Submitted 6 November, 2019; v1 submitted 4 November, 2019; originally announced November 2019.

Localized model reduction for parameterized problems

Authors: Andreas Buhr, Laura Iapichino, Mario Ohlberger, Stephan Rave, Felix Schindler, Kathrin Smetana

Abstract: In this contribution we present a survey of concepts in localized model order reduction methods for parameterized partial differential equations. The key concept of localized model order reduction is to construct local reduced spaces that have only support on part of the domain and compute a global approximation by a suitable coupling of the local spaces. In detail, we show how optimal local appro… ▽ More In this contribution we present a survey of concepts in localized model order reduction methods for parameterized partial differential equations. The key concept of localized model order reduction is to construct local reduced spaces that have only support on part of the domain and compute a global approximation by a suitable coupling of the local spaces. In detail, we show how optimal local approximation spaces can be constructed and approximated by random sampling. An overview of possible conforming and non-conforming couplings of the local spaces is provided and corresponding localized a posteriori error estimates are derived. We introduce concepts of local basis enrichment, which includes a discussion of adaptivity. Implementational aspects of localized model reduction methods are addressed. Finally, we illustrate the presented concepts for multiscale, linear elasticity and fluid-flow problems, providing several numerical experiments. This work has been accepted as a chapter in P. Benner, S. Grivet-Talocia, A. Quarteroni, G. Rozza, W.H.A. Schilders, L.M. Sileira. Handbook on Model Order Reduction. Walter De Gruyter GmbH, Berlin, 2019+. △ Less

Submitted 25 October, 2019; v1 submitted 21 February, 2019; originally announced February 2019.

Mathematical analysis of transmission properties of electromagnetic meta-materials

Authors: Mario Ohlberger, Ben Schweizer, Maik Urban, Barbara Verfürth

Abstract: We study time-harmonic Maxwell's equations in meta-materials that use either perfect conductors or high-contrast materials. Based on known effective equations for perfectly conducting inclusions, we calculate the transmission and reflection coefficients for four different geometries. For high-contrast materials and essentially two-dimensional geometries, we analyze parallel electric and parallel m… ▽ More We study time-harmonic Maxwell's equations in meta-materials that use either perfect conductors or high-contrast materials. Based on known effective equations for perfectly conducting inclusions, we calculate the transmission and reflection coefficients for four different geometries. For high-contrast materials and essentially two-dimensional geometries, we analyze parallel electric and parallel magnetic fields and discuss their potential to exhibit transmission through a sample of meta-material. For a numerical study, one often needs a method that is adapted to heterogeneous media; we consider here a Heterogeneous Multiscale Method for high contrast materials. The qualitative transmission properties, as predicted by the analysis, are confirmed with numerical experiments. The numerical results also underline the applicability of the multiscale method. △ Less

Submitted 24 September, 2018; originally announced September 2018.

MSC Class: 35B27; 35Q61; 65N30; 78M40

A Hierarchical A-Posteriori Error Estimatorfor the Reduced Basis Method

Authors: Stefan Hain, Mario Ohlberger, Mladjan Radic, Karsten Urban

Abstract: In this contribution we are concerned with tight a posteriori error estimation for projection based model order reduction of $\inf$-$\sup$ stable parameterized variational problems. In particular, we consider the Reduced Basis Method in a Petrov-Galerkin framework, where the reduced approximation spaces are constructed by the (weak) Greedy algorithm. We propose and analyze a hierarchical a posteri… ▽ More In this contribution we are concerned with tight a posteriori error estimation for projection based model order reduction of $\inf$-$\sup$ stable parameterized variational problems. In particular, we consider the Reduced Basis Method in a Petrov-Galerkin framework, where the reduced approximation spaces are constructed by the (weak) Greedy algorithm. We propose and analyze a hierarchical a posteriori error estimator which evaluates the difference of two reduced approximations of different accuracy. Based on the a priori error analysis of the (weak) Greedy algorithm, it is expected that the hierarchical error estimator is sharp with efficiency index close to one, if the Kolmogorov N-with decays fast for the underlying problem and if a suitable saturation assumption for the reduced approximation is satisfied. We investigate the tightness of the hierarchical a posteriori estimator both from a theoretical and numerical perspective. For the respective approximation with higher accuracy we study and compare basis enrichment of Lagrange- and Taylor-type reduced bases. Numerical experiments indicate the efficiency for both, the construction of a reduced basis using the hierarchical error estimator in a weak Greedy algorithm, and for tight online certification of reduced approximations. This is particularly relevant in cases where the $\inf$-$\sup$ constant may become small depending on the parameter. In such cases a standard residual-based error estimator -- complemented by the successive constrained method to compute a lower bound of the parameter dependent $\inf$-$\sup$ constant -- may become infeasible. △ Less

Submitted 9 February, 2018; originally announced February 2018.

Comments: 17 pages, several figures

MSC Class: 65N30; 65N15; 65M15

MULTIBAT: Unified workflow for fast electrochemical 3D simulations of lithium-ion cells combining virtual stochastic microstructures, electrochemical degradation models and model order reduction

Authors: Julian Feinauer, Simon Hein, Stephan Rave, Sebastian Schmidt, Daniel Westhoff, Jochen Zausch, Oleg Iliev, Arnulf Latz, Mario Ohlberger, Volker Schmidt

Abstract: We present a simulation workflow for efficient investigations of the interplay between 3D lithium-ion electrode microstructures and electrochemical performance, with emphasis on lithium plating. Our approach addresses several challenges. First, the 3D microstructures of porous electrodes are generated by a parametric stochastic model, in order to significantly reduce the necessity of tomographic i… ▽ More We present a simulation workflow for efficient investigations of the interplay between 3D lithium-ion electrode microstructures and electrochemical performance, with emphasis on lithium plating. Our approach addresses several challenges. First, the 3D microstructures of porous electrodes are generated by a parametric stochastic model, in order to significantly reduce the necessity of tomographic imaging. Secondly, we integrate a consistent microscopic, 3D spatially-resolved physical model for the electrochemical behavior of the lithium-ion cells taking lithium plating and stripping into account. This highly non-linear mathematical model is solved numerically on the complex 3D microstructures to compute the transient cell behavior. Due to the complexity of the model and the considerable size of realistic microstructures even a single charging cycle of the battery requires several hours computing time. This renders large scale parameter studies extremely time consuming. Hence, we develop a mathematical model order reduction scheme. We demonstrate how these aspects are integrated into one unified workflow, which is a step towards computer aided engineering for the development of more efficient lithium-ion cells. △ Less

Submitted 8 March, 2018; v1 submitted 13 April, 2017; originally announced April 2017.

True Error Control for the Localized Reduced Basis Method for Parabolic Problems

Authors: Mario Ohlberger, Stephan Rave, Felix Schindler

Abstract: We present an abstract framework for a posteriori error estimation for approximations of scalar parabolic evolution equations, based on elliptic reconstruction techniques [10, 9, 3, 5]. In addition to its original application (to derive error estimates on the discretization error), we extend the scope of this framework to derive offline/online decomposable a posteriori estimates on the model reduc… ▽ More We present an abstract framework for a posteriori error estimation for approximations of scalar parabolic evolution equations, based on elliptic reconstruction techniques [10, 9, 3, 5]. In addition to its original application (to derive error estimates on the discretization error), we extend the scope of this framework to derive offline/online decomposable a posteriori estimates on the model reduction error in the context of Reduced Basis (RB) methods. In addition, we present offline/online decomposable a posteriori error estimates on the full approximation error (including discretization as well as model reduction error) in the context of the localized RB method [14]. Hence, this work generalizes the localized RB method with true error certification to parabolic problems. Numerical experiments are given to demonstrate the applicability of the approach. △ Less

Submitted 8 December, 2016; v1 submitted 29 June, 2016; originally announced June 2016.

Journal ref: in Model Reduction of Parametrized Systems, Springer International Publishing, 2017, pp. 169-182

ArbiLoMod: Local Solution Spaces by Random Training in Electrodynamics

Authors: Andreas Buhr, Christian Engwer, Mario Ohlberger, Stephan Rave

Abstract: The simulation method ArbiLoMod has the goal to provide users of Finite Element based simulation software with quick re-simulation after localized changes to the model under consideration. It generates a Reduced Order Model (ROM) for the full model without ever solving the full model. To this end, a localized variant of the Reduced Basis method is employed, solving only small localized problems in… ▽ More The simulation method ArbiLoMod has the goal to provide users of Finite Element based simulation software with quick re-simulation after localized changes to the model under consideration. It generates a Reduced Order Model (ROM) for the full model without ever solving the full model. To this end, a localized variant of the Reduced Basis method is employed, solving only small localized problems in the generation of the reduced basis. The key to quick re-simulation lies in recycling most of the localized basis vectors after a localized model change. In this publication, ArbiLoMod's local training algorithm is analyzed numerically for the non-coercive problem of time harmonic Maxwell's equations in 2D, formulated in H(curl). △ Less

Submitted 5 December, 2016; v1 submitted 20 June, 2016; originally announced June 2016.

MSC Class: 65N30

Localized Reduced Basis Approximation of a Nonlinear Finite Volume Battery Model with Resolved Electrode Geometry

Authors: Mario Ohlberger, Stephan Rave

Abstract: In this contribution we present first results towards localized model order reduction for spatially resolved, three-dimensional lithium-ionbattery models. We introduce a localized reduced basis scheme based on non-conforming local approximation spaces stemming from a finite volume discretizationof the analytical model and localized empirical operator interpolation for the approximation of the mode… ▽ More In this contribution we present first results towards localized model order reduction for spatially resolved, three-dimensional lithium-ionbattery models. We introduce a localized reduced basis scheme based on non-conforming local approximation spaces stemming from a finite volume discretizationof the analytical model and localized empirical operator interpolation for the approximation of the model's nonlinearities. Numerical examples are provided indicating the feasibility of our approach. △ Less

Submitted 16 June, 2016; originally announced June 2016.

Cross-Gramian-Based Model Reduction: A Comparison

Authors: Christian Himpe, Mario Ohlberger

Abstract: As an alternative to the popular balanced truncation method, the cross Gramian matrix induces a class of balancing model reduction techniques. Besides the classical computation of the cross Gramian by a Sylvester matrix equation, an empirical cross Gramian can be computed based on simulated trajectories. This work assesses the cross Gramian and its empirical Gramian variant for state-space reducti… ▽ More As an alternative to the popular balanced truncation method, the cross Gramian matrix induces a class of balancing model reduction techniques. Besides the classical computation of the cross Gramian by a Sylvester matrix equation, an empirical cross Gramian can be computed based on simulated trajectories. This work assesses the cross Gramian and its empirical Gramian variant for state-space reduction on a procedural benchmark based to the cross Gramian itself. △ Less

Submitted 13 June, 2016; originally announced June 2016.

Comments: Preprint

Localized Orthogonal Decomposition for two-scale Helmholtz-type problems

Authors: Mario Ohlberger, Barbara Verfürth

Abstract: In this paper, we present a Localized Orthogonal Decomposition (LOD) in Petrov-Galerkin formulation for a two-scale Helmholtz-type problem. The two-scale problem is, for instance, motivated from the homogenization of the Helmholtz equation with high contrast, studied together with a corresponding multiscale method in (Ohlberger, Verfürth. A new Heterogeneous Multiscale Method for the Helmholtz equ… ▽ More In this paper, we present a Localized Orthogonal Decomposition (LOD) in Petrov-Galerkin formulation for a two-scale Helmholtz-type problem. The two-scale problem is, for instance, motivated from the homogenization of the Helmholtz equation with high contrast, studied together with a corresponding multiscale method in (Ohlberger, Verfürth. A new Heterogeneous Multiscale Method for the Helmholtz equation with high contrast, arXiv:1605.03400, 2016). There, an unavoidable resolution condition on the mesh sizes in terms of the wave number has been observed, which is known as "pollution effect" in the finite element literature. Following ideas of (Gallistl, Peterseim. Comput. Methods Appl. Mech. Engrg. 295:1-17, 2015), we use standard finite element functions for the trial space, whereas the test functions are enriched by solutions of subscale problems (solved on a finer grid) on local patches. Provided that the oversampling parameter $m$, which indicates the size of the patches, is coupled logarithmically to the wave number, we obtain a quasi-optimal method under a reasonable resolution of a few degrees of freedom per wave length, thus overcoming the pollution effect. In the two-scale setting, the main challenges for the LOD lie in the coupling of the function spaces and in the periodic boundary conditions. △ Less

Submitted 28 February, 2017; v1 submitted 11 May, 2016; originally announced May 2016.

Comments: 20 pages

MSC Class: 35J05; 35B27; 65N12; 65N15; 65N30; 78M40

A new Heterogeneous Multiscale Method for the Helmholtz equation with high contrast

Authors: Mario Ohlberger, Barbara Verfürth

Abstract: In this paper, we suggest a new Heterogeneous Multiscale Method (HMM) for the Helmholtz equation with high contrast. The method is constructed for a setting as in Bouchitté and Felbacq (C.R. Math. Acad. Sci. Paris 339(5):377--382, 2004), where the high contrast in the parameter leads to unusual effective parameters in the homogenized equation. We revisit existing homogenization approaches for this… ▽ More In this paper, we suggest a new Heterogeneous Multiscale Method (HMM) for the Helmholtz equation with high contrast. The method is constructed for a setting as in Bouchitté and Felbacq (C.R. Math. Acad. Sci. Paris 339(5):377--382, 2004), where the high contrast in the parameter leads to unusual effective parameters in the homogenized equation. We revisit existing homogenization approaches for this special setting and analyze the stability of the two-scale solution with respect to the wavenumber and the data. This includes a new stability result for solutions to the Helmholtz equation with discontinuous diffusion matrix. The HMM is defined as direct discretization of the two-scale limit equation. With this approach we are able to show quasi-optimality and an a priori error estimate under a resolution condition that inherits its dependence on the wavenumber from the stability constant for the analytical problem. Numerical experiments confirm our theoretical convergence results and examine the resolution condition. Moreover, the numerical simulation gives a good insight and explanation of the physical phenomenon of frequency band gaps. △ Less

Submitted 20 December, 2016; v1 submitted 11 May, 2016; originally announced May 2016.

Comments: 27 pages, with figures; version 2 is a major revision and in particular includes numerical experiments

MSC Class: 35J05; 35B27; 65N12; 65N15; 65N30; 78M40

Model Reduction for Multiscale Lithium-Ion Battery Simulation

Authors: Mario Ohlberger, Stephan Rave, Felix Schindler

Abstract: In this contribution we are concerned with efficient model reduction for multiscale problems arising in lithium-ion battery modeling with spatially resolved porous electrodes. We present new results on the application of the reduced basis method to the resulting instationary 3D battery model that involves strong non-linearities due to Buttler-Volmer kinetics. Empirical operator interpolation is us… ▽ More In this contribution we are concerned with efficient model reduction for multiscale problems arising in lithium-ion battery modeling with spatially resolved porous electrodes. We present new results on the application of the reduced basis method to the resulting instationary 3D battery model that involves strong non-linearities due to Buttler-Volmer kinetics. Empirical operator interpolation is used to efficiently deal with this issue. Furthermore, we present the localized reduced basis multiscale method for parabolic problems applied to a thermal model of batteries with resolved porous electrodes. Numerical experiments are given that demonstrate the reduction capabilities of the presented approaches for these real world applications. △ Less

Submitted 29 February, 2016; originally announced February 2016.

Journal ref: in Numerical Mathematics and Advanced Applications ENUMATH 2015, vol. 112 of Lecture Notes in Computational Science and Engineering, 2016, pp. 317-331

ArbiLoMod, a Simulation Technique Designed for Arbitrary Local Modifications

Authors: Andreas Buhr, Christian Engwer, Mario Ohlberger, Stephan Rave

Abstract: Engineers manually optimizing a structure using Finite Element based simulation software often employ an iterative approach where in each iteration they change the structure slightly and resimulate. Standard Finite Element based simulation software is usually not well suited for this workflow, as it restarts in each iteration, even for tiny changes. In settings with complex local microstructure, w… ▽ More Engineers manually optimizing a structure using Finite Element based simulation software often employ an iterative approach where in each iteration they change the structure slightly and resimulate. Standard Finite Element based simulation software is usually not well suited for this workflow, as it restarts in each iteration, even for tiny changes. In settings with complex local microstructure, where a fine mesh is required to capture the geometric detail, localized model reduction can improve this workflow. To this end, we introduce ArbiLoMod, a method which allows fast recomputation after arbitrary local modifications. It employs a domain decomposition and a localized form of the Reduced Basis Method for model order reduction. It assumes that the reduced basis on many of the unchanged domains can be reused after a localized change. The reduced model is adapted when necessary, steered by a localized error indicator. The global error introduced by the model order reduction is controlled by a robust and efficient localized a posteriori error estimator, certifying the quality of the result. We demonstrate ArbiLoMod for a coercive, parameterized example with changing structure. △ Less

Submitted 29 November, 2016; v1 submitted 24 December, 2015; originally announced December 2015.

Comments: 32 pages, 14 figures

MSC Class: 65N30

Problem adapted Hierarchical Model Reduction for the Fokker-Planck equation

Authors: Julia Brunken, Tobias Leibner, Mario Ohlberger, Kathrin Smetana

Abstract: In this paper we introduce a new hierarchical model reduction framework for the Fokker-Planck equation. We reduce the dimension of the equation by a truncated basis expansion in the velocity variable, obtaining a hyperbolic system of equations in space and time. Unlike former methods like the Legendre moment models, the new framework generates a suitable problem-dependent basis of the reduced velo… ▽ More In this paper we introduce a new hierarchical model reduction framework for the Fokker-Planck equation. We reduce the dimension of the equation by a truncated basis expansion in the velocity variable, obtaining a hyperbolic system of equations in space and time. Unlike former methods like the Legendre moment models, the new framework generates a suitable problem-dependent basis of the reduced velocity space that mimics the shape of the solution in the velocity variable. To that end, we adapt the framework of [M. Ohlberger and K. Smetana. A dimensional reduction approach based on the application of reduced basis methods in the framework of hierarchical model reduction. SIAM J. Sci. Comput., 36(2):A714-A736, 2014] and derive initially a parametrized elliptic partial differential equation (PDE) in the velocity variable. Then, we apply ideas of the Reduced Basis method to develop a greedy-algorithm that selects the basis from solutions of the parametrized PDE. Numerical experiments demonstrate the potential of this new method. △ Less

Submitted 1 February, 2016; v1 submitted 6 November, 2015; originally announced November 2015.

Comments: In proceedings of ALGORITMY 2016

Reduced Basis Methods: Success, Limitations and Future Challenges

Authors: Mario Ohlberger, Stephan Rave

Abstract: Parametric model order reduction using reduced basis methods can be an effective tool for obtaining quickly solvable reduced order models of parametrized partial differential equation problems. With speedups that can reach several orders of magnitude, reduced basis methods enable high fidelity real-time simulations of complex systems and dramatically reduce the computational costs in many-query ap… ▽ More Parametric model order reduction using reduced basis methods can be an effective tool for obtaining quickly solvable reduced order models of parametrized partial differential equation problems. With speedups that can reach several orders of magnitude, reduced basis methods enable high fidelity real-time simulations of complex systems and dramatically reduce the computational costs in many-query applications. In this contribution we analyze the methodology, mainly focussing on the theoretical aspects of the approach. In particular we discuss what is known about the convergence properties of these methods: when they succeed and when they are bound to fail. Moreover, we highlight some recent approaches employing nonlinear approximation techniques which aim to overcome the current limitations of reduced basis methods. △ Less

Submitted 8 January, 2016; v1 submitted 6 November, 2015; originally announced November 2015.

MSC Class: 41A45; 41A46; 41A65; 65M60; 65N30

Journal ref: Proceedings of ALGORITMY 2016, pp.1-12

A new Heterogeneous Multiscale Method for time-harmonic Maxwell's equations based on divergence-regularization

Authors: Patrick Henning, Mario Ohlberger, Barbara Verfürth

Abstract: In this paper, we suggest a new heterogeneous multiscale method (HMM) for the time-harmonic Maxwell equations in locally periodic media. The method is constructed by using a divergence-regularization in one of the cell problems. This allows us to introduce fine-scale correctors that are not subject to a cumbersome divergence-free constraint and which can hence easily be implemented. To analyze the… ▽ More In this paper, we suggest a new heterogeneous multiscale method (HMM) for the time-harmonic Maxwell equations in locally periodic media. The method is constructed by using a divergence-regularization in one of the cell problems. This allows us to introduce fine-scale correctors that are not subject to a cumbersome divergence-free constraint and which can hence easily be implemented. To analyze the method, we first revisit classical homogenization theory for time-harmonic Maxwell equations and derive a new homogenization result that makes use of the divergence-regularization in the two-scale homogenized equation. We then show that the HMM is equivalent to a discretization of this equation. In particular, writing both problems in a fully coupled two-scale formulation is the crucial starting point for a corresponding numerical analysis of the method. With this approach we are able to prove rigorous a priori error estimates in the $\mathbf{H}(\mbox{curl})$- and the $H^{-1}$-norm and we derive reliable and efficient localized residual-based a posteriori error estimates. △ Less

Submitted 14 September, 2015; v1 submitted 10 September, 2015; originally announced September 2015.

Comments: 31 pages, fixed typos in this version

MSC Class: 35B27; 65N15; 65N30; 78M40

A Note on the Cross Gramian for Non-Symmetric Systems

Authors: Christian Himpe, Mario Ohlberger

Abstract: The cross gramian matrix is a tool for model reduction and system identification, but it is only computable for square control systems. For symmetric systems the cross gramian possesses a useful relation to the system's associated Hankel singular values. Yet, many real-life models are neither square nor symmetric. In this work, concepts from decentralized control are used to approximate a cross gr… ▽ More The cross gramian matrix is a tool for model reduction and system identification, but it is only computable for square control systems. For symmetric systems the cross gramian possesses a useful relation to the system's associated Hankel singular values. Yet, many real-life models are neither square nor symmetric. In this work, concepts from decentralized control are used to approximate a cross gramian for non-symmetric and non-square systems. To illustrate this new non-symmetric cross gramian, it is applied in the context of model order reduction. △ Less

Submitted 4 November, 2015; v1 submitted 22 January, 2015; originally announced January 2015.

MSC Class: 93Bxx

Error control for the localized reduced basis multi-scale method with adaptive on-line enrichment

Authors: Mario Ohlberger, Felix Schindler

Abstract: In this contribution we consider localized, robust and efficient a-posteriori error estimation of the localized reduced basis multi-scale (LRBMS) method for parametric elliptic problems with possibly heterogeneous diffusion coefficient. The numerical treatment of such parametric multi-scale problems are characterized by a high computational complexity, arising from the multi-scale character of the… ▽ More In this contribution we consider localized, robust and efficient a-posteriori error estimation of the localized reduced basis multi-scale (LRBMS) method for parametric elliptic problems with possibly heterogeneous diffusion coefficient. The numerical treatment of such parametric multi-scale problems are characterized by a high computational complexity, arising from the multi-scale character of the underlying differential equation and the additional parameter dependence. The LRBMS method can be seen as a combination of numerical multi-scale methods and model reduction using reduced basis (RB) methods to efficiently reduce the computational complexity with respect to the multi-scale as well as the parametric aspect of the problem, simultaneously. In contrast to the classical residual based error estimators currently used in RB methods, we are considering error estimators that are based on conservative flux reconstruction and provide an efficient and rigorous bound on the full error with respect to the weak solution. In addition, the resulting error estimator is localized and can thus be used in the on-line phase to adaptively enrich the solution space locally where needed. The resulting certified LRBMS method with adaptive on-line enrichment thus guarantees the quality of the reduced solution during the on-line phase, given any (possibly insufficient) reduced basis that was generated during the offline phase. Numerical experiments are given to demonstrate the applicability of the resulting algorithm with online enrichment to single phase flow in heterogeneous media. △ Less

Submitted 6 February, 2015; v1 submitted 21 January, 2015; originally announced January 2015.

MSC Class: 65G99; 65N55; 65N15; 35J20; 65N30; 76S05 ACM Class: G.1.8

Journal ref: SIAM J. Sci. Comput., 37 (2015), pp. A2865-A2895

A numerically stable a posteriori error estimator for reduced basis approximations of elliptic equations

Authors: Andreas Buhr, Christian Engwer, Mario Ohlberger, Stephan Rave

Abstract: The Reduced Basis (RB) method is a well established method for the model order reduction of problems formulated as parametrized partial differential equations. One crucial requirement for the application of RB schemes is the availability of an a posteriori error estimator to reliably estimate the error introduced by the reduction process. However, straightforward implementations of standard residu… ▽ More The Reduced Basis (RB) method is a well established method for the model order reduction of problems formulated as parametrized partial differential equations. One crucial requirement for the application of RB schemes is the availability of an a posteriori error estimator to reliably estimate the error introduced by the reduction process. However, straightforward implementations of standard residual based estimators show poor numerical stability, rendering them unusable if high accuracy is required. In this work we propose a new algorithm based on representing the residual with respect to a dedicated orthonormal basis, which is both easy to implement and requires little additional computational overhead. A numerical example is given to demonstrate the performance of the proposed algorithm. △ Less

Submitted 30 July, 2014; originally announced July 2014.

Approximation of skewed interfaces with tensor-based model reduction procedures: application to the reduced basis hierarchical model reduction approach

Authors: Mario Ohlberger, Kathrin Smetana

Abstract: In this article we introduce a procedure, which allows to recover the potentially very good approximation properties of tensor-based model reduction procedures for the solution of partial differential equations in the presence of interfaces or strong gradients in the solution which are skewed with respect to the coordinate axes. The two key ideas are the location of the interface either by solving… ▽ More In this article we introduce a procedure, which allows to recover the potentially very good approximation properties of tensor-based model reduction procedures for the solution of partial differential equations in the presence of interfaces or strong gradients in the solution which are skewed with respect to the coordinate axes. The two key ideas are the location of the interface either by solving a lower-dimensional partial differential equation or by using data functions and the subsequent removal of the interface of the solution by choosing the determined interface as the lifting function of the Dirichlet boundary conditions. We demonstrate in numerical experiments for linear elliptic equations and the reduced basis-hierarchical model reduction approach that the proposed procedure locates the interface well and yields a significantly improved convergence behavior even in the case when we only consider an approximation of the interface. △ Less

Submitted 27 May, 2016; v1 submitted 28 June, 2014; originally announced June 2014.

MSC Class: 65N30; 35C20; 35J25; 35J60

Journal ref: J. Comp. Phys., Volume 321, page 1185--1205, 2016

The Localized Reduced Basis Multiscale method for two-phase flows in porous media

Authors: Sven Kaulmann, Bernd Flemisch, Bernard Haasdonk, Knut-Andreas Lie, Mario Ohlberger

Abstract: In this work, we propose a novel model order reduction approach for two-phase flow in porous media by introducing a formulation in which the mobility, which realizes the coupling between phase saturations and phase pressures, is regarded as a parameter to the pressure equation. Using this formulation, we introduce the Localized Reduced Basis Multiscale method to obtain a low-dimensional surrogate… ▽ More In this work, we propose a novel model order reduction approach for two-phase flow in porous media by introducing a formulation in which the mobility, which realizes the coupling between phase saturations and phase pressures, is regarded as a parameter to the pressure equation. Using this formulation, we introduce the Localized Reduced Basis Multiscale method to obtain a low-dimensional surrogate of the high-dimensional pressure equation. By applying ideas from model order reduction for parametrized partial differential equations, we are able to split the computational effort for solving the pressure equation into a costly offline step that is performed only once and an inexpensive online step that is carried out in every time step of the two-phase flow simulation, which is thereby largely accelerated. Usage of elements from numerical multiscale methods allows us to displace the computational intensity between the offline and online step to reach an ideal runtime at acceptable error increase for the two-phase flow simulation. △ Less

Submitted 12 May, 2014; originally announced May 2014.

A Model Reduction Framework for Efficient Simulation of Li-Ion Batteries

Authors: Mario Ohlberger, Stephan Rave, Sebastian Schmidt, Shiquan Zhang

Abstract: In order to achieve a better understanding of degradation processes in lithium-ion batteries, the modelling of cell dynamics at the mircometer scale is an important focus of current mathematical research. These models lead to large-dimensional, highly nonlinear finite volume discretizations which, due to their complexity, cannot be solved at cell scale on current hardware. Model order reduction st… ▽ More In order to achieve a better understanding of degradation processes in lithium-ion batteries, the modelling of cell dynamics at the mircometer scale is an important focus of current mathematical research. These models lead to large-dimensional, highly nonlinear finite volume discretizations which, due to their complexity, cannot be solved at cell scale on current hardware. Model order reduction strategies are therefore necessary to reduce the computational complexity while retaining the features of the model. The application of such strategies to specialized high performance solvers asks for new software designs allowing flexible control of the solvers by the reduction algorithms. In this contribution we discuss the reduction of microscale battery models with the reduced basis method and report on our new software approach on integrating the model order reduction software pyMOR with third-party solvers. Finally, we present numerical results for the reduction of a 3D microscale battery model with porous electrode geometry. △ Less

Submitted 3 April, 2014; originally announced April 2014.

Comments: 7 pages, 2 figures, 2 tables

MSC Class: 65M08; 35K55; 65M60

Efficient Parallel Simulation of Atherosclerotic Plaque Formation Using Higher Order Discontinuous Galerkin Schemes

Authors: Stefan Girke, Robert Klöfkorn, Mario Ohlberger

Abstract: The compact Discontinuous Galerkin 2 (CDG2) method was successfully tested for elliptic problems, scalar convection-diffusion equations and compressible Navier-Stokes equations. In this paper we use the newly developed DG method to solve a mathematical model for early stages of atherosclerotic plaque formation. Atherosclerotic plaque is mainly formed by accumulation of lipid-laden cells in the art… ▽ More The compact Discontinuous Galerkin 2 (CDG2) method was successfully tested for elliptic problems, scalar convection-diffusion equations and compressible Navier-Stokes equations. In this paper we use the newly developed DG method to solve a mathematical model for early stages of atherosclerotic plaque formation. Atherosclerotic plaque is mainly formed by accumulation of lipid-laden cells in the arterial walls which leads to a heart attack in case the artery is occluded or a thrombus is built through a rupture of the plaque. After describing a mathematical model and the discretization scheme, we present some benchmark tests comparing the CDG2 method to other commonly used DG methods. Furthermore, we take parallelization and higher order discretization schemes into account. △ Less

Submitted 5 March, 2014; originally announced March 2014.

Comments: preprint

A-posteriori error estimates for the localized reduced basis multi-scale method

Authors: Mario Ohlberger, Felix Schindler

Abstract: We present a localized a-posteriori error estimate for the localized reduced basis multi-scale (LRBMS) method [Albrecht, Haasdonk, Kaulmann, Ohlberger (2012): The localized reduced basis multiscale method]. The LRBMS is a combination of numerical multi-scale methods and model reduction using reduced basis methods to efficiently reduce the computational complexity of parametric multi-scale problems… ▽ More We present a localized a-posteriori error estimate for the localized reduced basis multi-scale (LRBMS) method [Albrecht, Haasdonk, Kaulmann, Ohlberger (2012): The localized reduced basis multiscale method]. The LRBMS is a combination of numerical multi-scale methods and model reduction using reduced basis methods to efficiently reduce the computational complexity of parametric multi-scale problems with respect to the multi-scale parameter $\varepsilon$ and the online parameter $μ$ simultaneously. We formulate the LRBMS based on a generalization of the SWIPDG discretization presented in [Ern, Stephansen, Vohralik (2010): Guaranteed and robust discontinuous Galerkin a posteriori error estimates for convection-diffusion-reaction problems] on a coarse partition of the domain that allows for any suitable discretization on the fine triangulation inside each coarse grid element. The estimator is based on the idea of a conforming reconstruction of the discrete diffusive flux, that can be computed using local information only. It is offline/online decomposable and can thus be efficiently used in the context of model reduction. △ Less

Submitted 27 May, 2014; v1 submitted 28 January, 2014; originally announced January 2014.

MSC Class: 65N15; 65N22; 65N30; 65N55 ACM Class: G.1.8

Journal ref: in Finite Volumes for Complex Applications VII-Methods and Theoretical Aspects, vol. 77 of Springer Proceedings in Mathematics & Statistics, 2014, pp. 421-429

Data-Driven Combined State and Parameter Reduction for Extreme-Scale Inverse Problems

Authors: Christian Himpe, Mario Ohlberger

Abstract: In this contribution we present an accelerated optimization-based approach for combined state and parameter reduction of a parametrized linear control system which is then used as a surrogate model in a Bayesian inverse setting. Following the basic ideas presented in [Lieberman, Willcox, Ghattas. Parameter and state model reduction for large-scale statistical inverse settings, SIAM J. Sci. Comput.… ▽ More In this contribution we present an accelerated optimization-based approach for combined state and parameter reduction of a parametrized linear control system which is then used as a surrogate model in a Bayesian inverse setting. Following the basic ideas presented in [Lieberman, Willcox, Ghattas. Parameter and state model reduction for large-scale statistical inverse settings, SIAM J. Sci. Comput., 32(5):2523-2542, 2010], our approach is based on a generalized data-driven optimization functional in the construction process of the surrogate model and the usage of a trust-region-type solution strategy that results in an additional speed-up of the overall method. In principal, the model reduction procedure is based on the offline construction of appropriate low-dimensional state and parameter spaces and an online inversion step based on the resulting surrogate model that is obtained through projection of the underlying control system onto the reduced spaces. The generalization and enhancements presented in this work are shown to decrease overall computational time and increase accuracy of the reduced order model and thus allow an application to extreme-scale problems. Numerical experiments for a generic model and a fMRI connectivity model are presented in order to compare the computational efficiency of our improved method with the original approach. △ Less

Submitted 16 January, 2014; originally announced January 2014.

Comments: Preprint

MSC Class: 62F15; 93A15

Hierarchical model reduction of nonlinear partial differential equations based on the adaptive empirical projection method and reduced basis techniques

Authors: Kathrin Smetana, Mario Ohlberger

Abstract: In this paper we extend the hierarchical model reduction framework based on reduced basis techniques for the application to nonlinear partial differential equations. The major new ingredient to accomplish this goal is the introduction of the adaptive empirical projection method, which is an adaptive integration algorithm based on the (generalized) empirical interpolation method. Different from oth… ▽ More In this paper we extend the hierarchical model reduction framework based on reduced basis techniques for the application to nonlinear partial differential equations. The major new ingredient to accomplish this goal is the introduction of the adaptive empirical projection method, which is an adaptive integration algorithm based on the (generalized) empirical interpolation method. Different from other partitioning concepts for the empirical interpolation method we perform an adaptive decomposition of the spatial domain. We project both the variational formulation and the range of the nonlinear operator onto reduced spaces. Those reduced spaces combine the full dimensional (finite element) space in an identified dominant spatial direction and a reduction space or collateral basis space spanned by modal orthonormal basis functions in the transverse direction. Both the reduction and the collateral basis space are constructed in a highly nonlinear fashion by introducing a parametrized problem in the transverse direction and associated parametrized operator evaluations, and by applying reduced basis methods to select the bases from the corresponding snapshots. Rigorous a priori and a posteriori error estimators, which do not require additional regularity of the nonlinear operator are proven for the adaptive empirical projection method and then used to derive a rigorous a posteriori error estimator for the resulting hierarchical model reduction approach. Numerical experiments for an elliptic nonlinear diffusion equation demonstrate a fast convergence of the proposed dimensionally reduced approximation to the solution of the full-dimensional problem. Runtime experiments verify a close to linear scaling of the reduction method in the number of degrees of freedom used for the computations in the dominant direction. △ Less

Submitted 12 January, 2016; v1 submitted 4 January, 2014; originally announced January 2014.

MSC Class: 65N15; 65N30; 65Y20; 35J60; 65D05; 65D30

Journal ref: M2AN Math. Model. Numer. Anal., Volume 51, Number 2, page 641--677 (2017)