On the traces of the L_2-solution of a general linear differential equation in the domain

Résumé technique : Sur les traces de la solution $L^2$ d'une équation différentielle linéaire générale dans un domaine

Énoncé du problème
L'article aborde la théorie générale des problèmes aux limites (PAL) pour les équations aux dérivées partielles (EDP) linéaires générales à coefficients réguliers dans un domaine borné $\Omega \subset \mathbb{R}^n$ à frontière régulière $\partial \Omega$. Plus précisément, il étudie les propriétés aux limites des solutions dans l'espace de Hilbert $L^2(\Omega)$ (noté $H$). Le problème central consiste à déterminer les conditions sur les « traces » d'une solution $u$ sur la frontière $\partial \Omega$ qui permettent la reconstruction unique de la solution à partir de ces traces et du second membre de l'équation $Lu = f$. L'article distingue les dérivées normales standards des « L-traces », qui sont nécessaires car les traces standards peuvent ne pas exister pour les fonctions du domaine de l'opérateur maximal $D(L)$ au sens généralisé.

Méthodologie
L'analyse s'appuie sur le cadre d'analyse fonctionnelle établi par John von Neumann, M.Y. Vishik et L. Hörmander, en utilisant la théorie des espaces à double structure et des extensions d'opérateurs.

1. Décomposition de l'opérateur : L'opérateur différentiel $L$ est traité comme un opérateur non borné dans $H = L^2(\Omega)$. L'article définit l'opérateur minimal $L_0$ (adhérence de $L$ sur $C_0^\infty(\Omega)$) et l'opérateur maximal $L = L_0^*$. Sous les conditions de Vishik (2.1) et (2.2) — qui assurent l'existence d'inverses à gauche continus pour $L_0$ et $L_0^+$ — l'opérateur maximal se décompose en une somme directe $L = L_0 \oplus L_C$, où $L_0$ représente le comportement intérieur et $L_C$ le comportement aux limites.
2. Espace aux limites et L-traces : L'espace aux limites est défini comme l'espace quotient $C(L) = D(L)/D(L_0)$. L'article introduit les « L-traces », notées $L^{(q)}u$ pour $q=0, \dots, l-1$, dérivées de la formule de Green. Ce sont des fonctions généralisées dans les espaces de Sobolev $H^{-q-1/2}(\partial \Omega)$ qui caractérisent le comportement aux limites de $u \in D(L)$.
3. Formule de Green et décomposition orthogonale : La méthodologie repose sur la formule de Green reliant l'intégrale intérieure $\int_\Omega (Lu \bar{v} - u L^+ \bar{v}) dx$ à des intégrales aux limites impliquant les L-traces. Le second membre $f$ est décomposé orthogonalement en $f = f_0 + g$, où $f_0 \in \text{Im } L_0$ et $g \in \ker L^+$. La partie intérieure $f_0$ est résolue via l'inverse de l'opérateur de type elliptique $M = L^+L$, tandis que la partie aux limites $g$ est traitée via l'opérateur aux limites $L_C$.
4. Cas des coefficients constants : Pour les opérateurs à coefficients constants, l'article emploie le théorème d'approximation de Malgrange. Cela permet d'approximer les solutions du noyau de l'opérateur adjoint par des fonctions exponentielles-polynomiales $e^{i(\xi, x)}$, transformant les conditions de trace en un problème des moments généralisé.

Contributions et résultats clés

1. Caractérisation des solutions via les L-traces (Théorème 2) :
   L'article établit les conditions nécessaires et suffisantes pour qu'une fonction $u \in D(L)$ soit une solution de $Lu = f$. Il prouve que les L-traces $g_q = L^{(q)}u$ et la composante aux limites $g = P_C f$ du second membre doivent satisfaire une identité spécifique impliquant des fonctions test $v \in \ker L^+ \cap H^k(\Omega)$ :
   $$\int_\Omega g v \, dx = \sum_{q=0}^{l-1} \int_{\partial \Omega} g_{l-q-1} \partial_\nu^q v \, ds$$
   Cette identité permet la reconstruction unique de la solution à partir de ses L-traces et du second membre.

2. Relation avec les traces standards (Théorème 3) :
   Pour des solutions plus régulières $u \in H^l(\Omega)$, l'article relie les L-traces aux dérivées normales standards $h_q = \partial_\nu^q u|_{\partial \Omega}$. Il montre que ces traces standards doivent satisfaire une identité duale impliquant les traces de l'opérateur adjoint $L^{+(l-q-1)}v$.

3. Problème des moments généralisé pour les coefficients constants (Théorème 4) :
   Pour les opérateurs différentiels à coefficients complexes constants dans un domaine $L$-convexe, les conditions de trace se simplifient. L'article prouve que $u$ est une solution de $Lu = g \in \ker L^+$ si et seulement si ses L-traces satisfont :
   $$\int_\Omega g(x) e^{-i(\xi, x)} dx = \sum_{q=0}^{l-1} \int_{\partial \Omega} L^{(m-q-1)}u \, \partial_\nu^q e^{-i(\xi, x)} \, ds_x, \quad \forall \xi \in \Lambda$$
   où $\Lambda$ est la variété algébrique des zéros du symbole de $L$. Cela formule les conditions aux limites comme un problème des moments généralisé.

4. Bonnes poses et représentation par mesure (Théorème 6) :
   L'article relie les PAL bien posés à l'existence de mesures spécifiques. Il démontre que chaque PAL bien posé génère une mesure $d\mu_\eta(\xi)$ sur la variété algébrique $\Lambda$. La solution du PAL peut être représentée comme une intégrale impliquant cette mesure et les solutions fondamentales (exponentielles). Plus précisément, résoudre le PAL se réduit à résoudre une équation intégrale pour cette mesure inconnue.

5. Cas plan d'ordre deux (Section 5) :
   Pour les équations d'ordre deux à coefficients constants dans un domaine plan, l'article dérive explicitement les conditions de trace comme une paire de problèmes des moments impliquant la dérivée conormale et les dérivées tangentes. Il souligne que l'unicité du problème de Dirichlet correspond au problème d'indétermination de ce système de moments.

Importance et affirmations
L'article affirme apporter de nouvelles avancées dans la théorie générale des PAL en caractérisant explicitement les propriétés aux limites des solutions $L^2$. Son importance principale réside dans :

• Reconstruction : Fournir des conditions explicites (identités) qui permettent de reconstruire de manière unique une solution à partir de ses traces aux limites et du terme source.
• Généralisation : Étendre la compréhension des données aux limites au-delà des équations elliptiques aux opérateurs linéaires généraux, y compris ceux de force constante et de type principal réel.
• Lien avec le problème des moments : Identifier que pour les opérateurs à coefficients constants, la compatibilité des traces aux limites est équivalente à un problème des moments généralisé. Cela relie la résolubilité des EDP à des problèmes classiques d'analyse (tels que le problème des moments trigonométriques).
• Cadre théorique : Clarifier le rôle de l'espace aux limites $C(L)$ et de la décomposition $L = L_0 \oplus L_C$ dans l'isolement des effets aux limites par rapport au comportement intérieur.

L'article note que si la bonne pose est standard pour les équations elliptiques, ce cadre s'applique à des classes plus larges, y compris les cas non elliptiques (par exemple, l'équation des ondes dans des domaines spécifiques), et souligne que les problèmes mal posés peuvent avoir une pertinence dans des contextes mathématiques en dehors des applications technologiques standard, tels que les liens avec la géométrie et l'algèbre (par exemple, le problème de Poncelet).