References
- Ang DD, Dinh APN. Strong solutions of a quasilinear wave equation with nonlinear damping. SIAM J Math Anal. 1988;19:337–347. doi: https://doi.org/10.1137/0519024
- Andrews G. On the existence of solutions to the equations utt=uxxt+σ(ux)x. J Differ Equ. 1980;35:200–231. doi: https://doi.org/10.1016/0022-0396(80)90040-6
- Greenberg JM, MacCamy RC, Mizel VJ. On the existence, uniqueness and stability of solutions of the equation σ′(x)uxx+uxxt=ρ0utt. J Math Mech. 1968;17:707–728.
- Yang Z, Chen G. Global existence of solutions for quasi-linear wave equations with viscous damping. J Math Anal Appl. 2003;285:604–618. doi: https://doi.org/10.1016/S0022-247X(03)00448-7
- Wu B. Carleman estimate for a strongly damped wave equation and applications to an inverse problem. Math Meth Appl Sci. 2012;35:427–437. doi: https://doi.org/10.1002/mma.1570
- Bukhgeĭm AL, Klibanov MV. Uniqueness in the large class of multidimensional inverse problems. Soviet Math Doklady. 1981;24:244–247.
- Cheng J, Choulli M, Lin J. Stable determination of a boundary coefficient in an elliptic equation. Math Models Methods Appl Sci. 2008;18:107–123. doi: https://doi.org/10.1142/S0218202508002620
- Imanuvilov OY, Puel JP. Global Carleman estimates for weak solutions of elliptic nonhomogeneous Dirichlet problems. C R Acad Sci Paris Ser I. 2002;335:33–38. doi: https://doi.org/10.1016/S1631-073X(02)02389-0
- Baudouin L. Lipschitz stability in an inverse problem for the wave equation. Mathematics. 2010;92:2084–2102.
- Bellassoued M. Uniqueness and stability in determining the speed of propagation of second-order hyperbolic equation with variable coefficients. Appl Anal. 2004;83:983–1014. doi: https://doi.org/10.1080/0003681042000221678
- Isakov V, Wang JN, Yamamoto M. An inverse problem for a dynamical Lamé system with residual stress. SIAM J Math Anal. 2007;39:1328–1343. doi: https://doi.org/10.1137/060669115
- Puel JP, Yamamoto M. On a global estimate in a linear inverse hyperbolic problem. Inverse Probl. 1996;12:995–1002. doi: https://doi.org/10.1088/0266-5611/12/6/013
- Yamamoto M, Zhang X. Global uniqueness and stability for a class of multidimensional inverse hyperbolic problems with two unknowns. App Math Optim. 2003;48:211–228. doi: https://doi.org/10.1007/s00245-003-0775-5
- Imanuvilov OY, Yamamoto M. An inverse problem and an observability inequality for the Lamé system with stress boundary condition. Appl Anal. 2009;88:711–733. doi: https://doi.org/10.1080/00036810802556779
- Benabdallah A, Gaitan P, Le Rousseau J. Stability of discontinuous diffusion coefficients and initial conditions in an inverse problem for the heat equation. SIAM J Control Optim. 2007;46:1849–1881. doi: https://doi.org/10.1137/050640047
- Isakov V. Inverse problems for partial differential equations. Berlin: Springer Verlag; 1998.
- Yuan G, Yamamoto M. Lipschitz stability in the determination of the principal part of a parabolic equation. ESAIM: COCV. 2009;15:525–554.
- Infante JA, Zuazua E. Boundary observability for the space semi-discretizations of the 1-D wave equation. Math Model Numer Anal. 1999;33:407–438. doi: https://doi.org/10.1051/m2an:1999123
- Baudouin L, Ervedoza S. Convergence of an inverse problem for a 1-D discrete wave equation. SIAM J Control Optim. 2013;51:556–598. doi: https://doi.org/10.1137/110838042
- Baudouin L, Ervedoza S, Osses A. Stability of an inverse problem for the discrete wave equation and convergence results. J Math Pures Appl. 2015;103:1475–1522. doi: https://doi.org/10.1016/j.matpur.2014.11.006
- Boyer F, Hubert F, Rousseau JL. Discrete Carleman estimates for elliptic operators in arbitrary dimension and applications. SIAM J Control Optim. 2010;48:5357–5397. doi: https://doi.org/10.1137/100784278
- Boyer F, Hubert F, Rousseau JL. Discrete Carleman estimates for elliptic operators and uniform controllability of semi-discretized parabolic equations. J Math Pures Appl. 2010;93:240–276. doi: https://doi.org/10.1016/j.matpur.2009.11.003
- Boyer F, Hubert F, Rousseau JL. Uniform controllability properties for space/time-discretezed parabolic equations. Numer Math. 2011;118:601–661. doi: https://doi.org/10.1007/s00211-011-0368-1
- Ervedoza S, de Gournay F. Uniform stability estimates for the discrete Calderon problems. Inverse Probl. 2011;27:125012. doi: https://doi.org/10.1088/0266-5611/27/12/125012
- Lions JL. Controˇlablité exacte, perturbations et stabilisation de systèmes distribués. tome 1. Contrôlabilité exacte. Paris: Masson; 1988. (Rech Math Appl, 8).
- Zuazua E. Propagation, observation, and control of waves approximated by finite difference methods. SIAM Rev. 2005;47:197–243. doi: https://doi.org/10.1137/S0036144503432862
- Trefethen LN. Group velocity in finite difference schemes. SIAM Rev. 1982;24:113–136. doi: https://doi.org/10.1137/1024038
- Lax PD, Richtmyer RD. Survey of the stability of linear finite difference equations. Comm Pure Appl Math. 1956;9:267–293. doi: https://doi.org/10.1002/cpa.3160090206
- Grisvard P. Elliptic problems in nonsmooth domains, monographs and studies in mathematics. Boston: Pitman; 1985. ( Advanced Publishing Program).
- Métivier L, Brossier R, Operto S, et al. Full waveform inversion and the truncated Newton method. SIAM Review. 2017;59:153–195. doi: https://doi.org/10.1137/16M1093239
- Zhang W. Elastic full waveform inversion on unstructured meshes by the finite element method. Phys Scr. 2019;94:115002. ( 16pp).