English

Subelliptic wave equations are never observable

Analysis of PDEs 2023-06-07 v5 Optimization and Control

Abstract

It is well-known that observability (and, by duality, controllability) of the elliptic wave equation, i.e., with a Riemannian Laplacian, in time T0T_0 is almost equivalent to the Geometric Control Condition (GCC), which stipulates that any geodesic ray meets the control set within time T0T_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 Δ=i=1mXiXi\Delta=-\sum_{i=1}^m X_i^*X_i on a manifold MM, and any measurable subset ωM\omega\subset M such that M\ωM\backslash \omega contains in its interior a point qq with [Xi,Xj](q)Span(X1,,Xm)[X_i,X_j](q)\notin \text{Span}(X_1,\ldots,X_m) for some 1i,jm1\leq i,j\leq m, we show that for any T0>0T_0>0, the wave equation with subelliptic Laplacian Δ\Delta is not observable on ω\omega in time T0T_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\ωM\backslash \omega. 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.

Cite

@article{arxiv.2002.01259,
  title  = {Subelliptic wave equations are never observable},
  author = {Cyril Letrouit},
  journal= {arXiv preprint arXiv:2002.01259},
  year   = {2023}
}

Comments

Analysis & PDE, Mathematical Sciences Publishers

R2 v1 2026-06-23T13:30:40.002Z