1: 

2: 

3: 

4: 

5: \errorcontextlines=2     

6: \documentclass[12pt,leqno]{amsart}  

7: %\usepackage{showkeys}

8: \usepackage{amsmath,amstext,amsthm,amssymb,amsxtra}

9: %\usepackage{txfonts} %also txfonts 

10: \usepackage[colorlinks,citecolor=red,pagebackref,hypertexnames=false]{hyperref}

11: \usepackage[backrefs]{amsrefs}

12: \setlength{\textwidth}{16.6cm}

13: \setlength{\topmargin}{0cm}

14: \setlength{\oddsidemargin}{0cm}

15: \setlength{\evensidemargin}{0cm}

16: \setlength{\parskip}{11pt}

17: \allowdisplaybreaks

18: \swapnumbers

19: \usepackage{pgf}

20: \numberwithin{equation}{section}

21: 

22: 

23:  

24: 

25: 

26: 

27: 

28: 

29: 

30: \allowdisplaybreaks

31: \swapnumbers

32:  

33: \theoremstyle{plain} % definition 

34: \newtheorem{lemma}[equation]{Lemma} 

35: \newtheorem{proposition}[equation]{Proposition} 

36: \newtheorem{theorem}[equation]{Theorem} 

37: \newtheorem{corollary}[equation]{Corollary} 

38: \newtheorem{conjecture}[equation]{Conjecture}

39: %\newtheorem{question}[equation]{Question}

40: \newtheorem*{carleson}{Carleson's Theorem}

41: 

42: \theoremstyle{definition}

43: %\newtheorem{definition}[equation]{Definition} 

44: % \newtheorem{Problem}[equation]{Problem} 

45: % \newtheorem{Example}[equation]{Problem} 

46: 

47: \theoremstyle{remark}

48: \newtheorem{remark}[equation]{Remark}

49: %\newtheorem{Note}[equation]{Note}

50: %\newtheorem{Notation}[equation]{Notation}

51: \newtheorem*{Acknowledgment}{Acknowledgment}

52: %\newtheorem{Case}[equation]{Case}

53: %\newtheorem{Conclusion}[equation]{Conclusion}

54: 

55: 

56: 

57: \def\theequation{\thesection.\arabic{equation}}

58: %

59: %--------------- Author macros ---------------

60: \def\ae{a.\thinspace e.\ }

61: \def\ie{i.\thinspace e.\ }

62: \def\eg{e.\thinspace g.\ }

63: 

64: 

65: 

66: 

67: %  Theorems will have a label t.<label>

68: %  Lemmas will have a label   l.<label>

69: %  And so on.

70: 

71: %  This next macro will give a uniform 

72: %  way of creating theorems/lemmas/etc.

73: %  The macro is \beginthm,

74: %  the argument is 

75: %       <one of t,l,c or p>.<label>/

76: %  the end of the argument is deliminated by 

77: %  a backslash.

78: 

79: 

80: 

81: 

82: %  With a uniform way of labeling to

83: % theorem--like objects, we can refer to them 

84: % in a uniform way.  This is the point of the 

85: % next group of macros.

86: 

87: \def\t#1/{Theorem~\ref{t#1}}   \def\Tcap#1/{Theorem~\ref{t#1}} 

88: \def\c#1/{Corollary~\ref{c#1}}   \def\C#1/{Corollary~\ref{c#1}} 

89: \def\l#1/{Lemma~\ref{l#1}}        \def\Lcap#1/{Lemma~\ref{l#1}}  

90: \def\q#1/{Question~\ref{q#1}}	 \def\Pcap#1/{Proposition~\ref{p#1}}

91: %  proposition is eliminated---conflicts with pairs

92: \def\s#1/{Section~\ref{s#1}}      

93: \def\e#1/{(\ref{e#1})}

94: \def\r#1/{\ref{r#1}}

95: \def\f#1/{Figure~\ref{f#1}}

96: %  macro to handle the labels in equations,

97: %  namely, the braces are not needed.

98: 

99: \def\Label #1 {\label{#1}}

100: 

101:  

102: 

103: 

104: 

105: 

106: %  The next to last macro is for referring to sections,

107: %  which will have labels  s.<label>.

108: 

109: %  The last macro is for equations.  we label

110: %  all equations in the form  e.<label>,  and

111:  %  refer to them with the command (\ref{e.<label>}) .

112: %  Notice that this convention means we cannot

113: %  use the backslash as part of a label!!

114: 

115: 

116: 

117: 

118: %  these macros provide a quick easy access to 

119: %  greek letters through the convention of e.g.

120: %  \alpha ---> \alpha

121: %  \beta  ---> \beta

122: %  and so on.

123: 

124: 

125: 

126: 

127: 

128: 

129: 

130: % The next group of macros are for norms. 

131: % Notice that they come in different sizes of

132: % double bars.  The macro does this

133: %  \norm <object inside double bars>.

134: %   <subscript for the last double bars>.

135:  

136: % the arguments are deliminated with periods.

137: 

138: \def\norm#1.#2.{\lVert#1\rVert_{#2}}

139: \def\Norm#1.#2.{\bigl\lVert#1\bigr\rVert_{#2}}

140: \def\NOrm#1.#2.{\Bigl\lVert#1\Bigr\rVert_{#2}}

141: \def\NORm#1.#2.{\biggl\lVert#1\biggr\rVert_{#2}}

142: \def\NORM#1.#2.{\Biggl\lVert#1\Biggr\rVert_{#2}}

143: 

144: %  we do for innner product what we do for norm 

145: %  above.

146: 

147: \def\ip#1,#2.{\langle #1,#2\rangle}

148: \def\Ip#1,#2.{\bigl\langle#1,#2\bigr\rangle}

149: \def\IP#1,#2.{\Bigl\langle#1,#2\Bigr\rangle}

150: 

151: 

152: 

153: \def\abs#1{\lvert#1\rvert}

154: \def\Abs#1{\bigl\lvert#1\bigr\rvert}

155: \def\ABs#1{\Bigl\lvert#1\Bigr\rvert}

156: \def\ABS#1{\biggl\lvert#1\biggr\rvert}

157: \def\ABSS#1{\Biggl\lvert#1\Biggr\rvert}

158: 

159: 

160: %  these macros provide a quick easy access to 

161: %  greek letters through the convention of e.g.

162: %  \alpha ---> \alpha

163: %  \beta  ---> \beta

164: %  and so on.

165: 

166:  

167: 

168: %  This macro will allow quick access to calagriphic

169: %  letters

170: 

171: % \z acts in several different ways.  

172: % \mathcal  converts to calagriphic type. 

173: % \mathbf  does a (wide)tilde (taking care to use treat i and j

174: %   correctly).  

175: % \boldsymbol  does an (wide)hat.  

176: % \z3 does a check.

177: % \z4 acute accent (slants to the left)

178: % \z5 grave accent (slants to the right)

179: % \z6 bar

180: % \z7 dot

181: % \z8 overline

182: % \z9 underline  

183: % 

184: 

185:  

186:  %%  Blackboard characters

187: 

188: \def\Xint#1{\mathchoice

189:    {\XXint\displaystyle\textstyle{#1}}%

190:    {\XXint\textstyle\scriptstyle{#1}}%

191:    {\XXint\scriptstyle\scriptscriptstyle{#1}}%

192:    {\XXint\scriptscriptstyle\scriptscriptstyle{#1}}%

193:    \!\int}

194: \def\XXint#1#2#3{{\setbox0=\hbox{$#1{#2#3}{\int}$}

195:      \vcenter{\hbox{$#2#3$}}\kern-.5\wd0}}

196: \def\ddashint{\Xint=}

197: \def\dashint{\Xint-}

198: 

199: 

200: 

201:  

202: 

203: 

204: 

205: %%%%%%%%%%%%  operators 

206: 

207: \def\ind#1 {{\mathbf 1}_{#1}}

208: 

209: \def\trans#1{\operatorname{Tr}_{#1}}

210: \def\modulate#1{\operatorname{Mod}_{#1}}

211: \def\dilate#1^#2{\operatorname{Dil}_{#1}^{#2}}

212: 

213: \def\ipf{\langle f,\varphi_s\rangle}

214: 

215: \def\dist #1,#2.{\operatorname{dist}(#1,#2)}

216: \def\dense #1{\operatorname{dense}(#1)}

217: \def\size #1{\operatorname{size}(#1)}

218: \def\COUnt #1{\operatorname{count}(#1)}

219:  \def\tree#1{$#1$tree} 

220:  \def\Tree{{\mathbf T}}

221:  

222: %%%%%%%%%%% For  use in the second section

223: 

224: \def\mid{\,:\,}

225: 

226:  

227: 

228: 

229: %-------------------beginning of text input********************************

230: 

231:  \begin{document} 

232: 

233: 

234: 

235: \title[Carleson's Theorem:Proof, Complements, Variations]{ Carleson's Theorem: \\

236: Proof, Complements, Variations }

237:  \author[M.T.~Lacey]{Michael T. Lacey

238: \\ { Georgia Institute of Technology}  }

239: \date{}

240: 

241: \thanks{This work has been

242:   supported by an NSF grant.} 

243: 

244:   \tableofcontents

245: 

246: \maketitle

247: 

248: 

249: 

250:  

251:  

252:  \section{Introduction}

253:   L.~Carleson's celebrated theorem of 1965 \cite{carleson} asserts the pointwise convergence of the

254:   partial Fourier sums of square integrable functions. We give  a  proof of this fact, in particular the proof of  

255:   Lacey and Thiele \cite{laceythielecarleson}, 

256:  as it can be presented in  brief self contained manner,  and a number of related results 

257:  can be seen by variants of the same argument.  We survey some of these variants, complements to Carleson's 

258:  theorem, as well as open problems.\footnote{This paper is an extended version of 

259:  the publication \cite {MR2091007}.}

260:  

261:  

262:  We are concerned with the Fourier transform on the real line, given by 

263:   \begin{equation*}

264:  \widehat f(\xi)=\int e^{-ix \xi} f(x)\;dx

265:   \end{equation*}

266:  for Schwartz functions $f$.  For such functions, it is an important elementary fact that one has Fourier inversion, 

267:   \begin{equation} \label{e.import-elem}

268:  f(x)=\lim_{N\to \infty}\frac1{2\pi}\int_{-N}^N \widehat f(\xi  )e^{ix \xi}\; d \xi,\qquad x\in\mathbb R,

269:  \end{equation} 

270: the inversion holding for   all Schwartz  functions $f$.   Indeed, 

271:  \begin{equation*}

272: \frac1{2\pi}\int_{-N}^N \widehat f(\xi  )e^{ix \xi}\; d \xi=D_N*f(x), 

273:  \end{equation*}

274: where $D_N(x):=\frac{\sin Nx }{\pi x} $ is the Dirchlet kernel.   

275: 

276: The convergence in (\ref{e.import-elem})  for Schwartz functions  follows from the classical facts 

277:  \begin{align*}

278: \int_{-\infty}^ \infty D_N(x)\; dx&{}=1,

279: \\

280: \lim_{N\to \infty} \int _{\abs x\ge \epsilon} D_N(x)\; dx&{}=0,\qquad \epsilon>0.

281:  \end{align*}

282: 

283: 

284: 

285: 

286: 

287: 

288: 

289: 

290: L.~Carleson's theorem asserts that (\ref{e.import-elem})   holds almost everywhere, for $f\in L^2(\mathbb R)$. 

291: The form of the Dirchlet kernel already points out the essential difficulties in establishing this theorem.  

292: That part of the kernel that is convolution with $\frac1 x $ corresponds to a singular integral. This 

293: can be done with the techniques associated to the Calder\'on Zygmund theory.  In addition, 

294: one must establish some uniform control for the oscillatory term $\sin N x $, which falls outside of 

295: what is commonly considered to be part of the Calder\'on Zygmund theory.  

296: 

297: For technical reasons, we find it 

298: easier to consider the equivalent one sided inversion, 

299:  \begin{equation}\label{e.Finversion} 

300: f(x)=\lim_{N\to \infty}\frac1{2\pi}\int_{-\infty}^N \widehat f(\xi  )e^{ix \xi}\; d \xi.

301:  \end{equation} 

302: 

303: 

304: 

305:  Schwartz functions being dense in $L^2$, 

306: one need only show that  the set of functions for which a.e.~convergence holds is closed.  The standard method for doing so 

307: is to consider the maximal function below, which we refer to as the Carleson operator 

308:  \begin{equation}\label{e.carlesonoperator} 

309: \mathcal Cf(x):=\sup_N \ABs{ \int_{-\infty}^N \widehat f(\xi  )e^{ix \xi}\; d \xi},\qquad x\in\mathbb R.

310:  \end{equation}

311: There is a straight forward proposition.

312: 

313:  \begin{proposition}\label{p.maxclosed}  

314: Suppose that the Carleson operator satisfies 

315:  \begin{equation}\label{e.carweakL2}

316: \abs{ \{\mathcal C f(x)>\lambda\}}\lesssim{} \lambda^{-2}\lVert f\rVert_2^2,\qquad f\in L^2(\mathbb R),\ \lambda>0.

317:  \end{equation}

318: Then, the set of functions $f\in L^2(\mathbb R)$ for which (\ref{e.Finversion})  holds is closed and hence all of $L^2(\mathbb R)$. 

319:  \end{proposition}  

320: 

321: \begin{proof}  For $f\in{}L^2(\mathbb R)$, we should see that 

322:  \begin{equation*}

323: L_f:=\limsup_{N\to\infty}\Abs{ f(x)-\frac1{2\pi}\int_{-\infty}^N \widehat f (\xi)e^{ix\xi}\; d\xi }=0\quad\text{a.e.}

324:  \end{equation*}

325: To do so, we show that for all $\epsilon>0$,  $\abs{\{L_f>\epsilon\}}\lesssim\epsilon$.  We take $g$ to be a smooth compactly supported 

326: function so that $\norm f-g.2.\le\epsilon^{3/2}$.  Now 

327: Fourier inversion holds for $g$, whence  

328: $

329: L_f\le{}\mathcal C(f-g)+\abs{f-g}

330: $.  Then, by the weak type inequality, (\ref{e.carweakL2}) , we have 

331:  \begin{equation*}

332: \abs{ \{ \mathcal C(f-g)>\epsilon\}}\lesssim\epsilon^{-2}\lVert f-g\rVert_2^2\lesssim\epsilon.

333:  \end{equation*}

334: \end{proof}

335: 

336: 

337: 

338: This is a standard proposition, which holds in a general context, and serves as one of the prime motivations for 

339: considering maximal operators.  Note in particular that we are not at this moment claiming that $\mathcal C$ is a bounded 

340: operator on $L^2$.  Inequality (\ref{e.carweakL2})  is the so called weak $L^2$ bound, and we shall utilize the form of this

341: bound in a very particular way in the proof below. 

342: 

343: 

344: 

345:  It was one of L.~Carleson's great achievements to invent a method to prove this weak type estimate.  

346:  

347:   \begin{carleson}\label{t.carleson} The estimate (\ref{e.carweakL2})  holds.  As a consequence, (\ref{e.Finversion})  holds for all $f\in L^2(\mathbb R)$, 

348:  for almost every $x\in\mathbb R$. 

349:   \end{carleson} 

350:  

351:  Carleson's original proof \cite{carleson} was extended to $L^p$, $1<p<\infty$, by R.~Hunt.  Also see \cite{MR39:3222}. 

352:  Charles Fefferman

353:  \cite{fefferman} 

354:  gave an alternate proof

355: that was influential by the explicit nature of it's   ``time frequency'' analysis, of which we have more more to say below.  

356: We  follow the proof of M.~Lacey and C.~Thiele \cite{laceythielecarleson}. More detailed comments on the

357: history of the proof, and related results will come later. 

358: 

359: The proof will have three  stages, the first being an appropriate decomposition of the Carleson operator. 

360: The second being an introduction of three Lemmas, which can be efficiently combined to give the proof of our Theorem.

361: The third being a proof of the 

362: Lemmas. 

363: 

364: \bigskip 

365: We do not keep track of the value of generic absolute constants, instead using the  notation $A\lesssim{}B$ iff $A\le{}KB$ 

366: for some constant $K$.   And $A\simeq B$ iff $A\lesssim{}B$ and $B\lesssim{}A$.  The notation

367: $\ind A $ denotes the indicator function of the set $A$.

368: For an operator $T$, $\norm T.p.$ denotes the norm of $T$ as an operator from $L^p $ to itself.  

369: 

370: \begin{Acknowledgment}

371: These notes are based on a series of lectures given at the Erwin Schr\"odinger  %"

372:   Institute, in Vienna Austria. I an                                                                               

373:   indebted to the Institute for the opportunity to present these lectures.

374:   \end{Acknowledgment}

375: 

376: \section{Decomposition}

377: 

378: The Fourier transform is a constant times a unitary operator on $L^2(\mathbb R)$.  In particular, we shall take the Plancherel's identity for granted. 

379: 

380:  \begin{proposition}\label{p.planch}  For all $f,g\in L^2(\mathbb R)$,  

381:  \begin{equation*}

382: \ip f,g.=c\ip \widehat f,\widehat g.

383:  \end{equation*}

384: for appropriate constant $c=\frac1{2\pi}$.

385:  \end{proposition} 

386: 

387: The convolution of $f$ and $\psi$ is given by $f*\psi(x)=\int f(x-y)\psi(y)\; dy$.  We shall 

388: also assume the following Lemma. 

389: 

390: 

391:  \begin{lemma}\label{l.convolve} If a bounded  linear operator $T$ on $L^2(\mathbb R)$ commutes with translations, then 

392: $Tf=\psi*f$, where $\psi$ is a distribution, which is to say a linear functional on Schwartz functions. 

393: In addition, the Fourier transform of $Tf$ is given by 

394:  \begin{equation*}

395: \widehat{Tf}=\widehat{\psi}\widehat f .

396:  \end{equation*}

397:  \end{lemma}

398: 

399: 

400: 

401: 

402: 

403: Let us introduce the operators associated to translation, modulation and dilation on the real line. 

404:  \begin{align}\label{e.translation} 

405: \trans y f(x)&{}:=f(x-y),

406: \\  \label{e.modulate}

407: \modulate \xi f(x)&{}:=e^{i \xi x}f(x),

408: \\ \label{e.dilate}

409: \dilate \lambda^p f(x)&{}:= \lambda^{-1/p}f(x/\lambda),\qquad 0<{}p\le\infty,\ \lambda>0.

410:  \end{align}

411: Note that the dilation operator preserves $L^p$ norm. 

412: These operators are  related through the Fourier transform, by 

413:  \begin{equation}\label{e.fouriertransformoperator}

414:  \widehat{\trans y}=\modulate {-y},\qquad \widehat{\modulate \xi}=\trans \xi,\qquad \widehat{\dilate \lambda^2}=\dilate {1/\lambda}^2

415:   \end{equation}

416: And we should also observe that the Carleson operator commutes with translation and dilation operators, while being invariant under modulation operators.  For any $y, \xi\in\mathbb R$, and $\lambda>0$,  

417:  \begin{equation*}

418: \trans y \circ\, \mathcal C=\mathcal C\circ \trans,\qquad \dilate \lambda^2 \circ\, \mathcal C=\mathcal C\circ \dilate \lambda^2,\qquad \mathcal C\circ\modulate \xi=\mathcal C.

419:   \end{equation*}

420: Thus, our mode of analysis should exhibit the same invariance properties.

421: 

422: 

423: 

424: 

425: 

426: 

427: We have phrased the Carleson operator in terms of  modulations of 

428: the operator $\operatorname P_-f(x)=\int_{-\infty}^0 \widehat f(\xi)e^{ix \xi}\; d \xi$, 

429: which is the Fourier projection on to negative frequencies.  

430: Specifically, since multiplication of $f$ by an exponential is associated with a translation of $\widehat f$, we have 

431:  \begin{equation}\label{e.carelsonP-}

432: \mathcal Cf=\sup_N \abs{\operatorname P_-(e^{iN\cdot}f)}

433:  \end{equation}

434:  

435: 

436: \bigskip 

437: A characterization of the operator $\operatorname P_-$ will be useful to us. 

438: 

439: 

440:  \begin{proposition}\label{p.P-}  Up to a constant multiple, $\operatorname P_-$ is the unique bounded 

441: operator on $L^2(\mathbb R)$ which  (a) commutes with translation (b) commutes with dilations (c) has as it's kernel precisely those functions with frequency support on the positive axis.

442:  \end{proposition} 

443: 

444: \begin{proof}  Let $T$ be a bounded operator on $L^2(\mathbb R)$  which satisfies these three properties. 

445: Condition (a) implies that $T$ is given by  convolution with respect to a distribution.  Such operators are equivalently characterized in frequency variables by 

446: $\widehat{Tf}=\tau\widehat f$ for some bounded function $\tau$.   Condition (b) then implies that $\tau( \xi)=\tau(\xi/\abs\xi)$

447: for all $\xi\not=0$.  

448: A function $f$ is in the kernel of $T$ iff $\widehat f$ is supported on the zero set of $\tau$.  

449: Thus (c) implies that $\tau$ is identically $0$ on the positive real axis, and 

450: non--zero on the negative axis.  Thus, $T$ must be a multiple of $\operatorname P_-$.

451: \end{proof}

452: 

453: 

454:   

455:  

456:  

457: We move towards the tool that will permit us to decompose  Carleson operator, and take advantage of some combinatorics of the 

458: time--frequency plane.  

459: We let $\mathcal D$ be a choice of dyadic grids on the line. Of the different choices we can make, we take the grid to be one that 

460: is preserved under dilations by powers of $2$. That is 

461:  \begin{equation}\label{e.Ddef}

462: \mathcal D=\{ [j2^k,(j+1)2^k)\mid j,k\in\mathbb Z\}

463:  \end{equation}

464: Thus, for each interval $I\in\mathcal D$ and $k\in\mathbb Z$,  the interval $2^kI=\{2^kx\mid x\in I\}$ is also in $\mathcal D$. 

465: 

466: 

467: 

468:   A {\em tile} is a rectangle $s\in\mathcal D\times \mathcal D$ that has area one. 

469: We write a tile as $s=I\times \omega$, thinking of the first interval as a time interval and the second as frequency.  The requirement 

470: of having area one is suggested by the uncertainty principle of the Fourier transform, or alternatively, our calculation of the 

471: Fourier transform of the dilation operators in (\ref{e.fouriertransformoperator}) . Let $\mathcal T$ denote the set of all tiles.  

472: While tiles all have area one, the ratio between the time and frequency coordinates is permitted to be 

473: arbitrary.  See \f.grids/ for a few possible choices of this ratio.

474: 

475: 

476: 

477: 

478: %%%%%%%%%%%%%%%%%%%%%%%

479: \begin{figure} 

480: 

481: \begin{center}

482: \begin{pgfpicture} {0cm}{0cm}{4cm}{4.5cm} 

483: 

484: 

485: \pgfgrid[step={\pgfpoint{1cm}{.125cm}}]{\pgfxy(-.05,2.45)}{\pgfxy(2.05,4.55)} 

486: 

487: 

488: \pgfgrid[step={\pgfpoint{.5cm}{.25cm}}]{\pgfxy(2.95,2.45)}{\pgfxy(5.05,4.55)} 

489: 

490: \pgfgrid[step={\pgfpoint{.25cm}{.5cm}}]{\pgfxy(-.05,-.05)}{\pgfxy(2.05,2.05)} 

491: 

492: 

493: \pgfgrid[step={\pgfpoint{.125cm}{1cm}}]{\pgfxy(2.95,-.05)}{\pgfxy(5.05,2.05)}

494: 

495: 

496: \end{pgfpicture}

497: \end{center}

498: \label{f.grids} 

499:  \caption{Four different aspects ratios for  tiles. Each fixed ratio gives rise to a tiling for the time frequency plane.} 

500: \end{figure}

501: 

502: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

503: 

504: Each dyadic interval is a union of its left and right halves, which are also dyadic.  For an interval $\omega$ we denote these as 

505: $\omega_-$ and $\omega_+$ respectively.  We are in the habit of associating frequency intervals with the vertical axis. 

506: So  $\omega_-$ will lie below   $\omega_+$. Associate to a  tile $s=I_s\times \omega_s$ the rectangles $s_{\pm}=I_s\times 

507: \omega_{s\pm}$. 

508: These two rectangles play complementary roles in our proof.  

509: 

510: Fix a Schwartz function $\varphi$ with $\ind {[-1/9,1/9]} \le\widehat \varphi\le\ind {[-1/8,1/8]} $.

511: Define a function associated to a tile $s$ by 

512:  \begin{equation}\label{e.zvf}

513: \varphi_s=\modulate {c(\omega_{s-})} \trans {c(I_s)} \dilate {\abs{I_s}}^2  \varphi

514:  \end{equation}

515: where $c(J)$ is the center of the interval $J$.  Notice that $\varphi_s$  has Fourier transform supported on $\omega_{s-}$,

516: and is highly localized in time variables around the interval $I_s$.  That is, $\varphi_s$ 

517: is essentially supported in the time--frequency plane on the rectangle $I_s\times \omega_{s-}$. 

518: Notice that the set of functions $\{\varphi_s\mid s\in\mathcal T\}$  has a set of invariances with respect to 

519: translation, modulation, and dilation that mimics those of the Carleson operator. 

520: 

521: \medskip 

522: 

523: It is our purpose to devise a decomposition of the projection $\operatorname P_-$ in terms of the tiles just introduced.  

524: To this end, for a choice of $\xi\in\mathbb R$, let 

525:  \begin{equation}\label{e.Qdef} 

526: \operatorname Q_ \xi f=\sum_{\substack{s\in\mathcal T}} \ind {\omega_{s+}}  (\xi)\ipf \varphi_s .

527:  \end{equation}

528: We should consider general values of $\xi$ for the reason that the dyadic grid distinguishes certain points as  being 

529: interior, or a boundary point, to an infinite chain of dyadic intervals.   And moreover, for a given $\xi$, only certain 

530: tiles can contribute to the sum above, those tiles being determined by the expansion of $\xi $ in a binary digits.  See 

531: \f.Q/.  Let us list  some  relevant properties of these operators. 

532: 

533: 

534: 

535: \begin{figure} 

536: 

537: \begin{center} 

538: \begin{pgfpicture}{0cm}{0cm}{4cm}{4.5cm} 

539: 

540: \color{lightgray}

541: \begin{pgftranslate}{\pgfpoint{0cm}{0.5cm}}

542: 

543: \pgfrect[fill]{\pgfxy(0,1.9375)}{\pgfxy(4,.0625)}

544: 	%  half way across, first generation 

545: \pgfrect[fill]{\pgfxy(2,1.875)}{\pgfxy(2,.125)}

546: 	%  third generation, with the second generation not allowed  

547: \pgfrect[fill]{\pgfxy(.5,1.75)}{\pgfxy(.5,.5)}

548: \pgfrect[fill]{\pgfxy(2.5,1.75)}{\pgfxy(.5,.5)}

549: 

550: \pgfrect[fill]{\pgfxy(.5,1.25)}{\pgfxy(.125,2)}

551: \pgfrect[fill]{\pgfxy(.75,1.25)}{\pgfxy(.125,2)}

552: \pgfrect[fill]{\pgfxy(1.5,1.25)}{\pgfxy(.125,2)}

553: \pgfrect[fill]{\pgfxy(2.25,1.25)}{\pgfxy(.125,2)}

554: \pgfrect[fill]{\pgfxy(3.5,1.25)}{\pgfxy(.125,2)}

555: \pgfrect[fill]{\pgfxy(3.75,1.25)}{\pgfxy(.125,2)}

556: 

557: \color{black} 

558: 

559: \pgfputat{\pgfxy(-.4,1.9)}{\pgfbox[center,center]{$\xi$}} 

560: \pgfline{\pgfxy(-.2,1.95)}{\pgfxy(4.2,1.95)}  

561: 	%long rect all the way across 

562: \pgfrect[stroke]{\pgfxy(0,1.875)}{\pgfxy(4,.125)}

563: 	%  half way across, first generation 

564: \pgfrect[stroke]{\pgfxy(2,1.75)}{\pgfxy(2,.25)}

565: 	%  third generation, with the second generation not allowed  

566: \pgfrect[stroke]{\pgfxy(.5,1.25)}{\pgfxy(.5,1)}

567: \pgfrect[stroke]{\pgfxy(2.5,1.25)}{\pgfxy(.5,1)}

568: 	%   fifth generation, with the fourth generation not allowed. 

569: \pgfrect[stroke]{\pgfxy(.5,-.75)}{\pgfxy(.125,4)}

570: \pgfrect[stroke]{\pgfxy(.75,-.75)}{\pgfxy(.125,4)}

571: \pgfrect[stroke]{\pgfxy(1.5,-.75)}{\pgfxy(.125,4)}

572: \pgfrect[stroke]{\pgfxy(2.25,-.75)}{\pgfxy(.125,4)}

573: \pgfrect[stroke]{\pgfxy(3.5,-.75)}{\pgfxy(.125,4)}

574: \pgfrect[stroke]{\pgfxy(3.75,-.75)}{\pgfxy(.125,4)}

575: 

576: \end{pgftranslate}

577: 

578: \end{pgfpicture} \end{center} 

579: 		\label{f.Q}  \caption{Some of the tiles that contribute to the sum for $\operatorname Q_\xi $.  

580: 		The shaded areas are the tiles $I_s\times \omega_{s+} $.}

581: \end{figure}	

582: 

583: 

584: 

585: 

586:  \begin{proposition}\label{p.Qprop}  For any $\xi$, the operator $\operatorname Q_ \xi$ is a bounded operator on $L^2$, with bound independent of $ \xi$.  Its kernel 

587: contains those functions with Fourier transform supported on $[\xi,\infty)$, and it is positive semidefinite.  Moreover, 

588: for each integer $k$, 

589:  \begin{gather}\label{e.Qdilate}

590: \operatorname Q_ \xi=\dilate {2^{-k}}^2 \operatorname Q_ {\xi2^{-k}} \dilate {2^{k}}^2

591:  \\ \label{e.Qtrans}

592: \operatorname Q_ {\xi,k}\trans {2^k}=\trans {2^k}Q _ {\xi,k},

593:  \end{gather}

594: where $\operatorname Q_{ \xi,k}=\sum_{\substack{s\in\mathcal T\\ \abs{I_s}\le{}2^k}} \ind {\omega_{s+}}  (\xi)\ipf \varphi_s $.

595:  \end{proposition} 

596: 

597: \begin{proof}  Let $\{\omega(n)\mid n\in\mathbb Z\}$ be the set of dyadic intervals for which  $\xi\in\omega(n)_+$, listed in increasing order, thus 

598: $\cdots \subset\omega(n)\subset \omega(n+1)\subset\cdots$.    Let $\mathcal T(n)=\{s\in\mathcal T\mid \omega_s=\omega(n)\}$, 

599: and 

600:  \begin{equation*}

601: \operatorname Q_{(n)}f=\sum_{s\in\mathcal T(n)} \ipf \varphi_s .

602:  \end{equation*}

603: The intervals $\omega(n)_-$ are disjoint in $n$, and since $\varphi_s$ has frequency support in $\omega_{s-}$, it follows that the operators $\operatorname Q_{(n)}$ are orthogonal in $n$.  The boundedness of $\operatorname Q_ \xi$ reduces therefore to the

604:  uniform boundedness of $\operatorname Q_{

605: (n)}$ in $n$.  

606: 

607: Two operators $\operatorname Q_{(n)}$ and $\operatorname Q_{(n')}$ differ by composition with a modulation operator and a dilation operator that preserves $L^2$ norms. 

608: Thus, it suffices to consider the $L^2$ norm bound of a  $\operatorname Q_{(n)}$ with  $\abs{I_s}=1$ for all $s\in\mathcal T(n)$.  Using the fact that $\varphi_s$ is a rapidly decreasing function, we see that 

609:  \begin{equation} \label{e.compare}

610: \abs{\ip \varphi_s, \varphi_{s'}.}\lesssim{} {\dist I_s,I_{s'}.}^{-4}.

611:  \end{equation}

612: Now that  the spatial length of the tiles is one, the 

613:  tiles are separated by integral distances.  Since $\sum_n n^{-4}<\infty$, 

614:  \begin{align*}

615: \lVert \operatorname Q_{(n)}f\rVert_2^2={}&\sum_{s\in\mathcal T(n)}\sum_{s'\in\mathcal T(n)}\ipf \ip \varphi_s, \varphi_{s'}. 

616: 		\ip \varphi_{s'},f.

617: 	\\

618: 	{}\lesssim{}&\sup_{n\in\mathbb Z} \sum_{s\in\mathcal T(n)}\abs{ \ipf \ip f,\varphi_{(I_{s}+n)\times \omega(n)}.}

619: 	\\

620: 	{}\lesssim{}&\sum_{s\in\mathcal T(n)}\abs{ \ipf }^2.

621:  \end{align*}

622: The last inequality following by Cauchy-Schwarz.  The last sum is easily controlled, by simply bringing in the absolute values. 

623: Since $\abs{\ipf}^2\lesssim{}\int \abs{f}^2\abs{\varphi_s}\; dx$

624:  \begin{align*}

625: \sum_{s\in\mathcal T(n)}\abs{ \ipf }^2\le{}& \int \abs {f}^2\sum_{s\in\mathcal T(n)}\abs{\varphi_s}\; dx

626:   \\

627:   {}\le{}&\lVert f \rVert_2^2\sup_x \sum_{s\in\mathcal T(n)}\abs{\varphi_s(x)}

628:   \\

629:   {}\lesssim{}&\lVert f \rVert_2^2

630:   \end{align*}

631: This completes the proof of the uniform boundedness of $\operatorname Q_ \xi$.  

632: 

633: \medskip 

634: 

635: 

636: Since all of the functions $\varphi_s$ that contribute to the definition of $\operatorname Q_ \xi$ have frequency support below $\xi$, the conclusion abut the kernel of the operator is obvious. And that it is positive semidefinite, observe that 

637:  \begin{equation}

638: \ip \operatorname Q_ \xi f,f.=\sum_{\substack{s\in\mathcal T\\ \xi\in \omega_{s+}}} \abs{\ipf }^2\ge0.

639:  \end{equation}

640: In particular, $\ip \operatorname Q_ \xi \varphi_s,\varphi_s.\not=0$ for $s\in\mathcal T(n)$. 

641: 

642: \medskip 

643: To see (\ref{e.Qdilate})  recall (\ref{e.fouriertransformoperator})  and our specific choice of grids, (\ref{e.Ddef}) .  To see (\ref{e.Qtrans}) , observe that if $I\in\mathcal D$ has length at most $2^k$, then $I+2^k$ is also in $\mathcal D$.

644: 

645: 

646: \end{proof}

647: 

648: 

649: 

650: As the lemma makes clear, $ \modulate {-\xi} \operatorname Q_ \xi\modulate \xi$ serves as an approximation to $\operatorname P_-$.    A limiting procedure will recover $\operatorname P_-$ exactly. Consider 

651:  \begin{equation} \label{e.Qaverage}

652: Q=\lim_{Y\to \infty} \int_{B(Y)} \dilate {2^{-\lambda}}^2 \trans {-y} \modulate {-\xi} \operatorname Q_ \xi 

653: \modulate {\xi}\trans {y}  \dilate {2^{\lambda}}^2 \mu(d \lambda,dy,d \xi).

654:  \end{equation}

655: Here, $B(Y)$ is the set $[1,2]\times[0,Y]\times [0,Y]$, and $\mu$ is normalized Lebesgue measure.  Notice that the dilations are 

656: given in terms of $2^\lambda$, so that in that parameter, we are performing an average with respect

657: to the multiplicative Haar measure on $\mathbb R_+$.

658: 

659: 

660: 

661: Apply the right hand side to a Schwartz function $f$.  It is easy to see that as $k\to-\infty$, the terms 

662:  \begin{equation*}

663: \modulate {\xi}\trans {y}  \dilate {2^{\lambda}}^2\operatorname Q_{\xi, k}f

664:  \end{equation*}

665:  tend to  zero uniformly in the parameters $\xi$, $y$, and $\lambda$, with a rate that depends upon $f$.

666:   Here, $\operatorname Q_{\xi,k}$ is as in (\ref{e.Qtrans}) . Similarly, 

667: as $k\to\infty$, the terms 

668:    \begin{equation*}

669: \modulate {\xi}\trans {y}  \dilate {2^{\lambda}}^2(\operatorname Q-\operatorname Q_{\xi, k})f

670:  \end{equation*}

671: also tend to zero uniformly.  Hence, 

672: the limit is seen to exist for all Schwartz functions.  By \Pcap.Qprop/, it follows that $Q$ is a bounded operator on $L^2$. 

673: That $Q$ is translation and dilation invariant follows from (\ref{e.Qtrans})  and (\ref{e.Qdilate}) . 

674: Its kernel contains those functions with Fourier transform supported on $[0,\infty)$. 

675: Finally, if we verify that $Q$ is not identically zero, we can conclude that it is a multiple of $\operatorname P_-$.  

676: But, for e.g.~$f=\modulate {-1/8}\varphi$, it is easy to see that 

677:  \begin{equation*}

678: \ip \operatorname Q_ \xi 

679: \modulate {\xi}\trans {y}  \dilate {2^{\lambda}}^2 f,\modulate {\xi}\trans {y}  \dilate {2^{\lambda}}^2 f .>0

680:  \end{equation*}

681: so that $Qf\not=0$.  Thus, $Q$ is a multiple of $\operatorname P_-$. 

682: 

683: 

684: 

685: 

686: \medskip 

687: 

688: We can return to the Carleson operator.  An important viewpoint emphasized by C.~Fefferman's proof 

689: \cite{fefferman} is that we should linearize the supremum.  That is we consider a measurable map $N\mid \mathbb R\mapsto\mathbb R$, 

690: which specifies the value of $N$ at which the supremum in 

691: (\ref{e.carlesonoperator})  occurs.  Then, it suffices to bound the operator norm of the linear (not sublinear) operator

692:  \begin{equation*}

693: \operatorname P_-\modulate {N(x)}

694:  \end{equation*}

695: Considering (\ref{e.Qaverage}) , we set 

696:  \begin{equation*}

697: \mathcal C_N f(x)=\sum_{s\in\mathcal T}\ind \omega_{s+}   (N(x))   \ipf \varphi_s (x).

698:  \end{equation*}

699: Our main Lemma is then 

700: 

701:  \begin{lemma}\label{l.model}   There is an absolute constant $K$ so that for all measurable functions $N\mid \mathbb R\mapsto\mathbb R$, we 

702: have the weak type inequality 

703:  \begin{equation} \label{e.modelweaktype} 

704: \abs{ \{\mathcal C_N f>\lambda\}}\lesssim{} \lambda^{-2}\lVert f\rVert_2^2,\qquad \lambda>0,\ f\in L^2(\mathbb R).

705:  \end{equation}

706:  \end{lemma}

707: 

708: By the convexity of the weak $L^2$ norm, this theorem immediately implies the same estimate for $\operatorname P_-\modulate {N(x)}$, and so proves 

709: \t.carleson/. 

710: The proof of the lemma is obtained by combining the three estimates detailed in the next section.

711: 

712: 

713: 

714: \subsection{Complements}  

715: At the conclusion to the different sections of the proof, some complements to the ideas and techniques of the 

716: previous sections will be mentioned, but not proved.  These items can be considered as exercises. 

717: 

718:  \begin{remark}\label{r.avgconvolve}  For Schwartz functions $\varphi$ and $\psi$, set 

719:  \begin{gather*}

720: \operatorname A f:=\sum_{n\in\mathbb Z} \ip f,\trans n \varphi . \trans n \psi 

721: \\

722: \operatorname B f:=\int_0^1 \trans {-y} \operatorname A \trans y \; dy

723:  \end{gather*}

724: Then, $\operatorname B$  is a convolution operator, that is $\operatorname  Bf=\Psi*f$ for some function $\Psi$, which can be explicitly computed.    

725:  \end{remark} 

726:  

727: 

728:  \begin{remark}\label{r.identity}  The identity operator is, up to a constant multiple, the 

729: unique bounded operator $\operatorname A$ on $L^2$ which commutes with all translation and modulation 

730: operators.  That is  $\operatorname A \mid L^2 \mapsto L^2 $, and for all $y\in\mathbb R$ and $\xi\in\mathbb R$, 

731:  \begin{equation*}

732: \trans{y}\operatorname A=\operatorname A\trans y,\qquad \modulate \xi \operatorname A=\operatorname A\modulate \xi .

733:  \end{equation*}

734:  \end{remark} 

735: 

736: 

737:  \begin{remark}\label{r.Aj}   The operators  

738:  \begin{equation*}

739: \operatorname A_jf:=\sum_{\substack{ s\in \mathcal T\\ \abs{I_s}=2^j}} \ip f,\varphi_s . \varphi_s 

740:  \end{equation*}

741: are uniformly bounded operators on $L^2(\mathbb R)$, assuming that $\varphi $ is a Schwartz function.  

742:  \end{remark}

743: 

744: 

745:  \begin{remark}\label{r.avgident}  Assuming that $\varphi\not\equiv0 $, the operator below is a 

746: non--zero multiple of the identity operator on $L^2$. 

747:  \begin{equation*}

748: \int_0^{2^j} \int_0^{2^{-j}} \trans {-y} \modulate {-\xi} \operatorname  A_j \modulate \xi \trans y \; d\xi dy.

749:  \end{equation*}

750:  \end{remark} 

751: 

752: 

753: 

754: 

755: 

756: 

757: \section{The Central Lemmas} 

758: 

759: Observe that the weak type estimate of \Lcap.model/  is implied by 

760:  \begin{equation} \label{e.WKT}

761: \abs{ \ip \mathcal C_N f,\ind E  .}\lesssim{}\norm f.2. \abs{E}^{1/2},

762:  \end{equation}

763: for all functions $f$ and sets $E$ of finite measure.  (In fact this inequality is 

764: equivalent to the weak $L^2$ bound.)

765: 

766: 

767: 

768: 

769: 

770: By linearity of $\mathcal C_N$, we may assume that $\norm f.2.=1$.  By the invariance of $\mathcal C_N$ under dilations by a factor of $2$ (with a change of measurable $N(x)$), we can assume that $1/2<\abs E\le1$.   Set 

771:  \begin{equation}\label{e.zf}

772: \phi_s=(\ind {\omega_{s+}} \circ  N)\varphi_s.

773:  \end{equation}

774: We shall show that 

775:  \begin{equation}\label{e.weaktypedual} 

776: \sum_{s\in\mathcal T}\abs{\ipf \ip \phi_s,\ind E .}\lesssim{}1.

777:  \end{equation}

778: To help keep the notation straight, note that $\varphi_s $ is a smooth function, adapted to the tile. On the other hand, 

779: $\phi_s $ is the rough function paired with the indicator set $\ind {\omega_{s+}} \circ N $.  

780: From this point forward, the function $f$ and the set $E$  are fixed.  We use data about these two objects to organize our proof. 

781: 

782: \smallskip

783: 

784:  As the sum above is over strictly positive quantities,

785:  we may consider all sums to be taken over some finite subset of tiles.  Thus, there is never any

786:  question that the sums we treat are 

787:  finite, and 

788: the iterative procedures we describe will all terminate.  The estimates we obtain will be independent of the 

789: fact that the sum is formally over a set of finite tiles. 

790: 

791: \smallskip 

792: 

793: We need some concepts to phrase the proof.  There is a natural partial order on tiles. Say that $s<s'$ iff $\omega_{s}\supset 

794: \omega_{s'}$ and $I_s\subset I_{s'}$.  Note that the time variable of $s$ is localized to that of $s'$, and the frequency 

795: variable of $s$ is 

796: similarly localized, up to the variability allowed by the uncertainty principle. Note that two tiles are incomparable 

797: with respect to the 

798: `$<$' partial order iff the tiles, as rectangles in the time frequency plane, do not intersect.   A ``maximal tile''{} will 

799: one that is maximal 

800: with respect to this partial order.  See figure 1.

801: 

802: We call a set of tiles $\Tree \subset\mathcal S$ a {\em tree} if there is a tile $I_\Tree\times \omega_{\Tree}$, called the

803: {\em top of the tree,} 

804: such that for all $s\in\Tree$, $s<I_\Tree\times \omega_{\Tree}$.  We note that the top is not uniquely defined.  An important point is that a tree top specifies a location in time variable for the tiles in the tree, namely inside $I_\Tree$, and localizes 

805: the  frequency variables,  identifying $\omega_{\Tree}$ as 

806: a nominal origin.

807: 

808: We say that {\em $\mathcal S$ has count at most $A$}, and write 

809:  \begin{equation*}

810: \COUnt {\mathcal S}<A

811:  \end{equation*}

812: iff $\mathcal S$ is a union   $\bigcup_{\Tree\in\mathcal T}\Tree$, where each $\Tree\in\mathcal T$ is a tree, and  \begin{equation*}

813: \sum_{\Tree\in\mathcal T}\abs{I_\Tree}<A.

814:  \end{equation*}

815: 

816: 

817: 

818: 

819: 

820: Fix $\chi(x)=(1+\abs x)^{-\kappa}$, where $\kappa$ is a large constant, whose exact value is unimportant to us.  Define  

821:  \begin{gather} \label{e.chiI} 

822: \chi_I:=\trans {c(I)}\dilate {\abs I}^1  \chi,

823: \\

824: \label{e.dense} 

825: \dense s:=\sup_{s<s'}\int_{ N^{-1}(\omega_{s'})} \chi_{I_{s'}}\; dx,

826: \\\nonumber 

827: \dense {\mathcal S}:=\sup_{s\in\mathcal S}\dense s,\qquad \mathcal S\subset\mathcal T.

828:  \end{gather}

829: The first and most natural definition of a ``density'' of a tile, would be ${\abs {I_s}}^{-1}\abs{N^{-1}(\omega_{s+})\cap I_s}$.  But 

830: $\varphi$ is supported on the whole real line, though does decay faster than any inverse of a  polynomial. 

831: We refer to this as a ``Schwartz tails problem.''

832:   The definition of density as  $\int_{N^{-1}(\omega_{s})} \chi_{I_s}\;dx $, as it turns out, is still not adequate. 

833:  That we should take the supremum over  $s<s'$ only becomes evident in the proof of the ``Tree Lemma'' below.  

834:  

835:  The ``Density Lemma'' is 

836:  

837:  %%%%%%%%%%%%%%%%  Density Lemma 

838:  

839:  

840:   \begin{lemma}\label{l.dense}  Any subset $\mathcal S\subset\mathcal T$ is a union of $\mathcal S_{\text{\rm heavy}}$ and $\mathcal S_{\text{\rm light}}$ for which 

841:   \begin{equation*}

842:  \dense {\mathcal S_{\text{\rm light}}}<\tfrac12\dense{ \mathcal S} ,

843:   \end{equation*}

844:  and the collection $\mathcal S_{\text{\rm heavy}}$  satisfies 

845:   \begin{equation} \label{e.densecount}

846:  \COUnt {\mathcal S_{\text{\rm heavy}}}\lesssim{}{\dense {\mathcal S}}^{-1}.

847:   \end{equation}

848:   \end{lemma} 

849:  

850:  

851:   What is significant is that this relatively simple lemma admits a non-trivial variant  intimately

852:   linked to the tree structure and orthogonality.  We should refine the notion of a tree. Call a tree $\Tree$ with top $I_\Tree\times \omega_{\Tree}$

853:  a \tree\pm{} iff for each $s\in\Tree$, aside from the top, 

854:   $I_\Tree\times \omega_{\Tree}\cap I_s\times \omega_{s\pm}$ is not empty.  Any tree is a union of a 

855:   \tree+{} and a \tree-{}.  If $\Tree$ is a \tree+{}, 

856:   observe that the rectangles $\{I_s\times \omega_{s-}\mid s\in\Tree\}$ are disjoint.  And, by  the proof of 

857:   \Pcap.Qprop/, we see that 

858:    \begin{equation*}

859:    \Delta(\Tree)^2:=\sum_{s\in\Tree}\abs{\ipf }^2\lesssim{}\lVert f\rVert_2^2.

860:    \end{equation*}

861:   This motivates the  definition 

862:    \begin{equation} \label{e.size}

863:   \size {\mathcal S}:=\sup\{ \abs{I_\Tree}^{-1/2} \Delta(\Tree)\mid \Tree\subset\mathcal S,\ \text{$\Tree$ is a \tree+{}}\}.

864:    \end{equation}

865:   The ``Size Lemma'' is 

866:   

867:  %%%%%%%%%%%%   Size Lemma 

868:  

869:   \begin{lemma}\label{l.size}  Any subset $\mathcal S\subset\mathcal T$ is a union of $\mathcal S_{\text{\rm big}}$ and $\mathcal S_{\text{\rm small}}$ for which 

870:   \begin{equation*}

871:  \size {\mathcal S_{\text{\rm small}}}<\tfrac12\size {\mathcal S} ,

872:   \end{equation*}

873:  and the collection $\mathcal S_{\text{\rm big}}$ satisfies 

874:   \begin{equation} \label{e.sizecount} 

875:  \COUnt {\mathcal S_{\text{\rm big}}}\lesssim{}{\size {\mathcal S}}^{-2}.

876:   \end{equation}

877:   \end{lemma} 

878:  

879:  %%%%%%%%%%%%%%%   Tree Lemma 

880:  

881:  

882:  Our final Lemma relates trees, density and size. It is the ``Tree Lemma.'' 

883:  

884:   \begin{lemma}\label{l.tree}  For any tree $\Tree$ 

885:   \begin{equation}\label{e.tree}

886:  \sum_{s\in\Tree}\abs{\ipf \ip \phi_s,\ind E  .}\lesssim{}\abs{I_\Tree}\size \Tree \dense\Tree.

887:   \end{equation}

888:   \end{lemma}

889:  

890:  

891:  

892:  %%%%%%%%%%%%%%%%%    Final orgainization of proof

893:  

894:  

895:  The final elements of the proof are organized as follows.  Certainly, $\dense {\mathcal T}<2$ for $\kappa$ sufficiently large.  We take 

896:  some finite subset $\mathcal S$ of $\mathcal T$, and so certainly $\size {\mathcal S}<\infty$.  If $\size {\mathcal S}<2$, we jump to the next stage of the proof. 

897:  Otherwise, we iteratively apply  \Lcap.size/ to obtain subcollections $\mathcal S_n\subset \mathcal S$, $n\ge0$,  

898:  for which 

899:   \begin{equation}\label{e.sizen}

900:  \size {\mathcal S_n}<2^{n},\quad  n>0,

901:   \end{equation}

902:  and $\mathcal S_n$  satisfies 

903:   \begin{equation} \label{e.count}

904:  \COUnt {\mathcal S_n} \lesssim{}2^{-2n}.

905:   \end{equation}

906:  We are left with a collection of tiles $\mathcal S'=\mathcal S-\bigcup_{n>0}\mathcal S_n$ which has both density and size at most $2$.  

907:  

908:  Now, both \Lcap.dense/ and \Lcap.size/ are set up for iterative application.  And we should apply them so that the estimates in 

909:  (\ref{e.densecount})  and (\ref{e.sizecount})  are of the same order. (This means that we should have density about the square of the size.)  As a consequence, we can achieve a decomposition of $\mathcal S$ into 

910:  collections $\mathcal S_n$, $n\in\mathbb Z$, which satisfy (\ref{e.sizen}) , (\ref{e.count})  and 

911:   \begin{equation}\label{e.densen}

912:  \dense {\mathcal S_n}<\min(2,2^{2n}).

913:   \end{equation}

914:  

915:  Use the estimates (\ref{e.tree}) ---(\ref{e.densen}) .  Write $\mathcal S_n$ as a union of trees $\Tree\in\widetilde{\Tree}_n$, this collection of trees 

916: satisfying the estimate of (\ref{e.count}) . We see that 

917:   \begin{align} \nonumber

918:  \sum_{s\in\mathcal S_n}\abs{\ipf \ip \phi_s,\ind E   .}={}&\sum_{\Tree\in\widetilde{\Tree}_n} \sum_{s\in\Tree}\abs{\ipf \ip \phi_s,{\mathbf 1_{E}  }.}

919:  \\  \label{e.ending}

920:  {}\lesssim{}&2^n\min(2,2^{2n})\sum_{\Tree\in\widetilde{\Tree}_n}\abs{I_\Tree}

921:  \\ \nonumber

922:  {}\lesssim{}&\min(2^{-n},2^n).

923:   \end{align}

924:  This is summable over $n\in\mathbb Z$ to an absolute constant, and so our proof (\ref{e.weaktypedual})  is complete, aside from the proofs of the three key lemmas.

925:  

926:  \subsection{Complements} 

927:  

928:  

929:   \begin{remark}\label{r.weaktypeequiv} These two conditions are equivalent.  

930:   \begin{gather*}

931:  \sup_{\lambda>0} \lambda^{-2}\abs{\{ f>\lambda\}}\lesssim1,

932:  \\

933:  \int_E \abs f\; dx\lesssim\abs{E}^{1/2},\qquad \abs E<\infty.

934:   \end{gather*}

935:   \end{remark}

936:  

937:  

938:  

939:  

940:  

941:  \begin{remark}\label{r.dilate}  Let $\operatorname A$ be an operator for which $\dilate {2^k}^2 \operatorname A=\operatorname A

942: \dilate {2^k}^2$ for all $k\in\mathbb Z$.  

943: Suppose that 

944: there is an absolute constant $K$ so that for all functions $f\in L^2(\mathbb R)$ of norm one, 

945:  \begin{equation*}

946: \abs{ \{\operatorname  A f>1\}}\le{}K.

947:  \end{equation*}

948: Then for all $\lambda>0$, 

949:  \begin{equation*}

950: \abs{ \{\operatorname  Af>\lambda\}    }\lesssim{}\lambda^{-2}\lVert f\rVert_2^2.

951:  \end{equation*}

952: See \cite{MR37:6687}.

953:  \end{remark}

954: 

955: 

956: 

957: 

958: 

959:   \begin{remark}\label{r.sizemax}  For any $+$tree $\Tree$, 

960:   \begin{equation*}

961:  \sum_{s\in\Tree} \abs{\ip f,\varphi_s.}^2\lesssim \int \abs{f}^2 \trans {c(I_\Tree)}\dilate {I_\Tree}^\infty  \chi \; dx .

962:   \end{equation*}

963:   Moreover, one has the inequality 

964:   \begin{equation*}

965:   \abs{I_\Tree}^{-1}\sum_{s\in\Tree} \abs{\ip f,\varphi_s.}^2{}\lesssim{} \inf_{x\in\Tree}\operatorname M\abs{f}^2(x).

966:   \end{equation*}

967:  Here, $\operatorname M$ is the maximal function, 

968:   \begin{equation*}

969: \operatorname Mf(x)=\sup_{t>0}(2t)^{-1}\int_{-t}^t \abs{f(x-y)}\; dy.

970:   \end{equation*}

971:   \end{remark} 

972: 

973: 

974: 

975:  

976:  

977:  

978: %%%%%%%%%%%%%%%  Proof of  Density Lemma 

979:  

980:  \section{The Density Lemma}

981:  Set $\delta=\dense {\mathcal S}$. 

982:  Suppose for the moment that density had the simpler definition 

983:   \begin{equation*}

984:  \text{\sf dense}(s):= \frac{\abs{N^{-1}(\omega_{s})\cap I_s}}{\abs{I_s}}.

985:   \end{equation*}

986:  The collection $\mathcal S_{\text{\rm heavy}}$ is to be a union of trees.  So to select this collection, it suffices to select 

987:  the tops of the trees in this set. 

988:  

989: Select the tops of the trees, $\text{\sf Tops}$ as being those tiles $s$ with $\text{\sf dense}(s)$ exceeding 

990:  $\delta/2$, which are also maximal with respect to the partial order `$<$.'  The tree associated to such a tile $s\in \text{\sf Tops}$

991:  would just be 

992:  all those tiles in $\mathcal S$ which are less than $s$.  The   tiles in $\text{\sf Tops}$ are pairwise incomparable with respect to 

993:  the partial order `$<$,' and so are pairwise 

994:   disjoint rectangles in the time--frequency plane.  And so the sets ${N^{-1}(\omega_{s})\cap I_s}\subset E$ are pairwise disjoint, 

995:   and each has measure at  least $\frac\delta2\abs{I_s}$.  Hence the estimate below is immediate. 

996:   \begin{equation}\label{e.xtops}

997:  \sum_{s\in\text{\sf Tops}}\abs{I_s}\lesssim{}\delta^{-1}

998:   \end{equation}

999:  

1000:  \smallskip 

1001:  

1002:  

1003: The Schwartz tails problem prevents us from using this very simple estimate to prove this lemma, but in the present context, 

1004: the Schwarz tails  are a weak enemy at best.   Let ${\sf Tops}$ be those $s\in\mathcal S$ which have $\dense s>\delta/2$ and are maximal with

1005: respect to `$<$.'  It suffices to show (\ref{e.xtops}) .

1006: For an integer $k\ge0$, and  small constant $c$, let $\mathcal S_k$ be those $s\in{\sf Tops}$ for which 

1007:  \begin{equation} \label{e.Bigg}

1008: \abs{2^k I_s\cap N^{-1}(\omega_s)}\ge{}c2^{2k}\delta\abs{I_s}.

1009:  \end{equation}

1010: Every tile in ${\sf Tops}$ will be in some $\mathcal S_k$, with $c$ sufficiently small, and so it suffices to show that 

1011:  \begin{equation}\label{e.dense2}

1012: \sum_{s\in\mathcal S_k}\abs{I_s}\lesssim2^{-k}\delta^{-1}.

1013:  \end{equation}

1014:  

1015:  Fix $k$.  Select from $\mathcal S_k$ a subset $\mathcal S'_k$ of tiles satisfying $\{2^kI_s\times \omega_s\mid s\in\mathcal S_k'\}$ are pairwise 

1016:  disjoint, and if $s\in\mathcal S_k$ and $s'\in\mathcal S_k'$ are tiles such that $2^kI_s\times \omega_s $ and $2^kI_{s'}\times \omega_{s'}$ 

1017:  intersect, then $\abs{I_s}\le\abs{I_{s'}}$.  It is clearly possible to select such a subset.  And since the tiles in $\mathcal S_k$ 

1018:  are incomparable with respect to `$<$', we can use 

1019:  (\ref{e.Bigg})  to estimate 

1020:   \begin{align*}

1021:  \sum_{s\in\mathcal S_k}\abs{I_s}\le{}&2^{k+1}\sum_{s'\in\mathcal S_k'}\abs{I_{s'}}

1022:  \\{}\le{}&\tfrac2c2^{-k}\delta^{-1}.

1023:   \end{align*}

1024:  That is, we see that (\ref{e.dense2})  holds, completing our proof.

1025:  

1026:  

1027:  

1028:  \subsection{Complements} 

1029:  

1030:   \begin{remark}\label{r.bmo}  Let $\mathcal S$ be a set of tiles for which there is a constant $K$ so that for all dyadic intervals $J$, 

1031:   \begin{equation*}

1032:  \sum_{\substack{s\in\mathcal S\\ I_s\subset J}}\abs{I_s}\le{}K \abs J .

1033:   \end{equation*}

1034:  Then  for all $1\le{}p<\infty$, and intervals $J$, 

1035:   \begin{equation*}

1036:  \NOrm \sum_{\substack{s\in\mathcal S\\ I_s\subset J}}\ind {I_s}  .p. \lesssim{}K_p \abs {J}^{1/p} .

1037:   \end{equation*}

1038:  In fact, $K_p {}\lesssim{} p $. 

1039:   \end{remark}

1040:  

1041:  

1042:  

1043:  

1044:  \section{The Size Lemma}

1045:  

1046:  

1047: Set $\sigma=\size {\mathcal S} $.   We will need to construct a collection of trees $\Tree\in{\widetilde\Tree}_{\text{large}}$, with 

1048: $\mathcal S_{\text{large}}=\bigcup_{\Tree\in{\widetilde\Tree}_{\text{large}}}\Tree$, and 

1049:  \begin{equation} \label{e.sizecnt}

1050: \sum_{\Tree\in{\widetilde\Tree}_{\text{large}}}\abs{I_\Tree}\lesssim\sigma^{-2},

1051:  \end{equation}

1052: as required by (\ref{e.sizecount}) . 

1053: 

1054: The selection of trees $\Tree\in{\widetilde\Tree}_{\text{large}}$ will be done in conjunction with the 

1055: construction of \tree+s $\Tree_+\in{\widetilde\Tree}_{\text{large}+}$.  This collection will play a critical role in the verification of (\ref{e.sizecnt}) . 

1056: 

1057: The construction is recursive in nature.  Initialize 

1058:  \begin{equation*}

1059: \mathcal S^{\text{stock}}:=\mathcal S,\qquad {\widetilde\Tree}_{\text{large}}:=\emptyset,\qquad {\widetilde\Tree}_{\text{large}+}:=\emptyset.

1060:   \end{equation*}

1061:  While $\size {{\mathcal S}^{\text{stock}} }>\sigma/2 $, select a \tree+{} $\Tree_+\subset\mathcal S^{\text{stock}}$ with 

1062:   \begin{equation}\label{e.treeselect}

1063:  \Delta(\Tree_+)>\frac \sigma 2 \abs{I_{\Tree_+}}.

1064:   \end{equation}

1065:  In addition, the top of the tree $I_{\Tree_+}\times \omega_{\Tree_+} $ should be maximal with respect to the partial order `$<$' 

1066:  among all trees that satisfy (\ref{e.treeselect}) .  And $c(\omega_{\Tree_+})$ 

1067:  should be minimal, in the order of $\mathbb R$. Then, take $\Tree$ to be the maximal tree (without reference to sign) in $\mathcal S^{\text{stock}}$ 

1068:  with top $I_{\Tree_+}\times \omega_{\Tree_+} $.

1069:  

1070:  After this tree is chosen, update 

1071:   \begin{gather*}

1072:  \mathcal S^{\text{stock}}:=\mathcal S^{\text{stock}}-\Tree,\\

1073:  {\widetilde\Tree}_{\text{large}}:={\widetilde\Tree}_{\text{large}}\cup \Tree,

1074:  \qquad {\widetilde\Tree}_{\text{large}+}:={\widetilde\Tree}_{\text{large}+}\cup \Tree_+.

1075:   \end{gather*}

1076:  

1077:  Once the while loop finishes, set $\mathcal S_{\text{small}}:=\mathcal S^{\text{stock}}$ and the recursive procedure stops. 

1078:  

1079:  \medskip 

1080:  

1081:  It remains to verify (\ref{e.sizecnt}) . This is a orthogonality statement, but one that is just weaker than true orthogonality. 

1082: Note that a particular enemy is the is the situation in which $\ip \varphi_s,\varphi_{s'}.\not=0$.  When $\omega_s=\omega_{s'}$, 

1083: this may happen, but as we saw in the proof of \Pcap.Qprop/, this case may be handled by direct methods. Thus we are primarily 

1084: concerned with the case that e.g.~$\omega_{s-}\subset_{\not=}\omega_{s'-}$.

1085: 

1086: 

1087: 

1088:  A central part of this argument is a bit of geometry of the time--frequency plane that is encoded in 

1089:  the construction of the \tree+s above.   Suppose there are two trees $\Tree\not=\Tree'\in{\widetilde\Tree}_{\text{large+}}$, and tiles $s\in\Tree$ and $s'\in\Tree'$ such that $\omega_{s-}\subset_{\not=}\omega_{s'-}$, 

1090:  then, it is the case that $I_{s'}\cap I_{\Tree}=\emptyset$.  We refer to this property as `strong disjointness.' It is a condition that is 

1091:  strictly stronger than just requiring that the sets in the time--frequency plane below are disjoint in $\Tree$.

1092:   \begin{equation*}

1093:  \bigcup_{s\in\Tree} I_s\times \omega_{s-},\qquad \Tree \in {\widetilde\Tree}_{\text{large}+}

1094:   \end{equation*}

1095:  

1096:  To see that strong disjointness  holds,  observe that $\omega_\Tree\subset \omega_s\subset_{\not=} \omega_{s'-}$.

1097:  Thus $\omega_{\Tree'}$ lies above $\omega_{\Tree}$.  That is, in our recursive procedure, $\Tree$ was constructed first.  

1098:  If it were the case that 

1099:  $I_{s'}\cap I_{\Tree}\not=\emptyset$, observe that one interval would have to be contained in the other. 

1100:  But tiles have area one, thus, it 

1101:  must be the case that $I_{s'}\subset I_\Tree$.  That means that $s'$ would have been in the tree (the one without sign) 

1102:  that was removed from 

1103:  $\mathcal S^{\text{stock}}$ before $\Tree'$ was constructed.  This is a contradiction which proves strong disjointness. 

1104: See \f.strongly-disjoint/.

1105:  

1106: \begin{figure} 

1107: \begin{center}

1108: \begin{pgfpicture} {0cm}{0cm}{4cm}{4.7cm} 

1109: 

1110: 

1111: \color{lightgray}

1112: 

1113: \color{black} 

1114: %  top of the tree 

1115: \pgfrect[stroke]{\pgfxy(1,2)}{\pgfxy(4,.25)} 

1116: 	% a rectangle in the tree. 

1117: \pgfrect[stroke] {\pgfxy(1.5,1.75)}{\pgfxy(1,1)} 

1118: 	% a rectangle that cant be in the tree 

1119: \pgfrect[stroke]{\pgfxy(5.5,1,)}{\pgfxy(.5,4)} 

1120: 

1121: 	%  Label for the top of the tree 

1122: \pgfputat{\pgfxy(0,2.17)}{\pgfbox[center,top]{$I_{T}\times\omega_{T}$} }

1123: 	

1124: 	%  Label for the tile in the tree 

1125: \pgfputat{\pgfxy(2.1,.5)}{\pgfbox[center,center]{$s$ } }

1126: 

1127: 	% Label for the putative tile in the tree 

1128: \pgfputat{\pgfxy(6,.5)}{\pgfbox[right,center]{$s'$ } }

1129: 

1130: 

1131: 

1132: 

1133: \color{lightgray}  

1134: 	% a rectangle that is the in full tree 

1135: \pgfrect[stroke]{\pgfxy(3.5,1,)}{\pgfxy(.5,4)} 

1136: 

1137: 

1138: 

1139: 

1140: \end{pgfpicture}

1141: \end{center}

1142: \label{f.strongly-disjoint} 

1143: 	\caption{The proof of strongly disjoint trees. Note that the gray tile could be in the tree that was removed after the 

1144: 	selection of the $+$--tree with the top indicated above. } 

1145: \end{figure} 

1146:  \smallskip 

1147:  

1148:  We use this strong disjointness condition, and the selection criteria (\ref{e.treeselect}) , to prove the bound (\ref{e.sizecnt}) .  The method of proof 

1149:  is closely related to the so called $\operatorname T \operatorname T^*$ method.    Set $\mathcal S'=\bigcup_{\Tree\in {\widetilde\Tree}_{\text{large}+}}\Tree$, and

1150:   \begin{equation*}

1151:  F:=\sum_{s\in\mathcal S'}\ip f,\varphi_s. \varphi_s .

1152:   \end{equation*} 

1153:  

1154: The operator $f\mapsto \ip f,\varphi_s. \varphi_s$  is self--adjoint, so that 

1155:   \begin{align*}

1156:  \sigma^2\sum_{\Tree\in {\widetilde\Tree}_{\text{large}+}}\abs{I_\Tree}={}& 

1157:  \ip f, F. 

1158:  \\

1159:  {}\le{}& \norm f.2. \norm F .2.

1160:   \end{align*}

1161:  And so, we should show that 

1162:   \begin{equation} \label{e.Stree}

1163:  \lVert F\rVert_2^2\lesssim{} 

1164:  \sigma^2\sum_{\Tree\in {\widetilde\Tree}_{\text{large}+}}\abs{I_\Tree}.

1165:   \end{equation}

1166:  This will complete the proof. 

1167:  

1168:  \smallskip 

1169:  This last inequality is seen by expanding the square on the left hand side.  In particular, the left hand side of (\ref{e.Stree})  is 

1170:  at most the sum of the two terms

1171:   \begin{gather} \label{e.equals} 

1172:  \sum_{\substack{s,s'\in\mathcal S'\\ \omega_{s}=\omega_{s'}} }\ip f,\varphi_s. \ip \varphi_s ,\varphi_{s'}. \ip \varphi_{s'},f. 

1173:  \\

1174:  \label{e.strictsubset}

1175:  2\sum_{\substack{s,s'\in\mathcal S'\\ \omega_{s}\subset_{\not=}\omega_{s'}}}\abs{ \ip f,\varphi_s. \ip \varphi_s ,\varphi_{s'}. \ip \varphi_{s'},f.}

1176:   \end{gather}

1177:  

1178:  For the term  (\ref{e.equals}) , we have the obvious estimate on the inner product 

1179:   \begin{equation*}

1180:  \abs{ \ip \varphi_s ,\varphi_{s'}.}\lesssim{} \Bigl(1+ \frac{\operatorname{dist}(I_s,I_{s'})}{\abs{I_s}}\Bigr)^{-4}.

1181:   \end{equation*}

1182:   (Compare to (\ref{e.compare}) .)  Thus, by Cauchy--Schwarz, 

1183:   \begin{equation*}

1184: (\ref{e.equals}) \lesssim{} \sum_{s\in\mathcal S'} \abs{\ip f,\varphi_s.}^2\lesssim{}\sigma^2\sum_{\Tree\in {\widetilde\Tree}_{\text{large}+}}\abs{I_\Tree}. 

1185:  \end{equation*}

1186: 

1187: For the term (\ref{e.strictsubset}) ,  we need only show that for each tree $\Tree$, 

1188:  \begin{equation}  \label{e.laststep}

1189: \sum_{s\in\Tree } { \sum_{\substack{s'\in\mathcal S'\\ \omega_{s}\subset_{\not=}\omega_{s'}}}

1190: \abs{\ipf \ip \varphi_s,\varphi_{s'}. \ip \varphi_{s'},f.}}^2\lesssim{}\sigma^2\abs{I_\Tree}.

1191:  \end{equation}

1192: Here,  $\mathcal S(s):=\{s'\in\mathcal S'-\Tree\mid \omega_{s-}\subset_{\not=}\omega_{s'-}\}$. 

1193: The implied constant should be independent of the tree $\Tree$. 

1194: 

1195:  

1196: Now, the strong disjointness condition enters in two ways.  For $s\in\Tree$, and $s'\in\mathcal S(s)$, it is the case that 

1197: $I_{s'}\cap I_{\Tree}=\emptyset$.  But furthermore, for $s',s''\in\mathcal S(s)$,

1198: we have e.g.~$\omega_{s-}\subset \omega_{s'-}\subset \omega_{s

1199: ''-}$, 

1200: so that $I_{s'}\cap I_{s''}$ is also empty. 

1201: 

1202: At this point,  rather clumsy   estimates of (\ref{e.laststep})  

1203: are in fact optimal.  The definition of size gives us the bound 

1204:  \begin{equation*} 

1205: \abs{\ip \varphi_{s'},f.}\lesssim{} \sqrt{\abs{I_{s'}}}\sigma

1206:  \end{equation*}

1207: And, since $\omega_{s}\subset \omega_{s'}$, we have $\abs{I_s}\ge\abs{I_{s'}}$, and $I_s$, and $I_{s'}$ are,

1208: in the typical situation, 

1209: far apart.  An  estimation left to the reader gives 

1210:  \begin{equation}  \label{e.lefttoreader}

1211: \abs{\ip \varphi_s,\varphi_{s'}.}\lesssim{}{\sqrt{\abs{I_{s'}}\abs{I_{s}}}} \chi_{I_s}(c(I_{s'}))

1212:  \end{equation}

1213: Thus, we bound the left side of (\ref{e.laststep})  by 

1214:  \begin{align} \notag

1215: \sum_{s\in\Tree }  \sum_{s'\in\mathcal S(s)} \abs{ \ipf \ip \varphi_s,\varphi_{s'}. \ip \varphi_{s'},f.}\lesssim{}&

1216: \sigma^2 \sum_{s\in\Tree }  {\abs{I_{s'}}} \abs{I_s}  \chi_{I_s}(c(I_{s'})) 

1217: \\{}\lesssim{}& \notag

1218: \sigma^2 \sum_{s\in\Tree} \int_{(I_\Tree)^c} \abs{I_s}\chi_{I_s}(x) \;dx 

1219: \\{}\lesssim{}& \sigma^2 \abs{I_\Tree}   \label{e.easytoverify}

1220:   \end{align}

1221: as is easy to verify. This completes the proof of (\ref{e.laststep}) , and so finishes the proof of \Lcap.size/.

1222: 

1223: %%% Size lemma exercises 

1224: \subsection{Complements} 

1225: 

1226: 

1227: 

1228: 

1229: 

1230:  \begin{remark}\label{r.easytoverify}

1231: Concerning the inequality (\ref{e.easytoverify}) ,  for any tree $\Tree $, we have 

1232:  \begin{equation*}

1233: \sum _{s\in \Tree} \int _{I_\Tree^c} \abs{I_s}\chi_{I_s}(x) \; dx {}\lesssim{}\abs {I_\Tree}.

1234:  \end{equation*}

1235:  \end{remark}

1236: 

1237: 

1238: 

1239: 

1240:  \begin{remark}\label{r.tree2}    

1241:  Let $\Tree$ be a $+$tree and set 

1242:  \begin{equation*}

1243: F_\Tree=\sum_{s\in\Tree}\ip f,\varphi_s. \varphi_s 

1244:  \end{equation*}

1245: Then, the inequality below is true. 

1246:  \begin{align*}

1247: \norm F_\Tree .2.\simeq{}&\Bigl[ \sum_{s\in\Tree}\abs{\ip f,\varphi_s.}^2 \Bigr]^{1/2}

1248: \\{}\lesssim{}& \size \Tree \abs{I_\Tree}^{1/2}.

1249:  \end{align*}

1250:  \end{remark}

1251: 

1252:  \begin{remark}\label{r.bmosize}   With the notation above, assume that $0\in\omega_\Tree $.  Then, 

1253:  \begin{align*}

1254: \size \Tree {}\simeq{} & \sup_J \bigl[ \abs{J}^{-1}\sum_{\substack{s\in\Tree\\ I_s\subset J}} \abs{\ip f,\varphi_s .}^2 

1255: 	\bigr]^{1/2} \\

1256: {}\simeq{}& \sup_J \Bigl[ \abs{J}^{-1}\int_J \ABs{ F_\Tree - \abs{J}^{-1}\int_J F_\Tree }^2 dx\Bigr]^{1/2},

1257:  \end{align*}

1258: where the supremum is over all intervals $J$.  The last quantity is the $BMO$ norm of $F_\Tree$. 

1259:  \end{remark} 

1260: 

1261: 

1262: 

1263: 

1264: 

1265:  \begin{remark}\label{r.weaktype}  

1266: It is an important heuristic that for a collection $\mathcal S$ of pairwise incomparable tiles, the 

1267: functions $\{\varphi_s\mid s\in\mathcal S\}$ are nearly orthogonal.   The heuristic permits a quantification in 

1268: terms of the following weak type inequality. 

1269: Let $\mathcal S$ be a collection of tiles that are pairwise incomparable with respect to 

1270: `$<$.'  Then for all $f\in L^2$ and all $\lambda>0$, 

1271:  \begin{equation*}

1272: \sum_{s\in\mathcal S_\lambda}\abs {I_s} {}\lesssim{} \lambda^{-2}\lVert f\rVert_2^2,

1273:  \end{equation*}

1274: where $\mathcal S_\lambda=\{s\in\mathcal S\mid \abs{\ip f,\varphi_s.}>\lambda\sqrt{\abs{I_s}}\}$. 

1275: Note that this in an inequality about the boundedness of a sublinear operator from $L^2(\mathbb R)$ to $L^{2,\infty}(\mathbb R\times\mathcal S)$.

1276: In the latter space, one uses counting measure on $\mathcal S$.

1277:  \end{remark}

1278: 

1279: 

1280:  

1281:   \begin{remark}\label{r.weaktypetree}

1282:  Another important heuristic is that the notion of ``strong disjointness'' for trees is as ``pairwise incomparable''

1283:  is for tiles. 

1284:  Let $\widetilde\Tree$ be a collection of strongly disjoint trees.  Show that for all $f\in L^2$ and 

1285:  all $\lambda>0$, 

1286:   \begin{equation*}

1287:  \sum_{\Tree\in\widetilde\Tree_\lambda}\abs{I_\Tree} {}\lesssim{} \lambda^{-2}\lVert f\rVert_2^2,

1288:  \end{equation*}

1289: where $\widetilde\Tree_\lambda=\{ \Tree \in \widetilde\Tree\mid \Delta(\Tree) \ge\lambda\abs{I_\Tree}\}$. 

1290:  \end{remark} 

1291: 

1292:  \begin{remark}\label{r.above2}  

1293:  Let $\mathcal S$ be a collection of tiles that are pairwise incomparable with respect to 

1294: `$<$.'  Show that for all $2<p<\infty$, 

1295:  \begin{equation*}

1296: \Bigl[ \sum_{s\in\mathcal S} \abs{\ip f ,\varphi_s .}^p\Bigr]^{1/p}

1297: {}\lesssim{} \norm f.p. . 

1298:  \end{equation*}

1299: Notice that the form of this estimate at $p={} \infty $ is obvious. 

1300:  \end{remark}

1301: 

1302: 

1303:  \begin{remark}\label{r.ABove2}  

1304:  Let $\widetilde\Tree$ be a collection of strongly disjoint trees. 

1305: Then for all $2<p<\infty$, 

1306:  \begin{equation*}

1307:   \sum_{\Tree\in \widetilde\Tree} {\Delta(\Tree)^p} 

1308: {}\lesssim{} \norm f.p. . 

1309:  \end{equation*}

1310:  \end{remark}

1311: 

1312: 

1313: 

1314: 

1315:  \begin{remark}\label{r.rubio}   

1316: The $L^p$ estimates of the previous two complements can in some instances be improved.  

1317: For each integer $k$, 

1318:  \begin{equation*}

1319: \NOrm \Bigl[ \sum_{\substack{s\in\mathcal T \\ \abs{I_s}=2^k}} \frac{ \abs{\ip f,\varphi_s.}^2} {\abs{I_s}} \ind {I_s} \Bigr]^{1/2} .p.

1320: {}\lesssim{} \norm f.p.\qquad 2<p<\infty. 

1321:  \end{equation*}

1322: This can be seen by  showing that 

1323:  \begin{equation*}

1324: \sum_{\substack{s\in\mathcal T \\ \abs{I_s}=2^k}} \frac{ \abs{\ip f,\varphi_s.}^2} {\abs{I_s}} \ind {I_s}

1325: {}\lesssim{}(\dilate {2^k}^1 \chi)* \abs{f}^2.

1326:  \end{equation*}

1327:  \end{remark}

1328: 

1329: 

1330: \section{The Tree Lemma}

1331: 

1332: We begin with some remarks about the maximal function, and a particular form of the same that we shall use 

1333: at a critical point of this proof.  Consider the maximal function 

1334:  \begin{equation*}

1335: \operatorname Mf=\sup_{I\in\mathcal D}\ind I \abs{\ip f,\chi_I.}.

1336:  \end{equation*}

1337: It is well known that this is bounded on $L^2$.  A proof follows.  Consider a linearized version of the supremum.  

1338: To each $I\in\mathcal D$, associate a set $E(I)\subset I$, and require that the sets $\{E(I)\mid I\in\mathcal D\}$ be pairwise disjoint. 

1339: (Thus, for fixed $f$, $E(I)$ is that subset of $I$ on which the supremum above is equal to $\abs{\ip f,\chi_I.}$.) Define 

1340:  \begin{equation*} 

1341: \operatorname A f=\sum_{I\in\mathcal D}\ind {E(I)} \ip f,\chi_I.

1342:  \end{equation*}

1343: We show that $\norm \operatorname A .2.$ is bounded by a constant, independent of the choice of the sets $E(I)$.  

1344: 

1345: The method is that of $\operatorname T \operatorname T^*$.  Note that for positive $f$

1346:  \begin{align*}

1347: \operatorname A\operatorname A^*f\le{}&2\sum_{I\in\mathcal D}\sum_{\abs J\le\abs I} \ind {E(I)} \ip \chi_I,\chi_J.\ip \ind {E(J)} ,f.

1348: \\{}\lesssim{}& \sum_{I\in\mathcal D}\ind {E(I)} \ip f,\chi_I.

1349:  \end{align*}

1350: It follows that 

1351:  \begin{align*}

1352: \lVert\operatorname A^*\rVert_2^2={} &  \sup_{\norm f.2.=1} \ip \operatorname A^* f ,\operatorname A^*f .

1353: \\{}={}&\sup_{\norm f.2.=1}\ip f,\operatorname A\operatorname A^* f. 

1354: \\{}\lesssim{}&{}\norm \operatorname A.2.

1355:  \end{align*}

1356: and so $\norm \operatorname A.2.\lesssim{}1$, as claimed.

1357: 

1358: We shall have recourse to not only this, but a particular refinement.

1359: Let $\mathcal J$ be a partition of $\mathbb R$ 

1360: into dyadic intervals.  To each $J\in\mathcal J$, associate a subset $G(J)\subset J$, with $\abs{G(J)}\le{}\delta\abs J$, 

1361: where $0<\delta<1$ is fixed. 

1362: Consider 

1363:  \begin{equation}  \label{e.maxWithDense}

1364: \operatorname M_\delta f:=\sum_{J\in\mathcal J}\ind {G(J)} \sup_{I\supset J}  \abs{\ip f,\chi_I.}

1365:  \end{equation}

1366: Then $\norm \operatorname M_\delta .2.\lesssim{}\sqrt\delta$.  The proof is  

1367:  \begin{align*}

1368: \int \abs{\operatorname M_\delta f}^2\; dx={}& \sum_{J\in\mathcal J}\abs{G(J)}\sup_{I\supset J}  \abs{\ip f,\chi_I.}

1369: \\{}\le{}&\delta \sum_{J\in\mathcal J}\abs{J}\sup_{I\supset J}  \abs{\ip f,\chi_I.}

1370: \\{}\le{}&\delta \int \abs{\operatorname M f}^2\; dx

1371:  \\{}\lesssim{}&\delta\lVert f\rVert_2^2.

1372:   \end{align*}

1373:  

1374:  \bigskip 

1375:  We begin the main line of the argument. Let $\delta=\dense \Tree $, and $\sigma=\size \Tree $. Make a choice of signs $\varepsilon_s\in\{\pm1\}$ such that 

1376:   \begin{equation*}

1377:  \sum_{s\in\Tree}\abs{\ip f,\varphi_s. \ip \phi_s,\ind E .}={} 

1378:  	\int_E{\sum_{s\in\Tree} \varepsilon_s \ip f,\varphi_s. \phi_s }\; dx.

1379:  \end{equation*}

1380:  By the ``Schwartz tails,'' the integral above is supported on the whole real line.  

1381:  Let $\mathcal J$ be a partition of $\mathbb R$ consisting of the maximal dyadic intervals $J$ such that $3J$ does not contain any $I_s$ for $s\in\Tree$.  

1382:  It is helpful to observe that for such $J$ if $\abs{J}\le{}\abs{I_\Tree}$, then $J\subset 3 I_\Tree$. And if $\abs J\ge\abs {I_\Tree}$,

1383:  then 

1384:  $\text{dist}(J,I_\Tree)\gtrsim\abs J$. 

1385:  The integral above is at most the sum over $J\in\mathcal J$ of the two terms below.

1386:   \begin{gather} \label{e.firstsum}

1387:  \sum_{\substack{s\in\Tree\\ \abs{I_s}\le\abs J}}\abs{\ip f,\varphi_s. }\int_{J\cap E}\abs{\phi_s}\; dx

1388:  \\

1389:  \label{e.secondsum}

1390:  \int_{J\cap E} \ABs{ \sum_{\substack{s\in\Tree\\ \abs{I_s}>\abs J}}\varepsilon_s\ip f,\varphi_s.  \phi_s }\; dx 

1391:   \end{gather}

1392:  Notice that for the second sum to be non--zero, we must have $J\subset 3I_\Tree$.

1393: 

1394: 

1395:  The first term (\ref{e.firstsum})  is controlled by an appeal to the ``Schwartz tails.''  Fix an integer $n\ge0$, and only consider those $s\in\Tree$ for which $\abs{I_s}=2^{-n}\abs J$. Now, the distance of $I_s$ to $J$ is at least ${}\gtrsim\abs J$.  An

1396: d, 

1397:  \begin{equation*}

1398: \abs{\ip f,\varphi_s.} \int_{J\cap E}\abs{\phi_s}\; dx\le{}\sigma\delta (\abs{I_s}^{-1}\text{dist}(I_s,J))^{-10} \abs{I_s}.

1399:  \end{equation*}

1400: The $I_s\subset I_\Tree$, so that summing this over $\abs{I_s}=2^{-n}\abs J$ will give us 

1401:  \begin{equation*}

1402: \sigma\delta 2^{-n}\min\bigl(\abs J, \abs {I_\Tree} (\text{dist}(J,I_\Tree)\abs{I_\Tree}^{-1})^{-10}\bigr).

1403:  \end{equation*}

1404: This is summed over $n\ge0$ and $J\in\mathcal J$ to bound (\ref{e.firstsum})  by ${}\lesssim{}\sigma\delta\abs{I_\Tree}$, as required. 

1405: 

1406: 

1407: \medskip

1408: 

1409: Critical to the control of (\ref{e.secondsum})  is the following observation. Let 

1410:  \begin{equation} \label{e.GJ} 

1411: G(J)=J\cap\bigcup_{\substack{s\in\Tree\\ \abs{I_s}\ge\abs J}} N^{-1}(\omega_{s+}).

1412:  \end{equation}

1413: Then $\abs{G(J)}\lesssim{}\delta\abs J$. To see this, let $J'$ be the next larger dyadic interval that contains 

1414: $J$.  Then $3J'$ must contain some $I_{s'}$, for $s'\in\Tree$.  Let $s''$ be that tile with $I_{s'}\subset I_{s''}$, 

1415: $\abs{I_{s''}}=\abs J$, and $\omega_\Tree\subset \omega_{s''}$.  Then, $s'<s''$, and by the definition of density, 

1416:  \begin{equation*}

1417: \int_{E\cap N^{-1}(\omega_{s''})} \chi_{I_{s''}} \; dx\le\delta

1418:  \end{equation*}

1419: But, for each $s$ as in (\ref{e.GJ}) , we have $\omega_s\subset \omega_{s''}$, so that

1420:  $G(J)\subset N^{-1}(\omega_{s''})$. Our claim follows.

1421: 

1422: 

1423:  Suppose that $\Tree$ is a $-$tree.  That means that the tiles $\{I_s\times \omega_{s+}\mid s\in\Tree\}$ are disjoint.  

1424:  We use an estimation absent of any cancellation effects.  

1425:  Then, the bound for (\ref{e.secondsum})  is no more than 

1426:   \begin{equation*}

1427:  \abs{G(J)} \NOrm \sum_{\substack{s\in\Tree\\ \abs{I_s}\ge\abs J}} \abs{\langle f,\varphi_s\rangle \phi_s} .\infty.\lesssim{}\delta\sigma\abs{J}.

1428:   \end{equation*}

1429:  This is summed over $J\subset 3I_\Tree$ to get the desired bound. 

1430:  

1431:  

1432:  Suppose that $\Tree$ is a $+$tree.  (This is the interesting case.)

1433:  Then, the tiles $\{I_s\times \omega_{s-}\mid s\in\Tree\}$ are pairwise disjoint, and we set 

1434:   \begin{equation*}

1435:  F=\modulate {-c(\omega_\Tree)}\sum_{s\in\Tree}\varepsilon_s\ip f,\varphi_s. \varphi_s 

1436:   \end{equation*}

1437:  Here it is useful to us that we only use the ``smooth'' functions $\varphi_s$ in the definition of this function. 

1438:  Note that $\norm F.2.\lesssim{}\sigma\sqrt{\abs{I_\Tree}}$, which is a consequence of the definition of size and \Pcap.Qprop/.  

1439:  Set $\tau(x)=\sup\{\abs{I_s}\mid s\in \Tree,\ N(x)\in\omega_{s+}\}$, and observe that 

1440:  for each $J$, and $x\in J$, 

1441:   \begin{equation*}

1442:  \sum_{\substack{s\in\Tree\\ \abs{I_s}\ge\abs J}}\varepsilon_s\ip f,\varphi_s. \phi_s(x)={}

1443:  	\sum_{\substack{s\in\Tree\\ \tau(x)\ge\abs{I_s}\ge\abs J}}\varepsilon_s\ip f,\varphi_s. \varphi_s(x)

1444:   \end{equation*}

1445:  This is so since all of the intervals $\omega_{s+}$ must contain $\omega_\Tree$, and  if $N(x)\in\omega_{s+}$, then it must also 

1446:  be in every other $\omega_{s'+}$ that is larger.  What is significant here is that on the right we have a truncation of the sum 

1447:  that defines $F$. 

1448:  

1449:  This last sum can be dominated by a maximal function.  For any $\tau>0$ and $J\in\mathcal J$, let 

1450:   \begin{equation*}

1451:  F_{\tau,J}=\modulate {-c(\omega_\Tree)}\sum_{\substack{s\in\Tree\\ \tau\ge\abs{I_s}\ge\abs J}}\varepsilon_s\ip f,\varphi_s. \varphi_s 

1452:  \end{equation*}

1453: This function has Fourier support in the interval $[-\frac78\abs{J}^{-1},-\frac14\tau^{-1}]$.  In particular, recalling how we defined 

1454: $\varphi$, we can choose $\frac1{16}<a,b<\frac14$ so that 

1455:  \begin{equation*}

1456:  F_{\tau,J}=(\dilate {a\abs J}^1 \varphi {}-\dilate {b\tau} ^1 \varphi) * F

1457:   \end{equation*}

1458:  We conclude that for $x\in J$, 

1459:   \begin{equation*}

1460:  \abs{ F_{\tau(x),J}(x)}\lesssim{} \operatorname M_\delta F (x),

1461:   \end{equation*} 

1462:  where $\operatorname M_\delta$ is defined as in (\ref{e.maxWithDense}) .  

1463:  

1464:  The conclusion of this proof is now at hand. We have 

1465:   \begin{align*}

1466:  \sum_{\substack{J\in\mathcal J\\ \abs{J}\le3abs{I_\Tree}}} 

1467:  \int_{G(J)}\abs{F_{\tau(x),J}}\; dx {}\lesssim{}& \int_{\bigcup_{\abs{J}\le3\abs{I_\Tree}} G(J)} \operatorname M_\delta F\; dx

1468:  \\{}\lesssim{}& \ABs{\bigcup_{\abs{J}\le3\abs{I_\Tree}} G(J)}^{1/2} \norm\operatorname M_\delta F.2.

1469:  \\{}\lesssim{}& \delta\sqrt{\abs{I_\Tree}} \norm  F.2.

1470:  \\{}\lesssim{}& \sigma\delta {\abs{I_\Tree}} 

1471:  \end{align*}

1472: 

1473: 

1474: \subsection{Complements} 

1475: 

1476:  \begin{remark}\label{r.simpletree}  The estimate below is somewhat cruder than the one just obtained, and therefore 

1477: easier to obtain. For all trees $\Tree$, 

1478:  \begin{align*}

1479: \NOrm \sum_{s\in\Tree }\langle f,\varphi_s\rangle \phi_s .2.\lesssim{}& \Bigl[ \sum_{s\in\Tree} \abs{\ip f,\varphi_s.}^2\Bigr]^{1/2}

1480: \\{}\lesssim{}& \size \Tree \abs{ I_\Tree}^{1/2}.

1481:  \end{align*}

1482:  \end{remark} 

1483: 

1484:  \begin{remark}\label{r.max}  The  maximal function $\operatorname M_\delta$ in (\ref{e.maxWithDense})  admits the bounds 

1485:  \begin{equation*}

1486: \norm \operatorname M_\delta.p.\lesssim{} \delta^{1/p},\qquad 1<p<\infty.

1487:  \end{equation*}

1488: This depends upon the fact that the maximal function itself maps $L^p$ into itself, for $1<p<\infty$. 

1489:  \end{remark} 

1490: 

1491: 

1492:  \begin{remark}\label{r.treep}  For any tree $\Tree$, 

1493:  \begin{equation*}

1494: \NOrm \sum_{s\in\Tree}\langle g,\varphi_s\rangle \phi_s .p.\lesssim{} \delta^{1/p}\norm g.p.,\qquad 1<p<\infty.

1495:  \end{equation*}

1496:  \end{remark} 

1497: 

1498:  \begin{remark}\label{r.LP}  For a $+$tree $\Tree$, 

1499:  \begin{equation*}

1500: \NOrm \sum_{s\in\Tree} \langle f,\varphi_s\rangle\varphi _s.p.\lesssim{}\NOrm \Bigr[\sum_{s\in\Tree} \frac{\abs{\ip f,\varphi_s.}^2}{\abs{I_s}} \ind {I_s} \Bigr]^{1/2} .p.,\qquad 1<p<\infty. 

1501:  \end{equation*}

1502: Conclude that 

1503:  \begin{equation*}

1504: \NOrm \sum_{s\in\Tree} \langle f,\varphi_s\rangle\varphi_s .p.\lesssim{} \size \Tree \abs{I_\Tree}^{1/p}, 

1505: \qquad 1<p<\infty. 

1506:  \end{equation*}

1507:  \end{remark}

1508: 

1509: 

1510: 

1511: 

1512: 

1513: 

1514: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 

1515: 

1516: \section{Carleson's Theorem on $L^p$, $1<p\not=2<\infty$ }

1517:  

1518:  We outline a proof that the Carleson maximal operator maps $L^p$ into itself for all $1<p<\infty$. 

1519:  The key point is that we should obtain a distributional estimate for the model operator. 

1520:  

1521:  

1522:   \begin{proposition}\label{p.model_pnot2}  

1523:  For $1<p<\infty$, there is an absolute constant $K_p$ so that for all sets $E\subset\mathbb R$ of finite 

1524:  measure and measurable functions $N$, we have 

1525:   \begin{equation} \label{e.distributional}

1526:  \abs{ \{ \abs{ \mathcal C_N \ind E } >\lambda\}} {}\le{} K_p^p\lambda^{-p}\abs{E}.

1527:   \end{equation} 

1528:   \end{proposition} 

1529: 

1530: Interpolation provides the $L^p$ inequalities.  We shall in fact prove that for all sets $E$  and $F$, there 

1531: is a set $F'\subset F$ of measure $\abs{F'}\ge\frac12\abs F$,  

1532:  \begin{equation} \label{e.EFbest}

1533: \abs{\ip \mathcal C \ind E ,\ind {F'} .}\lesssim{} \min( \abs E ,\abs F )( 1+ \abs{ \log \tfrac{\abs E}{\abs F}} )

1534:  \end{equation}

1535: It is a routine matter to see that this estimate implies that 

1536:  \begin{equation} \label{e.best}

1537: \abs{ \{ \abs{\mathcal C \ind E }>\lambda\} }\lesssim{} \abs E 

1538: \begin{cases} 

1539: 	\lambda\abs{ \log \lambda} & \text{if $ 0<\lambda<1/2$  }\cr

1540: 	e^{-c\lambda} 	& \text{otherwise} \cr

1541: \end{cases}

1542:  \end{equation}

1543: Here, $c$ is an absolute constant.  This distributional inequality is in fact the best that is known about the 

1544: Carleson operator.  See Sj\"olin \cite{MR39:3222}   %"

1545: for the Walsh case, and \cite{MR49:998} for the Fourier case. 

1546: A more recent publication proving the same point is  Arias de Reyna \cite{MR1906800}.  Both authors present a proof 

1547:  along the lines of   Carleson.  We follow the weak type inequality  approach of Muscalu, 

1548: Tao, and Thiele 

1549: \cite{MR2003b:42017}.  The relevance of this approach to the Carleson theorem was demonstrated by Grafakos, Tao, and Terwilleger 

1550: \cite{MR2031458}.

1551: 

1552: 

1553: 

1554: 

1555: We shall find it necessary to appeal to some deeper properties of the Calder\'on Zygmund theory, and in particular 

1556: a weak $L^1$ bound for the maximal function, but also the  bound  in (\ref{e.cz})  below.  

1557: 

1558: In proving (\ref{e.EFbest}) , we can rely  upon invariance under dilations, up to 

1559: a change in the measurable $N(x)$, to assume that $1/2<\abs E \le1$.  As we already know the weak $L^2$ estimate, 

1560: (\ref{e.EFbest})  is obvious for $\frac13<\abs F<3$.  The argument then splits into two 

1561: cases, that of $\abs{F}<\frac13$ or $\abs F\ge3$.  

1562: 

1563: Note that our measurable function $N(x)$ is defined on the set $F$.  It is clear that our Density Lemma, \l.dense/, continues 

1564: to hold in this context, with the change that the measure of $F$ should be added to the right hand side of (\ref{e.densecount}) .

1565:                                                                            

1566: 

1567: 

1568: 

1569:  

1570:  \subsection{The case of  $\abs F<\frac13$} 

1571:  In this case, we will take $F'=F$. 

1572:  Recall that $\mathcal T$ denotes the set of all tiles. 

1573:   Clearly, $\size {\mathcal T} {}\lesssim1$.  We repeat the argument of 

1574:  (\ref{e.sizen}) ---(\ref{e.ending}) .   Here, we should keep in mind that we want to balance out the estimate for the $\COUnt \cdot $ function, 

1575:  and that we have a better upper bound on the count function coming from the Density Lemma.  

1576:  Thus, $\mathcal T$ is a union of  collections $\mathcal S_n$, for $n\ge0$, so that 

1577:   \begin{gather}

1578:  \label{e.Dense} 

1579:  \dense {\mathcal S_n} {}\lesssim2^{-2n},

1580:  \\

1581:  \label{e.Size} 

1582:  \size {\mathcal S_n} {}\lesssim{}\min(1,2^{-n}\abs{F}^{-1/2}),

1583: \\

1584:  \label{e.Count} 

1585:  \COUnt {\mathcal S_n} {}\lesssim2^{2n}\abs F .

1586:   \end{gather}

1587:  Then by the calculation of (\ref{e.ending}) , we have 

1588:   \begin{align*}

1589:  \sum_{s\in\mathcal S_n}\abs{\ip \ind E ,\varphi_s . \ip \phi_s, \ind {F'} .}\lesssim{} & 

1590:  	\dense  {\mathcal S_n}  \size  {\mathcal S_n} 2^{2n}\abs F 

1591: \\{}\lesssim{}& \min( \abs F ,\abs{F}^{1/2} 2^{-n}).

1592:  \end{align*}

1593: The sum of this terms over $n\ge0$ is no more than 

1594:  \begin{equation*}

1595: {}\lesssim\abs F \cdot\abs{ \log \abs F }

1596:  \end{equation*}

1597: which is as required. 

1598: 

1599: \subsection{The case of $\abs F\ge3$}

1600:   

1601: This case corresponds to the analysis of the Carleson operator on $L^p$ for $1<p<2$.  We shall have need of a 

1602: more delicate weak type inequality below to complete this proof. 

1603: To define the set $F'$,  let 

1604:    \begin{equation*}

1605:   \Omega=\{ \operatorname M\ind E > C_1 \abs{F}^{-1}\}.

1606:    \end{equation*}

1607: By the weak $L^1$ inequality for the maximal function, for an absolute  choice of $C_1$, we have 

1608:   $\abs{\Omega}<\frac12\abs F$.  And we take $F'=F\cap\Omega^c$. The inner product in (\ref{e.EFbest})  is less than the sum of  

1609:    \begin{gather}  \label{e.inside} 

1610:   \sum_{\substack{s\in\mathcal T\\ I_s\subset\Omega}} \abs{\ip f,\varphi_s.\ip \phi_s,\ind {F'} .} 

1611: \\    \sum_{\substack{s\in\mathcal T\\ I_s\not\subset\Omega}} \abs{\ip f,\varphi_s.\ip \phi_s,\ind {F'} .} 

1612: \label{e.outside}

1613:  \end{gather}

1614: These sums are handled separately. 

1615: 

1616: 

1617: \bigskip 

1618: 

1619: 

1620: For (\ref{e.inside}) ,  observe that $ \varphi_s $ is essentially supported inside of $\Omega$ while $\phi_s$ is essentially not supported there. 

1621: Thus, we should rely upon Schwartz tails to handle this term.

1622: Let $J\subset \Omega$ be an interval such that $2^kJ\subset \Omega$ but $2^{k+1}J\not\subset\Omega$.  We observe two inequalities for such an interval, which 

1623: are stated using the function $\chi_J$, as defined in (\ref{e.chiI}) .  The first 

1624: is that 

1625:  \begin{equation*}

1626: \int_{F'}\chi_J\; dx\le{}\int_{(2^kJ)^c}\chi_J \; dx\lesssim{}2^{-(\kappa-1) k}

1627:   \end{equation*}

1628: Here, $\kappa$ is a large constant in the definition of $\chi$.   Also, we have 

1629:  \begin{align*} 

1630: \int_E \chi_J \; dx\lesssim{}& 2^{k}\int_E \chi_{2^{k+1}J}\; dx 

1631:  \\{}\lesssim{}&  2^{k}\inf_{x\in 2^{k+1}J}\operatorname M\ind E (x)

1632:    \\{}\lesssim{}& 2^{k} \abs{F}^{-1}.

1633:    \end{align*}

1634:   The last line follows  as some point in $2^{k+1}J$ must be in $\Omega$.   

1635:   

1636:   Observe that among all tiles $s$ with $I_s=J$, there is exactly one tile $s$ with 

1637:   $N(x)\in\omega_{s+}$.  Hence

1638:    \begin{align*}

1639:  \sum_{\substack{s\in\mathcal T\\I_s=J}}\abs{\ip f,\varphi_s.\ip \phi_s,\ind {F'} .}

1640:  {}\lesssim{}& \abs J\sum_{\substack{s\in\mathcal T\\I_s=J}} \ip \ind E , \chi_J. \ip \ind {F'} ,\chi_J .

1641:  \\{}\lesssim{}& 2^{-(\kappa -2)k}\abs{F}^{-1}\abs J .

1642:   \end{align*}

1643:  Recall that $k$ is associated to how deeply $J$ is embedded in $\Omega$, and that $\Omega$ has measure 

1644:  at most ${}\lesssim\abs{F}$.  Hence the right hand side above 

1645:  can be summed over $J\subset\Omega$ to see that 

1646:   \begin{equation*}

1647:  \text{(\ref{e.inside}) }\lesssim{}1,

1648:   \end{equation*}

1649: which is better than  desired. 

1650:  

1651:  

1652:  \bigskip

1653:  We turn to the second estimate. 

1654:  Set $\mathcal T_{\text{out}}:=\{s\in\mathcal T\mid I_s\not\subset\Omega\}$, which is the collection of 

1655:  tiles summed over in (\ref{e.outside}) . 

1656:  The essential aspect of the definition of $\Omega$  is this Lemma.

1657:  \begin{lemma}\label{l.sizesmall} 

1658:   \begin{equation*}

1659: \size {\mathcal T_{\text{\rm out}}}  {}\lesssim{}\abs{F}^{-1}.

1660:  \end{equation*}

1661:  \end{lemma} 

1662: 

1663:  

1664: Assuming the Lemma, we turn to the line of argument (\ref{e.sizen}) ---(\ref{e.ending}) .  The collection $\mathcal T_{\text{out}}$ can be decomposed into 

1665: collections $\mathcal S_n$, for $n\ge0$, for which (\ref{e.Dense})  and (\ref{e.Count})  holds, and in addition 

1666:  \begin{equation*}

1667: \size {\mathcal S_n} {}\lesssim{}\min( \abs{F}^{-1}, \abs{F}^{-1/2}2^{-n}).

1668:  \end{equation*}

1669: Then by the calculation of (\ref{e.ending}) , we have 

1670:   \begin{equation*}

1671:  \sum_{s\in\mathcal S_n}\abs{\ip \ind E ,\varphi_s . \ip \phi_s, \ind {F'} .}\lesssim{} \min( 1 ,\abs{F}^{1/2} 2^{-n}),

1672:  \end{equation*}

1673:  making the sum over $n\ge0$ no more than $\log \abs F $, as required. This completes the proof of the 

1674:  (\ref{e.distributional}) .

1675: 

1676: \begin{proof}

1677: This is a consequence of the particular structure of a $+$tree $\Tree$, and the fact for $s\in \Tree$,  the distance of 

1678: $\text{supp}(\widehat{\varphi_s})$ to $\omega_\Tree$ is approximately $\abs{\omega_s}$.   The Calder\'on Zygmund 

1679: theory applies, and shows  that for any choice of signs $\varepsilon_s\in\{\pm1\}$, for $s\in \Tree$, 

1680:  \begin{equation}  \label{e.cz} 

1681: \ABs{ \Bigl\{ \sum_{s\in\Tree} \varepsilon_s \ip f,\varphi_s . \varphi_s >\lambda\Bigr\}}\lesssim\lambda^{-1}\norm f \abs{I_\Tree} \chi_{I_\Tree} .1. ,\qquad \lambda>0.

1682:  \end{equation}

1683: We apply this inequality for trees $\Tree \in \mathcal T_{\text{out}}$, and $f=\ind E  $.  

1684: By taking the average over all choices of signs, we can conclude 

1685: a distributional estimate on the square functions 

1686:  \begin{equation} \label{e.zD}

1687: \Delta_\Tree :=\Bigl[\sum_{s\in\Tree} \frac{ \abs{ \ip \ind E , \varphi_s .}^2 }{\abs {I_s}} \ind {I_s} \Bigr]^{1/2}  

1688:  \end{equation}

1689: Namely, that for each \tree+ $\Tree \subset \mathcal T_{\text{out}}$, 

1690:  \begin{equation} \label{e.Gzl}

1691: \abs{ \{ \Delta_\Tree >\lambda\} } {}\lesssim{}  \lambda^{-1} \abs{I_\Tree}\abs{F}^{-1}. 

1692:  \end{equation}

1693: 

1694: 

1695: As this inequality applies to all subtrees of $\Tree$, it can be strengthened.  (This is a reflection of the John Nirenberg inequality.) 

1696: Fix the $+$tree $\Tree\subset\mathcal T_{\text{out}}$.  We wish to conclude that 

1697:  \begin{equation}\label{e.sizeF} 

1698: \abs{I_\Tree}^{-1}\int_{I_\Tree} \Delta_\Tree^2\; dx\lesssim\abs{F}^{-1}.

1699:  \end{equation}

1700: For a subset $\Tree'\subset\Tree$, let 

1701:  \begin{equation*}

1702: \operatorname{sh}(\Tree'):=\bigcup_{s\in\Tree'}I_s

1703:  \end{equation*}

1704: be the {\em  shadow of $\Tree'$.}  A shadow is not necessarily an interval. Define $\Delta_{\Tree'}$ as in (\ref{e.zD}) .  And finally set 

1705:  \begin{equation}\label{e.GG}

1706: G(\lambda)=\sup_{\Tree'\subset\Tree} \abs F \abs{\operatorname{sh}(\Tree')}^{-1} \abs{ \{ \Delta_{\Tree'} >\lambda\} }

1707:  \end{equation}

1708: Notice that (\ref{e.Gzl})  implies that $G(\lambda)\lesssim\lambda^{-1}$, for $\lambda>0$.  If we show that $G(\lambda)\lesssim{}\lambda^{-4}$, for $\lambda>1$, 

1709: we can conclude (\ref{e.sizeF}) .   

1710: In fact we can show that $G(\lambda)$ decays at an exponential squared rate, which is the optimal estimate.

1711: 

1712: Observe that (\ref{e.sizeF}) , implies that we have 

1713:  \begin{equation*}

1714: \frac{\abs{\ip \ind E ,\varphi_s . } } {\sqrt{ \abs I } }\le\lambda_0 <\infty. 

1715:  \end{equation*}

1716: Thus, the square functions we are considering $\Delta_\Tree $ can only take take incremental steps of a strictly bounded size. 

1717: 

1718: 

1719: 

1720: For any $\lambda\ge\sqrt2\lambda_0$, let us bound $G(\sqrt 2\lambda)$.  

1721: Fix $\Tree'$ achieving the supremum in the definition of $G(\sqrt2\lambda)$.  

1722: Consider a somewhat smaller threshold,  namely  $\{ \Delta_{\Tree'}>\lambda\}$.   In order to proceed, consider a 

1723: function $\tau\mid \operatorname{sh}  {\Tree}'\mapsto \mathbb R_+ $ such that 

1724:  \begin{equation*}

1725: \sum _{\substack{ s\in\Tree \\ \abs {I_s}\ge\tau(x) }}\frac{\abs{ \ip f,\varphi_s .}^2 } {{\abs {I_s}}} \ind {I_s}  (x)\ge\lambda^2. 

1726:  \end{equation*}

1727: In addition require that $\tau(x) $ is the smallest such function satisfying this condition.  It is the case that 

1728: the sum above can  be no more than $\lambda^2+\lambda_0^2 $.  

1729: 

1730: Take $\Tree''\subset\Tree'$ to be the tree 

1731:  \begin{equation*}

1732: \Tree'':=\{s\in\Tree'\mid \abs{I_s }\le{}\tau(x),\ x\in I_s \}.

1733:  \end{equation*}

1734:  The point of these definitions is that 

1735:   \begin{equation*}

1736:  \Delta_{\Tree'}(x)\ge\sqrt2\lambda\quad\text{implies}\quad \Delta_{\Tree''}(x)\ge\sqrt{ \lambda^2-\lambda_0^2}.

1737:   \end{equation*}

1738: Therefore, 

1739:  \begin{align*}

1740: \abs{F}^{-1}{\operatorname{sh}(\Tree')} G(\sqrt2\lambda){}={}&

1741: \abs{ \{\Delta_{\Tree'} >\sqrt2\lambda\} }

1742: \\{}\le{}&  \abs{ \{\Delta_{\Tree''} >\sqrt{ \lambda^2-\lambda_0^2}\} }

1743: \\{}\le{}&  \abs{F}^{-1}{\operatorname{sh}(\Tree'')} G(\sqrt{ \lambda^2-\lambda_0^2})

1744: \\{}\le{}&  \abs{F}^{-1}{\operatorname{sh}(\Tree')} G(\lambda)G(\sqrt{ \lambda^2-\lambda_0^2}).

1745:  \end{align*}

1746: We conclude that $G(\sqrt2\lambda)\le{}G(\sqrt{ \lambda^2-\lambda_0^2})^2$.  

1747: 

1748: To conclude, we should in addition require that $\lambda_0 $ is so large that 

1749: $

1750: G(\kappa\lambda_0)\le{}\tfrac12 $, where  

1751:  \begin{equation*}

1752: \kappa:=\prod _{k=1}^\infty{} \sqrt{1-2^{-k} } . 

1753:  \end{equation*}

1754: An induction argument will then show that 

1755:  \begin{equation}\label{e.exp}

1756: G(2^{k/2}\lambda_0)\le{}G(\kappa\lambda_0)^{2^k}\le{}2^{-2^k},\qquad k\ge0,

1757:  \end{equation}

1758: which is the claimed exponential decay. Our proof of the Lemma is done.

1759: \end{proof}

1760: 

1761: \subsection{Complements}  

1762: 

1763:  \begin{remark}\label{r.kp}   In the inequality  (\ref{e.distributional}) , one can show that the constants $K_p $ on the right hand side obey 

1764:  \begin{equation*}

1765: K_p\lesssim{} \frac{p^2}{p-1}

1766:  \end{equation*}

1767:  \end{remark}

1768: 

1769: 

1770:  \begin{remark}\label{r.G} 

1771: If it is the case that for some $0< \alpha<1 $, we have the inequality 

1772:  \begin{equation*}

1773: \sup_{\Tree'\subset\Tree} \abs{\operatorname {sh}(\Tree') }^{-1/\alpha} \norm \Delta_{\Tree'} .\alpha.<\infty 

1774:  \end{equation*}

1775: then, the stronger estimate below holds. 

1776:  \begin{equation*}

1777: \norm \Delta_\Tree .1. {}\lesssim{} \abs{\operatorname {sh}(\Tree) }. 

1778:  \end{equation*}

1779:  \end{remark}

1780: 

1781: 

1782:  \begin{remark}\label{r.weakp}  In (\ref{e.distributional}) , we assert the restricted weak type inequality for $1<p<\infty$.  The weak type estimate 

1783: for $2<p<\infty$ is in fact directly available.  That is, for $2<p<\infty$, and $f\in L^p$ of norm one,  

1784:  \begin{equation*}

1785: \abs{ \{ \mathcal C_N f >\lambda\}}\lesssim{} \lambda^{-p},\qquad \lambda>0.

1786:  \end{equation*}

1787: The key point is to take advantage of the fact that $f $ is locally square integrable.  A very brief sketch of the argument follows. 

1788:  (1) It suffices to prove the inequality above for $\lambda=1$.  (2) Define 

1789: $\Omega=\{ \operatorname M\abs{f}^2 >1\}$, and show that $\abs\Omega\lesssim1$.  (3) Define sums as in (\ref{e.inside})  and (\ref{e.outside}) , 

1790: and control each term separately.   One will need to replace the Size Lemma as stated with \ref{r.ABove2}.

1791:  \end{remark} 

1792: 

1793: 

1794: 

1795: 

1796:  

1797: 

1798: \section{Remarks}

1799: 

1800: 

1801:  \begin{remark}\label{r.carleson} After L.~Carleson \cite{carleson} proved his theorem, R.~Hunt \cite{MR38:6296} extended the argument to 

1802: $L^p$, for $1<p<\infty$.  A similar extension, in the Walsh Paley case, was done by Billiard \cite{MR36:599}, in the case 

1803: of $L^2$, and Sj\"olin \cite{MR39:3222}, for all $1<p<\infty$.  The Carleson theorem has equivalent formulations on the groups 

1804: $\mathbb R$, $\mathbb T$, and $\mathbb Z$.  The last case, of the integers, was explicitly discussed by M{\'a}t{\'e} \cite{MR39:701}. This paper was 

1805: overlooked until recently.

1806:  \end{remark} 

1807: 

1808: %"

1809:  \begin{remark}\label{r.feff}  C.~Fefferman \cite{fefferman} devised an alternate proof, which proved to be influential through it's 

1810:  use of methods of analysis that used both time and frequency information in an operator theoretic fashion.  The proof 

1811:  of Lacey and Thiele \cite{laceythielecarleson} presented here borrows several features of that proof. 

1812:  The notion of tiles, and the partial order on tiles is due to C.~Fefferman \cite{fefferman}.  Likewise, the Density Lemma and the Tree Lemma, and the proof of the same, have clear antecedents in this paper. 

1813:  \end{remark} 

1814: 

1815:  \begin{remark}\label{r.notseperated}  Those familiar with the Littlewood Paley theory know that it is very useful in decoupling the scales 

1816: of operators, like those of the Hilbert transform.  The Carleson operator is, however, not one in which scales can be decoupled. 

1817: This is another source of the interest in this Theorem. 

1818:  \end{remark}

1819: 

1820:  \begin{remark}\label{r.equiv}  We present the proof of the Carleson theorem on the real line due to the presence of the dilation structure. 

1821:  \end{remark}

1822:  

1823: 

1824:  \begin{remark}\label{r.1}  We choose to express the Carleson operator in terms of the projection $\operatorname P_-$.  This operator is a linear combination of 

1825: the identity operator and the Hilbert transform given by 

1826:  \begin{equation*}

1827: \operatorname H f(x):=\lim_{\epsilon\to0}\int_{\epsilon<\abs y<1/\epsilon} f(x-y)\;\frac {dy}y.

1828:  \end{equation*}

1829: Hence, an alternate form of the Carleson operator is 

1830:  \begin{equation} \label{e.alternate}

1831: \sup_N \abs{ \operatorname H \circ \modulate N f}=\sup_N\ABs{ \int  e^{iNy} f(x-y)\;\frac {dy}y}

1832:  \end{equation}

1833: This form is suggestive of other questions related to the Carleson Theorem, a point we rely upon below. 

1834:  \end{remark} 

1835: 

1836: 

1837: 

1838:  \begin{remark}\label{r.three} Despite the fact that Carleson's operator maps $L^2$ into itself, all three known proofs of Carleson's theorem establish 

1839: the weak type bound on $L^2$.  The strong type bound must be deduced by interpolation.  On the other hand, the weak type bound is a known 

1840: consequence of the pointwise convergence of Fourier series.  This was observed by A.~Calder\'on, as indicated by a footnote in \cite{zyg}, 

1841: and is a corollary of a general observation of E.M.~Stein \cite{steinweak}.

1842:  \end{remark}

1843: 

1844: 

1845:  \begin{remark}\label{r.huntWtd}  Hunt and Young \cite{MR49:3419} have established a weighted estimate for the Carleson operator. Namely for a weight 

1846: $w$ in the class $A^p$, the Carleson operator maps $L^p(w)$ into itself, for $1<p<\infty$.  The method of proof utilizes the known Carleson bound, and distribution inequalities for the Hilbert transform.

1847:  \end{remark}

1848: 

1849: 

1850:  \begin{remark}\label{r.P-}  The \Pcap.P-/ has a well known antecedent in a characterization of  (a constant times) the Hilbert transform 

1851: as the unique operator $A$   such that $A$ is bounded operator on $L^2$ that commutes with dilation, is invariant under

1852: dilations, $A^

1853: 2$ is the identity, but is not itself the identity.  See \cite{stein70s}.

1854:  \end{remark}

1855: 

1856: 

1857:  \begin{remark}\label{r.weaktypedual} 

1858: The inequality (\ref{e.weaktypedual})  eschews all additional cancellations.  It shows that all the necessary cancellation properties are 

1859: already encoded in the decomposition of the operator.   In addition the  combinatorial model of the 

1860: Carleson operator is in fact unconditionally convergent in $s\in\mathcal T$.  This turns out to be extremely useful 

1861: fact in the course of the proof: one is free 

1862: to 

1863: group the tiles in anyway that one likes.

1864:  \end{remark}

1865: 

1866: 

1867:  \begin{remark}\label{r.rubio<}  The Size Lemma should be compared to Rubio de Francia's extension of the classical Littlewood Paley inequality 

1868: \cite{rubio}.  Also see the author's recent survey of this theorem \cite{laceyrubio}. 

1869:  \end{remark} 

1870: 

1871: 

1872: 

1873:  \begin{remark}\label{r.+}  A $+$tree $\Tree$ is a familiar object.  Aside from a modulation by $c(\omega_\Tree)$, it shares most

1874: of the properties associated with sums of wavelets.  In particular, if $0\in\omega_\Tree$, note that 

1875:  \begin{equation*}

1876: \size \Tree {}\simeq{} \NOrm \sum_{s\in\Tree} \langle f,\varphi_s \rangle  \varphi_s .BMO.

1877:  \end{equation*}

1878: where the last norm is the $BMO$ norm.

1879:  \end{remark}

1880: 

1881: 

1882:  \begin{remark}\label{r.tree}  The key instance of the Tree Lemma is that of a $+$tree.  This case corresponds to a particular maximal function 

1883: applied to a function associated to the tree. 

1884: It is this point at which the supremum of Carleson's theorem is controlled by a much tamer supremum:  The one in the ordinary maximal function.

1885:  \end{remark}

1886: 

1887: 

1888:  \begin{remark}\label{r.size} The statement and proof of the size lemma \l.size/ replaces the initial arguments of this type that are in 

1889: Lacey and Thiele \cite{MR99b:42014}.  This argument has proven to be very flexible in it's application. And, in some instances 

1890: it produces sharp estimates, as explained by Barrioneuvo and Lacey \cite{MR1955263}.

1891:  \end{remark}

1892: 

1893: 

1894:  \begin{remark}\label{r.gabor}  The set of functions $\mathcal T_k:=\{s\in\mathcal T\mid \abs{I_s}=2^k\}$ is an example of a Gabor basis.  For 

1895: appropriate choice of $\varphi$, the operator  

1896:  \begin{equation*}

1897: \operatorname A_kf:=\sum_{\substack{s\in\mathcal T \\ \abs{I_s}=2^k}}  \ip f,\varphi_s. \varphi_s 

1898:  \end{equation*}

1899: is in fact the identity operator.  See the survey of I.~Daubechies \cite{MR93e:42045}. 

1900:  \end{remark} 

1901: 

1902: 

1903: 

1904: 

1905: 

1906: 

1907: 

1908: 

1909: 

1910: 

1911: 

1912: 

1913: 

1914: 

1915: 

1916: 

1917: 

1918: 

1919: 

1920:  \section{Complements and Extensions}

1921:  

1922:  

1923:  

1924:  

1925:  

1926:  

1927:  

1928:  

1929:  

1930:  

1931:  

1932:  

1933:  

1934:  

1935:  

1936:  

1937:  

1938:  

1939: \subsection{Equivalent Formulations of Carleson's Theorem}

1940: 

1941: The Fourier transform has a formulation on each of the Euclidean groups 

1942: $\mathbb R$, $\mathbb Z$ and $\mathbb T$. 

1943: Carleson's original proof worked on $\mathbb T$. 

1944: Fefferman's proof translates very easily to $\mathbb R$.  M{\'a}t{\'e}

1945: \cite{MR39:701} extended Carleson's proof to $\mathbb Z$.

1946:    Each of the statements of the theorem can be stated in terms of a maximal Fourier multiplier theorem, and we 

1947:    have stated it as such in this paper. 

1948: Inequalities for such operators can be transferred  between these three Euclidean groups, and was done so by 

1949: P.~Auscher and M.J.~Carro \cite{MR94b:42007}.  

1950: 

1951: Transference has also been studied in the bilinear setting.  See articles by 

1952: Fan and Sato, as well as Blasco and Villarroya 

1953: \cites{MR2037006,MR1808390}.

1954: 

1955: 

1956: 

1957: 

1958: 

1959: \subsection{Fourier Series Near $L^1$, Part 1}  \label{s.near1}

1960: 

1961: The point of issue here is the  determination of that integrability class which 

1962: guarantees the pointwise convergence of Fourier series. The natural setting for these questions is the 

1963: unit circle $\mathbb T=[0,1]$, and the partial Fourier sums 

1964:  \begin{equation*}

1965: S_N f(x)=\sum_{\abs n\le N} \widehat f (n) e^{2\pi inx},\qquad \widehat f (n)=\int_0^1 f(x)e^{-inx}\; dx

1966:  \end{equation*}

1967:   In the positive direction, one seeks the 

1968: ``smallest'' function $\psi$ such that if $\int_\mathbb T \psi(f)\; dx<\infty$, then the Fourier series of $f$ converge pointwise. 

1969: 

1970:   

1971:  N.~Antonov \cite{MR97h:42005} has found the best result to date, 

1972:  

1973: \begin{theorem} \label{t.antonov}

1974: For all functions $f\in L(\log L)(\log\log\log L)(\mathbb T)$, the partial Fourier series of $f$ converges pointwise to $f$. 

1975: \end{theorem}

1976: 

1977: 

1978: This extends the result of P.~Sj\"olin \cites{MR39:3222,MR49:998}, who had the result above, but with a double log where there is a triple log above. 

1979:   Arias de Reyna \cites{MR1906800,MR2002k:42009} has noted an extension of this Theorem, in that one can define a rearrangement invariant Banach space $B$, so that pointwise convergence holds for all $f\in B$, and $B$ contains $L(\log L)(\log\log\log L)$.

1980: 

1981:  

1982:  

1983: The method of proof  takes as it's starting point, the distributional estimate of (\ref{e.best}) .

1984:   One seeks to ``extrapolate'' these inequalities to the setting of the Theorem above   and Antonov nicely exploits the 

1985:   explicit nature of the kernels involved in this maximal operator. 

1986:   Also see the work of P.~Sj\"olin and  F.~Soria \cite{MR2014553}  who demonstrate that Antonov's approach 

1987:   extends to other maximal operator questions.

1988: 

1989: 

1990: \subsection{Fourier Series Near $L^1$, Part 2}

1991: 

1992: In the negative direction, 

1993: A.N.~Kolmogorov's fundamental example  \cites{kolo1,kolo2} of an integrable function with pointwise

1994: divergent Fourier series admits a strengthening to the following statement, as obtained by K\"orner \cite{MR83h:42010}.

1995: %"

1996: 

1997: \begin{theorem} \label{t.kolo}  For all  $\psi(x)=o(\log \log x)$, there   is a function $f\mid [0,2\pi]\to\mathbb R$ with divergent Fourier series, 

1998: and $\int \abs f \psi(f)\; dx<\infty$. 

1999: \end{theorem}

2000: 

2001: 

2002: The underlying method of proof was, in some essential way, unsurpassed until quite recently, when S.~Konyagin \cites{MR2000h:42002,konyagin}  proved 

2003: 

2004: \begin{theorem} \label{t.konyagin} The previous Theorem holds assuming only 

2005:  \begin{equation} \label{e.kon} 

2006: \psi(x)=o\Biggl( \sqrt{ \frac{ {\log x}}{ \log\log x}}\Biggr)

2007:  \end{equation}

2008: \end{theorem}

2009: 

2010: There is a related question, on the growth of partial sums of Fourier series of integrable functions.  G.H.~Hardy \cite{hardy} showed that for 

2011: integrable functions $f$, one has $S_nf=o(\log n)$ a.e., and asked if this is the best possible estimate.  This question is still open, with the best result from below following from Konyagin's example.  With $\psi$ as in (\ref{e.kon}) , there is an $f\in

2012:  L^1(\mathbb T

2013: )$ with 

2014:  \begin{equation*}

2015: \limsup_{n\to\infty} \frac{S_n f}{\psi(n)}=\infty \qquad \text{for all $x\in\mathbb T$.}

2016:  \end{equation*}

2017:  Bochkarev \cite{MR1993585} has  a very slight strengthening of this result for Walsh series.

2018: 

2019: 

2020: 

2021: 

2022: \bigskip 

2023: 

2024: Let $\delta_t$ denote the Dirac point mass at $t\in\mathbb T$.  The method of proof is to construct measures 

2025:  \begin{equation*}

2026: \mu=K^{-1}\sum_{k=1}^K \delta_{t_k}

2027:  \end{equation*}

2028: a set $E\subset \mathbb T$ with measure at least $1/4$, and choices of integers $N$ for which 

2029:  \begin{equation*}

2030: \sup_{n<N} \abs{ S_n \mu(x)}\ge \psi(N),\qquad x\in E.

2031:  \end{equation*}

2032: Kolmogorov's example  consists of uniformly distributed point masses, whereas Konyagin's example consists of point masses 

2033: that have a distribution reminiscent of a Cantor set.  

2034: 

2035: \subsection{Probabilistic Series} 

2036: 

2037: It is of interest from the point of view of probability and ergodic theory, to consider the version of the Hilbert transform 

2038: and Carleson theorem that arises from the integers.  Here, we consider the probabilistic versions.  Let $ X_k $ be independent 

2039: and identically distributed copies of a mean zero random variable $X $.   The question is  if the sum 

2040:  \begin{equation*}

2041: \sum_{k=1}^ \infty \frac{X_k} k 

2042:  \end{equation*}

2043: converges a.s.  Without additional assumption on the distribution of  $X $, a necessary and sufficient condition is that 

2044: $\mathbb E X \log (2+\abs X) <{} \infty $.  One direction of this is in \cite{mz}.   If however  $X $ is assumed to be symmetric, 

2045: integrability is necessary and sufficient.   This addresses the issue of the Hilbert transform.  

2046: 

2047: Carleson's theorem, in this language, concerns the convergence of the series 

2048:  \begin{equation*}

2049: Y(t):=\sum_{k=1}^ \infty \frac{X_k} k  e^{2\pi i k t}   \qquad\text{for all $t\in \mathbb T $.} 

2050:  \end{equation*}

2051: The role of the quantifiers should be emphasized.  Convergence holds for all $t\in \mathbb T $,  on a set of full probability. 

2052:  Given this, abstract results on $0$\ndash$1 $ Laws assure us that if the series converges for all $t $,  off of a single set 

2053: of probability zero, then the limiting function is continuous with probability one.  

2054: The paper of  Talagrand \cite{MR96f:60068} gives necessary and sufficient conditions for the convergence of this series.

2055: 

2056: 

2057:  \begin{theorem}\label{t.talagrand}  Let $X_k$ be independent identically distributed copies of a mean zero symmetric random variable $X$.  

2058: $X\in L(\log \log L)$ iff the series  $Y(t) $ converges to a continuous function on $\mathbb T$ almost surely. 

2059:  \end{theorem}

2060: 

2061: 

2062: The assumption of symmetry should be added to the statement of the Theorem in 

2063: \cite{MR96f:60068}.   Cuziak and Li \cite{MR82f:60083} provide an example of a non symmetric mean zero $X \in L (\log\log L) $ for 

2064: which the series $Y(t) $ is divergent.    This series is a borderline series in that it just falls out of the scope of the powerful 

2065: theory of Marcus and Pisier \cite{MR86b:60069} on random Fourier series.  

2066: 

2067: My thanks to several people who provided me with some references for this section.  They are James Campbell, Ciprian Demeter, 

2068: Michael Lin, and Anthony Quas. 

2069: 

2070: 

2071: 

2072: 

2073: \subsection{The Wiener--Wintner Question}  \label{s.ww}

2074: 

2075: A formulation of Carleson's operator on $\mathbb Z$ is 

2076: $$

2077: C_\mathbb Z f(j):=\sup_\tau\sup_N\ABs{ \sum_{0<\abs k<N} f(j-k)\frac{e^{i\tau k}}k}.

2078: $$

2079: See M{\'a}t{\'e} \cite{MR39:701}.  Unaware of this work which followed soon after 

2080: Carleson,  J.~Campbell and Petersen \cite{MR89i:28008} considered this operator on $\ell^2$, 

2081: with equivalence in $\ell^p$ established by  Assani and Petersen \cites{MR89i:28008,MR92g:28025}.  Also see Assani, Petersen and White \cite{MR92m:28021}, for these and other equivalences.  The latter  authors  had additional motivations from dynamical sy

2082: 

2083: stems, which we turn to now. 

2084: 

2085: 

2086: A.~Calder\'on \cite{MR37:2939} observed that 

2087: inequalities for  operators on $\mathbb Z$ which commute with translation  can be transferred to

2088: discrete dynamical systems.  Let $(X,\mu)$ be a probability space, and $T\mid X\to X$ a map which preserves 

2089: $\mu$ measure.  Thus, $\mu(T^{-1}A)=\mu(A)$ for all measurable $A\subset X$.  A Carleson operator on $(X,\mu,T)$ is 

2090: $$

2091: \operatorname C_{\text{mps}} f(x):=\sup_\tau\sup_N\ABs{ \sum_{0<\abs k<N} f(T^kx)\frac{e^{i\tau k}}k}

2092: $$

2093: And it is a consequence of Calder\'on's observation and Carleson's theorem that this operator is bounded on $L^2(X)$.  

2094: 

2095: There is however a curious point that distinguishes this case from the other settings of Euclidean groups.  It is the case that one has pointwise convergence of 

2096: $$

2097: \lim_{N\to\infty} \sum_{0<\abs k<N} f(T^kx)\frac{e^{i\tau k}}k \quad\text{exists for all $\tau$}

2098: $$

2099: holding for almost every $x\in X$?  The boundedness of the maximal function $C_{\text{mps}}$ shows that this would hold on a closed set in $L^2(X)$.  The missing ingredient is the dense class for which the convergence above holds.

2100:   Unlike the setting of Euclidean groups, there is no natural dense class.  

2101: 

2102: 

2103: This conjecture was posed by Campbell and Petersen \cite{MR89i:28008}.

2104: 

2105:  \begin{conjecture}\label{j.ww}  

2106: For all measure preserving systems $(X,\mu,T)$, and all $f\in L^2(X)$, we have the following:

2107: $$

2108: \mu\Biggl\{ \lim_{N\to\infty} \sum_{0<\abs k<N} f(T^kx)\frac{e^{i\tau k}}k \quad\text{exists for all $\tau$} \Biggr\}=1.

2109: $$

2110:  \end{conjecture}

2111: 

2112: 

2113: \medskip 

2114: 

2115: A theorem of N.~Wiener and A.~Wintner \cite{MR4:15a} provides a classical motivation of this question.  This theorem concerns the same phenomena, but with the discrete Hilbert transform replaced by the averages. 

2116: 

2117: 

2118: \begin{theorem}  \label{t.ww}  

2119: For all measure preserving systems $(X,\mu,T)$, and all $f\in L^2(X)$, we have the following:

2120: $$

2121: \mu\Biggl\{ \lim_{N\to\infty} N^{-1} \sum_{k=0}^{N-1} f(T^kx){e^{i\tau k}} \quad\text{exists for all $\tau$} \Biggr\}=1.

2122: $$

2123: \end{theorem} 

2124: 

2125: 

2126: This theorem admits a simple proof.  And note that this theorem trivially supplies a dense class in all $L^p$ spaces, $1\le{}p<\infty$.  

2127: 

2128: The Wiener--Wintner theorem has several interesting variants, 

2129: for which one can phrase related questions by replacing averages by Hilbert transforms. 

2130: As far as is known to us, none of these questions is answered. 

2131: 

2132: \medskip 

2133: 

2134: An attractive theorem proved by E.~Lesigne \cites{MR91h:28016,MR95e:28012} is 

2135: 

2136: \begin{theorem} For any measure preserving system $(X,\mu,T)$ and all integrable functions $f$, 

2137: there is a subset $X_f\subset X$ of full measure so that for all $x\in X_f$, all polynomials $p$, and all 

2138: 1--periodic functions $\phi$, the limit below exists:

2139: 

2140: $$

2141: \lim_{N\to\infty}N^{-1}\sum_{n=1}^N \phi(p(n))f(T^nx)

2142: $$

2143: \end{theorem}

2144: 

2145: Extending this theorem to the Hilbert transform would be an extraordinary accomplishment, whereas if one replaced the discrete dynamical system by flows, it could be that the corresponding result for the Hilbert transform might be within reach.   

2146: 

2147: In connection to this, Arkihpov and Oskolkov \cite{MR89a:42010} have proved the following theorem.

2148: 

2149:  \begin{theorem}\label{t.arkihpov}  For all integers $d$, 

2150:  \begin{equation*}

2151: \sup_{\operatorname{deg}(p)=d} \ABs{ \sum_{n\not=0}\frac{ e^{i p(n)} }n }<\infty.

2152:  \end{equation*}

2153: with the supremum formed over all polynomials of degree $d$.

2154:  \end{theorem} 

2155: 

2156: This is a far more subtle fact than the continuous analog stated in (\ref{e.swp}) .  Arkihpov and Oskolkov use the Hardy Littlewood 

2157: Circle method of exponential sums, with the refinements of Vinogradov.  See \cites{MR89a:42010,MR99j:42004,MR94m:42016}.  

2158: 

2159: By  Plancherel,  this theorem shows that for a polynomial $p$ which maps the integers to the integers,

2160:  the operators on the integers given by 

2161:  \begin{equation*}

2162: T_p f(j)=\sum_{n\not=0}f(x-p(n))

2163:  \end{equation*}

2164: is a bounded operator on $\ell^2(\mathbb Z)$.

2165: 

2166: 

2167: E.M.~Stein and S.~Wainger have established $\ell^2$ mapping properties for certain 

2168: Radon transforms \cites{MR2000j:42027,MR2001g:42038}.  

2169: 

2170: 

2171: 

2172: 

2173: 

2174: 

2175: \subsection{E.M.~Stein's Maximal Function}   \label{s.stein} 

2176: 

2177: A prominent theme of the research of E.M.~Stein and S.~Wainger concerns oscillatory integrals, with polynomial phases.  It turns out to be of interest to determine what characteristics of the 

2178: polynomial govern allied analytic quantities.  In many instances, this characteristic is just 

2179: the the degree of the polynomial.  For instance, the following is a corollary to a 

2180: Theorem of Stein and Wainger from 

2181: 1970 \cite{MR42:904}.  Namely, that one has a bound 

2182:  \begin{equation} \label{e.swp}

2183: \sup_{\operatorname{deg}(P)=d} \ABs{ \int e^{ip(y)}\;\frac{dy}y}\lesssim{}1, \qquad d=1,2,\ldots

2184:  \end{equation}

2185: 

2186: A conjecture of Stein's concerns an extension of Carleson's maximal operator to one in which one forms a supremum over 

2187: all polynomial choices of phase with a fixed degree.  Thus, 

2188: 

2189:  \begin{conjecture}\label{j.stein}  For each integer $d$, the maximal function below maps $L^p$ into itself for $1<p<\infty$.  

2190:  \begin{equation*}

2191: \mathcal C_df(x)=\sup_{\operatorname{deg}(P)=d} \ABs{ \int e^{ip(y)} f(x-y)\;\frac{dy}y}

2192:  \end{equation*}

2193:  \end{conjecture} 

2194: 

2195: 

2196: 

2197: 

2198: 

2199: Note that the case of $d=1$ corresponds to Carleson's theorem.   Let us set $\mathcal C'_d$ to be the maximal operator above, but with the 

2200: the restriction that the polynomials $p$ do not have a linear term.  It is useful to make this distinction, as it is the linear terms 

2201: that are intertwined with the Fourier transform.

2202: 

2203: 

2204: 

2205: E.M.~Stein   \cite{MR96i:42013} considered the purely quadratic terms, and showed that $\mathcal C'_2$ maps $L^p$ into itself

2206: for all $1<p<\infty$.

2207: The essence of the matter is the bound on $L^2$, and there his argument is a variant on  the method of $\operatorname T

2208: \operatorname T^*$, emphasizing 

2209: a frequency decomposition of the operator.    Stein and Wainger \cite{MR2002k:42038} have  proved that $\mathcal C'_d$

2210: is bounded on all $L^p$'s, for all $d\ge2$. Again 

2211: the $L^2$ case is decisive and the argument is  an application of the $\operatorname T \operatorname T^*$ method,

2212: but with a spatial decomposition of the operator.

2213: 

2214: Let us comment in a little more detail about how these results are proved.  If, for the moment, one consider a fixed polynomial 

2215: $P(y) $, and the oscillatory integral 

2216:  \begin{equation} \label{e.TP} 

2217: T_P f(x):=\int e^{iP(y) } f(x-y) \frac{dy}y .

2218:  \end{equation}

2219: One may utilize the scale invariance of the the Hilbert transform kernel to change variables.  With the correct change of variables, 

2220: one may assume that the polynomial $P(y)=\sum _{j=1}^d a_j y^j $ satisfies $\sum \abs{a_j}=1 $.   Then, it is evident that 

2221: for $\abs y <1 $, say, that the integral above is well approximated by a truncation of the Hilbert transform.   Thus, it is those 

2222: scales of the operator larger than $1 $ that must be controlled.  

2223: 

2224: It is a consequence of the van der Corput estimates that some additional decay can be obtained from these terms.  

2225: In particular, one has this estimate.   To set 

2226: notation,  in the one dimensional case only, set  

2227:  \begin{equation*} 

2228: P_{\vec a}(x)=a_d x^d+\cdots+{} a_1 x,\qquad  \vec a=(a_d,\ldots,a_1).

2229:  \end{equation*}

2230: 

2231:  \begin{lemma}\label{l.vdc}  Let $\chi $ be a smooth bump function. Then we have the estimate 

2232:  \begin{equation*}

2233: \NOrm \widehat{\operatorname e ^{iP_{\vec a} (y) } \chi(y) }(\xi). \infty. {}\lesssim{}

2234: (1+\norm \vec a .1.)^{-1/d}. 

2235:  \end{equation*}  

2236: In particular, by the Plancherel identity, we have the estimate 

2237:  \begin{equation} \label{e.vdc} 

2238: \Norm [\operatorname e ^{iP_{\vec a} (y) } \chi(y)]*f(x) .2. {}\lesssim{} (1+\norm \vec a .1.)^{-1/d} \norm f.2. .

2239:  \end{equation}

2240:  \end{lemma}

2241: 

2242: Notice that these estimates are better than the trivial ones.  And that the second estimate can be interpolated to 

2243: obtain a range of $L^p $ inequalities for which one has decay, with a rate that depends upon  the degree and the $L^p $ space in 

2244: question. 

2245: 

2246: In a discussion of the extensions of this principle in  for example \cites{MR2002k:42038,MR96i:42013}, one establishes 

2247: appropriate extensions of this last lemma, always seeking some additional decay that arises from the polynomial.  

2248: For instance, in \cite{MR2002k:42038}, Stein and Wainger prove a far reaching extension of this principle. 

2249: 

2250: 

2251:  \begin{lemma}\label{l.sw}   There is a constant $\delta>0 $, depending only on the degree $d $, so that we have the estimate 

2252: $\norm S_ \lambda .2. {}\lesssim{}(1+\lambda)^{-\delta} $, for all $\lambda>0 $, where 

2253:  \begin{equation*}

2254: \operatorname  S _{\lambda}f(x):={} 

2255: \sup_{\substack{\norm\vec a.1.\ge\lambda\\ a_1=0 }}  \sup _{t>0 } 

2256: \abs{ [\operatorname  {Dil}_t^1 \operatorname e ^{i P_{\vec a}(\cdot )} \chi ]*f }

2257:  \end{equation*}

2258: It is essential in this supremum be formed over polynomials $P_{\vec a} $ which do not have a linear term.   

2259:  \end{lemma} 

2260: 

2261: A.~Ionescu has pointed out that this Lemma is not true with the linear 

2262: term included, even in the case  of second degree polynomials.

2263: The example, which we will see again below, 

2264: begins by taking a function $f (x) $, and replacing it 

2265: by the function $g(x)=\operatorname e ^{i \lambda x^2} f(x)$. 

2266: Then, in the  supremum defining $S_ \lambda $ above, 

2267: take the dilation parameter to be $t=1 $, 

2268: and the polynomial to be $P(y)=-y^2+2xy $.  Note that as we

2269: are taking a supremum, we can in particular take a polynomial 

2270: that depends upon $x $.  

2271: 

2272: In this example, the modulation of $f $ by ``chirp''{}  is then canceled out by the choice of $P $.  There is no decay in the 

2273: estimate. This estimate is special to the case of the second power, so it is natural to guess that it 

2274: plays a distinguished role in these considerations.

2275: 

2276: This also  points out an error in the author's paper \cite{MR1949031}.  (The error enters in specifically at the equation 

2277: (2.9). The phase plane analysis of that paper might yet find some use.)

2278: At this point, the resolution of Stein's conjecture is not settled.  And it appears that a positive bound of the 

2279: operator $\mathcal C_2 $ will in particular require a novel phase plane analysis with quadratic phase. 

2280: This  should be compared to the notion of \emph{degeneracy} in \s.multi/ below. 

2281: 

2282: 

2283: 

2284: 

2285: 

2286: 

2287: \subsection{Fourier Series in Two Dimensions}

2288: 

2289: 

2290: In this section we extend the Fourier transform to functions of the plane 

2291:  \begin{equation*}

2292: \widehat f(\xi)=\int f(x)e^{ix\cdot \xi}\; dx

2293:  \end{equation*}

2294: where $\xi=(\xi_1,\xi_2)$, and $x=(x_1,x_2)$.  The possible extensions of Carleson's theorem 

2295: to the two dimensional setting are numerous. The state of our knowledge is not so great. 

2296: 

2297: \subsubsection{Fourier Series in Two Dimensions, Part I} 

2298: 

2299: Consider the pointwise convergence of the Fourier sums in the plane given by 

2300:  \begin{equation*}

2301: \int_{tP} \widehat f(\xi)e^{ix\cdot\xi}\; dx 

2302:  \end{equation*}

2303: Here, $P$ is   polygon with finitely many sides in the plane, with the origin in it's interior.  

2304:   Proving the pointwise convergence of 

2305: these averages is controlled by the maximal function 

2306:  \begin{equation*}

2307: \mathcal C_P f {}:={} \sup_{t>0} \ABs{ \int_{tP} \widehat f(\xi)e^{ix\cdot\xi}\; dx }

2308:  \end{equation*}

2309: C.~Fefferman \cite{MR55:8682} has observed that this maximal operator can be controlled by a sum   of 

2310: operators which are equivalent to the Carleson operator. 

2311: 

2312: For simplicity, we just assume that the polygon is the unit square.  And let 

2313:  \begin{equation*}

2314: Qf=\int_0^\infty \int_{-\xi_1}^{\xi_1} \widehat f(\xi_1,\xi_2) e^{i (x_1\xi_1+x_2\xi_2)} \;d\xi_2d\xi_1

2315:  \end{equation*}

2316: This is the Fourier projection of $f$ onto the sector swept out by the right hand side of the square. 

2317: Notice that $\mathcal C_P\circ Q$ is the one dimensional Carleson operator applied in the first coordinate.  

2318: 

2319: Thus, $\mathcal C_P$ is dominated by a sum of terms which are obtained from  the one dimensional Carleson operator, 

2320: and so $\mathcal C_P$ maps $L^p$ into itself for $1<p<\infty$.  This argument works for any polygon with a finite number of 

2321: sides.  While we have stressed the two dimensional aspect of this argument, it also works in any dimension. 

2322: 

2323: 

2324: \medskip  

2325: 

2326: Nevertheless, it is of some interest to consider maximal operators of the form 

2327:  \begin{equation*}

2328: \sup_{\xi\in\mathbb R^2}\ABs{ \int f(x-y) e^{i\xi \cdot y} K(y)\; dy }                                                                       

2329:  \end{equation*}

2330: where $K$ is a Calder\'on Zygmund kernel.  This is the question addressed by P.~Sj\"olin \cite{MR55:8682}, and more recently by 

2331: Sj\"olin and Prestini \cite{MR2001m:42017} and Grafakos, Tao and Terwilleger \cite{MR2031458}. 

2332: 

2333: \subsection{Fourier Series in Two Dimensions, Part II} 

2334: What other methods can be used to sum Fourier series in the plane?  One method that comes to mind is over arbitrary rectangles.  That is, 

2335: one considers the maximal operator

2336:  \begin{equation*}

2337: \mathcal R f(x):=\sup_\omega \ABs{ \int_\omega \widehat f(\xi) e^{i\xi\cdot x}\; d\xi } 

2338:  \end{equation*}

2339: The supremum is formed over arbitrary rectangles $\omega$ with center at the origin.

2340: C.~Fefferman \cite{MR43:5251} has shown however that this is a  badly behaved operator. 

2341: 

2342:  \begin{proposition}\label{p.multiple}  There is a bounded, compactly supported function $f$ for which $\mathcal R f=\infty$ on 

2343: a set of positive measure. 

2344:  \end{proposition} 

2345: 

2346: This maximal operator has an alternate formulation, see (\ref{e.alternate}) , as 

2347:  \begin{equation} \label{e.recCar}

2348: \sup_{\alpha,\beta}\ABs{ \int\!\!\int f(x-x',y-y') e^{i(\alpha x'+\beta y')} \; \frac  {dx'}{x'}\frac  {dy'}{y'} }

2349:  \end{equation}

2350: The example of C.~Fefferman is  a sum of terms  $f_\lambda(x,y)=e^{i\lambda x y}\chi (x,y)$, where $\lambda>3$, and  $\chi$ is a 

2351: smooth  bump function satisfying e.g.~$\ind {[-1,1]^2}  \le\chi\le\ind {[-2,2]}  $.  The key observation in the construction 

2352: of the example is 

2353: 

2354:  \begin{lemma}\label{l.feff2}  We have the estimate 

2355:  \begin{equation*}

2356: \mathcal R f_\lambda (x,y) \gtrsim\log \lambda 

2357:  \end{equation*}

2358: for $ (x,y)\in [-\frac12,\frac12]^2$.

2359:  \end{lemma} 

2360: 

2361: \begin{proof}

2362: In the supremum over $\alpha$ and $\beta$ in the definition of $\mathcal R$, let $\alpha=\lambda y$ and $\beta=\lambda x$, and consider 

2363:  \begin{align*}

2364: R(x,y)={}&\int \Bigl[ \int f_\lambda(x-x',y-y')e^{i\lambda (x'y+xy')} \; \frac  {dx'}{x'}\Bigr]\frac  {dy'}{y'} 

2365: \cr

2366: {}={}&e^{i\lambda xy}\int \Bigl[ \int e^{i\lambda x'y'} \chi(x-x',y-y')\; \frac  {dx'}{x'}\Bigr]\frac  {dy'}{y'} 

2367:  \end{align*}

2368: The inside integral in the brackets admits these two estimates for all $(x,y)\in[-\frac12,\frac12]^2$.  

2369:  \begin{align*} 

2370: I(x,y,y')={}&\Bigl[ \int e^{i\lambda x'y'} \chi(x-x',y-y')\; \frac  {dx'}{x'}\Bigr]

2371: \cr

2372: {}={}&\begin{cases} 

2373: c \operatorname{sign}(\lambda y')+O( \lambda\abs{y'})^{-1} & \cr

2374: O(1+ \lambda \abs{y'}) & \cr

2375: \end{cases}

2376:  \end{align*}

2377: $c$ is a non--zero constant. 

2378: Both of these estimates are well--known. 

2379: 

2380: Then, we should estimate 

2381:  \begin{equation*}

2382: R(x,y)=\int_{\abs {y-y'}<1/\lambda}   I(x,y,y')\frac  {dy'}{y'} {}+\int_{\abs {y-y'}>1/\lambda}   I(x,y,y')\frac  {dy'}{y'} .

2383:  \end{equation*}

2384: The first term on the right is no more than $O(1)$, and the second term is $\gtrsim\log 1/\lambda$.

2385: \end{proof}  

2386: 

2387: 

2388: This example shows that there are bounded functions $f$ for which 

2389:  \begin{equation*}

2390: \sup_{\abs\alpha,\abs\beta<N}\ABs{ \int\!\!\int f(x-x',y-y') e^{i(\alpha x'+\beta y')} \; \frac  {dx'}{x'}\frac  {dy'}{y'} }\gtrsim\log N. 

2391:  \end{equation*}

2392: It might be of interest to know if this estimate is best possible.

2393: 

2394: 

2395: The integrals  in (\ref{e.recCar})  are  singular integrals in the product setting.  

2396: There is as of yet no positive results relating to Carleson's theorem in a product setting.  

2397: 

2398: \subsubsection{Fourier Series in Two Dimensions, Part III}  \label{s.spherical}

2399: 

2400: The exponential $e^{i\xi\cdot x}$ is an eigenfunction of $-\Delta$, the positive Laplacian, with eigenvalue $\abs{\xi}^2$.  It would 

2401: be appropriate to sum Fourier series according to this quantity.  This concerns the operator of Fourier restriction to the unit 

2402: disc 

2403:  \begin{equation*}

2404: Tf:=\int_{\abs \xi<1}\widehat f (\xi) e^{i\xi \cdot x}\; d\xi 

2405:  \end{equation*}

2406: It is a famous result of C.~Fefferman \cite{MR45:5661} that 

2407: $T$ is  bounded on $L^2(\mathbb R^2)$ iff $p=2$.  The fundamental reason for this is the existence of the Besicovitch set, a set contained in a large ball, that contains a unit line segment in each dir

2408: ection, but has Lebesgue measure one.    The relevance of this set is indicated by the observation that the restriction of $T$ to  very small disc placed on the boundary of the disc is well approximated by 

2409: a projection onto a half space.  Such a projection is a one dimensional Fourier projection performed in the normal direction to the disc.  And the normal directions can point in arbitrary directions. 

2410: An extension of Fefferman's argument shows that the Fourier restriction to any smooth set with a curved boundary can only be a bounded operator on $L^2$.  

2411: 

2412: Nevertheless, the question of summability in the plane remains open.  Namely, 

2413: 

2414: \begin{conjecture} \label{q.spherical}  Is it the case that the maximal operator below maps $L^2(\mathbb R^2)$ into weak $L^2(\mathbb R^2)$? 

2415:  \begin{equation*}

2416: \sup_{r>0} \ABs{ \int_{\abs \xi<r}\widehat f (\xi) e^{i\xi \cdot x}\; d\xi }

2417:  \end{equation*}

2418: \end{conjecture}

2419: 

2420: In the known proofs of Carleson's theorem, the truncations of singular integrals plays a distinguished role.

2421: In the proof we have presented, this is seen in the Tree Lemma, also cf.~\r.tree/.  In view of this, it interesting to suppose that if this

2422: conjecture is true, what could play a role similar to the Tree Lemma.  It appears to be this. 

2423: 

2424: \begin{conjecture}\label{q.sphericallacunary}

2425:    Is it the case that the maximal operator below maps $L^2(\mathbb R^2)$ into weak $L^2(\mathbb R^2)$? 

2426:  \begin{equation*}

2427: \sup_{k\in\mathbb N} \ABs{ \int_{\abs \xi<1+2^{-k}}\widehat f (\xi) e^{i\xi \cdot x}\; d\xi }

2428:  \end{equation*}

2429:  

2430:  \end{conjecture} 

2431: 

2432: It is conceivable that a positive answer here could lead to a proof of spherical convergence of Fourier series. 

2433: A recent relevant paper is \cite{MR2003k:42027} by Carbery, Georges, Marletta and Thiele. 

2434: 

2435: 

2436: 

2437: \subsubsection{Fourier Series in Two Dimensions, Part IV}  

2438: 

2439: In order to bridge the gaps between Parts I and III, the following question comes to mind.  Is there 

2440: a polygon with infinitely many sides which one could sum Fourier series with respect to?  

2441: 

2442: 

2443: G.~Mockenhoupt pointed out to the author that there is a natural first choice for $P$.  It is a polygon $  P_{\text{lac}}$ which in the first quadrant has vertices at the points $e^{\pi i2^{-k}}$ for $k\in\mathbb N$. Call this the \emph{lacunary sided pol

2444: ygon}.

2445: 

2446:  It is a  fact due to Cordoba and R.~Fefferman \cite{MR55:6096} that the lacunary sided polygon is a bounded $L^p$ multiplier, for all $1<p<\infty$. 

2447:  That is the operator below maps $L^p$ into itself for $1<p<\infty$. 

2448:   \begin{equation*}

2449:  \operatorname T_{\text{lac}} f(x)=\int_{P_{\text{\rm lac}}} \widehat f(\xi)e^{i\xi\cdot x}\; d\xi 

2450:   \end{equation*}

2451:   This fact is in turn linked to the boundedness of the maximal function in a lacunary set of directions:

2452: $$

2453: \operatorname M_{\text{lac}}f(x)=\sup_{k\in\mathbb N}\sup_{t>0}

2454: (2t)^{-1}\int_{-t}^t \abs{f(x-u(1,2^{-k}))}\; du

2455: $$

2456: Note that this is a one dimensional maximal function computed in a set of directions in the plane that, in a strong sense, is zero dimensional. 

2457: Let us state as a conjecture.

2458:  

2459:  \begin{conjecture}\label{j.lacsided}  For $2\le{}p<\infty$, the maximal function below  maps $L^p(\mathbb R^2)$ into itself.

2460:  \begin{equation*}

2461: \sup_{t>0} \ABs{ \int_{t P_{\text{\rm lac}}} \widehat f(\xi)e^{i\xi\cdot x}\; d\xi }

2462:   \end{equation*}

2463:  \end{conjecture} 

2464: 

2465: Even a restricted  version of this conjecture remains quite challenging.  In analogy to \q.sphericallacunary/ 

2466: 

2467: 

2468:  \begin{conjecture}\label{j.lacsidedlac}  For $2\le{}p<\infty$, the maximal function below  maps $L^p(\mathbb R^2)$ into itself.

2469:  \begin{equation*}

2470: \sup_{k\in\mathbb N} \ABs{ \int_{(1+2^{-k}) P_{\text{\rm lac}}} \widehat f(\xi)e^{i\xi\cdot x}\; d\xi }

2471:   \end{equation*}

2472:  \end{conjecture} 

2473: 

2474: 

2475: Another question, with a somewhat more quantitative focus,  considers uniform polygons with $N$ sides, but then seek norm bounds on these two maximal operators, on $L^2$ say,    

2476: which grow logarithmically in $N$.  We do not have a good conjecture as to

2477: the correct order of growth of these constants.   If one could prove that the bounds where independent of $N$, then

2478: the spherical summation conjecture would be a consequence.  

2479: 

2480: \subsubsection{Fourier Series in Two Dimensions, Part V}  

2481: 

2482: Again in the plane, consider the Fourier restriction to the semi infinite rectangles 

2483:  \begin{equation*}

2484: \operatorname S _{n} f(x):=\int_{-\infty}^n\int_{-\infty}^{n^2} \widehat f (\xi) e^{i \xi\cdot x }\; d \xi,\qquad n>0.

2485:  \end{equation*}

2486: Thus, we are restricting to a semi infinite rectangle with vertex on a parabola.  If we consider the maximal operator 

2487:  \begin{equation*}

2488: \operatorname S f:=\sup_{n>0} \abs{\operatorname S_n f }.

2489:  \end{equation*}

2490: The question then concerns the $L^p $ boundedness of this operator on $L^p $ spaces.  

2491: 

2492: To this end, we remark that a very nice argument of C.~Fefferman \cite{MR55:8682} shows that the 

2493: 

2494: 

2495: 

2496:  

2497: \subsection{The Bilinear Hilbert Transforms} 

2498: 

2499: The bilinear Hilbert transforms are given by 

2500:  \begin{equation*}

2501: \operatorname H_\alpha (f,g)(x):=\int f(x-\alpha y)g(x-y)\;\frac{dy}y ,\qquad \alpha\in\mathbb R,

2502:  \end{equation*}

2503: with the convention that $\operatorname H_0(f,g)=f\operatorname  Hg$, and $\operatorname H_\infty(f,g)=(\operatorname Hf)g$.  A third degenerate value is $\alpha=1$.  

2504: 

2505: These transforms commute with appropriate joint translations of $f$ and $g$, and dilations of $f$ and $g$.  

2506: They are related to Carleson's theorem through the observation that for $\alpha\not\in\{0,1,\infty\}$, 

2507: $\operatorname H_\alpha$ enjoys an invariance property with respect to modulation.  Namely, 

2508:  \begin{equation*}

2509: \operatorname H_\alpha( \modulate \beta f, \modulate {-\alpha\beta} g)=\modulate {\beta-\alpha\beta} \operatorname H_\alpha(f,g).

2510:  \end{equation*}

2511: That is, the bilinear Hilbert transforms share the essential characteristics of the Carleson operator.  

2512: 

2513: It was the study of these transforms that lead Lacey and Thiele to the proof of Carleson's theorem presented here. 

2514: The bilinear Hilbert transforms are themselves interesting objects, with surprising properties.  Indeed, it is natural 

2515: to ask what $L^p$ mapping properties are enjoyed by these transforms.  Note that in the integral, the term $dy/y$ is dimensionless, 

2516: so that the $L^p$ mapping properties should be those of H\"older's inequality.  Thus, $\operatorname H_\alpha$ should map $L^2\times L^2$  into $L^1$.  

2517: Note that this is false in the degenerate case of $\alpha=1$, as the Hilbert transform does not preserve $L^1$.  

2518: Nevertheless, this   was conjectured by A.~Calder\'on in the non--degenerate cases. 

2519: %"

2520: 

2521: 

2522: 

2523:  See \cites{MR2000d:42003,MR99e:42013,MR99b:42014,MR98e:44001} for a proof of this theorem. 

2524: 

2525:  \begin{theorem}\label{t.bht}  For $1<p,q\le\infty$, if  $0< 1/r=1/p+1/q<3/2$, and $\alpha\not\in\{0,1,\infty\}$, then 

2526:  \begin{equation*}

2527: \norm \operatorname H_\alpha (f,g).r.\lesssim{}\norm f.p.\norm g.q.

2528:  \end{equation*}

2529:  \end{theorem}

2530: 

2531: 

2532: We should mention that in a certain sense the proof of this theorem is  easier than that for Carleson's operator.  The proof outlined in 

2533: \cite{laceyicm} contains the notions of tiles, trees, and size.  But the estimate that corresponds to the tree lemma is a triviality.  

2534: The reason for this gain in simplicity is that there is no need for a mechanism to control a supremum. 

2535: 

2536: 

2537: 

2538: The subject of multilinear operators with modulation invariance has  inspired a large number of results, and is worthy of survey on 

2539: it alone.  We refer the reader to  C.~Thiele's article   \cite{thieleicm} for a survey of recent activity in this area.  

2540: 

2541: 

2542: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% SUBSECTION SUBSECTION SUBSECTION SUBSECTION 

2543: \subsection{The Bilinear Maximal Functions}%\label{ss.}

2544: 

2545: The theory of the one dimensional Hilbert transform and maximal function 

2546: are intimately related, hence it is natural to consider the bilinear 

2547: maximal functions 

2548: \begin{equation*}

2549: \operatorname M _{\alpha }(f,g) := 

2550: \sup _{t>0} (2t) ^{-1}\int _{-t} ^{t} \abs{ f(x-\alpha y)g(x-y)}\; dy\,.

2551: \end{equation*}

2552: For this operator, certain  bounds are immediately availible.  Namely, for 

2553: conjugate indicies $ \tfrac1p_=\tfrac1 {p'}=1$, we have 

2554: \begin{equation*}

2555: \operatorname M _{\alpha } (f,g) \lesssim ( \operatorname M \abs{ f} ^{p}) ^{1/p}

2556: (\operatorname M \abs{ g} ^{p'}) ^{1/p'}\,.

2557: \end{equation*}

2558: Thus, the known $ L^p$ inequalities for the maximal function are availible, showing 

2559: that e.g.~the bilinear maximal function maps $ L^2\times L^2$ into weak $ L^1$. 

2560: 

2561: But, the bilinear Hilbert transform maps into certain spaces $ L^r$ for $ \tfrac23<r\le1$, 

2562: so it is natural to ask if the bilinear maximal function does as well.  Indeed, this is true. 

2563: 

2564: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% THEOREM THEOREM THEOREM

2565: \begin{theorem}\label{t.bmf} 

2566:   For $1<p,q\le2$, if  $1\le 1/r=1/p+1/q<3/2$, and $\alpha\not\in\{0,1,\infty\}$, then 

2567:  \begin{equation*}

2568: \norm \operatorname M_\alpha (f,g).r.\lesssim{}\norm f.p.\norm g.q.

2569:  \end{equation*}

2570: \end{theorem}

2571: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% THEOREM THEOREM THEOREM

2572: 

2573: 

2574: The proof of the author \cite{MR1745019} begins by observing that the maximal function 

2575: can be be bounded by truncations of a singular integral operator, with approriately 

2576: chosen kernel.  Essentially, it is enough to bound the maximal truncations of the 

2577: bilinear Hilbert transform given by 

2578: \begin{equation*}

2579: \sup _{k\in \mathbb Z} \ABs{\int  _{\abs{ y}\le2 ^{k}}f(x-\alpha y)g(x-y)\;\frac{dy}y }

2580: \end{equation*}

2581: These maximal operators obey the same inequalities in Theorem~\ref{t.bht}, and this is 

2582: the main theorem in \cite {MR1745019}.  

2583: 

2584: The central point is to replace the Size Lemma above by a suitable maximal variant.  

2585: This is can be done, but one must appeal to fundamental maximal inequality found by 

2586: Bourgain \cite {MR1019960}.  The reader can also consult the paper of Thiele 

2587: \cite {MR1846092} which presents the entire proof in the Walsh context, where many 

2588: of the technical difficulties are minimized. 

2589: 

2590: Demeter, Tao and Thiele have revisited these issues. Strikingly, they found 

2591: an argument which provides an $ \epsilon $ improvement over the trivial 

2592: $ L^2\times L^2\mapsto \text {weak} L^1$ bound mentioned above.  Moreover, the 

2593: argument uses arithmetic combinatorics.  See \cite{demeter-tao-thiele}.

2594: 

2595: 

2596: 

2597: %%%%%%%%%%%%%%%%%%%%%%%%%%

2598: \subsection{Multilinear Oscillatory Integrals}  \label{s.multi} 

2599: Consider the bilinear oscillatory Integral 

2600:  \begin{equation*}

2601: \operatorname B_2 (f_1,f_2)(x):=\int f_1(x-y)f_2(x+y) \frac{ \operatorname e ^{2i y^2 } }y \; dy .

2602:  \end{equation*}

2603: This is seen to be a disguised form of a bilinear Hilbert transform.  Setting $g_j(x):=\operatorname  e ^{ix^2} f_j(x) $, one 

2604: sees that 

2605:  \begin{equation*}

2606: \operatorname B_2(g_1,g_2)(x):=\operatorname e ^{2i x^2 } \int f_1(x-y)f_2(x+y) \; \frac{ dy }y  . 

2607:  \end{equation*}

2608: (Compare this to Ionescu's example mentioned at the end of \s.stein/.)   As it turns out, for a polynomial of 

2609: any other degree, the integral above is bounded.  The proof demonstrates a multilinear variant of the van der Corput 

2610: type inequality, of which \l.vdc/ is just one example.  

2611: 

2612: More generally,   M.~Christ, Li, Tao and Thiele \cite{cltt} define  multilinear functionals 

2613: \begin{equation} \label{e.mulit-defn}

2614: \Lambda_\lambda (f_1,f_2,\cdots,f_n)

2615: = \int_{\mathbb R^m} e^{i\lambda P(x)} \prod_{j=1}^n f_j(\pi_j(x))\eta(x)\,dx

2616: \end{equation}

2617: where $\lambda\in \mathbb R $ is a parameter, $P:\mathbb R^m\mapsto \mathbb R$ is a  real-valued

2618: polynomial, $m\ge 2$, and $\eta\in C^1_0(\mathbb R^m)$ is compactly supported. 

2619: Each $\pi_j$ denotes the orthogonal projection from $\mathbb R^m$

2620: to a linear subspace $V_j\subset\mathbb R^m$ of any dimension $\kappa\le m-1$,

2621: and $f_j:V_j\to \mathbb C$ is always assumed to be locally integrable

2622: with respect to Lebesgue measure on $V_j$.  

2623: 

2624: Notice that by taking $n=3 $, and taking projections $\pi_j \mid \mathbb R^2\mapsto V_j $  where 

2625:  \begin{equation} \label{e.V-ex}

2626: \begin{split} 

2627: V_1=\{ (x,x)\mid x\in \mathbb R\},\qquad V_2=\{(x,-x)\mid x\in \mathbb R\},

2628: \\ V_3=\{(x,0)\mid x\in \mathbb R\}, 

2629: \end{split}

2630:  \end{equation}

2631: we can recover for instance a bilinear Hilbert transform.  

2632: 

2633: 

2634: 

2635: And they say that a polynomial $P $ has \emph{ a power decay property} if there is a $\delta>0 $, so that 

2636: for all $f_j \in L^ \infty(V_j ) $, we have the estimate 

2637:  \begin{equation*}

2638: \abs{ \Lambda(f_1,\ldots, f_n)} {}\lesssim{} (1+\abs{\lambda}) ^{-\delta }\prod _{j=1}^ n \norm f_j .\infty. 

2639:  \end{equation*}

2640: From this estimate, a range of power decay estimates hold in all relevant products of $L^p $ spaces. 

2641: This should be compared to \l.vdc/ and in particular (\ref{e.vdc})  below. 

2642: 

2643: Clearly, there are obstructions to a power decay property, and this obstruction can be formalized in a definition.  

2644: A polynomial $P$ is said to be\emph{ degenerate (relative to $\{V_j\}$)} 

2645: if there exist polynomials $p_j:V_j\to\mathbb R$

2646: such that $P=\sum_{j=1}^n p_j\circ\pi_j$.

2647: Otherwise $P$ is nondegenerate.

2648: In the case $n=0$, where the collection of subspaces $\{V_j\}$ is empty,

2649: $P$ is considered to be nondegenerate if and only if it is nonconstant.

2650: And in the example (\ref{e.V-ex}) , we see that $P(y)=2x^2+2y^2=(x+y)^2+(x-y)^2 $ is degenerate.  

2651: 

2652: It is natural to conjecture that non degeneracy is  sufficient for  a power decay property.  This is  verified 

2653: in a wide range of special cases in the paper Christ, Li, Tao, and Thiele \cite{cltt}, by a range of interesting 

2654: techniques.  It is of interest to determine if the natural conjecture here is indeed correct. 

2655: 

2656: 

2657: 

2658: 

2659: 

2660: \subsection{ Hilbert Transform on Smooth Families of Lines}

2661: 

2662: This quetion has its beginnings in the Besicovitch  set, which we already mentioned in connection to spherical summation of Fourier series.  

2663: One may construct Besicovitch sets with these properties.  For choices of $0<\epsilon,\alpha<1$, 

2664: there is a Besicovitch set $K$ in the square $[0,4]^2$ say, for which $K$ has measure at most

2665: $\epsilon$, and there is a function $g\mid \mathbb R^2\to \mathbb T$, so that  for a set of $x$'s in $[0,4]^2$ of measure $\gtrsim1$,

2666: $K\cap \{x+tv(x)\mid t\in\mathbb R\}$ contains a line segment of length one, and $v$ is H\"older continuous of order $\alpha$.  

2667: 

2668: One can ask if the H\"older continuity condition is sharp.  A beautiful formulation of a conjecture in this direction is attributed  to A.~Zygmund.

2669: 

2670: \begin{conjecture}  Let $v\mid \mathbb R^2\to\mathbb T$ be H\"older   %"

2671: continuous (of order $1$).  Then for all square integrable functions $f$, 

2672: $$

2673: f(x)=\lim_{t\to0}(2t)^{-1}\int_{-t}^t f(x-uv(x))\; du\qquad \text{a.e}(x)

2674: $$

2675: \end{conjecture}

2676: 

2677: This is a differentiablity question, on a choice of lines specified by $v$.  The only stipulation is that $v$ is H\"older continuous.

2678: This is only known under more stringent conditions on $v$, such as analytic due to E.M.~Stein  \cite{steinICM}, or real

2679:  analytic due to Bourgain \cite{bourgain}.   There is a partial result due to N.~Katz  \cite{MR2004e:42030} (also see \cite{nets1}) 

2680:  that demonstrates 

2681: at worst ``log log''

2682: blowup assuming the H\"older continuity of $v$.  %"

2683: The question is  open, even if one assumes that $v\in C^{1000}$.  

2684: 

2685: The difficulty in this problem arises from those points at which the gradient of $v$ is degenerate; 

2686: assumptions such as analyticity certainly control such degeneracies.  

2687: 

2688: E.M.~Stein \cite{steinICM} posed the Hilbert transform variant, namely defining 

2689: $$

2690: H_v f(x):=\text{p.v.}\int_{-1}^1 f(x-yv(x))\frac{dy}y, 

2691: $$

2692: is it the case that there is a constant $c$ so that if $\norm v.\text{H\"ol}.<c$, then   %"

2693: $H_v$ maps $L^2(\mathbb R^2)$ into itself.   A curious fact about this question is that this inequality,

2694: if known, implies Carleson's theorem for one dimensional Fourier series.  

2695: 

2696: To see this, observe that the symbol for the transform is $\psi(\xi\cdot v(x))$, where $\psi$ is the Fourier 

2697: transform of $y^{-1}\ind {\{\abs y<1\}}  $.   Suppose the vector field is of the form 

2698: $v(x)=(1,\nu(x_1))$ where we need only assume that $\nu$ is Holder continuous of norm $1$ say, and consider

2699: the trace of the symbol on the line $\xi_2=-N$.  Then, the symbol is $\psi((\xi_1,N)\cdot(1,\nu(x_1))=\psi(\xi_1-N\nu(x_1))$.  We conclude that thi

2700: s symbol 

2701: defines a bounded linear operator on $L^2(\mathbb R)$, with bound that is independent of $N$.  That is, for {\it any} 

2702: Lipschitz function $\nu(x_1)$,  and {\it any $N>1$} the symbol $\psi(\xi_1-N\nu(x_1))$ is the symbol of a bounded 

2703: linear operator on $L^2(\mathbb R)$

2704: .  By varying $N$ and $\nu$, we may replace $N\nu(x_1)$ by an arbitrary measurable function. This is the substance of

2705: Carleson's theorem. 

2706: 

2707: But the implication is entirely one way:  A positive answer to the family of lines question seems to require techniques quite

2708: a bit more sophisticated than those that imply Carleson's theorem.   Recently Lacey and Li \cites{laceyli,

2709: math.CA/0310345} have been able to 

2710: obtain a partial answer, 

2711: assuming only that the vector field has $1+\epsilon$ derivatives. 

2712: 

2713:  \begin{theorem}\label{t.laceyli}  Assume that $v\in C^{1+\epsilon}$ for some $\epsilon>0$.  Then the operator $H_v$ is bounded on  $L^2(\mathbb R^2)$.  

2714: The norm of the operator is at most

2715:  \begin{equation*} 

2716: \norm H_v.2.\lesssim{} [1+ {\log_+ \norm v.C^{1+\epsilon}.}]^{2}.

2717:  \end{equation*}

2718:  \end{theorem}

2719: 

2720: \subsection{Schr\"odinger Operators, Scattering Transform}

2721: 

2722: There is a beautiful line of investigation relating Schr\"odinger equations in one dimension to 

2723: aspects of the Fourier transform, and in particular, 

2724: Carleson's theorem. There is a further connection to scattering transforms and 

2725:  nonlinear Fourier analysis.  All in all, these topics are extremely broad, with several different 

2726:  sets of motivations, and a long list of contributors.  

2727:  

2728:  We concentrate on a succinct way to see the connection to Carleson's theorem, an observation made 

2729:  explicitly  by M.~Christ and A.~Kiselev \cites{MR2001k:34099,MR1952927},  also see C.~Remling \cite{rem}.  

2730:  The basic object is a time independent 

2731:  Schr\"odinger operator on the real line,   %"

2732:   \begin{equation*} 

2733:  H=-\frac {d^2}{dx^2}+V

2734:   \end{equation*}

2735:  where $V$ is an appropriate potential on the real line.  The idea is that if $V$ is small, in some 

2736:  specific senses, then the spectrum of $H$ should resemble that of $-\frac {d^2}{dx^2}$.  In particular 

2737:  eigenfunctions should be perturbations of the exponentials. 

2738:  

2739:  Standard examples show that one should seek to show that for almost all $\lambda$, the eigenfunctions of energy $\lambda$,

2740:  that is the solutions to 

2741:   \begin{equation*}

2742:  (H-\lambda^2 I)

2743:   \end{equation*}

2744:  are bounded perturbations of $e^{\pm i\lambda x}$.  

2745:  

2746:  Seeking such an eigenfunction, one can formally write 

2747:   \begin{equation*}

2748:  u(x)=e^{i\lambda x}+\frac 1{i\lambda}\int_x^\infty \sin(\lambda (x-y)) V(y)u(y)\; dy

2749:   \end{equation*}

2750:  Iterating this formula, again formally, one has 

2751:   \begin{gather}

2752:  u(x)={}e^{i\lambda x}  \nonumber\\

2753:  {}+\frac 1{i\lambda}\int_x^\infty \sin(\lambda (x-y)) V(y) e^{i\lambda y} \; dy

2754:  \label{e.single} \\  \label{e.double}

2755: {}+\frac 1{(i\lambda)^2}\int\int_{x\le{}y_1\le{}y_2}\sin (x-y_1)\sin(y_1-y_2)V(y_1)V(y_2) u(y_2)\; dy_1\,dy_2 .

2756:  \end{gather}

2757: 

2758: 

2759: Observe that (\ref{e.single})  no longer contains $u$, and  is a linear combination of 

2760:  \begin{gather}

2761: \label{e.singcar} 

2762: e^{i\lambda x}\int_x^\infty e^{2i\lambda y} V(y)\; dy 

2763: \\ 

2764: \label{e.singl1} 

2765: e^{i\lambda x}\int_x^\infty V(y)\; dy 

2766:  \end{gather}

2767: One seeks estimates of these in the mixed norm space of say, $L^2_\lambda L^\infty_x$.  From such estimates, one 

2768: deduces that for almost all $\lambda$, there is an eigenfunction with is a perturbation of $e^{i\lambda x}$. 

2769: 

2770: Concerning (\ref{e.singcar}) , notice that if $V\in L^2$, we can, by Plancherel, regard $V$ as $\widehat f$, for some 

2771: $f\in L^2$. The desired estimate is then a consequence of Carleson's theorem. This is indicative of the distinguished 

2772: role that $L^2$ plays in this subject.  Also of the intertwining of the roles of frequency and time that occur in the subject. 

2773: 

2774: Concerning (\ref{e.singl1}) , unless $V\in L^1$, there is no reasonable interpretation that can be placed on this term.  In practice, 

2775: a different approach than the one given here  must be adopted.  

2776: 

2777: If one continues the expansion in (\ref{e.double}) , one gets a bilinear operator with features that resemble both the Carleson 

2778: operator, and the bilinear Hilbert transform.  See the papers by C.~Muscalu,  T.~Tao, and C.~Thiele \cites{MR1952931,biest1,biest2,counter}.

2779: 

2780: 

2781: 

2782: We refer the reader to these papers by M.~Christ and A.~Kiselev \cites{MR2001k:34099,MR1952927,MR2002e:34143,MR2001i:47054}.  

2783: For a survey of this subject, see  M.~Christ and A.~Kiselev \cite{survey}.

2784:  The reader should also consult the ongoing investigations of C.~Muscalu, T.~Tao, and C.~Thiele \cite{MR1950785}. 

2785: This  paper begins with an interesting summary of the perspective of the nonlinear Fourier transform.

2786: 

2787: 

2788:  

2789:  

2790:  

2791:  

2792:  

2793:  

2794:  

2795:  

2796:  

2797:  

2798:  

2799:  

2800:  

2801:  

2802:  

2803:  

2804:  

2805:  

2806:  

2807:  

2808:  

2809:  

2810:  

2811:  

2812:  

2813:  

2814:  

2815:  

2816:  

2817:  

2818:  

2819:  

2820:  

2821:  

2822:  

2823:  \section{References}

2824:  

2825: \begin{biblist}

2826: 

2827: 

2828: \bib{MR1934198}{article}{

2829:     author={Auscher, P.},

2830:     author={Hofmann, S.},

2831:     author={Muscalu, C.},

2832:     author={Tao, T.},

2833:     author={Thiele, C.},

2834:      title={Carleson measures, trees, extrapolation, and $T(b)$ theorems},

2835:    journal={Publ. Mat.},

2836:     volume={46},

2837:       date={2002},

2838:     number={2},

2839:      pages={257\ndash 325},

2840:       issn={0214-1493},

2841:     review={MR1934198 (2003f:42019)},

2842: }

2843: 

2844: 

2845: \bib{MR97h:42005}{article}{

2846:     author={Antonov, N. Yu.},

2847:      title={Convergence of Fourier series},

2848:  booktitle={Proceedings of the XX Workshop on Function Theory (Moscow,

2849:             1995)},

2850:    journal={East J. Approx.},

2851:     volume={2},

2852:       date={1996},

2853:     number={2},

2854:      pages={187\ndash 196},

2855:       issn={1310-6236},

2856:     review={MR 97h:42005},

2857: }

2858: 

2859: 

2860: 

2861: \bib{antonov2}{article}{

2862:     author={Antonov, N. Yu.},

2863:      title={On the convergence almost everywhere of multiple                                                                                 

2864: trigonometric Fourier series over cubes (Russian. Russian summary)},

2865: 	journal={Izv. Ross. Akad. Nauk Ser. Mat.},

2866: 	volume={68},

2867: 	year={2004},

2868: 	number={2},

2869: 	pages={3\ndash22},

2870: }

2871: 

2872: 

2873: \bib{MR2057997}{article}{

2874:     author={Antonov, N. Yu.},

2875:      title={On the convergence almost everywhere of multiple trigonometric

2876:             Fourier series over cubes},

2877:   language={Russian, with Russian summary},

2878:    journal={Izv. Ross. Akad. Nauk Ser. Mat.},

2879:     volume={68},

2880:       date={2004},

2881:     number={2},

2882:      pages={3\ndash 22},

2883:       issn={0373-2436},

2884:     review={2 057 997},

2885: }

2886: \bib{MR2066708}{article}{

2887:     author={Antonov, N. Yu.},

2888:      title={Conditions for the finiteness of majorants for sequences of

2889:             operators and convergence of Fourier series},

2890:    journal={Proc. Steklov Inst. Math.},

2891:       date={2001},

2892:     number={Approximation Theory. Asymptotical Expansions, suppl. 1},

2893:      pages={S1\ndash S19},

2894:       issn={0081-5438},

2895:     review={2 066 708},

2896: }

2897: 

2898: 

2899: 

2900: 

2901: 

2902: \bib{MR1906800}{book}{

2903:     author={Arias de Reyna, Juan},

2904:      title={Pointwise convergence of Fourier series},

2905:     series={Lecture Notes in Mathematics},

2906:     volume={1785},

2907:  publisher={Springer-Verlag},

2908:      place={Berlin},

2909:       date={2002},

2910:      pages={xviii+175},

2911:       isbn={3-540-43270-1},

2912:     review={1 906 800},

2913: }

2914: 

2915: 

2916: 

2917: \bib{MR2002k:42009}{article}{

2918:     author={Arias de Reyna, Juan},

2919:      title={Pointwise convergence of Fourier series},

2920:    journal={J. London Math. Soc. (2)},

2921:     volume={65},

2922:       date={2002},

2923:     number={1},

2924:      pages={139\ndash 153},

2925:       issn={0024-6107},

2926:     review={MR 2002k:42009},

2927: }

2928: 

2929: 

2930: 

2931: \bib{MR89a:42010}{article}{

2932:     author={Arkhipov, G. I.},

2933:     author={Oskolkov, K. I.},

2934:      title={A special trigonometric series and its applications},

2935:   language={Russian},

2936:    journal={Mat. Sb. (N.S.)},

2937:     volume={134(176)},

2938:       date={1987},

2939:     number={2},

2940:      pages={147\ndash 157, 287},

2941:       issn={0368-8666},

2942:     review={MR 89a:42010},

2943: }

2944: 

2945: 

2946: 

2947: 

2948: \bib{MR92g:28025}{article}{

2949:     author={Assani, Idris},

2950:     author={Petersen, Karl},

2951:      title={The helical transform as a connection between ergodic theory and

2952:             harmonic analysis},

2953:    journal={Trans. Amer. Math. Soc.},

2954:     volume={331},

2955:       date={1992},

2956:     number={1},

2957:      pages={131\ndash 142},

2958:       issn={0002-9947},

2959:     review={MR 92g:28025},

2960: }

2961: 

2962: 

2963: \bib{MR92m:28021}{article}{

2964:     author={Assani, Idris},

2965:     author={Petersen, Karl},

2966:     author={White, Homer},

2967:      title={Some connections between ergodic theory and harmonic analysis},

2968:  booktitle={Almost everywhere convergence, II (Evanston, IL, 1989)},

2969:      pages={17\ndash 40},

2970:  publisher={Academic Press},

2971:      place={Boston, MA},

2972:       date={1991},

2973:     review={MR 92m:28021},

2974: }

2975: 

2976: 

2977: \bib{MR94b:42007}{article}{

2978:     author={Auscher, P.},

2979:     author={Carro, M. J.},

2980:      title={On relations between operators on ${\bf R}\sp N,\;{\bf T}\sp N$

2981:             and ${\bf Z}\sp N$},

2982:    journal={Studia Math.},

2983:     volume={101},

2984:       date={1992},

2985:     number={2},

2986:      pages={165\ndash 182},

2987:       issn={0039-3223},

2988:     review={MR 94b:42007},

2989: }

2990: 

2991: 

2992: \bib{MR1955263}{article}{

2993:     author={Barrionuevo, Jose},

2994:     author={Lacey, Michael T.},

2995:      title={A weak-type orthogonality principle},

2996:    journal={Proc. Amer. Math. Soc.},

2997:     volume={131},

2998:       date={2003},

2999:     number={6},

3000:      pages={1763\ndash 1769 (electronic)},

3001:       issn={0002-9939},

3002:     review={1 955 263},

3003:     eprint={math.CA/0201061 },

3004: } 

3005: 

3006: \bib{MR36:599}{article}{

3007:     author={Billard, P.},

3008:      title={Sur la convergence presque partout des s\'eries de Fourier-Walsh

3009:             des fonctions de l'espace $L\sp{2}\,(0,\,1)$},

3010:    journal={Studia Math.},

3011:     volume={28},

3012:       date={1966/1967},

3013:      pages={363\ndash 388},

3014:     review={MR 36 \#599},

3015: } 

3016: 

3017: 

3018: \bib{MR2053971}{article}{

3019:     author={Blasco, Oscar},

3020:     author={Villarroya, Paco},

3021:      title={Commutators of linear and bilinear Hilbert transforms},

3022:    journal={Proc. Amer. Math. Soc.},

3023:     volume={132},

3024:       date={2004},

3025:     number={7},

3026:      pages={1997\ndash 2004 (electronic)},

3027:       issn={0002-9939},

3028:     review={2 053 971},

3029: }

3030: 

3031: \bib{MR2037006}{article}{

3032:     author={Blasco, Oscar},

3033:     author={Villarroya, Francisco},

3034:      title={Transference of bilinear multiplier operators on Lorentz spaces},

3035:    journal={Illinois J. Math.},

3036:     volume={47},

3037:       date={2003},

3038:     number={4},

3039:      pages={1327\ndash 1343},

3040:       issn={0019-2082},

3041:     review={2 037 006},

3042: }

3043: 

3044: 

3045: 

3046: 

3047: \bib{MR1993585}{article}{

3048:     author={Bochkarev, S. V.},

3049:      title={Everywhere divergent Fourier-Walsh series},

3050:   language={Russian},

3051:    journal={Dokl. Akad. Nauk},

3052:     volume={390},

3053:       date={2003},

3054:     number={1},

3055:      pages={11\ndash 14},

3056:       issn={0869-5652},

3057:     review={1 993 585},

3058: }

3059: 

3060: 

3061: \bib{MR2000c:47046}{article}{

3062:     author={Bonami, Aline},

3063:     author={Bruna, Joaquim},

3064:      title={On truncations of Hankel and Toeplitz operators},

3065:    journal={Publ. Mat.},

3066:     volume={43},

3067:       date={1999},

3068:     number={1},

3069:      pages={235\ndash 250},

3070:       issn={0214-1493},

3071:     review={MR 2000c:47046},

3072: }

3073: 

3074: 

3075: 

3076: \bib{MR1019960}{article}{

3077:     author={Bourgain, Jean},

3078:      title={Pointwise ergodic theorems for arithmetic sets},

3079:    journal={Inst. Hautes \'Etudes Sci. Publ. Math.},

3080:     number={69},

3081:       date={1989},

3082:      pages={5\ndash 45},

3083:       issn={0073-8301},

3084:     review={MR1019960 (90k:28030)},

3085: }

3086: 

3087: 

3088: \bib{bourgain}{article}{

3089:     author={Bourgain, J.},

3090:      title={A remark on the maximal function associated to an analytic

3091:             vector field},

3092:  booktitle={Analysis at Urbana, Vol.\ I (Urbana, IL, 1986--1987)},

3093:     series={London Math. Soc. Lecture Note Ser.},

3094:     volume={137},

3095:      pages={111\ndash 132},

3096:  publisher={Cambridge Univ. Press},

3097:      place={Cambridge},

3098:       date={1989},

3099:     review={MR 90h:42028},

3100: }

3101: 

3102:  

3103: 

3104: \bib{MR37:2939}{article}{

3105:     author={Calder{\'o}n, A.-P.},

3106:      title={Ergodic theory and translation-invariant operators},

3107:    journal={Proc. Nat. Acad. Sci. U.S.A.},

3108:     volume={59},

3109:       date={1968},

3110:      pages={349\ndash 353},

3111:     review={MR 37 \#2939},

3112: }

3113: 

3114: 

3115: 

3116: \bib{MR89i:28008}{article}{

3117:     author={Campbell, James},

3118:     author={Petersen, Karl},

3119:      title={The spectral measure and Hilbert transform of a

3120:             measure-preserving transformation},

3121:    journal={Trans. Amer. Math. Soc.},

3122:     volume={313},

3123:       date={1989},

3124:     number={1},

3125:      pages={121\ndash 129},

3126:       issn={0002-9947},

3127:     review={MR 89i:28008},

3128: }

3129: 

3130: \bib{MR2003k:42027}{article}{

3131:     author={Carbery, Anthony},

3132:     author={Gorges, Dirk},

3133:     author={Marletta, Gianfranco},

3134:     author={Thiele, Christoph},

3135:      title={Convergence almost everywhere of certain partial sums of Fourier

3136:             integrals},

3137:    journal={Bull. London Math. Soc.},

3138:     volume={35},

3139:       date={2003},

3140:     number={2},

3141:      pages={225\ndash 228},

3142:       issn={0024-6093},

3143:     review={MR 2003k:42027},

3144: }

3145: 

3146: 

3147: \bib{MR2001g:42026}{article}{

3148:     author={Carbery, Anthony},

3149:     author={Seeger, Andreas},

3150:     author={Wainger, Stephen},

3151:     author={Wright, James},

3152:      title={Classes of singular integral operators along variable lines},

3153:    journal={J. Geom. Anal.},

3154:     volume={9},

3155:       date={1999},

3156:     number={4},

3157:      pages={583\ndash 605},

3158:       issn={1050-6926},

3159:     review={MR 2001g:42026},

3160: }

3161: 

3162: 

3163: 

3164: 

3165: \bib{carleson}{article}{

3166:     author={Carleson, Lennart},

3167:      title={On convergence and growth of partial sumas of {F}ourier

3168:               series},

3169:    journal={Acta Math.},

3170:     volume={116},

3171:       year={1966},

3172:      pages={135--157},

3173:   review={33 \#7774},

3174: }

3175: 

3176: 

3177:  

3178: \bib{MR2001k:34099}{article}{

3179:     author={Christ, Michael},

3180:     author={Kiselev, Alexander},

3181:      title={WKB asymptotic behavior of almost all generalized eigenfunctions

3182:             for one-dimensional Schr\"odinger operators with slowly decaying

3183:             potentials},

3184:    journal={J. Funct. Anal.},

3185:     volume={179},

3186:       date={2001},

3187:     number={2},

3188:      pages={426\ndash 447},

3189:       issn={0022-1236},

3190:     review={MR 2001k:34099},

3191: }

3192: 

3193: \bib{MR1952927}{article}{

3194:     author={Christ, Michael},

3195:     author={Kiselev, Alexander},

3196:      title={Scattering and wave operators for one-dimensional Schr\"odinger

3197:             operators with slowly decaying nonsmooth potentials},

3198:    journal={Geom. Funct. Anal.},

3199:     volume={12},

3200:       date={2002},

3201:     number={6},

3202:      pages={1174\ndash 1234},

3203:       issn={1016-443X},

3204:     review={1 952 927},

3205:     eprint={math.SP/0110140},

3206: }

3207: 

3208: 

3209: \bib{MR2002e:34143}{article}{

3210:     author={Christ, Michael},

3211:     author={Kiselev, Alexander},

3212:      title={WKB and spectral analysis of one-dimensional Schr\"odinger

3213:             operators with slowly varying potentials},

3214:    journal={Comm. Math. Phys.},

3215:     volume={218},

3216:       date={2001},

3217:     number={2},

3218:      pages={245\ndash 262},

3219:       issn={0010-3616},

3220:     review={MR 2002e:34143},

3221: }

3222: 

3223: 

3224: \bib{MR2001i:47054}{article}{

3225:     author={Christ, Michael},

3226:     author={Kiselev, Alexander},

3227:      title={Maximal functions associated to filtrations},

3228:    journal={J. Funct. Anal.},

3229:     volume={179},

3230:       date={2001},

3231:     number={2},

3232:      pages={409\ndash 425},

3233:       issn={0022-1236},

3234:     review={MR 2001i:47054},

3235: }

3236: 

3237: 

3238: \bib{survey}{article}{

3239:     author={Christ, Michael},

3240:     author={Kiselev, Alexander},

3241:      title={One-dimensional Schrodinger operators with slowly decaying potentials: spectra and asymptotics 

3242: (or: Baby Fourier analysis meets toy quantum mechanics)},

3243:     journal={Lecture Notes, University of Arkansas Spring Lecture Series, 2002},

3244:     eprint={http://math.berkeley.edu/~mchrist/preprints.html},

3245: }

3246: 

3247: 

3248: \bib{cltt}{article}{

3249: 	author={Christ, Michael},

3250: 	author={Li, Xiaochun},

3251: 	author={Tao, Terrance},

3252: 	author={Thiele, Christoph},

3253: 	title={On multilinear oscillatory integrals, nonsingular and singular},

3254: 	journal={Arxiv, math.CA/0311039},

3255: 	date={2003},

3256: }

3257: 

3258: 

3259: 

3260: \bib{MR2036987}{article}{

3261:     author={Cohen, Guy},

3262:     author={Lin, Michael},

3263:      title={Laws of large numbers with rates and the one-sided ergodic

3264:             Hilbert transform},

3265:    journal={Illinois J. Math.},

3266:     volume={47},

3267:       date={2003},

3268:     number={4},

3269:      pages={997\ndash 1031},

3270:       issn={0019-2082},

3271:     review={2 036 987},

3272: }

3273: 

3274: 

3275: \bib{MR37:6687}{article}{

3276:     author={Coifman, R. R.},

3277:      title={Remarks on weak type inequalities for operators commuting with

3278:             translations},

3279:    journal={Bull. Amer. Math. Soc.},

3280:     volume={74},

3281:       date={1968},

3282:      pages={710\ndash 714},

3283:     review={MR 37 \#6687},

3284: } 

3285: 

3286: 

3287: \bib{MR55:6096}{article}{

3288:     author={Cordoba, A.},

3289:     author={Fefferman, R.},

3290:      title={On the equivalence between the boundedness of certain classes of

3291:             maximal and multiplier operators in Fourier analysis},

3292:    journal={Proc. Nat. Acad. Sci. U.S.A.},

3293:     volume={74},

3294:       date={1977},

3295:     number={2},

3296:      pages={423\ndash 425},

3297:     review={MR 55 \#6096},

3298: }

3299:  

3300: 

3301: \bib{MR82f:60083}{article}{

3302:     author={Cuzick, Jack},

3303:     author={Lai, Tze Leung},

3304:      title={On random Fourier series},

3305:    journal={Trans. Amer. Math. Soc.},

3306:     volume={261},

3307:       date={1980},

3308:     number={1},

3309:      pages={53\ndash 80},

3310:       issn={0002-9947},

3311:     review={MR 82f:60083},

3312: }

3313: 

3314: 

3315: 

3316: 

3317: \bib{MR93e:42045}{book}{

3318:     author={Daubechies, Ingrid},

3319:      title={Ten lectures on wavelets},

3320:     series={CBMS-NSF Regional Conference Series in Applied Mathematics},

3321:     volume={61},

3322:  publisher={Society for Industrial and Applied Mathematics (SIAM)},

3323:      place={Philadelphia, PA},

3324:       date={1992},

3325:      pages={xx+357},

3326:       isbn={0-89871-274-2},

3327:     review={MR 93e:42045},

3328: } 

3329: 

3330: 

3331: \bib{demeter-tao-thiele}{article}{

3332:     title={A Trilinear Maximal Function Estimate via Arithmetic

3333: Combinatorics},

3334:     author={Demeter, Ciprian},

3335:     author={Tao, Terence},

3336:     author={Thiele, Christoph},

3337:     eprint={http://www.math.ucla.edu/~tao/preprints/Expository/maximal.dvi},

3338: }

3339: 

3340: 

3341: 

3342: 

3343: \bib{MR1808390}{article}{

3344:     author={Fan, Dashan},

3345:     author={Sato, Shuichi},

3346:      title={Transference on certain multilinear multiplier operators},

3347:    journal={J. Aust. Math. Soc.},

3348:     volume={70},

3349:       date={2001},

3350:     number={1},

3351:      pages={37\ndash 55},

3352:       issn={1446-7887},

3353:     review={MR1808390 (2002c:42013)},

3354: }

3355: 

3356: 

3357: 

3358: \bib{fefferman}{article}{

3359:     author={Fefferman, Charles},

3360:      title={Pointwise convergence of Fourier series},

3361:    journal={Ann. of Math. (2)},

3362:     volume={98},

3363:       date={1973},

3364:      pages={551\ndash 571},

3365:     review={MR 49 \#5676},

3366: }

3367: 

3368: 

3369: \bib{MR43:5251}{article}{

3370:     author={Fefferman, Charles},

3371:      title={On the divergence of multiple Fourier series},

3372:    journal={Bull. Amer. Math. Soc.},

3373:     volume={77},

3374:       date={1971},

3375:      pages={191\ndash 195},

3376:     review={MR 43 \#5251},

3377: }

3378: 

3379: \bib{MR55:8682}{article}{

3380:     author={Fefferman, Charles},

3381:      title={On the convergence of multiple Fourier series},

3382:    journal={Bull. Amer. Math. Soc.},

3383:     volume={77},

3384:       date={1971},

3385:      pages={744\ndash 745},

3386:     review={MR 55 \#8682},

3387: }

3388: 

3389: \bib{MR45:5661}{article}{

3390:     author={Fefferman, Charles},

3391:      title={The multiplier problem for the ball},

3392:    journal={Ann. of Math. (2)},

3393:     volume={94},

3394:       date={1971},

3395:      pages={330\ndash 336},

3396:     review={MR 45 \#5661},

3397: }

3398: 

3399: 

3400: 

3401: \bib{MR2031458}{article}{

3402:     author={Grafakos, Loukas},

3403:     author={Tao, Terence},

3404:     author={Terwilleger, Erin},

3405:      title={$L\sp p$ bounds for a maximal dyadic sum operator},

3406:    journal={Math. Z.},

3407:     volume={246},

3408:       date={2004},

3409:     number={1-2},

3410:      pages={321\ndash 337},

3411:       issn={0025-5874},

3412:     review={2 031 458},

3413: }

3414: 

3415: 

3416: 

3417:  \bib{hardy}{article}{

3418:     author={Hardy, G.H.},

3419:      title={On the summability of  Fourier's series},

3420:   journal={J. London Math. Soc.},

3421:     volume={12},

3422:       date={1913},

3423:      pages={365\ndash 372},

3424: }

3425: 

3426: 

3427: \bib{MR38:6296}{article}{

3428:     author={Hunt, Richard A.},

3429:      title={On the convergence of Fourier series},

3430:  booktitle={Orthogonal Expansions and their Continuous Analogues (Proc.

3431:             Conf., Edwardsville, Ill., 1967)},

3432:      pages={235\ndash 255},

3433:  publisher={Southern Illinois Univ. Press},

3434:      place={Carbondale, Ill.},

3435:       date={1968},

3436:     review={MR 38 \#6296},

3437: }

3438: 

3439: \bib{MR49:3419}{article}{

3440:     author={Hunt, Richard A.},

3441:     author={Young, Wo Sang},

3442:      title={A weighted norm inequality for Fourier series},

3443:    journal={Bull. Amer. Math. Soc.},

3444:     volume={80},

3445:       date={1974},

3446:      pages={274\ndash 277},

3447:     review={MR 49 \#3419},

3448: }

3449: 

3450: 

3451: 

3452: 

3453: \bib{nets1}{article}{

3454:     author={Katz, Nets Hawk},

3455:      title={Maximal operators over arbitrary sets of directions},

3456:    journal={Duke Math. J.},

3457:     volume={97},

3458:       date={1999},

3459:     number={1},

3460:      pages={67\ndash 79},

3461:       issn={0012-7094},

3462:     review={MR 2000a:42036},

3463: }

3464: 

3465: 

3466: \bib{MR2004e:42030}{article}{

3467:     author={Katz, Nets Hawk},

3468:      title={A partial result on Lipschitz differentiation},

3469:  booktitle={Harmonic analysis at Mount Holyoke (South Hadley, MA, 2001)},

3470:     series={Contemp. Math.},

3471:     volume={320},

3472:      pages={217\ndash 224},

3473:  publisher={Amer. Math. Soc.},

3474:      place={Providence, RI},

3475:       date={2003},

3476:     review={MR 2004e:42030},

3477: }

3478: 

3479: 

3480: \bib{kolo1}{article} {

3481:  	author={Kolmogoroff [Kolmogorov], A. N.},

3482: 	title={Une s\'erie de Fourier-Lebesque divergente presque partout},

3483: 	journal={Fund. Math.},

3484: 	volume={4},

3485: 	date={1923},

3486: 	pages={324\ndash 328},

3487: } 

3488: 

3489: \bib{kolo2}{article} {

3490:  	author={Kolmogoroff [Kolmogorov], A. N.},

3491: 	title={Une s\'erie de Fourier-Lebesque divergente presque partout},

3492: 	journal={C. R. Acad. Sci. Paris},

3493: 	volume={183},

3494: 	date={1926},

3495: 	pages={1327\ndash 1329},

3496: }

3497: 

3498: 

3499: \bib{konyagin}{article} {

3500:     author = {Konyagin, S. V.},

3501:      title = {On the divergence everywhere of trigonometric {F}ourier

3502:               series},

3503:    journal = {Mat. Sb.},

3504:     volume = {191},

3505:       year = {2000},

3506:     number = {1},

3507:      pages = {103--126},

3508:       issn = {0368-8666},

3509:   review = {2001e:42007},

3510: }

3511:  

3512:  \bib{MR2000h:42002}{article}{

3513:     author={Konyagin, S. V.},

3514:      title={On divergence of trigonometric Fourier series everywhere},

3515:   language={English, with English and French summaries},

3516:    journal={C. R. Acad. Sci. Paris S\'er. I Math.},

3517:     volume={329},

3518:       date={1999},

3519:     number={8},

3520:      pages={693\ndash 697},

3521:       issn={0764-4442},

3522:     review={MR 2000h:42002},

3523: } 

3524: 

3525: \bib{MR83h:42010}{article}{

3526:     author={K{\"o}rner, T. W.},

3527:      title={Everywhere divergent Fourier series},

3528:    journal={Colloq. Math.},

3529:     volume={45},

3530:       date={1981},

3531:     number={1},

3532:      pages={103\ndash 118 (1982)},

3533:       issn={0010-1354},

3534:     review={MR 83h:42010},

3535: }

3536: 

3537: 

3538: 

3539: \bib{MR1745019}{article}{

3540:     author={Lacey, Michael T.},

3541:      title={The bilinear maximal functions map into $L\sp p$ for

3542:             $2/3<p\leq1$},

3543:    journal={Ann. of Math. (2)},

3544:     volume={151},

3545:       date={2000},

3546:     number={1},

3547:      pages={35\ndash 57},

3548:       issn={0003-486X},

3549:     review={MR1745019 (2001b:42015)},

3550: }

3551: 

3552: \bib{MR2091007}{article}{

3553:     author={Lacey, Michael T.},

3554:      title={Carleson's theorem: proof, complements, variations},

3555:    journal={Publ. Mat.},

3556:     volume={48},

3557:       date={2004},

3558:     number={2},

3559:      pages={251\ndash 307},

3560:       issn={0214-1493},

3561:     review={MR2091007 (2005e:42020)},

3562: }

3563: 

3564: 

3565: \bib{MR96k:42012}{article}{

3566:     author={Lacey, Michael T.},

3567:      title={Transferring the Carleson-Hunt theorem in the setting of Orlicz

3568:             spaces},

3569:  booktitle={Interaction between functional analysis, harmonic analysis, and

3570:             probability (Columbia, MO, 1994)},

3571:     series={Lecture Notes in Pure and Appl. Math.},

3572:     volume={175},

3573:      pages={307\ndash 314},

3574:  publisher={Dekker},

3575:      place={New York},

3576:       date={1996},

3577:     review={MR 96k:42012},

3578: }

3579: 

3580: \bib{laceyicm}{article}{

3581:     author={Lacey, Michael T.},

3582:      title={On the bilinear Hilbert transform},

3583:  booktitle={Proceedings of the International Congress of Mathematicians,

3584:             Vol. II (Berlin, 1998)},

3585:    journal={Doc. Math.},

3586:       date={1998},

3587:     number={Extra Vol. II},

3588:      pages={647\ndash 656 (electronic)},

3589:       issn={1431-0643},

3590:     review={MR 99h:42015},

3591: }

3592: 

3593:  

3594:  

3595: \bib{MR1949031}{article}{

3596:     author={Lacey, Michael T.},

3597:      title={Carleson's theorem with quadratic phase functions},

3598:    journal={Studia Math.},

3599:     volume={153},

3600:       date={2002},

3601:     number={3},

3602:      pages={249\ndash 267},

3603:       issn={0039-3223},

3604:     review={1 949 031},

3605:     eprint={math.CA/0105159},

3606: } 

3607: 

3608: 

3609: 

3610: 

3611: \bib{laceyrubio}{article}{

3612:     author={Lacey, Michael T.},

3613:      title={Issues related to Rubio de Francia's 

3614: Littlewood--Paley Inequailty: A Survey},

3615:      date={2003},

3616:      journal={NY J Math, to appear},

3617:      eprint={math.CA/0306417},

3618: }

3619: 

3620: 

3621: \bib{laceyli}{article}{

3622: 	author={Lacey, Michael T.},

3623: 	author={Li, Xiaochun},

3624: 	title={Maximal Theorems for Directional Hilbert Transform on the Plane},

3625: 	journal={To appear in TAMS},

3626: }

3627:  

3628: 

3629: \bib{math.CA/0310345}{article}{

3630:     title={On the Hilbert Transform and $C^{1+\epsilon }$ Families of Lines},

3631:     author={Lacey, Michael T},

3632:     author={Li, Xiaochun},

3633:     eprint={arXiv:math.CA/0310345},

3634: }

3635:  

3636:   

3637: 

3638: \bib{MR98e:44001}{article}{

3639:     author={Lacey, Michael T.},

3640:     author={Thiele, Christoph M.},

3641:      title={$L\sp p$ estimates for the bilinear Hilbert transform},

3642:    journal={Proc. Nat. Acad. Sci. U.S.A.},

3643:     volume={94},

3644:       date={1997},

3645:     number={1},

3646:      pages={33\ndash 35},

3647:       issn={0027-8424},

3648:     review={MR 98e:44001},

3649: }

3650: 

3651: \bib{MR99b:42014}{article}{

3652:     author={Lacey, Michael T.},

3653:     author={Thiele, Christoph M.},

3654:      title={$L\sp p$ estimates on the bilinear Hilbert transform for

3655:             $2<p<\infty$},

3656:    journal={Ann. of Math. (2)},

3657:     volume={146},

3658:       date={1997},

3659:     number={3},

3660:      pages={693\ndash 724},

3661:       issn={0003-486X},

3662:     review={MR 99b:42014},

3663: }

3664: 

3665: \bib{MR99e:42013}{article}{

3666:     author={Lacey, Michael T.},

3667:     author={Thiele, Christoph M.},

3668:      title={On Calder\'on's conjecture for the bilinear Hilbert transform},

3669:    journal={Proc. Natl. Acad. Sci. USA},

3670:     volume={95},

3671:       date={1998},

3672:     number={9},

3673:      pages={4828\ndash 4830 (electronic)},

3674:       issn={1091-6490},

3675:     review={MR 99e:42013},

3676: }

3677: 

3678: 

3679:  

3680: \bib{MR2000d:42003}{article}{

3681:     author={Lacey, Michael T.},

3682:     author={Thiele, Christoph M.},

3683:      title={On Calder\'on's conjecture},

3684:    journal={Ann. of Math. (2)},

3685:     volume={149},

3686:       date={1999},

3687:     number={2},

3688:      pages={475\ndash 496},

3689:       issn={0003-486X},

3690:     review={MR 2000d:42003},

3691:     eprint={math.CA/9903203},

3692: }

3693: 

3694: 

3695: 

3696: 

3697: 

3698: 

3699: 

3700: \bib{laceythielecarleson}{article}{

3701:     author={Lacey, Michael T.},

3702:     author={Thiele, Christoph M.},

3703:      title={A proof of boundedness of the Carleson operator},

3704:    journal={Math. Res. Lett.},

3705:     volume={7},

3706:       date={2000},

3707:     number={4},

3708:      pages={361\ndash 370},

3709:       issn={1073-2780},

3710:     review={MR 2001m:42009},

3711: }

3712: 

3713: 

3714: 

3715: \bib{MR95e:28012}{article}{

3716:     author={Lesigne, E.},

3717:      title={Spectre quasi-discret et th\'eor\`eme ergodique de

3718:             Wiener-Wintner pour les polyn\^omes},

3719:   language={French},

3720:    journal={Ergodic Theory Dynam. Systems},

3721:     volume={13},

3722:       date={1993},

3723:     number={4},

3724:      pages={767\ndash 784},

3725:       issn={0143-3857},

3726:     review={MR 95e:28012},

3727: }

3728: 

3729: 

3730: 

3731: \bib{MR91h:28016}{article}{

3732:     author={Lesigne, E.},

3733:      title={Un th\'eor\`eme de disjonction de syst\`emes dynamiques et une

3734:             g\'en\'eralisation du th\'eor\`eme ergodique de Wiener-Wintner},

3735:   language={French, with English summary},

3736:    journal={Ergodic Theory Dynam. Systems},

3737:     volume={10},

3738:       date={1990},

3739:     number={3},

3740:      pages={513\ndash 521},

3741:       issn={0143-3857},

3742:     review={MR 91h:28016},

3743: }

3744: 

3745: \bib{mz}{article}{

3746:  author={Marcinkiewicz, J.},

3747:  author={Zygmund, A.},

3748:  title={Sur les fonctions ind\'ependentes}, 

3749: journal={Fund. Math.},

3750: volume={29},

3751: date={1937}, 

3752: pages={60\ndash 90},

3753: }

3754: 

3755: 

3756: \bib{MR86b:60069}{article}{

3757:     author={Marcus, M. B.},

3758:     author={Pisier, G.},

3759:      title={Characterizations of almost surely continuous $p$-stable random

3760:             Fourier series and strongly stationary processes},

3761:    journal={Acta Math.},

3762:     volume={152},

3763:       date={1984},

3764:     number={3-4},

3765:      pages={245\ndash 301},

3766:       issn={0001-5962},

3767:     review={MR 86b:60069},

3768: }

3769: 

3770: 

3771: \bib{MR39:701}{article}{

3772:     author={M{\'a}t{\'e}, Attila},

3773:      title={Convergence of Fourier series of square integrable functions},

3774:   language={Hungarian, with English summary},

3775:    journal={Mat. Lapok},

3776:     volume={18},

3777:       date={1967},

3778:      pages={195\ndash 242},

3779:     review={MR 39 \#701},

3780: } 

3781: 

3782: \bib{MR94m:42030}{article}{

3783:     author={Meaney, C.},

3784:     author={Prestini, E.},

3785:      title={On almost everywhere convergence},

3786:    journal={Monatsh. Math.},

3787:     volume={116},

3788:       date={1993},

3789:     number={2},

3790:      pages={143\ndash 146},

3791:       issn={0026-9255},

3792:     review={MR 94m:42030},

3793: }

3794: 

3795: 

3796: \bib{MR1979774}{article}{

3797:     author={Muscalu, Camil},

3798:     author={Tao, Terence},

3799:     author={Thiele, Christoph},

3800:      title={Uniform estimates on multi-linear operators with modulation

3801:             symmetry},

3802:    journal={J. Anal. Math.},

3803:     volume={88},

3804:       date={2002},

3805:      pages={255\ndash 309},

3806:       issn={0021-7670},

3807:     review={MR1979774 (2004d:42032)},

3808: }

3809: 

3810: \bib{MR1981900}{article}{

3811:     author={Muscalu, Camil},

3812:     author={Tao, Terence},

3813:     author={Thiele, Christoph},

3814:      title={A counterexample to a multilinear endpoint question of Christ

3815:             and Kiselev},

3816:    journal={Math. Res. Lett.},

3817:     volume={10},

3818:       date={2003},

3819:     number={2-3},

3820:      pages={237\ndash 246},

3821:       issn={1073-2780},

3822:     review={MR1981900 (2004g:34144)},

3823: }

3824: 

3825: \bib{biest1}{article}{

3826:     author={Muscalu, Camil},

3827:     author={Tao, Terence},

3828:     author={Thiele, Christoph},

3829:      title={$L\sp p$ estimates for the biest. I. The Walsh case},

3830:    journal={Math. Ann.},

3831:     volume={329},

3832:       date={2004},

3833:     number={3},

3834:      pages={401\ndash 426},

3835:       issn={0025-5831},

3836:     review={MR2127984},

3837: }

3838: 

3839: \bib{biest2}{article}{

3840:     author={Muscalu, Camil},

3841:     author={Tao, Terence},

3842:     author={Thiele, Christoph},

3843:      title={$L\sp p$ estimates for the biest. II. The Fourier case},

3844:    journal={Math. Ann.},

3845:     volume={329},

3846:       date={2004},

3847:     number={3},

3848:      pages={427\ndash 461},

3849:       issn={0025-5831},

3850:     review={MR2127985},

3851: }

3852: 

3853: 

3854: 

3855: \bib{MR2004b:42043}{article}{

3856:     author={Muscalu, C.},

3857:     author={Tao, T.},

3858:     author={Thiele, C.},

3859:      title={A discrete model for the bi-Carleson operator},

3860:    journal={Geom. Funct. Anal.},

3861:     volume={12},

3862:       date={2002},

3863:     number={6},

3864:      pages={1324\ndash 1364},

3865:       issn={1016-443X},

3866:     review={MR 2004b:42043},

3867: }

3868: 

3869: \bib{bicarleson}{article}{

3870:     author={Muscalu, C.},

3871:     author={Tao, T.},

3872:     author={Thiele, C.},

3873:      title={The Bi-Carleson operator},

3874:    journal={math.CA/0409406},

3875: }

3876: 

3877: 

3878: \bib{MR2003b:42017}{article}{

3879:     author={Muscalu, Camil},

3880:     author={Tao, Terence},

3881:     author={Thiele, Christoph},

3882:      title={Multi-linear operators given by singular multipliers},

3883:    journal={J. Amer. Math. Soc.},

3884:     volume={15},

3885:       date={2002},

3886:     number={2},

3887:      pages={469\ndash 496 (electronic)},

3888:       issn={0894-0347},

3889:     review={MR 2003b:42017},

3890:     eprint={math.CA/9910039},

3891: }

3892: 

3893: 

3894: \bib{MR1952931}{article}{

3895:     author={Muscalu, Camil},

3896:     author={Tao, Terence},

3897:     author={Thiele, Christoph},

3898:      title={A discrete model for the bi-Carleson operator},

3899:    journal={Geom. Funct. Anal.},

3900:     volume={12},

3901:       date={2002},

3902:     number={6},

3903:      pages={1324\ndash 1364},

3904:       issn={1016-443X},

3905:     review={1 952 931},

3906: } 

3907: 

3908: 

3909: \bib{MR1950785}{article}{

3910:     author={Muscalu, Camil},

3911:     author={Tao, Terence},

3912:     author={Thiele, Christoph},

3913:      title={A Carleson theorem for a Cantor group model of the scattering

3914:             transform},

3915:    journal={Nonlinearity},

3916:     volume={16},

3917:       date={2003},

3918:     number={1},

3919:      pages={219\ndash 246},

3920:       issn={0951-7715},

3921:     review={1 950 785},

3922:     eprint={math.CA/0205139},

3923: } 

3924: 

3925: 

3926: 

3927: 

3928: 

3929: 

3930: 

3931: \bib{counter}{article}{

3932:     author={Muscalu, Camil},

3933:     author={Tao, Terence},

3934:     author={Thiele, Christoph},

3935:      title={A counterexample to a multilinear endpoint question of Christ

3936:             and Kiselev},

3937:    journal={Math. Res. Lett.},

3938:     volume={10},

3939:       date={2003},

3940:     number={2-3},

3941:      pages={237\ndash 246},

3942:       issn={1073-2780},

3943:     review={MR 2004g:34144},

3944: }

3945: 

3946: 

3947:      

3948: 

3949: 

3950: \bib{MR99j:42004}{article}{

3951:     author={Oskolkov, K.},

3952:      title={Schr\"odinger equation and oscillatory Hilbert transforms of

3953:             second degree},

3954:    journal={J. Fourier Anal. Appl.},

3955:     volume={4},

3956:       date={1998},

3957:     number={3},

3958:      pages={341\ndash 356},

3959:       issn={1069-5869},

3960:     review={MR 99j:42004},

3961: }

3962: 

3963: 

3964: \bib{MR94m:42016}{article}{

3965:     author={Oskolkov, K. I.},

3966:      title={A class of I. M. Vinogradov's series and its applications in

3967:             harmonic analysis},

3968:  booktitle={Progress in approximation theory (Tampa, FL, 1990)},

3969:     series={Springer Ser. Comput. Math.},

3970:     volume={19},

3971:      pages={353\ndash 402},

3972:  publisher={Springer},

3973:      place={New York},

3974:       date={1992},

3975:     review={MR 94m:42016},

3976: }

3977: 

3978: \bib{MR87k:42014}{article}{

3979:     author={Prestini, Elena},

3980:      title={Uniform estimates for families of singular integrals and double

3981:             Fourier series},

3982:    journal={J. Austral. Math. Soc. Ser. A},

3983:     volume={41},

3984:       date={1986},

3985:     number={1},

3986:      pages={1\ndash 12},

3987:       issn={0263-6115},

3988:     review={MR 87k:42014},

3989: }

3990: 

3991: 

3992: 

3993: 

3994: \bib{MR2001m:42017}{article}{

3995:     author={Prestini, Elena},

3996:     author={Sj{\"o}lin, Per},

3997:      title={A Littlewood-Paley inequality for the Carleson operator},

3998:    journal={J. Fourier Anal. Appl.},

3999:     volume={6},

4000:       date={2000},

4001:     number={5},

4002:      pages={457\ndash 466},

4003:       issn={1069-5869},

4004:     review={MR 2001m:42017},

4005: }

4006: 

4007: 

4008: \bib{rem}{article}{

4009:     author={Remling, Christian},

4010:      title={The absolutely continuous spectrum of one-dimensional

4011:             Schr\"odinger operators with decaying potentials},

4012:    journal={Comm. Math. Phys.},

4013:     volume={193},

4014:       date={1998},

4015:     number={1},

4016:      pages={151\ndash 170},

4017:       issn={0010-3616},

4018:     review={MR 99f:34123},

4019: } 

4020: 

4021: \bib{rubio}{article}{

4022:     author={Rubio de Francia, Jos{\'e} L.},

4023:      title={A Littlewood-Paley inequality for arbitrary intervals},

4024:    journal={Rev. Mat. Iberoamericana},

4025:     volume={1},

4026:       date={1985},

4027:     number={2},

4028:      pages={1\ndash 14},

4029:       issn={0213-2230},

4030:     review={MR 87j:42057},

4031: }

4032: 

4033: 

4034: 

4035: \bib{MR39:3222}{article}{

4036:     author={Sj{\"o}lin, Per},

4037:      title={An inequality of Paley and convergence a.e. of Walsh-Fourier

4038:             series. },

4039:    journal={Ark. Mat.},

4040:     volume={7},

4041:       date={1969},

4042:      pages={551\ndash 570 (1969)},

4043:     review={MR 39 \#3222},

4044: }

4045: 

4046: 

4047: \bib{MR49:998}{article}{

4048:     author={Sj{\"o}lin, Per},

4049:      title={Convergence almost everywhere of certain singular integrals and

4050:             multiple Fourier series},

4051:    journal={Ark. Mat.},

4052:     volume={9},

4053:       date={1971},

4054:      pages={65\ndash 90},

4055:     review={MR 49 \#998},

4056: }

4057: 

4058: \bib{MR2014553}{article}{

4059:     author={Sj{\"o}lin, Per},

4060:     author={Soria, Fernando},

4061:      title={Remarks on a theorem by N. Yu.\ Antonov},

4062:    journal={Studia Math.},

4063:     volume={158},

4064:       date={2003},

4065:     number={1},

4066:      pages={79\ndash 97},

4067:       issn={0039-3223},

4068:     review={2 014 553},

4069: }

4070: 

4071: 

4072: \bib{steinweak}{article}{

4073:     author={Stein, E. M.},

4074:      title={On limits of seqences of operators},

4075:    journal={Ann. of Math. (2)},

4076:     volume={74},

4077:       date={1961},

4078:      pages={140\ndash 170},

4079:     review={MR 23 \#A2695},

4080: }

4081: 

4082: \bib{stein70s}{book}{

4083:     author={Stein, E. M.},

4084:      title={Singular integrals and differentiability properties of

4085:             functions},

4086:     series={Princeton Mathematical Series, No. 30},

4087:  publisher={Princeton University Press},

4088:      place={Princeton, N.J.},

4089:       date={1970},

4090:      pages={xiv+290},

4091:     review={MR 44 \#7280},

4092: } 

4093: 

4094: 

4095: 

4096: 

4097:  \bib{steinICM}{article}{

4098:     author={Stein, E. M.},

4099:      title={Problems in harmonic analysis related to curvature and

4100:             oscillatory integrals},

4101:  booktitle={Proceedings of the International Congress of Mathematicians,

4102:             Vol. 1, 2 (Berkeley, Calif., 1986)},

4103:      pages={196\ndash 221},

4104:  publisher={Amer. Math. Soc.},

4105:      place={Providence, RI},

4106:       date={1987},

4107:     review={MR 89d:42028},

4108: }

4109:  

4110: 

4111: \bib{MR96i:42013}{article}{

4112:     author={Stein, E. M.},

4113:      title={Oscillatory integrals related to Radon-like transforms},

4114:  booktitle={Proceedings of the Conference in Honor of Jean-Pierre Kahane

4115:             (Orsay, 1993)},

4116:    journal={J. Fourier Anal. Appl.},

4117:       date={1995},

4118:     number={Special Issue},

4119:      pages={535\ndash 551},

4120:       issn={1069-5869},

4121:     review={MR 96i:42013},

4122: }

4123: 

4124: 

4125: \bib{stein}{book}{

4126:     author={Stein, E. M.},

4127:      title={Harmonic analysis: real-variable methods, orthogonality, and

4128:             oscillatory integrals},

4129:     series={Princeton Mathematical Series},

4130:     volume={43},

4131:       note={With the assistance of Timothy S. Murphy;

4132:             Monographs in Harmonic Analysis, III},

4133:  publisher={Princeton University Press},

4134:      place={Princeton, NJ},

4135:       date={1993},

4136:      pages={xiv+695},

4137:       isbn={0-691-03216-5},

4138:     review={MR 95c:42002},

4139: } 

4140: 

4141: 

4142: \bib{MR42:904}{article}{

4143:     author={Stein, E. M.},

4144:     author={Wainger, Stephen},

4145:      title={The estimation of an integral arising in multiplier

4146:             transformations. },

4147:    journal={Studia Math.},

4148:     volume={35},

4149:       date={1970},

4150:      pages={101\ndash 104},

4151:     review={MR 42 \#904},

4152: } 

4153: 

4154: 

4155: 

4156: \bib{MR2000j:42027}{article}{

4157:     author={Stein, E. M.},

4158:     author={Wainger, Stephen},

4159:      title={Discrete analogues in harmonic analysis. I. $l\sp 2$ estimates

4160:             for singular Radon transforms},

4161:    journal={Amer. J. Math.},

4162:     volume={121},

4163:       date={1999},

4164:     number={6},

4165:      pages={1291\ndash 1336},

4166:       issn={0002-9327},

4167:     review={MR 2000j:42027},

4168: }

4169: 

4170: 

4171: \bib{MR2001g:42038}{article}{

4172:     author={Stein, E. M.},

4173:     author={Wainger, Stephen},

4174:      title={Discrete analogues in harmonic analysis. II. Fractional

4175:             integration},

4176:    journal={J. Anal. Math.},

4177:     volume={80},

4178:       date={2000},

4179:      pages={335\ndash 355},

4180:       issn={0021-7670},

4181:     review={MR 2001g:42038},

4182: }

4183: 

4184: \bib{MR2002k:42038}{article}{

4185:     author={Stein, E. M.},

4186:     author={Wainger, Stephen},

4187:      title={Oscillatory integrals related to Carleson's theorem},

4188:    journal={Math. Res. Lett.},

4189:     volume={8},

4190:       date={2001},

4191:     number={5-6},

4192:      pages={789\ndash 800},

4193:       issn={1073-2780},

4194:     review={MR 2002k:42038},

4195: } 

4196:  

4197:  

4198:  \bib{MR96f:60068}{article}{

4199:     author={Talagrand, Michel},

4200:      title={A borderline random Fourier series},

4201:    journal={Ann. Probab.},

4202:     volume={23},

4203:       date={1995},

4204:     number={2},

4205:      pages={776\ndash 785},

4206:       issn={0091-1798},

4207:     review={MR 96f:60068},

4208: }

4209:  

4210:  \bib{MR1924689}{article}{

4211:     author={Thiele, Christoph},

4212:      title={A uniform estimate for quartile operators},

4213:    journal={Rev. Mat. Iberoamericana},

4214:     volume={18},

4215:       date={2002},

4216:     number={1},

4217:      pages={115\ndash 134},

4218:       issn={0213-2230},

4219:     review={MR1924689 (2003g:42009)},

4220: }

4221: 

4222:  

4223: \bib{thielethesis}{article}{

4224:     author={Thiele, Christoph M.},

4225:      title={Time-frequency analysis in the discrete phase plane},

4226:  booktitle={Topics in analysis and its applications},

4227:      pages={99\ndash 152},

4228:       note={With a section written with Lars Villemoes},

4229:  publisher={World Sci. Publishing},

4230:      place={River Edge, NJ},

4231:       date={2000},

4232:     review={1 882 552},

4233: }

4234: 

4235:  

4236: \bib{MR2001b:42007}{article}{

4237:     author={Thiele, Christoph M.},

4238:      title={The quartile operator and pointwise convergence of Walsh series},

4239:    journal={Trans. Amer. Math. Soc.},

4240:     volume={352},

4241:       date={2000},

4242:     number={12},

4243:      pages={5745\ndash 5766},

4244:       issn={0002-9947},

4245:     review={MR 2001b:42007},

4246: }

4247: 

4248: 

4249: 

4250: 

4251: 

4252:  \bib{MR1846092}{article}{

4253:     author={Thiele, Christoph},

4254:      title={The maximal quartile operator},

4255:    journal={Rev. Mat. Iberoamericana},

4256:     volume={17},

4257:       date={2001},

4258:     number={1},

4259:      pages={107\ndash 135},

4260:       issn={0213-2230},

4261:     review={MR1846092 (2002h:42029)},

4262: }

4263: 

4264: 

4265: 

4266:  \bib{thieleicm}{article}{

4267:     author={Thiele, Christoph M.},

4268:      title={Singular integrals meet modulation invariance},

4269:  booktitle={Proceedings of the International Congress of Mathematicians,

4270:             Vol. II (Beijing, 2002)},

4271:      pages={721\ndash 732},

4272:  publisher={Higher Ed. Press},

4273:      place={Beijing},

4274:       date={2002},

4275:     review={1 957 079},

4276:     eprint={math.CA/0304336},

4277: }

4278: 

4279:  

4280: 

4281: \bib{MR4:15a}{article}{

4282:     author={Wiener, Norbert},

4283:     author={Wintner, Aurel},

4284:      title={On the ergodic dynamics of almost periodic systems},

4285:    journal={Amer. J. Math.},

4286:     volume={63},

4287:       date={1941},

4288:      pages={794\ndash 824},

4289:     review={MR 4,15a},

4290: }

4291: 

4292: 

4293:  

4294:  \bib{zyg}{book}{

4295:     author={Zygmund, A.},

4296:      title={Trigonometric series. Vol. I, II},

4297:     series={Cambridge Mathematical Library},

4298:    edition={3},

4299:       note={With a foreword by Robert A. Fefferman},

4300:  publisher={Cambridge University Press},

4301:      place={Cambridge},

4302:       date={2002},

4303:      pages={xii; Vol. I: xiv+383 pp.; Vol. II: viii+364},

4304:       isbn={0-521-89053-5},

4305:     review={1 963 498},

4306: }

4307: 

4308: 

4309: 

4310: 

4311: 

4312: 

4313: 

4314: 

4315: \end{biblist}

4316: 

4317: 

4318: \bigskip

4319:  {

4320: Michael T. Lacey \hfill\break

4321: School of Mathematics\hfill\break

4322: Georgia Institute of Technology\hfill\break

4323: Atlanta GA 30332\hfill\break

4324: \smallskip

4325: \tt lacey@math.gatech.edu\hfill\break

4326: \tt http://www.math.gatech.edu/\~{}lacey }

4327:  

4328: \end{document}

4329: 

4330:  

4331: