SearcharxivSearch

arXiv subjects

Kjersti Solberg Eikrem

Publications and source records attributed to Kjersti Solberg Eikrem.

8 recordsLinked to original sources

Efficient scattering approach to seismic full-waveform inversion in anisotropic elastic media with variable density

This paper introduces a novel matrix-free approach for full waveform inversion in anisotropic elastic media, incorporating density variation through the utilization of the distorted Born iterative method. This study aims to overcome the computational and storage challenges associated with the conventional matrix-based distorted Born iterative inversion method while accurately capturing the subsurface's anisotropic properties and density variations. An elastic integral equation is utilized to account for the anisotropic nature of elastic wave propagation, enabling more precise modeling of subsurface complexities. This integral equation is efficiently solved by a fast Fourier transform accelerated Krylov subspace method. Leveraging the integral equation with the distorted Born approximation, a linear relationship between the scattered wavefield and the model parameter perturbation is formulated for an integrated inversion scheme. To address the inherent ill-posedness of each linear inversion step, we formulate the normal equation with a regularization term. This is achieved by minimizing an objective function using the generalized Tikhonov method. Therefore, we can find an adequate solution for the inverse scattering problem by solving the normal equation. Following the physical interpretation of Green's function, the Fr{é}chet and adjoint operators within the normal equation can be employed in a matrix-free manner, allowing for significant improvement of the computational efficiency and memory demand without compromising accuracy. The proposed matrix-free full waveform inversion framework is thoroughly validated through extensive numerical experiments on synthetic datasets, showcasing its ability to reconstruct complex anisotropic structures and accurately recover stiffness parameters and density.

physics.geo-ph

3D induction log modelling with integral equation method and domain decomposition preconditioning

The deployment of electromagnetic (EM) induction tools while drilling is one of the standard routines for assisting the geosteering decision-making process. The conductivity distribution obtained through the inversion of the EM induction log can provide important information about the geological structure around the borehole. To image the 3D geological structure in the subsurface, 3D inversion of the EM induction log is required. Because the inversion process is mainly dependent on forward modelling, the use of fast and accurate forward modelling is essential. In this paper, we present an improved version of the integral equation (IE) based modelling technique for general anisotropic media with domain decomposition preconditioning. The discretised IE after domain decomposition equals a fixed-point equation that is solved iteratively with either the block Gauss-Seidel or Jacobi preconditioning. Within each iteration, the inverse of the block matrix is computed using a Krylov subspace method instead of a direct solver. An additional reduction in computational time is obtained by using an adaptive relative residual stopping criterion in the iterative solver. Numerical experiments show a maximum reduction in computational time of 35 per cent compared to solving the full-domain IE with a conventional GMRES solver. Additionally, the reduction of memory requirement for covering a large area of the induction tool sensitivity enables acceleration with limited GPU memory. Hence, we conclude that the domain decomposition method is improving the efficiency of the IE method by reducing the computation time and memory requirement.

math.NA

Iterative solution of the Lippmann-Schwinger equation in strongly scattering acoustic media by randomized construction of preconditioners

In this work the Lippmann-Schwinger equation is used to model seismic waves in strongly scattering acoustic media. We consider the Helmholtz equation, which is the scalar wave equation in the frequency domain with constant density and variable velocity, and transform it to an integral equation of the Lippmann-Schwinger type. To directly solve the discretized problem with matrix inversion is time-consuming, therefore we use iterative methods. The Born series is a well-known scattering series which gives the solution with relatively small cost, but it has limited use as it only converges for small scattering potentials. There exist other scattering series with preconditioners that have been shown to converge for any contrast, but the methods might require many iterations for models with high contrast. Here we develop new preconditioners based on randomized matrix approximations and hierarchical matrices which can make the scattering series converge for any contrast with a low number of iterations. We describe two different preconditioners; one is best for lower frequencies and the other for higher frequencies. We use the fast Fourier transform both in the construction of the preconditioners and in the iterative solution, and this makes the methods efficient. The performance of the methods are illustrated by numerical experiments on two 2D models.

physics.comp-ph

Coefficient multipliers of growth spaces of harmonic functions

Let $h_g^\infty$ be the space of harmonic functions in the unit ball that are bounded by some increasing radial function $g(r)$ with $\lim_{r\rightarrow 1} g(r)=+\infty$; these spaces are called growth spaces. We describe functions in growth spaces by the Cesàro means of their expansions in harmonic polynomials and apply this characterization to study coefficient multipliers between growth spaces. A series of examples of multipliers is given and some results by A. L. Shields and D. L. Williams and G. Bennett, D. A. Stegenga and R. M. Timoney are generalized to harmonic functions in higher dimensions.

math.CA

Wavelet decomposition of harmonic functions in growth spaces

Spaces of harmonic functions in upper half-space with controlled growth near the boundary are described in terms of multiresolution approximations. The results are applied to prove the law of the iterated logarithm for the oscillation of harmonic functions along vertical lines.

math.FA

Random harmonic functions in growth spaces and Bloch-type spaces

Let $h^\infty_v(\mathbf D)$ and $h^\infty_v(\mathbf B)$ be the spaces of harmonic functions in the unit disk and multi-dimensional unit ball which admit a two-sided radial majorant $v(r)$. We consider functions $v $ that fulfill a doubling condition. In the two-dimensional case let $u (re^{i\ta},ξ) = \sum_{j=0}^\infty (a_{j0} ξ_{j0} r^j \cos jθ+a_{j1} ξ_{j1} r^j \sin jθ)$ where $ξ=\{ξ_{ji}\}%_{k=0}^\infty $ is a sequence of random subnormal variables and $a_{ji}$ are real; in higher dimensions we consider series of spherical harmonics. We will obtain conditions on the coefficients $a_{ji} $ which imply that $u$ is in $h^\infty_v(\mathbf B)$ almost surely. Our estimate improves previous results by Bennett, Stegenga and Timoney, and we prove that the estimate is sharp. The results for growth spaces can easily be applied to Bloch-type spaces, and we obtain a similar characterization for these spaces, which generalizes results by Anderson, Clunie and Pommerenke and by Guo and Liu.

math.CV

Hadamard gap series in growth spaces

Let $h^\infty_v$ be the class of harmonic functions in the unit disk which admit a two-sided radial majorant $v(r)$. We consider functions $v $ that fulfill a doubling condition. We characterize functions in $h^\infty_v$ that are represented by Hadamard gap series in terms of their coefficients, and as a corollary we obtain a characterization of Hadamard gap series in Bloch-type spaces for weights with a doubling property. We show that if $u\in h^\infty_v$ is represented by a Hadamard gap series, then $u $ will grow slower than $v$ or oscillate along almost all radii. We use the law of the iterated logarithm for trigonometric series to find an upper bound on the growth of a weighted average of the function $u $, and we show that the estimate is sharp.

math.CA

Radial growth of harmonic functions in the unit ball

We study harmonic functions which admit a certain majorant in the unit ball in $\R^m $. We prove that when the majorant fulfills a doubling condition, the extremal growth or decay may occur only along small sets of radii, and we give precise estimates of these exceptional sets.

math.CA