Lennart Carleson, una historia del análisis armónico del siglo XX

Premio Abel 2006

Lennart Carleson
Royal Institute of Technology
(Estocolmo)

http://www.abelprisen.no/en/prisvinnere/2006/
1

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
Lennart Carleson, una historia del análisis armónico del siglo XX

This year's Abel Prize Laureate:

The Norwegian Academy of Science

and Letters has decided to award the
Abel Prize for 2006, worth EUR
755,000 to

Lennart Carleson
Royal Institute of Technology

"for his profound and seminal

contributions to harmonic
analysis and the theory of
smooth dynamical systems."

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

Principales trabajos de Lennart Carleson:

Teorema de la Corona:
Carleson, Lennart Interpolations by bounded analytic functions and the
corona problem. Ann. of Math. (2) 76 (1962) 547--559.

Sistemas dinámicos:
Benedicks, Michael; Carleson, Lennart The dynamics of the Hénon
map. Ann. of Math. (2) 133 (1991), no.1, 73--169.

Convergencia de Series de Fourier:

Carleson, Lennart On convergence and growth of partial sums of
Fourier series. Acta Math. 116 (1966) 135--157.

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

Principales trabajos de Lennart Carleson:

Teorema de la Corona:
Carleson, Lennart Interpolations by bounded analytic functions and the
corona problem. Ann. of Math. (2) 76 1962 547--559.

Describe los ideales maximales en el

álgebra de funciones analíticas acotadas
en el disco unidad del plano

Equivalente a: Dadas funciones analíticas

acotadas del disco unidad, f1, f2, … fn,
Introduce las ahora llamadas acotadas inferiormente, entonces existen
medidas de Carleson g1,g2, …,gn de dicha clase tales que
f1.g1+f2.g2+…+fn.gn=1

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

Principales trabajos de Lennart Carleson:

Sistemas dinámicos:
Benedicks, Michael; Carleson, Lennart The dynamics of the Hénon map.
Ann. of Math. (2) 133 (1991), no. 1, 73--169.

Existencia del atractor de Hénon

T(x,y) = (1- 1.4 x2 + y, 0.3 x)

Dimension de Hausdorff de
2048 puntos del
atractor de Hénon límites iterados (fractales)

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

Principales trabajos de Lennart Carleson:

Convergencia de Series de Fourier:

Carleson, Lennart On convergence and growth of partial sums of
Fourier series. Acta Math. 116 1966 135--157.

Toda función de L2(T) posee una

serie de Fourier que converge
puntualmente c.t.p a dicha función

F(x)=Σ an cos(nx)+bn sen(nx)

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
Lennart Carleson, una historia del análisis armónico del siglo XX

Editorial Reviews
Book Description
This unabridged republication of
Fourier's Théorie Analytique de la
Chaleur offers modern readers access
to a landmark of modern science. With
this work, the great French
mathematician first showed how any
discontinuous function could be
represented by a trigonometric series
J.B. Joseph Fourier, and advanced other concepts of
1768-1830 modern mathematical physics.
7

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

Fourier: Toda onda (“función”) puede ser

“representada” como una superposición de
armónicos simples (serie de senos y cosenos)

= +

F(x)=Σ an cos(nx)+bn sen(nx)

El concepto de función era muy distinto al actual. Se refería usualmente a

funciones analíticas … a trozos

Asimismo, el sentido de la representación (“convergencia de la serie”) era

ambiguo: Era en norma, puntual, en medida … (?)
8

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

Ecuación de la cuerda vibrante.

Dato inicial: f π-periódica

Soluciones simples:

uN(x,t)=ΣN an cos(ωnt) sen(nx)

Haciendo t
0 deberíamos obtener f(x)=Σ an sen(nx)

quizás como serie de infinitos términos (?)
9

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

Ecuación de
Laplace en el
disco

Soluciones simples

Convergencia al
dato inicial

Obtención (!) de
los coeficientes
de Fourier.
(!!!) 10

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

Coeficientes de Fourier y teoría de la

integral y de la medida:

La integral de Riemann permite calcular

los coeficientes de Fourier de funciones
con singularidades (no necesariamente
de salto), incluso no acotadas

G.F.B. Riemann,
1826-1866 11

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

Teoría de la integral y de la medida de Lebesgue

Conjuntos medibles: aquellos A para los que

m*(A)+m*([0,1]-A)=1,
siendo
m*(A)=inf {Σ |J| : J intervalos, {J} cubre A}

Funciones medibles: aquellas cuyos conjuntos

de nivel son medibles

Integral de una función medible: Límite de las

integrales de funciones simples
Henry Lebesgue
1875-1941 Integral de Lebesgue v. integral de Riemann:
“dos formas distintas de contar el dinero”

12

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

Las clases de funciones usadas como valores iniciales en problemas de

ecuaciones diferenciables son los espacios Lp de Lebesgue

Lp = { f medible : ∫ |f|p < ∞ , si 0<p< ∞ }

L∞ = { f medible : |f(x)|< C, c.t.p. }

La existencia de los coeficientes

restringe el rango al caso p ≥ 1

Lp(T) es subconjunto de L1(T),

si p ≥ 1, (*)
______________________________________________________________

(*) Aunque Luzin intentará definirlos para “toda” función medible finita. 13

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

La serie de Fourier de una función f integrable no representa en

general a ésta en la norma de L1

Núcleos de Dirichlet

14
Constantes de Lebesgue
UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

La serie de Fourier si representa en la norma a funciones de L2

L2([0,1)) es un espacio … forma una base

de Hilbert … y ortonormal

En particular …

Identidad de Plancherel:

La representación también es cierta en Lp, si 1<p<∞ (Teorema de Riesz)

También lo es en medida si p=1 (Teorema de Kolmogorov sobre la

función conjugada, transformada de Hilbert)

Primeros ejemplos de la teoría de integrales singulares 15

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

Series de Fourier y representación punto a punto:

el problema de Fourier (?) en 1913

1ª conjetura de Luzin:

Toda función de L2 es representada puntualmente

c.t.p. por su serie de Fourier

Nicolai Luzin, 1883-1950

2ª conjetura de Luzin:

Toda función medible finita puede ser representada

puntualmente c.t.p. por una serie trigonométrica

16

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

El fenómeno de Gibbs:

Willard Gibbs, 1839-1903

El criterio de Dini

Ulisse Dini
1845-1918

17

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

Kolmogorov (1922):
Existe una función Lebesgue integrable cuya
Serie de Fourier diverge c.t.p. (de hecho podría
ser en todo punto)

Andrey Kolmogorov
1903-1987
Du_Bois Reymond (1873):
Existen funciones continuas cuyas
series de Fourier divergen en un
punto (de hecho en un conjunto
denso de puntos)
Du_Bois-Reymond
1831-1889
18

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

Conjetura de A. Zygmund:

Existe un función en L2 cuya serie de Fourier

diverge en casi todo punto.
(Ref.: Trigonometric Series, 1939)

Teorema de Kahane-Katznelson:
Antoni Zygmund
El problema de la convergencia de Series
1900-1992
de Fourier en L2 es equivalente al de la
convergencia en la clase de funciones
continuas

19

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

Análisis armónico y la
Escuela de Chicago

La teoría de Calderón-Zygmund
sobre integrales singulares y la
teoría cualitativa de e.d.p.’s

Operadores maximales y convergencia:

Un ejemplo: El operador maximal de Hardy-Littlewood y el tma. de dif. de Lebesgue.

Idea de la prueba:

•Cierto en norma
•Cierto en una clase densa
•El operador maximal M está
acotado 20

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

Teorema de Calderón (1959):

La convergencia puntual c.t.p. en L2 es

equivalente a la acotación del operador
maximal asociado

Alberto Calderón
1920-1998

Zygmund se reafirma en su conjetura

(ver “Trigonometric Series”, Ed. 1970)
21

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

1964:
Carleson demuestra la (1ª) conjetura de Luzin a través de la
acotación del operador maximal S* (… ¡aunque su intención
era demostrar la conjetura de Zygmund !)

Su trabajo aparece en Acta Mathematica el mismo año en que se celebró

el ICM en Moscú y 4 años después del celebrado en Estocolmo. A pesar de
resolver un problema de 150 años de antigüedad, no recibe la medalla
Fields.

Por cierto, la 2ª conjetura de Luzin también es cierta (Mens’hov):

f medible, 2π-periódica y finita => f(x)=Σ an cos(nx)+bn sen(nx)

… pero los coeficientes an y bn no son únicos (Mens’hov) 22

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
 Lennart Carleson, una historia del análisis armónico del siglo XX

Otros trabajos píoneros:

Convergencia al dato inicial en la ecuación de Schrödinger:

Carleson, L. Some problems in harmonic analysis related

to statistical mechanics. Colloq. Math. Soc. János Bolyai, 19,
1978.

Acotación de los operadores de Bochner-Riesz:

Carleson, Lennart; Sjölin, Per Oscillatory integrals and a multiplier

problem for the disc. Studia Math. 44 (1972), 287--299.

Geometría de espacios de Banach:

Carleson, Lennart Two remarks on H1 and BMO. Advances in

Math. 22 (1976), no. 3, 269--277.
23

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)
Lennart Carleson, una historia del análisis armónico del siglo XX

Thanks.

Back to work!

24

UCM,
UCM, 08.03.07
08.03.07 (F.
(F. Soria)
Soria)