生成时间: 2026年07月03日 06:19:28

运行状态: 完成

计划处理论文数量: 30

已完成论文数量: 30

未完成论文数量: 0

重点关注论文数量: 6

了解领域论文数量: 11

不相关论文数量: 13

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

1. 三次波方程与波映射方程的整体自相似解的稳定性

Stability of global self-similar solutions to the cubic wave equation and the wave maps equation

作者: Akansha Sanwal, Birgit Schörkhuber, David Wallauch

类别: math.AP

发布日期: 2026-07-02

arXiv ID: 2607.02493v1

摘要翻译: 我们研究两类能量超临界非线性波动方程的整体自相似解的长时间稳定性，即六维空间中的三次非线性波动方程 $\partial_t^2 u - \Delta u = |u|^2 u$ 以及四维空间中的共旋转波映射方程。我们证明了在临界 Sobolev 空间 $\dot{H}^{\frac{3}{2}}(\mathbb{R}^6)$ 与 $\dot{H}^2(\mathbb{R}^4)$ 中小扰动下，这些自相似解的稳定性。证明基于在相似变量下带势的波动方程的 Strichartz 估计。

Comment: 91 pages

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

1. 研究对象和背景

本文研究两类能量超临界非线性波动方程在前向时间方向上的全局自相似解的长期稳定性：六维空间中的立方非线性波动方程 $\partial_t^2 u - \Delta_x u = u^3$ （ $$d = 6$$ ）与四维空间中的共旋转波映射方程。二者均属于能量超临界情形，即其临界 Sobolev 指数 $$s_c = d/2 - 1$$ 满足 $$s_c < 1$$ （对 $$d=6$$ ， $$s_c = 2$$ ），导致经典能量守恒 $E[u,\partial_t u](t) = \frac{1}{2}\int_{\mathbb{R}^d} |\nabla u|^2 + |\partial_t u|^2\,dx - \frac{1}{4}\int_{\mathbb{R}^d} |u|^4\,dx$ 不再控制 $\dot{H}^{s_c} \times \dot{H}^{s_c-1}$ 范数，从而标准小初值理论失效。研究对象是径向、全局定义于 $[T,\infty) \times \mathbb{R}^d$ （ $$T>0$$ ）的自相似解，其形式为 $u^*_1(t,x) = t^{-1} U^*(|x|/t)$ ，其中 $U^* \in C^\infty([0,\infty))$ 满足 $\lim_{\rho\to\infty} U^*(\rho) = 0$ ；对立方波方程，一个显式例子为

U^*(\rho) = \frac{2}{\sqrt{2(d-1)(d-4)}} \frac{1}{d-4 + 3\rho^2},\quad d=6,

对应 $U^*(\rho) \sim \rho^{-2}$ ；对共旋转波映射方程（ $$d=4$$ ），其约化为六维径向波动方程 $\left(\partial_t^2 - \partial_r^2 - \frac{5}{r}\partial_r\right)u + \frac{3}{2r^3}\left[\sin(2ru) - 2ru\right] = 0$ ，其显式自相似解为

u^*_\text{WM}(t,r) = \frac{1}{t} \phi\left(\frac{r}{t}\right),\quad \phi(\rho) = \frac{2}{\rho} \arctan\left(\frac{\rho}{\sqrt{2}}\right),

满足 $\phi(\rho) \sim \rho^{-1}$ 。关键未知量是扰动 $\phi = (\phi_1, \phi_2)$ 在临界空间 $\dot{H}^2(\mathbb{R}^6) \times \dot{H}^1(\mathbb{R}^6)$ 中的小性能否保证解 $u = u^*_1 + \phi_1$ 在 $t \to \infty$ 时保持有界且接近原自相似轨道。问题重要性在于：能量超临界情形下，既存理论无法处理具有无限临界范数的大型解；而自相似解提供了非色散、非衰减的全局解范本，其稳定性直接关系到大初值动力学分类——是否所有大解最终要么爆破、要么渐近于某类自相似结构。已有理论中，Kavian–Weissler [29] 刻画了自相似剖面在无穷远处的渐近行为：必属两类之一： $\rho U(\rho) \to L \neq 0$ 或 $\rho^2 U(\rho) \to L \neq 0$ ；Planchon [34] 和 Germain [23] 在 Besov 空间中建立了小数据全局存在性；Dai–Duyckaerts [14] 证明了 $$d=5$$ 时存在可数无穷多光滑剖面；Glogi'c–Schörkhuber [26] 构造了显式剖面；但对任意给定剖面的长期稳定性（尤其在前向时间而非爆破时间），此前仅见 Bonk–Donninger [6] 对 $$d=3$$ 波映射基态在双曲面叶状结构下的渐近稳定性结果，其方法依赖指数衰减，不适用于本文所考虑的前向相似坐标下非指数谱结构。本文试图填补的空白是：建立能量超临界、前向时间、临界 Sobolev 小扰动框架下，对任意满足衰减条件的光滑自相似剖面（不限于基态）的轨道稳定性，且要求证明在 $\dot{H}^2 \times \dot{H}^1$ 中一致有界，而非仅 $L^\infty_t$ 局部控制。

2. 主要定理或主要结果

在 $$d = 6$$ 维空间中，对立方非线性波动方程 $\partial_t^2 u - \Delta_x u = u^3$ ，设 $$u^*_1$$ 为任一容许自相似解（即 $u^*_1(t,x) = t^{-1}U^*(|x|/t)$ ， $U^* \in C^\infty([0,\infty))$ ， $\lim_{\rho\to\infty} U^*(\rho) = 0$ ），则存在常数 $\delta, \delta' > 0$ ，使得对任意径向 Schwartz 初值扰动 $(\phi_0, \phi_1)$ 满足 $\| (\phi_0, \phi_1) \|_{\dot{H}^2(\mathbb{R}^6) \times \dot{H}^1(\mathbb{R}^6)} \leq \delta$ ，Cauchy 问题

u(1,\cdot) = u^*_1(1,\cdot) + \phi_0, \quad \partial_t u(1,\cdot) = \partial_t u^*_1(1,\cdot) + \phi_1

存在唯一光滑解 $u : [1,\infty) \times \mathbb{R}^6 \to \mathbb{R}$ ，且满足轨道稳定性估计

\| (u, \partial_t u) - (u^*_1, \partial_t u^*_1) \|_{L^\infty_t([1,\infty);\, \dot{H}^2(\mathbb{R}^6) \times \dot{H}^1(\mathbb{R}^6))} \leq \delta'.

类似地，对 $$d = 4$$ 的共旋转波映射方程，其约化为六维径向方程 (1.10)，设 $$u^*_1$$ 为任一容许自相似解（ $u^*_1(t,r) = t^{-1}U^*(r/t)$ ， $U^* \in C^\infty([0,\infty))$ ），则存在 $\delta, \delta' > 0$ ，使得对相同小性条件的径向 Schwartz 扰动 $(\phi_0, \phi_1)$ ，存在唯一光滑解 $u : [1,\infty) \times [0,\infty) \to \mathbb{R}$ 满足

\| (u, \partial_t u) - (u^*_1, \partial_t u^*_1) \|_{L^\infty_t([1,\infty);\, \dot{H}^2(\mathbb{R}^6) \times \dot{H}^1(\mathbb{R}^6))} \leq \delta'.

关键技术细节包括：(i) 临界空间为整数阶 $\dot{H}^2 \times \dot{H}^1$ ，避免分数阶技术障碍；(ii) 扰动范数为同质 Sobolev 范数，非 Besov 或加权空间；(iii) 结论为 $L^\infty_t$ 一致控制，非渐近收敛（即非 $\lim_{t\to\infty} \|\cdot\| = 0$ ），故为轨道稳定性（orbital stability）；(iv) 解在 $$t=1$$ 处给定初值，演化至 $t\to\infty$ ，时间区间为 $[1,\infty)$ ；(v) 剖面 $$U^*$$ 仅需 $C^\infty$ 及无穷远衰减，无需指定具体衰减率（文中指出 $U^*(\rho) \sim \rho^{-1}$ 已足够，尽管显式解为 $\rho^{-2}$ ）。

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

核心障碍在于前向自相似坐标 $(\tau = \log t, \, \rho = |x|/t)$ 下线性化算子 $L = \tilde{L}_0 + L'$ 的谱分析： $\tilde{L}_0$ 为自由波算子， $$L'$$ 为由自相似剖面 $$U^*$$ 诱导的势项（对立方波为 $$3(U^*)^2$$ ，对波映射为 $-(d-1)\rho^{-2}[\cos(2\rho U^*)-1]$ ），其在 $\rho = 0, 1, \infty$ 三处具强奇异性，且谱集 $\sigma(L) \subset \{ z \in \mathbb{C} : \Re z \leq 0 \}$ 仅保证临界空间上的耗散性，缺乏指数衰减。作者的真正创新点有三：第一，发展了一套针对三奇点 ODE 的精细 resolvent 构造技术。将 resolvent 方程 $(\lambda - L)u = f$ 在 $$(0,1)$$ 和 $(1,\infty)$ 两区间分别求解，得到两个局部解 $u_{\text{int}}, u_{\text{ext}}$ ，再通过 Wronskian 匹配在 $\rho = 1$ 处拼接；此过程引出“匹配问题”：因存在共振解 $u_0(\rho; \lambda) \in H^2_{\text{loc}} \times H^1_{\text{loc}}$ 满足 $(\lambda - L)u_0 = 0$ ，其在 $\rho = 1$ 附近展开为 $u_0 = c_{0,1}(\lambda) u_1 + c_{0,2}(\lambda) u_2$ （ $u_2(1;\lambda)=0$ ），若 $c_{0,1}(\lambda)$ 在虚轴上有零点，则拼接失效。作者采用解析插值法：利用 $c_{0,1}(\lambda)$ 的解析性，选取 $\delta > 0$ 使 $c_{0,1}(\pm \delta + i\omega) \neq 0$ ，将积分路径移至 $\Re \lambda = \pm \delta$ ，并在左半平面借助 $\dot{H}^1 \times L^2$ 上的辅助半群实现一致性。第二，建立带势项波方程在相似变量下的 Strichartz 估计。关键工具是将半群 $S(\tau)$ 分解为内区 $\rho \leq 1$ 与外区 $\rho > 1$ 两部分：对内区，引入截断函数 $\kappa_2$ ，证明加权 Strichartz 估计 $\| \kappa_2 S(\tau) f \|_{L^q_\tau L^r_\rho} \lesssim \| f \|_{H^2}$ （ $$1/q + 6/r = 1$$ ， $r \in [6,12]$ ），再通过复插值得到无权估计；对外区，因无匹配问题，可直接将路径推至虚轴，获得标准估计。第三，设计适配临界空间的非线性迭代框架。将解写为积分方程 $\phi(\tau) = S(\tau)\phi_0 + \int_0^\tau S(\tau-\sigma) N(\phi(\sigma))\,d\sigma$ ，其中非线性项 $N(\phi)$ 包含 $\phi_1^3$ 及 $U^* \phi_1^2$ 项；利用前述 Strichartz 估计及 Sobolev 嵌入 $\dot{H}^2(\mathbb{R}^6) \hookrightarrow L^\infty(\mathbb{R}^6)$ 控制三次非线性，最终在 Banach 空间 $X = \{ \phi \in C([0,\infty); H^2) : \|\phi\|_X := \sup_{\tau>0} \|\phi(\tau)\|_{H^2} < \infty \}$ 中完成压缩映射。

4. 与之前工作的比较

与既有工作相比，本文在三个维度实现推进：(i) 时间方向与稳定性类型：Bonk–Donninger [6] 针对 $$d=3$$ 波映射基态，在双曲面叶状结构下证明了渐近稳定性（即 $\|u(t)-u^*_\text{WM}(t)\|_{H^2\times H^1} \to 0$ ），其核心是线性化算子在双曲坐标下具有负实部谱隙，导致指数衰减；而本文处理前向时间轨道稳定性，结论仅为 $L^\infty_t$ 有界性，不蕴含收敛，且适用于任意容许剖面（非仅基态），代价是放弃渐近性，换得普适性。(ii) 函数空间与假设：Planchon [34] 和 Germain [23] 在 Besov 空间 $\dot{B}^{s_c}_{p,q}$ 中处理小数据，其优势是容纳自相似初值，但 Besov 范数弱于 Sobolev，且未解决大剖面扰动；本文坚持临界 Sobolev 空间 $\dot{H}^2 \times \dot{H}^1$ ，要求扰动小于此范数，技术上更苛刻，但结论更强（Sobolev 控制蕴含更多正则性）；同时，本文对剖面仅需 $C^\infty$ 及无穷远衰减，而 Dai–Duyckaerts [14] 的存在性证明依赖特定 ODE 边界条件，本文稳定性分析对此无额外要求。(iii) 适用范围与维度：Krieger–Schlag [30] 构造了 $$d=3,p=7$$ 的稳定大解，但其方法基于精确可积结构，难以推广；本文明确声明结果适用于所有超临界维数 $d \geq 5$ ，并以 $$d=6$$ 为模型展示整数临界指数的技术便利性；对波映射，本文将 $$d=4$$ 问题转化为 $\mathbb{R}^6$ 径向波动方程，统一处理两类方程的线性部分 $\tilde{L}_0$ ，而此前工作（如 [19,15]）多聚焦爆破情形，其坐标系（backward light cone）仅含 $\rho=0,1$ 两点奇异性，本文的前向分析必须处理 $\rho=0,1,\infty$ 三奇点，难度显著增加。局限在于：结论未给出 $\delta'$ 关于 $\delta$ 的定量依赖；未处理非径向扰动；对剖面衰减率未作最优刻画（仅知 $\rho^{-1}$ 足够，但 $\rho^{-2}$ 显式解是否允许更大扰动尚不可知）；从提供内容中无法确认是否可推广至非整数 $$s_c$$ 维数。

2. McLean共振与三维Stokes波的谱不稳定性

McLean resonances and $$3d$$ spectral instability of Stokes waves

作者: Massimiliano Berti, Alberto Maspero, Antonio Milosh Radakovic

类别: math.AP

发布日期: 2026-07-02

arXiv ID: 2607.01939v1

摘要翻译: 自Benjamin和Feir开创性地发现以来，行进周期性水波的谱不稳定性已被研究了六十多年。尽管已有大量文献，但针对任意三维——纵向与横向——扰动，尚无严格理论。我们建立了深水中小振幅重力Stokes波在McLean共振曲线全邻域内的首个严格三维不稳定谱描述。我们的结果揭示：Benjamin-Feir不稳定性与首个纵向高频孤立谱（isola）源于同一共振相互作用，该相互作用在纯纵向设定中被掩盖。主导不稳定性出现在Fourier-Bloch参数靠近原点处，对应于三维Benjamin-Feir调制不稳定性。我们的方法给出了不稳定特征值实部的定量上界，并建立了在任意高频McLean曲线附近不稳定性起始的可计算充要判据。这些结果依赖于三项关键创新：( $$i$$ ) 一种Kato型摄动分析，允许线性化算子关于Fourier-Bloch参数具有Lipschitz型奇异性；( $$ii$$ ) 一种极坐标解析的KAM型解耦技术，将原点附近的不稳定特征值对分离出来；以及( $$iii$$ ) 在McLean曲线全邻域内进行的解析延拓论证。一个主要挑战是建立经Fourier-Bloch变换共轭后的Dirichlet-Neumann算子的精细正则性性质。

Comment: 80 pages

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

1. 研究对象和背景

本文研究深水重力斯托克斯波（Stokes waves）在三维扰动下的谱不稳定性问题。考虑无限深水域中不可压、无粘、无旋流体，其运动由水波方程描述：设自由表面为 $z = \eta(t,x,y)$ ，速度势 $\Phi(t,x,y,z)$ 在区域 $D_\eta := \{ (x,y,z) \in \mathbb{R}^3 : z \leq \eta(t,x,y) \}$ 内调和，满足边界条件

\Delta_{x,y,z} \Phi = 0 \quad \text{in } D_\eta, \quad \Phi|_{z=\eta} = \psi(t,x,y), \quad \partial_z \Phi \to 0 \; (z \to -\infty).

由此导出Zakharov-Craig-Sulem形式的哈密顿系统：

\begin{cases} \eta_t = G(\eta) \psi, \\ \psi_t = -g \eta - \frac{|\nabla \psi|^2}{2} + \frac{1}{2(1+|\nabla \eta|^2)} \left( G(\eta)\psi + \nabla \eta \cdot \nabla \psi \right)^2, \end{cases}

其中 $G(\eta)$ 是Dirichlet-Neumann算子，定义为 $[G(\eta)\psi](x,y) = \partial_z \Phi|_{z=\eta} - \nabla \eta \cdot \nabla \Phi|_{z=\eta}$ 。取重力 $$ g=1 $$ ，该系统具有哈密顿结构 $\partial_t (\eta,\psi)^\top = J \nabla H$ ，其中 $J = \begin{pmatrix} 0 & \mathrm{Id} \\ -\mathrm{Id} & 0 \end{pmatrix}$ ， $H(\eta,\psi) = \frac{1}{2} \int_{\mathbb{R}^2} \left( \psi G(\eta)\psi + \eta^2 \right) dx dy$ 。

斯托克斯波是空间周期行波解： $\eta(t,x,y) = \eta_\epsilon(x - c_\epsilon t), \, \psi(t,x,y) = \psi_\epsilon(x - c_\epsilon t)$ ，仅依赖于单变量 $$ x $$ ，且 $2\pi$ -周期。由经典分歧理论（见Theorem 2.1），对充分小振幅 $|\epsilon| \leq \epsilon_0$ ，存在唯一实解析族 $(\eta_\epsilon, \psi_\epsilon, c_\epsilon)$ 满足

c_\epsilon \partial_x \eta_\epsilon + G(\eta_\epsilon) \psi_\epsilon = 0, \quad c_\epsilon \partial_x \psi_\epsilon - \eta_\epsilon - \frac{(\partial_x \psi_\epsilon)^2}{2} + \frac{1}{2(1+(\partial_x \eta_\epsilon)^2)} \left( G(\eta_\epsilon)\psi_\epsilon + \partial_x \eta_\epsilon \partial_x \psi_\epsilon \right)^2 = 0,

并具展开 $\eta_\epsilon(x) = \epsilon \cos x + \frac{\epsilon^2}{2} \cos 2x + O(\epsilon^3), \, \psi_\epsilon(x) = \epsilon \sin x + \frac{\epsilon^2}{2} \sin 2x + O(\epsilon^3), \, c_\epsilon = 1 + \frac{\epsilon^2}{2} + O(\epsilon^3)$ 。

稳定性分析需线性化系统于该平衡态。经Alinhac“好未知量”变换与Levi-Civita共形平坦化（将域 $D_{\eta_\epsilon}$ 映至半空间 $\{ Z \leq 0 \}$ ），得到线性化算子 $L_\epsilon$ ，其在移动坐标系下为

L_\epsilon = \begin{pmatrix} \partial_x \circ (1 + p_\epsilon(x)) & G_\epsilon \\ -(1 + a_\epsilon(x)) & (1 + p_\epsilon(x)) \circ \partial_x \end{pmatrix},

其中 $p_\epsilon, a_\epsilon$ 为 $2\pi$ -周期偶函数，具 $\epsilon$ -展开（见(2.16)）。由于 $L_\epsilon$ 关于 $$ x $$ 周期、关于 $$ y $$ 平移不变，采用Fourier-Bloch分解：对 $(\alpha,\mu) \in \mathbb{R}^2$ ，定义纤维算子

L(\alpha,\mu,\epsilon) = \begin{pmatrix} (\partial_x + i\mu) \circ (1 + p_\epsilon(x)) & G(\alpha,\mu,\epsilon) \\ -(1 + a_\epsilon(x)) & (1 + p_\epsilon(x)) \circ (\partial_x + i\mu) \end{pmatrix},

作用于 $2\pi$ -周期函数空间 $H^1(\mathbb{T}; \mathbb{C}^2)$ ，其中 $G(\alpha,\mu,\epsilon)$ 是纤维DN算子，由椭圆边值问题

\partial_z^2 \Theta + (\partial_x + i\mu)^2 \Theta - \alpha^2 (1 + d_\epsilon(x,z)) \Theta = 0, \quad \Theta|_{z=0} = g(x), \quad \partial_z \Theta \to 0 \; (z \to -\infty)

定义， $G(\alpha,\mu,\epsilon)[g] = \partial_z \Theta|_{z=0}$ 。谱不稳定性指存在 $(\alpha,\mu)$ 使 $L(\alpha,\mu,\epsilon)$ 有正实部特征值。

当 $\epsilon = 0$ ，算子退化为傅里叶乘子 $L(\alpha,\mu,0) = \begin{pmatrix} \partial_x + i\mu & |D|_{\alpha,\mu} \\ -1 & \partial_x + i\mu \end{pmatrix}$ ，其中 $|D|_{\alpha,\mu} = ((D + \mu)^2 + \alpha^2)^{1/2}, D = -i \partial_x$ 。其谱为纯虚数：对 $k \in \mathbb{Z}, \sigma = \pm 1$ ，

\lambda^{\sigma}_k(\alpha,\mu) = i \omega^{\sigma}_k(\alpha,\mu) = i \left( \sigma k + \mu - \sigma \Omega_\alpha(\sigma k + \mu) \right), \quad \Omega_\alpha(\phi) = (\phi^2 + \alpha^2)^{1/4}.

多重特征值发生于 $(\alpha,\mu)$ 满足 $\lambda^{\sigma}_k = \lambda^{\sigma'}_{k'}$ 且 $(\sigma,k) \neq (\sigma',k')$ ，此集合即McLean曲线 $M^{(p)}$ （ $p \geq 2$ ）。例如 $M^{(2)} = \{ (\alpha,\mu) \in \mathbb{R}^2 : \mu^2 - 2 \alpha^2 = 0 \}$ （双曲线）， $M^{(3)}$ 为更高阶代数曲线。在 $(\alpha,\mu) \in M^{(p)}$ 处，两个纯虚特征值碰撞，形成共振；特别地， $M^{(p)} \cap \{ \alpha = 0 \}$ 对应纵向孤立谱岛（isolae），而 $$ (0,0) $$ 处四重零特征值对应Benjamin-Feir调制不稳定性。六十年来，纵向扰动（ $\alpha = 0$ ）下已有严格结果：Benjamin-Feir“八字形”谱（[7,9,10]）及高频频谱岛（[11,24,6]），但对任意三维扰动（ $\alpha \neq 0, \mu \neq 0$ ）的全局谱描述始终缺失。核心难点在于：(i) $(\alpha,\mu) \to (0,0)$ 时四重特征值强耦合且零特征值亏损；(ii) 算子 $L(\alpha,\mu,\epsilon)$ 关于 $(\alpha,\mu)$ 仅为Lipschitz连续（因含 $\sqrt{\alpha^2 + \mu^2}$ 项），非解析；(iii) 需在整条McLean曲线 $M^{(p)}$ 的邻域内全局分析，而非局部点邻域。本文旨在填补这一根本空白，建立首个对 $(\alpha,\mu)$ 在 $M^{(2)}, M^{(3)}$ 全邻域内、任意小 $\epsilon$ 的严格三维谱不稳定性刻画。

2. 主要定理或主要结果

定理1.1（McLean不稳定性）：存在 $\epsilon_0 > 0$ ，使得对任意 $0 < |\epsilon| \leq \epsilon_0$ 及 $$ p = 2,3 $$ ，不稳定区域 $\mathcal{U}^{(p)}_\epsilon := \{ (\alpha,\mu) \text{ near } M^{(p)} : L(\alpha,\mu,\epsilon) \text{ 有不稳定特征值 } \lambda^{(p)}_\pm(\alpha,\mu,\epsilon), \, \operatorname{Re} \lambda^{(p)}_\pm \neq 0, \, \lambda^{(p)}_+ = -\lambda^{(p)}_- \}$ 非空，且当 $\epsilon \to 0$ 时收缩至 $M^{(p)}$ 。其边界 $\partial \mathcal{U}^{(p)}_\epsilon = M^{(p)}_+(\epsilon) \cup M^{(p)}_-(\epsilon)$ 由两条闭解析曲线构成（扰动McLean曲线）。具体地：(i) $M^{(2)}_+(\epsilon)$ 连通，在原点具十字型奇点，包围两个简单闭曲线组成 $M^{(2)}_-(\epsilon)$ ，且 $M^{(2)}_+(\epsilon) \cap M^{(2)}_-(\epsilon) = \emptyset$ ；(ii) $M^{(3)}_\pm(\epsilon)$ 均为简单闭曲线，交集至多有限点；(iii) 存在闭解析曲线 $\mathcal{T}^{(p)}(\epsilon)$ 邻近 $M^{(p)}$ ，沿其 $\operatorname{Re} \lambda^{(p)}_+(\alpha,\mu,\epsilon) \approx \epsilon^p$ 。

定理2.9（Benjamin-Feir不稳定性）：对 $(\alpha,\mu)$ 小邻域， $L(\alpha,\mu,\epsilon)$ 在零附近有四个特征值 $\lambda^{(0)}_\pm(\alpha,\mu,\epsilon), \tilde{\lambda}^{(0)}_\pm(\alpha,\mu,\epsilon)$ ，其中一对 $\lambda^{(0)}_\pm$ 不稳定，满足

\lambda^{(0)}_\pm(\alpha,\mu,\epsilon) = \pm \left( i \rho - \frac{\epsilon^2}{8} \rho^2 + O(\epsilon^2 \rho^3) \right) + O(\epsilon^3), \quad \rho = \sqrt{\alpha^2 + \mu^2},

且 $\operatorname{Re} \lambda^{(0)}_\pm = \mp \frac{\epsilon^2}{8} \rho^2 + O(\epsilon^2 \rho^3)$ 。当 $\alpha = 0$ ，此退化为经典Benjamin-Feir“八字形”；当 $\alpha > 0$ ，该谱面分裂并连接，形成统一的三维不稳定曲面（图3）。

定理2.13（分裂判据）：扰动曲线 $M^{(p)}_\pm(\epsilon)$ 的分离由解析函数 $b^{(p)}(\alpha,\mu,\epsilon)$ 的非零性决定，其在 $M^{(p)}$ 全邻域解析。若其某Taylor系数 $b^{(p)}_{k,\ell}(\alpha,\mu) \not\equiv 0$ （可算法计算），则 $M^{(p)}_+(\epsilon)$ 与 $M^{(p)}_-(\epsilon)$ 分离。对 $$ p=2 $$ ，引理7.7验证 $b^{(2)}$ 在整条 $M^{(2)}$ 上非零；对 $$ p=3 $$ ，引用[16]结果。

推论2.15： $\mathcal{U}^{(2)}_\epsilon$ 中最大实部满足 $\sup_{(\alpha,\mu) \in \mathcal{U}^{(2)}_\epsilon} \operatorname{Re} \lambda^{(2)}_+(\alpha,\mu,\epsilon) = \frac{\epsilon^2}{8} + O(\epsilon^3)$ ，在 $(\alpha,\mu)$ 满足 $\mu^2 - 2\alpha^2 = 8\epsilon^2$ 处达到（即 $M^{(2)}_-(\epsilon)$ 在原点附近的双曲线近似）。

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

本文三大创新方法克服了前述三重障碍：

(i) Kato摄动分析处理Lipschitz奇异性：传统Kato约化要求参数依赖解析，但此处 $L(\alpha,\mu,\epsilon)$ 含 $\sqrt{\alpha^2 + \mu^2}$ 项，仅为Lipschitz。作者引入“极坐标解析”（polar-analytic）框架：定义 $\rho = \sqrt{\alpha^2 + \mu^2}, \theta = \arctan(\alpha/\mu)$ ，证明纤维DN算子具分解 $G(\alpha,\mu,\epsilon) = G_{\mathrm{I}}(\alpha^2,\mu,\epsilon) + \rho \, G_{\mathrm{II}}(\alpha^2,\mu,\epsilon)$ ，其中 $G_{\mathrm{I}}, G_{\mathrm{II}}$ 关于 $(\alpha^2,\mu,\epsilon)$ 解析。此结构在复合、函数演算、Cauchy积分下封闭，故整个Kato约化方案（包括投影算子、约化矩阵）继承该性质。关键在于附录D中求解椭圆问题(2.19)时，针对 $(\alpha,\mu) \to (0,0)$ 时零模衰减不足的困难，构造允许零模缓慢发散的函数空间并用压缩映射论证解的存在性（Remark D.1）。

(ii) 极坐标KAM型块解耦：为分离四重特征值，需对约化4×4 Kato矩阵在 $(\alpha,\mu) \to (0,0)$ 下做泰勒展开，并实施KAM风格块对角化。标准解析块对角化会破坏 $\rho$ -结构，但作者发现其保持极坐标解析性：解耦后的2×2块矩阵元素均为 $\rho,\theta$ 的解析函数。这直接解决了难点(i)（四重耦合）与(ii)（Lipschitz性），并解释了 $M^{(2)}_+(\epsilon)$ 在原点的十字奇点（因 $\rho$ -级数在 $\theta = 0,\pi/2,\pi,3\pi/2$ 处行为一致）。

(iii) McLean曲线全邻域的解析延拓：以往工作仅在共振点局部构造谱投影 $P^{(p)}_{\alpha,\mu,\epsilon} = \frac{1}{2\pi i} \oint_{\Gamma^{(p)}(\alpha,\mu)} (\lambda - L(\alpha,\mu,\epsilon))^{-1} d\lambda$ ，但此处需在整条 $M^{(p)}$ 邻域全局定义。作者证明：尽管 $\Gamma^{(p)}(\alpha,\mu)$ 随 $(\alpha,\mu)$ 变化，但 $P^{(p)}_{\alpha,\mu,\epsilon}$ 可解析延拓至全邻域。特别在 $$ (0,0) $$ ，利用Part I的块解耦结果与斜哈密顿投影的唯一性，将 $P^{(2)}$ 延拓至原点邻域。此全局构造使约化2×2矩阵 $L^{(p)}_{\mathrm{red}}(\alpha,\mu,\epsilon)$ 的所有元素成为 $M^{(p)}$ 邻域上的全局解析函数，从而将分裂判据 $b^{(p)}(\alpha,\mu,\epsilon) \not\equiv 0$ 归约为单点处的局部计算（Proposition 2.14），这是实现全局结论的关键技术枢纽。

4. 与之前工作的比较

本文与既有工作存在本质差异，主要体现在三方面：

(1) 维度与扰动范围：此前严格结果均限于一维扰动。Benjamin-Feir理论（[13,37,7,9,10]）仅处理 $\alpha = 0$ ；高频频谱岛（[11,24,6]）亦限于 $\alpha = 0$ ；纯横向扰动（[16,17,23]）仅研究 $\mu = 0$ 且邻近 $M^{(3)} \cap \{ \mu = 0 \}$ 的两点。本文首次覆盖 $(\alpha,\mu)$ 在 $M^{(2)}, M^{(3)}$ 全邻域（含 $\alpha \neq 0, \mu \neq 0$ ）的任意三维扰动，实现了从1D到3D的根本跨越。

(2) 参数依赖性与技术深度：以往工作（如[16,27]）要求 $(\alpha,\mu)$ 远离原点以保证 $\sqrt{\alpha^2 + \mu^2}$ 解析，或令振幅 $\epsilon(\alpha,\mu) \to 0$ 当 $(\alpha,\mu) \to (0,0)$ （[27]）。本文则处理固定小 $\epsilon$ 下 $(\alpha,\mu)$ 趋近原点的情形，必须直面Lipschitz奇异性与四重亏损特征值。为此发展出极坐标解析框架与全局解析延拓，远超之前仅需解析依赖的Kato理论。

(3) 物理机制的统一性：先前视Benjamin-Feir“八字形”与首个高频频谱岛为独立现象（前者源于 $\lambda^+_0 = \lambda^-_0$ ，后者源于 $\lambda^+_1 = \lambda^-_1$ 在 $\alpha = 0$ ）。本文揭示二者实为同一共振对 $(\lambda^+_k, \lambda^-_{k'})$ 在扩展 $(\alpha,\mu)$ 空间中的不同截面：它们同源于 $M^{(2)}$ 上的同一对碰撞特征值， $\mathcal{U}^{(2)}_\epsilon$ 是单一连通不稳定区域， $\alpha = 0$ 的两段只是其一维迹（Theorem 1.1注1）。数值观察（[31–33,19]）暗示 $M^{(2)}$ 周围普遍存在不稳定谱，本文首次给出严格证明与定量刻画（如 $\operatorname{Re} \lambda \approx \epsilon^2$ ）。

代价与局限：全局解析延拓要求对 $M^{(p)}$ 的几何有精细控制（如 $$ p=3 $$ 时依赖[16]），且目前仅处理 $$ p=2,3 $$ ；更高阶 $M^{(p)}$ 的验证需更多计算。此外，结果限于小振幅 $\epsilon$ ，未涉及大振幅或有限深度情形（后者有[27]的有限深度结果，但要求 $\epsilon \to 0$ ）。

3. 三角形交叉扩散系统的精细爆破准则与全局解

Refined blow-up criteria and global solutions for triangular cross-diffusion systems

作者: Alexandre Bertolino

类别: math.AP

发布日期: 2026-07-02

arXiv ID: 2607.01857v1

摘要翻译: 我们研究一类Shigesada-Kawasaki-Teramoto型三角形交叉扩散系统的Cauchy问题。我们在 C^0([0, T]; H^s(\mathbb{T}^d)) 中建立了一个自洽的适定性理论，其基础是标量Kolmogorov方程的正则性估计。每一物种的扩散系数仅依赖于指标更小的物种，从而产生一种分层结构，使得爆破准则得以精细化。有限时间奇异性仅可能通过解在 L^\infty(\mathbb{T}^d) 范数的发散而发生。在非线性项具有多项式增长的假设下，该准则被进一步精细化为某个有限指数 p 的 L^p-型爆破条件，由此得到的全局存在性障碍远弱于经典的Sobolev爆破准则。该证明通过Sobolev空间中复合函数的精细tame估计实现。作为应用，我们在维数 d \le 2 的情形下，证明了具有logistic型反应项的两物种系统存在非负强全局解。

Comment: 无

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

1. 研究对象和背景

本文研究一类具有层级结构的三角形交叉扩散系统，即广义 Shigesada–Kawasaki–Teramoto (SKT) 系统：

\begin{cases} \partial_t u_i - \Delta\big[\mu_i(u_1, \dots, u_{i-1}) u_i\big] = r_i(u_1, \dots, u_n), & i = 1, \dots, n, \\ u_i(0, \cdot) = u^0_i \in H^s(\mathbb{T}^d), \end{cases} \tag{1}

其中 $\mathbb{T}^d = \mathbb{R}^d / \mathbb{Z}^d$ 为 $$d$$ 维环面， $$s > d/2$$ ， $\mu_i : \mathbb{R}^{i-1} \to \mathbb{R}_+$ 满足 $\inf \mu_i = \alpha_i > 0$ （非退化椭圆性）， $r_i : \mathbb{R}^n \to \mathbb{R}$ 为光滑反应项。该系统的核心结构特征是：第 $$i$$ 个方程的扩散系数 $\mu_i$ 仅依赖于前 $$i-1$$ 个分量 $u_1, \dots, u_{i-1}$ ，不显含 $$u_i$$ 及其后分量，故称“三角形”——这赋予系统天然的因果序： $$u_1$$ 的演化独立于其余变量； $$u_2$$ 的扩散由 $$u_1$$ 决定；依此类推。典型例子是严格三角 SKT 模型（即 $a_{11} = a_{21} = a_{22} = 0$ 的二维情形）：

\begin{cases} \partial_t u_1 - \Delta[(d_1 + a_{12} u_2) u_1] = u_1(\rho_1 - s_{11} u_1 - s_{12} u_2), \\ \partial_t u_2 - \Delta[(d_2) u_2] = u_2(\rho_2 - s_{21} u_1 - s_{22} u_2), \end{cases} \tag{2}

它描述两种种群在资源竞争与相互扰动下的密度演化，其中交叉扩散项 $a_{12} u_2 u_1$ 刻画了第二物种对第一物种扩散行为的排斥效应。此类模型因能产生空间隔离稳态而备受关注，但其适定性理论长期面临根本困难：一方面，SKT 系统是非线性的、强耦合的、非散度型的拟线性抛物系统，且扩散矩阵通常不可逆（甚至非对称、非正定），标准抛物理论（如 Amann 的 $W^{1,p}$ 理论）要求 $$p > d$$ 以嵌入 $L^\infty$ ，导致爆破判据为 $\|U(t)\|_{W^{1,p}} \to \infty$ ，该范数过强，难以控制；另一方面，熵方法虽可构造全局弱解（如 Jüngel 等工作），但其唯一性至今未解决，且弱-强唯一性结果所需正则性远超 Amann 解的常规正则性，无法桥接。关键空白在于：是否存在一个比 $W^{1,p}$ 更弱、但又足够强以支持唯一强解的爆破判据？尤其是否可将判据降阶至 $$L^p$$ 范数（ $p < \infty$ ），从而绕开高阶导数爆炸的苛刻要求？本文聚焦于三角形结构这一特殊但具生物建模意义的子类，旨在建立自洽的局部适定性理论，并利用层级性将爆破机制精确定位——证明有限时间奇性只能由 $L^\infty$ 范数发散引发，并进一步在多项式非线性假设下，将判据强化为某个有限 $$p$$ 的 $$L^p$$ 积分爆破： $\int_0^{T^*} \|U(t)\|_{L^p}^p \, dt = \infty$ 。这一目标直指现有理论的核心局限：Amann 判据依赖 $W^{1,p}$ ，Gallagher–Moussa 在环面上的 Fourier 方法仍需冻结系数并满足 Petrovskii 条件，而本文试图完全摆脱这些技术负担，仅靠三角结构与精细 Sobolev 复合估计实现范数降阶。

2. 主要定理或主要结果

定理 1（局部适定性）：设 $d \geq 1$ , $$s > d/2$$ ， $\mu_i \in C^\infty(\mathbb{R}^{i-1})$ , $r_i \in C^\infty(\mathbb{R}^n)$ ，且 $\inf \mu_i > 0$ 。则对任意初值 $U^0 = (u^0_1, \dots, u^0_n) \in H^s(\mathbb{T}^d)$ ，存在 $$T > 0$$ 及唯一解 $U \in E^s_T := C([0,T]; H^s(\mathbb{T}^d)) \cap L^2([0,T]; H^{s+1}(\mathbb{T}^d))$ 满足 (1)。若 $$T^*$$ 为其最大存在时间，则 $U \in C^\infty((0,T^*) \times \mathbb{T}^d)$ ，且若 $T^* < \infty$ ，必有 $\|U(t)\|_{L^\infty(\mathbb{T}^d)} \to \infty$ 当 $t \to T^*$ 。此外，若 $V^0 \in H^s$ 亦生成解 $V \in E^s_T$ ，则稳定性估计成立： $\|U - V\|_{E^s_T} \lesssim_{\|U\|_{E^s_T}, \|V\|_{E^s_T}} \|U^0 - V^0\|_{H^s}$ ；若初值非负且 $r_i(X) = x_i \bar{r}_i(X)$ ，则解保持非负。

命题 1.1（精细爆破准则）：在定理 1 假设基础上，若 $r_i, \mu_i$ 满足多项式增长条件，即存在 $C > 0, \alpha \geq 1$ 使得 $|\nabla^{\lceil d/2 \rceil + 2} \mu_i(X)|, |\nabla^{\lceil d/2 \rceil} r_i(X)| \leq C(1 + |X|^\alpha)$ ，则存在有限指数 $p < \infty$ （具体依赖于 $s,d,\alpha$ ），使得对任意初值 $U^0 \in H^s$ ，其最大存在时间 $$T^*$$ 满足：若 $T^* < \infty$ ，则必有 $\int_0^{T^*} \|U(t)\|_{L^p(\mathbb{T}^d)}^p \, dt = \infty$ 。

定理 2（二维全局存在性）：设 $d \leq 2$ , $$n = 2$$ ，且 $r_i, \mu_i$ 满足非负性与线性上界条件（即 $r_i(X) = x_i \bar{r}_i(X)$ 且 $-C(1+|X|) \lesssim \bar{r}_i(X) \lesssim C$ ），则对任意非负初值 $U^0 \in H^s(\mathbb{T}^d)$ ，问题 (1) 的解全局存在，即 $T^* = \infty$ 。此结果适用于无自扩散的 logistic 型两物种模型（即 $a_{11} = a_{22} = a_{21} = 0$ 的 (2) 式）。

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

证明的核心障碍在于：如何将三角系统的层级依赖性转化为对高阶 Sobolev 范数的可控增长，从而规避经典理论中因全耦合导致的范数循环依赖。作者的真正创新点并非引入新工具，而是对已有工具进行深度重构与组合：

Kolmogorov 方程的层级正则性估计框架：将整个系统 (1) 视为 $$n$$ 个嵌套的标量 Kolmogorov 方程 $\partial_t z - \Delta(\mu z) = f$ 。关键突破在于，针对该方程建立了从 $E^{-1}_T$ （即 $C([0,T]; H^{-1}) \cap L^2([0,T]; L^2)$ ）到 $$E^s_T$$ 的完整估计链。引理 2.1 给出 $H^{-1}$ 能量估计，其精妙之处在于利用 $J^{-2k}$ 算子的正性保持性质，在 $z \geq 0$ 时允许用上界函数 $\tilde{f} \geq f$ 替代源项 $$f$$ ，这对处理线性上界的反应项至关重要。进而，命题 2.2 通过应用 $J^{s+1}$ 并利用对偶性，导出一般 $$H^s$$ 估计： $\|z\|_{E^s_T}^2 \lesssim \|z^0\|_{H^s}^2 + \int_0^T [\mu(t)]_{\mathbb{T}^d} \|z(t)\|_{H^s}^2 \, dt + \|f\|_{Y^{s-1}_T}^2 + \int_0^T \|[\mu(t), J^{s+1}] z(t)\|_{L^2}^2 \, dt$ 。此式将问题归结为对交换子 $[\mu, J^{s+1}]$ 的精细控制。
交换子估计的范数降阶策略：这是全文最核心技术。标准交换子估计（如 Kato–Ponce）给出 $\|[\mu, J^{s+1}] z\|_{L^2} \lesssim \|\nabla \mu\|_{H^s} \|z\|_{H^s}$ ，代入后导致 Grönwall 增长含 $\|\mu\|_{Y^{s+1}_T}^2$ ，无法降阶。作者在附录 5.9 中证明了一个革命性估计：对任意 $\varepsilon \geq 0$ ，存在 $p \in (2, \infty]$ （若 $\varepsilon > 0$ 则 $p < \infty$ ）及增函数 $$P$$ ，使得 $\|[J^{s+1}, \mu(t)] z(t)\|_{L^2} \lesssim P(\|\mu(t)\|_{L^p}, \|z(t)\|_{L^p})(1 + \|\mu(t)\|_{H^{s+1+\varepsilon}}) + \delta \|z(t)\|_{H^{s+1}}$ 。此估计将交换子范数的主导部分从 $$H^s$$ 降阶至 $$L^p$$ ，且 $$p$$ 可取有限值。其证明依赖于 Littlewood–Paley 分解与 Bernstein 不等式，核心是分离低频 $\mu$ 对高频 $$z$$ 的调制效应，将 $$L^2$$ 范数控制为 $$L^p$$ 与 $L^{p'}$ 的乘积，再利用 Sobolev 嵌入 $H^{s+1+\varepsilon} \hookrightarrow L^p$ （当 $\varepsilon > 0$ 时 $p < \infty$ ）。
三角结构驱动的迭代闭包：在固定点构造中，定义映射 $\Phi: U \mapsto V$ ，其中 $$V_i$$ 求解 $\partial_t v_i - \Delta(\mu_i(U_1,\dots,U_{i-1}) v_i) = r_i(U)$ 。由于 $\mu_i$ 仅依赖于 $U_1,\dots,U_{i-1}$ ， $$V_1$$ 的方程是线性的（系数 $\mu_1$ 为常数），可直接估计； $$V_2$$ 的系数 $\mu_2(U_1)$ 已由 $$V_1$$ 控制，依此类推。每一层均应用前述 $$E^s_T$$ 估计，而交换子项中的 $\|\mu_i(U_1,\dots,U_{i-1})\|_{L^p}$ 可由前 $$i-1$$ 层的 $$L^p$$ 控制，最终形成一个可闭合的 $$L^p$$ -based 迭代。爆破准则的 refinement 正源于此：若 $\|U\|_{L^p}$ 有界，则所有 $\mu_i(U)$ 的 $$L^p$$ 范数有界，从而交换子项可控， $$H^s$$ 范数不会爆炸，故爆破必先体现为 $$L^p$$ 积分发散。

4. 与之前工作的比较

本文与既有工作的本质区别体现在三个维度：

爆破判据的范数强度与适用性：Amann 理论（[1]）给出的判据是 $\|U(t)\|_{W^{1,p}} \to \infty$ （ $$p > d$$ ），其代价是要求 $$p > d$$ 以保证 $W^{1,p} \hookrightarrow L^\infty$ ，这在高维或弱初值下极难验证。Gallagher–Moussa（[15]）在环面上改进为 $$H^s$$ 判据（ $$s > d/2$$ ），但仍属高阶 Sobolev 范数。本文的 $$L^p$$ 判据（命题 1.1）是质的飞跃： $$L^p$$ 范数比 $$H^s$$ 弱得多（ $H^s \hookrightarrow L^p$ 仅当 $s \geq d/2 - d/p$ ，而此处 $$p$$ 有限， $$s > d/2$$ 是充分但非必要条件），且 $\int_0^{T^*} \|U\|_{L^p}^p$ 发散是比逐点 $L^\infty$ 爆破更弱的条件（例如，解可在零测集上剧烈振荡而 $$L^p$$ 积分仍有限）。文中明确指出，此判据“substantially weaker obstruction to global existence than classical Sobolev blow-up criteria”。
技术假设与系统限制的放宽：Amann 理论的应用常需额外限制，如 [22] 要求 $d \leq 2$ 或 [10] 要求交叉扩散系数 $a_{12}$ 小。Bouton–Desvillettes–Dietert（[4]）虽在 $d \leq 4$ 证得全局存在，但其证明依赖于对 $$L^p$$ 爆破的反向蕴含（即若 $$L^p$$ 爆破则 $$L^q$$ 对所有 $$q > 1 + d/2$$ 爆破），并未提供正向的 $$L^p$$ 判据。本文的命题 1.1 是首个正向的、基于三角结构的 $$L^p$$ 爆破准则，且不依赖于小参数或维度限制（定理 2 的 $d \leq 2$ 是全局存在性应用的条件，非爆破准则本身的要求）。
方法论的自洽性与成本：Amann 理论是通用框架，但应用于 SKT 时需验证复杂的拟线性条件；Gallagher–Moussa 的 Fourier 方法需冻结系数以满足 Petrovskii 条件，引入了近似误差。本文则构建了完全自洽（self-contained）的理论：仅依赖三角结构，无需系数冻结，无需引用外部高阶理论。其代价是必须假设 $\mu_i, r_i$ 光滑且多项式增长（(A2),(A5)），而熵方法（[7,11]）可处理更一般的 $$L^1$$ 数据，但牺牲了强解唯一性。本文在强解框架内实现了范数降阶，为未来在更弱初值或更广非线性类中推广提供了清晰路径。从提供内容中无法确认本文结果能否推广至无界域 $\mathbb{R}^d$ 或其他边界条件，因全文工作均设定在环面 $\mathbb{T}^d$ 上。

4. 表面 Beris-Edwards 模型弱解的存在性

Existence of weak solutions of the surface Beris-Edwards model

作者: Gonzalo A. Benavides, Ricardo H. Nochetto, Mansur Shakipov

类别: math.AP, math-ph

发布日期: 2026-07-02

arXiv ID: 2607.01638v1

摘要翻译: 我们证明了定义在 $$d$$ 维（ $d \in \{2,3\}$ ） $C^{2,1}$ 类闭超曲面上的向列型液晶表面 Beris-Edwards 模型弱解的存在性。该热力学相容模型由 Bouck、Nochetto 与 Yushutin（2024）最近提出，将不可压切向 Navier-Stokes 方程与一个关于 Q-张量场的动力学方程耦合；该 Q-张量场编码了液晶粒子的取向及一般的取向序态。我们将 Abels、Dolzmann 与 Liu（2014）以及 Guillén-González 与 Rodríguez-Bellido（2015）针对平坦区域上 Beris-Edwards 模型所发展的思想加以推广，构造了一个基于适当切向 Stokes 算子与张量值 Laplace-Beltrami 算子特征函数的 Faedo-Galerkin 格式，并通过标准紧性论证恢复出一个弱解。

Comment: 21 pages

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

1. 研究对象和背景

本文研究定义在 $$ d $$ 维（ $$ d = 2 $$ 或 $$ 3 $$ ）闭合 $C^{2,1}$ 超曲面 $\Gamma \subset \mathbb{R}^{d+1}$ 上的向列型液晶（nematic liquid crystal, NLC）表面Beris-Edwards模型。该模型由Bouck, Nochetto与Yushutin于2024年基于广义Onsager变分原理首次提出，是首个在一般弯曲曲面上保持热力学一致性的Q-张量流体力学耦合模型。其核心物理对象为：(i) 切向速度场 $u : [0,T] \times \Gamma \to \mathbb{R}^{d+1}$ ，满足 $u \cdot \nu = 0$ a.e.；(ii) Q-张量场 $Q : [0,T] \times \Gamma \to \mathbb{R}^{(d+1)\times(d+1)}$ ，取值于对称迹零矩阵空间 $\mathcal{S}_0 := \{ A \in \mathbb{R}^{(d+1)\times(d+1)} : A = A^T, \, \operatorname{tr} A = 0 \}$ ；(iii) 标量压力 $\pi : [0,T] \times \Gamma \to \mathbb{R}$ 。系统方程为：

\partial_t Q + (\nabla_M Q) u = M H[Q] + S[Q, u], \tag{8a}

\rho (\partial_t u + (\nabla_\Gamma u) u + \nabla_\Gamma \pi) = 2\mu P \operatorname{div}_\Gamma D_\Gamma u - (f_\Gamma[Q] + f_*[Q]), \tag{8b}

\operatorname{div}_\Gamma u = 0, \tag{8c}

其中 $\nabla_M$ 为外微分梯度（沿切平面投影的欧氏梯度）， $\nabla_\Gamma$ 为协变梯度， $D_\Gamma u = \frac{1}{2}(\nabla_\Gamma u + \nabla_\Gamma^T u)$ 为曲面应变率， $P = I - \nu \otimes \nu$ 为切向投影， $B = \nabla_M \nu$ 为Weingarten映射。分子场 $$ H[Q] $$ 定义为

H[Q] := P \left( L \operatorname{div}_M \nabla_M Q - F'[Q] \right), \quad F[Q] = \frac{a}{2}|Q|^2 - \frac{b}{3} Q : Q^2 + \frac{c}{4}|Q|^4, \quad c > 0, \tag{3}

而 $S[Q,u] = S_\Gamma[Q,u] + S_*[Q,u]$ 为总旋转项，其中

S_\Gamma[Q,u] = W_\Gamma(u) Q - Q W_\Gamma(u), \quad S_*[Q,u] = W_*(u) Q - Q W_*(u), \quad W_*(u) = B u \otimes \nu - \nu \otimes B u. \tag{5}

表面Ericksen应力与力项分别为

\Sigma[Q] = Q H[Q] - H[Q] Q, \quad \Sigma_\Gamma[Q] = P \Sigma[Q] P,

f_\Gamma[Q] = -P \operatorname{div}_\Gamma \Sigma_\Gamma[Q] + H[Q] : \nabla_M Q, \quad f_*[Q] = 2 B \Sigma[Q] \nu. \tag{7}

该模型的关键数学挑战在于：(1) 几何非线性——所有微分算子均依赖于曲面几何（如 $\nabla_M, \operatorname{div}_\Gamma, B$ ），且 $\Gamma$ 无边界，导致经典边界处理失效；(2) 强耦合非线性—— $$ Q $$ -方程含对流项 $(\nabla_M Q) u$ 、双线性旋转项 $$ S[Q,u] $$ 及四阶非线性势 $$ F[Q] $$ ；(3) 张量结构约束—— $$ Q $$ 必须始终取值于 $\mathcal{S}_0$ ，而 $$ H[Q] $$ 需经投影 $$ P $$ 保证对称迹零；(4) 压力恢复困难——动量方程（8b）中压力仅通过 $\nabla_\Gamma \pi$ 出现，且 $\Gamma$ 为紧致无边曲面，故需借助Helmholtz–Weyl分解而非标准Neumann问题。此前，曲面NLC模型仅有三篇工作：Nestler–Voigt（2019）假设法向为Q-张量本征向量，但缺乏能量律；Nitschke–Voigt（2022）推广至演化曲面，但未建立解的存在性；而Bouck–Nochetto–Yushutin（2024）虽给出热力学一致模型，却未解决适定性问题。因此，本文旨在填补这一关键空白：首次严格证明该曲面Beris-Edwards模型弱解的存在性，为后续正则性、唯一性及数值分析奠定基础。

2. 主要定理或主要结果

定理1.5（弱解存在性）：设 $d \in \{2,3\}$ ， $\Gamma \subset \mathbb{R}^{d+1}$ 为 $C^{2,1}$ 类闭合紧连通超曲面， $$ T > 0 $$ ，初值满足 $u_0 \in L^2_{t,\sigma}(\Gamma) := \{ v \in L^2(\Gamma;\mathbb{R}^{d+1}) : v \cdot \nu = 0 \text{ a.e.}, \, \operatorname{div}_\Gamma v = 0 \}$ ， $Q_0 \in H^1_S(\Gamma) := \{ A \in H^1(\Gamma;\mathbb{R}^{(d+1)\times(d+1)}) : A = A^T, \, \operatorname{tr} A = 0 \text{ a.e.} \}$ 。则存在一对函数 $$ (u,Q) $$ 满足

u \in BC_w([0,T]; L^2_{t,\sigma}) \cap L^2([0,T]; H^1_{t,\sigma}), \quad Q \in BC_w([0,T]; H^1_S) \cap L^2([0,T]; H^2_S),

使得对任意测试函数 $w \in C^1([0,T]; H^2_{t,\sigma})$ 、 $\Psi \in C^1([0,T]; H^1_S)$ 满足 $w(T) = \Psi(T) = 0$ ，弱形式（15）–（16）成立，且能量耗散不等式（17）对几乎处处 $t \in (0,T)$ 成立。

定理1.6（压力场恢复）：在定理1.5条件下，存在唯一压力 $\pi \in \bigcap_{\varepsilon \in (0,1)} L^2([0,T]; L^{(d+\varepsilon)^*}_#(\Gamma))$ ，其中 $L^{p^*}_# := \{ q \in L^{p^*}(\Gamma) : \int_\Gamma q = 0 \}$ ，使得动量方程弱形式（18）对任意 $w \in C^1([0,T]; W^{2,d+\varepsilon}_t)$ 、 $$ w(T) = 0 $$ 成立，并满足先验估计

$$ |\pi|{L^2([0,T]; L^{(d+\varepsilon)^*}#)} \leq C \Big( |u|^2_{L^2([0,T]; H^1)} + |u|_{L^2([0,T]; L^2)} \

|H[Q]|{L^2([0,T]; L^2)} |\nabla_M Q|{L^\infty([0,T]; L^2)} + |Q|{L^\infty([0,T]; H^1)} |H[Q]|{L^2([0,T]; L^2)} \Big), $$

其中常数 $C = C(\Gamma, T, \varepsilon, \rho, \mu) > 0$ 。值得注意的是，由于 $\Gamma$ 无边界，压力正则性优于平域情形（对比Guillén-González & Rodríguez-Bellido, 2015, Remark 9），此处 $\pi \in L^2_t L^{p^*}_x$ 对任意 $$ p > d $$ 成立，而平域中仅能获得 $\pi \in L^2_t L^2_x$ 。

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

证明的核心障碍有三：(i) 曲面微分算子的谱理论构造——需为切向Stokes算子 $A v = -P_\sigma(P \operatorname{div}_\Gamma \nabla_\Gamma v)$ 和张量值Laplace-Beltrami型算子 $T A = -\operatorname{div}_M \nabla_M A + A$ 构造完备正交特征基；(ii) Galerkin逼近中的非线性投影一致性—— $$ Q $$ -方程中的分子场 $$ H[Q] $$ 需投影到有限维空间 $$ Q_n $$ ，但 $\pi_n H[Q]$ 与 $H[\pi_n Q]$ 不等价，破坏能量结构；(iii) 压力项的弱处理——无边曲面无法用标准Neumann问题恢复 $\pi$ ，必须借助Helmholtz–Weyl分解与超弱Laplace-Beltrami公式。

作者的真正创新点在于：第一，系统建立曲面张量谱理论。Proposition 2.1证明了 $-\operatorname{div}_M \nabla_M + I$ 在 $$ H^2_S $$ 上的紧自伴性，利用 $\Gamma$ 的 $C^{2,1}$ 正则性与[5, Theorem 1.4]的高阶正则性理论，导出特征基 $\{\tilde{A}^{(n)}\}_{n\in\mathbb{N}} \subset H^2_S$ 满足 $-\operatorname{div}_M \nabla_M \tilde{A}^{(n)} + \tilde{A}^{(n)} = \lambda_n \tilde{A}^{(n)}$ ，且构成 $$ L^2_S $$ 与 $$ H^1_S $$ 的正交基；Proposition 2.5引用前期工作[4]，确认Stokes算子 $$ A $$ 的特征基 $\{v^{(n)}\}$ 满足 $A v^{(n)} = \omega_n v^{(n)}$ ，且 $\{\omega_n^{-1/2} v^{(n)}\}$ 是 $H^1_{t,\sigma}$ 的正交基（内积 $(u,v) \mapsto (\nabla_\Gamma u, \nabla_\Gamma v)_\Gamma$ ）。第二，设计兼容能量律的Galerkin方案。关键技巧在于：(a) 对 $$ Q $$ -方程（27b）使用 $\pi_n H[Q^{(n)}]$ 作为测试函数（Remark 3.2(i)保证其属于 $$ Q_n $$ ），从而导出离散能量律（28）；(b) 对 $$ u $$ -方程（27a）使用 $u^{(n)}$ 自身测试，利用 $\operatorname{div}_\Gamma u^{(n)} = 0$ 消去对流项能量贡献；(c) 通过精细代数恒等式（32）–（35）将应力项 $(\Sigma_{n,\Gamma}[Q^{(n)}], \nabla_\Gamma u^{(n)})_\Gamma$ 等转化为 $-(S_\Gamma[Q^{(n)},u^{(n)}], \pi_n H[Q^{(n)}])_\Gamma$ ，与 $$ Q $$ -方程中对应项精确抵消，确保（28）成立。第三，压力恢复采用“后处理”框架。利用Proposition 2.2的Helmholtz–Weyl分解 $W^{2,p}_t = W^{2,p}_{t,\sigma} \oplus \nabla_\Gamma W^{3,p}_#$ ，将动量方程投影至 $\nabla_\Gamma W^{3,p}_#$ 分量，转化为超弱Laplace-Beltrami问题 $(\pi, \operatorname{div}_\Gamma w)_\Gamma = \langle \mathcal{F}, w \rangle$ ，其中右端 $\mathcal{F}$ 由已知 $u^{(n)}, Q^{(n)}$ 控制；再借助[4, Lemma 4.3]的适定性，得到 $\pi \in L^2_t L^{p^*}_x$ 估计（19）。此方法规避了平域中因边界条件导致的压力低正则性瓶颈。

4. 与之前工作的比较

本文与既有工作的本质推进体现在四个维度：

几何范畴：此前所有Beris-Edwards存在性结果（如Abels–Dolzmann–Liu, 2014；Guillén-González & Rodríguez-Bellido, 2015；Paicu–Zarnescu, 2011）均针对欧氏子域（有界区域、全空间、半空间或环面），其微分算子为标准梯度、散度，边界条件（Dirichlet/Neumann）可直接应用。本文首次将分析框架移植至紧致无边曲面，必须重构全部算子谱理论（Propositions 2.1 & 2.5）、积分分部公式（Corollaries 1.2–1.3）及Sobolev嵌入（因 $\Gamma$ 紧致，Gagliardo–Nirenberg–Sobolev嵌入与平域一致，但常数依赖曲率）。代价是技术复杂度剧增：Weingarten映射 $$ B $$ 的出现使 $\nabla_M$ 、 $\operatorname{div}_\Gamma$ 具有非平凡几何耦合，且 $\Gamma$ 无边导致无法使用Poincaré不等式直接控制 $$ L^2 $$ -范数，而需依赖 $\operatorname{div}_\Gamma u = 0$ 的拓扑约束。
模型物理真实性：Nestler–Voigt（2019）模型强制法向为Q-张量本征向量，虽简化计算但违背液晶粒子可任意取向的物理事实，且缺乏能量律（故不适定性风险更高）；本文模型允许 $$ Q $$ 的本征标架完全自由，由（8a）动态演化，且继承Bouck–Nochetto–Yushutin（2024）的能量律（10），确保热力学一致性。代价是数学上需处理额外的星形旋转项 $$ S_*[Q,u] $$ 及力项 $f_*[Q] = 2B\Sigma[Q]\nu$ ，其分析依赖Weingarten映射的对称性（见（35）推导）。
压力正则性：平域工作中（如[25, Remark 9]），压力仅能证明 $\pi \in L^2(0,T; L^2(\Omega))$ ，受限于边界法向导数的奇异性。本文因 $\Gamma$ 无边，利用Helmholtz–Weyl分解（24）与超弱Laplace-Beltrami理论，获得 $\pi \in L^2(0,T; L^{p^*}(\Gamma))$ 对任意 $$ p > d $$ 成立（Theorem 1.6），即 $\pi \in L^2_t L^{q}_x$ 对所有 $q < \infty$ （因 $p^* \to \infty$ 当 $p \to 1^+$ ）。这是实质性提升，为后续高正则性分析提供可能。
技术工具迁移：本文并非简单复制平域Galerkin方法，而是创造性适配曲面结构：(a) 特征基选取上， $$ u $$ -逼近使用Stokes算子特征函数（保证 $\operatorname{div}_\Gamma$ -自由）， $$ Q $$ -逼近使用 $-\operatorname{div}_M \nabla_M + I$ 的张量特征函数（保证 $\mathcal{S}_0$ -值性与高正则性）；(b) 非线性处理上，平域工作常假设 $\xi = 0$ 或小参数，而本文无需此类限制，因曲面几何本身已提供足够耗散；(c) 紧性论证中， $\Gamma$ 紧致性使Rellich–Kondrachov嵌入 $H^1 \hookrightarrow L^2$ 紧致，且无边界避免了平域中常见的边界层振荡问题。从提供内容中无法确认本文是否讨论唯一性、正则性或长时间行为，作者亦未显式展开与Nitschke–Voigt（2022）演化曲面模型的比较。

5. 关于热核在 Besov 空间中的极大正则性及一个退化三维 Keller-Segel 系统的简短注记

A short note on maximal regularity for the heat kernel in Besov spaces and a degenerate 3D Keller-Segel system

作者: Pierre Gilles Lemarié-Rieusset

类别: math.AP

发布日期: 2026-07-02

arXiv ID: 2607.01847v1

摘要翻译: 我们证明了在临界 Lorentz 空间中具有小初值的一个退化 Keller-Segel 方程的整体存在性。

Comment: 无

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

1. 研究对象和背景

本文研究如下定义在 $(0, +\infty) \times \mathbb{R}^3$ 上的退化Keller–Segel系统：

\begin{cases} \partial_t u = \Delta u - \operatorname{div}(u \nabla \varphi), \\ \partial_t \varphi = \epsilon \Delta \varphi + u, \\ u(0,\cdot) = u_0, \quad \varphi(0,\cdot) = 0, \end{cases} \tag{1}

其中 $\epsilon \geq 0$ 。当 $\epsilon > 0$ 时，该系统为标准的抛物–抛物型Keller–Segel模型；当 $\epsilon = 0$ 时，第二方程退化为椭圆约束 $-\Delta \varphi = u$ （在分布意义下），从而整个系统变为抛物–椭圆型：

\partial_t u = \Delta u - \operatorname{div}(u \nabla \varphi), \quad -\Delta \varphi = u.

该模型描述趋化性细胞聚集过程，其数学核心在于非线性项 $\operatorname{div}(u \nabla \varphi)$ 的强奇异性：因 $\nabla \varphi = \nabla (-\Delta)^{-1} u$ ，故该项本质为双线性伪微分算子 $\operatorname{div}\big(u \, \nabla (-\Delta)^{-1} u\big)$ ，即 $\operatorname{div}\big(u \, \mathcal{R} u\big)$ ，其中 $\mathcal{R} = \nabla (-\Delta)^{-1}$ 是向量值Riesz变换。该算子在临界尺度下具有零阶齐次性：若 $u_\lambda(t,x) = \lambda^2 u(\lambda^2 t, \lambda x)$ ，则 $\varphi_\lambda(t,x) = \varphi(\lambda^2 t, \lambda x)$ ，且 $\|u_0\|_{X}$ 在 $$X$$ 中满足尺度不变性 $\|u_{0,\lambda}\|_X = \|u_0\|_X$ 当且仅当 $$X$$ 具有指标 $$-1$$ （即 $[u] = L^{3/2}$ 、 $L^{3/2,\infty}$ 、 $\dot{B}^{-1/2}_{2,\infty}$ 或 $L^{3/2,1}$ ）。因此，所有适定性理论必须在这些临界空间中构建。

已有工作集中于 $\epsilon > 0$ 情形：Calvez–Corrias–Ebde [1] 在 $L^{3/2}$ 中建立小初值全局解；Kozono–Sugiyama [4] 推广至临界Lorentz空间 $L^{3/2,\infty}$ ；Iwabuchi [2] 使用 $\dot{B}^{-1/2}_{2,\infty}$ ；Lemarié-Rieusset [6] 则在Morrey空间 $\dot{M}^{1,3/2}$ 中完成。这些结果均依赖于 $\epsilon > 0$ 所提供的额外耗散——体现在对 $\varphi$ 的时间导数项，使得 Duhamel 表达式中出现卷积核 $e^{\epsilon(t-s)\Delta} \nabla$ ，其 $$L^1$$ 范数衰减为 $C (\epsilon(t-s))^{-1/2}$ ，从而在估计双线性项 $B_\epsilon(u,v)$ 时产生关键因子 $\epsilon^{-1/2}$ （见 Proposition 1）。然而，当 $\epsilon \to 0$ 时，该因子爆炸，导致所有前述框架失效；尤其 $\epsilon = 0$ 时， $\int_0^s \nabla v(\sigma)\, d\sigma$ 不再具有任何时间衰减，其 $L^{3/2\alpha}$ 范数无法被 $s^{1/2 - \alpha}$ 控制（对比第5页估计中 $\epsilon^{-1/2}s^{1/2 - \alpha}$ 项）。此时，非线性项 $u \int_0^s \nabla v$ 的正则性损失加剧，传统 $$L^p$$ – $$L^q$$ 型热半群估计与乘积不等式均不再闭合。本文旨在填补这一关键空白：在 $\epsilon = 0$ 的完全退化情形下，是否存在一个临界初值空间，使得小初值仍能保证全局解存在？特别地，作者提出：能否绕过 $\epsilon$ -依赖的 $L^\infty_t L^{3/2,\infty}_x$ 框架，转而利用更强的 $L^1_t \dot{B}^{3/2}_{2,1}$ 正则性来补偿 $\epsilon = 0$ 带来的奇异性？这要求发展新的极大正则性工具——不仅适用于 $$L^p_t L^q_x$$ （ $1<p<\infty$ ），更要覆盖极限情形 $$p=1$$ （对应 $\dot{B}^0_{q,1}$ ）与 $p=\infty$ （对应 $\dot{B}^0_{q,\infty}$ ），并建立它们之间的耦合控制。

2. 主要定理或主要结果

定理1（第4页）：设 $\epsilon \geq 0$ ，考虑 mild 解方程

u = e^{t\Delta} u_0 - \int_0^t e^{(t-s)\Delta} \operatorname{div}\left( u \int_0^s e^{\epsilon(s-\sigma)\Delta} \nabla u \, d\sigma \right) ds. \tag{5}

存在与 $\epsilon$ 无关的常数 $$C_0 > 0$$ ，使得若初值 $u_0 \in L^{3/2,1}(\mathbb{R}^3)$ 且 $\|u_0\|_{L^{3/2,1}} < C_0$ ，则方程 (5) 存在唯一全局解 $$u$$ 满足

u \in L^\infty\big((0,+\infty);\, L^{3/2,\infty}(\mathbb{R}^3)\big) \cap L^1\big((0,+\infty);\, \dot{B}^{3/2}_{2,1}(\mathbb{R}^3)\big).

该结论对任意 $\epsilon \geq 0$ 一致成立，尤其包含 $\epsilon = 0$ 的退化情形。证明中构造的 Banach 空间为 $Y = L^1_t \dot{B}^{3/2}_{2,1} \cap L^\infty_t L^{3/2,\infty}$ ，其范数为 $\|u\|_Y = \|u\|_{L^1_t \dot{B}^{3/2}_{2,1}} + \|u\|_{L^\infty_t L^{3/2,\infty}}$ 。关键先验估计为：

线性项： $\|e^{t\Delta} u_0\|_{L^1_t \dot{B}^{3/2}_{2,1}} \leq C \|u_0\|_{\dot{B}^{-1/2}_{2,1}}$ （第8页），且因 $L^{3/2,1} \hookrightarrow \dot{B}^{-1/2}_{2,1}$ ，故 $\|e^{t\Delta} u_0\|_{L^1_t \dot{B}^{3/2}_{2,1}} \leq C \|u_0\|_{L^{3/2,1}}$ ；同时 $L^{3/2,1} \hookrightarrow L^{3/2,\infty}$ 给出 $\|e^{t\Delta} u_0\|_{L^\infty_t L^{3/2,\infty}} \leq C \|u_0\|_{L^{3/2,1}}$ 。
双线性项：对 $\epsilon \geq 0$ ，有 $\|B_\epsilon(u,v)\|_{L^1_t \dot{B}^{3/2}_{2,1}} \leq C_0 \|u\|_{L^1_t \dot{B}^{3/2}_{2,1}} \|v\|_{L^1_t \dot{B}^{3/2}_{2,1}}, \tag{9}$ 其中常数 $$C_0$$ 独立于 $\epsilon$ （Proposition 2）。此外，还建立混合估计 $\|B_\epsilon(u,v)\|_{L^\infty_t L^{3/2,\infty}} \leq C_0 \|u\|_{L^\infty_t L^{3/2,\infty}} \|v\|_{L^1_t \dot{B}^{3/2}_{2,1}}.$ 由此，Picard 迭代 $w_{n+1} = e^{t\Delta} u_0 - B_\epsilon(w_n,w_n)$ 在 $$Y$$ 中收缩，收敛到唯一解 $$u$$ ，且 $\|u\|_Y \leq 2 C_0 \|u_0\|_{L^{3/2,1}}$ 。

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

本文的核心技术障碍在于：当 $\epsilon = 0$ 时，非线性项中内积分 $\int_0^s \nabla u(\sigma)\, d\sigma$ 完全丧失时间衰减，导致传统 $$L^p_t L^q_x$$ 框架（如 Proposition 1 中依赖 $\epsilon^{-1/2}$ 的估计）彻底崩溃。作者的真正创新点是放弃对 $L^\infty_t$ 范数的单一依赖，转而构建一个混合空间 $Y = L^1_t \dot{B}^{3/2}_{2,1} \cap L^\infty_t L^{3/2,\infty}$ ，并发展三层次协同分析：

第一层：极限情形的极大正则性（第7页 Lemma 1）。作者不采用经典 $$L^p_t L^q_x$$ （ $1<p,q<\infty$ ）框架，而是处理 $$p=1$$ 的边界情形：定义算子 $L(u)(t,\cdot) = \int_0^t e^{(t-s)\Delta} \Delta u(s,\cdot)\, ds$ ，证明其在 $L^1_t \dot{B}^0_{q,1}$ 上有界，即

\int_0^\infty \|L(u)(t,\cdot)\|_{\dot{B}^0_{q,1}}\, dt \leq C_q \int_0^\infty \|u(t,\cdot)\|_{\dot{B}^0_{q,1}}\, dt.

证明基于 Littlewood–Paley 分解：对每个频率块 $\Delta_j$ ，利用热核梯度估计 $\|e^{(t-s)\Delta} \Delta \Delta_j u\|_q \leq C \min\big(2^j (t-s)^{-1/2},\, 2^{-j} (t-s)^{-3/2}\big) \|\Delta_j u(s,\cdot)\|_q$ ，再通过变量替换 $\tau = t-s$ 得到与 $$j$$ 无关的积分收敛性 $\int_0^\infty \min(\tau^{-1/2}, \tau^{-3/2})\, d\tau < \infty$ ，从而实现频率块求和与时间积分的交换。

第二层：关键乘积律与正则性转移（第8–9页）。为控制 $B_\epsilon(u,v)$ 中的 $u \int_0^s \nabla v$ ，作者使用 $\dot{B}^{1/2}_{2,1}$ 作为中间空间：首先由 $v \in L^1_t \dot{B}^{3/2}_{2,1}$ 得 $\nabla v \in L^1_t \dot{B}^{1/2}_{2,1}$ ，进而 $w_\epsilon = \int_0^s \nabla v \in L^\infty_t \dot{B}^{1/2}_{2,1}$ （因 $\|w_\epsilon(t)\|_{\dot{B}^{1/2}_{2,1}} \leq \int_0^t \|\nabla v\|_{\dot{B}^{1/2}_{2,1}} \leq \|v\|_{L^1_t \dot{B}^{3/2}_{2,1}}$ ）。接着应用乘积不等式：

$\|u w_\epsilon\|_{\dot{B}^{1/2}_{2,1}} \leq C \|u\|_{\dot{B}^{3/2}_{2,1}} \|w_\epsilon\|_{\dot{B}^{1/2}_{2,1}}$ （利用 $\dot{B}^{3/2}_{2,1} \cdot \dot{B}^{1/2}_{2,1} \to \dot{B}^{1/2}_{2,1}$ ，因 $$3/2 + 1/2 > 0$$ ）；
$\|u w_\epsilon\|_{L^1} \leq C \|u\|_{L^{3/2,\infty}} \|w_\epsilon\|_{\dot{B}^{1/2}_{2,1}}$ （因 $\dot{B}^{1/2}_{2,1} \hookrightarrow L^{3,1} \subset L^3$ ，再用 Hölder $L^{3/2,\infty} \times L^3 \to L^1$ ）。

第三层：算子分解与正则性提升（第9–10页）。将 $B_\epsilon(u,v)$ 写为 $\int_0^\infty e^{(t-s)\Delta} \Delta \big( \frac{1}{\Delta} \operatorname{div}(u w_\epsilon) \big) ds$ ，其中 $\frac{1}{\Delta} \operatorname{div}(u w_\epsilon) \in L^1_t \dot{B}^{3/2}_{2,1}$ （因 $\operatorname{div}(u w_\epsilon) \in L^1_t \dot{B}^{1/2}_{2,1}$ 且 $(-\Delta)^{-1}: \dot{B}^{1/2}_{2,1} \to \dot{B}^{5/2}_{2,1}$ ）。最后调用 Lemma 1 的极大正则性，得到 $B_\epsilon(u,v) \in L^1_t \dot{B}^{3/2}_{2,1}$ ，且常数与 $\epsilon$ 无关。

4. 与之前工作的比较

本文与既有工作的根本差异体现在三个维度：

临界空间选择与尺度结构：此前所有 $\epsilon > 0$ 的结果（[1],[4],[2],[6]）均工作于 $L^\infty_t$ 型空间（ $L^\infty_t L^{3/2}$ 、 $L^\infty_t L^{3/2,\infty}$ 、 $L^\infty_t \dot{B}^{-1/2}_{2,\infty}$ ），其时间范数隐含对任意时刻 $$t>0$$ 的逐点控制，但代价是要求 $\epsilon^{-1/2}$ 小初值（Proposition 1 中 $\|u_0\| < C_\alpha / \sqrt{\epsilon}$ ）。本文则首次采用 $$L^1_t$$ 型空间 $L^1_t \dot{B}^{3/2}_{2,1}$ ，其物理意义是允许解在个别时刻具有较大振幅，但要求整体时间积分具有高正则性。这种范数更贴近能量耗散本质（ $\int_0^\infty \|u(t)\|_{\dot{B}^{3/2}_{2,1}} dt$ 可视为广义耗散率），从而规避了 $\epsilon = 0$ 时 $L^\infty_t$ 估计的致命缺陷。
极大正则性的极限运用：经典极大正则性（如 $$L^p_t L^q_x$$ ， $1<p,q<\infty$ ）无法处理 $\epsilon = 0$ 情形，因其要求 $$p>1$$ 以保证 Fourier 乘子 $m(\tau,\xi) = |\xi|^2 / (i\tau + |\xi|^2)$ 的 $\mathcal{M}_p$ 有界性。本文突破在于直接处理 $$p=1$$ 的极限情形，利用 $\dot{B}^0_{q,1}$ 的原子分解与热核的精细衰减（ $\min(2^j \tau^{-1/2}, 2^{-j} \tau^{-3/2})$ ）实现频率局部化控制，这是对 Kozono–Nakao [3] 和 Meyer [7] 关于 Navier–Stokes 在 $L^\infty_t L^{3,\infty}$ 中失败的正面回应：作者明确指出“maximal regularity is not true in $L^\infty L^{3/2,\infty}$ ”，故主动避开该空间，转向 $L^1_t \dot{B}^{3/2}_{2,1}$ 这一可证有界的替代路径。
适用范围与代价：本文结论对 $\epsilon \geq 0$ 一致成立，将全局适定性的时间尺度从 $\epsilon > 0$ 的“依赖参数”推进至真正的“参数无关”（uniform in $\epsilon$ ）。但代价是初值正则性要求更高： $L^{3/2,1}$ 严格嵌入 $L^{3/2,\infty}$ （即 $L^{3/2,1} \subsetneq L^{3/2,\infty}$ ），例如 $|x|^{-2} \chi_{|x|>1}$ 属于后者但不属于前者。此外，解的正则性表述为 $u \in L^1_t \dot{B}^{3/2}_{2,1}$ ，弱于 $\epsilon > 0$ 情形中常见的 $u \in L^\infty_t \dot{B}^{-1/2}_{2,\infty}$ 的逐点正则性。然而，作者强调此代价是必要的——它换取了 $\epsilon = 0$ 的严格存在性，且 $L^1_t \dot{B}^{3/2}_{2,1}$ 蕴含 $u \in C([0,\infty); \dot{B}^{-1/2}_{2,\infty})$ （由插值），故解仍保持基本连续性。从提供内容中无法确认该解是否具有更高阶时间正则性（如 $\partial_t u \in L^1_t \dot{B}^{-1/2}_{2,1}$ ）或空间衰减性质。

6. 关于三维Navier-Stokes方程组在 $L^p_T(\ rac 1 2+\frac 2 p}_{2,\infty})$ 空间中临界单分量正则性

On the Critical One Components Regularity for the $$3-D$$ Navier-Stokes System in $L^p_T(\dot{B}^{\frac 1 2+\frac 2 p}_{2,\infty})$ spaces

作者: Wei Luo, Zhanyang Yin, Pei Zheng

类别: math.AP

发布日期: 2026-07-02

arXiv ID: 2607.01587v1

摘要翻译: 我们考虑三维不可压Navier-Stokes方程组的温和解 $$v$$ 的条件正则性，其初始数据满足 $v_0\in \dot{H}^{\frac 1 2}$ 且涡量 $\Omega_0\in L^{r_0}$ ，其中 $r_0\in (1,2)$ 。我们证明：若对应于初始数据 $$v_0$$ 的解在有限时刻 $T^\ast$ 发生爆破，则对任意 $2<p<\infty$ 及任意单位向量 $e\in \mathbb{R}^3$ ，积分

Comment: 无

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

1. 研究对象和背景

本文研究三维不可压Navier-Stokes方程的条件正则性问题，其控制方程为

\begin{cases} \partial_t v + v \cdot \nabla v - \Delta v + \nabla P = 0, \\ \mathrm{div}\, v = 0, \\ v(0,x) = v_0(x), \end{cases} \quad (x,t) \in \mathbb{R}^3 \times [0,\infty).

该系统具有尺度不变性：若 $$v$$ 是解，则对任意 $$R>0$$ ， $v_R(t,x) \coloneqq R v(R^2 t, R x)$ 亦为解，对应初值 $v_{0,R}(x) = R v_0(R x)$ 。因此，所有临界空间（即范数在该尺度变换下不变的空间）天然构成正则性判据的候选框架。经典Prodi–Serrin–Ladyzhenskaya准则指出：若 $\int_0^{T^*} \|v(t)\|_{L^p}^q \, dt < \infty$ 且 $\frac{2}{q} + \frac{3}{p} = 1$ 、 $p \in (3,\infty]$ ，则解在 $$T^*$$ 处保持光滑。Escauriaza–Seregin–Šverák证明了 $$L^3$$ 端点情形；Kozono–Shimada与Chen–Zhang分别将判据推广至 $\mathrm{BMO}$ 与端点Besov空间 $\dot{B}^{\sigma}_{\infty,\infty}$ （其中 $\frac{2}{p} = 1 + \sigma$ , $-1 < \sigma < 1$ ）。近年来，研究焦点转向“单分量判据”——仅依赖速度场某一方向分量 $v \cdot e$ （ $e \in \mathbb{S}^2$ ）的积分信息即可判定整体正则性。Cao–Titi、Zhou、Chae–Wolf、Wang–Wu–Zhang等先后在超临界或临界 $$L^p_t L^q_x$$ 框架下建立结果，但均要求 $$p > 3$$ 或引入Lorentz空间等额外结构。Chemin–Zhang开创性地提出并验证了临界Hilbert空间判据：若 $I_p(v \cdot e) \coloneqq \int_0^{T^*} \|v \cdot e\|_{\dot{H}^{\frac{1}{2} + \frac{2}{p}}}^p \, dt < \infty$ （ $p \in [2,\infty)$ ），则解正则；Lei通过流形化证明统一覆盖 $2 \le p < \infty$ 。然而，该框架仍受限于 $\dot{H}^{s}$ 范数对 $$v_3$$ 的强正则性要求，难以直接迁移至更弱的 $\dot{B}^{s}_{2,\infty}$ 空间——后者虽同为临界空间（因 $\|f(\lambda \cdot)\|_{\dot{B}^{\frac{1}{2}+\frac{2}{p}}_{2,\infty}} = \lambda^{-\frac{1}{2}-\frac{2}{p}} \|f\|_{\dot{B}^{\frac{1}{2}+\frac{2}{p}}_{2,\infty}}$ ，与尺度变换 $$v_R$$ 完全匹配），但缺乏Sobolev嵌入 $\dot{B}^{\frac{1}{2}+\frac{2}{p}}_{2,\infty} \hookrightarrow L^p$ （当 $$p>2$$ 时失效）及标准乘子估计工具。本文旨在填补这一空白：在初始数据满足 $v_0 \in \dot{H}^{\frac{1}{2}}$ 且涡量 $\Omega_0 = \nabla \times v_0 \in L^{r_0}$ （ $r_0 \in (1,2)$ ）的物理合理前提下，建立以 $v \cdot e$ 在临界各向异性Besov空间 $L^p_T(\dot{B}^{\frac{1}{2}+\frac{2}{p}}_{2,\infty})$ 中的可积性为判据的正则性定理。该空间比 $\dot{H}^{\frac{1}{2}+\frac{2}{p}}$ 更弱（因 $\dot{H}^{s} \hookrightarrow \dot{B}^{s}_{2,\infty}$ ），且其范数不涉及高频振荡的 $\ell^2$ -求和，故更适配单分量信息的粗粒化提取。核心障碍在于：传统Biot-Savart律将水平速度 $$v_h$$ 表达为 $v_h = \nabla_h^\perp \Delta_h^{-1} \omega - \nabla_h \Delta_h^{-1} \partial_3 v_3$ ，其中 $\omega = -\partial_2 v_1 + \partial_1 v_2$ 为水平涡量；而 $\partial_3 v_3$ 的低正则性导致 $\nabla_h \Delta_h^{-1} \partial_3 v_3$ 无法被 $\dot{B}^{\frac{1}{2}+\frac{2}{p}}_{2,\infty}$ 控制，进而破坏能量估计的闭合。

2. 主要定理或主要结果

定理1.1（主结果）：设 $v_0 \in \dot{H}^{\frac{1}{2}}(\mathbb{R}^3)$ 满足 $\mathrm{div}\, v_0 = 0$ ，且其涡量 $\Omega_0 = \nabla \times v_0 \in L^{r_0}(\mathbb{R}^3)$ ，其中 $r_0 \in (1,2)$ 。令 $0 < T^* < \infty$ ，并设 $v \in C([0,T^*); \dot{H}^{\frac{1}{2}}) \cap L^2([0,T^*); \dot{H}^{\frac{3}{2}})$ 为方程(1)以 $$v_0$$ 为初值的唯一局部温和解。若存在 $p \in (2,\infty)$ 及单位向量 $e \in \mathbb{S}^2$ ，使得

\int_0^{T^*} \|(v(t) \cdot e)\|_{\dot{B}^{\frac{1}{2} + \frac{2}{p}}_{2,\infty}}^p \, dt < \infty,

则 $$v$$ 在 $$[0,T^*]$$ 上保持正则，即

v \in C([0,T^*]; \dot{H}^{\frac{1}{2}}) \cap L^2([0,T^*]; \dot{H}^{\frac{3}{2}}),

且满足先验估计：

\max_{0 \le t \le T^*} \left( \|v(t)\|_{\dot{H}^{\frac{1}{2}}} + \|\Omega(t)\|_{L^{r_0}} \right) < \infty,

以及对任意 $$0 < t_0 < T^*$$ ，有

\max_{t_0 \le t \le T^*} \left( \|v(t)\|_{\dot{H}^1} + \|\nabla \Omega(t)\|_{L^{r_0}} \right) < \infty.

特别地，当 $$e = (0,0,1)$$ 时，判据简化为 $\int_0^{T^*} \|v_3(t)\|_{\dot{B}^{\frac{1}{2} + \frac{2}{p}}_{2,\infty}}^p \, dt < \infty$ 。该结果对所有 $p \in (2,\infty)$ 成立，且未对 $$p$$ 施加上界限制（如Chemin–Zhang要求 $$p < 6$$ ）。推论层面，由嵌入关系 $\dot{H}^{\frac{1}{2} + \frac{2}{p}} \hookrightarrow \dot{B}^{\frac{1}{2} + \frac{2}{p}}_{2,\infty}$ ，本文判据严格弱于Chemin–Zhang（2017）、Han–Zhang（2019）及Lei（2020）的工作，即 $\int_0^{T^*} \|v \cdot e\|_{\dot{B}^{\frac{1}{2} + \frac{2}{p}}_{2,\infty}}^p \, dt < \infty$ 蕴含 $\int_0^{T^*} \|v \cdot e\|_{\dot{H}^{\frac{1}{2} + \frac{2}{p}}}^p \, dt < \infty$ ，但反之不成立。

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

证明的核心障碍在于： $\dot{B}^{\frac{1}{2} + \frac{2}{p}}_{2,\infty}$ 范数过弱，无法通过标准Sobolev嵌入或乘子定理控制 $$v_h$$ 的非线性项，尤其当 $$p > 4$$ 时， $\frac{1}{2} + \frac{2}{p} < 1$ ，致使 $\|v_3\|_{\dot{B}^{\frac{1}{2} + \frac{2}{p}}_{2,\infty}}$ 无法由 $\dot{H}^s$ 范数插值得到，从而阻断Chemin–Zhang–Lei系列方法。作者发展了一套精细的各向异性分析框架，其创新点分三层次：第一，针对涡量 $\omega$ 的 $$L^r$$ 能量估计（ $r \in (1,2)$ ），关键突破在于对非线性项 $\|\omega^{r-1}\|_{\dot{B}^s_{r',1}}$ 的精细控制。传统方法（如Lemma 3.2 in Chemin–Zhang）仅给出粗略估计，而本文利用Holder复合函数的Besov映射性质（Lemma 2.8）与插值技巧，证明了对任意 $s \in (0, \frac{2}{r'})$ ，有

\|\omega^{r-1}\|_{\dot{B}^s_{r',1}} \lesssim \|\nabla \omega^{r/2}\|_2^s \, \|\omega^{r/2}\|_2^{\frac{2}{r'} - s},

其中 $$r'$$ 为 $$r$$ 的Hölder共轭。此估计将 $\omega^{r-1}$ 的Besov正则性完全由 $\omega^{r/2}$ 的 $$L^2$$ 及 $\dot{H}^1$ 范数刻画，规避了对 $\omega$ 本身高阶导数的依赖。第二，针对 $$p > 4$$ 与 $2 < p \le 4$ 两种情形，采用差异化的各向异性Bony分解策略。当 $$p > 4$$ 时，因 $\dot{B}^{\frac{1}{2} + \frac{2}{p}}_{2,\infty}$ 正则性不足，作者引入适应性Hilbert空间 $H_{\theta,r} \coloneqq \dot{H}^{-3\alpha(r)+\theta, -\theta}$ （其中 $\alpha(r) = \frac{1}{r} - \frac{1}{2}$ ），并利用引理2.4的嵌入 $\|a\|_{(\dot{B}^{s-\theta}_{p,q})_h (\dot{B}^{\theta}_{p,1})_v} \lesssim \|a\|_{\dot{B}^s_{p,q}}$ ，将 $\partial_h v_3 \cdot \omega^{r-1}$ 分解为 $T(\partial_h v_3, \omega^{r-1}) + R(\partial_h v_3, \omega^{r-1}) + T(\omega^{r-1}, \partial_h v_3)$ ，再通过精细的频率截断与指数配平（如式(13)-(14)），将各项控制为 $\|v_3\|_{\dot{B}^{\frac{1}{2} + \frac{2}{p}}_{2,\infty}} \|\nabla \omega^{r/2}\|_2^{1-2/p} \|\omega^{r/2}\|_2^{2/r' -1 + 2/p} \|\nabla \partial_3 v_3\|_{H_{\theta,r}}$ 。第三，对 $2 < p \le 4$ ，利用此时 $\frac{1}{2} + \frac{2}{p} \ge \frac{1}{2} + \frac{1}{2} = 1$ 带来的额外正则性，直接应用各向异性Bony分解，并借助引理2.3的嵌入 $\|a\|_{L^p_h(\dot{B}^s_{p,q})_v} \lesssim \|a\|_{\dot{B}^s_{p,q}}$ ，将估计归约为 $$L^2$$ 内积形式 $\langle |\nabla_h|^{-\delta} \partial_i v_3, \cdots \rangle$ ，其中 $\delta = 3\alpha(r)$ 。整个框架的枢纽在于双重尺度协调：一方面， $H_{\theta,r}$ 的尺度与 $$L^r$$ 能量估计一致；另一方面， $\dot{B}^{\frac{1}{2} + \frac{2}{p}}_{2,\infty}$ 的临界尺度通过各向异性分解被精确分配至水平与垂直方向，使 $\nabla_h \Delta_h^{-1} \partial_3 v_3$ 的奇异性被 $\partial_3 v_3$ 在 $H_{\theta,r}$ 中的范数吸收。

4. 与之前工作的比较

本文与既有工作存在三重本质推进。首先，与Chemin–Zhang（2017, ARMA）及Han–Zhang（2019, ARMA）相比，判据空间从临界Sobolev空间 $\dot{H}^{\frac{1}{2} + \frac{2}{p}}$ 弱化至临界Besov空间 $\dot{B}^{\frac{1}{2} + \frac{2}{p}}_{2,\infty}$ 。由于 $\dot{H}^{s} \hookrightarrow \dot{B}^{s}_{2,\infty}$ 是严格嵌入（反例：高频振荡函数 $f_N(x) = N^{-s} \sin(N x_1)$ 满足 $\|f_N\|_{\dot{B}^{s}_{2,\infty}} \sim 1$ 但 $\|f_N\|_{\dot{H}^{s}} \to \infty$ ），本文条件更弱，适用范围更广。例如，对具有各向异性振荡的初值 $v_0(x) = (0,0, \phi(x_h) \psi(x_3))$ （ $\phi \in \dot{B}^{\frac{1}{2} + \frac{2}{p}}_{2,\infty}(\mathbb{R}^2)$ ， $\psi \in L^\infty(\mathbb{R})$ ），其 $$v_3$$ 可能不属于 $\dot{H}^{\frac{1}{2} + \frac{2}{p}}$ 但属于 $\dot{B}^{\frac{1}{2} + \frac{2}{p}}_{2,\infty}$ ，从而被本文覆盖而被前述工作排除。其次，与Lei（2020, CPAM）的统一证明相比，本文突破了 $p < \infty$ 的隐含限制（Lei方法依赖 $\dot{H}^s$ 的Hilbert结构，难以推广至 $\dot{B}^{s}_{2,\infty}$ ），首次将单分量判据完整延拓至全部 $p \in (2,\infty)$ ，且对 $$p$$ 无上界要求。第三，在技术层面，Chemin–Zhang–Lei系列依赖 $$v_3$$ 的 $\dot{H}^{\frac{1}{2} + \frac{2}{p}}$ 正则性来闭合 $$v_h$$ 的估计，而本文通过引入 $H_{\theta,r}$ 空间与 $\omega^{r-1}$ 的精估，将控制权转移至 $\partial_3 v_3$ 的各向异性范数 $\|\nabla \partial_3 v_3\|_{H_{\theta,r}}$ ，该范数仅需 $$r_0 < 2$$ 的涡量可积性即可获得（由引理2.1的能量估计保证），从而大幅放宽对初值正则性的要求。代价在于：证明复杂度显著增加，需同时驾驭各向异性Littlewood-Paley理论、Holder复合函数的Besov映射、以及多重嵌入关系的指数配平；且结论中 $\Omega_0 \in L^{r_0}$ 的 $$r_0 < 2$$ 条件是必要的（若 $$r_0 = 2$$ ，则 $\alpha(r) = 0$ ，导致 $H_{\theta,r}$ 退化，精估失效），这比Chemin–Zhang的 $v_0 \in \dot{H}^{\frac{1}{2}}$ 单一条件更精细，也暗示了涡量低阶可积性在单分量判据中的关键作用。从提供内容中无法确认本文结果是否可进一步推广至 $$p = 2$$ （此时 $\dot{B}^{\frac{3}{2}}_{2,\infty}$ 非临界）或 $$r_0 = 2$$ 的边界情形。

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

1. 分数阶算子解空间的结构，含梯度估计

The structure of solution spaces for fractional-order operators, with gradient estimates

作者: Gerd Grubb

类别: math.AP, math.FA

发布日期: 2026-07-02

arXiv ID: 2607.02312v1

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

摘要翻译

中文标题: 分数阶算子解空间的结构，含梯度估计

摘要翻译: 本文详细分析了定义在具有 $C^{1+τ}$ 边界的有界开集 $Ω\subset \mathbb{R}^n$ 上的齐次 Dirichlet 问题的解空间：分数 Laplacian $(-Δ)^{a}$ （其中 $$0<a<1$$ ）或其伪微分推广 $$P$$ ，

Pu=f \text{ on }Ω,\quad u=0 \text{ on }\mathbb{R}^n\setminus Ω,

的解空间。结果表明：对属于 Bessel-位势型 Sobolev 空间 $$H_q^t$$ 或 Hölder-Zygmund 空间 $$C_*^t$$ 的解，当右端项 $$f$$ 具有正则性 $s\in [0,τ-2a)$ 时，解空间可分解为两个直和项：其一为具有满正则性 $$2a+s$$ 的分量 $\dot H_q^{2a+s}(\barΩ)$ （分别对应 $\dot C_*^{2a+s}(\barΩ)$ ），其二为形如 $$d^a$$ 乘以由 Poisson 算子提升的边界值的分量；此处 $d(x)=\mathrm{dist}(x,\partialΩ)$ 。该分解将已知于 $C^\infty$ 情形的结果推广至非光滑情形。

中文标题: 带线性乘性噪声的Camassa-Holm方程的不变测度

摘要翻译: 本文证明：带线性乘性噪声的Camassa-Holm方程

中文标题: 具体积分数约束的耦合Brinkman–生物膜–营养物质系统的适定性

摘要翻译: 我们研究一个耦合的偏微分方程组，该系统建模多孔介质中Brinkman流、生物膜演化与营养物质输运之间的相互作用。该模型通过依赖于局部生物膜体积分数的阻力系数与扩散系数，刻画了流体速度与生物膜之间的相互影响。生物膜分数的容许取值范围被硬性约束，该约束通过一个指示泛函的次微分引入，从而自然地导出生物膜动力学的演化变分不等式形式。

在模型系数与反应项满足标准的强制性、椭圆性与增长性条件的假设下，我们证明了弱解的整体时间存在性。分析依赖于将系统分解为三个相互关联的子问题：具有固定生物膜剖面的Brinkman方程、借助极大单调算子理论处理的受约束生物膜演化、以及被视为半线性抛物型问题的营养物质方程。这些分量再通过Leray–Schauder型不动点论证进行耦合，而极限过程的合理性则由Aubin–Lions引理与Simon紧性结果予以保证。

我们进一步在反应项满足自然拟正性假设的前提下，建立了营养物质浓度的非负性。最后，我们在二维空间中附加小性假设的条件下，给出了弱解的条件唯一性结果。

不相关论文（基本信息）

1. 一类拟线性Allen–Cahn系统的弱解与强解

Weak and strong solutions for a class of quasilinear Allen–Cahn systems

作者: Harald Garcke, Tim Laux, Andrea Poiatti

类别: math.AP

发布日期: 2026-07-02

arXiv ID: 2607.02414v1

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

摘要: We consider a quasilinear Allen–Cahn system which arises when the gradient energy term in the Ginzburg–Landau energy also contains zero order terms. Such systems offer significant advantages in applications, since surface tensions and mobilities can be easily calibrated. The analysis for these systems is highly challenging, partly due to the fact that the gradient term in the energy is non-convex and since gradient terms appear quadratically in the weak formulation. This explains why an existence theory has been lacking for nearly thirty years. In this paper, we give the first existence and uniqueness results for such systems. Firstly, we prove existence and uniqueness of local-in-time strong solutions using the theory of maximal regularity. Here, non-standard techniques have to be applied due to the fact that linear constraints on the solution are involved and due to nonlinear boundary conditions. Secondly, using a minimizing movement approach we show the existence of global-in-time weak solutions. Here, the main difficulty arises from the fact that the underlying energy is not $$λ$$ -convex. We overcome this issue by proving higher integrability of the gradient of the solution, first showing that solutions are bounded and then using an approach by Giaquinta and Modica. This finally allows us to pass to the limit in the time-discrete approximation. Using the de Giorgi interpolation technique, we are also able to show a sharp energy decay property despite the lack of convexity of the energy.

2. Berger 球面上 Clifford 环面作为 Willmore 曲面的分歧

Bifurcations of the Clifford Torus as Willmore Surfaces in Berger Spheres

作者: Caio B. Rodrigues

类别: math.DG, math.AP

发布日期: 2026-07-02

arXiv ID: 2607.02468v1

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

摘要: The Clifford torus in a Berger sphere with parameter $$τ$$ is a critical point of the Willmore functional for every $$τ>0$$ , yielding a smooth path of Willmore surfaces. By estimating the Morse index along this path, we apply bifurcation theory to produce new symmetric Willmore tori emerging from the Clifford torus.

3. 截断 Jastrow 因子与库仑电子波函数的谱 Barron 正则性

Cut-off Jastrow Factors and Spectral Barron Regularity of Coulombic Electronic Wave Functions

作者: Virginie Ehrlacher

类别: math.AP

发布日期: 2026-07-02

arXiv ID: 2607.02492v1

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

摘要: We study the spectral Barron regularity of Coulombic electronic eigenfunctions after extraction of a cut-off Jastrow factor. Let $$H=-Δ+V$$ be an $$N$$ -electron Coulomb Hamiltonian with clamped nuclei, and let $$ψ$$ be an eigenfunction associated with a discrete eigenvalue below the bottom of the essential spectrum. For the cut-off Jastrow factor $F_{\rm cut}$ of Fournais–Hoffmann-Ostenhof–Hoffmann-Ostenhof–Sørensen, we set

φ=e^{-F_{\rm cut}}ψ.

Whereas the original wave function satisfies the sharp global threshold $ψ\in \mathcal B_{\rm sp}^s(\mathbb R^{3N})$ for every $0\leq s<1$ , we prove that the Jastrow quotient gains one full order:

φ\in \mathcal B_{\rm sp}^s(\mathbb R^{3N}) \qquad \text{for every } 0\le s<2 .

The endpoint $$s=2$$ is shown to be natural through an explicit hydrogen-like eigenfunction. The many-body proof is a global Fourier-side resolvent argument. After conjugation by the cut-off Jastrow factor, the Coulomb singularities are converted into localized angular coefficient blocks with admissible Fourier-control measures. Low frequencies are controlled by the a priori $$H^1$$ -bound, while high frequencies are recovered by a Neumann fixed-point argument using the resolvent multiplier and annular estimates for the coefficient measures.

4. Hermitian 流形上混合体积形式空间中测地线方程的正则性

Regularity of a Geodesic equation in the space of mixed Volume Forms on Hermitian Manifolds

作者: Mathew George

类别: math.AP, math.DG

发布日期: 2026-07-02

arXiv ID: 2607.02475v1

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

摘要: We prove regularity of a fully nonlinear equation that arises from the study of geodesics in the space of mixed volume forms on Hermitian manifolds admitting a balanced metric. Under conditions for ellipticity, we prove that this degenerate equation has a $C^{1,1}$ solution on Hermitian manifolds. We derive uniform Laplacian estimates for the perturbed equation, and also construct explicit subsolutions. In particular, this shows the existence of a unique $C^{1,1}$ solution to the Donaldson equation on Hermitian manifolds.

5. 四维中无穷远处的内蕴Brown–York型质量

Intrinsic Brown–York Type Mass at Infinity in Four Dimensions

作者: Jiangcheng You

类别: math.DG, math.AP

发布日期: 2026-07-02

arXiv ID: 2607.02399v1

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

摘要: We study a Brown–York type mass for closed hypersurfaces in four-dimensional asymptotically flat manifolds. The reference mean curvature is defined intrinsically as the trace of the positive solution of the contracted Gauss equation. For large uniformly convex hypersurfaces with controlled scale, we derive an expansion consisting of a boundary term converging to the ADM mass and a shape-dependent correction. For the four-dimensional analogue of the nearly round surfaces of Shi–Wang–Wu, this correction vanishes under a natural decay compatibility condition.

6. Cartan方程与Gauss方程以及低Sobolev正则性下等距嵌入的刚性定理

Cartan’s and Gauss’s equations and rigidity theorems for isometric embeddings in low Sobolev regularity

作者: Isaac Newell, Luc Nguyen

类别: math.AP, math.DG

发布日期: 2026-07-02

arXiv ID: 2607.02412v1

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

摘要: Let $\{η^i\}_{i=1}^2$ be a an orthonormal coframe on a domain $$U$$ on a smooth surface $$(Σ,g)$$ . When $$η^i$$ is smooth, it is well-known that there is a unique connection 1-form $$ω$$ verifying Cartan’s first structural equations $dη^i = (*η^i) \wedge ω$ , and Cartan’s second structural equation $$dω= K_g dvol_g$$ . We prove that this statement remains valid when the frame is $C^0 \cap H^{\frac12}$ , where the structural equations are understood in the sense of distributions. From this, we deduce that the Gauss equation $\mathrm{Det}\, D^2 f = K_g (1+|Df|^2)^2$ holds for every graphical representation $$f$$ of an isometric embedding of regularity $C^1 \cap W^{1+\frac23,3}$ or $c^{1,\frac12} \cap BV^2$ . As an application, we prove regularity and convexity results for isometric embeddings of closed surfaces and convex caps with $K_g \geq 0$ .

7. 凝聚型断裂的准静态演化

Quasistatic evolution of cohesive-type fracture

作者: Vito Crismale, Manuel Friedrich

类别: math.AP

发布日期: 2026-07-02

arXiv ID: 2607.02261v1

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

摘要: We prove the existence of globally stable quasistatic evolutions for a cohesive fracture model with unprescribed crack path and without any topological restriction, in arbitrary dimension. The surface energy density is assumed to be concave and to exhibit an activation threshold, modeling depinning effects and fracture process zones in quasi-brittle materials. We devise a new notion of convergence for memory variables supported on evolving crack sets, inspired by $$σ$$ -convergence in brittle fracture, guaranteeing compactness and lower semicontinuity properties. In contrast to the brittle case, global stability is not preserved under passage to the limit because of oscillation and branching phenomena in the approximating cracks. To overcome this difficulty, we deviate from the classical scheme for proving energetic solutions by first proving the energy balance and convergence of the surface energies, and only afterwards recovering the global stability condition.

8. 渐近双曲面型初始数据集上由常时空平均曲率曲面构成的叶状结构

Foliations by constant spacetime mean curvature surfaces for asymptotically hyperboloidal initial data sets

作者: Jacopo Tenan

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

发布日期: 2026-07-02

arXiv ID: 2607.02244v1

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

摘要: We construct an exhaustive family of constant spacetime mean curvature (STCMC) surfaces for initial data sets close to the anti-de Sitter-Schwarzschild hyperboloid. In particular, we obtain such a foliation as the long time limit of the volume preserving spacetime mean curvature flow starting from the constant mean curvature foliation constructed by Neves-Tian (Geom. Funct. Anal., 2009). As an application, inspired by the definition of STCMC center of mass for initial data sets proposed in the asymptotically Euclidean setting by Cederbaum-Sakovich (Calc. Var. PDE, 2021), we study the center of mass of an asymptotically hyperboloidal initial data set.

9. 椭圆问题的一种拓扑方法

A topological approach to an elliptic problem

作者: Debajyoti Choudhuri, Vikas Jaiswal

类别: math.AP

发布日期: 2026-07-02

arXiv ID: 2607.01950v1

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

摘要: In this paper, we study an elliptic problem involving a $$p$$ -Laplacian operator and a potential well which is driven by a critical and singular nonlinearity. Under the limiting case of a parameter blowing up to $\infty$ yields solutions to a different problem where the effect of the potential well becomes negligible.

10. 非线性Robin边值问题的最优绝缘与浓度破缺

Optimal insulation and concentration breaking for nonlinear Robin boundary value problems

作者: Francesco Della Pietra, Francescantonio Oliva

类别: math.AP, math.OC

发布日期: 2026-07-02

arXiv ID: 2607.02229v1

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

摘要: We consider an optimal insulation problem for a bounded domain in $\mathbb{R}^N$ driven by the $$p$$ -Laplace operator ( $$p>1$$ ). We model the convective heat transfer between the body and the environment, which corresponds, before insulation, to a nonlinear Robin boundary value problem. Assuming the body is surrounded by a thin layer of insulating material of size $\varepsilon^{\frac{1}{p-1}}$ , we compute the $$Γ$$ -limit of the governing energy functional as $\varepsilon \to 0^+$ . Furthermore, we study the optimization of the heat content among all possible distributions of the insulating material with a fixed total mass. Finally, we highlight a concentration breaking phenomenon. Under a suitable non-degeneracy condition, if the boundary of the domain is connected or the external temperature profile is constant, the optimal insulating layer fails to cover the entire boundary whenever the total mass is sufficiently small. This is shown to be optimal: an explicit example provides that a disconnected boundary can trigger an anomalous double-phase transition, causing the insulation to fracture again even at intermediate mass regimes.

11. Caputo 扩散方程中的晚期分数阶识别

Late-Time Fractional-Order Identification in Caputo Diffusion Equation

作者: Niyaz Tokmagambetov

类别: math.AP

发布日期: 2026-07-02

arXiv ID: 2607.01898v1

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

摘要: We study late-time identification of the Caputo order in a linear diffusion equation generated by a strictly positive self-adjoint operator with compact resolvent. For signed scalar observations $M_α(t)=\sum_n a_nE_{α,1}(-λ_nt^α)$ satisfying $\sum_n|a_n|/λ_n<\infty$ , we show that, after eigenspace grouping, every nontrivial observation has a finite first nonzero resolvent moment $S_m=\sum_n a_n/λ_n^m$ . A uniform differentiated large-argument expansion of the Mittag-Leffler factor yields eventual strict monotonicity of $α\mapsto M_α(t)$ on admissible intervals avoiding the zeros of $$1/Γ(1-mα)$$ , hence uniqueness from one sufficiently late scalar measurement. For two measurements, $M_α(ρt)/M_α(t)=ρ^{-mα}(1+O(t^{-α_0}))$ , giving a log-ratio estimator with asymptotic-bias and relative-noise error bounds. For bounded observations, $S_m=\langle\mathcal A^{-m}\varphi,h\rangle$ ; for a finite rod, the leading point-sensor condition is $(\mathcal A^{-1}\varphi)(x_*)\ne0$ . Counterexamples show the sharpness of the exclusions and noise interpretation.

12. 相对论性作用泛函的局部连通定理

A Local Linking Theorem for Relativistic Action Functionals

作者: Manuel Garzón, Salvador López-Martínez

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

发布日期: 2026-07-02

arXiv ID: 2607.01845v1

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

摘要: We establish an analogue of the Brezis-Nirenberg local linking theorem for a class of Szulkin-type functionals arising from relativistic action principles. In this framework, compactness of Palais-Smale sequences is formulated with respect to a topology induced by the effective domain of the functional, replacing the classical strong Palais-Smale condition. The proof combines the original construction of the min-max geometry, based on a negative gradient flow, with the Ekeland-Lasry regularization. The main difficulty is that the regularized functional is naturally associated with the strong topology of the underlying functional space, whereas compactness for the original functional is formulated in the topology induced by the effective domain. We overcome this obstacle through a new perturbative construction that recovers the required min-max structure. We apply our abstract multiplicity result to two representative relativistic models: the Lorentz force equation, describing the dynamics of a charged particle in an electromagnetic field, and the Dirichlet problem for the prescribed mean curvature operator in Minkowski space. As a consequence, under natural assumptions, each problem admits at least two non-constant solutions.

13. Berwald 流形上保圆共形变换的刚性

The rigidity of conformal circle-preserving transformations on Berwaldian manifolds

作者: Zohreh Fathi, Sajjad Lakzian

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

发布日期: 2026-07-01

arXiv ID: 2607.01350v1

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

摘要: We prove that a complete Berwaldian manifold $\left(M,F\right)$ admitting a nontrivial conformal circle preserving transformation (\cpt for short) must be Riemannian, provided that it has a dense subset on which no flag curvature vanishes (in particular, if $$(M,F)$$ has positive or negative flag curvature).

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

1. 三次波方程与波映射方程的整体自相似解的稳定性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. McLean共振与三维Stokes波的谱不稳定性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. 三角形交叉扩散系统的精细爆破准则与全局解#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. 表面 Beris-Edwards 模型弱解的存在性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

5. 关于热核在 Besov 空间中的极大正则性及一个退化三维 Keller-Segel 系统的简短注记#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

6. 关于三维Navier-Stokes方程组在 $L^p_T(\ rac 1 2+\frac 2 p}_{2,\infty})$ 空间中临界单分量正则性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 分数阶算子解空间的结构，含梯度估计#

摘要翻译#

2. 环面 $\mathbb{T}$ 上质量临界非线性薛定谔方程的整体适定性#

摘要翻译#

3. 临界聚集–破碎Hamilton–Jacobi方程的一种凸性型不变量#

摘要翻译#

4. Liouville型定理与拟线性椭圆问题解的存在性#

摘要翻译#

5. 饱和反馈下阻抗无源系统的半一致稳定性估计 *#

摘要翻译#

6. 具有椭圆轨迹的Hartree方程双孤子解的有限时间稳定性#

摘要翻译#

7. 带线性乘性噪声的Camassa-Holm方程弱鞅解的整体存在性#

摘要翻译#

8. 带线性乘性噪声的Camassa-Holm方程的不变测度#

摘要翻译#

9. 一维非通用势下NLS小解的长时间行为#

摘要翻译#

10. 小分母与弱非线性色散动力学中的次共振累积#

摘要翻译#

11. 具体积分数约束的耦合Brinkman–生物膜–营养物质系统的适定性#

摘要翻译#

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

1. 一类拟线性Allen–Cahn系统的弱解与强解#

2. Berger 球面上 Clifford 环面作为 Willmore 曲面的分歧#

3. 截断 Jastrow 因子与库仑电子波函数的谱 Barron 正则性#

4. Hermitian 流形上混合体积形式空间中测地线方程的正则性#

5. 四维中无穷远处的内蕴Brown–York型质量#

6. Cartan方程与Gauss方程以及低Sobolev正则性下等距嵌入的刚性定理#

7. 凝聚型断裂的准静态演化#

8. 渐近双曲面型初始数据集上由常时空平均曲率曲面构成的叶状结构#

9. 椭圆问题的一种拓扑方法#

10. 非线性Robin边值问题的最优绝缘与浓度破缺#

11. Caputo 扩散方程中的晚期分数阶识别#

12. 相对论性作用泛函的局部连通定理#

13. Berwald 流形上保圆共形变换的刚性#

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

1. 三次波方程与波映射方程的整体自相似解的稳定性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. McLean共振与三维Stokes波的谱不稳定性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 三角形交叉扩散系统的精细爆破准则与全局解

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 表面 Beris-Edwards 模型弱解的存在性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 关于热核在 Besov 空间中的极大正则性及一个退化三维 Keller-Segel 系统的简短注记

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

6. 关于三维Navier-Stokes方程组在 $L^p_T(\ rac 1 2+\frac 2 p}_{2,\infty})$ 空间中临界单分量正则性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 分数阶算子解空间的结构，含梯度估计

摘要翻译

2. 环面 $\mathbb{T}$ 上质量临界非线性薛定谔方程的整体适定性

摘要翻译

3. 临界聚集–破碎Hamilton–Jacobi方程的一种凸性型不变量

摘要翻译

4. Liouville型定理与拟线性椭圆问题解的存在性

摘要翻译

5. 饱和反馈下阻抗无源系统的半一致稳定性估计 *

摘要翻译

6. 具有椭圆轨迹的Hartree方程双孤子解的有限时间稳定性

摘要翻译

7. 带线性乘性噪声的Camassa-Holm方程弱鞅解的整体存在性

摘要翻译

8. 带线性乘性噪声的Camassa-Holm方程的不变测度

摘要翻译

9. 一维非通用势下NLS小解的长时间行为

摘要翻译

10. 小分母与弱非线性色散动力学中的次共振累积

摘要翻译

11. 具体积分数约束的耦合Brinkman–生物膜–营养物质系统的适定性

摘要翻译

不相关论文（基本信息）

1. 一类拟线性Allen–Cahn系统的弱解与强解

2. Berger 球面上 Clifford 环面作为 Willmore 曲面的分歧

3. 截断 Jastrow 因子与库仑电子波函数的谱 Barron 正则性

4. Hermitian 流形上混合体积形式空间中测地线方程的正则性

5. 四维中无穷远处的内蕴Brown–York型质量

6. Cartan方程与Gauss方程以及低Sobolev正则性下等距嵌入的刚性定理

7. 凝聚型断裂的准静态演化

8. 渐近双曲面型初始数据集上由常时空平均曲率曲面构成的叶状结构

9. 椭圆问题的一种拓扑方法

10. 非线性Robin边值问题的最优绝缘与浓度破缺

11. Caputo 扩散方程中的晚期分数阶识别

12. 相对论性作用泛函的局部连通定理

13. Berwald 流形上保圆共形变换的刚性