24小时热门版块排行榜    

CyRhmU.jpeg
查看: 807  |  回复: 7

花想眠11

新虫 (初入文坛)

[求助] 如何解决方程组求解问题已有1人参与

Solve[{x1^2 + x2^2 + x3^2 + x4^2 + x5^2 + x6^2 - 1==0,
x3^2 + x4^2 + z1^2 + z2^2 + z3^2 + z4^2 - 1==0,
x1*x3 - x2*x4 + x3*z1 + x4*z2 + x5*z3 + x6*z4==0,
x1*x4 + x2*x3 + x3*z2 - x4*z1 - x5*z4 + x6*z3==0,
m1*x5 + m2*x6 + x1*x5 + x2*x6 + x3*z3 - x4*z4==0,
m2*x5 - m1*x6 + x1*x6 - x2*x5 + x3*z4 + x4*z3==0,
m2*z3 - m1*z4 + x3*x6 + x4*x5 + z1*z4 + z2*z3==0,
x4*x6 - m2*z4 - x3*x5 - m1*z3 - z1*z3 + z2*z4==0,
m1^2 + m2^2 + x5^2 + x6^2 + z3^2 + z4^2 - 1==0,},{x1,x2,x3,x4,x5,x6,z1,z2,z3,z4,m1,m2}]
怎样求出他的解析解,一共9个方程12个变量,
给点提示也行,这个可不可以算出来啊!难度在哪里
真的很想知道,求高手指点
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐,对您同样有帮助:

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

yongcailiu

金虫 (小有名气)

【答案】应助回帖

★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★
感谢参与,应助指数 +1
花想眠11: 金币+30, 有帮助 2015-05-15 09:16:58
该方程是一个非线性问题,9个方程,12个未知数,即便有解析解的话,解很多时候也不唯一(除非能消去一些多余的方程)。一般地,将问题转化成优化问题进而采用数值方法求解。
2楼2015-05-07 08:26:20
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

花想眠11

新虫 (初入文坛)

引用回帖:
2楼: Originally posted by yongcailiu at 2015-05-07 08:26:20
该方程是一个非线性问题,9个方程,12个未知数,即便有解析解的话,解很多时候也不唯一(除非能消去一些多余的方程)。一般地,将问题转化成优化问题进而采用数值方法求解。

我是研究数学的,对程序不是多熟悉,刚自学的这个软件,那怎么转化成优化问题,转化成优化问题了还用mathmatics解决吗,那求出来的是数值解对吧?
3楼2015-05-07 09:41:20
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

yongcailiu

金虫 (小有名气)

引用回帖:
3楼: Originally posted by 花想眠11 at 2015-05-07 09:41:20
我是研究数学的,对程序不是多熟悉,刚自学的这个软件,那怎么转化成优化问题,转化成优化问题了还用mathmatics解决吗,那求出来的是数值解对吧?...

右端项要求都为零,这个时候可以让左端项的平方和最小,如果变量有取值范围,给出其范围,就是约束条件,转化成优化问题。转化后的问题可以考虑用 Stephen P. Boyd 开发的cvx工具包求解,求得的结果是数值解。附上软件列表链接地址:http://stanford.edu/~boyd/software.html
4楼2015-05-08 12:51:33
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

花想眠11

新虫 (初入文坛)

引用回帖:
4楼: Originally posted by yongcailiu at 2015-05-08 12:51:33
右端项要求都为零,这个时候可以让左端项的平方和最小,如果变量有取值范围,给出其范围,就是约束条件,转化成优化问题。转化后的问题可以考虑用 Stephen P. Boyd 开发的cvx工具包求解,求得的结果是数值解。附上 ...

那求出来的是所有的数值解吗?可以根据这些数值解推导出它的解析解吗?我想要的是知道这个方程组所有解得情况,也就是说要想知道它的解析解基本上是不可能了?怎么给您金币啊?
5楼2015-05-11 20:20:45
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

yongcailiu

金虫 (小有名气)

引用回帖:
5楼: Originally posted by 花想眠11 at 2015-05-11 20:20:45
那求出来的是所有的数值解吗?可以根据这些数值解推导出它的解析解吗?我想要的是知道这个方程组所有解得情况,也就是说要想知道它的解析解基本上是不可能了?怎么给您金币啊?...

那求出来的是所有的数值解吗?                ----这取决于两点,一,优化问题是否有唯一的解;二,数值算法是否收敛(这条基本可以保证)。
可以根据这些数值解推导出它的解析解吗? ----不可以。数值算法大多在解析解无法找到的时候才使用的。
6楼2015-05-13 08:52:16
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

花想眠11

新虫 (初入文坛)

引用回帖:
6楼: Originally posted by yongcailiu at 2015-05-13 08:52:16
那求出来的是所有的数值解吗?                ----这取决于两点,一,优化问题是否有唯一的解;二,数值算法是否收敛(这条基本可以保证)。
可以根据这些数值解推导出它的解析解吗? ----不可以。数值算法大多在 ...

好的,我知道了。那对于我上面的那个问题就是未知数(变量)的个数多余方程的个数我那样编程对吗?我看教程中都是变量个数与方程个数一样,我感觉我的不对。
t是参数
J=[0 cos(t) sin(t) 0 0 0
  -cos(t) 0 0 sin(t) 0 0
  -sin(t) 0 0 -cos(t) 0 0
  0 -sin(t) cos(t) 0 0 0
   0 0 0 0 0 1
   0 0 0 0 -1 0];
P=[x1 x2 x3 x4 x5 x6
     x2 y1 y2 y3 y4 y5
     x3 y2 z1 z2 z3 z4
     x4 y3 z2 w1 w2 w3
     x5 y4 z3 w2 m1 m2
     x6 y5 z4 w3 m2 n];
其中J是反对称的P是对称的,J和P满足如下关系 J*P=-P*J,并且P*P=E(单位矩阵),求解P.对这个问题我是不是应该先解线性条件,在代入到P中解非线性的条件就用那个Sovle函数。
7楼2015-05-13 20:56:42
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

花想眠11

新虫 (初入文坛)

引用回帖:
6楼: Originally posted by yongcailiu at 2015-05-13 08:52:16
那求出来的是所有的数值解吗?                ----这取决于两点,一,优化问题是否有唯一的解;二,数值算法是否收敛(这条基本可以保证)。
可以根据这些数值解推导出它的解析解吗? ----不可以。数值算法大多在 ...

我可以追加金币的,90个哦!
8楼2015-05-13 21:07:30
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 花想眠11 的主题更新
信息提示
请填处理意见