24小时热门版块排行榜    

查看: 1401  |  回复: 4
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

青沙山

木虫 (小有名气)

[求助] Mathematica中含分段函数的方程组求解出表达式

定义了一个分段函数,然后又定义了两个含此分段函数的函数,要通过 后两个函数的定点的函数值求出变量,求不出来呢,为什么?
而人工对分段函数的值进行判断后代入,可求解,有什么办法能直接让电脑求出解?求指点

详见下图,黑框部分为人工将分段函数求解后代入时的求解过程

Mathematica中含分段函数的方程组求解出表达式
分段函数的求解.png

代码如下:
f[x_] := x*Boole[x > 0]

fx[x_, i_] := -qx*f[x] + \!\(
\*UnderoverscriptBox[\(\[Sum]\), \(u = 1\), \(i\)]\((
\*SubscriptBox[\(rx\), \(u\)]*
\*SuperscriptBox[\(f[x -
\*UnderoverscriptBox[\(\[Sum]\), \(v = 1\), \(u\)]
\*SubscriptBox[\(lx\), \(v\)]]\), \(0\)])\)\)

mx[x_, i_] := -(qx/2)*f[x]^2 + \!\(
\*UnderoverscriptBox[\(\[Sum]\), \(u = 1\), \(i\)]\((
\*SubscriptBox[\(rx\), \(u\)]*
\*SuperscriptBox[\(f[x -
\*UnderoverscriptBox[\(\[Sum]\), \(v = 1\), \(u\)]
\*SubscriptBox[\(lx\), \(v\)]]\), \(1\)])\)\)

Solve[{fx[lx, 2] == 0, mx[lx, 2] == 0, lx > 0, Subscript[lx, 1] > 0,
  Subscript[lx, 2] > 0,
  lx > Subscript[lx, 1] + Subscript[lx, 2]}, {Subscript[rx, 1],
  Subscript[rx, 2]}]

分段函数人工代入后的代码:
Solve[{-lx qx + Subscript[rx, 1] + Subscript[rx, 2] ==
   0, -(1/2) lx^2 qx + (lx - Subscript[lx, 1]) Subscript[rx,
     1] + (lx - Subscript[lx, 1] - Subscript[lx, 2]) Subscript[rx,
     2] == 0}, {Subscript[rx, 1], Subscript[rx, 2]}]
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

xzczd

木虫 (小有名气)

【答案】应助回帖

★ ★ ★ ★ ★ ★ ★ ★ ★ ★
青沙山: 金币+10, ★★★很有帮助 2016-01-04 09:52:04
该说是被你戳中了盲点吗……我还真的从来没思考过这个问题。总之Solve内的不等式条件似乎(至少现在还)没法穿过Piecewise内的条件,不过这个很容易变通,那就是,把不等式判据交给Simplify:
CODE:
Simplify[Solve[eqn, {Subscript[rx, 1], Subscript[rx, 2]}], {lx > 0, Subscript[lx, 1] > 0,
   Subscript[lx, 2] > 0, lx > Subscript[lx, 1] + Subscript[lx, 2]}]

小木虫Mathematica版块已毁(当然原本也不咋的),建议大家前往百度贴吧或Stackexchange。
4楼2016-01-04 00:59:15
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 5 个回答

xzczd

木虫 (小有名气)

【答案】应助回帖

感谢参与,应助指数 +1
……分段函数不是这么定义的。总之你看看Piecewise的帮助。
小木虫Mathematica版块已毁(当然原本也不咋的),建议大家前往百度贴吧或Stackexchange。
2楼2016-01-02 23:19:23
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

青沙山

木虫 (小有名气)

引用回帖:
2楼: Originally posted by xzczd at 2016-01-02 23:19:23
……分段函数不是这么定义的。总之你看看Piecewise的帮助。

谢谢回复,分段函数即使用Piecewise定义,我所提出的问题还是存在。
分段函数无法对不等式条件进行判定并求出解吗?
Mathematica中含分段函数的方程组求解出表达式-1
123.png

3楼2016-01-03 14:09:41
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

青沙山

木虫 (小有名气)

引用回帖:
4楼: Originally posted by xzczd at 2016-01-04 00:59:15
该说是被你戳中了盲点吗……我还真的从来没思考过这个问题。总之Solve内的不等式条件似乎(至少现在还)没法穿过Piecewise内的条件,不过这个很容易变通,那就是,把不等式判据交给Simplify:
Simplify[Solve, {lx ...

谢谢!
把Simplify放到Solve内确实解决了这个问题。

Solve[Simplify[{fx[lx, 2] == 0, mx[lx, 2] == 0}, {lx > 0,
   Subscript[lx, 1] > 0, Subscript[lx, 2] > 0,
   lx > Subscript[lx, 1] + Subscript[lx, 2]}], {Subscript[rx, 1],
  Subscript[rx, 2]}]
5楼2016-01-04 09:50:48
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 售SCI一区T0P文章,我:8.O.55.1.O.54,科目齐全,可+急 +4 1uaZt2kAZj2S 2026-10-30 21/1050 2026-11-02 05:41 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文章,我:8O.5.5.1.O.54,科目齐全,可+急 +7 X5bHxOULxFqb 2026-10-30 24/1200 2026-11-02 02:39 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.O54,科目全,可伽急 +3 hKe7U1kad5Sg 2026-10-31 5/250 2026-11-01 22:24 by xzcv0Tehd8lQ
[基金申请] 售SCI一区T0P文章,我:8O.55.1.O.54,科目全,可伽急 +3 hKe7U1kad5Sg 2026-10-31 6/300 2026-11-01 22:11 by xzcv0Tehd8lQ
[考博] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +3 hKe7U1kad5Sg 2026-10-31 6/300 2026-11-01 22:11 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,我:8O.551.O54,科目全,可十急 +3 hKe7U1kad5Sg 2026-10-31 6/300 2026-11-01 19:50 by xzcv0Tehd8lQ
[考博] 售SCI文章,我:8O.5.5.1O.54,科目全,可十急 +3 1uaZt2kAZj2S 2026-10-30 13/650 2026-11-01 16:48 by BCdvBAEpt3zm
[考博] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +5 X5bHxOULxFqb 2026-10-30 22/1100 2026-11-01 16:35 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.O.5.4,科目全,可+急 +3 xvJS1BYDxvBS 2026-10-31 5/250 2026-11-01 12:51 by BCdvBAEpt3zm
[考博] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 +3 1uaZt2kAZj2S 2026-10-30 10/500 2026-11-01 12:27 by BCdvBAEpt3zm
[硕博家园] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +4 1uaZt2kAZj2S 2026-10-30 17/850 2026-11-01 12:24 by BCdvBAEpt3zm
[硕博家园] 售SCI一区T0P文章,我:8O.55.1.O.54,科目全,可伽急 +4 X5bHxOULxFqb 2026-10-30 18/900 2026-11-01 12:11 by BCdvBAEpt3zm
[论文投稿] 售一区SCI文章T0P,我:8O.551.O54,科目全,可十急 +3 1uaZt2kAZj2S 2026-10-31 8/400 2026-11-01 03:59 by YXM1FDCSE8Bn
信息提示
请填处理意见