Geometric control condition for the wave equation with a time-dependent observation domain

Abstract

We characterize the observability property (and, by duality, the controllability and the stabilization) of the wave equation on a Riemannian manifold $\Omega ,$ with or without boundary, where the observation (or control) domain is time-varying. We provide a condition ensuring observability, in terms of propagating bicharacteristics. This condition extends the well-known geometric control condition established for fixed observation domains. As one of the consequences, we prove that it is always possible to find a time-dependent observation domain of arbitrarily small measure for which the observability property holds. From a practical point of view, this means that it is possible to reconstruct the solutions of the wave equation with only few sensors (in the Lebesgue measure sense), at the price of moving the sensors in the domain in an adequate way.We provide several illustrating examples, in which the observationdomain is the rigid displacement in $\Omega$ of a fixed domain, withspeed $v,$ showing that the observability property depends both on $v$and on the wave speed. Despite the apparent simplicity of some of ourexamples, the observability property can depend on nontrivial arithmeticconsiderations.

Cited by in corpus (17)

• Characterization by observability inequalities of controllability and stabilization properties
• Semi-uniform stability of operator semigroups and energy decay of damped waves
• Space time stabilized finite element methods for a unique continuation problem subject to the wave equation
• On Carleman and Observability Estimates for Wave Equations on Time-Dependent Domains
• A finite element data assimilation method for the wave equation
• Spacetime finite element methods for control problems subject to the wave equation
• A fully discrete numerical control method for the wave equation
• Subelliptic wave equations are never observable
• Asymptotics for periodic systems
• On the controllability of some equations of Sobolev-Galpern type
• Null Controllability for Wave Equations with Memory
• Exponential stabilization of waves for the Zaremba boundary condition
• Control of waves on Lorentzian manifolds with curvature bounds
• On boundary controllability and stabilizability of the 1D wave equation in non-cylindrical domain
• Estimates on the generalization error of Physics Informed Neural Networks (PINNs) for approximating a class of inverse problems for PDEs
• Impulse and sampled-data optimal control of heat equations, and error estimates
• Finite Codimensional Controllability, and Optimal Control Problems with Endpoint State Constraints