54ffd3f3716eec66.tex
1: \begin{abstract}
2: Saddle-point systems appear in many scientific and engineering applications.
3: The systems can be sparse, symmetric or nonsymmetric, and possibly
4: singular. In many of these applications, the number of constraints
5: is relatively small compared to the number of unknowns. The traditional
6: null-space method is inefficient for these systems, because it is
7: expensive to find the null space explicitly. Some alternatives, notably
8: constraint-preconditioned or projected Krylov methods, are relatively
9: efficient, but they can suffer from numerical instability and even
10: nonconvergence. In addition, most existing methods require the system
11: to be nonsingular or be reducible to a nonsingular system. In this
12: paper, we propose a new method, called \emph{OPINS}, for singular
13: and nonsingular saddle-point systems. OPINS is equivalent to the null-space
14: method with an orthogonal projector, without forming the orthogonal
15: basis of the null space explicitly. OPINS can not only solve for the
16: unique solution for nonsingular saddle-point problems, but also find
17: the minimum-norm solution in terms of the solution variables for singular
18: systems. The method is efficient and easy to implement using existing
19: Krylov solvers for singular systems. At the same time, it is more
20: stable than the other alternatives, such as projected Krylov methods.
21: We present some preconditioners to accelerate the convergence of OPINS
22: for nonsingular systems, and compare OPINS against some present state-of-the-art
23: methods for various types of singular and nonsingular systems.
24: \end{abstract}
25: