希尔伯特著名的第六问题 – 原来麦克斯韦早就有解?

转自:知社学术圈

作者:Natalie Wolchover    编译:子聿

希尔伯特的第六大问题号召人们公理化物理学定律,也就是说从一套初始假设或者公理的基础出发严格构建它们。这样做将会揭示需要不同公设的定律之间的矛盾。从相同的公理出发推导全部物理学定律将证明它们不只是偶然的,不同现象的不相干描述,而是一套统一的数学上严密的,内在自洽的反映真实的理论。“再次强调,这是一个统一性问题,这个问题一直蔓延至当今物理学”,来自威斯康星大学麦迪逊分校的数学家马歇尔·斯莱姆罗德(Marshall Slemrod)如是说。

公理化所有物理是个极为艰巨的任务,所以希尔伯特提出了一个更为具体的目标,那就是确定是否气体的微观和宏观图像基于等价的公理基石,也就是说它们只是相同理论的不同表象。为了解决这个问题,人们尝试通过把波尔兹曼方程(将气体描述为在一个速度区间内弹跳的微观粒子)转化为纳维叶-斯托克斯方程(Navier-Stokes 方程,将气体在更大尺度上描述为连续的流动体)。那么,粒子和流体图像能否严格地链接在一起呢?

虽然希尔伯特更为广阔的目标-公理化物理学至今仍然未曾实现,但是最近的研究已经针对粒子-流体问题给出了一个出人意料的答案。波尔兹曼方程并不能在所有情形下转化为纳维叶-斯托克斯方程。这是因为纳维叶-斯托克斯方程并不完整,尽管它们对于气象、海流、管道、汽车、飞机机翼和其他流体动力学系统的建模异常有效,尽管人们为它们的严格解设出百万美元大奖。

证据表明更真实的流体动力学方程存在于少为人知且相对未被承认的一套理论中,这套理论是由荷兰数学家、物理学家迪德里克·科特维格(Diederik Korteweg)在1900年代早期发展得来。然而,对于某些气体,即使是科特维格方程也无能无力 - 那里根本就不存在所谓的流体图像。

这个证据由斯莱姆罗德在上个月的“Mathematical Modelling of Natural Phenomena”期刊中给出。他说:“纳维叶-斯托克斯为室内气体做出了很好的预测”,但是在高海拔和其他接近真空的情况下,“这些方程就变得越来越不准确”。更惊奇的是,这个惊人的结论本应该早就得出,甚至早在希尔伯特提出第六个问题之前。1879年,另一位科学巨人,苏格兰物理学家詹姆斯克拉克·麦克斯韦(James Clerk Maxwell)指出,纳维叶-斯托克斯方程不能解释接近真空的实验-克鲁克斯辐射计实验。这件事显然不为希尔伯特所知。斯莱姆罗德说“要是他能读到麦克斯韦的工作就好了”。

 

克鲁克斯辐射计是1873年由威廉姆·克鲁克斯爵士发明,当它暴露在光下时会在部分真空腔中产生热和压力梯度,从而使得叶片转动。

自1900年以来许多数学家都在粒子-流体问题上费尽心血,包括希尔伯特自己。他一开始先把复杂的玻尔兹曼方程改写为一系列递减数列的加和。理论上这种粗短的方程分解可以更容易的被理解为一个不同的但是公理上等价的气体的物理学描述-或许就是流体表述。不过这个数列中的项很快变得不合规则,能量并不是随着气体中的间距缩小而衰减,而似乎是在增强。

这使得希尔伯特和其他人无法对这个级数求和并进行分析。不过总归有一些乐观的理由:级数的主要项看上去像当气体变得浓稠如同液体般时的纳维叶-斯托克斯方程。“所以物理学家们在某种程度上乐见其成,”来自苏黎世工学院的伊利亚·卡林(Ilya Karlin)如是说,“这是所有的教科书中都有的东西。”

不过,由奥地利物理学家路德维德·玻尔兹曼于1872年推导的方程真的会收敛成数十年后法国人克劳德-路易斯·纳维叶和来自爱尔兰与英格兰的乔治·斯托克斯所发展出的纳维叶-斯托克斯方程么?抑或是收敛为其他什么东西?这个问题的答案仍未可知。在1990年代早期,卡林那时还在西伯利亚的克拉斯诺雅茨克跟着亚历山大·高班(Alexander Gorban)念研究生。他们在曾经让希尔伯特踌躇不前的那列级数上又敲开了一道裂缝。这道裂缝的位置证明是有效的。“我们总是开玩笑说。。。这是文明世界的边缘,所以你就坐在那里然后思考那些重大的问题。”

卡林和高班发展了一个玻尔兹曼方程的简化模型,它包含了最初的版本中的必要困难,然后他们将这个模型方程级数展开。通过一些数学技巧,他们成功将其求和。不过最终的解却不是他们所预想的。级数中有问题的放大项同解中一个额外项捆绑在了一起。数年后,当斯莱姆罗德无意中发现俄罗斯科学家的工作后,他当即意识到了这一项的重要意义。“马歇尔注意到我的解里面的严格方程结构根本不是纳维叶-斯托克斯方程”,卡林如是说,“而是很大程度上提醒了我们这是科特维格的二相流方程。”

科特维格的流体动力学模型不仅适用于能量耗散的流体 (由纳维叶-斯托克斯方程表征),也适用于色散情形,类比于彩虹中能量被摊入它的组分频率中。耗散来源于流体的粘性,或者说内部摩擦,但是色散则是由其毛细现象引起的-表面张力使得某些液体在吸管中上升。在大多数流体中,毛细现象同粘性相比可以忽略不计。但并非总是如此,而且数学上从来都不是这样。斯莱姆罗德在2012年的一篇文章中提出,这个毛细现象就是以额外项的形式出现在卡林和高班针对他们那个类波尔兹曼方程的解中。尽管这个发现还没有被推广至完整的玻尔兹曼方程,它还是表明了:气体的粒子表述,转换为流体表述时不是收敛成纳维叶-斯托克斯方程,而是一个更普遍的却远没那么有名的科特维格方程。

亚历山大·高班 (左),英格兰莱斯特大学应用数学教授, 同他以前的学生,现任苏黎世理工学院教授伊利亚·卡林

斯莱姆罗德“给出了非常坚实的论据,证明科特维格流体动力学应用范围远比纳维叶-斯托克斯方程广阔的多”,现在已经成为英格兰莱斯特大学应用数学教授的高班这样说。不过,高班补充道,他和卡林的工作也表明有些粒子气体无法用科特维格方程所表述。当粒子的近距相互作用足够强时,比如冲击波的边缘上,即使是毛细现象也不能完全解释它们的行为,而且“那里根本就不存在流体动力学”。

纳维叶-斯托克斯方程的不完整性在一个古老实验中变得非常明显,这个实验今天则常常出现在博物馆礼品店中待售。克鲁克斯辐射计,一个封装在由玻璃制成的部分真空罐里的风车,暴露在光线中时就会转动。1879年,为了解释克鲁克斯辐射计叶片的转动,麦克斯韦把真空罐中的稀薄气当作流体来建模。麦克斯韦得出如果“斯托克斯教授给出的”方程完美地描述了液体,那么叶片就不会转动。而扇叶的转动则可以归功于毛细现象,由科特维格方程所描述。

提及克鲁克斯辐射计时,斯莱姆罗德说,对于“一辈子都没进过实验室的数学家们,我终于引起了他们的注意而且对他们喊:‘看这里’,这里有真的正在发生的事情,而且你们能从中学到什么。”

斯莱姆罗德希望借助科特维格方程而不是纳维叶-斯托克斯方程能更好地描述近真空气体,比如轨道卫星周围的稀薄气体。他说,“我希望或许有可能用这个修正版来代替玻尔兹曼方程来深入研究近真空情形,那可是个难解的麻烦。”

利奥·科里(Leo Corry)是一位以色列特拉维夫大学的数学史学家,他写过一本关于大卫·希尔伯特和他的六个难题的书,他强调希尔伯特最初的目标已经被人们丢失在粒子-流体问题的细节中,而且仍未被解决。他说,“要知道‘公理’这个词,或甚至是‘基石’,抑或‘概念分析’,哪怕一次都没有出现在斯莱姆罗德的综述中。”

如果说有什么的话,希尔伯特公理化物理学的目标随着进入20世纪变得更加令人生畏。而比粒子和流体动力学的复杂关系更具挑战性的当属似乎完全不可调和的量子力学与广义相对论之间的矛盾-那是更小和更大尺度上对自然的描述。

不过即使粒子-流体问题算不上第六问题的一个完美呈现,它也已经有了自己的生命。科里说,“我更不敢说它在重要性上比不上希尔伯特提出第六问题时心中所想的问题”,“我不会跟任何人争论,说它确实更重要,更深入人心。”

原文:

https://www.quantamagazine.org/20150721-famous-fluid-equations-are-incomplete/

未来智能实验室的主要工作包括:建立AI智能系统智商评测体系,开展世界人工智能智商评测;开展互联网(城市)云脑研究计划,构建互联网(城市)云脑技术和企业图谱,为提升企业,行业与城市的智能水平服务。

  如果您对实验室的研究感兴趣,欢迎加入未来智能实验室线上平台。扫描以下二维码或点击本文左下角“阅读原文”

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/487190.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

c++ tinyxml2 解析xml小坑

如题,项目中遇到的解析xml小坑: xml是python在windows下生成的,虽然是utf8的,但是回车是16进制显示的0D 0A,与linux下的回车不同(0A),导致使用Parse函数时解析失败,查找…

96. Unique Binary Search Trees1和2

/*这道题的关键是:动态表尽量的选取,知道二叉搜索树中左子树的点都比根节点小,右子树的点都比根节点大所以当i为根节点,左子树有i-1个点,右子树有n-i个点,左右子树就可以开始递归构建,过程和一开…

python调用c++的库传递二级指针

遇见的问题:需要从python向c函数中传入二级指针的参数 char**P的问题: c_char_datas (ctypes.c_char_p * file_num)() for j in range(file_num):c_char (ctypes.c_char*6)()c_char.value file_list[j].name.encode(utf-8)c_char_datas[j] ctypes.…

编译tensorflow的小小记录

编译tensorflow有专门的编译工具bazel,所以需要先安装bazel。我使用的是源码编译bazel(https://github.com/bazelbuild/bazel/releases)。 第一个坑:git clone bazel源码或者使用下载的bazel-0.21.0.tar.gz,这种源码里…

layui富文本编译器添加图片

1、创建富文本编辑器 <form class"layui-form" method"post" id"myForm" enctype"multipart/form-data"><div class"layui-form-item layui-form-text"><label class"layui-form-label">内容&…

为什么数学是理解世界的最佳方式

来源&#xff1a;遇见数学在对着乔治梅森大学最近的一届新生致辞时&#xff0c;丽贝卡戈尔丁&#xff08;Rebecca Goldin&#xff09;传递了一个令人沮丧的数据&#xff1a;最近的一项研究显示&#xff0c;36%的大学生在大学四年时间里批判性思维并未显著提高。戈尔丁解释说&am…

windows查看dll库接口函数

一种是使用工具depends&#xff0c;另一种是使用vs的cmd命令窗口&#xff0c;dumpbin /EXPORTS xxx.dll就可以查看xxx.dll的函数接口了

bootstrap-table 行合并和列合并,以及固定列宽度等问题

列合并和列宽度固定&#xff1a; 1 .setWidth {2 table-layout: fixed;3 }4 5 .setWidth > thead > tr > th {6 width: 80px;7 }8 <table class"setWidth" id"EstateTable" data-mobile-responsive&…

c++错误functional:1526:9: error: no type named ‘type’ in ‘class std::result_of

关于这个错误&#xff0c;我自己的情况是thread函数形参有&引用传值&#xff0c;例如: void thread_test(vector<int> &test_vec)&#xff0c;编译就会报错&#xff0c;去掉&就可以了&#xff0c;查到的其他方式并没有能解决这个问题&#xff0c;不知道是因…

5G 标准的走向,为何越来越不同寻常?

作者 | Michael Koziol译者 | 弯月&#xff0c;责编 | 屠敏出品 | CSDN&#xff08;ID&#xff1a;CSDNnews&#xff09;以下为译文&#xff1a;如果没有互联网工程任务组&#xff08;Internet Engineering Task Force&#xff09;制定种种互联网标准&#xff0c;那么此时此刻你…

WebSocket教程(一)

一、websocket与http WebSocket是HTML5出的东西&#xff08;协议&#xff09;&#xff0c;也就是说HTTP协议没有变化&#xff0c;或者说没关系&#xff0c;但HTTP是不支持持久连接的&#xff08;长连接&#xff0c;循环连接的不算&#xff09; 首先HTTP有 1.1 和 1.0 之说&…

iis设置导致python调用urllib.request.urlopen出错问题

iis确实用的很少&#xff0c;从来没有注意过&#xff0c;今天就遇见了问题。 python中使用urllib.request.urlopen调用测试服务器接口&#xff0c;之前从没有出现问题&#xff0c;今天用了一条70M的数据进行测试&#xff0c;突然报错404&#xff0c;这是什么鬼&#xff0c;各种…

人类智慧的本质是什么?【知社视频】第118期

来源&#xff1a;知社学术圈自古希腊开始&#xff0c;人们就认为智慧是人的根本属性&#xff0c;哲学家普罗泰戈拉有句名言&#xff0c;“人是万物的尺度&#xff0c;是存在的事物存在的尺度&#xff0c;也是不存在的事物不存在的尺度”。马克思主义也认为&#xff0c;认识世界…

scrapy的安装

1. 先安装python3 2. 设置python3的环境变量&#xff0c;script的环境变量 3. pip3 install scrapy 4. 安装错误提示去ms官网下载vc2015 5. 安装pywin32 pywin32-221.win-amd64-py3.6 安装完成&#xff01;&#xff01; 转载于:https://www.cnblogs.com/liyugeng/p/7941102.ht…

nginx小记

这只是个小记&#xff0c;不是很懂&#xff0c;随手记录已知的知识。 1.nginx是为了让外部网络可以访问内部系统&#xff0c;做了ip和端口的映射&#xff0c;所以如果是内部使用&#xff0c;可以直接连接内部ip和端口&#xff0c;而不用非要使用nginx映射的。 &#xff08;有新…

20个!中国科协发布2020年重大科学问题和工程技术难题

来源&#xff1a; 中国科学报作者 | 高雅丽8月15日&#xff0c;中国科协在第二十二届中国科协年会闭幕式上发布了 10个对科学发展具有导向作用的科学问题和10个对技术和产业具有关键作用的工程难题。10个前沿科学问题为&#xff1a;冠状病毒跨种传播的生态学机制是什么&#xf…

openvino安装小记

使用的是Linux版本安装完整包l_openvino_toolkit_p_2019.2.242.tgz&#xff0c;这个是官方安装说明&#xff1a;https://docs.openvinotoolkit.org/latest/_docs_install_guides_installing_openvino_linux.html。 简单记录一下问题&#xff1a; 1.使用xmanager想要用GUI脚本…

Java 8特性

1. Java8的新特性 1.1. Lambda表达式和函数式接口 最简单的Lambda表达式可以用逗号分隔的参数列表、->符号和功能语句块来表示。示例如下&#xff1a; Arrays.asList( "a", "b", "d" ).forEach( e -> System.out.println( e ) ); 请注意到…

图神经网络的表达能力,究竟有多强大?

来源&#xff1a;AI科技评论作者 | Mr Bear编辑 | 丛 末近年来&#xff0c;随着图神经网络在各个领域的火热应用&#xff0c;越来越多的学者试图从图论的角度对图神经网络的表达能力进行理论分析&#xff0c;并基于这些理论分析开发出了性能强大的模型。然而&#xff0c;在实际…

android studio 调试c/c++代码小记

使用的android studio3.0.1版本&#xff0c;sdk 27. 新建的测试程序&#xff0c;勾选了c支持&#xff0c;默认有native_lib.cpp。 1.在cpp中添加了测试的native代码&#xff0c;提示No implementation found for错误&#xff0c;怎么看都跟之前的默认函数没啥区别啊&#xff…