Another look at the control properties of the Korteweg-de Vries equation

Résumé technique : Un nouvel examen des propriétés de contrôle de l'équation de Korteweg-de Vries

Cadre du problème
Ce papier examine la contrôlabilité exacte aux frontières de l'équation de Korteweg-de Vries (KdV) sur des domaines non bornés, spécifiquement la demi-droite droite ($\mathbb{R}^+ = (0, +\infty)$) et la demi-droite gauche ($\mathbb{R}^- = (-\infty, 0)$). L'étude traite du Problème aux Limites et aux Conditions Initiales (IBVP) pour l'équation KdV avec un terme de dérive :
$$\partial_t u + \partial_x u + \partial_x^3 u + u\partial_x u = 0$$
Les auteurs se concentrent sur le défi consistant à piloter une solution d'un état initial $\phi$ vers un état terminal $\psi$ dans un temps fini $T$ en utilisant des contrôles aux frontières.

• Demi-droite droite : Nécessite un unique contrôle de Dirichlet $u(0,t) = f(t)$.
• Demi-droite gauche : Nécessite deux conditions aux limites, $u(0,t) = g_1(t)$ et $\partial_x u(0,t) = g_2(t)$. L'étude examine spécifiquement les scénarios où un seul de ces contrôles est actif (soit $g_1=0$ soit $g_2=0$).

Le travail s'appuie sur les théories d'existence et d'unicité existantes (par exemple, Bona et al., Holmer, Rosier) qui ont établi que, bien que l'équation KdV linéaire soit exactement contrôlable sur la demi-droite, la nature des espaces de solutions (spécifiquement concernant les espaces de Sobolev pondérés et le comportement à l'infini) présente des obstacles à la contrôlabilité dans certains cadres fonctionnels. La question centrale abordée est de savoir s'il existe une classe d'états pour laquelle le système est exactement contrôlable dans le cadre fonctionnel moderne des espaces de Bourgain modifiés.

Méthodologie
Les auteurs emploient une combinaison de la Méthode d'Unicité Hilbertienne (HUM) et d'une approche novatrice qualifiée de « Contrôlabilité Opérationnelle ».

1. Contrôlabilité Opérationnelle : Il s'agit de l'innovation méthodologique principale de ce papier. Au lieu de s'appuyer uniquement sur des preuves d'existence abstraites, les auteurs caractérisent explicitement les entrées de contrôle requises pour atteindre la contrôlabilité exacte. Ils dérivent des relations globales entre l'état final et l'entrée de contrôle en utilisant des représentations intégrales des solutions. Cela est réalisé à travers trois cadres d'opérateurs distincts, qui sont montrés comme équivalents :

   • Opérateur de Forçage : Basé sur les représentations de Kenig et al. et Holmer, utilisant des fonctions d'Airy et des dérivées fractionnaires.
   • Opérateur de Frontière : Basé sur l'approche de Bona et al., utilisant des transformées intégrales spécifiques.
   • Méthode de Transformée Unifiée (UTM) : Basée sur les travaux de Fokas, utilisant des intégrales de contour complexes dans le plan spectral.
     En établissant des relations entre ces opérateurs, les auteurs fournissent des formules explicites pour le contrôle $f(t)$ (ou $g_1, g_2$) qui pilotent le système vers l'état désiré.

2. Cadre Fonctionnel : L'analyse est menée dans des espaces de Bourgain modifiés $X = X^{s,b} \cap D^\alpha$ avec $b < 1/2$ et $\alpha > 1/2$. Ce cadre permet de traiter des données initiales dans $H^s$ avec $-3/4 < s < 3/2$ (à l'exclusion de $s=1/2$), couvrant à la fois les cas de faible régularité et les cas critiques.

3. Stratégie de Preuve :

   • Cas Linéaire : La contrôlabilité exacte du système linéarisé est prouvée en établissant une inégalité d'observabilité pour le système adjoint rétrograde associé. Cela implique de prouver des estimées de traces et d'utiliser un argument de compacité-unicité pour montrer que la seule solution avec une observation aux frontières nulle est la solution triviale.
   • Cas Non Linéaire : Le problème non linéaire complet est abordé en utilisant un argument de point fixe (Théorème du Point Fixe de Banach). Les auteurs construisent une application basée sur l'opérateur de contrôle linéaire et le terme non linéaire, prouvant qu'il s'agit d'une contraction sur une boule fermée dans l'espace des solutions pour des données initiales et terminales suffisamment petites.

Contributions et Résultats Clés

• Théorème 1.1 (Demi-droite droite) : Les auteurs prouvent que pour tout $T > 0$, il existe un $\delta > 0$ tel que pour tout état initial $\phi \in L^2(\mathbb{R}^+)$ et état terminal $\psi$ dans une classe admissible $A^0_r(\phi, T)$ avec des normes suffisamment petites, le système admet une solution unique $u$ qui est opérationnellement exactement contrôlable. Cela signifie qu'il existe un contrôle $f \in H^{1/3}(0, T)$ explicitement caractérisé par les relations opérationnelles qui pilote le système de $\phi$ vers $\psi$.
• Théorème 1.2 (Demi-droite gauche) : De même, pour la demi-droite gauche avec un contrôle unique actif (soit Dirichlet $g_1$ soit Neumann $g_2$), le système est montré comme étant opérationnellement exactement contrôlable pour des données petites. Les auteurs fournissent des formules explicites pour les entrées de contrôle dans les deux cas ($g_1=0$ ou $g_2=0$).
• Absence du Phénomène de Longueur Critique : Une découverte significative est que le « phénomène de longueur critique » — où la contrôlabilité échoue pour des longueurs de domaine spécifiques dans des intervalles bornés — ne se produit pas sur la demi-droite. Grâce à une analyse spectrale et aux propriétés du système adjoint sur des domaines non bornés, les auteurs démontrent que l'inégalité d'observabilité tient quelle que soit l'étendue du domaine (effectivement infinie), contrastant fortement avec les résultats sur les domaines bornés $(0, L)$.
• Caractérisation Explicite : Contrairement à des travaux antérieurs qui peuvent prouver la contrôlabilité de manière non constructive, ce papier fournit des formules intégrales explicites (via les opérateurs de Forçage, de Frontière et UTM) qui définissent l'entrée de contrôle nécessaire pour atteindre l'état cible.

Signification et Revendications
Le papier revendique offrir une « nouvelle perspective » sur la contrôlabilité de l'équation KdV sur des domaines non bornés. Sa signification réside dans :

1. Contrôlabilité Opérationnelle : Introduction d'un cadre qui caractérise explicitement les contrôles, comblant le fossé entre la théorie du contrôle abstraite et les formules de solutions explicites. Cette approche est présentée comme potentiellement adaptable à d'autres équations dispersives non linéaires sur des domaines non bornés.
2. Résolution de Questions Ouvertes : Il répond à la question de savoir s'il existe une classe d'états pour laquelle le système KdV sur la demi-droite est exactement contrôlable, confirmant que cela est possible dans les cadres des espaces $L^2$ et de Bourgain modifiés, à condition que les données soient suffisamment petites.
3. Contraste avec les Domaines Bornés : Le travail met en évidence une différence fondamentale dans les propriétés de contrôle entre les domaines bornés et non bornés, spécifiquement la non-existence de longueurs critiques dans le cadre de la demi-droite, même avec l'inclusion du terme de dérive $\partial_x u$.
4. Unification des Méthodes : Le papier démontre l'équivalence des caractérisations de contrôle dérivées de l'opérateur de Forçage, de l'opérateur de Frontière et de l'UTM, fournissant une fondation théorique robuste pour les applications futures.

Les auteurs maintiennent un ton modeste concernant la portée, notant que si la théorie linéaire est établie, l'inégalité d'observabilité pour la gamme complète de $s$ dans le cadre non linéaire (spécifiquement $-3/4 < s \leq 3/2$) reste un problème ouvert pour une investigation future. Les résultats sont strictement théoriques, reposant sur l'analyse fonctionnelle et les estimées d'EDP sans propositions expérimentales.