首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 109 毫秒
1.
微分多项式系统的约化算法理论   总被引:8,自引:0,他引:8  
朝鲁 《数学进展》2003,32(2):208-220
本文中,作者推广了纯代数形式的特征列集理论(吴方法)为微分形式的相应理论,即建立了在机器证明了诸多微分问题中非常重要的微分多项式组的约化算法理论。引入了一些新的概念和观点使函数微分(导数)具有直观的代数几何表示。给出了Coherent条件下的特征列集的算法。给出的算法易于在计算机上实现并适合应用于广泛的微分问题,如微分方程对称计算,各种微分关系的自动推理等问题。  相似文献   

2.
基于微分特征集理论和算法,提出在一定条件下判定偏微分方程(组)非古典对称存在性的机械化方法.该方法对Clarkson P A提出的关于偏微分方程(组)的非古典对称的公开问题给出了部分回答,为完全解决该问题提供了一个思路.通过若干个发展方程的非古典对称的确定说明了该方法的有效性.  相似文献   

3.
微分多项式系统的近微分特征列集   总被引:12,自引:0,他引:12  
本文对微分多项式系统的近微分特征列集与微分特征列集之间的一些关系进行了研究,给出了在某些条件下近微分特征列集是微分特征列集的结论,从而对微分多项式系统特征列集理论(吴方法)进行了改进,并且建立的算法较大地提高了计算微分特征列集的效率.  相似文献   

4.
本文基于微分形式吴方法,给出了确定和分类微分方程古典和非古典对称的统一的机械化算法理论.用该理论克服了在传统Lie算法中存在的缺陷,使确定和分类对称更系统和直接,从而扩大了对称方法的应用范围.这也是吴方法在微分领域中一个新的应用.  相似文献   

5.
给出了一个确定含参数偏微分方程(组)的完全对称分类微分特征列集算法,该算法能够直接、系统地确定偏微分方程(组)的完全对称分类.用给出的算法获得了含任意函数类参数的线性和非线性波动方程完全势对称分类.这也是微分形式特征列集算法(微分形式吴方法)在微分方程领域中的新应用.  相似文献   

6.
首先给出一类含有任意函数的变系数波动方程uxx=H(x)utt的古典对称及其势对称的完全分类,然后借助于这个波动方程的对称分类,系统讨论了含有两个任意函数的一类组合方程的势对称分类,所得结果确实扩充了原方程的对称.在计算过程中,采用微分形式的吴方法,微分特征列的程序包起到了重要作用.  相似文献   

7.
本文研究了Poisson方程的一维最优系统及其不变解问题.利用吴-微分特征列集算法,借助于Mathematica软件,计算了Poisson方程的古典对称,并构建了Lie代数的一维最优系统.同时,利用不变量法,获得了一维最优系统中一个元素对应的Poisson方程的不变解.得到的结果推广了Poisson方程的精确解.  相似文献   

8.
热方程的非古典势对称群与不变解   总被引:1,自引:1,他引:0  
主要研究了热方程与波方程的非古典势对称群生成元及相应的群不变解.研究表明对于守恒形式的偏微分方程,可通过其伴随系统求得的非古典势对称群生成元来构造其艋式解.这些显式解不能由方程本身的Lie对称群生成元或Lie-Backlund对称群生成元构造得到.  相似文献   

9.
基于微分特征列法和微分带余除法,给出了利用拟微分算子构造非线性发展方程1+1维和2+1维Lax表示的新算法.新算法减少了运算步骤,简化了计算过程,是微分特征列法在可积系统领域一个新的应用.  相似文献   

10.
介绍了微分与差分方程机械化方法研究若干最新进展.主要结果包括: 微分、差分方程的特征列理论与算法,微分、差分方程系统的分解算法以及微分、差分方程解析解求解算法.  相似文献   

11.
12.
We present a unified approach to compute the number of connected components in the group of real points of adjoint almost simple real algebraic groups.  相似文献   

13.
本文在LF拓扑空间中建立了L-fuzzy集网的弱收敛(R-收敛)概念,应用文[4]中的R-闭包,系统讨论了它们的性质,证明了等式RlimA_n=∧(∨A_m)_R和RlimA_n=A_n=∧(∨A_m)_R并且给出了L-fuzzy集网与其子网之间的关系。  相似文献   

14.
An estimator of the number of components of a finite mixture ofk-dimensional distributions is given on the basis of a one-dimensional independent random sample obtained by a transformation of ak-dimensional independent random sample. A consistency of the estimator is shown. Some simulation results are given in a case of finite mixtures of two-dimensional normal distributions.  相似文献   

15.
Let G be a graph and let Pm(G) denote the number of perfect matchings of G.We denote the path with m vertices by Pm and the Cartesian product of graphs G and H by G×H. In this paper, as the continuance of our paper [W. Yan, F. Zhang, Enumeration of perfect matchings of graphs with reflective symmetry by Pfaffians, Adv. Appl. Math. 32 (2004) 175-188], we enumerate perfect matchings in a type of Cartesian products of graphs by the Pfaffian method, which was discovered by Kasteleyn. Here are some of our results:1. Let T be a tree and let Cn denote the cycle with n vertices. Then Pm(C4×T)=∏(2+α2), where the product ranges over all eigenvalues α of T. Moreover, we prove that Pm(C4×T) is always a square or double a square.2. Let T be a tree. Then Pm(P4×T)=∏(1+3α2+α4), where the product ranges over all non-negative eigenvalues α of T.3. Let T be a tree with a perfect matching. Then Pm(P3×T)=∏(2+α2), where the product ranges over all positive eigenvalues α of T. Moreover, we prove that Pm(C4×T)=[Pm(P3×T)]2.  相似文献   

16.
Let R(A) denote the row space of a Boolean matrix A of order n. We show that if n 7, then the cardinality |R(A)| (2n–1 - 2n–5, 2n–1 - 2n–6) U (2n–1 - 2n–6, 2n–1). This result confirms a conjecture in [1].AMS Subject Classification (1991): 05B20 06E05 15A36Support partially by the Postdoctoral Science Foundation of China.Dedicated to Professor Chao Ko on the occasion of his 90th birthday  相似文献   

17.
Let A be a UFD of characteristic p > 0, let 𝒵 be a set of some eigenvectors of a derivation of A. We prove, under some additional assumptions, a necessary and sufficient condition for 𝒵 to be a p-basis of the minimal ring of constants containing 𝒵. The main preparatory result is the unique decomposition theorem with respect to a factor from a given subalgebra containing Ap.  相似文献   

18.
N/Kbe a Galois extension of number fields with finite Galois group G.We describe a new approach for constructing invariants of the G-module structure of the K groups of the ring of integers of N in the Grothendieck group of finitely generated projective Z[G]modules. In various cases we can relate these classes, and their function field counterparts, to the root number class of Fröhlich and Cassou-Noguès.  相似文献   

19.
马海成 《数学研究》2003,36(2):215-218
设P1,P2,……,Pt是几乎覆盖图G的l条不相交的路,s是没有被这些路覆盖的孤立点数.本证明:(i)匹配多项式μ(G,x)的非零根的重数最多是l,零根的重数最多l s。(ii)对于不含三角形的n阶图G,伴随多项式h(G,x)的非零根的重数最多是l,零根的重数最多是1/2(n l s).(iii)对一种含三角形的所谓A型图,(ii)也成立.  相似文献   

20.
任意矩阵的特征值的扰动估计   总被引:1,自引:0,他引:1  
宋永忠 《应用数学》1992,5(4):19-25
设A和B是两个任意的n阶方阵,其特征值分别为{λ_1,…,λ_n}和{μ_1,…,μ_n}.本文对此两组特征值的如下“距离”的界给出了若干估计: B对于A的谱改变量 A与B的特征值的改变量这里的结果包含了Bauer-Fike定理,并且优于Kahan-Parlett/Jiang定理及Chu,施和肖所得出的结果.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号