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

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

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

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

信息論中Shannon定理的三种反定理

<正> 信息論这一門新兴的学科,自从C.E.Shannon的論文[1]发表而誕生到現在,探討的中心还围繞在信息論基本定理——Shannon定理所提出的那个問題上.作者在本文中綜合整理了有关Shannon定理的一般提法的已有結果,特別着重地討論了Shannon定理的三种反定理.有关头两种反定理,作者本人的工作,都在文中指明.至于第三种反定理(以輸入消息序列为中心的反定理)則是迄今从未被探討过的.     

关于Leray的一个定理

<正> 这理所謂Leray定理,是指在适当条件下,一个空間与它的一个复盖的神經复合形有相同的同調羣而言.Leray的原証(以及Borel,Cartan,Serre等在各种变化形式的証明),奠基于他的Converture理論(亦或用及束論与譜叙列論).本文将按照Eilenberg-Steenrod的体系給出另一証明.我們的証明虽只适用于有限复盖,但易于推广到基本羣的情形,而巳知方法則不适用.我們也同样討論丁关于同伦羣与同伦型的情形.     

递归算法 遞归算法論Ⅰ

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

一個簡單的不可微分的連續函數

<正> 引言 不可微分的連續函數,已經有了很多有名的例子.但是都多少有些困難,不能為初學者所接受.筆者最近發現一個這種函數的例子.除函數概念,連續性與可微分性等幾個必要的概念外,不需要其他的理論.     

二階偏微分方程組的聯絡對與積分流形(Ⅰ)

<正> §1.本文及其續篇的目的是對一般的二階偏微分方程組作幾何學上的討論.這種研究,最初是陶格拉斯(J.Douglas)所創始的K展空間理論,所討論的方程還是比較特殊的.後來波爾特洛蒂(E.Bortolotti),高善必(D.D.Kosambi)從事過     

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

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

周期羣的伯恩賽德問题

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

概率的概念

1.概率论研究的对象我們知道,数学是研究客观世界的量的关系的科学。数学的每个分支都是直接或間接地由于客观生产实践的需要而产生的,无論是它的基本概念、內容和方法,都必須正确地反映和研究客观現象的某种量的規律。那末,概率論所研究的,究竟是哪一类量的規律呢? 自然科学在观察和实驗的基础上所确立的最簡单的規律性是指出我們所研究的事件必然发生或必然不发生的条件;換句話說,这些条件可以表成以下两种模型中的一种:     

芬斯拉空間極小超曲面的同態變換

<正> 在芬斯拉-嘉當空間裹,正如J.M.Wegener所指出,極小超曲面的確定是和某一定的超曲面參數族的選擇有關的,並且除了A_i=0的芬斯拉空間而外,在幾何學上很難給它以完備的意義.現時A.Deicke證明了在完全正测度之下具有A~i=0的芬期拉空間恰是黎曼空間.這個驚異的結果使得在這樣特     

具有面积测度的一些仿射联络空间

<正> 为了要把 K 展空间和具有 K 重面积测度的空间结合起来,笔者和谷超豪讨论过具有两种结构的一些空间,第一种结构是:空间具有 K 维面积测度,就是说:对于空间的任何 K 维可微分流形 V_K 的一部分给定了一个 K 重积分,作为这部分的“面积”;第     

n-2型黎曼空间的等距对应

<正> §1.导言一个正则的 n 维黎曼空间,若恰有 p 个函数独立的不变量,便称为 p 型的,这样的空间,我们将用 R(n,p)表之.此定义创自 T.Y.Thomas,他并详尽地研究了特殊情况:n=2,p=0,1,2.本文作者假定两个 R(n,n—2)具有结构相同的两组不变式 I_1,     

Orthogonal sequences constructed from quasi-orthogonal ultraspherical polynomials

Numerical Algorithms - Let $\displaystyle \{x_{k,n-1}\}_{k=1}^{n-1}$ and $\displaystyle \{x_{k,n}\}_{k=1}^{n},$ $n \in \mathbb {N}$ , be two sets of real, distinct points satisfying the interlacing...     

劳勃生的特殊星像函数和特殊凸像函数

<正> 设函数w在单位圆 E_z:|z|<1上是正则的.假如f(z)在 E_z上是单叶的,那末 D_f=f(E_z)是 w 平面上单叶的区域.记这种单叶函数f(z)的全体为 S_p,S_1=S.若 D_f 以原点 w=0 为星形中心,就是说若 w_0∈D_f则缐段■整个地落在区域 D_f 中,称这种函数 f(z)是 E_z 中的星像函数,其特徵是在 E_z     

关于数论函数方程φ(x_1…x_(n-1)x_n)=m(φ(x_1)+…+φ(x_(n-1))+φ(x_n))

运用Euler函数的性质证明了:当n>1时,方程φ(x_1…x_(n-1)x_n)=m(φ(x_1)+…+φ(x_(n-1))+φ(x_n))仅有有限多组正整数解(x_1,…,x_(n-1),x_n),得到了这些解都满足max{x_1,…,x_(n-1),x_n}≤2m⁴(n-1)4(n-1)²n2n².     

冯·诺依曼代数交叉积的一点注记

设α是可数离散群G和H的半直积G■_σH在冯·诺依曼代数M上的作用,则β_h=α_((e,h))AdU_h定义了群H在冯·诺依曼代数交叉积M■_αG上的作用β.本文证明了交叉积冯·诺依曼代数M■_α(G■_σH)与(M■_αG)■_βH是*-同构的,因此在一定条件下,冯·诺依曼代数的交叉积满足结合律.     

方差分量模型中回归系数的线性Minimax估计

考虑方差分量(混合线性)模型y=Xβ+U1ξ1+U2ξ2+…+Ukξk,这里Xn×p,Ui,n×ti为已知设计矩阵,βp×1是固定效应,iξ是ti×1随机效应向量,满足E(iξ)=0,cov(iξ)=σ2iIti,iξ都不相关.往往Uk=In,ξk=ek,即最后一项为随机误差,热β∈RP和i2σ>0(i=1,2,…,k)为未知参数.我们考虑β的可估函数Sβ,选取二次损失函数L(d,Sβ)=(d-Sβ)′(d-Sβ)∑ki=1ciσi2+β′X′Vk-1Xβ,然后在线性估计类中给出Sβ的惟一的mini max估计.     

The rule of cycle length and global asymptotic stability for a third-order nonlinear difference equation

In this paper, the following third-order nonlinear difference equation

一类离散型奇异积分算子

设｛αｋ｝∞ｋ＝－∞为正数缺项序列，满足ｉｎｆｋαｋ＋１／ｄｋ＝α＞１，Ω（ｙ′）为Ｂｅｓｏｖ空间Ｂ０，１１（Ｓｎ－１）上的函数，其中Ｓｎ－１为Ｒｎ（ｎ２）上的单位球面．本文证明：若∫Ｓｎ－１Ω（ｙ′）ｄσ（ｙ′）＝０，则离散型奇异积分ＴΩ（ｆ）（ｘ）＝∑∞ｋ＝－∞∫Ｓｎ－１ｆ（ｘ－αｋｙ′）Ω（ｙ′）ｄσ（ｙ′）和相关的极大算子ＴΩ（ｆ）（ｘ）＝ｓｕｐＮ∑∞ｋ＝Ｎ∫Ｓｎ－１ｆ（ｘ－αｋｙ′）Ω（ｙ′）ｄσ（ｙ′）均在Ｌ２（Ｒｎ）上有界．上述结果推广了Ｄｕｏａｎｄｉｋｏｅｔｘｅａ和ＲｕｂｉｏｄｅＦｒａｎｃｉａ［１］在Ｌ２情形下的一个结果