-
A time-domain preconditioner for the Helmholtz equation
Authors:
Christiaan C. Stolk
Abstract:
Time-harmonic solutions to the wave equation can be computed in the frequency or in the time domain. In the frequency domain, one solves a discretized Helmholtz equation, while in the time domain, the periodic solutions to a discretized wave equation are sought, e.g. by simulating for a long time with a time-harmonic forcing term. Disadvantages of the time-domain method are that the solutions are…
▽ More
Time-harmonic solutions to the wave equation can be computed in the frequency or in the time domain. In the frequency domain, one solves a discretized Helmholtz equation, while in the time domain, the periodic solutions to a discretized wave equation are sought, e.g. by simulating for a long time with a time-harmonic forcing term. Disadvantages of the time-domain method are that the solutions are affected by temporal discretization errors and that the spatial discretization cannot be freely chosen, since it is inherited from the time-domain scheme. In this work we address these issues. Given an indefinite linear system satisfying certain properties, a matrix recurrence relation is constructed, such that in the limit the exact discrete solution is obtained. By iterating a large, finite number of times, an approximate solution is obtained, similarly as in a time-domain method for the Helmholtz equation. To improve the convergence, the process is used as a preconditioner for GMRES, and the time-harmonic forcing term is multiplied by a smooth window function. The construction is applied to a compact-stencil finite-difference discretization of the Helmholtz equation, for which previously no time-domain solver was available. Advantages of the resulting solver are the relative simplicity, small memory requirement and reasonable computation times.
△ Less
Submitted 25 October, 2021; v1 submitted 30 June, 2020;
originally announced June 2020.
-
Understanding the combined effect of $k$-space undersampling and transient states excitation in MR Fingerprinting reconstructions
Authors:
Christiaan C. Stolk,
Alessandro Sbrizzi
Abstract:
Magnetic resonance fingerprinting (MRF) is able to estimate multiple quantitative tissue parameters from a relatively short acquisition. The main characteristic of an MRF sequence is the simultaneous application of (a) transient states excitation and (b) highly undersampled $k$-space. Despite the promising empirical results obtained with MRF, no work has appeared that formally describes the combin…
▽ More
Magnetic resonance fingerprinting (MRF) is able to estimate multiple quantitative tissue parameters from a relatively short acquisition. The main characteristic of an MRF sequence is the simultaneous application of (a) transient states excitation and (b) highly undersampled $k$-space. Despite the promising empirical results obtained with MRF, no work has appeared that formally describes the combined impact of these two aspects on the reconstruction accuracy. In this paper, a mathematical model is derived that directly relates the time varying RF excitation and the $k$-space sampling to the spatially dependent reconstruction errors. A subsequent in-depth analysis identifies the mechanisms by which MRF sequence properties affect accuracy, providing a formal explanation of several empirically observed or intuitively understood facts. New insights are obtained which show how this analytical framework could be used to improve the MRF protocol.
△ Less
Submitted 18 February, 2019; v1 submitted 19 November, 2018;
originally announced November 2018.
-
A dispersion minimizing scheme for the 3-D Helmholtz equation based on ray theory
Authors:
Christiaan C. Stolk
Abstract:
We develop a new dispersion minimizing compact finite difference scheme for the Helmholtz equation in 2 and 3 dimensions. The scheme is based on a newly developed ray theory for difference equations. A discrete Helmholtz operator and a discrete operator to be applied to the source and the wavefields are constructed. Their coefficients are piecewise polynomial functions of $hk$, chosen such that ph…
▽ More
We develop a new dispersion minimizing compact finite difference scheme for the Helmholtz equation in 2 and 3 dimensions. The scheme is based on a newly developed ray theory for difference equations. A discrete Helmholtz operator and a discrete operator to be applied to the source and the wavefields are constructed. Their coefficients are piecewise polynomial functions of $hk$, chosen such that phase and amplitude errors are minimal. The phase errors of the scheme are very small, approximately as small as those of the 2-D quasi-stabilized FEM method and substantially smaller than those of alternatives in 3-D, assuming the same number of gridpoints per wavelength is used. In numerical experiments, accurate solutions are obtained in constant and smoothly varying media using meshes with only five to six points per wavelength and wave propagation over hundreds of wavelengths. When used as a coarse level discretization in a multigrid method the scheme can even be used with downto three points per wavelength. Tests on 3-D examples with up to $10^8$ degrees of freedom show that with a recently developed hybrid solver, the use of coarser meshes can lead to corresponding savings in computation time, resulting in good simulation times compared to the literature.
△ Less
Submitted 24 February, 2016; v1 submitted 7 April, 2015;
originally announced April 2015.
-
An improved sweeping domain decomposition preconditioner for the Helmholtz equation
Authors:
Christiaan C. Stolk
Abstract:
In this paper we generalize and improve a recently developed domain decomposition preconditioner for the iterative solution of discretized Helmholtz equations. We introduce an improved method for transmission at the internal boundaries using perfectly matched layers. Simultaneous forward and backward sweeps are introduced, thereby improving the possibilities for parallellization. Finally, the meth…
▽ More
In this paper we generalize and improve a recently developed domain decomposition preconditioner for the iterative solution of discretized Helmholtz equations. We introduce an improved method for transmission at the internal boundaries using perfectly matched layers. Simultaneous forward and backward sweeps are introduced, thereby improving the possibilities for parallellization. Finally, the method is combined with an outer two-grid iteration. The method is studied theoretically and with numerical examples. It is shown that the modifications lead to substantial decreases in computation time and memory use, so that computation times become comparable to that of the fastests methods currently in the literature for problems with up to 10^8 degrees of freedom.
△ Less
Submitted 11 July, 2016; v1 submitted 1 December, 2014;
originally announced December 2014.
-
A multigrid method for the Helmholtz equation with optimized coarse grid corrections
Authors:
Christiaan C. Stolk,
Mostak Ahmed,
Samir K. Bhowmik
Abstract:
We study the convergence of multigrid schemes for the Helmholtz equation, focusing in particular on the choice of the coarse scale operators. Let G_c denote the number of points per wavelength at the coarse level. If the coarse scale solutions are to approximate the true solutions, then the oscillatory nature of the solutions implies the requirement G_c > 2. However, in examples the requirement is…
▽ More
We study the convergence of multigrid schemes for the Helmholtz equation, focusing in particular on the choice of the coarse scale operators. Let G_c denote the number of points per wavelength at the coarse level. If the coarse scale solutions are to approximate the true solutions, then the oscillatory nature of the solutions implies the requirement G_c > 2. However, in examples the requirement is more like G_c >= 10, in a trade-off involving also the amount of damping present and the number of multigrid iterations. We conjecture that this is caused by the difference in phase speeds between the coarse and fine scale operators. Standard 5-point finite differences in 2-D are our first example. A new coarse scale 9-point operator is constructed to match the fine scale phase speeds. We then compare phase speeds and multigrid performance of standard schemes with a scheme using the new operator. The required G_c is reduced from about 10 to about 3.5, with less damping present so that waves propagate over > 100 wavelengths in the new scheme. Next we consider extensions of the method to more general cases. In 3-D comparable results are obtained with standard 7-point differences and optimized 27-point coarse grid operators, leading to an order of magnitude reduction in the number of unknowns for the coarsest scale linear system. Finally we show how to include PML boundary layers, using a regular grid finite element method. Matching coarse scale operators can easily be constructed for other discretizations. The method is therefore potentially useful for a large class of discretized high-frequency Helmholtz equations.
△ Less
Submitted 8 April, 2014; v1 submitted 15 April, 2013;
originally announced April 2013.
-
A mathematical framework for inverse wave problems in heterogeneous media
Authors:
Kirk D. Blazek,
Christiaan C. Stolk,
William W. Symes
Abstract:
This paper provides a theoretical foundation for some common formulations of inverse problems in wave propagation, based on hyperbolic systems of linear integro-differential equations with bounded and measurable coefficients. The coefficients of these time-dependent partial differential equations respresent parametrically the spatially varying mechanical properties of materials. Rocks, manufacture…
▽ More
This paper provides a theoretical foundation for some common formulations of inverse problems in wave propagation, based on hyperbolic systems of linear integro-differential equations with bounded and measurable coefficients. The coefficients of these time-dependent partial differential equations respresent parametrically the spatially varying mechanical properties of materials. Rocks, manufactured materials, and other wave propagation environments often exhibit spatial heterogeneity in mechanical properties at a wide variety of scales, and coefficient functions representing these properties must mimic this heterogeneity. We show how to choose domains (classes of nonsmooth coefficient functions) and data definitions (traces of weak solutions) so that optimization formulations of inverse wave problems satisfy some of the prerequisites for application of Newton's method and its relatives. These results follow from the properties of a class of abstract first-order evolution systems, of which various physical wave systems appear as concrete instances. Finite speed of propagation for linear waves with bounded, measurable mechanical parameter fields is one of the by-products of this theory.
△ Less
Submitted 19 November, 2012;
originally announced November 2012.
-
A rapidly converging domain decomposition method for the Helmholtz equation
Authors:
Christiaan C. Stolk
Abstract:
A new domain decomposition method is introduced for the heterogeneous 2-D and 3-D Helmholtz equations. Transmission conditions based on the perfectly matched layer (PML) are derived that avoid artificial reflections and match incoming and outgoing waves at the subdomain interfaces. We focus on a subdivision of the rectangular domain into many thin subdomains along one of the axes, in combination w…
▽ More
A new domain decomposition method is introduced for the heterogeneous 2-D and 3-D Helmholtz equations. Transmission conditions based on the perfectly matched layer (PML) are derived that avoid artificial reflections and match incoming and outgoing waves at the subdomain interfaces. We focus on a subdivision of the rectangular domain into many thin subdomains along one of the axes, in combination with a certain ordering for solving the subdomain problems and a GMRES outer iteration. When combined with multifrontal methods, the solver has near-linear cost in examples, due to very small iteration numbers that are essentially independent of problem size and number of subdomains. It is to our knowledge only the second method with this property next to the moving PML sweeping method.
△ Less
Submitted 30 January, 2013; v1 submitted 20 August, 2012;
originally announced August 2012.
-
Linearized inverse scattering based on seismic Reverse Time Migration
Authors:
Tim J. P. M. Op 't Root,
Christiaan C. Stolk,
Maarten V. de Hoop
Abstract:
In this paper we study the linearized inverse problem associated with imaging of reflection seismic data. We introduce an inverse scattering transform derived from reverse-time migration (RTM). In the process, the explicit evaluation of the so-called normal operator is avoided, while other differential and pseudodifferential operator factors are introduced. We prove that, under certain conditions,…
▽ More
In this paper we study the linearized inverse problem associated with imaging of reflection seismic data. We introduce an inverse scattering transform derived from reverse-time migration (RTM). In the process, the explicit evaluation of the so-called normal operator is avoided, while other differential and pseudodifferential operator factors are introduced. We prove that, under certain conditions, the transform yields a partial inverse, and support this with numerical simulations. In addition, we explain the recently discussed 'low-frequency artifacts' in RTM, which are naturally removed by the new method.
△ Less
Submitted 21 January, 2011; v1 submitted 20 December, 2010;
originally announced December 2010.
-
On the generalization of wavelet diagonal preconditioning to the Helmholtz equation
Authors:
Christiaan C. Stolk
Abstract:
We present a preconditioning method for the multi-dimensional Helmholtz equation with smoothly varying coefficient. The method is based on a frame of functions, that approximately separates components associated with different singular values of the operator. For the small singular values, corresponding to propagating waves, the frame functions are constructed using ray theory. A series of 2-D num…
▽ More
We present a preconditioning method for the multi-dimensional Helmholtz equation with smoothly varying coefficient. The method is based on a frame of functions, that approximately separates components associated with different singular values of the operator. For the small singular values, corresponding to propagating waves, the frame functions are constructed using ray theory. A series of 2-D numerical experiments demonstrates that the number of iterations required for convergence is small and independent of the frequency. In this sense the method is optimal.
△ Less
Submitted 22 October, 2010;
originally announced October 2010.
-
Preconditioners based on Windowed Fourier Frames Applied to Elliptic Partial Differential Equations
Authors:
Samir K. Bhowmik,
Christiaan C. Stolk
Abstract:
We investigate the application of windowed Fourier frames (WFFs) to the numerical solution of partial differential equations, focussing on elliptic equations. The action of a partial differential operator (PDO) on a windowed plane wave is close to a multiplication, where the multiplication factor is given by the symbol of the PDO evaluated at the wave number and central position of the windowed pl…
▽ More
We investigate the application of windowed Fourier frames (WFFs) to the numerical solution of partial differential equations, focussing on elliptic equations. The action of a partial differential operator (PDO) on a windowed plane wave is close to a multiplication, where the multiplication factor is given by the symbol of the PDO evaluated at the wave number and central position of the windowed plane wave. This can be exploited in a preconditioning method for use in iterative inversion. For domains with periodic boundary conditions we find that the condition number with the preconditioning becomes bounded and the iteration converges well. For problems with a Dirichlet boundary condition, some large and small singular values remain. However the iterative inversion still appears to converge well.
△ Less
Submitted 9 September, 2010;
originally announced September 2010.
-
Semiclassical analysis for the Kramers-Fokker-Planck equation
Authors:
Frederic Herau,
Johannes Sjoestrand,
Christiaan C. Stolk
Abstract:
We study some accurate semiclassical resolvent estimates for operators that are neither selfadjoint nor elliptic, and applications to the Cauchy problem. In particular we get a precise description of the spectrum near the imaginary axis and precise resolvent estimates inside the pseudo-spectrum. We apply our results to the Kramers-Fokker-Planck operator.
We study some accurate semiclassical resolvent estimates for operators that are neither selfadjoint nor elliptic, and applications to the Cauchy problem. In particular we get a precise description of the spectrum near the imaginary axis and precise resolvent estimates inside the pseudo-spectrum. We apply our results to the Kramers-Fokker-Planck operator.
△ Less
Submitted 14 June, 2004;
originally announced June 2004.
-
A pseudodifferential equation with damping for one-way wave propagation in inhomogeneous acoustic media
Authors:
Christiaan C. Stolk
Abstract:
A one-way wave equation is an evolution equation in one of the space directions that describes (approximately) a wave field. The exact wave field is approximated in a high frequency, microlocal sense. Here we derive the pseudodifferential one-way wave equation for an inhomogeneous acoustic medium using a known factorization argument. We give explicitly the two highest order terms, that are neces…
▽ More
A one-way wave equation is an evolution equation in one of the space directions that describes (approximately) a wave field. The exact wave field is approximated in a high frequency, microlocal sense. Here we derive the pseudodifferential one-way wave equation for an inhomogeneous acoustic medium using a known factorization argument. We give explicitly the two highest order terms, that are necessary for approximating the solution. A wave front (singularity) whose propagation velocity has non-zero component in the special direction is correctly described. The equation can't describe singularities propagating along turning rays, i.e. rays along which the velocity component in the special direction changes sign. We show that incorrectly propagated singularities are suppressed if a suitable dissipative term is added to the equation.
△ Less
Submitted 18 December, 2003;
originally announced December 2003.
-
Parametrix for a hyperbolic initial value problem with dissipation in some region
Authors:
Christiaan C. Stolk
Abstract:
We consider the initial value problem for a pseudodifferential equation with first order hyperbolic part, and an order $γ> 0$ dissipative term. Under an assumption, depending on an integer parameter $L \geq 2$ such that $2 γ< L$, we construct for this initial value problem a parametrix that is a Fourier integral operator of type $ρ= 1 - γ/L$. The assumption implies that where the principal symbo…
▽ More
We consider the initial value problem for a pseudodifferential equation with first order hyperbolic part, and an order $γ> 0$ dissipative term. Under an assumption, depending on an integer parameter $L \geq 2$ such that $2 γ< L$, we construct for this initial value problem a parametrix that is a Fourier integral operator of type $ρ= 1 - γ/L$. The assumption implies that where the principal symbol of the dissipative term is zero, the terms of order up to $L-1$ in its Taylor series also vanish.
△ Less
Submitted 5 December, 2003;
originally announced December 2003.
-
Seismic inverse scattering in the `wave-equation' approach
Authors:
Christiaan C. Stolk,
Maarten V. de Hoop
Abstract:
Seismic data are commonly modeled by a high-frequency single scattering approximation. This amounts to a linearization in the medium coefficient about a smooth background. The discontinuities are contained in the medium perturbation. The wave solutions in the background medium admit a geometrical optics representation. Here we describe the wave propagation in the background medium by a one-way w…
▽ More
Seismic data are commonly modeled by a high-frequency single scattering approximation. This amounts to a linearization in the medium coefficient about a smooth background. The discontinuities are contained in the medium perturbation. The wave solutions in the background medium admit a geometrical optics representation. Here we describe the wave propagation in the background medium by a one-way wave equation. Based on this we derive the double-square-root equation, which is a first order pseudodifferential equation, that describes the continuation of seismic data in depth. We consider the modeling operator, its adjoint and reconstruction based on this equation. If the rays in the background that are associated with the reflections due to the perturbation are nowhere horizontal, the singular part of the data is described by the solution to an inhomogeneous double-square-root equation. We derive a microlocal reconstruction equation. The main result is a characterization of the angle transform that generates the common image point gathers, and a proof that this transform contains no artifacts. Finally, pseudodifferential annihilators based on the double-square-root equation are constructed. The double-square-root equation approach is used in seismic data processing.
△ Less
Submitted 17 December, 2001;
originally announced December 2001.
