Abstract
In this paper, we consider the problem of reconstructing a space-dependent coefficient in a linear Benjamin–Bona–Mahony (BBM)-type equation from a single measurement of its solution at a given time. We analyze the well-posedness of the forward initial-boundary value problem and characterize the inverse problem as a constrained optimization one. Our objective consists on reconstructing the variable coefficient in the BBM equation by minimizing an appropriate regularized Tikhonov-type functional constrained by the BBM equation. The well-posedness of the forward problem is studied and approximated numerically by combining a finite-element strategy for spatial discretization using the Python-FEniCS package, together with a second-order implicit scheme for time stepping. The minimization process of the Tikhonov-regularization adopted is performed by using an iterative L-BFGS-B quasi-Newton algorithm as described for instance by Byrd et al. (1995) and Zhu et al. (1997). Numerical simulations are presented to demonstrate the robustness of the proposed method with noisy data. The local stability and uniqueness of the solution to the constrained optimization problem for a fixed value of the regularization parameter are also proved and illustrated numerically.
Funding source: Universidad del Valle
Award Identifier / Grant number: 1106-712-50006
Award Identifier / Grant number: C. I. 71235
Funding statement: This work was supported by Colciencias and Universidad del Valle, Cali-Colombia under research projects 1106-712-50006 and C. I. 71235.
References
[1] M. S. Alnæs, UFL: A finite element form language, Automated Solution of Differential Equations by the Finite Element Method, Springer, Berlin (2012), 303–338. 10.1007/978-3-642-23099-8_17Search in Google Scholar
[2] M. S. Alnæs, J. Blechta, J. Hake, A. Johansson, B. Kehlet, A. Logg, C. Richardson, J. Ring, M. E. Rognes and G. N. Wells, (2015): The FEniCS Project Version 1.5, Archive of Numerical Software, vol. 3. Search in Google Scholar
[3] M. S. Alnæs, A. Logg, K. B. Ølgaard, M. E. Rognes and G. N. Wells, Unified form language: a domain-specific language for weak formulations and partial differential equations, ACM Trans. Math. Software 40 (2014), no. 2, Article ID 9. 10.1145/2566630Search in Google Scholar
[4] L. Baudouin, E. Cerpa, E. Crépeau and A. Mercado, On the determination of the principal coefficient from boundary measurements in a KdV equation, J. Inverse Ill-Posed Probl. 22 (2014), no. 6, 819–845. 10.1515/jip-2013-0015Search in Google Scholar
[5] L. Baudouin and A. Mercado, An inverse problem for Schrödinger equations with discontinuous main coefficient, Appl. Anal. 87 (2008), no. 10–11, 1145–1165. 10.1080/00036810802140673Search in Google Scholar
[6] I. Ben Aïcha, Stability estimate for an inverse problem for the Schrödinger equation in a magnetic field with time-dependent coefficient, J. Math. Phys. 58 (2017), no. 7, Article ID 071508. 10.1063/1.4995606Search in Google Scholar
[7] T. B. Benjamin, J. L. Bona and J. J. Mahony, Model equations for long waves in nonlinear dispersive systems, Philos. Trans. Roy. Soc. Lond. Ser. A 272 (1972), no. 1220, 47–78. 10.1098/rsta.1972.0032Search in Google Scholar
[8] C. Burstedde and O. Ghattas, Algorithmic strategies for full waveform inversion: 1D experiments, Geophys. 74 (2009), no. 6, WCC37–WCC46. 10.1190/1.2792864Search in Google Scholar
[9] R. H. Byrd, P. Lu, J. Nocedal and C. Y. Zhu, A limited memory algorithm for bound constrained optimization, SIAM J. Sci. Comput. 16 (1995), no. 5, 1190–1208. 10.2172/204262Search in Google Scholar
[10] R. Chapko and R. Kress, Rothe’s method for the heat equation and boundary integral equations, J. Integral Equations Appl. 9 (1997), no. 1, 47–69. 10.1216/jiea/1181075987Search in Google Scholar
[11] P. E. Farrell, D. A. Ham, S. W. Funke and M. E. Rognes, Automated derivation of the adjoint of high-level transient finite element programs, SIAM J. Sci. Comput. 35 (2013), no. 4, C369–C393. 10.1137/120873558Search in Google Scholar
[12] S. W. Funke and P. E. Farrell, A framework for automated PDE-constrained optimization, preprint (2013), https://arxiv.org/abs/1302.3894. Search in Google Scholar
[13] R. Grimshaw, Internal solitary waves, Advances in Fluid Mechanics V, Adv. Fluid Mech. 40, WIT Press, Southampton (2004), 209–218. Search in Google Scholar
[14] R. Grimshaw, Internal solitary waves in a variable medium, GAMM-Mitt. 30 (2007), no. 1, 96–109. 10.1002/gamm.200790014Search in Google Scholar
[15] R. Grimshaw, Solitary waves propagating over variable topography, Tsunami and Nonlinear Waves, Springer, Berlin (2007), 51–64. 10.1007/978-3-540-71256-5_3Search in Google Scholar
[16] J. M.-K. Hong, J. Wu and J.-M. Yuan, A new solution representation for the BBM equation in a quarter plane and the eventual periodicity, Nonlinearity 22 (2009), no. 8, 1927–1944. 10.1088/0951-7715/22/8/009Search in Google Scholar
[17] S. Israwi, Variable depth KdV equations and generalizations to more nonlinear regimes, M2AN Math. Model. Numer. Anal. 44 (2010), no. 2, 347–370. 10.1051/m2an/2010005Search in Google Scholar
[18] J. Kačur, Method of Rothe in evolution equations, Equadiff 6 (Brno 1985), Lecture Notes in Math. 1192, Springer, Berlin (1986), 23–34. 10.1007/BFb0076049Search in Google Scholar
[19] R. C. Kirby and A. Logg, A compiler for variational forms, ACM Trans. Math. Software 32 (2006), no. 3, 417–444. 10.1145/1163641.1163644Search in Google Scholar
[20] A. Logg, Automating the finite element method, Arch. Comput. Methods Eng. 14 (2007), no. 2, 93–138. 10.1007/s11831-007-9003-9Search in Google Scholar
[21] A. Logg, K. A. Mardal and G. N. Wells, Automated Solution of Differential Equations by the Finite Element Method, Springer, Berlin, 2012. 10.1007/978-3-642-23099-8Search in Google Scholar
[22] A. Logg and G. N. Wells, DOLFIN: Automated finite element computing, ACM Trans. Math. Software 37 (2010), no. 2, Paper No. 20. 10.1145/1731022.1731030Search in Google Scholar
[23] A. Logg, G. N. Wells and J. Hake, DOLFIN: A C++/Python finite element library, Automated Solution of Differential Equations by the Finite Element Method, Springer, Berlin (2011), 1273–225. 10.1007/978-3-642-23099-8_10Search in Google Scholar
[24] J. Nocedal and S. J. Wright, Numerical Optimization, 2nd ed., Springer, New York, 2006. Search in Google Scholar
[25] E. Rothe, Zweidimensionale parabolische Randwertaufgaben als Grenzfall eindimensionaler Randwertaufgaben, Math. Ann. 102 (1930), no. 1, 650–670. 10.1007/BF01782368Search in Google Scholar
[26] L. I. Rudin, S. Osher and E. Fatemi, Nonlinear total variation based noise removal algorithms, Phys. D 60 (1992), 259–268. 10.1016/0167-2789(92)90242-FSearch in Google Scholar
[27] K. Sakthivel, S. Gnanavel, A. Hasanov and R. K. George, Identification of an unknown coefficient in KdV equation from final time measurement, J. Inverse Ill-Posed Probl. 24 (2016), no. 4, 469–487. 10.1515/jiip-2016-0011Search in Google Scholar
[28] K. Sakthivel and A. Hasanov, An inverse problem for the KdV equation with Neumann boundary measured data, J. Inverse Ill-Posed Probl. 26 (2018), no. 1, 133–151. 10.1515/jiip-2017-0038Search in Google Scholar
[29] R. E. Showalter, Monotone Operators in Banach Space and Nonlinear Partial Differential Equations, Math. Surveys Monogr. 49, American Mathematical Society, Providence, 1997. Search in Google Scholar
[30] D. Strong and T. Chan, Edge-preserving and scale-dependent properties of total variation regularization, Inverse Problems 19 (2003),S165–S187. 10.1088/0266-5611/19/6/059Search in Google Scholar
[31] A. N. Tikhonov, On the solution of incorrectly put problems and the regularisation method, Outlines of the Joint Soviet-American Symposium on Partial Differential Equations (Novosibirsk 1963), Acad. Sci. USSR Siberian Branch, Moscow (1963), 261–265. Search in Google Scholar
[32] A. N. Tikhonov and V. Y. Arsenin, Solutions of Ill-Posed Problems, V. H. Winston & Sons, Washington, 1977. Search in Google Scholar
[33] V. Vasan and B. Deconinck, Well-posedness of boundary-value problems for the linear Benjamin–Bona–Mahony equation, Discrete Contin. Dyn. Syst. 33 (2013), no. 7, 3171–3188. 10.3934/dcds.2013.33.3171Search in Google Scholar
[34] X. Zhang and E. Zuazua, Unique continuation for the linearized Benjamin–Bona–Mahony equation with space-dependent potential, Math. Ann. 325 (2003), no. 3, 543–582. 10.1007/s00208-002-0391-8Search in Google Scholar
[35] C. Zhu, R. H. Byrd, P. Lu and J. Nocedal, Algorithm 778: L-BFGS-B: Fortran subroutines for large-scale bound-constrained optimization, ACM Trans. Math. Software 23 (1997), no. 4, 550–560. 10.1145/279232.279236Search in Google Scholar
[36] https://docs.scipy.org/doc/scipy-1.0.0/reference/generated/scipy.optimize.minimize.html. Search in Google Scholar
© 2021 Walter de Gruyter GmbH, Berlin/Boston
