Teorema de Interpolacao de Marcinkiewicz

Thaysa Fernanda Elias

Orientador: Prof. Dr. Tiago Henrique Picon
Universidade Federal de Sao Carlos
Area: Analise Harmonica

O proposito deste trabalho e demonstrar o Teorema de Interpolacao de Marcinkiewicz.

Como aplicacao deste resultado iremos demonstrar que o operador maximal de Hardy-Littlewood
e forte (p, p) para 1 < p .
Antes de enunciar o teorema faz-se necessario entender alguns conceitos previos.
Fixado x Rn , seja B(x, r) a bola de Rn de centro x e raio r > 0. Denote por |B(x, r)| a
medida de Lebesgue de B(x, r). Dada f L1loc (Rn ), definimos a funcao maximal de Hardy-
Littlewood de f por Z
1
M f (x) = sup |f (y)|dy.
r>0 |B(x, r)| B(x,r)

Alem disso, referir-se-a aplicacao que toma f 7 M f como sendo o operador maximal de
Hardy-Littlewood.
Sejam (X, ) e (Y, ) espacos de medida e considere o operador T : Lp {g : Y
C mensuraveis} com T linear. Dizemos que T e do tipo fraco (p, q) com 1 6 q < quando
c||f ||Lp q
 
({y Y ; |T f (y)| > }) 6

para todo > 0. Dizemos que T e do tipo forte (p, q) se T e limitado de Lp (X, ) em Lq (Y, ),
ou seja, ||T f ||Lq c||f ||Lp . De acordo com as definicoes segue que todo operador do tipo forte
e tambem do tipo fraco. Um exemplo de operador fraco (1, 1) e de tipo forte (, ) e o
operador de maximal de Hardy-Littewood.
Outro fato importante que deve ser recordado sobre teoria da medida e se f e uma funcao
mensuravel de X em C, defini-se sua funcao distribuicao f () em [0, ) como

f () = ({x X; |f (x)| > }).

Se 1 6 p < , pelo Teorema de Fubini, obtem-se

1
 !
Z Z Z |f (x)| Z Z 
||f ||pp = p
|f (x)| dx = p p1
d dx = p p1
dx d.
Rn Rn 0 0 |f (x)|>

Portanto, Z
||f ||pp =p p1 f ()d.
0
Dessa forma, uma funcao em norma Lp pode ser escrita como integral via a funcao distribuicao.
Um operador T : f {g : (X, ) C mensuraveis} e dito ser sublinear quando satisfaz:
(i) |T (f1 + f2 )(x)| 6 |T f1 (x)| + |T f2 (x)|
(ii) |T f (x)| = |||T f (x)|
para todo x X e C.
Vamos agora enunciar o Teorema de Marcinkiewicz. Uma das versoes deste teorema e a
seguinte:

Teorema 1. Dados (X, ) e (Y, ) espacos de medida com 1 6 p0 < p1 6 e T um operador

sublinear de Lp0 (X, ) + Lp1 (X, ) no conjunto das funcoes mensuraveis definidas em Y . Se
T e do tipo fraco (p0 , p0 ) e fraco (p1 , p1 ) entao T e do tipo forte para todo p0 < p < p1 .

Define-se Lp0 + Lp1 como sendo o conjunto das f tais que f = f0 + f1 onde f0 pertence a
Lp0 e f1 pertence a Lp1 . Em linhas gerais, a demonstracao segue inicialmente da decomposicao
de uma funcao f em Lp0 + Lp1 na forma f0 + f1 de modo que pertencam a Lp0 e Lp1 , respecti-
vamente, e reescrever o conjunto {x X; |T f (x)| > } na forma de uniao de dois conjuntos,
sendo eles, {x X; |T f0 | 2 } e {x X; |T f1 | 2 }. Do fato de que T e sublinear, segue que

T f () 6 T f0 ( ) + T f1 ( ).
2 2
Sob a hipotese de que T e do tipo fraco, a norma Lp pode ser vista como integral via uma
funcao distribuicao. Da, conclui-se a demonstracao do Teorema.
Referencias:
[1] J. Duoandikoetxea, Fourier Analysis, Graduate Studies in Mathematics, Vol. 29, AMS,
2000.
[2] J. Garca-Cuerva and J. de Francia, Weighted Norm Inequalities and Related Topics,
North Holland Math. Studies 116, Amsterdam, 1985.

2
 [3] E. Stein, Harmonic Analysis: Real-Variable Methods, Orthogonality and Oscillatory
Integrals, Princeton University Press, New Jersey, 1993.
[4] E. Stein and G. Weiss, Introduction on Fourier Analysis in Euclidian spaces, Princeton
University Press, Princeton, 1971.