The numerical simulation and optimization of technical systems described by partial differential equations is expensive, especially in multi-query scenarios in which the underlying equations have to be solved for different parameters. A comparatively new approach in this context is to combine the good approximation properties of neural networks (for parameter dependence) with the classical finite element method (for discretization). However, instead of considering the solution mapping of the PDE from the parameter space into the FEM-discretized solution space as a purely data-driven regression problem, so-called physically informed regression problems have proven to be useful. In these, the equation residual is minimized during the training of the neural network, i.e., the neural network "learns" the physics underlying the problem. In this paper, we extend this approach to saddle-point and non-linear fluid dynamics problems, respectively, namely stationary Stokes and stationary Navier-Stokes equations. In particular, we propose a modification of the existing approach: Instead of minimizing the plain vanilla equation residual during training, we minimize the equation residual modified by a preconditioner. By analogy with the linear case, this also improves the condition in the present non-linear case. Our numerical examples demonstrate that this approach significantly reduces the training effort and greatly increases accuracy and generalizability. Finally, we show the application of the resulting parameterized model to a related inverse problem.
Generalized preconditioned conjugate gradients for adaptive FEM with optimal complexity
Sorbonne Université, Université Paris Cité, CNRS, Laboratoire Jacques-Louis Lions(索邦大学,巴黎 Cité 大学,法国国家科学研究中心,雅克-路易·利翁斯实验室);TU Wien, Institute of Analysis and Scientific Computing(维也纳工业大学,分析与科学计算研究所)
Analysis of Galerkin-mixed FEMs for incompressible miscible flow in porous media has been investigated extensively in the last several decades. Of particular interest in practical applications is the lowest-order Galerkin-mixed method, { in which a linear Lagrange FE approximation is used for the concentration and the lowest-order Raviart-Thomas FE approximation is used for the velocity/pressure. The previous works only showed the first-order accuracy of the method in $L^2$-norm in spatial direction,} which however is not optimal and valid only under certain extra restrictions on both time ste…
High-order Energy-stable and Charge-conservative Lagrangian FEM for 3D Incompressible Inductionless MHD equations with Variable Density
School of Mathematics and Statistics, Henan University(河南大学数学与统计学院);Academy of Mathematics and Systems Science, Xinjiang University(新疆大学数学与系统科学研究院);State Key Laboratory for Strength and Vibration of Mechanical Structures, School of Aerospace, Xi’an Jiaotong University(西安交通大学航天学院)
The time discrete scheme of characteristics type is especially effective for convection-dominated diffusion problems. The scheme has been used in various engineering areas with different approximations in spatial direction. The lowest-order mixed method is the most popular one for miscible flow in porous media. The method is based on a linear Lagrange approximation to the concentration and the zero-order Raviart-Thomas approximation to the pressure/velocity. However, the optimal error estimate for the lowest-order characteristics-mixed FEM has not been presented although numerous effort has be…
This is the third part in a series on a mass conserving, high order, mixed finite element method for Stokes flow. In this part, we study a block-diagonal preconditioner for the indefinite Schur complement system arising from the discretization of the Stokes equations using these elements. The underlying finite element method is uniformly stable in both the mesh size h and polynomial order p, and we prove bounds on the eigenvalues of the preconditioned system which are independent of h and grow modestly in p. The analysis relates the Schur complement system to an appropriate variational setting…
Statistical solutions, which are time-parameterized probability measures on spaces of square-integrable functions, have been established as a suitable framework for global solutions of incompressible Navier-Stokes equations (NSE). We compute numerical approximations of statistical solutions of NSE on two-dimensional domains with non-periodic boundary conditions and empirically investigate the convergence of these approximations and their observables. For the numerical solver, we use Monte Carlo sampling with an H(div)-FEM based deterministic solver. Our numerical experiments for high Reynolds …
A linearized energy preserving finite element method for the dynamical incompressible magnetohydrodynamics equations
School of Mathematics and Statistics, Huazhong University of Science and Technology(华中科技大学数学与统计学院);Department of Mathematics, City University of Hong Kong(香港城市大学数学系)
This paper presents a Crank-Nicolson leap-frog (CNLF) scheme for the unsteady incompressible magnetohydrodynamics (MHD) equations. The spatial discretization adopts the Galerkin finite element method (FEM), and the temporal discretization employs the CNLF method for linear terms and the semi-implicit method for nonlinear terms. The first step uses Stokes style's scheme, the second step employs the Crank-Nicolson extrapolation scheme, and others apply the CNLF scheme. We testify that the fully discrete scheme is stable and convergent when the time step is less than or equal to a positive consta…
Current multi-physics Finite Element Method (FEM) solvers are complex systems in terms of both their mathematical complexity and lines of code. This paper proposes a skeleton generic FEM solver, named MetaFEM, in total about 5,000 lines of Julia code, which translates generic input Partial Differential Equation (PDE) weak forms into corresponding GPU-accelerated simulations with a grammar similar to FEniCS or FreeFEM. Two novel approaches differentiate MetaFEM from the common solvers: (1) the FEM kernel is based on an original theory/algorithm which explicitly processes meta-expressions, as th…
This paper develops the a priori analysis of a mixed finite element method for the filtration of an incompressible fluid through a non-deformable saturated porous medium with heterogeneous permeability. Flows are governed by the Brinkman--Forchheimer and Darcy equations in the more and less permeable regions, respectively, and the corresponding transmission conditions are given by mass conservation and continuity of momentum. We consider the standard mixed formulation in the Brinkman--Forchheimer domain and the dual-mixed one in the Darcy region, and we impose the continuity of the normal velo…
In this study, we present an $hp$-multigrid preconditioner for a divergence-conforming HDG scheme for the generalized Stokes and the Navier-Stokes equations using an augmented Lagrangian formulation. Our method relies on conforming simplicial meshes in two- and three-dimensions. The $hp$-multigrid algorithm is a multiplicative auxiliary space preconditioner that employs the lowest-order space as the auxiliary space, and we developed a geometric multigrid method as the auxiliary space solver. For the generalized Stokes problem, the crucial ingredient of the geometric multigrid method is the equ…
Preconditioning of a coupled Cahn--Hilliard Navier--Stokes system
The University of British Columbia(不列颠哥伦比亚大学);Technical University München(慕尼黑工业大学);Max Planck Institute for Dynamics of Complex Technical Systems(马克斯·普朗克复杂技术系统动力学研究所)
An energy--stable ALE--FEM with compensated tangential velocity for Navier--Stokes free--boundary flows
The Hong Kong Polytechnic University(香港理工大学);Academy of Mathematics and Systems Science, Chinese Academy of Sciences(中国科学院数学与系统科学研究院);University of Chinese Academy of Sciences(中国科学院大学)
The problem of multiphase materials (fluid or solid) interacting with the rigid body structure is studied by proposing a novel VMS-FEM (variational multi-scale finite element method) in the Eulerian framework using the fixed mesh. The incompressible N-S equation with high Reynolds number is stabilized using the idea of the VMS stabilization. To model the multiphase materials, a modified level set method is used to track the development of interfaces between different phases of materials. The interaction between the materials and the rigid body structure is realized using the Lagrangian multipl…
Weakly imposed symmetry and robust preconditioners for Biot's consolidation model
University of Oslo(奥斯陆大学);The Institute for Computational and Engineering Sciences, University of Texas Austin(德克萨斯大学奥斯汀分校计算与工程科学研究所);Simula Research Laboratory(西幕拉研究实验室)
Parameter-free inexact block Schur complement preconditioning for linear poroelasticity under a hybrid Bernardi-Raugel and weak Galerkin finite element discretization
A novel notion for constructing a well-balanced scheme - a gradient-robust scheme - is introduced and a showcase application for a steady compressible, isothermal Stokes equations is presented. Gradient-robustness means that arbitrary gradient fields in the momentum balance are well-balanced by the discrete pressure gradient - if there is enough mass in the system to compensate the force. The scheme is asymptotic-preserving in the sense that it degenerates for low Mach numbers to a recent inf-sup stable and pressure-robust discretization for the incompressible Stokes equations. The convergence…
Speeding up an unsteady flow simulation by adaptive BDDC and Krylov subspace recycling
Institute of Mathematics of the Czech Academy of Sciences(捷克科学院数学研究所);Faculty of Mechanical Engineering, Czech Technical University in Prague(布拉格捷克理工大学机械工程学院)
Fully implicit Runge-Kutta (IRK) methods have many desirable accuracy and stability properties as time integration schemes, but high-order IRK methods are not commonly used in practice with large-scale numerical PDEs because of the difficulty of solving the stage equations. This paper introduces a theoretical and algorithmic framework for solving the nonlinear equations that arise from IRK methods (and discontinuous Galerkin discretizations in time) applied to nonlinear numerical PDEs, including PDEs with algebraic constraints. Several new linearizations of the nonlinear IRK equations are deve…