AI 中文总结
研究透镜空间上热流能否产生莫尔斯极小函数，通过分析热流的渐近谱展开，证明对于特定透镜空间存在初始数据子集，使热演化在足够大\(t\)时成为有四个特定指数临界点的莫尔斯函数，给出相关现象严格解释。
AI 中文摘要
我们证明热流一般会在圆形透镜空间上产生莫尔斯极小函数。该结果对计算实验首次提出的一种现象给出了严格解释：在高频模式被扩散抑制后，透镜空间上的一般热演化倾向于稳定到具有尽可能少的临界点的莫尔斯函数。具体而言，对于每个满足\(p\geq2\)、\(1\leq q\leq p/2\)且\((p,q)=1\)的透镜空间\(L(p,q)\)，存在初始数据\(f\in L^2(L(p,q),\mathbb R)\)的一个开稠密子集，使得热演化\(e^{t\Delta}f\)（其中\(\Delta\)采用非正符号约定）对于所有足够大的\(t\)是一个恰好有四个指数为\(0,1,2,3\)的临界点的莫尔斯函数。证明分析了热流的渐近谱展开。在最微妙的情况\(1<q<p/2\)下，主导项是具有两个临界圆的莫尔斯 - 博特项，并通过共振傅里叶机制使更高热模式打破这些圆。一个算术估计表明基本约化频率主导所有更高倍数，并且相应共振系数的一般非零性给出了最小的临界点计数。
英文摘要
We prove that heat flow generically produces Morse-minimal functions on round lens spaces. The result gives a rigorous explanation of a phenomenon first suggested by computational experiments: after high-frequency modes have been suppressed by diffusion, generic heat evolutions on lens spaces tend to settle into Morse functions with the smallest possible number of critical points. Precisely, for every lens space \(L(p,q)\) with \(p\geq2\), \(1\leq q\leq p/2\), and \((p,q)=1\), there is an open dense set of initial data \(f\in L^2(L(p,q),\mathbb R)\) such that the heat evolution \(e^{tΔ}f\), where \(Δ\) is taken in the non-positive sign convention, is, for all sufficiently large \(t\), a Morse function with exactly four critical points, of indices \(0,1,2,3\). The proof analyzes the asymptotic spectral expansion of the heat flow. In the most delicate case \(1<q<p/2\), the leading term is Morse--Bott with two critical circles, and the higher heat modes break these circles through a resonant Fourier mechanism. An arithmetic estimate shows that the fundamental reduced frequency dominates all higher multiples, and generic nonvanishing of the corresponding resonant coefficients gives the minimal critical-point count.
Comments41 pages, 0 figures
