Finite-time stabilization via impulse control of degenerate singular parabolic equations

1. Problématique et Contexte

L'article étudie la contrôlabilité nulle par impulsions d'équations paraboliques dégénérées et singulières en dimension un. Le système modélisé est de la forme :
$$\partial_t y - (x^\alpha y_x)_x - \frac{\mu}{x^\beta} y = 0$$
défini sur le domaine $(0, 1) \times (0, T)$, avec des conditions aux limites homogènes.

Caractéristiques du problème :

• Dégénérescence : Le coefficient $x^\alpha$ s'annule à la frontière $x=0$ ($\alpha \in [0, 2[$), ce qui entraîne une perte d'ellipticité uniforme.
• Potentiel singulier : Le terme $\frac{\mu}{x^\beta}$ introduit une singularité à l'origine. Les auteurs considèrent deux cas de potentiels :
  • Sous-critique : $\beta < 2 - \alpha$.
  • Critique : $\beta = 2 - \alpha$ avec $\mu$ lié à la constante de Hardy-Poincaré.
• Contrôle par impulsions : Contrairement aux contrôles distribués continus, le contrôle agit à des instants discrets $\tau_k$ sur un sous-ensemble ouvert $\omega = (0, a)$ touchant le point de dégénérescence. L'état du système subit des sauts instantanés : $y(\cdot, \tau_k) = y(\cdot, \tau_k^-) + \mathbb{1}_\omega L_k(y(\cdot, t_k))$.

L'objectif est de stabiliser le système en temps fini $T$ (c'est-à-dire atteindre l'état nul à $t=T$) en utilisant une séquence d'impulsions dont la norme est minimisée.

2. Méthodologie

La preuve repose sur une combinaison de plusieurs outils analytiques avancés :

• Cadre Fonctionnel : Utilisation d'espaces de Sobolev pondérés adaptés à la dégénérescence ($H^1_\alpha$) et aux potentiels singuliers, distinguant les cas de dégénérescence faible ($\alpha < 1$) et forte ($\alpha \ge 1$).
• Estimation d'Observabilité : Le résultat clé est une inégalité d'observabilité à un instant donné (Théorème 1.3), établie dans une référence précédente [21]. Cette inégalité combine :
  • La convexité logarithmique.
  • L'approche par commutateurs de Carleman.
  • Une inégalité de Hardy-Poincaré améliorée pour gérer le potentiel singulier.
• Stratégie de Stabilisation : Au lieu de viser directement la contrôlabilité, les auteurs établissent d'abord la stabilisation en temps fini. Ils construisent une séquence de temps $t_k = T(1 - b^{-k})$ convergeant vers $T$ et définissent des opérateurs de contrôle $L_k$ basés sur la décomposition spectrale de l'opérateur elliptique associé.
• Contrôle Optimal de Norme : Pour la partie minimisation de la norme, l'article utilise la théorie de la dualité de Fenchel-Rockafellar. Comme le problème n'est pas exactement contrôlable (le contrôle par impulsion est trop faible pour atteindre exactement n'importe quel état), les auteurs introduisent un terme de pénalisation $\varepsilon$ pour garantir la coercivité du fonctionnel dual, puis font tendre $\varepsilon \to 0$.

3. Résultats Principaux

Les contributions majeures de l'article sont les suivantes :

1. Stabilisation en Temps Fini (Théorème 1.2) :
   Le système est stabilisable en temps fini $T$. Il existe des constantes positives $C$ et $M$ telles que la solution $y(t)$ vérifie une estimation de décroissance exponentielle très rapide lorsque $t \to T$ :
   $$\|y(t)\| \le C e^{-\frac{1}{M} \left(\frac{T}{T-t}\right)} \|y_0\|$$
   Cette décroissance est plus rapide que l'exponentielle classique, permettant d'atteindre le zéro exactement à l'instant $T$. De plus, la norme des impulsions appliquées tend vers zéro : $\lim_{k\to\infty} \|L_k(y(\tau_k))\| = 0$.

2. Contrôlabilité Nulle par Impulsions :
   En combinant la stabilisation avec la propriété de contrôlabilité approximative, les auteurs démontrent l'existence d'une séquence de contrôles impulsionnels qui amène l'état du système à zéro exactement à $t=T$.

3. Existence et Unicité du Contrôle de Norme Minimale (Théorème 4.3) :
   L'article prouve l'existence et l'unicité d'un contrôle de norme minimale (dans l'espace $\ell^2(L^2(\omega))$) qui réalise la contrôlabilité nulle. La construction repose sur la convergence faible d'une suite de contrôles approximatifs obtenus via la minimisation du fonctionnel dual pénalisé.

4. Signification et Contributions

• Généralisation : Ce travail étend les résultats précédents (notamment [18] et [21]) qui traitaient d'opérateurs elliptiques dégénérés ou d'équations de la chaleur non dégénérées, à un cadre beaucoup plus complexe incluant à la fois la dégénérescence spatiale et la singularité du potentiel.
• Estimation Explicite : Contrairement à de nombreux résultats qualitatifs, l'article fournit une estimation explicite du taux de décroissance de la solution, ce qui est crucial pour la compréhension de la vitesse de stabilisation.
• Optimisation : La résolution du problème de contrôle de norme minimale pour ce type d'équations dégénérées/singulières est une contribution significative, offrant une base théorique pour le calcul de contrôles efficaces.
• Condition Géométrique : L'article souligne l'importance critique de la condition géométrique sur le domaine de contrôle $\omega = (0, a)$, qui doit toucher le point de dégénérescence $x=0$. Sans cette condition, l'inégalité d'observabilité (et donc la contrôlabilité) n'est pas garantie.

5. Perspectives

Les auteurs suggèrent deux pistes d'extension :

1. Contrôlabilité à une seule impulsion : Déterminer si la contrôlabilité nulle est possible avec une seule impulsion (au lieu d'une séquence infinie), ce qui serait une généralisation majeure mais techniquement très difficile.
2. Aspects Numériques : Développer des algorithmes constructifs pour calculer ces contrôles optimaux, à l'instar des travaux existants pour l'équation de la chaleur classique.

En résumé, cet article établit un cadre théorique robuste pour la stabilisation et le contrôle optimal d'équations paraboliques complexes, en surmontant les difficultés liées aux singularités et à la dégénérescence par une approche spectrale et variationnelle rigoureuse.