We establish theoretical recovery guarantees of a family of Riemannian optimization algorithms for low rank matrix recovery, which is about recovering an mimes n rank mimes n matrix from mimes n number of linear measurements. The algorithms are first interpreted as iterative hard thresholding algorithms with subspace projections. Based on this connection, we show that provided the restricted isometry constant mimes n of the sensing operator is less than mimes n, the Riemannian gradient descent algorithm and a restarted variant of the Riemannian conjugate gradient algorithm are guaranteed to converge linearly to the underlying rank mimes n matrix if they are initialized by one step hard thresholding. Empirical evaluation shows that the algorithms are able to recover a low rank matrix from nearly the minimum number of measurements necessary.

We present a new Matched Interface and Boundary (MIB) regularization method for treating charge singularity in solvated biomolecules whose electrostatics are described by the Poisson–Boltzmann (PB) equation. In a regularization method, by decomposing the potential function into two or three components, the singular component can be analytically represented by the Green’s function, while other components possess a higher regularity. Our new regularization combines the efficiency of two-component schemes with the accuracy of the three-component schemes. Based on this regularization, a new MIB finite difference algorithm is developed for solving both linear and nonlinear PB equations, where the nonlinearity is handled by using the inexact-Newton’s method. Compared with the existing MIB PB solver based on a three-component regularization, the present algorithm is simpler to implement by circumventing the work to solve a boundary value Poisson equation inside the molecular interface and to compute related interface jump conditions numerically. Moreover, the new MIB algorithm becomes computationally less expensive, while maintains the same second order accuracy. This is numerically verified by calculating the electrostatic potential and solvation energy on the Kirkwood sphere on which the analytical solutions are available and on a series of proteins with various sizes.

No abstract uploaded!

In this paper, we propose and analyze a novel stabilized finite element method (FEM) for the system of generalized Stokes equations arising from the time-discretization of transient Stokes problem. The system involves a small viscosity, which is proportional to the inverse of large Reynolds number, and a large reaction coefficient, which is the inverse of small time step. The proposed stabilized FEM employs the $C^0$ piecewise linear elements for both velocity field and pressure on the same mesh and uses the residuals of the momentum equation and the divergence-free equation to define the stabilization terms. The stabilization parameters are fixed and element-independent, without a comparison of the viscosity, the reaction coefficient and the mesh size. Using the finite element solution of an auxiliary boundary value problem as the interpolating function for velocity and the $H^1$-seminorm projection for pressure, instead of the usual nodal interpolants, we derive error estimates for the stabilized finite element approximations to velocity and pressure in the $L^2$ and $H^1$ norms and most importantly, we explicitly establish the dependence of error bounds on the viscosity, the reaction coefficient and the mesh size. Our analysis reveals that this stabilized FEM is particularly suitable for the generalized Stokes system with a small viscosity and a large reaction coefficient, which has never been achieved before in the error analysis of other stabilization methods in the literature. We then numerically confirm the effectiveness of the proposed stabilized FEM. Comparisons made with other existing stabilization methods show that the newly proposed method can attain better accuracy and stability.

We study semi-Lagrangian discontinuous Galerkin (SLDG) and Runge-Kutta discontinuous Galerkin (RKDG) schemes for some front propagation problems in the presence of an obstacle term, modeled by a nonlinear Hamilton-Jacobi equation of the form $\min(u_t + c u_x, u - g(x))=0$, in one space dimension. New convergence results and error bounds are obtained for Lipschitz regular data. These ``low regularity" assumptions are the natural ones for the solutions of the studied equations. Numerical tests are given to illustrate the behavior of our schemes.