-
Transmission problems and domain decompositions for non-autonomous parabolic equations on evolving domains
Authors:
Amal Alphonse,
Ana Djurdjevac,
Emil Engström,
Eskil Hansen
Abstract:
Parabolic equations on evolving domains model a multitude of applications including various industrial processes such as the molding of heated materials. Such equations are numerically challenging as they require large-scale computations and the usage of parallel hardware. Domain decomposition is a common choice of numerical method for stationary domains, as it gives rise to parallel discretizatio…
▽ More
Parabolic equations on evolving domains model a multitude of applications including various industrial processes such as the molding of heated materials. Such equations are numerically challenging as they require large-scale computations and the usage of parallel hardware. Domain decomposition is a common choice of numerical method for stationary domains, as it gives rise to parallel discretizations. In this study, we introduce a variational framework that extends the use of such methods to evolving domains. In particular, we prove that transmission problems on evolving domains are well posed and equivalent to the corresponding parabolic problems. This in turn implies that the standard non-overlapping domain decompositions, including the Robin-Robin method, become well defined approximations. Furthermore, we prove the convergence of the Robin--Robin method. The framework is based on a generalization of fractional Sobolev-Bochner spaces on evolving domains, time-dependent Steklov-Poincaré operators, and elements of the approximation theory for monotone maps.
△ Less
Submitted 7 March, 2025;
originally announced March 2025.
-
Convergence of the Dirichlet-Neumann method for semilinear elliptic equations
Authors:
Emil Engström
Abstract:
The Dirichlet-Neumann method is a common domain decomposition method for nonoverlapping domain decomposition and the method has been studied extensively for linear elliptic equations. However, for nonlinear elliptic equations, there are only convergence results for some specific cases in one spatial dimension. The aim of this manuscript is therefore to prove that the Dirichlet-Neumann method conve…
▽ More
The Dirichlet-Neumann method is a common domain decomposition method for nonoverlapping domain decomposition and the method has been studied extensively for linear elliptic equations. However, for nonlinear elliptic equations, there are only convergence results for some specific cases in one spatial dimension. The aim of this manuscript is therefore to prove that the Dirichlet-Neumann method converges for a class of semilinear elliptic equations on Lipschitz continuous domains in two and three spatial dimensions. This is achieved by first proving a new result on the convergence of nonlinear iterations in Hilbert spaces and then applying this result to the Steklov-Poincaré formulation of the Dirichlet-Neumann method.
△ Less
Submitted 18 October, 2024;
originally announced October 2024.
-
An abstract approach to the Robin-Robin method
Authors:
Emil Engström,
Eskil Hansen
Abstract:
Recently, their has been development of an abstract approach to the Robin--Robin method, enabling the treatment of linear and nonlinear elliptic and parabolic equations on Lipschitz domains within one framework. However, previously this setting has not been applicable to initial-boundary value problems. The aim of this short note is therefore to demonstrate that this general framework can be appli…
▽ More
Recently, their has been development of an abstract approach to the Robin--Robin method, enabling the treatment of linear and nonlinear elliptic and parabolic equations on Lipschitz domains within one framework. However, previously this setting has not been applicable to initial-boundary value problems. The aim of this short note is therefore to demonstrate that this general framework can be applied to such problems as well.
△ Less
Submitted 14 August, 2024;
originally announced August 2024.
-
Modified Neumann-Neumann methods for semi- and quasilinear elliptic equations
Authors:
Emil Engström,
Eskil Hansen
Abstract:
The Neumann--Neumann method is a commonly employed domain decomposition method for linear elliptic equations. However, the method exhibits slow convergence when applied to semilinear equations and does not seem to converge at all for certain quasilinear equations. We therefore propose two modified Neumann--Neumann methods that have better convergence properties and require less computations. We pr…
▽ More
The Neumann--Neumann method is a commonly employed domain decomposition method for linear elliptic equations. However, the method exhibits slow convergence when applied to semilinear equations and does not seem to converge at all for certain quasilinear equations. We therefore propose two modified Neumann--Neumann methods that have better convergence properties and require less computations. We provide numerical results that show the advantages of these methods when applied to both semilinear and quasilinear equations. We also prove linear convergence with mesh-independent error reduction under certain assumptions on the equation. The analysis is carried out on general Lipschitz domains and relies on the theory of nonlinear Steklov--Poincaré operators.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
Linearly convergent nonoverlapping domain decomposition methods for quasilinear parabolic equations
Authors:
Emil Engström,
Eskil Hansen
Abstract:
We prove linear convergence for a new family of modified Dirichlet--Neumann methods applied to quasilinear parabolic equations, as well as the convergence of the Robin--Robin method. Such nonoverlapping domain decomposition methods are commonly employed for the parallelization of partial differential equation solvers. Convergence has been extensively studied for elliptic equations, but in the case…
▽ More
We prove linear convergence for a new family of modified Dirichlet--Neumann methods applied to quasilinear parabolic equations, as well as the convergence of the Robin--Robin method. Such nonoverlapping domain decomposition methods are commonly employed for the parallelization of partial differential equation solvers. Convergence has been extensively studied for elliptic equations, but in the case of parabolic equations there are hardly any convergence results that are not relying on strong regularity assumptions. Hence, we construct a new framework for analyzing domain decomposition methods applied to quasilinear parabolic problems, based on fractional time derivatives and time-dependent Steklov--Poincaré operators. The convergence analysis is conducted without assuming restrictive regularity assumptions on the solutions or the numerical iterates. We also prove that these continuous convergence results extend to the discrete case obtained when combining domain decompositions with space-time finite elements.
△ Less
Submitted 29 August, 2023;
originally announced August 2023.
-
Time-dependent Steklov--Poincaré operators and space-time Robin--Robin decomposition for the heat equation
Authors:
Emil Engström,
Eskil Hansen
Abstract:
Domain decomposition methods are a set of widely used tools for parallelization of partial differential equation solvers. Convergence is well studied for elliptic equations, but in the case of parabolic equations there are hardly any results for general Lipschitz domains in two or more dimensions. The aim of this work is therefore to construct a new framework for analyzing nonoverlapping domain de…
▽ More
Domain decomposition methods are a set of widely used tools for parallelization of partial differential equation solvers. Convergence is well studied for elliptic equations, but in the case of parabolic equations there are hardly any results for general Lipschitz domains in two or more dimensions. The aim of this work is therefore to construct a new framework for analyzing nonoverlapping domain decomposition methods for the heat equation in a space-time Lipschitz cylinder. The framework is based on a variational formulation, inspired by recent studies of space-time finite elements using Sobolev spaces with fractional time regularity. In this framework, the time-dependent Steklov--Poincaré operators are introduced and their essential properties are proven. We then derive the interface interpretations of the Dirichlet--Neumann, Neumann--Neumann and Robin--Robin methods and show that these methods are well defined. Finally, we prove convergence of the Robin--Robin method and introduce a modified method with stronger convergence properties.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
Convergence Analysis of the Nonoverlapping Robin-Robin Method for Nonlinear Elliptic Equations
Authors:
Emil Engström,
Eskil Hansen
Abstract:
We prove convergence for the nonoverlapping Robin-Robin method applied to nonlinear elliptic equations with a $p$-structure, including degenerate diffusion equations governed by the $p$-Laplacian. This nonoverlapping domain decomposition is commonly encountered when discretizing elliptic equations, as it enables the usage of parallel and distributed hardware. Convergence has been derived in variou…
▽ More
We prove convergence for the nonoverlapping Robin-Robin method applied to nonlinear elliptic equations with a $p$-structure, including degenerate diffusion equations governed by the $p$-Laplacian. This nonoverlapping domain decomposition is commonly encountered when discretizing elliptic equations, as it enables the usage of parallel and distributed hardware. Convergence has been derived in various linear contexts, but little has been proven for nonlinear equations. Hence, we develop a new theory for nonlinear Steklov-Poincaré operators based on the $p$-structure and the $L^p$-generalization of the Lions-Magenes spaces. This framework allows the reformulation of the Robin-Robin method into a Peaceman-Rachford splitting on the interfaces of the subdomains, and the convergence analysis then follows by employing elements of the abstract theory for monotone operators. The analysis is performed on Lipschitz domains and without restrictive regularity assumptions on the solutions.
△ Less
Submitted 3 May, 2021;
originally announced May 2021.
