Abstract
We propose a new numerical method for the solution of the problem of the reconstruction of the initial condition of a quasilinear parabolic equation from the measurements of both Dirichlet and Neumann data on the boundary of a bounded domain. Although this problem is highly nonlinear, we do not require an initial guess of the true solution. The key in our method is the derivation of a boundary value problem for a system of coupled quasilinear elliptic equations whose solution is the vector function of the spatially dependent Fourier coefficients of the solution to the governing parabolic equation. We solve this problem by an iterative method. The global convergence of the system is rigorously established using a Carleman estimate. Numerical examples are presented.
Dedicated to the 70th anniversary of a distinguished expert in the field of inverse problems Professor Michael V. Klibanov
Funding statement: The work of the second author was supported by US Army Research Laboratory and US Army Research Office grant W911NF-19-1-0044.
Acknowledgements
The authors sincerely appreciate Michael V. Klibanov for many fruitful discussions.
References
[1] A. B. Bakushinskii, M. V. Klibanov and N. A. Koshev, Carleman weight functions for a globally convergent numerical method for ill-posed Cauchy problems for some quasilinear PDEs, Nonlinear Anal. Real World Appl. 34 (2017), 201–224. 10.1016/j.nonrwa.2016.08.008Search in Google Scholar
[2] L. Baudouin, M. de Buhan and S. Ervedoza, Convergent algorithm based on Carleman estimates for the recovery of a potential in the wave equation, SIAM J. Numer. Anal. 55 (2017), no. 4, 1578–1613. 10.1137/16M1088776Search in Google Scholar
[3] L. Baudouin, M. de Buhan, S. Ervedoza and A. Osses, Carleman-based reconstruction algorithm for the waves, preprint (2020), https://hal.archives-ouvertes.fr/hal-02458787. 10.1137/20M1315798Search in Google Scholar
[4] L. Beilina and Michael V. Klibanov, Approximate Global Convergence and Adaptivity for Coefficient Inverse Problems, Springer, New York, 2012. 10.1007/978-1-4419-7805-9Search in Google Scholar
[5] L. Borcea, V. Druskin, A. V. Mamonov and M. Zaslavsky, A model reduction approach to numerical inversion for a parabolic partial differential equation, Inverse Problems 30 (2014), no. 12, Article ID 125011. 10.1088/0266-5611/30/12/125011Search in Google Scholar
[6] M. Boulakia, M. de Buhan and E. Schwindt, Numerical reconstruction based on Carleman estimates of a source term in a reaction-diffusion equation, preprint (2019), https://hal.archives-ouvertes.fr/hal-02185889. 10.1051/cocv/2020086Search in Google Scholar
[7] A. L. Bukhgeĭm and M. V. Klibanov, Uniqueness in the large of a class of multidimensional inverse problems, Dokl. Akad. Nauk SSSR 260 (1981), no. 2, 269–272. Search in Google Scholar
[8] K. Cao and D. Lesnic, Determination of space-dependent coefficients from temperature measurements using the conjugate gradient method, Numer. Methods Partial Differential Equations 34 (2018), no. 4, 1370–1400. 10.1002/num.22262Search in Google Scholar
[9] K. Cao and D. Lesnic, Simultaneous reconstruction of the perfusion coefficient and initial temperature from time-average integral temperature measurements, Appl. Math. Model. 68 (2019), 523–539. 10.1016/j.apm.2018.11.027Search in Google Scholar
[10] A. El Badia and T. Ha-Duong, On an inverse source problem for the heat equation. Application to a pollution detection problem, J. Inverse Ill-Posed Probl. 10 (2002), no. 6, 585–599. 10.1515/jiip.2002.10.6.585Search in Google Scholar
[11] R. A. Fisher, The wave of advance of advantageous genes, Ann. Eugenics 7 (1937), 355–369. 10.1111/j.1469-1809.1937.tb02153.xSearch in Google Scholar
[12] M. Haltmeier and L. V. Nguyen, Analysis of iterative methods in photoacoustic tomography with variable sound speed, SIAM J. Imaging Sci. 10 (2017), no. 2, 751–781. 10.1137/16M1104822Search in Google Scholar
[13] V. Katsnelson and L. V. Nguyen, On the convergence of the time reversal method for thermoacoustic tomography in elastic media, Appl. Math. Lett. 77 (2018), 79–86. 10.1016/j.aml.2017.10.004Search in Google Scholar
[14] Y. L. Keung and J. Zou, Numerical identifications of parameters in parabolic systems, Inverse Problems 14 (1998), no. 1, 83–100. 10.1088/0266-5611/14/1/009Search in Google Scholar
[15] V. A. Khoa, M. V. Klibanov and L. H. Nguyen, Convexification for a 3D inverse scattering problem with the moving point source, preprint (2019), https://arxiv.org/abs/1911.10289. 10.1088/1361-6420/ab95aaSearch in Google Scholar
[16] M. V. Klibanov, Global convexity in a three-dimensional inverse acoustic problem, SIAM J. Math. Anal. 28 (1997), no. 6, 1371–1388. 10.1137/S0036141096297364Search in Google Scholar
[17] M. V. Klibanov, Global convexity in diffusion tomography, Nonlinear World 4 (1997), no. 3, 247–265. Search in Google Scholar
[18] M. V. Klibanov, Estimates of initial conditions of parabolic equations and inequalities via lateral Cauchy data, Inverse Problems 22 (2006), no. 2, 495–514. 10.1088/0266-5611/22/2/007Search in Google Scholar
[19] M. V. Klibanov, Carleman estimates for global uniqueness, stability and numerical methods for coefficient inverse problems, J. Inverse Ill-Posed Probl. 21 (2013), no. 4, 477–560. 10.1515/jip-2012-0072Search in Google Scholar
[20] M. V. Klibanov, Carleman weight functions for solving ill-posed Cauchy problems for quasilinear PDEs, Inverse Problems 31 (2015), no. 12, Article ID 125007. 10.1088/0266-5611/31/12/125007Search in Google Scholar
[21] M. V. Klibanov, Convexification of restricted Dirichlet-to-Neumann map, J. Inverse Ill-Posed Probl. 25 (2017), no. 5, 669–685. 10.1515/jiip-2017-0067Search in Google Scholar
[22] M. V. Klibanov and O. V. Ioussoupova, Uniform strict convexity of a cost functional for three-dimensional inverse scattering problem, SIAM J. Math. Anal. 26 (1995), no. 1, 147–179. 10.1137/S0036141093244039Search in Google Scholar
[23] M. V. Klibanov and A. E. Kolesov, Convexification of a 3-D coefficient inverse scattering problem, Comput. Math. Appl. 77 (2019), no. 6, 1681–1702. 10.1016/j.camwa.2018.03.016Search in Google Scholar
[24] M. V. Klibanov, J. Li and W. Zhang, Convexification for the inversion of a time dependent wave front in a heterogeneous medium, SIAM J. Appl. Math. 79 (2019), no. 5, 1722–1747. 10.1137/18M1236034Search in Google Scholar
[25] M. V. Klibanov and L. H. Nguyen, PDE-based numerical method for a limited angle X-ray tomography, Inverse Problems 35 (2019), no. 4, Article ID 045009. 10.1088/1361-6420/ab0133Search in Google Scholar
[26] O. A. Ladyženskaja, V. A. Solonnikov and N. N. Ural’ceva, Linear and Quasilinear Equations of Parabolic Type, Transl. Math. Monogr. 23, American Mathematical Society, Providence, 1968. 10.1090/mmono/023Search in Google Scholar
[27] M. M. Lavrent’ev, V. G. Romanov and S. P. Shishatskiĭ, Ill-Posed Problems of Mathematical Physics and Analysis, Transl. Math. Monogr., American Mathematical Society, Providence, 1986. 10.1090/mmono/064Search in Google Scholar
[28] J. Li, H. Liu and H. Sun, On a gesture-computing technique using electromagnetic waves, Inverse Probl. Imaging 12 (2018), no. 3, 677–696. 10.3934/ipi.2018029Search in Google Scholar
[29] J. Li, M. Yamamoto and J. Zou, Conditional stability and numerical reconstruction of initial temperature, Commun. Pure Appl. Anal. 8 (2009), no. 1, 361–382. 10.3934/cpaa.2009.8.361Search in Google Scholar
[30] Q. Li and L. H. Nguyen, Recovering the initial condition of parabolic equations from lateral Cauchy data via the quasi-reversibility method, Inverse Probl. Sci. Eng. 28 (2020), no. 4, 580–598. 10.1080/17415977.2019.1643850Search in Google Scholar
[31] H. Liu and G. Uhlmann, Determining both sound speed and internal source in thermo- and photo-acoustic tomography, Inverse Problems 31 (2015), no. 10, Article ID 105005. 10.1088/0266-5611/31/10/105005Search in Google Scholar
[32] H.-M. Nguyen and L. H. Nguyen, Cloaking using complementary media for the Helmholtz equation and a three spheres inequality for second order elliptic equations, Trans. Amer. Math. Soc. Ser. B 2 (2015), 93–112. 10.1090/btran/7Search in Google Scholar
[33] L. H. Nguyen, A new algorithm to determine the creation or depletion term of parabolic equations from boundary measurements, preprint (2019), https://arxiv.org/abs/1906.01931. 10.1016/j.camwa.2020.09.010Search in Google Scholar
[34] L. H. Nguyen, Q. Li and M. V. Klibanov, A convergent numerical method for a multi-frequency inverse source problem in inhomogenous media, Inverse Probl. Imaging 13 (2019), no. 5, 1067–1094. 10.3934/ipi.2019048Search in Google Scholar
[35] P. M. Nguyen and L. H. Nguyen, A numerical method for an inverse source problem for parabolic equations and its application to a coefficient inverse problem, J. Inverse Ill-Posed Probl. (2019), 10.1515/jiip-2019-0026. 10.1515/jiip-2019-0026Search in Google Scholar
[36] M. H. Protter, Unique continuation for elliptic equations, Trans. Amer. Math. Soc. 95 (1960), 81–91. 10.1090/S0002-9947-1960-0113030-3Search in Google Scholar
[37] A. V. Smirnov, M. V. Klibanov and L. H. Nguyen, On an inverse source problem for the full radiative transfer equation with incomplete data, SIAM J. Sci. Comput. 41 (2019), no. 5, B929–B952. 10.1137/19M1253605Search in Google Scholar
[38] X. Wang, Y. Guo, J. Li and H. Liu, Mathematical design of a novel input/instruction device using a moving acoustic emitter, Inverse Problems 33 (2017), no. 10, Article ID 105009. 10.1088/1361-6420/aa873fSearch in Google Scholar
[39] X. Wang, Y. Guo, D. Zhang and H. Liu, Fourier method for recovering acoustic sources from multi-frequency far-field data, Inverse Problems 33 (2017), no. 3, Article ID 035001. 10.1088/1361-6420/aa573cSearch in Google Scholar
[40] L. Yang, J.-N. Yu and Z.-C. Deng, An inverse problem of identifying the coefficient of parabolic equation, Appl. Math. Model. 32 (2008), no. 10, 1984–1995. 10.1016/j.apm.2007.06.025Search in Google Scholar
[41] D. Zhang, Y. Guo, J. Li and H. Liu, Retrieval of acoustic sources from multi-frequency phaseless data, Inverse Problems 34 (2018), no. 9, Article ID 094001. 10.1088/1361-6420/aaccdaSearch in Google Scholar
© 2020 Walter de Gruyter GmbH, Berlin/Boston
