强有根定理的新证明及其推广

在Hilbert第16问题的探索研究中,秦元勋提出并发展了常微分方程定义的积分曲面理论,得到了联系局部与整体的“强有根定理”且给出了一些重要的应用。本文从解析延拓的观点提出了复解析系统“相曲面”的概念,用复分析理论证明了解析系统的有根定理,并在     

正则形式的Noether定理及其应用

经典Noether定理是用Lagrange变量给出的。奇异拉氏量系统(包括所有规范理论)是约束Hamilton系统。本文导出该系统用正则变量表叙的Noether定理,这有助于分析系统的Dirac约束。考虑二阶奇     

Birkhoff系统的Poisson理论

经典分析力学的Poisson理论是一种重要的积分理论,是指对Hamilton系统定义的Poisson括号,第一积分的Poisson条件以及由两个已知积分经过Poisson括号运算而生成第三个积分的Poisson定理.Birkhoff系统比Hamilton系统更为一般,且具有一系列重要性质,因此对Birkhoff系统动力学的研究成为数学物理科学的一个近代发展方向.文献[4]研究了Birkhoff系统的Noether理论.本文研究自治情形和半自治情形Birkhoff方程的代数结构,定义一个广义Poisson括号,建立Birkhoff方程的第一积分的广义Poisson条件,给出由已知积分生成新的积分的广义Poisson定理.     

格值模型的初等扩充和初等链

本文在文献[1—3]的基础上证明了当值格适合某些条件时,格值模型理论中的强升降L-S-T定理,引进了初等子模型概念,用以推出Robinson模型完备理论的几个充分必要条件;本文还证明了“初等链定理”,并应用“初等链定理”证明了相应的Robinson和谐定理、Craig插值定理和几个“保持性定理”。     

小角X射线散射方法测定二氧化硅干凝胶的比表面

应用同步辐射小角Ｘ射线散射方法测试了不同制备条件下二氧化硅干凝胶的孔隙结构，发现了散射曲线对Ｐｏｒｏｄ定理和Ｄｅｂｙｅ散射理论的遵守与偏离（正偏离和负偏离）的各种情况．在遵守Ｐｏｒｏｄ定理和Ｄｅｂｙｅ散射理论的情况下，Ｐｏｒｏｄ方法和Ｄｅｂｙｅ方法所得的比表面比较接近．在偏离Ｐｏｒｏｄ定理和Ｄｅｂｙｅ散射理论的情况下，提出了相应的比表面计算方法，所得结果同样取得了较好的一致性．     

关于Zassenhaus猜想

文献[1]利用有限单群分类定理及有限群局部理论中关于广义Fitting子群的一些深刻结论,推广了Zassenbaus的一个猜想.证明了陈重穆教授提出的如下定理.     

非完整非保守奇异系统正则形式的Noether定理及其逆定理

经典Noether定理及其推广是在位形空间中用Lagrange变量给出的。完整保守奇异系统(其Lagrange函数是奇异的)在相空间中的Noether 1,2定理已讨论,这里进一步给出非完整非保守奇异系统正则形式的Noether定理及其逆定理。     

n维空间中的Picard大定理

Wu Hung-Hsi (Annals of Math.Studies 64) 利用全纯曲线的似值分布理论证明了n维空间中的Picard定理。本文证明了经典Picard大定理在射影空间中的一般形式,叙述如下。     

用辩证的观点探索经济学基础理论

基于科学发展的辩证法 ,阐述了经济学理论结构 ,提出依赖于时间和空间的价值传递微分方程 .该方程不仅能详细地描述价值传递信息 ,而且可满足经济学理论分析和实际应用的需要 .传递方程和价值传递方程构成了分析和经济分析及优化的理论基础 ,代数方程仅是传递方程应用于系统或单元的特例 .基于此 ,本文引入了关于、流及损计价的三个定理 .     

强连续完全有界线性算子函数对理论

关于Banach空间中的完全二阶线性微分方程,虽然最近的工作有了实质性进展,但类比于半群及余弦函数的相应算子函数理论却未能恰当的建立.如文献[7—9]就附加了线性算子A、B可交换等很强的假设,使得结论的意义受到限制.本文建立了强连续完全有界线性算子函数对理论,包括强连续完全算子函数对的基本性质、生成定理、扰动定理及应用于完全二阶线性微分方程的基本定理.     

中介逻辑的命题演算系统的可判定性

文[1,2]给出了中介逻辑的命题演算系统MP及MP~*,文[3]给出了MP~*的语义解释并证明了MP~*在此语义解释下的可靠性、完备性定理。但文[3]中完备性定理的证明是非构造性的,本文给出了一个完备性定理的构造性     

一个推广的C~1封闭引理

本文的主要目的是摘要叙述下面定理的一个证明。 主要定理 设M~n是一n维C~∞Riemann流形,n(?)2,其上有一C~1常微系统S.命a是S的一非游荡常点。则对每一ε>0,M~n上有一C~1常微系统X具有一周期轨道经过a且满足‖X—S‖<ε。 这在微分动力体系理论中是一推广形式的封闭引理。简单地说,它指出非游荡常点可以     

时空联合不确定性关系和广义Gabor函数

脊椎动物视觉系统中的初级信息加工可以看作为多输入、多输出的图象信息处理系统。它的输入是以空间和时间为变量的光强分布,它的输出则是在视觉通路中各级神经细胞在不同空间、不同时刻的响应。从系统分析观点,其核函数刻划了系统的特性。系统滤波特性又受到其核函数的傅氏变换对的不确定性关系的限制。在傅氏分析理论中存在着相似性定理。它     

一阶格值逻辑系统FM的语法问题

文献[1～3]建立了以丰富剩余格为真值域的命题逻辑系统,得到了一些结果.为研究更一般的格值逻辑系统,文献[4]提出了格蕴涵代数的概念,文献[5]讨论了以格蕴涵代数为真值域的命题逻辑,文献[6」建立了以格蕴涵代数为真值域的—阶逻辑系统FM,本文讨论FM的语法问题,得到了FM的可靠性定理、演绎定理及协调性定理.设L是一格蕴涵代数,F是系统FM的公式集合.定理1~[6]对于任意公式p,q,r及正整数m,n,下列公式都是有效公式:     

贝尔定理和贝尔不等式

诺贝尔物理学奖得主约瑟夫逊认为贝尔不等式和贝尔定理是“物理学中最重要的进展”,哲学家斯塔普认为贝尔定理是“意义最深远的科学发现”,但贝尔本人却认为量子理论“是一个龌龊的理论”,这其中究竟有何奥妙?     

中国剩余定理和电子计算机

不少人把数论看作是理论数学中最纯粹的分支,事实上,这门分支中的许多美妙结论有着广泛的实际应用。《中国剩余定理和电子计算机》介绍了一个古老的数论定理在计算机程序设计中的一个有趣的应用。     

非自治系统的渐近稳定性

一、引言 在理论上,Liapunov的渐近稳定性定理是很完美的.然而,要对一个给定的系统实际上去构造一个满足该定理条件的Liapunov函数是非常困难的,而且没有一般性的方法.针对这一点,人们力图用限制较弱的Liapunov函数来研究系统的稳定性.这就产生了对Lia-     

非线性沸腾传热学—Ⅱ：分岔和突变理论

突变理论是非线性科学的重要组成部分.是描述自然科学和社会科学中非连续现象的主要数学工具.它的主要内容是从分类定理出发,根据函数临界点进行分类,将各种领域的突变现象归纳到不同类别的结构中去,进而研究各种临界点附近非连续性态的特征.它的主要优点是:即使不了解系统的微分方程.通过少数几个假定条件,用几个状态变量就可以预测系统诸多的定性或定量性态.分岔理论是研究平     

复系数多项式的边界定理和棱边定理

值映射,边界定理,参数化方法为实系数多项式的鲁棒稳定性分析提供了新的思想、方法和理论,同时给复系数多项式的鲁棒分析以启迪。许多工程实际中,复系数多项式的鲁棒分析占有重要地位。本文的研究结果表明,值映射,边界定理和棱边定理等可以在复系数多项式的鲁棒稳定性分析中得到成功的应用。     

关于平面二次系统的极限环

在平面二次系统的系数构成的十二维参数空间中,我们找到一个六维流形(定理1)和一个五维流形(定理2),使对应的平面二次系统有至少四个极限环。顺便指出,算错了第三个常数的符号,它直接影响到一个极限环的存在性。正确的结果是