Noether定理和Poincaré不变量的推广

用非独立广义坐标描述的拉氏函数含广义坐标高阶微商的受约束广义力学系统,在对称变换下可导致推广的 Noether 定理,一般它不能化为经典形式的 Noether 定理.既使是系统仅受完整约束的限制,在时间也作改变(δt0)的对称变换下,推广的 Noether定理也不化为经典 Noether 定理的结果,但是,如果在对称变换中所决定的广义坐标的实质(定时)变分q_k 适合约束下的虚位移条件,并且变换使系统的作用量保持不变,那么约束系统在此变换下,将导致经典形式的 Noether 定理.具体写出了广义动量、角动量和能量守恒,推广了 Riahi 的结果.用这里的方法,还推广了 Saletan—Cromer 定理.从拉氏函数含高阶微商的受约束系统在普遍变换下的变换性质出发,得到了沿体系运动的轨线,变换所联系的推广 Poincare 不变量.如果变换中的实质分q_k 适合虚位移条件,拉氏函数中最多仅含 q_k 的一阶导数,那么此推广的 Poincaré不变量就化为通常的Poincare 不变量.     

经典力学系统在约束条件下的对称变换

指出对于用非独立广义坐标所描述的受约束的经典力学系统,在完整约束下,对称变换仍导致经典形式的Noether定理,而在线性非完整约束下,一般说对称变换不产生经典式的形Noether守恒量。     

高阶微商约束系统的对称变换

对于用非独立态函数描述的受约束系统,其系统的拉氏函数密度和约束条件均含态函数的高阶微商,此系统的对称变换可导致推广的Noether定理,一般地说,这时不产生经典形式Noether定理的守恒量,而在有限约束下,态函数内部对称变换产生的推广Noether定理,可化为无约束的经典形式Noether定理的结果。约束系统的能量动量张量与场方程的关系给予了讨论,并给出了对不可压缩连续介质的一个应用。     

非线性非完整系统Vacco动力学的积分理论

本文建立非线性非完整系统Vacco动力学方程的积分理论,由Vacco方程给出系统的第一积分,分别利用循环积分和能量积分降阶Vacco型方程,得到Vacco型广义Routh方程和广义Whittaker方程,建立了Vacco型正则方程和变分方程,并由第一积分构造系统的一类积分不变量,最后,给出其Poincare-Cartan型、Poincare型积分变量关系和积分不变量。     

非保守动力学系统的Noether定理的一个证明

本文直接从动力学系统的Lagrange函数在无穷小变换下的变换性质出发,得到了完整非保守和非完整非保守的Noether定理。本文的方法具有优越性。     

实轴上具一阶奇性解的特征奇异积分方程

把实轴上具一阶奇性解的特征奇异积分方程及其相联方程的求解化为实轴上具一阶奇性解的Riemann边值问题讨论，对后者在提法、奇点的对待和典则函数的理解方面作了与传统有所不同的处理，对前者通过对解和可解条件的简化及等价性的讨论，得到解和可解条件的简化形式及推广的Noether定理。     

具一阶奇性解的奇异积分方程

在较一般条件下，讨论了奇异积分方程具一阶奇性解时的解法及Ｎｏｅｔｈｅｒ定理，推广了已有的结果。     

非线性科学中的对称性研究及其应用

自1990年宁波大学非线性科学课题组完成非线性系统对称性约化的第1个对称性专题研究以来, 宁波大学的非线性科学研究,特别是非线性系统的对称性研究成为一个特色, 引起了同行的广泛关注. 宁波大学非线性科学团队在对称性研究方面的主要进展有: 递推算子的因式化和逆递推算子及逆对称和逆可积梯队、形式级数对称法、非局域对称及其局域化、达布变换和非局域对称、条件对称和分离变量法、对称群直接法、群不变非线性系统分类、超对称和玻色化、留数对称、从对称性到达布变换、非局域对称的对称性约化和相容Riccati展开法、完备对称和可积性、大气和海洋系统中的对称性应用、离散对称和多地物理学、局域对称和非局域对称的对偶及可积系统的正梯队和负梯队的对偶等.     

非线性系统的非局域对称及其应用

非局域对称作为对称理论重要组成部分, 近年来逐渐引起人们关注. 本文以势Korteweg-de Vries (KdV)方程、修正Korteweg-de Vries (mKdV)方程和Kadomtsev-Petviashvili (KP)方程为例, 分别介绍了对应非线性系统与B?cklund变换相关的非局域对称、非局域留数对称与Darboux变换相关的非局域对称. 通过引入3个辅助变量, 将KP方程与Darboux变换相关的非局域对称局域化为Lie点对称. 运用对称约化方法简单概述了KP方程的相似约化解, 其中包括孤立子和Boussinesq波相互作用解、孤立子和KdV型波相互作用解以及非均匀背景下的单孤立波解.     

非均匀衰减Radon变换的反演问题

本文主要利用傅里叶变换, Riesz位势, 积分变换和广义中心切片定理将Natterer的结果推广到了非均匀衰减的情形, 构建了衰减Radon变换的精确重建公式. 同时, 通过该公式研究了衰减Radon变换的值域, 从而将Rigaud和Lakhal的Sobolev估计结果推广到了n维空间.     

非线性Schr?dinger系统整体解的Liouville定理

本文考虑具有Hardy位势的非线性Schr?dinger系统,分别利用变量替换、测试函数和积分估计证明了系统非负经典整体解的Liouville型定理成立.     

推广的留数定理及其应用

在[1]中我们曾引进高阶奇异积分和推广的留数定理,并作出了它在求解某类奇异积分方程中的应用。这里我们指出,与通常一样,也可用这推广的留数定理来计算一些较复杂的积分;同时给出用它来求解一类奇异积分方程组的直接方法。     

相空间中非Chetaev型非完整系统的Lie对称性与守恒量

研究相空间中非Ｃｈｅｔａｅｖ型非完整系统的Ｌｉｅ对称性与守恒量。首先利用微分方程在无限小变换下的不变性建立Ｌｉｅ对称所满足的确定方程的限制方程，给出了结构方程和守恒量；其次研究系统的Ｌｉｅ对称逆问题；最后举例说明结构的应用。     

自由电磁场的一个不变性

守恒量的存在,意味着所研究的系统具有一定的对称性。守恒量的导出,一般有两条途径,一是直接研究运动方程的对称性(变換下的不变性);二是惯用的方法,要求系统的拉氏函数或作用量在变換下不变(如Noether定理)。有的还对拉氏函数添加一散度项的不变性。文献[2]指出,从对称变換保持物理系统运动方程不变出发,导出这些变換所产生的     

关于交换环上矩阵的高层点定理

在关于交换环的高层正点定理和高层非负点定理的基础上,在交换环范畴中进一步建立了所谓的高层零点定理。同时,针对交换环上矩阵,获得了关于交换环上矩阵的高层正点定理,高层零点定理和高层非负点定理。该点定理可看作是关于交换环上矩阵的通常点定理的一种推广。     

约束Hamilton系统在相空间中的对称性质

本文导出了奇异Lagrange量连续系统在相空间中规范变更时的Noether定理,导出了变更性系统在相空间中的Noether恒等式以及强守恒律和弱守恒律。基于该系统的对称性质,给出了一个反例,Dirac猜想失效。这里不像Cawley和其他作者那样,我们未将约束线性化。     

单位圆到任意多边形区域的Schwarz Christoffel变换数值解法

Schwarz Christoffel变换技术在处理某些工程问题时具有重要作用.从黎曼存在定理出发,建立了单位圆到任意多边形区域的映射函数Schwarz Christoffel变换模型,采用Levenberg-Marquardt算法求解含约束条件的非线性映射函数Schwarz Christoffel变换模型参数系统.针对映射函数中出现的奇异积分问题,对映射函数进行2次参数变换,将其化为高斯雅克比型积分,以积分路径中的奇异点为界,缩短积分路径,对子路径采用修正高斯积分方法进行计算.通过指数变换、连乘变换和累加变换,使任意初值问题均可进行迭代计算并满足初值的约束条件.提出以边长绝对误差和顶点绝对误差为迭代计算的收敛条件,并保证了映射函数的精度.给出了11顶点多边形区域映射函数的求解算例,4种方案的计算结果表明,Schwarz Christoffel变换数值解法操作简单、精度高、收敛快.     

利用非完整系统的第一积分求非等时变分方程的特解

本文给出非完整系统的非等时变分方程,研究方程解的构造,并证明在一定条件下可利用—积分来得到非等时变分方程的特解。     

《新疆大学学报》(自然科学版)——一九八七年总目录

._目作者一类图的特征多项式与匹配多项式张福基、周明现完全图的二匹配计数侯曼奇阶正则图的Amida数一王志坚一类四阶线性方程的稳定性段魁臣关于volterra积分方程解的存在唯一性定理郭治中关于四元数矩阵的奇异值分解庄瓦金含裂缝与孔的弹性平面具相对位移的混合问题,沈永祥H:(p)1,q>2)空间的完备性金元泽The Charaeteristie polynomial of Digrgphs Formed by SOme-unaryo钾rations张福墓等六角系统的z一变换图分类张福基、郭晓峰双向连通竞赛图的本原指标欧阳克智等图与补图的半径张遴贤紧空间可度量性的一种刻划庄碧如关于周期r一…     

关于对称函数的性质之补充研究

在与-或-非代数系统中存在一种构成完备集的对称函数:基本对称函数.其定义如下:即S_i为所有i个变量取原变量,余下n—i个变量取反变量组成的布尔积(相与)之或它表示当n个输人变量中任意i个变量为1,其余变量为0时,函数值为1;否则函数值为0.任意对称函数可表示为