-
On the null space of the backprojection operator and Rubin's conjecture for the spherical mean transform
Authors:
Divyansh Agrawal,
Gaik Ambartsoumian,
Venkateswaran P. Krishnan,
Nisha Singhal
Abstract:
The spherical mean transform associates to a function $f$ its integral averages over all spheres. We consider the spherical mean transform for functions supported in the unit ball $\mathbb{B}$ in $\mathbb{R}^n$ for odd $n$, with the centers of integration spheres restricted to the unit sphere $\mathbb{S}^{n-1}$. In this setup, Rubin employed properties of Erdélyi-Kober fractional integrals and ana…
▽ More
The spherical mean transform associates to a function $f$ its integral averages over all spheres. We consider the spherical mean transform for functions supported in the unit ball $\mathbb{B}$ in $\mathbb{R}^n$ for odd $n$, with the centers of integration spheres restricted to the unit sphere $\mathbb{S}^{n-1}$. In this setup, Rubin employed properties of Erdélyi-Kober fractional integrals and analytic continuation to re-derive the explicit inversion formulas proved earlier by Finch, Patch, and Rakesh using wave equation techniques. As part of his work, Rubin stated a conjecture relating spherical mean transform, its associated backprojection operator and the Riesz potential. Furthermore, he pointed to the necessity of a detailed analysis of injectivity of the backprojection operator as a crucial step toward the resolution of his conjecture. This article addresses both questions posed by Rubin by providing a characterization of the null space of the backprojection operator, and disproving the conjecture through the construction of an explicit counterexample. Crucial to the proofs is the range characterization for the spherical mean transform in odd dimensions derived recently by the authors.
△ Less
Submitted 22 June, 2024;
originally announced June 2024.
-
Ray transform on Sobolev spaces of symmetric tensor fields, II: Range characterization
Authors:
Venky P. Krishnan,
Vladimir A. Sharafutdinov
Abstract:
The ray transform $I$ integrates symmetric $m$-tensor field in $\mathbb{R}^n$ over lines. This transform in Sobolev spaces was studied in our earlier work where higher order Reshetnyak formulas (isometry relations) were established. The main focus of the current work is the range characterization. In dimensions $n\geq 3$, the range characterization of the ray transform in Schwartz spaces is well-k…
▽ More
The ray transform $I$ integrates symmetric $m$-tensor field in $\mathbb{R}^n$ over lines. This transform in Sobolev spaces was studied in our earlier work where higher order Reshetnyak formulas (isometry relations) were established. The main focus of the current work is the range characterization. In dimensions $n\geq 3$, the range characterization of the ray transform in Schwartz spaces is well-known; the main ingredient of the characterization is a system of linear differential equations of order $2(m+1)$ which are called John equations. Using the higher order Reshetnyak formulas, the range of the ray transform on Sobolev spaces is characterized in dimensions $n\geq 3$ in this paper.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
Normal operators for momentum ray transforms, I: The inversion formula
Authors:
Shubham R. Jathar,
Manas Kar,
Venkateswaran P. Krishnan,
Vladimir A. Sharafutdinov
Abstract:
The momentum ray transform $I_m^k$ integrates a rank $m$ symmetric tensor field $f$ on $\mathbb R^n$ over lines with the weight $t^k$, $I_m^kf(x,ξ)=\int_{-\infty}^\infty t^k\langle f(x+tξ),ξ^m\rangle\,\mathrm{d}t$. We compute the normal operator $N_m^k=(I_m^k){}^*I_m^k$ and present an inversion formula recovering a rank $m$ tensor field $f$ from the data $(N_m^0f,\dots,N_m^mf)$.
The momentum ray transform $I_m^k$ integrates a rank $m$ symmetric tensor field $f$ on $\mathbb R^n$ over lines with the weight $t^k$, $I_m^kf(x,ξ)=\int_{-\infty}^\infty t^k\langle f(x+tξ),ξ^m\rangle\,\mathrm{d}t$. We compute the normal operator $N_m^k=(I_m^k){}^*I_m^k$ and present an inversion formula recovering a rank $m$ tensor field $f$ from the data $(N_m^0f,\dots,N_m^mf)$.
△ Less
Submitted 5 March, 2024; v1 submitted 1 January, 2024;
originally announced January 2024.
-
A simple range characterization for spherical mean transform in odd dimensions and its applications
Authors:
Divyansh Agrawal,
Gaik Ambartsoumian,
Venkateswaran P. Krishnan,
Nisha Singhal
Abstract:
This article provides a novel and simple range description for the spherical mean transform of functions supported in the unit ball of an odd dimensional Euclidean space. The new description comprises a set of symmetry relations between the values of certain differential operators acting on the coefficients of the spherical harmonics expansion of the function in the range of the transform. As one…
▽ More
This article provides a novel and simple range description for the spherical mean transform of functions supported in the unit ball of an odd dimensional Euclidean space. The new description comprises a set of symmetry relations between the values of certain differential operators acting on the coefficients of the spherical harmonics expansion of the function in the range of the transform. As one application of this range characterization, we construct an explicit counterexample proving that unique continuation type results cannot hold for the spherical mean transform in odd dimensional spaces. Finally, as an auxiliary result of one of our proofs, we derive a remarkable cross product identity for the spherical Bessel functions of the first and second kind, which may be of independent interest in the theory of special functions.
△ Less
Submitted 22 November, 2023; v1 submitted 31 October, 2023;
originally announced October 2023.
-
Determination of Lower Order Perturbations of a Polyharmonic Operator in Two Dimensions
Authors:
Rajat Bansal,
Venkateswaran P. Krishnan,
Rahul Raju Pattar
Abstract:
We study an inverse boundary value problem for a polyharmonic operator in two dimensions. We show that the Cauchy data uniquely determine all the anisotropic perturbations of orders at most $m-1$ and several perturbations of orders $m$ to $2m-2$ under some restriction. The uniqueness proof relies on the $\bar{\partial}$-techniques and the method of stationary phase.
We study an inverse boundary value problem for a polyharmonic operator in two dimensions. We show that the Cauchy data uniquely determine all the anisotropic perturbations of orders at most $m-1$ and several perturbations of orders $m$ to $2m-2$ under some restriction. The uniqueness proof relies on the $\bar{\partial}$-techniques and the method of stationary phase.
△ Less
Submitted 15 September, 2023; v1 submitted 12 September, 2023;
originally announced September 2023.
-
Point sources and stability for an inverse problem for a hyperbolic PDE with space and time dependent coefficients
Authors:
Venkateswaran P. Krishnan,
Rakesh,
Soumen Senapati
Abstract:
We study stability aspects for the determination of space and time-dependent lower order perturbations of the wave operator in three space dimensions with point sources. The problems under consideration here are formally determined and we establish Lipschitz stability results for these problems. The main tool in our analysis is a modified version of Bukgheim-Klibanov method based on Carleman estim…
▽ More
We study stability aspects for the determination of space and time-dependent lower order perturbations of the wave operator in three space dimensions with point sources. The problems under consideration here are formally determined and we establish Lipschitz stability results for these problems. The main tool in our analysis is a modified version of Bukgheim-Klibanov method based on Carleman estimates.
△ Less
Submitted 21 August, 2022; v1 submitted 11 March, 2022;
originally announced March 2022.
-
Unique continuation results for certain generalized ray transforms of symmetric tensor fields
Authors:
Divyansh Agrawal,
Venkateswaran P. Krishnan,
Suman Kumar Sahoo
Abstract:
Let $I_{m}$ denote the Euclidean ray transform acting on compactly supported symmetric $m$-tensor field distributions $f$, and $I_{m}^{*}$ be its formal $L^2$ adjoint. We study a unique continuation result for the normal operator $N_{m}=I_{m}^{*}I_{m}$. More precisely, we show that if $N_{m}$ vanishes to infinite order at a point $x_0$ and if the Saint-Venant operator $W$ acting on $f$ vanishes on…
▽ More
Let $I_{m}$ denote the Euclidean ray transform acting on compactly supported symmetric $m$-tensor field distributions $f$, and $I_{m}^{*}$ be its formal $L^2$ adjoint. We study a unique continuation result for the normal operator $N_{m}=I_{m}^{*}I_{m}$. More precisely, we show that if $N_{m}$ vanishes to infinite order at a point $x_0$ and if the Saint-Venant operator $W$ acting on $f$ vanishes on an open set containing $x_0$, then $f$ is a potential tensor field. This generalizes two recent works of Ilmavirta and Mönkkönen who proved such unique continuation results for the ray transform of functions and vector fields/1-forms. One of the main contributions of this work is identifying the Saint-Venant operator acting on higher order tensor fields as the right generalization of the exterior derivative operator acting on 1-forms, which makes unique continuation results for ray transforms of higher order tensor fields possible. In the second half of the paper, we prove analogous unique continuation results for momentum ray and transverse ray transforms.
△ Less
Submitted 3 March, 2022;
originally announced March 2022.
-
Unique determination of anisotropic perturbations of a polyharmonic operator from partial boundary data
Authors:
Sombuddha Bhattacharyya,
Venkateswaran P. Krishnan,
Suman Kumar Sahoo
Abstract:
We study an inverse problem involving the unique recovery of several lower order anisotropic tensor perturbations of a polyharmonic operator in a bounded domain from the knowledge of the Dirichlet to Neumann map on a part of boundary. The uniqueness proof relies on the inversion of generalized momentum ray transforms (MRT) for symmetric tensor fields, which we introduce for the first time to study…
▽ More
We study an inverse problem involving the unique recovery of several lower order anisotropic tensor perturbations of a polyharmonic operator in a bounded domain from the knowledge of the Dirichlet to Neumann map on a part of boundary. The uniqueness proof relies on the inversion of generalized momentum ray transforms (MRT) for symmetric tensor fields, which we introduce for the first time to study Calderón-type inverse problems. We construct suitable complex geometric optics (CGO) solutions for the polyharmonic operators that reduces the inverse problem to uniqueness results for a generalized MRT. The uniqueness result and the inversion formula we prove for generalized MRT could be of independent interest and we expect it to be applicable to other inverse problems for higher order operators involving tensor perturbations.
△ Less
Submitted 15 November, 2021;
originally announced November 2021.
-
A Diffeomorphic Aging Model for Adult Human Brain from Cross-Sectional Data
Authors:
Alphin J Thottupattu,
Jayanthi Sivaswamy,
Venkateswaran P. Krishnan
Abstract:
Normative aging trends of the brain can serve as an important reference in the assessment of neurological structural disorders. Such models are typically developed from longitudinal brain image data -- follow-up data of the same subject over different time points. In practice, obtaining such longitudinal data is difficult. We propose a method to develop an aging model for a given population, in th…
▽ More
Normative aging trends of the brain can serve as an important reference in the assessment of neurological structural disorders. Such models are typically developed from longitudinal brain image data -- follow-up data of the same subject over different time points. In practice, obtaining such longitudinal data is difficult. We propose a method to develop an aging model for a given population, in the absence of longitudinal data, by using images from different subjects at different time points, the so-called cross-sectional data. We define an aging model as a diffeomorphic deformation on a structural template derived from the data and propose a method that develops topology preserving aging model close to natural aging. The proposed model is successfully validated on two public cross-sectional datasets which provide templates constructed from different sets of subjects at different age points.
△ Less
Submitted 28 June, 2021;
originally announced June 2021.
-
Ray transform on Sobolev spaces of symmetric tensor fields, I: Higher order Reshetnyak formulas
Authors:
Venky P. Krishnan,
Vladimir A. Sharafutdinov
Abstract:
For an integer $r\ge0$, we prove the $r$th order Reshetnyak formula for the ray transform of rank $m$ symmetric tensor fields on $\mathbb{R}^n$. Certain differential operators $A^{(m,r,l)}\ (0\le l\le r)$ on the sphere $\mathbb{S}^{n-1}$ are main ingredients of the formula. The operators are defined by an algorithm that can be applied for any $r$ although the volume of calculations grows fast with…
▽ More
For an integer $r\ge0$, we prove the $r$th order Reshetnyak formula for the ray transform of rank $m$ symmetric tensor fields on $\mathbb{R}^n$. Certain differential operators $A^{(m,r,l)}\ (0\le l\le r)$ on the sphere $\mathbb{S}^{n-1}$ are main ingredients of the formula. The operators are defined by an algorithm that can be applied for any $r$ although the volume of calculations grows fast with $r$. The algorithm is realized for small values of $r$ and Reshetnyak formulas of orders $0,1,2$ are presented in an explicit form.
△ Less
Submitted 22 June, 2021;
originally announced June 2021.
-
High frequency stability estimates for a partial data inverse problem
Authors:
Anupam Pal Choudhury,
Venkateswaran P. Krishnan
Abstract:
In this article, high frequency stability estimates for the determination of the potential in the Schrödinger equation are studied when the boundary measurements are made on slightly more than half the boundary. The estimates reflect the increasing stability property with growing frequency.
In this article, high frequency stability estimates for the determination of the potential in the Schrödinger equation are studied when the boundary measurements are made on slightly more than half the boundary. The estimates reflect the increasing stability property with growing frequency.
△ Less
Submitted 21 June, 2021;
originally announced June 2021.
-
A method for large diffeomorphic registration via broken geodesics
Authors:
Alphin J. Thottupattu,
Jayanthi Sivaswamy,
Venkateswaran P. Krishnan
Abstract:
Anatomical variabilities seen in longitudinal data or inter-subject data is usually described by the underlying deformation, captured by non-rigid registration of these images. Stationary Velocity Field (SVF) based non-rigid registration algorithms are widely used for registration. SVF based methods form a metric-free framework which captures a finite dimensional submanifold of deformations embedd…
▽ More
Anatomical variabilities seen in longitudinal data or inter-subject data is usually described by the underlying deformation, captured by non-rigid registration of these images. Stationary Velocity Field (SVF) based non-rigid registration algorithms are widely used for registration. SVF based methods form a metric-free framework which captures a finite dimensional submanifold of deformations embedded in the infinite dimensional smooth manifold of diffeomorphisms. However, these methods cover only a limited degree of deformations. In this paper, we address this limitation and define an approximate metric space for the manifold of diffeomorphisms $\mathcal{G}$. We propose a method to break down the large deformation into finite compositions of small deformations. This results in a broken geodesic path on $\mathcal{G}$ and its length now forms an approximate registration metric. We illustrate the method using a simple, intensity-based, log-demon implementation. Validation results of the proposed method show that it can capture large and complex deformations while producing qualitatively better results than the state-of-the-art methods. The results also demonstrate that the proposed registration metric is a good indicator of the degree of deformation.
△ Less
Submitted 3 January, 2021; v1 submitted 29 November, 2020;
originally announced November 2020.
-
A uniqueness result for light ray transform on symmetric 2-tensor fields
Authors:
Venkateswaran P Krishnan,
Soumen Senapati,
Manmohan Vashisth
Abstract:
We study light ray transform of symmetric 2-tensor fields defined on a bounded time-space domain in $\mathbb{R}^{1+n}$ for $n\geq 3$. We prove a uniqueness result for such light ray transforms. More precisely, we characterize the kernel of the light ray transform vanishing near a fixed direction at each point in the time-space domain.
We study light ray transform of symmetric 2-tensor fields defined on a bounded time-space domain in $\mathbb{R}^{1+n}$ for $n\geq 3$. We prove a uniqueness result for such light ray transforms. More precisely, we characterize the kernel of the light ray transform vanishing near a fixed direction at each point in the time-space domain.
△ Less
Submitted 23 May, 2020; v1 submitted 18 November, 2019;
originally announced November 2019.
-
Momentum Ray Transforms, II: Range Characterization In the Schwartz space
Authors:
Venkateswaran P. Krishnan,
Ramesh Manna,
Suman Kumar Sahoo,
Vladimir A. Sharafutdinov
Abstract:
The momentum ray transform $I^k$ integrates a rank $m$ symmetric tensor field $f$ over lines of ${\R}^n$ with the weight $t^k$: $ (I^k\!f)(x,ξ)=\int_{-\infty}^\infty t^kłf(x+tξ),ξ^m\r\,dt. $ We give the range characterization for the operator $f\mapsto(I^0\!f,I^1\!f,\dots, I^m\!f)$ on the Schwartz space of rank $m$ smooth fast decaying tensor fields. In dimensions $n\ge3$, the range is characteriz…
▽ More
The momentum ray transform $I^k$ integrates a rank $m$ symmetric tensor field $f$ over lines of ${\R}^n$ with the weight $t^k$: $ (I^k\!f)(x,ξ)=\int_{-\infty}^\infty t^kłf(x+tξ),ξ^m\r\,dt. $ We give the range characterization for the operator $f\mapsto(I^0\!f,I^1\!f,\dots, I^m\!f)$ on the Schwartz space of rank $m$ smooth fast decaying tensor fields. In dimensions $n\ge3$, the range is characterized by certain differential equations of order $2(m+1)$ which generalize the classical John equations. In the two-dimensional case, the range is characterized by certain integral conditions which generalize the classical Gelfand -- Helgason -- Ludwig conditions.
△ Less
Submitted 17 September, 2019;
originally announced September 2019.
-
Microlocal inversion of a 3-dimensional restricted transverse ray transform of symmetric $m$-tensor fields
Authors:
Venkateswaran P. Krishnan,
Rohit Kumar Mishra,
Suman Kumar Sahoo
Abstract:
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 K…
▽ More
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.
△ Less
Submitted 9 November, 2020; v1 submitted 4 April, 2019;
originally announced April 2019.
-
Momentum ray transforms
Authors:
Venkateswaran P. Krishnan,
Ramesh Manna,
Suman Kumar Sahoo,
Vladimir Sharafutdinov
Abstract:
The momentum ray transform $I^k$ integrates a rank $m$ symmetric tensor field $f$ over lines with the weight $t^k$:
$
(I^k\!f)(x,ξ)=\int_{-\infty}^\infty t^k\langle f(x+tξ),ξ^m\rangle\,dt.
$
In particular, the ray transform $I=I^0$ was studied by several authors since it had many tomographic applications. We present an algorithm for recovering $f$ from the data…
▽ More
The momentum ray transform $I^k$ integrates a rank $m$ symmetric tensor field $f$ over lines with the weight $t^k$:
$
(I^k\!f)(x,ξ)=\int_{-\infty}^\infty t^k\langle f(x+tξ),ξ^m\rangle\,dt.
$
In particular, the ray transform $I=I^0$ was studied by several authors since it had many tomographic applications. We present an algorithm for recovering $f$ from the data $(I^0\!f,I^1\!f,\dots, I^m\!f)$. In the cases of $m=1$ and $m=2$, we derive the Reshetnyak formula that expresses $\|f\|_{H^s_t({\mathbb{R}}^n)}$ through some norm of $(I^0\!f,I^1\!f,\dots, I^m\!f)$. The $H^{s}_{t}$-norm is a modification of the Sobolev norm weighted differently at high and low frequencies. Using the Reshetnyak formula, we obtain a stability estimate.
△ Less
Submitted 2 August, 2018;
originally announced August 2018.
-
Microlocal analysis of a restricted ray transform on symmetric $m$-tensor fields in $\mathbb{R}^n$
Authors:
Venkateswaran P. Krishnan,
Rohit Kumar Mishra
Abstract:
We study the microlocal inversion of the ray transform on symmetric $m$-tensor fields restricted to all lines passing through a curve in $\mathbb{R}^{n}$. From this incomplete data, we show that the wavefront set of the solenoidal component of a symmetric $m$-tensor field can be recovered modulo a known singular error term.
We study the microlocal inversion of the ray transform on symmetric $m$-tensor fields restricted to all lines passing through a curve in $\mathbb{R}^{n}$. From this incomplete data, we show that the wavefront set of the solenoidal component of a symmetric $m$-tensor field can be recovered modulo a known singular error term.
△ Less
Submitted 1 August, 2018;
originally announced August 2018.
-
On solenoidal-injective and injective ray transforms of tensor fields on surfaces
Authors:
Venkateswaran P. Krishnan,
Rohit Kumar Mishra,
François Monard
Abstract:
We first give a constructive answer to the attenuated tensor tomography problem on simple surfaces. We then use this result to propose two approaches to produce vector-valued integral transforms which are fully injective over tensor fields. The first approach is by construction of appropriate weights which vary along the geodesic flow, generalizing the moment transforms. The second one is by chang…
▽ More
We first give a constructive answer to the attenuated tensor tomography problem on simple surfaces. We then use this result to propose two approaches to produce vector-valued integral transforms which are fully injective over tensor fields. The first approach is by construction of appropriate weights which vary along the geodesic flow, generalizing the moment transforms. The second one is by changing the pairing with the tensor field to generate a collection of transverse ray transforms.
△ Less
Submitted 28 November, 2018; v1 submitted 27 July, 2018;
originally announced July 2018.
-
A fully non-linear optimization approach to acousto-electric tomography
Authors:
B. J. Adesokan,
Kim Knudsen,
Venkateswaran P. Krishnan,
Souvik Roy
Abstract:
This paper considers the non-linear inverse problem of reconstructing an electric conductivity distribution from the interior power density in a bounded domain. Applications include the novel tomographic method known as acousto-electric tomography, in which the measurement setup in Electrical Impedance Tomography is modulated by ultrasonic waves thus giving rise to a method potentially having both…
▽ More
This paper considers the non-linear inverse problem of reconstructing an electric conductivity distribution from the interior power density in a bounded domain. Applications include the novel tomographic method known as acousto-electric tomography, in which the measurement setup in Electrical Impedance Tomography is modulated by ultrasonic waves thus giving rise to a method potentially having both high contrast and high resolution. We formulate the inverse problem as a regularized non-linear optimization problem, show the existence of a minimizer, and derive optimality conditions. We propose a non-linear conjugate gradient scheme for finding a minimizer based on the optimality conditions. All our numerical experiments are done in two-dimensions. The experiments reveal new insight into the non-linear effects in the reconstruction. One of the interesting features we observe is that, depending on the choice of regularization, there is a trade-off between high resolution and high contrast in the reconstructed images. Our proposed non-linear optimization framework can be generalized to other hybrid imaging modalities.
△ Less
Submitted 4 July, 2018; v1 submitted 7 April, 2018;
originally announced April 2018.
-
An inverse problem for the relativistic Schrödinger equation with partial boundary data
Authors:
Venkateswaran P. Krishnan,
Manmohan Vashisth
Abstract:
We study the inverse problem of determining the vector and scalar potentials $\mathcal{A}(t,x)=\left(A_{0},A_{1},\cdots,A_{n}\right)$ and $q(t,x)$, respectively, in the relativistic Schrödinger equation
\begin{equation*}
\Big{(}\left(\partial_{t}+A_{0}(t,x)\right)^{2}-\sum_{j=1}^{n}\left(\partial_{j}+A_{j}(t,x)\right)^{2}+q(t,x)\Big{)}u(t,x)=0
\end{equation*}
in the region…
▽ More
We study the inverse problem of determining the vector and scalar potentials $\mathcal{A}(t,x)=\left(A_{0},A_{1},\cdots,A_{n}\right)$ and $q(t,x)$, respectively, in the relativistic Schrödinger equation
\begin{equation*}
\Big{(}\left(\partial_{t}+A_{0}(t,x)\right)^{2}-\sum_{j=1}^{n}\left(\partial_{j}+A_{j}(t,x)\right)^{2}+q(t,x)\Big{)}u(t,x)=0
\end{equation*}
in the region $Q=(0,T)\timesΩ$, where $Ω$ is a $C^{2}$ bounded domain in $\mathbb{R}^{n}$ for $n\geq 3$ and $T>\mbox{diam}(Ω)$ from partial data on the boundary $\partial Q$. We prove the unique determination of these potentials modulo a natural gauge invariance for the vector field term.
△ Less
Submitted 21 June, 2019; v1 submitted 15 January, 2018;
originally announced January 2018.
-
Singular FIOs in SAR Imaging, II: Transmitter and Receiver at Different Speeds
Authors:
Gaik Ambartsoumian,
Raluca Felea,
Clifford J. Nolan,
Venkateswaran P. Krishnan,
Eric Todd Quinto
Abstract:
In this article, we consider two bistatic cases arising in synthetic aperture radar imaging: when the transmitter and receiver are both moving with different speeds along a single line parallel to the ground in the same direction or in the opposite directions. In both cases, we classify the forward operator $\Fc$ as a Fourier integral operator with fold/blowdown singularities. Next we analyze the…
▽ More
In this article, we consider two bistatic cases arising in synthetic aperture radar imaging: when the transmitter and receiver are both moving with different speeds along a single line parallel to the ground in the same direction or in the opposite directions. In both cases, we classify the forward operator $\Fc$ as a Fourier integral operator with fold/blowdown singularities. Next we analyze the normal operator $\Fc^*\Fc$ in both cases (where $\Fc^{*}$ is the $L^{2}$-adjoint of $\Fc$). When the transmitter and receiver move in the same direction, we prove that $\Fc^*\Fc$ belongs to a class of operators associated to two cleanly intersecting Lagrangians, $I^{p,l} (Δ, C_1)$. When they move in opposite directions, $\Fc^*\Fc$ is a sum of such operators. In both cases artifacts appear and we show that they are, in general, as strong as the bona-fide part of the image. Moreover, we demonstrate that as soon as the source and receiver start to move in opposite directions, there is an interesting bifurcation in the type of artifact that appears in the image.
△ Less
Submitted 4 August, 2017; v1 submitted 23 February, 2017;
originally announced February 2017.
-
Image reconstruction from radially incomplete spherical Radon data
Authors:
Gaik Ambartsoumian,
Rim Gouia-Zarrad,
Venkateswaran P. Krishnan,
Souvik Roy
Abstract:
We study inversion of the spherical Radon transform with centers on a sphere (the data acquisition set). Such inversions are essential in various image reconstruction problems arising in medical, radar and sonar imaging. In the case of radially incomplete data, we show that the spherical Radon transform can be uniquely inverted recovering the image function in spherical shells. Our result is valid…
▽ More
We study inversion of the spherical Radon transform with centers on a sphere (the data acquisition set). Such inversions are essential in various image reconstruction problems arising in medical, radar and sonar imaging. In the case of radially incomplete data, we show that the spherical Radon transform can be uniquely inverted recovering the image function in spherical shells. Our result is valid when the support of the image function is inside the data acquisition sphere, outside that sphere, as well as on both sides of the sphere. Furthermore, in addition to the uniqueness result our method of proof provides reconstruction formulas for all those cases. We present a robust computational algorithm based on our inversion formula and demonstrate its accuracy and efficiency on several numerical examples.
△ Less
Submitted 22 September, 2017; v1 submitted 14 February, 2017;
originally announced February 2017.
-
Inverse Diffusivity Problem via Homogenization Theory
Authors:
Tuhin Ghosh,
Venkateswaran P. Krishnan,
Muthusamy Vanninathan
Abstract:
Polarization tensor corresponding to near zero volume inhomogeneities was introduced in the pioneering work by Capdeboscq-Vogelius \cite{CV1,CV2}. A beautiful application of the polarization tensor to an inverse problem involving inhomogeneities was also given by them. In this article, we take an approach toward polarization tensor via homogenized tensor. Accordingly, we introduce polarization ten…
▽ More
Polarization tensor corresponding to near zero volume inhomogeneities was introduced in the pioneering work by Capdeboscq-Vogelius \cite{CV1,CV2}. A beautiful application of the polarization tensor to an inverse problem involving inhomogeneities was also given by them. In this article, we take an approach toward polarization tensor via homogenized tensor. Accordingly, we introduce polarization tensor corresponding to inhomogeneities with positive volume fraction.A relation between this tensor and the homogenized tensor is found. Next, we proceed to examine the sense in which this tensor is continuous as the volume fraction tends to zero. Our approach has its own advantages, as we will see. In particular, it provides another method to deduce optimal estimates on polarization tensors in any dimension from those on homogenized tensors, along with the information on underlying microstructures.
△ Less
Submitted 26 August, 2016;
originally announced August 2016.
-
Stability estimates for the inverse boundary value problem for the biharmonic operator with bounded potentials
Authors:
Anupam Pal Choudhury,
Venkateswaran P. Krishnan
Abstract:
In this article, stability estimates are given for the determination of the zeroth-order bounded perturbations of the biharmonic operator when the boundary Neumann measurements are made on the whole boundary and on slightly more than half the boundary, respectively. For the case of measurements on the whole boundary, the stability estimates are of ln-type and for the case of measurements on slight…
▽ More
In this article, stability estimates are given for the determination of the zeroth-order bounded perturbations of the biharmonic operator when the boundary Neumann measurements are made on the whole boundary and on slightly more than half the boundary, respectively. For the case of measurements on the whole boundary, the stability estimates are of ln-type and for the case of measurements on slightly more than half of the boundary, we derive estimates that are of ln ln-type.
△ Less
Submitted 16 January, 2015;
originally announced January 2015.
-
Microlocal analysis of an ultrasound transform with circular source and receiver trajectories
Authors:
Gaik Ambartsoumian,
Venky P. Krishnan,
Eric Todd Quinto
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…
▽ More
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.
△ Less
Submitted 19 October, 2011;
originally announced October 2011.
-
A class of singular Fourier integral operators in synthetic aperture radar imaging
Authors:
G. Ambartsoumian,
R. Felea,
V. P. Krishnan,
C. Nolan,
E. T. Quinto
Abstract:
In this article, we analyze the microlocal properties of the linearized forward scattering operator $F$ and the normal operator $F^{*}F$ (where $F^{*}$ is the $L^{2}$ adjoint of $F$) which arises in Synthetic Aperture Radar imaging for the common midpoint acquisition geometry. When $F^{*}$ is applied to the scattered data, artifacts appear. We show that $F^{*}F$ can be decomposed as a sum of four…
▽ More
In this article, we analyze the microlocal properties of the linearized forward scattering operator $F$ and the normal operator $F^{*}F$ (where $F^{*}$ is the $L^{2}$ adjoint of $F$) which arises in Synthetic Aperture Radar imaging for the common midpoint acquisition geometry. When $F^{*}$ is applied to the scattered data, artifacts appear. We show that $F^{*}F$ can be decomposed as a sum of four operators, each belonging to a class of distributions associated to two cleanly intersecting Lagrangians, $I^{p,l} (Λ_0, Λ_1)$, thereby explaining the latter artifacts.
△ Less
Submitted 7 October, 2011; v1 submitted 5 October, 2011;
originally announced October 2011.
-
Microlocal aspects of bistatic synthetic aperture radar imaging
Authors:
Venky P. Krishnan,
Eric Todd Quinto
Abstract:
In this article, we analyze the microlocal properties of the linearized forward scattering operator $F$ and the reconstruction operator $F^{*}F$ appearing in bistatic synthetic aperture radar imaging. In our model, the radar source and detector travel along a line a fixed distance apart. We show that $F$ is a Fourier integral operator, and we give the map** properties of the projections from the…
▽ More
In this article, we analyze the microlocal properties of the linearized forward scattering operator $F$ and the reconstruction operator $F^{*}F$ appearing in bistatic synthetic aperture radar imaging. In our model, the radar source and detector travel along a line a fixed distance apart. We show that $F$ is a Fourier integral operator, and we give the map** properties of the projections from the canonical relation of $F$, showing that the right projection is a blow-down and the left projection is a fold. We then show that $F^{*}F$ is a singular FIO belonging to the class $I^{3,0}$.
△ Less
Submitted 3 August, 2010;
originally announced August 2010.
-
A generalization of inversion formulas of Pestov and Uhlmann
Authors:
Venkateswaran P. Krishnan
Abstract:
In this note, we give a generalization of the inversion formulas of Pestov-Uhlmann for the geodesic ray transform of functions and vector fields on simple 2-dimensional manifolds of constant curvature. The inversion formulas given here hold for 2-dimensional simple manifolds whose curvatures close to a constant.
In this note, we give a generalization of the inversion formulas of Pestov-Uhlmann for the geodesic ray transform of functions and vector fields on simple 2-dimensional manifolds of constant curvature. The inversion formulas given here hold for 2-dimensional simple manifolds whose curvatures close to a constant.
△ Less
Submitted 8 December, 2007;
originally announced December 2007.