Solve 如何指定参数范围和求解范围

Question

求解一个含参数的非线性系统，我想指定d4>0，求解域为实数，但是不知道Solve里面该如何指定参数范围

Solve[c m1 + b  n1 + b m0  m1 == 0 && 2 b n2 + b  m1^2 == 0 && 
  c  n1 + b n0  m1 + b m0  n1 + b^3  Subscript[m1,  ] d2 == 0 && 
  2 c  n2 + b Subscript[n1,  ] m1 + 2 b m0 n2 + b  m1 n1 + 
    3 b^3  Subscript[m1,  ] d3 == 0 && 3 b m1 n2 + 6 b^3 m1 d4 == 0 &&
   d4 > 0, {m0, m1, n0, n1, n2}, Reals]

Answer 1

请问下你的角标是什么意思？如果不要角标的话应该是能解的。

Solve[c*m1 + b*n1 + b*m0*m1 == 0 && 2*b*n2 + b*m1^2 == 0 && 
     c*n1 + b*n0*m1 + b*m0*n1 + b^3*m1*d2 == 0 && 
     2*c*n2 + b*n1*m1 + 2*b*m0*n2 + b*m1*n1 + 3*b^3*m1*d3 == 0 && 
     3*b*m1*n2 + 6*b^3*m1*d4 == 0 && d4 > 0, {m0, m1, n0, n1, 
  n2}, Reals]

结果是

{{m1 -> ConditionalExpression[0, d4 > 0], 
  n1 -> ConditionalExpression[0, d4 > 0], 
  n2 -> ConditionalExpression[0, d4 > 0]}, {m0 -> 
   ConditionalExpression[(b^3 d3 - 2 c Sqrt[b^2 d4])/(
    2 b Sqrt[b^2 d4]), d4 > 0], 
  m1 -> ConditionalExpression[2 Sqrt[b^2 d4], d4 > 0], 
  n0 -> ConditionalExpression[(b^5 d3^2 - 4 b^5 d2 d4)/(4 b^3 d4), 
    d4 > 0], n1 -> ConditionalExpression[-b^2 d3, d4 > 0], 
  n2 -> ConditionalExpression[-2 b^2 d4, d4 > 0]}, {m0 -> 
   ConditionalExpression[-((b^3 d3 + 2 c Sqrt[b^2 d4])/(
     2 b Sqrt[b^2 d4])), d4 > 0], 
  m1 -> ConditionalExpression[-2 Sqrt[b^2 d4], d4 > 0], 
  n0 -> ConditionalExpression[(b^5 d3^2 - 4 b^5 d2 d4)/(4 b^3 d4), 
    d4 > 0], n1 -> ConditionalExpression[-b^2 d3, d4 > 0], 
  n2 -> ConditionalExpression[-2 b^2 d4, d4 > 0]}}