math
03-11 00:00
本文针对一个耦合了输运辅助场的二维Navier-Stokes-Cahn-Hilliard相场模型,开发了一种连续数据同化框架,用于从粗空间观测中恢复其精细轨迹。研究构建了一个基于“推动”的同化系统,通过满足$H^{2}$型逼近性质的插值算子抽象描述观测机制。在离散层面,提出了一种带“上限”的有限元分裂格式,并证明了其单步适定性及先验估计。数值实验验证了该框架能从严重失配的初始条件中恢复轨迹,并展示了同步过程对观测分辨率、边界强迫及反馈强度的依赖性。
数据同化相场模型有限元方法navier-stokes方程cahn-hilliard方程数值分析
math
03-11 00:00
本文针对FitzHugh-Nagumo系统,提出了一种结合预测校正技术与正交样条配置有限元法的高效数值算法。该方法在预测阶段采用变时间步长以克服数值振荡,在校正阶段采用固定步长以平衡误差、保持稳定性;空间离散则利用配置节点最小化误差。理论分析表明,该算法无条件稳定,在$L^{\infty}(0,T;[H^{m}(\Omega)]^{2})$-范数下具有空间$m$阶精度和时间二阶收敛性。数值实验验证了其在高精度、强稳定性方面的优越性能,即使存在奇异性也能保持高效计算。
预测校正法正交样条配置有限元法fitzhugh-nagumo模型数值稳定性高精度算法
math
03-11 00:00
本研究系统计算了最大度为4、5、6的小图和多重图的圆边着色指数,并统计了给定小阶数下的数量。研究构造了多个无限图族,其圆边着色指数属于集合 $\{\Delta + \frac{1}{2}, \Delta + \frac{2}{3}, \Delta + \frac{3}{4}, \Delta + 1\}$。这些结果反驳了关于“不存在圆边着色指数略低于 $\Delta + 1$ 的图”的“上间隙猜想”的边连通性变体。
图论圆边着色上间隙猜想无限图族边连通性
math
03-11 00:00
本研究利用从属理论,系统分析了强度依赖拉比模型、各向异性双光子拉比模型以及双光子拉比-斯塔克模型在整个参数范围内的本质谱。研究不仅探测并定位了这些量子拉比模型中从离散谱到连续谱的转变,还证明了在所有考虑的模型中,奇异谱的缺失以及本质谱内部不存在特征值。这为理解此类量子系统的谱结构提供了严格的理论基础。
量子拉比模型谱理论从属理论本质谱双光子跃迁参数分析
math
03-11 00:00
本文研究齐次多项式的局部广义加性分解及其关联的点方案。作者证明了其构造与代数性质独立于所选的极性作用,并提出了一种通过最小化符号逆系统的秩来计算最小局部GAD的行列式方法。当最小支撑集的轨迹有限时,该方法无需张量扩展即可确定所有最小局部分解。研究证明,当形式的局部GAD秩不超过其次数时,有限性得以保证。文章分析了通用与特殊情形,评估了不同子式选择的影响,并与现有局部极性方案算法进行了比较。
广义加性分解局部分解行列式计算符号逆系统代数几何极性作用
math
03-11 00:00
本文证明了对于诺特分次齐次理想族 {I_k},极限 lim_{k→∞} v(I_k)/k 存在,且等于某个 α(I_r)/r。该结果可推广至整闭包情形。对于单项式理想,该极限可通过牛顿-奥昆科夫区域 Δ(I) 进行组合解释,并进一步通过良赋值推广至任意齐次理想。研究还表明,对于任何诺特分次族,正则性 reg(I_k) 和 v-数 v(I_k) 最终都是 k 的拟线性函数。
v-数分次理想族牛顿-奥昆科夫区域正则性渐近极限组合交换代数
math
03-11 00:00
针对北极冰下藻华在强噪声或观测数据有限条件下,传统基于“临界减速”的预警信号可能失效的问题,本研究提出了一种基于随机动力系统几何结构的新型预警指标。通过分析一个具有背景态与藻华态双稳态的温度-浮游植物随机微分方程模型,研究者利用“承诺函数”定义了随机分界面(1/2-等承诺面),并通过计算其过渡层的法向宽度,经弧长平均后得到一个几何预警指标。该指标在弱噪声条件下与噪声强度呈线性标度关系,且与对数平均首次通过时间存在稳健的仿射标度律。相比方差或自相关等传统时序统计量,此几何指标在快速转变、难以获取可靠时间序列估计的场景下依然有效,为高变异性北极生态系统的模型监测提供了可几何解释的藻华发生前兆。
随机动力系统生态预警双稳态冰下藻华几何指标噪声诱导转变
math
03-11 00:00
本文研究了与整数模环 $\mathbb{Z}_n$ 相关的共极大图 $\Gamma(\mathbb{Z}_n)$ 的支配多项式。对于 $n = p^{n_1}$ 和 $n = p^{n_1}q^{n_2}$ 的情形,推导出了显式公式,并证明所得多项式具有单峰性和对数凹性。对于一般的 $n$,给出了将 $D(\Gamma(\mathbb{Z}_n),x)$ 与适当诱导子图相联系的结构表达式。最后,利用 Eneström–Kakeya 定理研究了支配根并建立了其模的界。
图论支配多项式整数模环共极大图单峰性对数凹性
math
03-11 00:00
本文在局部群为无分歧群限制标量时,构造了不同PEL型志村簇特殊纤维间的奇异Hecke对应。通过采用Pappas-Rapoport分裂模型解决积分模型,并定义局部shtuka模栈和仿射Deligne-Lusztig簇的分裂版本,将Xiao-Zhu在好约化情形的方法推广至坏约化情形。这为几何Jacquet-Langlands对应提供了新实例(包括一个动机细化),并在非常特殊水平下验证了这些志村簇特殊纤维的Tate猜想通用实例。
志村簇几何langlands对应分裂模型tate猜想坏约化模形式
math
03-11 00:00
本文研究完全图$K_n$上一类几何递减权重的最大割问题:第$i$条边权重为$r^{N-i}$($N=\binom{n}{2}$)。当$1<r<2$时,早期边占主导地位,使得$k$-孤立割$C_k=\{1,\dots,k\}\mid\{k+1,\dots,n\}$成为最优解的自然候选。通过定义阈值多项式$P^{n,k}(r)$,证明了其唯一根$r_k(n)\in(1,2)$决定了$C_k$与$C_{k+1}$的优劣交替,且这些阈值随$k$严格递减、随$n\to\infty$趋近于1。核心结论表明:在区间$(r_k(n),r_{k-1}(n))$内,$C_k$在所有孤立割中达到最大权重,形成了清晰的相图。
最大割问题几何权重阈值结构组合优化图划分
math
03-11 00:00
本研究针对一类有限状态信道(POST信道)进行分析,其中前一时刻的输出作为当前状态。当状态依赖的转移矩阵足够接近时,该信道被视为近似无记忆。研究证明,在满足关联的无记忆参考信道具有满射性质的条件下,此类信道的反馈容量与非反馈容量相等。这意味着,对于几乎所有输入字母表大小不小于输出字母表大小的近似无记忆POST信道,反馈并不能带来容量增益。该结果扩展了香农关于离散无记忆信道的经典定理,表明该现象在严格无记忆情形之外依然广泛成立。
信道容量反馈通信有限状态信道信息论post信道
math
03-11 00:00
本文针对泊松方程,在固定多项式次数 $p$ 下提出了一种新的 $h$-自适应有限元算法。该算法由平衡通量后验误差估计子驱动。研究表明,只要满足一个可后验验证的准则,算法在每一步都能实现误差压缩,且压缩因子与 $p$ 无关。进一步证明,当 Dörfler 标记参数低于某个与 $p$ 无关的上阈值时,算法能以最优代数收敛速率 $s$ 收敛,其中涉及的常数对 $p$ 是鲁棒的。数值实验验证了理论结果。
自适应有限元后验误差估计平衡通量最优收敛泊松方程p-鲁棒性
math
03-11 00:00
本文研究了完全多部图的加权邻接矩阵谱,刻画了具有三个不同特征值的矩阵族,并识别了整谱矩阵。研究发现,对于绝大多数加权矩阵,完全图的能量和谱半径在边删除后均会下降,从而修正并完善了先前文献中的结论。此外,针对正则三部图,通过构造反例澄清了其$ISI$能量在边删除后并非总是下降,并给出了正确的$ISI$谱与$ISI$能量计算,解决了关于多部图$ISI$能量变化的一个公开问题。最后,计算了冠多部图的加权邻接谱并讨论了其整谱加权谱。
图谱理论加权邻接矩阵完全多部图谱半径isi能量整谱图
math
03-11 00:00
本文基于Tsallis对统计物理中Boltzmann熵的推广,为有限字母表上的单边移位构建了非广延热力学形式体系。通过引入$q$-熵、$q$-压力和$q$-转移算子等概念,将经典热力学形式体系推广至$q \neq 1$的情形。研究证明了$q$-压力与$(2-q)$-Ruelle转移算子之间的Bowen型关系,并表明$q$-平衡态对应于相关势的经典平衡态。对于Lipschitz势,建立了$q$-平衡态的存在唯一性,证明了$q$-压力的可微性,并获得了$q$-压力及相关渐近压力的变分原理。最后,研究了与$(2-q)$-转移算子相关的上同调方程,证明了其解对势的可微依赖性,从而为经典Ruelle算子的本征函数提供了另一种构造方法。
非广延热力学动力系统tsallis熵变分原理转移算子平衡态
math
03-11 00:00
本研究首次在确定性驱动下,为被动标量输运建立了Batchelor谱律的严格数学证明。针对一类空间Lipschitz且时间周期性的不可压缩流场,作者证明了所有充分光滑的初始数据都会被吸引到一个极限解,该解满足Batchelor谱律的累积形式。这一结果为理解湍流被动标量的长期统计行为提供了首个确定性框架下的严格范例。
被动标量batchelor谱确定性驱动长期行为不可压缩流
math
03-11 00:00
本文研究了由缩放布朗运动和α稳定过程(1<α<2)驱动的正回归Lévy扩散在“小噪声”极限下的长期行为。当噪声趋于零时,系统退化为具有唯一渐近稳定不动点的确定性系统。研究表明,在一维边际分布的大时间极限下,其行为由一个确定性控制问题的最优值决定,这与经典小方差布朗运动驱动的扩散情形类似。但本文的控制策略包含两个部分:连续控制和脉冲控制,扩展了经典框架。
随机控制lévy过程大偏差稳定过程渐近分析
math
03-11 00:00
本课程讲义为从计算微积分过渡到抽象数学的本科生系统介绍了数学证明的核心内容。涵盖命题逻辑、多种证明技巧、数学归纳法、域、集合与关系、序列与级数、实数的完备性及基数等基础主题。讲义包含大量示例与附完整解答的习题,专为一学期的证明课程设计,旨在帮助学生掌握严谨的数学推理与论证能力。
数学证明抽象数学逻辑基础实数完备性集合论教学讲义
math
03-11 00:00
本文从内蕴几何视角研究凸多面体,将其视为独立空间而非嵌入对象。作者采用重心代数语言刻画多面体坐标系的凸结构,并聚焦于凸多边形。通过三角剖分定义弦坐标系统,提出一种基于余代数结构的坐标计算算法:该算法利用三角形边上的概率分布传递机制(将一边分布映射至另两边)。最后,从算法余代数结构的解析树中,自然推导出多边形三角剖分的卡特兰数枚举,为组合数学经典结论提供了新的几何诠释。
计算几何凸多边形三角剖分重心坐标余代数卡特兰数
math
03-11 00:00
该研究证明了在平面三体问题中,当角动量非零且总能量为负时,存在一类特殊轨道,其势能 $U(q(t))$ 可以始终大于任意给定的常数 $K>0$。这些轨道具有单次接近三重碰撞的特征,构型始终保持为 $m_1$ 与 $m_2$ 形成的紧密双星系统,而 $m_3$ 与双星的距离在 $t\rightarrow\pm\infty$ 时趋于无穷。
三体问题动力系统天体力学轨道理论势能
math
03-11 00:00
本文推广了经典的离散p-Hardy不等式,将其从一阶导数情形扩展至任意整数阶导数(ℓ ≥ 1),从而得到离散的p-Rellich(ℓ=2)和更一般的p-Birman(ℓ≥3)不等式。证明的关键是推导了一个带负指数的Copson不等式变体。研究还展示了如何从离散版本恢复连续的p-Birman不等式,为这一经典结果提供了另一种证明。文中获得的所有不等式常数均被证明是最优的。
hardy不等式离散导数最优常数rellich不等式birman不等式函数空间
math
03-11 00:00
本文针对阻尼波动方程中的阻尼系数反演问题,提出了一种线性化边界控制方法。该方法旨在通过线性化的Neumann-to-Dirichlet映射,从已知背景阻尼中重构未知扰动。当线性化基于常数背景阻尼时,作者在n≥1维空间中,基于边界控制方法推导了具有稳定性估计的重构算法,并在一维情况下进行了数值实现以验证其可行性。当线性化基于非恒定背景阻尼时,作者在n≥3维空间中建立了时域内的稳定性增强估计。
反问题阻尼系数边界控制波动方程稳定性估计
math
03-11 00:00
本文证明了从“ZF + AD_ℝ + Θ可测”的一致性可以推出“ZF + Θ是最小强正则基数且是最小可测基数 + Θ以下所有不可数基数都具有可数共尾度”的一致性。这一结果深化了我们对决定性公理(AD)与实数决定性(AD_ℝ)下大基数结构之间关系的理解,为描述性集合论与内模型理论的交叉研究提供了新的技术工具。
集合论决定性公理大基数可测基数描述性集合论一致性强度
math
03-11 00:00
本文提出了一种基于Bianchi-Calo方法的构造技术,用于生成双曲空间中的Bryant型线性Weingarten曲面。该方法为这类特殊曲面的系统构建提供了新的解析工具,扩展了经典曲面理论在非欧几何中的应用。
微分几何双曲空间weingarten曲面曲面构造bianchi-calo方法