An official website of the United States government
Starting from Kirchhoff-Huygens representation and Duhamel's principle of time-domain wave equations, we propose novel butterfly-compressed Hadamard integrators for self-adjoint wave equations in both time and frequency domain in an inhomogeneous medium. First, we incorporate the leading term of Hadamard's ansatz into the Kirchhoff-Huygens representation to develop a short-time valid propagator. Second, using Fourier transform in time, we derive the corresponding Eulerian short-time propagator in the frequency domain; on top of this propagator, we further develop a time-frequency-time (TFT) method for the Cauchy problem of time-domain wave equations. Third, we further propose a time-frequency-time-frequency (TFTF) method for the corresponding point-source Helmholtz equation, which provides Green's functions of the Helmholtz equation for all angular frequencies within a given frequency band. Fourth, to implement the TFT and TFTF methods efficiently, we introduce butterfly algorithms to compress oscillatory integral kernels at different frequencies. As a result, the proposed methods can construct wave field beyond caustics implicitly and advance spatially overturning waves in time naturally with quasi-optimal computational complexity and memory usage. Furthermore, once constructed the Hadamard integrators can be employed to solve both time-domain wave equations with various initial conditions and frequency-domain wave equations with different point sources. Numerical examples for two-dimensional wave equations illustrate the accuracy and efficiency of the proposed methods.
more »
« less
Truncated Hadamard-Babich Ansatz and Fast Huygens Sweeping Methods for Time-Harmonic Elastic Wave Equations in Inhomogeneous Media in the Asymptotic Regime
In some applications, it is reasonable to assume that geodesics (rays) have a consistent orientation so that a time-harmonic elastic wave equation may be viewed as an evolution equation in one of the spatial directions. With such applications in mind, motivated by our recent work [Hadamard- Babich ansatz for point-source elastic wave equations in variable media at high frequencies, Multiscale Model Simul. 19/1 (2021) 46–86], we propose a new truncated Hadamard-Babich ansatz based globally valid asymptotic method, dubbed the fast Huygens sweeping method, for computing Green’s functions of frequency-domain point-source elastic wave equations in inhomogeneous media in the high-frequency asymptotic regime and in the presence of caustics. The first novelty of the fast Huygens sweeping method is that the Huygens-Kirchhoff secondary-source principle is used to integrate many locally valid asymptotic solutions to yield a globally valid asymptotic solution so that caustics can be treated automatically. This yields uniformly accurate solutions both near the source and away from it. The second novelty is that a butterfly algorithm is adapted to accelerate matrix-vector products induced by the Huygens-Kirchhoff integral. The new method enjoys the following desired features: (1) it treats caustics automatically; (2) precomputed asymptotic ingredients can be used to construct Green’s functions of elastic wave equations for many different point sources and for arbitrary frequencies; (3) given a specified number of points per wavelength, it constructs Green’s functions in nearly optimal complexity O(N logN) in terms of the total number of mesh points N, where the prefactor of the complexity depends only on the specified accuracy and is independent of the frequency parameter. Three-dimensional numerical examples are presented to demonstrate the performance and accuracy of the new method.
more »
« less
- Award ID(s):
- 2012046
- PAR ID:
- 10434113
- Date Published:
- Journal Name:
- Minimax theory and its applications
- Volume:
- 8
- Issue:
- 1
- ISSN:
- 2199-1413
- Page Range / eLocation ID:
- 171-212
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract This paper presents a fast and robust numerical method for reconstructing point-like sources in the time-harmonic Maxwell’s equations given Cauchy data at a fixed frequency. This is an electromagnetic inverse source problem with broad applications, such as antenna synthesis and design, medical imaging, and pollution source tracing. We introduce new imaging functions and a computational algorithm to determine the number of point sources, their locations, and associated moment vectors, even when these vectors have notably different magnitudes. The number of sources and locations are estimated using significant peaks of the imaging functions, and the moment vectors are computed via explicitly simple formulas. The theoretical analysis and stability of the imaging functions are investigated, where the main challenge lies in analyzing the behavior of the dot products between the columns of the imaginary part of the Green’s tensor and the unknown moment vectors. Additionally, we extend our method to reconstruct small-volume sources using an asymptotic expansion of their radiated electric field. We provide numerical examples in three dimensions to demonstrate the performance of our method.more » « less
-
SUMMARY Elastodynamic Green’s functions are an essential ingredient in seismology as they form the connection between direct observations of seismic waves and the earthquake source. They are also fundamental to various seismological techniques including physics-based ground motion prediction and kinematic or dynamic source inversions. In regions with established 3-D models of the Earth’s elastic structure, such as southern California, 3-D Green’s functions can be computed using numerical simulations of seismic wave propagation. However, such simulations are computationally expensive, which poses challenges for real-time ground motion prediction and uncertainty quantification in source inversions. In this study, we address these challenges by using a reduced-order model (ROM) approach that enables the rapid evaluation of approximate Green’s functions. The ROM technique developed approximates three-component time-dependent surface velocity wavefields obtained from numerical simulations of seismic wave propagation. We apply our ROM approach to a 50 km $$\times$$ 40 km area in greater Los Angeles accounting for topography, site effects, 3-D subsurface velocity structure, and viscoelastic attenuation. The ROM constructed for this region enables rapid computation ($$\approx 0.0001$$ CPU hr) of complete, high-resolution (500 m spacing), 0.5 Hz surface velocity wavefields that are accurate for a shortest wavelength of 1.0 km for a single elementary moment tensor source. Using leave-one-out cross validation, we measure the accuracy of our Green’s functions for the CVM-S velocity model in both the time domain and frequency domain. Averaged across all sources, receivers, and time steps, the error in the rapid seismograms is less than 0.01 cm s−1. We demonstrate that the ROM can accurately and rapidly reproduce simulated seismograms for generalized moment tensor sources in our region, as well as kinematic sources by using a finite fault model of the 1987 $$M_\mathrm{ W}$$ 5.9 Whittier Narrows earthquake as an example. We envision that rapid, accurate Green’s functions from reduced-order modelling for complex 3-D seismic wave propagation simulations will be useful for constructing real-time ground motion synthetics and source inversions with high spatial resolution.more » « less
-
Analytical formulas are obtained for frequency-dependent effective elastic modulus and effective mass density for a periodic layered structure. The proposed homogenization procedure is valid at sufficiently high frequencies well above the lowest band gap in the acoustic spectrum of the structure. It is shown that frequency-dependent effective parameters may take negative values either in different regions of frequencies or in the same quite narrow region. This property demonstrates that 1D elastic structure may behave in the limit of small Bloch wave vectors as a double-negative acoustic metamaterial.more » « less
-
We develop a new 3D ambient noise tomography (3D ANT) method for geotechnical site characterization. It requires recording ambient noise fields using a 2D surface array of geophones, from which experimental crosscorrelation functions (CCFs) are then extracted and directly inverted to obtain an S-wave velocity ([Formula: see text]) structure. The method consists of a forward simulation using 3D P-SV elastic wave equations to compute the synthetic CCF and an adjoint-state inversion to match the synthetic CCFs to the experimental CCFs for extraction of [Formula: see text]. The main advantage of the presented method, as compared with conventional passive-source seismic methods using characteristics of Green’s function (GF), is that it does not require equal energy on both sides of each receiver pair or far-field wavefields to retrieve the true GF. Instead, the source power spectrum density is inverted during the analysis and incorporated into the forward simulation of the synthetic CCFs to account for source energy distribution. After testing on synthetic data, the 3D ANT method is applied to 3 h of ambient noise recordings at the Garner Valley Downhole Array (GVDA) site in California, using a surface array of 196 geophones placed on a 14 × 14 grid with 5 m spacing. The inverted 3D [Formula: see text] model is found to be consistent with previous invasive and noninvasive geotechnical characterization efforts at the GVDA site.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- The DOI is not currently available.
