American Institute of Mathematical Sciences

Advanced
September  2012, 2(3): 217-246. doi: 10.3934/mcrf.2012.2.217

Numerical null controllability of semi-linear 1-D heat equations: Fixed point, least squares and Newton methods

Enrique Fernández-Cara 1, and  Arnaud Münch 2,

1. 

Dpto. EDAN, University of Sevilla, Aptdo. 1160, 41080 Sevilla, Spain
2. 

Laboratoire de Mathématiques, Université Blaise Pascal (Clermont-Ferrand), UMR CNRS 6620, Campus des Cézeaux, 63177 Aubière, France

Received  November 2011 Revised  May 2012 Published  August 2012

This paper deals with the numerical computation of distributed null controls for semi-linear 1D heat equations, in the sublinear and slightly superlinear cases. Under sharp growth assumptions, the existence of controls has been obtained in [Fernandez-Cara $\&$ Zuazua, Null and approximate controllability for weakly blowing up semi-linear heat equation, 2000] via a fixed point reformulation; see also [Barbu, Exact controllability of the superlinear heat equation, 2000]. More precisely, Carleman estimates and Kakutani's Theorem together ensure the existence of solutions to fixed points for an equivalent fixed point reformulated problem. A nontrivial difficulty appears when we want to extract from the associated Picard iterates a convergent (sub)sequence. In this paper, we introduce and analyze a least squares reformulation of the problem; we show that this strategy leads to an effective and constructive way to compute fixed points. We also formulate and apply a Newton-Raphson algorithm in this context. Several numerical experiments that make it possible to test and compare these methods are performed.
Keywords: numerical solution, One-dimensional semi-linear heat equation, null controllability, blow up, least squares method..
Mathematics Subject Classification: Primary: 35L05, 49J05; Secondary: 65K1.
Citation: Enrique Fernández-Cara, Arnaud Münch. Numerical null controllability of semi-linear 1-D heat equations: Fixed point, least squares and Newton methods. Mathematical Control & Related Fields, 2012, 2 (3) : 217-246. doi: 10.3934/mcrf.2012.2.217
References:
[1]

V. Barbu, Exact controllability of the superlinear heat equation, Appl. Math. Optim., 42 (2000), 73-89.  Google Scholar

[2]

F. Ben Belgacem and S. M. Kaber, On the Dirichlet boundary controllability of the one-dimensional heat equation: Semi-analytical calculations and ill-posedness degree, Inverse Problems, 27 (2011), 055012, 19 pp. doi: 10.1088/0266-5611/27/5/055012.  Google Scholar

[3]

F. Boyer, F. Hubert and J. Le Rousseau, Uniform controllability properties for space/time-discretized parabolic equations, Numerische Mathematik, 118 (2011), 601-661. doi: 10.1007/s00211-011-0368-1.  Google Scholar

[4]

C. Carthel, R. Glowinski and J.-L. Lions, On exact and approximate boundary controllabilities for the heat equation: A numerical approach, J. Optimization, Theory and Applications, 82 (1994), 429-484.  Google Scholar

[5]

T. Cazenave and A. Haraux, "Introduction aux Problèmes d'Évolution Semi-Linéaires," Mathématiques & Applications, 1, Ellipses, Paris, 1990.  Google Scholar

[6]

I. Charpentier and Y. Maday, Identifications numériques de contrôles distribués pour l'équation des ondes, C. R. Acad. Sci. Paris Sér. I Math., 322 (1996), 779-784.  Google Scholar

[7]

J.-M. Coron, "Control and Nonlinearity," Mathematical Surveys and Monographs, 136, AMS, Providence, RI, 2007.  Google Scholar

[8]

J.-M. Coron and E. Trélat, Global steady-state controllability of one-dimensional semilinear heat equations, SIAM J. Control Optim., 43 (2004), 549-569. doi: 10.1137/S036301290342471X.  Google Scholar

[9]

C. Fabre, J.-P. Puel and E. Zuazua, Approximate controllability of the semilinear heat equation, Proc. Roy. Soc. Edinburgh Sect. A, 125 (1995), 31-61.  Google Scholar

[10]

E. Fernández-Cara, Null controllability of the semilinear heat equation, ESAIM Control Optim. Calc. Var., 2 (1997), 87-103. doi: 10.1051/cocv:1997104.  Google Scholar

[11]

E. Fernández-Cara and S. Guerrero, Global Carleman inequalities for parabolic systems and applications to controllability, SIAM J. Control Optim., 45 (2006), 1399-1446.  Google Scholar

[12]

E. Fernández-Cara and A. Münch, Numerical null controllability of the 1D heat equation: Primal algorithms, preprint, 2010. Available from: http://hal.archives-ouvertes.fr/hal-00687884. Google Scholar

[13]

E. Fernández-Cara and A. Münch, Numerical null controllability of the 1D heat equation: Dual algorithms, preprint, 2010. Avalable from: http://hal.archives-ouvertes.fr/hal-00687887. Google Scholar

[14]

E. Fernández-Cara and E. Zuazua, Null and approximate controllability for weakly blowing up semilinear heat equations, Ann. Inst. Henri Poincaré, Analyse Non Linéaire, 17 (2000), 583-616.  Google Scholar

[15]

X. Fu, J. Yong and X. Zhang, Exact controllability for the multidimensional semilinear hyperbolic equations, SIAM J. Control Optim., 46 (2007), 1578-1614. doi: 10.1137/040610222.  Google Scholar

[16]

S. Ervedoza and J. Valein, On the observability of abstract time-discrete linear parabolic equations, Rev. Mat. Complut., 23 (2010), 163-190. doi: 10.1007/s13163-009-0014-y.  Google Scholar

[17]

A. V. Fursikov and O. Yu. Imanuvilov, "Controllability of Evolution Equations," Lecture Notes Series, 34, Seoul National University, Research Institute of Mathemtics, Global Analysis Research Center, Seoul, (1996).  Google Scholar

[18]

R. Glowinski, J. He and J.-L. Lions, "Exact and Approximate Controllability for Distributed Parameter Systems. A Numerical Approach," Encyclopedia of Mathematics and its Applications, 117, Cambridge University Press, Cambridge, 2008.  Google Scholar

[19]

F. Hecht, A. Le Hyaric, J. Morice, K. Ohtsuka and O. Pironneau, FreeFem++, Third edition, Version 3.12., Available from: , ().   Google Scholar

[20]

O. Yu. Imanuvilov, Controllability of parabolic equations, (Russian), Mat. Sb., 186 (1995), 109-132; translation in Sb. Math., 186 (1995), 879-900.  Google Scholar

[21]

S. Labbé and E. Trélat, Uniform controllability of semidiscrete approximations of parabolic control systems, Systems Control Lett., 55 (2006), 597-609.  Google Scholar

[22]

A. Lopez and E. Zuazua, Some new results to the null controllability of the 1-d heat equation, in "Séminaire sur les Équations aux Dérivées Partielles," 1997-1998, Exp. No. VIII, École Polytech., Palaiseau, (1998), 22 pp.  Google Scholar

[23]

I. Lasiecka and R. Triggiani, Exact controllability of semilinear abstract systems with applications to waves and plates boundary control, Appl. Math. Optim., 23 (1991), 109-154. doi: 10.1007/BF01442394.  Google Scholar

[24]

G. Lebeau and L. Robbiano, Contrôle exact de l'équation de la chaleur, Comm. Partial Differential Equations, 20 (1995), 335-356. doi: 10.1080/03605309508821097.  Google Scholar

[25]

J.-L. Lions, Contrôlabilité exacte, perturbations et stabilisation de systèmes distribués. Tome 1. Contrôlabilité exacte, Recherches en Mathématiques Appliquées, 8, Masson, Paris 1988.  Google Scholar

[26]

A. Münch and E. Zuazua, Numerical approximation of null controls for the heat equation: Ill-posedness and remedies, Inverse Problems, 26 (2010), 085018, 39 pp.  Google Scholar

[27]

D. L. Russell, A unified boundary controllability theory for hyperbolic and parabolic partial differential equations, Studies in Appl. Math., 52 (1973), 189-211.  Google Scholar

[28]

D. L. Russell, Controllability and stabilizability theory for linear partial differential equations: Recent progress and open questions, SIAM Rev., 20 (1978), 639-739. doi: 10.1137/1020095.  Google Scholar

[29]

X. Zhang, A unified controllability/observability theory for some stochastic and deterministic partial differential equations, "Proceedings of the International Congress of Mathematicians," Vol. IV, Hindustan Book Agency, New Delhi, (2010), 3008-3034.  Google Scholar

[30]

E. Zuazua, Exact boundary controllability for the semilinear wave equation, in "Nonlinear Partial Differential Equations and Their Applications,'' Vol. X (eds. H. Brezis and J.-L. Lions), Pitman, New York, 1991. Google Scholar

show all references

References:
[1]

V. Barbu, Exact controllability of the superlinear heat equation, Appl. Math. Optim., 42 (2000), 73-89.  Google Scholar

[2]

F. Ben Belgacem and S. M. Kaber, On the Dirichlet boundary controllability of the one-dimensional heat equation: Semi-analytical calculations and ill-posedness degree, Inverse Problems, 27 (2011), 055012, 19 pp. doi: 10.1088/0266-5611/27/5/055012.  Google Scholar

[3]

F. Boyer, F. Hubert and J. Le Rousseau, Uniform controllability properties for space/time-discretized parabolic equations, Numerische Mathematik, 118 (2011), 601-661. doi: 10.1007/s00211-011-0368-1.  Google Scholar

[4]

C. Carthel, R. Glowinski and J.-L. Lions, On exact and approximate boundary controllabilities for the heat equation: A numerical approach, J. Optimization, Theory and Applications, 82 (1994), 429-484.  Google Scholar

[5]

T. Cazenave and A. Haraux, "Introduction aux Problèmes d'Évolution Semi-Linéaires," Mathématiques & Applications, 1, Ellipses, Paris, 1990.  Google Scholar

[6]

I. Charpentier and Y. Maday, Identifications numériques de contrôles distribués pour l'équation des ondes, C. R. Acad. Sci. Paris Sér. I Math., 322 (1996), 779-784.  Google Scholar

[7]

J.-M. Coron, "Control and Nonlinearity," Mathematical Surveys and Monographs, 136, AMS, Providence, RI, 2007.  Google Scholar

[8]

J.-M. Coron and E. Trélat, Global steady-state controllability of one-dimensional semilinear heat equations, SIAM J. Control Optim., 43 (2004), 549-569. doi: 10.1137/S036301290342471X.  Google Scholar

[9]

C. Fabre, J.-P. Puel and E. Zuazua, Approximate controllability of the semilinear heat equation, Proc. Roy. Soc. Edinburgh Sect. A, 125 (1995), 31-61.  Google Scholar

[10]

E. Fernández-Cara, Null controllability of the semilinear heat equation, ESAIM Control Optim. Calc. Var., 2 (1997), 87-103. doi: 10.1051/cocv:1997104.  Google Scholar

[11]

E. Fernández-Cara and S. Guerrero, Global Carleman inequalities for parabolic systems and applications to controllability, SIAM J. Control Optim., 45 (2006), 1399-1446.  Google Scholar

[12]

E. Fernández-Cara and A. Münch, Numerical null controllability of the 1D heat equation: Primal algorithms, preprint, 2010. Available from: http://hal.archives-ouvertes.fr/hal-00687884. Google Scholar

[13]

E. Fernández-Cara and A. Münch, Numerical null controllability of the 1D heat equation: Dual algorithms, preprint, 2010. Avalable from: http://hal.archives-ouvertes.fr/hal-00687887. Google Scholar

[14]

E. Fernández-Cara and E. Zuazua, Null and approximate controllability for weakly blowing up semilinear heat equations, Ann. Inst. Henri Poincaré, Analyse Non Linéaire, 17 (2000), 583-616.  Google Scholar

[15]

X. Fu, J. Yong and X. Zhang, Exact controllability for the multidimensional semilinear hyperbolic equations, SIAM J. Control Optim., 46 (2007), 1578-1614. doi: 10.1137/040610222.  Google Scholar

[16]

S. Ervedoza and J. Valein, On the observability of abstract time-discrete linear parabolic equations, Rev. Mat. Complut., 23 (2010), 163-190. doi: 10.1007/s13163-009-0014-y.  Google Scholar

[17]

A. V. Fursikov and O. Yu. Imanuvilov, "Controllability of Evolution Equations," Lecture Notes Series, 34, Seoul National University, Research Institute of Mathemtics, Global Analysis Research Center, Seoul, (1996).  Google Scholar

[18]

R. Glowinski, J. He and J.-L. Lions, "Exact and Approximate Controllability for Distributed Parameter Systems. A Numerical Approach," Encyclopedia of Mathematics and its Applications, 117, Cambridge University Press, Cambridge, 2008.  Google Scholar

[19]

F. Hecht, A. Le Hyaric, J. Morice, K. Ohtsuka and O. Pironneau, FreeFem++, Third edition, Version 3.12., Available from: , ().   Google Scholar

[20]

O. Yu. Imanuvilov, Controllability of parabolic equations, (Russian), Mat. Sb., 186 (1995), 109-132; translation in Sb. Math., 186 (1995), 879-900.  Google Scholar

[21]

S. Labbé and E. Trélat, Uniform controllability of semidiscrete approximations of parabolic control systems, Systems Control Lett., 55 (2006), 597-609.  Google Scholar

[22]

A. Lopez and E. Zuazua, Some new results to the null controllability of the 1-d heat equation, in "Séminaire sur les Équations aux Dérivées Partielles," 1997-1998, Exp. No. VIII, École Polytech., Palaiseau, (1998), 22 pp.  Google Scholar

[23]

I. Lasiecka and R. Triggiani, Exact controllability of semilinear abstract systems with applications to waves and plates boundary control, Appl. Math. Optim., 23 (1991), 109-154. doi: 10.1007/BF01442394.  Google Scholar

[24]

G. Lebeau and L. Robbiano, Contrôle exact de l'équation de la chaleur, Comm. Partial Differential Equations, 20 (1995), 335-356. doi: 10.1080/03605309508821097.  Google Scholar

[25]

J.-L. Lions, Contrôlabilité exacte, perturbations et stabilisation de systèmes distribués. Tome 1. Contrôlabilité exacte, Recherches en Mathématiques Appliquées, 8, Masson, Paris 1988.  Google Scholar

[26]

A. Münch and E. Zuazua, Numerical approximation of null controls for the heat equation: Ill-posedness and remedies, Inverse Problems, 26 (2010), 085018, 39 pp.  Google Scholar

[27]

D. L. Russell, A unified boundary controllability theory for hyperbolic and parabolic partial differential equations, Studies in Appl. Math., 52 (1973), 189-211.  Google Scholar

[28]

D. L. Russell, Controllability and stabilizability theory for linear partial differential equations: Recent progress and open questions, SIAM Rev., 20 (1978), 639-739. doi: 10.1137/1020095.  Google Scholar

[29]

X. Zhang, A unified controllability/observability theory for some stochastic and deterministic partial differential equations, "Proceedings of the International Congress of Mathematicians," Vol. IV, Hindustan Book Agency, New Delhi, (2010), 3008-3034.  Google Scholar

[30]

E. Zuazua, Exact boundary controllability for the semilinear wave equation, in "Nonlinear Partial Differential Equations and Their Applications,'' Vol. X (eds. H. Brezis and J.-L. Lions), Pitman, New York, 1991. Google Scholar

[1]

François James, Nicolas Vauchelet. One-dimensional aggregation equation after blow up: Existence, uniqueness and numerical simulation. Networks & Heterogeneous Media, 2016, 11 (1) : 163-180. doi: 10.3934/nhm.2016.11.163
[2]

Umberto Biccari, Mahamadi Warma, Enrique Zuazua. Controllability of the one-dimensional fractional heat equation under positivity constraints. Communications on Pure & Applied Analysis, 2020, 19 (4) : 1949-1978. doi: 10.3934/cpaa.2020086
[3]

Masahiro Ikeda, Ziheng Tu, Kyouhei Wakasa. Small data blow-up of semi-linear wave equation with scattering dissipation and time-dependent mass. Evolution Equations & Control Theory, 2021  doi: 10.3934/eect.2021011
[4]

Vo Van Au, Jagdev Singh, Anh Tuan Nguyen. Well-posedness results and blow-up for a semi-linear time fractional diffusion equation with variable coefficients. Electronic Research Archive, 2021, 29 (6) : 3581-3607. doi: 10.3934/era.2021052
[5]

Umberto Biccari. Boundary controllability for a one-dimensional heat equation with a singular inverse-square potential. Mathematical Control & Related Fields, 2019, 9 (1) : 191-219. doi: 10.3934/mcrf.2019011
[6]

Yuta Wakasugi. Blow-up of solutions to the one-dimensional semilinear wave equation with damping depending on time and space variables. Discrete & Continuous Dynamical Systems, 2014, 34 (9) : 3831-3846. doi: 10.3934/dcds.2014.34.3831
[7]

Fausto Cavalli, Giovanni Naldi. A Wasserstein approach to the numerical solution of the one-dimensional Cahn-Hilliard equation. Kinetic & Related Models, 2010, 3 (1) : 123-142. doi: 10.3934/krm.2010.3.123
[8]

Út V. Lê. Contraction-Galerkin method for a semi-linear wave equation. Communications on Pure & Applied Analysis, 2010, 9 (1) : 141-160. doi: 10.3934/cpaa.2010.9.141
[9]

Hua Chen, Nian Liu. Asymptotic stability and blow-up of solutions for semi-linear edge-degenerate parabolic equations with singular potentials. Discrete & Continuous Dynamical Systems, 2016, 36 (2) : 661-682. doi: 10.3934/dcds.2016.36.661
[10]

Dong-Ho Tsai, Chia-Hsing Nien. On the oscillation behavior of solutions to the one-dimensional heat equation. Discrete & Continuous Dynamical Systems, 2019, 39 (7) : 4073-4089. doi: 10.3934/dcds.2019164
[11]

Dong-Ho Tsai, Chia-Hsing Nien. On space-time periodic solutions of the one-dimensional heat equation. Discrete & Continuous Dynamical Systems, 2020, 40 (6) : 3997-4017. doi: 10.3934/dcds.2020037
[12]

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
[13]

Ovidiu Cârjă, Alina Lazu. On the minimal time null controllability of the heat equation. Conference Publications, 2009, 2009 (Special) : 143-150. doi: 10.3934/proc.2009.2009.143
[14]

Shi Jin, Min Tang, Houde Han. A uniformly second order numerical method for the one-dimensional discrete-ordinate transport equation and its diffusion limit with interface. Networks & Heterogeneous Media, 2009, 4 (1) : 35-65. doi: 10.3934/nhm.2009.4.35
[15]

Zhi-Xue Zhao, Mapundi K. Banda, Bao-Zhu Guo. Boundary switch on/off control approach to simultaneous identification of diffusion coefficient and initial state for one-dimensional heat equation. Discrete & Continuous Dynamical Systems - B, 2020, 25 (7) : 2539-2554. doi: 10.3934/dcdsb.2020021
[16]

J. Carmelo Flores, Luz De Teresa. Null controllability of one dimensional degenerate parabolic equations with first order terms. Discrete & Continuous Dynamical Systems - B, 2020, 25 (10) : 3963-3981. doi: 10.3934/dcdsb.2020136
[17]

Abdelaziz Khoutaibi, Lahcen Maniar. Null controllability for a heat equation with dynamic boundary conditions and drift terms. Evolution Equations & Control Theory, 2020, 9 (2) : 535-559. doi: 10.3934/eect.2020023
[18]

Isabeau Birindelli, Enrico Valdinoci. On the Allen-Cahn equation in the Grushin plane: A monotone entire solution that is not one-dimensional. Discrete & Continuous Dynamical Systems, 2011, 29 (3) : 823-838. doi: 10.3934/dcds.2011.29.823
[19]

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
[20]

Vincent Calvez, Thomas O. Gallouët. Particle approximation of the one dimensional Keller-Segel equation, stability and rigidity of the blow-up. Discrete & Continuous Dynamical Systems, 2016, 36 (3) : 1175-1208. doi: 10.3934/dcds.2016.36.1175

2020 Impact Factor: 1.284

Tools

Metrics

  • PDF downloads (102)
  • HTML views (0)
  • Cited by (13)

Other articles
by authors

[Back to Top]

Copyright © 2021 American Institute of Mathematical Sciences | Privacy Policy