[论文解读] Stability of the Faber-Krahn inequality for the Short-time Fourier Transform

Jaime Gómez, André Guerra+2 more|arXiv (Cornell University)|Jul 18, 2023

Spectral Theory in Mathematical Physics被引用 1

一句话总结

本文在短时傅里叶变换（STFT）背景下，为 Faber-Krahn 不等式建立了精确的定量稳定性估计，表明若某函数的 STFT 几乎在集合 Ω 上达到最优集中，则该函数接近一个调制高斯函数，且 Ω 接近一个球体，其中通过缺陷 δ(f; Ω) 和 Fraenkel 对称性实现显式控制。所有界限均为完全定量的，包含显式常数，并可推广至高维空间。

ABSTRACT

We prove a sharp quantitative version of the Faber--Krahn inequality for the short-time Fourier transform (STFT). To do so, we consider a deficit $δ(f;Ω)$ which measures by how much the STFT of a function $f\in L^2(\mathbb R)$ fails to be optimally concentrated on an arbitrary set $Ω\subset \mathbb R^2$ of positive, finite measure. We then show that an optimal power of the deficit $δ(f;Ω)$ controls both the $L^2$-distance of $f$ to an appropriate class of Gaussians and the distance of $Ω$ to a ball, through the Fraenkel asymmetry of $Ω$. Our proof is completely quantitative and hence all constants are explicit. We also establish suitable generalizations of this result in the higher-dimensional context.

研究动机与目标

• 建立短时傅里叶变换（STFT）背景下 Faber-Krahn 不等式的定量稳定性版本，此前仅知等号成立条件。
• 通过结合缺陷 δ(f; Ω) 衡量函数 f 与集合 Ω 在 STFT 浓度不等式中接近最优的程度。
• 通过 L2 范数距离与 Fraenkel 对称性，分别量化 f 到最优高斯函数集合的距离以及 Ω 到球体的距离。
• 在稳定性估计中提供完全显式、可计算的常数，确保结果具有可量化性与可应用性。
• 将稳定性结果推广至高维情形（d ≥ 1），并识别估计中维度的依赖关系。

提出的方法

• 将缺陷 δ(f; Ω) 定义为 STFT 偏离最优集中界限 1 − e−|Ω| 的归一化度量。
• 利用 Fraenkel 对称性 A(Ω) 衡量 Ω 相对于球体的几何偏离，定义为与任意等测球体的归一化对称差的下确界。
• 建立定量稳定性估计：f 到最近调制高斯函数的 L2 距离被有界于 C · (e^{|Ω|} δ(f; Ω))^{1/2}，其中 C 为显式常数。
• 证明 Ω 的 Fraenkel 对称性被有界于 K(|Ω|) · δ(f; Ω)^{1/2}，其中显式常数 K(|Ω|) 依赖于 |Ω|。
• 运用时间-频率分析技术，包括高斯窗的相干态变换，并利用 STFT 作为 L2(R) 上有界算子的结构。
• 通过扩展 STFT 框架并适应高维情形下的缺陷与对称性度量，将结果推广至 Rd。

实验结果

研究问题

• RQ1 STFT 的 Faber-Krahn 不等式如何实现定量稳定化，即当集中程度接近最大时，f 与 Ω 需在多大程度上接近最优？
• RQ2 缺陷 δ(f; Ω) 与 f 到最优高斯函数距离之间可建立何种显式定量界限？
• RQ3 Ω 偏离球体的几何偏差在多大程度上可由缺陷 δ(f; Ω) 控制，其最优依赖关系为何？
• RQ4 稳定性估计在高维空间中表现如何，维度在常数中起何作用？
• RQ5 稳定性估计是否可完全显式化，包含可计算常数，且界限中的指数是否为最优？

主要发现

• f 到最近调制高斯函数的 L2 距离被有界于 C · (e^{|Ω|} δ(f; Ω))^{1/2}，其中 C 为显式可计算常数。
• Ω 的 Fraenkel 对称性被有界于 K(|Ω|) · δ(f; Ω)^{1/2}，其中显式常数 K(|Ω|) 依赖于 |Ω|。
• δ(f; Ω)^{1/2} 中的指数 1/2 是最优的：无法将其改进为 δ(f; Ω)^β（β > 1/2）。
• 界限中的指数因子 e^{|Ω|} 也是最优的：无法用 e^{β|Ω|}（β < 1）替代。
• 稳定性结果可推广至所有维度 d ≥ 1，稳定性估计在常数中表现出维度依赖性。
• 结果为完全定量的，所有常数均可显式计算，且证明依赖于时间-频率分析与几何不等式的结合。