SMF

Espaces de Sobolev et faisceaux de Sobolev

Sobolev spaces and Sobolev sheaves

Gilles LEBEAU
Espaces de Sobolev et faisceaux de Sobolev
  • Consulter un extrait
  • Année : 2016
  • Tome : 383
  • Format : Électronique
  • Langue de l'ouvrage :
    Anglais
  • Class. Math. : 46E35, 16E35, 18F20, 58A03
  • Pages : 61-94
  • DOI : 10.24033/ast.1006

Soit $M$ une variété analytique réelle. Le site sous-analytique $M_{\mathrm {sa}} $ est constitué des ouverts sous-analytiques relativement compacts de $M$, les recouvrements étant finis à extraction près. Pour $s\in \mathbb R$, soit $H^s_{\mathrm {loc}}(M)$ l'espace de Sobolev usuel sur $M$. Pour tout $s\in \mathbb R, s\leq 0$ nous construisons un objet $\mathcal {H} ^s$ de la catégorie dérivée $\mathsf {D}^{+}(\mathbb C _{M_{\mathrm {sa}}} )$ des faisceau sur $M_{\mathrm {sa}} $, qui vérifie la propriété suivante : pour tout ouvert $U\in M_{\mathrm {sa}} $ à frontière lipschitzienne, $\mathcal {H} ^s(U):=\mathrm {R}\Gamma (U;\mathcal {H} ^s)$ est concentré en degré $0$ et coïncide avec l'espace de Sobolev usuel $H^s(U)$. Cette construction utilise les résultats de S. Guillermou et P. Schapira contenus dans ce volume. Dans le cas où $M$ est de dimension $2$, nous explicitons le complexe $\mathcal {H} ^s(U)$. Nous démontrons qu'il est toujours concentré en degré $0$, mais ne s'identifie pas toujours à un sous-espace de distributions sur $U$.

Sobolev spaces $H^s_{\mathrm {loc}}(M)$ on a real manifold $M$ are ical objects of Analysis. In this paper, we assume that $M$ is real analytic and denote by $M_{\mathrm {sa}} $ the associated subanalytic site, for which the open sets are the open relatively compact subanalytic subsets and the coverings are, roughly speaking, the finite coverings. For $s\in \mathbb R, s\leq 0$, we construct an object $\mathcal {H} ^s$ of the derived category $\mathsf {D}^{+}(\mathbb C _{M_{\mathrm {sa}}} )$ of sheaves on $M_{\mathrm {sa}}$ with the property that if $U$ is open in $M_{\mathrm {sa}} $ and has a Lipschitz boundary, then the object $\mathcal {H} ^s(U):= \mathrm {R}\Gamma (U;\mathcal {H} ^s)$ is concentrated in degree $0$ and coincides with the ical Sobolev space $H^s(U)$. This construction is based on the results of S. Guillermou and P. Schapira in this volume. Moreover, in the special case where the manifold $M$ is of dimension $2$, we will compute explicitly the complex $\mathcal {H} ^s(U)$ and prove that it is always concentrated in degree $0$, but is not necessarily a subspace of the space of distributions on $U$.

Espaces de Sobolev, topologie sous-analytique, faisceaux, catégories dérivées.
Sobolev spaces, subanalytic topology, sheaves, derived categories.

Électronique
Electronic
Prix public Public price 10.00 €
Prix membre Member price 7.00 €
Quantité
Quantity
- +