In this paper, we propose a novel overlapping domain decomposition method that can be applied to various problems in variational imaging such as total variation minimization. Most of recent domain decomposition methods for total variation minimization adopt the Fenchel--Rockafellar duality, whereas the proposed method is based on the primal formulation. Thus, the proposed method can be applied not only to total variation minimization but also to those with complex dual problems such as higher order models. In the proposed method, an equivalent formulation of the model problem with parallel structure is constructed using a custom overlapping domain decomposition scheme with the notion of essential domains. As a solver for the constructed formulation, we propose a decoupled augmented Lagrangian method for untying the coupling of adjacent subdomains. Convergence analysis of the decoupled augmented Lagrangian method is provided. We present implementation details and numerical examples for various model problems including total variation minimizations and higher order models.
Domain decomposition methods are widely used for the numerical solution of partial differential equations on high performance computers. We develop an adjoint-based a posteriori error analysis for both multiplicative and additive overlapping Schwarz domain decomposition methods. The numerical error in a user-specified functional of the solution (quantity of interest) is decomposed into contributions that arise as a result of the finite iteration between the subdomains and from the spatial discretization. The spatial discretization contribution is further decomposed into contributions arising f…
The discretization of certain integral equations, e.g., the first-kind Fredholm equation of Laplace's equation, leads to symmetric positive-definite linear systems, where the coefficient matrix is dense and often ill-conditioned. We introduce a new preconditioner based on a novel overlapping domain decomposition that can be combined efficiently with fast direct solvers. Empirically, we observe that the condition number of the preconditioned system is $O(1)$, independent of the problem size. Our domain decomposition is designed so that we can construct approximate factorizations of the subprobl…
This paper explores a family of generalized sweeping preconditionners for Helmholtz problems with non-overlapping checkerboard partition of the computational domain. The domain decomposition procedure relies on high-order transmission conditions and cross-point treatments, which cannot scale without an efficient preconditioning technique when the number of subdomains increases. With the proposed approach, existing sweeping preconditioners, such as the symmetric Gauss-Seidel and parallel double sweep preconditioners, can be applied to checkerboard partitions with different sweeping directions (…
Convergence of parallel overlapping domain decomposition methods with impedance boundary conditions for time-harmonic Maxwell equations in heterogeneous media
The Chinese University of Hong Kong, Shenzhen（香港中文大学（深圳））；Shenzhen International Center for Industrial and Applied Mathematics, Shenzhen Research Institute of Big Data（深圳工业与应用数学中心，深圳大数据研究院）；University of Bath（巴斯大学）；Shenzhen Loop Area Institute（深圳河套学院）
An Overlapping Domain Decomposition Preconditioner for the Helmholtz equation
State Key Laboratory of Scientific and Engineering Computing, Chinese Academy of Sciences（中国科学院计算数学与科学工程计算重点实验室）；Department of Mathematics, University of South Carolina（南卡罗来纳大学数学系）
Convergence of overlapping domain decomposition methods with PML transmission conditions applied to nontrapping Helmholtz problems
University College London（伦敦大学学院）；The Chinese University of Hong Kong, Shenzhen（香港中文大学（深圳））；Shenzhen Research Institute of Big Data（深圳大数据研究院）；University of Bath（巴斯大学）；CNRS and Institut de Mathématiques de Toulouse, UMR5219（法国国家科学研究中心与图卢兹数学研究所；图卢兹大学）；Université de Toulouse
We analyse parallel overlapping Schwarz domain decomposition methods for the Helmholtz equation, where the subdomain problems satisfy first-order absorbing (impedance) transmission conditions, and exchange of information between subdomains is achieved using a partition of unity. We provide a novel analysis of this method at the PDE level (without discretization). First, we formulate the method as a fixed point iteration, and show (in dimensions 1,2,3) that it is well-defined in a tensor product of appropriate local function spaces, each with $L^2$ impedance boundary data. Given this, we then o…
A natural medium for wave propagation comprises a coupled bounded heterogeneous region and an unbounded homogeneous free-space. Frequency-domain wave propagation models in the medium, such as the variable coefficient Helmholtz equation, include a faraway decay radiation condition (RC). It is desirable to develop algorithms that incorporate the full physics of the heterogeneous and unbounded medium wave propagation model, and avoid an approximation of the RC. In this work we first present and analyze an overlapping decomposition framework that is equivalent to the full-space heterogeneous-homog…
Comparison of substructured non-overlapping domain decomposition and overlapping additive Schwarz methods for large-scale Helmholtz problems with multiple sources
In ptychography experiments, redundant scanning is usually required to guarantee the stable recovery, such that a huge amount of frames are generated, and thus it poses a great demand of parallel computing in order to solve this large-scale inverse problem. In this paper, we propose the overlapping Domain Decomposition Methods(DDMs) to solve the nonconvex optimization problem in ptychographic imaging. They decouple the problem defined on the whole domain into subproblems only defined on the subdomains with synchronizing information in the overlapping regions of these subdomains,thus leading to…
We prove consistence, convergence and stability of the Domain Decomposition in space and time method of 4DVAR Data Assimilation problem. We introduce the condition number of the problem and validate the theoretical analysis through numerical results
The research of two-level overlapping Schwarz (TL-OS) method based on constrained energy minimizing coarse space is still in its infancy, and there exist some defects, e.g. mainly for second order elliptic problem and too heavy computational cost of coarse space construction. In this paper, by introducing appropriate assumptions, we propose more concise coarse basis functions for general Hermitian positive and definite discrete systems, and establish the algorithmic and theoretical frameworks of the corresponding TL-OS methods. Furthermore, to enhance the practicability of the algorithm, we de…
Overlapping Schwarz Preconditioners for Pose-Graph SLAM in Robotics
Faculty of Mathematics and Computer Science, Technische Universität Bergakademie Freiberg（弗莱贝格矿业工业大学数学与计算机科学学院）；Universitätsrechenzentrum (URZ), Technische Universität Bergakademie Freiberg（弗莱贝格矿业大学计算中心）
Application of Differential Transform Method for El Nino Southern Oscillation (ENSO) Model with compared Adomian Decomposition and Variational Iteration Methods
Kamil Ozdag Science Faculty of Karamanoglu Mehmetbey University（卡拉曼奥萨格科学学院，卡拉曼奥格鲁梅特贝大学）；Science Faculty of Selcuk University（塞琉古大学理学院）
We develop innovative algorithms for solving the strong-constraint formulation of four-dimensional variational data assimilation in large-scale applications. We present a space-time decomposition approach that employs domain decomposition along both the spatial and temporal directions in the overlapping case and involves partitioning of both the solution and the operators. Starting from the global functional defined on the entire domain, we obtain a type of regularized local functionals on the set of subdomains providing the order reduction of both the predictive and the data assimilation mode…
In this paper we revisit the Restricted Additive Schwarz method for solving discretized Helmholtz problems, using impedance boundary conditions on subdomains (sometimes called ORAS). We present this method in its variational form and show that it can be seen as a finite element discretization of a parallel overlapping domain decomposition method defined at the PDE level. In a fourthcoming paper, the authors have proved certain contractive properties of the error propagation operator for this method at the PDE level, under certain geometrical assumptions. We illustrate computationally that thes…
A variational integrator of arbitrarily high-order on the special orthogonal group $SO(n)$ is constructed using the polar decomposition and the constrained Galerkin method. It has the advantage of avoiding the second-order derivative of the exponential map that arises in traditional Lie group variational methods. In addition, a reduced Lie--Poisson integrator is constructed and the resulting algorithms can naturally be implemented by fixed-point iteration. The proposed methods are validated by numerical simulations on $SO(3)$ which demonstrate that they are comparable to variational Runge--Kut…
In this paper, we propose and test a novel diagonal sweeping domain decomposition method (DDM) with source transfer for solving the high-frequency Helmholtz equation in $\mathbb{R}^n$. In the method the computational domain is partitioned into overlapping checkerboard subdomains for source transfer with the perfectly matched layer (PML) technique, then a set of diagonal sweeps over the subdomains are specially designed to solve the system efficiently. The method improves the additive overlapping DDM (W. Leng and L. Ju, 2019) and the L-sweeps method (M. Taus, et al., 2019) by employing a more e…
