Shape Design for Degenerate Parabolic Equations with Degenerate Boundaries and Its Application to Boundary Observability

Résumé technique : Conception de forme pour des équations paraboliques dégénérées avec frontières dégénérées et son application à l'observabilité frontière

Énoncé du problème
Cette étude traite de l'analyse mathématique d'équations paraboliques dégénérées de haute dimension de la forme :
$$\partial_t y - \text{div}(A\nabla y) = f \quad \text{dans } Q = \Omega \times (0, T),$$
soumises à des conditions aux limites de Dirichlet $y=0$ sur $\partial Q$ et à des données initiales $y(0)=y_0$. Le domaine $\Omega \subseteq \mathbb{R}^{N-1} \times (0, +\infty)$ est un domaine convexe, et la matrice de diffusion $A$ est diagonale, définie par $A = \text{diag}(1, \dots, 1, x_N^\alpha)$ avec $\alpha \in (0, 1)$. Par conséquent, l'équation dégénère sur le segment de frontière $\Gamma_0^N = \partial \Omega \cap (\mathbb{R}^{N-1} \times \{0\})$.

L'objectif principal est d'établir le caractère bien posé de cette équation et, plus critique encore, de dériver une inégalité d'observabilité frontière. Un défi majeur dans les problèmes dégénérés de haute dimension est l'absence de formules d'intégration par parties appropriées lorsque la dégénérescence se produit uniquement sur une portion de la frontière (plutôt que sur l'ensemble de la frontière). Les méthodes traditionnelles, telles que la méthode de séparation des variables ou des hypothèses structurelles spécifiques sur la matrice des coefficients (par exemple, une dégénérescence à la première valeur propre sur l'ensemble de la frontière), sont insuffisantes pour le cas général examiné ici.

Méthodologie : Approche par conception de forme
Les auteurs emploient une méthodologie de conception de forme pour contourner les difficultés associées à la frontière dégénérée. La stratégie centrale consiste à approximer l'équation parabolique dégénérée sur le domaine $\Omega$ par une suite d'équations paraboliques uniformes définies sur une famille de sous-domaines $\{\Omega_\delta\}_{\delta > 0}$.

1. Approximation du domaine : Les auteurs construisent une suite de sous-domaines convexes $\Omega_\delta$ tels que $\Omega_\delta \subset \Omega$ et que $\Omega_\delta$ reste à une distance proportionnelle à $\delta$ du segment de frontière dégénérée $\Gamma_0^N$. Plus précisément, $\Omega_\delta$ est défini pour exclure la région où $x_N < \delta$.
2. Système approchant : Sur chaque $\Omega_\delta$, l'équation devient uniformément parabolique car le coefficient $x_N^\alpha$ est borné loin de zéro. Cela permet l'application de la théorie de régularité standard et des techniques d'intégration par parties qui sont autrement invalides sur le domaine dégénéré original.
3. Extension et convergence : Les solutions $y_\delta$ sur $\Omega_\delta$ sont prolongées par zéro sur l'ensemble du domaine $\Omega$ (noté $E y_\delta$). Les auteurs démontrent que lorsque $\delta \to 0$, ces solutions prolongées convergent vers la solution faible de l'équation dégénérée originale dans des espaces de Sobolev pondérés appropriés.
4. Estimations de Carleman : Pour les équations paraboliques uniformes approchantes, les auteurs dérivent des estimations de Carleman avec des poids dépendant du paramètre $\delta$. Une exigence technique cruciale est de s'assurer que les constantes dans ces estimations restent uniformes par rapport à $\delta$. Cette uniformité est essentielle pour passer à la limite et obtenir des estimations pour le cas dégénéré.

Contributions et résultats clés

• Caractère bien posé : L'article établit l'existence et l'unicité des solutions faibles pour l'équation parabolique dégénérée dans l'espace $L^2(0, T; H^1_0(\Omega; w))$ avec des dérivées temporelles dans $L^2(0, T; H^{-1}(\Omega; w))$. Il fournit en outre des résultats de régularité supérieure pour les solutions avec des données initiales plus lisses.
• Convergence des approximations (Théorème 1.1) : Les auteurs démontrent rigoureusement que la suite des solutions des approximations paraboliques uniformes converge fortement dans $L^2(Q)$ et faiblement dans des espaces de Sobolev pondérés vers la solution de l'équation dégénérée. Crucialement, ils prouvent la convergence forte des dérivées normales $\frac{\partial y_\delta}{\partial \nu}$ vers $\frac{\partial y}{\partial \nu}$ sur la partie non dégénérée de la frontière $\Gamma_+ = \{x \in \partial \Omega : A(x)\nu(x) \cdot e_N > 0\}$.
• Inégalité d'observabilité frontière (Théorème 1.2 / Théorème 5.1) : L'application principale du cadre de conception de forme est la dérivation d'une inégalité d'observabilité frontière pour l'équation dégénérée :
  $$\int_\Omega y^2(0) dx \leq C \int_{\Gamma_+ \times (0, T)} \left| \frac{\partial y}{\partial \nu} \right|^2 dS dt.$$
  Cette inégalité tient avec une constante $C$ qui dépend uniquement de $\alpha$, $T$ et de la géométrie du domaine, mais est indépendante du paramètre de dégénérescence spécifique d'une manière qui permet le processus de limite.
• Uniformité des constantes : Une contribution technique significative est la preuve que les constantes dans les estimations de Carleman et les inégalités d'observabilité subséquentes sont uniformes par rapport au paramètre d'approximation $\delta$. Cela distingue l'approche des méthodes qui pourraient produire des constantes explosant lorsque le domaine s'approche de la configuration dégénérée.

Portée et affirmations
L'article affirme que la méthode de conception de forme offre un avantage distinct par rapport aux techniques existantes telles que les méthodes de troncature ou la séparation des variables. Alors que les techniques de troncature traitent généralement des problèmes au sein d'un seul système évolutif, l'approche par conception de forme utilise une collection de systèmes distincts (les domaines approchants) pour contourner le besoin d'intégration par parties sur la frontière dégénérée.

Les auteurs soulignent que leur méthode ne repose pas sur des hypothèses géométriques spécifiques concernant le domaine (au-delà de la convexité et de la régularité) ou sur des hypothèses structurelles sur la matrice des coefficients qui imposeraient une dégénérescence sur l'ensemble de la frontière. Cela rend l'approche applicable à une classe plus large d'équations paraboliques dégénérées de haute dimension où la dégénérescence est localisée sur un segment de la frontière. Les résultats fournissent une fondation théorique pour la contrôlabilité et l'observabilité frontières dans ces contextes difficiles, où les arguments traditionnels d'intégration par parties échouent.