{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T00:38:48Z","timestamp":1760488728663,"version":"build-2065373602"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T00:00:00Z","timestamp":1756512000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T00:00:00Z","timestamp":1756512000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Numer. Math."],"published-print":{"date-parts":[[2025,10]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>We consider an inverse problem for the linear one-dimensional wave equation with variable coefficients consisting in determining an unknown source term from a boundary observation. A method to obtain approximations of this inverse problem using a space discretization based on a mixed finite element method is proposed and analyzed. Its stability and convergence properties relay on a new uniform boundary observability inequality with respect to the discretization parameter. This fundamental uniformity property of the observation is not verified in the case of more usual discretization schemes, such as centered finite differences or classical finite elements. For the mixed finite elements it is proved by combining lateral energy estimates with Fourier techniques.<\/jats:p>","DOI":"10.1007\/s00211-025-01489-0","type":"journal-article","created":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T07:07:55Z","timestamp":1756537675000},"page":"1847-1895","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A mixed finite elements approximation of inverse source problems for the wave equation with variable coefficients using observability"],"prefix":"10.1007","volume":"157","author":[{"given":"Carlos","family":"Castro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sorin","family":"Micu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,30]]},"reference":[{"key":"1489_CR1","doi-asserted-by":"publisher","first-page":"1632","DOI":"10.1137\/080725635","volume":"48","author":"C Alves","year":"2009","unstructured":"Alves, C., Silvestre, A.-L., Takahashi, T., Tucsnak, M.: Solving inverse source problems using observability. Applications to the Euler-Bernoulli plate equation. SIAM J. Control. Optim. 48, 1632\u20131659 (2009)","journal-title":"SIAM J. Control. Optim."},{"key":"1489_CR2","doi-asserted-by":"publisher","first-page":"207","DOI":"10.4208\/csiam-am.2020-0001","volume":"1","author":"K Ammari","year":"2020","unstructured":"Ammari, K., Choulli, M., Triki, F.: A unified approach to solving some inverse problems for evolution equations by using observability inequalities. CSIAM Trans. Appl. Math. 1, 207\u2013239 (2020)","journal-title":"CSIAM Trans. Appl. Math."},{"key":"1489_CR3","doi-asserted-by":"crossref","unstructured":"Banks, H. T., Ito, K., Wang, C.: Exponentially stable approximations of weakly damped wave equations. Estimation and control of distributed parameter systems (Vorau, 1990), 1\u201333, Internat. Ser. Numer. Math., 100, Birkh\u00e4user, Basel, (1991)","DOI":"10.1007\/978-3-0348-6418-3_1"},{"issue":"1","key":"1489_CR4","doi-asserted-by":"publisher","first-page":"556","DOI":"10.1137\/110838042","volume":"51","author":"L Baudouin","year":"2013","unstructured":"Baudouin, L., Ervedoza, S.: Convergence of an Inverse Problem for a 1-D Discrete Wave Equation. SIAM J. Control. Optim. 51(1), 556\u2013598 (2013)","journal-title":"SIAM J. Control. Optim."},{"issue":"4","key":"1489_CR5","doi-asserted-by":"publisher","first-page":"1578","DOI":"10.1137\/16M1088776","volume":"55","author":"L Baudouin","year":"2017","unstructured":"Baudouin, L., de Buhan, M., Ervedoza, S.: Convergent algorithm based on Carleman estimates for the recovery of a potential in the wave equation. SIAM J. Numer. Anal. 55(4), 1578\u20131613 (2017)","journal-title":"SIAM J. Numer. Anal."},{"issue":"6","key":"1489_CR6","doi-asserted-by":"publisher","first-page":"1475","DOI":"10.1016\/j.matpur.2014.11.006","volume":"103","author":"L Baudouin","year":"2015","unstructured":"Baudouin, L., Ervedoza, S., Osses, A.: Stability of an inverse problem for the discrete wave equation and convergence results. Journal de Math\u00e9matiques Pures et Appliqu\u00e9es 103(6), 1475\u20131522 (2015)","journal-title":"Journal de Math\u00e9matiques Pures et Appliqu\u00e9es"},{"key":"1489_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3172-1","volume-title":"Mixed and finite elements method","author":"F Brezzi","year":"1991","unstructured":"Brezzi, F., Fortin, M.: Mixed and finite elements method. Springer-Verlag, New York (1991)"},{"key":"1489_CR8","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/s00211-005-0651-0","volume":"102","author":"C Castro","year":"2006","unstructured":"Castro, C., Micu, S.: Boundary controllability of a linear semi-discrete 1-D wave equation derived from a mixed finite element method. Numer. Math. 102, 413\u2013462 (2006)","journal-title":"Numer. Math."},{"key":"1489_CR9","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1093\/imanum\/drm012","volume":"28","author":"C Castro","year":"2008","unstructured":"Castro, C., Micu, S., M\u00fcnch, A.: Numerical approximation of the boundary control for the wave equation with mixed finite elements in a square. IMA J. of Num. Anal. 28, 186\u2013214 (2008)","journal-title":"IMA J. of Num. Anal."},{"issue":"11","key":"1489_CR10","doi-asserted-by":"publisher","DOI":"10.1088\/0266-5611\/32\/11\/115020","volume":"32","author":"N C\u00eendea","year":"2016","unstructured":"C\u00eendea, N., M\u00fcnch, A.: Simultaneous reconstruction of the solution and the source of hyperbolic equations from boundary measurements: a robust numerical approach. Inverse Problems 32(11), 115020 (2016)","journal-title":"Inverse Problems"},{"issue":"7","key":"1489_CR11","doi-asserted-by":"publisher","DOI":"10.1088\/0266-5611\/31\/7\/075001","volume":"31","author":"N C\u00eendea","year":"2015","unstructured":"C\u00eendea, N., M\u00fcnch, A.: Inverse problem for linear hyperbolic equations using mixed formulations. Inverse Prob. 31(7), 075001 (2015)","journal-title":"Inverse Prob."},{"issue":"3","key":"1489_CR12","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s10092-014-0116-x","volume":"52","author":"N C\u00eendea","year":"2015","unstructured":"C\u00eendea, N., M\u00fcnch, A.: A mixed formulation for the direct approximation of the control of minimal L2-norm for linear type wave equations. Calcolo 52(3), 245\u2013288 (2015)","journal-title":"Calcolo"},{"key":"1489_CR13","volume-title":"Mathematical Analysis and Numerical Methods for Science and Technology. Evolution Problems I","author":"R Dautray","year":"1999","unstructured":"Dautray, R., Lions, J.-L.: Mathematical Analysis and Numerical Methods for Science and Technology. Evolution Problems I, vol. 5. Springer Science & Business Media (1999)"},{"key":"1489_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-5808-1","volume-title":"Numerical Approximation of Exact Controls for Waves","author":"S Ervedoza","year":"2013","unstructured":"Ervedoza, S., Zuazua, E.: Numerical Approximation of Exact Controls for Waves. Springer (2013)"},{"key":"1489_CR15","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1093\/imanum\/drv026","volume":"36","author":"S Ervedoza","year":"2016","unstructured":"Ervedoza, S., Marica, A., Zuazua, E.: Numerical meshes ensuring uniform observability of one-dimensional waves: construction and analysis. IMA J. Numer. Anal. 36, 503\u2013542 (2016)","journal-title":"IMA J. Numer. Anal."},{"key":"1489_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF03167891","volume":"7","author":"R Glowinski","year":"1990","unstructured":"Glowinski, R., Li, C.H., Lions, J.-L.: A numerical approach to the exact boundary controllability of the wave equation (I). Dirichlet controls: Description of the numerical methods. Japan. J. Appl. Math. 7, 1\u201376 (1990)","journal-title":"Japan. J. Appl. Math."},{"key":"1489_CR17","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1017\/S0962492900002543","volume":"4","author":"R Glowinski","year":"1996","unstructured":"Glowinski, R., Lions, J.-L.: Exact and approximate controllability for distributed parameter systems. Acta Numer 4, 159\u2013333 (1996)","journal-title":"Acta Numer"},{"key":"1489_CR18","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s00211-011-0408-x","volume":"120","author":"G Haine","year":"2012","unstructured":"Haine, G., Ramdani, K.: Reconstructing initial data using observers: error analysis of the semi-discrete and fully discrete approximations. Numer. Math. 120, 307\u2013343 (2012)","journal-title":"Numer. Math."},{"key":"1489_CR19","doi-asserted-by":"publisher","first-page":"351","DOI":"10.4171\/jems\/153","volume":"11","author":"L Ignat","year":"2009","unstructured":"Ignat, L., Zuazua, E.: Convergence of a two-grid algorithm for the control of the wave equation. J. Eur. Math. Soc. 11, 351\u2013391 (2009)","journal-title":"J. Eur. Math. Soc."},{"key":"1489_CR20","doi-asserted-by":"publisher","first-page":"1409","DOI":"10.1081\/PDE-100106139","volume":"26","author":"OY Imanuvilov","year":"2001","unstructured":"Imanuvilov, O.Y., Yamamoto, M.: Global uniqueness and stability in determining coefficients of wave equations. Communications in Partial Differential Equations 26, 1409\u20131425 (2001)","journal-title":"Communications in Partial Differential Equations"},{"key":"1489_CR21","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1051\/m2an:1999123","volume":"33","author":"JA Infante","year":"1999","unstructured":"Infante, J.A., Zuazua, E.: Boundary observability for the space semi-discretization of the 1-D wave equation. M2AN 33, 407\u2013438 (1999)","journal-title":"M2AN"},{"key":"1489_CR22","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/BF01180426","volume":"41","author":"AE Ingham","year":"1936","unstructured":"Ingham, A.E.: Some trigonometrical inequalities with applications to the theory of series. Math. Z. 41, 367\u2013369 (1936)","journal-title":"Math. Z."},{"issue":"6","key":"1489_CR23","doi-asserted-by":"publisher","first-page":"2051","DOI":"10.1088\/0266-5611\/21\/6\/016","volume":"21","author":"V Komornik","year":"2005","unstructured":"Komornik, V., Yamamoto, M.: Estimation of point sources and applications to inverse problems. Inverse Problems 21(6), 2051\u20132070 (2005)","journal-title":"Inverse Problems"},{"key":"1489_CR24","doi-asserted-by":"crossref","unstructured":"Kress, R.: Linear Integral Equations, Appl. Math. Sci. 82, Springer-Verlag, Berlin, (1989)","DOI":"10.1007\/978-3-642-97146-4_7"},{"key":"1489_CR25","unstructured":"Lions, J.-L.:Contr\u00f4labilit\u00e9 exacte, perturbations et stabilisation de syst\u00e8mes distribu\u00e9s. Tome 1, vol.\u00a08 of Recherches en Math\u00e9matiques Appliqu\u00e9es [Research in Applied Mathematics], Masson, Paris, (1988)"},{"key":"1489_CR26","volume-title":"Probl\u00e8mes aux limites non homog\u00e8nes et applications","author":"J-L Lions","year":"1968","unstructured":"Lions, J.-L., Magenes, E.: Probl\u00e8mes aux limites non homog\u00e8nes et applications, vol. 1. Dunod, Paris (1968)"},{"key":"1489_CR27","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1090\/mcom\/3345","volume":"88","author":"P Lissy","year":"2019","unstructured":"Lissy, P., Roventa, I.: Optimal filtration for the approximation of boundary controls for the one-dimensional wave equation using a finite-diference method. Math. Comp. 88, 273\u2013291 (2019)","journal-title":"Math. Comp."},{"key":"1489_CR28","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1007\/s00211-020-01106-2","volume":"144","author":"S Micu","year":"2020","unstructured":"Micu, S., Roven\u0163a, I., Temereanc\u0103, L.E.: Approximation of the controls for the wave equation with a potential. Numer. Math. 144, 835\u2013887 (2020)","journal-title":"Numer. Math."},{"key":"1489_CR29","doi-asserted-by":"publisher","first-page":"652","DOI":"10.1137\/20M1380661","volume":"60","author":"A M\u00fcnch","year":"2022","unstructured":"M\u00fcnch, A., Tr\u00e9lat, E.: Constructive Exact Control of Semilinear 1D Wave Equations by a Least-Squares Approach. SIAM Journal on Control and Optimization 60, 652\u2013673 (2022)","journal-title":"SIAM Journal on Control and Optimization"},{"issue":"6","key":"1489_CR30","doi-asserted-by":"publisher","first-page":"995","DOI":"10.1088\/0266-5611\/12\/6\/013","volume":"12","author":"J-P Puel","year":"1996","unstructured":"Puel, J.-P., Yamamoto, M.: On a global estimate in a linear inverse hyperbolic problem. Inverse Problems 12(6), 995\u20131002 (1996)","journal-title":"Inverse Problems"},{"key":"1489_CR31","doi-asserted-by":"publisher","first-page":"1616","DOI":"10.1016\/j.automatica.2010.06.032","volume":"46","author":"K Ramdani","year":"2010","unstructured":"Ramdani, K., Tucsnak, M., Weiss, G.: Recovering the initial state of an infinite-dimensional system using observers. Automatica 46, 1616\u20131625 (2010)","journal-title":"Automatica"},{"key":"1489_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jde.2024.01.015","volume":"389","author":"I Roven\u0163a","year":"2024","unstructured":"Roven\u0163a, I., Temereanc\u0103, L.E., Tudor, M.: An application of moment method to uniform boundary controllability property of a semidiscrete 1-d wave equation with a lower rate vanishing viscosity. Journal of Differential Equations 389, 1\u201337 (2024)","journal-title":"Journal of Differential Equations"},{"key":"1489_CR33","unstructured":"Tr\u00e9lat, E., Zuazua, E. (editors): Numerical Control: Parts A, B, Volumes 23, 24 Handbook of Numerical Analysis series Elsevier, 2023"},{"issue":"1","key":"1489_CR34","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/s0294-1449(16)30221-9","volume":"10","author":"E Zuazua","year":"1993","unstructured":"Zuazua, E.: Exact controllability for semilinear wave equations in one space dimension. Annales de l\u2019Institut Henri Poincar\u00e9 C, Analyse non lin\u00e9aire 10(1), 109\u2013129 (1993)","journal-title":"Annales de l\u2019Institut Henri Poincar\u00e9 C, Analyse non lin\u00e9aire"},{"key":"1489_CR35","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1137\/S0036144503432862","volume":"47","author":"E Zuazua","year":"2005","unstructured":"Zuazua, E.: Propagation, observation, and control of waves approximated by finite difference methods. SIAM Rev. 47, 197\u2013243 (2005)","journal-title":"SIAM Rev."}],"container-title":["Numerische Mathematik"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-025-01489-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00211-025-01489-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-025-01489-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T17:04:55Z","timestamp":1760461495000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00211-025-01489-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,30]]},"references-count":35,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2025,10]]}},"alternative-id":["1489"],"URL":"https:\/\/doi.org\/10.1007\/s00211-025-01489-0","relation":{},"ISSN":["0029-599X","0945-3245"],"issn-type":[{"type":"print","value":"0029-599X"},{"type":"electronic","value":"0945-3245"}],"subject":[],"published":{"date-parts":[[2025,8,30]]},"assertion":[{"value":"10 December 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 May 2025","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 July 2025","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 August 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}