生成时间: 2026年10月15日 08:02:02

运行状态: 完成

计划处理论文数量: 44

已完成论文数量: 44

未完成论文数量: 0

重点关注论文数量: 3

了解领域论文数量: 18

不相关论文数量: 23

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

1. 二维 Euler 流与 Navier–Stokes 流的快速分离

Fast separation of Euler and Navier–Stokes flows in two dimensions

作者: Siming He, Yupei Huang, Jincheng Yang

类别: math.AP

发布日期: 2026-10-14

arXiv ID: 2610.20540v1

摘要翻译: 我们通过考察二维理想流体何时不再能够准确近似具有相同初始数据的微黏性流体，研究无黏极限问题在长时间内的有效性。我们构造了 Euler 方程的一个平稳解，Navier–Stokes 解在与黏度倒数的对数成正比的时间尺度上与该解分离，从而实现了相对于 Euler 平稳态的最快分离。

Comment: 无

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

1. 研究对象和背景

论文研究二维周期区域上的无黏极限及其长时间有效性. 对同一光滑初始速度场 $$f$$ ，令 $u^\nu$ 为黏性系数 $\nu>0$ 的不可压缩纳维-斯托克斯解，令 $$u^E$$ 为无黏欧拉解. 在二维环面 $\mathbb T^2$ 上，两者满足

\begin{aligned} &\partial_t u^\nu+u^\nu\cdot\nabla u^\nu+\nabla p^\nu=\nu\Delta u^\nu,\qquad \nabla\cdot u^\nu=0,\qquad u^\nu(0)=f,\\ &\partial_t u^E+u^E\cdot\nabla u^E+\nabla p^E=0,\qquad \nabla\cdot u^E=0,\qquad u^E(0)=f. \end{aligned}

当 $\nu\to0$ 时，在与 $\nu$ 无关的有限时间区间内，充分光滑初值下的无黏极限已有理论；较低正则性下也有相应收敛结果. 本文关注的是另一个问题：初始场若取为欧拉方程的一个固定光滑稳态，纳维-斯托克斯流何时会在速度的 $$L^2$$ 范数意义下与该稳态产生固定量级差异？作者采用分离时间

T_\nu^\delta(f):=\inf\left\{t\geq0:\|u^\nu(t)-u^E(t)\|_{L^2(\mathbb T^2)}\geq\delta\|f\|_{L^2(\mathbb T^2)}\right\}

量化这一问题. 对剪切流或流函数为拉普拉斯算子特征函数的初值，黏性演化可退化为热方程型衰减，分离时间处于扩散尺度 $\nu^{-1}$ . 因而关键问题不是证明最终会有耗散，而是能否通过非线性流动的不稳定机制，将显著分离提前到远短于 $\nu^{-1}$ 的时间.

以涡量 $\omega=\nabla^\perp\cdot u$ 表示，纳维-斯托克斯与欧拉方程分别为

\partial_t\omega^\nu+u^\nu\cdot\nabla\omega^\nu=\nu\Delta\omega^\nu, \qquad \partial_t\omega^E+u^E\cdot\nabla\omega^E=0.

取一个欧拉稳态 $$u^E$$ ，即 $u^E\cdot\nabla\omega^E=0$ ，并令 $w=\omega^\nu-\omega^E$ . 由于初值相同， $$w(0)=0$$ ；其演化可写成

\partial_t w-Lw=\nu\Delta w+\nu\Delta\omega^E-\operatorname{curl}^{-1}w\cdot\nabla w, \qquad Lw=-u^E\cdot\nabla w-\nabla\omega^E\cdot\operatorname{curl}^{-1}w.

这里 $$L$$ 是欧拉方程在稳态附近的线性化算子. 关键机制是稳态涡量产生的时间独立黏性强迫 $\nu\Delta\omega^E$ ：若它在 $$L$$ 的不稳定特征空间上有非零投影，该投影便能被线性不稳定模态按指数速率放大. 但这与通常的欧拉非线性不稳定问题不同，后者可以人为选择初始扰动；此处扰动并非自由指定，而是由稳态本身决定的 $\nu\Delta\omega^E$ . 因而仅有不稳定特征值不足以推出快速分离，还必须让强迫真正耦合到不稳定模态.

为此，论文在二维环面上构造一个非剪切欧拉稳态，接近正弦剪切流 $(5\sin 5y,0)^\top$ . 作者限制涡量处于由中心对称和水平平移对称共同定义的子空间 $$X$$ ，使得线性化谱结构和强迫的谱投影均适合分析. 稳态通过半线性椭圆关系构造：若流函数 $\psi^E$ 满足 $\Delta\psi^E=\omega^E=F(\psi^E)$ ，则 $u^E=\nabla^\perp\psi^E$ 自动满足稳态欧拉方程. 本文试图填补的空白，是在严格保持两种流具有相同初值的前提下，给出一个明确的光滑二维稳态例子，使固定正量级的欧拉-纳维-斯托克斯速度差异在对数黏度时间内形成，并证明这一时间尺度与一般光滑稳态所满足的下界相匹配.

2. 主要定理或主要结果

主要结论是定理 1.1. 存在一个非剪切、光滑的二维欧拉稳态 $$u^E$$ ，其速度在光滑意义下接近 $(5\sin 5y,0)^\top$ ，且其涡量属于文中定义的对称子空间

X=\left\{f\in L^2_0(\mathbb T^2): f(x,y)=f(-x,-y)=f\left(x+\frac{2\pi}{3},y\right)=f\left(\frac{2\pi}{15}-x,\frac{2\pi}{5}-y\right)\right\}.

存在依赖于该稳态的常数 $C_E\geq1$ 及 $\delta_E,c_E\in(0,e^{-1})$ ，使得对所有 $0<\delta\leq\delta_E$ 和 $0<\nu\leq c_E\delta$ ，以 $$u^E$$ 作为欧拉与纳维-斯托克斯方程共同初值时，分离时间满足

T_\nu^\delta(u^E)\leq C_E\log\frac{\delta}{\nu}.

因此，对固定足够小的 $\delta$ ，上界的量级为 $\log(1/\nu)$ ，远小于扩散时间 $\nu^{-1}$ . 这是速度 $$L^2$$ 分离的结论，而非仅仅涡量差异的结论.

稳态构造和线性谱分析的关键定量结论如下. 存在 $\varepsilon_*>0$ ，对 $0\leq\varepsilon\leq\varepsilon_*$ 可构造 $\omega_\varepsilon\in X$ ，使对应流函数满足 $\Delta\psi_\varepsilon=F_\varepsilon(\psi_\varepsilon)$ ，且

F_\varepsilon(s)=-25s+\varepsilon(2s^2-1)+O(\varepsilon^2),\qquad \psi_\varepsilon(x,y)=\cos 5y+\varepsilon\left(\cos(3x+4y)-\frac{1}{75}\cos 10y\right)+O(\varepsilon^2).

其中 $F_\varepsilon$ 是三次多项式，余项系数为 $O(\varepsilon^2)$ ； $\psi_\varepsilon$ 关于 $$x,y$$ 解析，并且对每个固定 $k\in\mathbb N$ ，有 $\|\psi_\varepsilon-\cos 5y\|_{H^k}\leq B_k\varepsilon$ . 对充分小的正 $\varepsilon$ ，线性化算子 $L_\varepsilon$ 有正的简单不稳定特征值 $\lambda_\varepsilon$ ，且 $\lambda_\varepsilon\to\lambda_0>0$ . 更重要的是，其 Riesz 投影 $P_{\lambda_\varepsilon}$ 满足

\|P_{\lambda_\varepsilon}\Delta\omega_\varepsilon\|_{L^2}\geq\kappa\varepsilon^2>0.

这一非零投影保证黏性强迫可以激发不稳定模态. 对互补投影 $Q_{\lambda_\varepsilon}=I-P_{\lambda_\varepsilon}$ ，论文还证明在所用的 Sobolev 空间 $X^k=X\cap H^k$ 中存在常数 $$M$$ 使

\|e^{tL_\varepsilon}Q_{\lambda_\varepsilon}\|_{X^k\to X^k}\leq M e^{\lambda_\varepsilon t/2},\qquad t\geq0,

而不稳定投影上的半群恰为 $e^{tL_\varepsilon}P_{\lambda_\varepsilon}=e^{\lambda_\varepsilon t}P_{\lambda_\varepsilon}$ .

论文还给出与上界相配的普适下界（附录 A）：对每个光滑欧拉稳态 $$u^E$$ ，存在依赖于该稳态的常数 $$c_E,C_E>0$$ ，使

T_\nu^\delta(u^E)\geq c_E\log\left(\frac{\delta^2}{\nu}\right)-C_E.

因此，对本文构造的稳态及固定的小分离水平 $\delta$ ，分离时间的渐近阶确为 $\log(1/\nu)$ . 这里上下界中的常数并不相同，定理并未声称得到精确的渐近系数.

非线性估计通过有限阶 Grenier 展开完成. 取满足文中条件 $m\geq2+1000/\lambda_0$ 的固定正则度，令 $\omega_0=\omega_E$ ，并写

\omega^\nu=\sum_{k=0}^{m-1}\nu^k\omega_k+\widetilde\omega.

对 $1\leq k\leq m-1$ ，系数满足递推方程

\partial_t\omega_k+\sum_{i+j=k}u_i\cdot\nabla\omega_j=\Delta\omega_{k-1},\qquad \omega_k(0)=0,

其中 $u_k=\operatorname{curl}^{-1}\omega_k$ . 文中证明 $\|\omega_k(t)\|_{H^{2(m+1-k)}}\leq C_k e^{k\lambda t}$ ，并控制余项 $\widetilde\omega$ ；当 $t\leq\lambda^{-1}\log(\delta/\nu)$ 时，余项界为 $\|\widetilde\omega(t)\|_{L^2}\leq\widetilde C\sum_{j=m-1}^{2m}\nu^j e^{j\lambda t}$ . 结合一阶项的指数增长，可在 $t_\nu^\delta=\lambda^{-1}\log(\delta/\nu)$ 处得到固定量级的涡量差异，再利用 Biot-Savart 算子推出速度 $$L^2$$ 差异. 具体常数经选取后保证该差异达到定义中的分离阈值.

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

证明的核心困难在于强迫与不稳定模态的耦合，而不是单独找到一个不稳定欧拉稳态. 涡量差方程中的外力是 $\nu\Delta\omega^E$ ，由稳态唯一确定. 对一些已有的稳态构造，即使线性化算子有不稳定特征值，该外力对不稳定特征空间的投影仍可能为零；此时不能从线性方程获得预期的指数增长. 论文的关键构造选择是将问题限制在特定对称类 $$X$$ 中，再在其中同时完成稳态扰动、谱分析和投影非退化性证明.

第一步是研究基准正弦剪切流 $u_0=(5\sin 5y,0)^\top$ 在 $$X$$ 上的线性化算子. 作者证明该算子有实的、代数简单且孤立的特征值 $\lambda_0>0$ 与 $-\lambda_0$ ，并且除这两个特征值外，其谱包含于虚轴. 这一结论不仅给出指数增长率，也为后续扰动理论提供可隔离的谱点. 文中采用 Fourier 展开和连续分数技术分析该剪切流的特征模态；对称条件改变允许的 Fourier 模态及其耦合结构，是所需谱性质成立的重要部分. 单纯对原空间中的剪切流做相同分析，并不能解决强迫投影退化的问题.

第二步是构造非剪切稳态，并证明强迫在不稳定方向上的投影非零. 作者令流函数满足半线性椭圆方程 $\Delta\psi_\varepsilon=F_\varepsilon(\psi_\varepsilon)$ . 该形式使涡量成为流函数的函数，从而

u^E=F_\varepsilon(\psi_\varepsilon),\qquad u^E\cdot\nabla\omega^E=F_\varepsilon'(\psi_\varepsilon)\nabla^\perp\psi_\varepsilon\cdot\nabla\psi_\varepsilon=0,

其中第一式中的涡量记号按定义应为 $\omega^E=F_\varepsilon(\psi_\varepsilon)$ . 由此稳态条件自动成立. 在正弦剪切流附近构造满足对称约束的椭圆解，得到流函数的一阶扰动含有 $\cos(3x+4y)$ 和 $\cos 10y$ 模态. 这一步把谱分析所需的对称结构嵌入真实的非剪切稳态，而非仅对一个形式上的算子进行计算.

线性算子的结构由因子分解加强. 对上述半线性椭圆型稳态，文中将 $$L$$ 写成 $$L=JH_X$$ ，其中 $$J$$ 为斜自伴算子， $$H_X$$ 为对称空间上的有界自伴算子. 这一 Hamilton 型结构用于刻画伴随算子的特征向量，并将 Riesz 投影写成特征函数与伴随特征函数的配对：若 $\lambda$ 为代数简单孤立特征值，则

P_\lambda f=\frac{(f,\phi^*)}{(\phi,\phi^*)}\phi.

进一步利用对应于 $-\overline\lambda$ 的稳定特征函数 $\phi_-$ ，可取 $\phi^*=H_X\phi_-$ . 因而验证 $P_\lambda\Delta\omega^E\neq0$ 被转化为检查一个具体内积是否非零. 对扰动态展开后，作者得到投影范数至少为 $\kappa\varepsilon^2$ ，这给出强迫对不稳定方向的定量耦合，而不只是形式上的非零性.

第三步是将线性增长转化为原非线性方程的分离. 线性化方程的一阶响应满足 $\partial_t\omega_1=L\omega_1+\Delta\omega_E$ ，故

\omega_1(t)=\frac{e^{\lambda t}-1}{\lambda}P_\lambda\Delta\omega_E+\int_0^t e^{(t-s)L}Q_\lambda\Delta\omega_E\,ds.

不稳定投影项按 $e^{\lambda t}$ 增长；互补谱部分的半群至多按 $e^{\lambda t/2}$ 增长，因此在足够长时间后，前者主导并给出一阶近似的下界. 这一步实质上利用了不稳定特征值与其余谱增长率之间的间隙，而不是仅凭一般能量估计推断增长.

最后采用 Grenier 型有限阶展开，但与经典不稳定性论证的设置不同，这里没有加入精心选择的初始扰动. 所有系数从共同初值为零的涡量差出发，依次由低阶系数和黏性项驱动. 通过逐阶 Duhamel 公式估计 $\omega_k$ ，并在足够高阶截断后控制 $\widetilde\omega$ ，作者证明在 $\nu e^{\lambda t}\lesssim\delta$ 的目标时间窗口内，高阶项相对于一阶不稳定响应较小. 其中黏性余项 $\nu\Delta\widetilde\omega$ 被纳入余项方程处理；论文指出可将黏性误差分解为结构化分量和可控余项. 正则度 $$m$$ 取足够大，使非线性估计中由 $\|\nabla\omega_E\|_{L^\infty}$ 等产生的增长可以被高阶指数因子压制. 最终再通过 Biot-Savart 算子从涡量分离得到速度分离. 上述具体估计的适用正则度、常数依赖和时间范围均按文中命题陈述，不能理解为对任意粗糙数据都成立.

4. 与之前工作的比较

既有无黏极限结果首先提供有限时间背景. 文中提及 [12,43]：在光滑初值下，纳维-斯托克斯解在任意与 $\nu$ 无关的有限时间区间内收敛到欧拉解. 对 Yudovich 类涡量，Constantin、Drivas 与 Elgindi [11] 在二维环面上证明固定有限时间内速度在每个有限 $$L^p$$ 空间中的强收敛. 这些结论回答小黏度下的有限时间逼近问题，并不构造某个初值使误差在一个随 $\nu$ 变化的短时间尺度达到固定阈值.

关于较长时间的定量逼近，文中引用 Chemin [10] 在全空间的 Yudovich 框架下建立的速度 $$L^2$$ 差估计及 Seis [47] 的改进，并提到 [11] 中平坦环面的相关估计. 作者据此指出，这类结果蕴含在 $o(\log\log\nu^{-1})$ 时间尺度上解仍一致接近. 这种估计给出解保持接近的充分时间范围，但没有识别固定正误差首次出现的时间，也没有给出在该尺度上确实发生分离的例子. 本文的贡献是转向构造性上界：通过稳态的不稳定模态，把实际分离时间推进到 $O(\log\nu^{-1})$ . 需要注意， $\log(1/\nu)$ 比扩散尺度 $\nu^{-1}$ 小得多，但它并不等于或优于文中所述 $o(\log\log\nu^{-1})$ 的保持接近下界；两者分别是特定初值的分离上界与一般逼近理论的保持接近范围，不能混为同一种估计.

相较于剪切流或流函数为拉普拉斯特征函数的情形，本文的机制有实质差异. 对那些例子，纳维-斯托克斯演化表现为热方程型衰减，分离发生在 $\nu^{-1}$ 扩散尺度. 本文构造非剪切稳态，并利用欧拉线性不稳定性使黏性效应在对数时间尺度内被放大. 因此它不是单纯加快热耗散，而是利用无黏动力学的不稳定性将弱的 $O(\nu)$ 强迫放大. 附录 A 对任意光滑稳态给出 $T_\nu^\delta\gtrsim\log(\delta^2/\nu)$ 型下界，因而本文稳态在 $\nu\to0$ 、固定小 $\delta$ 时达到普遍下界所允许的对数阶. “最快”应据此理解为在文中讨论的光滑欧拉稳态类别及该下界意义下的时间阶匹配，不是对所有可能初值、所有函数空间或所有分离指标的全局最优性断言.

与通常的二维欧拉线性或非线性不稳定性研究相比，本文的关键额外约束是初值不能人为偏离稳态：欧拉解和纳维-斯托克斯解从同一个稳态出发，增长只能由黏性强迫 $\nu\Delta\omega^E$ 启动. 论文指出，已有文献中常用的稳态，即使具有不稳定模态，其对应黏性强迫对该模态也可能投影为零；例如作者在文中说明直接采用已有的 Kolmogorov 流附近稳态构造会遇到这一退化（见 Remark 4.8）. 相关稳态扰动思路参照 [14,15,36]，正弦剪切流的谱分析参照 [7,45]；本文通过缩小到对称类 $$X$$ 改变可见的谱结构，进而构造非退化投影. 因而推进不只是“找到不稳定流”，而是解决稳态、强迫和不稳定方向必须相容这一额外设计问题.

结论也有明确范围和代价. 结果针对二维周期环面上的特定光滑非剪切稳态，要求 $\delta$ 足够小且 $\nu\leq c_E\delta$ ；常数依赖所构造的稳态，线性谱与非线性迭代还使用高 Sobolev 正则度. 论文没有据此证明一般初值都在对数时间内分离，也没有将定理直接推广到有界区域或边界条件问题. 对有界区域，文中仅作背景说明：Navier 边界条件下已有无条件无黏极限结果，而无滑移边界条件的一般情形仍有困难，某些结论需附加耗散、解析性或对称性假设；作者指出可借助 [50,51] 的分离估计建立相应下界，但本文主定理并非有界区域定理. 此外，摘要和所提供的正文摘录没有给出各引文的完整题名及全部假设细节，因此对这些工作的更精细定量比较，从提供内容中无法确认.

2. 敏感性介于线性与二次增长的趋化-流体模型在任意质量下的全局可解性

Global solvability with arbitrary mass for a chemotaxis–fluid model with sensitivity growth between linear and quadratic

作者: Lili Wang

类别: math.AP

发布日期: 2026-10-14

arXiv ID: 2610.19453v1

摘要翻译: 我们研究定义在 $\mathbb T\times\mathbb R$ 上的 Patlak–Keller–Segel–Navier–Stokes 系统，该系统具有依赖于密度的扩散，且趋化敏感性按 $n^{1+α}$ 增长，其中 $$0<α<1$$ 。系数满足 Painter 和 Hillen 的本构关系（Can. Appl. Math. Q. 2002; 10(4): 501–543）。在充分强的 Couette 流附近，我们证明，对于具有任意有限细胞质量的光滑初值，系统存在全局经典解，且密度具有一致有界性。一个关键要素是对完整密度和非零模态涡量建立联合能量估计；该估计保留正的非线性扩散，并避免了分别估计密度各模态时产生的混合扩散项。有界的傅里叶修正项在这一能量估计中产生增强耗散，从而能够控制非零模态的密度-流体相互作用。对于不受 Couette 输运混合的密度零模态，我们注意到 $$α<1$$ 使得一维插值能够对任意有限质量将趋化产生项吸收到扩散项中。综合这些估计，无需对初始细胞质量施加小量条件，即可控制非线性扩散和流体耦合。

Comment: 无

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

1. 研究对象和背景

本文研究二维抛物-椭圆 Patlak-Keller-Segel-Navier-Stokes 系统在强 Couette 剪切流附近的全局可解性与密度有界性。空间区域为 $\mathbb T\times\mathbb R$ , 未知量为细胞密度 $n(t,x,y)\geq0$ , 化学信号浓度 $$c$$ , 流体速度 $$u$$ 及压力 $$p$$ . 系统为

\begin{cases} \partial_t n+u\cdot\nabla n=\nabla\cdot(\phi(n)\nabla n)-\nabla\cdot(\psi(n)\nabla c),\\ \Delta c+n-c=0,\\ \partial_tu+u\cdot\nabla u+\nabla p=\Delta u+ne_2,\\ \nabla\cdot u=0, \end{cases} \qquad e_2=(0,1).

椭圆方程使化学浓度由当前密度瞬时确定, 不另给初值; 浮力项 $$ne_2$$ 则体现细胞对流体的反馈。趋化吸引能够促使细胞聚集, 非线性扩散与流体输运可能对抗这种聚集, 但流体速度本身也是耦合系统的未知量。因此, 仅对给定外部速度场建立混合效应估计, 并不能直接解决速度由 Navier-Stokes 方程演化时的闭合问题。

扩散系数和敏感性取自 Painter-Hillen 构成关系

\phi(n)=Q(n)-nQ'(n),\qquad \psi(n)=nQ(n),\qquad Q(n)=(1+n)^\alpha,

其中 $0<\alpha<1$ . 具体地,

\phi(n)=(1+n)^{\alpha-1}\bigl[1+(1-\alpha)n\bigr], \qquad \psi(n)=n(1+n)^\alpha.

于是高密度时 $\phi(n)\sim(1-\alpha)n^\alpha$ , $\psi(n)\sim n^{1+\alpha}$ , 敏感性增长指数落在 $$1$$ 与 $$2$$ 之间。本文的对象并非任意独立指定的扩散与趋化系数, 而是由上述关系同时确定的一对系数。密度扩散始终为正且随密度增长, 但趋化敏感性也超线性增长, 两者的竞争必须结合系数结构分析。

作者将速度写成背景 Couette 流与扰动之和 $$u=(Ay,0)+v$$ , $A\geq1$ , 并以涡量 $\omega=\partial_yv_1-\partial_xv_2$ 表示扰动。时间缩放后研究的系统为

\begin{cases} \partial_t n+y\partial_xn=\dfrac1A\nabla\cdot\bigl(\phi(n)\nabla n\bigr)-\dfrac1A\nabla\cdot\bigl(\psi(n)\nabla c+vn\bigr),\\ \Delta c+n-c=0,\\ \partial_t\omega+y\partial_x\omega-\dfrac1A\Delta\omega=-\dfrac1A\partial_xn-\dfrac1A\nabla\cdot(v\omega),\\ (n,\omega)|_{t=0}=(n_{\rm in},\omega_{\rm in}). \end{cases}

$$A$$ 大表示剪切强。对 $$x$$ 作零模与非零模分解, Couette 输运能够增强非零模的耗散, 却不作用于零模。因而证明必须同时处理两类不同机制: 非零模依靠混合与增强耗散控制, 密度零模则要仅靠一维扩散、质量守恒与插值吸收趋化生产项。初始细胞质量 $M=\|n_{\rm in}\|_{L^1(\mathbb T\times\mathbb R)}$ 可以是任意有限值, 但强剪切阈值允许依赖 $$M$$ 和给定初值范数。

已有研究显示, 无流体的趋化系统在某些系数与质量条件下会出现聚集或爆破; 对指定混合速度场, 强混合可抑制爆破。耦合趋化-流体模型则还要控制密度对速度的作用及速度对密度的反馈。本文试图补足的具体空白是: 在 $\mathbb T\times\mathbb R$ 上, 对 Painter-Hillen 系数中敏感性严格介于线性和二次的情形, 能否在充分强的 Couette 流附近证明任意有限初始质量下的全局经典解, 而不要求初始质量小。论文给出的结论是肯定的, 其关键不仅是非零模增强耗散, 还包括保持完整密度非线性扩散的联合能量估计, 以及利用 $\alpha<1$ 的零模一维插值吸收。

2. 主要定理或主要结果

局部理论方面, 命题 1.1 表明: 对任意 $0<\alpha<1$ 、 $A\geq1$ , 若 $0\leq n_{\rm in}\in L^1\cap H^3(\mathbb T\times\mathbb R)$ , $v_{\rm in}\in H^3$ 且 $\nabla\cdot v_{\rm in}=0$ , 则系统存在唯一局部解, 满足 $n,v\in C([0,T_*];H^3)\cap L^2(0,T_*;H^4)$ , 并对正时间为经典解。若最大存在时间 $T_{\max}<\infty$ 且 $\sup_{t<T_{\max}}(\|n(t)\|_{L^\infty}+\|n(t)\|_{L^2})<\infty$ , 则解可延拓越过 $T_{\max}$ 。

主要结论为定理 1.1. 对上述初值假设及任意 $0<\alpha<1$ , 令 $M=\|n_{\rm in}\|_{L^1}$ . 存在 $A_0\geq1$ , 其依赖于 $\alpha,M,\|n_{\rm in}\|_{H^3},\|v_{\rm in}\|_{H^3}$ , 使得对 $A\geq A_0$ , 以 $u_{\rm in}=(Ay,0)+v_{\rm in}$ 为初值的原系统存在唯一全局经典解。对每个有限 $$T$$ , 有

n,v\in C([0,T];H^3(\mathbb T\times\mathbb R))\cap L^2(0,T;H^4(\mathbb T\times\mathbb R)).

此外, 密度保持非负并守恒总质量, 且一致估计为

\sup_{t\geq0}\left(\|n(t)\|_{L^2}+\|n(t)\|_{L^\infty}+\|\omega_{\ne}(t)\|_{L^2}+\|\omega_0(t)\|_{L^\infty(\mathbb R)}\right) \leq C\bigl(\alpha,M,\|n_{\rm in}\|_{H^3},\|v_{\rm in}\|_{H^3}\bigr).

这里结论不要求 $$M$$ 小, 但不是对任意剪切强度都成立: $$A$$ 必须足够大, 且所需阈值依赖质量和初始扰动。论文未在定理中给出 $$A_0$$ 的显式定量公式或增强耗散的最优常数。

零模吸收的核心尺度如下。由质量守恒, $\int_{\mathbb R}n_0\,dy=M/(2\pi)$ . 在密度有界的 bootstrap 区间内, 趋化对密度能量的生产项可约化为零模项与非零模余项; 零模中最高相关幂为 $n_0^{3+\alpha}$ . 一维插值给出

\int_{\mathbb R}n_0^{3+\alpha}\,dy\leq C(\alpha,M)\left(\|\partial_y n_0\|_{L^2(\mathbb R)}^2\right)^{(2+\alpha)/3},

且 $(2+\alpha)/3<1$ . 因此对任意 $\varepsilon>0$ , 可将其估计为 $\varepsilon\|\partial_yn_0\|_2^2+C(\alpha,M,\varepsilon)$ , 从而对任意有限 $$M$$ 吸收到扩散耗散中。

能量部分以密度与非零模涡量构成联合能量 $$E(t)$$ , 包括 $\|n\|_2^2$ , $\|\omega_{\ne}\|_2^2$ 及由有界 Fourier 乘子构成的修正项。论文证明在 bootstrap 条件成立且 $$A$$ 足够大时有

E'(t)+\frac1A E(t)\leq \frac{C(\alpha,M)}A.

该估计连同能量与 $\|n\|_2^2+\|\omega_{\ne}\|_2^2$ 的等价性控制密度的 $$L^2$$ 范数与非零模涡量。之后作者通过全密度的迭代估计获得一致 $L^\infty$ 界, 并以局部解延拓准则推出全局存在。零模涡量另有一致估计 $\|\omega_0(t)\|_{L^\infty}\leq\|(\omega_{\rm in})_0\|_{L^\infty}+C\sup_{s\leq t}\|\omega_{\ne}(s)\|_2^2$ , 其中常数与 $$A$$ 、时间无关。

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

首要障碍是密度依赖扩散使 Fourier 模态并不独立。若单独对 $n_{\ne}$ 作能量估计, 扩散系数仍依赖完整密度 $n=n_0+n_{\ne}$ , 会产生涉及 $\partial_y n_0$ 与 $\nabla n_{\ne}$ 的混合项, 其符号不定, 不能像常系数扩散那样通过对 $$x$$ 平均直接消失。作者的关键选择是避免拆分密度扩散, 改为对完整 $$n$$ 与 $\omega_{\ne}$ 建立联合能量。测试密度方程得到的正耗散保留为

\frac2A\int_{\mathbb T\times\mathbb R}\phi(n)|\nabla n|^2\,dx\,dy,

从而不必估计上述不定号模态交叉项。这是对非线性扩散结构的利用, 而不是一般意义上的模态能量求和。

为从剪切输运中提取增强耗散, 作者在能量中加入有界 Fourier 修正。其乘子具有 $\operatorname{sgn}(k)\arctan(A^{-1/3}|k|^{-1/3}\eta)$ 的形式, 并只作用于 $k\ne0$ 的密度与涡量频率。乘子有界, 因而修正能量与基本 $$L^2$$ 能量等价; 其与 Couette 输运 $y\partial_x$ 的交换产生非零模耗散, 与普通扩散合并后给出 $A^{-1/3}$ 尺度的增强耗散控制。密度修正项还除以扩散系数在 bootstrap 区间 $0\leq n\leq2K_\infty$ 上界, 使扩散作用于该修正时可以用上述正耗散吸收, 无须对变系数作导数估计。因而这一 Fourier 修正既捕捉混合效应, 又不破坏密度扩散的正性。

联合能量也用于闭合密度-流体耦合。密度方程修正能量中的速度项, 借助二维 Biot-Savart 关系和 $L^\infty$ bootstrap 得到 $\|v_{\ne}n\|_2\leq C K_\infty\|\omega_{\ne}\|_2$ . 涡量方程中的密度 forcing 则按

\frac{C}{A}\|n_{\ne}\|_2\|\nabla\omega_{\ne}\|_2 \leq \frac{\varepsilon}{A}\|\nabla\omega_{\ne}\|_2^2+\frac{C_\varepsilon}{A}\|n_{\ne}\|_2^2

处理: 梯度项由普通粘性耗散吸收, 剩余 $A^{-1}$ 项由足够强的剪切所产生的非零模增强耗散控制。这里必须把密度与涡量放在同一能量框架中, 才能将化学聚集、速度输运和涡量 forcing 同时闭合。

零模密度不受 Couette 混合, 因而不能从增强耗散获得衰减。作者利用 $c\geq0$ 、 $\Delta c=c-n$ 及系数估计, 将密度能量中的趋化生产控制在 $C_\alpha A^{-1}\int(n^3+n^{3+\alpha})$ . 利用 $\int_{\mathbb T}n_{\ne}\,dx=0$ 及 $L^\infty$ bootstrap, 将其分成 $2\pi\int(n_0^3+n_0^{3+\alpha})$ 和可由 $\|n_{\ne}\|_2^2$ 控制的余项。对零模使用非负性、质量守恒以及一维 Gagliardo-Nirenberg 型插值, 得到前述幂指数 $(2+\alpha)/3<1$ . 这个严格小于一的指数使任意质量下的生产项都能由 Young 不等式吸收到零模扩散, 而不是依赖质量小来使系数小。

零模涡量的处理则针对 Fourier 修正中可能出现的平均速度平流项。作者不要求 $v_{1,0}$ 本身有界, 而只使用 $\partial_yv_{1,0}=\omega_0$ 的 $L^\infty$ 控制, 通过交换子估计控制该项。零模涡量方程可写成

\partial_t\omega_0-\frac1A\partial_y^2\omega_0=-\frac1A\partial_y^2(v_{1,\ne}v_{2,\ne})_0.

Biot-Savart 估计给出 $\|(v_{1,\ne}v_{2,\ne})_0\|_{L^1}\leq C\|\omega_{\ne}\|_2^2$ 及 $\|\partial_y(v_{1,\ne}v_{2,\ne})_0\|_{L^{4/3}}\leq C\|\omega_{\ne}\|_2^2$ . 在热半群 Duhamel 公式中, 对 $\tau=(t-s)/A\leq1$ 将一阶导数放在平均乘积上, 得到可积的 $\tau^{-7/8}$ 核; 对 $\tau>1$ 将两阶导数放在热核上, 得到可积的 $\tau^{-3/2}$ 核。时间变量变换抵消 forcing 前的 $A^{-1}$ , 因而零模涡量界的常数不依赖 $$A$$ 和时间。

最终证明采用 bootstrap 闭合: 先由联合能量确定非零模能量界, 再由完整密度的 Moser 型迭代确定 $L^\infty$ 界, 然后选取足够大的 $$A$$ 使各吸收条件成立并严格改善 bootstrap 假设。最后将一致 $$L^2$$ 、 $L^\infty$ 界代入局部存在的延拓准则。论文摘要与节选说明了密度迭代和能量闭合的作用, 但未在所提供内容中展示 Moser 迭代的全部指数递推与每一步估计, 因而不宜据此补写更细的迭代公式。

4. 与之前工作的比较

本文引言明确列出的相关结果中, 对给定速度场的工作包括 Kiselev 和 Xu 关于二维强混合流抑制爆破的结果, 以及 Bedrossian 和 He 关于二维强 shear flow 下无质量限制全局存在的结果。这些工作利用非零模增强耗散并另行处理不受剪切混合的零模, 为本文的机制提供背景; 但本文速度不是预先给定, 而是受密度 forcing 的 Navier-Stokes 涡量方程演化, 因此还需闭合密度与流体扰动之间的反馈。

在同一空间 $\mathbb T\times\mathbb R$ 上, Zeng、Zhang 和 Zi 对常扩散、线性敏感性的抛物-椭圆趋化-Navier-Stokes 系统证明了 Couette 流附近的全局正则性, 不要求初始质量小。Wang、Wang 和 Zhang 研究常扩散及敏感性 $$n^2+n$$ 的情形, 给出的充分条件为初始质量 $M<2\pi/\sqrt3$ . 本文将系数范围推进到由 Painter-Hillen 关系给出的 $\phi(n)=(1+n)^{\alpha-1}[1+(1-\alpha)n]$ 、 $\psi(n)=n(1+n)^\alpha$ , $0<\alpha<1$ , 并证明任意有限质量下的全局经典可解性。其结论既覆盖超线性敏感性, 又不要求该类初始质量阈值; 代价是 Couette 强度下界依赖 $\alpha$ , 质量和初值范数, 且扩散与敏感性必须满足指定构成关系。

Chen、Wang、Yang 和 Zhang 在全平面上对一类广义 Hillen-Painter 系统得到任意质量全局有界解, 但要求初值满足各向异性加权条件, 且其区域和系数设定与本文不同。本文的结论针对 $\mathbb T\times\mathbb R$ 、强 Couette 流和所述特定系数对, 初值假设为 $n_{\rm in}\in L^1\cap H^3$ , $v_{\rm in}\in H^3$ 及不可压条件; 文中没有要求摘要所述以外的各向异性加权假设。故本文与全平面结果不是简单包含关系, 而是在不同几何、流动背景和初值框架下建立任意质量控制。

引言还提及三维给定剪切流及耦合系统的爆破抑制工作。相关结果施加质量条件以控制密度零模中的二维聚集; 耦合结果还要求初始速度扰动及若干密度模态小。本文是二维结果, 通过一维零模插值和 $\alpha<1$ 消除质量小条件, 不能据此推断相同结论可直接扩展至三维, 因为零模的有效维数和插值指数会改变。

端点比较揭示了任意质量结论的限制。作者说明 $\alpha=0$ 时系数退化为常扩散与线性敏感性, 证明框架仍适用, 并可覆盖 Zeng、Zhang 和 Zi 的相关模型; 对零模生产有 $\int n_0^3\leq C(M)(\|\partial_yn_0\|_2^2)^{2/3}$ , 仍可任意质量吸收。相反, $\alpha=1$ 时扩散为常数、敏感性为 $$n^2+n$$ , 与 Wang、Wang 和 Zhang 的模型一致。此时零模出现满足 $\int n_0^4\leq C(M)\|\partial_yn_0\|_2^2$ 的项, 梯度幂次为一且系数依赖质量, 无法得到任意质量吸收; 增大 $$A$$ 也无助于此步, 因为生产与扩散都带 $A^{-1}$ . 此外, 密度迭代中系数正比于 $1-\alpha$ 的高次梯度项在 $\alpha=1$ 消失。因此, 本文任意质量结论依赖严格的 $0<\alpha<1$ , 不是对二次敏感性端点的改进或覆盖。

从分析代价看, 本文并未证明对任意 $$A$$ 全局可解, 而是要求 $A\geq A_0(\alpha,M,\text{初值范数})$ ; 没有给出 $$A_0$$ 的显式最佳尺度, 也不宣称该阈值最优。作者没有声称所有一般密度依赖扩散与敏感性都可采用同一论证, 核心结论依赖系数结构、 $\alpha<1$ 的零模插值幂次以及大剪切增强耗散的配合。对未在所提供 PDF 摘录中具体陈述的其他既有定理细节或更广泛优劣比较, 从提供内容中无法确认。

3. 多维 Burgers 方程平面激波的相对熵与无黏极限

Relative Entropy and the Inviscid Limit for Planar Shocks of the Multi-D Burgers’ Equation

作者: Geng Chen, Jeffrey Cheng, Alexis F. Vasseur, Yi Wang

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.19303v1

摘要翻译: 在近期的一项工作（arXiv:2610.10341）中，作者提出了一个研究多维可压缩 Navier–Stokes 方程弱解序列趋于可压缩 Euler 方程平面激波的消失黏性极限的框架。本文介绍这些方法，并将其应用于多维黏性 Burgers 方程。我们证明，在适当控制垂直于激波方向的梯度的扰动下，任意大的黏性激波都具有 $$L^2$$ -稳定性。作为应用，我们研究消失黏性极限下趋于无黏激波的收敛速率。

Comment: 15 pages

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

1. 研究对象和背景

本文研究定义在一条无界方向与若干周期方向上的多维黏性标量守恒律，以及其黏性趋于零时对平面激波的稳定性和收敛速度。令 $x=(x_1,x')\in\Omega:=\mathbb{R}\times\mathbb{T}^{n-1}$ ，未知函数为 $u(t,x)\in\mathbb{R}$ ，考虑

u_t+\operatorname{div}_x F(u)=\nu\Delta_xu,\qquad u(0,x)=u_0(x),

其中原文方程左端为 $$u_t$$ ， $F=(f_1,\ldots,f_n)\in C^2(\mathbb{R};\mathbb{R}^n)$ ，黏性系数 $\nu>0$ 。这里公式中的未知量应读作 $$u_t$$ ，即完整方程为

u_t+\operatorname{div}_x F(u)=\nu\Delta_xu.

无黏方程相应为 $u_t+\operatorname{div}_xF(u)=0$ 。作者将法向通量限制为

f_1(u)=au^2+g(u),\qquad a>0,\qquad \|g''\|_{L^\infty(\mathbb{R})}=\frac{2}{3}a-\beta,\qquad 0\leq\beta\leq\frac{2}{3}a.

因此 $$f_1''$$ 保持严格正性。给定端态 $$u_->u_+$$ ，守恒律存在以 $$x_1$$ 为法向、沿 $$x'$$ 平坦的黏性激波 $S^\nu(x_1-\sigma t)$ ，其中

\sigma=\frac{f_1(u_-)-f_1(u_+)}{u_--u_+},\qquad -\sigma(S^\nu)' +(f_1(S^\nu))'=\nu(S^\nu)'',

且 $S^\nu(\xi)\to u_\pm$ 当 $\xi\to\pm\infty$ 。令激波强度 $\epsilon=|u_--u_+|$ 。研究的扰动可以沿激波面方向具有较大的振幅；所需的小量性主要体现在横向导数 $\nabla_{x'}u_0$ ，而非整个初值与激波的距离必须极小。这一点使该问题不同于只处理整体小扰动的线性化稳定性问题。

问题背景来自多维双曲守恒律的激波理论。熵条件在一维标量问题中可结合有界变差理论选出唯一解，但多维情形通常没有可直接沿用的一维 $$BV$$ 控制；一般多维弱解的唯一性及其物理选择机制远为复杂。黏性近似是自然的选择原则：先研究正黏性方程，再令 $\nu\downarrow0$ 。然而，即使对特定黏性模型，若初值具有横向变化，也需要控制扰动如何影响平面激波，并证明所得估计在黏性消失时仍有意义。

本文以多维黏性 Burgers 型方程作为较简化的标量模型，考察两类相互关联的问题：一是相对于平移后的黏性平面激波的 $$L^2$$ 稳定性，允许激波强度不受小振幅限制，但要求横向梯度满足定量条件；二是由此获得解到无黏间断激波的收敛速度。无黏平面激波可写为

S^0(x_1)=\begin{cases}u_-,&x_1<0,\\u_+,&x_1>0.\end{cases}

由于激波位置会随扰动发生漂移，稳定性和收敛结论均需引入时间依赖的位移 $$X(t)$$ ，比较对象是 $S^\nu(x_1-\sigma t-X(t))$ 或 $S^0(x_1-\sigma t-X(t))$ ，而不是固定位置的激波。

更广泛的动机是将针对平面激波的相对熵方法用于多维黏性系统的无黏极限。作者提到其先前工作 [4] 对可压缩 Navier–Stokes 弱解趋向 Euler 平面激波建立了框架；本论文展示简化标量模型中有关横向梯度控制、平移调制和相对熵估计的具体机制。本文的结果并不解决任意多维弱解的唯一性，也不覆盖任意横向扰动，而是推进了一个更具体的问题：在无需激波小振幅、但横向变化受控的条件下，能否对多维解相对于平面激波给出定量稳定性，并据此获得黏性消失的误差阶。

2. 主要定理或主要结果

以下结论均针对 $u_t+\operatorname{div}F(u)=\nu\Delta u$ 及满足 (5) 的法向通量。 $$C$$ 等常数依赖关系按原文给出；除明确列出的条件外，摘录没有提供额外的解正则性假设。

定理 1.2. 当 $$n=2,3$$ ，给定 $\widetilde C_1>0$ ，若 $u_0-S^\nu\in L^\infty(\Omega)\cap L^2(\Omega)$ ，且对某些 $C,\alpha>0$ 有

\|\nabla_{x'}u_0\|_{L^1(\Omega)}\leq\widetilde C_1\nu^{1+\alpha},

则存在 Lipschitz 位移 $$X(t)$$ ，使对所有 $$t>0$$ ，

\int_\Omega|u(t,x)-S^\nu(x_1-\sigma t-X(t))|^2\,dx\leq\int_\Omega|u_0(x)-S^\nu(x_1)|^2\,dx+C'\nu^{2\alpha}t,

其中 $C'=C'(n,\widetilde C_1,F,u_\pm)$ 。这是带有随时间线性增长误差的 $$L^2$$ 稳定性估计；它并非无误差收缩，横向初始梯度的尺度决定误差系数 $\nu^{2\alpha}$ 。

定理 1.3. 对 $$n$$ 维问题，固定 $$T,M>0$$ 。若初值满足 $u_0-S^\nu\in L^\infty(\Omega)\cap L^2(\Omega)$ 、原文所列的 $\|u_0\|_{L^\infty(\mathbb{R})}\leq M$ ，以及

\|\nabla_{x'}u_0\|_{L^2(\Omega)}^2\leq\exp\!\left(-\frac{2\widetilde C_2T}{\nu}\right),

则存在 Lipschitz 位移 $$X(t)$$ ，对 $0<t\leq T$ 有

\int_\Omega|u(t,x)-S^\nu(x_1-\sigma t-X(t))|^2\,dx\leq\int_\Omega|u_0-S^\nu|^2\,dx+\frac{C^*}{\nu}\exp\!\left(-\frac{\widetilde C_2T}{\nu}\right)t.

其中 $C^*=C^*(n,F,u_\pm)$ ， $\widetilde C_2=\widetilde C_2(n,M,F)$ 。原文的 $L^\infty(\mathbb{R})$ 写法与 $$u_0$$ 定义在 $\Omega$ 上的记号并不完全一致；摘录不足以判断其是否为排版或记号简写。该定理的横向梯度假设随 $\nu\to0$ 指数级趋于零，不能解读为对一般横向扰动的统一稳定性结论。

定理 1.4. 当 $$n=2$$ ，另假设 $\|f_2\|_{W^{2,\infty}(\mathbb{R})}=K<\infty$ 且 $\beta>0$ 。固定 $T,\delta>0$ 。存在 $\widetilde C_3=\widetilde C_3(\delta,F,u_\pm)$ 及 $\widetilde\nu=\widetilde\nu(\delta,F,T,u_\pm)$ ，使对 $0<\nu<\widetilde\nu$ ，若

u_0-S^\nu\in L^\infty(\Omega)\cap L^2(\Omega),\qquad \|u_0-S^\nu\|_{L^2(\Omega)}^2\leq\delta,\qquad \|u_{0,x_2}\|_{L^2(\Omega)}^2\leq\exp\!\left(-\frac{2\widetilde C_3T}{\nu^2}\right),

则有 Lipschitz 位移 $$X(t)$$ ，且 $0<t\leq T$ 时

\int_\Omega|u(t,x)-S^\nu(x_1-\sigma t-X(t))|^2\,dx\leq\int_\Omega|u_0-S^\nu|^2\,dx+\frac{C^*}{\nu}\exp\!\left(-\frac{\widetilde C_3T}{\nu^2}\right)t.

这里 $$C^*$$ 取自定理 1.3 的常数。此结果在二维中去掉了定理 1.3 对初值 $L^\infty$ 上界 $$M$$ 的依赖，但要求初始整体相对熵不超过 $\delta$ ，并要求更强的、以 $\nu^{-2}$ 为指数尺度的横向导数小量条件。其证明细节在所提供摘录中未呈现。

定理 1.5. 在定理 1.3 的框架下，对固定 $$T$$ ，存在常数 $C=C(C^*,\widetilde C_2,T)$ 及阈值 $\nu(C^*,\widetilde C_2,T)$ ，使足够小的 $\nu$ 满足

\|u(t,\cdot)-S^0(\cdot-\sigma t-X(t))\|_{L^2(\Omega)}\leq\|u_0-S^0\|_{L^2(\Omega)}+C\sqrt{\nu},\qquad 0\leq t\leq T.

因此在上述假设下，解到无黏平面激波的 $$L^2$$ 误差阶为 $O(\sqrt{\nu})$ ，并且比较时允许同一类时间依赖位移。摘录称该阶与一维结果 [14] 相同。定理 1.5 是在定理 1.3 所要求的横向梯度控制等条件下的有限时间结论，不应扩大为任意初值的多维无黏极限速率定理。

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

核心困难是平面激波在法向具有宽度约为 $\nu$ 的陡峭过渡层，且 $\| (S^\nu)'\|_{L^\infty}\leq C/\nu$ 。直接对未调制的 $u-S^\nu$ 作估计会受到激波平移模态影响；另一方面，横向变量虽周期化，扰动沿法向仍处在无界区域，积分分部和极限过程需要处理无穷远处的可积性。作者的处理不是围绕激波作线性化，而是通过相对熵、动态位移和激波剖面的单调结构获得非线性估计。

首先在随激波运动的坐标 $\xi=x_1-\sigma t$ 中，取二次熵 $\eta(u)=u^2/2$ ，其相对熵等价于平方距离。再引入位移，并令 $u^X(t,\xi,x')=u(t,\xi+X(t),x')$ 。原文选择的位移满足

\dot X(t)=-\frac{2a+\|g''\|_{L^\infty}}{2\epsilon}\int_\Omega\bigl(u(t,x)-S^\nu(x_1-\sigma t-X(t))\bigr)(S^\nu)'(x_1-\sigma t-X(t))\,dx,\qquad X(0)=0.

其作用是抵消相对熵导数中与平移模态耦合的主要项，而非要求 $$X$$ 预先由几何位置指定。对 $u^X-S^\nu$ 使用相对熵恒等式，扩散项产生负耗散 $-2\nu\int|\nabla(u^X-S^\nu)|^2$ ，法向通量则留下需要控制的剖面加权项。

关键结构是引入剖面坐标 $z=\epsilon^{-1}(u_--S^\nu)$ ，并将扰动写成 $w(t,z,x')=(u^X-S^\nu)\circ(z^{-1},\mathrm{id})$ 。激波剖面方程给出 $$z$$ 与 $\xi$ 的导数关系，权重具有 $$z(1-z)$$ 的退化形状。作者结合加权 Poincaré 不等式

\int_0^1\left|h-\int_0^1h\,dz\right|^2dz\leq\frac12\int_0^1z(1-z)|h'(z)|^2dz

证明引理 2.2：存在 $\Lambda=3\beta/(\frac43a+\beta)\geq0$ ，使

\frac{d}{dt}\int_\Omega|u^X-S^\nu|^2+\Lambda\nu\int_\Omega|\nabla(u^X-S^\nu)|^2\leq\epsilon(2a+\|g''\|_{L^\infty})\int_{\mathbb{T}^{n-1}}|w_1-w_n|^2\,dx'.

这里 $w_1(t,x')=\int_0^1w(t,z,x')\,dz$ ， $$w_n$$ 是 $$w_1$$ 在横向环面上的平均。右端只测量横向截面平均值相对于全局平均值的起伏；因此若横向变化为零，该项消失。 $\beta>0$ 时得到正的耗散系数； $\beta=0$ 时该论证中的严格耗散余量退化为零，这也解释了定理 1.4 单独要求 $\beta>0$ 的重要性。此相对熵结构是把高维稳定性问题转化为横向梯度控制的关键一步。

对定理 1.2，作者用环面上的 Sobolev–Poincaré 估计控制 $\|w_1-w_n\|$ ，并利用 $|(S^\nu)'|\leq C/\nu$ 将结果化为

\frac{d}{dt}\|u^X-S^\nu\|_{L^2}^2\leq\frac{C}{\nu^2}\|\nabla_{x'}(u^X-S^\nu)\|_{L^1}^2.

因此需证明横向梯度的 $$L^1$$ 范数随时间不增。对 $v=u_{x_j}$ 微分方程后， $$v$$ 满足输运–扩散型方程；作者以凸的光滑近似 $H_\alpha(v)\to|v|$ 构造绝对值估计，并引入法向衰减权 $A_\lambda(x_1)=e^{-\lambda\sqrt{1+x_1^2}}$ 处理无界法向。先令 $\alpha\to0$ ，再用 Gronwall 得到带权估计，最后令 $\lambda\to0$ ，推出 $\|\nabla_{x'}u(t)\|_{L^1}\leq\|\nabla_{x'}u_0\|_{L^1}$ 。这一步依赖标量方程的熵型收缩性质，原文特别指出它一般不能直接推广到黏性守恒律系统。把初始梯度尺度 $\nu^{1+\alpha}$ 代入即得到误差率 $\nu^{2\alpha}t$ 。

对定理 1.3，环面上的 $$L^2$$ Poincaré 不等式把引理 2.2 右端控制为横向导数的 $$L^2$$ 项，结合剖面导数上界，得到形如

\frac{d}{dt}\|u^X-S^\nu\|_{L^2}^2+\Lambda\nu\|\nabla(u^X-S^\nu)\|_{L^2}^2\leq\frac{C}{\nu}\|\nabla_{x'}u\|_{L^2}^2.

因而问题转为传播横向导数的小性。摘录明确说明此处使用最大值原理及 Gronwall 型估计；最大值原理用于在 $\|u_0\|_{L^\infty}\leq M$ 下控制系数，进而传播 $\nabla_{x'}u$ 的 $$L^2$$ 小量。摘录在引理 4.1 的陈述处截断，未提供该微分估计的完整形式和证明，故不能据此补写精确增长指数的推导。定理 1.4 声称二维情形可在无 $L^\infty$ 上界依赖的条件下取得相应结论，但其具体替代估计在所给文本中没有展开，不宜推测其证明细节。

最后，定理 1.5 将黏性激波与阶跃型无黏激波比较。其 $O(\sqrt{\nu})$ 误差阶来自稳定性估计与黏性剖面相对间断剖面的 $$L^2$$ 尺度结合；提供的摘录只给出该推论及定理陈述，没有给出剖面差估计的逐步证明。总体而言，证明中真正起作用的链条是：动态位移消除平移不稳定方向，剖面变量和加权 Poincaré 不等式把剩余相对熵增长压缩到横向平均振荡，再分别用标量 $$L^1$$ 收缩或横向梯度 $$L^2$$ 小量传播来控制该振荡。

4. 与之前工作的比较

论文将自身定位为作者先前多维可压缩 Navier–Stokes 无黏极限框架的标量模型展示。文中所述先前工作 [4] 处理小振幅平面 Euler 激波及趋向该激波的 Navier–Stokes 弱解序列，并以相对熵和带位移的 $$a$$ -收缩控制极限解。本文转而研究多维黏性标量守恒律，方程结构更简化，因而能把证明中横向梯度条件的作用直接展示出来；本文不等同于 [4] 的系统定理，也没有在摘录中证明对 Navier–Stokes 系统的全部结论。

与一维理论相比，文中指出一维标量熵解的唯一性可在 $$BV$$ 框架下建立，且 Kružkov [15] 已证明黏性标量解趋向相应无黏问题的唯一解。本文强调，其定理 1.4 和定理 1.5 的证明思路只依赖一个熵，而不是 Kružkov 全套凸熵结构；这一点是作者讨论未来将相似思路用于可压缩 Euler 问题的动机。不过，该扩展在本文中只是方法上的可能性，不能视为本文已证明的系统结果。对一维激波趋近速度，文中援引 [14] 的 $\sqrt{\nu}$ 阶，并在其设定下把同一阶推进到多维平面激波；多维结论仍需定理 1.3 的横向导数小量等条件，因此不是无条件推广。

与已有多维相对熵方法的关系方面，作者称其采用的带位移相对熵框架由 [14] 的一维方法发展到多维情形 [12]；加权 Poincaré 工具引自 [13]。本文的具体推进在于利用标量方程结构建立横向梯度的收缩或传播控制，使带位移稳定性估计能在允许沿激波方向存在较大扰动的设定下闭合。定理 1.2 的假设是横向 $$L^1$$ 梯度满足 $O(\nu^{1+\alpha})$ ，维数限于 $$n=2,3$$ ，结论误差按 $O(\nu^{2\alpha}t)$ 增长；定理 1.3 则以指数小的横向 $$L^2$$ 梯度为代价，在固定时间区间上得到相应稳定性。定理 1.4 只在二维、 $\beta>0$ 且横向通量具有 $W^{2,\infty}$ 正则性的条件下，去掉对初值统一 $L^\infty$ 上界的依赖；代价是初始整体相对熵受 $\delta$ 控制，且横向导数要求达到 $\exp(-cT/\nu^2)$ 的极小尺度。各条件并非简单的逐项放宽，而是不同估计路线之间的取舍。

论文还把稳定性结果用于无黏极限速率。定理 1.5 在定理 1.3 框架下给出有限时间 $$L^2$$ 误差 $O(\sqrt{\nu})$ ，与文中所引一维速率一致。与 Kružkov 的一般标量无黏收敛结论相比，本文突出的是带相位位移的、相对于平面激波的显式定量稳定性及速率；但适用范围更专门，需要平面激波背景、固定有限时间区间及很强的横向小量条件。定理 1.5 的结论也保留初始误差 $\|u_0-S^0\|_{L^2}$ ，所以并不意味着仅由黏性趋零就自动得到对激波的收敛。

中文标题: 能量临界薛定谔映射流的量子化慢速爆破动力学

摘要翻译: 我们研究取值于 2-球面的能量临界薛定谔映射的 Cauchy 问题：

\partial_{t}u = u\timesΔu, \quad (t,x)\in\mathbb{R}^{1+2}, \quad u(t,x)\in\mathbb{S}^2

对于同伦度为 $$k=1$$ 的等变初始数据。给定任意整数 $L\in\mathbb{N}_+$ ，我们构造一组初始数据，使其在能量范数下任意接近基态调和映射，并且相应解在有限时间内以量子化速率爆破：

中文标题: 具有无散形式有界漂移项的算子在单侧弦弧域中的椭圆理论与维数下降

摘要翻译: 我们在单侧弦弧域中，为具有形式有界漂移项的椭圆算子

L=-\Div(A\nabla)+\B\cdot\nabla

建立边值理论与位势理论。假设 $\Div\B$ 的正部具有充分小的形式界，我们建立局部正则性估计，并证明 Dirichlet 问题的可解性，同时构造相应的调和测度。在附加假设 $\Div\B\le0$ 下，我们构造 Green 函数，并证明其点态估计与梯度估计。为使带有极点处 Dirac 质量的特征分布恒等式成立，我们还将额外假设 $\Div\B=0$ 或 $\B\in L^{n,1}_{\textup{loc}}(Ω)$ 。此外，在无散情形下，我们得到 Green 函数的局部下界、CFMS 估计、调和测度的倍增性、零迹非负解的比较原理，以及换极点公式。最后，我们利用人工智能，在上半空间中构造一个形如 $-Δ+\B\cdot\nabla$ 的算子，其 $\B$ 形式有界且无散，并且其调和测度呈现维数下降。

10. 一阶矩约束下的锐 Sobolev 不等式

Sharp Sobolev inequalities under first moment constraints

作者: Rupert L. Frank, Tianling Jin, Hua-Yang Wang, Jingang Xiong

类别: math.AP

发布日期: 2026-10-14

arXiv ID: 2610.20001v1

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

摘要翻译

中文标题: 一阶矩约束下的锐 Sobolev 不等式

摘要翻译: 设 $n\geq2$ 和 $$1<p<n$$ 。我们研究圆球面 $\mathbb{S}^n$ 上满足 $\int_{\mathbb{S}^n}x|u|^{np/(n-p)}\,dσ=0$ 的函数 $u\in W^{1,p}(\mathbb{S}^n)$ 所满足的锐 Sobolev 不等式。我们证明，对于某个 $B=B(n,p)<\infty$ ，所有这类函数均满足

\|u\|_{L^{np/(n-p)}(\mathbb{S}^n)}^p \leq 2^{-p/n}S_{n,p}^p\|\nabla u\|_{L^p(\mathbb{S}^n)}^p+B\|u\|_{L^p(\mathbb{S}^n)}^p

，当且仅当 $1<p\leq2$ 或 $$2<p<n<3p-2$$ ，其中 $S_{n,p}$ 是最优欧几里得 Sobolev 常数。这确定了 Aubin 不等式在梯度项系数取锐值时成立的精确范围。对于每个 $2\leq p<n$ ，我们还建立了相应的平方范数不等式，其梯度项系数为 $2^{-2/n}S_{n,p}^2$ 。每个不等式中的梯度项系数都是最优的。证明结合立体投影平均与欧几里得 Sobolev 不等式的定量稳定性，得到局部二阶矩估计，从而能够吸收局部化误差。

11. 三维离散薛定谔算子所有谱阈值处的预解式展开

Resolvent Expansions at All Spectral Thresholds for Three-Dimensional Discrete Schrödinger Operators

作者: Yanhong Chen, Sisi Huang, Xiaohua Yao

类别: math.AP

发布日期: 2026-10-14

arXiv ID: 2610.19845v1

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

摘要翻译

中文标题: 三维离散薛定谔算子所有谱阈值处的预解式展开

中文标题: ${\mathcal R}$ -有界性：薛定谔算子的黎斯变换与谱乘子

摘要翻译: 令 $\LL = -Δ+ V$ 为具有非负势的薛定谔算子。已知，其相应的黎斯变换 $\nabla \LL^{-\sfrac{1}{2}}$ 对于 $p \in (1,2]$ 在 $L^p(\RR^d)$ 上有界，且其界与 $$V$$ 无关。我们证明了更强的结论，即集合

\{ \nabla \LL^{-\sfrac{1}{2}},\ 0 \le V \in L^1_{\mathrm{loc}}(\RR^d) \}

对于 $p \in (1,2]$ 在 $L^p(\RR^d)$ 上是 ${\mathcal R}$ -有界的。我们还证明了谱乘子

arXiv ID: 2610.20013v1

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

摘要: We study radially nonincreasing, positive blow-up solutions of a class of superlinear heat equations in the non-scale-invariant setting. This class contains nonlinearities with arbitrarily fast, super-exponential growth. Under suitable structural assumptions on the nonlinearity, we derive the sharp global blow-up profile in the original space-time variables. More precisely, for positive nonlinearities $$f$$ satisfying

\lim_{X\to \infty}f'(X)G(X)= q\ge1\quad \quad \hbox{ where }\quad\quad G(X)=\int_{X}^{\infty}\frac{ ds}{f(s)}<\infty\quad\forall\ X>0,

and assuming either the time monotonicity $u_t\ge0$ holds or $q>\frac{p_S}{p_S-1}$ , we have

u(x,t)=(1+o(1))\,G^{-1}\bigg(T-t+\frac{|x|^2}{4q|\log |x|^2|}\bigg), \quad \hbox{as $(x,t)\to (0,T)$.}

This estimate in particular provides the sharp final space profile and the corresponding refined space-time profile. Moreover, our result recovers the universal structure of the global blow-up profile, given by the resolvent $G^{-1}$ of the associated ODE evaluated at a time-space building block, which only depends on the limit $$q$$ .

9. 具有孤立奇点的 Yamabe 方程解的参数化

A Parametrization of Solutions to the Yamabe Equation with Isolated Singularity

作者: Qing Han, Jui-Yun Hung, Nan Wu

类别: math.AP

发布日期: 2026-10-14

arXiv ID: 2610.19984v1

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

摘要: Inspired by a pioneering work by Caffarelli, Gidas, and Spruck, we study positive solutions to the Yamabe equation with nonremovable isolated singularities. It is known that there is a formal one-to-one correspondence between the collection of the solutions to the Yamabe equation with nonremovable isolated singularities and the collection of harmonic functions through formal infinite series determined by the harmonic functions. In this paper, we prove that these formal infinite series yield actual solutions to the Yamabe equation with a nonremovable isolated singularity. These solutions to the Yamabe equation have designated asymptotic behaviors determined by the harmonic functions. In a broader context, we provide a general method of constructing all solutions near their isolated singular points and all solutions near infinity.

10. 具有退化边界和广义二阶算子的窄管道中的 KPP 型反应-扩散方程

KPP type reaction–diffusion equations in narrow tubes with degenerating boundary and generalized second order operators

作者: Hyejin Kim

类别: math.PR, math.AP

发布日期: 2026-10-14

arXiv ID: 2610.20081v1

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

摘要: We consider a reaction–diffusion equation with Kolmogorov–Petrovskii–Piskunov (KPP) nonlinearity and Neumann boundary conditions in a narrow tube $G^{\varepsilon,δ}\subset\mathbb{R}\times\mathbb{R}^{n}$ of width of order $\varepsilon$ . The tube is chosen from a family indexed by a second parameter $$δ>0$$ , whose boundary $\partial G^δ$ is smooth for each $$δ>0$$ but degenerates as $δ\downarrow0$ . In the iterated limit $\varepsilon\downarrow0$ followed by $δ\downarrow0$ the problem becomes a Cauchy problem on the line whose spatial operator is a generalized second order differential operator $D_{v}D_{u}$ in the sense of Feller, rather than a classical second order elliptic operator. Solutions of the limiting problem need not be differentiable in $$x$$ , so they must be understood in a generalized sense. Using the Feynman–Kac representation, we prove that the limiting problem has a unique generalized solution. When the cross sectional volume is bounded above and below, we also prove that this solution is Hölder continuous in $$t$$ with exponent $$1/2$$ , locally uniformly in $$x$$ , whenever it is Lipschitz continuous in $$x$$ . Under the same volume bounds, this Lipschitz condition holds when the initial function and the nonlinearity are Lipschitz continuous in $$x$$ . Finally we prove that the solutions in the narrow tubes converge to the generalized solution uniformly on compact time intervals in the same iterated limit if the tube, the initial function, and the nonlinearity are periodic in $$x$$ .

11. 非平衡快速反应极限中反应项的持续性

Persistence of the reaction term in an unbalanced fast reaction limit

作者: Yuki Tsukamoto

类别: math.AP

发布日期: 2026-10-14

arXiv ID: 2610.19914v1

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

摘要: We study a fast reaction limit for a two-component reaction-diffusion system in which one component diffuses and the other does not. In the regime considered here, the nondiffusing component converges to zero as the reaction rate tends to infinity, while the reaction term has a nonzero limit. As a result, the limiting equation for the diffusing component retains a time-integral term. Our results cover both homogeneous Dirichlet and Neumann boundary conditions. We prove convergence of the diffusing component and determine the limiting behavior of the reaction term and the rescaled nondiffusing component. The proof combines monotonicity with respect to the reaction rate with barrier estimates adapted to the time-integral term. Under an additional separation condition on the initial data, we also prove uniqueness of the limiting initial-boundary value problem.

12. 热点猜想的一个三维星形反例

A starlike 3-dimensional counterexample to the hot spots conjecture

作者: Rami Atar, Krzysztof Burdzy

类别: math.AP

发布日期: 2026-10-14

arXiv ID: 2610.19908v1

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

摘要: We construct a bounded Lipschitz domain in $\mathbb{R}^3$ that is starlike about the origin and whose first positive Neumann eigenvalue is simple. A corresponding eigenfunction, after a choice of sign, has its unique global maximum at the origin. The construction uses domains with increasingly fine angular structure and convergence to a weighted eigenvalue problem whose first positive eigenfunction is radial.

13. 秩一对称空间中 Neumann 特征值的耦合倒数和不等式

Coupled reciprocal-sum inequalities for Neumann eigenvalues in rank-one symmetric spaces

作者: Yifeng Meng

类别: math.DG, math.AP

发布日期: 2026-10-14

arXiv ID: 2610.19837v1

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

摘要: Let $$M$$ be a rank-one symmetric space of compact or noncompact type and real dimension $$m=kn$$ , where $k\in\{1,2,4,8\}$ is the real dimension of the underlying division algebra. Meng and Wang proved sharp isoperimetric inequalities for reciprocal sums of the first $$p$$ or $\ell$ nonzero Neumann eigenvalues, with indices strictly below $$m$$ in the nonconstant-curvature cases. We keep the whole $$m$$ -dimensional transplanted first eigenspace of an equimeasurable geodesic ball and treat its mass and stiffness forms as a coupled generalized eigenvalue problem. For every bounded connected smooth domain in a noncompact rank-one symmetricspace we prove the full sharp estimate

\sum_{j=1}^{m}\frac{1}{μ_j(Ω)} \ge \frac{m}{μ_1(B)},

where $$B$$ is a geodesic ball with $$|B|=|Ω|$$ ; equality characterizes geodesic balls. The Hopf-direction contribution is encoded by a positive, unital, trace-preserving projection on symmetric matrices, and the finite-dimensional closure is supplied by a positive-projection Jensen inequality. In compact type, under the localization hypothesis of Meng–Wang, the same full estimate is obtained whenever $\cot^2 R\ge k-1$ , where $$R$$ is the radius of the comparison ball, as well as in the isotropic endpoint cases and for Hopf-balanced angular second moment. Consequently the complete $$m$$ -term inequality holds for all complex and quaternionic projective spaces under the original localization assumption, and for the Cayley plane when $R\le \arctan(1/\sqrt7)$ . In the remaining admissible Cayley interval we exhibit a finite-dimensional obstruction showing that the affine tangent-matrix bounds alone cannot yield the full trace estimate. This obstruction concerns the proof mechanism and is not a counterexample to the unresolved spectral inequality.

14. 近场动力学世界中的自由材料优化

Free-Material Optimization in a Peridynamic World

作者: Anton Evgrafov

类别: math.AP, math.OC

发布日期: 2026-10-14

arXiv ID: 2610.19776v1

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

摘要: We study free-material optimization for nonlinear bond-based nonlocal diffusion and its localization as the interaction horizon $$δ$$ vanishes. Bond conductivities are subject to pointwise bounds and a global material budget constraint. After normalization, the asymptotic behavior of these problems is governed by the fraction $$θ_δ$$ of potentially active bonds that can be assigned the maximal conductivity. We identify three distinct limiting regimes. If $θ_δ\to0$ , the normalized optimal values converge to those of the classical vanishing-material optimal design problem, equivalently formulated as a Lipschitz-constrained state problem or a measure-valued flux problem. For $θ_δ\toθ\in(0,1)$ , we obtain a directional local free-material problem governed by the upper tail of the directional $$p$$ -strain over position-direction space. Thus the state variable localizes, while the limiting constitutive law retains an internal directional variable inherited from the bonds. If $θ_δ\toθ\geq1$ , the limit is the isotropic local $$p$$ -Dirichlet problem. A convex minimax argument eliminates the normalized conductivity variable exactly, after which the analysis combines convex duality, nonlocal compactness, and $$Γ$$ -convergence for convex integrands. We prove a unified $$Γ$$ -convergence result for the reduced state energies whenever $θ_δ\toθ\in[0,+\infty)$ , yielding convergence of normalized optimal values and compactness and identification of optimal states throughout the full parameter range. At the vanishing-material endpoint, we additionally recover optimal measure-valued local fluxes from optimal nonlocal two-point fluxes.

15. 有限到期日 Heston 美式看跌期权的内部正则性与零方差几何

Interior smoothness and zero-variance geometry for finite-maturity Heston American puts

作者: Junkee Jeon, Takwon Kim, Jehan Oh

类别: q-fin.MF, math.AP, math.PR, q-fin.PR

发布日期: 2026-10-14

arXiv ID: 2610.20000v1

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

摘要: We study finite-maturity American puts in the Heston model without the Feller condition. At positive variance, the exercise boundary is smooth and strictly decreasing in remaining maturity and variance. At zero variance, the endpoint is locally Lipschitz in remaining maturity, the boundary moves with bounded speed in maturity uniformly down to zero variance, and it extends continuously to the axis. Each boundary slice at positive maturity has a regular $$C^1$$ closure tangent to the zero-variance axis, its stock threshold has variance derivative tending to minus infinity, and both partial derivatives of the inverse boundary graph vanish along the slice. The continuation premium at the axis contact stock is of order variance, and as a consequence smooth fit fails in the variance direction at the axis. At expiry the whole boundary, including its axis edge, converges to the strike. We give quantitative boundary gap bounds, an exact limiting weighted boundary Hessian, and vertical identities retaining the maturity term. Exact boundary gap equivalents remain open.

16. 凸射影多边形的围栏猜想

The fence conjecture for convex projective polygons

作者: Erxiao Wang

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

发布日期: 2026-10-14

arXiv ID: 2610.19664v1

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

摘要: We prove the fence conjecture of Dumas and Wolf: for a convex projective polygon with at least five vertices, every zero of the Pick differential lies in the interior of the region obtained by cutting off the triangles at consecutive triples of vertices. The proof gives a stronger estimate for arbitrary properly convex domains. In affine-sphere coordinates normalized at a Pick zero, the domain contains the closed disk of radius $2^{-1/4}$ and its closure lies in the open disk of radius $2^{1/4}$ , unless it is a rotated square. The proof compares the canonical Monge-Ampère potential of the domain with that of a normalized square. Their third-order contact gives alternating local sign sectors. A planar separation argument and the maximum principle show that the negative sectors belong to four distinct components, each meeting a different side of the square. Rotation gives the inner disk bound, and conormal duality gives the outer bound. Both constants are optimal for the class of properly convex domains normalized at a Pick zero. The argument requires neither boundary smoothness nor any restriction on the multiplicity of the Pick zero.

17. 通过空间局域化最大化反应：一种 PDE 约束变分方法

Maximizing Reaction via Spatial Localization: A PDE-Constrained Variational Approach

作者: Mohammad Yasir Feroz Khan, Bo Li

类别: math.AP, math.OC

发布日期: 2026-10-14

arXiv ID: 2610.19580v1

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

摘要: We study a PDE-constrained variational problem for the optimal spatial distribution of a catalytic material reacting with a substrate in a biological or materials system. With a given catalyst concentration, the substrate concentration is determined by a reaction-diffusion equation. The reaction functional for the catalyst concentrations is defined to be the total reaction output, which is the product of catalyst and substrate concentrations. Both the linear and Michaelis-Menten reaction kinetics are considered. We construct reaction-maximizing sequences through the localization of catalysts using barrier functions and show the non-existence of a global maximizer. We also derive the first and second variations of the reaction functional. By constructing a competing catalyst concentration, we show the non-existence of a local maximizer. Based on our analysis, we propose a regularized variational model and prove the existence of its global maximizer.

18. 伴随问题的尖锐 $$L^q$$ 估计与 Pucci 猜想

Sharp $$L^q$$ estimate of adjoint problem and Pucci conjecture

作者: Jui-Yun Hung, Nan Wu

类别: math.AP

发布日期: 2026-10-14

arXiv ID: 2610.19633v1

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

摘要: Let $$L$$ be a linear second-order elliptic operator satisfying a nondegeneracy condition. We establish sharp $$L^q$$ estimates for solutions of the adjoint problem associated with $$L$$ and, by duality, derive sharp $$L^p$$ estimates for solutions of $$Lu = f$$ . In particular, this confirms a conjecture of Carlo Pucci.

19. 分数阶初等对称函数与平面上的 Hessian 估计

Fractional elementary symmetric functions and Hessian estimates in the plane

作者: Gautam Neelakantan Memana, Neil S. Trudinger, Po-Lam Yung

类别: math.AP, math.CA

发布日期: 2026-10-14

arXiv ID: 2610.19410v1

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

摘要: We prove an endpoint Pucci maximum principle for domains in $\mathbb R^2$ , formulated using a generalization of elementary symmetric polynomials to noninteger orders. As a result, we sharpen an earlier result of Astala, Iwaniec and Martin, and deduce a new Sobolev inequality for $$q$$ -Hessians where $$1 < q < 2$$ . The fractional elementary symmetric functions we use are derived through fractional differentiation. Their signed singular value extension coincides with the Burkholder functional introduced by Burkholder and gives us access to a local Burkholder inequality due to Astala, Iwaniec, Prause and Saksman, leading to a different proof of the Pucci maximum principle from the one in that used quasiconformal maps. We include an elementary real-variable proof of this local Burkholder inequality, obtained by combining a few known techniques from existing literature.

20. 高对比度介电蜂窝结构中的狄拉克点

Dirac Points in High-Contrast Dielectric Honeycomb Structures

作者: Yi Huang, Bowen Li, Ping Liu

类别: math.AP

发布日期: 2026-10-14

arXiv ID: 2610.19426v1

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

摘要: We study Dirac points for a two-dimensional scalar Helmholtz equation in a periodic dielectric medium with two penetrable inclusions per honeycomb cell. In a joint small-inclusion and high-contrast regime, we reduce the Bloch eigenvalue problem to a two-dimensional interaction matrix and derive a two-term asymptotic expansion for the two relevant eigenvalues, uniformly for quasi-momenta separated from the reciprocal lattice. At a vertex K of the Brillouin zone, rotation and inversion-conjugation symmetries force these eigenvalues to coincide. A Schur-complement analysis of the exact operator pencil, together with a nonvanishing lattice Green-function coefficient, proves that the resulting double eigenvalue has a nonzero conical splitting and gives an asymptotic formula for the conical slope in the scaled eigenvalue. For fixed sufficiently large contrast, symmetry-preserving changes of variables and analytic perturbation theory then continue this Dirac point as the inclusion size varies: it remains nondegenerate except at a relatively closed discrete set of admissible sizes.

21. 具有一般非线性项的半线性热方程中 I 型爆破的非退化性与渐近行为

Nondegeneracy and asymptotic behavior of type I blow-up for semilinear heat equations with general nonlinearities

作者: Yohei Fujishima, Ryoto Ichiya, Norisuke Ioku

类别: math.AP

发布日期: 2026-10-14

arXiv ID: 2610.19332v1

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

摘要: We study the local asymptotic behavior of nonnegative type I blow-up solutions to semilinear heat equations with nonlinearities that need not be scale invariant. Using a quasi-similarity transformation adapted to the associated ordinary differential equation, we establish locally uniform convergence to a constant profile on the parabolic spatial scale near every interior blow-up point. Under a quantitative assumption on the nonlinearity at infinity, our results cover regularly varying nonlinearities in the Sobolev subcritical and critical ranges and, in one and two space dimensions, rapidly growing nonlinearities including double exponentials. A key ingredient in this analysis is a positive lower bound for the normalized solution at interior blow-up points. In fact, under weaker assumptions on the nonlinearity, we prove this bound in arbitrary space dimension without assuming radial symmetry.

22. 解的乘积的稠密性与解析背景下的线性化 Calderón 问题

Density of Products of Solutions and the Linearized Calderón Problem in an Analytic Background

作者: Leonard Busch, Tony Liimatainen, Gunther Uhlmann

类别: math.AP

发布日期: 2026-10-13

arXiv ID: 2610.19288v1

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

摘要: We study the linearization, with respect to zeroth-order perturbations, of the local Dirichlet-to-Neumann map of a formally self-adjoint elliptic operator $$P=-Δ_g+Q$$ on a compact Riemannian manifold $$(M,g)$$ of dimension $n\geq 2$ with boundary, where $$Q$$ is of order at most one. Near a boundary point where the boundary, metric, and $$P$$ are analytic, we show that the linearized map is a classical analytic pseudodifferential operator of order $$-1$$ if and only if the zeroth-order perturbation $$q$$ extends analytically across the boundary. We also prove that local boundary data in an arbitrary open analytic boundary patch determines $$q$$ locally. In particular, if the measurement set meets every connected component of $$M$$ , the local linearized DN map is injective on $L^\infty$ perturbations. Finally, we obtain a global completeness result for products of pairs of solutions whose boundary traces are supported in the measurement set. The global recovery proceeds by local steps using Runge approximation.

23. 关于三维情形下的最优 Wannier 衰减

On optimal Wannier decay in dimension three

作者: Simon Becker, Zhongkai Tao, Mengxuan Yang

类别: math-ph, cond-mat.mes-hall, cond-mat.mtrl-sci, math.AP, math.SP

发布日期: 2026-10-13

arXiv ID: 2610.19195v1

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

摘要: For a Chern nontrivial Bloch bundle over the three torus, we construct an orthonormal Wannier basis with the optimal pointwise decay $\mathcal{O}(|x|^{-5/2})$ . All but one of the generators decay exponentially. This resolves the question left open in arXiv:2505.01999.

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

1. 二维 Euler 流与 Navier–Stokes 流的快速分离#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 敏感性介于线性与二次增长的趋化-流体模型在任意质量下的全局可解性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. 多维 Burgers 方程平面激波的相对熵与无黏极限#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 色散方程发散集的转移原理及其应用#

摘要翻译#

2. Lipschitz 图上第 $n$ 阶 Calderón 交换子的统一 $L^2$ 界#

摘要翻译#

3. 球对称 Einstein–标量场系统的尺度临界 $μ<\frac38$ 延拓原理#

摘要翻译#

4. 能量临界薛定谔映射流的量子化慢速爆破动力学#

摘要翻译#

5. 分数阶梯度双线性型的核表示：第一部分：常系数#

摘要翻译#

6. 时谐波传播问题的 HDG 离散模型降阶#

摘要翻译#

7. 三维多孔介质中可压缩绝热流的背景扰动稳定性#

摘要翻译#

8. 通过热半群函数演算与逐点乘积模拟达西解算子#

摘要翻译#

9. 具有无散形式有界漂移项的算子在单侧弦弧域中的椭圆理论与维数下降#

摘要翻译#

10. 一阶矩约束下的锐 Sobolev 不等式#

摘要翻译#

11. 三维离散薛定谔算子所有谱阈值处的预解式展开#

摘要翻译#

12. 三维环面上具有加性 Lévy 噪声的能量临界非线性薛定谔方程的全局适定性#

摘要翻译#

13. 关于超临界散焦非线性标量波动方程的爆破#

摘要翻译#

14. 三维含重力旋转原始方程中分层态的渐近稳定性与瑞利–泰勒不稳定性#

摘要翻译#

15. ${\mathcal R}$-有界性：薛定谔算子的黎斯变换与谱乘子#

摘要翻译#

16. 椭圆算子和磁薛定谔算子的 Riesz 变换弱型 $(1,1)$ 估计#

摘要翻译#

17. 毛细理论中的润湿定理#

摘要翻译#

18. 多孔介质方程稳态的尖锐收敛速率#

摘要翻译#

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

1. 有限多普勒指数下爱因斯坦–麦克斯韦–带电标量场系统的延拓原理#

2. 从克利福德超曲面到赤道的 Allen–Cahn 流与平均曲率流#

3. 奇异 $N$-平均场方程的拓扑度#

4. 体积保持平均曲率流下测地球面的几何 $C^1$-稳定性#

5. 所有 Serrin 带均为波纹面#

6. 关于带边界流形上 Payne 不等式失效的注记#

7. 海森堡群中水平平均曲率流的一种半离散格式#

8. 具有任意快速增长非线性项的半线性热方程的精细爆破行为#

9. 具有孤立奇点的 Yamabe 方程解的参数化#

10. 具有退化边界和广义二阶算子的窄管道中的 KPP 型反应-扩散方程#

11. 非平衡快速反应极限中反应项的持续性#

12. 热点猜想的一个三维星形反例#

13. 秩一对称空间中 Neumann 特征值的耦合倒数和不等式#

14. 近场动力学世界中的自由材料优化#

15. 有限到期日 Heston 美式看跌期权的内部正则性与零方差几何#

16. 凸射影多边形的围栏猜想#

17. 通过空间局域化最大化反应：一种 PDE 约束变分方法#

18. 伴随问题的尖锐 $L^q$ 估计与 Pucci 猜想#

19. 分数阶初等对称函数与平面上的 Hessian 估计#

20. 高对比度介电蜂窝结构中的狄拉克点#

21. 具有一般非线性项的半线性热方程中 I 型爆破的非退化性与渐近行为#

22. 解的乘积的稠密性与解析背景下的线性化 Calderón 问题#

23. 关于三维情形下的最优 Wannier 衰减#

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

1. 二维 Euler 流与 Navier–Stokes 流的快速分离

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 敏感性介于线性与二次增长的趋化-流体模型在任意质量下的全局可解性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 多维 Burgers 方程平面激波的相对熵与无黏极限

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 色散方程发散集的转移原理及其应用

摘要翻译

2. Lipschitz 图上第 $$n$$ 阶 Calderón 交换子的统一 $$L^2$$ 界

摘要翻译

3. 球对称 Einstein–标量场系统的尺度临界 $μ<\frac38$ 延拓原理

摘要翻译

4. 能量临界薛定谔映射流的量子化慢速爆破动力学

摘要翻译

5. 分数阶梯度双线性型的核表示：第一部分：常系数

摘要翻译

6. 时谐波传播问题的 HDG 离散模型降阶

摘要翻译

7. 三维多孔介质中可压缩绝热流的背景扰动稳定性

摘要翻译

8. 通过热半群函数演算与逐点乘积模拟达西解算子

摘要翻译

9. 具有无散形式有界漂移项的算子在单侧弦弧域中的椭圆理论与维数下降

摘要翻译

10. 一阶矩约束下的锐 Sobolev 不等式

摘要翻译

11. 三维离散薛定谔算子所有谱阈值处的预解式展开

摘要翻译

12. 三维环面上具有加性 Lévy 噪声的能量临界非线性薛定谔方程的全局适定性

摘要翻译

13. 关于超临界散焦非线性标量波动方程的爆破

摘要翻译

14. 三维含重力旋转原始方程中分层态的渐近稳定性与瑞利–泰勒不稳定性

摘要翻译

15. ${\mathcal R}$ -有界性：薛定谔算子的黎斯变换与谱乘子

摘要翻译

16. 椭圆算子和磁薛定谔算子的 Riesz 变换弱型 $$(1,1)$$ 估计

摘要翻译

17. 毛细理论中的润湿定理

摘要翻译

18. 多孔介质方程稳态的尖锐收敛速率

摘要翻译

不相关论文（基本信息）

1. 有限多普勒指数下爱因斯坦–麦克斯韦–带电标量场系统的延拓原理

2. 从克利福德超曲面到赤道的 Allen–Cahn 流与平均曲率流

3. 奇异 $$N$$ -平均场方程的拓扑度

4. 体积保持平均曲率流下测地球面的几何 $$C^1$$ -稳定性

5. 所有 Serrin 带均为波纹面

6. 关于带边界流形上 Payne 不等式失效的注记

7. 海森堡群中水平平均曲率流的一种半离散格式

8. 具有任意快速增长非线性项的半线性热方程的精细爆破行为

9. 具有孤立奇点的 Yamabe 方程解的参数化

10. 具有退化边界和广义二阶算子的窄管道中的 KPP 型反应-扩散方程

11. 非平衡快速反应极限中反应项的持续性

12. 热点猜想的一个三维星形反例

13. 秩一对称空间中 Neumann 特征值的耦合倒数和不等式

14. 近场动力学世界中的自由材料优化

15. 有限到期日 Heston 美式看跌期权的内部正则性与零方差几何

16. 凸射影多边形的围栏猜想

17. 通过空间局域化最大化反应：一种 PDE 约束变分方法

18. 伴随问题的尖锐 $$L^q$$ 估计与 Pucci 猜想

19. 分数阶初等对称函数与平面上的 Hessian 估计

20. 高对比度介电蜂窝结构中的狄拉克点

21. 具有一般非线性项的半线性热方程中 I 型爆破的非退化性与渐近行为

22. 解的乘积的稠密性与解析背景下的线性化 Calderón 问题

23. 关于三维情形下的最优 Wannier 衰减