Chandan Biswas, Betsy Stovall
We show that the restriction and extension operators associated to the moment curve possess extremizers and that $L^p$-normalized extremizing sequences of these operators are precompact modulo symmetries.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We prove that in dimensions $d \geq 3$, the non-endpoint, Lorentz-invariant $L^2 \to L^p$ adjoint Fourier restriction inequality on the $d$-dimensional hyperboloid $\mathbb{H}^d \subseteq \mathbb{R}^{d+1}$ possesses maximizers. The analogous result had been previously established in dimensions $d=1,2$ using the convolution structure of the inequality at the lower endpoint (an even integer); we obtain the generalization by using tools from bilinear restriction theory.
The $L^2 \to L^p$ adjoint Fourier restriction inequality on the $d$-dimensional hyperboloid $\mathbb{H}^d \subset \mathbb{R}^{d+1}$ holds provided $6 \leq p < \infty$, if $d=1$, and $2(d+2)/d \leq p\leq 2(d+1)/(d-1)$, if $d\geq2$. Quilodrán recently found the values of the optimal constants in the endpoint cases $(d,p)\in\{(2,4),(2,6),(3,4)\}$ and showed that the inequality does not have extremizers in these cases. In this paper we answer two questions posed by Quilodrán, namely: (i) we find the explicit value of the optimal constant in the endpoint case $(d,p) = (1,6)$ (the remaining endpoint…
We establish the existence of extremizers for a Fourier restriction inequality on planar convex arcs without points with colinear tangents whose curvature satisfies a natural assumption. More generally, we prove that any extremizing sequence of nonnegative functions has a subsequence which converges to an extremizer.
Extremizers of a Fourier uncertainty principle related to averaging
针对$\mathbb{R}^d$上有限非负测度的傅里叶不确定性原理，证明常数$C(α,β,d)>0$及极值存在，给出极值抽象刻画以描述渐近行为，对特定参数能明确确定极值。
The adjoint Fourier restriction inequality for the sphere $S^2$ states that if $f\in\lt(S^2,σ)$ then $\widehat{fσ}\in L^4(\reals^3)$. We prove that all critical points $f$ of the functional $\norm{\widehat{fσ}}_{L^4}/\norm{f}_{\lt}$ are smooth; that any complex-valued extremizer for the inequality is a nonnegative extremizer multiplied by the character $e^{ix\cdotξ}$ for some $ξ$; and that complex-valued extremizing sequences for the inequality are precompact modulo multiplication by characters.
Extremizers for Adjoint Restriction to Pairs of Translated Paraboloids
本文证明平移抛物面对偶限制不等式不存在极值元，并利用抛物面情形的极值元完整刻画了极值序列。
Extremizers for Adjoint Restriction to a Pair of Reflected Paraboloids
研究一对反射抛物面上伴随限制不等式的极值函数，证明在所有维度存在性，并在 d=1,2 时验证预紧性条件。
Existence and smoothness of extremizers for convolution with compactly supported measures
本文证明紧支撑测度卷积算子在非端点情形下极值函数存在且序列预紧，并具有正性与光滑性。
In this article, we develop a linear profile decomposition for the $L^p \to L^q$ adjoint Fourier restriction operator associated to the sphere, valid for exponent pairs $p<q$ for which this operator is bounded. Such theorems are new when $p \neq 2$. We apply these methods to prove new results regarding the existence of extremizers and the behavior of extremizing sequences for the spherical extension operator. Namely, assuming boundedness, extremizers exist if $q>\max\{p,\tfrac{d+2}d p'\}$, or if $q=\tfrac{d+2}d p'$ and the operator norm exceeds a certain constant times the operator norm of the…
We establish the nonexistence of extremizers for a local Fourier restriction inequality on a certain class of planar convex curves whose curvature satisfies a natural assumption. We accomplish this by studying the local behavior of the triple convolution of the arclength measure on the curve with itself, and show in particular that every extremizing sequence concentrates at a point on the curve.
The Fourier transform is an extremizer of a class of bounded operators
证明Fourier算子在有界性上等价于联合强型算子，借此完全刻画径向单调权下的加权Fourier不等式，解决了Benedetto-Heinig等提出的长期问题。
The Tomas-Stein inequality or the adjoint Fourier restriction inequality for the sphere $S^1$ states that the mapping $f\mapsto \hat{fσ}$ is bounded from $L^2(S^1)$ to $L^6(\mathbb{R}^2)$. We prove that there exists an extremizer for this inequality. We also prove that any extremizer satisfies $|f(-x)|=|f(x)|$ for almost every $x\in S^1$.
It is known that extremizers for the $L^2$ to $L^6$ adjoint Fourier restriction inequality on the cone in $\mathbb{R}^3$ exist. Here we show that nonnegative extremizing sequences are precompact, after the application of symmetries of the cone. If we use the knowledge of the exact form of the extremizers, as found by Carneiro, then we can show that nonnegative extremizing sequences converge, after the application of symmetries.
We study the problem of existence of extremizers for the $L^2$ to $L^p$ adjoint Fourier restriction inequalities on the hyperboloid in dimensions 3 and 4, in which cases $p$ is an even integer. We will use the method developed by Foschi to show that extremizers do not exist.
We prove the existence of functions that extremize the endpoint $L^2$ to $L^4$ adjoint Fourier restriction inequality on the one-sheeted hyperboloid in Euclidean space $\mathbb{R}^4$ and that, taking symmetries into consideration, any extremizing sequence has a subsequence that converges to an extremizer.
In this article, we prove that all global, nonendpoint Fourier restriction inequalities for the paraboloid in $\mathbb R^{1+d}$ have extremizers and that $L^p$-normalized extremizing sequences are precompact modulo symmetries. This result had previously been established for the case $q=2$. In the range where the boundedness of the restriction operator is still an open question, our result is conditional on improvements toward the restriction conjecture.
For an appropriate class of convex functions $ϕ$, we study the Fourier extension operator on the surface $\{(y, |y|^2+ϕ(y)):y\in\mathbb{R}^2\}$ equipped with projection measure. For the corresponding extension inequality, we compute optimal constants and prove that extremizers do not exist. The main tool is a new comparison principle for convolutions of certain singular measures that holds in all dimensions. Using tools of concentration-compactness flavor, we further investigate the behavior of general extremizing sequences. Our work is directly related to the study of extremizers and optimal …
In this paper we prove a sharp trilinear inequality which is motivated by a program to obtain the sharp form of the $L^2 - L^6$ Tomas-Stein adjoint restriction inequality on the circle. Our method uses intricate estimates for integrals of sixfold products of Bessel functions developed in a companion paper. We also establish that constants are local extremizers of the Tomas-Stein adjoint restriction inequality as well as of another inequality appearing in the program.
The adjoint Fourier restriction inequality of Tomas and Stein states that the mapping $f\mapsto \widehat{fσ}$ is bounded from $\lt(S^2)$ to $L^4(\reals^3)$. We prove that there exist functions which extremize this inequality, and that any extremizing sequence of nonnegative functions has a subsequence which converges to an extremizer.
Sharp Fourier extension for functions with localized support on the circle
本文证明了支撑在$S^1$一对对偶点的$\sqrt{6}/80$-邻域内的函数满足圆上$L^2 \to L^6$ Tomas-Stein延拓不等式的锐利猜想，并推进了证明所有函数该不等式的计划。
We investigate a class of sharp Fourier extension inequalities on the planar curves $s=|y|^p$, $p>1$. We identify the mechanism responsible for the possible loss of compactness of nonnegative extremizing sequences, and prove that extremizers exist if $1<p<p_0$, for some $p_0>4$. In particular, this resolves the dichotomy of Jiang, Pausader & Shao concerning the existence of extremizers for the Strichartz inequality for the fourth order Schrödinger equation in one spatial dimension. One of our tools is a geometric comparison principle for $n$-fold convolutions of certain singular measures in $\…
We bound certain r-maximal restriction operators on the moment curve.
We prove a uniform Fourier extension-restriction estimate for a certain class of curves in d-dimensional Euclidean space.
We prove a Fourier restriction result, uniform over a certain collection of reference measures, for some indices in the Stein-Tomas range.
We prove a Fourier restriction estimate under the assumption that certain convolution power of the measure admits an $r$-integrable density.
Using a bilinear restriction theorem of Lee and a bilinear-to-linear argument of Stovall, we obtain the conjectured range of Fourier restriction estimates for a conical hypersurface in $\mathbb{R}^4$ with hyperbolic cross sections.
It is considered Fourier transform of convex analytic hypersufaces on $R^{4} $. We prove that the Fourier restriction operator associated to convex analytic hypersufaces is \textit{$(L_{p}, L_{2})$} bounded whenever $1\le p\le \frac{2h+2}{h+2}$. The result is sharp.
An $L^2$ Fourier restriction argument of Bak and Seeger is abstracted to the setting of locally compact abelian groups. This is used to prove new restriction estimates for varieties lying in modules over local fields or rings of integers $\mathbb{Z}/N\mathbb{Z}$.
We prove Fourier restriction estimates to arbitrary compact $C^{N}$ curves for any $N > d$ in the (sharp) Drury range, using a power of the affine arclength measure as a mitigating factor. In particular, we make no nondegeneracy assumption on the curve.
We show that constant functions are global maximizers for the adjoint Fourier restriction inequality for the sphere.
We construct a function that lies in $L^p(\mathbb{R}^d)$ for every $p \in (1,\infty]$ and whose Fourier transform has no Lebesgue points in a Cantor set of full Hausdorff dimension. We apply Kovač's maximal restriction principle to show that the same full-dimensional set is avoided by any Borel measure satisfying a nontrivial Fourier restriction theorem. As a consequence of a near-optimal fractal restriction theorem of Łaba and Wang, we hence prove a lack of valid relations between the Hausdorff dimension of a set and the range of possible Fourier restriction exponents for measures supported i…
We present a restriction theorem for the Fourier transform to a 2-dimensional conical surface of finite type, obtaining a sharp result, which improves previous work by Barcelo.
We use a restriction theorem for Fourier transforms of fractal measures to study projections onto families of planes in R^3 whose normal directions form nondegenerate curves.
We show that if a measure of dimension $s$ on $\mathbb{R}^d$ admits $(p,q)$ Fourier restriction for some endpoint exponents allowed by its dimension, namely $q=\tfrac{s}{d}p'$ for some $p>1$, then it is either absolutely continuous or $1$-purely unrectifiable.
We prove $L^p \rightarrow L^q$ Fourier restriction estimates for 3-dimensional quadratic surfaces in $\mathbb{R}^5$. Our results are sharp, up to endpoints, for a few classes of surfaces.
We provide a general scheme for proving $L^p$ estimates for certain bilinear Fourier restrictions outside the locally $L^2$ setting. As an application, we show how such estimates follow for the lacunary polygon. In contrast with prior approaches, our argument avoids any use of the Rubio de Francia Littlewood--Paley inequality.
Following the ideas from a paper by the same author, we prove abstract maximal restriction results for the Fourier transform. Our results deal mainly with maximal operators of convolution-type and $r-$average maximal functions. As a by-product of our techniques we obtain spherical maximal restriction estimates, as well as restriction estimates for $2-$average maximal functions, answering thus points left open by V. Kovač and Müller, Ricci and Wright.
This is the second of two articles in which we prove a sharp $L^p-L^2$ Fourier restriction theorem for a large class of smooth, finite type hypersurfaces in R^3, which includes in particular all real-analytic hypersurfaces.
We show, using a Knapp-type homogeneity argument, that the $(L^p, L^2)$ restriction theorem implies a growth condition on the hypersurface in question. We further use this result to show that the optimal $(L^p, L^2)$ restriction theorem implies the sharp isotropic decay rate for the Fourier transform of the Lebesgue measure carried by compact convex finite hypersurfaces.
The Fourier restriction phenomenon and the size of Kakeya sets are explored in the setting of the ring of integers modulo $N$ for general $N$ and a striking similarity with the corresponding euclidean problems is observed. One should contrast this with known results in the finite field setting.
We improve the exponent for the discrete Fourier restriction to the $n$ dimensional sphere, from $p=\frac{2(n+1)}{n-3}$ to $p=\frac{2n}{n-3}$, when $n\ge 4$.
We construct Salem sets on the real line with endpoint Fourier decay and near-endpoint regularity properties. This complements a result of Łaba and Pramanik, who obtained near-endpoint Fourier decay and endpoint regularity properties. We then modify the construction to extend a theorem of Hambrook and Łaba to show sharpness of the $L^2$-Fourier restriction estimate by Mockenhaupt and Bak-Seeger, including the case where the Hausdorff and Fourier dimension do not coincide.
It was proved independently by Foschi and Hundertmark, Zharnitsky that Gaussians extremize the adjoint Fourier restriction inequality for L^2 functions on the paraboloid in the two lowest-dimesional cases. Here we prove that Gaussians are critical points for the L^p to L^q adjoint Fourier restriction inequalities if and only if p=2. Also, Gaussians are critial points for the L^2 to L^r_t L^q_x Strichartz inequalities for all admissible pairs (r,q) in (1,infinity)^2.
We prove uniform $L^p \to L^q$ bounds for Fourier restriction to polynomial curves in $\mathbb R^d$ with affine arclength measure, in the conjectured range.
A Fourier restriction estimate is obtained for a broad class of conic surfaces by adding a weight to the usual underlying measure. The new restriction estimate exhibits a certain affine-invariance and implies the sharp $L^p-L^q$ restriction theorem for compact subsets of a type $k$ conical surface, up to an endpoint. Furthermore, the chosen weight is shown to be, in some quantitative sense, optimal. Appended is a discussion of type k conical restriction theorems which addresses some anomalies present in the existing literature.
Slowly decaying Rajchman measures and a restriction theorem for the Fourier transform at the limit case of zero Fourier dimension
本文证明了存在零傅里叶维度的集合，使得傅里叶变换可以在特定非平凡区间[1,~p)上限制，1<~p<2。该研究基于Mockenhaupt的限制定理，结合多项对数傅里叶衰减的测度和全Hausdorff维度1的集合，扩展了限制定理的应用范围。
In this article we revisit some classical conjectures in harmonic analysis in the setting of mixed norm spaces $L^p_{rad} L^2_{ang} (\mathbb{R}^n)$. We produce sharp bounds for the restriction of the Fourier transform to compact hypersurfaces of revolution in the mixed norm setting and study an extension of the disc multiplier. We also present some results for the discrete restriction conjecture and state an intriguing open problem.
We improve the best known exponent for the restriction conjecture in R^6. Our idea is applicable to any dimension n satisfying n = 0 mod 3, though we do not explicitly calculate the improvement for n > 6. This improves the recent results of Bourgain and Guth.
This result sharpens the bilinear to linear deduction of Lee and Vargas for extension estimates on the hyperbolic paraboloid in $\mathbb R^3$ to the sharp line, leading to the first scale-invariant restriction estimates, beyond the Stein--Tomas range, for a hypersurface on which the principal curvatures have different signs.
We consider Guth's approach to the Fourier restriction problem via polynomial partitioning. By writing out his induction argument as a recursive algorithm and introducing new geometric information, known as the polynomial Wolff axioms, we obtain improved bounds for the restriction conjecture, particularly in high dimensions. Consequences for the Kakeya conjecture are also considered.
We prove a maximal restriction inequality for the Fourier transform, providing an answer to a question left open by Müller, Ricci and Wright. Our methods are similar to the ones in their article, with the addition of a suitable trick to help us linearise our maximal function. In the end, we comment on how to use the same trick in combination with Vitturi's approach to obtain a stronger high-dimensional result.
A note on Fourier restriction and nested Polynomial Wolff axioms
本文通过结合多项式划分方法与几何结果，改进了高维空间中傅里叶限制猜想的L^p范围。
The problem of $L^p(R^3)\to L^2(S)$ Fourier restriction estimates for smooth hypersurfaces S of finite type in R^3 is by now very well understood for a large class of hypersurfaces, including all analytic ones. In this article, we take up the study of more general $L^p(R^3)\to L^q(S)$ Fourier restriction estimates, by studying a prototypical class of two-dimensional surfaces with strongly varying curvature conditions. Our approach is based on an adaptation of the so-called bilinear method. We discuss several new features arising in the study of this problem.
We prove Fourier restriction estimates by means of the polynomial partitioning method for compact subsets of any sufficiently smooth hyperbolic hypersurface in threedimensional euclidean space. Our approach exploits in a crucial way the underlying hyperbolic geometry, which leads to a novel notion of strong transversality and corresponding "exceptional" sets. For the division of these exceptional sets we make crucial and perhaps surprising use of a lemma on level sets for sufficiently smooth one-variate functions from a previous article of ours.
The purpose of this note is to discuss several results that have been obtained in the last decade in the context of sharp adjoint Fourier restriction/Strichartz inequalities. Rather than aiming at full generality, we focus on several concrete examples of underlying manifolds with large groups of symmetries, which sometimes allows for simple geometric proofs. We mention several open problems along the way, and include an appendix on integration on manifolds using delta calculus.
Consider the group ${\mathbb{R}}^2$ with the discrete topology, and denote its Fourier algebra by $A({\mathbb{R}_{\rm d}^2})$. We reformulate a theorem of V.A. Yudin as a statement about restrictions of functions in $A({\mathbb{R}_{\rm d}^2})$ to the boundary of a strictly convex domain when those functions vanish outside that boundary. We give visual proofs of that statement and a complementary one.
We exhibit the first explicit examples of Salem sets in $\mathbb{Q}_p$ of every dimension $0 < α< 1$ by showing that certain sets of well-approximable $p$-adic numbers are Salem sets. We construct measures supported on these sets that satisfy essentially optimal Fourier decay and upper regularity conditions, and we observe that these conditions imply that the measures satisfy strong Fourier restriction inequalities. We also partially generalize our results to higher dimensions. Our results extend theorems of Kaufman, Papadimitropoulos, and Hambrook from the real to the $p$-adic setting.
Let $S$ be a hypersurface in $\Bbb R^3$ which is the graph of a smooth, finite type function $ϕ,$ and let $μ=ρ\, d\si$ be a surface carried measure on $S,$ where $d\si$ denotes the surface element on $S$ and $ρ$ a smooth density with suffiently small support. We derive uniform estimates for the Fourier transform $\hat μ$ of $μ,$ which are sharp except for the case where the principal face of the Newton polyhedron of $ϕ,$ when expressed in adapted coordinates, is unbounded. As an application, we prove a sharp $L^p$-$L^2$ Fourier restriction theorem for $S$ in the case where the original coordin…
We consider the Fourier restriction operators associated to certain degenerate curves in R^d for which the highest torsion vanishes. We prove estimates with respect to affine arclength and with respect to the Euclidean arclength measure on the curve. The estimates have certain uniform features, and the affine arclength results cover families of flat curves.
We consider a surface with negative curvature in $\Bbb R^3$ which is a cubic perturbation of the saddle. For this surface, we prove a new restriction theorem, analogous to the theorem for paraboloids proved by L. Guth in 2016. This specific perturbation has turned out to be of fundamental importance also to the understanding of more general classes of perturbations.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。