WikiEdge:ArXiv速递/2025-05-28

来自WikiEdge
跳转到导航 跳转到搜索

摘要

  • 原文标题：A recursive method for computing singular solutions in corners with homogeneous Dirichlet-Robin boundary condition with power-law coefficient variation
  • 中文标题：具有幂律系数变化的齐次Dirichlet-Robin边界条件下角点奇解计算的递归方法
  • 发布日期：2025-05-28 16:58:19+00:00
  • 作者：N. Piña-León, V. Mantič, S. Jiménez-Alfaro
  • 分类：math.AP
  • 原文链接：http://arxiv.org/abs/2505.22585v1

中文摘要：本研究提出了一种递归方法，用于计算角域中拉普拉斯方程的渐近解。该问题在一侧满足齐次Dirichlet边界条件，另一侧满足具有幂律系数变化（指数为$\alpha\in \mathbb{R}$）的Robin边界条件（D-R角问题）。该D-R角问题的渐近解表示为：主项（齐次Dirichlet-Neumann（D-N）或Dirichlet-Dirichlet（D-D）角问题的解）与有限或无限高阶影子项级数（采用含幂对数项的调和基函数）之和。研究表明，基于递归非齐次D-N或D-D角问题的递归过程分别在$\alpha > -1$和$\alpha < -1$时收敛。对于临界情况$\alpha=-1$，给出了渐近解的闭合表达式。推导并分析了若干典型D-R角问题的渐近解，其中两个实例应用于线弹性断裂力学中反平面III型桥接裂纹问题。本成果可推广至热传导（热阻条件）、声学/静电学（阻抗条件）及弹性/结构分析（Winkler弹簧边界条件）等众多物理与工程领域。

摘要

  • 原文标题：A unified quaternion-complex framework for incompressible Navier-Stokes equations: new insights and implications
  • 中文标题：不可压缩Navier-Stokes方程的四元数-复数统一框架：新见解与启示
  • 发布日期：2025-05-28 20:37:33+00:00
  • 作者：Farrukh A. Chishtie
  • 分类：physics.flu-dyn, math.CV
  • 原文链接：http://arxiv.org/abs/2505.22853v1

中文摘要：摘要：我们提出了一种新颖的四元数-复数统一框架来表述不可压缩Navier-Stokes方程，该框架揭示了粘性流体运动的几何结构，并解决了克雷数学研究所的千禧年大奖难题。通过引入复坐标$z = x + iy$并将速度场表示为$F = u + iv$，我们证明非线性对流项可分解为$(u \cdot \nabla)F = F \cdot \frac{\partial F}{\partial z} + F^* \cdot \frac{\partial F}{\partial \bar{z}}$，从而分离无粘对流与粘性耦合效应。我们使用四元数将该框架扩展到三维，并通过四元数代数固有的几何约束证明全局正则性。不可压缩约束自然地表现为要求$\frac{\partial F}{\partial z}$为纯虚数，从根本上将流体力学与复分析联系起来。我们的主要结果表明，四元数正交关系通过确保湍流能量级联保持自然有界来防止有限时间奇点。四元数-复数公式表明，湍流代表四元数解析性的破坏同时保持几何稳定性，为理解真实流体为何表现出有限湍流行为而非数学奇点提供了严格的数学基础。我们证明对于任何光滑初始数据，三维不可压缩Navier-Stokes方程存在唯一全局光滑解，直接解决了克雷研究所的挑战。在大气边界层物理中的应用展示了该框架对环境建模、天气预报和气候建模的直接实践意义。

摘要

  • 原文标题：Recursive Difference Categories and Topos-Theoretic Universality
  • 中文标题：递归差分范畴与拓扑斯理论普适性
  • 发布日期：2025-05-28 23:18:04+00:00
  • 作者：Andreu Ballus Santacana
  • 分类：math.CT, 18F20, 18C10, 03G30, 03B45, 03G12, F.4.1; F.3.2; F.1.1
  • 原文链接：http://arxiv.org/abs/2505.22931v1

中文摘要：我们提出了一种彻底极简的范畴论基础，用于逻辑、语义和计算，其构建仅基于递归差异的单一生成公理。从空记忆M0出发，通过D的迭代标记扩展，我们构建自由范畴M及其层拓扑斯Sh(M)。我们证明： 模态完备性：Sh(M)上的Lawvere-Tierney拓扑纯粹通过自由幺半群D*的子幺半群分类所有标准模态逻辑（K、T、S4、S5）。 不动点表达性：无限分支上的内部μ演算完整实现了Janin-Walukiewicz定理。 ZFC与集合建模：Sh(M)通过常层嵌入Set，并通过递归下降内化ZFC模型。 图灵可编码性：有限自动机和图灵机层在句法层面产生，形成完全可机械化的内部语义。 内部元定理：通过完全下降和一阶上同调H1的消失，Godel完备性和Lowenheim-Skolem定理在内部成立。 我们进一步构造忠实几何嵌入： Set -> Sh(M) -> Eff，以及Sh(M) -> sSet， 连接可实现性和单纯形框架。与同伦类型论及经典位点理论模型不同，Sh(M)展现出完全的上同调平凡性、无挠子、以及所有局部数据的完全保守粘合。由此我们实现了Lawvere的愿景——从单一句法公理完全导出语义（模态、集合论、计算和元逻辑），在单一递归原则下统一逻辑、语义与计算。

摘要

  • 原文标题：Monolithic framework to simulate fluid-structure interaction problems using geometric volume-of-fluid method
  • 中文标题：基于几何流体体积法的流固耦合问题模拟统一框架
  • 发布日期：2025-05-28 22:47:33+00:00
  • 作者：Soham Prajapati, Ali Fakhreddine, Krishnan Mahesh
  • 分类：physics.flu-dyn, physics.comp-ph
  • 原文链接：http://arxiv.org/abs/2505.22920v1

中文摘要：摘要：我们开发了一个三维欧拉框架，用于在固定笛卡尔网格上采用几何流体体积法(VOF)模拟流固耦合(FSI)问题。该耦合问题涉及不可压缩流动与粘性超弹性固体。基于VOF的单连续统公式用于描述统一动量守恒方程，结合有限体积法(FVM)求解不可压缩约束。在几何VOF界面捕捉(IC)方法中，采用PLIC方法重构界面，并在方向分裂平流过程中使用拉格朗日显式(LE)方法。为模拟固体的超弹性行为，我们采用Mooney-Rivlin材料模型，其中使用左柯西-格林变形张量(B)表征欧拉网格上的固体变形，并采用五阶WENO-Z重构方法处理B输运方程中的平流项。通过多个基准问题验证了方法的准确性。此外，为展示求解器处理湍流相互作用的能力，我们对具有柔性底壁和刚性顶壁的湍流槽道流动进行直接数值模拟(DNS)，观测结果与既往实验和数值研究高度吻合。详细数值实验表明：(i) 尽管存在跨单元边界的界面不连续性和跨界面的应力不连续性，基于VOF/PLIC的FSI框架仍能提供稳定精确的解，在保持锐利界面的同时显著减少数值伪影（如浮渣和寄生流）；(ii) 粗网格下VOF/PLIC方法的精度与更细网格下基于扩散IC方法的FSI精度相当。

摘要

  • 原文标题：A unified quaternion-complex framework for incompressible Navier-Stokes equations: new insights and implications
  • 中文标题：不可压缩Navier-Stokes方程的四元数-复数统一框架：新见解与意义
  • 发布日期：2025-05-28 20:37:33+00:00
  • 作者：Farrukh A. Chishtie
  • 分类：physics.flu-dyn, math.CV
  • 原文链接：http://arxiv.org/abs/2505.22853v1

中文摘要：我们提出了一种新颖的四元数-复数统一框架来表述不可压缩Navier-Stokes方程，该框架揭示了粘性流体运动的几何结构，并解决了克雷数学研究所的千禧年大奖难题。通过引入复坐标$z = x + iy$并将速度场表示为$F = u + iv$，我们证明非线性对流项可分解为$(u \cdot \nabla)F = F \cdot \frac{\partial F}{\partial z} + F^* \cdot \frac{\partial F}{\partial \bar{z}}$，从而分离无粘对流与粘性耦合效应。我们使用四元数将该框架扩展到三维，并通过四元数代数固有的几何约束证明了全局正则性。不可压缩约束自然地表现为要求$\frac{\partial F}{\partial z}$为纯虚数，这从根本上将流体力学与复分析联系起来。我们的主要结果表明，四元数正交关系通过确保湍流能量级联保持自然有界来防止有限时间奇异性。四元数-复数公式表明，湍流代表着四元数解析性的破坏同时保持几何稳定性，为理解真实流体为何表现出有限湍流行为而非数学奇点提供了严格的数学基础。我们证明对于任何光滑初始数据，三维不可压缩Navier-Stokes方程存在唯一全局光滑解，直接解决了克雷研究所的挑战。在大气边界层物理中的应用展示了该方法对环境建模、天气预报和气候建模的直接实践意义。

摘要

  • 原文标题：Recursive Difference Categories and Topos-Theoretic Universality
  • 中文标题：递归差分范畴与拓扑斯理论普适性
  • 发布日期：2025-05-28 23:18:04+00:00
  • 作者：Andreu Ballus Santacana
  • 分类：math.CT, cs.LO, 18F20, 18C10, 03G30, 03B45, 03G12, F.4.1; F.3.2; F.1.1
  • 原文链接：http://arxiv.org/abs/2505.22931v1

中文摘要：我们提出了一种基于递归差分单一生成公理的极简范畴基础，为逻辑、语义和计算构建全新框架。从空记忆M0出发，通过D的迭代标记扩展形成自由范畴M及其层拓扑斯Sh(M)。我们证明： 模态完备性：Sh(M)上的Lawvere-Tierney拓扑纯靠自由幺半群D*的子幺半群即可分类所有标准模态逻辑（K、T、S4、S5）。 不动点表达性：无限分支上的内部μ演算完整实现了Janin-Walukiewicz定理。 ZFC与集合建模：通过常层嵌入Set，并借助递归下降内化ZFC模型。 图灵可编码性：有限自动机和图灵机层可从语法生成，形成完全可机械化的内部语义。 内部元定理：通过完全下降和消失的第一上同调H1，Godel完备性和Lowenheim-Skolem定理在内部成立。 我们还构建了忠实几何嵌入： Set -> Sh(M) -> Eff，以及 Sh(M) -> sSet， 连通可实现性与单纯形框架。与同伦类型论及经典位点理论模型不同，Sh(M)展现完全上同调平凡性、无挠子结构，并能完全保守地粘合所有局部数据。由此我们实现了Lawvere的愿景——从单一语法公理完全导出模态语义、集合论、计算及元逻辑，在递归原则下统一逻辑、语义与计算。

摘要

  • 原文标题：A unified quaternion-complex framework for incompressible Navier-Stokes equations: new insights and implications
  • 中文标题：不可压缩Navier-Stokes方程的四元数-复数统一框架：新见解与意义
  • 发布日期：2025-05-28 20:37:33+00:00
  • 作者：Farrukh A. Chishtie
  • 分类：physics.flu-dyn, math.CV
  • 原文链接：http://arxiv.org/abs/2505.22853v1

中文摘要：我们提出了一种新颖的四元数-复数统一框架来表述不可压缩Navier-Stokes方程，该框架揭示了粘性流体运动的几何结构，并解决了克雷数学研究所的千禧年大奖难题。通过引入复坐标$z = x + iy$并将速度场表示为$F = u + iv$，我们证明非线性对流项可分解为$(u \cdot \nabla)F = F \cdot \frac{\partial F}{\partial z} + F^* \cdot \frac{\partial F}{\partial \bar{z}}$，从而分离无粘对流与粘性耦合效应。我们使用四元数将该框架扩展到三维，并通过四元数代数固有的几何约束证明全局正则性。不可压缩约束自然地表现为要求$\frac{\partial F}{\partial z}$为纯虚数，这从根本上将流体力学与复分析联系起来。我们的主要结果表明，四元数正交关系通过确保湍流能量级联保持自然有界来防止有限时间奇点。四元数-复数公式表明，湍流代表着四元数解析性的破坏同时保持几何稳定性，为理解真实流体为何表现出有限湍流行为而非数学奇点提供了严格的数学基础。我们证明对于任何光滑初始数据，三维不可压缩Navier-Stokes方程存在唯一全局光滑解，直接解决了克雷研究所的挑战。在大气边界层物理中的应用展示了该框架对环境建模、天气预报和气候模拟的直接实践价值。

摘要

  • 原文标题：Recursive Difference Categories and Topos-Theoretic Universality
  • 中文标题：递归差分范畴与拓扑斯理论普适性
  • 发布日期：2025-05-28 23:18:04+00:00
  • 作者：Andreu Ballus Santacana
  • 分类：math.CT, cs.LO, 18F20, 18C10, 03G30, 03B45, 03G12, F.4.1; F.3.2; F.1.1
  • 原文链接：http://arxiv.org/abs/2505.22931v1

中文摘要：我们提出了一种彻底极简的范畴论基础，用于逻辑、语义和计算，其构建仅基于递归差分这一单一生成公理。从空记忆M0出发，通过D的迭代标记扩展，我们构造出自由范畴M及其层拓扑斯Sh(M)。我们证明： 模态完备性：Sh(M)上的Lawvere-Tierney拓扑纯粹通过自由幺半群D*的子幺半群分类所有标准模态逻辑（K、T、S4、S5）。 不动点表达性：无限分支上的内部μ演算完整实现了Janin-Walukiewicz定理。 ZFC与集合建模：Sh(M)通过常层嵌入Set，并通过递归下降内化ZFC模型。 图灵可编码性：有限自动机和图灵机层在句法层面产生，形成完全可机械化的内部语义。 内部元定理：通过完全下降和一阶上同调H1的消失，Godel完备性和Lowenheim-Skolem定理在内部成立。 我们进一步构造忠实几何嵌入： Set -> Sh(M) -> Eff，以及Sh(M) -> sSet， 连接可实现性与单纯形框架。与同伦类型论和经典位点理论模型不同，Sh(M)展现出完全上同调平凡性、无挠子、以及所有局部数据的完全保守粘合。由此我们实现了Lawvere的愿景——从单一句法公理完全导出语义（模态、集合论、计算和元逻辑），在单一递归原则下统一逻辑、语义与计算。

摘要

  • 原文标题：A unified quaternion-complex framework for incompressible Navier-Stokes equations: new insights and implications
  • 中文标题：不可压缩Navier-Stokes方程的四元数-复数统一框架：新见解与意义
  • 发布日期：2025-05-28 20:37:33+00:00
  • 作者：Farrukh A. Chishtie
  • 分类：physics.flu-dyn, math.CV
  • 原文链接：http://arxiv.org/abs/2505.22853v1

中文摘要：我们提出了一种新颖的四元数-复数统一框架来表述不可压缩Navier-Stokes方程，该框架揭示了粘性流体运动的几何结构，并解决了克雷数学研究所的千禧年大奖难题。通过引入复坐标$z = x + iy$并将速度场表示为$F = u + iv$，我们证明非线性对流项可分解为$(u \cdot \nabla)F = F \cdot \frac{\partial F}{\partial z} + F^* \cdot \frac{\partial F}{\partial \bar{z}}$，从而分离无粘对流与粘性耦合效应。我们使用四元数将该框架扩展到三维，并通过四元数代数固有的几何约束证明了全局正则性。不可压缩约束自然地表现为要求$\frac{\partial F}{\partial z}$为纯虚数，这从根本上将流体力学与复分析联系起来。我们的主要结果表明：四元数正交关系通过确保湍流能量级联保持自然有界，从而防止有限时间奇点的产生。四元数-复数公式表明湍流代表着四元数解析性的破坏，同时保持几何稳定性，这为理解真实流体为何表现出有限湍流行为而非数学奇点提供了严格的数学基础。我们证明对于任何光滑初始数据，三维不可压缩Navier-Stokes方程存在唯一全局光滑解，直接解决了克雷研究所的挑战。在大气边界层物理中的应用展示了该框架对环境建模、天气预报和气候模拟的直接实践价值。

摘要

  • 原文标题：Recursive Difference Categories and Topos-Theoretic Universality
  • 中文标题：递归差分范畴与拓扑斯理论普适性
  • 发布日期：2025-05-28 23:18:04+00:00
  • 作者：Andreu Ballus Santacana
  • 分类：math.CT, cs.LO, 18F20, 18C10, 03G30, 03B45, 03G12, F.4.1; F.3.2; F.1.1
  • 原文链接：http://arxiv.org/abs/2505.22931v1

中文摘要：我们提出了一种极简的范畴论基础框架，用于逻辑、语义和计算研究，其构建仅基于递归差分这一单一生成公理。从空记忆体M0出发，通过D的迭代标记扩展，我们构建了自由范畴M及其层拓扑斯Sh(M)。我们证明了以下结果： 模态完备性：Sh(M)上的Lawvere-Tierney拓扑纯粹通过自由幺半群D*的子幺半群即可分类所有标准模态逻辑（K、T、S4、S5）。 不动点表达性：无限分支上的内部μ演算完整实现了Janin-Walukiewicz定理。 ZFC与集合建模：Sh(M)通过常层嵌入Set，并通过递归下降内化了ZFC模型。 图灵可编码性：有限自动机和图灵机层可从语法层面产生，形成完全可机械化的内部语义。 内部元定理：通过完全下降和一阶上同调群H1的消失，Godel完备性定理和Lowenheim-Skolem定理在内部成立。 我们还构建了忠实几何嵌入： Set -> Sh(M) -> Eff，以及 Sh(M) -> sSet， 连接可实现性与单纯形框架。与同伦类型论及经典位点理论模型不同，Sh(M)展现出完全的上同调平凡性、无挠元结构，并能完全保守地粘合所有局部数据。由此我们实现了Lawvere的愿景——从单一语法公理完全推导出模态语义、集合论、计算及元逻辑，在递归原理下统一了逻辑、语义与计算。

摘要

  • 原文标题：A unified quaternion-complex framework for Navier-Stokes equations: new insights and implications
  • 中文标题：纳维-斯托克斯方程的四元数-复数统一框架：新见解与意义
  • 发布日期：2025-05-28 20:37:33+00:00
  • 作者：Farrukh A. Chishtie
  • 分类：physics.flu-dyn, math.CV
  • 原文链接：http://arxiv.org/abs/2505.22853v2

中文摘要：我们提出了一种新颖的、统一的四元数-复数框架来表述不可压缩Navier-Stokes方程，该框架揭示了粘性流体运动的几何结构，并解决了克雷数学研究所的千禧年大奖难题。通过引入复坐标$z = x + iy$并将速度场表示为$F = u + iv$，我们证明了非线性对流项可分解为$(u \cdot \nabla)F = F \cdot \frac{\partial F}{\partial z} + F^* \cdot \frac{\partial F}{\partial \bar{z}}$，从而将无粘性对流与粘性耦合效应分离。我们使用四元数将该框架扩展到三维，并通过四元数代数固有的几何约束证明了全局正则性。不可压缩性约束自然地表现为要求$\frac{\partial F}{\partial z}$为纯虚数，这从根本上将流体力学与复分析联系起来。我们的主要结果表明，四元数正交关系通过确保湍流能量级联保持自然有界来防止有限时间奇点的出现。四元数-复数公式表明，湍流代表了四元数解析性的破坏，同时保持了几何稳定性，为理解为什么真实流体表现出有限的湍流行为而不是数学奇点提供了严格的数学基础。我们证明，对于任何光滑初始数据，三维不可压缩Navier-Stokes方程存在唯一的全局光滑解，直接解决了克雷研究所的挑战。在大气边界层物理中的应用展示了该框架在环境建模、天气预报和气候建模中的直接实际意义。

摘要

  • 原文标题：Recursive Difference Categories and Topos-Theoretic Universality
  • 中文标题：递归差分范畴与拓扑斯理论普适性
  • 发布日期：2025-05-28 23:18:04+00:00
  • 作者：Andreu Ballus Santacana
  • 分类：math.CT, cs.LO, 18F20, 18C10, 03G30, 03B45, 03G12, F.4.1; F.3.2; F.1.1
  • 原文链接：http://arxiv.org/abs/2505.22931v1

中文摘要：我们提出了一种基于递归差分单一生成公理的极简范畴基础，用于逻辑、语义和计算。从空记忆M0出发，通过D的迭代标记扩展构建自由范畴M及其层拓扑斯Sh(M)。我们证明：

我们进一步构造忠实几何嵌入： Set -> Sh(M) -> Eff，及Sh(M) -> sSet， 连接可实现性与单纯形框架。与HoTT及经典位点理论模型不同，Sh(M)展现完全上同调平凡性、无挠子、且所有局部数据的完全保守粘合。由此我们实现了Lawvere的愿景——从单一句法公理完全导出语义（模态、集合论、计算及元逻辑），在递归原则下统一逻辑、语义与计算。

摘要

  • 原文标题：A unified quaternion-complex framework for incompressible Navier-Stokes equations: new insights and implications
  • 中文标题：不可压缩Navier-Stokes方程的四元数-复数统一框架：新见解与意义
  • 发布日期：2025-05-28 20:37:33+00:00
  • 作者：Farrukh A. Chishtie
  • 分类：physics.flu-dyn, math.CV
  • 原文链接：http://arxiv.org/abs/2505.22853v1

中文摘要：摘要：我们提出了一种新颖的四元数-复数统一框架来表述不可压缩Navier-Stokes方程，该框架揭示了粘性流体运动的几何结构，并解决了克雷数学研究所的千禧年大奖难题。通过引入复坐标$z = x + iy$并将速度场表示为$F = u + iv$，我们证明非线性对流项可分解为$(u \cdot \nabla)F = F \cdot \frac{\partial F}{\partial z} + F^* \cdot \frac{\partial F}{\partial \bar{z}}$，从而分离无粘对流与粘性耦合效应。我们使用四元数将该框架扩展到三维，并通过四元数代数固有的几何约束证明全局正则性。不可压缩约束自然地表现为要求$\frac{\partial F}{\partial z}$为纯虚数，这从根本上将流体力学与复分析联系起来。我们的主要结果表明，四元数正交关系通过确保湍流能量级联保持自然有界来防止有限时间奇点。四元数-复数公式表明，湍流代表四元数解析性的破坏，同时保持几何稳定性，为理解真实流体为何表现出有限湍流行为而非数学奇点提供了严格的数学基础。我们证明对于任何光滑初始数据，三维不可压缩Navier-Stokes方程存在唯一的全局光滑解，直接解决了克雷研究所的挑战。在大气边界层物理中的应用展示了该框架对环境建模、天气预报和气候建模的直接实践意义。

摘要

  • 原文标题：A unified quaternion-complex framework for Navier-Stokes equations: new insights and implications
  • 中文标题：纳维-斯托克斯方程的四元数-复数统一框架：新见解与启示
  • 发布日期：2025-05-28 20:37:33+00:00
  • 作者：Farrukh A. Chishtie
  • 分类：physics.flu-dyn, math.CV
  • 原文链接：http://arxiv.org/abs/2505.22853v2

中文摘要：摘要：我们提出了一种新颖的四元数-复数统一框架，用于表述不可压缩Navier-Stokes方程，该框架揭示了粘性流体运动的几何结构，并解决了克雷数学研究所的千禧年大奖难题。通过引入复坐标$z = x + iy$并将速度场表示为$F = u + iv$，我们证明非线性对流项可分解为$(u \cdot \nabla)F = F \cdot \frac{\partial F}{\partial z} + F^* \cdot \frac{\partial F}{\partial \bar{z}}$，从而分离无粘对流与粘性耦合效应。我们使用四元数将该框架扩展到三维，并通过四元数代数固有的几何约束证明全局正则性。不可压缩约束自然地表现为要求$\frac{\partial F}{\partial z}$为纯虚数，从根本上将流体力学与复分析联系起来。我们的主要结果表明，四元数正交关系通过确保湍流能量级联保持自然有界来防止有限时间奇点。四元数-复数公式表明，湍流代表四元数解析性的破坏同时保持几何稳定性，为理解真实流体为何呈现有限湍流行为而非数学奇点提供了严格的数学基础。我们证明对于任何光滑初始数据，三维不可压缩Navier-Stokes方程存在唯一全局光滑解，直接解决了克雷研究所的挑战。在大气边界层物理中的应用展示了该方法对环境建模、天气预报和气候建模的直接实践意义。

摘要

  • 原文标题：Recursive Difference Categories and Topos-Theoretic Universality
  • 中文标题：递归差分范畴与拓扑斯理论普适性
  • 发布日期：2025-05-28 23:18:04+00:00
  • 作者：Andreu Ballus Santacana
  • 分类：math.CT, cs.LO, 18F20, 18C10, 03G30, 03B45, 03G12, F.4.1; F.3.2; F.1.1
  • 原文链接：http://arxiv.org/abs/2505.22931v1

中文摘要：我们提出了一种极度简约的范畴论基础架构，用于逻辑、语义和计算，其构建仅依赖于递归差分这一单一生成公理。从空记忆元M0出发，通过D的迭代标记扩展，我们构造出自由范畴M及其层拓扑斯Sh(M)。我们证明： 模态完备性：Sh(M)上的Lawvere-Tierney拓扑纯粹通过自由幺半群D*的子幺半群分类所有标准模态逻辑（K, T, S4, S5）。 不动点表达性：无限分支上的内部μ演算完整实现了Janin-Walukiewicz定理。 ZFC与集合建模：Sh(M)通过常层嵌入Set，并通过递归下降内化ZFC模型。 图灵可编码性：有限自动机和图灵机层可从语法层面产生，形成完全可机械化的内部语义。 内部元定理：通过完全下降和一阶上同调群H1的消失，Godel完备性和Lowenheim-Skolem定理在内部成立。 我们进一步构造忠实几何嵌入： Set -> Sh(M) -> Eff，以及 Sh(M) -> sSet， 连接可实现性与单纯形框架。与同伦类型论及经典位点理论模型不同，Sh(M)展现出完全的上同调平凡性、无挠子结构，并能完全保守地粘合所有局部数据。由此我们实现了Lawvere的愿景——从单一语法公理完全导出语义（模态、集合论、计算及元逻辑），在递归原则下统一逻辑、语义与计算。

摘要

  • 原文标题：A unified quaternion-complex framework for incompressible Navier-Stokes equations: new insights and implications
  • 中文标题：不可压缩Navier-Stokes方程的四元数-复数统一框架：新见解与启示
  • 发布日期：2025-05-28 20:37:33+00:00
  • 作者：Farrukh A. Chishtie
  • 分类：physics.flu-dyn, math.CV
  • 原文链接：http://arxiv.org/abs/2505.22853v1

中文摘要：摘要：我们提出了一种新颖的四元数-复数统一框架来表述不可压缩Navier-Stokes方程，该框架揭示了粘性流体运动的几何结构，并解决了克雷数学研究所的千禧年大奖难题。通过引入复坐标$z = x + iy$并将速度场表示为$F = u + iv$，我们证明非线性对流项可分解为$(u \cdot \nabla)F = F \cdot \frac{\partial F}{\partial z} + F^* \cdot \frac{\partial F}{\partial \bar{z}}$，从而分离无粘对流与粘性耦合效应。我们使用四元数将该框架扩展到三维，并通过四元数代数固有的几何约束证明了全局正则性。不可压缩性约束自然地表现为要求$\frac{\partial F}{\partial z}$为纯虚数，这从根本上将流体力学与复分析联系起来。我们的主要结果表明，四元数正交关系通过确保湍流能量级联保持自然有界来防止有限时间奇点。四元数-复数公式表明，湍流代表着四元数解析性的破坏同时保持几何稳定性，为理解真实流体为何表现出有限湍流行为而非数学奇点提供了严格的数学基础。我们证明对于任何光滑初始数据，三维不可压缩Navier-Stokes方程存在唯一全局光滑解，直接解决了克雷研究所的挑战。在大气边界层物理中的应用展示了该框架对环境建模、天气预报和气候模拟的直接实践价值。

摘要

  • 原文标题：A unified quaternion-complex framework for Navier-Stokes equations: new insights and implications
  • 中文标题：纳维-斯托克斯方程的四元数-复数统一框架：新见解与启示
  • 发布日期：2025-05-28 20:37:33+00:00
  • 作者：Farrukh A. Chishtie
  • 分类：physics.flu-dyn, math.CV
  • 原文链接：http://arxiv.org/abs/2505.22853v2

中文摘要：我们提出了一种新颖的四元数-复数统一框架来表述不可压缩Navier-Stokes方程，该框架揭示了粘性流体运动的几何结构，并解决了克雷数学研究所的千禧年大奖难题。通过引入复坐标$z = x + iy$并将速度场表示为$F = u + iv$，我们证明非线性对流项可分解为$(u \cdot \nabla)F = F \cdot \frac{\partial F}{\partial z} + F^* \cdot \frac{\partial F}{\partial \bar{z}}$，从而分离无粘对流与粘性耦合效应。我们使用四元数将该框架扩展到三维，并通过四元数代数固有的几何约束证明了全局正则性。不可压缩约束自然地表现为要求$\frac{\partial F}{\partial z}$为纯虚数，这从根本上将流体力学与复分析联系起来。我们的主要结果表明，四元数正交关系通过确保湍流能量级联保持自然有界来防止有限时间奇异性。四元数-复数公式表明，湍流代表四元数解析性的破坏，同时保持几何稳定性，为理解真实流体为何表现出有限湍流行为而非数学奇点提供了严格的数学基础。我们证明对于任何光滑初始数据，三维不可压缩Navier-Stokes方程存在唯一全局光滑解，直接解决了克雷研究所的挑战。在大气边界层物理中的应用展示了该框架对环境建模、天气预报和气候建模的直接实践价值。

摘要

  • 原文标题：Recursive Difference Categories and Topos-Theoretic Universality
  • 中文标题：递归差分范畴与拓扑斯理论普适性
  • 发布日期：2025-05-28 23:18:04+00:00
  • 作者：Andreu Ballus Santacana
  • 分类：math.CT, cs.LO, 18F20, 18C10, 03G30, 03B45, 03G12, F.4.1; F.3.2; F.1.1
  • 原文链接：http://arxiv.org/abs/2505.22931v1

中文摘要：我们提出了一种基于递归差分单一生成公理的极简范畴基础，用于逻辑、语义和计算。从空记忆M0出发，通过D的迭代标记扩展形成自由范畴M及其层拓扑斯Sh(M)。我们证明： 模态完备性：Sh(M)上的Lawvere-Tierney拓扑纯粹通过自由幺半群D*的子幺半群分类所有标准模态逻辑（K、T、S4、S5）。 不动点表达性：无限分支上的内部μ演算完整实现了Janin-Walukiewicz定理。 ZFC与集合建模：Sh(M)通过常层嵌入Set，并通过递归下降内化ZFC模型。 图灵可编码性：有限自动机和图灵机层可从语法层面产生，形成完全可机械化的内部语义。 内部元定理：通过完全下降和消失的第一上同调H1，Godel完备性和Lowenheim-Skolem定理在内部成立。 我们进一步构造忠实几何嵌入： Set -> Sh(M) -> Eff，以及Sh(M) -> sSet， 连接可实现性与单纯形框架。与HoTT及经典位点理论模型不同，Sh(M)展现出完全上同调平凡性、无挠子、且所有局部数据的完全保守粘合。由此我们实现了Lawvere的愿景——从单一语法公理完全导出语义（模态、集合论、计算及元逻辑），在单一递归原则下统一逻辑、语义与计算。

摘要

  • 原文标题：A unified quaternion-complex framework for incompressible Navier-Stokes equations: new insights and implications
  • 中文标题：不可压缩Navier-Stokes方程的四元数-复数统一框架：新见解与启示
  • 发布日期：2025-05-28 20:37:33+00:00
  • 作者：Farrukh A. Chishtie
  • 分类：physics.flu-dyn, math.CV
  • 原文链接：http://arxiv.org/abs/2505.22853v1

中文摘要：摘要：我们提出了一种新颖的四元数-复数统一框架来表述不可压缩Navier-Stokes方程，该框架揭示了粘性流体运动的几何结构，并解决了克雷数学研究所的千禧年大奖难题。通过引入复坐标$z = x + iy$并将速度场表示为$F = u + iv$，我们证明非线性对流项可分解为$(u \cdot \nabla)F = F \cdot \frac{\partial F}{\partial z} + F^* \cdot \frac{\partial F}{\partial \bar{z}}$，从而分离无粘对流与粘性耦合效应。我们使用四元数将该框架扩展到三维，并通过四元数代数固有的几何约束证明全局正则性。不可压缩性约束自然地体现为要求$\frac{\partial F}{\partial z}$为纯虚数，这从根本上将流体力学与复分析联系起来。我们的主要结果表明，四元数正交关系通过确保湍流能量级联保持自然有界来防止有限时间奇点。四元数-复数公式表明，湍流代表四元数解析性的破坏同时保持几何稳定性，为理解真实流体为何呈现有限湍流行为而非数学奇点提供了严格的数学基础。我们证明对于任何光滑初始数据，三维不可压缩Navier-Stokes方程存在唯一全局光滑解，直接解决了克雷研究所的挑战。在大气边界层物理中的应用展示了该框架对环境建模、天气预报和气候模拟的直接实践价值。

摘要

  • 原文标题：A unified quaternion-complex framework for Navier-Stokes equations: new insights and implications
  • 中文标题：纳维-斯托克斯方程的四元数-复数统一框架：新见解与启示
  • 发布日期：2025-05-28 20:37:33+00:00
  • 作者：Farrukh A. Chishtie
  • 分类：physics.flu-dyn, math.CV
  • 原文链接：http://arxiv.org/abs/2505.22853v2

中文摘要：我们提出了一种新颖的四元数-复数统一框架来表述不可压缩Navier-Stokes方程，该框架揭示了粘性流体运动的几何结构，并解决了克雷数学研究所的千禧年大奖难题。通过引入复坐标$z = x + iy$并将速度场表示为$F = u + iv$，我们证明非线性对流项可分解为$(u \cdot \nabla)F = F \cdot \frac{\partial F}{\partial z} + F^* \cdot \frac{\partial F}{\partial \bar{z}}$，从而分离无粘对流与粘性耦合效应。我们使用四元数将该框架扩展到三维，并通过四元数代数固有的几何约束证明了全局正则性。不可压缩性约束自然地表现为要求$\frac{\partial F}{\partial z}$为纯虚数，这从根本上将流体力学与复分析联系起来。我们的主要结果表明，四元数正交关系通过确保湍流能量级联保持自然有界来防止有限时间奇点。四元数-复数公式表明，湍流代表了四元数解析性的破坏，同时保持几何稳定性，为理解真实流体为何表现出有限湍流行为而非数学奇点提供了严格的数学基础。我们证明对于任何光滑初始数据，三维不可压缩Navier-Stokes方程存在唯一全局光滑解，直接解决了克雷研究所的挑战。在大气边界层物理中的应用展示了该框架对环境建模、天气预报和气候建模的直接实践意义。

摘要

  • 原文标题：Recursive Difference Categories and Topos-Theoretic Universality
  • 中文标题：递归差分范畴与拓扑斯理论普适性
  • 发布日期：2025-05-28 23:18:04+00:00
  • 作者：Andreu Ballus Santacana
  • 分类：math.CT, cs.LO, 18F20, 18C10, 03G30, 03B45, 03G12, F.4.1; F.3.2; F.1.1
  • 原文链接：http://arxiv.org/abs/2505.22931v1

中文摘要：我们提出了一种极简的范畴论基础，用于逻辑、语义和计算，其构建仅基于递归差分这一单一生成公理。从空记忆M0出发，通过D的迭代标记扩展，我们构建了自由范畴M及其层拓扑斯Sh(M)。我们证明： 模态完备性：Sh(M)上的Lawvere-Tierney拓扑纯粹通过自由幺半群D*的子幺半群分类所有标准模态逻辑（K、T、S4、S5）。 不动点表达性：无限分支上的内部μ演算完整实现了Janin-Walukiewicz定理。 ZFC与集合建模：Sh(M)通过常层嵌入Set，并通过递归下降内化ZFC模型。 图灵可编码性：有限自动机和图灵机层在句法层面产生，形成完全可机械化的内部语义。 内部元定理：通过完全下降和一阶上同调H1的消失，Godel完备性和Lowenheim-Skolem定理在内部成立。 我们进一步构造忠实几何嵌入： Set -> Sh(M) -> Eff，以及Sh(M) -> sSet， 连接可实现性和单纯形框架。与HoTT及经典位点理论模型不同，Sh(M)展现出完全的上同调平凡性、无挠子结构，并能完全保守地粘合所有局部数据。由此，我们实现了Lawvere的愿景——从单一句法公理完全导出语义（模态、集合论、计算和元逻辑），在单一递归原则下统一逻辑、语义与计算。

摘要

  • 原文标题：A unified quaternion-complex framework for Navier-Stokes equations: new insights and implications
  • 中文标题：四元数-复数统一框架下的纳维-斯托克斯方程：新见解与启示
  • 发布日期：2025-05-28 20:37:33+00:00
  • 作者：Farrukh A. Chishtie
  • 分类：physics.flu-dyn, math.CV
  • 原文链接：http://arxiv.org/abs/2505.22853v2

中文摘要：我们提出了一种新颖的四元数-复数统一框架来表述不可压缩Navier-Stokes方程，该框架揭示了粘性流体运动的几何结构，并解决了克雷数学研究所的千禧年大奖难题。通过引入复坐标$z = x + iy$并将速度场表示为$F = u + iv$，我们证明非线性对流项可分解为$(u \cdot \nabla)F = F \cdot \frac{\partial F}{\partial z} + F^* \cdot \frac{\partial F}{\partial \bar{z}}$，从而分离无粘对流与粘性耦合效应。我们使用四元数将该框架扩展到三维，并通过四元数代数固有的几何约束证明了全局正则性。不可压缩性约束自然地表现为要求$\frac{\partial F}{\partial z}$为纯虚数，这从根本上将流体力学与复分析联系起来。我们的主要结果表明，四元数正交关系通过确保湍流能量级联保持自然有界来防止有限时间奇异性。四元数-复数公式表明，湍流代表了四元数解析性的破坏，同时保持几何稳定性，为理解真实流体为何表现出有限湍流行为而非数学奇点提供了严格的数学基础。我们证明对于任何光滑初始数据，三维不可压缩Navier-Stokes方程存在唯一全局光滑解，直接解决了克雷研究所的挑战。在大气边界层物理中的应用展示了该框架在环境建模、天气预报和气候模拟中的直接实用价值。

摘要

  • 原文标题：A unified quaternion-complex framework for incompressible Navier-Stokes equations: new insights and implications
  • 中文标题：不可压缩Navier-Stokes方程的四元数-复数统一框架：新见解与启示
  • 发布日期：2025-05-28 20:37:33+00:00
  • 作者：Farrukh A. Chishtie
  • 分类：physics.flu-dyn, math.CV
  • 原文链接：http://arxiv.org/abs/2505.22853v1

中文摘要：我们提出了一种新颖的四元数-复数统一框架来表述不可压缩Navier-Stokes方程，该框架揭示了粘性流体运动的几何结构，并解决了克雷数学研究所的千禧年大奖难题。通过引入复坐标$z = x + iy$并将速度场表示为$F = u + iv$，我们证明非线性对流项可分解为$(u \cdot \nabla)F = F \cdot \frac{\partial F}{\partial z} + F^* \cdot \frac{\partial F}{\partial \bar{z}}$，从而分离无粘性对流与粘性耦合效应。我们使用四元数将该框架扩展到三维空间，并通过四元数代数固有的几何约束证明了全局正则性。不可压缩性约束自然地表现为要求$\frac{\partial F}{\partial z}$为纯虚数，这从根本上将流体力学与复分析联系起来。我们的主要结果表明，四元数正交关系通过确保湍流能量级联保持自然有界性来防止有限时间奇点。四元数-复数公式表明，湍流代表着四元数解析性的破坏同时保持几何稳定性，这为理解真实流体为何表现出有限湍流行为而非数学奇点提供了严格的数学基础。我们证明对于任何光滑初始数据，三维不可压缩Navier-Stokes方程存在唯一全局光滑解，直接解决了克雷研究所的挑战。在大气边界层物理中的应用展示了该框架对环境建模、天气预报和气候模拟的直接实践价值。

摘要

  • 原文标题：Monolithic framework to simulate fluid-structure interaction problems using geometric volume-of-fluid method
  • 中文标题：基于几何流体体积法的流固耦合问题模拟一体化框架
  • 发布日期：2025-05-28 22:47:33+00:00
  • 作者：Soham Prajapati, Ali Fakhreddine, Krishnan Mahesh
  • 分类：physics.flu-dyn, physics.comp-ph
  • 原文链接：http://arxiv.org/abs/2505.22920v1

中文摘要：我们开发了一个三维欧拉框架，用于在固定笛卡尔网格上使用几何流体体积法(VOF)模拟流固耦合(FSI)问题。该耦合问题涉及不可压缩流动和粘性超弹性固体。采用基于VOF的单连续体公式描述统一动量守恒方程，结合不可压缩约束条件，并通过有限体积法(FVM)求解。在几何VOF界面捕捉(IC)方法中，采用PLIC方法重构界面，并在方向分裂平流过程中使用拉格朗日显式(LE)方法。为模拟固体的超弹性行为，我们采用Mooney-Rivlin材料模型，其中使用左柯西-格林变形张量(B)描述欧拉网格上的固体变形，并采用五阶WENO-Z重构方法处理B输运方程中的平流项。通过多个基准问题验证了方法的准确性。此外，为展示求解器处理湍流相互作用的能力，我们对具有可变形柔性底壁和刚性顶壁的湍流通道流动进行了直接数值模拟(DNS)，观测结果与先前的实验和数值研究高度吻合。详细数值实验表明：(i)尽管界面在单元边界处不连续且应力在界面处存在间断，基于VOF/PLIC的FSI框架仍能提供稳定精确的解，在保持锐利界面的同时显著减少数值伪影(如漂浮物和虚假流)；(ii)粗网格下基于VOF/PLIC的FSI方法精度，可与更细网格下基于扩散IC方法的FSI精度相媲美。

摘要

  • 原文标题：Recursive Difference Categories and Topos-Theoretic Universality
  • 中文标题：递归差分范畴与拓扑斯理论普适性
  • 发布日期：2025-05-28 23:18:04+00:00
  • 作者：Andreu Ballus Santacana
  • 分类：math.CT, cs.LO, 18F20, 18C10, 03G30, 03B45, 03G12, F.4.1; F.3.2; F.1.1
  • 原文链接：http://arxiv.org/abs/2505.22931v1

中文摘要：我们提出了一种极简的范畴论基础框架，用于逻辑、语义和计算研究，其构建仅基于递归差分这一单一生成公理。从空记忆元M0出发，通过D的迭代标记扩展形成自由范畴M及其层拓扑斯Sh(M)。我们证明： 模态完备性：Sh(M)上的Lawvere-Tierney拓扑纯粹通过自由幺半群D*的子幺半群分类所有标准模态逻辑（K、T、S4、S5）。 不动点表达性：无限分支上的内部μ演算完整实现了Janin-Walukiewicz定理。 ZFC与集合建模：Sh(M)通过常层嵌入Set，并通过递归下降内化ZFC模型。 图灵可编码性：有限自动机和图灵机层可从语法层面产生，形成完全可机械化的内部语义。 内部元定理：通过完全下降和消失的第一上同调H1，Godel完备性和Lowenheim-Skolem定理在内部成立。 我们进一步构造忠实几何嵌入： Set -> Sh(M) -> Eff，及Sh(M) -> sSet， 连接可实现性和单纯形框架。与同伦类型论及经典位点理论模型不同，Sh(M)展现出完全的上同调平凡性、无挠子结构，并能完全保守地粘合所有局部数据。由此我们实现了Lawvere的愿景——从单一语法公理完全导出语义（模态、集合论、计算及元逻辑），在递归原理下统一逻辑、语义与计算。

摘要

  • 原文标题：A unified quaternion-complex framework for Navier-Stokes equations: new insights and implications
  • 中文标题：纳维-斯托克斯方程的四元数-复数统一框架：新见解与启示
  • 发布日期：2025-05-28 20:37:33+00:00
  • 作者：Farrukh A. Chishtie
  • 分类：physics.flu-dyn, math.CV
  • 原文链接：http://arxiv.org/abs/2505.22853v2

中文摘要：我们提出了一种新颖的四元数-复数统一框架来表述不可压缩Navier-Stokes方程，该框架揭示了粘性流体运动的几何结构，并解决了克雷数学研究所的千禧年大奖难题。通过引入复坐标$z = x + iy$并将速度场表示为$F = u + iv$，我们证明非线性对流项可分解为$(u \cdot \nabla)F = F \cdot \frac{\partial F}{\partial z} + F^* \cdot \frac{\partial F}{\partial \bar{z}}$，从而分离无粘性对流与粘性耦合效应。我们使用四元数将该框架扩展到三维，并通过四元数代数固有的几何约束证明了全局正则性。不可压缩性约束自然地表现为要求$\frac{\partial F}{\partial z}$为纯虚数，这从根本上将流体力学与复分析联系起来。我们的主要结果表明，四元数正交关系通过确保湍流能量级联保持自然有界来防止有限时间奇点。四元数-复数公式表明，湍流代表了四元数解析性的破坏，同时保持几何稳定性，为理解真实流体为何表现出有限湍流行为而非数学奇点提供了严格的数学基础。我们证明对于任何光滑初始数据，三维不可压缩Navier-Stokes方程存在唯一的全局光滑解，直接解决了克雷研究所的挑战。在大气边界层物理中的应用展示了该框架对环境建模、天气预报和气候建模的直接实践价值。

摘要

  • 原文标题：A unified quaternion-complex framework for incompressible Navier-Stokes equations: new insights and implications
  • 中文标题：不可压缩Navier-Stokes方程的四元数-复数统一框架：新见解与启示
  • 发布日期：2025-05-28 20:37:33+00:00
  • 作者：Farrukh A. Chishtie
  • 分类：physics.flu-dyn, math.CV
  • 原文链接：http://arxiv.org/abs/2505.22853v1

中文摘要：我们提出了一种新颖的四元数-复数统一框架来表述不可压缩Navier-Stokes方程，该框架揭示了粘性流体运动的几何结构，并解决了克雷数学研究所的千禧年大奖难题。通过引入复坐标$z = x + iy$并将速度场表示为$F = u + iv$，我们证明非线性对流项可分解为$(u \cdot \nabla)F = F \cdot \frac{\partial F}{\partial z} + F^* \cdot \frac{\partial F}{\partial \bar{z}}$，从而分离无粘对流与粘性耦合效应。我们使用四元数将该框架扩展到三维，并通过四元数代数固有的几何约束证明了全局正则性。不可压缩约束自然地表现为要求$\frac{\partial F}{\partial z}$为纯虚数，这从根本上将流体力学与复分析联系起来。我们的主要结果表明，四元数正交关系通过确保湍流能量级联保持自然有界来防止有限时间奇点。四元数-复数公式表明，湍流代表着四元数解析性的破坏同时保持几何稳定性，为理解真实流体为何表现出有限湍流行为而非数学奇点提供了严格的数学基础。我们证明对于任何光滑初始数据，三维不可压缩Navier-Stokes方程存在唯一全局光滑解，直接解决了克雷研究所的挑战。在大气边界层物理中的应用展示了该框架对环境建模、天气预报和气候建模的直接实践价值。

取自“http://zh.wikiedge.org/index.php?title=WikiEdge:ArXiv速递/2025-05-28&oldid=10528”