474 research outputs found
Time-parallel iterative solvers for parabolic evolution equations
We present original time-parallel algorithms for the solution of the implicit
Euler discretization of general linear parabolic evolution equations with
time-dependent self-adjoint spatial operators. Motivated by the inf-sup theory
of parabolic problems, we show that the standard nonsymmetric time-global
system can be equivalently reformulated as an original symmetric saddle-point
system that remains inf-sup stable with respect to the same natural parabolic
norms. We then propose and analyse an efficient and readily implementable
parallel-in-time preconditioner to be used with an inexact Uzawa method. The
proposed preconditioner is non-intrusive and easy to implement in practice, and
also features the key theoretical advantages of robust spectral bounds, leading
to convergence rates that are independent of the number of time-steps, final
time, or spatial mesh sizes, and also a theoretical parallel complexity that
grows only logarithmically with respect to the number of time-steps. Numerical
experiments with large-scale parallel computations show the effectiveness of
the method, along with its good weak and strong scaling properties
Block preconditioning for fault/fracture mechanics saddle-point problems
The efficient simulation of fault and fracture mechanics is a key issue in several applications and is attracting a growing
interest by the scientific community. Using a formulation based on Lagrange multipliers, the Jacobian matrix
resulting from the Finite Element discretization of the governing equations has a non-symmetric generalized saddlepoint
structure. In this work, we propose a family of block preconditioners to accelerate the convergence of Krylov
methods for such problems. We critically review possible advantages and difficulties of using various Schur complement
approximations, based on both physical and algebraic considerations. The proposed approaches are tested
in a number of real-world applications, showing their robustness and efficiency also in large-size and ill-conditioned
problems
Postprocessing of Non-Conservative Flux for Compatibility with Transport in Heterogeneous Media
A conservative flux postprocessing algorithm is presented for both
steady-state and dynamic flow models. The postprocessed flux is shown to have
the same convergence order as the original flux. An arbitrary flux
approximation is projected into a conservative subspace by adding a piecewise
constant correction that is minimized in a weighted norm. The application
of a weighted norm appears to yield better results for heterogeneous media than
the standard norm which has been considered in earlier works. We also
study the effect of different flux calculations on the domain boundary. In
particular we consider the continuous Galerkin finite element method for
solving Darcy flow and couple it with a discontinuous Galerkin finite element
method for an advective transport problem.Comment: 34 pages, 17 figures, 11 table
A Multigrid Method for the Efficient Numerical Solution of Optimization Problems Constrained by Partial Differential Equations
We study the minimization of a quadratic functional subject to constraints given by a linear or semilinear elliptic partial differential equation with distributed control. Further, pointwise inequality constraints on the control are accounted for. In the linear-quadratic case, the discretized optimality conditions yield a large, sparse, and indefinite system with saddle point structure. One main contribution of this thesis consists in devising a coupled multigrid solver which avoids full constraint elimination. To this end, we define a smoothing iteration incorporating elements from constraint preconditioning. A local mode analysis shows that for discrete optimality systems, we can expect smoothing rates close to those obtained with respect to the underlying constraint PDE. Our numerical experiments include problems with constraints where standard pointwise smoothing is known to fail for the underlying PDE. In particular, we consider anisotropic diffusion and convection-diffusion problems. The framework of our method allows to include line smoothers or ILU-factorizations, which are suitable for such problems. In all cases, numerical experiments show that convergence rates do not depend on the mesh size of the finest level and discrete optimality systems can be solved with a small multiple of the computational cost which is required to solve the underlying constraint PDE. Employing the full multigrid approach, the computational cost is proportional to the number of unknowns on the finest grid level. We discuss the role of the regularization parameter in the cost functional and show that the convergence rates are robust with respect to both the fine grid mesh size and the regularization parameter under a mild restriction on the next to coarsest mesh size. Incorporating spectral filtering for the reduced Hessian in the control smoothing step allows us to weaken the mesh size restriction. As a result, problems with near-vanishing regularization parameter can be treated efficiently with a negligible amount of additional computational work. For fine discretizations, robust convergence is obtained with rates which are independent of the regularization parameter, the coarsest mesh size, and the number of levels. In order to treat linear-quadratic problems with pointwise inequality constraints on the control, the multigrid approach is modified to solve subproblems generated by a primal-dual active set strategy (PDAS). Numerical experiments demonstrate the high efficiency of this approach due to mesh-independent convergence of both the outer PDAS method and the inner multigrid solver. The PDAS-multigrid method is incorporated in the sequential quadratic programming (SQP) framework. Inexact Newton techniques further enhance the computational efficiency. Globalization is implemented with a line search based on the augmented Lagrangian merit function. Numerical experiments highlight the efficiency of the resulting SQP-multigrid approach. In all cases, locally superlinear convergence of the SQP method is observed. In combination with the mesh-independent convergence rate of the inner solver, a solution method with optimal efficiency is obtained
- …