| 查看: 852 | 回复: 2 | ||
[求助]
证明多项式方程组的解的存在性
|
|
在做数值的时候碰到一个问题，想请教一下各位大神。 我有下面这样一个多项式方程组 其中 都是非负实数向量，方程组要解 其它参数都是已知，而且 我可以数值求解这个方程组，但是都是在给定参数的情况下。 我很好奇有没有什么理论结果可以证明某些情况下这种多项式方程组存在解或者不存在解。 PS 我已经试过了不动点定理和Groebner Basis 方法，都行不通； 有人建议我用Hilbert 零点定理，我不是学数学的，对代数几何停留在线性代数，我勉强了解了一些关于群环之类的定义，发现Hilbert 零点定理应该是要求这个多项式环的理想，然后，我就意识到Groebner basis应该也是这个意思，就是求这个多项式环的理想（不知道我有没有弄错）； 我想问如果要求这种多项式环的理想的话，除了求Groebner basis以外（如果这是求理想的话），还有什么方法吗？可能需要比较效率高的方法，因为这个方程组的理论维度可以任意大，当然，如果有特殊方法也欢迎科普。 然后，除了用Hilbert 零点定理以外，还有没有什么方法理论可以证明一个这样的多项式方程组解的存在性呢？ 欢迎大家科普，先行谢过。 |
回复此楼» 猜你喜欢
售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急
已经有5人回复
-
售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急
已经有3人回复
-
售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急
已经有4人回复
-
售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急
已经有4人回复
-
让我中一个面上吧！
已经有15人回复
-
2026年的国家社科基金项目通讯评审的新规则与新动向、新挑战
已经有5人回复
-
售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急
已经有3人回复
-
售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急
已经有5人回复
-
售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急
已经有4人回复
-
售SCI一区T0P文章，我:8O.55.1.O.5.4,科目齐全,可+急
已经有6人回复
2楼2019-05-25 23:30:28
3楼2019-05-26 14:16:18
