Searcharxiv⌕ Search

arXiv subjects

Mario Ohlberger

Publications and source records attributed to Mario Ohlberger.

At least 37 records · Page 2Linked to original sources

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

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.

math.NA↗

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

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.

math.NA↗

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

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.

math.NA↗

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

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.

math.NA↗

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

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.

math.NA↗

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

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.

math.NA↗

Model Reduction for Large Scale Systems

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.

math.NA↗

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

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.

math.NA↗

The DUNE Framework: Basic Concepts and Recent Developments

This paper presents the basic concepts and the module structure of the Distributed and Unified Numerics Environment and reflects on recent developments and general changes that happened since the release of the first Dune version in 2007 and the main papers describing that state [1, 2]. This discussion is accompanied with a description of various advanced features, such as coupling of domains and cut cells, grid modifications such as adaptation and moving domains, high order discretizations and node level performance, non-smooth multigrid methods, and multiscale methods. A brief discussion on current and future development directions of the framework concludes the paper.

cs.MS↗

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

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.

math.NA↗

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

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.

cs.MS↗

Localized model reduction for parameterized problems

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+.

math.NA↗

Mathematical analysis of transmission properties of electromagnetic meta-materials

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.

math.AP↗

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

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.

math.NA↗

A Hierarchical A-Posteriori Error Estimatorfor the Reduced Basis Method

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.

math.NA↗

Localized Orthogonal Decomposition for two-scale Helmholtz-type problems

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.

math.NA↗

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

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.

math.NA↗