-
Reconstructing the shape and material parameters of dissipative obstacles using an impedance model
Authors:
Travis Askham,
Carlos Borges
Abstract:
In inverse scattering problems, a model that allows for the simultaneous recovery of both the domain shape and an impedance boundary condition covers a wide range of problems with impenetrable domains, including recovering the shape of sound-hard and sound-soft obstacles and obstacles with thin coatings. This work develops an optimization framework for recovering the shape and material parameters…
▽ More
In inverse scattering problems, a model that allows for the simultaneous recovery of both the domain shape and an impedance boundary condition covers a wide range of problems with impenetrable domains, including recovering the shape of sound-hard and sound-soft obstacles and obstacles with thin coatings. This work develops an optimization framework for recovering the shape and material parameters of a penetrable, dissipative obstacle in the multifrequency setting, using a constrained class of curvature-dependent impedance function models proposed by Antoine, Barucq, and Vernhet. We find that this constrained model improves the robustness of the recovery problem, compared to more general models, and provides meaningfully better obstacle recovery than simpler models. We explore the effectiveness of the model for varying levels of dissipation, for noise-corrupted data, and for limited aperture data in the numerical examples.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Random walks in frequency and the reconstruction of obstacles with cavities from multi-frequency data
Authors:
Travis Askham,
Carlos Borges,
Jeremy Hoskins,
Manas Rachh
Abstract:
Inverse obstacle scattering is the recovery of an obstacle boundary from the scattering data produced by incident waves. This shape recovery can be done by iteratively solving a PDE-constrained optimization problem for the obstacle boundary. While it is well known that this problem is typically non-convex and ill-posed, previous investigations have shown that in many settings these issues can be a…
▽ More
Inverse obstacle scattering is the recovery of an obstacle boundary from the scattering data produced by incident waves. This shape recovery can be done by iteratively solving a PDE-constrained optimization problem for the obstacle boundary. While it is well known that this problem is typically non-convex and ill-posed, previous investigations have shown that in many settings these issues can be alleviated by using a continuation-in-frequency method and introducing a regularization that limits the frequency content of the obstacle boundary. It has been recently observed that these techniques can fail for obstacles with pronounced cavities, even in the case of penetrable obstacles where similar optimization and regularization methods work for the equivalent problem of recovering a piecewise constant wave speed.
The present work investigates the recovery of obstacle boundaries for impenetrable, sound-soft media with pronounced cavities, given multi-frequency scattering data. Numerical examples demonstrate that the problem is sensitive to the choice of iterative solver used at each frequency and the initial guess at the lowest frequency. We propose a modified continuation-in-frequency method which follows a random walk in frequency, as opposed to the standard monotonically increasing path. This method shows some increased robustness in recovering cavities, but can also fail for more extreme examples. An interesting phenomenon is observed that while the obstacle reconstructions obtained over several random trials can vary significantly near the cavity, the results are consistent for non-cavity parts of the boundary.
△ Less
Submitted 1 August, 2023;
originally announced August 2023.
-
Periodic Fast Multipole Method
Authors:
Ruqi Pei,
Travis Askham,
Leslie Greengard,
Shidong Jiang
Abstract:
A new scheme is presented for imposing periodic boundary conditions on unit cells with arbitrary source distributions. We restrict our attention here to the Poisson, modified Helmholtz, Stokes and modified Stokes equations. The approach extends to the oscillatory equations of mathematical physics, including the Helmholtz and Maxwell equations, but we will address these in a companion paper, since…
▽ More
A new scheme is presented for imposing periodic boundary conditions on unit cells with arbitrary source distributions. We restrict our attention here to the Poisson, modified Helmholtz, Stokes and modified Stokes equations. The approach extends to the oscillatory equations of mathematical physics, including the Helmholtz and Maxwell equations, but we will address these in a companion paper, since the nature of the problem is somewhat different and includes the consideration of quasiperiodic boundary conditions and resonances. Unlike lattice sum-based methods, the scheme is insensitive to the unit cell's aspect ratio and is easily coupled to adaptive fast multipole methods (FMMs). Our analysis relies on classical "plane-wave" representations of the fundamental solution, and yields an explicit low-rank representation of the field due to all image sources beyond the first layer of neighboring unit cells. When the aspect ratio of the unit cell is large, our scheme can be coupled with the nonuniform fast Fourier transform (NUFFT) to accelerate the evaluation of the induced field. Its performance is illustrated with several numerial examples.
△ Less
Submitted 1 November, 2021;
originally announced November 2021.
-
A Fast Integral Equation Method for the Two-Dimensional Navier-Stokes Equations
Authors:
Ludvig af Klinteberg,
Travis Askham,
Mary Catherine Kropinski
Abstract:
The integral equation approach to partial differential equations (PDEs) provides significant advantages in the numerical solution of the incompressible Navier-Stokes equations. In particular, the divergence-free condition and boundary conditions are handled naturally, and the ill-conditioning caused by high order terms in the PDE is preconditioned analytically. Despite these advantages, the adopti…
▽ More
The integral equation approach to partial differential equations (PDEs) provides significant advantages in the numerical solution of the incompressible Navier-Stokes equations. In particular, the divergence-free condition and boundary conditions are handled naturally, and the ill-conditioning caused by high order terms in the PDE is preconditioned analytically. Despite these advantages, the adoption of integral equation methods has been slow due to a number of difficulties in their implementation. This work describes a complete integral equation-based flow solver that builds on recently developed methods for singular quadrature and the solution of PDEs on complex domains, in combination with several more well-established numerical methods. We apply this solver to flow problems on a number of geometries, both simple and challenging, studying its convergence properties and computational performance. This serves as a demonstration that it is now relatively straightforward to develop a robust, efficient, and flexible Navier-Stokes solver, using integral equation methods.
△ Less
Submitted 20 August, 2019;
originally announced August 2019.
-
A boundary integral equation approach to computing eigenvalues of the Stokes operator
Authors:
Travis Askham,
Manas Rachh
Abstract:
The eigenvalues and eigenfunctions of the Stokes operator have been the subject of intense analytical investigation and have applications in the study and simulation of the Navier-Stokes equations. As the Stokes operator is a fourth-order operator, computing these eigenvalues and the corresponding eigenfunctions is a challenging task, particularly in complex geometries and at high frequencies. The…
▽ More
The eigenvalues and eigenfunctions of the Stokes operator have been the subject of intense analytical investigation and have applications in the study and simulation of the Navier-Stokes equations. As the Stokes operator is a fourth-order operator, computing these eigenvalues and the corresponding eigenfunctions is a challenging task, particularly in complex geometries and at high frequencies. The boundary integral equation (BIE) framework provides robust and scalable eigenvalue computations due to (a) the reduction in the dimension of the problem to be discretized and (b) the absence of high frequency "pollution" when using a Green's function to represent propagating waves. In this paper, we detail the theoretical justification for a BIE approach to the Stokes eigenvalue problem on simply and multiply-connected planar domains, which entails a treatment of the uniqueness theory for oscillatory Stokes equations on exterior domains. Then, using well-established techniques for discretizing BIEs, we present numerical results which confirm the analytical claims of the paper and demonstrate the efficiency of the overall approach.
△ Less
Submitted 15 April, 2019;
originally announced April 2019.
-
Model selection for hybrid dynamical systems via sparse regression
Authors:
Niall M Mangan,
Travis Askham,
Steven L Brunton,
J Nathan Kutz,
Joshua L Proctor
Abstract:
Hybrid systems are traditionally difficult to identify and analyze using classical dynamical systems theory. Moreover, recently developed model identification methodologies largely focus on identifying a single set of governing equations solely from measurement data. In this article, we develop a new methodology, Hybrid-Sparse Identification of Nonlinear Dynamics (Hybrid-SINDy), which identifies s…
▽ More
Hybrid systems are traditionally difficult to identify and analyze using classical dynamical systems theory. Moreover, recently developed model identification methodologies largely focus on identifying a single set of governing equations solely from measurement data. In this article, we develop a new methodology, Hybrid-Sparse Identification of Nonlinear Dynamics (Hybrid-SINDy), which identifies separate nonlinear dynamical regimes, employs information theory to manage uncertainty, and characterizes switching behavior. Specifically, we utilize the nonlinear geometry of data collected from a complex system to construct a set of coordinates based on measurement data and augmented variables. Clustering the data in these measurement-based coordinates enables the identification of nonlinear hybrid systems. This methodology broadly empowers nonlinear system identification without constraining the data locally in time and has direct connections to hybrid systems theory. We demonstrate the success of this method on numerical examples including a mass-spring hop** model and an infectious disease model. Characterizing complex systems that switch between dynamic behaviors is integral to overcoming modern challenges such as eradication of infectious diseases, the design of efficient legged robots, and the protection of cyber infrastructures.
△ Less
Submitted 9 August, 2018;
originally announced August 2018.
-
A Unified Framework for Sparse Relaxed Regularized Regression: SR3
Authors:
Peng Zheng,
Travis Askham,
Steven L. Brunton,
J. Nathan Kutz,
Aleksandr Y. Aravkin
Abstract:
Regularized regression problems are ubiquitous in statistical modeling, signal processing, and machine learning. Sparse regression in particular has been instrumental in scientific model discovery, including compressed sensing applications, variable selection, and high-dimensional analysis. We propose a broad framework for sparse relaxed regularized regression, called SR3. The key idea is to solve…
▽ More
Regularized regression problems are ubiquitous in statistical modeling, signal processing, and machine learning. Sparse regression in particular has been instrumental in scientific model discovery, including compressed sensing applications, variable selection, and high-dimensional analysis. We propose a broad framework for sparse relaxed regularized regression, called SR3. The key idea is to solve a relaxation of the regularized problem, which has three advantages over the state-of-the-art: (1) solutions of the relaxed problem are superior with respect to errors, false positives, and conditioning, (2) relaxation allows extremely fast algorithms for both convex and nonconvex formulations, and (3) the methods apply to composite regularizers such as total variation (TV) and its nonconvex variants. We demonstrate the advantages of SR3 (computational efficiency, higher accuracy, faster convergence rates, greater flexibility) across a range of regularized regression problems with synthetic and real data, including applications in compressed sensing, LASSO, matrix completion, TV regularization, and group sparsity. To promote reproducible research, we also provide a companion MATLAB package that implements these examples.
△ Less
Submitted 8 November, 2018; v1 submitted 14 July, 2018;
originally announced July 2018.
-
Greedy Sensor Placement with Cost Constraints
Authors:
Emily Clark,
Travis Askham,
Steven L. Brunton,
J. Nathan Kutz
Abstract:
The problem of optimally placing sensors under a cost constraint arises naturally in the design of industrial and commercial products, as well as in scientific experiments. We consider a relaxation of the full optimization formulation of this problem and then extend a well-established QR-based greedy algorithm for the optimal sensor placement problem without cost constraints. We demonstrate the ef…
▽ More
The problem of optimally placing sensors under a cost constraint arises naturally in the design of industrial and commercial products, as well as in scientific experiments. We consider a relaxation of the full optimization formulation of this problem and then extend a well-established QR-based greedy algorithm for the optimal sensor placement problem without cost constraints. We demonstrate the effectiveness of this algorithm on data sets related to facial recognition, climate science, and fluid mechanics. This algorithm is scalable and often identifies sparse sensors with near optimal reconstruction performance, while dramatically reducing the overall cost of the sensors. We find that the cost-error landscape varies by application, with intuitive connections to the underlying physics. Additionally, we include experiments for various pre-processing techniques and find that a popular technique based on the singular value decomposition is often sub-optimal.
△ Less
Submitted 9 May, 2018;
originally announced May 2018.
-
Robust and scalable methods for the dynamic mode decomposition
Authors:
Travis Askham,
Peng Zheng,
Aleksandr Aravkin,
J. Nathan Kutz
Abstract:
The dynamic mode decomposition (DMD) is a broadly applicable dimensionality reduction algorithm that approximates a matrix containing time-series data by the outer product of a matrix of exponentials, representing Fourier-like time dynamics, and a matrix of coefficients, representing spatial structures. This interpretable spatio-temporal decomposition is commonly computed using linear algebraic te…
▽ More
The dynamic mode decomposition (DMD) is a broadly applicable dimensionality reduction algorithm that approximates a matrix containing time-series data by the outer product of a matrix of exponentials, representing Fourier-like time dynamics, and a matrix of coefficients, representing spatial structures. This interpretable spatio-temporal decomposition is commonly computed using linear algebraic techniques in its simplest formulation or a nonlinear optimization procedure within the variable projection framework. For data with sparse outliers or data which are not well-represented by exponentials in time, the standard Frobenius norm fit of the data creates significant biases in the recovered time dynamics. As a result, practitioners are left to clean such defects from the data manually or to use a black-box cleaning approach like robust PCA. As an alternative, we propose a framework and a set of algorithms for incorporating robust features into the nonlinear optimization used to compute the DMD itself. The algorithms presented are flexible, allowing for regu- larizers and constraints on the optimization, and scalable, using a stochastic approach to decrease the computational cost for data in high dimensional space. Both synthetic and real data examples are provided.
△ Less
Submitted 5 December, 2017;
originally announced December 2017.
-
Stability and Dynamics of Microring Combs: Elliptic function solutions of the Lugiato-Lefever equation
Authors:
Chang Sun,
Travis Askham,
J. Nathan Kutz
Abstract:
We consider a new class of periodic solutions to the Lugiato-Lefever equations (LLE) that govern the electromagnetic field in a microresonator cavity. Specifically, we rigorously characterize the stability and dynamics of the Jacobi elliptic function solutions of LLE and show that the dn solution is stabilized by the pum** of the microresonator. In analogy with soliton perturbation theory, we al…
▽ More
We consider a new class of periodic solutions to the Lugiato-Lefever equations (LLE) that govern the electromagnetic field in a microresonator cavity. Specifically, we rigorously characterize the stability and dynamics of the Jacobi elliptic function solutions of LLE and show that the dn solution is stabilized by the pum** of the microresonator. In analogy with soliton perturbation theory, we also derive a microcomb perturbation theory that allows one to consider the effects of physically realizable perturbations on the comb line stability, including effects of Raman scattering and stimulated emission. Our results are verified through full numerical simulations of the LLE cavity dynamics. The perturbation theory gives a simple analytic platform for potentially engineering new resonator designs.
△ Less
Submitted 11 April, 2018; v1 submitted 30 November, 2017;
originally announced December 2017.
-
A stabilized separation of variables method for the modified biharmonic equation
Authors:
Travis Askham
Abstract:
The modified biharmonic equation is encountered in a variety of application areas, including streamfunction formulations of the Navier-Stokes equations. We develop a separation of variables representation for this equation in polar coordinates, for either the interior or exterior of a disk, and derive a new class of special functions which makes the approach stable. We discuss how these functions…
▽ More
The modified biharmonic equation is encountered in a variety of application areas, including streamfunction formulations of the Navier-Stokes equations. We develop a separation of variables representation for this equation in polar coordinates, for either the interior or exterior of a disk, and derive a new class of special functions which makes the approach stable. We discuss how these functions can be used in conjunction with fast algorithms to accelerate the solution of the modified biharmonic equation or the "bi-Helmholtz" equation in more complex geometries.
△ Less
Submitted 15 October, 2017;
originally announced October 2017.
-
Integral equation formulation of the biharmonic Dirichlet problem
Authors:
Manas Rachh,
Travis Askham
Abstract:
We present a novel integral representation for the biharmonic Dirichlet problem. To obtain the representation, the Dirichlet problem is first converted into a related Stokes problem for which the Sherman-Lauricella integral representation can be used. Not all potentials for the Dirichlet problem correspond to a potential for Stokes flow, and vice-versa, but we show that the integral representation…
▽ More
We present a novel integral representation for the biharmonic Dirichlet problem. To obtain the representation, the Dirichlet problem is first converted into a related Stokes problem for which the Sherman-Lauricella integral representation can be used. Not all potentials for the Dirichlet problem correspond to a potential for Stokes flow, and vice-versa, but we show that the integral representation can be augmented and modified to handle either simply or multiply connected domains. The resulting integral representation has a kernel which behaves better on domains with high curvature than existing representations. Thus, this representation results in more robust computational methods for the solution of the Dirichlet problem of the biharmonic equation and we demonstrate this with several numerical examples.
△ Less
Submitted 26 May, 2017;
originally announced May 2017.
-
Variable projection methods for an optimized dynamic mode decomposition
Authors:
Travis Askham,
J. Nathan Kutz
Abstract:
The dynamic mode decomposition (DMD) has become a leading tool for data-driven modeling of dynamical systems, providing a regression framework for fitting linear dynamical models to time-series measurement data. We present a simple algorithm for computing an optimized version of the DMD for data which may be collected at unevenly spaced sample times. By making use of the variable projection method…
▽ More
The dynamic mode decomposition (DMD) has become a leading tool for data-driven modeling of dynamical systems, providing a regression framework for fitting linear dynamical models to time-series measurement data. We present a simple algorithm for computing an optimized version of the DMD for data which may be collected at unevenly spaced sample times. By making use of the variable projection method for nonlinear least squares problems, the algorithm is capable of solving the underlying nonlinear optimization problem efficiently. We explore the performance of the algorithm with some numerical examples for synthetic and real data from dynamical systems and find that the resulting decomposition displays less bias in the presence of noise than standard DMD algorithms. Because of the flexibility of the algorithm, we also present some interesting new options for DMD-based analysis.
△ Less
Submitted 1 April, 2017;
originally announced April 2017.
-
An adaptive fast multipole accelerated Poisson solver for complex geometries
Authors:
Travis Askham,
Antoine J Cerfon
Abstract:
We present a fast, direct and adaptive Poisson solver for complex two-dimensional geometries based on potential theory and fast multipole acceleration. More precisely, the solver relies on the standard decomposition of the solution as the sum of a volume integral to account for the source distribution and a layer potential to enforce the desired boundary condition. The volume integral is computed…
▽ More
We present a fast, direct and adaptive Poisson solver for complex two-dimensional geometries based on potential theory and fast multipole acceleration. More precisely, the solver relies on the standard decomposition of the solution as the sum of a volume integral to account for the source distribution and a layer potential to enforce the desired boundary condition. The volume integral is computed by applying the FMM on a square box that encloses the domain of interest. For the sake of efficiency and convergence acceleration, we first extend the source distribution (the right-hand side in the Poisson equation) to the enclosing box as a $C^0$ function using a fast, boundary integral-based method. We demonstrate on multiply connected domains with irregular boundaries that this continuous extension leads to high accuracy without excessive adaptive refinement near the boundary and, as a result, to an extremely efficient "black box" fast solver.
△ Less
Submitted 3 October, 2016;
originally announced October 2016.
-
Norm-preserving discretization of integral equations for elliptic PDEs with internal layers I: the one-dimensional case
Authors:
Travis Askham,
Leslie Greengard
Abstract:
We investigate the behavior of integral formulations of variable coefficient elliptic partial differential equations (PDEs) in the presence of steep internal layers. In one dimension, the equations that arise can be solved analytically and the condition numbers estimated in various L_p norms. We show that high-order accurate Nyström discretization leads to well-conditioned finite dimensional linea…
▽ More
We investigate the behavior of integral formulations of variable coefficient elliptic partial differential equations (PDEs) in the presence of steep internal layers. In one dimension, the equations that arise can be solved analytically and the condition numbers estimated in various L_p norms. We show that high-order accurate Nyström discretization leads to well-conditioned finite dimensional linear systems if and only if the discretization is both norm-preserving in a correctly chosen L_p space and adaptively refined in the internal layer.
△ Less
Submitted 29 May, 2013;
originally announced May 2013.