当前位置:文档之家› 希尔伯特23个问题

希尔伯特23个问题

希尔伯特23个问题
希尔伯特23个问题

希尔伯特23个问题及解决情况

1900年希尔伯特应邀参加巴黎国际数学家大会并在会上作了题为《数学问题》重要演讲。在这具有历史意义的演讲中,首先他提出许多重要的思想:

正如人类的每一项事业都追求着确定的目标一样,数学研究也需要自己的问题。正是通过这些问题的解决,研究者锻炼其钢铁意志,发现新观点,达到更为广阔的自由的境界。

希尔伯特特别强调重大问题在数学发展中的作用,他指出:“如果我们想对最近的将来数学知识可能的发展有一个概念,那就必须回顾一下当今科学提出的,希望在将来能够解决的问题。” 同时又指出:“某类问题对于一般数学进程的深远意义以及它们在研究者个人的工作中所起的重要作用是不可否认的。只要一门科学分支能提出大量的问题,它就充满生命力,而问题缺乏则预示着独立发展的衰亡或中止。”

他阐述了重大问题所具有的特点,好的问题应具有以下三个特征:

清晰性和易懂性;

虽困难但又给人以希望;

意义深远。

同时他分析了研究数学问题时常会遇到的困难及克服困难的一些方法。就是在这次会议上他提出了在新世纪里数学家应努力去解决的23个问题,即著名的“希尔伯特23个问题”。

编号问题推动发展的领域解决的情况

1 连续统假设公理化集合论1963年,Paul J.Cohen 在下述意义下证明了第一个问题是不可解的。即连续统假设的真伪不可能在Zermelo_Fraenkel公理系统内判定。

2 算术公理的相容性数学基础希尔伯特证明算术公理的相容性的设想,后来发展为系统的Hilbert计划(“元数学”或“证明论”)但1931年歌德尔的“不完备定理”指出了用“元数学”

证明算术公理的相容性之不可能。数学的相容性问题至今未解决。

3 两等高等底的四面体体积之相等几何基础这问题很快(1900)即由希尔伯特的学生M.Dehn给出了肯定的解答。

4 直线作为两点间最短距离问题几何基础这一问题提得过于一般。希尔伯特之后,许多数学家致力于构造和探索各种特殊的度量几何,在研究第四问题上取得很大进展,但问题并未完全解决。

5 不要定义群的函数的可微性假设的李群概念拓扑群论经过漫长的努力,这个问题于1952年由Gleason, Montqomery , Zipping等人最后解决,答案是肯定的。

6 物理公理的数学处理数学物理在量子力学、热力学等领域,公理化方法已获得很大成功,但一般地说,公理化的物理意味着什么,仍是需要探讨的问题。概率论的公理化已由

A.H.Konmoropob等人建立。

7 某些数的无理性与超越性超越数论1934年A.O.temohm 和Schneieder各自独立地解决了这问题的后半部分。

8 素数问题数论一般情况下的Riemann猜想至今仍是猜想。包括在第八问题中的Goldbach问题至今也未解决。中国数学家在这方面做了一系列出色的工作。

9 任意数域中最一般的互反律之证明类域论已由高木贞治(1921)和E.Artin(1927)解决.

10 Diophantius方程可解性的判别不定分析1970年由苏、美数学家证明Hilbert所期望的一般算法是不存在的。

11 系数为任意代数数的二次型二次型理论H.Hasse(1929)和C. L.Siegel(1936,1951)在

这问题上获得了重要的结果。

12 Abel域上kroneker定理推广到任意代数有理域。复乘法理论尚未解决。

13 不可能用只有两个变数的函数解一般的七次方程。方程论与实函数论连续函数情形于1957年由苏数学家否定解决,如要求是解析函数,则问题仍未解决。

14 证明某类完全函数系的有限性代数不变式理论1958年永田雅宜给出了否定解决。

15 Schubert记数演算的严格基础代数几何学由于许多数学家的努力,Schubert演算的基础的纯代数处理已有可能,但Schubert演算的合理性仍待解决。至于代数几何的基础,已由B.L.Vander Waerden(1938-40)与A.Weil(1950)建立。

16 代数曲线与曲面的拓扑曲线与曲面的拓扑学、常微分方程的定性理论问题的前半部分,近年来不断有重要结果。

17 正定形式的平方表示式域(实域)论已由Artin 于1926年解决。

18 由全等多面体构造空间结晶体群理论部分解决。

19 正则变分问题的解是否一定解析椭圆型偏微分方程理论这个问题在某种意义上已获

解决。

20 一般边值问题椭圆型偏微分方程理论偏微分方程边值问题的研究正在蓬勃发展。

21 具有给定单值群的线性偏微分方程的存在性线性常微分方程大范围理论已由Hilbert

本人(1905)年和H.Rohrl(德,1957)解决。

22 解析关系的单值化Riemann 曲面体一个变数的情形已由P.Koebe (德,1907)解决。

23 变分法的进一步发展变分法Hilbert本人和许多数学家对变分法的发展作出了重要的

贡献。

百年前的数学家大会与希尔伯特的问题

熊卫民

21世纪第一次国际数学家大会马上就要在北京召开了,它将给本世纪的数学发展带来些什么?能像20世纪的第一次国际数学家大会那样左右数学发展的方向吗?一个世纪前的那次数学家大会之所以永载史册,完全是因为一个人,因为他的一个报告——希尔伯特(David Hilbert)和他的《数学问题》。

1900年,希尔伯特在巴黎召开的第二届国际数学家大会上提出了他著名的23个数学问题。在随后的半个世纪中,许多世界一流的数学头脑都围着它们转。其情形正如另一位非常著名的数学家外尔(H. Weyl)所说:“希尔伯特吹响了他的魔笛,成群的老鼠纷纷跟着他跃进了

那条河。”这也难怪,他所提出的问题都那么清晰、那么易懂,其中一些有趣得令许多外行都跃跃欲试,而且解决其中任意一个,或者在任意一个问题上有重大突破,立即就能名满天下——我国的陈景润就因为在解决希尔伯特第8个问题(即素数问题,包括黎曼猜想、哥德巴赫猜想等)上有重大贡献而为世人所侧目。人们在总结二十世纪数学的发展,尤其是二十世纪上半叶数学的发展时,通常都以希尔伯特所提的问题为航标。

其实这些问题绝大部分业已存在,并不是希尔伯特首先提出来的。但他站在更高的层面,用更尖锐、更简单的方式重新提出了这些问题,并指出了其中许多问题的解决方向。

数学领域中的问题是极多的,究竟哪些更重要、更基本?做出这样的选择需要敏锐的洞察力。为什么希尔伯特能如此目光如炬?数学史家、中国科学院数学与系统科学研究院研究员、《希尔伯特——数学王国中的亚历山大》一书的译者袁向东先生(和李文林先生合译)认为,这是因为希尔伯特是数学王国中的亚历山大!数学家可分为两类,一类擅长解决数学中的难题,另一类擅长对现有状况做出理论总结,两大类中又均可细分为一流、二流、三流。希尔伯特两者兼长,几乎走遍了现代数学所有前沿阵地,在多个差异很大的数学分支中都留下了他那显赫的名字,对数学发展的大背景了如指掌,对所提及的许多问题都有深入的研究,是数学领域中的“王”。

为什么希尔伯特要在大会上总结数学的基本问题,而不像常人一样宣讲自己的某项成果?袁向东告诉记者,这和另一位数学巨匠庞加莱(Henri Poincaré)有关,庞加莱在1897年举行的第一届国际数学家大会上做的是应用数学方面的报告。他们两人是当时国际数学界中的双子星座,均为领袖级人物,当然也存在一定的竞争心理——既然庞加莱讲述的是自己对物理、数学关系的一般看法,那么希尔伯特就为纯粹数学做一些辩护。

庞加莱是法国人,希尔伯特是德国人,法、德两国有世仇,所以他们之间的竞争还带上了一种国与国竞争的味道。虽然他们两人非常尊重对方,这一点在他们身上体现得不明显,但他们的学生和老师常常这样看。

希尔伯特的老师克莱茵(Felix Klein)就是一个民族感非常强的人,他非常强调德意志数学的发展,想让国际数学界变成椭圆——以前是圆形,圆心为巴黎;现在他想让自己所在的哥廷根市也成为世界数学的中心,使数学世界变成有两个圆心的椭圆。

在希尔伯特及其亲密朋友闵可夫斯基(Hermann Minkowski)的帮助下,克莱茵实现了自己的目标——1900年时,希尔伯特就已经和法国最伟大的数学家庞加莱齐名,而克莱茵本人和马上就要来到哥廷根的闵可夫斯基也是极有影响的数学家。事实上,他们在德国号称“无敌三教授”。

从一个例子可以想见他们的魅力。

某天,在谈及拓扑学著名定理——四色定理时,闵可夫斯基突然灵机一动,于是对满堂的学生说:“这条定理还没有得到证明,因为到目前为止还只有一些三流数学家对它进行过研究。现在由我来证明它。”然后他拿起粉笔当场证明这条定理。这堂课结束后,他还没有证完。下堂课他继续证,这样一直持续了几周。最后,在一个阴雨的早晨,他一走上讲台天空就出现了一道霹雳。“老天也被我的傲慢激怒了,”他说,“我的证明也是不完全的。”(该定理直到1994年才用计算机证明出来。)

1912年,庞加莱逝世。世界数学的中心进一步向哥廷根偏移,数学界似乎又变成了一个圆——不过圆心换成了哥廷根。此时,哥廷根学派的名声如日中天,在数学青年中流行的口号是“打起你的铺盖,到哥廷根去!”

一个世纪过去了,希尔伯特所列的那23个问题约有一半问题已经解决,其余一半的大多数也都有重大进展。但希尔伯特本人没有解决其中的任意一个。有人问他,为什么他不去解决自己所提的问题,譬如说费马大定理?

费马是在一页书的空白处写下该定理的,他同时宣称自己已经想出了一个美妙的证法,但可惜的是空白区不够大,写不下了。希尔伯特的回答同样幽默:“我不想杀掉这只会下金蛋的母鸡”——德国一企业家建了一个基金会奖励第一个解决费马大定律者,希尔伯特时任该基金会的主席,每年利用该项基金的利息请优秀学者去哥廷根讲学,所以对他而言,费马大定律者是只会下金蛋的母鸡。(费马大定律直到1997年才被解决。)

在列出23个问题之前,希尔伯特已经是国际数学界公认的领军人物,已经在数学的诸多领域取得多项重要成果。他的其它贡献,譬如他的公理化主张、形式主义构想、《几何基础》一书等等,都对20世纪数学的发展有着深远的影响。

1 21世纪七大数学难题

21世纪七大数学难题

最近美国麻州的克雷(Clay)数学研究所于2000年5月24日在巴黎法兰西学院宣布了一件被媒体炒得火热的大事:对七个“千僖年数学难题”的每一个悬赏一百万美元。以下是这七个难题的简单介绍。

“千僖难题”之一:P(多项式算法)问题对NP(非多项式算法)问题

在一个周六的晚上,你参加了一个盛大的晚会。由于感到局促不安,你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说,你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟,你就能向那里扫视,并且发现你的主人是正确的。然而,如果没有这样的暗示,你就必须环顾整个大厅,一个个地审视每一个人,看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类

似的是,如果某人告诉你,数13,717,421可以写成两个较小的数的乘积,你可能不知道是否应该相信他,但是如果他告诉你它可以因子分解为3607乘上3803,那么你就可以用一个袖珍计算器容易验证这是对的。不管我们编写程序是否灵巧,判定一个答案是可以很快利用内部知识来验证,还是没有这样的提示而需要花费大量时间来求解,被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克(StephenCook)于1971年陈述的。

“千僖难题”之二:霍奇(Hodge)猜想

二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上,我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用,使得它可以用许多不同的方式来推广;最终导至一些强有力的工具,使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是,在这一推广中,程序的几何出发点变得模糊起来。在某种意义下,必须加上某些没有任何几何解释的部件。霍奇猜想断言,对于所谓射影代数簇这种特别完美的空间类型来说,称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。

“千僖难题”之三:庞加莱(Poincare)猜想

如果我们伸缩围绕一个苹果表面的橡皮带,那么我们可以既不扯断它,也不让它离开表面,使它慢慢移动收缩为一个点。另一方面,如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上,那么不扯断橡皮带或者轮胎面,是没有办法把它收缩到一点的。我们说,苹果表面是“单连通的”,而轮胎面不是。大约在一百年以前,庞加莱已经知道,二维球面本质上可由单连通性来刻画,他提出三维球面(四维空间中与原点有单位距离的点的全体)的对应问题。这个问题立即变得无比困难,从那时起,数学家们就在为此奋斗。

“千僖难题”之四:黎曼(Riemann)假设

有些数具有不能表示为两个更小的数的乘积的特殊性质,例如,2,3,5,7,等等。这样的数称为素数;它们在纯数学及其应用中都起着重要作用。在所有自然数中,这种素数的分布并不遵循任何有规则的模式;然而,德国数学家黎曼(1826~1866)观察到,素数的频率紧密相关于一个精心构造的所谓黎曼蔡塔函数z(s$的性态。著名的黎曼假设断言,方程z(s)=0的所有有意义的解都在一条直线上。这点已经对于开始的1,500,000,000个解验证过。证明它对于每一个有意义的解都成立将为围绕素数分布的许多奥秘带来光明。

“千僖难题”之五:杨-米尔斯(Yang-Mills)存在性和质量缺口

量子物理的定律是以经典力学的牛顿定律对宏观世界的方式对基本粒子世界成立的。大约半个世纪以前,杨振宁和米尔斯发现,量子物理揭示了在基本粒子物理与几何对象的数学之间

的令人注目的关系。基于杨-米尔斯方程的预言已经在如下的全世界范围内的实验室中所履行的高能实验中得到证实:布罗克哈文、斯坦福、欧洲粒子物理研究所和筑波。尽管如此,他们的既描述重粒子、又在数学上严格的方程没有已知的解。特别是,被大多数物理学家所确认、并且在他们的对于“夸克”的不可见性的解释中应用的“质量缺口”假设,从来没有得到一个数学上令人满意的证实。在这一问题上的进展需要在物理上和数学上两方面引进根本上的新观念。

“千僖难题”之六:纳维叶-斯托克斯(Navier-Stokes)方程的存在性与光滑性

起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船,湍急的气流跟随着我们的现代喷气式飞机的飞行。数学家和物理学家深信,无论是微风还是湍流,都可以通过理解纳维叶-斯托克斯方程的解,来对它们进行解释和预言。虽然这些方程是19世纪写下的,我们对它们的理解仍然极少。挑战在于对数学理论作出实质性的进展,使我们能解开隐藏在纳维叶-斯托克斯方程中的奥秘。

“千僖难题”之七:贝赫(Birch)和斯维讷通-戴尔(Swinnerton-Dyer)猜想

数学家总是被诸如x^2+y^2=z^2那样的代数方程的所有整数解的刻画问题着迷。欧几里德曾经对这一方程给出完全的解答,但是对于更为复杂的方程,这就变得极为困难。事实上,正如马蒂雅谢维奇(Yu.V.Matiyasevich)指出,希尔伯特第十问题是不可解的,即,不存在一般的方法来确定这样的方法是否有一个整数解。当解是一个阿贝尔簇的点时,贝赫和斯维讷通-戴尔猜想认为,有理点的群的大小与一个有关的蔡塔函数z(s)在点s=1附近的性态。特别是,这个有趣的猜想认为,如果z(1)等于0,那么存在无限多个有理点(解),相反,如果z(1)不等于0,那么只存在有限多个这样的点。

希尔伯特的23个问题-精选教学文档

希尔伯特的23个问题 希尔伯特(Hilbert D,1862.1.23~1943.2.14)是二十世纪上半叶德国乃至全世界最伟大的数学家之一。他在横跨两个世纪的六十年的研究生涯中,几乎走遍了现代数学所有前沿阵地,从而把他的思想深深地渗透进了整个现代数学。希尔伯特是哥廷根数学学派的核心,他以其勤奋的工作和真诚的个人品质吸引了来自世界各地的年青学者,使哥廷根的传统在世界产生影响。希尔伯特去世时,德国《自然》杂志发表过这样的观点:现在世界上难得有一位数学家的工作不是以某种途径导源于希尔伯特的工作。他像是数学世界的亚历山大,在整个数学版图上,留下了他那显赫的名字。1900年,希尔伯特在巴黎数学家大会上提出了23个最重要的问题供二十世纪的数学家们去研究,这就是著名的希尔伯特23个问题。 1975年,在美国伊利诺斯大学召开的一次国际数学会议上,数学家们回顾了四分之三个世纪以来希尔伯特23个问题的研究进展情况。当时统计,约有一半问题已经解决了,其余一半的大多数也都有重大进展。 1976年,在美国数学家评选的自1940年以来美国数学的十大成就中,有三项就是希尔伯特第1、第5、第10问题的解决。由此可见,能解决希尔伯特问题,是当代数学家的无上光荣。

下面摘录的是1987年出版的《数学家小辞典》以及其它一些文献中收集的希尔伯特23个问题及其解决情况: 1.连续统假设 1874年,康托猜测在可列集基数和实数基数之间没有别的基数,这就是著名的连续统假设。1938年,哥德尔证明了连续统假设和世界公认的策梅洛--弗伦克尔 集合论公理系统的无矛盾性。1963年,美国数学家科亨证明连续假设和策梅洛--伦克尔集合论公理是彼此独立的。因此,连续统假设不能在策梅洛--弗伦克尔公理体系内证明其正确性与否。希尔伯特第1问题在这个意义上已获解决。2.算术公理的相容性欧几里得几何的相容性可归结为算术公理的相容性。希尔伯特曾提出用形式主义计划的证明论方法加以证明。1931年,哥德尔发表的不完备性定理否定了这种看法。1936年德国数学家根茨在使用超限归纳法的条件下证明了算术公理的相容性。 1988年出版的《中国大百科全书》数学卷指出,数学相容性问题尚未解决。 3.两个等底等高四面体的体积相等问题 问题的意思是,存在两个等边等高的四面体,它们不可分解为有限个小四面体,使这两组四面体彼此全等。M.W.德恩1900年即对此问题给出了肯定解答。 4.两点间以直线为距离最短线问题此问题提得过于一般。满足此性质的几何学很多,因而需增加某些限制条件。1973

希尔伯特23个数学问题7大数学难题

世界数学十大未解难题 (其中“一至七”为七大“千僖难题”;附录“希尔伯特23个问题里尚未解决 的问题”) 一:P(多项式算法)问题对NP(非多项式算法)问题 在一个周六的晚上,你参加了一个盛大的晚会。由于感到局促不安,你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说,你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟,你就能向那里扫视,并且发现你的主人是正确的。然而,如果没有这样的暗示,你就必须环顾整个大厅,一个个地审视每一个人,看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是,如果某人告诉你,数 13,717,421可以写成两个较小的数的乘积,你可能不知道是否应该相信他,但是如果他告诉你它可以因子分解为3607乘上3803,那么你就可以用一个袖珍计算器容易验证这是对的。不管我们编写程序是否灵巧,判定一个答案是可以很快利用内部知识来验证,还是没有这样的提示而需要花费大量时间来求解,被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克(StephenCook)于1971年陈述的。 二:霍奇(Hodge)猜想 二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上,我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用,使得它可以用许多不同的方式来推广;最终导至一些强有力的工具,使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是,在这一推广中,程序的几何出发点变得模糊起来。在某种意义下,必须加上某些没有任何几何解释的部件。霍奇猜想断言,对于所谓射影代数簇这种特别完美的空间类型来说,称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。 三:庞加莱(Poincare)猜想

希尔伯特空间

一百年前的数学界有两位泰斗:庞加莱和希尔伯特,而尤以后者更加出名,我想主要原因是他曾经在1900 年的世界数学家大会上提出了二十三个著名的希尔伯特问题,指引了本世纪前五十年数学的主攻方向,不过还有一个原因呢,我想就是著名的希尔伯特空间了。 希尔伯特空间是希尔伯特在解决无穷维线性方程组时提出的概念,原来的线性代数理论都是基于有限维欧几里得空间的,无法适用,这迫使希尔伯特去思考无穷维欧几里得空间,也就是无穷序列空间的性质。 大家知道,在一个欧几里得空间R^n 上,所有的点可以写成为:X= (x1,x2,x3,..., xn )。那么类似的,在一个无穷维欧几里得空间上点就是:X= (x1,x2,x3 ,xn,.................................................................... ),一个 点的序列。 欧氏空间上有两个重要的性质,一是每个点都有一个范数(绝对值,或者说是一个点到原点的距离),||X||^2= ∑xn^2,可是这一重要性质在无穷维时被破坏了:对于无穷多个xn,∑xn^2 可以不存在(为无穷大)。于是希尔伯特将所有∑ xn^2 为有限的点做成一个子空间,并赋以X*X'= ∑ xn*xn' 作为两点的内积。这个空间我们现在叫做l^2 ,平方和数列空间,这是最早 的希尔伯特空间了。 注意到我只提了内积没有提范数,这是因为范数可以由点与自身的内积推出,所以内积是一个更加强的条件,有内积必有范数,反之不然。只有范数的空间叫做Banach 空间,(以后有时间再慢慢讲:- )。 如果光是用来解决无穷维线性方程组的话,泛函就不会被称为现代数学的支柱了。 Hilbert 空间中我只提到了一个很自然的泛函空间:在无穷维欧氏空间上∑ xn^2 为有限的点。这个最早的Hilbert space 叫做l^2 (小写的l 上标2,又叫小l2 空间),非常类似于有限维的欧氏空间。

几种时频分析方法综述2——希尔伯特黄变换

几种时频分析方法综述2——希尔伯特—黄变换 夏巨伟 (浙江大学空间结构研究中心) 摘要:希尔伯特—黄变换由经验模态分解(empirical mode decomposition ,简称EMD )和Hilbert 谱分析两部分组成。经验模态分解方法是一种自适应的、高效的数据分解方法。由于这种分解是以局部时间尺度为基础,因此,它适应于非线性、非平稳过程。通过经验模型分解,任何复杂的数据集都可以被分解为个数有限的、而且常常是为数不多的几个固有模函数(intrinsic mode functions ,简称IMF)的线性叠加。通过分解得到IMF 后,就可以对每一个分量做希尔伯特变换,得到其瞬时频率和幅度。本文详细对Hilbert-Huang Transform 的过程进行了阐述,并用算例分析指出了其优势所在。 关键词:希尔伯特—黄变换;时频分析技术; 1 希尔伯特—黄变换(Hilbert-Huang Transform ) 1.1 希尔伯特变换与瞬时频率(Hilbert Transform and instantaneous frequency ) 对于任意一个时间序列X(t),它的希尔伯特变换具有如下形式: -1 ()(t)=,-X Y P d t ττπτ ∞∞? 其中,P ——积分的柯西主值; 希尔伯特变换对于任何属于L p 空间中的函数都存立,即上式中X(t)∈L p (— ∞,+∞)。 通过上述定义,X(t)和Y(t)成为一组复共轭对,同时能够构造一个实部和虚部分为X(t)和Y(t)的解析信号(Analytic Signal)Z(t),Z(t)表示为: ()()(t)=(t)(t)=a ,i t Z X iY t e θ+ 其中, ()()1/222 (t)a =(t)+(t),arctan .X(t)Y t X Y t θ????= ????? 理论上讲有无数种方式去定义虚部,但是希尔伯特变换是唯一能够得到解析 信号结果的方法。 X(t)的Hilbert 变换实质上是将X(t)与函数1/t 在时域上做卷积,这就决定了通过X(t)的Hilbert 变换能够考察其局部特性。得到X(t)的瞬时相位函数后,其瞬时频率为: ()() (t).d w t dt θ= 1.2 经验模态分解与固有模态函数(Empiricalmode decomposition/EMD and Intrinsic mode function/IMF ) 固有模态函数需要满足两个条件:(1)极值与零点的数量必须相等或最多相差一个;(2)由局部极大值包络和局部极小值包络定义的平均包络曲线上任何一点的值为0;

希尔伯特的二十三个数学问题

希尔伯特的二十三个数学问题 1900年,德国数学家D.希尔伯特在巴黎第二届国际数学家大会上作了题为《数学问题 》的著名讲演,其中对各类数学问题的意义、源泉及研究方法发表了精辟的见解,而整个 讲演的核心部分则是希尔伯特根据19世纪数学研究的成果与发展趋势而提出的23个问题。 ①连续统假设1963年,P.J.科恩证明了:连续统假设的真伪不可能在策梅洛-弗伦克尔公理系统内判明。 ②算术公理的相容性1931年,K.哥德尔的“不完备定理”指出了用希尔伯特“元数学”证明算术公理相容性之不可能。数学相容性问题尚未解决。 ③两等高等底的四面体体积之相等M.W.德恩1900年即对此问题给出了肯定解答。 ④直线作为两点间最短距离问题希尔伯特之后,在构造与探讨各种特殊度量几何方面有许多进展,但问题并未解决。 ⑤不要定义群的函数的可微性假设的李群概念A.M.格利森、D.蒙哥马利和L.齐平等于1952年对此问题作出了最后的肯定解答。 ⑥物理公理的数学处理公理化物理学的一般意义仍需探讨。至于希尔伯特问题中提到的概率论公理化,已由А.Н.柯尔莫哥洛夫(1933)等人建立。 ⑦某些数的无理性与超越性1934年,A.O.盖尔丰德和T.施奈德各自独立地 解决了问题的后半部分,即对于任意代数数□≠0,1,和任意代数无理数□证明了□□的超越性。 ⑧素数问题包括黎曼猜想、哥德巴赫猜想及孪生素数问题等。一般情况下的黎曼猜想仍待解决。哥德巴赫猜想最佳结果属于陈景润(1966),但离最终解决尚有距离。 ⑨任意数域中最一般的互反律之证明已由高木□治(1921)和E.阿廷(1927)解决。 ⑩丢番图方程可解性的判别1970年,□.В.马季亚谢维奇证明了希尔伯特所期望的一般算法不存在。 11 系数为任意代数数的二次型H.哈塞(1929)和C.L.西格尔(1936,1951)在这问题上获得重要结果。 12 阿贝尔域上的克罗内克定理推广到任意代数有理域尚未解决。 13 不可能用只有两个变数的函数解一般的七次方程连续函数情形于1957年由В.И.阿诺尔德解决。解析函数情形则尚未解决。 14 证明某类完全函数系的有限性1958年,永田雅宜给出了否定解决。 15 舒伯特计数演算的严格基础代数几何基础已由B.L.范·德·瓦尔登(1938~1940)与A.韦伊(1950)建立,但舒伯特演算的合理性仍待解决。 16 代数曲线与曲面的拓扑对该问题的后半部分,И.Г.彼得罗夫斯基曾声明证明了□=2时极限环个数不超过3,但这一结论是错误的,已由中国数学家举出反例(1979)。

希尔伯特23个数学问题及其解决情况

希尔伯特23个数学问题及其解决情况 已有 95 次阅读2011-10-3 21:02|个人分类:Mathematics&Statistics|系统分类:科研笔记|关键词:数学世纪亚历山大希尔伯特全世界 希尔伯特(HilbertD.,1862.1.23~1943.2.14)是二十世纪上半叶德国乃至全世界最伟大的数学家之一。他在横跨两个世纪的六十年的研究生涯中,几乎走遍了现代数学所有前沿阵地,从而把他的思想深深地渗透进了整个现代数学。希尔伯特是哥廷根数学学派的核心,他以其勤奋的工作和真诚的个人品质吸引了来自世界各地的年青学者,使哥廷根的传统在世界产生影响。希尔伯特去世时,德国《自然》杂志发表过这样的观点:现在世界上难得有一位数学家的工作不是以某种途径导源于希尔伯特的工作。他像是数学世界的亚历山大,在整个数学版图上,留下了他那显赫的名字。 1900年,希尔伯特在巴黎数学家大会上提出了23个最重要的问题供二十世纪 的数学家们去研究,这就是著名的“希尔伯特23个问题”。 1975年,在美国伊利诺斯大学召开的一次国际数学会议上,数学家们回顾了四分之三个世纪以来希尔伯特23个问题的研究进展情况。当时统计,约有一半问题已经解决了,其余一半的大多数也都有重大进展。 1976年,在美国数学家评选的自1940年以来美国数学的十大成就中,有三项 就是希尔伯特第1、第5、第10问题的解决。由此可见,能解决希尔伯特问题,是当代数学家的无上光荣。 下面摘录的是1987年出版的《数学家小辞典》以及其它一些文献中收集的希尔伯特23个问题及其解决情况: (1)康托的连续统基数问题。 1874年,康托猜测在可数集基数和实数集基数之间没有别的基数,即著名的连续统假设。1938年,侨居美国的奥地利数理逻辑学家哥德尔证明连续统假设与ZF 集合论公理系统的无矛盾性。1963年,美国数学家科恩(P.Choen)证明连续统假设与ZF公理彼此独立。因而,连续统假设不能用ZF公理加以证明。在这个意义下,问题已获解决。 (2)算术公理系统的无矛盾性。 欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的证明论方法加以证明,哥德尔1931年发表不完备性定理作出否定。 根茨(G.Gentaen,1909-1945)1936年使用超限归纳法证明了算术公理系统的

emd 希尔伯特黄变换程序

(一)简单的EMD程序 function imf = emd(x) % Empiricial Mode Decomposition (Hilbert-Huang Transform) % imf = emd(x) % Func : findpeaks x = transpose(x(:));%转置 imf = []; while ~ismonotonic(x) %当x不是单调函数,分解终止条件 x1 = x; sd = Inf;%均值 %直到x1满足IMF条件,得c1 while (sd > 0.1) | ~isimf(x1) %当标准偏差系数sd大于0.1或x1不是固有模态函数时,分量终止条件 s1 = getspline(x1);%上包络线 s2 = -getspline(-x1);%下包络线 x2 = x1-(s1+s2)/2;%此处的x2为文章中的h sd = sum((x1-x2).^2)/sum(x1.^2); x1 = x2; end imf{end+1} = x1; x = x-x1; end imf{end+1} = x; % FUNCTIONS function u = ismonotonic(x) %u=0表示x不是单调函数,u=1表示x为单调的 u1 = length(findpeaks(x))*length(findpeaks(-x)); if u1 > 0, u = 0; else, u = 1; end function u = isimf(x) %u=0表示x不是固有模式函数,u=1表示x是固有模式函数 N = length(x); u1 = sum(x(1:N-1).*x(2:N) < 0); u2 = length(findpeaks(x))+length(findpeaks(-x)); if abs(u1-u2) > 1, u = 0; else, u = 1; end function s = getspline(x) %三次样条函数拟合成元数据包络线 N = length(x); p = findpeaks(x); s = spline([0 p N+1],[0 x(p) 0],1:N);

希尔伯特23个问题

连续统假设
提示:本条目的主题不是连续体假设。 在数学中,连续统假设(英语:Continuum hypothesis,简称 CH)是一个猜想, 也是希尔伯特的 23 个问题的第一题,由康托尔提出,关于无穷集的可能大小。 其为:
在一个基数绝对大于可列集而绝对小于实数集的集合。
康托尔引入了基数的概念以比较无穷集间的大小, 也证明了整数集的基数绝对小 于实集的基数。康托尔也就给了出连续统假设,就是说,在无限集中,比自然数 集{0,1,2,3,4......}基数大的集合中,基数最小的集合是实数集。而连续 统就是实数集的一个旧称。 更加形式地说,自然数集的基数为 为 。而连续统假设的观点认为实数集的基数
。由是,康托尔定义了绝对无限。
等价地,整数集的序数是 出不存在一个集合 使得
("艾礼富数")而实数的序数是
,连续续假设指
假设选择公理是对的, 那就会有一个最小的基数 连续统假设也就等价于以下的等式:
大于
, 而
连续统假设有个更广义的形式,叫作广义连续统假设(GCH),其命题为:
对于所有的序数 ,
库尔特·哥德尔在 1940 年用内模型法证明了连续统假设与 ZFC 的相对协调性, 保罗·柯恩在 1963 年用力迫法证明了连续统假设不能由 ZFC 推导。也就是说连 续统假设成立与否无法由 ZFC 确定。
作为希尔伯特第一问题
主条目:希尔伯特的 23 个问题

1900 年, 大卫· 希尔伯特以 “连续统假设是否成立” 作为 “希尔伯特第一问题” 。 Kurt Godel 和 Paul Cohen 确定了连续统假设在 ZFC 系统下,加上了选择公理, 也不能证明或证否。 Cohen 的结果并没有被广泛认同作为连续统假设问题的解决,而希尔伯特的问题 依然为当代研究的热门课题。(见 Woodin 2001a).
集合的大小
主条目:基数 要正式地列出这个猜想, 我们需要一些定义:假如两个集合 S 与 T 之间存在着一 个双射,我们会说这两个集合拥有相同的基数。直观的意思是在“T 的每个元素 只能配上仅仅一个 S 的元素,反之亦然”这个前提下,把 S 与 T 的元素拿出来配 对是可能的。因此,集合{蕉, 苹果, 橙}与集合{黄, 红, 绿}拥有相同基数。 当情况去到如整数集或有理数集等无穷集的情况时,事件就变得复杂得多。当考 虑所有有理数的集合时, 有些门外汉可能会天真地认为有理数理所当然地多于整 数,而有理数又显然少于实数,因此把连续统假设证否。但透过简单集合论的方 法, 我们能证明有理数集能与整数集形成一双射,因此有理集跟整数集有着一样 的大小, 而它们都被称为可列集。 对角论证法则证明了整数集跟连续统 (实数集) 的基数并不一样。 连续统假设亦指出,实数集中每一个子集,要么和整数集有相同的基数,要么和 实数集有相同的基数。
证明或证否的不可能性(在 ZFC 系统下)
康托尔相信连续统假设是对的,花了很多年尝试证明它,结果徒劳无功。它成为 了希尔伯特那重要难题名单中的第一条,并在 1900 年巴黎的国际数学家大会上 宣布此事。在那个时候,还没有公理化集合论的概念。 库尔特·哥德尔在 1940 年指出连续统假设不能在 ZFC 系统下证否,即使接受了 选择公理为前提。这个定理称为哥德尔定理。Paul Cohen 在 1963 年证明了连续 统假设同样不能在 ZFC 下被证明。因此,连续统假设“逻辑地独立于”ZFC。这 些结果都是以 ZFC 的公设系统本身并不存在自相矛盾(相容性)为假设大前提, 而这个大前提是被广泛接受为对的。 连续统假设并非被证明跟 ZFC 互相独立的第一个命题。 哥德尔不完备定理一个立 即的结论在 1931 年被发表,那是“‘存在着一个正式命题表达 ZFC 的相容性’ 乃独立于 ZFC”。有别于纯粹数学的,这个一致的命题乃是有着在数学之上的特 性。连续统假设和选择公理乃是最先被证明跟 ZF 集合论独立的命题。在 Paul Cohen 在 1960 年代发展出力迫法以前,这些独立性的证明并没有完成。

希尔伯特_黄变换谱及其在地震信号分析中的应用

第34卷第2期福州大学学报(自然科学版)Vol.34No.2 2006年4月Journal of Fuzhou University(Natural Science)Apr.2006 文章编号:1000-2243(2006)02-0260-05希尔伯特-黄变换谱及其在地震信号分析中的应用 陈子雄,吴琛,周瑞忠 (福州大学土木建筑工程学院,福建福州350002) 摘要:介绍了希尔伯特-黄变换(HHT)这一非线性、非平稳信号处理方法,并利用HHT处理了地震工程中 常用的El Centro地震波,得到了该信号的Hilbert谱、边际谱和能量谱,提取了该信号的主要动力特性,并与 该信号的Fourier分析结果进行了对比,显示出HHT这一方法的优越性. 关键词:希尔伯特-黄变换;经验模态分解;固有模态函数;地震信号 中图分类号:TU311.3文献标识码:A Hilbert-Huang transform spectru m and its application in seismic signal analysis CHEN Zi-xiong,W U Chen,ZHOU Rui-zhong (College of Civil Engineering and Architecture,Fuzhou University,Fuzhou,Fujian350002,China) Abstract:HHT is a ne w method to deal with non-linear and non-stationary data.El Centro earth- quake wave is analyzed by HHT.Through the way,Hilbert spectrum,marginal spectrum and energy spec trum are got and dynamic property is extrac ted.The comparison between HHT spectrum and Fourier spec trum is made and the superiority of HHT is demonstrated. Keyw ords:Hilbert-Huang transform;empirical mode decomposition;intrinsic mode function;seismic signal 地震信号具有短时、突变等特点,是一种典型的非平稳随机信号,必须对其进行分析与处理,才可以提取信号的主要特征.传统的Fourie r变换能够表述信号的频率特性,但不提供任何时域信息[1],而小波分析虽然在时域和频域都具有很好的局部化性质,但本质上仍是一种窗口可调的Fourier变换,在小波窗内的信号必须是平稳的,因而没有根本摆脱Fourier分析的局限[2].小波基的选择也是信号分析中的一个重要问题,另外,小波基的有限长会造成信号能量的泄漏,使信号的能量-频率-时间分布很难定量表述. Hilbert-Huang变换(HH T)的信号处理方法被认为是近年来对以Fourier变换为基础对线性和稳态谱分析的一个重大突破[2].它由经验模态分解(E mpirical Mode Decomposition,E MD)方法和Hilbert变换(H T)两部分组成,其核心是E MD分解.该方法采用了固有模态函数(Intrinsic Mode Function,I MF)概念以及将任意信号分解为I MF组成的思想,即E MD法,使得瞬时频率具有实际的物理意义[3].它不受Fourier分析的局限,可依据数据本身的时间尺度特征进行模态分解,分解过程中保留了数据本身的特性,再对各I MF分量进行Hilbert变换,得到信号能量在时间尺度上的分布规律,实现地震动力特性的提取. 1Hilbert-Huang变换 1.1经验模态分解和固有模态函数 经验模态分解(EMD)的目的是通过对非线性非平稳信号的分解获得一系列表征信号特征时间尺度的固有模态函数(I MF),使得各个I MF是窄带信号,可以进行Hilbert分析.首先设定两个条件:1整个时间序列的极大极小值数目与过零点数目相等或最多相差一个;o时间序列的任意点上,由极大值确 收稿日期:2005-07-27 作者简介:陈子雄(1981-),男,硕士研究生;通讯联系人:周瑞忠,教授. 基金项目:教育部博士点专项科研基金资助项目(20040386004)

希尔伯特的23个问题

希尔伯特(Hilbert D,1862.1.23~1943.2.14)是二十世纪上半叶德国乃至全世界最伟大的数学家之一。他在横跨两个世纪的六十年的研究生涯中,几乎走遍了现代数学所有前沿阵地,从而把他的思想深深地渗透进了整个现代数学。希尔伯特是哥廷根数学学派的核心,他以其勤奋的工作和真诚的个人品质吸引了来自世界各地的年青学者,使哥廷根的传统在世界产生影响。希尔伯特去世时,德国《自然》杂志发表过这样的观点:现在世界上难得有一位数学家的工作不是以某种途径导源于希尔伯特的工作。他像是数学世界的亚历山大,在整个数学版图上,留下了他那显赫的名字。 1900年,希尔伯特在巴黎数学家大会上提出了23个最重要的问题供二十世纪的数学家们去研究,这就是著名的"希尔伯特23个问题"。 1975年,在美国伊利诺斯大学召开的一次国际数学会议上,数学家们回顾了四分之三个世纪以来希尔伯特23个问题的研究进展情况。当时统计,约有一半问题已经解决了,其余一半的大多数也都有重大进展。 1976年,在美国数学家评选的自1940年以来美国数学的十大成就中,有三项就是希尔伯特第1、第5、第10问题的解决。由此可见,能解决希尔伯特问题,是当代数学家的无上光荣。 下面摘录的是1987年出版的《数学家小辞典》以及其它一些文献中收集的希尔伯特23个问题及其解决情况: 1.连续统假设 1874年,康托猜测在可列集基数和实数基数之间没有别的基数,这就是著名的连续统假设。1938年,哥德尔证明了连续统假设和世界公认的策梅洛--弗伦克尔集合论公理系统的无矛盾性。1963年,美国数学家科亨证明连续假设和策梅洛--伦克尔集合论公理是彼此独立的。因此,连续统假设不能在策梅洛--弗伦克尔公理体系内证明其正确性与否。希尔伯特第1问题在这个意义上已获解决。 2.算术公理的相容性欧几里得几何的相容性可归结为算术公理的相容性。希尔伯特曾提出用形式主义计划的证明论方法加以证明。1931年,哥德尔发表的不完备性定理否定了这种看法。1936年德国数学家根茨在使用超限归纳法的条件下证明了算术公理的相容性。 1988年出版的《中国大百科全书》数学卷指出,数学相容性问题尚未解决。 3.两个等底等高四面体的体积相等问题 问题的意思是,存在两个等边等高的四面体,它们不可分解为有限个小四面体,使这两组四面体彼此全等。M.W.德恩1900年即对此问题给出了肯定解答。 4.两点间以直线为距离最短线问题此问题提得过于一般。满足此性质的几何学很多,因而需增加某些限制条件。1973年,苏联数学家波格列洛夫宣布,在对称距离情况下,问题获得解决。 《中国大百科全书》说,在希尔伯特之后,在构造与探讨各种特殊度量几何方面有许多进展,但问题并未解决。 5.一个连续变换群的李氏概念,定义这个群的函数不假定是可微的这个问题简称连续群的解析性,即:是否每一个局部欧氏群都有一定是李群?中间经冯·诺伊曼(1933,对紧群情形)、邦德里雅金(1939,对交换群情形)、谢瓦荚(1941,对可解群情形)的努力,1952年由格利森、蒙哥马利、齐宾共同解决,得到了完全肯定的结果。 6.物理学的公理化希尔伯特建议用数学的公理化方法推演出全部物理,首先是概率和力

用希尔伯特黄变换(HHT)求时频谱和边际谱

用希尔伯特黄变换(HHT)求时频谱和边际谱 1.什么是HHT? HHT就是先将信号进行经验模态分解(EMD分解),然后将分解后的每个IMF分量进行Hilbert变换,得到信号的时频属性的一种时频分析方法。 2.EMD分解的步骤。

EMD分解的流程图如下:

3.实例演示。 给定频率分别为10Hz和35Hz的两个正弦信号相叠加的复合信号,采样频率fs=2048Hz的信号,表达式如下:y=5sin(2*pi*10t)+5*sin(2*pi*35t) (1)为了对比,先用fft对求上述信号的幅频和相频曲线。 代码: function fftfenxi clear;clc; N=2048; %fft默认计算的信号是从0开始的

t=linspace(1,2,N);deta=t(2)-t(1);1/deta x=5*sin(2*pi*10*t)+5*sin(2*pi*35*t); % N1=256;N2=512;w1=0.2*2*pi;w2=0.3*2*pi;w3=0.4*2*pi; % x=(t>=-200&t<=-200+N1*deta).*sin(w1*t)+(t>-200+N1*deta&t<=-200+N2*det a).*sin(w2*t)+(t>-200+N2*deta&t<=200).*sin(w3*t); y = x; m=0:N-1; f=1./(N*deta)*m;%可以查看课本就是这样定义横坐标频率范围的 %下面计算的Y就是x(t)的傅里叶变换数值 %Y=exp(i*4*pi*f).*fft(y)%将计算出来的频谱乘以exp(i*4*pi*f)得到频移后[-2,2]之间的频谱值 Y=fft(y); z=sqrt(Y.*conj(Y)); plot(f(1:100),z(1:100)); title('幅频曲线') xiangwei=angle(Y); figure(2) plot(f,xiangwei) title('相频曲线') figure(3) plot(t,y,'r') %axis([-2,2,0,1.2]) title('原始信号')

希尔伯特-黄变换(Hilbert-Huang Transform,HHT)

希尔伯特-黄变换(Hilbert-Huang Transform,HHT) 0 前言 传统的数据分析方法都是基于线性和平稳信号的假设,然而对实际系统,无论是自然的还是人为建立的,数据最有可能是非线性、非平稳的。 希尔伯特-黄变换(Hilbert-Huang Transform,HHT)是一种经验数据分析方法,其扩展是自适应性的,所以它可以描述非线性、非平稳过程数据的物理意义。 1 HHT简介[贺礼平.希尔伯特-黄变换在电力谐波分析中的应用研究[D].湖南:中南大学,2009]HHT的发展。 1995年,Norden E.Huang为研究水表面波构思出一种所谓“EMD--HSA”的时间序列分析法,通过这种方法他发现水波的演化不是连续的,而是突变、离散、局部的。 1998年,Norden E.Huang等人提出了经验模态分解方法,并引入了Hilbert谱的概念和Hilbert谱分析的方法,美国国家航空和宇航局(NASA)将这一方法命名为Hilbert-Huang Transform,简称HHT,即希尔伯特-黄变换。 HHT是一种新的分析非线性非平稳信号的时频分析方法,由两部分组成: 第一部分为经验模态分解(Empirical Mode Decomposition,EMD)(the sifting process,筛选过程),它是由Huang提出的,基于一个假设:任何复杂信号都可以分解为有限数目且具有一定物理定义的固有模态函数(Intrinsic Mode Function,IMF;也称作本征模态函数);EMD方法能根据信号的特点,自适应地将信号分解成从高到低不同频率的一系列IMF;该方法直接从信号本身获取基函数,因此具有自适应性,同时也存在计算量大和模态混叠的缺点。 第二部分为Hilbert谱分析(Hilbert Spectrum Analysis,HSA),利用Hilbert变换求解每一阶IMF 的瞬时频率,从而得到信号的时频表示,即Hilbert谱。 简单说来,HHT处理非平稳信号的基本过程是:首先,利用EMD方法将给定的信号分解为若干IMF,这些IMF是满足一定条件的分量;然后,对每一个IMF进行Hilbert变换,得到相应的Hilbert谱,即将每个IMF表示在联合的时频域中;最后,汇总所有IMF的Hilbert谱就会得到原始信号的时间-频率-能量分布,即Hilbert谱。 在HHT中,为了能把复杂的信号分解为简单的单分量信号的组合,在进行EMD方法时,所获得的IMF 必须满足下列两个条件: 1)在整个信号长度上,一个IMF的极值点和过零点数目必须相等或至多只相差一点。 2)在任意时刻,由极大值点定义的上包络线和由极小值点定义的下包络线的平均值为零,也就是说IMF的上下包络线对称于时间轴。

希尔伯特23个问题

希尔伯特23问 希尔伯特(Hilbert D.,1862.1.23~1943.2.14)是二十世纪上半叶德国乃至全世界最伟大的数学家之一。他在横跨两个世纪的六十年的研究生涯中,几乎走遍了现代数学所有前沿阵地,从而把他的思想深深地渗透进了整个现代数学。希尔伯特是哥廷根数学学派的核心,他以其勤奋的工作和真诚的个人品质吸引了来自世界各地的年青学者,使哥廷根的传统在世界产生影响。希尔伯特去世时,德国《自然》杂志发表过这样的观点:现在世界上难得有一位数学家的工作不是以某种途径导源于希尔伯特的工作。他像是数学世界的亚历山大,在整个数学版图上,留下了他那显赫的名字。 1900年,希尔伯特在巴黎数学家大会上提出了23个最重要的问题供二十世纪的数学家们去研究,这就是著名的"希尔伯特23个问题"。 1975年,在美国伊利诺斯大学召开的一次国际数学会议上,数学家们回顾了四分之三个世纪以来希尔伯特23个问题的研究进展情况。当时统计,约有一半问题已经解决了,其余一半的大多数也都有重大进展。 1976年,在美国数学家评选的自1940年以来美国数学的十大成就中,有三项就是希尔伯特第1、第5、第10问题的解决。由此可见,能解决希尔伯特问题,是当代数学家的无上光荣。 下面摘录的是1987年出版的《数学家小辞典》以及其它一些文献中收集的希尔伯特23个问题及其解决情况: 1.连续统假设1874年,康托猜测在可列集基数和实数基数之间没有别的基数,这就是著名的连续统假设。1938年,哥德尔证明了连续统假设和世界公认的策梅洛--弗伦克尔集合论公理系统的无矛盾性。1963年,美国数学家科亨证明连续假设和策梅洛--伦克尔集合论公理是彼此独立的。因此,连续统假设不能在策梅洛--弗伦克尔公理体系内证明其正确性与否。希尔伯特第1问题在这个意义上已获解决。 2.算术公理的相容性欧几里得几何的相容性可归结为算术公理的相容性。希尔伯特曾提出用形式主义计划的证明论方法加以证明。1931年,哥德尔发表的不完备性定理否定了这种看法。1936年德国数学家根茨在使用超限归纳法的条件下证明了算术公理的相容性。 1988年出版的《中国大百科全书》数学卷指出,数学相容性问题尚未解决。 3.两个等底等高四面体的体积相等问题 问题的意思是,存在两个等边等高的四面体,它们不可分解为有限个小四面体,使这两组四面体彼此全等。M.W.德恩1900年即对此问题给出了肯定解答。 4.两点间以直线为距离最短线问题此问题提得过于一般。满足此性质的几何学很多,因而需增加某些限制条件。1973年,苏联数学家波格列洛夫宣布,在对称距离情况下,问题获得解决。 《中国大百科全书》说,在希尔伯特之后,在构造与探讨各种特殊度量几何方面有许多进展,但问题并未解决。 5.一个连续变换群的李氏概念,定义这个群的函数不假定是可微的这个问题简称连续群的解析性,即:是否每一个局部欧氏群都有一定是李群?中间经冯·诺伊曼

希尔伯特·黄变换

HHT-希尔伯特·黄变换 1998年,Norden E. Huang等人提出了经验模态分解方法,并引入了Hilbert谱的概念和Hilbert谱分析的方法,美国国家航空和宇航局(NASA)将这一方法命名为Hilbert-Huang Transform,简称HHT,即希尔伯特-黄变换。 HHT主要内容包含两部分,第一部分为经验模态分解(Empirical Mode Decomposition,简称EMD),它是由Huang提出的;第二部分为Hilbert谱分析(Hilbert Spectrum Analysis,简称HAS)。简单说来,HHT处理非平稳信号的基本过程是:首先利用EMD方法将给定的信号分解为若干固有模态函数(以Intrinsic Mode Function或IMF 表示,也称作本征模态函数),这些IMF是满足一定条件的分量;然后,对每一个 IMF进行Hilbert变换,得到相应的Hilbert谱,即将每个IMF表示在联合的时频域中;最后,汇总所有IMF的Hilbert谱就会得到原始信号的Hilbert谱。 与传统的信号或数据处理方法相比,HHT具有如下特点: (1)HHT能分析非线性非平稳信号。 传统的数据处理方法,如傅立叶变换只能处理线性非平稳的信号,小波变换虽然在理 论上能处理非线性非平稳信号,但在实际算法实现中却只能处理线性非平稳信号。历 史上还出现过不少信号处理方法,然而它们不是受线性束缚,就是受平稳性束缚,并 不能完全意义上处理非线性非平稳信号。HHT则不同于这些传统方法,它彻底摆脱了 线性和平稳性束缚,其适用于分析非线性非平稳信号。 (2)HHT具有完全自适应性。 HHT能够自适应产生“基”,即由“筛选”过程产生的IMF。这点不同于傅立叶变换 和小波变换。傅立叶变换的基是三角函数,小波变换的基是满足“可容性条件”的小 波基,小波基也是预先选定的。在实际工程中,如何选择小波基不是一件容易的事, 选择不同的小波基可能产生不同的处理结果。我们也没有理由认为所选的小波基能够 反映被分析数据或信号的特性。 (3)HHT不受Heisenberg测不准原理制约——适合突变信号。 傅立叶变换、短时傅立叶变换、小波变换都受Heisenberg测不准原理制约,即时间窗口与频率窗口的乘积为一个常数。这就意味着如果要提高时间精度就得牺牲频率精度,反之亦然,故不能在时间和频率同时达到很高的精度,这就给信号分析处理带来一定 的不便。而HHT不受Heisenberg测不准原理制约,它可以在时间和频率同时达到很 高的精度,这使它非常适用于分析突变信号。 (4)HHT的瞬时频率是采用求导得到的。

(完整版)Hilbert希尔伯特环变换

黄锷院士在《On Holo-Hilbert spectral analysis: a full informational spectral representation for nonlinear and non-stationary data》中提出一种高维全息谱分析理论HHSA(Holo-Hilbert spectral analysis) 要理解HHSA方法,首先要了解希尔伯特变换、经验模态分解(EMD)、与希尔伯特-黄变换(HHT)。 学术背景: 在信号处理与频谱分析的目的是要描述信号的频谱含量在时间上变化,以便能在时间和频谱上同时表示信号的能量或者强度。傅里叶频谱并没有告诉我们哪些频率在什么时候出现。因此傅里叶变换无法表现信号频率成分的时变性,因此学术界先后发展出了短时傅里叶变换、窗口傅里叶变换、小波等手段,近似的求信号某一时刻的瞬时频率。 希尔伯特变换: 希尔伯特变换是以著名数学家大卫·希尔伯特(David Hilbert)来命名。通过希尔伯特变换,使得我们对短信号和复杂信号的瞬时参数的定义及计算成为可能,能够实现真正意义上的瞬时频率的提取,因而希尔伯特变换在信号处理上具有十分重要的地位,使得希尔伯特变换具有广泛的工程应用。 但在进一步的工程应用中,希尔伯特变换具有以下缺陷: (1)希尔伯特变换只能近似应用于窄带信号。但实际应用中,存在 许多非窄带信号,希尔伯特变换对这些信号无能为力。即便是 窄带信号,如果不能完全满足希尔伯特变换条件,也会使结果

发生错误。而实际信号中由于噪声的存在,会使很多原来满足 希尔伯特变换条件的信号无法完全满足; (2)对于任意给定时刻,通过希尔伯特变换运算后的结果只能在 一个频率值,即只能处理任何时刻为单一频率的信号; (3)对于一个非平稳的数据序列,希尔伯特变换得到的结果很大 程度上失去了原有的物理意义。 图1 傅立叶、小波与希尔伯特-黄变换对瞬时频率的分辨率 希尔伯特-黄变换: 针对上述的三个问题,黄锷院士在1998年提出希尔伯特-黄变换(HHT)。其基本思想是:讲一个非稳态、非线性的信号分解为若干个稳态信号,在对分解后的信号进行希尔伯特变换,分别求取对应的瞬时频率。 在这里将非稳态、非线性信号分解为多个稳态信号的算法成为经

关于希尔伯特第21个数学问题的故事

关于希尔伯特第21个数学问题的故事 ——一段七十多年的公案

李文林 希尔伯特问题的解决过程,有一些是具有戏剧性的,第21问题(具有给定单值群的线性微分方程的存在性)就是其中之一。这个早在1908年就已被认为获得解决的问题,七十多年之后竟被翻了案,成为希尔伯特问题研究史上饶有趣味和富有教益的一章。

七十多年的误解  普莱梅依在1908年发表的论文《具有给定单值群的黎曼型》,对黎曼-希尔伯特问题做出了肯定回答。普莱梅依的途径是化为积分方程来处理,借助于当时方兴未艾的弗雷德霍姆(Fredholm)理论。1913年,美国数学家伯克霍夫(G. Birkhoff)又采用某种逼近方法独立证明了普莱梅依的结果,并研究了他自己提出的一系列推广性问题。1957年,罗尔利用向量丛概念,从代数几何的观点将普莱梅依的结果推广到一般的黎曼曲面上去。研究黎曼-希尔伯特问题的代数几何途径在六、七十年代又被德利涅(P. Deligne)大大发展和完善了。 因此,长期以来,人们一直认为希尔伯特第21问题早已被解决了,答案是肯定的。然而,到了1980年代,柯恩(T. Kohn)、阿诺德(V.I. Arnold)等数学家开始发现并指出了普莱梅依的工作存在着缺陷。原来,普莱梅依定理涉及的实际上并不是真正的富克斯型方程组,而是比富克斯型范围更宽的所谓“正则”(regular)型方程组。
姗姗来迟的否定解答

文本预览