arXiv论文分析报告
生成时间: 2025年10月06日 02:49:10 重点关注论文数量: 7 了解领域论文数量: 10 不相关论文数量: 33
重点关注论文(完整分析)
1. Mixing for dynamical systems driven by stationary noises
由平稳噪声驱动的动力系统混合性
作者: Sergei Kuksin, Armen Shirikyan
类别: math.PR, math-ph, math.AP, math.CA, math.DS, math.MP, 35Q30, 35Q56, 37H30, 37L40, 60G10, 60H25, 60J05, 76D06, 76F25
发布日期: 2025-02-17
ArXiv ID: 2502.11699v2
链接: http://arxiv.org/abs/2502.11699v2
详细分析
中文标题: 由平稳噪声驱动的动力系统混合性
1. 研究对象和背景
本文研究的是由平稳随机噪声(stationary noises)驱动的常微分方程(ODEs)和偏微分方程(PDEs)在长时间下的渐进行为。这类噪声不假设具有 $\delta$-时间相关性,因此系统通常不是马尔可夫过程。
论文主要考虑如下两类系统:
离散时间随机动力系统:
其中 $H$ 是有限维或无限维的 Hilbert 空间,$E$ 是一个 Banach 空间,$\{\eta_k, k \in \mathbb{Z}\}$ 是取值于 $E$ 的有界平稳随机过程,映射 $S: H \times E \to H$ 是 Fréchet 意义下的 $C^2$ 光滑函数。
连续时间系统:
这里的 $\{\eta(t), t \in \mathbb{R}\}$ 是取值于 $E$ 的有界平稳过程。作者通过将连续时间系统在周期 $T > 0$ 上离散化,转化为离散形式 (0.1)。具体地,定义区间 $J_k = [(k-1)T, kT)$,并令
从而得到路径空间中的平稳过程 $\{\eta_k\}$,相空间变为 $\hat{E} = L^2(0,T; E)$,演化算子为
即初值为 $v$、外力为 $\eta$ 的解在时间 $T$ 的状态。
系统被假定满足以下结构条件:
- 噪声 $\eta_k$ 的分布支撑集 $K = \mathrm{supp}\, \mathcal{D}(\eta_k)$ 是 $E$ 中的紧集;
- 存在一个紧不变集 $X \subset H$,使得 $S(X \times K) \subset X$;这在耗散系统(如抛物型 PDE)中自然成立;
- 相空间 $H$ 可能是无限维的,例如对应 Navier–Stokes 方程或 Ginzburg–Landau 方程的函数空间。
应用实例包括:
- 非调和振子链耦合热浴:系统在端点与热库相互作用,受周期统计噪声驱动;
- 二维 Navier–Stokes 方程:流体速度场满足$$ \partial_t u + (u \cdot \nabla)u - \nu \Delta u + \nabla p = \eta(t,x), \quad \mathrm{div}\, u = 0, $$在环面或有界区域上,带有适当边界条件;
- 复 Ginzburg–Landau 方程:$$ \partial_t u - (\nu + i\alpha)\Delta u + (\mu + i\beta)|u|^{r-1}u = \eta(t,x), $$定义在有界区域上,具 Dirichlet 或周期边界条件。
这些系统的共同特点是:它们是非线性的、可能无限维的,并且受到非白噪声(即非马尔可夫)的外部扰动。
2. 主要定理或主要结果
主定理(Main Theorem,简化版)
设随机动力系统 (0.1) 满足以下四个假设:
(η1) 条件分布正则性:对任意过去历史 $\xi \in \mathcal{K} = K^{\mathbb{Z}_-}$,当前噪声 $\eta_1$ 的条件分布 $Q(\xi; \cdot) = \mathbb{P}\{\eta_1 \in \cdot \mid \eta_0 = \xi\}$ 具有 Lipschitz 连续的密度函数 $p_\xi(x)$;若 $E$ 为 Hilbert 空间,则噪声可表示为 $\eta_k = \sum_{l=1}^\infty r_l \eta_k^l f_l$,其中 $\{f_l\}$ 正交基,$r_l > 0$ 满足 $\sum |r_l| < \infty$,且各分量过程 $\{\eta_k^l\}$ 的条件分布也具 Lipschitz 密度。
(η2) 小值可达性:对任意 $n \in \mathbb{N}$ 和 $\delta > 0$,存在 $s \in \mathbb{N}$ 和 $\varepsilon > 0$,使得对所有 $\xi \in \mathcal{K}$,
$$ \mathbb{P}\left\{ \|\eta_j(\xi)\| < \delta,\ j = s+1,\dots,s+n \right\} \geq \varepsilon. $$(S1) 耗散性:存在 $k \geq 1$ 和 $a \in (0,1)$,使得当 $\eta_1 = \cdots = \eta_k = 0$ 时,自由系统的轨道满足
$$ \|u_k\| \leq a \|v\|, \quad \forall v \in H. $$(S2) 控制性(简化的可访问性条件):存在一个紧嵌入且稠密于 $H$ 的 Hilbert 空间 $V$,以及包含 $X \times K$ 的开集 $O \subset H \times E$,使得 $S: H \times E \to V$ 是 $C^1$ 映射,并且对任意 $(u, \eta) \in O$,偏导数 $D_\eta S(u, \eta): E \to H$ 的像在 $H$ 中稠密。
则存在唯一的 Borel 概率测度 $\mu$ 在 $H$ 上,其支撑在 $X$ 内,使得对任意初始值 $v$(为独立于 $\{\eta_k\}_{k\geq1}$ 的 $X$ 值随机变量),系统 (0.1) 的轨道 $\{u_k\}$ 满足
$$ \|\mathcal{D}(u_k) - \mu\|_{L^*} \leq C e^{-\gamma k}, \quad k \geq 0, $$其中 $C, \gamma > 0$ 为与 $v$ 无关的常数,$\|\cdot\|_{L^*}$ 表示对偶 Lipschitz 距离(Kantorovich–Rubinstein 距离)。此外,整个轨道的联合分布也收敛到平稳过程的分布:
$$ \mathcal{D}(u_k, \dots, u_{k+s}) \rightharpoonup \mu^{s+1}, \quad \text{当 } k \to \infty. $$
该定理表明,在适当的耗散性和控制性条件下,即使噪声是非马尔可夫的,系统仍具有指数混合性。
3. 研究方法、关键技术和核心工具
a) 核心分析学工具
Kantorovich 函数法(Method of Kantorovich Functionals):这是证明概率测度收敛的核心工具,最早由作者在 [KPS02, Kuk02] 中引入用于研究随机强迫 PDE 的遍历性。它通过构造某种“距离函数”来估计两个不同初值解的分布之间的差异。
牛顿型迭代法(Iterative construction with quadratic convergence):证明采用类似于 Newton 方法的迭代方案,每一步误差以平方速度减小。虽然最终只得到指数收敛速率(而非超指数),但这种方法能够处理弱估计情形下的复杂结构。
耦合方法(Coupling):用于比较两个从不同初值出发的随机过程的分布。通过构造合适的耦合过程,使它们以高概率快速合并,从而控制 Kantorovich 距离。
提升系统(Lifted System)与马尔可夫化技巧:将原非马尔可夫系统 (0.1) 提升为高维马尔可夫系统:
$$ U_k = (u_k, \eta_k) \in H \times \mathcal{K}, \quad U_k = \mathcal{S}(U_{k-1}, \eta_k), $$其中 $\mathcal{S}\big((u,\eta), \xi\big) = \big(S(u,\xi), (\eta,\xi)\big)$。这个新系统是马尔可夫的,其状态包含了当前状态和完整的历史信息。
条件分布与 Dobrushin 类型理论:利用噪声的条件分布族 $\{Q(\xi;\cdot)\}$ 构造路径空间上的 Gibbs 型测度,借鉴了 Dobrushin 关于格点场重建的工作思想。
b) 技术性难题的解决技巧
克服非马尔可夫性:通过将噪声的历史 $\eta_0 = (\dots, \eta_{-1}, \eta_0)$ 视为状态的一部分,构建一个等价的马尔可夫系统。这一技巧虽常见(如 [EPR99], [Hai05]),但在一般平稳噪声下建立指数混合仍属首次。
处理无限维空间中的不可控性问题:使用假设 (S2) 中的“稠密像”条件代替传统的满射性(surjectivity),这在无限维空间中更现实。结合 (S1) 的耗散性,可以实现某种“近似可控性”。
避免强 Feller 性要求:传统遍历性证明常依赖强 Feller 性质(转移概率使有界函数变连续),但本文系统因相空间过大而不满足此性质。作者转而使用 Kantorovich 泛函结合耦合方法绕过这一限制。
利用噪声的正则性和回归性:假设 (η1) 提供了条件分布的光滑性(Lipschitz 密度),而 (η2) 保证噪声能以正概率进入任意小邻域——这对实现状态接近至关重要。
4. 与之前工作的比较
a) 突破与改进
本文的主要突破在于:
首次建立了非马尔可夫噪声驱动下一大类(有限/无限维)动力系统的指数混合性。此前的结果大多局限于:
- 马尔可夫噪声(如白噪声);
- 特殊模型(如振子链用 Markovian reduction 方法 [EPR99]);
- 分数布朗运动驱动的情形([Hai05], [HO07]),但仅适用于特定方程。
显著放宽了对噪声的假设:
- 不再要求噪声是 $\delta$-相关(即时白噪声);
- 允许噪声具有长记忆(long-range dependence),只要满足 (η1)-(η2) 所描述的“弱混合”结构;
- 支持非线性依赖于噪声的 PDE(见 Remark 0.5),这在经典 SPDE 理论中难以处理(因为白噪声不能直接非线性作用)。
推广了解的存在性和唯一性结果的强度:
- 得到的是指数速率的分布收敛,优于某些代数混合结果;
- 对非线性项的增长没有限制(Remark 0.6 指出可用于任意次多项式非线性),而现有技术(如 Foiaş–Prodi 不等式)通常只能处理二次或三次非线性,且需极强先验估计;
- 在有限维情况下,后续工作 [KS25] 可进一步升级为全变差范数下的收敛。
连接了动力系统、遍历理论与统计物理中的 Gibbs 测度思想:通过将系统视为投影自一个更高维的 Gibbs 型马尔可夫过程(类似 Sinai 的 SRB 测度构造),揭示了非马尔可夫系统混合性的深层机制。
综上所述,本文将随机动力系统的遍历性理论从经典的马尔可夫框架拓展到了更广泛、更贴近实际物理模型的平稳噪声环境,为非平衡统计力学中开放系统的长期行为分析提供了新的数学基础。
2. Stationary homogeneous solutions for the inviscid SQG equation
无粘性SQG方程的定常齐次解
作者: Miguel M. G. Pascual-Caballo
类别: math.AP
发布日期: 2025-10-03
ArXiv ID: 2510.03108v1
链接: http://arxiv.org/abs/2510.03108v1
详细分析
中文标题: 无粘性SQG方程的定常齐次解
1. 研究对象和背景
本文研究的是二维空间中的无粘性表面准地转方程(Surface Quasi-Geostrophic equation, SQG),其数学形式如下:
其中 $\Lambda := (-\Delta)^{1/2}$ 是分数阶拉普拉斯算子。该方程描述了大气与海洋流动中温度的演化,适用于小罗斯贝数和小埃克曼数、且位涡恒定的情形。
特别地,作者关注一类特殊的解:齐次解(homogeneous solutions),其形式为:
其中 $(r,x)$ 是极坐标下的径向与角变量。这类解在无穷远处具有无限能量(即非局部有界),因此不属于经典能量空间 $L^2$。
将上述试探解代入原SQG方程后,可得关于函数 $f: \mathbb{T} \times [0,\infty) \to \mathbb{R}$ 的简化方程:
其中 $S$ 是一个傅里叶乘子,定义为:
本文的核心目标是证明该系统存在非平凡的定常解(stationary nontrivial homogeneous solutions)。此外,分析也适用于广义De Gregorio方程:
其中 $H$ 是希尔伯特变换。
研究的空间设定在圆周 $\mathbb{T}$ 上的周期函数类,考虑奇函数、均值为零、满足 $m$ 重对称性的函数空间,并主要工作于Hölder空间 $C^\gamma(\mathbb{T})$,$\gamma < 1$,以及Sobolev空间 $H^s(\mathbb{T})$,$s > \frac{1}{2}$。
2. 主要定理或主要结果
定理 1.1:对于每个整数 $m \geq 3$,存在一个 $2\pi$-周期、奇函数 $f_m \in C^\gamma(\mathbb{T})$,$\gamma < 1$,使得它满足简化后的SQG方程的定常情形:
$$ -2S f_m \partial_x f_m + \partial_x(S f_m) f_m = 0. $$进一步地,由 $\Theta_m(x_1,x_2) := r f_m(x)$ 定义的函数是从 $\mathbb{R}^2 \to \mathbb{R}$ 的映射,是原始SQG方程的一个定常解。
此定理表明,尽管原始SQG方程通常难以构造全局光滑解或验证奇点形成,但通过引入齐次结构,可以构造出一系列具有明确几何对称性($m$ 重旋转对称)的非平凡定常解,这些解在无穷远处无界(无限能量)。
3. 研究方法、关键技术和核心工具
a) 核心分析学工具
Schauder不动点定理:这是全文最关键的工具。作者将寻找定常解的问题转化为一个非线性积分方程的不动点问题。具体而言,在函数空间 $V_M \subset C([0,\pi])$ 中构造一个紧算子 $A$,并通过Schauder定理证明其存在非零不动点。
Fourier分析与傅里叶乘子理论:利用函数的正弦级数展开(因解为奇函数),将微分-积分算子 $S$ 表示为Fourier乘子,并研究其谱性质和正则性提升效应。
奇异积分表示与核估计:通过将算子 $S_m$ 写成卷积形式,借助显式核函数 $K_m(x,y)$ 分析其符号性和非负性,从而保证解的结构性质(如正性)。
Bootstrap正则性提升:利用Hilbert变换和相关算子在Hölder空间 $C^\gamma$ 和Sobolev空间 $\dot{W}^{s,p}$ 上的连续性,从连续解出发逐步提升正则性至 $C^{1,\gamma}$。
b) 技术性技巧
变量替换与尺度约化:引入新函数 $g(x) = f(mx)$ 并定义缩放算子 $S_m$,使得原问题转化为在标准区间 $[0,\pi]$ 上求解方程:
$$ \alpha S_m g \partial_x g = g \partial_x (S_m g). $$进一步设 $v = -S_m(|g|^\alpha)$,将其转化为非线性积分方程:
$$ v(x) = -S_m\left( |S_m^{-1} v|^\alpha \right)(x), $$即文中公式 (10)。
对称性约束与子空间选取:限制解具有特定对称性(如关于 $x=\pi/2$ 对称),从而确保解的Fourier展开仅含奇数项,便于控制低频行为。
逐点不等式与积分估计结合:为了验证Proposition 2.4中的两个条件(特别是非负性和上界控制),作者精细估计积分核 $K_m(x,y)$ 的符号,证明其诱导的算子保持非负性,并建立形如:
$$ 0 \leq A v(x) \leq M \int_0^\pi A v(y) \sin y \, dy $$的一致上界。
显式计算二阶导数以证凹性:在Lemma 2.10中,通过对辅助函数 $\phi_m(x)$ 的二阶导数进行显式展开并拆分为“显式项”与“非显式项”,分别估计,最终证明 $\partial_x^2 \phi_m < 0$,这保证了核函数的良好性质。
4. 与之前工作的比较
a) 突破与改进
推广了解的存在性范围:此前Okamoto–Sakajo–Wunsch [36] 研究了广义De Gregorio方程在 $0 < \alpha \leq 1$ 时的定常解存在性。本文将这一结果拓展至 $\alpha > \frac{1}{2}$,尤其是覆盖了 $\alpha > 1$ 的区域,填补了高非线性强度下的空白。
应用于新的物理模型:虽然思路受[36]启发,但本文首次将该方法成功应用于SQG方程的齐次定常解构造,揭示了此类无限能量解的存在性,扩展了对SQG动力学的理解边界。
处理更复杂的算子结构:注意到 $S_m \neq \frac{1}{m} S(m \cdot)$,即算子不具备简单的尺度不变性,这与传统模型不同。因此不能直接通过缩放已有解得到新解,必须独立处理每个 $m \geq 3$ 的情形。作者克服了这一点,仍能构造一族 $m$-对称解。
弱正则性假设下的存在性:所得解位于 $C^\gamma(\mathbb{T})$,$\gamma < 1$,而非更高阶光滑空间(如 $C^1$ 或 $H^s, s>2$),说明即使在较弱的正则性条件下,也能构造非平凡定常结构,这对理解解的奇异行为有重要意义。
未依赖唯一性或稳定性:文章并未追求解的唯一性(见Remark 1.2),而是专注于存在性本身,这种策略允许使用拓扑方法(如不动点定理)绕过强非线性带来的困难。
综上所述,本文的主要贡献在于:在无限能量框架下,利用改进的Schauder不动点方法,首次严格证明了无粘性SQG方程存在非平凡、齐次、定常解,并同时推广了广义De Gregorio方程在 $\alpha > \frac{1}{2}$ 时的定常解存在性理论。
3. Homogeneous steady states for the generalized surface quasi-geostrophic
equations
广义表面准地转方程的齐次稳态解
作者: Ken Abe, Javier Gómez-Serrano, In-Jee Jeong
类别: math.AP
发布日期: 2025-10-03
ArXiv ID: 2510.03009v1
链接: http://arxiv.org/abs/2510.03009v1
详细分析
中文标题: 广义表面准地转方程的齐次稳态解
1. 研究对象和背景
本文研究的是广义表面准地转(generalized surface quasi-geostrophic, gSQG)方程的齐次稳态解(也称“自相似稳态解”),其形式为:
其中 $0 < s < 1$ 是参数,控制非局部算子的奇异性。该方程族连接了多个经典流体模型:
- 当 $s = 1$ 时,对应二维欧拉方程;
- 当 $s = 1/2$ 时,对应标准 SQG 方程;
- 当 $s \to 0^+$ 时,趋于静止方程。
流场由流函数 $\psi$ 给出:$\psi = (-\Delta)^{-s} \omega$,满足 $u = -\nabla^\perp \psi$。
本文关注的是齐次(homogeneous)稳态解,即时间无关且具有自相似结构的解,在极坐标 $(r, \theta)$ 下形如:
其中 $\beta \in \mathbb{R}$ 为齐次度参数,$w(\theta), g(\theta)$ 是定义在圆周 $\mathbb{T} = [0, 2\pi]$ 上的角度函数。
这类解满足稳态方程:
研究区域为全平面 $\mathbb{R}^2 \setminus \{0\}$,排除原点以避免奇性问题。作者特别考虑奇对称剖面(odd symmetric profile):
并假设其傅里叶展开仅含频率大于等于 $m_0 \geq 1$ 的正弦项,即:
这一设定排除了接近径向对称的平凡解,并与已知奇点形成机制中的对称性一致。
2. 主要定理或主要结果
定理 1.2(存在性与非存在性结果)
设 $m_0 \in \mathbb{N}$,$0 < s < 1$,且 $m_0 - 2s < \beta < m_0$。对于满足奇对称性和高频率条件(Fourier 模式从 $m_0$ 开始)的齐次稳态解 $(\psi, \omega)$,有以下结论:(A) 当 $1/2 < s < 1$(介于 SQG 与欧拉之间):
- (非存在性)
- 若 $-2s \leq \beta \leq 0$,则不存在 $C^1(\mathbb{T})$ 解,除非 $\beta = -1$、$m_0 = 1$,且 $w = C \sin\theta$, $g = 0$。
- 若 $\beta = -2s$,则不存在 $C^2(\mathbb{T})$ 解。
- (存在性)
对 $0 < \beta < m_0$ 或 $-m_0 - 2s < \beta < -2s$,存在解 $(w,g) \in C^{2s+1+2-\beta s - \varepsilon}(\mathbb{T}) \times C^{1+2-\beta s - \varepsilon}(\mathbb{T})$,其中 $\varepsilon > 0$ 可任意小;若 $2s + 1 - 2s\beta \notin \mathbb{N}$ 且 $1 + 2s - \beta s \notin \mathbb{N}$,则可取 $\varepsilon = 0$。(B) 当 $s = 1/2$(SQG 情况):
- (非存在性)同上,分别针对 $\beta \in [-1, 0]$ 和 $\beta = -1$。
- (存在性)
对 $0 < \beta < m_0$ 或 $-m_0 - 1 < \beta < -1$,存在 $C^{2+\beta - \varepsilon} \times C^{1+\beta - \varepsilon}$ 解,当 $1 - \beta \notin \mathbb{N}$ 时 $\varepsilon = 0$。(C) 当 $0 < s < 1/2$(更奇异情形):
- (非存在性)
对 $-2s < \beta \leq 0$ 或 $\beta = -2s$,无 $C^1$ 或 $C^2$ 奇对称解。- (存在性)
- 若 $1/2 - s < \beta < m_0$ 且 $-m_0 - 2s < \beta < 1$,存在 $C^{2s+1+2-\beta s - \varepsilon} \times C^{1+2-\beta s - \varepsilon}$ 解;
- 若 $-1 \leq \beta < -2s$,存在 $C^{-\beta - \varepsilon} \times C^{-\beta - 2s - \varepsilon}$ 解。
此定理首次构造出 SQG 方程 ($s=1/2$) 及更奇异情形 ($s<1/2$) 中的非平凡自相似稳态解,涵盖临界和超临界正则性范围。
3. 研究方法、关键技术和核心工具
a) 核心分析学工具
- 变分方法:通过寻找能量泛函的临界点来证明存在性。具体使用三种变分原理:
- 极小化方法(minimizing method)用于 $m_0 < \beta < -2s$;
- 山路引理(mountain pass theorem)用于 $0 < \beta < m_0$;
- 鞍点定理(saddle-point theorem)用于 $-m_0 - 2s < \beta \leq -m_0$。
- Palais–Smale 条件:验证泛函满足紧性条件,确保变分序列收敛。
- 分数阶 Sobolev 空间理论:工作空间为高频率子空间 $X = H^s_{m_0,\text{odd}}(\mathbb{T})$,即奇函数且 Fourier 模式 $\geq m_0$ 的 $H^s(\mathbb{T})$ 函数。
- Sobolev 嵌入不等式:利用 $H^s(\mathbb{T}) \hookrightarrow L^{2 + 2/\beta s}(\mathbb{T})$ 来控制非线性项,尤其在 $0 < s < 1/2$ 时需 $1/2 - s < \beta$ 才能保证嵌入成立。
- 正则性提升技术:通过迭代方法,结合 $L^p$ 和 Hölder 正则性估计,从弱解提升到定理中所宣称的高阶光滑解。
b) 技术难点与解决技巧
非局部算子的处理:将二维分数 Laplacian $(-\Delta)^{-s}$ 作用于齐次函数的问题转化为一维非局部算子 $\mathcal{L}(s,\beta)$ 在圆周上的作用:
$$ (-\Delta)^{-s} \left( \frac{w(\theta)}{r^\beta} \right) = \frac{[\mathcal{L}(s,\beta) w](\theta)}{r^{\beta + 2s}}. $$作者推导出该算子的新符号表达式:
$$ \widehat{K}_m(s,\beta) = \frac{\sin(s\pi)}{4^{1-s}\pi^2} \sum_{k=0}^\infty \left( \frac{1}{|m| + 2k - \beta} - \frac{1}{|m| + 2k + 2s - \beta} \right) \frac{\Gamma(k+s)\Gamma(|m|+k+s)}{\Gamma(|m|+k+1) k!}. $$这是全文的关键创新之一,使得算子可在 $|m| > m_0$ 的高频空间上延拓至更广的 $\beta$ 范围。
奇对称性的利用:奇对称性导致核函数在积分中出现额外抵消,从而允许在更大范围(尤其是 $\beta < -2s$)内定义非局部算子,并增强正则性估计。
非存在性证明中的 Parseval 技巧:对于非存在性部分,作者从动量方程出发得到 $w g = 0$,再结合算子 $\mathcal{L}(s,\beta)$ 的正性(其符号 $\widehat{K}_m(s,\beta) > 0$),通过傅里叶级数和 Parseval 恒等式推出 $g = 0$,从而归约为 irrotational 解情形,最终得出矛盾。
反演算子的存在性:证明当 $-m_0 < \beta < m_0$ 时,$\mathcal{L}(s,\beta)$ 可逆,且其逆为 $( -\mathcal{L}(s,\beta) )^{-1} = \mathcal{K}(s, -\beta + 2 - 2s)^{-1}$,这是构造解的关键。
4. 与之前工作的比较
a) 突破与改进
本文的主要突破体现在以下几个方面:
填补 SQG 与更奇异 gSQG 的空白:此前关于自相似解的研究(如 [GGS24])仅覆盖 $1/2 < s < 1$ 范围。本文首次构造出 $s = 1/2$(SQG)及 $0 < s < 1/2$ 情形下的非平凡齐次稳态解,尤其是在稳态设置下的首个例子。
进入临界与超临界正则性区域:许多 gSQG 方程的局部适定性依赖于初始数据属于 Lipschitz 类速度场(即临界正则性)。本文构造的解覆盖了:
- $\beta = -2$:对应尺度不变(scale-invariant)情形,恰为临界正则性;
- $-2 < \beta < -2s$:超临界区域,此时速度场严格低于 Lipschitz 正则性;
- $\beta > 0$:强奇性区域,流函数在原点爆炸。
因此,这些解为研究超临界情形下的非唯一性、不稳定性和奇点形成提供了新的候选对象。
放宽对称性与频率限制:虽然引入了奇对称和高频率截断($m \geq m_0$),但这恰恰是为了避开平凡的径向解,揭示更丰富的结构。相比之前要求接近径向对称的构造,本文主动探索非对称、高频主导的解空间。
发展新的非局部算子理论:作者建立了一整套关于 $\mathcal{L}(s,\beta)$ 的线性理论,包括符号公式、渐近行为($\widehat{K}_m \sim |m|^{-2-2s}$)、双线性形式有界性、逆算子存在性等,这本身是对一维非局部算子的重要贡献,适用于其他相关模型。
连接物理现象与数学结构:文中指出这些解可能关联于:
- Bahouri–Chemin 型涡旋补丁(在 $\beta \to -2s$ 极限下);
- 对数螺旋流型(Prandtl/Alexander 螺旋);
- 电流片形成(vortex sheet)的“去奇性”极限($\beta \to 0^+$)。
综上所述,本文不仅解决了长期悬而未决的非存在性猜想,还系统地构建了一个全新的自相似稳态解族,拓展了我们对 gSQG 动力学的理解边界。
4. On the existence of fibered three-dimensional perfect fluid equilibria
without continuous Euclidean symmetry
关于不存在连续欧几里得对称性的三维纤维化理想流体平衡态的存在性
作者: Theodore D. Drivas, Tarek M. Elgindi, Daniel Ginsberg
类别: math.AP, 35Q31, 76B03, 76W05
发布日期: 2025-10-03
ArXiv ID: 2510.02955v1
链接: http://arxiv.org/abs/2510.02955v1
详细分析
中文标题: 关于不存在连续欧几里得对称性的三维纤维化理想流体平衡态的存在性
1. 研究对象和背景
本文研究的是三维空间中理想不可压缩欧拉方程的稳态解,即满足以下方程组的向量场 $u: M \to \mathbb{R}^3$:
其中 $M \subset \mathbb{R}^3$ 是一个区域(在本文中为扰动后的柱形域),$p: M \to \mathbb{R}$ 是压力函数。该系统描述了无粘、不可压缩流体的定常流动。
通过引入伯努利压力函数 $H := \frac{1}{2}|u|^2 + p$,上述方程可等价地写为:
这个形式也出现在磁流体静力学平衡问题中,因此该模型同样适用于等离子体物理中的磁约束问题。
文中考虑的区域是一个“扭曲”的柱形域:
其中 $g(\theta,z)$ 是关于平面 $\Pi = \{x_2 = 0\}$ 偶对称且具有 $m$-折旋转对称性的光滑函数,即满足 $g(\theta + 2\pi/m, z) = g(\theta, z)$。速度场 $u$ 在边界上切向:$u \cdot n = 0$ on $\partial D_\varepsilon$。
此外,作者特别关注那些不具备任何连续欧几里得对称性(如平移或旋转对称)但仍然具有结构化的稳态解。这类解被称为“纤维化解”(fibered solutions),其轨道被限制在二维不变曲面上——具体来说是伯努利函数 $H$ 的水平集上。
关键假设包括:解具有离散的 $m$-折对称性和关于平面 $\Pi$ 的反射奇对称性(odd with respect to reflection),这保证了所有流线闭合,从而允许构造时间变量 $\tau$(沿轨道的行进时间)作为多值函数,并用于定义涡度场。
2. 主要定理或主要结果
定理 1. 存在一个柱形区域 $M \subset \mathbb{R}^2 \times \mathbb{T}$,以及一个定义在其上的 $C^\infty$ 光滑的欧拉方程稳态解 $u: M \to \mathbb{R}^3$,该速度场与边界相切,且伯努利压力函数 $H = \frac{1}{2}|u|^2 + p$ 的梯度 $\nabla H$ 在除一条直线外的所有点非零。此解在该轴线上具有周期性,并具备 $m$-折离散对称性,但它不具有任何连续的欧几里得对称性。
该定理表明:即使没有连续的空间对称性(如轴对称或平面对称下的连续变换),也可以存在被伯努利函数水平面所“纤维化”的光滑稳态解。这些水平面是拓扑同胚于圆柱的不变曲面(称为“wobbly cylinders”),所有流线都环绕其上并闭合。
3. 研究方法、关键技术和核心工具
a) 核心分析学工具
Clebsch 变量构造法:作者使用 Clebsch 参数化来构造速度场。设 $H$ 为伯努利函数,$\tau$ 为沿流线的运行时间,则定义涡度为:
$$ \omega = \nabla \tau \times \nabla H. $$这样自动满足 $\mathrm{div}\,\omega = 0$,并且若再令 $\mathrm{curl}\,u = \omega$ 且 $\mathrm{div}\,u = 0$,结合边界条件 $u \cdot n = 0$,即可得到满足稳态欧拉方程的解。
迭代方案(Lortz 迭代):从一个轴对称基态解 $u_* = \Omega(r) e_\theta$ 出发,构造一系列扰动解 $u_N$,通过求解运输方程确定 $\tau_N$,进而定义 $H_N = H_*(T_N)$(其中 $T_N$ 是当前速度场的轨道周期),然后设定 $\omega_N = \nabla \tau_N \times \nabla H_N$,最后通过解如下 div-curl 系统更新速度场:
$$ \begin{cases} \mathrm{div}\, u_{N+1} = 0 & \text{in } D_\varepsilon, \\ \mathrm{curl}\, u_{N+1} = \omega_N & \text{in } D_\varepsilon, \\ u_{N+1} \cdot n = 0 & \text{on } \partial D_\varepsilon, \end{cases} $$并附加投影条件 $P_H u_{N+1} = 0$ 以消除调和部分的自由度,确保唯一性。
椭圆型估计与 H"older 范数控制:利用标准的椭圆正则性理论(参考 Agmon-Douglis-Nirenberg [1])控制速度扰动的 H"older 范数,证明迭代序列收敛。
Poincar'e 型不等式(引理 5):这是技术核心之一。对于具有 $m$-折对称性和有界周期的闭合轨道族,若函数 $f$ 沿每条轨道均值为零且具有相同对称性,则存在常数 $C$ 使得:
$$ \|f\|_{C^{k,\alpha}(U)} \leq \frac{C}{m} \|\nabla_X f\|_{C^{k,\alpha}(U)}, $$其中 $\nabla_X f = X \cdot \nabla f$。这一估计说明当 $m$ 很大时,横向变化被强烈抑制,成为控制误差项的关键。
b) 技术性难题的处理技巧
克服缺乏连续对称性的障碍:传统构造依赖轴对称或平移对称,而本文通过引入离散 $m$-折对称性和反射奇对称性,强制所有轨道闭合(见引理 3),从而避免了解析上难以处理的拟周期或遍历轨道。
处理多值函数 $\tau$ 的跳跃问题:由于 $\tau$ 在对称平面 $\Pi$ 上存在跳跃(大小等于轨道周期 $T$),直接定义 $\omega = \nabla \tau \times \nabla H$ 可能导致间断。但作者利用 $u$ 的奇对称性证明 $\nabla T$ 沿 $\Pi$ 切向,从而:
$$ [\omega] = H'(T) [\nabla \tau] \times \nabla T = H'(T) (\nabla T) \times \nabla T = 0, $$故 $\omega$ 实际上在 $\Pi$ 上连续,甚至可通过正则性提升至全局 $C^{k,\alpha}$。
小参数的选择创新:以往 Lortz 构造依赖于小振幅压力作为小参数,而本文的压力可以很大(对应高 $\beta$ 等离子体状态)。取而代之的是将 $1/m$ 视为小参数——通过对称阶数 $m$ 的增大实现迭代收敛,这是突破 Grad 猜想限制的关键所在。
4. 与之前工作的比较
a) 突破与改进之处
本文相对于前人工作的主要突破体现在以下几个方面:
打破了 Grad 猜想的潜在适用范围:Grad 曾猜想,只有具备连续欧几里得对称性的解才能被压力面纤维化。虽然 Lortz [15] 首次构造了无连续对称性的纤维化解,但其伯努利函数是否真正诱导出柱状水平集并不明确。本文首次严格构造出一类以非退化的柱状水平集为纤维的稳态解,且压力可为大值(即高 $\beta$ 情形),从而更有力地反驳了 Grad 猜想的普遍有效性。
放宽了对称性要求:相比以往绝大多数已知的三维稳态解(如轴对称解、Beltrami 流等),本文解仅保留离散旋转对称性和反射对称性,完全排除了连续对称性。这更接近真实物理装置(如仿星器 stellarator)的设计理念。
允许大振幅压力扰动:Lortz 的构造基于小振幅扰动谐波场(Beltrami 解),本质上是弱非线性极限;而本文从小参数 $1/m$ 入手,允许伯努利压力本身较大,适用于更强非线性情形,在等离子体物理中对应更高的压强比 $\beta = p/B^2$,更具现实意义。
明确几何结构:本文解的伯努利函数水平集是不变的圆柱形曲面(“wobbly cylinders”),所有轨道在其上闭合并绕“短方向”缠绕,结构清晰,验证了 Arnold 分类定理中关于非恒定 $H$ 解应纤维化为柱面或环面的情形,即便在无连续对称性下依然成立。
综上所述,本文不仅提供了新的数学存在性结果,也为受控核聚变中非对称约束装置(如仿星器)的理论可行性提供了支持,推动了对“准对称”(quasi-symmetry)概念的深入理解。
5. Energy cascades and condensation via coherent dynamics in Hamiltonian
systems
哈密顿系统中通过相干动力学的能量级联与凝聚
作者: Anxo Biasi, Patrick Gérard
类别: math-ph, math.AP, math.MP, nlin.SI
发布日期: 2024-12-04
ArXiv ID: 2412.03663v2
链接: http://arxiv.org/abs/2412.03663v2
详细分析
中文标题: 哈密顿系统中通过相干动力学的能量级联与凝聚
1. 研究对象和背景
本文研究的是一类无穷维哈密顿系统,其演化由如下非线性常微分方程组描述:
其中求和满足共振条件 $n + m = k + j$,$\alpha_n(t) \in \mathbb{C}$ 表示第 $n$ 个模式的复振幅,$C_{nmkj} \in \mathbb{R}$ 是具有对称性的耦合系数:即在交换 $n \leftrightarrow m$、$k \leftrightarrow j$ 和 $(n,m) \leftrightarrow (k,j)$ 下不变。
该系统守恒三个关键物理量:
- 粒子数(守恒质量):$N = \sum_{n=0}^\infty |\alpha_n|^2$,
- 能量(一阶矩):$E = \sum_{n=0}^\infty n|\alpha_n|^2$,
- 哈密顿量:$H = \frac{1}{2} \sum_{\substack{n,m,k,j \\ n+m=k+j}} C_{nmkj} \bar{\alpha}_n \bar{\alpha}_m \alpha_k \alpha_j$。
这类系统来源于弱非线性波的共振近似,尤其当系统的本征频率谱为完全共振型 $\omega_n = an + b$ 时出现。它们广泛出现在非线性薛定谔方程、冷原子物理、非线性光学、球面上的波动以及广义相对论等模型中。
特别地,文章关注的是能量从低频模向高频模转移的现象——即“能量级联”(energy cascade),并刻画其导致的小尺度结构形成和正则性的丧失。文中定义了 Sobolev 范数来量化这种不稳定性:
初始时刻所有 Sobolev 范数有限,但随时间演化可能出现某些 $\xi > \xi_0$ 的范数趋于无穷,称为“爆破”(blow-up),对应于解在位置空间中发展出奇异性。
文章重点分析两类特殊的显式可解哈密顿系统族,分别命名为 Z-Hamiltonian 系统 和另一未命名家族,前者允许构造精确解以揭示两种新型有限时间能量级联现象:一种是已知的 $-\frac{3}{2}$-级联伴随凝聚(condensation),另一种是首次发现的 $-\frac{5}{2}$-级联。
函数空间方面,局部适定性在 Sobolev 空间 $H^\xi$ 中建立,要求 $\xi > 3/2$,确保级数收敛与非线性项可控。
2. 主要定理或主要结果
定理 3.1(Z-Hamiltonian 系统的局部适定性)
设 $\xi > 3/2$,初始数据 $(\alpha_{n,0})_{n \geq 0}$ 满足$$ \sum_{n=0}^\infty (1+n)^{2\xi} |\alpha_{n,0}|^2 \leq R < \infty. $$
则存在仅依赖于 $R$ 的时间 $\tau = \tau(R) > 0$,使得存在唯一一族 $C^1$ 函数 $(\alpha_n(t))_{n \geq 0}$ 定义在区间 $[- \tau, \tau]$ 上,满足初值 $\alpha_n(0) = \alpha_{n,0}$,一致估计$$ \sup_{|t| \leq \tau} \sum_{n=0}^\infty (1+n)^{2\xi} |\alpha_n(t)|^2 < \infty, $$
并且满足带有特定耦合系数 $C_{nmkj}^{(s)}$ 的方程 (1)。此外,粒子数 $N$、能量 $E$ 和哈密顿量 $H$ 在该解上保持守恒。
命题 3.2(不变流形上的精确解结构)
对于 Z-Hamiltonian 系统(参数 $s \geq 1$),存在一个有限维不变流形,其上解的形式为:$$ \alpha_0(t) = b(t), \quad \alpha_n(t) = f_n c(t) p(t)^{n-1}, \quad n \geq 1, $$
其中 $f_n = \sqrt{A_n^{(s)}}$,$A_n^{(s)}$ 为 Fuss–Catalan 数;$b(t), c(t), p(t) \in \mathbb{C}$ 为未知函数。在此假设下,原无穷维系统约化为关于 $p(t), b(t), c(t)$ 的三元常微分方程组,并可通过生成函数 $F(x) = \sum_{n=1}^\infty f_n^2 x^n$ 进一步简化动力学。
主要结论(能量级联与结构形成的显式刻画)
存在两类显式可解的哈密顿系统族,分别支持以下两种有限时间能量级联过程:
第一类($-\frac{3}{2}$-级联):在有限时间 $T$ 内发生凝聚现象,即 $|\alpha_n(t)|^2 \to N \delta_{n0}$;同时高阶模呈现幂律谱 $|\alpha_n(t)|^2 \sim |c(t)|^2 n^{-3/2}$,Sobolev 范数满足
$$ \|u(t)\|_{H^\xi} \sim (T - t)^{2(1 - 2\xi)}, \quad \text{当 } \xi > 1/2, $$
当 $t \to T$ 时爆破。位置空间中表现为一个平坦的大尺度凝聚态叠加一个趋于点间断的小尺度“尖峰”。第二类($-\frac{5}{2}$-级联):首次观察到的新类型级联,在有限时间 $T$ 内产生幂律谱 $|\alpha_n(t)|^2 \sim n^{-5/2}$,仅部分粒子数和能量分别流向零模与高模。Sobolev 范数满足
$$ \|u(t)\|_{H^\xi} \sim (T - t)^{3 - 4\xi}, \quad \xi > 3/4; \quad \|u(t)\|_{H^{3/4}} \sim \ln\left(\frac{1}{T - t}\right), $$
位置空间中表现为一个大尺度非均匀结构和一个小尺度趋于“尖角”(cusp)的奇异结构。
3. 研究方法、关键技术和核心工具
a) 核心分析学工具
- 局部适定性理论中的能量估计与先验界:利用 Cauchy–Schwarz 不等式和多项式增长的耦合系数性质,建立高阶 Sobolev 范数的微分不等式 $\frac{d}{dt} H_\xi^{(L)} \lesssim (H_\xi^{(L)})^2$,从而得到一致先验估计,结合截断法与收缩映射论证完成极限过程。
- 不变流形方法(Invariant Manifold Reduction):将无穷维哈密顿系统限制在一个特殊构造的有限维子流形上(形式为 $\alpha_n = f_n c p^{n-1}, n \geq 1$),使原系统降维为低维 ODE 系统,实现精确求解。
- 生成函数技术与微分方程分析:引入生成函数 $F(x) = \sum_{n=1}^\infty f_n^2 x^n$,并推导其满足的非线性常微分方程:$$ xF' = \frac{F(1+F)}{1 - (s-1)F}, \quad x = \frac{F}{(1+F)^s}, $$将动力学问题转化为对 $F(t)$ 的分析,进而还原出 $p(t), b(t), c(t)$ 的行为。
- 渐近分析与奇点逼近:通过研究 $F(t) \to F_c = 1/(s-1)$ 的极限行为,揭示解在有限时间内趋向奇点的动力机制,对应于 Sobolev 范数爆破和位置空间中奇异性形成。
b) 解决技术难题的关键技巧
- 处理非线性相互作用的对称性利用:充分利用 $C_{nmkj}$ 的多重对称性和共振条件 $n+m=k+j$,使得在计算能量变化率时交叉项得以有效控制。
- 补偿指数增长的技术设计:选择初始数据满足 $|p|^2 < x_c = (s-1)^{s-1}/s^s$,使得序列 $f_n \sim x_c^{-n/2} n^{-3/4}$ 的指数增长被 $p^n$ 抑制,保证守恒量 $N, E$ 有限。
- 变量替换以简化动力学:通过引入 $F(t) := F(|p(t)|^2)$ 作为主变量,将复杂的三变量耦合系统转化为单个二阶 ODE:$$ \left( \frac{dF}{dt} \right)^2 + V(F) = 0, $$即一个经典力学中的“能量守恒”型方程,便于定性分析其趋于临界值 $F_c$ 的时间行为。
4. 与之前工作的比较
a) 突破与改进
本文的主要突破在于:
首次提供两类显式可解的哈密顿系统族,展示有限时间能量级联的完整解析描述。此前仅有少数模型(如 [3] 中的系统)被证明存在有限时间 $-\frac{3}{2}$-级联,而本文构建了一个含参数 $s \geq 1$ 的无限族 Z-Hamiltonian 系统,统一涵盖已有模型($s=1$: Szegő 方程;$s=2$: 已知凝聚模型),并推广至更一般情形。
发现全新的 $-\frac{5}{2}$-级联现象,这是在同类哈密顿系统中从未报道过的能量分布模式。它不伴随完全的粒子数凝聚,而是表现出部分能量与粒子数的同时双向迁移,形成不同于“平坦背景+尖峰”的新型小尺度结构——趋近于“尖角”(cusp)的奇异性。
明确区分两种相干级联机制的本质差异:
- $-\frac{3}{2}$-级联:体现“双重级联”——粒子数逆向流至 $n=0$,能量正向流至 $n \to \infty$,导致凝聚;
- $-\frac{5}{2}$-级联:无完全分离,大小尺度结构共存,奇性类型不同(cusp vs point discontinuity)。
严格解析而非数值或统计方法:不同于传统波湍流理论依赖随机相位假设和统计平均,本文全程采用确定性、相位敏感的相干动力学框架,揭示了由精确解驱动的有序级联过程,填补了“相干湍流”领域的理论空白。
降低对初始数据的要求并提升结果强度:虽然仍需 $\xi > 3/2$ 的正则性以保证局部适定性,但所构造的解在有限时间内发生 Sobolev 范数爆破,表明即使光滑初值也可能迅速失去正则性,这比以往多数结果(如无限时间超多项式增长)更强,揭示了更剧烈的动力学不稳定性。
综上,本文不仅拓展了可解模型的范围,更重要的是分类并解析刻画了不同类型能量级联背后的数学机制,为理解非线性波系统中的结构形成、奇性产生和湍流本质提供了新的确定性视角。
6. Burgers equation with a twist: A study on rotational-form equations
带有“扭转”的Burgers方程:关于旋度形式方程的研究
作者: Adam Larios
类别: math.AP, cs.NA, math.NA, 35K25, 35K58, 35B65, 35B41, 35Q35, 76F20
发布日期: 2025-10-03
ArXiv ID: 2510.02761v1
链接: http://arxiv.org/abs/2510.02761v1
详细分析
中文标题: 带有“扭转”的Burgers方程:关于旋度形式方程的研究
1. 研究对象和背景
本文提出并研究一类新的三维(3D)偏微分方程,称为“带有扭转的Burgers方程”或“旋度形式Burgers方程”。该方程从不可压缩Navier-Stokes方程出发,通过消除压力项与散度自由约束,但不同于传统Burgers方程中仅去掉压力 $p$ 的做法,本文的关键在于消除Bernoulli压力 $ \pi = p + \frac{1}{2}|u|^2 $,从而保留了非线性项的旋度形式 $(\nabla \times u) \times u$。
所提出的主方程为:
其中 $u(x,t)$ 是速度场,$\nu \geq 0$ 为运动粘性系数,$f$ 为外力项。此系统定义在周期域 $\mathbb{T}^n = [0,2\pi]^n$ 上($n=2$ 或 $3$),不强制要求速度场满足 $\nabla \cdot u = 0$,也不保留任何对平均值(mean)的限制。
值得注意的是,尽管原Navier-Stokes方程中的非线性项 $(u \cdot \nabla)u$ 可以等价写成:
本文提出的模型实质上是将Navier-Stokes方程改写为旋度形式后,去掉了Bernoulli压力梯度项 $\nabla \pi$,因此可视为“无Bernoulli压力的Navier-Stokes方程”,即一种几何意义上聚焦于旋转效应的动力系统。
此外,论文还提出了二维Kuramoto-Sivashinsky方程(KSE)的旋度形式修改版本:
这两个系统的共同特点是使用了旋度型非线性项 $(\nabla \times u) \times u$,而非传统的对流项 $(u \cdot \nabla)u$。这一改变使得能量结构保持与原始Navier-Stokes相同,并允许建立全局适定性,而原始的2D KSE和3D NSE的全局适定性仍是公开难题。
2. 主要定理或主要结果
定理 4.2(强解的局部适定性):设 $\nu > 0$,$T^* > 0$,初始数据 $u_0 \in H^1(\mathbb{T}^3)$,外力 $f \in L^2(0,T^*; \dot{L}^2)$ 且均值为零。则存在时间 $T \in (0, T^*)$ 和唯一的强解 $u$ 在区间 $[0,T]$ 上满足 $u \in C([0,T]; H^1) \cap L^2(0,T; H^2)$,且 $\partial_t u \in L^2(0,T; L^2)$。该解满足方程 (2.5a) 在 $L^2(0,T; L^2)$ 意义下成立,初值条件在 $C([0,T]; H^1)$ 中连续满足。此外,解关于初值在 $C([0,T]; H^1) \cap L^2(0,T; H^2)$ 范数下连续依赖,并满足如下能量平衡:
$$ \|u(t)\|_{L^2}^2 + 2\nu \int_0^t \|\nabla u(s)\|_{L^2}^2 ds = \|u_0\|_{L^2}^2 + \int_0^t (f(s), u(s)) ds, \quad \forall t \in [0,T]. $$
定理 4.6(粘性情形下的全局适定性):在 $\nu > 0$ 的情况下,对于任意光滑初始数据 $u_0 \in H^1(\mathbb{T}^n)$($n=2,3$),方程 (2.5a) 存在唯一全局强解 $u \in C([0,\infty); H^1) \cap L^2_{\text{loc}}(0,\infty; H^2)$,且具有高阶正则性。特别地,当 $f=0$ 时,系统满足最大值原理:$|u(t,x)|^2$ 的空间最大值随时间非增。
定理 6.4(无粘情形的有限时间爆破):在 $\nu = 0$ 的无粘情况下,方程 (2.5a) 具有局部适定性;然而,存在一类光滑初始数据,在二维和三维情形下,对应的解会在有限时间内产生奇异性(即导数趋于无穷),发生有限时间爆破。
定理 7.2(旋度型KSE的全局适定性):考虑旋度形式的二维Kuramoto-Sivashinsky方程 (2.14),即
$$ \frac{\partial u}{\partial t} + (\nabla \times u) \times u + \Delta u + \Delta^2 u = 0, $$则对于任意初值 $u_0 \in H^1(\mathbb{T}^2)$,该方程存在唯一的全局经典解,且解具有高阶正则性。这表明通过引入旋度非线性项,可以克服原始KSE难以证明全局适定性的障碍。
3. 研究方法、关键技术和核心工具
a) 核心分析学工具
- Galerkin逼近法:用于构造近似解序列 $u_N$,通过对傅里叶模态截断得到有限维常微分方程组 (4.2a)-(4.2b),再利用Picard-Lindelöf定理保证局部存在唯一光滑解。
- 能量估计与最大值原理:基于恒等式$$ \frac{1}{2} \frac{\partial}{\partial t} |u|^2 = \frac{\nu}{2} \Delta |u|^2 - \nu |\nabla u|^2 + f \cdot u, $$推导出 $|u|^2$ 满足一个抛物型不等式,进而通过极大值原理控制解的 $L^\infty$ 范数增长,这是获得全局适定性的关键。
- Sobolev嵌入与不等式:广泛使用Agmon不等式((3.4))、Gagliardo-Nirenberg-Sobolev不等式(如 (3.6)-(3.7c))以及Poincaré不等式(应用于导数项,因导数自动均值为零)来控制各范数之间的关系。
- 投影算子与频谱估计:引入 $P_N$ 和 $Q_N$ 投影算子,结合估计 (3.2)-(3.3) 处理高频与低频部分的能量分布。
- 紧性论证:通过 Aubin-Lions 引理或其他紧嵌入定理,从近似解序列中提取收敛子列,但在本文中由于直接建立了强解的先验估计,更多采用一致估计+极限过程的方法。
b) 解决技术性难题的主要技巧
- 处理非对称非线性项:由于 $(\nabla \times u) \times u$ 不具备像Navier-Stokes中 $(u \cdot \nabla)u$ 那样的反对称性质(即无法将所有导数移至测试函数),标准弱解理论难以适用(见Remark 4.3)。为此,作者选择直接构造强解而非弱解,避免了积分形式中难以控制非线性项的问题。
- 绕过散度自由假设带来的困难:由于取消了 $\nabla \cdot u = 0$ 条件,传统的Poincaré不等式不能直接用于 $u$ 本身,只能用于其导数。因此,能量估计需更精细设计,例如通过对 $\nabla u$ 做高阶能量估计来获得正则性提升。
- 利用旋度项的正交性:关键观察是 $(\omega \times u) \cdot u = 0$ 几乎处处成立,这意味着非线性项在点态上不增加动能,从而保证了与Navier-Stokes相同的能量守恒结构:$$ \frac{d}{dt} \|u\|_{L^2}^2 + 2\nu \|\nabla u\|_{L^2}^2 = 2(f, u), $$这是全局适定性的基石。
- 构造爆破解的显式例子:在无粘情形下,作者构造了一类具有特定对称结构的初始数据,使其演化过程中出现剪切集中现象,导致梯度爆炸,从而证明有限时间奇异性形成。
4. 与之前工作的比较
a) 突破与改进之处
突破传统Burgers模型的局限:经典多维Burgers方程 $\partial_t u + (u \cdot \nabla)u = \nu \Delta u$ 虽然简单,但其非线性项会导致 $L^2$ 能量增长(除非一维),破坏物理合理性。而本文提出的旋度形式方程因其非线性项天然满足 $(\omega \times u) \cdot u = 0$,精确复现了Navier-Stokes的能量耗散结构,更具动力学真实性。
首次建立三维全局适定性模型兼具NSE能量结构:虽然3D Navier-Stokes和2D Kuramoto-Sivashinsky方程的全局适定性仍是未解决问题,本文通过替换非线性项为旋度形式,在无需小初值或特殊对称性假设的前提下,证明了全局存在唯一光滑解。这提供了一个兼具复杂动力行为(模拟显示混沌)与数学良好适定性的新模型。
显著放宽对初始数据的要求:相比许多现有工作需要小初值、特定对称性或高正则性假设,本文的全局适定性结果仅要求初始数据属于 $H^1$ 并光滑即可,且适用于任意大小的初始扰动。
揭示旋度非线性项的稳定机制:论文指出,$(\nabla \times u) \times u$ 作为“纯旋转”操作,本身不拉伸向量长度,其破坏散度自由的能力被粘性项有效抑制,而一旦去除粘性($\nu = 0$),这种旋转仍可能导致剪切集中和梯度爆破——这说明旋度非线性既可带来稳定性(粘性情形),也可引发不稳定(无粘情形),展现出丰富的动力学可能性。
综上所述,本文不仅提出了一个新的数学上良好适定且动力学非平凡的PDE模型,还为理解Navier-Stokes和KSE等经典方程中非线性项的作用提供了新的视角,特别是在分离“旋转”与“形变”机制方面具有深刻的启示意义。
7. Well-Posedness for the Euler Equations in Function Spaces of Generalized
Smoothness
广义光滑性函数空间中欧拉方程的适定性
作者: Nicholas Harrison, Zachary Radke
类别: math.AP
发布日期: 2025-10-03
ArXiv ID: 2510.02626v1
链接: http://arxiv.org/abs/2510.02626v1
详细分析
中文标题: 广义光滑性函数空间中欧拉方程的适定性
1. 研究对象和背景
本文研究的是 无粘不可压缩欧拉方程(incompressible Euler equations) 在高维空间 $\mathbb{R}^d$($d \geq 2$)上的适定性问题,具体形式如下:
其中 $u : [0,T) \times \mathbb{R}^d \to \mathbb{R}^d$ 是速度场,$p : [0,T) \times \mathbb{R}^d \to \mathbb{R}$ 是标量压力。利用不可压条件,压力可通过速度表示为:
此外,定义涡度矩阵 $\omega_{ij} = \partial_j u_i - \partial_i u_j$,其演化满足涡度方程:
在二维情形下,涡度退化为一个标量函数 $\omega = \partial_1 u_2 - \partial_2 u_1$,且满足简化的输运方程:
其中 $\nabla^\perp = (-\partial_2, \partial_1)$。
该研究的核心在于初始数据所在的函数空间具有广义光滑性(generalized smoothness),即 Besov 和 Triebel-Lizorkin 类型的空间 $B^{s,\psi}_{p,q}(\mathbb{R}^d)$ 与 $F^{s,\psi}_{p,q}(\mathbb{R}^d)$,其中光滑性指标为临界值 $s = d/p + 1$,而 $\psi$ 是 Karamata 意义下的缓慢变函数(slowly varying function),用于刻画比标准 Sobolev 或 Besov 空间更精细的正则性结构。
这类空间通过 Littlewood-Paley 分解定义,将经典空间中的因子 $2^{js}$ 替换为 $2^{js} \psi(2^j)$,从而引入额外的对数型或亚幂次衰减。特别地,当 $\psi(t) = \log^\alpha(e + t)$ 时,对应于带有对数修正的光滑性空间。
2. 主要定理或主要结果
定理 1.2($\mathbb{R}^d$ 中的局部存在性与爆破准则)
设 $d \geq 2$,令 $X^{s,\psi}_{p,q}(\mathbb{R}^d)$ 表示空间 $B^{s,\psi}_{p,q}(\mathbb{R}^d)$ 或 $F^{s,\psi}_{p,q}(\mathbb{R}^d)$。假设 $s = d/p + 1$,$p, q \in (1, \infty)$,并且:
- 若 $X^{s,\psi}_{p,q} = B^{s,\psi}_{p,q}$,则要求 $\psi \in M_{q'}$;
- 若 $X^{s,\psi}_{p,q} = F^{s,\psi}_{p,q}$,则要求 $\psi \in M_{p'}$,
其中 $M_r$ 是满足三项条件的缓慢变函数集合:连续、远离零、单调不减,并满足积分条件 $\int_1^\infty \frac{dt}{t \psi^r(t)} < \infty$。
则对于任意初值 $u_0 \in X^{s,\psi}_{p,q}(\mathbb{R}^d)$,存在时间 $T > 0$ 和唯一解 $u$ 满足$$ u \in C([0,T]; X^{s,\psi}_{p,q}(\mathbb{R}^d)). $$
进一步地,解在时间 $T^* > T$ 处发生爆破(即 $\limsup_{t \to T^*} \|u(t)\|_{X^{s,\psi}_{p,q}} = \infty$)当且仅当$$ \int_0^{T^*} \|\omega(t)\|_{\dot{B}^0_{\infty,1}} dt = \infty. $$
推论 1.3($\mathbb{R}^2$ 中的整体存在性)
在上述条件下,若 $d = 2$,则对任意初值 $u_0 \in X^{s,\psi}_{p,q}(\mathbb{R}^2)$,存在唯一的整体解$$ u \in C([0,\infty); X^{s,\psi}_{p,q}(\mathbb{R}^2)). $$
这些结果表明,在足够“快增长”的缓慢变函数 $\psi$ 所诱导的广义光滑空间中,尽管处于临界正则性 $s = d/p + 1$,仍可建立局部适定性,并借助类似于 Beale-Kato-Majda(BKM)的爆破准则获得二维整体解。
3. 研究方法、关键技术和核心工具
a) 核心分析学工具
- Littlewood-Paley 理论:全文基于频率分解构建函数空间,使用非齐次与齐次 Littlewood-Paley 算子 $\Delta_j$、$\dot{\Delta}_j$ 来定义广义 Besov 和 Triebel-Lizorkin 空间。
- Bony 仿积分解(paraproduct decomposition):用于处理非线性项 $(u \cdot \nabla)u$ 的双线性估计,将其分解为高频低频相互作用项($T_f g$)、余项 $R(f,g)$ 等,便于逐项估计。
- Grönwall 不等式:用于从先验估计推出解的持续时间控制。
- 最大函数理论与向量值不等式:在 Triebel-Lizorkin 空间中,依赖 Hardy-Littlewood 极大函数 $Mf$ 和 Fefferman-Stein 不等式(引理 2.5)来控制平方函数范数。
- 流映射方法(Lagrangian coordinates):将欧拉方程沿流形变换,利用体积保持性质(因 $\mathrm{div}\,u=0$)简化估计过程,特别是在证明先验估计时将时间导数转化为物质导数。
b) 技术性难题的解决技巧
- 非线性交换子估计:关键步骤是对交换子 $[u \cdot \nabla, \Delta_j]u$ 进行精细估计。作者使用 Lagrangian 坐标系下的演化方程结合 fattened Littlewood-Paley 算子 $\tilde{\Delta}_j = \Delta_{j-1} + \Delta_j + \Delta_{j+1}$,并应用附录中的广义交换子不等式(命题 A.6),得到:$$ \sum_{j \geq -1} \left( 2^{js} \psi(2^j) \|\tilde{\Delta}_j [u \cdot \nabla, \Delta_j]u\|_{L^p} \right)^q \lesssim \|\nabla u\|_{L^\infty} \|u\|_{B^{s,\psi}_{p,q}}. $$此估计依赖于 $\psi$ 的单调性和缓慢变性质。
- 压力项估计:通过将压力写成二阶奇异积分算子作用于 $\partial_i u_j \partial_j u_i$,再利用齐次空间中的乘积估计(引理 A.1):$$ \|fg\|_{\dot{B}^{s-1,\psi}_{p,q}} \lesssim \|f\|_{L^\infty} \|g\|_{\dot{B}^{s,\psi}_{p,q}}, \quad \text{当 } s > d/p, $$结合嵌入关系,最终得出 $\|\nabla p\|_{B^{s,\psi}_{p,q}} \lesssim \|\nabla u\|_{L^\infty} \|u\|_{B^{s,\psi}_{p,q}}$。
- 逼近解构造与紧性论证:通过正则化初值构造光滑解序列,利用先验估计和 Ascoli-Arzelà 型紧性取极限,验证极限满足原方程。由于空间非 Hilbert 性质,需细致处理收敛性。
- BKM 型爆破准则推广:将经典的 $\|\omega\|_{L^\infty}$ 积分准则替换为 $\|\omega\|_{\dot{B}^0_{\infty,1}}$ 的积分发散性判断,这得益于在广义空间中对涡度传播的良好控制。
4. 与之前工作的比较
a) 突破与改进
本文的主要贡献体现在以下几个方面:
突破临界正则性的障碍:以往研究表明,在标准 Besov 空间 $B^{d/p+1}_{p,q}(\mathbb{R}^d)$ 中,当 $s = d/p + 1$(称为“临界指数”)时,欧拉方程可能呈现强不适定性(strong ill-posedness),如 Bourgain–Li [BL15] 所示。本文通过引入缓慢变函数 $\psi$ 对光滑性进行微调,证明只要 $\psi$ “增长足够快”(即满足 $\int_1^\infty \frac{dt}{t \psi^r(t)} < \infty$),就能恢复局部适定性。这意味着在经典临界空间之“上”的广义空间中,可以重建良好行为。
推广了函数空间框架:相比 Chae [Cha03, Cha04] 在 $B^{s}_{p,q}$、$F^{s}_{p,q}$($s > d/p + 1$)中的局部适定性结果,本文将正则性门槛降至精确临界值 $s = d/p + 1$,但通过附加 $\psi$ 因子补偿损失的正则性,实现了边界情况下的适定性。
统一处理 Besov 与 Triebel-Lizorkin 类型空间:分别针对 $B^{s,\psi}_{p,q}$ 和 $F^{s,\psi}_{p,q}$ 给出完整论证,尤其后者涉及极大函数工具,技术更为复杂。此前类似工作多集中于 Besov 框架,本文拓展至更一般的拟巴拿赫空间族。
获得 sharp 性结果:作者指出其结果是锐利的(sharp) —— 在即将发表的工作中,他们证明当 $\psi(t) = \log^\alpha(1+t)$ 且 $\alpha \in (0,1/2]$ 时,方程在 $H^{1,\psi}(\mathbb{R}^2)$ 中仍是强不适定的。这说明存在一个关于 $\psi$ 增长速率的清晰阈值:太慢则不适定,足够快则适定。
保留经典 BKM 准则的有效性:在二维情况下,利用涡度被输运的特性,结合新空间中的嵌入关系,成功将 BKM 准则推广到广义空间,从而获得整体存在性,延续了 Wolibner、Kato-Ponce 等人的思想脉络。
综上所述,本文通过对函数空间的精细化重构,在经典不适定区域附近开辟出新的适定性窗口,展示了“亚临界扰动”如何挽救解的行为,为流体力学方程在临界空间中的适定性理论提供了重要进展。
了解领域论文(摘要翻译)
1. Well-posedness for the periodic Hyperbolic nonlinear Schrödinger
equations
周期性双曲非线性薛定谔方程的适定性
作者: Engin Başakoğlu, Yuzhao Wang
类别: math.AP, 35A01, 35Q55
发布日期: 2025-10-03
ArXiv ID: 2510.03211v1
链接: http://arxiv.org/abs/2510.03211v1
摘要翻译
中文标题: 周期性双曲非线性薛定谔方程的适定性
摘要翻译: 我们建立了双曲非线性薛定谔方程(HNLS)在临界空间中的局部适定性。借鉴Killip和Visan的方法,我们推导了HNLS在有理环面和无理环面上的尺度不变Strichartz估计,从而消除了Bourgain和Demeter所得到的双曲Strichartz估计中存在的导数ε损失。
2. Lyapunov exponents, entropy and mixing for DiPerna-Lions flows
Lyapunov 指数、熵与 DiPerna-Lions 流的混合性
作者: Elia Brué, Maria Colombo, Carl Johan Peter Johansson
类别: math.AP, math.DS, 35Q35, 76F25, 37A35, 37A25
发布日期: 2025-10-03
ArXiv ID: 2510.02921v1
链接: http://arxiv.org/abs/2510.02921v1
摘要翻译
中文标题: Lyapunov 指数、熵与 DiPerna-Lions 流的混合性
摘要翻译: 本文的主要目标是建立 Bressan 混合猜想的一种渐近形式。为此,我们为不可压缩的 DiPerna-Lions 流发展了一套遍历理论框架。在正则性较低的背景下,通过一种 Oseledets 型分解定义 Lyapunov 指数,并利用 Ruelle 不等式的一个版本将其与度量熵相关联。这些工具给出了关于渐近正则性传播和混合速率的精确估计,从而导出了我们的主要结果。
3. Global Well-posedness for the periodic fractional cubic NLS in 1D
一维周期分数次立方非线性薛定谔方程的整体适定性
作者: Alexandre Megretski, Nikolaos Skouloudis
类别: math.AP
发布日期: 2025-08-02
ArXiv ID: 2508.01204v2
链接: http://arxiv.org/abs/2508.01204v2
摘要翻译
中文标题: 一维周期分数次立方非线性薛定谔方程的整体适定性
摘要翻译: 我们考虑如下的一维聚焦型周期分数次非线性薛定谔方程:
其中 $\frac{1}{2}< \alpha < 1$,且算子 $(-\Delta)^\alpha$ 是以 $\lvert k \rvert ^{2\alpha}$ 为符号的分数次拉普拉斯算子。我们证明了该方程在 $H^s(\mathbb{T})$ 空间中的整体适定性,其中 $s\geq \frac{1-\alpha}{2}$,并推测这一正则性阈值是精确的,因为它对应于伪伽利略对称性的临界指数。我们的证明采用 $I$-方法来控制具有无限能量初值解的 $H^s(\mathbb{T})$-范数。方法中的关键部分是一组在缩放后的环面上建立的改进型长时间双线性Strichartz估计,这些估计使我们能够充分利用方程的次临界性质。
4. Scalar Approach to ARZ-Type Systems of Conservation Laws
求解ARZ型守恒律方程组的标量方法
作者: Abraham Sylla
类别: math.AP, 65M08, 65M12, 35L65, 76A30
发布日期: 2025-10-02
ArXiv ID: 2510.02536v1
链接: http://arxiv.org/abs/2510.02536v1
摘要翻译
中文标题: 求解ARZ型守恒律方程组的标量方法
摘要翻译: 我们关注具有特殊结构的2×2守恒律方程组,其中包括用于交通流的广义Aw-Rascle-Zhang(GARZ)模型。这类系统中最简单的代表是Keyfitz-Kranzer系统,其中一个方程是非线性且不与另一个方程耦合,而第二个方程是一个线性输运方程,其系数依赖于第一个方程的解。在GARZ系统中,耦合作用更强,不具有Keyfitz-Kranzer系统的三角结构。
在本文的研究框架下,我们认为通过某种分裂方法来处理此类系统是合理的。事实上,[E. Y. Panov, 与流体流动相关模型中的不稳定性 II, 2008] 提出了一种求解具散度为零系数的线性输运方程的稳健理论框架。我们的思路是将该理论应用于GARZ系统中的第二个方程,同时利用近年来在间断通量方程理论方面的进展来处理系统中的第一个方程。
5. Blow up dynamics for the 3D energy-critical Nonlinear Schrödinger
equation
三维临界能量非线性薛定谔方程的爆破动力学
作者: Tobias Schmid
类别: math.AP
发布日期: 2023-08-03
ArXiv ID: 2308.01883v3
链接: http://arxiv.org/abs/2308.01883v3
摘要翻译
中文标题: 三维临界能量非线性薛定谔方程的爆破动力学
摘要翻译: 我们构造了在空间维数 $ d = 3 $ 下,能量临界的聚焦型非线性薛定谔方程(NLS)的一类双参数连续的II型爆破解。这些解在有限时间内坍缩为一个单一的能量泡,具体形式为 $ u(t,x) = e^{i \alpha(t)}\lambda(t)^{\frac{1}{2}}W(\lambda(t) x) + \eta(t, x )$,其中 $ t \in[0, T) $,$ x \in \mathbb{R}^3 $。这里 $ W(x) = \big( 1 + \frac{|x|^2}{3}\big)^{-\frac{1}{2}} $ 是基态解,$\lambda(t) = (T-t)^{- \frac{1}{2} - \nu} $,其中 $\nu > 0$ 为适当选取的参数,$\alpha(t) = \alpha_0 \log(T - t)$,且 $ T = T(\nu, \alpha_0) > 0 $。此外,当 $ t \to T^- $ 时,有 $ \|\eta(t) - \eta_T\|_{\dot{H}^1 \cap \dot{H}^2} = o(1)$,其中 $\eta_T \in \dot{H}^{1} \cap \dot{H}^2$ 为某一固定函数。
6. Linear damping estimates for periodic roll wave solutions of the
inviscid Saint-Venant equations and related systems of hyperbolic balance laws
无黏圣维南方程及相关的双曲型平衡律系统的周期滚波解的线性阻尼估计
作者: L. Miguel Rodrigues, Kevin Zumbrun
类别: math.AP, 35B35, 35L67, 15A18, 15A42, 35Q35, 35P15, 15A60, 15A63
发布日期: 2025-04-17
ArXiv ID: 2504.12804v3
链接: http://arxiv.org/abs/2504.12804v3
摘要翻译
中文标题: 无黏圣维南方程及相关的双曲型平衡律系统的周期滚波解的线性阻尼估计
摘要翻译: 在显著推广作者此前关于黏性情形下光滑解的已有结果的基础上,本文建立了无黏圣维南方程及相关的双曲型平衡律系统中周期滚波解的线性阻尼估计。此类阻尼估计由 $H^s$ 能量估计构成,可导出高阶导数范数被低阶导数范数指数式支配(exponential slaving)的结果,在超定常行波的非线性稳定性分析中起着关键作用,既用于获得高频预解估计,也用于闭合非线性迭代过程——对于该过程,已有的线性化稳定性估计似乎会损失正则性。本文针对规模为 $n \leq 6$ 的系统建立了一个类Lyapunov定理,指出只要满足严格的高频谱稳定性,则此类能量估计必然存在;而对于七维及以上的情形,高频谱稳定性与本文所发展的这类能量估计的存在性之间可能存在一般性的差距。其中的一个关键工具是一个依赖于维度的线性代数引理,类似于常微分方程中的Lyapunov引理,据我们所知,该引理在以往文献中尚未出现。
7. The centered maximal operator removes the non-concave Cantor part from
the gradient
中心极大算子去除梯度中的非凹Cantor部分
作者: Panu Lahti, Julian Weigt
类别: math.CA, math.AP, 42B25, 26B30
发布日期: 2025-10-02
ArXiv ID: 2510.01936v1
链接: http://arxiv.org/abs/2510.01936v1
摘要翻译
中文标题: 中心极大算子去除梯度中的非凹Cantor部分
摘要翻译: 我们研究定义在 $\mathbb{R}^d$(其中 $d \in \mathbb{N}$)上的有界变差函数 $f$ 的中心Hardy–Littlewood极大函数 $M f$ 的正则性。特别地,我们证明:在 $|D^c f|$-几乎处处使得 $f$ 具有非凹爆破的点 $x$ 处,均有 $M f(x) > f^*(x)$。由此我们进一步推得,若函数 $f$ 的变差测度不含跳跃部分,且其Cantor部分具有非凹爆破,则 $M f$ 的有界变差正则性可提升为Sobolev正则性。
8. On sharp Strichartz estimate for hyperbolic Schrödinger equation on
$\mathbb{T}^3$
关于三维环面 $\mathbb{T}^3$ 上双曲薛定谔方程的尖锐Strichartz估计
作者: Baoping Liu, Xu Zheng
类别: math.AP, math.CA, 35Q55
发布日期: 2025-10-02
ArXiv ID: 2510.01886v1
链接: http://arxiv.org/abs/2510.01886v1
摘要翻译
中文标题: 关于三维环面 $\mathbb{T}^3$ 上双曲薛定谔方程的尖锐Strichartz估计
摘要翻译: 我们通过结合关联几何的方法,证明了三维环面 $\mathbb{T}^3$ 上双曲薛定谔方程的尖锐Strichartz估计。作为应用,我们得到了非线性双曲薛定谔方程的最优局部适定性结果。
9. Strichartz and dispersive estimates for quantum bouncing ball model:
exponential sums and Van der Corput methods in 1d semi-classical Schrödinger equations
量子弹跳球模型的Strichartz与色散估计:一维半经典薛定谔方程中的指数和与Van der Corput方法
作者: Oana Ivanovici
类别: math.AP, math.NT
发布日期: 2025-10-02
ArXiv ID: 2510.01779v1
链接: http://arxiv.org/abs/2510.01779v1
摘要翻译
中文标题: 量子弹跳球模型的Strichartz与色散估计:一维半经典薛定谔方程中的指数和与Van der Corput方法
摘要翻译: 本文研究定义在半直线上、具线性势和Dirichlet边界条件的一维半经典薛定谔方程。我们的主要目标是为此模型建立改进的色散估计和Strichartz估计,以刻画解的空间-时间行为。我们利用Van der Corput型导数判别法,证明了更为精细的Strichartz估计,克服了以往结果中存在的1/4阶损失。此外,在假设某些指数和具有精确上界的条件下,我们的结果表明,这些损失有望进一步降至对任意$\epsilon>0$均成立的$1/6 + \epsilon$量级,这一指标将是尖锐的。我们还推测,类似的Strichartz估计在高维情形下的Friedlander模型区域中也应成立。
10. On dispersive decay for the generalized Korteweg–de Vries equation
关于广义Korteweg–de Vries方程的色散衰减性研究
作者: Matthew Kowalski, Minjie Shan
类别: math.AP, 35Q53
发布日期: 2025-10-02
ArXiv ID: 2510.01728v1
链接: http://arxiv.org/abs/2510.01728v1
摘要翻译
中文标题: 关于广义Korteweg–de Vries方程的色散衰减性研究
摘要翻译: 我们证明了广义Korteweg–de Vries(gKdV)方程解的时间逐点色散估计。特别地,对于质量临界模型的解,我们仅假设初值数据属于$\dot{H}^{\frac{1}{4}} \cap \dot{H}^{-\frac{1}{12}}$空间,并证明了解在$L^\infty$范数下的衰减速率为$|t|^{-\frac{1}{3}}$。为实现这一目标,我们发展了gKdV方程解的负正则性的保持性质,并将Lorentz–Strichartz估计推广至混合范数情形。
不相关论文(基本信息)
1. On De Giorgi’s Conjecture of Nonlocal approximations for
free-discontinuity problems: The symmetric gradient case
关于De Giorgi关于自由间断问题非局部逼近猜想的研究:对称梯度情形
作者: Stefano Almi, Elisa Davoli, Anna Kubin, Emanuele Tasso
类别: math.AP, 49Q20, 49J45, 26B30
发布日期: 2024-10-31
ArXiv ID: 2410.23908v3
链接: http://arxiv.org/abs/2410.23908v3
摘要: We prove that E. De Giorgi’s conjecture for the nonlocal approximation of free-discontinuity problems extends to the case of functionals defined in terms of the symmetric gradient of the admissible field. After introducing a suitable class of continuous finite-difference approximants, we show the compactness of deformations with equibounded energies, as well as their Gamma-convergence. The compactness analysis is a crucial hurdle, which we overcome by generalizing a Fr'echet-Kolmogorov approach previously introduced by two of the authors. A second essential difficulty is the identification of the limiting space of admissible deformations, since a control on the directional variations is, a priori, only available in average. A limiting representation in GSBD is eventually established via a novel characterization of this space.
2. The epsilon-regularity theorem for Brakke flows near triple junctions
三重点附近Brakke流的ε-正则性定理
作者: Salvatore Stuvard, Yoshihiro Tonegawa
类别: math.AP, math.DG, 53E10, 35B65, 49Q15
发布日期: 2025-10-03
ArXiv ID: 2510.02969v1
链接: http://arxiv.org/abs/2510.02969v1
摘要: We establish the $\varepsilon$-regularity theorem for $k$-dimensional, possibly forced, Brakke flows near a static, multiplicity-one triple junction. This result provides the parabolic analogue to L. Simon’s foundational work on the singular set of stationary varifolds and confirms that the regular structure of triple junctions persists under weak mean curvature flow. The regularity holds provided the flow satisfies a mild structural assumption on its 1-dimensional slices taken orthogonal to the junction’s $(k-1)$-dimensional spine, which prohibits certain topological degeneracies. We prove that this assumption is automatically satisfied by two fundamental classes of flows where such singularities are expected: codimension-one multi-phase flows, such as the canonical $\mathrm{BV}$-Brakke flows constructed by the authors, and flows of arbitrary codimension with the structure of a mod 3 integral current, which arise from Ilmanen’s elliptic regularization. For such flows, therefore, the Simon type regularity holds unconditionally.
3. Liouville type results for semilinear elliptic equation and inequality
on pseudo-Hermitian manifolds
关于伪埃尔米特流形上半线性椭圆方程与不等式的刘维尔型结果
作者: Biqiang Zhao
类别: math.AP, math.DG
发布日期: 2025-07-12
ArXiv ID: 2507.09130v2
链接: http://arxiv.org/abs/2507.09130v2
摘要: In this paper, we study the semilinear elliptic equation and inequality on pseudo-Hermitian manifolds. In particular, we first obtain a Liouville theorem for the equation $\Delta_b u+F(u)=0$ based on a generalized Jerison-Lee’s formula. Next, we prove the nonexistence of a positive solution to the inequality $\Delta_b u+F(u)\leq 0$ under the volume estimate.
4. On the complex moment problem as a dynamic inverse problem for a
discrete system
关于离散系统动态反问题的复矩问题研究
作者: A. S. Mikhaylov, V. S. Mikhaylov
类别: math.AP
发布日期: 2025-09-02
ArXiv ID: 2509.02443v2
链接: http://arxiv.org/abs/2509.02443v2
摘要: We consider the complex moment problem, that is the problem of constructing a positive Borel measure on $\mathbb{C}$ from a given set of moments. We relate this problem to the dynamic inverse problem for the discrete system associated with the complex Jacobi matrix. We show how the characterization of dynamic inverse data in solving the inverse problem provides sufficient conditions for solving the complex moment problem.
5. On the Weyl function for complex Jacobi matrices
关于复Jacobi矩阵的Weyl函数
作者: A. S. Mikhaylov, V. S. Mikhaylov
类别: math.AP
发布日期: 2025-09-23
ArXiv ID: 2509.18873v2
链接: http://arxiv.org/abs/2509.18873v2
摘要: We derive a new representation for the Weyl function associated with the complex Jacobi matrix in the finite and semi-infinite cases. In our approach we exploit connections to the discrete-time dynamical system associated with these matrices.
6. Global bifurcation of localised 2D patterns emerging from spatial
heterogeneity
空间异质性诱导的二维局域模式的全局分岔
作者: Dan J. Hill, David J. B. Lloyd, Matthew R. Turner
类别: nlin.PS, math.AP
发布日期: 2025-10-03
ArXiv ID: 2510.02867v1
链接: http://arxiv.org/abs/2510.02867v1
摘要: We present a general approach to prove the existence, both locally and globally in amplitude, of fully localised multi-dimensional patterns in partial differential equations containing a compact spatial heterogeneity. While one-dimensional localised patterns induced by spatial heterogeneities have been well-studied, proving the existence of fully localised patterns emerging from a Turing instability in higher dimensions remains a key open problem in pattern formation. In order to demonstrate the approach, we consider the two-dimensional Swift-Hohenberg equation, whose linear bifurcation parameter is perturbed by a radially-symmetric potential function. In this case, the trivial state is unstable in a compact neighbourhood of the origin and linearly stable outside. We prove the existence of local bifurcation branches of fully localised patterns, characterise their stability and bifurcation structure, and then rigorously continue solutions to large amplitude via analytic global bifurcation theory. Notably, the primary bifurcating branch in the Swift-Hohenberg equation alternates between an axisymmetric spot and a non-axisymmetric `dipole’ pattern, depending on the width of the spatial heterogeneity.
7. Quantum inverse scattering for time-dependent repulsive Hamiltonians of
quadratic type
二次型时间依赖排斥哈密顿量的量子逆散射理论
作者: Atsuhide Ishida
类别: math.AP
发布日期: 2025-04-08
ArXiv ID: 2504.05915v3
链接: http://arxiv.org/abs/2504.05915v3
摘要: We study a multidimensional inverse scattering problem under the time-dependent repulsive Hamiltonians of quadratic type. The time-dependent coefficient on the repulsive term decays as the inverse square of time, which is the threshold between the standard free Schroedinger operator and the time-independent repulsive Hamiltonians of quadratic type. Applying the Enss-Weder time-dependent method, we can determine uniquely the short-range potential functions with Coulomb-like singularities from the velocity limit of the scattering operator.
8. A variational analysis of nematic axisymmetric films: the covariant
derivative case
向列型轴对称薄膜的变分分析:协变导数情形
作者: Giulia Bevilacqua, Chiara Lonati, Luca Lussardi, Alfredo Marzocchi
类别: math.AP, 49J05, 49Q10, 76A15
发布日期: 2024-05-30
ArXiv ID: 2405.20154v3
链接: http://arxiv.org/abs/2405.20154v3
摘要: Nematic surfaces are thin fluid structures, ideally two-dimensional, endowed with an in-plane nematic order. In 2012, two variational models have been introduced by Giomi [11] and by Napoli and Vergori [29,28]. Both penalize the area of the surface and the gradient of the director: in [11] the covariant derivative of the director is considered, while [28] deals with the surface gradient. In this paper, a complete variational analysis of the model proposed by Giomi is performed for revolution surfaces spanning two coaxial rings.
9. Super-Liouville equation with a spinorial Yamabe type term
带有旋量Yamabe型项的超Liouville方程
作者: Lei Liu, Mingjun Wei
类别: math.AP
发布日期: 2025-10-03
ArXiv ID: 2510.02792v1
链接: http://arxiv.org/abs/2510.02792v1
摘要: In this paper, we study the super-Liouville equation with a spinorial Yamabe type term, a natural generalization of Liouville equation, super-Liouville equation and spinorial Yamabe type equation. We establish some refined qualitative properties for such a blow-up sequence. In particular, we show energy identities not only for the spinor part but also for the function part. Moreover, the local masses at a blow-up point are also computed. A new phenomenon is that there are two kinds of singularities and local masses due to the nonlinear spinorial Yamabe type term, which is different from super-Liouville equation.
10. Wasserstein Bounds for generative diffusion models with Gaussian tail
targets
具有高斯尾目标的生成扩散模型的Wasserstein界
作者: Xixian Wang, Zhongjian Wang
类别: cs.LG, cs.NA, math.AP, math.NA
发布日期: 2024-12-15
ArXiv ID: 2412.11251v2
链接: http://arxiv.org/abs/2412.11251v2
摘要: We present an estimate of the Wasserstein distance between the data distribution and the generation of score-based generative models. The sampling complexity with respect to dimension is $\mathcal{O}(\sqrt{d})$, with a logarithmic constant. In the analysis, we assume a Gaussian-type tail behavior of the data distribution and an $\epsilon$-accurate approximation of the score. Such a Gaussian tail assumption is general, as it accommodates a practical target - the distribution from early stopping techniques with bounded support. The crux of the analysis lies in the global Lipschitz bound of the score, which is shown from the Gaussian tail assumption by a dimension-independent estimate of the heat kernel. Consequently, our complexity bound scales linearly (up to a logarithmic constant) with the square root of the trace of the covariance operator, which relates to the invariant distribution of the forward process.
11. Error estimates for finite-dimensional approximations of
Hamilton-Jacobi-Bellman equations on the Wasserstein space
Wasserstein空间上Hamilton-Jacobi-Bellman方程有限维逼近的误差估计
作者: Samuel Daudin, Joe Jackson, Benjamin Seeger
类别: math.AP, math.OC, math.PR
发布日期: 2025-10-03
ArXiv ID: 2510.02652v1
链接: http://arxiv.org/abs/2510.02652v1
摘要: In this paper, we study a Hamilton-Jacobi-Bellman (HJB) equation set on the Wasserstein space $\mathcal{P}_2(\mathbb{R}^d)$, with a second order term arising from a purely common noise. We do not assume that the Hamiltonian is convex in the momentum variable, which means that we cannot rely on representation formulas coming from mean field control. In this setting, Gangbo, Mayorga, and 'Swi\k{e}ch showed via viscosity solutions methods that the HJB equation on $\mathcal{P}_2(\mathbb{R}^d)$ can be approximated by a sequence of finite-dimensional HJB equations. Our main contribution is to quantify this convergence result. The proof involves a doubling of variables argument, which leverages the Hilbertian approach of P.L. Lions for HJB equations in the Wasserstein space, rather than working with smooth metrics which have been used to obtain similar results in the presence of idiosyncratic noise. In dimension one, our doubling of variables argument is made relatively simply by the rigid structure of one-dimensional optimal transport, but in higher dimension the argument is significantly more complicated, and relies on some estimates concerning the “simultaneous quantization” of probability measures.
12. Stable determination of the nonlinear parameter in the non-diffusive
Westervelt equation from the Dirichlet-to-Neumann map
由狄利克雷-诺伊曼映射反演非扩散Westervelt方程中非线性参数的稳定性确定
作者: Mike Wendels
类别: math.AP
发布日期: 2025-10-02
ArXiv ID: 2510.02553v1
链接: http://arxiv.org/abs/2510.02553v1
摘要: The Westervelt equation models the propagation of nonlinear acoustic waves in a regime well-suited for applications such as medical ultrasound imaging. In this work, we prove that the nonlinear parameter, as well as the sound speed, can be stably recovered from the Dirichlet-to-Neumann map associated with the non-diffusive Westervelt equation in (1+3)-dimensions. This result is essential for the feasibility of reconstruction methods. The Dirichlet-to-Neumann map encodes boundary measurements by associating a prescribed pressure profile on the boundary with the resulting pressure fluctuations. We prove stability provided the sound speed is a priori known to be close to a reference sound speed and under certain geometrical conditions. We also verify the result through numerical experiments.
13. $μ$-ellipticity and nonautonomous integrals
μ-椭圆性与非自治积分
作者: Cristiana De Filippis
类别: math.AP
发布日期: 2025-10-02
ArXiv ID: 2510.02477v1
链接: http://arxiv.org/abs/2510.02477v1
摘要: $\mu$-ellipticity is a form of nonuniform ellipticity arising in various contexts from the calculus of variations. Understanding regularity properties of minimizers in the nonautonomous setting is a challenging task fostering the development of delicate techniques and the discovery of new irregularity phenomena.
14. Uniqueness in the Plateau problem for calibrated currents
校准流的Plateau问题解的唯一性
作者: Bryan Dimler, Chen-Kuan Lee
类别: math.DG, math.AP
发布日期: 2025-10-02
ArXiv ID: 2510.02299v1
链接: http://arxiv.org/abs/2510.02299v1
摘要: We show that every compactly supported calibrated integral current with connected $C^{3,\alpha}$ boundary is the unique solution to the oriented Plateau problem for its boundary data. This is proved as a consequence of the boundary regularity theory for area-minimizing currents and classical unique continuation principles adapted to the minimal surface system.
15. Optimal Lieb-Thirring type inequalities for Schrödinger and Jacobi
operators with complex potentials
关于具有复势的薛定谔算子和雅可比算子的最优Lieb-Thirring型不等式
作者: Sabine Bögli, Sukrid Petpradittha
类别: math.SP, math-ph, math.AP, math.MP, 47B36, 34L40, 47A10, 47A75
发布日期: 2025-10-02
ArXiv ID: 2510.02288v1
链接: http://arxiv.org/abs/2510.02288v1
摘要: We prove optimal Lieb-Thirring type inequalities for Schr"odinger and Jacobi operators with complex potentials. Our results bound eigenvalue power sums (Riesz means) by the $L^p$ norm of the potential, where in contrast to the self-adjoint case, each term needs to be weighted by a function of the ratio of the distance of the eigenvalue to the essential spectrum and the distance to the endpoint(s) thereof. Our Lieb-Thirring type bounds only hold for integrable weight functions. To prove optimality, we establish divergence estimates for non-integrable weight functions. The divergence rates exhibit a logarithmic or even polynomial gain compared to semiclassical methods (Weyl asymptotics) for real potentials.
16. Transfer of Stability from the Classical to the Fractional Anisotropic
Calderón Problem
稳定性从经典各向异性Calderón问题到分数阶各向异性Calderón问题的传递
作者: Hendrik Baers, Angkana Rüland
类别: math.AP
发布日期: 2025-10-02
ArXiv ID: 2510.02242v1
链接: http://arxiv.org/abs/2510.02242v1
摘要: We discuss two spectral fractional anisotropic Calder'on problems with source-to-solution measurements and their quantitative relation to the classical Calder'on problem. Firstly, we consider the anistropic fractional Calder'on problem from [FGKU25]. In this setting, we quantify the relation between the local and nonlocal Calder'on problems which had been deduced in [R25] and provide an associated stability estimate. As a consequence, any stability result which holds on the level of the local problem with source-to-solution data has a direct nonlocal analogue (up to a logarithmic loss). Secondly, we introduce and discuss the fractional Calder'on problem with source-to-solution measurements for the spectral fractional Dirichlet Laplacian on open, bounded, connected, Lipschitz sets on $\mathbb{R}^n$. Also in this context, we provide a qualitative and quantitative transfer of uniqueness from the local to the nonlocal setting. As a consequence, we infer the first stability results for the principal part for a fractional Calder'on type problem for which no reduction of Liouville type is known. Our arguments rely on quantitative unique continuation arguments. As a result of independent interest, we also prove a quantitative relation between source-to-solution and Dirichlet-to-Neumann measurements for the classical Calder'on problem.
17. On Lieb-Thirring inequalities for multidimensional Schrödinger
operators with complex potentials
关于具有复势的多维薛定谔算子的Lieb-Thirring不等式
作者: Sabine Bögli, Sukrid Petpradittha, František Štampach
类别: math.SP, math-ph, math.AP, math.MP, 35P15, 47A10, 47A75, 81Q12
发布日期: 2025-10-02
ArXiv ID: 2510.02192v1
链接: http://arxiv.org/abs/2510.02192v1
摘要: We solve the open problem by Demuth, Hansmann, and Katriel announced in [Integr. Equ. Oper. Theory 75 (2013), 1-5] by a counter-example construction. The problem concerns a possible generalisation of the Lieb-Thirring inequality for Schr"odinger operators in to the case of complex-valued potentials. A counter-example has already been found for the one-dimensional case by the first and third authors in [J. Spectr. Theory 11 (2021), 1391-1413]. Here we generalise the counter-example to higher dimensions.
18. Sharp remainder terms and stability of weighted Hardy-Poincaré and
Heisenberg-Pauli-Weyl inequalities related to the Baouendi-Grushin operator
与Baouendi-Grushin算子相关的加权Hardy-Poincaré和Heisenberg-Pauli-Weyl不等式的精确余项及其稳定性
作者: Yerkin Shaimerdenov, Nurgissa Yessirkegenov, Amir Zhangirbayev
类别: math.AP, 26D10, 35J70
发布日期: 2025-08-22
ArXiv ID: 2508.16380v2
链接: http://arxiv.org/abs/2508.16380v2
摘要: In this paper, we obtain sharp remainder terms for the Hardy-Poincar'e inequalities with general non-radial weights in the setting of Baouendi-Grushin vector fields (see Theorem 2.5). It is worth emphasizing that all of our results are new both in the Baouendi-Grushin and standard Euclidean settings. The method employed allows us to not only unify, but also improve the results of Kombe and Yener [KY18] for any $1<p<\infty$ while holding true for complex-valued functions and providing explicit constants (Corollary 2.7). As a result, we are able to obtain sharp remainder terms to many known weighted Hardy-type inequalities (see Section 3.1). Aside from weighted Hardy-type inequalities, we also recover a sharp remainder formula for the $L^{p}$-Poincar'e inequality (Corollary 3.5). In the special case of radial weights, we are naturally able to introduce the notion of Baouendi-Grushin $p$-Bessel pairs (see Definition 2.9). Finally, we apply the technique to establish the sharp remainder term of the Heisenberg-Pauli-Weyl inequality in $L^{p}$ for $1<p<\infty$ (Corollary 3.13), which includes the sharp constant. This makes it possible to obtain the $L^{p}$-analogue for $2\leq p < n$ (Theorem 3.17) of a stability result by Cazacu, Flynn, Lam and Lu [CFLL24].
19. Equivalence between solvability of the Dirichlet and Regularity problem
under an $L^1$ Carleson condition on $\partial_t A$
在 $\partial_t A$ 满足 $L^1$ Carleson 条件下 Dirichlet 问题与正则性问题可解性的等价性
作者: Martin Ulmer
类别: math.AP, 35J25, 35J15
发布日期: 2025-09-12
ArXiv ID: 2509.10328v2
链接: http://arxiv.org/abs/2509.10328v2
摘要: We study an elliptic operator $L:=\mathrm{div}(A\nabla \cdot)$ on the upper half space. It is known that solvability of the Regularity problem in $\dot{W}^{1,p}$ implies solvability of the adjoint Dirichlet problem in $L^{p'}$. Previously, Shen (2007) established a partial reverse result. In our work, we show that if we assume an $L^1$-Carleson condition on only $|\partial_t A|$ the full reverse direction holds. As a result, we obtain equivalence between solvability of the Dirichlet problem $(D)^*_{p'}$ and the Regularity problem $(R)_p$ under this condition. As a further consequence, we can extend the class of operators for which the $L^p$ Regularity problem is solvable by operators satisfying the mixed $L^1-L^\infty$ condition. Additionally in the case of the upper half plane, this class includes operators satisfying this $L^1$-Carleson condition on $|\partial_t A|$.
20. Refined asymptotics for the Cauchy problem for the fast $p$-Laplace
evolution equation
快速 $p$-Laplace 演化方程柯西问题的精细渐近分析
作者: Matteo Bonforte, Iwona Chlebicka, Nikita Simonov
类别: math.AP
发布日期: 2024-05-08
ArXiv ID: 2405.05405v3
链接: http://arxiv.org/abs/2405.05405v3
摘要: Our focus is on the fast diffusion equation driven by the $p$-Laplacian operator, that is $\partial_t u=\Delta_p u$ with $1<p<2$, posed in the whole space $\mathbb{R}^N$, $N\geq 2$. The nonnegative solutions are expected to converge in time toward a stationary profile. While such convergence had been previously established for $p$ close to $2$, no quantitative rates were known, and the asymptotic behaviour remained poorly understood across the full fast diffusion range. In fact, the long time behaviour of solutions to the $p$-Laplace Cauchy problem drastically change in different subranges of the $p$. Some of them are analysed here for the first time. In this work, we provide the convergence rates for nonnegative, integrable solutions in the so-called good fast diffusion range, $p_c=\tfrac{2N}{N+1} <p<2$, where mass is conserved. We prove that solutions converge to a self-similar profile with matching mass, with explicit rates measured in relative error. Our constructive proof is based on a new entropy method that remains effective even when the entropy is not displacement convex – where optimal transport techniques fail. In the very fast diffusion range $1<p<p_c$, we give the first asymptotic analysis near the extinction time. We uncover new critical exponents – especially in high dimensions – that give rise to markedly different qualitative behaviour depending on the value of $p$. We also establish convergence rates for the gradients of radial solutions in the good fast diffusion range, again measured in relative error. Finally, we analyze the structural properties required for the entropy method to apply, thereby opening a broader investigation into the basin of attraction of Barenblatt-type profiles, particularly in the singular case of $p$ close to $1$.
21. Low regularity Sobolev well-posedness for Vlasov–Poisson
Vlasov–Poisson方程的低正则性Sobolev适定性
作者: In-Jee Jeong, Sangwook Tae
类别: math.AP
发布日期: 2025-10-02
ArXiv ID: 2510.02112v1
链接: http://arxiv.org/abs/2510.02112v1
摘要: We consider the Vlasov–Poisson equation on $\mathbb{R}^n \times \mathbb{R}^n$ with $n \ge 3$. We prove local well-posedness in $H^{s}(\mathbb{R}^n \times \mathbb{R}^n)$ with $s> n/2-1/4$, for initial distribution $f_{0} \in H^{s}(\mathbb{R}^n \times \mathbb{R}^n)$ having compact support in $v$. In particular, data not belonging to $L^p(\mathbb{R}^n \times \mathbb{R}^n)$ for large $p$ are allowed.
22. Numerical Approximation of the Critical Value of Eikonal Hamilton-Jacobi
Equations on Networks
网络上Eikonal Hamilton-Jacobi方程临界值的数值逼近
作者: Valentina Coscetti, Marco Pozza
类别: math.NA, cs.NA, math.AP, 35R02, 65M15, 49L25, 35B40
发布日期: 2025-02-28
ArXiv ID: 2502.20993v2
链接: http://arxiv.org/abs/2502.20993v2
摘要: The critical value of an eikonal equation is the unique value of a parameter for which the equation admits solutions and is deeply related to the effective Hamiltonian of a corresponding homogenization problem. We study approximation strategies for the critical value of eikonal equations posed on networks. They are based on the large time behavior of corresponding time-dependent Hamilton-Jacobi equations. We provide error estimates and some numerical tests, showing the performance and the convergence properties of the proposed algorithms.
23. Perturbation theory for the parabolic Regularity and Neumann problem
抛物型正则性与诺伊曼问题的摄动理论
作者: Martin Ulmer
类别: math.AP, 35K10, 35K20
发布日期: 2024-08-22
ArXiv ID: 2408.12529v2
链接: http://arxiv.org/abs/2408.12529v2
摘要: We show small and large Carleson perturbation results for the parabolic Regularity boundary value problem with boundary data in $\dot{L}_{1,1/2}^p$ and small Carelson perturbation results for the Neumann problem with boundary data in $L^p$. The operator we consider is $L:=\partial_t -\mathrm{div}(A\nabla\cdot)$ and the domains are parabolic cylinders $\Omega=\mathcal{O}\times\mathbb{R}$, where $\mathcal{O}$ is a Lipschitz domain.
24. Geometry of wave damping on the torus
环面上的波阻尼几何
作者: Kiril Datchev, Perry Kleinhenz, Antoine Prouff
类别: math.AP, math-ph, math.MP
发布日期: 2025-09-05
ArXiv ID: 2509.05239v2
链接: http://arxiv.org/abs/2509.05239v2
摘要: Energy decay rates of damped waves on the torus depend on the behavior of the damping near the undamped region and on the geometry of the damped set. In this paper we refine these geometric considerations, by introducing the concept of order of a glancing undamped point, and estimating decay rates in terms of this order. The proof is based on generalizing an averaging argument due to Sun. We also show that damping sets which attain these improvements are generic among polygons and smooth curves.
25. Perturbations of Minkowski spacetime with regular conformal
compactification
具有正则共形紧致化的闵可夫斯基时空的扰动
作者: Andrea Nützi
类别: gr-qc, math.AP
发布日期: 2025-10-02
ArXiv ID: 2510.01964v1
链接: http://arxiv.org/abs/2510.01964v1
摘要: We construct perturbations of Minkowski spacetime in general relativity, when given initial data that decays inverse polynomially to initial data of a Kerr spacetime towards spacelike infinity. We show that the perturbations admit a regular conformal compactification at null and timelike infinity, where the degree of regularity increases linearly with the rate of decay of the initial data to Kerr initial data. In particular, the compactification is smooth if the initial data decays rapidly to Kerr initial data. This generalizes results of Friedrich, who constructed spacetimes with a smooth conformal compactification in the case when the initial data is identical to Kerr initial data on the complement of a compact set. Our results rely on a novel formulation of the Einstein equations about Minkowski spacetime introduced by the author, that allows one to formulate the dynamic problem as a quasilinear, symmetric hyperbolic PDE that is regular at null infinity and with null infinity being at a fixed locus. It is not regular at spacelike infinity, due to the asymptotics of Kerr. Thus the main technical task is the construction of solutions near spacelike infinity, using tailored energy estimates. To accomplish this, we organize the equations according to homogeneity with respect to scaling about spacelike infinity, which identifies terms that are leading, respectively lower order, near spacelike infinity, with contributions from Kerr being lower order.
26. Mixed Christoffel-Minkowski problems for bodies of revolution
旋转体的混合Christoffel-Minkowski问题
作者: Leo Brauner, Georg C. Hofstätter, Oscar Ortega-Moreno
类别: math.MG, math.AP, math.DG, 52A39, 52A20, 52B45
发布日期: 2025-08-13
ArXiv ID: 2508.09794v3
链接: http://arxiv.org/abs/2508.09794v3
摘要: The mixed Christoffel-Minkowski problem asks for necessary and sufficient conditions for a Borel measure on the Euclidean unit sphere to be the mixed area measure of some convex bodies, one of which, appearing multiple times, is free and the rest are fixed. In the case where all bodies involved are symmetric around a common axis, we provide a complete solution to this problem, without assuming any regularity. In particular, we refine Firey’s classification of area measures of figures of revolution. In our argument, we introduce an easy way to transform mixed area measures and mixed volumes involving axially symmetric bodies, and we significantly improve Firey’s estimate on the local behavior of area measures. As a secondary result, we obtain a family of Hadwiger type theorems for convex valuations that are invariant under rotations around an axis.
27. Subwavelength resonances in two-dimensional elastic media with high
contrast
高对比度二维弹性介质中的亚波长共振
作者: Yuanchun Ren, Yixian Gao
类别: math.AP
发布日期: 2025-10-02
ArXiv ID: 2510.01911v1
链接: http://arxiv.org/abs/2510.01911v1
摘要: This paper employs layer potential techniques to investigate wave scattering in two-dimensional elastic media exhibiting high contrasts in both Lam'{e} parameters and density. Our contributions are fourfold. First, we construct an invertible operator based on the kernel spaces of boundary integral operators, which enables the characterization of resonant frequencies through an orthogonality condition. Second, we use asymptotic analysis to derive the equation governing the leading-order terms of these resonant frequencies. Third, we analyze the scattered field in the interior domain for incident frequencies across different regimes and characterize the longitudinal and transverse far-field patterns in the exterior domain. Finally, we examine the subwavelength bandgap in the phononic crystal with a dilute structure.
28. Reconstruction in the Calderón problem on a fixed partition from
finite and partial boundary data
基于有限且部分边界数据的固定区域划分下Calderón问题的重构
作者: Henrik Garde
类别: math.AP, cs.NA, math.NA, 35R30, 35Q60, 35R05, 47H05
发布日期: 2025-07-25
ArXiv ID: 2507.19410v2
链接: http://arxiv.org/abs/2507.19410v2
摘要: This short note modifies a reconstruction method by the author (Comm.~PDE, 45(9):1118–1133, 2020), for reconstructing piecewise constant conductivities in the Calder'on problem (electrical impedance tomography). In the former paper, a layering assumption and the local Neumann-to-Dirichlet map were needed since the piecewise constant partition also was assumed unknown. Here I show how to modify the method in case the partition is known, for general piecewise constant conductivities and only a finite number of partial boundary measurements. Moreover, no lower/upper bounds on the unknown conductivity are needed.
29. A note on the recovery sequence in the double gradient model for phase
transitions
关于相变双梯度模型中恢复序列的一点注记
作者: Jakob Deutsch
类别: math.AP, Primary: 49J45, Secondary: 35Q74, 49Q20, 74N99
发布日期: 2025-10-02
ArXiv ID: 2510.01893v1
链接: http://arxiv.org/abs/2510.01893v1
摘要: We investigate the $\limsup$ inequality in the double gradient model for phase transitions governed by a Modica–Mortola functional with a double-well potential in two dimensions. Specifically, we consider energy functionals of the form
for maps $ u \in H^2(\Omega; \mathbb{R}^2) $, where $ W $ vanishes only at two wells. Assuming a bound on the optimal profile constant – namely the cell problem on the unit cube – in terms of the geodesic distance between the two wells, we characterise the limiting interfacial energy via periodic recovery sequences as $\varepsilon \to 0^+$.
30. Monotonicity and Liouville-type theorems for semilinear elliptic
problems in the half space
半空间中半线性椭圆问题的单调性与刘维尔型定理
作者: Berardino Sciunzi, Domenico Vuono
类别: math.AP, 35B06, 35B51, 35J61
发布日期: 2025-10-02
ArXiv ID: 2510.01865v1
链接: http://arxiv.org/abs/2510.01865v1
摘要: We consider classical solutions to $-\Delta u = f(u)$ in half-spaces, under homogeneous Dirichlet boundary conditions. We prove that any positive solution is strictly monotone increasing in the direction orthogonal to the boundary, provided that it is directionally bounded on finite strips. As a corollary, we deduce a new Liouville-type theorem for the Lane-Emden equation.
31. Efficient manifold evolution algorithm using adaptive B-Spline
interpolation
基于自适应B样条插值的高效流形演化算法
作者: Muhammad Ammad, Leevan Ling
类别: math.NA, cs.NA, math.AP, math.DG
发布日期: 2025-10-02
ArXiv ID: 2510.01790v1
链接: http://arxiv.org/abs/2510.01790v1
摘要: This paper explores an efficient Lagrangian approach for evolving point cloud data on smooth manifolds. In this preliminary study, we focus on analyzing plane curves, and our ultimate goal is to provide an alternative to the conventional radial basis function (RBF) approach for manifolds in higher dimensions. In particular, we use the B-Spline as the basis function for all local interpolations. Just like RBF and other smooth basis functions, B-Splines enable the approximation of geometric features such as normal vectors and curvature. Once properly set up, the advantage of using B-Splines is that their coefficients carry geometric meanings. This allows the coefficients to be manipulated like points, facilitates rapid updates of the interpolant, and eliminates the need for frequent re-interpolation. Consequently, the removal and insertion of point cloud data become seamless processes, particularly advantageous in regions experiencing significant fluctuations in point density. The numerical results demonstrate the convergence of geometric quantities and the effectiveness of our approach. Finally, we show simulations of curvature flows whose speeds depend on the solutions of coupled reaction–diffusion systems for pattern formation.
32. Notes on Schauder estimates by scaling for elliptic PDEs in divergence
form
关于散度形式椭圆型偏微分方程通过尺度变换得到的Schauder估计的注记
作者: Stefano Vita
类别: math.AP, 35B65, 35B44, 35B45, 35B53, 35B30, 35B08
发布日期: 2025-10-02
ArXiv ID: 2510.01765v1
链接: http://arxiv.org/abs/2510.01765v1
摘要: These are the notes of a part of the PhD course Regularity for free boundary problems and for elliptic PDEs, held in Pavia in the spring of 2025. The aim is to provide a comprehensive and self-contained treatment of classical interior and local Schauder estimates for second-order linear elliptic PDEs in divergence form via scaling in the spirit of Simon’s work. The main techniques presented here are geometric in nature and were primarily developed in the study of geometric problems such as minimal surfaces. The adopted approach relies on compactness and blow-up arguments, combined with rigidity results (Liouville theorems), and shares many features with the one used in the study of free boundary problems, which was the main topic of the other part of the PhD course.
33. Nonlinear Forward-Backward Problems
非线性前向-后向问题
作者: Anne-Laure Dalibard, Frédéric Marbach, Jean Rax
类别: math.AP
发布日期: 2025-10-02
ArXiv ID: 2510.01732v1
链接: http://arxiv.org/abs/2510.01732v1
摘要: We prove the existence and uniqueness of strong solutions to the equation $u u_x - u_{yy} = f$ in the vicinity of the linear shear flow, subject to perturbations of the source term and lateral boundary conditions. Since the solutions we consider have opposite signs in the lower and upper half of the domain, this is a quasilinear forward-backward parabolic problem, which changes type across a critical curved line within the domain. In particular, lateral boundary conditions can be imposed only where the characteristics are inwards. There are several difficulties associated with this problem. First, the forward-backward geometry depends on the solution itself. This requires to be quite careful with the approximation procedure used to construct solutions. Second, and more importantly, the linearized equations solved at each step of the iterative scheme admit a finite number of singular solutions, of which we provide an explicit construction. This is similar to well-known phenomena in elliptic problems in nonsmooth domains. Hence, the solutions to the equation are regular if and only if the source terms satisfy a finite number of orthogonality conditions. A key difficulty of this work is to cope with these orthogonality conditions during the nonlinear fixed-point scheme. In particular, we are led to prove their stability with respect to the underlying base flow. To tackle this deceivingly simple problem, we develop a methodology which we believe to be both quite natural and adaptable to other situations in which one wishes to prove the existence of regular solutions to a nonlinear problem for suitable data despite the existence of singular solutions at the linear level. This paper is a shorter version of [3].