Apuntes de ANalisis Armonico Drelichman y Duran PDF

APUNTES DE ANALISIS
ARMONICO
Irene Drelichman y Ricardo G. Duran
Indice general
Captulo 1. Clase 1
1. Algunas nociones hist
oricas
2. La ecuaci
on de la cuerda vibrante
3. Metodo de separaci
on de variables
4. Desarrollo en series de Fourier
1
1
1
2
3
Captulo 2. Clase 2
1. La ecuaci
on del calor
2. La convoluci
on y el n
ucleo de Dirichlet
3. Otros tipos de convergencia
7
7
8
10
Captulo 3. Clase 3
1. Convergencia Cesaro y Abel de series de Fourier
2. Convergencia Abel para series de Fourier
3. Relaci
on con el problema de contorno en el disco
13
13
16
18
Captulo 4. Clase 4
1. La transformada de Hilbert en el caso periodico
2. Teora L2 para series de Fourier
3. Teora L2 para la transformada de Hilbert en el caso periodico
4. Convergencia en Lp para series de Fourier
19
19
20
23
23
Captulo 5. Clase 5
1. Teora Lp para la transformada de Hilbert en el caso periodico
2. El teorema de Marcinkiewicz
25
25
26
Captulo 6. Clase 6
1. Convergencia en Lp para le serie de Fourier
2. La transformada de Hilbert como multiplicador e integral singular
31
31
33
Captulo 7. Clase 7
1. La transformada de Fourier en R
37
37
Captulo 8. Clase 8
1. La transformada de Fourier en Rn
2. La ecuaci
on del calor en el semiespacio Rn R+
3. Transformada de Fourier en L2 (Rn )
41
41
43
44
Captulo 9. Clase 9
1. La transformada de Fourier en L2 (Rn )
45
45
3
INDICE GENERAL
2. El espacio S
3. El espacio S 0
45
46
Captulo 10. Clase 10

1. Series de Fourier en Rn
2. Operadores dados por un multiplicador
49
49
49

1. Operadores dados por un multiplicador
2. El problema de Dirichlet en el semiplano R R+
53
53
55

1. La transformada de Hilbert en R
2. Operadores de convoluci
on con n
ucleo en S 0
57
57
61

1. Operadores de convoluci
on con n
ucleo en S 0
2. Ejemplos de integrales singulares
63
63
65

1. Operadores integrales singulares
67
67

1. Otras condiciones para la continuidad de integrales singulares
73
73

1. Operadores que conmutan con dilataciones (y traslaciones)
77
79

1. Convergencia puntual de integrales singulares
81
81

1. Espacios de Hardy (formulaci
on clasica)
2. Espacios de Hardy (versi
on moderna)
85
86
87

1. El espacio B.M.O.
89
89

1. Espacios de Hardy
2. El espacio H 1
95
95
96

1. Descomposici
on at
omica
99
99

1. Dualidad entre H 1 y B.M.O.
2. Continuidad de integrales singulares en H 1 (Rn )
105
105
107

1. Pesos Ap
109
109
INDICE GENERAL
2.
3.
Condici
on necesaria para el tipo debil
Suficiencia para el tipo debil (1, 1)
109
111

1. Suficiencia para el tipo debil (p, p), p > 1
115
115

1. Caracterizaci
on de pesos A1
2. Extrapolaci
on
119
119
120

1. La funci
on maximal di
adica
2. Acotaciones con pesos para integrales singulares
123
123
123

1. Acotaciones con pesos para integrales singulares
127
127

1. Derivadas en integrales fraccionarias
2. Condici
on necesaria para la continuidad de la integral fraccionaria
131
131
132

1. Continuidad de la integral fraccionaria
2. Teoremas de inmersi
on de Sobolev
135
135
136
Captulo 30.
139
Clase 30
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
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
y n = 0, . . . , N . Si la cuerda es homogenea y tiene densidad de
puntos xn = nh, donde h = N
masa constante por unidad de medida (digamos para fijar ideas que es igual a ), entonces la
N
masa total es L y la masa puntual en cada xn es NL
+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
las diferencias
1. CLASE 1
yn1 yn
h
yn+1 yn
,
h
deducimos que
N
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
Fn = 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 est
a 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 ecuaci

on (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,
deducimos que deben para alg
un C deben verificarse las ecuaciones
00 (x) = (x)
00 (t) = (t)
as
Las soluciones de la primer ecuaci
on son de la forma (x) = Ae x + Be x . Como adem
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 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
n =
4. DESARROLLO EN SERIES DE FOURIER
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
u(x, t) =
X
n=1
sin
n
n
n
x an sin
t + bn cos
t
L
L
L
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
n
X
x = f (x)
u(x, 0) =
an sin
L
u
(x, 0) =
t
n=1
bn
n=1
n
n
sin
x = g(x)
L
L
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

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)
f (x) sin(kx) =
Z
f (x) sin(kx) dx =
0
X
n=1
X
n=1
an sin(nx) sin(kx)
Z
an
sin(nx) sin(kx) dx
0
1. CLASE 1
Observando que

sin(nx) sin(kx) dx =
podemos despejar
2
ak =
si k = n
si k =
6 n
f (x) sin(kx) dx
0
Mas en general, dada una funci

on f : [, ] R, le podemos asociar una serie de senos y
cosenos dada por
a0 X
f (x)
+
(an cos(nx) + bn sin(nx))
2
n=1
y, razonando como antes,
Z
1
f (x) cos(nx) dx
an =

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

Es importante observar que si f L1 [, ], an , bn estan bien definidos. Los llamamos coeficientes de Fourier de f .
n 1.1. Notemos que si f es una funci
Observacio
on impar (es decir, f (x) = f (x)), entonces
an = 0 para todo n. An
alogamente, si f es una funci
on par (es decir, f (x) = f (x)), entonces
bn = 0 para todo n.
En general es m
as 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
Z
X
ikx
f (x)e
dx =
cn
ei(nk)x dx
n=1
Observando que
Z
i(nk)x

dx =
deducimos que
ck =
1
2
2
0
si k = n
si k =
6 n
f (x)eikx dx
n 1.2. Es frecuente el uso de la notaci

Notacio
on f(k) = ck , por lo que en lo sucesivo escribiP
remos la serie de Fourier asociada a f como f (x) nZ f(n)einx .
4. DESARROLLO EN SERIES DE FOURIER
n 1.3. Si f toma valores reales, podemos pasar de la forma exponencial a la trigoObservacio

nometrica observando que en ese caso cn = cn . Entonces
f (x)
=
=
1
X
cn e
inx
+ c0 +
n=
cn einx + c0 +
n=1
cn einx + c0 +
n=1
= c0 +
cn einx
n=1
cn einx
n=1
cn einx
n=1
[(
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
(x, t) (0, ) (0, T )

ut uxx = 0
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
X
2
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 sentido), los coeficientes bn existen y est
an dados por
Z
1
f (x)einx dx.
bn =
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
y(t) =
n
X
k=1
bk vk ek t .
2. CLASE 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
n 2.1. Recordemos que dada f : [, ) C, si f L1 ([, ]) le podemos asociar

Observacio
su serie de Fourier
Z
X
1
inx
f (x)einx dx.
f (x)
cn e , cn =
2
nZ
De ahora en m
as pensaremos siempre que f est
a extendida de manera peri
odica 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.
n 2.2. Dadas f, g : R C 2-peri
Definicio
odicas y tales que f, g L1 (R), definimos su
convoluci
on como
Z
(f g)(x) =
f (y)g(x y) dy
n 2.3. Si R g(x) dx = 1, la convoluci

on (f g)(x) es un promedio regularizado de
Observacio
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
SN (f )(x) :=
N
X
cn einx
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,
SN f (x) =
N
X
cn einx
n=N

Z
N
X
1
int
f (t)e
dt einx
=
2
n=N
!
Z
N
X
1
in(xt)
=
f (t)
e
dt
2
n=N
Y EL NUCLEO
2. LA CONVOLUCION
DE DIRICHLET
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
= eiN s
ei(n+N )s = eiN s
n=N
= eiN s
=e
eiks
k=0
eiN s
eis 1
ei(N +1)s
(ei(2N +1)s
1)
=
is
e 1
i 12 s (e
2N
X
i(N + 12 )s
ei(N + 2 )s ei(N + 2 )s
ei(N + 2 )s )
=
s
s
eis 1
ei 2 ei 2
Por la cuenta anterior, vale entonces que

1
(DN f )(x)
2
SN f (x) =
donde DN es el n
ucleo de Dirichlet, dado por
DN (s) =
sin((N + 21 )s)
.
sin 2s
n 2.5. Una propiedad que usaremos es que

Observacio
Z
1
DN (t) dt = 1.
2
Esto
acilmente si consideramos f 1, ya que por lo visto anteriormente SN f = 1 =
R se deduce f
1
D
(t)
dt.
Sin embargo, no es cierto que kDN kL1 C para C independiente de N , ya
2 N
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 ( )
f (x) sin(x) dx 0
( )
Demostraci
on. Supongamos primero que f C 1 . Entonces
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
1
SN f (x) =
2
y

f (x) = f (x)
1
2
sin((N + 12 )t)
dt
f (x t)
sin( 2t )

Z
1
DN (t) dt =
f (x)DN (t) dt.
2
Entonces
(f (x t) f (x)) t
1
sin((N + )t) dt
t
t
2
sin 2
Z
t
1
:=
gx (t)
t sin((N + 2 )t) dt
sin 2
SN f (x) f (x) =
on acotada, para aplicar el lema de Riemann-Lebesgue basta ver que

y como sint t2 es una funci
f (xt)f (x)
1
gx (t) :=
L ([, ]).
t
Pero como f es derivable en x, existe > 0 tal que si |t| < ,

f (x t) f (x)

C

t
y si |t| ,

Z
Z
f (x t) f (t)
C

dt 1
|f (x t) f (x)| dt kf kL1 .

t
|t|
n 2.9. Siguiendo la misma demostraci

Observacio
on, se puede ver que alcanza con pedir que
la funci
on f sea H
older . 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
P
n 2.10. Dadas una serie
Definicio
on de sumas parciales SN = a1 + +aN ,
n=1 an y su sucesi
N
diremos que la serie converge en el sentido de Cesaro si la sucesi
on de promedios N = S1 ++S
N
es convergente.
3. OTROS TIPOS DE CONVERGENCIA
11
n 2.11. Si una sucesi

Observacio
on es convergente, entonces converge en el sentido de Cesaro,
pero no vale la recproca. Basta considerar, por ejemplo, la sucesi
on an = (1)n+1 .
P
n 2.12. Dada una serie
Definicio
n=1 an , diremos que converge en el sentido de Abel
P si para
P n
n
as existe y es finito lmr1
todo 0 < r < 1 la serie n=1 r an es convegente y adem
n=1 r an .
n 2.13. Se puede probar que si una sucesi
Observacio
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
f (x)
cn einx
nZ
y definimos las sumas parciales simetricas

SN f (x) :=
cn einx .
|n|N
Para estudiar la convergencia Cesaro de la serie de Fourier, definimos
N f (x) :=
S0 f + + SN f
.
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
Sn f (x)
N +1
n=0
Z
N
1 X 1
Dn (x t)f (t) dt
=
N +1
2
N f (x) =
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
X
Dn (t) =
n=0
N
X
sin((n + 21 )t)
sin( 2t )
n=0
N
X
1
=
[cos(nt) cos((n + 1)t)]
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
2
2
2 sin2 ( 2t )
(3.3)
(3.4)
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
KN (t) :=
1 sin2 (( N 2+1 )t)

N + 1 sin2 ( 2t )
(3.5)
1
(KN f )(x).
2
(3.6)
entonces vale que

N f (x) =
Para ver c
omo 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.
2.
hN (t) dt = 1 para
h
ZN (t) 0 para todo t
todo N ;
y todo N ;
hN (t) dt 0 cuando N , para todo > 0.
3.
<|t|<
Entonces, para toda f C(R) 2-peri

odica, hN f f uniformemente cuando N .
n 3.2. De 1 y 2 se deduce que khN kL1 = 1 para todo N . En realidad quedar
Observacio
a claro
en la demostraci
on 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 (t)f (x t) dt f (x)
|(hN f )(x) f (x)| =

Z

hN (t)[f (x t) f (x)] dt
=
Z
hN (t)|f (x t) f (x)| dt
(por 1)
(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|
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-peri
odica, entonces N f f uniformemente
(es decir, la serie de Fourier converge a f en el sentido de Cesaro).
Demostraci
on. Aplicamos el Teorema 3.1 a hN =
1
2 KN .
Para ver que vale la condici

on 1 basta tomar f 1. En efecto, para todo x [, ], por (3.6),
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 .
(N + 1) sin2 ( 2 )
<t<
Corolario 3.4. Los polinomios trigonometricos son densos en las funciones peri
odicas y continuas. En efecto, basta observar que N f son polinomios trigonometricos y usar el teorema
anterior. Esto adem
as nos dice que el sistema ortonormal {einx }nZ es completo.
16
3. CLASE 3
2.
Convergencia Abel para series de Fourier
n 3.5. Decimos que una serie

Definicio
siguientes condiciones:
1. para todo 0 < r < 1, la serie
nZ cn
converge en el sentido de Abel si valen las
cn r|n| converge en el sentido usual;
nZ
2. existe lm
r1
Si f
|n|
cn r .
nZ
cn einx es una funci

on continua y periodica, podemos aplicarle esta definicion a su
nZ
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
cn r|n| C
nZ
r|n| < +.
nZ
Para estudiar el comportamiento cuando r 1 , definimos

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
2
donde Pr es el n
ucleo de Poisson dado por
Pr (x) :=
X
nZ
r|n| einx .
(3.7)
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
Pr (t) =
=
=
rn eint +
n=
X
n int
r e
n=0
X
n int
r e
n=0
n=0
n=0
n=0
(reit )n +
=
=
=
=
rn eint 1
1
(reit )n 1
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
.
1 2r cos(t) + r2
Ahora podemos volver al problema de estudiar lmr1 Ar (f ).Vamos a ver que

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
(3.8)
Pr
2
cumple las
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
sin t
2
t
2

>
2
.
Por lo tanto,
Z
Pr (t) dt
( )
(1 r2 ) 0
1
( )
En definitiva, hemos demostrado el siguiente
cuando r 1 .
18
3. CLASE 3
Teorema 3.6. Si f C(R) es una funci

on 2-peri
odica, 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
rn cn einx +
n=1
rn cn einx + c0
n=1
cn (reix )n +
n=1
cn (reix )n + c0
n=1
Luego,
u(z) = c0 +
cn z n +
n=1
cn z n .
n=1
Ahora, como la serie es absolutamente convergente, si definimos
X
F (z) = c0 + 2
cn z n
n=1
entonces F es analtica en D, por lo que Re(F ) es una funcion armonica. Pero Re(F ) =
u(z), por lo que u = 0 en D, como queramos ver.
F +F
2
CAPTULO 4
Clase 4
1.
La transformada de Hilbert en el caso peri

odico
La clase anterior vimos que si

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
2i
X
X
cn z n
cn z n
=2
2
2i
2i
v(z) =
n=1
=
=
(i)cn z n +
n=1
n=1
n=1
(i)cn rn einx +
n=1
(i)cn rn einx +
cn rn einx
n=1
1
X
(4.9)
icn einx
n=
n=1
i
cn zn
|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
0 n=0
sg(n) :=
1 n < 0
Formalmente, cuando r 1 ,
v(z) v(eix ) =
(i)sg(n)cn einx .
nZ
20
Entonces, dada f
4. CLASE 4
cn einx , podemos definir la transformada de Hilbert de f como

X
Hf (x) :=
(i)sg(n)cn einx .
nZ
P
Por lo tanto, nos interesa estudiar en que espacio debe estar f cn einx para que (i)sg(n)cn
sean los coeficientes de Fourier de otra funcion del mismo espacio.
n 4.1. Volviendo al problema de contorno, vale la pena notar que dada u arm
Observacio
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:

n 4.2. SN f es la proyecci
Proposicio
on ortogonal de f sobre VN , es decir, SN f VN y
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
Z
Z
X
inx ikx
ikx
f (x)
ck dx
cn e
f (x)e
dx
e
dx =
|n|N
Z
=
f (x)eikx dx 2ck
=0
Corolario 4.3. A partir de la proposici
on anterior es inmediato ver que para todo P VN
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 .
n 4.4. Si P VN , digamos P =
Observacio
|n|N
an einx , entonces
X
1
kP k22 =
|an |2 .
2
|n|N
En efecto,
kP k22 =
=
an einx
|n|N
X X
X
ak eikx dx
|k|N
an a
k
|n|N |k|N
= 2
einx eikx dx
|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 funci
on continua, podemos aproximarla por polinomios trigonometricos. 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
X
1
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
2
X
= 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

X
1
kf k22 =
|cn |2 .
2
nZ
n 4.7. El Teorema de Bessel-Parseval implica que si f L2 ([, ]), entonces sus

Observacio
coeficientes de Fourier est
an en l2 (Z), donde
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.
Demostraci
on. Dada (an ) l2 (Z), definimos PN VN como
X
PN (x) =
an einx .
|n|N
Afirmamos que (PN ) es una sucesi

on de Cauchy en L2 . En efecto, dado > 0, como
existe N0 = N0 () tal que para todo k N y N N0 ,
X
kPN PN +k k = 2
|an |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
f (t)eikt dt = lm
= lm
an eint eikt dt
|n|N
Z
an
|n|N
eint eikt dt
= 2ak .
3.
Teora L2 para la transformada de Hilbert en el caso peri

odico
Por lo visto en la secci

on 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
faltara ver que para toda funci
on g L2 ([, ]),
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.
X
1
kHf k22 =
| i sg(n)f(n)|2
2
nZ
X
=
|f(n)|2
nZ{0}
4.
1
kf k22 .
2
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 independiente 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.
1
(Hf ) = f + 2H(f Hf ) +
2
2
[(Hf )2 f 2 ] dx
(5.11)
g dx
(5.12)
Demostraci
on. Observemos primero que
1
H(Hg) = g +
2
c
para toda g L2 . En efecto, como Hg(n)
= (i) sg(n)
g (n),

0
n=0
d
2 g(n) = (i sg(n))2 g
H
(n) =
g (n) n =
6 0
y, por lo tanto,
H 2 g(x) =
g(n)einx =
nZ{0}
g(n)einx + g(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
1
2
2
[f 2 (Hf )2 ] dx = 2H(f Hf ),
[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,

b
k 2 a2
b2
ab = (ka)
+ 2.
k
2
2k
(5.13)
Notemos que
kHf k2p
2p =
|Hf |2p dx
[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

k2
1
2p
2p
2p
Cp kf k2p + kf k2p + 2 kHf k2p
2
2k
(5.14)
(5.15)
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 .
Si elegimos k tal que
Cp
2k2
= 21 , resulta entonces que

1
k2
C
+
kHf k2p
kf k2p
p
2p
2p .
2
2
n 5.4. Para despejar en (5.15) es necesario suponer que kHf k2p

Observacio
2p < . Lo que
debemos hacer, en realidad, es trabajar en un subespacio denso donde la transformada de Hilbert
este bien definida y de una funci
on en L2p , y luego utilizar la densidad para deducir el resultado
2p
en L . Por ejemplo, podemos tomar el subespacio de funciones de clase C 1 .
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
n 5.6. Si T es un operador lineal o sublineal y 1 p, q , diremos que T es de

Definicio
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.
Z
Z
dx
|{x : |T f (x)| > }| =

{|T f |>}
|T f |q
dx
q
Ckf kp
q
.
n 5.8. La funci
Definicio
on de distribuci
on de una funci
on f , df () : (0, +) [0 + ) se
define por
df () := |{x : |f (x)| > }|.
n 5.9. Usando Fubini y la definici
Proposicio
on anterior, si 1 p < ,
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
y que

2A0 kf0 kp0 p0
dT f0
,
2
(5.16)

2A1 kf1 kp1 p1
dT f1
.
2
(5.17)
Separamos la demostraci
on en dos casos,
Caso p1 = : Si elegimos c =
1
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,
kT f kpp
p1 dT f () d

Z
p1
dT f0
p
d
2
0

p0
Z
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
=p
{|f |>c}
= p(2A0 )p0
=
|f (x)|p0
p
(2A0 )p0 (2A1 )
p p0
|f (x)|
c
0
pp0
p1p0 dx d
kf kpp .
Caso p1 < : En este caso tenemos
p1 dT f () d
0

Z
p1
+ dT f 1
d
p
dT f0
2
2
0
Z
Z
p
p1p0 (2A0 )p0
|f (x)|p0 dx d
kT f kpp 0p
Z
+p

=
{|f |>c}
p1p1 (2A1 )p1
|f (x)|p1 dx d
{|f |c}
p 2p1 Ap11
p 2p0 Ap00
+
p p0 cpp0
p1 p cpp1
kf kpp .
Si elegimos c tal que (2A0 c)p0 = (2A1 c)p1 se obtiene que

1/p
1
1
1/p
kT f kp 2 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 transformada 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
(Hf )
g=
f (Hg)
Demostraci
on. Usaremos que si f, g L2 , entonces
1
2
f (x)
g (x) dx =
g (n).
f(n)
n=
Por lo tanto,
1
2
Hf (x)
g (x) dx =
(i)sg(n)f(n)
g (n)
n=
g (n)
f(n)(i)sg(n)
n=
Z
1
2
f (x)Hg(x) dx.
Corolario 6.2. Si p (1, 2), entonces kHf kp Ckf kp .
32
6. CLASE 6
Demostraci
on. Basta observar que como p0 [2, ), la transformada de Hilbert es continua
0
p
en L por el Corolario 5.11, y entonces
Z
Hf (x)g(x) dx
kHf kp =
sup
gLp0 ,kgkp0 =1
Z
=
f (x)Hg(x) dx
sup
gLp0 ,kgkp0 =1
sup
gLp0 ,kgkp0 =1
kf kp kHgkp0
Ckf kp .
Teorema 6.3. Para toda f Lp ([, ]), SN f f en Lp , 1 < p < .
Demostraci
on. Notemos que
1
1
(6.18)
[N,N ] (n) = [sg(n + N ) sg(n N )] + [{N } (n) + {N } (n)]
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

1
1
1
iM t

|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,
sg(n + N )f(n)einx =
n=
sg(m)f(m N )eiN x
m=
sg(m)f\
eiN t (m)eimx eiN x
m=
= ie
iN x
= ie
iN x
(i)sg(m)f\
eiN t (m)eimx
m=
iN t
H(f e
)(x).
Analogamente, se puede ver que
X
n=
sg(n N )f(n)einx = ieiN x H(f eiN t )(x).
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
Dada una sucesi

on = (n ), n Z, le podemos asociar (en principio formalmente) un operador
T f (x) =
n f(n)einx .
n=
Queremos escribir este operador como una convolucion. Si por ejemplo (n ) fuera absolutamente
convergente,
T f (x) =

n
n=
int
f (t)e
dt einx
1 X
n ein(xt)
2 n=
1
2
f (t)
!
dt
= (f K)(x)
donde
K(t) :=
1 X
n eint ,
2 n=
(6.20)
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 X n int
1 X n int
ir e
ir e
2 n=
2
i
2
(reit )n
n=1
i
2
n=1
(reit )n
n=1
reit
reit
1 reit 1 reit
1
r sin t
=
2 1 2r cos t + r2
i
=
2
y, por lo tanto, cuando r 1

Kr (t)
2 sin( 2t ) cos( 2t )
1 cos( 2t )
sin t
1
1
=
=
.
2 (1 cos t)
2 (1 cos2 ( 2t ) + sin2 ( 2t ))
2 sin( 2t )
Entonces, si llamamos
1
K(t) := cot
2

t
,
2
obtenemos formalmente que

1
Hf (x) = (K f )(x) =
2

t
f (x t) cot
dt.
2
(6.21)
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)
0
2
2
<|t|
En efecto, como cot( 2t ) es una funci
on impar,

Z
t
cot
dt = 0,
2
<|t|
de donde se sigue que
Z
Z

t
t

f (x t) cot
dt =
[f (x t) f (x)] cot
dt

<|t|
<|t|

2
2

Z

0
t cot t dt
kf k

2
<|t|
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
(x) = 1 lm
Hf
0
Z
<|xy|<
f (y)
dy,
xy
(6.23)
es continuo en Lp si y s
entonces vale que H

olo si H es continuo en Lp , pues (H H)(f
)(x) =
t
2
1
(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
cn (L) =
1
L
L/2
f (t)e2i L t dt.
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 (t)e2i L t dt
f
L
y pensamos que es una funci

on suficientemente buena, tomando lmite para L tenemos
que
Z
X 1 n
n
2 L
x
f
e
f()e2ix d.
L
L
nZ
Por lo tanto, al menos formalmente, tendramos que

Z
f (x) =
f()e2ix d
donde
f() =
f (x)e2ix dx
(7.24)
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 (x)e2ix dx.
f () :=
(7.25)
n 7.2. Tambien usaremos para la transformada de Fourier la notaci

Notacio
on F(f ) := f.
n 7.3. Dada f L1 (R), valen las siguientes propiedades:
Proposicio
1.
2.
3.
f() 0 (|| ).
f L y kfk kf k1 .
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
1
f L y f L . Pero en general no es cierto que dada f L1 su transformada tambien este en

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+
L1 ,
o, mas en general, si dada g

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
Lema 7.5. Si f, g L1 (R), entonces

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

dx g() d
g() df (x) dx
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
f()g(t)e2ix d.
(7.26)
Ag,t f (x) =
Observemos que, por el lema anterior,

Z
f (y)F(g(t)e2ix )(y) dy
Ag,t f (x) =
y
F(g(t)e
2ix
)(y) =
Z
=
Z
g(t)e2ix e2iy d
g(t)e2i(yx) d
g()e2i(

1
yx
= g
.
t
t
=
yx
)
t
1
d
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.
n 7.7. La transformada de Fourier en Rn se construye de manera an
Observacio
aloga, es decir,
1
si f L (Rn ), entonces
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
con (x) = g(x) y t (x) =
1
x
tn ( t ).
CAPTULO 8
Clase 8
La transformada de Fourier en Rn
1.
Lema 8.1. Sea L1 (Rn ) tal que
= 1 y sea t (x) =
x
1
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 .
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
|f (x y) f (x)||t (y)| dy +
Z
kk1 + 2kf k
|t (y)| dy
|y|
|
{z
}
|f (x y) f (x)||t (y)| dy
|y|<
|y|
()
< C
ya que
Z
() =
|y|
1 y

dy
tn
t
Z
=
(z) dz
|z|> t
y esta u
ltima integral claramente tiende a cero cuando t 0.
42
8. CLASE 8
2. Por la desigualdad integral de Minkowski,

Z
kf ( y) f ()kp |t (y)| dy
kf t f kp
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 ).
R
Teorema 8.2. Si f Lp (Rn ) L1 (Rn ) y g L1 (Rn ) es tal que Rn g = 1, entonces Ag,t f f
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
2
x
que consideramos g(x) = e
con x R.
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 ()) = 2
g (). Entonces, (e g())0 =
R
2
2
g0 () + 2
g () = 0, de donde se sigue que e g() = C = g(0) = ex dx = 1.
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
t0 Rn
puntualmente.
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
Corolario 8.5. En el Teorema 8.2 se puede reemplazar la hip

otesis
Rn
43
g = 1 por g(0) = 1.
Como corolario deducimos tenemos tambien el siguiente resultado:

Teorema 8.6 (Teorema de Inversi
on). Si f L1 (Rn ) y f L1 (Rn ), entonces
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.
La ecuaci
on del calor en el semiespacio Rn R+
Buscamos u(x, t) soluci

on de

ut u = 0
u(x, 0) = f (x)
en Rn R+
donde la condici
on inicial hay que interpretarla como lmite cuando t 0+ .
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
c = 0. Pero
resulta ser u
t u
c =
u
n d
n
X
2u X
=
(2ij )2 u
(, t) = 4 2 ||2 u
(, t).
2
x
j
j=1
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
4
t y obtenemos que u
(, t) = f()e
. Entonces
2
2
u(x, t) = (f()e4 t|| )(x)
= [f (e4
2 t||2
)](x)
44
8. CLASE 8
pero sabemos que (e|| )(x) = e|x| , entonces

Z
2
2
4 2 t||2
e4 t|| e2ix d
(e
) (x) =
Rn
Z
1
2 2ix
2 t d
e|| e
= n
(2 t) Rn

1
x
||2
]
= n [e
(2 t)
2 t
|x|2
1
= n e 4t .
(2 t)
En definitiva
1
u(x, t) = n
(2 t)
f (x y)e
|y|2
4t
dy
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
1
n
h = f g tenemos entonces que h L (R ) (por ser convolucion de dos funciones de L1 (Rn ) y
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
h(0) =
d =
h()
Rn
|f()|2 d
Rn
y, por otro lado,

Z
h(0) = (f g)(0) =
Z
f (y)g(y) dy =
Rn
Luego, kfk2 = kf k2 y f L2 (Rn ).
Rn
f (y)f(y) dy =
Z
Rn
|f (y)|2 dy.
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

u
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
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 m
as general.
2.
El espacio S
n 9.1. Dado = (1 , . . . , n ) con j N0 para 1 j n, notamos || := 1 + +n ,

Notacio
y definimos
x := x1 1 . . . xnn
y
||
.
D =
x1 1 . . . xnn
n 9.2. Definimos el espacio S(Rn ) como el espacio de las funciones en C (Rn ) tales
Definicio
que ellas y todas sus derivadas son r
apidamente decrecientes. M
as precisamente,
S(Rn ) = { C (Rn ) : |x D (x)| C, para todos , (N0 )n }
Ejemplos 9.3. Las siguientes funciones est
an en S(Rn ):
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 .
Demostraci
on. 1. Como (1 + |x|2 )k |(x)| Ck , |(x)|
consideramos k > n/2.
Ck
(1+|x|2 )k
y por lo tanto esta el Lp si
2. Es analoga a la demostraci
on anterior.
R
3. Ya sabemos que si C0 (Rn ) y = 1, entonces f t f en Lp si f Lp . Adem
as
f t C , pero no sabemos que este en S. Para solucionar este problema basta considerar
una sucesi
on 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
es continua. Iterando, obtenemos que para todo , si x f L1 ,
xj f L1 y f L1 , entonces x
j
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
(x f ).
igualdad D f = D\
n 9.6. S no es un espacio normado, pero s es numerablemente normado. En efecto,
Observacio
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 numeraci
on de las normas k kk podemos definir
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
f
(para toda S).
hTf , i =
Rn
M
as 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
una funci
on y h , i la integral, podramos integrar por partes y observar que los terminos de borde
se anulan. Esto motiva la siguiente definici
on:
h
, i := hT,
i
xj
xj
M
as en general, podemos definir D : S 0 S 0 como
hD T, i := (1)|| hT, D i
Observemos que esta definici
on implica, en particular, que si T S 0 , entonces
2T
xj xi
2T
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)
n 9.11. Es importante notar que si T S 0 , entonces T S 0 . Que es lineal es claro,

Observacio
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
n 9.12. En general no se puede definir el producto de dos distribuciones temperadas,
Definicio
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.
M
as a
un, esta definici
on tiene sentido siempre qeu S, por ejemplo si es un polinomio y
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).
T = (2i) T
().
[
2. D
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
hT, x i
= hx T, i. Para esto es necesario extender la definicion de x a distribuciones, lo
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 definici

on, 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 definici

on SN f f en L2 (Tn ) para toda f L2 (Tn ), pero C.
Fefferman demostr
o que este resultado no vale en Lp si p 6= 2.
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
2x
TN f (x) =
()f ()e
d =
Rn
f()e2ix d
||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
es equivalente a la acotaci
on kTN f kp Ckf kp , con C independiente de N . En efecto,
implicacion se sigue del principio de acotacion uniforme, y para la recproca basta usar
TN f f en Lp para toda f S (que es denso en Lp ). Como la demostracion es analoga
del caso unidimensional, dejamos los detalles como ejercicio.
a f
una
que
a la
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 .
R
n
kZ
Lp
Entonces, SR f f en
para toda f Lp (Tn ) si y s
olo si el operador de multiplicador T
asociado a es continuo en Lp (Rn ).
n 10.4. El la demostraci
Observacio
on veremos que para probar que SR f f en Lp implica
p
que T es continuo en L s
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
Observemos adem
as que kfR kp,Tn = R p kf kp,Rn . Por lo tanto,
Z

gR (x) dx CkfR kp,Tn kgR kp0 ,Tn
n SR fR (x)
T
= CRn kf kp,Rn kgkp0 ,Rn

y por Parseval

X
k

SR fR (x)
gR (x) dx =
fR (k)gR (k)

R
n
T
n
kZ
2. OPERADORES DADOS POR UN MULTIPLICADOR
51
Notemos adem
as que
fR (k) =
fR (t)e2ikt
Tn
f (x)e2i R x Rn dx

k
Rn .
=f
R
=
Rn
Entonces, tenemos que

X
k k
k
n
g
f
R
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
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
f (x)e|x| dx =
f (x) dx.
lm 2
0+
Rn
Tn
Demostraci
on. Por densidad, basta probar que la desigualdad vale si f es un polinomio
trigonometrico. M
as a
un, por linealidad, basta probarlo para f (x) = e2ikx , k Zn .
Por un lado, notemos que
Z
e2ikx dx = 0.
f (x) dx =
Tn
y, por otro,
n
Tn
2
e2ikx e|x| dx =
Rn
2i k y |y|2
= [e
|y|2
= e
que tiende a cero cuando 0 ya que |k| =
6 0.
Rn
|k|2
dy
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
dx
lm 2
T (P )Q dx =
S(P )Q
0
Rn
(11.32)
Tn
Demostraci
on. Por linealidad, basta ver que el resultado vale para P (x) = e2imx , Q(x) =
2ikx
e
, 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
n
2 2i(m) y
() 2 dy
=
e|y| e
Rn
n
= () 2 e
|m|2
Entonces, por la igualdad de Parseval

e
n
2
n
2
n
2
T (P )Q dx = ()
Rn
= () 2
n
2
|m|2
|k|2
()
()e e
d
Rn
Z
|(km)|2
||2
( + m)e e
d
Rn
54
11. CLASE 11
Por la observaci
on 11.2 con a =
a+b=
()1
ab
a+b
yb=
y recordando que + = 1 (lo que implica que

n
1 )
resulta que ()1 ()1 = () 2 1 . Entonces

Z

n
2
T (P )Q kk 1 (km)
Rn
= kk e
|km|2
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
(si k 6= m)
=0
Pasemos entonces al caso k = m. Por un lado tenemos que

Z
Z
1
1
n
n
||2 (
+
)
T (P )Q dx = lm () 2
( + m)e
lm 2
d
0
0
n
n
R
R
Z
||2
n
2
( + m)e d
= lm ()
0
Rn
= (m),
donde usamos que si 0,
= 1 y t (x) = tn ( xt ), entonces t cuando t .
Por otro lado, tenemos que

Z
(m)e2imx e2imx dx
S(P )Q 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
nica extensi
on a Lp (Tn ).
Demostraci
on. Observemos que eligiendo = p1 , = p10
Z

n
n

T (P p )Q 0 dx kT kL(Lp ,Lp ) 2 kP p kp,Rn kQ 0 kp0 ,Rn
2
Rn

= kT kL(Lp ,Lp )
n
2
p |x|2
|P (x)| e
1 Z
p
n
dx
2
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 ).
p0 |x|2
|Q(x)| e
10
p
dx
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 convergencia en un denso, por ejemplo los polinomios trigonometricos. Pero si P (x) = |k|N ck e2ikx ,
X k
ck e2ikx (0)P (x).
SR 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
(, t) = 0
xx )(, t) = u
Para fijo, esta es una ecuaci
on ordinaria con solucion general
u
(, t) = A()e2||t + B()e2||t
Como estamos buscando una soluci
on particular, y queremos que u
S 0 , consideramos B = 0.
Entonces buscamos
u
(, t) = A()e2||t
u
(, 0) = f()
entonces, u(x, t) = (Pt f )(x) con
Pt (x) = (e2||t )(x)
Z
=
e2||t e2ix d
Z
=
2t 2ix
Z 0
2(t+ix)
d +
Z
d +
0
1
1
2(t + ix) 2(ix t)

1
t
=
(x2 + t2 )
=
e2t e2ix d
e2(ixt) d
56
11. CLASE 11
R
1
Si t = 1, P (x) = 1 (1+x
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
1
Buscamos una conjugada arm
onica de u(x, t) = (f Pt )(x) con P (x) = 1 (1+x
2 ) y Pt (x) =
x
1
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

Pt (x) = Re
y si llamamos Q(x) =
i1
z
i1
z
1
t
(x2 + t2 )
1
x
,
2
(x + t2 )
1
x
(x2 +1)

Qt (x) = Im
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
Z
1 f (y)
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
Z
Z
Z
f (x y)
f (x y)
f (x y)
dy =
dy +
dy
y
y
y
|y|>
<|y|<1
|y|>1
|
{z
} |
{z
}
(i)
(ii)
58
12. CLASE 12
y, por un lado, tenemos que, como f S,
Z
|f (x y)| dy < +
|(ii)|
|y|>1
y, por el otro, como
1
<|y|<1 y
dy = 0,
Z

f
(x
y)

dy
|(i)| =
<|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 n
ucleo K S 0 . O sea, si definimos v.p. x1 S 0 por
1
hv.p. , i = lm
0
x
Z
|y|>
(y)
dy
y
para toda S, (dejamos como ejercicio verificar que efectivamente v.p. x1 S 0 ), entonces vale
que

Hf (x) =
1
v.p. f
x
para toda f S.
Si ahora transformamos Fourier, tenemos que
d () = 1
Hf

1
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
Z
(x)e2ix
= lm
dx d
0 ||>
Z
Z
(x)e2ix
=
lm
dx d
0,M <||<M
Z
Z
e2ix
d dx
=
lm
(x)
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)
d = lm
d(2x)
lm
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

Z
1
h v.p.
, i =
isg(x)(x) dx
x
de donde concluimos que

1
v.p.
() = isg()
x
(estamos usando el abuso de notaci
on 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.
n 12.3. Usando la observaci
Observacio
on anterior, se puede ver que kHf kp Ckf kp si 1 <
p < , con una demostraci
on an
aloga a la que hicimos en el caso del disco.
Para la demostraci
on anterior nos faltaba probar el siguiente lema:
Lema 12.4.
sin x
dx =
x
Demostraci
on. Probemos primero que
Z
Z
sin x
sin2 x
dx =
dx.
2
x
x
(12.34)
(12.35)
En efecto, integrando por partes,

Z M
Z M
sin x
(1 cos x)0
dx =
dx
x
x
M
M

Z M
1 cos x M
1 cos x
=
+
dx

x
x2
M
M
y tomando lmite para M ,
Z
sin x
dx =
x
Z
=
Z
=
1 cos x
dx
x2
2 sin2 ( x2 )
dx
x2
sin2 y
dy
y2
como queramos ver. Si ahora recordamos que
1
, 1 ]
2 2
() =
1 sin

por Parseval resulta que

1
=
1
, 1 ]
2 2
Z
2
1
sin2

(x) dx = 2
d
2
y combinando (12.35) y (12.36) obtenemos la igualdad del enunciado.
(12.36)
CON NUCLEO
2. OPERADORES DE CONVOLUCION
EN S 0
2.
61
Operadores de convoluci
on con n
ucleo en S 0
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 a
un, 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 )
que adem
as conmuta con translaciones, entonces existe K S 0 tal que para toda f S, T f =
K f.
CAPTULO 13
Clase 13
1.
Operadores de convoluci
on con n
ucleo en S 0
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
X
n+1
|x |.
(1 + |x|2 ) 2 (1 + |x1 | + + |xn |)n+1 C
||n+1
Entonces
|f(x)| = (1 + |x|2 )
n+1
2
f (x)|
d
|D
||n+1
n+1
2
(1 + |x|2 )
kD f k1
||n+1
Luego, f L1 (Rn ) y
kfk1 C
kD f k1
||n+1
y, por lo tanto,
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
C, D D f
D (f ) =
||
64
13. CLASE 13
de donde, por la desigualdad de H

older,
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 ).
f).
Equivalentemente, T f = (K
Demostraci
on. 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
h0
xj
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,
i = T (0). Veamos que con esta definicion K
S 0 y,
Entonces, definimos K S 0 como hK,
0
es lineal. Tenemos que ver que si
en consecuencia, K S . Notemos que como T es lineal, K
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
=C
kT (D (j ))kq
||n+1
kD (j )kp
||n+1
y esta suma tiende a cero porque estamos suponiendo que j en S.

Por u
ltimo, falta ver que T f = K f . Efectivamente,
x f i = (K f )(x).
T f (x) = x (T f )(0) = T (x f )(0) = hK,
2. EJEMPLOS DE INTEGRALES SINGULARES
2.
65
Ejemplos de integrales singulares
Nuestro objetivo es analizar la continuidad en Lp (Rn ) de operadores integrales singulares de Calderon-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
on u = f est
a dada por u = G f ,
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
|x
y|n2
Rn
y

Z
u
1
=C
f (y) dy
xi
xi |x y|n2
Rn
Z
(xi yi )
f (y) dy
=C
n
n
R |x y|
ya que
xi
|x|n
L1loc (Rn ), y podemos usar convergencia mayorada para derivar dentro de la integral.
Consideremos ahora, para j 6= i

Z
2u
(xi yi )
=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
Z
Z
2u
(xi yi )
, i =
f (y) dy (x) dx
h
n
xj xi
Rn xj Rn |x y|
Z Z
(xi yi )
=
f (y)
(x) dy dx
n
xj
Rn Rn |x y|
Z
Z
(xi yi )
=
lm
(x) dx f (y) dy
n
Rn 0 |xy|> |x y| xj
"Z
#
Z
Z
(xi yi )
=
lm
ki,j (x y)(x) dx +
(x) dS f (y) dy
n j
Rn 0
|xy|>
|xy|= |x y|
donde
ki,j (x y) =
c(xi yi )(xj yj )
(xi yi )
1
=
xj |x y|n
|x y|n+2
|x y|n
y
j =
xj yj
|x y|
66
13. CLASE 13
es la direcci
on j-esima de la normal unitaria.
Consideremos por separado
Z
Z
lm
(1) =
Rn 0 |xy|>
Z
=
ki,j (x y)(x) dx f (y) dy
Z
lm
Rn 0 |xy|>
ki,j (x y)f (y) dy (x) dx
y
Z
(2) = lm
0 Rn
|xy|=
= lm
0 Rn
|xy|=
= lm
0 Rn
|xy|=
0 Rn
(xi yi )(xj yj )
((x) (y) + (y)) dS f (y) dy
|x y|n+1
(xi yi )(xj yj )
((x) (y)) dS f (y) dy
|x y|n+1
{z
}
(i)
Z
+ lm
(xi yi )(xj yj )
(x) dS f (y) dy
|x y|n+1
Z
(y)
|xy|=
(xi yi )(xj yj )
dSf (y) dy
|x y|n+1
{z
}
(ii)
Tomando m
odulo dentro de la integral tenemos que
n
(i) n1 0
mientras que calculando la integral m

as interna,
Z
(ii) = C
f (y)(y) dy
Rn
En definitiva, u = G f satisface que u = f y

Z
2u
= lm
ki,j (x y)f (y) dy +Cf (x)
0 |xy|>
xi xj
|
{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
as vale la estimaci
on kD2 ukp Ckf kp .
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
Z
x j yj
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
0 |xy|>
K(x y)f (y) dy

{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 0
existe una descomposici
on de Rn en conjuntos disjuntos y F tales que
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 .
Demostraci
on. Como f L1 (Rn ), dado un cubo Q vale que
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
Z
Z
Z
1
2n
2n
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
otra condici
on para que K f este definido en un denso), y supongamos que existe una constante
B tal que
1. kT f k2 Bkf k2
2. |K(x)| B|x|(n+1)
Entonces, dado p con 1 0 vale
kf k1
|{x : T f (x) > }| C
donde C depende solamente de B y de n.

Fijado , aplicamos la descomposici
on de Calderon-Zygmund para |f | para obtener Rn = F
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
donde notamos con fQj =
1
|Qj |
R
Qj
69
f, y
b(x) =
bj (x),
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

Z
2|T g(x)| 2
dx
|{x : |T g(x)| > }|
2
Rn
Z
4
2
|T g(x)|2 dx
Rn
Z
4 2
|g(x)|2 dx
2B
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
|f (x)| dx +
F
Qj
XZ
j
|f (x)| dx
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
| |
|Qj | C
|Qj | = C||
kf k1
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|
|T bj |, y como sop(bj ) Qj ,
Z
K(x y)bj (y) dy
T bj (x) =
Qj
Z
[K(x y) K(x yj )]bj (y) dy
=
Qj
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)
para alg
un j Qj (que depende de y e yj ). Por lo tanto,
|K(x y) K(x yj )| |K(x j )| diam(Qj )
B diam(Qj )
C diam(Qj )
n+1
|x j |
|x y|n+1
para todo y Qj . Entonces,

Z
|T bj (x)| C
Qj
diam(Qj )
|bj (y)| dy.
|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
|T b(x)|
X
j
|T bj (x)|
X
j
Z
C
Qj
(y)|bj (y)|
dy C
|x y|n+1
(y)b(y)
dy
|x y|n+1
1. OPERADORES INTEGRALES SINGULARES
71
de donde deducimos finalmente que

Z

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

2
F
Z
Z
(y)|b(y)|
C
dy dx
F |x y|n+1
Z
Z
C
1
=
(y)|b(y)|
dx dy

|x
y|n+1
F
Z
Z
1
C
(y)|b(y)|
dx dy
n+1

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

Z

C
x F : |T b(x)| > 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
g y K(x)
donde Tg = K
= K(x). Entonces
Z
Z
Tg(x)f (x) dx
T f (x)g(x) dx = sup
sup
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
|K(x)|
B
|x|n+1
implica la siguiente condici

on de H
ormander: existe B 0 tal que
Z
|K(x y) K(x)| dx B 0 .
|x|2|y|
(15.37)
(15.38)
74
15. CLASE 15
Demostraci
on. Por el teorema de valor medio y la hipotesis (15.37),
B|y|
|z|n+1
para alg
un 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|
|x|2|y|
|x|2|y|
Z n1
r
dr
C|y|
n+1
2|y| r
C
|K(x y) K(x)| = |K(x) y|
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
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
Qj
|K(x y) K(x yj )||bj (y)| dy dx

Qj
Z
(Qj )c
Qj
XZ
j
(Qj )c
XZ
j
XZ
|K(x y) K(x yj )| dx |bj (y)| dy
Z
(Qj )c
Qj
|K(x yj (y yj )) K(x yj )| dx |bj (y)| dy

| {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
Qj
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
|x|n
(15.39)
K(x) dx = 0
(15.40)
|K(x y) K(x)| dx B
(15.41)
|K(x)|
2. Para todo 0 < a < b,
Z
a<|x| 0

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

K (x) =
K(x)
0
si |x| >
si |x|
entonces, para todo 1 }).
|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 y| |x| |y| > |x|
por lo que lo que tenemos que acotar es

Z
Z
|K(x)| dx
|K(x)| dx
|x|>2|y|
|xy|<<|x|
<|x|<2
<|x|<2
|x|
|x|
=
2
2
B
dx = C
|x|n
rn1
dr = C log 2.
r
Si |x| < y |x y| > , entonces usando de nuevo que |x| > 2|y|, vemos
< |x y| |x| + |y| < |x| +
|x|
< 2
2
76
15. CLASE 15
y entonces, al igual que en el caso anterior,

Z
Z
|K(x y)| dx
|x|>2|y|
|xy|<<|x|
|K(x y)| dx C log 2.
<|xy|<2
()| C, con una constante que no depende

Nos queda por ver entonces que se cumple que |K
de .
Como
() = lm
K
R |x|<R
K (x)e2ix dx
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
<|x|< ||
|x|<R
1
<|x|<R
||
{z
=I1
Como K tiene integral cero en coronas,

Z
I1 =
1
<|x|< ||
{z
=I2
K (x)(e2ix 1) dx
y, por lo tanto
Z
|I1 |
1
|x|< ||
|K (x)|
B
|x||| dx = CB||
|x|n
Z
1
|x|< ||
1
dx = C(n, B)
|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
e2i(xy) K (x y) dx
I2 =
1
<|xy|<R
||
Z
=
1
<|xy|<R
||
Z
=
1
<|x|<R
||
e2ix K (x y) dx
e2ix K (x y) dx + J
donde
Z
J=
1
<|x|<R
||
1
<|xy|<R
||
e2ix K (x y) dx.
Por lo tanto,
1
I2 =
2
Z
1
<|x|R
||
[K (x) K (x y)]e2ix dx +
{z
J
2
=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
< |z| R
, E2 = z :
< |z + y| R
E1 = z :
||
||
tenemos que
Z

|J| =
E2 E1
2i(z+y)
Z

K (z) dz
|K (z)| dz.
E2 4E1
Afirmamos que

E1 4E2
z:
1
2
|z|
2||
||

R
z:
|z| 2R
2
78
16. CLASE 16
En efecto, supongamos por ejemplo que z E1 E2 , entonces

1
o bien |z + y| > R. En el primer caso, tenemos que
|z + y| ||
1
||
< |z| R y adem

as o
1
1
1
2
< |z| |z + y| + |y|
+
<
,
||
|| 2||
||
mientras que en el segundo,
R |z| |z + y| |y| R
donde para la u
ltima desigualdad usamos que
acotar es vaca).
1
||
1
R
R
>R = ,
2||
2
2
< R (ya que sino la integral que queremos
Si z E2 E1 , el razonamiento es an
alogo. Entonces, para terminar la demostracion bastara ver
que si a > 0, entonces
Z
a
<|z|2a
2
|K (z)| dz BC
con C es independiente de a. Para esto basta observar que

Z
Z 2a
Z
1
1
|K (z)| dz B
dz
=
BC
dr = BC log 4.
n
a
a
a
|z|
r
<|z|2a
<|z|2a
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
(T f T f )(x) =
Z
K(y)f (x y) dy =
<|y|
K(y)(f (x y) f (x)) dy
<|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
dy = CB 0.
kT f T f kp C
|y||K(y)| dy CB
n1
<|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
}
<
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
n K(z)f (x z) dz
K(y)f (x y) dy =
T f (x) = T f (x) =
Rn
Rn
y, por el otro,
Z
Z
K(z) f (x z) dz =
T ( f )(x) =
Rn
K(z)f (x z) dz
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,

x
x
n
n
= |x|
(16.42)
K(x) = |x| K
|x|
|x|
donde es una funci
on definida en la esfera unitaria. Nos proponemos ver entonces que propiedades tiene que cumplir para que K cumpla las condiciones (15.39), (15.40) y (15.41).
Teorema 16.2. Si es una funci
on definida en la esfera unitaria tal que L (S n1 ),
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
n1
(x , y S
) entonces para alg
un a > 0 vale
Z a
(t)
dt < ,
t
0
entonces el n
ucleo K definido por (16.42) cumple las condiciones (15.39), (15.40) y (15.41).
Demostraci
on.
Es inmediato que si kk = B, entonces |K(x)|
B
|x|n .
80
16. CLASE 16
Para ver que K tiene integral cero en coronas, escribimos

Z
Z b
Z
K(rx0 )rn1 dr dx0
K(x) dx =
S n1
a<|x|<b
a
b
rn (x0 )rn1 dr dx0
=
S n1
b
Z
=
a
dr
r
S n1
(x0 ) dx0 .
{z
}
=0
Nos falta probar que K cumple la condicion de Hormander (15.41). Para esto escribimos

x
xy
n
n
K(x) K(x y) = |x|
|x y|
|x|
|x y|

x
1
1
x
xy
n
=
+ |x y|
|x|
|x|n |x y|n
|x|
|x y|
|
{z
} |
{z
}
(i)
(ii)
Por un lado, tenemos que

|(i)| kk

1
|y|
1
kk
n
n
|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|
dx = C.
n+1
|x|2|y|
|x|2|y| |x|
Por otro lado,

x

1
x
y
1
|y|

|(ii)|
|x| |x y|
|x y|n
|x y|n
|x |
con || < |y|. Por la cuenta anterior, si |y|
|(ii)|
e integrando
Z
Z
|(ii)|
|x|2|y|
|x|2|y|
|x y|n
2n
|x|n
2|y|
|x|
|x|
2 ,
2|y|
|x|
=C
2y
2n
|x|n
2|y|
r
2|y|
|x|
Z
dr = C
0
(t)
dt < .
t
CAPTULO 17
Clase 17
1.
Convergencia puntual de integrales singulares
Dado
Z
K(y)f (x y) dy
T f (x) =
|y|>
x
donde K(x) = |x|n (x0 ), x0 = |x|
S n1 y cumple las condiciones del Teorema 16.2, queremos 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
a acotada por una funci
on L1 (Rn ) radial,
decreciente como funci
on de r = |x| y tal que kk1 = A < , entonces
sup |(f )(x)| AM f (x)
>0
para toda f Lp (Rn ), 1 p .

Corolario 17.2. Con las mismas hip
otesis sobre , si adem
as kk1 = 1, entonces existe en
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
Si definimos
Z
(r) =
S n1
f (rx0 )rn1 d(x0 )
82
17. CLASE 17
y
Z
f (x) dx =
(r) =
|x|r
(t)tn1 dt
entonces
Z
(r)r
f (x)(x) dx =
Rn
n1
Z
dr =
lm
0,M
0 (r)(r) dr.
Al hacer partes, como los terminos integrados tienden a cero, tenemos que
Z
Z
Z
1
n
(f )(0)
(r)d()(r) n M f (0)
r d((r)) =
(x) dx
n Rn
0
0
Por otro lado,
Z
1
(r) =
f (x) dx = n r
n r n
|x|r
n
f (x) dx n rn M f (0).
|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
<|x|<r
2
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
que esta acotada por una funci
on radial decreciente en L1 (Rn ). Para esto separamos en casos.
Si |x| 1,
Z
(x) = lm
0 <|y|2
Z
K(y)(x y) dy = lm
K(y)[(x y) (x)] dy
{z
}
0 <|y|2 |
|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
K(x y)(y) dy
K(x)(y) dy =
(x) =
Rn
Rn
Rn
[K(x y) K(x)](y) dy
1. CONVERGENCIA PUNTUAL DE INTEGRALES SINGULARES
83
Pero

xy
1
1
n

|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,

(i) C
C2
|x|
|x|n L1 .
En efecto,

|x|>2
C2
|x|
|x|n dx = C
C2
r
dr
=C
r
C2 /2
(s)
ds < .
s
Por otro lado,

(ii) C
1
|y|
C n+1
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.

Teorema 17.4. Con las hip
otesis del teorema anterior, si 1 < p < y f Lp (Rn ), T f f
en casi todo punto.
Demostraci
on. Si definimos

f (x) = lm sup T f (x) lm inf T f (x) ,
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 =
<|y|<M
<|y|<M
K(y) [f (x) f (x y)] dy

|
{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) .
Demostraci
on. Dada f L1 (Rn ) y > 0, consideramos la
on de CalderonR
Pdescomposici
Zygmund de |f |, y obtenemos |f | = g + b, con |g(x)| , b = j bj , bj = 0, sop(bj ) Qj y
| j Qj |
kf k1
.
T g se puede acotar igual que T g. Falta ver que

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

|{x : T b(x) > }|

j Qj Ckf k1 ,
entonces basta ver que

|{x F : T b(x) > }|
Ckf k1
.
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
j
K (x y)b(y) dy
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
Por u
ltimo, si existe y Qj tal que |x y| = , entonces existen C1 , C2 , C3 tales que C1 l(Qj ),
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
|b(y)|
dy
|b(y)| dy CM b(x).
n
n B(x,C2 )
Qj
Qj |x y|
Teorema 18.2. Si f L1 (Rn ), tambien vale que T f f en casi todo punto.
Demostraci
on. 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

|{x : |f2 (x)| > }|
2Ckf2 k1
2C
<
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
de borde. Para eso, defini
o, para p > 0 y 0 r < 1
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).

An
alogamente, en el semiplano R R+ , si F es analtica y z = x + it, podemos definir
Z
1
p
p
Mp (F, t) = sup
|F (x, t)| dx
t>0
P
n 18.5. Vimos que si f Lp (T) con p 1, digamos f () = kZ ck eik , y definimos
Observacio
P
on del
F (z) = c0 + 2 k=1 ck z k , entonces F (z) es analtica y lmr1 ReF (rei ) = f () es soluci
problema de Dirichlet.
Hardy demostr
o que esto pasa no s
olo para la convergencia en la direcci
on radial, sino tambien
p
para la convergencia no tangencial, o sea, que si F H , entonces existe lmr1 ReF (reit ) y
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)
1
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
2 ) es el
p
n
ucleo de Poisson, entonces u = 0 en R R+ y u(x, t) f (x) cuando t 0 en L y tambien
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
como P es una funci

on radial decreciente, sabemos que N f (x) M f (x).
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
< Ca
.
2
2
|y z| + t
|x z|2 + t2
Entonces
Z Z
Z
1
Ca
tf (z)
2
2
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.
n 18.7. Si p > 1 y f Lp , entonces como Na f (x) Ca N f (x) Ca M f (x), es
Observacio
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.
n 19.1. Dada f L1 (Rn ) y un cubo Q Rn , notamos fQ al promedio de f sobre Q,

Definicio
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 .
n 19.2. kf k es una seminorma, ya que kf k para toda f constante en casi todo
Observacio
punto. Por eso consideramos como B.M.O. al cociente de las funciones que acabamos de definir
por las funciones constantes en casi todo punto. Con esta definici
on y k k , B.M.O. resulta ser
un espacio de Banach.
n 19.3. Vale que L B.M.O., y que M # f (x) CM f (x).
Observacio
Demostraci
on. Basta notar que dado Q Rn ,
Z
Z
Z
1
1
2
|f fQ |
|f | + |fQ |
|f |
|Q| Q
|Q| Q
|Q| Q
y que ademas este u
ltimo termino se puede acotar por 2kf k .
n 19.4.
Proposicio
1
1
kf k sup nf
2
Q aC |Q|
Z
|f (x) a| dx kf k
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
|x| < 1
log |x|
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
que la inclusi
on L B.M.O. es estricta.
Teorema 19.6. Sea K un n
ucleo tal que
1. |K(x)|
B|x|n , si |x| > 0.
R
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
est
a en B.M.O. y kT f k Ckf k .
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
Para (i) usando que las hip

otesis sobre K son suficientes para la continuidad de T en L2 (Rn ),
escribimos
Z
1
2
1
1
2
(i)
|T f1 (x)| dx
|Q| 2
|Q|
Q
1

Z
2
1
2
|f1 (x)| dx
C
|Q| Q
1
|Q | 2
Ckf k
|Q|
Ckf k
Por otro lado,

Z Z

(K(x y) K(cQ y))f (y) dy dx

Q
(Q )c
Z Z
kf k
|K(x y) K(cQ y)| dy dx

|Q| Q (Q )c
|
{z
}
1
(ii) =
|Q|
()
y
Z
() =
(Q )c
|K((x cQ ) + (cQ y)) K(cQ y)| dy
|K(
x y) K(
y )| d
y
|
y |>2|
x|
B
donde llamamos y = y cQ , x
= x cQ y usamos ademas que como y (Q )c y x Q,
x|
|
y | = |y cQ | > 2 n lQ > 2|x cQ | = 2|
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.
n 19.7. Como las funciones de soporte compacto no son densas en L , no se
Observacio
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 est

a 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
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) K(0 y))f (y) dy
K(x 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 funciones de B.M.O.
Ya vimos un ejemplo de funci
on no acotada en B.M.O. Nos interesa ahora estudiar que crecimiento 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|.
Demostraci
on. 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 funci
on |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
1
2<
|Q1,j |
|f (x) fQ | dx 2n+1
Q1,j
Notemos que de esta u

ltima propiedad se deduce ademas que

1 Z

|f (x) fQ | dx 2n+1 .
|fQ1,j fQ |
|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
y
|fQ2,k

1 Z

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
|Q2,k |
X1
j
1
|Q1,j | |Q|
2
4
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
tomando c2 =
log 2
.
2n+2
Si, en cambio, < 2n+1 , entonces para la misma constante c2 vale que c2 < log2 2 = log
entonces,
|{x Q : |f (x) fQ | > }| |Q| elog 2c2 |Q| = 2ec2 |Q|,
por lo que basta tomar c1 = 2.
2 y,
CAPTULO 20
Clase 20
1.
Espacios de Hardy
1
Recordemos que si P (x) = 1 (1+x
ucleo de Poisson, podemos definir Pt (x) =
2 ) es el n
las funciones maximales asociadas
1
x
tn P ( t ),
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
Demostraci
on. Por ahora probaremos solamente que Lp H p . Ya vimos que
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
1
que H L1 y H 1 6= L1 .
Las mismas definiciones se pueden extender a Rn , definiendo
N f (x) = sup |(f Pt )(x)|
donde ahora P es el n
ucleo de Poisson en
t>0
n
R ,
P (x) =
2.
cn
(1 + |x|2 )
n+1
2
El espacio H 1
Un resultado importante que no vamos a demostrar es el siguiente:

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) =
entonces vale que f H p si y s
olo si N f
sup
|yx|<at
Lp (o,
|(f t )(y)|
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}
n 20.4. En particular, de la caracterizaci
Observacio
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)
Q, donde Q es un cubo
Z
a(x) dx = 0
Q
kakq
1
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 cero
R y lla a un expandido de Q, digamos Q
= 5Q. Si C (Rn ), sop() {|x| < 1} y = 1,
memos Q
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,

Z
1
xy
(a t )(x) = n a(y)
dy
t
t

Z
xy
1
a(y)
dy
= n
t |yx|<t
t

Z
x
xy
1
a(y)
dy
= n
t |yx|<t
t
t
e y Q, tenemos que
Como x Q
|x|
|x|
=
2
2
t > |y x| > |x| |y| > |x|

y, por lo tanto,
|y|
dy
|a(y)|kk
t
Q
Z
lQ
|a(y)| dy
C n+1
t
Q
lQ
1 1
kakq |Q| q
n+1
|x|
lQ
.
|x|n+1
1
|(a t )(x)| n
t
Entonces
Z
Z
N a(x) dx =
Rn
N a(x) dx +
c
(Q)
N a(x) dx
1
dx
n+1
|x|>lQ |x|
{z
}
M a(x) dx + ClQ
Q
|
{z
} |
(i)
(ii)
pero, por lo anterior
(i) |Q|
1 1q
1 1q
kM akq C|Q|
kakq C
y
Z
(ii) ClQ
lQ
rn1
dr = ClQ
rn+1
lQ
1
dr C
r2
98
20. CLASE 20
Corolario 20.7. Si {aj } es una sucesi

on de (1, q)-
atomos y {j } R es tal que
entonces la funci
on
X
f=
j aj H 1 (Rn )
j
y, adem
as, kf kH 1 C
j |j |
Demostraci
on. Por la sublinealidad de N ,
Z
Z
X
N f (x) dx
|j |
Rn
j=1
Rn
N aj (x) dx C
X
j=1
|j |.
|j | < ,
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)
Q, donde Q es un cubo

Z
1
a(x)x dx = 0 para todo tal que || n

1
p
Q
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
(p, q)-
atomos {ak } y {k } C tales que
X
X
f=
k ak y
|k |p C(p, q, n)kf kpH p
k
donde la igualdad con la serie vale en el sentido de S 0 y si p = 1 tambien en L1 (Rn ).

P
Recprocamente, si {ak } es una sucesi
on de (p, q)-
atomos y {k } C es tal que k |k |p < ,
entonces
X
X
f=
k ak H p (Rn ) y kf kpH p C(p, q, n)
|k |p .
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 demostraci
on de Wilson, y la definicion de H 1 con el n
ucleo de Poisson.
Primero necesitamos algunos lemas.
R
Lema 21.3. Existe una funci
on C (R) par, tal que sop() [1, 1], (x) dx = 0 y
Z
ds = 1 .
(21.43)
e2s (s)
2
0
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
R
para toda C0 (R) impar tal que = 0 y sop() [1, 1]. Por lo tanto, si
Z 1
P (x)(x) dx = 0
1
entonces resultara que

Z
P (x)(x) dx = 0
1
para toda funci

on C0 (R) tal que
constante en [1, 1], que es absurdo.
= 0 y sop() [1, 1], de donde se sigue que P es
Lema 21.4 (F
ormula de representaci
on de Calderon). Si es una funci
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 ()
t
Rn t
= [f()P (t)](t||)
t
i
h
=
f ()e2t|| (t||)
t
= f()(2||)e2t|| (t||)
Entonces basta ver que
f() = f()
(2||)e2t|| (t||)dt,
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.
Demostraci
on. Sea f H 1 (R). Entonces, por definicion, N2 f L1 (R).
ATOMICA
1. DESCOMPOSICION
101
Para cada k Z consideramos los abiertos E k = {x : N2 f (x) > 2k } y escribimos

k
E 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 =
k
E
j=1 Ij
k+1 ,
Tjk = Ijk \ E
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
kj = C2k |Ijk |
akj =
gjk
C2k |Ijk |
P
donde C es una constante positiva, entonces f = j,k kj akj . Afirmamos que los akj son (1, 2)atomos.
R
R
Para ver que akj (x) dx = 0, basta usar Fubini y que t = 0.
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
kakj k2
1
1
|Ijk | 2
(21.44)
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
(los E k no son disjuntos, pero usando la definicion es facil ver que vale la acotacion anterior).
102
21. CLASE 21
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

u

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

t

| {z }

Tjk t

=t (yx)
Z

Z

u

=
(y, t) (h t )(y) dy dt
Tjk t

1 Z
1
Z
2
dt 2
2
2
t|u(y, t)| dy dt
|(h t )(y)| dy
t
RR+
Tjk
|
{z
}
{z
}
|
(ii)
(i)
Empecemos por acotar (ii). Haciendo el cambio de variables s = t tenemos que

Z Z
dt
2
(ii) =
|h()|
|(t)|2 d
t
R
Z0
Z
2
2
=
|h()|
|(s)|
ds d
R
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
u(y, t) (tu(y, t) ) dS
div(tu(y, t)) u(y, t) dy dt +

Tjk
Tjk
{z
(iii)
donde para la u
ltima igualdad usamos el teorema de Green en Tjk .
Como u = 0,
Z
(iii) =
[(0, 1) u(y, t)] u(y, t) dy dt

Tjk
Z
=
Tjk
u
(y, t) u(y, t) dy dt
t
u
=
u(y, t) (y, t) dy dt
t
Tjk
Z
Tjk
|u(y, t)|2 2 dS
siendo 2 la segunda componente del vector normal, de donde se sigue que

Z
1
|u(y, t)|2 2 dS
(iii) =
2 Tjk
ATOMICA
1. DESCOMPOSICION
y, volviendo a la expresi
on que tenamos para (i),

Z
Z
u
1
2
2

|u(y, t)| + t (y, t) + |u(y, t)| 2 dS
t|u(y, t)| dy dt
2
Tjk
Tjk
103
(21.45)
Ahora, por definici

on sabemos que en Tjk , 2k < N2 f 2k+1 . Por lo tanto, si x Ijk Tjk hay
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 |
k
Tj 2
k
erminos de (21.45) se acotan de la misma
Si vemos que en Tjk , t| u
| C2 , entonces todos los t
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
u es armonica, tanto u
x como t lo son, y entonces por valor medio
Z
Z
u
u
1
1
1
2k
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
Dualidad entre H 1 y B.M.O.
1.
n 22.1. Llamaremos H01 (Rn ) a todas las combinaciones lineales finitas de (1, 2)-
Definicio
atomos.
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.
Ahora, como f H01 (Rn ), f =
Entonces
PN
k=1 k ak
donde ak son (1, 2)-atomos, con soporte en Qk .
Z

|Lb (f )| =
f (x)b(x) dx
Rn
N

X Z

=
k
ak (b(x) bQk ) dx

Qk
k=1
N
X
Z
|b(x) bQk | dx
|k |kak k2
k=1
N
X
1
Qk

|k |
k=1
1
|Qk |
1
|b(x) bQk | dx
Qk
Ckf kH 1 kbk
donde para la u
ltima igualdad usamos que
de la practica).
1
|Qk |
2
Qk |b(x) bQk | dx
1
2
Ckbk (ver ejercicio
Teorema 22.3. Existen constantes que s

olo dependen de la dimensi
on tales que dada b
n
1
n
B.M.O.(R ), la funcional lineal definida en H0 (R ) por (22.46) admite una u
nica 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 extension 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
1
n
esta bien definida en H (R ), coincide con Lb en H01 (Rn ) y satisface |Lb (f )| Ckbk kf kH 1 para
toda f H 1 (Rn ).
Para la implicaci
on recproca, notemos primero que si llamamos L20 (Q) al subespacio de funciones
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 (t) F Ql (t) dt
F Qm F Ql =
|Ql | Ql
y entonces
Z
Z
1
1
Qm
Ql
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
Qm
R
esta bien definida. Entonces, si Q = Qm para alg
un m N, basta tomar c(Qm ) = |Q11 | Q1 F Qm (t) dt.
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.
Ademas, para toda f H01 (Rn ), f =
PN
k=1 k ak
con ak (1, 2)-atomos,

Z
N
X
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)|
B|x|n si |x| > 0
Z
|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.
Entonces, para todo (1, 2)-

atomo a vale que kT akH 1 C.
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
Z
2
|Q | 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

|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
}
Z
(i)
(Q )c
Ahora, si x
:= x cQ y y := y cQ , como x
e y Q,
|
x| = |x cQ | > 2 nlQ > 2|y cQ | = 2|
y |,
108
22. CLASE 22
y entonces,
Z
|K(
x y) K(
x)| d
x C.
(i)
|
x|>2|
y|
Se sigue que
Z
Z
(Q )c
|a(y)| dy Ckak2 |Q| 2 C.
|T a(x)| dx
Q
Corolario 22.5. Si T es como antes y f H 1 (Rn ), entonces kT f kH 1 Ckf kH 1 .

Demostraci
on. Si f H01 (Rn ),
kT f kH 1
N
X
|k |kT ak kH 1 C
k=1
y en el caso f
H 1 (Rn )
sale por densidad.
N
X
k=1
|k | = Ckf kH 1
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
kf kLpw =
2.
1
|f (x)| w(x) dx
Rn
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
Rn
(23.47)
Si Q Rn es un cubo y es tal que

1
0<<
|Q|
Z
f (x) dx
Q
(23.48)
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
!p
R
Z
Q f (x) dx
w(Q)
C
f p (x)w(x) dx
(23.49)
|Q|
Rn
n 23.2. La condici
Observacio
on anterior implica que w > 0 en casi todo punto, como se deduce
f
acilmente considerando f = S con S Q medible y tal que |S| > 0.
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
.
|Q|
|S|
(23.50)
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(x) dx
w(Q)
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).
n 23.3. Definimos la clase de pesos A1 como los w que cumplen M w(x) Cw(x) en
Definicio
casi todo punto.
Pasemos ahora al caso p > 1. Si elegimos f = w p1 Q , por (23.49) debe valer

p
Z
Z
1
1
p1
p
w(Q)
w
C
w p1 w dx
|Q| Q
Q

1
|Q|

Z
w
Q
1
|Q|
Z
w
1
p1
p1
C
n 23.4. Definimos la clase de pesos Ap como los w que cumplen

Definicio

p1
Z
Z
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)
3.
111
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
Calder
on-Zygmund a altura y Qj son expandidos (por un factor fijo) de Qj , entonces existe
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:
R
1
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
C
1
f cn .
f
|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

1 X
(i) =
|Q|
j
Z
f (x) dx
QQj
|Qj | 1
|Q| |Qj |
j:Qj Q6=
|
X
Z
f (x) dx
Qj
{z
2n
C2n
Teorema 23.7 (Fefferman-Stein). Si w 0 y 1 })
Z
|f (x)|M w(x) dx
Rn
112
23. CLASE 23
Demostraci
on. Sin perdida de generalidad, podemos suponer f 0.
Afirmamos que
kf kL
.
kM f kL
w
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
, entonces
Mw
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
kf kL
para todo a kf kL
, de donde
w
Mw
Mw
kM f kL
kf
k
.
LM w
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
Rn
{M f >cn }
siendo cn la constante del lema anterior. Como sabemos que {M f > cn } j Qj , entonces
Z
Z
w(x) dx
w(x) dx
Qj
{M f >cn }
XZ
w(x) dx
Qj
1
|Qj |
|Qj |
Z
CX
f (y) dy
Qj
j
w(x) dx
Qj
1
|Qj |
Z
w(x) dx
Qj
!
Z
Z
1
CX
=
f (y)
w(x) dx dy
|Qj | Qj
Q
j
j
Z
CX
f (y)M w(y) dy
Qj
j
Z
C
f (y)M w(y) dy
Rn
es decir,
C
w({M f > })
Z
f (y)M w(y) dy
Rn
como queramos.
Como corolario inmediato del teorema anterior tenemos el siguiente:

(1, 1)
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
113
CAPTULO 24
Clase 24
1.
Suficiencia para el tipo d

ebil (p, p), p > 1
Primero veamos que la condici

on Ap implica (23.49) para alguna constante C. En efecto, usando
la desigualdad de H
older, si w Ap ,
p1

p
Z
Z
Z
1
1
1
p1
p
dx
f (x) dx
f (x) w(x) dx
w(x)
|Q| Q
|Q|p
Q
Q

p1
Z
Z
1
1
1
=
f (x)p w(x) dx
w(x) p1 dx
|Q| Q
|Q| Q

1

Z
Z
1
1
p
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)
|Q|
(24.51)
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
w(Qj )
(por (24.51))
XZ
j
Qj
f (x)p w(x) dx
|Qj |p
f (Qj )p
Z
C X
f (x)p w(x) dx
p
Qj
j
Z
C
p
f (x)p w(x) dx
Rn
(por (23.49))
(porque son cubos de C-Z)
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 .
2. w Ap si y s
olo 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
|f (x)|q w(x) dx
|M f (x)| w(x) dx C
Rn
Rn
Demostraci
on. Sale usando el teorema de Marcinkiewicz para interpolar entre p e (recordar
).
kf kL
que kM f kL
w
w
Por lo anterior, vale que p<q Ap Aq . Vamos a probar que vale p<q Ap = Aq o, equivalentemente, 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).
Demostraci
on. Cambiamos S por Q S en (24.51), y obtenemos

|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))
w(S)
por lo que basta tomar =
C (1 )p
w(Q)
C
C(1)p
.
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

1
|Q|
Z
w(x)
Q
1+

dx
1
1+

C
1
|Q|

w(x) dx .
Demostraci
on. Dado Q, como w L1 (Q) podemos hacer la descomposicion de Calder
onZygmund 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 .

(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
Z
X
X 1 Z
1
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
k
< 1, entonces k = ( 2 )k 0 y, por la cuenta anterior,
Si elegimos = 2n k+1
|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
w(x)1+ dx =
Q
w(x)1+ dx +
Q\0
Z
X
k=0
0 w(Q) +
w(x)1+ dx
k \k+1
k+1 w(k )
k=0
0 w(Q)
0 w(Q) + 0
n (k+1)
X
2
k=0
n (k+1)
X
2
k=0
w(k )
k w(Q)
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
Como 0 =
w(Q)
|Q| ,
entonces
C
dx C
|Q|
Z
Dividiendo por |Q| a ambos lados y elevando a la
1
1+
1+
w(x)
Q
1+
w(x) dx
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
Rn
Rn
|f (x)|p w(x) dx.
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
1 |{x E : Sf (x) > }| d
|Sf (x)| dx =
E
Z
=
C
kf k1 } d
Z
C
1
|E| d +
2 kf k1 d
Ckf k1
1 mn{|E|,
Ckf k1
|E|
|E|
Ckf k1
|E|
= |E|
+
0

Ckf k1 1 Ckf k1
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
(M f1 (y)) dy
|f (y)| dy C(M f (x)) .
|Q| kf1 k1 = C
|Q| Q
|Q|
|Q| Q
R
1
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

1
Z
Z
1+
1
C
1+
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),

por lo que definiendo f = w1+ , =
1
1+
y k(x) =
w(x)
(M f (x))
vale lo que queramos.
n 25.3. La parte 1. del teorema anterior vale tambien para una medida de Borel
Observacio
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 adem
as 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
r
|T f (x)| w(x) dx C |f (x)|r w(x) dx,

2. EXTRAPOLACION
121
entonces, para todo 1 r. En este caso,
Z
r
Z
p
p
r r
|T f (x)| dx
= k|T f | k p = |T f (x)|r u(x) dx
p 0
para alguna u L( r ) tal que kuk( p )0 = 1.

r
Pero u(x) (M us ) s para todo s > 1 y (M us ) s A1 si us L1loc . Entonces,

Z
Z
Z
1
1
r
r
s
s
|T f (x)| u(x) dx |T f (x)| (M u (x)) dx C |f (x)|r (M us (x)) s dx.
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
1
Z
r
Z
r Z
Z
r
p
p
t
p
t
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
pr
pr
|T f (x)| |M f (x)|
Z
|T f (x)| |M f (x)|
Z
C
pr
|f (x)| |M f (x)|
Z
pr
|f (x)| |f (x)|
C
Z
=C
p Z
r
|M f (x)|
dx
p Z
r

dx
1
r )0
(p
rp
r
|M f (x)| dx
dx
p Z
r
dx
p
(rp)( pr )0
r
rp
r
|M f (x)| dx
p Z
rp
r
r
p
dx
|f (x)| dx
|f (x)|p dx.
n 25.5. Es importante notar que en la primera parte de la demostraci

Observacio
on s
olo usamos
r
que T est
a acotado en L para todo peso A1 , por lo que esta hip
otesis es suficiente si s
olo
queremos extrapolar para p > r.
n 25.6. En la demostraci
Observacio
on no interviene ninguna propiedad de T m
as que la acotaci
on el Lrw , por lo que el enunciado no vale solamente para operadores sino tambien para
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
Q es un cubo di
adico si es un dilatado en 2k , k Z de uno de estos cubos.
Podemos considerar entonces la funci
on maximal diadica,
Z
1
Md f (x) =
sup
|f (y)| dy.
Q di
adico, Q3x |Q| Q
n 26.1. Dada f L1 , f 0, la descomposici
Observacio
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 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,

1
1
1

Z
Z
Z
s
s
s
1
1
1
1
s
s
s
(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
|K(y z) K(x z)|
Bl(Q)
B|x y|
.
n+1
|x z|
|x z|n+1
Luego,
C
(ii)
|Q|
Z Z
Q
Cl(Q)
Cl(Q)
Cl(Q)
(Q )c
X Z
l(Q)
|f2 (z)| dz dy
|x z|n+1
|f (z)|
dz
|x z|n+1
k
k+1 l(Q)
k=1 2 l(Q)|xz|<2
Z
k=1
X
k=1
(2k l(Q))n+1
|f (z)| dz
|xz|<2k+1 l(Q)
1
2n
2k l(Q) (2k+1 l(Q))n
Z
|f (z)| dz
|xz|<2k+1 l(Q)
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
|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
Z
2n |Q| 1
|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
Z 0
p1
#
p
p
pp1 |{x : M # f (x) > }| d
p |{x : Md f (x) > , M f (x) }| d + 2
2
0
0
Z
Z
p
p1
p
2 C1
p |{x : Md f (x) > }| d + 2
pp1 |{x : M # f (x) > }| d
0
2p C1 I + 2p
Z
0
p1
1
p
|{x : M # f (x) > }| d
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
on es an
aloga a la del caso anterior usando que si w Ap entonces para todo
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
p
|T f (x)| w(x) dx |(Md (T f )(x))p w(x) dx
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
p
|T f (x)| w(x) dx C |f |p dx.
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

!
Z
(i)
1+
(w(x))
1
1+
Z
|T f (x)|
dx
|x|<2R
p(1+)
! 1+
|x|<2R
Basta observar entonces que el primer factor es acotado para suficientemente chico por la
propiedad de H
older inversa, mientras que el segundo es acotado porque como f L tiene
p(1+)
soporte compacto, entonces f L (y luego T f tambien).
Para acotar (ii), notemos primero que como |x| 2R y |y| R, entonces |xy| |x||y|
Luego,
Z

Z
Z

|f (y)|
|f (y)|
C
n
dy
2
B
dy
|T f (x)| = K(x y)f (y) dy B
|x y|n
|x|n
|x|n
|y|R
|x|
2 .
|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
C
=
|x|2R
XZ
w(x)
dx
|x|np
k
k+1 R
k=1 2 R<|x|<2
X
k
np
(2 R)
w(x)
dx
|x|np
w(B(0, 2k+1 R))
k=1
Como w Ap , sabemos que w Ap para alg

un > 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, tenemos 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
Z
Z
Z
|T g(x)|2
|g(x)|2
|g(x)|
w(x) dx C
w(x) dx C
w(x) dx
w({x : |T g(x)| < })
2
2
1. ACOTACIONES CON PESOS PARA INTEGRALES SINGULARES
129
Ahora, como
f (x) en (Qj )c
fQj en Qj

g(x) =
tenemos que ver que
Z
Qj
|g(x)|
w(x) dx
|f (x)|
w(x) dx
Z
Qj
Pero
Z
1
|Qj |
|g(x)|w(x) dx
Qj
Qj
Z
|f (y)|
=
Qj
|f (y)| dy w(x) dx
Qj
w(Qj )
dy
|Qj |
Z
|f (y)|w(y) dy
C
Qj
usando en la u
ltima desigualdad que w A1 .
Por otro lado, si Qj = 2 nQj , tenemos que

w(j Qj )
w(Qj ) = C
Z
CX
|Qj |
|f (y)|w(y) dy
|Qj |
Qj
X w(Qj )
j
donde usamos nuevamente que w A1 y las propiedades de los cubos de Calderon-Zygmund.

Entonces solo falta acotar
w({x
(Qj )c
Z
CX
: |T b(x)| > })
|T bj (x)|w(x) dx
(Qj )c
j
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
Z
C
Qj
Z
C
Qj
|y cj |
|bj (y)| dy
|x cj |n+1
l(Qj )
|bj (y)| dy
|x cj |n+1
130
27. CLASE 27
y entonces
Z
Z
Z
l(Qj )
CX
CX
|T bj (x)|w(x) dx
w(x) dx dy
|bj (y)|
n+1
|x
c
|
c
c
j
(Q
)
(Q
)
Q
j
j
j
j
j
Z
Z
X
C
w(x)
=
l(Qj )
dx dy
|bj (y)|
|x
cj |n+1
c
Q
(Q
)
j
j
j
|
{z
}
()
Afirmamos que () CM w(y) si y Qj , de donde, como w A1 ,

Z
Z
CX
CX
|bj (y)|M w(y) dy
|bj (y)|w(y) dy
|T bj (x)|
Qj
Qj
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)
dx
dx
n+1
n+1
(Qj )c |x cj |
|xcj |>l(Qj ) |x cj |
Z
X
w(x)
=
dx
|x
cj |n+1
m
m+1
l(Qj )2 <|xcj |l(Qj )2
m=0
C
C
(2m l(Qj ))(n+1) w(B(cj , l(Qj )2m+1 ))
m=0
(2m l(Qj ))1
m=0
(2m l(Qj ))1 M w(y)
m=0
M w(y)
l(Qj )
como queramos.
w(B(cj , l(Qj )2m+1 ))

|B(cj , l(Qj )2m+1 )|
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
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).
Demostraci
on. Si f C 1 tiene soporte compacto, por la regla de Barrow
Z
f (x) =
f 0 (x t) dt
de donde es inmediato que kf k kf 0 k1 . En general se hace por densidad.

Para dimensi
on n > 1 no es cierto que W 1,1 (Rn ) L (Rn ), pero veremos que s existe q > 1
(que depende de n) tal que est
a includo en Lq (Rn ). Para eso necesitamos generalizar la regla
de Barrow a m
as variables.
Consideremos entonces f C0 (Rn ). Dado x Rn y S n1 definimos g(t) = f (x t).
Entonces
Z
n Z
X
f
0
f (x) = g(0) =
g (t) dt =
(x t)j dt
xj
0
0
j=1
132
28. CLASE 28
Integrando en S n1 tenemos que

f (x) =
n
X
j=1
n
X
j=1
1
|S n1 |
1
1
|S n1 |
S n1
|S n1 |
Rn
j
f
(x t) n1 tn1 dt d
xj
t
yj
f
(x y) n dy
xj
|y|
Z
f (x y)
Rn
y
dy
|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
1
.
Lema 28.2. Si 0 < < n, entonces ( ||1 )(x) = cn |x|n
Demostraci
on. Sale usando que la transformada de una funcion radial es radial y que la
transformada de una funci
on homogenea de grado es homogenea de grado n.
n 28.3. Para 0 < < n, definimos la integral fraccionaria de f en x (en principio
Definicio
para f S) por
Z
f (y)
I (x) =
dy.
|x
y|n
n
R
n 28.4. Por lo que vimos anteriormente, vale que cn () 2 = I y que |f (x)|

Observacio
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
n
p n
p
=
|f (y)| dy
= p kf kp .
kf kp =
|f (x)| dx
Por otro lado,
Z
I f (x) =
Rn
f (y)
dy =
|x y|n
Z
Rn
f (z)
dz = I f (x)
|x 1 z|n
NECESARIA PARA LA CONTINUIDAD DE LA INTEGRAL FRACCIONARIA

2. CONDICION
de donde
k I f (x)kq = k(I f ) kq =
Deducimos entonces que para todo > 0
n
q
de donde se sique que debe ser +
n
q
n
p
kI f kq C
n
p
n
q
133
kI f kq .
kf kp
1
q
1
p
n .
Veremos que esta condici

on es adem
as suficiente salvo en los casos q = o p = 1. Si la acotaci
on
valiera en el caso p = 1, tendramos que, en particular,
n
Ckfk k1
kI fk (x)k n
con fk aproximaciones de la identidad, es decir, tales que fk 0,

Como
Z
fk (y)
C
dy
,
n
|x y|
|x|n
n
fk = 1 y sop(fk ) = ( k1 , k1 ).
entonces resultara que (|x|(n) ) n = |x|n es integrable, que es absurdo.
CAPTULO 29
Clase 29
1.
Continuidad de la integral fraccionaria
Teorema 29.1. Sean 0 < < n y 1 p < q < tales que
1
q
1
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,

|{x : |I f (x)| > }|
Ckf k1
n
n
1
. Escribimos entonces K = K1 + K con K1 = K|x|
Demostraci
on. Sea K(x) = |x|n
donde es una constante positiva a elegir.
R
Para
ver
el
primer
punto,
basta
tomar
=
1
y
observar
que
tanto
K1 (x y)f (y) dy como
R
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
n
p0 > 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,

kK1 f kp
(i)
p
1
kKk1 kf kp
p
C kf kp
p
ya que
Z
kK1 k1 =
|x|
1
dx = C
|x|n
Z
0
rn1
dr = C
rn
r1 dr = C .
Por otro lado,

n
q
kK f k kK kp0 kf kp C
kf kp
ya que
0
kK kpp0
=
|x|>
(n)p0
|x|
dx = C
rn1
r
dr = C
(n)p0
1 np
q
np
q
dr = C
donde en la ante
ultima desigualdad usamos que
1
1
n
1
= =
0
q
p n
n
p
p0 (n ) =
p0 n
+ n.
q
n
q
Ahora, notemos que podemos suponer kf kp = 1, por lo que resultakK f k C

n
eligiendo tal que C q = resulta que (ii) = 0.
, y
En consecuencia,

|{x : |(K f )(x)| < 2}|
p

=
q
+1
p
(
+ 1q )pq
n
C
,
q
como queramos.
n
). Si
Esto concluye la demostraci
on del tipo debil (p, q) y, en particular, del tipo debil (1, n
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
Z
(x y)
dy,
f (x) = cn f (y)
|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,
Z
|(fm )(x y)|
|fm (x)| cn
dy.
|y|n1
|y|R
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
n1
1 1
+ 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 .
r
Luego fm f en L (K), pero como fm f en Lp (K) entonces f = f, como queramos ver.
Por u
ltimo, 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
=1 >1
p < n,
0
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 funci
on 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
kf kL1 (Rn )
n
Y
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
kfn+1 kLn (Rn )
kfn+1 kLn (Rn )
|f1 . . . fn | dx1 . . . dxn

Rn
n
Y
! 10
n0
k|fi | kLn1 (Rn1 )
i=1
= kfn+1 kLn (Rn )
10
n0
n
Y
i=1
kfi kLn (Rn1 )
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
n
Y
kfn+1 kLn (Rn )
|f (x)| dx1 . . . dxn+1 =
kfi kLn (Rn1 ) dxn+1
Rn+1
i=1
= kfn+1 kLn (Rn )
Z Y
n
kfi kLn (Rn1 ) dxn+1
R i=1
kfn+1 kLn (Rn )
i=1
n+1
Y
!1
n Z
Y
|fi | dx
Rn
kfi kLn (Rn )
i=1
donde para la u
ltima desigualdad usamos el Holder generalizado con exponentes 1 =
Teorema 30.2. Si f W 1,1 (Rn ) y n 2, entonces kf k
L n1
1
n
+ + n1 .
Ckf kL1 .
Demostraci
on. Por densidad, basta verlo para f C0 . Como
Z x1
f
f (x1 , . . . , xn ) =
(t, x2 , . . . , xn ) dt,
x
1
entonces,
Z
|f (x1 , . . . , xn )|

f

(t,
x
,
.
.
.
,
x
)
2
n dt
x1
y, analogamente,

f

|f (x1 , . . . , xn )|
t , . . . , xn ) dt.
xi (x1 , . . . , |{z}
Si definimos fi (
xi ) como esta u
ltima integral, por el lema anterior
n
|f (x)|
n
Y
fi (
xi )
i=1
y entonces, elevando a la
Z
|f (x)|
n
n1
dx
1
n1
n
Y
a ambos lados e integrando,
kfi (
xi )
1
n1
kLn1 (Rn1 ) =
i=1
n
Y
kfi (
xi )k
1
n1
L1 (Rn1 )
i=1
1
n
Y
f n1

=
xi 1
i=1
L (Rn )
Por lo tanto,
kf k
L n1 (Rn )
1
n
Y
f n

xi 1
i=1
kf kL1 (Rn )
L (Rn )
n 30.3. El caso 1 < p < n tambien se puede deducir del caso p = 1.

Observacio
(30.53)
30. CLASE 30
141
Demostraci
on. Si t 1 aplicamos la primer desigualdad de (30.53) a |f |t1 f y tenemos que

t1
t1 f

xi (|f | f ) tf
xi .
Entonces,
n
kf kt t n1
L
1
1
1

n
n
n
Y
Y
Y
t1
f n
t1 f n
f n
t1
n

= tkf kLp0 (t1)
t
kf kLp0 (t1)
xi p
|f | xi 1 t
xi p
L
i=1
n
t n1
y eligiendo t tal que
i=1
np
np
i=1
se obtiene (despejando) que

1

n
Y
f n

C
xi p Ckf kLp .
kf kLp
i=1
Teorema 30.4. Si f W 1,p (Rn ) y p > n, entonces f C
1,1 n
p
1 n
p
|f (x) f (y)| C|x y|

Demostraci
on. Sea C0 ,
cuando t 0.
= 1 y t (x) =
1
x
tn ( t ).
, es decir
Sabemos que entonces f t f
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
p
|(ii)| = |F (x, t) F (y, t)| kx F k |x y| Ct

donde en la u
ltima desigualdad usamos que

F
f
f

xj (x, t) = xj t (x) xj
Lp
kf kLp
(30.54)
kt kLp0
y que
0
p
kt kL
=
p0
|t |p dx =
Z n
1 x p0
t
p0 n(1p0 )
p0
dx
=
|(y)|
dy
=
kk
t
,

0
0
Lp0
t
tnp
tnp
n
p
de donde se sigue que kt kLp0 = Ct
.
1 n
p
Tomando t = |x y|, por (30.54) tenemos entonces que |(ii)| C|x y|
kf kLp .
Nos falta acotar (i) y (iii) (que son claramente analogos). Para esto vamos a usar un truco que
se debe a Calder
on, y que consiste en observar que
n
X ((xj )t )
t
=
t
xj
j=1
142
y, por lo tanto,
30. CLASE 30
j=1
j=1
X
((xj )t ) X f
F
=
(xj )t
=
f
t
xj
xj
n
p kf k p , y entonces
por lo que repitiendo el argumento anterior obtenemos que | F
L
t (x, s)| Cs
Z t

Z t

F
n
|(i)| = |f (x) (f t )(x)| =
s p ds = C|x y|1np kf kLp .
(x, s) dx Ckf kLp
0 t
0

Apuntes de ANalisis Armonico Drelichman y Duran PDF

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Apuntes de ANalisis Armonico Drelichman y Duran PDF

Cargado por

Copyright:

Formatos disponibles

APUNTES DE ANALISIS

Irene Drelichman y Ricardo G. Duran

Captulo 10. Clase 10

Captulo 11. Clase 11

Captulo 12. Clase 12

Captulo 13. Clase 13

Captulo 14. Clase 14

Captulo 15. Clase 15

Captulo 16. Clase 16

Captulo 17. Clase 17

Captulo 18. Clase 18

Captulo 19. Clase 19

Captulo 20. Clase 20

Captulo 21. Clase 21

Captulo 22. Clase 22

Captulo 23. Clase 23

Captulo 24. Clase 24

Captulo 25. Clase 25

Captulo 26. Clase 26

Captulo 27. Clase 27

Captulo 28. Clase 28

Captulo 29. Clase 29

Algunas nociones hist

(an cos(nx) + bn sin(nx))

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

Buscamos soluciones de la ecuaci

4. DESARROLLO EN SERIES DE FOURIER

e imponemos las condiciones iniciales

Desarrollo en series de Fourier

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

Mas en general, dada una funci

y, razonando como antes,

n 1.2. Es frecuente el uso de la notaci

4. DESARROLLO EN SERIES DE FOURIER

n 1.3. Si f toma valores reales, podemos pasar de la forma exponencial a la trigoObservacio

(x, t) (0, ) (0, T )

que cumple con la condici

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

n 2.3. Si R g(x) dx = 1, la convoluci

y probaremos que se pueden representar como una convolucion.

que es una convoluci

Por la cuenta anterior, vale entonces que

n 2.5. Una propiedad que usaremos es que

Para el caso general basta usar un argumento de densidad.

on acotada, para aplicar el lema de Riemann-Lebesgue basta ver que

n 2.9. Siguiendo la misma demostraci

Otros tipos de convergencia

3. OTROS TIPOS DE CONVERGENCIA

n 2.11. Si una sucesi

Convergencia Cesaro y Abel de series de Fourier

Dada f L1 ([, ]) extendida peri

y definimos las sumas parciales simetricas

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

Veremos que si f es continua y peri

1 sin2 (( N 2+1 )t)

entonces vale que

hN (t) dt 0 cuando N , para todo > 0.

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

1. CONVERGENCIA CESARO Y ABEL DE SERIES DE FOURIER

si N es suficientemente grande (por 1 y 3)

Como caso particular, tenemos el siguiente

Para ver que vale la condici