
arXiv: 2002.01259
It is well-known that observability (and, by duality, controllability) of the elliptic wave equation, i.e., with a Riemannian Laplacian, in time $T_0$ is almost equivalent to the Geometric Control Condition (GCC), which stipulates that any geodesic ray meets the control set within time $T_0$. We show that in the subelliptic setting, GCC is never verified, and that subelliptic wave equations are never observable in finite time. More precisely, given any subelliptic Laplacian $Δ=-\sum_{i=1}^m X_i^*X_i$ on a manifold $M$, and any measurable subset $ω\subset M$ such that $M\backslash ω$ contains in its interior a point $q$ with $[X_i,X_j](q)\notin \text{Span}(X_1,\ldots,X_m)$ for some $1\leq i,j\leq m$, we show that for any $T_0>0$, the wave equation with subelliptic Laplacian $Δ$ is not observable on $ω$ in time $T_0$. The proof is based on the construction of sequences of solutions of the wave equation concentrating on geodesics (for the associated sub-Riemannian distance) spending a long time in $M\backslash ω$. As a counterpart, we prove a positive result of observability for the wave equation in the Heisenberg group, where the observation set is a well-chosen part of the phase space.
Analysis & PDE, Mathematical Sciences Publishers
Controllability, Observability, observability, Hypoelliptic equations, Nilpotent and solvable Lie groups, Subelliptic equations, Pseudodifferential operators as generalizations of partial differential operators, [MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC], subelliptic, sub-Riemannian, Mathematics - Analysis of PDEs, Optimization and Control (math.OC), FOS: Mathematics, Wave equation, wave equation, [MATH.MATH-AP] Mathematics [math]/Analysis of PDEs [math.AP], Geometric optics, Mathematics - Optimization and Control, Analysis of PDEs (math.AP)
Controllability, Observability, observability, Hypoelliptic equations, Nilpotent and solvable Lie groups, Subelliptic equations, Pseudodifferential operators as generalizations of partial differential operators, [MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC], subelliptic, sub-Riemannian, Mathematics - Analysis of PDEs, Optimization and Control (math.OC), FOS: Mathematics, Wave equation, wave equation, [MATH.MATH-AP] Mathematics [math]/Analysis of PDEs [math.AP], Geometric optics, Mathematics - Optimization and Control, Analysis of PDEs (math.AP)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
