Apr 2012, Volume 7 Issue 2
    

  • Select all
  • EDITORIAL
    Junping WANG
  • RESEARCH ARTICLE
    Rafail V. ABRAMOV

    The recently developed short-time linear response algorithm, which predicts the average response of a nonlinear chaotic system with forcing and dissipation to small external perturbation, generally yields high precision of the response prediction, although suffers from numerical instability for long response times due to positive Lyapunov exponents. However, in the case of stochastically driven dynamics, one typically resorts to the classical fluctuationdissipation formula, which has the drawback of explicitly requiring the probability density of the statistical state together with its derivative for computation, which might not be available with sufficient precision in the case of complex dynamics (usually a Gaussian approximation is used). Here, we adapt the short-time linear response formula for stochastically driven dynamics, and observe that, for short and moderate response times before numerical instability develops, it is generally superior to the classical formula with Gaussian approximation for both the additive and multiplicative stochastic forcing. Additionally, a suitable blending with classical formula for longer response times eliminates numerical instability and provides an improved response prediction even for long response times.

  • RESEARCH ARTICLE
    Adrianna GILLMAN, Patrick M. YOUNG, Per-Gunnar MARTINSSON

    An algorithm for the direct inversion of the linear systems arising from Nystr?m discretization of integral equations on one-dimensional domains is described. The method typically has O(N) complexity when applied to boundary integral equations (BIEs) in the plane with non-oscillatory kernels such as those associated with the Laplace and Stokes’ equations. The scaling coefficient suppressed by the “big-O” notation depends logarithmically on the requested accuracy. The method can also be applied to BIEs with oscillatory kernels such as those associated with the Helmholtz and time-harmonic Maxwell equations; it is efficient at long and intermediate wave-lengths, but will eventually become prohibitively slow as the wave-length decreases. To achieve linear complexity, rank deficiencies in the off-diagonal blocks of the coefficient matrix are exploited. The technique is conceptually related to the H – and H 2-matrix arithmetic of Hackbusch and co-workers, and is closely related to previous work on Hierarchically Semi-Separable matrices.

  • RESEARCH ARTICLE
    Jay Gopalakrishnan, Weifeng Qiu

    We show that a Lipschitz domain can be expanded solely near a part of its boundary, assuming that the part is enclosed by a piecewise C1 curve. The expanded domain as well as the extended part are both Lipschitz. We apply this result to prove a regular decomposition of standard vector Sobolev spaces with vanishing traces only on part of the boundary. Another application in the construction of low-regularity projectors into finite element spaces with partial boundary conditions is also indicated.

  • RESEARCH ARTICLE
    Melvin LEOK, Tatiana SHINGEL

    The numerical analysis of variational integrators relies on variational error analysis, which relates the order of accuracy of a variational integrator with the order of approximation of the exact discrete Lagrangian by a computable discrete Lagrangian. The exact discrete Lagrangian can either be characterized variationally, or in terms of Jacobi’s solution of the Hamilton–Jacobi equation. These two characterizations lead to the Galerkin and shooting constructions for discrete Lagrangians, which depend on a choice of a numerical quadrature formula, together with either a finite-dimensional function space or a one-step method. We prove that the properties of the quadrature formula, finite-dimensional function space, and underlying one-step method determine the order of accuracy and momentum-conservation properties of the associated variational integrators. We also illustrate these systematic methods for constructing variational integrators with numerical examples.

  • RESEARCH ARTICLE
    Di LIU

    We study jump-diffusion processes with two well-separated time scales. It is proved that the rate of strong convergence to the averaged effective dynamics is of order O(?1/2), where ??1 is the parameter measuring the disparity of the time scales in the system. The convergence rate is shown to be optimal through examples. The result sheds light on the designing of efficient numerical methods for multiscale stochastic dynamics.

  • RESEARCH ARTICLE
    Jiawang NIE

    This paper studies the problem of minimizing a homogeneous polynomial (form) f(x) over the unit sphere Sn-1={x?n:x2=|1}. The problem is NP-hard when f(x) has degree 3 or higher. Denote by fmin (resp. fmax) the minimum (resp. maximum) value of f(x) on Sn-1. First, when f(x) is an even form of degree 2d, we study the standard sum of squares (SOS) relaxation for finding a lower bound of the minimum fmin:max? γ s.t. f(x)-γ·x22d? is SOS.Let fsos be the above optimal value. Then we show that for all n≥2d,1fmax?-fsosfmax?-fmin?C(d)(n2d).Here, the constant C(d) is independent of n. Second, when f(x) is a multi-form and Sn-1 becomes a multi-unit sphere, we generalize the above SOS relaxation and prove a similar bound. Third, when f(x) is sparse, we prove an improved bound depending on its sparsity pattern; when f(x) is odd, we formulate the problem equivalently as minimizing a certain even form, and prove a similar bound. Last, for minimizing f(x) over a hypersurface H(g)={x?n:g(x)=1} defined by a positive definite form g(x), we generalize the above SOS relaxation and prove a similar bound.

  • RESEARCH ARTICLE
    Paul TSUJI, Lexing YING

    This paper is concerned with the fast iterative solution of linear systems arising from finite difference discretizations in electromagnetics. The sweeping preconditioner with moving perfectly matched layers previously developed for the Helmholtz equation is adapted for the popular Yee grid scheme for wave propagation in inhomogeneous, anisotropic media. Preliminary numerical results are presented for typical examples.

  • RESEARCH ARTICLE
    Yangyang XU, Wotao YIN, Zaiwen WEN, Yin ZHANG

    This paper introduces an algorithm for the nonnegative matrix factorization-and-completion problem, which aims to find nonnegative low-rank matrices X and Y so that the product XY approximates a nonnegative data matrix M whose elements are partially known (to a certain accuracy). This problem aggregates two existing problems: (i) nonnegative matrix factorization where all entries of M are given, and (ii) low-rank matrix completion where nonnegativity is not required. By taking the advantages of both nonnegativity and low-rankness, one can generally obtain superior results than those of just using one of the two properties. We propose to solve the non-convex constrained least-squares problem using an algorithm based on the classical alternating direction augmented Lagrangian method. Preliminary convergence properties of the algorithm and numerical simulation results are presented. Compared to a recent algorithm for nonnegative matrix factorization, the proposed algorithm produces factorizations of similar quality using only about half of the matrix entries. On tasks of recovering incomplete grayscale and hyperspectral images, the proposed algorithm yields overall better qualities than those produced by two recent matrix-completion algorithms that do not exploit nonnegativity.