<p>It is well-known that the Fourier extension operator for the paraboloid in <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2209_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation> cannot be weak-type bounded at the restriction endpoint <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2209_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="108" /> </InlineMediaObject> <EquationSource Format="TEX">\(q = 2d/(d-1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>=</mo> <mn>2</mn> <mi>d</mi> <mo stretchy="false">/</mo> <mo stretchy="false">(</mo> <mi>d</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, since such an estimate would imply bounds for the Kakeya maximal function which contradict the existence of Besicovitch sets. We generalize this approach to prove that the Fourier extension operator for an <i>n</i>-dimensional quadratic manifold <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2209_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">M</mi> </math></EquationSource> </InlineEquation> cannot be weak-type bounded at the restriction endpoint. The key step in this proof is constructing a set <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2209_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(K \subset \mathbb {R}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>K</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>d</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> containing a translate of every plane normal to <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2209_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">M</mi> </math></EquationSource> </InlineEquation> which can be covered by <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2209_Article_IEq6.gif" Format="GIF" Height="37" Rendition="HTML" Resolution="72" Type="Linedraw" Width="173" /> </InlineMediaObject> <EquationSource Format="TEX">\(\lesssim \delta ^{-d}\left( \frac{\log \log (1/\delta )}{\log (1/\delta )}\right) ^{n/(d-n)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>≲</mo> <msup> <mi>δ</mi> <mrow> <mo>-</mo> <mi>d</mi> </mrow> </msup> <msup> <mfenced close=")" open="("> <mfrac> <mrow> <mo>log</mo> <mo>log</mo> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mi>δ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>log</mo> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mi>δ</mi> <mo stretchy="false">)</mo> </mrow> </mfrac> </mfenced> <mrow> <mi>n</mi> <mo stretchy="false">/</mo> <mo stretchy="false">(</mo> <mi>d</mi> <mo>-</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> many <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2209_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>δ</mi> </math></EquationSource> </InlineEquation>-balls. Such a set rules out endpoint bounds for the associated Kakeya maximal function and hence weak-type endpoint estimates for the restriction operator.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Failure of weak-type endpoint restriction estimates for quadratic manifolds.

  • Sam Craig

摘要

It is well-known that the Fourier extension operator for the paraboloid in \(\mathbb {R}^d\) R d cannot be weak-type bounded at the restriction endpoint \(q = 2d/(d-1)\) q = 2 d / ( d - 1 ) , since such an estimate would imply bounds for the Kakeya maximal function which contradict the existence of Besicovitch sets. We generalize this approach to prove that the Fourier extension operator for an n-dimensional quadratic manifold \(\mathcal {M}\) M cannot be weak-type bounded at the restriction endpoint. The key step in this proof is constructing a set \(K \subset \mathbb {R}^d\) K R d containing a translate of every plane normal to \(\mathcal {M}\) M which can be covered by \(\lesssim \delta ^{-d}\left( \frac{\log \log (1/\delta )}{\log (1/\delta )}\right) ^{n/(d-n)}\) δ - d log log ( 1 / δ ) log ( 1 / δ ) n / ( d - n ) many \(\delta \) δ -balls. Such a set rules out endpoint bounds for the associated Kakeya maximal function and hence weak-type endpoint estimates for the restriction operator.