%_ **************************************************************************
%_ * The TeX source for AMS journal articles is the publishers TeX code     *
%_ * which may contain special commands defined for the AMS production      *
%_ * environment.  Therefore, it may not be possible to process these files *
%_ * through TeX without errors.  To display a typeset version of a journal *
%_ * article easily, we suggest that you retrieve the article in DVI,       *
%_ * PostScript, or PDF format.                                             *
%_ **************************************************************************
% Author Package file for use with AMS-LaTeX 1.2
\controldates{14-JUN-2005,14-JUN-2005,14-JUN-2005,14-JUN-2005}
 
\RequirePackage[warning,log]{snapshot}
\documentclass{era-l}

\issueinfo{11}{08}{}{2005}
\dateposted{June 23, 2005}
\pagespan{64}{70}
\PII{S 1079-6762(05)00148-4}

\copyrightinfo{2005}{American Mathematical Society}
\revertcopyright

\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}

\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{xca}[theorem]{Exercise}

\newcommand{\myd}{\mathrm{d}}

\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}

\numberwithin{equation}{section}

\begin{document}
\title{Recent progress on the boundary rigidity problem}
\author{Plamen Stefanov}
\address{Department of Mathematics, Purdue University, West Lafayette, IN 47907}
\email{stefanov@math.purdue.edu}
\thanks{The first author was supported in part by NSF Grant DMS-0400869.}

\author{Gunther Uhlmann}
\address{Department of Mathematics, University of Washington, Seattle, WA 98195}
\email{gunther@math.washington.edu}
\thanks{The second author was supported in part by NSF Grant DMS-0245414.}
\subjclass[2000]{Primary 53C20}
\keywords{Boundary rigidity, Riemannian manifold, inverse problem}
\date{March 8, 2005}
\commby{Dmitri Burago}
\begin{abstract}
The boundary rigidity problem consists in determining a compact, Riemannian
manifold with boundary, up to isometry, by knowing the boundary distance
function between boundary points. In this paper we announce the
result of our forthcoming article that one can solve this problem for generic
simple metrics. Moreover we probe stability estimates for this problem.
\end{abstract}
\maketitle

\section{Main results}

Let $(M,\partial M,g)$ be a compact Riemannian manifold with boundary.  Denote by $\rho_g$ the  distance
function in the metric $g$.
We consider the inverse problem of whether $\rho_g(x,y)$, known for all $x$, $y$ on $\partial M$, determines the metric uniquely. It is clear that any isometry which is the identity at the boundary will give rise to the same distance functions on the boundary. Therefore, the natural question is whether this is the only obstruction to uniqueness. This is known in differential geometry as the
boundary rigidity problem.
The boundary distance 
function only takes
into account the  shortest paths, and it is easy to find counterexamples  where $\rho_g$ does not carry any information about certain open subset of $M$, 
 so one needs to pose some restrictions on the metric. One such condition
is simplicity of the metric. 

\begin{definition} We say that the Riemannian metric $g$ is {\em simple} in $M$, if $\partial M$ is strictly convex 
with respect to $g$, and for any $x\in  M$,  the exponential map $\exp_x :\exp^{-1}_x(M) \to M$ is a diffeomorphism.
\end{definition}

Michel \cite{M} conjectured that a {\em simple} metric $g$ is uniquely determined, up to an action of a diffeomorphism fixing the boundary,  by the boundary distance function $\rho_g(x,y)$ known for all $x$ and $y$ on $\partial M$.


This problem also arose in geophysics in an attempt to determine the inner structure of the Earth
by measuring the travel times of seismic waves. It goes back to Herglotz 
\cite{H} and Wiechert
and Zoeppritz \cite{WZ}. Although
the emphasis has been on the case that the medium is isotropic, 
the anisotropic case has been of interest in geophysics since it has been 
found that the inner core of the Earth exhibits anisotropic
behavior \cite{Cr}.

Note that a simple metric $g$ in $M$ can be extended 
to a simple metric in some $M_1$ with $M\subset\subset M_1$. If we fix $x=x_0 \in M$ above, we also obtain that each simple manifold is diffeomorphic to a (strictly convex) domain $\Omega \subset \mathbf{R}^n$ with the Euclidean coordinates $x$ in a neighborhood of $\Omega$ and a metric $g(x)$ there. For this reason, it is enough to prove our results for domains $\Omega$ in $\mathbf{R}^n$. 

A closely related problem is to recover $g$ from the \textit{scattering relation} that \nobreak{maps} initial points $x\in\partial M$ and directions $\xi$ of maximal geodesics through $M$ into outgoing points $y\in\partial M$ and directions $\eta$. Weaker geometric assumptions are needed to formulate this problem, and 
in the case of simple metrics, it is equivalent to the boundary rigidity problem. The scattering relation describes propagation of singularities of the corresponding wave equation through $M$, and is encoded in the hyperbolic \textit{Dirichlet-to Neumann} map, and in the scattering operator 
in the case when $M$ is embedded in $\mathbf{R}^n$. 

Unique recovery of $g$ (up to an action of a diffeomorphism) is known for simple metrics conformal to each other \cite{C1}, \cite{B}, \cite{Mu}, \cite{Mu2}, \cite{Mu-R}, \cite{BG}, for flat metrics \cite{Gr}, for locally
symmetric spaces of negative
curvature \cite{BCG}.  In two dimensions  it
was known for simple metrics
with negative curvature  \cite{C2} and \cite{O}, and 
recently it was shown
in \cite{PU} for simple metrics with no restrictions on
the curvature. 
In \cite{SU1}, the authors proved a local result for metrics in a small neighborhood of the Euclidean one. This result was used in \cite{LSU} to prove a
semiglobal solvability result. Burago and Ivanov have shown recently that metrics close
to the Euclidean metric are boundary rigid \cite{BI}.

It is known \cite{Sh}, that a linearization of the boundary rigidity problem near a simple metric $g$ is given by the following integral geometry problem: recover a symmetric tensor of order 2, which in any coordinates
is given by $f=(f_{ij})$, by the geodesic X-ray transform
\[
I_g f(\gamma) = \int f_{ij}(\gamma(t))\dot \gamma^i(t)\dot\gamma^j(t)\,\myd t
\]
known for all geodesics $\gamma$ in $M$. It can be easily seen that $I_gd v=0$ for any vector field $v$ with $v|_{\partial M}=0$, where $d v$ denotes the symmetric differential
\begin{equation}   \label{dv}
[d v]_{ij} = \frac12\left(\nabla_iv_j+ \nabla_jv_i  \right),
\end{equation}
and $\nabla_k v$ denote the covariant derivatives of the vector field $v$. This is the linear version of the fact that  $\rho_g$ does not change on  $(\partial M)^2:=\partial M\times \partial M$ under an action of a diffeomorphism as above. The natural formulation of the linearized problem is therefore that $I_gf=0$ implies $f=dv$ with $v$ vanishing on the boundary. 
We will refer to this property as {\em s-injectivity} of $I_g$. 
More precisely, we have.

\begin{definition}
We say that $I_g$ is {\em s-injective} in $M$, if $I_{g}f=0$ and $f\in {L}^2(M)$ imply $f=d v$ with some vector field $v\in {H}_0^1(M)$.
\end{definition}

Any symmetric tensor $f\in L^2(M)$ admits an orthogonal decomposition $f = f^s+dv$ into a \textit{solenoidal} and \textit{potential} parts with $v\in H_0^1(M)$, and $f^s$ divergence free, i.e., 
$\delta f^s=0$, where 
$\delta$  is the adjoint operator to $-d$ given by 
$[\delta f]_i = g^{jk} \nabla_k f_{ij}$. Therefore, $I_g$ is s-injective, if it is injective on the space of solenoidal tensors. 


The inversion of $I_g$ is a problem of independent interest in integral geometry,  and our first two theorems are related 
to it. The
s-injectivity of $I_g$  was proved 
in \cite{PS} for metrics with negative curvature, in \cite{Sh} for metrics 
with small curvature, and in \cite{SU} for Riemannian surfaces with no focal points. A conditional and non-sharp stability estimate for metrics with small curvature is 
also established in \cite{Sh}. This estimate was used in \cite{CDS} to get local uniqueness results for the boundary rigidity problem under the same condition. In 
\cite{SU2}, we proved stability estimates for s-injective metrics (see (\ref{basic:estimate}) below)  
and sharp estimates about the recovery of a 1-form $f=f_j dx^j$ and a 
function $f$ from the associated $I_gf$. The stability estimates proven in 
\cite{SU2} were used
to prove local uniqueness for the boundary rigidity problem near any simple metric $g$ with s-injective $I_g$. 

Similarly to \cite{T}, we say that $f$ is analytic in the set $K$ (not 
necessarily open), if it is real analytic in some neighborhood of $K$. Our first main result is about s-injectivity at simple analytic metrics. 


\begin{theorem}  \label{thm:an}
Let $g$ be a  simple,  real analytic metric in $M$. Then $I_g$ is s-injective.
\end{theorem}

As shown in \cite{SU2}, the s-injectivity of $I_g$ for analytic simple $g$ implies  a stability estimate for $I_g$. 
In the next theorem we show something more, namely that we have a stability estimate for $g$ in a neighborhood of each analytic metric, which leads to  stability estimates for generic metrics. 
 
Let $M_1\supset M$ be a compact manifold which is a neighborhood of $M$, 
and suppose $g$ extends as a simple metric there. We always assume that our tensors are extended as zero outside $M$, which may create jumps at $\partial M$. Define the \textit{normal operator} $N_g = I_g^*I_g$, where $I_g^*$ denotes the  operator adjoint to $I_g$ with respect to an appropriate measure. We showed in \cite{SU2} that $N_g$ is a 
pseudodifferential operator in $M_1$ of order $-1$. 

As in \cite{SU2}, we define the space $\tilde {H}^2(M_1)$ that in particular 
satisfies ${H}^2(M_1) \subset  \tilde {H}^2(M_1) \subset {H}^1(M_1)$
(we refer to \cite{SU2} for details). 
On the other hand, $f\in {H}^1(M)$ implies $N_g f\in \tilde {H}^2(M_1)$ despite the possible jump of $f$ at $\partial M$. 

\begin{theorem} \label{thm:gen} There exists $k_0$ such that for each $k\ge k_0$,  the set $\mathcal{G}^k(M)$ of simple  $C^k\!(M)$  metrics in $M$ for which $I_g$ is s-injective  is  open and dense in the $C^k\! (M)$ topology.  Moreover, for any $g\in \mathcal{G}^k$,  
\begin{equation}  \label{basic:estimate}
\left\|f^s\right\|_{{L}^2(M)} \le C  \| N_g f\|_{\tilde  {H}^2(M_1)}, \quad \forall f\in {H}^1(M), 
\end{equation} 
with a constant $C>0$ that can be chosen locally uniform in  $\mathcal{G}^k$ in the $C^k(M)$ topology. 
\end{theorem}

Of course, ${\mathcal G}^k$ includes all real analytic simple metrics in $M$, according to Theorem~\ref{thm:an}. 

The analysis of $I_g$ can also be carried out for symmetric tensors of any 
order; see e.g. \cite{Sh} and \cite{SSU}. Since we are motivated by the boundary rigidity problem, and to simplify the exposition, we study only tensors of order $2$. 


Theorem~\ref{thm:gen} and especially estimate (\ref{basic:estimate}) allow us to  prove  the following local generic uniqueness result for the non-linear boundary rigidity problem. 

\begin{theorem} \label{thm:rig} 
Let $k_0$ and $\mathcal{G}^k(M)$ be as in Theorem~\ref{thm:gen}. 
There exists $k\ge k_0$ such that for any $g_0\in \mathcal{G}^k$, there is 
$\varepsilon>0$ such that for any two metrics $g_1$, $g_2$ with 
$\|g_m-g_0\|_{C^k(M)}\le \varepsilon$, $m=1,2$, we have the following: 
\begin{equation}   \label{pro}
\mbox{$\rho_{g_1}=\rho_{g_2}$  on $(\partial M)^2$ \ implies  $g_2=\psi_* g_1$}
\end{equation} 
with some $C^{k+1}(M)$-diffeomorphism $\psi:M \to M$ \ fixing the boundary.
\end{theorem}

Finally, we prove a conditional stability estimate of H\"older type. A similar estimate near the Euclidean metric was proven in \cite{W} based on the approach in \cite{SU1}. 

\begin{theorem} \label{thm:stab} 
Let $k_0$ and $\mathcal{G}^k(M)$ be as in Theorem~\ref{thm:gen}. Then for any $\mu<1$, there exists $k\ge k_0$ such that for any $g_0\in \mathcal{G}^k$,  there is an $\varepsilon_0>0$ and $C>0$ with the property that  that for any two metrics $g_1$, $g_2$ with $\|g_m-g_0\|_{C(M)}\le \varepsilon_0$, and $\|g_m \|_{C^k(M)} \le A$,  $m=1,2$, with some $A>0$, we have the 
following stability estimate:
\[
\|g_2-\psi_* g_1\|_{C^2(M)} \le C(A) \|\rho_{g_1}-\rho_{g_2}\|^\mu_{C(\partial M\times\partial M)}
\]
with some diffeomorphism $\psi:M \to M$ \ fixing the boundary.
\end{theorem}


Theorem~\ref{thm:stab} can be used to obtain stability near generic simple metrics for the inverse problem of recovering $g$ from the hyperbolic \textit{Dirichlet-to-Neumann map} $\Lambda_g$. It is known that $g$ can be recovered uniquely from $\Lambda_g$, up to a diffeomorphism as above, see e.g.\ \cite{BK}. This result however relies on a unique continuation theorem  by Tataru \cite{Ta} and it is unlikely to provide H\"older type of stability estimate as above. By using the fact that $\rho_g$ is related to the leading singularities in the kernel of $\Lambda_g$, we can prove a H\"older stability estimate under the assumptions above, relating $g$ and $\Lambda_g$. We refer to \cite{SU3} for details. 


\section{Sketch of the main ideas}
As mentioned above, we can assume that $M$ is an open bounded  domain $\Omega\subset \mathbf{R}^n$ with smooth boundary, and $g$ is a simple Riemannian metric there.

\subsection{S-injectivity for analytic metrics, Theorem~\ref{thm:an}} 
\label{s1}

The proof of Theorem~\ref{thm:an} is based on the following. For analytic metrics, the normal operator  $N_g=I_g^*I_g$ is an analytic pseudodifferential operator with a non-trivial null space.  We construct an analytic parametrix 
that allows us to reconstruct the solenoidal part of a tensor field from its geodesic X-ray transform, up to a term that is  analytic near $\Omega$. If $I_gf=0$, we show that for some $v$ vanishing on $\partial\Omega$, $\tilde f :=f-dv$ must be flat at $\partial\Omega$ and analytic in $\bar\Omega$, hence $\tilde f=0$.  This is similar to the known argument that an analytic elliptic pseudodifferential operator resolves the analytic singularities, hence cannot have compactly supported functions in its kernel. In our case we have a  non-trivial kernel, and complications due to the presence of a boundary, in particular 
loss of one derivative.

\subsection{The a priori linear stability estimate, Theorem~\ref{thm:gen}} 
The proof of the basic estimate (\ref{basic:estimate}) is based on the following ideas. For $g$ of finite smoothness, one can still construct a parametrix $Q_g$ of $N_g$ as above that allows us to reconstruct $f^s$ from $N_g f$ up to smoothing operator terms. This is done in a way similar to that in \cite{SU2} in two steps: first we invert microlocally $N_g$ in a neighborhood $\Omega_1$ of $\Omega$, and that gives us $f_{\Omega_1}^s$, i.e., the solenoidal projection of $f$ but related to  $\Omega_1$. Next,  we compare $f_{\Omega_1}^s$ and $f^s$ and show that one can get the latter from the former by an operator that loses one derivative. This is the same construction as in \ref{s1} above but the metric is only $C^k$, $k\gg1$. 

After applying the parametrix $Q_g$, the equation for recovering $f^s$ from $N_g f$ is reduced to solving the Fredholm equation
\begin{equation}  \label{21}
(\mathcal{S}_g+K_g)f = Q_gN_gf, \quad f\in\mathcal{S}_gL^2(\Omega),
\end{equation}
where $\mathcal{S}_g$ is the projection to solenoidal tensors; similarly we 
denote by $\mathcal{P}_g$ the projection onto potential tensors. Here $K_g$ is a compact operator on $\mathcal{S}_gL^2(\Omega)$. We can write this as an equation in the whole $L^2(\Omega)$ by adding $\mathcal{P}_gf$ to both sides above to get
\begin{equation}  \label{22}
(I+K_g)f = (Q_gN_g+\mathcal{P}_g)f.
\end{equation}
Then the solenoidal projection of the solution of (\ref{22}) solves (\ref{21}). 
A finite rank modification of $K_g$ above can guarantee that $I+K_g$ has a trivial kernel, and therefore is invertible, if and only if $N_g$ is s-injective. The problem then reduces to that of invertibility of $I+K_g$. 
The operators above depend continuously on $g\in C^k$, $k\gg1$. Since for $g$ analytic, $I+K_g$ is invertible by Theorem~\ref{thm:an}, it would still be invertible in a neighborhood of any analytic $g$, and estimate (\ref{basic:estimate}) is true with a locally uniform constant. Analytic (simple) metrics are dense in the set of all simple metrics, and this completes the sketch of the proof of Theorem~\ref{thm:gen}. 

\subsection{Generic local and global boundary rigidity, Theorem~\ref{thm:rig}}
We prove Theorem~\ref{thm:rig} by linearizing and using Theorem~\ref{thm:gen},
and especially (\ref{basic:estimate}); see also \cite{SU2}. This requires first
to pass to special semigeodesic coordinates related to each metric in which
$g_{in}=\delta_{in}$, $\forall i$. We  denote the corresponding pull-backs by
$g_1$, $g_2$ again. 
Then we show that if $g_1$ and $g_2$ have the same distance on the boundary, 
then $g_1=g_2$ on the boundary with all derivatives. As a result, for 
$f := g_1-g_2$ we get that $f\in C_0^l(\bar\Omega)$ with $l\gg 1$
 if $k\gg 1$; and $f_{in}=0$, $\forall i$. Then we linearize to get
$$
\|N_{g_1} f\|_{L^\infty(\Omega_1)} \le C\|f\|^2_{C^1},
$$
where $\Omega_1\supset \bar\Omega$ is as above. Combine this with (\ref{basic:estimate}) and interpolation estimates, to get  $\forall \mu<1$,
\[
\|f^s\|_{L^2} \le C\|f\|^{1+\mu}_{L^2}.
\]
One can show that tensors satisfying $f_{in}=0$ also satisfy $\|f\|_{L^2} \le C\|f^s \|_{H^2}$, and using this, and interpolation again, we get
\[
\|f\|_{L^2} \le C\|f\|^{1+\mu'}_{L^2},\quad \mu'>0. 
\]
This implies $f=0$ for $\|f\|\ll1$. Note that the condition $f\in C_0^l(\bar\Omega)$ is used to make sure that $f$,  extended as zero in $\Omega_1\setminus\Omega$, is in $H_0^l(\Omega)$, and then use this fact in the interpolation estimates. 



\subsection{The stability estimate} To prove Theorem~\ref{thm:stab}, we basically follow the uniqueness proof sketched above by showing that each step is stable. The \mbox{analysis} is more delicate near pairs of points too close to each other. An important ingredient of the proof is stability at the boundary, 
which is also of independent interest:

\begin{theorem}  \label{thm:st:bd}
Let $g_0$ and $g_1$ be two simple metrics in $\Omega$, and $\Gamma\subset \subset \Gamma'\subset \partial\Omega$ be two sufficiently small open subsets of the boundary. Then for some diffeomorphism $\psi$ fixing the boundary,
\[
\big\| \partial_{x^n}^k  
(\psi_* g_1-  g_0)\big\|_{C^m(\bar\Gamma)} \le C_{k,m} \big\| \rho_{g_1}^2 -\rho_{g_0}^2 \big\|_{C^{m+2k+2} \big(\overline{\Gamma'\times \Gamma'}\big)},
\]
where $C_{k,m}$ depends only on $\Omega$ and on  an upper bound of $g_0$, $g_1$   in $C^{m+2k+5}(\bar\Omega)$.
\end{theorem}


\begin{thebibliography}{30}

\bibitem{BK} {M. Belishev and Y. Kurylev}, \textit{To the reconstruction of a
Riemannian manifold via its boundary spectral data (BC-method)}, {Comm. PDE}
\textbf{17} (1992), 767--804. \MR{1177292 (94a:58199)}

\bibitem{BG} {I. N. Bernstein and M. L. Gerver}, \textit{Conditions on
distinguishability of metrics by hodographs}, {Methods and Algorithms of
Interpretation of Seismological Information}, Computerized Seismology
\textbf{13}, Nauka, Moscow, pp. 50--73. (Russian) 

\bibitem{BCG}{G. Besson, G. Courtois, and S. Gallot}, \textit{ Entropies et
rigidit\'es des espaces localement sym\'etriques de courbure strictement
n\'egative}, {Geom. Funct. Anal.} \textbf{5} (1995), 731--799. \MR{1354289
(96i:58136)}

\bibitem{B} {G. Beylkin}, \textit{Stability and uniqueness of the solution of
the inverse kinematic problem in the multidimensional case}, {J. Soviet Math.}
\textbf{21} (1983), 251--254. \MR{0557021 (80m:53052)}

\bibitem{BI} {D. Burago and S. Ivanov}, \textit{Boundary rigidity and filling
volume minimality of metrics close to a flat one}, manuscript, 2005.

\bibitem{Cr} {K. C. Creager}, \textit{Anisotropy of the inner core from
differential travel times of the phases PKP and PKIPK}, {Nature}
\textbf{356} (1992), 309--314.

\bibitem{C2} {C. Croke}, \textit{Rigidity for surfaces of non-positive
curvature}, {Comment. Math. Helv.} \textbf{65} (1990), 150--169. \MR{1036134
(91d:53056)}

\bibitem{C1} {C. Croke}, \textit{Rigidity and the distance between boundary
points}, {J. Differential Geom.} \textbf{33} (1991), no. 2, 445--464.
\MR{1094465 (92a:53053)}

\bibitem{CDS} {C. Croke, N. Dairbekov, and V. Sharafutdinov}, \textit{Local
boundary rigidity of a compact Riemannian manifold with curvature bounded
above}, {Trans. Amer. Math. Soc.} \textbf{352} (2000), no. 9, 3937--3956. 
\MR{1694283 (2000m:53054)}

\bibitem{Gr} {M. Gromov}, \textit{Filling Riemannian manifolds}, {J. Diff.
Geometry} \textbf{18} (1983), no. 1, 1--148. \MR{0697984 (85h:53029)}

\bibitem{H} {G. Herglotz}, \"Uber die Elastizitaet der Erde bei
Beruecksichtigung ihrer variablen Dichte, {\em Zeitschr. f\"ur Math. Phys.}
{\bf 52} (1905), 275--299. 

\bibitem{LSU} {M. Lassas, V. Sharafutdinov, and G. Uhlmann}, \textit{Semiglobal
boundary rigidity for Riemannian metrics}, {Math. Ann.} \textbf{325} (2003),
767--793. \MR{1974568 (2004c:53053)}

\bibitem{M} {R. Michel}, \textit{Sur la rigidit\'e impos\'ee par la longueur
des g\'eod\'esiques}, {Invent. Math.} \textbf{65} (1981), 71--83. \MR{0636880
(83d:58021)}

\bibitem{Mu} {R. G. Mukhometov},  \textit{The reconstruction problem of a
two-dimensional Riemannian metric, and integral geometry}, {Dokl.
Akad. Nauk SSSR}  \textbf{232} (1977), no. 1, 32--35. (Russian) \MR{0431074 
(55:4076)}

\bibitem{Mu2} {R. G. Mukhometov},  \textit{On a problem of reconstructing
Riemannian metrics}, {Siberian Math. J.} \textbf{22} (1982), no. 3, 420--433. 
\MR{0621466 (82m:53071)}

\bibitem{Mu-R} {R. G. Mukhometov and V. G. Romanov}, \textit{On the problem of
finding an  isotropic Riemannian metric in an $n$-dimensional space},
{Dokl. Akad. Nauk SSSR}  \textbf{243} (1978), no. 1, 41--44. (Russian)
\MR{0511273 (81a:53059)}

\bibitem{O} {J. P. Otal}, \textit{Sur les longuers des g\'eod\'esiques d'une
m\'etrique \`a courbure n\'egative dans le disque}, {Comment. Math. Helv.}
\textbf{65} (1990), 334--347. \MR{1057248 (91i:53054)}

\bibitem{PS} {L. Pestov and V. Sharafutdinov}, \textit{Integral geometry of tensor
fields on a manifold of negative curvature} { Sibirsk. Mat. Zh.}
\textbf{29} (1988), no. 3, 114--130; English transl., {Siberian Math. J.}
\textbf{29} (1988), no. 3, 427--441. \MR{0953028 (89k:53066)}

\bibitem{PU} {L. Pestov and G. Uhlmann}, \textit{Two-dimensional simple compact
manifolds with boundary are boundary rigid}, to appear in Annals of Math. 

\bibitem{Sh} {V. Sharafutdinov}, \textit{Integral geometry of tensor fields},
VSP, Utrecht, 1994. \MR{1374572 (97h:53077)}

\bibitem{SSU} {V. Sharafutdinov, M. Skokan, and G. Uhlmann}, \textit{Regularity
of ghosts in tensor tomography}, preprint.

\bibitem{SU} {V.  Sharafutdinov and G. Uhlmann}, \textit{On deformation
boundary rigidity and spectral rigidity for Riemannian surfaces with no focal
points}, {Journal of Differential Geometry} \textbf{56} (2001), 93--110.
\MR{1863022 (2002i:53056)}

\bibitem{SU1} {P. Stefanov and G. Uhlmann},  \textit{Rigidity for metrics with
the same lengths of geodesics}, {Math. Res. Lett.} \textbf{8} (2001), no. 1-2,
105--124. \MR{1618347 (99e:53059)}

\bibitem{SU2} {P. Stefanov and G. Uhlmann},  \textit{Stability estimates for the
X-ray transform of tensor fields and boundary rigidity},  {Duke Math. J.}
\textbf{123} (2004), 445--467. \MR{2068966}

\bibitem{SU3} {P. Stefanov and G. Uhlmann},  \textit{Stable determination of
generic simple metrics from the hyperbolic Dirichlet-to-Neumann map},  {IMRN}
\textbf{17} (2005), 1047--1061. 

\bibitem{SU4} {P. Stefanov and G. Uhlmann}, \textit{Boundary rigidity and
stability for generic simple metrics},  preprint, arXiv:math.DG/0408075.

\bibitem{Ta} {D. Tataru}, \textit{Unique continuation for solutions to PDE's;
between H\"ormander's theorem and Holmgren's theorem}, {Comm. P.D.E.}
\textbf{20} (1995), 855--884. \MR{1326909 (96e:35019)}

\bibitem{T} {F. Tr\`eves}, \textit{Introduction to pseudodifferential and 
Fourier
integral operators, Vol. 1. Pseudodifferential operators}, The University
Series in Mathematics,  Plenum Press, New York--London, 1980. \MR{0597144
(82i:35173)}

\bibitem{W} {J. Wang}, \textit{Stability for the reconstruction of a Riemannian
metric by boundary measurements}, {Inverse Probl.} \textbf{15} (1999),
1177--1192. \MR{1715358 (2000m:53028)}

\bibitem {WZ} {E. Wiechert E and K. Zoeppritz},  \textit{ \"Uber 
Erdbebenwellen},
Nachr.  Koenigl. Geselschaft Wiss. G\"ottingen \textbf{4} (1907), 415--549.

\end{thebibliography}
\end{document}