Está en la página 1de 148

APUNTES DE ANALISIS

ARMONICO

Irene Drelichman y Ricardo G. Duran


Indice general

Captulo 1. Clase 1 1
1. Algunas nociones historicas 1
2. La ecuacion de la cuerda vibrante 1
3. Metodo de separacion de variables 2
4. Desarrollo en series de Fourier 3
Captulo 2. Clase 2 7
1. La ecuacion del calor 7
2. La convolucion y el nucleo de Dirichlet 8
3. Otros tipos de convergencia 10
Captulo 3. Clase 3 13
1. Convergencia Cesaro y Abel de series de Fourier 13
2. Convergencia Abel para series de Fourier 16
3. Relaci on con el problema de contorno en el disco 18
Captulo 4. Clase 4 19
1. La transformada de Hilbert en el caso periodico 19
2. Teora L2 para series de Fourier 20
3. Teora L2 para la transformada de Hilbert en el caso periodico 23
4. Convergencia en Lp para series de Fourier 23
Captulo 5. Clase 5 25
1. Teora Lp para la transformada de Hilbert en el caso periodico 25
2. El teorema de Marcinkiewicz 26
Captulo 6. Clase 6 31
1. Convergencia en Lp para le serie de Fourier 31
2. La transformada de Hilbert como multiplicador e integral singular 33
Captulo 7. Clase 7 37
1. La transformada de Fourier en R 37
Captulo 8. Clase 8 41
1. La transformada de Fourier en Rn 41
2. La ecuacion del calor en el semiespacio Rn R+ 43
3. Transformada de Fourier en L2 (Rn ) 44
Captulo 9. Clase 9 45
1. La transformada de Fourier en L2 (Rn ) 45
3
4 INDICE GENERAL

2. El espacio S 45
3. El espacio S 0 46
Captulo 10. Clase 10 49
1. Series de Fourier en Rn 49
2. Operadores dados por un multiplicador 49
Captulo 11. Clase 11 53
1. Operadores dados por un multiplicador 53
2. El problema de Dirichlet en el semiplano R R+ 55
Captulo 12. Clase 12 57
1. La transformada de Hilbert en R 57
2. Operadores de convoluci
on con nucleo en S 0 61
Captulo 13. Clase 13 63
1. Operadores de convoluci on con nucleo en S 0 63
2. Ejemplos de integrales singulares 65
Captulo 14. Clase 14 67
1. Operadores integrales singulares 67
Captulo 15. Clase 15 73
1. Otras condiciones para la continuidad de integrales singulares 73
Captulo 16. Clase 16 77
1. Operadores que conmutan con dilataciones (y traslaciones) 79
Captulo 17. Clase 17 81
1. Convergencia puntual de integrales singulares 81
Captulo 18. Clase 18 85
1. Espacios de Hardy (formulaci
on clasica) 86
2. Espacios de Hardy (versi
on moderna) 87
Captulo 19. Clase 19 89
1. El espacio B.M.O. 89
Captulo 20. Clase 20 95
1. Espacios de Hardy 95
2. El espacio H 1 96
Captulo 21. Clase 21 99
1. Descomposici on at
omica 99
Captulo 22. Clase 22 105
1. Dualidad entre H 1 y B.M.O. 105
2. Continuidad de integrales singulares en H 1 (Rn ) 107
Captulo 23. Clase 23 109
1. Pesos Ap 109
INDICE GENERAL 5

2. Condicion necesaria para el tipo debil 109


3. Suficiencia para el tipo debil (1, 1) 111
Captulo 24. Clase 24 115
1. Suficiencia para el tipo debil (p, p), p > 1 115
Captulo 25. Clase 25 119
1. Caracterizacion de pesos A1 119
2. Extrapolacion 120
Captulo 26. Clase 26 123
1. La funcion maximal di
adica 123
2. Acotaciones con pesos para integrales singulares 123
Captulo 27. Clase 27 127
1. Acotaciones con pesos para integrales singulares 127
Captulo 28. Clase 28 131
1. Derivadas en integrales fraccionarias 131
2. Condici on necesaria para la continuidad de la integral fraccionaria 132
Captulo 29. Clase 29 135
1. Continuidad de la integral fraccionaria 135
2. Teoremas de inmersion de Sobolev 136
Captulo 30. Clase 30 139
CAPTULO 1

Clase 1

1. Algunas nociones hist


oricas

En 1807 Fourier escribe su teora sobre la difusion del calor, utilizando los metodos de
las series de funciones trigonometricas que llevan su nombre. Usa que dada una funci on
f definida en un intervalo, digamos por comodidad f : [, ] R (o C), la podemos
pensar como una funci on peri
odica definida en toda la recta y representar como

X
f (x) = (an cos(nx) + bn sin(nx))
n=0

En la epoca de Fourier ni siquiera estaba bien definido que era una funcion, y recien
Dirichlet demostr o tiempo despues que si f es una funcion derivable entonces la serie
de Fourier converge.
Unos 50 a nos antes de que Fourier estudiara la ecuacion del calor, Daniel Bernoulli
haba resuelto con el mismo metodo la ecuacion de la cuerda vibrante, pero sus ideas
no prosperaron porque no estaba claro que funciones podan admitir un desarrollo en
serie de Fourier.
Alrededor de 1920 se prob o que la serie de Fourier converge si f Lp para 1 < p < .
Ya era conocido que existen funciones continuas tales que su serie de Fourier puede no
converger en alg un punto. Veremos que la convergencia en Lp esta relacionada con la
transformada de Hilbert, que es el primer ejemplo de integral singular.
Carleson prob o que basta con f L2 para que la serie de Fourier converja en casi todo
punto.

2. La ecuaci
on de la cuerda vibrante

Supongamos que tenemos una cuerda de longitud L fija en los extremos y queremos estudiar
como vibra si uno la pulsa. Para esto, dado x [0, L], llamamos u(x, t) la posicion del punto
x en tiempo t. Podemos pensar adem as que la cuerda esta compuesta por masas puntuales en
L
puntos xn = nh, donde h = N y n = 0, . . . , N . Si la cuerda es homogenea y tiene densidad de
masa constante por unidad de medida (digamos para fijar ideas que es igual a ), entonces la
masa total es L y la masa puntual en cada xn es NL N
+1 = h N +1 .

Llamemos yn (t) a la posici


on de xn en el instante t, es decir, yn (t) = u(xn , t). Teniendo en cuenta
que la fuerza que act
ua sobre xn depende de xn1 y xn+1 y es proporcional, respectivamente, a
2 1. CLASE 1

yn1 yn yn+1 yn
las diferencias h y h , deducimos que
N
Fn = h yn 00(t)
N +1
N (yn+1 2yn + yn1 )
=
N +1 h
N (u(xn+1 , t) 2u(xn , t) + u(xn1 , t))
=
N +1 h

donde es una constante que depende solo del material de la cuerda.

Pasando al lmite, deducimos la ecuacion de la cuerda vibrante (o ecuacion de ondas en una


variable espacial):
2u 2u
2 (x, t) = 2 (x, t) (1.1)
t x

Ademas de saber que la cuerda esta fija en los extremos, es decir que u(0, t) = u(L, t), necesitamos
conocer los datos iniciales de posici on y velocidad, digamos u(x, 0) = f (x) y u t (x, 0) = g(x).
Con estos datos iniciales la ecuaci
on esta bien planteada y puede resolverse mediante el metodo
de separaci
on de variables, que explicamos a continuacion.

3. M
etodo de separaci
on de variables

Buscamos soluciones de la ecuacion (1.1) de la forma u(x, t) = (x)(t). Por simplicidad, ya


que , 0, supondremos que = 1. Entonces obtenemos
00 (t) 00 (x)
=
(t) (x)
Como la parte derecha de la ecuaci
on no depende de x y la parte izquierda no depende de t,
un C deben verificarse las ecuaciones
deducimos que deben para alg
00 (x) = (x)
00 (t) = (t)

on son de la forma (x) = Ae x + Be x . Como adem
Las soluciones de la primer ecuaci as
tienen que cumplir los datos de borde u(0, t) = u(L, t) = 0, resulta que (0) = (L) = 0, de
donde
e2 L = 1
y, por lo tanto, tenemos una sucesi
on de posibles valores
n2 2
n = (n Z)
L2
a la que corresponde una sucesi on {n } de soluciones linealmente independientes de la ecuaci
on
00 (x) = n (x), que eligiendo adecuadamente las constantes estan dadas por
 n 
n (x) = sin x
L
4. DESARROLLO EN SERIES DE FOURIER 3

Razonando an alogamente para (t) (teniendo en cuenta que en este caso no intervienen las
condiciones de borde), obtenemos
 n   n 
n (t) = c1 sin t + c2 cos t
L L

En conclusion, tenemos una sucesi on de soluciones de la ecuacion de la cuerda vibrante (sin


datos inciales) dada por
 n    n   n 
un (x, t) = n (x)n (t) = sin x c1 sin t + c2 cos t
L L L

Si consideramos la soluci
on

X  n    n   n 
u(x, t) = sin x an sin t + bn cos t
L L L
n=1
e imponemos las condiciones iniciales
u(x, 0) = f (x)
u
(x, 0) = g(x)
t
necesitaramos (operando formalmente con la serie) que se verificaran las igualdades

X  n 
u(x, 0) = an sin x = f (x)
L
n=1

u X n  n 
(x, 0) = bn sin x = g(x)
t L L
n=1

Surge por lo tanto el problema de determinar si para datos iniciales f, g existe una escritura en
serie de senos como la que necesitamos. Como veremos, la respuesta es afirmativa.

4. Desarrollo en series de Fourier

Dada f : [0, ] R, queremos ver si es posible encontrar valores an tales que



X
f (x) = an sin(nx)
n=1

Si suponemos que dichos valores existen, multiplicando la serie por sin(kx), k N e integrando
(operamos formalmente para intercambiar serie e integral)

X
f (x) sin(kx) = an sin(nx) sin(kx)
n=1
Z X Z
f (x) sin(kx) dx = an sin(nx) sin(kx) dx
0 n=1 0
4 1. CLASE 1

Observando que Z 
2 si k = n
sin(nx) sin(kx) dx =
0 0 6 n
si k =
podemos despejar Z
2
ak = f (x) sin(kx) dx
0

on f : [, ] R, le podemos asociar una serie de senos y


Mas en general, dada una funci
cosenos dada por

a0 X
f (x) + (an cos(nx) + bn sin(nx))
2
n=1
y, razonando como antes,
1
Z
an = f (x) cos(nx) dx

1
Z
bn = f (x) sin(nx) dx

Es importante observar que si f L1 [, ], an , bn estan bien definidos. Los llamamos coefi-


cientes de Fourier de f .
Observacio on impar (es decir, f (x) = f (x)), entonces
n 1.1. Notemos que si f es una funci
an = 0 para todo n. Analogamente, si f es una funcion par (es decir, f (x) = f (x)), entonces
bn = 0 para todo n.

En general es mas f
acil trabajar con una serie de exponenciales en lugar de una serie de senos y
cosenos. O sea, dada f : [, ] C le asociamos la serie de Fourier
X
f (x) cn einx
nZ

De manera an aloga al caso anterior, multiplicando por eikx e integrando (siempre de manera
formal), deducimos que
Z
X Z
ikx
f (x)e dx = cn ei(nk)x dx
n=1

Observando que Z 
i(nk)x 2 si k = n
e dx =
0 6 n
si k =
deducimos que Z
1
ck = f (x)eikx dx
2

Notacio on f(k) = ck , por lo que en lo sucesivo escribi-


n 1.2. Es frecuente el uso de la notaci
remos la serie de Fourier asociada a f como f (x) nZ f(n)einx .
P
4. DESARROLLO EN SERIES DE FOURIER 5

Observacio n 1.3. Si f toma valores reales, podemos pasar de la forma exponencial a la trigo-
nometrica observando que en ese caso cn = cn . Entonces
1
X
X
inx
f (x) cn e + c0 + cn einx
n= n=1
X X
= cn einx + c0 + cn einx
n=1 n=1
X
X
= cn einx + c0 + cn einx
n=1 n=1

X
= c0 + cn + cn )cos(nx) + i(cn cn ) sin(nx)]
[(
n=1
por lo que para pasar de una forma a otra basta utilizar las relaciones
an = cn + cn
bn = i(cn cn )
CAPTULO 2

Clase 2

1. La ecuaci
on del calor

Consideramos la ecuaci
on con condiciones iniciales

ut uxx = 0 (x, t) (0, ) (0, T )
u(0, t) = u(, t) = 0 t (0, T )
u(x, 0) = f (x)

que modela c
omo evoluciona la temperatura de una barra sabiendo que los extremos se mantienen
a cero grados y conociendo la temperatura inicial.

Usando el metodo de separaci on de variables, que vimos la clase anterior, podemos obtener
2
la sucesion de soluciones de variables separadas un (x, t) = en t sin(nx) y armar una soluci
on
general de la forma

2
X
u(x, t) = bn en t sin(nx) (2.2)
n=1
que cumple con la condici
on de borde. Para que satisfaga el dato inicial debemos encontrar bn
tales que

X
u(x, 0) = bn sin(nx) = f (x).
n=0
Como ya anticipamos, si f es suficientemente buena (mas adelante especificaremos en que sen-
tido), los coeficientes bn existen y est
an dados por
Z
1
bn = f (x)einx dx.
2

Es interesante notar que este metodo para construir soluciones generaliza los resultados que
conocemos en dimensi on finita. En efecto, supongamos que queremos encontrar y : [0, ] R
solucion del problema
y 0 = Ay, A Rnn .
Si A es diagonalizable, entonces sabemos que existe una base de autovectores {v1 , . . . , vn } tales
que Avn = n vn y que entonces {v1 e1 t , . . . , vn en t } es una base de soluciones de sistema lineal
homogeneo, por lo que la soluci
on general es
n
X
y(t) = bk vk ek t .
k=1
8 2. CLASE 2

2
d
Si pensamos que reemplazamos la transformacion lineal y Ay por (x, t) dx 2 y que
n = sin(nx) son los autovectores(autofunciones) de este operador, entonces el desarrollo de
Fourier (2.2) generaliza al caso infinito la escritura de la solucion en una base de autofunciones.

2. La convoluci
on y el n
ucleo de Dirichlet

Observacio n 2.1. Recordemos que dada f : [, ) C, si f L1 ([, ]) le podemos asociar


su serie de Fourier Z
X 1
f (x) inx
cn e , cn = f (x)einx dx.
2
nZ

De ahora en m as pensaremos siempre que f est a extendida de manera periodica a R o, gracias a


la correspondencia x eix , que f : S 1 C, donde S 1 es la circunferencia unitaria. Entonces,
cuando hablamos de f continua entendemos que la continuidad vale en S 1 o, lo que es lo mismo,
que la extensi
on peri
odica de la f es continua en todo R.
Definicio n 2.2. Dadas f, g : R C 2-peri odicas y tales que f, g L1 (R), definimos su
convoluci
on como Z
(f g)(x) = f (y)g(x y) dy

R
Observacio on (f g)(x) es un promedio regularizado de
n 2.3. Si R g(x) dx = 1, la convoluci
la funci
on f alrededor del punto x.

Nuestro objetivo es estudiar si dada una serie de Fourier asociada a una funcion f la misma
converge y, en caso afirmativo, si converge a f . El primer resultado afirmativo en este sentido
que demostraremos es que si f es derivable en x, entonces la serie de Fourier asociada converge
puntualmente a f en x. Para esto, definimos las sumas parciales
N
X
SN (f )(x) := cn einx
N
y probaremos que se pueden representar como una convolucion.
n 2.4. Para no sobrecargar la notaci
Observacio on, escribiremos SN f en lugar de SN (f ).

Claramente,
N
X
SN f (x) = cn einx
n=N
N  Z 
X 1 int
= f (t)e dt einx
2
n=N
N
Z !
1 X
in(xt)
= f (t) e dt
2
n=N
Y EL NUCLEO
2. LA CONVOLUCION DE DIRICHLET 9

que es una convoluci


on, pero nos interesa encontrar una expresion mas explcita dependiente de
N que no involucre sumas.

Para esto, si s 6= 2m, m Z podemos escribir


N
X
2DN (s) := eins
n=N
N
X 2N
X
= eiN s ei(n+N )s = eiN s eiks
n=N k=0

(ei(2N +1)s 1) ei(N +1)s eiN s


= eiN s is
=
e 1 eis 1
i(N + 12 )s 1 1 1
i 12 s (e ei(N + 2 )s ) ei(N + 2 )s ei(N + 2 )s
=e = s s
eis 1 ei 2 ei 2

Por la cuenta anterior, vale entonces que


1
SN f (x) = (DN f )(x)
2
donde DN es el n
ucleo de Dirichlet, dado por
sin((N + 21 )s)
DN (s) = .
sin 2s
Observacio n 2.5. Una propiedad que usaremos es que
Z
1
DN (t) dt = 1.
2
Esto
R se deduce facilmente si consideramos f 1, ya que por lo visto anteriormente SN f = 1 =
1
2 N D (t) dt. Sin embargo, no es cierto que kDN kL1 C para C independiente de N , ya
que esto implicara (usando argumentos de an alisis funcional) que la serie de Fourier converge
puntualmente para toda funci on continua, y esto no ocurre.
Lema 2.6 (Riemann-Lebesgue). Si f L1 ([, ]) y R, entonces
Z
f (x) cos(x) dx 0 ( )

Z
f (x) sin(x) dx 0 ( )

on. Supongamos primero que f C 1 . Entonces


Demostraci
Z Z  x 0
f (x) cos(x) dx = f (x) sin dx

Z  x   x  
= f 0 (x) sin dx + f (x) sin


3
kf 0 k 0 ( )

10 2. CLASE 2

Para el caso general basta usar un argumento de densidad.

Corolario 2.7. Si f L1 ([, ]), sus coeficientes de Fourier tienden a cero para |n| .

Ahora estamos en condiciones de probar el teorema sobre convergencia:


Teorema 2.8. Si f L1 ([, ]) y f es derivable en x, entonces SN f (x) f (x) cuando
N

Demostraci
on. Escribimos
sin((N + 12 )t)
Z
1
SN f (x) = f (x t) dt
2 sin( 2t )
y  Z  Z
1 1
f (x) = f (x) DN (t) dt = f (x)DN (t) dt.
2 2

Entonces

(f (x t) f (x)) t
Z
1
SN f (x) f (x) = t sin((N + )t) dt
t sin 2 2
Z
t 1
:= gx (t) t sin((N + 2 )t) dt
sin 2
y como sint t2 es una funci on acotada, para aplicar el lema de Riemann-Lebesgue basta ver que
f (xt)f (x) 1
gx (t) := t L ([, ]).

Pero como f es derivable en x, existe > 0 tal que si |t| < ,



f (x t) f (x)
C
t
y si |t| ,
Z
f (x t) f (t)
Z
dt 1 C
|f (x t) f (x)| dt kf kL1 .
t |t|

Observacio n 2.9. Siguiendo la misma demostraci on, se puede ver que alcanza con pedir que
la funci
on f sea Holder . Tambien se puede que si f tiene tan s
olo derivadas laterales en x,
f (x+)+f (x)
entonces SN f (x) 2 .

3. Otros tipos de convergencia

n 2.10. Dadas una serie


P
Definicio on de sumas parciales SN = a1 + +aN ,
n=1 an y su sucesi
on de promedios N = S1 ++S
diremos que la serie converge en el sentido de Cesaro si la sucesi N
N

es convergente.
3. OTROS TIPOS DE CONVERGENCIA 11

Observacio n 2.11. Si una sucesion es convergente, entonces converge en el sentido de Cesaro,


pero no vale la recproca. Basta considerar, por ejemplo, la sucesion an = (1)n+1 .
n 2.12. Dada una serie
P
Definicio P n n=1 an , diremos que converge en el sentido de Abel
P si para
todo 0 < r < 1 la serie n=1 r an es convegente y adem as existe y es finito lmr1 n
n=1 r an .

Observacio n 2.13. Se puede probar que si una sucesi on converge en el sentido de Cesaro
entonces converge en el sentido de Abel, pero la recproca no es cierta.
CAPTULO 3

Clase 3

1. Convergencia Cesaro y Abel de series de Fourier

Dada f L1 ([, ]) extendida peri


odicamente, consideramos su serie de Fourier

X
f (x) cn einx
nZ

y definimos las sumas parciales simetricas

X
SN f (x) := cn einx .
|n|N

Para estudiar la convergencia Cesaro de la serie de Fourier, definimos

S0 f + + SN f
N f (x) := .
N +1

Veremos que si f es continua y peri


odica (recordar que esto incluye f () = f ()) entonces
N f f uniformemente.

Queremos encontrar una expresi


on de N f como convolucion. Para esto, escribimos

N
1 X
N f (x) = Sn f (x)
N +1
n=0
N Z
1 X 1
= Dn (x t)f (t) dt
N +1 2
n=0

donde Dn es el n
ucleo de Dirichlet.
14 3. CLASE 3

Usando la expresi
on que ya calculamos para Dn , tenemos que
N N
X X sin((n + 21 )t)
Dn (t) =
n=0 n=0
sin( 2t )
N
1 X
= [cos(nt) cos((n + 1)t)] (3.3)
2 sin2 ( 2t ) n=0
1
= [1 cos((N + 1)t)]
2 sin2 ( 2t )
    
1 2 (N + 1)t 2 (N + 1)t
= 1 cos + sin (3.4)
2 sin2 ( 2t ) 2 2
sin2 ( (N +1)t
2 )
= 2 t
sin ( 2 )

donde en (3.3) usamos que 2 sin() sin() = cos( ) cos( + ) y en (3.4) usamos que
cos(2) = cos2 () sin2 ().

Se deduce entonces que si definimos el n


ucleo de Fejer como

1 sin2 (( N 2+1 )t)


KN (t) := (3.5)
N + 1 sin2 ( 2t )

entonces vale que


1
N f (x) = (KN f )(x). (3.6)
2

Para ver como esta expresi


on sirve para probar la convergencia en el sentido de Cesaro de la
serie de Fourier de una funci
on continua, a continuacion vamos a probar un teorema general
para la convoluci
on con una sucesi
on de n
ucleos hN .

Teorema 3.1. Sea {hN }N N una sucesi


on de n
ucleos que satisface:
Z
1. hN (t) dt = 1 para todo N ;

2. ZN (t) 0 para todo t
h y todo N ;
3. hN (t) dt 0 cuando N , para todo > 0.
<|t|<

Entonces, para toda f C(R) 2-peri


odica, hN f f uniformemente cuando N .

Observacio n 3.2. De 1 y 2 se deduce que khN kL1 = 1 para todo N . En realidad quedar a claro
en la demostracion que basta con pedir que las normas khN kL1 esten uniformemente acotadas.
Este es el motivo por el cual el teorema no se aplica al n
ucleo de Dirichlet (ver ejercicio en la
pr
actica).
1. CONVERGENCIA CESARO Y ABEL DE SERIES DE FOURIER 15

Demostraci
on. Consideremos
Z

|(hN f )(x) f (x)| = hN (t)f (x t) dt f (x)
Z



= hN (t)[f (x t) f (x)] dt (por 1)
Z

hN (t)|f (x t) f (x)| dt (por 2)

Como f es continua, entonces es uniformemente continua en compactos, por lo que dado > 0
existe > 0 tal que |f (x t) f (x)| < si |t| < . Luego, podemos escribir
Z Z
|(hN f )(x) f (x)| hN (t)|f (x t) f (x)| dt + hN (t)|f (x t) f (x)| dt
|t|< |t|
Z Z
hN (t) dt + 2kf k hN (t) dt
|t|< |t|
2 si N es suficientemente grande (por 1 y 3)

Como caso particular, tenemos el siguiente

Teorema 3.3. Si f C(R) es una funci on 2-periodica, entonces N f f uniformemente


(es decir, la serie de Fourier converge a f en el sentido de Cesaro).

1
Demostraci
on. Aplicamos el Teorema 3.1 a hN = 2 KN .

on 1 basta tomar f 1. En efecto, para todo x [, ], por (3.6),


Para ver que vale la condici
Z
1
1 = N 1(x) = KN (t) dt.
2

La condici
n 2 es evidente por la expresion (3.5).

Falta ver entonces que se cumple la condicion 3. Como KN (t) es una funcion par, basta considerar
t > 0. En ese caso, notemos que si < t < , entonces sin( 2 ) < sin( 2t ). Por lo tanto, sin2 ( 2t ) <
sin2 ( 2 ) y
( )
Z
1
KN (t) dt 0 cuando N .
<t< (N + 1) sin2 ( 2 )

Corolario 3.4. Los polinomios trigonometricos son densos en las funciones peri odicas y con-
tinuas. En efecto, basta observar que N f son polinomios trigonometricos y usar el teorema
anterior. Esto ademas nos dice que el sistema ortonormal {einx }nZ es completo.
16 3. CLASE 3

2. Convergencia Abel para series de Fourier

P
Definicio n 3.5. Decimos que una serie nZ cn converge en el sentido de Abel si valen las
siguientes condiciones:

X
1. para todo 0 < r < 1, la serie cn r|n| converge en el sentido usual;
X nZ
|n|
2. existe lm cn r .
r1
nZ

X
Si f cn einx es una funci
on continua y periodica, podemos aplicarle esta definicion a su
nZ X
serie de Fourier. Afirmamos que para todo 0 < r < 1, la serie cn r|n| einx converge, mas a
un,
nZ
converge absolutamente. En efecto, como f es continua, cn es una sucesion uniformente acotada
y, como r < 1,
X X
cn r|n| C r|n| < +.
nZ nZ

Para estudiar el comportamiento cuando r 1 , definimos

X
Ar (f )(x) := cn r|n| einx .
nZ

Como para el estudio de la convergencia en el sentido de Abel, queremos escribir Ar (f ) como


una convoluci
on. Para esto, basta notar que

X 1 Z 
int
Ar f (x) = f (t)e dt r|n| einx
2
nZ
Z X !
1 |n| in(xt)
= r e f (t) dt
2
nZ
Z
1
= Pr (x t)f (t) dt (3.7)
2

donde Pr es el n
ucleo de Poisson dado por

X
Pr (x) := r|n| einx .
nZ
2. CONVERGENCIA ABEL PARA SERIES DE FOURIER 17

Como para los n ucleos de Dirichlet y Fejer, queremos encontrar para el n


ucleo de Poisson una
expresion m
as explcita. Para esto, notemos que
0
X
X
Pr (t) = rn eint + rn eint 1
n= n=0
X
X
n int n int
= r e + r e 1
n=0 n=0
X X
= (reit )n + (reit )n 1
n=0 n=0
1 1
= + 1
1 reit 1 reit
2 r(eit + eit ) (1 reit )(1 reit )
=
(1 reit )(1 reit )
1 r2
=
1 r(eit + eit ) + r2
1 r2
= . (3.8)
1 2r cos(t) + r2

Pr
Ahora podemos volver al problema de estudiar lmr1 Ar (f ).Vamos a ver que 2 cumple las
hipotesis del Teorema 3.1 cambiando el parametro N por r (0, 1).
Z
1
Que Pr (t) dt = 1 se puede ver considerando f 1.
2

Para ver que Pr (t) 0 para todo t y para todo r (0, 1), basta observar que |2r cos t| 1 + r2
y usar la expresi
on (3.8).

Por u
ltimo, nos queda por verificar la condicion 3 del Teorema 3.1. Como el Pr (t) es una funci
on
par, basta ver que para todo > 0
Z
Pr (t) dt 0 cuando r 1 .

Para probar esto notemos primero que
1 2r cos(t) + r2 = (r cos(t))2 + (1 cos2 (t)) 1 cos2 (t) = sin2 (t),
y que entonces, para < t < 2 ,
 2  2
2 2 2
sin t t > .

Por lo tanto,

( )
Z
Pr (t) dt 1 (1 r2 ) 0 cuando r 1 .
( )

En definitiva, hemos demostrado el siguiente


18 3. CLASE 3

Teorema 3.6. Si f C(R) es una funci on 2-periodica, entonces Ar f f uniformemente


cuando r 1 . Es decir, la serie de Fourier de f converge uniformemente a f en el sentido de
Abel.

3. Relaci
on con el problema de contorno en el disco

Consideremos el problema de Dirichlet en el disco D = {z C : |z| < 1}:



u = 0 en D
u = g en D
donde g : D = S 1 R es una funci
on continua.

Notemos que si z D, entonces z = reix con r [0, 1) y x [, ) (y esta escritura es u


nica
ix
si z D {0}. Entonces, si definimos f (x) = g(e ) y
1
u(z) = u(reix ) := (Pr f )(x) = Ar f (x)
2
sabemos que u(z) = u(reix ) f (x) = g(eix ) cuando r 1 . Para probar que u es armonica
(es decir u = 0) vamos a ver que es la parte real de una funcion analtica.

Como estamos suponiendo que f toma valores reales, por la Observacion 1.3 sabemos que sus
coeficientes de Fourier cumplen cn = cn . Entonces

X
X
n inx
Ar f (x) = r cn e + rn cn einx + c0
n=1 n=1

X
X
= rn cn einx + rn cn einx + c0
n=1 n=1

X
X
= cn (reix )n + cn (reix )n + c0
n=1 n=1

Luego,

X
X
u(z) = c0 + cn z n + cn z n .
n=1 n=1

Ahora, como la serie es absolutamente convergente, si definimos



X
F (z) = c0 + 2 cn z n
n=1
F +F
entonces F es analtica en D, por lo que Re(F ) es una funcion armonica. Pero Re(F ) = 2 =
u(z), por lo que u = 0 en D, como queramos ver.
CAPTULO 4

Clase 4

1. La transformada de Hilbert en el caso peri


odico

La clase anterior vimos que si



X
F (z) = c0 + 2 cn z n
n=1

con cn = f(n), entonces F es holomorfa en D y Re(F ) = u, donde u(z) = u(reix ) = 1


2 (Pr f )(x).

Si llamamos v = Im(F ) entonces tambien vale que v = 0 en D, y


F F
v(z) =
2i

X cn z n X cn z n
=2 2
2i 2i
n=1 n=1

X X
= (i)cn z n + cn zn
i
n=1 n=1
X
X
= (i)cn rn einx + cn rn einx (4.9)
n=1 n=1
X 1
X
= (i)cn rn einx + icn einx
n=1 n=
X
|n| inx
= (i)r e sg(n) (4.10)
nZ

donde en (4.9) usamos que f toma valores reales y por lo tanto cn = cn (ver la Observaci
on
(1.3)) y la funci
on sg en (4.10) es la funcion signo, definida como

1 n>0
sg(n) := 0 n=0
1 n < 0

Formalmente, cuando r 1 ,
X
v(z) v(eix ) = (i)sg(n)cn einx .
nZ
20 4. CLASE 4

cn einx , podemos definir la transformada de Hilbert de f como


P
Entonces, dada f
X
Hf (x) := (i)sg(n)cn einx .
nZ

Por lo tanto, nos interesa estudiar en que espacio debe estar f cn einx para que (i)sg(n)cn
P
sean los coeficientes de Fourier de otra funcion del mismo espacio.

Observacio n 4.1. Volviendo al problema de contorno, vale la pena notar que dada u arm onica,
la funci
on v que construimos es una conjugada armonica de u (es decir, F = u+iv es holomorfa).
M as a
un, como dos conjugadas arm onicas difieren en una constante, v es la u nica conjugada
arm onica de u con la propiedad de que su valor de borde, v(eix ) tiene coeficiente de Fourier de
orden cero igual a cero, o sea
Z
v(eix ) dx = 0.

Pero como v es una funci


on arm
onica, por la propiedad del valor medio esto equivale a decir
que v(0) = 0.

2. Teora L2 para series de Fourier

Dada f L2 ([, ]), sabemos que sus coeficientes de Fourier cn estan bien definidos. Veremos
que ademas
X
SN f (x) := cn einx f (N )
|n|N

donde la convergencia es en L2 .

Para esto, observemos primero que las funciones n (x) = 12 einx , n Z forman un conjuntos
de funciones ortonormal en L2 ([, ]), es decir
Z 
0 k 6= n
n (x)k (x) dx =
1 k=n

Si ahora definimos el subespacio de los polinomios trigonometricos de grado menor o igual que
N,
X
VN := {P L2 ([, ]) : P (x) = an einx , an C}
|n|N

vale la siguiente propiedad:

on ortogonal de f sobre VN , es decir, SN f VN y


n 4.2. SN f es la proyecci
Proposicio
Z
(f SN f )P dx = 0 para todo P VN .

2. TEORIA L2 PARA SERIES DE FOURIER 21

Demostraci on. Basta ver que vale para las funciones eikx para todo |k| N , ya que son una
base de VN . Pero

Z X Z Z
f (x) inx ikx ikx
cn e e dx = f (x)e dx ck dx
|n|N
Z
= f (x)eikx dx 2ck

=0

on anterior es inmediato ver que para todo P VN


Corolario 4.3. A partir de la proposici
vale que
kf P k22 = kf SN f k22 + kSN f P k22 .
En particular, resulta que SN f es la mejor aproximaci
on de f en el subespacio VN , es decir,

kf SN k2 kf P k2

para todo P VN .

an einx , entonces
P
n 4.4. Si P VN , digamos P =
Observacio |n|N

1 X
kP k22 = |an |2 .
2
|n|N

En efecto,

Z X X
kP k22 = an einx ak eikx dx
|n|N |k|N
X X Z
= an a
k einx eikx dx
|n|N |k|N
X
= 2 |an |2 .
|n|N

Estamos entonces en condiciones de probar el resultado que anunciamos al principio:

Teorema 4.5. Si f L2 ([, ]), entonces SN f f in L2 .

Demostraci on. Si f es una funcion continua, podemos aproximarla por polinomios trigo-
nometricos. Es decir que dado > 0, existen M = M () y P VM tal que kf P k2 < .
Entonces, si N M , P VN y por la Proposicion 4.2

kf SN f k2 kf P k2 < .
22 4. CLASE 4

Si f no es continua, dado > 0 existe g continua tal que kf gk2 < . Por lo anterior, SN g g
en L2 , o sea, si N M = M (), kg SN gk < . Entonces, si N M ,

kf SN f k2 kf gk2 + kg SN gk2 + kSN (g f )k2


+ + kg f k2
< 3.

Teorema 4.6 (Bessel-Parseval). Si f L2 ([, ]), f cn einx , entonces


P

1 X
kf k22 = |cn |2 .
2
nZ

Demostraci
on. Por el Corolario 4.3 y la Observacion 4.4,
1 1 1
kf k22 = kf SN f k22 + kSN f k22
2 2 X 2
= kf SN f k22 + |cn |2 .
|n|N

Pero por el Teorema 4.5, kf SN f k2 0 cuando N , por lo tanto, tomando lmite


1 X
kf k22 = |cn |2 .
2
nZ

Observacio n 4.7. El Teorema de Bessel-Parseval implica que si f L2 ([, ]), entonces sus
an en l2 (Z), donde
coeficientes de Fourier est
X
l2 (Z) := {(an ) : an C y |an |2 < }.
nZ

Es interesante notar que tambien vale la recproca, es decir, si (an ) l2 (Z), existe una u
nica
f L2 ([, ]) tal que an = f(n) para todo n.

on. Dada (an ) l2 (Z), definimos PN VN como


Demostraci
X
PN (x) = an einx .
|n|N

on de Cauchy en L2 . En efecto, dado > 0, como |an |2 < ,


P
Afirmamos que (PN ) es una sucesi
existe N0 = N0 () tal que para todo k N y N N0 ,
X
kPN PN +k k = 2 |an |2 < .
N <|n|N +k

Como L2 es un espacio completo, deducimos entonces que existe f := lmN PN en L2 .


4. CONVERGENCIA EN Lp PARA SERIES DE FOURIER 23

Falta ver entonces que an = f(n). Pero



Z Z X
f (t)eikt dt = lm an eint eikt dt
N
|n|N
X Z
= lm an eint eikt dt
N
|n|N
= 2ak .

3. Teora L2 para la transformada de Hilbert en el caso peri


odico

Por lo visto en la seccion anterior, dada f L2 ([, ]), entonces (f(n))nZ l2 (Z) y como
| i sg(n)| 1, entonces (i sg(n)f(n)) l2 (Z), por lo que existe una u nica funcion Hf
L2 ([, ]) tal que esos son sus coeficientes de Fourier, es decir,
d (n) = i sg(n)f(n).
Hf
Por lo tanto, la transformada de Hilbert H : L2 ([, ]) L2 ([, ]) esta bien definida.

Para poder decir adem as que Hf son los valores en D de la u nica conjugada armonica v de u
tal que v(0) = 0, donde
1
u(z) = u(reix ) = (f Pr )(x)
2
on g L2 ([, ]),
faltara ver que para toda funci
1
(g Pr ) g en L2 .
2
Esta propiedad es cierta pero no la probaremos en el caso periodico, la veremos mas adelante
en R. Concluimos esta secci on con la siguiente propiedad:
n 4.8. H : L2 ([, ]) L2 ([, ]) es un operador continuo.
Proposicio

Demostraci
on.
1 X
kHf k22 = | i sg(n)f(n)|2
2
nZ
X
= |f(n)|2
nZ{0}
1
kf k22 .
2

4. Convergencia en Lp para series de Fourier

Dada f Lp ([, ]) nos preguntamos ahora si SN f f en Lp . Veremos que la respuesta es


s cuando 1 < p < y no si p = 1
o , y que la respuesta a este problema esta relacionada con
24 4. CLASE 4

la transformada de Hilbert que acabamos de ver. Por ahora, daremos una condicion necesaria y
suficiente para la convergencia en Lp , que usaremos mas adelante.
Teorema 4.9. SN f f en Lp para toda f Lp si y s
olo si existe una constante C indepen-
diente de N y de f tal que kSN f kp Ckf kp .

Demostraci on. ) Primero veamos que vale si f es una funcion continua. En este caso, dado
> 0 sabemos que existen M = M () y PM VM tal que kf PM kp . Entonces, si N M ,
como SN (PM ) = PM
kf SN f kp kf PM kp + kSN (PM g)kp
(1 + C)kf PM kp
< (1 + C).

Si f no es continua, dado , existe g continua tal que kf gkp < . Entonces, si N > M (),
kf SN f kp kf gkp + kg SN gkp + kSN (g f )kp
+ + Ckg f kp
(2 + C).

) Si SN f f en Lp para toda f Lp , entonces kSN f kp C(f ). Pero entonces, por el


principio de acotaci
on uniforme, existe una constante C independiente de f y de N tal que
kSN f kp Ckf kp .
CAPTULO 5

Clase 5

1. Teora Lp para la transformada de Hilbert en el caso peri


odico

Para estudiar la continuidad en Lp de la transformada de Hilbert, primero veremos el siguiente


Lema 5.1. Z
2 2 1
(Hf ) = f + 2H(f Hf ) + [(Hf )2 f 2 ] dx (5.11)
2

Demostraci
on. Observemos primero que
Z
1
H(Hg) = g + g dx (5.12)
2

para toda g L2 . En efecto, como Hg(n)


c = (i) sg(n)g (n),

2 g(n) = (i sg(n))2 g 0 n=0
Hd (n) =
6 0
g (n) n =
y, por lo tanto,
X X
H 2 g(x) = g(n)einx = g(n)einx + g(0)
nZ{0} nZ

de donde (5.12) se deduce inmediatamente.

Ahora, recordemos que si u(z) = (f Pr )(x) con z = eix , entonces f = u |D y Hf (x) = v(eix )
donde v es la u
nica conjugada arm
onica tal que v(0) = 0.

Sabemos que F (z) = u(z) + iv(z) es holomorfa en D. Entonces tambien F 2 = (u + iv)2 lo es,
pero F 2 = (u + iv)2 = (u2 v 2 ) + 2iuv y como u2 y v 2 son armonicas, 2uv es la conjugada
armonica de u2 v 2 que vale cero en cero, es decir H[f 2 (Hf )2 ] = 2(f Hf ).

Si ahora aplicamos H a ambos lados y usamos (5.12), tenemos finalmente que


Z
2 2 1
[f (Hf ) ] + [f 2 (Hf )2 ] dx = 2H(f Hf ),
2
y reordenando se obtiene el resultado del lema.
Corolario 5.2.
(Hf )2 f 2 + 2H(f Hf )
26 5. CLASE 5

Demostraci on. Es inmediata a partir del lema anterior y la desigualdad kHf k2 kf k2 (ver
la Proposici
on 4.8).
Teorema 5.3. Si H es continuo en Lp entonces es continuo en L2p .

Demostraci
on. Vamos a usar que si a, b > 0, entonces para todo k > 0,
k 2 a2 b2
 
b
ab = (ka) + 2. (5.13)
k 2 2k
Notemos que
Z
kHf k2p
2p = |Hf |2p dx
Z

[f 2 + 2H(f Hf )]p dx

Z
2p1 [|f |2p + 2p (H(f Hf ))p ] dx

 Z 
2p p p
Cp kf k2p + |f | |Hf | dx (5.14)

k2
 
2p 2p 1 2p
Cp kf k2p + kf k2p + 2 kHf k2p (5.15)
2 2k
donde en (5.14) usamos la continuidad de H en Lp , y en (5.15) usamos (5.13) con a = |f |p y
b = |Hf |p .
Cp
Si elegimos k tal que 2k2
= 21 , resulta entonces que
k2
 
1
kHf k2p
2p C p + kf k2p
2p .
2 2

Observacio n 5.4. Para despejar en (5.15) es necesario suponer que kHf k2p 2p < . Lo que
debemos hacer, en realidad, es trabajar en un subespacio denso donde la transformada de Hilbert
on en L2p , y luego utilizar la densidad para deducir el resultado
este bien definida y de una funci
en L . Por ejemplo, podemos tomar el subespacio de funciones de clase C 1 .
2p

n
Corolario 5.5. H es un operador continuo en L2 para todo n 1.

A partir del corolario anterior y de un resultado de interpolacion que probaremos a continuaci


on,
podremos deducir que la transformada de Hilbert es continua en Lp para p [2, ).

2. El teorema de Marcinkiewicz

Definicio n 5.6. Si T es un operador lineal o sublineal y 1 p, q , diremos que T es de


tipo fuerte (p, q) si T : Lp Lq es acotado.
2. EL TEOREMA DE MARCINKIEWICZ 27

Si 1 p, q < , diremos que T es de tipo debil (p, q) si existe C > 0 tal que para todo > 0
Ckf kp q
 
|{x : |T f (x)| > }| .

En el caso p = q = , por convenci
on el tipo debil se define igual que el fuerte.
n 5.7. Si T es de tipo fuerte (p, q), entonces es de tipo debil (p, q).
Observacio

Demostraci
on.
q
|T f |q

Ckf kp
Z Z
|{x : |T f (x)| > }| = dx dx .
{|T f |>} q

Definicio n 5.8. La funci


on de distribucion de una funci on f , df () : (0, +) [0 + ) se
define por
df () := |{x : |f (x)| > }|.
on anterior, si 1 p < ,
n 5.9. Usando Fubini y la definici
Proposicio
Z
kf kpp = pp1 df () d.
0

Teorema 5.10 (Marcinkiewicz). Sean 1 p0 < p1 p y T un operador sublineal definido en


Lp0 + Lp1 tal que T es de tipo debil (p0 , p0 ) y (p1 , p1 ). Entonces T es de tipo fuerte (p, p) para
todo p (p0 , p1 ).

Demostraci
on. Dado , escribimos
f = f {x:|f (x)|>c} + f {x:|f (x)|c}
| {z } | {z }
:=f0 :=f1

donde c una constante que vamos a elegir despues.

Como T es sublineal, |T f (x)| |T f0 (x)| + |T f1 (x)|, entonces


   

dT f () dT f0 + dT f0
2 2
y por hipotesis sabemos que
2A0 kf0 kp0 p0
   

dT f0 , (5.16)
2
y que
2A1 kf1 kp1 p1
   

dT f1 . (5.17)
2

Separamos la demostraci
on en dos casos,
1
Caso p1 = : Si elegimos c = 2A1 , entonces dT f1 ( 2 ) = 0. En efecto,

kT f1 k A1 kf1 k A1 c = ,
2
28 5. CLASE 5

y, por lo tanto,  
|T f1 | > = 0.

2
Entonces,
Z
kT f kpp =p p1 dT f () d
0
Z  
p1
p dT f0 d
0 2
Z  p0
p1 2A0 kf0 kp0
p d
0
Z Z
= p(2A0 )p0 p1p0 |f0 (x)|p0 dx d
Z0 Z
p0 p1p0
= p(2A0 ) |f (x)|p0 dx d
0 {|f |>c}
Z Z |f (x)|
c
= p(2A0 )p0 |f (x)|p0 p1p0 dx d
0
p
= (2A0 )p0 (2A1 ) pp0
kf kpp .
p p0

Caso p1 < : En este caso tenemos

Z
kT f kpp 0p p1 dT f () d
0
Z     
p1
p dT f0 + dT f 1 d
0 2 2
Z Z
p p1p0 (2A0 )p0 |f (x)|p0 dx d
0 {|f |>c}
Z Z
+p p1p1 (2A1 )p1 |f (x)|p1 dx d
0 {|f |c}
p 2p0 Ap00 p 2p1 Ap11
 
= + kf kpp .
p p0 cpp0 p1 p cpp1
Si elegimos c tal que (2A0 c)p0 = (2A1 c)p1 se obtiene que
 1/p
1 1
kT f kp 2 p1/p
+ A1
0 A1 kf kp ,
p p0 p1 p
donde
1 1
= + , 0 < < 1.
p p1 p0

Corolario 5.11. H es un operador continuo de Lp en Lp para todo p [2, ).


2. EL TEOREMA DE MARCINKIEWICZ 29

Demostraci
on. Es consecuencia del teorema de interpolacion de Marcinkiewicz y del Corolario
5.5.
CAPTULO 6

Clase 6

1. Convergencia en Lp para le serie de Fourier

Vamos a relacionar la convergencia en Lp de la serie de Fourier con la acotacion de la transfor-


mada de Hilbert. Para esto, probaremos primero que la transformada de Hilbert es acotada en
Lp si p (1, 2). Comenzamos con el siguiente lema:

Lema 6.1.
Z Z
g=
(Hf ) f (Hg)

on. Usaremos que si f, g L2 , entonces


Demostraci

Z
1 X
f (x)
g (x) dx = f(n)
g (n).
2 n=

Por lo tanto,

Z
1 X
Hf (x)
g (x) dx = (i)sg(n)f(n)
g (n)
2 n=

X
= f(n)(i)sg(n)
g (n)
n=
Z
1
= f (x)Hg(x) dx.
2

Corolario 6.2. Si p (1, 2), entonces kHf kp Ckf kp .


32 6. CLASE 6

Demostracion. Basta observar que como p0 [2, ), la transformada de Hilbert es continua


p 0
en L por el Corolario 5.11, y entonces
Z
kHf kp = sup Hf (x)g(x) dx
gLp0 ,kgkp0 =1
Z
= sup f (x)Hg(x) dx
gLp0 ,kgkp0 =1

sup kf kp kHgkp0
gLp0 ,kgkp0 =1

Ckf kp .

Teorema 6.3. Para toda f Lp ([, ]), SN f f en Lp , 1 < p < .

Demostraci
on. Notemos que
1 1
[N,N ] (n) = [sg(n + N ) sg(n N )] + [{N } (n) + {N } (n)] (6.18)
2 2
Primero observemos que si definimos PM f (x) = f(M )eiM x (M Z), entonces kPM f kp kf kp .
En efecto,
Z Z
kPM f kpp = |PM f (x)|p dx = |fM |p dx = 2|f(M )|p

pero Z
1 iM t 1 1 1


|f (M )| =
f (t)e dt kf kp (2) p0 = 1 kf kp
2 2 (2) p
y, por lo tanto,
kPM f kpp kf kpp . (6.19)

Por otro lado,



X
X
sg(n + N )f(n)einx = sg(m)f(m N )eiN x
n= m=

X
= eiN t (m)eimx eiN x
sg(m)f\
m=

X
iN x
= ie eiN t (m)eimx
(i)sg(m)f\
m=
iN x iN t
= ie H(f e )(x).

Analogamente, se puede ver que



X
sg(n N )f(n)einx = ieiN x H(f eiN t )(x).
n=
2. LA TRANSFORMADA DE HILBERT COMO MULTIPLICADOR E INTEGRAL SINGULAR 33

Entonces,

i i 1
SN f (x) = eiN x H(f eiN t )(x) eiN x H(f eiN t )(x) + (PN f (x) + PN f (x))
2 2 2

de donde, usando la continuidad en Lp para la transformada de Hilbert y (6.19), se deduce el


teorema.

2. La transformada de Hilbert como multiplicador e integral singular

on = (n ), n Z, le podemos asociar (en principio formalmente) un operador


Dada una sucesi


X
T f (x) = n f(n)einx .
n=

Queremos escribir este operador como una convolucion. Si por ejemplo (n ) fuera absolutamente
convergente,

 Z 
X 1 int
T f (x) = n f (t)e dt einx
n=
2

!
Z
1 X
= f (t) n ein(xt) dt
2 n=
= (f K)(x)

donde

1 X
K(t) := n eint , (6.20)
2 n=

por lo que si (n ) l , entonces K L1 [, ] y por la desigualdad de Young, para todo


1 p ,

kT f kp = kf Kkp kKk1 kf kp .

Nos interesa ahora estudiar un caso mas general, para poder incluir por ejemplo a n =
(i)sg(n), y darle sentido a T = H.
34 6. CLASE 6

Para esto vamos a ver que si definimos K(t) como en (6.20), entonces converge en el sentido de
Abel. En efecto,

1 X
Kr (t) = (i)sg(n)r|n| eint
2 n=
1
1 X n int 1 X n int
= ir e ir e
2 n= 2
n=1

i X i X
= (reit )n (reit )n
2 2
n=1 n=1
reit reit
 
i
=
2 1 reit 1 reit
1 r sin t
=
2 1 2r cos t + r2
y, por lo tanto, cuando r 1
1 sin t 1 2 sin( 2t ) cos( 2t ) 1 cos( 2t )
Kr (t) = = .
2 (1 cos t) 2 (1 cos2 ( 2t ) + sin2 ( 2t )) 2 sin( 2t )

Entonces, si llamamos  
1 t
K(t) := cot ,
2 2
obtenemos formalmente que
Z  
1 t
Hf (x) = (K f )(x) = f (x t) cot dt. (6.21)
2 2

Notemos que cuando t 0, cot( 2t ) 1t , y por lo tanto la expresion (6.21) no resulta integrable
ni siquiera para f 1. Sin embargo, si f C 1 , la expresion s tiene sentido como valor principal
o integral singular, definiendo
Z   Z  
t t
v.p. f (x t) cot dt := lm f (x t) cot dt. (6.22)
2 0 <|t| 2

En efecto, como cot( 2t ) es una funci


on impar,
Z  
t
cot dt = 0,
<|t| 2
de donde se sigue que
Z   Z  
t t
f (x t) cot dt = [f (x t) f (x)] cot dt

2 2

<|t| <|t|
Z  
0
t cot t dt

kf k
<|t|
2
y por lo tanto existe el lmite (6.22).
2. LA TRANSFORMADA DE HILBERT COMO MULTIPLICADOR E INTEGRAL SINGULAR 35

n 6.4. Si definimos
Observacio
Z
(x) = 1 lm
Hf
f (y)
dy, (6.23)
0 <|xy|< xy
es continuo en Lp si y s
entonces vale que H
olo si H es continuo en Lp , pues (H H)(f )(x) =
1 t 2
(K f )(x) con K L [, ], ya que cerca del origen cot( 2 ) = t + O(t).
CAPTULO 7

Clase 7

1. La transformada de Fourier en R

Si f : R R es una funci
on continua de soporte compacto, digamos sop(f ) [M, M ], y L es
tal que L/2 > M , podemos extender periodicamente a f con perodo L y hacer su desarrollo de
Fourier. Formalmente, tenemos entonces que
X n
f (x) = cn (L)e2i L x
nZ
con Z L/2
1 n
cn (L) = f (t)e2i L t dt.
L L/2

Entonces, para todo x [M, M ],


X 1 Z L/2 n n
f (x) = f (t)e2i L t dt e2i L x
L L/2
nZ
X1Z n n
= f (t)e2i L t dt e2i L x
L
nZ

ya que f 0 en R [M, M ].

Entonces, si definimos Z
n n

f := f (t)e2i L t dt
L
on suficientemente buena, tomando lmite para L tenemos
y pensamos que es una funci
que Z
X 1 n n
f e 2 L x
f()e2ix d.
L L
nZ

Por lo tanto, al menos formalmente, tendramos que


Z
f (x) = f()e2ix d (7.24)

donde Z
f() = f (x)e2ix dx

38 7. CLASE 7

Esto motiva la siguiente definici


on:
n 7.1. Dada f L1 (R), definimos su transformada de Fourier como
Definicio
Z

f () := f (x)e2ix dx. (7.25)

on F(f ) := f.
n 7.2. Tambien usaremos para la transformada de Fourier la notaci
Notacio
n 7.3. Dada f L1 (R), valen las siguientes propiedades:
Proposicio

1. f() 0 (|| ).
2. f L y kfk kf k1 .
3. f es continua en R.

Demostraci on. La demostraci on de 1 la dejamos como ejercicio, mientras que la propiedad 2


es inmediata de la definici
on. Para ver que vale 3, notemos que
Z
f( + h) f() = f (x)(e2ix(+h) e2ix ) dx
Z

= e2ix (e2ixh 1)f (x) dx

y, por lo tanto, por convergencia mayorada
Z

|f ( + h) f ()| |f (x)||e2ixh 1| dx 0.

Otras propiedades que usaremos y cuya demostracion dejamos como ejercicio son las siguientes:
n 7.4. Dada f L1 (R):
Proposicio

1. Si f 0 L1 (R), entonces fb0 () = 2i f().


d)() = 1 (f)0 ().
2. (xf 2i

Nuestro problema ahora es ver cu ando vale la igualdad (7.24). Veremos que, por ejemplo, vale si
1
f L y f L . Pero en general no es cierto que dada f L1 su transformada tambien este en
1

L1 . Por ejemplo, si f = [1,1] , entonces f() sin()


6 L1 .

La idea es entonces intentar hacer algo analogo a la sumabilidad Abel que estudiamos para series
de Fourier. Podramos preguntarnos, por ejemplo, si dada f L1 vale que
Z
2
f (x) = lm f()et|| e2ix d
t0+
o, mas en general, si dada g L1 ,
continua en el origen y tal que g(0) = 1 (notemos que esto
implica que g(t)f() L1 para todo t > 0) vale que
Z
f (x) = lm f()g(t)e2ix d.
t0+
Antes de responder esta pregunta, comencemos con un lema.
1. LA TRANSFORMADA DE FOURIER EN R 39

Lema 7.5. Si f, g L1 (R), entonces


Z Z

f ()g() d = f ()
g () d.

Demostraci
on.
Z Z Z 
2ix
f()g() d = f (x)e dx g() d

Z
Z


2ix
= e g() df (x) dx
Z

= f (x)
g (x) dx

n 7.6. Dada g L1 (R) continua en el origen y tal que g(0) = 1, definimos, para todo
Definicio
t > 0, Z
Ag,t f (x) = f()g(t)e2ix d. (7.26)

Observemos que, por el lema anterior,


Z
Ag,t f (x) = f (y)F(g(t)e2ix )(y) dy

y
Z
F(g(t)e 2ix
)(y) = g(t)e2ix e2iy d
Z

= g(t)e2i(yx) d
Z
yx 1
= g()e2i( t
)
d
t
 
1 yx
= g .
t t
Por lo tanto, si definimos (x) = g(x), y t (x) = 1t ( xt ), entonces
Z  
1 xy
Ag,t f (x) = f (y) dy = (f t )(x).
t t
R
Supongamos que g L1 (R) y que g() d = 1 (veremos que esto equivale a pedir g(0) = 1).
R R
Entonces, = 1 y t = 1 para todo t > 0. Como ademas es continua, veremos que esto
implica que Ag,t f (x) f (x) cuando t 0+ tanto en Lp como en casi todo punto.
Observacio n 7.7. La transformada de Fourier en Rn se construye de manera an
aloga, es decir,
si f L (Rn ), entonces
1
Z
f() = f (x)e2ix dx (7.27)
Rn
y valen las mismas propiedades que enunciamos para la transformada de f L1 (R).
40 7. CLASE 7

Del mismo modo, valen las cuentas para Ag,t f , es decir,


Z
Ag,t (x) = f()g(t)e2ix d = (f t )(x)
Rn
1 x
con (x) = g(x) y t (x) = tn ( t ).
CAPTULO 8

Clase 8

1. La transformada de Fourier en Rn

1 x
Lema 8.1. Sea L1 (Rn ) tal que
R
= 1 y sea t (x) = tn ( t ). Entonces

1. Si f L (Rn ) y es continua en x, (f t )(x) f (x) cuando t 0.


2. Si f Lp (Rn ) para alg
un p [1, ), (f t ) f en Lp .

R R
Demostraci
on. 1. Primero observemos que como = 1, entonces t = 1. Entonces
Z
(f t )(x) f (x) = f (x y)t (y) dy f (x)
Rn
= [f (x y) f (x)]t (y) dy

Ahora, dado > 0, sabemos que existe > 0 tal que |f (x y) f (x)| < si |y| < . Entonces
Z
|f t (x) f (x)| |f (x y) f (x)||t (y)| dy
n
ZR Z
= |f (x y) f (x)||t (y)| dy + |f (x y) f (x)||t (y)| dy
|y|< |y|
Z
kk1 + 2kf k |t (y)| dy
|y|
| {z }
()
< C

ya que
Z
1  y 
() = dy
|y| tn t
Z
= (z) dz
|z|> t

ltima integral claramente tiende a cero cuando t 0.


y esta u
42 8. CLASE 8

2. Por la desigualdad integral de Minkowski,


Z
kf t f kp kf ( y) f ()kp |t (y)| dy
Rn
Z
= p (y)|t (y)| dy
Rn
donde p (z) := kf (z)f ()kp . Pero p (tz) 0 cuando t 0 y podemos aplicar convergencia
mayorada pues kp k 2kf kp y L1 (Rn ).
Teorema 8.2. Si f Lp (Rn ) L1 (Rn ) y g L1 (Rn ) es tal que Rn g = 1, entonces Ag,t f f
R
cuando t 0 en Lp para todo 1 p < . Adem as, si p = y f es continua en x, entonces
Ag,t f (x) f (x).

Demostraci on. Ya vimos que Ag,t f = f t , donde g(x) = (x) y, por lo tanto, el resultado
se deduce del Lema 8.1.
2
Ejemplo 8.3 (Gauss-Weierstrass). Consideremos g(x) = e|x| , g L1 (Rn ). Entonces, g(t) =
2 2
et || , y llamando s = t2 tenemos
Z
2
Ag,s f (x) = f()es|| e2ix d.
Rn

Observemos que basta calcular g() en una dimensi


on ya que es de variables separadas, o sea
x2
que consideramos g(x) = e con x R.
2 2 2
Notemos adem as que g C 1 , pues xex L1 (R), g0 () = F(2ixex )() y F(xex ) es
continua, por lo que g0 es continua.
2 2
Por otro lado, g 0 (x) = 2xex y g0 () = igb0 () = i(2i
g ()) = 2g (). Entonces, (e g())0 =
2 2
g () = 0, de donde se sigue que e g() = C = g(0) = ex dx = 1.
g0 () + 2
R

2
En definitiva, g() = e = g(). Aplicando el Teorema 8.2 a esta funci
on, obtenemos el
siguiente teorema:
Teorema 8.4. 1. Si 1 p < y f L1 Lp , entonces
Z
2
f (x) = lm f()et|| e2ix d en Lp .
t0 Rn

2. Si p = y f es continua en x, entonces
Z
2
f (x) = lm f()et|| e2ix d puntualmente.
t0 Rn

En consecuencia, volviendo al caso general, si g es continua en el origen,


Z
2
g(0) = lm g()et|| d
t0 Rn

y si g L1 (R) podemos aplicar convergencia mayorada y resulta


Z
g(0) = g() d.
Rn
DEL CALOR EN EL SEMIESPACIO Rn R+
2. LA ECUACION 43

R
Corolario 8.5. En el Teorema 8.2 se puede reemplazar la hip
otesis Rn g = 1 por g(0) = 1.

Como corolario deducimos tenemos tambien el siguiente resultado:

on). Si f L1 (Rn ) y f L1 (Rn ), entonces


Teorema 8.6 (Teorema de Inversi
Z
f (x) = f()e2ix d. (8.28)
Rn

Demostraci
on. Sale aplicando convergencia mayorada en g(x) en lugar de en g(0).

n 8.7. Definimos la antitransformada de Fourier como


Definicio
Z

f (x) = F(x) = g()e2ix d. (8.29)
Rn

2. on del calor en el semiespacio Rn R+


La ecuaci

Buscamos u(x, t) soluci


on de

en Rn R+

ut u = 0
u(x, 0) = f (x)

on inicial hay que interpretarla como lmite cuando t 0+ .


donde la condici

Si transformamos Fourier en x (para cada t), tenemos que


Z
u(, t) = u(x, t)e2ix dx
Rn

y derivando dentro de la integral obtenemos que u


t = ubt . Por lo tanto, la ecuacion transformada
t u
resulta ser u c = 0. Pero

n d n
X 2u X
u
c =
2 = (2ij )2 u
(, t) = 4 2 ||2 u
(, t).
j=1
xj j=1

Por lo tanto, la ecuaci


on que debemos resolver es u t + 4 2 ||2 u
= 0. Para xi fijo resolvemos en
2 t||2
t y obtenemos que u (, t) = f()e 4 . Entonces
2 2
u(x, t) = (f()e4 t|| )(x)
2 t||2
= [f (e4 )](x)
44 8. CLASE 8

2 2
pero sabemos que (e|| )(x) = e|x| , entonces
Z
4 2 t||2 2 2
(e ) (x) = e4 t|| e2ix d
Rn
Z
1
2 2ix
= n e|| e 2 t d
(2 t) Rn
 
1 ||2 x
= n [e ]
(2 t) 2 t
1 |x|2
= n e 4t .
(2 t)

En definitiva Z
1 |y|2
u(x, t) = n f (x y)e 4t dy
(2 t) Rn

|x| 2
Observemos adem as que u(x, t) = (f t )(x) con t (x) = (1t)n ( xt ) y (x) = (21)n e( 2 ) ,
por lo que podemos aplicar la teora que vimos para concluir que el dato inicial se alcanza en
Lp si f L1 Lp y puntualmente si f es continua y acotada.

3. Transformada de Fourier en L2 (Rn )

Teorema 8.8. Si f L1 (Rn ) L2 (Rn ), entonces f L2 (Rn ) y kfk2 = kf k2 .


Demostraci on. Sea g(x) = f (x). Entonces g = f y f[ g = fg = ff = |f|2 . Si llamamos
h = f g tenemos entonces que h L (R ) (por ser convolucion de dos funciones de L1 (Rn ) y
1 n

ademas es acotada y continua (por ser convolucion de dos funciones de L2 (Rn )).

Ademas, como h L1 (Rn ) y es continua en el origen, sabemos por el lema de Fatou (notar que
= |f|2 0) que
h
Z Z Z
t||2 t||2 d
h(0) = lm h()e d lm h()e d = h()
t0 Rn Rn t0 Rn

y por lo tanto f L1 (Rn ).

En consecuencia, Z Z
h(0) = d =
h() |f()|2 d
Rn Rn
y, por otro lado,
Z Z Z
h(0) = (f g)(0) = f (y)g(y) dy = f (y)f(y) dy = |f (y)|2 dy.
Rn Rn Rn

Luego, kfk2 = kf k2 y f L2 (Rn ).


CAPTULO 9

Clase 9

1. La transformada de Fourier en L2 (Rn )

Como L1 L2 (Rn ) es denso en L2 (Rn ), la transformada de Fourier se puede extender de manera


nica a todo L2 (Rn ). En efecto, si f L2 (Rn ), f |B(0,R) L1 (B(0, R)) para todo R > 0 y como
u
ademas f |B(0,R) f en L2 , entonces
Z

f () = lm f (x)e2ix dx
R |x|<R

(el lmite anterior debe ser interpretado en L2 ).

Ademas como F es un operador lineal y continuo de L1 en L y de L2 en L2 , podemos extenderlo


a Lp para todo 1 < p < 2. En efecto, basta escribir f = f1 + f2 con f1 L1 y f2 L2 y definir
f = f1 + f2 .

Por supuesto habra que verificar que f as definida esta bien definida (independientemente de la
descomposici
on), pero no vamos a usar este enfoque, nuestro objetivo es definir a la transformada
sobre un espacio mas general.

2. El espacio S

Notacio n 9.1. Dado = (1 , . . . , n ) con j N0 para 1 j n, notamos || := 1 + +n ,


y definimos
x := x1 1 . . . xnn
y
||
D = .
x1 1 . . . xnn
Definicio n 9.2. Definimos el espacio S(Rn ) como el espacio de las funciones en C (Rn ) tales
que ellas y todas sus derivadas son rapidamente decrecientes. Mas precisamente,
S(Rn ) = { C (Rn ) : |x D (x)| C, para todos , (N0 )n }
an en S(Rn ):
Ejemplos 9.3. Las siguientes funciones est
2
1. (x) = et|x| para todo t > 0.
2. C0 (Rn ), es decir C y sop() K, con K un compacto. En la teora de
distribuciones, el espacio C0 (Rn ) se suele llamar D(Rn ).
46 9. CLASE 9

n 9.4. Valen las siguientes propiedades:


Proposicio

1. S(Rn ) Lp (Rn ) para todo 1 p .


2. Si S, entonces D Lp (Rn ) para todo 1 p y todo multindice .
3. S es denso en Lp (Rn ) para todo 1 p < , y es denso en C0 (es decir, el espacio de
funciones continuas que tienden a cero en ) en norma k k .

Ck
Demostraci on. 1. Como (1 + |x|2 )k |(x)| Ck , |(x)| (1+|x|2 )k
y por lo tanto esta el Lp si
consideramos k > n/2.

2. Es analoga a la demostracion anterior.

3. Ya sabemos que si C0 (Rn ) y = 1, entonces f t f en Lp si f Lp . Adem


R
as

f t C , pero no sabemos que este en S. Para solucionar este problema basta considerar
una sucesion j C , tal que j = 1 en |x| < j y j = 0 en |x| > j + 1, y tomar j (f tj ).
Dejamos los detalles como ejercicio.
Teorema 9.5. Si f S, entonces f S.

Demostraci on. Primero veamos que f C . Recordemos que por la Proposicion 7.4 si
f
xj f L1 y f L1 , entonces x j
es continua. Iterando, obtenemos que para todo , si x f L1 ,
entonces f es derivable hasta orden ||. Como f S, x f L1 para todo y se sigue que
f C .

Falta ver entonces que D f L para todo , , pero esto se deduce inmediatamente de la
igualdad D f = D\
(x f ).

Observacio n 9.6. S no es un espacio normado, pero s es numerablemente normado. En efecto,


para cada , podemos definir kk, = kx D k y decimos que j en S si kj k,
0 cuando j para todo , .

Por ser numerablemente normado, S resulta ser un espacio metrico. En efecto, dada una nu-
on de las normas k kk podemos definir
meraci
X 1 k kk
d(, ) = k
2 (1 + k kk )
k

y vale que j en S si y s
olo si d(, j ) 0.

3. El espacio S 0

n 9.7. Llamamos espacio de distribuciones temperadas al


Definicio
S 0 (Rn ) := {T : S(Rn ) C lineales y continuas}
donde por continua entendemos que si j en S, entonces hT, j i hT, i para toda S.
3. EL ESPACIO S 0 47

Ejemplo 9.8. Si f Lp (Rn ), le podemos asociar Tf S 0 (Rn ) definida por


Z
hTf , i = f (para toda S).
Rn

Mas en general, si f L1loc (Rn ) y |f (x)| C(1 + |x|m ) para alg


un m N, entonces Tf est
a bien
0 n
definida y Tf S (R ). Como f Tf es una aplicaci on inyectiva, podemos pensar que se trata
de una inclusi
on de espacios, por lo que escribiremos f en lugar de Tf .
Ejemplo 9.9 (Derivada en S 0 ). Queremos dar una definici on de derivada en S 0 . Si T S 0 fuese
on y h , i la integral, podramos integrar por partes y observar que los terminos de borde
una funci
se anulan. Esto motiva la siguiente definici on:
T
h , i := hT, i
xj xj
as en general, podemos definir D : S 0 S 0 como
M
hD T, i := (1)|| hT, D i
2T 2T
on implica, en particular, que si T S 0 , entonces
Observemos que esta definici xj xi = xi xj .

Usando un razonamiento an alogo al que empleamos para extender la nocion de derivada a S 0 ,


obtenemos la siguiente definici
on:
n 9.10. Dada T S 0 (Rn ), su transformada de Fourier se define como
Definicio

hT, i := hT, i
(9.30)

Observacio n 9.11. Es importante notar que si T S 0 , entonces T S 0 . Que es lineal es claro,


y para ver que es continua basta recordar que si j en S entonces j en S y entonces

hT, j i = hT, j i hT, i


= hT, i
Definicio n 9.12. En general no se puede definir el producto de dos distribuciones temperadas,
pero s podemos definir el producto entre S y T S 0 . Usando el mismo razonamiento con
el que extendimos las otras operaciones, definimos T S 0 por hT, i := hT, i para toda
S.

Mas a on tiene sentido siempre qeu S, por ejemplo si es un polinomio y


un, esta definici

tambien si C y todas sus derivadas est an acotadas por polinomios.

Con la definici
on anterior tienen sentido las siguientes propiedades, cuya demostracion dejamos
como ejercicio.
n 9.13. Si T S 0 (Rn )
Proposicio

1. [(2ix )T ] = D (T).
2. D
[ T = (2i) T().
48 9. CLASE 9

Queremos ahora darle sentido a la convolucion entre T S 0 (Rn ) y S(Rn ). Para esto,
observemos que si tuviera f, g L1 (Rn ), entonces
Z Z
(f g)(x) = f (y)g(x y) dy = f x g(y)
Rn Rn
donde g(x) = g(x) y y h(x) = h(x y). Esto motiva la siguiente definicion:
n 9.14. Si S(Rn ) y T S 0 (Rn ), su convoluci
Definicio on se define por
(T )(x) := hT, x i.

Se puede ver que valen propiedades analogas a las de la convolucion en Lp , por ejemplo que
= hx T, i. Para esto es necesario extender la definicion de x a distribuciones, lo
hT, x i
dejamos como ejercicio.
CAPTULO 10

Clase 10

1. Series de Fourier en Rn

En lo que sigue vamos a notar Tn al toro n-dimensional.


n 10.1. Dada f L1 (T n ) definimos sus coeficientes de Fourier como
Definicio
Z

f (k) = f (x)e2ixk dx
Tn

donde k = (k1 , . . . , kn ) Zn , y definimos su serie de Fourier por


X
f f(k)e2ikx .
kZn

Con esta definicion, nos interesa saber si la serie de Fourier converge para f Lp (Tn ) y en
que sentido. Recordemos que si n = 1, y
X
SN f (x) = f(k)e2ikx (10.31)
|k|N

entonces SN f f en Lp (T) si f Lp (T) y 1 < p < .

Entonces, una generalizaci


on natural a mas variables es considerar
X
SN f (x) = f(k)e2ikx .
kkk2 N

Se puede ver que con esta definicion SN f f en L2 (Tn ) para toda f L2 (Tn ), pero C.
o que este resultado no vale en Lp si p 6= 2.
Fefferman demostr

2. Operadores dados por un multiplicador

n 10.2. Dadas f S(Rn ) y L (Rn ), definimos el operador T con multiplicador


Definicio
como
Z
T f (x) = ()f()e2ix d = [f](x)
Rn
50 10. CLASE 10

El caso que nos interesa es () = [0,N ] (||). Entonces


Z Z
TN f (x) =
()f ()e 2x
d = f()e2ix d
Rn ||N
ya que veremos que estudiar la convergencia en Lp (Rn ) de este operador equivale a estudiar la
convergencia en Lp de la serie (10.31).

Observemos adem as que por lo que vimos anteriormente, la convergencia en Lp de TN f a f


es equivalente a la acotacion kTN f kp Ckf kp , con C independiente de N . En efecto, una
implicacion se sigue del principio de acotacion uniforme, y para la recproca basta usar que
TN f f en Lp para toda f S (que es denso en Lp ). Como la demostracion es analoga a la
del caso unidimensional, dejamos los detalles como ejercicio.

Observemos adem as que kTN kL(Lp ,Lp ) = kT1 kL(Lp ,Lp ) , por lo que el problema de ver si TN f f
en Lp para toda f Lp se reduce a ver si el operador
Z
T1 f (x) = B(0,1) ()f()e2ix d
Rn
es continuo en Lp (Rn ).
Teorema 10.3. Sea L (Rn ) continua, y para R > 0 sea
X k
SR f (x) = f(k)e2ikx .
n
R
kZ
Entonces, SR f f en Lp
para toda f Lp (Tn ) si y s
olo si el operador de multiplicador T
asociado a es continuo en Lp (Rn ).
Observacio n 10.4. El la demostracion veremos que para probar que SR f f en Lp implica
que T es continuo en L sp olo hace falta pedir que g es integrable Riemann para toda funci
on
n
g C(R ). Esto es importante porque nos interesa considedar el caso en que = B(0,1) , para
ver la que serie de Fourier de varias variables no converge en Lp si p 6= 2.
Lema 10.5. Con las hip otesis del teorema anterior, si SR est
an acotados uniformemente en
Lp (Tn ), entonces T es continuo en Lp (Rn ).

Demostraci on. Supongamos que f, g C0 (Rn ) y definamos, para R > 0, fR (x) = f (Rx) y
gR (x) = g(Rx). Para R suficientemente grande, fR y gR tienen soporte en (1/2, 1/2)n , as que
las podemos pensar como funciones periodicas de perodo 1.
n
as que kfR kp,Tn = R p kf kp,Rn . Por lo tanto,
Observemos adem
Z

gR (x) dx CkfR kp,Tn kgR kp0 ,Tn
n SR fR (x)

T
= CRn kf kp,Rn kgkp0 ,Rn
y por Parseval
Z  
X k
fR (k)gR (k)

SR fR (x)
gR (x) dx =


Tn n
R
kZ
2. OPERADORES DADOS POR UN MULTIPLICADOR 51

Notemos adem
as que
Z
fR (k) = fR (t)e2ikt
Tn
Z
k
= f (x)e2i R x Rn dx
Rn
 
k

=f Rn .
R

Entonces, tenemos que


     

n X k k k
R f g Ckf kp,Rn kgkp0 ,Rn
R R R
kZn
| {z }
()

pero () es una suma de Riemann de fg, por lo que el lado derecho de la desigualdad anterior
tiende, cuando R , a
Z Z

()f ()
g () d = T f (x)g(x) dx
Rn Rn
y, por lo tanto, Z


T f (x)g(x) dx Ckf kp,Rn kgkp0 ,Rn
R n

como queramos.
Lema 10.6. Si f C(Tn ), y la pensamos como continua y peri
odica en Rn , entonces vale
Z Z
n 2
lm 2 f (x)e|x| dx = f (x) dx.
0+ Rn Tn

Demostraci on. Por densidad, basta probar que la desigualdad vale si f es un polinomio
trigonometrico. M un, por linealidad, basta probarlo para f (x) = e2ikx , k Zn .
as a

Por un lado, notemos que Z Z


f (x) dx = e2ikx dx = 0.
Tn Tn
y, por otro,
Z Z
n 2 2i k y |y|2
2 e2ikx e|x| dx = e e dy
Rn Rn
 
|y|2 k
= [e ]

|k|2
= e

que tiende a cero cuando 0 ya que |k| =


6 0.
CAPTULO 11

Clase 11

1. Operadores dados por un multiplicador

2
n 11.1. Llamaremos (x) = e|x| , x Rn .
Notacio

Dejamos como ejercicio la siguiente propiedad de estas funciones, que usaremos a continuacion:

n 11.2. Dados a, b > 0,


Observacio
n
a b = (a + b) 2 ab .
a+b

Lema 11.3. Si , > 0, + = 1 y P, Q son polinomios trigonometricos, entonces


Z Z
n
lm 2 T (P )Q dx = dx
S(P )Q (11.32)
0 Rn Tn

Demostraci on. Por linealidad, basta ver que el resultado vale para P (x) = e2imx , Q(x) =
e 2ikx , con m, k Zn . Empezamos calculando
Z
2
P () =
[ e2imx e|x| e2ix dx
n
ZR
2
= e|x| e2i(m)x dx
n
ZR
2 2i(m) y n
= e|y| e () 2 dy

Rn
n |m|2
= () 2 e

Entonces, por la igualdad de Parseval

|k|2
Z Z
n n |m|2
n n
e 2 T (P )Q dx = ()
2 2 () 2 ()e e d
Rn Rn
|(km)|2
Z
n ||2

= () 2 ( + m)e e d
Rn
54 11. CLASE 11

1 1
Por la observaci
on 11.2 con a = yb= y recordando que + = 1 (lo que implica que
n
a+b= ()1 y ab
a+b = 1 ) resulta que ()1 ()1 = () 2 1 . Entonces
Z
n
2 T (P )Q kk 1 (km)
Rn
|km|2
= kk e

que claramente tiende a cero cuando 0 si k 6= m. Para ver que vale (11.32) en este caso,
basta observar entonces que
Z Z

S(P )Q dx = (m) e2imx e2ikx
Tn Tn
=0 (si k 6= m)

Pasemos entonces al caso k = m. Por un lado tenemos que


Z Z
1 1
n
n ||2 ( + )
lm 2 T (P )Q dx = lm () 2 ( + m)e d
0 Rn 0 Rn

||2
Z
n
= lm () 2 ( + m)e d
0 Rn
= (m),
= 1 y t (x) = tn ( xt ), entonces t cuando t .
R
donde usamos que si 0,

Por otro lado, tenemos que


Z Z
S(P )Q dx = (m)e2imx e2imx dx
Tn Tn
= (m).

Teorema 11.4. Si con las hip otesis anteriores el operador T es continuo en Lp (Rn ), entonces
S es continuo para los polinomios trigonometricos y admite una u on a Lp (Tn ).
nica extensi

Demostraci on. Observemos que eligiendo = p1 , = p10


Z
n n
2
T (P p )Q 0 dx kT kL(Lp ,Lp ) 2 kP p kp,Rn kQ 0 kp0 ,Rn
p p
Rn
 Z 1  Z  10
n p n p
p |x|2 p0 |x|2
= kT kL(Lp ,Lp ) 2 |P (x)| e dx 2 |Q(x)| e dx
Rn Rn
= kT kL(Lp ,Lp ) kP kLp (Tn ) kQkLp0 (Tn )

Tomando lmite 0, resulta entonces


Z

n S(P )Q dx kT kL(Lp ,Lp ) kP kLp (Tn ) kQkLp0 (Tn )

T
como queramos ver.
Teorema 11.5. SR f f en Lp (Tn ) si y s
olo si T es continuo en Lp (Rn ).
2. EL PROBLEMA DE DIRICHLET EN EL SEMIPLANO R R+ 55

Demostraci on. Supongamos primero que SR f f converge, entonces kSR f kp C(f ) para
toda f Lp (Tn ). Por el principio de acotacion uniforme, vale entonces que kSR f kp Ckf kp
para toda f Lp (Tn ).

Para ver que vale la recproca, si llamamos TR f (x) = (( R )f())(x), entonces si T es continuo,
TR es continuo y kT kp = kTR kp . Por lo que vimos antes, si TR es continuo, SR es continuo y
esta uniformemente acotado para todo R. Por lo tanto, la convergencia se deduce P de la conver-
gencia en un denso, por ejemplo los polinomios trigonometricos. Pero si P (x) = |k|N ck e2ikx ,
X k
SR P (x) = ck e2ikx (0)P (x).
R
kN

2. El problema de Dirichlet en el semiplano R R+

Dada f , buscamos u(x, t) arm onica en R R+ tal que u(x, 0) = f (x). Es inmediato ver que a
diferencia del caso del disco, no hay unicidad para este problema. Basta considerar, por ejemplo
u1 (x, t) = t y u2 (x, t) = 0, entonces ambas funciones son armonicas y cumplen u1 (x, 0) =
u2 (x, 0) = 0.

Si suponemos u S y transformamos Fourier en x, obtenemos


(c
utt + u
d tt (, t) + (2i)2 u
xx )(, t) = u (, t) = 0
Para fijo, esta es una ecuaci
on ordinaria con solucion general
(, t) = A()e2||t + B()e2||t
u
Como estamos buscando una soluci S 0 , consideramos B = 0.
on particular, y queremos que u
Entonces buscamos
(, t) = A()e2||t
u
(, 0) = f()
u
entonces, u(x, t) = (Pt f )(x) con
Pt (x) = (e2||t )(x)
Z
= e2||t e2ix d

Z0 Z
= 2t 2ix
e e d + e2t e2ix d
0
Z 0 Z
2(t+ix)
= e d + e2(ixt) d
0
1 1
=
2(t + ix) 2(ix t)
1 t
=
(x2 + t2 )
56 11. CLASE 11

R
Si t = 1, P (x) = 1 (1+x 1
ucleo de Poisson, y verifica P L1 (R), P = 1 y
2 ) se llama n

Pt = t1 P ( xt ). Entonces, u(x, t) = (Pt f )(x) y u(x, t) f (x) en Lp (R) si f Lp (R).


CAPTULO 12

Clase 12

1. La transformada de Hilbert en R

Buscamos una conjugada arm onica de u(x, t) = (f Pt )(x) con P (x) = 1 (1+x 1
2 ) y Pt (x) =
1 x 1
t P ( t ). Para esto, observemos que si z = x + it entonces z es analtica en el semiplano t > 0
y vale que
i1 i z 1 (t + ix)
= 2
= ,
z |z| (x2 + t2 )
por lo que
 
i1 1 t
Pt (x) = Re =
z (x2 + t2 )
1 x
y si llamamos Q(x) = (x2 +1)
 
i1 1 x
Qt (x) = Im = ,
z (x + t2 )
2

entonces Pt (x), Qt (x) son funciones armonicas en R R+ (pensadas como funciones de (x, t)).
Entonces, (f Pt )(x) y (f Qt )(x) tambien son armonicas y v(x, t) = (f Qt )(x) es una conjugada
armonica de u(x, t).

Si pudieramos tomar lmite para t 0, tendramos ademas que


1 f (y)
Z
v(x, t) dy
x y
pero en principio esta integral no tiene sentido porque es una convolucion con x1 6 L1 (R).
Sin embargo, veremos que s tiene sentido como valor principal, lo que nos permite definir la
transformada de Hilbert de f como
Z
1 f (y)
Hf (x) := lm dy. (12.33)
0 |xy|> x y

Veamos que si f S el lmite (12.33) existe. Para esto escribimos


f (x y) f (x y) f (x y)
Z Z Z
dy = dy + dy
|y|> y <|y|<1 y |y|>1 y
| {z } | {z }
(i) (ii)
58 12. CLASE 12

y, por un lado, tenemos que, como f S,

Z
|(ii)| |f (x y)| dy < +
|y|>1

1
R
y, por el otro, como <|y|<1 y dy = 0,

Z
f (x y)
|(i)| = dy

<|y|<1 y
Z
f (x y) f (x)
= dy

<|y|<1 y

y existe el lmite cuando 0 porque el integrando es una funcion acotada (por kf k ), de


donde conclumos que Hf est a bien definida.

Si bien la transformada de Hilbert no es una convolucion con una funcion integrable, la podemos
pensar como una convoluci on de f S con un nucleo K S 0 . O sea, si definimos v.p. x1 S 0 por

Z
1 (y)
hv.p. , i = lm dy
x 0 |y|> y

para toda S, (dejamos como ejercicio verificar que efectivamente v.p. x1 S 0 ), entonces vale
que

 
1
Hf (x) = v.p. f
x

para toda f S.

Si ahora transformamos Fourier, tenemos que

1
 
d () = 1
Hf v.p. ()f ()
x
1. LA TRANSFORMADA DE HILBERT EN R 59

por lo que nos interesa conocer la transformada de v.p. x1 . Por definicion, si S,


1
 
1
h v.p. , i = hv.p. , i
x x
Z
()

= lm d
0 ||>
Z
(x)e2ix
Z
= lm dx d
0 ||>
Z
(x)e2ix
Z
= lm dx d
0,M <||<M
Z
e2ix
Z
= lm (x) d dx
0,M <||<M
Z Z
sin(2x)
= lm (x) d dx
0,M <||<M
Z Z
sin(2x)
= (x) lm d dx
M ||<M
ya que podemos usar convergencia mayorada porque

(x) sin(2x)
|(x)|2x

Entonces solo nos falta calcular


Z M Z M
sin(2x) sin(2x)
lm d = lm d(2x)
M M M M 2x
Z 2xM
sin(y)
= lm dy
M 2xM y

x>0
=
x < 0
R
donde en la u ltima igualdad usamos que siny y dy = (ver el lema 12.4 mas adelante). En
definitiva, probamos que
1
  Z
h v.p. , i = isg(x)(x) dx
x
de donde concluimos que
1
 
v.p. () = isg()
x
(estamos usando el abuso de notacion que consiste en identificar a la distribucion dada por una
funcion con la misma funci
on) y, por lo tanto,
d () = isg()f()
Hf
Corolario 12.1. Usando la igualdad de Parseval es inmediato ver que kHf k2 = kf k2 .
60 12. CLASE 12

n 12.2. H(Hf ) = f
Observacio

Demostraci
on. Basta observar que
d () = (isg)2 f = f
[H(Hf )] = isg()Hf
y antitransformar.
Observacio on anterior, se puede ver que kHf kp Ckf kp si 1 <
n 12.3. Usando la observaci
p < , con una demostraci
on analoga a la que hicimos en el caso del disco.

Para la demostraci
on anterior nos faltaba probar el siguiente lema:
Lema 12.4. Z
sin x
dx = (12.34)
x

Demostraci
on. Probemos primero que
Z Z
sin x sin2 x
dx = 2
dx. (12.35)
x x

En efecto, integrando por partes,


(1 cos x)0
Z M Z M
sin x
dx = dx
M x M x
1 cos x M
Z M
1 cos x
= + dx
x
M M x2
y tomando lmite para M ,

1 cos x
Z Z
sin x
dx = dx
x x2
2 sin2 ( x2 )
Z
= dx
x2

sin2 y
Z
= dy
y2
como queramos ver. Si ahora recordamos que
1 sin

[ 1
, 1 ] () =
2 2
por Parseval resulta que
Z
sin2
Z
1 2 1
= [ (x) dx = 2 d (12.36)

1
, 1 ]
2 2 2
y combinando (12.35) y (12.36) obtenemos la igualdad del enunciado.
CON NUCLEO
2. OPERADORES DE CONVOLUCION EN S 0 61

2. Operadores de convoluci ucleo en S 0


on con n

Nuestro objetivo es estudiar la continuidad de operadores de convolucio, es decir, de la forma


T f (x) = (K f )(x)
con K S 0 (Rn ) (por ejemplo, K = v.p. x1 en R como en el caso de la transformada de Hilbert).
Estos operadores conmutan con translaciones, es decir que h T = T h para todo h, donde
h f (x) = f (x). M
as aun, vale el siguiente teorema.
Teorema 12.5. Si T es un operador lineal definido en S(Rn ) y continuo de Lp (Rn ) en Lq (Rn )
as conmuta con translaciones, entonces existe K S 0 tal que para toda f S, T f =
que adem
K f.
CAPTULO 13

Clase 13

1. Operadores de convoluci ucleo en S 0


on con n

Para la demostraci
on siguiente usaremos el siguiente teorema de inmersion
Teorema 13.1. Si f Lp (Rn ) con 1 p < y D f Lp (Rn ) para todo || n + 1, entonces
f es continua y vale que para todo x Rn ,
X
|f (x)| C kD f kp
||n+1

Demostraci
on. Supongamos primero que p = 1. Vamos a usar que
n+1 X
(1 + |x|2 ) 2 (1 + |x1 | + + |xn |)n+1 C |x |.
||n+1

Entonces
n+1 X
|f(x)| = (1 + |x|2 ) 2 |D
d f (x)|

||n+1
n+1
X
(1 + |x|2 ) 2 kD f k1
||n+1

Luego, f L1 (Rn ) y
X
kfk1 C kD f k1
||n+1
y, por lo tanto, X
kf k kfk1 C kD f k1
||n+1

Para el caso en que p > 1, consideramos 0, C0 (Rn ) y tal que



1 x>1
(x) =
0 x2
Como estamos suponiendo que D f Lp para todo || n + 1, entonces D (f ) L1 para
todo || n + 1. En efecto,
X
D (f ) = C, D D f
||
64 13. CLASE 13

de donde, por la desigualdad de H


older,
X
kD (f )k1 C kD f kp .
||

Entonces, basta aplicar el caso p = 1 a f .


Teorema 13.2. Si T : Lp (Rn ) Lq (Rn ) es un operador lineal, continuo y que conmuta con
traslaciones (o sea, h T = T h ), entonces existe K S 0 tal que para toda f S, T f = (K f ).
Equivalentemente, T f = (K f).

Demostracion. Observemos que tener h T = T h implica que si f S, D T f = T (D f ).


Dejamos como ejercicio verificar esta afirmacion, para la cual hay que ver que
(x + hej ) (x)
= lm
xj h0 h
donde la convergencia vale en S para toda S, y despues usar la hipotesis e induccion.

Como consecuencia, observemos que lo anterior implica que si S, entonces D T Lq para


todo . En particular, T es continua.

Recordemos que estamos buscando K S 0 tal que T f = (K f ). Si fueran funciones, esto


querra decir que
Z
T f (0) = K(y)f (y) dy
Z

= K(y)f (y) dy
f i.
= hK,

Entonces, definimos K S 0 como hK, i = T (0). Veamos que con esta definicion K S 0 y,
0
en consecuencia, K S . Notemos que como T es lineal, K es lineal. Tenemos que ver que si

j S y j , entonces hK, j i hK, i en S, es decir, que T j (0) T (0). Pero por el
teorema,
X
|T (j )(0)| C kD T (j )kq
||n+1
X
=C kT (D (j ))kq
||n+1
X
C kD (j )kp
||n+1

y esta suma tiende a cero porque estamos suponiendo que j en S.

ltimo, falta ver que T f = K f . Efectivamente,


Por u
x f i = (K f )(x).
T f (x) = x (T f )(0) = T (x f )(0) = hK,
2. EJEMPLOS DE INTEGRALES SINGULARES 65

2. Ejemplos de integrales singulares

Nuestro objetivo es analizar la continuidad en Lp (Rn ) de operadores integrales singulares de Cal-


deron-Zygmund, de la forma T f = K f donde K |x|n y ademas cumple ciertas propiedades
que puntualizaremos m as adelante.
Ejemplo 13.3. Como dijimos anteriormente, la transformada de Hilbert es un ejemplo de un
operador de este tipo.
Ejemplo 13.4. Dada f C0 (Rn ), una soluci on de la ecuaci a dada por u = G f ,
on u = f est
donde G es una soluci on fundamental del Laplaciano, es decir que verifica G = en sentido
distribucional. En efecto, en ese caso tenemos que
u = (G f ) = G f = f = f.
En el caso del Laplaciano, G(x) = Cn |x|2n si n 3 y G(x) = C2 log |x| si n = 2. Supongamos
que n 3, entonces Z
f (y)
u(x) = Cn dy
Rn |x y|n2
y
Z  
u 1
=C f (y) dy
xi Rn xi |x y|n2
(xi yi )
Z
=C n
f (y) dy
R |x y|
n

xi
ya que |x|n L1loc (Rn ), y podemos usar convergencia mayorada para derivar dentro de la integral.

Consideremos ahora, para j 6= i


2u (xi yi )
Z

=C f (y) dy.
xj xi xj Rn |x y|n
Como en este caso no podemos usar convergencia mayorada, podemos considerar, en sentido
distribucional
2u (xi yi )
Z Z

h , i = n
f (y) dy (x) dx
xj xi Rn xj Rn |x y|
(xi yi )
Z Z

= n
f (y) (x) dy dx
Rn Rn |x y| xj
(xi yi )
Z Z
= lm n
(x) dx f (y) dy
Rn 0 |xy|> |x y| xj
"Z #
(xi yi )
Z Z
= lm ki,j (x y)(x) dx + n j
(x) dS f (y) dy
Rn 0 |xy|> |xy|= |x y|

donde
(xi yi ) c(xi yi )(xj yj ) 1
ki,j (x y) = =
xj |x y|n |x y|n+2 |x y|n
y
xj yj
j =
|x y|
66 13. CLASE 13

es la direcci
on j-esima de la normal unitaria.

Consideremos por separado


Z Z
(1) = lm ki,j (x y)(x) dx f (y) dy
Rn 0 |xy|>
Z Z
= lm ki,j (x y)f (y) dy (x) dx
Rn 0 |xy|>
y
(xi yi )(xj yj )
Z Z
(2) = lm (x) dS f (y) dy
0 Rn |xy|= |x y|n+1
(xi yi )(xj yj )
Z Z
= lm ((x) (y) + (y)) dS f (y) dy
0 Rn |xy|= |x y|n+1
(xi yi )(xj yj )
Z Z
= lm ((x) (y)) dS f (y) dy
0 Rn |xy|= |x y|n+1
| {z }
(i)
(xi yi )(xj yj )
Z Z
+ lm (y) dSf (y) dy
0 Rn |xy|= |x y|n+1
| {z }
(ii)

Tomando m odulo dentro de la integral tenemos que


n
(i) n1 0

mientras que calculando la integral mas interna,
Z
(ii) = C f (y)(y) dy
Rn
En definitiva, u = G f satisface que u = f y
2u
Z
= lm ki,j (x y)f (y) dy +Cf (x)
xi xj 0 |xy|>
| {z }
=T f (x)

donde T f es un operador integral singular. Si vemos que T es continuo en Lp resultar


a entonces
que adem on kD2 ukp Ckf kp .
as vale la estimaci
Ejemplo 13.5. Otro ejemplo de operador integral singular al que volveremos m
as adelante son
n
las transformadas de Riesz en R , definidas por
x j yj
Z
Rj f (x) = lm f (y) dy.
0 |xy|> |x y|n+1
CAPTULO 14

Clase 14

1. Operadores integrales singulares

Nos interesa estudiar Z


T f (x) = lm K(x y)f (y) dy
0 |xy|>
| {z }
=T f (x)

Nuestro objetivo es poner condiciones sobre K que impliquen que

1. Existe lm0 T f si f S;
2. Dado 1 < p < , kT f kp Ckf kp con C dependiendo de p pero no de .

Vamos a usar el siguiente lema:


Lema 14.1 (Descomposici on de Calderon-Zygmund). Dada f L1 (Rn ), f 0, y dado > 0
on de Rn en conjuntos disjuntos y F tales que
existe una descomposici

1. f (x) para casi todo x F ;


2. = j Qj , donde Qj son cubos de Rn disjuntos dos a dos (con excepci
on de las caras)
y tales que para todo j
Z
1
< f dx 2n .
|Qj | Qj
n 14.2. Observemos que de la condici
Observacio on 2. resulta en particular que
X 1
|| = |Qj | kf k1 .

j

on. Como f L1 (Rn ), dado un cubo Q vale que


Demostraci
Z Z
1 1
f dx f dx 0 cuando |Q| .
|Q| Q |Q| Rn
O sea que dado > 0 podemos cubrir Rn con cubos Q suficientemente grandes tales que
Z
1
f dx .
|Q| Q
68 14. CLASE 14

Sea Q uno de estos cubos, lo dividimos uniformente en 2n cubos Q0 . Entonces, Q0 cumple que o
bien Z Z
1 1
< 0 f dx o bien f dx .
|Q | Q0 |Q0 | Q0
En el primer caso, seleccionamos a Q0 como uno de los cubos Qj ; veamos que se cumple lo que
querememos. En efecto, como 2n |Q0 | = |Q|, entonces
2n 2n
Z Z Z
1
f dx = f dx f dx 2n .
|Q0 | Q0 |Q| Q0 |Q| Q
Si en cambio Q0 cumple la segunda condicion, entonces lo volvemos a subdividir en 2n cubos Q00
como antes y repetimos el procedimiento.

De esta manera, obtenemos una familia numerable de cubos Qj con interiores disjuntos y tales
que para todo j Z
1
< f dx 2n .
|Qj | Qj
Llamamos = j Qj y F = c . Ya sabemos que cumple lo que necesitamos, falta ver que F
tambien. Para esto, notemos que si x F entonces, existe una sucesion de cubos Qk tales que
|Qk | 0 y x Qk para todo k. Ademas,
Z
1
f dx .
|Qk | Qk
Entonces, por el teorema de Lebesgue, f (x) si x es punto de Lebesgue.
Teorema 14.3. Sea 1 < p < y supongamos que K C 1 (Rn {0}) y K L2 (Rn ) (o alguna
on para que K f este definido en un denso), y supongamos que existe una constante
otra condici
B tal que

1. kT f k2 Bkf k2
2. |K(x)| B|x|(n+1)

Entonces, dado p con 1 < p < , T es continuo en Lp (Rn ) y, mas a


un, kT f kp Ckf kp donde
C depende s
olo de B y de p.

Demostracion. Veamos primero que T es de tipo debil (1, 1), es decir, queremos ver que dado
> 0 vale
kf k1
|{x : T f (x) > }| C

donde C depende solamente de B y de n.

on de Calderon-Zygmund para |f | para obtener Rn = F


Fijado , aplicamos la descomposici
con = j Qj y Z
1
< |f | dx 2n .
|Qj | Qj
Descomponemos f = g + b con

f (x) si x F
g(x) =
fQj si x Qj
1. OPERADORES INTEGRALES SINGULARES 69

1
R
donde notamos con fQj = |Qj | Qj f, y
X
b(x) = bj (x),
j
R
donde bj (x) = [f (x)fQj ]Qj (x), y por son funciones soportadas en en Qj tales que bj dx = 0.

Veamos que |g(x)| 2n en casi todo punto. En efecto, si x F , entonces |g(x)| =R|f (x)| ,
mientras que si x 6 F , entonces x Qj para alg un j y por definicion g(x) = |Q1j | Qj f dx, de
donde se sigue que Z
1
|g(x)| |f | dx 2n .
|Qj | Qj

Observemos ahora que


   

|{x : |T f (x)| > }| x : |T g(x)| >
+ x : |T b(x)| >
2 2
Por un lado, tenemos entonces que
2|T g(x)| 2
Z  

|{x : |T g(x)| > }| dx
2 Rn
Z
4
2 |T g(x)|2 dx
Rn
Z
4 2
2B |g(x)|2 dx
n
ZR
4 2
2B (2n )|g(x)| dx
Rn
Z
C(n, B)
= |g(x)| dx
Rn
pero
Z Z Z
|g(x)| dx = |g(x)| dx + |g(x)| dx
Rn F
Z XZ
= |f (x)| dx + |fQj | dx
F j Qj
Z XZ
|f (x)| dx + |f (x)| dx
F j Qj

= kf k1

Nos falta ver entonces que  


x : |T b(x)| > C kf k1

2
con C = C(n, B). Para esto, para cada Qj definimos Qj como el cubo expandido que tiene el
mismo centro que Qj y lados del doble de longitud, y definimos
= j (Qj )o , F = ( )c
70 14. CLASE 14

Observemos que
X X kf k1
| | |Qj | C |Qj | = C||

j j

y, por lo tanto,
     
x : |T b(x)| > = x : |T b(x)| > + x F : |T b(x)| >

2 2 2
 

| | + x F : |T b(x)| >

2
 
C
kf k1 + x F : |T b(x)| >

2

o sea que basta acotar |{x F : |T b(x)| > 2 }|. Pero |T b|


P
|T bj |, y como sop(bj ) Qj ,
Z
T bj (x) = K(x y)bj (y) dy
Qj
Z
= [K(x y) K(x yj )]bj (y) dy
Qj

R
donde yj es el centro del cubo Qj y usamos para la segunda igualdad que bj (x) dx = 0.

Ahora, como x F = (Qj )c e y Qj , K(x y) es de clase C 1 (como funcion de y) para y Qj .


Entonces,

K(x y) K(x yj ) = K(x j )(yj y)

un j Qj (que depende de y e yj ). Por lo tanto,


para alg

B diam(Qj ) C diam(Qj )
|K(x y) K(x yj )| |K(x j )| diam(Qj ) n+1

|x j | |x y|n+1

para todo y Qj . Entonces,


Z
diam(Qj )
|T bj (x)| C |bj (y)| dy.
Qj |x y|n+1

Llamemos (y) a la distancia de y a F , entonces diam(Qj ) C(y) para todo y Qj y tenemos


que, para todo x F
Z Z
X X (y)|bj (y)| (y)b(y)
|T b(x)| |T bj (x)| C dy C dy
Qj |x y|n+1 |x y|n+1
j j
1. OPERADORES INTEGRALES SINGULARES 71

de donde deducimos finalmente que


 
|T b(x)|
Z
x F : |T b(x)| > 2

dx
2 F
Z Z
C (y)|b(y)|
dy dx
F |x y|n+1
Z Z
C 1
= (y)|b(y)| dx dy
F |x y|n+1
Z Z
C 1
(y)|b(y)| n+1
dx dy
|xy|(y) |x y|
ltima desigualdad usamos que para todo x F , (y) |x y|. Pasando a
donde para la u
coordenadas polares, si z = |x y|,
Z Z n1
1 r 1
n+1
dz = C n+1
dr
|z|(y) |z| (y) r (y)
y reemplazando en la desigualdad anterior, obtenemos
  Z
x F : |T b(x)| > C C

|b(y)| dy kf k1 .
2
CAPTULO 15

Clase 15

Vimos que T es de tipo debil (1, 1). Entonces, como estamos suponiendo que el operador es
continuo en L2 (Rn ), por el teorema de interpolacion de Marcinkiewicz resulta que kT f kp
Ckf kp para todo 1 < p 2, con C = C(B, p).

Para 2 < p < usamos el siguiente argumento de dualidad: si f S,


Z Z Z
T f (x)g(x) dx = K(x y)f (y)g(x) dy dx
Z Z
= K(x y)g(x) dx f (y) dy
Z
= Tg(y)f (y) dy

donde Tg = K
g y K(x)
= K(x). Entonces
Z Z
sup T f (x)g(x) dx = sup Tg(x)f (x) dx
kgkp0 =1 kgkp0 =1

sup kTgkp0 kf kp
kgkp0 =1

sup Ckgkp0 kf kp
kgkp0 =1

= Ckf kp
cumple las mismas hipotesis que K con la misma constante, por lo que
ya que 1 < p0 < 2 y K
kTgkp0 Ckgkp0 .

1. Otras condiciones para la continuidad de integrales singulares

n 15.1. La condici
Observacio on
B
|K(x)| (15.37)
|x|n+1
implica la siguiente condici ormander: existe B 0 tal que
on de H
Z
|K(x y) K(x)| dx B 0 . (15.38)
|x|2|y|
74 15. CLASE 15

Demostraci
on. Por el teorema de valor medio y la hipotesis (15.37),
B|y|
|K(x y) K(x)| = |K(x) y|
|z|n+1
para algun z entre x y x y. Pero en la region de integracion que queremos considerar,
|x|
|x| |x z| + |z| |y| + |z| + |z|
2
y, por lo tanto,
Z Z
B|y|
|K(x y) K(x)| dx 2n+1 n+1 dx
|x|2|y| |x|2|y| |x|
Z n1
r
C|y| n+1
dr
2|y| r
C

Teorema 15.2. El Teorema 14.3 vale reemplazando la hip


otesis (15.37) por la condici
on de
H
ormander (15.38).

Demostraci on. Lo u nico que debemos ver es que podemos acotar T b, ya que es el u
nico lugar
en donde se usaba la hip
otesis (15.37). Para esto, escribimos
X XZ
T b(x) = T bj (x) = [K(x y) K(x yj )]bj (y) dy
j j Qj

donde yj es el centro de Qj . Entonces, recordando que F (Qj )c ,


Z XZ Z
|T b(x)| dx |K(x y) K(x yj )||bj (y)| dy dx
F j F Qj
XZ Z
|K(x y) K(x yj )||bj (y)| dy dx
j (Qj )c Qj
XZ Z
= |K(x y) K(x yj )| dx |bj (y)| dy
j Qj (Qj )c
XZ Z
= |K(x yj (y yj )) K(x yj )| dx |bj (y)| dy
j Qj (Qj )c | {z } | {z } | {z }
=x0 =y 0 =x0

Para poder decir que esta es la condicion (15.38), necesitamos ve que si x0 = x yj e y 0 = y yj


con x (Qj )c , entonces |x0 | 2|y 0 |, pero esto efectivamente si elegimos el factor de expansi
on
de Qj adecuadamente. Concluimos entonces que
Z XZ XZ
0 0
|T b(x)| dx B |bj (y)| dy 2B |f (y)| dy 2B 0 kf k1
F j Qj j Qj

y podemos deducir, como antes, que el operador es de tipo debil (1,1).


Teorema 15.3. Si K cumple las siguientes condiciones
1. OTRAS CONDICIONES PARA LA CONTINUIDAD DE INTEGRALES SINGULARES 75

1. Para todo x 6= 0
B
|K(x)| (15.39)
|x|n
2. Para todo 0 < a < b,
Z
K(x) dx = 0 (15.40)
a<|x|<b
3. Existe B tal que
Z
|K(x y) K(x)| dx B (15.41)
|x|2|y|

y definimos para cada > 0


Z
T f (x) = K(y)f (x y) dy = (K f )(x)
|y|>

donde 
K(x) si |x| >
K (x) =
0 si |x|
entonces, para todo 1 < p < vale que kT f kp Ckf kp con C = C(B, n, p).

Demostraci
on. Queremos aplicar el teorema anterior a K . Ya sabemos que
C
|K (x)| L2 ({|x| > }).
|x|n
Tenemos que ver que si K cumple la condicion (15.38), entonces K tambien la cumple, con una
constante independiente de , es decir que debemos probar que
Z
|K (x y) K (x)| dx C(B).
|x|>2|y|

Para esto distinguimos en casos

Si |x y| > y |x| > , la K (x y) = K(x y) y K (x) = K(x), as que no hay nada


que probar .
Si |x| > y |x y| < , como ademas estamos integrando en |x| > 2|y|, entonces
|x| |x|
> |x y| |x| |y| > |x| =
2 2
por lo que lo que tenemos que acotar es
2
rn1
Z Z Z Z
B
|K(x)| dx |K(x)| dx dx = C dr = C log 2.
|x|>2|y| <|x|<2 <|x|<2 |x|n r
|xy|<<|x|

Si |x| < y |x y| > , entonces usando de nuevo que |x| > 2|y|, vemos
|x|
< |x y| |x| + |y| < |x| + < 2
2
76 15. CLASE 15

y entonces, al igual que en el caso anterior,


Z Z
|K(x y)| dx |K(x y)| dx C log 2.
|x|>2|y| <|xy|<2
|xy|<<|x|

()| C, con una constante que no depende


Nos queda por ver entonces que se cumple que |K
de .

Como Z
() = lm
K K (x)e2ix dx
R |x|<R
basta ver que la integral est
a acotada independientemente de R. Para eso escribimos
Z Z Z
2ix 2ix
K (x)e dx = K (x)e dx + K (x)e2ix dx
1 1
|x|<R <|x|< || ||
<|x|<R
| {z } | {z }
=I1 =I2

Como K tiene integral cero en coronas,


Z
I1 = K (x)(e2ix 1) dx
1
<|x|< ||

y, por lo tanto
Z Z
B 1
|I1 | |K (x)| |x||| dx = CB|| dx = C(n, B)
1
|x|< || |x|n 1
|x|< || |x|n1
CAPTULO 16

Clase 16

2iy = 1 y cambiando
Para la acotaci
on de I2 , notemos que si definimos y = 2|| 2 , entonces e

variables tenemos que


Z
I2 = e2i(xy) K (x y) dx
1
||
<|xy|<R
Z
= e2ix K (x y) dx
1
||
<|xy|<R
Z
= e2ix K (x y) dx + J
1
||
<|x|<R

donde !
Z Z
J= e2ix K (x y) dx.
1 1
||
<|x|<R ||
<|xy|<R

Por lo tanto, Z
1 J
I2 = [K (x) K (x y)]e2ix dx +
2 1
<|x|R 2
||
| {z }
=I3

1
Ahora, observando que por como definimos y, || = 2|y|,
Z
|I3 | |K (x) K (x y)| dx CB.
2|y||x|

Solo falta ver que podemos acotar J. Para esto, si definimos


   
1 1
E1 = z : < |z| R , E2 = z : < |z + y| R
|| ||
tenemos que Z Z
2i(z+y)

|J| = e K (z) dz |K (z)| dz.
E2 E1 E2 4E1

Afirmamos que    
1 2 R
E1 4E2 z: |z| z: |z| 2R
2|| || 2
78 16. CLASE 16

1
En efecto, supongamos por ejemplo que z E1 E2 , entonces || < |z| R y adem
as o
1
|z + y| || o bien |z + y| > R. En el primer caso, tenemos que
1 1 1 2
< |z| |z + y| + |y| + < ,
|| || 2|| ||
mientras que en el segundo,
1 R R
R |z| |z + y| |y| R >R = ,
2|| 2 2
1
donde para la u ltima desigualdad usamos que || < R (ya que sino la integral que queremos
acotar es vaca).

Si z E2 E1 , el razonamiento es an
alogo. Entonces, para terminar la demostracion bastara ver
que si a > 0, entonces Z
|K (z)| dz BC
a
2
<|z|2a

con C es independiente de a. Para esto basta observar que


Z Z Z 2a
1 1
|K (z)| dz B n
dz = BC dr = BC log 4.
a
<|z|2a a
<|z|2a |z| a r
2 2 2

Teorema 16.1. En las condiciones del teorema anterior, para toda f Lp (Rn ) existe en el
sentido de Lp
lm T f =: T f
0
y, en consecuencia, T resulta ser un operador continuo en Lp (Rn ).

Demostraci on. Primero veamos que el resultado vale si f C 1 y tiene soporte compacto.
Afirmamos que en este caso T f es de Cauchy en Lp (Rn ). En efecto, si > > 0, usando que
K tiene integral cero en coronas, tenemos que

Z Z
(T f T f )(x) = K(y)f (x y) dy = K(y)(f (x y) f (x)) dy
<|y| <|y|
y entonces Z
kT f T f kp |K(y)|kf ( y) f ()kp dy.
<|y|

Como f tiene soporte compacto y podemos pensar que |y| < 1 (porque nos interesa 0), la
funcion |f (y)f ()| tambien tiene soporte compacto, y ademas |f (xy)f (x)| kf k |y|.
Entonces,
Z Z
1
kT f T f kp C |y||K(y)| dy CB n1
dy = CB 0.
<|y| |y| |y|

Por lo tanto T f es de Cauchy en Lp (Rn ) y entonces existe lm0 T f =: T f .


1. OPERADORES QUE CONMUTAN CON DILATACIONES (Y TRASLACIONES) 79

Si ahora f Lp (Rn ), dado > 0 existe g C 1 de soporte compacto tal que kf gkp < .
Entonces, si > > 0,
kT f T f kp kT (f g)kp + kT g T gkp + kT (g f )kp
C kf gkp + kT g T gkp
| {z } | {z }
< 0

de donde deducimos que tambien en este caso T f es de Cauchy en Lp (Rn ). Por lo tanto, existe
lm0 T f =: T f en Lp (Rn ) y vale ademas que kT f kp kT f kp , de donde deducimos que T es
continuo en Lp (Rn ).

1. Operadores que conmutan con dilataciones (y traslaciones)

Dado , llamamos f (x) := f (x). Dado T f = K f , queremos ver que propiedades tiene que
tener K para que T = T para todo > 0.

Notemos que, por un lado,


Z Z
T f (x) = T f (x) = K(y)f (x y) dy = n K(z)f (x z) dz
Rn Rn
y, por el otro,
Z Z
T ( f )(x) = K(z) f (x z) dz = K(z)f (x z) dz
Rn Rn
por lo tanto, para todo > 0 debe valer K(z) = n K(z), o sea que K es una funcion homogenea
de grado n.

Observemos que si una funci


on es homogenea, nos basta conocer sus valores en la esfera unitaria.
En efecto,    
n x n x
K(x) = |x| K = |x| (16.42)
|x| |x|
donde es una funci
on definida en la esfera unitaria. Nos proponemos ver entonces que propie-
dades tiene que cumplir para que K cumpla las condiciones (15.39), (15.40) y (15.41).
on definida en la esfera unitaria tal que L (S n1 ),
Teorema 16.2. Si es una funci
Z
(x0 ) dx0 = 0
S n1
y adem as cumple una condici on de Dini, es decir que si () = sup|x0 y0 | |(x0 ) (y 0 )|
0 0
(x , y S n1 ) entonces para alg
un a > 0 vale
Z a
(t)
dt < ,
0 t
entonces el n
ucleo K definido por (16.42) cumple las condiciones (15.39), (15.40) y (15.41).

Demostraci
on.
B
Es inmediato que si kk = B, entonces |K(x)| |x|n .
80 16. CLASE 16

Para ver que K tiene integral cero en coronas, escribimos


Z Z Z b
K(x) dx = K(rx0 )rn1 dr dx0
a<|x|<b S n1 a
Z Z b
= rn (x0 )rn1 dr dx0
S n1 a
Z b Z
dr
= (x0 ) dx0 .
a r S n1
| {z }
=0

Nos falta probar que K cumple la condicion de Hormander (15.41). Para esto escribimos
   
n x n xy
K(x) K(x y) = |x| |x y|
|x| |x y|
       
x 1 1 n x xy
= + |x y|
|x| |x|n |x y|n |x| |x y|
| {z } | {z }
(i) (ii)

Por un lado, tenemos que


 
1 1 |y|
|(i)| kk n
n
kk
|x| |x y| |x |n+1
con 0 < || < |y|. Pero como vamos a integrar en la region |y| < |x| 2 , entonces |x | |x| || >
|x| |x|
|x| 2 = 2 , de donde
|y|
|(i)| kk 2n+1 n+1
|x|
e integrando Z Z
1
(i) dx C|y| n+1
dx = C.
|x|2|y| |x|2|y| |x|

Por otro lado,


   
1 x x y 1 |y|
|(ii)|
|x y|n |x| |x y| |x y|n |x |
|x|
con || < |y|. Por la cuenta anterior, si |y| 2 ,
2n
   
1 2|y| 2|y|
|(ii)|
|x y|n |x| |x|n |x|
e integrando
1
2n
Z Z   Z   Z
2|y| 1 2|y| (t)
|(ii)| =C dr = C dt < .
|x|2|y| |x|2|y| |x|n |x| 2y r r 0 t
CAPTULO 17

Clase 17

1. Convergencia puntual de integrales singulares

Dado Z
T f (x) = K(y)f (x y) dy
|y|>

donde K(x) = |x|n (x0 ), x0 = |x|x


S n1 y cumple las condiciones del Teorema 16.2, que-
remos ver si T f (x) T f (x) en casi todo punto. Probaremos que este resultado efectivamente
vale si 1 p < . Para esto, introducimos el operador maximal asociado a K,
Z


T f (x) = sup K(y)f (x y) dy

>0 |y|>
y consideramos por separado los casos p = 1 y 1 < p < . Antes vamos a ver algunos resultados
previos que necesitaremos.
Teorema 17.1. Dada L1 (Rn ), si est on L1 (Rn ) radial,
a acotada por una funci
on de r = |x| y tal que kk1 = A < , entonces
decreciente como funci
sup |(f )(x)| AM f (x)
>0

para toda f Lp (Rn ), 1 p .


Corolario 17.2. Con las mismas hip as kk1 = 1, entonces existe en
otesis sobre , si adem
casi todo punto
lm (f )(x) = f (x).
0

Demostraci on. Notemos que basta ver que si f 0, (f )(0) AM f (0), y supongamos que
M f (0) < .

Ahora, como es radial, por un abuso de notacion podemos escribir (x) = (r) y tenemos
que Z Z Z
(f )(0) = f (x)(x) dx = f (rx0 )(r)rn1 dr d(x0 )
Rn S n1 0

Si definimos Z
(r) = f (rx0 )rn1 d(x0 )
S n1
82 17. CLASE 17

y Z Z r
(r) = f (x) dx = (t)tn1 dt
|x|r 0
entonces Z Z Z M
f (x)(x) dx = (r)r n1
dr = lm 0 (r)(r) dr.
Rn 0 0,M

Al hacer partes, como los terminos integrados tienden a cero, tenemos que
Z Z Z
n 1
(f )(0) (r)d()(r) n M f (0) r d((r)) = (x) dx
0 0 n Rn

Por otro lado,


Z Z
1 n
(r) = f (x) dx = n r f (x) dx n rn M f (0).
|x|r n r n |x|r

Falta ver que (M )(M ) ()() 0 cuando M , 0. Pero (r) Crn , entonces
basta ver que rn (r) 0 cuando r 0 o r . Pero esto se deduce de
Z
n
(r)r C (x) dx 0
r
2
<|x|<r

pues L1 (Rn ).
Lema 17.3 (Cotlar). Con las hip
otesis del Teorema 16.2
T f (x) M (T f )(x) + CM f (x)
y, en consecuencia, kT f kp Ckf kp si 1 < p < .

Demostraci on. Sea C0 (Rn ) tal que sop() {|x| 1} y sea = T K1 . Vamos a ver
on radial decreciente en L1 (Rn ). Para esto separamos en casos.
que esta acotada por una funci

Si |x| 1,
Z Z
(x) = lm K(y)(x y) dy = lm K(y)[(x y) (x)] dy
0 <|y|2 0 <|y|2 | {z }
|y|
C |y|n

que es acotado.

Si 1 < |x| 2,
(x) = (K )(x) K1 (x)
pero K se acota como antes y |K1 (x)| B|x|n B.

Si |x| > 2, como tiene integral 1, tenemos que


Z Z Z
(x) = K(x y)(y) dy K(x)(y) dy = [K(x y) K(x)](y) dy
Rn Rn Rn
1. CONVERGENCIA PUNTUAL DE INTEGRALES SINGULARES 83

Pero
 
xy n
1 1
|K(x y) K(x)|
(x) |x y| + |(x)|

|x y| |x y|n |x|n
| {z } | {z }
(i) (ii)

y como estamos suponiendo que |y| 1 y |x| > 2, entonces |x| > 2|y|.

Notemos que por la condici


on de Dini,
 
C2
(i) C |x|n L1 .
|x|
En efecto,
Z   Z   Z C2 /2
C2 C2 dr (s)
|x|n dx = C =C ds < .
|x|>2 |x| 2 r r 0 s

Por otro lado,


|y| 1
(ii) C n+1
C n+1
|x | |x|
que es una funci
on radial decreciente.

Ahora, afirmamos que como = K K1 , entonces = K K . En efecto,


x x x
(x) = n = n T n K1 = K (x) K (x)

donde para la u
ltima igualdad usamos que T conmuta con dilataciones.

Deducimos entonces que


K f = K f f = T f f
y, por lo tanto,
T f (x) = sup |(K f )(x)| sup |(T f )(x)| + sup |( f )(x)| M (T f )(x) + CM f
>0 >0 >0
que es lo que queramos probar.
otesis del teorema anterior, si 1 < p < y f Lp (Rn ), T f f
Teorema 17.4. Con las hip
en casi todo punto.

Demostraci
on. Si definimos


f (x) = lm sup T f (x) lm inf T f (x) ,

0 0

basta ver que f (x) = 0 en casi todo punto.

Si f C 1 y tiene soporte compacto, entonces


Z Z
T f (x) = K(y)f (x y) dy = K(y) [f (x) f (x y)] dy
<|y|<M <|y|<M | {z }
C|y|

y como el integrando est


a en L1loc (Rn ), entonces existe el lmite cuando 0, y f = 0.
84 17. CLASE 17

Si ahora f Lp (Rn ) cualquiera, dado > 0 existen f1 , f2 tales que f = f1 + f2 con f1 C 1 de


soporte compacto y kf2 kp . Entonces,
kf kp kf1 kp + kf2 kp = kf2 kp 2kT f kp Ckf kp C
y como es arbitrario, kf kp = 0, de donde f = 0 en casi todo punto.
CAPTULO 18

Clase 18

Teorema 18.1. T es de tipo debil (1, 1) .

Demostracion. Dada f L1 (Rn ) y > 0, consideramos la Pdescomposici


R on de Calderon-
Zygmund de |f |, y obtenemos |f | = g + b, con |g(x)| , b = j bj , bj = 0, sop(bj ) Qj y
kf k1
| j Qj | .

T g se puede acotar igual que T g. Falta ver que


Ckf k1
|{x : T b(x) > }| .

Para esto introducimos Qj dilatados fijos de Q y definimos F = (j Qj )c . Ya sabemos que

j Qj Ckf k1 ,


entonces basta ver que
Ckf k1
|{x F : T b(x) > }| .

Si probamos que para x F e yj el centro de Qj
XZ

T b(x) |K(x y) K(x yj )||b(y)| dy + CM b(x),
j Qj

entonces la demostraci
on sale del tipo debil (1, 1) para M y de la misma demostracion que para
T . Pero
Z
T b(x) = K(x y)b(y) dy
|xy|>,yQj
Z
= K (x y)b(y) dy
j Qj
XZ
= K (x y)b(y) dy
j Qj

Ahora, dado > 0, si x F para cada Qj hay 3 posibilidades:

1. |x y| < para todo y Qj ,


2. |x y| > para todo y Qj ,
3. existe y Qj tal que |x y| = .
86 18. CLASE 18

En el primer caso, K (x y) = 0 para todo y Qj . En el segundo caso, K (x y) = K(x y)


para todo y Qj y, por lo tanto, si yj es el centro de Qj
Z Z Z
K (x y)b(y) dy = K(x y)b(y) dy = [K(x y) K(x yj )]b(y) dy
Qj Qj Qj

y entonces Z Z

K (x y)b(y) dy |K(x y) K(x yj )||b(y)| dy.


Qj Qj

ltimo, si existe y Qj tal que |x y| = , entonces existen C1 , C2 , C3 tales que C1 l(Qj ),


Por u
Qj B(x, C2 ) y |x y| C3 para todo y Qj . Entonces
Z Z Z
1 C
|K (x y)||b(y)| dy C n
|b(y)| dy |b(y)| dy CM b(x).
Qj Qj |x y| n B(x,C2 )

Teorema 18.2. Si f L1 (Rn ), tambien vale que T f f en casi todo punto.

Demostracion. Como T es de tipo debil (1, 1), definiendo como antes, tenemos que para
todo > 0
2Ckf k1
|{x : |f (x)| > }|

Escribimos f = f1 + f2 , con f1 C 1 de soporte compacto y kf2 k1 . Entonces f1 = 0 y


2Ckf2 k1 2C
|{x : |f2 (x)| > }| <

de donde
|{x : f2 (x) > }| = 0
y, por lo tanto, f2 = 0 en casi todo punto.

1. Espacios de Hardy (formulaci


on cl
asica)

Dada F (z) holomorfa en el disco unitario D, Hardy estudio en que sentido se alcanzan los valores
o, para p > 0 y 0 r < 1
de borde. Para eso, defini
Z 1
p
i p
Mp (F, r) = |F (re | d

y probo el siguiente:
Teorema 18.3. Si sup0r<1 Mp (F, r) < , entonces hay convergencia no tangencial a los
valores de borde.

Esto motiva adem


as la siguiente:
MODERNA)
2. ESPACIOS DE HARDY (VERSION 87

n 18.4. Los espacios de Hardy cl


Definicio asicos se definen como
H p (D) = {F analtica en D : sup Mp (F, r) < }
0r<1

con kF kH p = sup0r<1 Mp (F, r).

alogamente, en el semiplano R R+ , si F es analtica y z = x + it, podemos definir


An
Z 1
p
p
Mp (F, t) = sup |F (x, t)| dx
t>0 R

n 18.5. Vimos que si f Lp (T) con p 1, digamos f () = kZ ck eik , y definimos


P
Observacio
P
F (z) = c0 + 2 k=1 ck z k , entonces F (z) es analtica y lmr1 ReF (rei ) = f () es soluci
on del
problema de Dirichlet.

Hardy demostr o que esto pasa no s


olo para la convergencia en la direcci
on radial, sino tambien
para la convergencia no tangencial, o sea, que si F H , entonces existe lmr1 ReF (reit ) y
p

kf kp kF kH p . Hoy en da se llaman espacios de Hardy a los espacios de estos valores lmite.

2. Espacios de Hardy (versi


on moderna)

Ya sabemos que si f Lp (R) y u(x, t) = (f Pt )(x) donde Pt (x) = 1t P ( xt ) y P (x) = (1+x


1
2 ) es el

ucleo de Poisson, entonces u = 0 en R R+ y u(x, t) f (x) cuando t 0 en L y tambien


n p

en casi todo punto si p 1. Queremos estudiar si tambien hay convergencia no tangencial.

Para esto, si
N f (x) := sup |(f Pt )(x)|,
t>0
on radial decreciente, sabemos que N f (x) M f (x).
como P es una funci

Si ademas definimos la maximal no tangencial como


Na f (x) := sup |(f Pt )(y)|
|yx|<at

entonces vale el siguiente:


Lema 18.6. Dado a, existe Ca tal que Na f (x) Ca N f (x).

Demostraci on. Observemos que podemos suponer f 0 (sino escribimos f = f + f y las


analizamos por separado).

Si (y, t) es tal que |y x| < at, entonces


Z
1 t
|(f Pt )(y)| = f (z) dz
R |y z|2 + t2

Ahora, como estamos suponiendo |y x| < at, entonces


|x z| |x y| + |y z| < at + |y z| |x z| + t < (a + 1)t + |y z|
88 18. CLASE 18

y, por lo tanto, para todo z y todo y tal que |x y| < at,


t t
2 2
< Ca .
|y z| + t |x z|2 + t2

Entonces Z Z Z
1 2 2 Ca tf (z)
t|y z| + t f (z) dz dz,
R R |x z|2 + t2
de donde se sigue que Na f (x) Ca N f (x), como queramos.
Observacio n 18.7. Si p > 1 y f Lp , entonces como Na f (x) Ca N f (x) Ca M f (x), es
inmediato que Na f Lp , y por lo tanto hay convergencia no tangencial a los valores de borde.

Si p = 1, se puede ver que para f L1 en general Na 6 L1 . Lo que se define como el espacio de


Hardy H 1 es el espacio de las f L1 tales que Na f L1 .
CAPTULO 19

Clase 19

1. El espacio B.M.O.

Definicio n 19.1. Dada f L1 (Rn ) y un cubo Q Rn , notamos fQ al promedio de f sobre Q,


es decir,
Z
1
fQ := f
|Q| Q
y definimos la oscilaci
on media de f sobre Q como
Z
1
|f fQ |.
|Q| Q

Decimos que f B.M.O. si f tiene oscilaci


on media acotada, es decir si
Z
# 1
M f (x) = sup |f fQ | < +
Q3x |Q| Q

M # f se llama funci
on maximal aguda, y si f B.M.O., entonces notamos kf k = kM # f k .

Observacio n 19.2. kf k es una seminorma, ya que kf k para toda f constante en casi todo
punto. Por eso consideramos como B.M.O. al cociente de las funciones que acabamos de definir
on y k k , B.M.O. resulta ser
por las funciones constantes en casi todo punto. Con esta definici
un espacio de Banach.

n 19.3. Vale que L B.M.O., y que M # f (x) CM f (x).


Observacio

on. Basta notar que dado Q Rn ,


Demostraci
Z Z Z
1 1 2
|f fQ | |f | + |fQ | |f |
|Q| Q |Q| Q |Q| Q

ltimo termino se puede acotar por 2kf k .


y que ademas este u

n 19.4.
Proposicio
Z
1 1
kf k sup nf |f (x) a| dx kf k
2 Q aC |Q| Q
90 19. CLASE 19

Demostraci on. La desigualdad de la derecha es inmediata. Para ver que vale la otra, basta
observar que
Z Z
|f (x) fQ | dx |f (x) a| dx + |Q||a fQ |
Q Q
Z Z
1
= |f (x) a| dx + |Q|
(a f (x)) dx
Q |Q| Q
Z
2 |f (x) a| dx
Q

Corolario 19.5. Usando la propiedad anterior y la desigualdad triangular, se puede ver que
M # (|f |)(x) 2M # f (x), de donde se sigue que si f B.M.O. entonces |f | B.M.O.

Notemos que la recproca no es cierta. En efecto, si


 1
log |x| |x| < 1
f (x) =
0 |x| 1
entonces f B.M.O. pero sg(x)f (x) 6 B.M.O. Observemos que esta f tambien sirve para ver
on L B.M.O. es estricta.
que la inclusi
Teorema 19.6. Sea K un n
ucleo tal que

1. |K(x)|
R B|x|n , si |x| > 0.
2. R1 <|x|<R2 K(x) dx = 0 para todo 0 < R1 < R2 < .
R
3. |x|2|y| |K(x y) K(x)| dx B si |y| > 0.

Si f L (Rn ) tiene soporte compacto, entonces


Z
T f (x) = K(x y)f (y) dy
Rn

a en B.M.O. y kT f k Ckf k .
est


Demostraci on. Sea Q Rn y sea Q = 2 nQ. Escribimos f = f1 + f2 , con f1 = f Q y
f2 = f (Q )c . Por la proposici
on 19.4 basta ver que si a = T f2 (cQ ) con cQ el centro del cubo Q,
entonces Z
1
|T f (x) a| dx C
|Q| Q
donde C no depende de Q. Para esto escribimos
Z Z
1 1
|T f (x) a| dx = |T (f1 + f2 )(x) a| dx
|Q| Q |Q| Q
Z Z
1 1
|T f1 (x)| dx + |T f2 (x) T f2 (cQ )| dx
|Q| Q |Q| Q
| {z } | {z }
(i) (ii)
1. EL ESPACIO B.M.O. 91

otesis sobre K son suficientes para la continuidad de T en L2 (Rn ),


Para (i) usando que las hip
escribimos
Z 1
1 2
2 1
(i) |T f1 (x)| dx |Q| 2
|Q| Q
 Z 1
1 2
2
C |f1 (x)| dx
|Q| Q
 1
|Q | 2
Ckf k
|Q|
Ckf k

Por otro lado,


Z Z
1
(ii) = (K(x y) K(cQ y))f (y) dy dx

|Q|

Q (Q )c
kf k
Z Z
|K(x y) K(cQ y)| dy dx
|Q| Q (Q )c
| {z }
()
y
Z
() = |K((x cQ ) + (cQ y)) K(cQ y)| dy
(Q )c
Z
|K(
x y) K(
y )| d
y
|
y |>2|
x|
B
= x cQ y usamos ademas que como y (Q )c y x Q,
donde llamamos y = y cQ , x

y | = |y cQ | > 2 n lQ > 2|x cQ | = 2|
| x|

Reemplazando en (), tenemos en definitiva que


Z
1
|T f (x) a| dx Ckf k
|Q| Q
de donde se sigue que kT f k Ckf k , como queramos.
Observacio n 19.7. Como las funciones de soporte compacto no son densas en L , no se
puede extender T f a todo L por densidad, por lo que es necesario definir el operador de alguna
manera. Para esto, sea f L y sea Q Rn un cubo centrado en cero. Escribimos f = f1 + f2
como antes, y definimos, para x Q
Z
T f (x) := T f1 (x) + (K(x y) K(0 y))f2 (y) dy
Rn
Notemos que T f1 esta bien definida en casi todo punto porque f1 tiene soporte compacto, y que
por las cuentas anteriores la integral est
a acotada. Tenemos que ver entonces que si tomamos
otro dilatado Q0 de Q y definimos las respectivas f1 y f2 , ambas definiciones coinciden. Para
92 19. CLASE 19

0
esto, notemos que la diferencia entre las dos definiciones, suponiendo que Q Q (ya que
ambos est an centrados en cero) es
Z Z
0
T (f1 f1 )(x) + (K(x y) K(0 y))f (y) dy (K(x y) K(0 y))f (y) dy
(Q )c (Q0 )c
Z Z
= K(x y)f (y) dy + (K(x y) K(0 y))f (y) dy
Q0 \Q Q0 \Q
Z
= K(y)f (y) dy
Q0 \Q

que es una constante independiente de x. Por lo tanto, ambas definiciones coinciden como fun-
ciones de B.M.O.

Ya vimos un ejemplo de funcion no acotada en B.M.O. Nos interesa ahora estudiar que creci-
miento pueden tener estas funciones. Para esto, volvamos al ejemplo anterior.
1
Ejemplo 19.8. El promedio de log |x| en (a, a) es 1 log a, y si > 1
 
x (a, a) : log 1 (1 log a) > 2ae1

|x|

El siguiente teorema nos dice que esencialmente esto es lo maximo que una funcion en B.M.O.
puede separarse de su promedio.
Teorema 19.9 (John-Nirenberg). Si f B.M.O., Q Rn y > 0, entonces existen constantes
c1 , c2 que s
olo dependen de la dimensi
on tales que
|{x Q : |f (x) fQ | > }| c1 ec2 /kf k |Q|.

Demostracion. Notemos que reemplazando f por un m ultiplo en la desigualdad que queremos


probar podemos suponer que kf k = 1 y, por lo tanto,
Z
1
|f (x) fQ | 1.
|Q| Q
Consideramos la funcion |f (x) fQ |Q (x) y hacemos su descomposicion de Calderon-Zygmund
a altura 2, para obtener una familia de cubos {Q1,j } tales que:
|f (x) fQ | 2 si x 6 j Q1,j
Z
X 1 1 1
|Q1,j | |f (x) fQ | dx |Q|kf k = |Q|
2 Q 2 2
j
y Z
1
2< |f (x) fQ | dx 2n+1
|Q1,j | Q1,j
Notemos que de esta u
ltima propiedad se deduce ademas que

1 Z
|fQ1,j fQ | |f (x) fQ | dx 2n+1 .

|Q1,j | Q1,j
1. EL ESPACIO B.M.O. 93

Ahora consideramos para cada Q1,j la descomposicion de Calderon-Zygmund de |f fQ1,j | a


altura 2 y obtenemos, para cada Q1,j , una familia de cubos {Q2,k } para los que vale
|f (x) fQ1,j | 2 si x Q1,j \ k Q2,k
Z
X 1 1 1
|Q2,k | |f (x) fQ1,j | dx |Q1,j |kf k = |Q1,j |
2 Q1,j 2 2
k
y
1 Z
|fQ2,k fQ1,j | |f (x) fQ1,j | dx 2n+1 .

|Q2,k | Q2,k

Si consideramos la familia de los cubos correspondientes a todos los Q1,j y los renumeramos
nuevamente en una s ola familia que llamamos {Q2,k }, para esta nueva familia vale que si x 6
Q2,k , entonces
|f (x) fQ | |f (x) fQ1,j | + |fQ1,j fQ | 2 + 2n+1 2,2n+1
y que
X X1 1
|Q2,k | |Q1,j | |Q|
2 4
k j

Repitiendo este proceso, conseguimos para cada N una familia {QN,j } de cubos disjuntos tales
que
|f (x) fQ | N 2n+1 si x 6 j QN,j
y
X 1
|QN,j | N |Q|.
2
j

Para probar la desigualdad del enunciado, si 2n+1 , tomamos N tal que N ,2n+1 <
(N + 1)2n+1 y tenemos que entonces
X 1
|{x Q : |f (x) fQ | > }| |QN,j | N |Q| = eN log 2 |Q| ec2 |Q|
2
j
log 2
tomando c2 = 2n+2
.

Si, en cambio, < 2n+1 , entonces para la misma constante c2 vale que c2 < log2 2 = log 2 y,
entonces,
|{x Q : |f (x) fQ | > }| |Q| elog 2c2 |Q| = 2ec2 |Q|,

por lo que basta tomar c1 = 2.
CAPTULO 20

Clase 20

1. Espacios de Hardy

Recordemos que si P (x) = 1 (1+x


1
2 ) es el n
ucleo de Poisson, podemos definir Pt (x) = 1 x
tn P ( t ), y
las funciones maximales asociadas
N f (x) = sup |(f Pt )(x)|
t>0

Na f (x) = sup |(f Pt )(y)|


|yx|<at
y vimos que N f (x) Na f (x) Ca N f (x). Entonces, para p 1 podemos definir el espacio de
Hardy
H p (R) = {f Lp (R) : N f Lp (R)}
(o, equivalentemente, pidiendo Na f Lp (R) para todo a > 0).

Mas en general, quisieramos poder definir, para p > 0,


H p (R) = {f S 0 (R) : N f Lp (R)}
pero si f S 0 , f Pt podra no estar definido. Para solucionar este problema, nos restringimos
al subespacio
Sb0 = {f S 0 : f L (R) para toda S}.
Veamos que efectivamente para f Sb0 y g L1 (R) cualquiera tiene sentido f g S 0 . Para
esto, si S y se tratara de funciones, tendramos
Z
hf g, i = (f g)(x)(x) dx
ZR Z
= f (x y)g(y)(x) dy dx
ZR ZR
= f (x y)(x) dx g(y) dy
ZR R
= (f )(y)g(y)
dy
R
donde (x)
= (x). Como esta u ltima expresion tiene sentido ya que g L1 y f L , la
tomamos como definici
on de la convolucion y tiene sentido considerar los espacios
H p (R) = {f Sb0 (R) : N f Lp (R)}
y kf kH p = kN f kp . Notemos que para p = 1 esta es una norma pero para p < 1 no lo es.
96 20. CLASE 20

n 20.1. Si p > 1, H p (R) = Lp (R).


Observacio

on. Por ahora probaremos solamente que Lp H p . Ya vimos que


Demostraci
N f (x) = sup |(f Pt )(x)| M f (x)
t>0
Pero, como p > 1, por lo anterior resulta que kN f kp Ckf kp .
n 20.2. Si p = 1, es inmediato a partir de la caracterizaci
Observacio on de Fefferman-Stein
que H L1 y H 1 6= L1 .
1

Las mismas definiciones se pueden extender a Rn , definiendo


N f (x) = sup |(f Pt )(x)|
t>0
donde ahora P es el n
ucleo de Poisson en n
R ,
cn
P (x) = n+1 .
(1 + |x|2 ) 2

2. El espacio H 1

Un resultado importante que no vamos a demostrar es el siguiente:


R
Teorema 20.3 (Fefferman-Stein). Si definimos, para S tal que 6= 0 las maximales
N f (x) = sup |(f t )(x)|
t>0
y
N,a f (x) = sup |(f t )(y)|
|yx|<at
entonces vale que f H p si y s
olo si N f Lp (o, equivalentemente, N,a f Lp ).

Adem
as, si p = 1, tambien vale que
H 1 (R) = {f L1 (R) : Hf L1 (R)}
y, si n > 1,
H 1 (Rn ) = {f L1 (Rn ) : Rj f L1 (Rn ) para j = 1, . . . , n}
Observacio n 20.4. En particular, de la caracterizaci
on anterior se deduce que las funciones de
1
H tienen integral cero.
n 20.5. Si 1 < q , decimos que a : Rn C es un (1, q)-
Definicio atomo si

a Lq (Rn )
sop(a)
Z Q, donde Q es un cubo
a(x) dx = 0
Q
1
kakq
1 1q
|Q|
2. EL ESPACIO H 1 97

Lema 20.6. Si a es un (1, q)-atomo, entonces a H 1 y adem


as kakH 1 kN ak1 C, donde
la constante es independiente del
atomo.

Demostraci on. Sin perdidad de generalidad, supongamos que Q esta centrado en ceroR y lla-
memos Q a un expandido de Q, digamos Q = 5Q. Si C (Rn ), sop() {|x| < 1} y = 1,
0
por un lado tenemos que, para todo x,
N a(x) = sup |(a t )(x)| M a(x)
t>0

y si x 6 Q,
 
xy
Z
1
(a t )(x) = n a(y) dy
t t
 
xy
Z
1
= n a(y) dy
t |yx|<t t
    x 
xy
Z
1
= n a(y) dy
t |yx|<t t t
e y Q, tenemos que
Como x Q
|x| |x|
t > |y x| > |x| |y| > |x| =
2 2
y, por lo tanto,
|y|
Z
1
|(a t )(x)| n |a(y)|kk dy
t Q t
Z
lQ
C n+1 |a(y)| dy
t Q
lQ 1 1
n+1
kakq |Q| q
|x|
lQ
.
|x|n+1
Entonces
Z Z Z
N a(x) dx = N a(x) dx + N a(x) dx
Rn
Q c
(Q)
Z Z
1
M a(x) dx + ClQ n+1
dx

Q |x|>lQ |x|
| {z } | {z }
(i) (ii)

pero, por lo anterior


1 1q 1 1q
(i) |Q| kM akq C|Q| kakq C
y

rn1
Z Z
1
(ii) ClQ dr = ClQ dr C
lQ rn+1 lQ r2
98 20. CLASE 20

P
Corolario 20.7. Si {aj } es una sucesi atomos y {j } R es tal que
on de (1, q)- j |j | < ,
entonces la funci
on X
f= j aj H 1 (Rn )
j
P
as, kf kH 1 C
y, adem j |j |

Demostraci
on. Por la sublinealidad de N ,
Z
X Z
X
N f (x) dx |j | N aj (x) dx C |j |.
Rn j=1 Rn j=1
CAPTULO 21

Clase 21

1. Descomposici
on at
omica

n 21.1. Si 0 < p 1 y 1 < 1 , decimos que a Lq (Rn ) es un (p, q)-


Definicio atomo si se
cumplen las siguientes condiciones:

sop(a)
Z Q, donde Q es un cubo   
1
a(x)x dx = 0 para todo tal que || n 1
Q p
1
kakq 1
1
|Q| p q
Teorema 21.2. Sean 0 < p 1 y f H p (Rn ). Entonces, dado 1 < q existen sucesi
on de
atomos {ak } y {k } C tales que
(p, q)-

|k |p C(p, q, n)kf kpH p


X X
f= k ak y
k k

donde la igualdad con la serie vale en el sentido de S 0 y si p = 1 tambien en L1 (Rn ).

atomos y {k } C es tal que k |k |p < ,


P
Recprocamente, si {ak } es una sucesion de (p, q)-
entonces
k ak H p (Rn ) y kf kpH p C(p, q, n)
X X
f= |k |p .
k k

La demostraci on de este teorema la vamos a ver solo en el caso particular en que n = 1, p = 1


y q = 2, siguiendo una demostracion de Wilson, y la definicion de H 1 con el n
ucleo de Poisson.
Primero necesitamos algunos lemas.
on C (R) par, tal que sop() [1, 1], (x) dx = 0 y
R
Lema 21.3. Existe una funci
Z
ds = 1 .
e2s (s) (21.43)
0 2

Demostraci on. Como es par, tambien lo es. Entonces basta encontrar que cumpla las
demas propiedades y tal que
Z
ds = 1
e2|s| (s)

100 21. CLASE 21

o, equivalentemente, Z
1
(e2|s| )(x) (x) dx = .
| {z }
=P (x)
Claramente, es suficiente ver que esta u
ltima integral es no nula. Pero como P es una funci
on
par, sabemos que
Z 1
P (x)(x) dx = 0
1
para toda C0 (R) impar tal que = 0 y sop() [1, 1]. Por lo tanto, si
R
Z 1
P (x)(x) dx = 0
1
entonces resultara que
Z 1
P (x)(x) dx = 0
1
on C0 (R) tal que
R
para toda funci = 0 y sop() [1, 1], de donde se sigue que P es
constante en [1, 1], que es absurdo.
Lema 21.4 (F on de Calderon). Si es una funci
ormula de representaci
on de Rn radial, () =
1 n
(||) con como en el lema anterior, y f L (R ), entonces
Z
u
f (x) = (y, t) t (x y) dy dt
Rn R+ t

donde u(y, t) = (f Pt )(y).


n 21.5. Por un abuso de notaci
Observacio
on, en lo sucesivo escribiremos en lugar de .

Demostraci
on. Observemos que
Z   
u
(y, t) t (x y) dy () = (f Pt )(, t) t ()
Rn t t

= [f()P (t)](t||)

t
h i
= f ()e2t|| (t||)

t
= f()(2||)e2t|| (t||)

Entonces basta ver que


Z
f() = f() (2||)e2t|| (t||)dt,

0
que se deduce inmediatamente haciendo el cambio de variables s = t|| y usando (21.43).

Ahora podemos proceder a demostrar el Teorema 21.2 para n = 1, p = 1, q = 2.

on. Sea f H 1 (R). Entonces, por definicion, N2 f L1 (R).


Demostraci
ATOMICA
1. DESCOMPOSICION 101

Para cada k Z consideramos los abiertos E k = {x : N2 f (x) > 2k } y escribimos

E k = k
j=1 Ij

donde Ijk son intervalos abiertos disjuntos.

Dado un intervalo I, si llamamos

I = {(y, t) R R+ : (y t, y + t) I}

podemos definir las regiones

k =
E k
j=1 Ij y Tjk = Ijk \ E
k+1 ,

y claramente vale que R R+ = j,k Tjk .

Entonces, por la f
ormula de representacion,
X Z u
f (x) = (y, t) t (x y) dy dt
k t
k,j Tj
| {z }
:=gjk (x)

Si ahora
gjk
kj = C2k |Ijk | y akj = ,
C2k |Ijk |

donde C es una constante positiva, entonces f = j,k kj akj . Afirmamos que los akj son (1, 2)-
P
atomos.

Para ver que akj (x) dx = 0, basta usar Fubini y que t = 0.


R R

Para ver que sop(akj ) Ijk , basta notar que el soporte de t es el cono |x y| < t, y que si
x 6 Ijk , entonces este conjunto no interseca al cono.

Falta entonces ver que


1
kakj k2 1 . (21.44)
|Ijk | 2

Si esto vale, observemos que entonces


X X X
|kj | = C 2k |Ijk | = C 2k |E k | CkN2 f k1 Ckf kH 1
j,k j,k k

(los E k no son disjuntos, pero usando la definicion es facil ver que vale la acotacion anterior).
102 21. CLASE 21

1
Ahora, notemos que (21.44) es equivalente a probar que kgjk k2 C2k |Ijk | 2 . Para ver esto, por
dualidad, si h L2 es tal que khk2 = 1 (se puede tomar como gjk dividido su norma), entonces

Z Z Z
gjk (x)h(x) dx = h(x)
u
(y, t) (x y) dy dt dx

t
Tjk t

| {z }
=t (yx)

Z Z
u
= (y, t) (h t )(y) dy dt

Tjk t
Z 1  Z 1
2
2
2 dt 2
t|u(y, t)| dy dt |(h t )(y)| dy
Tjk RR+ t
| {z } | {z }
(i) (ii)

Empecemos por acotar (ii). Haciendo el cambio de variables s = t tenemos que


Z Z
2 dt
(ii) = |h()| |(t)|2 d
t
Z0 R
Z
=
|h()|2
|(s)| 2
ds d
R 0
C
= 0.
donde la integrabilidad en el cero vale porque (0)

Pasemos ahora a (i). Tenemos que


Z
(i) = tu(y, t) u(y, t) dy dt
Tjk
Z Z
= div(tu(y, t)) u(y, t) dy dt + u(y, t) (tu(y, t) ) dS
Tjk Tjk
| {z }
(iii)

ltima igualdad usamos el teorema de Green en Tjk .


donde para la u

Como u = 0,
Z
(iii) = [(0, 1) u(y, t)] u(y, t) dy dt
Tjk
Z
u
= (y, t) u(y, t) dy dt
Tjk t
Z Z
u
= u(y, t) (y, t) dy dt |u(y, t)|2 2 dS
Tjk t Tjk

siendo 2 la segunda componente del vector normal, de donde se sigue que


Z
1
(iii) = |u(y, t)|2 2 dS
2 Tjk
ATOMICA
1. DESCOMPOSICION 103

y, volviendo a la expresi on que tenamos para (i),


Z Z  
2
u 1 2
t|u(y, t)| dy dt |u(y, t)| + t (y, t) + |u(y, t)| 2 dS
(21.45)
Tjk Tjk 2

on sabemos que en Tjk , 2k < N2 f 2k+1 . Por lo tanto, si x Ijk Tjk hay
Ahora, por definici
un cono de apertura 2 con vertice en x tal que 2k < N2 f 2k+1 (y entonces |u(y, t)| 2k+1 ) y
estos conos cubren todo el borde de Tjk . Entonces,
Z
1
|u(y, t)|2 2 dS C22k |Tjk | C22k |Ijk |
Tj 2
k

Si vemos que en Tjk , t| u k


| C2 , entonces todos los terminos de (21.45) se acotan de la misma
k
manera. Afirmamos que como |u| C2 en un cono de apertura 2 con vertice en x, entonces
t|u| C2k en un cono de apertura 32 con vertice en x. En efecto, dado (x, t) en el cono de
apertura 23 existe B centrada en (x, t) contenida en el cono centrado en x de apertura 2. Como
u es armonica, tanto u u
x como t lo son, y entonces por valor medio
2k
Z Z
u 1 u 1 1 k n1
(x, t) = (y, s) dy ds = u dS C2 t = C .
t (c1 t)n B t (c1 t)n B (c1 t)n t
Por lo tanto, t|u| C2k en el cono de apertura 32 , como queramos ver.
CAPTULO 22

Clase 22

1. Dualidad entre H 1 y B.M.O.

n 22.1. Llamaremos H01 (Rn ) a todas las combinaciones lineales finitas de (1, 2)-
Definicio ato-
mos.
Lema 22.2. Dada b B.M.O(Rn ),
Z
Lb (f ) = f (x)b(x) dx (22.46)
Rn

es una funcional lineal y acotada en H01 (Rn ).

Demostraci on. Primero notemos que Lb esta bien definida, ya que si cambiamos b por b + c
con c una constante, (22.46) no cambia.
PN
Ahora, como f H01 (Rn ), f = k=1 k ak donde ak son (1, 2)-atomos, con soporte en Qk .
Entonces
Z

|Lb (f )| =
f (x)b(x) dx
Rn
N
X Z
= k ak (b(x) bQk ) dx


k=1 Qk
N Z 1
X 2
2
|k |kak k2 |b(x) bQk | dx
k=1 Qk
N  Z 1
X 1 2
2
|k | |b(x) bQk | dx
|Qk | Qk
k=1
Ckf kH 1 kbk
 1
1
R 2 2
donde para la u ltima igualdad usamos que |Qk | Qk |b(x) bQk | dx Ckbk (ver ejercicio
de la practica).
Teorema 22.3. Existen constantes que s on tales que dada b
olo dependen de la dimensi
n 1 n
B.M.O.(R ), la funcional lineal definida en H0 (R ) por (22.46) admite una unica extensi
on
acotada a H 1 (Rn ) con norma a lo sumo Ckbk .
106 22. CLASE 22

Recprocamente, dada una funcional lineal y acotada L definida sobre H 1 (Rn ), existe una funci
on
b B.M.O.(Rn ) tal que para toda f H01 (Rn ) vale L(f ) = Lb (f ) y adem
as kbk CkLb kL(H 1 ,C)

Demostraci on. Como H01 (Rn ) es un subespacio denso de H 1 (Rn ), Lb admite una u nica ex-
tension acotada a H 1 (Rn ). Es decir, dada f H 1 (Rn ), sean fj H01 (Rn ) tales que fj f en
H 1 (Rn ). Por la cuenta anterior,
|Lb (fj ) Lb (fk )| Ckbk kfj fk kH 1
y por lo tanto Lb (fj ) es una sucesi
on de Cauchy en C. Entonces, si Lb (f ) = lmj Lb (fj ), Lb
esta bien definida en H (R ), coincide con Lb en H01 (Rn ) y satisface |Lb (f )| Ckbk kf kH 1 para
1 n

toda f H 1 (Rn ).

on recproca, notemos primero que si llamamos L20 (Q) al subespacio de funciones


Para la implicaci
2
de L con soporte en un cubo Q e integral cero, se puede ver como en la demostracion del Lema
1
20.6 que todo elemento de L20 (Q) est a en H 1 (Rn ) y vale kgkH 1 C|Q| 2 kgk2 . Entonces, si L es
una funcional lineal y acotada en H 1 (Rn ), tambien es una funcional lineal y acotada en L20 (Q)
1
con norma a lo sumo C|Q| 2 kLk. Por el teorema de representacion de Riesz existe F Q en L20 (Q)
tal que, para toda g L20 (Q),
Z
1
L(g) = F Q (x)g(x) dx y kF Q kL2 (Q) C|Q| 2 kLk.
Q
0
Notemos que si Q est a contenido en otro cubo Q0 , entonces F Q F Q es constante sobre Q, ya
que si definen la misma funcional sobre Q tiene que valer, para toda g L20 (Q),
Z
0
(F Q (x) F Q (x))g(x) dx = 0.

Afirmamos que existe b L1loc (Rn ) tal que para cada cubo Q existe una constante c(Q) tal que
F Q = b c(Q) en Q. Observemos primero que si Qm = [m, m]n (m N) y l < m, como
F Qm F Ql es constante en Ql e igual al promedio de F Qm F Ql sobre Ql , tenemos que
Z
1
F Qm F Ql = F Qm (t) F Ql (t) dt
|Ql | Ql
y entonces Z Z
Qm 1 Qm Ql 1
F F (t) dt = F F Ql (t) dt.
|Ql | Ql |Ql | Ql
Por lo tanto, si x Qm , la funci on
Z
1
b(x) = F Qm (x) F Qm (t) dt
|Q1 | Q1
un m N, basta tomar c(Qm ) = |Q11 | Q1 F Qm (t) dt.
R
esta bien definida. Entonces, si Q = Qm para alg
Si Q es cualquier otro cubo de Rn , como F Qm F Q es constante sobre Q, tambien es constante
sobre Q vale F Q = b c(Q).

Entonces, para todo cubo Q y toda g L20 (Q),


Z
L(g) = b(x)g(x) dx.
Q
2. CONTINUIDAD DE INTEGRALES SINGULARES EN H 1 (Rn ) 107

Falta ver que b(x) B.M.O.(Rn ). Pero


Z Z
1 1 1
sup |b(x) c(Q)| dx = sup |F Q (x)| dx sup |Q| 2 kF Q kL2 (Q) CkLk
Q |Q| Q Q |Q| Q Q

y, por lo tanto, kbk CkLk.


PN
Ademas, para toda f H01 (Rn ), f = k=1 k akcon ak (1, 2)-atomos,
N
X Z
L(f ) = k L(ak ) = b(x)f (x) dx
k=1

2. Continuidad de integrales singulares en H 1 (Rn )

Teorema 22.4. Sea K un n


ucleo tal que

|K(x)|
Z B|x|n si |x| > 0
|K(x y) K(x)| dx B si |y| > 0
Z|x|2|y|
K(x) dx = 0 si 0 < R1 < R2 <
R1 <|x|<R2

y sea Z
T f (x) = f (x)K(x y) dy.

atomo a vale que kT akH 1 C.


Entonces, para todo (1, 2)-

Demostraci on. Sea Q un cubo con centro cQ tal que sop(a) Q y sea Q el cubo con el

mismo centro y lado 2 nlQ . Entonces, por un lado, usando que T es continuo en L2 ,
Z 1  1
|Q | 2
Z 2
21 2 21
|T a(x)| dx |Q | |T a(x)| dx |Q | kak2 C
Q Q |Q|
y, por otro lado,
Z Z Z

|T a(x)| dx = K(x y)a(y) dy dx
(Q )c (Q )c

Q
Z Z

= (K(x y) K(x cQ )a(y) dy dx
(Q )c

Q
Z Z
|K(x y) K(x cQ )| dx |a(y)| dy
Q (Q )c
| {z }
(i)

:= x cQ y y := y cQ , como x
Ahora, si x (Q )c
e y Q,

|
x| = |x cQ | > 2 nlQ > 2|y cQ | = 2|
y |,
108 22. CLASE 22

y entonces, Z
(i) |K(
x y) K( x C.
x)| d
|
x|>2|
y|
Se sigue que Z Z
1
|T a(x)| dx |a(y)| dy Ckak2 |Q| 2 C.
(Q )c Q

Corolario 22.5. Si T es como antes y f H 1 (Rn ), entonces kT f kH 1 Ckf kH 1 .

on. Si f H01 (Rn ),


Demostraci
N
X N
X
kT f kH 1 |k |kT ak kH 1 C |k | = Ckf kH 1
k=1 k=1
y en el caso f H 1 (Rn ) sale por densidad.
CAPTULO 23

Clase 23

1. Pesos Ap

Dada una funci on w(x) 0 definida en Rn y localmente integrable, nos interesa encontrar
condiciones para que valga
Z Z
p
|T f (x)| w(x) dx C |f (x)|p w(x) dx
Rn Rn
cuando T es uno de los operadores que estudiamos.

Comencemos considerando el caso de la maximal de Hardy-Littlewood


Z
1
M f (x) = sup |f (x)| dx.
Q3x |Q| Q

En este caso B. Muckenhoupt encontro condiciones necesarias y suficientes sobre w para que
valga el tipo fuerte si p > 1 y el tipo debil si p = 1, que veremos a continuacion. Primero
introducimos la siguiente:
n 23.1. Si A Rn , notamos
Notacio
Z
w(A) = w(x) dx
A
y
Z 1
p
p
kf kLpw = |f (x)| w(x) dx
Rn

2. Condici
on necesaria para el tipo d
ebil

Supongamos f 0 y que para w vale la desigualdad de tipo (p, p)-debil


Z
C
w({x : M f (x) > }) p f p (x)w(x) dx (23.47)
Rn

Si Q Rn es un cubo y es tal que


Z
1
0<< f (x) dx (23.48)
|Q| Q
110 23. CLASE 23

entonces Q {x : M f (x) > } y por (23.47) vale entonces que


Z
C
w(Q) p f p (x)w(x) dx
Rn
para todo que cumpla (23.48). Deducimos entonces que para todo Q Rn y toda f Lpw ,
f 0 tiene que valer
R !p
Q f (x) dx
Z
w(Q) C f p (x)w(x) dx (23.49)
|Q| Rn

Observacio n 23.2. La condici


on anterior implica que w > 0 en casi todo punto, como se deduce
acilmente considerando f = S con S Q medible y tal que |S| > 0.
f

Ahora, si p = 1, S Q es un conjunto medible tal que |S| > 0 y f = S , por (23.49) vale que
w(Q) w(S)
C . (23.50)
|Q| |S|
Entonces, si a = nf Q w(x) (donde por nfimo entendemos el nfimo esencial), dado > 0 existe
S Q tal que |S | > 0 y w(x) a + para x S , y por (23.50)
R
w(Q) w(x) dx
C S C(a + ).
|Q| |S |
Como es arbitrario, deducimos que para todo cubo Q Rn debe valer
w(Q)
C nf w(x)
|Q| Q

y, en consecuencia, para casi todo x Rn debe valer M w(x) Cw(x).


Definicio n 23.3. Definimos la clase de pesos A1 como los w que cumplen M w(x) Cw(x) en
casi todo punto.

1

Pasemos ahora al caso p > 1. Si elegimos f = w p1 Q , por (23.49) debe valer
 Z p Z
1 1
p1 p
w(Q) w C w p1 w dx
|Q| Q Q

o, equivalentemente,
 Z  Z p1
1 1 1
p1
w w C
|Q| Q |Q| Q

n 23.4. Definimos la clase de pesos Ap como los w que cumplen


Definicio
 Z  Z p1
1 1 1
w w p1 C
|Q| Q |Q| Q
para todo cubo Q Rn .
Ejemplo 23.5. Se puede ver que |x| Ap (Rn ) si y s
olo si n < < n(p 1)

3. SUFICIENCIA PARA EL TIPO DEBIL (1, 1) 111

3. Suficiencia para el tipo d


ebil (1, 1)

Lema 23.6. Sean f L1 (Rn ), f 0 y > 0. Si Qj son los cubos de la descomposici on de


on-Zygmund a altura y Qj son expandidos (por un factor fijo) de Qj , entonces existe
Calder
cn que s
olo depende de la dimensi
on y del factor de expansi
on de los cubos tal que
{x : M f (x) > cn } j Qj

Demostraci on. Basta ver que si x 6 j Qj , entonces M f (x) cn . Probaremos entonces que
para todo Q tal que x Q, Z
1
f cn
|Q| Q
Para esto separamos en casos:
1
R
Si Q j Qj = , entonces Q F y, por lo tanto, |Q| Q f .

Si Q j Qj 6= , o bien existe alg


un j tal que Q Qj 6= y |Qj | |Q| o bien para todo j tal
que Q Qj 6= vale que l(Qj ) l(Q). En el primer caso,
Z Z
1 C
f f cn .
|Q| Q |Qj | Qj
En el segundo caso, escribimos
Z Z Z
1 1 1
f (x) dx = f (x) dx + f (x) dx
|Q| Q |Q| Q(j Qj ) |Q| Q\(j Qj )
| {z } | {z }
(i) (ii)

Como Q \ (j Qj ) F ,

(ii) |Q \ (j Qj )| .
|Q|
Para el otro termino tenemos que
Z
1 X
(i) = f (x) dx
|Q| QQj
j
|Qj | 1
X Z
f (x) dx
|Q| |Qj | Qj
j:Qj Q6= | {z }
2n
C2n

Teorema 23.7 (Fefferman-Stein). Si w 0 y 1 < p < , entonces existe Cp tal que


Z Z
p
|M f (x)| w(x) dx Cp |f (x)|p M w(x) dx
Rn Rn
y si p = 1 vale el tipo debil, es decir
Z
C1
w({x : M f (x) > }) |f (x)|M w(x) dx
Rn
112 23. CLASE 23

on. Sin perdida de generalidad, podemos suponer f 0.


Demostraci

Afirmamos que
kM f kL
w
kf kL
Mw
.
Para ver esto, notemos que podemos suponer M w(x) 0 para casi todo x (sino w 0 y no hay
nada que probar). Si consideramos a > kf kL
Mw
, entonces
Z
M w(x) dx = 0,
{f >a}

pero esto implica |{f > a}| = 0. Equivalentemente, f a en casi todo punto, pero entonces
M f a en casi todo punto. Luego, kM f kL w
kf kL
Mw
para todo a kf kLMw
, de donde
kM f kL
w
kf k
LM w .

Veamos ahora que vale el tipo debil (1, 1). Para esto, basta ver que para todo > 0
Z Z
C
w(x) dx f (x)M w(x) dx
{M f >cn } Rn

siendo cn la constante del lema anterior. Como sabemos que {M f > cn } j Qj , entonces
Z Z
w(x) dx w(x) dx
{M f >cn } Qj
XZ
w(x) dx
j Qj
Z !
X 1
C |Qj | w(x) dx
|Qj | Qj
j
Z Z !
CX 1
f (y) dy w(x) dx
Qj |Qj | Qj
j
Z Z !
CX 1
= f (y) w(x) dx dy
Q j
|Qj | Qj
j
Z
CX
f (y)M w(y) dy
Qj
j
Z
C
f (y)M w(y) dy
Rn
es decir,
Z
C
w({M f > }) f (y)M w(y) dy
Rn
como queramos.

Como corolario inmediato del teorema anterior tenemos el siguiente:



3. SUFICIENCIA PARA EL TIPO DEBIL (1, 1) 113

Teorema 23.8. Sea w 0. Entonces w A1 si y s


olo si existe C tal que
Z
C
w({x : M f (x) > }) |f (x)|w(x) dx
Rn
CAPTULO 24

Clase 24

1. Suficiencia para el tipo d


ebil (p, p), p > 1

Primero veamos que la condicion Ap implica (23.49) para alguna constante C. En efecto, usando
older, si w Ap ,
la desigualdad de H
 Z p Z  Z p1
1 1 p
1
p1
f (x) dx f (x) w(x) dx w(x) dx
|Q| Q |Q|p Q Q
 Z  Z p1
1 1 1
= f (x)p w(x) dx w(x) p1 dx
|Q| Q |Q| Q
 Z  Z 1
1 p 1
f (x) w(x) dx w(x) dx
|Q| Q |Q| Q
y despejando se obtiene (23.49). Ademas, esto implica, como en (23.50) que
|S| p
 
w(Q) Cw(S) (24.51)
|Q|
para todo S Q medible.

Ahora, dada f 0 hacemos su descomposicion de Calderon-Zygmund a altura . Notemos que


esto es posible porque si f Lpw entonces f L1loc y la demostracion vale para fk := f B(0,k)
con constantes independientes de k. Por el Lema 23.6 tenemos entonces que
X
w({x : M f (x) > }) w(Qj )
j
X
C w(Qj ) (por (24.51))
j
XZ |Qj |p
C f (x)p w(x) dx (por (23.49))
Qj f (Qj )p
j
Z
C X
f (x)p w(x) dx (porque son cubos de C-Z)
p Qj
j
Z
C
p f (x)p w(x) dx
Rn
como queramos.
n 24.1. Valen las siguientes propiedades, que dejamos como ejercicio:
Proposicio
116 24. CLASE 24

1. Si 1 p < q, entonces Ap Aq .
1

2. w Ap si y solo si w p1 Ap0 .
3. Si w0 , w1 A1 , entonces w0 w11p Ap .
Corolario 24.2. Si w Ap , entonces para todo q > p
Z Z
q
|M f (x)| w(x) dx C |f (x)|q w(x) dx
Rn Rn

Demostraci on. Sale usando el teorema de Marcinkiewicz para interpolar entre p e (recordar
que kM f kL
w
kf kL
w
).

Por lo anterior, vale que p<q Ap Aq . Vamos a probar que vale p<q Ap = Aq o, equivalen-
temente, que si w Aq , entonces existe > 0, = (w) tal que w Aq . Comencemos por
probar el siguiente lema:
Lema 24.3. Si w Ap , entonces para todo 0 < < 1 existe 0 < < 1 tal que si S Q y
|S| |Q| vale que w(S) w(Q).

on. Cambiamos S por Q S en (24.51), y obtenemos


Demostraci
 
|Q| |S|
w(Q) C(w(Q) w(S))
|Q|
pero como |S| |Q|, esto implica
w(Q)(1 )p C(w(Q) w(S))
o, equivalentemente,
C (1 )p
w(S) w(Q)
C
C(1)p
por lo que basta tomar = C .
Teorema 24.4 (Propiedad de H older inversa). Si w Ap para alg
un p 1, entonces existe
> 0 (que depende de w) tal que para todo cubo Q
 Z  1  Z 
1 1+
1+ 1
w(x) dx C w(x) dx .
|Q| Q |Q| Q

Demostraci on. Dado Q, como w L1 (Q) podemos hacer la descomposicion de Calder on-
Zygmund de w en Q para una sucesi onR 0 < 0 < 1 < . . . < k < . . . . Notemos que para hacer
1
la descomposici
on necesitamos que |Q| Q w(x) dx 0 . Elegimos 0 para que valga la igualdad,
y vamos a elegir k despues.

Para cada k tenemos entonces cubos Qk,j tales que k = j Qk,j , k < |Q1k,j | w(Qk,j ) 2n k , y
w(x) k para casi todo x 6 k . Por construccion, vale ademas que k+1 k .

1. SUFICIENCIA PARA EL TIPO DEBIL (p, p), p > 1 117

Fijemos un cubo Qk,j0 de nivel k . Como Qk,j0 k+1 = iI Qk+1,i para alg
un conjunto de
ndices I, tenemos que
X X 1 Z 1
Z
k
|Qk,j0 k+1 | = |Qk+1,i | w(x) dx w(x) dx 2n |Qk,j0 |.
k+1 Qk+1,i k+1 Qk,j k+1
iI iI 0

n
Si elegimos = 2n k+1
k
< 1, entonces k = ( 2 )k 0 y, por la cuenta anterior,
|Qk,j0 k+1 | |Qk,j0 |.
Entonces, por el Lema 24.3 existe < 1 que depende de tal que
w(Qk,j0 k+1 ) w(Qk,j0 ).
Sumando sobre todos los j0 tenemos que
w(k+1 ) w(k )
y, en general
w(k ) k w(0 ).
Entonces, observando que |k | 0,
Z Z Z
X
w(x)1+ dx = w(x)1+ dx + w(x)1+ dx
Q Q\0 k=0 k \k+1

X
0 w(Q) + k+1 w(k )
k=0
 n (k+1)
X 2
= 0 w(Q) + 0 w(k )

k=0
 n (k+1)
X 2
0 w(Q) + 0 k w(Q)

k=0
n
Para que la serie sea convergente necesitamos que ( 2 ) < 1, pero < 1 y lo podamos elegir,
as que eligiendo suficientemente chico tenemos que
Z Z
1+
w(x) dx C0 w(x) dx.
Q Q
w(Q)
Como 0 = |Q| , entonces
Z Z 1+
1+ C
w(x) dx C w(x) dx .
Q |Q| Q
1
Dividiendo por |Q| a ambos lados y elevando a la 1+ se obtiene la estimacion que queramos.

Como corolario de esta propiedad se obtiene la siguiente propiedad, que dejamos como ejercicio:
Corolario 24.5. Si w Ap , entonces existe > 0 (que depende de w) tal que Ap . O sea,
Aq = p<q Ap .

Tambien se obtiene como consecuencia el siguiente teorema


118 24. CLASE 24

Teorema 24.6. w Ap si y s
olo si
Z Z
p
|M f (x)| w(x) dx C |f (x)|p w(x) dx.
Rn Rn
CAPTULO 25

Clase 25

1. Caracterizaci
on de pesos A1

Para caracterizar los pesos que est


an en A1 primero probaremos el siguiente:
Lema 25.1 (Kolmogorov). Si S es un operador de tipo debil (1, 1), 0 < < 1 y E Rn es un
conjunto finitamente medible, entonces existe C = C() tal que
Z
|Sf (x)| dx C|E|1 kf k1
E

Demostraci
on.
Z Z

|Sf (x)| dx = 1 |{x E : Sf (x) > }| d
E 0
Z
C
1 mn{|E|, kf k1 } d
0
Z Ckf k1 Z
|E|
1 C
= |E| d + 2 kf k1 d
0
Ckf k1
|E|
Ckf k1
|E|
= |E| + Ckf k1 1 Ckf k1

0 1 |E|

= C()kf k1 |E|1

Teorema 25.2. 1. Si f L1loc y 0 < 1, entonces w(x) = (M f (x)) A1 con constante A1


que depende s
olo de .

2. Si w A1 , entonces existen f L1loc , 0 < 1 y k L con k 1 L tales que


w(x) = k(x)(M f (x)) .

Demostraci
on. 1. Queremos ver que dado Q vale que
Z
1
(M f (y)) dy C(M f (x))
|Q| Q
para casi todo x Q, con una constante independiente de Q y de f .

Para esto, dado Q, llamamos Q al cubo de lado doble e igual centro, y escribimos f = f1 + f2
con f1 = f Q , f2 = f (1 Q ). Usando la sublinealidad de M y que o < 1, tenemos
120 25. CLASE 25

entonces que
(M f (x)) (M f1 (x)) + (M f2 (x))
por lo que basta estos terminos por separado.

Por un lado, por el lema anterior


Z  Z 
1 C 1 1
(M f1 (y)) dy |Q| kf1 k1 = C |f (y)| dy C(M f (x)) .
|Q| Q |Q| |Q| Q

1
R
Por otro lado, si y Q y R es un cubo tal que y R y |R| R |f2 (x)| dx 6= 0, entonces tiene que
1
ser l(R) 2 l(Q). Como x Q entonces x cn R, de donde
Z Z
1 1
|f2 (y)| dy |f2 (y)| dy cn M f (x)
|R| R |R| cn R
y, por lo tanto, M f2 (y) cn M f (x) para todo y Q, y se deduce inmediatamente que
Z
1
(M f2 (y)) dy cn (M f (x)) .
|Q| Q

2. Como w A1 , por la propiedad de Holder inversa existe > 0 tal que


 Z  1 Z
1 1+
1+ C
w (x) dx w(x) dx.
|Q| Q |Q| Q
1
Entonces, usando adem as que w A1 , vale que (M w1+ (x)) 1+ CM w(x) Cw(x). Por otro
lado, como en casi todo punto w1+ (x) M w1+ , resulta en definitiva que
1
w(x) (M w1+ (x)) 1+ Cw(x),
1 w(x)
por lo que definiendo f = w1+ , = 1+ y k(x) = (M f (x))
vale lo que queramos.

Observacio n 25.3. La parte 1. del teorema anterior vale tambien para una medida de Borel
localmente finita, con M (x) = supxQ (Q) |Q| . Si tomamos como medida a la delta de Dirac,
cn
vale que M (x) = |x|n , y por el teorema resulta entonces que |x|1n A1 para todo 0 < 1
o, equivalentemente, |x| A1 si n < 0. Observemos que adem as esta condici
on es

necesaria, porque sino |x| deja de ser localmente integrable (si > 0) o la maximal deja de
esta acotada (si > 0).

Recordando adem as que si w0 , w1 A1 entonces w0 w11p Ap se deduce ademas que |x| Ap


si n < < n(p 1), y es claro que esta condici on es adem as necesaria para la integrabilidad
local de los factores que aparecen en la condici
on Ap .

2. Extrapolaci
on

Teorema 25.4. Sea 1 < r < . Si T es un operador tal que para todo w Ar
Z Z
|T f (x)| w(x) dx C |f (x)|r w(x) dx,
r

2. EXTRAPOLACION 121

entonces, para todo 1 < p <


Z Z
|T f (x)|p dx C |f (x)|p dx.

Demostraci
on. Supongamos primero que p > r. En este caso,
Z r Z
p
p
|T f (x)| dx = k|T f | k p = |T f (x)|r u(x) dx
r r

p 0
para alguna u L( r ) tal que kuk( p )0 = 1.
r

1 1
Pero u(x) (M us ) s para todo s > 1 y (M us ) s A1 si us L1loc . Entonces,
Z Z Z
1 1
|T f (x)| u(x) dx |T f (x)| (M u (x)) dx C |f (x)|r (M us (x)) s dx.
r r s s

Si ahora llamamos t = ( pr )0 , elegimos s tal que 1 < s < t y aplicamos la desigualdad de Holder
con exponente pr , tenemos en definitiva que
Z r Z  r Z 1 Z r
p p t t p
p p s p
|T f (x)| dx C |f (x)| dx (M u (x)) s dx C |f (x)| dx ,
t
donde para el u
ltimo paso usamos la acotacion de la maximal en L s .
rp
Pasemos ahora al caso p < r. Observemos que en este caso |M f (x)| r1 A1 , por lo que
|M f (x)|pr Ar . Escribimos entonces
Z Z
p p
|T f (x)|p dx = |T f (x)|p |M f (x)| r (rp) |M f (x)| r (rp) dx
Z  p Z  1
r )0
r p (p
r pr (rp)( pr )0
|T f (x)| |M f (x)| dx |M f (x)| r dx
Z  p Z  rp
r r
r pr p
= |T f (x)| |M f (x)| dx |M f (x)| dx
Z  p Z  rp
r r
r pr p
C |f (x)| |M f (x)| dx |M f (x)| dx
Z  p Z  rp
r r
r pr p
C |f (x)| |f (x)| dx |f (x)| dx
Z
=C |f (x)|p dx.

Observacio n 25.5. Es importante notar que en la primera parte de la demostraci


on solo usamos
que T est r
a acotado en L para todo peso A1 , por lo que esta hip otesis es suficiente si s
olo
queremos extrapolar para p > r.
Observacio n 25.6. En la demostracion no interviene ninguna propiedad de T m
as que la aco-
on el Lrw , por lo que el enunciado no vale solamente para operadores sino tambien para
taci
desigualdades.
CAPTULO 26

Clase 26

1. La funci
on maximal di
adica

Consideramos [0, 1]n y la grilla formada por sus trasladados enteros. Vamos a decir que un cubo
adico si es un dilatado en 2k , k Z de uno de estos cubos.
Q es un cubo di

Podemos considerar entonces la funci


on maximal diadica,
Z
1
Md f (x) = sup |f (y)| dy.
adico, Q3x |Q| Q
Q di

Observacio n 26.1. Dada f L1 , f 0, la descomposici


on de Calder
on-Zygmund se puede
hacer tomando s
olo cubos di
adicos, y vale que
= j Qj = {x : Md f (x) > }.

2. Acotaciones con pesos para integrales singulares

Consideramos los operadores tales que para toda f S, si x 6 sop(f ) entonces


Z
T f (x) = K(x y)f (y) dy

acotados en Lp para 1 < p < y tal que ademas

B
1. |K(x)| |x|n
B|y|
2. |K(x y) K(x)| |x|n+1
si |x| 2|y|

Lema 26.2. Si T est


a en las condiciones anteriores y s > 1, entonces
1
M # (T f )(x) C(M |f |s ) s (x)


Demostraci on. Dado un cubo Q tal que x Q sea Q = 2 nQ. Escribimos f = f1 + f2 con
f1 = f Q y elegimos a = T f2 (x). Entonces,
Z Z Z
1 1 1
|T f (y) a| dy |T f1 (y)| dy + |T f2 (y) T f2 (x)| dx
|Q| Q |Q| Q |Q| Q
| {z } | {z }
(i) (ii)
124 26. CLASE 26

Por un lado, como s > 1,


 Z 1  Z 1  Z 1
1 s
s 1 s
s 1 s
s 1
(i) |T f1 (y)| dy |f1 (y)| dy = |f (y)| dy 2(M |f |s ) s (x).
|Q| Q |Q| Rn |Q| Q

Por otro lado, Z


|T f2 (y) T f2 (x)| |K(y z) K(x z)||f2 (z)| dz.

Como z (Q )c y x, y Q, si x
= x z y y = x y, entonces |
x| 2|
y |, por lo que
B|x y| Bl(Q)
|K(y z) K(x z)| n+1
.
|x z| |x z|n+1

Luego,
Z Z
C l(Q)
(ii) |f2 (z)| dz dy
|Q| Q (Q )c |x z|n+1

X Z |f (z)|
Cl(Q) dz
k k+1 l(Q) |x z|n+1
k=1 2 l(Q)|xz|<2
Z
X 1
Cl(Q) |f (z)| dz
(2k l(Q))n+1 |xz|<2k+1 l(Q)
k=1

2n
Z
X 1
Cl(Q) |f (z)| dz
2k l(Q) (2k+1 l(Q))n |xz|<2k+1 l(Q)
k=1
CM f (x)
1
C(M |f |s ) s (x)

Lema 26.3. Para todo > 0 y todo > 0,


|{x : Md f (x) > 2, M # f (x) < }| 2n |{x : Md f (x) > }|

Demostraci on. Como {x : Md f (x) > } = j Qj con Qj diadicos, disjuntos y maximales en


el sentido de la descomposici
on de Calderon-Zygmund, basta demostrar que la desigualdad vale
para uno de estos cubos. O sea que si Q es alg
un Qj , queremos ver que
|{x Q : Md f (x) > 2, M # f (x) < }| 2n |Q|.

Para esto, sea Q = 2Q, entonces sabemos que fQ = 1


R
|Q | Q |f (x)| dx .

Por otra parte, si x Q es tal que Md f (x) > 2, entonces tambien Md (f Q )(x) > 2 (por la
maximalidad de Q). Entonces, para estos x, Md ((f fQ )Q )(x) > pues
Z Z Z
1 1 1
|f fQ | |f | fQ >
|Q| Q |Q| Q |Q| Q
| {z } | {z }
>2
2. ACOTACIONES CON PESOS PARA INTEGRALES SINGULARES 125

Pero Md es tipo debil (1, 1) con constante 1, por lo que


1
|{y : Md ((f fQ )Q )(y) > }| k(f fQ )Q k1
Z
1
|f (y) fQ | dy
Q
2n |Q| 1
Z
|f (y) fQ | dy
|Q | Q
2n |Q| #
M f (x)

n
2 |Q|

Lema 26.4. Si w Ap y 1 < p < , entonces


Z Z
|Md f (x)|p w(x) dx C |M # f (x)|p w(x) dx

siempre que el lado izquierdo de la desigualdad sea finito.

Demostraci on. Veamos primero la demostracion en el caso sin pesos (w 1). En este caso,
si el lado izquierdo es finito, escribimos
Z
I= pp1 |{x : Md f (x) > 2}| d
0
Z
p1
=2 pp1 |{x : Md f (x) > }| d
Z 0 Z
p p1 # p
2 p |{x : Md f (x) > , M f (x) }| d + 2 pp1 |{x : M # f (x) > }| d
0 0
Z Z
p p1 p
2 C1 p |{x : Md f (x) > }| d + 2 pp1 |{x : M # f (x) > }| d
0 0
Z  p1
1
2p C1 I + 2p p |{x : M # f (x) > }| d
0
p
y, por lo tanto, eligiendo tal que 2p C1 = 1
2 obtenemos I 2 2p kM # f kpp .

Para el caso con pesos, como {x : Md f (x) > } = j Qj , basta ver que si Q es alguno de estos
Qj , para todo > 0 y w Ap existe > 0 tal que
w({x Q : Md f (x) > 2, M # f (x) }) C w(Q).
La demostraci aloga a la del caso anterior usando que si w Ap entonces para todo
on es an
S Q medible vale que
|S|
 
w(S)
C
w(Q) |Q|
(que es consecuencia de la propiedad de Holder inversa).
CAPTULO 27

Clase 27

1. Acotaciones con pesos para integrales singulares

Teorema 27.1. Sea T es un operador integral singular que se escribe como


Z
T f (x) = K(x y)f (y) dy

para toda f S y x 6 sop(f ), y tal que K cumple

|K(x)| B|x|n si |x| > 0


B|y|
|K(x y) K(x)| |xy| n+1 si |x| > 2|y|

Entonces, si T es acotado en Lp , es acotado tambien en Lpw para todo w Ap y 1 < p < .

Demostraci on. Consideremos f L de soporte compacto (estas funciones son densas en


p
Lw ). Sabemos que entonces T f Lp para todo 1 < Rp < , y que T f (x) Md (T f )(x) en
casi todo punto. Entonces, por los lemas anteriores, si (Md (T f )(x))p w(x) dx < + podemos
escribir
Z Z
|T f (x)| w(x) dx |(Md (T f )(x))p w(x) dx
p

Z
C (M # (T f ))p w(x) dx
Z
p
C M (|f |s ) s dx

si s > 1. Pero sabemos que existe s (dependiendo de w) tal que 1 < s < p y w A p , por lo que
s
eligiendo este s obtenemos
Z Z
|T f (x)| w(x) dx C |f |p dx.
p

Falta entonces ver que efectivamente Md (T f ) Lpw , as que bastara probar que T f Lpw . Para
esto, si sop(f ) B(0, R) escribimos
Z Z Z
|T f (x)|p w(x) dx = |T f (x)|p w(x) dx + |T f (x)|p w(x) dx .
|x|<2R |x|2R
| {z } | {z }
(i) (ii)
128 27. CLASE 27

Por un lado tenemos que


! 1 ! 1+
Z 1+ Z
p(1+)
1+
(i) (w(x)) dx |T f (x)|
|x|<2R |x|<2R

Basta observar entonces que el primer factor es acotado para suficientemente chico por la
propiedad de Holder inversa, mientras que el segundo es acotado porque como f L tiene
p(1+)
soporte compacto, entonces f L (y luego T f tambien).
|x|
Para acotar (ii), notemos primero que como |x| 2R y |y| R, entonces |xy| |x||y| 2 .
Luego,
Z
|f (y)| |f (y)|
Z Z
n C
|T f (x)| = K(x y)f (y) dy B dy 2 B dy
|x y|n
|y|R |x|n |x|n
|y|R

donde la constante depende de B, n y tambien de f . Entonces


Z
(ii) |T f (x)|p w(x) dx
|x|2R
Z
w(x)
C dx
|x|2R |x|np

XZ w(x)
= dx
k k+1 R |x|np
k=1 2 R<|x|<2
X
k np
C (2 R) w(B(0, 2k+1 R))
k=1

Como w Ap , sabemos que w Ap para algun > 0, por lo que dado un cubo Q,
 p
|S|
w(Q) |Q| w(S) para todo S Q medible. Aplicando esta propiedad para bolas, tene-
mos entonces que w(B(0, 2k+1 R)) C(2k R)n(p) y reemplazando en la cadena de acotaciones
anteriores la serie resulta convergente.

Es importante destacar que es necesario usar que w Ap implica w Ap , ya que sino el


argumento anteior no servira para acotar la serie.
Teorema 27.2. Con las mismas hip otesis del teorema anterior sobre T , si w A1 entonces
Z
C
w({x : |T f (x)| > }) |f (x)|w(x) dx.

Demostraci on. Esta demostraci on es analoga a la de la acotacion sin pesos. Para cada
hacemos la descomposici on de Calderon-Zygmund de f = g + b, y acotamos por separado
w({x : |T g(x)| > }) y w({x : |T b(x)| > }).

Por un lado, usando que w A1 A2 y que g(x) C en casi todo punto, tenemos que
|T g(x)|2 |g(x)|2 |g(x)|
Z Z Z
w({x : |T g(x)| < }) 2
w(x) dx C 2
w(x) dx C w(x) dx

1. ACOTACIONES CON PESOS PARA INTEGRALES SINGULARES 129

Ahora, como
f (x) en (Qj )c

g(x) =
fQj en Qj
tenemos que ver que
|g(x)| |f (x)|
Z Z
w(x) dx w(x) dx
Qj Qj
Pero
Z Z Z !
1
|g(x)|w(x) dx |f (y)| dy w(x) dx
Qj Qj |Qj | Qj
Z
w(Qj )
= |f (y)| dy
Qj |Qj |
Z
C |f (y)|w(y) dy
Qj

ltima desigualdad que w A1 .


usando en la u

Por otro lado, si Qj = 2 nQj , tenemos que
X w(Qj ) Z
X CX
w(j Qj ) C w(Qj ) = C |Qj | |f (y)|w(y) dy
|Qj | Qj
j j j

donde usamos nuevamente que w A1 y las propiedades de los cubos de Calderon-Zygmund.

Entonces solo falta acotar


Z
CX
w({x (Qj )c : |T b(x)| > }) |T bj (x)|w(x) dx
(Qj )c j

R
Pero usando que bj = 0, si llamamos cj al centro del cubo Qj ,
Z
T bj (x) = (K(x y) K(x cj ))bj (y) dy,
Qj

de donde
Z
|T bj (x)| |K(x y) K(x cj )||bj (y)| dy
Qj
|y cj |
Z
C |bj (y)| dy
Qj |x cj |n+1
Z
l(Qj )
C |bj (y)| dy
Qj |x cj |n+1
130 27. CLASE 27

y entonces
Z Z Z
CX CX l(Qj )
|T bj (x)|w(x) dx |bj (y)| n+1
w(x) dx dy
(Q )c (Q )c Q j
|x c j |
j j j j
Z Z
C X w(x)
= |bj (y)| l(Qj ) dx dy
Q j (Q ) c |x cj |n+1
j j
| {z }
()

Afirmamos que () CM w(y) si y Qj , de donde, como w A1 ,


Z Z
CX CX
|T bj (x)| |bj (y)|M w(y) dy |bj (y)|w(y) dy
Qj Qj
j j

Como bj (x) = (f (x) fQj )Qj (x), entonces


Z Z Z
1
|bj (y)|w(y) dy |f (y) f |w(y) dy
Qj Qj |Qj | Qj
Z Z Z
1
|f (y)|w(y) dy + |f (z)| dzw(y) dy
Qj |Qj | Qj Qj
Z Z
w(Qj )
|f (y)|w(y) dy + |f (z)| dz
Qj Qj |Qj |
Z Z
|f (y)|w(y) dy + |f (z)|w(z) dz
Qj Qj

lo que concluye la demostraci on si probamos nuestra afirmacion sobre (). Para esto, notemos
que
Z Z
w(x) w(x)
n+1
dx n+1
dx
(Qj )c |x cj | |xcj |>l(Qj ) |x cj |
Z
X w(x)
= dx
m
l(Qj )2 <|xcj |l(Qj )2 m+1 |x cj |n+1
m=0

X
C (2m l(Qj ))(n+1) w(B(cj , l(Qj )2m+1 ))
m=0

X w(B(cj , l(Qj )2m+1 ))
C (2m l(Qj ))1
|B(cj , l(Qj )2m+1 )|
m=0
X
C (2m l(Qj ))1 M w(y)
m=0
C
M w(y)
l(Qj )
como queramos.
CAPTULO 28

Clase 28

1. Derivadas en integrales fraccionarias

Nos proponemos estudiar los espacios de Sobolev, que se definen para un abierto Rn ,
1 p y k N0 por

W k,p () = {f Lp () : D f Lp () para todo multindice || k}.

Este es un espacio de Banach con la norma


1
p
X

kf kW k,p () = kD f kp .
||k

En particular, probaremos que valen los teoremas de inmersion de Sobolev, de los que el siguiente
es un caso particular:

Lema 28.1. W 1,1 (R) L (R).

on. Si f C 1 tiene soporte compacto, por la regla de Barrow


Demostraci
Z
f (x) = f 0 (x t) dt
0

de donde es inmediato que kf k kf 0 k1 . En general se hace por densidad.

on n > 1 no es cierto que W 1,1 (Rn ) L (Rn ), pero veremos que s existe q > 1
Para dimensi
a includo en Lq (Rn ). Para eso necesitamos generalizar la regla
(que depende de n) tal que est
de Barrow a mas variables.

Consideremos entonces f C0 (Rn ). Dado x Rn y S n1 definimos g(t) = f (x t).


Entonces
Z n Z
0
X f
f (x) = g(0) = g (t) dt = (x t)j dt
0 0 xj
j=1
132 28. CLASE 28

Integrando en S n1 tenemos que


n Z Z
X 1 f j
f (x) = (x t) n1 tn1 dt d
|S n1 | S n1 0 xj t
j=1
n Z
X 1 f yj
= (x y) n dy
|S n1 | Rn xj |y|
j=1
Z
1 y
= f (x y) dy
|S n1 | Rn |y|n

Para definir una noci


on de derivada (e integral) fraccionaria, recordemos que
f
= [(2ij )f()]
xj
Esto nos permite definir, para cualquier s R, la derivada de orden s como
s
(f ) 2 = ((2||)s f).
La inversa de este operador es (salvo constantes) la integral fraccionaria, o sea el operador
cn
 
f f .
||s
Lema 28.2. Si 0 < < n, entonces ( ||1 )(x) = cn |x|n
1
.

Demostraci on. Sale usando que la transformada de una funcion radial es radial y que la
on homogenea de grado es homogenea de grado n.
transformada de una funci
Definicio n 28.3. Para 0 < < n, definimos la integral fraccionaria de f en x (en principio
para f S) por
Z
f (y)
I (x) = dy.
Rn |x y|n

Observacio n 28.4. Por lo que vimos anteriormente, vale que cn () 2 = I y que |f (x)|
cn I1 (|f |)(x)

2. Condici
on necesaria para la continuidad de la integral fraccionaria

Supongamos que kI f kq Ckf kp para toda f Lp (Rn ) con C independiente de f . Entonces,


dada f Lp podemos considerar, para > 0, f (x) = f (x) y tenemos que
Z  1 Z 1
p p
p p n n
kf kp = |f (x)| dx = |f (y)| dy = p kf kp .

Por otro lado,


Z Z
f (y) f (z)
I f (x) = dy = dz = I f (x)
Rn |x y|n Rn |x 1 z|n
NECESARIA PARA LA CONTINUIDAD DE LA INTEGRAL FRACCIONARIA
2. CONDICION 133

de donde
n
k I f (x)kq = k(I f ) kq = q kI f kq .
Deducimos entonces que para todo > 0
n n
q kI f kq C p kf kp
n n 1 1
de donde se sique que debe ser + q = p o, equivalentemente, q = p n .

Veremos que esta condici on es ademas suficiente salvo en los casos q = o p = 1. Si la acotaci
on
valiera en el caso p = 1, tendramos que, en particular,
kI fk (x)k n
n Ckfk k1
fk = 1 y sop(fk ) = ( k1 , k1 ).
R
con fk aproximaciones de la identidad, es decir, tales que fk 0,
Como Z
fk (y) C
n
dy ,
|x y| |x|n
n
entonces resultara que (|x|(n) ) n = |x|n es integrable, que es absurdo.
CAPTULO 29

Clase 29

1. Continuidad de la integral fraccionaria

1 1
Teorema 29.1. Sean 0 < < n y 1 p < q < tales que q = p n . Entonces vale

Si f Lp (Rn ), la integral que define I es absolutamente convergente para casi todo x.


Si p > 1,
kI f kq Ckf kp
Si p = 1,
  n
Ckf k1 n
|{x : |I f (x)| > }|

1
Demostraci on. Sea K(x) = |x|n . Escribimos entonces K = K1 + K con K1 = K|x|
donde es una constante positiva a elegir.
R
Para
R ver el primer punto, basta tomar = 1 y observar que tanto K1 (x y)f (y) dy como
K (x y)f (y) dy son absolutamente convergentes para casi todo x.

En efecto, por un lado, como K1 L1 y f Lp , K1 f Lp y la integral es absolutamente


0
convergente para casi todo x. Por otro lado, afirmamos que K Lp , de donde se sigue que
0
|(K f )(x)| kK kp0 kf kp . Que K Lp es equivalente a ver que (n )p0 > n, es decir
p0 > n
n
. Pero esto se sigue de la relacion 1q = p1 n , ya que
1 1 n 1 n
=1 = < .
p0 n q n q n

Para ver que valen las otras afirmaciones del enunciado vamos a probar que para p, q como en
el enunciado vale
Ckf kp q
 
|{x : |(K f )(x)| > 2}| . (29.52)

n
por lo que el tipo debil (1, n ) va a resultar un caso particular, y el tipo fuerte para p > 1
va a ser consecuencia del teorema de Marcinkiewicz. Para ver (29.52) consideramos como antes
K = K1 + K con a determinar. Tenemos entonces que
|{x : |(K f )(x)| > 2}| |{x : |(K1 f )(x)| > }| + |{x : |(K f )(x)| > }|
| {z } | {z }
(i) (ii)
136 29. CLASE 29

Por un lado, p p p
C kf kp
  
kK1 f kp 1
(i) kKk1 kf kp

ya que

rn1
Z Z Z
1
kK1 k1 = dx = C dr = C r1 dr = C .
|x| |x|n 0 rn 0
Por otro lado,
n
kK f k kK kp0 kf kp C q kf kp
ya que

rn1 0 0
Z Z Z
0 1 1 np np
kK kpp0 = (n)p0
dx = C (n)p0
dr = C r q dr = C q ,
|x|> |x| r

donde en la ante
ultima desigualdad usamos que
1 1 n 1 p0 n
= = 0 p0 (n ) = + n.
q p n n p q

n
Ahora, notemos que podemos suponer kf kp = 1, por lo que resultakK f k C q , y
n
eligiendo tal que C q = resulta que (ii) = 0.

En consecuencia,
p p
C
 
C C C
|{x : |(K f )(x)| < 2}| = q = = ,
+1 ( + 1q )pq q

n

como queramos.
n
Esto concluye la demostraci on del tipo debil (p, q) y, en particular, del tipo debil (1, n ). Si

ahora p > 1, podemos elegir p1 > p y tenemos que I es tambien de tipo debil (p1 , p1 ), donde
p1 cumple la relaci
on p1 = p11 n . Por el teorema de Marcinkiewicz, si p1 = + 1 p1 , resulta
1
entonces que I es de tipo fuerte (p, q) con 1q = 1 + 1 p1 , por lo que basta ver que este q es
el que cumple la relaci on del teorema. Mas facilmente, se puede usar que ya probamos que la
relacion entre p, q, n y que queremos era necesaria, por lo que sabemos de antemano que q la
va a cumplir.

2. Teoremas de inmersi
on de Sobolev

Recordemos que para 1 p ,


W k,p (Rn ) = {f Lp : D f Lp para todo || k}.
Teorema 29.2. Sea f W 1,p (Rn ). Entonces:

Si 1 p < n, W 1,p Lq para 1q = p1 n1 .


Si p = n, W 1,n 6 L , pero s vale que W 1,n Lrloc para todo r < .
Si p > n, f es continua (es decir, admite un representante continuo).
DE SOBOLEV
2. TEOREMAS DE INMERSION 137

Demostraci on. Supongamos primero que 1 < p < n y 1q = p1 n1 . Como C0 es denso en W k,p ,
basta demostrar que kf kLq kf kW 1,p para toda f C0 . Pero
(x y)
Z
f (x) = cn f (y) dy,
|x y|n
de donde |f (x)| cn I1 (|f |)(x) y entonces kf kLq cn kI1 (|f |)kLq Ckf kLp . El caso p = 1
lo dejamos para m as adelante.

Pasemos ahora al caso p = n, y consideremos fm f en W 1,p , fm C0 . Dado K compacto,


consideremos C0 (B(0, R)). Entonces, para todo x K y R suficientemente grande,
|(fm )(x y)|
Z
|fm (x)| cn dy.
|y|R |y|n1
Recordemos que por la desigualdad de Young generalizada, si 1r = p1 + 1s 1, entonces kh gkr
1
khkp kgks . Entonces podemos tomar h(x) = |(fm )(x)| y g(x) = |x|n1 B(0,r) (x) siempre que
s
g L , pero esto es equivalente a que s(n 1) < 1, y como r < , entonces
1 1 1 1 1 n1
+ 1>0 >1 =1 = .
p s s p n n
Por lo tanto
kfm kLr (K) CK kfm kW 1,p ,
pero como fm f en W 1,p , entonces fm es de Cauchy en W 1,p y, por lo tanto, en Lr (K), ya
que
kfm fl kLr (K) Ckfm fl kW 1,p .
Luego fm f en L (K), pero como fm f en Lp (K) entonces f = f, como queramos ver.
r

Por ultimo, si p > n, para usar la desigualdad de Holder donde antes usamos la de Young es
claro que basta ver que p0 (n 1) < n. Pero
1 1 1
0
=1 >1 p < n,
p p n
0
y por lo tanto la convoluci on que tenemos es entre una funcion de Lp y otra de Lp , y por lo
tanto resulta ser una funcion continua. Como las fm ademas convergen uniformemente, entonces
el lmite es una funci
on continua.
CAPTULO 30

Clase 30

Nos faltaba probar el caso p = 1, n > p del teorema de inmersion de Sobolev. Para eso vamos a
usar el siguiente lema:

Lema 30.1. Sea n 2 y sean f1 , . . . , fn Ln1 (Rn1 ). Si para x Rn definimos

x
i = (x1 , . . . , xi1 , xi+1 , . . . , xn ),

entonces,
f (x) = f1 (
x1 ) . . . fn (
xn )

y adem
as
n
Y
kf kL1 (Rn ) kfi kLn1 (Rn1 )
i=1

Demostraci
on. Por inducci
on en n.

Si n = 2, f1 , f2 L1 (R) y f (x1 , x2 ) = f1 (x2 )f2 (x1 ). Entonces,


Z Z
|f (x1 , x2 )| dx = |f1 (x2 )||f2 (x1 )| dx = kf1 kL1 (R) kf2 kL1 (R)
R2 R2

Supongamos que la afirmaci on vale para n, y que ahora f (x) = f1 ( x1 ) . . . fn (


xn )fn+1 (
xn+1 ).
Fijado xn+1 tenemos que, usando la desigualdad de Holder y la hipotesis inductiva,
Z Z
|f (x)| dx1 . . . dxn = |f1 (
x1 ) . . . fn (
xn )||fn+1 (
xn+1 )| dx1 . . . dxn
Rn Rn
Z  10
n
n0
kfn+1 kLn (Rn ) |f1 . . . fn | dx1 . . . dxn
Rn
n
! 10
n
n0
Y
kfn+1 kLn (Rn ) k|fi | kLn1 (Rn1 )
i=1
n
Y
= kfn+1 kLn (Rn ) kfi kLn (Rn1 )
i=1
140 30. CLASE 30

Entonces, si definimos gi (xn+1 ) = kfi kLn (Rn1 ) , resulta que gi Ln (R) y g1 . . . gn Ln (Rn1 ).
Por lo tanto,
Z Z Yn
|f (x)| dx1 . . . dxn+1 = kfn+1 kLn (Rn ) kfi kLn (Rn1 ) dxn+1
Rn+1 R i=1
n
Z Y
= kfn+1 kLn (Rn ) kfi kLn (Rn1 ) dxn+1
R i=1

n Z
!1
Y n
n
kfn+1 kLn (Rn ) |fi | dx
i=1 Rn
n+1
Y
= kfi kLn (Rn )
i=1
1
donde para la u
ltima desigualdad usamos el Holder generalizado con exponentes 1 = n + + n1 .

Teorema 30.2. Si f W 1,1 (Rn ) y n 2, entonces kf k n Ckf kL1 .


L n1

on. Por densidad, basta verlo para f C0 . Como


Demostraci
Z x1
f
f (x1 , . . . , xn ) = (t, x2 , . . . , xn ) dt,
x1

entonces,

Z
f
|f (x1 , . . . , xn )|
x1 (t, x2 , . . . , x n dt
)

y, analogamente,

Z
f
|f (x1 , . . . , xn )| xi (x1 , . . . , |{z}
t , . . . , xn ) dt.

i
Si definimos fi (
xi ) como esta u
ltima integral, por el lema anterior
n
Y
n
|f (x)| fi (
xi )
i=1
1
y entonces, elevando a la n1 a ambos lados e integrando,
Z n n 1 n 1
n Y 1 Y
n1
Y f n1
|f (x)| n1 dx kfi (
xi ) n1 kLn1 (Rn1 ) = kfi (
xi )k L1 (Rn1 )
=
xi 1 .
i=1 i=1 i=1 L (Rn )

Por lo tanto,
n 1
Y f n
kf k n kf kL1 (Rn ) (30.53)
L n1 (Rn ) xi 1
i=1 L (Rn )

n 30.3. El caso 1 < p < n tambien se puede deducir del caso p = 1.


Observacio
30. CLASE 30 141

on. Si t 1 aplicamos la primer desigualdad de (30.53) a |f |t1 f y tenemos que


Demostraci

t1
t1 f

xi (|f | f ) tf xi .

Entonces,
n 1 n 1 n 1
Y t1 f n Y t1 f n t1
Y f n
kf kt t n1
n t |f | xi 1 t
kf kLp0 (t1)
n = tkf kLp0 (t1)
L
L xi p xi p
L L
i=1 i=1 i=1
np
y eligiendo t tal que n
t n1 = p = np se obtiene (despejando) que
n 1
Y f n
kf kLp C xi p Ckf kLp .

i=1 L

1,1 n
Teorema 30.4. Si f W 1,p (Rn ) y p > n, entonces f C p , es decir
1 n
|f (x) f (y)| C|x y| p .

on. Sea C0 , 1 x
R
Demostraci = 1 y t (x) = tn ( t ). Sabemos que entonces f t f
cuando t 0.

Si definimos F (x, t) = (f t )(x), podemos escribir


f (x) f (y) = f (x) (f t )(x) + (f t )(x) (f t )(y) + (f t )(y) f (y) .
| {z } | {z } | {z }
(i) (ii) (iii)

Entonces, para t fijo


n
|(ii)| = |F (x, t) F (y, t)| kx F k |x y| Ct p kf kLp (30.54)
donde en la u
ltima desigualdad usamos que
 
F f f
xj (x, t) = xj t (x) xj kt kLp0

Lp
y que
Z n
1  x  p0
Z Z
p 0 0 t p0 p0 n(1p0 )
kt kL p0
= |t |p dx = 0 dx = 0 |(y)| dy = kk Lp0
t ,
tnp t tnp

n
de donde se sigue que kt kLp0 = Ct p .
1 n
Tomando t = |x y|, por (30.54) tenemos entonces que |(ii)| C|x y| p kf kLp .

Nos falta acotar (i) y (iii) (que son claramente analogos). Para esto vamos a usar un truco que
se debe a Calderon, y que consiste en observar que
n
X ((xj )t )
t
=
t xj
j=1
142 30. CLASE 30

y, por lo tanto,
n n
F X ((xj )t ) X f
= f = (xj )t
t xj xj
j=1 j=1
n
por lo que repitiendo el argumento anterior obtenemos que | F t (x, s)| Cs
p kf k p , y entonces
L
Z t Z t
F n
s p ds = C|x y|1np kf kLp .

|(i)| = |f (x) (f t )(x)| = (x, s) dx Ckf kLp
0 t 0

También podría gustarte