学習苏联在偏微分方程方面的成就

苏联过去在偏微分方程論方面是有优良傳統的。A.M.李雅普諾夫和貢切尔在場位論,斯捷克洛夫和斯密尔諾夫在数理方程一般理論,查普雷金和克雷洛夫在技术所提出的偏微分方程問題,貝恩斯坦在非綫性椭圓型方程理論,     

一类非线性微分方程的近似方法的討論

<正> 在应用上往往会碰到非綫性微分方程,求解它的最一般的方法乃是差分方法.应用这一方法預先必須解决的問題是:所作的非綫性差分方程的解的存在性、唯一性和收斂性,以及如何求解等.本文指出,这些問題通常可以归結为一个綫性差分方程的“适定性”問題,而后者已有一些解决的办法,亦郎非綫性的問題可以化为綫性的問題而得到解决.     

非线性微分方程组差分方法中的一些問題的討論

<正> 当我們对已給的非綫性微分方程組使用差分方法时,要遇到这样一些問題,即所作的非緝性差分方程組的解的存在性、一意性和收斂性等.本文指出,这些問題可以归結为一个綫性差分方程組的“一致性”和“稳定性”問題. 本文是作者前一文[10]的发展.     

导出若当法型的一个簡单方法

对于一个綫性变換,如何来取一个适当的坐标系,使得它的不变量明显地出現在所表示的矩陣中,这就是若当(Jordan)法型所解决的問題。这样一个显然重要的問題,在文献中很少有从头到尾很一般的表述。本文的目的是在給出一个尽可能簡捷而明了的方法来导出一个綫性变換的若当法型。本文只要求讀者具备賴性变換理論中最簡单的知識。     

动态規划概論

动态規划是运筹学中規划論的一个分支。这个数學方法的奠基人是数学家R.貝尔曼,十多年来,由于他的努力,动态規划发展成为一門具有完整体系和独創性的数学。对于我国人民,运筹学已經是一个熟悉的名子;但是,目前我們經常考虑的还只是綫性規划,用它来处理具有某些綫性特征的过程.然而,在經济活动和技术領域中存在着大量的复杂的多級决策过程問題;这种过程的数学模型具有独特的結构,往往不能直接求解。其中某些問題,虽然在理論上可以用微积分学或綫性規划方法来解决,但是,实际上,解一个簡单的問題也需要大量的演算,并且,遇到技巧上的困难。在許多情     

递归算法 遞归算法論Ⅰ

<正> §1.引言 能行性問題,也就是算法問題或可計算性問題,是数理邏輯的中心問題.这問題在数理邏輯基本理論研究中的重要性是数理邏輯工作者所熟知的.然而,它的重要性是远远地超出数理邏輯的范围的. 能行性問題涉及一般数学的极为本貭的問題,而且牽涉得十分深广.以递归函数論     

线性方程组的解法

在各种解方程的問題中,应用范围最广、解法最簡单的要算是一次方程組了。一次方程組通常称为綫性方程組。在許多实际問題中都有着大量的应用。例如,在大地測量問題中要解綫性方程組;計算水坝的应力分布的問題要解偏微分方程,而解这样的偏微分方程时往往要归結为解綫性方程組。随着我国社会主义建设的飞跃发展,在生产实际中提出了大量的问題需要通过解线性方程組来进行计算。在这一篇文章里,首先介紹一下一般的綫性方程组的解法,这种解法就是中学代数中的消元法,但比起中学代数的讲法更为簡单清楚,并且具有一般性。可以作为教师讲課的参考。然后再介紹綫性方程組的两种数值解法。本文不要求任何較高深的数学知識,一般具有中学水平的同志都能掌握。     

稳定性理論中第一临界情形的微分方程与微分差分方程的等价性問題

<正> §1.問題与方法.在[1]中提出了等价性問題,并对于一般n的情形作了系統的研究.本文是处理在第一临界情形下的微分方程与微分差分方程的等价性問題. 問題是研究微分方程組     

周期羣的伯恩賽德問题

1902年英国数学家W.伯恩賽德提出了关于周期羣理論的一个問題。随后,这个問題在代数学家們中間获得了广泛的声名,因为羣論的許多問題看来都是与这个問題有关的(参閱[1],[2])。尽管有过許多尝試,这个問題只对几种特殊情况才获得了正面的解答。只是到1959年由諾維柯夫院士发展了早先他在解决一系列羣論算法問題(恆等問題,共軛問題和同构問題)中所采用的方法,才获得了这个問題的反面解答(参閱[3])。为了論述这个問题和所得到的結果,我們来复习有关羣論的若干定义。所謂羣是指由任意性貭的元素所組成的一个非空集合G,其中定义了一种运算,叫做“乘法”,它滿足以下的要求:     

数理邏輯与自动化(續完)

Ⅱ.数理邏輯和电子管继电线路的理論在技术发展还沒有提出要設計复杂的、具有大量起着继电器作用的电子管自动装置时,关于建立电子管继电綫路的分析和綜合的科学方法問題就沒有产生。为了設計具有少量电子管的继电綫路,通常的工程計算法是足够的。然而,当技术提出要设計包含有几千个,甚至在某些情形要多于上万个电子管的自动装置时,建立电子管继电綫路的分析和綜合的問題就成为极为迫切的了。     

綫性規划的一个新方法——直除法

§1.前言自1958年大跃进以来,运筹学綫性規划在我国得到了巨大的发展,广泛地应用在我国社会主义建設事业中并取得了比較显著的效果,从而又促进了对运筹学綫性規划的深入研究,无論是线性規划的理論和方法都获得了很多結果,大大丰富了这門新兴学科的內容。所謂綫性規划,就是在一組綫性等式及不等式的約束条件下,求綫性目标函数的极大值或极小值(最优值)的问題。它可以归結为在約束条件的約束下,来极优化目标函数的数学問題。使目标函数达最优值的点叫做規划的最优解或規划的解。滿足約束条件(1)的非負解叫做預备解。解綫性規划的方法一般是用“单純形”法,它是按下述三个步驟来进行的: 1) 用某种方法給出一个預备解;     

嵌入理論与排列羣的上同調(Ⅰ) 一般的理論

<正> 前言 在关于复合形或一般的空間在欧氏空間中的嵌入(imbedding)問題的研究中,曾有过Van Kampen,H.Whitney,R.Thom以及 A.I.Flores等諸人的重要工作.在他們所建立的各种理論中,不但所用方法迥然不同,而且所牵涉的对象范围以及嵌入的方式也各不相同。例如Van Kampen所討論的对象只限于(有限的)复合形,而嵌入則是指半綫性嵌入;Whitney的理論只适用于微分流形,所謂嵌入則是指微分嵌入;而     

双曲型方程組的一个边界問題和它的应用

<正> 本文分两部分,第一部分討論某种三个未知函数,两个自变量的拟綫性双曲型方程組的一个非綫性边界問題.我們把它化成一个积分函数方程組,然后选取一个恰当的逐次迫近方案并进行了一系列的估計而証明了局部解的存在性.第二部分討論在气体力学中有广泛应用的活塞問題,它的本身应該为一个边界問題,但解具有強間断,而間断曲綫为不定的,沿着它成立一些非綫性的“激波条件”.我們把它化成第一部分中所討論的     

張弛問题的最速下降法

<正> §1.引言 張弛方法對於解決如下的問題是一個極重要的方法:代數方程,微分方程的界值問題,特徵值問題等.R.V.Southwell,L.Fox及其他人用這方法解决了一些重要的實用問題.Temple證明在為一般實用問題所满足的條件下,張弛方法實際地給出正確的解答.他在他的論文裹考慮了兩個方法:     

非綫性微分方程的解的界、稳定性和誤差估計

<正> §1.問題的提出与解决問題的工具本文針对非綫性微分方程組dx/dt=A(t)x+φ(t,x),x(t_o)=x_o(1.1)的解z(t)=(x_1(t),…,x_n(t)),提出并回答了下列两个問題: 問題1.估計(1.1)的解x(t)的模‖x(t)‖的界,这里‖·‖代表n維空間中的任意一种模. 問題2.估計(1.1)的解x(t)与(1.1)的近似緝性方程組:     

緩变系数法

<正> 在振动論、自动学、微波电子学等技术科学分支中,經常出現常系数和变系数一阶线性常微分方程組.例如,在波导理論中,电磁場边值問題常常归結为这种形式的微分方程粗的求解.在本文中,作者提出一种系統化的数学方法,用来求解具有緩变系数的上述微分方程組.为簡明起見,我們将称这种方法为“緩变系数法”.     

綫性齐次微分方程內e~(kx)型解的探求

在高等数学中,綫性微分方程的解的結构理論是比較完善的,只是对于一般变系数的齐次綫性微分方程沒有一个探求特解的有效方法。本文給出一个找出e~(kx)型解的一般方法。定理.設u_1,u_2,…,u_m,为一組綫性无关的函数組,則方程有e~(kx)型解的充要条件是k为方程組     

奇偶点图上作业法

<正> 在邮局搞綫性規划时,发現了下述問題:“一个投递員每次上班,要走遍他負責送信的段,然后回到邮局.問应該怎样走才能使所走的路程最短.” 这个問題可以归結为 “在平面土給出一个連通的綫性图,要求将这个綫性图从某一点开始一笔画出(允許重复),并且最后仍回到起点,問怎样画才能使重复路线最短.”     

0和1的方程组

“0和1,这个題材太簡单了!”讀者或許会这样说。其实不然,这是一个很丰富的領域。所謂丰富,并不是說我們单純从兴趣出发可以推出关于0和1的一大堆性貭、定理、甚至建立一些理論,等等。(单純那样做是没有意义的)而是在于它能反映不少实际現象,关于它們的数学知識能帮助解决一些实际問題。現在,0和1在有些技术領域中应用已經比較普遍,例如在数字計算机的邏輯設計中,用到一种关于0和1的数学理论——布尔代数。本文不打算談这方面的內容,讀者可以去参看专书(見文末的附注)。本文打算談的是关于0和1的通常属于高等代数的一部分內容——它們的綫性方程組的应用。另外,0和1的多項式理論、綫性代数理論在一些技术問題中也已开始得到应用,本文也暫不去談它們(读者可参看文末的附注)。     

关于解析几何教学的几点注意

本文拟环繞解析几何中的一些概念,关于在数学教学中如何对待“直观与論证”談一些个人的看法。內容包括:一、数学中的邏輯論証及直观說明;二、解析几何教学中一些問題的商榷;三、关于綫段的量的一个定理;四、关于三角形面积公式的一个証明;五、关于二次曲綫中心的定义問題。一、数学中的邏辑論证及直观說明先談談数学中的邏輯論証。通常在数学中的論証属于形式邏輯中論証的范畴。形式邏輯中的任何証明都是由下列三部分构成:(一)論題,(二)論据,(三)論証。論題是需要加以証明的判断,論据是被用来作为論題底充足理由的諸判断,論証是組成从論据推出論