-
Model order reduction for seismic applications
Authors:
Rhys Hawkins,
Muhammad Hamza Khalid,
Matthias Schlottbom,
Kathrin Smetana
Abstract:
We propose a model order reduction approach to speed up the computation of seismograms, i.e. the solution of the seismic wave equation evaluated at a receiver location, for different model parameters. Our approach achieves a reduction of the unknowns by a factor of approximately 1000 for various numerical experiments for a 2D subsurface model of Groningen, the Netherlands, even if the wave speeds…
▽ More
We propose a model order reduction approach to speed up the computation of seismograms, i.e. the solution of the seismic wave equation evaluated at a receiver location, for different model parameters. Our approach achieves a reduction of the unknowns by a factor of approximately 1000 for various numerical experiments for a 2D subsurface model of Groningen, the Netherlands, even if the wave speeds of the subsurface are relatively varied. Moreover, using parallel computing, the reduced model can approximate the (time domain) seismogram in a lower wall clock time than an implicit Newmark-beta method. To realize this reduction, we exploit the fact that seismograms are low-pass filtered for the observed seismic events by considering the Laplace-transformed problem in frequency domain. Therefore, we can avoid the high frequencies that would require many reduced basis functions to reach the desired accuracy and generally make the reduced order approximation of wave problems challenging. Instead, we can prove for our ansatz that for a fixed subsurface model the reduced order approximation converges exponentially fast in the frequency range of interest in the Laplace domain. We build the reduced model from solutions of the Laplace-transformed problem via a (Proper Orthogonal Decomposition-)Greedy algorithm targeting the construction of the reduced model to the time domain seismograms; the latter is achieved by using an a posteriori error estimator that does not require computing any time domain counterparts. Finally, we show that we obtain a stable reduced model thus overcoming the challenge that standard model reduction approaches do not necessarily yield a stable reduced model for wave problems.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
DEIM vs. leverage scores for time-parallel construction of problem-adapted basis functions
Authors:
Julia Schleuß,
Kathrin Smetana
Abstract:
To tackle heterogeneous time-dependent problems, an algorithm that constructs problem-adapted basis functions in an embarrassingly parallel and local manner in time has recently been proposed in [Schleuss, Smetana, ter Maat, SIAM J. Sci. Comput., 2022+]. Several simulations of the problem are performed for only few time steps in parallel by starting at different, randomly drawn start time points.…
▽ More
To tackle heterogeneous time-dependent problems, an algorithm that constructs problem-adapted basis functions in an embarrassingly parallel and local manner in time has recently been proposed in [Schleuss, Smetana, ter Maat, SIAM J. Sci. Comput., 2022+]. Several simulations of the problem are performed for only few time steps in parallel by starting at different, randomly drawn start time points. For this purpose, data-dependent probability distributions that are based on the (time-dependent) data functions of the problem, such as leverage scores, are employed. In this paper, we suggest as a key new contribution to perform a deterministic time point selection based on the (discrete) empirical interpolation method (DEIM) within the proposed algorithm. In numerical experiments we investigate the performance of a DEIM based time point selection and compare it to the leverage score sampling approach.
△ Less
Submitted 1 February, 2023;
originally announced February 2023.
-
A fully algebraic and robust two-level Schwarz method based on optimal local approximation spaces
Authors:
Alexander Heinlein,
Kathrin Smetana
Abstract:
Two-level domain decomposition preconditioners lead to fast convergence and scalability of iterative solvers. However, for highly heterogeneous problems, where the coefficient function is varying rapidly on several possibly non-separated scales, the condition number of the preconditioned system generally depends on the contrast of the coefficient function leading to a deterioration of convergence.…
▽ More
Two-level domain decomposition preconditioners lead to fast convergence and scalability of iterative solvers. However, for highly heterogeneous problems, where the coefficient function is varying rapidly on several possibly non-separated scales, the condition number of the preconditioned system generally depends on the contrast of the coefficient function leading to a deterioration of convergence. Enhancing the methods by coarse spaces constructed from suitable local eigenvalue problems, also denoted as adaptive or spectral coarse spaces, restores robust, contrast-independent convergence. However, these eigenvalue problems typically rely on non-algebraic information, such that the adaptive coarse spaces cannot be constructed from the fully assembled system matrix. In this paper, a novel algebraic adaptive coarse space, which relies on the a-orthogonal decomposition of (local) finite element (FE) spaces into functions that solve the partial differential equation (PDE) with some trace and FE functions that are zero on the boundary, is proposed. In particular, the basis is constructed from eigenmodes of two types of local eigenvalue problems associated with the edges of the domain decomposition. To approximate functions that solve the PDE locally, we employ a transfer eigenvalue problem, which has originally been proposed for the construction of optimal local approximation spaces for multiscale methods. In addition, we make use of a Dirichlet eigenvalue problem that is a slight modification of the Neumann eigenvalue problem used in the adaptive generalized Dryja-Smith-Widlund (AGDSW) coarse space. Both eigenvalue problems rely solely on local Dirichlet matrices, which can be extracted from the fully assembled system matrix. By combining arguments from multiscale and domain decomposition methods we derive a contrast-independent upper bound for the condition number.
△ Less
Submitted 12 July, 2022;
originally announced July 2022.
-
Randomized quasi-optimal local approximation spaces in time
Authors:
Julia Schleuß,
Kathrin Smetana,
Lukas ter Maat
Abstract:
We target time-dependent partial differential equations (PDEs) with heterogeneous coefficients in space and time. To tackle these problems, we construct reduced basis/ multiscale ansatz functions defined in space that can be combined with time stepping schemes within model order reduction or multiscale methods. To that end, we propose to perform several simulations of the PDE for few time steps in…
▽ More
We target time-dependent partial differential equations (PDEs) with heterogeneous coefficients in space and time. To tackle these problems, we construct reduced basis/ multiscale ansatz functions defined in space that can be combined with time stepping schemes within model order reduction or multiscale methods. To that end, we propose to perform several simulations of the PDE for few time steps in parallel starting at different, randomly drawn start points, prescribing random initial conditions; applying a singular value decomposition to a subset of the so obtained snapshots yields the reduced basis/ multiscale ansatz functions. This facilitates constructing the reduced basis/ multiscale ansatz functions in an embarrassingly parallel manner. In detail, we suggest using a data-dependent probability distribution based on the data functions of the PDE to select the start points. Each local in time simulation of the PDE with random initial conditions approximates a local approximation space in one time point that is optimal in the sense of Kolmogorov. The derivation of these optimal local approximation spaces which are spanned by the left singular vectors of a compact transfer operator that maps arbitrary initial conditions to the solution of the PDE in a later point of time, is one other main contribution of this paper. By solving the PDE locally in time with random initial conditions, we construct local ansatz spaces in time that converge provably at a quasi-optimal rate and allow for local error control. Numerical experiments demonstrate that the proposed method can outperform existing methods like the proper orthogonal decomposition even in a sequential setting and is well capable of approximating advection-dominated problems.
△ Less
Submitted 1 October, 2022; v1 submitted 11 March, 2022;
originally announced March 2022.
-
Localized model reduction for nonlinear elliptic partial differential equations: localized training, partition of unity, and adaptive enrichment
Authors:
Kathrin Smetana,
Tommaso Taddei
Abstract:
We propose a component-based (CB) parametric model order reduction (pMOR) formulation for parameterized {nonlinear} elliptic partial differential equations (PDEs). CB-pMOR is designed to deal with large-scale problems for which full-order solves are not affordable in a reasonable time frame or parameters' variations induce topology changes that prevent the application of monolithic pMOR techniques…
▽ More
We propose a component-based (CB) parametric model order reduction (pMOR) formulation for parameterized {nonlinear} elliptic partial differential equations (PDEs). CB-pMOR is designed to deal with large-scale problems for which full-order solves are not affordable in a reasonable time frame or parameters' variations induce topology changes that prevent the application of monolithic pMOR techniques. We rely on the partition-of-unity method (PUM) to devise global approximation spaces from local reduced spaces, and on Galerkin projection to compute the global state estimate. We propose a randomized data compression algorithm based on oversampling for the construction of the components' reduced spaces: the approach exploits random boundary conditions of controlled smoothness on the oversampling boundary. We further propose an adaptive residual-based enrichment algorithm that exploits global reduced-order solves on representative systems to update the local reduced spaces. We prove exponential convergence of the enrichment procedure for linear coercive problems; we further present numerical results for a two-dimensional nonlinear diffusion problem to illustrate the many features of our proposal and demonstrate its effectiveness.
△ Less
Submitted 20 February, 2022;
originally announced February 2022.
-
Optimal local approximation spaces for parabolic problems
Authors:
Julia Schleuß,
Kathrin Smetana
Abstract:
We propose local space-time approximation spaces for parabolic problems that are optimal in the sense of Kolmogorov and may be employed in multiscale and domain decomposition methods. The diffusion coefficient can be arbitrarily rough in space and time. To construct local approximation spaces we consider a compact transfer operator that acts on the space of local solutions and covers the full time…
▽ More
We propose local space-time approximation spaces for parabolic problems that are optimal in the sense of Kolmogorov and may be employed in multiscale and domain decomposition methods. The diffusion coefficient can be arbitrarily rough in space and time. To construct local approximation spaces we consider a compact transfer operator that acts on the space of local solutions and covers the full time dimension. The optimal local spaces are then given by the left singular vectors of the transfer operator. To prove compactness of the latter we combine a suitable parabolic Caccioppoli inequality with the compactness theorem of Aubin-Lions. In contrast to the elliptic setting [I. Babuška and R. Lipton, Multiscale Model. Simul., 9 (2011), pp. 373-406] we need an additional regularity result to combine the two results. Furthermore, we employ the generalized finite element method to couple local spaces and construct an approximation of the global solution. Since our approach yields reduced space-time bases, the computation of the global approximation does not require a time stepping method and is thus computationally efficient. Moreover, we derive rigorous local and global a priori error bounds. In detail, we bound the global approximation error in a graph norm by the local errors in the $L^2(H^1)$-norm, noting that the space the transfer operator maps to is equipped with this norm. Numerical experiments demonstrate an exponential decay of the singular values of the transfer operator and the local and global approximation errors for problems with high contrast or multiscale structure regarding space and time.
△ Less
Submitted 24 August, 2021; v1 submitted 4 December, 2020;
originally announced December 2020.
-
Stable and efficient Petrov-Galerkin methods for a kinetic Fokker-Planck equation
Authors:
Julia Brunken,
Kathrin Smetana
Abstract:
We propose a stable Petrov-Galerkin discretization of a kinetic Fokker-Planck equation constructed in such a way that uniform inf-sup stability can be inferred directly from the variational formulation. Inspired by well-posedness results for parabolic equations, we derive a lower bound for the dual inf-sup constant of the Fokker-Planck bilinear form by means of stable pairs of trial and test funct…
▽ More
We propose a stable Petrov-Galerkin discretization of a kinetic Fokker-Planck equation constructed in such a way that uniform inf-sup stability can be inferred directly from the variational formulation. Inspired by well-posedness results for parabolic equations, we derive a lower bound for the dual inf-sup constant of the Fokker-Planck bilinear form by means of stable pairs of trial and test functions. The trial function of such a pair is constructed by applying the kinetic transport operator and the inverse velocity Laplace-Beltrami operator to a given test function. For the Petrov-Galerkin projection we choose an arbitrary discrete test space and then define the discrete trial space using the same application of transport and inverse Laplace-Beltrami operator. As a result, the spaces replicate the stable pairs of the continuous level and we obtain a well-posed numerical method with a discrete inf-sup constant identical to the inf-sup constant of the continuous problem independently of the mesh size. We show how the specific basis functions can be efficiently computed by low-dimensional elliptic problems, and confirm the practicability and performance of the method with numerical experiments.
△ Less
Submitted 12 April, 2021; v1 submitted 29 October, 2020;
originally announced October 2020.
-
Randomized residual-based error estimators for the Proper Generalized Decomposition approximation of parametrized problems
Authors:
Kathrin Smetana,
Olivier Zahm
Abstract:
This paper introduces a novel error estimator for the Proper Generalized Decomposition (PGD) approximation of parametrized equations. The estimator is intrinsically random: It builds on concentration inequalities of Gaussian maps and an adjoint problem with random right-hand side, which we approximate using the PGD. The effectivity of this randomized error estimator can be arbitrarily close to uni…
▽ More
This paper introduces a novel error estimator for the Proper Generalized Decomposition (PGD) approximation of parametrized equations. The estimator is intrinsically random: It builds on concentration inequalities of Gaussian maps and an adjoint problem with random right-hand side, which we approximate using the PGD. The effectivity of this randomized error estimator can be arbitrarily close to unity with high probability, allowing the estimation of the error with respect to any user-defined norm as well as the error in some quantity of interest. The performance of the error estimator is demonstrated and compared with some existing error estimators for the PGD for a parametrized time-harmonic elastodynamics problem and the parametrized equations of linear elasticity with a high-dimensional parameter space.
△ Less
Submitted 25 October, 2019;
originally announced October 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.
-
Static condensation optimal port/interface reduction and error estimation for structural health monitoring
Authors:
Kathrin Smetana
Abstract:
Having the application in structural health monitoring in mind, we propose reduced port spaces that exhibit an exponential convergence for static condensation procedures on structures with changing geometries for instance induced by newly detected defects. Those reduced port spaces generalize the port spaces introduced in [K. Smetana and A.T. Patera, SIAM J. Sci. Comput., 2016] to geometry changes…
▽ More
Having the application in structural health monitoring in mind, we propose reduced port spaces that exhibit an exponential convergence for static condensation procedures on structures with changing geometries for instance induced by newly detected defects. Those reduced port spaces generalize the port spaces introduced in [K. Smetana and A.T. Patera, SIAM J. Sci. Comput., 2016] to geometry changes and are optimal in the sense that they minimize the approximation error among all port spaces of the same dimension. Moreover, we show numerically that we can reuse port spaces that are constructed on a certain geometry also for the static condensation approximation on a significantly different geometry, making the optimal port spaces well suited for use in structural health monitoring.
△ Less
Submitted 8 August, 2018;
originally announced August 2018.
-
Randomized residual-based error estimators for parametrized equations
Authors:
Kathrin Smetana,
Olivier Zahm,
Anthony T Patera
Abstract:
We propose a randomized a posteriori error estimator for reduced order approximations of parametrized (partial) differential equations. The error estimator has several important properties: the effectivity is close to unity with prescribed lower and upper bounds at specified high probability; the estimator does not require the calculation of stability (coercivity, or inf-sup) constants; the online…
▽ More
We propose a randomized a posteriori error estimator for reduced order approximations of parametrized (partial) differential equations. The error estimator has several important properties: the effectivity is close to unity with prescribed lower and upper bounds at specified high probability; the estimator does not require the calculation of stability (coercivity, or inf-sup) constants; the online cost to evaluate the a posteriori error estimator is commensurate with the cost to find the reduced order approximation; the probabilistic bounds extend to many queries with only modest increase in cost. To build this estimator, we first estimate the norm of the error with a Monte-Carlo estimator using Gaussian random vectors whose covariance is chosen according to the desired error measure, e.g. user-defined norms or quantity of interest. Then, we introduce a dual problem with random right-hand side the solution of which allows us to rewrite the error estimator in terms of the residual of the original equation. In order to have a fast-to-evaluate estimator, model order reduction methods can be used to approximate the random dual solutions. Here, we propose a greedy algorithm that is guided by a scalar quantity of interest depending on the error estimator. Numerical experiments on a multi-parametric Helmholtz problem demonstrate that this strategy yields rather low-dimensional reduced dual spaces.
△ Less
Submitted 23 December, 2018; v1 submitted 27 July, 2018;
originally announced July 2018.
-
(Parametrized) First Order Transport Equations: Realization of Optimally Stable Petrov-Galerkin Methods
Authors:
Julia Brunken,
Kathrin Smetana,
Karsten Urban
Abstract:
We consider ultraweak variational formulations for (parametrized) linear first order transport equations in time and/or space. Computationally feasible pairs of optimally stable trial and test spaces are presented, starting with a suitable test space and defining an optimal trial space by the application of the adjoint operator. As a result, the inf-sup constant is one in the continuous as well as…
▽ More
We consider ultraweak variational formulations for (parametrized) linear first order transport equations in time and/or space. Computationally feasible pairs of optimally stable trial and test spaces are presented, starting with a suitable test space and defining an optimal trial space by the application of the adjoint operator. As a result, the inf-sup constant is one in the continuous as well as in the discrete case and the computational realization is therefore easy. In particular, regarding the latter, we avoid a stabilization loop within the greedy algorithm when constructing reduced models within the framework of reduced basis methods. Several numerical experiments demonstrate the good performance of the new method.
△ Less
Submitted 12 September, 2018; v1 submitted 19 March, 2018;
originally announced March 2018.
-
Randomized Local Model Order Reduction
Authors:
Andreas Buhr,
Kathrin Smetana
Abstract:
In this paper we propose local approximation spaces for localized model order reduction procedures such as domain decomposition and multiscale methods. Those spaces are constructed from local solutions of the partial differential equation (PDE) with random boundary conditions, yield an approximation that converges provably at a nearly optimal rate, and can be generated at close to optimal computat…
▽ More
In this paper we propose local approximation spaces for localized model order reduction procedures such as domain decomposition and multiscale methods. Those spaces are constructed from local solutions of the partial differential equation (PDE) with random boundary conditions, yield an approximation that converges provably at a nearly optimal rate, and can be generated at close to optimal computational complexity. In many localized model order reduction approaches like the generalized finite element method, static condensation procedures, and the multiscale finite element method local approximation spaces can be constructed by approximating the range of a suitably defined transfer operator that acts on the space of local solutions of the PDE. Optimal local approximation spaces that yield in general an exponentially convergent approximation are given by the left singular vectors of this transfer operator [I. Babuška and R. Lipton 2011, K. Smetana and A. T. Patera 2016]. However, the direct calculation of these singular vectors is computationally very expensive. In this paper, we propose an adaptive randomized algorithm based on methods from randomized linear algebra [N. Halko et al. 2011], which constructs a local reduced space approximating the range of the transfer operator and thus the optimal local approximation spaces. The adaptive algorithm relies on a probabilistic a posteriori error estimator for which we prove that it is both efficient and reliable with high probability. Several numerical experiments confirm the theoretical findings.
△ Less
Submitted 21 March, 2018; v1 submitted 28 June, 2017;
originally announced June 2017.
-
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.
-
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.
-
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.
-
Unsaturated subsurface flow with surface water and nonlinear in- and outflow conditions
Authors:
Heiko Berninger,
Mario Ohlberger,
Oliver Sander,
Kathrin Smetana
Abstract:
We analytically and numerically analyze groundwater flow in a homogeneous soil described by the Richards equation, coupled to surface water represented by a set of ordinary differential equations (ODE's) on parts of the domain boundary, and with nonlinear outflow conditions of Signorini's type. The coupling of the partial differential equation (PDE) and the ODE's is given by nonlinear Robin bounda…
▽ More
We analytically and numerically analyze groundwater flow in a homogeneous soil described by the Richards equation, coupled to surface water represented by a set of ordinary differential equations (ODE's) on parts of the domain boundary, and with nonlinear outflow conditions of Signorini's type. The coupling of the partial differential equation (PDE) and the ODE's is given by nonlinear Robin boundary conditions. This article provides two major new contributions regarding these infiltration conditions. First, an existence result for the continuous coupled problem is established with the help of a regularization technique. Second, we analyze and validate a solver-friendly discretization of the coupled problem based on an implicit-explicit time discretization and on finite elements in space. The discretized PDE leads to convex spatial minimization problems which can be solved efficiently by monotone multigrid. Numerical experiments are provided using the DUNE numerics framework.
△ Less
Submitted 11 January, 2013;
originally announced January 2013.
