Sensitivity analysis of an inverse problem for the wave equation with caustics

Bao, Gang¹ ; Zhang, Hai²

¹ Department of Mathematics, Zhejiang University, Hangzhou 310027, China and Department of Mathematics, Michigan State University, East Lansing, Michigan 48824
² Department of Mathematics, Michigan State University, East Lansing, Michigan 48824

Journal of the American Mathematical Society, Tome 27 (2014) no. 4, pp. 953-981

Résumé

The paper investigates the sensitivity of the inverse problem of recovering the velocity field in a bounded domain from the boundary dynamic Dirichlet-to-Neumann map (DDtN) for the wave equation. Three main results are obtained: (1) assuming that two velocity fields are non-trapping and are equal to a constant near the boundary, it is shown that the two induced scattering relations must be identical if their corresponding DDtN maps are sufficiently close; (2) a geodesic X-ray transform operator with matrix-valued weight is introduced by linearizing the operator which associates each velocity field with its induced Hamiltonian flow. A selected set of geodesics whose conormal bundle can cover the cotangent space at an interior point is used to recover the singularity of the X-ray transformed function at the point; a local stability estimate is established for this case. Although fold caustics are allowed along these geodesics, it is required that these caustics contribute to a smoother term in the transform than the point itself. The existence of such a set of geodesics is guaranteed under some natural assumptions in dimensions greater than or equal to three by the classification result on caustics and regularity theory of Fourier Integral Operators. The interior point with the above required set of geodesics is called “fold-regular”. (3) Assuming that a background velocity field with every interior point fold-regular is fixed and another velocity field is sufficiently close to it and satisfies a certain orthogonality condition, it is shown that if the two corresponding DDtN maps are sufficiently close then they must be equal.

Détail

DOI : 10.1090/S0894-0347-2014-00787-6

Bibliographie

[1] Alessandrini, Giovanni, Sylvester, John Stability for a multidimensional inverse spectral theorem Comm. Partial Differential Equations 1990 711 736

[2] Bougacha, Salma, Akian, Jean-Luc, Alexandre, Radjesvarane Gaussian beams summation for the wave equation in a convex domain Commun. Math. Sci. 2009 973 1008

[3] Arnol′D, V. I. Singularity theory 1981

[4] Arnol′D, V. I., Guseä­N-Zade, S. M., Varchenko, A. N. Singularities of differentiable maps. Vol. I 1985

[5] Bao, Gang, Qian, Jianliang, Ying, Lexing, Zhang, Hai A convergent multiscale Gaussian-beam parametrix for the wave equation Comm. Partial Differential Equations 2013 92 134

[6] Bao, Gang, Yun, Kihyun On the stability of an inverse problem for the wave equation Inverse Problems 2009

[7] Belishev, M. I. An approach to multidimensional inverse problems for the wave equation Dokl. Akad. Nauk SSSR 1987 524 527

[8] Belishev, M. I. Boundary control in reconstruction of manifolds and metrics (the BC method) Inverse Problems 1997

[9] Belishev, M. I. Recent progress in the boundary control method Inverse Problems 2007

[10] Belishev, Michael I., Kurylev, Yaroslav V. To the reconstruction of a Riemannian manifold via its spectral data (BC-method) Comm. Partial Differential Equations 1992 767 804

[11] Bellassoued, Mourad, Dos Santos Ferreira, David Stability estimates for the anisotropic wave equation from the Dirichlet-to-Neumann map Inverse Probl. Imaging 2011 745 773

[12] Greenleaf, Allan, Seeger, Andreas Fourier integral operators with cusp singularities Amer. J. Math. 1998 1077 1119

[13] Hã¶Rmander, Lars The analysis of linear partial differential operators. III 1985

[14] Isakov, Victor Inverse problems for partial differential equations 2006

[15] Katchalov, Alexander, Kurylev, Yaroslav, Lassas, Matti Inverse boundary spectral problems 2001

[16] Lasiecka, I., Lions, J.-L., Triggiani, R. Nonhomogeneous boundary value problems for second order hyperbolic operators J. Math. Pures Appl. (9) 1986 149 192

[17] Lee, John M. Riemannian manifolds 1997

[18] Michel, Ren㩠Sur la rigidité imposée par la longueur des géodésiques Invent. Math. 1981/82 71 83

[19] Montalto, C. Stable determination of a simple metric, a covector field and a potential from the hyperbolic Dirichlet-to-Nuemann map Comm. PDE., to appear

[20] Qian, Jianliang, Ying, Lexing Fast multiscale Gaussian wavepacket transforms and multiscale Gaussian beams for the wave equation Multiscale Model. Simul. 2010 1803 1837

[21] Pestov, Leonid, Uhlmann, Gunther The scattering relation and the Dirichlet-to-Neumann map 2006 249 262

[22] Ralston, James Gaussian beams and the propagation of singularities 1982 206 248

[23] Romanov, V. G. Inverse problems of mathematical physics 1987

[24] Sharafutdinov, V.A. Ray Transform on Riemannian Manifolds, Lecture notes, University of Oulu 1999

[25] Stefanov, Plamen, Uhlmann, Gunther Stability estimates for the hyperbolic Dirichlet to Neumann map in anisotropic media J. Funct. Anal. 1998 330 358

[26] Stefanov, Plamen, Uhlmann, Gunther Stability estimates for the X-ray transform of tensor fields and boundary rigidity Duke Math. J. 2004 445 467

[27] Stefanov, Plamen, Uhlmann, Gunther Boundary rigidity and stability for generic simple metrics J. Amer. Math. Soc. 2005 975 1003

[28] Stefanov, Plamen, Uhlmann, Gunther Stable determination of generic simple metrics from the hyperbolic Dirichlet-to-Neumann map Int. Math. Res. Not. 2005 1047 1061

[29] Frigyik, Bela, Stefanov, Plamen, Uhlmann, Gunther The X-ray transform for a generic family of curves and weights J. Geom. Anal. 2008 89 108

[30] Stefanov, Plamen, Uhlmann, Gunther Integral geometry on tensor fields on a class of non-simple Riemannian manifolds Amer. J. Math. 2008 239 268

[31] Stefanov, Plamen, Uhlmann, Gunther Linearizing non-linear inverse problems and an application to inverse backscattering J. Funct. Anal. 2009 2842 2866

[32] Stefanov, Plamen, Uhlmann, Gunther Local lens rigidity with incomplete data for a class of non-simple Riemannian manifolds J. Differential Geom. 2009 383 409

[33] Sun, Zi Qi On continuous dependence for an inverse initial-boundary value problem for the wave equation J. Math. Anal. Appl. 1990 188 204

[34] Uhlmann, Gunther The Cauchy data and the scattering relation 2004 263 287

[35] Stefanov, Plamen, Uhlmann, Gunther The geodesic X-ray transform with fold caustics Anal. PDE 2012 219 260

[36] Zhang, H. On the stability/sensitivity of recovering velocity fields from boundary measurements, (PhD dissertation), Michigan State University 2013