-
Robust finite element solvers for distributed hyperbolic optimal control problems
Authors:
Ulrich Langer,
Richard Löscher,
Olaf Steinbach,
Huidong Yang
Abstract:
We propose, analyze, and test new robust iterative solvers for systems of linear algebraic equations arising from the space-time finite element discretization of reduced optimality systems defining the approximate solution of hyperbolic distributed, tracking-type optimal control problems with both the standard $L^2$ and the more general energy regularizations. In contrast to the usual time-steppin…
▽ More
We propose, analyze, and test new robust iterative solvers for systems of linear algebraic equations arising from the space-time finite element discretization of reduced optimality systems defining the approximate solution of hyperbolic distributed, tracking-type optimal control problems with both the standard $L^2$ and the more general energy regularizations. In contrast to the usual time-step** approach, we discretize the optimality system by space-time continuous piecewise-linear finite element basis functions which are defined on fully unstructured simplicial meshes. If we aim at the asymptotically best approximation of the given desired state $y_d$ by the computed finite element state $y_{\varrho h}$, then the optimal choice of the regularization parameter $\varrho$ is linked to the space-time finite element mesh-size $h$ by the relations $\varrho=h^4$ and $\varrho=h^2$ for the $L^2$ and the energy regularization, respectively. For this setting, we can construct robust (parallel) iterative solvers for the reduced finite element optimality systems. These results can be generalized to variable regularization parameters adapted to the local behavior of the mesh-size that can heavily change in the case of adaptive mesh refinements. The numerical results illustrate the theoretical findings firmly.
△ Less
Submitted 4 April, 2024;
originally announced April 2024.
-
A Posteriori Single- and Multi-Goal Error Control and Adaptivity for Partial Differential Equations
Authors:
Bernhard Endtmayer,
Ulrich Langer,
Thomas Richter,
Andreas Schafelner,
Thomas Wick
Abstract:
This work reviews goal-oriented a posteriori error control, adaptivity and solver control for finite element approximations to boundary and initial-boundary value problems for stationary and non-stationary partial differential equations, respectively. In particular, coupled field problems with different physics may require simultaneously the accurate evaluation of several quantities of interest, w…
▽ More
This work reviews goal-oriented a posteriori error control, adaptivity and solver control for finite element approximations to boundary and initial-boundary value problems for stationary and non-stationary partial differential equations, respectively. In particular, coupled field problems with different physics may require simultaneously the accurate evaluation of several quantities of interest, which is achieved with multi-goal oriented error control. Sensitivity measures are obtained by solving an adjoint problem. Error localization is achieved with the help of a partition-of-unity. We also review and extend theoretical results for efficiency and reliability by employing a saturation assumption. The resulting adaptive algorithms allow to balance discretization and non-linear iteration errors, and are demonstrated for four applications: Poisson's problem, non-linear elliptic boundary value problems, stationary incompressible Navier-Stokes equations, and regularized parabolic $p$-Laplace initial-boundary value problems. Therein, different finite element discretizations in two different software libraries are utilized, which are partially accompanied with open-source implementations on GitHub.
△ Less
Submitted 17 April, 2024; v1 submitted 2 April, 2024;
originally announced April 2024.
-
Parallel iterative solvers for discretized reduced optimality systems
Authors:
Ulrich Langer,
Richard Löscher,
Olaf Steinbach,
Huidong Yang
Abstract:
We propose, analyze, and test new iterative solvers for large-scale systems of linear algebraic equations arising from the finite element discretization of reduced optimality systems defining the finite element approximations to the solution of elliptic tracking-type distributed optimal control problems with both the standard $L_2$ and the more general energy regularizations. If we aim at an appro…
▽ More
We propose, analyze, and test new iterative solvers for large-scale systems of linear algebraic equations arising from the finite element discretization of reduced optimality systems defining the finite element approximations to the solution of elliptic tracking-type distributed optimal control problems with both the standard $L_2$ and the more general energy regularizations. If we aim at an approximation of the given desired state $y_d$ by the computed finite element state $y_h$ that asymptotically differs from $y_d$ in the order of the best $L_2$ approximation under acceptable costs for the control, then the optimal choice of the regularization parameter $\varrho$ is linked to the mesh-size $h$ by the relations $\varrho=h^4$ and $\varrho=h^2$ for the $L_2$ and the energy regularization, respectively. For this setting, we can construct efficient parallel iterative solvers for the reduced finite element optimality systems. These results can be generalized to variable regularization parameters adapted to the local behavior of the mesh-size that can heavily change in case of adaptive mesh refinement. Similar results can be obtained for the space-time finite element discretization of the corresponding parabolic and hyperbolic optimal control problems.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
Goal-Oriented Adaptive Space-Time Finite Element Methods for Regularized Parabolic p-Laplace Problems
Authors:
B. Endtmayer,
U. Langer,
A. Schafelner
Abstract:
We consider goal-oriented adaptive space-time finite-element discretizations of the regularized parabolic p-Laplace problem on completely unstructured simplicial space-time meshes. The adaptivity is driven by the dual-weighted residual (DWR) method since we are interested in an accurate computation of some possibly nonlinear functionals at the solution. Such functionals represent goals in which en…
▽ More
We consider goal-oriented adaptive space-time finite-element discretizations of the regularized parabolic p-Laplace problem on completely unstructured simplicial space-time meshes. The adaptivity is driven by the dual-weighted residual (DWR) method since we are interested in an accurate computation of some possibly nonlinear functionals at the solution. Such functionals represent goals in which engineers are often more interested than the solution itself. The DWR method requires the numerical solution of a linear adjoint problem that provides the sensitivities for the mesh refinement. This can be done by means of the same full space-time finite element discretization as used for the primal non-linear problems. The numerical experiments presented demonstrate that this goal-oriented, full space-time finite element solver efficiently provides accurate numerical results for different functionals.
△ Less
Submitted 12 June, 2023;
originally announced June 2023.
-
Mass-lum** discretization and solvers for distributed elliptic optimal control problems
Authors:
Ulrich Langer,
Richard Löscher,
Olaf Steinbach,
Huidong Yang
Abstract:
The purpose of this paper is to investigate the effects of the use of mass-lum** in the finite element discretization of the reduced first-order optimality system arising from a standard tracking-type, distributed elliptic optimal control problem with $L_2$ regularization. We show that mass-lum** will not affect the $L_2$ error between the desired state and the computed state, but will lead to…
▽ More
The purpose of this paper is to investigate the effects of the use of mass-lum** in the finite element discretization of the reduced first-order optimality system arising from a standard tracking-type, distributed elliptic optimal control problem with $L_2$ regularization. We show that mass-lum** will not affect the $L_2$ error between the desired state and the computed state, but will lead to a Schur-complement system that allows for a fast matrix-by-vector multiplication. We show that the use of the Schur-Complement Preconditioned Conjugate Gradient method in a nested iteration setting leads to an asymptotically optimal solver with respect to the complexity.
△ Less
Submitted 28 April, 2023;
originally announced April 2023.
-
An adaptive finite element method for distributed elliptic optimal control problems with variable energy regularization
Authors:
Ulrich Langer,
Richard Löscher,
Olaf Steinbach,
Huidong Yang
Abstract:
We analyze the finite element discretization of distributed elliptic optimal control problems with variable energy regularization, where the usual $L^2(Ω)$ norm regularization term with a constant regularization parameter $\varrho$ is replaced by a suitable representation of the energy norm in $H^{-1}(Ω)$ involving a variable, mesh-dependent regularization parameter $\varrho(x)$. It turns out that…
▽ More
We analyze the finite element discretization of distributed elliptic optimal control problems with variable energy regularization, where the usual $L^2(Ω)$ norm regularization term with a constant regularization parameter $\varrho$ is replaced by a suitable representation of the energy norm in $H^{-1}(Ω)$ involving a variable, mesh-dependent regularization parameter $\varrho(x)$. It turns out that the error between the computed finite element state $\widetilde{u}_{\varrho h}$ and the desired state $\overline{u}$ (target) is optimal in the $L^2(Ω)$ norm provided that $\varrho(x)$ behaves like the local mesh size squared. This is especially important when adaptive meshes are used in order to approximate discontinuous target functions. The adaptive scheme can be driven by the computable and localizable error norm $\| \widetilde{u}_{\varrho h} - \overline{u}\|_{L^2(Ω)}$ between the finite element state $\widetilde{u}_{\varrho h}$ and the target $\overline{u}$. The numerical results not only illustrate our theoretical findings, but also show that the iterative solvers for the discretized reduced optimality system are very efficient and robust.
△ Less
Submitted 14 August, 2023; v1 submitted 19 September, 2022;
originally announced September 2022.
-
Robust finite element discretization and solvers for distributed elliptic optimal control problems
Authors:
Ulrich Langer,
Richard Löscher,
Olaf Steinbach,
Huidong Yang
Abstract:
We consider standard tracking-type, distributed elliptic optimal control problems with $L^2$ regularization, and their finite element discretization. We are investigating the $L^2$ error between the finite element approximation $u_{\varrho h}$ of the state $u_\varrho$ and the desired state (target) $\bar{u}$ in terms of the regularization parameter $\varrho$ and the mesh size $h$ that leads to the…
▽ More
We consider standard tracking-type, distributed elliptic optimal control problems with $L^2$ regularization, and their finite element discretization. We are investigating the $L^2$ error between the finite element approximation $u_{\varrho h}$ of the state $u_\varrho$ and the desired state (target) $\bar{u}$ in terms of the regularization parameter $\varrho$ and the mesh size $h$ that leads to the optimal choice $\varrho = h^4$. It turns out that, for this choice of the regularization parameter, we can devise simple Jacobi-like preconditioned MINRES or Bramble-Pasciak CG methods that allow us to solve the reduced discrete optimality system in asymptotically optimal complexity with respect to the arithmetical operations and memory demand. The theoretical results are confirmed by several benchmark problems with targets of various regularities including discontinuous targets.
△ Less
Submitted 11 July, 2022;
originally announced July 2022.
-
Robust space-time finite element error estimates for parabolic distributed optimal control problems with energy regularization
Authors:
Ulrich Langer,
Olaf Steinbach,
Huidong Yang
Abstract:
We consider space-time tracking optimal control problems for linear para\-bo\-lic initial boundary value problems that are given in the space-time cylinder $Q = Ω\times (0,T)$, and that are controlled by the right-hand side $z_\varrho$ from the Bochner space $L^2(0,T;H^{-1}(Ω))$. So it is natural to replace the usual $L^2(Q)$ norm regularization by the energy regularization in the…
▽ More
We consider space-time tracking optimal control problems for linear para\-bo\-lic initial boundary value problems that are given in the space-time cylinder $Q = Ω\times (0,T)$, and that are controlled by the right-hand side $z_\varrho$ from the Bochner space $L^2(0,T;H^{-1}(Ω))$. So it is natural to replace the usual $L^2(Q)$ norm regularization by the energy regularization in the $L^2(0,T;H^{-1}(Ω))$ norm. We derive a priori estimates for the error $\|\widetilde{u}_{\varrho h} - \bar{u}\|_{L^2(Q)}$ between the computed state $\widetilde{u}_{\varrho h}$ and the desired state $\bar{u}$ in terms of the regularization parameter $\varrho$ and the space-time finite element mesh-size $h$, and depending on the regularity of the desired state $\bar{u}$. These estimates lead to the optimal choice $\varrho = h^2$. The approximate state $\widetilde{u}_{\varrho h}$ is computed by means of a space-time finite element method using piecewise linear and continuous basis functions on completely unstructured simplicial meshes for $Q$. The theoretical results are quantitatively illustrated by a series of numerical examples in two and three space dimensions.
△ Less
Submitted 13 June, 2022;
originally announced June 2022.
-
Matrix-free Monolithic Multigrid Methods for Stokes and Generalized Stokes Problems
Authors:
Daniel Jodlbauer,
Ulrich Langer,
Thomas Wick,
Walter Zulehner
Abstract:
We consider the widely used continuous $\mathcal{Q}_{k}$-$\mathcal{Q}_{k-1}$ quadrilateral or hexahedral Taylor-Hood elements for the finite element discretization of the Stokes and generalized Stokes systems in two and three spatial dimensions. For the fast solution of the corresponding symmetric, but indefinite system of finite element equations, we propose and analyze matrix-free monolithic geo…
▽ More
We consider the widely used continuous $\mathcal{Q}_{k}$-$\mathcal{Q}_{k-1}$ quadrilateral or hexahedral Taylor-Hood elements for the finite element discretization of the Stokes and generalized Stokes systems in two and three spatial dimensions. For the fast solution of the corresponding symmetric, but indefinite system of finite element equations, we propose and analyze matrix-free monolithic geometric multigrid solvers that are based on appropriately scaled Chebyshev-Jacobi smoothers. The analysis is based on results by Schöberl and Zulehner (2003). We present and discuss several numerical results for typical benchmark problems.
△ Less
Submitted 31 May, 2022;
originally announced May 2022.
-
Space-time finite element methods for the initial temperature reconstruction
Authors:
Ulrich Langer,
Olaf Steinbach,
Fredi Tröltzsch,
Huidong Yang
Abstract:
This work is devoted to the reconstruction of the initial temperature in the backward heat equation using the space-time finite element method on fully unstructured space-time simplicial meshes proposed by Steinbach (2015). Such a severely ill-posed problem is tackled by the standard Tikhonov regularization method. This leads to a related optimal control for an parabolic equation in the space-time…
▽ More
This work is devoted to the reconstruction of the initial temperature in the backward heat equation using the space-time finite element method on fully unstructured space-time simplicial meshes proposed by Steinbach (2015). Such a severely ill-posed problem is tackled by the standard Tikhonov regularization method. This leads to a related optimal control for an parabolic equation in the space-time domain. In this setting, the control is taken as initial condition, whereas the terminal observation data serve as target. The objective becomes a standard terminal observation functional combined with the Tikhonov regularization. The space-time finite element method is applied to the space-time optimality system that is well-posed for a fixed regularization parameter.
△ Less
Submitted 30 March, 2021;
originally announced March 2021.
-
Space-time hexahedral finite element methods for parabolic evolution problems
Authors:
Ulrich Langer,
Andreas Schafelner
Abstract:
We present locally stabilized, conforming space-time finite element methods for parabolic evolution equations on hexahedral decompositions of the space-time cylinder. Tensor-product decompositions allow for anisotropic a priori error estimates, that are explicit in spatial and temporal meshsizes. Moreover, tensor-product finite elements are suitable for anisotropic adaptive mesh refinement strateg…
▽ More
We present locally stabilized, conforming space-time finite element methods for parabolic evolution equations on hexahedral decompositions of the space-time cylinder. Tensor-product decompositions allow for anisotropic a priori error estimates, that are explicit in spatial and temporal meshsizes. Moreover, tensor-product finite elements are suitable for anisotropic adaptive mesh refinement strategies provided that an appropriate a posteriori discretization error estimator is available. We present such anisotropic adaptive strategies together with numerical experiments.
△ Less
Submitted 25 March, 2021;
originally announced March 2021.
-
Simultaneous space-time finite element methods for parabolic optimal control problems
Authors:
Ulrich Langer,
Andreas Schafelner
Abstract:
This work presents, analyzes and tests stabilized space-time finite element methods on fully unstructured simplicial space-time meshes for the numerical solution of space-time tracking parabolic optimal control problems with the standard $L_2$-regularization.
This work presents, analyzes and tests stabilized space-time finite element methods on fully unstructured simplicial space-time meshes for the numerical solution of space-time tracking parabolic optimal control problems with the standard $L_2$-regularization.
△ Less
Submitted 2 March, 2021;
originally announced March 2021.
-
Robust discretization and solvers for elliptic optimal control problems with energy regularization
Authors:
Ulrich Langer,
Olaf Steinbach,
Huidong Yang
Abstract:
We consider the finite element discretization and the iterative solution of singularly perturbed elliptic reaction-diffusion equations in three-dimensional computational domains. These equations arise from the optimality conditions for elliptic distributed optimal control problems with energy regularization that were recently studied by M.~Neumüller and O.~Steinbach (2020). We provide quasi-optima…
▽ More
We consider the finite element discretization and the iterative solution of singularly perturbed elliptic reaction-diffusion equations in three-dimensional computational domains. These equations arise from the optimality conditions for elliptic distributed optimal control problems with energy regularization that were recently studied by M.~Neumüller and O.~Steinbach (2020). We provide quasi-optimal a priori finite element error estimates which depend both on the mesh size $h$ and on the regularization parameter $\varrho$. The choice $\varrho = h^2$ ensures optimal convergence which only depends on the regularity of the target function. For the iterative solution, we employ an algebraic multigrid preconditioner and a balancing domain decomposition by constraints (BDDC) preconditioner. We numerically study robustness and efficiency of the proposed algebraic preconditioners with respect to the mesh size $h$, the regularization parameter $\varrho$, and the number of subdomains (cores) $p$. Furthermore, we investigate the parallel performance of the BDDC preconditioned conjugate gradient solver.
△ Less
Submitted 6 February, 2021;
originally announced February 2021.
-
Efficient Direct Space-Time Finite Element Solvers for Parabolic Initial-Boundary Value Problems in Anisotropic Sobolev Spaces
Authors:
Ulrich Langer,
Marco Zank
Abstract:
We consider a space-time variational formulation of parabolic initial-boundary value problems in anisotropic Sobolev spaces in combination with a Hilbert-type transformation. This variational setting is the starting point for the space-time Galerkin finite element discretization that leads to a large global linear system of algebraic equations. We propose and investigate new efficient direct solve…
▽ More
We consider a space-time variational formulation of parabolic initial-boundary value problems in anisotropic Sobolev spaces in combination with a Hilbert-type transformation. This variational setting is the starting point for the space-time Galerkin finite element discretization that leads to a large global linear system of algebraic equations. We propose and investigate new efficient direct solvers for this system. In particular, we use a tensor-product approach with piecewise polynomial, globally continuous ansatz and test functions. The developed solvers are based on the Bartels-Stewart method and on the Fast Diagonalization method, which result in solving a sequence of spatial subproblems. The solver based on the Fast Diagonalization method allows to solve these spatial subproblems in parallel leading to a full parallelization in time. We analyze the complexity of the proposed algorithms, and give numerical examples for a two-dimensional spatial domain, where sparse direct solvers for the spatial subproblems are used.
△ Less
Submitted 5 August, 2020;
originally announced August 2020.
-
Parallel matrix-free higher-order finite element solvers for phase-field fracture problems
Authors:
Daniel Jodlbauer,
Ulrich Langer,
Thomas Wick
Abstract:
Phase-field fracture models lead to variational problems that can be written as a coupled variational equality and inequality system. Numerically, such problems can be treated with Galerkin finite elements and primal-dual active set methods. Specifically, low-order and high-order finite elements may be employed, where, for the latter, only few studies exist to date. The most time-consuming part in…
▽ More
Phase-field fracture models lead to variational problems that can be written as a coupled variational equality and inequality system. Numerically, such problems can be treated with Galerkin finite elements and primal-dual active set methods. Specifically, low-order and high-order finite elements may be employed, where, for the latter, only few studies exist to date. The most time-consuming part in the discrete version of the primal-dual active set (semi-smooth Newton) algorithm consists in the solutions of changing linear systems arising at each semi-smooth Newton step. We propose a new parallel matrix-free monolithic multigrid preconditioner for these systems. We provide two numerical tests, and discuss the performance of the parallel solver proposed in the paper. Furthermore, we compare our new preconditioner with a block-AMG preconditioner available in the literature.
△ Less
Submitted 1 May, 2020;
originally announced May 2020.
-
Space-time finite element discretization of parabolic optimal control problems with energy regularization
Authors:
Ulrich Langer,
Olaf Steinbach,
Fredi Tröltzsch,
Huidong Yang
Abstract:
We analyze space-time finite element methods for the numerical solution of distributed parabolic optimal control problems with energy regularization in the Bochner space $L^2(0,T;H^{-1}(Ω))$. By duality, the related norm can be evaluated by means of the solution of an elliptic quasi-stationary boundary value problem. When eliminating the control, we end up with the reduced optimality system that i…
▽ More
We analyze space-time finite element methods for the numerical solution of distributed parabolic optimal control problems with energy regularization in the Bochner space $L^2(0,T;H^{-1}(Ω))$. By duality, the related norm can be evaluated by means of the solution of an elliptic quasi-stationary boundary value problem. When eliminating the control, we end up with the reduced optimality system that is nothing but the variational formulation of the coupled forward-backward primal and adjoint equations. Using Babuška's theorem, we prove unique solvability in the continuous case. Furthermore, we establish the discrete inf-sup condition for any conforming space-time finite element discretization yielding quasi-optimal discretization error estimates. Various numerical examples confirm the theoretical findings. We emphasize that the energy regularization results in a more localized control with sharper contours for discontinuous target functions, which is demonstrated by a comparison with an $L^2$ regularization and with a sparse optimal control approach.
△ Less
Submitted 20 April, 2020;
originally announced April 2020.
-
Unstructured space-time finite element methods for optimal control of parabolic equations
Authors:
Ulrich Langer,
Olaf Steinbach,
Fredi Tröltzsch,
Huidong Yang
Abstract:
This work presents and analyzes space-time finite element methods on fully unstructured simplicial space-time meshes for the numerical solution of parabolic optimal control problems. Using Babuška's theorem, we show well-posedness of the first-order optimality systems for a typical model problem with linear state equations, but without control constraints. This is done for both continuous and disc…
▽ More
This work presents and analyzes space-time finite element methods on fully unstructured simplicial space-time meshes for the numerical solution of parabolic optimal control problems. Using Babuška's theorem, we show well-posedness of the first-order optimality systems for a typical model problem with linear state equations, but without control constraints. This is done for both continuous and discrete levels. Based on these results, we derive discretization error estimates. Then we consider a semilinear parabolic optimal control problem arising from the Schlögl model. The associated nonlinear optimality system is solved by Newton's method, where a linear system, that is similar to the first-order optimality systems considered for the linear model problems, has to be solved at each Newton step. We present various numerical experiments including results for adaptive space-time finite element discretizations based on residual-type error indicators. In the last two examples, we also consider semilinear parabolic optimal control problems with box constraints imposed on the control.
△ Less
Submitted 4 April, 2020;
originally announced April 2020.
-
Unstructured Space-Time Finite Element Methods for Optimal Sparse Control of Parabolic Equations
Authors:
Ulrich Langer,
Olaf Steinbach,
Fredi Tröltzsch,
Huidong Yang
Abstract:
We consider a space-time finite element method on fully unstructured simplicial meshes for optimal sparse control of semilinear parabolic equations. The objective is a combination of a standard quadratic tracking-type functional including a Tikhonov regularization term and of the $L^1$-norm of the control that accounts for its spatio-temporal sparsity. We use a space-time Petrov-Galerkin finite el…
▽ More
We consider a space-time finite element method on fully unstructured simplicial meshes for optimal sparse control of semilinear parabolic equations. The objective is a combination of a standard quadratic tracking-type functional including a Tikhonov regularization term and of the $L^1$-norm of the control that accounts for its spatio-temporal sparsity. We use a space-time Petrov-Galerkin finite element discretization for the first-order necessary optimality system of the associated discrete optimal sparse control problem. The discretization is based on a variational formulation that employs piecewise linear finite elements simultaneously in space and time. Finally, the discrete nonlinear optimality system that consists of coupled forward-backward state and adjoint state equations is solved by a semismooth Newton method.
△ Less
Submitted 31 March, 2020;
originally announced March 2020.
-
Adaptive space-time finite element methods for non-autonomous parabolic problems with distributional sources
Authors:
Ulrich Langer,
Andreas Schafelner
Abstract:
We consider locally stabilized, conforming finite element schemes on completely unstructured simplicial space-time meshes for the numerical solution of parabolic initial-boundary value problems with variable, possibly discontinuous in space and time, coefficients. Distributional sources are also admitted. Discontinuous coefficients, non-smooth boundaries, changing boundary conditions, non-smooth o…
▽ More
We consider locally stabilized, conforming finite element schemes on completely unstructured simplicial space-time meshes for the numerical solution of parabolic initial-boundary value problems with variable, possibly discontinuous in space and time, coefficients. Distributional sources are also admitted. Discontinuous coefficients, non-smooth boundaries, changing boundary conditions, non-smooth or incompatible initial conditions, and non-smooth right-hand sides can lead to non-smooth solutions. We present new a priori and a posteriori error estimates for low-regularity solutions. In order to avoid reduced convergence rates appearing in the case of uniform mesh refinement, we also consider adaptive refinement procedures based on residual a posteriori error indicators and functional a posteriori error estimators. The huge system of space-time finite element equations is then solved by means of GMRES preconditioned by space-time algebraic multigrid. In particular, in the 4d space-time case that is 3d in space, simultaneous space-time parallelization can considerably reduce the computational time. We present and discuss numerical results for several examples possessing different regularity features.
△ Less
Submitted 20 March, 2020;
originally announced March 2020.
-
Reliability and efficiency of DWR-type a posteriori error estimates with smart sensitivity weight recovering
Authors:
Bernhard Endtmayer,
Ulrich Langer,
Thomas Wick
Abstract:
We derive efficient and reliable goal-oriented error estimations, and devise adaptive mesh procedures for the finite element method that are based on the localization of a posteriori estimates. In our previous work [SIAM J. Sci. Comput., 42(1), A371--A394, 2020], we showed efficiency and reliability for error estimators based on enriched finite element spaces. However, the solution of problems on…
▽ More
We derive efficient and reliable goal-oriented error estimations, and devise adaptive mesh procedures for the finite element method that are based on the localization of a posteriori estimates. In our previous work [SIAM J. Sci. Comput., 42(1), A371--A394, 2020], we showed efficiency and reliability for error estimators based on enriched finite element spaces. However, the solution of problems on a enriched finite element space is expensive. In the literature, it is well known that one can use some higher-order interpolation to overcome this bottleneck. Using a saturation assumption, we extend the proofs of efficiency and reliability to such higher-order interpolations. The results can be used to create a new family of algorithms, where one of them is tested on three numerical examples (Poisson problem, p-Laplace equation, Navier-Stokes benschmark), and is compared to our previous algorithm.
△ Less
Submitted 19 March, 2020;
originally announced March 2020.
-
Hierarchical DWR Error Estimates for the Navier Stokes Equation: $h$ and $p$ Enrichment
Authors:
B. Endtmayer,
U. Langer,
J. P. Thiele,
T. Wick
Abstract:
In this work, we further develop multigoal-oriented a posteriori error estimation for the nonlinear, stationary, incompressible Navier-Stokes equations. It is an extension of our previous work [B. Endtmayer, U. Langer, T. Wick: Two-side a posteriori error estimates for the DWR method, $SISC$, 2019, accepted]. We now focus on $h$ mesh refinement and $p$ enrichment for the error estimator. These adv…
▽ More
In this work, we further develop multigoal-oriented a posteriori error estimation for the nonlinear, stationary, incompressible Navier-Stokes equations. It is an extension of our previous work [B. Endtmayer, U. Langer, T. Wick: Two-side a posteriori error estimates for the DWR method, $SISC$, 2019, accepted]. We now focus on $h$ mesh refinement and $p$ enrichment for the error estimator. These advancements are demonstrated with the help of a numerical example
△ Less
Submitted 10 December, 2019;
originally announced December 2019.
-
Multigoal-oriented optimal control problems with nonlinear PDE constraints
Authors:
Bernhard Endtmayer,
Ulrich Langer,
Ira Neitzel,
Winnifried Wollner,
Thomas Wick
Abstract:
In this work, we consider an optimal control problem subject to a nonlinear PDE constraint and apply it to the regularized $p$-Laplace equation. To this end, a reduced unconstrained optimization problem in terms of the control variable is formulated. Based on the reduced approach, we then derive an a posteriori error representation and mesh adaptivity for multiple quantities of interest. All quant…
▽ More
In this work, we consider an optimal control problem subject to a nonlinear PDE constraint and apply it to the regularized $p$-Laplace equation. To this end, a reduced unconstrained optimization problem in terms of the control variable is formulated. Based on the reduced approach, we then derive an a posteriori error representation and mesh adaptivity for multiple quantities of interest. All quantities are combined to one, and then the dual-weighted residual (DWR) method is applied to this combined functional. Furthermore, the estimator allows for balancing the discretization error and the nonlinear iteration error. These developments allow us to formulate an adaptive solution strategy, which is finally substantiated via several numerical examples.
△ Less
Submitted 7 March, 2019;
originally announced March 2019.
-
Space-Time Finite Element Methods for Parabolic Evolution Problems with Non-smooth Solutions
Authors:
Ulrich Langer,
Andreas Schafelner
Abstract:
We propose consistent locally stabilized, conforming finite element schemes on completely unstructured simplicial space-time meshes for the numerical solution of non-autonomous parabolic evolution problems under the assumption of maximal parabolic regularity. We present new a priori estimates for low-regularity solutions. In order to avoid reduced convergence rates appearing in the case of uniform…
▽ More
We propose consistent locally stabilized, conforming finite element schemes on completely unstructured simplicial space-time meshes for the numerical solution of non-autonomous parabolic evolution problems under the assumption of maximal parabolic regularity. We present new a priori estimates for low-regularity solutions. In order to avoid reduced convergence rates appearing in the case of uniform mesh refinement, we also consider adaptive refinement procedures based on residual a posteriori error indicators. The huge system of space-time finite element equations is then solved by means of GMRES preconditioned by algebraic multigrid.
△ Less
Submitted 6 March, 2019;
originally announced March 2019.
-
Matrix-free multigrid solvers for phase-field fracture problems
Authors:
Daniel Jodlbauer,
Ulrich Langer,
Thomas Wick
Abstract:
In this work, we present a framework for the matrix-free solution to a monolithic quasi-static phase-field fracture model with geometric multigrid methods. Using a standard matrix based approach within the Finite Element Method requires lots of memory, which eventually becomes a serious bottleneck. A matrix-free approach overcomes this problems and greatly reduces the amount of required memory, al…
▽ More
In this work, we present a framework for the matrix-free solution to a monolithic quasi-static phase-field fracture model with geometric multigrid methods. Using a standard matrix based approach within the Finite Element Method requires lots of memory, which eventually becomes a serious bottleneck. A matrix-free approach overcomes this problems and greatly reduces the amount of required memory, allowing to solve larger problems on available hardware. One key challenge is concerned with the crack irreversibility for which a primal-dual active set method is employed. Here, the Active-Set values of fine meshes must be available on coarser levels of the multigrid algorithm. The developed multigrid method provides a preconditioner for a generalized minimal residual solver. This method is used for solving the linear equations inside Newton's method for treating the overall nonlinear-monolithic discrete displacement/phase-field formulation. Several numerical examples demonstrate the performance and robustness of our solution technology. Mesh refinement studies, variations in the phase-field regularization parameter, iterations numbers of the linear and nonlinear solvers, and some parallel performances are conducted to substantiate the efficiency of the proposed solver for single fractures, multiple pressurized fractures, and a L-shaped panel test in three dimensions.
△ Less
Submitted 22 February, 2019; v1 submitted 21 February, 2019;
originally announced February 2019.
-
Two-side a posteriori error estimates for the DWR method
Authors:
Bernhard Endtmayer,
Ulrich Langer,
Thomas Wick
Abstract:
In this work, we derive two-sided a posteriori error estimates for the dual-weighted residual (DWR) method. We consider both single and multiple goal functionals. Using a saturation assumption, we derive lower bounds yielding the efficiency of the error estimator. These results hold true for both nonlinear partial differential equations and nonlinear functionals of interest. Furthermore, the DWR m…
▽ More
In this work, we derive two-sided a posteriori error estimates for the dual-weighted residual (DWR) method. We consider both single and multiple goal functionals. Using a saturation assumption, we derive lower bounds yielding the efficiency of the error estimator. These results hold true for both nonlinear partial differential equations and nonlinear functionals of interest. Furthermore, the DWR method employed in this work accounts for balancing the discretization error with the nonlinear iteration error. We also perform careful studies of the remainder term that is usually neglected. Based on these theoretical investigations, several algorithms are designed. Our theoretical findings and algorithmic developments are substantiated with some numerical tests.
△ Less
Submitted 19 November, 2018;
originally announced November 2018.
-
BDDC preconditioners for a space-time finite element discretization of parabolic problems
Authors:
Ulrich Langer,
Huidong Yang
Abstract:
This paper deals with balanced domain decomposition by constraints (BDDC) method for solving large-scale linear systems of algebraic equations arising from the space-time finite element discretization of parabolic initial-boundary value problems. The time is considered as just another spatial coordinate, and the finite elements are continuous and piecewise linear on unstructured simplicial space-t…
▽ More
This paper deals with balanced domain decomposition by constraints (BDDC) method for solving large-scale linear systems of algebraic equations arising from the space-time finite element discretization of parabolic initial-boundary value problems. The time is considered as just another spatial coordinate, and the finite elements are continuous and piecewise linear on unstructured simplicial space-time meshes. We consider BDDC preconditioned GMRES methods for solving the space-time finite element Schur complement equations on the interface. Numerical studies demonstrate robustness of the preconditioners to some extent.
△ Less
Submitted 29 October, 2018;
originally announced October 2018.
-
Isogeometric Simulation and Shape Optimization with Applications to Electrical Machines
Authors:
Peter Gangl,
Ulrich Langer,
Angelos Mantzaflaris,
Rainer Schneckenleitner
Abstract:
Future e-mobility calls for efficient electrical machines. For different areas of operation, these machines have to satisfy certain desired properties that often depend on their design. Here we investigate the use of multipatch Isogeometric Analysis (IgA) for the simulation and shape optimization of the electrical machines. In order to get fast simulation and optimization results, we use non-overl…
▽ More
Future e-mobility calls for efficient electrical machines. For different areas of operation, these machines have to satisfy certain desired properties that often depend on their design. Here we investigate the use of multipatch Isogeometric Analysis (IgA) for the simulation and shape optimization of the electrical machines. In order to get fast simulation and optimization results, we use non-overlap** domain decomposition (DD) methods to solve the large systems of algebraic equations arising from the IgA discretization of underlying partial differential equations. The DD is naturally related to the multipatch representation of the computational domain, and provides the framework for the parallelization of the DD solvers.
△ Less
Submitted 10 September, 2018;
originally announced September 2018.
-
Adaptive space-time isogeometric analysis for parabolic evolution problems
Authors:
Ulrich Langer,
Svetlana Matculevich,
Sergey Repin
Abstract:
The paper is concerned with locally stabilized space-time IgA approximations to initial boundary value problems of the parabolic type. Originally, similar schemes (but weighted with a global mesh parameter) was presented and studied by U. Langer, M. Neumueller, and S. Moore (2016). The current work devises a localised version of this scheme and establishes coercivity, boundedness, and consistency…
▽ More
The paper is concerned with locally stabilized space-time IgA approximations to initial boundary value problems of the parabolic type. Originally, similar schemes (but weighted with a global mesh parameter) was presented and studied by U. Langer, M. Neumueller, and S. Moore (2016). The current work devises a localised version of this scheme and establishes coercivity, boundedness, and consistency of the corresponding bilinear form. Using these fundamental properties together with the corresponding approximation error estimates for B-splines, we show that the space-time IgA solutions generated by the new scheme satisfy asymptotically optimal a priori discretization error estimates. The adaptive mesh refinement algorithm proposed in the paper is based on a posteriori error estimates of the functional type that has been rigorously studied in earlier works by S. Repin (2002) and U. Langer, S. Matculevich, and S. Repin (2017). Numerical results presented in the second part of the paper confirm the improved convergence of global approximation errors. Moreover, these results also confirm the local efficiency of the error indicators produced by the error majorants.
△ Less
Submitted 16 July, 2018;
originally announced July 2018.
-
Multigoal-Oriented Error Estimates for Non-linear Problems
Authors:
B. Endtmayer,
U. Langer,
T. Wick
Abstract:
In this work, we further develop multigoal-oriented a posteriori error estimation with two objectives in mind. First, we formulate goal-oriented mesh adaptivity for multiple functionals of interest for nonlinear problems in which both the Partial Differential Equation (PDE) and the goal functionals may be nonlinear. Our method is based on a posteriori error estimates in which the adjoint problem i…
▽ More
In this work, we further develop multigoal-oriented a posteriori error estimation with two objectives in mind. First, we formulate goal-oriented mesh adaptivity for multiple functionals of interest for nonlinear problems in which both the Partial Differential Equation (PDE) and the goal functionals may be nonlinear. Our method is based on a posteriori error estimates in which the adjoint problem is used and a partition-of-unity is employed for the error localization that allows us to formulate the error estimator in the weak form.We provide a careful derivation of the primal and adjoint parts of the error estimator. The second objective is concerned with balancing the nonlinear iteration error with the discretization error yielding adaptive stop** rules for Newton's method. Our techniques are substantiated with several numerical examples including scalar PDEs and PDE systems, geometric singularities, and both nonlinear PDEs and nonlinear goal functionals. In these tests, up to six goal functionals are simultaneously controlled.
△ Less
Submitted 4 April, 2018;
originally announced April 2018.
-
Robust Preconditioning for Space-Time Isogeometric Analysis of Parabolic Evolution Problems
Authors:
Christoph Hofer,
Ulrich Langer,
Martin Neumüller
Abstract:
We propose and investigate new robust preconditioners for space-time Isogeometric Analysis of parabolic evolution problems. These preconditioners are based on a time parallel multigrid method. We consider a decomposition of the space-time cylinder into time-slabs which are coupled via a discontinuous Galerkin technique. The time-slabs provide the structure for the time-parallel multigrid solver. T…
▽ More
We propose and investigate new robust preconditioners for space-time Isogeometric Analysis of parabolic evolution problems. These preconditioners are based on a time parallel multigrid method. We consider a decomposition of the space-time cylinder into time-slabs which are coupled via a discontinuous Galerkin technique. The time-slabs provide the structure for the time-parallel multigrid solver. The most important part of the multigrid method is the smoother. We utilize the special structure of the involved operator to decouple its application into several spatial problems by means of generalized eigenvalue or Schur decompositions. Some of these problems have a symmetric saddle point structure, for which we present robust preconditions. Finally, we present numerical experiments confirming the robustness of our space-time IgA solver.
△ Less
Submitted 26 February, 2018;
originally announced February 2018.
-
Parallel Block-Preconditioned Monolithic Solvers for Fluid-Structure-Interaction Problems
Authors:
D. Jodlbauer,
U. Langer,
T. Wick
Abstract:
In this work, we consider the solution of fluid-structure interaction problems using a monolithic approach for the coupling between fluid and solid subproblems. The coupling of both equations is realized by means of the arbitrary Lagrangian-Eulerian framework and a nonlinear harmonic mesh motion model. Monolithic approaches require the solution of large, ill-conditioned linear systems of algebraic…
▽ More
In this work, we consider the solution of fluid-structure interaction problems using a monolithic approach for the coupling between fluid and solid subproblems. The coupling of both equations is realized by means of the arbitrary Lagrangian-Eulerian framework and a nonlinear harmonic mesh motion model. Monolithic approaches require the solution of large, ill-conditioned linear systems of algebraic equations at every Newton step. Direct solvers tend to use too much memory even for a relatively small number of degrees of freedom, and, in addition, exhibit superlinear grow in arithmetic complexity. Thus, iterative solvers are the only viable option. To ensure convergence of iterative methods within a reasonable amount of iterations, good and, at the same time, cheap preconditioners have to be developed. We study physics-based block preconditioners, which are derived from the block $LDU$-factorization of the FSI Jacobian, and their performance on distributed memory parallel computers in terms of two- and three-dimensional test cases permitting large deformations.
△ Less
Submitted 8 March, 2018; v1 submitted 17 January, 2018;
originally announced January 2018.
-
Guaranteed error control bounds for the stabilised space-time IgA approximations to parabolic problems
Authors:
Ulrich Langer,
Svetlana Matculevich,
Sergey Repin
Abstract:
The paper is concerned with space-time IgA approximations of parabolic initial-boundary value problems. We deduce guaranteed and fully computable error bounds adapted to special features of IgA approximations and investigate their applicability. The derivation method is based on the analysis of respective integral identities and purely functional arguments. Therefore, the estimates do not contain…
▽ More
The paper is concerned with space-time IgA approximations of parabolic initial-boundary value problems. We deduce guaranteed and fully computable error bounds adapted to special features of IgA approximations and investigate their applicability. The derivation method is based on the analysis of respective integral identities and purely functional arguments. Therefore, the estimates do not contain mesh-dependent constants and are valid for any approximation from the admissible (energy) class. In particular, they provide computable error bounds for norms associated with stabilised space-time IgA approximations as well as imply efficient error indicators enhancing the performance of fully adaptive solvers. The last section of the paper contains a series of numerical examples where approximate solutions are recovered by IgA techniques. The mesh refinement algorithm is governed by a local error indicator generated by the error majorant. Numerical results discussed in the last section illustrate both reliability, as well as the quantitative efficiency of the error estimates presented.
△ Less
Submitted 19 February, 2018; v1 submitted 16 December, 2017;
originally announced December 2017.
-
Inexact Dual-Primal Isogeometric Tearing and Interconnecting Methods
Authors:
Christoph Hofer,
Ulrich Langer,
Stefan Takacs
Abstract:
In this paper, we investigate inexact variants of dual-primal isogeometric tearing and interconnecting methods for solving large-scale systems of linear equations arising from Galerkin isogeometric discretizations of elliptic boundary value problems. The considered methods are extensions of standard finite element tearing and interconnecting methods to isogeometric analysis. The algorithms are imp…
▽ More
In this paper, we investigate inexact variants of dual-primal isogeometric tearing and interconnecting methods for solving large-scale systems of linear equations arising from Galerkin isogeometric discretizations of elliptic boundary value problems. The considered methods are extensions of standard finite element tearing and interconnecting methods to isogeometric analysis. The algorithms are implemented by means of energy minimizing primal subspaces. We discuss the replacement of local sparse direct solvers by iterative methods, particularly, multigrid solvers. We investigate the incorporation of these iterative solvers into different formulations of the algorithm. Finally, we present numerical examples comparing the performance of these inexact versions.
△ Less
Submitted 12 May, 2017;
originally announced May 2017.
-
A posteriori error estimates for space-time IgA approximations to parabolic initial boundary value problems
Authors:
Ulrich Langer,
Svetlana Matculevich,
Sergey Repin
Abstract:
This work is concerned with a posteriori error estimates of the functional type for approximations constructed by space-time IgA scheme presented in paper by Langer, Neumueller, and Moore (2016). We consider approxima- tions in the corresponding IgA spaces based on elliptic and bounded bilinear form (associated with the spatial part). It is proved that the approximations satisfy classic a priori e…
▽ More
This work is concerned with a posteriori error estimates of the functional type for approximations constructed by space-time IgA scheme presented in paper by Langer, Neumueller, and Moore (2016). We consider approxima- tions in the corresponding IgA spaces based on elliptic and bounded bilinear form (associated with the spatial part). It is proved that the approximations satisfy classic a priori error estimates. Also, we deduce a posteriori error estimates for a stabilized weak formulation of the considered parabolic initial boundary value problem (I-BVP). They are derived by a general functional method and do not contain mesh dependent constants. The estimates are valid for a wide class of approximations. In particular, they imply estimates for the discrete norm of IgA approximations. Moreover, we introduce different forms of a posteriori error estimates (error majorants) and establish equivalence of majorants and energy error norm. This property justifies efficiency and reliability of a posteriori error estimates. Another important property of the estimates is their flexibility with respect to a certain amount of free parameters. Using these parameters we can obtain estimates for different error norms and minimize the respective majorant in order to find the best possible bound of the error.
△ Less
Submitted 28 April, 2017; v1 submitted 28 December, 2016;
originally announced December 2016.
-
Discontinuous Galerkin Isogeometric Analysis on Non-matching Segmentation: Error Estimates and Efficient Solvers
Authors:
Christoph Hofer,
Ulrich Langer,
Ioannis Toulopoulos
Abstract:
The Isogeometric Analysis (IgA) of boundary value problems in complex domains often requires a decomposition of the computational domain into patches such that each of which can be parametrized by the so-called geometrical map**. In this paper, we develop discontinuous Galerkin (dG) IgA techniques for solving elliptic diffusion problems on decompositions that can include non-matching parametriza…
▽ More
The Isogeometric Analysis (IgA) of boundary value problems in complex domains often requires a decomposition of the computational domain into patches such that each of which can be parametrized by the so-called geometrical map**. In this paper, we develop discontinuous Galerkin (dG) IgA techniques for solving elliptic diffusion problems on decompositions that can include non-matching parametrizations of the interfaces, i.e., the interfaces of the adjacent patches may be not identical. The lack of the exact parametrization of the patches leads to the creation of gap and overlap** regions between the patches. This does not allow the immediate use of the classical numerical fluxes that are known in the literature. The unknown normal fluxes of the solution on the non-matching interfaces are approximated by Taylor expansions using the values of the solution computed on the boundary of the patches These approximations are used in order to build up the numerical fluxes of the final dG IgA scheme and to couple the local patch-wise discrete problems. The resulting linear systems are solved by using efficient domainecomposition methods based on the tearing and interconnecting technology. We present numerical results of a series of test problems that validate the theoretical estimates presented.
△ Less
Submitted 12 October, 2016;
originally announced October 2016.
-
A Local Mesh Modification Strategy for Interface Problems with Application to Shape and Topology Optimization
Authors:
Peter Gangl,
Ulrich Langer
Abstract:
We present and analyze a new finite element method for solving interface problems on a triangular grid. The method locally modifies a given triangulation such that the interfaces are accurately resolved and the maximal angle condition holds. Therefore, optimal order of convergence can be shown. Moreover, an appropriate scaling of the basis functions yields an optimal condition number of the stiffn…
▽ More
We present and analyze a new finite element method for solving interface problems on a triangular grid. The method locally modifies a given triangulation such that the interfaces are accurately resolved and the maximal angle condition holds. Therefore, optimal order of convergence can be shown. Moreover, an appropriate scaling of the basis functions yields an optimal condition number of the stiffness matrix. The method is applied to an optimal design problem for an electric motor where the interface between different materials is evolving in the course of the optimization procedure.
△ Less
Submitted 20 September, 2016;
originally announced September 2016.
-
Dual-Primal Isogeometric Tearing and Interconnecting solvers for multipatch dG-IgA equations
Authors:
Christoph Hofer,
Ulrich Langer
Abstract:
In this paper we consider a new version of the dual-primal isogeometric tearing and interconnecting (IETI-DP) method for solving large-scale linear systems of algebraic equations arising from discontinuous Galerkin (dG) isogeometric analysis of diffusion problems on multipatch domains with non-matching meshes. The dG formulation is used to couple the local problems across patch interfaces. The pur…
▽ More
In this paper we consider a new version of the dual-primal isogeometric tearing and interconnecting (IETI-DP) method for solving large-scale linear systems of algebraic equations arising from discontinuous Galerkin (dG) isogeometric analysis of diffusion problems on multipatch domains with non-matching meshes. The dG formulation is used to couple the local problems across patch interfaces. The purpose of this paper is to present this new method and provide numerical examples indicating a polylogarithmic condition number bound for the preconditioned system and showing an incredible robustness with respect to large jumps in the diffusion coefficient across the interfaces.
△ Less
Submitted 8 January, 2016;
originally announced January 2016.
-
Dual-Primal Isogeometric Tearing and Interconnecting Solvers for large-scale systems of multipatch continuous Galerkin IgA equations
Authors:
Christoph Hofer,
Ulrich Langer
Abstract:
The dual-primal isogeometric tearing and interconnecting (IETI-DP) method is the adaption of the dual-primal finite element tearing and interconnecting (FETI-DP) method to isogeometric analysis of scalar elliptic boundary value problems like, e.g., diffusion problems with heterogeneous diffusion coefficients. The purpose of this paper is to extent the already existing results on condition number e…
▽ More
The dual-primal isogeometric tearing and interconnecting (IETI-DP) method is the adaption of the dual-primal finite element tearing and interconnecting (FETI-DP) method to isogeometric analysis of scalar elliptic boundary value problems like, e.g., diffusion problems with heterogeneous diffusion coefficients. The purpose of this paper is to extent the already existing results on condition number estimates to multi-patch domains, which consist of different geometrical map**s for each patch. Another purpose is to prove a polylogarithmic condition number bound for the preconditioned system with stiffness scaling in case of $C^0$ smoothness across patch interfaces. Numerical experiments validate the presented theory.
△ Less
Submitted 23 November, 2015;
originally announced November 2015.
-
Discontinuous Galerkin Isogeometric Analysis of Elliptic Diffusion Problems on Segmentations with Gaps
Authors:
Christoph Hofer,
Ulrich Langer,
Ioannis Toulopoulos
Abstract:
We propose a new discontinuous Galerkin Isogeometric Analysis (IgA) technique for the numerical solution of elliptic diffusion problems in computational domains decomposed into volumetric patches with non-matching interfaces. Due to an incorrect segmentation procedure, it may happen that the interfaces of adjacent subdomains don't coincide. In this way, gap regions, which are not present in the or…
▽ More
We propose a new discontinuous Galerkin Isogeometric Analysis (IgA) technique for the numerical solution of elliptic diffusion problems in computational domains decomposed into volumetric patches with non-matching interfaces. Due to an incorrect segmentation procedure, it may happen that the interfaces of adjacent subdomains don't coincide. In this way, gap regions, which are not present in the original physical domain, are created. In this paper, the gap region is considered as a subdomain of the decomposition of the computational domain and the gap boundary is taken as an interface between the gap and the subdomains. We apply a multi-patch approach and derive a subdomain variational formulation which includes interface continuity conditions and is consistent with the original variational formulation of the problem. The last formulation is further modified by deriving interface conditions without the presence of the solution in the gap. Finally, the solution of this modified problem is approximated by a special discontinuous Galerkin IgA technique. The ideas are illustrated on a model diffusion problem with discontinuous diffusion coefficients. We develop a rigorous theoretical framework for the proposed method clarifying the influence of the gap size onto the convergence rate of the method. The theoretical estimates are supported by numerical examples in two- and three-dimensional computational domains.
△ Less
Submitted 18 November, 2015;
originally announced November 2015.
-
Functional a posteriori error estimates for time-periodic parabolic optimal control problems
Authors:
Ulrich Langer,
Sergey Repin,
Monika Wolfmayr
Abstract:
This paper is devoted to the a posteriori error analysis of multiharmonic finite element approximations to distributed optimal control problems with time-periodic state equations of parabolic type. We derive a posteriori estimates of functional type, which are easily computable and provide guaranteed upper bounds for the state and co-state errors as well as for the cost functional. These theoretic…
▽ More
This paper is devoted to the a posteriori error analysis of multiharmonic finite element approximations to distributed optimal control problems with time-periodic state equations of parabolic type. We derive a posteriori estimates of functional type, which are easily computable and provide guaranteed upper bounds for the state and co-state errors as well as for the cost functional. These theoretical results are confirmed by several numerical tests that show high efficiency of the a posteriori error bounds.
△ Less
Submitted 18 November, 2015;
originally announced November 2015.
-
Mesh Grading in Isogeometric Analysis
Authors:
Ulrich Langer,
Angelos Mantzaflaris,
Stephen E. Moore,
Ioannis Toulopoulos
Abstract:
This paper is concerned with the construction of graded meshes for approximating so-called singular solutions of elliptic boundary value problems by means of multipatch discontinuous Galerkin Isogeometric Analysis schemes. Such solutions appear, for instance, in domains with re-entrant corners on the boundary of the computational domain, in problems with changing boundary conditions, in interface…
▽ More
This paper is concerned with the construction of graded meshes for approximating so-called singular solutions of elliptic boundary value problems by means of multipatch discontinuous Galerkin Isogeometric Analysis schemes. Such solutions appear, for instance, in domains with re-entrant corners on the boundary of the computational domain, in problems with changing boundary conditions, in interface problems, or in problems with singular source terms. Making use of the analytic behavior of the solution, we construct the graded meshes in the neighborhoods of such singular points following a multipatch approach.
We prove that appropriately graded meshes lead to the same convergence rates as in the case of smooth solutions with approximately the same number of degrees of freedom. Representative numerical examples are studied in order to confirm the theoretical convergence rates and to demonstrate the efficiency of the mesh grading technology in Isogeometric Analysis.
△ Less
Submitted 23 September, 2015;
originally announced September 2015.
-
Space-Time Isogeometric Analysis of Parabolic Evolution Equations
Authors:
Ulrich Langer,
Stephen E. Moore,
Martin Neumüller
Abstract:
We present and analyze a new stable space-time Isogeometric Analysis (IgA) method for the numerical solution of parabolic evolution equations in fixed and moving spatial computational domains. The discrete bilinear form is elliptic on the IgA space with respect to a discrete energy norm. This property together with a corresponding boundedness property, consistency and approximation results for the…
▽ More
We present and analyze a new stable space-time Isogeometric Analysis (IgA) method for the numerical solution of parabolic evolution equations in fixed and moving spatial computational domains. The discrete bilinear form is elliptic on the IgA space with respect to a discrete energy norm. This property together with a corresponding boundedness property, consistency and approximation results for the IgA spaces yields an a priori discretization error estimate with respect to the discrete norm. The theoretical results are confirmed by several numerical experiments with low- and high-order IgA spaces.
△ Less
Submitted 7 September, 2015;
originally announced September 2015.
-
Numerical simulation of parabolic moving and growing interface problems using small mesh deformation
Authors:
Ulrich Langer,
Huidong Yang
Abstract:
In this work, we develop a cutting method for solving problems with moving and growing interfaces in 3D. This new method is able to resolve large displacement or deformation of immersed objects by combining the Arbitrary Lagrangian-Eulerian method with only small local mesh deformation defined on the reference domain, that is decomposed into the macro-elements. The linear system of algebraic equat…
▽ More
In this work, we develop a cutting method for solving problems with moving and growing interfaces in 3D. This new method is able to resolve large displacement or deformation of immersed objects by combining the Arbitrary Lagrangian-Eulerian method with only small local mesh deformation defined on the reference domain, that is decomposed into the macro-elements. The linear system of algebraic equations arising after the temporal and spatial discretizations of a model parabolic interface heat-conduction-like problem with vector-valued functions is solved by either an all-at-once or a segregated algebraic multigrid method.
△ Less
Submitted 31 July, 2015;
originally announced July 2015.
-
Convection-adapted BEM-based FEM
Authors:
Clemens Hofreither,
Ulrich Langer,
Steffen Weißer
Abstract:
We present a new discretization method for homogeneous convection-diffusion-reaction boundary value problems in 3D that is a non-standard finite element method with PDE-harmonic shape functions on polyhedral elements. The element stiffness matrices are constructed by means of local boundary element techniques. Our method, which we refer to as a BEM-based FEM, can therefore be considered a local Tr…
▽ More
We present a new discretization method for homogeneous convection-diffusion-reaction boundary value problems in 3D that is a non-standard finite element method with PDE-harmonic shape functions on polyhedral elements. The element stiffness matrices are constructed by means of local boundary element techniques. Our method, which we refer to as a BEM-based FEM, can therefore be considered a local Trefftz method with element-wise (locally) PDE-harmonic shape functions. The Dirichlet boundary data for these shape functions is chosen according to a convection-adapted procedure which solves projections of the PDE onto the edges and faces of the elements. This improves the stability of the discretization method for convection-dominated problems both when compared to a standard FEM and to previous BEM-based FEM approaches, as we demonstrate in several numerical experiments.
△ Less
Submitted 20 February, 2015;
originally announced February 2015.
-
Shape optimization of an electric motor subject to nonlinear magnetostatics
Authors:
Peter Gangl,
Ulrich Langer,
Antoine Laurain,
Houcine Meftahi,
Kevin Sturm
Abstract:
The goal of this paper is to improve the performance of an electric motor by modifying the geometry of a specific part of the iron core of its rotor. To be more precise, the objective is to smooth the rotation pattern of the rotor. A shape optimization problem is formulated by introducing a tracking-type cost functional to match a desired rotation pattern. The magnetic field generated by permanent…
▽ More
The goal of this paper is to improve the performance of an electric motor by modifying the geometry of a specific part of the iron core of its rotor. To be more precise, the objective is to smooth the rotation pattern of the rotor. A shape optimization problem is formulated by introducing a tracking-type cost functional to match a desired rotation pattern. The magnetic field generated by permanent magnets is modeled by a nonlinear partial differential equation of magnetostatics. The shape sensitivity analysis is rigorously performed for the nonlinear problem by means of a new shape-Lagrangian formulation adapted to nonlinear problems.
△ Less
Submitted 20 January, 2015;
originally announced January 2015.
-
A note on robust preconditioners for monolithic fluid-structure interaction systems of finite element equations
Authors:
U. Langer,
H. Yang
Abstract:
In this note, we consider preconditioned Krylov subspace methods for discrete fluid-structure interaction problems with a nonlinear hyperelastic material model and covering a large range of flows, e.g, water, blood, and air with highly varying density. Based on the complete $LDU$ factorization of the coupled system matrix, the preconditioner is constructed in form of $\hat{L}\hat{D}\hat{U}$, where…
▽ More
In this note, we consider preconditioned Krylov subspace methods for discrete fluid-structure interaction problems with a nonlinear hyperelastic material model and covering a large range of flows, e.g, water, blood, and air with highly varying density. Based on the complete $LDU$ factorization of the coupled system matrix, the preconditioner is constructed in form of $\hat{L}\hat{D}\hat{U}$, where $\hat{L}$, $\hat{D}$ and $\hat{U}$ are proper approximations to $L$, $D$ and $U$, respectively. The inverse of the corresponding Schur complement is approximated by applying one cycle of a special class of algebraic multigrid methods to the perturbed fluid sub-problem, that is obtained by modifying corresponding entries in the original fluid matrix with an explicitly constructed approximation of the exact perturbation coming from the sparse matrix-matrix multiplications.
△ Less
Submitted 21 December, 2014;
originally announced December 2014.
-
Functional a posteriori error estimates for parabolic time-periodic boundary value problems
Authors:
Ulrich Langer,
Sergey Repin,
Monika Wolfmayr
Abstract:
The paper is concerned with parabolic time-periodic boundary value problems which are of theoretical interest and arise in different practical applications. The multiharmonic finite element method is well adapted to this class of parabolic problems. We study properties of multiharmonic approximations and derive guaranteed and fully computable bounds of approximation errors. For this purpose, we us…
▽ More
The paper is concerned with parabolic time-periodic boundary value problems which are of theoretical interest and arise in different practical applications. The multiharmonic finite element method is well adapted to this class of parabolic problems. We study properties of multiharmonic approximations and derive guaranteed and fully computable bounds of approximation errors. For this purpose, we use the functional a posteriori error estimation techniques earlier introduced by S. Repin. Numerical tests confirm the efficiency of the a posteriori error bounds derived.
△ Less
Submitted 11 November, 2014;
originally announced November 2014.
-
Multipatch Discontinuous Galerkin Isogeometric Analysis
Authors:
Ulrich Langer,
Angelos Mantzaflaris,
Stephen E. Moore,
Ioannis Toulopoulos
Abstract:
Isogeometric analysis (IgA) uses the same class of basis functions for both, representing the geometry of the computational domain and approximating the solution. In practical applications, geometrical patches are used in order to get flexibility in the geometrical representation. This multi-patch representation corresponds to a decomposition of the computational domain into non-overlap** subdom…
▽ More
Isogeometric analysis (IgA) uses the same class of basis functions for both, representing the geometry of the computational domain and approximating the solution. In practical applications, geometrical patches are used in order to get flexibility in the geometrical representation. This multi-patch representation corresponds to a decomposition of the computational domain into non-overlap** subdomains also called patches in the geometrical framework. We will present discontinuous Galerkin (dG) methods that allow for discontinuities across the subdomain (patch) boundaries. The required interface conditions are weakly imposed by the dG terms associated with the boundary of the sub-domains. The construction and the corresponding discretization error analysis of such dG multi-patch IgA schemes will be given for heterogeneous diffusion model problems in volumetric 2d and 3d domains as well as on open and closed surfaces. The theoretical results are confirmed by numerous numerical experiments which have been performed in G+SMO. The concept and the main features of the IgA library G+SMO are also described.
△ Less
Submitted 10 November, 2014;
originally announced November 2014.
-
Numerical Simulation of Fluid-Structure Interaction Problems with Hyperelastic Models: A Monolithic Approach
Authors:
Ulrich Langer,
Huidong Yang
Abstract:
In this paper, we consider a monolithic approach to handle coupled fluid-structure interaction problems with different hyperelastic models in an all-at-once manner. We apply Newton's method in the outer iteration dealing with nonlinearities of the coupled system. We discuss preconditioned Krylov sub-space, algebraic multigrid and algebraic multilevel methods for solving the linearized algebraic eq…
▽ More
In this paper, we consider a monolithic approach to handle coupled fluid-structure interaction problems with different hyperelastic models in an all-at-once manner. We apply Newton's method in the outer iteration dealing with nonlinearities of the coupled system. We discuss preconditioned Krylov sub-space, algebraic multigrid and algebraic multilevel methods for solving the linearized algebraic equations. Finally, we compare the results of the monolithic approach with those of the corresponding partitioned approach that we studied in our previous work.
△ Less
Submitted 16 August, 2014;
originally announced August 2014.
-
Analysis of Multipatch Discontinuous Galerkin IgA Approximations to Elliptic Boundary Value Problems
Authors:
Ulrich Langer,
Ioannis Toulopoulos
Abstract:
In this work, we study the approximation properties of multi-patch dG-IgA methods, that apply the multipatch Isogeometric Analysis (IgA) discretization concept and the discontinuous Galerkin (dG) technique on the interfaces between the patches, for solving linear diffusion problems with diffusion coefficients that may be discontinuous across the patch interfaces. The computational domain is divide…
▽ More
In this work, we study the approximation properties of multi-patch dG-IgA methods, that apply the multipatch Isogeometric Analysis (IgA) discretization concept and the discontinuous Galerkin (dG) technique on the interfaces between the patches, for solving linear diffusion problems with diffusion coefficients that may be discontinuous across the patch interfaces. The computational domain is divided into non-overlap** sub-domains, called patches in IgA, where $B$-splines, or NURBS finite dimensional approximations spaces are constructed. The solution of the problem is approximated in every sub-domain without imposing any matching grid conditions and without any continuity requirements for the discrete solution across the interfaces. Numerical fluxes with interior penalty jump terms are applied in order to treat the discontinuities of the discrete solution on the interfaces. We provide a rigorous a priori discretization error analysis for problems set in 2d- and 3d- dimensional domains, with solutions belonging to $W^{l,p}, l\geq 2,{\ } p\in ({2d}/{(d+2(l-1))},2]$. In any case, we show optimal convergence rates of the discretization with respect to the dG - norm.
△ Less
Submitted 1 August, 2014;
originally announced August 2014.