生成时间: 2026年10月02日 09:01:55

运行状态: 完成

计划处理论文数量: 50

已完成论文数量: 50

未完成论文数量: 0

重点关注论文数量: 5

了解领域论文数量: 17

不相关论文数量: 28

重点关注论文（完整分析）

1. 可压缩定常水波

Compressible steady water waves

作者: Abba Ramadan, Samuel Walsh

类别: math.AP

发布日期: 2026-10-01

arXiv ID: 2610.01883v1

摘要翻译: 本文研究小振幅和大振幅可压缩水波的存在性。这些水波是二维自由边界等熵 Euler 方程组的解，方程组受到恒定重力作用，并忽略表面张力的影响。我们研究真空下的周期波和孤立波，以及通道中两相问题的前沿型解。利用局部分岔和全局分岔技术，我们构造了这些水波的大量解族：从一个不可压缩解出发，并将马赫数（以适当的方式定义）作为分岔参数。这为经典的 Janzen–Rayleigh 展开提供了严格的版本，同时也给出了可能极限于跨声速流的解曲线。

Comment: 无

链接: http://arxiv.org/abs/2610.01883v1

1. 研究对象和背景

本文研究无黏、无旋、等熵可压缩流体在重力作用下的定常行波及其自由边界。单相问题中，流体区域记为 $$D$$ ，下方由水平刚性底床约束，上方自由表面记为 $$S$$ ；自由表面上方是真空或恒定压力区域，不计表面张力。流体密度为 $\rho>0$ ，速度由相对速度势 $\varphi$ 给出。状态方程取多方律

p=P(\rho)=\frac{\alpha^2}{\gamma}\left[\left(\frac{\rho}{\rho_s}\right)^\gamma-1\right],\qquad \gamma\geq 1,

其中 $\rho_s$ 是自由表面密度，声速满足 $c^2=P'(\rho)=\alpha^2\rho^{\gamma-1}/\rho_s^\gamma$ 。在随波速平移的坐标系中，对质量守恒和动量方程作势流化，并通过伯努利关系消去密度后，作者得到无量纲定常方程。令 $$F^2=U^2/(gL)$$ 为平方 Froude 数， $\mu$ 为按文中定义的平方 Mach 参数，则单相流满足

\Delta\varphi=\mu\left(\nabla\varphi\cdot\nabla+(\gamma-1)\Delta\varphi\right)\left(\frac12|\nabla\varphi|^2+\frac{y}{F^2}\right)\quad\text{in }D,

以及自由表面上的动力学条件、运动学条件和底床无穿透条件

\frac12|\nabla\varphi|^2+\frac{y}{F^2}=Q,\qquad \nu\cdot\nabla\varphi=0\quad\text{on }S,\qquad \partial_y\varphi=0\quad\text{on }B.

这里 $$Q$$ 是自由表面的 Bernoulli 常数， $\nu$ 是流体区域的外法向量。 $\mu=0$ 时方程退化为不可压缩调和势流问题；有限 $\mu$ 时方程呈现拟线性结构，且密度正性和方程椭圆性与亚声速条件紧密相关。文章考察三类几何：周期性自由表面波、上下游趋于同一平坦状态的孤立波，以及两种不可混溶流体之间具有不同上下游极限高度的内部前沿。内部前沿问题采用两层流体、等温状态方程和各自的声速参数；其界面压力连续而密度允许跳跃，水平边界固定。摘要与引言说明，这些波动可能与声学波和重力波的共振、微震及火山喷发诱发的海啸传播等现象相关，但本文的核心贡献是对完整等熵 Euler 模型中的定常波给出严格存在性构造，而不是对这些物理机制作新的建模或数值验证。

问题的分析难点在于自由边界未知、流体方程随压缩性参数变成拟线性系统，而且解可能大振幅，不能只依靠平坦界面附近的小振幅展开。对周期波和孤立波，作者从已有的不可压缩解出发，询问该解能否在小 Mach 参数下延拓为可压缩解；对周期波还进一步问这些解能否沿解曲线延拓到有限 Mach 数，以及延拓失效时可能出现何种退化。对于双层前沿，自由界面两侧都需同时处理，且上下游状态不同，函数空间设置和固定区域变换均比单相周期问题复杂。本文试图填补的主要空白，是把以往针对弱非线性模型或形式渐近展开的压缩性水波研究，推进到完整自由边界等熵 Euler 方程的严格定常解存在理论，并说明小压缩性构造如何与有限 Mach 数的全局延拓相连。

2. 主要定理或主要结果

定理 1.1，轻微可压缩的周期波。给定不可压缩解 $(\varphi_0,S_0,Q_0,F_0)$ ，其平方 Mach 参数为 $\mu=0$ 。若该解满足文中相应的非退化条件，且流体区域及势函数具有固定周期 $2\pi/k$ ，则存在实解析解曲线

\mathcal C^{\mathrm{per}}_{\mathrm{loc}}=\{(\varphi_\mu,S_\mu,Q_\mu,\mu):|\mu|\ll1\},

其中 Froude 数固定为 $$F_0$$ ，并在 $\mu=0$ 取回原不可压缩解。解不要求小振幅；基准自由表面可以远离平坦状态。严格版本见定理 3.3。文中还指出，非退化条件对通过解析全局分岔构造的许多不可压缩波族具有一般性：除离散个退化解外，其余解非退化。

定理 1.1，轻微可压缩的孤立波。若不可压缩孤立波非退化，则在固定 $$F=F_0$$ 、 $$Q_0=1/2$$ 的设定下，存在实解析曲线

\mathcal C^{\mathrm{sol}}_{\mathrm{loc}}=\{(\varphi_\mu,S_\mu,\mu):|\mu|\ll1\},

其解仍为孤立波，且在 $\mu=0$ 回到给定解。孤立波上下游均趋于平坦，且具有相同的极限水深。严格版本见定理 3.7。

Janzen–Rayleigh 展开的严格化。上述解析曲线意味着，在适当函数空间中可将势函数及自由边界对 $\mu$ 作收敛的局部幂级数展开，而不只是形式渐近展开。例如

\varphi_\mu=\varphi_0+\sum_{m\geq1}\mu^m\varphi_m.

自由边界也须随 $\mu$ 修正。文中给出一阶势函数和边界修正所满足的方程编号为 (3.14)、(3.15)，并说明原则上可逐阶求出任意阶修正；所提供摘录没有列出这两个方程的具体形式，也未给出级数收敛半径的显式下界。

定理 1.5，周期波的有限 Mach 数全局延拓。由定理 1.1 的局部轻微可压缩波族出发，存在连续参数化的全局解曲线

\mathcal C^{\mathrm{per}}=\{(\varphi(s),S(s),Q(s),\mu(s)):s\in[0,\infty)\},

且包含局部曲线 $\mathcal C^{\mathrm{per}}_{\mathrm{loc}}$ 。当 $s\to\infty$ 时，至少发生以下一种情形：

N_c(D(s))+N_v(\varphi(s),\mu(s))\longrightarrow\infty,

其中 $$N_c$$ 是文中定义的共形映射退化量，控制映射导数及边界单射性的退化， $N_v=\|\varphi\|_{C^{2+\beta}_{\mathrm{per}}(D)}+|\mu|$ 控制速度势的高阶范数和参数；或者流动趋近声速，

\lim_{s\to\infty}\inf_{D(s)}\big(c(s)^2-|\nabla\varphi(s)|^2\big)=0;

或者自由表面上趋近停滞，

\lim_{s\to\infty}\inf_{S(s)}|\nabla\varphi(s)|=0;

或者解曲线闭合，即存在 $$T>0$$ 使参数化解以 $$T$$ 为周期重复。若发生闭合，则该曲线必包含两个不同的不可压缩解。该定理是替代结论，不声称全局曲线必然达到声速，也不排除范数或几何退化。所提供材料给出了定理 1.5 的陈述，但未展示定理 4 章中的完整技术假设。

定理 1.7，轻微可压缩的双层内部前沿。若不可压缩内部前沿 $(\varphi_+^0,\varphi_-^0,h_0)$ 满足文中非退化条件，则存在实解析局部曲线

\mathcal C^f_{\mathrm{loc}}=\{(\varphi_+^\mu,\varphi_-^\mu,h^\mu,\mu):|\mu|\ll1\},

在 $\mu=0$ 回到该不可压缩前沿。前沿可具有不同的上下游极限高度，故并非小振幅扰动的同义词；文中还指出，这些族可包含界面任意接近翻转的解。严格陈述见定理 5.9 和推论 5.11。作者对有限 Mach 数的孤立波和前沿只说明类似延拓在方法上可行且会有额外困难；本摘录没有给出相应全局延拓定理。

3. 研究方法、关键技术和核心工具

局部构造的关键不是直接对自由边界方程作形式级数代入，而是先把未知区域变换到固定参考区域，再把方程写成关于函数和参数 $\mu$ 的解析算子方程。对二维周期单相波，作者利用共形映射 $$f$$ 将未知物理流体域映到固定水平条带 $D=\{\zeta=\xi+i\eta:-kh<\eta<0\}$ ，使底边对应刚性底床、上边对应自由表面，并用周期条件固定映射的平移行为。势函数也在该坐标中表达。这样，移动边界及其几何变量被纳入固定区域上的未知量，局部问题可归结为解析隐函数定理。非退化条件的作用是保证在不可压缩基准解处，对未知函数线性化后的算子可逆；于是 $\mu$ 可作为参数，得到实解析解曲线，而不仅是逐阶形式解。摘录称轻微可压缩周期波实际上构成二维流形，但没有给出该流形的完整参数化细节。

解析曲线还解释了 Janzen–Rayleigh 构造为何可严格化。把解析隐函数定理所得的解对 $\mu$ 展开，系数满足由原非线性系统逐阶展开产生的线性问题。势函数与自由边界必须同时修正；若只展开势函数而固定界面，便遗漏了自由边界耦合。该框架的实质优势是解析性直接给出局部幂级数表示的有效性，避免把渐近级数的形式推导误当成存在性证明。摘录未提供一阶修正方程 (3.14)、(3.15) 的内容，因此不能进一步核实每阶源项和边界算子的具体表达式。

周期波的有限 Mach 数结果依赖解析全局隐函数定理。局部非退化解作为起点，沿解集作全局延拓；证明需要控制解集上的 Fredholm 性和紧性，不能只把局部隐函数定理反复应用。作者把物理区域椭圆性与亚声速条件联系起来，并使用 Agmon–Douglis–Nirenberg 系统椭圆正则性建立紧性所需的估计。这里的结构困难在于压缩性方程是拟线性的，最高阶项与未知量完整耦合。相较于半线性问题，不能直接沿用基于较低阶速度界的常规自举来控制 $C^{2+\beta}$ 范数。因此全局替代结论中显式保留了速度势高阶范数可能发散这一选项，而不是预先断言有界速度必然带来足够的高阶紧性。共形映射退化、声速差趋零以及自由表面停滞则分别代表几何参数化、椭圆性和边界速度方面的潜在失效机制。

双层前沿不能照搬单相共形映射方案：两层流体若分别作共形映射，一般会在共同界面上诱发不相容的参数化。作者改用较直接的展平变换，以依赖水平变量的垂直缩放把两层区域变成固定宽度的区域。其代价是变换后的方程更复杂。前沿上下游具有不同极限状态，函数空间必须适配两端不相同的渐近行为，这使 Fredholm 与非退化分析比周期波或同态孤立波更细致。作者最终证明，流函数表述下不可压缩前沿的非退化性可推出其新变量表述中的非退化性，再应用隐函数定理构造轻微可压缩前沿。摘录没有展示相应加权空间、线性算子和端态匹配估计的具体定义，因而无法据此重构这些技术细节。

总体而言，作者的主要技术组织是：固定区域变换处理自由边界，非退化性提供局部线性可解性，解析隐函数定理给出小 $\mu$ 的精确解族，全局解析分岔理论提供周期解的长程延拓，而系统椭圆正则性给出延拓过程中的紧性与失效分类。真正的难点和贡献在于把这些工具适配到含自由边界的拟线性压缩流系统，并分别处理周期/孤立几何与双层异态前沿，而不是简单地罗列一般性的能量估计或紧性方法。

4. 与之前工作的比较

与 Longuet-Higgins [25] 及 Rayleigh [30] 的历史脉络相比，本文所讨论的压缩性效应并非新物理设想：Longuet-Higgins 曾将压缩性与海底微震联系起来，Rayleigh 推导过等温情形中的相关势流方程；Janzen [19] 和 Rayleigh [30] 所代表的 Janzen–Rayleigh 方法，则通过 Mach 参数的形式幂级数构造压缩性修正。作者明确指出，应用文献中广泛使用这类形式方法，但本文引言所述的既有研究多针对弱非线性模型并依赖形式推导；据作者陈述，在其工作之前，完整等熵 Euler 系统的行波解尚无严格结果。本文的局部解析延拓为这类展开提供存在性基础，并同时修正自由边界，因此推进之处不只是更高阶计算，而是证明在非退化不可压缩解附近确有相应可压缩精确解。

与不可压缩水波理论相比，本文以已有不可压缩解为基点，而非从零开始重建大振幅波族。定理 1.1 的适用范围因此取决于基准解是否存在及是否非退化；它可继承基准波的大振幅几何，甚至据作者说明，可沿 Stokes 波族得到接近具有 120 度波峰角的压缩性波。但这不是说本文直接构造了压缩性极端波或证明了角点极限：严格结论是对每个适用的非退化不可压缩解在小 $|\mu|$ 邻域进行局部延拓。作者称非退化性对许多解析全局构造的波族是一般的，退化点至多为离散个；这一概括不能替代具体波族逐一核实其假设。

全局结果与不可压缩大振幅波的理论也有区别。定理 1.5 把周期压缩性解从小 Mach 参数起点沿解曲线延拓，并给出范数/共形几何退化、趋近声速、表面停滞或闭合的替代分类。它并未证明曲线必定到达跨声速状态，也没有排除其他列出的退化情形。作者指出，经典 Spielvogel 结果 [31, Theorem 3b] 说明不可压缩无旋重力水波的界面不能越过自身，因而可写成单值图像；该论证不适用于这里的可压缩系统。由于使用共形映射固定区域，本文的解曲线在参数化上允许潜在的悬垂界面，但作者明确承认，严格证明实际出现悬垂波仍极具挑战。因此，相较于不可压缩几何结论，本文的形式框架容许更一般的界面表示，却没有据此宣称已经构造出悬垂解。

对全局分析方法，作者特别比较了 Haziot 和 Wheeler [18] 关于不可压缩、常涡量孤立水波的工作：本文的周期全局延拓在使用共形映射和椭圆系统正则性方面受其启发，但压缩性问题为拟线性系统，而相关不可压缩问题是半线性的。最高阶未知量的完全耦合削弱了常见的自举论证，故本文将 $C^{2+\beta}$ 速度势范数发散保留为全局替代情形。这说明本文虽将延拓推进到有限 Mach 参数，却以更强的正则性控制困难和较宽的失效分类为代价。

与 Xie 和 Xin [37, 38] 的可压缩喷管结果相比，本文关注自由边界重力波而非无重力的刚性喷管流；引言指出 Xie–Xin 也将速度的 $C^{1+\beta}$ 爆破解作一种全局延拓替代。本文尝试把相近思路转到自由边界问题，并需额外处理界面几何及重力。作者将带涡量可压缩水波列为可能的后续方向，并未在本文中证明相应定理。引言还提到关于重力波与声学波共振、微震和 Hunga Tonga-Hunga Ha’apai 火山喷发相关海啸的工作 [21, 20, 39, 22, 5, 23, 29]，但这些研究的具体结论和本文定理之间的定量比较，从提供内容中无法确认；本文也不是对其线性稳定性或传播机制结果的直接延伸。

双层内部前沿方面，本文把局部解析延拓从单相表面波扩展到两相、密度可跳跃且上下游深度不同的前沿。所得结果仍限于轻微可压缩范围及不可压缩基准解非退化的条件；没有给出前沿的有限 Mach 全局延拓。与周期情形相比，证明需放弃便于二维单相几何处理的共形映射，改用垂直展平，并处理不同的上下游极限状态，分析结构更复杂。关于这些前沿与既有内部波或水力跃变理论的具体定理级比较，作者在所提供摘录中未显式展开，因此无法确认本文是否放宽了那些文献中的特定参数假设或正则性条件。总的来说，本文清楚推进的是完整方程下非退化不可压缩解的局部可压缩延拓，以及周期波的有限 Mach 全局替代理论；其结论并不等同于对任意参数下大 Mach 波、跨声速解、悬垂解或双层前沿全局存在性的证明。

2. 径向对称下古德利内爆激波的非线性稳定性

Nonlinear stability of the Guderley imploding shock wave in radial symmetry

作者: Giorgio Cialdea

类别: math.AP

发布日期: 2026-10-01

arXiv ID: 2610.01690v1

摘要翻译: 我们证明，在绝热范围 $1<γ\leq\frac{5}{3}$ 内，对于三维可压缩 Euler 方程，古德利内爆激波在径向扰动下是非线性稳定的。扰动解会在有限时间内形成渐近自相似内爆。我们的结果允许冲击波前方静止区域具有小的非零常压。证明结合了沿特征线的加权 $L^\infty$ 估计，以及对古德利剖面稳定性不等式的计算机辅助证明。

Comment: 无

链接: http://arxiv.org/abs/2610.01690v1

1. 研究对象和背景

本文研究三维可压缩 Euler 方程中的球对称 Guderley 内爆激波，在径向扰动下是否仍能形成相同类型的有限时内爆。内爆的核心机制是激波向原点聚焦，速度和声速随聚焦尺度缩小而增大；问题不仅在于给出一个精确的自相似解，还在于判断它对一般小扰动是否稳定，以及扰动是否会在到达内爆时刻之前导致其他奇异性。

研究的流体变量为密度 $\rho$ 、速度 $$u$$ 、压力 $$p$$ 和总能量 $$E$$ ，满足

\partial_t\rho+\nabla\cdot(\rho u)=0,\qquad \partial_t(\rho u)+\nabla\cdot(\rho u\otimes u+pI)=0,\qquad \partial_t E+\nabla\cdot((E+p)u)=0,

其中 $p=(\gamma-1)(E-\frac12\rho|u|^2)$ ， $\gamma>1$ 为绝热指数。取球对称形式 $u(x,t)=\frac{x}{|x|}u_r(r,t)$ ，并引入伪熵平方根 $b=(\gamma p/\rho^\gamma)^{1/2}$ 、参数 $\alpha=(\gamma-1)/2$ 及重标度声速 $\sigma=\alpha^{-1}\rho^\alpha b$ ，径向方程可写为

\begin{aligned} &\partial_t\sigma+u_r\partial_r\sigma+\alpha\sigma\left(\partial_r u_r+\frac{2u_r}{r}\right)=0,\\ &\partial_tu_r+u_r\partial_ru_r+\alpha\sigma\partial_r\sigma-\frac{\alpha\sigma^2}{\gamma b}\partial_rb=0,\\ &\partial_tb+u_r\partial_rb=0. \end{aligned}

解允许在移动球面 $$r=s(t)$$ 上有激波间断；激波速度与两侧状态须满足 Euler 方程的 Rankine–Hugoniot 条件，并满足 Lax 熵条件。本文所考察的背景解是向静止介质传播并聚焦的 Guderley 激波。其激波半径按自相似律收缩，外侧速度、声速具有同一尺度：

s(t)\sim(-t)^{c_r},\qquad u_r,\sigma\sim(-t)^{c_r-1},\qquad 0<c_r<1.

自相似指数 $$c_r$$ 不是由量纲分析直接确定，而是由自相似常微分方程解能否正则穿过声速点这一非线性特征值条件选出。基准构型在激波内侧为静止、常密度、零压介质；外侧由自相似剖面给出。

稳定性问题的设定是：在初始时刻 $$t=-1$$ ，激波位于 $$r=1$$ ，内侧状态为 $(\rho,u_r,p)=(1,0,p_0)$ ，其中 $p_0\geq0$ 足够小；外侧状态与 Guderley 解接近，并满足确保初始激波相容、可生成分片 $$C^1$$ 激波解的兼容条件。要证明这种扰动演化后不会偏离内爆机制，而是在某个有限时刻 $$t_*$$ 聚焦至原点，并在适当调制的自相似坐标中回到基准剖面。

这一问题的分析难点在于，方程是双曲型且存在激波边界，激波位置本身随解变化；同时，自相似线性化算子的特征结构在声速点发生变化。靠近激波的一个特征族指向激波，而另两个特征族向外传播；声速点两侧该特征族的传播方向改变。因此，通常的全区域能量估计难以直接给出闭合的衰减控制。既有工作已严格构造 Guderley 自相似解及其反射延拓，但该构造本身并不蕴含扰动稳定性。径向线性稳定性此前主要有数值证据，非径向研究则发现不稳定模态。本文的目标是建立径向非线性稳定性，并将背景内侧压力从严格为零推广到小的非零常数，同时控制激波、声速点两侧的特征传播和自相似剖面的长期演化。

2. 主要定理或主要结果

主定理为 Theorem 1.1 的缩略表述。固定空间维数 $$d=3$$ 、 $1<\gamma\leq5/3$ ，并取相应的 Guderley 剖面 $(\bar U,\bar\Sigma,\bar B)$ 及其自相似指数 $$c_r$$ 。在 $$t=-1$$ 给定分片 $$C^1$$ 的径向初值，初始激波位于 $$r=1$$ ；内侧状态为

(\rho,u_r,p)(r,-1)=(1,0,p_0),\qquad 0\leq r<1,

其中 $p_0\geq0$ 足够小。外侧初值与 Guderley 初值之差须在文中指定的加权 $$C^1$$ 范数下足够小，并满足 (4.36)、(4.37) 的激波兼容条件。则存在有限内爆时刻 $$t_*$$ ，且 $$t_*$$ 接近 $$0$$ ；初值发展为唯一的径向经典激波解，在 $-1\leq t<t_*$ 上存在，激波在 $$t_*$$ 收敛到原点。

激波半径和速度具有 Guderley 标度：

s(t)\simeq(t_*-t)^{c_r},\qquad -\dot s(t)\simeq(t_*-t)^{c_r-1}\quad(t\uparrow t_*),

其中 $f\simeq g$ 表示 $$f/g$$ 在内爆极限附近一致有界且与零保持正距离。速度和重标度声速满足

\|u\|_{L^\infty}(t)\simeq(t_*-t)^{c_r-1},\qquad \|\sigma\|_{L^\infty}(t)\simeq(t_*-t)^{c_r-1},

而密度保持有界。激波内侧对所有 $-1\leq t<t_*$ 仍为静止常态：速度恒为零，密度和压力保持常数；因此本定理允许 $$p_0$$ 为小的非零常数，而不要求冷气体条件 $$p_0=0$$ 。

在调制自相似变量中，外侧区域 $$R>1$$ 的场 $(\Sigma,U,B)$ 对所有自相似时间 $\tau\geq0$ 存在，并在文中 (6.3) 所规定的加权 $$C^1$$ 范数下指数收敛到 Guderley 剖面 $(\bar\Sigma,\bar U,\bar B)$ 。摘要和定理缩略表述未给出该范数的具体权函数、指数衰减常数、初值小量阈值，也未列出 (4.36)、(4.37) 的完整表达式；这些定量细节从提供内容中无法确认，不能据此补写。

上述存在与收敛结论还意味着内爆前没有其他激波或梯度奇异性形成：外侧的加权 $$C^1$$ 估计保证每个 $$t<t_*$$ 时梯度受控，内侧则保持常态。需要区分的是，定理明确给出的发散率是速度和声速的 $L^\infty$ 增长率；密度有界。尽管压力与这些变量存在状态方程联系，所提供的定理表述没有单独列出压力的渐近增长公式，故不额外断言其精确速率。

3. 研究方法、关键技术和核心工具

证明的首要困难不是单纯控制一组光滑解，而是同时处理随动激波边界、非线性自相似调制和声速点处特征方向改变。作者先将初值问题限制在激波外侧：由局部激波解唯一性，内侧初始常态继续保持静止、常密度及常压，因而外侧解通过 Rankine–Hugoniot 条件与该内态耦合。这样避免在内爆过程中对内区引入额外的演化未知量，但外侧边界数据仍须由激波条件精确确定。

在自相似分析中，作者引入依赖时间的尺度因子 $$C_r,C_u,C_b$$ 和调制函数 $$c_r,c_u,c_b$$ ，将物理变量写成 $$u_r=C_uU$$ 、 $\sigma=C_u\Sigma$ 、 $$b=C_bB$$ ，并取 $$R=r/C_r$$ 。调制自由度承担两个不同任务：令激波在新坐标中固定为 $$R=1$$ ；选择速度、熵变量的调制，使激波处未微分扰动衰减并简化跳跃条件。特别地， $$c_r$$ 固定为背景指数，而 $$c_u,c_b$$ 随解调节，且其偏差由激波处扰动控制。由此把移动边界问题化为固定半直线 $$R>1$$ 上的演化问题，并将边界误差变成随 $\tau$ 指数衰减的项。 $$p_0=0$$ 时相应边界误差恰为零；小的非零 $$p_0$$ 则产生可控的衰减误差，这正是允许非零内压的机制。

直接估计 $U,\Sigma,B$ 的零阶扰动不足以有效揭示特征耦合。作者在 $R\geq1$ 引入

V=\frac UR,\qquad Q=\frac\Sigma R,\qquad K=\log\left(\frac BR\right),

再构造类似 Riemann 不变量的微分组合

\begin{aligned} \mathring Z&=R\partial_RV-R\partial_RQ+\frac1\gamma QR\partial_RK,\\ \mathring A&=\frac\alpha\gamma QR\partial_RK,\\ \mathring W&=R\partial_RV+R\partial_RQ-\frac1\gamma QR\partial_RK. \end{aligned}

记 $Y=(\mathring Z,\mathring A,\mathring W)^\top$ ，则其方程具有对角主输运结构

\partial_\tau Y+T R\partial_RY+DY+N(Y,Y)=0,

其中特征速度为 $\Lambda_1=c_r+V-\alpha Q$ 、 $\Lambda_2=c_r+V$ 、 $\Lambda_3=c_r+V+\alpha Q$ 。减去稳态剖面方程后，扰动方程的右端可分解为背景系数误差、调制项、背景与扰动的双线性相互作用及扰动自相互作用。这一变量选择使证明能够沿各特征线做加权 $L^\infty$ 控制，并把边界调制与外侧微分估计放入同一闭合框架。

关键几何分界是唯一声速点 $$R_s>1$$ 。对 $$j=2,3$$ ，背景特征速度在 $R\geq1$ 满足严格正下界； $\Lambda_1$ 则在激波与声速点之间为负，在 $$R_s$$ 处为零，之后转正。因此证明分区进行。在 $$1<R<R_s$$ ，作者建立分别对应 $\mathring Z,\mathring A,\mathring W$ 的三个剖面不等式 (5.11)。其中 $\mathring Z$ 的剖面不等式保证线性化背景算子中 $$Z$$ 对角项产生的阻尼足以压过其余耦合项，因而可沿 $\Lambda_1$ 特征线积分得到衰减； $\mathring A$ 与 $\mathring W$ 的不等式则控制从激波发出的特征在到达声速点之前累积的放大。后两族的严格向外传播保证其在该有限区间内停留时间受控。通过连续性，这些估计可延伸至声速点稍后方的一条窄带。

这些剖面不等式涉及自相似剖面及其导数，解析上难以直接判号。作者的实质性技术之一是将剖面常微分方程化为相平面方程，构造由多项式和对数等初等函数组成的显式上下障碍，再把所需符号条件化为这些障碍所限定区域上的显式表达式判号。符号核验通过区间算术完成；附录 A 给出数学推导和障碍构造，附录 B 说明计算机辅助核验。因此计算机辅助部分服务于明确的解析不等式，而不是替代稳定性论证本身。

在声速点之后，特征族具有向外传播性质。作者在紧区间 $$[R_2,R_3]$$ 上选取权函数 $\psi$ ，利用输运项中的 $-TR\partial_R\log\psi$ 产生耗散；在 $R\geq R_3$ ，则利用矩阵 $$D$$ 的阻尼，并结合背景剖面的远场衰减估计控制剩余项。最后采用连续性自举：假设微分扰动和调制偏差按指定指数率衰减，沿特征线估计各区域的线性项、耦合项和非线性项，再用小初值及边界误差的衰减改善自举界，闭合全局自相似时间估计。远场权函数的构造受 Chen、Shkoller、Vicol 在 [13] 中径向稳定性论证启发；本文新增的关键环节是激波边界调制、激波至声速点区域的计算机辅助剖面不等式，以及非零内压所引入的衰减边界误差处理。

4. 与之前工作的比较

关于 Guderley 剖面本身，早期研究主要是半解析与数值方法。Jang、Liu、Schrecker [26] 给出了严格构造，并在 $1<\gamma\leq3$ 范围内处理自相似解的存在；其后续工作 [25] 建立反射延拓。Jenssen、Tsikkou [28] 证明内爆及后续反射构成 Euler 方程的真实弱解。Cialdea、Shkoller、Vicol [15] 则构造径向初值，使演化在奇异时刻前形成并匹配 Guderley 型增强激波。这些结果解决的是解的构造、延拓或形成问题，并不等同于对 Guderley 激波的扰动稳定性。本文从“存在该特殊解”推进到“开放的加权 $$C^1$$ 小扰动类中长期保持该内爆剖面并收敛”的非线性稳定结论。

关于稳定性，Morawetz [41] 研究了球形活塞驱动场景下的线性化问题，将问题化为穿过声速点的、依赖复模态参数的奇异二阶常微分方程，并以数值计算支持径向稳定；Chen、Zhang、Panarella [10] 也给出径向稳定的扰动计算证据。此前尚缺少径向非线性稳定的严格证明，也未解决内侧非零压力情形。本文的结果补上这一理论缺口，但结论针对球对称扰动，并非对一般三维非径向扰动的稳定性断言。与此相对，Brushlinskii、Kazhdan [4] 以及 Wu、Roberts [53] 的非径向线性数值研究发现不稳定模态；其他近似模型研究也给出类似迹象。本文严格论证的是“径向稳定”这一方向，不消除已有工作所指出的非径向不稳定可能性。

假设与参数范围方面，本文允许内侧压力 $$p_0$$ 小而非零，但要求其为空间常数，并要求外侧扰动满足文中指定的加权 $$C^1$$ 小性及激波兼容条件。因此它超出了原始冷气体内态 $$p_0=0$$ 的设定，却没有在本文中处理一般非恒定内态。作者在 Remark 1.5 说明，类似策略可望用于小的非恒定内态：内区可先独立估计，外区再由跳跃条件导出相应控制；但该推广未在本文证明。参数范围上，剖面构造 [26] 覆盖至 $\gamma\leq3$ ，本文稳定性定理仅覆盖三维且 $1<\gamma\leq5/3$ 。作者表示预期技术可经小幅修改适用于其余参数范围，但这只是预期，不是当前定理的结论。

与光滑内爆的稳定性理论相比，Merle、Raphaël、Rodnianski、Szeftel [38,39] 等研究构造并分析光滑等熵内爆剖面，所得稳定性具有有限余维；相关工作并未给出不稳定流形维数的定量界，且数值研究 [3] 指出某些剖面可能在内爆前先形成激波。非等熵光滑内爆方面，Chen、Shkoller、Vicol [13] 对径向扰动证明了非线性稳定性，但要求物理原点处压力满足一维相容条件，即压力为零。本文处理的是有激波的 Guderley 内爆，而非光滑内爆，并允许激波内侧小的正恒压；两类结果的奇异结构、边界条件和分析困难不同，不能简单比较为某一类结果完全包含另一类。

本文结论的代价与限制也应明确：稳定性仅在径向对称、三维、指定绝热指数范围和小的加权 $$C^1$$ 扰动条件下建立；非零内压被限制为空间常数且足够小。证明依赖对 Guderley 剖面特定不等式的计算机辅助区间算术核验，因此其适用性不能仅凭一般双曲方程理论推广到其他剖面或参数。提供的 PDF 摘录没有展示加权范数 (6.3)、初值小量阈值及衰减指数的显式公式，故无法在此比较其精确权重或定量常数与其他文献的强弱；作者是否在全文其他部分给出更细的定量文献比较，从提供内容中无法确认。

3. 定常 Prandtl 系统的局部分离剖面

Local separation profiles for the stationary Prandtl system

作者: Ky Giao Duong, Tej-Eddine Ghoul, Sameer Iyer, Yasunori Maekawa

类别: math.AP

发布日期: 2026-10-01

arXiv ID: 2610.01689v1

摘要翻译: 我们构造了二维定常 Prandtl 系统在恒定逆压梯度作用下的一族解，它们呈现出一族不同的分离律。更具体地，对于每个整数 $\ell\ge1$ ，我们构造了光滑初始数据，使得分离发生在有限位置 $x=x^\ast$ ，且满足

Comment: 无

链接: http://arxiv.org/abs/2610.01689v1

1. 研究对象和背景

本文研究二维定常 Prandtl 边界层方程在不利压力梯度下发生边界层分离时的局部结构。未知量为切向速度 $$u(x,y)$$ 和法向速度 $$v(x,y)$$ , 其中 $$x$$ 是沿壁面方向的坐标, $y\geq 0$ 是离壁距离。论文考虑的系统为

\begin{cases} u\partial_x u+v\partial_y u-\partial_y^2u=-p_E'(x),\\ \partial_xu+\partial_yv=0,\\ u(x,0)=v(x,0)=0,\\ \displaystyle\lim_{y\to\infty}u(x,y)=u_E(x),\\ u(0,y)=u_{\mathrm{in}}(y), \end{cases}

其中首行的对流项应为 $u\partial_xu+v\partial_yu$ , 即方程完整写作

\begin{cases} u\partial_x u+v\partial_y u-\partial_y^2u=-p_E'(x),\\ \partial_xu+\partial_yv=0,\\ u(x,0)=v(x,0)=0,\\ \displaystyle\lim_{y\to\infty}u(x,y)=u_E(x),\\ u(0,y)=u_{\mathrm{in}}(y), \end{cases}

此处系统中的非线性惯性项按论文原式为 $u\partial_xu+v\partial_yu$ 。外部 Euler 流满足 Bernoulli 关系 $$u_Eu_E'+p_E'=0$$ 。作者固定

u_E(x)=\sqrt{2(x_0-x)},\qquad 0\leq x<x_0,

从而 $$p_E'(x)=1$$ , 得到常压力梯度形式

\begin{cases} u\partial_xu+v\partial_yu-\partial_y^2u=-1,\\ \partial_xu+\partial_yv=0,\\ u(x,0)=v(x,0)=0,\\ \displaystyle\lim_{y\to\infty}u(x,y)=\sqrt{2(x_0-x)},\\ u(0,y)=u_{\mathrm{in}}(y). \end{cases}

上面展示方程时, 论文的首项应读作 $u\partial_xu$ , 而非 $\nu\partial_xu$ ; 这是符号排版中需要特别注意的地方。研究的关键量是壁面剪切 $\partial_yu(x,0)$ 。在 Oleinik 的局部理论适用的正速度、正壁面剪切区域内, 解可沿 $$x$$ 方向推进; 分离点 $$x^*<x_0$$ 则指壁面剪切趋于零, 即 $\partial_yu(x,0)\to0$ 当 $x\uparrow x^*$ 。由于 $$x^*<x_0$$ , 分离发生时外部速度 $$u_E(x^*)$$ 仍为正。问题并非单纯证明剪切会消失, 而是刻画它消失的精确速率, 并确定趋近分离时速度场在壁面附近及固定小距离处的局部渐近剖面。

该问题处在边界层理论与黏性流体无黏极限研究的交界处。Prandtl 方程源于黏性 Navier–Stokes 流在固壁附近的薄边界层近似; 固壁无滑移条件与外部 Euler 流的切向速度之间的差异会产生强速度梯度。压力梯度有利时, 经典稳态理论已获得较强的正则性结论; 不利压力梯度则使外流减速, 壁面剪切可能退化并引发分离。分离处的退化使通常基于正剪切的局部适定性分析失效, 同时使空间尺度和时间(在此即沿程变量 $$x$$ )尺度发生耦合。因此, 精确分离律不仅描述边界层解自身的奇异极限, 也关联 Prandtl 近似在分离附近的适用边界。

既有研究已给出若干层次不同的结果。Matsui–Shirota 的工作提供了分离存在性方面的早期结果, 但其判据允许沿趋近壁面的序列出现剪切消失, 不等同于对壁面剪切给出尖锐点态渐近。Dalibard–Masmoudi 对良备的单调 $$C^7$$ 初值证明平方根壁面剪切律, 并建立高阶局部近似及定量余项。Shen–Wang–Zhang 对更广泛的单调 Oleinik 初值证明分离, 但其主要结论是存在曲线 $$y^*(x)$$ 使某处剪切满足上界, 并非预先指定一个尖锐的壁面剪切渐近律。Goldstein 的形式展开和 Stewartson 对其修正后的分析预示分离附近可能出现非平凡的内外区结构, 且纯幂次展开通常需包含对数修正。Oleinik–Samokhin 所列 Open Problem 5 的核心正是严格描述这种局部分离结构。

本文所补的空白有两个彼此相关的部分。第一, 作者不只重获通常的平方根律, 而是构造出每个整数 $\ell\geq1$ 对应的一族可实现分离律, 使壁面剪切满足 $\partial_yu(x,0)\sim C_\ell(x^*-x)^{\ell/2}$ 。第二, 作者给出趋近分离时的速度剖面渐近式及定量误差, 并证明平方根情形对一类小的、满足兼容条件的初值扰动稳定。这里必须区分证明结论与解释性内容: $\ell\geq2$ 解的有限余维稳定流形是作者提出的预期, 不是本文已经证明的定理。所提供的 PDF 摘录在引言及定理陈述处给出了研究设定和主要结果, 后续技术证明细节仅能依据其中明确列出的框架概述。

2. 主要定理或主要结果

主要结论为定理 1.1 和定理 1.2。两者针对常不利压力梯度 $$p_E'=1$$ 的系统, 通过构造光滑初值使解在有限沿程位置 $$x=x^*<x_0$$ 分离。令 $$t=x^*-x$$ , 定义地面态 $$Q$$ 为

\sqrt{Q}\,Q''=2,\qquad Q(0)=0,\qquad Q'(0)=1,

并令

Y_Q(\zeta)=\int_0^\zeta\frac{d\eta}{\sqrt{Q(\eta)}},\qquad Q_{\mathrm{sep}}(Y)=4\sqrt{Q\!\left(Y_Q^{-1}(Y/2)\right)}.

论文给出的该剖面满足 $Q_{\mathrm{sep}}(Y)=Y+Y^2/2$ 。

定理 1.1 处理稳定的平方根分离情形。对任意 $$x_0>0$$ , 存在参考初值 $\widehat u_{\mathrm{in},1}\in C^\infty(\mathbb R_+)\cap K_1$ , 使相应解在 $\widehat x_1^*\in(0,x_0/2)$ 分离。存在 $\widehat C_1>0$ 和充分小的 $\eta>0$ , 对任意固定且充分小的 $$y_0>0$$ , 当 $t=\widehat x_1^*-x$ 时, 有

u_1(x,y)=\widehat C_1^{\,2}t\,Q_{\mathrm{sep}}\!\left(\frac{y}{\widehat C_1t^{1/2}}\right)+\widetilde u_1(x,y),

以及

|\widetilde u_1(x,y)|\lesssim t^{1/2+\eta}y+y^3, \qquad 0\leq x\leq\widehat x_1^*,\quad 0\leq y\leq y_0.

此处公式中解记作 $$u_1$$ , 即首式为 $$u_1(x,y)$$ 。更重要的是, 该平方根分离具有局部动态稳定性: 对任意 $0<\alpha\leq1$ , 存在 $\varepsilon_0>0$ , 若扰动 $h\in O_\alpha$ 满足 $\|h\|_E<\varepsilon_0$ 且 $u_{\mathrm{in}}=\widehat u_{\mathrm{in},1}+h\in K_\alpha$ , 则对应解在某个 $x^*[u_{\mathrm{in}}]\in(0,x_0)$ 分离, 并满足同型的剖面及误差估计, 其中 $\widehat x_1^*,\widehat C_1$ 分别换为 $x^*[u_{\mathrm{in}}],C[u_{\mathrm{in}}]>0$ 。而且

(x^*[u_{\mathrm{in}}],C[u_{\mathrm{in}}])\longrightarrow(\widehat x_1^*,\widehat C_1) \quad\text{当 }\|h\|_E\to0.

扰动空间 $O_\alpha$ 和范数 $\|\cdot\|_E$ 按文中定义包含边界相容、远场衰减及相应正则性要求; 该结论不要求所有扰动初值全局单调。

定理 1.2 对每个整数 $\ell\geq2$ 给出另一类分离解。对任意 $$x_0>0$$ , 存在 $\widehat u_{\mathrm{in},\ell}\in C_b^{3,1}(\mathbb R_+)\cap C^\infty(\mathbb R_+)\cap K_1$ , 使解在 $x_\ell^*\in(0,x_0)$ 分离。存在 $C_\ell>0$ 和充分小的 $\eta>0$ , 对任意固定且充分小的 $$y_0>0$$ , 令 $t=x_\ell^*-x$ , 则

u_\ell(x,y)=C_\ell^{\,2}t^\ell Q_{\mathrm{sep}}\!\left(\frac{y}{C_\ell t^{\ell/2}}\right)+\widetilde u_\ell(x,y),

|\widetilde u_\ell(x,y)|\lesssim t^{\ell/2+(2\ell-1)\eta}y+y^{2\ell+1}, \qquad 0\leq x\leq x_\ell^*,\quad 0\leq y\leq y_0.

结合 $Q_{\mathrm{sep}}(Y)=Y+Y^2/2$ , 上述剖面的壁面线性项给出精确剪切律。作者进一步明确写出

\partial_yu_\ell(x,0)=C_\ell t^{\ell/2} \left(1+O\!\left(t^{(2\ell-1)\eta}\right)\right),

并在分离终点得到

u_\ell(x_\ell^*,y)=\frac12y^2+O(y^{2\ell+1}).

这里的终点估计成立于固定的小区间 $0\leq y\leq y_0$ , 其常数可依赖初值和 $$y_0$$ 。因此, 每个整数 $\ell\geq1$ 都有相应的构造, 其中 $\ell=1$ 由定理 1.1 给出, $\ell\geq2$ 由定理 1.2 给出。 $\ell$ 越大, 壁面剪切消失越快, 而分离剖面的法向尺度为 $y\sim t^{\ell/2}$ 。

作者将这族解与 Goldstein 型形式展开联系起来。若相关形式展开有效至 $t^{\ell/2}$ 阶, 本文构造对应于壁面剪切展开中 $\alpha_k=0$ ( $1\leq k<2\ell-1$ ), 而 $\alpha_{2\ell-1}=C_\ell$ 的系数模式。此处是与形式展开的对应解释, 不应误读为本文证明了 Goldstein 全部展开系数的收敛或完整渐近展开。文中指出, 对应偶指标系数 $\alpha_{2j}$ 的领先分离律不在当前分析覆盖范围内。

此外, 通过改变准备参数, 作者说明对每个固定 $\ell\geq1$ 和 $$x_0>0$$ , 可在某个区间 $(0,\widehat x_\ell(x_0))$ 内实现任意给定分离位置。对 $\ell\geq2$ , 这来自构造中 $x_\ell^*=e^{-s_0}$ 的参数关系; 对 $\ell=1$ , 则利用参考数据及分离点对参数的连续性和中值定理。此结论是分离位置的可调性, 不等同于高阶分离模式对一般初值的稳定性。作者明确说明, $\ell\geq2$ 解预期处于有限余维稳定集合, 可能具有余维 $\ell-1$ , 但该稳定流形及其余维并未在本文证明。

3. 研究方法、关键技术和核心工具

证明的结构性难点是分离点处壁面剪切退化, 使速度方程在壁面附近的扩散系数和自然空间尺度发生退化; 同时必须兼顾壁面相容条件、远场行为、内区剖面和外区谱稳定性。只建立整体能量有界不足以得到所需点态渐近, 而高阶加权 Sobolev 控制在退化壁面附近也不是作者采用的主路线。论文的技术组织围绕地面态线性化、调制参数、点态比较与有限维射击展开。

首先, 作者使用 von Mises 变量把沿程演化写成适于分析壁面剖面的形式, 并以地面态 $$Q$$ 作为分离内区的基准。该基准满足 $\sqrt Q Q''=2$ , $$Q(0)=0$$ , $$Q'(0)=1$$ ; 由此构造 $Q_{\mathrm{sep}}$ , 得到显式的局部剖面 $$Y+Y^2/2$$ 。其作用不仅是给出候选渐近形状, 还固定内区的振幅和法向缩放, 使不同的 $\ell$ 分离律能够用同一参考剖面表达。对 $\ell$ 模式, 速度主项的尺度是 $t^\ell$ , 剖面变量是 $y/(C_\ell t^{\ell/2})$ 。

其次, 作者将未知解分解为调制后的参考剖面与余项, 并对参考剖面附近的线性化算子作谱分析。文中定义的 $L_{b,\beta}$ 及其极限算子 $L_{0,\beta}$ , 连同残差算子 $\widehat L_{b,\beta}=L_{b,\beta}-\beta\,\mathrm{Id}$ , 用于追踪不同谱方向的演化。通过内区核、内外展开的匹配以及自伴实现, 作者得到有序谱和谱隙信息; 极限算子半群估计则服务于中间区域的余项控制。调制参数 $$b$$ 不是任意指定, 而是通过几何正交条件选取; 稳定情形还施加第二个调制条件, 固定特定振幅方向。这样的几何分解使剖面移动、振幅变化与真正需要估计的无限维扰动相分离。

第三, 对 $\ell=1$ 的稳定构造, 作者设置随演化收缩的集合并进行 bootstrap。初始数据不是直接任取, 而是通过准备和归一化映射满足壁面兼容条件以及调制约束; 随后推导调制参数演化, 证明解在整个趋近分离的演化中留在 shrinking set 内。摘要和引言明确指出, $$x^*$$ 与主系数 $$C$$ 对所考虑的初值扰动连续依赖, 因而可将参考解的平方根律延伸到小扰动数据。该论证依赖扰动估计与正性维持, 并非仅由线性谱稳定性推出。

第四, 点态余项估计是作者强调的关键创新之一。作者构造按尺度调整的地面态障碍函数, 用比较原理控制内区余项的零阶主导部分; 为避免比较算子出现随解退化而变得奇异的系数, 证明中将扩散系数冻结在演化解的水平。中间区使用半群估计, 外区使用特征函数障碍, 并通过调制方程将三处的控制衔接起来, 从而闭合点态 bootstrap。比较原理还分别用于远场、内区和外区, 以获得 $$F$$ 的点态先验估计并维持解的正性与可延拓性。此处 $$F$$ 为文中定义的残差量

F(s,\xi)=\sqrt{\vartheta(s,\xi)}\,\partial_\xi^2\vartheta(s,\xi)-2,

它在相应变量变换下对应于 $2\partial_y^2u-2$ 。控制 $$F$$ 与扰动余项共同用于估计二阶导数、传播壁面相容性并保证继续延拓; 同一特征基和谱移位把残差控制与扰动控制耦合起来。

最后, $\ell\geq2$ 属于不稳定模式构造。作者在 shrinking set 中显式纳入增长的不稳定谱方向, 通过选择初始数据中的有限个参数, 将无限维演化约化为有限维问题, 再以拓扑射击选择参数, 使解沿预定高阶分离通道保持受控。这里的射击构造证明了特定初值存在, 并没有给出这些解附近的完整稳定流形。作者还指出, 现有论证固定 $\beta=1$ 并使用 $\ell$ 个射击参数; 期望的余维 $\ell-1$ 需要调制 Jacobian 非退化, 但相应主导项发生抵消, 当前估计不能证明其非退化。因此不能把有限参数构造误写成已建立的余维稳定性理论。

4. 与之前工作的比较

相对于 Oleinik–Samokhin 的 Open Problem 5, 本文给出了定常 Prandtl 分离附近局部结构的一套构造性回答: 不仅给出单一分离律, 而且对每个整数 $\ell\geq1$ 构造出壁面剪切指数 $\ell/2$ 的解, 并证明相应的局部剖面和定量余项。其主要推进是从“存在分离”推进到多种可区分的尖锐壁面剪切渐近, 并从形式图像推进到具体解的构造和点态估计。

与 Matsui–Shirota 的早期分离存在性结果相比, 本文的结论更强调壁面点态信息。前者允许剪切在趋近壁面的某个序列上消失, 而本文给出明确的壁面剪切幂律及其系数, 还描述固定小法向区间内的解剖面。两者关注层次不同: 存在性判据不蕴含本文的尖锐壁面渐近, 本文的高阶构造也不只是对旧分离判据的重复。

与 Dalibard–Masmoudi [DM19] 相比, 平方根情形 $\ell=1$ 的主导律并非首次出现。Dalibard–Masmoudi 已对良备、全局单调的 $$C^7$$ 初值证明 $\partial_yu(x,0)\sim C\sqrt{x^*-x}$ , 并得到高阶局部近似和定量余项。本文在该标准指数上推进的重点是对平方根分离建立初值扰动稳定性: 扰动仅需属于文中 $O_\alpha$ 、具有 $C^{3,\alpha}_b$ 正则性 ( $0<\alpha\leq1$ ), 满足相应边界条件、兼容条件及 $K_\alpha$ 中的可容许性, 且在 $\|\cdot\|_E$ 范数下足够小。作者特别指出这些条件允许初值不全局单调, 并证明分离点与主导系数随扰动连续变化。因此, 改进主要体现在稳定性与可容许初值的描述, 而不能笼统说成本文首次证明平方根分离律。

与 Shen–Wang–Zhang [SWZ21] 相比, 后者覆盖更广的一类单调 Oleinik 数据, 在小初始斜率条件下证明分离, 并得到某条时空曲线 $$y^*(x)$$ 上剪切的 $\lesssim(x^*-x)^{1/4}$ 上界; 另有附加曲率条件时, 可在趋近分离的选定点得到双边估计。那些结论并未指定尖锐的壁面剪切渐近。本文则通过精心构造的初值实现指定的壁面幂律, 但高阶 $\ell\geq2$ 的结论属于存在性构造, 不是对同样广泛初值类的通用分离定理。两者的适用范围和目标不同: 前者偏向较宽数据类中的分离存在, 本文偏向精确剖面与可调分离模式。

从局部剖面角度, Goldstein [Gol48] 的形式分析预示分离点附近出现壁面剪切展开以及终端速度剖面, Stewartson [Ste58] 指出纯幂次形式一般需有对数修正, 并强调内区展开与固定 $$y>0$$ 处终端剖面并不相同。本文证明的终端估计 $u_\ell(x_\ell^*,y)=y^2/2+O(y^{2\ell+1})$ 重获终端剖面的首项; 壁面剪切律则实现相应的稀疏系数模式。作者谨慎地将与 Goldstein 系数的对应限定为“若形式展开有效至相应阶数”的解释, 并未声称证明该形式级数的完整有效性。偶指标系数 $\alpha_{2j}$ 所对应的领先分离律也未由本文覆盖, 这构成明确的机制范围限制。

本文的高阶模式与平方根模式在稳定性地位上有根本差异。 $\ell=1$ 情形有定理 1.1 的小扰动稳定性和参数连续性; $\ell\geq2$ 情形目前通过有限维调参和拓扑射击构造参考解。作者预期高阶解位于余维约为 $\ell-1$ 的稳定集合, 但明确承认尚未证明该集合的局部流形结构, 也未证明射击选择的连续性或 Lipschitz 性。原因之一是相关调制 Jacobian 的主导贡献抵消, 现有估计无法建立非退化性; 当前做法固定 $\beta=1$ 并使用 $\ell$ 个射击参数, 与预期的 $\ell-1$ 余维并不相同。因此, 高阶定理不应表述为高阶分离律对一般初值稳定。

从假设代价看, 本文对每个指数都要求构造特殊初值, 高阶指数尤其依赖有限维调谐; 这与对大类初值直接推出普适分离的结论有别。另一方面, 平方根稳定结论允许在指定拓扑中的小扰动, 并给出分离点和系数的连续变化, 是明确的稳定性成果。改变准备参数还可把分离位置调到入口附近的某个可达区间, 但并未声称任意 $x^*\in(0,x_0)$ 均可实现; 具体范围是文中给出的 $(0,\widehat x_\ell(x_0))$ 。除上述明确比较外, PDF 摘录并未提供对所有相关工作的统一假设、常数或时间尺度逐项对照, 更细的定量优劣比较从提供内容中无法确认。

4. 不可压缩黏弹形态弹性系统的零扩散极限：弱解与 Jaumann 缺陷

The Vanishing-Diffusion Limit of an Incompressible Visco-Morphoelastic System: Weak Solutions and a Jaumann Defect

作者: Swarupananda Banerjee, Amartya Chakrabortty, Hari Shankar Mahato, Raja Sekhar G P

类别: math.AP

发布日期: 2026-10-01

arXiv ID: 2610.01487v1

摘要翻译: 我们研究三维不可压缩黏弹形态弹性系统，其中欧拉有效应变由 Zaremba-Jaumann 率输运，并通过 Kelvin-Voigt 应力与 Navier-Stokes 动量平衡耦合。应变保持对称，并分解为一个关于其迹的标量输运-弛豫方程，以及一个包含非线性拉伸项和 Jaumann 项的偏量方程。我们对这两个方程均加入阶为 $$varepsilon$$ 的扩散正则化；从力学角度看，这对应于具有特征长度尺度的弱非局部重塑。对于固定的 $$varepsilon>0$$ ，我们通过截断 Galerkin 方案构造 Leray-Hopf 型弱解，并利用标量变量的最大值原理事后去除截断。当 $$varepsilon o0$$ 时，通过有界 Lipschitz 区域上的 DiPerna-Lions 对易子论证，标量变量在每个 $$1ased p<infty$$ 下都强收敛于 $$L^p((0,T)timesΩ)$$ ，从而可以在极限中识别拉伸项。相比之下，Jaumann 对易子是两个弱收敛序列的乘积，利用现有估计无法识别其极限。因此，在极限偏量方程中我们得到一个缺陷 \[\boldsymbol{\mathcal{D}}\in L^2(0,T;(H^2(Ω;\mathbb{S}_0))^\ast)\]。我们给出 $boldsymbol{\mathcal{D}}=0$ 的两个充分条件。相关共旋黏弹性模型中采用的能量层次抵消在此无法闭合，因为拉伸项的系数本身也是未知量。

Comment: 30 pages

链接: http://arxiv.org/abs/2610.01487v1

1. 研究对象和背景

本文研究三维有界 Lipschitz 区域 $\Omega\subset\mathbb{R}^3$ 上不可压黏弹性形态力学流体的弱解及消扩散极限。形态力学描述生长、重塑所造成的永久变形，通常从变形梯度的乘法分解出发，将局部无应力构形的演化与当前构形中的弹性响应区分开来。对生物组织而言，生长和重塑还伴随细胞重排、黏附变化等耗散过程，因此本文考察的模型不仅包含弹性应变，也包含 Kelvin–Voigt 型黏性应力及应变弛豫。

未知量为速度 $v:\Omega\times(0,T)\to\mathbb{R}^3$ 、压力 $$p$$ 和 Euler 描述下的有效应变张量 $E:\Omega\times(0,T)\to\mathbb{R}^{3\times3}$ 。速度满足不可压约束，动量方程采用 Navier–Stokes 惯性项，并由 Kelvin–Voigt 应力与有效应变共同驱动。应变按照 Zaremba–Jaumann 率演化，其反对称梯度部分使方程具有客观性。模型可写为

\begin{aligned} \rho\partial_t v+\rho(v\cdot\nabla)v+\nabla p &=\nabla\cdot\bigl(\mu_1D(v)+\mu_2(\nabla\cdot v)I+\lambda E+2\mu\operatorname{tr}(E)I\bigr)+f,\\ \partial_tE+(v\cdot\nabla)E+EW(v)-W(v)E +\bigl(\operatorname{tr}(E)-1\bigr)D(v)&=-G,\\ \nabla\cdot v&=0, \end{aligned}

其中

D(v)=\tfrac12(\nabla v+\nabla v^{\mathsf T}),\qquad W(v)=\tfrac12(\nabla v-\nabla v^{\mathsf T}).

这里 $\rho>0$ ， $\mu_1,\mu_2,\lambda,\mu>0$ ， $$f$$ 是外力。采用仿射重塑律

G=\alpha E-\beta I,\qquad \alpha>0,\quad\beta\geq0.

在没有形变时，该律使应变向各向同性稳态 $(\beta/\alpha)I$ 弛豫。本文不显式建模驱动重塑的生化过程，而是将其纳入上述给定本构律。

问题的关键困难来自应变方程几乎没有空间正则性。形式能量估计至多给出 $E\in L^\infty(0,T;L^2(\Omega))$ ，不足以直接识别由两个仅弱收敛因子构成的 Jaumann 乘积 $$EW(v)-W(v)E$$ 。此外，伸展项的系数 $\operatorname{tr}(E)-1$ 也是未知量，不能视为给定有界系数。为利用模型结构，作者在对称初值下作迹与偏差分解

q=\operatorname{tr}(E),\qquad F=\operatorname{dev}E=E-\tfrac{q}{3}I, \qquad E=F+\tfrac{q}{3}I.

迹方程中 Jaumann 对易子与伸展项均消失，成为闭合的输运-弛豫方程；偏差方程则保留伸展与 Jaumann 非线性。吸收各向同性弹性应力后，系统为

\begin{aligned} \rho\partial_t v+\rho(v\cdot\nabla)v+\nabla\pi &=\nabla\cdot\bigl(\mu_1D(v)+\lambda F\bigr)+f,\\ \partial_tq+v\cdot\nabla q+\alpha q&=3\beta,\\ \partial_tF+v\cdot\nabla F+FW(v)-W(v)F+(q-1)D(v)+\alpha F&=0,\\ \nabla\cdot v&=0, \end{aligned}

其中 $\pi=p-(\lambda/3+2\mu)q$ 。速度取无滑移边界条件，初值为 $$v_0,q_0,F_0$$ 。

作者向两条应变方程加入强度为 $\varepsilon>0$ 的扩散，并对 $q^\varepsilon,F^\varepsilon$ 施加齐次 Neumann 条件。例如，迹方程变为

\partial_tq^\varepsilon-\varepsilon\Delta q^\varepsilon +v^\varepsilon\cdot\nabla q^\varepsilon+\alpha q^\varepsilon=3\beta,

偏差方程也加入 $-\varepsilon\Delta F^\varepsilon$ 。这既为固定 $\varepsilon$ 的逼近问题提供空间紧性，也可解释为重塑势中加入 $\frac{\varepsilon}{2}|\nabla E|^2$ 的弱非局部修正，其特征长度为 $\ell=\sqrt{\varepsilon/\alpha}$ 。论文试图建立该三维动态模型的弱解理论，并在 $\varepsilon\to0$ 时说明哪些非线性可以传递到极限、哪些项因弱收敛而留下缺陷。作者特别指出，相关旋转黏弹模型中的能量层次抵消在本模型中不能直接闭合，因为伸展项的系数 $q^\varepsilon-1$ 本身是未知量。

2. 主要定理或主要结果

论文先处理固定 $\varepsilon>0$ 的正则化系统 (RM)。在初始应变对称、迹有界，即存在 $0<c_0\leq q_0\leq c_1$ ，且 $v_0\in L^2(\Omega)^3$ 无散、 $f\in L^2(0,T;H^{-1}(\Omega)^3)$ 等假设下，定理 4.2 构造出 Leray–Hopf 型弱解。其空间包括速度的 $L^\infty_tL^2_x\cap L^2_tH^1_{0,\mathrm{div},x}$ ，迹及偏差的 $L^\infty_tL^2_x\cap L^2_tH^1_x$ ，并具有相应的时间弱导数正则性；迹变量另有 $L^\infty((0,T)\times\Omega)$ 控制。能量关系中，速度与偏差的耦合项分别为 $\lambda\int F^\varepsilon:D(v^\varepsilon)$ 和 $\int(q^\varepsilon-1)D(v^\varepsilon):F^\varepsilon$ ，迹满足带源项的能量恒等式。具体地，定理给出

\begin{aligned} \frac{\rho}{2}\|v^\varepsilon(t)\|_2^2 +\mu_1\|D(v^\varepsilon)\|_{L^2(Q_t)}^2 +\lambda\int_{Q_t}F^\varepsilon:D(v^\varepsilon) &\leq \frac{\rho}{2}\|v_0\|_2^2+\int_0^t\langle f,v^\varepsilon\rangle\,ds,\\ \frac12\|q^\varepsilon(t)\|_2^2 +\varepsilon\|\nabla q^\varepsilon\|_{L^2(Q_t)}^2 +\alpha\|q^\varepsilon\|_{L^2(Q_t)}^2 -3\beta\int_{Q_t}q^\varepsilon &=\frac12\|q_0\|_2^2,\\ \frac12\|F^\varepsilon(t)\|_2^2 +\alpha\|F^\varepsilon\|_{L^2(Q_t)}^2 +\varepsilon\|\nabla F^\varepsilon\|_{L^2(Q_t)}^2 +\int_{Q_t}(q^\varepsilon-1)D(v^\varepsilon):F^\varepsilon &\leq\frac12\|F_0\|_2^2. \end{aligned}

其中 $Q_t=\Omega\times(0,t)$ ，迹能量关系对每个 $$t$$ 成立，另两式对几乎处处的 $$t$$ 成立。迹方程的最大值原理给出与 $\varepsilon$ 无关的点态控制，其界由初始界以及弛豫平衡值 $3\beta/\alpha$ 决定。

消扩散部分中，作者由统一估计抽取子列，并在定理 5.3 中证明迹变量的强收敛：

q^\varepsilon\longrightarrow q\quad\text{强收敛于 }L^p((0,T)\times\Omega), \qquad 1\leq p<\infty.

该结论依赖迹输运-弛豫方程的极限能量恒等式及 DiPerna–Lions 对易子论证。结合速度梯度的弱收敛，强收敛的 $q^\varepsilon$ 足以识别偏差方程中的变系数伸展项 $(q^\varepsilon-1)D(v^\varepsilon)$ 。动量方程中的应变应力项也按所取弱极限传递。

定理 5.4 处理偏差方程中的 Jaumann 项。由于 $F^\varepsilon$ 与 $W(v^\varepsilon)$ 一般都只有弱收敛，论文不宣称其乘积收敛到由极限 $$F,v$$ 直接计算出的对易子，而是将该项的弱极限与极限对易子之间的差记录为缺陷

\boldsymbol{\mathcal D}\in L^2\bigl(0,T;(H^2(\Omega;\mathbb S_0))^*\bigr).

因此极限偏差方程在分布意义下成立，但含有该缺陷源项；缺陷取决于逼近子列，通常不能仅由 $$(v,q,F)$$ 恢复。论文给出两个使缺陷消失的充分条件：

F^\varepsilon\to F\quad\text{强收敛于 }L^\infty(0,T;L^2(\Omega;\mathbb S_0)),

或

\nabla v^\varepsilon\to\nabla v\quad\text{强收敛于 }L^2((0,T)\times\Omega)^{3\times3}.

任一条件都使 Jaumann 乘积的一方强收敛，从而可识别乘积极限。作者明确说明，这两种强收敛条件均不能从本文现有统一估计直接推出。因此，严格结论是正则化弱解存在、迹强收敛以及带缺陷的分布极限系统；缺陷为零只在上述附加条件下得到。

3. 研究方法、关键技术和核心工具

证明的组织核心不是直接对完整张量方程做紧性，而是利用迹-偏差分解把两种性质不同的非线性拆开。迹变量满足独立的标量输运-弛豫方程，因而可使用最大值原理和输运方程的重整化理论；偏差变量则承担真正无法靠现有能量界闭合的 Jaumann 对易子。这种拆分也针对伸展耦合的特殊结构：若把 $$q-1$$ 当作普通未知系数处理，能量估计无法给出所需控制；先证明 $$q$$ 的统一点态界，才可以在构造逼近解时控制该系数。

固定 $\varepsilon$ 的存在性通过截断 Galerkin 方案建立。有限维逼近中，以 Lipschitz 截断 $T(q_n^\varepsilon)$ 替代非线性系数中的 $q_n^\varepsilon$ ，使有限维常微分方程的向量场对未知系数局部 Lipschitz，并保证 Galerkin 级别的耦合项有界。先取得与 Galerkin 维数无关的能量估计，再利用抛物扩散提供的 $$L^2_tH^1_x$$ 控制和时间导数界，通过紧性传到固定 $\varepsilon$ 的弱解。此时对极限迹方程使用截断函数的测试/最大值原理，证明其取值处在由初值和 $3\beta/\alpha$ 控制的区间内，于是 $T(q^\varepsilon)=q^\varepsilon$ ，事后撤销截断。这个步骤避免了在有限维空间中直接假定尚未获得的点态估计。

消扩散极限最精细的论证针对迹方程。单有 $q^\varepsilon$ 的弱收敛不能保证 $(q^\varepsilon-1)D(v^\varepsilon)$ 收敛；作者利用标量方程结构，借助 DiPerna–Lions 对易子控制空间正则化与输运微分之间的交换误差。该论证在有界 Lipschitz 区域的设置下恢复极限迹方程的能量恒等式，并以能量收敛与弱收敛相结合推出 $q^\varepsilon$ 在时空上的强收敛。由于 $q^\varepsilon$ 还具有统一的 $L^\infty$ 界，强收敛可以覆盖任意有限 $$p$$ ，进而使乘积中的标量因子可强传递，而 $D(v^\varepsilon)$ 只需弱收敛。

相反，偏差方程的 Jaumann 项是矩阵乘积 $F^\varepsilon W(v^\varepsilon)-W(v^\varepsilon)F^\varepsilon$ 。能量估计只给出偏差的 $L^\infty_tL^2_x$ 控制、速度梯度的 $L^2_{t,x}$ 控制；两者都没有足够的强紧性来识别乘积。虽然该对易子与 $F^\varepsilon$ 的内积在能量层次逐点抵消，这种抵消并不能推出对易子本身的分布极限等于极限场的对易子。作者因此不作未经证明的乘积极限识别，而是将其弱极限相对于极限 Jaumann 项的偏差定义为 $\boldsymbol{\mathcal D}$ 。测试空间取 $H^2(\Omega;\mathbb S_0)$ ，利用三维区域上的嵌入 $H^2(\Omega)\hookrightarrow L^\infty(\Omega)$ ，可控制与 $F^\varepsilon\nabla v^\varepsilon$ 相应的配对，并将缺陷放入所声明的对偶空间 $$L^2_t(H^2_x)^*$$ 。这一步将紧性损失明确保存在极限方程中，而不是隐藏在未闭合的弱解定义里。

最后，缺陷消失的两个判据正对应乘积中任一因子的强收敛：偏差在 $L^\infty_tL^2_x$ 强收敛，或速度梯度在 $L^2_{t,x}$ 强收敛。它们是充分条件，而非本文从基本估计导出的结论。作者也指出，相关旋转黏弹性模型中依赖能量层次抵消的闭合方式在这里失效，原因是偏差伸展项带有未知系数 $q^\varepsilon-1$ 。因此本文的技术选择是保留通常的分布形式，并显式记录缺陷，而不是以能量变分解概念替代极限系统。

4. 与之前工作的比较

引言将本文放在形态力学、生物组织重塑和黏弹流体分析的交叉背景中。形态力学的连续介质框架可追溯到 Rodriguez、Hoger 与 McCulloch 的生物力学工作，并源于有限塑性的乘法分解；Ambrosi 与 Preziosi、以及 Bandil 与 Vernerey 等工作则发展了包含细胞重排或时间依赖应力松弛的形态-黏弹模型。作者指出，此类研究此前较多着重于模型推导、生物应用、数值模拟、稳定性分析，或降维与准静态设定。本文的推进是在三维、完全动态、不可压且具有惯性项的模型中建立弱解，并分析机械扩散趋零时的极限结构。关于这些领域此前是否存在其他未列举的结果，从提供内容中无法确认；作者的表述是此类完整动态模型及其消正则化问题的严格理论仍然有限。

与 Oldroyd 型黏弹流体相比，本文共享“流动输运内部张量并通过应力耦合动量方程”的分析结构。文中提及相关 Oldroyd 系统已有局部强解、全局小数据解，以及 corotational 情形的大数据全局弱解；Lions 与 Masmoudi 的工作结合了紧性传播和 DiPerna–Lions 重整化输运理论。对加入应力扩散的 Oldroyd 型系统，文中列举了若干全局弱解或正则性结果，并提到在受限情形下的消扩散研究。本文扩散作用于形态力学有效应变，而非一般 Oldroyd 本构应力；此外，迹诱导的未知伸展系数使其非线性耦合不同于仅有输运-旋转结构的相关模型。本文对该点的处理不是给出完整强正则性，而是借助迹方程强收敛识别伸展项，并将剩余困难隔离为偏差方程中的缺陷。

最接近的比较对象是 Eiter、Hopf 与 Mielke 关于带应力扩散的三维黏弹塑性流体全局存在性工作，以及 Eiter、Hopf 与 Lasarzik 对消应力扩散极限的研究。那些模型含有由 Jaumann 率输运的对称偏差内部应力；文中指出，消扩散时同样出现 Jaumann 对易子缺乏弱序列紧性的障碍。Eiter、Hopf 与 Lasarzik 通过能量变分解概念构造闭合的极限解，相关框架后来又被发展并用于多相系统。本文确认了相同类型的乘积紧性损失，但在方法和极限对象上作出不同选择：保留分布形式的方程，把不能识别的部分作为 $\boldsymbol{\mathcal D}$ 明确列出，并给出缺陷消失的两个充分条件。

二者不能简单视为同一结论的强弱版本。本文的形态力学伸展项 $(q^\varepsilon-1)D(v^\varepsilon)$ 含有另一个未知标量，相关 corotational 黏弹模型中用于能量层次的抵消在这里不能闭合。迹-偏差分解使迹方程获得强收敛，从而解决伸展项的极限识别，却没有为偏差与速度梯度的 Jaumann 乘积提供强紧性。因此本文没有证明在一般能量界下缺陷必为零，也没有据此得到一个仅由极限场闭合的无缺陷偏差方程；代价是极限方程依赖逼近子列所产生的缺陷对象。缺陷属于 $L^2(0,T;(H^2(\Omega;\mathbb S_0))^*)$ ，而不是简单的测度型缺陷，这反映了该项可用的弱紧性与测试函数正则性。

从建模角度，本文的 $\varepsilon\Delta E$ 正则化可解释为对重塑势加入空间梯度惩罚，特征长度 $\ell=\sqrt{\varepsilon/\alpha}$ ，故消扩散对应弱非局部重塑趋向严格局部重塑。作者明确说明，这种解释不是从微观力学模型推导而来，也没有把 $\ell$ 与具体组织长度尺度相对应；因此该长度是模型参数所定义的尺度，而非经实验识别的组织尺度。作者还指出，迹和偏差扩散系数可以分别取值，只要二者均趋于零，分析框架不变。至于超出文中所列研究的精确假设比较、最佳时间尺度或对其他边界与区域几何的推广，从提供内容中无法确认；本文明确使用有界 Lipschitz 区域及有限时间区间，并未在所给内容中给出更强的普遍性主张。

5. Navier-Stokes/平均曲率流系统的全局弱 varifold 解

Global weak varifold solutions to Navier-Stokes/Mean Curvature Flow system

作者: Andrea Poiatti

类别: math.AP, math.DG

发布日期: 2026-09-30

arXiv ID: 2610.00732v1

摘要翻译: Navier-Stokes/平均曲率流系统描述由尖锐界面分隔的不可压、黏性且互不相溶的两相流体的流动，其演化由对流平均曲率流方程控制，并与一个计入表面张力的两相 Navier-Stokes 方程耦合。该模型可描述干泡沫的动力学，并且也作为具有非零迁移率的 Navier-Stokes/Allen-Cahn 系统的尖锐界面极限出现。尽管这一模型具有广泛的应用，任何种类弱解的全局时间存在性仍然是一个具有挑战性的公开问题。在本文中，我们针对环境维数为二和三的情形，引入了一种基于 De Giorgi 式尖锐能量耗散原理的新型 varifold 弱解概念，并首次证明了此类弱解无条件的全局时间存在性。我们还通过相对熵方法证明，Navier-Stokes/平均曲率流系统的任何经典解，在我们新定义的弱 varifold 解类中都是唯一的。

Comment: 50 pages, comments are welcome

链接: http://arxiv.org/abs/2610.00732v1

1. 研究对象和背景

本文研究平坦环面上的不可压缩两相黏性流体与可渗透界面耦合问题. 设 $d\in\{2,3\}$ , 流体占据 $\mathbb T^d$ 中的两个区域 $$A(t)$$ 与 $\mathbb T^d\setminus A(t)$ , 其公共界面为 $I(t)=\partial A(t)$ . 用相指示函数 $\chi=\mathbf 1_{A(t)}$ 描述两相, 用速度 $$v$$ 和压力 $\pi$ 描述流体运动. 两相流体不可压缩且互不混溶, 应力由牛顿黏性应力给出, 两相黏度为正常数 $\nu_1,\nu_2$ . 取 $$n_I$$ 为指向 $$A(t)$$ 内部的单位法向, $$V_I$$ 为界面法向速度, $$H_I$$ 为相应标量平均曲率. 模型在周期边界条件下写为

V_I=v\cdot n_I+c_0 M H_I\quad\text{于 }I(t),

\partial_t v+\operatorname{div}(v\otimes v)-\operatorname{div}(\nu(\chi)Dv)+\nabla\pi=0, \qquad \operatorname{div}v=0\quad\text{于 }\mathbb T^d\setminus I(t),

-[[\nu(\chi)Dv]]n_I+[[\pi]]n_I=-c_0H_I\quad\text{于 }I(t), \qquad v|_{t=0}=v_0,

其中 $Dv=(\nabla v+(\nabla v)^T)/2$ , $\nu(\chi)=\nu_1\chi+\nu_2(1-\chi)$ , $$c_0>0$$ 为表面张力系数, $$M>0$$ 为渗透率. 第一式表示界面以流体法向速度加上曲率驱动的法向滑移运动; 第二、三式是含表面张力界面力的两相 Navier–Stokes 方程. 当 $$M=0$$ 时回到经典两相流体表面张力模型; 当 $$M>0$$ 时, 界面相对于流体发生曲率驱动的渗透运动. 该模型可用于干泡沫演化, 也作为具有非零迁移率的 Navier–Stokes/Allen–Cahn 系统的尖锐界面极限出现. 它与保体积的 Navier–Stokes/Mullins–Sekerka 耦合模型不同: 曲率流项一般不保持相体积, 但在界面演化中带来正则化效应.

光滑解具有关键的总能量耗散结构. 在作者为陈述主要结果而取 $$c_0=M=1$$ 的归一化下, 总能量由界面周长与流体动能组成:

E(t)=|\nabla\chi(t)|(\mathbb T^d)+\frac12\int_{\mathbb T^d}|v(t)|^2\,dx.

正式能量恒等式为

\frac{d}{dt}E(t)=-\int_{\mathbb T^d}\nu(\chi)|Dv|^2\,dx-\int_{I(t)}|H_I|^2\,d\mathcal H^{d-1}.

其中界面曲率与流体速度之间的功在两条方程相加时抵消. 因而适合弱解理论的目标, 不只是分别解释流体方程与曲率流方程, 而是构造能够共同记录两者耗散、又容纳界面奇异和拓扑变化的全局解概念.

此前, $$M=0$$ 的两相表面张力问题已有广义/变分流解、强解及弱强唯一性等理论. 对 $$M>0$$ , 光滑初值下的局部强解研究也已开展, 但强解可能因界面或流场奇异而不能延拓. 全局理论因此需要以几何测度论中的变分流描述界面, 而不预设界面始终光滑. 已有相关工作仍有明显缺口: Liu、Sato 与 Tonegawa [36] 通过 Navier–Stokes/Allen–Cahn 近似得到耦合问题的全局弱解, 但其流体应力采用剪切增稠型幂律非牛顿模型, 并要求速度具有 $L^p_tW^{1,p}_x$ 正则性, 指数满足 $$p>(d+2)/2$$ , 因而没有覆盖标准牛顿情形 $$p=2$$ . Liu 与 Tonegawa [37] 在 $$d=2$$ 证明了给定速度场作用下的受迫平均曲率流存在性, 但这不是与 Navier–Stokes 方程完全耦合的结果; 对 $$d=3$$ 的相应 Brakke 流存在性, 文中指出仍是开放问题, 且其框架可能受到受迫项正则性与界面迹控制的限制.

本文针对的空白是: 在标准牛顿黏性、没有额外小性或高正则假设的条件下, 能否对完整耦合系统构造 $$d=2,3$$ 的全局弱解, 并使解概念既能处理界面奇异, 又保留恰当的能量耗散及经典解唯一性. 作者以 De Giorgi 型能量耗散变分流解回答存在性问题, 并在两相黏度相同的条件下建立弱强唯一性. 需要区分的是, 这一弱解允许变分流质量与相指示函数的约化边界测度在能量层面不完全重合, 因此它是适于紧性构造和奇异演化的广义界面描述, 而非对光滑界面方程的逐点解释.

2. 主要定理或主要结果

全文将 $$c_0=M=1$$ 归一化. 主要存在性结论是定理 3.4: 对 $d\in\{2,3\}$ , 任意初始相指示函数 $\chi_0\in BV(\mathbb T^d;\{0,1\})$ 及任意零空间平均、散度为零的初始速度 $v_0\in\dot L^2_\sigma(\mathbb T^d)$ , 存在定义在整个 $(0,\infty)$ 上的弱变分流解 $(\mu,\chi,v)$ . 在任意有限时间区间 $$(0,T^*)$$ 上, 解满足定义 3.2 的全部条件, 无需假设初始界面光滑, 也无需幂律流体或小数据假设.

该解的相变量满足

\chi\in L^\infty_{w^*}(0,T^*;BV(\mathbb T^d;\{0,1\}))\cap C([0,T^*];L^p(\mathbb T^d))\quad\text{对每个 }1\le p<\infty,

并与定向变分流 $\mu_t\in\mathcal M(\mathbb T^d\times\mathbb S^{d-1})$ 相容, 即对任意 $\eta\in C^1(\mathbb T^d;\mathbb R^d)$ , 几乎处处的 $$t$$ 有

\int_{\mathbb T^d\times\mathbb S^{d-1}}p\cdot\eta(x)\,d\mu_t(x,p) =\int_{\mathbb T^d}\eta(x)\cdot d\nabla\chi(x,t).

速度满足

v\in H^1(0,T^*;\dot H^3_\sigma(\mathbb T^d)')\cap L^\infty(0,T^*;\dot L^2_\sigma(\mathbb T^d))\cap L^2(0,T^*;\dot H^1_\sigma(\mathbb T^d)), \qquad v(0)=v_0.

此外, 存在总物质界面速度 $V\in L^2(0,T^*;L^2(\mathbb T^d;d|\mu_t|_{\mathbb S^{d-1}}))$ , 使相方程以测度意义成立: 对任意 $\zeta\in C_c^\infty(\mathbb T^d\times[0,T^*))$ 及几乎任意 $T'\in(0,T^*)$ ,

\int_{\mathbb T^d}\chi(T')\zeta(T')\,dx-\int_{\mathbb T^d}\chi_0\zeta(0)\,dx =\int_0^{T'}\!\int_{\mathbb T^d}\chi(\partial_t\zeta+v\cdot\nabla\zeta)\,dxdt -\int_0^{T'}\!\int_{\mathbb T^d}V\zeta\,d|\mu_t|_{\mathbb S^{d-1}}dt.

这对应于分布形式 $\partial_t\chi+v\cdot\nabla\chi+V|\mu_t|_{\mathbb S^{d-1}}=0$ . 流体方程则通过变分流的一阶内变分 $\delta\mu_t$ 与界面耦合: 对无散度测试场 $\zeta\in\dot H^3_\sigma(\mathbb T^d)$ ,

\langle\partial_t v,\zeta\rangle-\int_{\mathbb T^d}v\otimes v:\nabla\zeta\,dx +\int_{\mathbb T^d}\nu(\chi)Dv:D\zeta\,dx=-\delta\mu_t(\zeta).

最关键的能量条件是定理定义中的尖锐耗散不等式. 令 $E(t)=\frac12\int|v(t)|^2dx+|\mu_t|_{\mathbb S^{d-1}}(\mathbb T^d)$ , 并在 $$t=0$$ 取 $E(0)=\frac12\|v_0\|_2^2+|\nabla\chi_0|(\mathbb T^d)$ . 对几乎任意 $0\le s<T'$ ,

E(T')+\int_s^{T'}\!\int_{\mathbb T^d}\nu(\chi)|Dv|^2\,dxdt +\frac12\int_s^{T'}\!\int_{\mathbb T^d}|V|^2\,d|\mu_t|_{\mathbb S^{d-1}}dt +\frac12\int_s^{T'}|\partial E(\mu_t)|_{V_t}^2dt\le E(s).

这里 $V_t=L^2(\mathbb T^d;d|\mu_t|_{\mathbb S^{d-1}})$ , $|\partial E(\mu_t)|_{V_t}$ 是由一阶内变分定义的能量斜率, 具体通过对测试场 $$B$$ 取上确界得到:

\frac12\int_s^{T'}|\partial E(\mu_t)|_{V_t}^2dt =\sup_B\left\{\int_s^{T'}\delta\mu_t(B(t))\,dt-\frac12\int_s^{T'}\|B(t)\|_{V_t}^2dt\right\}.

定理 3.4 的结论是无条件全局存在, 并非仅为有限时间内的紧性子列结果. 由上述斜率控制及 Riesz 表示, 推论 3.3、3.5 给出广义平均曲率向量 $H_{|\mu_t|_{\mathbb S^{d-1}}}\in L^2(0,\infty;L^2(d|\mu_t|_{\mathbb S^{d-1}}))$ , 且可将流体方程的界面力写成对该曲率向量的积分. 再由 Allard 可整性判据, 对几乎每个 $$t>0$$ , 相应的无向变分流是 $$(d-1)$$ -可整的. 作者明确指出, 整数可整性并未由此得到.

第二个主要结果为定理 3.8, 仅在匹配黏度 $\nu_1=\nu_2=1$ 下成立. 设 $(\chi_A,u)$ 是定义 3.6 意义下、存在于 $[0,T_{\rm strong})$ 的强解: 初始界面是有限个连通分支组成的可定向一致 $$C^3$$ 界面, 初始速度为 $$C^1$$ , 满足相应界面兼容条件; 强解速度在每个紧时间区间有一致 $$C^1$$ 控制, 界面由 $$C^3$$ 微分同胚演化. 对任意同一时间区间上的变分流弱解 $(\mu,\chi_A,v)$ , 构造相对熵与体积误差

\mathcal E(t)=\frac12\int_{\mathbb T^d}|v-u|^2\,dx +\int_{\mathbb T^d\times\mathbb S^{d-1}}(1-p\cdot\xi(x,t))\,d\mu_t(x,p),

\mathcal E_{\rm bulk}(t)=\int_{\mathbb T^d}|\chi-\chi_A|\,|\vartheta(x,t)|\,dx.

其中 $\xi$ 是强界面单位法向的光滑延拓, $\vartheta$ 是在强界面上消失、与到界面距离相当的光滑权函数. 定理断言存在依赖于强解的 $$C(T)>0$$ , 对几乎每个 $T\in[0,T_{\rm strong}]$ 有定量稳定估计

\mathcal E(T)+\mathcal E_{\rm bulk}(T) \le C(T)\big(\mathcal E(0)+\mathcal E_{\rm bulk}(0)\big).

因此若初值一致, 即 $$v_0=u_0$$ 且 $\chi_0=\chi_A(0)$ , 则几乎每个 $t\in[0,T_{\rm strong}]$ 上 $$v=u$$ , $\chi=\chi_A$ , 且 $\mu_t$ 等于由相界面导数及其法向确定的变分流. 这是强解存在区间内的弱强唯一性, 并不声称强解奇异时刻之后仍有唯一性. 摘录没有给出 $$C(T)$$ 的显式公式或其对强解范数的精确依赖, 因而无法进一步量化该常数.

3. 研究方法、关键技术和核心工具

存在性证明的核心困难在于同时处理流体输运、曲率驱动界面和变分流极限. 经典平均曲率流的 Allen–Cahn 尖锐界面极限可利用最大值原理控制差异测度, 但在这里界面方程带有 $v\cdot\nabla\chi$ 输运项, 相应的差异测度符号控制不再可用. 更重要的是, Brakke 型受迫流框架可能要求控制速度在界面上的迹, 而弱解速度只有自然的 $$L^2_tH^1_x$$ 型正则性, 并不足以直接提供所需的 $$L^2$$ 界面迹估计. 作者因此不以 Allen–Cahn 极限作为无条件存在证明的主要途径, 而采用全变分、能量耗散型的 De Giorgi 解概念.

证明框架建立在两个相互配合的离散化上. 一方面, 作者沿用 Laux 与 Poiatti [31] 的最小化运动方案, 离散近似平均曲率流的退化 $$L^2$$ 度量梯度流结构. 其目的不只是获得一个界面近似, 而是让离散能量下降在极限中保留为尖锐耗散不等式: 除流体黏性耗散和界面物质速度的平方积分外, 还保留变分流能量斜率项. 后一项通过测试场对一阶内变分取上确界定义, 在极限中承担弱曲率控制的角色. 这正是无需预设经典平均曲率存在、仍能恢复广义平均曲率的机制.

另一方面, 离散方案必须忠实表示材料导数 $\partial_t\chi+v\cdot\nabla\chi$ , 而不能把流体输运当成对静止界面的外力简单处理. 作者借用 Pironneau 提出的材料时间导数离散化及 Abels–Poiatti [5] 在几何流耦合问题中的用法, 将它与最小化运动耦合. 摘录明确指出, 这一最小化运动包含一个具有 Mullins–Sekerka 型特征的正则化项; 因此作者需要谨慎结合材料导数离散与曲率流的变分步, 使离散界面更新同时适应对流和退化梯度流结构. 流体 Navier–Stokes 方程也按该耦合近似进行离散处理, 以便两部分的能量交换在离散层面相容. 但提供的 PDF 内容仅到第 4 节开头, 没有呈现完整离散泛函、离散方程、先验估计和极限论证的逐步细节; 因而不能据此准确复述具体离散系数、紧性引理或每个误差项的控制方式.

弱解定义本身是分析框架的重要组成部分. 相指示函数 $\chi$ 与定向变分流 $\mu$ 通过

\int p\cdot\eta\,d\mu_t=\int\eta\cdot d\nabla\chi

相容, 这既保留相界面取向信息, 又允许 $\mu_t$ 的质量记录可能超出 $|\nabla\chi|$ 的界面能量. 相演化则不要求点态的 $$V=H$$ , 而以

\partial_t\chi+v\cdot\nabla\chi+V|\mu_t|_{\mathbb S^{d-1}}=0

的测度形式定义总物质界面速度. 其与 Navier–Stokes 方程的耦合通过变分流的一阶内变分 $\delta\mu_t$ 体现. 最后以尖锐耗散不等式将 $$V$$ 、变分流斜率、流体黏性耗散和总能量连接起来. 这使弱解在不要求界面光滑或变分流为整数可整的情况下, 仍保有证明广义曲率存在、获得流体界面力并通过紧性传递能量控制所需的结构.

由耗散不等式定义的斜率项可以用 Riesz 表示定理转化为广义平均曲率向量: 对测试场 $$B$$ 的线性泛函 $\int\delta\mu_t(B)dt$ 由 $L^2(d|\mu_t|dt)$ 函数表示, 于是 $\delta\mu_t(B)=-\int H_{|\mu_t|}\cdot B\,d|\mu_t|$ . 这不仅补足变分流的几何解释, 也将弱流体方程改写为对广义曲率界面力的积分. 随后 Allard 可整性判据给出几乎处处时刻的 $$(d-1)$$ -可整性. 作者同时保留了谨慎的结论边界: 由于采用的最小化运动框架, 目前不能从本文结果推出整数可整性.

弱强唯一性部分采用相对熵方法, 但并非只比较速度的 $$L^2$$ 距离. 其几何相对熵 $\int(1-p\cdot\xi)d\mu_t$ 衡量弱变分流方向与强界面法向延拓 $\xi$ 的偏离, 并在方向一致时控制界面质量的几何失配; 额外的体积误差 $\int|\chi-\chi_A||\vartheta|dx$ 则以在强界面消失的距离型权重记录相区错位, 用来控制若干耦合项. 流体部分采用 $\frac12\int|v-u|^2dx$ . 将弱解的能量不等式、强解的光滑方程以及由强界面构造的标定场相结合, 作者得到相对熵与体积误差之和的 Gronwall 型稳定性估计. 摘录说明该方案沿用 Fischer 与 Hensel [15] 的两相流弱强唯一性思路, 并参考 [22] 的标定构造; 但没有展示第 5 节逐项消去或估计耦合余项的计算, 因而具体误差项分解及常数依赖从提供内容中无法确认.

因此本文可从摘录中确认的技术创新, 是把 De Giorgi 型尖锐能量耗散解、适配材料导数的离散化和 Navier–Stokes 动量方程结合, 从而避开依赖最大值原理的尖锐界面极限, 并在 $$d=2,3$$ 的牛顿流体情形构造全局变分流弱解. 证明究竟如何逐项建立离散估计, 以及紧性、初值恢复和能量下半连续性的具体技术安排, 在提供的 PDF 摘录中未展开, 不宜进一步臆测.

4. 与之前工作的比较

与 $$M=0$$ 的经典两相不可压缩黏性流体表面张力问题相比, 本文处理的是 $$M>0$$ 的可渗透界面, 法向速度含有曲率驱动项 $$MH_I$$ . 这改变了界面运动机制和能量耗散: 总耗散除流体的 $\int\nu|Dv|^2$ 外, 还包含界面曲率平方项. $$M=0$$ 情形已有广义/变分流解、强解及弱强唯一性工作, 文中列举了 [1,41]、[13,27,43]、[15]; 但这些结果不能直接补足本文所针对的曲率流与流体完全耦合且 $$M>0$$ 时的无条件全局弱解存在性.

在 $$M>0$$ 的局部强解方面, 文中指出已有从 [39] 到 [3]、[22] 的多项工作. 强解理论要求足够光滑的初始界面和速度, 并只控制到强解存在的时间; 若界面或速度发生奇异, 不能据此得到全局延拓. 本文定理 3.4 将初值要求降到 $\chi_0\in BV(\mathbb T^d;\{0,1\})$ 与 $v_0\in\dot L^2_\sigma(\mathbb T^d)$ , 允许弱界面由变分流描述, 并证明在 $$d=2,3$$ 对所有正时间全局存在. 这一推进以更弱的解概念为代价: 界面不必保持光滑, 其曲率仅以 $$L^2$$ 广义平均曲率和变分流斜率意义出现, 且本文没有证明相应变分流为整数可整.

最直接的全耦合先行结果是 Liu、Sato 与 Tonegawa [36]. 他们通过 Navier–Stokes/Allen–Cahn 近似, 同时令 Galerkin 维数趋于无穷、相场厚度 $\varepsilon\to0$ , 获得全局弱解, 但使用剪切增稠型幂律非牛顿应力, 要求速度具有 $L^p_tW^{1,p}_x$ 正则性且 $$p>(d+2)/2$$ . 这一范围在 $$d=2$$ 要求 $$p>2$$ , 在 $$d=3$$ 要求 $$p>5/2$$ , 因而不覆盖牛顿情形 $$p=2$$ . 文中解释, 该更强的速度可积性有助于使曲率流相对于速度输运占主导. 本文的关键推进是在不提高牛顿模型的自然指数 $$p=2$$ 的前提下处理同一输运—曲率耦合, 并同时覆盖二维与三维. 这不是通过证明速度更光滑实现的, 而是改用 De Giorgi 型变分流定义和与材料导数相适配的最小化运动构造.

与 Liu–Tonegawa [37] 的工作相比, 本文也不是简单把受迫平均曲率流结果搬到 Navier–Stokes 场上. [37] 在 $$d=2$$ 处理的是给定速度场驱动的受迫平均曲率流, 其解具有 Brakke 流意义, 并与 [48] 的广义 BV 流理论相关; 它本身不同时求解流体速度和流体动量方程. 本文则对未知速度、两相 Navier–Stokes 方程和变分流界面作联合构造, 在 $$d=2,3$$ 得到全局存在. 文中指出 [37] 的框架面对牛顿情形的 $$p=2,d=3$$ 超临界困难, 并提到界面测度有限性及速度迹控制方面的限制; 本文的弱解定义通过总物质界面速度对变分流质量的 $$L^2$$ 控制和全局耗散不等式, 避开对 $$v$$ 在界面上 $$L^2$$ 迹的直接要求. 需要注意, 这是改变弱解框架以获得存在, 并不意味着解决了所有 Brakke 流正则性或唯一性问题.

方法上的近邻工作是 De Giorgi 型平均曲率流解 [21] 及 Laux–Poiatti 的无条件构造 [31], 还有体积保持平均曲率流的相关扩展 [42]. 本文把这些框架从单独几何流推广到含对流和流体反馈的耦合系统. 另一个重要参照是 Abels–Poiatti [5] 的 Navier–Stokes/Mullins–Sekerka 耦合方案, 其材料导数离散化为处理随流体运动的界面提供技术基础. 与基于 Allen–Cahn 尖锐界面极限并依赖差异测度符号控制的路线相比, 本文强调纯变分的最小化运动, 从而不依赖相应最大值原理. 其局限是该构造仍未给出整数可整性, 这一点作者明确留作开放问题.

弱强唯一性方面, 文中以 Fischer–Hensel [15] 的两相流相对熵方法为基础, 并联系平均曲率流的 [18,21,30,42]、Mullins–Sekerka 流的 [19] 以及 Navier–Stokes/Allen–Cahn 与尖锐界面极限的 [22]、[8]. 定理 3.8 的贡献是在新构造的变分流弱解类别中, 对匹配黏度的经典 Navier–Stokes/平均曲率流强解建立定量稳定性, 从而不仅证明相同初值时的一致性, 也给出初值相对熵误差到后续误差的控制. 适用范围有两项明确限制: 强解必须在所考察区间内保持定义 3.6 所需的正则性; 黏度被限制为匹配情形 $\nu_1=\nu_2=1$ . 作者认为可沿 [15] 的思路推广至不匹配黏度, 但指出分析更技术化, 并将其留待后续工作. 因此本文没有建立任意弱解之间的唯一性, 也没有延伸到强解失去光滑性之后的时间段.

中文标题: 聚焦型 Calogero–Moser 导数非线性薛定谔方程在 Hardy–Zhidkov 空间中的显式流公式与暗多孤子

摘要翻译: 本文研究满足非零边界条件 $|u(t,x)|\to 1 as \(|x|\to+\infty 的聚焦型 Calogero–Moser 导数非线性薛定谔（CMdNLS）方程。与经典三次非线性薛定谔方程的范式形成鲜明对比——聚焦型非线性在零背景上仅支持亮孤子——我们证明，聚焦型 CMdNLS 方程在非零背景上存在丰富的 \emph{dark multi-soliton} 解族；其存在性由 Lax 算子的点谱中的谱隙 \([-1,0]$ 以及 Hardy 空间结构共同促成。

主要结果有三方面。首先，我们通过一种基于 Lax–Beurling 位移半群与 Toeplitz 算子之间的新型交换子估计的 \emph{semigroup method}，为 Hardy–Zhidkov 空间 $\mathcal Z^2_+$ 中的一般解建立显式公式。该方法绕开了无界生成元与时间导数之间的不交换性，并且对解或交换子公式的有效范围均不要求加权假设。其次，我们证明，暗多孤子势的代数定义等价于关于 Lax 算子的两个谱条件。结合一个生成泛函的守恒性，可得暗 $N$-孤子集合 $\mathcal U_N$ 在 CMdNLS 流下的不变性。第三，我们在 $\mathcal U_N$ 上构造作用角变量，从而确立聚焦型 CMdNLS 方程在 $\mathcal U_N$ 上的完全可积性。

结合上述结果，我们得到一个逆谱公式，由此可知，暗多孤子解的极点满足一个复化的 Calogero–Moser 系统。我们还推导了长时间渐近行为和一致 Sobolev 估计。

16. 超弹性杆方程在临界 Sobolev 空间中的不适定性

Ill-posedness in the critical Sobolev space for the hyperelastic rod equation

作者: Dan-Andrei Geba

类别: math.AP

发布日期: 2026-09-30

arXiv ID: 2610.00594v1

链接: http://arxiv.org/abs/2610.00594v1

摘要翻译

中文标题: 超弹性杆方程在临界 Sobolev 空间中的不适定性

摘要翻译: 本文是关于 Camassa-Holm 型方程在临界 Sobolev 空间中不适定性研究系列的第三篇。在 $$b$$ -Novikov 方程和 Fokas-Olver-Rosenau-Qiao 方程的相关结果之后，我们研究超弹性杆方程在临界 Sobolev 正则性 $H^{3/2}(\mathbb R)$ 下的情形。我们证明了这一端点处的不适定性，从而补充了 $$s>3/2$$ 时 $H^s(\mathbb R)$ 中的局部适定性理论，以及近期建立的 $$1<s<3/2$$ 时的范数膨胀结果。临界不适定性的具体表现取决于参数 $$γ$$ 。当 $0<γ\leq3$ 时，我们构造了任意小的光滑初值，使其对应的解在有限时间内发生爆破，且最大存在时间随初值大小趋于零。当 $$γ<0$$ 或 $$γ>3$$ 时，我们构造了具有任意小 $H^{3/2}$ 初值的解，使其 $H^{3/2}$ 范数在任意短的时间内变得任意大。

17. 梯度幂非线性色散产生的边缘尖点紧支撑孤波：精确转变与奇异谱结构

Edge-cusped compactons from gradient-power nonlinear dispersion: exact transitions and singular spectral structure

作者: Francisco R. Villatoro

类别: nlin.PS, math.AP

发布日期: 2026-09-30

arXiv ID: 2610.00552v1

链接: http://arxiv.org/abs/2610.00552v1

摘要翻译

arXiv ID: 2610.01986v1

链接: http://arxiv.org/abs/2610.01986v1

摘要: We prove an interior Lipschitz estimate with a sharp height threshold for continuous viscosity solutions of the three-dimensional special Lagrangian equation with subcritical phase $$|Θ|<π/2$$ . If

osc_{B_R}u\leq MR^2,\qquad 0\leq M<\secΘ,

then $Lip_{B_{ρR}}u\leq CR$ for some $$ρ>0$$ and $$C>0$$ depending only on $$|Θ|$$ and $$M$$ . The threshold is optimal: at $M=\secΘ$ , there are entire real-analytic solutions whose Lipschitz seminorms are unbounded on every fixed interior ball. The proof uses a two-point maximum principle and algebraic identities specific to dimension three.

7. 平面上给定垂直平均曲率系统的正则性

Regularity for the prescribed vertical mean curvature system in the plane

作者: Jonas Hirsch, Connor Mooney, Riccardo Tione

类别: math.AP

发布日期: 2026-10-01

arXiv ID: 2610.01970v1

链接: http://arxiv.org/abs/2610.01970v1

摘要: We prove everywhere regularity for Lipschitz solutions to the prescribed vertical mean curvature system in the plane, where the codimension is arbitrary and the mean curvature is in $L^r, \, r > 2$ . This strengthens and extends our previous result on the Lawson-Osserman conjecture, https://arxiv.org/abs/2308.04997.

8. 临界指数 $$qr=(p-1)(s+1)$$ 下 Gierer–Meinhardt 系统的全局存在性、一致有界性与渐近行为

Global existence, uniform boundedness and asymptotic behavior for Gierer–Meinhardt system with critical exponent $$qr=(p-1)(s+1)$$

作者: Xianfa Song, Zeen Song

类别: math.AP

发布日期: 2026-10-01

arXiv ID: 2610.01968v1

链接: http://arxiv.org/abs/2610.01968v1

摘要: In this paper, we study the following Gierer–Meinhardt system \begin{equation*} \begin{cases} u_t=d_1Δu-a_1u+u^p/v^q+δ_1(x),\quad x\in Ω, t>0,\ v_t=d_2Δv-a_2v+u^r/v^s+δ_2(x), \quad x\in Ω, t>0,\ \partial_νu=\partial_νv=0,\qquad\qquad \qquad\qquad\quad x\in \partial Ω, t>0,\ u(x,0)=u_0(x),\quad v(x,0)=v_0(x),\quad x\in Ω, \end{cases} \end{equation*} where $Ω\subset \mathbb{R}^N$ is a bounded domain, $$ν$$ is the outer norm vector with respect to the smooth boundary $\partial Ω$ , $$d_1,d_2, p,q,r>0$$ , $$s>-1$$ , $$p-1<r$$ , $$qr=(p-1)(s+1)$$ , $$δ_1(x)$$ , $$δ_2(x)$$ , $$u_0(x)$$ and $$v_0(x)$$ are continuous functions. For every pair $$d_1,d_2>0$$ , we respectively establish the global existence, uniform boundedness and asymptotic behavior for Gierer–Meinhardt system with critical exponent $$qr=(p-1)(s+1)$$ under certain conditions.

9. 正则化最优传输的全局正则性与稀疏性

Global regularity and sparsity for regularised optimal transport

作者: Xiaopeng Cheng, Lukas Koch, Haotian Xiao

类别: math.AP

发布日期: 2026-10-01

arXiv ID: 2610.01928v1

链接: http://arxiv.org/abs/2610.01928v1

摘要: We study regularised optimal transport with subquadratic or entropic regularisation. Under $C^{1,α}$ -assumptions on the marginals and the domains of their support, we prove global gradient-Lipschitz bounds on the potentials, uniform in the regularisation parameter. Moreover, we show that, up to the boundary, the support of the conditional supports $\text{supp}\,π_\varepsilon(\cdot|x)$ behaves like balls of radius $\varepsilon^\frac 4 {d(p-1)+2}$ . Our work was carried out concurrently and independently of [9]. We obtain the results of [9,Theorem 1.2] under weaker assumptions and with a different proof.

10. 小阶度量值非局部能量的解耦与尾部定律：马兹亚–沙波什尼科娃公式的结构性视角

Decoupling and Tail Laws for Small-Order Metric-Valued Nonlocal Energies: A Structural View of the Maz’ya–Shaposhnikova Formula

作者: Andrea Pinamonti

类别: math.AP, math.CA, math.MG

发布日期: 2026-10-01

arXiv ID: 2610.01958v1

链接: http://arxiv.org/abs/2610.01958v1

摘要: We develop a measure-theoretic framework for small-order limits of nonlocal energies with metric-valued maps. For globally $$L^p$$ maps, we consider interaction measures whose marginals have uniformly bounded $L^\infty$ densities $$a_α$$ and $$b_α$$ . If these densities converge weakly-* to $a_\infty$ and $b_\infty$ , the normalized energies converge to the $$L^p$$ energy weighted by $a_\infty+b_\infty$ if and only if the interaction measures escape every bounded rectangle. For maps that are only locally $$L^p$$ , we introduce target laws describing the distribution of the values sampled at infinity. Convergence of their $$p$$ -distance profiles yields the limiting interaction energy for every $1\leq p<\infty$ and arbitrary Polish targets, with integrated $$p$$ -Wasserstein convergence as a sufficient criterion. The arguments include the endpoint $$p=1$$ and require no linear structure on the target space. Applications include directional and anisotropic Maz’ya–Shaposhnikova formulas, a Bernoulli-law interpretation of fractional perimeters, and an Abelian principle for heat-semigroup energies.

11. 凸体内随机点对分布的布伦-明可夫斯基理论

A Brunn-Minkowski Theory for the Distribution of Random Pairs of Points in Convex Bodies

作者: Sinan Wang

类别: math.AP, math.FA

发布日期: 2026-10-01

arXiv ID: 2610.01916v1

链接: http://arxiv.org/abs/2610.01916v1

摘要: Let $K\subset\mathbb{R}^n$ be a convex body, let $$X$$ and $$Y$$ be independent uniform points of $$K$$ , and set $R_K=(|K|/ω_n)^{1/n}$ . We consider the distribution function

D_K(ρ)=\mathbb P\{|X-Y|/R_K<ρ\},

and its homogeneous counterpart \begin{equation*} \mathcal J_ρ(K)=\iint_{K\times K}\mathbf{1}_{{|x-y|<ρR_K}}dxdy. \end{equation*} Thus $$D_K(ρ)$$ is the proportion of ordered pairs of points of $$K$$ whose distance is less than $$ρR_K$$ , or equivalently the radial distribution function of the normalized covariogram of $$K$$ . The functional satisfies a Brunn–Minkowski inequality, with equality precisely for homothetic bodies, and its differential gives a first Minkowski inequality. We characterize the Borel measures that occur as Wulff differentials: they are exactly the nonzero finite positive measures with zero centroid which are not concentrated on a great subsphere, and the corresponding body is unique up to translation. We further prove fixed-volume and stationary rigidity of the ball in the subcritical range, together with regularity for the resulting equation. At saturation, the equation is the classical Minkowski equation.

12. 量子最优传输重心：存在性、对偶性与高斯刚性

Quantum Optimal Transport Barycenters: Existence, Duality, and Gaussian Rigidity

作者: Augusto Gerolin, Zhiyi Lin

类别: quant-ph, math.AP

发布日期: 2026-10-01

arXiv ID: 2610.01855v1

链接: http://arxiv.org/abs/2610.01855v1

摘要: We develop a Quantum Optimal Transport (QOT) barycenter framework for quantum states, as an analog of Wasserstein barycenters~\cite{AguCar}, and establish existence and duality results for a broad class of possibly unbounded transport costs on separable Hilbert spaces. Our framework provides, in particular, a unified treatment of $$2$$ -quantum Wasserstein (QW) barycenters in both the quantum-state and quantum-channel formulations by specializing to the canonical quadratic cost operators associated with the $$2$$ -quantum Wasserstein distances of Caglioti–Golse–Mouhot–Paul~\cite{caglioti2021towards,Golse-Mouhot-Paul:2016} and De Palma–Trevisan~\cite{DPaTre19}. The central results concern Gaussian input states and, in particular, Gaussian rigidity: whether Gaussian input states force the 2-QW barycenter itself to be Gaussian and uniquely determined when the minimization is taken over all quantum states. We first show that the barycenter problem admits a Gaussian minimizer and reduces to a finite-dimensional convex optimization problem over covariance matrices. The main difficulty is that uniqueness of the optimal covariance does not, in general, imply uniqueness of the underlying quantum state. We bridge this gap through a state-reconstruction principle under covariance complementary slackness that upgrades uniqueness of the optimal covariance to uniqueness of the full quantum state, and thereby prove a global rigidity theorem: if at least one Gaussian input is faithful, then the barycenter is unique among all quantum states and is necessarily Gaussian. Faithfulness is sufficient but not necessary: families of pure inputs still determine a unique barycenter, whereas partially pure nonfaithful Gaussian inputs may admit multiple barycenters.

13. 根系异速生长与根系重叠在植被斑图形成中的作用

The role of root allometry and root overlap in vegetation pattern formation

作者: Jelle van der Voort, Ricardo Martinez-Garcia, Arjen Doelman

类别: nlin.PS, math.AP, math.DS, nlin.AO

发布日期: 2026-10-01

arXiv ID: 2610.01730v1

链接: http://arxiv.org/abs/2610.01730v1

摘要: We investigate how root allometry and below-ground root competition due to root overlap affect the conditions for pattern formation in non-local scalar vegetation models. We start from a spatially explicit two-component vegetation-water system in which plants acquire soil water through their laterally extended root systems, with root allometry represented by an interaction kernel whose spatial extent increases with the above-ground biomass density. In the limit of fast water dynamics, we eliminate the water variable, resulting in a non-local scalar model for the vegetation dynamics. This reduction reveals that accounting for root overlap naturally leads to a double integral structure in the scalar model, in contrast to the single convolution term commonly used to model non-local competition for resources. For the resulting scalar model, we identify two distinct mechanisms that can drive Turing instabilities. The first instability mechanism requires root growth to outpace mortality, while the second mechanism relies on the development of competitive pressure zones, in which vegetation growth is impeded by the cumulative competitive pressure exerted by neighbouring areas with higher biomass density. Root allometry promotes the occurrence of both instability mechanisms, while root overlap inhibits the emergence of competitive pressure zones. Hence, our results show that both root allometry and root overlap are important features to consider when studying vegetation pattern formation.

14. 非齐次退化抛物型 $$p$$ -Laplace 方程解的正则性

Regularity for solutions to inhomogeneous degenerate parabolic $$p$$ -Laplace equations

作者: Xia Hao, Yan Li, Zhiwen Zhao

类别: math.AP

发布日期: 2026-10-01

arXiv ID: 2610.01724v1

链接: http://arxiv.org/abs/2610.01724v1

摘要: For weak solutions to quasilinear degenerate parabolic equations of $$p$$ -Laplace type, a central obstacle in applying the method of intrinsic scaling to prove their Hölder regularity is the derivation of forward-in-time propagation estimate for the spatial measure of level sets. In this paper, we revisit and overcome this difficulty for an inhomogeneous degenerate parabolic $$p$$ -Laplace equation with bounded nonnegative time-independent forcing term and initial data. Our new proof is built upon the temporal Lipschitz estimate that we establish on any time interval separated from the initial time by a positive amount. The strong regularity gain furnished by this estimate allows us to derive the forward propagation of level-set measures directly, thereby bypassing the energy inequality that served as the starting point of the previous approach. Furthermore, we establish space-time $W^{1,\infty}_{x,t}$ estimates away from the initial time and construct counterexamples to demonstrate the sharpness of the positive waiting-time condition under merely bounded initial data.

15. 椭圆型偏微分方程均匀化中平均格林函数的正则性

On regularity of averaged Green’s functions in homogenization of elliptic PDE

作者: Joseph G. Conlon, Michael Dabkowski

类别: math.AP

发布日期: 2026-10-01

arXiv ID: 2610.01656v1

链接: http://arxiv.org/abs/2610.01656v1

摘要: This paper is concerned with establishing estimates on averaged Green’s functions for a uniformly elliptic divergence form partial difference equation with random coefficients on the $$d$$ dimensional integer lattice $\mathbb{Z}^d$ . It has previously been shown that the averaged Green’s function is point-wise well approximated by the homogenized Green’s function at large length scales. Corresponding results also hold for (fractional) derivatives of the averaged Green’s function up to but not including the second derivative. Second derivative results have been established when the elliptic equation generates a positive semi-group, as in the diagonal case. Here the second derivative result is shown more generally by using an insight of Bourgain.

16. 四维平行多面体的等周问题

The isoperimetric problem for four-dimensional parallelohedra

作者: Matteo Novaga, Lark Song

类别: math.MG, math.AP

发布日期: 2026-10-01

arXiv ID: 2610.01653v1

链接: http://arxiv.org/abs/2610.01653v1

摘要: We show that the regular $$24$$ -cell uniquely minimizes surface area among four-dimensional parallelohedra of fixed volume. As a consequence, it also minimizes surface area among parallelohedra containing a fixed ball. Moreover, we establish quadratic Hausdorff stability, and we derive a second-variation formula valid across changes of Voronoi type, which identifies which root-lattice Voronoi cells are strict local minima under metric and affine perturbations.

17. 三维及更高维中薛定谔方程狄利克雷解的消失阶数

Vanishing orders of Dirichlet solutions to the Schrödinger equation in dimensions three and higher

作者: Shuowen Feng, Zaihui Gan, Renjin Jiang, Fanghua Lin

类别: math.AP, math.CA

发布日期: 2026-10-01

arXiv ID: 2610.01615v1

链接: http://arxiv.org/abs/2610.01615v1

摘要: Let $B_3=B(0,3)\subset\mathbb{R}^3$ . For every sufficiently large integer $$k$$ , we construct a nonzero real function $u_k\in C^2(\overline{B_3})$ and a real potential $V_k\in L^\infty(B_3)$ such that $$Δu_k=V_ku_k$$ , $u_k|_{\partial B_3}=0$ , $\mathrm{ord}_0u_k=k$ , and $\|V_k\|_\infty\le Ck^{3/2}$ . Consequently, for every sufficiently large $$N$$ , there is such a Dirichlet solution with potential norm smaller than $$N$$ and vanishing order at least $cN^{2/3}$ . The construction extends directly to higher dimensions and to spheres. Together with previous results, this example indicates that $C(1+\|V\|_\infty^{2/3})$ is the sharp bound for the vanishing order in the real-valued case. It also indicates that the bound conjectured independently by Kukavica \cite{Kukavica1998} and Kenig \cite{Kenig2006} is not attainable in general.

18. 度量测度空间上半线性热方程爆破与整体存在的半群判据

Semigroup Criteria for Blow-up and Global Existence of Semilinear Heat Equations on Metric Measure Spaces

作者: Giulia Meglioli, Fabio Punzo

类别: math.AP, math.FA

发布日期: 2026-10-01

arXiv ID: 2610.01588v1

链接: http://arxiv.org/abs/2610.01588v1

摘要: We study finite-time blow-up and global existence for semilinear heat equations with time-dependent reaction coefficients on metric measure spaces. For convex nonlinearities, we establish a blow-up criterion that retains the dependence on the initial datum through its linear evolution and does not require stochastic completeness. Under additional conservativity and heat kernel assumptions, we also prove blow-up at the critical Fujita exponent associated with polynomial volume growth. Our main global existence result is based on a heat-kernel-weighted functional space in which the mild solution map becomes a contraction. This yields a unified construction covering both polynomial and exponential heat kernel decay, general locally Lipschitz nonlinearities, and time-dependent reaction coefficients, without convexity or monotonicity assumptions. In particular, the global existence criterion only uses the behaviour of the nonlinearity on the range explored by the solution. Applications include Riemannian manifolds, metric graphs, and, within a separate discrete framework, weighted graphs. The arguments, especially the functional construction underlying global existence, are new and lead to new results even for the classical underlying spaces considered above.

19. Calderón问题中 $n\geq4$ 时 $W^{1,n}$ 电导率的确定

Determining $W^{1,n}$ conductivities in Calderón’s problem for $n\geq4$

作者: Lu Chen, Yan Jiang, Hongyu Liu, Longyue Tao

类别: math.AP

发布日期: 2026-10-01

arXiv ID: 2610.01529v1

链接: http://arxiv.org/abs/2610.01529v1

摘要: We establish a global uniqueness result at the critical Sobolev regularity for the isotropic Calderón problem in all dimensions $n\ge 4$ . More precisely, for every $n\ge4$ and every bounded Lipschitz domain $Ω\subset\mathbb{R}^n$ , any real-valued, uniformly elliptic scalar conductivity $γ\in W^{1,n}(Ω)$ is uniquely determined by its full Dirichlet-to-Neumann map. This settles a long-standing open problem in the field. To prove uniqueness at this endpoint, we develop an averaged trace norm method, which combines complex geometrical optics with trace norm estimates averaged over wave orientations.

20. 低维情形下磁薛定谔算子的逆谱结果

Inverse spectral results for the magnetic Schrödinger operator in low dimensions

作者: Devon Farrell, Anna Holloway, Nikhil Savale

类别: math.SP, math-ph, math.AP

发布日期: 2026-10-01

arXiv ID: 2610.01479v1

链接: http://arxiv.org/abs/2610.01479v1

摘要: We consider the semiclassical magnetic Schrödinger operator in dimensions one and two. The first result is that an even one dimensional semiclassical potential is spectrally determined by the Schrödinger operator. The second result states that a two dimensional radial magnetic field is spectrally determined by a purely magnetic Schrödinger operator. This extends the earlier work of Guillemin-Wang and answers a conjecture of theirs therein.

21. 角点区域上 Ginzburg–Landau 临界点的渐近理论

The Asymptotic Theory of Ginzburg–Landau Critical Points on Domains with Corners

作者: Yucen Han, Apala Majumdar

类别: math.AP

发布日期: 2026-10-01

arXiv ID: 2610.01410v1

链接: http://arxiv.org/abs/2610.01410v1

摘要: We study the critical points $U_\varepsilon$ of the two-dimensional Ginzburg–Landau energy on domains with corners $$Ω$$ and imposed Dirichlet boundary condition which vanishes precisely at the vertices $$V$$ . We isolate the forced scalar boundary layer $ρ_\varepsilon$ by the weighted Lassoued–Mironescu splitting. Assuming the reduced logarithmic energy bound and vertex logarithmic tightness, we prove that after passing to a subsequence, the normalized maps $v_\varepsilon = U_\varepsilon/ρ_\varepsilon$ converges in $C^k_{\mathrm{loc}}(Ω\setminus A)$ $\forall k\ge0$ away from a finite set of interior vortices $$A$$ . The limiting map is a canonical $$S^1$$ -valued harmonic map $$u_*$$ containing integer interior vortex factors and fixed fractional corner factors. The renormalized energy is defined by removing discs around the interior vortices and sectors around the vertices and subtracting the corresponding logarithmic divergences. The interior vortex locations of the limiting map are critical points of this renormalized energy.

22. Allen-Cahn方程与一般极小锥

The Allen-Cahn equation and general minimal cones

作者: Oscar Ivan Agudelo Rico, Matteo Rizzi

类别: math.AP, math.DG

发布日期: 2026-10-01

arXiv ID: 2610.01335v1

链接: http://arxiv.org/abs/2610.01335v1

摘要: We construct solutions to the Allen-Cahn equation $$Δu+u-u^3=0$$ in $\mathbb{R}^{N+1}$ , with $N\ge 3$ , whose zero level set is asymptotic (at infinity) to a given minimal cone. Our construction is quite general, since we only use a suitable nondegeneracy assumption; neither stability nor symmetry of the underlying cone is required. Moreover, we calculate the morse index of such solutions. In particular, our main result generalizes a result by Pacard and Wei (2013) dealing with stable solutions to the Allen-Cahn equation in high dimensions. More precisely, we give a positive answer to a remark raised in the paper by Pacard and Wei about the possibility to relax the assumption for the underlying cone is area-minimizing or at least stable. As a corollary, we also obtain solutions with infinite morse index and connected zero level set.

23. 高固定频率下黎曼度量的各向异性 Calderón 问题

The anisotropic Calderón problem for Riemannian metrics at high fixed frequency

作者: Mihajlo Cekić, Katya Krupchyk, Suman Kumar Sahoo, Gunther Uhlmann

类别: math.AP, math.DG, math.DS

发布日期: 2026-10-01

arXiv ID: 2610.01280v1

链接: http://arxiv.org/abs/2610.01280v1

摘要: We study an inverse boundary value problem for the Helmholtz equation on a smooth compact non-trapping Riemannian manifold with strictly convex boundary. We prove that, given two such metrics, for sufficiently large but fixed frequency $$λ$$ , equality of their Dirichlet-to-Neumann maps implies equality of their lens data, up to a smooth boundary-fixing diffeomorphism. This establishes a high-frequency bridge between the Calderón problem and lens rigidity. We also prove a quantitative version of this result uniformly valid in a suitable bounded set of Riemannian metrics. Crucially, we show that Gaussian beam type solutions concentrating on maximal geodesics, split near the boundary into outgoing/incoming parts, such that the phase of the outgoing part contains information on exit point, direction, and travel time. The recovery of lens data then proceeds by a careful stationary phase analysis and a boundary integral identity.

24. 具有负触觉趋性的转移性癌症侵袭模型的全局经典解

Global classical solutions for a metastatic cancer invasion model with negative haptotaxis

作者: Nishith Mohan, Dimitrios Katsaounis

类别: math.AP

发布日期: 2026-10-01

arXiv ID: 2610.01268v1

链接: http://arxiv.org/abs/2610.01268v1

摘要: We analyze a coupled PDE-ODE model for metastatic cancer invasion involving epithelial-like and mesenchymal-like cancer cells, cancer-associated fibroblasts (CAFs), the transforming growth factor $$β$$ , matrix-degrading metalloproteinases, and extracellular matrix reconstruction by CAFs. The model incorporates bidirectional phenotypic transitions between epithelial-like and mesenchymal-like cancer cells, cancer-cell haptotaxis, negative fibroblast haptotaxis, as well as cell-specific proliferation. Under explicit parameter restrictions, we establish global classical solvability for the full model in two dimensions using an energy-based approach, and for a three-dimensional variant with constant phenotypic transition rates using coupled $$L^p$$ -estimates. Numerical simulations illustrate primary tumor invasion and metastatic spread to secondary sites.

25. 对称性假设下 $$[?]$$

Strict Log-Concavity of First Dirichlet Eigenfunctions under Symmetry in $\mathbb{CP}^n$

作者: Jia-Lin Hsu

类别: math.DG, math.AP, math.SP

发布日期: 2026-09-30

arXiv ID: 2610.00716v1

链接: http://arxiv.org/abs/2610.00716v1

摘要: We prove that the positive first Dirichlet eigenfunction of every smooth domain with convex boundary in $\mathbb{CP}^n$ invariant under the standard $U(1)\times U(n-1)$ -action is strictly log-concave for $$n=2,3,4$$ .

26. 双曲空间 $\mathbb{H}^{n}$ 上 1-形式的一个不变子空间上的 Hodge 拉普拉斯算子的热核

The Heat Kernel of the Hodge Laplacian on an Invariant Subspace of 1-forms on the Hyperbolic Space $\mathbb{H}^{n}$

作者: Petros Siasos

类别: math.DG, math.AP

发布日期: 2026-09-30

arXiv ID: 2610.00653v1

链接: http://arxiv.org/abs/2610.00653v1

摘要: In this paper, we construct explicit formulas for the heat kernel of the Hodge Laplacian restricted to an invariant subspace of $$1$$ -forms on the real hyperbolic space $\mathbb{H}^{n}$ . Using warped product decompositions, the problem is reduced to component operators on specific subspaces, yielding precise closed-form expressions for both odd and even dimensions. We further establish Millson-type recurrence relations that connect heat kernels across differing dimensions. Based on these explicit representations, we derive sharp uniform estimates and long-time asymptotic behavior, extending classical scalar heat kernel bounds to $$1$$ -forms on real hyperbolic spaces.

27. 最优多极点 Lp-Hardy 不等式：基态、临界性与变分阈值

Optimal multipolar Lp-Hardy inequalities: ground states, criticality, and variational thresholds

作者: Yongyang Jin, Shoufeng Shen, Li Tang

类别: math.AP

发布日期: 2026-09-30

arXiv ID: 2610.00652v1

链接: http://arxiv.org/abs/2610.00652v1

摘要: We study the relation between ground states, criticality, and variational compactness for a family of genuinely multipolar Lp-Hardy weights, 1 < p < n. A ground-state representation valid across the poles gives a complete classification of the full potential into critical and subcritical parameter regions and distinguishes finite-energy attainment from non-attained criticality. Removing a geometric interaction term leads to a second variational problem, whose optimal coefficient is controlled by concentration at the poles and at infinity. We prove that a strict gap below the resulting threshold yields strong compactness of normalized minimizing sequences, a positive extremizer, and criticality of the optimally rescaled operator. For 1 < p < 2, this gap holds throughout the full-potential critical set and the optimal truncated coefficient is strictly below 1; for p >2, the coefficient is strictly above 1 in the full-potential attainment region. At fixed parameters strictly inside the quadratic attained region, the optimal value converges to 1 as p tending to 2, with attainment and criticality on both sides. The proofs combine null sequence rigidity and strict-pole capacity with local weighted compactness across the zero set of the underlying vector field.

28. 实扭曲蒙日-安培方程的李乌维尔定理

A Liouville theorem for the real twisted Monge-Ampère equation

作者: Joshua Jordan

类别: math.AP, math.DG

发布日期: 2026-09-30

arXiv ID: 2610.00543v1

链接: http://arxiv.org/abs/2610.00543v1

摘要: We establish a Pogorelov type interior $$C^2$$ estimate for the real twisted Monge-Ampere equation without assuming uniform ellipticity. This equation is fully nonlinear and elliptic, but is neither concave nor a function of the eigenvalues of the Hessian, so the standard techniques for interior second-derivative estimates do not directly apply. Building on the partial Legendre transform formulation of Streets and Warren, we derive a differential identity for the associated positive-definite matrix $$W(D^2u)$$ and use some linear algebra to control the third-order terms arising in the maximum principle argument. As an application, we prove a Liouville theorem for entire split convex solutions with quadratic growth, extending the rigidity theorem of Streets and Warren by replacing their uniform ellipticity hypothesis with suitable quadratic growth assumptions.

重点关注论文（完整分析）#

1. 可压缩定常水波#

1. 研究对象和背景#

2. 主要定理或主要结果#

3. 研究方法、关键技术和核心工具#

4. 与之前工作的比较#

2. 径向对称下古德利内爆激波的非线性稳定性#

1. 研究对象和背景#

2. 主要定理或主要结果#

3. 研究方法、关键技术和核心工具#

4. 与之前工作的比较#

3. 定常 Prandtl 系统的局部分离剖面#

1. 研究对象和背景#

2. 主要定理或主要结果#

3. 研究方法、关键技术和核心工具#

4. 与之前工作的比较#

4. 不可压缩黏弹形态弹性系统的零扩散极限：弱解与 Jaumann 缺陷#

1. 研究对象和背景#

2. 主要定理或主要结果#

3. 研究方法、关键技术和核心工具#

4. 与之前工作的比较#

5. Navier-Stokes/平均曲率流系统的全局弱 varifold 解#

1. 研究对象和背景#

2. 主要定理或主要结果#

3. 研究方法、关键技术和核心工具#

4. 与之前工作的比较#

了解领域论文（摘要翻译）#

1. 定义 Bony 旁乘积分解的全局波前集条件#

摘要翻译#

2. 狄拉克算子的共振展开与局部能量衰减估计#

摘要翻译#

3. 用于双层薄膜流动双曲模型的熵耗散高阶格式#

摘要翻译#

4. 带散度形式的线性化 Monge-Ampère 方程的整体 Hölder 估计及其在对偶半地转方程和周期均匀化中的应用#

摘要翻译#

5. 关于具有不连续通量的一个 $2x2$ 守恒律系统#

摘要翻译#

6. 共振诱导的非线性束缚态的稳定性与不稳定性分析#

摘要翻译#

7. 对流-扩散方程的逆向能量级联与非唯一性#

摘要翻译#

8. 钟形函数是泊松核#

摘要翻译#

9. 尖锐的高阶不确定性原理#

摘要翻译#

10. 具有流入边界条件的半空间中 BGK 模型的瞬时指数不适定性#

摘要翻译#

11. 波破裂过程中尖峰波的涌现#

摘要翻译#

12. 维数 $n\ge3$ 下薛定谔算子波算子的端点映射性质#

摘要翻译#

13. Benjamin-Ono 方程解的一个显式公式及其应用#

摘要翻译#

14. 不相交数据逆问题中的唯一性与非唯一性：一个尖锐的谱阈值#

摘要翻译#

15. 聚焦型 Calogero–Moser 导数非线性薛定谔方程在 Hardy–Zhidkov 空间中的显式流公式与暗多孤子#

摘要翻译#

16. 超弹性杆方程在临界 Sobolev 空间中的不适定性#

摘要翻译#

17. 梯度幂非线性色散产生的边缘尖点紧支撑孤波：精确转变与奇异谱结构#

摘要翻译#

不相关论文（基本信息）#

1. 准线性方程的一种抽象平均方法#

2. 巴拿赫空间中准线性方程周期解的一种平均方法#

3. 环域中两种物种的长程分离#

4. 二次正则化最优传输的几何与收敛性 II#

5. 基于唯一延拓与反向唯一性的标量值 BSDE 密度#

6. 三维次临界特殊拉格朗日方程的尖锐小高度估计#

7. 平面上给定垂直平均曲率系统的正则性#

8. 临界指数 $qr=(p-1)(s+1)$ 下 Gierer–Meinhardt 系统的全局存在性、一致有界性与渐近行为#

9. 正则化最优传输的全局正则性与稀疏性#

10. 小阶度量值非局部能量的解耦与尾部定律：马兹亚–沙波什尼科娃公式的结构性视角#

11. 凸体内随机点对分布的布伦-明可夫斯基理论#

12. 量子最优传输重心：存在性、对偶性与高斯刚性#

13. 根系异速生长与根系重叠在植被斑图形成中的作用#

14. 非齐次退化抛物型 $p$-Laplace 方程解的正则性#

15. 椭圆型偏微分方程均匀化中平均格林函数的正则性#

16. 四维平行多面体的等周问题#

17. 三维及更高维中薛定谔方程狄利克雷解的消失阶数#

18. 度量测度空间上半线性热方程爆破与整体存在的半群判据#

重点关注论文（完整分析）

1. 可压缩定常水波

1. 研究对象和背景

2. 主要定理或主要结果

3. 研究方法、关键技术和核心工具

4. 与之前工作的比较

2. 径向对称下古德利内爆激波的非线性稳定性

1. 研究对象和背景

2. 主要定理或主要结果

3. 研究方法、关键技术和核心工具

4. 与之前工作的比较

3. 定常 Prandtl 系统的局部分离剖面

1. 研究对象和背景

2. 主要定理或主要结果

3. 研究方法、关键技术和核心工具

4. 与之前工作的比较

4. 不可压缩黏弹形态弹性系统的零扩散极限：弱解与 Jaumann 缺陷

1. 研究对象和背景

2. 主要定理或主要结果

3. 研究方法、关键技术和核心工具

4. 与之前工作的比较

5. Navier-Stokes/平均曲率流系统的全局弱 varifold 解

1. 研究对象和背景

2. 主要定理或主要结果

3. 研究方法、关键技术和核心工具

4. 与之前工作的比较

了解领域论文（摘要翻译）

1. 定义 Bony 旁乘积分解的全局波前集条件

摘要翻译

2. 狄拉克算子的共振展开与局部能量衰减估计

摘要翻译

3. 用于双层薄膜流动双曲模型的熵耗散高阶格式

摘要翻译

4. 带散度形式的线性化 Monge-Ampère 方程的整体 Hölder 估计及其在对偶半地转方程和周期均匀化中的应用

摘要翻译

5. 关于具有不连续通量的一个 $$2x2$$ 守恒律系统

摘要翻译

6. 共振诱导的非线性束缚态的稳定性与不稳定性分析

摘要翻译

7. 对流-扩散方程的逆向能量级联与非唯一性

摘要翻译

8. 钟形函数是泊松核

摘要翻译

9. 尖锐的高阶不确定性原理

摘要翻译

10. 具有流入边界条件的半空间中 BGK 模型的瞬时指数不适定性

摘要翻译

11. 波破裂过程中尖峰波的涌现

摘要翻译

12. 维数 $n\ge3$ 下薛定谔算子波算子的端点映射性质

摘要翻译

13. Benjamin-Ono 方程解的一个显式公式及其应用

摘要翻译

14. 不相交数据逆问题中的唯一性与非唯一性：一个尖锐的谱阈值

摘要翻译

15. 聚焦型 Calogero–Moser 导数非线性薛定谔方程在 Hardy–Zhidkov 空间中的显式流公式与暗多孤子

摘要翻译

16. 超弹性杆方程在临界 Sobolev 空间中的不适定性

摘要翻译

17. 梯度幂非线性色散产生的边缘尖点紧支撑孤波：精确转变与奇异谱结构

摘要翻译

不相关论文（基本信息）

1. 准线性方程的一种抽象平均方法

2. 巴拿赫空间中准线性方程周期解的一种平均方法

3. 环域中两种物种的长程分离

4. 二次正则化最优传输的几何与收敛性 II

5. 基于唯一延拓与反向唯一性的标量值 BSDE 密度

6. 三维次临界特殊拉格朗日方程的尖锐小高度估计

7. 平面上给定垂直平均曲率系统的正则性

8. 临界指数 $$qr=(p-1)(s+1)$$ 下 Gierer–Meinhardt 系统的全局存在性、一致有界性与渐近行为

9. 正则化最优传输的全局正则性与稀疏性

10. 小阶度量值非局部能量的解耦与尾部定律：马兹亚–沙波什尼科娃公式的结构性视角

11. 凸体内随机点对分布的布伦-明可夫斯基理论

12. 量子最优传输重心：存在性、对偶性与高斯刚性

13. 根系异速生长与根系重叠在植被斑图形成中的作用

14. 非齐次退化抛物型 $$p$$ -Laplace 方程解的正则性

15. 椭圆型偏微分方程均匀化中平均格林函数的正则性

16. 四维平行多面体的等周问题

17. 三维及更高维中薛定谔方程狄利克雷解的消失阶数

18. 度量测度空间上半线性热方程爆破与整体存在的半群判据