General Theory of D 029816 MBP

Universidad de Barcelona
Facultad de Matemáticas
Departamento de Matemática Aplicada y Análisis
Integrales Singulares en el Análisis Armónico

Memoria, presentada para optar el Tı́tulo del Programa oficial de postgrado:
Matemática Avanzada y Profesional.
Dirigida por Javier Soria de Diego
Elona Agora
Septiembre de 2007
2
Índice general
Introducción 5
Notación 7
1. Preliminares 9
1.1. Los espacios de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2. Los espacios de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3. La clase de Schwarz . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2. Elementos de Análisis de Fourier 17

2.1. Series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2. Núcleos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.3. Resultados locales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.4. Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.4.1. Convergencia puntual . . . . . . . . . . . . . . . . . . . . . . . 25
2.4.2. Convergencia en norma . . . . . . . . . . . . . . . . . . . . . . 30
2.4.3. Convergencia en casi todo punto . . . . . . . . . . . . . . . . . 31
2.5. Métodos de sumabildad . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.6. Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . 33
3. La función maximal de Hardy-Littlewood 39

3.1. Introducción a la función maximal de Hardy-Littlewood . . . . . . . . 39
3.2. Acotación de la función maximal . . . . . . . . . . . . . . . . . . . . 41
3.3. Aproximaciones de la identidad . . . . . . . . . . . . . . . . . . . . . 43
3.4. El operador maximal diádico . . . . . . . . . . . . . . . . . . . . . . . 49
3.4.1. Los cubos diádicos . . . . . . . . . . . . . . . . . . . . . . . . 49
3
4 Introducción
3.4.2. Descomposición de Calderón-Zygmund . . . . . . . . . . . . . 51
4. La transformada de Hilbert 55
4.1. Valor principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
4.2. Introducción a la transformada de Hilbert . . . . . . . . . . . . . . . 56
4.2.1. El núcleo de Poisson conjugado . . . . . . . . . . . . . . . . . 56
4.2.2. Caracterizaciones de la transformada de Hilbert . . . . . . . . 58
4.3. Integrales truncadas y convergencia puntual . . . . . . . . . . . . . . 62
5. Integrales singulares 69
5.1. Introducción a las integrales singulares . . . . . . . . . . . . . . . . . 69
5.2. Un caso particular de integrales singulares . . . . . . . . . . . . . . . 71
5.3. Método de Rotaciones . . . . . . . . . . . . . . . . . . . . . . . . . . 76
5.4. Transformadas de Riesz . . . . . . . . . . . . . . . . . . . . . . . . . 79
5.5. Integrales singulares con núcleo par . . . . . . . . . . . . . . . . . . . 80
5.6. El Teorema de Calderón-Zygmund . . . . . . . . . . . . . . . . . . . . 84
5.7. Operadores de Calderón-Zygmund generalizados . . . . . . . . . . . . 90
6. El espacio de Hardy H 1 y su dual BM O 95

6.1. Introducción a los espacios H 1 y BM O . . . . . . . . . . . . . . . . . 95
Bibliografı́a 103
Introducción
El objetivo de este trabajo será el estudio de las integrales singulares desde el punto
de vista de variable real.
La transformada de Hilbert,
Z
1 f (x − y)
Hf (x) = v.p. dy
π R y
es la integral singular más sencilla. Acotar dicha transformada, es un problema que

fue resuelto por F. Riesz y Kolmogorov, usando métodos de Análisis Complejo. A con-
tinuación, Besicovitch, Titchmarsh y Marcinkiewicz resolvieron de nuevo este proble-
ma, introduciendo esta vez métodos de variable real. En 1930, A.P. Zygmund se
preocupó de extender la transformada de Hilbert en Rn . Más adelante, junto con A.
Calderón, definieron las integrales singulares dadas por convolución,
Z
T f (x) = v.p. K(y)f (x − y)dy,
Rn
donde K cumple ciertas propiedades. A partir de este momento la extensión de la

transformada de Hilbert será un caso especial del problema de la acotación de las
integrales singulares. Al mismo tiempo, algunos problemas de ecuaciones diferenciales
en derivadas parciales (véase [C-Z]) requieren un estudio de la acotación de ciertos
operadores que tienen propiedades en común con la transformada de Hilbert en el
caso n-dimensional.
De los trabajos de Calderón y Zygmund surgieron resultados muy interesantes
que a continuación veremos.
El trabajo consiste en seis capı́tulos.
En el primer capı́tulo se recordarán conceptos básicos de los espacios donde vamos
a trabajar (espacios de Lebesgue, espacios de Lorentz, clase de Schwarz). Además
5
6 Introducción
se demuestra el Teorema de Interpolación de Marcinkiewicz, muy útil para nuestro

trabajo.
El segundo capı́tulo consiste en presentar los resultados más importantes para
este trabajo, de Análisis de Fourier.
En el tercer capı́tulo se estudia la función maximal de Hardy-Littlewood, una
herramienta imprescindible en el estudio de las integrales singulares. Se estudian las
desigualdades (p, p)-fuertes del dicho operador y la (1,1)-débil.
En el cuarto capı́tulo se estudia el caso particular de las integrales singulares, la
ya mencionada transformada de Hilbert. Se estudian los Teoremas de Kolmogorov y
Riesz, de donde se deducen respectivamente, las desigualdades (1, 1)-débil y (p, p)-
fuerte, con 1 < p < ∞.
El quinto capı́tulo se dedica al estudio de las integrales singulares, concentrando
resultados obtenidos por todas las herramientas que se han estudiado hasta aho-
ra en este trabajo. Se estudiarán detalladamente las integrales singulares dadas por
convolución. El resultado más importante que se demuestra es el Teorema de Cal-
derón-Zygmund, usando la descomposición de Calderón-Zygmund. A continuación se
definen y se caracterizan los operadores de Calderón-Zygmund generalizados que no
vienen dados por convolución.
A lo largo de este trabajo veremos que las integrales singulares no se pueden
definir de L1 a L1 , por lo que en el último capı́tulo, esta propiedad se sustituye por la
acotación de las integrales singulares de un nuevo espacio, subespacio de L1 , definido
como espacio de Hardy, H 1 , a L1 . Además, la acotación de L∞ a L∞ de las integrales
singulares se sustituye por la acotación de ellas, de L∞ a BM O que es el espacio dual
de H 1 .
Notación
A lo largo de este trabajo la notación usada será la estándar, R denotará la recta real,
Rn el espacio vectorial n-dimensional y C el plano complejo. La medida de Lebesgue
en Rn será dx y en la esfera S n−1 ⊂ Rn será dσ.
Todos los espacios de medida se considerarán “sigma”-finitos.
Si α = (x1 , . . . , xn ) ∈ Nn es un multiı́ndice y f : Rn → C, se denotará
α ∂ |α| f
D f=
∂xα1 1 . . . ∂xαnn
el operador de la α−ésima derivada con |α| = α1 + · · · + αn y xα = xα1 1 . . . xαnn .
Sea 1 ≤ p ≤ ∞, entonces p′ representará el exponente conjugado de p; es decir,
1 1
p
+ p′
= 1.
Para un dominio Ω ⊂ Rn , L1loc (Ω) denotará el espacio vectorial de todas las funcio-
nes localmente integrables, o sea integrables en todo compacto de Ω. Se denotará C(Ω)
el espacio vectorial de todas las funciones continuas definidas sobre Ω. Además C m (Ω)
denotará el espacio vectorial de todas las funciones m-derivables con m − 1 derivadas
continuas. El subespacio Ccm (Ω) de C m (Ω) contiene todas las funciones de este último
que además tienen soporte compacto. En el caso que m = 0, C 0 (Ω) = C(Ω) y en el
caso que m = ∞, C ∞ (Ω) denotará el espacio de las funciones infinitamente derivables.
Siendo Y un espacio localmente convexo de Hausdorff, C0 (Y ) denotará el espacio
vectorial de todas las funciones continuas que se anulan en el infinito.
P a
Sea P (x) = a ca x un polinomio en n variables con coeficientes constantes,
entonces P (D) denotará el polinomio diferenical asociado; es decir, el operador
X
P (D)f = ca Da f.
a
Sea E un conjunto de elementos, se denotará χE (t) la función caracterı́stica que

vale 1 si t ∈ E y 0 fuera del conjunto E.
7
8 Notación
La expresión “en casi todo punto”, brevemente “c.t.p.” se refiere a propiedades

que se cumplen salvo en un conjunto de medida nula.
Las letras C, c denotarán constantes que varı́an en cada uso, incluso en el mismo
teorema. Si están acompañadas por otra letra, por ejemplo Cp , cp , denotarán una
constante que depende del parámetro p.
Capı́tulo 1
Preliminares
1.1. Los espacios de Lebesgue
DEFINICIÓN 1.1.1. Sea X un espacio de medida con una medida positiva µ. Para
todo número real p positivo y finito se define el espacio de funciones medibles de
potencia p-ésima integrable como
Z
p p p
L (X, µ) = f : X → C : f es medible y kf kp = |f (x)| dµ(x) < ∞ .
X
Cuando p = ∞, el espacio L∞ (X, µ) lo forman las funciones esencialmente acotadas

es decir, las funciones que son acotadas en casi todo X.
Tal como es definida, k · kp no es una norma. Consideramos un nuevo espacio

como resultado del espacio cociente entre Lp (X, µ) y el conjunto de funciones que
coinciden con la función nula salvo en un conjunto de medida cero. Denotaremos al
nuevo espacio, cuyos elementos son clases de funciones, por Lp (X, µ) o simplemente
Lp . Sobre este nuevo espacio se demuestra, utilizando la desigualdad de Minkowski,
que k · kp es una norma. Además por cumplir la propiedad de la completitud, los
espacios Lp “se convierten” en lo que se les llama espacios de Banach. Cuando p = 2
se obtiene el espacio de Hilbert cuya norma se define por un producto escalar.
Los espacios de Banach son muy importantes ya que en ellos se pueden extender
propiedades de los espacios ordinarios Euclı́deos, que dependen de la distancia. Más
aún, en los espacios de Hilbert se pueden extender propiedades geométricas, que
dependen del concepto de “ángulo”.
9
10 Preliminares
Veamos algunas propiedades y resultados básicos de los espacios de Lebesgue que

usaremos a menudo a lo largo del trabajo:
Una función f ∈ Lp se puede descomponer como f = f0 + f1 , donde f0 ∈ L1 y
f1 ∈ L∞ . En efecto, podemos considerar f0 = f χ{x:|f (x)|>1} y f1 = f χ{x:|f (x)|≤1} .
Más aún, toda f ∈ Lp se puede descomponer como f = f0 + f1 , donde f0 ∈ Lp0 y
f1 ∈ Lp1 , para todo p entre p0 y p1 . Efectivamente, basta considerar
f0 = f χ{x:|f (x)|>c} ∈ Lp0 ,

f1 = f χ{x:|f (x)|≤c} ∈ Lp1 .
OBSERVACIÓN 1.1.2. Sea T la circunferencia unidad S 1 . Si f ∈ Lp (T) se puede

definir una función periódica F de perı́odo 2π, en la recta real de manera que
F (x) = f (eix ).
Por lo tanto, cuando hablemos de funciones periódicas sobre la recta real, basta
considerarlas definidas sobre T.
TEOREMA 1.1.3. Desigualdad integral de Minkowski. Sean (X, µ), (Y, λ) espacios
de medida. Entonces se tiene
Z Z p 1/p Z Z 1/p

f (x, y)dλ(y) dµ(x) ≤ p
|f (x, y)| dµ(x) dλ(y),

X Y Y X
donde f es una función medible en X × Y y 1 ≤ p < ∞.
TEOREMA 1.1.4. Teorema de Convergencia Dominada de Lebesgue.

Sea {fn } una sucesión de funciones, fn ∈ L1 (T), tal que
fn (x) → f (x) c.t.p. de T,
para alguna f medible. Si existe g ∈ L1 (T), tal que, para todo n
|fn (x)| ≤ g(x) c.t.p. de T,
entonces,
f ∈ L1 (T), lı́m ||fn − f ||1 = 0
n→∞
y Z Z
f (x)dx = lı́m fn (x)dx.
T n→∞ T
Demostración. Véase [Ru1].
Los espacios de Lorentz 11
1.2. Los espacios de Lorentz

En teoremas como es el teorema de interpolación de Marcinkiewicz que demostra-
remos más adelante, la acotación de operadores definidos sobre los espacios Lp se
obtiene si ciertas desigualdades se cumplen. A lo largo de esta sección veremos cómo
a partir de los espacios Lp llegamos de manera natural a la definición de los espa-
cios de Lorentz Lp,q , de donde surge la definición de las desigualdades mencionadas,
llamadas desigualdades débiles.
DEFINICIÓN 1.2.1. Sea (X, µ) un espacio de medida y f : X → C una función

medible. Se llama función de distribución de f asociada a µ a la función µf : (0, ∞) →
[0, ∞) dada por
µf (λ) := µ({x ∈ X : |f (x)| > λ}).
PROPOSICIÓN 1.2.2. Sea φ : [0, ∞) → [0, ∞) derivable y creciente con φ(0) = 0.

Entonces Z Z ∞
φ(f (x))dµ = φ′ (λ)µf (λ)dλ.
X 0
Demostración. Observamos que por la hipótesis φ(0) = 0 se tiene que

Z Z Z !
|f (x)|
φ(f (x))dµ = φ′ (λ)dλ dµ.
X X 0
Por lo tanto,
Z Z Z !
|f (x)|
φ(f (x))dµ = φ′ (λ)dλ dµ
X X 0
Z Z ∞
′
= χ(0,|f (x)|) (λ)φ (λ)dλ dµ
ZX∞ 0
Z
′
= φ (λ) χ(0,|f (x)|) (λ)dµ dλ
0 X
Z ∞ Z
′
= φ (λ) χ{x:|f (x)|>λ} (λ)dµ dλ
0 X
Z ∞
= φ′ (λ)µf (λ)dλ,
0
donde hemos utilizado el teorema de Fubini y la definición anterior.

12 Preliminares
OBSERVACIÓN 1.2.3. Si φ(λ) = λp se tiene

Z ∞
p
||f ||p = p λp−1 µf (λ)dλ.
0
DEFINICIÓN 1.2.4. Se define el espacio de Lorentz Lp,q como

( Z ∞ 1/q )
p,q 1/p q dλ
L (X, µ) = f : X → C, f es medible y kf kp,q = (λµf (λ)) <∞ ,
0 λ
donde 1 ≤ p < ∞ y 1 ≤ q < ∞. Cuando q = ∞, el espacio Lp,∞ (X, µ) es el espacio

dado por

p,∞ 1/p
L (X, µ) = f : X → C, f es medible y kf kp,∞ = sup λµf (λ) <∞ .
X
OBSERVACIÓN 1.2.5. Observamos que en el caso p = q se recupera el espacio Lp .
OBSERVACIÓN 1.2.6. Los espacios Lp,q no siempre son espacios de Banach, porque
puede que kf kp,q no cumpla la desigualdad triangular. Esto depende de los valores
que toman los p y q. Efectivamente, si q ≤ p, entonces kf kp,q es una norma, si
1 < p < q ≤ ∞, kf kp,q es equivalente a una norma y si 1 = p < q ≤ ∞, los espacios
Lp,q no son espacios de Banach. Para más detalles véase [S-W].
DEFINICIÓN 1.2.7. Sea T un operador del espacio Lp (X) al espacio Lq,∞ (Y ), donde
X y Y son espacios de medida. La desigualdad (p, q)-débil se define como
||T f ||q,∞ ≤ C||f ||p ,
donde 1 ≤ p < ∞, q < ∞. En el caso que q = ∞ la desigualdad anterior se define

como
||T f ||∞ ≤ C||f ||p .
OBSERVACIÓN 1.2.8. La acotación de un operador T : Lp → Lq para todo p, q

positivo o infinito es decir, la desigualdad
||T f ||q ≤ C||f ||p
se suele llamar desigualdad (p, q)-fuerte.

Los espacios de Lorentz 13
OBSERVACIÓN 1.2.9. En el caso que el espacio de medida Y es Rn , con su medida

usual, la desigualdad (p, q)-débil se escribe como
q
C||f ||p
|{x : |T f (x)| > λ}| ≤ .
λ
DEFINICIÓN 1.2.10. Un operador T de un espacio vectorial A de funciones medibles
en funciones medibles se llama sublineal si
|T (f + g)| ≤ |T f | + |T g|,
|T (λf )| = |λ||T f |,
para todo λ ∈ C y f, g ∈ A.
A continuación demostramos el Teorema de Interpolación de Marcinkiewicz que

será un resultado muy útil para nuestro trabajo.
TEOREMA 1.2.11. Sean 1 ≤ p0 < p1 ≤ ∞ y T un operador sublineal definido

en Lp0 + Lp1 , que es (p0 , p0 )-débil y (p1 , p1 )-débil. Entonces, T es (p, p)-fuerte para
p 0 cλ} ∈ Lp0 y f1 = f χ{x:|f (x)|≤cλ} ∈ Lp1 , para 1 ≤ p0 < p1 ≤ ∞ y
λ > 0. Por ser T sublineal se tiene
|T f (x)| ≤ |T f0 (x)| + |T f1 (x)|, (1.1)
de donde se obtiene
λ λ
µT f (λ) ≤ µT f0 + µT f1 . (1.2)
2 2
Consideramos los dos siguientes casos;
Primer caso: Sea p1 = ∞. Por la hipótesis se tiene
||T f ||∞ ≤ c1 ||f ||∞ .
Escogiendo la constante de manera que c = 2c11 se obtiene

λ λ
µ T f1 =µ x : |T f1 (x)| >
2 2

λ
=µ x : |T f{x:|f (x)|≤cλ} (x)| >
2

λ
=µ x : |T f{x:|f (x)|≤ λ } (x)| > = 0.
2c1 2
14 Preliminares
Utilizando la desigualdad (p0 , p0 )-débil se tiene

p0
λ 2c0
µT f0 ≤ ||f0 ||p0 .
2 λ
Por tanto y al expresar la norma || · ||p como
Z ∞
p
kT f kp = p λp−1 µT f (λ)dλ,
0
se obtiene
Z ∞
kT f kpp =p λp−1 µT f (λ)dλ
0
Z ∞ p0
p−1 2c0
≤p λ ||f0 ||p0 dλ
0 λ
Z ∞ Z
p0 p−1−p0
= p(2c0 ) λ χ{x:|f (x)|>cλ} |f (x)|p0 dµdλ
Z0 Xp−p0 |f (x)|
λ
= p(2c0 )p0 |f (x)|p0 |0 c dµ
X p − p 0
Z
p(2c0 )p0 cp−p0
= |f (x)|p dµ = c||f ||pp ,
p − p0 X
donde hemos utilizado el Teorema de Fubini. Por lo que queda demostrada la acota-
ción (p, p)-fuerte del operador T cuando p1 = ∞.
Segundo caso: Sea p1 < ∞. Utilizando la sublinealidad del operador T , y las
desigualdades (p0 , p0 )-débil y (p1 , p1 )-débil es decir,
p0
λ 2c0
µT f0 ≤ ||f0 ||p0 ,
2 λ
p1
λ 2c1
µ T f1 ≤ ||f1 ||p1
2 λ
respectivamente, se tiene
Z ∞
p
kT f kp = p λp−1 µT f (λ)dλ
Z0 ∞ Z ∞
p−1
≤p λ µT f0 (λ)dλ + p λp−1 µT f1 (λ)dλ.
0 0
De aquı́, actuando para cada sumando de manera análoga al primer caso obtenemos

p(2c0 )p0 p(2c1 )p1
kT f kpp ≤ + ||f ||pp = c||f ||pp ,
(p − p0 )cp−p0 (p − p1 )cp−p1
es decir, hemos demostrado la desigualdad (p, p)-fuerte.
La clase de Schwarz 15
1.3. La clase de Schwarz

Antes de definir formalmente la clase de Schwarz y el espacio de las distribuciones
temperadas damos una idea de la necesidad de introducir estas definiciones. En el
capı́tulo siguiente definimos la transformada de Fourier, un operador definido sobre
los espacios Lp (Rn ). Veremos que solamente para p ≤ 2 lo que obtenemos es una
función localmente integrable. Por lo tanto, y por propiedades de este operador que
estudiaremos en el próximo capı́tulo, definimos la clase de Schwarz, un espacio “muy
pequeño”, denso en todos los Lp , 1 ≤ p < ∞. En este espacio consideramos una topo-
logı́a débil que haga que su espacio dual, el espacio de las distribuciones temperadas
sea “muy grande” y contenga a todos los espacios Lp (Rn ).
DEFINICIÓN 1.3.1. Se define la clase de Schwarz como el espacio vectorial complejo
S(Rn ) := {φ ∈ C ∞ : qN (φ) < ∞},
donde qN (φ) := supx∈Rn ;|α|≤N (1 + |x|2 )N |Dα φ(x)|.

OBSERVACIÓN 1.3.2. Una función φ ∈ C ∞ (Rn ) es de S(Rn ) si y sólo si las funciones
P (x)Q(D)φ(x) son acotadas, donde P y Q son polinomios arbitrarios de n variables.
La topologı́a de S(Rn ) se define por la sucesión de normas q0 ≤ q1 ≤ q2 ≤ . . . y
la convergencia φk → φ en S es la convergencia uniforme de las sucesiones
P Q(D)φk → P Q(D)φ.
TEOREMA 1.3.3. La clase de Schwarz es un espacio de Frechet, denso en los espa-

cios Lp , para todo 0 < p ≤ ∞.
DEFINICIÓN 1.3.4. El espacio de los funcionales lineales continuos sobre S es decir,
su espacio dual se llama espacio de distribuciones temperadas y se denotará S ′ . Una
aplicación lineal T : S → C está en S ′ si lı́mk→∞ T (φk ) = 0, siempre que lı́mk→∞ φk =
0 en S.
Ejemplo: Una función f ∈ L1loc (Rn ) es una función temperada, es decir es una
distribución temperada que además es función, si existe N tal que (1 + |x|2 )−N f (x)
sea integrable.
En este trabajo, los términos “distribución” y “distribución temperada” serán
equivalentes.
16 Preliminares
Capı́tulo 2
Elementos de Análisis de Fourier
A lo largo de este capı́tulo se presentarán los resultados básicos de Análisis de Fourier.

Se definen la serie de una función periódica y la transformada de Fourier definida en
Rn . El problema consiste en estudiar si se puede recuperar la función a partir de su
serie o su transformada de Fourier.
2.1. Series de Fourier

La idea básica de las series de Fourier es que toda función periódica puede ser expre-
sada por una suma trigonométrica de senos y cosenos del mismo perı́odo; es decir,
∞
X
f (x) = (ak cos kx + bk sin kx). (2.1)
k=0
Los ak , bk , son coeficientes que determinan (2.1) y dependiendo de la expresión que

puedan tener, la suma trigonométrica se convierte en serie de Fourier, como veremos
a continuación. El problema aparece naturalmente en astronomı́a; de hecho Neughe-
bauer (1952) descubrió que los Babilonios utilizaron una forma primitiva de las series
de Fourier en la predicción de ciertos eventos celestiales. A mediados del siglo XVIII
las series de Fourier aparecen de nuevo en el trabajo de Daniel Bernoulli quien, por
el método de separación de variables, resolvió formalmente el problema de la cuerda
vibrante. Posteriormente, las series de Fourier recibieron su nombre en honor a Jo-
seph Fourier, quien hizo uso sistemático de éstas en su obra “Théorie Analytique de
17
18 Elementos de Análisis de Fourier
Chaleur” que se publicó en 1822. Euler estableció la fórmula:
eiθ = cos θ + i sen θ, (2.2)
donde 0 ≤ θ ≤ 2π, convirtiéndose la relación (2.1) en

∞
X
f (x) = ck eikx . (2.3)
k=−∞
1
R 2π
Cuando ck = 2π
f (x)e−ikx dx, la expresión (2.3) se denomina serie de Fourier de f
0
y los coeficientes ck se denotarán fˆ(k) y se llamarán coeficientes de Fourier. Se tiene
entonces
∞
X
f (x) = fˆ(k)e2πikx , (2.4)
−∞
donde, por comodidad, hemos tomado funciones de perı́odo 1 en vez de 2π y fˆ(k) =

R1
0
f (x)e−2πikx dx .
R1
OBSERVACIÓN 2.1.1. La expresión ck = 0
f (x)e−2πikx dx se obtiene en el caso
que la serie (2.3) converja uniformemente, multiplicando por e−2πimx e integrando
término a término en (0, 1), donde usamos la propiedad de la ortogonalidad del sis-
tema {e2πikx , k ∈ Z}:
Z (
1
1, si k = m;
e2πikx e−2πimx dx =
0 0, si k 6= m.
DEFINICIÓN 2.1.2. Se define la N -ésima suma parcial de la serie (2.4) como

N
X
SN f (x) = fˆ(k)e2πikx .
k=−N
Nuestro problema, poder recuperar la función f a partir de su serie de Fourier,

se convierte en estudiar si SN f “converge” a f cuando N tiende a ∞. Veamos que el
término “converge” puede significar varias cosas:
1. Una manera de plantear el problema es estudiar si lı́mN →∞ SN f (x) = f (x) para

todo x ∈ T; es decir, estudiar las condiciones que hay que imponer a la función
f para obtener la convergencia puntual.
Núcleos 19
2. Estudiar la convergencia en norma; es decir, estudiar si lı́mN →∞ ||SN f −f ||p = 0,

para toda f ∈ Lp (T).
3. Estudiar la convergencia en “casi todo punto”; es decir, estudiar si para f ∈

Lp (T), lı́mN →∞ SN f (x) = f (x) para todo x ∈ T, salvo en un conjunto de
medida cero.
2.2. Núcleos
Los núcleos que a continuación definiremos, son una herramienta básica de Análisis
de Fourier. Antes de tratarlos en profundidad, haremos una presentación técnica vien-
do algunas propiedades para poder familiarizarnos con ellos. En próximas secciones
haremos la conexión entre los núcleos y problemas de convergencia de Análisis de
Fourier.
DEFINICIÓN 2.2.1. Dadas dos funciones f, g definidas en T la convolución de éstas,

denotada por f ∗ g, es la función definida en casi todo punto:
Z 1
f ∗ g(x) = f (t)g(x − t)dt,
0
donde x, t ∈ T.
Daremos un resultado cuya demostración se encuentra en [Ka].
TEOREMA 2.2.2. Sean f, g ∈ L1 (T). Entonces para casi todo x ∈ T, f (t)g(x − t)

es integrable y la convolución f ∗ g ∈ L1 (T). Además se tiene
||f ∗ g||1 ≤ ||f ||1 ||g||1 .
OBSERVACIÓN 2.2.3. Haciendo un cambio de variables se puede ver que la convo-

lución es conmutativa, asociativa y distributiva respecto de la suma.
DEFINICIÓN 2.2.4. Se define el núcleo de Dirichlet como

N
X
DN (t) = e2πikt .
k=−N
Es facil probar que

sin π(2N + 1)t
DN (t) = . (2.5)
sin πt
Efectivamente, se tiene que
N
X N
X N
X
2πikt −2πikt
DN (t) = e = e + e2πikt
k=−N k=1 k=0
−2πiN t 2πi(N +1)t
1−e 1−e e2πi(N +1)t − e−2πiN t
= e−2πit + =
1 − e−2πit 1 − e2πit e2πit − 1
πi(2N +1)t −πi(2N +1)t
e −e sin π(2N + 1)t
= eiπt iπt iπt −iπt
= .
e (e − e ) sin πt
De aquı́ se obtiene:
1 1
|DN (t)| ≤ , si δ ≤ |t| ≤ . (2.6)
sin πδ 2
Además, por la ortogonalidad de {e2kπi , k ∈ Z} se tiene
Z 1
DN (t) = 1. (2.7)
0
Otra propiedad de núcleo de Dirichlet es
|DN (0)| = 1 + · · · + 1 = 2N + 1 → ∞, cuando N → ∞. (2.8)
Podemos escribir la N -ésima suma parcial de una función f , a partir del núcleo de
Dirichlet, de siguiente modo:
N Z
X 1 Z 1
−2πikt 2πikx
SN f (x) = f (t)e e dt = f (t)DN (x − t)dt
0 0
k=−N
Z (2.9)
1
= f (x − t)DN (t)dt = DN ∗ f (x).
0
OBSERVACIÓN 2.2.5. Históricamente DN ∗f es la primera convolución del Análisis.
DEFINICIÓN 2.2.6. Se define el núcleo de Fejér como

N
1 X
FN (t) = Dk (t).
N + 1 k=0
Núcleos 21
Se demuestra que:
2
1 sin π(N + 1)t
FN (t) = . (2.10)
N +1 sin πt
Efectivamente, por definición del núcleo de Fejér se tiene
N
1 X
FN (t) = Dn (t)
N + 1 n=0
N
1 X sin π(2n + 1)t
= .
N + 1 n=0 sin πt
Utilizando relaciones trigonométricas se obtiene:
N
X
2(N + 1) sin2 πtFN (t) = 2 sin π(2n + 1)t sin πt = 1 − cos 2πN t
n=0
2πN t
= 2 sin2 = 2 sin2 πN t.
2
Por lo tanto, 2
1 sin π(N + 1)t
FN (t) = .
N +1 sin πt
Además, Z Z
1 1
||FN (t)||1 = |FN (t)|dt = FN (t)dt = 1, (2.11)
0 0
y Z
lı́m |FN (t)|dt = 0, si δ > 0. (2.12)
N →∞ δ<|t|< 12
DEFINICIÓN 2.2.7. Se definen las medias aritméticas de las sumas parciales como
N
1 X
σN f (x) = Sk f (x).
N + 1 k=0
Podemos ver las medias aritméticas de las sumas paciales, como la convolución
del núcleo de Fejér con la función f , es decir,
N
1 X
σN f (x) = Sk f (x)
N + 1 k=0
Z 1 N
1 X
= f (t) Dk (x − t)dt
0 N + 1 k=0
Z 1
= f (t)FN (x − t)dt = FN ∗ f (x).
0
Definimos ahora el núcleo de Poisson.
DEFINICIÓN 2.2.8. Se define el núcleo de Poisson como

+∞
X
Pr (t) = r|k| e2πikt .
k=−∞
Se puede ver que

1 − r2
Pr (t) = . (2.13)
1 − 2r cos 2πt + r2
e−ix +eix
En efecto, sea z = re2πit . Utilizando la fórmula cos x = 2
obtenemos
∞
X ∞
X
Pr (t) = r|k| e2πikt = 1 + 2 rk cos 2πkt
k=−∞ k=1
∞
!
X
k
=ℜ 1+2 r (cos 2πkt + i sin 2πkt)
k=1
∞
!
X 1+z 1 − r2
k
=ℜ 1+2 z =ℜ = .
k=1
1−z 1 − 2r cos 2πt + r2
Como en el caso del núcleo de Fejér, el núcleo de Poisson es positivo,

Z 1
Pr (t)dt = 1, (2.14)
0
y Z
lı́m Pr (t)dt = 0. (2.15)
r→1 δ<|t|< 12
El núcleo de Poisson tiene propiedades análogas a las del núcleo de Fejér. Esto
conduce a la siguiente definición:
DEFINICIÓN 2.2.9. Se define como núcleo de sumabilidad, una sucesı́ón {kn } de

funciones continuas, periódicas, tal que
R1
1. 0
kn (t)dt = 1;
R1
2. 0
|kn (t)|dt ≤ c;
R
3. lı́mn→∞ δ<|t|< 12
|kn (t)|dt = 0, para todo δ > 0.
Resultados locales 23
2.3. Resultados locales

En esta sección daremos dos resultados importantes: el Lema de Riemann-Lebesgue
y el Principio de Localización de Riemann.
LEMA 2.3.1. Lema de Riemann-Lebesgue. Sea f ∈ L1 (T). Se tiene
lı́m fˆ(k) = 0.
|k|→∞
Demostración. Los coeficientes de Fourier de una funcion f ∈ L1 (T) haciendo un

cambio de variables se convierten en
Z 1 Z 1
ˆ
f (k) = f (x)e −2πikx
dx = f (x)e−2πik(x+1/(2k)) eiπ dx
0 0
Z 1 Z 1
−2πik(x+1/(2k)) 1
=− f (x)e dx = − f x− e−2πikx dx.
0 0 2k
De aquı́, por cálculos elementales se obtiene

Z 1
ˆ 1 −2πikx
f (k) = [f (x) − f (x − 1/2k)] e dx .
2 0
En el caso que f es continua, evidentemente se obtiene
lı́m fˆ(k) = 0.
k→∞
Sea ahora f ∈ L1 (T) cualquiera. Dado ǫ > 0 escogemos g una función continua tal
que ||f − g||1 ≤ ε/2 y |k| suficientemente grande, de manera que |ĝ(k)| < ε/2. Se
tiene entonces
ε ε
|fˆ(k)| ≤ |(f\
− g)(k)| + |ĝ(k)| ≤ ||f − g||1 + |ĝ(k)| ≤ + = ε.
2 2
TEOREMA 2.3.2. Principio de Localización de Riemann.

Sea f una función que coincide con la función nula en casi todo punto de un
entorno I de x. Entonces,
lı́m SN f (x) = 0.
N →∞
Como consequencia, se tiene que lı́mN →∞ SN f (y) = 0 para toda y ∈ I.

Demostración. Sea f ≡ 0 en un entorno de x, (x − δ, x + δ), donde δ > 0. Entonces

por la fórmula (2.9) se tiene
Z
SN f (x) = f (x − t)DN (t)dt
δ≤|t|< 21
Z
sin π(2N + 1)t
= f (x − t) dt
δ≤|t|< 21 sin πt
Z
eiπ(2N +1)t − e−iπ(2N +1)t
= f (x − t) dt
δ≤|t|< 12 2i sin πt
Z
1 f (x − t) iπ(2N +1)t
= (e − e−iπ(2N +1)t )dt.
2i δ≤|t|< 12 sin πt
f (x−t)
Consideremos gx (t) = χ 1 (t)
sin πt {δ≤|t| 2 }
∈ L1 . Se tiene entonces
Z Z !
1/2 1/2
1
SN f (x) = gx (t)eiπt e2πiN t dt − gx (t)e−iπt e−2πiN t dt . (2.16)
2i −1/2 −1/2
Por comodidad definimos

hx (t) = gx (t)eiπt ,
por lo que la relación (2.16) se convierte en
1
SN f (x) = (ĥx (N ) + ĥx (−N ))
2i
que tiende a cero cuando N tiende a infinito, por el Lema de Riemann-Lebesgue.
OBSERVACIÓN 2.3.3. En las condiciones del teorema anterior, la convergencia de

la serie de Fourier de la función f es uniforme en todo J ⊂⊂ I.
OBSERVACIÓN 2.3.4. Para f, g dos funiones idénticas en casi todo punto de un

entorno de x, conociendo el lı́mN →∞ SN f (x) concluimos por el teorema anterior
lı́m SN f (x) = lı́m SN g(x).

N →∞ N →∞
OBSERVACIÓN 2.3.5. Observamos que ambos resultados son locales. En realidad,

“SN f (x)” es un concepto global, pues ası́ están definidos los coeficientes de Fourier.
Sin embargo el comportamiento en un punto sólo depende del valor de f en un
entorno.
Convergencia 25
2.4. Convergencia
A lo largo de esta sección estudiamos los tipos de convergencia que comentamos al
principio de este capı́tulo.
2.4.1. Convergencia puntual

Probaremos dos resultados que nos dan condiciones sobre la funcion f para que exista
el lı́mite puntual de SN f (x) y sea igual a f (x), cuando N tiende a infinito. Veremos
detalladamente que la continuidad en general no es una condición suficiente para
obtener la convergencia puntual.
TEOREMA 2.4.1. Criterio de Dini. Si existe δ > 0 tal que

Z
f (x + t) − f (x)
dt < +∞,
t
|t|<δ
entonces lı́mN →∞ SN f (x) = f (x).
Demostración. Veamos que SN f (x) − f (x) tiende a 0 cuando N → ∞. Usando la

propiedad del núcleo de Dirichlet
Z 1/2
DN (x)dx = 1,
−1/2
y la fórmula (2.5) se tiene
SN f (x) − f (x) = DN ∗ f (x) − f (x)

Z 1/2 Z 1/2
= DN (t)f (x − t)dt − f (x) DN (t)dt
−1/2 −1/2
Z 1/2
= DN (t)[f (x − t) − f (x)]dt
−1/2
Z Z
= DN (t)[f (x − t) − f (x)]dt + DN (t)[f (x − t) − f (x)]dt,
|t|<δ δ≤|t|<1/2
(2.17)
donde δ > 0. Ambas integrales tienden a cero por el Lema 2.3.1 (Riemann-Lebesgue).
Para la primera integral se tiene
Z Z 1/2
sin π(2N + 1)t
DN (t)[f (x − t) − f (x)]dt = [f (x − t) − f (x)]χ{|t|<δ} (t)dt
|t|<δ −1/2 sin πt

=c F\x e \
iπt (N ) + F
x eiπt (−N ) ,
f (x−t)−f (x)
donde Fx (t) = sin πt
χ{|t|<δ} (t). Esta integral está bien definida observando que
la función Fx es integrable, ya que sin πt y πt son equivalentes en {t : |t| < δ} y
f (x−t)−f (x)
πt
χ{|t|<δ} (t) es integrable por la hipótesis, por lo que la primera integral se
convierte en un coeficiente de Fourier, que tiende a cero por el Lema 2.3.1 (Riemann-
Lebesgue). Directamente, se puede ver que la última integral de (2.17) es un coe-
ficiente de Fourier que, de nuevo por el Lema 2.3.1 (Riemann-Lebesgue), tiende
hacia cero cuando N tiende a infinito. Por lo tanto, tomando lı́mite se tiene que
lı́mN →∞ SN f (x) = f (x).
OBSERVACIÓN 2.4.2. Si f satisface una condición de tipo Lipshitz
|f (x + t) − f (x)| ≤ c|t|a , tal que a > 0, |t| < δ,
entonces la serie de Fourier de f converge a f por el criterio de Dini.
TEOREMA 2.4.3. Criterio de Jordan. Si f ∈ L1 (T) es una función de variación

acotada en un entorno de x, entonces
1
lı́m SN f (x) = [f (x+) + f (x−)].
N →∞ 2
OBSERVACIÓN 2.4.4. Observamos que se obtiene la convergencia puntual en los
puntos donde f es continua.
Demostración. Utilizando (2.9) y teniendo en cuenta que DN es una función par se

tiene que
Z 1/2
SN f (x) = f ∗ DN (t) = f (x − t)DN (t)dt
−1/2
Z 0 Z 1/2
= f (x − t)DN (t)dt + f (x − t)DN (t)dt
−1/2 0
Z 1/2 Z 1/2
= f (x + t)DN (t)dt + f (x − t)DN (t)dt.
0 0
Por ser f una función de variación acotada se puede escribir como suma de dos
funciones monotonas, por lo que f se tratará como una función monótona. Sean
Z 1/2
AN = f (x + t)DN (t)dt,
0
Z 1/2
BN = f (x − t)DN (t)dt.
0
Convergencia 27
f (x+) f (x−)
Veremos que lı́mN →∞ AN = 2
. Análogamente se prueba que lı́mN →∞ BN = 2
,
por lo que quedará demostrado el Criterio de Jordan. Utilizando (2.7) se tiene que
Z 1/2 Z 1/2
f (x+)
AN − = f (x + t)DN (t)dt − f (x+) DN (t)dt
2 0 0
Z 1/2
= [f (x + t) − f (x+)]DN (t)dt.
0
Sea gx (t) = f (x + t) − f (x+), bastarı́a probar que

Z 1/2
f (x+)
lı́m AN − = gx (t)DN (t)dt = 0.
N →∞ 2 0
Dado ε > 0, escogemos δ > 0 tal que gx (t) < ε. Si 0 < t < δ, podemos escribir
Z 1/2 Z δ Z 1/2
gx (t)DN (t)dt = gx (t)DN (t)dt + gx (t)DN (t)dt. (2.18)
0 0 δ
Para ver que la primera integral de (2.18) es finita, usamos el Teorema del Valor
Medio (véase [Ru1]). La monotonı́a de la función g se obtiene por la de la función f
y sabiendo que DN es continua se tiene: para algún η ∈ (0, δ)
Z δ Z δ Z η
gx (t)DN (t)dt = gx (δ−) gx (t)DN (t)dt + g(0+) gx (t)DN (t)dt.
0 η 0
Considerando gx (0+) = 0, obtenemos

Z δ Z 1/2
Z δ

g (t)D (t)dt = gx (δ−) g (t)D (t)dt ≤ ε D (t)dt.
x N x N
N
0 0 η
Veremos la acotación de la relación anterior utilizando (2.5), por lo que se tiene

Z δ Z δ
1 1 1
DN (t)dt = sin π(2N + 1)t − + dt
sin πt πt πt
η η
Z δ Z δ
1 1 sin π(2N + 1)t
≤ sin π(2N + 1)t −
dt + dt
η sin πt πt η πt
Z δ Z
1 1 δ(2N +1) sin πs

≤ sin πt − πt dt + ds ,
η η(2N +1) πs
donde s = 2N + 1. La primera integral es evidentemente finita, mientras que la

segunda integral es finita, puesto que
Z δ(2N +1)
sin πs π
lı́m ds = .
N →∞ 0 πs 2
Por lo tanto, Z δ

g (t)D (t)dt ≤ c.
x N
0
Por otro lado, usando el Lema de Riemann Lebesgue veremos que
Z
1/2

gx (t)DN (t)dt ≤ c.
δ
En efecto, sea χδ (t) = 1, si t ∈ [δ, 1/2] y χδ (t) = 0, si t ∈ [−1/2, δ). Entonces se tiene
Z 1/2 Z 1/2
sin π(2N + 1)t
gx (t)DN (t)dt = gx (t) dt
δ δ sin πt
Z 1/2 iπt
e gx (t)
= χδ (t)e2πiN t dt
−1/2 2i sin πt (2.19)
Z 1/2 −iπt
e gx (t)
− χδ (t)e−2πiN t dt
−1/2 2i sin πt
\
=h iπt \
x e (N ) − hx e
−iπt (−N ),
gx (t)
donde hx (t) = χ (t).
Tomando lı́mite en (2.19) cuando N tiende a infinito, por
2i sin πt δ
Rπ
el Lema 2.3.1 (Riemann-Lebesgue) la integral δ gx (t)DN (t)dt tiende a cero.
OBSERVACIÓN 2.4.5. Observamos que por los criterios anteriores, la continuidad

no aparece como una propiedad suficiente para que la serie de Fourier de una función
continua converja puntualmente a esta función.
Du Bois Reymond demostró que existe una función continua cuya serie de Fourier
diverge en un punto. A continuación veremos la existencia de esta función.
TEOREMA 2.4.6. Principio de la acotación uniforme (Banach-Steinhaus). Sea X

un espacio de Banach, Y un espacio normado y {Ta }a∈A una familia de operadores
lineales acotados de X en Y , siendo A un conjunto de ı́ndices arbitrario. Entonces,
o bien
existe M < ∞ tal que sup ||Ta || ≤ M,
a∈A
o bien,
existe x ∈ X tal que sup ||Ta x||Y = ∞,
a∈A
donde
||Ta || = sup{||Ta x||Y : ||x||X ≤ 1}.
Convergencia 29
DEFINICIÓN 2.4.7. Se definen los números de Lebesgue como

Z 1/2
LN = |DN (t)|dt.
−1/2
LEMA 2.4.8. Se tiene que

lı́m LN = ∞.
N →∞
Demostración. Observamos que | sin x| ≤ |x| para todo x. Usando la fórmula (2.5) y
teniendo en cuenta que DN es una función par obtenemos
Z 1/2 Z 1/2
sin π(2N + 1)t
LN = |DN (t)|dt = dt
sin πt
−1/2 −1/2
Z 1/2 Z 1/2
sin π(2N + 1)t sin π(2N + 1)t
=2 dt ≥ 2 dt
sin πt πt
0 0
Z Z
2 πN +1/2 | sin s| 2 πN | sin s|
≥ ds > ds,
π 0 s π 0 s
donde s = π(2N + 1)t. De aquı́ se tiene que

Z N
X Z X 1 N Z N
πN
| sin s| kπ
| sin s| π
1X1
ds = ds > | sin s|ds = .
0 s k=1 (k−1)π s k=1
kπ 0 π k=1 k
Tomando lı́mite cuando N tiende a infinito se tiene

∞
2 X1
lı́m LN ≥ 2 = ∞.
N →∞ π k=1 k
TEOREMA 2.4.9. Existe una función continua, cuya serie de Fourier diverge en un
punto.
Demostración. Sea X = C(T) con la norma || · ||∞ e Y = C. Sea TN : C(T) → C dado

por
Z 1/2
TN f = SN f (0) = f (t)DN (t)dt.
−1/2
Evidentemente, se tiene
|TN f | ≤ LN ||f ||∞ .
Consideramos f continua tal que ||f − sgnDN ||1 ≤ ε, donde ε > 0. Suponiendo que
||f ||∞ = supT |f | = 1, se obtiene
|TN f | > LN − ε.
Tomando el supremo de los TN f , para todo f ∈ C(T), con ||f ||∞ = 1 obtenemos
||TN ||∞ = LN ,
y utilizando el lema anterior se obtiene supn∈N ||TN || = ∞. Por el Teorema 2.4.6

(Principio de la acotación uniforme), existe una función f continua tal que
lı́m |SN f (0)| = ∞

N →∞
es decir, la serie de Fourier de la función f diverge en el punto 0.
2.4.2. Convergencia en norma

La teorı́a de la medida y los espacios Lp permiten la recuperación de f a partir de
lı́mN →∞ SN f , donde la convergencia se entiende en la siguiente manera
lı́m ||SN f − f ||p = 0,

N →∞
para toda f ∈ Lp y 1 ≤ p < ∞. La última relación equivale a
||SN f ||p ≤ Cp ||f ||p .
Efectivamente, veamos la necesidad de la última relación:

Sea lı́mN →∞ ||SN f − f ||p = 0. Consideremos la familia de operadores {SN } y sea
X = Y = Lp . Entonces por el Teorema 2.4.6 (Principio de la acotación uniforme), se
obtiene que supN ∈N ||SN || < ∞, y por lo tanto
||SN f ||p ≤ cp ||f ||p .
Por otro lado la suficiencia se demuestra utilizando un resultado de densidad de

los polinomios trigonométricos en Lp (véase [Duo]). Es decir, si f es un polinomio
trigonométrico, entonces obviamente SN f = f para N mayor o igual que el grado de
f . Si f ∈ Lp , por el resultado que hemos mencionado podemos escoger un polinomio
trigonométrico q tal que
||f − q||p ≤ ε.
Métodos de sumabilidad 31
Entonces para N suficientemente grande se tiene que
||SN f − f ||p ≤ ||SN (f − q)||p + ||SN q − q||p + ||f − q||p

≤ (cp + 1)ε.
OBSERVACIÓN 2.4.10. Cuando p = 1 la norma de SN : L1 → L1 es LN y según el

Lema 2.4.8 no se obtiene convergencia en la norma.
El caso 1 < p < ∞ lo estudiaremos en el siguiente capı́tulo.
2.4.3. Convergencia en casi todo punto

El estudio de la convergencia en casi todo punto, es decir estudiar si
lı́m SN f (x) = f (x) c.t.p. si f ∈ Lp ,

N →∞
es un problema bastante complicado.

En 1926, Kolmogorov encontró una función integrable cuya serie de Fourier diverge
en todo punto.
En 1965, Carleson demostró que para funciones de L2 hay convergencia en casi
todo punto y en 1967, Hunt generalizó este resultado para todas las funciones de Lp ,
para 1 < p ≤ ∞. Enunciamos el famoso Teorema de Carleson-Hunt.
TEOREMA 2.4.11. Carleson-Hunt. Sea 1 < p ≤ ∞. Entonces para toda f ∈ Lp (T)

se tiene
SN f (t) → f (t) c.t.p. de T,
cuando N tiende a infinito.
Demostración. Véase [A] y [Gar].
2.5. Métodos de sumabildad

En un curso básico de Análisis se aprende que si lı́mk→∞ xk existe, entonces también
existe lı́mk→∞ k1 (x1 + · · · + xk ) y los dos lı́mites coinciden. La sumabilidad de Cesàro
es exactamente una extensión de este resultado y consiste en hacer el lı́mite de las
medias aritméticas de las sumas parciales, que hemos definido como σN f en la Sección
2.4. El problema se transforma en tratar de recuperar la función f al hacer el lı́mite

de las medias aritméticas y estudiar si
σN f → f, cuando N tiende a infinito.
La convergencia se entiende en norma o en “casi todo punto”.

Antes de estudiar la convergencia en el caso de la sumabilidad de Cesàro, nos refe-
rimos a otro método de sumabilidad, la sumabilidad de Abel-Poisson. Consideramos
una función f ∈ L1 (T). Sabemos que su extensión armónica, sea u, es la convolución
de f con el núcleo de Poisson que hemos definido anteriormente; es decir, u = Pr ∗ f
está definida en D que denota el disco unidad del plano complejo. El núcleo de Poisson
es una herramienta básica para pasar del Análisis Real al Análisis Complejo.
Sea z = re2πiθ , entonces la función u se puede expresar del siguiente modo
Z 1/2
2πiθ
u(re ) = Pr ∗ f (θ) = f (t)Pr (θ − t)dt
−1/2
Z 1/2 ∞
X
|k| 2πik(θ−t)
= f (t) r e dt
−1/2 k=−∞
∞
X Z 1/2 (2.20)
|k| 2πikθ
= r e f (t)e−2πikt dt
k=−∞ −1/2
∞
X ∞
X −1
X
= fˆ(k)r|k| e2πikθ = fˆ(k)z k + fˆ(k)z̄ k .
k=−∞ k=0 k=−∞
Observamos que si r tiende a 1, la función u coincide con la serie de Fourier de la

función f . Podemos ver entonces la serie de Fourier de f como el lı́mite formal, en el
cı́rculo unidad del plano complejo, de u expresada como anteriormente.
OBSERVACIÓN 2.5.1. Puesto que u es armónica en |z| < 1 estudiar el lı́mite de

(2.20) es análogo a estudiar el problema de Dirichlet
∆u = 0 en |z| < 1,
u = f en |z| = 1,
donde la condición del borde se entiende como convergencia en norma o en “casi todo
punto” de
lı́m Pr ∗ f → f.
r→1
Transformada de Fourier 33
Veamos un resultado que nos asegura la convergencia en norma tanto para FN ∗ f

como para Pr ∗ f , si f ∈ Lp y 1 ≤ p < ∞ :
TEOREMA 2.5.2. Sea f ∈ Lp (T) donde 1 ≤ p < ∞ y sea {kn } un núcleo de

sumabilidad. Entonces se tiene
lı́m ||kn ∗ f − f ||p = 0.

n→∞
Demostración. La demostración del teorema precedente se encuentra en [Ka]. Se

demuestra para una clase de espacios más generales que los espacios Lp , que son los
Espacios de Banach Homogéneos, pero que no trataremos en este trabajo.
COROLARIO 2.5.3. Sea f ∈ Lp , donde 1 ≤ p < ∞. Se obtiene la convergencia en

norma
lı́m ||σN ∗ f − f ||p = 0,
N →∞
lı́m ||Pr ∗ f − f ||p = 0.

r→1
2.6. Transformada de Fourier

DEFINICIÓN 2.6.1. Se define la transformada de Fourier de una función f definida
sobre Rn , denotada por fˆ ó F(f ) como
Z
ˆ
F(f )(ξ) = f (ξ) = f (x)e−2πix·ξ dx, (2.21)
Rn
siempre que la integral (2.21) exista, y x · ξ = x1 ξ1 + · · · + xn ξn .
OBSERVACIÓN 2.6.2. Observamos que la transformada de Fourier está bien defi-

nida para funciones de L1 . En efecto,
F : L1 (Rn ) → L∞ (Rn ) ∩ C(Rn ).
Más aún, F es lineal y continua, es decir ||fˆ||∞ ≤ ||f ||1 .
Antes de estudiar la acotación del operador (2.21) para f ∈ Lp (Rn ), 1 ≤ p < ∞,

veremos algunas de sus propiedades básicas. Sean f, g funciones definidas en casi todo
Rn . Entonces se tiene:
1. F(af + bg) = aF(f ) + bF(g) donde a, b ∈ R.

2. ||fˆ||∞ ≤ ||f ||1 y fˆ es continua. En efecto, la continuidad de f se obtiene por el

Teorema 1.1.4 (Convergencia Dominada).
Las relaciones que siguen son consequencia del cambio de variables, Teorema
de Fubini e integración por partes.
3. f[
∗ g = fˆĝ.
4. Sea τa f (x) = f (x + a). Se tiene entonces τc ˆ

a f (ξ) = f (ξ)e
2πia·ξ
y (f\
e2πia·x )(ξ) =
fˆ(ξ − a).
5. Sea g(x) = λ−n f (λ−1 x), se tiene ĝ(ξ) = fˆ(λξ), donde λ > 0.
6. F( ∂x∂ j f )(ξ) = 2πiξj F(f )(ξ).

∂
7. F(−2πixj f )(ξ) = ∂ξj
F(f )(ξ).
OBSERVACIÓN 2.6.3. Vemos, por la última propiedad, que la transformada de

Fourier de una funcion de la clase de Schwarz S, es una función de S.
2 2
LEMA 2.6.4. Si W (t) = e−π|t| , entonces Ŵ (ξ) = e−π|ξ| .
Demostración. Derivando W respecto a t se tiene
W ′ (t) = −2πtW (t),
de donde aplicando la transformada de Fourier y la propiedad 7 de la precedente

sección, obtenemos
2πξ Ŵ (ξ) = (Ŵ (ξ))′ . (2.22)
La última relación es una ecuación diferencial de primer orden cuya solución es

2
Ŵ (ξ) = ce−π|ξ| .
Calculamos la constante c;
Z ∞
2
c = Ŵ (0) = e−π|t| dt = 1,
−∞
2
de donde, por unicidad, se tiene que Ŵ (ξ) = e−π|ξ| = W (ξ).
OBSERVACIÓN 2.6.5. Observamos que W es un punto fijo para la transformada de

Fourier.
TEOREMA 2.6.6. La transformada de Fourier es una aplicación continua de S a S

tal que Z Z
f ĝ = g fˆ, (2.23)
Rn Rn
Z
f (x) = fˆ(ξ)e2πixξ dξ (fórmula de inversión). (2.24)
Rn
Demostración. Para ver la continuidad de la transformada hay que ver que si φk → 0

en S entonces F(φk ) = φ̂k → 0 en S. Para N > n2 se tiene
Z
|φ̂k (ξ)| = |φk (x)|(1 + |x|2 )N (1 + |x|2 )−N dx
R n
Z
≤ qN (φk ) (1 + |x|2 )−N dx = cN qN (φk ).
Rn
Por lo tanto,
||φ̂k ||∞ ≤ cN qN (φk )
es decir, φ̂k ∈ C ∞ . Falta ver que para todo a, b ∈ N ||xa Db φ̂k ||∞ está acotado por
qN (φk ), lo cual es cierto utilizando las propiedades 6 y 7 de la transformada de Fourier.
R R
La fórmula n f ĝ = n fˆg es consequencia del Teorema de Fubini.
R R
La fórmula de inversión se demuestra teniendo en cuenta propiedades básicas
de la transformada de Fourier. Hemos visto que si g(x) = λ−n f (λ−1 x) entonces,
ĝ(ξ) = fˆ(λξ), donde λ > 0. De aquı́, utilizando (2.23) obtenemos
Z Z
f (x)ĝ(λx)dx = fˆ(x)λ−n g(λ−1 x)dx.
Rn Rn
Haciendo el cambio de varibles y = λx, la primera integral queda

Z Z
−1
f (λ x)ĝ(x)dx = fˆ(x)g(λ−1 x)dx,
Rn Rn
de donde haciendo que λ → ∞ y utilizando el Teorema de la Convergencia Dominada

se obtiene Z Z
f (0) ĝ(x)dx = g(0) fˆ(x)dx.
Rn Rn
2
Sea g(x) = e−π|x| entonces por el lema anterior g(x) = ĝ(x) y se tiene
Z Z
f (0) = ˆ
f (ξ)dξ = fˆ(ξ)e2πi0·ξ dξ.
Rn Rn
Utilizando la propiedad 5 de la transformada de Fourier en combinación con la rela-

ción (2.23), se tiene
Z Z
−1
f (λ x)ĝ(x)dx = fˆ(y)g(λ−1 y)dy,
Rn Rn
de donde por traslación, usando la propiedad
τbx f (ξ) = e2πix·ξ f (ξ),
se obtiene
Z
f (x) = (τx f )(0) = \
τ−x f (ξ)dξ
Rn
Z
= fˆ(ξ)e2πix·ξ dξ.
Rn
Consideramos el espacio dual de S es decir, el espacio S ′ de las distribuciones

temperadadas y definimos la transformada de Fourier de elementos de S ′ como sigue:
DEFINICIÓN 2.6.7. La transformada de Fourier de T ∈ S ′ es la distibución tempe-

rada dada por
T̂ (φ) = T (φ̂),
para todo φ ∈ S.
TEOREMA 2.6.8. La transformada de Fourier es una aplicación lineal, biyectiva y

continua de S ′ a S ′ cuya inversa es también continua.
Demostración. Veremos la continuidad de la transformada de Fourier y de su inversa.

En efecto, sea {Tn } una sucesión de S ′ que converge a T ∈ S ′ cuando n tiende a
infinito. Entonces, por la definición anterior se tiene que T̂n (φ) = Tn (φ̂), para toda
φ ∈ S. Pero lı́mn→∞ Tn (φ̂) = T (φ̂) = T̂ (φ), por definición. Para ver que la inversa
es también continua basta observar que la transformada de Fourier es periódica de
perı́odo 4, por lo que la inversa se obtiene aplicando tres veces la transformada de
Fourier.
OBSERVACIÓN 2.6.9. Como todos los Lp (Rn ), 1 ≤ p < ∞ están contenidos en

S ′ , por el teorema anterior concluimos que la transformada de Fourier de cualquier
función de Lp es un elemento de S ′ .
Veremos cuando la transformada de Fourier de funciones de Lp es una distribución

que también es una función.
TEOREMA 2.6.10. La transformada de Fourier es una isometrı́a en L2 es decir,

f ∈ L2 y ||f ||2 = ||fˆ||2 (igualdad de Plancherel).
Además, Z
f (ξ) = lı́m f (x)e−2πix·ξ dx en L2 ,
R→∞ |x|<R
Z
f (x) = lı́m fˆ(x)e2πix·ξ dξ en L2 .
R→∞ |ξ|<R
Demostración. Al principio demostramos la igualdad de Plancherel para f ∈ S: Lue-

go por densidad de S en L2 , la transformada de Fourier de f ∈ S se extiende a
¯
fˆ ∈ L2 . Sea ĝ = h̄ se tiene entonces g = ĥ, luego por la propiedad (2.23) se obtiene
Z Z
¯
f (x)h̄(x)dx = fˆ(x)ĥ(x)dx, (2.25)
Rn Rn
para f, h ∈ S. Sea h = f entonces, de (2.25) se tiene

Z Z
¯
f (x)h̄(x)dx = fˆ(x)fˆ(x)dx,
Rn
de donde
||f ||2 = ||fˆ||2 .
En el Teorema 2.6.6 se ha verificado la continuidad de la transformada de Fourier F,

de S a S. Por densidad de S en L2 podemos prolongar F de L2 en L2 de manera que
siga siendo continua. Entonces, consideramos el lı́mite de fˆχB(0,R) y por la continuidad
de la transformada de Fourier en L2 , se obtiene
Z
ˆ
lı́m f χB(0,R) (ξ) = lı́m f (x)e−2πix·ξ dx,
R→∞ R→∞ |x|<R
donde hemos usado la definición de la transformada de Fourier. Luego hacemos lo

mismo para f χB(0,R) y obtenemos
Z
lı́m f χB(0,R) (ξ) = lı́m fˆ(x)e2πix·ξ dx,
R→∞ R→∞ |x|<R
donde hemos usado (2.24) (fórmula de inversión), por lo que se ha acabado la demos-
tración.
Necesitamos un resultado más para poder demostrar que, bajo ciertas condiciones,
la transformada de Fourier es una función localmente integrable.
TEOREMA 2.6.11. Interpolación de M. Riesz-Thorin. Sean 1 ≤ p0 , p1 , q0 , q1 ≤ ∞

y 0 < θ < 1. Se definen p y q como
1 1−θ θ 1 1−θ θ
= + , = + .
p p0 p1 q q0 q1
Si T : Lp0 + Lp1 → Lq0 + Lq1 es un operador lineal tal que
||T f ||q0 ≤ c||f ||p0 para f ∈ Lp0 ,
||T f ||q1 ≤ c||f ||p1 para f ∈ Lp1 ,
entonces,
||T f ||q ≤ c||f ||p para f ∈ Lp .
Demostración. Véase [B-Sh].
COROLARIO 2.6.12. Desigualdad de Hausdorff-Young. Sea f ∈ Lp (Rn ), 1 ≤ p ≤ 2.

Se tiene entonces fˆ ∈ Lp y
′
||fˆ||p′ ≤ ||f ||p .
Demostración. Aplicamos el Teorema 2.6.11 para la transformada de Fourier donde

p0 = 1, q0 = ∞ por la desigualdad ||fˆ||∞ ≤ ||f ||1 y p1 = q1 = 2 por el Teorema 2.6.10
(Plancherel).
DEFINICIÓN 2.6.13. Se define el operador de la suma parcial

Z
SR f (x) = fˆ(ξ)e2πixξ dξ,
BR
donde BR = {x : ||x|| < R}.
Considerando el lı́mite de SR f , el problema análogo de las series de Fourier, con-

siste en recuperar la función f a partir de su transformada. El lı́mite se entiende en
norma || · ||p o en “casi todo punto”. También podemos considerar los métodos de
sumabilidad, pero en este trabajo no entraremos en más detalles. Hemos definido la
transformada de Fourier no para profundizar en el problema que acabamos de men-
cionar, sino con el propósito de usar sus propiedades en el estudio de las integrales
singulares que va a ser el tema principal de nuestro trabajo.
Capı́tulo 3
La función maximal de
Hardy-Littlewood
A lo lago de este capı́tulo estudiaremos la función maximal de Hardy-Littlewood que

en el caso unidimensional, n = 1 fue introducida por Hardy y Littlewood (véase [H-
L]) y para n > 1 por N. Wiener (véase [W]). Son dos las razones de este estudio:
Primero, sus propiedades se pueden utilizar para probar la convergencia en “casi todo
punto” de los métodos de sumabilidad de Cesàro y Abel-Poisson, complemetando de
esta manera el capı́tulo anterior. Segundo, las técnicas que usamos, como la descom-
posición de Calderón-Zygmund, serán una herramienta imprescindible en el estudio
de los operadores singulares.
3.1. Introducción a la función maximal de Hardy-

Littlewood
Una operación que surge de manera natural al estudiar varias situaciones del Análisis
es el promedio. Se define el promedio de |f | sobre la bola Br de radio r > 0 centrada
en el origen, como Z
1
PBr (|f |) = |f (y)|dy,
|Br | Br
donde f ∈ L1loc (Rn ). Un resultado importante del Análisis es el Teorema de Diferen-

ciación de Lebesgue que demostraremos en la última sección de este capı́tulo:
39
40 La función maximal de Hardy-Littlewood
TEOREMA 3.1.1. Sea f ∈ L1loc (Rn ). Entonces se tiene

Z
1
lı́m f (x − y)dy = f (x) c.t.p.
r→0 |Br | B
r
Una manera de estudiar este lı́mite es introducir la función maximal de Hardy-

Littlewood definida como sigue:
DEFINICIÓN 3.1.2. Se define la función maximal de Hardy- Littlewood como

Z
1
M f (x) = sup PBr (|f (x − ·)|) = sup |f (x − y)|dy.
r>0 r>0 |Br | Br
Se denotará M el operador correspondiente a la función maximal de Hardy-Littlewood.
OBSERVACIÓN 3.1.3. Observamos que para definir la función maximal de Hardy-

Littlewood hemos intercambiado el lı́mite del teorema anterior cuando r → 0 con el
supremo sobre todos los r > 0, que en este caso puede ser infinito. El paso del lı́mite
de una expresión al supremo de esta misma es una técnica que se usa a menudo para
estudiar dicho lı́mite.
OBSERVACIÓN 3.1.4. La función maximal de Hardy-Littlewood es un operador

positivo M f = M (|f |) ≥ 0. Además observamos que al considerar |f | en la definición
de la función maximal de Hardy-Littlewood se evitará la posible cancelación de la
función f .
Podemos definir la función maximal de Hardy-Littlewood con cubos en vez de con

bolas, es decir:
DEFINICIÓN 3.1.5. Sea Qr el cubo [−r, r]n , donde r > 0. Se define

Z
′ 1
M f (x) = sup n
|f (x − y)|dy. (3.1)
r>0 (2r) Qr
OBSERVACIÓN 3.1.6. Si n = 1 entonces M y M ′ coinciden y para n > 1 existen

cn , Cn tales que
cn M ′ f (x) ≤ M f (x) ≤ Cn M ′ f (x). (3.2)
Más aún, a partir de la definición se obtienen
||M f ||∞ ≤ ||f ||∞ , ||M ′ f ||∞ ≤ ||f ||∞ . (3.3)

Acotacion de la función maximal 41
3.2. Acotación de la función maximal

En esta sección veremos que si f ∈ L1 , M f no tiene por qué pertenecer a L1 , es
decir el operador M no cumple la desigualdad (1, 1)-fuerte. En cambio, se prueba
la desigualdad (1, 1)-débil y a continuación, usando el Teorema de Marcinkiewicz, se
demuestra la desigualdad (p, p)-fuerte para 1 < p ≤ ∞.
Empezamos, probando un lema de recubrimiento:
LEMA 3.2.1. Sean {Qj }j=1,...,N N cubos. Entonces
i. existen {Rk }k=1,...,M M cubos tal que {Rk } ⊂ {Qj } y Rk ∩ Rk′ = ∅, si k 6= k ′ ;
ii. para todo j existe k tal que Qj ⊂ Rk∗ .
Antes de demostrar el lema precedente aclaramos la notación usada: Q := Q(x, r)

denotará el cubo de centro x ∈ Rn tal que |Q| = rn y Q∗ := Q(x, 3r).
Demostración. De entre todos los cubos de la familia {Qj }j=1,··· ,N elegimos uno de
los que tengan el volumen mayor (que lo denotamos por R1 ), y descartamos de
{Qj }j=1,··· ,N tanto R1 como todos los Qj que intersequen a R1 .
Una vez elegidos R1 , · · · , Rk , si queda algún cubo en {Qj }j=1,··· ,N , seleccionamos
uno de los que tengan el volumen mayor, Rk+1 , y volvemos a eliminar de {Qj }j=1,··· ,N
todos los que tienen intersección no vacı́a con Rk+1 .
Este proceso termina en un número finito de pasos, y obtenemos la colección
R1 , · · · , RM , con 1 ≤ M ≤ N .
Claramente los cubos Rk están elegidos de la familia original {Qj }j=1,··· ,N , y son
disjuntos (si 2 tienen intersección no vacı́a, el de volumen menor habrı́a sido eliminado
al elegir el otro).
Si Qj no ha sido elegido, es porque en algún momento ha sido eliminado, por lo
que ha de cortar a uno de los Rk . Además, por la definición de Rk , el cubo Qj tiene
un volumen menor, y por lo tanto Qj ⊂ Rk∗ .
TEOREMA 3.2.2. El operador M cumple la desigualdad (1, 1)-débil.
Demostración. Sea Eλ = {x ∈ Rn : M f (x) > λ}. Si x ∈ Eλ , existe un cubo Qx ,

centrado en x tal que Z
1
|f (y)|dy > λ. (3.4)
|Qx | Qx
S
Sea K un subconjunto arbitrario, compacto de Eλ . Como K ⊂ x∈Eλ Qx , usando la
compacidad de K, existe una familia finita de cubos {Qj }j=1,··· ,N ⊂ {Qx }x∈Eλ . Por el
Lema 3.2.1, existe una familia {Rk }k=1,··· ,M de cubos disjuntos que recubre K y para
todo j, existe k tal que Qj ⊂ Rk∗ , de donde ∪j Qj ⊂ ∪k Rk∗ .
Vamos a ver que se cumple la siguiente desiguladad:
C
|K| ≤ ||f ||1 .
λ
La medida usual de Rn , |·|, es doblante, es decir |Rk∗ | = c|Rk |, para todo k = 1, . . . , M .
Por lo tanto,
N
X M
X M
X
|K| ≤ |Qj | ≤ |Rk∗ | =c |Rk |.
j=1 k=1 k=1
Ahora, utilizando la relación (3.4) que es válida para todo Rk por la propia definición
de los Rk , se obtiene
M Z Z Z
cX c c c
|K| ≤ |f | = S
|f | ≤ |f | = ||f ||1 ,
λ j=1 Rj λ Rj λ Rn λ
donde la primera igualdad se obtiene por ser los Rj disjuntos. La desigualdad que
acabamos de demostrar es válida para todo compacto K ⊂ Eλ , por lo tanto se deduce
la desigualdad (1, 1)-débil para el operador M .
OBSERVACIÓN 3.2.3. Observamos que la desigualdad (1, 1)-débil que probamos

sustituye a la (1, 1)-fuerte que en general es falsa, ya que si f ∈ L1 (Rn ) y no es
R
idénticamente nula, M f 6∈ L1 (Rn ). En efecto, existe δ > 0 tal que B(0,δ) f (y)dy ≥
c > 0. Si |x| > δ, B(x, 2|x|) ⊃ B(0, δ) por lo que se tiene
Z
1 c
M f (x) ≥ n
f (y)dy = .
(2|x|) B(0,δ) (2|x|)n
/ L1 (Rn ).
Por lo tanto, M f ∈
TEOREMA 3.2.4. El operador M es de tipo (p, p)-fuerte si 1 < p ≤ ∞.
Demostración. El operador M cumple la desigualdad (1, 1)-débil por el teorema ante-

rior y (∞, ∞)-fuerte por la relación (3.3). Entonces, usando el Teorema 1.2.11 (Mar-
cinkiewicz), se obtiene la desigualdad (p, p)-fuerte para el operador M .
Aproximaciones de la identidad 43
3.3. Aproximaciones de la identidad

Varios problemas de aproximación se plantean de la siguiente forma: Sea {Ft }t>0
una familia de operadores integrales. El propósito es estudiar si para f ∈ Lp (Rn ) se
obtiene Ft f → f cuando t → 0. Nos interesa encontrar un núcleo φ ∈ L1 (Rn ) y definir
una familia {φt }t>0 de manera que podamos representar Ft f como φt ∗ f . Entonces,
el problema se convierte en estudiar si φt ∗ f → f cuando t → 0. La convergencia se
entiende en norma o en “casi todo punto”, lo cual es normalmente un problema más
delicado.
DEFINICIÓN 3.3.1. Se define como aproximación de la identidad una familia

{φt }t>0 , donde φt (x) = t−n φ( xt ) y φ ∈ L1 (Rn ) de manera que se cumplen las siguiente
propiedades:
R
Rn
φt (x)dx = 1;
R
lı́mt→0 δ<|x|
|φt (x)|dx = 0, para todo δ > 0.
OBSERVACIÓN 3.3.2. Hemos definido los núcleos de Fejér y de Poisson en el caso

periódico. También se pueden definir sobre Rn (véase [Gr]), y sus propiedades coin-
ciden con las de la definición anterior, por lo que son aproximaciones de la identidad.
Estudiaremos la convergecia en norma y en “casi todo punto” de φt ∗ f .
TEOREMA 3.3.3. Sea {φt }t>0 una aproximación de la identidad. Entonces
lı́m ||φt ∗ f − f ||p = 0

t→0
si f ∈ Lp , 1 ≤ p < ∞ y uniformemente (p = ∞) si f ∈ C0 .
Demostración. Por ser {φt } una aproximación de la identidad se tiene, a partir de la

R
definición, que Rn φ(x)dx = 1. Por tanto, haciendo un cambio de variables se obtiene
Z
φt ∗ f (x) − f (x) = φ(y)[f (x − ty) − f (x)]dy. (3.5)
Rn
Vamos a ver que lı́mt→0 ||φt ∗ f (x) − f (x)||p = 0, donde f ∈ Lp para 1 ≤ p < ∞ y
f ∈ C0 cuando p = ∞. Utilizando la relación (3.5) y el Teorema 1.1.3 (Desigualdad
Integral de Minkowksi), se tiene

Z

||φt ∗ f (x) − f (x)||p = φ(y)[f (x − ty) − f (x)]dy
Rn p
Z
≤ ||φ(y)[f (· − ty) − f (·)]||p dy = A + B,
Rn
R R
donde A = |y|<δ/t
|φ(y)|||f (·−ty)−f (·)||p dy y B = |y|≥δ/t
|φ(y)|||f (·−ty)−f (·)||p dy.
Ahora basta ver que A + B ≤ ε.
Sea f ∈ Cc (Rn ) ⊂ Lp (Rn ) y sea h = ty de manera que |h| < 1. El soporte de
τh f , donde τh f = f (· − h) está controlado por un compacto de Rn , sea K, por lo que
existe otro compacto de Rn , K ′ ⊃ K de manera que sop(τh f − f ) ⊂ K ′ . Además por
continuidad,
lı́m [f (x − h) − f (x)] = 0, para todo x ∈ Rn . (3.6)
h→0
Por otro lado, si tomamos g(x) = 2(||f ||∞ )p χK ′ (x) ∈ L1 (Rn ) entonces
|f (x − h) − f (x)|p ≤ g(x). (3.7)
Ahora obtendremos una acotación para ||f (· − h) − f ||p , usando el Teorema 1.1.4
(Convergencia Dominada), que en este caso es válida por las relaciones (3.6) y (3.7).
Es decir,
Z 1/p
p
||f (· − h) − f ||p = |f (x − h) − f (x)| dx −→ 0,
K′
cuando h tiende a cero. Podemos entonces escribir
ε
||f (· − h) − f ||p < ,
2||φ||1
teniendo en cuenta que ||φ||1 = 1 por definición. De aquı́, sustituyendolo en la expre-
sión A, se obtiene
Z
ε
A= |φ(y)|||f (· − ty) − f (·)||p dy ≤ .
|y|<δ/t 2
ε
Hemos demostrado que A ≤ 2
en el caso que f ∈ Cc (Rn ). Si f ∈ Lp , para 1 ≤ p < ∞,
entonces por densidad de Cc en los Lp se obtiene el mismo resultado.
R
Veremos que también se tiene B ≤ 2ε . La integral |y|≥δ/t |φ(y)|dy tiende hacia cero
cuando también t tiende a cero. Por tanto podemos obtener la siguiente acotación
para t suficientemente pequeño:
Z
ε
|φ(y)|dy ≤ . (3.8)
|y|≥δ/t 4||f ||p
Usando la desigualdad de Minkowski, la relación anterior y el hecho de que la norma

|| · ||p es invariante por traslaciones se tiene
Z Z
B= |φ(y)|||f (· − ty) − f (·)||p dy ≤ 2 |φ(y)|||f ||p dy
|y|≥δ/t |y|≥δ/t
ε ε
≤ 2||f ||p = .
4||f ||p 2
Hemos visto que A + B ≤ ε por lo que la demostración queda acabada.
OBSERVACIÓN 3.3.4. Observe que por este teorema y por la Observación 3.3.2 se
prueba la convergencia en norma de los métodos de sumabilidad de Cesàro y Abel-
Poisson.
OBSERVACIÓN 3.3.5. Como consequencia de este teorema, existe una sucesión tk
dependiente de f tal que lı́mk→∞ tk = 0 y
lı́m φtk ∗ f (x) = f (x) c.t.p.

k→∞
En el caso que el lı́mite de φt ∗ f , cuando t tiende a cero, existe puntualmente debe

coincidir con f en “casi todo punto”. Por lo tanto, estudiaremos bajo qué condiciones
se obtiene la existencia de este lı́mite puntual que es cierta en el caso que f ∈ S. En
efecto, sea g ∈ S, entonces haciendo un cambio de variables se tiene
Z Z
−n −1
φt (g) = t φ(t x)g(x)dx = φ(x)g(tx)dx.
Rn Rn
Por el Teorema 1.1.4 (Convergencia Dominada), se obtiene
lı́m φt (g) = g(0) = δ(g),

t→0
donde δ denota la delta de Dirac. Sabemos que δ ∗ g = g para toda función g ∈ S,

por lo tanto
lı́m φt ∗ g(x) = g(x).
t→0
p
En el caso que f ∈ L necesitamos un resultado más:
TEOREMA 3.3.6. Sea {Tt }t>0 una familia de operadores lineales en Lp (X, µ), donde
(X, µ) es un espacio de medida y T ∗ f (x) = supt |Tt f (x)|. Si T ∗ es de tipo (p, q)-débil,
entonces el conjunto
{f ∈ Lp : lı́m Tt f (x) = f (x) c.t.p.}

t→t0
p
es cerrado en L .
El operador T ∗ se llamará operador maximal asociado a {Tt }.
Demostración. Sea {fn } una sucesión de funciones tal que
lı́m Tt fn (x) = fn (x) en c.t. x ∈ X (3.9)

t→t0
y
lı́m ||fn − f ||p = 0. (3.10)
n→∞
Entonces, por la linealidad de los {Tt } y por la relación (3.9) se tiene
µ({x ∈ X : lı́m supt→t0 |Tt f (x) − f (x)| > λ})

≤ µ({x ∈ X : lı́m supt→t0 |Tt f (x) − (Tt fn (x) − fn (x)) − f (x)| > λ})
≤ µ({x ∈ X : lı́m supt→t0 |Tt (f − fn )(x) − (f − fn )(x)| > λ})
≤ µ({x ∈ X : sup |Tt (f − fn )(x) − (f − fn )(x)| > λ})
t
≤ µ({x ∈ X : T ∗ (f − fn )(x) + |(f − fn )(x)| > λ})

∗ λ λ
≤µ x ∈ X : T (f − fn )(x) > +µ x ∈ X : |(f − fn )(x)| > .
2 2
Utilizando la desigualdad (p, q)-débil para el primer sumando y la desigualdad de
Chebychev para el segundo se obtiene

∗ λ λ
µ x ∈ X : T (f − fn )(x) > +µ x ∈ X : |(f − fn )(x)| >
2 2
q p
2c 2
≤ ||f − fn ||p + ||f − fn ||p ,
λ λ
que por la relación (3.10) tiende a cero cuando n tiende a infinito. Por lo tanto,
µ({x ∈ X : lı́m supt→t0 |Tt f (x) − f (x)| > 0})

X∞
1
= µ x ∈ X : lı́mt→t0 sup |Tt f (x) − f (x)| > = 0,
k=1
k
de donde se obtiene que el conjunto
{f ∈ Lp : lı́m Tt f (x) = f (x) c.t.p.}

t→t0
es cerrado en Lp .
Hemos probado la convergencia en norma de φt ∗ f hacia f , es decir
lı́m ||φt ∗ f − f || = 0,
t→0
donde f ∈ Lp si 1 ≤ p < ∞ o f ∈ C0 si p = ∞ y la norma || · || denota la

correspondiente norma usual de estos espacios.
Ahora por el teorema anterior, si vemos que el operador maximal supt>0 |φt ∗ f |
cumple una desigualdad (p, q)-débil obtenemos la existencia del lı́mite puntual de
φt ∗ f . Ası́, por la Observación 3.3.5 y por densidad de S en los Lp , con 1 ≤ p < ∞,
se prueba la convergencia en “casi todo punto” para toda f ∈ Lp , es decir
lı́m φt ∗ f (x) = f (x) c.t.p.

t→0
Estudiaremos, utilizando la función maximal de Hardy-Littlewood la convergencia

en “casi todo punto” de los métodos de sumabilidad de Cesàro y Abel-Poisson.
PROPOSICIÓN 3.3.7. Sea φ una función positiva, radial, decreciente como función
definida en (0, ∞) e integrable. Entonces
sup |φt ∗ f (x)| ≤ ||φ||1 M f (x). (3.11)

t>0
Demostración. Sea φ una función que cumpla las hipótesis de la proposición prece-
dente. Sea {φt }t>0 la aproximación de identidad, es decir φt (x) = t−n φ( xt ). Bastarı́a
probar que
|φ ∗ f (x)| ≤ ||φ||1 M f (x),
de donde se obtiene la relación (3.11), puesto que ||φt ||1 = ||φ||1 .

Sea f ≥ 0, se tiene
Z XZ
φ ∗ f (x) = φ(y)f (x − y)dy = φ(y)f (x − y)dy.
Rn k∈Z B(2k )\B(2k−1 )
Por hipótesis, φ es decreciente, es decir φ(2k ) ≤ φ(2k−1 ), para todo k. Por lo tanto,
XZ X Z
k−1
φ(y)f (x − y)dy ≤ φ(2 ) f (x − y)dy
k∈Z B(2k )\B(2k−1 ) k∈Z B(2k )
X
≤ cn M f (x) φ(2k−1 )2kn
k∈Z
XZ
≤ cn M f (x) φ(y)dy
k∈Z B(2k−1 )\B(2k−2 )
Z
= cn M f (x) φ(y)dy = cn M f (x)||φ||1 ,
Rn
donde la última desigualdad se obtiene por la siguiente estimación

Z
k−1 cn
φ(2 ) ≤ kn φ(y)dy.
2 B(2k−1 )\B(2k−2 )
OBSERVACIÓN 3.3.8. La proposición anterior es válida, no sólo para una fun-

ción positiva, decreciente y radial, sino para toda función de L1 que se mayora
por una función de L1 , positiva, decreciente y radial. En efecto, sea ψ ≥ 0. Si
φ(x) = sup|y|≥|x| |ψ(y)| ∈ L1 , entonces ψ ≤ φ y supt>0 |ψt ∗ f (x)| ≤ cn ||φ||1 M f (x).
COROLARIO 3.3.9. Sea ψ una función que cumple las hipótesis de la proposición
anterior y tal que |φ(x)| ≤ |ψ(x)| en “casi todo punto”. Entonces la función maximal
supt>0 |φt ∗ f (x)| cumple la desigualdad (1, 1)-débil y la (p, p)-fuerte para 1 0 t>0
y teniendo en cuenta que la función maximal de Hardy Littlewood, M es de tipo

(1,1)-débil y (p,p)-fuerte, con 1 < p ≤ ∞.
COROLARIO 3.3.10. En las condiciones del corolario anterior
lı́m φt ∗ f (x) = f (x) c.t.p.

t→0
En particular, los métodos de sumabilidad de Cesàro y Abel-Poisson convergen a f

en “casi todo punto” si f está en alguno de los espacios citados.
Demostración. Sea T ∗ f (x) = supt>0 |φt ∗ f (x)|. Entonces por el corolario anterior el
operador T ∗ cumple la desigualdad (p, p)-débil. Además la familia de los operadores
{Tt }t>0 , donde Tt f = φt ∗ f es lineal, por lo que se puede usar el Teorema 3.3.6, de
donde se obtiene que el conjunto
{f ∈ Lp : lı́m φt ∗ f (x) = f (x) c.t.p.}

t→0
es cerrado. Sabiendo la existencia del lı́mite puntual de φt ∗ f en S y teniendo en

cuenta que S es denso en los Lp se obtiene la existencia del lı́mite puntual para toda
f ∈ Lp con 1 ≤ p < ∞. Por la Observación 3.3.2 se obtiene la convergencia en “casi
todo punto” de los métodos de sumabilidad de Cesàro y Abel-Poisson.
El operador maximal diádico 49
3.4. El operador maximal diádico

En la Sección 3.2 hemos probado la desigualdad (1, 1)-débil para la función maximal
de Hardy-Littlewood M , utilizando el Lema de recubrimiento. En esta sección de-
mostraremos el Teorema de Descomposición de Calderón-Zygmund, un resultado que
usaremos para probar de nuevo la desigualdad (1, 1)-débil del operador M , y que a
continuación será una de nuestras herramientas más importantes.
Sea f ∈ L1 (Rn ). Para n = 1 la Descomposición de Calderón-Zygmund se de-
muestra fácilmente (véase [Guz]), pero en el caso n > 1, que veremos detalladamente
hace falta introducir un concepto nuevo: los cubos diádicos.
3.4.1. Los cubos diádicos

DEFINICIÓN 3.4.1. Se define un intervalo diádico I, en R como
I = [m2−k , (m + 1)2−k ),
donde m, k ∈ Z y generalizamos definiendo un cubo diádico Q en Rn como producto

de intervalos diádicos, es decir
Q = Πnj=1 [mj 2−k , (mj + 1)2−k ),
donde m1 , . . . , mn , k ∈ Z.
DEFINICIÓN 3.4.2. Se define la la familia de todos los cubos diádicos {Qk }, donde
Qk denota el conjunto
Qk = {Q : |Q| = 2−k }.
Además se denotará
Q = ∪k∈Z Qk .
OBSERVACIÓN 3.4.3. Para cada k, {Qk } es una partición de Rn .
Las siguientes propiedades son evidentes por la propia construcción de los cubos
diádicos:
1. todo x ∈ Rn pertenece en un único cubo de la familia Qk ;

2. dos cubos diádicos o bien son disjuntos, o bien uno de ellos está contenido en
el otro;
3. para todo Q ∈ Qk existe un único Q∗ ⊃ Q tal que Q∗ ∈ Qk+1 y |Q∗ | = 2n |Q|,

donde n es la dimensión del espacio;
4. un cubo diádico de la familia Qk está contenido en un único cubo diádico de

cada familia Qj , donde j < k y contiene 2n cubos diádicos de la familia Qk+1 .
El cubo Q∗ se llamará padre de Q.
DEFINICIÓN 3.4.4. Sea f ∈ L1loc (Rn ). Se define la esperanza condicional de f

respecto a la σ-álgebra engenerada por Qk como
X 1 Z
Ek f (x) = f χQ (x).
Q∈Q
|Q| Q
k
S
Sea Ω = k Qk . Entonces se verifica la propiedad fundamental
Z Z
Ek f = f. (3.12)
Ω Ω
DEFINICIÓN 3.4.5. Se define la función maximal diádica de Hardy-Littlewood como
Md f (x) = sup |Ek f (x)|.

k
TEOREMA 3.4.6. El operador Md cumple la desigualdad (1, 1)-débil y
lı́m Ek f (x) = f (x) c.t.p. (3.13)

k→∞
para toda f ∈ L1loc .
Demostración. Sea f ∈ L1 (Rn ), no negativa. Sea
Ωk = {x : Ek f (x) > λ y Ej f (x) ≤ λ para j < k},

S
entonces {x : Md f (x) > λ} = Ωk . Por la Definición 3.4.5 se tiene
k
X X1Z
|{x : Md f (x) > λ}| = |Ωk | ≤ Ek f
k k
λ Ωk
Z Z
1X 1 1
= f= f ≤ ||f ||1 ,
λ k Ωk λ S k Ωk λ
donde la última desigualdad surge por ser los Ωk disjuntos. Veremos la relación (3.13).
Sea f una función continua. Entonces lı́mk→∞ Ek f (x) = f (x). Usando la desigualdad
(1,1)-débil del operador Md y el Teorema 3.3.6 se obtiene que el conjunto
{f ∈ L1 : lı́m Ek f (x) = f (x)}

k→∞
es cerrado. Por densidad de las funciones continuas en L1 se tiene que
lı́m Ek f (x) = f (x) c.t.p.

k→∞
para toda f ∈ L1 . Si f ∈ L1loc , hacemos el mismo procedimiento para f χQ ∈ L1 y

obtenemos (3.13) en c.t.p. de Q, para todo Q ⊂ Q0 . Usando la Observación 3.4.3 se
obtiene la existencia en c.t.p. de Rn .
3.4.2. Descomposición de Calderón-Zygmund

Veamos la Descomposición de Calderón-Zygmund:
TEOREMA 3.4.7. Sea f una función integrable no negativa y λ un número positivo.

Existe una sucesión {Qj }j∈Z de cubos diádicos disjuntos tal que :
S
1. f (x) ≤ λ en c.t. x∈
/ j Qj ;
S
2. | j Qj | ≤ λ1 ||f ||1 ;
1
R
3. λ < |Qj | Qj
f ≤ 2n λ.
Demostración. 1.Consideramos que los conjuntos Ωk definidos como anteriormente,

descompuestos en los cubos diádicos disjuntos Qk , forman la familia {Qj }. Sea x ∈
/
S S
j Qj , es decir x ∈
/ k Ωk . Entonces si Ek f (x) ≤ λ para todo k, por (3.13) del
teorema anterior se obtiene f (x) ≤ λ.
La siguiente relación es simplemente la desigualdad (1, 1)-débil para el operador
Md que probamos en el teorema anterior, es decir
[ [ 1
| Qj | = | Ωk | = |{x : Md f (x) > λ}| ≤ ||f ||1 .
j k
λ
La primera desigualdad de última relación es consecuencia de la definición de los Ωk ,

mientras que la segunda se obtiene si consideramos la familia de los cubos {Q∗j },
donde Q∗j es el padre del Qj . Por lo tanto, se tiene
Z Z
1 |Q∗j |
f≤ f ≤ 2n λ.
|Qj | Qj |Qj ||Q∗j | Q∗j
Probaremos el siguiente lema utilizando la Descomposición de Calderón-Zygmund:
LEMA 3.4.8. Se tiene la desigualdad
|{x : M ′ f (x) > 4n λ}| ≤ 2n |{x : Md f (x) > λ}|, (3.14)
donde M ′ f denota la función maximal de Hardy-Littlewood sobre cubos.
Demostración. Sea f una función en las condiciones del teorema anterior. Existe
entonces una sucesión de cubos {Qj } de manera que se cumplen 1, 2 y 3 del mismo
S
teorema. Sea {x : Md f (x) > λ} = j Qj . Sea Q∗j el padre del Qj . Entonces la
desigualdad (3.14) surge de la siguiente relación:
[
{x : M ′ f (x) > 4n λ} ⊂ Q∗j . (3.15)
j
S
Sea x ∈
/ j Q∗j y sea Q un cubo centrado en x de manera que su lado está entre 2k−1
y 2k . El cubo Q corta a lo mas 2n cubos de la familia Qk , por la cuarta propiedad de
los cubos diádicos que comentamos en la Sección 3.4.1. Sean R1 , . . . , Rm estos cubos
donde m ≤ 2n . Los {Ri }i=1,...,m no pueden estar entre los Qj porque si estuviesen,
S
entonces Ri∗ ⊃ Qj que es falso ya que x ∈
/ j Qj . Por lo tanto, para todo i = 1, . . . , m
R
se tiene R1i Ri f < λ, de donde se obtiene
m
X 1 Z m
X Z
1 2kn 1
≤ f≤ f ≤ 2n mλ.
|Q| i
|Q| Q∩Ri i
|Q| |Ri | Ri
S
Es decir, para toda x ∈
/ j Q∗j se tiene M ′ f (x) ≤ 2n mλ, de donde se obtiene la
relación (3.15) para m ≤ 2n .
OBSERVACIÓN 3.4.9. Podemos utilizar el lema precedente para demostrar la de-

sigualdad (1, 1)-débil para la función maximal de Hardy-Littlewood. Efectivamente,
usamos la relación (3.14) y la desigualdad (1,1)-débil para el operador Md :
′ n −n 8n
|{x : M f (x) > λ}| ≤ 2 |{x : Md f (x) > 4 λ}| ≤ ||f ||1 ,
λ
que es la desigualdad (1,1)-débil para el operador M ′ . La desigualdad (1,1)-débil para
el operador M se obtiene por la relación (3.2) y la desigualdad (p, p)-fuerte se obtiene
utilizando de nuevo el Teorema 1.2.11 (Marcinkiewicz).
OBSERVACIÓN 3.4.10. Utilizando los resultados obtenidos hasta ahora probaremos

el Teorema 3.1.1 (Diferenciación de Lebesgue).
Efectivamente, por haber obtenido la desigualdad (1, 1)-débil para el operador M ,
y utilizando el Teorema 3.3.6, obtenemos
Z
1
lı́m f (x − y)dy = f (x) en c.t.p.
r→0 |Br | B
r
para toda f ∈ L1loc .
OBSERVACIÓN 3.4.11. Se puede probar un resultado mas preciso que el Teorema

3.1.1 (Diferenciación de Lebesgue), es decir
Z
1
lı́m |f (x − y) − f (x)|dy = 0 c.t.p.
r→0 |Br | B
r
Para más detalles, véase [Duo].

Capı́tulo 4
La transformada de Hilbert
El principal propósito de este trabajo es estudiar las integrales singulares. Empezamos

con la transformada de Hilbert que es el caso más sencillo. Antes, veremos las herra-
mientas que necesitamos para definir dicha transformada.
4.1. Valor principal
El valor principal fue introducido por A. Cauchy y estudiado por N. Luzin, M. Riesz
y A. Kolmogorov entre otros. A lo largo de este capı́tulo, f ∈ S ó Lp denotarán
funciones definidas sobre la recta real.
DEFINICIÓN 4.1.1. Se define el valor principal de x1 , abreviadamente v.p. x1 , como
Z
1 φ(x)
v.p. (φ) = lı́m dx, (4.1)
x ε→0 |x|>ε x
donde x ∈ R y φ ∈ S.
OBSERVACIÓN 4.1.2. La expresión (4.1) define una distribución temperada. Efecti-

vamente, la linealidad es inmediata y la continuidad se obtiene utilizando el Teorema
1.1.4 (Convergencia Dominada). Es decir, sea {φk } una sucesión de funciones de S.
55
56 La transformada de Hilbert
Veremos que lı́mk→∞ v.p. x1 (φk ) = 0 cuando lı́mk→∞ φk = 0. Se tiene

Z
1 φ k (x)
v.p. (φk ) = lı́m dx
x ε→0 x
|x|>ε
Z Z
φk (x) − φ k (0) φk (x)
= dx + dx
|x|<1 x |x|>1 x
Z
≤ ||φ′k ||∞ dx + ||φk ||1 ≤ c||φ′k ||∞ + ||φk ||1 ,
|x|<1
que tiende a cero cuando lı́mk→∞ φk = 0, teniendo en cuenta que {φk } es una sucesión
de funciones de S.
Sean ψε = x1 χ{|x|>ε} , donde ε > 0. Entonces las ψε son acotadas y definen distri-
buciones temperadas. Además
1
lı́m hψε , φi = v.p. (φ) para toda φ ∈ S, (4.2)
ε→0 x
R
que es consecuencia de la Definición 4.1.1, donde hψε , φi = R ψε (x)φ(x)dx.
4.2. Introducción a la transformada de Hilbert

Principalmente, el estudio de la transformada de Hilbert se hizo utilizando técnicas
de Análisis Complejo hasta que Besicovitch en 1923, y a continuación Calderón y
Zygmund introdujeron métodos de Análisis Real.
4.2.1. El núcleo de Poisson conjugado

Para poder definir la transformada de Hilbert hay que introducir el núcleo de Poisson
conjugado. Recordamos que si u es una función armónica, entonces si consideramos
la función analı́tica f = u + iv, v será la armónica conjugada de u. Sea una función
f ∈ S, su extensión armónica al semiplano superior se obtiene al hacer la convolución
con el núcleo de Poisson, es decir u(x, t) = Pt ∗ f (x). Siendo z = x + it, la expresión
anterior se puede expresar
Z ∞ Z 0
u(z) = fˆ(ξ)e2πiz·ξ dξ + fˆ(ξ)e2πiz̄·ξ dξ.
0 −∞
Consideramos
Z ∞ Z 0
v(z) = v(x, t) = fˆ(ξ)e
2πiz·ξ
dξ − fˆ(ξ)e2πiz̄·ξ dξ,
0 −∞
Introducción a la transformada de Hilbert 57
que es también armónica en R2+ . Observamos que u + iv es analı́tica por lo que v es

la armónica conjugada de u. Representamos v como
Z ∞
v(x, t) = −isgnξe−2πit|ξ| fˆ(ξ)e2πix·ξ dξ.
−∞
Sea Q̂t (ξ) = −isgnξe−2πt|ξ| . Entonces v(x, t) = Qt ∗ f (x). Efectivamente,

Z ∞
v(x, t) = Q̂t (ξ)fˆ(ξ)e2πix·ξ dξ
Z−∞
∞
= \
Q t ∗ f (ξ)e
2πix·ξ
dξ,
−∞
de donde usando (2.24) (fórmula de inversión), se obtiene

\
v(x, t) = F −1 (Qt ∗ f (ξ)) = Qt ∗ f (x),
y F −1 denota el operador inverso de la transformada de Fourier. Invirtiendo la trans-

formada de Fourier se obtiene
1 x
Qt (x) =
π t2 + x2
que se denominará el núcleo de Poisson conjugado.
PROPOSICIÓN 4.2.1. Se tiene

1 1
lı́m hQt , φi = v.p (φ), ∀φ ∈ S. (4.3)
t→0 π x
Demostración. Bastarı́a probar que

1
lı́m Qt − ψt , φ = 0, para toda φ ∈ S. (4.4)
t→0 π
Entonces por la relación (4.2) se obtendria (4.3). Se tiene

x
hπQt − ψt , φi = hπQt , φi − hψt , φi = 2 , φ − hψt , φi
t + x2
Z Z
xφ(x) φ(x)
= 2 2
dx − dx
R t +x |x|>t x
Z Z
xφ(x) x 1
= 2 2
dx + − φ(x)dx
|x|≤t t + x |x|>t t2 + x2 x
Z Z
xφ(tx) φ(tx)
= 2 2
dx − 2
dx.
|x|≤1 t + x |x|>1 x(1 + x )
Tomando lı́mite cuando t → 0, por el Teorema 1.1.4 (Convergencia Dominada) se

tiene que ambas integrales tienden a cero. Para esto, tenemos en cuenta que los
núcleos son impares y los conjuntos de integración son simétricos.
OBSERVACIÓN 4.2.2. Observamos que el lı́mite,

1 1
lı́m hQt , φi = v.p (φ), ∀φ ∈ S
t→0 π x
se entiende en el sentido de las distribuciones, es decir lı́mt→0 Qt = π1 v.p x1 en S ′ .
OBSERVACIÓN 4.2.3. Se tiene

Z
1 f (x − y)
lı́m Qt ∗ f (x) = lı́m dy
t→0 π ε→0 |y|>ε y
que es consecuencia de la Proposición 4.2.1. Más aún

1 1
F v.p. (ξ) = −isgnξ. (4.5)
π x
1

En efecto, por la proposición anterior se tiene F π
v.p. x1 (ξ) = F(lı́mt→0 Qt ) y por
la continuidad de la transformada de Fourier se obtiene
F(lı́m Qt ) = lı́m F(Qt ) = −isgnξe−2πi0ξ = −isgnξ.

t→0 t→0
4.2.2. Caracterizaciones de la transformada de Hilbert
DEFINICIÓN 4.2.4. Definimos la transformada de Hilbert de una función f ∈ S

como una de las siguiente expresiones equivalentes:
Hf = lı́m Qt ∗ f ; (4.6)
t→0
Z
1 1 1 f (· − y)
Hf = v.p ∗ f = lı́m dy; (4.7)
π x π ε→0 |y|>ε y
F(Hf )(ξ) = −isgnξF(f )(ξ). (4.8)
OBSERVACIÓN 4.2.5. La equivalencia es inmediata a partir de la relación (4.5) y

la Proposición 4.2.1.
Se tienen las siguiente propiedades:
||Hf ||2 = ||f ||2 . (4.9)
En efecto, por la igualad de Plancherel y la relación (4.8) de la definición anterior se

tiene
||Hf ||2 = ||F(Hf )||2 = ||f ||2 .
OBSERVACIÓN 4.2.6. La propiedad (4.9) nos permite definir la transformada de

Hilbert sobre el espacio de Lebesgue L2 .
También se tiene
H(Hf ) = −f. (4.10)
Efectivamente, usando de nuevo la relación (4.8) de la definición anterior se tiene
F(H(Hf ))(ξ) = −isgnF(Hf )(ξ) = −isgnξ(−isgnξFf(ξ)).
Ahora, considerando (2.24) (fórmula de inversión), se obtiene H(Hf ) = −f .

Más aún, usando el Teorema de Fubini obtenemos
Z Z
Hf · g = − f · Hg, (4.11)
donde f, g son funciones reales.

Hasta ahora hemos definido la transformada de Hilbert para funciones de S y
de L2 . A continuación demostraremos dos resultados importantes que nos permiten
extender dicha transformada sobre todas las funciones de Lp para 1 ≤ p < ∞.
TEOREMA 4.2.7. (Kolmogorov) La transformada de Hilbert cumple la desigualdad

(1,1)-débil, es decir:
c
|{x : |Hf (x)| > λ}| ≤ ||f ||1 .
λ
Demostración. Sea λ > 0, fijo y sea f ≥ 0, integrable. Entonces por la descomposición
de Calderón-Zygmund, existe una sucesión de intervalos {Ij } disjuntos tales que:
S
1. f (x) ≤ λ en c.t. x ∈
/ j Ij ;
S
2. | j Ij | ≤ ||f ||1 ;
1
R
3. λ < |Ij | Ij
f ≤ 2n λ.
S S
Sea Ω = j Ij y sea Ij∗ el padre de Ij . Entonces para Ω∗ = j Ij∗ se tiene |Ω∗ | ≤ 2|Ω|.
Ahora, descomponemos la función f como suma de dos funciones g y h donde
( S
f (x), si x ∈
/ j Ij ;
g(x) = 1
R
|Ij | Ij
f (y)dy, si x ∈ Ij ,
P R
1
y h(x) = j hj (x), donde hj (x) = f (x) − |Ij | Ij
f (y)dy χIj (x). Se tiene entonces
λ λ
|{x : |Hf (x)| > λ}| ≤ |{x : |Hg(x)| > }| + |{x : |Hh(x)| > }|.
2 2
Vamos a estimar cada uno de los dos sumandos. Empezamos por el primero. Utili-
zando la desigualdad de Chebychev y la relación (4.9) obtenemos
2 Z 2 Z

x ∈ R : |Hg(x)| > λ ≤ 2 2
|Hg(x)| dx =
2
|g(x)|2 dx
2 λ λ
R R
2 Z 2 Z
2 2
≤ |g(x)|2 dx + |g(x)|2 dx
λ Ωc λ Ω
2 Z
2 8
≤ (2λ) |f (x)|dx ≤ ||f ||1 ,
λ Ωc λ
teniendo en cuenta que g(x) ≤ 2λ en casi todo punto.
Por otro lado, se tiene

x ∈ R : |Hh(x)| > λ ≤ |Ω∗ | + |{x ∈ λ
/ Ω∗ : |Hh(x)| > }|
2 2
Z
2 2
≤ 2|Ω| + |Hh(x)|dx ≤ ||f ||1
λ ∗ c λ
Z (Ω )
2
+ |Hh(x)|dx,
λ (Ω∗ )c
donde hemos usado la segunda relación obtenida por la Descomposición de Calderón-

Zygmund, y la desigualdad de Chebychev. Para terminar basta ver que el último
término está acotado por ||f ||1 . En efecto, si cj es el centro de Ij , usando el Teorema
de Fubini y teniendo en cuenta que hj es de media nula, se tiene

Z Z X XZ
|Hh(x)|dx ≤ |Hhj (x)|dx = |Hhj (x)|dx
(Ω∗ )c (Ω∗ )c j j (Ω∗ )c
Z
XZ XZ
h j (y)

≤ |Hhj (x)|dx = dy dx
j (I ∗
j ) c
j (Ij
∗ ) c Ij
x − y
XZ Z !
1 1
≤ |hj (y)| − dy dx

j
∗
(Ij ) c Ij x − y x − c j
XZ Z !
1 1
= |hj (y)| − dx dy
∗ c
x − y x − c j

j Ij (Ij )
!
XZ Z
|Ij |
≤ |hj (y)| dx dy
j Ij (Ij∗ )c |x − cj |
XZ
=2 |hj (y)|dy ≤ 2||f ||1 ,
j Ij
R |Ij |
puesto que (Ij∗ )c |x−cj |
dx = 2.
OBSERVACIÓN 4.2.8. En [G-R] se puede ver una demostración alternativa del Teo-
rema de Kolmogorov donde se usan herramientas del Análisis Complejo.
TEOREMA 4.2.9. (Riesz) La transformada de Hilbert cumple la desigualdad (p, p)-

fuerte, para 1 < p < ∞, es decir
||Hf ||p ≤ cp ||f ||p .
Demostración. Por el Teorema 4.2.7 (Kolmogorov), hemos obtenido la desigualad

(1,1)-débil para el operador de Hilbert y por la Observación 4.2.6 la (2,2)-fuerte.
Utilizamos entonces el Teorema 1.2.11 (Marcinkiewicz), y obtenemos la desigualdad
(p, p)-fuerte para 1 < p ≤ 2. Veremos que dicha desigualdad es también válida para
2 < p < ∞. Se tiene el siguiente resultado de dualidad:
Z

||Hf ||p = sup Hf (x) · g(x)dx : ||g||p′ ≤ 1 ,
p′ g∈L R
de donde usando la relación (4.11) se obtiene

Z

||Hf ||p = sup f (x) · Hg(x)dx : ||g||p′ ≤ 1
′
g∈Lp R
≤ ||f ||p sup {||Hg||p′ : ||g||p′ ≤ 1} ≤ cp′ ||f ||p ,

′
g∈Lp
con lo que queda demostrado el Teorema de Riesz.
OBSERVACIÓN 4.2.10. En [Duo] se puede ver una demostración alternativa del

Teorema 4.2.9 (Riesz), sin utilizar la desigualdad (1,1)-débil.
OBSERVACIÓN 4.2.11. Las desigualdades (p, p)-fuerte para p = 1 ó p = ∞ en

general son falsas. Efectivamente, sea f = χ[0,1] . Entonces, Hf (x) = 1 log x
π x−1
, por
p
lo que Hf ∈
/ L con p ∈ {1, ∞}.
Utilizando los Teoremas de Riesz y Kolmogorov veremos cómo se extiende la

transformada de Hilbert para funciones de Lp con 1 ≤ p < ∞.
Sea f ∈ L1 y sea {fn } una sucesión de funciones de S que converge en la norma
|| · ||1 , es decir ||fn − f ||1 → 0 cuando n → ∞. Consideramos la sucesión {Hfn }. Por
el Teorema 4.2.7 (Kolmogorov), se tiene
c
|{x : |Hfn − Hfm | > ε}| ≤ ||fn − fm ||1 .
ε
Tomando el lı́mite cuando n, m tienden a infinito obtenemos
c
lı́m |{x : |Hfn − Hfm | > ε}| ≤ lı́m ||fn − fm ||1 = 0
n,m→∞ n,m→∞ ε
teniendo en cuenta que {fn } es una sucesión de Cauchy en ||·||1 , ya que es convergente
en L1 . Por lo tanto, {Hfn } es una sucesión de Cauchy en medida. Por ser R completo
con su norma usual, la sucesión {Hfn } es convergente en medida, es decir existe el
lı́mite de Hfn , que definiremos como la transformada de Hilbert de la función f .
Sea f ∈ Lp , con 1 < p < ∞. Sea {fn } ⊂ S tal que lı́mn→∞ ||fn − f ||p = 0. Por el
Teorema 4.2.9 (Riesz), {Hfn } es una sucesión de Cauchy en Lp y por completitud de
Lp , convergente en la norma || · ||p , a una función g ∈ Lp . Es decir, existe lı́mn→∞ Hfn
en norma que definiremos como la transformada de Hilbert de f .
4.3. Integrales truncadas y convergencia puntual

Hemos definido la transformada de Hilbert como un operador que actúa sobre fun-
ciones de Lp para 1 ≤ p < ∞. Por otro lado hay que observar que este operador no se
ha definido puntualmente. Por lo tanto, necesitamos introducir un nuevo concepto:
las integrales truncadas, y luego tomando el supremo de éstas veremos que este nuevo
Integrales truncadas y convergencia puntual 63
operador maximal cumple ciertas desigualdades débiles y fuertes que podemos usar
para probar que la transformada de Hilbert está bien definida puntualmente.
DEFINICIÓN 4.3.1. Se definen las integrales truncadas como

Z
1 f (x − y)
Hε f (x) = dy = f ∗ ψε (x)
π |y|>ε y
para f ∈ Lp , donde p ≥ 1.
OBSERVACIÓN 4.3.2. observamos que las integrales truncadas están bien definidas
para funciones de Lp con p ≥ 1. En efecto, las funciones y1 χ{|y|>ε} ∈ Lq con 1 < q ≤ ∞
y usamos la desigualdad de Hölder.
Veremos que los operadores Hε f cumplen la desigualdad (1,1)-débil y la (p, p)-

fuerte. En efecto, la desigualdad (1,1)-débil se obtiene como en el Teorema 4.3.1
(Kolmogorov). Para ver la desigualdad (p, p)-fuerte, empezamos probando que Hε f
cumple la desigualdad (2,2)-fuerte con una constante independiente de ε. Se tiene
Z Z
e−2πiyξ sin(2πyξ)
F(ψε )(ξ) = lı́m dy = lı́m −i dy
N →∞ ε<|y|<N y N →∞ ε<|y|<N y
Z 2πNξ
(4.12)
sin(t)
= −2isgnξ lı́m dt,
N→∞ 2πε|ξ| t
de donde obtenemos |F(ψε )| ≤ π para todo ε > 0. Por lo tanto, utilizando el Teorema
2.6.10 (Plancherel), se tiene
||Hε f ||2 = ||F(Hε f )||2 = ||F(f ∗ ψε )||2

= ||F(ψε )F(f )||2 ≤ ||F(f )||2 ||F(ψε )||∞
= ||f ||2 ||F(ψε )||∞ ≤ π||f ||2 ,
es decir, se cumple la desigualdad (2,2)-fuerte. La desigualdad (p, p)-fuerte es con-

secuenca del Teorema 1.2.11 (Marcinkiewicz), para p ≤ 2 y para p > 2 surge por
dualidad.
DEFINICIÓN 4.3.3. Se define el operador maximal
H ∗ f (x) = sup |Hε f (x)|.

ε>0
A continuación probaremos la desigualdad (1,1)-débil y la (p, p)-fuerte con 1 <

p < ∞ para el operador H ∗ . Empezamos demostrando la denominada desigualdad
de Cotlar:
TEOREMA 4.3.4. Se tiene
H ∗ f (x) ≤ M (Hf )(x) + cM f (x). (4.13)
Demostración. Bastarı́a demostrar la desigualdad (4.13) para Hε f con c indepen-

diente de ε, es decir ver si se cumple
Hε f (x) ≤ M (Hf )(x) + cM f (x).
Sea φ ∈ S(R) no negativa, par, decreciente en (0, ∞) con soporte en {x : |x| ≤ 21 } y tal
R
que R φ(x)dx = 1. Sea {φε }ε>0 la aproximación de identidad donde φε (x) = 1ε φ( xε ).
Obviamente, se tiene la siguiente expresión

1 1 1
ψε (y) = φε ∗ v.p. (y) + χ{|y|>ε} − φε ∗ v.p. (y).
x y x
Sean
1
A(y) = φε ∗ v.p. (y)
x
y
1 1
B(y) = χ{|y|>ε} − φε ∗ v.p. (y).
y x
Sea f ∈ Lp con p ≥ 1, entonces por definición ψε ∗ f = Hε f . Por otro lado basta
ver que A ∗ f está acotada por M (Hf ) y B ∗ f por cM f y la desigualdad de Cotlar
queda demostrada. Se tiene, por la Proposición 3.3.7

1 1
|A ∗ f (y)| = φε ∗ v.p. ∗ f (y) = φε ∗ v.p. ∗ f (y)
x x
= |(φε ∗ Hf )(y)| ≤ sup |φε ∗ Hf |
ε>0
≤ ||φ||1 M (Hf )(y) ≤ M (Hf )(y).
Por otro lado veremos que B ∗ f está acotado por M f , para ε = 1. Entonces por
dilatación, esta acotación será válida para todo ε > 0.
Sea |y| > 1, entonces

Z
1 1 1 φ(x)
|B(y)| = − φε ∗ v.p. (y) = − dx
y x y |x|≤1/2 y − x
Z
1 1
≤ φ(x) − dx ≤ c ,
|x|≤1/2 y y − x |y|2
R
puesto que para todo |x| ≤ 1/2, |y − x| ≤ |y| y Rn φ(x)dx = 1 .
Sea |y| < 1, entonces |y − x| ≤ 2 y

1 1
|B(y)| = χ{|y|>1} (y) − φε ∗ v.p. (y)
y x
Z
φ(y − x)
= 0 − lı́m dx
δ→0 δ<|x|<2 x
Z
φ(y − x) − φ(y)
≤ lı́m dx
δ→0 δ<|x|<2 x
Z
≤ ||φ′ ||∞ lı́m dx ≤ c,
δ→0 δ<|x|<2
1
donde hemos usado el hecho que la integral de x
es nula en δ < |x| < 2. Usando la
Observación 3.3.8, se tiene
B ∗ f (y) ≤ |B ∗ f (y)| ≤ cn M f (x).
COROLARIO 4.3.5. El operador H ∗ cumple la desigualdad (p, p)-fuerte para todo p,

1 < p < ∞.
Demostración. La desigualdad (p, p)-fuerte se obtiene inmediatamente del Teorema

4.3.4 puesto que los operadores de Hilbert, H y de Hardy-Littlewood, M cumplen la
misma desigualdad.
TEOREMA 4.3.6. El operador H ∗ es de tipo (1,1)-débil.
Demostración. Sea f ≥ 0, integrable. Hacemos la descomposición de Calderón-Zygmund

a la altura λ > 0 como en el Teorema 4.2.7 (Kolmogorov). Además, hacemos la misma
P
descomposición de la función f , es decir, f = g + h = g + hj .
Tenemos que probar la siguiente acotación

λ λ
|{x : |H f (x)| > λ}| ≤ x : |H g(x)| >
∗ ∗ + x : |H h(x)| >

∗ .
2 2
donde la acotación de primer sumando se consigue como en el Teorema de Kolmogo-

rov, usando la desigualdad de Chebychev y la relación (4.9), ya que por el Corolario
4.3.5 se ha obtenido la desigualdad (2,2)-fuerte para el operador H ∗ .
Veremos a continuación la siguiente acotación

λ
x ∈ R : H h(x) >
∗ ≤ c ||f ||1
2 λ
que por |Ω∗ | ≤ 2|Ω| se reduce a demostrar

λ
x∈
/ Ω∗
: H ∗
h(x) > ≤ c ||f ||1 .
2 λ
/ Ω∗ fijo. Entonces tendremos uno de los siguientes casos:

Sea x ∈
T
Primer caso: (x − ε, x + ε) Ij = Ij . En este caso, obviamente se tiene
Hε hj (x) = 0. (4.14)
T
Segundo caso: (x − ε, x + ε) Ij = ∅. Sea cj el centro de Ij , entonces por ser
R
Ij
hj (y)dy = 0 se tiene
Z
h (y) h (y)
j j
|Hε hj (x)| = − dy
Ij x − y x − cj
Z (4.15)
1 1 |Ij |
≤
x − y − x − cj |hj (y)|dy ≤ |x − cj |2 ||hj ||1 .
Ij
Tercer caso: x − ε ∈ Ij ó x − ε ∈
/ Ij . Entonces Ij ⊂ (x − 3ε, x + 3ε) puesto que
/ Ω∗ para todo y ∈ Ij , |x − y| > ε/3. Por lo tanto
x∈
Z Z x+3ε
|hj (x)| 3
|Hε hj (x)| ≤ dy ≤ |hj (y)|dy. (4.16)
Ij |x − y| ε x−3ε
Para todo ε > 0, sumando en j se obtiene
X X3 Z
|Ij |
|Hε h(x)| ≤ ||hj ||1 + c |hj (y)|dy
j
|x − cj |2 j
ε (x−3ε,x+3ε)∩Ij
X |Ij |
≤ ||hj ||1 + cM h(x),
j
|x − cj |2
de donde considerando el supremo sobre todo ε > 0 y usando la desigualdad de

Chebychev se tiene
λ
/ Ω∗ : |H ∗ h(x)| >
|{x ∈ }|
2
X |Ij | λ
≤ |{x ∈
/ Ω∗ : 2
||hj ||1 > }|
j
|x − cj | 4
cλ
+ |{x ∈ R : M h(x) > }|
Z 4
4 X |Ij | c′ C
≤ dx||hj ||1 + ||h||1 ≤ ||f ||1 ,
λ j (Ij∗ )c |x − cj | λ λ
teniendo en cuenta que la función maximal de Hardy-Littlewood, M , cumple la de-

sigualdad (1,1)-débil.
OBSERVACIÓN 4.3.7. El operador H se define puntualmente, es decir
lı́m Hε f (x) = Hf (x) en c.t.p.

ε→0
para toda f ∈ Lp (R), donde 1 < p < ∞. En efecto, usamos el Corolario 4.3.5 y el
Teorema 3.3.6.
OBSERVACIÓN 4.3.8. En el libro de [G-R], se demuestra la existencia del lı́mite

puntual para la transformada de Hilbert, utilizando en vez de las integrales truncadas,
el Teorema de Fatou.
OBSERVACIÓN 4.3.9. La expresión (4.8) ofrece un nuevo punto de vista de la

transformada de Hilbert. En efecto, m(ξ) = −isgnξ ∈ L∞ es el multiplicador de la
transformada de Hilbert y se han obtenido algunos resultados sobre el operador H
que provienen del estudio de los multiplicadores.
Capı́tulo 5
Integrales singulares
La transformada de Hilbert es una integral singular, la más sencilla como ya hemos

visto en el Capı́tulo 4. En este capı́tulo generalizamos y caracterizamos este concepto.
5.1. Introducción a las integrales singulares

En esta sección introducimos las integrales singulares dadas por convolución.
DEFINICIÓN 5.1.1. Sea K una distribución temperada. El operador
T f = K ∗ f, (5.1)
donde f ∈ S(Rn ), se denominará integral singular si se cumplen las siguiente condi-

ciones:
a) K̂ ∈ L∞ (Rn );
b) K coincide en Rn \ {0} con una función localmente integrable, que seguiremos
denotándola K, y llamaremos núcleo asociado al operador T que satisface la condición
de Hörmander
Z
|K(x − y) − K(x)|dx ≤ CK , para todo y ∈ Rn . (5.2)
|x|>2|y|
OBSERVACIÓN 5.1.2. La condición b) nos permite expresar (5.1) como

Z
T f (x) = v.p.K ∗ f (x) = lı́m K(y)f (x − y)dy. (5.3)
ε→0 |y|>ε
69
70 Integrales singulares
PROPOSICIÓN 5.1.3. La condición de Hörmander se cumple si

c
|∇K(x)| ≤ .
|x|n+1
Demostración. Usando el Teorema del Valor Medio y la hipótesis, se tiene
Z Z Z
c
|K(x − y) − K(x)|dx ≤ |∇K(x)||y|dx = |y| n+1
dx = c.
|x|>2|y| |x|>2|y| |x|>2|y| |x|
Un caso particular de integrales singulares son los operadores cuyos núcleo aso-
Ω(y ′ ) y
ciado es KΩ (y) = |y|n
, donde Ω ∈ L1 (S n−1 ), es de media nula y y ′ = |y|
. Se tiene
entonces, Z
Ω(y ′ )
T f (x) = lı́m f (x − y)dy. (5.4)
ε→0 |y|>ε |y|n
El operador dado por (5.4) tendrı́a sentido para funciones de la clase de Schwarz, ya
′
que es la convolución de f con la distribución temperada v.p. Ω(y |y|n
)
dado por
Z
Ω(x′ ) Ω(x′ )
v.p. , φ = lı́m φ(x)dx
|x|n ε→0 |x|>ε |x|n
Z Z
Ω(x′ ) Ω(x′ )
= n
[φ(x) − φ(0)]dx + n
φ(x)dx,
|x|<1 |x| |x|>1 |x|
donde hemos utilizado la media nula de Ω para restar el término φ(0). Las dos integra-
φ(x)−φ(0)
les convergen: fácilmente se ve la segunda y la primera converge puesto que |x|n
está controlado por ||∇φ||∞ .
OBSERVACIÓN 5.1.4. Observamos, en el caso unidimensional, que si Ω(y ′ ) = π1 sgny,

(5.4) es simplemente la transformada de Hilbert.
DEFINICIÓN 5.1.5. Sea
ω∞ (t) = sup{|Ω(u1 ) − Ω(u2 )| : |u1 − u2 | ≤ t, u1 , u2 ∈ S n−1 }.
Se dice que Ω cumple la condición de tipo Dini si

Z 1
ω∞ (t)
dt < ∞. (5.5)
0 t
PROPOSICIÓN 5.1.6. Si Ω satisface la condición de tipo Dini entonces el núcleo
KΩ cumple la condición de Hörmander.
Un caso particular de integrales singulares 71
Demostración. Queremos ver que se satisface

Z
|KΩ (x − y) − KΩ (x)|dx < c.
|x|>2|y|
Se tiene, por la desigualdad triangular

Ω((x − y)′ ) Ω(x′ )
|KΩ (x − y) − KΩ (x)| = −
|x − y|n |x|n

Ω((x − y)′ ) − Ω(x′ ) 1 1
≤ + |Ω(x )|

′
−
|x − y|n |x|n .
|x − y|n
Integramos sobre {|x| > 2|y|}. Usando la condición de Dini para Ω, e integrando en
coordenadas polares obtenemos para el primer sumando
Z Z
Ω((x − y)′ ) − Ω(x′ ) ω∞ (4|y|/|x|)
dx ≤ dx
|x − y| n (|x|/2)n
|x|>2|y| |x|>2|y|
Z 2
n n−1 ω∞ (t)
= 2 |S | dt ≤ c,
0 t
4|y|
teniendo en cuenta que |(x − y)′ − x′ | ≤ |x|
.
Por otro lado, el segundo sumando está acotado por estarlo Ω. Efectivamente, se
tiene

|Ω(x )|
′ 1
n −
1 ≤ c |y| ,
|x − y| |x|
n |x|n+1
de donde integrando en {|x| > 2|y|}, se obtiene
Z
|y|
n+1
dx ≤ c.
{|x|>2|y|} |x|
5.2. Un caso particular de integrales singulares

Nuestro propósito es estudiar las acotaciones de las integrales singulares. Hemos em-
pezado nuestro estudio con los operadores dados por convolución . En este caso ob-
servamos que por la condición a) de la Definición 5.1.1 y por el Teorema 2.6.10
(Plancherel), se obtiene
||T f ||2 ≤ ||K̂||∞ ||f ||2 , (5.6)
es decir, podemos extender T a un operador acotado de L2 . Sin embargo, obtener

otras estimaciones es un trabajo que requiere algunas herramientas más. Además, es
conveniente empezar con el estudio de las integrales singulares con núcleo asociado
Ω(y ′ )
KΩ (y) = |y|n
para poder llegar a generalizar para todo núcleo K que cumple las
propiedades a) y b) de la Definición 5.1.1.
PROPOSICIÓN 5.2.1. La media nula de Ω sobre S n−1 es necesaria para la existencia

del lı́mite ( 5.4).
Demostración. Sea f ∈ S(Rn ) de manera que f (x) = 1 en B̄(0, 2). Suponiendo

|x| ≤ 1, podemos expresar (5.4) como
Z Z
Ω(y ′ ) Ω(y ′ )
T f (x) = n
f (x − y)dy + lı́m dy,
|y|>1 |y| ε→0 ε<|y|<1 |y|n
de donde mientras la primera integral converge, para la segunda obtenemos, en coor-

denadas polares y usando el Teorema de Fubini, el siguiente
Z Z 1 Z
Ω(y ′ ) Ω(y ′ ) n−1
lı́m = lı́m r dσ(y)dr
ε→0 ε<|y|<1 |y|n ε→0 ε S n−1 r
n
Z Z 1 Z
′ 1 1
= lı́m Ω(y ) drdσ(y) = lı́m log Ω(y ′ ),
ε→0 S n−1 ε r ε→0 ε S n−1
que es finito sólo si Ω es de media nula.
Ahora vamos a calcular la transformada de Fourier de KΩ y a continuación busca-

remos condiciones para que esté acotada de manera que se cumpla a) de la Definición
5.1.1. Tendremos entonces, por la relación (5.6), la extensión del operador T en L2 .
DEFINICIÓN 5.2.2. Una función f es homogénea de grado a si
f (λx) = λa f (x), (5.7)
para todo x ∈ Rn y λ > 0.
OBSERVACIÓN 5.2.3. Si φ es una función de manera que la siguiente integral sea

finita, y sea φ(λ) = λ−n φ(λ−1 x), entonces se tiene
Z Z
−n
f (x)φλ (x)dx = λ f (x)φ(x)dx.
Rn Rn
Por la Observación 5.2.3 surge la siguiente definición:

DEFINICIÓN 5.2.4. Una distribución T es homogénea de grado a si para toda

φ ∈ S(Rn ) se satisface
T (φλ ) = λa T (φ). (5.8)
OBSERVACIÓN 5.2.5. La distribución dada por (5.4) es homogénea de grado −n.

En efecto, este resultado se obtiene haciendo un simple cambio de variables.
PROPOSICIÓN 5.2.6. Si T es una distribución temperada homogénea de grado a,

su transformada de Fourier es una distribución homogénea de grado −n − a.
Demostración. Sea T el operador de grado a > 0, es decir,
T (φλ ) = λa T (φ), (5.9)
para toda φ ∈ S(Rn ). Queremos ver que F(T )(φλ ) = λ−n−a F(T )(φ). Sea λ−1 = µ,
entonces se tiene por la Definición 2.6.7 y la propiedad 5 de la Sección 2.6
F(T )(φλ ) = T F(φλ ) = T F(λ−n φ(λ−1 x)) = µn T (Fφ(µx))

= µn T F(φµ ) = µn+a T F(φ) = λ−n−a F(T )φ.
OBSERVACIÓN 5.2.7. Podemos usar la Proposición 5.2.6 para calcular la transfor-

n
mada de Fourier de la función f (x) = |x|−a para 2
< a < n. Efectivamente, f se
descompone en una función f1 ∈ L1 y f2 ∈ L2 , es decir f1 = f χ{|x|<1} y f2 = f χ{|x|≥1} .
Ası́, la transfomada de Fourier de f es una función que pertenece en el espacio vec-
torial L∞ (Rn ) + L2 (Rn ) ⊂ L1 (Rn ) ⊂ S ′ (Rn ). Usando la Proposición 5.2.6, fˆ es
loc
homogénea de grado −n + a, es decir fˆ(x) = ca,n |x|a−n . Falta calcular los ca,n . Sea
2
φ(x) = e−π|x| . Por el Lema 2.6.4 se tiene
Z Z Z
−π|x|2 −a −π|x|2 −a 2
e |x| dx = F(e )|x| dx = e−π|x| F(|x|−a )dx
Rn Rn Z Rn
(5.10)
2
= ca,n e−π|x| |x|a−n dx.
Rn
Teniendo en cuenta que

Z ∞
−πr 2 b 1 n+b
e r dr = Γ ,
0 2 2
y usando coordenadas polares en (5.10) se tiene
π a−n/2 Γ((n − a)/2)

ca,n = .
Γ(a/2)
TEOREMA 5.2.8. Sea Ω una función de media nula en S n−1 . La transformada de

′
Fourier de v.p. Ω(x
|x|n
)
es la función homogénea de grado 0
Z
1 π
m(ξ) = Ω(u) log − i sgn(u · ξ) dσ(u). (5.11)
S n−1 |u · ξ| 2
′
Demostración. Sea T = v.p. Ω(x
|x|n
)
. Vamos a calcular la transformada de Fourier de
esta distribución, es decir T̂ (φ), donde φ ∈ S(Rn ). Se tiene, por la Definición 2.6.7 y
por el Teorema de Fubini,
Z
Ω(y ′ )
T̂ (φ) = T (φ̂) = lı́m φ̂(y)dy
ε→0 ε<|y|<1/ε |y|n
Z Z
Ω(y ′ )
= lı́m φ(ξ)e−2πy·ξ dξdy
ε→0 ε<|y|<1/ε Rn |y|n
Z Z
Ω(y ′ ) −2πy·ξ
= φ(ξ) lı́m e dy dξ.
Rn ε→0 ε<|y|<1/ε |y|n
R Ω(y ′ ) −2πy·ξ R
Basta ver que lı́mε→0 ε<|y|<1/ε |y|n
e dy = m(ξ) por lo que T̂ (φ) = Rn
φ(ξ)m(ξ)dξ,
es decir T̂ = m(ξ). Teniendo en cuenta la media nula de Ω se tiene
Z
Ω(y ′ ) −2πiy·ξ
lı́m e dy
ε→0 ε<|y|<1/ε |y|n
Z "Z Z 1/ε #
1
dr dr
= lı́m Ω(u) (e−2πiru·ξ − 1) + e−2πru·ξ dσ(u)
ε→0 S n−1 ε r 1 r
Z
= lı́m Ω(u)(A + Bi)dσ(u),
ε→0 S n−1
donde hemos usado la fórmula (2.2) (Euler) y

Z 1 Z 1
dr dr
A= (cos 2πr(u · ξ) − 1) + cos 2πr(u · ξ) ,
ε r 1/ε r
Z 1/ε
dr
B= sin 2πr(u · ξ) .
ε r
1
Se puede calcular, haciendo un cambio de variables, que A tiende a log u·ξ cuando
ε → 0 y B tiende a π2 sgn(u · ξ). Por lo tanto, usando el Teorema 1.1.4 (Convergencia
Dominada) se tiene
Z Z
1 π
lı́m Ω(u)(A + Bi)dσ(u) = Ω(u) log − i sgn(u · ξ) dσ(u)
ε→0 S n−1 S n−1 |u · ξ| 2
= m(ξ).
OBSERVACIÓN 5.2.9. Observamos que sólo en el caso que Ω es impar, m(ξ) está aco-
tada, puesto que el producto de una función impar por una función par como es
1
log |ξ·u| , es una función impar y este producto será de media nula sobre S n−1 . Por lo
tanto, hasta ahora sabemos que sólo las integrales singulares con Ω impar se pueden
extender sobre funciones de L2 ya que ||T f ||2 ≤ ||K̂Ω ||∞ ||f ||2 .
OBSERVACIÓN 5.2.10. Dada una función Ω en S n−1 se puede descomponer en sus

partes par e impar
1 1
Ωp (u) = (Ω(u) + Ω(−u)), Ωi (u) = (Ω(u) − Ω(−u)).
2 2
COROLARIO 5.2.11. Sea Ω de manera que Ωi (u) ∈ L1 (S n−1 ) y Ωp (u) ∈ Lq (S n−1 )
′
para algún q > 1. Entonces la transformada de Fourier de v.p. Ω(x
|x|n
)
está acotada.
Demostración. Teniendo en cuenta el Teorema 5.2.8 y utilizando la observación an-

terior, se tiene
Z
1 π
m(ξ) = (Ωi (u)) log − i sgn(u · ξ) dσ(u)
S n−1 |u · ξ| 2
Z
1 π
+ (Ωp (u)) log − i sgn(u · ξ) dσ(u).
S n−1 |u · ξ| 2
La primera integral es finita por la Observación 5.2.9, mientras que la segunda pode-
mos acotarla usando la desigualdad de Hölder, por lo que se tiene Ωp (u) ∈ Lq (S n−1 ),
con q > 1.
OBSERVACIÓN 5.2.12. En el teorema anterior la condición Ωp (u) ∈ Lq (S n−1 ) se

puede sustituir por una condición más débil
Ωp ∈ L log+ L(S n−1 ),

donde Z
+ n−1 +
L log L(S )= f : |f (u)| log |f (u)|dσ(u) < ∞
S n−1
y log+ t = max(0, log t). Efectivamente, veremos la acotación de

Z Z Z
1 1 1
Ω(u) log dσ(u) = Ω(u) log dσ(u) + Ω(u) log dσ(u),
S n−1 |u · ξ| D |u · ξ| Dc |u · ξ|
(5.12)
donde D = {u ∈ S n−1 : |Ω(u)| ≥ 1}. La primera integral es finita ya que por la

desigualdad
ab ≤ a log a + eb , a ≥ 1, b ≥ 0,
1
se deduce, considerando a = Ω(u) y b = log |u·ξ| ,
Z Z Z

Ω(u) log 1 dσ(u) ≤ |Ω(u)| log Ω(u)|dσ(u) +
1
|u · ξ|− 2 dσ(u).
|u · ξ|
D D D
La segunda integral de (5.12) es finita puesto que Ω está acotada.
5.3. Método de Rotaciones

En esta sección introducimos el Método de Rotaciones que nos servirá para probar
la acotación del operador T dado por (5.4) en los espacios Lp (Rn ), con 1 < p < ∞.
Más aún, probaremos la existencia del lı́mite puntual del dicho operador.
OBSERVACIÓN 5.3.1. Sea T un operador unidimensional acotado de Lp (R) y sea

u ∈ S n−1 . Consideramos Mu = {λu : λ ∈ R} y sea Mu⊥ su subespacio ortogonal en
Rn . Entonces, cada x ∈ Rn se puede expresar de manera única como x = λu + x̄ para
algún λ ∈ R y x̄ ∈ Mu⊥ .
DEFINICIÓN 5.3.2. Teniendo en cuenta las condiciones de la observación anterior,

se definen los operadores direccionales de T como
Tu f (x) = T f (·u + x̄)(λ), (5.13)
donde x ∈ Rn , λ ∈ R.
Método de Rotaciones 77
Observamos que mientras el operador T es unidimensional, los operadores Tu son

n-dimensionales. Lo que intetaremos hacer es, demostrar que ciertas propiedades del
operador T se heredan a los Tu . Para ser más precisos, veremos que las integrales
singulares n−dimensionales se expresan mediante algunos operadores direccionales
relacionados con la transformada de Hilbert. Ası́ veremos que, desigualdades que
cumple la transformada de Hilbert, las cumplen los operadores direccionados aso-
ciados a ésta, y a continuación las integrales singulares. Por lo tanto empezamos
definiendo ciertos operadores direccionales.
DEFINICIÓN 5.3.3. Se definen las transformadas de Hilbert direccionales como

Z
1 dλ
Hu f (x) = lı́m f (x − λu) (5.14)
π ε→0 |λ|>ε λ
PROPOSICIÓN 5.3.4. En las condiciones de la Observación 5.3.1, el operador n-

dimensional Tu está acotado en Lp (Rn ).
Demostración. Sea f (·u + x̄) = fu (λ). Teniendo en cuenta la acotación del operador
T en Lp (R) se tiene
Z Z Z
||Tu f ||pp = p
|Tu f (x)| dx = |T fu (λ)|p dλdx̄
n ⊥
ZR ZMu Mu
≤ ||T fu ||pp dx̄ ≤ c ||T ||p ||fu ||pp dx̄

Mu⊥ Mu⊥
Z Z
p
= c||T || |fu (λ)|p dλdx̄
⊥
Z ZMu R
≤c |fu (λ)|p dλdx̄ = c||f ||p .
Rn−1 R
PROPOSICIÓN 5.3.5. Sea T un operador unidimensional definido en Lp (R) y sea

Ω ∈ L1 (S n−1 ). Sean Tu los operadores direccionales asociados a T . Entonces el opera-
dor Z
TΩ f (x) = Ω(u)Tu f (x)dσ(u) (5.15)
S n−1
está acotado en Lp (Rn ).

Demostración. Usando la desigualdad integral de Minkowski obtenemos

Z Z

||TΩ f ||p =
Ω(u)Tu f (x)dσ(u) ≤ ||Ω(u) · Tu f ||p dσ(u)
S n−1 p S n−1
Z
≤ |Ω(u)|||Tu f (x)||p dσ(u) ≤ c||f ||p ,
S n−1
teniendo en cuenta la Proposición 5.3.4.
OBSERVACIÓN 5.3.6. El operador T dado por (5.4), con Ω impar se puede ex-
presar en relación con los Tu , que en este caso serı́an las transformadas de Hilbert
direccionales. Efectivamente, usando las coordenadas polares se obtiene
Z Z ∞
dr
T f (x) = lı́m Ω(u) f (x − ru) dσ(u)
ε→0 S n−1 ε r
Z Z
1 dr
= lı́m Ω(u) f (x − ru) dσ(u)
ε→0 2 S n−1 |r|>ε r
Z
π
= Ω(u)Hu f (x)dσ(u),
2 S n−1
por lo que se obtiene el siguiente corolario:
COROLARIO 5.3.7. Sea Ω ∈ L1 (S n−1 ) una función impar de media nula. Entonces
el operador T definido por ( 5.4) está acotado en Lp (Rn ), con 1 < p < ∞.
OBSERVACIÓN 5.3.8. Usando el corolario anterior, podemos extender las integrales

singulares dadas por (5.4) sobre funciones de Lp (Rn ), pero todavı́a no hemos proba-
do que el lı́mite existe puntualmente. Por esto, introducimos el operador maximal
asociado a la integral singular T ∗ , dado por
Z
Ω(y ′ )
∗
T f (x) = sup f (x − y)dy . (5.16)
n
ε>0 |y|>ε |y|
Se puede ver que T ∗ cumple la desigualdad (p, p)-fuerte. En efecto, dicha desigualdad
se deduce de la siguiente expresión
Z
∗ π
T f (x) ≤ |Ω(u)|Hu∗ f (x)dσ(u),
2 S n−1
teniendo en cuenta la Proposición 5.3.4 y el Teorema 4.3.5. Por lo tanto, T ∗ cumple

las condiciones del Teorema 3.3.6, de donde se obtiene la existencia en “casi todo
punto” del lı́mite (5.4).
Transformadas de Riesz 79
5.4. Transformadas de Riesz

Para estudiar las integarles singulares hemos empezado con la transformada de Hil-
bert (Capı́tulo 4). Al principio de este capı́tulo definimos la clase de las integrales
singulares que son convolución de un núcleo K que cumple ciertas propiedades, con
una función de la clase de Schwarz. Además, hemos visto algunos resultados en el
caso que K = KΩ , de donde con Ω(y ′ ) = π1 sgn(y) se recuperaba la transformada de
Hilbert. En esta sección veremos otro ejemplo de las integrales singulares con núcleo
KΩ ; definiremos y estudiaremos las transformadas de Riesz. Veremos que estas trans-
formadas son el análogo de la transformada de Hilbert en el caso n−dimensional.
DEFINICIÓN 5.4.1. Sea 1 ≤ j ≤ n. Se define la j-ésima transformada de Riesz

como
Z
yj
Rj f (x) = cn v.p. f (x − y)dy, (5.17)
Rn |y|n+1
n+1
con cn = Γ( n+1
2
)π − 2 , para toda f ∈ S(Rn ).
OBSERVACIÓN 5.4.2. Considerando n = 1 en la definición anterior, se puede recu-

perar la transformada de Hilbert.
OBSERVACIÓN 5.4.3. La integral (5.17) tiene sentido incluso para funciones inte-
grables que cumplen una condición Lipshitziana. Para más detalles véase [Gr].
La siguiente proposición explica por qué la constante cn está elegida de esta ma-
nera.
PROPOSICIÓN 5.4.4. Se tiene
ξj
F(Rj (f ))(ξ) = −i F(f )(ξ). (5.18)
|ξ|
Demostración. Por la propia definición de las transformadas de Riesz podemos escri-

bir Rj f (x) = Rj ∗ f (x). Para toda φ ∈ S(Rn ) se tiene

xj 1 ∂ −n+1
hRj , φi = v.p n+1 , φ = |x| ,φ . (5.19)
|x| 1 − n ∂xj
Tomando las transformadas de Fourier en ambos lados de (5.19) y usando la sexta

propiedad de la transformada de Fourier (Sección 2.6) se tiene

1 ∂ −n+1
hF(Rj ), φi = F( |x| ), φ
1−n ∂xj
2πiξj

= F(|x|−n+1 ), φ
1−n
n+1
π 2 ξj ξj
= −i n+1 ,φ ,
Γ( 2 ) |ξ| |ξ|
donde hemos usado la la Observación 5.2.7. En efecto, n/2 < a = n − 1 < n y
F(|x|−a ) = ca,n |x|a−n . (5.20)
En el caso que n = 2, es decir, a tiende a n/2, se puede utilizar de nuevo (5.20),

puesto que la transformada de Fourier es una aplicación continua. Se tiene
ξj
F(Rj f )(ξ) = F(Rj ∗ f )(ξ) = F(Rj )F(f )(ξ) = −i F(f )(ξ).
|ξ|
COROLARIO 5.4.5. Se tiene n

X
Rj2 = −I. (5.21)
j=1
Demostración. Se demuestra utilizando la Proposición 5.4.4 y el Teorema 2.6.10

(Plancherel).
5.5. Integrales singulares con núcleo par

Seguimos estudiando el caso paticular de las integrales singulares con núcleo K = KΩ .
Por el Método de Rotaciones, cuando Ω es impar, obtuvimos dos resultados; primero,
definir el operador T dado por (5.4) puntualmente, y segundo, obtener una acotación
(p, p)-fuerte (Corolario 5.3.7), con 1 < p < ∞. En esta sección generalizamos estos
resultados para todo Ω par o impar. Empezamos considerando Ω una función par.
Entonces, utilizando la relación (5.21) se obtiene
n
X n
X
Tf = − Rj2 (T f ) =− Rj (Rj T )f, (5.22)
j=1 j=1
Integrales singulares con núcleo par 81
donde Rj T deberı́a tener núcleo impar ya que se descompone una función impar y otra
par. El problema consiste en demostrar que este operador admite una representación
puntual y a continuación, con una serie de lemas, probaremos las acotaciones (p, p)-
fuertes del operador (5.4), con 1 ε} , (5.23)
|x|n
donde Ω ∈ Lq (S n−1 ) con q > 1, entonces se obtiene para toda f ∈ C ∞ (Rn ) de soporte
compacto
Rj (Kε ∗ f ) = (Rj Kε ) ∗ f. (5.24)
Efectivamente, basta observar que Kε ∈ Lr (Rn ), con 1 < r ≤ q y tomar transforma-
das de Fourier a ambos lados.
Usando la Observación 5.5.1 podemos expresar el operador T , con núcleo KΩ dado
por (5.4) como
n
X
T f = − lı́m Rj [(Rj Kε ) ∗ f ]. (5.25)
ε→0
j=1
LEMA 5.5.2. En las condiciones de la Observación 5.5.1, existe K̃j (x) impar, ho-
mogénea de grado −n tal que lı́mε→0 Rj Kε (x) = K̃j (x) uniformemente sobre todo
compacto que no contiene al origen.
Demostración. Sea x ∈ Rn de manera que 0 < δ < ε < η < |x|/2. Entonces,
Z
xj − yj
Rj Kε (x) − Rj Kη (x) = lı́m cn n+1
[Kε (y) − Kη (y)]dy
δ→0 |x−y|>δ |x − y|
Z
xj − yj Ω(y ′ )
= cn n+1 |y|n
dy
ε<|y|<η |x − y|
Z
xj − yj xj Ω(y ′ )
= cn n+1
− dy,
ε<|y|<η |x − y| |x|n+1 |y|n
donde hemos usado la media nula de Ω. Aplicando el Teorema de Valor Medio y la
desigualdad de Hölder se tiene
Z
c Ω(y ′ )
|Rj Kε (x) − Rj Kη (x)| ≤ n+1 n
dy
|x| ε<|y|<η |y|

c 1
≤ n+1 ||Ω||1 sup (5.26)
|x| ε<|y|<η |y|n−1
c
≤ n+1 ||Ω||1 η.
|x|
Por lo tanto, {Rj Kε (x)} es una sucesión de Cauchy de Rn y por ser Rn completo
con su norma usual, la sucesión esta es convergente, además uniformemente en |x| >
2η. Sea lı́mε→0 Rj Kε (x) = K̃j (x) que es impar y homogénea de grado −n por serlo
Rj K ε .
OBSERVACIÓN 5.5.3. Observamos que la existencia del lı́mite puntual en el lema

anterior nos permite obtener la existencia del lı́mite puntual del operador T dado por
(5.4) cuando Ω es par, algo que no pudimos obtener por el Método de las Rotaciones.
Efectivamente, la existencia del K̃j , impar, usando la transformada de Riesz Rj sobre
éste y tomando sumas sobre j = 1, . . . , n nos define el operador T dado por (5.4)
puntualmente. Es decir,
n
X n
X
T f (x) = − Rj (Rj T )f (x) = − lı́m Rj (Rj Kε ) ∗ f (x)
ε→0
j=1 j=1
Xn n
X
=− Rj lı́m(Rj Kε ) ∗ f (x) = − K̃j ∗ f (x),
ε→0
j=1 j=1
teniendo en cuenta que las sumas son finitas.
LEMA 5.5.4. El núcleo K̃j definido en el Lema 5.5.2 verifica

Z
|K̃j (x′ )|dσ(x′ ) ≤ cq ||Ω||q . (5.27)
S n−1
Además, si K̃j,ε (x) = K̃j (x)χ{|x|>ε} entonces,
∆ε := Rj Kε − K̃j,ε ∈ L1 (Rn ),
||∆ε ||1 ≤ ||Ω||q . (5.28)
Demostración. Por ser K̃j homogénea de grado n, es decir

′ x
K̃j (x ) = K̃j = |x|n K̃j (x),
|x|
se tiene usando las coordenadas polares y el Teorema de Fubini
Z Z
K̃j (x)dx = |x|−n K̃j (x′ )dx
1<|x|<2 1<|x|<2
Z 2Z
K̃j (x′ ) n−1
= r dσ(x′ )dr
1 n−1
S rn
Z
= log 2 K̃j (x′ )dσ(x′ ).
S n−1
Integrales singulares con núcleo par 83
Por lo tanto, usando la desigualad triangular obtenemos

Z Z
′ ′ 1
|K̃j (x )|dσ(x ) = log |K̃j (x′ )|dx
S n−1 2
Z1<|x|<2 (5.29)
1
≤ log (|K̃j (x) − Rj K1/2 (x)| + |Rj K1/2 (x)|)dx.
2 1<|x|<2
Se tiene para |x| > 1, η = 1/2, usando (5.26) y tomando lı́mite cuando ε → 0
||Ω||1
|K̃j (x) − Rj K1/2 (x)| ≤ c ,
|x|n+1
de donde integrando en {1 < |x| < 2} y usando la desigualdad de Hölder obtenemos
Z
|K̃j (x) − Rj K1/2 (x)|dx ≤ c||Ω||q , (5.30)
1<|x|<2
R
donde q > 1. Para ver (5.27), falta acotar 1<|x|<2
|Rj K1/2 (x)|dx por ||Ω||q , que se
obtiene usando de nuevo la desigualdad de Hölder, es decir
Z
|Rj K1/2 (x)|dx ≤ c||Rj K1/2 ||q ≤ c||K1/2 ||q ≤ c||Ω||q .
1<|x|<2
Si probamos que ||∆1 ||1 < ∞, observando que ∆ε = ε−n ∆1 (ε−1 x), la relación (5.28)
queda demostrada. Se tiene
Z
||∆||1 = |Rj K1 (x) − K̃j,1 (x)|dx
Rn
Z Z Z (5.31)
≤ |Rj K1 (x)|dx + |K̃j (x)|dx + |∆1 (x)|dx.
|x|≤2 1≤|x|≤2 |x|≥2
La primera integral de (5.31), usando la desigualdad de Hölder, se puede acotar por

||Rj K1 ||q ≤ c||Ω||q , puesto que ||K1 ||q ≤ c||Ω||q , de nuevo por la desigualdad de
Hölder. Para la segunda integral hacemos el mismo razonamiento que en (5.29) y
(5.30). La tercera integral está bien definida ya que integramos fuera del cero.
TEOREMA 5.5.5. Sea Ω una función definida en S n−1 de media nula tal que su
parte impar está en L1 (S n−1 ) y su parte par en Lq (S n−1 ) para algún q > 1. Entonces,
la integral singular dada por ( 5.4) está acotada en Lp (Rn ), para todo 1 < p < ∞.
Demostración. En el caso que Ω es impar, el resultado se obtiene por el Corolario

5.3.7. Por tanto, sea Ω par. El operador T dado por (5.4) se expresa como en (5.25),
es decir n
X
T f = − lı́m Rj [(Rj Kε ) ∗ f ].
ε→0
j=1
Pn
Veremos que j=1 Rj [(Rj Kε ) ∗ f ] está acotado e independiente de ε. Teniendo en
cuenta el Lema 5.5.4 escribimos
(Rj Kε ) ∗ f = (∆ε + K̃j,ε ) ∗ f.
Para cada uno de los sumandos obtenemos las siguientes acotaciones. Por un lado se
tiene
||∆ε ∗ f ||p ≤ c||∆ε ||1 ||f ||p ≤ ||Ω||q ||f ||p .
Por otro lado usando el Corolario 5.3.7, puesto que K̃j es impar se tiene
||K̃j,ε ∗ f || ≤ c||K̃j,ε ||1 ||f ||p

Z
=c |K̃j (x)|dx||f ||p
|x|>ε
= c||Ω||q ||f ||p .
Por lo tanto, usando la acotación de Rj en la norma || · ||p , obtenemos por la De-

sigualdad Integral de Minkowski y teniendo en cuenta que las sumas son finitas, lo
siguiente
n
X

||Kε ∗ f ||p = Rj [(Rj Kε ) ∗ f ]

j=1 p
n
X
≤ ||Rj [(Rj Kε ) ∗ f ]||p ≤ c||f ||p ,
j=1
que es independiente de ε. Por lo tanto tomando lı́mite cuando ε tiende hacia 0, se

obtiene
||T f ||p ≤ c||f ||p ,
con 1 < p < ∞.
5.6. El Teorema de Calderón-Zygmund

Teniendo en cuenta el Teorema 5.5.5 y siguiendo la lı́nea del estudio de la transforma-
da de Hilbert, nos preguntamos si el operador T dado por (5.4) cumple la desigualdad
(1, 1)-débil. La respuesta es afirmativa. Para verlo probaremos el Teorema de Cal-
derón-Zygmund que no sólo verifica la desigualdad (1,1)-débil para el operador T con
El Teorema de Calderón-Zygmund 85
núcleo KΩ , sino para toda integral singular T que viene dada por convolución (5.3).
Además el mismo teorema nos permite extender T sobre toda función de Lp (Rn ), con
1 λ}| ≤ ||f ||1 , (5.32)
λ
||T f ||p ≤ cp ||f ||p , 1 0. Hacemos la descomposición de Calderón-Zygmund a la altura λ como en
el Teorema 4.2.7 (Kolmogorov). Denotamos {Qj } la sucesión de cubos que obtenemos
por el Teorema 3.4.7 (Descomposición de Calderón-Zygmund) y Q∗j su padre. Sea Ω =
S ∗
S ∗
j Qj , denotaremos Ω = j Qj . Descomponemos f = g + h, donde g, h se definen
como en la demostración del Teorema 4.2.7, considerando en vez de los intervalos Ij
los cubos diádicos Qj . Se tiene entonces,
|{x ∈ Rn : |T f (x)| > λ}| ≤ |{x ∈ Rn : |T g(x)| > λ/2}| + |{x ∈ Rn : |T h(x)| > λ/2}|,
de donde, usando la desigualdad de Chebychev, se obtiene la acotación

c
|{x ∈ Rn : |T g(x)| > λ/2}| ≤ ||f ||1 .
λ
Por otro lado se tiene
|{x ∈ Rn : |T h(x)| > λ/2}| ≤ |Ω∗ | + |{x 6∈ Ω∗ : |T h(x)| > λ/2}|

Z
c c
= ||f ||1 + |T h(x)|dx,
λ λ (Ω∗ )c
R
por lo que si vemos que (Ω∗ )c |T h(x)|dx ≤ c||f ||1 , la acotación (1,1)-débil queda
demostrada. Se tiene,
Z Z n
X
|T h(x)|dx ≤ |T hj (x)|dx
(Ω∗ )c (Ω∗ )c j=1
n Z
X
= |T hj (x)|dx.
j=1 (Ω∗ )c
Por la condición (5.2) (Hörmander) podemos expresar T hj de la siguiente manera

Z
T hj (x) = K(x − y)hj (y)dy
Qj
Z
= [K(x − y) − K(x − cj )]hj (y)dy,
Qj
donde cj es el centro de Qj y hemos usado la media nula de hj . Por el Teorema de

Fubini obtenemos
Z Z Z !
|T hj (x)|dx ≤ |hj (y)| |K(x − y) − K(x − cj )|dx dy ≤ c||hj ||1 ,
(Ω∗ )c Qj (Q∗j )c
donde hemos usado de nuevo la media nula de hj . Sumando en j obtenemos

n Z
X
|T hj (x)|dx ≤ c||f ||1 .
j (Ω∗ )c
La hipótesis b) de la Definición 5.1.1 nos permite extender el operador T sobre

funciones de L2 (Rn ), es decir se obtiene la desigualdad (2,2)-fuerte. Usando el Teo-
rema 1.2.11 (Marcinkiewicz) obtenemos la desigualdad (p, p)-fuerte para 1 2 usamos la dualidad, teniendo en cuenta que el núcleo asociado al opera-
dor adjunto T ∗ es K ∗ (x) = K(−x) por lo que se satisfacen a) y b) de la Definición
5.1.1.
Hasta ahora, todos los resultados que hemos obtenido están basados en la condi-
ción K̂ ∈ L∞ . Por ejemplo, la acotación (p, p)-fuerte del operador T , que acabamos
de ver. A continuación buscaremos condiciones sobre la distribución K, equivalentes
al K̂ ∈ L∞ .
DEFINICIÓN 5.6.2. Se definen los núcleos truncados como
Kε,R (x) := K(x)χ{ε<|x|<R} (x),
donde x ∈ Rn .
PROPOSICIÓN 5.6.3. Sea K ∈ L1loc (Rn \ {0}) tal que

Z

K(x)dx ≤ c1 0 ≤ a ≤ b; (5.34)

a<|x| 0; (5.35)
a<|x|<2a
Z
|K(x − y) − K(x)|dx ≤ c para todo y ∈ Rn . (5.36)
|x|>2y
Entonces |K̂ε,R (ξ)| ≤ c, independiente de ε y R.
OBSERVACIÓN 5.6.4. La hipótesis (5.35) equivale a

Z
|x||K(x)|dx ≤ ca, (5.37)
|x|<a
con a > 0. En efecto, si se satisface (5.35), entonces se tiene

Z ∞ Z
X ∞
X
|x||K(x)|dx = |x||K(x)|dx ≤ 2−k c2 = ca,
|x|<a k=0 2−k−1 a<|x|<2−k a k=0
teniendo en cuenta que sup2−k−1 a<|x|<2−k a |x| < 2−k a. Por otro lado, si se satisface
(5.37), entonces
Z Z Z
|x| |x|
|K(x)|dx ≤ |K(x)|dx ≤ |K(x)|dx = 2c = c2 ,
a<|x|<2a a<|x|<2a a |x|<2a a
|x|
teniendo en cuenta que a
> 1, por lo que se obtiene la primera desigualdad.
Demostración. Sea ξ fijo, entonces

Z
K̂ε,R (ξ) = K(x)e−2πix·ξ dx
Zε<|x|<R Z
−2πix·ξ
= K(x)e dx + K(x)e−2πix·ξ dx.
ε<|x|<|ξ|−1 |ξ|−1 <|x|<R
Definimos Z
A := K(x)e−2πix·ξ dx,
ε<|x|<|ξ|−1
Z
B := K(x)e−2πix·ξ dx. (5.38)
|ξ|−1 <|x|<R
R
Sumando y restando ε<|x|<|ξ|−1
, A se puede expresar de la siguiente manera
Z Z
A= K(x)dx + K(x)(e−2πix·ξ − 1)dx.
ε<|x|<|ξ|−1 ε<|x|<|ξ|−1
Teniendo en cuenta |eiθ − 1| ≤ c|θ|, con |θ| ≤ 2π se obtiene

Z Z

|A| = K(x)dx + K(x)(e −2πix·ξ
− 1)dx
ε<|x|<|ξ|−1 ε<|x|<|ξ|−1
Z Z

≤ K(x)dx + |K(x)||e−2πix·ξ − 1|dx
−1 −1
Zε<|x|<|ξ| ε<|x|<|ξ|
Z

≤ K(x)dx + c2π|ξ| |K(x)||x|dx,
ε<|x|<|ξ|−1 |x|<|ξ|−1
de donde por (5.34) y la Observación 5.6.4 se tiene
|A| ≤ c(c1 + c2 ).
1 ξ′
Por otro lado, haciendo el cambio de variables x por x − z, donde z = 2 |ξ|
, B se
convierte en
Z
B= K(x − z)e−2πi(x−z)·ξ dx
|ξ|−1 <|x−z|<r
Z (5.39)
−2πix·ξ
=− K(x − z)e dx,
|ξ|−1 <|x−z|<r
puesto que e2πiz·ξ = −1. Sumando en cada lado de (5.39) B dado por (5.38), obtene-
mos
Z Z

2|B| = K(x)e −2πix·ξ
dx − K(x − z)e −2πix·ξ
dx
−1 |ξ|−1 <|x−z|<R
Z |ξ| <|x|<R Z
−2πix·ξ
≤ |[K(x) − K(x − z)]e |dx + |K(x)e−2πix·z |dx
−1 1 −1 3 −1
|ξ| <|x| |ξ| <|x|< 2 |ξ|
Z 2
+ |K(x)e−2πix·z |dx,
R− 21 |ξ|−1 <|x|<R+ 23 |ξ|−1
de donde
Z
2|B| ≤ |K(x) − K(x − z)|dx
|ξ|−1 <|x|
Z
+ |K(x)|dx (5.40)
1
|ξ|−1 <|x|< 32 |ξ|−1
Z 2
+ |K(x)|dx.
R− 21 |ξ|−1 <|x|<R+ 32 |ξ|−1
La primera integral de (5.40) se acota por c, utilizando (5.36) y teniendo en cuenta

que |ξ|−1 < 2z; mientras que la segunda y la tercera integral se acotan por 2c2 ,

teniendo en cuenta que, al ser |ξ|−1 < R, se tiene r + 21 |ξ|−1 < 3 R − 21 |ξ|−1 y por
lo tanto podemos usar la relación (5.35).
COROLARIO 5.6.5. Si K satisface las hipótesis anteriores ( 5.34),( 5.35) y ( 5.36),

entonces se tienen
||Kε,R ∗ f ||p ≤ cp ||f ||p , 1 λ}| ≤ ||f ||1 . (5.42)
λ
Demostración. Para p = 2 la desigualdad (2,2)-fuerte se obtiene usando el Teorema
2.6.10 (Plancherel). Es decir
||Kε,R ∗ f ||2 = ||K\ ˆ ˆ

ε,R ∗ f ||2 = ||K̂ε,R f ||2 ≤ c||f ||2 ≤ c||f ||2 .
Para probar la desigualdad (p, p)−fuerte basta ver la desigualdad (1,1)-débil, porque
el resto se obtiene por el Teorema de Marcinkiewicz para p ≤ 2 y por dualidad para
p > 2. La desigualdad (1,1)-débil se demuestra usando la hipótesis de la Proposición
5.6.3 de donde se obtiene
Z
|Kε,R (x − y) − Kε,R (x)|dx ≤ c
|x|>2|y|
es independiente de ε, R. En efecto,
Z
|Kε,R (x − y) − Kε,R (x)|dx
|x|>2|y|
Z
= |K(x − y)χ{ε<|x−y|<R} − K(x)χ{ε<|x|<R} |dx
|x|>2|y|
Z
≤ |K(x − y) − K(x)||χ{ε<|x|<R} |dx
|x|>2|y|
Z
≤ |K(x − y) − K(x)|dx ≤ c.
|x|>2|y|
PROPOSICIÓN 5.6.6. La distribución temperada v.p.K existe si y sólo si existe

Z
lı́m K(x)dx. (5.43)
ε→0 ε<|x|<1
Demostración. (⇒) Supongamos que K existe. Sea φ ∈ S(Rn ) de manera que sea
indénticamente 1 en B(0, 1). Entonces tenemos la siguiente expresión
Z Z
v.p.K(φ) = lı́m K(x)dx + K(x)φ(x)dx.
ε→0 ε<|x|<1 |x|>1
Puesto que la segunda integral existe siempre, debe existir la primera, es decir
Z
lı́m K(x)dx
ε→0 ε<|x|<1
converge.
(⇐) Supongamos que la condición (5.43) se satisface. Entonces se tiene
Z Z
v.p.K(φ) = K(x)(φ(x) − φ(0))dx + K(x)φ(x)dx.
|x|<1 |x|>1
La primera integral existe ya que
|φ(x) − φ(0)| ≤ |x|||∇φ||∞ ,
por lo que la distribución temperada K también existe.

R
OBSERVACIÓN 5.6.7. Observamos que si existe lı́mε→0 0<|x|<1
K(x)dx y se cum-
plen las condiciones de la Proposición 5.6.3, entonces por el Corolario 5.6.5 se obtiene
el siguiente resultado: El operador T dado por
Z
T f (x) = lı́m K(y)f (x − y)dy
ε→0 |y|>ε
se puede extender en Lp , con 1 < p < ∞. Además, T es de tipo (1,1)-débil.
5.7. Operadores de Calderón-Zygmund generali-

zados
Hasta ahora hemos estudiado las integrales singulares dadas por convolución. El bene-
ficio era la extensión de ellas en L2 (Rn ) obtenida por la acotación de K̂. En esta
sección definiremos una clase de integrales singulares más generalizada para ver que
la teorı́a de las integrales singulares de convolución se puede ampliar.
DEFINICIÓN 5.7.1. Sea K : Rn × Rn \ ∆ → C, donde ∆ = {(x, x) : x ∈ Rn } la

diagonal de Rn × Rn . Diremos que K es un núcleo estándar si existe δ tal que
c
|K(x, y)| ≤ ; (5.44)
|x − y|n
′ |y − y ′ |
|K(x, y) − K(x, y )| ≤ c si |x − y| > 2|y − y ′ |; (5.45)
|x − y|n+δ
|x − x′ |
|K(x, y) − K(x′ , y)| ≤ c si |x − y| > 2|x − x′ |; (5.46)
|x − y|n+δ
Operadores de Calderón-Zygmund generalizados 91
OBSERVACIÓN 5.7.2. Observamos que las 2 últimas condiciones de la definición

anterior son del tipo Lipshitz.
DEFINICIÓN 5.7.3. Se define T como un operador de Calderón-Zygmund generali-

zado si
a) T está acotado en L2 (Rn ).
b) Existe un núcleo estándar K tal que para f ∈ Lp (Rn ), de soporte compacto
Z
T f (x) = K(x, y)f (y)dy
Rn
siempre que x 6∈ sopf .
TEOREMA 5.7.4. Sea T un operador acotado en L2 (Rn ). Sea K : Rn × Rn \ ∆ → C,

de manera que si f ∈ S(Rn ), de soporte compacto, para x 6∈ sopf , se define el
operador Z
T f (x) = K(x, y)f (y)dy. (5.47)
Rn
Si las condiciones siguientes
Z
|K(x, y) − K(x, y ′ )|dx ≤ c (5.48)
|x−y|>2|y−y ′ |
Z
|K(x, y) − K(x′ , y)|dx ≤ c (5.49)
|x−y|>2|x−x′ |
se satisfacen, entonces el operador T , dado por ( 5.47) cumple la desigualdad (1,1)-

débil y (p, p)-fuerte con 1 < p < ∞.
Las condiciones ( 5.48) y ( 5.49) se llamarán condiciones de Hörmander.
Demostración. Véase [M].
OBSERVACIÓN 5.7.5. El Teorema 5.7.4 implica que un operador de Calderón-

Zygmund generalizado T , es de tipo (p, p)-fuerte y (1,1)-débil. En efecto, basta ob-
servar que si el núcleo K asociado al operador T es estándar, entonces cumple las
condiciones de Hörmander.
Lo que queda por ver es la existencia del lı́mite puntual del operador de Calderón-
Zygmund T , dado por
Z
T f (x) = lı́m K(x, y)f (y)dy. (5.50)
ε→0 |x−y|>ε
OBSERVACIÓN 5.7.6. Sea

Z
Tε f (x) = K(x, y)f (y)dy,
|x−y|>ε
que, siendo T un núcleo estándar, tiene sentido para f ∈ S(Rn ). Observamos que
puede ocurrir que lı́mε→0 Tε f (x) no exista o que sea distinto de T f (x). Efectivamente,
veremos el siguiente ejemplo.
Ejemplo: Sea K(x) = |x|−n−it . La función |x|−n−it es localmente integrable en Rn \
{0}. Además, se tiene para 0 < a < b < ∞,
Z
dx n−1 b−it − a−it 2 n−1
= |S |
n+it ≤ t |S | = C1 ,
a<|x|<b |x| −it
por lo que K satisface la condición (5.34) de la Proposición 5.6.3. Además, integrando

en coordenadas polares se tiene
Z
dx
≤ bn−1 log 2,
a<|x|<2a |x|n
es decir se cumple la desigualdad (5.35) de la Proposición 5.6.3. Por otro lado se tiene
|n+it|
|∇K(x)| ≤ |x|n+1
por lo que usando la Proposición 5.1.3 se satisface la condición de
Hörmander (5.36). Por tanto usando el Colorario 5.6.5 se obtiene ||Kε,R ∗f ||p ≤ c||f ||p .
Sin embargo no existe el lı́mite puntual de las integrales truncadas, puesto que no
podemos considerar el lı́mite de la siguiente integral
Z −it
dx n−1 1 − ε
n+it
= |S |
ε<|x|<1 |x| −it
cuando ε tiende hacia 0.
Para ver si lı́mε→0 Tε f (x) = T f (x) para toda f ∈ Lp (Rn ) estudiamos el operador
maximal
T ∗ f (x) = sup |Tε f (x)|.
ε>0
Este operador cumple la desigualdad (1,1)-débil y (p, p)-fuerte. Por lo tanto, usando
el Teorema 3.3.6 y la densidad de S en los Lp con 1 ≤ p < ∞, se obtiene la existencia
del lı́mite puntual de (5.50).
El Corolario siguiente nos da las desigualdades (1,1)-débil y (p, p)-fuerte para el
operador T ∗ .
Operadores de Calderón-Zygmund generalizados 93
COROLARIO 5.7.7. Si T es un operador de Calderón-Zygmund, entonces T ∗ cumple

las desigualdades (1,1)-débil y (p, p)-fuerte, con 1 < p < ∞.
Demostración. Se demuestra utilizando el lema de Kolmogorov y una desigualdad

análoga a la de Cotlar, que a continuación se enuncian.
LEMA 5.7.8. (Kolmogorov). Sea L un operador que cumple la desigualdad (1,1)-

débil. Sean 0 < η < 1 y E un conjunto de medida finita. Entonces, existe cη tal
que Z
|Lf (x)|η dx ≤ c|E|1−η ||f ||η1 .
E
Demostración. Se tiene utilizando la Proposición 1.2.2

Z Z ∞
η
|Lf (x)| dx = η λη−1 |{x ∈ E : |Lf (x)| > λ}|dλ
E
Z0 ∞
c
≤η λη−1 mı́n |E|, ||f ||1 dλ
0 λ
Z c||f ||1 /|E| Z ∞
η−1
=η λ |E|dλ + η cλη−2 ||f ||1 dλ
0 c||f ||1 /|E|
= c|E| 1−η
||f ||η1 ,
donde la desigualdad se obtiene por ser L de tipo (1,1)-débil.
TEOREMA 5.7.9. Sea T un operador de Calderón-Zygmund. Entonces para todo

0 < η ≤ 1 se tiene
T ∗ f (x) ≤ cη [(M (T f )η (x))1/η + M f (x)], (5.51)
donde M denota la función maximal de Hardy-Littlewood.
Demostración. Véase [Duo].

Capı́tulo 6
El espacio de Hardy H 1 y su dual

BM O
En el capı́tulo anterior probamos las desigualdades (p, p)-fuerte para las integrales
singulares en el caso que 1 < p < ∞. En este capı́tulo, primero, definiremos un
subespacio vectorial de L1 (Rn ), cuya imagen por cualquier integral singular estará en
L1 (Rn ) y segundo veremos que su espacio dual contiene las imagenes de la integrales
singulares que actúan sobre las funciones acotadas, sustituyendo de esta manera las
desigualdades (1,1)-fuerte y (∞, ∞)-fuerte que en general no son válidas para estos
operadores.
6.1. Introducción a los espacios H 1 y BM O

DEFINICIÓN 6.1.1. Se define el espacio de Hardy, como
H 1 (Rn ) = {f ∈ L1 (Rn ) : Rj f ∈ L1 (Rn ), ∀j = 1, . . . , n},
OBSERVACIÓN 6.1.2. Todo operador T dado por (5.1) está acotado de H 1 a L1 .

DEFINICIÓN 6.1.3. sea f ∈ L1loc (Rn ). Definimos la media de f sobre el cubo Q y
denoteremos fQ Z
1
fQ = f (x)dx.
Q Q
Además se define la función maximal aguda como
Z
# 1
M f (x) = sup |f (y) − fQ |dy : x ∈ Q .
Q |Q| Q
95
96 El espacio de Hardy H 1 y su dual BM O
OBSERVACIÓN 6.1.4. Cada integral mide la oscilación media de f sobre el cubo

Q.
DEFINICIÓN 6.1.5. Se define el espacio BM O como
BM O = {f : M # f ∈ L∞ }.
Además, definimos
||f ||∗ = ||M # f ||∞ .
Se dice que f tiene oscilación media acotada cuando la función M # está acotada.
OBSERVACIÓN 6.1.6. En realidad, || · ||∗ no puede ser una norma. Efectivamente,

todas las funciones constantes en “casi todo punto” tienen oscilación nula. Por lo
tanto, consideramos el espacio cociente BM O por las constantes, que se denotará de
nuevo BM O.
PROPOSICIÓN 6.1.7. Se tiene la desigualdad puntual
M # f (x) ≤ cM f (x). (6.1)
Demostración. Usando la desigualdad triangular, se tiene para todo cubo Q

Z Z Z
1 1 1
|f (x) − fQ |dx = f (x) − f (y)dy dx
|Q| Q |Q| Q |Q| Q
Z Z Z
1 1 1
≤ |f (x)|dx + |f (y)|dy dx
|Q| Q |Q| Q |Q| Q
Z
1
=2 |f (x)|dx,
|Q| Q
de donde, tomando el supremo sobre todos los cubos Q, se tiene
M # f (x) ≤ cM ′ f (x) ≤ cM f (x),
donde M ′ denota la función maximal de Hardy-Littlewood con cubos en vez de con

bolas y la última desigualdad se obtiene usando la relación (3.2).
PROPOSICIÓN 6.1.8. i) La norma || · ||∗ es equivalente a la norma definida como

Z
1
sup ı́nf |f (x) − c|dx.
Q c∈C |Q| Q
ii) Se tiene
M # (|f |)(x) ≤ 2M # f (x). (6.2)
Introducción a los espacios H 1 y BM O 97
Demostración. i) Por un lado, teniendo en cuenta la definición del ı́nfimo, se tiene

Z Z
1 1
sup ı́nf |f (x) − c|dx ≤ sup |f (x) − fQ |dx (6.3)
Q c∈C |Q| Q Q |Q| Q
Por otro lado, usando la desigualdad triangular obtenemos

Z Z Z
|f (x) − fQ |dx ≤ |f (x) − c|dx + |c − fQ |dx
Q Q Q
Z (6.4)
≤ 2 |f (x) − c|dx,
Q
para todo c ∈ C. Tomando el ı́nfimo en c a la izquierda, dividiendo por |Q| y consi-

derando el supremo a ambos lados, la relación (6.4) se convierte en
Z
1 1
||f ||# ≤ sup ı́nf |f (x) − c|dx, (6.5)
2 |Q| c∈C |Q| |Q|
es decir, por (6.3) y (6.4) hemos obtenido

Z
1 1
||f ||∗ ≤ sup ı́nf |f (x) − c|dx ≤ ||f ||∗ ,
2 |Q| c∈C |Q| |Q|
ii) Se tiene Z Z
1 1
||f (x)| − |fQ ||dx ≤ |f (x) − fQ |dx,
|Q| Q |Q| Q
de donde tomando el supremo sobre Q se obtiene la desigualdad (6.2).
TEOREMA 6.1.9. Sea T un operador acotado en L2 , cuyo núcleo K : Rn × Rn \

∆ → C satisface ( 5.49). Si f es una función acotada de soporte compacto, entonces
T f ∈ BM O y
||T f ||∗ ≤ c||f ||∞ .
Demostración. Sea Q un cubo de Rn con centro cQ y sea Q̃ el cubo del mismo centro
√
y lado 2 n veces el de Q. Hacemos la descomposición f = f1 + f2 , donde f1 = f χQ̃
y f2 = f χQ̃c . Sea c = T f2 (cQ ), utilizando la acotación de T en L2 se obtiene
Z Z Z
1 1 1
|T f (x) − c|dx ≤ |T f1 (x)|dx + |T f2 (x) − T f2 (cQ )|dx
|Q| Q |Q| Q |Q| Q
Z 1/2 Z
1 2 1
≤ |T f1 (x)| dx + |T f2 (x) − T f2 (cQ )|dx
|Q| Q |Q| Q
Z 1/2 Z
1 2 1
≤c |f1 (x)| dx + |T f2 (x) − T f2 (cQ )|dx.
|Q| Q |Q| Q
Ahora basta acotar el último sumando. Por la condición (5.49) se tiene

Z Z Z
1
|T f2 (x) − T f2 (cQ )|dx ≤ [K(x, y) − K(cQ , y)]f (y)dy dx
|Q| c
Q Q Q̃
Z Z
1
≤ |K(x, y) − K(cQ , y)|dy||f ||∞ dx ≤ c||f ||∞ .
|Q| Q Q̃c
Tomando el supremo sobre Q se obtiene
||T f ||∗ ≤ c||f ||∞ .
OBSERVACIÓN 6.1.10. Este teorema se refiere a operadores más generales que

las integrales singulares. Por lo tanto, si T es una integral singular definida sobre
L∞ , entonces su imagen está en BM O. Además este teorema satisface el deseo de
encontrar un espacio para la imagen de las funciones acotadas. El único problema es
que por no ser L∞
c (el espacio de la funciones acotadas de soporte compacto) denso
en L∞ no podemos extender el operador T a todo L∞ por continuidad. En este caso,
consi-
deramos una función acotada y definiremos un operador que cumpla las condiciones
del Teorema 6.1.9. Veremos que este operador está bien definido para funciones aco-
tadas y será la extensión en L∞ de las integrales singulares que habı́amos definido
para las funciones de L2 . Efectivamente, sea Q un cubo y Q̃ otro cubo del mismo
√
centro y lado 2 n de Q. Descomponemos f = f1 + f2 , donde f1 = f χQ̃ y f2 = f χQ̃c .
Por ser f1 ∈ L∞ 2 2
c se tiene que f ∈ L , de donde por la acotación de T en L se obtiene
que T f1 ∈ L2 . Por otro lado definimos el operador T como
Z
T f (x) = T f1 (x) + [K(x, y) − K(0, y)]f2 (y)dy.
Rn
La última integral converge ya que se acota por

Z Z
sup |f | · |K(x, y) − K(0, y)|dy ≤ ||f ||∞ |K(x, y) − K(0, y)|dy = c||f ||∞ ,
Q Q̃c |y|>2|x|
donde la primera desigualdad se obtiene porque Q̃c ⊂ {|y| > 2|x|}, y la segunda
utilizando la relación (5.49). Se puede ver que si descomponemos f = f1 + f2 , donde
cambiamos los Q y Q̃, entonces las imágenes de T f (x) se diferencian por una constante
independiente de x. Esto no es un problema puesto que el nuevo espacio BM O se ha
considerado como el cociente del BM O con las constantes.
OBSERVACIÓN 6.1.11. De ii) se deduce que si f ∈ BM O, también |f | ∈ BM O,

de donde L∞ ⊂ BM O. Podemos ver que la inclusión “⊂” es estricta. Efectivamente,
sea f (x) = sgnx ∈ L∞ (R). Consideramos la transformada de Hilbert y obtenemos
1 1
Hf (x) = v.p ∗ f (x) = c log |x|.
π x
Usando la observación anterior, Hf ∈ BM O. Es decir, hemos encontrado una función,

log |x| ∈ BM O que no pertenece en L∞ (R).
Enunciamos el siguiente lema, (“de los buenos lambdas”), de donde se obtiene

una desigualdad, con la que probamos un teorema de interpolación.
LEMA 6.1.12. Para todo γ > 0 se tiene
|{x : Md f (x) > 2λ, M # f (x) ≤ γλ}| ≤ 2η |{x : Md f (x) > λ}|, (6.6)
donde λ > 0.
Demostración. Se demuestra utilizando la descomposición de Calderón-Zygmund. Pa-

ra más detalles, véase [Duo].
LEMA 6.1.13. Sea 1 ≤ p0 ≤ p y sea f ∈ Lp0 , entonces

Z Z
p
|Md f (x)| dx ≤ c |M # f (x)|p dx.
Rn Rn
Demostración. Utilizando la Observación 1.2.3 podemos expresar ||Md f ||pp como

Z ∞
||Md f ||pp =p λp−1 µMd f (λ)dλ,
0
donde Md f es la función maximál diádica. Sea

Z N
IN = p λp−1 µMd f (λ)dλ,
0
que es finita puesto que

Z N
p
IN ≤ N p−p0 p0 λp0 −1 µMd f (λ)dλ,
p0 0
y ||Md f ||pp00 ≤ c||f ||pp00 , donde f ∈ Lp0 por hipótesis. Ahora, utilizando el Lema 6.1.12
se tiene
Z N/2
p
IN = 2 pλp−1 |{x : Md f (x) > 2λ}|dλ
0
Z N/2
= 2p pλp−1 (|{x : Md f (x) > 2λ, M # f (x) ≤ γλ}| + |{x : M # f (x) > γλ}|)dλ
0
Z
p 2p γN/2 p−1
≤ 2 IN + p pλ |{x : M # f (x) > λ}|dλ.
γ 0
Para γ = 2−(p+n+1) , obtenemos

Z γ N/2
2p+1
IN ≤ p pλp−1 |{x : M # f (x) > λ}|dλ.
γ 0
Por lo tanto,
Z γ N/2
2p+1
||Md f ||pp = lı́m IN ≤ lı́m pλp−1 |{x : M # f (x) > λ}|dλ
N →∞ N →∞ γ p 0
Z ∞
=c pλp−1 |{x : M # f (x) > λ}|dλ = c||M # f ||pp .
0
Ahora, probaremos el teorema de interpolación.
TEOREMA 6.1.14. Sea T un operador lineal acotado en Lp0 para algún p0 tal que
1 < p0 < ∞ y acotado de L∞ en BM O. Entonces se obtiene la desigualdad (p, p)-
fuerte para el operador T cuando p0 < p < ∞.
Demostración. Consideramos la composición M # ◦ T , un operador sublineal que

está acotado en Lp0 por serlo ambos operadores M # y T . Por otro lado, este ope-
rador está acotado en L∞ puesto que por hipótesis
||M # (T f )||∞ = ||T f ||BM O ≤ c||f ||∞ .
Por el Teorema 1.2.11 (Marcinkiewicz), M # ◦T está acotado en Lp si p0 < p < ∞. Sea

f ∈ Lp de soporte compacto, entonces f ∈ Lp0 con p0 < p y por hipótesis T f ∈ Lp0 .
Por el Lema 6.1.13 se tiene
Z Z
p
|Md T f (x)| dx ≤ c |M # T f (x)|p dx,
Rn Rn
de donde usando la notación de la subsección 3.4.1 se tiene
T f (x) = lı́m |Ek T f (x)| ≤ sup |Ek T f (x)| = Md (T f )(x),

k→∞ k
en “casi todo punto”. Por lo tanto,

Z Z
p p
||T f ||p = |T f (x)| dx ≤ |Md (T f )(x)|p dx
Rn Rn
Z
≤c |M # (T f )(x)|p dx
n
ZR
≤c |f (x)|p dx = c||f ||pp .
Rn
OBSERVACIÓN 6.1.15. La acotación del operador T dado por (5.1), del espacio
L∞ en BM O sustituye la desigualdad (∞, ∞)-fuerte. Esto se justifica por el teorema
anterior, puesto que obtenemos un resultado análogo al del Teorema 1.2.11 (Mar-
cinkiewicz), sutsituyendo la desigualdad (∞, ∞)-fuerte con la acotación de L∞ en
BM O.
TEOREMA 6.1.16. El dual de H 1 (Rn ) es el espacio BM O.
Demostración. Véase [St2].

Bibliografı́a
[A] J. Arias de Reyna, Pointwise Convergence of Fourier Series, Lecture Notes in

Mathematics, vol. 1785, Springer, Berlin, 2002.
[B-Sh] C. Bennett y R. Sharpley, Interpolation of Operators, Academic Press, Inc.,

Florida, 1988.
[C-Z] A.P Calderón y A. Zygmund, On the existence of certain singular integrals,

Acta Math. 88 (1952), 85-139.
[Duo] J.L. Duoandikoetxea Zuazo, Análisis de Fourier, Ediciones de la Universidad

Autónoma de Madrid, Madrid, 1990.
[G-R] J. Garcı́a-Cuerva y J.L. Rubio de Francia, Weighted Norm Inequalities and

Related Topics, North-Holland, Inc., New York, 1985.
[Gar] A.M. Garsia, Topics in Almost Everywhere Convergence, Markham, Chicago,

1970.
[Gr] L. Grafakos, Classical and Modern Fourier Analysis, Pearson Education, Inc.,
New Jersey, 2004.
[Guz] M. de Guzmán, Real Variable Methods in Fourier Analysis, North-Holland,

Inc., New York, 1981.
[H-L] G.H. Hardy y J.E Littlewood, A maximal theorem with function-theoretic ap-
plications, Acta Math. 54 (1930), 81-116.
[Ka] Y. Katznelson, An Introduction to Harmonic Analysis, J. Wiley, New York,

1968.
103
104 Bibliografı́a
[M] Y. Meyer, Ondelettes et Opérateurs II, Hermann, Paris, 1990.
[Ru1] W. Rudin, Real and Complex Analysis, McGraw-Hill Series in Higher Mathe-
matics, Great Britain, 1970.
[Ru2] W. Rudin, Análisis Funcional, Editorial Reverté, España, 1979.
[S] C. Sadosky, Interpolation of Operators and Singular Integrals, Marcel Dekker,

Inc., New York, 1979.
[St1] E.M. Stein, Singular Integrals and Differentiability Properties of Functions,

Princeton University Press, New Jersey, 1970.
[St2] E.M. Stein, Harmonic Analysis, Princeton University Press, New Jersey, 1993.
[St3] E.M. Stein, Singular Integrals, Notices of the AMS 45 (1998), 1130-1140.
[S-W] E.M. Stein y G. Weiss, Introduction to Fourier Analysis on Euclidean Spaces,

Princeton University Press, New Jersey, 1990.
[Tor] A. Torchinsky, Real-Variable Methods in Harmonic Analysis, Academic Press,

Inc., Indiana 1986.
[W] N. Wiener, The ergodic theorem, Duke Math. J. 5 (1939), 1-18.
[Zyg] A. Zygmund, Trigonometric Series, Cambridge University Press, Cambridge,

1959.

General Theory of D 029816 MBP

Cargado por

Copyright:

Formatos disponibles

General Theory of D 029816 MBP

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

General Theory of D 029816 MBP

Cargado por

Copyright:

Formatos disponibles

Universidad de Barcelona

Integrales Singulares en el Análisis Armónico

Dirigida por Javier Soria de Diego

2. Elementos de Análisis de Fourier 17

3. La función maximal de Hardy-Littlewood 39

3.4.2. Descomposición de Calderón-Zygmund . . . . . . . . . . . . . 51

6. El espacio de Hardy H 1 y su dual BM O 95

es la integral singular más sencilla. Acotar dicha transformada, es un problema que

donde K cumple ciertas propiedades. A partir de este momento la extensión de la

se demuestra el Teorema de Interpolación de Marcinkiewicz, muy útil para nuestro

Sea E un conjunto de elementos, se denotará χE (t) la función caracterı́stica que

La expresión “en casi todo punto”, brevemente “c.t.p.” se refiere a propiedades

1.1. Los espacios de Lebesgue

Cuando p = ∞, el espacio L∞ (X, µ) lo forman las funciones esencialmente acotadas

Tal como es definida, k · kp no es una norma. Consideramos un nuevo espacio

Veamos algunas propiedades y resultados básicos de los espacios de Lebesgue que

f0 = f χ{x:|f (x)|>c} ∈ Lp0 ,

OBSERVACIÓN 1.1.2. Sea T la circunferencia unidad S 1 . Si f ∈ Lp (T) se puede

donde f es una función medible en X × Y y 1 ≤ p < ∞.

TEOREMA 1.1.4. Teorema de Convergencia Dominada de Lebesgue.

fn (x) → f (x) c.t.p. de T,

para alguna f medible. Si existe g ∈ L1 (T), tal que, para todo n

|fn (x)| ≤ g(x) c.t.p. de T,

1.2. Los espacios de Lorentz

DEFINICIÓN 1.2.1. Sea (X, µ) un espacio de medida y f : X → C una función

PROPOSICIÓN 1.2.2. Sea φ : [0, ∞) → [0, ∞) derivable y creciente con φ(0) = 0.

Demostración. Observamos que por la hipótesis φ(0) = 0 se tiene que

donde hemos utilizado el teorema de Fubini y la definición anterior.

OBSERVACIÓN 1.2.3. Si φ(λ) = λp se tiene

DEFINICIÓN 1.2.4. Se define el espacio de Lorentz Lp,q como

donde 1 ≤ p < ∞ y 1 ≤ q < ∞. Cuando q = ∞, el espacio Lp,∞ (X, µ) es el espacio

OBSERVACIÓN 1.2.5. Observamos que en el caso p = q se recupera el espacio Lp .

||T f ||q,∞ ≤ C||f ||p ,

donde 1 ≤ p < ∞, q < ∞. En el caso que q = ∞ la desigualdad anterior se define

OBSERVACIÓN 1.2.8. La acotación de un operador T : Lp → Lq para todo p, q

||T f ||q ≤ C||f ||p

se suele llamar desigualdad (p, q)-fuerte.

OBSERVACIÓN 1.2.9. En el caso que el espacio de medida Y es Rn , con su medida

A continuación demostramos el Teorema de Interpolación de Marcinkiewicz que

TEOREMA 1.2.11. Sean 1 ≤ p0 < p1 ≤ ∞ y T un operador sublineal definido

Demostración. Hemos visto que toda función f ∈ Lp se descompone como f0 + f1 ,

|T f (x)| ≤ |T f0 (x)| + |T f1 (x)|, (1.1)

||T f ||∞ ≤ c1 ||f ||∞ .

Escogiendo la constante de manera que c = 2c11 se obtiene

Utilizando la desigualdad (p0 , p0 )-débil se tiene

1.3. La clase de Schwarz

S(Rn ) := {φ ∈ C ∞ : qN (φ) < ∞},

donde qN (φ) := supx∈Rn ;|α|≤N (1 + |x|2 )N |Dα φ(x)|.

TEOREMA 1.3.3. La clase de Schwarz es un espacio de Frechet, denso en los espa-

Elementos de Análisis de Fourier

A lo largo de este capı́tulo se presentarán los resultados básicos de Análisis de Fourier.

2.1. Series de Fourier

Los ak , bk , son coeficientes que determinan (2.1) y dependiendo de la expresión que

Chaleur” que se publicó en 1822. Euler estableció la fórmula:

eiθ = cos θ + i sen θ, (2.2)

donde 0 ≤ θ ≤ 2π, convirtiéndose la relación (2.1) en

donde, por comodidad, hemos tomado funciones de perı́odo 1 en vez de 2π y fˆ(k) =

DEFINICIÓN 2.1.2. Se define la N -ésima suma parcial de la serie (2.4) como