-
ROM inversion of monostatic data lifted to full MIMO
Authors:
V. Druskin,
S. Moskow,
M. Zaslavsky
Abstract:
The Lippmann--Schwinger--Lanczos (LSL) algorithm has recently been shown to provide an efficient tool for imaging and direct inversion of synthetic aperture radar data in multi-scattering environments \cite{DrMoZa3}, where the data set is limited to the monostatic, a.k.a. single input/single output (SISO) measurements. The approach is based on constructing data-driven estimates of internal fields…
▽ More
The Lippmann--Schwinger--Lanczos (LSL) algorithm has recently been shown to provide an efficient tool for imaging and direct inversion of synthetic aperture radar data in multi-scattering environments \cite{DrMoZa3}, where the data set is limited to the monostatic, a.k.a. single input/single output (SISO) measurements. The approach is based on constructing data-driven estimates of internal fields via a reduced-order model (ROM) framework and then plugging them into the Lippmann-Schwinger integral equation. However, the approximations of the internal solutions may have more error due to missing the off diagonal elements of the multiple input/multiple output (MIMO) matrix valued transfer function. This, in turn, may result in multiple echoes in the image. Here we present a ROM-based data completion algorithm to mitigate this problem. First, we apply the LSL algorithm to the SISO data as in \cite{DrMoZa3} to obtain approximate reconstructions as well as the estimate of internal field. Next, we use these estimates to calculate a forward Lippmann-Schwinger integral to populate the missing off-diagonal data (the lifting step). Finally, to update the reconstructions, we solve the Lippmann-Schwinger equation using the original SISO data, where the internal fields are constructed from the lifted MIMO data. The steps of obtaining the approximate reconstructions and internal fields and populating the missing MIMO data entries can be repeated for complex models to improve the images even further. Efficiency of the proposed approach is demonstrated on 2D and 2.5D numerical examples, where we see reconstructions are improved substantially.
△ Less
Submitted 30 June, 2024;
originally announced July 2024.
-
Regularized Reduced Order Lippman-Schwinger-Lanczos Method for Inverse Scattering Problems in the Frequency Domain
Authors:
Justin Baker,
Elena Cherkaev,
Vladimir Druskin,
Shari Moskow,
Mikhail Zaslavsky
Abstract:
Inverse scattering has a broad applicability in quantum mechanics, remote sensing, geophysical, and medical imaging. This paper presents a robust direct reduced order model (ROM) method for solving inverse scattering problems based on an efficient approximation of the resolvent operator regularizing the Lippmann-Schwinger-Lanczos (LSL) algorithm. We show that the efficiency of the method relies up…
▽ More
Inverse scattering has a broad applicability in quantum mechanics, remote sensing, geophysical, and medical imaging. This paper presents a robust direct reduced order model (ROM) method for solving inverse scattering problems based on an efficient approximation of the resolvent operator regularizing the Lippmann-Schwinger-Lanczos (LSL) algorithm. We show that the efficiency of the method relies upon the weak dependence of the orthogonalized basis on the unknown potential in the Schrödinger equation by demonstrating that the Lanczos orthogonalization is equivalent to performing Gram-Schmidt on the ROM time snapshots. We then develop the LSL algorithm in the frequency domain with two levels of regularization. We show that the same procedure can be extended beyond the Schrödinger formulation to the Helmholtz equation, e.g., to imaging the conductivity using diffusive electromagnetic fields in conductive media with localized positive conductivity perturbations. Numerical experiments for Helmholtz and Schrödinger problems show that the proposed bi-level regularization scheme significantly improves the performance of the LSL algorithm, allowing for good reconstructions with noisy data and large data sets.
△ Less
Submitted 27 November, 2023;
originally announced November 2023.
-
Reduced order modeling inversion of mono static data in a multi-scattering environment
Authors:
V. Druskin,
S. Moskow,
M. Zaslavsky
Abstract:
The data-driven reduced order models (ROMs) have recently emerged as an efficient tool for the solution of the inverse scattering problems with applications to seismic and sonar imaging. One specification of this approach is that it requires the full square multiple-output/multiple-input (MIMO) matrix valued transfer function as data for multidimensional problems. The synthetic aperture radar (SAR…
▽ More
The data-driven reduced order models (ROMs) have recently emerged as an efficient tool for the solution of the inverse scattering problems with applications to seismic and sonar imaging. One specification of this approach is that it requires the full square multiple-output/multiple-input (MIMO) matrix valued transfer function as data for multidimensional problems. The synthetic aperture radar (SAR), however, is limited to single input/single output (SISO) measurements corresponding to the diagonal of the matrix transfer function. Here we present a ROM based Lippmann-Schwinger approach overcoming this drawback. The ROMs are constructed to match the data for each source-receiver pair separately, and these are used to construct internal solutions for the corresponding source using only the data-driven Gramian. Efficiency of the proposed approach is demonstrated on 2D and 2.5D (3D propagation and 2D reflectors) numerical examples. The new algorithm not only suppresses multiple echoes seen in the Born imaging, but also takes advantage of illumination by them of some back sides of the reflectors, improving the quality of their map**.
△ Less
Submitted 15 November, 2022;
originally announced November 2022.
-
On extension of the data driven ROM inverse scattering framework to partially nonreciprocal arrays
Authors:
Vladimir Druskin,
Shari Moskow,
Mikhail Zaslavsky
Abstract:
Data-driven reduced order models (ROMs) recently emerged as powerful tool for the solution of inverse scattering problems. The main drawback of this approach is that it was limited to the measurement arrays with reciprocally collocated transmitters and receivers, that is, square symmetric matrix (data) transfer functions. To relax this limitation, we use our previous work [14], where the ROMs were…
▽ More
Data-driven reduced order models (ROMs) recently emerged as powerful tool for the solution of inverse scattering problems. The main drawback of this approach is that it was limited to the measurement arrays with reciprocally collocated transmitters and receivers, that is, square symmetric matrix (data) transfer functions. To relax this limitation, we use our previous work [14], where the ROMs were combined with the Lippmann-Schwinger integral equation to produce a direct nonlinear inversion method. In this work we extend this approach to more general transfer functions, including those that are non-symmetric, e.g., obtained by adding only receivers or sources. The ROM is constructed based on the symmetric subset of the data and is used to construct all internal solutions. Remaining receivers are then used directly in the Lippmann-Schwinger equation. We demonstrate the new approach on a number of 1D and 2D examples with non-reciprocal arrays, including a single input/multiple outputs (SIMO) inverse problem, where the data is given by just a single-row matrix transfer function.
△ Less
Submitted 17 December, 2021;
originally announced December 2021.
-
Lippmann-Schwinger-Lanczos algorithm for inverse scattering problems
Authors:
Vladimir Druskin,
Shari Moskow,
Mikhail Zaslavsky
Abstract:
Data-driven reduced order models (ROMs) are combined with the Lippmann-Schwinger integral equation to produce a direct nonlinear inversion method. The ROM is viewed as a Galerkin projection and is sparse due to Lanczos orthogonalization. Embedding into the continuous problem, a data-driven internal solution is produced. This internal solution is then used in the Lippmann-Schwinger equation, thus m…
▽ More
Data-driven reduced order models (ROMs) are combined with the Lippmann-Schwinger integral equation to produce a direct nonlinear inversion method. The ROM is viewed as a Galerkin projection and is sparse due to Lanczos orthogonalization. Embedding into the continuous problem, a data-driven internal solution is produced. This internal solution is then used in the Lippmann-Schwinger equation, thus making further iterative updates unnecessary. We show numerical experiments for spectral domain domain data for which our inversion is far superior to the Born inversion and works as well as when the true internal solution is known.
△ Less
Submitted 10 April, 2021; v1 submitted 28 January, 2021;
originally announced January 2021.
-
Reduced Order Model Approach to Inverse Scattering
Authors:
Liliana Borcea,
Vladimir Druskin,
Alexander V. Mamonov,
Mikhail Zaslavsky,
Jörn Zimmerling
Abstract:
We study an inverse scattering problem for a generic hyperbolic system of equations with an unknown coefficient called the reflectivity. The solution of the system models waves (sound, electromagnetic or elastic), and the reflectivity models unknown scatterers embedded in a smooth and known medium. The inverse problem is to determine the reflectivity from the time resolved scattering matrix (the d…
▽ More
We study an inverse scattering problem for a generic hyperbolic system of equations with an unknown coefficient called the reflectivity. The solution of the system models waves (sound, electromagnetic or elastic), and the reflectivity models unknown scatterers embedded in a smooth and known medium. The inverse problem is to determine the reflectivity from the time resolved scattering matrix (the data) measured by an array of sensors. We introduce a novel inversion method, based on a reduced order model (ROM) of an operator called wave propagator, because it maps the wave from one time instant to the next, at interval corresponding to the discrete time sampling of the data. The wave propagator is unknown in the inverse problem, but the ROM can be computed directly from the data. By construction, the ROM inherits key properties of the wave propagator, which facilitate the estimation of the reflectivity. The ROM was introduced previously and was used for two purposes: (1) to map the scattering matrix to that corresponding to the single scattering (Born) approximation and (2) to image i.e., obtain a qualitative estimate of the support of the reflectivity. Here we study further the ROM and show that it corresponds to a Galerkin projection of the wave propagator. The Galerkin framework is useful for proving properties of the ROM that are used in the new inversion method which seeks a quantitative estimate of the reflectivity.
△ Less
Submitted 30 January, 2020; v1 submitted 28 October, 2019;
originally announced October 2019.
-
Reduced order models for spectral domain inversion: Embedding into the continuous problem and generation of internal data
Authors:
Liliana Borcea,
Vladimir Druskin,
Alexander V. Mamonov,
Shari Moskow,
Mikhail Zaslavsky
Abstract:
We generate data-driven reduced order models (ROMs) for inversion of the one and two dimensional Schrödinger equation in the spectral domain given boundary data at a few frequencies. The ROM is the Galerkin projection of the Schrödinger operator onto the space spanned by solutions at these sample frequencies. The ROM matrix is in general full, and not good for extracting the potential. However, us…
▽ More
We generate data-driven reduced order models (ROMs) for inversion of the one and two dimensional Schrödinger equation in the spectral domain given boundary data at a few frequencies. The ROM is the Galerkin projection of the Schrödinger operator onto the space spanned by solutions at these sample frequencies. The ROM matrix is in general full, and not good for extracting the potential. However, using an orthogonal change of basis via Lanczos iteration, we can transform the ROM to a block triadiagonal form from which it is easier to extract $q$. In one dimension, the tridiagonal matrix corresponds to a three-point staggered finite-difference system for the Schrödinger operator discretized on a so-called spectrally matched grid which is almost independent of the medium. In higher dimensions, the orthogonalized basis functions play the role of the grid steps. The orthogonalized basis functions are localized and also depend only very weakly on the medium, and thus by embedding into the continuous problem, the reduced order model yields highly accurate internal solutions. That is to say, we can obtain, just from boundary data, very good approximations of the solution of the Schrödinger equation in the whole domain for a spectral interval that includes the sample frequencies. We present inversion experiments based on the internal solutions in one and two dimensions.
△ Less
Submitted 13 September, 2019;
originally announced September 2019.
-
Fast finite-difference convolution for 3D problems in layered media
Authors:
Vladimir Druskin,
Mikhail Zaslavsky
Abstract:
We developed fast direct solver for 3D Helmholtz and Maxwell equations in layered medium. The algorithm is based on the ideas of cyclic reduction for separable matrices. For the grids with major uniform part (within the survey domain in the problems of geophysical prospecting, for example) and small non-uniform part (PML and coarsening to approximate problems in infinite domain) the computational…
▽ More
We developed fast direct solver for 3D Helmholtz and Maxwell equations in layered medium. The algorithm is based on the ideas of cyclic reduction for separable matrices. For the grids with major uniform part (within the survey domain in the problems of geophysical prospecting, for example) and small non-uniform part (PML and coarsening to approximate problems in infinite domain) the computational cost of our approach is $O(N_xN_ylog(N_xN_y)N_z)$. For general non-uniform grids the cost is $O(N^{3/2}_xN^{3/2}_yN_z)$. The first asymptotics coincide with the cost of FFT-based methods, which can be applied for uniform gridding (in x and y) only. Our approach is significantly more efficient compared to the algorithms based on discrete Fourier transform which cost is $O(N^2_xN^2_yN_z)$. The algorithm can be easily extended for solving the elasticity problems as well.
△ Less
Submitted 3 September, 2019;
originally announced September 2019.
-
Robust nonlinear processing of active array data in inverse scattering via truncated reduced order models
Authors:
Liliana Borcea,
Vladimir Druskin,
Alexander V. Mamonov,
Mikhail Zaslavsky
Abstract:
We introduce a novel algorithm for nonlinear processing of data gathered by an active array of sensors which probes a medium with pulses and measures the resulting waves. The algorithm is motivated by the application of array imaging. We describe it for a generic hyperbolic system that applies to acoustic, electromagnetic or elastic waves in a scattering medium modeled by an unknown coefficient ca…
▽ More
We introduce a novel algorithm for nonlinear processing of data gathered by an active array of sensors which probes a medium with pulses and measures the resulting waves. The algorithm is motivated by the application of array imaging. We describe it for a generic hyperbolic system that applies to acoustic, electromagnetic or elastic waves in a scattering medium modeled by an unknown coefficient called the reflectivity. The goal of imaging is to invert the nonlinear map** from the reflectivity to the array data. Many existing imaging methodologies ignore the nonlinearity i.e., operate under the assumption that the Born (single scattering) approximation is accurate. This leads to image artifacts when multiple scattering is significant. Our algorithm seeks to transform the array data to those corresponding to the Born approximation, so it can be used as a pre-processing step for any linear inversion method. The nonlinear data transformation algorithm is based on a reduced order model defined by a proxy wave propagator operator that has four important properties. First, it is data driven, meaning that it is constructed from the data alone, with no knowledge of the medium. Second, it can be factorized in two operators that have an approximately affine dependence on the unknown reflectivity. This allows the computation of the Fréchet derivative of the reflectivity to the data map** which gives the Born approximation. Third, the algorithm involves regularization which balances numerical stability and data fitting with accuracy of the order of the standard deviation of additive data noise. Fourth, the algebraic nature of the algorithm makes it applicable to scalar (acoustic) and vectorial (elastic, electromagnetic) wave data without any specific modifications.
△ Less
Submitted 9 May, 2018;
originally announced May 2018.
-
Compressing Large-Scale Wave Propagation Models via Phase-Preconditioned Rational Krylov Subspaces
Authors:
Vladimir Druskin,
Rob Remis,
Mikhail Zaslavsky,
Jörn Zimmerling
Abstract:
Rational Krylov subspace (RKS) techniques are well-established and powerful tools for projection-based model reduction of time-invariant dynamic systems. For hyperbolic wavefield problems, such techniques perform well in configurations where only a few modes contribute to the field. RKS methods, however, are fundamentally limited by the Nyquist-Shannon sampling rate, making them unsuitable for the…
▽ More
Rational Krylov subspace (RKS) techniques are well-established and powerful tools for projection-based model reduction of time-invariant dynamic systems. For hyperbolic wavefield problems, such techniques perform well in configurations where only a few modes contribute to the field. RKS methods, however, are fundamentally limited by the Nyquist-Shannon sampling rate, making them unsuitable for the approximation of wavefields in configuration characterized by large travel times and propagation distances, since wavefield responses in such configurations are highly oscillatory in the frequency-domain. To overcome this limitation, we propose to precondition the RKSs by factoring out the rapidly varying frequency-domain field oscillations. The remaining amplitude functions are generally slowly varying functions of source position and spatial coordinate and allow for a significant compression of the approximation subspace. Our one-dimensional analysis together with numerical experiments for large scale 2D acoustic models show superior approximation properties of preconditioned RKS compared with the standard RKS model-order reduction. The preconditioned RKS results in a reduction of the frequency sampling well below the Nyquist-Shannon rate, a weak dependence of the RKS size on the number of inputs and outputs for multiple-input/multiple-output (MIMO) problems, and, most importantly, in a significant coarsening of the finite-difference grid used to generate the RKS. A prototype implementation indicates that the preconditioned RKS algorithm is competitive in the modern high performance computing environment.
△ Less
Submitted 2 November, 2017;
originally announced November 2017.
-
Untangling the nonlinearity in inverse scattering with data-driven reduced order models
Authors:
Liliana Borcea,
Vladimir Druskin,
Alexander V. Mamonov,
Mikhail Zaslavsky
Abstract:
The motivation of this work is an inverse problem for the acoustic wave equation, where an array of sensors probes an unknown medium with pulses and measures the scattered waves. The goal of the inversion is to determine from these measurements the structure of the scattering medium, modeled by a spatially varying acoustic impedance function. Many inversion algorithms assume that the map** from…
▽ More
The motivation of this work is an inverse problem for the acoustic wave equation, where an array of sensors probes an unknown medium with pulses and measures the scattered waves. The goal of the inversion is to determine from these measurements the structure of the scattering medium, modeled by a spatially varying acoustic impedance function. Many inversion algorithms assume that the map** from the unknown impedance to the scattered waves is approximately linear. The linearization, known as the Born approximation, is not accurate in strongly scattering media, where the waves undergo multiple reflections before they reach the sensors in the array. Thus, the reconstructions of the impedance have numerous artifacts. The main result of the paper is a novel, linear-algebraic algorithm that uses a reduced order model (ROM) to map the data to those corresponding to the single scattering (Born) model. The ROM construction is based only on the measurements at the sensors in the array. The ROM is a proxy for the wave propagator operator, that propagates the wave in the unknown medium over the duration of the time sampling interval. The output of the algorithm can be input into any off-the-shelf inversion software that incorporates state of the art linear inversion algorithms to reconstruct the unknown acoustic impedance.
△ Less
Submitted 25 October, 2017; v1 submitted 26 April, 2017;
originally announced April 2017.
-
A nonlinear method for imaging with acoustic waves via reduced order model backprojection
Authors:
Vladimir Druskin,
Alexander V. Mamonov,
Mikhail Zaslavsky
Abstract:
We introduce a novel nonlinear imaging method for the acoustic wave equation based on data-driven model order reduction. The objective is to image the discontinuities of the acoustic velocity, a coefficient of the scalar wave equation from the discretely sampled time domain data measured at an array of transducers that can act as both sources and receivers. We treat the wave equation along with tr…
▽ More
We introduce a novel nonlinear imaging method for the acoustic wave equation based on data-driven model order reduction. The objective is to image the discontinuities of the acoustic velocity, a coefficient of the scalar wave equation from the discretely sampled time domain data measured at an array of transducers that can act as both sources and receivers. We treat the wave equation along with transducer functionals as a dynamical system. A reduced order model (ROM) for the propagator of such system can be computed so that it interpolates exactly the measured time domain data. The resulting ROM is an orthogonal projection of the propagator on the subspace of the snapshots of solutions of the acoustic wave equation. While the wavefield snapshots are unknown, the projection ROM can be computed entirely from the measured data, thus we refer to such ROM as data-driven. The image is obtained by backprojecting the ROM. Since the basis functions for the projection subspace are not known, we replace them with the ones computed for a known smooth kinematic velocity model. A crucial step of ROM construction is an implicit orthogonalization of solution snapshots. It is a nonlinear procedure that differentiates our approach from the conventional linear imaging methods (Kirchhoff migration and reverse time migration - RTM). It resolves all dynamical behavior captured by the data, so the error from the imperfect knowledge of the velocity model is purely kinematic. This allows for almost complete removal of multiple reflection artifacts, while simultaneously improving the resolution in the range direction compared to conventional RTM.
△ Less
Submitted 11 August, 2017; v1 submitted 23 April, 2017;
originally announced April 2017.
-
Multi-scale S-fraction reduced-order models for massive wavefield simulations
Authors:
Vladimir Druskin,
Alexander V. Mamonov,
Mikhail Zaslavsky
Abstract:
We developed a novel reduced-order multi-scale method for solving large time-domain wavefield simulation problems. Our algorithm consists of two main stages. During the first "off-line" stage the fine-grid operator (of the graph Laplacian type} is partitioned on coarse cells (subdomains). Then projection-type multi-scale reduced order models (ROMs) are computed for the coarse cell operators. The o…
▽ More
We developed a novel reduced-order multi-scale method for solving large time-domain wavefield simulation problems. Our algorithm consists of two main stages. During the first "off-line" stage the fine-grid operator (of the graph Laplacian type} is partitioned on coarse cells (subdomains). Then projection-type multi-scale reduced order models (ROMs) are computed for the coarse cell operators. The off-line stage is embarrassingly parallel as ROM computations for the subdomains are independent of each other. It also does not depend on the number of simulated sources (inputs) and it is performed just once before the entire time-domain simulation. At the second "on-line" stage the time-domain simulation is performed within the obtained multi-scale ROM framework. The crucial feature of our formulation is the representation of the ROMs in terms of matrix Stieltjes continued fractions (S-fractions). The layered structure of the S-fraction introduces several hidden layers in the ROM representation, that results in the block-tridiagonal dynamic system within each coarse cell. This allows us to sparsify the obtained multi-scale subdomain operator ROMs and to reduce the communications between the adjacent subdomains which is highly beneficial for a parallel implementation of the on-line stage. Our approach suits perfectly the high performance computing architectures, however in this paper we present rather promising numerical results for a serial computing implementation only. These results include 3D acoustic and multi-phase anisotropic elastic problems.
△ Less
Submitted 16 October, 2016; v1 submitted 22 April, 2016;
originally announced April 2016.
-
Direct, nonlinear inversion algorithm for hyperbolic problems via projection-based model reduction
Authors:
Vladimir Druskin,
Alexander Mamonov,
Andrew E. Thaler,
Mikhail Zaslavsky
Abstract:
We estimate the wave speed in the acoustic wave equation from boundary measurements by constructing a reduced-order model (ROM) matching discrete time-domain data. The state-variable representation of the ROM can be equivalently viewed as a Galerkin projection onto the Krylov subspace spanned by the snapshots of the time-domain solution. The success of our algorithm hinges on the data-driven Gram-…
▽ More
We estimate the wave speed in the acoustic wave equation from boundary measurements by constructing a reduced-order model (ROM) matching discrete time-domain data. The state-variable representation of the ROM can be equivalently viewed as a Galerkin projection onto the Krylov subspace spanned by the snapshots of the time-domain solution. The success of our algorithm hinges on the data-driven Gram--Schmidt orthogonalization of the snapshots that suppresses multiple reflections and can be viewed as a discrete form of the Marchenko--Gel'fand--Levitan--Krein algorithm. In particular, the orthogonalized snapshots are localized functions, the (squared) norms of which are essentially weighted averages of the wave speed. The centers of mass of the squared orthogonalized snapshots provide us with the grid on which we reconstruct the velocity. This grid is weakly dependent on the wave speed in traveltime coordinates, so the grid points may be approximated by the centers of mass of the analogous set of squared orthogonalized snapshots generated by a known reference velocity. We present results of inversion experiments for one- and two-dimensional synthetic models.
△ Less
Submitted 24 March, 2016; v1 submitted 14 September, 2015;
originally announced September 2015.
-
Nonlinear seismic imaging via reduced order model backprojection
Authors:
Alexander V. Mamonov,
Vladimir Druskin,
Mikhail Zaslavsky
Abstract:
We introduce a novel nonlinear seismic imaging method based on model order reduction. The reduced order model (ROM) is an orthogonal projection of the wave equation propagator operator on the subspace of the snapshots of the solutions of the wave equation. It can be computed entirely from the knowledge of the measured time domain seismic data. The image is a backprojection of the ROM using the sub…
▽ More
We introduce a novel nonlinear seismic imaging method based on model order reduction. The reduced order model (ROM) is an orthogonal projection of the wave equation propagator operator on the subspace of the snapshots of the solutions of the wave equation. It can be computed entirely from the knowledge of the measured time domain seismic data. The image is a backprojection of the ROM using the subspace basis for the known smooth kinematic velocity model. The implicit orthogonalization of solution snapshots is a nonlinear procedure that differentiates our approach from the conventional linear methods (Kirchhoff, RTM). It allows for the removal of multiple reflection artifacts. It also enables us to estimate the magnitude of the reflectors similarly to the true amplitude migration algorithms.
△ Less
Submitted 31 March, 2015;
originally announced April 2015.
-
S-fraction multiscale finite-volume method for spectrally accurate wave propagation
Authors:
Vladimir Druskin,
Alexander V. Mamonov,
Mikhail Zaslavsky
Abstract:
We develop a method for numerical time-domain wave propagation based on the model order reduction approach. The method is built with high-performance computing (HPC) implementation in mind that implies a high level of parallelism and greatly reduced communication requirements compared to the traditional high-order finite-difference time-domain (FDTD) methods. The approach is inherently multiscale,…
▽ More
We develop a method for numerical time-domain wave propagation based on the model order reduction approach. The method is built with high-performance computing (HPC) implementation in mind that implies a high level of parallelism and greatly reduced communication requirements compared to the traditional high-order finite-difference time-domain (FDTD) methods. The approach is inherently multiscale, with a reference fine grid model being split into subdomains. For each subdomain the coarse scale reduced order models (ROMs) are precomputed off-line in a parallel manner. The ROMs approximate the Neumann-to-Dirichlet (NtD) maps with high (spectral) accuracy and are used to couple the adjacent subdomains on the shared boundaries. The on-line part of the method is an explicit time step** with the coupled ROMs. To lower the on-line computation cost the reduced order spatial operator is sparsified by transforming to a matrix Stieltjes continued fraction (S-fraction) form. The on-line communication costs are also reduced due to the ROM NtD map approximation properties. Another source of performance improvement is the time step length. Properly chosen ROMs substantially improve the Courant-Friedrichs-Lewy (CFL) condition. This allows the CFL time step to approach the Nyquist limit, which is typically unattainable with traditional schemes that have the CFL time step much smaller than the Nyquist sampling rate.
△ Less
Submitted 26 June, 2014;
originally announced June 2014.
-
A model reduction approach to numerical inversion for a parabolic partial differential equation
Authors:
Liliana Borcea,
Vladimir Druskin,
Alexander V. Mamonov,
Mikhail Zaslavsky
Abstract:
We propose a novel numerical inversion algorithm for the coefficients of parabolic partial differential equations, based on model reduction. The study is motivated by the application of controlled source electromagnetic exploration, where the unknown is the subsurface electrical resistivity and the data are time resolved surface measurements of the magnetic field. The algorithm presented in this p…
▽ More
We propose a novel numerical inversion algorithm for the coefficients of parabolic partial differential equations, based on model reduction. The study is motivated by the application of controlled source electromagnetic exploration, where the unknown is the subsurface electrical resistivity and the data are time resolved surface measurements of the magnetic field. The algorithm presented in this paper considers inversion in one and two dimensions. The reduced model is obtained with rational interpolation in the frequency (Laplace) domain and a rational Krylov subspace projection method. It amounts to a nonlinear map** from the function space of the unknown resistivity to the small dimensional space of the parameters of the reduced model. We use this map** as a nonlinear preconditioner for the Gauss-Newton iterative solution of the inverse problem. The advantage of the inversion algorithm is twofold. First, the nonlinear preconditioner resolves most of the nonlinearity of the problem. Thus the iterations are less likely to get stuck in local minima and the convergence is fast. Second, the inversion is computationally efficient because it avoids repeated accurate simulations of the time-domain response. We study the stability of the inversion algorithm for various rational Krylov subspaces, and assess its performance with numerical experiments.
△ Less
Submitted 8 October, 2014; v1 submitted 3 October, 2012;
originally announced October 2012.
-
Conservation Laws and Hamilton's Equations for Systems with Long-Range Interaction and Memory
Authors:
Vasily E. Tarasov,
George M. Zaslavsky
Abstract:
Using the fact that extremum of variation of generalized action can lead to the fractional dynamics in the case of systems with long-range interaction and long-term memory function, we consider two different applications of the action principle: generalized Noether's theorem and Hamiltonian type equations. In the first case, we derive conservation laws in the form of continuity equations that co…
▽ More
Using the fact that extremum of variation of generalized action can lead to the fractional dynamics in the case of systems with long-range interaction and long-term memory function, we consider two different applications of the action principle: generalized Noether's theorem and Hamiltonian type equations. In the first case, we derive conservation laws in the form of continuity equations that consist of fractional time-space derivatives. Among applications of these results, we consider a chain of coupled oscillators with a power-wise memory function and power-wise interaction between oscillators. In the second case, we consider an example of fractional differential action 1-form and find the corresponding Hamiltonian type equations from the closed condition of the form.
△ Less
Submitted 24 April, 2007; v1 submitted 14 March, 2007;
originally announced March 2007.
-
Fractional Dynamics of Systems with Long-Range Space Interaction and Temporal Memory
Authors:
Vasily E. Tarasov,
George M. Zaslavsky
Abstract:
Field equations with time and coordinates derivatives of noninteger order are derived from stationary action principle for the cases of power-law memory function and long-range interaction in systems. The method is applied to obtain a fractional generalization of the Ginzburg-Landau and nonlinear Schrodinger equations. As another example, dynamical equations for particles chain with power-law in…
▽ More
Field equations with time and coordinates derivatives of noninteger order are derived from stationary action principle for the cases of power-law memory function and long-range interaction in systems. The method is applied to obtain a fractional generalization of the Ginzburg-Landau and nonlinear Schrodinger equations. As another example, dynamical equations for particles chain with power-law interaction and memory are considered in the continuous limit. The obtained fractional equations can be applied to complex media with/without random parameters or processes.
△ Less
Submitted 18 February, 2007;
originally announced February 2007.
-
Nonholonomic Constraints with Fractional Derivatives
Authors:
Vasily E. Tarasov,
George M. Zaslavsky
Abstract:
We consider the fractional generalization of nonholonomic constraints defined by equations with fractional derivatives and provide some examples. The corresponding equations of motion are derived using variational principle.
We consider the fractional generalization of nonholonomic constraints defined by equations with fractional derivatives and provide some examples. The corresponding equations of motion are derived using variational principle.
△ Less
Submitted 27 March, 2006;
originally announced March 2006.
-
Dynamics with Low-Level Fractionality
Authors:
Vasily E. Tarasov,
George M. Zaslavsky
Abstract:
The notion of fractional dynamics is related to equations of motion with one or a few terms with derivatives of a fractional order. This type of equation appears in the description of chaotic dynamics, wave propagation in fractal media, and field theory. For the fractional linear oscillator the physical meaning of the derivative of order $α<2$ is dissipation. In systems with many spacially coupl…
▽ More
The notion of fractional dynamics is related to equations of motion with one or a few terms with derivatives of a fractional order. This type of equation appears in the description of chaotic dynamics, wave propagation in fractal media, and field theory. For the fractional linear oscillator the physical meaning of the derivative of order $α<2$ is dissipation. In systems with many spacially coupled elements (oscillators) the fractional derivative, along the space coordinate, corresponds to a long range interaction. We discuss a method of constructing a solution using an expansion in $ε=n-α$ with small $ε$ and positive integer $n$. The method is applied to the fractional linear and nonlinear oscillators and to fractional Ginzburg-Landau or parabolic equations.
△ Less
Submitted 16 November, 2005;
originally announced November 2005.
-
Discussion of "Analysis of variance--why it is more important than ever" by A. Gelman
Authors:
Alan M. Zaslavsky
Abstract:
Discussion of ``Analysis of variance--why it is more important than ever'' by A. Gelman [math.ST/0504499]
Discussion of ``Analysis of variance--why it is more important than ever'' by A. Gelman [math.ST/0504499]
△ Less
Submitted 26 August, 2005;
originally announced August 2005.