生成时间: 2026年09月30日 09:01:36

运行状态: 完成

计划处理论文数量: 49

已完成论文数量: 49

未完成论文数量: 0

重点关注论文数量: 5

了解领域论文数量: 17

不相关论文数量: 27

重点关注论文(完整分析)

1. 含消失垂直黏性的二维 Navier–Stokes 方程的边界层与初始-边界角点渐近分析

Boundary Layers and Initial-Boundary Corner Asymptotics for the 2D Navier-Stokes Equations with Vanishing Vertical Viscosity

作者: Siwei Chen, Yinghui Wang, Weihao Zhang

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37977v1

摘要翻译: 受地球物理流体动力学中各向异性黏性的启发——垂直动量扩散通常远弱于水平扩散,在内部可能可以忽略,但在固壁附近仍不可或缺——我们研究上半平面上二维不可压 Navier–Stokes 方程的垂直黏性消失极限,其中水平黏性固定为一,垂直黏性为 $\varepsilon^2$。对于任意无散的 $H^4$ 无滑移初始数据,我们在无需时间导数相容条件的情况下,构造每个预先给定的有限区间 [0,T] 上的极限水平黏性流及边界层剖面。首阶修正近似在 $L^\infty$ 中的误差为 $O(\varepsilon)$,而完整的有限阶展开将此误差降至 $O(\varepsilon^{3/2})$,且该估计一致成立至 $t=0$。我们还描述由初始时刻在壁面处为零的数据所形成的边界层。在初始-边界角点处,我们确定前两个自相似系数,并通过精确的剖面尾部刻画匹配,从而区分固定时间尺度 $\varepsilon$ 与短时间尺度 $\varepsilon\sqrt t$。当初始壁面加速度非零时,首阶修正率和首个归一化角点余项均是锐利的。最后,对固定数据的连续性估计给出精确解的联合小时间与小黏性极限,以及有限 $L^p$ 渐近行为。

Comment: 91 pages

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

1. 研究对象和背景

论文研究上半平面 $\Omega=\mathbb{R}\times(0,\infty)$ 上水平黏性固定、垂直黏性趋于零的二维不可压 Navier–Stokes 方程。速度为 $u^\varepsilon=(u_1^\varepsilon,u_2^\varepsilon)$,压力为 $p^\varepsilon$,小参数 $\varepsilon$ 使垂直扩散系数为 $\varepsilon^2$:

$$ \begin{cases} \partial_tu^\varepsilon+(u^\varepsilon\cdot\nabla)u^\varepsilon+\nabla p^\varepsilon-\partial_x^2u^\varepsilon-\varepsilon^2\partial_y^2u^\varepsilon=0,\\ \partial_xu_1^\varepsilon+\partial_yu_2^\varepsilon=0, \end{cases} \qquad (x,y)\in\Omega, $$

配以相同的初值 $u^\varepsilon|_{t=0}=\widetilde u$ 和固壁无滑移条件 $u^\varepsilon|_{y=0}=0$。假设 $\widetilde u\in H^4(\Omega)^2\cap H_0^1(\Omega)^2$ 且散度为零。研究目标是在任意预先指定的有限时间区间 $[0,T]$ 上描述 $\varepsilon\downarrow0$ 时的解,包括内区极限、边界层校正及初始时刻与壁面交会处的短时间结构。

形式上令 $\varepsilon=0$,得到水平耗散的极限系统:

$$ \begin{cases} \partial_tu^{I,0}+(u^{I,0}\cdot\nabla)u^{I,0}+\nabla p^{I,0}-\partial_x^2u^{I,0}=0,\\ \nabla\cdot u^{I,0}=0,\\ u^{I,0}|_{t=0}=\widetilde u,\qquad u_2^{I,0}(x,0,t)=0. \end{cases} $$

极限方程在壁面只要求不可穿透,并不要求切向速度为零。令 $a(x,t)=u_1^{I,0}(x,0,t)$,则 $a(x,0)=0$,但一般在正时间不为零。壁面切向方程为

$$ a_t-a_{xx}+aa_x=-\partial_xp^{I,0}|_{y=0},\qquad \alpha_0(x):=a_t(x,0)=-\partial_xp^{I,0}(x,0,0). $$

因而黏性解与内区解在壁面切向分量上相差 $-a(x,t)$,即使 $\varepsilon$ 很小也可能是 $O(1)$。内区极限本身无法在 $L^\infty$ 中一致逼近无滑移解,必须加入边界层来消除这一迹的失配。

垂直扩散与时间变化在宽度 $\delta$ 的层内平衡为 $\varepsilon^2/\delta^2\sim1$,所以固定正时间下的法向层厚为 $\delta\sim\varepsilon$,取伸缩变量 $z=y/\varepsilon$。相应的首阶切向边界层剖面 $u_1^{b,0}(x,z,t)$ 满足

$$ \begin{aligned} &\partial_tu_1^{b,0}-\partial_x^2u_1^{b,0}-\partial_z^2u_1^{b,0} +(a+u_1^{b,0})\partial_xu_1^{b,0}+u_1^{b,0}\partial_xa\\ &\quad-\left(z\partial_xa+\int_0^z\partial_xu_1^{b,0}(x,s,t)\,ds\right)\partial_zu_1^{b,0}=0,\\ &u_1^{b,0}(x,0,t)=-a(x,t),\qquad u_1^{b,0}(x,z,t)\to0\ (z\to\infty),\qquad u_1^{b,0}(x,z,0)=0. \end{aligned} $$

这与经典全黏性消失时的 Euler–Prandtl 框架不同:极限仍保留水平扩散,边界层方程也保留切向扩散。论文指出,这一耗散结构使得在 Sobolev 正则性下构造剖面成为可能,而不必要求解析性或单调性。本文试图推进的空白,是在一般 $H^4$ 无滑移初值、没有时间微分相容条件的情况下,同时获得闭时间区间上的点态逼近、有限阶展开,以及描述层从初始壁面角点形成的定量渐近。初值与壁面速度相容,但高阶时间导数未必满足相应边界相容条件,因此关键问题不仅是固定正时间的薄层结构,也包括 $t\downarrow0$ 时法向尺度从 $\varepsilon$ 转为 $\varepsilon\sqrt t$ 的角点行为。

2. 主要定理或主要结果

首先,命题 1.1 给出固定 $\varepsilon>0$ 时的解:对散度为零的 $\widetilde u\in H^4(\Omega)^2\cap H_0^1(\Omega)^2$,问题 (1.1)–(1.2) 有唯一全局解,并且对每个 $T>0$,$u^\varepsilon\in C([0,T];H^2\cap H_0^1\cap L^2_\sigma)$。对任意 $0<\delta<T$,还有 $u^\varepsilon\in L^\infty(\delta,T;H^3)\cap L^2(\delta,T;H^4)$ 及 $\partial_tu^\varepsilon\in L^\infty(\delta,T;H^1)\cap L^2(\delta,T;H^2)$。这些结论不要求对无滑移条件作时间微分后得到的高阶相容条件。

定理 1.3 对任意上述初值及固定 $T>0$,构造极限速度 $u^{I,0}$、首阶边界层 $u_1^{b,0}$ 和包含高阶剖面的散度为零、无滑移近似 $u^a$。正则性包括 $u^{I,0}\in C([0,T];H^4)$、$\partial_xu^{I,0}\in L^2(0,T;H^4)$,以及 $u_1^{b,0}\in C([0,T];L^2)\cap L^2(0,T;H^1)$。对 $0<\varepsilon\le1$,两个一致点态误差估计为

$$ \sup_{0\le t\le T}\left\|u^\varepsilon(t)-u^{I,0}(t)-\big(u_1^{b,0}(x,y/\varepsilon,t),0\big)^\top\right\|_{L^\infty(\Omega)}\le C_T\varepsilon, $$
$$ \sup_{0\le t\le T}\|u^\varepsilon(t)-u^a(t)\|_{L^\infty(\Omega)}\le C_T\varepsilon^{3/2}. $$

常数依赖于 $T$ 和 $\|\widetilde u\|_{H^4}$(以及固定的截断函数),不要求小数据、对称性、解析性、单调性或额外时间相容性。两估计均在 $t=0$ 成立,且误差在初始时刻为零。若 $\alpha_0\not\equiv0$,首个估计的 $O(\varepsilon)$ 阶在充分小的固定正时间是尖锐的。

定理 1.8 给出固定时间区间上的精确尾部匹配。令

$$ F_T(\rho)=\sup_{0\le t\le T}\|u_1^{b,0}(t)\|_{L^\infty(\mathbb R\times[\rho,\infty))},\qquad \Omega_\delta=\{y\ge\delta\}. $$

则对任意 $\delta_\varepsilon\ge0$,

$$ \left|\|u_1^\varepsilon-u_1^{I,0}\|_{L^\infty([0,T]\times\Omega_{\delta_\varepsilon})}-F_T(\delta_\varepsilon/\varepsilon)\right|\le C_T\varepsilon. $$

$F_T$ 连续、非增且趋于零。因此 $\delta_\varepsilon/\varepsilon\to\infty$ 时,离开该薄带后切向速度一致收敛到内区解;若比值趋于有限值 $\ell$,误差趋于 $F_T(\ell)$,收敛当且仅当 $F_T(\ell)=0$。若层在 $[0,T]$ 上非零,宽度为 $o(\varepsilon)$ 的带不能消除一致误差。对固定 $t_0$ 也有相应的尾部极限 (1.11)。

定理 1.10 描述初始角点的首项。$\alpha_0\in H^3(\mathbb R)$,并令

$$ \Phi_1(\eta)=\left(1+\frac{\eta^2}{2}\right)\operatorname{erfc}\left(\frac{\eta}{2}\right)-\frac{\eta}{\sqrt\pi}e^{-\eta^2/4}. $$

存在 $t_c>0$,使 $0<t\le t_c$ 时

$$ \left\|t^{-1}u_1^{b,0}(x,\sqrt t\,\eta,t)+\alpha_0(x)\Phi_1(\eta)\right\|_{H^1_\eta(H^1_x)}\le Ct, $$

并且同一差在 $L^\infty_\eta(H^1_x)$ 与 $L^\infty_{x,\eta}$ 中也为 $O(t)$。故首项为 $-t\alpha_0(x)\Phi_1(z/\sqrt t)$,其物理法向宽度为 $y=O(\varepsilon\sqrt t)$。

推论 1.12 进一步给出第二系数。$\beta_0=a_{tt}(x,0)\in H^1_x$,且令 $\Phi_2$ 为衰减解

$$ \Phi_2''+\frac{\eta}{2}\Phi_2'-2\Phi_2=0,\qquad \Phi_2(0)=1,\qquad \Phi_2(\infty)=0, $$

则

$$ \Psi_2(x,\eta)=\frac12\beta_0(x)\Phi_2(\eta)+\alpha_{0,xx}(x)\big(\Phi_1(\eta)-\Phi_2(\eta)\big), $$
$$ u_1^{b,0}(x,\sqrt t\,\eta,t)=-t\alpha_0(x)\Phi_1(\eta)-t^2\Psi_2(x,\eta)+o_{H^1_\eta(H^1_x)}(t^2). $$

若 $\alpha_0\not\equiv0$,则 $\Psi_2\not\equiv0$,且在 $Y=H^1_\eta(H^1_x)$ 或 $Y=L^\infty_{x,\eta}$ 中,首项归一化余项满足

$$ \lim_{t\downarrow0}t^{-1}\|t^{-1}u_1^{b,0}(x,\sqrt t\,\eta,t)+\alpha_0\Phi_1\|_Y=\|\Psi_2\|_Y>0. $$

摘要还称论文证明了固定初值的连续性估计所导出的同时小时间、小黏性极限及有限 $L^p$ 渐近。摘录提到:将角点系数传递到精确解的充分尺度包括 $t_\varepsilon\ge c\varepsilon^{4/3}$(首系数)和 $t_\varepsilon\ge c\varepsilon^{4/7}$(第二系数),其中 $t_\varepsilon\to0$;作者明确说明这些范围未声称必要。有限 $L^p$ 结论的完整假设、具体误差阶和定理陈述未出现在所提供页面中,因此无法进一步确认。

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

证明中的主要困难是两个退化同时发生:边界层厚度为 $\varepsilon$,使法向导数带来 $\varepsilon^{-1}$ 因子;另一方面初始端缺少时间微分相容条件,不能依赖在 $t=0$ 具有高阶抛物正则性的标准论证。作者的策略是依次处理壁面迹的正则性、剖面构造、复合近似误差和角点展开,并以空间导数能量而非高阶时间相容性贯穿初始端。

第一项关键结构来自极限流的壁面演化。直接从二维体内 $H^4$ 正则性取迹,不足以无代价地获得剖面层级所需的全部切向导数。作者利用壁面方程

$$ a_t-a_{xx}+aa_x=-\partial_xp^{I,0}|_{y=0} $$

及 $a(0)=0$,对水平热效应作估计,获得壁面数据随时间的控制;在最高阶处,将一个水平导数转移到热耗散上,而不是要求初值额外多一个导数。内区高阶修正的壁面方程也作类似处理。这使 $H^4$ 初值足以支撑剖面构造,同时避免把高阶时间相容性作为假设。

第二项关键点是二维首阶边界层的剪切变量消去结构。令 $v=a+u_1^{b,0}$,并定义

$$ w=-\int_0^z\partial_xv(x,s,t)\,ds,\qquad q=\partial_zv. $$

则 $\partial_xv+\partial_zw=0$,而剪切满足

$$ q_t-\Delta_{x,z}q+v\partial_xq+w\partial_zq=0, \qquad \partial_zq|_{z=0}=\partial_xp^{I,0}|_{y=0}. $$

方程中没有涡量拉伸项。作者先控制速度耗散,再对带权剪切及其切向导数建立估计,最后通过沿 $z$ 积分恢复速度。这里不是简单地把一般抛物估计套在原始速度方程上,而是利用二维不可压结构把法向输运与壁面压力数据转化为可控的剪切问题。

第三,剖面展开必须同时满足不可压性和边界条件。各阶法向矩

$$ M_j(x,t)=\int_0^\infty u_1^{b,j}(x,z,t)\,dz $$

决定内区修正的壁面数据,具体表现为下一阶法向剖面的边界迹 $u_2^{b,j+1}|_{z=0}=\partial_xM_j$。随后再作散度为零的提升,构造精确无滑移的复合近似 $u^a$。因而剖面不是逐阶独立求解;尾部矩、内区边界迹和不可压约束相互耦合,必须协调设计。

第四,余项 $E^\varepsilon=u^\varepsilon-u^a$ 的控制针对各向异性尺度选取空间能量,涉及 $E^\varepsilon$、$\partial_xE^\varepsilon$、$\varepsilon\partial_yE_1^\varepsilon$ 和 $\varepsilon\partial_x\partial_yE_1^\varepsilon$。压力边界项没有被粗略丢弃,而是保留在估计中;速度耗散先控制这些压力项所需的量,再用于剪切能量估计。这种安排避免了将法向高阶导数以未缩放方式放入能量,从而适配 $\varepsilon$ 依赖的层尺度,并导出 $L^\infty$ 中 $O(\varepsilon)$ 与 $O(\varepsilon^{3/2})$ 两种不同精度的结论。

初始端的处理依赖空间连续性而不是时间微分边界条件。固定正黏性解在初始时刻具有 $H^2$ 连续性;零初值热估计则给出混合剖面导数的相应初始连续性。作者据此将空间误差估计延伸到 $t=0$,并指出无需假设缺失的高阶时间导数正则性。

角点渐近方面,作者把首阶剖面拆成由完整壁面历史驱动的热方程提升和更高阶非线性余项。由于 $a(0)=0$ 且 $a_t(0)=\alpha_0$,壁面强迫起始为 $t\alpha_0$;热扩散长度在 $z$ 变量中为 $\sqrt t$,故引入 $\eta=z/\sqrt t$。首项由壁面加速度决定,第二项同时包含 $\beta_0$ 和水平扩散产生的 $\alpha_{0,xx}(\Phi_1-\Phi_2)$。尾部恒等式则把剖面的精确衰减信息直接转为远离壁面的匹配尺度判据。上述结论中,角点剖面渐近针对边界层本身;要转移为精确黏性解的同时极限,还需另用固定初值的初始连续模量,二者在论证上有所区分。

4. 与之前工作的比较

与经典各向同性黏性消失问题相比,本文的极限对象不同。若所有方向黏性同时消失,内区通常趋于 Euler 方程,修正由 Prandtl 方程描述;相关理论包括 Sammartino–Caflisch 的解析数据短时间构造、Maekawa 对初始涡量远离边界情形的结果、Wang–Wang–Zhang 的涡量与共法向导数能量方法,以及后续近壁解析、Gevrey、单调和 Sobolev 不适定性研究。本文保持水平黏性为一,只令垂直黏性为 $\varepsilon^2$,因此极限仍有水平耗散,边界层也保留切向扩散。作者据此在一般 Sobolev 框架中处理问题,而非沿用需要解析性或单调性的经典 Prandtl 假设。两类问题的剖面方程及正则化机制不同,不能把本文直接理解为经典 Euler–Prandtl 定理的改写。

在垂直黏性消失的直接前驱中,Liu–Wang [27] 研究三维半空间,导出非线性抛物—椭圆边界层系统,并证明能量范数和上确界范数的展开收敛;Tao [40] 针对二维半平面,在足够光滑数据下证明带边界层校正的收敛及最优收敛阶。这些工作已确立边界层机制与校正收敛,本文的推进重点不是首次发现层,而是在一般 $H^4$ 初值下把点态展开、初始端一致性与角点系数分析结合起来。相较于这些前作,本文明确给出首阶近似 $O(\varepsilon)$ 和全有限阶复合近似 $O(\varepsilon^{3/2})$ 的 $L^\infty$ 误差,并使估计覆盖闭区间 $[0,T]$。所提供摘录没有给出 Tao 定理的完整假设与具体公式,故不能据此作更细的逐项正则性比较。

与 Cao–Guo [5] 的比较体现了正则性和范数端点之间的取舍。该文在水平周期有限通道中处理下壁无滑移、上壁不可穿透且切向自由滑移的边界条件,以 $H^2$ 初值证明每个固定 $[0,T]$ 上所有有限 $L^p$($2\le p<\infty$)收敛;对相同初值,其 $L^2$ 误差为 $O(\nu_2^{1/8})$,当 $\nu_2=\varepsilon^2$ 时即 $O(\varepsilon^{1/4})$。该结果所需初始正则性较低,但边界条件、周期几何和所控制的范数与本文不同,且不提供本文所研究的带层校正 $L^\infty$ 端点。本文采用 $H^4$ 初值,换得更强的点态信息、精确首层尾部关系和角点展开;因此并非在所有指标上都优于低正则性有限 $L^p$ 理论,而是以更高正则性换取更精细的渐近结构。

本文还将分析从固定正时间扩展到初始—边界角点。固定时间的法向尺度为 $\varepsilon$,而 $t\downarrow0$ 时首层宽度为 $\varepsilon\sqrt t$,振幅为 $t$。定理 1.8 通过 $F_T(\delta_\varepsilon/\varepsilon)$ 给出固定时间区间上的精确匹配判据;角点定理则给出前两项自相似系数,并在 $\alpha_0\not\equiv0$ 时证明首个归一化余项非零,从而说明该角点展开具有尖锐性。相比只证明能量收敛或固定正时间校正收敛,这些结果具体回答了误差集中在哪个法向尺度、层如何从零振幅开始形成,以及何时能在离壁区域恢复内区极限。

结论的范围也有边界。定理针对二维上半平面、水平黏性归一为一及 $H^4$ 无滑移初值,并未在所给内容中扩展到三维、有限通道或其他壁面条件。作者允许没有时间微分相容条件,但仍要求较高的空间正则性;同时,摘要和摘录提到的同时极限尺度 $t_\varepsilon\ge c\varepsilon^{4/3}$、$t_\varepsilon\ge c\varepsilon^{4/7}$ 只是固定初值下的充分范围,并未证明必要性。有限 $L^p$ 渐近虽在摘要中提及,但提供页面未包含其完整定理及误差率,因此不能确认其精确适用范围,也不应据此推断本文在所有有限 $L^p$ 指标上优于 Cao–Guo 的结果。作者对更早 anisotropic Cauchy 问题及对称流结果亦作背景引用,但摘录未提供可直接比较的完整定理假设与速率。


2. 具有大球对称初始数据的多维退化可压缩 Navier–Stokes 方程的真空有限时间消失与大时间行为

Finite-Time Vanishing of Vacuum and Large-Time Behavior of the Multi-Dimensional Degenerate Compressible Navier-Stokes Equations with Large Spherically Symmetric Initial Data

作者: Qinghao Lei, Zhilei Liang

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37860v1

摘要翻译: 本文研究全空间或球域上的二维和三维斜压可压缩 Navier–Stokes 方程,其黏性系数依赖于密度且具有退化性,初始数据为任意大的球对称数据。对于允许真空存在的初始数据,我们建立了弱解的整体存在性,并导出关于时间一致的先验估计。由此,我们证明弱解中的真空态将在有限时间内消失。关键方法包括:通过分别对低密度区和高密度区进行估计来处理压强项,Bresch–Desjardins 熵估计、加权径向估计,以及对速度和有效速度的耦合控制。在三维情形下,这一方法还使我们能够处理绝热指数的端点情形。对于密度严格为正且具有充分正则性的初始数据,我们建立了经典解的整体存在性及其大时间行为。

Comment: 无

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

1. 研究对象和背景

本文研究全空间或有界球域中的二维、三维等熵可压缩 Navier–Stokes 方程,重点是黏性系数随密度变化且在真空处退化的情形。未知量为密度 $\rho(x,t)$ 和速度 $u(x,t)$,压力取幂律形式 $P(\rho)=\rho^\gamma$,其中 $\gamma>1$。方程为

$$ \begin{cases} \rho_t+\operatorname{div}(\rho u)=0,\\ (\rho u)_t+\operatorname{div}(\rho u\otimes u)-\operatorname{div}(\mu(\rho)Du)-\nabla(\lambda(\rho)\operatorname{div}u)+\nabla\rho^\gamma=0, \end{cases} $$

其中 $Du=\frac12(\nabla u+\nabla u^{\mathsf T})$,本文具体采用

$$ \mu(\rho)=\rho^\alpha,\qquad \lambda(\rho)=(\alpha-1)\rho^\alpha. $$

这组系数满足 Bresch–Desjardins 熵结构条件 $\lambda(\rho)=\rho\mu'(\rho)-\mu(\rho)$。当 $\rho$ 接近零时,黏性耗散系数也可能趋于零,因此标准的非退化椭圆估计不能直接使用;同时,初始数据允许出现真空,速度在真空集上不一定能由动量唯一确定。本文借助球对称性,将速度写成 $u(x,t)=u(r,t)x/r$、密度写成 $\rho=\rho(r,t)$,从而将系统化为径向方程

$$ \begin{cases} \rho_t+(\rho u)_r+\dfrac{N-1}{r}\rho u=0,\\ \rho(u_t+uu_r)+(\rho^\gamma)_r-\alpha\left(r^{-(N-1)}\rho^\alpha(r^{N-1}u)_r\right)_r+\dfrac{N-1}{r}(\rho^\alpha)_r u=0, \end{cases} \qquad N=2,3. $$

研究区域为 $\Omega=\mathbb R^N$,并满足远场条件 $(\rho,u)\to(1,0)$;或者为球 $B_R$,并满足边界通量条件 $\rho u=0$。初值球对称,允许 $\rho_0$ 在非空集合上为零。本文同时讨论两类问题:一是具有真空初值的大初值弱解的全局存在,以及弱解的真空是否会在有限时间后消失;二是密度严格正、初值足够光滑时经典解的全局存在及趋于平衡态的速度。

这两个问题与已有理论之间存在明显差别。常黏性系数情形下,有限能量弱解的全局存在理论通常对 $\gamma$ 有较强限制,而球对称研究可以改善部分指数要求;但退化黏性问题还必须处理密度梯度估计、真空处的黏性消失及径向原点附近的加权奇性。针对 BD 结构,已有工作建立了利用额外密度梯度控制的分析框架;一维退化模型中也已有真空有限时间消失结果。多维球对称研究则已在若干二维、三维球域参数范围内得到类似结论,但全空间与球域兼有、允许大球对称初值、并同时覆盖真空弱解和正密度经典解的参数范围仍需要进一步分析。

本文试图弥补的核心空白,是在多维、密度依赖退化黏性及大球对称初值的框架下,建立可用于构造全局弱解的统一先验估计,并由此证明有限时间后密度具有严格正下界;另外,对正密度高正则初值,作者证明全局经典适定性并给出全空间趋于常密度平衡态、球域指数趋近平均密度的结论。需要区分的是,“真空消失”并非在初始时刻立即恢复正密度,而是定理给出依赖初值的有限时间 $T_0$,使 $t\ge T_0$ 时密度处处有统一正下界。

2. 主要定理或主要结果

以下记 $P_N(\alpha)=\phi(\alpha)$($N=2$)或 $P_N(\alpha)=\psi(\alpha)$($N=3$),其中 $\phi$、$\psi$ 为文中定义的指数函数,且约定 $P_N(1)=\infty$。初始数据满足基本条件

$$ 0\le \rho_0\in L^\infty(\Omega),\quad \rho_0\not\equiv0,\quad \rho_0-1\in L^2(\Omega),\quad \nabla\rho_0^{\frac{\alpha-1}{2}}\in L^2(\Omega),\quad \rho_0^{-1}|m_0|^2\in L^1(\Omega), $$

并且 $m_0=0$ 于初始真空集 $\Omega_0=\{\rho_0=0\}$ 上;在真空集上约定 $\rho_0^{-1}|m_0|^2=0$。另外,存在指数 $s_1,p_1$ 满足

$$ N<s_1\le p_1<P_N(\alpha),\qquad \alpha-1+\frac1{s_1}>0, $$

且

$$ \nabla\rho_0^{\alpha-1+1/s_1}\in L^{s_1}(\Omega),\qquad \rho_0^{-p_1+1}|m_0|^{p_1}\in L^1(\Omega). $$

全局弱解存在(定理 1.1)。 若 $N=2$ 或 $3$,$\Omega=\mathbb R^N$ 或 $B_R$,并且上述球对称初值条件成立,同时

$$ \gamma>\alpha+\frac12-\frac1N, $$

且指数范围满足

$$ \begin{cases} \alpha>\dfrac12,\quad 1<\gamma<\infty, & N=2,\\[2mm] 7-2\sqrt{10}<\alpha<7+2\sqrt{10},\quad 1<\gamma\le 6\alpha-3+\eta_0, & N=3, \end{cases} $$

其中 $\eta_0\in(0,1]$ 依赖于 $s_1,\alpha,\mu$ 及初值,则系统存在全局球对称弱解。定理对全空间远场状态 $(1,0)$ 和球域边界条件 $\rho u=0$ 均成立。这里 $\gamma$ 的下界条件也须同时满足;三维上界中 $\eta_0$ 是正的小量,其具体数值不是统一常数。

真空有限时间消失(定理 1.2)。 在定理 1.1 的同一组初值及参数假设下,所构造的全局球对称弱解存在依赖初值的 $T_0>0$ 和 $\rho_->0$,使

$$ \inf_{x\in\Omega}\rho(x,t)\ge \rho_->0,\qquad t\in[T_0,\infty). $$

因此结论是有限时间后真空集为空,并在此后保持统一正密度下界;定理没有声称 $[0,T_0)$ 上不存在真空,也未给出 $T_0$ 的显式公式。

全局经典解与大时间行为(定理 1.3)。 初值满足球对称性、严格正且有界,并具有

$$ 0<\underline\rho_0\le\rho_0\le\widehat\rho_0,\qquad \rho_0-1\in H^3(\Omega),\qquad u_0\in H^3(\Omega). $$

在球域还要求 $u_0\in H_0^1(B_R)$。若

$$ \begin{cases} \dfrac12<\alpha\le1,\quad 1<\gamma<\infty, & N=2,\\[2mm] 7-2\sqrt{10}<\alpha\le1,\quad 1<\gamma\le6\alpha-3+\eta_1, & N=3, \end{cases} $$

其中 $\eta_1\in(0,1]$ 依赖于 $\alpha,\mu$ 及初值,则存在唯一全局球对称经典解,并有与时间无关的正则性界

$$ C^{-1}\le\rho(x,t)\le C,\qquad (x,t)\in\Omega\times[0,\infty). $$

任意有限 $T>0$ 上,解满足文中列出的 $H^3$ 空间正则性,包括 $\rho-1\in C([0,T];H^3)$、$u\in C([0,T];H^3)\cap L^2(0,T;H^4)$、$u_t\in C([0,T];H^1)\cap L^2(0,T;H^2)$、$u_{tt}\in L^2(\Omega\times(0,T))$,以及带时间权重的高阶估计,例如

$$ \sqrt t\,\nabla^4u,\quad \sqrt t\,\nabla^2u_t,\quad \sqrt t\,u_{tt}\in L^\infty(0,T;L^2),\qquad \sqrt t\,\nabla u_{tt}\in L^2(\Omega\times(0,T)). $$

常数 $C$ 可依赖于参数和初值范数,但不依赖于 $T$。此外,存在 $q\in(N,4]$。在全空间中,对任意 $s\in(2,\infty)$ 及 $q_0\in(2,q)$,有

$$ \lim_{t\to\infty}\left(\|\rho(t)-1\|_{L^s}+\|\nabla\rho(t)\|_{L^2\cap L^{q_0}}+\|\rho_t(t)\|_{L^2}+\|\nabla u(t)\|_{H^1}+\|u_t(t)\|_{L^2}\right)=0. $$

在球域中,令 $\bar\rho_0=|B_R|^{-1}\int_{B_R}\rho_0(x)\,dx$。存在与时间无关的 $C,\widehat\delta>0$,使

$$ \|\nabla\rho(t)\|_{L^2}^2+\|\rho_t(t)\|_{L^2}^2+\|u(t)\|_{H^2}^2+\|u_t(t)\|_{L^2}^2\le Ce^{-\widehat\delta t}, $$

并且对任意 $q_0\in(2,q)$,存在 $\widetilde\delta>0$,使

$$ \|\rho(t)-\bar\rho_0\|_{W^{1,q_0}(B_R)}\le Ce^{-\widetilde\delta t}. $$

也就是说,全空间解趋向远场平衡 $(1,0)$,而球域密度趋向由质量守恒确定的平均密度,且文中给出球域中的指数衰减率。

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

证明的主要困难是退化黏性无法在真空处提供通常的速度梯度控制,而径向坐标又在 $r=0$ 产生权重与奇性。作者采用正则化近似、全局先验估计和极限紧性这一证明路线,但关键并不只是一般性的紧性论证,而是要构造对正则化参数和时间都一致的密度、速度及有效速度估计,以便既延拓近似经典解,又能在极限中识别黏性项,并最终获得真空消失结论。

首先,作者在外域 $\Omega_\varepsilon=\{r>\varepsilon\}$ 上引入带小正则项的黏性系数

$$ \mu_\varepsilon(\rho_\varepsilon)=\rho_\varepsilon^\alpha+\varepsilon\rho_\varepsilon^\theta,\qquad \lambda_\varepsilon(\rho_\varepsilon)=(\alpha-1)\rho_\varepsilon^\alpha+\varepsilon(\theta-1)\rho_\varepsilon^\theta, $$

其中 $\theta$ 选为 $\frac{N-1}{N}<\theta\le1$ 且 $P_N(\alpha)\le P_N(\theta)$。这既保留相容的 BD 结构,又在近似层面改善真空处的退化,使得初值密度远离真空的光滑径向解可由局部理论构造。后续需要证明估计不依赖 $\varepsilon$,才能令 $\varepsilon\to0$。

其次,作者将标准能量估计与 BD 熵估计结合。能量控制动能、压强势能和黏性耗散;BD 熵结构额外提供密度梯度信息,特别是对 $\nabla\rho_\varepsilon^{(\alpha-1)/2}$ 及与压强相关的密度幂次梯度的控制。由此结合 Sobolev 不等式获得密度的较高可积性。不过,近似径向剖面仅定义在 $(\varepsilon,\infty)$ 上,直接使用一维或径向 Sobolev 不等式可能产生依赖 $\varepsilon$ 的常数。为消除此障碍,作者把密度剖面在 $r=\varepsilon$ 处反射延拓,再应用相关不等式,得到对 $\varepsilon$ 一致的估计。例如二维对任意有限 $p\ge2$ 控制 $\rho_\varepsilon^{(\alpha-1)/2}-1$ 的径向加权 $L^p$ 范数;三维则取得相应的二次与六次可积性控制。

第三,证明分离处理近原点区域与远场区域,而不是试图直接得到全径向区间上的统一上下界。反射延拓所得估计配合 Gagliardo–Nirenberg 不等式和一维 Sobolev 不等式,先得到存在与 $\varepsilon,T$ 无关的 $R_0,c_1,c_2$,使

$$ c_1\le\rho_\varepsilon(r,t)\le c_2,\qquad r\ge R_0. $$

因此密度可能出现极小值或大值的区域被限制在固定的近原点区间。再利用压强相关的梯度估计,作者控制近原点低密度区域的测度,例如以 $\chi_{\{\rho_\varepsilon\le c_1/2\}}$ 表示的集合满足文中式 (1.42) 的加权测度估计;高密度区域则通过式 (1.45) 控制 $\int\chi_{\{\rho_\varepsilon>2c_2\}}\rho_\varepsilon^{\gamma+\alpha-1}\,dr$。这种低密度与高密度分区估计是处理压强项的关键:在密度很小时,需避免除以小密度造成失控;在密度很大时,则借助压强幂次及密度梯度耗散吸收相关项。

第四,作者使用加权径向估计控制原点邻域中的密度剖面。文中给出二维任意 $\xi>0$ 的 $\|\rho_\varepsilon r^\xi\|_{L^\infty(\varepsilon,R_0)}$ 型控制,以及三维 $\|\rho_\varepsilon^{2\alpha-1}r\|_{L^\infty(\varepsilon,R_0)}$ 控制。这些估计由 BD 熵、一维 Sobolev 不等式、反射延拓和 Hardy 型不等式共同得到,作用是抵消径向方程中 $r^{-1}$ 权重造成的困难,并限制密度在原点附近的集中或退化。

第五,速度估计不能孤立完成。作者引入有效速度 $w_\varepsilon$,并对 $u_\varepsilon$ 与 $w_\varepsilon$ 进行耦合控制,同时考察带径向权重的量 $(\rho_\varepsilon r^{N-1})^{1/p}u_\varepsilon$ 及相应的 $w_\varepsilon$。其目标是取得 $p>N$ 的加权梯度密度估计,典型控制量为

$$ r^{(N-1)/p}\partial_r\rho_\varepsilon^{\alpha-1+1/p}. $$

对动量方程乘以 $u_\varepsilon(1+|u_\varepsilon|^2)^{(s_2-2)/2}r^{N-1}$ 并积分,利用 Young 不等式和黏性耗散得到速度高阶可积性不等式。指数 $s_2>N$ 需同时满足 $s_2\le\min\{s_1,4\}$ 以及 $1/s_2\ge\alpha+1/2-\gamma$。这说明定理中的初值指数范围、压强指数条件和可吸收性并非彼此独立,而是共同保证速度非线性项及压强项能被耗散吸收。摘要还指出,三维端点绝热指数情形也可通过此策略处理;但提供的正文摘录未展示相应估计的完整推导,故无法进一步核对端点处各项吸收的逐步细节。

最后,上述统一估计用于延拓近似解并取极限,得到全局弱解;对真空消失,关键是进一步从径向耦合估计和密度梯度控制推出某个有限时间后的统一正下界。对于严格正初值的经典解,密度正下界使退化黏性在解轨道上保持非退化,作者再建立高阶空间与时间导数估计;其中 $\sqrt t$ 加权高阶估计反映了初始时刻高阶正则性可能较弱、但正时间上能获得额外平滑的结构。随后通过能量耗散及紧性/插值型推论得到全空间强范数趋零,在有界球域则得到到平均密度的指数衰减。摘录未包含经典解大时间估计的完整推导,因此不能据此补充未明示的每一条高阶能量恒等式。

4. 与之前工作的比较

与常黏性系数的多维理论相比,本文处理的是 $\mu(\rho)=\rho^\alpha$ 在真空处退化的方程,并利用 BD 关系 $\lambda=\rho\mu'-\mu$ 获得额外密度梯度结构。常黏性情形下,Lions 的有限能量弱解理论需要较大的绝热指数,Feireisl–Novotný–Petzeltová 将三维阈值推进至 $\gamma>3/2$,Jiang–Zhang 在球对称框架下获得 $\gamma>1$ 的结果;这些工作与本文的方程结构不同,不能简单按指数作直接优劣比较。对一般初值退化黏性弱解,Li–Xin 与 Vasseur–Yu 曾独立建立全局存在,Bresch–Vasseur–Yu 又推广到更一般黏性系数。本文的重点并非取代这些一般数据理论,而是针对球对称问题进一步处理全空间或球域中的有限时间真空消失,并建立正密度经典解的大时间行为。

就真空有限时间消失而言,一维方面,Li–Li–Xin [37] 和 Jiu–Xin [32] 对 $\mu(\rho)=\rho^\alpha$、$\alpha>1/2$、$\lambda=0$ 的模型证明全局弱解及真空有限时间消失。本文把问题推进到 $N=2,3$ 的球对称多维模型,并覆盖全空间和球域,黏性系数为 $\mu=\rho^\alpha$、$\lambda=(\alpha-1)\rho^\alpha$。与这些一维结果相比,多维径向几何带来 $r^{N-1}$ 权重和原点奇性,本文通过加权径向估计、低高密度区域分解及有效速度耦合处理这些新增困难。

最直接的多维比较对象是 Huang–Meng–Zhang [26]。该文在二维、三维球域中证明球对称弱解的真空有限时间消失,所列参数条件为:二维 $1\le\alpha<7.46$、$\gamma>1$ 且 $\gamma\ge2\alpha-1$;三维 $1\le\alpha<5.81$、$\gamma>1$ 且 $2\alpha-1\le\gamma<3\alpha-1$。本文定理 1.2 明确声称推广并扩展 [26]:空间范围扩展到全空间与球域;定理所列 $\alpha$ 范围为二维 $\alpha>1/2$,三维 $7-2\sqrt{10}<\alpha<7+2\sqrt{10}$;$\gamma$ 条件改为 $\gamma>\alpha+1/2-1/N$,并在三维要求 $\gamma\le6\alpha-3+\eta_0$。两组参数限制的形状不同,不能概括成对每个固定 $\alpha$ 都单调放宽;尤其本文还要求特定的初值加权可积性指数 $s_1,p_1$,而且 $\eta_0$ 依赖初值等数据。提供内容没有逐点比较两组可行参数集的完整包含关系,因此不应将其表述为无条件扩大所有参数范围。

在经典解及大时间行为方面,本文与 Huang–Meng–Zhang [26] 的球域结果相比较。后者在二维给出约 $0.54\le\alpha\le1$、$\gamma>1$,三维给出约 $0.689\le\alpha\le1$、$1<\gamma<3\alpha-1$。本文定理 1.3 的下界为二维 $\alpha>1/2$、三维 $\alpha>7-2\sqrt{10}\approx0.6754$,并允许三维 $\gamma\le6\alpha-3+\eta_1$。作者特别指出,当 $\alpha>2/3$ 时 $3\alpha-1<6\alpha-3$,因而新上界可在该区间推进;同时本文还给出全空间大时间趋近平衡的结论,而此前所述 [26] 结果针对球域。本文的经典解结论仍要求初始密度严格正且初值具有 $H^3$ 正则性,不能与允许初始真空的弱解结论混为一谈。其三维 $\gamma$ 上界中的 $\eta_1$ 依赖参数和初值,故不是完全无损的统一范围。

此外,文中回顾了退化黏性系数的强解研究:二维常数剪切黏性、体积黏性 $b\rho^\beta$ 的 Vaigant–Kazhikhov 结果最初要求 $\beta>3$ 且密度远离真空,后续 Jiu–Wang–Xin、Huang–Li 等工作放宽指数限制或允许真空;Huang–Su–Yan–Yu 在二维球域球对称强解中得到 $\beta>1$ 的结果。这些研究与本文的黏性系数形式和解的类别并不完全相同,本文不能被理解为对这些一般强解理论的全面替代。本文的优势是针对特定 BD 黏性结构,在球对称条件下同时获得大数据弱解、真空消失和正密度经典解大时间行为;代价是球对称限制、特定加权初值假设,以及对 $\alpha,\gamma$ 的约束。文中列出的比较主要集中于 [26]、[32]、[37] 及相关背景文献;对于与所有一般数据弱解工作之间的定量参数优劣,作者未在提供摘录中显式展开比较,因而无法确认更强的普遍包含关系。


3. Córdoba-Córdoba-Fontelos 方程直至奇异时刻的 Hölder 估计

Hölder estimates up to the singular time for the Córdoba-Córdoba-Fontelos equation

作者: Ángel Castro, Alberto Enciso, Antonio J. Fernández

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37232v1

摘要翻译: 我们证明,对于实线上初值为解析函数 $θ_0(x)=(1+x^2)^{-1}$ 的 Córdoba-Córdoba-Fontelos 方程 $θ_t-uθ_x=0$, $u=Hθ$,其解会在有限时间内形成奇异性,同时始终一致有界于 $C^{2/5}$。我们还证明,当解趋近奇异时刻时,$θ$ 和 $u$ 的 $C^{2/3}$ 半范数均发散。证明的主要关键是一个关于概率测度的积分表示,该测度在非线性演化下保持不变。利用正核的比较,我们从这一表示推导出方程中 $u$ 的关键非线性项的逐点二次估计。结合该测度矩的演化恒等式,这一估计同时给出一致 Hölder 界以及高阶半范数的发散。

Comment: 无

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

1. 研究对象和背景

本文研究实直线上的 Córdoba–Córdoba–Fontelos (CCF) 非局部输运方程。未知量是实值标量场 $\theta(t,x)$, 速度场由 $\theta$ 的 Hilbert 变换非局部确定。方程及初值为

$$ \begin{cases} \theta_t-u\theta_x=0, & (t,x)\in\mathbb R\times(0,T),\\ u=H\theta, & (t,x)\in\mathbb R\times[0,T),\\ \theta(0,x)=\theta_0(x), & x\in\mathbb R, \end{cases} \qquad Hf(x)=\frac{1}{\pi}\,\mathrm{p.v.}\!\int_{\mathbb R}\frac{f(y)}{x-y}\,dy. $$

这里输运速度是 $-u$, 相应物质导数为 $D=\partial_t-u\partial_x$。论文聚焦于特定的解析、偶对称、衰减初值

$$ \theta_0(x)=\frac{1}{1+x^2}, $$

并沿其唯一的最大光滑 Sobolev 解考察 $t\uparrow T$ 时的正则性。这个问题属于非局部输运方程有限时间奇异性研究中的定量层面:不仅要证明某个光滑范数失控, 还要辨别奇异形成时哪些 Hölder 正则性仍受一致控制, 哪些 Hölder 半范数必然发散。后者反映集中机制的细节, 单凭爆破判据通常无法得到。

CCF 方程源自一维涡片动力学相关模型。已有工作已对有限时间失去光滑性建立多种机制。Córdoba、Córdoba 和 Fontelos 对光滑、非负、偶对称且在原点取最大值的紧支撑初值证明了有限时奇异性; 其论证利用 Hilbert 变换的加权非线性不等式推动集中。Kiselev 给出了依赖对称性和单调性的实变量方法; Silvestre 和 Vicol 则提出了基于非局部恒等式、望远镜估计、类似 De Giorgi 的迭代以及障碍函数等不同论证。Li 和 Rodrigo 进一步发展了 Hilbert 变换的点态不等式及加权、非线性推广。这些结果回答了奇异性是否形成, 但没有给出本文所关心的、对一条光滑有界衰减初值轨道的精细 Hölder 阈值。

问题的困难在于, 方程的输运结构与 Hilbert 变换的非局部性相互耦合。令 $\omega=\theta_x$, 则形式上

$$ \omega_t-u\omega_x=u_x\omega, \qquad u_x=H\omega, $$

梯度会受到由自身非局部生成的压缩速度影响。原点处压缩增强是奇异性形成的核心, 但一般情况下非局部项并无明显点态符号, 因而很难直接将局部压缩量与全局 Hölder 模连续起来。作者试图补足的空白是: 对一个明确的解析初值, 在证明有限时爆破的同时, 给出奇异时刻之前的 Hölder 一致上界, 并证明更高指数的 Hölder 半范数发散。

本文的结构性依据是初值及其演化可表示为一族正核的概率混合。对某个定义在 $(0,\infty)$ 上的概率测度 $\mu_t$, 有

$$ \theta(t,x)=\int_{(0,\infty)}\frac{a^2}{a^2+x^2}\,d\mu_t(a), \qquad u(t,x)=H\theta(t,x)=\int_{(0,\infty)}\frac{ax}{a^2+x^2}\,d\mu_t(a). $$

此处 $\nu$ 仅表示速度场时应读作 $u$, 即第二个表示式为 $u(t,x)=\int ax/(a^2+x^2)\,d\mu_t(a)$。测度记录解中不同空间尺度的分布; 概率质量归一化给出 $\theta(t,0)=1$, 正性则允许对非局部项进行核的逐点比较。本文初值对应 $\mu_0=\delta_1$。这套表示不是对所有 CCF 解都自动成立, 而是作者在一类满足光滑性和矩条件的初值下证明其在非线性演化中保持。研究的重要性在于, 这种保持结构把抽象的非局部输运解转化为带正测度的尺度混合, 从而能将奇异性、矩演化和 Hölder 控制联系起来。论文证明的指数区间仍留有空档, 因此并未确定最优 Hölder 阈值。

2. 主要定理或主要结果

主要结论是定理 1.1。取解析初值 $\theta_0(x)=(1+x^2)^{-1}$, 则 CCF 方程存在唯一最大光滑解, 其最大光滑存在时间记为 $T$, 并且对每个整数 $k\geq0$, 在每个紧时间区间上有

$$ \theta,u\in C([0,T);H^k(\mathbb R)). $$

最大寿命满足明确的两侧界

$$ \frac{4}{3}\leq T\leq2. $$

虽然每个 $t<T$ 时解仍然光滑, 其高阶导数在趋近 $T$ 时失控; 定理同时精确给出以下 Hölder 结论。

首先, 对每个 $0<\alpha\leq2/5$, 标量场和速度场在整个最大存在区间上一致有界于 $C^\alpha$:

$$ \sup_{0\leq t<T}\|\theta(t,\cdot)\|_{C^\alpha(\mathbb R)} +\sup_{0\leq t<T}\|u(t,\cdot)\|_{C^\alpha(\mathbb R)}<\infty. $$

其次, 对每个 $2/3\leq\beta<1$, 两者的 $C^\beta$ 半范数在奇异时刻发散:

$$ \lim_{t\uparrow T}[\theta(t,\cdot)]_{C^\beta(\mathbb R)}

\lim_{t\uparrow T}[u(t,\cdot)]_{C^\beta(\mathbb R)}=+\infty. $$

特别地,

$$ \lim_{t\uparrow T}\|\theta_x(t,\cdot)\|_{L^\infty(\mathbb R)}=+\infty. $$

所以本文严格证明的是 $2/5$ 以下 Hölder 范数的一致控制与 $2/3$ 及以上、但小于 $1$ 的 Hölder 半范数发散; 它没有确定两者之间的最优阈值, 也没有证明或否定 Silvestre–Vicol 提出的 $C^{1/2}$ 猜想。摘要及引言说明正文定理 5.1 给出 $\|u_x\|_{L^\infty}$、$\|\theta_x\|_{L^\infty}$ 和端点 Hölder 半范数的定量估计, 但所提供的 PDF 摘录未包含定理 5.1 的完整陈述, 因而无法可靠列出其具体速率常数或端点公式。

支撑寿命估计及正则性推论的关键量是测度的逆一阶矩

$$ m(t)=\int_{(0,\infty)}a^{-1}\,d\mu_t(a) =u_x(t,0)=\Lambda\theta(t,0)=\|u_x(t,\cdot)\|_{L^\infty}. $$

在本文解的结构下, 它满足 Riccati 型恒等式

$$ m'(t)=\frac12m(t)^2+I(t), \qquad I(t)=\iint_{(0,\infty)^2}\frac{d\mu_t(a)d\mu_t(b)}{(a+b)^2}, \qquad 0<I(t)\leq\frac14m(t)^2. $$

由此得到 $m(t)\asymp(T-t)^{-1}$, 并导出定理中的寿命界。这里 $\asymp$ 表示在 $t$ 充分接近 $T$ 时由正的常数上下控制; 该表述是引言对相应推导的概括。

原点曲率

$$ K(t)=-\theta_{xx}(t,0) $$

满足

$$ K'(t)=2m(t)K(t). $$

将 $K$ 与 $m$ 的增长关系用于插值, 可推出较高 Hölder 半范数发散。若只使用 Riccati 型比较, 作者指出可得到 $\beta>2/3$ 的发散; 为包含端点 $\beta=2/3$, 必须保留正余项 $I(t)$, 并对其使用 layer-cake 论证取得对数型下界, 改善 $K$ 与 $m$ 的比较。

此外, 对满足概率表示及有限初始矩条件的更一般初值, 命题 3.1 给出局部构造结果。若 $f(x)=\int a^2/(a^2+x^2)\,d\mu_0(a)$, $f\in\bigcap_{k\geq0}H^k$, 且

$$ A_0=\int a\,d\mu_0(a)<\infty, \qquad m_0=\int a^{-1}\,d\mu_0(a)<\infty, $$

则对任意 $\tau<m_0^{-1}$ 存在唯一光滑 Sobolev 解, 且演化测度满足

$$ \int a\,d\mu_t(a)\leq A_0, \qquad \int a^{-1}\,d\mu_t(a)\leq\frac{m_0}{1-m_0t}, \qquad 0\leq\theta(t,x)\leq f(x). $$

该一般命题提供表示保持及局部存在框架, 但定理 1.1 中的具体 Hölder 指数和全局寿命区间是针对 $\delta_1$ 对应的给定初值证明的。

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

证明的核心障碍不是单纯控制输运方程的 Sobolev 范数, 而是要为关键非局部非线性项找到可用的点态符号。由 $u=H\theta$ 可推得速度满足 Burgers 型方程

$$ u_t-u u_x=-N(u), \qquad N(u):=H(uH u_x)+u u_x. $$

对一般函数, $N(u)$ 没有显然的点态正性; 因此不能直接从速度方程沿特征线得出有利的单调量。论文的关键策略是先构造并传播一个正测度表示, 再利用表示把 $N(u)$ 写成关于 $\mu_t\otimes\mu_t$ 的显式二重积分, 把非局部估计化为正核比较。

第一项实质性技术是表示的保持。设 $p_a(x)=a^2/(a^2+x^2)$, $h_a(x)=ax/(a^2+x^2)$。作者证明若 $\theta$ 可写为概率混合 $\theta=\int p_a\,d\mu(a)$, 则 Hilbert 变换由同一个测度给出 $u=\int h_a\,d\mu(a)$。作变量替换 $r=x^2$, 令 $Q(t,r)=\theta(t,\sqrt r)$, 则 $Q$ 是归一化 Stieltjes 函数。其解析延拓满足半平面符号条件, 且表示测度的质量为一。对给定速度冻结后, $Q$ 满足一阶输运方程

$$ Q_t=F(t,r)Q_r, \qquad F(t,z)=2z\int\frac{a}{a^2+z}\,d\mu_t(a). $$

作者通过研究复变量特征线的全局存在性、上半平面保持性和正实轴上的特征流, 证明特征映射与归一化 Stieltjes 类相容; 再由 Stieltjes 表示定理恢复唯一概率测度。矩条件控制特征流不触及奇异边界, 并给出测度矩的传播界。随后以非线性迭代把冻结场论证用于原方程: 每一步解线性输运方程, 用同一表示引理恢复新测度, 以一阶矩和逆一阶矩统一控制迭代, 再借助紧性、表示唯一性和 Sobolev 输运估计取极限。这一构造避免了预先假设尚未构造的测度族具有所需时间可测性或连续性。

第二项关键技术是核比较导出的点态二次估计。利用 $u(x)=\int ax/(a^2+x^2)\,d\mu(a)$ 及 $N(u)$ 的二重积分表达, 作者逐点比较两个正核, 归结到

$$ 2(a^2+b^2+2x^2)-(a+b)^2=(a-b)^2+4x^2\geq0. $$

由此对 $x>0$ 得到

$$ N(u)(t,x)\geq\frac{u(t,x)^2}{4x}. $$

这一估计的价值在于它不仅给出整体积分控制, 而是提供沿特征线可用的定量下界, 把速度的非局部非线性项转成正的局部二次耗散型贡献。

第三项技术是构造输运不变量的幂次组合, 从二次估计导出低指数 Hölder 控制。令 $P=1-\theta$, 则 $DP=0$, 且 $Dx=-u$, $Du=-N(u)$。将 $N(u)\geq u^2/(4x)$ 代入链式法则, 可验证

$$ D\!\left(\frac{u(t,x)}{x^{1/4}P(t,x)^{3/8}}\right)\leq0, \qquad x>0. $$

初值上该商不超过 $1$, 因而得到 $u(t,x)\leq x^{1/4}P(t,x)^{3/8}$。另一方面, 正核表示给出 $P_x(t,x)\leq u(t,x)/x$。两式合并并积分, 得到 $P(t,x)\lesssim x^{2/5}$, 进而 $u(t,x)\lesssim x^{2/5}$。配合表示核的导数估计及偶、奇对称性, 得到 $\theta$ 与 $u$ 的全局 $C^{2/5}$ 控制。指数 $2/5$ 不是仅由标准输运能量估计得到, 而是上述特定幂次组合与核导数不等式共同产生的。

第四项技术是以测度矩描述压缩和曲率, 并将局部增长转成高 Hölder 半范数爆破。逆一阶矩 $m(t)$ 等于原点处 $u_x$ 的最大值, 对应强压缩; 对 $u$ 方程在原点求导得到含正余项 $I(t)$ 的 Riccati 恒等式。逆二阶矩通过原点曲率 $K=-\theta_{xx}(t,0)$ 表征, 且 $K'=2mK$。比较二者的增长并作插值, 可从一个点附近的高阶局部变化推出 $C^\beta$ 半范数发散。端点 $\beta=2/3$ 不能只靠丢弃 $I(t)$ 后的粗略 Riccati 不等式得到; 作者保留 $I(t)>0$, 以 layer-cake 分解获得对数型下界, 从而补上端点。这一处体现了证明中为处理精确 Hölder 指数而保留正余项的必要性。

总的论证链条是: 解析表示保持提供正性和尺度矩; 正核比较控制非线性项; 输运商估计给出低阶 Hölder 一致界; 矩的演化和原点曲率增长则给出较高指数的半范数发散。本文并未使用计算机辅助估计; 作者在引言中明确说明证明不依赖此类估计。

4. 与之前工作的比较

本文与既有工作的首要区别, 是问题目标从“是否有限时间失去光滑性”转向“奇异时刻之前哪些 Hölder 指数仍可控制”。Córdoba、Córdoba 和 Fontelos 对一类非负、偶对称且具有峰值结构的紧支撑光滑初值证明了有限时奇异性, 核心是加权 Hilbert 变换不等式推动集中。Kiselev 在对称性和单调性假设下发展实变量证明; Silvestre 和 Vicol 提供多种爆破论证, 并提出正时间 $C^{1/2}$ 先验估计及与消失黏性极限有关的猜想, 还证明了带对称、单调条件的静态对应结果。Li 和 Rodrigo 则发展 Hilbert 变换点态不等式及加权推广。相较这些工作, 本文不是只给出爆破机制或静态尖点, 而是跟踪一个明确的光滑初值解直到最大光滑寿命, 同时给出解的低指数 Hölder 一致控制和高指数 Hölder 半范数发散。

在初值和结构假设方面, 本文选择 $\theta_0=(1+x^2)^{-1}$, 它解析、偶对称、有界且衰减, 并对应单原子测度 $\mu_0=\delta_1$。作者并未证明所有一般光滑初值都具有正概率测度表示, 也没有将结论推广到任意紧支撑初值。命题 3.1 的确对一类本来就有该表示、属于所有 $H^k$ 且具有有限正一阶矩与逆一阶矩的初值建立局部存在和表示保持; 但主要 Hölder 定理及其寿命区间针对上述特定初值。表示的限制是真实的: 任何这种概率混合都在整条实线上严格为正, 因而紧支撑截断初值不可能直接纳入同一表示。作者仅提出对充分大截断尺度可能通过额外尾部估计扩展结论, 并明确说明这并未在本文证明。

在正则性结论方面, 本文给出一个尚未闭合的阈值区间: $0<\alpha\leq2/5$ 时 $\theta,u$ 的 $C^\alpha$ 范数对 $t<T$ 一致有界; $2/3\leq\beta<1$ 时两者 $C^\beta$ 半范数趋于无穷。因此本文证明了梯度发散, 但并未识别实际奇异轮廓的精确 Hölder 指数。尤其是 Silvestre–Vicol 的 $C^{1/2}$ 猜想既未被证明也未被否定; $2/5$ 与 $2/3$ 之间仍有显著空档。作者指出定理 5.1 还提供定量估计, 但从所给 PDF 摘录无法确认其具体表达式, 故不宜将其扩展为未见于摘录的渐近速率。

时间尺度方面, 本文对指定初值给出 $4/3\leq T\leq2$, 并由原点压缩量 $m(t)$ 的 Riccati 型演化得到 $m(t)\asymp(T-t)^{-1}$。它提供了爆破时间的明确范围及接近奇异时刻的压缩增长信息。与只证明存在有限爆破时间的结论相比, 这是定量推进; 但所给摘录未提供 $T$ 的精确值, 也未提供定理 5.1 所有定量估计, 因而不能声称获得精确爆破时刻或完整渐近展开。

与广义 Constantin–Lax–Majda / Okamoto–Sakajo–Wunsch 模型的关系也值得区分。令 $\omega=\theta_x$, 则 CCF 导数方程是广义模型

$$ \omega_t+a u\omega_x=u_x\omega, \qquad u_x=H\omega $$

中 $a=-1$ 的情形。第一作者与 Córdoba 曾用不同方法将有限时爆破机制推广到所有 $a<0$, 并利用类似 $m'\geq\tfrac12m^2$ 的微分不等式。本文则依靠 CCF 方程的概率测度表示和正核比较; 作者明确没有声称该概率表示对其他 $a$ 值仍保持。因此, 本文的 Hölder 细化不能据此自动推广至整个广义模型。

本文也不同于依赖自相似轮廓的奇异性研究。Elgindi–Jeong 构造了某些参数范围的光滑自相似爆破轮廓及一般参数下的 Hölder 轮廓, Elgindi、Ghoul 和 Masmoudi 研究相应爆破机制的稳定性; 对 CCF 而言, 这些构造从相应涡量仅具 $C^{1,\alpha}_{\mathrm{loc}}$ 的非光滑初始数据出发, 并显示速度的 Hölder 正则性可能持续到奇异时刻。Huang、Qin、Wang 和 Wei 构造了特定自相似解, 但其 $a=-1$ 轮廓的原函数在无穷远不有界, 所以不能直接给出本文这种有界、光滑、衰减初值的正则性结论。数值及渐近研究提出不同的 Hölder 阈值, 但自相似轮廓或固定时间区间内的数值拟合本身不能控制解一直趋近 $T$; 本文的轨道估计正是为这一差别提供严格论证。

作者将 Hou–Luo 模型中 Chen、Hou 和 Huang 的计算机辅助稳定性工作视为可能的启发, 并提出未来可借助概率表示对更精细阈值作计算机辅助认证; 本文自身没有使用该方法。作者猜测对当前初值可能存在高于 $1/2$ 的阈值下界, 对其他光滑初值也可能出现低于 $1/2$ 的阈值, 但这些都属于猜测而非定理。总体而言, 本文的推进是以较强的结构性表示假设和特定初值为代价, 获得了沿完整最大光滑寿命的上下正则性信息; 其局限是指数阈值未闭合、一般初值及紧支撑数据未覆盖, 且其他广义模型中的表示保持性未知。


4. 玻尔兹曼关系下纳维–斯托克斯–傅里叶–泊松系统的激波剖面

Shock profiles for the Navier–Stokes–Fourier–Poisson system under the Boltzmann relation

作者: Renjun Duan, Rui Li

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.36567v1

摘要翻译: 研究玻尔兹曼关系下的一维可压缩纳维–斯托克斯–傅里叶–泊松系统中小振幅黏性激波剖面的存在性,这些剖面连接准中性欧拉系统的 Rankine–Hugoniot 状态,其有效压力为 $P_{\mathrm{eff}=ρ(θ+1)$。该剖面在平移意义下唯一,属于 Lax 型,并且在时间演化中轨道稳定,无需对扰动施加零质量假设。证明基于行波常微分方程的中心流形约化和带位移的 $a$-contraction 方法,并结合加入电能项的相对熵泛函,以及对与 $P_{\mathrm{eff}}=ρ(θ+1)$ 相关的黏性通量的锐利估计。

Comment: 无

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

1. 研究对象和背景

本文研究一维全压缩 Navier–Stokes–Fourier–Poisson (NSFP) 系统在玻尔兹曼关系下的离子动力学。未知量为离子密度 $\rho>0$、速度 $u$、温度 $\theta>0$ 和电势 $\phi$,定义在 $t\geq 0,\ x\in\mathbb R$ 上;控制方程为

$$ \begin{cases} \rho_t+(\rho u)_x=0,\\ (\rho u)_t+(\rho u^2+\rho\theta)_x-\rho\phi_x=(\mu u_x)_x,\\ \bigl[\rho(\frac12u^2+c_v\theta)\bigr]_t+igl[u\{\rho(\frac12u^2+c_v\theta)+\rho\theta\}\bigr]_x-\rho u\phi_x=(\mu uu_x+\kappa\theta_x)_x,\\ \lambda_D^2\phi_{xx}=\rho-e^{-\phi}, \end{cases} \qquad c_v=\frac1{\gamma-1},\quad \gamma>1. $$

其中 $\mu,\kappa,\lambda_D>0$ 分别为黏性系数、热传导系数和德拜长度。玻尔兹曼关系 $n_e=e^{-\phi}$ 表示电子惯性可忽略时电子密度由电势决定;Poisson 方程则描述离子密度与电子密度不完全相等所产生的电场。本文关注连接两个远场常态的行波解 $(\rho,u,\theta,\phi)(x-st)$,并要求远场满足准中性条件 $\rho_\pm=e^{-\phi_\pm}$。经伽利略变换和密度归一化,可令左态为 $(1,0,\theta_0,0)$,其中 $\theta_0>0$。

当忽略黏性、热传导和 Debye 长度相关的高阶项,并施加准中性关系 $\rho=e^{-\phi}$ 时,电力项在动量方程中转化为 $\rho_x$,从而得到准中性 Euler 系统,其有效压力为

$$ P_{\mathrm{eff}}=\rho(\theta+1). $$

该系统的特征速度为 $u-c,u,u+c$,其中 $c=\sqrt{\gamma\theta+1}$;因此本文考察的是右行声学特征族的压缩 3-激波。小振幅剖面不仅刻画黏性和热传导如何平滑准中性 Euler 激波,也提供考察 Poisson 电场对剖面结构和大时间稳定性影响的基准对象。

已有相关结果包括等温 Navier–Stokes–Poisson 系统的小振幅行波存在性与稳定性,以及 Navier–Stokes–Fourier 系统中黏性激波的稳定性理论。但完整非等温 NSFP 系统同时具有温度演化、热扩散和电势耦合;电力与电功项在原方程中并非显然的通量,且 Poisson 方程引入额外的非局部约束。本文试图补足的空白是:在这一完整耦合模型中构造连接准中性 Euler Rankine–Hugoniot 态的激波剖面,并在不要求初始扰动零质量的条件下证明其轨道渐近稳定。

2. 主要定理或主要结果

论文的主要结论为定理 1.1 和定理 1.2。

小振幅剖面的存在、唯一性与结构 (定理 1.1). 固定 $\gamma>1,\theta_0>0$ 及 $\mu,\kappa,\lambda_D>0$。存在小常数 $\varepsilon_*>0$,使得当右态满足准中性 Rankine–Hugoniot 条件

$$ s[Q(U)]=[f(U)],\qquad \phi_\pm=-\log\rho_\pm, $$

其中 $U=(\rho,u,\theta)$,且满足右行 3-激波的 Lax 条件

$$ 0<s<c_0,\qquad u_++\sqrt{\gamma\theta_++1}<s,\qquad c_0=\sqrt{\gamma\theta_0+1}, $$

以及 $\varepsilon=1-\rho_+>0$、$\varepsilon+|\theta_+-\theta_0|\leq\varepsilon_*$ 时,存在光滑行波剖面连接左、右态。它在定理所指定的邻域 $\mathcal N$ 内除平移外唯一。剖面满足

$$ \theta^S\geq \frac{\theta_0}{2},\qquad (\rho^S)'<0,\qquad (\phi^S)'>0,\qquad C^{-1}|(\rho^S)'|\leq(\phi^S)'\leq C|(\rho^S)'|. $$

平移固定为 $\rho^S(0)=1-\varepsilon/2$ 后,对每个整数 $k\geq0$,在相应半轴 $\pm\zeta\geq0$ 上有指数衰减估计

$$ \left|\partial_\zeta^k(\rho^S-\rho_\pm,u^S-u_\pm,\theta^S-\theta_\pm,\phi^S-\phi_\pm)(\zeta)\right| \leq C_k\varepsilon^{k+1}e^{-\vartheta\varepsilon|\zeta|}. $$

常数及邻域不依赖于 $\varepsilon$。右态局部 Hugoniot 分支的展开为

$$ s(\varepsilon)=c_0-\frac{\Gamma}{2}\varepsilon+O(\varepsilon^2),\quad u_+=-c_0\varepsilon+O(\varepsilon^2),\quad \theta_+=\theta_0-(\gamma-1)\theta_0\varepsilon+O(\varepsilon^2),\quad \phi_+=\varepsilon+O(\varepsilon^2), $$

其中 $\Gamma=[\gamma(\gamma+1)\theta_0+2]/(2c_0)>0$。

轨道渐近稳定性 (定理 1.2). 在定理 1.1 的假设下进一步缩小小振幅阈值。若拉格朗日质量坐标中的初值满足

$$ \|(v_{\mathrm{in}}-v^S,u_{\mathrm{in}}-u^S,\theta_{\mathrm{in}}-\theta^S)\|_{H^2}<\varepsilon_0, $$

则系统存在唯一全局解,并存在绝对连续平移函数 $X(t)$,$X(0)=0$,使得

$$ (v,u,\theta)(t,\cdot)-(v^S,u^S,\theta^S)(\cdot-\sigma t-X(t))\in C([0,\infty);H^2), $$
$$ \phi(t,\cdot)-\phi^S(\cdot-\sigma t-X(t))\in C([0,\infty);H^3). $$

此外,扰动相对于移动剖面在一致范数中趋于零,且平移速度趋于零:

$$ \lim_{t\to\infty}\|(v,u,\theta,\phi)(t,\cdot)-(v^S,u^S,\theta^S,\phi^S)(\cdot-\sigma t-X(t))\|_{L^\infty}=0, \qquad \lim_{t\to\infty}|\dot X(t)|=0. $$

稳定性定理不要求初始扰动满足零质量条件。文中给出的是经动态平移后的轨道稳定与 $L^\infty$ 渐近收敛;从所提供内容中不能确认 $X(t)$ 本身收敛,也不能据此声称扰动在 $H^2$ 或 $H^3$ 范数中趋于零。

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

1. 将电耦合项恢复为守恒结构. 存在性的首要困难是 $-\rho\phi_x$ 和 $-\rho u\phi_x$ 在原动量、能量方程中不是显式通量,因而不能直接从方程形式读取行波两端的跳跃关系。利用 Poisson 方程以及质量方程,作者证明

$$ \rho\phi_x=\partial_x\left(\frac{\lambda_D^2}{2}\phi_x^2-e^{-\phi}\right), $$

并将电功项改写成时间导数与空间通量之和。由此流体部分可写为带电场能修正的守恒律。对准中性常态,修正通量退化到有效压力 $P_{\mathrm{eff}}=\rho(\theta+1)$ 对应的准中性 Euler 通量,于是行波的端态满足该 Euler 系统的 Rankine–Hugoniot 条件。这一步同时确定了可比较的 Hugoniot 分支和后续行波 ODE 的平衡点。

2. 声速临界点处的中心流形与异宿轨道. 用质量通量关系消去速度,$u=s(1-\rho^{-1})$,再对动量、能量方程积分,得到 $Y=(\rho,\theta,\phi,W)$、$W=\phi'$ 的四维自治剖面系统。左端态在声速 $s=c_0$ 处有一个简单零特征值,其核方向为

$$ R_0=(1,(\gamma-1)\theta_0,-1,0)^T. $$

此处存在中心方向,直接按双曲平衡点作射击并不适用。作者把波速作为冻结变量加入系统,形成二维中心子空间,并利用中心流形定理把附近动力学约化为标量方程 $\eta'=g(\eta,\tau)$。将参数限制到 Rankine–Hugoniot 波速 $s(\varepsilon)$ 后,得到连接 $\eta=0$ 与 $\eta=-\varepsilon$ 的标量方程。通过排除区间内部零点并确定向量场符号,构造唯一的局部异宿轨道;其提升给出原系统剖面。该约化还用于证明单调性、远场指数衰减以及局部邻域内除平移外的唯一性。

3. 以带位移的 $a$-收缩处理平移模态. 稳定性证明在拉格朗日坐标中相对于移动剖面展开。由于扰动不受零质量约束,平移核不能预先靠积分条件消除;作者为此构造时间依赖的位移 $X(t)$,并选取随剖面变化的权函数

$$ a(\xi)=1+\delta_S^{-1/2}\bigl(v^S(\xi-X(t))-v_-\bigr),\qquad a_\xi=\delta_S^{-1/2}\bar v_\xi>0. $$

相应的相对熵由速度平方项以及比容、温度的凸相对熵组成,核心流体部分为

$$ H_0=\frac{\widetilde u^2}{2}+(\bar\theta+1)\Phi\left(\frac v{\bar v}\right) +\frac{\bar\theta}{\gamma-1}\Phi\left(\frac\theta{\bar\theta}\right), \qquad \Phi(z)=z-1-\log z. $$

作者再加入包含电势扰动及混合导数项的电能修正 $\eta_\phi$,使 $H_0+\eta_\phi$ 具有强制性。加权积分能量恒等式被组织成“位移项 + 坏通量项 − 好通量项”的形式;位移常微分方程专门选取为消去平移方向的主导交叉项,并产生负耗散 $-(\delta_S/M)|\dot X|^2$。这不是仅对固定剖面做常规能量估计,而是通过权函数与位移方程共同恢复激波层中的耗散。

4. 主导黏性项的精细控制及 Poisson 估计. 证明中一个关键瓶颈是主导相对熵通量的符号不能仅由一般抛物耗散推出。作者利用中心流形给出的标量剖面方程及其因式分解,建立尖锐的扩散估计,确定归一化激波坐标中黏性耗散的主导系数;再结合热变量估计和加权 Poincaré 不等式控制主要项。较低阶余项随后被吸收。对电场部分,作者分别使用空间和时间微分后的 Poisson 方程估计电势扰动及电通量余项;最后闭合一阶、二阶流体能量估计,获得全局先验界。文中证明框架因而把剖面 ODE 的精细结构直接用于稳定性主导耗散估计,而非将存在性与稳定性视为互不相关的两部分。

4. 与之前工作的比较

本文的背景文献覆盖两条相关路线:一是等温 Navier–Stokes–Poisson 的离子声激波,二是一般黏性守恒律或 Navier–Stokes 型方程的激波稳定性。作者明确指出,Duan、Liu 和 Zhang [8] 在等温情形中通过三维剖面 ODE 的中心流形方法建立小振幅行波,并在严格正离子温度条件下证明带零质量约束的非线性稳定性;Kang、Kwon 和 Shim [12] 随后用带时间依赖位移的 $a$-收缩去掉等温问题的零质量假设。本文把问题推进到完整非等温 NSFP 模型,需同时处理温度方程、热传导和电场能量,而不是等温约化系统。就本文摘要与定理而言,新的结论既包括完整模型的小振幅剖面,也包括无零质量约束的轨道稳定性。

与普通 Navier–Stokes–Fourier 激波稳定性工作相比,Poisson 耦合改变了证明结构:电力和电功必须先转化为包含电势能的守恒通量,稳定性相对熵中也必须补入电能项,并需通过 Poisson 方程的空间、时间导数估计控制额外电场余项。有效压力 $\rho(\theta+1)$ 反映了准中性电子响应对离子声学通量的贡献。因此,本文不是直接套用纯流体的相对熵估计;关键代价是额外的电场能量构造和对剖面扩散系数的尖锐估计。

在稳定性方法上,本文与经典依靠扩散波、近似 Green 函数及点态估计解除零质量限制的路线不同。引言提及 Liu [23]、Szepessy 和 Xin [35]、Liu 和 Zeng [25] 的相关发展,也介绍 Mascia 和 Zumbrun [26] 对耗散对称双曲—抛物系统小振幅激波的轨道稳定理论。本文采用相对熵与带位移 $a$-收缩,不要求初始扰动零质量,且直接处理 Poisson 耦合;但给出的结论是小振幅剖面附近的 $H^2$ 小扰动全局稳定,不应与上述文献中针对其他模型或初值类别的结论混为一谈。论文所给摘要和节选未显示其与点态 Green 函数方法在衰减率或最优渐近展开上的定量比较。

相对熵及位移收缩方面,作者将方法置于 Dafermos、DiPerna 的相对熵框架,以及 Leger、Serre–Vasseur、Kang–Vasseur 等关于激波平移和加权收缩的研究脉络中。对于黏性模型,相关工作包括 Kang–Vasseur 的标量方程结果、Kang–Vasseur–Wang 对多维标量平面激波的结果,以及针对化学趋化系统的应用。对流体方面,Kang–Vasseur [13] 处理了 barotropic Navier–Stokes 小激波的大扰动收缩,并利用 Bresch–Desjardins 熵相关的有效速度;本文对象则是具有独立温度和 Poisson 电势的全 NSFP 系统,论证依赖电能修正、热耗散和剖面扩散估计。论文还提到既有全 Navier–Stokes–Fourier 复合波稳定性工作 [20],但其波型与本文单个带电激波不同。

适用范围与限制方面,存在性定理要求右态处在左态附近、激波压缩强度小,且唯一性只在指定邻域内成立;稳定性要求初始 $(v,u,\theta)$ 与剖面的 $H^2$ 距离足够小。虽然不再施加零质量条件,结论仍是小扰动局部轨道稳定,而非任意大扰动稳定。本文考虑一维全直线上的单个右行 3-激波;从提供内容中无法确认其结果是否可直接推广到大振幅激波、多维情形、复合波或不同电子闭合关系。论文明确提到的前人工作提供了上述比较背景,但对各文献的精确假设逐项对照及最优性讨论,作者未在所提供摘录中显式展开。


5. 有限通道中 Boussinesq 系统三维平面 Couette 流的非线性稳定性

Nonlinear stability of 3-D plane Couette flow for Boussinesq system in a finite channel

作者: Jinkai Li, Zhilin Lin, Dong Wang

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.36989v1

摘要翻译: 本文研究有限通道 $mathbb{T}\times [-1,1]\times \mathbb{T}$ 中 Boussinesq 系统的三维平面 Couette 流 $v_s=(y,0,0)$ 与恒定温度状态 $ρ_s$ 的水动力学稳定性,其中 $y$ 方向满足无滑移边界条件。我们证明,若初始速度场 $v_{in}$ 和初始温度 $ρ_{in}$ 满足 \begin{align*} |v_{in}-(y,0,0)|{H^2} \leq c_0 ν, \ \ |ρ{in}-ρ_s|_{H^2} \leq c_0 ν^2, \end{align*} 其中某个 $c_0>0$ 与黏性和热扩散 $ν$ 无关,则三维 Boussinesq 系统的解不会偏离 Couette 流和恒定温度状态。据我们所知,这是关于具有无滑移边界条件的区域中三维 Boussinesq 系统平面 Couette 流非线性稳定性的首个结果。该结果与 [18] 一起表明,强边界层效应不会导致强不稳定性。

Comment: 无

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

1. 研究对象和背景

本文研究有限通道内三维 Boussinesq 方程的平面 Couette 流稳定性,以及高雷诺数极限下初始扰动的稳定阈值。流体区域为 $\Omega=\mathbb{T}\times[-1,1]\times\mathbb{T}$,坐标记为 $(x,y,z)$。速度 $v=(v_1,v_2,v_3)$、温度(或密度)$\rho$ 与压力 $p$ 满足

$$ \begin{cases} \partial_t v-\nu\Delta v+(v\cdot\nabla)v+\nabla p=\rho e_2,\\ \partial_t\rho-\mu\Delta\rho+(v\cdot\nabla)\rho=0,\\ \nabla\cdot v=0, \end{cases} \qquad (x,y,z)\in\Omega, $$

其中 $e_2=(0,1,0)$,$\nu$ 是黏性系数,$\mu$ 是热扩散系数。论文主要取 $g=1$、$\mu=\nu$,并在 $y=\pm1$ 对速度施加无滑移条件、对温度施加定温条件。基本解为

$$ v_s=(y,0,0),\qquad p_s=y+c,\qquad \rho_s=1. $$

令 $u=v-v_s$、$\theta=\rho-\rho_s$、$P=p-p_s$,则扰动满足

$$ \begin{cases} \partial_tu-\nu\Delta u+y\partial_xu+u_2e_1+(u\cdot\nabla)u+\nabla P=\theta e_2,\\ \partial_t\theta-\nu\Delta\theta+y\partial_x\theta+u\cdot\nabla\theta=0,\\ \nabla\cdot u=0,\\ (u,\theta)|_{y=\pm1}=0. \end{cases} $$

关注的问题是:当 $\nu\ll1$、即雷诺数 $\mathrm{Re}=\nu^{-1}$ 很大时,初始速度与温度扰动需要多小,才能保证解不离开 Couette 流及常温状态,并在长时间演化后回到该基本态附近。这里的“阈值”是依赖所选函数空间的充分稳定尺度;证明稳定阈值本身并不等于证明超过该尺度必然发生转捩。

这类问题的重要性来自剪切流的非正规线性动力学。Couette 剪切会使非零水平频率受到混合与增强耗散,从而产生稳定作用;另一方面,三维 lift-up 效应可将横向速度扰动累积为流向速度扰动。无滑移壁面还带来边界层及其奇异尺度,使无边界或滑移边界下的估计不能直接照搬。Boussinesq 耦合又增加了一个关键因素:温度通过浮力进入竖直速度方程,而温度自身随流输运。对于 $x$-零模态,线性化后的主要耦合包含

$$ (\partial_t-\nu\Delta)\bar u_1+\bar u_2=0,\qquad (\partial_t-\nu\Delta)\bar u_2=\theta-\partial_yP^\theta,\qquad (\partial_t-\nu\Delta)\theta=0, $$

其演化可产生 $t e^{\nu t\Delta}$ 级别的横向速度增长,以及 $t^2e^{\nu t\Delta}$ 级别的流向速度增长。因而温度扰动对速度的作用比 Navier-Stokes 情形多一层时间累积;论文据此预期 $\theta_{in}$ 必须比 $u_{in}$ 小一个 $\nu$ 因子。

既有研究已分别考察无边界 Couette 流、不同边界条件下的 Navier-Stokes 流,以及 Boussinesq 系统中的二维或三维分层剪切流。本文要补上的缺口是:在三维 Boussinesq 系统中,同时处理常温背景、有限通道的无滑移速度边界与温度定温边界,并给出 Sobolev 初值下、黏性趋于零时的非线性稳定结论。作者尤其要回答:无滑移条件造成的强边界层效应,是否会使相较于无边界问题更严格的稳定阈值成为必要。本文证明,在 $H^2$ 初值尺度 $\|u_{in}\|_{H^2}=O(\nu)$、$\|\theta_{in}\|_{H^2}=O(\nu^2)$ 下仍可获得全局稳定;但结论针对周期方向为 $\mathbb{T}$ 的有限通道,不直接覆盖 $x\in\mathbb{R}$ 的长波情形。

2. 主要定理或主要结果

主要结论是定理 1.1。假设 $ (u_{in},\theta_{in})\in H^2\cap H^1_0$、$\nabla\cdot u_{in}=0$,存在与 $\nu$ 无关的常数 $\nu_0,c_0,\epsilon,C>0$,使得当 $0<\nu\leq\nu_0$ 且

$$ \|u_{in}\|_{H^2}\leq c_0\nu, \qquad \|\theta_{in}\|_{H^2}\leq c_0\nu^2, $$

扰动系统存在全局解,并满足下述零模态控制和非零模态衰减估计。这里 $\bar f=P_0f$ 表示对 $x$ 取平均,$f_{\neq}=f-P_0f$。

首先,背景 streak 分量在任意 $t>0$ 满足

$$ \|\bar u_1(t)\|_{H^2}+\|\bar u_1(t)\|_{L^\infty} \leq C\nu^{-1}\min\{\nu t+\nu^{2/3},e^{-\nu t}\} \bigl(\|u_{in}\|_{H^2}+\nu^{-1}\|\theta_{in}\|_{H^2}\bigr), $$

以及

$$ \|\bar u_2(t)\|_{H^2}+\|\bar u_3(t)\|_{H^1} +\|(\bar u_2,\bar u_3)(t)\|_{L^\infty} \leq Ce^{-\nu t} \bigl(\|u_{in}\|_{H^2}+\nu^{-1}\|\theta_{in}\|_{H^2}\bigr). $$

温度零模态满足

$$ \|\bar\theta(t)\|_{H^1}+\|\partial_z\nabla\bar\theta(t)\|_{L^2} \leq Ce^{-\nu t}\nu \bigl(\|u_{in}\|_{H^2}+\nu^{-1}\|\theta_{in}\|_{H^2}\bigr). $$

其次,非零模态以增强耗散时间尺度 $\nu^{-1/3}$ 衰减。具体地,定理给出

$$ \begin{aligned} &\|(\partial_x,\partial_z)\partial_xu_{\neq}(t)\|_{L^2} +\|(\partial_x,\partial_z)\nabla u_{2,\neq}(t)\|_{L^2} +\|(\partial_x^2+\partial_z^2)u_{3,\neq}(t)\|_{L^2}\\ &\quad+\nu^{1/4}\|u_{2,\neq}(t)\|_{H^2} +\nu^{1/3}\|(u_{1,\neq},u_{3,\neq})(t)\|_{H^1} +\|u_{2,\neq}(t)\|_{L^\infty} +\nu^{1/6}\|(u_{1,\neq},u_{3,\neq})(t)\|_{L^\infty}\\ &\leq Ce^{-2\epsilon\nu^{1/3}t} \bigl(\|u_{in}\|_{H^2}+\nu^{-1}\|\theta_{in}\|_{H^2}\bigr), \end{aligned} $$

并且非零温度模态满足

$$ \|(\partial_x,\partial_z)\nabla\theta_{\neq}(t)\|_{L^2} +\|\theta_{\neq}(t)\|_{L^\infty} \leq C\nu e^{-2\epsilon\nu^{1/3}t} \bigl(\|u_{in}\|_{H^2}+\nu^{-1}\|\theta_{in}\|_{H^2}\bigr). $$

因此,定理证明的是全局存在及围绕基本流的定量稳定,而非仅有限时间不转捩。结合初值假设,可推出文中所述的 $L^\infty$ 加权稳定结论:

$$ \|u_1(t)\|_{L^\infty} +\nu^{-1}\|(u_2,u_3)(t)\|_{L^\infty} +\nu^{-2}\|\theta(t)\|_{L^\infty} \leq Cc_0e^{-\nu t}. $$

作者通过线性化零模态的显式增长解释阈值的尺度:$\bar u_1$ 有 $t^2e^{\nu t\Delta}$ 型温度驱动增长,$(\bar u_2,\bar u_3)$ 有 $te^{\nu t\Delta}$ 型增长,所以形式上要求 $u_{in}=O(\nu)$、$\theta_{in}=O(\nu^2)$。这是对阈值可能最优的线性尺度解释;论文严格证明的是上述充分稳定条件,并未证明超过这些尺度必定不稳定。作者还说明结论并不限于 $\nu=\mu$,但所给文本未展开不等扩散系数时的具体条件与估计形式。

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

证明的主要困难在于要同时控制三种彼此耦合的效应:零模态的 lift-up 增长、非零模态的剪切增强耗散,以及无滑移边界引起的边界层损失。温度又不只是一个被动输运量:它通过浮力驱动竖直速度,并经由速度反馈影响流向 streak 和温度的非零模态。因此,将温度项简单视作小的外力,会丢失目标阈值 $\|\theta_{in}\|_{H^2}=O(\nu^2)$ 所需的尺度。

首先,作者按 $x$-零模态与非零模态分解方程。零模态中,$\bar u_1$ 受 $\bar u_2$ 驱动,而 $\bar u_2$ 又受 $\bar\theta$ 浮力驱动;这是 $t^2$ 累积增长的来源。为避免把这一增长当作普通扰动吸收,作者将 $\bar u_1=u_{1,0}+u_{1,1}$,其中 $u_{1,0}$ 承担 streak 的主要 lift-up 响应,满足含 $\bar u_2$ 强迫及零模态平流的方程;$u_{1,1}$ 则由初始流向扰动和非零模态相互作用驱动。这样的拆分使主要增长被纳入能量泛函,而不是在估计中被当成不可控误差。零模态速度、温度分别用 $E_1,E_2,E_{4,0}$ 控制,并在 $E_2$ 中显式加入到边界距离和扩散时间相关的权重

$$ \min\{(\nu^{2/3}+\nu t)^{1/2},1-y^2\}, $$

以兼顾近壁区域与长时间演化中的正则性损失。

其次,非零模态的处理利用了线性化剪切算子的 resolvent 估计和空间-时间估计。对带有剪切系数 $V(y,z)$ 的标量方程,作者使用形如

$$ -\nu\Delta w+ik(V-\lambda)w-a(\nu k^2)^{1/3}w=F, \qquad w|_{y=\pm1}=0, $$

的 resolvent 问题,获得同时控制梯度、拉普拉斯及剪切失谐项 $(V-\lambda)w$ 的估计。其自然耗散量中出现 $(\nu k^2)^{1/3}$,对应 $e^{-c\nu^{1/3}t}$ 的增强耗散尺度。相关一般流的 resolvent 与部分空间-时间估计沿用 Li、Lin、Wang 关于三维 Couette 流无滑移稳定性的框架;本文在给出的文本中明确将若干命题归于此前工作,而非声称重新建立全部线性理论。

无滑移边界下直接处理整个向量速度会遇到压力和边界条件的耦合。作者改用竖直速度分量 $u_2$ 与涡量分量 $\omega_2=\partial_z u_1-\partial_xu_3$ 描述非零模态。由速度方程导出关于 $\Delta u_2$ 的方程,$u_2$ 满足较强的边界条件;$\omega_2$ 则具有适于滑移型线性估计的边界条件。温度非零模态也可使用相应的标量边界估计。此重写将最强的无滑移边界效应集中到 $u_2$ 方程,而使 $\omega_2$ 与 $\theta_{\neq}$ 可在不引入同等强度边界层损失的框架内估计。估计中还需分别控制 $E_{3,0}$、$E_{3,1}$,并以 $E_5$ 处理非线性高频相互作用。

本文针对温度的关键创新,是将其输运方程中的流向输运系数作准线性处理。若直接把 $\bar u_1\partial_x\theta_{\neq}$ 当成小误差,在 lift-up 增长过程中它并不具备所需的小性,进而无法维持 $\nu^2$ 温度阈值。作者将主要部分并入冻结系数的模型

$$ (\partial_t-\nu\Delta+V(t,y,z)\partial_x)\theta_{\neq} =\text{良性源项}, \qquad V=y+u_{1,0}(t,y,z), $$

并将余下的 $u_{1,1}$ 部分作为可控制的扰动。这样做的实质是:不再把 lift-up 生成的背景流向速度当成温度方程中的小系数,而是将它吸收到剪切算子中,再用一般流 $V$ 的 resolvent 和空间-时间估计控制温度。作者指出,温度与涡量虽然具有相似的边界条件,但由于温度和速度之间的浮力耦合,温度必须采用这一准线性处理,不能简单照搬涡量估计。

最后,作者构造由 $E_1$ 至 $E_5$ 组成的加权能量泛函,分别覆盖零模态 streak、横向平均速度、非零模态速度与温度,以及关键高阶非线性交互。对零模态-零模态、非零模态-非零模态和零模态-非零模态作用逐项估计,再通过连续性论证闭合能量界并得到全局结论。所给 PDF 摘录没有展示这些非线性估计的完整细节,因此不宜进一步断言某一未出现的交换子估计或引理是证明的核心;可以确认的具体框架是模态分解、streak 拆分、无滑移速度的涡量/竖直速度变量、resolvent 空间-时间控制,以及温度的冻结系数准线性估计。

4. 与之前工作的比较

与无边界三维 Couette 流的 Navier-Stokes 稳定性研究相比,本文的突出推进是把物理边界纳入三维 Boussinesq 问题,并同时处理无滑移速度条件导致的强边界层。引言指出,无边界三维 Couette 流的 Sobolev 或 Gevrey 稳定研究中,速度阈值指数可达到 $\beta_1\leq1$;Chen、Wei、Zhang 的三维 Couette 无滑移 Navier-Stokes 工作 [12] 也给出 $H^2$ 框架下相应的 $\nu$ 级速度尺度。本文的速度初值阈值仍为 $O(\nu)$,因此并未因加入无滑移边界而在定理所给的速度尺度上退化。但本文并非简单复述 [12]:Boussinesq 浮力耦合使所有速度分量都出现额外增长,尤其温度驱动流向分量可产生二次时间累积,故需要增加 $O(\nu^2)$ 的温度小性,并对温度输运系数作专门的准线性分析。

与 Cui、Wang、Wang [18] 的三维常温 Couette Boussinesq 结果相比,本文将空间从 $\mathbb{T}\times\mathbb{R}\times\mathbb{T}$ 推进到有限通道 $\mathbb{T}\times[-1,1]\times\mathbb{T}$,并加入速度无滑移和温度定温条件。作者称本文得到的阈值与 [18] 相同:速度指数 $\beta_1\leq1$、温度指数 $\beta_2\leq2$。因此,本文的核心信息不是在阈值指数上优于无边界结果,而是在更具边界层困难的几何和边界条件下保住相同的稳定尺度。作者据此认为,强边界层效应没有导致强不稳定。这里“没有导致强不稳定”是由同一阈值尺度仍可证明稳定支持的解释;并不表示边界层不存在,也不构成关于转捩或不稳定的反向定理。

与二维 Boussinesq Couette 研究相比,问题的困难结构也不同。引言提及,二维无热扩散情形已有 Gevrey 正则性下的稳定结论;有热扩散情形中,Zhang、Zi 给出速度与温度阈值指数 $\beta_1\leq1/3$、$\beta_2\leq5/6$,Niu、Zhao 将温度指数改进为 $\beta_2\leq2/3$。这些结果涉及二维设定及相应的函数空间、扩散和模型条件,不能与本文三维有限通道 $H^2$ 阈值作不加区分的数值比较。本文的三维机制包含 lift-up 对所有速度分量的影响以及温度反馈,所需温度扰动按本文的黏性尺度比速度扰动小一阶 $\nu$ 因子。

与三维分层 Couette Boussinesq 工作 [15,16] 相比,本文的背景温度为常数,不存在由线性温度分层产生的同类色散效应。作者在引言中指出,分层浮力可抑制三维 lift-up,并报告 [16] 在相应参数条件下得到 $\beta_1,\beta_2\leq11/12$,或在另一参数范围得到 $\beta_1,\beta_2\leq8/9$。本文研究的是常温背景、有限通道和无滑移边界,稳定机制与假设均不同,因而不宜将阈值指数直接视作同一条件下的优劣排序。本文的重要技术代价正是缺少分层带来的色散抑制,必须显式控制温度-速度耦合造成的时间增长。

适用范围方面,定理依赖周期方向 $x,z\in\mathbb{T}$、有限宽度通道 $y\in[-1,1]$、小 $H^2$ 扰动及文中主要采用的 $\nu=\mu$ 设定。作者备注称主要结论对 $\nu\neq\mu$ 仍成立,但提供的摘录没有给出该情形的完整参数条件。作者还明确指出,区域 $\mathbb{R}\times[-1,1]\times\mathbb{T}$ 中的对应问题尚待研究,因为长波效应可能起关键作用。因此,本文结果不能直接用于无界流向的低频问题,也没有覆盖任意大扰动、非周期水平几何或不同温度边界条件。

关于最优性,应区分证明与启发式分析。作者通过零模态线性公式中的 $t e^{\nu t\Delta}$ 和 $t^2e^{\nu t\Delta}$ 增长,解释为什么预期 $\|u_{in}\|_{H^2}\sim\nu$、$\|\theta_{in}\|_{H^2}\sim\nu^2$,并称阈值看起来可能最优。但定理只证明这两个尺度足以保证稳定;从提供内容中无法确认作者证明了超过该尺度会转捩,也无法确认存在与之匹配的非线性不稳定下界。整体而言,本文相较先前工作的推进在于边界条件与温度耦合的同时处理,而非改善无边界阈值指数;其代价是维持较强的初值小性、采用周期有限通道设定,并依赖精细的边界层变量分解和准线性温度估计。


了解领域论文(摘要翻译)

1. 玻尔兹曼方程分子约化的克鲁斯卡尔型算法

Kruskal-style algorithm for Boltzmann equation molecule reduction

作者: Yvain Bruned, Valentin Clarisse

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

发布日期: 2026-09-29

arXiv ID: 2609.38061v1

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

摘要翻译

中文标题: 玻尔兹曼方程分子约化的克鲁斯卡尔型算法

摘要翻译: 我们关注 Deng、Hani 和 Ma 使用的分子约化算法。该算法使他们能够建立一个刚性定理;该定理在利用硬球动力学长时间推导玻尔兹曼方程的过程中发挥着核心作用。本文中,我们证明该算法是一种克鲁斯卡尔型图遍历算法,并证明它构造了输入分子的克鲁斯卡尔生成树。


2. 混合边界条件下非线性 Boussinesq 地下水流模型的弱可解性:Moche CHAVIMOCHIC 含水层

Weak solvability of a nonlinear Boussinesq groundwater flow model with mixed boundary conditions: the Moche CHAVIMOCHIC aquifer

作者: Alexis Rodriguez Carranza, Víctor Arturo Martínez León, Alan Chávez Obregón

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.38031v1

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

摘要翻译

中文标题: 混合边界条件下非线性 Boussinesq 地下水流模型的弱可解性:Moche CHAVIMOCHIC 含水层

摘要翻译: 我们证明了一个二维非线性 Boussinesq 型地下水流问题的弱可解性。该问题源于秘鲁北部的 Moche CHAVIMOCHIC 含水层。模型将依赖于状态的储水率和导水率,与由水文地质几何结构决定的边界分解相耦合;边界包括 Dirichlet、Neumann 和非线性 Robin 部分。与地下水 Boussinesq 文献中的许多研究不同,那些研究主要针对特殊几何结构和边界数据,求取精确解、相似解、摄动解、半解析解或线性化解;我们的目标是为一个真正的二维混合边界问题建立变分存在性结果。由于物理导水率与饱和厚度成正比,方程在局部耗竭处发生退化。因此,我们限定一个物理上可容许的饱和范围,并构造本构定律的一致正延拓。对于所得的一致抛物型问题,我们通过隐式 Euler-Rothe 格式、适配储水定律的非线性能量、对储水势离散导数的一致估计、离散紧性以及边界迹的强收敛,得到弱解的存在性。随后,我们给出精确的一致性陈述,说明在何种条件下抽象解也是原始 Moche 模型的解,并将完全耗竭情形识别为一个不同的多孔介质型问题。


3. 减速膨胀时空中平面对称流体的锐利寿命结果

Sharp lifespan results for plane-symmetric fluids on decelerated spacetimes

作者: Maximilian Ofner, Todd Oliynyk

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.38118v1

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

摘要翻译

中文标题: 减速膨胀时空中平面对称流体的锐利寿命结果

摘要翻译: 本文分析了具有减速膨胀的空间平坦时空上的相对论 Euler 方程的平面对称解。我们考虑线性状态方程 $p(ρ)=Kρ$ 和幂律膨胀 $a(t)=t^α$,其中 $0<K<\frac{1}{3}$ 且 $0\leqα<1$。已有结果表明,当膨胀率高于阈值 $α_\text{crit}=\frac{2}{3(1-K)}$ 时,齐次各向同性解具有非线性稳定性。我们证明,在这一临界膨胀率处及其以下,存在任意小的初始数据会导致有限时间内形成激波型奇异性,即解保持有界而其梯度发生爆破。对于这类初始数据,我们建立了寿命估计:在临界阈值以下为多项式型,在临界阈值处为指数型。此外,我们证明了一个基于能量估计的定理,该定理给出了由小初始数据产生的平面对称解的寿命下界,并可推广至 $3+1$ 维无对称性解。


4. 加权空间中 NLS 的全局理论 II:终端数据问题

Global theory for NLS in the weighted spaces II: final data problem

作者: Yujin Guo, Jia Shen, Yifei Wu, Changping Yang

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37785v1

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

摘要翻译

中文标题: 加权空间中 NLS 的全局理论 II:终端数据问题

摘要翻译: 本文研究散焦非线性薛定谔方程(NLS)

$$ i\partial_t u + \frac12Δu = |u|^p u $$

在加权空间 $\dotΣ^s(\mathbb R^d):=L_x^2(\mathbb R^d;|x|^{2s}\mathrm{d} x)$中的终端数据问题。令 $s_c=\frac d2-\frac2p$。在 NLS 的缩放下,$\dotΣ^{-s_c}(\mathbb R^d)$是缩放临界加权空间。在三维情形下,对于本文所考虑的指数范围,我们证明当 $s\geq -s_c$ 时终端数据问题局部适定,而当 $s<-s_c$ 时不适定。这与相应的初始数据问题恰好相反:当 $s\leq -s_c$ 时该问题局部适定,而当 $s>-s_c$ 时不适定。 对于三维二次方程,我们进一步证明,对临界空间 $\dotΣ^{\frac12}(\mathbb R^3)$中的每个径向终端数据,都存在唯一的整体解。


5. 用于裂隙多孔介质的改进型混合维 Stokes-Darcy 模型

An advanced hybrid-dimensional Stokes-Darcy model for fractured porous media

作者: Paula Strohbeck, Linheng Ruan, Iryna Rybak

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37833v1

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

摘要翻译

中文标题: 用于裂隙多孔介质的改进型混合维 Stokes-Darcy 模型

摘要翻译: 多孔介质中的薄流体充填通道广泛存在于各种环境中,包括地质构造中的裂隙。此类多域系统中的流体输运通常由 Darcy 定律描述,并采用全维框架或混合维方法建模;在混合维方法中,裂隙被表示为嵌置于多孔基质中的余维一夹杂体。这些混合维模型能够准确表征相应的全维系统,同时显著降低计算复杂度。现有文献中的模型通常未能在裂隙—基质界面施加耦合条件时恰当考虑通道壁面的粗糙度,而且通常针对平行于裂隙的流动方向建立。本文旨在推进并研究作者此前工作中提出的混合维 Stokes-Darcy 模型。我们考虑嵌置于多孔基质中的薄开放通道,其中通道壁面与渗透率不同的多孔区域相接触。我们将通道壁面粗糙度效应纳入模型,并对模型进行改进,使其能够适用于任意流动方向。我们证明了新模型弱解的存在性与唯一性,并通过孔隙尺度分辨模拟展示了该模型相较于现有混合维 Stokes-Darcy 模型的优势。


6. 加权空间中的 NLS 全局理论 I:有限伪共形能量

Global theory for NLS in the weighted spaces I: finite pseudo conformal energy

作者: Yujin Guo, Jia Shen, Changping Yang

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37714v1

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

摘要翻译

中文标题: 加权空间中的 NLS 全局理论 I:有限伪共形能量

摘要翻译: 我们旨在证明,对于散焦非线性薛定谔方程,具有有限伪共形能量的解必定是全局的并且散射。 当 $0<s_c<1$ 时,这一事实最早由 Bourgain 证明:该方程在 $H_x^{s_c}$ 中局部适定;若进一步假设初始数据满足 $xu_0\in L_x^2$,则解是全局的并且散射。$s_c<0$ 的情形尚未得到研究,目前最好的结果由 Beceanu、Deng、Soffer 和 Wu 给出:若初始数据属于 $H_x^{s_c}$、具有径向对称性且紧支撑,则解全局适定。 在本文中,我们将 Bourgain 的结果推广到 $s_c<0$ 的情形。我们证明,若初始数据满足 $|x|^{-s_c}u_0\in L_x^2$ 和 $xu_0\in L_x^2$,或者若径向初始数据满足 $u_0\in \dot{H}_x^{s_c}$ 和 $xu_0\in L_x^2$,则解是全局的并且散射。Bourgain 的结果基于 $L_x^{p+2}$ 上的次临界先验控制,而我们的论证依赖于 $\mathcal{F}\dot H_x^1$ 上的超临界界。


7. 准线性 NLS 的长时间强 Sobolev 不稳定性

Long time strong Sobolev instability for quasilinear NLS

作者: Yuri Cacchiò, Filippo Giuliani, Felice Iandoli, Raffaele Scandone

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37593v1

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

摘要翻译

中文标题: 准线性 NLS 的长时间强 Sobolev 不稳定性

摘要翻译: 我们证明了一类定义在 $mathbb T^2$ 上的准线性薛定谔方程具有长时间强 Sobolev 不稳定性。这类方程通过 Madelung 变换出现在 Euler-Korteweg 毛细流体的描述中。更确切地说,对每个 $s\ge 7$,任意小的 $μ>0$ 以及任意大的 $\mathcal K>0$,我们构造出一个解,使得

$$ \|u(0)\|_{H^s}<μ, \qquad \|u(T)\|_{H^s}>\mathcal K $$

在某个有限时刻 $T$ 成立,并且我们给出 $T$ 的显式指数上界。不稳定机制由一个有限维共振玩具模型产生,该模型与方程的三次半线性部分相关,其思路承袭 Colliander-Keel-Staffilani-Takaoka-Tao。主要技术难点在于存在准线性导数损失时,如何在能量转移的长时间尺度上论证这一动力学。我们结合弱 Birkhoff 正规形、拟微分演算、微局部对称化以及修正能量估计,克服了这一困难。我们的结果为共振能量转移机制提供了严格的准线性实现,并表明这一机制可能与毛细流体中的弱湍流动力学存在联系。


8. 施瓦茨初值下海森堡铁磁方程解的渐近行为分析

Asymptotic behavior analysis of solutions to the Heisenberg ferromagnet equation with the Schwartz initial data

作者: Xumeng Zhou, Xianguo Geng, Bo Xue

类别: nlin.SI, math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37573v1

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

摘要翻译

中文标题: 施瓦茨初值下海森堡铁磁方程解的渐近行为分析

摘要翻译: 本文旨在研究施瓦茨初值下海森堡铁磁方程柯西问题解的长时间渐近行为。利用规范变换、谱分析和逆散射方法,我们证明海森堡铁磁方程的解可以表示为复 $k$ 平面上一个矩阵黎曼–希尔伯特问题的解。文中给出了各种 Deift-Zhou 轮廓变形及其背后的动机。通过对相应的矩阵值黎曼–希尔伯特问题应用非线性陡降法,我们得到了海森堡铁磁方程柯西问题解的精确首阶渐近公式和一致误差估计。


9. 具有守恒型 Marcus 噪声的能量临界薛定谔方程的整体适定性与散射

Global well-posedness and scattering for energy-critical Schrodinger equations with conservative Marcus noise

作者: Bin Liu, Fan Xu, Bo Yang, Lei Zhang

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37534v1

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

摘要翻译

中文标题: 具有守恒型 Marcus 噪声的能量临界薛定谔方程的整体适定性与散射

摘要翻译: 本文建立了具有守恒型线性 Marcus 噪声的三维散焦能量临界非线性薛定谔方程的整体适定性。对于任意确定性的能量空间初值,我们构造了一个概率强解,该解在临界时空类中唯一,并证明了有限活动近似的收敛性。空间剖面只需有界且满足 Lipschitz 条件,而中心化纯跳 Lévy 噪声假设具有有限二阶矩。若时间噪声系数在半轴上平方可积,则解几乎必然散射,并具有一致的均方尾部收敛,且无需小性限制。解守恒质量并满足精确的能量平衡。证明结合了确定性能量临界稳定性与 Poisson Strichartz 估计;相互作用表象中鞅的收敛给出了延拓与散射所需的临界时空控制。


10. 不可压缩多孔介质方程分层稳态的锐稳定性与不稳定性

Sharp stability and instability of stratified steady states for the incompressible porous media equation

作者: Seyed Abdolhamid Banihashemi, Sepehr Mohammadkhani, Huy Q. Nguyen

类别: math.AP, math-ph

发布日期: 2026-09-29

arXiv ID: 2609.37397v1

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

摘要翻译

中文标题: 不可压缩多孔介质方程分层稳态的锐稳定性与不稳定性

摘要翻译: 我们研究二维不可压缩多孔介质方程在 $\mathbb{T}\times(-1,1)$ 和 $\mathbb{T}\times\mathbb{R}$ 上分层稳态 $ρ_s=ρ_s(y)$ 的稳定性与不稳定性。在周期通道上,对于每个整数 $m>2$,满足自然边界相容条件的一致递减稳态在小 $H^m$ 扰动下非线性稳定。解以 $t^{-m/2}$ 的速率在 $L^2$ 中收敛到初始密度的保测度分层。反之,每个满足 $\supρ_s'>0$ 的稳态在 $H^m$ 中非线性不稳定。在无穷圆柱上,我们证明,在附加间隙条件

$$ \sup_{\mathbb{R}}ρ_s' >\limsup_{|y|\to\infty}ρ_s'(y). $$

下存在非线性不稳定性。在这两种情形中,不稳定性均由线性化算子的正特征值所引发,这些特征值收敛到 $\supρ_s'$;该值同时等于其谱界和半群增长界。


11. 离散四阶薛定谔方程的尖锐衰减估计

Sharp Decay estimates for the discrete Fourth-Order Schrödinger Equation

作者: Jiawei Cheng

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37300v1

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

摘要翻译

中文标题: 离散四阶薛定谔方程的尖锐衰减估计

摘要翻译: 我们建立了任意维格点上离散四阶薛定谔方程的尖锐时间衰减估计,推广了作者此前的工作 \cite{C24}。在高维情形下,标量傅里叶因子分解将分析归结为一维振荡积分的乘积估计。由于该方法无法给出低维情形下的尖锐衰减指数,我们还利用牛顿多面体获得所需的一致估计。特别地,双调和薛定谔传播子的尖锐衰减率为 $|t|^{-d/4}$。


12. 整数格上分数阶 $p$-Laplacian 的最优 Hardy 不等式

Optimal Hardy Inequalities for Fractional $p$-Laplacians on the Integers

作者: Florian Fischer, Marius Nietschmann

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

发布日期: 2026-09-29

arXiv ID: 2609.37336v1

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

摘要翻译

中文标题: 整数格上分数阶 $p$-Laplacian 的最优 Hardy 不等式

摘要翻译: 我们为 $$ 上 $p$-Laplacian 的分数次幂 $Δ_p^σ$,其中 $p (1,)$、$σ (0, 1/p)$,得到了最优 Hardy 不等式。渐近地,最优权重在 $|x| $ 时表现为 $|x|^{-pσ}$。我们还证明了 Riesz 分数阶 $p$-Laplacian 的类似结果。 在附录中,我们证明,对于局部可求和图上的一般 $p$-Laplace 算子,$p$-零临界性蕴含无穷远处的 $p$-最优性。


13. 二维向列电解质模型弱解的整体存在性

Global existence of weak solutions to a nematic electrolyte model in 2D

作者: Hengrong Du, Fizay-Noah Lee, Gieri Simonett

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.36483v1

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

摘要翻译

中文标题: 二维向列电解质模型弱解的整体存在性

摘要翻译: 本文研究一个描述二维环面 $mathbb{T}^2$ 上向列电解质动力学的偏微分方程组。该模型将描述离子浓度和静电势演化的泊松–能斯特–普朗克方程,与描述向列液晶流动和取向的 Ericksen–Leslie 方程耦合起来。我们证明了该系统弱解的整体存在性。证明依赖于 Ginzburg–Landau 逼近格式。关键步骤包括导出一致能量估计,并利用 Pohozaev 型恒等式处理 Ericksen 应力张量中的紧性缺失,从而建立指向矢场的强收敛性。


14. Benjamin-Bona-Mahony 方程的几乎必然整体适定性

Almost sure global well-posedness for the Benjamin-Bona-Mahony equation

作者: Justin Forlano

类别: math.AP, math.PR

发布日期: 2026-09-28

arXiv ID: 2609.36403v1

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

摘要翻译

中文标题: Benjamin-Bona-Mahony 方程的几乎必然整体适定性

摘要翻译: 我们证明,对于任意 $s>-\frac 14$,Benjamin-Bona-Mahony 方程相对于 $H^{s}(\mathbb{T})$ 中具有负 Sobolev 正则性的随机高斯初值几乎必然整体适定。鉴于 Oh-Tzvetkov (2026) 所揭示的轻微概率性不适定性,这一结果是尖锐的。此外,该结果改进了作者先前的一项工作;此前仅在对数负正则性下建立了这一结论。为突破这一对数正则性障碍,我们将 $I$-method 与 Bona-Tzvetkov (2007) 中的低频-高频论证相结合,由此引出对解的一种精细的一阶展开。


15. 非线性无序哈密顿系统中的相干能量级联

Coherent energy cascades in nonlinear disordered Hamiltonians

作者: Anxo Biasi, Brad Cownden, Oleg Evnin, Alvaro Iturbe Jabaloyes

类别: math-ph, math.AP, nlin.PS

发布日期: 2026-09-28

arXiv ID: 2609.36009v1

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

摘要翻译

中文标题: 非线性无序哈密顿系统中的相干能量级联

摘要翻译: 熟知的波动动力学理论围绕湍流能量级联展开,其特征是各个正规模具有随机相位。与此相反,近年来人们发现,湍流级联也可以由相位相干动力学介导。此前,已在模间相互作用具有严格受控代数结构的确定性系统中建立了此类相干级联,例如非线性薛定谔方程。本文表明,相位相干级联的存在对于模耦合的大幅改变具有稳健性。我们证明,在具有完全共振正规模谱和随机非线性耦合的无限维共振哈密顿系统中,只需一组具有结构的耦合——其占全部耦合的比例为无穷小——便足以支持相干级联;这类级联以相位对齐、幂律谱的形成,以及 Sobolev 范数无界增长或有限时间爆破为特征。数值模拟进一步表明,相干级联可通过相位锁定过程从随机初值中涌现,这提示了它们在更广泛的初值和系统类别中涌现的一种机制。因此,我们表明,无序的模间相互作用能够维持而非阻碍跨越任意遥远尺度的相干能量输运。


16. 周期 Benjamin-Bona-Mahony 方程的唯一延拓

Unique continuation for the periodic Benjamin-Bona-Mahony equation

作者: Roberto de A. Capistrano Filho, Victor Hugo Gonzalez Martinez, Ailton Campos do Nascimento

类别: math.AP, math.OC

发布日期: 2026-09-28

arXiv ID: 2609.36204v1

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

摘要翻译

中文标题: 周期 Benjamin-Bona-Mahony 方程的唯一延拓

摘要翻译: 我们证明了实值周期 Benjamin–Bona–Mahony 方程在能量空间中的唯一延拓:若一个解在某个非空时空条带上等于一个常数,则它处处等于该常数。特别地,Rosier 的唯一延拓猜想 [23] 无需任何小量条件或均值条件即成立。事实上,只需在一点 $x_0$ 处、对某个时间区间内的解及其通量的势函数 ψ=(1-\partial_x^2)^{-1}(u+u^2/2) 进行观测:u(x_0,t)=C 和 ψ(x_0,t)=C+C^2/2 即可推出 u≡C;当 C=-1 时,第二个条件不能省略。证明使用了一个符号不定的指数加权 Hamiltonian,并建立了一个具有强制性的耗散恒等式;该证明适用于每一个非常值实多项式通量。因此,Rosier 关于两种局部化反馈律及一种边界反馈的稳定化结果,对任意初始数据均无条件成立。平稳阶跃剖面表明,该定理在 0≤s<1/2 时不适用于 H^s。我们还给出了线性化方程单点唯一延拓的生成级数证明,并讨论了相关的控制结果。


17. 用于采样局部自由能极小点的双尺度方法

A two-scale approach for sampling local free energy minimisers

作者: Antoine Leclerc, Pierre Monmarché

类别: math.PR, math.AP, math.OC

发布日期: 2026-09-28

arXiv ID: 2609.36195v1

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

摘要翻译

中文标题: 用于采样局部自由能极小点的双尺度方法

摘要翻译: 当自由能存在多个局部极小点时,相应的平均场粒子系统会表现出亚稳态行为,在这些极小点之间发生随机转变。然而,当粒子数较大时,这些转变属于稀有事件,通常发生在模拟难以企及的时间尺度上。在本文中,我们引入一个粒子系统,并使其与一个缓慢变化的宏观外部变量耦合;该变量近似遵循与粗粒化自由能相关的朗之万动力学。因此,粒子系统的经验分布能够采样初始自由能的所有局部极小点,而转变时间不再依赖于粒子数。该构造受到一种理论工具的启发:用于证明 Gibbs 测度对数 Sobolev 不等式的双尺度方法。


不相关论文(基本信息)

1. 多边形函数的 GKZ 系统的图解构造

Diagrammatic construction of GKZ systems for polygonal functions

作者: K. B. Alkalaev, Semyon Mandrygin, Y. M. Zalishchansky

类别: hep-th, math-ph, math.AG, math.AP, nlin.SI

发布日期: 2026-09-29

arXiv ID: 2609.38030v1

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

摘要: We investigate the recently introduced polygonal hypergeometric functions [arXiv:2502.12127, arXiv:2507.01904], which are conjectured to evaluate multipoint parametric one-loop conformal integrals in arbitrary dimensions. These functions can be systematically constructed using a diagrammatic algorithm that operates in terms of simple planar shapes. Given an $n$-point polygonal power series, we formulate the corresponding GKZ hypergeometric system, which admits an explicit diagrammatic interpretation. In particular, the transianic matrix, which encodes all the relevant diagrammatic data, determines the corresponding toric matrix along with a basis of the lattice of relations, thereby singling out a finite subsystem of $n(n-3)/2$ toric equations. This finite subsystem consists of second- and third-order equations, whereas the full toric family also includes higher-order ones. We illustrate the general procedure with several prominent examples of polygonal functions, including the fourth Appell and the Srivastava–Daoust functions.


2. 有限时域五专家预测问题

The finite-horizon five-expert prediction problem

作者: Jeff Calder, Nadejda Drenska

类别: math.AP, cs.GT, cs.LG, math.OC

发布日期: 2026-09-29

arXiv ID: 2609.38035v1

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

摘要: We give an explicit solution to the five expert prediction with expert advice partial differential equation (PDE) in the finite-time horizon setting. The solution formula establishes that the adversary’s rank strategy $(1,0,1,0,0)$ is globally optimal, and the COMB strategy $(1,0,1,0,1)$ is optimal exactly on the set where $x_1=x_2$ and $x_3=x_4$. The formula is derived from the solution of the geometric-stopping problem given in our companion paper through the transform principle of Bayraktar, Ekren and Zhang, which links the two problems by a Laplace transform. Inverting the transform term by term expresses the solution through a series of Gaussian and complementary error function kernels. The optimality of $(1,0,1,0,0)$ is reduced to the signs of $41$ one-variable Gaussian series, which are certified with computer assistance by Poisson summation, first-mode domination and interval arithmetic on $1616$ rational cells. The proofs of our main theorems, certificates included, are also formalized in the Lean proof assistant.


3. 最优传输的最优正则性与凸锥的退化

Optimal regularity of optimal transport and degenerations of convex cones

作者: Tristan C. Collins, Benjy Firester, Freid Tong

类别: math.AP, math.DG

发布日期: 2026-09-29

arXiv ID: 2609.37847v1

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

摘要: If $T$ is an optimal transport map between bounded convex domains $Ω$ and $Ω'$, we characterize the regularity/singularity dichotomy for $DT$ at $(x,T(x)) \in \partial Ω\times \partial Ω'$. This is obtained through a new approach to the regularity theory based on affine degenerations of the tangent cones to $(Ω, Ω')$ at $(x,T(x))$. We formulate a general principle relating the optimal boundary regularity to a stability criterion and an $\mathrm{SL}(n)$ moduli space of pairs of convex cones. Among other results, we establish geometric criteria for existence and non-existence of homogeneous optimal transport maps between convex cones.


4. 关于极小极大理论中的滤过公式与节点集

On filtration formula and nodal sets in min-max theory

作者: Talant Talipov

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

发布日期: 2026-09-29

arXiv ID: 2609.37769v1

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

摘要: Let $(M^{n+1},g)$ be a closed smooth Riemannian manifold, and let

$$ 0=λ_0\leqλ_1\leq\ldots $$

be the spectrum of the Laplace-Beltrami operator, with corresponding real eigenfunctions $\{φ_j\}_{j\geq0}$. Let $\{ω_p(M,g)\}_{p\geq1}$ denote Gromov’s volume spectrum. In 2014, Marques-Neves conjectured that the sweepout generated by the nodal sets of $φ_0,\ldots,φ_p$ is asymptotically optimal for $ω_p(M,g)$ as $p\to\infty$. We show that this conjecture is false in every dimension, even for positively curved real-analytic metrics. Nevertheless, we show that a less rigid notion of nodal sweepouts recovers the volume spectrum. Let

$$ E_N(M,g):=\operatorname{span}\{φ_0,\ldots,φ_N\}, \qquad a_N\in H^1\bigl(\mathbb P(E_N(g));\mathbb Z_2\bigr) $$

be the generator, and for $p\geq1$ define

$$ \mathcal N_p^N(g) := \left\{ Ψ\mid X\text{ is a finite complex},\ Ψ\in C\bigl(X,\mathbb P(E_N(g))\bigr),\ Ψ^*(a_N^p)\neq0 \right\}. $$

We define the nodal $(p,N)$-width by

$$ ν_p^N(M,g) := \inf_{Ψ\in\mathcal N_p^N(g)} \sup_{x\in\operatorname{dmn}(Ψ)} \mathcal H_g^{n}\bigl(\{Ψ_x=0\}\bigr). $$

We prove the following filtration formula

$$ ω_p(M,g) = \lim_{N\to\infty}ν_p^N(M,g) $$

for every $p\geq1$. We state several questions on nodal geometry and min-max theory.


5. 显式罗宾格林函数及各维数球域上亥姆霍兹方程的共振谱

Explicit Robin Green’s Functions and Resonance Spectra for the Helmholtz Equation on Balls in All Dimensions

作者: Ming Yang

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37701v1

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

摘要: This work constructs explicit closed-form Green’s functions for the Helmholtz equation with Robin boundary conditions on balls in all dimensions $d\ge 2$. Despite the canonical geometry, such kernels have remained unavailable because the Robin condition couples the field and its normal derivative, preventing the method of images and obstructing standard eigenfunction expansions. By a decomposition–expansion method, the free-space fundamental solution is expanded via Graf’s addition theorem in two dimensions and the hyperspherical addition theorem in higher dimensions; the regular correction is then determined algebraically by matching Robin boundary data mode by mode. The resulting series converge absolutely on compact interior subsets and are computable to machine precision. These explicit kernels yield a complete characterisation of the resonance spectra: each spectral branch increases strictly with the impedance parameter, interpolating between Neumann and Dirichlet eigenvalues. We establish a low-frequency spectral gap with an explicit cutoff estimate, and a universal high-frequency mode spacing with a second-order correction that distinguishes the Robin condition from the Dirichlet and Neumann extremes. The closed-form expressions furnish exact benchmark solutions for wave simulations in impedance-matched cavities, eliminating geometric discretisation error and providing reference data for the validation of finite-element and boundary-element algorithms in acoustics, electromagnetism and quantum mechanics.


6. 球面中余维一浸入的几何刚性估计

A geometric rigidity estimate for codimension-1 immersions into spheres

作者: Siran Li, Isaac Newell

类别: math.DG, math.AP, math.CA, physics.class-ph

发布日期: 2026-09-29

arXiv ID: 2609.37665v1

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

摘要: We establish a quantitative stability estimate for codimension-one immersions into a round sphere. Let $(M,g)$ be an oriented Riemannian manifold and suppose that a prescribed shape operator is realised by a smooth isometric immersion $θ:(M,g)\to\mathbb S^{n+1}$. We prove that, on every relatively compact strongly Lipschitz domain and for every $1<p<\infty$, any Sobolev immersion $φ$ is close to $θ$ modulo an ambient rotation, with the $W^{1,p}$-distances between both the immersions and their Gauss maps controlled by the $L^p$ stretching-plus-bending energies of $φ$. No {\it a priori} bounds on the fundamental forms of $φ$ are required. The proof proceeds by extending the immersions along normal geodesics and reducing the problem to an equidimensional geometric rigidity estimate on the sphere. A finite localisation and patching argument handles the possible non-injectivity of the normal extension of the reference immersion.


7. 拟线性热方程的最优衰减率与渐近简化

Sharp decay rate and asymptotic simplification for a quasilinear heat equation

作者: Maryam Al Hajjar, Ioana Ciotir, Matthias Täufer

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37662v1

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

摘要: We study the decay rate for a quasilinear heat equation of the form $ \dot u-Δu = \operatorname{div B}(\nabla u)$. The term on the right-hand-side is interpreted as a nonlinear perturbation of the ordinary heat equation and we will prove an optimal decay rate for the solution. More precisely, under natural conditions on the operator $B \colon \R^d \to \R^d$, we show that for sufficiently regular initial data the solution decays as $t^{-d/4}$ and its gradient as $t^{-d/4 - 1/2}$ for large times, that is at the same rates as for the free heat equation. Furthermore, we prove that the difference between the quasilinear and the linear solution decays strictly faster than the solution of either equation generically does, that is that there is asymptotic simplification. All estimates are completely explicit and rely on variations of Fourier splitting techniques, originally introduced by Schonbek.


8. 道路-场反应扩散捕食者-被捕食者模型的渐近传播速度

Asymptotic spreading speeds of a road-field reaction-diffusion predator-prey model

作者: Yaqian Xu, Shigui Ruan, Zhi-Cheng Wang

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37652v1

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

摘要: This paper is devoted to studying asymptotic spreading speeds of a road-field reaction-diffusion predator-prey system, in which predators diffuse faster on the straight line $\R\times \{0\}$ than in the half plane $\R\times (0,+\infty)$. We give a sharp characterization of the spreading properties of solutions of the system with compactly supported initial values by appealing to the invasion speed of the prey when predators are absent, and the invasion speed of predators when the prey is saturated. Notably, since the line may accelerate the expansion of predators in a cone of directions, the invasion speed of predators varies with the direction. To overcome the difficulty arising from the coupling between the predator-prey interaction and the road-field interaction, we first derive pointwise comparisons between predators and the prey and then reduce the components of predators in the system to a truncated field-road system depending on the invasion speed of the prey. By using known results for the single-species field-road model, we further show the propagation properties of the truncated system. This step is very crucial. Once the propagation properties of the truncated system are established, we can obtain the expected spreading properties of solutions to the original system by applying the comparison principle and contradiction arguments, and constructing appropriate Lyapunov functionals.


9. 关于四维中 theta 函数与 Epstein zeta 函数的极小值

On minima of theta and Epstein zeta functions in dimension four

作者: Senping Luo, Juncheng Wei

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

发布日期: 2026-09-29

arXiv ID: 2609.37615v1

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

摘要: Let the theta and Epstein zeta functions be $Θ(α,L)=\sum_{v\in L}e^{-πα|v|^2}$ for $α>0$ and $E(L,s)=\sum_{v\in L\setminus\{0\}}{|v|^{-2s}}$ for $s>2$, respectively. We consider full-rank lattices $L\subset\mathbb R^4$. Let the covolume of $L$ be one, and let $\mathcal D_4=2^{-1/4}D_4$ be the root lattice $D_4$ rescaled to covolume one. We prove that, up to orthogonal transformations, \begin{equation}\nonumber arg,min_{covol(L)=1}Θ(α,L)=\mathcal D_4 \qquad\text{if}\quad α>0, \end{equation} and this implies that \begin{equation}\nonumber arg,min_{covol(L)=1}E(L,s)=\mathcal D_4 \qquad\text{if}\quad s>2. \end{equation} This proves that the root lattice minimizes the theta and Epstein zeta functions among all lattices in dimension four, as conjectured by Sarnak-Strömbergsson (\cite{SS}, 2006), who established the local minimality of $\mathcal D_4$. Thereby, this resolves the Rankin-Sobolev problem in dimension four dating back to Éndibaev (\cite{End1978}, 1978) and Shushbaev (\cite{Shu1978}, 1978).


10. 通过离散的局部塑性增量形成剪切带

Formation of shear bands through discrete localized plastic increments

作者: Heiner Olbermann, Hidde Schönberger

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37584v1

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

摘要: We study rate-independent systems in which the evolution is obtained by incremental minimization of elastic energy and one-homogeneous dissipation under constraints on the admissible inelastic increments. Such constraints arise naturally in several models of inelastic materials, including shear-transformation-zone models, intermittent plasticity, and quantized plasticity, where evolution proceeds through prescribed elementary activation events rather than arbitrary plastic increments. We establish the existence of a continuous-time limit for the corresponding constrained incremental scheme under suitable assumptions. As an application, we formulate a simplified shear-transformation-zone model consisting of localized activation events on a lattice embedded in a two-dimensional elastic medium. We prove that this model generates shear-band formation through the successive activation of neighboring transformation zones. More precisely, we show that every admissible evolution remains localized on a growing line segment in the infinite-domain setting and that the same mechanism persists on sufficiently large bounded domains. These results provide a rigorous mathematical framework for constrained activation models and show that restrictions on admissible elementary events alone constitute a mechanism for localization in rate-independent systems.


11. 利用 Ricci 流平滑多面体空间

Smoothing polyhedral spaces via Ricci flow

作者: Richard H. Bamler, Esther Cabezas-Rivas

类别: math.DG, math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37549v1

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

摘要: We prove Petrunin’s smoothing conjecture in all dimensions: every compact Euclidean polyhedral space without boundary and with nonnegative Alexandrov curvature is a Gromov-Hausdorff limit of smooth Riemannian orbifolds with geometrically nonnegative curvature. More strongly, the approximating metrics are positive-time slices of a single orbifold Ricci flow whose metric initial condition is the given polyhedral space. The proof rests on a new short-time existence and regularization theory for Ricci flow that, under two-sided volume bounds and a generalized segment inequality, replaces pointwise lower curvature control by small scale-invariant integral control of the defect from a preserved curvature cone. Although it allows arbitrarily large pointwise violations, this theory yields an existence time and positive-time curvature estimates independent of the initial upper curvature bound. As a further application, it gives rigidity consequences for manifolds with small integral curvature defect.


12. 单位球内 Moser-Trudinger 型不等式的紧性

The compactness of Moser-Trudinger type inequalities in the unit ball

作者: Qi Xia, Yufeng Lu

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37363v1

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

摘要: In this paper, we employ the concentration-compactness principle to show that if the Dirichlet norm is replaced by the standard Sobolev norm, then the supremum of

$$ \int_{\mathbb{B}} |x|^{N ε} Φ\left( α_N \left( 1+ ε\right) |u|^{ \frac{N}{N-1} } \right) dx $$

over all such functions is uniformly bounded. Furthermore, we also prove the existence of extremals. Finally, we consider the compactness of the sequence of extremals of the inequalities and the limit of this sequence is the extremal of

$$ \int_{\mathbb{B}} Φ\left( α_N |u|^{ \frac{N}{N-1} } \right) dx $$

in $C^1 \left( \mathbb{B} \right)$, where $α_N = N ω_{N-1}^{ \frac{1}{N-1} } $, $Φ\left( t \right) := e^t - \sum_{j=0}^{N-2} \frac{t^j}{j!} $ and $ω_{N-1}$ is the surface of the unit ball in $\mathbb{R}^N$.


13. 界面移位的 Minnaert 共振

Interface-Shifted Minnaert Resonances

作者: Huaian Diao, Long Li, Mourad Sini

类别: math.AP, math.SP

发布日期: 2026-09-29

arXiv ID: 2609.37423v1

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

摘要: We develop a unified asymptotic theory for Minnaert resonances generated by a small bubble $D_\varepsilon$ placed near an interface $Γ$ of material discontinuity in an acoustic background. The bubble has characteristic size $\varepsilon>0$, with its density and bulk modulus depending on the same small parameter through the Minnaert high-contrast scaling. The analysis is organized by the scaled separation

$$ Θ_\varepsilon := \frac{\operatorname{dist}(D_\varepsilon,Γ)}{\varepsilon}, $$

and covers the three natural regimes

$$ Θ_\varepsilon\to+\infty, \qquad Θ_\varepsilon\toΘ_*\in(0,\infty), \qquad Θ_\varepsilon\to0: $$
  1. In the far-separation regime, the interface is invisible at leading order and the classical full-space Minnaert law is recovered.
  2. In the critical regime, the rescaled geometry retains both the bubble and the interface at finite separation, and the Newtonian capacitance is replaced by a flat-interface capacitance determined by the limiting tangent transmission problem.
  3. In the near-contact regime, this family converges to a contact-limiting capacitance, yielding the same leading-order Minnaert resonance for all gap scalings satisfying $\operatorname{dist}(D_\varepsilon,Γ) = o(\varepsilon)$. These three regimes provide a unified description of how the resonance frequency changes as the bubble approaches the interface, from the classical isolated-bubble limit to the contact limit. The analysis relies on a uniform reduction of the resonance problem to a scalar equation and on a variational characterization of the interface-dependent capacitances; in particular, Mosco convergence of the associated transmission energies yields convergence of the capacitary potentials and minimum energies up to the singular contact configuration.

14. 磁性 $p$-拉普拉斯算子的谱几何

Spectral geometry of the magnetic $p$-Laplacian

作者: David Krejčiřík, Rossano Sannipoli

类别: math.AP, math.SP

发布日期: 2026-09-29

arXiv ID: 2609.37313v1

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

摘要: We investigate the interplay between the geometry of a planar domain and the spectrum of the nonlinear $p$-Laplacian, subject to a homogeneous magnetic field and Dirichlet boundary conditions. First, we establish a lower bound for the bottom of the spectrum on the whole plane, extending the classical Landau-level estimate to the nonlinear regime. Second, we prove Pólya-type bounds for the first eigenvalue on bounded convex planar domains in terms of the area, perimeter, minimal width and magnetic field strength, and show that they are asymptotically sharp along sequences of suitable thinning domains. Finally, we post some remarks with open problems.


15. 利用 Onofri 不等式研究 $SU(\infty)$-Toda 方程的边值问题

Boundary Value Problems for the $SU(\infty)$-Toda Equation via the Onofri Inequality

作者: Sun-Yung Alice Chang, Hongyi Liu

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

发布日期: 2026-09-29

arXiv ID: 2609.37282v1

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

摘要: We formulate and solve a degenerate elliptic boundary value problem for the $SU(\infty)$-Toda equation on $[0,\frac12)\times\mathbb{S}^2$. This constructs anti-self-dual Poincaré–Einstein metrics with circle symmetry on the $4$-ball and on complex line bundles over $\mathbb{S}^2$.


16. 参数 $p$-Laplacian 方程在 $\mathbb{R}^N$ 中三个解的存在性

Existence of three solutions for parametric $p$-Laplacian equations in $\mathbb{R}^N$

作者: E. Amoroso, G. D’Aguì

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37274v1

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

摘要: In this paper we deal with a nonlinear elliptic problem in the whole space $\RN$ involving the $p$-Laplacian operator with $p>N$. Under suitable assumptions on the potential term and on the nonlinearity, we establish the existence of at least three distinct weak solutions. Our approach is variational and relies on two different three critical points theorems. The results extend to the whole space some recent multiplicity theorems for $p$-Laplacian equations, and provide explicit ranges for the parameter $λ> 0$ ensuring the existence of multiple solutions, which are nonnegative under additional sign conditions. The nontriviality of the solutions is also discussed. Applications to problems with nonlinearities with separated variables are finally presented.


17. 当 $1<p<q\leq k+1$ 且 $1\leq k\leq n$ 时的毛细 $L_{p}$ 对偶 Christoffel-Minkowski 问题

The capillary $L_{p}$ dual Christoffel-Minkowski problem for $1<p<q\leq k+1$ with $1\leq k\leq n$

作者: Guanghan Li, Mengliang Liu

类别: math.DG, math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37258v1

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

摘要: This paper is concerned with a capillary $L_p$ Christoffel–Minkowski-type problem involving the prescription of a class of $L_p$ geometric measures formed by the $k$-th capillary area measure and the $q$-th dual curvature measure. By establishing a gradient estimate, we prove the existence of an even, smooth, strictly convex solution in the parameter range $1<p<q\leq k+1$, where $1\leq k\leq n$.


18. 几乎等距映射的一致 $W^{2,m}$ 逼近

Uniform $W^{2,m}$ approximation of almost isometric maps

作者: Sergio Conti, Georg Dolzmann, Stefan Müller

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37249v1

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

摘要: This paper shows that an almost-isometric Sobolev map from a Lipschitz subset of an oriented manifold $M$ into another oriented manifold $N$ can be approximated by a map of class $C^{1,α}$, with a universal bound on the $W^{2,m}$ norm, for any $m\in(1,\infty)$. This, in turn, implies a universal bound on the $C^{1,α}$ seminorm. The $W^{1,p}$ distance of the approximation from the original map is controlled in terms of the $L^p$-deviation from being an isometry, with the optimal scaling. The manifolds $M$ and $N$ are assumed to be compact, oriented and have equal dimension; $M$ may have a boundary.


19. 周期修正穆林斯-塞克卡流的动力学稳定性

Dynamical stability for the periodic modified Mullins-Sekerka flow

作者: Daniele De Gennaro, Anna Kubin

类别: math.AP, math.DG

发布日期: 2026-09-29

arXiv ID: 2609.37201v1

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

摘要: We prove dynamical stability in arbitrary dimension for the modified Mullins–Sekerka flow, the gradient flow of the sharp-interface Ohta–Kawasaki energy on the flat torus. Specifically, we show that if an initial set has the same volume as a strictly stable critical set for the energy and is sufficiently close to it in $C^{3,α}$, then the flow exists for all times and converges exponentially fast, in every $C^k$ norm, to a translate of that critical set. The proof relies on a quantitative Alexandrov-type estimate for strictly stable critical sets of the energy.


20. 广义矩序列及其在若干矩偏微分方程中的应用

Sequences of generalized moments and their applications to some moment partial differential equations

作者: Sławomir Michalik, Hiroshi Yamazawa

类别: math.AP, math.CV

发布日期: 2026-09-29

arXiv ID: 2609.37138v1

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

摘要: We introduce sequences of generalized moments that are a generalization of sequences preserving summability and sequences of moments from Balser’s theory of moment summability. We construct extensions of Laplace and Borel integral operators for these new sequences. We find integral representations of moment derivatives for generalized moments. We show the characterization of summable solutions of moment-PDEs with generalized moments. We describe singular directions for summable solutions of moment-PDEs with generalized moments and we express jumps across these singular directions in terms of hyperfunctions and in terms of kernel functions associated with sequences preserving summability, which are connected with given sequences of generalized moments.


21. 平面区域上 Choquard 方程最小能量解的莫尔斯指数与谱渐近

Morse index and spectral asymptotics of least-energy solutions to the Choquard equation in planar domains

作者: Jiaoping Chen, Wenjing Chen, Shengbing Deng

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37026v1

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

摘要: We investigate the Morse index and spectral asymptotics of least-energy solutions to the planar Choquard equation \begin{equation*} \begin{cases} -Δu = \displaystyle\left(\int_Ω \frac{u^{p+1}(y)}{|x - y|^α}dy\right) u^p & \text{in } Ω, \ u > 0 & \text{in } Ω, \ u = 0 & \text{on } \partial Ω, \end{cases} \end{equation*} where $Ω\subset\mathbb R^2$ is a smooth bounded domain and $0<α<1$. Under some geometric assumptions, we obtain sharp asymptotics for the first four eigenpairs of the linearized problem as $p\to+\infty$. The first eigenvalue is exactly $(2p+1)^{-1}$. The second and third eigenfunctions give the translation modes of the limiting bubble, and their eigenvalue expansions are determined by the Hessian of the Robin function at the concentration point. The fourth eigenfunction gives the dilation mode with eigenvalue $1+3(4-α)/(2p)+o(p^{-1})$. As a consequence, we derive a comparison between the spectral indices of the solution and the critical-point indices of the Robin function.The proofs combine variational estimates, blow-up analysis and nonlocal Pohožaev identities.


22. 重整化不变流形

Renormalized Invariant Manifolds

作者: Christian Kuehn, Jan-Eric Sulzbach

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.37005v1

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

摘要: Invariant manifold theory for partial differential equations (PDEs) is technically challenging as we often lack spectral gaps. Motivated by recent progress using renormalization in various areas of mathematics, we introduce a spectral renormalization method for semilinear parabolic equations that creates an artificial spectral gap at high frequencies while leaving the low modes unchanged. For the resulting family of renormalized equations, classical inertial-manifold theory yields finite-dimensional invariant manifolds whose dimension diverges as the renormalization parameter tends to zero. We show that the reduced dynamics on these manifolds approximate the original semiflow through an approximate semi-conjugacy, with an $O(ε^2)$ error on bounded finite-time intervals. Under global incremental dissipativity, the semi-conjugacy is uniform in time and yields an $O(ε^2)$ Hausdorff estimate for the global attractors, if they exist. We also establish further dynamical properties of the spectral renormalization such as persistence of hyperbolic equilibria and their Morse indices. We illustrate the construction in settings with and without a natural spectral gap and embed it into a two-parameter fast-slow PDE framework, where the artificial gap enables us to construct slow manifolds for systems on bounded domains with arbitrary dimension. Thus our new approach provides a finite-dimensional dynamical approximation even in regimes where an exact inertial manifold for the original equation is not available. In particular, this provides a practical balance between fully invariant manifolds and direct estimates.


23. 关于向列液晶中径向奇异性的极小性

On the minimality of the radial singularity in nematic liquid crystals

作者: Pierre Bousquet, Xavier Lamy

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.36972v1

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

摘要: We show that the map $u_*\colon B_1\subset\mathbb R^3\to\mathbb S^2$, $x\mapsto x/|x|$, minimizes the anisotropic energy \begin{align*} \int_{B_1} \Big( k_1(\mathrm{div}, u)^2+k_2 (u\cdot \mathrm{curl}, u)^2 +k_3 |u\times\mathrm{curl}, u|^2 \Big) , dx, \end{align*} among $\mathbb S^2$-valued maps agreeing with it on the boundary, for values of $k_1,k_2,k_3>0$ beyond the known regime $k_1\leq k_2$. Our main tool is a new stability estimate for $u_*$ as a minimizing sphere-valued harmonic map.


24. 半线性热方程的无穷多个奇异自相似解的存在性

Existence of infinitely many singular self-similar solutions for the semilinear heat equation

作者: Yūki Naito

类别: math.AP

发布日期: 2026-09-29

arXiv ID: 2609.36821v1

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

摘要: We show the existence of infinitely many singular positive forward self-similar solutions for the semilinear heat equation $\partial_t u = Δu + u^p$ for $x \in \R^N$, $t > 0$, where $N \geq 3$ and $N/(N-2) \leq p \leq (N+2)/(N-2)$. We also investigate the asymptotic behavior and the bound of the profiles of the solutions as $|x| \to 0$ and $|x| \to \infty$, respectively. Furthermore, we show nonuniqueness of positive soutions of the Cauchy problem for the equation with $p = N/(N-2)$ by using singular self-similar solutions.


25. 遍历台球中的弹跳球模态

Bouncing-ball modes in ergodic billiards

作者: Zhenhao Li, Maciej Zworski

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

发布日期: 2026-09-29

arXiv ID: 2609.36501v1

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

摘要: We show that for a horizontally stretched Bunimovich billiard, for almost every stretching parameter, there exists a sequence of eigenfunctions concentrating in the rectangular part. Thanks to the work of Markarian–Oliffson Kamphorst–Pinto de Carvalho, we know that for an open set of parameters such billiards are ergodic. The proof is a result of interaction with ChatGPT 6: we were curious if it could establish the existence of bouncing ball modes for Bunimovich or Sinai billiards. That was not successful until we suggested varying the wings. That produced an essentially complete argument for the existence of quasimodes. We then suggested using Hassell’s parameter-variation argument which led to the result about eigenfunctions. The argument was then significantly simplified and clarified by the authors.


26. 具有常标量曲率的凯勒–里奇收缩孤立子是刚性的

Kähler–Ricci Shrinkers with Constant Scalar Curvature Are Rigid

作者: Wenqi Li, Jianyu Ou, Guoqiang Wu, Detang Zhou

类别: math.DG, math.AP

发布日期: 2026-09-29

arXiv ID: 2609.36418v1

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

摘要: Let $(M^{2m},g,f,J)$ be a complete gradient Kähler–Ricci shrinker satisfying

$$ \operatorname{Ric}+\nabla^2 f=\frac12 g. $$

We prove that if the scalar curvature is constant, then the soliton is rigid. More precisely, there exists an integer $k\in\{0,\ldots,m\}$ such that

$$ R\equiv k $$

and

$$ (M^{2m},g,J)\cong \bigl(N^{2k}\times\mathbb C^{m-k}, g_N+g_{\mathrm{Euc}},J_N\oplus J_0\bigr), $$

where $(N^{2k},g_N,J_N)$ is Kähler–Einstein and

$$ \operatorname{Ric}_{g_N}=\frac12 g_N. $$

As part of the proof, we establish a Riemannian rigidity criterion: for a complete nonsteady gradient Ricci soliton with constant scalar curvature, the condition $\mathcal{L}_{\nabla f}\operatorname{Ric}=0$ implies radial flatness and hence rigidity.


27. 具有全局相互作用的分数阶 Logistic 型椭圆问题:存在性、局部唯一性与分数阶到局部的极限

A Fractional Logistic-Type Elliptic Problem with Global Interactions: Existence, Local Uniqueness, and the Fractional-to-Local Limit

作者: Alireza Khatib, Somayeh Mousavinasr, Bashir Zeimarani

类别: math.AP

发布日期: 2026-09-28

arXiv ID: 2609.36360v1

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

摘要: We study a fractional logistic-type elliptic problem on a bounded domain with homogeneous exterior conditions and linear and nonlinear integral interactions. The interaction kernels may be nonsymmetric and sign-changing, so the problem need not admit a variational formulation. In the symmetric competitive regime, coercivity yields a weak solution by global minimization. For arbitrary fixed values of the interaction parameter, explicit smallness conditions allow us to apply Schauder’s fixed-point theorem without symmetry or sign restrictions on the kernels. Additional sign assumptions give nonnegative solutions. When the nonlinear exponent satisfies $q\geq2$, a contraction condition yields uniqueness in an invariant ball and convergence of the Picard iteration. Finally, as the fractional order approaches one, we prove subsequential convergence to a solution of the local Dirichlet problem, together with convergence of the fractional energies to the Dirichlet energy. Uniqueness of the local solution in the limiting ball gives convergence of the entire family.