Lecture Notes in

Mathematics
A collection of informal reports and seminars
Edited by A. Dold, Heidelberg and B. Eckmann, ZOrich

Series: Universite de Nice, Faculte des Sciences

Adviser: J. Dieudonne

126

Pierre Schapira
Faculte des Sciences, Universite de Nice
Nice/France

Theorie des Hyperfonctions

Springer-Verlag
Berlin· Heidelberg· NewYork 1970
Lecture Notes in
Mathematics
A collection of informal reports and seminars
Edited by A. Dold, Heidelberg and B. Eckmann, ZOrich

Series: Universite de Nice, Faculte des Sciences

Adviser: J. Dieudonne

126

Pierre Schapira
Faculte des Sciences, Universite de Nice
Nice/France

Theorie des Hyperfonctions

Springer-Verlag
Berlin· Heidelberg· NewYork 1970
This work is subjcict to ropJri&ht. AU risbts are reserved, wherhl'r the whole or part of the material is concerned,
specifically those of translation, reprinting, re-use of illustration!, broaJo,ring, reproduction by photocopying machine
or similar and storage in data banks.
Under §.54 of the German Copyright Law where copies made for other than p rivate J tee is pa to the publisher,
the amount of the fee to bedetermined by agreement with the pull-li,her.
e by Berlin' Heidelberg 197<l Library of Congres:l CHalog Card Number 73 - I HiM! Primed in Germany.
TIde No. 3282
 INTRODUCTION

La theorie des hyperfonctions est une generalisation de la theorie

des distributions de L. SCHWARTZ. Les hyperfonctions des

fonctionnelles analytiques, de meme que les distributions sont "localement"

a support compact. Cependant, et c'est ce qui fait leur interet, les hyper-

fonctions ont des proprietes tres differentes celles des distributions,

la plus remarquable etant que toute hyperfonction sur un ouvert de an est

"prolongeable" a l'espace entier.

Avant d'etre definies par A.MARTINEAU (27) comme "sommes localement

finies de fonctionnelles analytiques" les hyperfonctions ont ete introduites

par M.SATO (32) comme "valeurs au bord de fonctions holomorphes". Cette der-

niere interpretation necessite l'introduction de methodes de la cohomologie

des aussi n'est­elle exposee qu'au dernier chapitre.

Les hyperfonctions, et les operations sur les hyperfonctions (convolu-

tion, multiplication etc ••• ) sont construites au premier chapitre. Ce chapitre

contient aussi un theoreme du type DOLBEAULT­GROTHENDIECK sur la resolution

du faisceau des fonctions holomorphes par des faisceaux d'hyperfonctions.

Le chapitre II traite des valeurs au bord des solutions des equations

elliptiques: si P est un operateur elliptique d'ordre m a coefficients ana-

lytiques au voisinage d'une hyper surface S. les m­uples d'hyperfonctions de S sont

 IV

les "valeurs au bord" des solutions analytiques dans Ie complementaire de S

de l'equation

P u 0

Cette representation permet de demontrer simplement, en reprenant une methode

due a G. BENGEL (I) Ie "theoreme de regularite elliptique" pour les hyper-

fonctions.

Le dernier paragraphe de ce chapitre concerne la representation des

distributions dans Ie cas particulier de l'operateur O/dZ et est une in-

troduction au chapitre IV § 3 •
Quelques problemes classiques d'analyse sont abordes dans Ie cadre des
hyperfonctions au chapitre :
- Resolution des systemes surdetermines a coefficients constants ;

(H. KOMATSU (21)). On represente, pour resoudre ce probleme. les hyperfonctions

comme valeurs au bord de fonctions harmoniques (KOMATSU utilise les fonctions

holomorphes) et on applique Ie theoreme de MALGRANGE-EHRENPREIS.

- Condition necessaire de "resolubilite" des operateurs differentiels du pre-

mier ordre (P. SCHAPlRA (34)). On montre dans ce paragraphe comment. bien que

l'espace des hyperfonctions sur un ouvert n'ait pas de topologie naturelle se-

paree, on peut utiliser la technique des "inegalites a priori" pour resoudre

des equations aux derivees partielles.

- Probleme de division (par des matrices analytiques). Les demonstrations sont

beaucoup plus simples que pour les distributions. Il suffit de "transposer" et

"recoller" les theoremes de OKA et CARTAN.

La theorie des valeurs au bord des fonctions holomorphes est etudiee

au chapitre IV.
 v

La demonstration du theoreme de SATO est simplifiee par le theoreme du

type DOLBEAULT-GROTHENDIECK du chapitre I (ce dernier theoreme est un cas

particulier du theoreme de KOMATSU mais cet auteur utilise le theoreme de SATO

pour le demontrer).

Le theoreme de SATO permet. grace au theoreme des "recouvrements acycli-

ques" de J.LERAY de representer les hyperfonctions comme valeurs au bord de

fonctions holomorphes. Seul un recouvrement particulier est considere dans ce

chapitre. et le "processus de WElL" permettant de passer des fonctions holo-

morphes aux hyperfonctions est etudie en detail. On montre que ce processus

"commute" avec les produits tensoriels ce qui permet dans l'etude de certains

problemes de se ramener a la dimension un.

La representation des distributions et le theoreme du "Edge of the Wedge"

sont abordes superficiellement. Ce chapitre se termine par quelques applica-

tions, notamment aux equations de convolution.

Ce livre commence par deux chapitres preliminaires

- Le chapitre A contient les principaux resultats de la theorie des espaces

vectoriels topologiques. des equations aux derivees partielles. des fonctions

de plusieurs variables complexes. utilises par Ia suite.

- Le chapitre B est un expose, Ie plus concis possible, de la theorie des

faisceaux.

Seulsle premier paragraphe et Ia definition B.21 du paragraphe 2 sont

necessaires a la comprehension des chapitres I. II et III. Autrement dit ces

chapitres ne demandent aucune connaissance de la cohomologie des faisceaux.

La redaction du chapitre B slinspire evidemment du livre de R. GODE-

MEHT (11) mais les suites spectrales ne sont pas utilisees.

 VI

Les chapitres de ce livre sont divises en paragraphes et les enonces sont

uunis d'une triple numerotation correspondant a cette division.

Chaque chapitre se termine par un court commentaire historico-bibliographi-

que.

Le lecteur reconnaitra peut-etre dans ce texte l'influence de M. Andre

MARTINEAU. C'est en effet a lui que nous devons notre initiation a cette theorie

et beaucoup d'idees de ce livre lui appartiennent.

Ce livre est base sur un cours donne a Rio de Janeiro. a l' "Instituto

de Matematica Pura e Aplicada" du "Conselho Nacional de Pesquisas" en Avril -

Juillet 1969 alors que l'auteur etait invite comme "Professor Visitante" et

etait sUnultanement IlAttache de Recherches" au "Centre National de la Recherche

(France).

Nous remercions ces institutions.

Nous voudrions aussi remercier nos collegues de l' I.M.P.A. qui ont parti-

cipe a notre cours et particulierement M. Leopoldo NACHBIN.

Pierre S C HAP I R A

Rio de Janeiro

Aout 1 9 6 9
 ,
TAB L E DES MATIERES

Introduction

Table des matieres

Prel iminaires

CHAPITRE A. Rappels •
§ Espaces vectoriels topologiques
§ 2 Equations aux derivees partielles 2

§ 3 Fonctions de variables complexes 6

§ 4 Equations de convolution 7

CHAPITRE B. Cohomologie des faisceaux 8

§ Faisceaux • 8

§ 2 Faisceaux flasques • 16

§ 3 Cohomologie 19

§ 4 Faisceaux sur un espace paracompact 36

v
§ 5 Cohomologie de Cech ·40

CHAPITRE I • Hyperfonctions 44
§ Fonctions et fonctionnelles analytiques 44

§ 2 Hyperfonctions 52

§ 3 Operation sur les hyperfonctions • 61

§ 4 Regularite elliptique et resolution du faisceau des fonctions

holomorphes 69
 VIII

CHAPITRE II. Operateurs elliptiques 77

§ Dualid • ... 77

§ 2 Valeurs au bord des solutions de l'equation homogene 81

§ 3 Regularite 87

§ 4 Existence 89

§ 5 Representation des distributions dans Ie cas de l'operateur 91

CHAPITRE III. Resultats divers 98

§ 1 Systemes differentiels 98

§ 2 Operateurs differentiels du premier ordre 103

§ 3 Division des hyperfonctions 109

CHAPITRE IV. Valeurs au bord des fonctions holomorphes 118

Theorie de SATO 118

v:
§ 2 Utilisation de la cohomologie de Cech 127

§ 3 Representation des distributions 144

§ 4 Resultats divers 148
 P R g LIM I N A IRE S

Nous adopterons les notations et les conventions communes des livres sui-

vants

En ce qui concerne

- la theorie des espaces vectoriels topologiques (13) (cf. aussi (3»;

- la th orie des distributions (37);

- la theorie des equations aux derivees partielles (18) (cf. aussi (23»;

- la theorie de variables complexes (19) (cf. aussi (16» ;

- la theorie des faisceaux (11).

Nous aupposerons connues les principaux resultats de (13) et (37) et dans une

moindre mesure ceux de (18) et (19). Cependant nous preferons rappeler au

chapitre Ales theoremes fondamentaux que nous utiliserons.

Au chapitre B nous exposerons les definitions et resultats de (11) dont

nous avons besoin. Comme nous l'avons deja dit seuls les deux premiers para-

graphes de ce chapitre sont utilises aux chapitres I, 2, 3.

Nous designerons en general par..n. un ouvert de i(n et si R

n est

plonge, d ans Rn+l ou dans (£n par 11- n 1

un ouvert de lR + ou de • Soit

fl un ouvert de Rn• Nous designerons par :

l'espace des fonctions indefiniment differentiables a support compact dansfL,

indefiniment differentiable surIl, p fois continuement differentiable sur iL,

l'espace des distributions a supports compacts dans fL, des distributions sur St,
des fonctions analytiques sur1t.
 x

Tous ces espaces vectoriels sont complexes et seront munis • sauf le der-

nier. de leur topologie "naturelle", c' est-A-dire definie dans (37).

Si it est un ouvert de C • H(fL) designera l'espace des fonctions holo-

N I
morphes surSLmuni de sa topologie naturelle d'espace de FRECHET.

On designera par 19 le faisceau des fonctions holomorphes sur f.n •

Soit x = ..., et z ..

z.. x + iy i= V:--I
Z.. x - iy

On pose

Dx. Iii '0 1"1J x

j
J
Dz. Iii a/oz.J
J

Si 0( ... (c< I' ..., 0<. n) tf • on pose

\0(1= 0'-.1 + ••• +

n
0( "'I o(n
D D D
x xl xn

0<1 otn
D; D D
zl z
n
S'il n'y a pas de confusion possible on ecrira

D. pour D ou D
J x. z.
J J
DO< pour Do( ou Dol.
x z
01.
Si Pest un pol.ynfsne A n indeterminees P(;) = '2: aol. S
0(
on pose

P(D) Do(
 XI

P (D)
m
L10(1 = m

Tous les operateurs differentiels que nous considerons seront. sans

qu'on Ie rappelle, lineaires.

 CHAPITRE A

RAPPELS

§ 1 Espaces vectoriels topologiques.

Nous ecrivons "E V T" pour "espace vectoriel topologique localement con-

vexe" »"F.S." pour "mCHET­SCHWARTZ", "D.F.S." pour "dual de FRECHET­SCHWARTZ".

I "
THEOREME A. II (13)

a) Soit E un E.V.T. du type F.S. (resp. D.F.S.) et N un sous­espace ferme

de E. Alors N et E/N sont du type F.S. (resp. D.F.S.).

b) Si u est une application lineaire continue de E dans F, deux E.V.T. dU

type F.S. (resp. D.F.S.) on a les equivalences:

­ u est un homomorphimne

­ u est a' image fermee

t u est un homomorphimne

I \
THEOREME A.12 ("tMoreme du graphe ferme", cf. par ex. 8).

Soit E un E.V.T.ultra­bornologique et F un E.V.T. obtenu par passage aux

limites inductives denombrables et projectives denombrables d'espacesde BANACH

Soit u une application lineaire de graphe ferme de E dans F.

Alors u est continue.
I \
THEOREME A. 13 (3)

Soit E un espace de FRECHET, F un espace metrisable et u une forme

 - 2 -

bilineaire separement continue sur Ex F. Alors u est continue.

A.14 (13)

Soit E un E.V.T. separe. "n une suite d'espaces de n1cHET avec

c
-+E

U
n
E
n
... E

Soit F un espace de FR!cHET avec

Alors il existe un n tel que

F s"E.
n

I .
§ 2 - Equat10ns aux derivees partielles.

a) Opirateurs elliptiques.
I
DEFINITION A.21 (23)

Soit P • P(x, D ) un operateur differentiel d'ordre m a coefficients

x
analytiquel!l sur un ouvert .n. de I1n • On dit que Pest elliptique si :

p (x
m 0
.1) 'i' o.
, ,
THEORBME A.2-1 (23, p. 341)

Soit P un opirateur elliptique a coefficients analytiques dans un ou-

vert .Jl. de fln. Alon ::

P Il' cru • aJ' (.0..)

 - 3 -

p t,Ut) • <.0.)
Pot(il.) • rt.(Jl) .

TBoUHE A.22 (ef. 18).

Soit SOUlS lea htpothbes du theodme A.21 u.t! (lU lSolution de

Pu =0
Alors ue D(tl) •

A.23

Soit sous les hypothises du theodme A.21 •

11. U
i 6I
Jl-'

un recOUVTement ouvettt de 11. et

f •
i j
fI Ot Ul.i () lLj ) avec

P f •.• 0
1.J

f •. = - f ..
J.1'
V i. j

fL •
J
+ f.J. k'I + f k .1• • 0 dans

lti (\ nj () nk V.. • k •

Alan i l eziste

f. £
1
rt( ll..)
avec P f .• 0
1

f. . - f. - f. dans
1.J 1 J
n. () .n..J Y..
103

La dlilaonstration de ce theoreme est 1& mem.e que celle du theorUl.e 145

de (19).
 - 4 -

Signalons que si Pest elliptique dans Jl., t p " son transpose, est ellipti-

que dans It.

b) The.oreme de CAUCHY-KOWALEWSKI.

TBEOaEME A.24 (cf. 18)

Soit 1l un ouvert de Rn 'plonge dans Rn +1 par x -;. (x , 0) et P(x, D )

x
un operateur differentiel a coefficients analytiques au voisinage deil dans
n+1
R et d'ordre m o O, On suppose que:

pm(x , S) " °
si x eJtx to}
s- (0, ... o;Sn+l)' 5 n+ I " 0.

Soit n+1(((J1) l' espace des fonctions analytiques au voisinage de .n.

n
dans R + I et nf(.(Il) 1 'espace des fonctions analytiques dans . f l.

Alors l'application

n+IO't(lU n+IOlCCt»)<, nO{(.J1.)m

f --+P f f \ i-O, •• ;m-I

xn+1=-O
est un isomorphisme.

c) Le theoreme de MALGRANGE-EHRENPREIS sur les sistemes differentiels.

Des ignons par

n•
l'anneau des polynames differentiels a coefficients dans sur R

Soit (P) une matrice (q, p) (q lignes, p colonnes) a coefficients dans £ [D] •

L'ensemble des matrices Q de type (I, q) telles que

Q0 P = °
 - 5 -

est un sous-module de e (n] q •

Comme l' anneau e [n] est noetherien il existe QI' ••• Q r matrices (i, q)

qui engendrent ce module sur t (D].

Designons par (Q) la matrice de type (r • q)

Q • ([I)
Q r
Rappelons que si A. B. C sont des groupes abeliens. u et v des morphis-
mes de groupes

(I) A ---+
u
B --).- C
v

on dit que la suite (I) est un complexe (de groupes) si

Im u C. Ker v

et est exacte si

Imu Kerv

TuEoREME A.25 (24. 10).

n
Soit ..n. un ouvert convexe de R •

La suite

est exacte.

COROLLAlRE

Si P est un operateur differentiel a coefficients constants/pour tout

n
ouvert convexe it de R on a :

P .) cn i .
 - 6 -

§ 3 - Fonctions de variables complexes (cf. 19).

a) Fonctions d tune variable complexe.

Soit W un ouvert borne de t a frontiere "reguliere" (par exemple C CD) •

On supposera toujours W orientee pour que W soit a gauche de i) co ,

THEOdME A.31 ("Formule de CAUCHY").

u('§) = 2ih [ 1cko

J
dZ +
w
dU/c:lZ
Z - '5 dz 1\ dz ]

COROLLAIRE

2
Considerons la fonction localement sotmnable sur It • On a
Z

..1.(_1) -b.
()z 1TZ

b) Plusieurs variables complexes.

I
DEFINITION A.31

n
On dit qu'un compact KC.a: est polynomialement convexe si

il existe PE C [zIt ... Zn] tel que

'> sup
&EK
\P(Z) I
11 est facile de voir qu'un compact convexe est polynomialement convexe et il

resulte du theoreme de STONE-WEIERSTRASS qu'il en est de meme d'un compact

reel (i. e. : KC Rn c tn) •

Nous ne rappellerons pas la definition d'un ouvert d'holomorphie de

 - 7 -

DEFINITION A.32.

N '"'"
Soit fL un ouvert d'holomorphie de Q:n. On dit que 11 est de llutlge si
n) AI
H(C est dense dans H(ll) •

I ,
THEOREME A.32.

Soit K un compact polynomialement convexe de Cn.

K admet un systeme fondamental de voisinages ouverts de Runge.

TJ:itomm A.33. (12)

Soit Jl un ouvert de Rn n. admet dans q:n un systeme fondamental de voisi-

nages ouverts d'holomorphie •

Pour la signification du theoreme ci-dessous, cf. le chapitre B.

THEOldME A. 34.

'"'" un ouvert d' holomorphie de en.

Soit .fl

I •
§ 4 - Equat10ns de convolution.

Pour les notions utilisees dans le theareme A.41 , cf. le chapitre I.

I ,
THEOREME A.41 (29).

On suppose que le support de vest un point. Alors

,J
n
Si 1L IR }( i west un tube convexe de c"
III

,..J
u'AlH({l.) III it )
B(
"'"'
N
v ,. H(1l.) III HUt).
 CHAPITRE B

C 0 HOM 0 LOG I E DES FAISCEAUX

Dans ce chapitre,X designera un espace topologique.

§ I - Faisceaux.

a) Definitions

DEFINITION B. II •

On appelle prefaisceau F (de groupes abeliens) sur X, la donnee pOUT tout

ouvert it de X d 'un groupe abelien F(ll..),. et pour toute inclusion Il. C 1l.
Z 1
d' un morphisme de groupes

dit de restriction, tel que, si l'on note sl!t l'image par ce morphisme d'un ele-
z
ment s E F(.lll) on ait :

V..n3 c. Jl. Z c. Jl 1

I
DEFINITION B.IZ.

On dit que Ie prefaisceau F est un faisceau si

Vn ouvert de X, J'L= u n,
iEOI
, .0.. ouverts,on a
F $i s, s' 4< F(CL) et si
I

Vi I
s ft i = s'llti ' alors s s'

F llQie.nt s . 6 F(ft.) tels que

Z 1
 - 9 -

y..
1..J
s.1 1.
ft.n
1.
.n J, s, J
fl..n.n..
1. J
Alors i l existe s EF(JU avec

sjn i .. S.
1.

Notons provisoirement par R. . les applications de restriction

1.,J

R.. F(!'L.) F(ll.) si A.ell.

1.,J 1. J J 1.

et R. FUL) F(fi..)
1. 1.

La famille

(F(lL.) • R• • )
1. 1..J

definit un systeme projectif de groupes abeliens et les R. definissent une

1.
application :

R : F(J\.) lim (F(!l.). R. • )

1. 1..3
1

F sera un faisceau si et seulement si pour tout ouvertflet pour tout recouvre-

ment ouvert de fl stable par intersections finies. (J\..) • R est un iso-

1. ie I
morphisme.

Exemples.

- X = Rn • F(ll) = Dt(fi) avec si wen. TeDt(fU.

l.Tlw. <f>OO<T. 'f>si 'fED(c.o).

F ( .. Dt) est un faisceau.

n
- X = R • F .. L1 avec les operations de restriction usuelles.

F est un prefaisceau mais pas un faisceau.

- sr F est un faisceau sur X, .n.. un ouvert de X. on definit de maniere evidente

La restriction de F iill.. Fill: ctest un faisceau surn.

 - 10 -

b) Morphimes

Soit F et G deux prefaisceaux sur X. Un morphisme u de F dans G est la don-

nee pour tout ouvert JL de X d'un morphisme (de groupes) :

u : F(n.) --1" G(.1l)

compatible avec les restrictions.

v co e. n, S E F(n.)

u(s) I c..o u(s 100)

Un morphisme de faisceaux est un morphisme des prefaisceaux sous-jacents. On
definit de maniere evidente le compose de deux morphismes.

c) Faisceau associe a un prefaisceau

TBEomm B. 11.

Soit Y un prefaisceau. 11 existe un faisceau F et un morphisme

unique a un isomorphisme pres, tel que

G est un faisceau et u un morphisme

F ---:io- G
u

il existe un morphisme rendant Ie diagramme

\/ F

commutatif.

On dira que! est le faisceau associe a F.

 - 11 -

Demonstration.

Pour tout ouvert fL de X soit3(1l) l'ensemble des recouvrements ouverts

de n . J cru est ordonne filtrant pour la relation

I <I' si le recouvrement I' est plus fin que I.

On pose :

F(fl.) lim et !eA>

Iij(1L)
On definit les morphismes de restriction par passage aux limites projectives

et inductives. Le reste de la demonstration est laisse au lecteur.

Pour une autre construction de F ef. (II).

d) Operations sur les faisceaux.

On definit de maniere evidente les notions de sous-prefaisceau. prefais-

eeau quotient. produit et sommes directes de prefaiseeaux. De meme si u est

un morphisme de prefaiseeaux

u: F---;"G

on definit les prefaisceaux

(Ker u) (.it) Ker [F(n.) -+ G(J\.)]

(lm u) (ll.) lm [F(!l) -+ G(.!t)]

Un eomplexe de prefaiaceaux est done une suite de prefaisceaux F et de

n
morphismes u
n

tels que

o un • O.

i, e lm un est un 8ous-prefaisceau de Ker u n+ l .

 - 12 -

Un complexe de prefaisceaux est une suite exacte de prefaisceaux

si Vn Im Ker

i, e
Vn ' VI\.
Im [F 1cru -;.. F(ill ]
n- n

11 est facile de verifier que les produits et sommes directes , ainsi que les

noyaux par des morphismes, de faisceaux, sont encore des faisceaux.

Par contre le prefaisceau quotient de deux faisceaux n'est pas toujours

un faisceau, de meme de le prefaisceau image d'un faisceau dans un autre fais-

ceau,

Remarquons cependant que si F est un sous-prefaisceau d'un faisceau G,

F verifiera l'axiome Fl des faisceaux et F sera le sous-faisceau de G defini

par :

S GG(.fl) et v x G.Jl
'3 W x voisinage ouvert de x tel que

s\ W
x t: F(c..o )
x
DBFINITION B.13.

F un sous-faisceau du faisceau G. Le faisceau quotient de G F

(note s'il n'y a pas de confusion possible G/F) est le faisceau associe au pre-

faisceau quot ient de G £!!.. F.

De meme si u est un morphisme de faisceaux, le faisceau image de u (note

1m u a pas de confusions possibles) est le associe au pre-

faisceau image de u.
 - 13 -

Un complexe de faisceaux est une suite

avec 1m u C Ker
n

Un complexe de faisceaux est un complexe des prefaisceaux sous-jacents.

Par contre ce complexe sera une suite exacte de faisceaux si

1m u
n

(1m u : faisceau image de u )

n n
ce qui est plus faible qu'etre une suite exacte de prefaisceaux.

Soit F un faisceau. On appelle resolution de F une suite exacte de faisceaux

de la forme :

(oil 0 designe le faisceau : 11. to}) .

e) Supports.

Soit F un faisceau sur X.

Si s 6 FUt) on dit que s est une section de F sur I1..

Le support de s sera le plus petit ferme en dehors duquel s est nulle (s etant

nulle sur un ouvert W c.ll.si s 1l.4>= 0) Si A est ferme dansst on designe

par

l'ensemble des elements de F(1l) dont le support est dans A.

Si est une famille de fermes de X on dit que est une famille de

supports si

ACB. B G f/J ==4>- A f/J

 - 14 -

On ecrira

r fI (X, F) U rA (X, F)

c'est un sous-groupe de F(X).

Si Vest un ouvert ou un de X et une famille de supports, on pose

fI () A 0 }

IV A C.V }

Si V • Jl est ouvert on ecrira

r fI (Jt, F) pour ,.. nn (it, F)

Enfin on ecrira aussi

r (Jt, F) pour F(ll.) •

LEMME B.II.

Si 0 F -+-R est une suite exacte de faisceaux et une famille

de supports dans K la suite

est exacte.

La est laissee au lecteur.

f) GermeB'.

Soit F un faisceau.

Si K est un compact de X on pose

F(K) • lim F(l1.)
.It;) )K

Si x eX on ecrit F pour F(
x
tx) ) • F
x
s'appelle la fibre du faisceau F en x.
 - 15 -

st x e1\.. s e F(Jl). 11 1 'image de s dans F s'appelle Le germe de s en x ,

x x
Remarquons que si F est un prefaisceau

F
-x
lim 1(Jl..)
---+
.tl.3x

LEMME B.12.

Soit F G H un complexe de faisceaux. Les assertions a) et b)

-- u v -
sont equivalentes

a) La suite de faisceaux

est exacte.

b) V% e X Is. suite de groupes a,beliens

est exacte.

Demonstration.

Designons contrairement aux notations de l'enonce par u et v les

x x
applications :

F G
x u
x
x

II resulte de la remarque precedant Ie lemme que, Im u designant Ie faisceau

image de u, on a :

(Im u) Im(u )
x x

(Ker v)
x
Danc a) b) et b) entra!ne que les deux sous-faisceaux de G, Im u et

'Ker v. ont fibres en chaque point. 11 est alors immediat de verifier en

 - 16 -

utilisant l'axiome F2 des faisceaux, qu'ils sont egaux.

g) Prefaisceaux d'anneaux, de modules etc ••••

On a defini en a) la notion de prefaisceau de groupes abeliens. On aurait

pu affaiblir cette definition en supposant seulement que les F(Jl) sont des

ensembles et les restrictions des applications, ou au contraire on peut supposer

que les F(lt) sont des anneaux, ou des modules sur un anneau A fixe et que les

restrictions sont des morphismes d'anneaux, de A-modules, etc •••

On dira alors que F est un prefaisceau d'ensembles,d'anneaux, de

etc ••• Par exemple un prefaisceau de groupes abeliens est un prefaisceau de

:l-modules.

Soit U! un prefaisceau' d'anneaux et M un prefaisceau de groupes abeIiens

tel que :

MUD est un «(it) - module

a" 01.(ILl)' mE M (Jl I ) J on a

fl. 2 (a lD.2 ) (m 11\.2)'

On dit a Lo r s que M est un prefaisceau de b( -modules.

Des prefaisceaux d'ensembles d'anneaux de8(-modules etc ••• sont des

faisceaux d'ensembles d'anneaux deaL-modules etc ••• s'ils verifient les axiomes

F et F2 de la definition B.12.
I

Dans ce chapitre nous nous placerons dans Ie cadre des groupes abeliens.

Le lecteur fera les extensions necessaires.

§ 2 Faisceaux flasques.

Dans ce paragraphe et les suivants, F, G, H ••• designeront (sauf mention

du contraire) des faisceaux de groupes abeliens.

 - 17 -

DEFINITION B.21.

Un faisceau F est flasque si pour tout ouvert: it de X l' application

est surjective.

I "
THEOREM}; B. 21 .

Soit 0 -+- G -+ 0 une suite exacte de faisceaux .•

&upposons F flasque. Alors pour toute famille de supports la suite

o ----+- f' F) ----+- r G) -+ f' H) --+ 0

est exacte.

Demonstration.

1) par montrer que pour tout ouvert {lla suite

est exacte.

Comme la restriction a un ouvert d'un faisceau flasque est flasque on peut

prendre Jl X

Soit h e.H(X) et soit E la famille des couples efl. g) ou

g "G(fl) v(g) h

E est ordonne et inductif pour la relation

(£1.. g) < cn, g') si

n.c ru • g'l fl = g.
Soit (fi. g) un element maximal.

Si x"X • i l existe (.0 voisinage ouvert de x, g ' e G(w) avec

v(g') = h (4,)

s' - g 'Anw= u(f) ft:F(fln (0)

 - 18 -

Soit f un prolongement de f et soit

gn - s' .. u(f !W) & G(w)

on a g r.fl.n w- gn I J\. ("\ U)

donc si co ¢..fl , g n'est pas maximal.

2) Soit maintenant A IS fJ et hef"A(X, H).

Soit g E r (X, B) avec

v(g) - h. 1

Coume v(g IX- A) • 0, i l existe f .. F(X - A) tel que

u(f) - gl X-A.

Soit f lEi ,., (X , F) un prolongement de f aX

v(g - u(f» - h

et g - u(f ) e f1 A(X, G).

THEOREME B. 22.

une suite exacte de faisceaux.

Supposons F et G flasques. Alors H est flasgue.

Deaonstration.

Soit It un ouvert de X. La suite :

o 7 G( fi.) ---v? H(Sl.) -+ 0

est exacte d'apres le B.2l.

Soit haH(lt), gQG(j'l) avec

v(g) • h.

Si S .. G(X) est w:i prolongement de g, v(s) sera un prolona_ent de h.

 - 19 -

Soit 0 -4>- F ........,.. une suite exacte de faisceaux

-- 0I
flasques. Soit une fsmille de supports. La suite

est exacte.

Demonstrat ion.

Soient Z. ( i les faisceaux

1

Zi .. Ker [F i ---;-F i+1 ]

On a Z .. F
o
Zi 1m [F i - 1 --r FJ i> 0
et les suites exactes

o -7>' z.1 --+ F.

1
Z. + I
1
-+0 i) 0 •

II resulte du theoreme B.22. que tous les faisceaux Z. sont flasques.

1

II resulte alors du theoreme B.21. que les suites

o -+ Zi) -+ r .,(x, F ) -}-

i
Zi+l) 0
sont exactes d'oii si i >0
1m [r.,(x, Fi _ l) -+ Fi ) ]
.. fi .(x, Zi)

.. Ker [r .<x, Fi) ....,. r.<x, Fi+l) ]

§ 3 - Cohomologie.

a) Preliminaires d'algebre d'homologique.

Sait
 - 20 -

un complexe de groupes abeliens (i.e. le compose de deux fleches est nul).

Designons par A.ce complexe.

On pose

Ker (An
n >0
lin [An-1 -'1'" An]

On dira que les sont les groupes de cohomologie du complexe A •

Supposons que l'on ait un diagramme commutatif

....
B -+ B
o
B
1
..
On definit une application :

dnsi

Si Y est l'image de x dans B

p

yEO Ker lB p ---+ B + 1]

p
et la classe de y dans HP(B.) ne depend que de celle de x dans HP(A.).

Considerons maintenant un complexe double de 1& forme :

 21 -

..

et supposons toutes les colonnes exactes.

On definit un morphisme '0 dit de "cobord" ainsi

n n+l
-0: H (C.) H (A.).

Soit r e Hn(C.) et "( un representant de r dans Ker [Cn ]

'0 (10 sera La classe de 0( dans Hn+ 1 (A.) ou c( est construit suivant le

diagra:mm.e :

(----"'7. An+ 2

f
B
r.'--1---"?!o- Bn + 2

r
c ----'>-!Io- Cn + I

o
 - 22 -

i,e soit eBn dont llimage dans C

n
l'image de p dans B +l •
n
Comme l'image de¥dans C +
n l
est nulle il en est de meme de 1 'image de pI qui

provient done d'un element 0< IS A +

n l
et comme l' image de P' dans B + est nulle
n 2
et que 1 'application de A 2 dans B 2 est injective,
n+ n+
c{ E: Ker [An + l -+- An+ 2 ]

n+l _
et on verifie que sa classe dans H (A.) ne depend que de t" .
LEMME B.31.

La suite

n n+l
... H (c.) -+H (A.) ---;- ....

est exacte.

La verification est laissee au lecteur.

Considerons maintenant un complexe double de groupes abeliens de la forme

t
0 0 0
} t ....
t
Al

-+ 1°
o AO
t -+ A
O
....
t t t
0 1

0
l l 1
....
t ( t
l
 - 23 -

par A: ce complexe double. par A. la premiere ligne. et par A'

1a premiere co1onne.

Supposons dans le complexe double A. toutes les !ignes et les colonnes

exactes sauf eventuellement la premiere ligne et la premiere colonne.

LEMME B. 32
On a un isomorphisme

Deuonstration.

Soit 0( E Hn(A') et 0( n E Ker [An An+ 1 J un representant de 0( •

n
L\ image de 0( dans Hn (A.) sera la classe de 0( dans H (A.) oil 0( est
n n
construit suivant le diagramme :

·t
0<)
n-l

--....;110"0{ nv l
- > I

Les verifications sont laissees au lecteur.

 - 24 -

b) Groupes de cohomologie d'un faisceau.

Soit F un faisceau sur X, .nun ouvert de X. On pose

nF
x.Jl. x
On definitainsi un faisceau Fo ' la restriction

F (co)
o

etant definie par la projection :

x
nlIOn F
x

Ce faisceau est evidemment flasque et F est un sous-faisceau de F

o

Soit ZI Ie faisceau quotient :

On peut recommencer l'operation precedente avec ZI' designer par F Ie

I
faisceau ainsi obtenu , par Z2 Ie faisceau quotient etc •••
On obtient par recurrence des suites exactes

o ---? F F0 -.-,.. ZI --7'-' 0

I!o.
o -+ZI -7'- 0

o P P P
+1 0

d'ou une suite exacte :

o --..:,.. F --1- F 0, - + F 1 .•.•

dite resolution canonique F (on la note F.). Les faisceaux F. sont

flasques.
J
DEFINITION B.32.

Soit ¢ une famille de supports.

 - 25 -

Boit (..0., F) le complexe :

designe par

H;<.n.. F)
le n-ieme groupe de cohomologie de ce complexe :

F) = Ker Po) -+ PI)]

n
H J. Jl., F) ..
; )
n
r'QlUl., Fn+1)J- n.} I
r 1m f'n_l) ....,. rlJl, Fn) ]

11 resulte du Leume B. J 1 que

si K est un compact de X on pose :

et si Zest ferme dans X,

designera le prefafsceau

.ft -+ F)

Enfin

sera le faisceau associe a ce prefaisceau.

8i u : F est un morphisme de faisceaux, u definit un

u: F
o 0
puis un nouveau morphisme
 - 26 -

et par recurrence des morphismes

•
n n

De plus les diagrammes :

seront commutatifs.

THEOREME B.31.

Soit 0 0 une suite exacte de faisceaux.

Qn a une suite exacte :

o F) G) H) F) -+ ... H;<.I1... H)

0 <11, F)-+

Demonstration.

On verifie par recurrence que les suites

o ---+ G.1 -+H.1 0

sont exactes.

Comme les faisceaux F. sont flasques, les colonnes du complexe double

1

t
ci-dessous sont exactes

I
0 - + " f/JC1l., F)
A

f"1\lSU'l, F O ) -t- .... f' \lS<n.,

A

Fn) -+

o --'+"f/J<.11.. G) -
t
0f/J<J1., Go)
A

-+
t
,., rJen..,
A

Gn)

t A

--+ ....
t A

----+
o "n<ll, H)
VI "t
r'nUl., H )

On peut donc appliquer le lemme B.31.

0 t
f"1 n<.fl., H)
" n
 - 27 -

Comme une lUnite inductive de suites exactes de groupes abeliens est une

suite exacte on ales corollaires :

COROLLAlRE I.

K compact de X. La suite:

est exacte.

COROLLAlRE 2.

Soit Z une partie fermee de X. La suite de faisceaux

est exacte.

DiFINITION B.32.

une famille de supports sur F. une resolution de F

o --+oF -+ F
I
On dit que cette resolution est sur X si

Designons par

les groupes de cohomologie du complexe

THEOREME
I " B.32.

Si F. est une result ion sur X ss. F on a des isomorphismes

canoniques :
n
F) ,,(X, F.)
 - 28 -

-+i
si on a un diagramme commutatif de resolutions ¢-acycliques de F et G

--+'0 --+', ...

-+t --+t,
o

o -+G ...
les diagrammes

F) ----+

>
seront commutatifs.

Demonstration du theoreme B.32.

A
Soit (F.) Ie p-ieme terme de la resolution canonique de F .. La suite
1
1 P
exacte

definit des suites exactes :

---+ A
(F)
o p
---r
A
(F
r) p ...
Posons :

A= "fJ (X, F)

A = p¢(X, F )
P P

q A
A = P¢(X, F )
q
q /,
A = " ¢ (X, (F ) )
p p q
On a un double
 - 29 -

0 0
-r
O-,?-A
-t ...
0

o .--,..
}
AO
t ...
t t
0

O-?-A
1
0
]
...
t
11 resul te de l'hypoihese du'theoreme et du theoreme B.23. que toutes les

lignes et colonnes sauf eventuellement la premiere ligne et la premiere colonne

sont exactes.

II 8uffit alors d'appliquer Ie lemme B.32.

COROLLAIRE.

Soit F. une resolution flasque de F. Alors on a un isomorphisme

Demonstratwn.

II faut verifier que si G est flasque

»;(.n.. G)" 0

mais d'apres Ie theoreme B.23. la suite

est exacte.

Nous aurons aussi besoin du resultat suivant

Tsomm B.33.
F G deux faisceaux sur X une famille de supports. On a un
isomorphisme,

r l'.G) a;cn.. F) X H;Cn.• G).

 - 30 -

Demonstration.

Le theoreme resulte de ce que :

»<: /\ /\
(F xG). F. X G.
1 1 1

r P) X ["l G) •

Ker [n
rA J\ B
n ::-:--::+
u xv A IX B ]
n+ n+ J
---+
UJlV
AxB
n n 1
x
Ker l Bn --::;-'7 Bn+ 1]

Iro [Bn _ 1---v--r -, 1

c) Cobomologie a support dans une partie localement fermee.

Soit Z une partie localement fermee de X (i.e • Z = AnfL, A ferme,

.n.. ouvert de X).

Si it et 1\.' sont deux ouverts de X dans lesquels Zest fenne. les

groupes

r"'z (St. F) et r Z (Jl'. F)

sont naturellement isomorphes. On ecrira Pz(X, F) pour ,'Z(Jl. F) si Z

est ferme dansll.

De meme on ecrira F) pour F) puisque ce dernier groupe

ne depend pas de .n. pourvu que Z soit ferme dans JL •

A tout ouvert CO de Z on peut associer les groupes F) et

n
F) . On designera par
et
 - 31 -

lea prefaisceaux ainai d finis et par

C. Z(F) et

lea faisceaux assodes. On a

fl z(F) • .cz(F)

THtoma: B.34.

Z une partie localement feTmie de X et

une suite exact. de faisceaux.

On a 1& suite exacte :

Dimonstration.

C'est un cas particulier du tMoreme B.31. en X par un ouvert

dans lequel Z est fermi.

TBfodME B.35.

Sait Z une partie localement fennee de X, Z' un fenne de Z, Z" • Z - Z'·.

On a l.a suite exacte :

Demonstration.

On peut supposer Z fenne dans X.

a) Soit V· X - Z'. L'application de restriction

" (X, F) r(V. F)

iDdbit l'application
 - 32 -

Done si s Ii f"Z(X, F) est d'image nulle dans rZ"(X' F) , e'est que

s I X - Z' = 0

d'ou s e "Z,(X, F). On a done la suite exaete

o -+ "z' (X, F) "Z (X, F) -;.- f"Z" (X, F).

b) Supposons F flasque. Alors la suite

est exacce, En effet si s Eo" Z" (X, F) = r z nv(V, F) , on peut prolonger s

en se f1 (X, F) mais

"ilv- ZtW = 0

d'ou "i E:: fl Z(X, F)

c) Soit

la resolution eanonique de F.

D'apres a) et b) les eolonnes du eomplexe double sont exaetes

0
0 0
t it - -
0-+ "Z' (X, F) --+ l'z. (X, Fa) ---+ I' Z' (X, F I) -)0- .,.

t t }-
o (TZ(X, F) -..:;.- C'l Z (X > F ) "Z(X, F

t r-
0 1)
}-F
"Z,,(X, F0 ) 1)
-+ ...
tO
Il suffit alors d'appliquer le leunne B.31.
t-
COROLLAIRE I.

Z un ferme de X. On a la suite exacte

 - 33 -

COROLLAlRE 2.

K un compact de X ayant un systeme fondamental de voisinages

Soit C la famille des compacts de X. On a la suite exacte

(X-K,F)
C (X-K)

Demonstration.

Soitn un ouvert contenant K et L un compact de X

D'apres Ie theoreme B.35. on a la suite exacte :

(X, F) r (X, F) (X, F) --7'-H

1
(X, F) -7'- ..•
L L nIl. L Il(X- A)
Prenons la reunion de ces groupes pour L •

CODDlle C n(X -Sl) = C I(X -.m on obtient la suite exacte

-7" r -+ r
I (X- ro
o (X, F) -7l'c(X, F) (X, F) HI I. (X, F) •• -
C cnn e (X-n.)
Prenons la limite inductive de ces groupes quand It parcourt la famille
des voisinages ouverts de K. II faut verifier que

Hn (X - K, F)
e I (X-K)

n
lim H (K, F).
ll..:>I(

En considerant la resolution canonique de F il suffit de verifier ces egalites

pour n =0 : la premiere est alors evidente, et la seconde resulte de ce que K

a un systeme fondamental de voisinages ouverts relativement compactS,car sill.

 - 34 -

est l'un d'eux :

" (x. F) = r(ll, F)

CI1!l

t
puisque

C n .n, = fermes de n } .
d) Un theoreme sur le prefaisceau

THEO. B. 36.

Soit Z une partie localement fermee de X. Supposons que

.. 0

et 1e prefaisceau est un faisceau. i.e.

n
.. !!z(F) •

Demonstration.

On peut supposer Z ferme dans X. Si n .. 0 le theoreme est vrai car

Si n .. I, le faisceau rz(F) etant nul est flasque.

Supposons n} I .

Soit

1a resolution canonique de F que lIon peut decomposer en

o --+-Fo -+0
A

o -+ZI-+FI -+Z2 -+0

A

o
 - 35 -

En posant F = Z
o
on a

et on a les suites exactes

d' ou en passant aux faisceaux associes: (n '> I, P <n-I)

o z(Zp) !1(Fp) ..-,.. Cz(Zp+l) -+0
1 p+1
puisque !z(Zp) = !Z (F) = 0 •

Comme les faisceaux sont flasques et que = = 0,

on voit par applications successives du theoreme B.22. que les faisceaux

sont flasques pour p <n • 11 suffit donc de demontrer que si F est un

faisceau tel que le faisceau i:z(F) soit flasque, on a :

= •

Or on a 1L suite exacte de prefaisceaux :

Les trois premiers termes de cette suite exacte sont des faisceaux et les

deux premiers sont flasques.

LEMME B.33.

Soit 0 --,>-0 une suite exacte de pre£aisceaux. Suppo-

sons que K et L soient des faisceaux et que K soit flasque. Alors M est un

faisceau.

Demonstration du lemme.

Soit le faisceau assode a M et JLun ouvert de X.

On a la suite exacte de faisceaux :

 - 36 -

d'ou eomme K est flasque :

mais on a aussi :

done M (1L) .. !:! (fL) •

Fin de 1a demonstration du theoreme.

Le prefaiseeau quotient

sera un faiseeau d'apres Ie lemme precedent et sera flasque d'apreR le

theoreme B.22. : on applique a nouveau Ie lemme B.33. a la suite exaete de

prefaiseeaux

o -+ -+ 0
§ 4 Faisceaux sur un espaee paraeompaet.

Rappelons qu'un espaee paraeompaet est un espaee topologique separe

tel que pour tout reeouvrement ouvert il en existe un autre, plus fin et

loealement fini. Un sous-espaee ferme d'un espaee paraeompaet est paraeompaet

et un espaee paraeompact est normal.

a) Faisceaux mous.

Soit X un espace topologique, ¢ une famil1e de supports sur X.

ntFINITION B.41.

On dit que. est paraeompaetifiante si

1/ AE ¢ ===>- A paraeompaet
2/ ==to- 3Be.¢ B voisinage de A •
 - 37 -

Cela entraine que si A 6 ¢ ,A admet un systeme fondamental de voisina-

ges dans 'P.

Si A est ferme dans X et admet un systeme fondamental de voisinages para-

compacts, on pose :

B.42.

une famille paracompactifiante de supports. On dit que Ie faisceau

F est 'P-mou si

est sud ective.

Si X est paracompact et est la famille de tous les fermes de X

dit que F est mou.

Exemple.

Les faisceaux et't des fonctions C"'" et des distributions sur un ou-
n
vert de It sont mous.
Quand nous parlerons de faisceaux il sera sous-entendu que est
paracompactifiante.

II est clair qu'un faisceau flasque est pour toute famille (para-

compactifiante) de supports.
I \
THEOREME B. 4\ •

n
Si F est F) = 0

La demonstration resultera , comme dans Ie cas des faisceaux flasques)des

deux lemmes ci-dessous que nous ne demontrerons pas.

 - 38 -

LEMME B.41.

Soit 0 --'rF -+G -+H une suite exacte de faisceaux et supposons

F 0-mou. Alors 1a suite

est exacte.

LEMME B.42.

Soit 0 une suite exacte de faisceaux.

Supposons F ss, G @-mous • .Alors H est 0-mou.

b) Faisceau induit sur un sous-espace ferme.

Soit A une partie fermee de X.

A tout ouvert CA'de A associons le groupe

lim r r n, F)
.!lJ\A <:.<.)

Jl. ouvert de X
I
on definit ainsi un prefaisceau sur A et on note par F A 1e faisceau assoc Ie ,

THtomm B.42.

un sous-espace ferme de l'espace paracompact X. Alors

Demonstration.

1) i = O.

L'app1ication nature11e

f'l (A, F) r (A. F A)I

est evidemment injective •

il faut voir qu'e1le est surjective.

Soit en..) un recouvrement de A par des ouverts de X et

1. i EI
 - 39 -

voisinage de A (1 A. n.fl.. avec

3
\Jl.! .
1

s, s.lit! .
1 1.3 3 1.3

En remplac;ant X par un voisinage paracompact de A on peut supposer que

en...) est un recouvrement localement fini de X.

1 i61
Soit (V.) un autre recouvrement ouvert de X avec
]. i 6!

V.
].
c .fl..].

et soit

w.. t xsX tels que =7'" s ... s. au

]. J
voisinage de x } •

Le lecteur que West un ouvert con tenant A et que les s.].

definissent un element SIS P(W. F).

2) i > O.

Commen90ns par remarquer que

siF x6A
x
et done que si B est un ferme de A on s

Soit ms.intenant

ls resolution canonique de F.

La suite de faisceaux <

est exacte et si B est un ferme de A on a

t"'(B. FdA) .. f'1(B. FifAIB) al""(B. FilB) - (A. F )

i
J\.:>B
n. ouvert de X
 - 40 -

(d'apres le cas i = 0).

Les faisceaux FilA sont done mous.

D'apres lestheoremesB.41. et B.32., on a

Ker [r (A, ; d' A) ---+ ... J

1m [11 (A, ;i-d A) --?- .. J
et d'apres le cas i =0 ce dernier groupe est egal a Hi(A, F).

§ 4 "
Cohomologie de Cech.

Soit X un espace topologique (non necessairement paracompact) et F un

faisceau sur X.

a) Cochaines.

Soit ( St .) un recouvrement ouvert de X.

i :I
On pose

Ai , ... i 11..1 fl ...

o p o

X, F) sera le sous-groupe des elements alternes de

F( Sl. i )
1
i ) 0, q
q
(on a = fO} )
S1. on met sur I un ordre total (note <), C'(1.b, X, F) est isomorphe a

.
1 ( ..•
n .
.(1
F(.fl.1
0
,...
n.1 ).
q
o q
Les elements de Cq(tb, X, F) s'appellent les alternees de F

sur X du recouvrement Ijk - (Nous dirons "q-cochaines").

On defilnit un operateur d i t de "cobord" :

 - 41 -

ainsi

si fest definie par une famille alternee

f 1• _ ••• 1•
e F(J)..
1
o q 0,

on pose

(,s f).
1 • ... i q + 1
= f! _
1 ..... 1., ••• 1
•
+1
o o J q

oil i. signifie que 1 r indice i. doit etre OII1ic et oil f!

ii''' i q+ 1
-
J J 1 •••
0,
designe la restriction de f.
o
1 • • • 1.. a 1\. 1• •••
J o
est un homomorphisme de groupes et

= o.

Si.It est un ouvert de X,on dHinit de'merne les groupes

Cq(U. n, F)

correspondant au recouvrement de.n.. par n .n..1'l..i 6 'lb.

Les prefaisceaux

sont des faisceaux car ce sont des produits de faisceaux

IT F( it n SL
i o c••• < i q
Notons

ces faisceaux.

On a un complexe de faisceaux :

o ""'P'" CO ('Lb. F) 7 cl (1b, F) •••

y
Notons F. ce complexe •
•
THEoRhm B.51 •

v
Le complexe F. est une resolution de F (i. e. est exact ).
 - 42 -

Demonstration.

Que j soit injeetif et que

1m j .. Ker [co (lA:>, F) 7 c1 (1b, F)]

resulte des proprietes FI et F2 des faiseeaux (Definition B.12).

Supposons done n I.

Soit c( c cn('\k,.n., F) ,.f 0( .. 0 et soit x En.

En restreignant 1L on peut supposer qu'il existe i.aI

x .a fl, c. Jl. 1..

alors

It {Lfl 1.. n J1. i i

.. RC\Jl i i
0 n-I 0 n-I

Soit EO en-I ('\1" F) defini par

Pi0 ... i
n-I
.. 0<.1., i
0
i
n-I

on a

('8 P).
1.
0
i
n
.= k
4
n
(_l)ko< • .
1.,1.
0
••• ik i
n

e't eomme t6 0( .. 0

i i
n n

dans nn 11..1. (\ It.1. i

o n
done

e) Theoreme des recouvrements aeycliques de LERAY.

DfFINITION B. 51 •

Soit'lkun reeouvrement ouvert de X. On dit que'tL, est aeyclique (pour_ F)

--
si

HP(.!Li ... i ' F) o "tIq "'In..1.. e,lb.

o q J
 - 43 -

THEORhm B. S2.

Soit 'lkun recouvrement acyclique de X. Alors HP (X. F) est isomorphe au

p=ieme groupe de cohomologie du complexe :

o P(X. F) -+Co ('\.b, X. F)

I
(\b, X. F) T ...
Demonstrat ion.

Soit F. le faisceau sur X

J. i
o q

1l-?>F<.n..J.
o

i
n
<. ••• .( i q
F.J.
o
i
q
o
D'apres 1 'hypotbesell\k--acyclique" et le theoreme B.33.

On applique alors les B.51. et B.32.

COHMENTAIRES

Nous nous sOllllles dans la de ce chapitre, du li-

vre (II) de GODEMENT.

Le lecteur pourra aussi consulter (5),(39) et (14, chapitre I).

 CHAPITRE I

H Y PER F 0 NeT ION S

§ 1 Fonctions et fonctionnelles analytiques.

a) Fonctions holomorphes - Fonctions analytiques.

,.,
Soit 9 le faisceau des fonctions holomorphes sur o:n • Si.n.. est un ouvert
n
de C on a pose
,..J
r <.n.. , S)
I
Cet espace a une topologie du type FS (c'est meme un espace de FRECHET nucleaire)

pour les semi-normes :

sup \fl
:K
oil K parcourt La famille des compacts de n. .
Soit K un compact de Cn. On pose :
,...I
H(K) lim H(.D..)
][:>K
On munira H(K) de la topologie limite inductive: c'est alors un espace du

type DF S (en particulier il est separe) et son dual, H'(K) est du type F8

(c'est aussi un espace nucleaire).

De plus toute partie bornee de H(K) est contenue et bornee dans un espace
,...,
H(.D..) (26).

Soit Ie faisceau des fonctions analytiques sur 8i K est un com-

pact de on a un isomorphisme :

Ot (K) H(K)
 - 45 -

n•
oiiot.(K) designe l' espace des fonctions analytiques au voisinage de K dans Il
n)
On munira (K) de la topalogie de H(K). L'espace H(t sera alors dense dans

OL (K).

LEMME 111.

L'application

est un homamorphisme surjectif.

Demonstration.

11 suffit d'apres le theoreme A.II de montrer que l'application est sur-

jective.
n n+1
Plongeons R dans Il par

x (x, 0)
et soit /j, le Laplacien dans Iln+ I
n

.1 ,= Li= t
a 2/ 2
a xi
+ .-;/ / ct2
Soit le faisceau dans Iln+1 des solutions analytiques de 1 'equation

Au = 0

Soit f6OC(K fl
t
It un voisinage de K (\ K dans Rn + 1 et
I 2
telle que :

f
(o}
Une telle solution f existe d'apres le theoreme de CAUCHY-KOWALEWSKI.
 - 46 -

'" et f\. 2
Soh itl
-v
deux ouverts de lRn + 1 avec
N N
n
N

11. z» fl. 1 1L .:> K (\ K

2 I 2
N

.n.. f.
.::> K.
1
i = , 2

'" )
N
D'apres Ie theoreme A.23. il existe f.1 (fl. (i I, 2)
'" OL,1 i

avec
-..I
f

Si lIon pose

i I , 2

on aura

b) Fonctionnelles analytiques.

DtFlNITION I I I •

N
Soit it un ouvert de Les elements de HI([L) sont appeles fonctionnel-
N
les analytiques surA. On dira que UlE,H I (Sl..) est portable par un compact KC.[l
-..I
a H(w)
..J
si pour tout ouvert co ;:) K, u se prolonge I, e si
vv .......
,--;: .:> K, 3 K u:; compact de :3 C Q) tels que

Vf G H(ft)

c sup If I
'"'"
Si u e H'(fL)il existera au moins un compact qui porte u et il resulte
....- .-J

du theoreme de HAHN-BANACH, (H(Jl..) etant un sous-espace ferme de CO(Jl»

qu'il existera un compact KC1'l..

...J
et une mesure r a support dans K tels que

c u, f >
 - 47 -

LEMME 112.

Soit K un compact polynSmialement convexe de cen u e. H' (q:n)

u est portable par K si et seulement si u se prolonge a s'(K).

Demonstration.

- La condition est evidemment suffisante.

,.J
- Reciproquement soit (fl ) un sysdme fondamental de voisinages
n
,..J n eN
de RUNGE de K et soit u • H' (It) des prolongements de u.
n n
-J
est dense dans H(fl) on a :
n
,.,J

u
n
H(!l. ,)
n
si n > n'
donc les u definissent un element de
n

sr.nn »:
rJ
(lim H' (K)
7
n,
st n. est un ouvert de IR soit OL(fl.) l'espace des fonctions analytiques

surIl muni de la topologie

6t (fL) lim 6t.(K)

Ken.

Les elements seront appeles fonctionnelles analytiques reelles. Ce sont

les fonctionnelles analytiques sur cen qui sont portables par des compacts reels.

I \
THEOREME II I •

n)
Soit u G bl'(R , u O. II existe un plus petit compact reel qui porte

u, On. 1 'appelle Ie support de u et Ie note cr(u).

Demonstration.

Soit K et K deux compacts reels qui portent u.

I 2
Soit N le noyau de l'application
 - 48 -

-po

convergea.n.t vers g dans at (K l U K2).

<u , s » lim
p
<u, g >

= (u, f. ;> i = 1, 2 •

Donc on peut poser. si

{u.f> <u.f 1 > {u,f 2 ;>

Cette forme lineaire est definie surOC(K
I
n K2) et continue d'apres le lemme Ill.

Comme u # 0 • cela montre que

Le passage a une famille quelconque de compacts est alors evident.

Remarquons que :

C cr(u) A ea:.

LEMME ·113.

p n)
Soit K = U K.
i=1 L
des compacts reels. Soit UE:O(' (R , ;r(u) C K. 11 ex;iste

des
--
I II.
u. eat (lR ) (i = ••• p)
p
u = Lu.
i=1 1

r(u.) c. K.
1 1
 - 49 -

Demonstration.

11 faut voir que l' application

p
n
i-I
O"C (K.)
1.
O('(K)

p
(u.) ui
1. i=1 i-I
est surjective, donc que l'application

(7(K) t=
i=1
or. (K.)
1.

est injective et d'image fermee ce qui est a verifier.

Remarquons maintenant que les distributions a support compact sont des

fonctionnelles analytiques car d'apres le theoreme de STONE-WEIERSTRASS l'in-

jection continue :

>
est d'image dense.

De mane 0( (.0.) est dense dans .

LEMME 114.

Designons (provisoirement) par supp(u) son support en tant

que distribution et son support en tant que fonctionnelle analytique.

Dna
cr<u) supp(u).

D6n0nstration.

Soh K = supp(u). Pour tout ouvert..n..:> K u se prolonge a eIL) donc a

 - 50 -

CJ( Q) et par suite

<:r(u) c K •

Inversement soit Uc G'(R )

IQ n
tel que u se prolonge a 0(' (K) et soit Cf e 3) (R
n)

supp ( Cf) n K = fJ •
Il faut montrer que

(u, Cf /' = O.

Pour cela i l suffit de construire des fonctions ere ayant les proprilikes

<feE OC (IRn )

s->- 'f dans 't; (Rn )

0 dans oc.(K).

On verifie que si

Pc n
EO. O(lR )

f (; n
dans 'j)' (R )

f't. 0 dans (I( (R

n
- to J)
les fonctions

repondront a la qU4stion.

. +
Soit alors l'ensemble des n-uples 0< = (0( 1' ••• C<n) avec o(i= - 1

On pose = 0<1 "'o(n

f'f,(x) = ( + ieo(l) (x +
n
n
Ii est clair que Fe tend vers 0 dansot(lR -

Montrons que fe tend vers q) dans aP' (Rn ) .

Soit e <:: iJ (Rn ) . Prolongeons e a en en posant
 - 51 -

6Hz) '" e (x) (x '" Re z).

Soit e >0 tel que

(supp e) c; (] - e, + e [) n

Soit D:- le rectangle dans e :

1

On a :

< Pe e) =
(9(z)
dZ
I
••• dz
zl··· Zn n

Demontrons par recurrence que :

8(0) - < Ft > $ > E > °

C'est vrai pour n'" I d'apres 1& formule de CAUCHY (theoreme A.31).

Supposons demontre ce fait pour n - I :

{, ···1.,
n-I
I (9(z' ,0)
19(0 ... 0, 0) '" (UlT)
ZI'" Zn_1
I n-I
avec IE at (z', 0» 70 .
L'integrale du deuxieme membre vaut d'apres la formule de CAUCHY :
( o9/a i
dz .dz I (dz Adz)
)DEZI ... Zn l•• n- n n
n
et cette derrri.er-e integrale tend vers 0 avec 6 •

Soit maintenant 11. un ouvert de IRn et K un compact de .n... On designera par

N
"enveloppe de K" (danslt) et on note K ,la reunion de K et des composantes
connexes relativement compactes (dans.fl.) de Jl- K. C' est encore un compact (23).

LEMME 115.
tV
Si K '" K. OC' (i111) est dense dans 0(' <it- K).
 - 52 -

Demonstration.

11 suffit de voir que l' application de O(.!l- K) dans OC(an) est injective,

donc que n.- K n' a pas de composantes ouvertes et fermees disjointes de oil..
Soit une telle composante : est ouvert dansft- K donc

co = Jl.' () SL - K
ou ll' est ouvert dans lRn•

Par definition de l' adherence .fl.' n Cn.- K)'" f).

Donc il' () (.0.- K) est un ouvert non vide de.il - K et comme west ferme

dans lL- K, wnCfl.- K) est ferme dansIl- K •

Si co (\ "dJL= f) on aura ainsi obtenue une composante ouverte et f ermee

relativement compacte dell- K. ce qui est contradictoire.

f 2 Hyperfonctions.

a) Hyperfonctions sur un-ouvert borne de an.

Soit J1. un ouvert borne de a". On pose

B(Jl.) at '(SD
OC ' ('0.£1.)

DEFINITION 121.

Les elements de B(Jl) s'appellent des hyperfonctions surlL.

Soit K un compact con tenant .n..

K = (K - Jl) U fl

D'apres le lemme 113 tout element ucOC (K) peut s'ecrire

u= +
 - 53 -

Cela montre que l'application canonique :

oc <-n.) ----r- 0(' (K)

oc' ('dlt) OC (K - fl.)
qui est evidemment injective, est aussi surjective.

at' (K)
B(Jl) ':::!.
0(' (K -.fl.)

Soit maintenant to un ouvert contenu dans D.,

L' application

ct' ( Ii>
(5(' en-C\,)
definit une application

Ben-) -+ B(w)
appelee restriction.

Si Te:B(Jt) , on note TI w son image dans B(w) • Il est clair que

si n3 C il
2
C ill ' TeB(SLI) on a :

donc que la collection des B(uo) definit sur 11 un prefaisceau (d'espaces

vectoriels) que l'ou notera provisoirement

LEMME 121.

Soit It un ouvert borne de Rn •

I) Le prefaisceau BII.n. est un faisceau

2) Ce faisceau est flasque

3) Si K est un compact de .n..

rK(ll,BllOJ = OC' (K)
4) Si F = U
i=1
Fi sont des femes de Jl, T E rJl'( n, Bln.), i l existe
 - 54 -

T. E r F. ( ri , B/I .n.) tel s que

1.
1. p
T" L T.
i-I 1.

5) Si UJ est un ouvert de .n.

(B II J1. ) I 0;> .. B II w .

Demonstration.

I) a/ SoitJ1.=
iEI
U.n..
1.
• T 6B(n.) tel que: T 11li .. 0 Vi I •

Cela veut dire que si T E: ac '(fu est un representant de T l'image de T dans

ec ' (Il.) est uulle pour tout i. d'ou :

oc.' en.- n.'>
1.

o-(T) o n..1. .. 0

T. • B(Cl.) (i" I. Z). avec

1. 1.

I. G OCt (ii.)
1 1 . 1 .
des representants de T. T. (i .. I. 2).

-.fil .. ni u di i -.fLi )
on peut. en T.1. par un tl1. equivalent. supposer que

T. T + S.
1. 1.

Posons

I' .. T + sl + s2Eot' (.n. U .fl. )

1 2
Soit T' I' image de I' dans B(.n.
1u n, 2)'

car e:r(T' - T.)

1.
n n..1. o-(S.)n.n.. (avec j .; i)
J 1.
 - 55 -

et cet ensemble est contenu dans :

1) cl Soit maintenant n.- i U

61
n. et T. e B(n.),
a
avec

T.
1.
1.0.. ()
1.
.fl..J .. T.
J 111 i
() .n.j
On peut supposer le recouvrement denombrable et d'apres 1) bl croissant.

On peut aussi supposer .n. nee fl.. n+ 1 et comme l' enveloppe (dans.f})

d' un compact de n. est un compact de .n. , on peut supposer d' apres 1) bl que

.0.. u «,
n-O
co

.f1n Cc. lln+l

11 . n.
N

n n
':::!
(oil it
n
est i ' enveloppe de ii n dans Jl ).

T
n
iii B(..n. )
n , Tn+p \.n.n" T
n

Soit T eOC' ( i i ) un representant de T.

n n n

Soit d une distance definissant la topologie deot'(ii-iln) et

n
'Pn e OC' (dill tels que

'Vi " n •

On construit les par recurrence grace au lemme 115.

La suite T
n
- CD
In
converge vers un element Te oc 'Cn.)
Ona
T- T - (Tn - en) + (Tn - CD ) .. (Tn - (0 ) + 1 im (T - (f) -(T - (0 »
ru Tn Tn p p Tp n 1n
 - 56 -

Comme La suite

(Tp - C'D
Tp
- (Tn-l(Dn»p

converge dans OC' (.fl. - •

T = Tn - (0
In
+ S
n S eot' (.n.
n
-.n.n )
et done 'T\.n.n = T •
n

2) Le faisceau B 1\ n. est flasque car si wen., T e B(c.o) il

existe representant T et l'image de T dans B(ft) sera un

prolongement de T.

3) On a une injection si K C 11. :

OC(n)
()(' (K) ----1'---
oc!«)Jl)

et l' image deOC' (K) est l' ensemble des T E B(.ft) nulle sur n.- K. done est

4) Soit if. F:1 les adherences de F et F.

1
dans Jl. et T un prolongement
de T a ec ' cru
C d Jl U F

done en appliquant le lemme 113 on peut supposer

et soitT.1 E 0( '(F:")
1
p
T= Li=1 T.

\Jt.
1

Si T.1 = T.1 on a

T = t:.i-I
T.
1
 - 57 -

5) 8i w' c u» c.SL sont des ouverts on a

r(w', B\l.fl.) = B(w')

b) Hyperfonctions sur Rn

Soit B' Ie prefaisceau sur defini ainsi

- 8i Sl n' est pas borne B' (.11) to J.

8i 11. est borne B' <.n.) B(.!l) les restrictions etant definies par

B' Ul.) > B'(W)

0 >- 0 si .n. n' est pas borne.

T Tlw si.!l.est borne.

Ce prefaisceau verifie I' axiome F I des faisceaux mais par F 2

On designera par B Ie faisceau associe a ce prefaisceau, c'est un fais-

ceau d'espace vectoriel sur t.

122.

n
Le faisceau B est Ie faisceau des hyperfonctions sur R •

81 Te f' (.fl., B) = BUt). Test une hyperfonction sur n.

Une hyperfonction suritest done definie par :

- Un recouvrement 11 = U 11.. oil les Jl. . sont des ouverts bor nea
i EI 1 1

- des Ti Eo B(lLi ) satisfaisant a Ti\ _rt i 0 .fL j = Tj \ Sli().i1

Deux tels couples (.0... , T.) et en... " T. ,) definiront la meme

1 1 i EO I 1 1 i' IS I'
hyperfonction si :

T.\n.O.fl..., VieI, i'!!:I'

111

THEORhrn 121 •

1) Pour tout ouvert borne

 - 58 -

2) Le faisceau B est flasque.

• K est un compact d e .,n

3) S1.
n
r'K(1R , B) - at' (K)
P
4) Si F .. U
i-I
F.
1.
$Ont des fermes d' un ouvert ..n 2! an et si

• it existe des T •
i
r F • en, B) avec
1.

T"
f;rL T. -<-
On ecrira BF(fi) pour i\oUl. B).

On ecrira (T"{T) pour Le support d' une hyperfonction T.

Demonstration.

1) eat evident

2) soit To e B( no)' It 0 ouvert de an et soit E la famille des couples

(.n, T) avec

It o c.n, .. T
o

E est ordonne et inductif pour la relation

(fl., T) < (tt', T') si

n e n: , T' IIt .. T

Soit (Jl. T) un element maximal et suppoaons qu'il existe x o ' J1..

Soh co un ouvert borne contenant x
o'
L' hyperfonction T In. n w se prolonge

en T E B(w) d'apres Le lemme 121 et done il existe SEB(.n.U<.o) avec:

co

S I().) - TO) SIJL- T

ce qui est contradictoire.

3) resulte de 1) et du lemme 121.

 - 59 -

4) Pour simplifier les notations supposons queJ}.- jRn. F'" F UF2 •

1

Soit E la famille des triplets (.n.. T

I•
T
2)
• T • •B
1 F•
en.) (i ... I. 2)

II1\.
1

T I+T2 -

E est ordonni et induetif pour la relation d'ordre dlinelusion et de pro longe-

ment.

Soit ( fl. T
I•
T
2)
un eUment maximal et supposona qu'il existe

X
o i.n.. Soit(/,)un ouvert borne eontenant x
o•

Les T i J.Jl n <.0 4S B

F
/A n W) se prolongent en

done d'apres le lemme 121 il

existe S. fi B _ F. n( w) tel que

1
Fi i0 .1 '-

T Iw ... Ti + Ti + SI + S2

COIIIIIIe (Ti + 8 i ) In. fl <.0 - T

i \ 11. o GO • il existe T I!
1
e. B( 11. U W)

tel que :

a T.
1
T'!
1
IW a T! + 8 ••
1 1

Done

TI !
1
.. B
Fi
(.n. u CO ) et

T 'AU (J;) a Ti + Ti
ee qui est contradictoire.

THEomm 122.

Le des distributions est un sous-faiseeau de B.

 - 60 -

Demonstration.

Soit 1l un ouvert de On definit ainsi. 11 application

J}I (.n.) B(.l1.)

Soitll une suite d'ouverts avec:

n

U
n
au voisinage de
n

Soit T E.iJ Cn.)l

et T
n
= 'fn T.

T
n
E '6 1
(.fl.) done T E
n
otl (n.) et T
n
In.n EO B(ILn ).
Si P >n

Tp - Tn G <t'(.Q.p+1 -lin)

et done (J(T - Tn) f/J

p

T
n
lit n
dans B(ll )
n

La suite des T 1.0.. definit une hyperfonction T I B(fl) • II est facile

n n
de verifier que T I est independant du choix des (it , (n ) et que lIon a ainsi
n In
construit une application lineaire deJD'(fl) dans B(Jl) qui commute avec les

restrictions.

st T (ill est d I image nulle c Iest que pour tout n

done d'apres Ie lemme 114 que la restriction de T a Jel(n.)n est nulle, done

que T = 0

Remarque.

On aurait pu dans ce theoreme remplacer,j}' par un faisceau d'ultra-

distributions (31, 33).

 - 61 -

§ 3 - Operations sur les hyperfonctions.

a) Multiplication par une fonction analytique.

Si f EO at: (ill. u eOC (Jl.) on definit

fu EO cn:.' (It)
par

<fu, g > (u. fg >

On if.

C. ,,(u)

et 0(' (It) est un <1C.CfU-module.

Soh maintenant TEo B(IL) et Ul,1 n elN un recouvrement ouvert delt avec

Sln cc. Jl. n+ I

Soh Tn e. <X' en.)

n
tels que

TIn. TIlL
n n = n
T
n

On a

f Tn+p In. - T In.

n f n n

donc les f TnlJl definissent une hyperfonction qui ne depend que de f et de T

n
et que nous noterons f T.

On verifiera que 1 'on a ainsi defini sur B(fl.) une structure de O(fl)-

module. et meme que Le faisceau B est un at -module.

b) Convolution.
 - 62 -

On definit
n
u '" f 6H(C )

par

(u'" f)(z) f(z -'5) >

On pose
\J \J
<.U, f)= (U, f >
v
oil f(z) f(-z)

st vEH'(CCn), ondefinit utlv par:

<u"v,f)-

En representant les fonctionnelles analytiques sur t n par des mesures a sup-

n
port compact on voit que si U. E H' (t ) est portable par K. (i - 1, 2),
1

u 1 • u2 est portable par K + K

1 2•
n) n)
H'(t est une algebre commutative etot'(R en est une sous-algebre •

Si u ' u E
1 2
a:.' (1R0 ) 00 a :

cr(u 1 '" u ) C cr(u1) + .,-(u2 ) •

2
o n).
Soit maiotenaot T E: B(R ) et u eOC' (R On va definir u *' T •

Soit..n. la boule ouverte de centre 0. de rayon 0 et

n

To E <1<:' (.no)' Tn I.n. n = TIJt o

Soit p tel que u6«'(fi ) •
p
Si 0 ' 0 >p , on a :

(u" Tn )/fln-p = (u'" Tn ,)/It n-p

puisque
cr(u. (T - T , )c. 0
n 0 -'1>
+ .t'lu' -.Q.0 c r.n.o-p .
\,
 - 63 -

La suite des

(u • Tn ) I t'l
oJ!. n-p

definit une hyperfonction que nous noterons u • T.

n
On verifie que l'on a ainsi defini une application lineaire de B(R ) dans
n n
B(R ) qui prolonge La convolution des fonctionnelles analytiques, et si u (R )

qui prolonge la convolution des distributions.

Le produit de convolution de plusieurs hyperfonctions. toutes sauf une au plus

a support compact. est commutatif et distributif par rapport a l'addition.

On a

aiu II T) C er(u) + .,...(T)

En effet soit T Eot'

n
ar)
n
avec T
n
\1ln
On peut en modifiant T sur '011 supposer
n n
o-(T) C. .r(T)
n

alors

cr{u" T) onrr-p = .,....(1,1. T )()

n
Jl. n-p

c (0-( u) + .,....(T \) ()
"t>!
.n. n-p

C (nu) + er(T»(1n
n-p

Cela nous permet de pro longer notre definition de la convolution.

Si TeB(.I1.) ,Ufl'O<,'(W) et siQ' est un ouvert tel que

(w+ C.n ) n1l..' f/J

on pose

(u • T) I Jl' (u .. T) 1ft'
 - 64 -

n).
ou T est un prolongement de T a B(R

En particulier si u Eat! ( to}) u. definit un morphisme du faisceau B.

DEFINITION 131 •

Soit F un sous-faisceau de B.

On appelle F-support d'un element TEB(ll) et on note

F - cr(T)

Ie plus petit ferme de Jl en dehors duquel T appartient aF (Ou encore

F - aiT) est Ie support de l'image de T dans Ie faisceau quotient B/F).

Si F = io } • on a done

to} - .,-{T) o-(T)

Si F B, B - a-(T) f/J

TIffiomm 131.

oc- IT(T • u) C O"C - IT'(T) + (J( - o-(u)

Demonstration.

n
1/ II suffit de demontrer cette formule pour TEOt'(R ) car si fl est
n
la boule de centre 0 • de rayon n , et si T OC' (n.) coincide avec T dans Tl, •
n n n
on aura :

&- <r(T *' u) C.OC- o-(T ) +

n
0'(- o-(u» U(a-{T - T ) +o-(u»
n

et pour p fixe, n assez grand cet ensemble co1ncide sur Jl. avec
p

Ot - aiT) + 0(- e-Cu) •

 - 65 -

n)
2/ Supposons donc T e.OC' (R et soit K et des voisinages compacts
1
de ac - .,.(T) et 0(- o-(u)

On peut ecrire :

T = vI + v 2

u = u + u
l 2

avec

cr(v I) C K I

crl: u l ) Co K
2

v
2
.. I
wI
£1

u
2
.. lGA)
2
f
2

n
ou I est la fonction caracteristique dew. = R - K. (i = I, 2) et
Wi
f. est analytique au voisinage de w ..

Le theoreme resulte alors du

LEMME 131.

Soit .It un ouvert. f e. oc.<1i.>

at- crl:u • 1
11
f) C a Sl + o-(u)

et si xo" 'O.n. + a-(u)

<ux • f(x
0
- x) >
Demonstration.

On peut supposer.n. borne.

Soit Ie la fonction caracteristique de la boule de centre X

o
' de rayon 6.
 - 66 -

Posons

II faut demontrer que pour e assez petit, x

o
nlappartient pas •

n), n
Soit g EO'( (R une suite de fonctions qui tend vers 0 dans ot(R - x ).
n 0

II suffit de verifier que

> >- 0

"n (-x)f(-x)gn (t-x) dx)- kle(X) gn (x) <. f(x-t),

On peut intervertir les integrations et les produits scalaires donc :

cv. gn>" <Ut ' in I.n.(x)f(x)gn(t+x)dx - YE (x)gn(x)f(x - t)dx >

Mais

'Jl (x)f(x)'n1x.t)dx .. (X)f(x-t)4>

+ J (In (x-u) -
n
IR
1
E
(x)) g (x) f(x-t)dx.
n

Soit K ..

11 faut voir que

((lit (x-t) - Ie (x) gn(x) f(x - t)dx

JRn
tend vers 0 dans OC(K) •

Si t est dans un voisinage de K et si \ x - X \ <t, x - t EO 1t, donc l' integrale

o
vaut

[ ,,x-!loI., s 1.st (x - t) &u(x) f(x - t)dx

Supposons que x .. 0 • On est ramene a demontrer que l'application

o

avec II .. 1 - I
6 E
est une application lineaire continue de at (lin - (0) dans (J«K) si KC..Jt, 6
 - 67 -

est assez petit.

Soit.lt (resp. 11 ) une boule ouverte centree 11 1 'origine de rayon assez

n p
grand (resp. assez petit).

I l suffit de demontrer que notre application envoie at ( .it n -.flp) dans

oc. (K). la continuite resultant alors du theoreme du graphe ferme. On est

donc ramene 11 demontrer le theoreme 13] en supposant que T et u sont des dis-

tributions. Soit 1- une classe non quasi-analytique (par exemple '6. = p

)

pour une suite non quasi-analytique cf (31. 33».

Comme il y a des partitions de l' unite dans i l est immediat que.

T et u etant des distributions

- a-(T 'It u) C <r(T) + - cr(u) •

Soit F = oc..- cr(T) + OC- tT"{u)

(T • u) I lin - Fe <g- (lin - F)

et le theoreme resulte alors du fait (2. 7) que siilest un ouvert de lin on a

O«.fl) -nt <.11)

l'intersection etant prise sur toutes les classes non quasi-analytiques.

c) Produit tensoriel d'hyperfonctions.

n'
Soit K et K' des compacts de lin et lR • u eot.'(K). u'E.O('(K').

On definit

u CD u' Eio (J(' (K x K' )

en posant si fEioCTC.( Kx K')

<UGl>U'. f>-<ux <u',.

x f(x. x'):;;--
or
 - 68 -

On a

en u • u ' ) c 0-( u) X 0-( u ' )

n n'
Soit alors T.: B(J't) , T's B(!l..') oil net Jl! sont des ouverts de R et R •

Soit 11= UAP A' U .0.'

P
P Eli p&fi
avec 1l. pCC1\,+ 1 it'p cc n. ;+1
T e OC' (1i
p p
) T
p \ 1tp T \Jt p
T'
p
=ot' (n p') T'
p I =

On a

(T
p • T')
p III xSL'
p p

et la suite des

(T
p
e T')
p
I n. x.n.'
p p

definira une hyperfonction surAxfl.! qui sera T e T'

On verifiera que ce produit ales proprietes du produit tensoriel des distribu-

tions et Ie prolonge.

d) Dnage d'une hyperfonction par un isomorphisme analytique.

n
Soit AI et des ouverts de R et \fI un diffeomorphisme analytique
de 111

Si u is ot' ( .0..2,) on de f Lnd t

U 0 If' e 0'C.'(Jl. 1)
par
 - 69 -

-I
ou Ig:l est 1e determinant jacobien de 1'app1ication yJ

L'app1ication ainsi definie

•
Y' : 0(.' (!l.z) --->- 0(.' (fl. )
I

est 1ineaire et verifie

.. -I
,6"'( '+' u) = \fJ 0-( u)

1I
donc yJ' se prolonge en un morphisme de faisceaux

Cela permet de definir 1e-faisceau B des hyperfonctions sur une variete ana1y-

tique reelle M (cf , 1a definition des distributions sur une variete CQ)(I8».

Une autre maniere de proceder est de definir les fonctionne1les analytiques sur

M en mettant pour tout compact K une topologie sur Gt(K) et de reprendre La

construction du § 2 • Si M est denombrable a l'infini on obtiendra un theoreme

analogue au theoreme 321 (27).

§ 4 Regularite elliptique et resolution du faisceau des fonctions

he lomorphes.

a) Regularite el1iptique.

THEOREME 141.

Soit p un operateur differentiel elliptique a coefficients constants.

n
SoitA un ouvert de R et ueB(ll) solution de l'equation

I' u = 0

Alors u e ot(S1.).

Demonstration.

On peut supposer que A est un ouvert borne.

 - 70 -

salt U 6 ot' (Jt) un prolongement de u

p u ... v e

n
Soit E une solution 'l&uentaire de P. E est analytique dans IR - {o}

et donc d'apres le 131

u ... E 1Ii Pu ... E .. v

est ana1ytique dans 1e complementaire de ') A .

b) Resolution de (9.

n 2n
sait.n. un ouvert de C il 11 • Soit F l' un des faisceaux

at. 0 , ,»',B.

Une forme il coefficients dans FUt) est du type (Po q) si on

peut :

f ...

oil I ... (iI' .... i )

P
J ... (jl jq)

dZ ... dz. 1\ •••• 1\ dz .

I 1 1
1
...
P
dZJ dz. 1\ A li.
J1 Jq

f 1, J e F(!l) •

On ilfinit alors 1e faisceau FP,q des formes de type

(p, 'I) 1 coefficients dUB F et et seront les morphismes de faisceaux

____ FP+ 1 , q

___ pP, q+1

 - 71 -

11

'6f Li-I =
f I • J dZil\dz r flo dZ
J
Jl
z; \11-
L p
"
"'j}f f I • J dZil\dZ r dZ
1.-1 J

On definit de mane le faisceau 9 P des formes di££erentielles de type (P. 0)

a coefficients dans t}. On a alors un complexe de £aisceaux

o gP -+FP,
o
-rFP• I > -+ 0

car :a 0 - 0 et si £ E FP , o Crt) a des coefficients holomorphes :a £ '" 0 •

Si Fest 1 'un des faisceaux ou £), il est bien connu (19) que ce complexe est

une suite exacte de £aisceaux. donc une resolution de eP • Si F = • c'est la

resolution de DOLBEAULT-GROTHENDIECK.

Si F =OC le cOlll.plexe sera encore une resolution de (9 : pour le voir on peut re-

prendre La demonstration de (19) (ou encore appliquer le theoreme de MALGRANGE-

EHRENPREIS sur 1a resolution des systemes differentiels).

THEOmm 142.

La suite

est une suite exacte de faisceaux.

Demonstration.

o
Soit u E BP• (.fl.) verifiant

si u- r=
111= p
o

-'a u = 0 impl ique

"0 "r = 0 'r1i=1 .•.. n

d'ou o u = \)
'iT I
1.
 - 72 -

2n
et camme l'operateur (sur R )

n
L1 .3- -..L
oz. oz.
2n
est elliptique, il resulte du theoreme 141 que les u sont analytiques sur R •
r
et donc holomorphes.

Soit maintenant K un compact de R1 ou si 1 =0 K = .

Soit to et.n. des polydisques bo rne s de en et en

, 1 m n
On se placera dans 1 espace lR )( (; (; ,mais les differentielles <1 et les de-

rivations (i = 1 ••• n) seront celles de l'espace Cn.

() zi
Considerons les deux enonces :

E
n
La suite
I
BP• ( - - )
o

-l>'o

est exacte
E'
n

, Soit x verifiant

u = 0 i = 2, 3 n •

1
Il existe v E B1{ x CO x.It (IR X w X n.)

Cl
tel que
oz. v = 0 i = 2, 3, •••• n

v = u
 - 73 -

Pour demontrer Ie theoreme ii suffit de demontrer

a) E' est vrai

1
b) Si E'
m
est vrai 'tim " n alors E
n
est vrai

c) E entratne E'n+1
n

(dans b) et c) les indices 1 et m dans E et E' ne sont pas necessairement

n n
les memes).

a) Soit u un prolongement de u a
ot' (K x co x 1i. ) et soit

E .s 1 n=z;-
1

l ffl).
(ou 1 est la masse de DIRAC a 1 'origine dans iR et,s,
m
dans

Posons

v E" u

l
v e B (R x r,m 4:)
K X'LOX' e
et v =v l
lR X w X .n.. repondra a la question.

b) On va raisonner comme dans (19, p. 32).

Raisonnons par recurrence en supposant que T ne comporte pas de termes

Pour k =0 • il est trivial que

T = au
car cela entratne, T etant de deg r e > 0 en di" que T O. Pour k = n, c'est

Ie theoreme.

Ecrivons alors
 - 74 -

P q 1 p q+l 1
g .. &=-' (R x u:> )I. It ). h E B • (R X c..o XJt)

get h ne pas de termes en ••• t dz

n

Soit

L= \J!L..
1 l

g=
111 p q
L
_I
ou signifie que lea sommes sont prises sur les multi-indices croissants.

L'hypothese T =0 entratne

l g
I.J
= 0 j>k
J
l
Soit GI• J E: !1<. x w xlL (R X c...u x..n.) tels que

j = k+l ••••• n

De tels GI• J existent d'apres l'hypothese E' k et soit

n-

:L'
G" L-
III .. p IJI.. q
GI • J dZ
I
" dZ
J

ou hi ne camporte pas de termes en dz ••••• dZ

k n

h-h .. T- G
I

donc

D'apres l'hypothese de recurrence

 - 75 -

et

T • 0 (v + G)

1
avec v + G £. BK X. W XJ'l (It Xw x it).
c) Soit U • x co X .n.) v6rifiant les hypotheses de

Ecrivons

Jl. • .n,)( si: .

Soit ul un prolongement de u a

Soit

puisque i =2 n+1

De plus 11 ') u l • 0 done d' apres 1 'hypothese En i l existe

,
v Eo BK(0.x WI) J( ).f)X..re(...""1 X W J( C X .!l
')

solution de

- B (:R l X
u2 E K)(wXii X:,,'" X w ., ,..Y' .."I)
J(f
&.

et -a
TI.l. J.12
. 0 i =2
I
n+1 .
Soh -u un prolongement de -u
2
a ac.'(K 'J. w )( .fi. ) .
-Sl
Soit E •
,f
1. • .h' m • I
• 11.
 - 76 -

ou -6 1 • .s-'m•.r'n sont les masses de DIRAC a 1 'origine l

dans m. • en • en .
Soit v = E • u I ,i x w x n,
1
v .. B
K x (.U x.n.. (lR x GO ,,11. )

v = u

e,t

v = 0 i s 2 •••• n + 1

car si i = 2. ... , n +
• ....1. u)
et cet ensemble ne rencontre pas K 'x,' ,w x ll.1 )(
-
.n.: .
I

COMMENTAIRES

La construction du faisceau B et les resultats des paragraphes 1 et 2

sont dus a MARTINEAU (27).

Les theoremes 141 et 142 seront generalises aux chapitres 2 et 3.

Cf. les "commentaires" de ces chapitres.

Le theoreme 142 sera utilise au chapitre IV pour demontrer Ie theoraae

de SATO.
 CHAPITRE II

OPERATEURS ELL I P T I QUE S

Dans ce chapitre P designera un oper'aceur elliptique d'ordre m > 0

a coefficients analytiques. Pour les proprietes de tels operateurs

cf. Ie chapitre A, § 2a.

§ 1. - Dualite.

Dans ce paragraphe nous supposons P elliptique dans un ouvert 11 de Rn •

Designons par (resp. l'espace des solutions analytiques

de l'equation Pu =0 muni de la topologie induite par O(GU) (resp.

ce etant un ouvert de.D...

L'isomorphisme vectoriel

est continuo Comme est un espace de FRECHET, c'est un isomorphisme

vectoriel topologique d'apres Ie theoreme A.12 carOtp(w) est limite projec-

tive denombrable d'espaces du type DF (on pourrait, par un argument un peu plus

compl i.que n'utiliser que le theoreme du graphe ferme "classique").

5i K est un compact; den., munissons

Ot;p(K) = 0;. (W)

de la topologie induite par or (K).

 - 78 -

L' application

lim cg (CO) --+-- OC (K)

w;t" P P

sera encore un isomorphisme topologique car elle est continue d'apres ce que

l'on vient de voir et etant du type D F S est ultrabornologique.

On va alors definir une application lineaire

b : 0( p( n.- K) ---+ (ott

p
(K» ,

Soit ft. 0Cp (Sl- K) , f eB(.Cl..) un prolongement de f

Pf or' (K)

et l.a classe de pI modulo POC' (K) ne depend pas du prolongement choisi. C'est

un element de

OC' (K)
Pot' (K)

et comme P ot. (K) = <J( (K) , Pot' (K) est ferme dans ot' (K) et on a

POC'(K)

On pose

b(f) = classe de pI .

Soit g (K) • Il existe un ouvert c.o:;) K tel que geOC (00)

p tp

Soit Cf E 3) (CO), <f= I au voisinage de K. Soit K) et

I .. B(1't) un prolongement de f.

On a :

(I - Cf) f - f (; Ot' (W)

donc
 - 79 -

Cela montre que l' application b est continue quand or. p()}.,' K) etot (K)'
tp
. , I
$Ont mun1s de leurs topolog1es d espaces de FRECHET.

Remarquons que si f lEi«p(n..). b (f) - O.

TuEoRH 211.

L'application b

otpcn.- K)
( ott (K» ,
p

est un isomorphiSme (vectoriel topologique).

Demonstration.

1) b est injective

Soit 'f el)(.fi.). 'f'= I au voisinage de K et auppo sons P (I To 'f) f orthogo-

nal a ott «u.

P
Comme Ott en) .. \
p
( {t) e t c01lDl1e
P
ferme dans !, (..0.) et done

P(C I - Cf)f) .. Pv

Par suite

(I 'O'er)! - v E GtCn.)

(1 - t>f - V coincide avec t dans Ie complementaire

de tout voisinage de K , donc dansJ"L-X.

2) b est surjective :
 - 80 -

On a vu

otili: (K)
P

Soit (K»' (qui existe d'apres Ie theoreme

p
de HAHN-BANACH') tel que:

«u , g > .. g >
Soit f c.oE ro' (Jl.) solution de

Pf W .. V
w

La restriction de f GO au voisinage de'(Hl se prolonge en une fonction

f (;: O'C. P (it- K). En effet

• f . O'C (.fl- 0.»

P

et soit K C.W' C <..0 , f w ' . O'C.

p
Cfl.- w') solution de

Pf w' u
w,
ou uw ' est un representant de u •

est orthogonal a tp
(co) on a

P(fc.o- f w') .. Pv VE.

Donc

f w - f
w' .. v + h he OC (11)

et la restriction de f w a'dlt se prolonge a J1. - w', ceci Vw' ::J K, done

a 11 - K. Soit f ce prolongement. On a

b(f) .. u
 - 81 -

car si g I:: at. (co) ,

t
p

puisque

3) L'isomorphisme est vectoriel topologique d'apres Ie theoreme du

graphe ferme.

§ 2. - Valeurs au bard des solutions de l'equation homogene.

N n+1
On suppose maintenant p elliptique dans un ouvert !L de R et

so i t

Designons par (x, t) les coordonnees dans Rn + 1 et par oc. et B

(resp. nat.. nB) les faisceaux de fonctions analytiques et d 'hyperfonctions

n 1
dans R + (resp. Rn).

LEMME 221.

On a un isomorphisme

B n,(.ft) • PBj1. (n.) $ E

J=o n
B(il)@ Z jt
0, e 'if. 6Bft (It). u s'ecrit de maniere unique
m-I
u = Pv + v
j
@cb {
J=O

scn,».
,..J

avec v e B.fL( Sl.) • v. e

J n

Demonstration.

Soit Ie faisceau sur fl.:

 - 82 -

ou ,..J
U> est un ouvert de
rJ
It. qui rencontre n. suivant 0.>.

BJtest un faisceau flasque.

Pour voir que le morphisme de faisceaux flasques sur.n.:

Bm --}-+- B
B.fL X u n
m-!
m-!
(v. (v .) ) r Pv + -.:::;:-
£- v , I8l o t.j
COj)
J j-o j-o J
est un isomorphisme il suffit de voir que pour tout compact K ce morphisme

induit un isomorphisme

ac' (K) x ( CJC. (K) ,)m

n
---+ 0(.' (K)
n
(car si F est un faisceau flasque sur Rnet nun ouvert borne de R

F(n.)

mais c'est alors l'application transposee de l'application

OL(K) -+ O(.(K)

t ( oj
f -+ Pf. ,.t j j .. o ••••• m-!

qui est un isomorphisme d' apres le theoreme de CAUCHY-KOWALEWSKI.

LEMME 222.

rJ
deux ouverts deJL avec

Alors lea eapaces

(I( p( Z;;z -w)

et
OC (&1 )
p 2

sont isomorphes.
 - 83 -

D&nonstratioa-.

En considlirant l' ouvert n et>2 • on est ramenli au cas as) c cZ$2

.", N
0>1 - w = (00
2 - W}"W 1

11 rlisulte alors du theoreme A 23 que l'applicatioD

GT<. ({'.Ol - 1.0)

P

est surjective.

Deaignons par
1 '"
Roo (11. ot p )
«(cX,-w)
la classe d ' l.somorp
. h'l.e d e P

....,
Si v:,' c w et si c;;,'. rt:, sont deux ouverts de JL avec
N) tV
CO Co co

l'application de restriction:

induit une application

R
w·
en, oc. p )
)'V

et il est clair que l'on dlifinit ainsi une structure de prlifaisceau sur 1&
ltV
famille des HJ.!t. (J'(";.

Dlisignons par at) ce prlifaisceau sur it.

, .AI.. P

LEMME 223,

Le prefaisceau (otp> est un faisceau.

 - 84 -

Demonstration.

IN
Si f Eli oc. P ( - co ) designons par ).. (f) son image dans Hc:JSl..
Soit .n. • U fl· etsoient
.-v
it. l.
"'"
des ouverts de it avec
i E: I l.
'V

.0..l. (\ !l •.n.. l.

1) Soit f e <Xp(n. -.flj tel que

A(f) 1 !l.i - 0

Cela veut dire que

et eela implique que

done que

).(f) • o.

2) Supposons pour simplifier les notations que U '"

=.n.
roJ

i e1
1
().n..J
IV
Soit T.6
l.
H.n.. (12.. avec 11'.112..
l. l.
n n,J • T.ln.
J l.
l.

Soit f.
l.
e. ot p (.0..'" -n..)
l. l.

1\ (f.)
l.
T.
l.

oc..p (11. n .n..)

.-.J IV
f. - f. E
l. J l. J

Soit g .• f. - f.
l..J l. J

Les g. . verifient les hypotheses du theoreme A 23 done

l.,J

3g i 6 ot. p Uti)

gi.j = Si - Sj •
 - 85 ..,

Soit f! • f.

= T
i

et

,.oJ

.n . n .n..)
IV

J • f!J <11. () 11.J•

done i l existe f&ot p<''"

l l- Jl) telle que

f In i - J1.i
f!

et si A(f) '" T on a T Ini = T 1••

LEMME 224.

Lefaisceau OC ) est flasque.

p

Demonstration.
11.
Soit wCon... co un ouvert
,..,
de Jl avec c.o (l
,..J -v.
= W.
'" - 00).
Soit feat (GO
p

Comme w- w·
,.J "'"
(Jl-JL>hl;U,il resulte du theoreme A 23 qu'il existe

ge oc.
p
m-ru avec

f = g + h he ot
p

Si A(g) = S • X(f) '" T. sera un prolongement de

T.

Remarque.

11 est bien evident que les lemmes 222. 223. 224 pourraient se demontrer

beaucoup plus rapidement en utilisant les resultats du chapitre B.

n. -,n)
N _ I"J
Soit maintenant fCat,< et f 6 B(1l.) un prolongement de f.
_ ,..J

Pf '"' Bll. <.0.)

 - 86 -

donc d'apres le lemme 211

p
P£ .. Pv + .4- v .•
J"o J to
et les v. 6 B(ll) ne dependent que de f et pas du prolongement choisi •
J n

On pose :

O(f) (v • ••• v I )
o m-

THEOmm 221.

L'application
N
01p( 11-11>
ot <it) --r-»- (B(fi»m
n
P
est un isomorphisme.

Demonstration.

Cemme les faisceaux sur Jl sont flasques. il suffit

de demontrer que pour tout compact K de!l. l' application y induit un isomor-

phisme :
-'
or (J1 - K)
IX. P aU --7 (nO(.' (K»m
p
mais alors i( est compose de ltisomorphisme b du theoreme 211 et des isomor-

phismes :

ot.' (K) »m
(0{
t
(K»' p oc.' (K) t (
::::t (n ot: K
p

; ,
THEOREME 222.

N
t) §i. f Eo ot. (Jl-.n.) et si les restrictions de f aux composantes conne-
AJ P
xes de ll.-.fl.se prolQngent analytiquement a travers .Il. "(f) c=.(n O((!t»m •
 - 87 -

AJ
2) Si 11. C 1l x R et si Q est un operateur differeJ)tiel sur.n. a

coefficients analytiques qui commute avec P alors

O(Qf) .. QO(f)

Dmnonstration.

1) resulte de la formule de "derivation d June fonction discontinue sur

uen hypersurface" de (37).

- N N _
2) Si f E B(f'l..) est un prolongement de fEotpOi-Sl), Qf est un

prolongement de Qf et

P Qf = QPf=QPv+ 2-
j=o
Remarque.

On aurait evidemment pu dans ce paragraphe, remplacer Jl par une hyper-

surface analytique de .ff..

§ 3. - Regularite.

lREORillE 231.

n
Soit n. un ouvert de IR , P un operateur differentiel elliptique a
coefficients analytiquea dans It .

Soit UEB(!t) solution de l'equation

Pu .. O.

Alors u e OC( Il).

Demonstration.

En f par PP , on peut supposer la partie principale de P

a coefficients reels •
 - 88 -

n
Plongeons Rn dans tR .... 1 par

x (x , 0)

et soit
N

ft·..n.XtR
rJ
Soit P = P + •( () )m
1 TI
N ""
(P etant d'ordre m). L'operateU! Pest elliptique dans It.

Soit u e B(Il) solution de

Pu = 0

'"
et soit f E O(f(.n.-Jl) avec

""(f) (u, 0 0)

Un tel f existe d'apres le theoreme 221 et d'apres le theoreme 222 on a

'(Pf) - 0
rJ
d'oii Pf E Ot:. p Ul)

D'aptes ce meme theoreme 222 il suffit alors de demontrer que les restrictions
,.J
de f aux composantes connexes de 1\. - It se prolongent analytiquement a travers
fl.

Soit
i
f. ( 'd-1..(Pol i .. 0 ••• m-l
1
ot
Soit gi e nO( rru des solutions de

= f.1
n+1
Soit g la solution analytique au voisinage de Jl dans R de

g 0
i
-
"d .1
3t
gIt=o i - 0 m-l
 - 89 -

Ltexistence et Itunicite de g resultent du theoreme de CAUCHY-KOWALEWSKI.

Ona

Pg = Pf

car ces deux fonctions analytiques au voisinage de .0.. sont solutions de

'"
I' equation Pu, = 0 et ont memes traces sur.fl puisque

(pg»\
t-o
P( (
i g)
\ t=o) Pg, fi = ( '0\
C)t
(PO) \
t. e e ,
On a alors
.'\1
P(f - g) = 0
P(f - g) = 0

dtoii

(f - g) o
--.I

et les restrictions de (f - g) aux composantes connexes de fl - It sont des

polynomes en t a coefficients dans n oc.(Jl) et par suite se prolongent a travers

Jl . Comme g est analytique au voisinage de It les restrictions de f se prolon-

geront a travers 11. .

§ 4. - Existence.

I "
THEOREME 241.

n
S01't n un ouvert de R et P un operateur e 11'"
1pt1que a coe ff"1c1ents ana-

lytiques dans .fl .

Alors
PB(n.) B( n).
 - 90 -

Demonstration.

D'apres le 211 l'application b

<npcn.- K) (OCt (K»'

oc' (K)
P 6t' (K)
P
est surjective.

Donc
Vue 0(' (K) , 3 fEcXp(,ft- K) tel que si f Eo B(ll) est un prolongement de
f on a :
Pf • u + Pv (K)

Par suite

P(f - v) - u

et done

P B (1l.).::> oc. '(K)

cela entratne , camme le faisceau Best flasque que

"10) CC.n. , P B(w) B(W) •

SoH Jlo • U
i 6I
n.1 un recouvrement ouvert de it avec 1l.. CC.n..
1

Soit T 6B(fi.) et T.1 6. B(1l..)

1

D'apres le 241,

.n. 1. () n.J at: pcn. 1. f\ n..J )

(T. -
1
T.)
J \
et ces fonctions verifient les hypotheses du A 23.

Il existe donc h.EOtp(Q.)

1 1
avec: T. - h.
11
= T.J - h.
J
dans .Jl..f'\.fL,
1 J
Les T. - h. definissent done une hyperfonction S 6 B(1l.) et P S • T puisque
1 1
 - 91 -

pour tout i

§ 5. - Representation des distributions dans Ie cas de I'operateur

Dans ce paragraphe nous nous placerons dans identifie a

Soit -tr + i; i . v=t y]

N ,..,
Soit.f1. un ouvert de It. Jl. () R .. n
!J).h.
.v fV
Nous designons par (11) l' espace des distributions de 1l a support

dans 11..

LEMME 251.

,...,
IJ1t en) ;1. 3>'n
,...,
(Jl.)$J)'(.Jl)dD c6' y
i, e : V T lO.f).iL en.) • T peut s' ecrire de maniere unique

V E IJ' (n.)

Demonstration.

Comme

-r
2
l- C} z y
- 1 "au
'2 i)X
rS'y(n-l) ]

.-.J
i l suffit de voir que toute distribution TE.3>it(fl.) s'ecrit de maniere
unique :

Too u G>cb (11) u e. 9)' (11)

n y n
 - 92 -

et ee resultat est bien eonnu (37).

nesignons alors par

HC.fl- .n. .1))

'"
l'espaee des fonetions feH(lL-.D.) qui admettent un prolongement f dans
,..,
Jj , (.!l.).

n..
...J
11 resulte du lemme 251 que si f H(ll. - $)') • 0" (f) (defini au para-

graphe 2) sera dansJD'(lL).

L'applieation reeiproque de y est eelle qui a u E fait eorrespondre

la elasse de solutions dans H( 11.H(1t)

- n .1.)') de l'equation

';Z f y

On a done demontre le :

THEOREME 251.

L'applieation er induit un isomorphisme

"" fl.
H(ft- /J)')
Hen:) -7'"3)' (fl. )

Designons maintenant par

'"
H(Jl..-Sl.. b ")
rV
le sous-espaee de H(£l-Jl) des fonetions f telles que

V 9' !J (Il) 1 'integrale

+ iy) - f(x - iy') ep(x)dx

a une limite e(<r) quand y et y' tendent vers 0 par valeurs positives.

11 resulte du theoreme de BANACH-STEINHAUS qu'il existera une distribution u

 - 93 -

sur 11 telle que

c( ep) ..
On pose : b'(f) .. u,

252.

H( .n.. - 1l., 3J ')

N
H( ?t - It • bI )

,..,
et si f E: H(.Q - n , 1>')
i
'(f) .. '2 b'(f).

Demonstration.

I) par demontrer que :

N
H(11.- ..n. ,.;
3)') c H(..Q - 11.. b')
N
et que si feH(Jt-ll.J)') • on a
i
.. '2 b'(f) .

So i t T" '(f) E 3Y (ft) •

11 8uffit de voir que pour tout ouvert • on a si

-v
CJ.)= OJ n ,fl.:

f I ,..J

w - w e H( W-
i
-.J
W. b ')

'("(f) b" (f).

2"
Soit e e 02)(fi) , t9 = 1 au voisinage de (.0.

La distribution
..J - 1
T =
2i IT

est holomorphe en dehors du support de 6!T et

 - 94 -

Donc

et il suffit de verifier que :

si Te et si l'on pose

N -1
T • 2i rr (T
.s • y) Z

alors NIN
T .a-A 6 ""
H(.Q-.n. b')

et b' (T)
....
. T •

Comme

+ i 6 ) q>(x) dx • 'r>
il suffit de montrer que

- 1 [ 1
2 i 1T ---:"'"t-+:'--:i""":S::- t:ie' ]
converge vera dans d)'(R) quand 6. a' tendent vera 0 par valeurs positives.

Soit 6} E 3) (lR) et l)O tel que

(supp &) c ] - 1 • + 1[

Soit .n. f. • e' le rectangle dans (

-l(x(l - 6' "Y, G

Prolongeons (1 a B:2 en posant

8(z) • (; (Re z)

-1
2i it
f<:ItB(x)
+ ia
(9 (x)
x - i eI
)dx =
 - 95 -

la formule de CAUCHY (theoreme A 31) la difference de cette integrale avec

9(0) vaut

l
e(z)
oz
2:" 6'.D.e.
z
dz 1\ dz

et cette derniere integrale tend vers 0 avec G• 6' car la fonction

z
est

localement sommable dans

2) 11 reste a demontrer :

H(D.-
f'I
.n.. b') c
N
H(Sl.-.n.. /)')

Soit f e H( .n.- It.

N
b').

Soit n""'+ =.n

,..J
n (y >0) •
,..T
11 suffit de demontrer que la restriction de fa l l se prolonge en distribution
a travers Jl. •

La famille

(f(x + iy»
y )0

est bornee dans 9J' (1t). done pour tout ouvert CA.:> C C 11. il existe

c > o , P 6IN tels que

'VCfe:J)(w)

I + iy) 'i'(x)dx I , J..,ID PCd

c dx

Soit l'ouvert
a

a 'tant assez petit pour que

N+
wa C. c. Jl.

Soit '+' E: OR) a support dans ] - 00 • a [

 - 96 -

\§!Pit'" a (x + i.y ) Cp (x) 't' (y) dx dy I

, §\jJ(Y)
o
II S f (x + iy) 'f(x)
l<.>
dx Idy

4c q>(X)'jJ(Y)!dX dy
fl.i"
Cela imp Li que que si e ",W(n) a son support dans W x t
y <. a)

alors

+ iy) e(x. y) dx dy
.n.
, c 0 I dx dy
On peut done definir un prolongement f de f en posant si
9 EJ)<11..) :
<f • >=
.fti-
9 (f(X + iy)9(x. y) dx dy •

COROLLAlRE.

,...,
Soit 'f 6H(.n.- J1.,).

Supposons que VCf e'J)(.fl.) l' integrale

Jrjt(f(X + iy) - f(x - iY'»'P(x)dx

tende vers 0 quand y et y' tendent vers 0 par valeurs positives •

.....
Alors f

Demonstration.

D'apres Ie theoreme 252 l'hypothese implique )(f) = O.

On applique alors Ie theoreme 251.

 - 97 -

COM MEN T A IRE S

Les trois premiers paragraphes de ce chapitre etendent aux operateurs

a coefficients analytiques des resultats de GROTHENDIECK (15) pour le premier

et de BENGEL (1) pour les deux autres.

Simultanement a (1) le theoreme 231 a ete demontre (toujours pour les

operateurs a coefficients constants) par HARVEY (17) qui utilise pour cela la

theorie de SATO (cf. chapitre IV).

Une autre demonstration du theoreme 231, valable pour les operateurs pseudo-

differentiels, est donnee par BOUTET de MONVEL et KREE dans (4). Ces auteurs uti-

lisent le theoreme 131.

Une quatrieme demonstration de ce theoreme figure dans (36).

Les resultats du paragraphe 5 sont classiques. On pourra consulter l ce

sujet (28, chapitre I) et la bibliographie de cet article.

On •
pourraLt (.) f aLre
. une etud e analogue a celle du·paragrap h e 2 en conSL. erant

des probl eaes ltunilatel'aux" et demontrer que si Pest "proprement ell iptique"

d'ordre 2m on peut obtenir les m-uples d'hyperfonctions comme valeurs au bord

unilaterales des SOlutions de 1 'equation Pu = O.

Dans le cas des ouverts bomes a frontiere analytique ce resultat (modu-

10 des espaces de dimension finie) est du a LIONS et MAGENES (22, cf. aussi (36)

a ce sujet).

Article en preparation.
 CHAPITRE III

DIVERS

J I. - differentiels.

Sait C [D] • C [D , ••• D;Jllanneau des polynOmes differentiels

I
a
coefficients dans C sur an.

P une matrice (q, p) a coefficients dans a: [D] et Q une matrice (r , q),

construite comme au cbapitre A, § 2C, i,e

Q. ( )
Q
r
ou les Q. engendrent sur C Q:>J le sous-module de a: [D] q des solutions R
1

de 1 1 equation :

R 0 P • 0

rHtoRlbm 3) 1 •

n
SaitA un convexe de R •

La ttUite

est exacte.

Demonstration.
n
Plongeons R dans a n+1 par

x --7>- (x, 0)
 - 99 -

n
et soit A = ([D. des polynomes differentiels sur t dans R •••
On identifie e tD] a son image dans A.
l'
Les (Q.) forment encore un systeme de generateurs (sur A) du sous-module
1.i = I
q
de A des solutions de l'equation R 0 P = 0 car si Rest une telle solution

R =L
i=o
R.
1-
n
1
t
R.
1
E e [D]
et Li-o
R.1- n t
i
o p = 0 ent raIne Ri P = 0 'Vi.
n 2 . . n+1
Soit 1:1 x Ie Laplacien dans R et fj.-ll x + D Ie Laplacl.en dans R •
t
·
SOl.t f;t ' sceau sur Rn+
G 6. 1 e faa ) d es so l
ut'aons d e 1 "equat aon
. Au = O.

LEMME 311.

Soitllun ouvert convexe de lR +

n l• La suite

est exacte.

Demonstration du 1emme.

Considerons l'app1ication p'

t(lU)p

(f) --+ P(f). 6. (f)

D'apres 1e theoreme A 25 • i1 suffit de verifier que si

Q(g) o. A(g) = 0 a10rs pour toute matrice S

de type (I. p + q) verifiant SoP' =0
on a

S«g). 0) O.
 - 100 -

On peut ecrire avec

8 0 p'
1 2

et

8«g). 0)" 8 (g).

1

11 suffit donc de demontrer que la relation

(I)

entraine que 51 est engendr-ee sur A par des matrices du type dR. RcAq •

et par les Q. (i .. I ••• r ).

On peut supposer que 8 et 8 sont sommes de monomes en D d'ordre pair.

1 2 t

Raisonnons par recurrence sur l'ordre 2n du polyn8me en Dt • 51'

5i n .. o. la relation

51 P + (6.x + 8
2
.. 0

entraine 8 .. 0 donc 51 P .. O.
2

5upposons notre resultat vrai pour les polyn8mes •

et .. 0 •

On a donc

51 P + U + 2 D2n + 2 P + 8 A+A U' D2n + U' Zn: + 2 0

2n t 2 x 2n t 2n Dt

d'oii
 - 101 -

2n
6 x
u'2n Dt o

ce qui entraine

(51 - U2n + 2 6. x + 52 li 0

et d'apres l'hypothese de recurrence

2n
U
2n + 2 IJ. x D
t
a. Q. + 6R
i = I
1 1

avec a. 6 A
1

done

tV
51 est bien de la forme cherchee.

Fin de la demonstration du theoreme.

SoLt; .n un ouvert convexe et u e B(n) q verifiant Qu = 0 •

f'J
Soit .n. = !L x IR.

D'apres le theoreme 221. on a un isomorphisme 1(:

tV

B(.fU 2

et d'apres le theoreme 222 cet 1somorphisme commute avec les derivations dans

-v
so It; f E: cgx(n.. ..ru tel que :
'(f) ( u , 0) E ( B(.n,)2 )m
Q"(f) '(Q f) (0. 0)

Cela entraine

Qf E

50it (R
I,
•••• R > un systeme de generateurs du sous-module de t
s
[n] r
 - 102 -

des solutions de

R Q 0

et soit R la matrice ( Rfl )

s
D'apres Ie lemme 311 (en P par Q, Q par R), il existe
11
tel que

Q g Q f

puisque RQf = O.

Soit f' = f - g 6. ""

8'q(St- .n. ).
li
On a
¥"(f') = ¥"(f) = (u, 0)

et comme Q f' 0, il existe d'apres Ie lemme 311 h E

D.
m tel que

P h f'

Soit )( (h) (VI' v

l) e (B(ft)l)p
(P vI' Pv ) = Pj(h) (u, 0)
l

verifie Pv I = u •

COROLLAlRE I.

Soit P un operateur differentiel a coefficients constants. Pour tout ou-

vert n de !R , on a
n

P B(Jl.) B( Jl) •

Demonstration.

n
Si TEB(ll), il existe T6B(lR ) prolongeant T. D'apres Ie tMoreme 311 i l
n
existe S e B(lR ) solution de P S = T.

alors
 - 103 -

COROLLAlRE 2.

Soit P un operateur differentiel a coefficients constants ayant la propriete

'V .n. c mn , u B(.n.) , Pu = 0 =} UE: i>' (1l) •

Alors P est elliptique.

Demons tration.

L'hypothese entraine • d'apres le corollaire ) que pour tout ouvert Jl

on a

= /fJ'(f).)

et cette propriete est caracteristique des operateurs elliptiques (18).

Cela montre que si u (Rn) et T E B(lRn) la formule

u'" T) c. cg-cr(u) +

est fausse, puisqu'il existe des operateurs differentiels hypo-elliptiques

mais non elliptiques.

Remarque.

On peut ameliorer le corollaire 2 en B(Jt) par l'espace de

toutes les ultra-distributions surJ\(7).

§ 2. - Operateurs differentiel$ du premier ordre.

a) Utilisation de l'analyse fonctionnelle.

Soi tJt un ouvert borne de IR

n•
li = K, 01t= K -..0.. Soit P un operat.eur dif-

ferentiel a coefficients analytiques dans un voisinage de K.

Dans ce § 2.a. Pest d'ordre quelconque.

 - 104 -

THEORam 32 I •

Soit F un sous-espace de FRECHET de ot'(K) (avec injection continue) et

F In. l' image de F dans BCn.)

Supposons que

P «ru I
:> F ri

=.!1lz 1\
,-.J,..,J ,.J ,J

Alors pour tous voisinages complexes It} de K de dSl. tels que.fi. C

2
il existera des compacts K. c.n.
tV
(i = l , 2) et une semi-norme continue p F

tels que

'riu 6 F Vf6R(n l ) \'u, f>j ,p(u) Dt p f \ K

1

sup /g(Z)/
zEK.

et < J • > designe la dualite entre ot' (K) O't (K).

Demonstration.

L'hypothese du theoreme implique que 1 'image de l'application

N
P O L ' (K) X crt' (O.fi.) -+ at' (K)

contient F.

La forme bilineaire sur

(u, f) <u f >

est donc separement continue quand Fest muni de sa topologie d'espace de FRECRET
,..J
et R(St}) de la topologie la moins fine renciant continue les applications:
 - 105 -

et

f f

puisque

tp f > + <e, f >

v (K)

La forme bilineaire est donc continue (theoreme A 13) d'ou l'inegalite.

I "-
THEOREME 322.

I
Soit K un voisinage compact de 0, F un sous-espace de FRECHET (avec injec-

tion continue) de OC' (K).

Soit F
--0
l'fmage de F -
dans
-0
B, espace
-
des germes
-
d'hyperfonctions a l'origine.
-

Supposons que

P B :::> F
o 0

Alors il existe un voisinage ouvert uu de 0 tel que

P B(CO):::>F \ (.0

COROLLAlRE.

Supposons que

P B B
o 0

Alors il existe un voisinage (.0 de 0 avec

p B(W) B(W).

Demonstration du corollaire.

Soit K un voisinage compact de O. On applique Ie theoreme 312 avec

F ere' (K).
 - 106 -

Alors F\c.o.. B(c.o).

Demonstration du theoreme 312.

Soit un systeme fondamental de voisinages ouverts de 0 avec

n
W cK
n
N
Soit P l'application
ex' (wn )xoc.' (doo)
n ,
--;.. ot' (W )
n

v, e -+ Pv + f

L' hypothese du theoreme impl ique que l' image dans (X' (K) de
f'J _

U
n
P(O(.'(w )XOC'(dw»
n n
contient F.

On en deduit (theoreme A 14) qu'il existe un n tel que

N _
Fe P(O('(c.o
n n
»
d'oii

P B(w)::>
n n
.
b) Operateurs du premier ordre.

Nous supposerons desormais P du premier ordre a coefficients analytiques

n
au voisinage de L" origine 0 E IR (n > I) et nous supposerons que la partie prin-

cipale PI de P ne s'annule pas a l'origine.

TuEomm 323.

Supposons qu'il existe une fonction w analytique au voisinage de 0 tel1e

PI w = 0
1m w(x) .. 0 {=:? x O.
 - 107 -

Alors pour tout voisinage 1l. de 0 (suffisamment petit) il existe 6> 0 tel que si

H 6 designe l' espace des fonctions holomorphes dans la bande

lIm z I < 6
on ait

Demonstration.

Soit n un voisinage ouvert de 0 suffisamment petit pour que

- n. "so i.t borne

Im w)3 c surdlt. c >0 (si Im w en remplace W" par -w)

- Une solution c( de t p <J.... e 0«0)" o , ou e est Le terme de degre 0

de t p soit analytique au voisinage de1tainsi que w et les coefficients de P.

Au voisinage de 0 • on a :

1m w(x) .. qe(x) + o( Ix .I e+) )

ou qe est un polynBme homogene de degre e) 2 (car n >1) •

Soit S· Grad w(o)

$C lR
n (et mane a IRn - to) ).
Soit <f E [D (Rn). Cf ("$) ;. 0 et soit 6> 0 tel que

< Im z, Y > <c

si \ 1m z I (6 • y E supp ( r).
Supposons que

rJ ,..;
Soit 1l):>1l2 deux voisinages dans (;'9 de ii et '0 n. tels que toutea les fonc-:
N
tions considerees soient holomorphes dansst) et tels que :

Im
,.J

w > 2c sur 11
2•
 - 108 -

L' application de HE; dans B-(.n.) se factorise par

et l'application

H 'G -jo- OC' Co..)

est definie par

g -1"" Ii'n g • dx

II resulte alors du theoreme 321 qu'il existe une constante A et des compacts

K.
1
en... ,.."

1
(i .. I, 2)

K
3 C. (lIm zl,e}
• VfE.H(n l )

+LJ
't/g GH
G
('AI)
\ fjifg dx I A \g\
K3
[ \t
p
f l K
1
Soit alors
-0( itw
e e "L E IR+

g (x)
't
Cf (tx)
A.
OU 'rA est la t r ansformee de FOURIER

de <f.
On a tp f .. 0
't

sup \ g
K
I
1j"
B exp e t
3

De meme on a

sup \ f1-1 B' exp - 2 ct

K
2
Le deux i eme membre de l' inegalite (1If) tend donc vers 0 quand 't tend vers + 00

alors que Ie premier membre tend. d'apres Ie theoreme de LEBESGUE vers :

 - 109 -

lim t n (_ (x) e-i'tw (x) dx

't+ro )h.
'" lim (xrn '" -i w(xft)
e - 01, dx
I.-r oo tfl..
Cf(x)ei<x,S»dX ='f<S) 1'0.
. f.n
COROLLAlRE.

SOUS les hypotheses du theoreme 323. VCf Eo 2) (Rn). Cf l' 0.3 f G

tel que

Demonstration.

Sinon on aurait d'apres Ie theoreme 322

( G''' (Rn» \ co c. P B(W)

pour un ouvert GOcontenant 0 ce qui contredit Ie theoreme 323 car

Exemple.

L'operateur

verifie l'hypothese du theoreme 323.

§ 3. - Division des hyperfonctions.

a) 0( -modules de type finL

Soit at Ie faisceau des fonctions analytiques reelles. C'est un faisceau

d'anneaux.
 - 110 -

Le faisceau R(F I' ••• , F sera le sous-faisceau de oc.q\n des

p)
G (gl' •••• gq) tels que

uV J' ,p
1 q
1.-1
.....s- gi J o
si F. = (F... ••• F.) •
J J J

Comme 1l. ad' apres le tMoreme de GRAUERT (theoreme A 33) un systeme fondamental
rJ
de voisinages d'holomorphie dans tn. il existe un ouvert d'hololomorphie Jl

tel que

II resulte alors des tMoremes de OKA et CARTAN (cf. 19, theoremes 716. 721) que

pour tout compact K c. rt . i l existe

G]. • ••• G
r
at. (K) q

qui engendrent pour tout compact L c. K le ot(L)-module

Les matrices

(F) ( F]. • ••• F )

p
et

(G)
.(t)
definissent des homomorphismes

crt(I'.' P 00> (J(K) q m: (K) r

et par transposition

Ot,(K) r til- OC(K) q (K) P

(G) (F)

Cette derniere suite est exacte car si (h) EO OC(K) q on a

(h) e 1m t(G) t(h) est engendre par les

 - 111 -

Gi ( i . 1 ••• r) t(h)o (F) • 0 t(h) (F) • 0

Considerons maintenant t(F) et t(G) comme des applications t-lineaires et

transposons :

LEMME 331.

Pour tout compact t.e K la suite

OC' (L)q
(F)

est exacte.

Demonstration.

On peut prendre L· K •

D'apres ce qui precede on a :

Ker t(F) 1m t(G)

Donc il suffit de verifier que l'application (F) est d'image fermee, au que

l'application t(F): G(K)q est d'image fermee. ce qui resulte du

LEMME 332.

M un sous-ot(K)-module de tyPe fini de O«K)P. M est ferme dans

O(K)P muni de sa topologie naturelle d'espace du tyPe DF S

Demonstration.

Soit a e K • L' espace oc. ( \..a}) est algebriquement isomorphe au sous-

espace des series conv rgentes Xl' ••• , X de l'espace des series formel-
n}
l es G; [[ xl' •.. X ]].
n
Llespace 4: OCxl' ... , xu] 8. une topol.ogie natureHe d'espace de FRECMT
 - 112 -

n
(II: [x p ••• X (II: )lR) di t e "topologie de 1a convergence simple des coefficients".
n

Designons par OC l' espace <lC (

a
ta}) muni de cette topo1ogie.

Les applications canoniques

R
a
at P(K)

sont continues et Ra(M) est un de

11 resu1te d'un theoreme de KRULL (cf. aussi 19, theoreme 635) que R Q.1 ) est fer-
a
me dans DC. P •
a

11 suffit a10rs de verifier que :

M •
a
nK Eo
R- 1 R (M)
a a

et celaresu1te encore d'un theoreme de CARTAN (cf. 19, theoreme 721).

b) Division des hyperfonctions.

Soit (F) une matrice a. coefficients dans ot(.!t) , n c. m. n et

A un ferme de .n.
(F)definit un morphisme (de (fl)-modu1es)
(F) O«!1.)q
et se prolonge en une

331.

Soit T-(T , ••• Tq)eB1<fl.).

1
Upe dondition necessaire et suffisante pour su'i1 existe

tel que
 - 113 -

(F) S = T

est que

vco en.. 't/ (g)

verifiant
(g)(£) = 0
on ait

i!:.
i"l
g . (!' ·1 00) .. 0

Demonstration.

La condition est evidemment necessaire. Inversement

Soit n... U Iln

neN
un recouvrement ouvert de.It avec

.Qn c. C 1lu+ I
So it K
n lin A n
L =d.l"ln () A
n
Pour tout nil existe une decomposition

T ... T + T'
n n

T
n
e C(' (K )q
n T'n In n = o.
D'autre part il resulte du a) que pour tout n il existe des matrices (G ) et
n

(H )
n
a coefficients dans Ol:.(K ) telles que les suites :
n
Tn
ot' (Kn)P W«' (Kn)q <G1" (J(' (Kn )
n
et
 - 114 -

soient exactes.

D'apres l'hypotbese sur T on a

r
(G ) T & «.' (L ) D
n n n

et on a

(H ) 0 (G ) T • 0
n n n

done il existe R E OC' (L)q tel que

n n

(G ) T (G )R
n n n n
Soit Un = Tn - R - (Tn_I - R _
n n l)
U
o
= T
0
- T
0

Ona
U
n
E OC' (K')
n

et la serie

s;
GO

U
n
n=o

est bien definie dans B1(Jt) et vaut T puisque pour tout n seula lea U
p
avec p (n ont un support qui rencontre!l.n et

t:-
1-0
u.1. \ fin • (Tn - Rn ) In. · In n T n
D'apres le lemme 331 i l existe 5e <:K. '(K')P tel que
n n

(F)5
n • Un •
OD
La side L 8
n
definit une hyperfonction 8 6 Bien.) et on a
o
(F)5 • T
 - 115 -

c) Applications.

Soit (F) une mat rice (q, p) a coefficients dans 0(1l). La matrice (F) de-
finit un morphisme de faisceaux sur lL

THEOm.tE 332.

1) Le prefaisceau image de (F) est un faisceau flasque.

2) Le faisceau noyau de (F) est flasque.

Demonstration.

J) Soit T E B(n) q. Dire que T appartient au faisceau aasoc Le au prefais-

ceau image de (F) signifie que Test localement dans l'image de (F). Mais alors T
P
verifiera les hypotheses du theoreme 331 et donc i l existera S Ii B (.n.) avec

(F)S ,. T.

Le faisceau 1m(F) est alors evideument flasque puisque si T 0=; f' (co. 1m (F»,

si S & BP (CoO) verifie

(F) S = T

et si Se BP(Jt) est un prolongement de S. (F)S sera un prolongement de T.

2) Soit T e r( (.D, Ker(F».

Posons A = Jt- co et soit T IS BP en.> un prolongement de T.

(F)T e f' Aen, 1m(F»

et d'apres Ie theoreme de division il existe

S Ii Bi (Sl.)
solution de

(F)S ,. (F)T

Alors T - S (;; I' (n.. Ker (F» est un prolongement de T.

 - 116 -

Si M est un faisceau coherent de at -modules (6) sur .n.. M est localement isomorphe

a un faisceau de la forme

oc q -+ (J(P eat une mat rice (q , p).

On peut alors definir localement un faisceau B par

M

et 'trecoller" ces faisc:eaux.

c.)
On peut ainsi construire un foncteur contravariant de la categorie des m(-modules

de faisceaux coherents dans 1a categorie des OC-modu1es de faisceaux flasques

(20).

COMMENTAIRES

Le theoreme 311 a ete demontre par KOMATSU (21) qui utilise 1a represen-

tation des hyperfonctions comme va1eurs au bord de fonctions ho1omorphes (cf. cha-
pitre IV).

Les resu1tats du paragraphe 2 sont dus a 1tauteur (34) • Le theoreme 323

est 1textention dtun theoreme de HORMANDER (18. theoreme 614) •

On pourra trouver dans (34) une reciproque du theoreme 323 et dans (35)

une autre demonstration (uti1isant les resultats du chapitre IV) dans un cas par-
ticulier.

Les resu1tats du paragraphe 3 sont dus a KANTOR (20) et

(,If) et exact

(.....)artic1e a parai:tre aux "Anais da Academia Brasileira de Sciencias".

 - 117 -

Nous n'avons pas eu le temps d'inclure un paragraphe sur les operateurs

hyPerboliques mais signalons que le tMoreme de HOLMGREN (l8, tMoreme 531) est
CW).
vrai dans le cadre des hyperfonctions

Article a paraitre awe "Anais da Academia Brasileira de Sciencias".

 CHAPITRE IV

VALEURS AU BORD DES FONCTIONS HOLOMORPHES

§ I. - Theorie de SATO.

a) Cohomologie du faisceau DC •

Soit It le faisceau des fonctions analytiques sur R

n
et e le faisceau
n•
des fonetions holomorphes sur ¢n. complexifie de R

Si x eRn on a un isomorphisme

Done pour tout ouvert n. de Rn

Comme tout ouvert de est paraeompact • il resulte du theoreme B 42 que

LEMME 411.

V.n ouvert de IRn

Iere demonstration.

On sait d'apres le theoreme de GRAUERT que fL a un systeme fondamental

de voisinages ouverts d'holomorphie.

 - 119 -

I1 resul te alors du theoreme B 42 que pour P)O :

U.p(lt. O() .. lim HPdl.. 9) • 0

...- -'?"
.tlJIlRn • fl

2eme demonstration.

n n 1 et soit 6. Le Laplacien dans Rn+ 1 •

Plongeons I1 dans R +

So 1., t 1e fa1.seeau
' d ans .,n+ 1 des so l '
ut1.ons anal '
yt1.ques d e 1 ' equat1.on
' ,

.6u • 0

II resulte du theoreme de CAUCHY-KOWALEWSKI que l'on a un isomorphisme

et done d'apres Ie theoreme B 42

Considerons alors la suite exaete de faiseeaux :

o ---;'«'A- ? ' ,
et appliquons Ie theoreme B 31 •

Comme on a la suite exaete (theoreme A 21 et A 22)

rJ ,..., fJ
o --.,.. CO.> T> , (1l.) 0

et coDIII.e HP (ft. • 0 p >0

on trouve
P rJ
H (.n.'()'(A) ·0

done HP ( n, (J'( x o-c.) .. 0 et d' apres Ie theoreme B 33 ce l a

entraine
 - 120 -

b) Lemme de MALGRANGE.

LEMME 412.
N
Soit J1 un ouvert de e", F un ferme de 11 • On a

a) 0) = 0 Vp > n
b) HPciL 9) = 0 V-p ') n •

Demonstration.

a) D'apres les theoremes 142 et B 32 le groupe ()) est isomorphe

au p -ieme groupe de cohomologie du complexe :

,.,
••• --?,,-B;,n(Sl) -joO .-+0 ••••

done pour p,.n , ce groupe est nul.

b) Appliquons ce resultat a avec F = - it

no.
Ht n
p
-.K (tn • (7) = 0 p >n
n
Ecrivons la suite exacte de cohomologie a support dans t - F (corollaire 1

du theoreme B 35)

/) HP(..n.9)

p+l
-.-rH n tv
e -.fl,..
Le lemme resulte alors de ce que

Remarque.

La demonstration de MALGRANGE (25) du lemme 412 utilise la resolution

de DOLBEAULT de e et le theoreme A 21.

 - 121 -

c) Lemme de SERRE.

LEMME 413.

Soit L N un complexe 4'espaces vectoriels topologiques.

u v -

(i, e : v 0 u • 0) du type F S • On suppose que u et v sont des homomorphis-

Ker v
mes et soit H· Iiii"U
Soit N' le complexe transpose et K - Ker u'
v' u,r - 1m vi

!!:2.!! H est du type F Silt du type D F S et H et K sont en dualite.

Demonstration.

Les quatre applications u, v, u', v' sont d'images fermees. Donc H

est du type F S et K du type D F S

(Ker v)' • M'/Im v'

par suite
I
:) sera Ie polaire de Im u dans M'/Im v' donc sera

Ker u'
Im v'

d) d'un compact de

I ..
THEOREME 411.

Soit K un compact de avec

Alors o
 - 122 -

et il existe un isomorphisme e

De plus si K G verifient les hypotheses du theoreme il resultera de la

1
demonstration que le diagramme

-+ (tn, (})
Z
i
Ht(K )
Z

est eommutatif.

Demonstration.

Considerons les deux resolutions de Q :

0, ° 0,1
(I) 0 Q -+0( --?-OC .-..:,.. •••• -+ OCo tn 0

dtapres le lemme 411, les

groupes HP(K, sont isomorphes aux groupes de eohomologie du eomplexe

OCo.n(K) ---?' 0

et eomme les faiseeaux BO,P sont flasques l.es groupes ui(lCn , 9) sont isomor-

phes aux groupes de eohomologie du eomplexe:

o -;..0-+ --i"Bi,1 -+ ... --+ Bi,n -+ 0

n
(ou on eerit Bi'P pour Bi,P(t » •
L t hypothese HP (K, 8) • 0 , P" 0 implique que la suite (3) est exaete. Les

operateurs a sont done des homomorphismes , puisque dtimages fennees, car les

espaees ot°,P(K) sont du type D F S

et Bo,n-p sont des espaees du type D F S et F S en

K
 - 123 -

dualiti! par :

L
r
<TJ , f 1
UJ= (I, ••• n)
>

ou gr, J d6signe la signature de 1a permutation (I, ••• n) J).

De plus le transpos6 de l'app1ication

d <1C0 , p ( K) (j{0,p+1 (K)

est (au signe 1 'application

Bo,n-p-l -+
K

D'apres le lemme 413 la suite

est exacte, et par suite

= 0 p<n

Considerons enfin les deux suites :

Bo,n-l L Bo,n
K. K

L'application

est d'image fermee puisque transposee d'une application d'image fermee.

Done l'espace

(qui est isomorphe a

est isamorphe a H'(K).

 - 124 -

e) Cohomologie a support dans Rn (theoreme de SATO).

I ,
THEOREME 4 12.

n
Soit n. un ouvert de R

a) Les groupes «(Cn, D) sont nuls pour p'; n •

n
b) Le prefaisceau sur R

est un faisceau.

c) Ce faisceau est isomorphe au faisceau B des hyperfonctions.

Demonstration.

n
a), b) : Soit.o. un ouvert borne de IR

On a la suite exacte (theoreme B 35)

p n p n.n p n p+1 n IfI

••• ...'" (4: , ()) (G: , \,Y) --+H (G:, f) --70- H (II:, 0') --;)- •••
A
Comme 1i et d n. sont des compacts reels qui verifient par suite les hypotheses du

theoreme 411 on a :

Q> • 0 p .(, n-I

et on a la suite exacte :

Comme Le morphisme
n,
H;n.(a: 8) -+H.fi.(Q:n, B)
est isomorphe au morphisme
 - 125 -

qui est injectif, on a

Considerons alors les faisceatix sur

associes aux prefaisceaux

Ces faisceaux sont nuls pour P <n et comme 8) = 0 si p >n d'apres

le lemme 412, les parties a) et b) du theoreme resultent du theoreme B 36.

c) Soit J'l un ouvert de IRn •

De la suite exacte :

on deduit que le faisceau

est flasque.

Si K est un compact reel, 'le groupe S) est isomorphe a oc'(K) d'apres le

theoreme 411 • Done pour tout ouvert borne les groupes

Bit n
(t ,

B;.n. (ltn , 9)
et

B(!l.)
<x(JD
oc' (an)
IOnt isomorphes.

Par suite lea faisceaux

 - 126 -

sont isomorphes.

Soit e l'isomorphisme
n n Ll\
--:-r
H (It, \;/
-an e B.

Soh n. un ouvert de an '" un ouvert de It n

et..n ""
avec J], n an =A.

En utilisant la resolution de 8 par les BO'P on voit que l'on a un Lsomorphisme

(encore note e)

,.J B(n.) •
(A)

L'isomorphisme reciproque est celui qui A T 6. B( It) fait correspondre la classe

de

1\ dzn
modulo

Pour le voir il suffit de le verifier sur les sections a support compact.

Designons par O"C (KlI (o}) l' espace des fonctions analytiques au voisinage de K

dans a2n (i, e : le dual de B

K(lR
2n).

L' isomorphisme

___)-" oC (K)
e
est le transpose de

at. (K) -+ 6. at (K)( to J) "6 f = o}

c'est-a-dire

0( (K) R(K) oc.(o,o)(KX \OJ

et la transposee de l'application

H(K) -+ O'C (K)

 - 127 -

est l'application

T classe de (T. tb y) dZ
1
A

• v
§ 2. - Utilisation de la cohomolog1e de CECH.

a) L'application "valeur au bord".

Soit .n un ouvert de IRn , n

#OJ
un ouvert d'holomorphie de en avec

On a la suite exacte :

Si n =1 on trouve
,..,
H(.n. - J'l. )
H(Sl)

et si n >1 Z est un isomorphisme :

..n-l n
Ii en- 14, f})
,..J I'V
H.n. rn, (J)
¥

Rappelons, en utilisant la resolution de Spar les faisceaux Bo,P,la construc-

tion de :

On considere le complexe double ci-dessous dont les lignes sont exactes

t
0 0

0 -+ = 0 --). •
H eD:.) H(n- 1U

O
trJ
---7-"Bo.o (11)
t rJ
BO,O(n.)
t_
BO '" UL- fl.>
-.J.. ' _i-
"';l..
,
d'
••
.
0 en.) BO .nt.] <!l) ----'!Joo- no,n-l
--'
(11 fl.)

:aJ
)0

n
> Bo,ndl) Crt - it>
t -+
0 ----)-Bo,n{n) Bo,n ----)- 0

Jl
0 0
t
0
 - 128 -

Soit T E: Hn-I(..Q-.n, El) et T tSBo,n-I(Jt-N un representant de T (done

:a T = 0) •

-
Soi t T e BO,n-l Cn.)
rJ
un prolongement de T.
-
T I.!i. Bj{
n
en.)
rV
sera un representant
Bo,n(n.)
n rJ
dans _;:;.;J't.=----=-_ _ Hen, (}).
Bo,n-I en.) .Sl.
n. ,J
Soit maintenant 'lb un recouvrement deJl-.n. par des ouverts d'holomorphie. Comme

une intersection finie d'ouverts d'holomorphie est un ouvert d'holomorphie (19)

et que si west un tel ouvert on a HP (w , 8) = 0 Vp >0 , le recouvrement

U sera 'acycl i.que" (definition B 51). D' apre s le t.heoreme de LERAY (B 52) it

existera un isomorphisme A:

Nous allons cons Lderer un recouvrement l6 particulier.

On pose

st.
,.J n
11 .). I

rV n
U est un recouvrement acyclique de ft- Sl. par n ouverts (ma i s par 2 ouverts con-

nexes).

On a done

(puisque les n-cochaines sont des elements alternes de n + I indices pris

dans l'ensemble [I , •••. n}) •

Po sons
,.J

••• n it.

t, .. n
 ;.. 129 -

On a un :

et un isomorphisme
n .,J"

T'T H(.n.1.)
i=J
__ (f )n
f
I... t ... n i= J

(avec la convention que ces deux derniers groupes sont nuls pour n = I).

L'image de l'application

par ces est l'application que nous noterons

(f
J... i:
t=
i=-I
(_l)i+J f'
J • •• t ... n

ou f'I .. i ... n est 1a restriction de fl ••• t ... n

Nous designerons par

L H(n i)
i
l'image de l'application :t:'. Elle est egale a l'image de l'application
n
(f • )n )0
J••• L •• n i=J 4--.- 1••• t ... n .
1." 1

On a done un isomorphisme
 - 130 -

Designons par r Itapplication

'"
H(Jt '*.tl)
ainsi definie •

Considerons 1"application de
,.oJ

H(.n. #- Jl) dans B(J1.):

DEFINITION 421.

On pose

,.oJ

Si f E; H(Jl# Il), b(f) s'appelle la valeur au bord de f.

Remarquons que si n = et si K est un compact de A , b induit une application

IV
H(A- K) -+ oct (K)
qui est celle definie au chapitre 2. § I dans le cas de l'operateur
2
-r i ..L
1. dX

b) Proprietes de l'operateur b.

Pour etudier l'application b nous avons besoin de revenir sur l'isomor-

phisme de LERAY A•
Rappelons comment il est construit.

Considerons le complexe double

 - 131 -

o o
t J

t
o C - 2 ( U . 9)
n
cn - 2 <u,. BO>")

,)'1 s{,
o (lb. 8> ---?- en- l (1.6, BO' 0) ...
'} t d

o 0

en posant

f
p
- gp p <n - ]
n L. BO ,n-p-I.)
oil cP(O
gp c L est 1,lnc 10 1ue ron
. de

,s gp f p+ 1
 - 132 -

Les solutions -g existent puisque f • 0 tip et que les colonnes du complexe

p p
double sont toutes. sauf la premiere. exactes.

Finalement on obtient :

rS f
o
- 0

done f definit un element de Bo.n-Iefl-.IL) (encore note f ) tel que

o 0

d fo - 0 • La classe de f modulo sera )...(f).

o

Ce procede de construction s'appelle "processus de WElL".

LEMME 421.

tV n ,-..J
Soit JlCa:. fl.' c e
.n.
•..J
(I lRn . .fl.. .-'
n'()R- .fl.'
'V
f eH( D. #= n.>. f' e ""
i t'
H( .. - .fl.')
n ' .,.,.
rJ -v
Si f e f' H( Jl X Jl X Jl ') est dlHini

(f f') (z , z ") fez) f'(z')

Ona

b(f f') b(f) @ b(f')

 - 133 -

m!monstration.

N ,J
Soit 'lI> = ( n..)n 1,,6' en.' - J)..') et 26" le recouvrement de
,..I

It" -..ee'
,..,
1. i=l
(ou .fl." = it X .n.,. .n." ".n. X .n.') par les otiverts
.v
n '! X .n.' i "n
..
1.
nI tV
,.J"
.n.n+l .n.. X Co.' -.ft')

On ecrira encore B pour le faisceau des hyperfonctions sur et de meme

on designera encore par et la differentielle (en dz) et l'operateur de

cobord "dans" •

Supposons provisoirement n > 1.

Soit (f.
p
gp ) les elements d'un processus de WElL partant de f et aboutissant
a A(f)

g .. f
P P

f" cp(U,". Bn+ 1-p - 1)

P
g" cP (7.6". Bn +1-p - 2)
p
 - 134 -

par ;.

..
"
f'!1 - 0 si n + I (i "" i )
i

-
0
0 P
P
f'! f. l1P f'
1 ••• i 1 i
p-l, n+l p-l

-
0 0

g'.' 0 si n + I f.(i i )
1 i o P

-
0 P
g'! g. dll f'
1 i n+1 1. i
0 p-l' 0 p-l
Ona

g"p .. f"
p

-b gilp - f"
p+1

puillque

(gi
o
i
p-l
ai? f')
- 1.
0
i
p-l
) lID f'

et

( gil)
p 1..
0
•• i
p,n+1
- J-O
P
(-oj g'!
1.
0
i.
J
i , n+1
p

puisque g'! i )
1 ..... i p
o p

et le dernier terme de l'egalite vaut

• 49 f'
1. ••• i
0 p
On trouve finalement

f"I

(f'I') •• - 0 si n + I j)
1.,J T

(f'i>i,n+1 - f i GD f' i <n+1

,." ,.oJ
avec f. - f.
1 J
sur.n.
1
0 .It.J

Soit f o 6 • n-l (!l-1l.)

B' ..... tel que fo.ALi • f •
i
 - 135 -

On peut dbormais supposer n '»' 1.

Si n. la demonstration cOllllllence maintenant.

On definit gil ainsi:

o

soit f un prolongement de f
o o

Posons

<an)
o i
• 0 , (gil) • f
o GlI f' ( i <n + I) •
o n+l
Mors

( " gil)
o L, n+l • f . • f'
1
i <n + 1

( " glt)
o .. • 0 i, j < n+l
1,J
Done -G glto • fll
1

Soit fit • Cl gil

o 0

fIt
o
, To GIl f', dont la classe modulo

Boon - t (n. It - .0:') est (£I') (avec fll • f <I f1) car les (.fIt glt)
p' P
sont

les eUiments d' un processus de WElL issu de f" •

- tV
Soit f' E B(11.') un prolongement de f' et

fi'o est un prolongement de fit

0

D' apres 1a definition de b on a

Li=l
T.1. JdZ I 1\-
A
••
...
J'
dzn

d f' , +
y
 - 136 -

T' e Bn,' (J\.') done

2
b(f) Qbb(f')
yy
,+ f::.l
i=l oi'i
T.
1
+..,.:.;,:1 dZIJ\•••
"'... J u

,.J
avec ..., , NT'
T. (nil)
B II
1 fl.

Par suite

b(fll) b(f) b(f').

LEMME 422.

,., N
Soit f e H(!l"Fn), h t: HUl)

Designons encore par h la restriction de h a It . Alors

b( h f ) = h b(f) •

Demonstration.

Soit (f , g ) les elements d' un processus de WElL partant de f et

p p
aboutissant a t. (f) • Pour voir que (h f , h g)
p p
sont les elements d 'un

processus de WElL partant de h f et aboutissant a h il faut veri-

fier que :
 - 137 -

ce qui est evident.

La verification de ce que La mUltiplication par h commute avec.s et e est lais-

see au leeteur (pour e on remarque que

f
-)
(h(x)T) ..
On demontrerait de mame que si P(Dx ) est un operateur differentiel,
. P(Dz ) son

complexifie. on a :

b(P(D )f) .. P(D) b(f)

z x

Done D ) est un operateur differentiel dont les coefficients se pro lon-

x
tV
gent en fonctions holomorphes sur 11:

b(P(z, D )f) .. P(x, D ) b(f)

z x

LEMME 423.

,,;
Supposons que.n. soit un tube convexe •.''"1. = fRn)( i '-Q

• Alors

u JI b(f)

«u "f)(z) = <u ' f(z - t » . Si

u.
t
'"
fEH(lt#Jl.), '" n » •
f6H(no/'

Demonstration.

La encore nous montrerons seulement que ull commute avec A•

Soit les elements processus de WElL issu de f. 11 faut

verifier que
-d (u If i ) .. u *:
P P
 - 138 -

rJ tV
La premiere egalite est evidente et la seconde resulte de ce que si fi
l
c..n2 sont

deux tubes

.a l
rJ
.. n
R 1- iW
I
-v
n 2. lRD. x i (A,) 2

wI c (..02

et si ""
he H(.!l.2) ue.O(' (R
n)
on a

(u • h) I .0.
""
1
.. u it (h
N
n I)

puisque alors :

(u 'II g».1. ••• 1.. + I --

o p
't:..
3-1
(-I)
3
(u • g) i ••• t .... •
o J 1.p+ 1
Jl.. . •
1.o····1.p+1

n •
.. u" [
.
j;r
(-IY.
0
A
... 1..... 1. +1
J p
•

]I i
p+1

I ,
THEOREME 421 ..

n
.n.- n ()
tV N n
a) Soit it un ouvert d'holomorphie de G: • IR •

L' application
,.J
b: -+ B(SL)

i
> I.
,.J
est surjective et son noyau est H(it ) si n H(n) si n .. I •
i
n
b) Soit u &<K (lR ) • Posons

'"'( z )
U ) (u
£1.11 t

Alors """ n n
ueH(G: '" R) et
b(U') = u,
N
c) .§Qll gecX( 0.) 11 existe un ouvert d 'holomorphie !l tel que g !!.

'Prolonge a HUt) &.0. () Rn .. n.

"'" ,y
 - 139 -

Soit alors

au E - ( EI _ .... en) ci • ! I,!! g e . de H(.n.#

la fonctJ.on '" n) qui
i1J ,..,
0 tout•• les composantes co'linexes de Jl",.n. sauf .nEo ou elle est egale

Posons

Alors

b(g

DEmonstra.tion.

a) a it' dimontri aa paragraphe 2 a) •

b) D'apres le lemme 423 il suffit de demontrer que

b(----
2 z
•
1 n
et cotnme

z
n
• •••• CD
z
n

il suffit d'apres Ie lemme 421 de dimontrer ce resultat pour n· I. mais comme

z
est localement sommable dansm2 • z
se prolonge en distribution sur m2 et
on a (corollaire du theoreme A 31)
- -I
(2iTr
-II
i'oil b( Un T) x
•

c) D'apres le lemme 422 il suffit de demontrer ce resultat pour g • I mais

 - 140 -

alors

Oll 1 6 est Ia fonction caracteristique du demi-plan superieur ou inferieur

dans (£ suivant que e= + ou S = - I .

D'apres Ie lemme 411 il suffit de verifier que (dans

Si y E designe La fonction caracteristique de La demi-droite positive ou

negative suivant que e= + ou 6 = - I. on a

a
02
1 t. =
al- l
:x
<8>ye

e.2:.2 1 /I .1.. y
x Oy

ei:.2 1
x Illi

c) Representation des fonc t ionnelle s analytiques.

n
Soit K un compact de t de Ia forme

K = K ••• K
I)( n
Comme K admet un systeme fondamental de voisinages d'holomorphie.

i ,.. 0

D'apres Ie theoreme 411 il existe un isomorphisme

Soit.a. un ouvert d'holomorphie contenant K et posons :

Jl i = n n t. Z EHC •
n
zi f'K- i }
Les (.Q.)n forment un recouvrement acycl ique 1k de Q - K •
1. i=1
 - 141 -

Posons

Sl.
i
- n n, j;&i
l.

.fi# K- (\ n

l.-I
fl l..
n .
Soit Li H{1l.i) l' image clans H{.f).f" K) de IT
i-I
H{ .o.l.) par It application

J.

ou f
l.
designe 1a restriction de f.
l.
an#- K •

On,peut definir comme au paragraphe 2a des applications

et poser

I \
THEOREME 422.

a) L'application

b: H{Il.# K) H' (K)

est surjective et son noyau est 't:.

i-I
H{Sti) si n >I , HUt.) si n - I .

b) Soit ue H' (K). Posons :

,.;
u(z) - (
I
2fTT)
n
< "s ,
alors E H{n # K) et
rJ.
b(u) =u •

c) Soit feH(fi# K), g6H(K) •

soit w = "\ )( ••• -f,. t.O un ouvert eontenant K avec

n
OJ c. Jl , gClH{W) •
 - 142 -

Soit r i (L .. 1 ••• n) des contours reguliers contenus dans Wi entourant une

fois K. et oriente dans le sens usuel. On a :

J;;.s"
-- 1.

<b(f). • >: (-0"

Demonstration.

a) et b) se demontrent comme le theoreme 421 en modifiant legerement les

lemmes 421 et 423.

fez) g(z) dz

ne depend pas des contours choisis et definit une application lineaire

b': H(Sl.# K) H'(K)

nulle sur L i
H(n
i).

Il suffit donc d'apres a) et b) de verifier que si ueH'(K) on a

.. U

Mais :

(_On
(.In)" f .. f <"::;.
I
z-}
> g(z) dz

!r
1"'1 r'n

- (u}, ( 2ilT) dz>" <u , g>

rt
(Pour voir que le produit scalaire par u commute avec l'integrale on peut repre-
senter u par une mesure a support assez voisin de K).

d) Exemple et remarque.

,y 2 2
Soit n .. 2, Sl. .. G: , It .. R •
 - 143 -

Disignons par coi( i • I. 2. 3. 4) les demi-espaces YI > O. Y2 >O. YI <0

Y2 (0 et par GO. • les rlgions
1.J
GO. • •
1.J
w.1 n eo.J
Soit 16 le recouvrement

,..,
B(.n.* n i est l' ensemble des quadruplets

oil f . • 6 H(tA:I •• )
1,J 1.J

2. 3 I, 2

3, 4

4. I

/
R

Dire que b(f) • 0 signifie qu'il existe des fonctions

f. E H( c.o.) i · I. 2, 3. 4
1 1
 - 144 -

avec

f I, 2 £) + f 2

f 2, 3 f
2 + f3

f 3, 4 f + f
3 4

f 4, ) f 4 + f)

Signalons que l'on peut recouvrire - Rn par n +) demi-espaces ouverts, ce

qui pennet de representer les hyperfonctions sur Rn par un systeme de n + 1 fonc-

tions holomorphes.

Ce nombre est Ie nombre minimum de fonctions necessaires pour representer 1a masse

de Dirac a l'origine (28, p. 301).

§ 3. - Representation des distributions (28).

.n.
,.J

Nous conservons les notations du paragraphe 2. est un ouvert d 'holo-

n
morphie qui rencontre R suivant !l .
,.J

Soh f E H(fL# fl.), Cf e 1) em

+ ) , II EII=
On pose :

Cf ) = L f(x + i I; y) <P(x)dx.

Cette integrale est definie pour Iyl assez petit.

Supposons que C;(f, <f) ait une limite C 6(f, <p) quand y

tend vers 0 "par valeurs positives" (Le. : Yi >0 i = 1 •••• n) .

11 resulte du theoreme de Banach-Steinhaus qu'il existera une distribution

T E
E
£J ' (JU telle que

C
s ce, <f) .
 - 145 -

On designe par
'"
H(n.#Jt, h')

Ie scus-e space de H(.n.",.n.) des f tels que C;(f, ep) ait une limite VepEiJ (1), 'rI&.
On pose alors
b' (f)

Soit maintenant H(.Q# n ,f),) (resp, H(JL#Jt, Co» Le sous -espace de H(Jl#Jl)
,..,
des fonctions dont la restriction a chaque composante connexe prolonge

en distribution (resp. en fonction continue jusqu'au bord) au voisinage de st.

On a evidemment :
,.., ,..,
H(.!l.#fi, CO) C H(Sl#Jl, b" )

LEMME 431.

,v
Soit f eH(Jl# n , CO).

Alors b(f) e CO (fi) et

b(f) b'(f).

Demonstration.

SOit.Q+=n.nr l >0, ... Yn>O}'

On peut pour simplifier supposer que fest nulle sur toutes les composantes con-
rJ ...... +
nexes de.n # n sauf n .
f = (f+ , ° ..., 0) •
N ......

Soit 1 O. 0 ..... 0) 6.H(fi# Jt)

La fonction caraccerLsr Ique de Cy > ot 1

\ i j' Xi
celIe de = OJ dans l&.

D' apres 1a demonstration du 1emme 421 i l existe un processus de WElL (l , 1')

P P
partant de 1 aboutissant a
 - 146 -

ti)n-I[I.('
'1 x
I YI
"'1
...
x2
• •• e Ix
n-r l
('
et\) v e I +J -
zn dZ I j\ •••
n
-
I\dz _I e.BO' n-I..-I
(,Cl-.!2.)
o1 n- 1
et tel que les I et I' soient eombinaisons lineaires de produits tenaoriels
p p
de

et

On peut done poser

f .. f,. I g .. f . I'
P P p p

Les (f , g ) sont les elements d'un processus de WElL issu de fear

p p

et

d g .. f resulte de
P P

d'i f
• I
xI
eS y. ...J A d'i .. -] • 0

L[f
1

dZ i
1+
z,
1
4P ] ...] -[t f ••• & 1
xi
.06
Yi
... ] clz.
1
A •••

Done

f( " )n-I [r I Q'U

XI YI
. . . . '1)c
Yn-I
ClP I + ] dZ
zn
- f\ .... l\dz
I
-
n_ 1

sera un representant de dans BO ,n-I (n.- ft).

a.n. et
,.J
Cet element est naturellement prolongeable si 1 'on applique d on trouve

(i)n f
2
[I xI ClP . . . . . £ynJ dZ I A .... A dZn .. 4)n f(x). y dZ f\
1

Done b(f) - fIn.. b(f).

 - 147 -

Tdom 431 •

.(In a :
<oJ N
H(n.* 11 • 1)1) - H(n.*.n.. b')

!! ftaH(..n.;t.n..
.-oJ
gJI). \.J iii.
vx e.)r. 3 CO
--.J
voisinage de x rJ 3 pEiN.
n
,.,J
8 E: H( CA) leo, CO) avec:

nPz 8 - f.

Nous ne diilllontrerons pas ce theoreme (28).

Tdodlm 432.

N
Soit f6H(.n.*.n. b') •

Alors b(f).i)' U'l.) et

b(f) - b ' (f)

<b(f). Cf' >-

oil

IMiaonatration.

11 liuffit de dem.ontrer que, tout point x de.n. a un voisinage CO tel que

b(f \ *' w )ei>' (00)

b(f \ Uj '" co) - b' (f I "' GO)

Soit alors g tliH(co*cn, CO) at pENn. g - f •

Un tel 8 existe pour suffisam&ent petit le theoreme 431. le

 - 148 -

1emme 431 on a

b (g) = b' (g) •

Le theoreme en resu1te car

b(f) = b(DPz g) = DxP b(g)

et b' (DP g) DP b' (g)

z :It

car

( D;
)n -
g(x + iy) ep (x) dx

g(x + iy) Cf(x) dx

(-J)P ( g(x+ iy) cp(x) dx

Jo.
§ 4. - Resu1tats divers.

I •
a) EquatLons de convolution.

TuloRtME 441.

v ayant un support ponctue1. A10rs

Demonstration.

D'apres 1e theoreme 421 i1 existe un isomorphisme b

n n
H(c; if:: R.) --;:---+ B(lRn)
LH«c;n)1) b
i
qui commute avec 1a convolution. Comme o:n fI: (tn est reunion disjointe de bube s con-

vexes, le theoreme 441 resulte du theoreme A 41.

 - 149 -

COROLLAIRE.

Soit u e ott (lR

u).
(J(u) [0 J.
n
Alars pour tout ouvert fl L R

u • B(fi) • B(St) •

b) Hyperfonctions definiea sur un ensemble analytique dffini par une equa-

tion.

n•
Soit.Qun ouvert connexe delR f£O(.(n) (f' 0) et B le faisceau
f

o -+Bf ---?- B -+ B --+ 0

f
-I
ce faisceau est coneentre sur l'ensemble f (0) et est flasque d'apres Ie theoreme

332.
N n
Soit .n. un ouvert de C tel que f se prolonge a H(J)..) et tel que .n
rJ
() 11
n
-.n.

'TuloROO 442.

rJ
Les groupes HP (Jl.. (} If/J) sont D.ula pour P 'i n - 1 et on a un isomorphisme
.n.
(n. B/fl}) -.J Bf(.!l)

On a La suite exacte de faisceaux surSl.: '"'

d'ou 1.1. suite exacte :

 - 150 -

D'apres Ie theoreme 331 on a la suite exacte :

o --rBf(lt) -+B(n) -+0

f

Le theoreme 442 resulte alors de Ia comparaison de ces deux suites compte-tenu de

I'isomorphisme de SATO

&) B(fl.)

qui commute avec f.

Le theoreme 442 pourrait se generaliser (20) en des 6Mmodules

"reguliers" •

c) Theoreme du Edge of the Wedge.

THEolillME 443.

e'', .n. n
N IV
Soit.fl. un ouvert d' holomorphie de IRn = ll. Soi t

Suppo'sous que

b(f) =0

Alora i l exi:l!lte une fonction holomorphe h au voisinage de n qui coIncide avec

+ n+1 -
f dans n et avec (-I) f nN_
Nous ne donnerons la demonstration de ce theoreme que pour n = 2 •

COROLLAIRE.

Soit avec les notations du theoreme 443. f+ e:HCn.+) et f 6: H(jl-) •

 - 151 -

Suppo sons que

V<f 9J (!U
E: l' integrale

+ iy) : '-(x - iy'» 'f(x)dx

tende vers 0 quand y s' valeurs positives

tendent vers O ....p_a_r_-'-....;;.._...... _ (i,e : y.,
1

Yi >0 i = I •••• n). Alors i1 ex:iste une fonction h holomorphe au voisinage

+ N+ _
de n, qui coincide avec f 1l. f L

Demonstration du corollaire.
N
Soit f6H(Sl#.!l.) definie par

f = (f+ , 0 0, (_l)n+} f , 0 ... 0)

D'apres Ie theorime 432 on a

b(f) = 0
On applique alars Ie theoreme 443.
Demonstration du theoreme pour n .. 2 •

R.eprenons les notations du § 2. d) (Exemple et remarques).

II existe des fonctions holomorphes

f
i e H( Wi () n.)
-'
avec
+
f f} + f 2

0" f2 + f
3

f = +

o .. +

Soit hIla fonction holomorphe dans (wI U (..1,;14) (\ ""

fl. qui prolonge f} et -f et
4
celIe qui prolonge -f et f3
2

D'apres Le "theoreme des polydisques" (19, theoreme 246) h} et h se prolongent

2
 - 152 -

en fonctions holomorphes au voisinage deJL, d'ou le en posant dans

ce voisinage

h = h
1

COM MEN T A IRE S

Le resultat central de ce chapitre et le premier dans la theorie , le

theoreme 412 , est du a SATO (32).

Notre demonstration du theoreme 41] est grace au theoreme ]42 (c'ast pourquoi

nous avons prefere donner au chapitre I une demonstration directe de ce thloreme)

plus simple que celle de MARTINEAU (27) qui utilise la resolution de DOLBEAULT

de et le corollaire 2 du theoreme B 35. La methode de demonstration de ce theore-

me est due a SERRE (38) •

Le recouvrement du paragraphe 2 est particulierement commode. 11 a ete introduit

par SATO et a aussi ete etudie par HARVEY (]7).

Dans (28) (tf aussi (30» MARTINEAU etudie la representation des distributions

pour des recouvrements generaux. Les resultats des paragraphes 3 et 4 c sont

des cas particuliers de cet article.

Le theoreme 441 est aussi dfi a MARTINEAU.

 BIB L lOG RAP HIE

BENGEL (G.). - Das Weylche Lemma in der Theorie der Hyperfunktionen. Math.
Zeit. t. 96, p, 373-392, ·1967.

2 BOMAN (J.). - On the intersection of classes of infinitely differentiable

functions. Arkiv :tor Mat. B 5 4220, p. 301-309, 1963.

3 BOuRBAKI (N.). - Espaces vectoriels topologiques. Hermann, Paris, 1955.

4 BOUTET de HONVEL (L.) et KREE (P.). - Pseudo-differential operators and

Gevrey elasses • Ann. lnst. Fourier, t. 17, p. 295-323, 1967.

5 BREDON (G.-E.). - Sheaf theory. Mac Graw Hill, N.Y., 1967.

6 CARTAN (H.). - Varietes analytiques reelles et varietes analytiques complexes.

Bull. Soc. Math. France, t. 85, p. 77-100, 1957.

7 CHOU (C.-C.). - Probleme de regularite universelle. Comptes-rendus Acad. Sci.

260, Serie A, p. 4397-4399, 1965.

8 de WILDE (M.). - Theoreme du graphe ferme et espaces a reseaux

Bull. Hath. Soc. Sci. Roumanie, e, II, p, 225-238,1968.

9 EHRENPRElS (L.). - Solution of some problems of division. Amer. Journ. of

Maths. t. 82. p. 1960.

 - 154 -

10 EHRENPREIS (L.). - A fundamental principle for systems of linear differential

equations with constant coefficients and some of its application. Proc. In-

tern Symp. on linear spaces, p. 161-174, Jerusalem, 1961

11 GODEMENT (R.). - Theorie des faisceaux. Hermann, Paris, 1964

12 GRAUERT (H.). - On Levi's problem and the embedding of real analytic manifolds.

Ann. of Math , Serie 2, t. 68, p. 460-472, 1958.

13 GROTHENDIECK (A.). - Espaces vectoriels topologiques. Soc. Math. Sao Paulo,

1964.

14 GROTHENDIECK (A.). - Cohomologie locale. necture Notes in Math. 41, Springer,

1967.

15 GROTHENDIECK (A.). - Sur les espaces de solutions d'une classe generale d'equa-

tions aux derivees partielles. J. Analyse Math. 2, p. 243-280, 1952-1953.

16 GUNNING (R.-C.) et ROSSI (H.). - Analytic functions of several complex varia-

abIes. Prentice Hall, 1965.

17 HARVEY (R.). - Hyperfunctions and partial differential operators. Thesis.

Stanford 1966.

18 HORMANDER (L.). - Linear partial differential operators. Springer Verlag,

1963.
 - 155 -

19 HORMANDER (L.). - Introduction to complex analysis in several variables.

Van Norstrand. 1966.

20 KANTOR (J.-M.). - Hyperfonctions coherentes. C.R.Acad.Sci. 18, Serie A. t. 269.

p, 18-20, 1969.

21 KOMATSU (H.). - Resolutions by hyperfunctions of sheaves of solutions of dif-

ferential equations with constant coefficients. Math. Annalen. t. 176.

p, 77-86. 1968.

22 LIONS (J.-L.) et MAGENES (E.). - Problemes aux limites non homogenes et appli-

cations. T. 3 (a paraitre).

23 MALGRANGE (B.). - Existence et approximation des solutions des equations aux

derivees partielles et des equations de convolution. Ann. Inst. Fourier.

t. 6, p. 271-355. 1955-1956.

24 MALGRABGE (B.). - Sur les systemes differentiels a coefficients constants.

Coll. C.N.R.S., Paris, p. 113-122. 1963.

25 MALGRANGE (B.). - Faisceaux sur des varietes analytiques reelles. Bull. Soc.

Math. France. t. 85. p. 231-237. 1957.

26 MARTINEAU (A.). - Sur les fonctionnelles analytiques et la t ransformee de

Fourier-Borel. Journ. Anal. Math. Jerusalem. t. 11. p. 1-164, 1963.

 - 156 -

27 MARTINEAU (A.). - Les hyperfonctions de M. SATO. Sem. Bourbaki, 13e annee,

n" 214, 1960-1961.

28 MARTINEAU (A.). - Distributions et valeurs au bord des fonctions holomor-

phes. Proc. of the Intern. Summer Institute Lisbon, 1964.

29 MARTINEAU (A.). - Equations differentielles d'ordre infini. Bull. Soc. Math.

France, t , 95, p , 109-154, 1967.

30 MARTINEAU (A.). - Theoremes sur le prolongement analytique du type "Edge of

the wedge". Sem. Bourbaki, 20e annee , 4340, 1967-1968.

31 ROUMIEU (C.). - Sur quelques extensions de la notion de distribution.

Ann. Sci. Ec. Norm. Sup., t. 77, p. 41-121, 1960.

32 SATO (M.). - Theory of hyperfunctions I et II. Journ. Fac. Sci. univ.

Tokyo, t. 8, p. 139-193 et p. 3&7-437, 1969-1960.

33 SCHAPIRA (P.). - Sur les ultradistributions • Ann. Sci. Ec. Norm. Sup.

5e serie, t , 1, Fasc. 3, p , 397-415, 1968.

34 SCHAPIRA (P.). - Solutions hyperfonctions des equations aux derivees partiel-

les du premier ordre. A paraitre au Bull. Soc. Math. France, 1969.

35 SCHAPIRA (P.). - Une equation aux derivees partielles sous solutions dans

l'espace des hyperfonctions. C.R. lead. Sci. 265, Serie A" p , 665-667,

1967.
 - 157 -

36 SCHAPlRA (P.). - Probleme de Dirichlet et solutions hyperfonctions des

elliptiques. Bolletino della Unione Mat. Ital.

4. p. 367-372. Juin 1969.

37 SCHWARTZ (t.). - Th'orie des distributions. T. 1 et 2. Hermann. 1950-1951.

38 SElBE (J.-P.). - Un de Comm.. Math. Hel • t. 29. p, 9-26.

1955.

39 SWANN (R.-G.). - The theory of sheaves Univ. of Chicago Press. 1964.

O/fsetdruck: Julius Beltz. WeinheimlBergstr.