skip to main content


Title: Analysis of an approximation to a fractional extension problem
The purpose of this article is to study an approximation to an abstract Bessel-type problem, which is a generalization of the extension problem associated with fractional powers of the Laplace operator. Motivated by the success of such approaches in the analysis of time-stepping methods for abstract Cauchy problems, we adopt a similar framework herein. The proposed method differs from many standard techniques, as we approximate the true solution to the abstract problem, rather than solve an associated discrete problem. The numerical method is shown to be consistent, stable, and convergent in an appropriate Banach space. These results are built upon well understood results from semigroup theory. Numerical experiments are provided to demonstrate the theoretical results.  more » « less
Award ID(s):
1903450
NSF-PAR ID:
10149920
Author(s) / Creator(s):
Date Published:
Journal Name:
BIT Numerical Mathematics
ISSN:
0006-3835
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We consider the existence and spectral stability of multi-breather structures in the discrete Klein–Gordon equation, both for soft and hard symmetric potentials. To obtain analytical results, we project the system onto a finite-dimensional Hilbert space consisting of the first M Fourier modes, for arbitrary M . On this approximate system, we then take a spatial dynamics approach and use Lin’s method to construct multi-breathers from a sequence of well-separated copies of the primary, single-site breather. We then locate the eigenmodes in the Floquet spectrum associated with the interaction between the individual breathers of such multi-breather states by reducing the spectral problem to a matrix equation. Expressions for these eigenmodes for the approximate, finite-dimensional system are obtained in terms of the primary breather and its kernel eigenfunctions, and these are found to be in very good agreement with the numerical Floquet spectrum results. This is supplemented with results from numerical timestepping experiments, which are interpreted using the spectral computations. 
    more » « less
  2. Abstract We consider the existence and spectral stability of static multi-kink structures in the discrete sine-Gordon equation, as a representative example of the family of discrete Klein–Gordon models. The multi-kinks are constructed using Lin’s method from an alternating sequence of well-separated kink and antikink solutions. We then locate the point spectrum associated with these multi-kink solutions by reducing the spectral problem to a matrix equation. For an m -structure multi-kink, there will be m eigenvalues in the point spectrum near each eigenvalue of the primary kink, and, as long as the spectrum of the primary kink is imaginary, the spectrum of the multi-kink will be as well. We obtain analytic expressions for the eigenvalues of a multi-kink in terms of the eigenvalues and corresponding eigenfunctions of the primary kink, and these are in very good agreement with numerical results. We also perform numerical time-stepping experiments on perturbations of multi-kinks, and the outcomes of these simulations are interpreted using the spectral results. 
    more » « less
  3. Abstract

    We study the stability of Stokes waves in an ideal fluid of infinite depth. The perturbations that are either coperiodic with a Stokes wave (superharmonics) or integer multiples of its period (subharmonics) are considered. The eigenvalue problem is formulated using the conformal canonical Hamiltonian variables and admits numerical solution in a matrix‐free manner. We find that the operator matrix of the eigenvalue problem can be factored into a product of two operators: a self‐adjoint operator and an operator inverted analytically. Moreover, the self‐adjoint operator matrix is efficiently inverted by a Krylov‐space‐based method and enjoys spectral accuracy. Application of the operator matrix associated with the eigenvalue problem requires only flops, whereNis the number of Fourier modes needed to resolve a Stokes wave. Additionally, due to the matrix‐free approach, storage for the matrix of coefficients is no longer required. The new method is based on the shift‐invert technique, and its application is illustrated in the classic examples of the Benjamin–Feir and the superharmonic instabilities. Simulations confirm numerical results of preceding works and recent theoretical work for the Benjamin–Feir instability (for small amplitude waves), and new results for large amplitude waves are shown.

     
    more » « less
  4. We consider the problem of inferring the conditional independence graph (CIG) of a high-dimensional stationary multivariate Gaussian time series. In a time series graph, each component of the vector series is represented by distinct node, and associations between components are represented by edges between the corresponding nodes. We formulate the problem as one of multi-attribute graph estimation for random vectors where a vector is associated with each node of the graph. At each node, the associated random vector consists of a time series component and its delayed copies. We present an alternating direction method of multipliers (ADMM) solution to minimize a sparse-group lasso penalized negative pseudo log-likelihood objective function to estimate the precision matrix of the random vector associated with the entire multi-attribute graph. The time series CIG is then inferred from the estimated precision matrix. A theoretical analysis is provided. Numerical results illustrate the proposed approach which outperforms existing frequency-domain approaches in correctly detecting the graph edges. 
    more » « less
  5. Given a collection of vectors, the approximate K-nearest-neighbor graph (KGraph for short) connects every vector to its approximate K-nearest-neighbors (KNN for short). KGraph plays an important role in high dimensional data visualization, semantic search, manifold learning, and machine learning. The vectors are typically vector representations of real-world objects (e.g., images and documents), which often come with a few structured attributes, such as times-tamps and locations. In this paper, we study the all-range approximate K-nearest-neighbor graph (ARKGraph) problem. Specifically, given a collection of vectors, each associated with a numerical search key (e.g., a timestamp), we aim to build an index that takes a search key range as the query and returns the KGraph of vectors whose search keys are within the query range. ARKGraph can facilitate interactive high dimensional data visualization, data mining, etc. A key challenge of this problem is the huge index size. This is because, given n vectors, a brute-force index stores a KGraph for every search key range, which results in O (K n 3 ) index size as there are O ( n 2 ) search key ranges and each KGraph takes O (K n ) space. We observe that the KNN of a vector in nearby ranges are often the same, which can be grouped together to save space. Based on this observation, we propose a series of novel techniques that reduce the index size significantly to just O (K n log n ) in the average case. Furthermore, we develop an efficient indexing algorithm that constructs the optimized ARKGraph index directly without exhaustively calculating the distance between every pair of vectors. To process a query, for each vector in the query range, we only need O (log log n + K log K) to restore its KNN in the query range from the optimized ARKGraph index. We conducted extensive experiments on real-world datasets. Experimental results show that our optimized ARKGraph index achieved a small index size, low query latency, and good scalability. Specifically, our approach was 1000x faster than the baseline method that builds a KGraph for all the vectors in the query range on-the-fly. 
    more » « less