验证形式可积系统解的完备性的机械化算法  

A Mechanical Algorithm for Proving the Completeness of the Solutions of the Formal Integrable System

作　　者：陆斌[1] 张鸿庆[1] 

机构地区：[1]大连理工大学数学科学研究所,辽宁大连116024

出　　处：《工科数学》2002年第1期1-8,共8页Journal of Mathematics For Technology

基　　金：国家自然科学基金资助项目 ( 1 0 0 72 0 1 3) ;国家重点基础研究发展规划项目 ( G1 9980 30 6 0 0 ) ;博士点基金资助项目

摘　　要：在 Reid等人标准型概念的基础上 ,引进形式可积系统的概念 .并给出验证形式可积系统解的完备性的机械化算法 ,并用此方法证明了各向同性弹性力学方程组的胡海昌解的完备性问题 .Basing on the Reid and others standard form concept of the formal integrable system is led in. And a mechanical algorithm for proving the completeness of the solutions of the formal integrable system is given. By using this method, the problem about the completeness of the Hu's solutions in elasticity is proven.

关 键 词：标准型 机械化 形式可积系统 相容条件 各向同性弹性力学方程组 算法 

分 类 号：O175.5[理学—数学] O343[理学—基础数学]