Control from an interior hypersurface
HTML articles powered by AMS MathViewer
- by Jeffrey Galkowski and Matthieu Léautaud PDF
- Trans. Amer. Math. Soc. 373 (2020), 3177-3233
Abstract:
We consider a compact Riemannian manifold $M$ (possibly with boundary) and $\Sigma \subset M\setminus \partial M$ an interior hypersurface (possibly with boundary). We study observation and control from $\Sigma$ for both the wave and heat equations. For the wave equation, we prove controllability from $\Sigma$ in time $T$ under the assumption $(\mathcal {T}$GCC) that all generalized bicharacteristics intersect $\Sigma$ transversally in the time interval $(0,T)$. For the heat equation we prove unconditional controllability from $\Sigma$. As a result, we obtain uniform lower bounds for the Cauchy data of Laplace eigenfunctions on $\Sigma$ under $\mathcal {T}$GCC and unconditional exponential lower bounds on such Cauchy data.References
- Nicolas Burq and Patrick Gérard, Condition nécessaire et suffisante pour la contrôlabilité exacte des ondes, C. R. Acad. Sci. Paris Sér. I Math. 325 (1997), no. 7, 749–752 (French, with English and French summaries). MR 1483711, DOI 10.1016/S0764-4442(97)80053-5
- Nicolas Burq and Patrick Gérard, Contrôle optimal des équations aux dérivées partielles, Cours de l’Ecole Polytechnique, 2002.
- N. Burq, P. Gérard, and N. Tzvetkov, Restrictions of the Laplace-Beltrami eigenfunctions to submanifolds, Duke Math. J. 138 (2007), no. 3, 445–486 (English, with English and French summaries). MR 2322684, DOI 10.1215/S0012-7094-07-13834-1
- Nicolas Burq and Gilles Lebeau, Mesures de défaut de compacité, application au système de Lamé, Ann. Sci. École Norm. Sup. (4) 34 (2001), no. 6, 817–870 (French, with English and French summaries). MR 1872422, DOI 10.1016/S0012-9593(01)01078-3
- Claude Bardos, Gilles Lebeau, and Jeffrey Rauch, Sharp sufficient conditions for the observation, control, and stabilization of waves from the boundary, SIAM J. Control Optim. 30 (1992), no. 5, 1024–1065. MR 1178650, DOI 10.1137/0330055
- Jean Bourgain and Zeév Rudnick, Restriction of toral eigenfunctions to hypersurfaces, C. R. Math. Acad. Sci. Paris 347 (2009), no. 21-22, 1249–1253 (English, with English and French summaries). MR 2561032, DOI 10.1016/j.crma.2009.08.008
- Jean Bourgain and Zeév Rudnick, On the nodal sets of toral eigenfunctions, Invent. Math. 185 (2011), no. 1, 199–237. MR 2810800, DOI 10.1007/s00222-010-0307-2
- Jean Bourgain and Zeév Rudnick, Restriction of toral eigenfunctions to hypersurfaces and nodal sets, Geom. Funct. Anal. 22 (2012), no. 4, 878–937. MR 2984120, DOI 10.1007/s00039-012-0186-3
- Nicolas Burq, Mesures semi-classiques et mesures de défaut, Astérisque 245 (1997), Exp. No. 826, 4, 167–195 (French, with French summary). Séminaire Bourbaki, Vol. 1996/97. MR 1627111
- Nicolas Burq, Lower bounds for shape resonances widths of long range Schrödinger operators, Amer. J. Math. 124 (2002), no. 4, 677–735. MR 1914456
- Hans Christianson, Andrew Hassell, and John A. Toth, Exterior mass estimates and $L^2$-restriction bounds for Neumann data along hypersurfaces, Int. Math. Res. Not. IMRN 6 (2015), 1638–1665. MR 3340369, DOI 10.1093/imrn/rnt342
- Jean-Michel Coron, Control and nonlinearity, Mathematical Surveys and Monographs, vol. 136, American Mathematical Society, Providence, RI, 2007. MR 2302744, DOI 10.1090/surv/136
- Hans Christianson, John A. Toth, and Steve Zelditch, Quantum ergodic restriction for Cauchy data: interior que and restricted que, Math. Res. Lett. 20 (2013), no. 3, 465–475. MR 3162840, DOI 10.4310/MRL.2013.v20.n3.a5
- Carlos Castro and Enrique Zuazua, Unique continuation and control for the heat equation from an oscillating lower dimensional manifold, SIAM J. Control Optim. 43 (2004/05), no. 4, 1400–1434. MR 2124279, DOI 10.1137/S0363012903430317
- B. Dehman and G. Lebeau, Analysis of the HUM control operator and exact controllability for semilinear waves in uniform time, SIAM J. Control Optim. 48 (2009), no. 2, 521–550. MR 2486082, DOI 10.1137/070712067
- Belhassen Dehman, Jérôme Le Rousseau, and Matthieu Léautaud, Controllability of two coupled wave equations on a compact manifold, Arch. Ration. Mech. Anal. 211 (2014), no. 1, 113–187. MR 3182479, DOI 10.1007/s00205-013-0670-4
- Szymon Dolecki, Observability for the one-dimensional heat equation, Studia Math. 48 (1973), 291–305. MR 333444, DOI 10.4064/sm-48-3-291-305
- Mouez Dimassi and Johannes Sjöstrand, Spectral asymptotics in the semi-classical limit, London Mathematical Society Lecture Note Series, vol. 268, Cambridge University Press, Cambridge, 1999. MR 1735654, DOI 10.1017/CBO9780511662195
- Semyon Dyatlov and Maciej Zworski, Mathematical theory of scattering resonances.
- Semyon Dyatlov and Maciej Zworski, Quantum ergodicity for restrictions to hypersurfaces, Nonlinearity 26 (2013), no. 1, 35–52. MR 3001760, DOI 10.1088/0951-7715/26/1/35
- Lawrence C. Evans, Partial differential equations, Graduate Studies in Mathematics, vol. 19, American Mathematical Society, Providence, RI, 1998. MR 1625845
- Sylvain Ervedoza and Enrique Zuazua, Observability of heat processes by transmutation without geometric restrictions, Math. Control Relat. Fields 1 (2011), no. 2, 177–187. MR 2833258, DOI 10.3934/mcrf.2011.1.177
- Sylvain Ervedoza and Enrique Zuazua, Sharp observability estimates for heat equations, Arch. Ration. Mech. Anal. 202 (2011), no. 3, 975–1017. MR 2854675, DOI 10.1007/s00205-011-0445-8
- A. V. Fursikov and O. Yu. Imanuvilov, Controllability of evolution equations, Lecture Notes Series, vol. 34, Seoul National University, Research Institute of Mathematics, Global Analysis Research Center, Seoul, 1996. MR 1406566
- Jeffrey Galkowski, The $L^2$ behavior of eigenfunctions near the glancing set, Comm. Partial Differential Equations 41 (2016), no. 10, 1619–1648. MR 3555484, DOI 10.1080/03605302.2016.1227339
- Patrick Gérard, Microlocal defect measures, Comm. Partial Differential Equations 16 (1991), no. 11, 1761–1794. MR 1135919, DOI 10.1080/03605309108820822
- Lars Hörmander, The analysis of linear partial differential operators. III, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 274, Springer-Verlag, Berlin, 1994. Pseudo-differential operators; Corrected reprint of the 1985 original. MR 1313500
- Lars Hörmander, The analysis of linear partial differential operators. I, 2nd ed., Springer Study Edition, Springer-Verlag, Berlin, 1990. Distribution theory and Fourier analysis. MR 1065136, DOI 10.1007/978-3-642-61497-2
- Hamid Hezari and Gabriel Rivière. Equidistribution of toral eigenfunctions along hypersurfaces. Rev. Mat. Iberoam., to appear. Preprint arXiv:1801.07858, 2018.
- David Jerison and Gilles Lebeau, Nodal sets of sums of eigenfunctions, Harmonic analysis and partial differential equations (Chicago, IL, 1996) Chicago Lectures in Math., Univ. Chicago Press, Chicago, IL, 1999, pp. 223–239. MR 1743865
- S. Kumagai, Technical comment to: “An implicit function theorem” [J. Optim. Theory Appl. 25 (1978), no. 4, 575–577; MR 80b:26018] by K. Jittorntrum, J. Optim. Theory Appl. 31 (1980), no. 2, 285–288. MR 600389, DOI 10.1007/BF00934117
- M. Léautaud, Spectral inequalities for non-selfadjoint elliptic operators and application to the null-controllability of parabolic systems, J. Funct. Anal. 258 (2010), no. 8, 2739–2778. MR 2593342, DOI 10.1016/j.jfa.2009.10.011
- G. Lebeau, Équation des ondes amorties, Algebraic and geometric methods in mathematical physics (Kaciveli, 1993) Math. Phys. Stud., vol. 19, Kluwer Acad. Publ., Dordrecht, 1996, pp. 73–109 (French, with English and French summaries). MR 1385677
- Nicolas Lerner, Metrics on the phase space and non-selfadjoint pseudo-differential operators, Pseudo-Differential Operators. Theory and Applications, vol. 3, Birkhäuser Verlag, Basel, 2010. MR 2599384, DOI 10.1007/978-3-7643-8510-1
- J.-L. Lions, Contrôlabilité exacte, perturbations et stabilisation de systèmes distribués. Tome 1, Recherches en Mathématiques Appliquées [Research in Applied Mathematics], vol. 8, Masson, Paris, 1988 (French). Contrôlabilité exacte. [Exact controllability]; With appendices by E. Zuazua, C. Bardos, G. Lebeau and J. Rauch. MR 953547
- Camille Laurent and Matthieu Léautaud, Uniform observability estimates for linear waves, ESAIM Control Optim. Calc. Var. 22 (2016), no. 4, 1097–1136. MR 3570496, DOI 10.1051/cocv/2016046
- Matthieu Léautaud and Nicolas Lerner, Energy decay for a locally undamped wave equation, Ann. Fac. Sci. Toulouse Math. (6) 26 (2017), no. 1, 157–205 (English, with English and French summaries). MR 3626005, DOI 10.5802/afst.1528
- G. Lebeau and L. Robbiano, Contrôle exact de l’équation de la chaleur, Comm. Partial Differential Equations 20 (1995), no. 1-2, 335–356 (French). MR 1312710, DOI 10.1080/03605309508821097
- Gilles Lebeau and Luc Robbiano, Stabilisation de l’équation des ondes par le bord, Duke Math. J. 86 (1997), no. 3, 465–491 (French). MR 1432305, DOI 10.1215/S0012-7094-97-08614-2
- Jérôme Le Rousseau and Gilles Lebeau, On Carleman estimates for elliptic and parabolic operators. Applications to unique continuation and control of parabolic equations, ESAIM Control Optim. Calc. Var. 18 (2012), no. 3, 712–747. MR 3041662, DOI 10.1051/cocv/2011168
- Jérôme Le Rousseau, Gilles Lebeau, Peppino Terpolilli, and Emmanuel Trélat, Geometric control condition for the wave equation with a time-dependent observation domain, Anal. PDE 10 (2017), no. 4, 983–1015. MR 3649373, DOI 10.2140/apde.2017.10.983
- Gilles Lebeau and Enrique Zuazua, Null-controllability of a system of linear thermoelasticity, Arch. Rational Mech. Anal. 141 (1998), no. 4, 297–329. MR 1620510, DOI 10.1007/s002050050078
- Luc Miller, On the controllability of anomalous diffusions generated by the fractional Laplacian, Math. Control Signals Systems 18 (2006), no. 3, 260–271. MR 2272076, DOI 10.1007/s00498-006-0003-3
- Luc Miller, A direct Lebeau-Robbiano strategy for the observability of heat-like semigroups, Discrete Contin. Dyn. Syst. Ser. B 14 (2010), no. 4, 1465–1485. MR 2679651, DOI 10.3934/dcdsb.2010.14.1465
- R. B. Melrose and J. Sjöstrand, Singularities of boundary value problems. I, Comm. Pure Appl. Math. 31 (1978), no. 5, 593–617. MR 492794, DOI 10.1002/cpa.3160310504
- Frank W. J. Olver, Daniel W. Lozier, Ronald F. Boisvert, and Charles W. Clark (eds.), NIST handbook of mathematical functions, U.S. Department of Commerce, National Institute of Standards and Technology, Washington, DC; Cambridge University Press, Cambridge, 2010. With 1 CD-ROM (Windows, Macintosh and UNIX). MR 2723248
- James V. Ralston, Solutions of the wave equation with localized energy, Comm. Pure Appl. Math. 22 (1969), 807–823. MR 254433, DOI 10.1002/cpa.3160220605
- L. Robbiano, Fonction de coût et contrôle des solutions des équations hyperboliques, Asymptotic Anal. 10 (1995), no. 2, 95–115 (French, with French summary). MR 1324385
- Melissa Tacy, Semiclassical $L^p$ estimates of quasimodes on submanifolds, Comm. Partial Differential Equations 35 (2010), no. 8, 1538–1562. MR 2754054, DOI 10.1080/03605301003611006
- Melissa Tacy, The quantization of normal velocity does not concentrate on hypersurfaces, Comm. Partial Differential Equations 42 (2017), no. 11, 1749–1780. MR 3764926, DOI 10.1080/03605302.2017.1390676
- Luc Tartar, $H$-measures, a new approach for studying homogenisation, oscillations and concentration effects in partial differential equations, Proc. Roy. Soc. Edinburgh Sect. A 115 (1990), no. 3-4, 193–230. MR 1069518, DOI 10.1017/S0308210500020606
- Daniel Tataru, On the regularity of boundary traces for the wave equation, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 26 (1998), no. 1, 185–206. MR 1633000
- Marius Tucsnak and George Weiss, Observation and control for operator semigroups, Birkhäuser Advanced Texts: Basler Lehrbücher. [Birkhäuser Advanced Texts: Basel Textbooks], Birkhäuser Verlag, Basel, 2009. MR 2502023, DOI 10.1007/978-3-7643-8994-9
- John A. Toth and Steve Zelditch, Quantum ergodic restriction theorems. I: Interior hypersurfaces in domains wth ergodic billiards, Ann. Henri Poincaré 13 (2012), no. 4, 599–670. MR 2913617, DOI 10.1007/s00023-011-0154-8
- John A. Toth and Steve Zelditch, Quantum ergodic restriction theorems: manifolds without boundary, Geom. Funct. Anal. 23 (2013), no. 2, 715–775. MR 3053760, DOI 10.1007/s00039-013-0220-0
- John Toth and Steve Zelditch, Nodal intersections and geometric control, preprint arXiv:1708.05754, 2017.
- Michael VanValkenburgh, Exponential lower bounds for quasimodes of semiclassical Schrödinger operators, Math. Res. Lett. 16 (2009), no. 4, 721–734. MR 2525036, DOI 10.4310/MRL.2009.v16.n4.a13
- András Vasy, Propagation of singularities for the wave equation on manifolds with corners, Ann. of Math. (2) 168 (2008), no. 3, 749–812. MR 2456883, DOI 10.4007/annals.2008.168.749
- Maciej Zworski, Semiclassical analysis, Graduate Studies in Mathematics, vol. 138, American Mathematical Society, Providence, RI, 2012. MR 2952218, DOI 10.1090/gsm/138
Additional Information
- Jeffrey Galkowski
- Affiliation: Department of Mathematics, University College, London, United Kingdom
- MR Author ID: 1000007
- ORCID: 0000-0001-5228-4998
- Email: j.galkowski@ucl.ac.uk
- Matthieu Léautaud
- Affiliation: Département de Mathématiques, Université Paris-Sud, France
- Email: matthieu.leautaud@math.u-psud.fr
- Received by editor(s): March 4, 2019
- Received by editor(s) in revised form: June 14, 2019
- Published electronically: February 11, 2020
- Additional Notes: The first author is grateful to the National Science Foundation for support under the Mathematical Sciences Postdoctoral Research Fellowship DMS-1502661.
The second author was partially supported by the Agence Nationale de la Recherche under grants GERASIC ANR-13-BS01-0007-01 and ISDEEC ANR-16-CE40-0013. - © Copyright 2020 by the authors under Creative Commons Attribution 4.0 International (CC BY 4.0)
- Journal: Trans. Amer. Math. Soc. 373 (2020), 3177-3233
- MSC (2010): Primary 35L05, 93B07, 93B05, 35K05, 35P20
- DOI: https://doi.org/10.1090/tran/7938
- MathSciNet review: 4082236