Décomposition microlocale analytique des distributions

Bengel, G. ; Schapira, Pierre

Annales de l'Institut Fourier, Tome 29 (1979), p. 101-124 / Harvested from Numdam

Résumé

Nous dirons qu’un faisceau de groupes abéliens ${\cal F}$ sur un espace topologique $X$ est souple si, $\Omega $ étant un ouvert de $X$, $F_1$ et $F_2$ des fermés de $\Omega $, toute section de ${\cal F}$ sur $\Omega $ à support dans $F_1\cup F_2$ est somme de sections à support dans $F_1$ et $F_2$. Soit $M$ une variété analytique réelle, $S^*M$ son fibré cotangent en sphères, $C^f$ le faisceau sur $S^*M$ des microfonctions qui proviennent localement sur $S^*M$, de distributions. Nous montrons que le faisceau $C^f$ est souple. En particulier le faisceau ${\cal D}^{\prime }/{\cal A}$ sur $M$, quotient des distributions par les fonctions analytiques est souple. Nous montrons aussi que le faisceau des valeurs au bord de fonctions holomorphes à croissance modérée sur le bord d’un ouvert strictement pseudoconvexe est un faisceau souple. Pour obtenir ces théorèmes nous utilisons une représentation intégrale des sections de $C^f$ due à M. Bony et les méthodes $L^2$ de M. Hörmander pour la résolution d’un problème de Cousin avec condition de croissance.

Abstract

We call a sheaf of abelian groups ${\cal F}$ on a topological space $X$ flexibel if, $\Omega $ being an open subset of $X$, $F_1$ and $F_2$ closed in $\Omega $, every section of ${\cal F}$ on $\Omega $ with support in $F_1\cup F_2$ is the sum of sections in $F_1$ and $F_2$. Let $M$ be a real analytic manifold, $S^*M$ its cospherebundel, $C^f$ the sheaf of those microfunctions which locally on $S^*M$ come from distributions. We show that the sheaf $C^f$ is flexibel. In particular the sheaf ${\cal D}^{\prime }/{\cal A}$ on $M$, quotient of the sheaf of distributions by the analytic function is flexibel. We show also that the sheaf of boundary values of holomorphic functions with slow growth on the boundary of a strictly pseudoconvex open set is flexibel. In proving these theorems we use an integral representations of the sections of $C^f$ due to Bony and Hörmander’s $L^2$-estimates for the solution of a Cousin-problem with bounds.

Détail

Publié le : 1979-01-01

MR 81k:46050 | Zbl 0396.46039 | 2 citations dans Numdam

DOI : https://doi.org/10.5802/aif.754

Bibliographie

[1] J.M. Bony, Propagation des singularités différentiables pour une classe d'opérateurs différentiels à coefficients analytiques, Astérisque, 34-35 (1976), 43-91. | Numdam | Zbl 0344.35075

[2] J.M. Bony, P. Schapira, Existence et prolongement des solutions holomorphes des équations aux dérivées partielles, Inventiones Math., 17 (1972), 95-105. | MR 49 #3305 | Zbl 0225.35008

[3] J. Bros, D. Iagolnitzer, Tuboïdes dans Cn et généralisation d'un théorème de Grauert, Ann. Inst. Fourier, Grenoble, 26,3 (1976), 49-72. | Numdam | MR 55 #698 | Zbl 0336.32003

[4] J. Bros, D. Iagolnitzer, Support essentiel et structure analytique des distributions, Sém. Goulaouic-Schwartz 1974/1975, exposé 18. | Numdam | Zbl 0333.46029

[5] R. Godement, Topologie algébrique et théorie des faisceaux, Paris, Hermann, 1964.

[6] A. Grothendieck, Eléments de géométrie algébrique III, Publ. Math. IHES, 11 (1961). | Numdam

[7] L. Hörmander, L2 estimates and existence theorems for the ∂ operator, Acta Math., 113 (1965), 89-152. | Zbl 0158.11002

[8] L. Hörmander, Uniqueness theorems and wave front sets for solutions of linear differential equations with analytic coefficients, Comm. Pure Appl. Math., 24 (1971), 617-704. | MR 45 #3917 | Zbl 0226.35019

[9] L. Hörmander, Fourier integral operators, Acta Math., 127 (1971), 79-183. | MR 52 #9299 | Zbl 0212.46601

[10] M. Kashiwara, On the flabbyness of the sheaf C, R.I.M.S. N° 114, Kyoto University (1970) (en japonais).

[11] K. Kataoka, On the theory of Radon transformations of hyperfunctions, Preprint Tokyo University (1976).

[12] S. Lojasiewicz, Sur le problème de la division, Studia Math., 8 (1959), 87-136. | MR 21 #5893 | Zbl 0115.10203

[13] B. Malgrange, Ideals of differentiable functions, Tata Institut of Fundamental Research, Bombay (1966).

[14] A. Martineau, Distributions et valeurs au bord des fonctions holomorphes, Proc. of the Intern. Summer Institute, Lisboa, 1964.

[15] A. Martineau, Théorèmes sur le prolongement analytique du type “Edge of the wedge”, Sém. Bourbaki, 20e année, 340, 1967/1968. | Numdam | Zbl 0209.14802

[16] A. Melin, J. Sjostrand, Fourier Integral operators with complex phase functions and parametrix for an interior boundary value problem, Comm. in Partial Diff. Eq., 1 (14) (1976), 283-311. | MR 56 #13294 | Zbl 0364.35049

[17] M. Sato, T. Kawai, M. Kashiwara, Hyperfunctions and pseudo differential equations, In : Lecture Notes in Mathematics 287, 265-529, Berlin, Heidelberg, New York, Springer 1973. | MR 54 #8747 | Zbl 0277.46039

[18] J. Wloka, Grundräume und verallgemeinerte Funktionen, Lecture Notes in Mathematics 82, Berlin, Heidelberg, New York, Springer 1969. | Zbl 0169.15803