生成时间: 2026年07月01日 06:56:53

运行状态: 完成

计划处理论文数量: 25

已完成论文数量: 25

未完成论文数量: 0

重点关注论文数量: 6

了解领域论文数量: 10

不相关论文数量: 9

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

1. 具有任意无穷远处渐近态的分数阶 Navier-Stokes 方程的 Liouville 型定理

Liouville theorems for the fractional Navier-Stokes equations with arbitrary asymptotic state at infinity

作者: Changzhi Liu, Wenke Tan

类别: math.AP

发布日期: 2026-06-30

arXiv ID: 2606.31794v1

摘要翻译: 我们主要研究三维定常分数阶 Navier-Stokes 方程在无穷远处具有任意渐近态 $u_\infty$ 的 Liouville 型问题。当 $u_\infty\neq 0$ 且 $\frac{1}{2}\leq s<1$ 时，我们通过建立不依赖于扰动论证的速度场的若干精细 $$L^p$$ 估计，证明了一个完整的 Liouville 定理。这些新估计强于经典扰动框架所得的 $$L^3$$ 估计，因此可直接取 $$u$$ 作为检验函数，从而给出 Liouville 定理的一个直接而简洁的证明，并避免了某些技术性的分数阶微积分运算。当 $u_\infty\neq 0, s=\frac{1}{2}$ 或 $u_\infty=0, \frac{1}{2}\leq s\leq\frac{5}{6}$ 时，我们亦借助频率局部化方法克服由非局部算子 $(-\Delta)^s$ 所带来的障碍，证明了一个完整的 Liouville 定理。我们特别强调：处理 $u_\infty=0$ 情形的方法同样适用于维数 $n\geq 2$ 且 $\frac{1}{2}\leq s\leq \frac{n+2}{6}$ 的情形。

Comment: 无

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

1. 研究对象和背景

本文研究三维全空间 $\mathbb{R}^3$ 上的定常分数阶Navier-Stokes方程

\begin{cases} (-\Delta)^s u + \nabla \cdot (u \otimes u) + \nabla P = 0, \\ \nabla \cdot u = 0, \end{cases} \tag{1.1}

其中 $$s > 0$$ ，未知量 $u = (u_1, u_2, u_3): \mathbb{R}^3 \to \mathbb{R}^3$ 为速度场， $P: \mathbb{R}^3 \to \mathbb{R}$ 为标量压力，非局部算子 $(-\Delta)^s$ 由傅里叶变换定义： $(-\Delta)^s f(x) = \mathcal{F}^{-1}(|\xi|^{2s} \widehat{f}(\xi))$ 。研究对象是满足有限Dirichlet能量条件

D(u) = \int_{\mathbb{R}^3} |(-\Delta)^{s/2} u|^2 \, dx < \infty \tag{1.2}

及一致无穷远渐近条件

\lim_{|x| \to \infty} u(x) = u_\infty \in \mathbb{R}^3 \tag{1.3}

的光滑解 $$u$$ 。该问题本质上是经典刘维尔型问题在分数阶框架下的推广：当 $$s=1$$ 时，(1.1) 退化为经典定常Navier-Stokes方程 $-\Delta u + \nabla \cdot (u \otimes u) + \nabla P = 0$ ， $\nabla \cdot u = 0$ ；Leray早在1930年代即提出著名猜想：若 $$u$$ 满足 $D(u) < \infty$ 且 $u_\infty = 0$ ，是否必有 $u \equiv 0$ ？该问题至今未完全解决，Galdi在其专著中明确列为开放问题（Remark X.9.4, [14]），Tsai亦列为Conjecture 2.5 [29]。已有工作大多依赖额外可积性假设，如 $u \in L^{9/2}(\mathbb{R}^3)$ （Galdi [14]）、 $\Delta u \in L^{6/5}(\mathbb{R}^3)$ （Chae [5]）、或临界空间嵌入如 $u \in \dot{B}^{1-2s}_{\infty,\infty}(\mathbb{R}^3)$ （Tan [26]）。然而，这些假设在 $u_\infty \neq 0$ 时天然失效——因 $u(x) \to u_\infty \neq 0$ 意味着 $u \notin L^p(\mathbb{R}^3)$ 对任意 $p < \infty$ 成立。因此，对任意 $u_\infty$ （含非零情形）建立不依赖额外可积性假设的刘维尔定理，构成该领域的根本性空白。特别地，分数阶情形下非局部性 $$(-Δ)^s$$ 带来双重障碍：一方面，经典扰动方法（如Galdi [14]、Wang-Yang-Yu [31] 所用）要求 $\nabla v \in L^{(1+s)/s}(\mathbb{R}^3)$ ，而该空间在 $$s < 1$$ 时超临界（因 $$(1+s)/s > 2$$ ），难以从 $D(u) < \infty$ 直接推出；另一方面，当 $$s = 1/2$$ 或 $u_\infty = 0$ 时，Caffarelli-Silvestre延拓等局部化技术失效，且标准截断函数测试法在非局部能量估计中产生非消失余项 $O(R^{-(s-1/2)})$ ，导致极限过程崩溃。本文旨在系统性填补这一空白：对任意 $u_\infty$ ，在尽可能宽的分数阶参数范围 $1/2 \leq s < 1$ （非零渐近态）与 $1/2 \leq s \leq 5/6$ （零渐近态）内，仅基于 $D(u) < \infty$ 和 $u(x) \to u_\infty$ ，严格证明 $u \equiv u_\infty$ 或 $u \equiv 0$ 。

2. 主要定理或主要结果

本文核心结论由定理1.1给出：设 $$u$$ 是方程(1.1)的光滑解，满足(1.2)与(1.3)，则 (1) 若 $1/2 \leq s < 1$ 且 $u_\infty \neq 0$ ，则 $u \equiv u_\infty$ ； (2) 若 $1/2 \leq s \leq 5/6$ 且 $u_\infty = 0$ ，则 $u \equiv 0$ 。该结论的证明依赖于两类关键先验估计： (i) 对 $v = u - u_\infty$ （当 $u_\infty \neq 0$ ），命题1.1建立了精细的插值型 $$L^p$$ 估计：当 $$5/6 < s < 1$$ ，令 $K = [\log_4 \frac{1}{6s-5}] + 1$ ， $$s_K = 4K(s - 5/6) + 5/6$$ ， $\theta = \frac{1-s}{s_K - s}$ ，则

\|v\|_{\dot{H}^1(\mathbb{R}^3)} \leq C \|v\|_{\dot{H}^s(\mathbb{R}^3)}^{2K\theta + (1-\theta)} \tag{1.6}

；当 $1/2 < s \leq 5/6$ ，令 $L = [\log_3 \frac{1}{2s-1}] + 1$ ， $$s_L = 3L(s - 1/2) + 1/2$$ ， $\theta = \frac{1-s}{s_L - s}$ ，则

\|v\|_{\dot{H}^1(\mathbb{R}^3)} \leq C \|v\|_{L^\infty(\mathbb{R}^3)}^{\theta L} \|v\|_{\dot{H}^s(\mathbb{R}^3)} \tag{1.7}

；当 $$1/2 < s < 1$$ ，若 $\frac{2s(1+s)}{3(1-s)} \notin \mathbb{Z}$ ，令 $N = [\frac{2s(1+s)}{3(1-s)}] + 1$ ， $$r < 2$$ 满足 $\frac{1}{r} = \frac{3-2s}{6} + N(\frac{1}{2} - \frac{s}{1+s})$ ，则

\|v\|_{L^r(\mathbb{R}^3)} \leq C \|v\|_{\dot{H}^1(\mathbb{R}^3)}^N \|v\|_{\dot{H}^s(\mathbb{R}^3)} \tag{1.8}

；若 $\frac{2s(1+s)}{3(1-s)} \in \mathbb{Z}$ ，令 $N = \frac{2s(1+s)}{3(1-s)}$ ，则

\|v\|_{L^2(\mathbb{R}^3)} \leq C \|v\|_{\dot{H}^1(\mathbb{R}^3)}^N \|v\|_{\dot{H}^s(\mathbb{R}^3)} \tag{1.9}

。 (ii) 对 $$s = 1/2$$ 或 $u_\infty = 0$ 的情形，作者采用频率局域化方法，在齐次Besov框架下证明：存在常数 $$C > 0$$ ，使得对任意整数 $$k$$ ，高频部分 $\dot{\Delta}_k v$ 满足

\sum_{k \in \mathbb{Z}} 2^{2sk} \|\dot{\Delta}_k v\|_{L^2}^2 < \infty,

且通过控制低频与高频能量分布，最终导出 $\|v\|_{\dot{H}^s} = 0$ 。值得注意的是，结论(2)的适用维度可推广至 $n \geq 2$ ，此时参数范围为 $1/2 \leq s \leq \frac{n+2}{6}$ ；当 $n \geq 4$ 且 $$s = 1$$ 时，该范围包含经典情形并恢复Galdi [14]的结果。

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

证明的核心障碍在于：经典扰动框架要求 $\nabla v \in L^{(1+s)/s}$ ，但此空间在 $$s < 1$$ 时超临界（ $$(1+s)/s > 2$$ ），无法由 $D(u) < \infty$ 直接获得；而直接使用 $$v$$ 作测试函数时，非局部算子 $$(-Δ)^s$$ 与截断函数 $\phi_R$ 的交换子产生非消失余项 $O(R^{-(s-1/2)})$ ，尤其在 $$s = 1/2$$ 时余项为 $$O(1)$$ ，致使能量恒等式失效。作者的真正创新点在于构建两种互补的分析框架：第一，对 $u_\infty \neq 0$ 且 $$1/2 < s < 1$$ 的情形，放弃扰动思路，转而发展一套“正则性提升-可积性迭代”机制。其关键在于观察到分数阶Oseen算子 $(−Δ)^s + \partial_{x_1}$ 的正则化效应：若 $v \in L^r$ 且 $\nabla v \in L^p$ ，则非线性项 $v \cdot \nabla v \in L^q$ （ $$1/q = 1/r + 1/p$$ ），而Oseen系统将其提升至 $v \in L^{r_1}$ （ $$1/r_1 = 1/q - s/(1+s)$$ ）。当 $$p = 2 < (1+s)/s$$ 时， $$r_1 > q$$ ，形成净增益。作者由此设计迭代方案：首先利用傅里叶方法（对 $$5/6 < s < 1$$ ）或 $L^\infty$ 控制（对 $1/2 < s \leq 5/6$ ）建立 $\|v\|_{\dot{H}^1}$ 的先验界（即(1.6)-(1.7)），再通过(1.8)-(1.9)反复提升可积性直至 $v \in L^2$ ，最终取 $$v$$ 自身为测试函数，直接得到 $\int |(-\Delta)^{s/2} v|^2 = 0$ 。第二，对 $$s = 1/2$$ 或 $u_\infty = 0$ 的临界情形，作者彻底转向频率空间分析。其核心工具是Littlewood-Paley分解（定义2.1）与Bernstein不等式（引理2.1）：将 $$v$$ 分解为 $v = \sum_{k \in \mathbb{Z}} \dot{\Delta}_k v$ ，并证明高频块 $\dot{\Delta}_k v$ 天然适合作为测试函数——因其傅里叶支撑紧致，能规避 $$(-Δ)^s$$ 与截断函数的交换子问题。具体而言，作者将Dirichlet能量 $\int |(-\Delta)^{s/2} v|^2$ 按频率分解为 $\sum_k 2^{2sk} \|\dot{\Delta}_k v\|_{L^2}^2$ ，再利用方程(3.1)在频率块上的投影，结合非线性项的双线性估计（引理2.2）与Lizorkin乘子定理（定理2.1），逐层控制各频段能量。特别地，对 $u_\infty = 0$ ，作者证明低频能量 $\sum_{k \leq k_0} 2^{2sk} \|\dot{\Delta}_k v\|_{L^2}^2$ 可被高频能量控制，而高频能量本身由 $D(v) < \infty$ 界定，最终迫使所有频段能量为零。

4. 与之前工作的比较

本文与既有工作的本质区别体现在三个维度： (1) 假设强度：此前所有结果均需额外可积性或正则性假设。Galdi [14] 要求 $u \in L^{9/2}$ ，Chae [5] 要求 $\Delta u \in L^{6/5}$ ，Tan [26] 要求 $u \in \dot{B}^{1-2s}_{\infty,\infty}$ ，Wang-Yang-Yu [31] 要求 $u \in \dot{W}^{1+2s,\infty}$ 。本文完全摒弃此类假设，仅依赖最自然的物理量 $D(u) < \infty$ 与渐近行为 $u(x) \to u_\infty$ ，这是首次实现真正“无附加条件”的刘维尔定理。 (2) 参数范围与适用性：对 $u_\infty \neq 0$ ，本文将 $$s$$ 的下界推进至 $$1/2$$ （此前[31]要求 $$1/2 < s < 1$$ ），且覆盖 $$s = 1/2$$ 的临界情形；对 $u_\infty = 0$ ，本文将 $$s$$ 的上界扩展至 $$5/6$$ （此前[30][33]仅覆盖 $5/6 \leq s < 1$ 或需Caffarelli-Silvestre延拓），并首次在 $1/2 \leq s < 5/6$ 区间建立结果。维度推广方面，本文 $s \leq \frac{n+2}{6}$ 的范围比Lee-Lee [20]的 $s < \frac{n+2}{6}$ 更优（包含临界点），且左端点 $$1/2$$ 独立于 $$n$$ ，而[20]要求 $s \geq n/6$ （当 $n \geq 4$ 时 $$n/6 > 1/2$$ ）。 (3) 方法论代价与局限：本文方法的代价在于技术复杂性显著增加—— $u_\infty \neq 0$ 时需构造精细的插值估计(1.6)-(1.9)， $u_\infty = 0$ 时必须诉诸频率空间而非物理空间分析。局限性方面，从提供内容中无法确认：当 $$s > 5/6$$ 且 $u_\infty = 0$ 时结论是否成立（因文中未讨论此范围）；此外，对 $$s = 1/2$$ 且 $u_\infty \neq 0$ 的情形，作者虽声明适用，但未显式展开比较其与[31]在相同参数下的技术差异。

2. 一维广义Burgers-Huxley方程的近似可控性

Approximate Controllability of the generalized Burgers-Huxley equation in one dimension

作者: Aman Patel, Mohmedmunavvar Mubarak Bapu, Mrinmay Biswas

类别: math.OC, math.AP

发布日期: 2026-06-30

arXiv ID: 2606.31968v1

摘要翻译: 广义Burgers-Huxley（GBH）方程是一类刻画反应、对流与扩散之间相互作用的原型模型。本文研究该模型在定义域中任意非空开子集上施加的内部控制下的可控性。我们证明：GBH方程在给定时间内并非全局近似可控。然而，只要两个稳态位于稳态集合的同一连通分支内，则存在某个适当的时间，使得可通过局域化内部控制将系统从任一稳态驱动至另一稳态的任意小邻域内。

Comment: 48 pages, Comments Welcome!

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

1. 研究对象和背景

本文研究一维有界区间 $\Omega = (0,1)$ 上带齐次 Dirichlet 边界条件的广义 Burgers–Huxley (GBH) 方程的内部可控性问题，其受控系统为：

\begin{cases} u_t = u_{xx} - \alpha u^\delta u_x + \beta u(1 - u^\delta)(u^\delta - \gamma) + \chi_\omega f, & (t,x) \in (0,T) \times (0,1), \\ u(t,0) = u(t,1) = 0, & t \in (0,T), \\ u(0,x) = u_0(x), & x \in (0,1), \end{cases} \tag{1.2}

其中 $\alpha, \beta, \gamma > 0$ 为常数， $\delta \in \mathbb{N}$ ，控制 $f \in L^2((0,T)\times(0,1))$ 作用于固定非空开子集 $\omega = (b,c) \subset (0,1)$ ， $\chi_\omega$ 为其特征函数。该方程是典型的三机制耦合模型：扩散项 $u_{xx}$ 描述耗散；Burgers 型非线性对流项 $-\alpha u^\delta u_x$ 引入状态与空间导数的强耦合；反应项 $\beta u(1-u^\delta)(u^\delta-\gamma)$ 是具有三个平衡点 $$0$$ , $$1$$ , $\gamma^{1/\delta}$ 的双稳态多项式非线性（当 $\gamma \in (0,1)$ 时），刻画种群增长、抑制与阈值效应。当 $\delta=1$ 时退化为经典 Burgers–Huxley 方程；当 $\alpha=0$ 时退化为广义 Fisher–KPP 或 Nagumo 型反应扩散方程。

在偏微分方程控制理论中，半线性抛物型方程的近似可控性已有大量成果，核心工具包括 Carleman 估计、谱分析、不动点方法与准静态形变法（quasi-static deformation）。例如，Coron–Trélat 对半线性热方程 $u_t - \Delta u = g(u) + \chi_\omega f$ 的工作 [7] 表明：若非线性 $$g$$ 满足适当增长与正则性条件，且线性化算子谱满足有限维不稳定模假设，则可通过沿稳态路径的准静态形变实现从一稳态到另一稳态的近似可控。然而，GBH 方程的对流项 $-\alpha u^\delta u_x$ 破坏了标准 Sturm–Liouville 结构，导致线性化算子 $\mathcal{L}_\phi v := v_{xx} - \alpha \phi^\delta v_x - \alpha \delta \phi^{\delta-1} \phi_x v + \beta (1 - (\delta+1)\phi^\delta + \delta \gamma \phi^{\delta-1}) v$ （沿稳态 $\phi$ 线性化）含一阶变系数项，既非自伴也非对称，其谱理论无法直接套用经典结果。此外，该对流项使能量估计严重依赖于解的符号与大小——如引理 3.6 所示，非负初值可保证解非负，但对任意 $$L^2$$ 初值，最大值原理失效，全局先验界难以建立。文献 [4] 中用于 FHN 型系统的统一有界性定理（Theorem 3.21）在此不适用，因 GBH 的对流项引入额外的非线性梯度耦合，破坏了该定理所需的单调性结构。因此，本文试图填补的关键空白在于：在存在强非线性对流项的前提下，如何建立适用于 Burgers–Huxley 类方程的谱可控性框架，并回答“是否仍存在某种受限但非平凡的可控性”这一根本问题——即：虽全局近似可控性失效，能否在稳态集合 $S = \{ u \in C^2([0,1]) : u_{xx} - \alpha u^\delta u_x + \beta u(1-u^\delta)(u^\delta-\gamma) = 0 \text{ on } (0,b)\cup(c,1),\, u(0)=u(1)=0 \}$ 的同一连通分支内实现稳态间可控？该问题直接关联非线性动力系统的相空间拓扑结构与控制能达性之间的深刻联系，对理解生物模式形成、神经脉冲传播等物理背景中的状态切换机制具有本质意义。

2. 主要定理或主要结果

本文确立了三项严格数学结论：

全局近似不可控性（Theorem 1.2）：对任意 $$T>0$$ ，系统 (1.2) 在 $$L^2(0,1)$$ 中不满足定义 1.1 的近似可控性。具体而言，存在显式构造的障碍集：对任意初值 $u_0 \in L^2(0,1)$ ，取 $$N>4$$ ，定义权函数 $$g(x)=x^N(b-x)^N$$ ，并记 $$ L(b,N) = \int_0^b \Big[ \frac{\delta}{1+\delta} \big(2^{\frac{\delta-1}{\delta}} \beta^{\frac{1}{\delta}} (1+\delta)^{\frac{1}{\delta}} \big) \cdot \frac{1}{2} \big(x(b-x)\big)^{\frac{\delta(N-2)-2}{\delta}} J^{\frac{1+\delta}{\delta}} \

\big(\frac{N\alpha}{\delta} + 2\big)^{\frac{2\delta+2}{\delta}} \big(\frac{\beta}{4}\big)^{\frac{\delta+2}{\delta}} \big(\frac{2\delta+2}{\delta+2}\big)^{\frac{\delta+2}{\delta}} \cdot \frac{\delta}{2\delta + 2}(b-2x)^{\frac{2\delta+2}{\delta}} \big(x(b-x)\big)^{\frac{N\delta-2\delta-2}{\delta}} \
\big(\beta(1+\gamma)\big)^{\frac{2\delta+2}{\delta}} \big(\frac{\beta}{2}\big)^{\frac{\delta+2}{\delta}} \big(\frac{2\delta+2}{\delta+2}\big)^{\frac{\delta+2}{\delta}} \cdot \frac{\delta}{2\delta + 2} \big(x(b-x)\big)^N \Big] dx, $$$ 其中 $J = N(N-1)(b-x)^2 - 2N^2 x(b-x) + N(N-1)x^2$。则对任意满足 $$$ |u_T|_{L^2(b/4,, b/2)} > \left(\frac{b^2}{8}\right)^{-N/2} \left[ \int_0^b \big(x(b-x)\big)^N u_0^2(x),dx + 2T L(b,N) \right]^{1/2} \tag{4.10} $$ 的目标态 $u_T \in L^2(0,1)$ ，均有 $\|u(T) - u_T\|_{L^2(0,1)} > 0$ ，故不可逼近。

边界控制同样不可控（Theorem 1.3）：对边界控制系统 (1.3)，同样有 $$L^2(0,1)$$ 近似不可控性，证明结构同 Theorem 1.2。
稳态间局部近似可控性（Theorem 1.5）：设 $u_0, u_1 \in S$ 属于 $$S$$ （赋予 $$C^2$$ 拓扑）的同一道路连通分支，则对任意 $\hat{\delta} > 0$ ，存在 $\hat{T}_{\hat{\delta}} > 0$ ，使得对所有 $T \geq \hat{T}_{\hat{\delta}}$ ，存在控制 $f \in L^2((0,T)\times(0,1))$ 满足
$\|u(T,\cdot) - u_1\|_{L^2(0,1)} \leq \hat{\delta}. \tag{1.5}$
此处时间 $$T$$ 依赖于精度 $\hat{\delta}$ 、初态 $$u_0$$ 与目标态 $$u_1$$ ，且 $\hat{T}_{\hat{\delta}}$ 的存在性由准静态形变框架保证，其下界由线性化算子谱隙与 Lyapunov 泛函衰减率共同决定。

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

证明的核心障碍在于：GBH 方程的对流项 $-\alpha u^\delta u_x$ 导致线性化算子非自伴、非 Sturm–Liouville 型，破坏了标准谱分析框架。作者的真正创新点在于构建了一套完整的加权 Sturm–Liouville 化方案，并在此框架下发展出适配非线性对流的准静态形变技术。具体分为三层次：

第一层：加权共轭变换与谱重标定。对沿稳态 $\phi \in S$ 的线性化算子 $\mathcal{L}_\phi v = v_{xx} - \alpha \phi^\delta v_x - \alpha \delta \phi^{\delta-1} \phi_x v + \beta (1 - (\delta+1)\phi^\delta + \delta \gamma \phi^{\delta-1}) v$ ，引入权函数 $\rho(x) = \exp\big(\frac{\alpha}{2} \int_0^x \phi^\delta(y)\,dy\big)$ ，并令 $w = \rho v$ 。经直接计算可得 $$w$$ 满足

-\big(p(x) w_x\big)_x + q(x) w = \lambda w,

其中 $p(x) = \rho^{-2}(x)$ ， $q(x) = \beta (1 - (\delta+1)\phi^\delta + \delta \gamma \phi^{\delta-1}) + \frac{\alpha^2}{4} \phi^{2\delta} - \frac{\alpha}{2} (\phi^\delta)_x$ 。此即标准 Sturm–Liouville 形式，从而保证谱为实数、可数、无聚点，且存在完备正交系 $\{\psi_k\}_{k=1}^\infty$ 满足 $\langle \psi_i, \psi_j \rangle_{L^2_\rho} = \delta_{ij}$ ，其中 $L^2_\rho$ 为权范数 $\|w\|_{L^2_\rho}^2 = \int_0^1 \rho^2(x) w^2(x)\,dx$ 。该变换是全文基石，所有后续估计（投影、Lyapunov 泛函、反馈设计）均需在加权空间 $L^2_\rho$ , $H^1_{0,\rho}$ 中进行。

第二层：准静态形变的非线性修正。不同于 Coron–Trélat 对纯反应扩散方程的处理，此处需处理形变路径 $\phi_s(x), s\in[0,1]$ 上的参数依赖算子 $\mathcal{L}_{\phi_s}$ 。由于 $\phi_s$ 非恒定，其导数 $\partial_s \phi_s$ 激活对流项的变系数扰动，导致线性化余项 $R(s,v) = -\alpha (\phi_s^\delta - \phi_0^\delta) v_x - \alpha \delta (\phi_s^{\delta-1} \partial_s \phi_s - \phi_0^{\delta-1} \partial_s \phi_0) v$ 不再是高阶小量。作者通过加权 Sobolev 嵌入 $H^1_{0,\rho} \hookrightarrow L^\infty$ 与 $\rho$ 的显式结构，获得关键估计 $\|R(s,v)\|_{H^{-1}_\rho} \lesssim \|v\|_{H^1_{0,\rho}} \cdot \sup_{s} \|\partial_s \phi_s\|_{C^1}$ ，从而将余项控制在形变速度可控范围内。

第三层：加权 Lyapunov 泛函与极点配置。对有限维不稳定模（对应 $\mathcal{L}_{\phi_s}$ 的非负特征值），作者在加权空间中设计状态反馈 $$f = -K(s) P_N v$$ ，其中 $$P_N$$ 为前 $$N$$ 个加权特征函数的投影， $$K(s)$$ 为时变增益矩阵。关键创新在于构造加权 Lyapunov 泛函 $\mathcal{V}(t) = \frac{1}{2} \|v(t)\|_{L^2_\rho}^2 + \frac{\mu}{2} \|P_N v(t)\|_{L^2_\rho}^2$ （ $\mu>0$ 小参数），并利用加权 Poincaré 不等式 $\|v\|_{L^2_\rho}^2 \leq C_\rho \|v_x\|_{L^2_\rho}^2$ 与 $\mathcal{L}_{\phi_s}$ 的谱下界 $\lambda_k \leq -c < 0$ （ $$k>N$$ ），证明 $\frac{d}{dt} \mathcal{V}(t) \leq -\kappa \mathcal{V}(t)$ ，从而确保指数稳定。最终通过非线性项的局部 Lipschitz 性（在加权 $$H^1$$ 范数下）完成 Picard 迭代，得到非线性系统近似可控性。

4. 与之前工作的比较

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

1. 与标准半线性热方程可控性工作的比较：Coron–Trélat [7] 及后续工作 [4, 19] 均假设非线性项 $$g(u)$$ 为 Lipschitz 连续且满足 $|g(u)| \leq C(1+|u|)$ ，其线性化算子 $\Delta + g'(\phi)$ 自伴，谱分析在标准 $$L^2$$ 空间进行。本文的 $-\alpha u^\delta u_x$ 项彻底改变算子结构，迫使采用加权空间与共轭变换，且非线性 Lipschitz 常数依赖于 $\|u\|_{L^\infty}$ ，而后者需通过加权嵌入控制，这是 [7] 中无需考虑的额外层级。

2. 与 Burgers 方程可控性工作的比较：Imanuvilov–Fursikov [15] 对粘性 Burgers 方程 $u_t - u_{xx} + u u_x = f$ 的精确可控性依赖 Carleman 估计，要求控制作用于整个区间或满足几何条件。本文处理的是 Burgers 与 Huxley 的耦合，且仅需内部局部控制，但代价是仅获得稳态间近似可控性（非精确可控），且时间 $$T$$ 必须足够大（依赖于稳态路径长度与谱隙），而 [15] 中时间可任意小。

3. 与 FHN 型方程工作的比较：文献 [4] 研究 FitzHugh–Nagumo 方程，其非线性仅为立方反应项，线性化算子为 $\Delta + A$ （ $$A$$ 常数矩阵），谱分析简单。本文的对流项引入一阶微分算子，导致线性化余项 $$R(s,v)$$ 的 $$L^2$$ 范数无法被 $$H^1$$ 范数控制（因 $$v_x$$ 项无界），必须借助加权空间与 $\rho$ 的指数衰减性质才能闭合估计，这是 [4] 中不存在的技术难点。

4. 与边界控制工作的比较：文献 [20] 对 GBH 方程建立边界反馈指数稳定化，其证明依赖于边界控制可直接影响能量耗散。本文证明内部控制无法实现全局近似可控（Theorem 1.2），且边界控制同样失败（Theorem 1.3），揭示了 GBH 方程的内在刚性：其多稳态结构与对流输运共同构成不可逾越的‘能量壁垒’，任何局部控制均无法克服由权函数 $$g(x)$$ 所刻画的空间局部化障碍。该结论推广了 [10] 中对纯扩散方程的类似不可控性，但证明中引入的 $$N$$ 阶权函数与精细 Young 不等式应用是针对对流项的新技术。

3. Fujita 型爆破：带正则变强迫项的非齐次半线性热方程

Fujita-type blow-up for inhomogeneous semilinear heat equations with regularly varying forcing

作者: Vishvesh Kumar, Mohamed Majdoub

类别: math.AP

发布日期: 2026-06-30

arXiv ID: 2606.31643v1

摘要翻译: 我们为非齐次半线性热方程

\partial_tu-Δu=|u|^p+\mathbf{w}(x), \qquad (t,x)\in(0,\infty)\times\mathbb{R}^N, \qquad u(0, \cdot)=u_0.

的 Fujita 型爆破解发展了一个统一框架。经典文献中对强迫项所要求的可积性条件被其空间质量

F(R)=\int\limits_{|x|\le R}\mathbf{w}(x)\,dx

的定量正则变性质所取代。结合正则变理论技巧与 Mitidieri–Pohozaev 试验函数方法，我们建立了 sharp 的 Fujita 型非存在性结果，并以 $$F$$ 的变指数刻画了临界指数。我们证明：在次临界范围内全局解不存在；并在适当缓慢变修正条件下获得临界情形下的爆破。该正则变框架进一步揭示了底层质量条件的最优性，通过算子正则变自然推广至各向异性情形，并借助 Gaussian-Laplace 变换给出适用于变号强迫项的充分爆破判据。该方法亦适用于时空依赖强迫项、Riesz 位势型强迫项以及含分数 Laplacian 的方程，从而提供了超越经典 Fujita 理论的爆破阈值之统一刻画。

Comment: 无

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

1. 研究对象和背景

本文研究如下非齐次半线性热方程的全局弱解非存在性问题：

\partial_t u - \Delta u = |u|^p + \mathbf{w}(x), \quad (t,x) \in (0,\infty) \times \mathbb{R}^N, \quad u(0,\cdot) = u_0, \tag{1.1}

其中 $N \ge 1$ , $$p > 1$$ , $u_0 \in L^1_{\mathrm{loc}}(\mathbb{R}^N)$ 非负， $\mathbf{w} \in L^1_{\mathrm{loc}}(\mathbb{R}^N)$ 为非负外力项（后推广至变号情形）。解在分布意义下定义（见Definition 3.1）： $u \in L^p_{\mathrm{loc}}([0,\infty) \times \mathbb{R}^N)$ , $u \ge 0$ a.e., 且对任意 $$T > 0$$ 及非负测试函数 $\varphi \in C^{1,2}([0,T] \times \mathbb{R}^N)$ 满足 $\operatorname{supp}\varphi(\cdot,t) \Subset \mathbb{R}^N$ 、 $\varphi(T,\cdot) \equiv 0$ ，有

\int_0^T \int_{\mathbb{R}^N} \left(|u|^p + \mathbf{w}\right) \varphi \,dx dt + \int_{\mathbb{R}^N} u_0 \varphi(0,x) \,dx = -\int_0^T \int_{\mathbb{R}^N} u \, \partial_t \varphi \,dx dt - \int_0^T \int_{\mathbb{R}^N} u \, \Delta \varphi \,dx dt.

“爆破”在此严格指全局弱解不存在（而非经典意义下的 $\|u(t)\|_{L^\infty} \to \infty$ ），这是抛物型非线性发展方程中Fujita型问题的核心范式。经典Fujita理论处理 $\mathbf{w} \equiv 0$ 情形：当 $1 < p \le p_F := 1 + \frac{2}{N}$ 时，任意非平凡非负初值均导致有限时间爆破；当 $$p > p_F$$ 时存在小初值全局解。对于非零外力，Bandle–Levine–Zhang [1] 建立了 $$L^1$$ 框架：若 $\mathbf{w} \in L^1(\mathbb{R}^N)$ 且 $\int_{\mathbb{R}^N} \mathbf{w}(x)\,dx > 0$ ，则当 $1 < p < \frac{N}{N-2}$ ( $N \ge 3$ ) 时无全局解。该结果依赖于 $\mathbf{w}$ 的绝对可积性与整体正性，无法处理 $\int_{\mathbb{R}^N} \mathbf{w} = \infty$ 、各向异性增长或变号外力等情形。本文旨在突破这一局限，将外力刻画从积分型条件 $\mathbf{w} \in L^1$ 升级为空间质量函数 $F(R) := \int_{|x| \le R} \mathbf{w}(x)\,dx$ 的定量渐近行为。具体而言，作者摒弃传统 $$L^1$$ 假设，代之以两种递进的正则变化（regular variation）条件：(i) 定性下界 $\liminf_{R\to\infty} R^{-\gamma} F(R) > 0$ ，允许 $F(R) \sim c R^\gamma$ 形式的幂律增长（ $\gamma \in [0,N)$ ）；(ii) 精确的正则变化结构 $F \in RV_\gamma$ ，即 $F(R) = R^\gamma L(R)$ ，其中 $L \in RV_0$ 为慢变函数（如 $L(R) = (\log R)^a$ 或 $\log\log R$ ）。此框架自然涵盖无穷质量外力（如 $\mathbf{w}(x) = |x|^{-(N-\gamma)}$ ），并揭示爆破阈值 $p_F(\gamma)$ 如何随质量增长阶 $\gamma$ 连续演化。核心科学空白在于：既有理论仅覆盖 $\gamma = 0$ （即 $$L^1$$ 情形），而对 $\gamma > 0$ 的系统性分析缺失；尤其缺乏在临界指数 $p = p_F(\gamma)$ 处的精确判据（需慢变因子发散）、对各向异性尺度的统一刻画、以及对变号外力的可行判据。本文通过引入Karamata正则变化理论与Mitidieri–Pohozaev检验函数法的深度耦合，构建一个统一框架，填补上述空白，并将Fujita理论推广至非局部算子（分数阶拉普拉斯）、时空依赖外力及Riesz势型外力等更广阔场景。

2. 主要定理或主要结果

本文核心结论由六大定理构成，其技术细节高度精确：

(1) 主爆破定理（Theorem 3.4）：设 $N \ge 1$ , $\gamma \in [0,N)$ , $\mathbf{w} \ge 0$ 且不恒为零。　　(i) （亚临界情形）若 $\liminf_{R\to\infty} R^{-\gamma} F(R) > 0$ 或 $F \in RV_\gamma$ ，则方程 (1.1) 在 $1 < p < p_F(\gamma)$ 时不存在全局弱解，其中 Fujita 临界指数为

p_F(\gamma) = \begin{cases} \dfrac{N - \gamma}{N - \gamma - 2}, & \gamma < N - 2, \\ \infty, & \gamma \ge N - 2. \end{cases}

　　(ii) （临界情形带放大）若 $F \in RV_\gamma$ 且 $\gamma \in [0, N-2)$ （故 $p_F(\gamma) < \infty$ , $N \ge 3$ ），且慢变因子 $L(R) \to \infty$ ( $R \to \infty$ )，则方程 (1.1) 在 $p = p_F(\gamma)$ 时亦不存在全局弱解。

(2) liminf 与 limsup 的尖锐性（Proposition 4.1）：对任意 $\gamma \in (0,N)$ ，存在非负外力 $\mathbf{w}$ 使得 $R^{-\gamma} F(R)$ 的上极限为正但下极限为零；构造基于超指数尺度分离的环形区域，证明 $\liminf$ 条件不可被 $\limsup$ 替代。

(3) 算子正则变化爆破定理（Theorem 7.1）：设 $E \in \mathbb{R}^{N\times N}$ 为对称正定矩阵，定义各向异性算子球 $B_R^E = \{ x \neq 0 : \tau(x) \le R \}$ （其中 $\tau(x)$ 由 $|\tau(x)^{-E} x| = 1$ 定义），其体积 $|B_R^E| = \omega_N R^{\operatorname{tr}(E)}$ 。定义算子质量 $F_E(R) := \int_{B_R^E} \mathbf{w}(x)\,dx$ 。若 $F_E \in RV_{|E|+\rho}$ （ $|E| = \operatorname{tr}(E)$ ），且 $q := -\rho \in (0, |E|)$ ，则爆破发生于

1 < p < p_F^E := \frac{q}{q - 2\lambda_{\min}}, \quad \text{若 } q > 2\lambda_{\min},

且对所有 $$p > 1$$ 成立若 $q \le 2\lambda_{\min}$ ；此处 $\lambda_{\min}$ 为 $$E$$ 的最小特征值。当 $$E = I$$ 时， $p_F^E = p_F(\gamma)$ 退化为各向同性情形。

(4) 变号外力的Tauberian判据（Theorem 6.7）：若 $\mathbf{w} = \mathbf{w}_+ - \mathbf{w}_-$ ，且 $\mathbf{w}_-$ 的质量阶严格低于 $\mathbf{w}_+$ ，其高斯拉普拉斯变换 $\Lambda_{\mathbf{w}}(s) := \int_{\mathbb{R}^N} e^{-s|x|^2} \mathbf{w}(x)\,dx$ 满足 $\Lambda_{\mathbf{w}}(s) \sim s^{-\gamma/2} L(1/s)$ ( $s \to 0^+$ )， $L \in RV_0$ ，则 $F \in RV_\gamma$ ，主定理适用。

(5) 累积外力泛函判据（Theorem 8.7）：对时空依赖外力 $\mathbf{w}(x,t)$ ，定义 $\Phi(T) := \int_0^T \int_{|x| \le R(T)} \mathbf{w}(x,t)\,dx dt$ 。若 $\Phi \in RV_\alpha$ ，且检验函数指数 $\beta(p) = \frac{N}{2} - p'$ （其中 $$p' = p/(p-1)$$ ），则： $\alpha > \beta(p)$ 强制非存在； $\alpha = \beta(p)$ 且对应慢变因子 $\to \infty$ 仍强制非存在； $\alpha < \beta(p)$ 时检验函数法失效。

(6) 推广性结论：Theorem 5.6（变量降维）、Theorem 8.1（Riesz势外力 $\mathbf{w}(x) = |x|^{-\alpha} * v$ ）、Theorem 8.4（分数阶扩散 $\partial_t u + (-\Delta)^{\sigma/2} u = |u|^p + \mathbf{w}$ ）均给出相应 $$p_F$$ 表达式，验证框架普适性。

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

证明的核心障碍在于：传统 $$L^1$$ 框架依赖 $\int \mathbf{w}$ 的有限性以提供全局下界，而本文处理 $F(R) \to \infty$ 的情形，需在检验函数法中精确捕获 $$F(R)$$ 的渐近增长与慢变结构之间的微妙平衡。作者的真正创新点在于将 Karamata 正则变化理论深度嵌入 Mitidieri–Pohozaev 检验函数法的每一环节，形成一套可迁移的分析范式。

第一，检验函数构造与能量估计的精细化：选取 $\psi_T(t,x) = f(t/T)^{p'} g(|x|^2/T)^{2p'}$ （Step 1），其支撑集为 $[T/2, 2T/3] \times \{|x| \le \sqrt{T}\}$ 。关键计算（Step 2）导出上界

\frac{1}{2} \int_0^T \int_{\mathbb{R}^N} |u|^p \psi_T \,dx dt + \int_0^T \int_{\mathbb{R}^N} \mathbf{w} \psi_T \,dx dt \le C T^{1 + N/2 - p'},

此步依赖 Young 不等式吸收 $|\partial_t \psi_T|$ 与 $|\Delta \psi_T|$ 项，并利用 $\psi_T$ 的幂次设计使导数项的 $L^{p'}$ 范数恰为 $O(T^{-p'})$ （公式 (3.4)-(3.5)）。该估计的指数 $$1 + N/2 - p'$$ 是后续比较的基准。

第二，正则变化结构对下界的决定性作用：利用 $\psi_T$ 的支撑性质（Step 3），得到

\int_0^T \int_{\mathbb{R}^N} \mathbf{w} \psi_T \,dx dt \ge \frac{T}{6} F(\sqrt{T}).

将此代入上界得关键不等式 $F(\sqrt{T}) \le C T^{N/2 - p'}$ （公式 (3.8)）。此时障碍显现：若仅知 $\liminf R^{-\gamma} F(R) > 0$ ，则 $F(\sqrt{T}) \gtrsim T^{\gamma/2}$ ，矛盾要求 $\gamma/2 > N/2 - p'$ ，即 $p < p_F(\gamma)$ ；但在临界情形 $\gamma/2 = N/2 - p'$ 时，该下界退化为常数，无法推出矛盾。

第三，慢变函数的 Potter 型控制与 Karamata 积分定理：此即作者的核心技术突破。当 $F \in RV_\gamma$ ，即 $F(R) = R^\gamma L(R)$ ，不等式变为 $L(\sqrt{T}) \le C T^{N/2 - p' - \gamma/2}$ （公式 (3.9)）。利用 Lemma 2.3（对任意 $\delta > 0$ ， $R^{-\delta} \lesssim L(R) \lesssim R^{\delta}$ ），在亚临界时取 $\delta < -2(N/2 - p' - \gamma/2)$ ，得 $T^{-\delta/2} \lesssim L(\sqrt{T}) \le C T^{N/2 - p' - \gamma/2}$ ，因左指数小于右指数而矛盾。在临界时 $N/2 - p' - \gamma/2 = 0$ ，不等式简化为 $L(\sqrt{T}) \le C$ ，与 $L(R) \to \infty$ 直接矛盾。此步骤完全依赖 Karamata 表示定理（Theorem 2.1）与均匀收敛性（Theorem 2.2），是区别于以往工作的本质创新。

第四，算子正则变化的几何重构：为处理各向异性，作者采用 $$E$$ -极坐标分解 $x = \tau(x)^E \theta(x)$ （Remark 2.10），定义算子球 $$B_R^E$$ 并建立体积公式 $|B_R^E| = \omega_N R^{\operatorname{tr}(E)}$ 。检验函数相应调整为 $g_T(x) = g(\tau(x)/T)^{2p'}$ ，其拉普拉斯估计涉及 $$E$$ 的特征值 $\lambda_{\min}$ ，最终导出 $$p_F^E$$ 中的 $2\lambda_{\min}$ 项，体现各向异性对爆破阈值的量化影响。

第五，Tauberian 判据的技术实现：对变号外力，作者运用高斯核 $e^{-s|x|^2}$ 的 Laplace-Stieltjes 变换性质（Theorem 2.5），将 $\Lambda_{\mathbf{w}}(s)$ 的正则变化性（ $s \to 0^+$ ）与 $$F(R)$$ 的正则变化性（ $R \to \infty$ ）通过 Tauberian 对偶联系起来，绕过直接控制 $\mathbf{w}_-$ 的困难。

4. 与之前工作的比较

本文与既有工作存在多维度的本质差异，推进显著且代价清晰：

与经典 Fujita 理论（ $\mathbf{w} \equiv 0$ ）的比较：经典理论仅给出固定临界指数 $$p_F = 1 + 2/N$$ ，而本文揭示 $$p_F$$ 是质量增长阶 $\gamma$ 的连续函数 $p_F(\gamma)$ ，构成一族临界指数。当 $\gamma \to 0^+$ ， $p_F(\gamma) \to N/(N-2)$ （ $N \ge 3$ ），恢复 Bandle–Levine–Zhang 的 $$L^1$$ 框架；当 $\gamma \to N^-$ ， $p_F(\gamma) \to \infty$ ，意味着对强增长外力（如 $\mathbf{w}(x) = |x|^{-\varepsilon}$ ），所有 $$p > 1$$ 均爆破。此连续谱是概念性突破，但代价是结论仅适用于非负解，而经典理论对一般初值成立。

与 Bandle–Levine–Zhang [1] 的 $$L^1$$ 框架比较：[1] 要求 $\mathbf{w} \in L^1$ 且 $\int \mathbf{w} > 0$ ，其结论 $$1 < p < N/(N-2)$$ 是本文 $\gamma = 0$ 时的特例。本文大幅放宽假设： $F \in RV_\gamma$ 允许 $\mathbf{w}$ 非可积（如 Example 3.7 的 $|x|^{-(N-\gamma)}$ ），且 $\gamma > 0$ 时爆破范围 $1 < p < p_F(\gamma)$ 严格大于 $$N/(N-2)$$ （因 $p_F(\gamma) > N/(N-2)$ ）。然而，[1] 对变号外力有明确结论（只要 $\int \mathbf{w} > 0$ ），而本文的 Tauberian 判据（Theorem 6.7）要求 $\Lambda_{\mathbf{w}}(s)$ 的正则变化性，适用范围更窄但更具结构性。

与 liminf 假设（(1.2)）的比较：Proposition 4.1 明确指出，仅用 $\liminf$ 条件无法处理临界情形（Remark 3.6），而 $RV_\gamma$ 假设通过慢变因子 $$L(R)$$ 的发散性补全了这一缺口。此对比凸显正则变化理论的必要性：它不仅是技术便利，更是获得临界判据的不可或缺工具。

与各向同性推广工作的比较：此前工作（如 [2,3,4]）尝试处理各向异性，但多依赖特定坐标变换或 ad hoc 假设。本文的算子正则变化（Theorem 7.1）提供普适框架：通过矩阵 $$E$$ 编码各方向缩放率， $$|E|$$ 作为广义齐次维数， $\lambda_{\min}$ 控制最慢衰减方向的影响。Example 7.5 构造四维反例，证明 $$p_F^E$$ 可严格优于任何各向同性 $p_F(\gamma')$ ，表明该推广非平凡且不可逆。

与非局部方程工作的比较：针对分数阶拉普拉斯（Theorem 8.4），本文沿用相同检验函数法，但非局部算子的估计需借助 Córdoba–Córdoba 凸性不等式 [6,12] 处理 $(-\Delta)^{\sigma/2}$ 的非局部性，这增加了技术复杂度，但保持了框架一致性。代价是 $$p_F$$ 表达式依赖 $\sigma$ ，且对 $\sigma < 2$ 的情形需额外验证检验函数的适配性。

总体代价与局限：所有结果均要求解非负，未处理一般符号解；局部适定性在最小假设下未讨论；对 $\gamma \ge N$ 的情形（如 $\mathbf{w}(x) = |x|^{-\alpha}$ , $\alpha \le 0$ ）未覆盖；慢变因子 $L(R) \to 0$ 时（虽属 $RV_\gamma$ ）主定理 (i) 仍成立，但 (ii) 失效，此边界情形未深入探讨。

4. 非线性 Fokker–Planck 方程及其关联的分布依赖型随机微分方程的非唯一性

Non-Uniqueness for Nonlinear Fokker–Planck Equations and Their Associated Distribution-Dependent SDEs

作者: Huaxiang Lü

类别: math.PR, math.AP

发布日期: 2026-06-30

arXiv ID: 2606.31500v1

摘要翻译: 本文研究定义在区域 $\mathcal O=\mathbb T^d$ 或 $\mathbb R^d$ （ $d\geq 2$ ）上的分布依赖型随机微分方程：\begin{align*} {\rm d}X_t = v(t,X_t,ρ_t),{\rm d}t + \sqrt{2}, σ(t,X_t,ρ_t),{\rm d}W_t, \qquad ρ_t:=\frac{{\rm d}μ_t}{{\rm d}x}, \end{align*}其中 $μ_t=\operatorname{Law}(X_t)$ 。我们的主要构造工作是在其关联的非线性 Fokker–Planck 方程层面进行的。我们首先构造这些偏微分方程的概率解的非唯一性，再借助叠加原理（superposition principle）得到相应分布依赖型随机微分方程（DDSDEs）的非唯一鞅解。

Comment: 62 pages

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

1. 研究对象和背景

本文研究定义在环面 $\mathcal{O} = \mathbb{T}^d$ 或全空间 $\mathbb{R}^d$ （ $d \geq 2$ ）上的分布依赖型随机微分方程（Distribution-Dependent SDE, DDSDE）

\mathrm{d}X_t = v(t, X_t, \rho_t)\,\mathrm{d}t + \sqrt{2}\, \sigma(t, X_t, \rho_t)\,\mathrm{d}W_t, \quad \rho_t := \frac{\mathrm{d}\mu_t}{\mathrm{d}x}, \quad \mu_t = \operatorname{Law}(X_t),

其对应的非线性Fokker–Planck方程（nFPE）为

\partial_t \rho_t = \nabla \cdot \big( \nabla \cdot (\sigma \sigma^\top)(t,x,\rho_t) \rho_t \big) - \nabla \cdot \big( v(t,x,\rho_t) \rho_t \big) - \nabla \cdot \big( (V * \rho_t) \rho_t \big),

其中 $V: \mathbb{T}^d \to \mathbb{R}^d$ 为相互作用核， $\sigma$ 满足 Assumption 1.2 所列三类结构（Nemytskii 型、卷积型或二者叠加），且关键假设为 $\nabla \cdot \nabla \cdot (\sigma \sigma^\top)(t,x,1) \equiv 0$ 。当 $$v$$ 散度自由且 $\sigma$ 满足该零双散度条件时，常密度 $\rho \equiv 1$ 是环面上的平凡平稳解；而在全空间中，若存在位势 $\Phi$ 满足 $E = -\nabla \Phi$ 及增长条件 $\Phi(x) \to +\infty$ （ $|x| \to \infty$ ），则存在唯一平稳解 $\rho_{\mathrm{st}}(x) = g^{-1}(-\Phi(x) + \mu_{\mathrm{st}})$ ，其中 $g(r) = \int_1^r \frac{\beta'(s)}{s b(s)} \, \mathrm{d}s$ 。该模型涵盖非线性多孔介质型方程 $\partial_t \rho = \Delta \beta(\rho) + \nabla \cdot (E \rho)$ 、Keller–Segel 方程 $\partial_t \rho = \Delta \rho - \nabla \cdot (\rho \nabla c),\ -\Delta c = \rho$ 、二维涡度 Navier–Stokes 方程等，具有深刻的物理与概率诠释：DDSDE 描述代表性粒子的随机演化，而 nFPE 刻画其密度的宏观演化。核心理论问题在于解的适定性——即弱解/平稳解的唯一性。经典结果（如 [KR05, RZ21, Zha25]）表明，在 $\mathbb{R}^d$ 上对线性 Fokker–Planck 方程，当漂移 $v \in L^r_t L^p_x$ 满足 $\frac{d}{p} + \frac{2}{r} < 1$ 时存在唯一解；对 McKean–Vlasov 方程，[Fun84, Szn84] 等在 Lipschitz 系数下建立强解唯一性；[BR23a] 在全空间上对满足位势约束的非线性 nFPE 建立了唯一平稳解与 $$H$$ -定理收敛性。然而，这些结果均要求 $$v$$ 具有足够高正则性（如 $L^{d+}$ 类），而物理与生物模型中常出现临界或超临界漂移（如 $\nabla G \in L^{\frac{d}{d-1},\infty}$ ）。本文旨在填补这一空白：在自然临界正则性阈值 $C_t L^{d-}$ （即 $C([0,T]; L^{p})$ 中 $$p < d$$ ）下，构造反例证明解的非唯一性，揭示即使初始状态为平稳解，系统仍可沿无穷多不同路径演化；且即使无外力驱动（ $$v=0$$ ），系统亦可支持多个平稳态，从而挑战“小扰动不破坏唯一性”的直觉，并为相变与多稳态现象提供严格 PDE/概率框架下的数学机制。

2. 主要定理或主要结果

定理 1.3（环面上无穷多演化分支）：设 $d \geq 2$ , $$T > 0$$ , $\epsilon_0 \in (0,1)$ , $$1 < s < d$$ , $p,r \in [1,\infty]$ 满足 $\frac{d}{p} + \frac{1}{r} > 1$ 。若 $V \in L^{d,\infty}(\mathbb{T}^d; \mathbb{R}^d)$ ， $\sigma$ 满足 Assumption 1.2 且 $\nabla \cdot \nabla \cdot (\sigma \sigma^\top)(t,x,1) \equiv 0$ ，则对任意光滑散度自由 $v \in C^\infty([0,T]\times\mathbb{T}^d; \mathbb{R}^d)$ ，存在散度自由 $\tilde{v} \in L^r(0,T; L^p(\mathbb{T}^d; \mathbb{R}^d)) \cap C([0,T]; L^s(\mathbb{T}^d; \mathbb{R}^d))$ 满足 $\|\tilde{v} - v\|_{L^r_t L^p} + \|\tilde{v} - v\|_{C_t L^s} \leq \epsilon_0$ ，使得 nFPE (1.3) 以 $\rho_0 \equiv 1$ 为初值 admits无穷多互异的概率密度解 $\{\rho_i\}_{i\in\mathbb{N}}$ ，其中 $\rho_i \in C([0,T]; L^{1+\epsilon}(\mathbb{T}^d)) \cap L^1(0,T; W^{1,1+\epsilon}(\mathbb{T}^d))$ ，且 $|\tilde{v}|^{1+\epsilon} \rho_i \in L^1([0,T]; L^1(\mathbb{T}^d))$ ；相应地，DDSDE (1.2) 以体积测度为初值 admits 无穷多互异的鞅解 $\{Q_i\}_{i\in\mathbb{N}}$ ，满足 $\mathbb{E}_{Q_i} \left[ \int_0^T |\tilde{v}(s, \Pi_s)|^{1+\epsilon} \, \mathrm{d}s \right] < \infty$ 。定理 1.4（环面上有限多重平稳态）：设 $d \geq 3$ , $N \in \mathbb{N}$ , $$1 < d_0 < d$$ 。若 $\sigma(\rho) = \sqrt{a * \rho}$ , $V = \nabla \cdot b$ ，其中 $a,b \in L^{\frac{d}{d-\gamma},\infty}(\mathbb{T}^d; \mathbb{R}^{d\times d})$ 且 $1 < \frac{d}{\gamma} < d'_0 = \frac{d_0}{d_0-1}$ ，则对任意光滑散度自由 $$v$$ ，存在散度自由 $\tilde{v} \in C([0,T]; L^{d_0}(\mathbb{T}^d; \mathbb{R}^d))$ 满足 $\|\tilde{v} - v\|_{C_t L^1} \leq \epsilon_0$ ，使得 nFPE (1.3) 以 $\rho_0^i \equiv 1$ 为初值 admits至少 $$N$$ 个互异的非平凡概率密度解 $\{\rho_i\}_{1\leq i \leq N}$ ，其中 $\rho_i \in C([0,T]; L^{d'_0} \cap W^{1,1+\epsilon}(\mathbb{T}^d))$ ；DDSDE (1.2) 相应地 admits 至少 $$N$$ 个互异的鞅解。定理 1.5（环面上平稳解非唯一）：设 $d \geq 3$ , $N \in \mathbb{N}$ , $$1 < d_0 < d-1$$ ，系数同上，则存在散度自由 $\tilde{v} \in L^{d_0}(\mathbb{T}^d; \mathbb{R}^d)$ 满足 $\|\tilde{v} - v\|_{L^1} \leq \epsilon_0$ ，使得平稳 nFPE (1.6) $-\nabla \cdot \nabla \cdot ((\sigma \sigma^\top)(\rho)\rho) + \nabla \cdot (\tilde{v} \rho) + \nabla \cdot ((V * \rho)\rho) = 0$ admit 至少 $$N$$ 个互异的非常数概率密度解 $\{\rho_i\}_{1\leq i \leq N}$ ，其中 $\rho_i \in L^{d'_0}(\mathbb{T}^d) \cap W^{1,1+\epsilon}(\mathbb{T}^d)$ ；DDSDE (1.2) admit 至少 $$N$$ 个互异的平稳鞅解。定理 1.6（全空间上无穷多演化）：设 $d \geq 2$ , $\Phi$ 在 $[-\frac{1}{2},\frac{1}{2}]^d$ 上为常数，则存在紧支集散度自由 $$v$$ 满足 $\operatorname{supp} v \subset [\frac{1}{12}, \frac{11}{12}] \times [-\frac{1}{2}, \frac{1}{2}]^d$ 且 $\|v\|_{L^r_t L^p} + \|v\|_{C_t L^s} \leq \epsilon_0$ ，使得 nFPE (1.7) 以 $\rho_{\mathrm{st}}$ 为初值 admit 无穷多互异解 $\{\rho_i\}_{i\in\mathbb{N}} \subset C([0,1]; L^1(\mathbb{R}^d))$ ，且 $\rho_i(t,\cdot) = \rho_{\mathrm{st}}$ 对 $t \in [0,\frac{1}{12}] \cup [\frac{11}{12},1]$ 成立；DDSDE (1.8) 相应地 admit 无穷多互异弱解。定理 1.7（全空间上平稳解多重性）：设 $d \geq 3$ , $$1 < d_0 < d-1$$ ，则存在紧支集散度自由 $v \in L^{d_0}(\mathbb{R}^d; \mathbb{R}^d)$ 满足 $\|v\|_{L^1} \leq \epsilon_0$ ，使得 (1.7) admit 至少 $$N$$ 个互异平稳概率密度解 $\{\rho_i\}_{1\leq i \leq N} \subset L^{d'_0}(\mathbb{R}^d) \cap W^{1,1+\epsilon}(\mathbb{R}^d)$ ；DDSDE (1.8) admit 至少 $$N$$ 个互异平稳弱解。

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

核心障碍在于：非线性 Fokker–Planck 方程的解空间不具凸性，故无法通过线性情形中“两解之凸组合仍是解”来生成无穷多解；同时，分布依赖性导致系数 $v(t,x,\rho_t)$ 和 $\sigma(t,x,\rho_t)$ 非局部且非线性耦合于未知密度 $\rho_t$ ，使标准能量估计与紧性方法失效。作者的真正创新点是将凸积分（convex integration）方法系统性拓展至非线性、分布依赖型偏微分方程，并设计出适配无穷多解构造的迭代方案。具体而言：（1）针对时间演化非唯一性（Theorem 1.3），作者采用基于 $L^{d_0}$ 的间歇时空喷流（intermittent spatial-time jets，见 Appendix A），其构建块为 Mikado 型流（Mikado flows）的推广，具有尺度参数 $\lambda_q$ 与间歇维度 $$D=0$$ 。关键技巧在于引入递增整数列 $\{N_q\}_{q\in\mathbb{N}}$ 满足 $2N_q \sim \lambda_q^\alpha$ （ $\alpha>0$ 小），在第 $$q+1$$ 步仅处理前 $N_{q+1}$ 个应力项 $$M^i_q$$ ，并为其扰动施加衰减因子 $2^{-i}$ ；对 $i>N_{q+1}$ 的剩余项，利用 $$M^i_q$$ 可重写为 $4^{-i}$ 衰减形式，结合 $2^{-i} \lesssim \lambda_{q+1}^{-\alpha}$ 实现迭代闭合。（2）针对平稳解非唯一性（Theorem 1.5），因丧失时间间歇性，作者改用间歇维度 $$D=1$$ 的 Mikado 型流，导致正则性降至 $L^{d-D-} = L^{d-1-}$ ，这与 $$d_0 < d-1$$ 的假设一致，且与线性平稳方程 $-\Delta \rho + \nabla \cdot (v\rho)=0$ 的已知非唯一性阈值 $v \in L^{d-1-}$ 精确匹配。（3）全空间情形（Theorems 1.6–1.7）的核心新工具是 Bogovskii 算子，用于在 $\mathbb{R}^d$ 上求解 $\nabla \cdot u = f$ ，克服了环面上傅里叶级数截断的便利性缺失；同时，通过要求位势 $\Phi$ 在单位立方体上为常数，确保扰动 $$v$$ 紧支且不破坏无穷远处的位势结构，从而维持 $\rho_{\mathrm{st}}$ 的局部平稳性。（4）所有构造均严格依赖于散度自由漂移 $$v$$ 与零双散度扩散 $\nabla \cdot \nabla \cdot (\sigma \sigma^\top)(t,x,1) \equiv 0$ 的协同作用，此条件保证常密度 $\rho \equiv 1$ （或 $\rho_{\mathrm{st}}$ ）是精确的平凡解，为凸积分提供稳定的基准态。

4. 与之前工作的比较

与既有工作相比，本文在三个维度实现实质性推进：（1）正则性阈值：经典唯一性结果（如 [KR05, RZ21]）要求漂移 $v \in L^r_t L^p_x$ 满足 $\frac{d}{p} + \frac{2}{r} < 1$ （线性情形）或 Lipschitz 连续（McKean–Vlasov 情形），对应 $L^{d+}$ 类；而本文在 $C_t L^{d-}$ （即 $$L^p$$ 中 $$p<d$$ ）临界阈值构造反例，且明确指出该阈值“自然”——因 $\nabla G \in L^{\frac{d}{d-1},\infty}$ 等物理核恰位于此尺度，故本文结果在正则性上是sharp的。此前 [LRZ25, LR25] 仅处理线性 Fokker–Planck 方程（即 $\sigma$ 与 $\rho$ 无关），其无穷多解可由凸组合直接导出；而本文首次处理 genuinely nonlinear nFPE，必须发展全新迭代框架。（2）解的类型与数量：Dawson 模型 [Daw83] 仅证明双阱位势下至多三个平稳态，且依赖常数扩散与特定位势；本文则对一般 $V, \sigma$ 构造任意给定数量 $$N$$ 的平稳态（Theorem 1.4, 1.5），并首次实现从单一平稳初值出发的无穷多演化分支（Theorem 1.3, 1.6），后者在线性情形中自动蕴含，但在非线性情形中需独立构造。（3）适用范围与代价：本文结果覆盖卷积型 $\sigma(\rho) = \sqrt{a * \rho}$ 与 Nemytskii 型 $\sigma(t,x,\rho) = \sigma_1(t,x,\rho(x))$ 等广泛扩散结构，且允许 $$V$$ 为 $L^{d,\infty}$ 甚至更奇异的 $L^{\frac{d}{d-\gamma},\infty}$ 核（Theorem 1.4），远超 [BR23a] 要求的光滑性；但代价是构造出的“坏”漂移 $\tilde{v}$ 必须紧支（全空间）或依赖于预设光滑 $$v$$ 的邻域，且正则性 $C_t L^{d-}$ 无法提升至 $$C_t L^d$$ 。此外，本文未处理 $$d=2$$ 的平稳解多重性（Theorem 1.5 要求 $d \geq 3$ ），而 [Zhi04, CO22] 在 $$H^1$$ 类中讨论了 $$d=2$$ 的线性情形，本文的 $L^{d'_0} \cap W^{1,1+\epsilon}$ 解空间与之不同。作者未显式展开比较 [GG25, RZZ25] 等近期凸积分工作，但从技术细节可见：本文的 $\{N_q\}$ 分层迭代与 $2^{-i}$ 衰减设计是为克服“无穷多解”这一新目标而独创，区别于以往单一方程的凸积分。

5. Muckenhoupt 类之外的幂权 Stokes 算子

The Stokes Operator with Power Weights Outside the Muckenhoupt Class

作者: Erik S. Heidrich

类别: math.AP

发布日期: 2026-06-30

arXiv ID: 2606.31542v1

摘要翻译: 本文中，我们在加权 $$L^p$$ -空间中证明了半空间上带无滑移边界条件的 Stokes 预解问题的估计。我们所考虑的权函数为幂权，且既包含也超出 Muckenhoupt 范围。我们的估计表明，相应的 Stokes 算子是某个有界解析 $$C_0$$ -半群的生成元。此外，我们还证明该算子具有角为 $$0$$ 的有界 $H^\infty$ -演算。该结果即使在 Muckenhoupt 范围内亦属新见。

Comment: 16 pages, no figures

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

1. 研究对象和背景

本文研究半空间 $H := \{ x = (x_1,\dots,x_{n+1})^\top \in \mathbb{R}^{n+1} : x_{n+1} > 0 \}$ （ $n \geq 1$ ）上带无滑移边界条件的Stokes方程的解析理论，核心对象是加权 $$ L^p $$ -框架下的Stokes算子 $A_{p,\gamma}$ ，其定义域与值域均嵌入于加权Sobolev空间 $L^p_\gamma(H)^{n+1}$ 中。所考虑的方程为：

\begin{cases} \partial_t u - \Delta u + \nabla p = f & \text{in } H, \\ \operatorname{div} u = 0 & \text{in } H, \\ u|_{\partial H} = 0 & \text{on } \partial H. \end{cases} \tag{1}

其中未知量 $u = (u_1,\dots,u_{n+1})^\top : H \to \mathbb{R}^{n+1}$ 为速度场， $p : H \to \mathbb{R}$ 为压力， $$ f $$ 为外力项。权重函数取为幂型距离权 $w_\gamma(x) = \operatorname{dist}(x,\partial H)^\gamma = x_{n+1}^\gamma$ ，对应加权空间 $L^p_\gamma(H)^{n+1} := L^p(H; x_{n+1}^\gamma \, dx)^{n+1}$ ，参数范围为 $\gamma \in (-p-1, 2p-1) \setminus \{-1, p-1\}$ 。

该问题的重要性源于其在确定性与随机偏微分方程中的双重基础地位。一方面，在确定性流体力学中，Stokes算子的谱性质、半群生成性与 $H^\infty$ -演算直接决定Navier-Stokes方程初边值问题的适定性、正则性与长期行为；另一方面，在随机PDEs（如随机Navier-Stokes方程）中，噪声的粗糙性迫使解及其导数在边界附近具有可控的奇异性，而幂权 $w_\gamma$ 正为此提供精确的尺度刻画：当 $\gamma \in (p-1, 2p-1)$ 时，解允许在边界处以速率 $x_{n+1}^{\gamma/p}$ 爆破，这恰是SPDEs中边界相容性条件失效时所需的补偿机制（参见Flandoli [7] 及 [20–22]）。因此，将Stokes理论拓展至该临界权范围具有明确的应用驱动力。

然而，经典调和分析工具在此范围内完全失效。Muckenhoupt $$ A_p $$ 类权重是加权 $$ L^p $$ 空间上“良好”调和分析存在的充要条件： $w_\gamma \in A_p$ 当且仅当 $-1 < \gamma < p-1$ 。在此范围内，Helmholtz分解 $L^p_\gamma(H)^{n+1} = L^p_{\sigma,\gamma}(H) \oplus \nabla L^p_\gamma(H)$ 成立（参见[8]），从而可将Stokes算子定义为 $A_{p,\gamma} = -\mathbb{P}_\gamma \Delta|_{L^p_{\sigma,\gamma}}$ ，其中 $\mathbb{P}_\gamma$ 为加权Helmholtz投影。但当 $\gamma \in (p-1, 2p-1)$ 时， $w_\gamma \notin A_p$ ，Riesz变换 $R_i = \partial_i \Delta^{-1/2}$ 在 $L^p_\gamma$ 上无界，导致Helmholtz分解的存在性成为悬而未决的公开问题（文中明确指出：“It is not known whether (3) holds for $L^p_\gamma(H)^{n+1}$ when $p-1 < \gamma < 2p-1$ ”）。这一根本障碍使得传统基于投影算子的Stokes算子构造路径不可行。

本文试图填补的关键空白正是：在完全绕过Helmholtz分解的前提下，直接建立Stokes算子 $A_{p,\gamma}$ 的全谱理论——包括其作为有界解析 $$ C_0 $$ -半群生成元的性质，以及更强的角为0的有界 $H^\infty$ -演算——覆盖整个自然权范围 $\gamma \in (-p-1, 2p-1)$ 。特别地，作者强调该结果“even within the Muckenhoupt range”亦属新成果，表明即使在 $$ A_p $$ 范围内，现有文献（如Fröhlich [9]）仅证明了半群生成性与极大正则性，而未触及 $H^\infty$ -演算这一更精细的结构。

2. 主要定理或主要结果

本文在 $1 < p < \infty$ 且 $\gamma \in (-p-1, 2p-1)$ 的完整参数范围内，严格证明了以下三个核心结论：

定理1.1（Stokes预解估计）：对任意 $\theta \in (0,\pi)$ ，令 $\Sigma_\theta := \{ z \in \mathbb{C} : |\arg z| < \theta \}$ 。则对所有 $\lambda \in \Sigma_\theta$ 及所有 $f \in L^p_{\sigma}(H) \cap L^p_\gamma(H)^{n+1}$ ，Stokes预解问题

\begin{cases} \lambda u - \Delta u + \nabla p = f & \text{in } H, \\ \operatorname{div} u = 0 & \text{in } H, \\ u|_{\partial H} = 0 & \text{on } \partial H \end{cases} \tag{4}

存在唯一解 $u_\lambda$ ，且满足预解估计

\|u_\lambda\|_{L^p_\gamma(H)^{n+1}} \lesssim \frac{1}{|\lambda|} \|f\|_{L^p_\gamma(H)^{n+1}}, \quad \forall \lambda \in \Sigma_\theta. \tag{6}

此处隐含常数仅依赖于 $n,p,\theta,\gamma$ ，且估计在 $\lambda$ 的整个扇形内一致成立。

推论1.2（半群生成性）：由定理1.1定义的Stokes算子 $A_{p,\gamma}$ （其预解式由(5)给出）是 $L^p_{\sigma,\gamma}(H) := \overline{C^\infty_{0,\sigma}(H)}^{\|\cdot\|_{L^p_\gamma}}$ 上的扇形算子，扇形角 $\omega_S(A_{p,\gamma}) = 0$ ，即 $\sigma(A_{p,\gamma}) \subset (-\infty,0]$ 且对任意 $\theta \in (0,\pi)$ ，预解式满足 $\|(\lambda - A_{p,\gamma})^{-1}\|_{\mathcal{L}(L^p_{\sigma,\gamma})} \lesssim |\lambda|^{-1}$ 对所有 $\lambda \in \Sigma_\theta$ 成立。因此， $A_{p,\gamma}$ 是 $L^p_{\sigma,\gamma}(H)$ 上一个有界解析强连续半群 $\{e^{-t A_{p,\gamma}}\}_{t\geq 0}$ 的生成元。

定理1.3（有界 $H^\infty$ -演算）：算子 $A_{p,\gamma}$ 在 $L^p_{\sigma,\gamma}(H)$ 上 admits a bounded $H^\infty$ -calculus of angle $\omega_H(A_{p,\gamma}) = 0$ 。即，对任意 $\tau \in (0,\pi)$ 及任意 $f \in H^\infty_0(\Sigma_\tau) := \{ f \in H^\infty(\Sigma_\tau) : |f(\lambda)| \lesssim (|\lambda|/(1+|\lambda|)^2)^s \text{ for some } s>0 \}$ ，由Dunford积分定义的函数演算

f(A_{p,\gamma}) = \frac{1}{2\pi i} \int_{\partial \Sigma_\tau} f(\lambda) (\lambda - A_{p,\gamma})^{-1} \, d\lambda

满足算子范数估计

\|f(A_{p,\gamma})\|_{\mathcal{L}(L^p_{\sigma,\gamma})} \lesssim \|f\|_{L^\infty(\Sigma_\tau)}.

该结论蕴含 $A_{p,\gamma}$ 具有极大 $$ L^p $$ -正则性，并进一步推出其具有随机极大 $$ L^p $$ -正则性（stochastic maximal $$ L^p $$ -regularity），这对随机Navier-Stokes方程的适定性至关重要。

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

证明的核心障碍在于：当 $\gamma \notin (-1, p-1)$ 时，标准调和分析工具（如Riesz变换有界性、Helmholtz分解）全部失效，无法沿用经典路径构造Stokes算子。作者的根本创新点在于完全放弃投影方法，转而采用“预解式驱动”的直接分析策略，其技术框架由三重精密估计构成：

第一重：显式核的尺度化与渐近分析。作者利用[3]中给出的Stokes预解问题的显式Fourier解公式（式(7)），将解分解为 $v = (\lambda - \Delta_D)^{-1} f_v + v_2$ ，其中 $$ v_2 $$ 由卷积核 $$ r_v $$ 控制（式(8)）。关键突破在于对核 $$ r_v $$ 实施精确的尺度变换：通过变量替换 $\xi \mapsto |\lambda|^{1/2} \xi$ , $y \mapsto y / |\lambda|^{1/2}$ 等（式(9)），将 $$ r_v $$ 的 $\lambda$ -依赖性完全吸收到尺度因子 $|\lambda|^{(n-1)/2}$ 中，并证明其Fourier逆变换满足点态估计（Proposition 3.1）

|r_v(x,y,\tilde{y},\lambda)| \leq M y e^{-c\tilde{y}} \int_0^\infty \frac{s^n}{1+y+s} e^{-cs(|x|+y+\tilde{y})} \, ds.

此估计为后续加权范数控制提供了原始不等式基础。

第二重：加权范数估计的三区域分割与指数积分精算。为证明预解估计(6)，需控制积分算子 $$ v_2 $$ 的加权 $$ L^p $$ -范数。作者将 $$ y $$ - $\tilde{y}$ 平面划分为三个区域： $$ I_1 $$ （ $y \geq \delta$ ）、 $$ I_2 $$ （ $y < \delta, \tilde{y} \geq \delta$ ）、 $$ I_3 $$ （ $y, \tilde{y} < \delta$ ），其中 $\delta = \frac{1}{3} |\lambda|^{-1/2}$ 。在每个区域内，利用尺度变换后的核估计，并引入指数积分函数 $E_1(x) = \int_x^\infty e^{-t}/t \, dt$ 的渐近行为：当 $x \to 0^+$ 时 $E_1(x) = -\log x + O(1)$ ，当 $x \to \infty$ 时 $E_1(x) \sim e^{-x}/x$ 。通过细致的变量代换（如 $t = c|\lambda|^{1/2}(y+\tilde{y})u$ ）与积分次序交换（Fubini-Tonelli），将加权积分 $$ I_v $$ （式(13)）转化为对 $$ E_1 $$ 的可控积分，并最终得到

I_v \lesssim |\lambda|^{-p},

从而确立 $\|v_2\|_{L^p_\gamma} \lesssim |\lambda|^{-1} \|f_v\|_{L^p_\gamma}$ 。此步骤的精妙之处在于，它不依赖于任何全局调和分析，而仅依靠核的显式结构与指数衰减特性。

第三重：对偶延拓与伪预解式构造。前述估计仅在 $\gamma \in (-p-1, p-1)$ 内直接成立（因涉及 $\gamma' = -\gamma/(p-1)$ 的对偶权条件）。作者通过 $L^p_\gamma$ - $L^{p'}_{\gamma'}$ 对偶性（Remark 2.1），将结果延拓至整个 $\gamma \in (-p-1, 2p-1)$ 。更关键的是，为在缺乏Helmholtz分解的 $L^p_{\sigma,\gamma}$ 上定义Stokes算子，作者构造了一个伪预解式（pseudoresolvent） $\{R_\gamma(\lambda)\}_{\lambda \in \Sigma_\theta}$ ：先在稠密子空间 $X_0 = L^p_\sigma(H) \cap L^p_\gamma(H)^{n+1}$ 上定义 $R(\lambda)$ ，再由定理1.1的有界性将其连续延拓至 $L^p_{\sigma,\gamma}(H)$ ，并验证其满足伪预解式恒等式，从而保证其对应一个唯一的闭线性算子 $A_{p,\gamma}$ 。此构造完全规避了投影算子的缺失问题，是本文最本质的方法论创新。

4. 与之前工作的比较

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

1. 权范围与调和分析基础的突破。此前所有关于加权Stokes算子的工作（如Fröhlich [9]）均严格限定在 $$ A_p $$ 范围内，即 $\gamma \in (-1, p-1)$ ，其证明严重依赖于 $w_\gamma \in A_p$ 所保证的Riesz变换有界性与Helmholtz分解（[8]）。本文首次将理论推进至整个自然权范围 $\gamma \in (-p-1, 2p-1)$ ，特别是覆盖了 $\gamma \in (p-1, 2p-1)$ 这一非 $$ A_p $$ 区域。作者明确指出：“This result seems to be new even within the Muckenhoupt range”，意指即使在 $\gamma \in (-1,p-1)$ 内，本文所证得的 $H^\infty$ -演算（角为0）亦为全新结论，因为[9]仅证明了半群生成性与极大正则性，未触及 $H^\infty$ -演算这一更高阶结构。

2. 方法论的根本转向。经典路径（[3,13]）依赖于Helmholtz分解 $\mathbb{P}_\gamma$ 将Stokes算子表示为 $-\mathbb{P}_\gamma \Delta$ ，再利用 $\mathbb{P}_\gamma$ 的有界性传递拉普拉斯算子的性质。本文则彻底抛弃此路径，采用“预解式优先”策略：直接分析显式解核 $$ r_v $$ 的加权积分算子性质，通过尺度分析与指数积分技巧完成估计。这种直接核分析法代价是技术细节极为繁复（如三区域分割、 $$ E_1 $$ 函数的渐近匹配），但收益是完全摆脱了对 $$ A_p $$ 条件的依赖，为处理更广义的奇异权（如渐近幂权，见Remark 4.3）提供了范式。

3. 时间尺度与适用范围的拓展。在确定性PDE层面，本文结果意味着Stokes半群 $e^{-tA_{p,\gamma}}$ 在 $L^p_{\sigma,\gamma}(H)$ 上不仅是有界的，而且是解析的（analytic），其生成元具有角为0的 $H^\infty$ -演算，这比单纯的最大正则性（maximal regularity）更强，能刻画分数次幂域与复插值空间。在随机PDE层面， $H^\infty$ -演算的成立直接推出随机极大 $$ L^p $$ -正则性（[33]），这是处理乘性噪声驱动的随机Navier-Stokes方程所必需的，而此前工作（如[20–22]）仅能在 $$ A_p $$ 权下处理加性噪声或更弱的正则性要求。

4. 局限与未解决问题。本文的局限性在于其结果目前仅适用于半空间 $$ H $$ ，尚未推广至更一般的区域（如弯曲边界或外区域）。虽然Remark 4.3提及对“渐近幂权”（asymptotically power weight）的推广可能性，但作者未给出具体证明。此外，文中明确承认Helmholtz分解在非 $$ A_p $$ 权下的存在性仍是开放问题（“It is not known whether (3) holds…”），本文的伪预解式构造虽绕过了此障碍，但未能回答该基本分解是否存在。最后，关于 $\gamma = -1$ 或 $\gamma = p-1$ 这两个临界值，作者排除在外（ $\setminus \{-1, p-1\}$ ），其边界行为尚待研究。

6. 关于粘性不可压流体中具有表面张力的坍缩气泡的存在性

On existence of a collapsed bubble with surface tension in viscous incompressible fluid

作者: Yoshikazu Giga, Zhongyang Gu

类别: math.AP

发布日期: 2026-06-30

arXiv ID: 2606.31266v1

摘要翻译: 我们考虑 $\mathbb{R}^d$ ( $d\ge2$ ) 中不可压 Navier-Stokes 方程的单相自由边界问题。其中计入表面张力效应。初始区域为气泡外部区域，即一个外部区域。我们证明：存在一个由该自由边界问题所描述的气泡，其在有限时间内坍缩，且其边界主曲率不发生爆破。换言之，所谓 splash 奇异性在有限时间内形成。此类结果对有界初始区域亦成立。为构造该例子，我们引入了具有 $$δ$$ -翼的区域的概念：它是一个非嵌入于 $\mathbb{R}^d$ 中的平坦 Riemann 流形，但它覆盖了原区域（其边界自相交）的 $$δ$$ -邻域。

Comment: 49 pages, 4 figures

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

1. 研究对象和背景

本文研究 $\mathbb{R}^d$ （ $d \ge 2$ ）中带表面张力的不可压 Navier-Stokes 方程的一相自由边界问题。设 $\Omega(t) \subset \mathbb{R}^d$ 为流体占据的开区域，其补集代表气泡（即 $\Omega(t)$ 是气泡外部的无界区域或有界区域），边界 $\partial \Omega(t)$ 为自由界面，其演化由流体速度场驱动。所研究的方程组为：

\begin{cases} \partial_t u + (u \cdot \nabla) u - \operatorname{div} S(u, \varpi) = 0 & \text{in } \Omega(t), \\ \operatorname{div} u = 0 & \text{in } \Omega(t), \\ S(u, \varpi) n = \sigma \kappa n & \text{on } \partial \Omega(t), \\ u \cdot n = V & \text{on } \partial \Omega(t), \end{cases}

其中应力张量 $S(u, \varpi) = -\varpi I + 2\mu D(u)$ ，应变率张量 $D(u) = \frac{1}{2}(\nabla u + (\nabla u)^\top)$ ， $$n$$ 为 $\partial \Omega(t)$ 的外法向单位向量， $\kappa = (d-1) H$ 为 $$d-1$$ 倍平均曲率（即主曲率之和）， $$V$$ 为界面法向速度，且满足运动学条件 $V = u \cdot n$ 。参数 $\mu > 0$ 、 $\sigma > 0$ 分别为常数粘性系数与表面张力系数。初始条件为 $\Omega(0) = \Omega_0$ 、 $$u(x,0) = u_0(x)$$ ，其中 $\Omega_0$ 是紧致边界的 $$C^3$$ 区域——即要么是有界区域（如液滴），要么是外区域（如气泡）。关键未知量为速度场 $u: \Omega(t) \to \mathbb{R}^d$ 、压力 $\varpi: \Omega(t) \to \mathbb{R}$ 及随时间演化的区域 $\Omega(t)$ 。

该问题的核心数学挑战在于自由边界 $\partial \Omega(t)$ 的几何奇性生成机制。经典正则性理论（如 Solonnikov [36–41]、Shibata [27–32]）均假设初始边界 $\partial \Omega_0$ 是嵌入的 $$C^k$$ 流形，并在短时存在性证明中依赖于边界不自交这一拓扑稳定性。然而物理实验中常见气泡坍缩现象：两个界面趋近、接触并形成尖点或自交点，对应数学上的“splash singularity”——即存在有限时间 $T_c < \infty$ ，使得 $\partial \Omega(t)$ 在 $t \uparrow T_c$ 时首次出现自交点 $P \in \mathbb{R}^d$ ，满足 $P \in \partial \Omega(t_1) \cap \partial \Omega(t_2)$ 对某 $t_1 \ne t_2$ ，或更严格地，存在单一时刻 $$T_c$$ 使 $\partial \Omega(T_c)$ 在 $$P$$ 处具有双重覆盖（即局部为两片光滑曲面以非切方式相交）。重要的是，此类奇性并非由曲率爆破（如 cusp 或 pinch-off）引起，而是纯几何拓扑失稳：主曲率 $\kappa_i$ 在 $t \uparrow T_c$ 时保持一致有界，即 $\sup_{t \in [0,T_c)} \|\kappa_i(\cdot,t)\|_{L^\infty(\partial \Omega(t))} < \infty$ ；同时速度场 $$u$$ 在 $\overline{\Omega(t)}$ 上保持 $$C^1$$ 有界。这区别于传统奇性分类（如类型 I blow-up 满足 $|\nabla u| \sim (T_c - t)^{-1/2}$ 或曲率 $\kappa \sim (T_c - t)^{-1}$ ），构成一类新的、仅由界面自交驱动的弱奇性。

已有工作对此类奇性的构造存在根本性限制。当 $\sigma = 0$ 时，Coutand–Shkoller [7] 首次严格构造了 splash singularity：他们利用 Lagrange 坐标将问题化为固定区域上的抛物型系统，通过设计初值使界面两点以相同法向速度相向运动，在有限时间内精确碰撞。但该方法严重依赖 $\sigma = 0$ 下系统的纯抛物性——此时线性化算子主部为强椭圆，且无曲率项耦合。一旦引入表面张力（ $\sigma > 0$ ），自由边界条件 $S n = \sigma \kappa n$ 将曲率显式耦合进动量方程，导致线性化系统出现非局部、非线性、高阶导数的边界项，破坏 Lagrange 坐标下的标准最大正则性框架。Hanzawa 变换虽可处理 $\sigma > 0$ 的局部存在性，但其定义前提为边界嵌入且法向坐标唯一，无法延拓至自交发生后的非嵌入情形。因此，一个长期悬而未决的问题是：在 $\sigma > 0$ 的物理真实设定下，是否仍存在坍缩气泡解？若存在，其奇性结构是否真能避免曲率爆破？本文旨在填补这一关键空白：在 $\sigma > 0$ 条件下，首次证明存在初值 $\Omega_0$ 和 $$u_0$$ ，使得解 $\Omega(t), u(t)$ 在有限时间 $$T_c$$ 内形成 splash singularity，且 $\|u(\cdot,t)\|_{C^1}, \|\kappa(\cdot,t)\|_{L^\infty}$ 在 $$[0,T_c)$$ 上一致有界。

2. 主要定理或主要结果

本文核心结论由定理 1 给出，其严格表述如下：设 $\Omega \subset \mathbb{R}^d$ ( $d \ge 2$ ) 为紧致边界的 $$C^3$$ splash domain（定义见第 2 节）， $P \in \partial \Omega$ 为其自交点。则存在一族非递减的 $$C^3$$ 嵌入区域 $\{\Omega_{0,\eta}\}_{\eta > 0}$ 及相应初速度场 $u_{0,\eta} \in C^1(\overline{\Omega_{0,\eta}})$ ，满足如下性质：(i) 当 $\eta \to 0$ 时， $\Omega_{0,\eta}$ 在 $$C^3$$ 拓扑下收敛于 $\Omega$ 的一个子 splash domain，且其边界在 $\mathbb{R}^d$ 中逼近 $\partial \Omega$ ；(ii) $u_{0,\eta}$ 满足散度自由条件 $\operatorname{div} u_{0,\eta} = 0$ in $\Omega_{0,\eta}$ 及相容性条件 $(D(u_{0,\eta}) n_{0,\eta})_{\mathrm{tan}} = 0$ on $\partial \Omega_{0,\eta}$ ；(iii) 对应的解 $\Omega_\eta(t), u_\eta(t), \varpi_\eta(t)$ 存在坍缩时间 $T_c^{(\eta)} < \infty$ ，满足 $T_c^{(\eta)} \le C_0 \eta^{1/2}$ （其中 $$C_0 > 0$$ 为与 $\eta$ 无关的常数），且在 $[0, T_c^{(\eta)})$ 上， $\partial \Omega_\eta(t)$ 保持嵌入；(iv) 在 $t = T_c^{(\eta)}$ 时刻， $\partial \Omega_\eta(T_c^{(\eta)})$ 在 $$P$$ 附近形成自交点，即存在 $y_1 \ne y_2 \in \hat{\Gamma}$ （ $\hat{\Gamma}$ 为 $\delta$ -wing 边界）使得 $\pi(y_1) = \pi(y_2) = P$ ，且 $\Omega_\eta(T_c^{(\eta)})$ 成为 splash domain；(v) 关键先验估计成立： $\sup_{t \in [0, T_c^{(\eta)})} \left( \|u_\eta(\cdot, t)\|_{C^1(\overline{\Omega_\eta(t)})} + \sum_{i=1}^{d-1} \|\kappa_i(\cdot, t)\|_{L^\infty(\partial \Omega_\eta(t))} \right) \le C_1$ ，其中 $$C_1$$ 独立于 $\eta$ 。此外，定理 1 的构造对有界初区域亦成立，即当 $\Omega_0$ 为有界 $$C^3$$ 区域时，同样存在坍缩解。文中明确指出，坍缩时间上界 $T_c^{(\eta)} = O(\eta^{1/2})$ 源于界面两点间初始距离为 $O(\eta)$ ，且相对法向速度被控制为 $O(\eta^{1/2})$ ，此尺度关系由初值构造中的高度函数 $h_0^{(\eta)}$ 的 $$C^2$$ 范数 $\|h_0^{(\eta)}\|_{C^2} = O(\eta)$ 所决定。

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

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

摘要翻译

中文标题: 超越偶数指数的Hénon方程非径向整体解的存在性

摘要翻译: 本文研究临界Hénon方程

arXiv ID: 2606.31129v1

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

摘要: We propose a variational approach to principal spectral values of non-selfadjoint operator pencils $\mathcal L u=λ\mathcal G u$ , where the weight operator $\mathcal G$ may be singular. The aim is to obtain Rayleigh-type minimax formulas for selected real spectral levels in settings where the standard selfadjoint variational theory is unavailable and positivity-based methods may not apply directly. The construction is based on the extended two-variable Rayleigh quotient

\mathcal R(u,v) = \frac{\langle \mathcal L u,v\rangle} {(\mathcal G u,v)_H},

defined on admissible cone pairs. It leads to dual sup-inf and inf-sup principal levels, cone quasi-eigenvalues, and corresponding trapping and saddle-point principles. The resulting minimax formulas characterize selected real cone levels of non-selfadjoint operator pencils and identify them with principal spectral values whenever positive right-left eigenpairs exist, including cases with non-invertible operators and singular weights. We prove that these formulas are stable under finite-dimensional approximation. Thus the classical idea of approximating spectral data by finite-dimensional variational problems acquires an analogue for non-selfadjoint operator pencils in an ordered cone setting. The method also yields a posteriori spectral certificates, one-sided perturbation bounds, and approximation estimates. Elliptic examples illustrate both the scope of the method and the sharpness of the estimates.

8. 时间分数阶演化方程中确定源项阶数与时间因子的反问题的唯一性

Uniqueness for an inverse problem of determining order and temporal factor of the source for time-fractional evolution equations

作者: Ravshan Ashurov, Masahiro Yamamoto

类别: math.AP

发布日期: 2026-06-30

arXiv ID: 2606.31113v1

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

摘要: This paper addresses the inverse problem of simultaneously recovering the fractional order $α\in (0,1)\cup (1,2)$ and the time-dependent source factor $$p(t)$$ in the Cauchy problem for an evolution equation with a general self-adjoint operator $$A$$ in a Hilbert space $$X$$ . The overdetermination condition is given by the scalar product $$( u(t), ψ)_X$$ for $$0 < t < T$$ , where $ψ\in D(A)$ is an arbitrary fixed element. Uniqueness of the fractional order $$α$$ is established independently of the specific form of the elliptic operator $$A$$ and the source function $$p(t)$$ . Furthermore, uniqueness of the factor $$p(t)$$ is proved not only under the trivial overdetermination $$( u(t), ψ)_X = 0$$ for all $t \in (0,T)$ , but also when the function $t \mapsto ( u(t), ψ)_X$ possesses sufficient smoothness. The proof relies on a decomposition of the solution near $$t=0$$ into a least smooth component and a smoother remainder.

9. Sobolev 空间在 snowtree 上

Sobolev spaces on snowtrees

作者: Efstathios-Konstantinos Chrontsios-Garitsis, Vyron Vellis

类别: math.MG, math.AP, math.CA, math.PR

发布日期: 2026-06-29

arXiv ID: 2606.30927v1

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

摘要: We introduce a discrete-energy Sobolev space $\mathcal{W}^{1,p}_{\mathscr V}(T)$ on Ahlfors regular snowtrees, a class of metric trees where every arc is a snowflake of the same type. Our main result shows that, for every partition $\mathscr V$ and every $1<p<\infty$ , this discrete space coincides quantitatively with the Korevaar–Schoen space on $$T$$ . This fact and the independence of the space on the particular partition used to define $\mathcal{W}^{1,p}_{\mathscr V}(T)$ are both novel even for the class of geodesic trees. We also determine the critical Korevaar-Schoen exponent for Ahlfors regular snowtrees and prove capacity attainment and upper estimates, which reveal the appropriate walk dimension needed for the corresponding probabilistic profile on these trees.

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

1. 具有任意无穷远处渐近态的分数阶 Navier-Stokes 方程的 Liouville 型定理#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 一维广义Burgers-Huxley方程的近似可控性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. Fujita 型爆破：带正则变强迫项的非齐次半线性热方程#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. 非线性 Fokker–Planck 方程及其关联的分布依赖型随机微分方程的非唯一性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

5. Muckenhoupt 类之外的幂权 Stokes 算子#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

6. 关于粘性不可压流体中具有表面张力的坍缩气泡的存在性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 非线性动能型 Fokker-Planck 方程：存在性与扩散极限#

摘要翻译#

2. 某些含漂移项的非Fredholm算子及Laplace与双Laplace算子在序列意义下的可解性#

摘要翻译#

3. 超越偶数指数的Hénon方程非径向整体解的存在性#

摘要翻译#

4. 一类双重非线性抛物型分数阶偏微分方程的比较原理#

摘要翻译#

5. Fisher-KPP 方程在几乎周期介质中具有缓慢衰减初值的传播速度#

摘要翻译#

6. Hallaire-Luikov 湿度传递方程的推广：含 $ψ$-Prabhakar 算子的正问题#

摘要翻译#

7. 非线性 Stegall 引理与 Wasserstein 空间上的广义 Hamilton-Jacobi-Bellman 方程#

摘要翻译#

8. 球面 $\mathbb{S}^2$ 上具幂律型非线性的薛定谔方程的典型不适定性#

摘要翻译#

9. 随机Korteweg–de Vries方程适定性的再研究#

摘要翻译#

10. Newman-Unti 规范下闵可夫斯基时空的稳定性#

摘要翻译#

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

1. ACF 在无穷远处的几乎单调性及其在扰动整体解中的应用#

2. Ornstein–Uhlenbeck 半群在有根树上的作用#

3. 圆盘上的V线张量断层成像：理论与数值重建#

4. 关于 $p$-拉普拉斯算子的 Pleijel 型节点域估计#

5. 超波长非线性共振与连续谱中的束缚态在超表面中#

6. 长程分离模型中奇点集的群论构造#

7. 非自伴算子束的锥极小极大原理#

8. 时间分数阶演化方程中确定源项阶数与时间因子的反问题的唯一性#

9. Sobolev 空间在 snowtree 上#

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

1. 具有任意无穷远处渐近态的分数阶 Navier-Stokes 方程的 Liouville 型定理

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 一维广义Burgers-Huxley方程的近似可控性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. Fujita 型爆破：带正则变强迫项的非齐次半线性热方程

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 非线性 Fokker–Planck 方程及其关联的分布依赖型随机微分方程的非唯一性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. Muckenhoupt 类之外的幂权 Stokes 算子

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

6. 关于粘性不可压流体中具有表面张力的坍缩气泡的存在性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 非线性动能型 Fokker-Planck 方程：存在性与扩散极限

摘要翻译

2. 某些含漂移项的非Fredholm算子及Laplace与双Laplace算子在序列意义下的可解性

摘要翻译

3. 超越偶数指数的Hénon方程非径向整体解的存在性

摘要翻译

4. 一类双重非线性抛物型分数阶偏微分方程的比较原理

摘要翻译

5. Fisher-KPP 方程在几乎周期介质中具有缓慢衰减初值的传播速度

摘要翻译

6. Hallaire-Luikov 湿度传递方程的推广：含 $$ψ$$ -Prabhakar 算子的正问题

摘要翻译

7. 非线性 Stegall 引理与 Wasserstein 空间上的广义 Hamilton-Jacobi-Bellman 方程

摘要翻译

8. 球面 $\mathbb{S}^2$ 上具幂律型非线性的薛定谔方程的典型不适定性

摘要翻译

9. 随机Korteweg–de Vries方程适定性的再研究

摘要翻译

10. Newman-Unti 规范下闵可夫斯基时空的稳定性

摘要翻译

不相关论文（基本信息）

1. ACF 在无穷远处的几乎单调性及其在扰动整体解中的应用

2. Ornstein–Uhlenbeck 半群在有根树上的作用

3. 圆盘上的V线张量断层成像：理论与数值重建

4. 关于 $$p$$ -拉普拉斯算子的 Pleijel 型节点域估计

5. 超波长非线性共振与连续谱中的束缚态在超表面中

6. 长程分离模型中奇点集的群论构造

7. 非自伴算子束的锥极小极大原理

8. 时间分数阶演化方程中确定源项阶数与时间因子的反问题的唯一性

9. Sobolev 空间在 snowtree 上