arXiv subjects

Venkateswaran P. Krishnan

Publications and source records attributed to Venkateswaran P. Krishnan.

At least 19 recordsLinked to original sources

arXiv2026

A constructive approach to range characterization of spherical mean transform in odd dimensions

This work focuses on range characterization of spherical mean transform (SMT) in odd-dimension Euclidean space. In a recent work, a simpler description characterizing the range of SMT in odd dimensions was derived. This involved symmetry relations involving certain linear ordinary differential operators acting on the coefficients of the spherical harmonics expansion of the function in the range. The sufficiency part of this characterization was shown using an existing range characterization result due to Agranovsky-Kuchment-Quinto. In the current work, we provide a direct and constructive proof showing the sufficiency of the aforementioned symmetry conditions and we obtain this without invoking any of the existing range characterization results. As an added advantage, given a function $g$ satisfying the range conditions, our approach provides an explicit construction of a function $f$ such that the SMT of $f$ is $g$.

math.AP↗

arXiv2026

A simple range characterization for spherical mean transform in odd dimensions and its applications

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 a central part of the proof of our main result, 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. Finally, as one application of the range characterization, we construct an explicit counterexample proving that unique continuation type results cannot hold for the spherical mean transform in odd dimensional spaces.

math.CA↗

arXiv2026

Microlocal analysis of Radon transforms over quadric surfaces

We study the microlocal properties of generalized Radon transforms over a family of quadric hypersurfaces whose centers lie on an orientable hypersurface $S$. The quadric surfaces we consider are level sets of the quadratic form associated to a symmetric, invertible matrix $A$, with real entries. We study the singularities of the right and left projections of the canonical relation associated with these operators and show that they are determined by the signature of the matrix $A$ and the hypersurface $S$. If the matrix is positive/negative definite (i.e., the surface of integration is an ellipsoid) and $S$ is strictly convex, we prove that the singularities are folds. If the matrix is indefinite (i.e., the surface of integration is a hyperboloid-type quadric) and $S$ is either strictly convex or a cylinder, then cusp, fold, or blowdown singularities are present. We also study the case when the surface of integration is a paraboloid and show that the Bolker condition is satisfied.

math.CA↗

arXiv2026

Explicit inversion of spherical Radon transforms in odd dimensions with partial radial data

We derive an explicit inversion algorithm for the spherical Radon transform in odd dimensions with partial radial data. We prove that the reconstruction of the unknown function can be reduced to solving ordinary differential equations, thereby providing a more explicit approach in odd dimensions than solving Volterra integral equation of the first kind established in prior works. We also provide analytical solutions in some special cases. Finally, we present numerical simulations validating our theoretical results. Our work answers a question posed by Rubin in ``Inversion formulae for the spherical mean in odd dimensions and the Euler-Poisson-Darboux equation,'' Inverse Problems 24 (2008), no. 2, 025021, 10 pp.

math.AP↗

arXiv2025

Range characterization of the ray transform on Sobolev spaces of symmetric tensor fields in two dimensions

The ray transform $I_m$ integrates a symmetric $m$ rank tensor field $f$ on $\mathbb{R}^n$ over lines. In the case of $n\ge3$, the range characterization of the operator $I_m$ on weighted Sobolev spaces $H^{s}_t({\mathbb R}^n;S^m{\mathbb R}^n)$ was obtained in [V. Krishnan and V. Sharafutdinov. Range characterization of ray transform on Sobolev spaces of symmetric tensor fields. Inverse Problems and Imaging, 18(6), 1272--1293, 2024]. Here we obtain a range characterization result in higher order weighted Sobolev spaces in two dimensions. Range characterization in the case of $n=2$ is very different from that for $n\ge3$, and this allows us to obtain such a result in higher order weighted Sobolev spaces $H^{r,s}_t(\mathbb{R}^2)$ for any real $r$. Nevertheless, our main tool is again the Reshetnyak formula stating that $\lVert I_mf\rVert_{H^{(r,s+1/2)}_{t+1/2}(T{\mathbb S}^{n-1})}=\lVert f\rVert_{H^{(r,s)}_t({\mathbb R}^n;S^m{\mathbb R}^n)}$ for a solenoidal tensor field $f$.

math.AP↗

arXiv2025

A simple range characterization for spherical mean transform in even dimensions

The paper presents a new and simple range characterization for the spherical mean transform of functions supported in the unit ball in even dimensions. It complements the previous work of the same authors, where they solved an analogous problem in odd dimensions. The range description in even dimensions consists of symmetry relations, using a special kind of elliptic integrals involving the coefficients of the spherical harmonics expansion of the function in the range of the transform. The article also introduces a pair of original identities involving normalized Bessel functions of the first and the second kind. The first result is an integral cross-product identity for Bessel functions of integer order, complementing a similar relation for Bessel functions of half-integer order obtained in the aforementioned work of the same authors. The second result is a new Nicholson-type identity. Both of these relations can be considered as important standalone results in the theory of special functions. Finally, as part of the proof of one of the theorems, the authors derive an interesting equality involving elliptic integrals, which may be of independent interest.

math.CA↗

arXiv2025

Ray transform of symmetric tensor fields on Riemannian manifolds with conjugate points

In this article, we study the microlocal properties of the geodesic ray transform of symmetric $m$-tensor fields on 2-dimensional Riemannian manifolds with boundary allowing the possibility of conjugate points. As is known from an earlier work on the geodesic ray transform of functions in the presence of conjugate points, the normal operator can be decomposed into a sum of a pseudodifferential operator ($Ψ$DO) and a finite number of Fourier integral operators (FIOs) under the assumption of no singular conjugate pairs along geodesics, which always holds in 2-dimensions. In this work, we use the method of stationary phase to explicitly compute the principal symbol of the $Ψ$DO and each of the FIO components of the normal operator acting on symmetric $m$-tensor fields. Next, we construct a parametrix recovering the solenoidal component of the tensor fields modulo FIOs, and prove a cancellation of singularities result, similar to an earlier result of Monard, Stefanov and Uhlmann for the case of geodesic ray transform of functions in 2-dimensions. We point out that this type of cancellation result is only possible in the 2-dimensional case.

math.DG↗

arXiv2024

Weighted Divergent Beam Ray Transform: Reconstruction, Unique continuation and Stability

In this article, we establish that any symmetric $m$-tensor field can be recovered pointwise from partial data of the $k$-th weighted divergent ray transform for any $k \in \mathbb{Z}^{+} \cup\{0\}$. Using the unique continuation property of the fractional Laplacian, we further prove the unique continuation of the fractional divergent beam ray transform for both vector fields and symmetric 2-tensor fields. Additionally, we derive explicit reconstruction formulas and stability results for vector fields and symmetric 2-tensor fields in terms of fractional divergent beam ray transform data. Finally, we conclude by proving a unique continuation result for the divergent beam ray transform for functions.

math.AP↗

arXiv2024

Determination of Lower Order Perturbations of a Polyharmonic Operator in Two Dimensions

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.

math.AP↗

arXiv2024

Normal operators for momentum ray transforms, I: The inversion formula

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)$.

math.AP↗

arXiv2024

Normal operators for momentum ray transforms, II: Saint Venant operator

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$. Let $N^k_m=(I^k_m)^*I^k_m$ be the normal operator of $I_m^k$. To what extent is a symmetric $m$-tensor field $f$ determined by the data $(N_m^0f,\dots,N_m^rf)$ given for some $0\le r\le m$? The Saint Venant operator $W^r_m$ is a linear differential operator of order $m-r$ with constant coefficients on the space of symmetric $m$-tensor fields. We derive an explicit formula expressing $W^r_mf$ in terms of $(N_m^0f,\dots,N_m^rf)$. The tensor field $W^r_mf$ represents the full local information on $f$ that can be extracted from the data $(N_m^0f,\dots,N_m^rf)$.

math.AP↗

arXiv2024

On the null space of the backprojection operator and Rubin's conjecture for the spherical mean transform

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.

math.CA↗

arXiv2022

Point sources and stability for an inverse problem for a hyperbolic PDE with space and time dependent coefficients

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.

math.AP↗

arXiv2022

Unique continuation results for certain generalized ray transforms of symmetric tensor fields

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.

math.AP↗

arXiv2021

Unique determination of anisotropic perturbations of a polyharmonic operator from partial boundary data

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.

math.AP↗

arXiv2021

A Diffeomorphic Aging Model for Adult Human Brain from Cross-Sectional Data

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.

cs.CV↗

arXiv2021

High frequency stability estimates for a partial data inverse problem

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.

math.AP↗

arXiv2021

A method for large diffeomorphic registration via broken geodesics

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.

cs.CV↗