Decay of solutions and bilinear control to trajectories of a 1D degenerate parabolic system

Résumé Technique : Décroissance des Solutions et Contrôlabilité Bilinéaire aux Trajectoires d'un Système Parabolique Déformé à 1D

Énoncé du Problème
Cet article étudie les propriétés de contrôlabilité d'une classe de systèmes paraboliques non linéaires unidimensionnels caractérisés par des coefficients de diffusion faiblement dégénérés. Le système, noté (1), consiste en deux équations couplées pour les variables d'état $y$ et $z$ définies sur le domaine $(0, 1) \times (0, T)$. Le terme de diffusion implique un coefficient $a(x)$ qui dégénère à la frontière $x=0$ (spécifiquement $a(0)=0$), modélisant des milieux hétérogènes où les mécanismes de transport s'affaiblissent près de régions critiques. Le système est non autonome, avec des coefficients dépendant du temps $b(t)$ et des termes d'ordre inférieur $B_i(x,t)$.

Le mécanisme de contrôle principal est bilinéaire, agissant via le terme de réaction comme $h(x,t)\omega(x)y$, où $h$ est la fonction de contrôle supportée sur un sous-ensemble ouvert non vide $\omega \subset (0, 1)$. Contrairement aux contrôles additifs, cette structure bilinéaire module les taux de croissance ou de décroissance proportionnellement à l'état actuel. L'article aborde deux objectifs principaux :

1. Contrôlabilité Exacte Locale aux Trajectoires : Déterminer si, pour tout état initial proche d'une trajectoire de référence $(\bar{y}, \bar{z})$ (solution du système non contrôlé), il existe un contrôle $h$ capable de ramener le système pour correspondre à la trajectoire à l'instant $T$.
2. Contrôlabilité Exacte Globale aux Trajectoires : Déterminer si ce pilotage est possible pour n'importe quel état initial, à condition que le temps $T$ soit suffisamment grand.

Méthodologie
Les auteurs emploient une combinaison de techniques d'analyse fonctionnelle, d'estimations d'énergie et d'inégalités de Carleman adaptées au cadre dégénéré.

1. Reformulation et Linéarisation :
   Pour étudier la contrôlabilité aux trajectoires $(\bar{y}, \bar{z})$, le problème est reformulé en introduisant les variables d'erreur $w_1 = y - \bar{y}$ et $w_2 = z - \bar{z}$. Cela transforme le problème de contrôlabilité exacte en un problème de contrôlabilité nulle pour le système d'erreur (6). Le système non linéaire est ensuite décomposé en une partie linéaire et un reste non linéaire.

2. Décroissance des Solutions (Stratégie de Contrôlabilité Globale) :
   Pour obtenir la contrôlabilité globale, les auteurs analysent d'abord le système non contrôlé ($h \equiv 0$). Sous certaines hypothèses structurelles sur les termes non linéaires $F_i$ (spécifiquement une condition de monotonie), ils prouvent que les solutions du système d'erreur présentent une décroissance exponentielle dans le temps. Cette décroissance garantit que, pour toute donnée initiale, l'état du système entre dans un petit voisinage de l'origine après un temps suffisamment grand $\tilde{T}$.

3. Inversion Locale via le Théorème de Liusternik :
   Le cœur de la preuve de la contrôlabilité locale repose sur le théorème de la fonction inverse de Liusternik dans les espaces de Banach. Les auteurs définissent une application $\mathcal{A}$ d'un espace d'états et de contrôles ($V$) vers un espace de résidus et de données initiales ($W$). Pour appliquer le théorème, ils doivent vérifier que :

   • $\mathcal{A}$ est continûment dérivable ($C^1$).
   • La dérivée de Fréchet $\mathcal{A}'(0)$ est surjective (atteint tout l'espace).

4. Contrôlabilité Nulle Linéaire et Estimations de Carleman :
   La surjectivité de l'opérateur linéarisé est établie en prouvant la contrôlabilité nulle du système linéarisé associé (14). Ceci est réalisé grâce aux inégalités de Carleman (Proposition 1), qui fournissent des estimations d'observabilité pour le système adjoint. Ces estimations permettent la construction d'un contrôle $h$ qui conduit le système linéaire à zéro. Les auteurs utilisent des espaces d'énergie pondérés avec des fonctions de poids spécifiques $\rho_j$ (dépendantes du temps et de l'espace) pour gérer la dégénérescence et la nature bilinéaire du contrôle.

5. Régularité et Estimations :
   La preuve implique la dérivation d'estimations a priori détaillées pour le système linéarisé et la fonction de contrôle. Plus précisément, le Corollaire 3 établit la régularité du contrôle $h$ dans des espaces de Sobolev pondérés, ce qui est crucial pour traiter le terme multiplicatif $h \omega y$ dans l'analyse non linéaire.

Contributions Clés et Résultats

• Théorème 1 (Contrôlabilité Exacte Locale) : L'article établit que le système dégénéré non linéaire (1) est localement exactement contrôlable à toute trajectoire $(\bar{y}, \bar{z})$ pour tout temps $T > 0$. Ceci est vrai pour des données initiales suffisamment proches de la trajectoire dans la norme $H^1_a(0,1)$. La preuve repose sur l'application réussie du théorème de Liusternik, conditionnée par la résolution du problème de contrôlabilité nulle linéarisé.
• Théorème 2 (Contrôlabilité Exacte Globale) : Les auteurs prouvent que le système est globalement exactement contrôlable aux trajectoires pour toute donnée initiale, à condition que l'horizon temporel $T$ soit suffisamment grand. Ce résultat est une conséquence directe de la décroissance exponentielle du système non contrôlé (Théorème 2 de la Section 1.A) combinée au résultat de la contrôlabilité locale. La décroissance permet d'amener le système dans le régime "local" où le Théorème 1 s'applique.
• Estimations de Décroissance : Une contribution technique significative est la preuve de la décroissance exponentielle des solutions du système non linéaire dégénéré sans contrôle (Théorème 2), sous l'hypothèse d'une condition de signe spécifique sur les non-linéarités.
• Extension de Travaux Précédents : Les résultats améliorent les études antérieures (spécifiquement [28]) en incorporant des contrôles bilinéaires (multiplicatifs) plutôt que de simples contrôles additifs, et en incluant des termes semi-linéaires $F_i(x,t,y,z)$. L'article traite également les défis spécifiques des coefficients non autonomes et de la dégénérescence faible.

Signification et Revendications
L'article affirme fournir un cadre rigoureux pour contrôler les systèmes paraboliques dégénérés où la diffusion s'annule à la frontière et où le contrôle agit de manière multiplicative sur l'état. Les auteurs positionnent leur travail comme une avancée dans le contrôle des systèmes couplés non autonomes dégénérés, qui modélisent des phénomènes réels tels que les processus thermiques dans des matériaux non homogènes, la sédimentation et la diffusion dans des milieux anisotropes.

La signification réside dans la combinaison de :

1. Contrôle Bilinéaire : Aborder le mécanisme réaliste où le contrôle module les taux de réaction (par exemple, les catalyseurs dans les réactions chimiques ou les taux de reproduction en écologie) plutôt que de simplement ajouter un terme de source.
2. Gestion de la Dégénérescence : Adapter avec succès les inégalités de Carleman et les outils d'analyse fonctionnelle au cadre de la dégénérescence faible ($a(x) \sim x^\alpha$).
3. Résultats Globaux : Combler le fossé entre la contrôlabilité locale (valable pour de petites données) et la contrôlabilité globale (valable pour des données arbitraires) grâce à l'analyse de la décroissance des solutions.

Les auteurs notent que ces résultats peuvent être étendus à des systèmes avec des termes non locaux (par exemple, dépendance de $\int y$) et des problèmes à frontière libre (problèmes de type Stefan), bien que ces extensions soient réservées à des travaux futurs. L'étude est soutenue par des hypothèses standards sur la régularité et la bornitude des coefficients ainsi que sur la non-dégénérescence de la région de contrôle $\omega$.