Unique continuation for water waves and dispersive multiplier equations

1. Problématique et Contexte

L'article s'attaque au problème de la continuation unique pour deux classes d'équations aux dérivées partielles (EDP) décrivant la propagation des ondes :

1. Les équations des ondes de surface (Water Waves) : Un système non-linéaire décrivant l'évolution d'un fluide incompressible et irrotationnel avec une surface libre.
2. Les équations de dispersion linéaires (Dispersive Multiplier Equations) : Des EDP linéaires de la forme $u_t = -i\omega(D)u$ en dimension périodique.

Le cœur du problème est le suivant : Si une solution est nulle (ou « au repos ») sur un ouvert de l'espace-temps (c'est-à-dire sur une région spatiale non vide pendant un intervalle de temps arbitrairement court), peut-on en déduire que la solution est nulle partout et pour tout temps ?

L'auteur vise à fournir une preuve simple et autonome de cette propriété pour les ondes de surface, en la reliant aux propriétés du opérateur Dirichlet-to-Neumann (DN), et à étendre ce résultat aux équations de dispersion linéaires sous des conditions de croissance asymptotique sur le symbole de dispersion.

2. Méthodologie

L'article utilise deux approches distinctes selon le type d'équation considéré :

A. Pour les ondes de surface (Approche par l'opérateur DN)

L'auteur reformule le problème des ondes de surface (système 3D+1D) en utilisant la formulation de Zakharov–Craig–Sulem, qui réduit le système à une équation sur la surface libre en introduisant un opérateur non-local, l'opérateur Dirichlet-to-Neumann ($G(\eta, b)$).

• Hypothèses de régularité : On suppose que la surface $\eta$ et le fond $b$ sont suffisamment réguliers ($H^{k+1}$) et que la condition de signe de Taylor (stabilité) est satisfaite.
• Propriété de rigidité harmonique : La preuve repose sur le fait que le potentiel de vitesse $\Phi$ est harmonique dans le domaine fluide. L'auteur utilise un résultat classique d'analyse complexe et d'EDP : si une fonction harmonique et sa dérivée normale s'annulent sur un ouvert de la frontière, alors la fonction est nulle partout dans le domaine.
• Lien avec l'opérateur DN : En montrant que si la surface est plate ($\eta=0$) et la vitesse horizontale nulle sur un ouvert, alors le potentiel de surface $\varphi$ et son image par l'opérateur DN s'annulent sur cet ouvert, on déduit par la propriété de continuation unique de l'opérateur DN que le potentiel global est nul.

B. Pour les équations de dispersion linéaires (Approche par l'analyse de Fourier non-harmonique)

Pour les équations linéaires $u_t = -i\omega(D)u$, la méthode est purement spectrale.

• Condition de croissance : L'auteur impose une condition asymptotique sur le symbole de dispersion $\omega(k)$ :
  $$\frac{|\omega(k)|}{|k|} \to \infty \quad \text{quand} \quad |k| \to \infty.$$
  Cela implique que la vitesse de phase $|c(k)| = |\omega(k)|/|k|$ est non bornée.
• Théorème de Beurling non-harmonique : La preuve utilise une version multidimensionnelle du théorème de Beurling concernant les séries de Fourier non-harmoniques. L'idée est de montrer que l'ensemble des fréquences spatio-temporelles $\Lambda = \{(k, \omega(k))\}$ forme une suite « régulière » et que la densité de ces points dans l'espace des phases est suffisamment faible pour garantir que toute fonction construite sur ces fréquences qui s'annule sur un ouvert doit être identiquement nulle.
• Analyse géométrique : L'auteur analyse la distribution des points $\Lambda$ dans le plan $(k, \omega(k))$ en utilisant des estimations de comptage dans des anneaux et des carrés, démontrant que la condition de croissance de $\omega$ satisfait les hypothèses du théorème de Beurling (via le théorème 8.4.5 de Tucsnak et Weiss).

3. Résultats Principaux

Pour les ondes de surface

• Théorème de continuation unique : Si une solution $(\eta, \varphi)$ du système des ondes de surface est « au repos » sur un ouvert $O$ pendant un intervalle de temps $I$ (c'est-à-dire $\eta=0$ et $\nabla \varphi = 0$ sur $O \times I$), alors la solution est identiquement nulle partout pour tout temps.
• Corollaire : Si à un instant $t_1$, la solution est au repos sur un ouvert et que la dérivée temporelle de la surface $\partial_t \eta$ est également nulle sur cet ouvert, alors la solution est nulle globalement.
• Différence avec les travaux antérieurs : Contrairement à la preuve de Kenig, Ponce et Vega (2020) qui utilise des estimées de régularité, cette preuve est plus directe et repose sur la rigidité imposée par le potentiel harmonique via l'opérateur DN.

Pour les équations de dispersion linéaires

• Théorème de continuation unique : Pour l'équation $u_t = -i\omega(D)u$ avec conditions périodiques, si la solution $u$ s'annule sur un ouvert de l'espace-temps, alors $u \equiv 0$, à condition que $\frac{|\omega(k)|}{|k|} \to \infty$.
• Applications : Ce résultat s'applique au système de Schrödinger ($\omega(k)=k^2$), à l'équation KdV linéarisée ($\omega(k)=-k^3$) et aux ondes de gravité-capillaires ($\omega(k) \approx \sqrt{k^3}$).
• Nuance importante : Pour les ondes de gravité-capillaires, la présence de la tension de surface (terme en $k^3$) est cruciale pour satisfaire la condition de croissance asymptotique. Sans elle (ondes de gravité pures en profondeur finie), la vitesse de phase est bornée et la propriété ne s'applique pas nécessairement de la même manière.

4. Contributions Clés et Signification

1. Simplicité et Autonomie : L'article offre une preuve courte et auto-contenue de la continuation unique pour les ondes de surface, évitant les techniques lourdes d'analyse micro-locale en se concentrant sur la structure harmonique du potentiel de vitesse.
2. Lien entre Non-localité et Dispersion : L'auteur met en évidence un lien conceptuel fort :
   • Pour les ondes de surface, la continuation unique provient de la non-localité de l'opérateur DN (lié à l'existence d'un potentiel harmonique dans le volume).
   • Pour les équations de dispersion, elle provient de la vitesse de propagation infinie (vitesse de phase non bornée) induite par la croissance du symbole $\omega(k)$.
3. Implications Physiques et Mathématiques :
   • Physique : Le résultat suggère qu'il est impossible de créer une perturbation locale d'une surface d'eau au repos sans que l'effet ne se propage instantanément (ou du moins, sans que la solution ne soit non nulle partout), en raison de la nature incompressible du fluide.
   • Contrôle et Inversion : Ces résultats sont fondamentaux pour la théorie du contrôle (observabilité locale) et les problèmes inverses. Ils garantissent que si l'on observe une région de l'espace-temps, on peut théoriquement reconstruire l'état global du système, à condition que les conditions de régularité et de dispersion soient remplies.
4. Généralisation : L'application du théorème de Beurling aux équations de dispersion offre un cadre unifié pour comprendre la continuation unique au-delà des équations spécifiques, reliant la géométrie du spectre de dispersion à la propriété de continuation.

En résumé, cet article démontre que la propriété de continuation unique est une caractéristique intrinsèque des systèmes d'ondes gouvernés par des potentiels harmoniques ou des dispersions fortes, reliant la rigidité mathématique des solutions à la physique de la propagation des ondes.