生成时间: 2026年05月08日 07:55:13

运行状态: 完成

计划处理论文数量: 27

已完成论文数量: 27

未完成论文数量: 0

重点关注论文数量: 7

了解领域论文数量: 8

不相关论文数量: 12

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

1. 与一维柔性壳相互作用的简化二维Ericksen-Leslie液晶模型

The simplified 2D Ericksen-Leslie liquid crystal model interacting with a 1D flexible shell

作者: Prince Romeo Mensah

类别: math.AP

发布日期: 2026-05-07

arXiv ID: 2605.06463v1

摘要翻译: 我们考虑一类二维向列型液晶（Ericksen-Leslie型）与一维柔性粘弹性结构之间的演化及相互作用。该模型为完全宏观模型：向列型液晶由带Ginzburg-Landau逼近的简化Ericksen-Leslie系统建模；液晶被容纳于任意参考构型的薄粘弹性壳内，该壳随液晶施加的力而演化。在壳不出现任何退化情形的前提下，我们构造了该耦合系统的全局弱解。随后我们证明：以Ginzburg-Landau系数为参数的一族此类弱解，收敛于不含Ginzburg-Landau项的原始简化Ericksen-Leslie系统的弱解。

Comment: 无

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

分析审计

provider: qwen
model: qwen-plus
thinking_applied: False
fallback_used: False
reasoning_content_present: False
structured_output_validated: True
structured_output_fallback: False
cleanup_applied: False
cleanup_structured_validated: False
estimated_prompt_tokens: 12111
pdf_text_pages: 10
pdf_text_length: 25367

1. 研究对象和背景

本文研究一个全宏观尺度的耦合系统：二维不可压nematic液晶流体（由简化Ericksen-Leslie模型描述）与嵌套其内的、演化着的一维柔性粘弹性壳体（shell）之间的强相互作用。该问题属于典型的溶剂–溶质–结构（solvent–solute–structure, SSS）三相耦合问题，维度配比为2D–2D–1D——即流体速度场 $u: I \times \Omega_\eta \to \mathbb{R}^2$ 与向列相指向矢场 $d: I \times \Omega_\eta \to \mathbb{R}^2$ 定义在随时间形变的二维区域 $\Omega_\eta(t) \subset \mathbb{R}^2$ 上；而壳体位移 $\eta: I \times \omega \to \mathbb{R}$ 定义在一维周期参数曲线 $\omega \subset \mathbb{R}$ 上，其物理边界 $\partial\Omega_\eta(t) = \{ \phi(y) + n(y)\eta(t,y) : y \in \omega \}$ 直接由 $\eta$ 驱动。整个系统的控制方程组（见原文(1.4)–(1.7)）为：

\begin{cases} \mathrm{div}_x u = 0 & \text{in } I \times \Omega_\eta, \\ \varrho_s \partial_t^2 \eta - \gamma \partial_t \partial_y^2 \eta + \alpha \partial_y^4 \eta = f(\eta, u, \pi, d) & \text{on } I \times \omega, \\ \varrho_f \big( \partial_t u + (u \cdot \nabla_x) u \big) = \mathrm{div}_x T(u, \pi, d) & \text{in } I \times \Omega_\eta, \\ \partial_t d + (u \cdot \nabla_x) d = \gamma_1 \Big( \Delta_x d - \frac{1}{\epsilon^2} (|d|^2 - 1) d \Big) & \text{in } I \times \Omega_\eta, \end{cases}

其中Cauchy应力张量为 $T(u, \pi, d) = 2\mu D(u) - \pi I_{2\times 2} - \lambda \nabla_x d \odot \nabla_x d$ ，应变率张量 $D(u) = \frac{1}{2}(\nabla_x u + \nabla_x u^\top)$ ，界面力 $f = - (T n_\eta) \circ \phi_\eta \cdot n \, |\partial_y \phi_\eta|$ ，且 $n_\eta$ 是移动边界 $\partial\Omega_\eta$ 的单位外法向。初始条件满足 $|d_0| \leq 1$ a.e.，并施加界面速度匹配条件 $u \circ \phi_\eta = \partial_t \eta \, n$ 与无锚定边界条件 $\partial_{n_\eta} d = 0$ 。该模型物理动机明确：现代柔性液晶显示器件（LCD）中，液晶层被封装于可弯曲基底内，其力学响应必须同时捕捉液晶取向动力学、流体输运及基底弹性变形三者间的非线性反馈。数学上，这是首个严格处理液晶与柔性结构耦合的PDE系统；此前所有工作均限于刚性物体（[1,2,7]），而柔性情形因几何非线性、界面耦合强、能量结构脆弱等多重障碍长期悬而未决。关键空白在于：(i) 缺乏对移动域上简化Ericksen-Leslie系统与壳方程耦合的全局适定性理论；(ii) Ginzburg-Landau近似项 $\frac{1}{\epsilon^2}(|d|^2-1)d$ 在 $\epsilon \to 0$ 极限下是否能恢复原始单位模约束 $$|d|=1$$ 尚无结果；(iii) 现有流固耦合工具（如Koiter壳、Navier-Stokes/结构耦合）无法直接移植，因液晶特有的各向异性应力 $\nabla_x d \odot \nabla_x d$ 与指向矢方程的强非线性破坏了标准能量估计的闭合性。特别地，文中明确指出3D-3D-2D类比情形因Ladyzhenskaya不等式（ $\|v\|_{L^4} \lesssim \|v\|_{L^2}^{1/2} \|\nabla v\|_{L^2}^{1/2}$ ）的维度依赖性而不可行，凸显2D设定的必要性与技术临界性。

2. 主要定理或主要结果

本文建立了两个核心定理。定理2.2（全局弱解存在性）：对任意初值数据 $(\eta_0, \eta^*, u_0, d_0)$ 满足 $\eta_0 \in W^{2,2}(\omega), \|\eta_0\|_{L^\infty(\omega)} < L$ , $\eta^* \in L^2(\omega)$ , $u_0 \in L^2_{\mathrm{div}_x}(\Omega_{\eta_0})$ 且 $u_0 \circ \phi_{\eta_0} = \eta^* n$ , $d_0 \in W^{1,2}(\Omega_{\eta_0})$ , $|d_0| \leq 1$ a.e.，存在一个弱解三元组 $(\eta, u, d)$ ，满足定义2.1中全部要求，特别是能量不等式（2.2）：

$$ \frac{1}{2} \int_\omega \big( |\partial_t \eta|^2 + |\partial_y^2 \eta|^2 \big)(t) , dy + \frac{1}{2} \int_{\Omega_\eta} \Big( |u|^2 + |\nabla_x d|^2 + \frac{1}{2\epsilon^2} (|d|^2 - 1)^2 \Big)(t) , dx \

\int_0^t \int_\omega |\partial_{t’} \partial_y \eta|^2 , dy dt’ + \int_0^t \int_{\Omega_\eta} \Big( |\nabla_x u|^2 + \Big| \Delta_x d - \frac{1}{\epsilon^2} (|d|^2 - 1) d \Big|^2 \Big) , dx dt’ \ \leq \frac{1}{2} \int_\omega \big( |\eta^*|^2 + |\partial_y^2 \eta_0|^2 \big) , dy + \frac{1}{2} \int_{\Omega_{\eta_0}} \Big( |u_0|^2 + |\nabla_x d_0|^2 + \frac{1}{2\epsilon^2} (|d_0|^2 - 1)^2 \Big) , dx. $$

该解属于函数空间： $\eta \in W^{1,\infty}(I; L^2(\omega)) \cap W^{1,2}(I; W^{1,2}(\omega)) \cap L^\infty(I; W^{2,2}(\omega))$ , $u \in L^\infty(I; L^2(\Omega_\eta)) \cap L^2(I; W^{1,2}_{\mathrm{div}_x}(\Omega_\eta))$ , $d \in L^\infty(I; W^{1,2}(\Omega_\eta)) \cap L^2(I; W^{2,2}(\Omega_\eta))$ ，且保持 $|d| \leq 1$ a.e.（由Proposition 3.1的最大值原理保证）。定理3.3（Ginzburg-Landau极限）：设 $(\eta^\epsilon, u^\epsilon, d^\epsilon)$ 是对应Ginzburg-Landau系数 $\epsilon > 0$ 的一族弱解，则存在子列（仍记为 $\epsilon \to 0$ ）使得 $\eta^\epsilon \rightharpoonup \eta$ 在 $W^{1,2}(I; W^{1,2}(\omega))$ 中， $u^\epsilon \rightharpoonup u$ 在 $L^2(I; W^{1,2}(\Omega_\eta))$ 中， $d^\epsilon \rightharpoonup d$ 在 $L^2(I; W^{2,2}(\Omega_\eta))$ 中，且极限 $(\eta, u, d)$ 是原始简化Ericksen-Leslie系统（即 $\epsilon = 0$ 时 $\Delta_x d$ 替代 $\Delta_x d - \frac{1}{\epsilon^2}(|d|^2-1)d$ ）的弱解，满足 $$|d| = 1$$ a.e.（通过Lemma 3.2的正交分解实现紧性）。

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

证明的核心障碍有三：(1) 移动域上的非线性耦合导致标准Sobolev嵌入和迹定理失效；(2) 指向矢方程的Ginzburg-Landau项虽提供正则性，但其 $\epsilon^{-2}$ 增长率在极限过程中引发强振荡；(3) 各向异性应力 $\nabla_x d \odot \nabla_x d$ 与流体动量方程耦合，破坏能量恒等式的闭合性。作者的真正创新点在于构建了一个分层逼近框架：首先对几何进行正则化（引入辅助壳位移 $\zeta$ 和正则化速度 $v_\kappa$ ），再对流体对流项线性化（以 $v_\kappa$ 替代 $$u$$ ），在此基础上建立Galerkin逼近（第4节）。关键技术包括：(i) Hanzawa变换的精细控制：利用截断函数 $\phi(s)$ 和距离函数 $$s(x)$$ 构造 $\Psi_\eta$ （公式(1.2)），并严格验证其微分同胚性（条件(1.1)），确保 $\|\eta\|_{L^\infty(I \times \omega)} < \alpha < L$ 时Jacobian行列式严格正；(ii) 能量恒等式(3.4)的构造：通过Reynolds输运定理处理移动域上的时间导数，并巧妙抵消界面项——测试(1.5)得 $-\int_{\partial\Omega_\eta} T n_\eta \cdot (\partial_t \eta n) \circ \phi_\eta^{-1} d\mathcal{H}^1$ ，测试(1.6)得 $+\int_{\partial\Omega_\eta} T n_\eta \cdot (\partial_t \eta n) \circ \phi_\eta^{-1} d\mathcal{H}^1$ ，二者精确相消，从而获得闭合的能量恒等式；(iii) 指向矢最大值原理（Proposition 3.1）：对 $$|d|^2$$ 应用极值原理，结合Ginzburg-Landau项的负反馈性质 $-\frac{2}{\epsilon^2}(|d|^2-1)|d|^2$ ，强制 $|d| \leq 1$ 全局成立，此为后续极限过程的关键先验界；(iv) 单位模极限的正交分解引理（Lemma 3.2）：当 $$|d|=1$$ 时，将 $\Delta_x d$ 分解为 $d^\perp (\Delta_x d \cdot d^\perp)$ ，其中 $d^\perp = (-d_2,d_1)$ ，从而将非线性项转化为与 $d^\perp$ 正交的标量场 $\Delta_x d \cdot d^\perp$ ，该标量场在 $$L^2$$ 中具有紧性，是克服 $$|d|=1$$ 约束下缺乏高阶正则性的核心工具。

4. 与之前工作的比较

本文与既有工作的比较体现在三个维度：(1) 与刚性体液晶耦合工作([1,2,7])相比：[1,2]仅处理局部强解且要求初值接近常数平衡态，[7]虽得全局弱解但针对Q-tensor模型且刚性体无演化自由度；本文首次处理柔性结构，其位移 $\eta$ 满足四阶粘弹性壳方程（含 $\partial_t^2 \eta$ 、 $\partial_t \partial_y^2 \eta$ 、 $\partial_y^4 \eta$ 项），引入额外的无限维动力学自由度，导致能量空间 $W^{2,2}(\omega)$ 与流体空间 $L^2(\Omega_\eta)$ 的非平凡耦合，远超刚性情形的单纯边界条件嵌入。(2) 与一般流固耦合工作([3,4])相比：[3]处理的是Fokker-Planck型聚合物溶质（mesoscopic尺度），其分析依赖于概率测度的紧性；本文溶质（指向矢 $$d$$ ）是纯宏观场，其Ginzburg-Landau正则化与单位模极限需全新工具（Lemma 3.2）；此外，[3]中Koiter壳退化或自交即停止，而本文壳方程无此类显式停止准则，全局存在性依赖于能量不等式(2.2)中 $\|\partial_y^2 \eta\|_{L^2}$ 的一致控制。(3) 与固定域上液晶工作([16,17,14,18])相比：Lin-Liu的奠基性工作[17]在固定域上建立全局弱解，其核心是利用 $$|d|=1$$ 约束导出 $\Delta_x d \cdot d = -|\nabla_x d|^2$ ；本文在移动域上必须放弃此恒等式，转而依赖Ginzburg-Landau项的耗散与最大值原理来维持 $|d| \leq 1$ ，代价是引入 $\epsilon$ 参数并需额外证明极限存在性。文中明确指出，3D-3D-2D类比不可行，因Ladyzhenskaya不等式在三维中给出 $\|u\|_{L^6} \lesssim \|\nabla u\|_{L^2}$ ，而证明中多次使用的 $\|u\|_{L^4} \lesssim \|u\|_{L^2}^{1/2} \|\nabla u\|_{L^2}^{1/2}$ 在三维失效，故本文2D设定不仅是简化，更是技术可行性所必需。

2. 球面上四面体非纬向流的形变稳定性

Formal Stability of Tetrahedral Non-Zonal Flows on the Sphere

作者: Yuri Cacchiò

类别: math.AP

发布日期: 2026-05-07

arXiv ID: 2605.06453v1

摘要翻译: 我们研究球面上无外力二维 Euler 方程中从平凡态分岔出的有限幅值非纬向流的形变稳定性。为绕过球面 Laplace 算子的退化性并滤除低频 Fjørtoft 不稳定性，我们将函数空间限制在四面体对称群的不变子空间内。利用 Arnold 的能量–Casimir 方法，我们证明：通过 Liapunov–Schmidt 约化导出的线性化椭圆算子恰为守恒泛函的 Hessian 算子。借助 Crandall–Rabinowitz 定理追踪分岔支上的临界特征值，我们建立了分岔拓扑结构与形变稳定性之间的关系。将该框架应用于四种不同的地球物理剖面函数，我们证明：亚临界多项式流与超临界 sine-Gordon 流的二阶变分为负定，即具有形变稳定性；而亚临界 sinh-Gordon 流与超临界 Liouville 指数流则产生鞍点，因而不稳定。该分类揭示了行星大气中大尺度相干波得以持续所必需的具体非线性相互作用。

Comment: 无

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

分析审计

provider: qwen
model: qwen-plus
thinking_applied: False
fallback_used: False
reasoning_content_present: False
structured_output_validated: True
structured_output_fallback: False
cleanup_applied: False
cleanup_structured_validated: False
estimated_prompt_tokens: 8100
pdf_text_pages: 10
pdf_text_length: 22424

1. 研究对象和背景

本文研究球面 $$ S^2 $$ 上无外力二维欧拉方程

\partial_t(\Delta \psi) + J(\psi, \Delta \psi + 2\omega x_3) = 0 \tag{1.1}

的有限振幅非纬向定态解的形变稳定性（formal stability），其中 $\psi(t,\varphi,\theta)$ 为流函数， $x_3 = \sin\theta$ 为极轴坐标， $\Delta$ 为球面拉普拉斯-贝尔特拉米算子

\Delta \psi = \frac{1}{\cos\theta} \frac{\partial}{\partial \theta} \left( \cos\theta \frac{\partial \psi}{\partial \theta} \right) + \frac{1}{\cos^2 \theta} \frac{\partial^2 \psi}{\partial \varphi^2}, \tag{1.2}

$J(f,g) = \frac{1}{\cos\theta}(\partial_\varphi f \, \partial_\theta g - \partial_\theta f \, \partial_\varphi g)$ 为球面雅可比。在非旋转极限 $\omega = 0$ 下，定态解满足半线性椭圆方程

-\Delta \psi + F(\lambda, \psi) = 0 \quad \text{on } S^2, \tag{1.6}

其中 $\lambda \in \mathbb{R}$ 为分岔参数，且满足平凡分支条件 $F(\lambda, 0) = 0$ 。关键未知量是流函数 $\psi$ ，其对应的绝对涡度为 $q = -\Delta \psi + 2\omega x_3$ ；在 $\omega = 0$ 下简化为 $q = -\Delta \psi$ 。问题设定为：在 $\lambda$ 经历临界值 $\lambda^*$ 时，平凡解 $\psi \equiv 0$ 失稳，通过局部分岔产生非零、非纬向、具有四面体对称性的解 $\psi(\varepsilon) = \varepsilon Y^* + O(\varepsilon^2)$ ，其中 $$ Y^* $$ 是 $$ l = 3 $$ 阶实四面体调和函数（即球谐函数 $Y_{3,m}$ 在四面体群 $$ T $$ 不变量子空间中的唯一非零元），满足 $\Delta Y^* = -12 Y^*$ 。该设定源于地球物理建模中大尺度相干波（如罗斯贝-豪尔维茨波）的涌现机制，其物理重要性在于解释行星大气中长期维持的非纬向结构（如阻塞高压、偶极涡旋）的鲁棒性。已有理论背景包含：Arnold 能量-卡西米尔方法为哈密顿系统提供形变稳定性判据，即要求能量-卡西米尔泛函 $H_C[\psi] = E[\psi] + C[\psi]$ 的二阶变分 $\delta^2 H_C$ 在扰动空间上负定；Fjørtoft 定理指出，以 $$ l = 1,2 $$ 为主导的低频模在能量-涡度不变流形上必为鞍点，导致经典稳定性失效；而球面拉普拉斯 $\Delta$ 的 $$ (2l+1) $$ -重核退化（尤其在 $$ l=3 $$ 时 $\ker(-\Delta - 12I)$ 维数为 7）阻碍标准局部分岔定理（如 Crandall-Rabinowitz）直接应用。本文试图填补的空白在于：在保留物理相关性的前提下，构造一个数学上可控的对称约束框架，使得（i）消除 $$ l = 0,1,2 $$ 的不稳定性模，（ii）将退化核坍缩为一维，（iii）建立分岔拓扑（超临界/亚临界）与形变稳定性之间的精确谱联系。这一空白此前未被系统解决——Constantin–Germain [6] 解决了非旋转极限下的行波对应，但未处理稳定性；作者前期工作 [5] 构造了四面体分岔分支的存在性与方向，但未评估其扰动鲁棒性；Arnold 第二定理要求 $0 > \partial_\psi F > -\lambda_1$ （ $\lambda_1 = 2$ 为 $\Delta$ 首个非零本征值），但在四面体子空间中 $\Delta$ 的谱下界跃升至 $\lambda_{\min} = 12$ ，使经典判据失效，亟需发展适配受限空间的新稳定性准则。

2. 主要定理或主要结果

在四面体对称不变子空间 $X_T \subset L^2(S^2)$ 上，设非线性 $F(\lambda, \psi)$ 光滑且满足 $F(\lambda, 0) = 0$ 、 $\partial_\psi F(\lambda^*, 0) = -12$ ，并设分岔为 pitchfork 型： $\lambda(\varepsilon) = \lambda^* + \varepsilon^2 \lambda_2 + O(\varepsilon^3)$ ， $\psi(\varepsilon) = \varepsilon Y^* + \varepsilon^2 \psi_2 + O(\varepsilon^3)$ 。定义平凡分支上线性化算子 $L_0(\lambda) = -\Delta + \partial_\psi F(\lambda, 0) I$ ，其在 $$ X_T $$ 上对应 $$ l = 3 $$ 模的本征值为 $\gamma(\lambda) = 12 + \partial_\psi F(\lambda, 0)$ 。则主定理（Theorem 2.3）断言：对充分小的 $\varepsilon \neq 0$ ，分岔流 $\psi(\varepsilon)$ 在四面体意义下形变稳定的充要条件是

\lambda_2 \cdot \gamma'(\lambda^*) < 0. \tag{2.18}

反之，若 $\lambda_2 \cdot \gamma'(\lambda^*) > 0$ ，则 $\psi(\varepsilon)$ 生成鞍点，形变不稳定。该结论基于能量-卡西米尔泛函 $H_C[\psi] = \frac{1}{2} \iint_{S^2} |\nabla \psi|^2 \, d\sigma + \iint_{S^2} \Phi(-\Delta \psi) \, d\sigma$ 的二阶变分 $\delta^2 H_C[\delta \psi] = \frac{1}{2} \iint_{S^2} \left[ |\nabla \delta \psi|^2 + \frac{1}{\partial_\psi F(\lambda, \psi_0)} (-\Delta \delta \psi)^2 \right] d\sigma$ ，其对应的四阶赫森矩阵算子为 $H(\varepsilon) = -\Delta + \Delta \left( \frac{1}{\partial_\psi F(\lambda(\varepsilon), \psi(\varepsilon))} \Delta \right)$ 。证明显示： $H(\varepsilon)$ 在 $$ X_T $$ 上的本征值谱中，仅 $$ l = 3 $$ 模的本征值 $\eta(\varepsilon)$ 决定定号性，且其二阶修正满足 $\eta_2 = -\mu_2$ ，其中 $\mu_2$ 是线性化算子 $L(\varepsilon)$ 在 $$ l = 3 $$ 模上的二阶本征值修正，而 $\mu_2 = \lambda_2 \gamma'(\lambda^*)$ 。因此， $\eta(\varepsilon) = \varepsilon^2 \eta_2 + O(\varepsilon^3) = -\varepsilon^2 \lambda_2 \gamma'(\lambda^*) + O(\varepsilon^3)$ ，负定性等价于 (2.18)。应用此准则于四类地物理型：（i）多项式模型 $F_{\text{poly}} = -12\psi + a \psi^3$ ，得 $\lambda_2 < 0$ 、 $\gamma' > 0$ ，故稳定；（ii）正弦-戈登模型 $F_{\text{sG}} = -12\psi + \alpha \sin(\beta \psi)$ ，得 $\lambda_2 > 0$ 、 $\gamma' < 0$ ，故稳定；（iii）双曲正弦-戈登模型 $F_{\text{shG}} = -12\psi + c \sinh(d \psi)$ ，得 $\lambda_2 < 0$ 、 $\gamma' < 0$ ，故不稳定；（iv）刘维尔指数模型 $F_{\text{exp}} = -12\psi + k e^{m \psi}$ ，得 $\lambda_2 > 0$ 、 $\gamma' > 0$ ，故不稳定。

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

核心障碍有三：第一，球面拉普拉斯 $\Delta$ 在 $$ l = 3 $$ 处的 $$ (2l+1) = 7 $$ 维核退化，使标准 Liapunov-Schmidt 约化无法分离单一分岔方向；第二，Fjørtoft 不稳定性由 $$ l = 1,2 $$ 低频模主导，其存在使能量-卡西米尔二阶变分在全空间 $$ L^2 $$ 上必然不定；第三，Arnold 方法要求将线性化椭圆算子 $L = -\Delta + \partial_\psi F(\lambda, \psi_0) I$ 识别为某泛函的赫森矩阵，但 $$ L $$ 本身是二阶算子，而 $\delta^2 H_C$ 对应四阶算子 $$ H $$ ，二者谱关系不透明。作者的真正创新点在于：（1）引入四面体对称约束 $$ X_T $$ ，该空间严格滤除所有 $$ l = 0,1,2 $$ 球谐模（因四面体群 $$ T $$ 在这些阶数上无非零不变量），将 $\ker(L_0(\lambda^*))$ 坍缩为 $\operatorname{span}\{Y^*\}$ ，从而激活 Crandall-Rabinowitz 定理；（2）建立 $L(\varepsilon)$ 与 $H(\varepsilon)$ 的精确谱耦合：通过计算 $H(\varepsilon)$ 的摄动展开 $H(\varepsilon) = H(0) + \varepsilon H_1 + \varepsilon^2 H_2 + \cdots$ ，并利用 $\partial_\psi F(\lambda(\varepsilon), \psi(\varepsilon)) = -12 + \varepsilon V_1 + \varepsilon^2 V_2 + O(\varepsilon^3)$ 及 $V_1 \sim Y^*$ 的奇性（导致 $\mu_1 = 0$ ），证明 $$ l = 3 $$ 模的二阶本征值修正满足恒等式 $\eta_2 = -\mu_2$ ；（3）将稳定性判据完全代数化为 $\lambda_2 \gamma'(\lambda^*)$ 的符号，摆脱对具体非线性形式的依赖。关键技术包括：Fredholm 替代法求解 $$ L_0 w_1 = -V_1 Y^* $$ （因 $\langle V_1 Y^*, Y^* \rangle = 0$ ），伪逆算子 $S_L = (L_0|_{\ker(L_0)^\perp})^{-1}$ 构造一阶校正 $$ w_1 = -S_L V_1 Y^* $$ ，以及利用球面积分对称性消去 $$ (Y^*)^3 $$ 类奇函数积分为零。分析框架本质是“对称约化—谱摄动—赫森-线性化耦合”三步闭环：先用群表示论降维，再用正规摄动理论提取临界模演化，最后用泛函微分几何将稳定性归结为单参数符号判定。

4. 与之前工作的比较

与既有工作相比，本文在三个维度实现推进：（1）假设放宽性：Arnold 第二定理要求 $\partial_\psi F > -\lambda_1 = -2$ ，但本文在 $$ X_T $$ 中将谱下界提升至 $$ -12 $$ ，允许 $\partial_\psi F$ 在临界点取 $$ -12 $$ ，覆盖更广的物理非线性（如 $\sinh$ 、 $e^{\psi}$ ）；Constantin–Johnson [7] 的一般能量-卡西米尔框架未指定对称约束，无法规避 $$ l = 1,2 $$ 不稳定性；而本文明确限定 $$ X_T $$ ，代价是结论仅适用于四面体对称流。（2）时间/空间尺度：数值研究 [4,17] 仅验证特定初值的短期演化，本文给出无限维哈密顿系统的形变稳定性（即 $\delta^2 H_C < 0$ ）的解析判据，其适用范围是 $\varepsilon \ll 1$ 的邻域，但结论对所有 $$ t $$ 有效（因基于守恒量）；对比 [5]，本文将存在性结果 [5, Theorem 3.2] 升级为稳定性分类，揭示“同为亚临界分岔，多项式稳定而 sinh-Gordon 不稳定”，表明分岔方向非充分判据。（3）适用范围与局限：本文方法仅适用于 $$ l = 3 $$ 分岔（因四面体群在 $$ l = 3 $$ 首次出现非平凡不变量），无法处理 $$ l = 4 $$ （八面体）或更高阶；而 [6] 的非旋转极限映射 $\psi_\omega(\varphi,\theta,t) = \psi_0(\varphi + \omega t, \theta) + \omega x_3$ 将本文结论转化为旋转球面上相速度 $c = \omega$ 的西传行波稳定性，但未处理 $\omega \neq 0$ 时的完整动力学。文中未显式比较与 [11,25] 的 Fjørtoft 分析，亦未与 [15] 的高阶强制性估计衔接，故对非线性（Lyapunov）稳定性的提升尚不明确。

3. 具有氧气 Robin 边界条件的二维趋化性-欧拉系统的整体解

Global solutions to a two-dimensional chemotaxis-Euler system with robin boundary conditions on oxygen

作者: Qianqian Hou

类别: math.AP

发布日期: 2026-05-07

arXiv ID: 2605.05740v1

摘要翻译: 本文研究有界区域 $\mathbb{R}^2$ 中趋化性-欧拉系统的整体适定性。在系统上施加物理意义的边界条件后，我们证明：只要初始氧气浓度充分小，相应的初边值问题就存在唯一整体解。

Comment: 无

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

分析审计

provider: qwen
model: qwen-plus
thinking_applied: False
fallback_used: False
reasoning_content_present: False
structured_output_validated: True
structured_output_fallback: False
cleanup_applied: False
cleanup_structured_validated: False
estimated_prompt_tokens: 11508
pdf_text_pages: 10
pdf_text_length: 19973

1. 研究对象和背景

本文研究如下定义在有界光滑区域 $\Omega \subset \mathbb{R}^2$ 上的趋化-欧拉耦合系统：

\begin{cases} n_t + u \cdot \nabla n + \nabla \cdot (n \nabla c) = \Delta n, \\ c_t + u \cdot \nabla c + n c = \Delta c, \\ u_t + u \cdot \nabla u + \nabla p = -n \nabla \varphi, \\ \nabla \cdot u = 0, \end{cases} \quad x \in \Omega,\; t > 0,

其中 $n(x,t) \geq 0$ 表示细菌密度， $c(x,t) \geq 0$ 表示溶解氧浓度， $$u(x,t)$$ 和 $$p(x,t)$$ 分别为不可压缩流体的速度场与压力。函数 $\varphi \in W^{3,\infty}(\Omega)$ 是给定的重力势（与时间无关），刻画细菌对流体施加的沉降力；扩散系数均取为 $$1$$ （无量纲化后），且设趋化敏感度 $\chi(c) \equiv 1$ 、耗氧率 $$f(c) = c$$ ，符合Tuval等[26]实验建模原型。该模型是经典Keller–Segel型趋化模型与流体力学方程的强耦合，其数学挑战在于：(i) 趋化项 $\nabla \cdot (n \nabla c)$ 引入高阶非线性对流-扩散耦合；(ii) 欧拉方程（ $$D_u = 0$$ ）缺乏粘性正则化，无法提供 $$L^2$$ 能量耗散控制涡量 $\omega = \nabla \times u$ 的增长；(iii) 边界条件物理真实但分析复杂：氧气满足Robin边界条件 $\partial_\nu c = \kappa(x)(\gamma(x) - c)$ ，即溶解氧通量正比于其与环境氧浓度 $\gamma(x)$ 的偏差，反映流体-空气界面的动态交换；细菌满足无通量边界 $(\nabla n - n \nabla c) \cdot \nu = 0$ ；速度满足无穿透边界 $u \cdot \nu = 0$ 。已有理论主要集中于全扩散情形（ $$D_n, D_c, D_u > 0$$ ）或全空间 $\mathbb{R}^2$ 上的趋化-Navier–Stokes/欧拉系统。例如，Winkler[31,33]在Neumann边界下建立了三维趋化-Navier–Stokes弱解全局存在性；Na[20]在 $\mathbb{R}^2$ 中对趋化-欧拉系统（ $$D_n,D_c>0, D_u=0$$ ）证明了当 $\|c_0\|_{L^\infty}$ 充分小时存在全局经典解；而针对有界域且含Robin边界的趋化-欧拉系统，此前尚无任何全局适定性结果。本文旨在填补这一关键空白：在物理上更真实的Robin边界设定下，克服欧拉方程缺失粘性所导致的涡量失控风险，并处理Robin边界引发的边界层与曲率耦合效应，建立二维有界域中该强耦合系统的全局经典解存在唯一性。

2. 主要定理或主要结果

在初始数据 $n_0 \in H^2(\Omega), c_0 \in H^2(\Omega), u_0 \in H^3(\Omega)$ 及边界数据 $\kappa, \gamma \in H^2(\Gamma)$ 满足 $\max\{ \|\gamma\|_{L^\infty(\Gamma)}, \|c_0\|_{L^\infty(\Omega)} \} \leq \frac{1}{48}$ 的假设下，问题 (1.3)–(1.4) 存在唯一的全局经典解 $$(n,c,u,p)$$ ，满足对任意 $$T > 0$$ ：

(n,c,u,\nabla p) \in C([0,T]; H^2(\Omega) \times H^2(\Omega) \times H^3(\Omega) \times H^3(\Omega)),

(n,c) \in L^2(0,T; H^3(\Omega) \times H^3(\Omega)).

进一步，该解具有一致先验界：存在仅依赖于 $\Omega, T, \|n_0\|_{H^2}, \|c_0\|_{H^2}, \|u_0\|_{H^3}, \|\kappa\|_{H^2(\Gamma)}, \|\gamma\|_{H^2(\Gamma)}, \|\nabla \varphi\|_{W^{3,\infty}}$ 的常数 $$C > 0$$ ，使得

\|c\|_{L^\infty_T L^\infty_x} \leq \frac{1}{48}, \quad \|n\|_{L^\infty_T L^2_x} + \|\nabla n\|_{L^2_T L^2_x} \leq C,

\|u\|_{L^\infty_T H^1_x} + \|c\|_{L^\infty_T H^1_x} + \|c\|_{L^2_T H^2_x} \leq C,

\|n\|_{L^\infty_T L^q_x} + \|\nabla c\|_{L^\infty_T L^q_x} + \|\nabla^2 c\|_{L^q_T L^q_x} \leq C_q, \quad \forall q \in [2,\infty),

\|n\|_{L^\infty_T L^\infty_x} + \|\nabla n\|_{L^\infty_T L^2_x} + \|\Delta n\|_{L^2_T L^2_x} \leq C,

\|u\|_{L^\infty_T L^\infty_x} + \|\nabla u\|_{L^\infty_T L^q_x} + \|u_t\|_{L^\infty_T L^2_x} \leq C, \quad \forall q \in [3,\infty).

特别地，小初值条件 $\|c_0\|_{L^\infty} \leq \frac{1}{48}$ 是定理成立的关键阈值，它通过最大值原理保证 $\|c(\cdot,t)\|_{L^\infty} \leq \frac{1}{48}$ 对所有 $t \geq 0$ 成立，从而控制后续所有非线性项的系数。

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

证明的核心障碍在于欧拉方程（ $$D_u = 0$$ ）缺乏粘性耗散，导致标准能量方法无法直接控制涡量 $\omega = \nabla \times u$ 的 $$L^2$$ 范数增长。作者的真正创新点在于构建了一个分层加权能量框架，将细菌密度 $$n$$ 、氧浓度 $$c$$ 与速度 $$u$$ 的估计深度耦合，并利用Robin边界条件的结构设计出两个关键工具：

指数加权 $$L^2$$ -估计控制 $$n$$ ：引入辅助函数 $\theta(c) = e^{12c^2}$ ，利用其导数满足的不等式 $\frac{5(\theta')^2}{\theta} + \theta + \theta' \leq \frac{\theta''}{4}$ （引理2.1），对第一方程乘以 $\theta(c)n$ 并积分。该权重巧妙地吸收了由 $$c$$ 的梯度和Robin边界项 $\frac{1}{2}\int_\Gamma \theta' n^2 \kappa(\gamma - c)\, dS$ 产生的坏项，最终导出 $\frac{d}{dt}\int_\Omega \theta n^2 + \frac{1}{2}\int_\Omega \theta |\nabla n|^2 \leq C \int_\Omega \theta n^2$ ，再结合Gronwall不等式得到 $$n$$ 的 $$L^2$$ 有界性。此步骤的关键在于权重 $\theta$ 的选择完全由 $$c$$ 的 $L^\infty$ 小性（ $\leq 1/48$ ）所驱动，体现了初值小性在控制非线性耦合中的根本作用。
Robin边界下的曲率-梯度耦合估计控制 $$c$$ ：为处理 $$c$$ 的高阶范数，作者没有直接对 $$c$$ 应用标准Neumann热半群估计（因边界非齐次），而是构造变换 $\tilde{c} = e^{g_1}(g_2 - c)$ ，其中 $$g_1, g_2$$ 是由边界数据 $\kappa, \gamma$ 延拓至 $\Omega$ 的调和型函数（满足 $\partial_\nu g_1 = \kappa$ , $g_2 = \gamma$ 且 $\partial_\nu g_2 = 0$ ）。该变换将原Robin问题转化为 $\tilde{c}$ 的齐次Neumann问题，其源项包含 $u \cdot \nabla c$ , $$nc$$ 等。随后，作者系统应用了Neumann热半群的正则性估计（引理1.3(ii)-(iv) in [30]）：对 $\nabla \tilde{c}$ 使用 $$L^3$$ -估计（ $\|\nabla e^{t\Delta} f\|_{L^3} \leq C t^{-1/2 - (1/2 - 1/3)} \|f\|_{L^2}$ ），再迭代提升至任意 $$L^q$$ ( $q \geq 2$ )，并结合Sobolev嵌入与已证的 $$n, u, c$$ 低阶界，最终获得 $\|\nabla c\|_{L^\infty_T L^q_x} \leq C_q$ 。此框架的核心在于将复杂的Robin边界效应“吸收”进延拓函数 $$g_1, g_2$$ 的几何信息中，从而将问题还原为经典半群分析。
涡量方程的 $$L^q$$ -升级与Calderón–Zygmund理论：对涡量方程 $\omega_t + u \cdot \nabla \omega = (\nabla \times n) \cdot (\nabla^\perp \varphi)$ ，作者在 $$L^q$$ ( $q \geq 3$ ) 框架下进行测试，利用Gagliardo–Nirenberg不等式将右端控制为 $\|\nabla n\|_{L^q}^q$ ，再结合已证的 $\|\nabla n\|_{L^2_T L^2_x}, \|\Delta n\|_{L^2_T L^2_x}$ 界，通过积分与Gronwall得到 $\|\omega\|_{L^\infty_T L^q_x} \leq C$ 。最后，借助Calderón–Zygmund不等式 $\|\nabla u\|_{L^q} \leq C \|\omega\|_{L^q}$ （ $q \in (1,\infty)$ ）及Sobolev嵌入 $W^{1,q}(\Omega) \hookrightarrow L^\infty(\Omega)$ ( $$q > 2$$ )，完成对 $$u$$ 的最高阶正则性控制。这一步绕开了欧拉方程缺乏粘性的问题，转而利用 $$n$$ 的高正则性来驱动 $\omega$ 的有界性。

4. 与之前工作的比较

本文与既有工作的核心推进体现在三个维度：

边界条件的物理真实性与数学难度：此前关于趋化-欧拉系统的工作（如Na[20]）均在全空间 $\mathbb{R}^2$ 中进行，依赖于Fourier分析与衰减估计，无法处理有界域的边界效应。而本文首次在有界域 $\Omega \subset \mathbb{R}^2$ 中处理该问题，且采用物理上更准确的Robin边界条件 $\partial_\nu c = \kappa(\gamma - c)$ ，而非数学上更易处理的Neumann（ $\partial_\nu c = 0$ ）或Dirichlet（ $c = \gamma$ ）条件。Neumann边界意味着系统与外界无氧交换，Dirichlet则假设环境氧浓度恒定且瞬时达到平衡，二者均与Tuval实验中流体-空气界面的动态平衡不符。本文的Robin设定引入了边界曲率 $\nabla \cdot \nu$ 、边界梯度 $\nabla_\Gamma c$ 与体变量 $$c$$ 的强耦合（见引理2.2），其分析远超Neumann/Dirichlet情形，是本文最显著的推进。
模型退化程度与技术代价：本文研究的是部分非扩散情形（ $$D_n = D_c = 1 > 0$$ , $$D_u = 0$$ ），即趋化-欧拉系统，比全扩散的趋化-Navier–Stokes系统（ $$D_u > 0$$ ）更具挑战性。Winkler[31]在Neumann边界下对趋化-Navier–Stokes系统建立了二维全局光滑解，其证明可依赖 $\|\nabla u\|_{L^2}$ 的能量耗散。而本文必须放弃此耗散，转而发展前述的涡量 $$L^q$$ -升级与加权能量法。作为代价，本文要求更强的初值正则性（ $n_0, c_0 \in H^2$ , $u_0 \in H^3$ ）和更严格的初值小性（ $\|c_0\|_{L^\infty} \leq 1/48$ ），而Winkler的工作对初值大小无限制。此外，本文结果局限于二维，而三维趋化-欧拉系统的全局适定性仍是开放问题，这反映了欧拉方程在高维下涡量拉伸效应的固有困难。
适用范围与局限性：本文结论的适用范围明确受限于初值小性条件 $\|c_0\|_{L^\infty} \leq 1/48$ ，该条件通过最大值原理被保持，是控制所有非线性项（尤其是 $$nc$$ 和 $n\nabla c$ ）的基石。从提供内容中无法确认该阈值是否最优，亦未讨论若初值不满足此条件时是否存在有限时间爆破。此外，本文未涉及解的大时间行为（如是否收敛到平衡态），也未比较不同边界条件（如Robin vs Dirichlet）下解的长期动力学差异。这些方面构成了本文的自然局限，也是未来工作的重要方向。

4. 通过径向速度分量研究定常Navier-Stokes方程的Liouville型定理

Liouville Theorems for Stationary Navier-Stokes Equations via the Radial Velocity Component

作者: Gaston Vergara-Hermosilla

类别: math.AP

发布日期: 2026-05-07

arXiv ID: 2605.05647v1

摘要翻译: 我们研究三维欧氏空间 $\mathbb{R}^3$ 中定常Navier–Stokes方程的Liouville型结果。我们证明：若解 $u \in \dot{H}^1(\mathbb{R}^3)$ 满足仅关于速度径向分量 $$u_ρ(x)$$ 的可积性条件，即 $u_ρ(x) \in L^p(\mathbb{R}^3)$ 且 $3/2 < p \leq 3$ ，则该解必为平凡解。我们还在变指数空间框架下建立了一个唯一性结果，其中仅需在有界区域上施加类 $$L^6$$ 条件，而指数在无穷远处趋近于临界值 $$3$$ 。我们的分析表明，定常Navier–Stokes系统的刚性可由局部化且径向的可积性性质所驱动，而非依赖于一致的整体条件。

Comment: 无

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

分析审计

provider: qwen
model: qwen-plus
thinking_applied: False
fallback_used: False
reasoning_content_present: False
structured_output_validated: True
structured_output_fallback: False
cleanup_applied: False
cleanup_structured_validated: False
estimated_prompt_tokens: 12273
pdf_text_pages: 10
pdf_text_length: 21776

1. 研究对象和背景

本文研究三维欧几里得空间 $\mathbb{R}^3$ 中定常不可压纳维-斯托克斯方程（Stationary Navier-Stokes equations, SNS）的刘维尔型问题，即：在何种可积性或衰减条件下，所有属于齐次索博列夫空间 $\dot{H}^1(\mathbb{R}^3)$ 的弱解 $$u$$ 必恒为零。该方程组为

\begin{cases} -\Delta u + (u \cdot \nabla) u + \nabla \pi = 0, \\ \nabla \cdot u = 0, \end{cases} \quad \text{in } \mathbb{R}^3, \tag{1}

其中 $u : \mathbb{R}^3 \to \mathbb{R}^3$ 是速度场， $\pi : \mathbb{R}^3 \to \mathbb{R}$ 是压力函数。解对 $(u, \pi)$ 被要求满足 $u \in \dot{H}^1(\mathbb{R}^3)$ （即 $\|\nabla u\|_{L^2} < \infty$ ）且 $\pi \in \dot{H}^{1/2}(\mathbb{R}^3)$ ，这是经典存在性理论所保证的解类（见 [8, Theorem 16.2]）。然而，唯一性至今未解，构成著名的 Galdi-Seregin 猜想：若 $u \in \dot{H}^1(\mathbb{R}^3)$ 且 $u(x) \to 0$ 当 $|x| \to \infty$ ，是否必有 $u \equiv 0$ ？该猜想在二维由 Gilbarg–Weinberger [7] 解决，四维由 Galdi [6] 解决，但三维仍是开问题。其困难根源在于：Sobolev 嵌入 $\dot{H}^1(\mathbb{R}^3) \hookrightarrow L^6(\mathbb{R}^3)$ 仅给出 $|u(x)| = O(|x|^{-1/2})$ 的衰减率，远弱于保证唯一性的临界尺度（如 $L^{9/2}$ 所隐含的 $O(|x|^{-2/3})$ ）。已有工作集中于加强全局可积性假设：Galdi [6] 证明 $u \in L^{9/2}(\mathbb{R}^3)$ 即推出 $u \equiv 0$ ；Chae–Wolf [2] 改进为 $L^{9/2} \log L$ 型条件；Lerner [9] 引入频率截断，仅需低频部分 $u_{[0]} \in L^{9/2}$ ；作者此前 [11] 进一步推广至变指数空间 $L^{9/2 + \varepsilon(\cdot)}$ 。这些结果均属各向同性（isotropic），即对坐标旋转不变，依赖于 $$|u|$$ 或其全部分量的全局范数。而本文试图填补的关键空白是：是否存在仅依赖于速度场单一几何分量（而非模长或全部分量）的、更弱的、各向异性（anisotropic）可积性条件，足以驱动系统刚性并导出刘维尔结论？特别地，作者聚焦于球坐标系下的径向分量 $u_\rho(x) := u(x) \cdot \frac{x}{|x|}$ ，其物理意义为流体沿径向方向的投影，天然携带几何方向信息，且在无旋、径向对称等典型非平凡解中往往具有特殊结构（例如 $u(x) = \frac{x}{|x|^\alpha}$ 的径向分量为 $|x|^{1-\alpha}$ ）。因此，探究 $u_\rho$ 的可积性是否足以控制整个解，不仅具有技术新颖性，更触及了纳维-斯托克斯系统刚性来源的本质——它是否可由局部、方向性、甚至非均匀的积分信息所决定，而非必须诉诸于整体、各向同性的强衰减假设。

2. 主要定理或主要结果

本文建立了两个主定理。定理 1.1：设 $u \in \dot{H}^1(\mathbb{R}^3)$ 是方程 (1) 的解， $u_\rho$ 为其在球坐标系下的径向分量。若 $u_\rho \in L^p(\mathbb{R}^3)$ ，其中 $\frac{3}{2} < p \leq 3$ ，则 $u \equiv 0$ 。该结论的核心在于其假设仅施加于单一分量 $u_\rho$ ，且 $$p$$ 的上界 $$3$$ 低于经典 $L^{9/2}$ 阈值，下界 $$3/2$$ 对应于 $$L^p$$ 可积性与 $\dot{H}^1$ 能量的兼容性极限（因 $\dot{H}^1 \hookrightarrow L^6$ ，故 $$L^p$$ 中 $$p=3$$ 是 $|u|^2 u_\rho$ 在 Hölder 不等式 $\| |u|^2 u_\rho \|_{L^1} \leq \|u\|_{L^6}^2 \|u_\rho\|_{L^3}$ 下能被控制的最大指数）。定理 1.2：设 $$R_0 > 3$$ 固定，定义变指数函数 $\eta(x) = 3$ 若 $$|x| < R_0$$ ， $\eta(x) = \frac{3R_0}{|x|}$ 若 $|x| \geq R_0$ 。若 $u_\rho \in L^{3+\eta(\cdot)}(\mathbb{R}^3)$ ，即其属于变指数勒贝格空间 $L^{p(\cdot)}(\mathbb{R}^3)$ ，其中 $p(x) = 3 + \eta(x)$ ，则 $u \equiv 0$ 。该定理的尺度关系极为精细：在球 $$B(0, R_0)$$ 内，要求 $u_\rho \in L^6$ （因 $\eta(x)=3$ ，故 $$p(x)=6$$ ）；而在 $|x| \geq R_0$ 区域，指数 $p(x) = 3 + \frac{3R_0}{|x|}$ 从 $$6$$ 单调递减并渐近趋于临界值 $$3$$ ，其收敛速率为 $$O(1/|x|)$$ 。这表明，更强的可积性（ $$L^6$$ ）只需在任意预先选定的有界区域成立，而“临界”行为 $$L^3$$ 只需在无穷远处以可控速率逼近即可。该结果由更一般的定理 3.1 推出：若 $p : \mathbb{R}^3 \to [3, 6]$ 是连续、径向递减的变指数，满足 $$p(x) = 6$$ on $$B(0, R_0)$$ 且 $|p(x) - 3| \leq C / |x|$ for $|x| \geq R_0^2$ ，且 $u_\rho \in L^{p(\cdot)}(\mathbb{R}^3)$ ，则 $u \equiv 0$ 。

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

证明的核心障碍在于：如何将仅关于 $u_\rho$ 的信息，通过非线性对流项 $(u \cdot \nabla)u$ 和压力项 $\nabla \pi$ 的耦合，放大为对整个梯度场 $\nabla u$ 的控制，最终导出能量 $\|\nabla u\|_{L^2}^2 = 0$ 。标准的测试函数法（test with $\psi_R u$ ）产生关键恒等式

\int_{B(R/2)} |\nabla \otimes u|^2 \, dx \leq I_1(R) + I_2(R),

其中 $I_1(R) = \int_{B(R)} \Delta \psi_R \frac{|u|^2}{2} \, dx$ ， $I_2(R) = \int_{B(R)} \nabla \psi_R \cdot \left( \left( \pi + \frac{|u|^2}{2} \right) u \right) \, dx$ 。传统方法需估计 $$I_1$$ 和 $$I_2$$ 并证明其当 $R \to \infty$ 时趋于零。本文的真正创新点在于对 $$I_2$$ 的精细化处理。首先，利用 $\nabla \psi_R$ 的径向性及 $$u$$ 的散度自由性，将 $$I_2$$ 分解为 $I_{21} + I_{22}$ ，其中关键项为

I_{21}(R) = \frac{1}{2} \int_{C(R)} |u|^2 |u_\rho| |\partial_\rho \psi_R| \, dx.

此处，作者摒弃了对 $$|u|^2$$ 整体使用 $$L^3$$ 范数（这会回到 $L^{9/2}$ 阈值）的思路，而是采用混合 Hölder 不等式：取 $\frac{1}{r} = \frac{2}{6} + \frac{1}{p} + \frac{1}{q}$ ，其中 $$p$$ 是给定的 $u_\rho$ 的可积指数， $$q$$ 由 $\frac{1}{q} = \frac{2}{3} - \frac{1}{p}$ 确定。这使得 $I_{21}$ 被控制为 $C \|u\|_{L^6(C(R))}^2 \|u_\rho\|_{L^p(C(R))} \|\partial_\rho \psi_R\|_{L^q(C(R))}$ 。由于 $\|\partial_\rho \psi_R\|_{L^q(C(R))} \leq C R^{-1 + 3/q}$ 且 $q \geq 3$ ，该范数一致有界，从而 $I_{21}(R) \leq C \|u_\rho\|_{L^p(\mathbb{R}^3)} \|u\|_{L^6(C(R))}^2 \to 0$ 。其次，对于压力项 $I_{22}$ ，作者利用 Riesz 变换表示 $\pi = \sum_{i,j} \mathcal{R}_i \mathcal{R}_j (u_i u_j)$ 及其在 $$L^r$$ 上的有界性，得到 $\|\pi\|_{L^3} \leq C \|u\|_{L^6}^2 < \infty$ ，进而 $I_{22}(R) \leq C \|\pi\|_{L^3} \|u_\rho\|_{L^p(C(R))} \to 0$ 。这一系列估计的关键在于精确匹配了 $$u$$ 的 Sobolev 范数（ $$L^6$$ ）与 $u_\rho$ 的给定范数（ $$L^p$$ ）之间的 Hölder 指数平衡，从而绕开了对 $$u$$ 全局高阶可积性的需求。对于定理 1.2，核心工具是变指数勒贝格空间 $L^{p(\cdot)}$ 的分析框架。作者引入引理 2.4（ $\|f\|_{L^{p(\cdot)}(C(R))} \to 0$ ）和引理 2.5（刻画 $R^{1-3/p_C^+(R)}$ 的渐近行为），并利用变指数 Hölder 不等式（引理 2.1）和模-范数关系（命题 2.1）来处理 $$I_1(R), I_2(R)$$ 中涉及变指数的项。特别是，引理 2.5 证明了 $$p_C^+(R) = 3 + O(1/R)$$ ，从而 $R^{1-3/p_C^+(R)} = 1 + O(\ln R / R)$ ，这保证了 $\|\Delta \psi_R\|_{L^{q(\cdot)}(C(R))}$ 的增长被 $\|u\|_{L^{p(\cdot)}(C(R))}^2$ 的衰减所压制，最终完成极限论证。

4. 与之前工作的比较

本文与既有工作的推进主要体现在三个维度。第一，假设的几何特异性。此前所有结果（[6, 2, 9, 11]）均为各向同性，依赖于 $$|u|$$ 或 $$u_i$$ 的全局范数。Chae [1] 和 Zhang–Zu [12] 的工作虽为各向异性，但其条件（如 $u_i \in L^{3/2}_{x_i} \cap L^6_{x_i} L^6_{\tilde{x}_i}$ ）仍需对每个笛卡尔分量 $$u_i$$ 施加约束，并涉及混合范数。本文则实现了质的飞跃：唯一假设仅施加于一个几何分量 $u_\rho$ ，且不涉及任何其他分量或模长。这揭示了系统的刚性可由最粗略的方向信息（径向投影）所激发，而非精细的分量分解。第二，可积性阈值的实质性降低。Galdi 的 $L^{9/2}$ 条件源于对 $$|u|^3$$ 的 Hölder 估计 $\| |u|^3 \|_{L^1} \leq \|u\|_{L^{9/2}}^3$ ，其平衡方程为 $\frac{1}{1} = \frac{3}{p}$ ，解得 $$p=3$$ ，再经 Sobolev 嵌入 $\dot{H}^1 \hookrightarrow L^6$ 插入中间步骤，最终得到 $$p=9/2$$ 。本文的平衡方程为 $\frac{1}{1} = \frac{2}{6} + \frac{1}{p}$ （对应 $|u|^2 u_\rho$ ），直接解得 $$p=3$$ ，且该 $$p=3$$ 是可实现的（定理 1.1）。这比 $$9/2=4.5$$ 显著更低，且 $$p=3$$ 是 $\dot{H}^1$ 与 $$L^p$$ 相容性的自然边界。第三，可积性条件的空间分布灵活性。定理 1.2 将全局 $$L^3$$ 条件松弛为一种空间自适应的变指数条件。与 [3] 中利用变指数突破 $$9/2$$ 阈值的工作不同，本文的变指数 $$p(x)$$ 并非为克服某个固定阈值而设计，而是为了刻画一种物理上更自然的衰减场景：在有限区域内可要求较强的可积性（ $$L^6$$ ），而在无穷远处，只要径向分量的可积性以 $$O(1/|x|)$$ 的速率趋近于临界值 $$3$$ 即可。这种“局部强、渐近弱”的结构，是此前所有全局 $$L^p$$ 假设（无论 $$p$$ 多小）所不具备的。其代价在于技术复杂性：必须建立并熟练运用变指数空间的全套工具（如引理 2.4, 2.5），且证明中对指数 $$p(x)$$ 的连续性、径向单调性及衰减率 $$O(1/|x|)$$ 的假设是必要的，从提供内容中无法确认这些假设是否可被进一步削弱。

5. 与线性控制系统相关的非强制性Hamilton-Jacobi方程的Hölder连续性

Hölder continuity for non-coercive Hamilton-Jacobi equations associated to linear control systems

作者: Megan Griffin-Pickering, Alpár R. Mészáros

类别: math.AP

发布日期: 2026-05-06

arXiv ID: 2605.05490v1

摘要翻译: 本文建立了与满足Kalman秩条件的线性控制系统相关的一阶Hamilton-Jacobi方程的粘性解的Hölder连续性估计。我们的模型Hamilton量在广义动量变量中是非凸的，且——更为重要的是——在某些方向上缺乏强制性（coercivity）。因此，文献中所有先前已知的结果均无法适用于这类退化情形。为克服这些障碍，我们设计了一种由线性控制系统所决定的几何论证方法。由此所得的Hölder估计在此几何框架下以各向异性方式被定量刻画。该估计适用于无界源项；其中一部分分析受到近期关于 hypoelliptic 算子的 De Giorgi 型方法结果的启发。

Comment: 40 pages, 5 figures

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

分析审计

provider: qwen
model: qwen-plus
thinking_applied: False
fallback_used: False
reasoning_content_present: False
structured_output_validated: True
structured_output_fallback: False
cleanup_applied: False
cleanup_structured_validated: False
estimated_prompt_tokens: 15903
pdf_text_pages: 10
pdf_text_length: 30495

1. 研究对象和背景

本文研究一类源自最优控制问题、具有退化结构的一阶哈密顿-雅可比（Hamilton–Jacobi, HJ）方程的粘性解的局部正则性。核心模型方程为

\partial_t u(t,x) + \langle A x, \nabla_x u(t,x) \rangle + H(t,x,\nabla_x u(t,x)) = f(t,x), \quad (t,x) \in \mathcal{U} \subset \mathbb{R} \times \mathbb{R}^N,

其中 $A \in \mathbb{R}^{N\times N}$ 是常数漂移矩阵， $H: \mathcal{U} \times \mathbb{R}^N \to \mathbb{R}$ 是哈密顿量， $$ f $$ 是源项。该方程并非抽象构造，而是由线性时不变（LTI）控制系统

\dot{\eta}_t = A \eta_t + P_0 \beta_t, \quad (\eta_t, \beta_t) \in \mathbb{R}^N \times \mathbb{R}^N

所导出的哈密顿-雅可比-贝尔曼（HJB）方程的推广形式。此处 $$ P_0 $$ 是一个秩为 $\operatorname{rank}(P_0) = n_0 < N$ 的正交投影矩阵，其像空间 $\operatorname{Im}(P_0)$ 刻画了控制器在状态空间中可施加影响的方向。由此导出的哈密顿量具有显式表达式

\mathcal{H}(t,x,p) := -\langle A x, p \rangle + \sup_{\beta \in \mathbb{R}^N} \left\{ -\langle P_0 \beta, p \rangle - L(t,x,\beta) \right\},

其中 $$ L $$ 是拉格朗日量。关键在于，由于 $$ P_0 $$ 非满秩，对任意 $p \in (\operatorname{Im}(P_0))^\perp$ ，有 $\langle P_0 \beta, p \rangle \equiv 0$ ，故 $\mathcal{H}(t,x,p) = -\langle A x, p \rangle - \inf_\beta L(t,x,\beta)$ ，从而 $\lim_{|p| \to +\infty} \mathcal{H}(t,x,p) = +\infty$ 不成立——即 $\mathcal{H}$ 在 $(\operatorname{Im}(P_0))^\perp$ 方向上完全不满足强制性（coercivity）。这与经典文献中要求的全局强制性（如 $H(t,x,p) \geq \lambda |p|^q - C$ ）形成根本性差异。本文所处理的哈密顿量仅满足退化的超线性强制性：存在 $$ q > 1 $$ 及常数 $0 < \lambda \leq \Lambda < +\infty$ ，使得

\frac{\lambda^q}{q} |P_0 \xi|^q \leq H(t,x,\xi) \leq \frac{\Lambda^q}{q} |P_0 \xi|^q, \quad \forall (t,x,\xi) \in \mathcal{U} \times \mathbb{R}^N.

这一假设表明，强制性仅在受控子空间 $\operatorname{Im}(P_0)$ 上有效，而在其正交补上完全失效。问题的重要性源于其在几何控制论、平均场博弈和动力学系统建模中的广泛应用：例如，车辆运动学模型（如单轮车）、分子动力学中的约束系统、以及带奇点的流体力学模型，均自然产生此类退化哈密顿量。然而，现有理论对此类方程的精细正则性知之甚少。Cranda–Evans–Lions 理论保证了粘性解的存在唯一性，但其经典正则性结果（如半凹性、Lipschitz 连续性）严重依赖于哈密顿量关于动量变量 $$ p $$ 的凸性与全局强制性。近期工作（如 [24]）虽将 Hölder 正则性推广至非凸情形，但仍以全局强制性 $H(t,x,p) \geq \lambda |p|^q - C$ 为基石，其正则化机制本质上是“所有方向上的强耗散”。而本文所面对的是一类更本质的退化情形：强制性缺失的方向是结构性的、由控制系统的能控性决定的。因此，本文试图填补的关键空白是：在缺乏全局强制性、甚至缺乏凸性的前提下，能否建立量化、局部一致的 Hölder 连续性估计？答案取决于能否挖掘并利用控制系统内在的几何结构——即 Kalman 能控性条件

\mathbb{R}^N = \operatorname{Im}(A^K P_0) + \operatorname{Im}(A^{K-1} P_0) + \cdots + \operatorname{Im}(P_0),

该条件保证了状态空间可通过有限次李括号运算被受控方向“生成”，从而诱导出一个分层的正交分解 $\mathbb{R}^N = \bigoplus_{j=0}^\kappa E_j$ ，其中 $\kappa$ 是最小的满足该条件的整数，子空间 $$ E_j $$ 的维度记为 $$ n_j $$ 。这一分解揭示了信息沿不同方向传播的速率差异：从 $E_0 = \operatorname{Im}(P_0)$ 出发，经漂移 $$ A $$ 作用，信息依次“注入”到 $E_1, E_2, \dots, E_\kappa$ 中。因此，标准欧氏距离不再适合作为正则性度量的尺度，必须代之以一种与该分层结构相容的各向异性度量。

2. 主要定理或主要结果

在假设 $$ H $$ 满足退化强制性 (1.3)、源项 $f^+ \in L^p_{\mathrm{loc}}(\mathcal{U})$ 且 $p > N/q + 1 + \sum_{j=1}^\kappa j n_j$ 、矩阵 $$ A $$ 与 $$ P_0 $$ 满足 Kalman 秩条件 (1.4) 的前提下，本文证明了粘性解 $u \in C_b(\mathcal{U})$ 的局部 Hölder 连续性。具体而言，定理 1.5 断言：存在指数 $\alpha \in (0,1)$ ，使得对任意紧集 $K \Subset \mathcal{U}$ ，存在常数 $$ C > 0 $$ ，对所有 $(s,y), (t,x) \in K$ 且 $s \leq t$ ，有

|u(s,y) - u(t,x)| \leq C \, \omega_\alpha\left(t-s,\, y - e^{-(t-s)A}x\right),

其中各向异性模 $\omega_\alpha$ 定义为

\omega_\alpha(t,x) := |t|^\alpha + \sum_{j=0}^\kappa |P_j x|^{\frac{\alpha}{\alpha/q' + 1/q + j}},

这里 $$ q' = q/(q-1) $$ 是 $$ q $$ 的共轭指数， $$ P_j $$ 是到子空间 $$ E_j $$ 上的正交投影。该估计的指数 $\alpha$ 依赖于 $\|u\|_{L^\infty(\mathcal{U})}$ 、 $\lambda$ 、 $\Lambda$ 、 $$ A $$ 和 $$ q $$ ；常数 $$ C $$ 还依赖于一个紧含于 $\mathcal{U}$ 的开集 $V \Supset K$ 、 $\sup_V c_0$ 以及 $\|f^+\|_{L^p(V)}$ 。推论 1.8 将此结论直接应用于原方程 $\partial_t u + \langle A x, \nabla_x u \rangle + H(t,x,\nabla_x u) = f$ 的粘性解。值得注意的是，该 Hölder 模中时间项 $|t|^\alpha$ 与空间项 $|P_j x|^{\alpha/(\alpha/q' + 1/q + j)}$ 的幂次不同，反映了不同子空间 $$ E_j $$ 上的“扩散速度”差异： $$ j $$ 越大，对应的子空间越“高阶”，其尺度因子的幂次分母越大，意味着在该方向上需要更大的空间距离才能达到相同的时间尺度效应。此外，空间差被修正为 $y - e^{-(t-s)A}x$ ，而非简单的 $$ y-x $$ ，这精确捕捉了由漂移 $$ A $$ 产生的自由流形结构。若进一步要求 $f \in L^\infty_{\mathrm{loc}}$ ，则 $p = \infty$ ，此时条件 $p > N/q + 1 + \sum j n_j$ 自动满足，且 $\alpha$ 可取为任意小于 $$ 1 $$ 的正数，对应更强的正则性。

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

证明的核心障碍在于：标准的 De Giorgi-Nash-Moser 或 Ishii-Lions 方法均严重依赖于哈密顿量的全局强制性或凸性，以构造有效的屏障函数或进行能量估计。而在本文设定下，这些工具完全失效。作者的真正创新点在于彻底放弃对欧氏几何的依赖，转而构建一个由控制系统内在结构完全主导的、全新的分析框架。该框架包含三个相互嵌套、缺一不可的关键技术组件。

第一，各向异性缩放变换（Anisotropic Scaling Transformations）。这是整个分析的基石。作者定义了一族缩放算子 $S(r) = \sum_{i=0}^\kappa r^i P_i$ ，它对每个子空间 $$ E_i $$ 施加不同的缩放因子 $$ r^i $$ 。进而定义时空缩放 $\widetilde{D}_r^{(\gamma)}(t,x) = (rt, r^\gamma S(r)x)$ ，其中关键参数 $\gamma = 1/q + \alpha/q'$ 是精心选择的，以确保在缩放后，方程的非线性项 $|P_0 \nabla u|^q$ 与时间导数项 $\partial_t u$ 在小尺度下保持同阶，而零阶项（如 $$ c_0 $$ ）则被压低。引理 2.3 严格证明了：经过此缩放，原方程被映射为一个新方程，其漂移项变为 $\langle A_r x, \nabla u_r \rangle$ ，其中 $A_r = r S(r^{-1}) A S(r)$ 。最关键的是，当 $r \to 0$ 时， $A_r \to A_0$ ，即主部算子（principal part），这是一个由 Kalman 条件诱导出的、具有明确块状结构的幂零矩阵（见定义 2.1 和 (2.2)）。这意味着，在无穷小尺度上，复杂的漂移 $$ A $$ 被其最简化的、分层传播的“骨架” $$ A_0 $$ 所取代，从而为后续分析提供了稳定的几何基础。

第二，各向异性柱体（Anisotropic Cylinders）的构造与性质。基于缩放算子，作者定义了柱体 $Q^{\gamma}_{r,h} = \{ (t,x) : t \in [-r,0],\, e^{-t A_h} x \in \Omega^\gamma_r \}$ ，其中 $\Omega^\gamma_r = \{ x : |S(r)^{-1} x| < r^\gamma \}$ 。这个定义巧妙地融合了两个关键要素：一是用 $S(r)^{-1}$ 对空间进行各向异性“拉伸”，使其与子空间 $$ E_j $$ 的尺度匹配；二是用 $e^{-t A_h}$ 的流来“弯曲”柱体，使其精确地沿着控制系统所能达到的轨迹演化。引理 2.10 证明了这些柱体在缩放变换下具有完美的自相似性： $\widetilde{D}_\rho^{(\gamma)} Q^{\gamma}_{r,h} = Q^{\gamma}_{\rho r, h \rho^{-1}}$ 。这一性质是迭代论证得以进行的先决条件，它保证了在不同尺度上进行的局部分析可以无缝衔接。

第三，振荡改进（Improvement of Oscillations）的几何化实现。这是证明 Hölder 连续性的核心步骤（命题 3.3）。作者并未使用传统的比较原理与光滑试验函数，而是回归到控制论的本质：通过构造特定的受控轨迹来界定解的上下界。对于上界改进，他们构造一族位于柱体 $Q^{\gamma}_{r,h}$ 内的、由控制 $\beta$ 生成的“测试轨迹”，并利用拉格朗日量 $$ L $$ 的 $$ q' $$ -次增长性（由 $$ H $$ 的 $$ q $$ -次强制性推出）来控制其成本。当 $f \in L^p$ 时，为了将 $$ L^p $$ 范数转化为点态控制，作者引入了围绕这些轨迹的“圆锥形邻域”，这些邻域由控制系统的解流生成，具有正的 Lebesgue 测度，并且其雅可比行列式可被精确计算（见 (2.4)），从而允许应用积分估计。对于下界改进，则必须诉诸于真正的最优轨迹，其分析聚焦于这些轨迹何时会撞击柱体边界，以及其相应的最小控制成本。整个过程是一个高度几何化、非线性的“最优控制驱动的极值原理”，其成功完全依赖于前述缩放与柱体框架所提供的精确尺度控制。

4. 与之前工作的比较

本文与既有工作的根本性推进体现在三个维度：几何结构、强制性假设与适用范围。

首先，在几何结构层面，本文的工作与 Hörmander 型抛物方程（如 Kolmogorov 方程 $\partial_t u + \langle A x, \nabla_x u \rangle - \operatorname{div}_x(P_0 \sigma P_0 \nabla_x u) = 0$ ）形成了深刻的平行与对比。正如引言所述，两者都由 Kalman 条件驱动，并共享相同的分层分解 $\mathbb{R}^N = \bigoplus E_j$ 和主部算子 $$ A_0 $$ 。然而，正则化机制截然不同：Kolmogorov 方程的正则性源于二阶扩散项 $-\operatorname{div}_x(P_0 \sigma P_0 \nabla_x u)$ 在受控方向上的“热传导”效应，其分析工具（如 Harnack 不等式、Poincaré 不等式）也主要针对线性/拟线性算子。而本文处理的是一阶非线性 PDE，其正则性完全源于哈密顿量 $$ H $$ 的非线性强制性与漂移 $$ A $$ 的几何耦合所产生的“非线性耗散”。这是一种全新的、此前未被系统研究过的正则化范式。

其次，在强制性假设层面，本文显著弱于所有先前工作。[24] 等文献要求全局强制性 $H(t,x,p) \geq \lambda |p|^q - C$ ，这隐含了 $$ H $$ 关于 $$ p $$ 的超线性增长在所有方向上均匀成立。而本文的假设 (1.3) 仅要求 $H(t,x,p) \geq \frac{\lambda^q}{q} |P_0 p|^q$ ，这是一个在子空间 $\operatorname{Im}(P_0)$ 上的“切向强制性”（tangential coercivity）。当 $\operatorname{rank}(P_0) < N$ 时，这是一个严格的弱化，且无法通过坐标变换恢复为全局强制性。文中明确指出，“所有先前文献中的结果都无法应用于这些退化情形”，这一定论是基于数学上的不可约性：全局强制性是许多经典估计（如 $L^\infty$ 到 $C^{0,\alpha}$ 的嵌入）的硬性门槛，而本文通过构建全新的各向异性框架，成功绕过了这一门槛。

最后，在适用范围层面，本文的结果是首个为具有结构性退化强制性的 HJ 方程提供量化 Hölder 估计的工作。它直接适用于一大类由线性控制 Affine 系统 $\dot{\eta}_t = A \eta_t + \sum_{i=1}^m \beta_t^i \zeta_i(t,\eta_t)$ 导出的方程（见备注 1.2），只要控制向量场 $\zeta_i$ 满足 $\mu |P_0 \xi|^2 \leq \sum_i |\xi \cdot \zeta_i|^2 \leq M |P_0 \xi|^2$ ，即它们张成的度量在 $\operatorname{Im}(P_0)$ 上是椭圆的。这涵盖了从经典车辆模型到更复杂的非完整约束系统。相比之下，[19, 20, 22] 等工作主要处理无漂移（ $$ A = 0 $$ ）或非退化（ $$ P_0 = I $$ ）的情形，其得到的 Hölder 指数 $\alpha$ 通常是常数（如 $\alpha = 1/q'$ ），而本文的指数 $\alpha$ 则受到 Kalman 指标 $\kappa$ 和维度 $$ n_j $$ 的深刻制约，体现在条件 $p > N/q + 1 + \sum j n_j$ 中。这一条件清晰地揭示了代价：为了在更高阶子空间 $$ E_j $$ 上获得正则性，必须对源项 $$ f $$ 施加更强的可积性要求，其“惩罚”系数 $$ j n_j $$ 正是该子空间的“几何复杂度”的量化体现。从提供内容中无法确认本文结果是否可推广至时间依赖的 $$ A(t) $$ 或非线性控制系统，因为文中所有分析均建立在常数矩阵 $$ A $$ 和线性系统 (1.1) 的结构之上。

6. 变指数 Lebesgue 空间中三维定常 Navier-Stokes 方程的 Liouville 型定理

Liouville-type theorems for the 3D stationary Navier-Stokes equations in variable Lebesgue spaces

作者: Hongling Jiang, Jianfeng Sun, Jihong Zhao

类别: math.AP

发布日期: 2026-05-07

arXiv ID: 2605.05555v1

摘要翻译: 在 \cite{CV23} 中，Chamorro 与 Vergara-Hermosilla 在变指数 Lebesgue 空间框架下建立了若干关于 Navier-Stokes 方程的 Liouville 型定理。这些结果允许变指数 $p(\cdot)$ 在 $\mathbb{R}^3$ 中某些非可忽略区域上超出区间 $[3,\frac{9}{2}]$ 。本文中，我们找到了两个新的非可忽略区域，在这些区域上，只要对 $p(\cdot)$ 施加某些假设，Liouville 型定理依然成立。我们的结果可视为 \cite{CV23} 中结果的临界情形。

Comment: 8 pages

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

分析审计

provider: qwen
model: qwen-plus
thinking_applied: False
fallback_used: False
reasoning_content_present: False
structured_output_validated: True
structured_output_fallback: False
cleanup_applied: False
cleanup_structured_validated: False
estimated_prompt_tokens: 9072
pdf_text_pages: 8
pdf_text_length: 17279

1. 研究对象和背景

本文研究三维欧氏空间 $\mathbb{R}^3$ 中不可压定常Navier-Stokes方程的刘维尔型问题，即在何种可积性条件下，弱解 $u:\mathbb{R}^3\to\mathbb{R}^3$ 必恒为零。该方程组为

\begin{cases} -\Delta u + (u \cdot \nabla) u + \nabla \pi = 0, \\ \nabla \cdot u = 0, \end{cases} \tag{1.1}

其中 $$u$$ 是速度场， $\pi$ 是压力标量。经典理论表明：若 $u \in \dot{H}^1(\mathbb{R}^3)$ （即 $\int_{\mathbb{R}^3} |\nabla u|^2 \, dx < \infty$ ）且 $\lim_{|x|\to\infty} |u(x)| = 0$ ，则 $u \equiv 0$ 是否成立仍为未解难题——此即所谓刘维尔问题。已有结果均依赖于 $$u$$ 在标准Lebesgue空间 $L^p(\mathbb{R}^3)$ 中的可积性控制。Galdi（1994）证明：若 $u \in L^{9/2}(\mathbb{R}^3)$ ，则 $$u=0$$ ；Chae与Wolf（2016）将该条件改进为 $\int_{\mathbb{R}^3} |u|^{9/2} \{\ln(2+|u|^{-1})\}^{-1} \, dx < \infty$ ；Seregin（2016）指出 $u \in L^6(\mathbb{R}^3) \cap \mathrm{BMO}^{-1}$ 即可；Kozono等（2017）则以涡量 $\omega = \nabla \times u$ 的衰减率 $|x|^{5/3} |\omega(x)| \to 0$ 或 $\|u\|_{L^{9/2,\infty}}$ 小性为判据。Chamorro、Jarrín与Lemarié-Rieusset（2021）统一了前述结果，证明：对任意 $p \in [3, 9/2]$ ，若 $u \in L^p(\mathbb{R}^3)$ ，则 $$u=0$$ 。这些结论本质上受限于经典Sobolev嵌入 $\dot{H}^1(\mathbb{R}^3) \hookrightarrow L^6(\mathbb{R}^3)$ 与插值结构所隐含的临界尺度 $$p=9/2$$ （源于能量估计中 $\|u\|_{L^3}$ 控制非线性项 $(u\cdot\nabla)u$ 所需的Gagliardo-Nirenberg不等式 $\|u\|_{L^3} \lesssim \|u\|_{\dot{H}^1}^{1/2} \|u\|_{L^{9/2}}^{1/2}$ ）。然而，标准 $$L^p$$ 空间要求全局指数一致，无法刻画解在不同区域可能具有的异质衰减行为（例如沿 $$x_1$$ 轴缓慢衰减而在横向快速集中）。为突破该限制，Chamorro与Vergara-Hermosilla（2025）首次将刘维尔问题置于变指数Lebesgue空间 $L^{p(\cdot)}(\mathbb{R}^3)$ 框架下，其中范数定义为

\|f\|_{L^{p(\cdot)}} := \inf \left\{ \lambda > 0 : \int_{\mathbb{R}^3} \left| \frac{f(x)}{\lambda} \right|^{p(x)} dx \leq 1 \right\},

并构造了两个非平凡区域 $D = \{ x_2^2 + x_3^2 \leq x_1^\gamma,\, x_1>0,\, 0<\gamma<2 \}$ 与 $E = \{ x_2^2 + x_3^2 \leq x_1^{-\sigma},\, x_1>0,\, 0<\sigma<1 \}$ ，证明：若 $p(\cdot)$ 在 $\mathbb{R}^3 \setminus D$ 上取值于 $$[3,9/2]$$ ，而在 $$D$$ 上允许 $p^+_D < \frac{3\gamma+3}{\gamma}$ （当 $\gamma\to2^-$ 时上界趋近 $$9/2$$ ），则刘维尔定理仍成立；类似地，在 $$E$$ 上 $p(\cdot)$ 可取 $+\infty$ （即局部有界性）。这揭示了刘维尔性质对指数局部化的鲁棒性，但其构造依赖于幂律区域，未覆盖对数修正情形（如 $x_2^2+x_3^2 \leq x_1^\gamma (\ln x_1)^m$ 或 $x_2^2+x_3^2 \leq (\ln(1+x_1))^m/(1+x_1)$ ），而后者恰对应更精细的积分收敛性边界（例如 $\int_1^R x_1^{\gamma-1} (\ln x_1)^m dx_1$ 与 $\int_1^R (\ln(1+x_1))^m x_1^{-1} dx_1$ 的渐近行为）。本文旨在填补这一空白：系统刻画两类新的‘边缘区域’——一类是带对数因子的幂律锥 $$G$$ ，另一类是带对数因子的衰减圆柱 $$H$$ ，并严格确定其上变指数 $p(\cdot)$ 的容许范围，从而将变指数刘维尔理论推进至临界对数尺度。

2. 主要定理或主要结果

本文建立了两个严格证明的刘维尔型定理，其核心在于将变指数 $p(\cdot)$ 的容许范围拓展至经典区间 $$[3,9/2]$$ 的‘边缘’。定理1.1：设区域 $G = \{ (x_1,x_2,x_3) \in \mathbb{R}^3 : x_2^2 + x_3^2 \leq x_1^\gamma (\ln x_1)^m,\, x_1 > 0,\, m \in \mathbb{Z}_+,\, 0 < \gamma < 2 \}$ 。若变指数 $p(\cdot) \in \mathcal{P}(\mathbb{R}^3)$ 满足

3 < p^-_{\mathbb{R}^3 \setminus G} \leq p_{\mathbb{R}^3 \setminus G}(x) \leq p^+_{\mathbb{R}^3 \setminus G} < \frac{9}{2}, \quad \frac{9}{2} < p^-_G \leq p_G(x) \leq p^+_G < \frac{3\gamma + 3}{\gamma},

则对任意弱解 $(u,\pi) \in L^2_{\mathrm{loc}}(\mathbb{R}^3) \times \mathcal{D}'(\mathbb{R}^3)$ 满足 $u \in L^{p(\cdot)}(\mathbb{R}^3)$ 且 $\pi \in L^{p(\cdot)/2}(\mathbb{R}^3)$ ，必有 $u \equiv 0$ 。定理1.2：设区域 $H = \{ (x_1,x_2,x_3) \in \mathbb{R}^3 : x_2^2 + x_3^2 \leq (\ln(1+x_1))^m / (1+x_1),\, x_1 > 0,\, m \in \mathbb{Z}_+ \}$ 。若 $p(\cdot)$ 满足

3 < p^-_{\mathbb{R}^3 \setminus H} \leq p_{\mathbb{R}^3 \setminus H}(x) \leq p^+_{\mathbb{R}^3 \setminus H} < \frac{9}{2}, \quad p_H(x) \equiv +\infty,

则同样有 $u \equiv 0$ 。两定理的关键技术细节在于：证明中通过截断函数 $\phi_R(x) = \phi(x/R)$ 局部化方程，并分析三项 $I_1 = \int \Delta \phi_R |u|^2/2 \, dx$ 、 $I_2 = \int \nabla \phi_R \cdot (|u|^2 u/2) \, dx$ 、 $I_3 = \int \nabla \phi_R \cdot (\pi u) \, dx$ 在 $R \to \infty$ 时的极限。对 $$I_1$$ ，利用Hölder不等式与变指数对偶关系 $2/p(\cdot) + 1/q(\cdot) = 1$ ，导出 $|I_1| \leq C \|\Delta \phi_R\|_{L^{q(\cdot)}(C(R/2,R))} \|u\|_{L^{p(\cdot)}}^2$ ；其中 $C(R/2,R) = \{ R/2 \leq |x| \leq R \}$ 。关键估计是 $\|\Delta \phi_R\|_{L^{q(\cdot)}(C(R/2,R))} \to 0$ ，其证明分解为 $G_1 = C(R/2,R) \cap G$ 与 $G_2 = C(R/2,R) \setminus G$ 两部分：在 $$G_1$$ 上，利用 $|G_1| \lesssim R^{\gamma+1} (\ln R)^m$ 与 $q^-_G > \frac{3(\gamma+1)}{\gamma+3}$ 得 $\|\Delta \phi_R\|_{L^{q(\cdot)}(G_1)} \lesssim R^{-2 + (\gamma+1)/q^-_G} (\ln R)^{m/q^-_G} \to 0$ ；在 $$G_2$$ 上，由 $q^+_{\mathbb{R}^3 \setminus G} < 3$ 得 $\|\Delta \phi_R\|_{L^{q(\cdot)}(G_2)} \lesssim R^{-2 + 3/q^+_{\mathbb{R}^3 \setminus G}} \to 0$ 。对 $$I_2$$ ，使用 $3/p(\cdot) + 1/r(\cdot) = 1$ ，得到 $r(\cdot)$ 在 $$G$$ 上满足 $r^-_G > \gamma + 1$ ，从而 $\|\nabla \phi_R\|_{L^{r(\cdot)}(C(R/2,R))} \lesssim R^{-1 + (\gamma+1)/r^-_G} (\ln R)^{m/r^-_G} \to 0$ 。对 $$I_3$$ ，利用 $\pi \in L^{p(\cdot)/2}$ 与相同 $r(\cdot)$ 估计，得 $|I_3| \to 0$ 。最终由 $\int_{B_{R/2}} |\nabla u|^2 dx \leq \sum_{i=1}^3 |I_i| \to 0$ 推出 $u \equiv 0$ 。

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

本文的核心障碍在于：当变指数 $p(\cdot)$ 在区域 $$G$$ 或 $$H$$ 上突破经典上限 $$9/2$$ （甚至取 $+\infty$ ）时，如何保证截断项 $$I_1,I_2,I_3$$ 在 $R\to\infty$ 时仍趋于零？标准方法（如直接用 $\|\nabla\phi_R\|_{L^\infty} \lesssim R^{-1}$ 与 $\|u\|_{L^p}$ 有界性）在此失效，因 $p(\cdot)$ 非一致有界。作者的真正创新点在于：将区域几何、变指数结构与截断函数的尺度衰减三者进行精密耦合，通过分区域估计（而非全局统一处理）实现控制。具体而言，证明框架包含三个关键技术层：第一，几何-指数匹配引理：对区域 $$G$$ ，作者精确计算其在球壳 $$C(R/2,R)$$ 中的测度 $$|G_1|$$ ，得到 $|G_1| \lesssim R^{\gamma+1} (\ln R)^m$ ；进而利用变指数Luxemburg范数的基本估计（引理2.1 of [3]） $\|1\|_{L^{q(\cdot)}(G_1)} \lesssim \max\{ |G_1|^{1/q^-_G}, |G_1|^{1/q^+_G} \}$ ，将 $\|\Delta\phi_R\|_{L^{q(\cdot)}(G_1)}$ 控制为 $R^{-2} |G_1|^{1/q^-_G}$ 。此处 $$q^-_G$$ 的下界 $> 3(\gamma+1)/(\gamma+3)$ 是关键，它确保指数 $-2 + (\gamma+1)/q^-_G < 0$ ，使对数因子 $(\ln R)^{m/q^-_G}$ 不破坏收敛性。第二，对数尺度的临界处理：在定理1.2中，区域 $$H$$ 的测度 $|H_1| \lesssim (\ln R)^{m+1}$ ，此时 $$q^-_H = q^+_H = 1$$ ，故 $\|\Delta\phi_R\|_{L^{q(\cdot)}(H_1)} \lesssim R^{-2} |H_1| \lesssim R^{-2} (\ln R)^{m+1} \to 0$ 。这揭示了对数衰减比幂律衰减更‘温和’，允许 $p(\cdot)$ 在 $$H$$ 上取 $+\infty$ （即仅需 $$u$$ 在 $$H$$ 上有界），而 Chamorro-Vergara-Hermosilla 的 $$E$$ 区域要求 $\sigma < 1$ （即 $x_1^{-\sigma}$ ， $\sigma=1$ 时积分发散）。第三，非线性项的变指数Gagliardo-Nirenberg嵌入：对 $$I_2$$ ，作者并未直接估计 $\|u^3\|_{L^{p(\cdot)/3}}$ ，而是利用 $3/p(\cdot) + 1/r(\cdot) = 1$ 将 $\|u^3 \nabla\phi_R\|_{L^1}$ 拆解为 $\|\nabla\phi_R\|_{L^{r(\cdot)}} \|u\|_{L^{p(\cdot)}}^3$ ，并将 $r(\cdot)$ 在 $$G$$ 上的下界 $r^-_G > \gamma + 1$ 与几何测度 $$|G_1|$$ 结合，确保 $R^{-1} |G_1|^{1/r^-_G} \to 0$ 。此框架完全规避了对 $$u$$ 的高阶可积性假设，仅依赖于 $u \in L^{p(\cdot)}$ 与 $\pi \in L^{p(\cdot)/2}$ 的原始假设，体现了变指数空间在捕捉解的局部奇异性方面的本质优势。

4. 与之前工作的比较

本文与Chamorro-Vergara-Hermosilla（2025）[3]的工作构成严格的边际拓展关系，主要差异体现在区域几何、指数容许范围与技术代价三方面。首先，在区域几何上：[3]考虑的 $D = \{x_2^2 + x_3^2 \leq x_1^\gamma\}$ 和 $E = \{x_2^2 + x_3^2 \leq x_1^{-\sigma}\}$ 均为纯幂律区域；而本文的 $G = \{x_2^2 + x_3^2 \leq x_1^\gamma (\ln x_1)^m\}$ 是 $$D$$ 的对数加权推广， $H = \{x_2^2 + x_3^2 \leq (\ln(1+x_1))^m / (1+x_1)\}$ 是 $$E$$ 在 $\sigma=1$ 时的对数正则化版本。从测度角度看， $|D \cap C(R/2,R)| \sim R^{\gamma+1}$ ，而 $|G \cap C(R/2,R)| \sim R^{\gamma+1} (\ln R)^m$ ，多出的对数因子虽不影响主导幂次，却严格改变了积分收敛的临界阈值（例如 $\int_1^\infty x^{\alpha} (\ln x)^m dx$ 收敛当且仅当 $\alpha < -1$ ，与 $$m$$ 无关）。其次，在指数容许范围上：对区域 $$G$$ ，[3]要求 $p^+_D < \frac{3\gamma+3}{\gamma}$ ，本文完全继承此上界，但将适用区域从 $$D$$ 拓展至更大的 $$G$$ ，这意味着在相同的 $p(\cdot)$ 下，本文的解空间 $L^{p(\cdot)}(\mathbb{R}^3)$ 更大（因 $G \supset D$ ， $p(\cdot)$ 在 $G\setminus D$ 上可取更大值而不违反条件）。对区域 $$H$$ ，[3]的 $$E$$ 要求 $\sigma < 1$ ，对应 $p_E(x) \equiv +\infty$ ，但 $$E$$ 本身测度有限（ $|E| < \infty$ ）；而本文的 $$H$$ 测度无限（ $|H| = \infty$ ），却仍允许 $p_H \equiv +\infty$ ，这是实质性推进——它表明刘维尔性质可容忍在无限测度集上仅需有界性，前提是该集合的‘厚度’被对数因子充分压制。第三，在技术代价与局限上：本文的证明高度依赖于区域 $$G$$ 和 $$H$$ 的柱坐标对称性（仅沿 $$x_1$$ 轴变化），无法推广至各向异性更强的区域（如 $x_2^2 \leq x_1^\gamma (\ln x_1)^m, x_3^2 \leq x_1^\delta$ ）；此外，所有结果均要求 $p(\cdot)$ 在 $\mathbb{R}^3 \setminus G$ （或 $\mathbb{R}^3 \setminus H$ ）上严格位于 $$(3,9/2)$$ 内，未触及端点 $$p^-=3$$ 或 $$p^+=9/2$$ ，而[3]已部分讨论端点情形。与更早工作相比：相较于Galdi（ $L^{9/2}$ ）、Chae-Wolf（对数加权 $L^{9/2}$ ）等，本文将可积性框架从固定指数提升至变指数，从而将刘维尔判据从全局均匀条件解放为局部适应性条件；但代价是丧失了经典空间中的尺度不变性—— $L^{p(\cdot)}$ 无自然伸缩群，故本文结果不具备平移与伸缩不变性，这是变指数分析固有的局限。综上，本文并非简单重复[3]的技术，而是通过引入对数尺度，将变指数刘维尔理论推向了其几何与分析的临界边界。

7. 交换子估计及其在输运型方程中的应用

Commutator estimates and their applications to the transport-type equations

作者: Qianyuan Zhang, Kai Yan

类别: math.AP

发布日期: 2026-05-07

arXiv ID: 2605.05654v1

摘要翻译: 本文利用Bony的仿积分解、Nikol’skij表示以及Fefferman-Stein向量值极大函数，在Triebel-Lizorkin空间中导出新的交换子估计。这些估计随后被用于建立输运方程的一般理论。尽管在Besov空间框架下已有类似结果，但其中所发展的方法无法直接迁移到Triebel-Lizorkin情形。我们的方法适用于Triebel-Lizorkin空间，并且作为副产品，亦可推出Besov空间中相应的结果。所有证明均以统一方式给出，该方式同时适用于这两类函数空间尺度，从而推广并加强了此前关于此类框架下输运方程的已有结果。此外，我们所得的一般理论广泛适用于各类演化方程，包括不可压与可压理想流体流动、浅水波及相关模型。作为示例，我们考虑两分量Euler-Poincaré系统。借助本文所发展的理论框架，我们在次临界与临界Triebel-Lizorkin空间 $F^{s}_{p,q}$ 中建立了该系统的局部适定性及一个爆破判据。

Comment: 36 pages

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

分析审计

provider: qwen
model: qwen-plus
thinking_applied: False
fallback_used: False
reasoning_content_present: False
structured_output_validated: True
structured_output_fallback: False
cleanup_applied: False
cleanup_structured_validated: False
estimated_prompt_tokens: 12432
pdf_text_pages: 10
pdf_text_length: 30535

1. 研究对象和背景

本文研究的核心对象是输运型偏微分方程 $\partial_t f + v \cdot \nabla f = g$ （记为(T)）的适定性理论，其关键分析工具是向量场 $$v$$ 与微分算子 $\Delta_j \nabla$ 构成的交换子 $[v, \Delta_j] \cdot \nabla f \coloneqq \Delta_j( v \cdot \nabla f ) - v \cdot \nabla \Delta_j f$ 在 Triebel–Lizorkin 空间 $F^s_{p,q}(\mathbb{R}^d)$ 中的定量控制。该交换子本质上刻画了非线性对流项 $v \cdot \nabla f$ 中频率局部化操作 $\Delta_j$ 与空间导数 $\nabla$ 的不可交换性，是建立先验估计、能量不等式及解的连续依赖性的核心障碍。具体而言，在对 $$f$$ 应用 Littlewood–Paley 分解后，标准能量方法要求控制形如 $\|2^{js} [v, \Delta_j] \cdot \nabla f\|_{l^q(L^p)}$ 的范数，而该表达式无法通过简单乘积法则分离；其大小直接决定了 $$f$$ 在 $F^s_{p,q}$ 中的演化速率和正则性保持能力。问题的重要性在于：(1) 输运方程是流体力学中几乎所有模型（如 Euler、Navier–Stokes、Euler–Poincaré、Camassa–Holm）的底层结构单元，其线性理论构成非线性耦合系统适定性分析的基石；(2) Triebel–Lizorkin 空间 $F^s_{p,q}$ 提供了比 Besov 空间 $B^s_{p,q}$ 更精细的函数空间框架——例如 Sobolev 空间 $W^{s,p} = F^s_{p,2}$ 、Hardy 空间 $H^p = \dot{F}^0_{p,2}$ 、BMO $= \dot{F}^0_{\infty,2}$ 均为其特例，因此在其上建立统一理论具有根本意义。然而，现有文献在该空间上的交换子估计存在明显空白：Danchin (2005) 在 $B^s_{p,q}$ 上建立了经典估计 $\|2^{js}[v, \Delta_j] \cdot \nabla f\|_{l^q(L^p)} \lesssim \|\nabla v\|_{B^{s-1}_{p,q}} \|f\|_{B^s_{p,q}}$ （当 $$s > 1 + d/p$$ ），但其证明严重依赖于 Besov 范数的结构特性——即 $$L^p$$ 范数先于 $$l^q$$ 范数取值，从而可对每个频段 $\Delta_j f$ 单独应用 Bernstein 不等式并求和。而 Triebel–Lizorkin 范数 $\|f\|_{F^s_{p,q}} = \| \|2^{js} |\Delta_j f|\|_{l^q} \|_{L^p}$ 是 $$l^q$$ 与 $$L^p$$ 的不可分解混合范数，无法进行逐频段处理，必须整体控制向量值序列 $\{2^{js} \Delta_j f\}_j$ 。这导致传统 Besov 方法完全失效。此前虽有 [11, 31, 50] 尝试在齐次空间 $\dot{F}^s_{p,q}$ 中建立交换子估计，但均要求强正则性假设 $$s > 0$$ （或 $$s > -1$$ 且 $\mathrm{div}\, v = 0$ ），且未覆盖临界尺度 $$s = 1 + d/p$$ 及亚临界区域 $$s < 1 + d/p$$ ，更未给出适用于非齐次空间 $F^s_{p,q}$ 的完整结果。本文试图填补的空白正是：在最广泛的参数范围内（包括 $s > -d \min(1/p, 1/p')$ 的低正则性情形、 $$s < 1 + d/p$$ 的亚临界情形、以及 $$s = 1 + d/p$$ 的临界情形），为交换子 $[v, \Delta_j] \cdot \nabla f$ 在非齐次 Triebel–Lizorkin 空间中建立 sharp、统一、可直接用于输运方程先验估计的范数控制，并由此构建一套同时适用于 $F^s_{p,q}$ 和 $B^s_{p,q}$ 的通用输运理论。

2. 主要定理或主要结果

本文在严格数学框架下证明了以下核心结果：

定理1.1（交换子估计）：设 $d \in \mathbb{N}_+$ ， $1 \leq p, q \leq \infty$ ，其中 Triebel–Lizorkin 情形要求 $p < \infty$ 或 $p = q = \infty$ ，且 $$1/p + 1/p' = 1$$ 。若

s > -d \min\left(\frac{1}{p}, \frac{1}{p'}\right) \quad \text{或} \quad s > -1 - d \min\left(\frac{1}{p}, \frac{1}{p'}\right) \text{ 且 } \mathrm{div}\, v = 0,

则存在仅依赖于 $$d, p, q, s$$ 的常数 $$C$$ ，使得如下估计成立：

(i) 当 $$s < 1 + d/p$$ 时，

\left\| \left\| 2^{js} ([v, \Delta_j] \cdot \nabla f) \right\|_{l^q} \right\|_{L^p(\mathbb{R}^d)} \leq C \|\nabla v\|_{F^{d/p}_{p,\infty}(\mathbb{R}^d) \cap L^\infty(\mathbb{R}^d)} \|f\|_{F^s_{p,q}(\mathbb{R}^d)} \quad \text{(1.2)}

\left\| \left\| 2^{js} ([v, \Delta_j] \cdot \nabla f) \right\|_{L^p(\mathbb{R}^d)} \right\|_{l^q} \leq C \|\nabla v\|_{B^{d/p}_{p,\infty}(\mathbb{R}^d) \cap L^\infty(\mathbb{R}^d)} \|f\|_{B^s_{p,q}(\mathbb{R}^d)} \quad \text{(1.3)}

(ii) 当 $$s > 1 + d/p$$ ，或 $$s = 1 + d/p$$ 且 $$p = 1$$ （对应 $F^{s-1}_{p,q}$ ）或 $$q = 1$$ （对应 $B^{s-1}_{p,q}$ ）时，

\left\| \left\| 2^{js} ([v, \Delta_j] \cdot \nabla f) \right\|_{l^q} \right\|_{L^p(\mathbb{R}^d)} \leq C \|\nabla v\|_{F^{s-1}_{p,q}(\mathbb{R}^d)} \|f\|_{F^s_{p,q}(\mathbb{R}^d)} \quad \text{(1.4)}

\left\| \left\| 2^{js} ([v, \Delta_j] \cdot \nabla f) \right\|_{L^p(\mathbb{R}^d)} \right\|_{l^q} \leq C \|\nabla v\|_{B^{s-1}_{p,q}(\mathbb{R}^d)} \|f\|_{B^s_{p,q}(\mathbb{R}^d)} \quad \text{(1.5)}

(iii) 当 $$s > 0$$ （或 $$s > -1$$ 且 $\mathrm{div}\, v = 0$ ）时，

\left\| \left\| 2^{js} ([v, \Delta_j] \cdot \nabla f) \right\|_{l^q} \right\|_{L^p} \leq C \left( \|\nabla v\|_{L^\infty} \|f\|_{F^s_{p,q}} + \|\nabla f\|_{L^\infty} \|\nabla v\|_{F^{s-1}_{p,q}} \right) \quad \text{(1.6)}

\left\| \left\| 2^{js} ([v, \Delta_j] \cdot \nabla f) \right\|_{l^q} \right\|_{L^p} \leq C \left( \|\nabla v\|_{L^\infty} \|f\|_{F^s_{p,q}} + \|f\|_{L^\infty} \|\nabla v\|_{F^s_{p,q}} \right) \quad \text{(1.7)}

且当 $$f = v$$ 时，

\left\| \left\| 2^{js} ([v, \Delta_j] \cdot \nabla f) \right\|_{l^q} \right\|_{L^p} \leq C \|\nabla v\|_{L^\infty} \|f\|_{F^s_{p,q}} \quad \text{(1.10)}.

定理1.2（输运方程先验估计）：在相同参数假设下，若 $$v$$ 满足 $\nabla v \in L^1(0,T; X^{s-1}_{p,q})$ （当 $$s > 1 + d/p$$ ）或 $\nabla v \in L^1(0,T; X^{d/p}_{p,\infty} \cap L^\infty)$ （当 $$s < 1 + d/p$$ ），则对任意解 $f \in L^\infty(0,T; X^s_{p,q})$ ，有

\|f(t)\|_{X^s_{p,q}} \leq e^{C \int_0^t Z(\tau) d\tau} \left( \|f_0\|_{X^s_{p,q}} + \int_0^t e^{-C \int_0^\tau Z(\tau') d\tau'} \|g(\tau)\|_{X^s_{p,q}} d\tau \right),

其中 $Z(t) = \|\nabla v\|_{X^{d/p}_{p,\infty} \cap L^\infty}$ （若 $$s < 1 + d/p$$ ）或 $Z(t) = \|\nabla v\|_{X^{s-1}_{p,q}}$ （若 $$s > 1 + d/p$$ ）。

定理1.4（两分量Euler–Poincaré系统的局部适定性）：设 $d \in \mathbb{N}_+$ ， $(p,q) \in [1,\infty) \times [1,\infty]$ 或 $p=q=\infty$ ， $s > \max(1 + d/p, 3/2)$ （或 $$s = 1 + d$$ 且 $p=1, d \geq 2$ ），若初值 $(u_0, \gamma_0) \in F^s_{p,q} \times F^{s-1}_{p,q}$ ，则存在 $$T > 0$$ ，使得系统 (1.20) 在空间 $E^s_{p,q}(T) \times E^{s-1}_{p,q}(T)$ 中存在唯一解，且解关于初值连续依赖。

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

本文证明的核心障碍在于 Triebel–Lizorkin 范数 $\|f\|_{F^s_{p,q}} = \| \|2^{js} |\Delta_j f|\|_{l^q} \|_{L^p}$ 的内在非交换性：它不允许像 Besov 空间那样将估计分解为对每个 $\Delta_j f$ 的独立控制再求和，而必须一次性处理整个向量值序列 $\{2^{js} \Delta_j f\}_j$ 。这一结构性障碍使得经典的 Bernstein 不等式和逐项积分技巧完全失效。作者的真正创新点在于构建了一个全新的、统一的分析框架，其核心工具链由三部分精密耦合而成：

第一，Bony 的仿积分解的精细化重构。作者并未直接使用标准的 $$uv = T_u v + T_v u + R(u,v)$$ ，而是针对交换子 $[v, \Delta_j] \cdot \nabla f$ 的特定结构，对 $$v$$ 进行低频-高频分裂 $v = S_1 v + \tilde{v}$ ，并将余项 $\Delta_j R(\tilde{v}, \partial_i f)$ 进一步拆解为 $\Delta_j \partial_i R(\tilde{v}, f)$ 和 $\Delta_j R(\mathrm{div}\, \tilde{v}, f)$ 两个部分。这种分裂的关键在于，它确保了所有出现的导数都作用于 $$v$$ 的低频部分或其散度，从而将估计的正则性负担全部归于 $\nabla v$ ，而非 $\nabla f$ 。

第二，Nikol’skij 表示的创造性运用。这是全文最关键的分析工具（引理2.5和2.6）。Nikol’skij 表示指出，对于函数 $$g$$ ，其 $$L^p$$ 范数可通过其在平移网格上的平均值来控制： $\|g\|_{L^p} \approx \| \{ 2^{jd/p} \|g\|_{L^1(B(x_k, 2^{-j}))} \}_k \|_{l^p}$ 。作者将此表示应用于上述拆解后的每一项，特别是 $\Delta_j \partial_i R(\tilde{v}, f)$ 和 $\Delta_j R(\mathrm{div}\, \tilde{v}, f)$ 。这使得他们能够将对 $$f$$ 的正则性要求从传统的 $$s > 0$$ 大幅降低至 $s > -d \min(1/p, 1/p')$ ，因为 Nikol’skij 表示天然地处理了 $$f$$ 的低正则性（通过 $$L^1$$ 平均）和 $\tilde{v}$ 的高频振荡（通过 $2^{jd/p}$ 尺度因子）之间的平衡。

第三，Fefferman–Stein 向量值极大函数不等式的不可替代性。引理2.8断言： $\| \| M f_j \|_{l^q} \|_{L^p} \leq C \| \| f_j \|_{l^q} \|_{L^p}$ ，其中 $$M$$ 是 Hardy–Littlewood 极大函数。在估计 $\| \|2^{js} \Delta_j T_{\partial_i f} \tilde{v}_i\|_{l^q} \|_{L^p}$ 时，作者结合 Nikol’skij 表示与该向量值不等式，成功地将 $\|\nabla f\|_{L^\infty}$ 项从最终估计 (1.6) 中消除，从而得到了更简洁的 (1.10) 式。这与 [11, 31, 50] 中必须使用 Fefferman–Stein 不等式并引入额外 $\nabla f$ 项的做法形成鲜明对比。整个证明框架的统一性体现在：当应用于 Besov 空间时，只需将向量值极大函数不等式（引理2.8）替换为其标量版本（引理2.7），其余步骤完全一致，从而自然导出 Besov 对应的结果 (1.3)–(1.5) 和 (1.8)–(1.9)，实现了真正意义上的统一。

4. 与之前工作的比较

本文与既有工作的比较可从多个维度展开：

正则性假设的实质性放宽。前人工作 [11, 31, 50] 在齐次 Triebel–Lizorkin 空间 $\dot{F}^s_{p,q}$ 中建立交换子估计，其基本假设为 $$s > 0$$ （或 $$s > -1$$ 且 $\mathrm{div}\, v = 0$ ）。本文将这一下界推进至 $s > -d \min(1/p, 1/p')$ ，这是一个本质性的改进。例如，当 $$p = 2$$ 时， $-d \min(1/2, 1/2) = -d/2$ ，这意味着即使 $$s$$ 为负且绝对值达 $$d/2$$ ，估计依然成立。这一进步源于对 Nikol’skij 表示的深度挖掘，它允许利用 $$f$$ 的 $$L^1$$ 局部平均性质来补偿其低正则性，而前人方法缺乏这种机制。

适用范围的全面覆盖。以往的 Triebel–Lizorkin 理论 [50] 仅处理 $$s > 1 + d/p$$ 的超临界情形，其证明依赖于将 $\|f\|_{F^s_{p,q}}$ 拆分为 $\|f\|_{L^p} + \|f\|_{\dot{F}^s_{p,q}}$ ，这强制要求 $$s > 0$$ 。本文则通过直接在非齐次空间 $F^s_{p,q}$ 上工作，完整覆盖了亚临界 ( $$s < 1 + d/p$$ )、临界 ( $$s = 1 + d/p$$ ) 和超临界 ( $$s > 1 + d/p$$ ) 三大区域，并为每个区域提供了最优的、形式不同的估计（(1.2)/(1.4) vs (1.6)/(1.10)）。这使得其输运理论 (定理1.2) 能够处理从 Hölder 空间 ( $p = \infty$ ) 到 Sobolev 空间 ( $$q = 2$$ ) 的整个谱系。

技术路径的根本差异与统一性代价。Danchin [22] 在 Besov 空间中的证明依赖于“先 $$L^p$$ 后 $$l^q$$ ”的范数顺序和 Bernstein 不等式对 $$j$$ 的显式控制，这是一种“离散求和”策略。本文则采用“先 $$l^q$$ 后 $$L^p$$ ”的向量值策略，其核心是 Fefferman–Stein 不等式，这是一种“连续控制”策略。这种转变的代价是：证明过程更为抽象和复杂，且对向量值极大函数理论的依赖更强。然而，其收益是巨大的——它提供了一个单一的、可移植的框架，不仅能解决 Triebel–Lizorkin 的难题，还能以完全平行的方式重获 Besov 结果，从而消除了两类空间理论长期割裂的局面。

中文标题: 关于二次曲面上微局部平方函数的最优迹估计

摘要翻译: 我们研究微局部角平方函数

G_R f := \left(\sum_Θ|f_Θ|^2\right)^{1/2}

在 $\mathbb{R}^3$ 中半径为 $$R$$ 的频率环上关于抛物型频率分解所对应的局部迹估计。所考虑的测度为

μ_Q=χ\, H^2\lfloor S_Q,

其中 $χ\in L^\infty(S_Q)$ 是支撑于图块内的可测非负密度函数，且

S_Q=\{(u_1,u_2,Q(u_1,u_2)):u\in U\}, \qquad Q(u_1,u_2)=\frac12(λ_1u_1^2+λ_2u_2^2), \qquad λ_1λ_2 >0.

记 $ρ=R^{-1/2}$ ，我们证明

\| G_R f\|_{L^2(\mathrm dμ_Q)} \lesssim R^{1/8}\|f\|_{L^2(\mathbb R^3)}.

若密度在切点附近局部正，则因子 $R^{1/8}$ 可由一个切向波包测试函数实现，因此在此椭圆型二次模型、该抛物型尺度以及该角平方函数下，此因子不可改进。特别地，它刻画了在此类中迹估计关于 $$R$$ 不一致的失效程度。其根源在于半径为 $$ρ$$ 的管与 $$S_Q$$ 之间极端的切向相互作用：相关曲面测度为 $\simρ^{3/2}$ ，而一个 $$L^2$$ -归一化的波包具有二次尺度 $\simρ^{-2}$ 。因此最优的二次代价为 $ρ^{-1/2}$ ，从而产生范数因子 $ρ^{-1/4}=R^{1/8}$ 。

8. 具线性依赖主系数的二阶超拟线性双曲系统的Goursat问题的半整体解及其在真空Einstein方程中的应用

Semi-global solutions to the Goursat problem for second-order hyper-quasilinear hyperbolic systems with lineary dependent principal coefficients and applications to the vacuum Einstein equations

作者: Louokdom Tamto Paul Giscard, Houpa Danga Duplex Elvis, Kouakep Tchaptchie Yannick

类别: math.AP, math-ph

发布日期: 2026-05-06

arXiv ID: 2605.05381v1

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

摘要翻译

arXiv ID: 2605.06354v1

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

摘要: We prove a stability theorem for finite-dimensional analytic inverse problems. Let $U\subset\R^m$ be an open parameter set, let $$F(p)$$ be a boundary measurement operator, and let $$R(p)$$ be the finite-dimensional quantity to be recovered. If $$F$$ is real analytic and

F(p)=F(q)\quad\Longrightarrow\quad R(p)=R(q),

then $$R$$ satisfies a Hölder stability estimate on every compact subset of $$U$$ . The proof uses a Hilbert–Schmidt scalarization of the operator equation $$F(p)=F(q)$$ and the Łojasiewicz distance inequality. We also prove that, after fixing countable dense families of boundary inputs and tests, finitely many scalar matrix elements of the data give the same Hölder recovery on compact parameter sets. This finite-measurement conclusion is qualitative: the proof does not give an effective measurement list, exponent, or constant. The finite-measurement statement follows from finite determinacy of real analytic zero sets. We apply the result to local Neumann-to-Dirichlet data for piecewise constant anisotropic conductivities and to localized Dirichlet-to-Neumann data for piecewise homogeneous anisotropic elasticity.

6. 带局域白噪声的随机Allen–Cahn方程的指数混合性

Exponential mixing for the stochastic Allen–Cahn equation with localized white noise

作者: Ziyu Liu, Shengquan Xiang, Zhifei Zhang

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

发布日期: 2026-05-07

arXiv ID: 2605.06009v1

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

摘要: This paper studies the 1D stochastic Allen–Cahn equation on a bounded domain driven by localized white noise. We prove that the associated Markov process admits a unique invariant measure and is exponential mixing. The main challenge lies in the interaction between localized nature of the noise and non-trivial global dynamics of the system. To overcome this, our approach relies on two ingredients from PDE control theory: stabilization for the linearized system and global steady-state controllability for the nonlinear equation. The stabilization result is derived using the weak observability and Fenchel–Rockafellar duality, while the global controllability relies on quasi-static deformations combined with global dynamics.

7. 非局部薄膜的多尺度分析与均匀化

Multiscale analysis and homogenization of nonlocal thin films

作者: Nadia Ansini, Antonio Tribuzio

类别: math.AP

发布日期: 2026-05-07

arXiv ID: 2605.05988v1

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

摘要: In this paper, we introduce a nonlocal, variational model for thin films. We consider convolution-type functionals defined on a thin domain whose thickness is of order $$γ$$ , where the effective interactions range between points is of order $\varepsilon$ . We study the $$Γ$$ -convergence of these energies, as both parameters vanish, to a local integral functional defined on a lower-dimensional domain. In the periodic homogenization setting, the limit energy density is characterized by an asymptotic formula that depends on the interplay between $\varepsilon$ and $$γ$$ . Under suitable assumptions, this formula exhibits a separation of scales effect, namely, the limit energy can be obtained by performing two successive $$Γ$$ -limits, first letting one parameter tend to zero while keeping the other fixed.

8. 关于非齐次折扣Hamilton-Jacobi方程

On the inhomogeneous discounted Hamilton-Jacobi equations

作者: Liang Jin, Jun Yan, Kai Zhao

类别: math.AP, math.DS

发布日期: 2026-05-07

arXiv ID: 2605.05670v1

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

摘要: In this paper, we study the family of inhomogeneous discounted Hamilton-Jacobi equations \begin{equation}\label{hjs1} λ(x)u+h(x,d_x u)=c \quad \tag{ $\ast$ } \end{equation} on a closed manifold $$M$$ with a non-identically vanishing discount factor $$λ(x)$$ . There is a critical value $c_0\in[-\infty,\infty)$ such that \eqref{hjs1} admits a viscosity solution if $$c>c_0$$ and no solution if $$c<c_0$$ . Inspired by the recent development [34] on the stability theory of viscosity solution, we show that the equation admits an asymptotically stable solution if and only if $$c>c_0$$ . In this case, we determine the basin of the stable solution and investigate the long time behavior of the solution semigroup associated to \eqref{hjs1}. In particular, we relate the lowest convergence rate to the integral of $$λ$$ over Mather measures, which leads to an asymptotic behavior of Mather measures when $$c$$ goes to infinity. Assume $c\geqslant c_0$ and the equation admits a solution, we classify ergodic Mather measures and locate their distribution in the phase space.

9. 关于曲面上调和-Ricci 流的注记

Notes on harmonic-Ricci flow on surface

作者: Xiang-Zhi Cao

类别: math.DG, math.AP

发布日期: 2026-05-07

arXiv ID: 2605.05599v1

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

摘要: In this note, we want to establish several formulas about functionals along harmonic Ricci flow on surface with boundary

10. 次扩散方程中时空依赖源项识别的数值分析

Numerical Analysis of Space-Time Dependent Source Identification in Subdiffusion Equations

作者: Siyu Cen, Bangti Jin, Yavar Kian, Zhi Zhou

类别: math.NA, math.AP

发布日期: 2026-05-07

arXiv ID: 2605.05579v1

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

摘要: In this work, we propose an easy-to-implement fixed-point algorithm for reconstructing a space-time dependent source in a subdiffusion model from lateral boundary measurements. The numerical scheme combines a Galerkin finite element method for spatial discretization with a finite difference method for temporal discretization. We establish the linear convergence of the fixed-point iteration and derive an error bound that depends explicitly on the discretization parameters and the noise level. The error analysis relies on stability properties of the continuous inverse problem and technical estimates for the associated direct problem with limited-regularity data. Numerical experiments are presented to support and complement the theoretical analysis.

11. Wick 重正化抛物型随机量子化方程在粗糙度量测度空间上的研究

Wick Renormalized Parabolic Stochastic Quantization Equations on Rough Metric Measure Spaces

作者: Hongyi Chen, Yifan, Yang

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

发布日期: 2026-05-06

arXiv ID: 2605.05442v1

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

摘要: On metric measure spaces with sub-Gaussian heat kernel behavior in small time, we obtain a sufficient condition to solve Wick renormalized stochastic quantization equations with polynomial interaction. Given the power of the nonlinearity, the local solution condition depends on the Hausdorff dimension $$d_h$$ , the walk dimension $$d_w$$ , and the maximal spatial Hölder regularity of the heat kernel $$Θ$$ . A slightly more restrictive condition based on the same parameters is required for a global solution. For all global solutions, we construct an invariant measure for the Markov process defined by the solution. Our results apply to many rough spaces such as Barlow–Kigami type fractals as well as their Cartesian products and open up the possibility of making rigorous various structures in quantum field theory and statistical mechanics in non-integer dimensions. In the process, we build entirely from the short-time heat semigroup the necessary analytic framework that accommodates the issues which come with allowing rough local geometry.

12. 重访 $$σ_k$$ -Yamabe 问题

The $$σ_k$$ -Yamabe problem revisited

作者: Yuxin Ge, Guofang Wang, Wei Wei

类别: math.DG, math.AP

发布日期: 2026-05-06

arXiv ID: 2605.05414v1

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

摘要: In this paper we revisit the $$σ_k$$ -Yamabe problem on $$M^n$$ , namely, finding a conformal metric with constant $$σ_k$$ -scalar curvature. We prove that on a closed manifold $\left(M,\left[g_0\right]\right)$ with positive Yamabe constant $Y_1\left(M,\left[g_0\right]\right)>0$ , the $$σ_2$$ -Yamabe constant

Y_2\left(M,\left[g_0\right]\right):=\inf _{g \in\left[g_0\right], R_g>0} \frac{\int_M σ_2(g) d \operatorname{vol}(g)}{\operatorname{vol}(g)^{\frac{n-4}{n}}}

is achieved by a conformal metric $g \in\left[g_0\right]$ , which in particular solves the $$σ_2$$ -Yamabe problem, assuming $Y_2\left(M,\left[g_0\right]\right)>0$ . As a consequence, for any $\left(M, g_0\right)$ with $Y_1\left(M,\left[g_0\right]\right)>$ 0 and $Y_2\left(M,\left[g_0\right]\right)>0$ one has

\inf _{g \in\left[g_0\right], R_g>0} \frac{\int_M σ_2(g) d \operatorname{vol}(g)}{\operatorname{vol}(g)^{\frac{n-4}{n}}}=\inf _{g \in\left[g_0\right], R_g>0, σ_2(g)>0} \frac{\int_M σ_2(g) d \operatorname{vol}(g)}{\operatorname{vol}(g)^{\frac{n-4}{n}}} .

We also show that these conclusions can fail if the condition $$R_g>0$$ is removed.

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

1. 与一维柔性壳相互作用的简化二维Ericksen-Leslie液晶模型#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 球面上四面体非纬向流的形变稳定性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. 具有氧气 Robin 边界条件的二维趋化性-欧拉系统的整体解#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. 通过径向速度分量研究定常Navier-Stokes方程的Liouville型定理#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

5. 与线性控制系统相关的非强制性Hamilton-Jacobi方程的Hölder连续性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

6. 变指数 Lebesgue 空间中三维定常 Navier-Stokes 方程的 Liouville 型定理#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

7. 交换子估计及其在输运型方程中的应用#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. Hirota-Satsuma 系统的尖锐局部适定性#

摘要翻译#

2. 分数阶几何问题的一致小能量正则性#

摘要翻译#

3. 散焦非线性薛定谔方程带点相互作用的驻波#

摘要翻译#

4. $s$-调和函数在小阶数极限下的性质#

摘要翻译#

5. 超双曲方程特征初值问题解的渐近性质#

摘要翻译#

6. 水波的均匀化与浅水极限耦合的一致性分析#

摘要翻译#

7. 关于二次曲面上微局部平方函数的最优迹估计#

摘要翻译#

8. 具线性依赖主系数的二阶超拟线性双曲系统的Goursat问题的半整体解及其在真空Einstein方程中的应用#

摘要翻译#

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

1. 有限状态图上的带个体噪声的主方程#

2. 量子猫映射本征函数的等分布#

3. 极小曲面的内蕴面积界与外蕴面积界的等价性#

4. Lorentz–Minkowski 空间中具有给定平均曲率的整 spacelike 径向图#

5. 从有限维解析反问题的精确唯一性导出的Hölder稳定性#

6. 带局域白噪声的随机Allen–Cahn方程的指数混合性#

7. 非局部薄膜的多尺度分析与均匀化#

8. 关于非齐次折扣Hamilton-Jacobi方程#

9. 关于曲面上调和-Ricci 流的注记#

10. 次扩散方程中时空依赖源项识别的数值分析#

11. Wick 重正化抛物型随机量子化方程在粗糙度量测度空间上的研究#

12. 重访 $σ_k$-Yamabe 问题#

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

1. 与一维柔性壳相互作用的简化二维Ericksen-Leslie液晶模型

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 球面上四面体非纬向流的形变稳定性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 具有氧气 Robin 边界条件的二维趋化性-欧拉系统的整体解

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 通过径向速度分量研究定常Navier-Stokes方程的Liouville型定理

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 与线性控制系统相关的非强制性Hamilton-Jacobi方程的Hölder连续性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

6. 变指数 Lebesgue 空间中三维定常 Navier-Stokes 方程的 Liouville 型定理

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

7. 交换子估计及其在输运型方程中的应用

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. Hirota-Satsuma 系统的尖锐局部适定性

摘要翻译

2. 分数阶几何问题的一致小能量正则性

摘要翻译

3. 散焦非线性薛定谔方程带点相互作用的驻波

摘要翻译

4. $$s$$ -调和函数在小阶数极限下的性质

摘要翻译

5. 超双曲方程特征初值问题解的渐近性质

摘要翻译

6. 水波的均匀化与浅水极限耦合的一致性分析

摘要翻译

7. 关于二次曲面上微局部平方函数的最优迹估计

摘要翻译

8. 具线性依赖主系数的二阶超拟线性双曲系统的Goursat问题的半整体解及其在真空Einstein方程中的应用

摘要翻译

不相关论文（基本信息）

1. 有限状态图上的带个体噪声的主方程

2. 量子猫映射本征函数的等分布

3. 极小曲面的内蕴面积界与外蕴面积界的等价性

4. Lorentz–Minkowski 空间中具有给定平均曲率的整 spacelike 径向图

5. 从有限维解析反问题的精确唯一性导出的Hölder稳定性

6. 带局域白噪声的随机Allen–Cahn方程的指数混合性

7. 非局部薄膜的多尺度分析与均匀化

8. 关于非齐次折扣Hamilton-Jacobi方程

9. 关于曲面上调和-Ricci 流的注记

10. 次扩散方程中时空依赖源项识别的数值分析

11. Wick 重正化抛物型随机量子化方程在粗糙度量测度空间上的研究

12. 重访 $$σ_k$$ -Yamabe 问题