C h a p i t r e VI

Autres exemples d ' o p 6 r a t e u r s i n t ~ g r a u x s i n g u l i e r s e ~ t e s t i m a t i q n dans L2(G)

§ I. D~composition presque o r t h o g o n a l e d ' o p ~ r a t e u r s

L ' 6 t u d e des o p ~ r a t e u r s g ~ n ~ r a l i s 6 s de c o n v o l u t i o n L, montre q u ' u n t e l o l ~ r a t e u r

est born~ sur L2(G) si et seulement si

(1.,> sup tl£(~>ll < ~-

Le l e c t e u r s a l t que l a c o n d i t i o n Bur L(~) p r o v i e n t de l a d~composition speotrale

(donc o r t h o g o n a l e ) de l ' o p 6 r a t e u r L. Le leone s u i v a n t permet de g 6 n 6 r a l i s e r c e t t e

situation en u t i l i s a n t des d~compositions de L non n@cessairement o r t h o g o n a l e s e t en

ne f a i s a n t pas usage de l a trausform~e de F o u r i e r de L.

N
Le..-e ( 1 . 2 ) . S o i t T = ~ . Ti o~ les Ti s o n t des o p ~ r a t e u r s l i n ~ a i r e s h o r n , s
i=1
d_~e l ' e s p a c e de H i l b e r t H1 dans l ' e s p a c e H2. Soit
N .1 N I
c1 = ~p ~. IITiT+ll + c2 = sut+E tlT.~ T+II~
j i=+ j i=;

st.ors IITIt < o,~"~+~2 •

N
Exemple. Soit T = ~ ~.P. o~ P. est une suite de projections orthogonales,
1 1 1
i=1

P i ~ -- +ijPi ' alors cI -- 02 = supl~,jl + ilTll.

,3

D+monstration du l e m e . On ne r e s t r e i n t pas l a g + n + r a l i t + en supposant que

]I~ilI,<I. Soit A -- T'T, c'est un op+rateur ~uto~joint s ~ HI et

1 1
I]TII = ~ p < ~ f , ~f>~ ~ llT*TI]~ •
ll+li<'
 146

I1 suffi% donc de montrer que

IIAII~ clc 2
2n 1/2 n
A 4temt autoadjoin%, une r4p4%ition de l'ar&.~men% pr4c4dent donne IIA~I,~ ]lA il .
I1 s u f f i r a d'es%imer llAmll.
,',"--T":. 3". 3. ,*. 3 . . . . 3" 3.
• . z1
il 'Jl ''''Xm'3m 31 :z2 3 2 z
m 3m
la norme du terme g~n6ral es% major~e par

m*n(ii~il~jlll 113~/j211 ... 113, ~jmll , 113j13,all .--I1~ m

11)
1

~,Til
* Tjl II llTj ITi211
* I,Ti2Tj
* 211
e,e
IIT ira_lTim
* 'I ,,
"Ti ?jmJ~ ~
(nous avons utilis~ l'in~gali%~ min(a,b) ~ vf~).

En somman% d ' a b o r d par r a p p o r t h il 'Jl' i2'J2' jusqu'h ira-1 'Jm-1 ' i m ' nous

m m-1
obtenons une m a j o r a t i o n de l a somme par c2 cI ; i l r e s t e encore h sommer en Jm'

ce qui nous fourni% l'estimation

En prenan% m = 2n et en fv/san% %endre n vers i 'infini, on obtien%

II~l ~ ClC 2"

Remarque. En g ~ n 4 r a l , l e s o p 4 r a t e u r s que nous r e n c o n t r o n s s o n t de l a forme

GO

T = ~-~ 3i, la somme ~tant convergen%e sur un sous-ensemble dense de H1 ~ l~n prenan%
i=1
1 1
00 -- O0

c, , °2 o ~ p E 113; 3jIl ~
j i=1 j i=I
N
on obtien% apr~s avoir approxim~ T par E T i que
i=1

11311~ c ~ .
Une telle repr4sentation d'un op4rateur T est appel6e d~composition presque

orthogonale°
 147

2. Estimations dans L2(G) ; qp4rateurs de Paley-Littlewood

Nous a v o n s vu (th4or~me (3.1), chapitre I I I ) que tout o p 6 r a t e u r de c o n v o l u t i o n

g4n4ralis6 M bern4 s~r L 2 tel que

es% b o r n 6 s u r Lp .

Nous d4montrerons A p r 4 s e n t q u e , sous l ' h y p o t h ~ s e que m est centrale, si M~r

appartient ~ L2(G) pour t o u t r et satisfait la condition (2.1), alors M op~re

c o n t i n d m e n t de L2(G) dans L2(G) e% s a norme d ' o p 4 r a t e u r d4pend s e u l e m e n t de l a

constante C.

Nous avons vu au c o u r s de l a d 4 m o n s t r a t i o n du th4or~me (3.1) du c h a p i t r e I I I que

l'op4rateur M peut se repr4senter par

N N
M(f)=-iim E~i,~= ii. E Ti(f),
N --~co i=O N-+co i=O

avec ai = M(Yi) * (?i + Yi+1) (ai = a2_.~ o

Montrons que cette d 6 c o m p o s i t i o n de M est presque orthogonale.

Soit a i ( x ) = ?ii(x - 1 ) ( c ' e s t l e noyau de c o n v o l u t i o n associ6 ~ l ' a d j o i n t de Ti).

A/ors . . w *
" 3 = a.I , a.
T.T.f ~ , f et TiT f f =. a.i j, a.3 *

La no=e d'op~rateur de ~i j ~st major~ par ilai * ~jlJI.

D'apr~s le le,~e (3.4) du chapitre III, on peut estimer llar , a:lll en utilisant

successivement les propri6t4s (iiJ), (ii), (i).

che~lg~an% l e r S l e de s et r On obtien% I1% * a*ll 1 • c ( r; ) 6 -

 148

Un c a l c u l semblable donne

liar*, as]] 1 ~ c m i n ( ( r ) 6 (s)6).

En posant r = 2- i , s = 2- j on d 4 d u i t

*
tjT~ 'ill ,< c 2-1i-Jl~,ll%,j)l,<c 2-1i-jl6 •

D'oh
1 1
* ~ c *~ o
(2°2) E IITiTj[I ~ ~ , T~. IITiTjll -~ ~
i i

Comme c o r o l l a i r e de l a d6monstration du th4or~me ( 3 . 1 ) , c h a p i t r e I l l e t du lemme

(1.2) on o b t i e n t l e th4or~me g4n4ral s u i v a n t :

N
Th6or~me (2.3). Soit Tf = lim ~ a~ , f oh les fonctions a. satisfont aux
1
N - + o o i=O

conditions du lemme (3.4), chapitre IIl pour r = 2-i. A/ors

))'fl)p ,< Cp]MJp ~u, , < p < oo

e~t T es% d_.%e¢,ype f a i b l e 1-1.

Consid4rons l e s f o n c t i o n s de Rademacher r n ( t ) = s i g n ( s i n ( 2 n+l Z t ) ) . Ces f o n c t i o n s

forment un systbme orthonormal sur l'intervalle (0,1) ayant la propri6t6 suivante :

pour %out p>O i i e x i s t e des c o n s t a n t e s AD,BD % e l l e s que

1 1 1
Ap(Emanl2) ~ • (Jl° I E anrn(t)IPdt) ~ ~ Bp(Elanl2) ~ •

Les approximations de l'identit6 que nous avons consid6r4es v4rifient les hyl~th~ses

(i), ( i i ) du lemme ( 3 . 4 ) , c h a p i t r e I I I ; a i n s i en p r e n a u t
N
~%(f) = ~ " ri(t) 'i * f '
i=0
nous obtenons

ind6pendamment de t.

En int6grant pax rapport A t et en utilisant la propri4t6 cit6e plus haut des

 149

fonc%ions de Rademacher, on ob%ient

Corollaire (2.4)° Soi% ~s une approxima%ion d_.eel'iden%i%6 v6rifian% les hypo%h~ses

1, 4, 5 du § 3 , c h a p i t r e I I I , a l o r s
1
IIcY~ I~i * ~15~I1~, ,< %,ll~llp, l<p<oo,
i=O

o~ ~i = ~2--i - ~ - i - 1 "

Remarque. Si S~s ~s = Ts satisfai% aux hypotheses 1, 4, 5, alors, il exis%e une

version "eon%inue" du corollaire, h savoir

I

I1(~o I% ~12 aS)~llv-

. "p, c nfllp , < p < oo.

Cet%e in6gali%4 slob%ien% ~ partir de l a pr6c~len%e apr~s a v o i r remarqu4 que

l'~lit6 (2.4) es% valable u.l~fox~men¢ en Z en prenan% ,~ = 8(~_i¢ - ~_(i_i)¢)

e% en approximan% l'in%4grale par les sommes de Riemann correspondantes.

I ~ fonc%ion 1

,of) = c~o ,1~ ~, fl2a,) ~

*

s'a~lle l a fonc%ion de Pale~-Li%tlewood associ4e ~ l ' a p p r o x ~ a t i o n de l'iden%i%~ %"

§ ). lu%4grale de Cauchy e t de Poisson sur SU(2)

Nous avons d4fini l'espace ~(~J(2)) (volt lemme (2.3), ch. V) comme l'espace des

combine/sons l i n 6 a i r e s des fonctions

-~2 Zl

Y(~)l(e~): zI z2

Notre but es% dV4tudier l ' o p 6 r a t e u r de convolution g4n4ralis4 ~ gauche d 4 f i n i par

la projection K de L2 darts H2. Ce% op4rateur adme% l e d6veloppemen%

2~ (2e+1)%~(u)
e% peu% 8 i r e iuterpre¢~ comme
 150

K(f) = lim K * f
r
r--~l

avec %(") = E (2e., 1~~e (u)r2e= E~ (2e+l)(-iz2r)2e

2~=0 2E=O
1 ueSU(2).
(1+iz2r)2
.=_i(-w2 wl) i
Si
w, w2 T;T ~ sv(2) .

K (u-lv) = 1 o~z r = Iwl < 1 e% w.z = Wl~ 1 + w2; 2

r (I - w.z) 2 "

L' op~rateur de projection S' dcrit

(3.1) (Kf)(~) = lim ~j f(z) d~(z) -- lira r k (u-lv)f(u)du.

Iwl--~, zl=l (,_.,.~)2 , -,, ~,~(2),
Le membre de gauche reprdsente l'extension holomorphe ~ l'int6rieur de la boule

uni%~ d'tme fonction de H2(SU(2)).

Pour ~ t u d i e r l ' o p 6 r a t e u r K i n t r o d u i s o n s sur SU(2) la distance invariante

gauche
1

e(.,w) = I, - w - I + = P(u-iv) avec p(v) = I1 + iw212 = Jl - £;2]2 , u,,ESU(2).

La seule propri6t6 non %riviale ~ verifier es%

p(u-lv) (p(u) + p(v).

HaiS
p(u-lv) 2 = [1 - Wl~ 1 - w2;21 ~ [w111~11 + 1' - w2;2l

I~,[Iz, I + I1 - *;21 + 1~211' -~21 ~ I-,11~,1 + P2(u) + e2(~).

IW112 = (1-1w21)(l+lw21) ~ 2(1 - Iw21) ~ 21~ - ~21 = 2P2") -

D'oh

Iw~ll'.ll ~ 2p(u)p(v).
Sol%

il existe alors deux constantes A ,B %elles que

 151

~4 1%(.){ ~4.
1
En e f f e t , soit ~2 = x3 + ~4 I%1 <
2 2 2
I, ~ 1 ~ = ~, ~,~ ÷ x~ = ~ ÷ ~' +, ~x , ~÷x ~

dto~ 1 1 1

~(Ix~l~,lx~l,l~l)> e(u) = I1 - ~1 -~ ~ 1 m=(l~l ~, I~11, 1~21)"

La mesure de S (e) ~ t a n t comparable ~ c e l l e de l a p r o j e c t i o n sur l ' e s p a c e t a n g e n t

en e, on o b t i e n t l e s i n ~ g a l i t ~ s cherch~es (SU(2) muni de p e s t un espace de n a t u r e

homog~ne).
Th6or~me ( 3 . 2 ) . Les o p 6 r a t e u r s

(Kr f)(-)~ ~(~-l-)r(~)du

satisfont
lIK,(f)l]p < ~llflJp 1 < p <1
e t s o n t uniform~ment de t y p e f a i b l e 1-1.

])~onstration. ])'apr~s l e th~or~me ( 2 . 4 ) , c h a p i t r e I I I ~ i l s u f f i r a de montrer que

j c p ( u ) l K r ( u - l v ) - K r ( V ) l d v ~( c , ind6pendamment de r,
p(v) >

l'in6galit~ I~rfl]2 ~ Ilf112 ~t~t ~aente.

Mais pour u,vESU(2), on a

IKr(U-1-) - K(v)l = [a~ - b~l ~ ~ l~12 i~12

avec a = t - (WlZ 1 - w 2 z 2 ) r , b = 1 + iw2r.

Si on se r e s t r e i n t au cas p(v) > c p ( u ) , on a

1 2,-1
p ( u - l v ) > c' p(u) et lal >~ ~p ~u v) ~ c f 2 ( u ) .

1 p2(v ) ,

et I~bl = ri~lZl + w~2 ÷ £w21< e(u) pc.) + r2(u).

~,o~ IKr(u-lv) - Kr(V)[ ~< C J>(u)p(v) + p 2 ( u )

re(.)
 152

4
Du f a i r q u ' u n e b o u l e de rayon ~ a une mesure de l ' o r d r e de ~ on d 4 d u i t

~ d v ~ C
~(~)~ 6 p ( v ) ' ~ ~"

W. p r e n a n t s u c c e s s i v e m e n t a = 1, 6 = ~(u)C eta = 2, 6 = p(u)C, on o b t i e n t

l'in4gali%4 (].])°

Remarque. Nous pouvons a s s o c i e r A l a d i s t a n c e ~ une a p p r o x i m a t i o n de l ' i d e n t i % 4

naturelle qui joui% relativement ~ elle des propri6%4s 1, 2, 4, 5, § 3 du chapitre llI.

= 1
Soit %(~) O-w") 2 .

Soit f ( z ) E H2(SU(2)) pour tout w fixe Iwl < ~. La f o n c t i o n F(s) = r(s)%(s)

e s t a u s s i darts H2(SU(2)) e% en v e r t u de ( 3 . 1 ) son e x t e n s i o n ~ l ' i n t 4 r i e u r de l a b o u l e

est donn6e par

Prenant
e(%)%(%)

w = w,
_- F(%)

on obtient
---
I~l=l f(Z)kw(~)~Wo(~)d~(z)"

(3.4) f(w) = fflzl=l f(z)P(z)a~(z) ,

kw(
=]kw ( ~ ] ") 2= (1 - iwl52
avee
Pw(') kw( ) Ii
Ce noyau poss~de des p r o p r i 6 t 4 s a n a l o g u e s ~ c e l l e s du noyau de P o i s s o n . La formule

( 3 . 4 ) permet d ' o b t e n i r d e s r 4 s u l t a t s p l u s p r 4 e i s s u r l e comportement v e r s l a f r o n t i ~ r e

d e s f o n c t i o n s holomorphes ( r 4 s u l t a t s qui ne s ' e b t i e n n e n t pas ~ p a r t i r de l a r e p r 6 s e n t a -

t i o n i n t 4 g r a l e ob%enue ~ p a r t i r du noyau de P o i s s o n o r d i n a i r e ) .

4. Commentaires e% r 4 f 4 r e n c e s

Le len~ne (2.1) est da ~ Cotlar [2] qui l'a formul6 pour des op6rateurs T. auto-
i

adjoints qui commutent deux ~ deux. Notre d4monstration, dans le cas g4n6ral, suit, dans
 153

see points essentiels la d6monstration originelle de Cotlar. La version non commutative

du lemme a 6t6 formul4e par Cotlar et, ind6pendamment, par Knapp et Stein [I]. Le fait

clue l'in6galit4 entraine que l'op6rateur est born4 dane L2(G) pout s'interpr4ter comme

une sorte de th4or~me taub6rien : ¢onsid6rons par exemple lecas oh G = TI le groupe

des hombres complexes de module I, e t ~r est le noyau de Poiseon ; la condition (2°I)

est en partioulier v4rifi4e par tout multiplieateur mk tel que

c ~ ( I - r) 2k ~ c ;
%1 < et

le lemme (2.1) permet alors de dire que mk = 0(I), (ce qui est pratiquement l'4nonc4

du th4or~me de Tauber, voir Hardy [I]).

Pour plusieurs variables et surtout lorsque le multiplicateur est matriciel

le r4sultat est plus int6ressant. Le th6or~me (2.3) a 6t4 d6montr4 par Cotlar [2] dans

le cas commutatifp l'utilisation qui en est faite pour obtenir le corollaire (2.4) est

habituelle. II est int4ressant d'observer que, sous les hypotheses que nous avons impos6,

A 1'approximation de l'identi%6, on ne peu% obtenir le (2.4) par la m6thode d'int4grales

singuli~res vectorielles (voir Benedek-Calderon et Panzone ~]).

L'in6galit~ Bpllfllp 6 ng(f)Ilp < Apllfllp , < p (oo

oh g(f) est associ6e an noyau de Poisson a 4t4 obtenue par Stein [23 pour tout groupe

de Lie compact par des m4%hodes diff4rentes. On pout v4rifier que lee noyaux de Poisson

utilis4s par stein v~rifient lee eonditione I-5 (voir N. J. Weiss ~]). tee auteurs

utilisent l'in4galit4 (2.4) comme point de d4part pour le d6veloppement d'une th4orie

analogue ~ eelle du chapitre )o

Lee r6sulta%s du paragraphe ~ 3 sont d~s ~ Koranyi et Vag~qui ont obtenu (3.2)

pour E 2 n _ I ~ Cn. L'interpr4tation sur SU(2) nous fournit un exemple concret d'une
 154

i n ~ g r a l e s i n ~ l i ~ r e pour une d i s ~ u c e diff6ren~e de l a disSance e u c l i d i e n n e de R4.

Le n o y ~ de ~ o i s s o n " d 6 f i n i en (3.4) a ~ d~couYer~ ~ ~ ~ ] e~ adme~ une iut~I~rcL

~a~ion come noyau de Poisson associ~ h ltespace sym~$rique form6 par l a boule u n i ~ dans

C2. Eor~ ~ ] l ' a u ~ i l i s ~ pour o b t e n i r cer~ains ~h~or~mes sur l e Compor~emen~ k l a

fron~i~re des fonc~ions harmoniques.