Controllability of two coupled wave equations on a compact manifold

Belhassen Dehman (1) , Jérôme Le Rousseau (2) , Matthieu Léautaud (3)

1 LR-LAMSIN-ENIT - Laboratoire de Modélisation Mathématique et Numérique dans les Sciences de l'Ingénieur [Tunis]
2 MAPMO - Mathématiques - Analyse, Probabilités, Modélisation - Orléans
3 LM-Orsay - Laboratoire de Mathématiques d'Orsay

We consider the exact controllability problem on a compact manifold $\Omega$ for two coupled wave equations, with a control function acting on one of them only. Action on the second wave equation is obtained through a coupling term. First, when the two waves propagate with the same speed, we introduce the time $\T_0$ for which all geodesics traveling in $\Omega$ went through the control region $\omega$, then through the coupling region $\O$, and finally came back in $\omega$. We prove that the system is controllable if and only if both $\omega$ and $\O$ satisfy the Geometric Control Condition and the control time is larger than $\T_0$. Second, we prove that the associated HUM control operator is a pseudodifferential operator and we exhibit its principal symbol. Finally, if the two waves propagate with different speeds, we give sharp sufficient controllability conditions on the functional spaces, the geometry of the sets $\omega$ and $\O$, and the minimal time.

Mots clés: Wave equation; system; microlocal defect measures; controllability; HUM operator

Domaines: Equations aux dérivées partielles [math.AP]

Belhassen Dehman, Jérôme Le Rousseau, Matthieu Léautaud. Controllability of two coupled wave equations on a compact manifold. 2012. ⟨hal-00686967v1⟩