24小时热门版块排行榜    

查看: 895  |  回复: 2

luoqian123

金虫 (小有名气)

[求助] 证明多项式方程组的解的存在性

在做数值的时候碰到一个问题,想请教一下各位大神。

我有下面这样一个多项式方程组





其中
以及 , 。





都是非负实数向量,方程组要解 和。

其它参数都是已知,而且 ;。

我可以数值求解这个方程组,但是都是在给定参数的情况下。

我很好奇有没有什么理论结果可以证明某些情况下这种多项式方程组存在解或者不存在解。

PS 我已经试过了不动点定理和Groebner Basis 方法,都行不通; 有人建议我用Hilbert 零点定理,我不是学数学的,对代数几何停留在线性代数,我勉强了解了一些关于群环之类的定义,发现Hilbert 零点定理应该是要求这个多项式环的理想,然后,我就意识到Groebner basis应该也是这个意思,就是求这个多项式环的理想(不知道我有没有弄错);

我想问如果要求这种多项式环的理想的话,除了求Groebner basis以外(如果这是求理想的话),还有什么方法吗?可能需要比较效率高的方法,因为这个方程组的理论维度可以任意大,当然,如果有特殊方法也欢迎科普。

然后,除了用Hilbert 零点定理以外,还有没有什么方法理论可以证明一个这样的多项式方程组解的存在性呢?

欢迎大家科普,先行谢过。
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Tiantxx

新虫 (正式写手)

结式?你可以看看,我还是觉得grobner基比较靠谱

发自小木虫IOS客户端
2楼2019-05-25 23:30:28
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

luoqian123

金虫 (小有名气)

引用回帖:
2楼: Originally posted by Tiantxx at 2019-05-25 23:30:28
结式?你可以看看,我还是觉得grobner基比较靠谱

嗯,但是求Groebner basis的时候太复杂了,x和y都是3维我手算都算不过来,尝试用Maple求解,也是跑几个小时都没有跑出来,真是很奇怪。
3楼2019-05-26 14:16:18
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 luoqian123 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[硕博家园] 售一区SCI文章T0P,我:8O.551.O54,科目全,可十急 +3 hKe7U1kad5Sg 2026-10-31 6/300 2026-11-02 03:37 by xzcv0Tehd8lQ
[基金申请] 售SCI一区文章,我:8.O.551.O.5.4,科目全,可伽急 +4 hKe7U1kad5Sg 2026-10-31 9/450 2026-11-02 03:24 by xzcv0Tehd8lQ
[基金申请] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +5 xvJS1BYDxvBS 2026-10-31 11/550 2026-11-02 03:13 by xzcv0Tehd8lQ
[考研] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +5 xvJS1BYDxvBS 2026-10-31 12/600 2026-11-02 03:11 by xzcv0Tehd8lQ
[考研] 售SCI一区T0P文章,我:8.O.55.1.O.54,科目齐全,可+急 +4 1uaZt2kAZj2S 2026-10-30 20/1000 2026-11-02 02:52 by xzcv0Tehd8lQ
[博后之家] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 +4 1uaZt2kAZj2S 2026-10-30 17/850 2026-11-02 02:45 by xzcv0Tehd8lQ
[公派出国] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +4 1uaZt2kAZj2S 2026-10-30 16/800 2026-11-02 02:45 by xzcv0Tehd8lQ
[硕博家园] 售SCI一区T0P文章,我:8.O.55.1.O.54,科目齐全,可+急 +6 X5bHxOULxFqb 2026-10-30 16/800 2026-11-02 02:34 by xzcv0Tehd8lQ
[考研] 售SCI一区T0P文章,我:8.O.55.1.O.54,科目齐全,可+急 +3 hKe7U1kad5Sg 2026-10-31 6/300 2026-11-01 22:27 by xzcv0Tehd8lQ
[考博] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +4 xvJS1BYDxvBS 2026-10-31 7/350 2026-11-01 22:01 by xzcv0Tehd8lQ
[硕博家园] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +5 xvJS1BYDxvBS 2026-10-31 10/500 2026-11-01 21:52 by xzcv0Tehd8lQ
[基金申请] 售SCI一区T0P文章,我:8.O.55.1.O.54,科目齐全,可+急 +5 1uaZt2kAZj2S 2026-10-31 5/250 2026-11-01 21:45 by xzcv0Tehd8lQ
[公派出国] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +4 1uaZt2kAZj2S 2026-10-30 8/400 2026-11-01 21:35 by xzcv0Tehd8lQ
[找工作] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +4 1uaZt2kAZj2S 2026-10-30 11/550 2026-11-01 21:35 by xzcv0Tehd8lQ
[考研] 售一区SCI文章T0P,我:8O.551.O54,科目全,可十急 +3 hKe7U1kad5Sg 2026-10-31 6/300 2026-11-01 19:50 by xzcv0Tehd8lQ
[博后之家] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +4 1uaZt2kAZj2S 2026-10-31 8/400 2026-11-01 16:58 by BCdvBAEpt3zm
[基金申请] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +3 xvJS1BYDxvBS 2026-10-31 3/150 2026-11-01 12:53 by BCdvBAEpt3zm
[考研] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +4 1uaZt2kAZj2S 2026-10-31 8/400 2026-11-01 12:38 by BCdvBAEpt3zm
[公派出国] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +3 hKe7U1kad5Sg 2026-10-31 5/250 2026-11-01 11:14 by BCdvBAEpt3zm
[考博] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +3 xvJS1BYDxvBS 2026-10-31 4/200 2026-11-01 11:01 by BCdvBAEpt3zm
信息提示
请填处理意见