×

一种求解偏微分参数系统的算法。 (英语) Zbl 1041.12002号

设\(K\)是具有有限个微分算子的特征为0的微分域,并且\(K\{u1,\dots,u_t,y_1,\dots,y_n\})是具有参数\(u1,\dots,u_t\)和不确定性\(y_1,\dots,y_n\)的微分多项式环。对于一个偏微分参数系统(P_1=0,dots,P_r=0),(Q_1\neq0,dotes,Q_S\neq0\),其中,(P_i\)、(Q_j\)是(K\{u_1,dots、u_t、y_1、dots.y_n}\)中的微分多项式,给出了一个求解该参数系统的算法。该算法不仅找到参数(u_k\)的值,使得系统具有解,而且找到该系统的所有解。

MSC公司:

2005年12月 微分代数
34A09号 隐式常微分方程,微分代数方程
68瓦30 符号计算和代数计算
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Diop,S.,控制理论中的消除,数学。控制信号系统,4335-341(1991)
[2] Diop,S.,微分代数决策方法及其在系统理论中的一些应用,Theoret。计算。科学。,98, 137-161 (1992) ·Zbl 0768.93014号
[3] X.-S.Gao,S.-C.Chou,求解参数代数系统,摘自:ISSAC-92会议录,ACM出版社,纽约,1992年,第335-341页。;X.-S.Gao,S.-C.Chou,求解参数代数系统,收录于:ISSAC-92会议录,ACM出版社,纽约,1992年,第335-341页·Zbl 0925.13014号
[4] 高X.S。;周春川,微分参数系统的零结构定理,符号计算。,16, 585-595 (1993) ·Zbl 0805.12003年
[5] Iitaka,S.,代数几何(1982),Springer:Springer New York·Zbl 0491.14006号
[6] Kolchin,E.,微分代数和代数群(1973),学术出版社:纽约学术出版社·Zbl 0264.12102号
[7] 李振明。;Wang,D.M.,偏微分系统零分解中的相干、正则和简单系统,系统科学。数学。科学。,12,补遗,43-60(1999)·Zbl 1094.13545号
[8] 莫里森,S.,微分理想([P]:(M^∞),J.符号计算。,28, 631-656 (1999) ·Zbl 1053.12503号
[9] T.Oaku,求解线性偏微分方程解结构的算法,收录于:《ISSAC-94学报》,ACM,纽约,1994年,第216-223页。;T.Oaku,求线性偏微分方程解的结构的算法,收录于:ISSAC-94,ACM,纽约,1994年,第216-223页·Zbl 0964.35505号
[10] J.F.Pommaret,A.Quadrat,形式消去理论,控制理论应用,1999年,预印本。;J.F.Pommaret,A.Quadrat,形式消去理论,控制理论应用,1999年,预印本·Zbl 1120.93312号
[11] 罗森菲尔德,A.,微分代数专业,Trans。阿默尔。数学。《社会学杂志》,90,394-407(1959)·Zbl 0192.14001号
[12] 塞登伯格,A.,微分代数的消去理论,加利福尼亚大学出版社。数学。(N.S.),3,2,31-66(1956年)·兹伯利0083.03302
[13] W.Y.Sit,参数线性系统的理论,载于:ISSAC-91会议录,ACM,纽约,1991年,第112-121页。;W.Y.Sit,参数线性系统理论,载于:ISSAC-91论文集,ACM,纽约,1991年,第112-121页·兹伯利0923.65016
[14] 魏斯芬宁,V.,《综合Groebner基础》,J.符号计算。,14, 1-29 (1992) ·Zbl 0784.13013号
[15] Wu,W.-T.,《基于代数微分几何的基础》,《系统科学》。数学。科学。,2, 289-312 (1989) ·Zbl 0739.14001号
[16] 吴文涛,关于消去理论中拟变量的投影定理,中国数学年鉴。序列号。B.,11,220-226(1990)·Zbl 0738.14001号
[17] Wu,W.-T.,数学机械化(2000),《科学》,Kluwer学术出版社:Science,Kluwer学术出版社,荷兰北京·Zbl 0987.68074号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。