No abstract uploaded!

No abstract uploaded!

It is a classical result of Sobolev spaces that any $H^1$ function has a well-defined $H^{1/2}$ trace on the boundary of a sufficient regular domain. We discuss its recent extensions given in \cite{TiDu16} in some heterogeneously localized nonlocal function spaces. The new trace theorems are stronger and more general than the classical result. They can be established essentially for all functions having only square integrability away from the boundary or in any compact subset of interior domain. Yet, the heterogeneous localization offers the necessary regularity precisely at the boundary to have well-defined traces. A consequence is that we may study associated Dirichlet type boundary value problems, as well as the coupling of local and nonlocal equations through co-dimension-1 interfaces. %Their derivations not only involve various extensions of classical inequalities but also %require new techniques absent from traditional approaches.

Surface-related-multiple wavefields constitute redundant information in conventional migration and can often be difficult to attenuate. However, when used for migration, multiple wavefields can improve subsurface illumination. Unfortunately, the process of imaging using multiples involves the management of crosstalk, which largely restricts its application. Crosstalk causes phantom images formed by spurious correlation of unrelated events in a migration process. These events can be unrelated orders of multiples in the source and receiver wavefields; they can also be one event associated with a reflector in the source wavefield and another event generated by a different reflector in the receiver wavefield. We have first examined crosstalk by explicitly investigating its generation mechanisms in a migration process and classifying it into different categories based on causality. Following this analysis, crosstalk can be predicted in a migration process and subtracted in the image domain; however, this method is usually difficult to apply due to the complexity of wavefield separation and adaptive subtraction. Furthermore, we develop different algorithms to attenuate the crosstalk, including a deconvolution imaging condition, a least-squares migration (LSM) method, and an advanced algorithm combining LSM with a deconvolution imaging condition. We evaluate these different strategies with synthetic examples. A deconvolution imaging condition can attenuate some crosstalk, but it is less effective at suppressing strong coherent crosstalk events. However, the LSM method can fundamentally address the crosstalk issue, and this approach is further optimized when combined with a deconvolution imaging condition.

We consider the solution of the large-scale nonsymmetric algebraic Riccati equation XCX − XD − AX + B = 0, with M ≡ [D,−C;−B,A] ∈ R(n1+n2)×(n1+n2) being a nonsingular M-matrix. In addition, A and D are sparselike, with the products A−1u, A−⊤u, D−1v, and D−⊤v computable in O(n) complexity (with n = max{n1, n2}), for some vectors u and v, and B, C are low ranked. The structure-preserving doubling algorithms (SDA) by Guo, Lin, and Xu [Numer. Math., 103 (2006), pp. 392–412] is adapted, with the appropriate applications of the Sherman–Morrison– Woodbury formula and the sparse-plus-low-rank representations of various iterates. The resulting large-scale doubling algorithm has an O(n) computational complexity and memory requirement per iteration and converges essentially quadratically. A detailed error analysis, on the effects of truncation of iterates with an explicit forward error bound for the approximate solution from the SDA, and some numerical results will be presented.