REVIEW 4 minor 43 references
Uniform controllability for the wave equation with large potential
T0 review · 0 major / 4 minor · reviewed 2026-07-14 · grok-4.5
Pith's one-line read Uniform observability of waves with large potential holds exactly when every ray of both the free geodesic flow and the V-modified Hamiltonian flow hits the observation set in time T.
desk verdict Sharp geometric characterization of when large potentials destroy uniform wave observability; the equivalence is clean and the proofs hold up. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
GCC+_V (the simultaneous geometric control condition for the free geodesic flow and for the Hamiltonian flow of q=√(|ξ|^{2}_g+V)), proved necessary and sufficient by contradiction via semiclassical and second-microlocal defect measures that capture energy concentration along both families of rays.
What would settle it
Exhibit a smooth positive V and an open set ω such that every free geodesic of length T meets ω, yet some trajectory of the Hamiltonian q=√(|ξ|^{2}+V) never meets ω, and then check whether a sequence of solutions with energy 1 and observation norm o(1) still exists as λ o∞; if no such sequence appears, the necessity claim fails.
Extended reading notes
Core claim
For the wave equation on a compact Riemannian manifold with potential λ V (λ≥1 large), a uniform-in-λ observability cost exists if and only if the pair (ω,T) satisfies the geometric control condition GCC+_V: every free geodesic of length T and every trajectory of the Hamiltonian q=√(|ξ|^{2}_g+V) both enter the observation set ω within time T.
Load-bearing premise
The potential V must be smooth, strictly positive and normalized to height one; this regularity is used both to define the modified Hamiltonian flow and to construct the second-microlocal measures that track energy at frequencies much larger than √λ.
Editorial extensions
If this is right
- Whenever GCC+_V holds, the control cost for the wave equation remains bounded independently of the size of the potential λ V.
- If a critical point of V lies outside the observation set, the observability cost must blow up at least like exp(c√λ).
- On the circle, uniform controllability is possible precisely when the observation set covers every critical point of V.
- On the sphere or the flat torus, rotationally symmetric potentials admit nontrivial observation sets that still give uniform cost.
Reading between the lines
- The same geometric criterion should decide uniform observability for the Schrödinger equation with large potential, because the second-microlocal measures already encode the high-frequency dynamics shared by both operators.
- The exponential lower bound exp(c√λ) is likely sharp on manifolds of revolution once the Agmon distance to the observation set is computed, matching the one-dimensional upper bound of Zuazua.
- Relaxing smoothness of V to C^{1,α} would still allow the Hamiltonian flow to be defined, so the necessity half of the theorem may survive under weaker regularity.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the wave equation on a compact Riemannian manifold without boundary, with a large time-independent potential λV (λ≥1, V smooth, positive, ||V||_∞=1). It introduces the geometric control condition (GCC+_V), which requires that every bicharacteristic of both the free geodesic flow and the Hamiltonian flow of q=√(|ξ|^{2}_g+V) meets the observation set ω in time T. Theorem 1.5 asserts that (GCC+_V) is necessary and sufficient for the existence of an observability constant C_obs independent of λ. Sufficiency is proved by contradiction via semiclassical and second-microlocal defect measures (Sections 3–5); necessity is obtained by concentrating coherent states along a non-controlled bicharacteristic of q (Section 6). Geometric examples on the circle, torus and sphere are given, together with a lower bound of order T^{-1} exp(C√λ) for the optimal cost when (GCC_V) fails.
Significance. The result gives a clean geometric characterization of uniform-in-λ controllability for the wave equation with large potential, extending the classical Bardos–Lebeau–Rauch–Taylor theorem and the exponential bounds of Laurent–Léautaud. The introduction of second-microlocal measures on the cosphere at infinity (Theorem 3.5) and the slice-disintegration theorem for half-wave solutions (Theorem 4.10) are technically solid and of independent interest for high-frequency analysis. The geometric examples and the matching lower bound of order exp(C√λ) make the necessity of (GCC+_V) concrete. The proofs are written out in full and rely only on standard tools of semiclassical analysis under the stated smoothness assumptions.
minor comments (4)
- The notation (GCC+_V) is introduced both as the conjunction of (GCC) and (GCC_V) and as the single condition on the flow of q; a short clarifying sentence after Definition 1.2 would avoid any momentary ambiguity.
- In Section 3 the second-microlocal measure is defined via homogeneous symbols of degree 0; a brief remark that the construction extends routinely to symbols of any fixed order would help readers who wish to reuse the tool.
- Figures 1–4 are helpful but the captions could explicitly recall which of (GCC), (GCC_V) or (GCC+_V) is illustrated, especially for the torus example of Lemma 1.9.
- A few typographical slips appear (e.g., “observability cost” sometimes italicized inconsistently; “Half-wave equations” in the keywords). These are purely cosmetic.
Circularity Check
No significant circularity: pure geometric-analytic equivalence proved by independent contradiction arguments via defect measures.
full rationale
The central claim (Theorem 1.5) equates the independently defined geometric condition (GCC+_V)—formulated via the Hamiltonian flows of q=√(|ξ|^{2}_g+V) and |ξ|_g on the cotangent bundle—with the existence of a λ-uniform observability cost for the wave equation. Sufficiency (Section 5) assumes a sequence violating (UO), rescales to semiclassical parameter h=1/√λ when λ o∞, extracts semiclassical/2-microlocal defect measures (Theorems 3.5, 4.10), and obtains a contradiction because (GCC+_V) forces the measures to vanish on the observation set. Necessity (Section 6) constructs coherent-state solutions concentrating on a non-controlled bicharacteristic of q (explicitly avoiding ω) whose energy remains bounded below while the observation vanishes, again without presupposing the conclusion. Both directions rely only on standard pseudodifferential calculus, energy conservation, and propagation of measures along the flows; no quantity is defined in terms of the observability constant, no parameters are fitted to data, and self-citations (BLR92, LL16, etc.) supply classical black-box tools rather than load-bearing premises that reduce the claim to itself. The argument is therefore self-contained and non-circular.
Assumptions & free parameters
assumptions (3)
- domain assumption M is a smooth compact connected Riemannian manifold without boundary; V is smooth, positive and normalized ||V||_∞=1.
- standard math Existence and uniqueness of semiclassical and second-microlocal defect measures for bounded L2 sequences (Propositions 2.8, 2.11, Theorem 3.5).
- standard math The classical geometric control condition (GCC) implies observability for the wave equation with fixed potential (Bardos–Lebeau–Rauch–Taylor).
invented entities (2)
-
Geometric control condition with respect to potential (GCC+_V)
-
Second-microlocal defect measures on the cosphere at infinity
Cite this review
Pith. "Pith review of Uniform controllability for the wave equation with large potential." pith.science (2026). https://pith.science/paper/SW4AT5LU
@misc{pith2026260711702,
author = {Pith},
title = {Pith review of: Uniform controllability for the wave equation with large potential},
year = {2026},
howpublished = {\url{https://pith.science/paper/SW4AT5LU}},
note = {Machine review of arXiv:2607.11702}
}
abstract
This paper investigates the dependence of the control cost for a wave equation with respect to perturbation by a time-independent potential $\lmbd V$ scaled by a large parameter $\lmbd$ on a compact Riemannian manifold. We introduce the geometric control condition~\eqref{GCC+}, a variant of the geometric control condition of Bardos--Lebeau--Rauch--Taylor, tailored to accommodate the influence of the potential $V$. We show that~\eqref{GCC+} is necessary and sufficient for the existence of a uniform \emph{observability cost} with respect to the large parameter $\lmbd$. We provide geometric examples satisfying~\eqref{GCC+} and estimate the blow-up rate of the \emph{observability cost} in situations where it fails. The proofs rely on semiclassical and second microlocal defect measures.
Figures
Figures from the paper (4 more)
Reference graph
Works this paper leans on
-
[1]
Semiclassical completely integrable systems: long-time dynamics and observability via two-microlocal W igner measures
Nalini Anantharaman, Clotilde Fermanian-Kammerer, and Fabricio Maci \`a . Semiclassical completely integrable systems: long-time dynamics and observability via two-microlocal W igner measures. Amer. J. Math. , 137(3):577--638, 2015
2015
-
[2]
Contr\^ole analytique de l'\'equation des ondes et de l'\'equation de S chr\"odinger sur des surfaces de revolution
Brice Allibert. Contr\^ole analytique de l'\'equation des ondes et de l'\'equation de S chr\"odinger sur des surfaces de revolution. Comm. Partial Differential Equations , 23(9-10):1493--1556, 1998
1998
-
[3]
Wigner measures and observability for the S chr\"odinger equation on the disk
Nalini Anantharaman, Matthieu L \'e autaud, and Fabricio Maci \`a . Wigner measures and observability for the S chr\"odinger equation on the disk. Invent. Math. , 206(2):485--599, 2016
2016
-
[4]
Semiclassical measures for the S chr \"o dinger equation on the torus
Nalini Anantharaman and Fabricio Maci \`a . Semiclassical measures for the S chr \"o dinger equation on the torus. J. Eur. Math. Soc. (JEMS) , 16(6):1253--1288, 2014
2014
-
[5]
Condition n\'ecessaire et suffisante pour la contr\^olabilit\'e exacte des ondes
Nicolas Burq and Patrick G\'erard. Condition n\'ecessaire et suffisante pour la contr\^olabilit\'e exacte des ondes. C. R. Acad. Sci. Paris S\'er. I Math. , 325(7):749--752, 1997
1997
-
[6]
Sharp sufficient conditions for the observation, control, and stabilization of waves from the boundary
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(5):1024--1065, 1992
1992
-
[7]
N. Burq. Contr\^olabilit\'e exacte des ondes dans des ouverts peu r\'eguliers. Asymptot. Anal. , 14(2):157--191, 1997
1997
-
[8]
Riemannian geometry , volume 98 of Cambridge Studies in Advanced Mathematics
Isaac Chavel. Riemannian geometry , volume 98 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, second edition, 2006. A modern introduction
2006
Show all 43 references
-
[9]
Control and nonlinearity , volume 136 of Mathematical Surveys and Monographs
Jean-Michel Coron. Control and nonlinearity , volume 136 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2007
2007
-
[10]
Dependence of high-frequency waves with respect to potentials
Belhassen Dehman and Sylvain Ervedoza. Dependence of high-frequency waves with respect to potentials. SIAM J. Control Optim. , 52(6):3722--3750, 2014
2014
-
[11]
Distributions
Johannes Jisse Duistermaat and Johan Antoon Casper Kolk. Distributions . Cornerstones. Birkh\"auser Boston, Inc., Boston, MA, 2010. Theory and applications, Translated from the Dutch by J. P. van Braam Houckgeest
2010
-
[12]
Controllability of two coupled wave equations on a compact manifold
Belhassen Dehman, J \'e r \^o me Le Rousseau, and Matthieu L \'e autaud. Controllability of two coupled wave equations on a compact manifold. Arch. Ration. Mech. Anal. , 211(1):113--187, 2014
2014
-
[13]
Szymon Dolecki and David L. Russell. A general theory of observation and control. SIAM J. Control Optim. , 15(2):185--220, 1977
1977
-
[14]
Spectral asymptotics in the semi-classical limit , volume 268 of London Mathematical Society Lecture Note Series
Mouez Dimassi and Johannes S j\"o strand. Spectral asymptotics in the semi-classical limit , volume 268 of London Mathematical Society Lecture Note Series . Cambridge University Press, Cambridge, 1999
1999
-
[15]
Mathematical theory of scattering resonances , volume 200 of Graduate Studies in Mathematics
Semyon Dyatlov and Maciej Zworski. Mathematical theory of scattering resonances , volume 200 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2019
2019
-
[16]
On the optimality of the observability inequalities for parabolic and hyperbolic systems with potentials
Thomas Duyckaerts, Xu Zhang, and Enrique Zuazua. On the optimality of the observability inequalities for parabolic and hyperbolic systems with potentials. Ann. Inst. H. Poincar\'e C Anal. Non Lin\'eaire , 25(1):1--41, 2008
2008
-
[17]
Fermanian Kammerer
C. Fermanian Kammerer. Propagation and absorption of concentration effects near shock hypersurfaces for the heat equation. Asymptot. Anal. , 24(2):107--141, 2000
2000
-
[18]
Mesures semi-classiques 2-microlocales
Clotilde Fermanian-Kammerer. Mesures semi-classiques 2-microlocales. C. R. Acad. Sci. Paris S\'er. I Math. , 331(7):515--518, 2000
2000
-
[19]
Mesures semi-classiques et croisement de modes
Clotilde Fermanian-Kammerer and Patrick G \'e rard. Mesures semi-classiques et croisement de modes. Bull. Soc. Math. France , 130(1):123--168, 2002
2002
-
[20]
Microlocal defect measures
Patrick G \'e rard. Microlocal defect measures. Comm. Partial Differential Equations , 16(11):1761--1794, 1991
1991
-
[21]
Oscillations and concentration effects in semilinear dispersive wave equations
Patrick G \'e rard. Oscillations and concentration effects in semilinear dispersive wave equations. J. Funct. Anal. , 141(1):60--98, 1996
1996
-
[22]
Riemannian geometry
Sylvestre Gallot, Dominique Hulin, and Jacques Lafontaine. Riemannian geometry . Universitext. Springer-Verlag, Berlin, third edition, 2004
2004
-
[23]
Semi-classical analysis for the S chr\"odinger operator and applications , volume 1336 of Lecture Notes in Mathematics
Bernard Helffer. Semi-classical analysis for the S chr\"odinger operator and applications , volume 1336 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1988
1988
-
[24]
The analysis of linear partial differential operators
Lars H \"o rmander. The analysis of linear partial differential operators. III , volume 274 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 1985. Pseudodifferential operators
1985
-
[25]
Multiple wells in the semiclassical limit
Bernard Helffer and Johannes Sj \"o strand. Multiple wells in the semiclassical limit. I . Comm. Partial Differential Equations , 9(4):337--408, 1984
1984
-
[26]
Long time energy averages and a lower resolvent estimate for damped waves
Matthieu L \'e autaud. Long time energy averages and a lower resolvent estimate for damped waves. arXiv preprint arXiv:2309.12709 , 2023
2023 arXiv
-
[27]
\'E quation des ondes amorties
Gilles Lebeau. \'E quation des ondes amorties. In Algebraic and geometric methods in mathematical physics ( K aciveli, 1993) , volume 19 of Math. Phys. Stud. , pages 73--109. Kluwer Acad. Publ., Dordrecht, 1996
1993
-
[28]
Metrics on the phase space and non-selfadjoint pseudo-differential operators , volume 3 of Pseudo-Differential Operators
Nicolas Lerner. Metrics on the phase space and non-selfadjoint pseudo-differential operators , volume 3 of Pseudo-Differential Operators. Theory and Applications . Birkh\"auser Verlag, Basel, 2010
2010
-
[29]
Contr\^olabilit\'e exacte, perturbations et stabilisation de syst\`emes distribu\'es
Jacques-Louis Lions. Contr\^olabilit\'e exacte, perturbations et stabilisation de syst\`emes distribu\'es. T ome 1 , volume 8 of Recherches en Math\'ematiques Appliqu\'ees [Research in Applied Mathematics] . Masson, Paris, 1988. Contr\^olabilit\'e exacte. [Exact controllabilit...
1988
-
[30]
Uniform observability estimates for linear waves
Camille Laurent and Matthieu L \'e autaud. Uniform observability estimates for linear waves. ESAIM Control Optim. Calc. Var. , 22(4):1097--1136, 2016
2016
-
[31]
Quantitative unique continuation for operators with partially analytic coefficients
Camille Laurent and Matthieu L \'e autaud. Quantitative unique continuation for operators with partially analytic coefficients. A pplication to approximate control for waves. J. Eur. Math. Soc. (JEMS) , 21(4):957--1069, 2019
2019
-
[32]
Observability of the heat equation, geometric constants in control theory, and a conjecture of L uc M iller
Camille Laurent and Matthieu L \'e autaud. Observability of the heat equation, geometric constants in control theory, and a conjecture of L uc M iller. Anal. PDE , 14(2):355--423, 2021
2021
-
[33]
On uniform observability of gradient flows in the vanishing viscosity limit
Camille Laurent and Matthieu L \'e autaud. On uniform observability of gradient flows in the vanishing viscosity limit. J. \'Ec. polytech. Math. , 8:439--506, 2021
2021
-
[34]
On uniform controllability of 1 D transport equations in the vanishing viscosity limit
Camille Laurent and Matthieu L\'eautaud. On uniform controllability of 1 D transport equations in the vanishing viscosity limit. C. R. Math. Acad. Sci. Paris , 361:265--312, 2023
2023
-
[35]
Uniform observation of semiclassical S chr\"odinger eigenfunctions on an interval
Camille Laurent and Matthieu L \'e autaud. Uniform observation of semiclassical S chr\"odinger eigenfunctions on an interval. Tunis. J. Math. , 5(1):125--170, 2023
2023
-
[36]
High-frequency propagation for the S chr\"odinger equation on the torus
Fabricio Maci \`a . High-frequency propagation for the S chr\"odinger equation on the torus. J. Funct. Anal. , 258(3):933--955, 2010
2010
-
[37]
Propagation d'ondes semi-classiques a travers une interface et mesures 2-microlocales
Luc Miller. Propagation d'ondes semi-classiques a travers une interface et mesures 2-microlocales . PhD thesis, Palaiseau, Ecole polytechnique, 1996
1996
-
[38]
Short waves through thin interfaces and 2-microlocal measures
Luc Miller. Short waves through thin interfaces and 2-microlocal measures. In Journ\'ees ``\'Equations aux D \'eriv\'ees P artielles'' ( S aint- J ean-de- M onts, 1997) , pages Exp. No. XII, 12. \'Ecole Polytech., Palaiseau, 1997
1997
-
[39]
On the lack of observability for wave equations: a G aussian beam approach
Fabricio Maci \`a and Enrique Zuazua. On the lack of observability for wave equations: a G aussian beam approach. Asymptot. Anal. , 32(1):1--26, 2002
2002
-
[40]
Exponential decay of solutions to hyperbolic equations in bounded domains
Jeffrey Rauch and Michael Taylor. Exponential decay of solutions to hyperbolic equations in bounded domains. Indiana Univ. Math. J. , 24:79--86, 1974
1974
-
[41]
H -measures, a new approach for studying homogenisation, oscillations and concentration effects in partial differential equations
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(3-4):193--230, 1990
1990
-
[42]
Exact controllability for semilinear wave equations in one space dimension
Enrique Zuazua. Exact controllability for semilinear wave equations in one space dimension. Ann. Inst. H. Poincar\'e C Anal. Non Lin\'eaire , 10(1):109--129, 1993
1993
-
[43]
Semiclassical analysis , volume 138 of Graduate Studies in Mathematics
Maciej Zworski. Semiclassical analysis , volume 138 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2012
2012
Reviewed July 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.