Real analytic solutions to the divergence equation

Résumé Technique : Solutions Réelles Analytiques de l'Équation de Divergence

1. Problématique

L'objectif principal de cet article est de construire des solutions explicites et réelles analytiques pour l'équation de divergence :
$$\text{div}_{\mathbb{R}^n} \mathbf{v} = f$$
définie sur un domaine annulaire $A(R_1, R_2) = \{x \in \mathbb{R}^n : R_1 < |x| < R_2\}$, avec $n \ge 2$ et $0 < R_1 < R_2 < \infty$.

Les contraintes spécifiques sont :

• La source $f$ est une fonction réelle analytique sur l'annulaire (et peut être prolongée analytiquement au-delà).
• La condition de compatibilité est satisfaite : $\int_{A(R_1, R_2)} f \, \text{Vol}_{\mathbb{R}^n} = 0$.
• La solution vectorielle $\mathbf{v}$ doit être réelle analytique sur l'annulaire et satisfaire la condition de Dirichlet homogène : $\mathbf{v} = 0$ sur la frontière $\partial A(R_1, R_2)$.

Contexte et lacunes :
Les approches standards (Bogovski pour les espaces de Sobolev $W^{1,p}_0$, et Kapitanskii-Pileckas pour les espaces de Hölder $C^{l,\alpha}$) garantissent l'existence de solutions faibles ou régulières, mais ne fournissent généralement pas de constructions explicites préservant la propriété d'analyticité réelle, ni ne garantissent l'annulation exacte sur la frontière dans le cadre analytique. De plus, ces solutions ne sont pas uniques.

2. Méthodologie

Les auteurs développent une méthode différentielle-topologique originale, distincte des approches intégrales standards. La démarche se décompose en plusieurs étapes clés :

A. Inspiration Cohomologique (Preuve de Spivak)
La première étape majeure s'inspire de la preuve du théorème $H^n_c(\mathbb{R}^n) \cong \mathbb{R}$ dans le livre de Spivak (A Comprehensive Introduction to Differential Geometry). Cette approche permet de réduire le problème d'analyse (résolution d'une EDP) à un problème d'algèbre linéaire.

• L'idée centrale est de construire une forme différentielle $(n-1)$-forme $\Psi$ telle que $d\Psi = f \, \text{Vol}$.
• Contrairement à Spivak qui utilise une forme arbitraire lisse, les auteurs imposent une structure analytique rigoureuse.

B. Lemmes Préparatoires et Régularité

• Lemme 2.1 & 2.2 : Établissement de propriétés de régularité pour les fonctions réelles analytiques qui s'annulent sur des sous-ensembles, permettant de factoriser des termes comme $(y_n - R_1)$.
• Lemme 2.3 : Analyse d'un polynôme spécifique $\Psi_n(t)$ démontrant que ses dérivées en $t=1$ sont strictement positives pour $k \ge 5$. Ce résultat est crucial pour assurer l'inversibilité des systèmes linéaires ultérieurs.
• Lemme 2.4 (Point clé) : Résolution d'un système d'équations linéaires pour déterminer des coefficients analytiques $C_k$ sur la sphère unité $S^{n-1}$. Ce lemme permet de construire une fonction radiale $Q(\rho w)$ qui correspond aux valeurs et dérivées données sur les bords $R_1$ et $R_2$, tout en ayant une intégrale nulle sur l'annulaire.

C. Construction de la Solution (Lemme 3.1 et Corollaire 3.2)
Les auteurs construisent une $(n-1)$-forme $\Psi_2$ sur $\mathbb{R}^n$ via :

1. Une intégrale radiale de $f$ (inspirée de Spivak).
2. La résolution d'une équation de Poisson sur la sphère $S^{n-1}$ : $-\Delta_{S^{n-1}} \phi = g_2$, où $g_2$ est l'intégrale radiale de $f$. La solution $\phi$ est réelle analytique.
3. L'utilisation d'une fonction de coupure $\chi$ spécifique, définie par une puissance de sinus ($\sin^{l+3}$), qui est réelle analytique sur l'annulaire et permet de lisser la transition vers zéro aux bords tout en préservant l'analyticité.

La solution vectorielle $\mathbf{v}$ est ensuite obtenue via l'opérateur de Hodge et l'isomorphisme métrique appliqué à cette forme $\Psi_2$.

D. Théorème Principal (Théorème 4.1)
Pour garantir que la solution s'annule exactement sur les bords $R_1$ et $R_2$ tout en restant analytique, les auteurs ne se contentent pas d'appliquer le lemme 3.1 à $f$. Ils définissent une fonction modifiée $\tilde{f}$ :
$$\tilde{f} = f - \sum_{k=0}^2 \left(-\frac{1}{R_1}\right)^k \sum_{a=1}^2 Q_{k,a}(\mu) f(R_a \cdot) \rho^k$$
où les coefficients $Q_{k,a}$ sont des fonctions rationnelles calculées via le Lemme 2.4. Cette soustraction corrige les termes de bord pour que la solution finale satisfasse $\mathbf{v}|_{\partial A} = 0$.

3. Résultats Principaux

• Théorème 1.1 (Forme simplifiée) : Établit l'existence d'un champ de vecteurs $\mathbf{U}$ réel analytique sur $A(R_1, R_2)$ tel que $\text{div} \mathbf{U} = f$ et $\mathbf{U} = 0$ sur la frontière.
• Théorème 4.1 (Résultat précis) : Fournit la formule explicite de la solution $\mathbf{U}$.
  • La solution est construite comme la somme d'un champ de vecteurs dérivé de la fonction modifiée $\tilde{f}$ (via l'opérateur de Bogovski analytique) et d'un terme correctif radial $\lambda \frac{\partial}{\partial \rho}$.
  • Le terme correctif est conçu spécifiquement pour annuler la solution sur les bords sans briser l'analyticité.
  • La solution est unique dans la classe de construction proposée (bien que l'ensemble des solutions soit infini).

4. Contributions Clés

1. Analyticité Préservée : C'est la première construction explicite de solutions réelles analytiques pour l'équation de divergence avec condition de Dirichlet homogène sur un domaine annulaire. La plupart des travaux antérieurs se limitaient aux espaces de Sobolev ou Hölder.
2. Méthode Topologique Explicite : Au lieu d'utiliser des opérateurs intégraux standards (Bogovski) qui sont difficiles à analyser pour l'analyticité, les auteurs utilisent une approche cohomologique (formes différentielles) combinée à la résolution d'équations de Poisson sur la sphère.
3. Technique de Correction de Bord : L'utilisation du Lemme 2.4 pour soustraire des termes polynomiaux radiaux à la source $f$ afin de forcer l'annulation de la solution sur les bords est une innovation technique majeure. Cela transforme un problème d'analyse globale en un problème d'algèbre linéaire sur les coefficients de Taylor.
4. Comparaison avec Spivak : L'article clarifie et étend la preuve de Spivak (théorème 9, chapitre 8) en remplaçant des formes lisses arbitraires par des formes analytiques précises obtenues via l'équation de Poisson sur la sphère.

5. Signification et Impact

• Théorique : Ce travail comble un vide dans la littérature concernant la régularité analytique des solutions de l'équation de divergence. Il démontre que la contrainte d'analyticité n'est pas un obstacle à la résolution de ce problème, même avec des conditions aux limites strictes.
• Pratique : La nature explicite de la solution (formule fermée impliquant des intégrales et des fonctions rationnelles connues) est précieuse pour l'analyse numérique et la simulation de fluides où la régularité analytique est requise (par exemple, pour éviter les erreurs de troncature ou pour des méthodes spectrales).
• Méthodologique : L'approche combinant la topologie différentielle (cohomologie de De Rham à support compact) et l'analyse réelle offre un nouveau paradigme pour résoudre des EDP sur des domaines spécifiques, ouvrant la voie à des généralisations potentielles à d'autres équations elliptiques.

En conclusion, cet article propose une avancée significative en fournissant une construction rigoureuse et explicite de solutions analytiques, dépassant les limitations des méthodes classiques de Sobolev et Hölder pour ce problème spécifique.