On a Sharp Fourier Extension Inequality on the Circle with Lacunary Spectrum

基本信息

• 论文ID: 2510.20934
• 标题: On a Sharp Fourier Extension Inequality on the Circle with Lacunary Spectrum
• 作者: Felipe Gonçalves, João Paulo Ferreira
• 分类: math.CA (Classical Analysis and ODEs)
• 发表时间: October 23, 2025
• 作者单位: University of Texas at Austin & IMPA (Instituto de Matemática Pura e Aplicada), Brazil
• 论文链接: https://arxiv.org/abs/2510.20934v1

摘要

本文证明了在圆周上针对Tomas-Stein指数的尖锐Fourier扩张不等式，适用于频谱$\{\pm \lambda_n\}$满足$\lambda_{n+1} > 3\lambda_n$的函数。这是调和分析领域关于Fourier限制理论的重要进展。

研究背景与动机

核心问题

本文研究Fourier限制理论中的一个基本问题：在二维情况($d=2$)下，Tomas-Stein定理的尖锐常数及其极值函数的刻画。具体而言，对于圆周$S^1$上的函数$f$，要确定以下不等式的最佳常数：

$\|\widehat{f\sigma}\|_{L^6(\mathbb{R}^2)} \leq C_{opt}\|f\|_{L^2(S^1)}$

研究重要性

1. 理论意义：Tomas-Stein定理是现代调和分析的核心结果，但其尖锐常数问题极具挑战性。目前仅在$d=3$时由Foschi (2015)完全解决。
2. 猜想验证：普遍猜想认为常函数是该不等式的唯一极值函数（模对称性）。本文为这一猜想在特定函数子空间上提供证据。
3. 技术突破：$d=2$是最后一个与圆锥截面相关的偶数指数扩张问题，自然吸引大量关注。

现有工作的局限性

1. Ciccone-Gonçalves (2024) 在算术约束下证明了该猜想，但要求lacunary常数$q \geq 5$，无法处理如$\{0\} \cup \{\pm 2^n\}$或$\{0\} \cup \{\pm 3^n\}$等重要情况。
2. 带限函数方法：Oliveira e Silva等人证明了频谱在$[-120, 120]$内的情况，但无法推广到一般lacunary序列。
3. 技术障碍：当lacunary常数$q < 3$时，对称集合$A = \{\pm\lambda_n\}$不再是$P(2)$-集合，导致出现"混合型例外"，使得现有方法失效。

本文创新动机

本文提出关键问题：能否将lacunary常数降低到接近1的情况？通过精细的组合分析和数值估计，本文成功将lacunary常数降至$q > 3$，这是首次突破$q=5$的障碍。

核心贡献

1. 主要定理（Theorem 1）：证明了对于频谱$\text{spec}(f) \subset A_{\lambda,q} := \{\pm\lambda_n; n \geq 0\}$且$\lambda_{n+1}/\lambda_n > 3$的函数，尖锐不等式 $\|\widehat{f\sigma}\|_{L^6(\mathbb{R}^2)}^6 \leq (2\pi)^4 \left(\int_0^\infty J_0^6(r)r\,dr\right)\|f\|_{L^2(S^1)}^6$ 成立，且等号成立当且仅当$\hat{f}(k) = 0$对所有$k \neq 0$（即$f$为常函数）。
2. 关键技术创新：
   • 提出了Lemma 4，完整分类了$A_{\lambda,q}^3$中的$P(3)$例外点，将其归结为两个特定方程(6)的解
   • 发展了处理"混合型例外"的新方法，即使在集合不是$P(2)$-集合时也能有效工作
   • 改进了Bessel函数积分的下界估计（Lemma 7），使得数值验证更加精确
3. lacunary常数的突破：从$q \geq 5$降低到$q > 3$，显著扩大了适用范围，涵盖了$\{0\} \cup \{\pm 4^n\}$等重要例子。
4. 方法论贡献：提供了一个系统框架来处理lacunary频谱下的Fourier扩张问题，可能适用于更广泛的情况。

方法详解

问题的精确表述

对于圆周$S^1$上的$L^2$函数$f$，定义Fourier扩张算子： $\widehat{f\sigma}(x) = \int_{S^1} f(w)e^{-ix \cdot w}d\sigma(w)$

目标是证明Conjecture 1： $\frac{\|\widehat{f\sigma}\|_{L^6(\mathbb{R}^2)}^6}{\|f\|_{L^2(S^1)}^6} \leq C_{opt} = (2\pi)^4 \int_0^\infty J_0^6(r)r\,dr$

其中$J_n$是第一类Bessel函数。

核心策略：显式公式与组合分解

步骤1：范数的显式展开

利用Bessel函数的性质，可以将$L^6$范数展开为： $(2\pi)^{-7}\|\widehat{f\sigma}\|_{L^6(\mathbb{R}^2)}^6 = \sum_{D \in A^3} \sum_{\substack{n_1,\ldots,n_6 \in A \\ n_1+n_2+n_3=D \\ n_4+n_5+n_6=D}} \hat{f}(n_1)\hat{f}(n_2)\hat{f}(n_3)\overline{\hat{f}(n_4)\hat{f}(n_5)\hat{f}(n_6)}I(n_1,\ldots,n_6)$

其中$I(n_1,\ldots,n_6) = \int_0^\infty J_{n_1}(r)\cdots J_{n_6}(r)r\,dr$。

类似地，$L^2$范数可展开为： $(2\pi)^{-3}\|f\|_{L^2(S^1)}^6 = \sum_{D \in A^3} \sum_{\substack{n_1,n_2,n_3 \in A \\ n_1+n_2+n_3=D}} |\hat{f}(n_1)|^2|\hat{f}(n_2)|^2|\hat{f}(n_3)|^2$

步骤2：$P(3)$-集合理论

关键是理解方程$D = n_1 + n_2 + n_3$（$n_i \in A$）的解的个数。定义：

• $P(3)$点：$D \in A^3$满足要么有唯一三元组（模排列）和为$D$，要么$D$有平凡表示$D = D + m - m$（$m \in A \cap (-A)$）
• 例外点 $A_E^3$：不满足$P(3)$性质的点

步骤3：Lemma 4的分类结果

这是本文的核心技术贡献。证明了$D \in A_E^3$当且仅当以下方程之一有解： $\lambda_{n+1} = \lambda_n + \lambda_n + \lambda_n + \lambda_m + \lambda_k, \quad 0 \leq \lambda_m \leq \lambda_k \leq \lambda_n, \lambda_k > 0$$\lambda_{n+1} + \lambda_m = \lambda_n + \lambda_n + \lambda_n + \lambda_k, \quad 0 \leq \lambda_m < \lambda_k \leq \lambda_n$

证明思路：

• 将方程$n_1 + n_2 + n_3 = n_4 + n_5 + n_6$重组为只含正数的形式
• 利用lacunary性质：若$\lambda_{n+1} > \max\{\lambda_{\beta_j}\}$，则$3\lambda_s < \lambda_{n+1} \leq 5\lambda_s$，推出$s=n$
• 得出$\lambda_{n+1}$与较小项之间的特定关系

重要观察（Remark 6）：每个$D \in A_E^3$恰好有两种不同的三元组表示，且至少一个三元组包含重复元素。

技术创新点

创新1：处理$P(2)$失效的情况

当$q < 5$时，$A$不再是$P(2)$-集合，产生"混合型例外"： $D + m - m = n_1 + n_2 + n_3 \quad \text{with } n_i + n_j \neq 0$

本文通过将$A_E^3$进一步分解为$A_1^3$（两个三元组都有重复元素）和$A_2^3$（只有一个有重复元素），并对每种情况选择不同的参数$\epsilon_D$。

创新2：改进的不等式技术

使用参数化的基本不等式： $r^3 \leq \frac{b}{2b-2}r^4 + \frac{1}{2b-2}s^4 + \frac{b-3}{2b-2}r^2s^2, \quad \forall b > 1$

通过优化参数$b$（取$b=6.66$），获得更紧的界。

创新3：Bessel积分的精确估计（Lemma 7）

定义函数$F(n_1,n_2,n_3) = I(0,0,0)/I(n_1,n_1,n_2,n_2,n_3,n_3)$，证明：

• $F(n,0,0) \geq 5$（$n \geq 1$）
• $F(n,n,0) > 10.8$（$n \geq 3$）
• $F(n,n,n) > 3.2$
• $F(n,n,m) > 13.2$（$n \neq m$，$n,m \in \{\lambda_n\}$）
• $F(n,m,k) > 21$（$n > m > k$，$n,m,k \in \{\lambda_n\}$）

证明方法：

• 对大值使用渐近估计：$F$增长如$\Omega(\max\{n_i\}^{1/3})$
• 对小值使用Lemma 8的数值逼近公式，通过PARI-GP系统计算
• 结合两者覆盖所有情况

主要定理的证明框架

第一步：分解$S = (2\pi)^{-7}\|\widehat{f\sigma}\|_{L^6}^6 = S_{P(3)} + S_E$

第二步：对$S_E$应用Cauchy-Schwarz和三角不等式： $I(n_1,\ldots,n_6) \leq \sqrt{I(n_1,n_2,n_3)I(n_4,n_5,n_6)}$

利用$2xy \leq x^2/\epsilon + \epsilon y^2$，引入参数$\epsilon_D$： $S_E \leq \sum_{D \in A_E^3} \left[\left(1 + \frac{1}{\epsilon_D}\right)(\text{第一个三元组项}) + (1+\epsilon_D)(\text{第二个三元组项})\right]$

第三步：进一步细分$A_E^3 = A_1^3 \cup A_2^3$，根据不同情况选择$\epsilon_D$。

第四步：建立不等式系统(9)-(13)，要求： $\text{(系数)} \leq (\text{常数倍的}) F(n_1,n_2,n_3)$

第五步：利用Lemma 7验证所有不等式成立。关键是：

• 系统(9)：基本不等式，对所有lacunary序列成立
• 系统(10)-(13)：涉及例外点，需要针对Lemma 4的分类结果验证

第六步：对于小值情况（如$|n_1| \in \{1,2\}$），利用Lemma 4确定具体的$\{|m_1|,|m_2|\}$值，然后数值验证。例如：

• 若$|n_1|=1$，则$\{|m_1|,|m_2|\}=\{1,4\}$，数值显示$F(m_1,m_1,m_2) > 17.3$
• 若$|n_1|=2$，则$\{|m_1|,|m_2|\}=\{2,8\}$

结论：所有不等式严格成立（Lemma 7中的不等式都是严格的），因此等号成立当且仅当$\text{spec}(f)=\{0\}$。

实验设置

数值计算工具

本文使用**PARI-GP (version 2.15.3)**计算机代数系统进行数值验证。

计算任务

1. Bessel函数零点：计算$J_1$的非负零点序列$\{\sigma_r\}_{r \geq 0}$
2. 积分逼近：使用Lemma 8的求和公式计算$\tilde{I}(k,m,n)$，其中： $\tilde{I}(k,m,n) = \frac{2}{9}\sum_{r=0}^{1000} \frac{J_k^2(\sigma_r/3)J_m^2(\sigma_r/3)J_n^2(\sigma_r/3)}{J_0^2(\sigma_r)}$
3. 误差控制：证明了$0 < I(k,m,n) - \tilde{I}(k,m,n) < 10^{-2}$（当$\max\{k,m,n\} \leq 532$时）

验证范围

• 对于$n \geq 3$，验证$F(n,n,0) > 10.8$需要检查$3 \leq n < 21$
• 对于lacunary序列中的$n,m$，验证$F(n,n,m) > 13.2$需要检查$\max\{n,m\} < 110$
• 对于三个不同的lacunary元素，验证$F(k,m,n) > 21$需要检查$n < 340$

精度要求

所有数值不等式的验证精度至少为$10^{-2}$，足以确保理论证明的严格性。

实验结果

主要结果验证

定理1的完整证明：通过数值计算和理论分析的结合，成功验证了所有必要的不等式系统。

关键数值结果（来自Lemma 7的验证）：

• $F(1,0,0) = 5$（精确值，等号成立）
• $F(1,1,0) \approx 7.94$
• $F(3,3,0) > 10.8$
• $F(1,1,1) > 3.2$
• 对于$(n,m) \in \{(1,4), (2,8)\}$等小值情况，$F(n,n,m)$的具体值足够大以确保不等式成立

具体例子分析（Example 5）

情况1：$A_5 = \{0\} \cup \{\pm 5^{n-1}; n \geq 1\}$

方程(6)简化为： $5^{n+1} = 5^n + 5^n + 5^n + 5^n + 5^n$

结论：所有$P(3)$例外点为$\{\pm 3 \cdot 5^n; n \geq 0\}$，模$\pm 5^n$后简化为单一表达式$3 = 5-1-1 = 1+1+1$。

情况2：$A_4 = \{0\} \cup \{\pm 4^{n-1}; n \geq 1\}$

方程(6)简化为： $4^{n+1} = 4^n + 4^n + 4^n + 4^n$

结论：所有$P(3)$例外点为$\{\pm 2 \cdot 4^n; n \geq 0\} \cup \{\pm 3 \cdot 4^n; n \geq 0\}$，对应两个简单表达式：

• $2 = 4-1-1 = 1+1+0$
• $3 = 4-1+0 = 1+1+1$

参数选择的验证

优化参数$b$：通过不等式(9)的约束，确定$4.2 \leq b \leq 6.6604$，最终选择$b = 6.66$。

$\epsilon_D$的选择：

• 系统(11)：$\epsilon_D = 2$
• 系统(13)：$\epsilon_D = 1$
• 系统(12)（$|n_1|=1$）：$0.270 < \epsilon_D < 0.289$
• 系统(12)（$|n_1|=2$）：$0.110 < \epsilon_D < 0.490$
• 系统(10)（$m_2 \neq 0$）：$\epsilon_D = 2$
• 系统(10)（$m_2 = 0$）：$\epsilon_D = 1$

所有选择都有正的余量，确保不等式严格成立。

极值函数的唯一性

由于Lemma 7中所有不等式都是严格的（除了$F(1,0,0)=5$这一个等号情况，但它不影响最终结论），定理证明中的所有估计都是严格不等式。因此：

结论：等号$\|\widehat{f\sigma}\|_{L^6}^6 = C_{opt}\|f\|_{L^2}^6$成立当且仅当$\text{spec}(f) = \{0\}$，即$f$是常函数。

这完全验证了Conjecture 1对于lacunary常数$q > 3$的情况。

相关工作

Fourier限制理论的发展

1. Tomas-Stein定理（经典结果）： $\|\widehat{f\sigma}\|_{L^{\frac{2(d+1)}{d-1}}(\mathbb{R}^d)} \leq C\|f\|_{L^2(S^{d-1})}$ 这是Fourier限制理论的基石，但最佳常数$C$的确定极具挑战性。
2. Foschi (2015) 11：证明了$d=3$时常函数是唯一极值函数（模对称性），这是目前唯一完全解决的维数。
3. 局部极值函数研究：
   • Carneiro等人(2017) 4：证明常函数是局部极值函数（$d=2$）
   • Gonçalves-Negro (2022) 12：将结果推广到$2 \leq d \leq 60$

尖锐常数的部分进展

4. Shao (2016) 17：证明了$d=2$时极值函数的存在性，且极值函数是偶函数、非负、光滑的。
5. 带限函数方法：
   • Oliveira e Silva等人(2022) 16：$\text{spec}(f) \subset [-30,30]$
   • Barker等人(2023) 1：改进到$\text{spec}(f) \subset [-120,120]$

算术约束下的结果

6. Ciccone-Gonçalves (2024) 9：本文的直接前驱工作
   • 引入$P(3)$-集合的概念
   • 证明了Sidon集推广下的尖锐不等式
   • 局限：要求lacunary常数$q \geq 5$，无法处理$q \in (3,5)$的情况
   • 本文正是突破了这一限制

其他相关方向

7. 其他几何对象：
   • Negro等人(2023) 14：圆锥截面的扩张不等式
   • Carneiro等人(2024) 6：任意维数球面的尖锐扩张
   • González-Riquelme等人(2024) 13：有限域上的扩张不等式
8. 稳定性理论：
   • Carneiro等人(2024) 5：球面Fourier限制的稳定性研究

本文的定位

本文在Ciccone-Gonçalves工作的基础上，通过以下创新实现了重要突破：

• 技术改进：Lemma 4的完整分类 + Lemma 7的精确估计
• 范围扩大：$q \geq 5 \rightarrow q > 3$
• 方法论：提供了处理非$P(2)$-集合的系统方法

相比带限函数方法，本文处理的是完全不同的函数类（lacunary频谱 vs 紧支频谱），两者互补。

结论与讨论

主要结论

1. 定理1的意义：首次证明了lacunary常数$q > 3$时，Conjecture 1成立，且常函数是唯一极值函数。这将适用范围从$q \geq 5$扩展到$q > 3$，是该问题的重要进展。
2. 方法论贡献：
   • 提供了系统的组合分类框架（Lemma 4）
   • 发展了处理"混合型例外"的技术
   • 建立了理论分析与数值计算的有效结合
3. 猜想的部分验证：为Conjecture 1在更广泛函数类上的成立提供了强有力的证据，支持"常函数是唯一极值函数"的普遍猜想。

局限性

1. lacunary常数的限制：
   • 当前方法要求$q > 3$，无法处理$1 < q \leq 3$的情况
   • 特别地，$\{0\} \cup \{\pm 2^n\}$（$q=2$）和$\{0\} \cup \{\pm 3^n\}$（$q=3$）仍然无法覆盖
   • 作者在1.2节明确指出，$q < 3$时出现的新困难需要全新的想法
2. 数值依赖性：
   • 证明依赖于对小值情况的数值验证（通过PARI-GP）
   • 虽然精度足够（误差$< 10^{-2}$），但理想情况下希望有纯解析证明
3. 方法的特殊性：
   • 高度依赖于lacunary结构，难以直接推广到一般的稀疏集合
   • 对于非对称的频谱集合，方法需要重大修改
4. 计算复杂性：
   • 随着lacunary常数$q$接近3，需要验证的例外情况急剧增加
   • 当$q \to 3^+$时，数值计算的负担可能变得难以承受

未来方向

作者在论文中明确提出的方向：

1. 降低lacunary常数：

   "New ideas are needed to tackle the problem with lacunary spectrum with constant $1 + \epsilon$ for $\epsilon$ small."

   
   挑战在于：
   • 当$q < 3$时，方程(6)的解数量激增
   • 混合型例外的结构更加复杂
   • 可能需要Bessel积分的更深刻性质
2. 边界情况$q=3$：
   • $\{0\} \cup \{\pm 3^n\}$是特别重要的测试案例
   • Example 5已经分析了其例外结构（只有一个基本例外$3 = 5-1-1 = 1+1+1$）
   • 可能需要针对性的技术处理这一临界情况

其他潜在方向：

3. 一般稀疏集合：
   • 能否将结果推广到非lacunary但足够稀疏的集合？
   • 如何量化"足够稀疏"的条件？
4. 高维推广：
   • 本文方法能否适用于$d \geq 3$的lacunary频谱情况？
   • 高维的组合复杂性将显著增加
5. 计算方法改进：
   • 发展更高效的Bessel积分数值算法
   • 寻找$F(n_1,n_2,n_3)$的更精确渐近展开
6. 完全解决Conjecture 1：
   • 对一般$L^2(S^1)$函数证明该猜想仍是开放问题
   • 需要突破性的新想法，可能涉及完全不同的方法

深度评价

优点

1. 技术创新性强

• Lemma 4的分类结果是本文的核心贡献，将抽象的$P(3)$例外问题归结为两个具体方程，展现了深刻的组合洞察
• 处理非$P(2)$-集合的技术是全新的，突破了前人工作的根本障碍
• 参数化不等式的优化（选择$b=6.66$）体现了精细的技术掌控

2. 理论与计算的完美结合

• 将问题分解为：大值用渐近分析 + 小值用数值验证
• Lemma 8提供了可靠的数值逼近工具（误差控制在$10^{-2}$）
• 所有数值计算都有明确的范围和精度保证，确保证明的严格性

3. 结果的显著性

• 将lacunary常数从5降至3是实质性进展，涵盖了$\{0\} \cup \{\pm 4^n\}$等重要例子
• Example 5清晰展示了方法的威力，将复杂的例外结构简化为简单表达式
• 极值函数唯一性的证明（等号条件）是完整的

4. 论文写作清晰

• 引言部分充分说明了问题背景和技术难点
• 关键引理（Lemma 4, 7, 8）陈述清晰，证明严谨
• Example 5提供了极好的直观理解
• 明确指出了方法的局限性和未来方向

5. 方法论价值

• 提供了研究lacunary频谱Fourier扩张问题的系统框架
• 组合分类 + Bessel积分估计的范式可能适用于其他问题
• 为进一步降低lacunary常数提供了明确的路线图

不足

1. 方法的适用范围受限

• 对$q \leq 3$无能为力，作者自己也承认需要"new ideas"
• 高度依赖lacunary结构，难以推广到一般稀疏集合
• 对非对称频谱的适用性不明确

2. 数值计算的依赖性

• 虽然精度足够，但理想情况下希望有纯解析证明
• 对于$q \to 3^+$的情况，计算负担可能成为瓶颈
• 数值验证的范围（如$n < 340$）虽然充分，但缺乏理论上的必然性解释

3. 技术细节的复杂性

• 不等式系统(9)-(13)非常繁琐，涉及多种情况的分类讨论
• $\epsilon_D$的选择策略虽然有效，但缺乏统一的理论指导
• 证明的某些部分（如参数$a \in \{-1,0,1\}$的定义）显得有些技巧性

4. 与完全解决Conjecture 1的距离

• 即使lacunary常数降至接近1，仍然只是特殊函数类
• 从lacunary频谱到一般$L^2$函数的跨越仍然遥远
• 没有提供关于一般情况的新洞察

5. 实验部分的局限

• 没有提供PARI-GP代码或详细的计算流程
• 数值结果只给出了不等式的验证，没有探索$F$函数的更深刻性质
• 缺少对临界情况（如$q$接近3时）的数值实验

影响力评估

对领域的贡献：

• 在Fourier限制理论的尖锐常数问题上取得实质性进展
• 为Conjecture 1在更广泛函数类上的成立提供了强有力的证据
• 发展的技术工具（Lemma 4的分类框架）可能启发后续研究

实用价值：

• 直接应用有限（这是纯数学理论研究）
• 但Fourier限制理论在偏微分方程、几何测度论等领域有重要应用
• 方法论对相关问题（如其他几何对象的扩张不等式）有参考价值

可复现性：

• 理论证明完全可验证（基于已发表的引理和标准技术）
• 数值计算可复现（使用公开的PARI-GP系统）
• 但论文未提供代码，完全复现需要一定工作量

长期影响：

• 如果未来有人成功将$q$降至接近1，本文的技术将是重要基础
• 如果Conjecture 1最终被完全证明，本文将是关键的里程碑之一
• 即使最终证明采用完全不同的方法，本文对lacunary情况的理解也有独立价值

适用场景

直接适用：

• 频谱为$\{\pm \lambda_n\}$且$\lambda_{n+1}/\lambda_n > 3$的$L^2(S^1)$函数
• 特别地：$\{0\} \cup \{\pm 4^n\}$, $\{0\} \cup \{\pm 5^n\}$等几何级数

潜在推广：

• 可能适用于lacunary常数略小于3的情况（需要更多数值工作）
• 方法框架可能适用于其他lacunary结构的调和分析问题
• 组合分类技术可能在其他涉及多重求和的问题中有用

不适用：

• 一般的$L^2(S^1)$函数（这仍是开放问题）
• lacunary常数接近1的情况（需要新想法）
• 非lacunary的稀疏集合（方法依赖于强lacunary性质）

综合评分

• 创新性: ★★★★☆ (4.5/5) - 在已有框架下取得重要突破，但未开辟全新方向
• 严谨性: ★★★★★ (5/5) - 证明完整严密，数值计算有充分保证
• 重要性: ★★★★☆ (4/5) - 对特定问题有实质进展，但距离完全解决仍远
• 清晰度: ★★★★☆ (4.5/5) - 写作清晰，但技术细节复杂
• 影响力: ★★★★☆ (4/5) - 将成为该方向的重要参考文献

总体评价：这是一篇高质量的理论数学论文，在Fourier限制理论的一个困难问题上取得了扎实的进展。虽然距离完全解决Conjecture 1仍有距离，但本文发展的技术工具和获得的部分结果都具有重要价值。对于从事调和分析、特别是Fourier限制理论研究的学者，这是必读的文献。

参考文献（精选）

本文直接基于的工作：

• 9 V. Ciccone and F. Gonçalves. Sharp Fourier extension on the circle under arithmetic constraints. J. Funct. Anal., 286(2):Paper No. 110219, 2024.

Fourier限制理论的奠基性工作：

• 11 D. Foschi. Global maximizers for the sphere adjoint Fourier restriction inequality. J. Funct. Anal., 268(3):690–702, 2015.
• 4 E. Carneiro, D. Foschi, D. Oliveira e Silva, and C. Thiele. A sharp trilinear inequality related to Fourier restriction on the circle. Rev. Mat. Iberoam., 33(4):1463–1486, 2017.

带限函数方法：

• 16 D. Oliveira e Silva, C. Thiele, and P. Zorin-Kranich. Band-limited maximizers for a Fourier extension inequality on the circle. Exp. Math., 31(1):192–198, 2022.
• 1 J. Barker, C. Thiele, and P. Zorin-Kranich. Band-limited maximizers for a Fourier extension inequality on the circle, II. Exp. Math., 32(2):280–293, 2023.

极值函数的存在性：

• 17 S. Shao. On existence of extremizers for the Tomas-Stein inequality for $S^1$. J. Funct. Anal., 270(10):3996–4038, 2016.

报告完成日期: 2025年（基于论文发表日期October 27, 2025）