• Previous Article
    A biographical note and tribute to xunjing li on his 80th birthday
  • MCRF Home
  • This Issue
  • Next Article
    Semi-linear backward stochastic integral partial differential equations driven by a Brownian motion and a Poisson point process
September  2015, 5(3): 377-399. doi: 10.3934/mcrf.2015.5.377

Sparse initial data identification for parabolic PDE and its finite element approximations

1. 

Departamento de Matemática Aplicada y Ciencias de la Computación, E.T.S.I. Industriales y de Telecomunicación, Universidad de Cantabria, 39005 Santander, Spain

2. 

Centre for Mathematical Sciences, Technische Universität München, Bolzmannstrasse 3, D-85747 Garching b. München, Germany

3. 

BCAM - Basque Center for Applied Mathematics, Mazarredo, 14, E-48009 Bilbao-Basque Country

Received  August 2014 Revised  November 2014 Published  July 2015

We address the problem of inverse source identification for parabolic equations from the optimal control viewpoint employing measures of minimal norm as initial data. We adopt the point of view of approximate controllability so that the target is not required to be achieved exactly but only in an approximate sense. We prove an approximate inversion result and derive a characterization of the optimal initial measures by means of duality and the minimization of a suitable quadratic functional on the solutions of the adjoint system. We prove the sparsity of the optimal initial measures showing that they are supported in sets of null Lebesgue measure. As a consequence, approximate controllability can be achieved efficiently by means of controls that are activated in a finite number of pointwise locations. Moreover, we discuss the finite element numerical approximation of the control problem providing a convergence result of the corresponding optimal measures and states as the discretization parameters tend to zero.
Citation: 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
References:
[1]

E. Di Benedetto, On the local behaviour of solutions of degenerate parabolic equations with measurable coefficients,, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), 13 (1986), 487.

[2]

S. C. Brenner and L. R. Scott, The Mathematical Theory of Finite Element Methods,, Springer-Verlag, (2008). doi: 10.1007/978-0-387-75934-0.

[3]

E. Casas, Pontryagin's principle for state-constrained boundary control problems of semilinear parabolic equations,, SIAM J. Control Optim., 35 (1997), 1297. doi: 10.1137/S0363012995283637.

[4]

E. Casas, C. Clason and K. Kunisch, Approximation of elliptic control problems in measure spaces with sparse solutions,, SIAM J. Control Optim., 50 (2012), 1735. doi: 10.1137/110843216.

[5]

________, Parabolic control problems in measure spaces with sparse solutions,, SIAM J. Control Optim., 51 (2013), 28. doi: 10.1137/120872395.

[6]

E. Casas, R. Herzog and G. Wachsmuth, Optimality conditions and error analysis of semilinear elliptic control problems with $L^1$ cost functional,, SIAM J. Optim., 22 (2012), 795. doi: 10.1137/110834366.

[7]

E. Casas and K. Kunisch, Optimal control of semilinear elliptic equations in measure spaces,, SIAM J. Control Optim., 52 (2014), 339. doi: 10.1137/13092188X.

[8]

________, Parabolic control problems in space-time measure spaces,, To appear in ESAIM Control Optim. Calc. Var., ().

[9]

E. Casas and F. Tröltzsch, Second-order and stability analysis for state-constrained elliptic optimal control problems with sparse controls,, SIAM J. Control Optim., 52 (2014), 1010. doi: 10.1137/130917314.

[10]

E. Casas and E. Zuazua, Spike controls for elliptic and parabolic pde,, Systems Control Lett., 62 (2013), 311. doi: 10.1016/j.sysconle.2013.01.001.

[11]

C. Clason and K. Kunisch, A duality-based approach to elliptic control problems in non-reflexive Banach spaces,, ESAIM Control Optim. Calc. Var., 17 (2011), 243. doi: 10.1051/cocv/2010003.

[12]

I. Ekeland and R. Temam, Convex Analysis and Variational Problems,, North-Holland-Elsevier, (1976).

[13]

C. Fabre, J. P. Puel and E. Zuazua, On the density of the range of the semigroup for semilinear heat equations,, Control and optimal design of distributed parameter systems (Minneapolis, 70 (1995), 73. doi: 10.1007/978-1-4613-8460-1_4.

[14]

E. Fernández-Cara and E. Zuazua, The cost of approximate controllability for heat equations: The linear case,, Advances in Differential Equations, 5 (2000), 465.

[15]

W. Gong, M. Hinze and Z. Zhou, A Priori Error Analysis for Finite Element Approximation of Parabolic Optimal Control Problems with Pointwise Control,, SIAM J. Control Optim., 52 (2014), 97. doi: 10.1137/110840133.

[16]

J. A. Griepentrog, Maximal regularity for nonsmooth parabolic problems in Sobolev-Morrey spaces,, Adv. Differential Equations, 12 (2007), 1031.

[17]

P. Grisvard, Elliptic Problems in Nonsmooth Domains,, Pitman, (1985).

[18]

A. Hansbo, Strong stability and non-smooth data error estimates for discretizations of linear parabolic problems,, BIT, 42 (2002), 351. doi: 10.1023/A:1021903109720.

[19]

R. Herzog, G. Stadler and G. Wachsmuth, Directional sparsity in optimal control of partial differential equations,, SIAM J. Control Optim., 50 (2012), 943. doi: 10.1137/100815037.

[20]

J. Kovats, Real analytic solutions of parabolic equations with time-measurable coefficients,, Proc. Amer. Math. Soc., 130 (2002), 1055. doi: 10.1090/S0002-9939-01-06163-9.

[21]

K. Kunisch, K. Pieper and B. Vexler, Measure valued directional sparsity for parabolic optimal control problems,, SIAM J. Control Optim., 52 (2014), 3078. doi: 10.1137/140959055.

[22]

D. Leykekhman and B. Vexler, Optimal a priori error estimates of parabolic optimal control problems with pointwise control,, SIAM J. Numer. Anal., 51 (2013), 2797. doi: 10.1137/120885772.

[23]

Y. Li, S. Osher and R. Tsai, Heat source identification based on $l_1$ constrained minimization,, Inverse Probl. and Imaging, 8 (2014), 199. doi: 10.3934/ipi.2014.8.199.

[24]

J.-L. Lions and B. Malgrange, Sur l'unicité rétrograde des équations paraboliques,, Math. Scand., 8 (1960), 277.

[25]

D. Meidner, R. Rannacher and B. Vexler, A priori error estimates for finite element discretizations of parabolic optimization problems with pointwise state constraints in time,, SIAM J. Control Optim., 49 (2011), 1961. doi: 10.1137/100793888.

[26]

K. Pieper and B. Vexler, A priori error analysis for discretization of sparse elliptic optimal control problems in measure space,, SIAM J. Control Optim., 51 (2013), 2788. doi: 10.1137/120889137.

[27]

J. P. Raymond and H. Zidani, Hamiltonian Pontryagin's principles for control problems governed by semilinear parabolic equations,, App. Math. Optim., 39 (1999), 143. doi: 10.1007/s002459900102.

[28]

W. Rudin, Real and Complex Analysis,, McGraw-Hill, (1970).

[29]

A. H. Schatz, V. C. Thomée and L. B. Wahlbin, Maximum norm stability and error estimates in parabolic finite element equations,, Comm. Pure Appl. Math., 33 (1980), 265. doi: 10.1002/cpa.3160330305.

[30]

G. Stadler, Elliptic optimal control problems with $L^1$-control cost and applications for the placement of control devices,, Comput. Optim. Appl., 44 (2009), 159. doi: 10.1007/s10589-007-9150-9.

[31]

V. Thomée, Galerkin Finite Element Methods for Parabolic Problems,, Second edition, (2006).

[32]

G. Wachsmuth and D. Wachsmuth, Convergence and regularisation results for optimal control problems with sparsity functional,, ESAIM Control Optim. Calc. Var., 17 (2011), 858. doi: 10.1051/cocv/2010027.

show all references

References:
[1]

E. Di Benedetto, On the local behaviour of solutions of degenerate parabolic equations with measurable coefficients,, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), 13 (1986), 487.

[2]

S. C. Brenner and L. R. Scott, The Mathematical Theory of Finite Element Methods,, Springer-Verlag, (2008). doi: 10.1007/978-0-387-75934-0.

[3]

E. Casas, Pontryagin's principle for state-constrained boundary control problems of semilinear parabolic equations,, SIAM J. Control Optim., 35 (1997), 1297. doi: 10.1137/S0363012995283637.

[4]

E. Casas, C. Clason and K. Kunisch, Approximation of elliptic control problems in measure spaces with sparse solutions,, SIAM J. Control Optim., 50 (2012), 1735. doi: 10.1137/110843216.

[5]

________, Parabolic control problems in measure spaces with sparse solutions,, SIAM J. Control Optim., 51 (2013), 28. doi: 10.1137/120872395.

[6]

E. Casas, R. Herzog and G. Wachsmuth, Optimality conditions and error analysis of semilinear elliptic control problems with $L^1$ cost functional,, SIAM J. Optim., 22 (2012), 795. doi: 10.1137/110834366.

[7]

E. Casas and K. Kunisch, Optimal control of semilinear elliptic equations in measure spaces,, SIAM J. Control Optim., 52 (2014), 339. doi: 10.1137/13092188X.

[8]

________, Parabolic control problems in space-time measure spaces,, To appear in ESAIM Control Optim. Calc. Var., ().

[9]

E. Casas and F. Tröltzsch, Second-order and stability analysis for state-constrained elliptic optimal control problems with sparse controls,, SIAM J. Control Optim., 52 (2014), 1010. doi: 10.1137/130917314.

[10]

E. Casas and E. Zuazua, Spike controls for elliptic and parabolic pde,, Systems Control Lett., 62 (2013), 311. doi: 10.1016/j.sysconle.2013.01.001.

[11]

C. Clason and K. Kunisch, A duality-based approach to elliptic control problems in non-reflexive Banach spaces,, ESAIM Control Optim. Calc. Var., 17 (2011), 243. doi: 10.1051/cocv/2010003.

[12]

I. Ekeland and R. Temam, Convex Analysis and Variational Problems,, North-Holland-Elsevier, (1976).

[13]

C. Fabre, J. P. Puel and E. Zuazua, On the density of the range of the semigroup for semilinear heat equations,, Control and optimal design of distributed parameter systems (Minneapolis, 70 (1995), 73. doi: 10.1007/978-1-4613-8460-1_4.

[14]

E. Fernández-Cara and E. Zuazua, The cost of approximate controllability for heat equations: The linear case,, Advances in Differential Equations, 5 (2000), 465.

[15]

W. Gong, M. Hinze and Z. Zhou, A Priori Error Analysis for Finite Element Approximation of Parabolic Optimal Control Problems with Pointwise Control,, SIAM J. Control Optim., 52 (2014), 97. doi: 10.1137/110840133.

[16]

J. A. Griepentrog, Maximal regularity for nonsmooth parabolic problems in Sobolev-Morrey spaces,, Adv. Differential Equations, 12 (2007), 1031.

[17]

P. Grisvard, Elliptic Problems in Nonsmooth Domains,, Pitman, (1985).

[18]

A. Hansbo, Strong stability and non-smooth data error estimates for discretizations of linear parabolic problems,, BIT, 42 (2002), 351. doi: 10.1023/A:1021903109720.

[19]

R. Herzog, G. Stadler and G. Wachsmuth, Directional sparsity in optimal control of partial differential equations,, SIAM J. Control Optim., 50 (2012), 943. doi: 10.1137/100815037.

[20]

J. Kovats, Real analytic solutions of parabolic equations with time-measurable coefficients,, Proc. Amer. Math. Soc., 130 (2002), 1055. doi: 10.1090/S0002-9939-01-06163-9.

[21]

K. Kunisch, K. Pieper and B. Vexler, Measure valued directional sparsity for parabolic optimal control problems,, SIAM J. Control Optim., 52 (2014), 3078. doi: 10.1137/140959055.

[22]

D. Leykekhman and B. Vexler, Optimal a priori error estimates of parabolic optimal control problems with pointwise control,, SIAM J. Numer. Anal., 51 (2013), 2797. doi: 10.1137/120885772.

[23]

Y. Li, S. Osher and R. Tsai, Heat source identification based on $l_1$ constrained minimization,, Inverse Probl. and Imaging, 8 (2014), 199. doi: 10.3934/ipi.2014.8.199.

[24]

J.-L. Lions and B. Malgrange, Sur l'unicité rétrograde des équations paraboliques,, Math. Scand., 8 (1960), 277.

[25]

D. Meidner, R. Rannacher and B. Vexler, A priori error estimates for finite element discretizations of parabolic optimization problems with pointwise state constraints in time,, SIAM J. Control Optim., 49 (2011), 1961. doi: 10.1137/100793888.

[26]

K. Pieper and B. Vexler, A priori error analysis for discretization of sparse elliptic optimal control problems in measure space,, SIAM J. Control Optim., 51 (2013), 2788. doi: 10.1137/120889137.

[27]

J. P. Raymond and H. Zidani, Hamiltonian Pontryagin's principles for control problems governed by semilinear parabolic equations,, App. Math. Optim., 39 (1999), 143. doi: 10.1007/s002459900102.

[28]

W. Rudin, Real and Complex Analysis,, McGraw-Hill, (1970).

[29]

A. H. Schatz, V. C. Thomée and L. B. Wahlbin, Maximum norm stability and error estimates in parabolic finite element equations,, Comm. Pure Appl. Math., 33 (1980), 265. doi: 10.1002/cpa.3160330305.

[30]

G. Stadler, Elliptic optimal control problems with $L^1$-control cost and applications for the placement of control devices,, Comput. Optim. Appl., 44 (2009), 159. doi: 10.1007/s10589-007-9150-9.

[31]

V. Thomée, Galerkin Finite Element Methods for Parabolic Problems,, Second edition, (2006).

[32]

G. Wachsmuth and D. Wachsmuth, Convergence and regularisation results for optimal control problems with sparsity functional,, ESAIM Control Optim. Calc. Var., 17 (2011), 858. doi: 10.1051/cocv/2010027.

[1]

Guillaume Olive. Boundary approximate controllability of some linear parabolic systems. Evolution Equations & Control Theory, 2014, 3 (1) : 167-189. doi: 10.3934/eect.2014.3.167

[2]

Valentin Keyantuo, Mahamadi Warma. On the interior approximate controllability for fractional wave equations. Discrete & Continuous Dynamical Systems - A, 2016, 36 (7) : 3719-3739. doi: 10.3934/dcds.2016.36.3719

[3]

Hugo Leiva, Nelson Merentes, José L. Sánchez. Approximate controllability of semilinear reaction diffusion equations. Mathematical Control & Related Fields, 2012, 2 (2) : 171-182. doi: 10.3934/mcrf.2012.2.171

[4]

Farid Ammar Khodja, Cherif Bouzidi, Cédric Dupaix, Lahcen Maniar. Null controllability of retarded parabolic equations. Mathematical Control & Related Fields, 2014, 4 (1) : 1-15. doi: 10.3934/mcrf.2014.4.1

[5]

Lianwen Wang. Approximate controllability and approximate null controllability of semilinear systems. Communications on Pure & Applied Analysis, 2006, 5 (4) : 953-962. doi: 10.3934/cpaa.2006.5.953

[6]

Abdelaziz Bennour, Farid Ammar Khodja, Djamel Teniou. Exact and approximate controllability of coupled one-dimensional hyperbolic equations. Evolution Equations & Control Theory, 2017, 6 (4) : 487-516. doi: 10.3934/eect.2017025

[7]

Óscar Vega-Amaya, Joaquín López-Borbón. A perturbation approach to a class of discounted approximate value iteration algorithms with borel spaces. Journal of Dynamics & Games, 2016, 3 (3) : 261-278. doi: 10.3934/jdg.2016014

[8]

Lahcen Maniar, Martin Meyries, Roland Schnaubelt. Null controllability for parabolic equations with dynamic boundary conditions. Evolution Equations & Control Theory, 2017, 6 (3) : 381-407. doi: 10.3934/eect.2017020

[9]

Lydia Ouaili. Minimal time of null controllability of two parabolic equations. Mathematical Control & Related Fields, 2019, 0 (0) : 0-0. doi: 10.3934/mcrf.2019031

[10]

Franck Boyer, Guillaume Olive. Approximate controllability conditions for some linear 1D parabolic systems with space-dependent coefficients. Mathematical Control & Related Fields, 2014, 4 (3) : 263-287. doi: 10.3934/mcrf.2014.4.263

[11]

Piermarco Cannarsa, Patrick Martinez, Judith Vancostenoble. The cost of controlling weakly degenerate parabolic equations by boundary controls. Mathematical Control & Related Fields, 2017, 7 (2) : 171-211. doi: 10.3934/mcrf.2017006

[12]

Hans Weinberger. The approximate controllability of a model for mutant selection. Evolution Equations & Control Theory, 2013, 2 (4) : 741-747. doi: 10.3934/eect.2013.2.741

[13]

Morteza Fotouhi, Leila Salimi. Controllability results for a class of one dimensional degenerate/singular parabolic equations. Communications on Pure & Applied Analysis, 2013, 12 (3) : 1415-1430. doi: 10.3934/cpaa.2013.12.1415

[14]

Enrique Fernández-Cara, Luz de Teresa. Null controllability of a cascade system of parabolic-hyperbolic equations. Discrete & Continuous Dynamical Systems - A, 2004, 11 (2&3) : 699-714. doi: 10.3934/dcds.2004.11.699

[15]

Fredi Tröltzsch, Daniel Wachsmuth. On the switching behavior of sparse optimal controls for the one-dimensional heat equation. Mathematical Control & Related Fields, 2018, 8 (1) : 135-153. doi: 10.3934/mcrf.2018006

[16]

Moncef Aouadi, Taoufik Moulahi. Approximate controllability of abstract nonsimple thermoelastic problem. Evolution Equations & Control Theory, 2015, 4 (4) : 373-389. doi: 10.3934/eect.2015.4.373

[17]

Hugo Leiva, Jahnett Uzcategui. Approximate controllability of discrete semilinear systems and applications. Discrete & Continuous Dynamical Systems - B, 2016, 21 (6) : 1803-1812. doi: 10.3934/dcdsb.2016023

[18]

Arnaud Münch. A variational approach to approximate controls for system with essential spectrum: Application to membranal arch. Evolution Equations & Control Theory, 2013, 2 (1) : 119-151. doi: 10.3934/eect.2013.2.119

[19]

Eduardo Casas, Mariano Mateos, Arnd Rösch. Finite element approximation of sparse parabolic control problems. Mathematical Control & Related Fields, 2017, 7 (3) : 393-417. doi: 10.3934/mcrf.2017014

[20]

Kaili Zhuang, Tatsien Li, Bopeng Rao. Exact controllability for first order quasilinear hyperbolic systems with internal controls. Discrete & Continuous Dynamical Systems - A, 2016, 36 (2) : 1105-1124. doi: 10.3934/dcds.2016.36.1105

2017 Impact Factor: 0.631

Metrics

  • PDF downloads (7)
  • HTML views (0)
  • Cited by (6)

Other articles
by authors

[Back to Top]