Skip to main content
Log in

Convergence Analysis of a Crank–Nicolson Galerkin Method for an Inverse Source Problem for Parabolic Equations with Boundary Observations

Applied Mathematics & Optimization Submit manuscript

A Correction to this article was published on 14 September 2020

This article has been updated

Abstract

This work is devoted to an inverse problem of identifying a source term depending on both spatial and time variables in a parabolic equation from single Cauchy data on a part of the boundary. A Crank–Nicolson Galerkin method is applied to the least squares functional with a quadratic stabilizing penalty term. The convergence of finite dimensional regularized approximations to the sought source as measurement noise levels and mesh sizes approach zero with an appropriate regularization parameter is proved. Moreover, under a suitable source condition, an error bound and a corresponding convergence rate are proved. Finally, several numerical experiments are presented to illustrate the theoretical findings.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6

Change history

References

  1. Adams, R.A.: Sobolev Spaces. Academic Press, New York (1975)

    MATH  Google Scholar 

  2. Bernardi, C., Girault, V.: A local regularization operator for triangular and quadrilateral finite elements. SIAM J. Numer. Anal. 35, 1893–1916 (1998)

    MathSciNet  MATH  Google Scholar 

  3. Brenner, S., Scott, R.: The Mathematical Theory of Finite Element Methods. Springer, New York (2008)

    MATH  Google Scholar 

  4. Cannon, J.R.: Determination of an unknown heat source from overspecified boundary data. SIAM J. Numer. Anal. 5, 275–286 (1968)

    MathSciNet  MATH  Google Scholar 

  5. Cannon, J.R.: The One-Dimensional Heat Equation. Addison-Wesley Publishing Company, Advanced Book Program, Reading, MA (1984)

    MATH  Google Scholar 

  6. Cannon, J.R., DuChateau, P.: Structural identification of an unknown source term in a heat equation. Inverse Probl. 14, 535–551 (1998)

    MathSciNet  MATH  Google Scholar 

  7. Cannon, J.R., Ewing, R.E.: Determination of a source term in a linear parabolic partial differential equation. Z. Angew. Math. Phys. 27, 393–401 (1976)

    MathSciNet  MATH  Google Scholar 

  8. Cannon, J.R., Lin, Y.-P.: Determination of a source term in a linear parabolic differential equation with mixed boundary conditions. In: Inverse Problems (Oberwolfach, 1986). Internat. Schriftenreihe Numer. Math., vol. 77, pp. 31–49. Birkhäuser, Basel (1986)

  9. Choulli, M., Yamamoto, M.: Conditional stability in determining a heat source. J. Inverse Ill-Posed Probl. 12, 233–243 (2004)

    MathSciNet  MATH  Google Scholar 

  10. Choulli, M., Yamamoto, M.: Some stability estimates in determining sources and coefficients. J. Inverse Ill-Posed Probl. 14, 355–373 (2006)

    MathSciNet  MATH  Google Scholar 

  11. Clément, P.: Approximation by finite element functions using local regularization. RAIRO Anal. Numér. 9, 77–84 (1975)

    MathSciNet  MATH  Google Scholar 

  12. Engl, H.W., Scherzer, O., Yamamoto, M.: Uniqueness and stable determination of forcing terms in linear partial differential equations with overspecified boundary data. Inverse Probl. 10, 1253–1276 (1994)

    MathSciNet  MATH  Google Scholar 

  13. Engl, H.W., Hanke, M., Neubauer, A.: Regularization of Inverse Problems. Mathematics and Its Applications, vol. 375. Kluwer, Dordrecht (1996)

  14. Evans, L.C.: Partial Differential Equations. American Mathematical Society, Rhode Island (1998)

    MATH  Google Scholar 

  15. Farcas, A., Lesnic, D.: The boundary-element method for the determination of a heat source dependent on one variable. J. Eng. Math. 54, 375–388 (2006)

    MathSciNet  MATH  Google Scholar 

  16. Hasanov, A.: Simultaneous determination of source terms in a linear parabolic problem from the final overdetermination: weak solution approach. J. Math. Anal. Appl. 330, 766–779 (2007)

    MathSciNet  MATH  Google Scholar 

  17. Hasanov, A.: Identification of spacewise and time-dependent source terms in 1D heat conduction equation from temperature measurement at a final time. Int. J. Heat Mass Transf. 55, 2069–2080 (2012)

    Google Scholar 

  18. Hasanov, A., Pektaş, B.: Identification of an unknown time-dependent heat source term from overspecified Dirichlet boundary data by conjugate gradient method. Comput. Math. Appl. 65, 42–57 (2013)

    MathSciNet  MATH  Google Scholar 

  19. Hào, D.N.: A noncharacteristic Cauchy problem for linear parabolic equations and related inverse problems II: a variational method. Numer. Funct. Anal. Optim. 13, 541–564 (1992)

    MathSciNet  MATH  Google Scholar 

  20. Hào, D.N.: A noncharacteristic Cauchy problem for linear parabolic equations and related inverse problems I: solvability. Inverse Probl. 10, 295–315 (1994)

    MathSciNet  MATH  Google Scholar 

  21. Hào, D.N.: Methods for Inverse Heat Conduction Problems. Peter Lang Verlag, Frankfurt/Main (1998)

    MATH  Google Scholar 

  22. Hào, D.N., Huong, B.V., Oanh, N.T.N., Thanh, P.X.: Determination of a term in the right-hand side of parabolic equations. J. Comput. Appl. Math. 309, 28–43 (2017)

    MathSciNet  MATH  Google Scholar 

  23. Hasanov, A., Pektaş, B.: A unified approach to identifying an unknown spacewise dependent source in a variable coefficient parabolic equation from final and integral overdeterminations. Appl. Numer. Math. 78, 49–67 (2014)

    MathSciNet  MATH  Google Scholar 

  24. Hinze, M.: A variational discretization concept in control constrained optimization: the linear-quadratic case. Comput. Optim. Appl. 30, 45–61 (2005)

    MathSciNet  MATH  Google Scholar 

  25. Hinze, M., Hofmann, B., Quyen, T.N.T.: A regularization approach for an inverse source problem in elliptic systems from single Cauchy data. Numer. Func. Anal. Optim. 40, 1080–1112 (2019)

    MathSciNet  MATH  Google Scholar 

  26. Hinze, M., Kaltenbacher, B., Quyen, T.N.T.: Identifying conductivity in electrical impedance tomography with total variation regularization. Numerische Mathematik 138, 723–765 (2018)

    MathSciNet  MATH  Google Scholar 

  27. Hinze, M., Quyen, T.N.T.: Finite element approximation of source term identification with TV-regularization. Inverse Probl. 35, 124004, p. 27 (2019)

  28. Isakov, V.: Inverse Source Problems. American Mathematical Society, Providence, RI (1990)

    MATH  Google Scholar 

  29. Isakov, V.: Inverse Problems for Partial Differential Equations. Springer, New York (2006)

    MATH  Google Scholar 

  30. Johansson, T., Lesnic, D.: A variational method for identifying a spacewise-dependent heat source. IMA J. Appl. Math. 72, 748–760 (2007)

    MathSciNet  MATH  Google Scholar 

  31. Kelley, C.T.: Iterative Methods for Optimization. SIAM, Philadelphia (1999)

    MATH  Google Scholar 

  32. Kirsch, A.: An Introduction to the Mathematical Theory of Inverse Problems. Springer, New York (2011)

    MATH  Google Scholar 

  33. Kröner, A., Vexler, B.: A priori error estimates for elliptic optimal control problems with a bilinear state equation. J. Comput. Appl. Math. 230, 781–802 (2009)

    MathSciNet  MATH  Google Scholar 

  34. Mikhailov, V.P.: Partial Differential Equations. Mir Publishers, Moscow (1978)

    Google Scholar 

  35. Nochetto, R.H., Siebert, K.G., Veeser, A.: Theory of Adaptive Finite Element Methods: An Introduction, Multiscale, Nonlinear and Adaptive Approximation, pp. 409–542. Springer, Berlin (2009)

    MATH  Google Scholar 

  36. Prilepko, A.I., Orlovsky, D.G., Vasin, I.A.: Methods for Solving Inverse Problems in Mathematical Physics. Marcel Dekker Inc, New York (2000)

    MATH  Google Scholar 

  37. Prilepko, A.I., Tkachenko, D.S.: Inverse problem for a parabolic equation with integral overdetermination. J. Inverse Ill-Posed Probl. 11, 191–218 (2003)

    MathSciNet  MATH  Google Scholar 

  38. Pechstein, C.: Finite and Boundary Element Tearing and Interconnecting Solvers for Multiscale Problems. Springer, Heidelberg (2010)

    MATH  Google Scholar 

  39. Quyen, T.N.T.: Variational method for multiple parameter identification in elliptic PDEs. J. Math. Anal. Appl. 461, 676–700 (2018)

    MathSciNet  MATH  Google Scholar 

  40. Quyen, T.N.T.: Finite element analysis for identifying the reaction coefficient in PDE from boundary observations. Appl. Numer. Math. 145, 297–314 (2019)

    MathSciNet  MATH  Google Scholar 

  41. Royden, H.L.: Real Analysis. Macmillan Publishing Company, New York (1988)

    MATH  Google Scholar 

  42. Rudin, L.I., Osher, S.J., Fatemi, E.: Nonlinear total variation based noise removal algorithms. Physica D 60, 259–268 (1992)

    MathSciNet  MATH  Google Scholar 

  43. Rundell, W.: Determination of an unknown non-homogeneous term in a linear partial differential equation from overspecified boundary data. Appl. Anal. 10, 231–242 (1980)

    MATH  Google Scholar 

  44. Slodička, M.: Determination of a solely time-dependent source in a semilinear parabolic problem by means of boundary measurements. J. Comput. Appl. Math. 289, 433–440 (2015)

    MathSciNet  MATH  Google Scholar 

  45. Scott, R., Zhang, S.Y.: Finite element interpolation of nonsmooth function satisfying boundary conditions. Math. Comput. 54, 483–493 (1990)

    MathSciNet  MATH  Google Scholar 

  46. Thomée, V.: Galerkin Finite Element Methods for Parabolic Problems. Springer, Berlin (2006)

    MATH  Google Scholar 

  47. Tröltzsh, F.: Optimal Control of Partial Differential Equations: Theory, Methods and Applications. American Mathematical Society, Providence (2010)

    Google Scholar 

  48. Trong, D.D., Pham Ngoc Dinh, A., Nam, P.T.: Determine the special term of a two-dimensional heat source. Appl. Anal. 88, 457–474 (2009)

    MathSciNet  MATH  Google Scholar 

  49. Wirgin A.: The inverse crime. http://arxiv.org/abs/math-ph/0401050 (2004)

  50. Wloka, J.: Partial Differential Equations. Cambridge University Press, Cambridge (1987)

    MATH  Google Scholar 

  51. Xie, J., Zou, J.: Numerical reconstruction of heat fluxes. SIAM J. Numer. Anal. 43, 1504–1535 (2005)

    MathSciNet  MATH  Google Scholar 

  52. Xu, Y., Zou, J.: Analysis of an adaptive finite element method for recovering the robin coefficient. SIAM J. Control Optim. 53, 622–644 (2015)

    MathSciNet  MATH  Google Scholar 

  53. Xu, Y., Zou, J.: Convergence of an adaptive finite element method for distributed flux reconstruction. Math. Comput. 84, 2645–2663 (2015)

    MathSciNet  MATH  Google Scholar 

  54. Yamamoto, M.: Conditional stability in determination of force terms of heat equations in a rectangle. Math. Comput. Model. 18, 79–88 (1993)

    MathSciNet  MATH  Google Scholar 

  55. Yamamoto, M.: Conditional stability in determination of densities of heat sources in a bounded domain. In: Control and Estimation of Distributed Parameter Systems: Nonlinear Phenomena (Vorau, 1993). International Series of Numerical Mathematics, vol. 118, pp. , 359–370. Birkhäuser, Basel (1994)

Download references

Acknowledgements

The authors would like to thank the Referees and the Editor for their valuable comments and suggestions which helped to improve our paper. T.N.T. Quyen gratefully acknowledges support of the University of Goettingen, Germany. N.T. Son is supported in part by the Vietnam National Foundation for Science and Technology Development (NAFOSTED), Grant 101.01-2017.319. The paper is completed when he is with the Université catholique de Louvain under the support of EOS Project No. 30468160 funded by FNRS and FWO.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Tran Nhan Tam Quyen.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

The original version of this article was revised: the missing given name of Tran Nhan Tam Quyen was added.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Hào, D.N., Quyen, T.N.T. & Son, N.T. Convergence Analysis of a Crank–Nicolson Galerkin Method for an Inverse Source Problem for Parabolic Equations with Boundary Observations. Appl Math Optim 84, 2289–2325 (2021). https://doi.org/10.1007/s00245-020-09710-2

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00245-020-09710-2

Keywords

Mathematics Subject Classification

Navigation