用神经网络找波动方程极值解,既验证已有结论又发现新现象。
Neural Discovery of Strichartz Extremizers

- 用神经网络优化斯特里查茨比值,寻找极值函数的临界点。
- 在1、2维中精确复现高斯极值解,误差小于千分之一。
- 在无法收敛时发现呼吸子解,揭示未被证明的极限结构。
斯特里查茨不等式是现代色散型偏微分方程理论的核心,但其极值函数仅在少数精确情形下已知。由于相关泛函非凸,问题极难,且此前尚无系统性数值方法。本文提出一种基于神经网络的简化流程,将极值函数搜索转化为斯特里查茨比值的临界点求解,并应用于三个场景。首先,在薛定谔群上,成功在 $d=1,2$ 维恢复了 Foschi 与 Hundertmark--Zharnitsky 的高斯极值解,相对误差低于 $10^{-3}$,且无需任何解析先验。其次,在 $d=1$ 维共59个可接受参数对(答案为推测)中,该方法始终找到高斯解,支持‘高斯是可接受范围内的普适极值’这一猜想。第三,在临界艾里-斯特里查茨不等式 $γ=1/q$ 情形(存在性尚未证明)下,优化过程不收敛至任意 $L^2$ 型函数,而是形成内部频率 $α$ 递增的 mKdV 呼吸子 $B(0,ullet;α,1,0,0)$,且所获比值以幂律 $\sim α^{-0.9}$ 从下方逼近弗兰克-萨宾通用下界 $\widetilde A_{q,r}$。独立采用赫尔米特基基底方案亦得相同图像。据此提出精确猜想:上确界等于 $\widetilde A_{q,r}$,沿呼吸子族趋近但不可达。该流程既可用于已知情形的验证,也可作为未知情形下的发现工具。
原文摘要 · Abstract (English)
Strichartz inequalities are a cornerstone of the modern theory of dispersive PDEs, but their extremizers are known explicitly only in a handful of sharp cases. The non-convexity of the underlying functional makes the problem hard, and to our knowledge no systematic numerical attack has been attempted. We propose a simple neural-network-based pipeline that searches for extremizers as critical points of the Strichartz ratio, and apply it in three settings. First, on the Schrödinger group we recover the Gaussian extremizers of Foschi and Hundertmark--Zharnitsky in dimensions $d=1,2$ to within $10^{-3}$ relative error, with no analytical prior. Second, on $59$ further admissible pairs in $d=1$ where the answer is conjectural, the method consistently finds Gaussians, supporting the conjecture that Gaussians are the universal extremizers in the admissible range. Third, on the critical Airy--Strichartz inequality at $γ=1/q$, where existence is open, the optimization does not converge to any $L^2$ profile: instead, the iterates organize themselves as mKdV breathers $B(0,\cdot;α,1,0,0)$ with growing internal frequency $α$, and the discovered ratio approaches the Frank--Sabin universal lower bound $\widetilde A_{q,r}$ from below with a power-law gap $\simα^{-0.9}$. We confirm the same picture with an independent Hermite-basis ansatz. We propose a precise conjecture: the supremum equals $\widetilde A_{q,r}$ and is approached, but not attained, along the breather family. The pipeline thus serves both as a validator on known cases and as a discovery tool when no extremizer exists.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。