Accurate Wu Characteristic Set Method For Solving A Class Of Difference Equations

This article advocated by Wu Wenjun mathematical mechanization ideologicalinspiration, mainly for a class of nonlinear diference equations, to Gao Xiaoshan,LuoYong Polynomial diference system Wu's characteristic set on the basis. Non-linear diference equations to solve the problem, the nonlinear diference equationssolving problem to the touch, that is, the system after reduction applied profitablydiference type wu's characteristics set solution method. First, consistent about irre-ducible diference ascending chain, finding agreement diference para-characteristicsset, and irreducible decomposition, finally, using the Wu-Ritt's zero decomposi-tion algorithm calculus. This is a symbolic form of the construction algorithm andrealization of machine reasoning, ultimately be obtained in polynomial diferencesystems of diference extension field of exact solutions.Obtain the exact solution of diference equations can improve the functionalequation theory and application of basic work, providing help and supporting on thetheory and methods for the qualitative study of diference equations. For the theoryof diference equations and solution of qualitative analysis, depicts the structureof the solution space of reconciliation, expanding the scope of equations has animportant mathematical sense. This paper can be as in diference equations symbolsof a preliminary experiment solution..