No Arabic abstract
In this article, we consider a generalized Radon transform that comes up in ultrasound reflection tomography. In our model, the ultrasound emitter and receiver move at a constant distance apart along a circle. We analyze the microlocal properties of the transform $R$ that arises from this model. As a consequence, we show that for distributions with support sufficiently inside the circle, $R^*R$ is an elliptic pseudodifferential operator of order $-1$ and hence all the singularities of such distributions can be recovered.
An analysis of the stability of the spindle transform, introduced in (Three dimensional Compton scattering tomography arXiv:1704.03378 [math.FA]), is presented. We do this via a microlocal approach and show that the normal operator for the spindle transform is a type of paired Lagrangian operator with blowdown--blowdown singularities analogous to that of a limited data synthetic aperture radar (SAR) problem studied by Felea et. al. (Microlocal analysis of SAR imaging of a dynamic reflectivity function SIAM 2013). We find that the normal operator for the spindle transform belongs to a class of distibutions $I^{p,l}(Deltacupwidetilde{Delta},Lambda)$ studied by Felea and Marhuenda (Microlocal analysis of SAR imaging of a dynamic reflectivity function SIAM 2013 and Microlocal analysis of some isospectral deformations Trans. Amer. Math.), where $widetilde{Delta}$ is reflection through the origin, and $Lambda$ is associated to a rotation artefact. Later, we derive a filter to reduce the strength of the image artefact and show that it is of convolution type. We also provide simulated reconstructions to show the artefacts produced by $Lambda$ and show how the filter we derived can be applied to reduce the strength of the artefact.
Lecture notes from 2008 CMI/ETH Summer School on Evolution Equations. These notes are an informal introduction to the applications of microlocal methods in the study of linear evolution equations and spectral theory. Calculi of pseudodifferential operators and Fourier integral operators are discussed and axiomatized, but not constructed: the focus is on how to apply these tools.
This is a introductory course focusing some basic notions in pseudodifferential operators ($Psi$DOs) and microlocal analysis. We start this lecture notes with some notations and necessary preliminaries. Then the notion of symbols and $Psi$DOs are introduced. In Chapter 3 we define the oscillatory integrals of different types. Chapter 4 is devoted to the stationary phase lemmas. One of the features of the lecture is that the stationary phase lemmas are proved for not only compactly supported functions but also for more general functions with certain order of smoothness and certain order of growth at infinity. We build the results on the stationary phase lemmas. Chapters 5, 6 and 7 covers main results in $Psi$DOs and the proofs are heavily built on the results in Chapter 4. Some aspects of the semi-classical analysis are similar to that of microlocal analysis. In Chapter 8 we finally introduce the notion of wavefront, and Chapter 9 focuses on the propagation of singularities of solution of partial differential equations. Important results are circulated by black boxes and some key steps are marked in red color. Exercises are provided at the end of each chapter.
We study the problem of inverting a restricted transverse ray transform to recover a symmetric $m$-tensor field in $mathbb{R}^3$ using microlocal analysis techniques. More precisely, we prove that a symmetric $m$-tensor field can be recovered up to a known singular term and a smoothing term if its transverse ray transform is known along all lines intersecting a fixed smooth curve satisfying the Kirillov-Tuy condition.
We study the weighted light ray transform $L$ of integrating functions on a Lorentzian manifold over lightlike geodesics. We analyze $L$ as a Fourier Integral Operator and show that if there are no conjugate points, one can recover the spacelike singularities of a function $f$ from its the weighted light ray transform $Lf$ by a suitable filtered back-projection.