Opérateurs différentiels hypoelliptiques

Trèves, François. "Opérateurs différentiels hypoelliptiques." Annales de l'institut Fourier 9 (1959): 1-73. <http://eudml.org/doc/73752>.

@article{Trèves1959,
abstract = {On établit une condition suffisante pour qu’un opérateur différentiel à coefficients indéfiniment différentiable sur un ouvert de $\{\bf R\}^n$ y soit hypoelliptique. La démonstration, exposée au chapitre III, utilise divers espaces fonctionnels, qui sont étudiés au chapitre I. On prouve que ce critère implique celui de MM. Hörmander et Malgrange, qui affirme l’hypoellipticité des opérateurs formellement hypoelliptiques. Considérons un opérateur différentiel sur $\{\bf R\}^n_x$, $P(\nu ,D_x)$, dont les coefficients sont constants par rapport à $x$, mais sont des fonctions $\{\bf C\}^\infty $ du point $\nu $ d’un ouvert $\Omega $ de $\{\bf R\}^n$. L’opérateur à coefficients variables associé, $P(x,D)$, est dit formellement hypoelliptique dans $\Omega $ si $P(\nu ,D)$ est hypoelliptique pour chaque $\nu $ et si, pour deux points $\nu _1,\nu _2$ quelconques de $\Omega $, $P(\nu _1,D)$ et $P(\nu _2,D)$ sont équivalents au sens d’Hörmander. Que notre critère soit plus fort que celui d’Hörmander et Malgrange provient essentiellement du fait, établi dans le chapitre II, que sous les conditions ci-dessus, il existe une fonction $\{\bf C\}^\infty E(\nu )$ de $\nu $, à valeurs dans l’espace des opérateurs continus de $L^2_c$ dans $L^2_\{\rm loc\}$, qui, pour chaque $\nu $, constitue un inverse de $P(\nu ,D)$. Dans la seconde partie du chapitre II, nous prouvons une réciproque de ce résultat. Enfin, nous exhibons l’exemple d’un opérateur différentiel qui satisfait notre critère, et qui est donc hypoelliptique, mais qu’aucun changement de coordonnées ne peut ramener au type formellement hypoelliptique.},
author = {Trèves, François},
journal = {Annales de l'institut Fourier},
keywords = {partial differential equations},
language = {fre},
pages = {1-73},
publisher = {Association des Annales de l'Institut Fourier},
title = {Opérateurs différentiels hypoelliptiques},
url = {http://eudml.org/doc/73752},
volume = {9},
year = {1959},
}

TY - JOUR
AU - Trèves, François
TI - Opérateurs différentiels hypoelliptiques
JO - Annales de l'institut Fourier
PY - 1959
PB - Association des Annales de l'Institut Fourier
VL - 9
SP - 1
EP - 73
AB - On établit une condition suffisante pour qu’un opérateur différentiel à coefficients indéfiniment différentiable sur un ouvert de ${\bf R}^n$ y soit hypoelliptique. La démonstration, exposée au chapitre III, utilise divers espaces fonctionnels, qui sont étudiés au chapitre I. On prouve que ce critère implique celui de MM. Hörmander et Malgrange, qui affirme l’hypoellipticité des opérateurs formellement hypoelliptiques. Considérons un opérateur différentiel sur ${\bf R}^n_x$, $P(\nu ,D_x)$, dont les coefficients sont constants par rapport à $x$, mais sont des fonctions ${\bf C}^\infty $ du point $\nu $ d’un ouvert $\Omega $ de ${\bf R}^n$. L’opérateur à coefficients variables associé, $P(x,D)$, est dit formellement hypoelliptique dans $\Omega $ si $P(\nu ,D)$ est hypoelliptique pour chaque $\nu $ et si, pour deux points $\nu _1,\nu _2$ quelconques de $\Omega $, $P(\nu _1,D)$ et $P(\nu _2,D)$ sont équivalents au sens d’Hörmander. Que notre critère soit plus fort que celui d’Hörmander et Malgrange provient essentiellement du fait, établi dans le chapitre II, que sous les conditions ci-dessus, il existe une fonction ${\bf C}^\infty E(\nu )$ de $\nu $, à valeurs dans l’espace des opérateurs continus de $L^2_c$ dans $L^2_{\rm loc}$, qui, pour chaque $\nu $, constitue un inverse de $P(\nu ,D)$. Dans la seconde partie du chapitre II, nous prouvons une réciproque de ce résultat. Enfin, nous exhibons l’exemple d’un opérateur différentiel qui satisfait notre critère, et qui est donc hypoelliptique, mais qu’aucun changement de coordonnées ne peut ramener au type formellement hypoelliptique.
LA - fre
KW - partial differential equations
UR - http://eudml.org/doc/73752
ER -