生成时间: 2026年04月07日 05:16:12

重点关注论文数量: 4

了解领域论文数量: 19

不相关论文数量: 18

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

1. 三维 Navier-Stokes 方程组的非局部超耗散扰动

Nonlocal Hyperdissipative Perturbations of the Three Dimensional Navier-Stokes System

作者: Veli Shahmurov, Rishad Shahmurov

类别: math.AP

发布日期: 2026-04-05

arXiv ID: 2604.04167v1

摘要翻译: 我们研究 $\mathbb{R}^3$ 上带有附加耗散非局部项的三维不可压 Navier-Stokes 系统

\partial_t u + (u\cdot\nabla)u + \nabla p = \nu\Delta u + Lu, \qquad \mathrm{div}\, u = 0,

其中 $$L$$ 为自伴 Fourier 乘子，其象征与 $-|\xi|^{2\alpha}$ 相当（ $\alpha>1$ ）。我们首先给出了一个精确的 Fourier 象征判别准则，以区分低阶卷积扰动与真正具有正则化作用的非局部修正项。在该超耗散类中，我们证明了精确的 $$L^2$$ 能量恒等式、对任意 $\alpha>1$ 的全局弱可解性，以及对 $s>\frac{5}{2}$ 在 $H^s(\mathbb{R}^3)$ 中的局部强适定性。我们随后表明，在此非局部设定下，Lions 指数 $\alpha=\frac{5}{4}$ 仍然是临界能量增长阈值：若 $\alpha\ge \frac{5}{4}$ ，则任一 $$H^s$$ 解均为全局解；而对任意 $\alpha>1$ ，当 $$H^s$$ 初值充分小时，系统具有全局强可解性。最后，针对经典三维 Navier-Stokes 方程的超耗散消失逼近，我们证明了一项近奇异发散原理：若经典流在某个延拓范数 $$X$$ 下于首个奇异时刻 $$T_*$$ 发生爆破，则相应的正则化族在任意趋于 $$T_*$$ 的区间上均不可能在 $$X$$ 中保持一致有界。这精确确定了固定参数全局理论在 Navier-Stokes 极限下发生退化的临界位置。

Comment: 无

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

1. 研究对象和背景

本文的研究对象为定义在全空间 $\\[ \\mathbb{R}^3 \\]$ $$ 上的三维不可压缩Navier-Stokes方程的Cauchy问题。经典模型可写为 $$ $\\partial_t u + (u\\cdot\\nabla)u + \\nabla p = \\nu\\Delta u, \\quad \\text{div}\\, u = 0, \\quad u|_{t=0} = u_0,$ $$ 其中关键未知量为速度场 $$ u(t,x) \in \mathbb{R}^3 $$ 与压力场 $$ p(t,x) $$。该方程组的大初始数据光滑解全局存在性与唯一性仍是未决的千禧年难题，其核心困难在于三维空间中非线性对流项 $$ (u\cdot\nabla)u $$ 的导数阶数（一阶）与Laplacian耗散项（二阶）在能量尺度上的竞争导致正则性无法自洽闭合。标准分析策略是通过增强耗散机制来恢复平衡，典型模型为超耗散Navier-Stokes系统 $$ $\\partial_t u + (u\\cdot\\nabla)u + \\nabla p = -\\mu(-\\Delta)^\\alpha u,$ $$ 其中 $$ \alpha>1 $$。标度分析表明 $$ \alpha = 5/4$ 为能量临界阈值（Lions指数）。

然而，在实际物理建模与数学推广中，耗散项常被更一般的非局部积分算子或卷积核替代。现有文献对非局部项 $$Lu$$ 的正则化能力缺乏严格的频域刻画：部分研究默认卷积修正能自动提升解的光滑性，却未区分低阶卷积扰动（如 $$L^1$$ 核作用于一阶或零阶导数）与真正能产生高频强制性衰减的非局部修正。这种模糊性导致理论结论的适用范围与物理对应关系不清晰。

本文旨在填补这一空白，研究以下带非局部超耗散修正的方程：

\\partial_t u + (u\\cdot\\nabla)u + \\nabla p = \\nu\\Delta u + Lu, \\quad \\text{div}\\, u = 0,

其中 $$L$$ 为自伴耗散型傅里叶乘子。作者在Hilbert空间 $L^2_\\sigma(\\mathbb{R}^3)$ 框架下设定问题，要求 $$L$$ 的象征 $m(\\xi)$ 在高频满足 $m(\\xi) \\gtrsim |\\xi|^{2\\alpha}$ 。本文试图回答三个核心问题：(i) 何种象征类能产生可比拟 $|\\xi|^{2\\alpha}$ 的强制性高频阻尼？(ii) 经典Lions理论在该非局部类中的存活范围为何？(iii) 当超耗散参数趋于零逼近经典N-S方程时，正则化解族的渐近行为如何？通过建立精确的象征判据与能量框架，本文系统刻画了非局部扰动的正则化边界，并为耗散趋于零时的极限失效机制提供严格的解析描述。

2. 主要定理或主要结果

本文的核心结论集中于定理2.6及其支撑命题，在象征类 $m\\in\\mathcal{M}_\\alpha$ （即 $c_0|\\xi|^{2\\alpha} \\le m(\\xi) \\le c_1(1+|\\xi|^{2\\alpha})$ ， $\\alpha>1$ ）的假设下，证明了以下结果：

精确能量恒等式（定理2.6(i)与定理3.5）：对光滑解成立
$\\frac{1}{2}\\frac{d}{dt}\\|u(t)\\|_{L^2}^2 + \\nu\\|\\nabla u(t)\\|_{L^2}^2 + \\int_{\\mathbb{R}^3} m(\\xi)|\\hat{u}(\\xi,t)|^2 d\\xi = 0.$
该式表明非局部项 $$Lu$$ 通过其象征 $m(\\xi)$ 在频域中提供非负耗散，且不改变非线性项的能量守恒结构。
全局弱解存在性（定理2.6(ii)与定理4.1）：对任意 $u_0\\in L^2_\\sigma(\\mathbb{R}^3)$ ，存在全局弱解 $$u$$ 满足
$u \\in L^\\infty_{\\text{loc}}([0,\\infty); L^2_\\sigma) \\cap L^2_{\\text{loc}}([0,\\infty); H^1_\\sigma) \\cap L^2_{\\text{loc}}([0,\\infty); H^\\alpha_\\sigma),$
并满足能量不等式 $\\|u(t)\\|_{L^2}^2 + 2\\nu\\int_0^t\\|\\nabla u\\|_{L^2}^2 + 2\\int_0^t\\|m(D)^{1/2}u\\|_{L^2}^2 \\le \\|u_0\\|_{L^2}^2$ 。此结果对任意 $\\alpha>1$ 均成立。
局部强适定性（定理2.6(iii)与定理5.3）：设 $$s > 5/2$$ 且 $u_0\\in H^s_\\sigma(\\mathbb{R}^3)$ ，则存在 $T=T(\\|u_0\\|_{H^s})>0$ ，存在唯一强解 $u\\in C([0,T];H^s_\\sigma) \\cap L^2(0,T;H^{s+\\alpha}_\\sigma)$ ，且解连续依赖于初值。
全局强适定性（定理2.6(iv)-(v)与定理6.2）：
- 若 $\\alpha \\ge 5/4$ 且 $$s>5/2$$ ，对任意大初值 $u_0\\in H^s_\\sigma$ ，局部强解可延拓为全局强解。
- 若 $1 < \\alpha < 5/4$ ，仅当 $\\|u_0\\|_{H^s}$ 足够小时，强解全局存在。该结论严格对应标度变换 $u_\\lambda(x,t) = \\lambda^{2\\alpha-1}u(\\lambda x, \\lambda^{2\\alpha}t)$ 下的 $$L^2$$ 范数标度 $\\|u_\\lambda(\\cdot,0)\\|_{L^2} = \\lambda^{2\\alpha-5/2}\\|u_0\\|_{L^2}$ ，确认 $\\alpha=5/4$ 为临界指数。
消失超耗散近似下的近奇点发散原理（摘要与引言部分）：设经典N-S方程在延续范数空间 $$X$$ 中于首奇点时间 $$T_*$$ 发生爆破，则对应的超耗散正则化族 $\\{u^{\\epsilon}\\}$ 不可能在逼近 $$T_*$$ 的任意区间 $$[0, T_*)$$ 上于 $$X$$ 范数中一致有界。该结论为严格证明，指明了固定参数全局理论在N-S极限下退化的精确解析点。

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

本文证明的核心障碍在于非局部卷积项 $$Lu$$ 的结构不确定性：低阶卷积无法提供足够的高频衰减以抵消非线性项 $(u\\cdot\\nabla)u$ 带来的一阶导数损失；而在超临界区间 $1<\\alpha<5/4$ 中，传统 $$H^s$$ 能量估计因标度劣势无法闭合。作者通过以下分析框架与创新工具突破这些障碍：

1. 尖锐的傅里叶象征判据与强制性构造（命题3.1） 作者未直接假设 $$L$$ 为分数阶Laplacian，而是从卷积核的阶数出发建立分类定理。证明指出：若 $$Lu = a*u$$ 且 $a\\in L^1$ ，则象征 $\\hat{a}(\\xi)$ 有界，为零阶扰动；若 $Lu = b*\\partial_j u$ 且 $b\\in L^1$ 实偶，则象征为纯虚部 $i\\xi_j\\hat{b}(\\xi)$ ，对 $$L^2$$ 能量无耗散贡献。真正能改变正则性平衡的是形如 $c*\\partial_{jj}u$ 的项，其实部象征需满足 $\\Re(-\\hat{\\ell}(\\xi)) \\gtrsim |\\xi|^{2\\alpha}$ 。通过定义象征类 $\\mathcal{M}_\\alpha$ 并引入下界条件 $c_0|\\xi|^{2\\alpha} \\le m(\\xi)$ ，作者将非局部项的能量贡献严格量化为 $\\langle Mu, u \\rangle \\ge c_0\\|\\Lambda^\\alpha u\\|_{L^2}^2$ 。这一强制性估计是后续所有高阶能量不等式的基础，避免了盲目假设非局部核的“神奇”正则化效果。

2. 临界指标匹配与双线性乘积估计（引理5.2与引理6.1） 局部强解与全局强解证明的核心技术是控制非线性项 $P\\text{div}(u\\otimes u)$ 在负指标Sobolev空间中的范数。在 $$s>5/2$$ 设定下，作者证明

\\|P\\text{div}(u\\otimes v)\\|_{H^{s-\\alpha}} \\le C\\|u\\|_{H^s}\\|v\\|_{H^{s+\\alpha}}.

其推导关键在于利用 $H^s(\\mathbb{R}^3)$ ( $$s>3/2$$ ) 的Banach代数性质，以及指标关系 $s+1-\\alpha \\le s$ （由 $\\alpha>1$ 保证）。对于全局情形，当 $\\alpha \\ge 5/4$ 时，作者构造了改进的临界乘积估计：

\\|P\\text{div}(u\\otimes v)\\|_{H^{s-\\alpha}} \\le C\\|u\\|_{H^\\alpha}\\|v\\|_{H^s}.

该估计依赖Sobolev乘积定理 $H^a \\cdot H^b \\hookrightarrow H^r$ 的条件 $r \\le a+b-3/2$ 。代入 $a=\\alpha, b=s, r=s+1-\\alpha$ 后，临界条件化为 $s+1-\\alpha \\le \\alpha+s-3/2 \\Longleftrightarrow 2\\alpha \\ge 5/2$ ，即 $\\alpha \\ge 5/4$ 。这一精确的指标计算揭示了Lions指数在非局部象征框架下的内在刚性，并将非线性项的能量增长率与高阶耗散项 $\\|\\Lambda^\\alpha u\\|_{L^2}^2$ 的衰减率完美匹配，从而在Gronwall不等式中实现闭合。

3. 线性能量衰减与Banach不动点框架（引理5.1与定理5.3） 在局部适定性证明中，作者对线性方程 $\\partial_t v + \\nu(-\\Delta)v + Mv = F$ 建立带衰减权重的能量估计

\\sup_{0\\le t\\le T}\\|v\\|_{H^s}^2 + \\nu\\int_0^T\\|v\\|_{H^{s+1}}^2 + c_0\\int_0^T\\|v\\|_{H^{s+\\alpha}}^2 \\le C\\left(\\|v_0\\|_{H^s}^2 + \\int_0^T\\|F\\|_{H^{s-\\alpha}}^2\\right).

通过Hölder不等式与 $T^{1/2}$ 因子，将非线性映射 $\\Phi(u) = v$ 压缩至空间 $X_T = L^\\infty(0,T;H^s) \\cap L^2(0,T;H^{s+\\alpha})$ 的闭球内。该构造避免了传统N-S局部理论中对初值小性的额外要求，仅依赖耗散算子 $$M$$ 的强制性。

4. Galerkin逼近与紧性论证（定理4.1） 全局弱解沿用Leray-Hopf框架，但在先验估计中显式加入 $2c_0\\int_0^T\\|\\Lambda^\\alpha u_N\\|_{L^2}^2$ 项。时间导数 $\\partial_t u_N$ 的控制通过将方程投影至 $H^{-m}$ ( $$m>5/2$$ ) 并利用 $L^{4/3}$ 时空嵌入实现。结合Aubin-Lions紧性定理，强收敛性足以处理非线性项的弱极限，下连续性保证能量不等式成立。

4. 与之前工作的比较

本文在假设强度、适用范围与理论推进层面，与既有PDE/分析理论文献存在明确差异：

1. 与经典分数阶超耗散模型（Laplacian $(-\\Delta)^\\alpha$ ）的比较 传统超耗散N-S理论（如Lions [21]）直接假设耗散项为纯分数阶算子。本文将耗散推广至一般傅里叶乘子类 $\\mathcal{M}_\\alpha$ ，涵盖非局部粘性核卷积 $L = \\sum c_j * \\partial_{jj}u$ 。推进在于：证明了只要象征在高频满足幂次下界 $m(\\xi) \\gtrsim |\\xi|^{2\\alpha}$ ，Lions阈值 $\\alpha=5/4$ 的正则化能力即保持不变。代价是假设具有刚性：要求 $m(\\xi)$ 为标量、偶函数，且排除各向异性或矩阵值乘子（作者仅在注2.2中提及可扩展性，未给出严格证明）。此外，本文未处理 $m(\\xi)$ 含低频奇异性或振荡的情形。

2. 与临界对数修正理论（Tao [24]等）的比较 Tao证明了在 $\\alpha=5/4$ 之下引入对数因子增强耗散仍可获全局正则性，将临界阈值略微下推。本文未沿此路径推进，而是严格限定于幂次增长象征。作者明确指出，其理论框架聚焦于“真正超耗散”类，不处理对数微调。这意味着对于 $1<\\alpha<5/4$ 的大初值问题，本文仅能给出小数据全局解或弱解，未改善超临界情形的爆破风险。这是假设刚性带来的直接代价，但也换来了象征分类的清晰性与能量恒等式的精确性。

3. 与传统卷积扰动与记忆核模型的比较 部分早期研究假设非局部项能自动改善适定性。本文命题3.1严格区分了“无害”低阶扰动与“真正正则化”项：时间卷积 $(\\kappa *_t u)$ 或空间一阶卷积 $b*\\nabla u$ 仅改变低波数响应或相位，不贡献 $$L^2$$ 能量耗散。这一判据纠正了文献中盲目将非局部性等同于耗散增强的误区。比较优势在于：通过象征实部符号与增长阶的量化，明确了非局部项进入能量平衡的充分必要条件。

4. 与消失耗散极限及正则化逼近理论的比较 经典正则化研究多关注超耗散参数 $\\epsilon \\to 0$ 时解的强收敛或误差阶。本文的“近奇点发散原理”采取了反向视角：不假设经典解光滑，而是以经典解在延续范数 $$X$$ 中于 $$T_*$$ 首次爆破为前提，严格证明正则化解族无法在 $$[0, T_*)$$ 上一致有界。作者未显式展开比较具体的逼近文献，但该结果在逻辑上填补了固定参数全局理论向经典N-S过渡时的失效机制分析。局限在于：该结果为定性发散原理，未提供爆破速率或定量一致估计；且延续范数 $$X$$ 的具体刻画依赖于所取空间，文中未给出最优 $$X$$ 的选取标准。

总体而言，本文在象征分类的严密性、临界指标的精确计算以及非局部项能量贡献的隔离上推进了既有理论，但适用范围受限于标量象征与幂次增长假设，未触及Besov临界空间或对数耗散情形。从提供内容中无法确认作者在非各向异性核或低正则初值方面的进一步比较。

2. 三维不可压活性向列型液晶的 Koch-Tataru 定理

Koch-Tataru theorem for 3D incompressible active nematic liquid crystals

作者: Fan Yang

类别: math.AP

发布日期: 2026-04-05

arXiv ID: 2604.04000v1

摘要翻译: 我们研究了 Beris-Edwards 框架下活性向列型液晶的不可压流体动力学系统。尽管本文主要关注常活性情形，但由此导出的简化系统在活性软物质中展现出进行计算与信息传递的潜力 \cite{defect-active}。更确切地说，通过结合用于构造温和解的 Kato 策略与 Banach 压缩映射原理，我们证明了对于小初值 $(Q_0,u_0)\in L^\infty\times {\rm BMO}^{-1}$ ， $\mathbb{R}^3$ 中 Koch-Tataru 型解的存在性与唯一性。这是该系统针对临界空间初值的第一个适定性结果。

Comment: 无

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

1. 研究对象和背景

活性向列液晶是一类由内禀能量驱动的自驱动细长粒子构成的非平衡态软物质体系，其宏观集体动力学行为可通过 Beris-Edwards 连续体流变学框架进行精确建模。该理论体系将背景流体速度场 $u(t,x) \in \mathbb{R}^3$ 、热力学压力 $$p(t,x)$$ 与刻画分子取向序的无迹对称张量场 $Q(t,x) \in \mathcal{S}_0^{3 \times 3}$ 强耦合，并引入活性粒子数密度 $$c(t,x)$$ 以反映化学能或机械能输入对流场结构的主动修正。完整的演化方程组为

\begin{cases} \partial_t c + u \cdot \nabla c = \nabla \cdot [(D_0 I_3 + D_1 Q)\nabla c + \alpha_1 c^2 \nabla \cdot Q], \\ \partial_t Q + u \cdot \nabla Q = S(\nabla u, Q) + \lambda |Q| D + \Gamma \mathcal{H}[Q,c], \\ \partial_t u + (u \cdot \nabla)u = \mu \Delta u - \nabla p + \nabla \cdot (\tau + \sigma), \quad \nabla \cdot u = 0, \end{cases}

其中 $S(\nabla u, Q)$ 表征刚性旋转与剪切排列效应， $\mathcal{H}[Q,c]$ 为 Landau-de Gennes 自由能泛函 $\mathcal{F}$ 关于 $$Q$$ 的变分导数（分子场）， $\tau$ 为被动弹性应力， $\sigma$ 为由力偶极子诱导的活性应力。该模型深刻揭示了活性物质中的自驱动对流、活性湍流、拓扑缺陷自发产生与迁移等非平衡相变现象。然而， $$c$$ 与 $$Q$$ 之间的强非线性耦合项（如 $\alpha_1 c^2 \nabla \cdot Q$ 及势函数中的浓度依赖项）构成了极大的分析障碍。为建立严格的数学适定性理论，本文聚焦于活性浓度恒定的简化情形，固定材料参数 $K=1, \xi=\alpha_1=0$ ，并记 $a, b, c, \kappa$ 为相应常数，导出核心研究方程组：

\begin{cases} \partial_t Q + (u \cdot \nabla)Q + Q\Omega - \Omega Q - \lambda |Q| D = \Gamma \mathcal{H}[Q], \\ \partial_t u + (u \cdot \nabla)u + \nabla p - \mu \Delta u = -\nabla \cdot (\nabla Q \odot \nabla Q) + \nabla \cdot (Q\Delta Q - \Delta Q Q) - \lambda \nabla \cdot (|Q|\mathcal{H}[Q]) + \kappa \nabla \cdot Q, \\ \nabla \cdot u = 0. \end{cases}

该简化系统在剥离浓度场演化的同时，完整保留了活性应力 $\kappa \nabla \cdot Q$ 与高阶张量非线性结构，已被数值实验证实可用于活性软材料中的逻辑门运算与信息传输。在分析理论层面，该方程组具有严格的抛物型尺度不变性：若 $$(Q,u,p)(t,x)$$ 为解，则尺度变换 $(Q_\lambda, u_\lambda, p_\lambda)(t,x) = (Q(\lambda^2 t, \lambda x), \lambda u(\lambda^2 t, \lambda x), \lambda^2 p(\lambda^2 t, \lambda x))$ 亦为解。由此可定义临界函数空间，其范数在尺度变换下保持不变。既往文献（如 [15, 39, 67, 68]）主要基于 $H^s \times L^2_\sigma$ 或更高正则性的 Sobolev 框架，利用能量估计、极大正则性或紧性方法建立弱解存在性、弱-强唯一性或光滑解的长时间衰减行为，但受限于能量耗散结构的破坏与高阶应力项的导数损失，始终无法触及尺度临界空间。由于活性项的介入，传统的 $$L^2$$ 能量不等式不再封闭，常规 Sobolev 嵌入在粗糙初值下失效。本文旨在填补这一关键空白，首次在全空间 $\mathbb{R}^3$ 中针对临界初值空间 $L^\infty \times \text{BMO}^{-1}$ 建立小初值下的适定性理论，为后续拓扑缺陷奇性演化提供严格的分析基底。

2. 主要定理或主要结果

本文的核心数学结论以定理 1.1 严格表述。作者证明了三维不可压活性向列液晶简化模型 (1.7) 在临界空间中的唯一局部适定性。具体而言，设系统参数满足 $\mu>0, \Gamma>0, c>0$ 且 $\lambda, a, b, \kappa \in \mathbb{R}$ 。存在仅依赖于参数绝对值的小常数 $\epsilon_0 > 0$ ，使得若初值 $(Q_0, u_0) \in L^\infty(\mathbb{R}^3; \mathcal{S}_0^{3\times 3}) \times \text{BMO}^{-1}(\mathbb{R}^3; \mathbb{R}^3)$ 满足尺度不变的小性条件

\|Q_0\|_{L^\infty} + \|u_0\|_{\text{BMO}^{-1}} \le \epsilon_0,

则系统 (1.7) 在时间区间 $$[0,T]$$ 上存在唯一的局部解 $$(Q,u)$$ ，该解属于作者构造的 Banach 空间 $X_T \times Y_T$ ，并满足一致估计

\|Q\|_{X_T} + \|u\|_{Y_T} \le C \epsilon_0,

其中常数 $$C$$ 仅依赖于 $|a|, b, c, \mu, \kappa, \lambda, \Gamma$ 。解空间 $$X_T$$ 与 $$Y_T$$ 的设计融合了时间加权 $L^\infty$ 衰减、Hölder 半模与类 Koch-Tataru 的 Carleson 型测度范数。对于序参量场，

\|f\|_{X_T} := \sup_{t\in[0,T]} \|f(t)\|_{L^\infty} + \sup_{t\in[0,T]} t^{1/4} \|f(t)\|_{\dot{C}^{1/2}} + \sup_{t\in[0,T]} t^{1/2} \|\nabla f(t)\|_{L^\infty} + \|f\|_{\mathcal{CM}_{1/2}},

其中 $\mathcal{CM}_{1/2}$ 为基于热延拓的 Carleson 半模 $\sup_{x_0,R} \left( R^{-3/2} \int_0^R \int_{B(x_0,\sqrt{R})} |\nabla f(y,t)|^2 dy dt \right)^{1/2}$ 。对于速度场，

\|g\|_{Y_T} := \sup_{t\in[0,T]} t^{1/2} \|g(t)\|_{L^\infty} + \|g\|_{\mathcal{CM}_{-1}},

此处 $\|g\|_{\mathcal{CM}_{-1}}$ 采用经典的 BMO $^{-1}$ 热延拓刻画。定理结论严格区分了数学证明与物理图像：作者仅 rigorously 证明了有限时间 $$T$$ 内的存在性与唯一性，解的正则性提升（instantaneous smoothing）由热核 $e^{t\Delta}$ 的解析性严格保证。误差阶 $t^{1/4}$ 与 $t^{1/2}$ 精确匹配线性热算子的奇性阶数，确保非线性迭代算子满足 Lipschitz 压缩条件。该结果是活性液晶系统首个临界空间适定性定理，未对全局大时间行为作断言，而是为缺陷动力学研究提供初始正则性平台。

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

证明的核心障碍源于系统极度复杂的张量非线性结构。与经典 Navier-Stokes 方程或向量型 Ericksen-Leslie 模型不同，本系统的应力张量包含多重高阶导数耦合项：如对流旋转项 $Q\Omega - \Omega Q$ 、拉伸项 $\lambda|Q|D$ 、分子场 $\mathcal{H}[Q]$ （含 $$Q^2$$ 与 $Q\text{Tr}(Q^2)$ 多项式非线性），以及速度方程中的 $\nabla \cdot (Q\Delta Q - \Delta Q Q)$ 。这些项破坏了标准能量守恒结构，使得基于 $$L^2$$ 紧性或传统 Sobolev 乘积估计的路径失效。此外， $\text{BMO}^{-1}$ 空间缺乏逐点控制，常规链式法则与乘积估计在此框架下不直接成立。

作者的真正创新在于将 Kato 的 mild solution 构造策略与针对 $$Q$$ -张量定制的函数空间 $$X_T$$ 深度融合，构建了闭合的 Banach 压缩框架。技术推进主要体现在三方面：第一，空间范数的精细设计。针对 $$Q$$ 方程中分子场与应力项的高阶导数损失，作者敏锐引入时间加权 Hölder 半模 $t^{1/4} \|Q(t)\|_{\dot{C}^{1/2}}$ 。利用热半群解析性 $\|\nabla^k e^{t\Delta} f\|_{L^\infty} \lesssim t^{-k/2} \|f\|_{L^\infty}$ ，该加权项在 $t \to 0$ 时恰好补偿非线性相互作用中的奇性，使三阶应力项经 Duhamel 积分后仍能控制于 $$Y_T$$ 范数。若无此项，非线性映射的 Lipschitz 常数将发散。第二，线性流的临界估计（Proposition 2.1）。作者利用 $u_0 \in \text{BMO}^{-1}$ 的等价刻画（ $u_0 = \nabla \cdot V, V \in \text{BMO}$ ），结合 Carleson 测度理论严格证明

\sup_{x_0,R} R^{-3/2} \int_0^R \int_{B(x_0,\sqrt{R})} |e^{t\Delta} u_0|^2 dy dt \le C \|u_0\|_{\text{BMO}^{-1}}^2.

同时，借助 Young 卷积与插值技巧导出 $t^{1/4}\|e^{t\Delta}Q_0\|_{\dot{C}^{1/2}} \lesssim \|Q_0\|_{L^\infty}$ 。该估计彻底规避了对初值点态光滑性的依赖，确立了线性流形在 $X_T \times Y_T$ 中的有界性。第三，非线性双线性型的压缩控制。在构造迭代算子 $\mathcal{B}((Q,u),(\tilde{Q},\tilde{u})) = \int_0^t e^{(t-\tau)\Delta} \mathcal{N} d\tau$ 时，作者利用 Oseen 核 $K(x,t) \lesssim (|x|+\sqrt{t})^{-4}$ 的逐点衰减，将时空卷积分解为近场与远场贡献。通过 Hölder 不等式、乘子定理及 $$X_T, Y_T$$ 的乘积代数结构，严格建立

\|\mathcal{B}\|_{X_T \times Y_T} \le C (\|Q\|_{X_T} + \|u\|_{Y_T}) (\|\tilde{Q}\|_{X_T} + \|\tilde{u}\|_{Y_T}).

结合小初值假设，映射在球 $B_{\epsilon_0}(e^{t\Delta}Q_0, e^{t\Delta}u_0)$ 上严格压缩。整个证明完全依赖热核解析性、Carleson 测度范数的尺度不变性及不动点原理，实现了从能量框架向临界尺度框架的分析范式转换。

4. 与之前工作的比较

本文工作与既往 PDE 及分析理论文献在临界适定性、模型复杂度、空间正则性及物理适用性四个维度存在显著差异。

在临界空间理论的推进方面，不可压 Navier-Stokes 方程的 Koch-Tataru 定理 [41] 确立了 $u_0 \in \text{BMO}^{-1}$ 为已知最大的临界初值空间（Bourgain-Pavlović [7] 与 Wang [62] 已证明 $\dot{B}^{-1}_{\infty,\infty}$ 中存在范数膨胀病态现象）。Wang [63] 随后将该框架推广至简化 Ericksen-Leslie 向量模型 $$(u,d)$$ ，证明了 $(u_0,d_0) \in \text{BMO}^{-1} \times \text{BMO}$ 下的适定性。然而，基于 $$Q$$ -张量的液晶系统长期缺乏对应的临界理论。既有活性液晶数学分析（如 [15, 39, 67, 68]）几乎全部局限于 $$H^s$$ 或 $$L^2$$ 型能量空间，仅能获得局部强解或全局弱解，对初值正则性要求苛刻（通常需 $H^1 \times L^2_\sigma$ ）。本文首次将适定性推进至 $L^\infty \times \text{BMO}^{-1}$ 尺度临界空间，填补了活性物质动力学粗糙初值分析的空白。代价是必须施加严格的小性条件 $\epsilon_0$ ，这与 $\dot{B}^{-1}_{\infty,\infty}$ 的病态本质一致，反映了临界空间全局正则性的内在门槛。

在模型非线性处理差异上，Ericksen-Leslie 模型的指向矢方程非线性仅为二次项 $|\nabla d|^2 d$ ，而本系统应力项包含 $\nabla \cdot (Q\Delta Q - \Delta Q Q)$ 等张量高阶交错乘积，分子场 $\mathcal{H}[Q]$ 更引入非变分活性修正。相较于 Wang [63] 直接利用向量模长控制，本文必须构造含 $t^{1/4}\dot{C}^{1/2}$ 半模的新空间 $$X_T$$ 以吸收导数损失。这标志着分析工具从“标量/向量临界估计”向“张量临界估计”的实质性跃迁，技术复杂度显著增加。

在物理假设与适用范围方面，完整活性模型 (1.1) 含浓度场 $$c(t,x)$$ 的强非线性耦合，目前尚无成熟的临界估计工具处理 $\alpha_1 c^2 \nabla \cdot Q$ 类项。本文通过固定 $$c$$ 为常数并令流动排列参数 $\xi=0$ 进行降维简化，虽保留核心活性应力 $\kappa \nabla \cdot Q$ 与 $$Q$$ -张量本构，但牺牲了对变浓度活性流体及剪切排列效应的描述能力。因此定理严格局限于参数冻结的简化模型，向完整系统推广仍属开放问题。

在时间尺度定位上，NS 与 Wang 的 Koch-Tataru 结果均为全局适定。本文定理明确表述为局部解（local solution），虽 $$X_T$$ 范数在理论上可局部延拓，但活性应力 $\kappa \nabla \cdot Q$ 不具备耗散符号，且缺乏大时间 Lyapunov 泛函，目前仅保证有限时间 $$[0,T]$$ 内的唯一性。作者指出该结果旨在为拓扑缺陷的成核与迁移提供初始正则性基底，而非追求大初值全局正则性，这与经典不可压流体追求大时间行为的目标存在定位差异，更侧重于非平衡态奇性演化的局部数学刻画。

3. 完全 $$N$$ 维 Ladyzhenskaya-Boussinesq 模型的局部零能控性

Local null controllability of the complete N-dimensional Ladyzhenskaya-Boussinesq model

作者: João Carlos Barreira, Juan Límaco

类别: math.AP

发布日期: 2026-04-04

arXiv ID: 2604.03876v1

摘要翻译: 本文研究了一类完全 Ladyzhenskaya-Boussinesq 系统的局部零能控性与大时间零能控性，其中控制为分布控制，且其支集位于区域的小子集内。局部零能控性的证明基于经典方法，包括 Carleman 估计与 Liusternik 逆映射定理。然而，速度方程与温度方程中均存在非线性项，对此需进行细致处理。

Comment: 34 pages

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

1. 研究对象和背景

本文的研究对象为耦合温度场与非线性粘性项的不可压缩流体系统，即完全Ladyzhenskaya-Boussinesq模型。该模型在湍流模拟、热对流及高雷诺数流动的物理背景下具有重要意义。具体而言，设 $\\\Omega \\subset \\mathbb{R}^N$ （ $$N=2,3$$ ）为光滑有界连通区域， $$T>0$$ ，考虑时间柱域 $Q = \\Omega \\times (0,T)$ 与侧边界 $\\Sigma = \\partial\\Omega \\times (0,T)$ 。未知量为速度场 $$y(x,t)$$ 、压力 $$P(x,t)$$ 与温度场 $\\theta(x,t)$ ，控制变量 $$v(x,t)$$ 与 $$v_0(x,t)$$ 作用于开子集 $\\omega \\subset \\Omega$ 。系统控制方程如下：

\\begin{cases} y_t - \\nabla \\cdot (\\nu(\\nabla y) D y) + (y \\cdot \\nabla) y + \\nabla P = v \\tilde{1}_\\omega + \\nu_0 \\theta e_N, & \\nabla \\cdot y = 0 \\text{ in } Q, \\\\ \\theta_t - \\nabla \\cdot (\\nu(\\nabla y) \\nabla \\theta) + y \\cdot \\nabla \\theta = v_0 \\tilde{1}_\\omega + \\nu(\\nabla y) D y : \\nabla y & \\text{ in } Q, \\\\ y = 0, \\; \\theta = 0 & \\text{ on } \\Sigma, \\\\ y(\\cdot,0)=y_0, \\; \\theta(\\cdot,0)=\\theta_0 & \\text{ in } \\Omega, \\end{cases}

其中 $Dy = \\frac{1}{2}(\\nabla y + \\nabla^T y)$ 为对称梯度张量， $$e_N$$ 为重力方向单位向量。粘性系数 $\\nu(\\nabla y)$ 取两种形式：其一为 $\\nu(\\nabla y) = \\nu_0 + \\nu_1 \\int_\\Omega |\\nabla y|^2 dx$ （对应 $$p=2$$ 情形，依赖于全局耗散能）；其二为 $\\bar{\\nu}(\\nabla y) = \\nu_0 + \\nu_1 \\|\\nabla y\\|_{L^p}^2$ （ $3<p\\le 6$ ）。方程右端项 $\\nu(\\nabla y) D y : \\nabla y$ 代表粘性力做功产生的焦耳热（viscous heating），是“完全”Boussinesq模型区别于传统模型的核心特征。

从分析理论角度看，该系统的难点体现在三个维度：首先，粘性系数依赖于空间全域的梯度范数，使得主算子具有非局部特征，破坏了经典Navier-Stokes或Boussinesq系统的局部椭圆/抛物结构，极大正则性理论与紧性论证需重新校准；其次，温度方程中的源项为梯度平方的非局部加权形式，在 $$L^2$$ 能量框架下难以直接控制，且与动量方程强耦合；最后，零能控性要求在有限时间 $$T$$ 内将初态驱动至零，通常依赖线性化伴随系统的Carleman估计，但非局部系数与二次耗散项的引入导致线性化后的扰动项在 $t \\to T^-$ 时可能破坏指数衰减结构。

现有理论背景中，经典Boussinesq系统（常数粘性、无粘性耗热源）的零能控性已由[17]等人通过Carleman估计与Liusternik定理建立；若仅保留非局部粘性而移除温度方程的耗散项，[19]证明了 $$N-1$$ 标量控制下的局部零能控性。然而，当同时保留全域依赖的湍流粘性系数与温度方程中的二次耗散加热项时，既有估计失效。本文试图填补的空白正是：在分布控制支撑于任意小子集 $\\omega$ 的前提下，建立该完全耦合非局部系统的局部零能控性，并给出适用于 $$N=2,3$$ 及不同 $$L^p$$ 粘性参数范围的严格函数空间框架。

2. 主要定理或主要结果

本文在加权Sobolev空间与指数衰减权函数框架下，严格证明了以下核心定理：

定理1.2（ $$p=2$$ 情形的局部零能控性）：设 $$N=2,3$$ ，对任意 $$T>0$$ ，系统(1.1)在初态 $(y_0, \\theta_0) \\in V \\times W_0^{1,3/2}(\\Omega)$ 充分小（范数小于 $\\delta>0$ ）时，存在控制 $v \\in L^2(\\omega \\times (0,T))^N$ 与 $v_0 \\in L^2(\\omega \\times (0,T))$ ，使得对应的强解满足 $y(\\cdot,T)=0$ 且 $\\theta(\\cdot,T)=0$ 。解的正则性为

y \\in L^2(0,T; H^2(\\Omega)^N \\cap V) \\cap C^0([0,T]; V), \\quad y_t \\in L^2(0,T; H),

\\theta \\in L^2(0,T; W^{2,3/2}(\\Omega)), \\quad \\theta_t \\in L^2(0,T; L^{3/2}(\\Omega)).

定理1.3（ $3<p\\le 6$ 情形的局部零能控性）：设 $$N=2,3$$ ， $3<p\\le 6$ ，对任意 $$T>0$$ ，系统(1.3)在初态 $(y_0, \\theta_0) \\in V^p \\times W_0^{1,p}(\\Omega)$ 充分小时，存在控制使终端状态为零。解满足加权估计

\\iint_Q \\mu_3^2 (|y_t|^2 + |\\nabla y|^2 + |\\Delta y|^2) dx dt + \\sup_{[0,T]} \\int_\\Omega \\mu_2^2 |y|^2 dx \\le C \\mathcal{I}_0,

其中权函数 $\\mu_2, \\mu_3$ 在 $t \\to T^-$ 时具有特定的指数衰减速率（见(3.1)）， $\\mathcal{I}_0$ 为初态与加权控制能量的泛函。

定理1.4（ $$N=2$$ 大时间零能控性）：当 $$N=2$$ 时，若 $(y_0, \\theta_0) \\in V \\times H_0^1(\\Omega)$ 且 $\\|(y_0, \\theta_0)\\| < r$ （ $$r$$ 为附录A中确定的常数），则存在充分大的 $$T>0$$ ，使得无控系统 $$(v=v_0=0)$$ 的解在 $t \\to \\infty$ 时渐近衰减至零附近的小邻域内，进而可切换至局部控制策略实现精确归零。该结果不依赖初态的小性假设，但代价是时间 $$T$$ 必须足够大以耗散初始能量。

所有结论均建立在严格的Banach空间隐函数定理框架下。控制代价满足加权不等式

\\iint_Q \\rho_1^2 (|y|^2+|\\theta|^2) dx dt + \\iint_{\\omega \\times (0,T)} \\rho_2^2 (|v|^2+|v_0|^2) dx dt \\le C \\left( \\|y_0\\|_H^2 + \\|\\theta_0\\|^2 + \\|\\rho_3 F_1\\|_{L^2(Q)}^2 + \\|\\rho_3 F_2\\|_{L^2(0,T;L^{3/2})}^2 \\right),

其中 $\\rho_1, \\rho_2, \\rho_3$ 为在 $$t=T$$ 处具有可控奇性的指数权重，用于吸收非线性项的增长。

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

证明的核心障碍在于非线性耦合项在 $t \\to T^-$ 时的强增长特性与非局部粘性系数对线性化算子谱性质的破坏。若直接对原系统进行线性化，非线性余项 $$F_1, F_2$$ 无法在标准 $$L^2$$ 空间中保持有界，导致Carleman估计无法闭合。作者的创新点在于构造了一套高度精细的加权Banach空间框架与逐层能量-正则性提升策略，将非线性控制问题转化为线性零能控性与逆映射定理的结合。

第一，权函数设计与线性化扰动控制。作者引入了依赖时间奇性函数 $\\ell(t)$ 与空间Carleman函数 $\\eta_0$ 的指数权重族 $\\rho_i, \\mu_i, \\kappa$ （定义见(3.1)）。这些权重在 $t \\to 0^+$ 时平滑，在 $t \\to T^-$ 时呈指数衰减（或增长，取决于符号）。通过将非线性项视为源项 $$F_1, F_2$$ ，并强制要求 $\\rho_3 F_i \\in L^q(0,T;L^p)$ ，作者将原非线性系统的零能控性转化为：寻找控制 $$(v,v_0)$$ 使线性系统(1.8)的解在加权范数下满足(3.3)界。权重的参数 $s, \\lambda, m$ 需满足 $18\\hat{\\alpha} > 17\\alpha^*$ ，以确保伴随方程的Carleman估计(2.4)中观测域积分可控制全域积分。

第二，非局部粘性项的极大正则性处理。对于 $$p=2$$ 情形，粘性系数 $\\nu(\\nabla y)$ 依赖于 $\\int_\\Omega |\\nabla y|^2 dx$ ，使得主部算子具有全局平均场特征。作者利用命题3.3与3.4，对加权后的状态变量 $\\tilde{y}=\\mu_2 y, \\tilde{\\theta}=\\mu_2 \\theta$ 进行逐次估计。具体而言，对温度方程应用引理2.1的 $$L^p-L^q$$ 极大正则性，对Stokes子系统应用引理2.3，将非线性源项的 $$L^2$$ 范数转化为加权初态与观测项的组合。对于 $3<p\\le 6$ 情形，权函数 $\\kappa$ 被设计为控制 $$(v,v_0)$$ 的高阶时间导数，从而补偿 $$L^p$$ 范数在非线性估计中的损失。

第三，Liusternik逆映射定理的严格验证。作者定义非线性映射 $\\mathcal{H}: X \\to Y$ ，其中 $$X$$ 为包含加权态与控制的Banach空间， $$Y$$ 为源项空间。证明 $\\mathcal{H}(0)=0$ ， $\\mathcal{H} \\in C^1$ ，且其Fréchet导数 $D\\mathcal{H}(0)$ 恰好对应线性化系统(1.8)的能控映射。由线性Carleman估计可证 $D\\mathcal{H}(0)$ 是满射，且其右逆有界（由(3.3)保证）。逆映射定理直接导出存在邻域 $B_\\delta(0) \\subset X$ 使得 $\\mathcal{H}$ 为双射，从而给出局部零能控性。该框架避免了传统轨迹跟踪法中需事先假设参考轨迹存在的小性条件，直接针对零目标构造。

第四，大时间能控的渐近分析。针对定理1.4，作者在附录A中利用 $$N=2$$ 时二维Boussinesq型系统的全局适定性与能量衰减引理，证明无控解 $\\|(y(t), \\theta(t))\\|_{V \\times H_0^1} \\to 0$ （当 $t \\to \\infty$ ）。通过选取充分大的自由演化时间 $$T_1$$ ，使状态落入定理1.2的小邻域内，再施加局部控制，从而拼接出大时间归零策略。该步骤严格区分了“严格证明的衰减”与“启发式切换逻辑”，保证了逻辑链的闭合。

4. 与之前工作的比较

本文在控制理论与非线性PDE交叉领域实现了多维度的推进，与既有文献的对比可从模型假设、控制结构、时间尺度与分析代价四个层面展开：

模型假设的实质性放宽：文献[12]（E. Fernández-Cara等）研究了常数粘性（ $\\nu_1=0$ ）下的完整Boussinesq模型，证明了局部零能控性；文献[19]（Huaman等）去除了温度方程中的耗散加热项 $\\nu(\\nabla y)Dy:\\nabla y$ ，但保留了非局部粘性，并利用 $$N-1$$ 个控制实现能控。本文首次同时处理全域依赖的湍流粘性系数与二次粘性耗散源项。非局部项 $\\int_\\Omega |\\nabla y|^2 dx$ 破坏了算子的局部椭圆性，而温度方程的源项 $\\sim |\\nabla y|^2$ 在能量空间中属临界/超临界增长。本文通过 $3<p\\le 6$ 的 $$L^p$$ 范数粘性模型与精细加权，突破了此前必须假设粘性系数有界（如[11]中 $0 \\le \\nu_1 \\le C$ ）或必须移除加热项的限制。

控制策略与支撑集的差异：与[17]及[3]相比，本文沿用分布式控制且支撑于任意开子集 $\\omega \\subset \\Omega$ ，但要求动量方程与温度方程均配备控制 $\\tilde{1}_\\omega$ （共 $$N+1$$ 个标量控制）。这是处理耦合系统时常见的代价：若仅在速度方程施加控制，温度场的非线性源项将导致伴随系统的观测不等式无法闭合（即无法通过单一观测反推温度能控性）。相比之下，[19]在移除加热项后成功将控制数降至 $$N-1$$ ，本文为处理完全耦合模型，以控制数量换取了物理模型的完整性。

时间尺度的推进与维度限制：定理1.4首次给出了该模型在 $$N=2$$ 时的大时间零能控性。相较于[14],[15]仅处理轨迹跟踪的局部能控，本文利用无控系统的自然耗散机制，将初态条件放宽至有界集（ $\\|(y_0,\\theta_0)\\|<r$ 而非无穷小）。然而，该结果仅限于 $$N=2$$ ，源于三维非局部Boussinesq系统的全局正则性与大时间渐近衰减仍属开放问题（从提供内容中无法确认三维大时间结果是否成立，作者未显式展开）。这反映了当前分析工具在高维强耦合非线性系统中的固有局限。

分析框架的代价与技术妥协：为保证Carleman估计中的指数权重 $\\rho_i, \\mu_i$ 在非线性迭代中不爆炸，本文要求初态在加权空间中充分小，且控制函数 $$F_1, F_2$$ 必须满足 $\\rho_3 F_i \\in L^q$ 的严格衰减条件。这意味着局部能控性的小性常数 $\\delta$ 依赖于时间 $$T$$ 与区域 $\\omega$ 的几何性质。此外，权函数的构造高度依赖 $$T$$ 固定的先验选择，无法直接推广至精确能控时间最小化问题。与[7],[18]相比，本文未考虑仅依赖涡度 $\\|\\text{curl}(y)\\|^2$ 的非局部模型，也未处理边界控制情形，适用范围集中于内部分布式控制下的光滑初态。总体而言，本文以精细的加权空间设计与Liusternik定理的直接应用，换取了对最完整物理模型（非局部粘性+粘性加热）的严格数学刻画，为后续处理更复杂湍流耦合系统提供了可复制的分析范式。

4. 5维走廊内的无条件轴正则性

Unconditional Axis-Regularity in the 5D Corridor

作者: Rishad Shahmurov

类别: math.AP

发布日期: 2026-04-03

arXiv ID: 2604.03519v1

摘要翻译: 我们研究三维轴对称不可压 Navier–Stokes 方程的轴正则性，方法是借助带有权测度

Comment: 无

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

1. 研究对象和背景

本文的研究对象为三维不可压Navier-Stokes方程在柱坐标系 $$(r, heta,z)$$ 下的轴对称带旋（axisymmetric with swirl）情形。其控制方程为

\partial_t u + (u \cdot \nabla)u + \nabla p = \nu \Delta u, \quad \text{div}\, u = 0,

其中速度场具有形式 $u = u_r e_r + u_\theta e_\theta + u_z e_z$ ，且各分量仅依赖于 $$(r,z,t)$$ 。引入环量变量 $\Gamma := r u_\theta$ ，方程的几何结构将三维问题约化至子午面 $$(r,z)$$ 上的二维耦合系统，但保留了真实的三维涡量拉伸项 $\frac{u_r}{r} \frac{\Gamma^2}{r}$ 。在正则性理论中，对称轴 $$r=0$$ 是几何奇性可能集中的核心区域。尽管Leray型全局弱解理论早已建立，且Caffarelli-Kohn-Nirenberg (CKN) 部分正则性理论将潜在奇点集的抛物Hausdorff维数限制在1维以内，但大初值轴对称带旋流是否会在对称轴上产生有限时间爆破，仍是Navier-Stokes正则性理论中最关键的遗留问题之一。既有文献（如Leonardi-Málek-Nečas-Pokorný [4] 及基于涡量的方法 [5]）多在附加的积分条件、结构假设或对小初值/特定流场的前提下获得正则性，缺乏对轴心机制本身无条件闭包的系统刻画。

本文试图填补的空白在于：如何在不引入全局先验界或额外结构约束的情况下，孤立并封闭轴心附近的局部奇性机制。作者提出一种五维径向提升（5D radial lift）框架，引入加权测度 $d\mu_5 = r^3 dr dz$ ，将轴对称问题的局部行为映射至等效的五维径向算子 $\Delta_5 = \partial_{rr} + \frac{3}{r}\partial_r + \partial_{zz}$ 的作用域中。通过定义提升环量变量 $v := r^{\alpha-1}\Gamma$ 与提升涡量变量 $G := \omega_\theta/r$ ，原本在 $$r=0$$ 处呈现临界退化的轴心问题，被重新表述为单位抛物柱 $$Q_1$$ 上的加权局部估计问题。该框架的核心在于参数 $\alpha \in (3/4,1)$ 构成的“廊道”，此区间由提升后问题的标度分析唯一确定。本文旨在证明，在此廊道内，轴心正则性可由三个显式的加权分析分支（线性Hardy收缩、加权Friedrichs机制、重正化源项估计）完全控制，从而将复杂的非线性涡旋动力学转化为局部加权Sobolev空间中的可迭代闭包问题，为无条件轴正则性提供了一套自洽的分析架构。

2. 主要定理或主要结果

本文的核心结论由定理2.1（Theorem 2.1）给出，其表述为无条件的局部轴正则性定理。在以下假设下：

$$(u,p)$$ 为三维不可压Navier-Stokes方程的轴对称弱解（允许任意大初值）；
提升变量 $$(G,v)$$ 在加权测度 $d\mu_5 = r^3 dr dz$ 下定义；
廊道参数固定为 $\alpha \in (3/4, 1)$ ，进而定义 $\lambda := 1-\alpha^2 > 0$ 与 Morrey 增益指数 $\delta := 4\alpha - 3 > 0$ 。

作者证明了：存在半径 $$R_0 > 0$$ 与收缩因子 $\theta \in (0,1)$ ，使得对任意轴心抛物柱 $$Q_R$$ （ $$0 < R < R_0$$ ），局部加权Morrey能量

E(R) := \frac{1}{R} \iiint_{Q_R} \left( |\nabla G|^2 + |\nabla v|^2 + \lambda \frac{v^2}{r^2} \right) d\mu_5 dt

满足压缩迭代不等式

E(\theta R) \le \kappa E(R) + C_{\text{src}} R^\delta E(R)^2, \quad 0 < \kappa < 1.

由于 $\delta > 0$ ，当 $$R$$ 充分小时，二次项为高阶小量，标准Morrey迭代直接导出 $\lim_{R \downarrow 0} E(R) = 0$ ，从而严格证明对称轴 $$r=0$$ 上不存在奇点。

为达成该闭包，作者引入指标重正化变换 $F = r^{2\alpha-2}v^2 = r^{m_+}H$ ，其中临界指数为 $m_+ = 3\alpha - 2 + \sqrt{2-\alpha^2}$ 。在此变换下，源项的非线性闭包转化为 $$H$$ 的局部有界性定理，并导出精确的逐点衰减估计：

F(r,z,t) \lesssim r^{m_+}, \quad v(r,z,t) \lesssim r^{\beta_*}, \quad \beta_* := \frac{\alpha + \sqrt{2-\alpha^2}}{2}.

该衰减阶确保了非线性离心源 $\partial_z(r^{2\alpha-2}v^2)$ 在小尺度下严格处于次临界扰动地位。作者明确指出，定理中的比例常数（尤其是单位尺度上的 $C_{\text{src}}$ 与 Friedrichs 常数 $\mu_1$ ）被处理为“已认证的数值输入”（certified numerical inputs）并记录于附录A中，正文的解析部分完整展示了从三项加权局部估计到Morrey收缩迭代的严格归约过程。

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

证明面临的核心技术障碍有三：(i) 轴心 $$r=0$$ 处 $$1/r^2$$ Hardy 势的临界奇异性破坏了标准能量方法的强制性；(ii) 漂移项 $$b = u_r/r$$ 在加权拓扑下缺乏直接的控制界，可能破坏能量衰减；(iii) 非线性源项 $\partial_z(r^{2\alpha-2}v^2)$ 在原始变量下呈现超临界增长，传统的 $$L^p$$ 或 Sobolev 嵌入无法闭合估计。作者的创新在于构建了一个完全局部化的加权重正化框架，通过三项精确的分析分支逐一瓦解障碍。

分支一：线性 Hardy–Campanato 衰减机制。 针对奇异抛物核心 $\partial_t w - \Delta_5 w + \frac{\lambda}{r^2} w = 0$ ，作者利用 $\lambda = 1-\alpha^2 > 0$ 的正定性，在五维加权测度下建立了一步衰减估计 $E_{\text{lin}}(\theta; w) \le \kappa_{\text{lin}} E_{\text{lin}}(1; w)$ 。该分支避开了全局谱理论或格林函数的显式构造，转而采用基于 Campanato 空间的内插与能量填补（hole-filling）技术，证明线性Hardy项不仅不破坏衰减，反而提供了额外的耗散增益。

分支二：加权 Friedrichs–Poincaré 控制与轴心零容度。 控制漂移分支的关键在于建立单位圆柱 $$Q_1$$ 上的加权不等式

\int_{Q_1} u^2 r^3 dr dz \le \frac{1}{\mu_1} \int_{Q_1} |\nabla u|^2 r^3 dr dz.

作者的核心工具是证明对称轴段 $\Gamma = \{(0,z) : |z|<1\}$ 关于测度 $d\mu_5$ 具有零加权容度： $\text{Cap}_{\mu_5}(\Gamma; Q_1) = 0$ 。通过构造光滑截断函数 $\chi_\varepsilon(r)$ ，其满足 $\chi_\varepsilon \equiv 0$ 于 $r \le \varepsilon$ ， $\chi_\varepsilon \equiv 1$ 于 $r \ge 2\varepsilon$ ，并精确估计

\int_{Q_1} |\nabla \chi_\varepsilon|^2 d\mu_5 \lesssim \varepsilon^2, \quad \int_{Q_1} |1-\chi_\varepsilon|^2 d\mu_5 \lesssim \varepsilon^4.

该估计表明轴心在 $W^{1,2}(Q_1, \mu_5)$ 拓扑下是可移除边界，因此能量空间中的函数无需在轴上强加独立迹条件。由此导出的密度定理与 Dirichlet 形式的强制性，直接压制了漂移项对能量的污染。

分支三：指标重正化与非线性源项次临界化。 这是本文真正的技术突破。作者指出朴素的加权四次方估计 $\|v\|_{L^4(r^{4\alpha-1}drdz)}$ 无法提供 $H^{-1}$ 控制。为此引入变换 $F = r^{2\alpha-2}v^2 = r^{m_+}H$ ，其中 $$m_+$$ 的选取并非任意，而是通过代数方程消去重正化后方程中的零阶 Hardy 临界项。该变换将源项的闭包问题转化为 $$H$$ 的局部有界性定理，利用抛物正则性理论导出 $H \in L^\infty_{\text{loc}}$ ，进而获得逐点幂律衰减 $v \lesssim r^{\beta_*}$ 。此衰减恰好提供 $R^\delta$ （ $\delta=4\alpha-3$ ）的尺度增益，使非线性项在 Morrey 迭代中严格成为高阶扰动项。

最终，三项估计在局部能量不等式中组装，形成压缩映射。该方法将传统的整体先验不等式替换为显式、可验证的局部加权引理，实现了分析负担的彻底局部化。

4. 与之前工作的比较

本文与既有 Navier-Stokes 及加权分析文献的对比体现在多个维度，其推进与代价均有明确的数学界定。

1. 正则性条件与适用范围： 经典部分正则性理论（Caffarelli-Kohn-Nirenberg [1]）仅能将奇异集的抛物维数约束至1维，无法直接排除轴对称带旋流在 $$r=0$$ 处的集中爆破。Leonardi-Málek-Nečas-Pokorný [4] 及后续基于涡量的方法 [5] 通常需要附加的积分条件（如 $u_\theta \in L^p$ 或 $\Gamma/r$ 的有界性）。本文的推进在于提出“无条件（unconditional）”框架：在廊道 $\alpha \in (3/4,1)$ 内，无需任何额外积分假设，仅依赖弱解本身的能量结构即可证明轴心正则。代价是结果严格局限于轴心邻域的局部正则性，不涉及全局时空光滑性或远离轴的流动结构。

2. 标度分析与参数廊道： 传统加权 Sobolev 理论（如 Caffarelli-Kohn-Nirenberg 加权插值 [2]、Kufner-Opic Hardy-Sobolev 框架 [12-14]）主要关注嵌入常数与临界指数的存在性。本文首次将这些工具与 N-S 轴对称问题的具体标度结构深度耦合，显式推导出廊道阈值 $\delta = 4\alpha - 3$ 。当 $\alpha \le 3/4$ 时， $\delta \le 0$ ，Morrey 迭代失去压缩性，源项分支不再为扰动项。这一边界清晰划分了加权耗散主导与可能失稳的 regimes，是对前人纯存在性理论的重要动力学细化。

3. 方法论范式的转变： 与退化抛物方程经典理论（Fabes-Kenig-Serapioni [8]）不同，本文不将权重退化视为需要渐近展开的微扰，而是通过五维径向提升 $d\mu_5 = r^3 dr dz$ 将其吸收为几何测度的固有部分。更重要的是，通过证明 $\text{Cap}_{\mu_5}(\Gamma)=0$ ，作者从根本上移除了轴心边界条件对函数空间的限制，使得 Dirichlet 类 $W^{1,2}_{\partial^*}(Q_1, \mu_5)$ 具有干净的迹理论。这与标准方法中需显式处理 $$r=0$$ 正则性或引入人工边界层形成鲜明对比。

中文标题: 单位圆盘上解析 Besov 空间的纯半范刻画

摘要翻译: 我们引入单位圆盘上解析函数 $$u$$ 的空间 $\mathcal{W}^{s,p}(\mathbb{D})$ ，其径向限制 $u_{r}(ξ):=u(rξ)$ 满足纯 Gagliardo 半范界

中文标题: 具导数非线性与尺度不变阻尼的波动方程爆破曲线的正则性与奇性

摘要翻译: 本文研究一维阻尼非线性波动方程解的爆破行为，该方程为

\partial_t^2 u - \partial_x^2 u + \fracμ{1 + t} \partial_t u = |\partial_t u|^p \quad (p > 1).

在初始数据充分大且光滑的假设下，我们证明了爆破曲线是连续可微的（ $\mathcal{C}^1$ ）。分析中的关键步骤在于对解的爆破轮廓进行刻画。证明依赖于将方程转化为一阶系统，并改造了 Sasaki 在 \cite{Sasaki2018,Sasaki2019} 中的技术；该技术巧妙地将 Caffarelli 与 Friedman \cite{Caffarelli1986} 的方法推广至具有时间导数非线性项但不含尺度不变项（ $$μ=0$$ ）的非线性波动方程。

14. 从线性到非线性：单调算子生成半群多项式稳定性的预解准则

From Linear to Nonlinear: A Resolvente criterion for Polynomial Stability of Semigroups Generated by Monotone Operators

作者: Marcelo M. Cavalcanti, Valéria N. Domingos Cavalcanti, Jaime E. Munõz Rivera

类别: math.AP, math.DS

发布日期: 2026-04-04

arXiv ID: 2604.03811v1

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

摘要翻译

中文标题: 从线性到非线性：单调算子生成半群多项式稳定性的预解准则

摘要翻译: Borichev–Tomilov 定理 \cite{BT2010} 依据沿虚轴的预解式增长性，对线性 $$C_0$$ -半群的多项式衰减给出了精确刻画。在非线性情形下，谱理论的缺失使得虚轴方法不再适用。本文针对 Hilbert 空间中的非线性极大单调算子建立了一个新框架，该框架以 \textit{实预解方程}

中文标题: 调和函数的三球定理（非同心情形）

摘要翻译: 在 R^n 中，针对 (n-1) 维非同心球面上的调和函数（关于加权 L^2 范数），本文获得了哈达玛（Hadamard）三圆定理的一个直接类比。借助反演技巧，该结果将同心情形推广至具有关联的非同心且不相切球面。本文给出了该定理在调和函数的小量传播与唯一性问题中的应用。

不相关论文（基本信息）

1. 源于毛细现象的球面中极小曲面的拓扑

Topology of minimal surfaces in the sphere from capillarity

作者: Benjy Firester, Raphael Tsiamis

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

发布日期: 2026-04-06

arXiv ID: 2604.04928v1

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

摘要: We present a general construction of embedded minimal and constant mean curvature surfaces in $\mathbb{S}^n$ and one-phase free boundaries joined by a smooth interpolation by capillary hypersurfaces. This framework recovers all known families and produces new minimal surfaces in the sphere with rich topological structures as sphere bundles over base spaces which include space-form products, projective planes over division algebras, Stiefel manifolds, complex quadrics, and twisted products and quotients of Lie subgroups of $$SO(n)$$ . We show these bundles are non-trivial and study their homotopy types using topological obstructions, including characteristic classes and tools from $$K$$ -theory and stable homotopy theory. Finally, we prove uniqueness results for the rotationally invariant capillary CMC problem.

2. 具有双相退化的完全非线性椭圆方程直至边界的最优 $C^{1,α}$ 正则性

Optimal $C^{1,α}$ regularity up to the boundary for fully nonlinear elliptic equations with double phase degeneracy

作者: Junior da Silva Bessa, Jehan Oh

类别: math.AP

发布日期: 2026-04-06

arXiv ID: 2604.04776v1

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

摘要: In this paper we establish optimal $C^{1,α}$ regularity up to the boundary for viscosity solutions of fully nonlinear elliptic equations with double phase degeneracy law and oblique boundary conditions. The approach developed here relies on first deriving uniform boundary Hölder estimates for perturbed models with oblique boundary data in ``almost $C^{1}$ -flat’’ domains. Building upon these estimates, the desired regularity is obtained through a compactness and stability framework for viscosity solutions. As a byproduct of our analysis, we determine the optimal Hölder exponent for solutions when the governing operator is quasiconvex or quasiconcave. In addition, we establish an improved regularity result along vanishing points of the source term.

3. 一般型光滑埃尔米特极小模型上陈-里奇流的格罗莫夫-豪斯多夫极限

Gromov-Hausdorff limits of the Chern-Ricci flow on smooth Hermitian minimal models of general type

作者: Haoyuan Sun

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

发布日期: 2026-04-06

arXiv ID: 2604.04710v1

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

摘要: We establish uniform diameter estimates and volume non-collapsing estimates for the Chern-Ricci flow on smooth Hermitian minimal models of general type, assuming the initial metric is Kähler in a neighborhood of the null locus of the canonical bundle. This yields subsequential Gromov-Hausdorff convergence, partially resolving a conjecture of Tosatti and Weinkove. When the underlying manifold is Kähler, we further prove the uniqueness of the limit space. Analytically, we overcome the difficulties posed by non-Kähler torsion in the Green’s formula by exploiting our local Kähler assumption, successfully adapting recent estimates of Kähler Green’s function to the Hermitian setting. To prove the uniqueness of the limit, we introduce Perelman’s reduced length to the Chern-Ricci flow. By establishing a uniform Chern scalar curvature bound and an almost monotonicity formula for the reduced volume, we deduce an almost-avoidance principle for the singular set, allowing us to effectively compare the flow distance with the canonical limit distance.

4. Cramér-Lundberg模型下的股息棘轮与资本注入：强解与最优策略

Dividend ratcheting and capital injection under the Cramér-Lundberg model: Strong solution and optimal strategy

作者: Chonghu Guan, Zuo Quan Xu

类别: math.OC, math.AP, q-fin.MF, q-fin.PM

发布日期: 2026-04-06

arXiv ID: 2604.04641v1

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

摘要: We consider an optimal dividend payout problem for an insurance company whose surplus follows the classical Cramér-Lundberg model. The dividend rate is subject to a ratcheting constraint (i.e., it must be nondecreasing over time), and the company may inject capital at a proportional cost to avoid ruin. This problem gives rise to a stochastic control problem with a self-path-dependent control constraint, costly capital injections, and jump-diffusion dynamics. The associated Hamilton-Jacobi-Bellman (HJB) equation is a partial integro-differential variational inequality featuring both a nonlocal integral term and a gradient constraint. We develop a systematic probabilistic and PDE-based approach to solve this HJB equation. By discretizing the space of admissible dividend rates, we construct a sequence of approximating regime-switching systems of ordinary integro-differential equations. Through careful a priori estimates and a limiting argument, we prove the existence and uniqueness of a \emph{strong solution} in a suitable space. This regularity result is fundamental: it allows us to characterize the optimal dividend policy via a switching free boundary and to construct an explicit optimal feedback control strategy. To the best of our knowledge, this is the first complete solution – comprising both the value function and an implementable optimal strategy – for a dividend ratcheting problem with capital injection under the Cramér-Lundberg model. Our work advances the mathematical theory of optimal stochastic control beyond the standard viscosity solution framework, providing a rigorous foundation for dividend policy design in economics.

5. 大扩散极限下带指数非线性的半线性Neumann问题的刚性

Rigidity for a semilinear Neumann problem with exponential nonlinearity in the large diffusion limit

作者: Juneyoung Seo

类别: math.AP

发布日期: 2026-04-06

arXiv ID: 2604.04416v1

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

摘要: We consider a semilinear Neumann problem with exponential nonlinearity in a smooth bounded domain $Ω\subset \mathbb{R}^2$ . We prove that there exists a threshold $\bar{\varepsilon}>0$ such that for all $\varepsilon>\bar{\varepsilon}$ , any classical solution must be constant. This result provides a positive answer to a conjecture recently posed by Calanchi, Ciraolo, and Messina (2026). Our proof relies on a combination of $$L^1$$ -estimates, a Jensen-type argument via the Neumann Green’s function to obtain uniform exponential integrability, and elliptic regularity.

6. 具有毛细型边界条件的抛物型 p-Laplacian 方程的黏性解

On the Viscosity Solutions of Parabolic p-Laplacian Equations with Capillary-Type Boundary Conditions

作者: Zhenghuan Gao, Jin Yan, Yang Zhou

类别: math.AP

发布日期: 2026-04-06

arXiv ID: 2604.04391v1

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

摘要: In this paper, we establish the well-posedness and large-time asymptotic behavior of viscosity solutions to singular/degenerate parabolic $$p$$ -Laplacian equations with general capillary-type boundary conditions, including Neumann and prescribed contact angle cases, on strictly convex domains. By establishing a gradient estimate independent of the $$C^0$$ norm of the solution via the maximum principle, and by analyzing the problem through an approximation procedure together with associated elliptic eigenvalue problems, we prove the existence, uniqueness, and asymptotic behavior of solutions. For the elliptic problem with Neumann boundary conditions, we first focus on flat domains with the zero Neumann condition. By reflecting $$u$$ across the flat boundary $$T_1$$ and then using inf- and sup-convolution arguments in the reflected domain, we obtain the $C^{1,α}$ result. For the general elliptic case, we obtain sharp global $C^{1,α}$ regularity by flattening the boundary and employing compactness arguments together with an ``improvement of flatness’’ iteration. With an extra condition in the iteration, we can also deal with the singular case $$1<p<2$$ . In the parabolic setting, the spatial Hölder regularity of $$Du$$ follows from elliptic estimates combined with the Lipschitz continuity of $$u$$ in time, which in turn yields joint Hölder continuity in $$(x,t)$$ . Extensions to non-convex domains are also discussed by incorporating a suitable forcing term.

7. 任意余维极小图的校准形式

Calibrating Forms for Minimal Graphs in Arbitrary Codimension

作者: Chung-Jun Tsai, Mu-Tao Wang

类别: math.DG, math.AP

发布日期: 2026-04-06

arXiv ID: 2604.04336v1

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

摘要: We introduce a new family of closed differential forms naturally associated with minimal graphical submanifolds in Euclidean space, defined in arbitrary codimension. For each minimal graph, we construct an explicit closed form whose restriction coincides with the induced volume form. These forms admit a geometric interpretation as pullbacks, via the Gauss map, of tautological differential forms on the Grassmannian. In contrast to most known calibrations, they are generally not parallel and do not arise from special holonomy or symmetry considerations. The calibration problem is thus reduced to estimating the pointwise comass of the constructed forms. We show that the comass bound can be characterized in terms of explicit inequalities involving the singular values of the defining map of the graph, formulated via its two-dilations and we identify precise conditions ensuring that the comass is at most one. As a consequence, any minimal graph satisfying these conditions is calibrated and hence area-minimizing. This yields a broad class of new calibrated minimal graphs, extending the classical codimension-one theory, and provides an effective criterion for determining precisely where a given minimal graph is area-minimizing. As an application of our construction, we confirm a conjecture of Lawson and Osserman under two-dilation conditions, in arbitrary codimesnion.

8. Kähler-Ricci 流在锥奇点附近的扩张孤子模型

Expanding Soliton Models for Kähler-Ricci Flow Near Conical Singularities

作者: Longteng Chen, Max Hallgren, Lucas Lavoyer

类别: math.DG, math.AP

发布日期: 2026-04-05

arXiv ID: 2604.04223v1

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

摘要: Let $$(Y,g_0)$$ be a compact Kähler space with a finite number of singular points, where the metric at each singular point is modelled on an admissible Kähler cone. We show that the Kähler-Ricci flow with such initial data satisfies a $$C/t$$ curvature bound, and that the flow near each singular point is modelled on the unique Kähler-Ricci expander asymptotic to the corresponding cone. Our motivation is to give a geometric description of the Kähler–Ricci flow emerging from singularities arising in the analytic minimal model program.

9. 含混合局部与非局部算子的演化方程的局部存在性、唯一性、正则性与全局性态

Local Existence, Uniqueness, Regularity, and Global Behavior of Evolution Equations Involving Mixed Local and Nonlocal Operators

作者: Abdelhamid Gouasmia, Hichem Hajaiej, Kaushik Bal

类别: math.AP

发布日期: 2026-04-05

arXiv ID: 2604.03931v1

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

摘要: In this work, we address a parabolic problem featuring a potentially doubly nonlinear term, governed by a combination of local and nonlocal operators (see Problem P1 below). We first establish the local existence of weak energy solutions via a semidiscretization in time applied to an auxiliary evolution problem. The uniqueness of these solutions is subsequently obtained through a novel generalization of the classical inequality of Diaz and Saa, suitably adapted to the mixed local nonlocal setting. This generalization provides a new comparison principle and establishes the T-accretivity of a corresponding operator in L2. By employing this comparison principle, we construct suitable barrier functions that allow the global in time extension of solutions. Furthermore, we demonstrate the convergence of weak solutions to a nontrivial stationary state. Our approach relies on methods from the theory of contraction semigroups. It is noteworthy that these results are underpinned by a detailed analysis of the stationary problems associated with Problem P1, which also reveals several qualitative properties of the solutions.

10. 满足若干电阻条件的分形上的非均匀标度函数与热核估计

Inhomogeneous Scaling Function and Heat Kernel Estimates on Fractals Satisfying Some Resistance Conditions

作者: Diwen Chang, Guanhua Liu

类别: math.AP

发布日期: 2026-04-05

arXiv ID: 2604.03915v1

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

摘要: In this paper, we focus on strongly local regular Dirichlet forms, especially those satisfying Morrey-type inequalities. We prove the equivalence between resistance estimates and heat kernel estimates in this case. Self-similar forms on fractals serve as a major application, where we construct a spatially inhomogeneous scaling function and characterize all the doubling self-similar measures. Further, on some special examples, the resistance conditions are reduced to some geometric conditions, on which a complete theory on self-similar Dirichlet spaces is established therein. In particular, we construct a concrete example on rotated triangle fractals, where the optimal heat kernel estimate is not related at all to the lower scaling exponent.

11. 含 Choquard 项与混合算子的 Coron 问题

On Coron problems with Choquard term and mixed operator

作者: Jacques Giacomoni, Tuhina Mukherjee, Lovelesh Sharma

类别: math.AP

发布日期: 2026-04-04

arXiv ID: 2604.03752v1

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

摘要: In this article, we study a Coron-type problem involving a critical Choquard nonlinearity driven by a mixed operator combining the Laplacian and fractional Laplacian. In annular-type domains, we prove the existence of nontrivial positive solutions when the inner hole is sufficiently small. Using variational methods and concentration compactness arguments, we establish a global compactness result for Palais- Smale sequences and obtain high-energy solutions using topological methods. We also derive regularity results for weak solutions.

12. 具有时空退化系数的时间分数阶偏微分方程混合问题的可解性

Solvability of a Mixed Problem for a Time-Fractional PDE with Time-Space Degenerating Coefficients

作者: Bakhodirjon Toshtemirov, Azizbek Mamanazarov

类别: math.AP, math-ph

发布日期: 2026-04-04

arXiv ID: 2604.03739v1

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

摘要: In this paper, we investigate the unique solvability of a mixed boundary value problem for a fractional partial differential equation featuring a degenerate coefficient. By introducing a novel operator and applying the method of separation of variables, we establish the existence of eigenvalues and eigenfunctions for the associated spectral problem and prove that the operator possesses a discrete spectrum. Additionally, we establish the relationship between the given data and the unique solvability of the problem, offering new insights into how degeneracy influences fractional diffusion processes.

13. 度量图上半线性椭圆方程的非存在性结果

Nonexistence results for semilinear elliptic equations on metric graphs

作者: Yang Liu, Yong Lin, Haohang Zhang

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

发布日期: 2026-04-04

arXiv ID: 2604.03736v1

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

摘要: In this paper, we study the nonexistence of solutions to semilinear elliptic equations with a positive potential on metric graphs. In particular, the Laplacian under consideration is of a special type, related to both the vertices and edges of metric graphs. We construct a modified distance function, introduce appropriate test functions, and establish the nonexistence of global solutions under suitable volume growth conditions imposed on the potential. More precisely, the nonnegative solutions or sign-changing solutions to the equations are the trivial zero solutions.

14. 具完美接触条件的各向异性双域算子特征值问题的边界积分方法

A boundary integral approach to the eigenvalue problem for the anisotropic bidomain operator with perfect contact conditions

作者: Raul Felipe-Sosa, Yofre H. García-Gómez

类别: math.AP

发布日期: 2026-04-04

arXiv ID: 2604.03682v1

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

摘要: In this work, we study the eigenvalue problem associated with the bidomain operator in an anisotropic heterogeneous domain composed of three subregions representing the left ventricle, the septum, and the right ventricle. The anisotropic conductivity, together with the different orientations of the fiber directions in each subdomain, leads to an elliptic boundary value problem with discontinuous coefficients and transmission conditions across the interfaces. Our main contribution consists in reformulating this problem using potential theory. By expressing the solution in terms of single- and double-layer potentials, we reduce the original boundary value problem to a system of Fredholm-type boundary integral equations. We derive explicit expressions for the fundamental solution of the associated anisotropic Helmholtz operator, as well as for the corresponding kernels, which are given in terms of Bessel functions. Finally, we propose a numerical scheme for approximating the eigenvalues of the bidomain operator based on the discretization of the resulting integral system. This approach provides an efficient framework for the analysis of anisotropic boundary value problems with interface conditions.

15. 赋秩球面上的特征锥构型

Eigencone Constellations on Ranked Spheres

作者: Norayr Matevosyan

类别: math.AP, cs.CG, q-bio.BM

发布日期: 2026-04-04

arXiv ID: 2604.03554v1

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

摘要: We introduce eigencone constellations, a hierarchical framework for embedding bounded-degree spatial graphs into concentric spherical shells and partitioning each shell into spectrally weighted, spherical star-shaped territories. Given a connected sparse spatial graph $$G$$ with a distinguished root vertex (the queen), we assign each vertex to a sphere whose radial position is determined by its graph distance from the queen, then tessellate each sphere into constellation territories whose solid angles are proportional to the spectral mass of the corresponding subgraph. Within each territory, nodes are packed by constrained repulsion, yielding local simplex structures. The resulting geometric representation provides a structural framework for measuring spectral distance between dynamic subgraph states. By combining this eigencone-derived metric with constraints on the domain-specific edit alphabet, we define a forward-only deterministic trajectory – the isomorphic walk – which converges graph edits efficiently. We define the notion of spherical star-shaped domains with geodesic visibility, establish their properties under spectral projection, and demonstrate the trajectory convergence on molecular contact graphs.

16. 对麦克斯韦方程组的修正

Modification to Maxwell’s Equations

作者: Shangbin Cui

类别: math.AP

发布日期: 2026-04-03

arXiv ID: 2604.03513v1

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

摘要: A fixed electric charge is an electric current relative to a moving magnetic field, so that it is subjected to the force of the moving magnetic field. This means that not only time-varying magnetic field produces electric field, but moving magnetic field produces electric field as well. Maxwell neglected this fact in deriving his equations for the description of dynamical behavior of electromagnetic field so that the two equations (A) $\nabla\cdot\bfE=\epsln_0^{-1}ρ$ and (B) $\partial_t\bfE-\epsln_0^{-1}μ_0^{-1}\nabla\times\bfB=-\epsln_0^{-1}\bfJ$ are incorrect. In this paper we modify the equation (A) into $\nabla\cdot(\bfE+\overline{\bfu}\times\bfB)= \epsln_0^{-1}ρ$ , where $\overline{\bfu}$ denotes the mean velocity of the charges in the electric current, and the equation (B) is correspondingly modified. The modified equations are invariant under Galilean transformation. As a byproduct of this work, we see that Einstein’s theory of special relativity is wrong.

17. 透镜簇与三叉簇在 $\mathbb{R}^2$ 中唯一极小化各向异性周长

The lens cluster and triod cluster uniquely minimize the anisotropic perimeter in $\mathbb{R}^2$

作者: Paula Benitez

类别: math.AP

发布日期: 2026-04-03

arXiv ID: 2604.03510v1

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

摘要: (N, M)-clusters are partitions of $\mathbb{R}^d$ into N+M regions, where N chambers have prescribed finite measure and M chambers have infinite measure. Locally minimizing clusters are the configurations which minimize the perimeter among all competitors with compact support satisfying the same measure constraints. The characterization of these partitions has been widely studied for the standard (isotropic) perimeter. In the present paper, we investigate the corresponding problem for anisotropic perimeters, considering a general anisotropy. More specifically, we focus on (1,2)-clusters and (1,3)-clusters in $\mathbb{R}^2$ . Our main results provide a geometric characterization of these local minimizers: for regular (smooth, symmetric, and uniformly convex) anisotropies, we prove that a cluster is a local minimizer if and only if, up to translations, it is a standard anisotropic lens cluster in the (1,2)-cluster case, or a standard anisotropic triod cluster in the (1,3)-cluster case. In addition, using an approximation argument, we extend the minimizing property of these configurations to general anisotropies.

18. 欧氏区域前两个Steklov特征值的最优界

Optimal bounds for the first two Steklov eigenvalues of Euclidean domains

作者: Denis Vinokurov

类别: math.SP, math.AP

发布日期: 2026-04-03

arXiv ID: 2604.03418v1

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

摘要: We establish upper bounds for the first two nonzero Steklov eigenvalues of bounded domains in Euclidean spaces of dimension $d \geq 3$ , under a natural normalization involving volume and boundary measure, and show that these bounds are sharp for $d \geq 7$ .

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

1. 三维 Navier-Stokes 方程组的非局部超耗散扰动#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 三维不可压活性向列型液晶的 Koch-Tataru 定理#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. 完全 $N$ 维 Ladyzhenskaya-Boussinesq 模型的局部零能控性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. 5维走廊内的无条件轴正则性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 一般旋转黑洞内部弱零奇点的形成#

摘要翻译#

2. 空间齐次玻尔兹曼方程中的熵产生并非总是单调的#

摘要翻译#

3. $C^1$ 区域上抛物型非散度型方程的边界估计#

摘要翻译#

4. 分数维空间中精细约束下的 Trudinger-Moser 不等式与极值函数#

摘要翻译#

5. 单位圆盘上解析 Besov 空间的纯半范刻画#

摘要翻译#

6. 带临界Hardy势与Choquard非线性项的非线性薛定谔方程#

摘要翻译#

7. 近真空玻尔兹曼方程的低正则性整体适定性#

摘要翻译#

8. 高维欧氏狄拉克算子的加权 $L^2$ 理论#

摘要翻译#

9. 具有长程相互作用的Vlasov-Riesz系统的修正散射#

摘要翻译#

10. 低维 JKO 格式中的 Aronson-Bénilan / Li-Yau 估计#

摘要翻译#

11. 对数型分数阶 Schrödinger–Poisson 系统多个正解的存在性与集中#

摘要翻译#

12. 具有 Kelvin-Voigt 非局部阻尼的波动方程的渐近行为#

摘要翻译#

13. 具导数非线性与尺度不变阻尼的波动方程爆破曲线的正则性与奇性#

摘要翻译#

14. 从线性到非线性：单调算子生成半群多项式稳定性的预解准则#

摘要翻译#

15. $\mathbb{R}^3$ 中非齐次非线性波动方程的适定性#

摘要翻译#

16. 若干向上传播的精确非线性地形波的不稳定性#

摘要翻译#

17. 散度型条件下具 $L^d$ 漂移项的线性椭圆方程的适定性#

摘要翻译#

18. 复合材料中椭圆方程的最新进展#

摘要翻译#

19. 调和函数的三球定理（非同心情形）#

摘要翻译#

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

1. 源于毛细现象的球面中极小曲面的拓扑#

2. 具有双相退化的完全非线性椭圆方程直至边界的最优 $C^{1,α}$ 正则性#

3. 一般型光滑埃尔米特极小模型上陈-里奇流的格罗莫夫-豪斯多夫极限#

4. Cramér-Lundberg模型下的股息棘轮与资本注入：强解与最优策略#

5. 大扩散极限下带指数非线性的半线性Neumann问题的刚性#

6. 具有毛细型边界条件的抛物型 p-Laplacian 方程的黏性解#

7. 任意余维极小图的校准形式#

8. Kähler-Ricci 流在锥奇点附近的扩张孤子模型#

9. 含混合局部与非局部算子的演化方程的局部存在性、唯一性、正则性与全局性态#

10. 满足若干电阻条件的分形上的非均匀标度函数与热核估计#

11. 含 Choquard 项与混合算子的 Coron 问题#

12. 具有时空退化系数的时间分数阶偏微分方程混合问题的可解性#

13. 度量图上半线性椭圆方程的非存在性结果#

14. 具完美接触条件的各向异性双域算子特征值问题的边界积分方法#

15. 赋秩球面上的特征锥构型#

16. 对麦克斯韦方程组的修正#

17. 透镜簇与三叉簇在 $\mathbb{R}^2$ 中唯一极小化各向异性周长#

18. 欧氏区域前两个Steklov特征值的最优界#

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

1. 三维 Navier-Stokes 方程组的非局部超耗散扰动

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 三维不可压活性向列型液晶的 Koch-Tataru 定理

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 完全 $$N$$ 维 Ladyzhenskaya-Boussinesq 模型的局部零能控性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 5维走廊内的无条件轴正则性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 一般旋转黑洞内部弱零奇点的形成

摘要翻译

2. 空间齐次玻尔兹曼方程中的熵产生并非总是单调的

摘要翻译

3. $$C^1$$ 区域上抛物型非散度型方程的边界估计

摘要翻译

4. 分数维空间中精细约束下的 Trudinger-Moser 不等式与极值函数

摘要翻译

5. 单位圆盘上解析 Besov 空间的纯半范刻画

摘要翻译

6. 带临界Hardy势与Choquard非线性项的非线性薛定谔方程

摘要翻译

7. 近真空玻尔兹曼方程的低正则性整体适定性

摘要翻译

8. 高维欧氏狄拉克算子的加权 $$L^2$$ 理论

摘要翻译

9. 具有长程相互作用的Vlasov-Riesz系统的修正散射

摘要翻译

10. 低维 JKO 格式中的 Aronson-Bénilan / Li-Yau 估计

摘要翻译

11. 对数型分数阶 Schrödinger–Poisson 系统多个正解的存在性与集中

摘要翻译

12. 具有 Kelvin-Voigt 非局部阻尼的波动方程的渐近行为

摘要翻译

13. 具导数非线性与尺度不变阻尼的波动方程爆破曲线的正则性与奇性

摘要翻译

14. 从线性到非线性：单调算子生成半群多项式稳定性的预解准则

摘要翻译

15. $\mathbb{R}^3$ 中非齐次非线性波动方程的适定性

摘要翻译

16. 若干向上传播的精确非线性地形波的不稳定性

摘要翻译

17. 散度型条件下具 $$L^d$$ 漂移项的线性椭圆方程的适定性

摘要翻译

18. 复合材料中椭圆方程的最新进展

摘要翻译

19. 调和函数的三球定理（非同心情形）

摘要翻译

不相关论文（基本信息）

1. 源于毛细现象的球面中极小曲面的拓扑

2. 具有双相退化的完全非线性椭圆方程直至边界的最优 $C^{1,α}$ 正则性

3. 一般型光滑埃尔米特极小模型上陈-里奇流的格罗莫夫-豪斯多夫极限

4. Cramér-Lundberg模型下的股息棘轮与资本注入：强解与最优策略

5. 大扩散极限下带指数非线性的半线性Neumann问题的刚性

6. 具有毛细型边界条件的抛物型 p-Laplacian 方程的黏性解

7. 任意余维极小图的校准形式

8. Kähler-Ricci 流在锥奇点附近的扩张孤子模型

9. 含混合局部与非局部算子的演化方程的局部存在性、唯一性、正则性与全局性态

10. 满足若干电阻条件的分形上的非均匀标度函数与热核估计

11. 含 Choquard 项与混合算子的 Coron 问题

12. 具有时空退化系数的时间分数阶偏微分方程混合问题的可解性

13. 度量图上半线性椭圆方程的非存在性结果

14. 具完美接触条件的各向异性双域算子特征值问题的边界积分方法

15. 赋秩球面上的特征锥构型

16. 对麦克斯韦方程组的修正

17. 透镜簇与三叉簇在 $\mathbb{R}^2$ 中唯一极小化各向异性周长

18. 欧氏区域前两个Steklov特征值的最优界