-
Two-dimensional Calderon problem and flat metrics
Authors:
Vladimir A. Sharafutdinov
Abstract:
For a compact Riemannian manifold $(M,g)$ with boundary $\partial M$, the Diri\-chl\-et-to-Neumann operator $Λ_g:C^\infty(\partial M)\longrightarrow C^\infty(\partial M)$ is defined by $Λ_gf=\left.\frac{\partial u}{\partialν}\right|_{\partial M}$, where $ν$ is the unit outer normal vector to the boundary and $u$ is the solution to the Dirichlet problem $Δ_gu=0,\ u|_{\partial M}=f$. Let…
▽ More
For a compact Riemannian manifold $(M,g)$ with boundary $\partial M$, the Diri\-chl\-et-to-Neumann operator $Λ_g:C^\infty(\partial M)\longrightarrow C^\infty(\partial M)$ is defined by $Λ_gf=\left.\frac{\partial u}{\partialν}\right|_{\partial M}$, where $ν$ is the unit outer normal vector to the boundary and $u$ is the solution to the Dirichlet problem $Δ_gu=0,\ u|_{\partial M}=f$. Let $g_\partial$ be the Riemannian metric on $\partial M$ induced by $g$. The Calderon problem is posed as follows: To what extent is $(M,g)$ determined by the data $(\partial M,g_\partial,Λ_g)$? We prove the uniqueness theorem: A compact connected two-dimensional Riemannian manifold $(M,g)$ with non-empty boundary is determined by the data $(\partial M,g_\partial,Λ_g)$ uniquely up to conformal equivalence.
△ Less
Submitted 29 January, 2025;
originally announced January 2025.
-
Normal operators for momentum ray transforms, II: Saint Venant operator
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$. 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…
▽ More
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)$.
△ Less
Submitted 15 August, 2024;
originally announced August 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 31 August, 2024; v1 submitted 1 January, 2024;
originally announced January 2024.
-
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.
-
Killing tensor fields of third rank on a two-dimensional Riemannian torus
Authors:
Vladimir A. Sharafutdinov
Abstract:
A rank $m$ symmetric tensor field on a Riemannian manifold is called a Killing field if the symmetric part of its covariant derivative is equal to zero. Such a field determines the first integral of the geodesic flow which is a degree $m$ homogeneous polynomial in velocities. There exist global isothermal coordinates on a two-dimensional Riemannian torus such that the metric is of the form…
▽ More
A rank $m$ symmetric tensor field on a Riemannian manifold is called a Killing field if the symmetric part of its covariant derivative is equal to zero. Such a field determines the first integral of the geodesic flow which is a degree $m$ homogeneous polynomial in velocities. There exist global isothermal coordinates on a two-dimensional Riemannian torus such that the metric is of the form $ds^2=λ(z)|dz|^2$ in the coordinates. The torus admits a third rank Killing tensor field if and only if the function $λ$ satisfies the equation $\Re\big(\frac{\partial}{\partial z}\big(λ(cΔ^{-1}λ_{zz}+a)\big)\big)=0$ with some complex constants $a$ and $c\neq0$. The latter equation is equivalent to some system of quadratic equations relating Fourier coefficients of the function $λ$. If the functions $λ$ and $λ+λ_0$ satisfy the equation for a real constant $λ_0\neq0$, then there exists a non-zero Killing vector field on the torus.
△ Less
Submitted 18 November, 2020;
originally announced November 2020.
-
An estimate for the Steklov zeta function of a planar domain derived from a first variation formula
Authors:
Alexandre Jollivet,
Vladimir Sharafutdinov
Abstract:
We consider the Steklov zeta function $ζ$ $Ω$ of a smooth bounded simply connected planar domain $Ω$ $\subset$ R 2 of perimeter 2$π$. We provide a first variation formula for $ζ$ $Ω$ under a smooth deformation of the domain. On the base of the formula, we prove that, for every s $\in$ (--1, 0) $\cup$ (0, 1), the difference $ζ$ $Ω$ (s) -- 2$ζ$ R (s) is non-negative and is equal to zero if and only…
▽ More
We consider the Steklov zeta function $ζ$ $Ω$ of a smooth bounded simply connected planar domain $Ω$ $\subset$ R 2 of perimeter 2$π$. We provide a first variation formula for $ζ$ $Ω$ under a smooth deformation of the domain. On the base of the formula, we prove that, for every s $\in$ (--1, 0) $\cup$ (0, 1), the difference $ζ$ $Ω$ (s) -- 2$ζ$ R (s) is non-negative and is equal to zero if and only if $Ω$ is a round disk ($ζ$ R is the classical Riemann zeta function). Our approach gives also an alternative proof of the inequality $ζ$ $Ω$ (s) -- 2$ζ$ R (s) $\ge$ 0 for s $\in$ (--$\infty$, --1] $\cup$ (1, $\infty$); the latter fact was proved in our previous paper [2018] in a different way. We also provide an alternative proof of the equality $ζ$ $Ω$ (0) = 2$ζ$ R (0) obtained by Edward and Wu [1991].
△ Less
Submitted 24 March, 2020;
originally announced April 2020.
-
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.
-
Application of geometric symbol calculus to computing heat invariants
Authors:
Vladimir Sharafutdinov
Abstract:
The problem of evaluating heat invariants can be computerized. Geometric symbol calculus of pseudodifferential operators is the main tool of such computerization.
The problem of evaluating heat invariants can be computerized. Geometric symbol calculus of pseudodifferential operators is the main tool of such computerization.
△ Less
Submitted 26 March, 2019;
originally announced March 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.
-
Steklov zeta-invariants and a compactness theorem for isospectral families of planar domains
Authors:
Alexandre Jollivet,
Vladimir Sharafutdinov
Abstract:
The inverse problem of recovering a smooth simply connected multisheet planar domain from its Steklov spectrum is equivalent to the problem of determination, up to a gauge transform, of a smooth positive function $a$ on the unit circle from the spectrum of the operator $aΛ$, where $Λ$ is the Dirichlet-to-Neumann operator of the unit disk. Zeta-invariants are defined by…
▽ More
The inverse problem of recovering a smooth simply connected multisheet planar domain from its Steklov spectrum is equivalent to the problem of determination, up to a gauge transform, of a smooth positive function $a$ on the unit circle from the spectrum of the operator $aΛ$, where $Λ$ is the Dirichlet-to-Neumann operator of the unit disk. Zeta-invariants are defined by $Z_m(a)={\rm Tr}[(aΛ)^{2m}-(aD)^{2m}]$ for every smooth function $a$. In the case of a positive $a$, zeta-invariants are determined by the Steklov spectrum. We obtain some estimate from below for $Z_m(a)$ in the case of a real function $a$. On using the estimate, we prove the compactness of a Steklov isospectral family of planar domains in the $C^\infty$-topology. We also describe all real functions $a$ satisfying $Z_m(a)=0$.
△ Less
Submitted 4 November, 2016;
originally announced November 2016.
-
Killing tensor fields on the 2-torus
Authors:
Vladimir Sharafutdinov
Abstract:
A symmetric tensor field on a Riemannian manifold is called Killing field if the symmetric part of its covariant derivative is equal to zero. There is a one to one correspondence between Killing tensor fields and first integrals of the geodesic flow which depend polynomially on the velocity. Therefore Killing tensor fields closely relate to the problem of integrability of geodesic flows. In partic…
▽ More
A symmetric tensor field on a Riemannian manifold is called Killing field if the symmetric part of its covariant derivative is equal to zero. There is a one to one correspondence between Killing tensor fields and first integrals of the geodesic flow which depend polynomially on the velocity. Therefore Killing tensor fields closely relate to the problem of integrability of geodesic flows. In particular, the following question is still open: does there exist a Riemannian metric on the 2-torus which admits an irreducible Killing tensor field of rank $\geq 3$? We obtain two necessary conditions on a Riemannian metric on the 2-torus for the existence of Killing tensor fields. The first condition is valid for Killing tensor fields of arbitrary rank and relates to closed geodesics. The second condition is obtained for rank 3 Killing tensor fields and relates to isolines of the Gaussian curvature.
△ Less
Submitted 18 November, 2014;
originally announced November 2014.
-
Zeta-invariants of the Steklov spectrum for a planar domain
Authors:
Evgeny Malkovich,
Vladimir Sharafutdinov
Abstract:
The classical inverse problem of recovering a simply connected smooth planar domain from the Steklov spectrum \cite{E} is equivalent to the problem of recovering, up to a conformal equivalence, a positive function $a\in C^\infty({\mathbb S})$ on the unit circle ${\mathbb S}=\{e^{iθ}\}$ from the eigenvalue spectrum of the operator $aΛ_e$, where $Λ_e=(-d^2/dθ^2)^{1/2}$. We introduce $2k$-forms…
▽ More
The classical inverse problem of recovering a simply connected smooth planar domain from the Steklov spectrum \cite{E} is equivalent to the problem of recovering, up to a conformal equivalence, a positive function $a\in C^\infty({\mathbb S})$ on the unit circle ${\mathbb S}=\{e^{iθ}\}$ from the eigenvalue spectrum of the operator $aΛ_e$, where $Λ_e=(-d^2/dθ^2)^{1/2}$. We introduce $2k$-forms $Z_k(a)\ (k=1,2,\dots)$ in Fourier coefficients of the function $a$ which are called zeta-invariants. They are uniquely determined by the eigenvalue spectrum of $aΛ_e$. We study some properties of $Z_k(a)$, in particular, their invariance under the conformal group. Some open questions on zeta-invariants are posed at the end of the paper.
△ Less
Submitted 8 April, 2014;
originally announced April 2014.
-
The partial Ricci flow on one-dimensional foliations
Authors:
Vladimir Rovenski,
Vladimir Sharafutdinov
Abstract:
A flow of metrics, $g_t$, on a manifold is a solution of a differential equation $\dt g = S(g)$, where a geometric functional $S(g)$ is a symmetric $(0,2)$-tensor usually related to some kind of curvature. The mixed sectional curvature of a foliated manifold regulates the deviation of leaves along the leaf geodesics. We introduce and study the flow of metrics on a foliation (called the 'Partial Ri…
▽ More
A flow of metrics, $g_t$, on a manifold is a solution of a differential equation $\dt g = S(g)$, where a geometric functional $S(g)$ is a symmetric $(0,2)$-tensor usually related to some kind of curvature. The mixed sectional curvature of a foliated manifold regulates the deviation of leaves along the leaf geodesics. We introduce and study the flow of metrics on a foliation (called the 'Partial Ricci Flow'), where $S=-2 r$ and $r$ is the partial Ricci curvature of the foliation; in other words, the velocity for a unit vector $X$ orthogonal to the leaf, $-2 r(X,X)$, is the mean value of sectional curvatures over all mixed planes containing $X$.
The flow preserves totally geodesic foliations and is used to examine the question: Which foliations admit a metric with a given property of mixed sectional curvature (e.g., point-wise constant)? This is related to Toponogov question about dimension of totally geodesic foliations with positive mixed sectional curvature.
We first consider a one-dimensional foliation, since this case is easier. We prove local existence/uniqueness theorem, deduce the government equations for the curvature and conullity tensors (which are parabolic along the leaves), and show convergence of solution metrics for some classes of almost-product structures. For the warped product initial metric the global solution metrics converge to one with constant mixed sectional curvature.
△ Less
Submitted 27 November, 2013; v1 submitted 5 August, 2013;
originally announced August 2013.
-
Tomography of small residual stresses
Authors:
Vladimir Sharafutdinov,
Jenn-Nan Wang
Abstract:
In this paper we study the inverse problem of determining the residual stress in Man's model using tomographic data. Theoretically, the tomographic data is obtained at zero approximation of geometrical optics for Man's residual stress model. For compressional waves, the inverse problem is equivalent to the problem of inverting the longitudinal ray transform of a symmetric tensor field. For shear w…
▽ More
In this paper we study the inverse problem of determining the residual stress in Man's model using tomographic data. Theoretically, the tomographic data is obtained at zero approximation of geometrical optics for Man's residual stress model. For compressional waves, the inverse problem is equivalent to the problem of inverting the longitudinal ray transform of a symmetric tensor field. For shear waves, the inverse problem, after the linearization, leads to another integral geometry operator which is called the mixed ray transform. Under some restrictions on coefficients, we are able to prove the uniqueness results in these two cases.
△ Less
Submitted 9 May, 2012; v1 submitted 24 October, 2011;
originally announced October 2011.
-
On conformal Killing symmetric tensor fields on Riemannian manifolds
Authors:
Nurlan S. Dairbekov,
Vladimir A. Sharafutdinov
Abstract:
A vector field on a Riemannian manifold is called conformal Killing if it generates one-parameter group of conformal transformations. The class of conformal Killing symmetric tensor fields of an arbitrary rank is a natural generalization of the class of conformal Killing vector fields, and appears in different geometric and physical problems. A symmetric tensor field is a trace-free field if the c…
▽ More
A vector field on a Riemannian manifold is called conformal Killing if it generates one-parameter group of conformal transformations. The class of conformal Killing symmetric tensor fields of an arbitrary rank is a natural generalization of the class of conformal Killing vector fields, and appears in different geometric and physical problems. A symmetric tensor field is a trace-free field if the contraction of the field with the metric tensor is identically equal to zero. On a Riemannian manifold of dimension at least three, the space of trace-free conformal Killing symmetric tensor fields of arbitrary rank is of a finite dimension. On a two-dimensional manifold, the space can be of infinite dimension. Nevertheless, on a connected manifold of any dimension, a trace-free conformal Killing tensor field is uniquely determined by its $C^\infty$-jet at any point. We prove the statement: On a connected manifold, a trace-free conformal Killing tensor field is identically equal to zero if it vanishes on some hypersurface. This statement is a basis of the theorem on decomposition of a symmetric tensor field on a compact Riemannian manifold with boundary to a sum of three fields such that the first summand is a trace-free and divergence-free field, the second summand is a potential field with a trace-free potential vanishing on the boundary, and the last summand is a multiple of the metric tensor. The classical theorem by Bochner - Yano states the absence of conformal Killing vector fields on a closed manifold of negative Ricci curvature. We generalize the latter statements to arbitrary rank tensor fields but under the stronger hypothesis: the sectional curvature is assumed to be negative. There is no nontrivial trace-free conformal Killing symmetric tensor field of any rank on a closed negatively curved Riemannian manifold.
△ Less
Submitted 18 March, 2011;
originally announced March 2011.
-
The complete Dirichlet-to-Neumann map for differential forms
Authors:
Vladimir Sharafutdinov,
Clayton Shonkwiler
Abstract:
The Dirichlet-to-Neumann map for differential forms on a Riemannian manifold with boundary is a generalization of the classical Dirichlet-to-Neumann map which arises in the problem of Electrical Impedance Tomography. We synthesize the two different approaches to defining this operator by giving an invariant definition of the complete Dirichlet-to-Neumann map for differential forms in terms of two…
▽ More
The Dirichlet-to-Neumann map for differential forms on a Riemannian manifold with boundary is a generalization of the classical Dirichlet-to-Neumann map which arises in the problem of Electrical Impedance Tomography. We synthesize the two different approaches to defining this operator by giving an invariant definition of the complete Dirichlet-to-Neumann map for differential forms in terms of two linear operators Φ and Ψ. The pair (Φ, Ψ) is equivalent to Joshi and Lionheart's operator Π and determines Belishev and Sharafutdinov's operator Λ. We show that the Betti numbers of the manifold are determined by Φ and that Ψ determines a chain complex whose homologies are explicitly related to the cohomology groups of the manifold.
△ Less
Submitted 4 November, 2010;
originally announced November 2010.
