一种数值解法在非线性代数方程组.docVIP

由一类对称非线性方程组的条件解所引发的理论 周亚南 (东华理工大学长江学院, 江西，抚州344000) E-mail:2318284432@ 摘要 本文主要讨论了一类非线性代数方程组在某些条件下的解的情况，并给出了这类方程组的定义，同时，由新的定义又提出了一些新的猜想 1.引言及特殊的方程组的定义 本文是作者在研究数学史时，所发现的一个感兴趣的问题，他起源于对三角形全等的证明，当然他的证明或否定远远超出了初等数学，有关他的文献可以参考[1]。下面给出含有个未知量的这类方程组的定义：个未知量的每一个未知量定义为单元，即个未知量有个单元。对于个未知量有如下的组合，其中满足这种组合的未知量仅满足乘法律或者仅满足加法律，即从个未知量中选取个未知量，这个未知量仅满足乘法律或者仅满足加法律，定义这种组合为基本组合，可知这种组合共有种，即基本组合有种，其中满足乘法律的基本组合定义为乘律基本组合，满足加法律的基本组合定义为加律基本组合。以集合代表所有的单元，即为全集，以集合代表的子集，且中含仅含有个单元，即组合个单元，可知这个单元仅满足乘法律或者仅满足加法律，定义与的差集为剩余集，其中剩余集所含的那个单元定义为剩余单元。定义集合为超全集（含有个单元），其中 由上式知道中含有四个元素或者三个元素，对超全集定义一种运算，对于中的元素可以满足任何形式的数学运算以及混合运算，如：加法、乘法、减法、除法、对数、幂次方、根号等等，其中满足这种要求的表达式记为，可知集合可以构造个超全集，即，若个超全集具有相同数学运算，即具有相同形式的数学表达式，我们称表达式为一组拓扑对称表达式，而由所组成的方程组称为拓扑对称方程组。若个超全集不具有相同数学运算，即不具有相同形式的数学表达式，我们称表达式为一组拓扑非对称表达式，而由所组成的方程组称为拓扑非对称方程组。对于不满足上述任何形式的方程组，我们定义为一般拓扑方程组。 例：三个未知量，从中选取个未知量，可知共有3种，它们分别是，既有三种基本组合，又如基本组合满足加法律和乘法律其形式如下：，其中为乘律基本组合，为加律基本组合。又如由单元构造的下面的方程组 （1.1）（1.2） （1.3） 可知其为拓扑对称方程组，其中对于方程式来说为剩余单元，其中 构成一个超全集。对于含有个单元的拓扑对称方程组，当这个单元同时增加相同的倍数时，这个拓扑方对称程组的每个方程式不变，即方程组不变，定义这种方程组为完全线性代数方程组，如下面含有三个单元的方程组： （1.4） 使满足，可知方程组（1.4）不变，即为完全线性代数方程组，这种方程组有无穷多组解，且满足，是其中一组解，为系数，即也是方程组的一组解。同样，对于含有个单元的拓扑对称方程组，当这个单元同时增加相同的倍数时，这个拓扑方对称程组的每个方程式发生变化，方程组中的方程式的比值：的比值不变，满足这个关系式子的方程组，定义为满足线性代数方程组。如上面的方程组（1.1）（1.2）（1.3）就是这样的方程组，即为满足线性代数方程组。本文主要讨论了方程组（1.1）（1.2）（2.1）在单元情况下的解的情况，可知方程组（1.1）（1.3）在此情况下至多有一解，方程组（1.2）在此情况下至多有两解。 2.几个引理及其证明 对于单元来说我们定义一种运算，如单元,定义表示单元变大，即用符号表示变大，同理可以定义表示单元变小，即用符号表示单元变小。下面我们再次来讨论方程组（1.2）在的情况下的解的情况。这里字母表示为不为零常数，或者赋予一组常数，如3，4，5。 引理2.1 单元满足下面三个式子 (2.1) 当单元满足变化：且时（符号表示：不变为），式子(2.1)必有一个变大，一个变小。 证明 当时，单元有下面几种变化组合 (2.11),(2.12) (2.13),(2.14) (2.15),(2.16) (2.17),(2.18) (2.19),(2.20) (2.21),(2.22) (2.23),(2.24) (2.25),(2.26) (2.27),(2.28) (2.29),(2.30). 上式（2.11）（2.18）是相似于其余各式，其证法是将满足（2.11）（2.18）的单元同时缩小或同时增加相同的倍数，且使这种组合中的其中一个单元与上式其余组合中的一个组合满足至少有一个单元相等，则可知（2.11）（2.18）满足其余各种组合。 当(2.12)时，式（2.1）满足下面的变化 符号表示变小，那么仅需证明中必有一个变大即可，将（2.12）做变化，其形式如下： 则： 式中表示一个大于零的数，如；同样表示一个小于零的数，如。则可知下面式子必有一个变小 所以式子中必有一个变大，即当(2.12)，式子（2.1）必有一个变大，