PDE-constrained optimal control approach for the approximation of an inverse Cauchy problem

Previous Article
Artificial boundary conditions and domain truncation in electrical impedance tomography. Part II: Stochastic extension of the boundary map
IPI Home
This Issue
Next Article
Nomonotone spectral gradient method for sparse recovery

2015, 9(3): 791-814. doi: 10.3934/ipi.2015.9.791

PDE-constrained optimal control approach for the approximation of an inverse Cauchy problem

Lili Chang ^1, , Wei Gong ^2, , Guiquan Sun ^1, and Ningning Yan ^3,

1.	Complex Systems Research Center, Shanxi University, Taiyuan 030006, Shan'xi, China, China
2.	LSEC, Institute of Computational Mathematics, Academy of Mathematics and Systems Science, CAS, Beijing 100190, China
3.	LSEC, NCMIS, Institute of Systems Science, Academy of Mathematics and Systems Science, CAS, Beijing 100190, China

Received November 2014 Revised March 2015 Published July 2015

Abstract
Related Papers

This paper concerns the approximation of a Cauchy problem for the elliptic equation. The inverse problem is transformed into a PDE-constrained optimal control problem and these two problems are equivalent under some assumptions. Different from the existing literature which is also based on the optimal control theory, we consider the state equation in the sense of very weak solution defined by the transposition technique. In this way, it does not need to impose any regularity requirement on the given data. Moreover, this method can yield theoretical analysis simply and numerical computation conveniently. To deal with the ill-posedness of the control problem, Tikhonov regularization term is introduced. The regularized problem is well-posed and its solution converges to the non-regularized counterpart as the regularization parameter approaches zero. We establish the finite element approximation to the regularized control problem and the convergence of the discrete problem is also investigated. Then we discuss the first order optimality condition of the control problem further and obtain an efficient numerical scheme for the Cauchy problem via the adjoint state equation. The paper is ended with numerical experiments.

Keywords: finite element method., Tikhonov regularization, Elliptic equation, PDE-constrained optimal control, Cauchy problem.

Mathematics Subject Classification: Primary: 49J20, 65N21; Secondary: 65N3.

Citation: Lili Chang, Wei Gong, Guiquan Sun, Ningning Yan. PDE-constrained optimal control approach for the approximation of an inverse Cauchy problem. Inverse Problems & Imaging, 2015, 9 (3) : 791-814. doi: 10.3934/ipi.2015.9.791

References:

[1]	R. A. Adams, Sobolev Spaces,, Academic Press, (1975).
[2]	G. Alessandrini, L. D. Piero and L. Rondi, Stable determination of corrosion by a single electrostatic boundary measurement,, Inverse Problems, 19 (2003), 973. doi: 10.1088/0266-5611/19/4/312.
[3]	G. Alessandrini and E. Sincich, Solving elliptic Cauchy problems and the identification of nonlinear corrosion,, J. Comp. Appl. Math., 198 (2007), 307. doi: 10.1016/j.cam.2005.06.048.
[4]	S. Andrieux and A. A. Ben, Identification of planar cracks by complete overdetermined data: inversion formulae,, Inverse Problems, 12 (1996), 553. doi: 10.1088/0266-5611/12/5/002.
[5]	M. Azaïez, F. B. Belgacem and H. E. Fekih, On Cauchy's problem: II. Completion, regularization and approximation,, Inverse Problems, 22 (2006), 1307. doi: 10.1088/0266-5611/22/4/012.
[6]	F. B. Belgacem and H. E. Fekih, On Cauchy's problem: I. A variational Steklov-Poincaré theory,, Inverse Problems, 21 (2005), 1915. doi: 10.1088/0266-5611/21/6/008.
[7]	M. Berggren, Approximation of very weak solutions to boundary value problems,, SIAM J. Numer. Anal., 42 (2004), 860. doi: 10.1137/S0036142903382048.
[8]	L. Bourgeois and J. Dardé, A duality-based method of quasi-reversibility to solve the Cauchy problem in the presence of noisy data,, Inverse Problems, 26 (2010). doi: 10.1088/0266-5611/26/9/095016.
[9]	S. C. Brenner and L. R. Scott, The Mathematical Theory of Finite Element Methods,, $3^{th}$ edition, (2008). doi: 10.1007/978-0-387-75934-0.
[10]	M. Brühl, M. Hanke and M. Pidcock, Crack detection using electrostatic measurements,, M2AN Math. Model. Numer. Anal., 35 (2001), 595. doi: 10.1051/m2an:2001128.
[11]	E. Casas and J. P. Raymond, Error estimates for the numerical approximation of Dirichlet boundary control for semilinear elliptic equations,, SIAM J. Control Optim., 45 (2006), 1586. doi: 10.1137/050626600.
[12]	A. Chakib and A. Nachaoui, Convergence analysis for finite element approximation to an inverse Cauchy problem,, Inverse Problems, 22 (2006), 1191. doi: 10.1088/0266-5611/22/4/005.
[13]	J. Cheng, Y. Hon, T. Wei and M. Yamamoto, Numerical computation of a Cauchy problem for Laplace's equation,, Z. Angew. Math. Mech., 81 (2001), 665. doi: 10.1002/1521-4001(200110)81:10<665::AID-ZAMM665>3.0.CO;2-V.
[14]	P. G. Ciarlet, The Finite Element Methods for Elliptic Problems,, North-Holland, (1978). doi: 10.1137/1.9780898719208.
[15]	A. Cimetière, F. Delvare, M. Jaoua and F. Pons, Solution of the Cauchy problem using iterated Tikhonov regularization,, Inverse Problems, 17 (2001), 553. doi: 10.1088/0266-5611/17/3/313.
[16]	F. P. Colli and E. Magenes, On the inverse potential problem of electrocardiology,, Calcolo, 16 (1979), 459. doi: 10.1007/BF02576643.
[17]	K. Deckelnick, A. Günther and M. Hinze, Finite element approximation of Dirichlet boundary control for elliptic PDEs on two- and three-dimensional curved domains,, SIAM J. Control Optim., 48 (2009), 2798. doi: 10.1137/080735369.
[18]	H. W. Engl and A. Leitão, A Mann iterative regularization method for elliptic Cauchy problems,, Numer. Funct. Anal. Optim., 22 (2001), 861. doi: 10.1081/NFA-100108313.
[19]	D. A. French and J. T. King, Approximation of an elliptic control problem by the finite element method,, Numer. Funct. Anal. Optim., 12 (1991), 299. doi: 10.1080/01630569108816430.
[20]	A. Friedman and M. S. Vogelius, Determining cracks by boundary measurements,, J. Ind. Univ. Math., 38 (1989), 527. doi: 10.1512/iumj.1989.38.38025.
[21]	A. V. Fursikov, The Cauchy problem for a second-order elliptic equation in a conditionally well-posed formulation,, Tr. Mosk. Mat. Obs., 52 (1991), 139.
[22]	H. Han and H. J. Reinhardt, Some stability estimates for Cauchy problems for elliptic equations,, J. Inverse Ill-Posed Problems, 5 (1997), 437. doi: 10.1515/jiip.1997.5.5.437.
[23]	W. Han, W. Cong and G. Wang, Mathematical theory and numerical analysis of bioluminescence tomography,, Inverse Problems, 22 (2006), 1659. doi: 10.1088/0266-5611/22/5/008.
[24]	W. Han, J. Huang, K. Kazmi and Y. Chen, A numerical method for a Cauchy problem for elliptic partial differential equations,, Inverse Problems, 23 (2007), 2401. doi: 10.1088/0266-5611/23/6/008.
[25]	M. Hinze, A variational discretization concept in control constrained optimization: The linear-quadratic case,, Comput. Optim. Appl., 30 (2005), 45. doi: 10.1007/s10589-005-4559-5.
[26]	M. Hinze, R. Pinnau, M. Ulbrich and S. Ulbrich, Optimization with PDE Constraints,, Springer, (2009).
[27]	G. Inglese, An inverse problem in corrosion detection,, Inverse Problems, 13 (1997), 977. doi: 10.1088/0266-5611/13/4/006.
[28]	V. Isakov, Inverse Problems for Partial Differential Equations,, $2^{nd}$ edition, (2006).
[29]	M. Jourhmane and A. Nachaoui, Convergence of an alternating method to solve the Cauchy problem for Poisson's equation,, Appl. Anal., 81 (2002), 1065. doi: 10.1080/0003681021000029819.
[30]	S. I. Kabanikhin and A. L. Karchevsky, Optimizational method for solving the Cauchy problem for an elliptic equation,, J. Inverse Ill-Posed problems, 3 (1995), 21. doi: 10.1515/jiip.1995.3.1.21.
[31]	M. V. Klibanov and F. Santosa, A computational quasi-reversibility method for Cauchy problems for Laplace's equation,, SIAM J. Appl. Math., 51 (1991), 1653. doi: 10.1137/0151085.
[32]	R. V. Kohn and M. S. Vogelius, Determining conductivity by boundary measurements: II. Interior results,, Comm. Pure Appl. Math., 38 (1985), 643. doi: 10.1002/cpa.3160380513.
[33]	V. A. Kozlov, V. G. Maz'ya and A. V. Fomin, An iterative method for solving the Cauchy problem for elliptic equations,, U.S.S.R. Comput. Math. and Math. Phys., 31 (1991), 45.
[34]	R. Lattès and J.-L. Lions, Méthode de Quasi-réversibilité et Applications, (French) [The Quasi-Reversibility Methods and Applications],, Travaux et Recherches Mathématiques, (1967).
[35]	R. Li and W. Liu, The C++ software library AFEPack., Available from: , ().
[36]	J. L. Lions, Optimal Control of Systems Governed by Partial Differential Equations,, Springer-Verlag, (1971).
[37]	J. L. Lions and E. Magenes, Non-homogeneous Boundary Value Problems and Applications,, Vol. II, (1972).
[38]	M. Maher, K. Moez and T. Anis, A Cauchy problem for an inverse problem in image inpainting,, in Industrial Engineering and Systems Management (IESM), (2013).
[39]	S. Pereverzev and E. Schock, Morozov's discrepancy principle for Tikhonov regularization of severely ill-posed problems in finite-dimensional subspaces,, Numer. Funct. Anal. Optim., 21 (2000), 901. doi: 10.1080/01630560008816993.
[40]	N. N. Tarkhanov, The Cauchy Problem for Solutions of Elliptic Equations,, Akademie Verlag, (1995).
[41]	A. N. Tikhonov and V. A. Arsenin, Solutions of Ill-Posed Problems,, Winston and Sons, (1977).
[42]	W. Weikl, H. Andra and E. Schnack, An alternating iterative algorithm for the reconstruction of internal cracks in a three-dimensional solid body,, Inverse Problems, 17 (2001), 1957. doi: 10.1088/0266-5611/17/6/325.
[43]	K. Yosida, Functional Analysis,, $5^{th}$ edition, (1978).

show all references

References:

[1]	R. A. Adams, Sobolev Spaces,, Academic Press, (1975).
[2]	G. Alessandrini, L. D. Piero and L. Rondi, Stable determination of corrosion by a single electrostatic boundary measurement,, Inverse Problems, 19 (2003), 973. doi: 10.1088/0266-5611/19/4/312.
[3]	G. Alessandrini and E. Sincich, Solving elliptic Cauchy problems and the identification of nonlinear corrosion,, J. Comp. Appl. Math., 198 (2007), 307. doi: 10.1016/j.cam.2005.06.048.
[4]	S. Andrieux and A. A. Ben, Identification of planar cracks by complete overdetermined data: inversion formulae,, Inverse Problems, 12 (1996), 553. doi: 10.1088/0266-5611/12/5/002.
[5]	M. Azaïez, F. B. Belgacem and H. E. Fekih, On Cauchy's problem: II. Completion, regularization and approximation,, Inverse Problems, 22 (2006), 1307. doi: 10.1088/0266-5611/22/4/012.
[6]	F. B. Belgacem and H. E. Fekih, On Cauchy's problem: I. A variational Steklov-Poincaré theory,, Inverse Problems, 21 (2005), 1915. doi: 10.1088/0266-5611/21/6/008.
[7]	M. Berggren, Approximation of very weak solutions to boundary value problems,, SIAM J. Numer. Anal., 42 (2004), 860. doi: 10.1137/S0036142903382048.
[8]	L. Bourgeois and J. Dardé, A duality-based method of quasi-reversibility to solve the Cauchy problem in the presence of noisy data,, Inverse Problems, 26 (2010). doi: 10.1088/0266-5611/26/9/095016.
[9]	S. C. Brenner and L. R. Scott, The Mathematical Theory of Finite Element Methods,, $3^{th}$ edition, (2008). doi: 10.1007/978-0-387-75934-0.
[10]	M. Brühl, M. Hanke and M. Pidcock, Crack detection using electrostatic measurements,, M2AN Math. Model. Numer. Anal., 35 (2001), 595. doi: 10.1051/m2an:2001128.
[11]	E. Casas and J. P. Raymond, Error estimates for the numerical approximation of Dirichlet boundary control for semilinear elliptic equations,, SIAM J. Control Optim., 45 (2006), 1586. doi: 10.1137/050626600.
[12]	A. Chakib and A. Nachaoui, Convergence analysis for finite element approximation to an inverse Cauchy problem,, Inverse Problems, 22 (2006), 1191. doi: 10.1088/0266-5611/22/4/005.
[13]	J. Cheng, Y. Hon, T. Wei and M. Yamamoto, Numerical computation of a Cauchy problem for Laplace's equation,, Z. Angew. Math. Mech., 81 (2001), 665. doi: 10.1002/1521-4001(200110)81:10<665::AID-ZAMM665>3.0.CO;2-V.
[14]	P. G. Ciarlet, The Finite Element Methods for Elliptic Problems,, North-Holland, (1978). doi: 10.1137/1.9780898719208.
[15]	A. Cimetière, F. Delvare, M. Jaoua and F. Pons, Solution of the Cauchy problem using iterated Tikhonov regularization,, Inverse Problems, 17 (2001), 553. doi: 10.1088/0266-5611/17/3/313.
[16]	F. P. Colli and E. Magenes, On the inverse potential problem of electrocardiology,, Calcolo, 16 (1979), 459. doi: 10.1007/BF02576643.
[17]	K. Deckelnick, A. Günther and M. Hinze, Finite element approximation of Dirichlet boundary control for elliptic PDEs on two- and three-dimensional curved domains,, SIAM J. Control Optim., 48 (2009), 2798. doi: 10.1137/080735369.
[18]	H. W. Engl and A. Leitão, A Mann iterative regularization method for elliptic Cauchy problems,, Numer. Funct. Anal. Optim., 22 (2001), 861. doi: 10.1081/NFA-100108313.
[19]	D. A. French and J. T. King, Approximation of an elliptic control problem by the finite element method,, Numer. Funct. Anal. Optim., 12 (1991), 299. doi: 10.1080/01630569108816430.
[20]	A. Friedman and M. S. Vogelius, Determining cracks by boundary measurements,, J. Ind. Univ. Math., 38 (1989), 527. doi: 10.1512/iumj.1989.38.38025.
[21]	A. V. Fursikov, The Cauchy problem for a second-order elliptic equation in a conditionally well-posed formulation,, Tr. Mosk. Mat. Obs., 52 (1991), 139.
[22]	H. Han and H. J. Reinhardt, Some stability estimates for Cauchy problems for elliptic equations,, J. Inverse Ill-Posed Problems, 5 (1997), 437. doi: 10.1515/jiip.1997.5.5.437.
[23]	W. Han, W. Cong and G. Wang, Mathematical theory and numerical analysis of bioluminescence tomography,, Inverse Problems, 22 (2006), 1659. doi: 10.1088/0266-5611/22/5/008.
[24]	W. Han, J. Huang, K. Kazmi and Y. Chen, A numerical method for a Cauchy problem for elliptic partial differential equations,, Inverse Problems, 23 (2007), 2401. doi: 10.1088/0266-5611/23/6/008.
[25]	M. Hinze, A variational discretization concept in control constrained optimization: The linear-quadratic case,, Comput. Optim. Appl., 30 (2005), 45. doi: 10.1007/s10589-005-4559-5.
[26]	M. Hinze, R. Pinnau, M. Ulbrich and S. Ulbrich, Optimization with PDE Constraints,, Springer, (2009).
[27]	G. Inglese, An inverse problem in corrosion detection,, Inverse Problems, 13 (1997), 977. doi: 10.1088/0266-5611/13/4/006.
[28]	V. Isakov, Inverse Problems for Partial Differential Equations,, $2^{nd}$ edition, (2006).
[29]	M. Jourhmane and A. Nachaoui, Convergence of an alternating method to solve the Cauchy problem for Poisson's equation,, Appl. Anal., 81 (2002), 1065. doi: 10.1080/0003681021000029819.
[30]	S. I. Kabanikhin and A. L. Karchevsky, Optimizational method for solving the Cauchy problem for an elliptic equation,, J. Inverse Ill-Posed problems, 3 (1995), 21. doi: 10.1515/jiip.1995.3.1.21.
[31]	M. V. Klibanov and F. Santosa, A computational quasi-reversibility method for Cauchy problems for Laplace's equation,, SIAM J. Appl. Math., 51 (1991), 1653. doi: 10.1137/0151085.
[32]	R. V. Kohn and M. S. Vogelius, Determining conductivity by boundary measurements: II. Interior results,, Comm. Pure Appl. Math., 38 (1985), 643. doi: 10.1002/cpa.3160380513.
[33]	V. A. Kozlov, V. G. Maz'ya and A. V. Fomin, An iterative method for solving the Cauchy problem for elliptic equations,, U.S.S.R. Comput. Math. and Math. Phys., 31 (1991), 45.
[34]	R. Lattès and J.-L. Lions, Méthode de Quasi-réversibilité et Applications, (French) [The Quasi-Reversibility Methods and Applications],, Travaux et Recherches Mathématiques, (1967).
[35]	R. Li and W. Liu, The C++ software library AFEPack., Available from: , ().
[36]	J. L. Lions, Optimal Control of Systems Governed by Partial Differential Equations,, Springer-Verlag, (1971).
[37]	J. L. Lions and E. Magenes, Non-homogeneous Boundary Value Problems and Applications,, Vol. II, (1972).
[38]	M. Maher, K. Moez and T. Anis, A Cauchy problem for an inverse problem in image inpainting,, in Industrial Engineering and Systems Management (IESM), (2013).
[39]	S. Pereverzev and E. Schock, Morozov's discrepancy principle for Tikhonov regularization of severely ill-posed problems in finite-dimensional subspaces,, Numer. Funct. Anal. Optim., 21 (2000), 901. doi: 10.1080/01630560008816993.
[40]	N. N. Tarkhanov, The Cauchy Problem for Solutions of Elliptic Equations,, Akademie Verlag, (1995).
[41]	A. N. Tikhonov and V. A. Arsenin, Solutions of Ill-Posed Problems,, Winston and Sons, (1977).
[42]	W. Weikl, H. Andra and E. Schnack, An alternating iterative algorithm for the reconstruction of internal cracks in a three-dimensional solid body,, Inverse Problems, 17 (2001), 1957. doi: 10.1088/0266-5611/17/6/325.
[43]	K. Yosida, Functional Analysis,, $5^{th}$ edition, (1978).

[1]	Ming Yan, Lili Chang, Ningning Yan. Finite element method for constrained optimal control problems governed by nonlinear elliptic PDEs. Mathematical Control & Related Fields, 2012, 2 (2) : 183-194. doi: 10.3934/mcrf.2012.2.183
[2]	Christos V. Nikolopoulos, Georgios E. Zouraris. Numerical solution of a non-local elliptic problem modeling a thermistor with a finite element and a finite volume method. Conference Publications, 2007, 2007 (Special) : 768-778. doi: 10.3934/proc.2007.2007.768
[3]	Ciro D'Apice, Peter I. Kogut, Rosanna Manzo. On relaxation of state constrained optimal control problem for a PDE-ODE model of supply chains. Networks & Heterogeneous Media, 2014, 9 (3) : 501-518. doi: 10.3934/nhm.2014.9.501
[4]	Frank Pörner, Daniel Wachsmuth. Tikhonov regularization of optimal control problems governed by semi-linear partial differential equations. Mathematical Control & Related Fields, 2018, 8 (1) : 315-335. doi: 10.3934/mcrf.2018013
[5]	Sören Bartels, Marijo Milicevic. Iterative finite element solution of a constrained total variation regularized model problem. Discrete & Continuous Dynamical Systems - S, 2017, 10 (6) : 1207-1232. doi: 10.3934/dcdss.2017066
[6]	Chunjuan Hou, Yanping Chen, Zuliang Lu. Superconvergence property of finite element methods for parabolic optimal control problems. Journal of Industrial & Management Optimization, 2011, 7 (4) : 927-945. doi: 10.3934/jimo.2011.7.927
[7]	Peter I. Kogut. On approximation of an optimal boundary control problem for linear elliptic equation with unbounded coefficients. Discrete & Continuous Dynamical Systems - A, 2014, 34 (5) : 2105-2133. doi: 10.3934/dcds.2014.34.2105
[8]	Philip Trautmann, Boris Vexler, Alexander Zlotnik. Finite element error analysis for measure-valued optimal control problems governed by a 1D wave equation with variable coefficients. Mathematical Control & Related Fields, 2018, 8 (2) : 411-449. doi: 10.3934/mcrf.2018017
[9]	Juan Carlos De los Reyes, Carola-Bibiane Schönlieb. Image denoising: Learning the noise model via nonsmooth PDE-constrained optimization. Inverse Problems & Imaging, 2013, 7 (4) : 1183-1214. doi: 10.3934/ipi.2013.7.1183
[10]	Tan Bui-Thanh, Quoc P. Nguyen. FEM-based discretization-invariant MCMC methods for PDE-constrained Bayesian inverse problems. Inverse Problems & Imaging, 2016, 10 (4) : 943-975. doi: 10.3934/ipi.2016028
[11]	Ulisse Stefanelli, Daniel Wachsmuth, Gerd Wachsmuth. Optimal control of a rate-independent evolution equation via viscous regularization. Discrete & Continuous Dynamical Systems - S, 2017, 10 (6) : 1467-1485. doi: 10.3934/dcdss.2017076
[12]	Assyr Abdulle, Yun Bai, Gilles Vilmart. Reduced basis finite element heterogeneous multiscale method for quasilinear elliptic homogenization problems. Discrete & Continuous Dynamical Systems - S, 2015, 8 (1) : 91-118. doi: 10.3934/dcdss.2015.8.91
[13]	Christian Clason, Barbara Kaltenbacher. Avoiding degeneracy in the Westervelt equation by state constrained optimal control. Evolution Equations & Control Theory, 2013, 2 (2) : 281-300. doi: 10.3934/eect.2013.2.281
[14]	Heung Wing Joseph Lee, Chi Kin Chan, Karho Yau, Kar Hung Wong, Colin Myburgh. Control parametrization and finite element method for controlling multi-species reactive transport in a circular pool. Journal of Industrial & Management Optimization, 2013, 9 (3) : 505-524. doi: 10.3934/jimo.2013.9.505
[15]	Thierry Horsin, Peter I. Kogut, Olivier Wilk. Optimal $L^2$-control problem in coefficients for a linear elliptic equation. II. Approximation of solutions and optimality conditions. Mathematical Control & Related Fields, 2016, 6 (4) : 595-628. doi: 10.3934/mcrf.2016017
[16]	Thierry Horsin, Peter I. Kogut. Optimal $L^2$-control problem in coefficients for a linear elliptic equation. I. Existence result. Mathematical Control & Related Fields, 2015, 5 (1) : 73-96. doi: 10.3934/mcrf.2015.5.73
[17]	Eduardo Casas, Boris Vexler, Enrique Zuazua. Sparse initial data identification for parabolic PDE and its finite element approximations. Mathematical Control & Related Fields, 2015, 5 (3) : 377-399. doi: 10.3934/mcrf.2015.5.377
[18]	Yinnian He, Yanping Lin, Weiwei Sun. Stabilized finite element method for the non-stationary Navier-Stokes problem. Discrete & Continuous Dynamical Systems - B, 2006, 6 (1) : 41-68. doi: 10.3934/dcdsb.2006.6.41
[19]	Alexander Zlotnik, Ilya Zlotnik. Finite element method with discrete transparent boundary conditions for the time-dependent 1D Schrödinger equation. Kinetic & Related Models, 2012, 5 (3) : 639-667. doi: 10.3934/krm.2012.5.639
[20]	Xufeng Xiao, Xinlong Feng, Jinyun Yuan. The stabilized semi-implicit finite element method for the surface Allen-Cahn equation. Discrete & Continuous Dynamical Systems - B, 2017, 22 (7) : 2857-2877. doi: 10.3934/dcdsb.2017154

2017 Impact Factor: 1.465

American Institute of Mathematical Sciences