双法向流如何建模三维涡丝动力学？

用局部近似替代 Biot-Savart 积分

模型的对象是涡丝：流体的涡量是一个向量测度，其支撑集落在三维空间中的一条曲线 χ(s,t) 上，该曲线以弧长 s 为参数并随时间 t 演化。在曲线之外，速度场由 Biot-Savart 积分给出；但要在曲线本身上计算这个积分，会被它的奇异性挡住。课程采用局部诱导近似（Localized Induction Approximation），只保留该积分的局部效应；在对时间做对数重整化之后，涡丝沿副法向运动，速度与曲率成正比，于是得到 χt = χs ∧ χss。

论文明确指出这是一个纯理想化模型，最早出现在 Da Rios 1906 年的工作中，1965 年由 Arms 和 Hama 重新推导，作为欧拉方程下涡丝动力学的一种近似。它的目的是为涡丝、并有可能为湍流理论提供一个合适的玩具模型。作者也说明了一个明显缺点：模型无法排除真实流体中不存在的动力学，例如闭合曲线在该流下保持长度，而流体中会出现丝化现象。

这个近似是否成立，就是涡丝猜想：能否证明存在欧拉方程的解，其涡量在长时间内始终集中在一条按双法向流演化的曲线上？论文指出，一般情形下这仍是开放问题，并列出了一些部分结果，其中包括 Fontelos 与 Vega 2023 年的结果：对于从无自交的正则闭合曲线出发的 Giga-Miyakawa 解，其首阶行为相当于一个 Lamb-Ossen 涡，适配于一条按适当归一化的双法向流运动的曲线。

三个方程描述同一条涡丝

模型的分析价值来自一串等价关系。如果 χ 是双法向流的解，它的切向量 T = χs 满足 Tt = T ∧ Tss，即球面 S2 上的一维薛定谔映射，论文把这一结构与 Landau-Lifshitz 铁磁理论联系起来。另一方面，Hasimoto 变换把双法向流转化为聚焦型一维三次非线性薛定谔方程。

这不是三个互相竞争的模型，而是同一个对象的三种描述，每种描述都提供另外两种所缺的工具。薛定谔映射的视角揭示了切向量始终停留在球面上的几何约束。非线性薛定谔方程的视角则把关于曲线稳定性的问题转化为一个色散方程的散射问题。论文强调，这里涉及的非线性薛定谔方程解处于低正则性区域，因此标准的守恒律无法使用，需要引入新工具。

论文给出的收益示例是自相似角点。作者聚焦于奇异涡丝，即除角点状奇点外处处光滑的曲线，因为实验中的涡旋似乎由自相似曲线构成：同一图像在不同尺度上重复出现，顶点附近近似圆形，而螺旋线的轴从角点发出。相应的自相似解在正时刻是实解析的，在初始时刻呈 V 形。

高斯因子决定角点角度

对于自相似族，论文给出了显式的渐近描述。解 χa = √t Ga(s/√t) 与两条直射线 A+a s（s ≥ 0）和 A−a s（s < 0）的距离不超过 a√t，因此角点在渐近上就是两条射线在顶点相交。向量 A±a 是单位向量，其分量满足 A+a1 = A−a1 = e^(−πa²/2)，而第二、第三分量在两侧变号。

第一个分量承载了几何信息：论文给出 sin(θ/2) = A±a1 = e^(−πa²/2)，其中 θ 是 A+a 与 −A−a 之间的夹角。因此参数 a 控制角点的尖锐程度，同一个指数也出现在双曲情形中，只是符号模式不同。论文还记录了一个以 a 表示的自交阈值：存在 0 < a0 ≤ a1 < +∞，使得当 a < a0 时 χa 无自交，当 a ≥ a1 时只有有限个自交。

渐近展开还显示了非线性如何进入。相关线性方程的两个独立解具有色散关系 φ(ξ) = ξ² − (a²/2) log|ξ|，因此论文把非线性效应描述为对自由演化仅作对数修正。这是关于这一自相似构造的陈述，并不表示非线性在一般情况下可以忽略。

角点稳定性转化为散射问题

论文的稳定性主张是角点在扰动下仍然存在：如果从一条接近自相似解的涡丝出发，角点仍会形成。证明这一点的途径是 Hasimoto 对应，它把稳定性问题转化为三次非线性薛定谔方程解的散射问题。

限定条件与结论本身同样重要。由于相关的非线性薛定谔方程解处于低正则性区域，论证不能依赖标准守恒律，论文表示为此引入了新工具。因此，稳定性结果应理解为关于特定自相似角点解及其在该函数空间设定内扰动的陈述，而不是对任意涡丝数据的普遍稳定性定理。

多边形涡丝以转轴形式重现

对于多个角点，论文处理了多边形初始数据。Jerrard 和 Smets 给出了覆盖此类数据的整体存在性定理，并模拟了单位正方形，它似乎在某一时刻重新出现，但坐标轴相对初始方向转了 π/4。课程更进一步：对于有 M 条边的正多边形，在时刻 tp,q = (2π/M²)(p/q)（p 与 q 互素）会出现另一个多边形；除 q = 2 外，当 q 为奇数时得到有 Mq 条边的斜多边形，当 q 为偶数时得到有 Mq/2 条边的斜多边形。

机制是相应非线性薛定谔方程中的 Talbot 效应。在有理时刻，解可以写成初始数据平移的有限叠加，论文通过计算广义二次高斯和得到这一点；所得多边形相邻边的夹角恒定，形状由高斯和的相位决定。论文提到，关于 cos(ρ) = 2cos^(2/q)(π/M) − 1（q 为奇数）和 2cos^(4/q)(π/M) − 1（q 为偶数）的猜想已在别处得到形式化论证。

转轴情形就是 q = 2 的实例：高斯和在一半情形下为零，因此该时刻的多边形有 M 条边而不是 2M 条边，论文由此解释 π/M 的旋转。作者把这一点与非圆喷流中已有记录的观测联系起来，也联系到一个家用烟炮实验：等边三角形孔洞在 M = 3 时表现出翻转，转轴角为 π/6；同时指出黏性会使角点变平滑。

黎曼型函数追踪多边形角点

单个角点的轨迹是模型与数论相遇之处。De la Hoz 和 Vega 在数值上观察到，黎曼不可微函数的一个轻微变体 φ(t) = Σ_{n∈Z} (e^(2πin²t) − 1)/n² 能很好地表示多边形涡旋的角点轨迹；Banica 和 Vega 随后在一定假设下证明，当 M → +∞ 时，重标度后的轨迹 MχM 收敛到平面曲线 φx0(t) = Σ_{n≠0} e^(2πi(n²t + nx0))/n²。

论文报告，这一函数此后得到了分析：当 x0 为有理数时，它满足湍流理论中的 Frisch-Parisi 多重分形形式；当 x0 为无理数时，它表现出多重分形行为。分形结构在一维非线性薛定谔方程的线性层面就已出现：初始数据为分段常数时，有理时刻给出平移的有限重叠，无理时刻给出分形轮廓。课程把这一思路推广到以狄拉克分布之和表示的带角点涡丝。

玩具模型与真实流体的接合处

论文谨慎对待理想流与真实流体之间的差距。直线、圆和螺旋线既存在于实验中，也作为欧拉方程的解存在，但作者指出，这并不能排除模型中存在非流体的动力学。论文报告的最强桥梁是 Fontelos-Vega 关于无自交正则闭合曲线的结果，并指出能否把它推广到允许初始涡丝含角点的更奇异解，仍是开放问题。

实验上的对应被呈现为提示性而非结论性。自相似解被比作流经三角翼的流动，转轴现象则与非圆喷流以及椭圆形、矩形、正方形或等边三角形喷嘴的观测联系起来。烟炮实验展示了 M = 3 的翻转，但论文表示，Talbot 效应预言的六边斜多边形尚无定论，需要进一步证据。

因此，论文确立的重点是具体的：自相似角点及其高斯角度因子 e^(−πa²/2) 和通过非线性薛定谔方程散射得到的稳定性，是双法向流与观测到的涡旋结构之间证据最充分的联系；而多边形与 Talbot 预言虽有数学推导和数值支持，在实验上仍属开放。读者在权衡这个模型时，应把角点结果与多边形预言视为不同层级的证据，而不是一个统一的结论。

本文引用的文献