A Shape Design Approximation for Degenerate Partial Differential Equations and Its Application

Résumé technique : Approximation par conception de forme pour les équations aux dérivées partielles dégénérées

Énoncé du problème
L'article aborde les défis analytiques associés à deux classes d'équations aux dérivées partielles (EDP) dégénérées : une équation elliptique dégénérée et une équation parabolique dégénérée. Toutes deux se caractérisent par un opérateur principal impliquant une fonction de poids $w$ qui s'annule sur un sous-ensemble de la frontière, entraînant une dégénérescence. Plus précisément, les équations sont définies sur un domaine borné $\Omega \subset \mathbb{R}^N$ avec une fonction de poids $w \in A_{1+2/N}$ (une classe de poids de Muckenhoupt) telle que $w(x) > 0$ dans $\Omega$ et $w(x) = 0$ sur un sous-ensemble ouvert non vide $\Gamma \subset \partial\Omega$.

La difficulté principale dans l'analyse de ces équations réside dans la définition des espaces de solutions et la dérivation d'estimations de Carleman. Les techniques standard nécessitent souvent des dérivées d'ordre deux, ce qui pose problème pour leur définition ou leur estimation dans le contexte des équations dégénérées, en particulier en dimensions supérieures. Les auteurs visent à établir un cadre d'approximation robuste pour traiter ces équations et l'appliquer pour dériver une estimation de Carleman pour l'équation parabolique dégénérée rétrograde, prouvant ainsi la contrôlabilité à zéro.

Méthodologie : Approximation par conception de forme
La contribution méthodologique centrale est l'introduction d'une « approximation par conception de forme ». Au lieu de travailler directement sur le domaine dégénéré où le poids s'annule, les auteurs construisent une suite de sous-domaines non dégénérés $\Omega_k$ qui approchent $\Omega$.

1. Construction du domaine : Pour un $\epsilon > 0$ donné, les auteurs définissent $O(\Gamma; \epsilon) = \{x \in \Omega : \text{dist}(x, \Gamma) > \epsilon\}$. Ils sélectionnent une suite de domaines $C^2$, $\Omega_k$, tels que $O(\Gamma, 1/k) \subseteq \Omega_k \subseteq O(\Gamma, 1/(k+1))$.
2. Équations d'approximation : Sur chaque sous-domaine $\Omega_k$, la fonction de poids $w$ est strictement positive (bornée loin de zéro). Par conséquent, les équations dégénérées (1.4) et (1.5) restreintes à $\Omega_k$ deviennent des équations uniformément elliptiques ou uniformément paraboliques.
3. Analyse de convergence : Les auteurs prouvent que les solutions $\phi_k$ des problèmes uniformément elliptiques/paraboliques sur $\Omega_k$ convergent vers la solution faible $\phi$ du problème dégénéré original sur $\Omega$.
   • Pour le cas elliptique, $\phi_k$ converge faiblement dans $H^1_0(\Omega; w)$ et fortement dans $L^2(\omega; w)$ pour tout sous-ensemble compact $\omega \subset \Omega$.
   • Pour le cas parabolique, des résultats similaires de convergence faible et forte sont établis dans des espaces de Sobolev pondérés appropriés.
4. Application aux estimations de Carleman : Cette méthode d'approximation est spécifiquement utilisée pour dériver des estimations de Carleman. En travaillant sur les domaines non dégénérés $\Omega_k$, les auteurs peuvent calculer rigoureusement des dérivées d'ordre deux et effectuer des intégrations par parties sans les singularités associées à la frontière dégénérée. Les estimations dérivées pour $\phi_k$ sont ensuite passées à la limite pour obtenir l'estimation pour la solution dégénérée $\phi$.

Résultats clés
L'article établit les résultats théoriques suivants :

• Existence et unicité : Les auteurs confirment l'existence et l'unicité des solutions faibles pour les équations elliptiques et paraboliques dégénérées dans des espaces de Sobolev pondérés, en utilisant le théorème de Lax-Milgram et des estimations d'énergie.
• Théorèmes de convergence (Théorèmes 3.1 et 3.2) : La suite des solutions des problèmes approchés sur $\Omega_k$ converge vers la solution du problème dégénéré original. Une convergence forte est garantie dans les sous-domaines éloignés de la dégénérescence.
• Estimation de Carleman pour les équations paraboliques dégénérées en 1D (Théorème 4.2) : En se concentrant sur le cas unidimensionnel ($N=1$) avec un poids $w = x^\alpha$ où $\alpha \in (0, 1)$, les auteurs dérivent une estimation de Carleman pour l'équation parabolique dégénérée rétrograde.
  • La preuve repose sur le Théorème 3.2 pour passer l'estimation de Carleman des approximations paraboliques uniformes (Théorème 4.1) à la limite dégénérée.
  • Une fonction de poids spécifique $\xi$ est construite pour gérer la dégénérescence en $x=0$.
  • Crucialement, cette approche évite la nécessité de définir ou d'estimer directement des dérivées d'ordre deux sur l'équation dégénérée.
• Contrôlabilité à zéro : En tant qu'application directe de l'estimation de Carleman dérivée, l'article déduit la contrôlabilité à zéro (et la contrôlabilité exacte via la méthode d'unicité de Hilbert) de l'équation parabolique dégénérée avec un contrôle agissant sur un sous-domaine intérieur $\omega \subset \Omega$.

Signification et affirmations
L'article affirme que l'« approximation par conception de forme » est une méthode novatrice pour résoudre les EDP dégénérées, notant que, à la connaissance des auteurs, aucun travail antérieur n'a employé cette approximation spécifique pour obtenir des solutions à ces équations (avec une exception potentielle d'une publication italienne inaccessible).

La principale signification mise en avant est la capacité à dériver des estimations de Carleman pour les équations paraboliques dégénérées sans exiger de dérivées d'ordre deux dans l'équation dégénérée elle-même. Les auteurs déclarent que l'exigence de dérivées d'ordre deux a historiquement été un obstacle majeur dans ce domaine. En approximatant le domaine dégénéré par des domaines non dégénérés, la méthode permet d'effectuer des opérations de calcul standard (comme l'intégration par parties impliquant des dérivées secondes) sur les approximations, les résultats étant rigoureusement étendus à la limite dégénérée.

L'article conclut que cette méthodologie offre une nouvelle voie pour aborder les estimations de Carleman et l'observabilité pour les équations paraboliques dégénérées en dimensions supérieures, bien que l'extension spécifique à $N \ge 2$ ou $\alpha \in (1, 2)$ soit notée comme un sujet pour des études futures. L'ouvrage est présenté comme une étape fondamentale dans l'application des principes de conception de forme à la contrôlabilité des systèmes dégénérés.