生成时间: 2026年03月13日 04:28:03

重点关注论文数量: 7

了解领域论文数量: 8

不相关论文数量: 13

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

1. Fluid-Structure interactions with Navier- and full-slip boundary conditions

作者: Antonín Češík, Malte Kampschulte, Sebastian Schwarzacher

类别: math.AP

发布日期: 2026-03-12

arXiv ID: 2603.12030v1

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

详细分析

论文分析:带Navier与全滑移边界条件的流固相互作用

详细分析

1. 研究对象和背景

研究对象是粘性不可压Navier-Stokes流体与大变形的粘弹性块体固体之间的相互作用问题,发生在固定有界容器$\Omega \subset \mathbb{R}^d$中。固体用参考构型$Q$上的形变$\eta:(0,T)\times Q \to \Omega$描述,流体占据剩余区域$\Omega(t)=\Omega\setminus\eta(t,Q)$,由速度$v(t):\Omega(t)\to\mathbb{R}^d$和压力$p(t):\Omega(t)\to\mathbb{R}$刻画。研究的核心创新在于采用Navier滑移边界条件替代传统的无滑移条件:流体在固体边界上允许切向滑动(切向速度可任意),而法向速度仍受不可穿透性约束$v\cdot n = \partial_t \eta \circ \eta^{-1} \cdot n$,其中$n(t)$是流体域边界随时间变化的外法向量。研究背景源于变分方法框架[BKS24a],该方法成功处理了固体大变形定义流体域边界的情形。引入滑移条件的主要动机是解决著名的“无接触悖论”(Cox-Brenner悖论),即无滑移条件下刚性固体无法在粘性流体中发生碰撞;滑移条件允许接触点处流体切向速度趋于无穷,从而可能实现碰撞[Hil07, HT09]。本文旨在将变分框架扩展到滑移情形,但需调整弱解概念,因为滑移边界条件显式依赖于时间变化的界面法向量$n(t)$,而$n(t)$本身依赖于形变$\eta$的一阶梯度,导致几何依赖性比无滑移情况高一阶,进而影响测试函数空间的定义。

2. 主要定理或主要结果

主要结果是定理1.1:在首次固体-固体碰撞发生之前,流体-结构相互作用系统(1.1)-(1.7)存在一个弱解。该弱解定义在定义3.1中,针对滑移条件进行了特别设计,引入了两类测试函数:第一类是“耦合测试函数”,要求在整个流固域$\Omega$上连续,并通过形变$\eta$从参考构型$Q$拉回;第二类是“流体专属测试函数”,仅定义在流体域$\Omega(t)$上,且在边界$\partial\eta(t,Q)$上法向分量为零(切向分量非零)。弱形式中,流体方程与耦合测试函数作用,而边界应力条件与流体专属测试函数作用。此外,论文还证明了解的正则性提升结果(定理3.4):若弱解具有足够高的正则性(即$\eta \in W^{2,\infty}$,$v\in W^{1,\infty}$等),则其自动满足强形式方程,包括原始Navier滑移边界条件(1.5)的精确形式,从而建立了弱解与强解的相容性。

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

研究方法采用三层渐近极限构造解: (1) 空间正则化(κ层):对固体能量势$E$和耗散势$R$引入$W_0^{k+2,2}$正则化,对流体耗散引入$W_0^{k,2}$正则化($k_0$足够大使$W_0^{k_0,2} \hookrightarrow W^{2,q}$)。正则化使离散方程在最高阶项变为二次型,从而允许以$(\partial_t \eta, v)$作为测试函数。参数$\kappa>0$控制正则化强度。 (2) 时间延迟近似(h层):将原方程替换为时间延迟形式,二阶时间导数$\partial_t^2 \eta$用前一时间步差商$(\partial_t \eta(t)-\partial_t \eta(t-h))/h$近似,一阶导数$\partial_t \eta$保持连续;对流项$v\cdot\nabla v$通过流图$\Phi_h$(由$\partial_t \Phi_h = v(t)\circ \Phi_h$定义)近似,即$v\cdot\nabla v \approx (v\circ \Phi_h - v(t-h))/h$。延迟量$h$与时间步长相关。 (3) 最小化移动(τ层):在时间延迟方程基础上进行时间离散(步长$\tau$),利用梯度流结构进行最小化移动近似,求解每步的离散问题。 极限顺序为$\tau \to 0$(消除时间离散),然后$h \to 0$(消除延迟近似),最后$\kappa \to 0$(移除空间正则化)。此顺序与[BKS24a]中$h$与$\kappa$同时趋于零不同,分离$\kappa$是为了清晰分析且为未来处理固体碰撞(碰撞仅在$\kappa \to 0$极限时出现,见推论4.14)做准备。

关键技术与工具包括:

  • 零延拓收敛框架:由于流体域随时间变化且可能碰撞,无法全程使用ALE方法。论文采用[EKM24]的零延拓收敛框架,将随时间变化域$\Omega(t)$上的函数通过零延拓到固定参考域$\Omega$,从而定义$L^2((0,T);W^{1,2}(\Omega(t);\mathbb{R}^d))$等空间的弱收敛(通过延拓函数在固定域上的弱收敛定义)。特别地,法向迹为零的子空间$L^2((0,T);W^{1,2}(\Omega(t);\mathbb{R}^d)_n$在弱收敛下封闭(命题2.2),这对处理滑移边界条件至关重要。
  • 坐标变换的算子理论:利用形变$\eta \in W^{2,q}$的正则性($q>d$保证$C^{1,1-d/q}$嵌入),引理2.4表明拉回算子$\xi \mapsto \xi\circ\eta$是从$L^1((0,T);W^{2,q}(\eta(Q);\mathbb{R}^d)) \cap W^{1,1}((0,T);L^2(\eta(Q);\mathbb{R}^d))$到$L^1((0,T);W^{2,q}(Q;\mathbb{R}^d)) \cap W^{1,1}((0,T);L^2(Q;\mathbb{R}^d))$的线性有界算子,确保测试函数在欧拉-拉格朗日坐标间变换的有界性。
  • 弱形式的测试函数分裂:为处理滑移条件的高阶几何依赖,将测试函数明确分为耦合类和流体专属类。耦合测试函数用于流体和固体的内部弱方程以及不可穿透性条件(确保法向速度匹配);流体专属测试函数$w$满足$w\cdot n=0$在$\partial\Omega(t)$上,其非零切向分量用于施加切向应力条件(1.5),即$\int_{\Omega(t)} \sigma_f : \nabla w \,dxdt + \int_{\partial\Omega(t)} a(\partial_t\eta\circ\eta^{-1}-v)\cdot w \,dSdt = 0$。这种分裂在所有近似层级(κ, h, τ)上同步执行,以匹配固体(二阶正则)与流体(一阶正则)的 regularity gap。
  • 先验估计的逐层建立:基于[CˇS25]的工作,在空间正则化(κ层)的离散时间近似上直接建立与$\kappa$无关的先验估计,确保后续极限过程中能量和耗散的有界性。
  • 强形式等价性证明:定理3.4通过测试函数逼近和正则性假设($\eta\in W^{2,\infty}$,$v\in W^{1,\infty}$),证明弱解满足强方程,特别是精确的Navier滑移边界条件$\sigma_s n - \sigma_f n = a(\partial_t\eta\circ\eta^{-1}-v)_\text{tan}$,其中$(\cdot)_\text{tan}$表示切向分量。

4. 与之前工作的比较

与之前工作[BKS24a, BKS23]相比,核心区别在于边界条件:本文采用Navier滑移条件(含摩擦参数$a \ge 0$,$a=0$时为全滑移),而前者采用无滑移条件。无滑移要求流固界面速度完全相等$v = \partial_t \eta\circ\eta^{-1}$,这自然使得测试函数在界面连续,仅需一类在整个$\Omega$上连续的耦合测试函数。而滑移仅要求法向速度匹配(不可穿透),切向速度可差,因此测试函数在切向方向解耦:流体专属测试函数在边界法向为零,但切向分量自由,从而在弱形式中自然出现滑移项$a(\partial_t\eta\circ\eta^{-1}-v)$的切向分量。技术后果是,滑移条件中界面法向量$n(t)$出现在边界应力项的系数中,而$n(t)$依赖于$\eta$的一阶梯度(即$\eta$的形变梯度),使得测试函数空间显式依赖于$ \nabla \eta$,而非仅通过拉回隐式依赖。这导致离散化和收敛证明更复杂,必须在所有近似层级上显式分裂测试函数。而[BKS24a]中,测试函数空间仅通过$\eta$的拉回定义,无需额外分裂。

在近似方案上,本文分离了空间正则化参数$\kappa$和时间延迟参数$h$,以便更清晰地分析极限过程,并为未来研究碰撞现象(碰撞仅在$\kappa\to 0$极限时因正则化移除而出现,见推论4.14)提供灵活性;在[BKS24a]中,$h$和$\kappa$是耦合的,同时趋于零。在结果范围上,两者均证明解直到首次碰撞存在,且均显示弱解在具有足够正则性时即为强解。但滑移条件使碰撞机制有本质不同:滑移允许接触点流体切向速度趋于无穷,从而可能避免无接触悖论,为研究弹性固体的碰撞和反弹行为提供了新起点。此外,本文的函数空间框架(零延拓收敛)与[BKS24a]的ALE方法不同,更适合处理直至碰撞的极端变形情形。


2. The “good” Boussinesq equation on the half-line: a Riemann-Hilbert approach

作者: Christophe Charlier, Jonatan Lenells

类别: math.AP

发布日期: 2026-03-12

arXiv ID: 2603.11951v1

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

详细分析

半直线上“好”Boussinesq方程的Riemann-Hilbert方法

详细分析

1. 研究对象和背景

论文研究半直线 $x \geq 0$ 上“好”Boussinesq方程的初始边界值问题。该方程源于Boussinesq 1872年对浅水波模型的推导,标准形式为 $u_{tt} = u_{xx} - (u^2)_{xx} - u_{xxxx}$(即 $\sigma=1$ 在 (1.3) 中),其“坏”版本($\sigma=-1$)线性不适定,而“好”版本线性适定,也用于描述弦的非线性振动。论文考虑缩放后的方程 $u_{tt} + \frac{1}{3}(u^2)_{xx} + \frac{1}{3}u_{xxxx} = 0$,等价于系统 $\begin{cases} v_t + \frac{1}{3}u_{xxx} + \frac{4}{3}(u^2)_x = 0, \\ u_t = v_x, \end{cases}$ 其中 $v = u_x$,且要求初始数据满足 $\int_{\mathbb{R}} u_1(x) \, dx = 0$。问题定义在区域 $\{x > 0, t \in [0,T]\}$,初始数据为 $u_0(x), v_0(x)$($x \geq 0$),边界数据为 $\tilde{u}_0(t), \tilde{u}_1(t), \tilde{u}_2(t), \tilde{v}_0(t)$($t \in [0,T]$),分别对应 $u(0,t)$, $u_x(0,t)$, $u_{xx}(0,t)$, $v(0,t)$。论文假设解存在、光滑且具有Schwartz类衰减(当 $x \to +\infty$ 时快速衰减),目标是通过仅依赖于初始和边界值的Riemann-Hilbert问题表示该解。

2. 主要定理或主要结果

论文列出两个核心定理。定理2.3处理直接问题:在无孤立子假设(Assumption 2.1)和 $k=0$ 处一般行为假设(Assumption 2.2)下,由初始和边界值定义四个反射系数 $\{r_j(k)\}_{j=1}^4$,其中 $r_1$ 定义在 $(0,\infty)$,$r_2$ 在 $(-\infty,0)$,$r_3, r_4$ 在 $\Gamma_2 = e^{\pi i/6}(0,\infty)$。这些系数通过谱函数 $s, s^A, S, S^A$ 构造,如公式 (2.20) 所示。定理陈述了 $r_j(k)$ 的光滑性、在 $k \to 0$ 和 $k \to \infty$ 处的泰勒展开、以及幅值条件。例如,$r_1(0) = \omega$($\omega = e^{2\pi i/3}$),$r_2(0)=1$,$r_3(0)=r'_3(0)=0$ 但 $r''_3(0) \neq 0$,$r_4(0)=0$ 但 $r'_4(0) \neq 0$,表明 $r_3$ 在0处二次消失,$r_4$ 线性消失;在无穷远有负幂展开,且系数满足关系 (2.24)。

定理2.6解决逆问题:从反射系数恢复解 $\{u(x,t), v(x,t)\}$。通过求解 $3 \times 3$ Riemann-Hilbert问题(RH problem 2.4)对于矩阵值函数 $M(x,t,k)$。跳跃轮廓 $\Gamma$ 由十二条射线组成:$\mathbb{R} \cup \omega\mathbb{R} \cup \omega^2\mathbb{R} \cup i\mathbb{R} \cup \omega i\mathbb{R} \cup \omega^2 i\mathbb{R}$。跳跃矩阵 $v(x,t,k)$ 显式依赖于 $\{r_j(k)\}$,如 (2.25) 所示,并满足对称性 $M(x,t,k) = A M(x,t,\omega k) A^{-1} = B M(x,t,\bar{k}) B$(其中 $A, B$ 为常数矩阵)。$M$ 需满足解析性、跳跃条件 $M_+ = M_- v$、无穷远渐近 $M = I + M^{(1)}/k + M^{(2)}/k^2 + O(k^{-3})$(且 $M^{(1)}_{12} = M^{(1)}_{13} = M^{(2)}_{12} + M^{(2)}_{13} = 0$)、原点附近奇异展开(允许二阶极点),以及 (2.32)-(2.34) 指定的结构。解由公式 $u(x,t) = -\frac{3}{2} \lim_{k\to\infty} \partial_x k \left( M_{33}(x,t,k) - 1 \right)$ 和 $v(x,t) = -\frac{3}{2} \lim_{k\to\infty} \partial_t k \left( M_{33}(x,t,k) - 1 \right)$ 恢复。此外,定义简化向量RH问题(RH problem 2.7)对于 $n(x,t,k) = (\omega, \omega^2, 1) M(x,t,k)$,它在原点正则,当解唯一时,$u,v$ 可通过 (2.39) 从 $n$ 恢复。

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

核心方法是Fokas的统一变换方法,结合Riemann-Hilbert问题技术。关键工具包括:Lax对将PDE兼容性转化为谱问题,系统 (3.1) 及其伴随 (3.5) 构成 $3 \times 3$ 矩阵问题,其中 $l_j(k) = \omega^j k$, $z_j(k) = \omega^{2j} k^2$,这区别于常见的 $2 \times 2$ Lax对(如KdV)。谱分析中,特征函数 $\mu_j(x,t,k)$ 和 $\mu^A_j(x,t,k)$ 定义为沿 $(x,t)$ 平面中特定轮廓 $\gamma_j$ 的Volterra积分方程 (3.9) 和 (3.10) 的解,这些积分依赖于初始和边界值,并在复 $k$ 平面的不同区域具有有界性。反射系数通过积分算子作用于特征函数得到的谱函数 $s(k)$, $s^A(k)$, $S(k)$, $S^A(k)$ 来构造,如 (2.17)-(2.18),然后组合成四个 $r_j(k)$,每个对应轮廓的不同部分和对称性。Riemann-Hilbert问题从散射数据 $\{r_j(k)\}$ 构建,跳跃矩阵在十二条射线段上定义,利用 $\omega$ 的旋转对称性简化。处理奇点时,无穷远指定渐近展开,原点允许 $M$ 有双极点,但通过变换 $n$ 可正则化。解唯一性对 $M$ 成立,但对 $n$ 仅在特殊情况下证明。最终,通过 $M$ 或 $n$ 的渐近行为提取 $u$ 和 $v$,涉及 $k \to \infty$ 时的极限和导数计算。

4. 与之前工作的比较

本文工作首次将Riemann-Hilbert方法应用于半直线上“好”Boussinesq方程的初始边界值问题,扩展了先前主要在全体实数线上或针对“坏”版本的结果。引言中提及:全直线“好”Boussinesq的反散射结果见于 [6],“坏”版本见于 [7,13],半直线“坏”Boussinesq见于 [5]。这些早期工作多使用 $2 \times 2$ Lax对(如KdV或NLS型方程),而本文的“好”Boussinesq对应 $3 \times 3$ 系统,复杂度更高。方法上,本文基于Fokas的统一变换方法,该方法由Fokas发展用于处理初始边界值问题,并参考 [24,25] 扩展到非 $2 \times 2$ 系统。具体地,跳跃轮廓包含十二条射线(而 $2 \times 2$ 系统通常有两条射线),反射系数有四个(而 $2 \times 2$ 系统通常两个),且原点奇异性处理因系统阶数不同而异。与 [6] 相比,[6] 处理全直线无边界,本文引入边界数据导致额外谱函数和更复杂跳跃结构。总之,本文展示了统一变换方法对高阶 integrable 系统的有效性,为半直线上的非线性演化方程提供了新工具。


3. Density dependent viscosity for the Poisson-Nernst-Planck-Compressible Navier-Stokes system

作者: Didier Bresch, Maria Kazakova, Charlotte Tonnelier

类别: math.AP

发布日期: 2026-03-12

arXiv ID: 2603.11860v1

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

详细分析

密度依赖粘度的泊松-能斯特-普朗克-可压缩纳维-斯托克斯系统

详细分析

1. 研究对象和背景

本文研究了周期性区域 $\Pi^d$($d=3$,结果对 $d=2$ 也成立)上的泊松-能斯特-普朗克-可压缩纳维-斯托克斯(PNPCNS)系统,该模型描述可压缩流体中带电粒子在静电势作用下的传输。物理参数设定为剪切粘度 $\mu(\rho) = \mu \rho$($\mu > 0$ 常数)和体粘度 $\lambda(\rho) = 0$,这是一种密度依赖的粘性形式,可能导致粘度在真空附近退化。压力状态定律采用双重奇异形式:当密度 $\rho \leq 1$ 时,$p(\rho) = c_1 \rho^{-4k}$($k > 1$,$c_1 > 0$);当 $\rho > 1$ 时,$p(\rho) = c_2 \rho^{\gamma}$($\gamma > 1$,$c_2 > 0$)。这种在真空附近奇异的压力设计具有数学稳定作用,可防止密度过早衰减至零,从而确保速度场在低密度区域仍受约束。研究背景源于近期 Marroquin 和 Wang(2024)在常数粘度且无奇异压力(即纯幂次 $p(\rho) = a \rho^{\gamma}$)时证明了全局弱解存在,但密度依赖粘度引入了新的数学挑战:粘度退化要求推导新的熵估计来控制密度梯度,同时物理上速度场在真空处未定义却需用于浓度方程,这进一步necessitates奇异压力。

2. 主要定理或主要结果

本文核心结果是定理 2:在指数 $\gamma > 1$ 且初始数据满足正则性条件(7)–(9)下,对任意 $T > 0$,存在全局熵弱解 $(\rho, u, c^+, c^-, \psi)$ 满足系统方程(1)–(5)及压力定律(10)。解需满足以下关键性质:密度 $\rho$ 非负,$\rho \in C([0,T]; L^{\gamma}(\Pi^d))$(弱拓扑)且 $\sqrt{\rho} \in L^{\infty}(0,T; H^1(\Pi^d)) \cap L^{\infty}(0,T; L^{\gamma}(\Pi^d))$;速度场 $u$ 满足 $\sqrt{\rho} u \in L^2((0,T) \times \Pi^d)$,$\rho u \otimes u \in L^{\infty}(0,T; L^{1}(\Pi^d))$,且 $u \in L^p(0,T; W^{1,q}(\Pi^d))$(其中 $1/p = 1/2 + 1/(8k)$,$1/q = 1/2 + 1/(24k)$);离子浓度 $c^{\pm}$ 非负,属于 $L^{\infty}(0,T; L^1) \cap L^1(0,T; W^{1,3/2})$ 且 $\sqrt{c^{\pm}} \in L^2$;电势 $\psi$ 属于 $L^{\infty}(0,T; H^1) \cap L^1(0,T; W^{3,3/2}) \cap C([0,T]; L^p)$(对 $p \in [1,6)$)。解必须满足分布意义下的方程,$\psi$ 为 Poisson 方程的强解,并满足能量不等式(11)和推广的 BD 熵不等式(13)对所有 $t \in [0,T]$ 成立。能量泛函 $E_1(t)$ 和 BD 熵泛函 $E_2(t)$ 分别由(12)和(14)给出,包含动能、内能、熵函数 $\sigma(c) = c \ln c - c + 1$ 以及电场所贡献。

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

证明方法采用近似正则化结合紧性论证的经典策略。首先构造正则化系统(第 4 节),通过添加人工粘性、截断压力等项保证光滑解的存在性;然后通过一致估计,利用紧性工具(如 Aubin-Lions 引理)让正则参数趋于零,获得原系统的熵弱解。关键技术和工具包括:

  • 能量估计:基于正式的能量等式(15),通过将动量方程与速度 $u$ 做内积、PNP 方程与电化学势 $\sigma'(c^{\pm}) \pm e\psi$ 做内积,并整合 Poisson 方程,在周期性边界下得到能量消散率。这提供了 $\sqrt{\rho} u \in L^2$ 和电场的 $L^2$ 控制,是基础稳定性来源。
  • 推广的 BD 熵估计:这是应对密度依赖粘度退化的核心创新。对于 $\mu(\rho) = \mu \rho$,作者通过取质量方程的梯度结合对数密度 $v = \mu \ln \rho$,再与动量方程叠加,得到(22)式。取与 $(u + 2v)$ 的内积后,利用压力定律的性质($\pi(\rho) = \rho \int_{\bar{\rho}}^{\rho} p(s)/s^2 ds = \rho e(\rho)$)和分部积分,导出包含 $2\mu \rho A(u)^2 + 2\mu \rho^{-1} p'(\rho) |\nabla \rho|^2$ 的新项。同时,PNP 部分经类似处理产生浓度梯度项 $8\mu |\nabla \sqrt{c^{\pm}}|^2$ 和电场项 $2\mu \varepsilon |\Delta \psi|^2$。最终整合得 BD 熵等式(20),其泛函 $E_2(t)$(14)包含 $2\mu \ln \rho^2$、$2\mu \rho \sigma(c^{\pm}/\rho)$ 等交叉项。该等式提供了 $\rho$ 和 $c^{\pm}$ 的空间梯度控制,克服了粘度退化,是证明 $\sqrt{\rho} \in H^1$ 和浓度正则性的关键。
  • 熵方法:通过精心选择乘子(如 $\sigma'(c^{\pm}) \pm e\psi$ 和 $v = \mu \ln \rho$),利用链式法则和散度结构,将非线性项转化为散度形式以便积分抵消。这依赖于压力定律的具体形式(特别是 $\rho^{-4k}$ 奇异部分)和粘度结构($\mu(\rho) \propto \rho$)。
  • 正则化技术:近似系统需保持奇异性可控,例如通过截断密度避免零值、添加高阶粘性项保证局部光滑性,同时确保能量和 BD 熵估计在正则化参数下一致成立。

4. 与之前工作的比较

本文工作与现有文献比较有如下特点:

  • 与常数粘度情形对比:Marroquin 和 Wang(2024)处理常数剪切和体粘度($\mu, \lambda$ 常数)且无奇异压力($p(\rho) = a \rho^{\gamma}$),通过标准能量估计得到 $u \in L^2(0,T; H^1)$,但未导出类似 BD 熵的精确等式,仅有估计。本文的密度依赖粘度 $\mu(\rho) = \mu \rho$ 导致可能的粘度退化(当 $\rho \to 0$ 时 $\mu(\rho) \to 0$),这要求新的熵等式提供 $|\nabla \rho|$ 的直接控制,这是完全新颖的贡献,如 Remark 1 所述。
  • 与奇异压力文献关联:真空附近的奇异压力 $p(\rho) = c_1 \rho^{-4k}$($k>1$)沿用了 Bresch-Desjardins(2007)处理可压缩混合物的思想,以及 Zatorska(2012)、Bresch-Desjardins-Zatorska(2015)等对双重奇异压力的研究,旨在通过压力梯度补偿粘度退化,稳定真空区域。但本文将其与 PNP 系统耦合,并针对密度依赖粘度发展了熵结构。
  • 数学框架差异:常数粘度情形属于 Lions-Feireisl 框架(见 [17,11,9]),而密度依赖粘度属于 Bresch-Desjardins 框架([1,2,22,4,16]),后者需要更精细的熵构造来处理退化。本文将后者扩展到 PNP-可压缩 NS 系统,结合了 Nernst-Planck 方程的浓度熵和 Poisson 方程的电能。
  • 物理困难的解决:在真空处 $\rho=0$,可压缩 NS 方程不决定速度,但 Nernst-Planck 方程需要速度场。本文通过奇异压力强制 $\rho$ 远离零(因 $\sqrt{\rho} \in H^1$ 蕴含 $\rho$ 控制远离零),从而间接确定速度,这是物理一致性所需,与文献中处理可压缩流真空的方法一致。
  • 熵等式的意义:推广的 BD 熵等式(20)不仅用于弱解存在性,还可用于相对熵分析(如电中性极限 [20])和数值格式设计,这比常数粘度情形下的估计更具表达力,因为等式形式允许精确的平衡项比较。

4. Global-in-time strong solutions for the 2D and 3D generalized compressible Navier-Stokes-Korteweg system with arbitrarily large initial data

作者: Yongteng Gu, Xiangdi Huang, Weili Meng, Huitao Zhou

类别: math.AP

发布日期: 2026-03-12

arXiv ID: 2603.11762v1

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

详细分析

关于二维和三维广义可压缩Navier-Stokes-Korteweg系统任意大初值全局强解的研究

详细分析

1. 研究对象和背景

本文研究的对象是广义可压缩Navier-Stokes-Korteweg (NSK) 系统,这是一个描述具有内聚效应(毛细作用)的可压缩流体的模型。该系统源于Korteweg在1901年为模拟流体内部毛细现象提出的应力张量形式,后由Dunn和Serrin于1985年进一步完善。系统方程包含质量守恒方程和动量方程,其中动量方程涉及依赖于密度的粘性系数($μ(ρ)$和$λ(ρ)$)以及由密度梯度驱动的Korteweg毛细应力张量$K$。物理上要求粘性系数满足$μ(ρ) ≥ 0$和$2μ(ρ)+Nλ(ρ) ≥ 0$($N$为空间维数)。在数学上,对于二维和三维该系统的全局强解(或经典解)在任意大初值假设下的存在性,长期被视为一个极具挑战性的公开问题。已有的重要进展主要局限于球对称初值、小初值或粘性系数满足特定Bresch-Desjardins (BD) 关系的场景,而一般初值情形,特别是当粘度系数指数$α > 1$时,始终未获突破。本文旨在解决这一长期悬而未决的问题,在粘度系数与毛细系数满足一种特定的代数关系(即$μ(ρ)=να, λ(ρ)=2ν(α-1)ρα, κ(ρ)=ε^2α^2ρ^{2α-3}$,其中$\nu \geq \varepsilon > 0$)的非弥散 regime 下,证明对于任意大的正则初值,二维和三维系统在周期区域(环面$T^N$)上均存在唯一的全局强解。

2. 主要定理或主要结果

论文的核心结果是定理1.1,它确立了在所述假设下全局强解的存在唯一性。设定$N \in \{2,3\}$并记$\beta = 1 - \varepsilon^2/\nu^2$。定理要求指数组$(α,γ,β)$满足:

  • 当$N=2$时,$α \in (\frac{5-\sqrt{17}}{4}, 1]$,$γ \in [1, \infty)$,$β \in [0, \beta_{-}(α))$。
  • 当$N=3$时,$α \in (\frac{9\sqrt{3}-4\sqrt{2}}{9\sqrt{3}-2\sqrt{2}}, 1]$,$γ \in [1, \frac{3}{2}]$,$β \in [0, \beta_{-}(α))$。 其中$\beta_{-}(α)$是某个二次方程的正根。初值条件要求密度有正的上界$\bar{\rho}_0$和下界$\underline{\rho}_0$,且$\rho_0 \in H^3$,$u_0 \in H^2$。结论是:存在唯一全局强解$(\rho, u)$,对任意$0<T<\infty$,满足
    $$ \begin{aligned} & C(T)^{-1} \leq \rho(x,t) \leq C(T), \\ & \rho \in C([0,T]; H^3) \cap L^2(0,T; H^4), \quad \rho_t \in C([0,T]; H^1) \cap L^2(0,T; H^2), \\ & u \in C([0,T]; H^2) \cap L^2(0,T; H^3), \quad u_t \in L^\infty(0,T; L^2) \cap L^2(0,T; H^1), \end{aligned} $$
    其中常数$C(T)$依赖于初值和$T$。该结果首次证明了三维一般NSK系统在非弥散 regime($\nu \geq \varepsilon$)下对任意大正则初值的全局强解存在性。 Remarks 补充说明:端点情形$α=1$对应量子Navier-Stokes方程,当$\nu=\varepsilon$时已有文献处理;本文方法不能直接用于端点或$\nu<\varepsilon$的情形;指数限制的物理和数学来源在文中亦有解释。

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

论文的核心技术围绕一个关键变换——引入有效速度(effective velocity)将原始系统转化为抛物型系统,并采用改进的Nash-Moser迭代方法处理非线性抛物方程以建立密度的上下界估计,进而闭合高阶能量估计。 关键变换与抛物系统:在粘度与毛细系数满足$\nu \geq \varepsilon$的条件下,由Bresch等人引入,定义有效速度

$$ v = u + c_+ α ρ^{α-2} \nabla ρ, $$

其中$c_+ = \nu + \sqrt{\nu^2 - \varepsilon^2}$。利用此变换,原系统(1)可重写为关于$(\rho, v)$的抛物系统(11):

$$ \begin{cases} \rho_t + \operatorname{div}(\rho v) - c_+ Δ ρ^α = 0, \\ (\rho v)_t + \rho u \cdot \nabla v + \nabla P = \nu \operatorname{div}(ρ^α \nabla v) + (\nu - c_+) \operatorname{div}(ρ^α (\nabla v)^t) + (α-1)(2\nu - c_+) \nabla(ρ^α \operatorname{div} v). \end{cases} $$

此系统在$\alpha \leq 1$时为具有对流项的快扩散型抛物方程。 改进的Nash-Moser迭代方法:为从$L^p$估计提升密度的正则性至$L^\infty$(上界),以及为$\tau = \rho^{-1}$建立$L^\infty$下界(等价于密度下界),论文发展了针对非线性抛物方程的迭代方案。其核心是推导一个逆Hölder不等式,形式如

$$ \|\rho\|_{L^s L^{q_N+2}}^2 \leq C \eta C_r^\xi (p+2)^2 \|\rho\|_{L^l L^{q_N+2}}^2 + C_0^\xi \|\rho_0\|_{L^2}^2, $$

其中指数$s, l, ξ, η$依赖于参数$p, q_N, r$。迭代设计的关键在于:选择$q_N > N-2$和合适的$r$使$l \to \infty$(保证最终达到$L^\infty$),同时要求指数满足$\xi + \eta \leq 1$以防止迭代中能量爆炸。这导出对$α$和$β$的关键约束条件(如$α > \frac{q_N+1}{q_N+2}$等)。迭代的前提是已知有效速度$v$具有某种空间可积性,具体为$\|\rho^{\frac{q_N}{q_N+2}} v\|_{L^\infty_T L^{q_N+2}}$的有界性,其来源于对$v$方程乘$|v|^{q_N} v$积分后得到的能量估计。该估计的成功依赖于扩散项的正性,导出对$q_N$的约束,并进一步在三维情形中对压力指数$\gamma$施加限制。类似的迭代也用于下界估计,此时方程作用于$\tau = \rho^{-1}$。整个迭代过程的启动点估计(即初始的$\|\rho\|_{L^{l_0} L^{q_N+2}}$)也需要精细处理。 高阶能量估计:在获得密度的全局正上下界后,可对抛物系统进行标准的高阶能量估计,闭合速度及其导数的$L^2$范数估计。非线性项(如$u \cdot \nabla v$、$ρ^α$的导数等)通过Gagliardo-Nirenberg不等式和已有的密度界限进行控制。整个高阶估计框架依赖于$α$和$γ$满足的条件以确保各项可积且迭代过程有效。

4. 与之前工作的比较

本文的工作在多个维度上推进了领域进展,与既有文献相比具有显著区别和推广性。 问题的一般性:此前关于NSK系统全局强解(非球对称、任意大初值)的成功结果主要集中在两类特殊情况:一是量子Navier-Stokes情形($α=1, μ(ρ)=νρ, λ(ρ)=0, κ(ρ)=ε^2/ρ$),Huang-Meng-Zhang和Huang-Gu-Lei先后在周期域和全空间证明了结果,但要求$\nu=\varepsilon$;二是具有BD关系的可压缩Navier-Stokes系统($κ=0$),近年Zhang、Huang-Meng-Zhang等才突破大初值强解问题。本文研究的是最一般的线性化粘性系数形式$μ(ρ)=να, λ(ρ)=2ν(α-1)ρα$与对应的毛细系数$κ(ρ)=ε^2α^2ρ^{2α-3}$的组合,且允许$\nu > \varepsilon$(非弥散 regime),覆盖了量子情形($α=1$)但远为更广。这是首次证明三维一般NSK系统($α \leq 1$)在任意大初值下的全局强解存在性。 方法的创新与难度:虽然框架上借鉴了[15](量子情形)引入有效速度和Nash-Moser迭代的思路,但本文面临的全新挑战源于$α < 1$带来的强非线性。原密度方程变为快扩散型抛物方程,导致迭代中涉及的$ρ^α$及其导数无法像$α=1$时那样线性处理。为此,论文发展了一套全新的迭代方案,通过精心选择参数($q_N, r$)并分析逆Hölder不等式中各项的成长性,同时处理了$ρ^α$带来的额外非线性项。特别是,下界估计同样依赖$\alpha<1$时$\tau=\rho^{-1}$方程仍为抛物型的性质。此外,三维情形的高阶估计因压力梯度项的$L^p$可积性要求而需限制$\gamma \leq 3/2$,这是二维所没有的额外约束。Remark 4明确指出,当$α$超出定理范围(如$α>1$)或$\nu<\varepsilon$时,方法失效,问题依然开放,突显本文方法的精细性和局限性。 结论的完备性:定理不仅给出了存在性,还提供了关于指数$(α,β,γ)$允许范围的具体刻画,并讨论了这些约束的来源(二维中来自下界,三维中来自高阶估计和上界)。这为理解该物理模型参数空间中解的整体性态提供了重要信息。


5. Random divergence-free drifts and the Onsager-Richardson threshold

作者: Daniel W. Boutros, Camillo De Lellis, Svitlana Mayboroda

类别: math.AP, math.PR

发布日期: 2026-03-12

arXiv ID: 2603.11466v1

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

详细分析

随机无散度漂移与Onsager-Richardson阈值

详细分析

1. 研究对象和背景

本文研究被动标量输运方程中的反常耗散与反常正则化现象。考虑由无散度自治向量场驱动的标量方程 ∂θ/∂t + (v·∇)θ = ε∆θ,当粘度 ε → 0 时,标量方差是否在极限下非零耗散是核心问题。Onsager 在 1949 年指出,对于可微性低于 Hölder 指数 1/3 的 Euler 解,能量可能不守恒,该阈值已被证明是刚性与柔性的分界。对于被动标量,物理上的级联理论(Obukhov-Corrsin-Yaglom)预言标量的有效正则性 β 与向量场正则性 α 满足 α + 2β = 1,即湍流混合产生持续的有效光滑效应(反常正则化)。数学上,仅在少数特定向量场构造中观察到反常耗散或反常正则化,而最近的突破性工作 [5] 在接近 Hölder 指数 -1 的粗糙随机场中同时建立了两种现象。本文聚焦于自治(时间无关)随机向量场情形,探究在向量场正则性高于 Onsager 阈值 1/3 时,反常效应是否必然消失。核心概念是 DiPerna-Lions 重正化性质:若一个有界弱解经过任意 C^1 函数变换后仍是方程的解,则解唯一、沿拉格朗日流保持常数,且当 ε→0 时强收敛到无粘性方程的解,从而反常耗散被排除。在确定性层面,该性质与向量场所诱导流函数(或哈密顿量)的 Morse-Sard 性质(临界值集零测)等价。

2. 主要定理或主要结果

论文在二维和三维环面上建立了两个主要正性定理,均要求向量场几乎必然属于 Hölder 空间 C^α 且 α > 1/3,并满足极温和的非退化条件(见下文)。定理 1.2(二维情形): 设概率测度 P 定义在零平均、无散度自治向量场 v ∈ C^α(T^2) (α>1/3) 的空间上,且满足: 对任意 x ∈ T^2 和 v₀ ∈ ℝ²,P(v: |v(x)-v₀| ≤ r) ≤ Cr²。则 P-几乎必然,v 具有 DiPerna-Lions 重正化性质,故不存在反常耗散。定理 1.3(三维情形): 设概率测度 P 定义在 C^{1,α} 映射 ϕ: T³ → ℝ² (α>1/3) 的空间上,满足相应非退化条件: P(ϕ: |Dϕ(x)-M₀| ≤ r) ≤ Cr⁶。则 P-几乎必然,向量场 v = ∇ϕ₁ × ∇ϕ₂ 具有 DiPerna-Lions 重正化性质,故不存在反常耗散。作者进一步给出一般定理 2.2,将结论推广到 d 维情形,其中向量场由 d-1 个 C^{1,α} 函数的楔积通过 Hodge 星算子构造。这些结果的直接推论是,对于此类随机场,反常正则化(即标量在极限下获得有效光滑性)同样不会发生,因为重正化性质排除了能量在极限下的非零耗散,而反常耗散与反常正则化在 α+2β ≤ 1 的意义上相关。阈值 α = 1/3 在此概率设定下是sharp的,因为已知存在 α < 1/3 的确定性和随机性构造产生反常耗散。

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

证明的核心策略是将 DiPerna-Lions 重正化性质的验证归约为一个几何条件——Morse-Sard 性质,并通过概率维数论证来证明该性质几乎必然成立。关键引理是 Alberti-Bianchini-Crippa 的深刻结果: 若向量场可由势函数(流函数)构造且该势函数满足 Morse-Sard 性质(其临界值集 Lebesgue 零测),则任意有界弱解是重正化的。因此证明分为两步: 首先,利用概率测度的非退化假设(b),证明几乎必然地,C^{1,α} 函数 ϕ 的临界点集 Z = {x: rank(Dϕ) ≤ d-2} 的 Hausdorff 维数不超过 d-2α (Lemma 3.1);其次,当 α > 1/3 时,由维数条件 d-2α < d-1 结合确定性覆盖论证,推出 ϕ(Z) 是 ℝ^{d-1} 中的零测集 (Lemma 3.2)。Lemma 3.1 的证明采用“先矩、再分形覆盖、最后 Borel-Cantelli”的标准概率论框架: 固定 N,用 cubical decomposition 覆盖定义域,通过 Lipschitz 估计和假设(b)给出的概率密度上界,控制每个小立方体内出现高秩亏值的概率;求和并应用 Chebyshev 不等式得到大偏差概率的可叠缩性;由 Borel-Cantelli 引理得出,几乎必然地,对所有大 k,临界点可通过 ≤ 2^{(d-2α+ε)k} 个边长为 2^{-k} 的小立方体覆盖,从而临界集 Hausdorff 维数 ≤ d-2α。Lemma 3.2 的证明是纯几何的: 利用临界点处导数秩亏的性质,选取正交方向,通过 Lagrange 中值定理和 Hölder 连续性,证明 ϕ 在小球上的像被包含在低维仿射空间附近一个厚度可控的柱体内;进而,该柱体可被数量级为 r^{-α(d-2)} 个半径为 r^{1+α} 的小球覆盖;结合覆盖 Z 的球的 r 幂次和,当 1+α > d-2α (即 α > 1/3) 时,其覆盖的 Lebesgue 测度可任意小。整个论证的关键不等式 1+α > d-2α 在 d=2,3 时即 α>1/3,它精确表征了 Hölder 正则性与临界集维数之间的竞争,从而导出 Onsager 阈值。工具上,Hausdorff 测度与维数、代数几何中低秩矩阵集合 W 的余维 2 性质、以及覆盖引理是基础。

4. 与之前工作的比较

本文结果与 Onsager 对 Euler 方程的著名猜想共享阈值 1/3,但机制本质不同。Onsager 猜想的证明([15,17,28,30])基于能量通量的交换子估计与凸积分构造,而本文完全依赖几何维数论证。与被动标量反常耗散/正则化的已有工作相比,本文提供了首个在 Onsager 超临界(α>1/3)区域对自治随机场的正性结果。之前构造反常效应的例子(如 [6,10,11,14,16,27,29,33])均针对 α < 1/3 的特定确定向量场,而 [5] 在 α 接近 -1 的随机场中同时证明了反常耗散与反常正则化,其粗糙性源于时间白噪声,与本文的自治空间 Hölder 粗糙性不同。值得注意的是,物理文献中的级联理论通常预言 α+2β=1,并未暗示 α=1/3 为临界点,而本文的阈值恰好与Onsager阈值重合,且恰好对应物理上湍流的典型Hölder指数,作者认为这“非常有趣”但尚不能解释是否为巧合。在技术层面,本文的概率 Morse-Sard 论证与 [2] 的确定性格局理论相结合,而非基于能量的级联分析。此外,本文的非退化条件(b)极为温和(等价于向量场点值分布有界密度),且可进一步放松,例如三维情形只需在秩 ≤ d-2 的矩阵附近满足。最后,本文结果属于“几乎必然”类型,不同于多数确定性正结果,但更接近物理实际中的随机 turbulent 流。


6. Inertial Limit of global weak solutions for Compressible Navier–Stokes

作者: Cheng Yu

类别: math.AP

发布日期: 2026-03-12

arXiv ID: 2603.11432v1

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

详细分析

可压缩Navier-Stokes方程全局弱解惯性极限

详细分析

1. 研究对象和背景

本文研究可压缩Navier-Stokes方程在三维环面$\mathbb{T}^3$上的惯性极限问题,允许解中出现真空区域。系统通过小参数$\varepsilon > 0$进行缩放,该参数度量惯性效应相对于压力和粘性力的强度。当$\varepsilon \to 0$时,惯性项在动量方程中消失,系统收敛到一个压力-粘性力主导的极限系统,其中动量方程退化为一个静止的椭圆型平衡方程,速度场由密度场瞬时决定,反映了过度阻尼的动力学行为。这种极限自然出现在强粘性流、多孔介质模型或慢速动力学中。研究背景基于Lions、Feireisl等人发展的弱解理论,该理论允许真空存在并保证缩放系统的全局有限能量弱解的存在性。具体地,对于3维情形,要求绝热指数$\gamma > \frac{3}{2}$以确保存在性。论文在数学上严格验证了从惯性可压缩流到过度阻尼极限的收敛过程,填补了惯性极限严格结果的稀缺文献。

2. 主要定理或主要结果

论文的核心结果是定理1.1:对于$\gamma > \frac{3}{2}$,设$(\rho_\varepsilon, u_\varepsilon)$是缩放系统$(1.1)$-$(1.2)$在$[0, T] \times \mathbb{T}^3$上的全局有限能量弱解。在well-preparedness假设$\varepsilon \int_{\mathbb{T}^3} \rho_\varepsilon(0, x) |u_\varepsilon(0, x)|^2 \, dx \to 0$当$\varepsilon \to 0$下,存在子序列(仍记为$\varepsilon \to 0$)使得$\rho_\varepsilon$弱收敛到$\rho$在$L^\infty(0, T; L^\gamma(\mathbb{T}^3))$,强收敛在$L^1(0, T; L^1(\mathbb{T}^3))$;$u_\varepsilon$弱收敛到$u$在$L^2(0, T; H^1(\mathbb{T}^3; \mathbb{R}^3))$。极限对$(\rho, u)$是极限系统$(1.3)$-$(1.4)$的弱解,并满足精确能量等式:

$$ \int_{\mathbb{T}^3} \frac{\rho^\gamma}{\gamma - 1} \, dx + \int_0^T \int_{\mathbb{T}^3} \left( \nu |\nabla u|^2 + (\nu + \lambda) (\operatorname{div} u)^2 \right) \, dx \, dt = \int_{\mathbb{T}^3} \frac{\rho_0^\gamma}{\gamma - 1} \, dx. $$

此外,缩放动能消失:对每个固定$t > 0$,

$$ \varepsilon \int_{\mathbb{T}^3} \rho_\varepsilon(t, x) |u_\varepsilon(t, x)|^2 \, dx \to 0 \quad \text{as} \quad \varepsilon \to 0. $$

这反映了极限动力学中惯性效应完全丧失,速度场不独立演化,而是准静态地响应密度变化。

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

研究主要依赖以下方法和工具:

  • 缩放系统构造:引入参数$\varepsilon$缩放动量方程,使惯性项乘以$\varepsilon$,从而将系统置于强摩擦或高粘性极限框架下。
  • 弱解定义框架:采用Lions-Feireisl框架,对缩放系统定义有限能量弱解,包括连续性方程的重正化形式、动量方程的Weak形式及能量不等式(定义1.1);对极限系统定义弱解,要求满足椭圆型动量方程的弱形式(定义1.2)。
  • 统一的先验估计:从能量不等式$(1.5)$推导出与$\varepsilon$无关的界:$\sqrt{\varepsilon} \sqrt{\rho_\varepsilon} u_\varepsilon$在$L^\infty(0, T; L^2(\mathbb{T}^3))$有界,$u_\varepsilon$在$L^2(0, T; H^1(\mathbb{T}^3))$有界,$\rho_\varepsilon$在$L^\infty(0, T; L^\gamma(\mathbb{T}^3))$有界。进一步,利用重正化技术和引理2.1,通过空间磨光操作符$S_m$,得到更高阶密度估计$\int_0^T \int_{\mathbb{T}^3} \rho_\varepsilon^{\gamma + \theta} \, dx \, dt \leq C$($\theta > 0$依赖$\gamma$)。
  • 紧致性与收敛证明:结合上述界限和Aubin-Lions型紧致定理,证明$\rho_\varepsilon$在$C(0, T; L^\gamma(\mathbb{T}^3))$中弱收敛且在$L^1(0, T; L^1(\mathbb{T}^3))$中强收敛;$u_\varepsilon$在$L^2(0, T; W^{1,2}(\mathbb{T}^3))$中弱收敛。缩放动能的消失通过估计$\varepsilon \rho_\varepsilon u_\varepsilon$的范数实现,利用$\sqrt{\varepsilon} \sqrt{\rho_\varepsilon} u_\varepsilon$的有界性和$\sqrt{\rho_\varepsilon}$的积分控制。
  • 能量等式升级:对于极限系统,将能量不等式升级为等式。关键步骤是引理3.1,使用Bogovskii算子(环面上的逆散度算子)作为测试函数成分,证明压力项$\rho^\gamma$在$L^2(时间-空间)$中有界。随后,选择测试函数$S_m(S_m(u))$($S_m$为空间磨光),代入重正化方程,控制余项$R_m \to 0$,从而推导出精确能量等式。
  • well-preparedness假设:排除初始惯性层的影响,确保从缩放系统到极限系统的平滑过渡。

4. 与之前工作的比较

本文专门针对可压缩Navier-Stokes方程的惯性极限(inertial limit)进行严格数学分析,即惯性项相对消失的极限。之前文献多聚焦于其他奇异性极限,如vanishing viscosity limit(粘性系数趋于零)或incompressible limit(马赫数趋于零),这些极限涉及不同数学结构(如双曲-抛物耦合或椭圆-抛物系统)。作者指出,关于惯性极限的严格结果较为稀缺,突显了本文的新颖性和重要性。本文基于Lions和Feireisl等人的经典存在性理论(允许真空),扩展了弱解理论到过度阻尼 regime。极限系统与Brinkman型关系相似,常见于多孔介质过滤模型。与vanishing viscosity limit相比,惯性极限导致完全失去动态速度演化,动能消失,且极限解满足精确能量等式,无异常耗散现象。工作为可压缩流的多种尺度分析提供了新见解,并验证了物理直觉中过度阻尼状态的数学合理性。


7. Self-similar blow-up profile for the one-dimensional reduction of generalized SQG with infinite energy

作者: Thomas Y. Hou, Xiang Qin, Yannick Sire, Yantao Wu

类别: math.AP

发布日期: 2026-03-11

arXiv ID: 2603.11301v1

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

详细分析

推广型表面地转流方程无限能量情形的自相似爆破解一维约化研究

详细分析

1. 研究对象和背景

本文研究的核心对象是无粘推广型表面地转流方程,即二维全空间 $\mathbb{R}^2$ 和上半平面 $\mathbb{R}^2_+$ 上的主动标量输运系统,其一般形式为 $\partial_t \theta + u \cdot \nabla \theta = 0$,其中速度场 $u$ 通过 Riesz 变换由 $\theta$ 给出,即 $u = \nabla^\perp (-\Delta)^{\alpha-1} \theta$,参数 $\alpha \in (0,1)$。该方程族覆盖了从 $\alpha=0$ 时的 2D 欧拉涡量方程到 $\alpha=\frac{1}{2}$ 时的无粘 SQG 方程。研究的主要动机是理解这些方程在光滑初值下是否可能在有限时间内形成奇点,这是一个长期未解决的基础问题。为了获得理论可处理性,作者考虑了一个特殊的“无限能量”函数类,其中拉格朗日量允许形如 $\theta(x,y,t) = y \omega(x,t)$ 的结构假设。这一假设导致二维动力学约化为一个封闭的一维输运-拉伸系统(称为 1D-gSQG-R2),其速度梯度由一个显式的奇异积分算子(依赖于 $\alpha$)给出。关键创新在于,这种约化不仅是形式的,而且可逆:一维系统的解可以提升为原二维方程在特定无限能量类中的 genuine 解。此一维模型在结构上与 Constantin-Lax-Majda/De Gregorio 家族相似,其动量方程的核为 $|x|^{-1-2\alpha}$。研究的核心目标是证明此一维约化模型存在有限时间自相似爆破解。

2. 主要定理或主要结果

本文在两个几何设置下建立了自相似爆破解的存在性,并通过动态标度变换统一描述了这些解的形式。对于全空间 $\mathbb{R}^2$,定理 1.1 断言存在形如 $\theta(x,y,t) = -xy f^*(x/(T-t)^{c_\ell})$ 的爆破解,其中时间爆破指数 $c_\ell = -\frac{1}{2-2\alpha} < 0$,剖面函数 $f^*$ 是紧支集的非负偶函数,在 $[0,\infty)$ 上单调递减且满足 $\sqrt{f^*}$ 凸性,并在支集内部光滑。参数 $c_\theta$ 由 $c_\theta = \frac{1}{2-2\alpha}$ 确定,使得 $c_\theta - 2\alpha c_\ell = -1$。对于上半平面 $\mathbb{R}^2_+$,定理 1.2 针对其边界驱动的 1D 约化模型(方程 (3))证明了解的存在性,形式为 $\theta(x,t) = (T-t)^{c_\theta} (T-t)^{-c_\ell} x f(x/(T-t)^{c_\ell})$,其中 $c_\theta > 0$, $c_\ell > 0$ 且满足 $c_\theta - 2\alpha c_\ell = -1$,剖面 $f$ 是正的偶函数,在 $[0,\infty)$ 上单调递减,$\sqrt{f}$ 凸,且在整个实数轴光滑。与全空间的关键区别在于,半平面情形的剖面非紧支集,具有更长程的衰减行为。两个定理均通过构造满足特定形状约束(单调性、凸性型控制、障碍条件)的函数作为 Schauder 不动点问题的不动点来实现。

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

研究的主要技术路线为:首先,基于 $\theta(x,y,t)=y\omega(x,t)$ 的 ansatz,通过直接计算将二维 gSQG 严格约化为一个一维系统(1D-gSQG-R2),其速度算子 $u$ 和奇异积分 $P_{1,\alpha}$ 均由显式公式给出。约化的可逆性通过定义势函数 $\Psi(x,y,t)=y\psi(x,t)$ 并验证 $\theta=(-\Delta)^{1-\alpha}\Psi$ 来证明。其次,引入动态标度变换,设定自相似变量 $z = x/(T-t)^{c_\ell}$,将寻找有限时间爆破解的问题转化为求解一个不显含时间的函数方程(方程 (8))。该方程进一步通过变量替换 $f(x) = -\Omega(x)/(x\Omega'(0))$, $v(x)=c_\ell x + P_{0,\alpha}(\Omega)$ 约化为一个更便于分析的 profile 方程(方程 (11))。方程 (11)的核心是一个非线性积分-微分关系,其中 $v$ 通过奇异积分 $T_\alpha(f)$ 与 $f$ 关联。然后,为应用 Schauder 不动点定理,作者在加权连续函数空间 $V_0$(赋予加权范数 $\|\rho f\|_{L^\infty_\rho}$,$\rho(x)=(1+x)^{-\alpha}$)中精心构造了一个闭凸集 $V_1$。$V_1$ 包含的函数需满足:$f(0)=1$,非负、在 $[0,\infty)$ 上非增,$\sqrt{f(\sqrt{x})}$ 凸(即 $f$ 满足根号凸性),有下界 $\max(0,1-x^2)$,且右导数在 $x=1/2$ 处有负下界 $-\eta$。这些约束是技术上的关键:根号凸性保证了积分算子 $T_\alpha$ 保持形状;下界和导数下界确保了归一化常数 $c(f)$ 为正有限,从而使非线性映射 $R_\alpha(f) = \max(0, 1 + T_\alpha(f)/c(f))$ 良定义;加权范数保证了集合在无穷远处的紧性。通过一系列估计(见附录),证明 $T_\alpha$ 将 $V_1$ 映射到自身,且 $R_\alpha$ 连续并将 $V_1$ 紧地映射到自身。Schauder 定理给出不动点 $f$,进而通过 $v'(0)$ 和积分表达式确定参数 $c_\ell, c_\omega$,最终回升至原剖面 $\Omega$。对于上半平面情形,由于边界效应导致聚焦型爆破且剖面非紧支集,函数空间和障碍条件需要重新设计以控制尾部衰减,但整体策略平行。

4. 与之前工作的比较

本文的工作与文献中关于 SQG/gSQG 方程正则性和奇点形成的广泛研究相区别。首先,在正则性方面,已有结果(如引用 [21,4])表明临界耗散 SQG 全局光滑,而本文关注的是无粘情形,这是奇点形成的可能性场景。在强病态性和低正则性方面,已有工作(如 [15,11,18,12])证明了 Sobolev/Hölder 空间中的强病态性和解的非唯一性(如 [3,6,16] 的凸积分构造),这些结果通常不涉及构造具体爆破解。在几何约束的 patch 情形下,有研究边界附近奇点(如 [20,13,17]),但多为数值或特定对称性下的分析。最接近的对比是与 [14,5] 对 De Gregorio 模型(属于 gCLM 家族)的工作,该工作也通过动态标度和 Schauder 不动点论证构造了扩张型自相似爆破解。本文的创新之处在于:(1)针对具有不同奇异核($|x|^{-1-2\alpha}$ 而非 $|x|^{-1}$)的 gSQG 一维约化模型,发展了新的固定点框架。核的不同导致需要设计不同的函数空间 $V_1$,特别是引入加权范数 $\|\rho f\|_{L^\infty_\rho}$ 和根号凸性约束,以处理不同的远场行为和保证积分算子的映射性质。(2)同时处理了全空间(扩张型、紧支)和上半平面(聚焦型、非紧支)两种几何设置,后者涉及边界产生的双曲流几何,其函数空间需调整以控制衰减尾部。(3)严格证明了约化的可逆性,将一维不动点解提升为二维无限能量类中的 genuine 解。因此,本文提供了一种系统性的、 constructive 的方法来证明特定无限能量类中自相似爆破的存在性,补充了约束 profile 存在性的间接结果。


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

1. 分块算子矩阵技术在双曲方程稳定性性质中的应用

Block operator matrix techniques for stability properties of hyperbolic equations

作者: Marcus Waurick

类别: math.AP, math.FA

发布日期: 2026-03-12

arXiv ID: 2603.12005v1

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

摘要翻译

中文标题: 分块算子矩阵技术在双曲方程稳定性性质中的应用

摘要翻译: 受近期某些波动现象背景下稳定性结果理论发展的启发,本文讨论了以分块算子矩阵形式给出的抽象阻尼双曲型方程,关注其解的渐近行为。在涉及算子的温和假设下,我们提供了判定强稳定性或半一致稳定性的准则。针对麦克斯韦方程组这一特例,这些准则在底层区域具有温和正则性条件(使得空间导数算子满足特定紧嵌入条件)且对阻尼电导率仅施加相当弱的假设时即可成立。相较于文献中已有的结论,上述假设在正则性要求及电导率结构条件方面均有所放宽。


2. 麦克斯韦型系统指数稳定性再探

Exponential Stability for Maxwell-type Systems Revisited

作者: Marcus Waurick

类别: math.AP, math.FA

发布日期: 2026-03-12

arXiv ID: 2603.11999v1

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

摘要翻译

中文标题: 麦克斯韦型系统指数稳定性再探

摘要翻译: 针对麦克斯韦型2×2分块算子矩阵系统,本文提出一种初等方法,在基础域满足最弱光滑性(及有界性)要求的条件下推导指数稳定性,该方法尤其适用于实际应用场景。该方案基于利用分块算子矩阵进行预解式估计。


3. 带软势相互作用的玻尔兹曼方程在 $L^p_v L^\infty_x$ 空间中大振幅解的渐近行为

Asymptotic behavior of large-amplitude solutions to the Boltzmann equation with soft interactions in $L^p_v L^\infty_x$ spaces

作者: Jong-in Kim, Gyounghun Ko

类别: math.AP

发布日期: 2026-03-12

arXiv ID: 2603.11903v1

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

摘要翻译

中文标题: 带软势相互作用的玻尔兹曼方程在 $L^p_v L^\infty_x$ 空间中大振幅解的渐近行为

摘要翻译:
本文在具有角截断的软势模型框架下,于周期盒子 $\mathbb{T}^3$ 中研究玻尔兹曼方程在 $L_{v}^{p}L_{x}^{\infty}$ 空间中的全局适定性。通过引入受 [Liu-Yang,2017]、[Duan-Yang-Zhao,2013]、[Ko-Lee-Park,2022] 等工作启发的时间相关权函数,我们克服了谱隙缺失带来的困难。在 $L_v^p L_x^\infty$ 框架下,标准分析中处理碰撞频率时间积分的非线性损失项方法(如 [Ko-Lee-Park,2022]、[Li,2022] 所用)难以直接应用。为解决此问题,我们引入修正解算子。此外,通过推导由 $L_v^p$ 与 $L_v^\ell$(某 $\ell < p$)范数控制的自变量估计,我们处理了非线性增益项。得益于初始相对熵的小量性与 Grönwall 不等式,我们证明了大振幅初值下整体解的唯一存在性,并获得了向平衡态的亚指数收敛速率。


4. 具有非齐次非线性阻尼与非线性捕获势的散焦型NLS散射问题

Scattering for Defocusing NLS with Inhomogeneous Nonlinear Damping and Nonlinear Trapping Potential

作者: David Lafontaine, Boris Shakarov

类别: math.AP, math-ph

发布日期: 2026-03-12

arXiv ID: 2603.11765v1

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

摘要翻译

中文标题: 具有非齐次非线性阻尼与非线性捕获势的散焦型NLS散射问题

摘要翻译:
我们研究三维空间中受低阶非线性捕获势及空间依赖非线性阻尼影响下的能量次临界散焦型非线性薛定谔方程: \begin{equation*} i\partial_t u + Δu + i a(x) |u|^{2σ_2} u = |u|^{2σ_1} u + V(x)|u|^{2σ_3} u. \end{equation*} 我们证明:若阻尼作用在势函数$V$引发聚集效应的区域(即$V$为负或非排斥性区域),则解在$H^1$空间中全局存在、一致有界,并在间临界情形下产生散射。主要挑战源于阻尼系数$a(x)$的空间依赖性,该性质破坏了能量的单调性,因此对解的$H^1$范数进行一致时间控制并非显然,即使$V=0$时这也是新结果。我们通过引入经virial论证修正的新型能量克服此问题,同时获得能量有界性与局部能量衰减估计,随后借助相互作用Morawetz估计将其提升至散射结论。


5. 双曲空间上分数拉普拉斯算子的纠缠原理及其在反问题中的应用

Entanglement principle for fractional Laplacian on hyperbolic spaces and applications to inverse problem

作者: Yi-Hsuan Lin

类别: math.AP

发布日期: 2026-03-12

arXiv ID: 2603.11702v1

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

摘要翻译

中文标题: 双曲空间上分数拉普拉斯算子的纠缠原理及其在反问题中的应用

摘要翻译: 我们建立了双曲空间 $\mathbb H^n$($n\ge 2$)上拉普拉斯-贝尔特拉米算子分数次幂的纠缠原理。更精确地,我们证明:若作用于在某个非空开集上恒为零的函数时,$-\Delta_{\mathbb H^n}$ 的有限个互异非整数次幂在该开集上满足线性相关关系,则每个函数必在 $\mathbb H^n$ 上恒为零。这将近年来在 $\mathbb R^n$ 上针对分数拉普拉斯算子发展的纠缠原理,推广到了双曲空间的负曲率情形。作为应用,我们得到了 $\mathbb H^n$ 上分数阶多调和方程相关反问题的全局唯一性结果,其中包括一个分数阶 Calderón 问题。证明依赖于分数次幂的热半群表示,以及双曲空间上精确的全局热核估计。


6. 一般二维区域上趋化-流体系统的Nash分层不等式与全局正则性

A Nash stratification inequality and global regularity for a chemotaxis-fluid system on general 2D domains

作者: Alexander Kiselev, Naji A. Sarsam

类别: math.AP

发布日期: 2026-03-12

arXiv ID: 2603.11508v1

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

摘要翻译

中文标题: 一般二维区域上趋化-流体系统的Nash分层不等式与全局正则性

摘要翻译: 不可压缩流体平流已被证明有助于通过混合增强扩散或降维效应来抑制各类微分方程中的奇点形成。为便于研究此类现象,我们在水平截面连通的主要约束下,针对光滑有界平面区域上均值为$f_M$的函数$f \in H^1$,证明了经典Nash不等式的一个精细化版本:

$$ \|f-f_M\|_{L^2}^2 \lesssim \|f-f_M\|_{L^1}^{8/7}\|\nabla f\|_{L^2}^{6/7} + \|\partial_1 f\|_{\dot{H}_0^{-1}}^{2\vartheta} \|f-f_M\|_{L^1}^{1-\vartheta}\|\nabla f\|_{L^2}^{1-\vartheta}. $$

不等式右侧第一项遵循形式维数为$3/2$的经典Nash标度律;第二项引入了一个混合范数,用于量化$f$偏离分层状态的程度。证明给出了一个满足$0 < \vartheta \ll 1$的显式指数$\vartheta$。

作为应用,我们在上述一大类有界区域上研究了二维抛物-椭圆型帕特拉克-凯勒-塞格尔(PKS)趋化模型。该聚集-扩散方程以对大质量初值在有限区域内产生有限时间奇点而闻名。利用上述Nash分层不等式,我们证明:当PKS方程通过与服从不可压缩多孔介质流动达西定律的流体主动耦合时,系统可实现全局正则性。该结论对任意大的$C^\infty$光滑初值(远离微扰区域)以及对任意微弱的耦合强度均成立。此外,所考虑的空间区域可包含“瓶颈”区域以及具有大曲率的边界片段。该论证概念化并推广了胡、姚及论文第一作者关于周期性通道类似结果的最新工作。


7. 上半空间中椭圆系统的格林函数

The Green Function for Elliptic Systems in the Upper-Half Space

作者: Martin Dindoš, Dorina Mitrea, Irina Mitrea, Marius Mitrea

类别: math.AP, math.CA

发布日期: 2026-03-11

arXiv ID: 2603.11251v1

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

摘要翻译

中文标题: 上半空间中椭圆系统的格林函数

摘要翻译: 设 $L$ 为 $\mathbb{R}^n$ 上一个二阶齐次常系数(复系数)椭圆系统。本文旨在对上半空间中与系统 $L$ 相关的格林函数的性质进行定性及定量研究。我们从能够唯一确定该对象的格林函数定义出发,建立了关于该格林函数的最优非切向极大函数估计及其直至边界的正则性结果。证明中所采用的主要工具包括:Agmon-Douglis-Nirenberg 针对系统 $L$ 构造的泊松核、边界附近的 Agmon-Douglis-Nirenberg 先验正则性估计,以及论文最后三位作者所著《几何调和分析 第一卷》中处理向量场边界迹的非切向点意义下的散度定理。


8. 齐次树上热核及热方程解的长时间渐近行为

Long-time asymptotics for the heat kernel and for heat equation solutions on homogeneous trees

作者: Effie Papageorgiou

类别: math.AP, math.FA

发布日期: 2026-03-11

arXiv ID: 2603.11232v1

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

摘要翻译

中文标题: 齐次树上热核及热方程解的长时间渐近行为

摘要翻译: 本文研究齐次树上连续时间热核及热方程解的大时间渐近行为。首先,推导出热核当 $t\to\infty$ 时的精细渐近公式。其次,基于这些公式,证明初始数据属于加权 $\ell^1$ 类的解在 $\ell^p$ 范数($p\in[1,\infty]$)中渐近可因式分解,表现为热核与一个依赖于初始条件和 $p$ 的 $p$-质量函数的乘积。该 $p$-质量函数在 $p<2$ 时通过与布西涅克函数相关的边界平均来描述,而在 $p\ge 2$ 时则通过基球面函数的卷积来表达。作为对比,整数格点情形表明单一常数质量即可决定所有 $p$ 值下热方程解的渐近行为,这凸显了图结构几何对热扩散过程的重要影响。


不相关论文(基本信息)

1. 欧几里得φ⁴₂理论作为不均匀玻色气体的极限

The Euclidean $φ^4_2$ theory as a limit of an inhomogeneous Bose gas

作者: Cristina Caraci, Antti Knowles, Alessio Ranallo, Pedro Torres Giesteira

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

发布日期: 2026-03-12

arXiv ID: 2603.12241v1

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

摘要: We prove that the grand canonical Gibbs state of an interacting two-dimensional quantum Bose gas confined by a trapping potential converges to the complex Euclidean field theory with local quartic self-interaction, when the density of the gas becomes large and the range of the interaction becomes small. We obtain convergence of the relative partition function and convergence in $L^1 \cap L^\infty$ of the renormalised reduced density matrices. The field theory is supported on distributions of negative regularity, which requires a renormalisation by divergent mass and energy counterterms. Unlike previous results in the homogeneous setting of the torus without a trapping potential, the counterterms are not given by a finite collection of scalars but by diverging counterterm functions. This leads to significant new mathematical challenges. For our proof, we also derive quantitative bounds on the Green function of Schrödinger operators and of its gradient, which might be of independent interest.


2. 关于非线性随机偏微分方程上确界的概率密度

On the density of the supremum of nonlinear SPDEs

作者: Georgia Karali, Alexandra Stavrianidi, Konstantinos Tzirakis, Pavlos Zoubouloglou

类别: math.AP, math.PR

发布日期: 2026-03-12

arXiv ID: 2603.12186v1

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

摘要: We study the one-dimensional stochastic partial differential equation \begin{equation*} \frac{\partial u}{\partial t}(t,x) = -κ\frac{\partial^4 u}{\partial x^4}(t,x) + ρ\frac{\partial^2 u}{\partial x^2}(t,x) + b(u(t,x)) + σ(u(t,x)), \dot W(t,x), \end{equation*} posed on a bounded spatial domain, where $u$ is understood in the random field sense. Depending on the value of $κ$, this equation includes the nonlinear stochastic heat equation with Dirichlet or Neumann boundary conditions, as well as the linearized stochastic Cahn-Hilliard equation with Neumann boundary conditions. We prove that the supremum of the solution admits a density with respect to Lebesgue measure. Our approach is based on Malliavin calculus, and in particular on the version of the Bouleau-Hirsch criterion for suprema developed by Nualart and Vives. One of the main difficulties lies in the analysis of the argmax set of the solution and in showing that the Malliavin derivative is almost surely nondegenerate on this set. As a byproduct of our arguments, we also establish Hölder continuity properties for the Malliavin derivative of the solution as an $L^2-$valued process in the regimes considered in this work.


3. 随机障碍场中受迫几何运动的定量均质化

Quantitative homogenization of forced geometric motions through random fields of obstacles

作者: Julian Fischer, Jonas Ingmanns

类别: math.AP, math.PR

发布日期: 2026-03-12

arXiv ID: 2603.12179v1

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

摘要: We establish a quantitative homogenization result for an interface moving through a field of sufficiently sparse but possibly impenetrable random obstacles. From a physical viewpoint, such problems arise e.g. in the context of the motion of dislocations or magnetic domain walls in a material with impurities. More precisely, given an interface moving by forced mean curvature flow – with a positive global driving force plus a spatially fluctuating (negative) driving force modeling the obstacles – , we prove that the effective large-scale behavior of the forward front is governed by a constant-speed effective motion. For typical values of the global forcing, on large scales of the order $\varepsilon^{-1}$ we obtain a (relative) error estimate for arrival times of the front of the order $\varepsilon^{1/9-}$. Previous stochastic homogenization results for forced mean curvature motion in the literature have required a positive pointwise lower bound on the combined forcing, which implies the absence of any actual obstacles capable of locally blocking the interface motion. In contrast, our results are valid even in the presence of islands with locally negative forcing, potentially allowing for locally pinned interfaces and eventually enclosures left behind the main front. Thus, our homogenization result applies to settings closer to (but still strictly away from) the pinning-depinning transition.


4. 双曲曲面上磁拉普拉斯算子特征函数的区域态与改进的 $L^\infty$ 估计

Zonal states and improved $L^\infty$ bounds for eigenfunctions of magnetic Laplacians on hyperbolic surfaces

作者: Ambre Chabert, Thibault Lefeuvre

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

发布日期: 2026-03-12

arXiv ID: 2603.12177v1

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

摘要: We establish polynomially improved $L^\infty$ bounds for eigenfunctions of magnetic Laplacians on hyperbolic surfaces in the critical energy regime. We also show that, below the critical energy, the Hörmander bound is saturated by explicit eigenstates, which we call \emph{magnetic zonal states}. These states resemble zonal harmonics on the sphere and equidistribute on Lagrangian tori in phase space.


5. 随机最优控制中的算子分裂、策略迭代与机器学习

Operator Splitting, Policy Iteration, and Machine Learning for Stochastic Optimal Control

作者: Alain Bensoussan, Thien P. B. Nguyen, Minh-Binh Tran, Son N. T. Tu

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

发布日期: 2026-03-12

arXiv ID: 2603.12167v1

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

摘要: We propose a splitting approach to solve the second-order Hamilton–Jacobi equation, reducing it to a heat step and a purely first-order step. The latter is implemented using a gradient value policy iteration algorithm, enabling efficient characteristic-based machine learning methods. We establish convergence rates for the splitting method. In particular, the $L^\infty$ error is bounded below by $\mathcal{O}(h)$ and above by $\mathcal{O}(h^{1/7})$ for Lipschitz initial data; this improves to $\mathcal{O}(h^{1/5})$ for semiconcave data and to $\mathcal{O}(h^{1/3})$ for $C^2$ data. We also prove an upper $L^1$ error estimate of order $\mathcal{O}(h^{1/2})$ in the periodic setting, where $h$ is the splitting step. For the first-order step, we provide a weighted $L^2$ error analysis that shows exponential convergence. Each iteration solves linear characteristic equations and learns the value function by minimizing a weighted value gradient loss. The approach yields stable and accurate numerical results.


6. 五维紧致性与CR Yamabe问题中的等变非紧致性

Compactness in Dimension Five and Equivariant Noncompactness for the CR Yamabe Problem

作者: Claudio Afeltra, Andrea Pinamonti, Pak Tung Ho

类别: math.AP

发布日期: 2026-03-12

arXiv ID: 2603.12157v1

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

摘要: We study compactness and noncompactness phenomena for the CR Yamabe equation on compact strictly pseudoconvex CR manifolds. First, in dimension five we establish uniform \emph{a priori} estimates for families of positive solutions of subcritical equations for the conformal CR sub-Laplacian

$$ L_{J}u = u^{p}, $$

with $p$ bounded away from the critical exponent, assuming positivity of the CR Yamabe constant and positivity of the $p$-mass at every point. As a consequence, the corresponding set of solutions is precompact in Hölder topologies. Secondly, we consider the equivariant CR Yamabe problem for a compact subgroup $G$ of pseudo-Hermitian transformations. We construct a $G$-invariant CR structure on $S^{3}$, not equivalent to the standard one, for which the associated CR Yamabe equation admits a sequence of $G$-invariant solutions whose maxima diverge, thereby proving noncompactness in the equivariant setting. The arguments combine a Pohozaev-type identity in pseudohermitian normal coordinates with a blow-up analysis and Liouville-type classification results on the Heisenberg group.


7. 分数阶 p-热函数是利普希茨的

Fractional $p$-caloric functions are Lipschitz

作者: David Jesus, Aelson Sobral, José Miguel Urbano

类别: math.AP

发布日期: 2026-03-12

arXiv ID: 2603.12065v1

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

摘要: We study the parabolic fractional $p-$Laplace equation

$$ \p_t u+(-Δ_p)^su = 0 $$

in the degenerate range $2 \leq p < 2/(1-s)$. We show that weak solutions are Lipschitz continuous in space and, if $p > 1/(1-s)$, also in time. We also prove a comparison principle for both weak and viscosity solutions, and establish the equivalence between the two notions of solution.


8. 紧致凯勒流形上复Monge-Ampère流的弱解:具一般测度的方程右侧

Weak Solutions to the complex Monge-Ampère flows on compact Kähler manifolds : general measures on the right-hand side

作者: Bowoo Kang

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

发布日期: 2026-03-12

arXiv ID: 2603.11882v1

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

摘要: We show the existence of a bounded solution to the Cauchy problem for the complex Monge-Ampère flow on a compact Kähler manifold, with the right-hand side of the form $dt \wedge dμ$ where $dμ$ is dominated by a Monge-Ampère measure of a Hölder continuous quasi-plurisubharmonic function. We also prove that for a given semi-positive big from $θ$, the $t$-slice of the solution is locally Hölder continuous on $\rm{Amp(θ)}$ for all $t \in (0, T)$. Next, we prove a comparison principle when $dμ$ is dominated by a Monge-Ampère measure of a bounded quasi-plurisubharmonic function, which implies the uniqueness of the solution.


9. 具有非线性项急剧变号的次线性椭圆方程

Sublinear elliptic equations with a sharp change of sign in the nonlinearity

作者: Mónica Clapp, Alberto Saldaña, Delia Schiera

类别: math.AP

发布日期: 2026-03-12

arXiv ID: 2603.11766v1

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

摘要: We study the semilinear indefinite elliptic problem

$$ -Δu = Q_Ω|u|^{p-2}u \quad \text{in } \mathbb{R}^N, $$

where $Q_Ω= χ_Ω- χ_{\mathbb{R}^N \setminus Ω}$, $Ω\subset \mathbb{R}^N$ is a bounded smooth subset, $N \geq 3$, and $1 \leq p < 2$, with $p=1$ corresponding to the sign nonlinearity. Using a variational approach, we investigate the uniqueness or multiplicity of nonnegative solutions depending on the shape of $Ω$ and the existence of different types of nodal solutions. We also show that all solutions have compact support and analyze how the support of the ground state depends on $p$, proving convergence to the whole space as $p\to 2^{-}$ and identifying some qualitative features such as starshapedness and Lipschitz regularity of the support. We also establish a link between these problems and a two-phase Serrin-type torsion overdetermined problem.


10. 超可微函数层

Sheafs of ultradifferentiable functions

作者: Stefan Fürdös

类别: math.AP, math.DG

发布日期: 2026-03-12

arXiv ID: 2603.11744v1

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

摘要: An abstract theory of ultradifferentiable sheafs is developed. Moreover, various applications to the theory of linear partial differential equations, differential geometry and, in particular, CR geometry are discussed.


11. 具有系数函数的奇异刘维尔方程的二阶分类

Second order classification for singular Liouville equations with a coefficient function

作者: Teresa D’Aprile, Juncheng Wei, Lei Zhang

类别: math.AP

发布日期: 2026-03-12

arXiv ID: 2603.11735v1

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

摘要: In this article we are concerned with the existence of blow-up solutions to the following boundary value problem

$$ -Δv= λV(x) |x|^2e^v\;\mbox{in}\quad B_1,\quad v=0 \;\mbox{ on }\quad \partial B_1, $$

where $B_1$ is the unit ball in $\mathbb R^2$ centered at the origin, $V(x)$ is a positive smooth potential, and $λ>0$ is a small parameter. We find necessary and sufficient conditions on the potential $V$ for the existence of a blow-up sequence of solutions tending to infinity near the origin as $λ\to 0^+$. In particular, we obtain a second-order classification of the coefficient function $V$ for which (simple) blow-up occurs at the origin.


12. 耦合次扩散系统的逆t源问题及其严格正性性质

Inverse $t$-source problem and a strict positivity property for coupled subdiffusion systems

作者: Mohamed BenSalah, Yikan Liu

类别: math.AP, math.NA

发布日期: 2026-03-12

arXiv ID: 2603.11700v1

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

摘要: This article is concerned with the inverse problem on determining the temporal component of the source term in a coupled system of time-fractional diffusion equations by single point observation. Under a non-degeneracy condition on the known spatial component, we establish the Lipschitz stability by observing all solution components by a series representation of the mild solution. To reduce the observation data, we prove the strict positivity of some fractional integral of the solution to the homogeneous problem by a modified Picard iteration. This, together with a coupled Duhamel’s principle, lead us to the uniqueness of the inverse problem by observing any single solution component under a specific structural constraint on the unknown. Numerically, we propose an iterative regularizing ensemble Kalman method (IREKM) for the simultaneous recovery of the temporal sources. Through extensive numerical tests, we demonstrate its accuracy, robustness against noise, and scalability with respect to the number of components. Our findings highlight the essential roles of the non-degeneracy condition, measurement configuration, and fractional structural constraints in ensuring reliable reconstructions. The proposed framework provides both rigorous theoretical guarantees and a practical algorithmic approach for multi-component source identification in fractional diffusion systems.


13. Tonelli拉格朗日系统的Mather测度的统计正则性与线性响应

Statistical regularity and linear response of Mather measures for Tonelli Lagrangian systems

作者: Alfonso Sorrentino, Jianlu Zhang, Siyao Zhu

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

发布日期: 2026-03-12

arXiv ID: 2603.11576v1

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

摘要: We study the statistical regularity of Mather measures associated with $C^1$ perturbations of a Tonelli Lagrangian. When the unperturbed Mather measure is supported on a quasi-periodic torus with a Diophantine frequency, we establish Hölder continuity of the perturbed Mather measure with respect to the perturbation parameter. The Hölder exponent is shown to depend explicitly on the Diophantine index of the frequency. We also discuss the possibility of achieving Lipschitz regularity using KAM theory.