当前位置:

首页 > 业界资讯 > N-S方程问题有解了?与黎曼猜想并列,千禧年数学难题胜利在望

N-S方程问题有解了?与黎曼猜想并列,千禧年数学难题胜利在望

这是数学中最著名的未解问题之一。新的工作已通过同行评审,全文可看。起猛了,流体力学迎来自己的超导时刻了?最近几天,数学圈内人们正在热烈讨论纳维-斯托克斯问题的正则哈密顿公式终于出现了——这个数学史上悬而未决的问题可能有了解答。而在以前,人们甚至普遍认为这是不可能的。此事有多重要?纳维-斯托克斯方程与黎曼猜想一样,在2000年被列为「千禧年数学七大难题」。这七个世界级难题分别是:NP完全问题、霍奇猜想、庞加莱猜想、黎曼假设、杨-米尔斯存在性与质量间隙、纳卫尔-斯托克斯方程、BSD猜想

本文目录
    这是数学中最著名的未解问题之一。新的工作已通过同行评审,全文可看。

    起猛了,流体力学迎来自己的超导时刻了?
    N-S方程问题有解了?与黎曼猜想并列,千禧年数学难题胜利在望
    最近几天,数学圈内人们正在热烈讨论纳维 - 斯托克斯问题的正则哈密顿公式终于出现了 —— 这个数学史上悬而未决的问题可能有了解答。而在以前,人们甚至普遍认为这是不可能的。

    此事有多重要?纳维 - 斯托克斯方程与黎曼猜想一样,在 2000 年被列为「千禧年数学七大难题」。

    这七个世界级难题分别是:NP 完全问题、霍奇猜想、庞加莱猜想、黎曼假设、杨 - 米尔斯存在性与质量间隙、纳卫尔 - 斯托克斯方程、BSD 猜想。七个问题都被悬赏一百万美元,20 多年来只有「庞加莱猜想」被俄罗斯天才数学家佩雷尔曼解决。

    它们大多让人耳熟能详,但「纳维 - 斯托克斯方程」(N-S 方程)在其中似乎较少被人们提及。究其原因,可能是因为这个问题实在太难以理解了(大学上过《流体力学》这门课的同学肯定会有概念)。有人甚至认为,它是数学史上最复杂的公式。

    简单来说,十八世纪数学家欧拉在《流体运动的一般原理》中根据无粘性流体运动时流体所受的力和动量变化推导出了一组方程。
    N-S方程问题有解了?与黎曼猜想并列,千禧年数学难题胜利在望
    欧拉方程的描述将流体运动规定在了一个理想化世界中,但真正的流体内部是有摩擦的。自然界中的流体都有粘性,统称为粘性流体或实际流体。比如我们搅拌蜂蜜时会感受到粘滞的作用,而飞机飞行所受的阻力也很大程度上来源于空气的粘性。

    由于实际流体的粘性,我们对于流体运动的研究就变得非常复杂了。
    N-S方程问题有解了?与黎曼猜想并列,千禧年数学难题胜利在望
    在 19 世纪,法国工程师兼物理学家克劳德 - 路易・纳维、爱尔兰物理学和数学家乔治・斯托克斯两人考虑分子间作用力,建立了流体平衡和运动的基本方程,并描述了运动在直角坐标中的分量形式。

    这就是后世所说的纳维 - 斯托克斯方程。
    N-S方程问题有解了?与黎曼猜想并列,千禧年数学难题胜利在望
                                     有史以来最可怕的偏微分方程之一。

    纳维 - 斯托克斯方程被用于描述像液体和空气这样的流体物质。这些方程建立了流体的粒子动量的改变率(力)和作用在液体内部的压力的变化和耗散粘滞力(类似于摩擦力)以及引力之间的关系。这些粘滞力产生于分子的相互作用,能告诉我们液体有多粘。这样,纳维 - 斯托克斯方程描述作用于液体任意给定区域的力的动态平衡。

    对于很多工程问题来说,这至关重要。

    如果纳维 - 斯托克斯问题有全局解的话,很多与流体力学有关的技术都会出现突破,包括但不限于航空航天、火箭发动机、天气预测、管道运输、医疗血流建模等等。

    关于这组方程所涉及的难题在于:我们该如何用数学理论阐明它。甚至于用数学理论解释描述奇特黑洞的爱因斯坦场方程都会比阐述纳维 - 斯托克斯方程更简单一些。

    人们提到的重要突破来自论文《A canonical Hamiltonian formulation of the Navier–Stokes problem》,于 4 月 1 日刊登在了流体力学领域顶级期刊《Journal of Fluid Mechanics》上:
    N-S方程问题有解了?与黎曼猜想并列,千禧年数学难题胜利在望
    论文链接:https://www.cambridge.org/core/journals/journal-of-fluid-mechanics/article/canonical-hamiltonian-formulation-of-the-navierstokes-problem/B3EB9389AE700867A6A3EA63A45E69C6

    该论文提出了基于最小二乘原理推导的最小作用原理的各向同性纳维 - 斯托克斯问题的新型哈密尔顿公式。该公式使用速度N-S方程问题有解了?与黎曼猜想并列,千禧年数学难题胜利在望和压强N-S方程问题有解了?与黎曼猜想并列,千禧年数学难题胜利在望作为可变化的场量(field quantities),以及从分析中推导出的正则共轭动量。基于此,该研究构造了满足哈密顿正则方程的守恒哈密顿函数 H*,并针对可压缩和不可压缩流制定了相关的哈密顿 - 雅可比方程。这个哈密顿 - 雅可比方程将寻找四个独立场量的问题N-S方程问题有解了?与黎曼猜想并列,千禧年数学难题胜利在望简化成在这些场中找到单个标量泛函(scalar functional)—— 哈密顿的主泛函N-S方程问题有解了?与黎曼猜想并列,千禧年数学难题胜利在望此外,哈密顿和雅可比的变换理论为解决纳维 - 斯托克斯问题提供了一个规定的方法:找到 S*。

    如果可以获得 S * 的解析表达式,那么它将通过正则变换得到一组新的场,给出原始速度和压力场的解析表达式,这些场将简单等价于它们的初始值。如果做不到这一点,只能证明哈密顿 - 雅可比方程的完全解存在或不存在,那么也将解决解的存在性问题。

    这项新研究可以获得百万美元奖金吗?如果获奖,研究人员必须证明三维不可压缩纳维 - 斯托克斯方程有解,且如果有解,则这些解是平滑的。

    数学家陶哲轩(Terence Tao)曾经认为,这很难。
    N-S方程问题有解了?与黎曼猜想并列,千禧年数学难题胜利在望
    从目前的进度来看,新的研究已使解决开放问题变得更加容易,我们前进了一大步 —— 已经实现纳维 - 斯托克斯方程的正则哈密顿量公式,可能意味着我们可以绕过标准拉格朗日量的限制,将问题简化为寻找单个标量函数。

    或许距离解决千禧年难题的第二题已经不远了。

    参考内容:
    https://www1.grc.nasa.gov/beginners-guide-to-aeronautics/navier-strokes-equation/
    https://zhuanlan.zhihu.com/p/263628141
    https://terrytao.wordpress.com/2007/03/18/why-global-regularity-for-navier-stokes-is-hard/
    本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系bd@zhengruan.com
    作者最新文章
    业界资讯
    相关文章 更多
    Llama3训练每3小时崩一次?豆包大模型、港大团队为脆皮万卡训练提效
    Llama3训练每3小时崩一次?豆包大模型、港大团队为脆皮万卡训练提效

    伴随大模型迭代速度越来越快,训练集群规模越来越大,高频率的软硬件故障已经成为阻碍训练效率进一步提高的痛点,检查点(Checkpoint)系统在训练过程中负责状态的存储和恢复,已经成为克服训练故障、保障训练进度和提高训练效率的关键。近日,字节跳动豆包大模型团队与香港大学联合提出了ByteCheckpoint。这是一个PyTorch原生,兼容多个训练框架,支持Checkpoint的高效读写和自动重新切分的大模型Checkpointing系统,相比现有方法有显著性能提升和易用性优势。本文介绍了大模型训练提效中C

    TPAMI 2024 | ProCo: 无限contrastive pairs的长尾对比学习
    TPAMI 2024 | ProCo: 无限contrastive pairs的长尾对比学习

    AIxiv专栏是本站发布学术、技术内容的栏目。过去数年,本站AIxiv专栏接收报道了2000多篇内容,覆盖全球各大高校与企业的顶级实验室,有效促进了学术交流与传播。如果您有优秀的工作想要分享,欢迎投稿或者联系报道。投稿邮箱:liyazhou@jiqizhixin.com;zhaoyunfeng@jiqizhixin.com本论文第一作者杜超群是清华大学自动化系2020级直博生。导师为黄高副教授。此前于清华大学物理系获理学学士学位。研究兴趣为不同数据分布上的模型泛化和鲁棒性研究,如长尾学习,半监督学习,迁移

    亚马逊云创新「神经稀疏检索」:仅需要文本匹配就能实现语义搜索
    亚马逊云创新「神经稀疏检索」:仅需要文本匹配就能实现语义搜索

    AIxiv专栏是本站发布学术、技术内容的栏目。过去数年,本站AIxiv专栏接收报道了2000多篇内容,覆盖全球各大高校与企业的顶级实验室,有效促进了学术交流与传播。如果您有优秀的工作想要分享,欢迎投稿或者联系报道。投稿邮箱:liyazhou@jiqizhixin.com;zhaoyunfeng@jiqizhixin.com本文作者是来自OpenSearch中国研发团队的机器学习负责人杨扬博士以及机器学习工程师耿志超和管聪。OpenSearch是一个由亚马逊云科技发起的纯开源搜索和实时分析引擎项目。目前软件

    将图像自动文本化,图像描述质量更高、更准确了
    将图像自动文本化,图像描述质量更高、更准确了

    AIxiv专栏是本站发布学术、技术内容的栏目。过去数年,本站AIxiv专栏接收报道了2000多篇内容,覆盖全球各大高校与企业的顶级实验室,有效促进了学术交流与传播。如果您有优秀的工作想要分享,欢迎投稿或者联系报道。投稿邮箱:liyazhou@jiqizhixin.com;zhaoyunfeng@jiqizhixin.com皮仁杰:香港科技大学博士三年级学生,师从张潼教授和周晓方教授。于2024年获得苹果奖学金。目前主要研究方向是多模态大语言模型和数据为中心的AI。张鉴殊:武汉大学本科三年级学生,目前在张潼

    告别逐一标注,一个提示实现批量图片分割,高效又准确
    告别逐一标注,一个提示实现批量图片分割,高效又准确

    仅需一个任务描述,即可一键分割所有图片!SegmentationAnythingModel(SAM)的提出在图像分割领域引起了巨大的关注,其卓越的泛化性能引发了广泛的兴趣。然而,尽管如此,SAM仍面临一个无法回避的问题:为了使SAM能够准确地分割出目标物体的位置,每张图片都需要手动提供一个独特的视觉提示。如下图所示,即使点击的是同一物体(图(b)-(d)),微小位置变化都会导致分割结果的显著差异。这是因为视觉提示语义信息的缺乏,即使提供了想要分割的目标物体上,仍然可能引发歧义。框提示和涂鸦提示(图(e)(

    CVPR 2024 | 分割一切模型SAM泛化能力差?域适应策略给解决了
    CVPR 2024 | 分割一切模型SAM泛化能力差?域适应策略给解决了

    第一个针对「SegmentAnything」大模型的域适应策略来了!相关论文已被CVPR2024接收。引言大语言模型(LLMs)的成功激发了计算机视觉领域探索分割基础模型的兴趣。这些基础分割模型通常通过PromptEngineer来进行zero/few图像分割。其中,SegmentAnythingModel(SAM)是最先进的图像分割基础模型。图SAM在多个下游任务上表现不佳但是最近的研究表明,SAM在多种下游任务中并非具有很强的鲁棒性与泛化性,例如在医学图像、伪装物体、添加干扰的自然图像等领域表现较差。

    ECCV 2024 | 提升GPT-4V、Gemini检测任务性能,你需要这种提示范式
    ECCV 2024 | 提升GPT-4V、Gemini检测任务性能,你需要这种提示范式

    AIxiv专栏是本站发布学术、技术内容的栏目。过去数年,本站AIxiv专栏接收报道了2000多篇内容,覆盖全球各大高校与企业的顶级实验室,有效促进了学术交流与传播。如果您有优秀的工作想要分享,欢迎投稿或者联系报道。投稿邮箱:liyazhou@jiqizhixin.com;zhaoyunfeng@jiqizhixin.com本文作者来自浙江大学、上海人工智能实验室、香港中文大学、悉尼大学和牛津大学。作者列表:吴逸璇,王逸舟,唐诗翔,吴文灏,贺通,WanliOuyang,PhilipTorr,JianWu。其

    贾佳亚团队联手剑桥清华等共推评测新范式 一秒侦破大模型“高分低能”
    贾佳亚团队联手剑桥清华等共推评测新范式 一秒侦破大模型“高分低能”

    颠覆过往大模型评测标准,最新、最全、最权威的测评数据集MR-Ben来了!这是继今年4月发布堪称GPT-4+DALL-E-3的王炸产品超强视觉语言模型Mini-Gemini后,港中文贾佳亚团队再次提出的极具代表性的作品。在MR-Ben的“监督”下,大模型不仅要像学生那样会答题,还要像老师那样会阅卷,真实的推理能力无所遁形。MR-Ben细致地评测了不少国内外一线的开源和闭源模型,如GPT4-Turbo、Cluade3.5-Sonnet、Mistral-Large、Zhipu-GLM4、

    ICML 2024高分论文 | 零阶优化器微调大模型,大幅降低内存
    ICML 2024高分论文 | 零阶优化器微调大模型,大幅降低内存

    AIxiv专栏是本站发布学术、技术内容的栏目。过去数年,本站AIxiv专栏接收报道了2000多篇内容,覆盖全球各大高校与企业的顶级实验室,有效促进了学术交流与传播。如果您有优秀的工作想要分享,欢迎投稿或者联系报道。投稿邮箱:liyazhou@jiqizhixin.com;zhaoyunfeng@jiqizhixin.com本文共同第一作者简介:张逸骅:密歇根州立大学计算机系博士三年级学生,师从SijiaLiu教授,主要研究方向是大模型的安全、隐私和效率问题。李平治:本科毕业于中国科学技术大学,将于2024

    哈工大提出创新迭代推理框架 DPE-MNER :充分发挥多模态表示潜力
    哈工大提出创新迭代推理框架 DPE-MNER :充分发挥多模态表示潜力

    AIxiv专栏是本站发布学术、技术内容的栏目。过去数年,本站AIxiv专栏接收报道了2000多篇内容,覆盖全球各大高校与企业的顶级实验室,有效促进了学术交流与传播。如果您有优秀的工作想要分享,欢迎投稿或者联系报道。投稿邮箱:liyazhou@jiqizhixin.com;zhaoyunfeng@jiqizhixin.com该文章的作者团队来自于哈工大社会计算与信息检索研究中心,作者团队构成:郑子豪、张梓涵、王泽鑫、付瑞吉、刘铭、王仲远、秦兵。多模态表示多模态命名实体识别,作为构建多模态知识图谱的一项基础而

    查看更多
    精品专题 更多
    装机必备
    装机必备

    正软商城装机必备专区,精选办公、浏览器、安全防护、影音播放、压缩解压、设计创作和系统工具等电脑常用正版软件,帮助用户快速完成新电脑软件配置。

    Windows
    Windows

    正软商城Windows软件专区,汇集适用于Windows电脑的办公、设计、安全防护、影音播放、开发工具和系统优化软件,提供软件介绍、系统要求、正版授权及购买下载服务。

    PDF教程
    PDF教程

    正软商城PDF教程频道提供PDF编辑、转换、合并、拆分、压缩及格式处理方法,同时介绍常用PDF软件和工具的使用技巧。

    Mac软件 更多
    讯飞智作 网页版
    讯飞智作 网页版
    Windows/ macOS/ Linux

    讯飞智作是一款基于语音合成技术、虚拟人驱动技术与数字人形象声音构建能力的 AI 数字人音视频创作平台。

    火山引擎 网页版
    火山引擎 网页版
    Windows/ macOS/ Linux

    火山引擎是字节跳动旗下企业级云与AI服务平台。聚焦大模型核心能力,依托字节自研豆包多模态大模型,凭借火山方舟一站式平台,提供模型精调、推理部署、智能应用搭建等全链路服务,结合高性能AI算力,助力各行业快速落地大模型数字化与智能化应用。

    Aperty macOS版
    Aperty macOS版
    macOS

    Aperty 是 Skylum 推出的 AI 人像修图软件,支持自然肤质修饰、瑕疵处理、面部与身体调整、预设及批量同步。

    WINDOWS 更多
    讯飞智作 网页版
    讯飞智作 网页版
    Windows/ macOS/ Linux

    讯飞智作是一款基于语音合成技术、虚拟人驱动技术与数字人形象声音构建能力的 AI 数字人音视频创作平台。

    火山引擎 网页版
    火山引擎 网页版
    Windows/ macOS/ Linux

    火山引擎是字节跳动旗下企业级云与AI服务平台。聚焦大模型核心能力,依托字节自研豆包多模态大模型,凭借火山方舟一站式平台,提供模型精调、推理部署、智能应用搭建等全链路服务,结合高性能AI算力,助力各行业快速落地大模型数字化与智能化应用。

    PixTV 网页版
    PixTV 网页版
    Windows

    PixTV 是一款在浏览器中使用的 AI 视觉内容创作平台,提供图片、视频、音频、文字生成、AI 分镜、局部重绘、提示词反推和无限画布等工具,适合短剧、漫剧、广告及社交媒体内容制作。