Localization and interpolation of parabolic $L^p$ Neumann problems

1. Problématique et Contexte

L'article s'intéresse à la résolution des problèmes aux limites de type Neumann pour des équations paraboliques de la forme :
$$Lu = -\partial_t u + \text{div}(A\nabla u) = 0$$
dans un cylindre lipschitzien $\Omega = O \times \mathbb{R}$, où $O$ est un domaine lipschitzien dans $\mathbb{R}^n$. Les coefficients de la matrice $A(X,t)$ sont supposés bornés, mesurables et peuvent dépendre du temps.

Le problème central est d'établir la solvabilité du problème de Neumann dans les espaces $L^p$ pour $1 < p < \infty$. Plus précisément, les auteurs cherchent à prouver que si le problème de Neumann est soluble pour un certain exposant $p$ (et si le problème de Dirichlet adjoint est soluble pour $p'$), alors il est soluble pour tout $q$ tel que $1 < q \le p$.

Un obstacle majeur dans le cadre parabolique (contrairement au cas elliptique) réside dans la difficulté d'utiliser le problème de régularité ($L^p$ Regularity), car celui-ci implique une dérivée demi-ordre en temps sur les données au bord, rendant les estimations de localisation extrêmement complexes.

2. Méthodologie

La stratégie de l'article repose sur deux piliers principaux :

A. Estimation de Localisation (Théorème 1.4)

Les auteurs établissent une estimation de localisation pour les solutions faibles du problème de Neumann. L'idée est de montrer que sur une portion du bord où la donnée de Neumann s'annule, la fonction maximale non-tangentielle du gradient $\nabla u$ est contrôlée par la moyenne quadratique du gradient dans une région de Carleson élargie.

L'estimation clé est de la forme :
$$\| \tilde{N}(|\nabla u| \mathbf{1}_{J_r}) \|_{L^p(\partial\Omega)} \le C r^{(n+1)/p} \left( \iint_{J_{2r} \cap \Omega} |\nabla u|^2 \, dX dt \right)^{1/2}$$
où $J_r$ est un cube parabolique rétrograde centré au bord.

Innovation méthodologique :
Contrairement aux approches elliptiques antérieures (comme dans [15]) qui nécessitaient la solvabilité du problème de régularité, les auteurs adoptent une stratégie inspirée de [13] mais adaptée au cadre parabolique. Ils introduisent et étudient des problèmes de Poisson-Neumann faibles et leurs variantes. Cette approche permet d'éviter l'utilisation directe du problème de régularité, contournant ainsi la difficulté liée à la dérivée temporelle demi-ordre.

B. Interpolation et Espaces de Hardy (Théorème 1.6)

Une fois l'estimation de localisation établie, les auteurs l'utilisent pour prouver la solvabilité du problème de Neumann dans l'espace de Hardy atomique $H^1_{ato}$.

1. Ils considèrent une donnée de Neumann $g$ qui est un atome $L^\infty$ (support compact, moyenne nulle).
2. En utilisant l'estimation de localisation et des techniques de réflexion (pour étendre la solution hors du domaine), ils démontrent une décroissance suffisante de la solution à l'infini.
3. Ils prouvent que l'opérateur de solution $T: g \mapsto \tilde{N}(\nabla u)$ est borné de $H^1_{ato}$ vers $L^1(\partial\Omega)$.
4. Par interpolation réelle entre $H^1_{ato}$ (cas $p=1$) et $L^p$ (hypothèse de départ), ils obtiennent la solvabilité pour tout $q \in (1, p)$.

3. Résultats Principaux

Théorème 1.4 (Estimation de Localisation)

Sous l'hypothèse que le problème de Neumann $(N_p)_L$ et le problème de Dirichlet adjoint $(D_{p'})_{L^*}$ sont solvables dans $\Omega$, les auteurs prouvent l'estimation de localisation (1.1) mentionnée ci-dessus. Ce résultat est valable pour des coefficients bornés et mesurables dépendant du temps, sans hypothèse supplémentaire de régularité sur les coefficients (comme les conditions de Carleson).

Théorème 1.6 (Interpolation de Solvabilité)

Si le problème de Neumann $(N_p)_L$ et le problème de Dirichlet adjoint $(D_{p'})_{L^*}$ sont solvables pour un certain $p \in (1, \infty)$, alors le problème de Neumann $(N_q)_L$ est soluble pour tout $1 < q \le p$.

Ce résultat généralise des connaissances antérieures (valables pour des opérateurs spécifiques comme l'opérateur de la chaleur) à une classe beaucoup plus large d'opérateurs paraboliques avec coefficients seulement bornés et mesurables.

4. Contributions Techniques Clés

1. Évitement du problème de régularité : La contribution la plus significative est la démonstration de la localisation sans passer par le problème de régularité $L^p$, ce qui était un obstacle majeur dans le cadre parabolique.
2. Adaptation des espaces de Tent et de Poisson : Les auteurs définissent et utilisent des espaces de fonctions (Tent spaces $\tilde{T}^p$) et des fonctionnelles (maximale non-tangentielle modifiée, fonctionnelle de Carleson) adaptés au cadre parabolique pour établir les dualités nécessaires.
3. Gestion des coefficients dépendants du temps : La preuve fonctionne pour des matrices $A(X,t)$ qui ne sont pas nécessairement continues en temps, ce qui est une avancée par rapport à de nombreux résultats antérieurs nécessitant des conditions de Carleson sur les coefficients.
4. Extension par réflexion : L'utilisation astucieuse de la réflexion paire de la solution à travers le bord (lorsque la donnée de Neumann est nulle) pour appliquer des estimations de régularité intérieure et de décroissance.

5. Signification et Impact

• Théorie complète de solvabilité : Ce travail pose les bases pour une théorie complète de la solvabilité $L^p$ des problèmes de Neumann paraboliques, analogue à la théorie elliptique bien établie.
• Robustesse des coefficients : En ne nécessitant que l'ellipticité uniforme et la mesurabilité des coefficients, les résultats s'appliquent à une large classe de problèmes physiques et géométriques.
• Outil pour l'analyse future : L'estimation de localisation (Théorème 1.4) est présentée comme un outil fondamental pour étudier des classes spécifiques d'opérateurs (par exemple, ceux satisfaisant des conditions de Carleson petites, comme mentionné dans la référence [11] en préparation des auteurs).
• Complétude de la théorie : En reliant la solvabilité $L^p$ à la solvabilité dans les espaces de Hardy ($H^1$), l'article complète le spectre des exposants pour lesquels le problème est bien posé, reliant les cas limites $p=1$ et $p=\infty$ (via dualité).

En résumé, cet article résout un problème ouvert majeur en analyse parabolique en fournissant un mécanisme d'interpolation robuste qui ne dépend pas de la régularité fine des coefficients, ouvrant la voie à l'analyse de problèmes de Neumann pour des opérateurs très généraux.