生成时间: 2026年03月09日 04:33:56
重点关注论文数量: 7
了解领域论文数量: 6
不相关论文数量: 14
重点关注论文(完整分析)
1. Exponential stability of the linearized viscous Saint-Venant equations using a quadratic Lyapunov function
作者: Amaury Hayat, Nathan Lichtlé
类别: math.AP
发布日期: 2026-03-06
arXiv ID: 2603.06411v1
链接: http://arxiv.org/abs/2603.06411v1
详细分析
粘性Saint-Venant方程线性化系统的指数稳定性分析:基于二次李雅普诺夫函数
详细分析
1. 研究对象和背景
本文研究从Navier-Stokes方程高阶近似推导出的粘性Saint-Venant方程,该方程在标准双曲Saint-Venant方程基础上增加了粘性项$\mu>0$,将原方程组变为更复杂的二阶偏微分方程,以更准确地模拟现实中具有内摩擦的流体行为。系统描述一维开放渠道中不可压缩流的深度$H(t,x)$和水平速度$V(t,x)$的演化,包括一个修改的摩擦项$f(H,V)=\kappa V/(\kappa H+3\mu)$,其中$\kappa>0$为小摩擦系数。研究目标是证明线性化系统在稳态解$ (H^*,V^*)$附近的指数稳定性,并探究粘性对二次李雅普诺夫函数构造的影响。此前,边界反馈稳定化方法包括基于特征线的非线性方法、backstepping方法(用于无粘情况)以及适用于双曲系统的二次李雅普诺夫函数方法(仅需边界测量)。本文延续后者,关注粘性如何改变李雅普诺夫函数的形式和稳定性条件。
2. 主要定理或主要结果
核心结果包括两个部分。首先,Proposition 3.1证明:若一个定义在$L^2(0,L)$上的二次型李雅普诺夫函数$W(h,v)=\int_0^L (h,v)Q(x)(h,v)^T dx$对线性化粘性系统(11)在$L^2$范数下有效,则矩阵$Q(x)$必须是对角的。这揭示了某些在无粘情况下有效的李雅普诺夫函数(如文献[26]中的含交叉项$hv$的函数)在引入粘性后失效。其次,Theorem 3.1给出充分条件:若稳态$(H^*,V^*)$满足亚临界条件$gH^*>V^{*2}$、边界条件(5)以及速度约束$\sqrt{gH^*(0)}<(2+\sqrt{2})V^{*2}(0)$,且边界条件系数$b_0, b_1, c_1$位于由(19)-(21)定义的区间$(b^-,b^+)$、$b_1\in\mathbb{R}\setminus [b^-_1,b^+_1]$和$c_1\in(c^-_1,c^+_1)$内,则存在$\mu_\circ>0$使得对任意$\mu\in(0,\mu_\circ)$,线性化系统(11)在边界条件(13)下于$L^2$范数指数稳定,即存在$\gamma,C>0$使得$\|(h,v)(t,\cdot)\|_{L^2}\leq Ce^{-\gamma t}\|(h_0,v_0)\|_{L^2}$。该定理确保扰动以指数速率衰减,且当$\mu\to0$时条件一致收敛到无粘情况的结果(如文献[5])。
3. 研究方法、关键技术和核心工具
研究方法基于线性化和显式二次李雅普诺夫函数构造。首先,将原非线性系统(1)-(2)在稳态$(H^*,V^*)$附近线性化,得到变系数二阶系统(11),其中矩阵$A$对角(含粘性项$-4\mu$)、$B$和$C$依赖稳态及其导数。关键步骤包括:1)利用Proposition 2.1分析稳态解的存在性和渐近估计(当$\mu\to0$时$V^*_x$ behave like $O(\mu)$,而$V^*_{xx}$趋于非零常数,这与无粘情况不同);2)构造对角李雅普诺夫函数$W(y)=\int_0^L y^T Q y dx$,其中$y=(h,v)^T$,$Q=\text{diag}(q_1,q_2)$且$q_1=H^*+\mu\tilde{q}_1$、$q_2=g-\mu 4(1+\mu)V^*_x/H^*$,选择$\tilde{q}_1$使得$QB$对称以简化导数分析;3)计算李雅普诺夫函数沿解的导数$\dot{W}+\gamma W=I+B$,其中$I$为积分项,$B$为边界项。通过分析$I$中矩阵$\phi(\mu,\gamma)=\gamma Q-(QC+(QC)^T)_{xx}-Q A+(QB)_x$的负定性(依赖$\det(D)<0$)以及边界项$B$的符号(通过$b_0,b_1,c_1$约束保证非正),得到指数衰减率$\gamma$。核心工具包括线性系统适定性(附录D)、稳态ODE分析(附录C)以及矩阵特征值估计。
4. 与之前工作的比较
本文结果与文献[5]和[26]对比显著。文献[26]的李雅普诺夫函数为$W(h,v)=\int_0^L \frac{q_1+q_2}{H^*}(gh^2+2q_1-q_2\sqrt{gH^*hv+H^*v^2})dx$,含交叉项$hv$,不满足Proposition 3.1的对角要求,故其方法无法直接推广到粘性情况。文献[5]的函数形式$W=\int_0^L (q_1 h^2+q_2 v^2)dx$是对角的,可推广,但因粘性模型源项$f(H^*,V^*)/H^*\sim V^*/H^{*2}$与文献[5]的$V^{*2}/H^*$不同,导致稳定性条件差异:本文新增速度约束$\sqrt{gH^*(0)}<(2+\sqrt{2})V^{*2}(0)$和更精细的边界参数区间。与文献[37]相比,[37]仅证明$V^*_{eq}=0$时渐近稳定,而本文允许非零稳态速度。此外,文献[17]推导了粘性Saint-Venant模型,但未涉及线性化稳定性;本文则聚焦于通过二次李雅普诺夫函数证明指数稳定,并揭示粘性导致李雅普诺夫函数必须对角的深层机制,这一结论在Riemann坐标下也成立(见文献[3])。总体而言,本文修正了无粘结果的直接推广,为实际粘性流提供了可验证的边界条件准则。
2. On Local Regularity of Distributional Solutions to the Navier–Stokes Equations
作者: GiovanniP. Galdi
类别: math.AP
发布日期: 2026-03-06
arXiv ID: 2603.06349v1
链接: http://arxiv.org/abs/2603.06349v1
详细分析
关于Navier-Stokes方程分布解局部正则性的一则注记
详细分析
1. 研究对象和背景
本文研究三维Navier-Stokes方程在空间时间柱体 $O$ 上分布解的正则性。经典Leray-Hopf解理论保证了弱解在任意时间区间上的存在性,但其正则性、唯一性及能量等式等基本问题长期未解。已知若Leray-Hopf类解 $u$ 满足Serrin条件 $u \in L^{q',q}(0,T; L^q(\mathbb{R}^3))$(其中 $2/q'+3/q=1$,$q>3$),则 $u$ 光滑且唯一。然而该结论通常需额外假设 $u \in L^{\infty}(0,T; L^{2}(\mathbb{R}^{3})) \cap L^{2}(0,T; W^{1,2}(\mathbb{R}^{3}))$(即Leray-Hopf类)。本文核心问题即:Serrin条件是否本身足以保证局部正则性,而无需显式要求解属于Leray-Hopf类?作者在引言中指出,若时间无界性未被控制,则可能产生势型解 $u = a(t)\nabla\psi(x)$,它满足某些弱意义下的方程但缺乏时间光滑性。因此,需排除此类解或隐含时间有界性假设。
2. 主要定理或主要结果
设 $u \in L^{2}(O)$ 是 $O$ 上散度为零的分布解,满足检验函数方程 $(1.6)$。记 $u = u_{\sigma} + \nabla\pi$ 为Helmholtz-Weyl分解($u_{\sigma}$ 无散,$\nabla\pi$ 为梯度场)。主要定理(定理3.1)断言:若 $u_{\sigma}$ 满足Serrin条件 $u_{\sigma} \in L^{q',q}(O)$($\frac{2}{q'}+\frac{3}{q}=1$, $q>3$)且压力梯度部分 $\pi \in L^{\infty,1}(O)$,则 $u$ 在 $O$ 的任意紧子集 $O'$ 上满足 $u \in L^{\infty,2}(O')$ 和 $\nabla u \in L^{2,2}(O')$。由Serrin和Struwe的经典结果,这推出 $u(t)$ 在空间变量上属于 $C^{\infty}$ 且各空间导数在 $O'$ 上时间有界。关键点是:时间有界性假设仅施加于 $\pi$(或等价于 $u_{\sigma}$ 的 $L^{\infty}$ 时间正则性),而非整个 $u$,且对 $u_{\sigma}$ 仅需Serrin型积分条件。 remark 3.2 指出 $\pi \in L^{\infty,1}$ 可弱化为 $u_{\sigma} \in L^{\infty,s}(O)$(某 $s>1$)。
3. 研究方法、关键技术和核心工具
核心工具是两类Stokes型引理:(1) Lemma 2.2 证明:若柱体 $Q$ 上向量场 $v \in L^{1,q}(Q)$($q>1$)散度为零且满足分布意义的齐次Stokes方程 $(2.12)$,则 $v$ 在 $Q$ 任意紧子集 $Q'$ 上光滑。证明利用Oseen基本张量 $\Gamma_{ij}$ 构造积分表示,通过 mollifier 和Green公式得到正则性,依赖 $\Gamma_{ij}$ 关于空间时间变量的衰减估计。(2) Lemma 2.3 处理非齐次Stokes方程,给出外力项 $F$ 作用下解 $v$ 的 $L^{r',r}$ 估计。若 $F \in L^{q_2',q_2}$ 且满足指数关系 $(2.20)$($\frac{2}{q_2'}+\frac{3}{q_2}=1$, $q_2>3/2$),则 $v \in L^{r',r}$,其中 $r,r'$ 由 $(2.21)$ 确定($ \frac{2}{r'} + \frac{3}{r} = 1$, $2r \ge q_2 > 3$)。证明基于Oseen核的导数估计 $(2.23)$ 和广义Young不等式。
主定理证明分两阶段:首先对 $q \in [4,6]$(Lemma 3.1),将原方程 $(3.1)$ 经 mollification 后与线性Stokes问题 $(3.6)$ 作差,利用Lemma 2.2和能量估计 $(3.7)$ 导出 $u_{\sigma}$ 的 $L^{\infty,2}$ 和 $\nabla u$ 的 $L^{2,2}$ 局部有界性,再结合 $\pi \in L^{\infty,1}$ 和Lemma 2.1完成证明。其次对 $q \in (3,4) \cup (6,\infty)$(Lemma 3.2),构造辅助解 $v_{\eta}$(取 $F = -\zeta(u_{\eta} \otimes u_{\eta})$)吸收非线性项,由Lemma 2.3得 $v_{\eta} \in L^{r',r}$,再用迭代法将指数 $q$ 逐步降低直至落入 $[4,6]$ 范围,最终归结到前一种情形。该方法借鉴了文献[3]的迭代思想。
4. 与之前工作的比较
本文结果与以下先前工作对比:文献[19] 假设压力场 $p$ 及其梯度属于某 $L^{r',r}$ 空间,从而隐含 $u \in L^{\infty,\infty}$,但压力假设较强且不纯粹;文献[3] 要求 $u$ 是初值问题的温和解且初始数据 $u_0 \in L^{2}(\mathbb{R}^{3})$,这排除了非初值问题的分布解,不符合“局部正则性”的纯粹精神。本文贡献在于:仅需对压力梯度部分 $\pi$ (或等价于 $u_{\sigma}$) 做 $L^{\infty}$ 时间有界性假设,且不依赖温和解框架,直接对一般分布解建立局部空间正则性。此外, remarked 3.2 提供了更弱的替代条件 $u_{\sigma} \in L^{\infty,s}$($s>1$),增强了结果的普适性。本文技术核心是结合Stokes方程的正则性理论(Lemma 2.2, 2.3)与非线性项的精细处理,避免了直接控制整个 $u$ 的时间模。
3. Subcritical bifurcations of shear flows
作者: Dongfen Bian, Shouyi Dai, Emmanuel Grenier
类别: math.AP
发布日期: 2026-03-06
arXiv ID: 2603.06322v1
链接: http://arxiv.org/abs/2603.06322v1
详细分析
剪切流中的亚临界分岔
详细分析
1. 研究对象和背景
本文研究不可压缩Navier-Stokes方程在半空间 $\Omega = \mathbb{R} \times \mathbb{R}_+$ 或条带 $\Omega = \mathbb{R} \times (-1, +1)$ 中剪切流的稳定性与分岔问题。剪切流是形如 $U_s(y) = (U_s(y), 0)$ 的定常解,其中 $U_s(y)$ 是光滑函数,满足边界条件(在 $y=0$ 或 $y=\pm1$ 处为零)且在无穷远处趋于常数 $U_+$。控制方程为 $\partial_t u_\nu + (u_\nu \cdot \nabla) u_\nu - \nu \Delta u_\nu + \nabla p_\nu = f_\nu$ 与 $\nabla \cdot u_\nu = 0$,其中 $\nu$ 为运动粘度,$f_\nu = (-\nu \Delta U_s, 0)$。已知当粘度 $\nu$ 足够小且水平波数 $\alpha$ 位于两条临界稳定性曲线 $\alpha_-(\nu)$ 与 $\alpha_+(\nu)$ 之间时,线性化算子 $L_{\nu,\alpha}$ 存在具有正实部的特征值,即流动谱不稳定。在上临界曲线 $\alpha_+(\nu)$ 处,一对复共轭特征值穿过虚轴,发生Hopf分岔。分岔的超临界或亚临界性质由Landau方程中的系数 $C$ 的实部符号决定:$\Re C > 0$ 为超临界(稳定分支),$\Re C < 0$ 为亚临界(不稳定分支)。该符号对理解高Reynolds数下流动是否趋向湍流至关重要,但理论上难以确定,故需通过数值计算检验。本文旨在为多种剪切流剖面(包括指数流和多项式Poiseuille流)提供该分岔为亚临界的数值证据。
2. 主要定理或主要结果
论文的核心成果是通过系统性的数值计算,证明了所研究剪切流在上临界稳定性曲线 $\alpha_+(\nu)$ 处发生的Hopf分岔均为亚临界。具体而言:
- 对于半空间中的指数剪切流 $U_s(y) = 1 - e^{-y}$,在上临界曲线处 $\Re C < 0$。
- 对于条带中的Poiseuille型流 $U_s(y) = 1 - y^{2p}$($p=1,2,3$):
- 当 $p=1$(经典Poiseuille流),临界Reynolds数 $Re_c \approx 5772$,在上临界曲线处 $\Re C < 0$。
- 当 $p=2$,$Re_c \approx 52748$,上临界处 $\Re C < 0$。
- 当 $p=3$,$Re_c \approx 128820$,上临界处 $\Re C < 0$。 此外,在下临界稳定性曲线 $\alpha_-(\nu)$ 处,分岔性质随Reynolds数变化:存在一中间临界Reynolds数 $Re_s$(例如对指数流 $Re_s \approx 62714$),当 $Re < Re_s$ 时日临界分支稳定($\Re C > 0$),而当 $Re > Re_s$ 时日临界分支不稳定($\Re C < 0$)。文中还给出了下临界曲线处存在的另一更高Reynolds数 $Re_d$(如指数流 $Re_d \approx 85561$),标志着分岔分支存在性的区间终点。所有情形下,上临界分支均出现在 $\Re \lambda < 0$ 的区域,暗示小扰动可能增长并导致湍流。
3. 研究方法、关键技术和核心工具
研究方法基于[3]中建立的Hopf分岔理论框架,通过数值求解经典流体力学中的Orr-Sommerfeld方程及其伴随方程,进而计算Landau系数 $C$。关键步骤包括:
- 对于固定的 $\alpha$ 和 $\nu$(通常取在上/下临界曲线上),求解Orr-Sommerfeld方程 $(\ref{OS})$:$\nu (U_s - c)(\partial_y^2 - \alpha^2)\psi_{\alpha,\nu} - U_s''\psi_{\alpha,\nu} - i\alpha\nu(\partial_y^2 - \alpha^2)^2\psi_{\alpha,\nu} = 0$,边界条件 $\psi_{\alpha,\nu}(0)=\partial_y\psi_{\alpha,\nu}(0)=0$(半空间)或 $\psi_{\alpha,\nu}(\pm1)=0$(条带),且 $y \to \infty$ 时衰减,得到特征速度 $c$ 与流函数 $\psi_{\alpha,\nu}$,进而构造特征速度场 $\zeta_{\alpha,\nu} = \nabla^\perp[e^{i\alpha x}\psi_{\alpha,\nu}(y)]$。
- 求解伴随Orr-Sommerfeld方程,得到伴随特征向量 $\zeta^*_{\alpha,\nu}$,并进行归一化 $\langle \zeta, \zeta^* \rangle = 1$。
- 求解定义在 $\ref{inver}$ 与 $\ref{inver2}$ 中的方程,得到二阶修正项对应的流函数 $\psi_{2,2}$ 与 $\psi_{2,0}$,进而得到速度场 $V_2 = \nabla^\perp[e^{2i\alpha x}\psi_{2,2}]$ 和 $V_{2,0} = \nabla^\perp[\psi_{2,0}(y)]$。
- 计算中间量 $B_1 = B(\zeta, V_{2,0})$ 与 $B_2 = B(\bar{\zeta}, V_{2,2})$(其中 $B$ 为对称双线性算子),代入公式 $\ref{expressionC}$:$C = -2\langle B_1 + B_2, \zeta^* \rangle$。
- 通过Chebyshev配置法(谱方法)离散化空间变量 $y$ 并求解上述矩阵特征值问题,这是流体力学稳定性数值计算的标准工具。作者通过复现文献[4]中的表格验证了代码的正确性。
4. 与之前工作的比较
本文工作建立在[3]的严格Hopf分岔理论框架之上,该框架将Navier-Stokes方程在临界波数 $\alpha_+(\nu)$ 附近的分岔约化为Landau方程,并给出了系数 $C$ 的显式表达式(公式$\ref{expressionC}$)。然而,理论分析无法直接确定 $\Re C$ 的符号,因此理论无法断言分岔类型。之前的研究(如[4, 15, 17])通过不同的数值或渐近方法,对Poiseuille流($p=1$)的亚临界分岔给出了物理上的证据和部分数值支持。本文的主要推进在于:
- 系统性扩展:首次将相同的数值分岔分析应用于指数剪切流 $U_s(y)=1-e^{-y}$(半空间情形),此前未见类似结果发表。
- 参数化研究:对于条带中的多项式Poiseuille流,系统研究了 $p=1,2,3$ 三种情形,发现尽管临界Reynolds数随 $p$ 增大而急剧升高(从 $\sim 10^3$ 到 $\sim 10^5$),但上临界分支的亚临界性质保持一致。
- 下临界曲线的完整分析:除了上临界曲线,本文还详细考察了下临界曲线 $\alpha_-(\nu)$ 处的分岔行为,揭示了 $\Re C$ 符号随Reynolds数变化的临界现象,并给出了 $Re_s$ 与 $Re_d$ 的数值估计,这补充了分岔图的完整拓扑结构。
- 方法学一致性:所有计算采用统一的谱方法(Chebyshev配置法),确保了不同流动剖面之间结果的可比性,并确认了在极大临界Reynolds数(超过 $10^5$)下亚临界分岔的鲁棒性。
综上所述,本文通过严谨且统一的大规模数值计算,为多种经典剪切流在上临界稳定性曲线处的Hopf分岔属于亚临界类型提供了强有力的证据,深化了对高Reynolds数下流动不稳定性和湍流转捩触发机制的认识。
4. Ergodicity for a Constantin-Lax-Majda-DeGregorio model of turbulent flow
作者: Shunsuke Fujita, Reika Fukuizumi, Takashi Sakajo
类别: math.AP, math.PR
发布日期: 2026-03-06
arXiv ID: 2603.06182v1
链接: http://arxiv.org/abs/2603.06182v1
详细分析
随机广义CLMG湍流模型的遍历性分析
详细分析
1. 研究对象和背景
本研究聚焦于一维随机湍流模型,具体为广义Constantin-Lax-Majda-DeGregorio (gCLMG)方程,其形式为$ \omega_t + a u \omega_x - u_x \omega = \nu \omega_{xx} + f $,其中$ u = H(\omega) $表示Hilbert变换,$ a \in \mathbb{R} $为参数,$ \nu > 0 $为粘度系数,$ f $为随机外力。论文特别考虑$ a = -2 $的情形,因为此时涡量的平方模长在无粘性条件下成为守恒量(类比二维湍流中的涡量),这对应于“异常涡量级联”现象——即该守恒量在零粘性极限下异常耗散,类似于二维湍流中能谱的$ k^{-3} $律。数值模拟(见论文图1)显示,当粘度$ \nu $较小时,能谱呈现$ k^{-3} $衰减趋势(带对数修正),涡量通量在惯性区为正常数,且解在三维相空间(由前几个傅里叶模式投影)中的吸引子呈蝴蝶形状,暗示不变测度的非对称性。该模型作为三维Navier-Stokes方程的简化版本,旨在从动力系统理论角度理解湍流统计性质:通过构造吸引子上的不变测度,研究异常级联的数学机制。随机外力设置为光滑形式(时间导数的高斯过程),以区别于经典Burgers方程,并突出非局部非线性项的结构特性。
2. 主要定理或主要结果
论文主要完成了以下数学结果:首先,在随机外力充分光滑(具体为$ \xi(t,x) = \partial_t \sum b_k \beta_k(t) e_k(x) $,其中$ b_k $满足$ \sum |k|^{2m} b_k^2 < \infty $,$ \beta_k $独立Brownian运动)和任意粘性系数$ \nu > 0 $条件下,证明了方程在Sobolev空间$ \dot{H}^m $中存在唯一全局强解(定理2.2),关键在于选择$ a = -2 $使得能量估计有效,且解属于$ C([0,\infty); \dot{H}^m) $。其次,利用能量估计导出的先验界,通过经典的Krylov-Bogoliubov紧性论证,证明了动力系统在吸引子上存在不变概率测度(定理3.1)。进一步,在粘性系数$ \nu $足够大的条件下,证明了该不变测度的唯一性(定理4.1),并建立了指数混合性质:系统关于$ L^2 $-Lipschitz对偶度量以指数速率混合(定理4.2)。唯一性和指数混合的证明依赖于方程的非局部结构(Hilbert变换项),在粘度大时该结构通过能量方法得到有效控制。论文指出,粘度条件的存在突显了非局部性的作用,而小粘度情况下的遍历性仍是开放问题。
3. 研究方法、关键技术和核心工具
研究方法基于无穷维随机动力系统理论,核心工具包括:Sobolev空间框架(特别是$ \dot{H}^m $空间),用于定义函数空间和范数;能量估计方法——通过$ a = -2 $的选择使得无粘性部分具有守恒量,结合Itô公式和随机外力的矩估计(如引理2.1中Gaussian过程的Hölder连续性验证),证明了解的全局有界性和适定性;Krylov-Bogoliubov方法——利用能量界构造紧集,通过Feller性质和紧性论证证明不变测度存在(第3节);唯一性证明采用了基于能量的全局逼近策略,估计不变测度的各阶矩,并利用非局部非线性项的结构,在$ \nu $大时通过能量不等式控制耦合解之间的差异(类似二维Navier-Stokes方程的处理);指数混合则通过构造耦合系统并估计$ L^2 $-对偶距离的衰减率实现,关键步骤是非线性项的耗散估计。整个过程借鉴了Burgers方程和Navier-Stokes方程的遍历性理论,但针对gCLMG模型的非局部算子(Hilbert变换)进行了调整,突出了粘度参数在调控非局部性影响中的作用。
4. 与之前工作的比较
与经典Burgers方程相比,gCLMG模型因Hilbert变换项而具有非局部结构,且当$ a=-2 $时存在二维湍流相关的无粘性守恒量(涡量平方),支持异常级联,而Burgers方程缺乏此类守恒量,其湍流谱律和遍历性质不同。与三维Navier-Stokes方程相比,该模型降维至一维但保留了非线性核心特征,为湍流数学分析提供了可操作框架。本文工作直接延续了Mabtsumoto与Sakajo的数值研究[22]——后者通过数值实验展示了异常级联和蝴蝶吸引子——首次从数学上严格构造了不变测度,并证明了大粘度下的唯一性和混合性。在方法上,不同于Boritchev-Kuksin对Burgers方程的研究(侧重于谱律的点态估计和惯性范围分析),本文更强调全局能量方法和非局部结构的分析,使用了类似二维Navier-Stokes的全局逼近技术。此外,论文明确区分了粘度条件:大粘度使得非局部项可控,从而遍历性成立;而小粘度情况(对应更真实的湍流 regime)需要更精细工具,留待后续工作。整体上,本研究将湍流模型的遍历性理论从局部非线性(Burgers)推广到非局部强非线性系统,为理解异常级联的动力系统基础迈出第一步。
5. A spectral approach to interface layers on networks for the linearized BGK equation and its acoustic limit
作者: Raul Borsche, Tobias Damm, Axel Klar, Yizhou Zhou
类别: math.AP, math.NA
发布日期: 2026-03-06
arXiv ID: 2603.06104v1
链接: http://arxiv.org/abs/2603.06104v1
详细分析
关于网络上的线性化BGK方程及其声学极限界面层的谱方法研究
详细分析
1. 研究对象和背景
本文研究对象为带上网络结构的一维线性化BGK动理学方程及其当Knudsen数 $\varepsilon$ 趋于零时的声学极限(即线性化Euler方程)。研究背景在于:对于宏观输运方程(如Euler方程、波动方程等)在网络节点处的耦合条件已有广泛研究,但相应的动理学方程(如BGK模型)在网络上的耦合条件研究相对匮乏,且从动理学层次自洽推导宏观耦合条件的工作尤其少见。本文的核心动机是通过对节点附近区域的精细渐近分析,从动理学边界/耦合条件出发,严格导出宏观方程在节点处应当满足的耦合条件,并完整刻画极限过程中产生的多层次界面结构(动理学层和粘性层)。这结合了动理学理论中经典的边界层分析与网络上的耦合问题。
2. 主要定理或主要结果
论文并未以传统定理形式列出,其主要成果可归纳为:首先,通过系统性的渐近分析,发现在声学极限(退化情况)下,仅考虑动理学层不足以唯一确定节点处的耦合条件,必须额外引入粘性层分析,二者通过匹配条件耦合,形成完整的“动理学-粘性”层框架;其次,基于此框架,将网络上各边在节点处的动理学半空间问题与动理学耦合条件相结合,并利用粘性层提供的补充约束,得到了每个节点处一个封闭的耦合动理学半空间问题;进而,为求解该问题,发展了一种基于速度离散化(Gauss-Hermite求积)和谱方法的数值方案,该方案能高效、精确地计算出宏观耦合条件中出现的所有关键系数(例如外推长度 $\delta$);最后,通过数值实验验证了所提出方法在准确捕捉界面层结构和确定宏观耦合条件方面的有效性和精度。
3. 研究方法、关键技术和核心工具
研究主要依赖渐近分析和谱方法。在渐近分析层面,对空间坐标进行多重尺度缩放:首先令 $x \to x/\varepsilon$ 导出动理学层的稳态半空间问题,其边界条件由边上的外解提供,而无穷远处的状态由宏观特征变量决定;进一步令 $x \to x/\sqrt{\varepsilon}$ 导出粘性层方程,发现其主导方程是一个关于退化特征量 $\hat{r} = \hat{S} - 3\hat{\rho}$ 的扩散方程,其边界条件由外解(动理学层在无穷远处的状态)和与动理学层的匹配条件共同确定。匹配条件要求两者在公共区域中关键矩的渐近行为一致,这给出了联系宏观特性与动理学层解的一个积分约束,从而解决了退化情形下动理学半空间问题解的非唯一性。
在离散化与谱方法层面,采用离散速度BGK模型:选取Gauss-Hermite点作为离散速度 $v_i$ 及对应权重 $w_i$,将分布函数 $f$ 近似为离散值 $f_i$。离散Maxwellian $M_i$ 由矩 $g_k$ 通过Hermite多项式 $H_k(v_i)$ 构造,确保离散矩与连续矩在前三阶一致,且高阶矩正交于低阶矩。将动理学方程投影到Hermite基上,得到矩变量 $(g_0, g_1, g_2, ..., g_{2N-1})$ 的ODE系统。动理学层分析在离散框架下转化为求解一个边界值问题:对每个边,需要找到从给定入流条件 $f_i(0,v>0)$ 到指定出流特征态 $(g_2 - a g_1)_{\infty} = r_-$ 的稳态解。由于系统是线性的,通解可表为特解加上碰撞流形(由低阶矩生成的不变空间)的通解。关键创新在于:利用Hermite多项式的递归关系,将高阶矩用低阶矩表示,从而将半空间问题归约为一个关于 $(g_0, g_1, g_2)$ 的有限维线性系统,其系数由递归系数 $\alpha_k$ 决定。将此系统在无穷远处以特征态为渐近条件,并利用节点处所有边的动理学耦合条件(线性关系),得到一个关于各边出流态的全局线性方程组。谱方法的核心是:假设解在某种函数空间中展开(例如用Hermite多项式),利用离散正交性,将边界条件(无穷远处的矩约束)自动满足,剩下的自由度由耦合条件和匹配条件确定,从而高效求解。
4. 与之前工作的比较
本文工作最直接的比较是与作者早期工作 [15] 的对比。在 [15] 中,作者研究了非退化的动理学-宏观极限(对应于完整Euler系统,三个非零特征速度),此时每个动理学半空间问题有唯一解,因为碰撞流形中不包含非平凡解满足出流特征条件。而本文处理的声学系统是退化的(含一个零特征速度),导致动理学半空间问题本身具有非唯一性:任何碰撞不变量 $(\alpha + \beta v + \gamma v^2)M(v)$ 的扰动都是解,且满足出流特征条件。因此,[15] 的框架不能直接应用,必须引入新的物理约束。本文通过分析粘性层,利用其与动理学层的匹配条件(本质上是关于总通量或总能量的积分约束)来消除这一非唯一性,从而确定唯一的耦合条件。这是理论上的主要推进。
其次,在方法实现上,[15] 提出了一种通用数值框架,但本文具体发展了针对离散速度模型的谱方法。该方法利用Hermite多项式的特殊结构,将半空间问题的求解转化为线性代数方程组的求解,避免了迭代或大规模线性系统,理论上更高效、精确,尤其适合高精度离散模型。此外,本文不仅给出耦合条件,还详细描绘了节点附近完整的层结构:在退化情形下,密度 $\rho$ 可能同时存在动理学层和粘性层,而动量 $q$ 和能量 $S$ 仅为常数层加一个行波,这一完整图像在 [15] 的非退化情形下更为简单。最后,本文明确给出了如何从求解的耦合半空间问题中提取宏观耦合系数(如文章中的 $\delta$),并讨论了其物理解释(类似外推长度),这为实际网络模拟提供了直接可用的条件。
6. Besov space approach to the Navier-Stokes equations with the Neumann boundary condition in bounded domains
作者: Tsukasa Iwabuchi, Hideo Kozono
类别: math.AP
发布日期: 2026-03-06
arXiv ID: 2603.05779v1
链接: http://arxiv.org/abs/2603.05779v1
详细分析
有界域Neumann边界条件下Navier-Stokes方程的Besov空间方法
详细分析
1. 研究对象和背景
本文研究对象是如下在有界域$\Omega \subset \mathbb{R}^d$($d \ge 2$,光滑边界$\partial\Omega$,且$d-1$维Betti数为零,即单连通)上的带Neumann边界条件的不可压缩Navier-Stokes方程:
其中$\nu$是单位外法向量,$\sigma(\delta,\nu)$是外微分$d$的主符号$\delta = d^*$在$\nu$处的值,$u$为速度场(视为1-形式),$\pi$为压力。背景是在全空间$\mathbb{R}^d$上,适定性理论已发展成熟,例如在Besov空间$\dot{B}^{-1+\frac{d}{p}}_{p,q}$、Morrey空间和BMO空间中均有结果(包括Kato、Cannone-Planchon、Kozono-Yamazaki、Koch-Tartar、Bourgain-Pavlovic等)。然而在有界域上,结果相对有限:Fujita-Kato在Dirichlet条件下于$L^2_\sigma(\Omega)$的$D(A^{1/4})$($A$为Stokes算子)中证明了局部适定性;Giga-Miyakawa将结果推广至$d$维Dirichlet情形,并在$L^d_\sigma(\Omega)$中证明了局部适定性,这曾是最大空间。对于Neumann边界条件,相关研究较少,本文旨在通过引入基于Stokes算子的Besov空间框架,在有界域上获得比$L^d_\sigma(\Omega)$更大的初始数据空间以证明适定性。
2. 主要定理或主要结果
在几何假设$X(\Omega) = \{ u \in C^\infty(\bar{\Omega}) \mid \delta u = 0, du = 0, \sigma(\delta,\nu)u = 0 \text{ on } \partial\Omega \} = \{0\}$(即单连通)下,定义Besov空间$\dot{B}^s_{p,q}(\Omega)$通过Stokes算子$A = A_2$($L^2_\sigma(\Omega)$上带Neumann条件的Stokes算子)。主要结果如下(定理1.1):设$d \ge 2$,$d < p < \infty$。
(1) 局部解($1 \le q < \infty$):若$u_0 \in \dot{B}^{-1+\frac{d}{p}}_{p,q}$,则存在$T > 0$和解$u$在$\dot{B}^{-1+\frac{d}{p}}_{p,q}$上定义于$(0,T)$,满足$u \in C([0,T], \dot{B}^{-1+\frac{d}{p}}_{p,q})$且$\sup_{t \in (0,T)} t^{\frac{1}{2}(1-\frac{d}{p})} \|u(t)\|_{L^p} < \infty$。
(2) 局部解($q = \infty$):存在常数$\delta_0 > 0$,若$u_0 \in \dot{B}^{-1+\frac{d}{p}}_{p,\infty}$且满足$\limsup_{j \to \infty} 2^{j(-1+\frac{d}{p})} \|\varphi_j(\sqrt{A}) u_0\|_{L^p} \le \delta_0$,则存在$T > 0$和唯一解$u$在$\dot{B}^{-1+\frac{d}{p}}_{p,\infty}$上定义于$(0,T)$,满足$\sup_{t \in (0,T)} t^{\frac{1}{2}(1-\frac{d}{p})} \|u(t)\|_{L^p} \le C \delta_0$($C = C(d,p)$与$u_0$无关),且时间连续性以对偶弱意义成立:对任意$\tilde{t} \in [0,T]$,$u(\tilde{t}) \in \dot{B}^{-1+\frac{d}{p}}_{p,\infty}$且
其中$1/p + 1/p' = 1$,$\Phi_j = \varphi_{j-1} + \varphi_j + \varphi_{j+1}$。
(3) 全局解($1 \le q < \infty$):存在$\delta_0 > 0$,若$u_0 \in \dot{B}^{-1+\frac{d}{p}}_{p,q}$且$\|u_0\|_{\dot{B}^{-1+\frac{d}{p}}_{p,q}} \le \delta_0$,则存在全局唯一解$u$在$\dot{B}^{-1+\frac{d}{p}}_{p,q}$上定义于$(0,\infty)$,满足$u \in C([0,\infty), \dot{B}^{-1+\frac{d}{p}}_{p,q})$且$\sup_{t > 0} t^{\frac{1}{2}(1-\frac{d}{p})} \|u(t)\|_{L^p} < \infty$。对于$q = \infty$,类似结论成立。
关键推论:由于$d < p$,有嵌入$L^{d,\infty}(\Omega) \subset \dot{B}^{-1+\frac{d}{p}}_{p,\infty}$,因此本文的初始数据空间严格大于之前有界域上已知的任何空间(如Giga-Miyakawa的$L^d_\sigma(\Omega)$)。
3. 研究方法、关键技术和核心工具
本文方法基于Iwabuchi-Matsuyama-Taniguchi (2019)于Dirichlet情形的发展,核心在于通过Stokes算子构建Besov空间框架。首先,在$L^2_\sigma(\Omega)$上引入Stokes算子$A_2$,其定义为$A_2 u = -P \Delta u = -\Delta u$($P$为Helmholtz投影),定义域为$\{ u \in W^{2,p}(\Omega) \mid \sigma(\delta,\nu)u = 0, \sigma(\delta,\nu)du = 0 \text{ on } \partial\Omega \} \cap L^p_\sigma(\Omega)$($1 < p < \infty$),并利用Neumann问题的弱形式保证$P$的存在性。关键技术步骤包括:
Littlewood-Paley分解:选取$\varphi \in C^\infty(\mathbb{R})$满足$\operatorname{supp} \varphi \subset [2^{-1}, 2]$,$\sum_{j \in \mathbb{Z}} \varphi(2^{-j}\lambda) = 1$,并定义$\varphi_j(\lambda) = \varphi(2^{-j}\lambda)$。通过谱理论将$\varphi_j(\sqrt{A})$扩展为$L^p$上的有界算子(对所有$1 \le p \le \infty$且关于$j$一致有界),这是通过半群$\{e^{-tA}\}$的核的Gaussian上界(Lemma 2.2)和椭圆估计(Proposition 2.1)实现的。具体地,利用Gaussian衰减将域分割为边长为$t^{-1/2}$的立方体,结合Cauchy-Schwarz不等式和椭圆估计控制非局部算子的局部化,从而证得Proposition 2.3:$\sup_{j \in \mathbb{Z}} \|\varphi_j(\sqrt{A})\|_{L^p \to L^p} < \infty$且当$1 \le r \le p \le \infty$时$\sup_{j \in \mathbb{Z}} 2^{-d(\frac{1}{r} - \frac{1}{p})j} \|\varphi_j(\sqrt{A})\|_{L^r \to L^p} < \infty$。
分布空间框架:引入测试函数空间$X_\sigma$(非齐次型)和$Z_\sigma$(齐次型)为Fréchet空间,及其对偶$X'_\sigma$、$Z'_\sigma$。定义$A$在这些分布空间上的作用(通过$A$在测试函数上的作用)以及$\varphi(A)$。定义投影$P$以提取无散场,并定义非线性项$P\operatorname{div}(u \otimes u)$作为$X'_\sigma$的元素(通过积分分步)。
Besov空间定义:选择齐次型,对$s \in \mathbb{R}$,$1 \le p,q \le \infty$,定义
$$ \dot{B}^s_{p,q} = \left\{ f \in Z'_\sigma : \|f\|_{\dot{B}^s_{p,q}} = \left( \sum_{j \in \mathbb{Z}} \bigl\| 2^{sj} \varphi_j(\sqrt{A}) f \bigr\|_{L^p}^q \right)^{1/q} < \infty \right\}, $$并证明嵌入关系(Proposition 2.6):$\dot{B}^0_{p,1} \hookrightarrow L^p_\sigma \hookrightarrow \dot{B}^0_{p,\infty}$($1 < p < \infty$),以及当$s \gg 1$时函数光滑且无散性明显。
半群估计:在$\dot{B}^s_{p,q}$上建立$\{e^{-tA}\}_{t \ge 0}$的$L^p-L^q$型估计,这是适定性能否成立的关键。利用上述算子有界性和椭圆估计,结合Neumann条件下$-\Delta$与$P$交换的性质(保证核的Gaussian上界成立),在子区域估计中应用加权Sobolev空间范数控制。
双线性估计:对非线性项$P\operatorname{div}(u \otimes u)$在Besov空间中建立估计,需满足正则性指数条件(如$d < p$)。利用Yamazaki方法或 paraproduct 分解,结合半群估计和Hölder不等式,在缩放空间$\dot{B}^{-1+\frac{d}{p}}_{p,\infty}$中证明双线性项可控制。
适定性证明:通过Banach不动点定理在合适函数空间(如$L^\infty(0,T; \dot{B}^{-1+\frac{d}{p}}_{p,q})$带时间权重)中证明局部适定性;小初值全局适定性则通过能量估计或连续性论证。对于$q = \infty$端点,引入额外的序列条件($\limsup$条件)确保解存在唯一。
4. 与之前工作的比较
全空间$\mathbb{R}^d$:适定性在$\dot{B}^{-1+\frac{d}{p}}_{p,q}$(Kozono-Yamazaki)、Morrey空间$M^{-1+\frac{d}{p}}$、BMO$^{-1}$(Koch-Tartar)等已被证明,这些空间基于无边界情形的Littlewood-Paley理论和paraproduct公式。Bourgain-Pavlovic、Yoneda、Wang等证明在$\dot{B}^{-1}_{\infty,q}$中的不适定性,凸显了临界正则性的微妙性。
有界域Dirichlet条件:
- Fujita-Kato (1964)在三维Dirichlet情形,利用Stokes算子的分数幂$A^{1/4}$在$L^2_\sigma(\Omega)$中证明局部适定性。
- Giga-Miyakawa (1984)推广至$d$维,在$L^d_\sigma(\Omega)$中证明局部适定性,这是此前有界域上最大的空间,基于$L^p$理论($L^p$-解析半群估计)。
有界域Neumann条件:之前研究较少,Miyakawa [25]可能涉及Neumann但空间较小。本文贡献在于:
- 首次在Neumann条件下,通过Stokes算子发展出完整的Besov空间理论,包括半群估计和双线性估计。
- 初始数据空间扩大至$\dot{B}^{-1+\frac{d}{p}}_{p,q}$($d < p < \infty$,$1 \le q \le \infty$),由于嵌入$L^{d,\infty} \subset \dot{B}^{-1+\frac{d}{p}}_{p,\infty}$,这严格包含$L^d_\sigma(\Omega)$($L^d$是临界空间,$L^{d,\infty}$是Lorentz空间,更大)。例如在$p > d$时,$\dot{B}^{-1+\frac{d}{p}}_{p,\infty}$包含$L^d$但不包含所有$L^p$,且允许低正则性初始数据。
- 几何假设(单连通)确保$A$的谱远离零($A$的最小特征值正),从而全局适定性对小初值成立;若假设不满足($X(\Omega) \neq \{0\}$),零特征值出现,全局解可能不存在(注释(ii))。
- 技术核心:Neumann条件下$-\Delta$与$P$交换,使得半群核的Gaussian上界可证(Lemma 2.2),这在Dirichlet情形更复杂(注释(iii)对比)。Dirichlet情形下类似方法可能失效,因$-\Delta$与$P$不交换。
- 与Euler方程比较:在$\mathbb{R}^d$上Chae、Pak-Park在$\dot{B}^{\frac{d}{p}+1}_{p,1}$证明局部适定性;有界域上Kato-Lai在$H^s$($s = [d/2] + 2$)证明。本文方法可能扩展到Euler方程以获更大空间(注释(iv)),但需进一步研究。
7. 2D capillary liquid drops with constant vorticity: rotating waves existence and a conditional energetic stability result for rotating circles
作者: Giuseppe La Scala
类别: math.AP, physics.flu-dyn
发布日期: 2026-03-05
arXiv ID: 2603.05458v1
链接: http://arxiv.org/abs/2603.05458v1
详细分析
二维恒定涡度毛细液滴:旋转波存在性及旋转圆的条件能稳性结果
详细分析
1. 研究对象和背景
本文研究具有恒定涡度的二维纯毛细液滴的自由边界问题。物理背景可追溯至Rayleigh对近圆柱形毛细射流的研究[25],他发现长圆柱因轴向平移效应发生线性不稳定而断裂,旋转效应则仅产生小振荡。本文将该模型推广至恒定涡度情形,考虑如下方程组:
其中液滴域 $\Omega_t$ 由近圆形边界 $\partial\Omega_t = \{ \gamma_t(x) = (1+h(t,x))x : x\in S^1 \}$ 描述, $h$ 为高程函数。学术背景上,二维无旋情形下Craig-Sulem方程与哈密顿结构已得到发展[6,20],旋转波存在性也被证明[20]。本文旨在处理显著的恒定涡度 $\alpha_0 \neq 0$ 情形,其数学挑战在于涡度引入旋转流,导致哈密顿结构的修正与能稳性分析中需额外约束。
2. 主要定理或主要结果
本文核心结果分为两部分:
旋转波存在性定理。对于给定角频率 $\omega$,若存在整数 $\kappa,\ell \in \mathbb{N}$ 满足共振条件
且参数 $\Delta := (\kappa\ell-1)C_{\kappa\ell}(\kappa\ell+1) - \frac{1}{4} \geq 0$(其中 $C_{\kappa\ell} = \sigma_0/\alpha_0^2$),则存在非平凡的 $\kappa$-重对称旋转波解。证明结合分歧理论与临界点理论:当线性化算子核维数为2时(通常发生在 $\omega^* > \alpha_0/2$ 或 $\omega^* \neq \alpha_0/2 - \alpha_0/(2\ell)$),通过Moser-Weinstein方法利用角动量约束获得紧性;当核维数为4时(可能发生在 $\omega^* < \alpha_0/2$),通过角频率参数化利用山路引理或Conley指标方法。
条件能稳性定理。对于旋转圆解 $(\xi,\chi)=(0,0)$,若限制在体积约束 $V(\xi) = \frac{1}{2}\int_{T^1} e^{2\xi}\,d\vartheta = 1$、质心速度约束 $B(\zeta,\gamma)=0$ 和质心位置约束 $P(\zeta)=0$ 的子流形上(其中 $B,P$ 定义见下文),则其对应的哈密顿量 $\bar{H}$ 在此约束下是严格凸的,从而该旋转圆是条件能稳的。此结论与Rayleigh关于旋转圆柱射流的稳定性分析一致,且适用于无旋情形 $\alpha_0=0$。
3. 研究方法、关键技术和核心工具
Craig-Sulem方程与坐标变换。首先将自由边界问题通过位势 $\Phi$ 化为Craig-Sulem方程。引人高程函数 $h$ 与速度势 $\psi$,方程在单位圆上为(1.9)-(1.10)。为利用平坦环面 $T^1$ 上的分析工具,通过变量替换 $\xi = \log(1+h)$ 和 $\chi$ 将方程化为(1.11)-(1.12)。此时的哈密顿量
表现出形式哈密顿结构,但泊松算子 $J_{\alpha_0}$ 的可逆性需固定体积 $V(\xi)$,这促使进一步坐标变换。
Wahlén坐标与简化哈密顿结构。通过共形变换
将方程化为在 $H^s_1 \times \dot{H}^s_2$ 上严格的哈密顿形式,其中哈密顿量为 $\bar{H} = H\circ C$,泊松张量为
此结构极大简化了对称性与守恒量分析:系统在旋转群 $T_\alpha$ 作用下不变,对应角动量守恒。在Wahlén坐标下,角动量 $\bar{I}$ 简化为 $\bar{I}(\zeta,\gamma) = -\frac{1}{2}\int e^{2\zeta}\gamma'\,d\vartheta$。
旋转波与临界点理论。旋转波是共转坐标系下的稳态解,在Wahlén坐标下满足 $(\zeta(t,\vartheta),\gamma(t,\vartheta)) = (\bar{\eta}(\vartheta+\omega t), \bar{\beta}(\vartheta+\omega t))$。其存在性等价于作用量 $\bar{\mathcal{E}} = \bar{H} - \omega \bar{I}$ 的临界点。在旋转圆 $(0,0)$ 处线性化,得到特征值方程
所有特征值非正,表明线性稳定。共振频率 $\omega^*$ 处线性算子核 $\mathcal{V}$ 维数为2或4。通过分情形讨论:
- 若 $\dim\mathcal{V}=2$(通常 $\omega^* \neq \alpha_0/2 - \alpha_0/(2\ell)$),利用可逆性条件(如Crandall-Rabinowitz横截性)与对称性(可逆性),每个 $T_\alpha$-轨道至少对应一个旋转波。
- 若 $\dim\mathcal{V}=4$ 且 $\omega^* > \alpha_0/2$,利用约化角动量在 $\mathcal{V}$ 上的正定性(至多三阶)获得紧性,通过极小极大原理证明至少两个不同 $T_\alpha$-轨道(一极大一极小)的存在。
- 若 $\dim\mathcal{V}=4$ 且 $\omega^* < \alpha_0/2$,则直接利用角频率参数化,考虑函数 $f_\omega(v) = (\omega-\omega^*)|v|^2 + O(|v|^3)$ 在 $\mathbb{R}^4$ 小邻域内的拓扑结构(孤立极大/极小或变号),应用山路引理或Conley块方法。
条件能稳性分析。旋转圆的能稳性需验证 $\bar{H}$ 在约束流形上的严格凸性。计算Hessian发现三个退化模式:$(0,0)$ 模式给出特征值 $\lambda_1(0) = -\alpha_0^2(C - 1/4)$(可正可负);$(1,\pm1)$ 模式给出两个零特征值。通过约束:
- 体积约束 $V(\zeta)=1$ 消除 $(0,0)$ 模式的影响(其贡献为 $O(\|(\zeta,\gamma)\|^2)$)。
- 质心速度约束 $B(\zeta,\gamma)=0$ 和质心位置约束 $P(\zeta)=0$ 强制 $(1,\pm1)$ 模式足够小(引理5.1),其中$$ B(\zeta,\gamma) = \int e^{\zeta}\gamma'\,d\vartheta + \frac{\alpha_0}{4}\Pi_0 e^{2\zeta} - \frac{\alpha_0}{6} \int e^{2\zeta} \begin{pmatrix} -\sin\vartheta \\ \cos\vartheta \end{pmatrix} d\vartheta, \quad P(\zeta) = \frac{1}{2}\int e^{3\zeta} \begin{pmatrix} \cos\vartheta \\ \sin\vartheta \end{pmatrix} d\vartheta. $$物理上,这些约束确保液滴平均位置固定且仅受旋转和变形影响。在此三约束子流形 $ \bar{\mathcal{V}} = \{V=1, B=0, P=0\} $ 上,$\bar{H}$ 的Hessian正定,从而得证条件能稳性。
4. 与之前工作的比较
本文将恒定涡度情形系统引入二维毛细液滴的旋转波理论,与无旋情形[20]和三维/其他情形相比,主要区别与进展在于:
与无旋情形($\alpha_0=0$)比较:无旋时共振关系简化,$\omega = \pm\sqrt{\sigma_0(\ell^2-1)/\ell}$,且线性化特征值恒负,核维数恒为2(无4维情况)。而本文中涡度 $\alpha_0$ 引入额外项,共振频率含 $\alpha_0$ 依赖,且可能出现核维数4的复杂情形,需分 $\omega^* > \alpha_0/2$ 和 $\omega^* < \alpha_0/2$ 处理。无旋时本文定理自动成立,但证明中需处理涡度带来的修正项(如哈密顿量中 $-\alpha_0^2/8$ 项)。
与Rayleigh的旋转圆柱射流稳定性分析[25]比较:Rayleigh针对无旋圆柱射流,通过固定体积的扰动分析获得稳定性。本文在二维液滴框架下,不仅证明旋转圆在固定体积下的条件能稳,还进一步需要固定质心速度与位置以消除 $(1,\pm1)$ 退化模式,这反映了二维液滴平移自由度与圆柱射流的不同。
与Water Wave方程在 $T^1$ 上的哈密顿结构[31]比较:[31]建立了恒定涡度Water Wave方程的哈密顿形式,本文的方程(1.11)-(1.12)与其类似,但存在差异:液滴边界由自由参数 $\xi$ 描述,且毛细项含 $(1+\xi'^2)^{1/2}$。本文通过Wahlén坐标变换,使泊松张量简化为常数形式 $J(\zeta)$,比[31]中更简洁。
与旋转波存在性分歧理论[24,33,4]比较:Moser-Weinstein方法[24,33]常用于无旋或弱涡度情形,依赖角动量约化后的正定性。本文在 $\omega^* > \alpha_0/2$ 时沿用此方法,但在 $\omega^* < \alpha_0/2$ 时采用[4]的角频率参数化技巧,以适应约化角动量可能失椭的情形。本文完整处理了所有共振频率(除 $\omega = \alpha_0/2 - \alpha_0/(2\ell)$ 的开放问题),且明确给出了对称性($\kappa$-重对称)与可逆性条件。
与一般涡度情形[32,17]比较:[32,17]研究一般涡度分布,而本文限定为常数涡度,这允许显式写出速度场 $u = \nabla\Phi - (\alpha_0/2)Jx$,并简化哈密顿结构。常数涡度假设使问题可解但仍有足够复杂性以显现涡度效应。
总体而言,本文将恒定涡度精确纳入二维毛细液滴的旋转波理论,通过Wahlén坐标实现哈密顿形式简化,利用分歧理论处理共振,并创新性地利用质心约束消除能稳性中的退化方向,是Rayleigh经典问题在二维有旋情形下的系统推广与深化。
了解领域论文(摘要翻译)
1. 有害突变能否乘确定性的种群波之势传播?关于穆勒氏 ratchet 空间模型的一个泛函大数定律
Can deleterious mutations surf deterministic population waves? A functional law of large numbers for a spatial model of Muller’s ratchet
作者: João Luiz de Oliveira Madeira, Marcel Ortgiese, Sarah Penington
类别: math.PR, math.AP, q-bio.PE
发布日期: 2026-03-06
arXiv ID: 2603.06478v1
链接: http://arxiv.org/abs/2603.06478v1
摘要翻译
中文标题: 有害突变能否乘确定性的种群波之势传播?关于穆勒氏 ratchet 空间模型的一个泛函大数定律
摘要翻译: 空间穆勒氏 ratchet 是由 Foutel-Rodier 与 Etheridge 提出的模型,用于研究合作与竞争对扩展无性繁殖种群适应度的影响。该模型是一个相互作用粒子系统,其中的粒子执行对称随机游走,其繁殖与死亡速率依赖于局部粒子数量。我们对每个粒子追踪其携带的有害突变数量,且在每次出生事件后,以一定的正概率,后代可能获得额外突变,导致其繁殖速率低于亲代。我们证明,在适当的尺度下,该过程弱收敛于一个偏微分方程(PDE)无穷维系统的解,从而验证了 Foutel-Rodier 与 Etheridge 先前非严格推导的结论。在 PDE 极限情形下,当 PDE 系统的反应项呈单稳态时,我们建立了具有特定突变数的粒子密度与无突变粒子密度之比的上界与下界;若反应项满足 Fisher-KPP 条件,还可严格确定种群向空旷栖息地扩展的传播速度。最后,通过考察一种示踪动力学的 PDE 极限,我们在此设定下回答了有害突变是否可能随种群波传播的问题。
2. 具有径向势的质量超临界薛定谔方程的正规化解
Normalized solutions to mass supercritical Schrödinger equations with radial potentials
作者: P. Carrillo, L. Jeanjean
类别: math.AP
发布日期: 2026-03-06
arXiv ID: 2603.06390v1
链接: http://arxiv.org/abs/2603.06390v1
摘要翻译
中文标题: 具有径向势的质量超临界薛定谔方程的正规化解
摘要翻译: 我们研究定常非线性薛定谔方程
\begin{equation}-Δu+V(x)u+λu=|u|^{q-2}u,\quad u \in H^1(\mathbb{R}^N), \quad N \geq 2\end{equation}
其中势能 $V \in L^{\infty}(\mathbb{R}^N)$ 是径向的。在 $L^2$ 超临界情形下,我们证明存在一个明确的常数 $μ_0 >0$,使得对任意 $μ\in (0, μ_0)$,该方程均存在两个具有 $L^2$ 范数 $μ$ 的解。势能 $V$ 不假设具有正负号,也不要求其在无穷远处具有特定行为,且仅需较低正则性条件。我们的证明依赖于莫尔斯型信息、某些谱论论证,以及在径向设定中发展的一种爆破分析。
3. 学习物理所在之处:刚性偏微分方程的概率自适应采样
Learning Where the Physics Is: Probabilistic Adaptive Sampling for Stiff PDEs
作者: Akshay Govind Srinivasan, Balaji Srinivasan
类别: cs.CE, cs.AI, cs.LG, math.AP
发布日期: 2026-03-06
arXiv ID: 2603.06287v1
链接: http://arxiv.org/abs/2603.06287v1
摘要翻译
中文标题: 学习物理所在之处:刚性偏微分方程的概率自适应采样
摘要翻译: 对具有尖锐梯度的刚性偏微分方程(PDEs)进行建模,仍是科学机器学习中的重大挑战。尽管物理信息神经网络(PINNs)受困于谱偏置与训练缓慢,而物理信息极限学习机(PIELMs)虽能提供快速闭式线性解,却受限于其物理无关的随机初始化。本文提出高斯混合模型自适应物理信息极限学习机(GMM-PIELM),一种概率框架,可学习表征“物理所在区域”的概率密度函数,以实现对PIELM核函数的自适应采样。通过采用加权期望最大化(EM)算法,GMM-PIELM能自主将径向基函数中心集中于高数值误差区域(如激波前沿与边界层)。该方法能动态改善隐藏层的条件数,且无需进行代价高昂的基于梯度优化(如PINNs)或贝叶斯搜索。我们在扩散系数$ν=10^{-4}$的一维奇异摄动对流扩散方程上评估了该方法的性能。结果表明,我们的方法相较于基准RBF-PIELMs,$L_2$误差最高可降低7个数量级,成功解析了指数级薄边界层,同时保留了极限学习机(ELM)架构的数级速度优势。
4. 拟非增序列上的 Rubio de Francia 外推定理
Rubio de Francia Extrapolation Theorem for Quasi non-increasing Sequences
作者: Monika Singh, Amiran Gogatishvili, Rahul Panchal, Arun Pal Singh
类别: math.FA, math.AP, math.CA
发布日期: 2026-03-06
arXiv ID: 2603.06109v1
链接: http://arxiv.org/abs/2603.06109v1
摘要翻译
中文标题: 拟非增序列上的 Rubio de Francia 外推定理
摘要翻译: 本文证明了在 $\mathcal{QB}_{β, p}$ 加权类下,一对拟非增序列上的离散 Rubio de Francia 外推定理。此外,还证明了广义离散 Hardy 平均算子在拟非增序列类上从加权空间 $l_w^p(\mathbb{Z}^+)$ 到自身的有界性的加权刻画。
5. 具有环形势阱的吸引性费米-薛定谔系统基态
Ground States of Attractive Fermi Schrödinger Systems with Ring-Shaped Potentials
作者: Yujin Guo, Yan Li, Shuang Wu
类别: math.AP
发布日期: 2026-03-06
arXiv ID: 2603.05903v1
链接: http://arxiv.org/abs/2603.05903v1
摘要翻译
中文标题: 具有环形势阱的吸引性费米-薛定谔系统基态
摘要翻译: 运用文献[R. L. Frank, D. Gontier 与 M. Lewin, Comm. Math. Phys., 2021]中建立的有限秩Lieb-Thirring不等式,我们研究了在三维空间中受环形势阱囚禁的、具有吸引相互作用的质量临临界N耦合费米非线性薛定谔系统的基态问题。对于任意给定的正整数$N$,我们证明了当$0<a<a_N^*$时系统基态存在,其中$a$表示系统中吸引相互作用的强度,$a_N^*$则是有限秩Lieb-Thirring不等式的最佳常数。此外,对于某些正整数$N$,我们还证明了当$a\geq a_N^*$时系统不存在能量极小化元。通过能量估计与爆破分析,我们进一步探究了当$a$趋近于$a_N^*$时系统基态的质量集中行为。
6. 度量图上非聚焦稳态非线性薛定谔方程的研究
On the defocusing stationary nonlinear Schrödinger equation on metric graphs
作者: Élio Durand-Simonnet, Damien Galant, Boris Shakarov
类别: math.AP
发布日期: 2026-03-06
arXiv ID: 2603.05797v1
链接: http://arxiv.org/abs/2603.05797v1
摘要翻译
中文标题: 度量图上非聚焦稳态非线性薛定谔方程的研究
摘要翻译: 本文研究非紧度量图上的非聚焦非线性薛定谔方程,考虑确保哈密顿算子存在负特征值的一般自伴顶点条件. 首先,我们关注具有给定质量的能量基态的存在性问题. 证明在$L^2$-次临界情形下,对于小质量存在性与稳定性始终成立,而对于大质量则失效. 对于$\delta$-型顶点条件,我们给出更精确的结果:在$L^2$-临界与超临界情形下,基态对所有质量存在;而在次临界情形下,对于单顶点图,存在一个明确的质量阈值,基态在该阈值之下存在、之上不存在. 此外,我们证明基态从哈密顿谱底部的零解处分岔产生. 最后,我们在固定频率与固定质量两种设定下,给出了稳态解的多元性结果.
不相关论文(基本信息)
1. 随机市场进入博弈中的学习:一个偏微分方程模型
On a PDE model for Learning in Stochastic Market Entry Games
作者: Esther Bou Dagher, Misha Perepelitsa, Ewelina Zatorska
类别: math.AP
发布日期: 2026-03-06
arXiv ID: 2603.06514v1
链接: http://arxiv.org/abs/2603.06514v1
摘要: We study a continuum model for stochastic reinforcement learning in repeated market entry games. Starting from a discrete-time microscopic learning rule, we derive a Fokker–Planck-type equation for the distribution of agents’ propensities and, using a kinetic closure, obtain a nonlinear one-particle equation of a mean-field type. For the resulting Cauchy problem, we prove existence and uniqueness of solutions and analyze their long-time behavior. The PDE captures two key phenomena observed in market entry dynamics: aggregate learning (the average number of entrants approaches market capacity) and sorting (propensities concentrate near extreme behaviors). The model also yields explicit characteristic time scales, showing that aggregate learning occurs faster than sorting, in agreement with experimental and computational evidence.
2. 一类具有Dini连续数据的完全非线性椭圆型偏微分方程平坦解的Schauder估计:一种几何切向方法
Schauder estimates for flat solutions to a class of fully nonlinear elliptic PDEs with Dini continuous data: a geometric tangential approach
作者: Junior da Silva Bessa, João Vitor da Silva, Laura Ospina
类别: math.AP
发布日期: 2026-03-06
arXiv ID: 2603.06448v1
链接: http://arxiv.org/abs/2603.06448v1
摘要: In this manuscript, we establish local Schauder estimates for flat viscosity solutions, that is, solutions with sufficiently small norms, to a class of fully nonlinear elliptic partial differential equations of the form
where the operator $F$ is differentiable, though not necessarily convex or concave. In addition, we impose suitable Dini-type continuity assumptions on the data. Our methodology is based on geometric tangential techniques, combined with compactness and perturbative arguments. This approach is strongly motivated by recent advances in the theory of nonlinear elliptic equations and free boundary problems. As a byproduct of our analysis, we also obtain an Evans-Krylov type estimate. Our results can be viewed as an extension of the work by dos Prazeres and Teixeira (Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 15 (2016), 485-500), now within the framework of linear drift terms and Dini continuity assumptions. Finally, we apply our results to characterize the nodal sets of flat viscosity solutions of non-convex, fully nonlinear, uniformly elliptic PDEs.
3. 边界反应的极小化子:重整化能量、奇点定位与应用
Minimizers for boundary reactions: renormalized energy, location of singularities, and applications
作者: Xavier Cabre, Neus Consul, Matthias Kurzke
类别: math.AP
发布日期: 2026-03-06
arXiv ID: 2603.06435v1
链接: http://arxiv.org/abs/2603.06435v1
摘要: The Casten-Holland and Matano theorem for interior reactions states that no nonconstant stable solutions exist in convex domains $Ω$ of $\mathbb{R}^n$ under zero Neumann boundary conditions. In this paper we establish that the analogous statement fails for boundary reactions when $n=2$ (that is, for harmonic functions in $Ω$ with a Neumann reaction term on its boundary $\partialΩ$). For instance, nonconstant stable solutions exist when $Ω$ is a square, or a smooth strictly convex approximation of it. In regular polygons of many sides, which approach the circle, we can prove the existence of as many nonconstant stable solutions as wished. Instead, in the circle such stable solutions do not exist. More importantly, we can predict the existence or not of nonconstant stable solutions, as well as the location of its boundary “vortices” $(p,q)$, through the properties of a real function defined on $\partialΩ\times\partialΩ$ (the renormalized energy) which depends only on the conformal structure of the domain $Ω$. This requires the development of a new Ginzburg-Landau theory for real-valued functions and the analysis of the half-Laplacian on the real line.
4. $\mathbb{R}^N$上的半线性格鲁辛-薛定谔方程
On semilinear Grushin–Schrödinger equation in $\mathbb{R}^N$
作者: Jônison Carvalho, Arlúcio Viana
类别: math.AP, math.FA
发布日期: 2026-03-06
arXiv ID: 2603.06417v1
链接: http://arxiv.org/abs/2603.06417v1
摘要: We establish the existence of nontrivial nonnegative weak solutions to the following equation \begin{equation*} -Δ_γu + V(z)u = Q(z)f(u), \quad z\in \mathbb{R}^N, \end{equation*} where $Δ_γ$ denotes the so-called Grushin-type operator in $\mathbb{R}^N$. The potentials $V$ and $Q$ are assumed to be controlled below and above, respectively, by functions of type $(1+|z|)^a$, $a\in\mathbb{R}$. The main result is the embedded of the space $E_V^γ$ into the weighted Lebesgue space $L_Q^p(\mathbb{R}^N)$, under suitable conditions. Finally, we derive regularity results for the obtained weak solutions.
5. 肿瘤动力学中一类非局部随机分数阶反应-扩散方程的长时间行为分析
Long-time behaviour of a nonlocal stochastic fractional reaction–diffusion equation arising in tumour dynamics
作者: Nikos I. Kavallaris, Subramani Sankar, Manil T. Mohan, Christos V. Nikolopoulos, Shanmugasundaram Karthikeyan
类别: math.AP
发布日期: 2026-03-06
arXiv ID: 2603.06414v1
链接: http://arxiv.org/abs/2603.06414v1
摘要: We introduce a stochastic nonlocal reaction–diffusion model arising in tumour dynamics. Spatial dispersal is described by the fractional Laplacian, accounting for anomalous diffusion and long–range relocation events. The system is perturbed by multiplicative fractional Brownian motion (fBm) with Hurst parameter $H>1/2$, which we interpret as temporally correlated fluctuations in the tumour microenvironment and host response. We first establish well–posedness and identify parameter regimes leading to global–in–time solutions or finite–time blow–up under general multiplicative fractional noise. We then focus on linear multiplicative noise and, via a Doss–Sussmann transformation, derive sharper results: explicit lower and upper bounds for the blow–up time together with quantitative estimates of the blow–up probability, clarifying how noise intensity can accelerate progression or, on favourable paths, enhance suppression consistent with extinction (loss of viability). Finally, one–dimensional simulations illustrate the interplay between anomalous diffusion, fractional noise, and the nonlocal reaction mechanism in shaping the long–time dynamics.
6. 保体积阿诺索夫流的等距扩张的阿贝尔覆盖上的相关性衰减
Decay of correlations on Abelian covers of isometric extensions of volume-preserving Anosov flows
作者: Mihajlo Cekić, Thibault Lefeuvre, Sebastián Muñoz-Thon
类别: math.DS, math.AP, math.DG, math.SP
发布日期: 2026-03-06
arXiv ID: 2603.06379v1
链接: http://arxiv.org/abs/2603.06379v1
摘要: We establish an asymptotic expansion in inverse powers of time of the correlation function of isometric extensions of volume-preserving Anosov flows on Abelian covers of closed manifolds.
7. 抛物障碍问题中奇点集的维度
Dimension of the singular set in the parabolic obstacle problem
作者: Alejandro Martínez, Xavier Ros-Oton
类别: math.AP
发布日期: 2026-03-06
arXiv ID: 2603.06352v1
链接: http://arxiv.org/abs/2603.06352v1
摘要: In this paper we study the singular set in the parabolic obstacle problem for general obstacles $\varphi \in C^{2,1}$. We prove that the singular set has parabolic Hausdorff dimension at most $n-1$. Prior to our result, this was only known when $Δ\varphi \equiv -1$. Our approach combines a truncated parabolic frequency formula and monotonicity estimates with an iterative argument showing that the frequency is saturated for all values of the truncation parameter between $2$ and $3$.
8. 高阶Q曲率方程的重心方法
Barycenter technique for the higher order $Q$-curvature equation
作者: Saikat Mazumdar, Cheikh Birahim Ndiaye
类别: math.DG, math.AP
发布日期: 2026-03-06
arXiv ID: 2603.06249v1
链接: http://arxiv.org/abs/2603.06249v1
摘要: Let $k\ge1$ be an integer, and $(M,g)$ be a smooth, closed Riemannian manifold of dimension $2k+1\le n\le 2k+3$, or $(M,g)$ be locally conformally flat of dimension $n\ge 2k+1$. Applying the Bahri-Coron barycenter method, we show the existence of a conformal metric with constant $Q$-curvature of order $2k$, or equivalently, the existence of a positive solution for the $2k$-th order $Q$-curvature equation involving the GJMS operator $P_{g}$. We only assume a natural positivity preserving condition on $P_{g}$ and do not suppose any condition on the sign of the {\emph{mass}} of $P_{g}$. In particular, we obtain existence without using a positive mass theorem.
9. 具有混合边值条件的渐近线性分数阶问题
Asymptotically linear fractional problems with mixed boundary conditions
作者: Giovanni Molica Bisci, Alejandro Ortega, Luca Vilasi
类别: math.AP
发布日期: 2026-03-06
arXiv ID: 2603.06127v1
链接: http://arxiv.org/abs/2603.06127v1
摘要: We derive the existence of solutions for an asymptotically linear equation driven by the spectral fractional Laplacian operator with mixed Dirichlet-Neumann boundary conditions. When the nonlinear term $f$ is odd and a suitable relation between the perturbation parameter, the limit of $f(\cdot,t)/t$ as $t\to 0$ and the eigenvalues occurs, we establish also a multiplicity result via the pseudo-index theory related to the genus.
10. 一般区域中的各向异性Serrin问题
An anisotropic Serrin’s problem in general domains
作者: Alessio Figalli, Yi Ru-Ya Zhang
类别: math.AP
发布日期: 2026-03-06
arXiv ID: 2603.06119v1
链接: http://arxiv.org/abs/2603.06119v1
摘要: Serrin’s symmetry theorem shows that the classical overdetermined torsion problem forces the domain to be a ball. Extending this rigidity statement to merely Lipschitz (and more generally rough) domains in the weak formulation has been a long-standing and challenging problem, recently resolved by the authors in [12]. In this paper we address the corresponding question in the anisotropic setting: Given a uniformly convex $C^{2,γ}$ anisotropy $H$, we study the overdetermined problem for the anisotropic Laplacian $Δ_H u={\rm div}\big(H(\nabla u)\,DH(\nabla u)\big)$ on a bounded indecomposable set of finite perimeter $Ω$. Assuming the Ahlfors–David regularity of $\partial^*Ω$ and a global $β$-number square-function bound (a weak uniform rectifiability hypothesis), we prove that a weak solution exists if and only if $Ω$ is a translate and dilation of the Wulff shape, in which case the solution is unique and explicit. In particular, the result applies to Lipschitz domains. While our approach follows the rough-domain strategy of [12] at a high level, the key Laplacian-specific ingredients exploited there have no direct analog for $Δ_H$, necessitating the development of new ideas and techniques.
11. 分数阶磁p-拉普拉斯算子的定性性质及其在临界拟线性问题中的应用
Qualitative properties of the fractional magnetic $p$-Laplacian and applications to critical quasilinear problems
作者: Laura Baldelli, Federico Bernini
类别: math.AP
发布日期: 2026-03-06
arXiv ID: 2603.06089v1
链接: http://arxiv.org/abs/2603.06089v1
摘要: We investigate the fractional magnetic $p$-Laplacian operator in the physical dimension case $N=3$, with $0<s<1<p$ and $sp<3$. Our goal is twofold. First, we define and study suitable functional settings for such operator proving significant properties. Then we get the existence of weak solutions for some quasilinear equations involving a weighted critical and subcritical power type nonlinearity. Our technique relies on variational methods and faces various difficulties: the complex quasilinear framework due to the presence of an external magnetic potential, the nonlocal setting, which entails appropriate tools, and the lack of compactness, which requires concentration compactness arguments. In this direction, we state a new concentration compactness principle in the quasilinear magnetic setting that seems to be missing in the literature.
12. 自相互作用量子场论中相干态动力学的高阶近似
Higher-Order Approximation of Coherent State Dynamics in Self-Interacting Quantum Field Theories
作者: Zied Ammari, Julien Malartre, Maher Zerzeri
类别: math-ph, math.AP
发布日期: 2026-03-06
arXiv ID: 2603.06026v1
链接: http://arxiv.org/abs/2603.06026v1
摘要: We study the propagation of coherent states in self-interacting bosonic quantum field theories in the semi-classical (mean-field) regime. Relying on Hepp’s method and a detailed analysis of the associated classical and quantum field dynamics, non-linear and linear respectively, we construct an asymptotic expansion of arbitrary order for the quantum evolution of coherent states. The results are first established for the spatially cutoff $P(φ)_2$ model, under standard assumptions ensuring essential self-adjointness of the Hamiltonian and well-posedness of the classical flow, and are then extended to a class of non-polynomial analytic interactions. This work refines and generalizes earlier results, which identified only the leading-order term of the expansion.
13. 具有Beltrami电导率的平面Coleman-Gurtin模型
The Planar Coleman–Gurtin model with Beltrami conductivity
作者: Francesco Di Plinio
类别: math.AP, math.CA, math.CV
发布日期: 2026-03-06
arXiv ID: 2603.05983v1
链接: http://arxiv.org/abs/2603.05983v1
摘要: This article addresses the planar Coleman–Gurtin heat equation with memory on a bounded domain, with rough anisotropic diffusion $A_μ$, typical of heterogeneous or composite media and encoded by a Beltrami coefficient $μ\in L^\infty(Ω)$ satisfying $\|μ\|_{\infty}<1$. First, under no additional smoothness assumptions on $μ$, solutions with $H^1_0(Ω)$-based initial data enter a time-averaged $L^\infty(Ω)$ regime, and instantaneously regularize into the second-order graph space $D(A_μ)$. Assuming in addition $μ\in W^{1,2}(Ω)$, this regularization upgrades to $W^{2,p}(Ω)$ for every $1<p<2$, and we construct regular global and exponential attractors of finite fractal dimension, for both the $L^2(Ω)$ and $H^1_0(Ω)$-based dynamics. The proof combines the instantaneous smoothing method of Chekroun, Di Plinio, Glatt-Holtz and Pata with maximal parabolic regularity for divergence-form operators with measurable coefficients, and with planar quasiconformal Beltrami estimates recently obtained in work by Green, Wick and the author.
14. 欧几里得空间中的Sobolev映射与乘积结构
Sobolev mappings of Euclidean space and product structure
作者: Bruce Kleiner, Stefan Müller, László Székelyhidi, Xiangdong Xie
类别: math.AP, math.DG
发布日期: 2026-03-06
arXiv ID: 2603.05979v1
链接: http://arxiv.org/abs/2603.05979v1
摘要: We consider bounded open connected sets $Ω_1, Ω_2 \subset \mathbb{R}^n$ and Sobolev maps $f: Ω_1 \times Ω_2 \subset \mathbb{R}^n \times \mathbb{R}^n$, such that for almost every $x \in Ω_1 \times Ω_2$ the weak differential $\nabla f(x)$ is invertible and preserves or swaps the spaces $\mathbb{R}^n \times \{0\}$ and $\{0\} \times \mathbb{R}^n$. We show that if $n \ge 2$ and $f \in W^{1,2}$ then $f$ is split, i.e., $f(x_1, x_2) = (f_1(x_1), f_2(x_2))$ or $f(x_1, x_2) = (f_2(x_2), f_1(x_1))$. We also show that this conclusion fails in general for $n=1$, even if we assume in addition that $f$ is bi-Lipschitz and area preserving. These results complement our previous work https://arxiv.org/abs/2403.20265, where we showed that the conclusion fails for $n \ge 2$ if the Sobolev space $W^{1,2}$ is replaced by $W^{1,p}$ for any $p < 2$. We also discuss results for approximately split maps, i.e. for sequences of maps $f_k$ such that $\nabla f_k$ approaches the set of linear invertible split maps in suitable $L^p$ spaces. This work is partly motivated by the question whether Sobolev maps defined on products of Carnot groups are split.