Control of the Schrödinger equation in $\mathbb{R}^3$: The critical case

Cet article établit la contrôlabilité locale nulle au niveau $H^1$ pour l'équation de Schrödinger non linéaire critique en dimension trois, en démontrant d'abord le bon positionnement du problème via les estimées de Strichartz, puis la contrôlabilité de l'équation linéaire par la méthode d'unicité hilbertienne, et enfin le résultat non linéaire grâce à un argument de perturbation.

L'essentiel

🌊 Le Grand Voyage des Vagues Quantiques : Comment les Contrôler ?

Imaginez que vous êtes au bord de l'océan. Les vagues que vous voyez sont comme les particules d'énergie décrites par l'équation de Schrödinger. Dans le monde quantique, ces "vagues" (appelées fonctions d'onde) se déplacent, interfèrent et changent de forme.

Cet article de recherche s'intéresse à un problème très précis : Comment arrêter complètement une de ces vagues géantes et complexes pour qu'elle disparaisse totalement à un moment donné ?

Voici les trois étapes clés de leur découverte, racontées comme une histoire d'ingénierie.

---

1. Le Défi : La "Vague Critique" (Le Cas Difficile)

Les scientifiques étudient une équation spécifique appelée l'équation de Schrödinger non linéaire critique.

• L'analogie : Imaginez que vous essayez de calmer une vague d'océan.
  • Si la vague est petite et calme (cas "sous-critique"), c'est facile : vous mettez un petit bouclier, et ça s'arrête.
  • Mais ici, les auteurs s'intéressent au cas "critique". C'est comme une vague qui est à la limite de se briser elle-même. Elle a une énergie si intense et une forme si particulière que si vous essayez de la contrôler avec les méthodes habituelles, elle pourrait devenir incontrôlable ou se transformer en un trou noir mathématique (une "singularité").
  • C'est l'équivalent de tenter d'arrêter un tsunami en utilisant une simple cuillère à soupe. C'est le défi mathématique le plus difficile dans ce domaine.

2. La Solution en Trois Actes

Les auteurs (Braz e Silva, Capistrano-Filho, et leurs collègues) ont réussi à prouver qu'on peut arrêter cette vague, mais seulement si elle n'est pas trop grosse au départ. Voici comment ils ont fait :

Acte A : La Carte de Navigation (Les Estimations de Strichartz)

Avant de pouvoir contrôler la vague, il faut savoir comment elle se comporte.

• L'image : C'est comme si les scientifiques avaient créé une carte météo ultra-précise pour prédire exactement comment une vague va se déformer dans l'espace et le temps.
• Grâce à ces outils mathématiques (les estimations de Strichartz), ils ont pu prouver que le système est "bien posé". En clair : si on lance une petite vague, on sait exactement où elle sera, et elle ne va pas disparaître dans un trou mathématique.

Acte B : Le Phare et le Sonar (La Méthode HUM)

C'est le cœur de la découverte pour l'équation linéaire (la version simplifiée de la vague).

• L'analogie : Imaginez que vous êtes dans le brouillard avec un bateau. Vous voulez savoir si vous pouvez arrêter le bateau en émettant un signal sonore depuis une zone précise (votre contrôle).
• Les chercheurs utilisent une méthode appelée HUM (Méthode d'Unicité de Hilbert). C'est comme jouer à "rebondir" :
  1. Ils imaginent une vague qui part du futur (l'arrêt total) et remonte le temps vers le passé.
  2. Ils utilisent un "sonar" (une inégalité d'observabilité) pour vérifier : si on écoute la vague dans une zone spécifique (là où on a le contrôle), peut-on déduire où elle était au départ ?
  3. Ils prouvent que OUI, même si la vague est partout dans l'espace infini ($R^3$), si on l'écoute assez fort dans une zone précise (un anneau autour de l'origine), on peut toujours trouver le signal exact pour l'annuler complètement à la fin.

Acte C : Le Petit Coup de Pouce (L'Argument de Perturbation)

Maintenant, revenons à la vraie difficulté : la vague non linéaire (celle qui interagit avec elle-même, comme une vague qui grossit en se heurtant à une autre).

• L'analogie : On vient de prouver qu'on peut arrêter une vague calme (linéaire). Mais notre vague est un peu "capricieuse" (non linéaire).
• Les auteurs disent : "Si la vague est petite au départ (énergie faible), son comportement 'capricieux' est très faible. Elle se comporte presque comme une vague calme."
• Ils utilisent donc la solution pour la vague calme comme base, et ajoutent un petit "ajustement" (une perturbation) pour compenser la petite folie de la vague réelle.
• Le résultat : Si vous commencez avec une petite vague, vous pouvez trouver le signal de contrôle parfait pour la faire disparaître totalement à l'heure $T$.

---

🎯 En Résumé : Ce qu'ils ont prouvé

1. Le Contexte : Ils travaillent dans un espace infini (tout l'univers en 3 dimensions), pas dans un petit bassin fermé. C'est beaucoup plus dur.
2. La Condition : Cela ne fonctionne que si la vague de départ est petite (c'est ce qu'on appelle le "contrôle local"). On ne peut pas arrêter un tsunami géant avec cette méthode, mais on peut arrêter une vague modeste.
3. La Méthode : Ils ont combiné la prédiction mathématique (Strichartz), un système de sonar inversé (HUM) et une astuce de "petite correction" (perturbation).
4. L'Importance : C'est la première fois que l'on prouve qu'on peut contrôler ce type d'équation très difficile (critique) dans un espace infini. C'est une étape majeure pour comprendre comment manipuler l'énergie dans des systèmes physiques complexes.

🔮 Et après ? (Les Questions Ouvertes)

Les auteurs terminent en disant : "C'est un grand pas, mais il reste du travail !"

• Stabilisation : Peut-on mettre un système de contrôle automatique (un feedback) qui empêche la vague de grossir à jamais ?
• Grands Départs : Peut-on arrêter des vagues géantes (données grandes), pas seulement les petites ?
• Où placer le contrôle ? Peut-on arrêter la vague avec des capteurs placés n'importe où, ou faut-il une forme géométrique précise ?

En bref : Ces chercheurs ont montré que même pour les vagues d'énergie les plus complexes et instables, si elles sont assez petites, on a les outils mathématiques pour les faire disparaître sur commande. C'est une victoire de l'ingéniosité humaine sur le chaos mathématique !

Résumé technique

1. Problématique et Contexte

L'article s'intéresse au problème de la contrôlabilité locale à zéro (null controllability) pour l'équation de Schrödinger non linéaire (NLS) critique en énergie dans l'espace tridimensionnel $\mathbb{R}^3$.

L'équation étudiée est la suivante :
$$\begin{cases} i\partial_t u + \Delta u \pm |u|^4 u = f(x, t), & \text{sur } \mathbb{R}^3 \times [0, +\infty), \\ u(x, 0) = u_0(x) \in H^1(\mathbb{R}^3), \end{cases}$$
où le terme non linéaire $|u|^4u$ correspond au cas critique en dimension 3 (l'exposant de non-linéarité est $p=4$, ce qui correspond à la dimension critique $p = \frac{4}{d-2}$ pour $d=3$).

Le problème de contrôle : Étant donné un temps $T > 0$ et une donnée initiale $u_0$ dans l'espace d'énergie $H^1(\mathbb{R}^3)$, existe-t-il un contrôle interne $f(x,t)$ (supporté dans une région extérieure à une boule) tel que la solution $u$ du système satisfasse $u(T, \cdot) = 0$ ?

La particularité de ce travail réside dans le fait qu'il traite le cas critique (où la non-linéarité est à la limite de la dispersion) dans l'espace entier $\mathbb{R}^3$, là où la plupart des résultats antérieurs concernaient des domaines bornés ou des cas sous-critiques.

2. Méthodologie

Les auteurs utilisent une approche combinant l'analyse harmonique, la théorie des équations aux dérivées partielles (EDP) et la théorie du contrôle. La méthodologie se décompose en trois étapes principales :

A. Bien-poséness et Estimations de Strichartz

Pour traiter la non-linéarité critique, les auteurs établissent d'abord le bien-poséness local du problème de Cauchy dans l'espace $H^1(\mathbb{R}^3)$.

• Ils utilisent des estimations de Strichartz adaptées à la dimension 3 pour les paires admissibles $(q, r)$.
• Ils définissent des espaces de Banach adaptés (notés $S(I)$, $W(I)$, $Z(I)$) basés sur les normes $L^q_t L^r_x$ pour gérer la régularité de la solution.
• Un point clé est la relaxation du cadre de régularité : contrairement à la théorie critique standard qui opère souvent dans l'espace homogène $\dot{H}^1$, les auteurs montrent que le cadre $H^1$ est suffisant grâce aux propriétés de régularisation et aux estimations disponibles dans $\mathbb{R}^3$.

B. Contrôlabilité du Système Linéaire (Méthode HUM)

Pour le système linéaire associé ($i\partial_t u + \Delta u = \phi(x)h(x,t)$), la contrôlabilité est prouvée via la Méthode d'Unicité de Hilbert (HUM).

• Cela revient à établir une inégalité d'observabilité pour le système adjoint :
  $$\|v_0\|_{H^{-1}}^2 \leq C \int_0^T \|\phi v(t)\|_{H^{-1}}^2 dt$$
  où $v$ est la solution de l'équation adjointe $i\partial_t v + \Delta v = 0$.
• La preuve de cette inégalité repose sur :
  1. Une propriété de prolongement unique (unique continuation) pour l'équation de Schrödinger, déduite d'une estimation de Carleman (référence [21]).
  2. Une analyse par contradiction utilisant la compacité et la régularité des solutions (lissage local).
  3. La décomposition de l'espace et l'utilisation de la fonction de coupe $\phi(x)$ qui vaut 0 près de l'origine et 1 à l'infini.

C. Argument de Perturbation pour le Cas Non Linéaire

Une fois la contrôlabilité linéaire établie, les auteurs étendent le résultat au cas non linéaire critique grâce à un argument de perturbation (inspiré de Zuazua).

• L'idée est de considérer l'opérateur de contrôle comme une perturbation de l'opérateur linéaire.
• Pour des données initiales $u_0$ suffisamment petites ($\|u_0\|_{H^1} \leq \delta$), la non-linéarité $|u|^4u$ est traitée comme un terme source.
• L'existence d'un contrôle est obtenue en montrant qu'un opérateur non linéaire défini sur un petit ballon de $H^{-1}$ est une contraction, permettant d'utiliser le théorème du point fixe de Banach.

3. Résultats Principaux

L'article établit deux théorèmes fondamentaux :

• Théorème 1.2 (Contrôlabilité Linéaire) : Pour toute donnée initiale $u_0 \in H^1(\mathbb{R}^3)$ et tout temps $T > 0$, il existe un contrôle $h(x,t)$, supporté dans la région extérieure à une boule ($|x| > R$), tel que la solution du système linéaire s'annule à l'instant $T$.
• Théorème 1.1 (Contrôlabilité Locale Non Linéaire) : Il existe un seuil $\delta > 0$ tel que pour toute donnée initiale $u_0 \in H^1(\mathbb{R}^3)$ avec $\|u_0\|_{H^1} \leq \delta$, on peut trouver un contrôle $h \in C([0, T]; H^1(\mathbb{R}^3))$ tel que la solution du système non linéaire critique (1.5) satisfasse $u(T) = 0$.

Points techniques notables :

• Le contrôle est interne et agissant sur le complémentaire d'une boule ($\mathbb{R}^3 \setminus B_R(0)$).
• Le résultat est valable pour le cas défocalisant ($-|u|^4u$) et focalisant ($+|u|^4u$), car pour des données petites, le signe de la non-linéarité n'affecte pas l'analyse locale.
• La condition de contrôle géométrique (GCC) est satisfaite de manière triviale car le contrôle agit sur un ensemble non borné, ce qui diffère des résultats classiques sur les variétés compactes.

4. Contributions Clés

1. Extension au cas Critique en Espace Entier : C'est l'un des premiers résultats traitant la contrôlabilité locale pour l'équation NLS critique ($|u|^4u$) dans $\mathbb{R}^3$. La plupart des travaux antérieurs se limitaient aux cas sous-critiques ou aux domaines bornés.
2. Cadre $H^1$ vs $\dot{H}^1$ : Les auteurs montrent qu'il est possible de travailler directement dans l'espace $H^1$ (incluant la norme $L^2$) plutôt que dans l'espace homogène $\dot{H}^1$, ce qui est plus naturel pour les problèmes de contrôle où la masse est conservée.
3. Démonstration de l'Observabilité : Ils fournissent une preuve robuste de l'inégalité d'observabilité pour le système linéaire en utilisant des estimations de Carleman et des propriétés de régularité, sans avoir besoin de conditions géométriques restrictives sur le support du contrôle dans l'espace entier.

5. Signification et Perspectives

Ce travail constitue une avancée significative dans la théorie du contrôle des EDP dispersives non linéaires :

• Il comble un vide théorique concernant le comportement des solutions critiques sous l'effet d'un contrôle interne.
• Il ouvre la voie à l'étude de la stabilisation (par feedback) et de la contrôlabilité globale (pour des données grandes), qui sont identifiées comme des problèmes ouverts majeurs dans la section de conclusion.
• Il démontre que la condition de contrôle géométrique (GCC), souvent cruciale sur les variétés compactes, peut être contournée ou est naturellement satisfaite dans l'espace euclidien infini pour des supports de contrôle appropriés.

En résumé, cet article pose les fondations mathématiques rigoureuses pour le contrôle des équations de Schrödinger critiques en dimension 3, en combinant habilement les outils d'analyse moderne (Strichartz, Carleman) avec des techniques de contrôle optimal.