An $L^p$-Theory for Time-Periodic Mixed-Order Partial Differential Equations under General Boundary Conditions

Résumé technique : Une théorie $L^p$ pour les équations aux dérivées partielles d'ordre mixte et de période temporelle sous conditions limites générales

Énoncé du problème
L'article traite de la bien posée des problèmes de valeurs limites périodiques dans le temps associés à des équations aux dérivées partielles (EDP) et à des systèmes d'ordre mixte. Bien qu'une théorie complète de la bien posée existe pour les opérateurs elliptiques et paraboliques (par exemple, via les conditions d'Agmon-Douglis-Nirenberg ou de Lopatinskiĭ–Shapiro), une telle théorie a longtemps fait défaut pour les opérateurs présentant des propriétés d'échelle véritablement mixtes. Ces opérateurs, dont les échelles concurrentes sont encodées géométriquement par un polygone de Newton, apparaissent souvent dans des modèles physiques complexes. Des travaux antérieurs des auteurs ont établi une théorie $L^2$ pour une classe restreinte de ces opérateurs, mais il avait été noté que les conditions classiques de Lopatinskiĭ–Shapiro sont généralement insuffisantes pour garantir la bien posée dans ce cadre. Le présent travail vise à développer une théorie $L^p$ complète ($p \in (1, \infty)$) pour une large classe de problèmes de valeurs limites d'ordre mixte sur le demi-espace périodique en temps $\mathbb{T} \times \mathbb{R}^n_+$, en accommodant des opérateurs de bord généraux pouvant impliquer des dérivées spatiales et temporelles.

Méthodologie
Les auteurs construisent la théorie à travers trois piliers interconnectés :

1. Échelles d'espaces de fonctions unifiées :
   Les auteurs étendent la théorie des espaces de Newton polygon en introduisant une échelle unifiée d'espaces de potentiels générés par des fonctions d'ordre. Contrairement aux polygones de Newton classiques, qui sont restreints à des ensembles convexes dans le plan $(|\xi|, \tau)$, les fonctions d'ordre permettent un cadre algébrique plus flexible où les opérations correspondent à l'addition ordinaire plutôt qu'aux sommes de Minkowski. Crucialement, les auteurs introduisent le concept d'une échelle de polygone de Newton, qui inclut les espaces de Newton polygon classiques ainsi que des espaces hybrides issus de l'interpolation réelle (impliquant à la fois la régularité de type Besov et de potentiel de Bessel). Cette abstraction est nécessaire car les espaces de traces pour les opérateurs d'ordre mixte ne sont généralement pas des espaces de Newton polygon purs, mais plutôt de tels espaces d'interpolation hybrides.

2. Cadre abstrait de valeurs limites :
   L'article développe un cadre opérationnel abstrait qui sépare les propriétés analytiques de l'opérateur différentiel de la structure des espaces de fonctions. Le mécanisme central implique :

   • La définition d'un tuple de trace abstrait $(U, \dot{U}, \mathcal{U}, \text{Tr}, E)$, où $\dot{U}$ est le noyau de l'opérateur de trace $\text{Tr}$, et $E$ est une section droite.
   • L'introduction d'opérateurs admissibles, qui se factorisent en composantes préservant le support dans le demi-espace et en composantes inversibles sur le noyau de l'opérateur de trace.
   • La formulation d'une condition de limite complémentaire abstraite. La bien posée est caractérisée par l'invertibilité d'un « opérateur complémentaire » $(B, C)$, où $B$ est l'opérateur de bord donné et $C$ est un opérateur complémentaire construit à partir de la trace de la solution. Cette condition garantit que l'opérateur combiné est injectif, identifiant ainsi les conditions de compatibilité précises requises pour les données.

3. Théorie de la trace pour les espaces d'ordre mixte :
   Une contribution technique significative est le développement d'une théorie de la trace $L^p$ pour les espaces de Newton polygon. Les auteurs identifient explicitement les espaces de traces $T^{\mu, p}_\perp(\mathbb{R}^{n-1})$ associés aux espaces de Newton polygon restreints. Ils démontrent que pour $p \neq 2$, ces espaces de traces ne sont pas des espaces de Newton polygon, mais peuvent être représentés comme des espaces d'interpolation réelle entre des espaces de Newton polygon étroitement liés. Cette caractérisation permet une description précise des espaces de données et des conditions de compatibilité.

Résultats clés

• Théorème de bien posée générale (Théorème 4.36) : Les auteurs établissent que pour un opérateur admissible $P$ et des opérateurs de bord $B_i$, le problème de valeurs limites est bien posé dans des espaces de base $L^p$ si la matrice de bord complémentaire associée $BC$ satisfait une condition d'invertibilité (spécifiquement, que $BC$ est un système d'ordre mixte et que son déterminant est non nul). Le théorème identifie explicitement l'espace de données admissible, incluant les conditions de compatibilité nécessaires induites par les opérateurs de bord.
• Conditions de compatibilité explicites : Le cadre produit naturellement les conditions de compatibilité requises pour les données $(f, g)$. Ces conditions sont exprimées par l'exigence qu'une combinaison linéaire spécifique des données intérieures et des données de bord appartienne à un espace de trace spécifique, plutôt que d'imposer de simples contraintes d'égalité.
• Applications :
  • Équation de la chaleur avec conditions de Dirichlet : La théorie récupère des résultats de régularité d'ordre supérieur, montrant que pour $f$ dans un espace spécifique, la donnée de bord $g$ doit satisfaire une condition de compatibilité impliquant $\partial_t g - \text{Tr}_0 f$ appartenant à un espace de type Besov spécifique, plutôt que d'exiger que $f$ s'annule sur la frontière.
  • Système Cahn-Hilliard-Gurtin : Les auteurs étendent leurs résultats précédents en $L^2$ à un $p \in (1, \infty)$ général, établissant la régularité maximale pour ce système à structure d'ordre mixte.
  • Conditions limites dynamiques : La théorie est appliquée à des problèmes paraboliques avec des conditions limites dynamiques, fournissant des résultats de bien posée pour des systèmes où l'évolution à la frontière est couplée avec la dynamique intérieure.

Signification et revendications
L'article affirme fournir une approche systématique et unifiée pour les problèmes de valeurs limites d'ordre mixte qui dépasse la théorie classique de Lopatinskiĭ–Shapiro. En utilisant des échelles de polygones de Newton et une condition de complémentation abstraite, le cadre :

• Élargit considérablement la classe d'opérateurs et de conditions de bord admissibles par rapport aux résultats précédents en $L^2$.
• Identifie systématiquement les espaces de compatibilité associés, qui émergent naturellement du cadre abstrait plutôt que d'être imposés ad hoc.
• Traite des opérateurs de bord impliquant des dérivées temporelles et des conditions de compatibilité non triviales entre les données.
• Fournit une procédure « mécanique » pour dériver les résultats de bien posée : une fois l'opérateur identifié comme admissible et la condition de complémentation vérifiée, la bien posée découle du théorème général.

Les auteurs soulignent que cette théorie est particulièrement précieuse pour les problèmes où la géométrie du polygone de Newton est non triangulaire ou lorsque les espaces de trace impliquent des échelles de régularité hybrides, des situations où les techniques classiques d'espaces de Sobolev anisotropes sont insuffisantes.