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 study the averaging of fronts moving with positive oscillatory normal velocity, which is periodic in space and stationary ergodic in time. The problem can be formulated as the homogenization of coercive level set Hamilton-Jacobi equations with spatio-temporal oscillations. To overcome the difficulties due to the oscillations in time and the linear growth of the Hamiltonian, we first study the long time averaged behavior of the associated reachable sets using geometric arguments. The results are new for higher than one dimensions even in the space-time periodic setting.

In this paper, we apply the local discontinuous Galerkin (LDG) method to 2D Keller--Segel (KS) chemotaxis model. We improve the results upon (Y. Epshteyn and A. Kurganov, SIAM Journal on Numerical Analysis, 47 (2008), 368-408) and give optimal rate of convergence under special finite element spaces before the blow-up occurs (the exact solutions are smooth). Moreover, to construct physically relevant numerical approximations, we consider $P^1$ LDG scheme and develop a positivity-preserving limiter to the scheme, extending the idea in (Y. Zhang, X. Zhang and C.-W. Shu, Journal of Computational Physics, 229 (2010), 8918-8934). With this limiter, we can prove the $L^1$-stability of the numerical scheme. Numerical experiments are performed to demonstrate the good performance of the positivity-preserving LDG scheme. Moreover, it is known that the chemotaxis model will yield blow-up solutions under certain initial conditions. We numerically demonstrate how to find the approximate blow-up time by using the $L^2$-norm of the $L^1$-stable numerical solution.

Thesis (Ph. D.)--Columbia University, 1991. Includes bibliographical references (leaf 48).

We study the functorially finite maximal rigid subcategories in 2-CY triangulated categories and their endomorphism algebras. Cluster tilting subcategories are obviously functorially finite and maximal rigid; we prove that the converse is true if the 2-CY triangulated categories admit a cluster tilting subcategory. As a generalization of a result of Keller and Reiten (2007) [KR], we prove that any functorially finite maximal rigid subcategory is Gorenstein with Gorenstein dimension at most 1. Similar as cluster tilting subcategory, one can mutate maximal rigid subcategories at any indecomposable object. If two maximal rigid objects are reachable via simple mutations, then their endomorphism algebras have the same representation type.